:-(module(ic_probe_search)).
:-(lib(ic)).
:-(lib(repair)).
:-(lib(eplex)).
:-(use_module(bin_info)).
:-(use_module(ic_probe)).
:-(use_module(ic_make_overlap_bivs)).
:-(use_module(ic_probe_support)).
:-(export(/(probe_search,5))).
:-(:(sepia_kernel,store_pred(/(probe_search,5),[](o(136),pw(7),o(203),y(3),o(352),2,a(4),y(1),o(128),0,3,ref(66),o(352),3,a(1),y(4),o(285),a(4),y(7),o(342),proc(/(find_bottleneck,4)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',60,2194,2210,o(143),proc(/(find_bottleneck,4)),255,o(204),y(3),pw(7),o(4),y(7),a(1),o(351),2,y(1),a(2),o(342),proc(/(add_biv_cstr,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',61,2251,2264,o(143),proc(/(add_biv_cstr,3)),119,o(351),3,y(4),a(1),o(351),2,y(1),a(4),o(342),proc(/(probe_search,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',62,2299,2312,o(144),ref(0),o(199),525,1,o(154),o(0),ref(21),ref(41),ref(59),0),75,71,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',33,1098))).
:-(:(sepia_kernel,store_pred(/(biv_var,1),[](o(99),a(2),o(342),proc(/(get_bin_info,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',73,2646,2659,o(151),proc(/(get_bin_info,2)),o(0),ref(4),0),14,12,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',64,2375))).
:-(:(sepia_kernel,store_pred(/(resource_var,1),[](o(170),proc(/(var,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',76,2690,2694,0,1,o(298),a(1),o(172),o(136),pw(1),o(285),a(2),y(1),o(342),proc(/(get_min,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',77,2713,2714,o(143),proc(/(get_min,2)),3,o(102),a(1),0,o(4),y(1),a(2),o(170),proc(:(sepia_kernel,/(>,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',77,2713,2714,-1,3,o(336),a(2),a(1),ic_probe_search,48,o(172),o(154),o(0),ref(2),ref(19),ref(35),0),54,50,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',73,2666))).
:-(:(sepia_kernel,store_pred(/(add_biv_cstr,3),[](o(136),pw(6),o(203),y(3),o(352),2,a(2),y(1),o(128),0,1,ref(40),o(3),a(1),y(4),o(342),proc(/(resource_var,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',109,3766,3779,o(143),proc(/(resource_var,1)),25,o(204),y(3),pw(4),o(4),y(4),a(1),o(342),proc(/(set_to_min,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',110,3793,3804,o(145),proc(/(set_to_min,1)),o(199),525,7,o(3),a(1),y(4),o(107),a(2),functor(/(',',2)),o(370),y(5),y(6),o(342),proc(/(get_bin_info,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',113,3852,3865,o(143),proc(/(get_bin_info,2)),119,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',114,3896,3897,5,0,o(4),y(5),a(5),o(16),a(5),functor(/(task,3)),ref(84),o(37),a(1),o(349),pw(2),o(139),ref(86),o(38),a(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',115,3929,3930,5,0,o(4),y(6),a(5),o(16),a(5),functor(/(task,3)),ref(178),o(369),a(2),a(3),o(37),a(4),o(172),o(127),y(4),ref(320),1,ref(195),o(128),0,4,ref(191),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',116,3987,3988,5,0,o(4),y(4),a(4),o(11),a(4),0,o(172),o(2),a(1),a(4),o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(>=,2)),o(79),a(4),o(91),pw(3),o(61),functor(/(+,2)),o(79),a(2),o(79),a(3),o(106),a(2),o(61),ic,o(90),o(91),pw(2),o(85),o(61),functor(/(linear,1)),o(80),y(2),o(4),y(1),a(3),o(342),proc(/(add_con,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',116,3990,3998,o(145),proc(/(add_con,3)),o(366),a(2),a(3),o(38),a(4),o(172),o(127),y(4),ref(322),1,ref(195),o(139),ref(114),o(198),525,ref(261),23,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',118,4057,4058,5,0,o(8),a(4),y(4),o(172),o(2),a(1),a(4),o(106),a(1),o(91),pw(3),o(90),o(61),functor(/(>=,2)),o(79),a(4),o(79),a(2),o(91),pw(3),o(85),o(61),functor(/(<,2)),o(79),a(4),o(91),pw(3),o(61),functor(/(+,2)),o(79),a(2),o(79),a(3),o(106),a(2),o(61),ic,o(90),o(91),pw(2),o(85),o(61),functor(/(linear,1)),o(80),y(2),o(4),y(1),a(3),o(342),proc(/(add_con,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',119,4068,4076,o(145),proc(/(add_con,3)),o(199),525,23,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',121,4140,4141,5,0,o(4),y(4),a(4),o(11),a(4),0,o(172),o(2),a(1),a(4),o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(>,2)),o(79),a(2),o(79),a(4),o(106),a(2),o(61),ic,o(90),o(91),pw(2),o(85),o(61),functor(/(linear,1)),o(80),y(2),o(4),y(1),a(3),o(342),proc(/(add_con,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',122,4150,4158,o(145),proc(/(add_con,3)),o(0),o(177),0,ref(114),0,ref(114),ref(17),ref(33),ref(54),ref(64),ref(89),ref(120),ref(171),ref(197),ref(254),ref(266),ref(311),0),336,324,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',77,2716))).
:-(:(sepia_kernel,store_pred(/(find_bottleneck,4),[](o(6),pw(4),a(3),y(1),o(3),a(4),y(2),o(375),a(4),y(3),a(5),y(4),o(342),proc(/(max_tent_sum,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',146,5175,5188,o(143),proc(/(max_tent_sum,5)),31,o(353),y(3),a(4),y(1),a(5),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',147,5247,5249,-1,3,o(323),a(4),a(5),a(2),16,o(190),0,ref(27),o(102),a(4),0,o(170),proc(:(sepia_kernel,/(>,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',148,5278,5279,-1,3,o(336),a(2),a(4),ic_probe_search,48,o(172),o(353),y(4),a(1),y(2),a(3),o(342),proc(/(find_tightest_biv,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',149,5290,5308,o(145),proc(/(find_tightest_biv,3)),o(0),ref(14),ref(29),ref(49),ref(69),0),82,77,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',123,4202))).
:-(:(sepia_kernel,store_pred(/(do__1,7),[](o(2),a(7),a(8),o(212),a(7),o(6),pw(11),a(8),y(1),o(122),a(1),ref(61),ref(25),ref(fail),o(122),a(2),ref(53),ref(23),ref(fail),o(128),0,7,ref(50),o(10),a(1),o(10),a(2),o(7),a(4),a(3),o(7),a(6),a(5),o(3),a(7),y(2),o(342),proc(/(true,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',163,5869,5871,o(143),proc(/(true,0)),5,o(204),y(2),pw(0),o(154),o(199),525,3,o(15),a(1),ref(61),o(370),y(10),y(6),o(139),ref(64),o(367),y(10),y(6),o(15),a(2),ref(72),o(368),a(1),y(7),o(139),ref(75),o(365),a(1),y(7),o(356),a(3),y(8),a(4),y(4),a(5),y(9),o(3),a(6),y(5),o(285),a(2),y(11),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',163,5881,5889,o(143),proc(/(tent_get,2)),4083,o(212),a(1),o(128),0,1,ref(178),o(353),y(11),a(2),y(1),a(3),o(170),proc(:(sepia_kernel,/(<,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',164,5918,5919,-1,3,o(334),a(2),a(3),ic_probe_search,48,o(172),o(403),a(1),pw(9),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',164,5935,5936,5,0,o(288),y(8),y(2),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',164,5947,5948,5,0,o(288),y(9),y(3),o(172),o(351),2,y(6),a(1),o(354),y(2),a(3),y(4),a(4),y(3),a(5),o(353),y(5),a(6),y(1),a(7),o(342),proc(/(do__1,7)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',163,5869,5871,o(144),ref(0),o(198),525,ref(238),4083,o(353),y(11),a(2),y(8),a(3),o(170),proc(:(sepia_kernel,/(>,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',165,5977,5978,-1,3,o(336),a(2),a(3),ic_probe_search,48,o(172),o(403),a(1),pw(11),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',165,5992,5993,5,0,o(3),a(2),y(2),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',165,6004,6005,5,0,o(106),a(1),o(80),y(10),o(85),o(3),a(1),y(3),o(172),o(139),ref(153),o(198),525,ref(292),4083,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',166,6038,6039,5,0,o(289),y(8),y(11),o(172),o(403),a(1),pw(10),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',166,6053,6054,5,0,o(288),y(8),y(2),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',166,6065,6066,5,0,o(106),a(1),o(80),y(10),o(80),y(9),o(3),a(1),y(3),o(172),o(139),ref(153),o(199),525,1011,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',167,6120,6121,5,0,o(288),y(8),y(2),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',167,6132,6133,5,0,o(288),y(9),y(3),o(172),o(139),ref(153),o(0),ref(38),ref(90),ref(111),ref(129),ref(142),ref(171),ref(189),ref(207),ref(220),ref(244),ref(260),ref(273),ref(297),ref(310),0),339,324,524288,0,0,0))).
?-(set_flag(/(do__1,7),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(max_tent_sum,5),[](o(2),a(3),a(7),o(102),a(3),-1,o(2),a(5),a(6),o(101),a(5),o(342),proc(/(do__1,7)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',163,5869,5871,o(151),proc(/(do__1,7)),o(0),ref(13),0),23,21,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',149,5329))).
:-(:(sepia_kernel,store_pred(/(do__2,3),[](o(212),a(4),o(122),a(1),ref(40),ref(18),ref(fail),o(122),a(2),ref(40),ref(16),ref(fail),o(128),0,4,ref(38),o(10),a(1),o(10),a(2),o(6),pw(1),a(4),y(1),o(342),proc(/(true,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',198,6990,6992,o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),9,o(136),pw(3),o(15),a(1),ref(66),o(368),a(1),y(2),o(15),a(2),ref(76),o(380),functor(/(-,2)),o(2),a(3),a(2),o(369),a(3),a(4),o(97),t(0),ref(87),o(41),y(3),o(139),ref(89),o(365),a(1),y(2),o(15),a(2),ref(76),o(380),functor(/(-,2)),o(139),ref(53),o(71),functor(/(-,2)),ref(53),o(2),a(3),a(2),o(366),a(3),a(4),o(95),t(0),o(42),y(3),o(137),pw(-1),o(3),a(2),y(1),o(342),proc(/(ftb,4)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',199,7005,7009,o(143),proc(/(ftb,4)),15,o(351),2,y(2),a(1),o(4),y(1),a(3),o(342),proc(/(do__2,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',198,6990,6992,o(144),ref(0),o(0),ref(26),ref(96),ref(113),0),125,121,524288,0,0,0))).
?-(set_flag(/(do__2,3),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(find_tightest_biv,3),[](o(136),pw(3),o(203),y(2),o(3),a(3),y(1),o(128),0,2,ref(59),o(2),a(1),a(2),o(285),a(1),y(3),o(342),proc(/(member,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',189,6781,6788,o(143),proc(/(member,2)),15,o(353),y(1),a(1),y(3),a(2),o(342),proc(/(member,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',190,6808,6815,o(143),proc(/(member,2)),7,o(4),y(1),a(1),o(342),proc(/(resource_var,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',191,6833,6846,o(143),proc(/(resource_var,1)),5,o(204),y(2),pw(0),o(154),o(199),525,3,o(2),a(2),a(3),o(285),a(2),y(3),o(342),proc(/(do__2,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',198,6990,6992,o(143),proc(/(do__2,3)),11,o(353),y(3),a(1),y(1),a(2),o(342),proc(/(greatest_overlap,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',201,7053,7070,o(145),proc(/(greatest_overlap,2)),o(0),ref(19),ref(34),ref(47),ref(70),ref(85),0),99,93,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',170,6182))).
:-(:(sepia_kernel,store_pred(/(do__3,5),[](o(212),a(6),o(122),a(1),ref(39),ref(13),ref(fail),o(128),0,6,ref(37),o(10),a(1),o(7),a(3),a(2),o(7),a(5),a(4),o(6),pw(1),a(6),y(1),o(342),proc(/(true,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',209,7301,7303,o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),9,o(136),pw(5),o(15),a(1),ref(60),o(380),functor(/(-,2)),o(37),a(1),o(2),a(3),a(6),o(37),a(3),o(97),t(0),ref(72),o(41),y(5),o(139),ref(74),o(71),functor(/(-,2)),ref(46),o(38),a(1),o(2),a(3),a(6),o(38),a(3),o(95),t(0),o(42),y(5),o(137),pw(-1),o(2),a(5),a(7),o(212),a(5),o(352),2,a(6),y(3),o(128),0,5,ref(154),o(170),proc(:(sepia_kernel,/(>=,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',210,7317,7319,-1,3,o(337),a(2),a(1),ic_probe_search,48,o(172),o(403),a(5),pw(5),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',210,7347,7348,5,0,o(3),a(2),y(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',210,7347,7348,5,0,o(3),a(4),y(2),o(172),o(354),y(5),a(1),y(1),a(2),y(3),a(3),o(353),y(2),a(4),y(4),a(5),o(342),proc(/(do__3,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',209,7301,7303,o(144),ref(0),o(199),525,57,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',211,7419,7420,5,0,o(3),a(1),y(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',211,7419,7420,5,0,o(3),a(3),y(2),o(172),o(139),ref(133),o(0),ref(25),ref(91),ref(109),ref(122),ref(147),ref(159),ref(172),0),194,186,524288,0,0,0))).
?-(set_flag(/(do__3,5),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(greatest_overlap,2),[](o(376),a(3),a(4),o(2),a(2),a(5),o(102),a(2),0,o(342),proc(/(do__3,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',209,7301,7303,o(151),proc(/(do__3,5)),o(0),ref(11),0),21,19,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',201,7087))).
:-(:(sepia_kernel,store_pred(/(ftb,4),[](o(6),pw(8),a(2),y(6),o(352),2,a(3),y(3),o(375),a(2),y(7),a(3),y(8),o(342),proc(/(tent_olaps_only,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',225,7780,7796,o(143),proc(/(tent_olaps_only,3)),473,o(353),y(8),a(3),y(6),a(4),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',226,7851,7853,-1,3,o(323),a(3),a(4),a(3),16,o(3),a(3),y(2),o(190),0,ref(28),o(285),a(2),y(5),o(4),y(7),a(1),o(342),proc(/(add_olap_key,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',227,7879,7892,o(143),proc(/(add_olap_key,2)),61,o(102),a(1),1,o(104),a(2),>=,o(285),a(4),y(1),o(4),y(5),a(3),o(342),proc(/(sort,4)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',228,7922,7927,o(143),proc(/(sort,4)),31,o(107),a(3),functor(/(-,2)),o(80),y(3),o(80),y(4),o(353),y(2),a(1),y(1),a(2),o(342),proc(/(tightest_non_olap,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',229,7977,7995,o(145),proc(/(tightest_non_olap,3)),o(0),ref(15),ref(30),ref(56),ref(78),ref(100),0),114,108,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',213,7454))).
:-(:(sepia_kernel,store_pred(/(do__4,5),[](o(212),a(6),o(122),a(1),ref(39),ref(13),ref(fail),o(128),0,6,ref(37),o(10),a(1),o(7),a(3),a(2),o(7),a(5),a(4),o(6),pw(1),a(6),y(1),o(342),proc(/(true,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',237,8260,8262,o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),9,o(136),pw(10),o(15),a(1),ref(52),o(2),a(3),a(6),o(368),a(3),y(5),o(139),ref(58),o(2),a(3),a(6),o(365),a(3),y(5),o(203),y(6),o(355),a(6),y(3),a(5),y(4),o(2),a(4),a(1),o(124),a(3),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(207),ref(83),o(128),0,3,ref(204),o(170),proc(/(var,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',238,8276,8280,0,1,o(298),a(3),o(172),o(356),a(1),y(8),a(2),y(7),a(3),y(9),o(285),a(2),y(10),o(2),a(3),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',238,8288,8296,o(143),proc(/(tent_get,2)),2041,o(102),a(1),0,o(4),y(10),a(2),o(170),proc(/(\==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',238,8301,8304,0,2,o(316),a(2),a(1),o(172),o(204),y(6),pw(10),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',239,8326,8327,5,0,o(106),a(1),o(80),y(9),o(80),y(7),o(3),a(1),y(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',240,8372,8373,5,0,o(107),a(3),functor(/(+,2)),o(80),y(8),o(79),a(2),o(3),a(3),y(2),o(172),o(354),y(5),a(1),y(1),a(2),y(3),a(3),o(353),y(2),a(4),y(4),a(5),o(342),proc(/(do__4,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',237,8260,8262,o(144),ref(0),o(199),525,57,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',241,8415,8416,5,0,o(3),a(2),y(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',242,8456,8457,5,0,o(3),a(1),y(2),o(172),o(139),ref(183),o(0),ref(25),ref(89),ref(114),ref(130),ref(146),ref(165),ref(197),ref(209),ref(222),0),246,236,524288,0,0,0))).
?-(set_flag(/(do__4,5),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(tent_olaps_only,3),[](o(6),pw(2),a(3),y(1),o(2),a(2),a(3),o(101),a(2),o(102),a(4),0,o(285),a(5),y(2),o(342),proc(/(do__4,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',237,8260,8262,o(143),proc(/(do__4,5)),7,o(404),a(3),ic_probe_search,o(351),2,y(1),a(1),o(342),proc(:(sepia_kernel,/(is_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',245,8509,8511,o(145),proc(:(sepia_kernel,/(is_body,3))),o(0),ref(17),ref(34),0),45,42,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',229,8039))).
:-(:(sepia_kernel,store_pred(/(tightest_non_olap,3),[](o(136),pw(6),o(15),a(2),ref(17),o(380),functor(/(-,2)),o(370),y(2),y(3),o(97),t(0),ref(25),o(41),y(4),o(139),ref(27),o(71),functor(/(-,2)),ref(7),o(367),y(2),y(3),o(95),t(0),o(42),y(4),o(137),pw(-1),o(355),a(1),y(5),a(3),y(1),o(285),a(2),y(6),o(4),y(3),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',252,8721,8723,o(143),proc(/(tent_get,2)),127,o(351),2,y(5),a(3),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',252,8721,8723,-1,3,o(323),a(3),a(4),a(1),16,o(190),0,ref(54),o(212),a(2),o(128),0,2,ref(126),o(102),a(3),0,o(170),proc(:(sepia_kernel,/(<,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',254,8778,8779,-1,3,o(334),a(1),a(3),ic_probe_search,48,o(172),o(403),a(2),pw(3),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',254,8791,8792,5,0,o(4),y(1),a(1),o(16),a(1),functor(/(-,2)),ref(120),o(47),y(2),o(47),y(3),o(172),o(154),o(48),y(2),o(48),y(3),o(172),o(154),o(199),525,19,o(353),y(4),a(2),y(1),a(3),o(342),proc(/(tightest_non_olap,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',256,8819,8837,o(144),ref(0),o(0),ref(42),ref(56),ref(82),ref(100),ref(136),0),150,144,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',245,8524))).
:-(:(sepia_kernel,store_pred(/(do__5,2),[](o(212),a(3),o(122),a(1),ref(40),ref(18),ref(fail),o(122),a(2),ref(40),ref(16),ref(fail),o(128),0,3,ref(38),o(10),a(1),o(10),a(2),o(6),pw(1),a(3),y(1),o(342),proc(/(true,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',279,9766,9768,o(143),proc(/(true,0)),3,o(204),y(1),pw(0),o(154),o(134),9,o(136),pw(18),o(15),a(1),ref(64),o(368),a(1),y(1),o(15),a(2),ref(74),o(380),functor(/(-,2)),o(41),y(6),o(43),a(1),o(97),t(0),ref(83),o(41),y(2),o(139),ref(85),o(365),a(1),y(1),o(15),a(2),ref(74),o(380),functor(/(-,2)),o(139),ref(53),o(71),functor(/(-,2)),ref(53),o(42),y(6),o(44),a(1),o(95),t(0),o(42),y(2),o(137),pw(-1),o(107),a(2),functor(/(',',2)),o(370),y(17),y(18),o(342),proc(/(get_bin_info,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',280,9787,9800,o(143),proc(/(get_bin_info,2)),393287,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',281,9844,9845,5,0,o(4),y(17),a(3),o(16),a(3),functor(/(task,3)),ref(125),o(370),y(13),y(10),o(33),o(139),ref(128),o(367),y(13),y(10),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',282,9904,9905,5,0,o(4),y(18),a(3),o(16),a(3),functor(/(task,3)),ref(151),o(370),y(9),y(16),o(33),o(139),ref(154),o(367),y(9),y(16),o(172),o(285),a(2),y(15),o(4),y(9),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),108103,o(285),a(2),y(14),o(4),y(16),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),58951,o(353),y(15),a(3),y(14),a(4),o(170),proc(:(sepia_kernel,/(+,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,-1,3,o(322),a(3),a(4),a(3),16,o(3),a(3),y(11),o(190),0,ref(192),o(285),a(2),y(12),o(4),y(13),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),15943,o(351),2,y(11),a(3),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,-1,3,o(323),a(3),a(4),a(3),16,o(3),a(3),y(5),o(190),0,ref(232),o(285),a(2),y(8),o(4),y(13),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),1895,o(285),a(2),y(7),o(4),y(10),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),999,o(353),y(8),a(3),y(7),a(4),o(170),proc(:(sepia_kernel,/(+,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,-1,3,o(322),a(3),a(4),a(3),16,o(3),a(3),y(3),o(190),0,ref(289),o(285),a(2),y(4),o(4),y(9),a(1),o(342),proc(/(tent_get,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(/(tent_get,2)),127,o(351),2,y(3),a(4),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,-1,3,o(323),a(4),a(5),a(2),16,o(190),0,ref(329),o(353),y(5),a(1),y(6),a(3),o(342),proc(:(sepia_kernel,/(min,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',283,9963,9965,o(143),proc(:(sepia_kernel,/(min,3))),7,o(351),2,y(1),a(1),o(342),proc(/(do__5,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',279,9766,9768,o(144),ref(0),o(0),ref(26),ref(95),ref(105),ref(131),ref(163),ref(179),ref(194),ref(220),ref(234),ref(260),ref(276),ref(291),ref(317),ref(331),ref(353),ref(367),0),392,375,524288,0,0,0))).
?-(set_flag(/(do__5,2),auxiliary,on)).
:-(:(sepia_kernel,store_pred(/(add_olap_key,2),[](o(342),proc(/(do__5,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',279,9766,9768,o(151),proc(/(do__5,2)),o(0),ref(2),0),12,10,524288,'/opt/shared2/rotds/patch-2015-09-20/build/icparc_solvers/ic_probe_search.pl',257,8876))).
