import java.util.LinkedList;
import JSHOP2.*;

public class problem
{
	private static String[] defineConstants()
	{
		String[] problemConstants = new String[71];

		problemConstants[0] = "general";
		problemConstants[1] = "colour";
		problemConstants[2] = "high_res";
		problemConstants[3] = "low_res";
		problemConstants[4] = "rover0";
		problemConstants[5] = "rover1";
		problemConstants[6] = "rover2";
		problemConstants[7] = "rover3";
		problemConstants[8] = "rover4";
		problemConstants[9] = "rover5";
		problemConstants[10] = "rover6";
		problemConstants[11] = "rover7";
		problemConstants[12] = "rover0store";
		problemConstants[13] = "rover1store";
		problemConstants[14] = "rover2store";
		problemConstants[15] = "rover3store";
		problemConstants[16] = "rover4store";
		problemConstants[17] = "rover5store";
		problemConstants[18] = "rover6store";
		problemConstants[19] = "rover7store";
		problemConstants[20] = "waypoint0";
		problemConstants[21] = "waypoint1";
		problemConstants[22] = "waypoint2";
		problemConstants[23] = "waypoint3";
		problemConstants[24] = "waypoint4";
		problemConstants[25] = "waypoint5";
		problemConstants[26] = "waypoint6";
		problemConstants[27] = "waypoint7";
		problemConstants[28] = "waypoint8";
		problemConstants[29] = "waypoint9";
		problemConstants[30] = "waypoint10";
		problemConstants[31] = "waypoint11";
		problemConstants[32] = "waypoint12";
		problemConstants[33] = "waypoint13";
		problemConstants[34] = "waypoint14";
		problemConstants[35] = "waypoint15";
		problemConstants[36] = "waypoint16";
		problemConstants[37] = "waypoint17";
		problemConstants[38] = "waypoint18";
		problemConstants[39] = "waypoint19";
		problemConstants[40] = "waypoint20";
		problemConstants[41] = "waypoint21";
		problemConstants[42] = "waypoint22";
		problemConstants[43] = "waypoint23";
		problemConstants[44] = "waypoint24";
		problemConstants[45] = "waypoint25";
		problemConstants[46] = "waypoint26";
		problemConstants[47] = "waypoint27";
		problemConstants[48] = "waypoint28";
		problemConstants[49] = "waypoint29";
		problemConstants[50] = "camera0";
		problemConstants[51] = "camera1";
		problemConstants[52] = "camera2";
		problemConstants[53] = "camera3";
		problemConstants[54] = "camera4";
		problemConstants[55] = "camera5";
		problemConstants[56] = "camera6";
		problemConstants[57] = "camera7";
		problemConstants[58] = "camera8";
		problemConstants[59] = "camera9";
		problemConstants[60] = "camera10";
		problemConstants[61] = "objective0";
		problemConstants[62] = "objective1";
		problemConstants[63] = "objective2";
		problemConstants[64] = "objective3";
		problemConstants[65] = "objective4";
		problemConstants[66] = "objective5";
		problemConstants[67] = "objective6";
		problemConstants[68] = "objective7";
		problemConstants[69] = "objective8";
		problemConstants[70] = "objective9";

		return problemConstants;
	}

