xref: /barrelfish-master/usr/eclipseclp/Kernel/lib/compiler_indexing.eco

:-(module(compiler_indexing)).
:-(use_module(compiler_common)).
:-(import(from(/(state_lookup_binding,3),compiler_analysis))).
:-(lib(hash)).
:-(local(struct(guard(branchnr,varid,class)))).
:-(export(/(indexing_transformation,3))).
:-(:(sepia_kernel,store_pred(/(indexing_transformation,3),[](o(2),a(3),a(4),o(104),a(3),det,o(151),proc(/(indexing_transformation,4)),o(0)),9,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__1,6),[](o(212),a(7),o(122),a(1),ref(36),ref(18),ref(fail),o(122),a(2),ref(36),ref(16),ref(fail),o(128),0,7,ref(34),o(10),a(1),o(10),a(2),o(7),a(5),a(4),o(6),pw(1),a(7),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(6),o(15),a(1),ref(46),o(368),a(1),y(4),o(139),ref(49),o(365),a(1),y(4),o(15),a(2),ref(57),o(368),a(2),y(5),o(139),ref(60),o(365),a(2),y(5),o(321),a(4),1,a(7),24,o(3),a(7),y(6),o(340),a(4),a(3),a(7),16,o(3),a(3),y(1),o(352),2,a(5),y(2),o(357),a(7),a(3),a(6),a(4),o(143),proc(/(indexing_transformation,4)),127,o(351),2,y(4),a(1),o(353),y(1),a(3),y(6),a(4),o(351),2,y(2),a(5),o(144),ref(0),o(0)),104,0,0,0,0,0))).
?-(set_flag(/(do__1,6),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(indexing_transformation,4),[](o(6),pw(8),a(3),y(1),o(3),a(4),y(2),o(122),a(1),ref(56),ref(23),ref(fail),o(122),a(2),ref(29),ref(17),ref(29),o(128),0,2,ref(26),o(10),a(1),o(10),a(2),o(154),o(199),0,7,o(15),a(1),ref(56),o(368),a(1),y(4),o(212),a(3),o(123),a(1),ref(436),2,ref(403),o(16),a(1),functor(/(disjunction,16)),ref(68),o(41),y(6),o(349),pw(6),o(41),y(5),o(349),pw(8),o(139),ref(74),o(365),a(1),y(4),o(212),a(3),o(123),a(1),ref(440),2,ref(403),o(139),ref(42),o(42),y(6),o(265),pw(6),o(42),y(5),o(15),a(2),ref(82),o(368),a(2),y(3),o(139),ref(85),o(365),a(2),y(3),o(16),a(1),functor(/(disjunction,16)),ref(115),o(369),a(3),a(4),o(369),a(5),a(6),o(369),a(7),a(8),o(37),a(9),o(33),o(369),a(10),a(11),o(369),a(12),a(13),o(369),a(14),a(15),o(369),a(16),a(17),o(139),ref(139),o(366),a(3),a(4),o(366),a(5),a(6),o(366),a(7),a(8),o(38),a(9),o(34),o(366),a(10),a(11),o(366),a(12),a(13),o(366),a(14),a(15),o(366),a(16),a(17),o(16),a(2),functor(/(disjunction,16)),ref(177),o(43),a(3),o(43),a(4),o(43),a(5),o(43),a(6),o(43),a(7),o(43),a(8),o(43),a(9),o(41),y(7),o(43),a(10),o(43),a(11),o(43),a(12),o(43),a(13),o(43),a(14),o(43),a(15),o(43),a(16),o(43),a(17),o(139),ref(209),o(44),a(3),o(44),a(4),o(44),a(5),o(44),a(6),o(44),a(7),o(44),a(8),o(44),a(9),o(42),y(7),o(44),a(10),o(44),a(11),o(44),a(12),o(44),a(13),o(44),a(14),o(44),a(15),o(44),a(16),o(44),a(17),o(3),a(1),y(8),o(143),proc(/(index_disjunction,1)),511,o(353),y(8),a(1),y(2),a(2),o(143),proc(/(dump_indexes,2)),255,o(4),y(6),a(3),o(401),a(3),a(7),4,o(321),a(7),1,a(5),24,o(102),a(4),1,o(354),y(5),a(1),y(7),a(2),y(2),a(6),o(143),proc(/(do__1,6)),31,o(139),ref(416),o(16),a(1),functor(/(goal,13)),ref(292),o(61),simple,o(41),y(5),o(380),functor(/(/,2)),o(393),cut_to,1,o(385),t(0),ref(303),o(380),functor(/(variable,3)),o(2),a(3),a(5),o(37),a(3),o(349),pw(2),o(97),t(0),ref(316),o(55),o(97),t(1),ref(319),o(349),pw(2),o(37),a(4),o(349),pw(5),o(61),sepia_kernel,o(139),ref(327),o(62),simple,o(42),y(5),o(71),functor(/(/,2)),ref(260),o(62),cut_to,o(58),1,o(69),t(0),ref(266),o(71),functor(/(variable,3)),ref(268),o(2),a(3),a(5),o(38),a(3),o(95),t(0),o(56),o(95),t(1),o(265),pw(2),o(38),a(4),o(265),pw(5),o(62),sepia_kernel,o(137),pw(-2),o(403),a(5),pw(8),o(203),y(6),o(122),a(2),ref(339),ref(343),ref(343),o(128),0,4,ref(385),o(3),a(2),y(7),o(2),a(3),a(2),o(107),a(3),functor(/(++,1)),o(91),pw(2),o(61),functor(/(cutpoint,1)),o(77),y(8),o(2),a(4),a(1),o(143),proc(/(state_lookup_binding,3)),503,o(353),y(8),a(1),y(5),a(2),o(143),proc(/(in_following_branch_guard,2)),215,o(395),y(1),a(1),proc(/(last_alternative,1)),215,o(204),y(6),pw(7),o(288),y(7),y(3),o(139),ref(416),o(199),0,23,o(15),a(2),ref(397),o(43),a(1),o(41),y(3),o(139),ref(416),o(44),a(1),o(42),y(3),o(139),ref(416),o(15),a(2),ref(412),o(43),a(1),o(41),y(3),o(139),ref(416),o(44),a(1),o(42),y(3),o(353),y(4),a(1),y(3),a(2),o(351),2,y(1),a(3),o(144),ref(0),o(129),0,3,ref(250),o(344),0,ref(403),23,o(0),table([-(/(disjunction,16),ref(68)),-(/(goal,13),ref(427))],4),table([-(/(disjunction,16),ref(68)),-(/(goal,13),ref(427))],4)),444,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__2,2),[](o(212),a(3),o(122),a(1),ref(26),ref(13),ref(fail),o(128),0,3,ref(24),o(10),a(1),o(6),pw(1),a(3),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(2),o(15),a(1),ref(47),o(380),functor(/(guard,3)),o(33),o(2),a(2),a(1),o(37),a(2),o(33),o(97),t(0),ref(58),o(41),y(2),o(139),ref(60),o(71),functor(/(guard,3)),ref(33),o(34),o(2),a(2),a(1),o(38),a(2),o(95),t(0),o(42),y(2),o(137),pw(-1),o(3),a(1),y(1),o(101),a(3),o(143),proc(/(hash_set,3)),7,o(353),y(2),a(1),y(1),a(2),o(144),ref(0),o(0)),78,0,0,0,0,0))).
?-(set_flag(/(do__2,2),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__3,6),[](o(2),a(6),a(7),o(212),a(6),o(6),pw(12),a(7),y(1),o(122),a(3),ref(54),ref(23),ref(fail),o(122),a(4),ref(43),ref(19),ref(43),o(128),0,6,ref(40),o(7),a(2),a(1),o(10),a(3),o(10),a(4),o(3),a(6),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(3),ref(54),o(2),a(1),a(9),o(368),a(1),y(5),o(139),ref(60),o(2),a(1),a(9),o(365),a(1),y(5),o(321),a(9),1,a(9),24,o(356),a(9),y(6),a(2),y(3),a(4),y(8),o(3),a(5),y(4),o(99),a(7),o(101),a(4),o(285),a(5),y(11),o(104),a(6),false,o(285),a(8),y(12),o(353),y(6),a(2),y(4),a(3),o(143),proc(/(extract_guards_from_prefix,8)),6523,o(125),y(12),ref(230),1,ref(101),o(288),y(11),y(10),o(102),a(1),2,o(104),a(2),=<,o(285),a(4),y(9),o(395),y(10),a(3),proc(/(sort,4)),891,o(212),a(1),o(167),y(9),ref(151),ref(224),ref(224),o(139),ref(155),o(4),y(12),a(3),o(20),a(3),commit,o(353),y(11),a(1),y(1),a(2),o(143),proc(/(do__2,2)),2427,o(285),a(2),y(10),o(395),y(11),a(1),proc(/(exploit_commit,2)),1403,o(139),ref(104),o(128),0,1,ref(221),o(4),y(9),a(2),o(15),a(2),ref(204),o(380),functor(/(guard,3)),o(33),o(57),0,o(33),o(97),t(0),ref(212),o(41),y(7),o(137),pw(-1),o(403),a(1),pw(8),o(285),a(2),y(2),o(353),y(7),a(1),y(8),a(3),o(143),proc(/(append,3)),127,o(354),y(6),a(1),y(3),a(2),y(5),a(3),o(354),y(2),a(4),y(4),a(5),y(1),a(6),o(144),ref(0),o(71),functor(/(guard,3)),ref(163),o(34),o(58),0,o(95),t(0),o(42),y(7),o(137),pw(-1),o(403),a(1),pw(8),o(139),ref(177),o(199),0,891,o(288),y(9),y(7),o(139),ref(177),o(0),table([-(commit,ref(127))],2)),232,0,0,0,0,0))).
?-(set_flag(/(do__3,6),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__4,3),[](o(2),a(3),a(4),o(212),a(3),o(6),pw(6),a(4),y(1),o(122),a(1),ref(48),ref(25),ref(fail),o(122),a(2),ref(40),ref(19),ref(40),o(128),0,3,ref(37),o(10),a(1),o(10),a(2),o(3),a(3),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(1),ref(48),o(370),y(4),y(3),o(139),ref(51),o(367),y(4),y(3),o(4),y(4),a(3),o(16),a(3),functor(/(guard,3)),ref(64),o(33),o(37),a(1),o(33),o(139),ref(67),o(34),o(38),a(1),o(203),y(5),o(128),0,2,ref(112),o(3),a(2),y(6),o(2),a(1),a(2),o(395),y(1),a(1),proc(/(hash_contains,2)),123,o(204),y(5),pw(6),o(4),y(6),a(1),o(15),a(1),ref(106),o(47),y(4),o(41),y(2),o(354),y(3),a(1),y(2),a(2),y(1),a(3),o(144),ref(0),o(48),y(4),o(42),y(2),o(139),ref(97),o(199),0,11,o(3),a(2),y(2),o(139),ref(97),o(0)),121,0,0,0,0,0))).
?-(set_flag(/(do__4,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__5,3),[](o(212),a(4),o(122),a(1),ref(40),ref(23),ref(fail),o(122),a(2),ref(40),ref(21),ref(fail),o(122),a(3),ref(40),ref(21),ref(fail),o(128),0,4,ref(38),o(10),a(1),o(10),a(2),o(10),a(3),o(6),pw(1),a(4),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(4),o(15),a(1),ref(50),o(368),a(1),y(1),o(139),ref(53),o(365),a(1),y(1),o(15),a(2),ref(76),o(368),a(2),y(2),o(15),a(3),ref(86),o(380),functor(/(index,3)),o(33),o(43),a(2),o(41),y(4),o(97),t(0),ref(96),o(41),y(3),o(139),ref(98),o(365),a(2),y(2),o(15),a(3),ref(86),o(380),functor(/(index,3)),o(139),ref(64),o(71),functor(/(index,3)),ref(64),o(34),o(44),a(2),o(42),y(4),o(95),t(0),o(42),y(3),o(137),pw(-1),o(143),proc(/(new_vardesc,2)),31,o(395),y(4),a(1),proc(/(dt_init,1)),15,o(351),3,y(1),a(1),o(144),ref(0),o(0)),115,0,0,0,0,0))).
?-(set_flag(/(do__5,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__6,3),[](o(2),a(2),a(4),o(212),a(2),o(6),pw(5),a(4),y(1),o(3),a(3),y(2),o(122),a(1),ref(68),ref(23),ref(fail),o(128),0,2,ref(33),o(10),a(1),o(3),a(2),y(3),o(143),proc(/(true,0)),9,o(204),y(3),pw(0),o(154),o(199),0,7,o(15),a(1),ref(68),o(380),functor(/(-,2)),o(41),y(5),o(37),a(1),o(97),t(0),ref(77),o(41),y(3),o(137),pw(-1),o(121),a(1),ref(116),1,ref(88),o(13),a(1),c,o(104),a(1),yes,o(3),a(1),y(4),o(139),ref(94),o(71),functor(/(-,2)),ref(41),o(42),y(5),o(38),a(1),o(95),t(0),o(42),y(3),o(137),pw(-1),o(121),a(1),ref(118),1,ref(88),o(139),ref(57),o(104),a(1),no,o(3),a(1),y(4),o(354),y(2),a(1),y(5),a(2),y(1),a(3),o(395),y(4),a(4),proc(/(dt_add,4)),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(144),ref(0),o(0),table([-(c,ref(60))],2),table([-(c,ref(60))],2)),120,0,0,0,0,0))).
?-(set_flag(/(do__6,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__7,4),[](o(2),a(4),a(5),o(212),a(4),o(6),pw(4),a(5),y(1),o(122),a(1),ref(63),ref(20),ref(fail),o(128),0,4,ref(33),o(10),a(1),o(7),a(3),a(2),o(3),a(4),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(1),ref(63),o(380),functor(/(index,3)),o(33),o(380),functor(/(variable,3)),o(37),a(1),o(349),pw(2),o(97),t(0),ref(74),o(2),a(3),a(5),o(37),a(3),o(97),t(1),ref(81),o(41),y(4),o(139),ref(83),o(71),functor(/(index,3)),ref(41),o(34),o(71),functor(/(variable,3)),ref(44),o(38),a(1),o(95),t(0),o(2),a(3),a(5),o(38),a(3),o(95),t(1),o(42),y(4),o(137),pw(-2),o(212),a(4),o(3),a(5),y(3),o(122),a(2),ref(97),ref(156),ref(156),o(139),ref(101),o(128),0,4,ref(153),o(15),a(2),ref(119),o(380),functor(/(guard,3)),o(47),y(1),o(43),a(1),o(37),a(1),o(97),t(0),ref(130),o(41),y(2),o(139),ref(132),o(71),functor(/(guard,3)),ref(106),o(48),y(1),o(44),a(1),o(38),a(1),o(95),t(0),o(42),y(2),o(137),pw(-1),o(403),a(4),pw(4),o(395),y(1),a(2),proc(/(do__6,3)),31,o(4),y(4),a(1),o(351),2,y(2),a(2),o(396),y(1),a(4),ref(0),o(199),0,27,o(3),a(2),y(2),o(101),a(2),o(104),a(4),no,o(2),a(3),a(1),o(395),y(1),a(3),proc(/(dt_add,4)),31,o(139),ref(142),o(0)),175,0,0,0,0,0))).
?-(set_flag(/(do__7,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__8,4),[](o(212),a(5),o(122),a(3),ref(29),ref(7),ref(29),o(128),0,5,ref(27),o(7),a(2),a(1),o(10),a(3),o(6),pw(1),a(5),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(321),a(1),1,a(5),24,o(6),pw(4),a(5),y(3),o(355),a(2),y(1),a(4),y(2),o(2),a(3),a(2),o(285),a(3),y(4),o(2),a(1),a(4),o(395),y(2),a(1),proc(/(do__7,4)),31,o(354),y(3),a(1),y(1),a(2),y(4),a(3),o(396),y(2),a(4),ref(0),o(0)),69,0,0,0,0,0))).
?-(set_flag(/(do__8,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__9,1),[](o(212),a(2),o(122),a(1),ref(26),ref(13),ref(fail),o(128),0,2,ref(24),o(10),a(1),o(6),pw(1),a(2),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(1),o(15),a(1),ref(45),o(380),functor(/(index,3)),o(37),a(2),o(33),o(37),a(1),o(97),t(0),ref(55),o(41),y(1),o(139),ref(57),o(71),functor(/(index,3)),ref(33),o(38),a(2),o(34),o(38),a(1),o(95),t(0),o(42),y(1),o(137),pw(-1),o(143),proc(/(eval_index_quality,2)),3,o(396),y(1),a(1),ref(0),o(0)),67,0,0,0,0,0))).
?-(set_flag(/(do__9,1),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(index_disjunction,1),[](o(136),pw(15),o(16),a(1),functor(/(disjunction,16)),ref(22),o(41),y(3),o(349),pw(4),o(370),y(8),y(2),o(370),y(14),y(13),o(349),pw(6),o(41),y(15),o(139),ref(36),o(42),y(3),o(265),pw(4),o(367),y(8),y(2),o(367),y(14),y(13),o(265),pw(6),o(42),y(15),o(399),a(1),y(12),proc(/(hash_create,1)),61709,o(102),a(1),0,o(375),a(2),y(1),a(4),y(11),o(354),y(14),a(3),y(15),a(5),y(12),a(6),o(143),proc(/(do__3,6)),14607,o(106),a(2),o(80),y(1),o(85),o(395),y(13),a(1),proc(/(dim,2)),6415,o(203),y(10),o(128),0,0,ref(180),o(102),a(2),0,o(395),y(12),a(1),proc(/(hash_count,2)),3343,o(204),y(10),pw(11),o(288),y(11),y(6),o(102),a(1),2,o(285),a(3),y(9),o(395),y(6),a(2),proc(/(project_arg,3)),847,o(102),a(1),0,o(104),a(2),<,o(285),a(4),y(7),o(395),y(9),a(3),proc(/(sort,4)),463,o(285),a(3),y(4),o(351),2,y(7),a(1),o(143),proc(/(do__5,3)),95,o(4),y(1),a(4),o(321),a(4),1,a(2),24,o(102),a(1),1,o(399),a(3),y(5),proc(:(sepia_kernel,/(max,3))),127,o(102),a(1),1,o(351),2,y(5),a(2),o(395),y(4),a(4),proc(/(do__8,4)),31,o(395),y(4),a(1),proc(/(do__9,1)),31,o(102),a(1),1,o(104),a(2),=<,o(353),y(4),a(3),y(2),a(4),o(143),proc(/(sort,4)),15,o(354),y(2),a(1),y(1),a(2),y(3),a(3),o(145),proc(/(eval_index_det,3)),o(199),0,6415,o(285),a(2),y(6),o(353),y(11),a(1),y(12),a(3),o(143),proc(/(do__4,3)),335,o(139),ref(89),o(0)),197,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__10,8),[](o(212),a(9),o(122),a(1),ref(32),ref(13),ref(fail),o(128),0,9,ref(30),o(10),a(1),o(7),a(3),a(2),o(7),a(5),a(4),o(6),pw(1),a(9),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(12),o(15),a(1),ref(42),o(368),a(1),y(8),o(139),ref(45),o(365),a(1),y(8),o(356),a(2),y(11),a(3),y(3),a(4),y(9),o(352),4,a(5),y(4),o(99),a(8),o(101),a(4),o(375),a(5),y(12),a(7),y(10),o(2),a(6),a(2),o(353),y(6),a(3),y(7),a(6),o(143),proc(/(extract_guards_from_prefix,8)),8185,o(285),a(3),y(2),o(351),2,y(11),a(1),o(143),proc(/(or_guards,3)),2045,o(285),a(3),y(1),o(353),y(10),a(1),y(9),a(2),o(143),proc(/(or_flags,3)),511,o(4),y(8),a(1),o(351),2,y(2),a(2),o(4),y(1),a(4),o(351),4,y(4),a(5),o(144),ref(0),o(0)),114,0,0,0,0,0))).
?-(set_flag(/(do__10,8),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(extract_guards_from_prefix,8),[](o(6),pw(12),a(2),y(1),o(3),a(3),y(2),o(357),a(7),a(2),a(8),a(3),o(122),a(1),ref(62),ref(28),ref(fail),o(121),a(3),ref(340),1,ref(41),o(128),0,6,ref(38),o(10),a(1),o(7),a(5),a(4),o(7),a(2),a(6),o(13),a(3),end,o(154),o(199),0,7,o(15),a(1),ref(62),o(369),a(1),a(7),o(212),a(8),o(123),a(1),ref(342),2,ref(308),o(129),0,8,ref(69),o(344),0,ref(175),3,o(366),a(1),a(7),o(212),a(8),o(139),ref(49),o(16),a(1),functor(/(goal,13)),ref(81),o(61),simple,o(349),pw(11),o(61),sepia_kernel,o(139),ref(87),o(62),simple,o(265),pw(11),o(62),sepia_kernel,o(352),2,a(2),y(6),o(3),a(4),y(10),o(352),2,a(5),y(4),o(355),a(7),y(8),a(8),y(12),o(375),a(5),y(9),a(6),y(11),o(351),2,y(1),a(2),o(353),y(5),a(4),y(7),a(7),o(143),proc(/(extract_guards_from_goal,7)),8183,o(204),y(12),pw(11),o(285),a(3),y(3),o(353),y(11),a(1),y(10),a(2),o(143),proc(/(and_guard,3)),1023,o(206),y(7),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(168),ref(149),o(4),y(7),a(8),o(298),a(8),o(4),y(8),a(1),o(351),4,y(1),a(2),o(353),y(9),a(6),y(6),a(7),o(144),ref(0),o(289),y(3),y(4),o(289),y(5),y(6),o(154),o(16),a(1),functor(/(goal,13)),ref(193),o(61),head,o(349),pw(5),o(362),a(9),a(8),a(3),o(37),a(3),o(349),pw(6),o(139),ref(203),o(62),head,o(265),pw(5),o(362),a(9),a(8),a(3),o(38),a(3),o(403),a(9),pw(1),o(362),a(1),a(7),a(2),o(396),y(1),a(2),ref(0),o(16),a(1),functor(/(disjunction,16)),ref(231),o(349),pw(7),o(381),o(368),a(1),y(10),o(97),t(0),ref(240),o(349),pw(8),o(139),ref(240),o(265),pw(7),o(67),ref(221),o(365),a(1),y(10),o(95),t(0),o(137),pw(-1),o(403),a(8),pw(11),o(355),a(2),y(8),a(3),y(3),o(352),3,a(4),y(5),o(99),a(8),o(101),a(4),o(375),a(5),y(11),a(7),y(9),o(351),2,y(1),a(2),o(142),ref(0),4079,o(285),a(3),y(4),o(351),2,y(10),a(1),o(353),y(9),a(4),y(8),a(5),o(351),2,y(1),a(6),o(395),y(7),a(8),proc(/(do__10,8)),121,o(354),y(5),a(1),y(4),a(2),y(6),a(3),o(143),proc(/(and_guards,3)),9,o(4),y(3),a(1),o(13),a(1),end,o(154),o(7),a(5),a(4),o(7),a(2),a(6),o(13),a(3),end,o(154),o(129),0,8,ref(214),o(344),0,ref(308),1,o(129),0,8,ref(69),o(343),0,ref(175),3,o(344),0,ref(308),1,o(0),o(177),table([-(end,ref(22))],2),table([-(/(disjunction,16),ref(318)),-(/(goal,13),ref(326))],4)),346,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(extract_guards_from_goal,7),[](o(2),a(3),a(8),o(212),a(3),o(6),pw(13),a(2),y(1),o(3),a(8),y(2),o(2),a(7),a(2),o(123),a(1),ref(2374),1,ref(fail),o(129),0,6,ref(46),o(343),0,ref(91),7,o(344),0,ref(139),7,o(121),a(6),ref(2376),1,ref(2242),o(121),a(2),ref(2378),1,ref(2258),o(128),0,6,ref(87),o(16),a(1),functor(/(goal,13)),ref(64),o(349),pw(2),o(380),functor(/(/,2)),o(393),get_cut,1,o(97),t(0),ref(75),o(349),pw(10),o(139),ref(75),o(265),pw(2),o(71),functor(/(/,2)),ref(54),o(62),get_cut,o(58),1,o(95),t(0),o(137),pw(-1),o(7),a(5),a(4),o(13),a(6),true,o(403),a(3),pw(0),o(154),o(198),0,ref(135),7,o(16),a(1),functor(/(goal,13)),ref(109),o(349),pw(2),o(380),functor(/(/,2)),o(393),cut_to,1,o(97),t(0),ref(120),o(349),pw(10),o(139),ref(120),o(265),pw(2),o(71),functor(/(/,2)),ref(99),o(62),cut_to,o(58),1,o(95),t(0),o(137),pw(-1),o(7),a(5),a(4),o(13),a(6),true,o(13),a(2),commit,o(403),a(3),pw(0),o(154),o(198),0,ref(1101),7,o(16),a(1),functor(/(goal,13)),ref(170),o(349),pw(2),o(380),functor(/(/,2)),o(393),=,2,o(385),t(0),ref(179),o(37),a(1),o(65),o(41),y(7),o(55),o(97),t(0),ref(191),o(349),pw(2),o(41),y(8),o(349),pw(6),o(139),ref(195),o(265),pw(2),o(71),functor(/(/,2)),ref(147),o(62),=,o(58),2,o(69),t(0),ref(153),o(38),a(1),o(70),ref(156),o(42),y(7),o(56),o(95),t(0),o(265),pw(2),o(42),y(8),o(137),pw(-1),o(403),a(3),pw(12),o(352),2,a(5),y(5),o(123),a(1),ref(2380),1,ref(282),o(16),a(1),functor(/(variable,3)),ref(271),o(41),y(4),o(349),pw(2),o(203),y(3),o(125),y(5),ref(2382),1,ref(2278),o(125),y(6),ref(2384),1,ref(2278),o(128),0,0,ref(1042),o(99),a(3),o(353),y(2),a(1),y(4),a(2),o(143),proc(/(state_lookup_binding,3)),507,o(204),y(3),pw(12),o(212),a(1),o(206),y(7),ref(2294),ref(2314),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(2286),ref(263),o(129),0,1,ref(323),o(344),0,ref(633),499,o(42),y(4),o(203),y(3),o(125),y(5),ref(2386),1,ref(2278),o(139),ref(224),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(=,2)),o(79),a(1),o(91),pw(4),o(61),functor(/(variable,3)),o(77),y(4),o(350),pw(2),o(104),a(1),error,o(105),a(2),"Goal failed unexpectedly: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),503,o(143),proc(/(abort,0)),503,o(203),y(3),o(125),y(5),ref(2388),1,ref(2278),o(139),ref(224),o(3),a(1),y(11),o(285),a(2),y(10),o(395),y(7),a(1),proc(/(atomic_tag,2)),3315,o(204),y(11),pw(10),o(203),y(9),o(126),y(6),ref(2390),1,ref(2319),o(128),0,0,ref(448),o(395),y(10),a(1),proc(/(value_indexable,1)),1779,o(204),y(9),pw(10),o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(404),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(420),o(61),t,o(97),t(1),ref(424),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(65),o(47),y(7),o(55),o(97),t(0),ref(440),o(61),t,o(97),t(1),ref(444),o(55),o(192),pw(-4),ref(1035),o(48),y(1),o(48),y(4),o(70),ref(368),o(71),functor(/(-,2)),ref(370),o(67),ref(371),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(383),o(71),functor(/(-,2)),ref(385),o(67),ref(386),o(48),y(10),o(70),ref(389),o(48),y(7),o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(192),pw(-4),ref(1035),o(198),0,ref(545),1651,o(395),y(10),a(1),proc(/(single_value,1)),1651,o(204),y(9),pw(10),o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(505),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(521),o(61),t,o(97),t(1),ref(525),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(537),o(61),t,o(97),t(1),ref(541),o(55),o(192),pw(-4),ref(1035),o(48),y(1),o(48),y(4),o(70),ref(472),o(71),functor(/(-,2)),ref(474),o(67),ref(475),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(487),o(71),functor(/(-,2)),ref(489),o(67),ref(490),o(48),y(10),o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(192),pw(-4),ref(1035),o(199),0,1139,o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(593),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(609),o(61),t,o(97),t(1),ref(613),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(625),o(61),m,o(97),t(1),ref(629),o(55),o(192),pw(-4),ref(1035),o(48),y(1),o(48),y(4),o(70),ref(560),o(71),functor(/(-,2)),ref(562),o(67),ref(563),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(575),o(71),functor(/(-,2)),ref(577),o(67),ref(578),o(48),y(10),o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(192),pw(-4),ref(1035),o(4),y(7),a(3),o(16),a(3),functor(/(structure,3)),ref(647),o(41),y(11),o(369),a(1),a(2),o(139),ref(652),o(42),y(11),o(366),a(1),a(2),o(203),y(12),o(128),0,2,ref(736),o(3),a(1),y(9),o(2),a(2),a(1),o(353),y(9),a(2),y(8),a(3),o(143),proc(/(all_fresh_vars,3)),6771,o(204),y(12),pw(11),o(104),a(1),t,o(3),a(1),y(10),o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(749),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(765),o(61),t,o(97),t(1),ref(769),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(65),o(380),functor(/(/,2)),o(47),y(11),o(47),y(9),o(97),t(0),ref(789),o(55),o(97),t(1),ref(792),o(47),y(10),o(97),t(2),ref(796),o(55),o(192),pw(-5),ref(1035),o(199),0,2163,o(104),a(2),m,o(355),a(2),y(10),a(1),y(9),o(139),ref(681),o(48),y(1),o(48),y(4),o(70),ref(693),o(71),functor(/(-,2)),ref(695),o(67),ref(696),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(708),o(71),functor(/(-,2)),ref(710),o(67),ref(711),o(62),structure,o(70),ref(714),o(71),functor(/(/,2)),ref(716),o(48),y(11),o(48),y(9),o(95),t(0),o(56),o(95),t(1),o(48),y(10),o(95),t(2),o(56),o(192),pw(-5),ref(1035),o(4),y(7),a(3),o(15),a(3),ref(811),o(369),a(1),a(2),o(139),ref(814),o(366),a(1),a(2),o(203),y(10),o(128),0,2,ref(893),o(2),a(1),a(4),o(106),a(1),o(79),a(4),o(90),o(79),a(2),o(85),o(102),a(2),2,o(395),y(8),a(3),proc(/(all_fresh_vars,3)),1139,o(204),y(10),pw(9),o(104),a(1),t,o(3),a(1),y(9),o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(904),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(920),o(61),t,o(97),t(1),ref(924),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(936),o(47),y(9),o(97),t(1),ref(940),o(55),o(192),pw(-4),ref(1035),o(199),0,115,o(104),a(1),m,o(3),a(1),y(9),o(139),ref(848),o(48),y(1),o(48),y(4),o(70),ref(860),o(71),functor(/(-,2)),ref(862),o(67),ref(863),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(875),o(71),functor(/(-,2)),ref(877),o(67),ref(878),o(62),list,o(56),o(95),t(0),o(48),y(9),o(95),t(1),o(56),o(192),pw(-4),ref(1035),o(4),y(7),a(2),o(16),a(2),functor(/(variable,3)),ref(957),o(47),y(4),o(349),pw(2),o(139),ref(959),o(48),y(4),o(403),a(1),pw(6),o(4),y(6),a(1),o(13),a(1),true,o(139),ref(1035),o(126),y(7),ref(2392),1,ref(986),o(4),y(7),a(1),o(16),a(1),functor(/(variable,3)),ref(1016),o(349),pw(3),o(139),ref(1016),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(=,2)),o(80),y(7),o(91),pw(4),o(61),functor(/(variable,3)),o(350),pw(3),o(104),a(1),error,o(105),a(2),"Check failed: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),99,o(143),proc(/(abort,0)),99,o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(1030),o(47),y(1),o(57),0,o(55),o(139),ref(1035),o(48),y(1),o(58),0,o(56),o(4),y(5),a(1),o(13),a(1),true,o(154),o(198),0,ref(1085),379,o(99),a(3),o(353),y(8),a(1),y(4),a(2),o(143),proc(/(state_lookup_binding,3)),107,o(204),y(3),pw(6),o(4),y(6),a(1),o(16),a(1),functor(/(guard,3)),ref(1073),o(47),y(1),o(57),0,o(55),o(139),ref(1078),o(48),y(1),o(58),0,o(56),o(4),y(5),a(1),o(13),a(1),true,o(154),o(199),0,97,o(4),y(6),a(1),o(13),a(1),true,o(4),y(5),a(1),o(13),a(1),false,o(154),o(198),0,ref(1337),7,o(16),a(1),functor(/(goal,13)),ref(1135),o(349),pw(2),o(380),functor(/(/,2)),o(393),==,2,o(385),t(0),ref(1144),o(37),a(2),o(65),o(2),a(3),a(7),o(37),a(3),o(55),o(97),t(0),ref(1159),o(349),pw(9),o(139),ref(1159),o(265),pw(2),o(71),functor(/(/,2)),ref(1113),o(62),==,o(58),2,o(69),t(0),ref(1119),o(38),a(2),o(70),ref(1122),o(2),a(3),a(7),o(38),a(3),o(56),o(95),t(0),o(137),pw(-1),o(7),a(5),a(4),o(403),a(7),pw(7),o(2),a(4),a(5),o(212),a(4),o(3),a(5),y(3),o(2),a(6),a(1),o(123),a(2),ref(2394),1,ref(2327),o(123),a(3),ref(2396),1,ref(2335),o(128),0,4,ref(1236),o(16),a(2),functor(/(variable,3)),ref(1202),o(41),y(6),o(349),pw(2),o(139),ref(1204),o(42),y(6),o(356),a(1),y(4),a(3),y(5),a(4),y(7),o(107),a(2),functor(/(variable,3)),o(350),pw(3),o(2),a(3),a(1),o(143),proc(/(\=,2)),255,o(204),y(7),pw(6),o(353),y(6),a(1),y(5),a(2),o(351),4,y(1),a(3),o(145),proc(/(extract_guards_from_identity,6)),o(198),0,ref(1283),15,o(16),a(3),functor(/(variable,3)),ref(1250),o(41),y(6),o(349),pw(2),o(139),ref(1252),o(42),y(6),o(352),2,a(1),y(4),o(3),a(4),y(7),o(107),a(2),functor(/(variable,3)),o(350),pw(3),o(395),y(5),a(1),proc(/(\=,2)),255,o(204),y(7),pw(6),o(353),y(6),a(1),y(5),a(2),o(351),4,y(1),a(3),o(145),proc(/(extract_guards_from_identity,6)),o(198),0,ref(1318),3,o(16),a(2),functor(/(variable,3)),ref(1297),o(37),a(2),o(349),pw(2),o(139),ref(1299),o(38),a(2),o(16),a(3),functor(/(variable,3)),ref(1309),o(43),a(2),o(349),pw(2),o(139),ref(1311),o(44),a(2),o(403),a(4),pw(0),o(13),a(1),true,o(154),o(199),0,3,o(16),a(1),functor(/(guard,3)),ref(1331),o(47),y(1),o(57),0,o(55),o(154),o(48),y(1),o(58),0,o(56),o(154),o(198),0,ref(2087),7,o(16),a(1),functor(/(goal,13)),ref(1372),o(349),pw(2),o(380),functor(/(/,2)),o(393),?=,2,o(385),t(0),ref(1381),o(41),y(13),o(65),o(41),y(6),o(55),o(97),t(0),ref(1393),o(349),pw(2),o(41),y(7),o(349),pw(6),o(139),ref(1397),o(265),pw(2),o(71),functor(/(/,2)),ref(1349),o(62),?=,o(58),2,o(69),t(0),ref(1355),o(42),y(13),o(70),ref(1358),o(42),y(6),o(56),o(95),t(0),o(265),pw(2),o(42),y(7),o(137),pw(-1),o(7),a(5),a(4),o(403),a(3),pw(13),o(3),a(6),y(5),o(2),a(4),a(1),o(121),a(1),ref(2398),1,ref(1416),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(==,2)),o(79),a(1),o(61),false,o(104),a(1),error,o(105),a(2),"Check failed: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),8423,o(143),proc(/(abort,0)),8423,o(126),y(13),ref(2400),1,ref(1474),o(4),y(13),a(1),o(16),a(1),functor(/(variable,3)),ref(1470),o(41),y(4),o(349),pw(2),o(139),ref(1506),o(20),a(1),false,o(126),y(13),ref(2402),1,ref(1474),o(139),ref(1447),o(42),y(4),o(139),ref(1506),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(=,2)),o(80),y(13),o(91),pw(4),o(61),functor(/(variable,3)),o(77),y(4),o(350),pw(2),o(104),a(1),error,o(105),a(2),"Goal failed unexpectedly: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),247,o(143),proc(/(abort,0)),247,o(203),y(3),o(128),0,0,ref(2071),o(99),a(3),o(353),y(2),a(1),y(4),a(2),o(143),proc(/(state_lookup_binding,3)),251,o(204),y(3),pw(12),o(203),y(8),o(206),y(6),ref(2343),ref(2359),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1550),ref(1542),o(129),0,0,ref(1550),o(344),0,ref(1758),115,o(285),a(2),y(10),o(395),y(6),a(1),proc(/(atomic_tag,2)),1395,o(204),y(8),pw(10),o(203),y(9),o(126),y(5),ref(2404),1,ref(2364),o(128),0,0,ref(1639),o(395),y(10),a(1),proc(/(value_indexable,1)),1651,o(204),y(9),pw(10),o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(1612),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(65),o(47),y(6),o(55),o(97),t(0),ref(1632),o(61),t,o(97),t(1),ref(1636),o(55),o(402),pw(-2),o(48),y(1),o(48),y(4),o(70),ref(1592),o(71),functor(/(-,2)),ref(1594),o(67),ref(1595),o(48),y(10),o(70),ref(1598),o(48),y(6),o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(402),pw(-2),o(198),0,ref(1703),1587,o(395),y(10),a(1),proc(/(single_value,1)),1587,o(204),y(9),pw(10),o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(1680),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(1696),o(61),t,o(97),t(1),ref(1700),o(55),o(402),pw(-2),o(48),y(1),o(48),y(4),o(70),ref(1663),o(71),functor(/(-,2)),ref(1665),o(67),ref(1666),o(48),y(10),o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(402),pw(-2),o(199),0,1075,o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(1735),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(1751),o(61),m,o(97),t(1),ref(1755),o(55),o(402),pw(-2),o(48),y(1),o(48),y(4),o(70),ref(1718),o(71),functor(/(-,2)),ref(1720),o(67),ref(1721),o(48),y(10),o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(402),pw(-2),o(4),y(6),a(1),o(16),a(1),functor(/(attrvar,2)),ref(1767),o(349),pw(2),o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(1799),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),var,o(65),o(61),meta,o(55),o(97),t(0),ref(1819),o(61),m,o(97),t(1),ref(1823),o(55),o(402),pw(-2),o(48),y(1),o(48),y(4),o(70),ref(1779),o(71),functor(/(-,2)),ref(1781),o(67),ref(1782),o(62),var,o(70),ref(1785),o(62),meta,o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(402),pw(-2),o(4),y(6),a(3),o(16),a(3),functor(/(structure,3)),ref(1840),o(41),y(11),o(369),a(1),a(2),o(139),ref(1845),o(42),y(11),o(366),a(1),a(2),o(203),y(12),o(128),0,2,ref(1913),o(3),a(1),y(9),o(2),a(2),a(1),o(353),y(9),a(2),y(7),a(3),o(143),proc(/(all_fresh_vars,3)),6707,o(204),y(12),pw(11),o(104),a(1),t,o(3),a(1),y(10),o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(1926),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(65),o(380),functor(/(/,2)),o(47),y(11),o(47),y(9),o(97),t(0),ref(1950),o(55),o(97),t(1),ref(1953),o(47),y(10),o(97),t(2),ref(1957),o(55),o(402),pw(-3),o(199),0,2099,o(104),a(2),m,o(355),a(2),y(10),a(1),y(9),o(139),ref(1874),o(48),y(1),o(48),y(4),o(70),ref(1886),o(71),functor(/(-,2)),ref(1888),o(67),ref(1889),o(62),structure,o(70),ref(1892),o(71),functor(/(/,2)),ref(1894),o(48),y(11),o(48),y(9),o(95),t(0),o(56),o(95),t(1),o(48),y(10),o(95),t(2),o(56),o(402),pw(-3),o(4),y(6),a(3),o(15),a(3),ref(1971),o(369),a(1),a(2),o(139),ref(1974),o(366),a(1),a(2),o(203),y(10),o(128),0,2,ref(2037),o(2),a(1),a(4),o(106),a(1),o(79),a(4),o(90),o(79),a(2),o(85),o(102),a(2),2,o(395),y(7),a(3),proc(/(all_fresh_vars,3)),1075,o(204),y(10),pw(9),o(104),a(1),t,o(3),a(1),y(9),o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(2048),o(47),y(1),o(47),y(4),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(2064),o(47),y(9),o(97),t(1),ref(2068),o(55),o(402),pw(-2),o(199),0,51,o(104),a(1),m,o(3),a(1),y(9),o(139),ref(2008),o(48),y(1),o(48),y(4),o(70),ref(2020),o(71),functor(/(-,2)),ref(2022),o(67),ref(2023),o(62),list,o(56),o(95),t(0),o(48),y(9),o(95),t(1),o(56),o(402),pw(-2),o(199),0,33,o(105),a(1),"Output mode (-) overrides matching clause semantics",o(143),proc(/(warning,1)),33,o(4),y(5),a(1),o(13),a(1),true,o(154),o(199),0,7,o(16),a(1),functor(/(goal,13)),ref(2122),o(349),pw(2),o(380),functor(/(/,2)),o(37),a(1),o(57),1,o(385),t(0),ref(2131),o(380),functor(/(variable,3)),o(41),y(6),o(349),pw(2),o(97),t(0),ref(2141),o(55),o(97),t(1),ref(2144),o(349),pw(9),o(139),ref(2144),o(265),pw(2),o(71),functor(/(/,2)),ref(2098),o(38),a(1),o(58),1,o(69),t(0),ref(2105),o(71),functor(/(variable,3)),ref(2107),o(42),y(6),o(95),t(0),o(56),o(95),t(1),o(137),pw(-2),o(7),a(5),a(4),o(356),a(3),y(9),a(4),y(4),a(6),y(5),o(399),a(2),y(7),proc(/(type_test,2)),759,o(204),y(9),pw(8),o(203),y(3),o(126),y(5),ref(2406),1,ref(2175),o(128),0,0,ref(2220),o(99),a(3),o(353),y(2),a(1),y(6),a(2),o(143),proc(/(state_lookup_binding,3)),251,o(204),y(3),pw(8),o(285),a(3),y(8),o(353),y(4),a(1),y(7),a(2),o(143),proc(/(binding_effect_on_guard,3)),355,o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(2213),o(47),y(1),o(47),y(6),o(47),y(8),o(154),o(48),y(1),o(48),y(6),o(48),y(8),o(154),o(199),0,35,o(4),y(5),a(1),o(16),a(1),functor(/(guard,3)),ref(2236),o(47),y(1),o(57),0,o(55),o(154),o(48),y(1),o(58),0,o(56),o(154),o(129),0,6,ref(139),o(343),0,ref(1105),7,o(343),0,ref(1341),7,o(344),0,ref(2090),7,o(129),0,6,ref(46),o(343),0,ref(139),7,o(343),0,ref(1105),7,o(343),0,ref(1341),7,o(344),0,ref(2090),7,o(129),0,0,ref(233),o(344),0,ref(1046),379,o(129),0,1,ref(323),o(344),0,ref(970),227,o(129),0,1,ref(323),o(344),0,ref(800),499,o(129),0,1,ref(323),o(343),0,ref(944),243,o(344),0,ref(970),227,o(126),y(7),ref(2408),2,ref(2286),o(129),0,0,ref(348),o(344),0,ref(452),1651,o(129),0,4,ref(1240),o(344),0,ref(1321),3,o(129),0,4,ref(1192),o(344),0,ref(1321),3,o(129),0,0,ref(1550),o(344),0,ref(1960),243,o(129),0,0,ref(1550),o(344),0,ref(1826),243,o(126),y(6),ref(2412),2,ref(1550),o(129),0,0,ref(1572),o(344),0,ref(1643),1587,o(0),o(177),table([-(/(goal,13),ref(32))],2),table([-(true,ref(37))],2),table([-(commit,ref(42))],2),table([-(/(variable,3),ref(271))],2),table([-(false,ref(224))],2),table([-(true,ref(229))],2),table([-(false,ref(224))],2),table([-(false,ref(224))],2),table([-(/(guard,3),ref(344))],2),table([-(/(variable,3),ref(975))],2),table([-(/(variable,3),ref(1183))],2),table([-(/(variable,3),ref(1188))],2),table([-(false,ref(1463))],2),table([-(/(variable,3),ref(1447))],2),table([-(/(variable,3),ref(1447))],2),table([-(/(guard,3),ref(1568))],2),table([-(/(guard,3),ref(2171))],2),table([-(/(variable,3),ref(2302)),-(/(structure,3),ref(263))],4),table([-(/(attrvar,2),ref(1542)),-(/(structure,3),ref(2351))],4)),2416,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(extract_guards_from_identity,6),[](o(136),pw(10),o(203),y(3),o(355),a(2),y(1),a(5),y(2),o(2),a(6),a(2),o(123),a(2),ref(504),1,ref(21),o(128),0,4,ref(467),o(356),a(1),y(6),a(2),y(8),a(3),y(7),o(99),a(3),o(2),a(4),a(1),o(395),y(6),a(2),proc(/(state_lookup_binding,3)),463,o(204),y(3),pw(10),o(101),a(2),o(285),a(3),y(5),o(395),y(2),a(1),proc(/(binding_effect_on_guard,3)),483,o(203),y(4),o(126),y(1),ref(506),1,ref(486),o(129),0,0,ref(66),o(344),0,ref(280),483,o(285),a(2),y(10),o(395),y(1),a(1),proc(/(atomic_tag,2)),1523,o(204),y(4),pw(10),o(203),y(9),o(126),y(8),ref(508),1,ref(494),o(128),0,0,ref(157),o(395),y(10),a(1),proc(/(value_indexable,1)),2019,o(204),y(9),pw(10),o(4),y(8),a(1),o(16),a(1),functor(/(guard,3)),ref(129),o(47),y(7),o(47),y(6),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(65),o(47),y(1),o(55),o(97),t(0),ref(149),o(61),t,o(97),t(1),ref(153),o(47),y(5),o(402),pw(-2),o(48),y(7),o(48),y(6),o(70),ref(108),o(71),functor(/(-,2)),ref(110),o(67),ref(111),o(48),y(10),o(70),ref(114),o(48),y(1),o(56),o(95),t(0),o(62),t,o(95),t(1),o(48),y(5),o(402),pw(-2),o(198),0,ref(223),2017,o(395),y(10),a(1),proc(/(single_value,1)),2017,o(204),y(9),pw(10),o(4),y(8),a(1),o(16),a(1),functor(/(guard,3)),ref(199),o(47),y(7),o(47),y(6),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(215),o(61),t,o(97),t(1),ref(219),o(47),y(5),o(402),pw(-2),o(48),y(7),o(48),y(6),o(70),ref(181),o(71),functor(/(-,2)),ref(183),o(67),ref(184),o(48),y(10),o(56),o(95),t(0),o(62),t,o(95),t(1),o(48),y(5),o(402),pw(-2),o(199),0,1505,o(4),y(8),a(1),o(16),a(1),functor(/(guard,3)),ref(256),o(47),y(7),o(47),y(6),o(65),o(380),functor(/(-,2)),o(381),o(47),y(10),o(55),o(97),t(0),ref(272),o(61),m,o(97),t(1),ref(276),o(47),y(5),o(402),pw(-2),o(48),y(7),o(48),y(6),o(70),ref(238),o(71),functor(/(-,2)),ref(240),o(67),ref(241),o(48),y(10),o(56),o(95),t(0),o(62),m,o(95),t(1),o(48),y(5),o(402),pw(-2),o(4),y(1),a(1),o(16),a(1),functor(/(structure,3)),ref(293),o(369),a(1),a(2),o(33),o(139),ref(296),o(366),a(1),a(2),o(4),y(8),a(3),o(16),a(3),functor(/(guard,3)),ref(336),o(47),y(7),o(47),y(6),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(65),o(380),functor(/(/,2)),o(43),a(1),o(43),a(2),o(97),t(0),ref(360),o(55),o(97),t(1),ref(363),o(61),m,o(97),t(2),ref(367),o(47),y(5),o(402),pw(-3),o(48),y(7),o(48),y(6),o(70),ref(308),o(71),functor(/(-,2)),ref(310),o(67),ref(311),o(62),structure,o(70),ref(314),o(71),functor(/(/,2)),ref(316),o(44),a(1),o(44),a(2),o(95),t(0),o(56),o(95),t(1),o(62),m,o(95),t(2),o(48),y(5),o(402),pw(-3),o(167),y(1),ref(376),ref(386),ref(386),o(4),y(1),a(1),o(15),a(1),ref(413),o(349),pw(2),o(139),ref(413),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(=,2)),o(80),y(1),o(90),o(350),pw(2),o(104),a(1),error,o(105),a(2),"Check failed: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),481,o(143),proc(/(abort,0)),481,o(4),y(8),a(1),o(16),a(1),functor(/(guard,3)),ref(443),o(47),y(7),o(47),y(6),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(459),o(61),m,o(97),t(1),ref(463),o(47),y(5),o(402),pw(-2),o(48),y(7),o(48),y(6),o(70),ref(425),o(71),functor(/(-,2)),ref(427),o(67),ref(428),o(62),list,o(56),o(95),t(0),o(62),m,o(95),t(1),o(48),y(5),o(402),pw(-2),o(199),0,1,o(16),a(2),functor(/(guard,3)),ref(480),o(43),a(3),o(57),0,o(55),o(154),o(44),a(3),o(58),0,o(56),o(154),o(129),0,0,ref(66),o(344),0,ref(371),483,o(129),0,0,ref(88),o(344),0,ref(161),2017,o(0),o(177),table([-(/(guard,3),ref(17))],2),table([-(/(structure,3),ref(58))],2),table([-(/(guard,3),ref(84))],2)),510,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(mode(value_indexable(+))).
:-(:(sepia_kernel,store_pred(/(value_indexable,1),[](o(121),a(1),ref(28),3,ref(fail),o(128),0,1,ref(13),o(13),a(1),integer,o(157),o(131),0,ref(20),o(13),a(1),atom,o(157),o(134),0,o(13),a(1),structure,o(157),o(0),o(177),table([-(structure,ref(25)),-(atom,ref(19)),-(integer,ref(12))],6)),34,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(single_value,1),[](o(10),a(1),o(157),o(0)),4,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(mode(atomic_tag(+,-))).
:-(:(sepia_kernel,store_pred(/(atomic_tag,2),[](o(124),a(1),ref(fail),ref(fail),ref(fail),ref(56),ref(62),ref(20),ref(38),ref(50),ref(44),ref(17),ref(26),ref(32),ref(15),o(10),a(1),o(10),a(2),o(157),o(13),a(2),bignum,o(292),a(1),o(157),o(13),a(2),integer,o(301),a(1),o(157),o(13),a(2),atom,o(300),a(1),o(157),o(13),a(2),breal,o(303),a(1),o(157),o(13),a(2),double,o(302),a(1),o(157),o(13),a(2),rational,o(305),a(1),o(157),o(13),a(2),handle,o(312),a(1),o(157),o(13),a(2),string,o(306),a(1),o(157),o(0)),69,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(type_test,2),[](o(121),a(1),ref(2424),22,ref(fail),o(128),0,2,ref(80),o(13),a(1),atom,o(15),a(2),ref(47),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(57),o(61),t,o(97),t(1),ref(61),o(65),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(72),o(61),t,o(97),t(1),ref(76),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(17),o(67),ref(18),o(62),atom,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(30),o(71),functor(/(-,2)),ref(32),o(67),ref(33),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(402),o(13),a(1),atomic,o(15),a(2),ref(241),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(250),o(61),t,o(97),t(1),ref(254),o(65),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(266),o(61),t,o(97),t(1),ref(270),o(65),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(282),o(61),t,o(97),t(1),ref(286),o(65),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(298),o(61),t,o(97),t(1),ref(302),o(65),o(380),functor(/(-,2)),o(381),o(61),goal,o(55),o(97),t(0),ref(314),o(61),t,o(97),t(1),ref(318),o(65),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(330),o(61),t,o(97),t(1),ref(334),o(65),o(380),functor(/(-,2)),o(381),o(61),handle,o(55),o(97),t(0),ref(346),o(61),t,o(97),t(1),ref(350),o(65),o(380),functor(/(-,2)),o(381),o(61),integer,o(55),o(97),t(0),ref(362),o(61),t,o(97),t(1),ref(366),o(65),o(380),functor(/(-,2)),o(381),o(61),rational,o(55),o(97),t(0),ref(378),o(61),t,o(97),t(1),ref(382),o(65),o(380),functor(/(-,2)),o(381),o(61),string,o(55),o(97),t(0),ref(394),o(61),t,o(97),t(1),ref(398),o(55),o(137),pw(-20),o(157),o(71),functor(/(-,2)),ref(91),o(67),ref(92),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(103),o(71),functor(/(-,2)),ref(105),o(67),ref(106),o(62),atom,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(118),o(71),functor(/(-,2)),ref(120),o(67),ref(121),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(133),o(71),functor(/(-,2)),ref(135),o(67),ref(136),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(148),o(71),functor(/(-,2)),ref(150),o(67),ref(151),o(62),goal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(163),o(71),functor(/(-,2)),ref(165),o(67),ref(166),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(178),o(71),functor(/(-,2)),ref(180),o(67),ref(181),o(62),handle,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(193),o(71),functor(/(-,2)),ref(195),o(67),ref(196),o(62),integer,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(208),o(71),functor(/(-,2)),ref(210),o(67),ref(211),o(62),rational,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(223),o(71),functor(/(-,2)),ref(225),o(67),ref(226),o(62),string,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-20),o(157),o(131),0,ref(447),o(13),a(1),bignum,o(15),a(2),ref(429),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(439),o(61),t,o(97),t(1),ref(443),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(413),o(67),ref(414),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(492),o(13),a(1),breal,o(15),a(2),ref(474),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(484),o(61),t,o(97),t(1),ref(488),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(458),o(67),ref(459),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(628),o(13),a(1),callable,o(15),a(2),ref(563),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(572),o(61),t,o(97),t(1),ref(576),o(65),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(588),o(61),t,o(97),t(1),ref(592),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(604),o(61),t,o(97),t(1),ref(608),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(55),o(97),t(0),ref(620),o(61),t,o(97),t(1),ref(624),o(55),o(137),pw(-8),o(157),o(71),functor(/(-,2)),ref(503),o(67),ref(504),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(515),o(71),functor(/(-,2)),ref(517),o(67),ref(518),o(62),atom,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(530),o(71),functor(/(-,2)),ref(532),o(67),ref(533),o(62),list,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(545),o(71),functor(/(-,2)),ref(547),o(67),ref(548),o(62),structure,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-8),o(157),o(131),0,ref(704),o(13),a(1),compound,o(15),a(2),ref(670),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(680),o(61),t,o(97),t(1),ref(684),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(55),o(97),t(0),ref(696),o(61),t,o(97),t(1),ref(700),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(639),o(67),ref(640),o(62),list,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(652),o(71),functor(/(-,2)),ref(654),o(67),ref(655),o(62),structure,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(749),o(13),a(1),float,o(15),a(2),ref(731),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(741),o(61),t,o(97),t(1),ref(745),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(715),o(67),ref(716),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(801),o(13),a(1),free,o(15),a(2),ref(779),o(380),functor(/(-,2)),o(381),o(61),var,o(65),o(61),free,o(55),o(97),t(0),ref(793),o(61),t,o(97),t(1),ref(797),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(760),o(67),ref(761),o(62),var,o(70),ref(764),o(62),free,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(1185),o(13),a(1),ground,o(15),a(2),ref(992),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(1001),o(61),t,o(97),t(1),ref(1005),o(65),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(1017),o(61),t,o(97),t(1),ref(1021),o(65),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(1033),o(61),t,o(97),t(1),ref(1037),o(65),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(1049),o(61),t,o(97),t(1),ref(1053),o(65),o(380),functor(/(-,2)),o(381),o(61),goal,o(55),o(97),t(0),ref(1065),o(61),t,o(97),t(1),ref(1069),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(1081),o(61),m,o(97),t(1),ref(1085),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(55),o(97),t(0),ref(1097),o(61),m,o(97),t(1),ref(1101),o(65),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(1113),o(61),t,o(97),t(1),ref(1117),o(65),o(380),functor(/(-,2)),o(381),o(61),handle,o(55),o(97),t(0),ref(1129),o(61),t,o(97),t(1),ref(1133),o(65),o(380),functor(/(-,2)),o(381),o(61),integer,o(55),o(97),t(0),ref(1145),o(61),t,o(97),t(1),ref(1149),o(65),o(380),functor(/(-,2)),o(381),o(61),rational,o(55),o(97),t(0),ref(1161),o(61),t,o(97),t(1),ref(1165),o(65),o(380),functor(/(-,2)),o(381),o(61),string,o(55),o(97),t(0),ref(1177),o(61),t,o(97),t(1),ref(1181),o(55),o(137),pw(-24),o(157),o(71),functor(/(-,2)),ref(812),o(67),ref(813),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(824),o(71),functor(/(-,2)),ref(826),o(67),ref(827),o(62),atom,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(839),o(71),functor(/(-,2)),ref(841),o(67),ref(842),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(854),o(71),functor(/(-,2)),ref(856),o(67),ref(857),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(869),o(71),functor(/(-,2)),ref(871),o(67),ref(872),o(62),goal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(884),o(71),functor(/(-,2)),ref(886),o(67),ref(887),o(62),list,o(56),o(95),t(0),o(62),m,o(95),t(1),o(70),ref(899),o(71),functor(/(-,2)),ref(901),o(67),ref(902),o(62),structure,o(56),o(95),t(0),o(62),m,o(95),t(1),o(70),ref(914),o(71),functor(/(-,2)),ref(916),o(67),ref(917),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(929),o(71),functor(/(-,2)),ref(931),o(67),ref(932),o(62),handle,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(944),o(71),functor(/(-,2)),ref(946),o(67),ref(947),o(62),integer,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(959),o(71),functor(/(-,2)),ref(961),o(67),ref(962),o(62),rational,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(974),o(71),functor(/(-,2)),ref(976),o(67),ref(977),o(62),string,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-24),o(157),o(131),0,ref(1261),o(13),a(1),integer,o(15),a(2),ref(1227),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(1237),o(61),t,o(97),t(1),ref(1241),o(65),o(380),functor(/(-,2)),o(381),o(61),integer,o(55),o(97),t(0),ref(1253),o(61),t,o(97),t(1),ref(1257),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(1196),o(67),ref(1197),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1209),o(71),functor(/(-,2)),ref(1211),o(67),ref(1212),o(62),integer,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(1337),o(13),a(1),is_event,o(15),a(2),ref(1303),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(1313),o(61),m,o(97),t(1),ref(1317),o(65),o(380),functor(/(-,2)),o(381),o(61),handle,o(55),o(97),t(0),ref(1329),o(61),m,o(97),t(1),ref(1333),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(1272),o(67),ref(1273),o(62),atom,o(56),o(95),t(0),o(62),m,o(95),t(1),o(70),ref(1285),o(71),functor(/(-,2)),ref(1287),o(67),ref(1288),o(62),handle,o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(1382),o(13),a(1),is_handle,o(15),a(2),ref(1364),o(380),functor(/(-,2)),o(381),o(61),handle,o(55),o(97),t(0),ref(1374),o(61),t,o(97),t(1),ref(1378),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(1348),o(67),ref(1349),o(62),handle,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(1456),o(13),a(1),is_list,o(15),a(2),ref(1423),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(1432),o(61),t,o(97),t(1),ref(1436),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(1448),o(61),m,o(97),t(1),ref(1452),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(1393),o(67),ref(1394),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1405),o(71),functor(/(-,2)),ref(1407),o(67),ref(1408),o(62),list,o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(1501),o(13),a(1),is_suspension,o(15),a(2),ref(1483),o(380),functor(/(-,2)),o(381),o(61),goal,o(55),o(97),t(0),ref(1493),o(61),m,o(97),t(1),ref(1497),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(1467),o(67),ref(1468),o(62),goal,o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(1553),o(13),a(1),meta,o(15),a(2),ref(1531),o(380),functor(/(-,2)),o(381),o(61),var,o(65),o(61),meta,o(55),o(97),t(0),ref(1545),o(61),t,o(97),t(1),ref(1549),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(1512),o(67),ref(1513),o(62),var,o(70),ref(1516),o(62),meta,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(1660),o(13),a(1),nonground,o(15),a(2),ref(1610),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(1620),o(61),t,o(97),t(1),ref(1624),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(1636),o(61),m,o(97),t(1),ref(1640),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(55),o(97),t(0),ref(1652),o(61),m,o(97),t(1),ref(1656),o(55),o(137),pw(-6),o(157),o(71),functor(/(-,2)),ref(1564),o(67),ref(1565),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1577),o(71),functor(/(-,2)),ref(1579),o(67),ref(1580),o(62),list,o(56),o(95),t(0),o(62),m,o(95),t(1),o(70),ref(1592),o(71),functor(/(-,2)),ref(1594),o(67),ref(1595),o(62),structure,o(56),o(95),t(0),o(62),m,o(95),t(1),o(56),o(137),pw(-6),o(157),o(131),0,ref(2044),o(13),a(1),nonvar,o(15),a(2),ref(1851),o(380),functor(/(-,2)),o(381),o(55),o(55),o(97),t(0),ref(1860),o(61),t,o(97),t(1),ref(1864),o(65),o(380),functor(/(-,2)),o(381),o(61),atom,o(55),o(97),t(0),ref(1876),o(61),t,o(97),t(1),ref(1880),o(65),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(1892),o(61),t,o(97),t(1),ref(1896),o(65),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(1908),o(61),t,o(97),t(1),ref(1912),o(65),o(380),functor(/(-,2)),o(381),o(61),goal,o(55),o(97),t(0),ref(1924),o(61),t,o(97),t(1),ref(1928),o(65),o(380),functor(/(-,2)),o(381),o(61),list,o(55),o(97),t(0),ref(1940),o(61),t,o(97),t(1),ref(1944),o(65),o(380),functor(/(-,2)),o(381),o(61),structure,o(55),o(97),t(0),ref(1956),o(61),t,o(97),t(1),ref(1960),o(65),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(1972),o(61),t,o(97),t(1),ref(1976),o(65),o(380),functor(/(-,2)),o(381),o(61),handle,o(55),o(97),t(0),ref(1988),o(61),t,o(97),t(1),ref(1992),o(65),o(380),functor(/(-,2)),o(381),o(61),integer,o(55),o(97),t(0),ref(2004),o(61),t,o(97),t(1),ref(2008),o(65),o(380),functor(/(-,2)),o(381),o(61),rational,o(55),o(97),t(0),ref(2020),o(61),t,o(97),t(1),ref(2024),o(65),o(380),functor(/(-,2)),o(381),o(61),string,o(55),o(97),t(0),ref(2036),o(61),t,o(97),t(1),ref(2040),o(55),o(137),pw(-24),o(157),o(71),functor(/(-,2)),ref(1671),o(67),ref(1672),o(56),o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1683),o(71),functor(/(-,2)),ref(1685),o(67),ref(1686),o(62),atom,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1698),o(71),functor(/(-,2)),ref(1700),o(67),ref(1701),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1713),o(71),functor(/(-,2)),ref(1715),o(67),ref(1716),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1728),o(71),functor(/(-,2)),ref(1730),o(67),ref(1731),o(62),goal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1743),o(71),functor(/(-,2)),ref(1745),o(67),ref(1746),o(62),list,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1758),o(71),functor(/(-,2)),ref(1760),o(67),ref(1761),o(62),structure,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1773),o(71),functor(/(-,2)),ref(1775),o(67),ref(1776),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1788),o(71),functor(/(-,2)),ref(1790),o(67),ref(1791),o(62),handle,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1803),o(71),functor(/(-,2)),ref(1805),o(67),ref(1806),o(62),integer,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1818),o(71),functor(/(-,2)),ref(1820),o(67),ref(1821),o(62),rational,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(1833),o(71),functor(/(-,2)),ref(1835),o(67),ref(1836),o(62),string,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-24),o(157),o(131),0,ref(2213),o(13),a(1),number,o(15),a(2),ref(2131),o(380),functor(/(-,2)),o(381),o(61),bignum,o(55),o(97),t(0),ref(2141),o(61),t,o(97),t(1),ref(2145),o(65),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(2157),o(61),t,o(97),t(1),ref(2161),o(65),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(2173),o(61),t,o(97),t(1),ref(2177),o(65),o(380),functor(/(-,2)),o(381),o(61),integer,o(55),o(97),t(0),ref(2189),o(61),t,o(97),t(1),ref(2193),o(65),o(380),functor(/(-,2)),o(381),o(61),rational,o(55),o(97),t(0),ref(2205),o(61),t,o(97),t(1),ref(2209),o(55),o(137),pw(-10),o(157),o(71),functor(/(-,2)),ref(2055),o(67),ref(2056),o(62),bignum,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(2068),o(71),functor(/(-,2)),ref(2070),o(67),ref(2071),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(2083),o(71),functor(/(-,2)),ref(2085),o(67),ref(2086),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(2098),o(71),functor(/(-,2)),ref(2100),o(67),ref(2101),o(62),integer,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(2113),o(71),functor(/(-,2)),ref(2115),o(67),ref(2116),o(62),rational,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-10),o(157),o(131),0,ref(2258),o(13),a(1),rational,o(15),a(2),ref(2240),o(380),functor(/(-,2)),o(381),o(61),rational,o(55),o(97),t(0),ref(2250),o(61),t,o(97),t(1),ref(2254),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(2224),o(67),ref(2225),o(62),rational,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(131),0,ref(2334),o(13),a(1),real,o(15),a(2),ref(2300),o(380),functor(/(-,2)),o(381),o(61),breal,o(55),o(97),t(0),ref(2310),o(61),t,o(97),t(1),ref(2314),o(65),o(380),functor(/(-,2)),o(381),o(61),double,o(55),o(97),t(0),ref(2326),o(61),t,o(97),t(1),ref(2330),o(55),o(137),pw(-4),o(157),o(71),functor(/(-,2)),ref(2269),o(67),ref(2270),o(62),breal,o(56),o(95),t(0),o(62),t,o(95),t(1),o(70),ref(2282),o(71),functor(/(-,2)),ref(2284),o(67),ref(2285),o(62),double,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-4),o(157),o(131),0,ref(2379),o(13),a(1),string,o(15),a(2),ref(2361),o(380),functor(/(-,2)),o(381),o(61),string,o(55),o(97),t(0),ref(2371),o(61),t,o(97),t(1),ref(2375),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(2345),o(67),ref(2346),o(62),string,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(134),0,o(13),a(1),var,o(15),a(2),ref(2405),o(380),functor(/(-,2)),o(381),o(61),var,o(55),o(97),t(0),ref(2415),o(61),t,o(97),t(1),ref(2419),o(55),o(137),pw(-2),o(157),o(71),functor(/(-,2)),ref(2389),o(67),ref(2390),o(62),var,o(56),o(95),t(0),o(62),t,o(95),t(1),o(56),o(137),pw(-2),o(157),o(0),table([-(callable,ref(498)),-(var,ref(2384)),-(atom,ref(12)),-(nonground,ref(1559)),-(is_suspension,ref(1462)),-(bignum,ref(408)),-(atomic,ref(86)),-(is_list,ref(1388)),-(number,ref(2050)),-(rational,ref(2219)),-(free,ref(755)),-(real,ref(2264)),-(nonvar,ref(1666)),-(compound,ref(634)),-(is_event,ref(1267)),-(breal,ref(453)),-(float,ref(710)),-(integer,ref(1191)),-(string,ref(2340)),-(meta,ref(1507)),-(ground,ref(807)),-(is_handle,ref(1343))],44)),2468,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(binding_effect_on_guard,3),[](o(121),a(1),ref(34),2,ref(fail),o(13),a(1),false,o(7),a(3),a(2),o(157),o(20),a(1),true,o(2),a(2),a(1),o(106),a(2),o(91),pw(3),o(85),o(61),functor(/(-,2)),o(90),o(390),m,var,o(85),o(151),proc(/(or_classes,3)),o(0),o(177),table([-(true,ref(15)),-(false,ref(8))],4)),38,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__11,3),[](o(212),a(4),o(122),a(1),ref(29),ref(13),ref(fail),o(128),0,4,ref(27),o(10),a(1),o(7),a(3),a(2),o(6),pw(1),a(4),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(3),o(15),a(1),ref(39),o(368),a(1),y(2),o(139),ref(42),o(365),a(1),y(2),o(3),a(3),y(1),o(399),a(3),y(3),proc(/(and_guard,3)),15,o(351),2,y(2),a(1),o(396),y(1),a(3),ref(0),o(0)),59,0,0,0,0,0))).
?-(set_flag(/(do__11,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(and_guards,3),[](o(151),proc(/(do__11,3)),o(0)),3,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(and_guard,3),[](o(124),a(1),ref(fail),ref(28),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(19),ref(15),o(128),0,3,ref(26),o(13),a(1),true,o(7),a(3),a(2),o(157),o(134),0,o(136),pw(6),o(16),a(1),functor(/(guard,3)),ref(41),o(370),y(1),y(2),o(41),y(3),o(139),ref(46),o(367),y(1),y(2),o(42),y(3),o(107),a(4),functor(/(guard,3)),o(80),y(1),o(80),y(2),o(77),y(4),o(203),y(5),o(122),a(3),ref(62),ref(66),ref(66),o(128),0,4,ref(105),o(362),a(1),a(4),a(3),o(399),a(3),y(6),proc(/(selectchk,4)),127,o(204),y(5),pw(6),o(4),y(6),a(4),o(16),a(4),functor(/(guard,3)),ref(93),o(47),y(1),o(47),y(2),o(37),a(3),o(139),ref(99),o(48),y(1),o(48),y(2),o(38),a(3),o(351),2,y(3),a(1),o(145),proc(/(and_classes,3)),o(199),0,1,o(15),a(3),ref(116),o(43),a(1),o(43),a(2),o(154),o(44),a(1),o(44),a(2),o(154),o(0)),122,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__12,4),[](o(2),a(2),a(5),o(212),a(2),o(6),pw(12),a(5),y(1),o(122),a(1),ref(45),ref(30),ref(fail),o(122),a(3),ref(19),ref(28),ref(28),o(122),a(4),ref(45),ref(24),ref(45),o(128),0,4,ref(42),o(10),a(1),o(10),a(4),o(3),a(2),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(3),ref(60),o(380),functor(/(-,2)),o(370),y(7),y(8),o(97),t(0),ref(68),o(37),a(2),o(139),ref(70),o(71),functor(/(-,2)),ref(50),o(367),y(7),y(8),o(95),t(0),o(38),a(2),o(137),pw(-1),o(15),a(1),ref(87),o(380),functor(/(-,2)),o(370),y(9),y(10),o(97),t(0),ref(95),o(37),a(3),o(139),ref(97),o(71),functor(/(-,2)),ref(77),o(367),y(9),y(10),o(95),t(0),o(38),a(3),o(137),pw(-1),o(3),a(4),y(6),o(122),a(2),ref(117),ref(109),ref(117),o(10),a(2),o(3),a(3),y(3),o(288),y(1),y(4),o(139),ref(121),o(352),2,a(1),y(3),o(203),y(5),o(128),0,0,ref(196),o(285),a(3),y(12),o(353),y(9),a(1),y(7),a(2),o(143),proc(/(and_class,3)),5499,o(204),y(5),pw(12),o(285),a(3),y(11),o(353),y(10),a(1),y(8),a(2),o(143),proc(/(and_pass,3)),6235,o(4),y(6),a(1),o(15),a(1),ref(182),o(380),functor(/(-,2)),o(47),y(12),o(47),y(11),o(97),t(0),ref(191),o(41),y(2),o(137),pw(-1),o(354),y(3),a(1),y(1),a(2),y(4),a(3),o(396),y(2),a(4),ref(0),o(71),functor(/(-,2)),ref(160),o(48),y(12),o(48),y(11),o(95),t(0),o(42),y(2),o(192),pw(-1),ref(171),o(199),0,91,o(288),y(6),y(2),o(139),ref(171),o(0)),205,0,0,0,0,0))).
?-(set_flag(/(do__12,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(and_classes,3),[](o(6),pw(3),a(3),y(3),o(122),a(2),ref(20),ref(11),ref(20),o(10),a(2),o(101),a(1),o(355),a(1),y(2),a(2),y(1),o(139),ref(25),o(355),a(1),y(2),a(2),y(1),o(353),y(2),a(1),y(1),a(2),o(2),a(2),a(3),o(397),y(3),a(4),proc(/(do__12,4)),o(0)),38,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(and_pass,3),[](o(212),a(4),o(121),a(3),ref(40),2,ref(fail),o(121),a(1),ref(44),1,ref(35),o(121),a(2),ref(46),1,ref(35),o(128),0,4,ref(33),o(13),a(1),t,o(13),a(2),t,o(13),a(3),t,o(251),a(4),o(157),o(134),0,o(13),a(3),m,o(157),o(0),table([-(t,ref(21)),-(m,ref(38))],4),table([-(t,ref(12))],2),table([-(t,ref(17))],2)),48,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(and_class,3),[](o(136),pw(4),o(203),y(2),o(3),a(3),y(1),o(128),0,2,ref(28),o(3),a(2),y(3),o(99),a(2),o(395),y(3),a(3),proc(/(append,3)),15,o(204),y(2),pw(3),o(289),y(1),y(3),o(154),o(199),0,3,o(203),y(4),o(3),a(1),y(3),o(2),a(2),a(1),o(99),a(2),o(395),y(3),a(3),proc(/(append,3)),27,o(204),y(4),pw(3),o(289),y(1),y(3),o(154),o(0)),54,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__13,4),[](o(212),a(5),o(122),a(1),ref(36),ref(18),ref(fail),o(122),a(4),ref(36),ref(12),ref(36),o(128),0,5,ref(34),o(10),a(1),o(7),a(3),a(2),o(10),a(4),o(6),pw(1),a(5),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(11),o(15),a(1),ref(58),o(380),functor(/(guard,3)),o(37),a(1),o(2),a(3),a(5),o(368),a(3),y(5),o(97),t(0),ref(71),o(41),y(4),o(139),ref(73),o(71),functor(/(guard,3)),ref(43),o(38),a(1),o(2),a(3),a(5),o(365),a(3),y(5),o(95),t(0),o(42),y(4),o(137),pw(-1),o(203),y(6),o(3),a(5),y(3),o(128),0,4,ref(173),o(102),a(5),0,o(316),a(3),a(5),o(356),a(1),y(9),a(3),y(10),a(4),y(8),o(107),a(1),functor(/(guard,3)),o(80),y(9),o(79),a(3),o(77),y(11),o(399),a(3),y(1),proc(/(delete,3)),3963,o(204),y(6),pw(11),o(285),a(3),y(7),o(353),y(5),a(1),y(11),a(2),o(143),proc(/(or_classes,3)),1947,o(4),y(8),a(1),o(15),a(1),ref(157),o(380),functor(/(guard,3)),o(47),y(9),o(47),y(10),o(47),y(7),o(97),t(0),ref(168),o(41),y(2),o(137),pw(-1),o(354),y(4),a(1),y(1),a(2),y(3),a(3),o(396),y(2),a(4),ref(0),o(71),functor(/(guard,3)),ref(133),o(48),y(9),o(48),y(10),o(48),y(7),o(95),t(0),o(42),y(2),o(192),pw(-1),ref(146),o(199),0,25,o(355),a(2),y(1),a(4),y(2),o(139),ref(146),o(0)),184,0,0,0,0,0))).
?-(set_flag(/(do__13,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(or_guards,3),[](o(2),a(3),a(4),o(99),a(3),o(151),proc(/(do__13,4)),o(0)),8,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__14,5),[](o(212),a(6),o(122),a(3),ref(32),ref(11),ref(fail),o(128),0,6,ref(30),o(7),a(2),a(1),o(10),a(3),o(7),a(5),a(4),o(6),pw(1),a(6),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(7),o(15),a(3),ref(42),o(368),a(3),y(5),o(139),ref(45),o(365),a(3),y(5),o(203),y(6),o(355),a(2),y(3),a(5),y(4),o(2),a(4),a(2),o(122),a(2),ref(60),ref(64),ref(64),o(128),0,3,ref(95),o(3),a(2),y(7),o(2),a(3),a(2),o(399),a(3),y(1),proc(/(class_subsumes,3)),251,o(204),y(6),pw(7),o(288),y(7),y(2),o(354),y(1),a(1),y(3),a(2),y(5),a(3),o(353),y(2),a(4),y(4),a(5),o(144),ref(0),o(199),0,57,o(15),a(2),ref(110),o(43),a(1),o(41),y(2),o(3),a(3),y(1),o(139),ref(81),o(44),a(1),o(42),y(2),o(3),a(3),y(1),o(139),ref(81),o(0)),120,0,0,0,0,0))).
?-(set_flag(/(do__14,5),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(or_classes,3),[](o(6),pw(5),a(2),y(5),o(3),a(3),y(2),o(2),a(1),a(3),o(102),a(1),1,o(104),a(2),=<,o(399),a(4),y(4),proc(/(sort,4)),53,o(102),a(1),1,o(104),a(2),=<,o(285),a(4),y(3),o(395),y(5),a(3),proc(/(sort,4)),29,o(102),a(1),1,o(104),a(2),=<,o(285),a(5),y(1),o(353),y(4),a(3),y(3),a(4),o(143),proc(/(merge,5)),7,o(167),y(1),ref(57),ref(80),ref(80),o(4),y(1),a(6),o(15),a(6),ref(68),o(369),a(1),a(3),o(139),ref(71),o(366),a(1),a(3),o(106),a(5),o(76),a(2),o(85),o(397),y(2),a(4),proc(/(do__14,5)),o(289),y(1),y(2),o(154),o(0)),85,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(class_subsumes,3),[](o(136),pw(4),o(16),a(1),functor(/(-,2)),ref(11),o(368),a(1),y(1),o(139),ref(14),o(365),a(1),y(1),o(16),a(2),functor(/(-,2)),ref(26),o(2),a(3),a(4),o(368),a(3),y(2),o(139),ref(32),o(2),a(3),a(4),o(365),a(3),y(2),o(16),a(4),functor(/(-,2)),ref(42),o(43),a(1),o(41),y(3),o(139),ref(46),o(44),a(1),o(42),y(3),o(399),a(2),y(4),proc(/(append,3)),31,o(167),y(4),ref(56),ref(60),ref(56),o(289),y(1),y(3),o(154),o(4),y(4),a(4),o(17),a(4),o(351),3,y(1),a(1),o(145),proc(/(or_pass,3)),o(0)),72,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(or_pass,3),[](o(212),a(4),o(121),a(3),ref(70),2,ref(fail),o(121),a(1),ref(74),1,ref(55),o(121),a(2),ref(76),1,ref(62),o(128),0,4,ref(30),o(13),a(1),t,o(13),a(3),t,o(251),a(4),o(157),o(131),0,ref(42),o(13),a(2),t,o(13),a(3),t,o(251),a(4),o(157),o(134),0,o(13),a(3),m,o(157),o(129),0,4,ref(21),o(135),0,ref(33),o(129),0,4,ref(33),o(135),0,ref(44),o(129),0,4,ref(21),o(135),0,ref(44),o(0),table([-(t,ref(48)),-(m,ref(47))],4),table([-(t,ref(12))],2),table([-(t,ref(17))],2)),78,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(or_flags,3),[](o(212),a(4),o(121),a(1),ref(114),2,ref(fail),o(121),a(2),ref(118),2,ref(fail),o(121),a(3),ref(122),2,ref(fail),o(128),0,4,ref(33),o(13),a(1),false,o(13),a(2),false,o(13),a(3),false,o(251),a(4),o(157),o(131),0,ref(48),o(13),a(1),false,o(13),a(2),true,o(13),a(3),true,o(251),a(4),o(157),o(131),0,ref(63),o(13),a(1),true,o(13),a(2),false,o(13),a(3),true,o(251),a(4),o(157),o(134),0,o(13),a(1),true,o(13),a(2),true,o(13),a(3),true,o(157),o(129),0,4,ref(51),o(135),0,ref(65),o(129),0,4,ref(21),o(135),0,ref(36),o(129),0,4,ref(36),o(135),0,ref(65),o(129),0,4,ref(21),o(135),0,ref(51),o(129),0,4,ref(36),o(132),0,ref(51),o(135),0,ref(65),o(0),table([-(true,ref(75)),-(false,ref(82))],4),table([-(true,ref(89)),-(false,ref(96))],4),table([-(true,ref(103)),-(false,ref(21))],4)),126,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__15,3),[](o(2),a(3),a(4),o(212),a(3),o(6),pw(4),a(4),y(1),o(122),a(1),ref(56),ref(25),ref(fail),o(122),a(2),ref(40),ref(23),ref(fail),o(128),0,3,ref(37),o(10),a(1),o(10),a(2),o(3),a(3),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(1),ref(56),o(380),functor(/(variable,3)),o(37),a(1),o(349),pw(2),o(97),t(0),ref(63),o(41),y(2),o(139),ref(65),o(71),functor(/(variable,3)),ref(45),o(38),a(1),o(95),t(0),o(42),y(2),o(137),pw(-1),o(15),a(2),ref(76),o(43),a(1),o(41),y(3),o(139),ref(80),o(44),a(1),o(42),y(3),o(203),y(4),o(128),0,1,ref(100),o(99),a(3),o(2),a(1),a(2),o(395),y(1),a(1),proc(/(state_lookup_binding,3)),31,o(204),y(4),pw(3),o(163),o(199),0,15,o(351),2,y(2),a(1),o(396),y(1),a(3),ref(0),o(0)),112,0,0,0,0,0))).
?-(set_flag(/(do__15,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(all_fresh_vars,3),[](o(6),pw(3),a(2),y(2),o(399),a(2),y(3),proc(/(do__15,3)),13,o(285),a(2),y(1),o(395),y(3),a(1),proc(/(sort,2)),7,o(351),2,y(1),a(1),o(145),proc(/(length,2)),o(0)),24,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(all_fresh_term,2),[](o(124),a(1),ref(29),ref(77),ref(19),ref(19),ref(19),ref(19),ref(19),ref(19),ref(19),ref(19),ref(19),ref(19),ref(fail),o(139),ref(fail),o(308),a(1),o(157),o(34),o(2),a(2),a(3),o(366),a(2),a(1),o(151),proc(/(all_fresh_vars,3)),o(22),a(1),ref(32),o(366),a(4),a(5),o(106),a(1),o(79),a(4),o(90),o(79),a(5),o(85),o(2),a(2),a(3),o(102),a(2),2,o(151),proc(/(all_fresh_vars,3)),o(38),a(1),o(136),pw(1),o(203),y(1),o(128),0,2,ref(73),o(99),a(3),o(361),a(1),a(2),o(143),proc(/(state_lookup_binding,3)),3,o(204),y(1),pw(0),o(163),o(199),0,1,o(154),o(123),a(1),ref(84),2,ref(fail),o(0),o(177),table([-(/(variable,3),ref(51)),-(/(structure,3),ref(20))],4)),88,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__16,2),[](o(212),a(3),o(122),a(1),ref(33),ref(18),ref(fail),o(122),a(2),ref(33),ref(16),ref(fail),o(128),0,3,ref(31),o(10),a(1),o(10),a(2),o(6),pw(1),a(3),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(2),o(15),a(1),ref(50),o(380),functor(/(-,2)),o(369),a(3),a(1),o(97),t(0),ref(58),o(41),y(1),o(139),ref(60),o(71),functor(/(-,2)),ref(40),o(366),a(3),a(1),o(95),t(0),o(42),y(1),o(137),pw(-1),o(15),a(2),ref(91),o(380),functor(/(-,2)),o(43),a(3),o(37),a(2),o(97),t(0),ref(100),o(41),y(2),o(137),pw(-1),o(121),a(1),ref(122),1,ref(111),o(13),a(1),t,o(13),a(2),c,o(139),ref(114),o(71),functor(/(-,2)),ref(67),o(44),a(3),o(38),a(2),o(95),t(0),o(42),y(2),o(137),pw(-1),o(121),a(1),ref(124),1,ref(111),o(139),ref(83),o(7),a(2),a(1),o(351),2,y(1),a(1),o(144),ref(0),o(0),o(177),table([-(t,ref(86))],2),table([-(t,ref(86))],2)),126,0,0,0,0,0))).
?-(set_flag(/(do__16,2),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(exploit_commit,2),[](o(212),a(3),o(122),a(1),ref(7),ref(89),ref(89),o(122),a(2),ref(12),ref(89),ref(89),o(128),0,3,ref(87),o(15),a(1),ref(24),o(37),a(4),o(55),o(139),ref(27),o(38),a(4),o(56),o(15),a(2),ref(35),o(37),a(5),o(55),o(139),ref(38),o(38),a(5),o(56),o(251),a(3),o(16),a(4),functor(/(guard,3)),ref(50),o(349),pw(2),o(37),a(1),o(139),ref(54),o(265),pw(2),o(38),a(1),o(16),a(4),functor(/(guard,3)),ref(64),o(369),a(3),a(4),o(33),o(139),ref(67),o(366),a(3),a(4),o(16),a(5),functor(/(guard,3)),ref(79),o(43),a(3),o(43),a(4),o(37),a(2),o(151),proc(/(do__16,2)),o(44),a(3),o(44),a(4),o(38),a(2),o(151),proc(/(do__16,2)),o(134),0,o(7),a(2),a(1),o(157),o(0)),94,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__17,3),[](o(212),a(4),o(122),a(1),ref(47),ref(23),ref(fail),o(122),a(2),ref(32),ref(12),ref(32),o(122),a(3),ref(32),ref(17),ref(32),o(128),0,4,ref(30),o(10),a(1),o(10),a(2),o(10),a(3),o(251),a(4),o(157),o(134),0,o(15),a(1),ref(47),o(369),a(4),a(1),o(122),a(4),ref(57),ref(45),ref(57),o(10),a(4),o(150),ref(0),o(366),a(4),a(1),o(122),a(4),ref(57),ref(45),ref(57),o(139),ref(43),o(7),a(2),a(1),o(7),a(3),a(4),o(157),o(0)),65,0,0,0,0,0))).
?-(set_flag(/(do__17,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__18,4),[](o(2),a(1),a(5),o(212),a(1),o(6),pw(5),a(5),y(1),o(122),a(2),ref(44),ref(20),ref(fail),o(128),0,4,ref(33),o(10),a(2),o(7),a(4),a(3),o(3),a(1),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(2),ref(44),o(33),o(37),a(1),o(139),ref(47),o(34),o(38),a(1),o(352),2,a(3),y(4),o(122),a(1),ref(70),ref(58),ref(70),o(10),a(1),o(375),a(2),y(2),a(3),y(3),o(395),y(1),a(1),proc(/(do__17,3)),61,o(139),ref(76),o(288),y(1),y(2),o(3),a(1),y(3),o(4),y(4),a(5),o(321),a(5),1,a(3),24,o(351),2,y(2),a(1),o(396),y(5),a(4),ref(0),o(0)),93,0,0,0,0,0))).
?-(set_flag(/(do__18,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(eval_index_quality,2),[](o(6),pw(10),a(1),y(9),o(3),a(2),y(3),o(399),a(2),y(10),proc(/(dt_values,2)),1545,o(203),y(8),o(128),0,0,ref(91),o(106),a(2),o(61),var,o(85),o(376),a(3),a(4),o(395),y(9),a(1),proc(/(dt_lookup2,4)),1289,o(204),y(8),pw(10),o(288),y(10),y(7),o(285),a(2),y(4),o(395),y(7),a(1),proc(/(sort,2)),25,o(375),a(2),y(6),a(3),y(5),o(395),y(4),a(1),proc(/(do__17,3)),121,o(102),a(3),0,o(285),a(4),y(2),o(353),y(6),a(1),y(5),a(2),o(143),proc(/(do__18,4)),29,o(285),a(2),y(1),o(395),y(4),a(1),proc(/(length,2)),15,o(353),y(2),a(1),y(1),a(2),o(325),a(1),a(2),a(1),16,o(8),a(1),y(3),o(154),o(199),0,1033,o(106),a(1),o(85),o(80),y(10),o(3),a(1),y(7),o(139),ref(37),o(0)),105,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__19,4),[](o(2),a(4),a(5),o(212),a(4),o(6),pw(5),a(5),y(1),o(122),a(1),ref(14),ref(18),ref(18),o(128),0,4,ref(31),o(7),a(2),a(1),o(3),a(4),y(2),o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),0,3,o(15),a(1),ref(42),o(370),y(5),y(4),o(139),ref(45),o(367),y(5),y(4),o(352),2,a(2),y(2),o(104),a(3),true,o(353),y(3),a(1),y(5),a(2),o(143),proc(/(hash_set,3)),63,o(104),a(3),true,o(353),y(1),a(1),y(5),a(2),o(143),proc(/(hash_set,3)),31,o(4),y(4),a(1),o(351),2,y(2),a(2),o(396),y(1),a(4),ref(0),o(0)),83,0,0,0,0,0))).
?-(set_flag(/(do__19,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__20,4),[](o(2),a(2),a(5),o(212),a(2),o(6),pw(6),a(5),y(1),o(352),2,a(3),y(2),o(122),a(1),ref(61),ref(24),ref(fail),o(128),0,2,ref(34),o(10),a(1),o(3),a(2),y(4),o(143),proc(/(true,0)),17,o(204),y(4),pw(0),o(154),o(199),0,15,o(15),a(1),ref(61),o(380),functor(/(-,2)),o(33),o(37),a(1),o(97),t(0),ref(69),o(41),y(4),o(137),pw(-1),o(122),a(1),ref(80),ref(59),ref(fail),o(10),a(1),o(139),ref(143),o(71),functor(/(-,2)),ref(42),o(34),o(38),a(1),o(95),t(0),o(42),y(4),o(137),pw(-1),o(122),a(1),ref(80),ref(59),ref(fail),o(139),ref(57),o(366),a(1),a(2),o(122),a(2),ref(103),ref(90),ref(103),o(10),a(2),o(104),a(3),true,o(2),a(1),a(2),o(395),y(2),a(1),proc(/(hash_set,3)),31,o(139),ref(143),o(3),a(2),y(6),o(104),a(3),true,o(2),a(1),a(2),o(395),y(1),a(1),proc(/(hash_set,3)),95,o(106),a(2),o(77),y(5),o(85),o(354),y(6),a(1),y(3),a(3),y(1),a(4),o(143),proc(/(do__19,4)),63,o(104),a(3),true,o(353),y(3),a(1),y(5),a(2),o(143),proc(/(hash_set,3)),31,o(4),y(4),a(1),o(351),3,y(1),a(2),o(144),ref(0),o(0)),153,0,0,0,0,0))).
?-(set_flag(/(do__20,4),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__21,6),[](o(2),a(4),a(7),o(212),a(4),o(6),pw(10),a(7),y(1),o(352),2,a(5),y(2),o(128),0,4,ref(30),o(7),a(3),a(2),o(3),a(4),y(4),o(143),proc(/(true,0)),17,o(204),y(4),pw(0),o(154),o(199),0,15,o(321),a(2),1,a(4),24,o(3),a(4),y(6),o(340),a(2),a(1),a(4),16,o(203),y(7),o(355),a(1),y(4),a(3),y(5),o(2),a(4),a(1),o(121),a(1),ref(198),1,ref(184),o(128),0,2,ref(130),o(355),a(1),y(10),a(2),y(9),o(395),y(3),a(1),proc(/(hash_contains,2)),1791,o(204),y(7),pw(10),o(203),y(8),o(125),y(10),ref(200),1,ref(89),o(128),0,0,ref(119),o(353),y(1),a(1),y(9),a(2),o(143),proc(/(hash_contains,2)),1407,o(204),y(8),pw(10),o(4),y(10),a(1),o(13),a(1),retry,o(354),y(4),a(1),y(6),a(2),y(5),a(3),o(351),3,y(1),a(4),o(144),ref(0),o(199),0,1151,o(4),y(10),a(1),o(13),a(1),trust,o(139),ref(106),o(198),0,ref(153),255,o(3),a(1),y(8),o(395),y(1),a(1),proc(/(hash_contains,2)),511,o(204),y(7),pw(8),o(4),y(8),a(1),o(13),a(1),try,o(139),ref(106),o(198),0,ref(176),255,o(3),a(1),y(8),o(395),y(2),a(1),proc(/(hash_contains,2)),511,o(204),y(7),pw(8),o(4),y(8),a(1),o(13),a(1),det,o(139),ref(106),o(199),0,127,o(13),a(1),failure,o(139),ref(106),o(129),0,2,ref(65),o(343),0,ref(134),255,o(344),0,ref(157),255,o(0),o(177),table([-(failure,ref(61))],2),table([-(trust,ref(85))],2)),202,0,0,0,0,0))).
?-(set_flag(/(do__21,6),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__22,3),[](o(212),a(4),o(128),0,4,ref(20),o(7),a(2),a(1),o(6),pw(1),a(4),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(321),a(1),1,a(4),24,o(340),a(1),a(3),a(5),16,o(13),a(5),retry,o(2),a(4),a(1),o(150),ref(0),o(0)),41,0,0,0,0,0))).
?-(set_flag(/(do__22,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(eval_index_det,3),[](o(6),pw(6),a(2),y(1),o(3),a(3),y(2),o(122),a(1),ref(27),ref(106),ref(fail),o(15),a(1),ref(27),o(380),functor(/(index,3)),o(349),pw(2),o(37),a(1),o(97),t(0),ref(36),o(33),o(139),ref(36),o(71),functor(/(index,3)),ref(17),o(265),pw(2),o(38),a(1),o(95),t(0),o(137),pw(-1),o(399),a(2),y(6),proc(/(dt_list,2)),71,o(399),a(1),y(5),proc(/(hash_create,1)),103,o(399),a(1),y(4),proc(/(hash_create,1)),119,o(399),a(1),y(3),proc(/(hash_create,1)),127,o(354),y(6),a(1),y(5),a(2),y(4),a(3),o(395),y(3),a(4),proc(/(do__20,4)),63,o(106),a(2),o(80),y(1),o(85),o(395),y(2),a(1),proc(/(dim,2)),61,o(4),y(2),a(1),o(401),a(1),a(7),4,o(321),a(7),1,a(3),24,o(102),a(2),1,o(354),y(5),a(4),y(4),a(5),y(3),a(6),o(145),proc(/(do__21,6)),o(10),a(1),o(212),a(1),o(128),0,1,ref(186),o(102),a(2),2,o(4),y(1),a(3),o(337),a(3),a(2),compiler_indexing,48,o(403),a(1),pw(3),o(106),a(2),o(80),y(1),o(85),o(395),y(2),a(1),proc(/(dim,2)),7,o(4),y(2),a(4),o(340),1,a(4),a(5),18,o(13),a(5),try,o(4),y(1),a(5),o(340),a(5),a(4),a(4),16,o(13),a(4),trust,o(321),a(5),-1,a(4),24,o(321),a(4),1,a(2),24,o(102),a(1),2,o(399),a(3),y(3),proc(:(sepia_kernel,/(max,3))),13,o(102),a(1),2,o(353),y(3),a(2),y(2),a(3),o(145),proc(/(do__22,3)),o(199),0,7,o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(>=,2)),o(80),y(1),o(86),2,o(104),a(1),error,o(105),a(2),"Check failed: %w%n",o(404),a(4),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,4))),7,o(143),proc(/(abort,0)),7,o(139),ref(126),o(0)),218,0,0,'Compiler/compiler_indexing.ecl',0,0))).
:-(:(sepia_kernel,store_pred(/(do__23,5),[](o(212),a(6),o(128),0,6,ref(23),o(7),a(3),a(2),o(7),a(5),a(4),o(6),pw(1),a(6),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(321),a(2),1,a(6),24,o(6),pw(8),a(6),y(5),o(340),a(2),a(1),a(2),16,o(3),a(2),y(7),o(203),y(8),o(356),a(1),y(2),a(3),y(3),a(4),y(6),o(3),a(5),y(4),o(125),y(7),ref(124),2,ref(115),o(139),ref(115),o(128),0,0,ref(112),o(125),y(7),ref(128),2,ref(fail),o(139),ref(fail),o(4),y(7),a(1),o(20),a(1),det,o(204),y(8),pw(6),o(288),y(6),y(1),o(354),y(2),a(1),y(5),a(2),y(3),a(3),o(353),y(1),a(4),y(4),a(5),o(144),ref(0),o(4),y(7),a(1),o(20),a(1),failure,o(204),y(8),pw(6),o(288),y(6),y(1),o(139),ref(84),o(199),0,61,o(104),a(1),nondet,o(3),a(1),y(1),o(139),ref(84),o(0),table([-(failure,ref(61)),-(det,ref(61))],4),table([-(failure,ref(98)),-(det,ref(72))],4)),132,0,0,0,0,0))).
?-(set_flag(/(do__23,5),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__24,1),[](o(212),a(2),o(122),a(1),ref(26),ref(13),ref(fail),o(128),0,2,ref(24),o(10),a(1),o(6),pw(1),a(2),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(1),o(15),a(1),ref(36),o(368),a(4),y(1),o(139),ref(39),o(365),a(4),y(1),o(106),a(2),o(79),a(4),o(85),o(105),a(1),"    %w%n",o(404),a(3),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,3))),3,o(396),y(1),a(1),ref(0),o(0)),58,0,0,0,0,0))).
?-(set_flag(/(do__24,1),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__25,3),[](o(212),a(4),o(122),a(3),ref(29),ref(11),ref(fail),o(128),0,4,ref(27),o(7),a(2),a(1),o(10),a(3),o(6),pw(1),a(4),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(136),pw(6),o(15),a(3),ref(48),o(380),functor(/(index,3)),o(37),a(3),o(33),o(41),y(5),o(97),t(0),ref(58),o(41),y(2),o(139),ref(60),o(71),functor(/(index,3)),ref(36),o(38),a(3),o(34),o(42),y(5),o(95),t(0),o(42),y(2),o(137),pw(-1),o(321),a(1),1,a(4),24,o(3),a(4),y(3),o(102),a(4),10,o(324),a(4),a(3),a(1),16,o(3),a(2),y(1),o(399),a(2),y(6),proc(:(sepia_kernel,/(round,2))),111,o(102),a(4),10,o(4),y(6),a(5),o(325),a(5),a(4),a(4),16,o(106),a(2),o(80),y(3),o(90),o(79),a(4),o(85),o(105),a(1),"%d. Quality %.1f%n",o(404),a(3),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,3))),47,o(285),a(2),y(4),o(395),y(5),a(1),proc(/(dt_list,2)),31,o(395),y(4),a(1),proc(/(do__24,1)),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(144),ref(0),o(0)),137,0,0,0,0,0))).
?-(set_flag(/(do__25,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(do__26,3),[](o(212),a(4),o(128),0,4,ref(20),o(7),a(3),a(2),o(6),pw(1),a(4),y(1),o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),0,o(321),a(2),1,a(4),24,o(6),pw(3),a(4),y(3),o(340),a(2),a(1),a(4),16,o(355),a(1),y(1),a(3),y(2),o(2),a(2),a(5),o(106),a(2),o(79),a(5),o(90),o(79),a(4),o(85),o(105),a(1),"    Branch %d: %w%n",o(404),a(3),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,3))),15,o(354),y(1),a(1),y(3),a(2),y(2),a(3),o(144),ref(0),o(0)),71,0,0,0,0,0))).
?-(set_flag(/(do__26,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(dump_indexes,2),[](o(136),pw(4),o(16),a(1),functor(/(disjunction,16)),ref(20),o(368),a(1),y(1),o(349),pw(4),o(2),a(2),a(5),o(37),a(2),o(349),pw(9),o(139),ref(30),o(365),a(1),y(1),o(265),pw(4),o(2),a(2),a(5),o(38),a(2),o(16),a(5),functor(/(options,17)),ref(49),o(349),pw(10),o(37),a(3),o(349),pw(6),o(212),a(4),o(121),a(3),ref(170),1,ref(167),o(139),ref(167),o(265),pw(10),o(38),a(3),o(212),a(4),o(121),a(3),ref(172),1,ref(167),o(139),ref(167),o(122),a(2),ref(67),ref(167),ref(167),o(128),0,4,ref(164),o(20),a(3),on,o(15),a(2),ref(79),o(349),pw(2),o(403),a(4),pw(4),o(401),a(1),a(6),4,o(321),a(6),1,a(3),24,o(352),2,a(1),y(2),o(102),a(2),1,o(104),a(4),semidet,o(399),a(5),y(4),proc(/(do__23,5)),31,o(106),a(2),o(80),y(4),o(90),o(80),y(1),o(85),o(105),a(1),"INDEXES for (%w) disjunction %w%n",o(404),a(3),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,3))),15,o(99),a(2),o(102),a(1),0,o(395),y(3),a(3),proc(/(do__25,3)),7,o(106),a(2),o(80),y(1),o(85),o(105),a(1),"Branch determinisms for disjunction %w%n",o(404),a(3),compiler_indexing,o(143),proc(:(sepia_kernel,/(printf_body,3))),5,o(4),y(2),a(1),o(401),a(1),a(4),4,o(321),a(4),1,a(3),24,o(102),a(2),1,o(145),proc(/(do__26,3)),o(199),0,1,o(154),o(0),o(177),table([-(on,ref(62))],2),table([-(on,ref(62))],2)),174,0,0,'Compiler/compiler_indexing.ecl',0,0))).