a(ind, a2).

clause(2, a(ind, n0), true).
clause(4, a(var('X'), a2), a(var('X'), n1000)).
clause(5, a(var('X'), n1), a(var('X'), n0)).
clause(8, a(var('X'), n2), a(var('X'), n1)).
clause(11, a(var('X'), n3), a(var('X'), n2)).
clause(14, a(var('X'), n4), a(var('X'), n3)).
clause(17, a(var('X'), n5), a(var('X'), n4)).
clause(20, a(var('X'), n6), a(var('X'), n5)).
clause(23, a(var('X'), n7), a(var('X'), n6)).
clause(26, a(var('X'), n8), a(var('X'), n7)).
clause(29, a(var('X'), n9), a(var('X'), n8)).
clause(32, a(var('X'), n10), a(var('X'), n9)).
clause(35, a(var('X'), n11), a(var('X'), n10)).
clause(38, a(var('X'), n12), a(var('X'), n11)).
clause(41, a(var('X'), n13), a(var('X'), n12)).
clause(44, a(var('X'), n14), a(var('X'), n13)).
clause(47, a(var('X'), n15), a(var('X'), n14)).
clause(50, a(var('X'), n16), a(var('X'), n15)).
clause(53, a(var('X'), n17), a(var('X'), n16)).
clause(56, a(var('X'), n18), a(var('X'), n17)).
clause(59, a(var('X'), n19), a(var('X'), n18)).
clause(62, a(var('X'), n20), a(var('X'), n19)).
clause(65, a(var('X'), n21), a(var('X'), n20)).
clause(68, a(var('X'), n22), a(var('X'), n21)).
clause(71, a(var('X'), n23), a(var('X'), n22)).
clause(74, a(var('X'), n24), a(var('X'), n23)).
clause(77, a(var('X'), n25), a(var('X'), n24)).
clause(80, a(var('X'), n26), a(var('X'), n25)).
clause(83, a(var('X'), n27), a(var('X'), n26)).
clause(86, a(var('X'), n28), a(var('X'), n27)).
clause(89, a(var('X'), n29), a(var('X'), n28)).
clause(92, a(var('X'), n30), a(var('X'), n29)).
clause(95, a(var('X'), n31), a(var('X'), n30)).
clause(98, a(var('X'), n32), a(var('X'), n31)).
clause(101, a(var('X'), n33), a(var('X'), n32)).
clause(104, a(var('X'), n34), a(var('X'), n33)).
clause(107, a(var('X'), n35), a(var('X'), n34)).
clause(110, a(var('X'), n36), a(var('X'), n35)).
clause(113, a(var('X'), n37), a(var('X'), n36)).
clause(116, a(var('X'), n38), a(var('X'), n37)).
clause(119, a(var('X'), n39), a(var('X'), n38)).
clause(122, a(var('X'), n40), a(var('X'), n39)).
clause(125, a(var('X'), n41), a(var('X'), n40)).
clause(128, a(var('X'), n42), a(var('X'), n41)).
clause(131, a(var('X'), n43), a(var('X'), n42)).
clause(134, a(var('X'), n44), a(var('X'), n43)).
clause(137, a(var('X'), n45), a(var('X'), n44)).
clause(140, a(var('X'), n46), a(var('X'), n45)).
clause(143, a(var('X'), n47), a(var('X'), n46)).
clause(146, a(var('X'), n48), a(var('X'), n47)).
clause(149, a(var('X'), n49), a(var('X'), n48)).
clause(152, a(var('X'), n50), a(var('X'), n49)).
clause(155, a(var('X'), n51), a(var('X'), n50)).
clause(158, a(var('X'), n52), a(var('X'), n51)).
clause(161, a(var('X'), n53), a(var('X'), n52)).
clause(164, a(var('X'), n54), a(var('X'), n53)).
clause(167, a(var('X'), n55), a(var('X'), n54)).
clause(170, a(var('X'), n56), a(var('X'), n55)).
clause(173, a(var('X'), n57), a(var('X'), n56)).
clause(176, a(var('X'), n58), a(var('X'), n57)).
clause(179, a(var('X'), n59), a(var('X'), n58)).
clause(182, a(var('X'), n60), a(var('X'), n59)).
clause(185, a(var('X'), n61), a(var('X'), n60)).
clause(188, a(var('X'), n62), a(var('X'), n61)).
clause(191, a(var('X'), n63), a(var('X'), n62)).
clause(194, a(var('X'), n64), a(var('X'), n63)).
clause(197, a(var('X'), n65), a(var('X'), n64)).
clause(200, a(var('X'), n66), a(var('X'), n65)).
clause(203, a(var('X'), n67), a(var('X'), n66)).
clause(206, a(var('X'), n68), a(var('X'), n67)).
clause(209, a(var('X'), n69), a(var('X'), n68)).
clause(212, a(var('X'), n70), a(var('X'), n69)).
clause(215, a(var('X'), n71), a(var('X'), n70)).
clause(218, a(var('X'), n72), a(var('X'), n71)).
clause(221, a(var('X'), n73), a(var('X'), n72)).
clause(224, a(var('X'), n74), a(var('X'), n73)).
clause(227, a(var('X'), n75), a(var('X'), n74)).
clause(230, a(var('X'), n76), a(var('X'), n75)).
clause(233, a(var('X'), n77), a(var('X'), n76)).
clause(236, a(var('X'), n78), a(var('X'), n77)).
clause(239, a(var('X'), n79), a(var('X'), n78)).
clause(242, a(var('X'), n80), a(var('X'), n79)).
clause(245, a(var('X'), n81), a(var('X'), n80)).
clause(248, a(var('X'), n82), a(var('X'), n81)).
clause(251, a(var('X'), n83), a(var('X'), n82)).
clause(254, a(var('X'), n84), a(var('X'), n83)).
clause(257, a(var('X'), n85), a(var('X'), n84)).
clause(260, a(var('X'), n86), a(var('X'), n85)).
clause(263, a(var('X'), n87), a(var('X'), n86)).
clause(266, a(var('X'), n88), a(var('X'), n87)).
clause(269, a(var('X'), n89), a(var('X'), n88)).
clause(272, a(var('X'), n90), a(var('X'), n89)).
clause(275, a(var('X'), n91), a(var('X'), n90)).
clause(278, a(var('X'), n92), a(var('X'), n91)).
clause(281, a(var('X'), n93), a(var('X'), n92)).
clause(284, a(var('X'), n94), a(var('X'), n93)).
clause(287, a(var('X'), n95), a(var('X'), n94)).
clause(290, a(var('X'), n96), a(var('X'), n95)).
clause(293, a(var('X'), n97), a(var('X'), n96)).
clause(296, a(var('X'), n98), a(var('X'), n97)).
clause(299, a(var('X'), n99), a(var('X'), n98)).
clause(302, a(var('X'), n100), a(var('X'), n99)).
clause(305, a(var('X'), n101), a(var('X'), n100)).
clause(308, a(var('X'), n102), a(var('X'), n101)).
clause(311, a(var('X'), n103), a(var('X'), n102)).
clause(314, a(var('X'), n104), a(var('X'), n103)).
clause(317, a(var('X'), n105), a(var('X'), n104)).
clause(320, a(var('X'), n106), a(var('X'), n105)).
clause(323, a(var('X'), n107), a(var('X'), n106)).
clause(326, a(var('X'), n108), a(var('X'), n107)).
clause(329, a(var('X'), n109), a(var('X'), n108)).
clause(332, a(var('X'), n110), a(var('X'), n109)).
clause(335, a(var('X'), n111), a(var('X'), n110)).
clause(338, a(var('X'), n112), a(var('X'), n111)).
clause(341, a(var('X'), n113), a(var('X'), n112)).
clause(344, a(var('X'), n114), a(var('X'), n113)).
clause(347, a(var('X'), n115), a(var('X'), n114)).
clause(350, a(var('X'), n116), a(var('X'), n115)).
clause(353, a(var('X'), n117), a(var('X'), n116)).
clause(356, a(var('X'), n118), a(var('X'), n117)).
clause(359, a(var('X'), n119), a(var('X'), n118)).
clause(362, a(var('X'), n120), a(var('X'), n119)).
clause(365, a(var('X'), n121), a(var('X'), n120)).
clause(368, a(var('X'), n122), a(var('X'), n121)).
clause(371, a(var('X'), n123), a(var('X'), n122)).
clause(374, a(var('X'), n124), a(var('X'), n123)).
clause(377, a(var('X'), n125), a(var('X'), n124)).
clause(380, a(var('X'), n126), a(var('X'), n125)).
clause(383, a(var('X'), n127), a(var('X'), n126)).
clause(386, a(var('X'), n128), a(var('X'), n127)).
clause(389, a(var('X'), n129), a(var('X'), n128)).
clause(392, a(var('X'), n130), a(var('X'), n129)).
clause(395, a(var('X'), n131), a(var('X'), n130)).
clause(398, a(var('X'), n132), a(var('X'), n131)).
clause(401, a(var('X'), n133), a(var('X'), n132)).
clause(404, a(var('X'), n134), a(var('X'), n133)).
clause(407, a(var('X'), n135), a(var('X'), n134)).
clause(410, a(var('X'), n136), a(var('X'), n135)).
clause(413, a(var('X'), n137), a(var('X'), n136)).
clause(416, a(var('X'), n138), a(var('X'), n137)).
clause(419, a(var('X'), n139), a(var('X'), n138)).
clause(422, a(var('X'), n140), a(var('X'), n139)).
clause(425, a(var('X'), n141), a(var('X'), n140)).
clause(428, a(var('X'), n142), a(var('X'), n141)).
clause(431, a(var('X'), n143), a(var('X'), n142)).
clause(434, a(var('X'), n144), a(var('X'), n143)).
clause(437, a(var('X'), n145), a(var('X'), n144)).
clause(440, a(var('X'), n146), a(var('X'), n145)).
clause(443, a(var('X'), n147), a(var('X'), n146)).
clause(446, a(var('X'), n148), a(var('X'), n147)).
clause(449, a(var('X'), n149), a(var('X'), n148)).
clause(452, a(var('X'), n150), a(var('X'), n149)).
clause(455, a(var('X'), n151), a(var('X'), n150)).
clause(458, a(var('X'), n152), a(var('X'), n151)).
clause(461, a(var('X'), n153), a(var('X'), n152)).
clause(464, a(var('X'), n154), a(var('X'), n153)).
clause(467, a(var('X'), n155), a(var('X'), n154)).
clause(470, a(var('X'), n156), a(var('X'), n155)).
clause(473, a(var('X'), n157), a(var('X'), n156)).
clause(476, a(var('X'), n158), a(var('X'), n157)).
clause(479, a(var('X'), n159), a(var('X'), n158)).
clause(482, a(var('X'), n160), a(var('X'), n159)).
clause(485, a(var('X'), n161), a(var('X'), n160)).
clause(488, a(var('X'), n162), a(var('X'), n161)).
clause(491, a(var('X'), n163), a(var('X'), n162)).
clause(494, a(var('X'), n164), a(var('X'), n163)).
clause(497, a(var('X'), n165), a(var('X'), n164)).
clause(500, a(var('X'), n166), a(var('X'), n165)).
clause(503, a(var('X'), n167), a(var('X'), n166)).
clause(506, a(var('X'), n168), a(var('X'), n167)).
clause(509, a(var('X'), n169), a(var('X'), n168)).
clause(512, a(var('X'), n170), a(var('X'), n169)).
clause(515, a(var('X'), n171), a(var('X'), n170)).
clause(518, a(var('X'), n172), a(var('X'), n171)).
clause(521, a(var('X'), n173), a(var('X'), n172)).
clause(524, a(var('X'), n174), a(var('X'), n173)).
clause(527, a(var('X'), n175), a(var('X'), n174)).
clause(530, a(var('X'), n176), a(var('X'), n175)).
clause(533, a(var('X'), n177), a(var('X'), n176)).
clause(536, a(var('X'), n178), a(var('X'), n177)).
clause(539, a(var('X'), n179), a(var('X'), n178)).
clause(542, a(var('X'), n180), a(var('X'), n179)).
clause(545, a(var('X'), n181), a(var('X'), n180)).
clause(548, a(var('X'), n182), a(var('X'), n181)).
clause(551, a(var('X'), n183), a(var('X'), n182)).
clause(554, a(var('X'), n184), a(var('X'), n183)).
clause(557, a(var('X'), n185), a(var('X'), n184)).
clause(560, a(var('X'), n186), a(var('X'), n185)).
clause(563, a(var('X'), n187), a(var('X'), n186)).
clause(566, a(var('X'), n188), a(var('X'), n187)).
clause(569, a(var('X'), n189), a(var('X'), n188)).
clause(572, a(var('X'), n190), a(var('X'), n189)).
clause(575, a(var('X'), n191), a(var('X'), n190)).
clause(578, a(var('X'), n192), a(var('X'), n191)).
clause(581, a(var('X'), n193), a(var('X'), n192)).
clause(584, a(var('X'), n194), a(var('X'), n193)).
clause(587, a(var('X'), n195), a(var('X'), n194)).
clause(590, a(var('X'), n196), a(var('X'), n195)).
clause(593, a(var('X'), n197), a(var('X'), n196)).
clause(596, a(var('X'), n198), a(var('X'), n197)).
clause(599, a(var('X'), n199), a(var('X'), n198)).
clause(602, a(var('X'), n200), a(var('X'), n199)).
clause(605, a(var('X'), n201), a(var('X'), n200)).
clause(608, a(var('X'), n202), a(var('X'), n201)).
clause(611, a(var('X'), n203), a(var('X'), n202)).
clause(614, a(var('X'), n204), a(var('X'), n203)).
clause(617, a(var('X'), n205), a(var('X'), n204)).
clause(620, a(var('X'), n206), a(var('X'), n205)).
clause(623, a(var('X'), n207), a(var('X'), n206)).
clause(626, a(var('X'), n208), a(var('X'), n207)).
clause(629, a(var('X'), n209), a(var('X'), n208)).
clause(632, a(var('X'), n210), a(var('X'), n209)).
clause(635, a(var('X'), n211), a(var('X'), n210)).
clause(638, a(var('X'), n212), a(var('X'), n211)).
clause(641, a(var('X'), n213), a(var('X'), n212)).
clause(644, a(var('X'), n214), a(var('X'), n213)).
clause(647, a(var('X'), n215), a(var('X'), n214)).
clause(650, a(var('X'), n216), a(var('X'), n215)).
clause(653, a(var('X'), n217), a(var('X'), n216)).
clause(656, a(var('X'), n218), a(var('X'), n217)).
clause(659, a(var('X'), n219), a(var('X'), n218)).
clause(662, a(var('X'), n220), a(var('X'), n219)).
clause(665, a(var('X'), n221), a(var('X'), n220)).
clause(668, a(var('X'), n222), a(var('X'), n221)).
clause(671, a(var('X'), n223), a(var('X'), n222)).
clause(674, a(var('X'), n224), a(var('X'), n223)).
clause(677, a(var('X'), n225), a(var('X'), n224)).
clause(680, a(var('X'), n226), a(var('X'), n225)).
clause(683, a(var('X'), n227), a(var('X'), n226)).
clause(686, a(var('X'), n228), a(var('X'), n227)).
clause(689, a(var('X'), n229), a(var('X'), n228)).
clause(692, a(var('X'), n230), a(var('X'), n229)).
clause(695, a(var('X'), n231), a(var('X'), n230)).
clause(698, a(var('X'), n232), a(var('X'), n231)).
clause(701, a(var('X'), n233), a(var('X'), n232)).
clause(704, a(var('X'), n234), a(var('X'), n233)).
clause(707, a(var('X'), n235), a(var('X'), n234)).
clause(710, a(var('X'), n236), a(var('X'), n235)).
clause(713, a(var('X'), n237), a(var('X'), n236)).
clause(716, a(var('X'), n238), a(var('X'), n237)).
clause(719, a(var('X'), n239), a(var('X'), n238)).
clause(722, a(var('X'), n240), a(var('X'), n239)).
clause(725, a(var('X'), n241), a(var('X'), n240)).
clause(728, a(var('X'), n242), a(var('X'), n241)).
clause(731, a(var('X'), n243), a(var('X'), n242)).
clause(734, a(var('X'), n244), a(var('X'), n243)).
clause(737, a(var('X'), n245), a(var('X'), n244)).
clause(740, a(var('X'), n246), a(var('X'), n245)).
clause(743, a(var('X'), n247), a(var('X'), n246)).
clause(746, a(var('X'), n248), a(var('X'), n247)).
clause(749, a(var('X'), n249), a(var('X'), n248)).
clause(752, a(var('X'), n250), a(var('X'), n249)).
clause(755, a(var('X'), n251), a(var('X'), n250)).
clause(758, a(var('X'), n252), a(var('X'), n251)).
clause(761, a(var('X'), n253), a(var('X'), n252)).
clause(764, a(var('X'), n254), a(var('X'), n253)).
clause(767, a(var('X'), n255), a(var('X'), n254)).
clause(770, a(var('X'), n256), a(var('X'), n255)).
clause(773, a(var('X'), n257), a(var('X'), n256)).
clause(776, a(var('X'), n258), a(var('X'), n257)).
clause(779, a(var('X'), n259), a(var('X'), n258)).
clause(782, a(var('X'), n260), a(var('X'), n259)).
clause(785, a(var('X'), n261), a(var('X'), n260)).
clause(788, a(var('X'), n262), a(var('X'), n261)).
clause(791, a(var('X'), n263), a(var('X'), n262)).
clause(794, a(var('X'), n264), a(var('X'), n263)).
clause(797, a(var('X'), n265), a(var('X'), n264)).
clause(800, a(var('X'), n266), a(var('X'), n265)).
clause(803, a(var('X'), n267), a(var('X'), n266)).
clause(806, a(var('X'), n268), a(var('X'), n267)).
clause(809, a(var('X'), n269), a(var('X'), n268)).
clause(812, a(var('X'), n270), a(var('X'), n269)).
clause(815, a(var('X'), n271), a(var('X'), n270)).
clause(818, a(var('X'), n272), a(var('X'), n271)).
clause(821, a(var('X'), n273), a(var('X'), n272)).
clause(824, a(var('X'), n274), a(var('X'), n273)).
clause(827, a(var('X'), n275), a(var('X'), n274)).
clause(830, a(var('X'), n276), a(var('X'), n275)).
clause(833, a(var('X'), n277), a(var('X'), n276)).
clause(836, a(var('X'), n278), a(var('X'), n277)).
clause(839, a(var('X'), n279), a(var('X'), n278)).
clause(842, a(var('X'), n280), a(var('X'), n279)).
clause(845, a(var('X'), n281), a(var('X'), n280)).
clause(848, a(var('X'), n282), a(var('X'), n281)).
clause(851, a(var('X'), n283), a(var('X'), n282)).
clause(854, a(var('X'), n284), a(var('X'), n283)).
clause(857, a(var('X'), n285), a(var('X'), n284)).
clause(860, a(var('X'), n286), a(var('X'), n285)).
clause(863, a(var('X'), n287), a(var('X'), n286)).
clause(866, a(var('X'), n288), a(var('X'), n287)).
clause(869, a(var('X'), n289), a(var('X'), n288)).
clause(872, a(var('X'), n290), a(var('X'), n289)).
clause(875, a(var('X'), n291), a(var('X'), n290)).
clause(878, a(var('X'), n292), a(var('X'), n291)).
clause(881, a(var('X'), n293), a(var('X'), n292)).
clause(884, a(var('X'), n294), a(var('X'), n293)).
clause(887, a(var('X'), n295), a(var('X'), n294)).
clause(890, a(var('X'), n296), a(var('X'), n295)).
clause(893, a(var('X'), n297), a(var('X'), n296)).
clause(896, a(var('X'), n298), a(var('X'), n297)).
clause(899, a(var('X'), n299), a(var('X'), n298)).
clause(902, a(var('X'), n300), a(var('X'), n299)).
clause(905, a(var('X'), n301), a(var('X'), n300)).
clause(908, a(var('X'), n302), a(var('X'), n301)).
clause(911, a(var('X'), n303), a(var('X'), n302)).
clause(914, a(var('X'), n304), a(var('X'), n303)).
clause(917, a(var('X'), n305), a(var('X'), n304)).
clause(920, a(var('X'), n306), a(var('X'), n305)).
clause(923, a(var('X'), n307), a(var('X'), n306)).
clause(926, a(var('X'), n308), a(var('X'), n307)).
clause(929, a(var('X'), n309), a(var('X'), n308)).
clause(932, a(var('X'), n310), a(var('X'), n309)).
clause(935, a(var('X'), n311), a(var('X'), n310)).
clause(938, a(var('X'), n312), a(var('X'), n311)).
clause(941, a(var('X'), n313), a(var('X'), n312)).
clause(944, a(var('X'), n314), a(var('X'), n313)).
clause(947, a(var('X'), n315), a(var('X'), n314)).
clause(950, a(var('X'), n316), a(var('X'), n315)).
clause(953, a(var('X'), n317), a(var('X'), n316)).
clause(956, a(var('X'), n318), a(var('X'), n317)).
clause(959, a(var('X'), n319), a(var('X'), n318)).
clause(962, a(var('X'), n320), a(var('X'), n319)).
clause(965, a(var('X'), n321), a(var('X'), n320)).
clause(968, a(var('X'), n322), a(var('X'), n321)).
clause(971, a(var('X'), n323), a(var('X'), n322)).
clause(974, a(var('X'), n324), a(var('X'), n323)).
clause(977, a(var('X'), n325), a(var('X'), n324)).
clause(980, a(var('X'), n326), a(var('X'), n325)).
clause(983, a(var('X'), n327), a(var('X'), n326)).
clause(986, a(var('X'), n328), a(var('X'), n327)).
clause(989, a(var('X'), n329), a(var('X'), n328)).
clause(992, a(var('X'), n330), a(var('X'), n329)).
clause(995, a(var('X'), n331), a(var('X'), n330)).
clause(998, a(var('X'), n332), a(var('X'), n331)).
clause(1001, a(var('X'), n333), a(var('X'), n332)).
clause(1004, a(var('X'), n334), a(var('X'), n333)).
clause(1007, a(var('X'), n335), a(var('X'), n334)).
clause(1010, a(var('X'), n336), a(var('X'), n335)).
clause(1013, a(var('X'), n337), a(var('X'), n336)).
clause(1016, a(var('X'), n338), a(var('X'), n337)).
clause(1019, a(var('X'), n339), a(var('X'), n338)).
clause(1022, a(var('X'), n340), a(var('X'), n339)).
clause(1025, a(var('X'), n341), a(var('X'), n340)).
clause(1028, a(var('X'), n342), a(var('X'), n341)).
clause(1031, a(var('X'), n343), a(var('X'), n342)).
clause(1034, a(var('X'), n344), a(var('X'), n343)).
clause(1037, a(var('X'), n345), a(var('X'), n344)).
clause(1040, a(var('X'), n346), a(var('X'), n345)).
clause(1043, a(var('X'), n347), a(var('X'), n346)).
clause(1046, a(var('X'), n348), a(var('X'), n347)).
clause(1049, a(var('X'), n349), a(var('X'), n348)).
clause(1052, a(var('X'), n350), a(var('X'), n349)).
clause(1055, a(var('X'), n351), a(var('X'), n350)).
clause(1058, a(var('X'), n352), a(var('X'), n351)).
clause(1061, a(var('X'), n353), a(var('X'), n352)).
clause(1064, a(var('X'), n354), a(var('X'), n353)).
clause(1067, a(var('X'), n355), a(var('X'), n354)).
clause(1070, a(var('X'), n356), a(var('X'), n355)).
clause(1073, a(var('X'), n357), a(var('X'), n356)).
clause(1076, a(var('X'), n358), a(var('X'), n357)).
clause(1079, a(var('X'), n359), a(var('X'), n358)).
clause(1082, a(var('X'), n360), a(var('X'), n359)).
clause(1085, a(var('X'), n361), a(var('X'), n360)).
clause(1088, a(var('X'), n362), a(var('X'), n361)).
clause(1091, a(var('X'), n363), a(var('X'), n362)).
clause(1094, a(var('X'), n364), a(var('X'), n363)).
clause(1097, a(var('X'), n365), a(var('X'), n364)).
clause(1100, a(var('X'), n366), a(var('X'), n365)).
clause(1103, a(var('X'), n367), a(var('X'), n366)).
clause(1106, a(var('X'), n368), a(var('X'), n367)).
clause(1109, a(var('X'), n369), a(var('X'), n368)).
clause(1112, a(var('X'), n370), a(var('X'), n369)).
clause(1115, a(var('X'), n371), a(var('X'), n370)).
clause(1118, a(var('X'), n372), a(var('X'), n371)).
clause(1121, a(var('X'), n373), a(var('X'), n372)).
clause(1124, a(var('X'), n374), a(var('X'), n373)).
clause(1127, a(var('X'), n375), a(var('X'), n374)).
clause(1130, a(var('X'), n376), a(var('X'), n375)).
clause(1133, a(var('X'), n377), a(var('X'), n376)).
clause(1136, a(var('X'), n378), a(var('X'), n377)).
clause(1139, a(var('X'), n379), a(var('X'), n378)).
clause(1142, a(var('X'), n380), a(var('X'), n379)).
clause(1145, a(var('X'), n381), a(var('X'), n380)).
clause(1148, a(var('X'), n382), a(var('X'), n381)).
clause(1151, a(var('X'), n383), a(var('X'), n382)).
clause(1154, a(var('X'), n384), a(var('X'), n383)).
clause(1157, a(var('X'), n385), a(var('X'), n384)).
clause(1160, a(var('X'), n386), a(var('X'), n385)).
clause(1163, a(var('X'), n387), a(var('X'), n386)).
clause(1166, a(var('X'), n388), a(var('X'), n387)).
clause(1169, a(var('X'), n389), a(var('X'), n388)).
clause(1172, a(var('X'), n390), a(var('X'), n389)).
clause(1175, a(var('X'), n391), a(var('X'), n390)).
clause(1178, a(var('X'), n392), a(var('X'), n391)).
clause(1181, a(var('X'), n393), a(var('X'), n392)).
clause(1184, a(var('X'), n394), a(var('X'), n393)).
clause(1187, a(var('X'), n395), a(var('X'), n394)).
clause(1190, a(var('X'), n396), a(var('X'), n395)).
clause(1193, a(var('X'), n397), a(var('X'), n396)).
clause(1196, a(var('X'), n398), a(var('X'), n397)).
clause(1199, a(var('X'), n399), a(var('X'), n398)).
clause(1202, a(var('X'), n400), a(var('X'), n399)).
clause(1205, a(var('X'), n401), a(var('X'), n400)).
clause(1208, a(var('X'), n402), a(var('X'), n401)).
clause(1211, a(var('X'), n403), a(var('X'), n402)).
clause(1214, a(var('X'), n404), a(var('X'), n403)).
clause(1217, a(var('X'), n405), a(var('X'), n404)).
clause(1220, a(var('X'), n406), a(var('X'), n405)).
clause(1223, a(var('X'), n407), a(var('X'), n406)).
clause(1226, a(var('X'), n408), a(var('X'), n407)).
clause(1229, a(var('X'), n409), a(var('X'), n408)).
clause(1232, a(var('X'), n410), a(var('X'), n409)).
clause(1235, a(var('X'), n411), a(var('X'), n410)).
clause(1238, a(var('X'), n412), a(var('X'), n411)).
clause(1241, a(var('X'), n413), a(var('X'), n412)).
clause(1244, a(var('X'), n414), a(var('X'), n413)).
clause(1247, a(var('X'), n415), a(var('X'), n414)).
clause(1250, a(var('X'), n416), a(var('X'), n415)).
clause(1253, a(var('X'), n417), a(var('X'), n416)).
clause(1256, a(var('X'), n418), a(var('X'), n417)).
clause(1259, a(var('X'), n419), a(var('X'), n418)).
clause(1262, a(var('X'), n420), a(var('X'), n419)).
clause(1265, a(var('X'), n421), a(var('X'), n420)).
clause(1268, a(var('X'), n422), a(var('X'), n421)).
clause(1271, a(var('X'), n423), a(var('X'), n422)).
clause(1274, a(var('X'), n424), a(var('X'), n423)).
clause(1277, a(var('X'), n425), a(var('X'), n424)).
clause(1280, a(var('X'), n426), a(var('X'), n425)).
clause(1283, a(var('X'), n427), a(var('X'), n426)).
clause(1286, a(var('X'), n428), a(var('X'), n427)).
clause(1289, a(var('X'), n429), a(var('X'), n428)).
clause(1292, a(var('X'), n430), a(var('X'), n429)).
clause(1295, a(var('X'), n431), a(var('X'), n430)).
clause(1298, a(var('X'), n432), a(var('X'), n431)).
clause(1301, a(var('X'), n433), a(var('X'), n432)).
clause(1304, a(var('X'), n434), a(var('X'), n433)).
clause(1307, a(var('X'), n435), a(var('X'), n434)).
clause(1310, a(var('X'), n436), a(var('X'), n435)).
clause(1313, a(var('X'), n437), a(var('X'), n436)).
clause(1316, a(var('X'), n438), a(var('X'), n437)).
clause(1319, a(var('X'), n439), a(var('X'), n438)).
clause(1322, a(var('X'), n440), a(var('X'), n439)).
clause(1325, a(var('X'), n441), a(var('X'), n440)).
clause(1328, a(var('X'), n442), a(var('X'), n441)).
clause(1331, a(var('X'), n443), a(var('X'), n442)).
clause(1334, a(var('X'), n444), a(var('X'), n443)).
clause(1337, a(var('X'), n445), a(var('X'), n444)).
clause(1340, a(var('X'), n446), a(var('X'), n445)).
clause(1343, a(var('X'), n447), a(var('X'), n446)).
clause(1346, a(var('X'), n448), a(var('X'), n447)).
clause(1349, a(var('X'), n449), a(var('X'), n448)).
clause(1352, a(var('X'), n450), a(var('X'), n449)).
clause(1355, a(var('X'), n451), a(var('X'), n450)).
clause(1358, a(var('X'), n452), a(var('X'), n451)).
clause(1361, a(var('X'), n453), a(var('X'), n452)).
clause(1364, a(var('X'), n454), a(var('X'), n453)).
clause(1367, a(var('X'), n455), a(var('X'), n454)).
clause(1370, a(var('X'), n456), a(var('X'), n455)).
clause(1373, a(var('X'), n457), a(var('X'), n456)).
clause(1376, a(var('X'), n458), a(var('X'), n457)).
clause(1379, a(var('X'), n459), a(var('X'), n458)).
clause(1382, a(var('X'), n460), a(var('X'), n459)).
clause(1385, a(var('X'), n461), a(var('X'), n460)).
clause(1388, a(var('X'), n462), a(var('X'), n461)).
clause(1391, a(var('X'), n463), a(var('X'), n462)).
clause(1394, a(var('X'), n464), a(var('X'), n463)).
clause(1397, a(var('X'), n465), a(var('X'), n464)).
clause(1400, a(var('X'), n466), a(var('X'), n465)).
clause(1403, a(var('X'), n467), a(var('X'), n466)).
clause(1406, a(var('X'), n468), a(var('X'), n467)).
clause(1409, a(var('X'), n469), a(var('X'), n468)).
clause(1412, a(var('X'), n470), a(var('X'), n469)).
clause(1415, a(var('X'), n471), a(var('X'), n470)).
clause(1418, a(var('X'), n472), a(var('X'), n471)).
clause(1421, a(var('X'), n473), a(var('X'), n472)).
clause(1424, a(var('X'), n474), a(var('X'), n473)).
clause(1427, a(var('X'), n475), a(var('X'), n474)).
clause(1430, a(var('X'), n476), a(var('X'), n475)).
clause(1433, a(var('X'), n477), a(var('X'), n476)).
clause(1436, a(var('X'), n478), a(var('X'), n477)).
clause(1439, a(var('X'), n479), a(var('X'), n478)).
clause(1442, a(var('X'), n480), a(var('X'), n479)).
clause(1445, a(var('X'), n481), a(var('X'), n480)).
clause(1448, a(var('X'), n482), a(var('X'), n481)).
clause(1451, a(var('X'), n483), a(var('X'), n482)).
clause(1454, a(var('X'), n484), a(var('X'), n483)).
clause(1457, a(var('X'), n485), a(var('X'), n484)).
clause(1460, a(var('X'), n486), a(var('X'), n485)).
clause(1463, a(var('X'), n487), a(var('X'), n486)).
clause(1466, a(var('X'), n488), a(var('X'), n487)).
clause(1469, a(var('X'), n489), a(var('X'), n488)).
clause(1472, a(var('X'), n490), a(var('X'), n489)).
clause(1475, a(var('X'), n491), a(var('X'), n490)).
clause(1478, a(var('X'), n492), a(var('X'), n491)).
clause(1481, a(var('X'), n493), a(var('X'), n492)).
clause(1484, a(var('X'), n494), a(var('X'), n493)).
clause(1487, a(var('X'), n495), a(var('X'), n494)).
clause(1490, a(var('X'), n496), a(var('X'), n495)).
clause(1493, a(var('X'), n497), a(var('X'), n496)).
clause(1496, a(var('X'), n498), a(var('X'), n497)).
clause(1499, a(var('X'), n499), a(var('X'), n498)).
clause(1502, a(var('X'), n500), a(var('X'), n499)).
clause(1505, a(var('X'), n501), a(var('X'), n500)).
clause(1508, a(var('X'), n502), a(var('X'), n501)).
clause(1511, a(var('X'), n503), a(var('X'), n502)).
clause(1514, a(var('X'), n504), a(var('X'), n503)).
clause(1517, a(var('X'), n505), a(var('X'), n504)).
clause(1520, a(var('X'), n506), a(var('X'), n505)).
clause(1523, a(var('X'), n507), a(var('X'), n506)).
clause(1526, a(var('X'), n508), a(var('X'), n507)).
clause(1529, a(var('X'), n509), a(var('X'), n508)).
clause(1532, a(var('X'), n510), a(var('X'), n509)).
clause(1535, a(var('X'), n511), a(var('X'), n510)).
clause(1538, a(var('X'), n512), a(var('X'), n511)).
clause(1541, a(var('X'), n513), a(var('X'), n512)).
clause(1544, a(var('X'), n514), a(var('X'), n513)).
clause(1547, a(var('X'), n515), a(var('X'), n514)).
clause(1550, a(var('X'), n516), a(var('X'), n515)).
clause(1553, a(var('X'), n517), a(var('X'), n516)).
clause(1556, a(var('X'), n518), a(var('X'), n517)).
clause(1559, a(var('X'), n519), a(var('X'), n518)).
clause(1562, a(var('X'), n520), a(var('X'), n519)).
clause(1565, a(var('X'), n521), a(var('X'), n520)).
clause(1568, a(var('X'), n522), a(var('X'), n521)).
clause(1571, a(var('X'), n523), a(var('X'), n522)).
clause(1574, a(var('X'), n524), a(var('X'), n523)).
clause(1577, a(var('X'), n525), a(var('X'), n524)).
clause(1580, a(var('X'), n526), a(var('X'), n525)).
clause(1583, a(var('X'), n527), a(var('X'), n526)).
clause(1586, a(var('X'), n528), a(var('X'), n527)).
clause(1589, a(var('X'), n529), a(var('X'), n528)).
clause(1592, a(var('X'), n530), a(var('X'), n529)).
clause(1595, a(var('X'), n531), a(var('X'), n530)).
clause(1598, a(var('X'), n532), a(var('X'), n531)).
clause(1601, a(var('X'), n533), a(var('X'), n532)).
clause(1604, a(var('X'), n534), a(var('X'), n533)).
clause(1607, a(var('X'), n535), a(var('X'), n534)).
clause(1610, a(var('X'), n536), a(var('X'), n535)).
clause(1613, a(var('X'), n537), a(var('X'), n536)).
clause(1616, a(var('X'), n538), a(var('X'), n537)).
clause(1619, a(var('X'), n539), a(var('X'), n538)).
clause(1622, a(var('X'), n540), a(var('X'), n539)).
clause(1625, a(var('X'), n541), a(var('X'), n540)).
clause(1628, a(var('X'), n542), a(var('X'), n541)).
clause(1631, a(var('X'), n543), a(var('X'), n542)).
clause(1634, a(var('X'), n544), a(var('X'), n543)).
clause(1637, a(var('X'), n545), a(var('X'), n544)).
clause(1640, a(var('X'), n546), a(var('X'), n545)).
clause(1643, a(var('X'), n547), a(var('X'), n546)).
clause(1646, a(var('X'), n548), a(var('X'), n547)).
clause(1649, a(var('X'), n549), a(var('X'), n548)).
clause(1652, a(var('X'), n550), a(var('X'), n549)).
clause(1655, a(var('X'), n551), a(var('X'), n550)).
clause(1658, a(var('X'), n552), a(var('X'), n551)).
clause(1661, a(var('X'), n553), a(var('X'), n552)).
clause(1664, a(var('X'), n554), a(var('X'), n553)).
clause(1667, a(var('X'), n555), a(var('X'), n554)).
clause(1670, a(var('X'), n556), a(var('X'), n555)).
clause(1673, a(var('X'), n557), a(var('X'), n556)).
clause(1676, a(var('X'), n558), a(var('X'), n557)).
clause(1679, a(var('X'), n559), a(var('X'), n558)).
clause(1682, a(var('X'), n560), a(var('X'), n559)).
clause(1685, a(var('X'), n561), a(var('X'), n560)).
clause(1688, a(var('X'), n562), a(var('X'), n561)).
clause(1691, a(var('X'), n563), a(var('X'), n562)).
clause(1694, a(var('X'), n564), a(var('X'), n563)).
clause(1697, a(var('X'), n565), a(var('X'), n564)).
clause(1700, a(var('X'), n566), a(var('X'), n565)).
clause(1703, a(var('X'), n567), a(var('X'), n566)).
clause(1706, a(var('X'), n568), a(var('X'), n567)).
clause(1709, a(var('X'), n569), a(var('X'), n568)).
clause(1712, a(var('X'), n570), a(var('X'), n569)).
clause(1715, a(var('X'), n571), a(var('X'), n570)).
clause(1718, a(var('X'), n572), a(var('X'), n571)).
clause(1721, a(var('X'), n573), a(var('X'), n572)).
clause(1724, a(var('X'), n574), a(var('X'), n573)).
clause(1727, a(var('X'), n575), a(var('X'), n574)).
clause(1730, a(var('X'), n576), a(var('X'), n575)).
clause(1733, a(var('X'), n577), a(var('X'), n576)).
clause(1736, a(var('X'), n578), a(var('X'), n577)).
clause(1739, a(var('X'), n579), a(var('X'), n578)).
clause(1742, a(var('X'), n580), a(var('X'), n579)).
clause(1745, a(var('X'), n581), a(var('X'), n580)).
clause(1748, a(var('X'), n582), a(var('X'), n581)).
clause(1751, a(var('X'), n583), a(var('X'), n582)).
clause(1754, a(var('X'), n584), a(var('X'), n583)).
clause(1757, a(var('X'), n585), a(var('X'), n584)).
clause(1760, a(var('X'), n586), a(var('X'), n585)).
clause(1763, a(var('X'), n587), a(var('X'), n586)).
clause(1766, a(var('X'), n588), a(var('X'), n587)).
clause(1769, a(var('X'), n589), a(var('X'), n588)).
clause(1772, a(var('X'), n590), a(var('X'), n589)).
clause(1775, a(var('X'), n591), a(var('X'), n590)).
clause(1778, a(var('X'), n592), a(var('X'), n591)).
clause(1781, a(var('X'), n593), a(var('X'), n592)).
clause(1784, a(var('X'), n594), a(var('X'), n593)).
clause(1787, a(var('X'), n595), a(var('X'), n594)).
clause(1790, a(var('X'), n596), a(var('X'), n595)).
clause(1793, a(var('X'), n597), a(var('X'), n596)).
clause(1796, a(var('X'), n598), a(var('X'), n597)).
clause(1799, a(var('X'), n599), a(var('X'), n598)).
clause(1802, a(var('X'), n600), a(var('X'), n599)).
clause(1805, a(var('X'), n601), a(var('X'), n600)).
clause(1808, a(var('X'), n602), a(var('X'), n601)).
clause(1811, a(var('X'), n603), a(var('X'), n602)).
clause(1814, a(var('X'), n604), a(var('X'), n603)).
clause(1817, a(var('X'), n605), a(var('X'), n604)).
clause(1820, a(var('X'), n606), a(var('X'), n605)).
clause(1823, a(var('X'), n607), a(var('X'), n606)).
clause(1826, a(var('X'), n608), a(var('X'), n607)).
clause(1829, a(var('X'), n609), a(var('X'), n608)).
clause(1832, a(var('X'), n610), a(var('X'), n609)).
clause(1835, a(var('X'), n611), a(var('X'), n610)).
clause(1838, a(var('X'), n612), a(var('X'), n611)).
clause(1841, a(var('X'), n613), a(var('X'), n612)).
clause(1844, a(var('X'), n614), a(var('X'), n613)).
clause(1847, a(var('X'), n615), a(var('X'), n614)).
clause(1850, a(var('X'), n616), a(var('X'), n615)).
clause(1853, a(var('X'), n617), a(var('X'), n616)).
clause(1856, a(var('X'), n618), a(var('X'), n617)).
clause(1859, a(var('X'), n619), a(var('X'), n618)).
clause(1862, a(var('X'), n620), a(var('X'), n619)).
clause(1865, a(var('X'), n621), a(var('X'), n620)).
clause(1868, a(var('X'), n622), a(var('X'), n621)).
clause(1871, a(var('X'), n623), a(var('X'), n622)).
clause(1874, a(var('X'), n624), a(var('X'), n623)).
clause(1877, a(var('X'), n625), a(var('X'), n624)).
clause(1880, a(var('X'), n626), a(var('X'), n625)).
clause(1883, a(var('X'), n627), a(var('X'), n626)).
clause(1886, a(var('X'), n628), a(var('X'), n627)).
clause(1889, a(var('X'), n629), a(var('X'), n628)).
clause(1892, a(var('X'), n630), a(var('X'), n629)).
clause(1895, a(var('X'), n631), a(var('X'), n630)).
clause(1898, a(var('X'), n632), a(var('X'), n631)).
clause(1901, a(var('X'), n633), a(var('X'), n632)).
clause(1904, a(var('X'), n634), a(var('X'), n633)).
clause(1907, a(var('X'), n635), a(var('X'), n634)).
clause(1910, a(var('X'), n636), a(var('X'), n635)).
clause(1913, a(var('X'), n637), a(var('X'), n636)).
clause(1916, a(var('X'), n638), a(var('X'), n637)).
clause(1919, a(var('X'), n639), a(var('X'), n638)).
clause(1922, a(var('X'), n640), a(var('X'), n639)).
clause(1925, a(var('X'), n641), a(var('X'), n640)).
clause(1928, a(var('X'), n642), a(var('X'), n641)).
clause(1931, a(var('X'), n643), a(var('X'), n642)).
clause(1934, a(var('X'), n644), a(var('X'), n643)).
clause(1937, a(var('X'), n645), a(var('X'), n644)).
clause(1940, a(var('X'), n646), a(var('X'), n645)).
clause(1943, a(var('X'), n647), a(var('X'), n646)).
clause(1946, a(var('X'), n648), a(var('X'), n647)).
clause(1949, a(var('X'), n649), a(var('X'), n648)).
clause(1952, a(var('X'), n650), a(var('X'), n649)).
clause(1955, a(var('X'), n651), a(var('X'), n650)).
clause(1958, a(var('X'), n652), a(var('X'), n651)).
clause(1961, a(var('X'), n653), a(var('X'), n652)).
clause(1964, a(var('X'), n654), a(var('X'), n653)).
clause(1967, a(var('X'), n655), a(var('X'), n654)).
clause(1970, a(var('X'), n656), a(var('X'), n655)).
clause(1973, a(var('X'), n657), a(var('X'), n656)).
clause(1976, a(var('X'), n658), a(var('X'), n657)).
clause(1979, a(var('X'), n659), a(var('X'), n658)).
clause(1982, a(var('X'), n660), a(var('X'), n659)).
clause(1985, a(var('X'), n661), a(var('X'), n660)).
clause(1988, a(var('X'), n662), a(var('X'), n661)).
clause(1991, a(var('X'), n663), a(var('X'), n662)).
clause(1994, a(var('X'), n664), a(var('X'), n663)).
clause(1997, a(var('X'), n665), a(var('X'), n664)).
clause(2000, a(var('X'), n666), a(var('X'), n665)).
clause(2003, a(var('X'), n667), a(var('X'), n666)).
clause(2006, a(var('X'), n668), a(var('X'), n667)).
clause(2009, a(var('X'), n669), a(var('X'), n668)).
clause(2012, a(var('X'), n670), a(var('X'), n669)).
clause(2015, a(var('X'), n671), a(var('X'), n670)).
clause(2018, a(var('X'), n672), a(var('X'), n671)).
clause(2021, a(var('X'), n673), a(var('X'), n672)).
clause(2024, a(var('X'), n674), a(var('X'), n673)).
clause(2027, a(var('X'), n675), a(var('X'), n674)).
clause(2030, a(var('X'), n676), a(var('X'), n675)).
clause(2033, a(var('X'), n677), a(var('X'), n676)).
clause(2036, a(var('X'), n678), a(var('X'), n677)).
clause(2039, a(var('X'), n679), a(var('X'), n678)).
clause(2042, a(var('X'), n680), a(var('X'), n679)).
clause(2045, a(var('X'), n681), a(var('X'), n680)).
clause(2048, a(var('X'), n682), a(var('X'), n681)).
clause(2051, a(var('X'), n683), a(var('X'), n682)).
clause(2054, a(var('X'), n684), a(var('X'), n683)).
clause(2057, a(var('X'), n685), a(var('X'), n684)).
clause(2060, a(var('X'), n686), a(var('X'), n685)).
clause(2063, a(var('X'), n687), a(var('X'), n686)).
clause(2066, a(var('X'), n688), a(var('X'), n687)).
clause(2069, a(var('X'), n689), a(var('X'), n688)).
clause(2072, a(var('X'), n690), a(var('X'), n689)).
clause(2075, a(var('X'), n691), a(var('X'), n690)).
clause(2078, a(var('X'), n692), a(var('X'), n691)).
clause(2081, a(var('X'), n693), a(var('X'), n692)).
clause(2084, a(var('X'), n694), a(var('X'), n693)).
clause(2087, a(var('X'), n695), a(var('X'), n694)).
clause(2090, a(var('X'), n696), a(var('X'), n695)).
clause(2093, a(var('X'), n697), a(var('X'), n696)).
clause(2096, a(var('X'), n698), a(var('X'), n697)).
clause(2099, a(var('X'), n699), a(var('X'), n698)).
clause(2102, a(var('X'), n700), a(var('X'), n699)).
clause(2105, a(var('X'), n701), a(var('X'), n700)).
clause(2108, a(var('X'), n702), a(var('X'), n701)).
clause(2111, a(var('X'), n703), a(var('X'), n702)).
clause(2114, a(var('X'), n704), a(var('X'), n703)).
clause(2117, a(var('X'), n705), a(var('X'), n704)).
clause(2120, a(var('X'), n706), a(var('X'), n705)).
clause(2123, a(var('X'), n707), a(var('X'), n706)).
clause(2126, a(var('X'), n708), a(var('X'), n707)).
clause(2129, a(var('X'), n709), a(var('X'), n708)).
clause(2132, a(var('X'), n710), a(var('X'), n709)).
clause(2135, a(var('X'), n711), a(var('X'), n710)).
clause(2138, a(var('X'), n712), a(var('X'), n711)).
clause(2141, a(var('X'), n713), a(var('X'), n712)).
clause(2144, a(var('X'), n714), a(var('X'), n713)).
clause(2147, a(var('X'), n715), a(var('X'), n714)).
clause(2150, a(var('X'), n716), a(var('X'), n715)).
clause(2153, a(var('X'), n717), a(var('X'), n716)).
clause(2156, a(var('X'), n718), a(var('X'), n717)).
clause(2159, a(var('X'), n719), a(var('X'), n718)).
clause(2162, a(var('X'), n720), a(var('X'), n719)).
clause(2165, a(var('X'), n721), a(var('X'), n720)).
clause(2168, a(var('X'), n722), a(var('X'), n721)).
clause(2171, a(var('X'), n723), a(var('X'), n722)).
clause(2174, a(var('X'), n724), a(var('X'), n723)).
clause(2177, a(var('X'), n725), a(var('X'), n724)).
clause(2180, a(var('X'), n726), a(var('X'), n725)).
clause(2183, a(var('X'), n727), a(var('X'), n726)).
clause(2186, a(var('X'), n728), a(var('X'), n727)).
clause(2189, a(var('X'), n729), a(var('X'), n728)).
clause(2192, a(var('X'), n730), a(var('X'), n729)).
clause(2195, a(var('X'), n731), a(var('X'), n730)).
clause(2198, a(var('X'), n732), a(var('X'), n731)).
clause(2201, a(var('X'), n733), a(var('X'), n732)).
clause(2204, a(var('X'), n734), a(var('X'), n733)).
clause(2207, a(var('X'), n735), a(var('X'), n734)).
clause(2210, a(var('X'), n736), a(var('X'), n735)).
clause(2213, a(var('X'), n737), a(var('X'), n736)).
clause(2216, a(var('X'), n738), a(var('X'), n737)).
clause(2219, a(var('X'), n739), a(var('X'), n738)).
clause(2222, a(var('X'), n740), a(var('X'), n739)).
clause(2225, a(var('X'), n741), a(var('X'), n740)).
clause(2228, a(var('X'), n742), a(var('X'), n741)).
clause(2231, a(var('X'), n743), a(var('X'), n742)).
clause(2234, a(var('X'), n744), a(var('X'), n743)).
clause(2237, a(var('X'), n745), a(var('X'), n744)).
clause(2240, a(var('X'), n746), a(var('X'), n745)).
clause(2243, a(var('X'), n747), a(var('X'), n746)).
clause(2246, a(var('X'), n748), a(var('X'), n747)).
clause(2249, a(var('X'), n749), a(var('X'), n748)).
clause(2252, a(var('X'), n750), a(var('X'), n749)).
clause(2255, a(var('X'), n751), a(var('X'), n750)).
clause(2258, a(var('X'), n752), a(var('X'), n751)).
clause(2261, a(var('X'), n753), a(var('X'), n752)).
clause(2264, a(var('X'), n754), a(var('X'), n753)).
clause(2267, a(var('X'), n755), a(var('X'), n754)).
clause(2270, a(var('X'), n756), a(var('X'), n755)).
clause(2273, a(var('X'), n757), a(var('X'), n756)).
clause(2276, a(var('X'), n758), a(var('X'), n757)).
clause(2279, a(var('X'), n759), a(var('X'), n758)).
clause(2282, a(var('X'), n760), a(var('X'), n759)).
clause(2285, a(var('X'), n761), a(var('X'), n760)).
clause(2288, a(var('X'), n762), a(var('X'), n761)).
clause(2291, a(var('X'), n763), a(var('X'), n762)).
clause(2294, a(var('X'), n764), a(var('X'), n763)).
clause(2297, a(var('X'), n765), a(var('X'), n764)).
clause(2300, a(var('X'), n766), a(var('X'), n765)).
clause(2303, a(var('X'), n767), a(var('X'), n766)).
clause(2306, a(var('X'), n768), a(var('X'), n767)).
clause(2309, a(var('X'), n769), a(var('X'), n768)).
clause(2312, a(var('X'), n770), a(var('X'), n769)).
clause(2315, a(var('X'), n771), a(var('X'), n770)).
clause(2318, a(var('X'), n772), a(var('X'), n771)).
clause(2321, a(var('X'), n773), a(var('X'), n772)).
clause(2324, a(var('X'), n774), a(var('X'), n773)).
clause(2327, a(var('X'), n775), a(var('X'), n774)).
clause(2330, a(var('X'), n776), a(var('X'), n775)).
clause(2333, a(var('X'), n777), a(var('X'), n776)).
clause(2336, a(var('X'), n778), a(var('X'), n777)).
clause(2339, a(var('X'), n779), a(var('X'), n778)).
clause(2342, a(var('X'), n780), a(var('X'), n779)).
clause(2345, a(var('X'), n781), a(var('X'), n780)).
clause(2348, a(var('X'), n782), a(var('X'), n781)).
clause(2351, a(var('X'), n783), a(var('X'), n782)).
clause(2354, a(var('X'), n784), a(var('X'), n783)).
clause(2357, a(var('X'), n785), a(var('X'), n784)).
clause(2360, a(var('X'), n786), a(var('X'), n785)).
clause(2363, a(var('X'), n787), a(var('X'), n786)).
clause(2366, a(var('X'), n788), a(var('X'), n787)).
clause(2369, a(var('X'), n789), a(var('X'), n788)).
clause(2372, a(var('X'), n790), a(var('X'), n789)).
clause(2375, a(var('X'), n791), a(var('X'), n790)).
clause(2378, a(var('X'), n792), a(var('X'), n791)).
clause(2381, a(var('X'), n793), a(var('X'), n792)).
clause(2384, a(var('X'), n794), a(var('X'), n793)).
clause(2387, a(var('X'), n795), a(var('X'), n794)).
clause(2390, a(var('X'), n796), a(var('X'), n795)).
clause(2393, a(var('X'), n797), a(var('X'), n796)).
clause(2396, a(var('X'), n798), a(var('X'), n797)).
clause(2399, a(var('X'), n799), a(var('X'), n798)).
clause(2402, a(var('X'), n800), a(var('X'), n799)).
clause(2405, a(var('X'), n801), a(var('X'), n800)).
clause(2408, a(var('X'), n802), a(var('X'), n801)).
clause(2411, a(var('X'), n803), a(var('X'), n802)).
clause(2414, a(var('X'), n804), a(var('X'), n803)).
clause(2417, a(var('X'), n805), a(var('X'), n804)).
clause(2420, a(var('X'), n806), a(var('X'), n805)).
clause(2423, a(var('X'), n807), a(var('X'), n806)).
clause(2426, a(var('X'), n808), a(var('X'), n807)).
clause(2429, a(var('X'), n809), a(var('X'), n808)).
clause(2432, a(var('X'), n810), a(var('X'), n809)).
clause(2435, a(var('X'), n811), a(var('X'), n810)).
clause(2438, a(var('X'), n812), a(var('X'), n811)).
clause(2441, a(var('X'), n813), a(var('X'), n812)).
clause(2444, a(var('X'), n814), a(var('X'), n813)).
clause(2447, a(var('X'), n815), a(var('X'), n814)).
clause(2450, a(var('X'), n816), a(var('X'), n815)).
clause(2453, a(var('X'), n817), a(var('X'), n816)).
clause(2456, a(var('X'), n818), a(var('X'), n817)).
clause(2459, a(var('X'), n819), a(var('X'), n818)).
clause(2462, a(var('X'), n820), a(var('X'), n819)).
clause(2465, a(var('X'), n821), a(var('X'), n820)).
clause(2468, a(var('X'), n822), a(var('X'), n821)).
clause(2471, a(var('X'), n823), a(var('X'), n822)).
clause(2474, a(var('X'), n824), a(var('X'), n823)).
clause(2477, a(var('X'), n825), a(var('X'), n824)).
clause(2480, a(var('X'), n826), a(var('X'), n825)).
clause(2483, a(var('X'), n827), a(var('X'), n826)).
clause(2486, a(var('X'), n828), a(var('X'), n827)).
clause(2489, a(var('X'), n829), a(var('X'), n828)).
clause(2492, a(var('X'), n830), a(var('X'), n829)).
clause(2495, a(var('X'), n831), a(var('X'), n830)).
clause(2498, a(var('X'), n832), a(var('X'), n831)).
clause(2501, a(var('X'), n833), a(var('X'), n832)).
clause(2504, a(var('X'), n834), a(var('X'), n833)).
clause(2507, a(var('X'), n835), a(var('X'), n834)).
clause(2510, a(var('X'), n836), a(var('X'), n835)).
clause(2513, a(var('X'), n837), a(var('X'), n836)).
clause(2516, a(var('X'), n838), a(var('X'), n837)).
clause(2519, a(var('X'), n839), a(var('X'), n838)).
clause(2522, a(var('X'), n840), a(var('X'), n839)).
clause(2525, a(var('X'), n841), a(var('X'), n840)).
clause(2528, a(var('X'), n842), a(var('X'), n841)).
clause(2531, a(var('X'), n843), a(var('X'), n842)).
clause(2534, a(var('X'), n844), a(var('X'), n843)).
clause(2537, a(var('X'), n845), a(var('X'), n844)).
clause(2540, a(var('X'), n846), a(var('X'), n845)).
clause(2543, a(var('X'), n847), a(var('X'), n846)).
clause(2546, a(var('X'), n848), a(var('X'), n847)).
clause(2549, a(var('X'), n849), a(var('X'), n848)).
clause(2552, a(var('X'), n850), a(var('X'), n849)).
clause(2555, a(var('X'), n851), a(var('X'), n850)).
clause(2558, a(var('X'), n852), a(var('X'), n851)).
clause(2561, a(var('X'), n853), a(var('X'), n852)).
clause(2564, a(var('X'), n854), a(var('X'), n853)).
clause(2567, a(var('X'), n855), a(var('X'), n854)).
clause(2570, a(var('X'), n856), a(var('X'), n855)).
clause(2573, a(var('X'), n857), a(var('X'), n856)).
clause(2576, a(var('X'), n858), a(var('X'), n857)).
clause(2579, a(var('X'), n859), a(var('X'), n858)).
clause(2582, a(var('X'), n860), a(var('X'), n859)).
clause(2585, a(var('X'), n861), a(var('X'), n860)).
clause(2588, a(var('X'), n862), a(var('X'), n861)).
clause(2591, a(var('X'), n863), a(var('X'), n862)).
clause(2594, a(var('X'), n864), a(var('X'), n863)).
clause(2597, a(var('X'), n865), a(var('X'), n864)).
clause(2600, a(var('X'), n866), a(var('X'), n865)).
clause(2603, a(var('X'), n867), a(var('X'), n866)).
clause(2606, a(var('X'), n868), a(var('X'), n867)).
clause(2609, a(var('X'), n869), a(var('X'), n868)).
clause(2612, a(var('X'), n870), a(var('X'), n869)).
clause(2615, a(var('X'), n871), a(var('X'), n870)).
clause(2618, a(var('X'), n872), a(var('X'), n871)).
clause(2621, a(var('X'), n873), a(var('X'), n872)).
clause(2624, a(var('X'), n874), a(var('X'), n873)).
clause(2627, a(var('X'), n875), a(var('X'), n874)).
clause(2630, a(var('X'), n876), a(var('X'), n875)).
clause(2633, a(var('X'), n877), a(var('X'), n876)).
clause(2636, a(var('X'), n878), a(var('X'), n877)).
clause(2639, a(var('X'), n879), a(var('X'), n878)).
clause(2642, a(var('X'), n880), a(var('X'), n879)).
clause(2645, a(var('X'), n881), a(var('X'), n880)).
clause(2648, a(var('X'), n882), a(var('X'), n881)).
clause(2651, a(var('X'), n883), a(var('X'), n882)).
clause(2654, a(var('X'), n884), a(var('X'), n883)).
clause(2657, a(var('X'), n885), a(var('X'), n884)).
clause(2660, a(var('X'), n886), a(var('X'), n885)).
clause(2663, a(var('X'), n887), a(var('X'), n886)).
clause(2666, a(var('X'), n888), a(var('X'), n887)).
clause(2669, a(var('X'), n889), a(var('X'), n888)).
clause(2672, a(var('X'), n890), a(var('X'), n889)).
clause(2675, a(var('X'), n891), a(var('X'), n890)).
clause(2678, a(var('X'), n892), a(var('X'), n891)).
clause(2681, a(var('X'), n893), a(var('X'), n892)).
clause(2684, a(var('X'), n894), a(var('X'), n893)).
clause(2687, a(var('X'), n895), a(var('X'), n894)).
clause(2690, a(var('X'), n896), a(var('X'), n895)).
clause(2693, a(var('X'), n897), a(var('X'), n896)).
clause(2696, a(var('X'), n898), a(var('X'), n897)).
clause(2699, a(var('X'), n899), a(var('X'), n898)).
clause(2702, a(var('X'), n900), a(var('X'), n899)).
clause(2705, a(var('X'), n901), a(var('X'), n900)).
clause(2708, a(var('X'), n902), a(var('X'), n901)).
clause(2711, a(var('X'), n903), a(var('X'), n902)).
clause(2714, a(var('X'), n904), a(var('X'), n903)).
clause(2717, a(var('X'), n905), a(var('X'), n904)).
clause(2720, a(var('X'), n906), a(var('X'), n905)).
clause(2723, a(var('X'), n907), a(var('X'), n906)).
clause(2726, a(var('X'), n908), a(var('X'), n907)).
clause(2729, a(var('X'), n909), a(var('X'), n908)).
clause(2732, a(var('X'), n910), a(var('X'), n909)).
clause(2735, a(var('X'), n911), a(var('X'), n910)).
clause(2738, a(var('X'), n912), a(var('X'), n911)).
clause(2741, a(var('X'), n913), a(var('X'), n912)).
clause(2744, a(var('X'), n914), a(var('X'), n913)).
clause(2747, a(var('X'), n915), a(var('X'), n914)).
clause(2750, a(var('X'), n916), a(var('X'), n915)).
clause(2753, a(var('X'), n917), a(var('X'), n916)).
clause(2756, a(var('X'), n918), a(var('X'), n917)).
clause(2759, a(var('X'), n919), a(var('X'), n918)).
clause(2762, a(var('X'), n920), a(var('X'), n919)).
clause(2765, a(var('X'), n921), a(var('X'), n920)).
clause(2768, a(var('X'), n922), a(var('X'), n921)).
clause(2771, a(var('X'), n923), a(var('X'), n922)).
clause(2774, a(var('X'), n924), a(var('X'), n923)).
clause(2777, a(var('X'), n925), a(var('X'), n924)).
clause(2780, a(var('X'), n926), a(var('X'), n925)).
clause(2783, a(var('X'), n927), a(var('X'), n926)).
clause(2786, a(var('X'), n928), a(var('X'), n927)).
clause(2789, a(var('X'), n929), a(var('X'), n928)).
clause(2792, a(var('X'), n930), a(var('X'), n929)).
clause(2795, a(var('X'), n931), a(var('X'), n930)).
clause(2798, a(var('X'), n932), a(var('X'), n931)).
clause(2801, a(var('X'), n933), a(var('X'), n932)).
clause(2804, a(var('X'), n934), a(var('X'), n933)).
clause(2807, a(var('X'), n935), a(var('X'), n934)).
clause(2810, a(var('X'), n936), a(var('X'), n935)).
clause(2813, a(var('X'), n937), a(var('X'), n936)).
clause(2816, a(var('X'), n938), a(var('X'), n937)).
clause(2819, a(var('X'), n939), a(var('X'), n938)).
clause(2822, a(var('X'), n940), a(var('X'), n939)).
clause(2825, a(var('X'), n941), a(var('X'), n940)).
clause(2828, a(var('X'), n942), a(var('X'), n941)).
clause(2831, a(var('X'), n943), a(var('X'), n942)).
clause(2834, a(var('X'), n944), a(var('X'), n943)).
clause(2837, a(var('X'), n945), a(var('X'), n944)).
clause(2840, a(var('X'), n946), a(var('X'), n945)).
clause(2843, a(var('X'), n947), a(var('X'), n946)).
clause(2846, a(var('X'), n948), a(var('X'), n947)).
clause(2849, a(var('X'), n949), a(var('X'), n948)).
clause(2852, a(var('X'), n950), a(var('X'), n949)).
clause(2855, a(var('X'), n951), a(var('X'), n950)).
clause(2858, a(var('X'), n952), a(var('X'), n951)).
clause(2861, a(var('X'), n953), a(var('X'), n952)).
clause(2864, a(var('X'), n954), a(var('X'), n953)).
clause(2867, a(var('X'), n955), a(var('X'), n954)).
clause(2870, a(var('X'), n956), a(var('X'), n955)).
clause(2873, a(var('X'), n957), a(var('X'), n956)).
clause(2876, a(var('X'), n958), a(var('X'), n957)).
clause(2879, a(var('X'), n959), a(var('X'), n958)).
clause(2882, a(var('X'), n960), a(var('X'), n959)).
clause(2885, a(var('X'), n961), a(var('X'), n960)).
clause(2888, a(var('X'), n962), a(var('X'), n961)).
clause(2891, a(var('X'), n963), a(var('X'), n962)).
clause(2894, a(var('X'), n964), a(var('X'), n963)).
clause(2897, a(var('X'), n965), a(var('X'), n964)).
clause(2900, a(var('X'), n966), a(var('X'), n965)).
clause(2903, a(var('X'), n967), a(var('X'), n966)).
clause(2906, a(var('X'), n968), a(var('X'), n967)).
clause(2909, a(var('X'), n969), a(var('X'), n968)).
clause(2912, a(var('X'), n970), a(var('X'), n969)).
clause(2915, a(var('X'), n971), a(var('X'), n970)).
clause(2918, a(var('X'), n972), a(var('X'), n971)).
clause(2921, a(var('X'), n973), a(var('X'), n972)).
clause(2924, a(var('X'), n974), a(var('X'), n973)).
clause(2927, a(var('X'), n975), a(var('X'), n974)).
clause(2930, a(var('X'), n976), a(var('X'), n975)).
clause(2933, a(var('X'), n977), a(var('X'), n976)).
clause(2936, a(var('X'), n978), a(var('X'), n977)).
clause(2939, a(var('X'), n979), a(var('X'), n978)).
clause(2942, a(var('X'), n980), a(var('X'), n979)).
clause(2945, a(var('X'), n981), a(var('X'), n980)).
clause(2948, a(var('X'), n982), a(var('X'), n981)).
clause(2951, a(var('X'), n983), a(var('X'), n982)).
clause(2954, a(var('X'), n984), a(var('X'), n983)).
clause(2957, a(var('X'), n985), a(var('X'), n984)).
clause(2960, a(var('X'), n986), a(var('X'), n985)).
clause(2963, a(var('X'), n987), a(var('X'), n986)).
clause(2966, a(var('X'), n988), a(var('X'), n987)).
clause(2969, a(var('X'), n989), a(var('X'), n988)).
clause(2972, a(var('X'), n990), a(var('X'), n989)).
clause(2975, a(var('X'), n991), a(var('X'), n990)).
clause(2978, a(var('X'), n992), a(var('X'), n991)).
clause(2981, a(var('X'), n993), a(var('X'), n992)).
clause(2984, a(var('X'), n994), a(var('X'), n993)).
clause(2987, a(var('X'), n995), a(var('X'), n994)).
clause(2990, a(var('X'), n996), a(var('X'), n995)).
clause(2993, a(var('X'), n997), a(var('X'), n996)).
clause(2996, a(var('X'), n998), a(var('X'), n997)).
clause(2999, a(var('X'), n999), a(var('X'), n998)).
clause(3002, a(var('X'), n1000), a(var('X'), n999)).