	private static void createState0(State s)	{
		s.add(new Predicate(26, 0, new TermList(TermConstant.getConstant(33), TermList.NIL)));
		s.add(new Predicate(23, 0, new TermList(TermConstant.getConstant(34), TermList.NIL)));
		s.add(new Predicate(23, 0, new TermList(TermConstant.getConstant(35), TermList.NIL)));
		s.add(new Predicate(23, 0, new TermList(TermConstant.getConstant(36), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(37), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(38), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(39), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(40), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(41), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(42), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(43), TermList.NIL)));
		s.add(new Predicate(0, 0, new TermList(TermConstant.getConstant(44), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(45), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(46), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(47), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(48), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(49), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(50), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(51), TermList.NIL)));
		s.add(new Predicate(6, 0, new TermList(TermConstant.getConstant(52), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(53), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(54), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(55), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(56), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(57), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(58), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(59), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(61), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(62), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(63), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(64), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(65), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(66), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(67), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(68), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(69), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(70), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(71), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(72), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(74), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(75), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(76), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(77), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(78), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(79), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(80), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(81), TermList.NIL)));
		s.add(new Predicate(1, 0, new TermList(TermConstant.getConstant(82), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(83), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(84), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(85), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(86), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(87), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(88), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(89), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(90), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(91), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(92), TermList.NIL)));
		s.add(new Predicate(16, 0, new TermList(TermConstant.getConstant(93), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(94), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(95), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(96), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(97), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(98), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(99), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(100), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(101), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(102), TermList.NIL)));
		s.add(new Predicate(17, 0, new TermList(TermConstant.getConstant(103), TermList.NIL)));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(82), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(82), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(82), TermList.NIL))));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(53), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(53), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(54), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(55), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(56), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(57), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(57), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(58), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(58), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(59), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(63), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(65), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(66), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(67), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(68), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(68), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(71), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(72), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(74), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(75), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(76), TermList.NIL)));
		s.add(new Predicate(7, 0, new TermList(TermConstant.getConstant(79), TermList.NIL)));
		s.add(new Predicate(13, 0, new TermList(TermConstant.getConstant(80), TermList.NIL)));
		s.add(new Predicate(27, 0, new TermList(TermConstant.getConstant(33), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(28, 0, new TermList(TermConstant.getConstant(33), TermList.NIL)));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(37), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(45), new TermList(TermConstant.getConstant(37), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(45), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(37), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(37), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(38), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(46), new TermList(TermConstant.getConstant(38), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(46), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(38), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(38), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(38), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(39), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(47), new TermList(TermConstant.getConstant(39), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(47), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(39), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(39), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(39), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(40), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(48), new TermList(TermConstant.getConstant(40), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(48), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(40), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(40), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(40), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(41), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(49), new TermList(TermConstant.getConstant(41), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(49), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(41), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(41), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(41), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(42), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(50), new TermList(TermConstant.getConstant(42), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(50), TermList.NIL)));
		s.add(new Predicate(8, 0, new TermList(TermConstant.getConstant(42), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(42), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(42), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(43), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(51), new TermList(TermConstant.getConstant(43), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(51), TermList.NIL)));
		s.add(new Predicate(8, 0, new TermList(TermConstant.getConstant(43), TermList.NIL)));
		s.add(new Predicate(14, 0, new TermList(TermConstant.getConstant(43), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(57), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(43), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(57), TermList.NIL)))));
		s.add(new Predicate(4, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(3, 0, new TermList(TermConstant.getConstant(44), TermList.NIL)));
		s.add(new Predicate(9, 0, new TermList(TermConstant.getConstant(52), new TermList(TermConstant.getConstant(44), TermList.NIL))));
		s.add(new Predicate(10, 0, new TermList(TermConstant.getConstant(52), TermList.NIL)));
		s.add(new Predicate(8, 0, new TermList(TermConstant.getConstant(44), TermList.NIL)));
		s.add(new Predicate(18, 0, new TermList(TermConstant.getConstant(44), TermList.NIL)));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(65), new TermList(TermConstant.getConstant(77), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(77), new TermList(TermConstant.getConstant(65), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(56), new TermList(TermConstant.getConstant(81), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(81), new TermList(TermConstant.getConstant(56), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(58), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(58), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(60), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(60), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(62), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(62), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(71), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(71), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(63), new TermList(TermConstant.getConstant(80), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(80), new TermList(TermConstant.getConstant(63), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(69), new TermList(TermConstant.getConstant(54), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(54), new TermList(TermConstant.getConstant(69), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(53), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(53), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(55), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(55), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(72), new TermList(TermConstant.getConstant(74), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(74), new TermList(TermConstant.getConstant(72), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(76), new TermList(TermConstant.getConstant(70), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(70), new TermList(TermConstant.getConstant(76), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(61), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(61), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(66), new TermList(TermConstant.getConstant(68), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(68), new TermList(TermConstant.getConstant(66), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(67), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(67), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(75), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(75), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(79), new TermList(TermConstant.getConstant(82), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(82), new TermList(TermConstant.getConstant(79), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(73), new TermList(TermConstant.getConstant(78), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(78), new TermList(TermConstant.getConstant(73), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(64), new TermList(TermConstant.getConstant(59), TermList.NIL)))));
		s.add(new Predicate(2, 0, new TermList(TermConstant.getConstant(44), new TermList(TermConstant.getConstant(59), new TermList(TermConstant.getConstant(64), TermList.NIL)))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(83), new TermList(TermConstant.getConstant(40), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(83), new TermList(TermConstant.getConstant(99), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(83), new TermList(TermConstant.getConstant(34), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(83), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(84), new TermList(TermConstant.getConstant(38), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(84), new TermList(TermConstant.getConstant(99), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(84), new TermList(TermConstant.getConstant(34), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(84), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(85), new TermList(TermConstant.getConstant(42), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(85), new TermList(TermConstant.getConstant(98), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(85), new TermList(TermConstant.getConstant(36), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(86), new TermList(TermConstant.getConstant(41), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(86), new TermList(TermConstant.getConstant(99), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(86), new TermList(TermConstant.getConstant(36), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(87), new TermList(TermConstant.getConstant(40), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(87), new TermList(TermConstant.getConstant(97), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(87), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(88), new TermList(TermConstant.getConstant(40), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(88), new TermList(TermConstant.getConstant(100), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(88), new TermList(TermConstant.getConstant(34), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(88), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(89), new TermList(TermConstant.getConstant(39), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(89), new TermList(TermConstant.getConstant(98), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(89), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(90), new TermList(TermConstant.getConstant(40), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(90), new TermList(TermConstant.getConstant(95), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(90), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(90), new TermList(TermConstant.getConstant(36), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(91), new TermList(TermConstant.getConstant(42), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(91), new TermList(TermConstant.getConstant(94), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(91), new TermList(TermConstant.getConstant(34), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(92), new TermList(TermConstant.getConstant(42), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(92), new TermList(TermConstant.getConstant(94), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(92), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(92), new TermList(TermConstant.getConstant(36), TermList.NIL))));
		s.add(new Predicate(21, 0, new TermList(TermConstant.getConstant(93), new TermList(TermConstant.getConstant(44), TermList.NIL))));
		s.add(new Predicate(19, 0, new TermList(TermConstant.getConstant(93), new TermList(TermConstant.getConstant(103), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(93), new TermList(TermConstant.getConstant(35), TermList.NIL))));
		s.add(new Predicate(24, 0, new TermList(TermConstant.getConstant(93), new TermList(TermConstant.getConstant(36), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(94), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(71), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(72), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(73), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(74), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(75), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(76), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(77), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(78), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(79), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(80), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(81), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(82), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(69), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(70), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(98), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(99), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(62), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(63), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(64), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(65), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(66), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(67), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(68), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(101), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(101), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(101), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(101), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(102), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(102), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(102), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(53), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(54), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(55), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(56), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(57), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(58), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(59), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(60), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(61), TermList.NIL))));
		s.add(new Predicate(20, 0, new TermList(TermConstant.getConstant(103), new TermList(TermConstant.getConstant(62), TermList.NIL))));
	}

	public static LinkedList<Plan> getPlans()
	{
		LinkedList<Plan> returnedPlans = new LinkedList<Plan>();
		TermConstant.initialize(104);

		Domain d = new rover();

		d.setProblemConstants(defineConstants());

		State s = new State(33, d.getAxioms());

		JSHOP2.initialize(d, s);

		TaskList tl;
		SolverThread thread;

		createState0(s);

		tl = new TaskList(25, true);
		tl.subtasks[0] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(58), TermList.NIL)), false, false));
		tl.subtasks[1] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(66), TermList.NIL)), false, false));
		tl.subtasks[2] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(57), TermList.NIL)), false, false));
		tl.subtasks[3] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(76), TermList.NIL)), false, false));
		tl.subtasks[4] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(68), TermList.NIL)), false, false));
		tl.subtasks[5] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)), false, false));
		tl.subtasks[6] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)), false, false));
		tl.subtasks[7] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(79), TermList.NIL)), false, false));
		tl.subtasks[8] = new TaskList(new TaskAtom(new Predicate(3, 0, new TermList(TermConstant.getConstant(55), TermList.NIL)), false, false));
		tl.subtasks[9] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(80), TermList.NIL)), false, false));
		tl.subtasks[10] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(72), TermList.NIL)), false, false));
		tl.subtasks[11] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(54), TermList.NIL)), false, false));
		tl.subtasks[12] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(56), TermList.NIL)), false, false));
		tl.subtasks[13] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(60), TermList.NIL)), false, false));
		tl.subtasks[14] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(73), TermList.NIL)), false, false));
		tl.subtasks[15] = new TaskList(new TaskAtom(new Predicate(5, 0, new TermList(TermConstant.getConstant(75), TermList.NIL)), false, false));
		tl.subtasks[16] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(36), TermList.NIL))), false, false));
		tl.subtasks[17] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(36), TermList.NIL))), false, false));
		tl.subtasks[18] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(36), TermList.NIL))), false, false));
		tl.subtasks[19] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(34), TermList.NIL))), false, false));
		tl.subtasks[20] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(35), TermList.NIL))), false, false));
		tl.subtasks[21] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(95), new TermList(TermConstant.getConstant(34), TermList.NIL))), false, false));
		tl.subtasks[22] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(100), new TermList(TermConstant.getConstant(35), TermList.NIL))), false, false));
		tl.subtasks[23] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(97), new TermList(TermConstant.getConstant(34), TermList.NIL))), false, false));
		tl.subtasks[24] = new TaskList(new TaskAtom(new Predicate(8, 0, new TermList(TermConstant.getConstant(96), new TermList(TermConstant.getConstant(35), TermList.NIL))), false, false));

		thread = new SolverThread(tl, 1);
		thread.start();

		try {
			while (thread.isAlive())
				Thread.sleep(500);
		} catch (InterruptedException e) {
		}

		returnedPlans.addAll( thread.getPlans() );

		return returnedPlans;
	}

	public static LinkedList<Predicate> getFirstPlanOps() {
		return getPlans().getFirst().getOps();
	}
}