s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(201), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(202), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(203), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(204), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(205), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(206), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(207), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(208), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(209), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(210), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(211), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(212), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(213), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(214), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(215), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(216), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(217), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(218), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(219), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(220), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(221), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(222), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(223), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(224), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(225), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(226), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(227), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(228), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(229), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(230), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(231), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(232), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(233), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(234), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(235), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(236), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(237), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(238), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(239), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(240), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(241), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(242), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(243), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(244), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(245), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(246), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(247), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(248), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(249), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(250), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(251), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(252), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(253), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(254), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(255), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(256), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(257), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(258), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(259), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(260), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(261), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(262), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(263), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(264), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(265), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(266), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(267), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(268), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(269), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(270), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(271), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(272), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(273), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(274), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(275), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(276), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(277), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(278), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(279), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(280), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(281), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(282), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(283), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(284), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(285), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(286), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(287), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(288), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(289), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(290), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(291), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(292), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(293), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(294), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(295), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(296), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(297), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(298), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(299), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(300), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(301), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(302), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(303), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(304), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(305), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(306), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(307), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(308), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(309), TermList.NIL)));		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(310), TermList.NIL)));		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(11), TermList.NIL)));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(12), new TermList(TermConstant.getConstant(11), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(13), new TermList(TermConstant.getConstant(12), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(14), new TermList(TermConstant.getConstant(13), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(15), new TermList(TermConstant.getConstant(14), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(16), new TermList(TermConstant.getConstant(15), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(17), new TermList(TermConstant.getConstant(16), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(18), new TermList(TermConstant.getConstant(17), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(19), new TermList(TermConstant.getConstant(18), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(20), new TermList(TermConstant.getConstant(19), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(21), new TermList(TermConstant.getConstant(20), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(22), new TermList(TermConstant.getConstant(21), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(23), new TermList(TermConstant.getConstant(22), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(24), new TermList(TermConstant.getConstant(23), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(25), new TermList(TermConstant.getConstant(24), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(26), new TermList(TermConstant.getConstant(25), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(27), new TermList(TermConstant.getConstant(26), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(28), new TermList(TermConstant.getConstant(27), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(29), new TermList(TermConstant.getConstant(28), TermList.NIL))));		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(29), TermList.NIL)));		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(30), TermList.NIL)));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(31), new TermList(TermConstant.getConstant(30), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(32), new TermList(TermConstant.getConstant(31), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(33), new TermList(TermConstant.getConstant(32), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(34), new TermList(TermConstant.getConstant(33), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(35), new TermList(TermConstant.getConstant(34), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(36), new TermList(TermConstant.getConstant(35), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(36), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(37), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(38), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(39), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(40), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(41), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(42), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(43), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(45), new TermList(TermConstant.getConstant(44), TermList.NIL))));		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(45), TermList.NIL)));		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(46), TermList.NIL)));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(47), new TermList(TermConstant.getConstant(46), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(48), new TermList(TermConstant.getConstant(47), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(49), new TermList(TermConstant.getConstant(48), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(50), new TermList(TermConstant.getConstant(49), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(51), new TermList(TermConstant.getConstant(50), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(52), new TermList(TermConstant.getConstant(51), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(52), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(53), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(54), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(55), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(56), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(57), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(58), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(59), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(60), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(61), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(64), TermList.NIL))));		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(65), TermList.NIL))));