step(a(ind, a2), rule(4), ['X' = ind], [a(ind, n1000)]).
step(a(ind, n1000), rule(3002), ['X' = ind], [a(ind, n999)]).
step(a(ind, n999), rule(2999), ['X' = ind], [a(ind, n998)]).
step(a(ind, n998), rule(2996), ['X' = ind], [a(ind, n997)]).
step(a(ind, n997), rule(2993), ['X' = ind], [a(ind, n996)]).
step(a(ind, n996), rule(2990), ['X' = ind], [a(ind, n995)]).
step(a(ind, n995), rule(2987), ['X' = ind], [a(ind, n994)]).
step(a(ind, n994), rule(2984), ['X' = ind], [a(ind, n993)]).
step(a(ind, n993), rule(2981), ['X' = ind], [a(ind, n992)]).
step(a(ind, n992), rule(2978), ['X' = ind], [a(ind, n991)]).
step(a(ind, n991), rule(2975), ['X' = ind], [a(ind, n990)]).
step(a(ind, n990), rule(2972), ['X' = ind], [a(ind, n989)]).
step(a(ind, n989), rule(2969), ['X' = ind], [a(ind, n988)]).
step(a(ind, n988), rule(2966), ['X' = ind], [a(ind, n987)]).
step(a(ind, n987), rule(2963), ['X' = ind], [a(ind, n986)]).
step(a(ind, n986), rule(2960), ['X' = ind], [a(ind, n985)]).
step(a(ind, n985), rule(2957), ['X' = ind], [a(ind, n984)]).
step(a(ind, n984), rule(2954), ['X' = ind], [a(ind, n983)]).
step(a(ind, n983), rule(2951), ['X' = ind], [a(ind, n982)]).
step(a(ind, n982), rule(2948), ['X' = ind], [a(ind, n981)]).
step(a(ind, n981), rule(2945), ['X' = ind], [a(ind, n980)]).
step(a(ind, n980), rule(2942), ['X' = ind], [a(ind, n979)]).
step(a(ind, n979), rule(2939), ['X' = ind], [a(ind, n978)]).
step(a(ind, n978), rule(2936), ['X' = ind], [a(ind, n977)]).
step(a(ind, n977), rule(2933), ['X' = ind], [a(ind, n976)]).
step(a(ind, n976), rule(2930), ['X' = ind], [a(ind, n975)]).
step(a(ind, n975), rule(2927), ['X' = ind], [a(ind, n974)]).
step(a(ind, n974), rule(2924), ['X' = ind], [a(ind, n973)]).
step(a(ind, n973), rule(2921), ['X' = ind], [a(ind, n972)]).
step(a(ind, n972), rule(2918), ['X' = ind], [a(ind, n971)]).
step(a(ind, n971), rule(2915), ['X' = ind], [a(ind, n970)]).
step(a(ind, n970), rule(2912), ['X' = ind], [a(ind, n969)]).
step(a(ind, n969), rule(2909), ['X' = ind], [a(ind, n968)]).
step(a(ind, n968), rule(2906), ['X' = ind], [a(ind, n967)]).
step(a(ind, n967), rule(2903), ['X' = ind], [a(ind, n966)]).
step(a(ind, n966), rule(2900), ['X' = ind], [a(ind, n965)]).
step(a(ind, n965), rule(2897), ['X' = ind], [a(ind, n964)]).
step(a(ind, n964), rule(2894), ['X' = ind], [a(ind, n963)]).
step(a(ind, n963), rule(2891), ['X' = ind], [a(ind, n962)]).
step(a(ind, n962), rule(2888), ['X' = ind], [a(ind, n961)]).
step(a(ind, n961), rule(2885), ['X' = ind], [a(ind, n960)]).
step(a(ind, n960), rule(2882), ['X' = ind], [a(ind, n959)]).
step(a(ind, n959), rule(2879), ['X' = ind], [a(ind, n958)]).
step(a(ind, n958), rule(2876), ['X' = ind], [a(ind, n957)]).
step(a(ind, n957), rule(2873), ['X' = ind], [a(ind, n956)]).
step(a(ind, n956), rule(2870), ['X' = ind], [a(ind, n955)]).
step(a(ind, n955), rule(2867), ['X' = ind], [a(ind, n954)]).
step(a(ind, n954), rule(2864), ['X' = ind], [a(ind, n953)]).
step(a(ind, n953), rule(2861), ['X' = ind], [a(ind, n952)]).
step(a(ind, n952), rule(2858), ['X' = ind], [a(ind, n951)]).
step(a(ind, n951), rule(2855), ['X' = ind], [a(ind, n950)]).
step(a(ind, n950), rule(2852), ['X' = ind], [a(ind, n949)]).
step(a(ind, n949), rule(2849), ['X' = ind], [a(ind, n948)]).
step(a(ind, n948), rule(2846), ['X' = ind], [a(ind, n947)]).
step(a(ind, n947), rule(2843), ['X' = ind], [a(ind, n946)]).
step(a(ind, n946), rule(2840), ['X' = ind], [a(ind, n945)]).
step(a(ind, n945), rule(2837), ['X' = ind], [a(ind, n944)]).
step(a(ind, n944), rule(2834), ['X' = ind], [a(ind, n943)]).
step(a(ind, n943), rule(2831), ['X' = ind], [a(ind, n942)]).
step(a(ind, n942), rule(2828), ['X' = ind], [a(ind, n941)]).
step(a(ind, n941), rule(2825), ['X' = ind], [a(ind, n940)]).
step(a(ind, n940), rule(2822), ['X' = ind], [a(ind, n939)]).
step(a(ind, n939), rule(2819), ['X' = ind], [a(ind, n938)]).
step(a(ind, n938), rule(2816), ['X' = ind], [a(ind, n937)]).
step(a(ind, n937), rule(2813), ['X' = ind], [a(ind, n936)]).
step(a(ind, n936), rule(2810), ['X' = ind], [a(ind, n935)]).
step(a(ind, n935), rule(2807), ['X' = ind], [a(ind, n934)]).
step(a(ind, n934), rule(2804), ['X' = ind], [a(ind, n933)]).
step(a(ind, n933), rule(2801), ['X' = ind], [a(ind, n932)]).
step(a(ind, n932), rule(2798), ['X' = ind], [a(ind, n931)]).
step(a(ind, n931), rule(2795), ['X' = ind], [a(ind, n930)]).
step(a(ind, n930), rule(2792), ['X' = ind], [a(ind, n929)]).
step(a(ind, n929), rule(2789), ['X' = ind], [a(ind, n928)]).
step(a(ind, n928), rule(2786), ['X' = ind], [a(ind, n927)]).
step(a(ind, n927), rule(2783), ['X' = ind], [a(ind, n926)]).
step(a(ind, n926), rule(2780), ['X' = ind], [a(ind, n925)]).
step(a(ind, n925), rule(2777), ['X' = ind], [a(ind, n924)]).
step(a(ind, n924), rule(2774), ['X' = ind], [a(ind, n923)]).
step(a(ind, n923), rule(2771), ['X' = ind], [a(ind, n922)]).
step(a(ind, n922), rule(2768), ['X' = ind], [a(ind, n921)]).
step(a(ind, n921), rule(2765), ['X' = ind], [a(ind, n920)]).
step(a(ind, n920), rule(2762), ['X' = ind], [a(ind, n919)]).
step(a(ind, n919), rule(2759), ['X' = ind], [a(ind, n918)]).
step(a(ind, n918), rule(2756), ['X' = ind], [a(ind, n917)]).
step(a(ind, n917), rule(2753), ['X' = ind], [a(ind, n916)]).
step(a(ind, n916), rule(2750), ['X' = ind], [a(ind, n915)]).
step(a(ind, n915), rule(2747), ['X' = ind], [a(ind, n914)]).
step(a(ind, n914), rule(2744), ['X' = ind], [a(ind, n913)]).
step(a(ind, n913), rule(2741), ['X' = ind], [a(ind, n912)]).
step(a(ind, n912), rule(2738), ['X' = ind], [a(ind, n911)]).
step(a(ind, n911), rule(2735), ['X' = ind], [a(ind, n910)]).
step(a(ind, n910), rule(2732), ['X' = ind], [a(ind, n909)]).
step(a(ind, n909), rule(2729), ['X' = ind], [a(ind, n908)]).
step(a(ind, n908), rule(2726), ['X' = ind], [a(ind, n907)]).
step(a(ind, n907), rule(2723), ['X' = ind], [a(ind, n906)]).
step(a(ind, n906), rule(2720), ['X' = ind], [a(ind, n905)]).
step(a(ind, n905), rule(2717), ['X' = ind], [a(ind, n904)]).
step(a(ind, n904), rule(2714), ['X' = ind], [a(ind, n903)]).
step(a(ind, n903), rule(2711), ['X' = ind], [a(ind, n902)]).
step(a(ind, n902), rule(2708), ['X' = ind], [a(ind, n901)]).
step(a(ind, n901), rule(2705), ['X' = ind], [a(ind, n900)]).
step(a(ind, n900), rule(2702), ['X' = ind], [a(ind, n899)]).
step(a(ind, n899), rule(2699), ['X' = ind], [a(ind, n898)]).
step(a(ind, n898), rule(2696), ['X' = ind], [a(ind, n897)]).
step(a(ind, n897), rule(2693), ['X' = ind], [a(ind, n896)]).
step(a(ind, n896), rule(2690), ['X' = ind], [a(ind, n895)]).
step(a(ind, n895), rule(2687), ['X' = ind], [a(ind, n894)]).
step(a(ind, n894), rule(2684), ['X' = ind], [a(ind, n893)]).
step(a(ind, n893), rule(2681), ['X' = ind], [a(ind, n892)]).
step(a(ind, n892), rule(2678), ['X' = ind], [a(ind, n891)]).
step(a(ind, n891), rule(2675), ['X' = ind], [a(ind, n890)]).
step(a(ind, n890), rule(2672), ['X' = ind], [a(ind, n889)]).
step(a(ind, n889), rule(2669), ['X' = ind], [a(ind, n888)]).
step(a(ind, n888), rule(2666), ['X' = ind], [a(ind, n887)]).
step(a(ind, n887), rule(2663), ['X' = ind], [a(ind, n886)]).
step(a(ind, n886), rule(2660), ['X' = ind], [a(ind, n885)]).
step(a(ind, n885), rule(2657), ['X' = ind], [a(ind, n884)]).
step(a(ind, n884), rule(2654), ['X' = ind], [a(ind, n883)]).
step(a(ind, n883), rule(2651), ['X' = ind], [a(ind, n882)]).
step(a(ind, n882), rule(2648), ['X' = ind], [a(ind, n881)]).
step(a(ind, n881), rule(2645), ['X' = ind], [a(ind, n880)]).
step(a(ind, n880), rule(2642), ['X' = ind], [a(ind, n879)]).
step(a(ind, n879), rule(2639), ['X' = ind], [a(ind, n878)]).
step(a(ind, n878), rule(2636), ['X' = ind], [a(ind, n877)]).
step(a(ind, n877), rule(2633), ['X' = ind], [a(ind, n876)]).
step(a(ind, n876), rule(2630), ['X' = ind], [a(ind, n875)]).
step(a(ind, n875), rule(2627), ['X' = ind], [a(ind, n874)]).
step(a(ind, n874), rule(2624), ['X' = ind], [a(ind, n873)]).
step(a(ind, n873), rule(2621), ['X' = ind], [a(ind, n872)]).
step(a(ind, n872), rule(2618), ['X' = ind], [a(ind, n871)]).
step(a(ind, n871), rule(2615), ['X' = ind], [a(ind, n870)]).
step(a(ind, n870), rule(2612), ['X' = ind], [a(ind, n869)]).
step(a(ind, n869), rule(2609), ['X' = ind], [a(ind, n868)]).
step(a(ind, n868), rule(2606), ['X' = ind], [a(ind, n867)]).
step(a(ind, n867), rule(2603), ['X' = ind], [a(ind, n866)]).
step(a(ind, n866), rule(2600), ['X' = ind], [a(ind, n865)]).
step(a(ind, n865), rule(2597), ['X' = ind], [a(ind, n864)]).
step(a(ind, n864), rule(2594), ['X' = ind], [a(ind, n863)]).
step(a(ind, n863), rule(2591), ['X' = ind], [a(ind, n862)]).
step(a(ind, n862), rule(2588), ['X' = ind], [a(ind, n861)]).
step(a(ind, n861), rule(2585), ['X' = ind], [a(ind, n860)]).
step(a(ind, n860), rule(2582), ['X' = ind], [a(ind, n859)]).
step(a(ind, n859), rule(2579), ['X' = ind], [a(ind, n858)]).
step(a(ind, n858), rule(2576), ['X' = ind], [a(ind, n857)]).
step(a(ind, n857), rule(2573), ['X' = ind], [a(ind, n856)]).
step(a(ind, n856), rule(2570), ['X' = ind], [a(ind, n855)]).
step(a(ind, n855), rule(2567), ['X' = ind], [a(ind, n854)]).
step(a(ind, n854), rule(2564), ['X' = ind], [a(ind, n853)]).
step(a(ind, n853), rule(2561), ['X' = ind], [a(ind, n852)]).
step(a(ind, n852), rule(2558), ['X' = ind], [a(ind, n851)]).
step(a(ind, n851), rule(2555), ['X' = ind], [a(ind, n850)]).
step(a(ind, n850), rule(2552), ['X' = ind], [a(ind, n849)]).
step(a(ind, n849), rule(2549), ['X' = ind], [a(ind, n848)]).
step(a(ind, n848), rule(2546), ['X' = ind], [a(ind, n847)]).
step(a(ind, n847), rule(2543), ['X' = ind], [a(ind, n846)]).
step(a(ind, n846), rule(2540), ['X' = ind], [a(ind, n845)]).
step(a(ind, n845), rule(2537), ['X' = ind], [a(ind, n844)]).
step(a(ind, n844), rule(2534), ['X' = ind], [a(ind, n843)]).
step(a(ind, n843), rule(2531), ['X' = ind], [a(ind, n842)]).
step(a(ind, n842), rule(2528), ['X' = ind], [a(ind, n841)]).
step(a(ind, n841), rule(2525), ['X' = ind], [a(ind, n840)]).
step(a(ind, n840), rule(2522), ['X' = ind], [a(ind, n839)]).
step(a(ind, n839), rule(2519), ['X' = ind], [a(ind, n838)]).
step(a(ind, n838), rule(2516), ['X' = ind], [a(ind, n837)]).
step(a(ind, n837), rule(2513), ['X' = ind], [a(ind, n836)]).
step(a(ind, n836), rule(2510), ['X' = ind], [a(ind, n835)]).
step(a(ind, n835), rule(2507), ['X' = ind], [a(ind, n834)]).
step(a(ind, n834), rule(2504), ['X' = ind], [a(ind, n833)]).
step(a(ind, n833), rule(2501), ['X' = ind], [a(ind, n832)]).
step(a(ind, n832), rule(2498), ['X' = ind], [a(ind, n831)]).
step(a(ind, n831), rule(2495), ['X' = ind], [a(ind, n830)]).
step(a(ind, n830), rule(2492), ['X' = ind], [a(ind, n829)]).
step(a(ind, n829), rule(2489), ['X' = ind], [a(ind, n828)]).
step(a(ind, n828), rule(2486), ['X' = ind], [a(ind, n827)]).
step(a(ind, n827), rule(2483), ['X' = ind], [a(ind, n826)]).
step(a(ind, n826), rule(2480), ['X' = ind], [a(ind, n825)]).
step(a(ind, n825), rule(2477), ['X' = ind], [a(ind, n824)]).
step(a(ind, n824), rule(2474), ['X' = ind], [a(ind, n823)]).
step(a(ind, n823), rule(2471), ['X' = ind], [a(ind, n822)]).
step(a(ind, n822), rule(2468), ['X' = ind], [a(ind, n821)]).
step(a(ind, n821), rule(2465), ['X' = ind], [a(ind, n820)]).
step(a(ind, n820), rule(2462), ['X' = ind], [a(ind, n819)]).
step(a(ind, n819), rule(2459), ['X' = ind], [a(ind, n818)]).
step(a(ind, n818), rule(2456), ['X' = ind], [a(ind, n817)]).
step(a(ind, n817), rule(2453), ['X' = ind], [a(ind, n816)]).
step(a(ind, n816), rule(2450), ['X' = ind], [a(ind, n815)]).
step(a(ind, n815), rule(2447), ['X' = ind], [a(ind, n814)]).
step(a(ind, n814), rule(2444), ['X' = ind], [a(ind, n813)]).
step(a(ind, n813), rule(2441), ['X' = ind], [a(ind, n812)]).
step(a(ind, n812), rule(2438), ['X' = ind], [a(ind, n811)]).
step(a(ind, n811), rule(2435), ['X' = ind], [a(ind, n810)]).
step(a(ind, n810), rule(2432), ['X' = ind], [a(ind, n809)]).
step(a(ind, n809), rule(2429), ['X' = ind], [a(ind, n808)]).
step(a(ind, n808), rule(2426), ['X' = ind], [a(ind, n807)]).
step(a(ind, n807), rule(2423), ['X' = ind], [a(ind, n806)]).
step(a(ind, n806), rule(2420), ['X' = ind], [a(ind, n805)]).
step(a(ind, n805), rule(2417), ['X' = ind], [a(ind, n804)]).
step(a(ind, n804), rule(2414), ['X' = ind], [a(ind, n803)]).
step(a(ind, n803), rule(2411), ['X' = ind], [a(ind, n802)]).
step(a(ind, n802), rule(2408), ['X' = ind], [a(ind, n801)]).
step(a(ind, n801), rule(2405), ['X' = ind], [a(ind, n800)]).
step(a(ind, n800), rule(2402), ['X' = ind], [a(ind, n799)]).
step(a(ind, n799), rule(2399), ['X' = ind], [a(ind, n798)]).
step(a(ind, n798), rule(2396), ['X' = ind], [a(ind, n797)]).
step(a(ind, n797), rule(2393), ['X' = ind], [a(ind, n796)]).
step(a(ind, n796), rule(2390), ['X' = ind], [a(ind, n795)]).
step(a(ind, n795), rule(2387), ['X' = ind], [a(ind, n794)]).
step(a(ind, n794), rule(2384), ['X' = ind], [a(ind, n793)]).
step(a(ind, n793), rule(2381), ['X' = ind], [a(ind, n792)]).
step(a(ind, n792), rule(2378), ['X' = ind], [a(ind, n791)]).
step(a(ind, n791), rule(2375), ['X' = ind], [a(ind, n790)]).
step(a(ind, n790), rule(2372), ['X' = ind], [a(ind, n789)]).
step(a(ind, n789), rule(2369), ['X' = ind], [a(ind, n788)]).
step(a(ind, n788), rule(2366), ['X' = ind], [a(ind, n787)]).
step(a(ind, n787), rule(2363), ['X' = ind], [a(ind, n786)]).
step(a(ind, n786), rule(2360), ['X' = ind], [a(ind, n785)]).
step(a(ind, n785), rule(2357), ['X' = ind], [a(ind, n784)]).
step(a(ind, n784), rule(2354), ['X' = ind], [a(ind, n783)]).
step(a(ind, n783), rule(2351), ['X' = ind], [a(ind, n782)]).
step(a(ind, n782), rule(2348), ['X' = ind], [a(ind, n781)]).
step(a(ind, n781), rule(2345), ['X' = ind], [a(ind, n780)]).
step(a(ind, n780), rule(2342), ['X' = ind], [a(ind, n779)]).
step(a(ind, n779), rule(2339), ['X' = ind], [a(ind, n778)]).
step(a(ind, n778), rule(2336), ['X' = ind], [a(ind, n777)]).
step(a(ind, n777), rule(2333), ['X' = ind], [a(ind, n776)]).
step(a(ind, n776), rule(2330), ['X' = ind], [a(ind, n775)]).
step(a(ind, n775), rule(2327), ['X' = ind], [a(ind, n774)]).
step(a(ind, n774), rule(2324), ['X' = ind], [a(ind, n773)]).
step(a(ind, n773), rule(2321), ['X' = ind], [a(ind, n772)]).
step(a(ind, n772), rule(2318), ['X' = ind], [a(ind, n771)]).
step(a(ind, n771), rule(2315), ['X' = ind], [a(ind, n770)]).
step(a(ind, n770), rule(2312), ['X' = ind], [a(ind, n769)]).
step(a(ind, n769), rule(2309), ['X' = ind], [a(ind, n768)]).
step(a(ind, n768), rule(2306), ['X' = ind], [a(ind, n767)]).
step(a(ind, n767), rule(2303), ['X' = ind], [a(ind, n766)]).
step(a(ind, n766), rule(2300), ['X' = ind], [a(ind, n765)]).
step(a(ind, n765), rule(2297), ['X' = ind], [a(ind, n764)]).
step(a(ind, n764), rule(2294), ['X' = ind], [a(ind, n763)]).
step(a(ind, n763), rule(2291), ['X' = ind], [a(ind, n762)]).
step(a(ind, n762), rule(2288), ['X' = ind], [a(ind, n761)]).
step(a(ind, n761), rule(2285), ['X' = ind], [a(ind, n760)]).
step(a(ind, n760), rule(2282), ['X' = ind], [a(ind, n759)]).
step(a(ind, n759), rule(2279), ['X' = ind], [a(ind, n758)]).
step(a(ind, n758), rule(2276), ['X' = ind], [a(ind, n757)]).
step(a(ind, n757), rule(2273), ['X' = ind], [a(ind, n756)]).
step(a(ind, n756), rule(2270), ['X' = ind], [a(ind, n755)]).
step(a(ind, n755), rule(2267), ['X' = ind], [a(ind, n754)]).
step(a(ind, n754), rule(2264), ['X' = ind], [a(ind, n753)]).
step(a(ind, n753), rule(2261), ['X' = ind], [a(ind, n752)]).
step(a(ind, n752), rule(2258), ['X' = ind], [a(ind, n751)]).
step(a(ind, n751), rule(2255), ['X' = ind], [a(ind, n750)]).
step(a(ind, n750), rule(2252), ['X' = ind], [a(ind, n749)]).
step(a(ind, n749), rule(2249), ['X' = ind], [a(ind, n748)]).
step(a(ind, n748), rule(2246), ['X' = ind], [a(ind, n747)]).
step(a(ind, n747), rule(2243), ['X' = ind], [a(ind, n746)]).
step(a(ind, n746), rule(2240), ['X' = ind], [a(ind, n745)]).
step(a(ind, n745), rule(2237), ['X' = ind], [a(ind, n744)]).
step(a(ind, n744), rule(2234), ['X' = ind], [a(ind, n743)]).
step(a(ind, n743), rule(2231), ['X' = ind], [a(ind, n742)]).
step(a(ind, n742), rule(2228), ['X' = ind], [a(ind, n741)]).
step(a(ind, n741), rule(2225), ['X' = ind], [a(ind, n740)]).
step(a(ind, n740), rule(2222), ['X' = ind], [a(ind, n739)]).
step(a(ind, n739), rule(2219), ['X' = ind], [a(ind, n738)]).
step(a(ind, n738), rule(2216), ['X' = ind], [a(ind, n737)]).
step(a(ind, n737), rule(2213), ['X' = ind], [a(ind, n736)]).
step(a(ind, n736), rule(2210), ['X' = ind], [a(ind, n735)]).
step(a(ind, n735), rule(2207), ['X' = ind], [a(ind, n734)]).
step(a(ind, n734), rule(2204), ['X' = ind], [a(ind, n733)]).
step(a(ind, n733), rule(2201), ['X' = ind], [a(ind, n732)]).
step(a(ind, n732), rule(2198), ['X' = ind], [a(ind, n731)]).
step(a(ind, n731), rule(2195), ['X' = ind], [a(ind, n730)]).
step(a(ind, n730), rule(2192), ['X' = ind], [a(ind, n729)]).
step(a(ind, n729), rule(2189), ['X' = ind], [a(ind, n728)]).
step(a(ind, n728), rule(2186), ['X' = ind], [a(ind, n727)]).
step(a(ind, n727), rule(2183), ['X' = ind], [a(ind, n726)]).
step(a(ind, n726), rule(2180), ['X' = ind], [a(ind, n725)]).
step(a(ind, n725), rule(2177), ['X' = ind], [a(ind, n724)]).
step(a(ind, n724), rule(2174), ['X' = ind], [a(ind, n723)]).
step(a(ind, n723), rule(2171), ['X' = ind], [a(ind, n722)]).
step(a(ind, n722), rule(2168), ['X' = ind], [a(ind, n721)]).
step(a(ind, n721), rule(2165), ['X' = ind], [a(ind, n720)]).
step(a(ind, n720), rule(2162), ['X' = ind], [a(ind, n719)]).
step(a(ind, n719), rule(2159), ['X' = ind], [a(ind, n718)]).
step(a(ind, n718), rule(2156), ['X' = ind], [a(ind, n717)]).
step(a(ind, n717), rule(2153), ['X' = ind], [a(ind, n716)]).
step(a(ind, n716), rule(2150), ['X' = ind], [a(ind, n715)]).
step(a(ind, n715), rule(2147), ['X' = ind], [a(ind, n714)]).
step(a(ind, n714), rule(2144), ['X' = ind], [a(ind, n713)]).
step(a(ind, n713), rule(2141), ['X' = ind], [a(ind, n712)]).
step(a(ind, n712), rule(2138), ['X' = ind], [a(ind, n711)]).
step(a(ind, n711), rule(2135), ['X' = ind], [a(ind, n710)]).
step(a(ind, n710), rule(2132), ['X' = ind], [a(ind, n709)]).
step(a(ind, n709), rule(2129), ['X' = ind], [a(ind, n708)]).
step(a(ind, n708), rule(2126), ['X' = ind], [a(ind, n707)]).
step(a(ind, n707), rule(2123), ['X' = ind], [a(ind, n706)]).
step(a(ind, n706), rule(2120), ['X' = ind], [a(ind, n705)]).
step(a(ind, n705), rule(2117), ['X' = ind], [a(ind, n704)]).
step(a(ind, n704), rule(2114), ['X' = ind], [a(ind, n703)]).
step(a(ind, n703), rule(2111), ['X' = ind], [a(ind, n702)]).
step(a(ind, n702), rule(2108), ['X' = ind], [a(ind, n701)]).
step(a(ind, n701), rule(2105), ['X' = ind], [a(ind, n700)]).
step(a(ind, n700), rule(2102), ['X' = ind], [a(ind, n699)]).
step(a(ind, n699), rule(2099), ['X' = ind], [a(ind, n698)]).
step(a(ind, n698), rule(2096), ['X' = ind], [a(ind, n697)]).
step(a(ind, n697), rule(2093), ['X' = ind], [a(ind, n696)]).
step(a(ind, n696), rule(2090), ['X' = ind], [a(ind, n695)]).
step(a(ind, n695), rule(2087), ['X' = ind], [a(ind, n694)]).
step(a(ind, n694), rule(2084), ['X' = ind], [a(ind, n693)]).
step(a(ind, n693), rule(2081), ['X' = ind], [a(ind, n692)]).
step(a(ind, n692), rule(2078), ['X' = ind], [a(ind, n691)]).
step(a(ind, n691), rule(2075), ['X' = ind], [a(ind, n690)]).
step(a(ind, n690), rule(2072), ['X' = ind], [a(ind, n689)]).
step(a(ind, n689), rule(2069), ['X' = ind], [a(ind, n688)]).
step(a(ind, n688), rule(2066), ['X' = ind], [a(ind, n687)]).
step(a(ind, n687), rule(2063), ['X' = ind], [a(ind, n686)]).
step(a(ind, n686), rule(2060), ['X' = ind], [a(ind, n685)]).
step(a(ind, n685), rule(2057), ['X' = ind], [a(ind, n684)]).
step(a(ind, n684), rule(2054), ['X' = ind], [a(ind, n683)]).
step(a(ind, n683), rule(2051), ['X' = ind], [a(ind, n682)]).
step(a(ind, n682), rule(2048), ['X' = ind], [a(ind, n681)]).
step(a(ind, n681), rule(2045), ['X' = ind], [a(ind, n680)]).
step(a(ind, n680), rule(2042), ['X' = ind], [a(ind, n679)]).
step(a(ind, n679), rule(2039), ['X' = ind], [a(ind, n678)]).
step(a(ind, n678), rule(2036), ['X' = ind], [a(ind, n677)]).
step(a(ind, n677), rule(2033), ['X' = ind], [a(ind, n676)]).
step(a(ind, n676), rule(2030), ['X' = ind], [a(ind, n675)]).
step(a(ind, n675), rule(2027), ['X' = ind], [a(ind, n674)]).
step(a(ind, n674), rule(2024), ['X' = ind], [a(ind, n673)]).
step(a(ind, n673), rule(2021), ['X' = ind], [a(ind, n672)]).
step(a(ind, n672), rule(2018), ['X' = ind], [a(ind, n671)]).
step(a(ind, n671), rule(2015), ['X' = ind], [a(ind, n670)]).
step(a(ind, n670), rule(2012), ['X' = ind], [a(ind, n669)]).
step(a(ind, n669), rule(2009), ['X' = ind], [a(ind, n668)]).
step(a(ind, n668), rule(2006), ['X' = ind], [a(ind, n667)]).
step(a(ind, n667), rule(2003), ['X' = ind], [a(ind, n666)]).
step(a(ind, n666), rule(2000), ['X' = ind], [a(ind, n665)]).
step(a(ind, n665), rule(1997), ['X' = ind], [a(ind, n664)]).
step(a(ind, n664), rule(1994), ['X' = ind], [a(ind, n663)]).
step(a(ind, n663), rule(1991), ['X' = ind], [a(ind, n662)]).
step(a(ind, n662), rule(1988), ['X' = ind], [a(ind, n661)]).
step(a(ind, n661), rule(1985), ['X' = ind], [a(ind, n660)]).
step(a(ind, n660), rule(1982), ['X' = ind], [a(ind, n659)]).
step(a(ind, n659), rule(1979), ['X' = ind], [a(ind, n658)]).
step(a(ind, n658), rule(1976), ['X' = ind], [a(ind, n657)]).
step(a(ind, n657), rule(1973), ['X' = ind], [a(ind, n656)]).
step(a(ind, n656), rule(1970), ['X' = ind], [a(ind, n655)]).
step(a(ind, n655), rule(1967), ['X' = ind], [a(ind, n654)]).
step(a(ind, n654), rule(1964), ['X' = ind], [a(ind, n653)]).
step(a(ind, n653), rule(1961), ['X' = ind], [a(ind, n652)]).
step(a(ind, n652), rule(1958), ['X' = ind], [a(ind, n651)]).
step(a(ind, n651), rule(1955), ['X' = ind], [a(ind, n650)]).
step(a(ind, n650), rule(1952), ['X' = ind], [a(ind, n649)]).
step(a(ind, n649), rule(1949), ['X' = ind], [a(ind, n648)]).
step(a(ind, n648), rule(1946), ['X' = ind], [a(ind, n647)]).
step(a(ind, n647), rule(1943), ['X' = ind], [a(ind, n646)]).
step(a(ind, n646), rule(1940), ['X' = ind], [a(ind, n645)]).
step(a(ind, n645), rule(1937), ['X' = ind], [a(ind, n644)]).
step(a(ind, n644), rule(1934), ['X' = ind], [a(ind, n643)]).
step(a(ind, n643), rule(1931), ['X' = ind], [a(ind, n642)]).
step(a(ind, n642), rule(1928), ['X' = ind], [a(ind, n641)]).
step(a(ind, n641), rule(1925), ['X' = ind], [a(ind, n640)]).
step(a(ind, n640), rule(1922), ['X' = ind], [a(ind, n639)]).
step(a(ind, n639), rule(1919), ['X' = ind], [a(ind, n638)]).
step(a(ind, n638), rule(1916), ['X' = ind], [a(ind, n637)]).
step(a(ind, n637), rule(1913), ['X' = ind], [a(ind, n636)]).
step(a(ind, n636), rule(1910), ['X' = ind], [a(ind, n635)]).
step(a(ind, n635), rule(1907), ['X' = ind], [a(ind, n634)]).
step(a(ind, n634), rule(1904), ['X' = ind], [a(ind, n633)]).
step(a(ind, n633), rule(1901), ['X' = ind], [a(ind, n632)]).
step(a(ind, n632), rule(1898), ['X' = ind], [a(ind, n631)]).
step(a(ind, n631), rule(1895), ['X' = ind], [a(ind, n630)]).
step(a(ind, n630), rule(1892), ['X' = ind], [a(ind, n629)]).
step(a(ind, n629), rule(1889), ['X' = ind], [a(ind, n628)]).
step(a(ind, n628), rule(1886), ['X' = ind], [a(ind, n627)]).
step(a(ind, n627), rule(1883), ['X' = ind], [a(ind, n626)]).
step(a(ind, n626), rule(1880), ['X' = ind], [a(ind, n625)]).
step(a(ind, n625), rule(1877), ['X' = ind], [a(ind, n624)]).
step(a(ind, n624), rule(1874), ['X' = ind], [a(ind, n623)]).
step(a(ind, n623), rule(1871), ['X' = ind], [a(ind, n622)]).
step(a(ind, n622), rule(1868), ['X' = ind], [a(ind, n621)]).
step(a(ind, n621), rule(1865), ['X' = ind], [a(ind, n620)]).
step(a(ind, n620), rule(1862), ['X' = ind], [a(ind, n619)]).
step(a(ind, n619), rule(1859), ['X' = ind], [a(ind, n618)]).
step(a(ind, n618), rule(1856), ['X' = ind], [a(ind, n617)]).
step(a(ind, n617), rule(1853), ['X' = ind], [a(ind, n616)]).
step(a(ind, n616), rule(1850), ['X' = ind], [a(ind, n615)]).
step(a(ind, n615), rule(1847), ['X' = ind], [a(ind, n614)]).
step(a(ind, n614), rule(1844), ['X' = ind], [a(ind, n613)]).
step(a(ind, n613), rule(1841), ['X' = ind], [a(ind, n612)]).
step(a(ind, n612), rule(1838), ['X' = ind], [a(ind, n611)]).
step(a(ind, n611), rule(1835), ['X' = ind], [a(ind, n610)]).
step(a(ind, n610), rule(1832), ['X' = ind], [a(ind, n609)]).
step(a(ind, n609), rule(1829), ['X' = ind], [a(ind, n608)]).
step(a(ind, n608), rule(1826), ['X' = ind], [a(ind, n607)]).
step(a(ind, n607), rule(1823), ['X' = ind], [a(ind, n606)]).
step(a(ind, n606), rule(1820), ['X' = ind], [a(ind, n605)]).
step(a(ind, n605), rule(1817), ['X' = ind], [a(ind, n604)]).
step(a(ind, n604), rule(1814), ['X' = ind], [a(ind, n603)]).
step(a(ind, n603), rule(1811), ['X' = ind], [a(ind, n602)]).
step(a(ind, n602), rule(1808), ['X' = ind], [a(ind, n601)]).
step(a(ind, n601), rule(1805), ['X' = ind], [a(ind, n600)]).
step(a(ind, n600), rule(1802), ['X' = ind], [a(ind, n599)]).
step(a(ind, n599), rule(1799), ['X' = ind], [a(ind, n598)]).
step(a(ind, n598), rule(1796), ['X' = ind], [a(ind, n597)]).
step(a(ind, n597), rule(1793), ['X' = ind], [a(ind, n596)]).
step(a(ind, n596), rule(1790), ['X' = ind], [a(ind, n595)]).
step(a(ind, n595), rule(1787), ['X' = ind], [a(ind, n594)]).
step(a(ind, n594), rule(1784), ['X' = ind], [a(ind, n593)]).
step(a(ind, n593), rule(1781), ['X' = ind], [a(ind, n592)]).
step(a(ind, n592), rule(1778), ['X' = ind], [a(ind, n591)]).
step(a(ind, n591), rule(1775), ['X' = ind], [a(ind, n590)]).
step(a(ind, n590), rule(1772), ['X' = ind], [a(ind, n589)]).
step(a(ind, n589), rule(1769), ['X' = ind], [a(ind, n588)]).
step(a(ind, n588), rule(1766), ['X' = ind], [a(ind, n587)]).
step(a(ind, n587), rule(1763), ['X' = ind], [a(ind, n586)]).
step(a(ind, n586), rule(1760), ['X' = ind], [a(ind, n585)]).
step(a(ind, n585), rule(1757), ['X' = ind], [a(ind, n584)]).
step(a(ind, n584), rule(1754), ['X' = ind], [a(ind, n583)]).
step(a(ind, n583), rule(1751), ['X' = ind], [a(ind, n582)]).
step(a(ind, n582), rule(1748), ['X' = ind], [a(ind, n581)]).
step(a(ind, n581), rule(1745), ['X' = ind], [a(ind, n580)]).
step(a(ind, n580), rule(1742), ['X' = ind], [a(ind, n579)]).
step(a(ind, n579), rule(1739), ['X' = ind], [a(ind, n578)]).
step(a(ind, n578), rule(1736), ['X' = ind], [a(ind, n577)]).
step(a(ind, n577), rule(1733), ['X' = ind], [a(ind, n576)]).
step(a(ind, n576), rule(1730), ['X' = ind], [a(ind, n575)]).
step(a(ind, n575), rule(1727), ['X' = ind], [a(ind, n574)]).
step(a(ind, n574), rule(1724), ['X' = ind], [a(ind, n573)]).
step(a(ind, n573), rule(1721), ['X' = ind], [a(ind, n572)]).
step(a(ind, n572), rule(1718), ['X' = ind], [a(ind, n571)]).
step(a(ind, n571), rule(1715), ['X' = ind], [a(ind, n570)]).
step(a(ind, n570), rule(1712), ['X' = ind], [a(ind, n569)]).
step(a(ind, n569), rule(1709), ['X' = ind], [a(ind, n568)]).
step(a(ind, n568), rule(1706), ['X' = ind], [a(ind, n567)]).
step(a(ind, n567), rule(1703), ['X' = ind], [a(ind, n566)]).
step(a(ind, n566), rule(1700), ['X' = ind], [a(ind, n565)]).
step(a(ind, n565), rule(1697), ['X' = ind], [a(ind, n564)]).
step(a(ind, n564), rule(1694), ['X' = ind], [a(ind, n563)]).
step(a(ind, n563), rule(1691), ['X' = ind], [a(ind, n562)]).
step(a(ind, n562), rule(1688), ['X' = ind], [a(ind, n561)]).
step(a(ind, n561), rule(1685), ['X' = ind], [a(ind, n560)]).
step(a(ind, n560), rule(1682), ['X' = ind], [a(ind, n559)]).
step(a(ind, n559), rule(1679), ['X' = ind], [a(ind, n558)]).
step(a(ind, n558), rule(1676), ['X' = ind], [a(ind, n557)]).
step(a(ind, n557), rule(1673), ['X' = ind], [a(ind, n556)]).
step(a(ind, n556), rule(1670), ['X' = ind], [a(ind, n555)]).
step(a(ind, n555), rule(1667), ['X' = ind], [a(ind, n554)]).
step(a(ind, n554), rule(1664), ['X' = ind], [a(ind, n553)]).
step(a(ind, n553), rule(1661), ['X' = ind], [a(ind, n552)]).
step(a(ind, n552), rule(1658), ['X' = ind], [a(ind, n551)]).
step(a(ind, n551), rule(1655), ['X' = ind], [a(ind, n550)]).
step(a(ind, n550), rule(1652), ['X' = ind], [a(ind, n549)]).
step(a(ind, n549), rule(1649), ['X' = ind], [a(ind, n548)]).
step(a(ind, n548), rule(1646), ['X' = ind], [a(ind, n547)]).
step(a(ind, n547), rule(1643), ['X' = ind], [a(ind, n546)]).
step(a(ind, n546), rule(1640), ['X' = ind], [a(ind, n545)]).
step(a(ind, n545), rule(1637), ['X' = ind], [a(ind, n544)]).
step(a(ind, n544), rule(1634), ['X' = ind], [a(ind, n543)]).
step(a(ind, n543), rule(1631), ['X' = ind], [a(ind, n542)]).
step(a(ind, n542), rule(1628), ['X' = ind], [a(ind, n541)]).
step(a(ind, n541), rule(1625), ['X' = ind], [a(ind, n540)]).
step(a(ind, n540), rule(1622), ['X' = ind], [a(ind, n539)]).
step(a(ind, n539), rule(1619), ['X' = ind], [a(ind, n538)]).
step(a(ind, n538), rule(1616), ['X' = ind], [a(ind, n537)]).
step(a(ind, n537), rule(1613), ['X' = ind], [a(ind, n536)]).
step(a(ind, n536), rule(1610), ['X' = ind], [a(ind, n535)]).
step(a(ind, n535), rule(1607), ['X' = ind], [a(ind, n534)]).
step(a(ind, n534), rule(1604), ['X' = ind], [a(ind, n533)]).
step(a(ind, n533), rule(1601), ['X' = ind], [a(ind, n532)]).
step(a(ind, n532), rule(1598), ['X' = ind], [a(ind, n531)]).
step(a(ind, n531), rule(1595), ['X' = ind], [a(ind, n530)]).
step(a(ind, n530), rule(1592), ['X' = ind], [a(ind, n529)]).
step(a(ind, n529), rule(1589), ['X' = ind], [a(ind, n528)]).
step(a(ind, n528), rule(1586), ['X' = ind], [a(ind, n527)]).
step(a(ind, n527), rule(1583), ['X' = ind], [a(ind, n526)]).
step(a(ind, n526), rule(1580), ['X' = ind], [a(ind, n525)]).
step(a(ind, n525), rule(1577), ['X' = ind], [a(ind, n524)]).
step(a(ind, n524), rule(1574), ['X' = ind], [a(ind, n523)]).
step(a(ind, n523), rule(1571), ['X' = ind], [a(ind, n522)]).
step(a(ind, n522), rule(1568), ['X' = ind], [a(ind, n521)]).
step(a(ind, n521), rule(1565), ['X' = ind], [a(ind, n520)]).
step(a(ind, n520), rule(1562), ['X' = ind], [a(ind, n519)]).
step(a(ind, n519), rule(1559), ['X' = ind], [a(ind, n518)]).
step(a(ind, n518), rule(1556), ['X' = ind], [a(ind, n517)]).
step(a(ind, n517), rule(1553), ['X' = ind], [a(ind, n516)]).
step(a(ind, n516), rule(1550), ['X' = ind], [a(ind, n515)]).
step(a(ind, n515), rule(1547), ['X' = ind], [a(ind, n514)]).
step(a(ind, n514), rule(1544), ['X' = ind], [a(ind, n513)]).
step(a(ind, n513), rule(1541), ['X' = ind], [a(ind, n512)]).
step(a(ind, n512), rule(1538), ['X' = ind], [a(ind, n511)]).
step(a(ind, n511), rule(1535), ['X' = ind], [a(ind, n510)]).
step(a(ind, n510), rule(1532), ['X' = ind], [a(ind, n509)]).
step(a(ind, n509), rule(1529), ['X' = ind], [a(ind, n508)]).
step(a(ind, n508), rule(1526), ['X' = ind], [a(ind, n507)]).
step(a(ind, n507), rule(1523), ['X' = ind], [a(ind, n506)]).
step(a(ind, n506), rule(1520), ['X' = ind], [a(ind, n505)]).
step(a(ind, n505), rule(1517), ['X' = ind], [a(ind, n504)]).
step(a(ind, n504), rule(1514), ['X' = ind], [a(ind, n503)]).
step(a(ind, n503), rule(1511), ['X' = ind], [a(ind, n502)]).
step(a(ind, n502), rule(1508), ['X' = ind], [a(ind, n501)]).
step(a(ind, n501), rule(1505), ['X' = ind], [a(ind, n500)]).
step(a(ind, n500), rule(1502), ['X' = ind], [a(ind, n499)]).
step(a(ind, n499), rule(1499), ['X' = ind], [a(ind, n498)]).
step(a(ind, n498), rule(1496), ['X' = ind], [a(ind, n497)]).
step(a(ind, n497), rule(1493), ['X' = ind], [a(ind, n496)]).
step(a(ind, n496), rule(1490), ['X' = ind], [a(ind, n495)]).
step(a(ind, n495), rule(1487), ['X' = ind], [a(ind, n494)]).
step(a(ind, n494), rule(1484), ['X' = ind], [a(ind, n493)]).
step(a(ind, n493), rule(1481), ['X' = ind], [a(ind, n492)]).
step(a(ind, n492), rule(1478), ['X' = ind], [a(ind, n491)]).
step(a(ind, n491), rule(1475), ['X' = ind], [a(ind, n490)]).
step(a(ind, n490), rule(1472), ['X' = ind], [a(ind, n489)]).
step(a(ind, n489), rule(1469), ['X' = ind], [a(ind, n488)]).
step(a(ind, n488), rule(1466), ['X' = ind], [a(ind, n487)]).
step(a(ind, n487), rule(1463), ['X' = ind], [a(ind, n486)]).
step(a(ind, n486), rule(1460), ['X' = ind], [a(ind, n485)]).
step(a(ind, n485), rule(1457), ['X' = ind], [a(ind, n484)]).
step(a(ind, n484), rule(1454), ['X' = ind], [a(ind, n483)]).
step(a(ind, n483), rule(1451), ['X' = ind], [a(ind, n482)]).
step(a(ind, n482), rule(1448), ['X' = ind], [a(ind, n481)]).
step(a(ind, n481), rule(1445), ['X' = ind], [a(ind, n480)]).
step(a(ind, n480), rule(1442), ['X' = ind], [a(ind, n479)]).
step(a(ind, n479), rule(1439), ['X' = ind], [a(ind, n478)]).
step(a(ind, n478), rule(1436), ['X' = ind], [a(ind, n477)]).
step(a(ind, n477), rule(1433), ['X' = ind], [a(ind, n476)]).
step(a(ind, n476), rule(1430), ['X' = ind], [a(ind, n475)]).
step(a(ind, n475), rule(1427), ['X' = ind], [a(ind, n474)]).
step(a(ind, n474), rule(1424), ['X' = ind], [a(ind, n473)]).
step(a(ind, n473), rule(1421), ['X' = ind], [a(ind, n472)]).
step(a(ind, n472), rule(1418), ['X' = ind], [a(ind, n471)]).
step(a(ind, n471), rule(1415), ['X' = ind], [a(ind, n470)]).
step(a(ind, n470), rule(1412), ['X' = ind], [a(ind, n469)]).
step(a(ind, n469), rule(1409), ['X' = ind], [a(ind, n468)]).
step(a(ind, n468), rule(1406), ['X' = ind], [a(ind, n467)]).
step(a(ind, n467), rule(1403), ['X' = ind], [a(ind, n466)]).
step(a(ind, n466), rule(1400), ['X' = ind], [a(ind, n465)]).
step(a(ind, n465), rule(1397), ['X' = ind], [a(ind, n464)]).
step(a(ind, n464), rule(1394), ['X' = ind], [a(ind, n463)]).
step(a(ind, n463), rule(1391), ['X' = ind], [a(ind, n462)]).
step(a(ind, n462), rule(1388), ['X' = ind], [a(ind, n461)]).
step(a(ind, n461), rule(1385), ['X' = ind], [a(ind, n460)]).
step(a(ind, n460), rule(1382), ['X' = ind], [a(ind, n459)]).
step(a(ind, n459), rule(1379), ['X' = ind], [a(ind, n458)]).
step(a(ind, n458), rule(1376), ['X' = ind], [a(ind, n457)]).
step(a(ind, n457), rule(1373), ['X' = ind], [a(ind, n456)]).
step(a(ind, n456), rule(1370), ['X' = ind], [a(ind, n455)]).
step(a(ind, n455), rule(1367), ['X' = ind], [a(ind, n454)]).
step(a(ind, n454), rule(1364), ['X' = ind], [a(ind, n453)]).
step(a(ind, n453), rule(1361), ['X' = ind], [a(ind, n452)]).
step(a(ind, n452), rule(1358), ['X' = ind], [a(ind, n451)]).
step(a(ind, n451), rule(1355), ['X' = ind], [a(ind, n450)]).
step(a(ind, n450), rule(1352), ['X' = ind], [a(ind, n449)]).
step(a(ind, n449), rule(1349), ['X' = ind], [a(ind, n448)]).
step(a(ind, n448), rule(1346), ['X' = ind], [a(ind, n447)]).
step(a(ind, n447), rule(1343), ['X' = ind], [a(ind, n446)]).
step(a(ind, n446), rule(1340), ['X' = ind], [a(ind, n445)]).
step(a(ind, n445), rule(1337), ['X' = ind], [a(ind, n444)]).
step(a(ind, n444), rule(1334), ['X' = ind], [a(ind, n443)]).
step(a(ind, n443), rule(1331), ['X' = ind], [a(ind, n442)]).
step(a(ind, n442), rule(1328), ['X' = ind], [a(ind, n441)]).
step(a(ind, n441), rule(1325), ['X' = ind], [a(ind, n440)]).
step(a(ind, n440), rule(1322), ['X' = ind], [a(ind, n439)]).
step(a(ind, n439), rule(1319), ['X' = ind], [a(ind, n438)]).
step(a(ind, n438), rule(1316), ['X' = ind], [a(ind, n437)]).
step(a(ind, n437), rule(1313), ['X' = ind], [a(ind, n436)]).
step(a(ind, n436), rule(1310), ['X' = ind], [a(ind, n435)]).
step(a(ind, n435), rule(1307), ['X' = ind], [a(ind, n434)]).
step(a(ind, n434), rule(1304), ['X' = ind], [a(ind, n433)]).
step(a(ind, n433), rule(1301), ['X' = ind], [a(ind, n432)]).
step(a(ind, n432), rule(1298), ['X' = ind], [a(ind, n431)]).
step(a(ind, n431), rule(1295), ['X' = ind], [a(ind, n430)]).
step(a(ind, n430), rule(1292), ['X' = ind], [a(ind, n429)]).
step(a(ind, n429), rule(1289), ['X' = ind], [a(ind, n428)]).
step(a(ind, n428), rule(1286), ['X' = ind], [a(ind, n427)]).
step(a(ind, n427), rule(1283), ['X' = ind], [a(ind, n426)]).
step(a(ind, n426), rule(1280), ['X' = ind], [a(ind, n425)]).
step(a(ind, n425), rule(1277), ['X' = ind], [a(ind, n424)]).
step(a(ind, n424), rule(1274), ['X' = ind], [a(ind, n423)]).
step(a(ind, n423), rule(1271), ['X' = ind], [a(ind, n422)]).
step(a(ind, n422), rule(1268), ['X' = ind], [a(ind, n421)]).
step(a(ind, n421), rule(1265), ['X' = ind], [a(ind, n420)]).
step(a(ind, n420), rule(1262), ['X' = ind], [a(ind, n419)]).
step(a(ind, n419), rule(1259), ['X' = ind], [a(ind, n418)]).
step(a(ind, n418), rule(1256), ['X' = ind], [a(ind, n417)]).
step(a(ind, n417), rule(1253), ['X' = ind], [a(ind, n416)]).
step(a(ind, n416), rule(1250), ['X' = ind], [a(ind, n415)]).
step(a(ind, n415), rule(1247), ['X' = ind], [a(ind, n414)]).
step(a(ind, n414), rule(1244), ['X' = ind], [a(ind, n413)]).
step(a(ind, n413), rule(1241), ['X' = ind], [a(ind, n412)]).
step(a(ind, n412), rule(1238), ['X' = ind], [a(ind, n411)]).
step(a(ind, n411), rule(1235), ['X' = ind], [a(ind, n410)]).
step(a(ind, n410), rule(1232), ['X' = ind], [a(ind, n409)]).
step(a(ind, n409), rule(1229), ['X' = ind], [a(ind, n408)]).
step(a(ind, n408), rule(1226), ['X' = ind], [a(ind, n407)]).
step(a(ind, n407), rule(1223), ['X' = ind], [a(ind, n406)]).
step(a(ind, n406), rule(1220), ['X' = ind], [a(ind, n405)]).
step(a(ind, n405), rule(1217), ['X' = ind], [a(ind, n404)]).
step(a(ind, n404), rule(1214), ['X' = ind], [a(ind, n403)]).
step(a(ind, n403), rule(1211), ['X' = ind], [a(ind, n402)]).
step(a(ind, n402), rule(1208), ['X' = ind], [a(ind, n401)]).
step(a(ind, n401), rule(1205), ['X' = ind], [a(ind, n400)]).
step(a(ind, n400), rule(1202), ['X' = ind], [a(ind, n399)]).
step(a(ind, n399), rule(1199), ['X' = ind], [a(ind, n398)]).
step(a(ind, n398), rule(1196), ['X' = ind], [a(ind, n397)]).
step(a(ind, n397), rule(1193), ['X' = ind], [a(ind, n396)]).
step(a(ind, n396), rule(1190), ['X' = ind], [a(ind, n395)]).
step(a(ind, n395), rule(1187), ['X' = ind], [a(ind, n394)]).
step(a(ind, n394), rule(1184), ['X' = ind], [a(ind, n393)]).
step(a(ind, n393), rule(1181), ['X' = ind], [a(ind, n392)]).
step(a(ind, n392), rule(1178), ['X' = ind], [a(ind, n391)]).
step(a(ind, n391), rule(1175), ['X' = ind], [a(ind, n390)]).
step(a(ind, n390), rule(1172), ['X' = ind], [a(ind, n389)]).
step(a(ind, n389), rule(1169), ['X' = ind], [a(ind, n388)]).
step(a(ind, n388), rule(1166), ['X' = ind], [a(ind, n387)]).
step(a(ind, n387), rule(1163), ['X' = ind], [a(ind, n386)]).
step(a(ind, n386), rule(1160), ['X' = ind], [a(ind, n385)]).
step(a(ind, n385), rule(1157), ['X' = ind], [a(ind, n384)]).
step(a(ind, n384), rule(1154), ['X' = ind], [a(ind, n383)]).
step(a(ind, n383), rule(1151), ['X' = ind], [a(ind, n382)]).
step(a(ind, n382), rule(1148), ['X' = ind], [a(ind, n381)]).
step(a(ind, n381), rule(1145), ['X' = ind], [a(ind, n380)]).
step(a(ind, n380), rule(1142), ['X' = ind], [a(ind, n379)]).
step(a(ind, n379), rule(1139), ['X' = ind], [a(ind, n378)]).
step(a(ind, n378), rule(1136), ['X' = ind], [a(ind, n377)]).
step(a(ind, n377), rule(1133), ['X' = ind], [a(ind, n376)]).
step(a(ind, n376), rule(1130), ['X' = ind], [a(ind, n375)]).
step(a(ind, n375), rule(1127), ['X' = ind], [a(ind, n374)]).
step(a(ind, n374), rule(1124), ['X' = ind], [a(ind, n373)]).
step(a(ind, n373), rule(1121), ['X' = ind], [a(ind, n372)]).
step(a(ind, n372), rule(1118), ['X' = ind], [a(ind, n371)]).
step(a(ind, n371), rule(1115), ['X' = ind], [a(ind, n370)]).
step(a(ind, n370), rule(1112), ['X' = ind], [a(ind, n369)]).
step(a(ind, n369), rule(1109), ['X' = ind], [a(ind, n368)]).
step(a(ind, n368), rule(1106), ['X' = ind], [a(ind, n367)]).
step(a(ind, n367), rule(1103), ['X' = ind], [a(ind, n366)]).
step(a(ind, n366), rule(1100), ['X' = ind], [a(ind, n365)]).
step(a(ind, n365), rule(1097), ['X' = ind], [a(ind, n364)]).
step(a(ind, n364), rule(1094), ['X' = ind], [a(ind, n363)]).
step(a(ind, n363), rule(1091), ['X' = ind], [a(ind, n362)]).
step(a(ind, n362), rule(1088), ['X' = ind], [a(ind, n361)]).
step(a(ind, n361), rule(1085), ['X' = ind], [a(ind, n360)]).
step(a(ind, n360), rule(1082), ['X' = ind], [a(ind, n359)]).
step(a(ind, n359), rule(1079), ['X' = ind], [a(ind, n358)]).
step(a(ind, n358), rule(1076), ['X' = ind], [a(ind, n357)]).
step(a(ind, n357), rule(1073), ['X' = ind], [a(ind, n356)]).
step(a(ind, n356), rule(1070), ['X' = ind], [a(ind, n355)]).
step(a(ind, n355), rule(1067), ['X' = ind], [a(ind, n354)]).
step(a(ind, n354), rule(1064), ['X' = ind], [a(ind, n353)]).
step(a(ind, n353), rule(1061), ['X' = ind], [a(ind, n352)]).
step(a(ind, n352), rule(1058), ['X' = ind], [a(ind, n351)]).
step(a(ind, n351), rule(1055), ['X' = ind], [a(ind, n350)]).
step(a(ind, n350), rule(1052), ['X' = ind], [a(ind, n349)]).
step(a(ind, n349), rule(1049), ['X' = ind], [a(ind, n348)]).
step(a(ind, n348), rule(1046), ['X' = ind], [a(ind, n347)]).
step(a(ind, n347), rule(1043), ['X' = ind], [a(ind, n346)]).
step(a(ind, n346), rule(1040), ['X' = ind], [a(ind, n345)]).
step(a(ind, n345), rule(1037), ['X' = ind], [a(ind, n344)]).
step(a(ind, n344), rule(1034), ['X' = ind], [a(ind, n343)]).
step(a(ind, n343), rule(1031), ['X' = ind], [a(ind, n342)]).
step(a(ind, n342), rule(1028), ['X' = ind], [a(ind, n341)]).
step(a(ind, n341), rule(1025), ['X' = ind], [a(ind, n340)]).
step(a(ind, n340), rule(1022), ['X' = ind], [a(ind, n339)]).
step(a(ind, n339), rule(1019), ['X' = ind], [a(ind, n338)]).
step(a(ind, n338), rule(1016), ['X' = ind], [a(ind, n337)]).
step(a(ind, n337), rule(1013), ['X' = ind], [a(ind, n336)]).
step(a(ind, n336), rule(1010), ['X' = ind], [a(ind, n335)]).
step(a(ind, n335), rule(1007), ['X' = ind], [a(ind, n334)]).
step(a(ind, n334), rule(1004), ['X' = ind], [a(ind, n333)]).
step(a(ind, n333), rule(1001), ['X' = ind], [a(ind, n332)]).
step(a(ind, n332), rule(998), ['X' = ind], [a(ind, n331)]).
step(a(ind, n331), rule(995), ['X' = ind], [a(ind, n330)]).
step(a(ind, n330), rule(992), ['X' = ind], [a(ind, n329)]).
step(a(ind, n329), rule(989), ['X' = ind], [a(ind, n328)]).
step(a(ind, n328), rule(986), ['X' = ind], [a(ind, n327)]).
step(a(ind, n327), rule(983), ['X' = ind], [a(ind, n326)]).
step(a(ind, n326), rule(980), ['X' = ind], [a(ind, n325)]).
step(a(ind, n325), rule(977), ['X' = ind], [a(ind, n324)]).
step(a(ind, n324), rule(974), ['X' = ind], [a(ind, n323)]).
step(a(ind, n323), rule(971), ['X' = ind], [a(ind, n322)]).
step(a(ind, n322), rule(968), ['X' = ind], [a(ind, n321)]).
step(a(ind, n321), rule(965), ['X' = ind], [a(ind, n320)]).
step(a(ind, n320), rule(962), ['X' = ind], [a(ind, n319)]).
step(a(ind, n319), rule(959), ['X' = ind], [a(ind, n318)]).
step(a(ind, n318), rule(956), ['X' = ind], [a(ind, n317)]).
step(a(ind, n317), rule(953), ['X' = ind], [a(ind, n316)]).
step(a(ind, n316), rule(950), ['X' = ind], [a(ind, n315)]).
step(a(ind, n315), rule(947), ['X' = ind], [a(ind, n314)]).
step(a(ind, n314), rule(944), ['X' = ind], [a(ind, n313)]).
step(a(ind, n313), rule(941), ['X' = ind], [a(ind, n312)]).
step(a(ind, n312), rule(938), ['X' = ind], [a(ind, n311)]).
step(a(ind, n311), rule(935), ['X' = ind], [a(ind, n310)]).
step(a(ind, n310), rule(932), ['X' = ind], [a(ind, n309)]).
step(a(ind, n309), rule(929), ['X' = ind], [a(ind, n308)]).
step(a(ind, n308), rule(926), ['X' = ind], [a(ind, n307)]).
step(a(ind, n307), rule(923), ['X' = ind], [a(ind, n306)]).
step(a(ind, n306), rule(920), ['X' = ind], [a(ind, n305)]).
step(a(ind, n305), rule(917), ['X' = ind], [a(ind, n304)]).
step(a(ind, n304), rule(914), ['X' = ind], [a(ind, n303)]).
step(a(ind, n303), rule(911), ['X' = ind], [a(ind, n302)]).
step(a(ind, n302), rule(908), ['X' = ind], [a(ind, n301)]).
step(a(ind, n301), rule(905), ['X' = ind], [a(ind, n300)]).
step(a(ind, n300), rule(902), ['X' = ind], [a(ind, n299)]).
step(a(ind, n299), rule(899), ['X' = ind], [a(ind, n298)]).
step(a(ind, n298), rule(896), ['X' = ind], [a(ind, n297)]).
step(a(ind, n297), rule(893), ['X' = ind], [a(ind, n296)]).
step(a(ind, n296), rule(890), ['X' = ind], [a(ind, n295)]).
step(a(ind, n295), rule(887), ['X' = ind], [a(ind, n294)]).
step(a(ind, n294), rule(884), ['X' = ind], [a(ind, n293)]).
step(a(ind, n293), rule(881), ['X' = ind], [a(ind, n292)]).
step(a(ind, n292), rule(878), ['X' = ind], [a(ind, n291)]).
step(a(ind, n291), rule(875), ['X' = ind], [a(ind, n290)]).
step(a(ind, n290), rule(872), ['X' = ind], [a(ind, n289)]).
step(a(ind, n289), rule(869), ['X' = ind], [a(ind, n288)]).
step(a(ind, n288), rule(866), ['X' = ind], [a(ind, n287)]).
step(a(ind, n287), rule(863), ['X' = ind], [a(ind, n286)]).
step(a(ind, n286), rule(860), ['X' = ind], [a(ind, n285)]).
step(a(ind, n285), rule(857), ['X' = ind], [a(ind, n284)]).
step(a(ind, n284), rule(854), ['X' = ind], [a(ind, n283)]).
step(a(ind, n283), rule(851), ['X' = ind], [a(ind, n282)]).
step(a(ind, n282), rule(848), ['X' = ind], [a(ind, n281)]).
step(a(ind, n281), rule(845), ['X' = ind], [a(ind, n280)]).
step(a(ind, n280), rule(842), ['X' = ind], [a(ind, n279)]).
step(a(ind, n279), rule(839), ['X' = ind], [a(ind, n278)]).
step(a(ind, n278), rule(836), ['X' = ind], [a(ind, n277)]).
step(a(ind, n277), rule(833), ['X' = ind], [a(ind, n276)]).
step(a(ind, n276), rule(830), ['X' = ind], [a(ind, n275)]).
step(a(ind, n275), rule(827), ['X' = ind], [a(ind, n274)]).
step(a(ind, n274), rule(824), ['X' = ind], [a(ind, n273)]).
step(a(ind, n273), rule(821), ['X' = ind], [a(ind, n272)]).
step(a(ind, n272), rule(818), ['X' = ind], [a(ind, n271)]).
step(a(ind, n271), rule(815), ['X' = ind], [a(ind, n270)]).
step(a(ind, n270), rule(812), ['X' = ind], [a(ind, n269)]).
step(a(ind, n269), rule(809), ['X' = ind], [a(ind, n268)]).
step(a(ind, n268), rule(806), ['X' = ind], [a(ind, n267)]).
step(a(ind, n267), rule(803), ['X' = ind], [a(ind, n266)]).
step(a(ind, n266), rule(800), ['X' = ind], [a(ind, n265)]).
step(a(ind, n265), rule(797), ['X' = ind], [a(ind, n264)]).
step(a(ind, n264), rule(794), ['X' = ind], [a(ind, n263)]).
step(a(ind, n263), rule(791), ['X' = ind], [a(ind, n262)]).
step(a(ind, n262), rule(788), ['X' = ind], [a(ind, n261)]).
step(a(ind, n261), rule(785), ['X' = ind], [a(ind, n260)]).
step(a(ind, n260), rule(782), ['X' = ind], [a(ind, n259)]).
step(a(ind, n259), rule(779), ['X' = ind], [a(ind, n258)]).
step(a(ind, n258), rule(776), ['X' = ind], [a(ind, n257)]).
step(a(ind, n257), rule(773), ['X' = ind], [a(ind, n256)]).
step(a(ind, n256), rule(770), ['X' = ind], [a(ind, n255)]).
step(a(ind, n255), rule(767), ['X' = ind], [a(ind, n254)]).
step(a(ind, n254), rule(764), ['X' = ind], [a(ind, n253)]).
step(a(ind, n253), rule(761), ['X' = ind], [a(ind, n252)]).
step(a(ind, n252), rule(758), ['X' = ind], [a(ind, n251)]).
step(a(ind, n251), rule(755), ['X' = ind], [a(ind, n250)]).
step(a(ind, n250), rule(752), ['X' = ind], [a(ind, n249)]).
step(a(ind, n249), rule(749), ['X' = ind], [a(ind, n248)]).
step(a(ind, n248), rule(746), ['X' = ind], [a(ind, n247)]).
step(a(ind, n247), rule(743), ['X' = ind], [a(ind, n246)]).
step(a(ind, n246), rule(740), ['X' = ind], [a(ind, n245)]).
step(a(ind, n245), rule(737), ['X' = ind], [a(ind, n244)]).
step(a(ind, n244), rule(734), ['X' = ind], [a(ind, n243)]).
step(a(ind, n243), rule(731), ['X' = ind], [a(ind, n242)]).
step(a(ind, n242), rule(728), ['X' = ind], [a(ind, n241)]).
step(a(ind, n241), rule(725), ['X' = ind], [a(ind, n240)]).
step(a(ind, n240), rule(722), ['X' = ind], [a(ind, n239)]).
step(a(ind, n239), rule(719), ['X' = ind], [a(ind, n238)]).
step(a(ind, n238), rule(716), ['X' = ind], [a(ind, n237)]).
step(a(ind, n237), rule(713), ['X' = ind], [a(ind, n236)]).
step(a(ind, n236), rule(710), ['X' = ind], [a(ind, n235)]).
step(a(ind, n235), rule(707), ['X' = ind], [a(ind, n234)]).
step(a(ind, n234), rule(704), ['X' = ind], [a(ind, n233)]).
step(a(ind, n233), rule(701), ['X' = ind], [a(ind, n232)]).
step(a(ind, n232), rule(698), ['X' = ind], [a(ind, n231)]).
step(a(ind, n231), rule(695), ['X' = ind], [a(ind, n230)]).
step(a(ind, n230), rule(692), ['X' = ind], [a(ind, n229)]).
step(a(ind, n229), rule(689), ['X' = ind], [a(ind, n228)]).
step(a(ind, n228), rule(686), ['X' = ind], [a(ind, n227)]).
step(a(ind, n227), rule(683), ['X' = ind], [a(ind, n226)]).
step(a(ind, n226), rule(680), ['X' = ind], [a(ind, n225)]).
step(a(ind, n225), rule(677), ['X' = ind], [a(ind, n224)]).
step(a(ind, n224), rule(674), ['X' = ind], [a(ind, n223)]).
step(a(ind, n223), rule(671), ['X' = ind], [a(ind, n222)]).
step(a(ind, n222), rule(668), ['X' = ind], [a(ind, n221)]).
step(a(ind, n221), rule(665), ['X' = ind], [a(ind, n220)]).
step(a(ind, n220), rule(662), ['X' = ind], [a(ind, n219)]).
step(a(ind, n219), rule(659), ['X' = ind], [a(ind, n218)]).
step(a(ind, n218), rule(656), ['X' = ind], [a(ind, n217)]).
step(a(ind, n217), rule(653), ['X' = ind], [a(ind, n216)]).
step(a(ind, n216), rule(650), ['X' = ind], [a(ind, n215)]).
step(a(ind, n215), rule(647), ['X' = ind], [a(ind, n214)]).
step(a(ind, n214), rule(644), ['X' = ind], [a(ind, n213)]).
step(a(ind, n213), rule(641), ['X' = ind], [a(ind, n212)]).
step(a(ind, n212), rule(638), ['X' = ind], [a(ind, n211)]).
step(a(ind, n211), rule(635), ['X' = ind], [a(ind, n210)]).
step(a(ind, n210), rule(632), ['X' = ind], [a(ind, n209)]).
step(a(ind, n209), rule(629), ['X' = ind], [a(ind, n208)]).
step(a(ind, n208), rule(626), ['X' = ind], [a(ind, n207)]).
step(a(ind, n207), rule(623), ['X' = ind], [a(ind, n206)]).
step(a(ind, n206), rule(620), ['X' = ind], [a(ind, n205)]).
step(a(ind, n205), rule(617), ['X' = ind], [a(ind, n204)]).
step(a(ind, n204), rule(614), ['X' = ind], [a(ind, n203)]).
step(a(ind, n203), rule(611), ['X' = ind], [a(ind, n202)]).
step(a(ind, n202), rule(608), ['X' = ind], [a(ind, n201)]).
step(a(ind, n201), rule(605), ['X' = ind], [a(ind, n200)]).
step(a(ind, n200), rule(602), ['X' = ind], [a(ind, n199)]).
step(a(ind, n199), rule(599), ['X' = ind], [a(ind, n198)]).
step(a(ind, n198), rule(596), ['X' = ind], [a(ind, n197)]).
step(a(ind, n197), rule(593), ['X' = ind], [a(ind, n196)]).
step(a(ind, n196), rule(590), ['X' = ind], [a(ind, n195)]).
step(a(ind, n195), rule(587), ['X' = ind], [a(ind, n194)]).
step(a(ind, n194), rule(584), ['X' = ind], [a(ind, n193)]).
step(a(ind, n193), rule(581), ['X' = ind], [a(ind, n192)]).
step(a(ind, n192), rule(578), ['X' = ind], [a(ind, n191)]).
step(a(ind, n191), rule(575), ['X' = ind], [a(ind, n190)]).
step(a(ind, n190), rule(572), ['X' = ind], [a(ind, n189)]).
step(a(ind, n189), rule(569), ['X' = ind], [a(ind, n188)]).
step(a(ind, n188), rule(566), ['X' = ind], [a(ind, n187)]).
step(a(ind, n187), rule(563), ['X' = ind], [a(ind, n186)]).
step(a(ind, n186), rule(560), ['X' = ind], [a(ind, n185)]).
step(a(ind, n185), rule(557), ['X' = ind], [a(ind, n184)]).
step(a(ind, n184), rule(554), ['X' = ind], [a(ind, n183)]).
step(a(ind, n183), rule(551), ['X' = ind], [a(ind, n182)]).
step(a(ind, n182), rule(548), ['X' = ind], [a(ind, n181)]).
step(a(ind, n181), rule(545), ['X' = ind], [a(ind, n180)]).
step(a(ind, n180), rule(542), ['X' = ind], [a(ind, n179)]).
step(a(ind, n179), rule(539), ['X' = ind], [a(ind, n178)]).
step(a(ind, n178), rule(536), ['X' = ind], [a(ind, n177)]).
step(a(ind, n177), rule(533), ['X' = ind], [a(ind, n176)]).
step(a(ind, n176), rule(530), ['X' = ind], [a(ind, n175)]).
step(a(ind, n175), rule(527), ['X' = ind], [a(ind, n174)]).
step(a(ind, n174), rule(524), ['X' = ind], [a(ind, n173)]).
step(a(ind, n173), rule(521), ['X' = ind], [a(ind, n172)]).
step(a(ind, n172), rule(518), ['X' = ind], [a(ind, n171)]).
step(a(ind, n171), rule(515), ['X' = ind], [a(ind, n170)]).
step(a(ind, n170), rule(512), ['X' = ind], [a(ind, n169)]).
step(a(ind, n169), rule(509), ['X' = ind], [a(ind, n168)]).
step(a(ind, n168), rule(506), ['X' = ind], [a(ind, n167)]).
step(a(ind, n167), rule(503), ['X' = ind], [a(ind, n166)]).
step(a(ind, n166), rule(500), ['X' = ind], [a(ind, n165)]).
step(a(ind, n165), rule(497), ['X' = ind], [a(ind, n164)]).
step(a(ind, n164), rule(494), ['X' = ind], [a(ind, n163)]).
step(a(ind, n163), rule(491), ['X' = ind], [a(ind, n162)]).
step(a(ind, n162), rule(488), ['X' = ind], [a(ind, n161)]).
step(a(ind, n161), rule(485), ['X' = ind], [a(ind, n160)]).
step(a(ind, n160), rule(482), ['X' = ind], [a(ind, n159)]).
step(a(ind, n159), rule(479), ['X' = ind], [a(ind, n158)]).
step(a(ind, n158), rule(476), ['X' = ind], [a(ind, n157)]).
step(a(ind, n157), rule(473), ['X' = ind], [a(ind, n156)]).
step(a(ind, n156), rule(470), ['X' = ind], [a(ind, n155)]).
step(a(ind, n155), rule(467), ['X' = ind], [a(ind, n154)]).
step(a(ind, n154), rule(464), ['X' = ind], [a(ind, n153)]).
step(a(ind, n153), rule(461), ['X' = ind], [a(ind, n152)]).
step(a(ind, n152), rule(458), ['X' = ind], [a(ind, n151)]).
step(a(ind, n151), rule(455), ['X' = ind], [a(ind, n150)]).
step(a(ind, n150), rule(452), ['X' = ind], [a(ind, n149)]).
step(a(ind, n149), rule(449), ['X' = ind], [a(ind, n148)]).
step(a(ind, n148), rule(446), ['X' = ind], [a(ind, n147)]).
step(a(ind, n147), rule(443), ['X' = ind], [a(ind, n146)]).
step(a(ind, n146), rule(440), ['X' = ind], [a(ind, n145)]).
step(a(ind, n145), rule(437), ['X' = ind], [a(ind, n144)]).
step(a(ind, n144), rule(434), ['X' = ind], [a(ind, n143)]).
step(a(ind, n143), rule(431), ['X' = ind], [a(ind, n142)]).
step(a(ind, n142), rule(428), ['X' = ind], [a(ind, n141)]).
step(a(ind, n141), rule(425), ['X' = ind], [a(ind, n140)]).
step(a(ind, n140), rule(422), ['X' = ind], [a(ind, n139)]).
step(a(ind, n139), rule(419), ['X' = ind], [a(ind, n138)]).
step(a(ind, n138), rule(416), ['X' = ind], [a(ind, n137)]).
step(a(ind, n137), rule(413), ['X' = ind], [a(ind, n136)]).
step(a(ind, n136), rule(410), ['X' = ind], [a(ind, n135)]).
step(a(ind, n135), rule(407), ['X' = ind], [a(ind, n134)]).
step(a(ind, n134), rule(404), ['X' = ind], [a(ind, n133)]).
step(a(ind, n133), rule(401), ['X' = ind], [a(ind, n132)]).
step(a(ind, n132), rule(398), ['X' = ind], [a(ind, n131)]).
step(a(ind, n131), rule(395), ['X' = ind], [a(ind, n130)]).
step(a(ind, n130), rule(392), ['X' = ind], [a(ind, n129)]).
step(a(ind, n129), rule(389), ['X' = ind], [a(ind, n128)]).
step(a(ind, n128), rule(386), ['X' = ind], [a(ind, n127)]).
step(a(ind, n127), rule(383), ['X' = ind], [a(ind, n126)]).
step(a(ind, n126), rule(380), ['X' = ind], [a(ind, n125)]).
step(a(ind, n125), rule(377), ['X' = ind], [a(ind, n124)]).
step(a(ind, n124), rule(374), ['X' = ind], [a(ind, n123)]).
step(a(ind, n123), rule(371), ['X' = ind], [a(ind, n122)]).
step(a(ind, n122), rule(368), ['X' = ind], [a(ind, n121)]).
step(a(ind, n121), rule(365), ['X' = ind], [a(ind, n120)]).
step(a(ind, n120), rule(362), ['X' = ind], [a(ind, n119)]).
step(a(ind, n119), rule(359), ['X' = ind], [a(ind, n118)]).
step(a(ind, n118), rule(356), ['X' = ind], [a(ind, n117)]).
step(a(ind, n117), rule(353), ['X' = ind], [a(ind, n116)]).
step(a(ind, n116), rule(350), ['X' = ind], [a(ind, n115)]).
step(a(ind, n115), rule(347), ['X' = ind], [a(ind, n114)]).
step(a(ind, n114), rule(344), ['X' = ind], [a(ind, n113)]).
step(a(ind, n113), rule(341), ['X' = ind], [a(ind, n112)]).
step(a(ind, n112), rule(338), ['X' = ind], [a(ind, n111)]).
step(a(ind, n111), rule(335), ['X' = ind], [a(ind, n110)]).
step(a(ind, n110), rule(332), ['X' = ind], [a(ind, n109)]).
step(a(ind, n109), rule(329), ['X' = ind], [a(ind, n108)]).
step(a(ind, n108), rule(326), ['X' = ind], [a(ind, n107)]).
step(a(ind, n107), rule(323), ['X' = ind], [a(ind, n106)]).
step(a(ind, n106), rule(320), ['X' = ind], [a(ind, n105)]).
step(a(ind, n105), rule(317), ['X' = ind], [a(ind, n104)]).
step(a(ind, n104), rule(314), ['X' = ind], [a(ind, n103)]).
step(a(ind, n103), rule(311), ['X' = ind], [a(ind, n102)]).
step(a(ind, n102), rule(308), ['X' = ind], [a(ind, n101)]).
step(a(ind, n101), rule(305), ['X' = ind], [a(ind, n100)]).
step(a(ind, n100), rule(302), ['X' = ind], [a(ind, n99)]).
step(a(ind, n99), rule(299), ['X' = ind], [a(ind, n98)]).
step(a(ind, n98), rule(296), ['X' = ind], [a(ind, n97)]).
step(a(ind, n97), rule(293), ['X' = ind], [a(ind, n96)]).
step(a(ind, n96), rule(290), ['X' = ind], [a(ind, n95)]).
step(a(ind, n95), rule(287), ['X' = ind], [a(ind, n94)]).
step(a(ind, n94), rule(284), ['X' = ind], [a(ind, n93)]).
step(a(ind, n93), rule(281), ['X' = ind], [a(ind, n92)]).
step(a(ind, n92), rule(278), ['X' = ind], [a(ind, n91)]).
step(a(ind, n91), rule(275), ['X' = ind], [a(ind, n90)]).
step(a(ind, n90), rule(272), ['X' = ind], [a(ind, n89)]).
step(a(ind, n89), rule(269), ['X' = ind], [a(ind, n88)]).
step(a(ind, n88), rule(266), ['X' = ind], [a(ind, n87)]).
step(a(ind, n87), rule(263), ['X' = ind], [a(ind, n86)]).
step(a(ind, n86), rule(260), ['X' = ind], [a(ind, n85)]).
step(a(ind, n85), rule(257), ['X' = ind], [a(ind, n84)]).
step(a(ind, n84), rule(254), ['X' = ind], [a(ind, n83)]).
step(a(ind, n83), rule(251), ['X' = ind], [a(ind, n82)]).
step(a(ind, n82), rule(248), ['X' = ind], [a(ind, n81)]).
step(a(ind, n81), rule(245), ['X' = ind], [a(ind, n80)]).
step(a(ind, n80), rule(242), ['X' = ind], [a(ind, n79)]).
step(a(ind, n79), rule(239), ['X' = ind], [a(ind, n78)]).
step(a(ind, n78), rule(236), ['X' = ind], [a(ind, n77)]).
step(a(ind, n77), rule(233), ['X' = ind], [a(ind, n76)]).
step(a(ind, n76), rule(230), ['X' = ind], [a(ind, n75)]).
step(a(ind, n75), rule(227), ['X' = ind], [a(ind, n74)]).
step(a(ind, n74), rule(224), ['X' = ind], [a(ind, n73)]).
step(a(ind, n73), rule(221), ['X' = ind], [a(ind, n72)]).
step(a(ind, n72), rule(218), ['X' = ind], [a(ind, n71)]).
step(a(ind, n71), rule(215), ['X' = ind], [a(ind, n70)]).
step(a(ind, n70), rule(212), ['X' = ind], [a(ind, n69)]).
step(a(ind, n69), rule(209), ['X' = ind], [a(ind, n68)]).
step(a(ind, n68), rule(206), ['X' = ind], [a(ind, n67)]).
step(a(ind, n67), rule(203), ['X' = ind], [a(ind, n66)]).
step(a(ind, n66), rule(200), ['X' = ind], [a(ind, n65)]).
step(a(ind, n65), rule(197), ['X' = ind], [a(ind, n64)]).
step(a(ind, n64), rule(194), ['X' = ind], [a(ind, n63)]).
step(a(ind, n63), rule(191), ['X' = ind], [a(ind, n62)]).
step(a(ind, n62), rule(188), ['X' = ind], [a(ind, n61)]).
step(a(ind, n61), rule(185), ['X' = ind], [a(ind, n60)]).
step(a(ind, n60), rule(182), ['X' = ind], [a(ind, n59)]).
step(a(ind, n59), rule(179), ['X' = ind], [a(ind, n58)]).
step(a(ind, n58), rule(176), ['X' = ind], [a(ind, n57)]).
step(a(ind, n57), rule(173), ['X' = ind], [a(ind, n56)]).
step(a(ind, n56), rule(170), ['X' = ind], [a(ind, n55)]).
step(a(ind, n55), rule(167), ['X' = ind], [a(ind, n54)]).
step(a(ind, n54), rule(164), ['X' = ind], [a(ind, n53)]).
step(a(ind, n53), rule(161), ['X' = ind], [a(ind, n52)]).
step(a(ind, n52), rule(158), ['X' = ind], [a(ind, n51)]).
step(a(ind, n51), rule(155), ['X' = ind], [a(ind, n50)]).
step(a(ind, n50), rule(152), ['X' = ind], [a(ind, n49)]).
step(a(ind, n49), rule(149), ['X' = ind], [a(ind, n48)]).
step(a(ind, n48), rule(146), ['X' = ind], [a(ind, n47)]).
step(a(ind, n47), rule(143), ['X' = ind], [a(ind, n46)]).
step(a(ind, n46), rule(140), ['X' = ind], [a(ind, n45)]).
step(a(ind, n45), rule(137), ['X' = ind], [a(ind, n44)]).
step(a(ind, n44), rule(134), ['X' = ind], [a(ind, n43)]).
step(a(ind, n43), rule(131), ['X' = ind], [a(ind, n42)]).
step(a(ind, n42), rule(128), ['X' = ind], [a(ind, n41)]).
step(a(ind, n41), rule(125), ['X' = ind], [a(ind, n40)]).
step(a(ind, n40), rule(122), ['X' = ind], [a(ind, n39)]).
step(a(ind, n39), rule(119), ['X' = ind], [a(ind, n38)]).
step(a(ind, n38), rule(116), ['X' = ind], [a(ind, n37)]).
step(a(ind, n37), rule(113), ['X' = ind], [a(ind, n36)]).
step(a(ind, n36), rule(110), ['X' = ind], [a(ind, n35)]).
step(a(ind, n35), rule(107), ['X' = ind], [a(ind, n34)]).
step(a(ind, n34), rule(104), ['X' = ind], [a(ind, n33)]).
step(a(ind, n33), rule(101), ['X' = ind], [a(ind, n32)]).
step(a(ind, n32), rule(98), ['X' = ind], [a(ind, n31)]).
step(a(ind, n31), rule(95), ['X' = ind], [a(ind, n30)]).
step(a(ind, n30), rule(92), ['X' = ind], [a(ind, n29)]).
step(a(ind, n29), rule(89), ['X' = ind], [a(ind, n28)]).
step(a(ind, n28), rule(86), ['X' = ind], [a(ind, n27)]).
step(a(ind, n27), rule(83), ['X' = ind], [a(ind, n26)]).
step(a(ind, n26), rule(80), ['X' = ind], [a(ind, n25)]).
step(a(ind, n25), rule(77), ['X' = ind], [a(ind, n24)]).
step(a(ind, n24), rule(74), ['X' = ind], [a(ind, n23)]).
step(a(ind, n23), rule(71), ['X' = ind], [a(ind, n22)]).
step(a(ind, n22), rule(68), ['X' = ind], [a(ind, n21)]).
step(a(ind, n21), rule(65), ['X' = ind], [a(ind, n20)]).
step(a(ind, n20), rule(62), ['X' = ind], [a(ind, n19)]).
step(a(ind, n19), rule(59), ['X' = ind], [a(ind, n18)]).
step(a(ind, n18), rule(56), ['X' = ind], [a(ind, n17)]).
step(a(ind, n17), rule(53), ['X' = ind], [a(ind, n16)]).
step(a(ind, n16), rule(50), ['X' = ind], [a(ind, n15)]).
step(a(ind, n15), rule(47), ['X' = ind], [a(ind, n14)]).
step(a(ind, n14), rule(44), ['X' = ind], [a(ind, n13)]).
step(a(ind, n13), rule(41), ['X' = ind], [a(ind, n12)]).
step(a(ind, n12), rule(38), ['X' = ind], [a(ind, n11)]).
step(a(ind, n11), rule(35), ['X' = ind], [a(ind, n10)]).
step(a(ind, n10), rule(32), ['X' = ind], [a(ind, n9)]).
step(a(ind, n9), rule(29), ['X' = ind], [a(ind, n8)]).
step(a(ind, n8), rule(26), ['X' = ind], [a(ind, n7)]).
step(a(ind, n7), rule(23), ['X' = ind], [a(ind, n6)]).
step(a(ind, n6), rule(20), ['X' = ind], [a(ind, n5)]).
step(a(ind, n5), rule(17), ['X' = ind], [a(ind, n4)]).
step(a(ind, n4), rule(14), ['X' = ind], [a(ind, n3)]).
step(a(ind, n3), rule(11), ['X' = ind], [a(ind, n2)]).
step(a(ind, n2), rule(8), ['X' = ind], [a(ind, n1)]).
step(a(ind, n1), rule(5), ['X' = ind], [a(ind, n0)]).
step(a(ind, n0), fact(2), [], []).