:-(module(chr2pl)).
:-(pragma(deprecated_warnings(off))).
:-(export(','(op(1200,fy,handler),','(op(1200,fy,constraints),','(op(1200,fy,[label_with]),','(op(1190,xfx,[==>,<=>]),','(op(1200,xfx,:--),','(op(1200,xfx,@),','(op(1100,xfx,|),','(op(1100,xfx,\),op(700,xfx,flag))))))))))).
:-(export(','(/(chr2pl,1),/(chr,1)))).
:-(tool(/(chr,1),/(chr,2))).
:-(local(variable(gen_num))).
:-(skipped(','(/(chr2pl,1),/(chr,2)))).
:-(local(portray(/('CHRhead_not_kept',1),/(id,2),[]))).
:-(:(sepia_kernel,store_pred(/(id,2),[](o(7),a(2),a(1),o(157),o(0)),5,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',52,1537))).
:-(dynamic(','(/(handler,1),','(/(constraints,1),','(/(label_with,1),','(/(rule,5),/(:--,2))))))).
:-(set_flag(macro_expansion,off)).
:-(:(sepia_kernel,store_pred(/(chr,2),[](o(6),pw(3),a(1),y(3),o(3),a(2),y(2),o(342),proc(/(chr2pl,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',65,1781,1788,o(143),proc(/(chr2pl,1)),13,o(99),a(2),o(285),a(3),y(1),o(4),y(3),a(1),o(342),proc(/(basename_chr,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',66,1796,1809,o(143),proc(/(basename_chr,3)),7,o(107),a(1),functor(/(compile,1)),o(80),y(1),o(404),a(3),chr2pl,o(4),y(2),a(2),o(342),proc(:(sepia_kernel,/(call2_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',67,1829,1834,o(145),proc(:(sepia_kernel,/(call2_,3))),o(0),ref(9),ref(27),ref(48),0),60,56,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',61,1756))).
:-(mode(chr2pl(++))).
:-(:(sepia_kernel,store_pred(/(chr2pl,1),[](o(136),pw(9),o(203),y(8),o(3),a(1),y(9),o(104),a(1),syntax_option,o(104),a(2),'$VAR',o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(set_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',72,1938,1947,o(143),proc(:(sepia_kernel,/(set_flag_body,3))),769,o(285),a(1),y(7),o(342),proc(/(cputime,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',73,1972,1980,o(143),proc(/(cputime,1)),897,o(342),proc(/(init,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',75,1994,1998,o(143),proc(/(init,0)),897,o(375),a(2),y(4),a(3),y(6),o(4),y(9),a(1),o(342),proc(/(basename_chr,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',76,2001,2014,o(143),proc(/(basename_chr,3)),465,o(104),a(2),write,o(104),a(3),file_pl,o(4),y(6),a(1),o(342),proc(/(open,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',77,2040,2045,o(143),proc(/(open,3)),465,o(342),proc(/(header,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',78,2072,2078,o(143),proc(/(header,0)),465,o(4),y(4),a(1),o(342),proc(/(read_all,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',79,2081,2090,o(143),proc(/(read_all,1)),465,o(204),y(8),pw(7),o(342),proc(/(translate,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',81,2105,2114,o(143),proc(/(translate,0)),209,o(104),a(1),file_pl,o(342),proc(/(close,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',82,2117,2123,o(143),proc(/(close,1)),209,o(342),proc(/(end,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',83,2134,2137,o(143),proc(/(end,0)),209,o(285),a(1),y(5),o(342),proc(/(cputime,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',85,2153,2155,o(143),proc(/(cputime,1)),241,o(353),y(5),a(4),y(7),a(5),o(170),proc(:(sepia_kernel,/(-,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',85,2153,2155,-1,3,o(323),a(4),a(5),a(4),16,o(3),a(4),y(2),o(190),0,ref(163),o(104),a(2),size,o(285),a(3),y(3),o(4),y(6),a(1),o(342),proc(/(get_file_info,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',86,2178,2192,o(143),proc(/(get_file_info,3)),29,o(285),a(1),y(1),o(4),y(4),a(2),o(342),proc(/(atom_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',87,2215,2227,o(143),proc(/(atom_string,2)),15,o(107),a(2),functor(/(',',2)),o(80),y(1),o(91),pw(3),o(61),functor(/(',',2)),o(80),y(3),o(80),y(2),o(102),a(1),139,o(404),a(3),chr2pl,o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(error_,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',88,2251,2257,o(145),proc(:(sepia_kernel,/(error_,4))),o(0),ref(18),ref(31),ref(41),ref(59),ref(78),ref(88),ref(101),ref(114),ref(127),ref(137),ref(150),ref(165),ref(194),ref(210),ref(242),0),266,250,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',69,1881))).
:-(mode(read_all(++))).
:-(:(sepia_kernel,store_pred(/(read_all,1),[](o(212),a(2),o(124),a(1),ref(83),ref(83),ref(83),ref(83),ref(19),ref(83),ref(83),ref(83),ref(83),ref(83),ref(83),ref(83),ref(83),o(139),ref(83),o(128),0,2,ref(81),o(170),proc(/(==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',98,2494,2496,5,0,o(21),a(1),"user",o(172),o(251),a(2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',99,2514,2515,5,0,o(136),pw(1),o(104),a(1),input,o(3),a(1),y(1),o(172),o(4),y(1),a(1),o(342),proc(/(read_and_write,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',103,2564,2579,o(143),proc(/(read_and_write,1)),3,o(4),y(1),a(1),o(342),proc(/(close,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',104,2591,2597,o(145),proc(/(close,1)),o(134),9,o(104),a(2),read,o(136),pw(1),o(285),a(3),y(1),o(342),proc(/(open,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',101,2529,2534,o(143),proc(/(open,3)),3,o(139),ref(56),o(0),ref(25),ref(40),ref(61),ref(74),ref(93),0),110,104,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',91,2328))).
:-(:(sepia_kernel,store_pred(/(read_and_write,1),[](o(6),pw(3),a(1),y(1),o(107),a(1),functor(/(read,2)),o(80),y(1),o(77),y(2),o(104),a(2),eclipse,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(call2_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',107,2633,2638,o(143),proc(:(sepia_kernel,/(call2_,3))),7,o(125),y(2),ref(108),1,ref(32),o(203),y(3),o(128),0,0,ref(83),o(4),y(2),a(1),o(342),proc(/(treat,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',111,2723,2729,o(143),proc(/(treat,1)),11,o(204),y(3),pw(1),o(4),y(1),a(1),o(342),proc(/(read_and_write,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',117,2796,2811,o(144),ref(0),o(170),proc(/(==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',108,2676,2678,5,0,o(4),y(2),a(1),o(20),a(1),end_of_file,o(172),o(154),o(199),525,7,o(102),a(1),110,o(404),a(3),chr2pl,o(4),y(2),a(2),o(342),proc(:(sepia_kernel,/(error_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',115,2770,2776,o(143),proc(:(sepia_kernel,/(error_,3))),3,o(139),ref(54),o(0),table([-(end_of_file,ref(66))],2),ref(19),ref(43),ref(59),ref(68),ref(97),0),116,110,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',104,2604))).
:-(:(sepia_kernel,store_pred(/(init,0),[](o(104),a(1),gen_num,o(102),a(2),0,o(404),a(3),chr2pl,o(136),pw(1),o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',123,2911,2918,o(143),proc(:(sepia_kernel,/(setval_body,3))),1,o(104),a(1),print_depth,o(285),a(2),y(1),o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(get_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',124,2932,2941,o(143),proc(:(sepia_kernel,/(get_flag_body,3))),3,o(104),a(1),print_depth,o(404),a(3),chr2pl,o(4),y(1),a(2),o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',125,2968,2975,o(143),proc(:(sepia_kernel,/(setval_body,3))),1,o(104),a(1),print_depth,o(102),a(2),100000,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(set_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',126,3002,3011,o(143),proc(:(sepia_kernel,/(set_flag_body,3))),1,o(104),a(1),check_guard_bindings,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',127,3072,3079,o(143),proc(:(sepia_kernel,/(setval_body,3))),1,o(104),a(1),already_in_store,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',128,3107,3114,o(143),proc(:(sepia_kernel,/(setval_body,3))),1,o(104),a(1),already_in_heads,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',129,3138,3145,o(143),proc(:(sepia_kernel,/(setval_body,3))),1,o(107),a(1),functor(/(handler,1)),o(75),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(retract_all_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',130,3169,3181,o(143),proc(:(sepia_kernel,/(retract_all_body,2))),1,o(107),a(1),functor(/(constraints,1)),o(75),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(retract_all_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',131,3194,3206,o(143),proc(:(sepia_kernel,/(retract_all_body,2))),1,o(107),a(1),functor(/(label_with,1)),o(75),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(retract_all_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',132,3223,3235,o(143),proc(:(sepia_kernel,/(retract_all_body,2))),1,o(107),a(1),functor(/(rule,5)),o(350),pw(5),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(retract_all_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',133,3251,3263,o(143),proc(:(sepia_kernel,/(retract_all_body,2))),1,o(107),a(1),functor(/(:--,2)),o(350),pw(2),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(retract_all_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',134,3286,3298,o(145),proc(:(sepia_kernel,/(retract_all_body,2))),o(0),ref(13),ref(32),ref(51),ref(70),ref(89),ref(108),ref(127),ref(144),ref(161),ref(178),ref(196),ref(214),0),235,222,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',118,2829))).
:-(:(sepia_kernel,store_pred(/(end,0),[](o(104),a(1),print_depth,o(136),pw(1),o(285),a(2),y(1),o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',138,3319,3326,o(143),proc(:(sepia_kernel,/(getval_body,3))),3,o(104),a(1),print_depth,o(404),a(3),chr2pl,o(4),y(1),a(2),o(342),proc(:(sepia_kernel,/(set_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',139,3353,3362,o(145),proc(:(sepia_kernel,/(set_flag_body,3))),o(0),ref(13),ref(32),0),43,40,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',134,3308))).
:-(:(sepia_kernel,store_pred(/(treat,1),[](o(136),pw(4),o(203),y(1),o(123),a(1),ref(350),4,ref(313),o(16),a(1),functor(/(operator,3)),ref(20),o(370),y(2),y(3),o(41),y(4),o(139),ref(25),o(367),y(2),y(3),o(42),y(4),o(107),a(1),functor(/(op,3)),o(80),y(2),o(80),y(3),o(80),y(4),o(104),a(2),eclipse,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(call2_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',145,3518,3523,o(143),proc(:(sepia_kernel,/(call2_,3))),29,o(106),a(3),o(91),pw(2),o(85),o(61),functor(/(:-,1)),o(91),pw(4),o(61),functor(/(op,3)),o(80),y(2),o(80),y(3),o(80),y(4),o(104),a(1),file_pl,o(105),a(2),"%q.\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',146,3547,3554,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(366),a(1),a(2),o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',149,3626,3633,o(145),proc(:(sepia_kernel,/(setval_body,3))),o(38),a(1),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(call_,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',152,3672,3676,o(145),proc(:(sepia_kernel,/(call_,2))),o(3),a(1),y(4),o(342),proc(/(is_rule,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',154,3694,3702,o(143),proc(/(is_rule,1)),19,o(204),y(1),pw(4),o(285),a(2),y(3),o(4),y(4),a(1),o(342),proc(/(syn_rule,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',156,3714,3723,o(143),proc(/(syn_rule,2)),9,o(285),a(2),y(2),o(4),y(3),a(1),o(342),proc(/(preprocess_rule,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',157,3736,3752,o(143),proc(/(preprocess_rule,2)),5,o(404),a(2),chr2pl,o(4),y(2),a(1),o(342),proc(:(sepia_kernel,/(assert_,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',158,3765,3772,o(145),proc(:(sepia_kernel,/(assert_,2))),o(3),a(1),y(2),o(342),proc(/(chr_item,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',160,3795,3804,o(143),proc(/(chr_item,1)),7,o(204),y(1),pw(2),o(404),a(2),chr2pl,o(4),y(2),a(1),o(342),proc(:(sepia_kernel,/(assert_,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',162,3816,3823,o(145),proc(:(sepia_kernel,/(assert_,2))),o(16),a(1),functor(/(:-,2)),ref(217),o(370),y(2),y(3),o(139),ref(220),o(367),y(2),y(3),o(4),y(2),a(1),o(342),proc(/(is_a_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',164,3854,3870,o(143),proc(/(is_a_constraint,1)),15,o(204),y(1),pw(3),o(107),a(1),functor(/(:--,2)),o(80),y(2),o(80),y(3),o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(assert_,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',166,3912,3919,o(145),proc(:(sepia_kernel,/(assert_,2))),o(3),a(1),y(2),o(342),proc(/(is_a_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',168,3951,3967,o(143),proc(/(is_a_constraint,1)),7,o(204),y(1),pw(2),o(107),a(1),functor(/(:--,2)),o(80),y(2),o(61),true,o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(assert_,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',170,4009,4016,o(145),proc(:(sepia_kernel,/(assert_,2))),o(106),a(3),o(79),a(1),o(85),o(104),a(1),file_pl,o(105),a(2),"%q.\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',172,4066,4073,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(129),0,1,ref(114),o(343),525,ref(177),3,o(343),525,ref(255),3,o(344),525,ref(290),1,o(129),0,1,ref(114),o(343),525,ref(177),3,o(343),525,ref(208),3,o(343),525,ref(255),3,o(344),525,ref(290),1,o(0),table([-(/(:-,2),ref(329)),-(/(?-,1),ref(100)),-(/(option,2),ref(85)),-(/(operator,3),ref(20))],8),ref(42),ref(78),ref(93),ref(107),ref(119),ref(138),ref(154),ref(170),ref(182),ref(201),ref(225),ref(248),ref(260),ref(283),ref(306),0),374,358,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',139,3387))).
:-(:(sepia_kernel,store_pred(/(chr_item,1),[](o(123),a(1),ref(164),3,ref(fail),o(128),0,1,ref(32),o(16),a(1),functor(/(handler,1)),ref(17),o(37),a(1),o(139),ref(19),o(38),a(1),o(170),proc(/(atomic,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',175,4131,4138,0,1,o(308),a(1),o(172),o(157),o(131),9,ref(90),o(16),a(1),functor(/(constraints,1)),ref(43),o(37),a(1),o(139),ref(45),o(38),a(1),o(136),pw(1),o(203),y(1),o(128),0,1,ref(67),o(342),proc(/(speclist,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',177,4177,4186,o(143),proc(/(speclist,1)),3,o(204),y(1),pw(0),o(154),o(199),525,1,o(107),a(2),functor(/(constraints,1)),o(79),a(1),o(102),a(1),110,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(error_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',181,4224,4230,o(145),proc(:(sepia_kernel,/(error_,3))),o(134),9,o(16),a(1),functor(/(label_with,1)),ref(103),o(66),functor(/(if,2)),o(369),a(1),a(2),o(139),ref(109),o(74),functor(/(if,2)),ref(98),o(366),a(1),a(2),o(136),pw(1),o(203),y(1),o(128),0,2,ref(131),o(342),proc(/(is_a_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',184,4309,4325,o(143),proc(/(is_a_constraint,1)),3,o(204),y(1),pw(0),o(154),o(199),525,1,o(2),a(2),a(4),o(107),a(2),functor(/(label_with,1)),o(91),pw(3),o(61),functor(/(if,2)),o(79),a(1),o(79),a(4),o(102),a(1),110,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(error_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',188,4365,4371,o(145),proc(:(sepia_kernel,/(error_,3))),o(0),table([-(/(constraints,1),ref(43)),-(/(handler,1),ref(17)),-(/(label_with,1),ref(103))],6),ref(21),ref(55),ref(83),ref(119),ref(156),0),176,170,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',172,4101))).
:-(:(sepia_kernel,store_pred(/(is_a_constraint,1),[](o(136),pw(3),o(375),a(2),y(2),a(3),y(3),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',193,4446,4454,o(143),proc(/(functor,3)),13,o(285),a(1),y(1),o(342),proc(/(constraint_list,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',194,4478,4494,o(143),proc(/(constraint_list,1)),15,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(4),y(1),a(2),o(342),proc(/(memberchk,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',195,4502,4512,o(145),proc(/(memberchk,2)),o(0),ref(9),ref(22),ref(42),0),54,50,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',189,4417))).
:-(:(sepia_kernel,store_pred(/(is_rule,1),[](o(123),a(1),ref(38),3,ref(fail),o(128),0,1,ref(16),o(16),a(1),functor(/(<=>,2)),ref(35),o(349),pw(2),o(157),o(131),9,ref(26),o(16),a(1),functor(/(==>,2)),ref(35),o(349),pw(2),o(157),o(134),9,o(16),a(1),functor(/(@,2)),ref(35),o(349),pw(2),o(157),o(157),o(0),o(177),table([-(/(<=>,2),ref(35)),-(/(@,2),ref(35)),-(/(==>,2),ref(35))],6)),44,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',195,4533))).
:-(:(sepia_kernel,store_pred(/(speclist,1),[](o(123),a(1),ref(74),2,ref(fail),o(16),a(1),functor(/(/,2)),ref(45),o(369),a(1),a(2),o(139),ref(48),o(136),pw(1),o(23),a(1),functor(/(',',2)),ref(20),o(365),a(1),y(1),o(342),proc(/(speclist,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',205,4624,4633,o(142),ref(0),3,o(4),y(1),a(1),o(342),proc(/(speclist,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',206,4640,4649,o(144),ref(0),o(366),a(1),a(2),o(170),proc(/(atom,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',208,4683,4688,0,1,o(300),a(1),o(172),o(170),proc(/(integer,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',209,4699,4707,0,1,o(301),a(2),o(172),o(157),o(0),table([-(/(/,2),ref(45)),-(/(',',2),ref(14))],4),ref(25),ref(38),ref(50),ref(62),0),83,78,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',200,4587))).
:-(:(sepia_kernel,store_pred(/(syn_rule,2),[](o(212),a(3),o(123),a(1),ref(148),1,ref(66),o(128),0,3,ref(64),o(16),a(1),functor(/(@,2)),ref(20),o(369),a(6),a(1),o(139),ref(23),o(366),a(6),a(1),o(16),a(2),functor(/(rule,5)),ref(41),o(37),a(2),o(43),a(6),o(2),a(3),a(6),o(369),a(3),a(4),o(37),a(5),o(139),ref(53),o(38),a(2),o(44),a(6),o(2),a(3),a(6),o(366),a(3),a(4),o(38),a(5),o(251),a(6),o(342),proc(/(syn_anonym_rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',214,4787,4803,o(151),proc(/(syn_anonym_rule,5)),o(134),9,o(136),pw(7),o(16),a(2),functor(/(rule,5)),ref(82),o(370),y(2),y(3),o(370),y(4),y(5),o(41),y(6),o(139),ref(90),o(367),y(2),y(3),o(367),y(4),y(5),o(42),y(6),o(3),a(1),y(1),o(285),a(1),y(7),o(342),proc(/(gen_sym,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',216,4893,4901,o(143),proc(/(gen_sym,1)),255,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',217,4911,4912,5,0,o(4),y(3),a(6),o(16),a(6),functor(/(anonymous,1)),ref(126),o(47),y(7),o(139),ref(128),o(48),y(7),o(172),o(351),2,y(1),a(1),o(351),3,y(4),a(3),o(342),proc(/(syn_anonym_rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',218,4928,4944,o(145),proc(/(syn_anonym_rule,5)),o(0),o(177),table([-(/(@,2),ref(7))],2),ref(57),ref(98),ref(108),ref(139),0),155,150,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',209,4714))).
:-(:(sepia_kernel,store_pred(/(syn_anonym_rule,5),[](o(6),pw(3),a(4),y(1),o(3),a(5),y(2),o(123),a(1),ref(114),2,ref(fail),o(121),a(2),ref(118),2,ref(fail),o(128),0,3,ref(65),o(16),a(1),functor(/(<=>,2)),ref(30),o(368),a(1),y(3),o(139),ref(33),o(365),a(1),y(3),o(13),a(2),replacement,o(2),a(3),a(2),o(342),proc(/(syn_heads,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',221,5058,5068,o(143),proc(/(syn_heads,2)),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(342),proc(/(syn_rule_body,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',222,5088,5102,o(145),proc(/(syn_rule_body,3)),o(199),525,7,o(16),a(1),functor(/(==>,2)),ref(77),o(368),a(1),y(3),o(139),ref(80),o(365),a(1),y(3),o(13),a(2),augmentation,o(2),a(3),a(2),o(342),proc(/(syn_heads,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',224,5208,5218,o(143),proc(/(syn_heads,2)),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(342),proc(/(syn_rule_body,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',225,5238,5252,o(145),proc(/(syn_rule_body,3)),o(0),o(177),table([-(/(<=>,2),ref(30)),-(/(==>,2),ref(77))],4),table([-(augmentation,ref(68)),-(replacement,ref(21))],4),ref(41),ref(58),ref(88),ref(105),0),127,122,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',218,4976))).
:-(:(sepia_kernel,store_pred(/(syn_heads,2),[](o(212),a(3),o(123),a(1),ref(266),2,ref(217),o(124),a(2),ref(251),ref(26),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(fail),ref(22),o(128),0,3,ref(115),o(136),pw(3),o(16),a(1),functor(/(\,2)),ref(58),o(368),a(1),y(1),o(16),a(2),functor(/(\,2)),ref(69),o(380),functor(/(kf,2)),o(37),a(2),o(2),a(3),a(4),o(37),a(3),o(97),t(0),ref(81),o(66),functor(/(kf,2)),o(370),y(2),y(3),o(139),ref(87),o(365),a(1),y(1),o(16),a(2),functor(/(\,2)),ref(69),o(380),functor(/(kf,2)),o(139),ref(41),o(71),functor(/(kf,2)),ref(41),o(38),a(2),o(2),a(3),a(4),o(38),a(3),o(95),t(0),o(74),functor(/(kf,2)),ref(53),o(367),y(2),y(3),o(137),pw(-1),o(403),a(4),pw(3),o(342),proc(/(syn_head,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',230,5353,5362,o(143),proc(/(syn_head,3)),15,o(351),3,y(1),a(1),o(342),proc(/(syn_head,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',231,5385,5394,o(145),proc(/(syn_head,3)),o(131),9,ref(215),o(136),pw(3),o(16),a(1),functor(/(',',2)),ref(154),o(368),a(1),y(1),o(15),a(2),ref(164),o(380),functor(/(kf,2)),o(37),a(2),o(2),a(3),a(4),o(37),a(3),o(97),t(0),ref(176),o(65),o(380),functor(/(kf,2)),o(370),y(2),y(3),o(97),t(0),ref(186),o(55),o(139),ref(187),o(365),a(1),y(1),o(15),a(2),ref(164),o(380),functor(/(kf,2)),o(139),ref(132),o(71),functor(/(kf,2)),ref(132),o(38),a(2),o(2),a(3),a(4),o(38),a(3),o(95),t(0),o(70),ref(143),o(71),functor(/(kf,2)),ref(145),o(367),y(2),y(3),o(95),t(0),o(56),o(137),pw(-2),o(403),a(4),pw(3),o(342),proc(/(syn_head,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',234,5488,5497,o(143),proc(/(syn_head,3)),15,o(351),3,y(1),a(1),o(342),proc(/(syn_head,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',235,5520,5529,o(145),proc(/(syn_head,3)),o(134),9,o(15),a(2),ref(231),o(380),functor(/(kf,2)),o(369),a(2),a(3),o(97),t(0),ref(239),o(55),o(139),ref(240),o(71),functor(/(kf,2)),ref(222),o(366),a(2),a(3),o(95),t(0),o(56),o(137),pw(-1),o(342),proc(/(syn_head,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',237,5589,5598,o(151),proc(/(syn_head,3)),o(129),0,3,ref(118),o(135),9,ref(217),o(129),0,3,ref(26),o(135),9,ref(217),o(0),table([-(/(',',2),ref(251)),-(/(\,2),ref(258))],4),ref(94),ref(108),ref(194),ref(208),ref(244),0),276,270,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',225,5276))).
:-(:(sepia_kernel,store_pred(/(syn_head,3),[](o(136),pw(1),o(203),y(1),o(123),a(1),ref(96),1,ref(9),o(129),0,3,ref(47),o(344),525,ref(64),1,o(366),a(1),a(4),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',242,5673,5674,5,0,o(7),a(2),a(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',242,5685,5686,5,0,o(7),a(3),a(4),o(172),o(154),o(7),a(2),a(1),o(342),proc(/(is_a_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',244,5721,5737,o(143),proc(/(is_a_constraint,1)),3,o(204),y(1),pw(0),o(154),o(104),a(1),stderr,o(105),a(2),"Wrong head of rule\n",o(101),a(3),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',247,5774,5781,o(143),proc(:(sepia_kernel,/(printf_body,4))),1,o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',248,5819,5823,0,0,o(163),o(0),table([-(/(flag,2),ref(17))],2),ref(22),ref(35),ref(52),ref(77),ref(87),0),104,98,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',237,5616))).
:-(:(sepia_kernel,store_pred(/(syn_rule_body,3),[](o(212),a(4),o(123),a(1),ref(42),1,ref(33),o(139),ref(13),o(128),0,4,ref(31),o(16),a(1),functor(/(|,2)),ref(24),o(43),a(2),o(43),a(3),o(251),a(4),o(157),o(44),a(2),o(44),a(3),o(251),a(4),o(157),o(134),9,o(13),a(2),true,o(7),a(3),a(1),o(157),o(0),o(177),table([-(/(|,2),ref(9))],2)),44,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',248,5824))).
:-(:(sepia_kernel,store_pred(/(preprocess_rule,2),[](o(136),pw(10),o(203),y(1),o(123),a(1),ref(434),1,ref(428),o(128),0,2,ref(425),o(16),a(1),functor(/(rule,5)),ref(36),o(61),replacement,o(41),y(6),o(381),o(41),y(7),o(65),o(41),y(8),o(55),o(97),t(0),ref(51),o(370),y(9),y(10),o(139),ref(54),o(62),replacement,o(42),y(6),o(67),ref(22),o(42),y(7),o(70),ref(25),o(42),y(8),o(56),o(95),t(0),o(367),y(9),y(10),o(137),pw(-1),o(3),a(2),y(5),o(104),a(1),already_in_heads,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',257,5991,5998,o(143),proc(:(sepia_kernel,/(getval_body,3))),2019,o(204),y(1),pw(10),o(375),a(2),y(2),a(3),y(3),o(285),a(6),y(4),o(4),y(10),a(1),o(351),2,y(7),a(4),o(342),proc(/(keep_heads_double_repl,6)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',258,6025,6048,o(143),proc(/(keep_heads_double_repl,6)),2045,o(125),y(4),ref(436),3,ref(111),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',268,6504,6505,5,0,o(4),y(5),a(1),o(16),a(1),functor(/(rule,5)),ref(402),o(61),replacement,o(47),y(6),o(381),o(47),y(7),o(65),o(47),y(8),o(55),o(97),t(0),ref(417),o(47),y(9),o(47),y(10),o(139),ref(421),o(170),proc(/(==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',259,6089,6091,5,0,o(4),y(4),a(1),o(20),a(1),augmentation,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',261,6152,6153,5,0,o(4),y(5),a(1),o(16),a(1),functor(/(rule,5)),ref(205),o(61),augmentation,o(47),y(6),o(381),o(47),y(7),o(65),o(47),y(8),o(55),o(384),functor(/(',',2)),t(0),ref(218),o(47),y(9),o(47),y(2),o(97),t(0),ref(228),o(47),y(3),o(139),ref(230),o(62),augmentation,o(48),y(6),o(67),ref(184),o(48),y(7),o(70),ref(187),o(48),y(8),o(56),o(73),functor(/(',',2)),t(0),ref(194),o(48),y(9),o(48),y(2),o(95),t(0),o(48),y(3),o(137),pw(-1),o(172),o(154),o(170),proc(/(==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',262,6228,6230,5,0,o(4),y(4),a(1),o(20),a(1),keep_first,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',264,6289,6290,5,0,o(4),y(5),a(1),o(16),a(1),functor(/(rule,5)),ref(291),o(61),replacement,o(47),y(6),o(380),functor(/(\,2)),o(47),y(7),o(47),y(8),o(384),functor(/(',',2)),t(0),ref(302),o(47),y(9),o(47),y(2),o(97),t(0),ref(312),o(47),y(3),o(139),ref(314),o(62),replacement,o(48),y(6),o(71),functor(/(\,2)),ref(272),o(48),y(7),o(48),y(8),o(73),functor(/(',',2)),t(0),ref(280),o(48),y(9),o(48),y(2),o(95),t(0),o(48),y(3),o(137),pw(-1),o(172),o(154),o(170),proc(/(==,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',265,6365,6367,5,0,o(4),y(4),a(1),o(20),a(1),keep_second,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',267,6428,6429,5,0,o(4),y(5),a(1),o(16),a(1),functor(/(rule,5)),ref(375),o(61),replacement,o(47),y(6),o(380),functor(/(\,2)),o(47),y(8),o(47),y(7),o(384),functor(/(',',2)),t(0),ref(386),o(47),y(9),o(47),y(2),o(97),t(0),ref(396),o(47),y(3),o(139),ref(398),o(62),replacement,o(48),y(6),o(71),functor(/(\,2)),ref(356),o(48),y(8),o(48),y(7),o(73),functor(/(',',2)),t(0),ref(364),o(48),y(9),o(48),y(2),o(95),t(0),o(48),y(3),o(137),pw(-1),o(172),o(154),o(62),replacement,o(48),y(6),o(67),ref(132),o(48),y(7),o(70),ref(135),o(48),y(8),o(56),o(95),t(0),o(48),y(9),o(48),y(10),o(137),pw(-1),o(172),o(154),o(199),525,1,o(7),a(2),a(1),o(154),o(0),o(177),table([-(/(rule,5),ref(9))],2),table([-(keep_second,ref(318)),-(keep_first,ref(234)),-(augmentation,ref(147))],6),ref(70),ref(98),ref(113),ref(149),ref(165),ref(236),ref(252),ref(320),ref(336),0),452,442,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',253,5911))).
:-(:(sepia_kernel,store_pred(/(keep_heads_double_repl,6),[](o(212),a(7),o(123),a(1),ref(724),1,ref(716),o(123),a(3),ref(726),1,ref(716),o(124),a(6),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),ref(27),o(128),0,7,ref(49),o(7),a(3),a(1),o(170),proc(/(nonvar,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',274,6657,6664,0,1,o(299),a(6),o(172),o(251),a(7),o(157),o(131),9,ref(118),o(136),pw(6),o(16),a(1),functor(/(',',2)),ref(63),o(368),a(1),y(5),o(139),ref(66),o(365),a(1),y(5),o(16),a(3),functor(/(',',2)),ref(75),o(368),a(3),y(6),o(139),ref(78),o(365),a(3),y(6),o(403),a(7),pw(6),o(3),a(2),y(1),o(352),3,a(4),y(2),o(342),proc(/(keep_heads_double_repl,6)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',277,6789,6812,o(142),ref(0),127,o(354),y(5),a(1),y(1),a(2),y(6),a(3),o(351),3,y(2),a(4),o(342),proc(/(keep_heads_double_repl,6)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',278,6844,6867,o(144),ref(0),o(134),9,o(136),pw(12),o(16),a(4),functor(/(kf,2)),ref(131),o(370),y(3),y(4),o(139),ref(134),o(367),y(3),y(4),o(16),a(5),functor(/(kf,2)),ref(143),o(370),y(5),y(6),o(139),ref(146),o(367),y(5),y(6),o(203),y(7),o(355),a(2),y(1),a(6),y(2),o(2),a(3),a(2),o(128),0,2,ref(526),o(203),y(12),o(352),2,a(1),y(9),o(128),0,0,ref(218),o(212),a(1),o(128),0,1,ref(202),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',280,6984,6985,5,0,o(289),y(3),y(9),o(172),o(403),a(1),pw(12),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',280,6978,6980,0,0,o(163),o(199),525,5887,o(204),y(12),pw(11),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',280,6975,6977,0,0,o(163),o(199),525,1791,o(204),y(7),pw(11),o(203),y(8),o(126),y(1),ref(728),1,ref(245),o(126),y(10),ref(730),1,ref(245),o(125),y(2),ref(732),1,ref(245),o(128),0,0,ref(418),o(203),y(11),o(128),0,0,ref(299),o(212),a(1),o(128),0,1,ref(283),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',282,7036,7037,5,0,o(289),y(5),y(9),o(172),o(403),a(1),pw(11),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',282,7030,7032,0,0,o(163),o(199),525,3967,o(204),y(11),pw(10),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',282,7027,7029,0,0,o(163),o(199),525,1919,o(204),y(8),pw(10),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',284,7091,7092,5,0,o(4),y(2),a(1),o(13),a(1),augmentation,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',285,7118,7119,5,0,o(4),y(1),a(1),o(16),a(1),functor(/('CHRkeep_heads_checking',6)),ref(351),o(47),y(3),o(47),y(4),o(47),y(5),o(47),y(6),o(47),y(9),o(37),a(1),o(139),ref(363),o(48),y(3),o(48),y(4),o(48),y(5),o(48),y(6),o(48),y(9),o(38),a(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',286,7184,7185,5,0,o(4),y(10),a(2),o(16),a(2),functor(/(;,2)),ref(398),o(380),functor(/(->,2)),o(380),functor(/('CHRhead_not_kept',1)),o(43),a(1),o(97),t(0),ref(408),o(47),y(9),o(97),t(1),ref(412),o(61),true,o(139),ref(414),o(71),functor(/(->,2)),ref(382),o(71),functor(/('CHRhead_not_kept',1)),ref(384),o(44),a(1),o(95),t(0),o(48),y(9),o(95),t(1),o(62),true,o(137),pw(-2),o(172),o(154),o(199),525,1567,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',288,7273,7274,5,0,o(4),y(2),a(1),o(13),a(1),keep_first,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',289,7298,7299,5,0,o(4),y(1),a(1),o(16),a(1),functor(/('CHRkeep_heads_checking',4)),ref(463),o(47),y(3),o(47),y(4),o(47),y(9),o(37),a(1),o(139),ref(471),o(48),y(3),o(48),y(4),o(48),y(9),o(38),a(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',290,7355,7356,5,0,o(4),y(10),a(2),o(16),a(2),functor(/(;,2)),ref(506),o(380),functor(/(->,2)),o(380),functor(/('CHRhead_not_kept',1)),o(43),a(1),o(97),t(0),ref(516),o(47),y(9),o(97),t(1),ref(520),o(61),true,o(139),ref(522),o(71),functor(/(->,2)),ref(490),o(71),functor(/('CHRhead_not_kept',1)),ref(492),o(44),a(1),o(95),t(0),o(48),y(9),o(95),t(1),o(62),true,o(137),pw(-2),o(172),o(154),o(198),525,ref(699),231,o(203),y(10),o(352),2,a(1),y(8),o(128),0,0,ref(588),o(212),a(1),o(128),0,1,ref(572),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',293,7456,7457,5,0,o(289),y(5),y(8),o(172),o(403),a(1),pw(10),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',293,7450,7452,0,0,o(163),o(199),525,2023,o(204),y(10),pw(9),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',293,7447,7449,0,0,o(163),o(199),525,999,o(204),y(7),pw(9),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',295,7505,7506,5,0,o(4),y(2),a(1),o(13),a(1),keep_second,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',296,7529,7530,5,0,o(4),y(1),a(1),o(16),a(1),functor(/('CHRkeep_heads_checking',4)),ref(636),o(47),y(5),o(47),y(6),o(47),y(8),o(37),a(1),o(139),ref(644),o(48),y(5),o(48),y(6),o(48),y(8),o(38),a(1),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',297,7584,7585,5,0,o(4),y(9),a(2),o(16),a(2),functor(/(;,2)),ref(679),o(380),functor(/(->,2)),o(380),functor(/('CHRhead_not_kept',1)),o(43),a(1),o(97),t(0),ref(689),o(47),y(8),o(97),t(1),ref(693),o(61),true,o(139),ref(695),o(71),functor(/(->,2)),ref(663),o(71),functor(/('CHRhead_not_kept',1)),ref(665),o(44),a(1),o(95),t(0),o(48),y(8),o(95),t(1),o(62),true,o(137),pw(-2),o(172),o(154),o(199),525,1,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',299,7656,7657,5,0,o(7),a(2),a(1),o(172),o(154),o(129),0,7,ref(31),o(135),9,ref(120),o(0),table([-(/(',',2),ref(7))],2),table([-(/(',',2),ref(12))],2),table([-(/('CHRkeep_heads_checking',4),ref(231))],2),table([-(/(;,2),ref(236))],2),table([-(keep_first,ref(241))],2),ref(36),ref(90),ref(111),ref(178),ref(194),ref(210),ref(259),ref(275),ref(291),ref(307),ref(323),ref(366),ref(423),ref(439),ref(474),ref(548),ref(564),ref(580),ref(596),ref(612),ref(647),ref(704),0),757,734,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',270,6595))).
:-(:(sepia_kernel,store_pred(/(translate,0),[](o(136),pw(1),o(285),a(1),y(1),o(342),proc(/(get_constraints,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',304,7754,7770,o(143),proc(/(get_constraints,1)),3,o(4),y(1),a(1),o(342),proc(/(l_tr_callable,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',305,7785,7799,o(143),proc(/(l_tr_callable,1)),3,o(4),y(1),a(1),o(342),proc(/(l_tr_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',306,7814,7830,o(143),proc(/(l_tr_constraint,1)),1,o(342),proc(/(tailer,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',307,7845,7851,o(145),proc(/(tailer,0)),o(0),ref(7),ref(20),ref(33),ref(43),0),56,51,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',300,7670))).
:-(mode(get_constraints(-))).
:-(:(sepia_kernel,store_pred(/(get_constraints,1),[](o(6),pw(2),a(1),y(1),o(107),a(2),functor(/(constraint_list,1)),o(76),a(1),o(285),a(3),y(2),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',312,7960,7968,o(143),proc(:(sepia_kernel,/(findall_body,4))),7,o(353),y(2),a(1),y(1),a(2),o(342),proc(/(flatten,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',313,8008,8016,o(145),proc(/(flatten,2)),o(0),ref(17),ref(32),0),43,40,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',309,7881))).
:-(:(sepia_kernel,store_pred(/(constraint_list,1),[](o(6),pw(2),a(1),y(1),o(285),a(1),y(2),o(342),proc(/(constraints,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',317,8073,8085,o(143),proc(/(constraints,1)),7,o(353),y(2),a(1),y(1),a(2),o(342),proc(/(conjunction2list,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',318,8100,8117,o(145),proc(/(conjunction2list,2)),o(0),ref(9),ref(24),0),35,32,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',313,8044))).
:-(:(sepia_kernel,store_pred(/(conjunction2list,2),[](o(212),a(3),o(123),a(1),ref(62),1,ref(49),o(128),0,3,ref(47),o(16),a(1),functor(/(',',2)),ref(20),o(369),a(4),a(1),o(139),ref(23),o(366),a(4),a(1),o(15),a(2),ref(32),o(43),a(4),o(37),a(2),o(139),ref(36),o(44),a(4),o(38),a(2),o(251),a(3),o(342),proc(/(conjunction2list,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',323,8185,8202,o(150),ref(0),o(134),9,o(15),a(2),ref(56),o(43),a(1),o(55),o(157),o(44),a(1),o(56),o(157),o(0),o(177),table([-(/(',',2),ref(7))],2),ref(40),0),66,64,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',318,8136))).
:-(mode(l_tr_callable(++))).
:-(:(sepia_kernel,store_pred(/(l_tr_callable,1),[](o(122),a(1),ref(14),ref(11),ref(fail),o(128),0,1,ref(12),o(10),a(1),o(157),o(134),9,o(136),pw(1),o(15),a(1),ref(24),o(368),a(1),y(1),o(139),ref(27),o(365),a(1),y(1),o(342),proc(/(tr_callable,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',333,8443,8455,o(143),proc(/(tr_callable,1)),3,o(4),y(1),a(1),o(342),proc(/(l_tr_callable,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',334,8469,8483,o(144),ref(0),o(0),ref(29),ref(42),0),53,50,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',329,8335))).
:-(:(sepia_kernel,store_pred(/(tr_callable,1),[](o(136),pw(5),o(16),a(1),functor(/(/,2)),ref(11),o(370),y(2),y(3),o(139),ref(14),o(367),y(2),y(3),o(285),a(1),y(5),o(351),2,y(2),a(2),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',338,8527,8535,o(143),proc(/(functor,3)),45,o(107),a(1),functor(/(callable2,2)),o(80),y(5),o(76),a(5),o(107),a(2),functor(/(label_with,1)),o(91),pw(3),o(61),functor(/(if,2)),o(80),y(5),o(79),a(5),o(285),a(3),y(4),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',339,8556,8564,o(143),proc(:(sepia_kernel,/(findall_body,4))),29,o(285),a(3),y(1),o(353),y(2),a(1),y(4),a(2),o(342),proc(/(translate_callable,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',340,8630,8649,o(143),proc(/(translate_callable,3)),15,o(167),y(1),ref(104),ref(88),ref(104),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',341,8716,8717,5,0,o(4),y(1),a(1),o(10),a(1),o(172),o(154),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(/,2)),o(80),y(2),o(80),y(3),o(104),a(1),file_pl,o(105),a(2),"\n\n\n%%%%%% Callables for %p\n\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',342,8739,8746,o(143),proc(:(sepia_kernel,/(printf_body,4))),3,o(4),y(1),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',343,8810,8823,o(145),proc(/(l_out_clause,1)),o(0),ref(23),ref(57),ref(75),ref(90),ref(126),ref(139),0),154,147,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',334,8496))).
:-(:(sepia_kernel,store_pred(/(translate_callable,3),[](o(122),a(2),ref(21),ref(16),ref(fail),o(122),a(3),ref(21),ref(14),ref(fail),o(128),0,3,ref(19),o(10),a(2),o(10),a(3),o(157),o(134),9,o(136),pw(12),o(15),a(2),ref(38),o(380),functor(/(callable2,2)),o(370),y(6),y(10),o(97),t(0),ref(46),o(41),y(7),o(139),ref(48),o(71),functor(/(callable2,2)),ref(28),o(367),y(6),y(10),o(95),t(0),o(42),y(7),o(137),pw(-1),o(15),a(3),ref(58),o(370),y(8),y(9),o(139),ref(61),o(367),y(8),y(9),o(3),a(1),y(5),o(285),a(2),y(12),o(342),proc(/(pred_name_rename,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',349,8966,8983,o(143),proc(/(pred_name_rename,2)),6113,o(106),a(2),o(80),y(5),o(77),y(11),o(4),y(6),a(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',350,9014,9017,o(143),proc(/(=..,2)),8161,o(106),a(2),o(80),y(12),o(80),y(11),o(285),a(1),y(4),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',351,9046,9049,o(143),proc(/(=..,2)),2033,o(106),a(1),o(80),y(6),o(80),y(10),o(106),a(2),o(370),y(2),y(3),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',352,9078,9088,o(143),proc(/(copy_term,2)),2045,o(285),a(3),y(1),o(353),y(10),a(1),y(6),a(2),o(342),proc(/(build_guard_checking,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',353,9124,9145,o(143),proc(/(build_guard_checking,3)),1023,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',354,9181,9182,5,0,o(4),y(8),a(4),o(16),a(4),functor(/(?-,2)),ref(220),o(380),functor(/('CHRlabel_with',3)),o(47),y(6),o(369),a(4),a(5),o(97),t(0),ref(230),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(try_clause,4)),o(43),a(5),o(47),y(6),o(47),y(2),o(47),y(3),o(97),t(0),ref(249),o(66),functor(/(',',2)),o(47),y(1),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(clause_fired,1)),o(43),a(5),o(97),t(0),ref(267),o(66),functor(/('CHR=',2)),o(43),a(4),o(47),y(4),o(139),ref(274),o(71),functor(/('CHRlabel_with',3)),ref(172),o(48),y(6),o(366),a(4),a(5),o(95),t(0),o(74),functor(/(',',2)),ref(182),o(71),functor(/(coca,1)),ref(184),o(74),functor(/(try_clause,4)),ref(186),o(44),a(5),o(48),y(6),o(48),y(2),o(48),y(3),o(95),t(0),o(74),functor(/(',',2)),ref(199),o(48),y(1),o(74),functor(/(',',2)),ref(203),o(71),functor(/(coca,1)),ref(205),o(74),functor(/(clause_fired,1)),ref(207),o(44),a(5),o(95),t(0),o(74),functor(/('CHR=',2)),ref(214),o(44),a(4),o(48),y(4),o(137),pw(-3),o(172),o(354),y(5),a(1),y(7),a(2),y(9),a(3),o(342),proc(/(translate_callable,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',359,9364,9383,o(144),ref(0),o(0),ref(69),ref(88),ref(107),ref(128),ref(146),ref(156),ref(286),0),302,294,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',344,8856))).
:-(mode(l_tr_constraint(++))).
:-(:(sepia_kernel,store_pred(/(l_tr_constraint,1),[](o(122),a(1),ref(14),ref(11),ref(fail),o(128),0,1,ref(12),o(10),a(1),o(157),o(134),9,o(136),pw(1),o(15),a(1),ref(24),o(368),a(1),y(1),o(139),ref(27),o(365),a(1),y(1),o(342),proc(/(tr_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',369,9617,9631,o(143),proc(/(tr_constraint,1)),3,o(4),y(1),a(1),o(342),proc(/(l_tr_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',370,9645,9661,o(144),ref(0),o(0),ref(29),ref(42),0),53,50,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',365,9503))).
:-(mode(tr_constraint(++))).
:-(:(sepia_kernel,store_pred(/(tr_constraint,1),[](o(6),pw(1),a(1),y(1),o(342),proc(/(tr_clauses,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',376,9778,9789,o(143),proc(/(tr_clauses,1)),3,o(4),y(1),a(1),o(342),proc(/(gen_constraint,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',377,9808,9823,o(145),proc(/(gen_constraint,1)),o(0),ref(6),ref(19),0),30,27,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',373,9703))).
:-(mode(gen_constraint(++))).
:-(:(sepia_kernel,store_pred(/(gen_constraint,1),[](o(136),pw(11),o(16),a(1),functor(/(/,2)),ref(11),o(370),y(2),y(3),o(139),ref(14),o(367),y(2),y(3),o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(285),a(2),y(4),o(342),proc(/(constraint2pred,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',382,9902,9918,o(143),proc(/(constraint2pred,2)),29,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(4),y(4),a(2),o(342),proc(/(gen_call_to_pred,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',384,9942,9959,o(143),proc(/(gen_call_to_pred,2)),29,o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(/,2)),o(80),y(2),o(80),y(3),o(104),a(1),file_pl,o(105),a(2),"\n\n\n%%%%%% Rules handling for %p\n\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',386,9984,9991,o(143),proc(:(sepia_kernel,/(printf_body,4))),29,o(285),a(1),y(11),o(351),2,y(2),a(2),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',388,10066,10074,o(143),proc(/(functor,3)),2077,o(106),a(2),o(80),y(4),o(90),o(80),y(11),o(90),o(77),y(10),o(90),o(75),o(90),o(75),o(85),o(285),a(1),y(9),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',389,10112,10115,o(143),proc(/(=..,2)),1565,o(203),y(8),o(128),0,0,ref(388),o(104),a(1),already_in_store,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',390,10156,10163,o(143),proc(:(sepia_kernel,/(getval_body,3))),1821,o(204),y(8),pw(10),o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(9),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(3),o(390),!,functor(/(;,2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRnonvar',1)),o(80),y(10),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(2),o(61),functor(/('CHRalready_in',1)),o(80),y(9),o(390),functor(/(coca,1)),already_in,o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',392,10200,10213,o(143),proc(/(l_out_clause,1)),29,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(4),y(4),a(2),o(342),proc(/(tr_single_replacements,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',397,10379,10402,o(143),proc(/(tr_single_replacements,2)),29,o(285),a(2),y(5),o(4),y(4),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',399,10426,10437,o(143),proc(/(add_suffix,2)),61,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(351),2,y(4),a(2),o(342),proc(/(tr_double_replacements_and_mixed_right,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',400,10466,10505,o(143),proc(/(tr_double_replacements_and_mixed_right,3)),61,o(107),a(1),functor(/(/,2)),o(80),y(4),o(86),4,o(285),a(2),y(7),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',406,10689,10710,o(143),proc(/(gen_notrace_set_flag,2)),189,o(4),y(7),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',407,10741,10751,o(143),proc(/(out_query,1)),61,o(107),a(1),functor(/(/,2)),o(80),y(4),o(86),4,o(285),a(2),y(6),o(342),proc(/(gen_printing_macro,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',408,10771,10790,o(143),proc(/(gen_printing_macro,2)),125,o(4),y(6),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',409,10819,10829,o(143),proc(/(out_query,1)),61,o(285),a(2),y(1),o(4),y(4),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',411,10848,10859,o(143),proc(/(add_suffix,2)),63,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(353),y(5),a(2),y(1),a(3),o(342),proc(/(tr_single_augmentations,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',412,10887,10911,o(143),proc(/(tr_single_augmentations,3)),31,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(3),o(353),y(1),a(2),y(4),a(3),o(342),proc(/(tr_mixed_left_and_double_augmentations,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',414,10961,11000,o(145),proc(/(tr_mixed_left_and_double_augmentations,3)),o(199),525,1565,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(9),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(390),!,functor(/('CHRnonvar',1)),o(80),y(10),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',394,10315,10328,o(143),proc(/(l_out_clause,1)),29,o(139),ref(206),o(0),ref(26),ref(46),ref(76),ref(93),ref(121),ref(146),ref(198),ref(218),ref(234),ref(255),ref(275),ref(288),ref(308),ref(321),ref(337),ref(359),ref(381),ref(413),0),443,424,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',380,9870))).
:-(:(sepia_kernel,store_pred(/(gen_call_to_pred,2),[](o(16),a(1),functor(/(/,2)),ref(12),o(2),a(2),a(4),o(369),a(2),a(3),o(139),ref(18),o(2),a(2),a(4),o(366),a(2),a(3),o(6),pw(4),a(4),y(4),o(285),a(1),y(3),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',419,11097,11105,o(143),proc(/(functor,3)),25,o(106),a(2),o(80),y(4),o(90),o(80),y(3),o(90),o(75),o(90),o(75),o(90),o(77),y(2),o(85),o(285),a(1),y(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',420,11142,11145,o(143),proc(/(=..,2)),15,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(3),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRgen_num',1)),o(80),y(2),o(61),functor(/(',',2)),o(91),pw(2),o(80),y(1),o(61),functor(/(coca,1)),o(91),pw(3),o(61),functor(/(add_one_constraint,2)),o(80),y(2),o(80),y(3),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',421,11180,11193,o(145),proc(/(l_out_clause,1)),o(0),ref(27),ref(55),ref(102),0),114,110,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',414,11038))).
:-(mode(tr_clauses(++))).
:-(:(sepia_kernel,store_pred(/(tr_clauses,1),[](o(136),pw(6),o(16),a(1),functor(/(/,2)),ref(11),o(370),y(3),y(4),o(139),ref(14),o(367),y(3),y(4),o(285),a(1),y(6),o(351),2,y(3),a(2),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',429,11389,11397,o(143),proc(/(functor,3)),89,o(285),a(2),y(2),o(4),y(3),a(1),o(342),proc(/(pred_name_rename,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',430,11418,11435,o(143),proc(/(pred_name_rename,2)),93,o(107),a(2),functor(/(get_clause_and_rename,3)),o(80),y(6),o(80),y(2),o(76),a(1),o(285),a(3),y(1),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',431,11451,11459,o(143),proc(:(sepia_kernel,/(findall_body,4))),31,o(167),y(1),ref(93),ref(77),ref(93),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',432,11535,11536,5,0,o(4),y(1),a(1),o(10),a(1),o(172),o(154),o(106),a(3),o(91),pw(3),o(85),o(61),functor(/(/,2)),o(80),y(3),o(80),y(4),o(104),a(1),file_pl,o(105),a(2),"\n\n\n%%%%%% Prolog clauses for %p\n\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',433,11558,11565,o(143),proc(:(sepia_kernel,/(printf_body,4))),23,o(4),y(1),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',434,11634,11647,o(143),proc(/(l_out_clause,1)),21,o(107),a(1),functor(/(/,2)),o(80),y(2),o(80),y(4),o(285),a(2),y(5),o(342),proc(/(gen_printing_macro,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',435,11661,11680,o(143),proc(/(gen_printing_macro,2)),33,o(4),y(5),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',436,11709,11719,o(145),proc(/(out_query,1)),o(0),ref(23),ref(39),ref(64),ref(79),ref(115),ref(128),ref(148),ref(161),0),178,169,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',427,11361))).
:-(:(sepia_kernel,store_pred(/(get_clause_and_rename,3),[](o(136),pw(4),o(16),a(3),functor(/(:-,2)),ref(15),o(41),y(3),o(2),a(2),a(3),o(37),a(2),o(139),ref(22),o(42),y(3),o(2),a(2),a(3),o(38),a(2),o(355),a(1),y(4),a(3),y(2),o(342),proc(/(:--,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',441,11809,11812,o(143),proc(/(:--,2)),29,o(106),a(2),o(75),o(77),y(1),o(4),y(4),a(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',442,11826,11829,o(143),proc(/(=..,2)),15,o(106),a(2),o(80),y(2),o(80),y(1),o(4),y(3),a(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',443,11852,11855,o(145),proc(/(=..,2)),o(0),ref(29),ref(47),ref(66),0),78,74,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',437,11740))).
:-(mode(tr_single_replacements(++,++))).
:-(:(sepia_kernel,store_pred(/(tr_single_replacements,2),[](o(16),a(1),functor(/(/,2)),ref(12),o(2),a(2),a(4),o(369),a(2),a(3),o(139),ref(18),o(2),a(2),a(4),o(366),a(2),a(3),o(6),pw(4),a(4),y(3),o(285),a(1),y(4),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',450,12035,12043,o(143),proc(/(functor,3)),25,o(107),a(1),functor(/(single,5)),o(369),a(5),a(6),o(76),a(7),o(61),replacement,o(76),a(8),o(107),a(2),functor(/(get_single,6)),o(80),y(4),o(79),a(5),o(79),a(6),o(79),a(7),o(61),replacement,o(79),a(8),o(285),a(3),y(2),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',451,12064,12072,o(143),proc(:(sepia_kernel,/(findall_body,4))),13,o(285),a(3),y(1),o(353),y(3),a(1),y(2),a(2),o(342),proc(/(l_compile_single,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',452,12176,12193,o(143),proc(/(l_compile_single,3)),3,o(167),y(1),ref(117),ref(101),ref(117),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',453,12253,12254,5,0,o(4),y(1),a(1),o(10),a(1),o(172),o(154),o(4),y(1),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',455,12280,12293,o(145),proc(/(l_out_clause,1)),o(0),ref(27),ref(70),ref(88),ref(103),ref(122),0),136,130,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',448,11984))).
:-(:(sepia_kernel,store_pred(/(get_single,6),[](o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',460,12382,12383,5,0,o(16),a(2),functor(/(kf,2)),ref(18),o(43),a(1),o(33),o(139),ref(20),o(44),a(1),o(172),o(363),a(1),a(5),a(4),a(3),o(106),a(3),o(79),a(2),o(85),o(2),a(6),a(2),o(342),proc(/(rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',461,12401,12406,o(151),proc(/(rule,5)),o(0),ref(2),ref(36),0),47,44,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',456,12321))).
:-(mode(l_compile_single(++,++,-))).
:-(:(sepia_kernel,store_pred(/(l_compile_single,3),[](o(122),a(2),ref(16),ref(11),ref(fail),o(128),0,3,ref(14),o(10),a(2),o(10),a(3),o(157),o(134),9,o(136),pw(15),o(15),a(2),ref(38),o(380),functor(/(single,5)),o(368),a(4),y(15),o(41),y(6),o(33),o(41),y(7),o(97),t(0),ref(51),o(41),y(8),o(139),ref(53),o(71),functor(/(single,5)),ref(23),o(365),a(4),y(15),o(42),y(6),o(34),o(42),y(7),o(95),t(0),o(42),y(8),o(137),pw(-1),o(15),a(3),ref(63),o(370),y(9),y(10),o(139),ref(66),o(367),y(9),y(10),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',467,12611,12612,5,0,o(16),a(4),functor(/(kf,2)),ref(84),o(370),y(11),y(12),o(139),ref(87),o(367),y(11),y(12),o(172),o(3),a(1),y(5),o(106),a(2),o(79),a(1),o(90),o(80),y(11),o(90),o(80),y(12),o(90),o(75),o(90),o(77),y(14),o(85),o(285),a(1),y(13),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',468,12630,12633,o(143),proc(/(=..,2)),65505,o(107),a(1),functor(/(:-,2)),o(80),y(11),o(91),pw(3),o(61),functor(/(|,2)),o(80),y(15),o(80),y(6),o(107),a(2),functor(/(:-,2)),o(77),y(2),o(91),pw(3),o(61),functor(/(|,2)),o(370),y(3),y(4),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',469,12664,12674,o(143),proc(/(copy_term,2)),65533,o(285),a(3),y(1),o(353),y(15),a(1),y(11),a(2),o(342),proc(/(build_guard_checking,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',470,12721,12742,o(143),proc(/(build_guard_checking,3)),32767,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',471,12775,12776,5,0,o(4),y(9),a(4),o(16),a(4),functor(/(?-,2)),ref(246),o(47),y(13),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(try_rule,7)),o(47),y(14),o(47),y(11),o(47),y(7),o(47),y(2),o(61),replacement,o(47),y(3),o(47),y(4),o(97),t(0),ref(273),o(66),functor(/(',',2)),o(47),y(1),o(66),functor(/(',',2)),o(61),!,o(66),functor(/(',',2)),o(380),functor(/('CHRkill',1)),o(47),y(12),o(97),t(0),ref(293),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(fired_rule,1)),o(47),y(7),o(97),t(0),ref(306),o(47),y(6),o(139),ref(308),o(48),y(13),o(74),functor(/(',',2)),ref(193),o(71),functor(/(coca,1)),ref(195),o(74),functor(/(try_rule,7)),ref(197),o(48),y(14),o(48),y(11),o(48),y(7),o(48),y(2),o(62),replacement,o(48),y(3),o(48),y(4),o(95),t(0),o(74),functor(/(',',2)),ref(216),o(48),y(1),o(74),functor(/(',',2)),ref(220),o(62),!,o(74),functor(/(',',2)),ref(224),o(71),functor(/('CHRkill',1)),ref(226),o(48),y(12),o(95),t(0),o(74),functor(/(',',2)),ref(233),o(71),functor(/(coca,1)),ref(235),o(74),functor(/(fired_rule,1)),ref(237),o(48),y(7),o(95),t(0),o(48),y(6),o(137),pw(-3),o(172),o(354),y(5),a(1),y(8),a(2),y(10),a(3),o(342),proc(/(l_compile_single,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',476,12956,12973,o(144),ref(0),o(0),ref(68),ref(112),ref(147),ref(165),ref(175),ref(320),0),335,328,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',464,12478))).
:-(mode(tr_single_augmentations(++,++,++))).
:-(:(sepia_kernel,store_pred(/(tr_single_augmentations,3),[](o(16),a(1),functor(/(/,2)),ref(16),o(2),a(2),a(4),o(37),a(2),o(2),a(3),a(5),o(37),a(3),o(139),ref(26),o(2),a(2),a(4),o(38),a(2),o(2),a(3),a(5),o(38),a(3),o(6),pw(4),a(4),y(2),o(3),a(5),y(3),o(285),a(1),y(4),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',484,13178,13186,o(143),proc(/(functor,3)),29,o(107),a(1),functor(/(single,5)),o(369),a(5),a(6),o(76),a(7),o(61),augmentation,o(76),a(8),o(107),a(2),functor(/(get_single,6)),o(80),y(4),o(79),a(5),o(79),a(6),o(79),a(7),o(61),augmentation,o(79),a(8),o(285),a(3),y(1),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',485,13207,13215,o(143),proc(:(sepia_kernel,/(findall_body,4))),15,o(351),2,y(2),a(1),o(4),y(1),a(3),o(342),proc(/(l_compile_single_augm,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',487,13323,13345,o(145),proc(/(l_compile_single_augm,3)),o(0),ref(38),ref(81),ref(98),0),110,106,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',482,13115))).
:-(:(sepia_kernel,store_pred(/(l_compile_single_augm,3),[](o(6),pw(22),a(2),y(1),o(2),a(3),a(2),o(122),a(2),ref(157),ref(18),ref(fail),o(128),0,2,ref(134),o(10),a(2),o(3),a(1),y(3),o(106),a(2),o(79),a(1),o(90),o(77),y(6),o(90),o(77),y(7),o(90),o(77),y(8),o(90),o(77),y(9),o(85),o(285),a(1),y(5),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',490,13434,13437,o(143),proc(/(=..,2)),1003,o(106),a(2),o(80),y(1),o(90),o(80),y(6),o(90),o(80),y(7),o(90),o(80),y(8),o(90),o(80),y(9),o(85),o(285),a(1),y(4),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',491,13480,13483,o(143),proc(/(=..,2)),57,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(5),o(80),y(4),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',492,13521,13534,o(143),proc(/(l_out_clause,1)),9,o(107),a(1),functor(/(/,2)),o(80),y(3),o(86),4,o(285),a(2),y(2),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',493,13552,13573,o(143),proc(/(gen_notrace_set_flag,2)),5,o(4),y(2),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',494,13598,13608,o(145),proc(/(out_query,1)),o(199),525,3,o(15),a(2),ref(157),o(380),functor(/(single,5)),o(368),a(3),y(22),o(41),y(18),o(33),o(41),y(19),o(97),t(0),ref(170),o(41),y(3),o(139),ref(172),o(71),functor(/(single,5)),ref(142),o(365),a(3),y(22),o(42),y(18),o(34),o(42),y(19),o(95),t(0),o(42),y(3),o(137),pw(-1),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',496,13722,13723,5,0,o(16),a(3),functor(/(kf,2)),ref(192),o(370),y(20),y(10),o(139),ref(195),o(367),y(20),y(10),o(172),o(3),a(1),y(5),o(106),a(2),o(79),a(1),o(90),o(80),y(20),o(90),o(80),y(10),o(90),o(77),y(11),o(90),o(77),y(12),o(85),o(285),a(1),y(21),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',497,13742,13745,o(143),proc(/(=..,2)),8133675,o(285),a(2),y(2),o(4),y(5),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',498,13774,13785,o(143),proc(/(add_suffix,2)),8133679,o(106),a(2),o(80),y(2),o(90),o(80),y(20),o(90),o(80),y(10),o(90),o(80),y(11),o(90),o(80),y(12),o(85),o(285),a(1),y(17),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',499,13813,13816,o(143),proc(/(=..,2)),8264751,o(107),a(1),functor(/(:-,2)),o(80),y(20),o(91),pw(3),o(61),functor(/(|,2)),o(80),y(22),o(80),y(18),o(107),a(2),functor(/(:-,2)),o(77),y(14),o(91),pw(3),o(61),functor(/(|,2)),o(370),y(15),y(16),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',500,13845,13855,o(143),proc(/(copy_term,2)),8379439,o(285),a(3),y(13),o(353),y(22),a(1),y(20),a(2),o(342),proc(/(build_guard_checking,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',501,13902,13923,o(143),proc(/(build_guard_checking,3)),4193327,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',502,13960,13961,5,0,o(107),a(3),functor(/(?-,2)),o(80),y(21),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRvar',1)),o(80),y(10),o(61),functor(/(',',2)),o(91),pw(3),o(91),pw(3),o(61),functor(/('CHRcheck_and_mark_applied',2)),o(80),y(5),o(80),y(11),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/(coca,1)),o(91),pw(8),o(61),functor(/(',',2)),o(80),y(13),o(91),pw(3),o(61),functor(/(try_rule,7)),o(80),y(12),o(80),y(20),o(80),y(19),o(80),y(14),o(61),augmentation,o(80),y(15),o(80),y(16),o(390),functor(/(',',2)),!,o(91),pw(3),o(61),functor(/(',',2)),o(80),y(17),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(80),y(18),o(61),functor(/(coca,1)),o(91),pw(2),o(61),functor(/(fired_rule,1)),o(80),y(19),o(3),a(3),y(7),o(172),o(106),a(2),o(80),y(5),o(90),o(77),y(9),o(90),o(80),y(10),o(90),o(80),y(11),o(90),o(80),y(12),o(85),o(285),a(1),y(8),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',509,14217,14220,o(143),proc(/(=..,2)),8111,o(106),a(2),o(80),y(2),o(90),o(80),y(9),o(90),o(80),y(10),o(90),o(80),y(11),o(90),o(80),y(12),o(85),o(285),a(1),y(6),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',510,14264,14267,o(143),proc(/(=..,2)),495,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',511,14313,14314,5,0,o(107),a(2),functor(/(?-,2)),o(80),y(8),o(80),y(6),o(172),o(106),a(1),o(80),y(7),o(90),o(79),a(2),o(85),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',512,14334,14347,o(143),proc(/(l_out_clause,1)),47,o(107),a(1),functor(/(/,2)),o(80),y(5),o(86),4,o(285),a(2),y(4),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',513,14369,14390,o(143),proc(/(gen_notrace_set_flag,2)),31,o(4),y(4),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',514,14415,14425,o(143),proc(/(out_query,1)),15,o(354),y(2),a(1),y(1),a(2),y(3),a(3),o(342),proc(/(l_compile_single_augm,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',515,14438,14460,o(144),ref(0),o(0),ref(43),ref(73),ref(94),ref(114),ref(127),ref(176),ref(221),ref(237),ref(267),ref(302),ref(320),ref(330),ref(449),ref(479),ref(489),ref(514),ref(534),ref(547),ref(564),0),592,572,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',487,13377))).
:-(mode(tr_double_replacements_and_mixed_right(++,++,++))).
:-(:(sepia_kernel,store_pred(/(tr_double_replacements_and_mixed_right,3),[](o(16),a(1),functor(/(/,2)),ref(16),o(2),a(2),a(4),o(37),a(2),o(2),a(3),a(5),o(37),a(3),o(139),ref(26),o(2),a(2),a(4),o(38),a(2),o(2),a(3),a(5),o(38),a(3),o(6),pw(11),a(4),y(9),o(3),a(5),y(7),o(285),a(1),y(8),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',523,14696,14704,o(143),proc(/(functor,3)),897,o(107),a(2),functor(/(',',2)),o(91),pw(3),o(91),pw(9),o(61),functor(/(;,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(get_double,8)),o(80),y(8),o(369),a(5),a(6),o(369),a(7),a(8),o(369),a(9),a(10),o(76),a(11),o(61),functor(/(=,2)),o(79),a(9),o(390),replacement,functor(/(=,2)),o(79),a(9),o(61),keep_second,o(107),a(1),functor(/(double,7)),o(79),a(5),o(79),a(6),o(79),a(7),o(79),a(8),o(79),a(9),o(79),a(10),o(79),a(11),o(285),a(3),y(11),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',524,14725,14733,o(143),proc(:(sepia_kernel,/(findall_body,4))),2945,o(375),a(4),y(10),a(5),y(1),o(351),2,y(8),a(1),o(4),y(11),a(3),o(342),proc(/(l_compile_double_repls,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',529,14900,14923,o(143),proc(/(l_compile_double_repls,5)),1923,o(167),y(10),ref(162),ref(145),ref(162),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',530,15004,15005,5,0,o(4),y(10),a(1),o(10),a(1),o(172),o(139),ref(175),o(4),y(10),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',532,15031,15044,o(143),proc(/(l_out_clause,1)),899,o(106),a(2),o(80),y(9),o(90),o(80),y(8),o(90),o(77),y(4),o(90),o(77),y(5),o(90),o(77),y(6),o(85),o(285),a(1),y(3),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',534,15084,15087,o(143),proc(/(=..,2)),507,o(106),a(2),o(80),y(7),o(90),o(80),y(8),o(90),o(80),y(4),o(90),o(80),y(5),o(90),o(80),y(6),o(85),o(285),a(1),y(2),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',535,15130,15133,o(143),proc(/(=..,2)),15,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(3),o(80),y(2),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',536,15166,15179,o(143),proc(/(l_out_clause,1)),3,o(4),y(1),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',537,15207,15220,o(145),proc(/(l_out_clause,1)),o(0),ref(38),ref(110),ref(132),ref(147),ref(167),ref(197),ref(227),ref(248),ref(261),0),279,269,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',521,14618))).
:-(:(sepia_kernel,store_pred(/(get_double,8),[](o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',543,15426,15427,5,0,o(16),a(2),functor(/(kf,2)),ref(18),o(43),a(1),o(33),o(139),ref(20),o(44),a(1),o(172),o(6),pw(5),a(7),y(1),o(2),a(8),a(1),o(121),a(6),ref(366),4,ref(fail),o(128),0,6,ref(176),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',544,15449,15450,5,0,o(13),a(6),augmentation,o(172),o(352),2,a(2),y(2),o(106),a(3),o(77),y(4),o(90),o(77),y(5),o(85),o(2),a(1),a(2),o(104),a(1),augmentation,o(342),proc(/(rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',545,15468,15473,o(143),proc(/(rule,5)),63,o(125),y(1),ref(374),2,ref(fail),o(128),0,0,ref(130),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',546,15558,15559,5,0,o(289),y(2),y(4),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',546,15558,15559,5,0,o(289),y(3),y(5),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',546,15582,15583,5,0,o(4),y(1),a(1),o(13),a(1),'12',o(172),o(154),o(199),525,63,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',547,15620,15621,5,0,o(289),y(3),y(4),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',547,15620,15621,5,0,o(289),y(2),y(5),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',547,15644,15645,5,0,o(4),y(1),a(1),o(13),a(1),'21',o(172),o(154),o(198),525,ref(282),1,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',549,15678,15679,5,0,o(13),a(6),replacement,o(172),o(352),2,a(2),y(2),o(106),a(3),o(77),y(4),o(90),o(77),y(5),o(85),o(2),a(1),a(2),o(104),a(1),replacement,o(342),proc(/(rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',550,15703,15708,o(143),proc(/(rule,5)),61,o(128),0,0,ref(252),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',551,15792,15793,5,0,o(289),y(2),y(4),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',551,15792,15793,5,0,o(289),y(3),y(5),o(172),o(154),o(199),525,61,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',552,15840,15841,5,0,o(289),y(3),y(4),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',552,15840,15841,5,0,o(289),y(2),y(5),o(172),o(154),o(198),525,ref(324),1,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',554,15884,15885,5,0,o(13),a(6),keep_first,o(172),o(2),a(3),a(6),o(107),a(3),functor(/(\,2)),o(79),a(2),o(79),a(6),o(2),a(1),a(2),o(104),a(1),replacement,o(342),proc(/(rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',555,15901,15906,o(145),proc(/(rule,5)),o(199),525,1,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',556,15970,15971,5,0,o(13),a(6),keep_second,o(172),o(2),a(3),a(6),o(107),a(3),functor(/(\,2)),o(79),a(6),o(79),a(2),o(2),a(1),a(2),o(104),a(1),replacement,o(342),proc(/(rule,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',557,15988,15993,o(145),proc(/(rule,5)),o(0),table([-(keep_second,ref(327)),-(keep_first,ref(286)),-(replacement,ref(180)),-(augmentation,ref(37))],8),table([-('21',ref(133)),-('12',ref(87))],4),ref(2),ref(39),ref(70),ref(89),ref(102),ref(115),ref(135),ref(148),ref(161),ref(182),ref(213),ref(227),ref(240),ref(257),ref(270),ref(288),ref(317),ref(329),ref(358),0),398,378,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',537,15235))).
:-(:(sepia_kernel,store_pred(/(l_compile_double_repls,5),[](o(6),pw(42),a(1),y(1),o(2),a(5),a(1),o(122),a(3),ref(59),ref(28),ref(fail),o(122),a(4),ref(36),ref(26),ref(fail),o(122),a(1),ref(36),ref(26),ref(fail),o(128),0,4,ref(33),o(10),a(3),o(10),a(4),o(10),a(1),o(154),o(199),525,3,o(15),a(3),ref(59),o(380),functor(/(double,7)),o(368),a(3),y(42),o(370),y(40),y(33),o(41),y(17),o(33),o(41),y(34),o(97),t(0),ref(75),o(41),y(3),o(139),ref(77),o(71),functor(/(double,7)),ref(41),o(365),a(3),y(42),o(367),y(40),y(33),o(42),y(17),o(34),o(42),y(34),o(95),t(0),o(42),y(3),o(137),pw(-1),o(15),a(4),ref(87),o(370),y(35),y(4),o(139),ref(90),o(367),y(35),y(4),o(15),a(1),ref(104),o(41),y(14),o(65),o(41),y(15),o(65),o(370),y(7),y(5),o(139),ref(115),o(42),y(14),o(70),ref(96),o(42),y(15),o(70),ref(99),o(367),y(7),y(5),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',563,16260,16261,5,0,o(16),a(3),functor(/(kf,2)),ref(133),o(370),y(36),y(37),o(139),ref(136),o(367),y(36),y(37),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',564,16281,16282,5,0,o(4),y(42),a(3),o(16),a(3),functor(/(kf,2)),ref(158),o(370),y(21),y(16),o(139),ref(161),o(367),y(21),y(16),o(172),o(3),a(2),y(2),o(106),a(2),o(80),y(2),o(90),o(80),y(36),o(90),o(80),y(37),o(90),o(77),y(22),o(90),o(77),y(39),o(85),o(285),a(1),y(38),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',565,16302,16305,o(143),proc(/(=..,2)),refm(880,2),o(285),a(3),y(32),o(353),y(36),a(1),y(21),a(2),o(342),proc(/(shared_variable,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',566,16339,16355,o(143),proc(/(shared_variable,3)),refm(882,2),o(285),a(3),y(19),o(353),y(36),a(1),y(21),a(2),o(342),proc(/(common_vars,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',567,16377,16389,o(143),proc(/(common_vars,3)),refm(884,2),o(107),a(2),functor(/(',',2)),o(80),y(40),o(80),y(33),o(285),a(3),y(41),o(4),y(42),a(1),o(342),proc(/(common_vars,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',568,16412,16424,o(143),proc(/(common_vars,3)),refm(886,2),o(285),a(3),y(13),o(353),y(41),a(1),y(19),a(2),o(342),proc(/(delta_vars,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',569,16453,16464,o(143),proc(/(delta_vars,3)),refm(888,2),o(285),a(2),y(12),o(4),y(13),a(1),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',570,16504,16514,o(143),proc(/(copy_term,2)),refm(890,2),o(107),a(1),functor(/(:-,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(',',2)),o(80),y(36),o(80),y(21),o(61),functor(/(|,2)),o(80),y(40),o(80),y(33),o(107),a(2),functor(/(:-,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(',',2)),o(370),y(28),y(29),o(61),functor(/(|,2)),o(370),y(30),y(31),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',571,16545,16555,o(143),proc(/(copy_term,2)),refm(892,2),o(285),a(2),y(6),o(4),y(2),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',573,16600,16611,o(143),proc(/(add_suffix,2)),refm(894,2),o(106),a(2),o(80),y(6),o(90),o(77),y(27),o(90),o(80),y(19),o(90),o(80),y(13),o(90),o(77),y(11),o(85),o(285),a(1),y(26),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',574,16654,16657,o(143),proc(/(=..,2)),refm(896,2),o(107),a(2),functor(/(',',2)),o(80),y(36),o(80),y(21),o(285),a(3),y(25),o(4),y(40),a(1),o(342),proc(/(build_guard_checking,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',575,16709,16730,o(143),proc(/(build_guard_checking,3)),refm(898,2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',576,16766,16767,5,0,o(4),y(35),a(4),o(16),a(4),functor(/(?-,2)),ref(497),o(47),y(38),o(66),functor(/(',',2)),o(380),functor(/('CHRget_delayed_goals',2)),o(47),y(32),o(47),y(27),o(97),t(0),ref(511),o(66),functor(/(',',2)),o(47),y(26),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(try_double,10)),o(47),y(39),o(47),y(36),o(47),y(11),o(47),y(21),o(47),y(28),o(47),y(29),o(47),y(17),o(47),y(30),o(47),y(31),o(47),y(34),o(97),t(0),ref(547),o(66),functor(/(',',2)),o(47),y(25),o(66),functor(/(',',2)),o(61),!,o(66),functor(/(',',2)),o(380),functor(/('CHRkill',1)),o(47),y(37),o(97),t(0),ref(567),o(66),functor(/(',',2)),o(380),functor(/(coca,1)),o(66),functor(/(fired_rule,1)),o(47),y(34),o(97),t(0),ref(580),o(47),y(33),o(139),ref(582),o(48),y(38),o(74),functor(/(',',2)),ref(423),o(71),functor(/('CHRget_delayed_goals',2)),ref(425),o(48),y(32),o(48),y(27),o(95),t(0),o(74),functor(/(',',2)),ref(434),o(48),y(26),o(74),functor(/(',',2)),ref(438),o(71),functor(/(coca,1)),ref(440),o(74),functor(/(try_double,10)),ref(442),o(48),y(39),o(48),y(36),o(48),y(11),o(48),y(21),o(48),y(28),o(48),y(29),o(48),y(17),o(48),y(30),o(48),y(31),o(48),y(34),o(95),t(0),o(74),functor(/(',',2)),ref(467),o(48),y(25),o(74),functor(/(',',2)),ref(471),o(62),!,o(74),functor(/(',',2)),ref(475),o(71),functor(/('CHRkill',1)),ref(477),o(48),y(37),o(95),t(0),o(74),functor(/(',',2)),ref(484),o(71),functor(/(coca,1)),ref(486),o(74),functor(/(fired_rule,1)),ref(488),o(48),y(34),o(95),t(0),o(48),y(33),o(137),pw(-4),o(172),o(375),a(2),y(23),a(3),y(24),o(4),y(21),a(1),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',586,17070,17078,o(143),proc(/(functor,3)),32241919,o(107),a(1),functor(/(/,2)),o(80),y(23),o(80),y(24),o(285),a(2),y(20),o(342),proc(/(constraint2pred,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',587,17108,17124,o(143),proc(/(constraint2pred,2)),8124671,o(106),a(2),o(80),y(20),o(90),o(80),y(21),o(90),o(80),y(16),o(90),o(80),y(22),o(90),o(80),y(11),o(85),o(285),a(1),y(18),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',588,17174,17177,o(143),proc(/(=..,2)),1046783,o(106),a(2),o(80),y(6),o(90),o(90),o(90),o(80),y(18),o(75),o(80),y(19),o(90),o(80),y(12),o(90),o(77),y(10),o(85),o(285),a(1),y(9),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',589,17225,17228,o(143),proc(/(=..,2)),261887,o(125),y(17),ref(900),1,ref(726),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',590,17309,17310,5,0,o(4),y(17),a(1),o(13),a(1),replacement,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',590,17331,17332,5,0,o(107),a(1),functor(/('CHRkill',1)),o(80),y(16),o(3),a(1),y(8),o(172),o(139),ref(742),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',590,17357,17358,5,0,o(104),a(1),true,o(3),a(1),y(8),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',591,17371,17372,5,0,o(4),y(14),a(3),o(16),a(3),functor(/(?-,2)),ref(792),o(47),y(9),o(66),functor(/(',',2)),o(380),functor(/('CHRvar',1)),o(47),y(16),o(97),t(0),ref(804),o(66),functor(/(',',2)),o(47),y(8),o(66),functor(/(',',2)),o(380),functor(/('CHR=',2)),o(47),y(13),o(47),y(12),o(97),t(0),ref(821),o(66),functor(/('CHR=',2)),o(47),y(11),o(47),y(10),o(139),ref(828),o(48),y(9),o(74),functor(/(',',2)),ref(762),o(71),functor(/('CHRvar',1)),ref(764),o(48),y(16),o(95),t(0),o(74),functor(/(',',2)),ref(771),o(48),y(8),o(74),functor(/(',',2)),ref(775),o(71),functor(/('CHR=',2)),ref(777),o(48),y(13),o(48),y(12),o(95),t(0),o(74),functor(/('CHR=',2)),ref(786),o(48),y(11),o(48),y(10),o(137),pw(-2),o(172),o(353),y(6),a(1),y(15),a(2),o(342),proc(/(partner_loop,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',596,17533,17546,o(143),proc(/(partner_loop,2)),255,o(107),a(1),functor(/(/,2)),o(80),y(6),o(86),4,o(4),y(7),a(2),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',597,17567,17588,o(143),proc(/(gen_notrace_set_flag,2)),63,o(351),5,y(1),a(1),o(342),proc(/(l_compile_double_repls,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',598,17612,17635,o(144),ref(0),o(0),6537406,3069,6537406,3071,7061694,3071,7061694,2047,7069886,1023,7073982,1023,-261361474,1023,-261361410,1023,-60032770,1023,-26478338,511,table([-(replacement,ref(690))],2),ref(117),ref(139),ref(187),ref(205),ref(223),ref(246),ref(264),ref(280),ref(326),ref(342),ref(372),ref(395),ref(405),ref(595),ref(615),ref(645),ref(677),ref(692),ref(708),ref(728),ref(744),ref(838),ref(858),ref(872),0),927,902,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',558,16052))).
:-(:(sepia_kernel,store_pred(/(partner_loop,2),[](o(136),pw(6),o(16),a(2),functor(/(:-,2)),ref(14),o(2),a(1),a(3),o(368),a(1),y(2),o(139),ref(20),o(2),a(1),a(3),o(365),a(1),y(2),o(3),a(3),y(1),o(106),a(2),o(79),a(3),o(90),o(90),o(90),o(75),o(370),y(3),y(4),o(90),o(77),y(5),o(90),o(77),y(6),o(85),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',602,17732,17735,o(143),proc(/(=..,2)),127,o(106),a(2),o(80),y(1),o(90),o(80),y(3),o(90),o(80),y(4),o(90),o(80),y(5),o(90),o(80),y(6),o(85),o(4),y(2),a(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',603,17789,17792,o(145),proc(/(=..,2)),o(0),ref(43),ref(73),0),84,81,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',598,17685))).
:-(mode(tr_mixed_left_and_double_augmentations(++,++,++))).
:-(:(sepia_kernel,store_pred(/(tr_mixed_left_and_double_augmentations,3),[](o(16),a(1),functor(/(/,2)),ref(16),o(2),a(2),a(4),o(37),a(2),o(2),a(3),a(5),o(37),a(3),o(139),ref(26),o(2),a(2),a(4),o(38),a(2),o(2),a(3),a(5),o(38),a(3),o(6),pw(4),a(4),y(2),o(3),a(5),y(3),o(285),a(1),y(4),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',610,18047,18055,o(143),proc(/(functor,3)),29,o(107),a(2),functor(/(',',2)),o(91),pw(3),o(91),pw(9),o(61),functor(/(;,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(get_double,8)),o(80),y(4),o(369),a(5),a(6),o(369),a(7),a(8),o(369),a(9),a(10),o(76),a(11),o(61),functor(/(=,2)),o(79),a(9),o(390),keep_first,functor(/(=,2)),o(79),a(9),o(61),augmentation,o(107),a(1),functor(/(double,7)),o(79),a(5),o(79),a(6),o(79),a(7),o(79),a(8),o(79),a(9),o(79),a(10),o(79),a(11),o(285),a(3),y(1),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(findall_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',611,18076,18084,o(143),proc(:(sepia_kernel,/(findall_body,4))),31,o(4),y(4),a(1),o(351),2,y(2),a(2),o(4),y(1),a(4),o(342),proc(/(l_compile_double_augms,4)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',616,18251,18274,o(145),proc(/(l_compile_double_augms,4)),o(0),ref(38),ref(110),ref(130),0),142,138,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',608,17968))).
:-(:(sepia_kernel,store_pred(/(l_compile_double_augms,4),[](o(6),pw(47),a(3),y(1),o(2),a(4),a(3),o(122),a(3),ref(188),ref(18),ref(fail),o(128),0,3,ref(162),o(10),a(3),o(355),a(1),y(5),a(2),y(3),o(106),a(2),o(80),y(3),o(90),o(79),a(1),o(90),o(77),y(7),o(90),o(77),y(8),o(90),o(77),y(9),o(85),o(285),a(1),y(6),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',622,18394,18397,o(143),proc(/(=..,2)),1003,o(106),a(2),o(80),y(1),o(90),o(80),y(5),o(90),o(80),y(7),o(90),o(80),y(8),o(90),o(80),y(9),o(85),o(285),a(1),y(4),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',623,18450,18453,o(143),proc(/(=..,2)),249,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(6),o(91),pw(3),o(61),functor(/(;,2)),o(91),pw(3),o(390),true,functor(/(->,2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRvar',1)),o(80),y(7),o(61),functor(/('CHRdelay',2)),o(90),o(80),y(4),o(80),y(7),o(90),o(80),y(5),o(85),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',624,18493,18506,o(143),proc(/(l_out_clause,1)),9,o(107),a(1),functor(/(/,2)),o(80),y(3),o(86),4,o(285),a(2),y(2),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',625,18591,18612,o(143),proc(/(gen_notrace_set_flag,2)),5,o(4),y(2),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',626,18638,18648,o(145),proc(/(out_query,1)),o(199),525,3,o(15),a(3),ref(188),o(380),functor(/(double,7)),o(369),a(3),a(4),o(370),y(29),y(22),o(370),y(23),y(36),o(41),y(24),o(97),t(0),ref(204),o(41),y(4),o(139),ref(206),o(71),functor(/(double,7)),ref(170),o(366),a(3),a(4),o(367),y(29),y(22),o(367),y(23),y(36),o(42),y(24),o(95),t(0),o(42),y(4),o(137),pw(-1),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',628,18786,18787,5,0,o(16),a(3),functor(/(kf,2)),ref(226),o(370),y(25),y(32),o(139),ref(229),o(367),y(25),y(32),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',629,18807,18808,5,0,o(16),a(4),functor(/(kf,2)),ref(248),o(370),y(26),y(27),o(139),ref(251),o(367),y(26),y(27),o(172),o(355),a(1),y(3),a(2),y(9),o(106),a(2),o(80),y(9),o(90),o(80),y(25),o(90),o(80),y(32),o(90),o(77),y(44),o(90),o(77),y(28),o(85),o(285),a(1),y(47),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',630,18828,18831,o(143),proc(/(=..,2)),refm(1166,2),o(285),a(2),y(6),o(4),y(9),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',632,18865,18876,o(143),proc(/(add_suffix,2)),refm(1168,2),o(106),a(2),o(80),y(6),o(90),o(77),y(31),o(90),o(80),y(32),o(90),o(80),y(25),o(90),o(80),y(44),o(90),o(80),y(28),o(85),o(285),a(1),y(46),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',633,18919,18922,o(143),proc(/(=..,2)),refm(1170,2),o(285),a(3),y(45),o(351),2,y(25),a(1),o(342),proc(/(shared_variable,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',635,18963,18979,o(143),proc(/(shared_variable,3)),refm(1172,2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',636,19009,19010,5,0,o(107),a(3),functor(/(?-,2)),o(80),y(47),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRvar',1)),o(80),y(32),o(390),functor(/(',',2)),!,o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(3),o(80),y(46),o(61),functor(/('CHRget_delayed_goals',2)),o(80),y(45),o(80),y(31),o(3),a(3),y(21),o(172),o(106),a(2),o(80),y(9),o(90),o(80),y(3),o(90),o(80),y(32),o(90),o(80),y(44),o(90),o(80),y(28),o(85),o(285),a(1),y(43),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',641,19135,19138,o(143),proc(/(=..,2)),refm(1174,2),o(285),a(2),y(2),o(4),y(9),a(1),o(342),proc(/(add_suffix,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',643,19180,19191,o(143),proc(/(add_suffix,2)),refm(1176,2),o(106),a(2),o(80),y(2),o(90),o(80),y(3),o(90),o(80),y(32),o(90),o(80),y(44),o(90),o(80),y(28),o(85),o(285),a(1),y(42),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',644,19228,19231,o(143),proc(/(=..,2)),refm(1178,2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',645,19280,19281,5,0,o(107),a(4),functor(/(:-,2)),o(80),y(43),o(80),y(42),o(3),a(4),y(20),o(172),o(375),a(2),y(40),a(3),y(41),o(4),y(26),a(1),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',647,19316,19324,o(143),proc(/(functor,3)),refm(1180,2),o(107),a(1),functor(/(/,2)),o(80),y(40),o(80),y(41),o(285),a(2),y(39),o(342),proc(/(constraint2pred,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',648,19354,19370,o(143),proc(/(constraint2pred,2)),refm(1182,2),o(106),a(2),o(80),y(39),o(90),o(80),y(26),o(90),o(80),y(27),o(90),o(77),y(34),o(90),o(77),y(19),o(85),o(285),a(1),y(38),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',649,19426,19429,o(143),proc(/(=..,2)),refm(1184,2),o(106),a(2),o(80),y(6),o(90),o(90),o(90),o(80),y(38),o(80),y(31),o(80),y(32),o(90),o(80),y(25),o(90),o(77),y(30),o(90),o(80),y(28),o(85),o(285),a(1),y(18),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',650,19477,19480,o(143),proc(/(=..,2)),refm(1186,2),o(203),y(35),o(128),0,0,ref(760),o(203),y(37),o(128),0,0,ref(660),o(212),a(1),o(128),0,1,ref(644),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',651,19555,19556,5,0,o(289),y(25),y(26),o(172),o(403),a(1),pw(37),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',651,19548,19550,0,0,o(163),o(199),525,refm(1188,2),o(204),y(37),pw(36),o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',651,19545,19547,0,0,o(163),o(199),525,refm(1190,2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',651,19567,19568,5,0,o(4),y(23),a(3),o(13),a(3),augmentation,o(172),o(204),y(35),pw(36),o(106),a(2),o(80),y(36),o(90),o(80),y(24),o(85),o(285),a(1),y(33),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',654,19696,19699,o(143),proc(/(=..,2)),refm(1192,2),o(125),y(23),ref(1194),1,ref(783),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',658,19769,19770,5,0,o(4),y(23),a(1),o(13),a(1),keep_first,o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',660,19803,19804,5,0,o(104),a(1),true,o(3),a(1),y(16),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',661,19819,19820,5,0,o(107),a(2),functor(/('CHRkill',1)),o(80),y(27),o(3),a(2),y(17),o(172),o(139),ref(825),o(199),525,refm(1196,2),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',656,19738,19739,5,0,o(288),y(24),y(33),o(172),o(125),y(23),ref(1198),1,ref(783),o(139),ref(708),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',663,19872,19873,5,0,o(107),a(1),functor(/('CHRcheck_and_mark_applied',5)),o(80),y(33),o(80),y(32),o(80),y(27),o(80),y(30),o(80),y(34),o(3),a(1),y(16),o(172),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',664,19938,19939,5,0,o(104),a(2),true,o(3),a(2),y(17),o(172),o(106),a(2),o(80),y(6),o(90),o(80),y(31),o(90),o(80),y(32),o(90),o(80),y(25),o(90),o(80),y(30),o(90),o(80),y(28),o(85),o(285),a(1),y(15),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',667,19963,19966,o(143),proc(/(=..,2)),1073709663,o(107),a(1),functor(/(:-,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(',',2)),o(80),y(25),o(80),y(26),o(61),functor(/(|,2)),o(80),y(29),o(80),y(22),o(107),a(2),functor(/(:-,2)),o(91),pw(3),o(91),pw(3),o(61),functor(/(',',2)),o(370),y(11),y(12),o(61),functor(/(|,2)),o(370),y(13),y(14),o(342),proc(/(copy_term,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',669,20008,20018,o(143),proc(/(copy_term,2)),1073740383,o(107),a(2),functor(/(',',2)),o(80),y(25),o(80),y(26),o(285),a(3),y(10),o(4),y(29),a(1),o(342),proc(/(build_guard_checking,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',670,20062,20083,o(143),proc(/(build_guard_checking,3)),536870495,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',671,20132,20133,5,0,o(107),a(2),functor(/(?-,2)),o(80),y(18),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/('CHRvar',1)),o(80),y(27),o(61),functor(/(',',2)),o(80),y(16),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/(coca,1)),o(91),pw(11),o(61),functor(/(',',2)),o(80),y(10),o(91),pw(3),o(61),functor(/(try_double,10)),o(80),y(28),o(80),y(25),o(80),y(19),o(80),y(26),o(80),y(11),o(80),y(12),o(80),y(23),o(80),y(13),o(80),y(14),o(80),y(24),o(390),functor(/(',',2)),!,o(91),pw(3),o(61),functor(/(',',2)),o(80),y(17),o(91),pw(3),o(61),functor(/(',',2)),o(91),pw(2),o(91),pw(3),o(61),functor(/(coca,1)),o(91),pw(2),o(61),functor(/(',',2)),o(80),y(15),o(80),y(22),o(61),functor(/(fired_rule,1)),o(80),y(24),o(3),a(2),y(7),o(172),o(106),a(1),o(80),y(21),o(90),o(80),y(20),o(85),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',683,20551,20564,o(143),proc(/(l_out_clause,1)),735,o(107),a(1),functor(/(/,2)),o(80),y(9),o(86),4,o(285),a(2),y(8),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',684,20586,20607,o(143),proc(/(gen_notrace_set_flag,2)),479,o(4),y(8),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',685,20634,20644,o(143),proc(/(out_query,1)),223,o(106),a(1),o(80),y(7),o(85),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',687,20659,20672,o(143),proc(/(l_out_clause,1)),95,o(353),y(6),a(1),y(2),a(2),o(342),proc(/(out_partner_loop_and_continuation,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',688,20694,20728,o(143),proc(/(out_partner_loop_and_continuation,2)),95,o(107),a(1),functor(/(/,2)),o(80),y(6),o(86),5,o(285),a(2),y(5),o(342),proc(/(gen_notrace_set_flag,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',689,20755,20776,o(143),proc(/(gen_notrace_set_flag,2)),63,o(4),y(5),a(1),o(342),proc(/(out_query,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',690,20806,20816,o(143),proc(/(out_query,1)),31,o(354),y(3),a(1),y(2),a(2),y(1),a(3),o(4),y(4),a(4),o(342),proc(/(l_compile_double_augms,4)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',691,20830,20853,o(144),ref(0),o(0),1069548058,73763,1069548122,73763,-1077935526,106531,-1077935526,122915,-1075838374,12323,-1075838370,12323,-1075838370,6179,-1074789794,1571,-1074789794,291,-1074265506,171,-261538,43,-261538,123,-261538,59,-261538,15,table([-(keep_first,ref(708))],2),-261538,11,table([-(keep_first,ref(708))],2),ref(45),ref(75),ref(122),ref(142),ref(155),ref(210),ref(232),ref(279),ref(295),ref(328),ref(345),ref(355),ref(422),ref(438),ref(468),ref(478),ref(506),ref(526),ref(556),ref(592),ref(620),ref(636),ref(652),ref(665),ref(695),ref(710),ref(726),ref(742),ref(765),ref(785),ref(811),ref(850),ref(896),ref(919),ref(929),ref(1042),ref(1062),ref(1075),ref(1090),ref(1105),ref(1125),ref(1138),ref(1158),0),1244,1200,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',616,18313))).
:-(:(sepia_kernel,store_pred(/(out_partner_loop_and_continuation,2),[](o(6),pw(12),a(1),y(8),o(3),a(2),y(4),o(106),a(2),o(79),a(1),o(90),o(90),o(90),o(75),o(370),y(11),y(5),o(90),o(77),y(12),o(90),o(77),y(6),o(90),o(77),y(7),o(85),o(285),a(1),y(10),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',696,20958,20961,o(143),proc(/(=..,2)),7665,o(106),a(2),o(80),y(8),o(90),o(80),y(11),o(90),o(80),y(5),o(90),o(80),y(12),o(90),o(80),y(6),o(90),o(80),y(7),o(85),o(285),a(1),y(9),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',697,21013,21016,o(143),proc(/(=..,2)),2033,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(10),o(80),y(9),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',698,21056,21069,o(143),proc(/(l_out_clause,1)),497,o(106),a(2),o(80),y(8),o(90),o(85),o(90),o(80),y(5),o(90),o(77),y(3),o(90),o(80),y(6),o(90),o(80),y(7),o(85),o(285),a(1),y(2),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',699,21095,21098,o(143),proc(/(=..,2)),253,o(106),a(2),o(80),y(4),o(90),o(80),y(3),o(90),o(80),y(5),o(90),o(80),y(6),o(90),o(80),y(7),o(85),o(285),a(1),y(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',700,21144,21147,o(143),proc(/(=..,2)),7,o(106),a(1),o(91),pw(3),o(85),o(61),functor(/(:-,2)),o(80),y(2),o(80),y(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',701,21188,21201,o(145),proc(/(l_out_clause,1)),o(0),ref(33),ref(66),ref(87),ref(119),ref(149),ref(170),0),185,178,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',691,20893))).
:-(:(sepia_kernel,store_pred(/(gen_notrace_set_flag,2),[](o(16),a(2),functor(/(:-,1)),ref(12),o(66),functor(/(set_flag,3)),o(43),a(1),o(390),leash,notrace,o(157),o(74),functor(/(set_flag,3)),ref(6),o(44),a(1),o(62),leash,o(62),notrace,o(157),o(0)),23,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',701,21219))).
:-(:(sepia_kernel,store_pred(/(gen_printing_macro,2),[](o(16),a(2),functor(/(:-,1)),ref(41),o(66),functor(/(;,2)),o(380),functor(/(->,2)),o(380),functor(/(current_macro,4)),o(43),a(1),o(349),pw(3),o(97),t(0),ref(54),o(61),true,o(97),t(1),ref(58),o(66),functor(/(define_macro,3)),o(43),a(1),o(380),functor(/(/,2)),o(393),tr_chr,2,o(97),t(0),ref(72),o(65),o(61),write,o(55),o(137),pw(-3),o(157),o(74),functor(/(;,2)),ref(6),o(71),functor(/(->,2)),ref(8),o(71),functor(/(current_macro,4)),ref(10),o(44),a(1),o(95),t(0),o(62),true,o(95),t(1),o(74),functor(/(define_macro,3)),ref(24),o(44),a(1),o(71),functor(/(/,2)),ref(28),o(62),tr_chr,o(58),2,o(95),t(0),o(70),ref(35),o(62),write,o(56),o(137),pw(-3),o(157),o(0)),81,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',705,21350))).
:-(:(sepia_kernel,store_pred(/(build_guard_checking,3),[](o(136),pw(4),o(203),y(4),o(352),3,a(1),y(1),o(128),0,0,ref(58),o(104),a(1),check_guard_bindings,o(104),a(2),off,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',711,21515,21522,o(143),proc(:(sepia_kernel,/(getval_body,3))),27,o(204),y(4),pw(3),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',713,21571,21572,5,0,o(4),y(3),a(1),o(16),a(1),functor(/(no_delayed_goals,1)),ref(54),o(47),y(1),o(172),o(154),o(48),y(1),o(172),o(154),o(198),525,ref(112),31,o(104),a(1),check_guard_bindings,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',715,21654,21661,o(143),proc(:(sepia_kernel,/(getval_body,3))),31,o(204),y(4),pw(3),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',717,21709,21710,5,0,o(4),y(3),a(1),o(16),a(1),functor(/(no_global_bindings,2)),ref(106),o(47),y(1),o(47),y(2),o(172),o(154),o(48),y(1),o(48),y(2),o(172),o(154),o(199),525,1,o(104),a(1),error,o(105),a(2),"Error: check_guard_bindings value not correct\n",o(101),a(3),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',719,21779,21786,o(143),proc(:(sepia_kernel,/(printf_body,4))),1,o(342),proc(/(abort,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',720,21850,21855,o(145),proc(/(abort,0)),o(0),ref(23),ref(36),ref(73),ref(86),ref(128),ref(138),0),153,146,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',707,21460))).
:-(mode(pred_name_rename(++,-))).
:-(:(sepia_kernel,store_pred(/(pred_name_rename,2),[](o(2),a(1),a(3),o(106),a(1),o(61),clause_,o(90),o(79),a(3),o(85),o(342),proc(/(concat_atom,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',725,21932,21944,o(151),proc(/(concat_atom,2)),o(0),ref(13),0),23,21,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',723,21891))).
:-(mode(constraint2pred(++,-))).
:-(:(sepia_kernel,store_pred(/(constraint2pred,2),[](o(16),a(1),functor(/(/,2)),ref(9),o(369),a(3),a(4),o(139),ref(12),o(366),a(3),a(4),o(106),a(1),o(61),'CHR',o(90),o(79),a(3),o(90),o(61),'_',o(90),o(79),a(4),o(85),o(342),proc(/(concat_atom,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',730,22054,22066,o(151),proc(/(concat_atom,2)),o(0),ref(28),0),38,36,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',728,22010))).
:-(:(sepia_kernel,store_pred(/(add_suffix,2),[](o(6),pw(5),a(1),y(5),o(3),a(2),y(2),o(285),a(1),y(4),o(342),proc(/(gen_sym,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',734,22137,22145,o(143),proc(/(gen_sym,1)),53,o(285),a(2),y(3),o(4),y(5),a(1),o(342),proc(/(atom_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',735,22155,22167,o(143),proc(/(atom_string,2)),29,o(106),a(1),o(80),y(3),o(90),o(89),"__",o(90),o(80),y(4),o(85),o(285),a(2),y(1),o(342),proc(/(concat_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',736,22183,22197,o(143),proc(/(concat_string,2)),7,o(353),y(2),a(1),y(1),a(2),o(342),proc(/(atom_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',737,22237,22249,o(145),proc(/(atom_string,2)),o(0),ref(12),ref(28),ref(52),ref(67),0),80,75,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',730,22104))).
:-(:(sepia_kernel,store_pred(/(gen_sym,1),[](o(6),pw(2),a(1),y(1),o(104),a(1),gen_num,o(285),a(2),y(2),o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',741,22291,22298,o(143),proc(:(sepia_kernel,/(getval_body,3))),7,o(404),a(3),chr2pl,o(353),y(2),a(1),y(1),a(2),o(342),proc(:(sepia_kernel,/(number_string_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',742,22312,22326,o(143),proc(:(sepia_kernel,/(number_string_,3))),1,o(104),a(1),gen_num,o(404),a(2),chr2pl,o(342),proc(:(sepia_kernel,/(incval_body,2))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',743,22334,22341,o(145),proc(:(sepia_kernel,/(incval_body,2))),o(0),ref(15),ref(33),ref(49),0),61,57,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',737,22272))).
:-(:(sepia_kernel,store_pred(/(shared_variable,3),[](o(6),pw(4),a(2),y(2),o(3),a(3),y(3),o(285),a(2),y(4),o(342),proc(/(term_variables,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',747,22384,22399,o(143),proc(/(term_variables,2)),29,o(203),y(1),o(125),y(3),ref(74),1,ref(31),o(128),0,0,ref(52),o(4),y(4),a(1),o(351),2,y(2),a(2),o(342),proc(/(l_occurs,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',748,22411,22420,o(143),proc(/(l_occurs,3)),3,o(204),y(1),pw(0),o(154),o(199),525,9,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',752,22465,22466,5,0,o(4),y(3),a(1),o(13),a(1),true,o(172),o(154),o(0),o(177),table([-(true,ref(27))],2),ref(12),ref(40),ref(57),0),80,76,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',743,22350))).
:-(:(sepia_kernel,store_pred(/(l_occurs,3),[](o(136),pw(1),o(203),y(1),o(128),0,3,ref(35),o(15),a(1),ref(16),o(43),a(3),o(33),o(139),ref(18),o(44),a(3),o(2),a(3),a(1),o(342),proc(/(occurs,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',757,22514,22521,o(143),proc(/(occurs,2)),3,o(204),y(1),pw(0),o(154),o(199),525,1,o(15),a(1),ref(53),o(33),o(37),a(1),o(342),proc(/(l_occurs,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',760,22560,22569,o(144),ref(0),o(34),o(38),a(1),o(342),proc(/(l_occurs,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',760,22560,22569,o(144),ref(0),o(0),ref(23),ref(46),ref(58),0),70,66,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',753,22482))).
:-(:(sepia_kernel,store_pred(/(basename_chr,3),[](o(212),a(4),o(124),a(1),ref(271),ref(364),ref(271),ref(271),ref(335),ref(271),ref(271),ref(271),ref(271),ref(335),ref(271),ref(359),ref(17),o(129),0,4,ref(157),o(135),9,ref(303),o(23),a(1),functor(/(lib,1)),ref(28),o(38),a(1),o(6),pw(5),a(2),y(4),o(355),a(3),y(2),a(4),y(5),o(124),a(1),ref(fail),ref(fail),ref(fail),ref(fail),ref(73),ref(fail),ref(fail),ref(fail),ref(fail),ref(56),ref(fail),ref(56),ref(fail),o(139),ref(fail),o(170),proc(/(atom,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',768,22780,22785,0,1,o(300),a(1),o(172),o(3),a(1),y(1),o(139),ref(88),o(170),proc(/(string,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',768,22792,22799,0,1,o(306),a(1),o(172),o(3),a(1),y(1),o(204),y(5),pw(4),o(104),a(1),installation_directory,o(285),a(2),y(3),o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(get_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',770,22812,22821,o(143),proc(:(sepia_kernel,/(get_flag_body,3))),31,o(106),a(1),o(80),y(3),o(90),o(89),"/lib/chr/",o(90),o(80),y(1),o(90),o(89),".chr",o(85),o(4),y(4),a(2),o(342),proc(/(concat_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',771,22853,22867,o(143),proc(/(concat_string,2)),7,o(106),a(1),o(80),y(1),o(90),o(89),".pl",o(85),o(4),y(2),a(2),o(342),proc(/(concat_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',772,22913,22927,o(145),proc(/(concat_string,2)),o(13),a(1),user,o(14),a(2),"user",o(14),a(3),"user.pl",o(251),a(4),o(157),o(6),pw(4),a(2),y(3),o(355),a(3),y(2),a(4),y(4),o(124),a(1),ref(fail),ref(fail),ref(fail),ref(fail),ref(212),ref(fail),ref(fail),ref(fail),ref(fail),ref(195),ref(fail),ref(195),ref(fail),o(139),ref(fail),o(170),proc(/(atom,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',775,23036,23041,0,1,o(300),a(1),o(172),o(3),a(1),y(1),o(139),ref(227),o(170),proc(/(string,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',775,23048,23055,0,1,o(306),a(1),o(172),o(3),a(1),y(1),o(204),y(4),pw(3),o(106),a(1),o(80),y(1),o(90),o(89),".chr",o(85),o(4),y(3),a(2),o(342),proc(/(concat_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',777,23068,23082,o(143),proc(/(concat_string,2)),7,o(106),a(1),o(80),y(1),o(90),o(89),".pl",o(85),o(4),y(2),a(2),o(342),proc(/(concat_string,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',778,23109,23123,o(145),proc(/(concat_string,2)),o(170),proc(/(nonvar,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',780,23177,23184,0,1,o(299),a(1),o(172),o(107),a(2),functor(/(chr2pl,1)),o(79),a(1),o(102),a(1),5,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(error_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',781,23192,23198,o(151),proc(:(sepia_kernel,/(error_,3))),o(170),proc(/(var,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',783,23245,23249,0,1,o(298),a(1),o(172),o(107),a(2),functor(/(chr2pl,1)),o(79),a(1),o(102),a(1),4,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(error_,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',784,23257,23263,o(151),proc(:(sepia_kernel,/(error_,3))),o(129),0,4,ref(169),o(135),9,ref(271),o(129),0,4,ref(157),o(132),9,ref(169),o(135),9,ref(271),o(129),0,4,ref(24),o(135),9,ref(271),o(121),a(1),ref(384),1,ref(335),o(123),a(1),ref(386),1,ref(271),o(129),0,4,ref(24),o(132),9,ref(169),o(132),9,ref(271),o(135),9,ref(303),o(0),o(177),table([-(user,ref(342))],2),table([-(/(lib,1),ref(352))],2),ref(58),ref(75),ref(102),ref(129),ref(150),ref(197),ref(214),ref(243),ref(264),ref(273),ref(296),ref(305),ref(328),0),402,388,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',760,22578))).
:-(mode(l_out_clause(++))).
:-(:(sepia_kernel,store_pred(/(l_out_clause,1),[](o(122),a(1),ref(14),ref(11),ref(fail),o(128),0,1,ref(12),o(10),a(1),o(157),o(134),9,o(136),pw(2),o(15),a(1),ref(24),o(368),a(1),y(1),o(139),ref(27),o(365),a(1),y(1),o(285),a(2),y(2),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',792,23435,23441,o(143),proc(/(simpl,2)),7,o(4),y(2),a(1),o(342),proc(/(out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',793,23460,23471,o(143),proc(/(out_clause,1)),3,o(4),y(1),a(1),o(342),proc(/(l_out_clause,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',794,23482,23495,o(144),ref(0),o(0),ref(32),ref(45),ref(58),0),70,66,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',789,23385))).
:-(:(sepia_kernel,store_pred(/(out_clause,1),[](o(128),0,1,ref(52),o(6),pw(1),a(1),y(1),o(99),a(3),o(102),a(2),0,o(342),proc(/(numbervars,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',796,23517,23528,o(143),proc(/(numbervars,3)),3,o(104),a(1),file_pl,o(404),a(3),chr2pl,o(4),y(1),a(2),o(342),proc(:(sepia_kernel,/(writeclause_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',796,23536,23548,o(143),proc(:(sepia_kernel,/(writeclause_body,3))),1,o(170),proc(/(fail,0)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',796,23561,23565,0,0,o(163),o(134),9,o(157),o(0),ref(15),ref(34),ref(44),0),60,56,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',794,23498))).
:-(:(sepia_kernel,store_pred(/(numbervars,3),[](o(212),a(4),o(123),a(1),ref(94),1,ref(50),o(139),ref(13),o(128),0,4,ref(48),o(16),a(1),functor(/('$VAR',1)),ref(42),o(43),a(2),o(251),a(4),o(170),proc(:(sepia_kernel,/(+,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',801,23648,23650,-1,3,o(321),a(2),1,a(1),24,o(7),a(1),a(3),o(190),0,ref(21),o(157),o(44),a(2),o(251),a(4),o(139),ref(21),o(134),9,o(6),pw(4),a(1),y(1),o(352),2,a(2),y(2),o(99),a(2),o(285),a(3),y(4),o(342),proc(/(functor,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',803,23686,23694,o(143),proc(/(functor,3)),31,o(102),a(1),0,o(4),y(4),a(2),o(351),3,y(1),a(3),o(342),proc(/(numbervars,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',804,23719,23730,o(145),proc(/(numbervars,5)),o(0),o(177),table([-(/('$VAR',1),ref(9))],2),ref(23),ref(65),ref(85),0),100,96,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',798,23609))).
:-(:(sepia_kernel,store_pred(/(numbervars,5),[](o(212),a(6),o(128),0,6,ref(15),o(7),a(2),a(1),o(7),a(5),a(4),o(251),a(6),o(157),o(134),9,o(170),proc(:(sepia_kernel,/(+,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',808,23835,23837,-1,3,o(321),a(1),1,a(6),24,o(6),pw(5),a(6),y(4),o(190),0,ref(17),o(4),y(4),a(6),o(170),proc(/(arg,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',809,23846,23850,-1,3,o(340),a(6),a(3),a(1),16,o(190),0,ref(41),o(352),2,a(2),y(1),o(3),a(5),y(3),o(285),a(3),y(5),o(2),a(4),a(2),o(342),proc(/(numbervars,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',810,23867,23878,o(143),proc(/(numbervars,3)),63,o(4),y(4),a(1),o(351),2,y(1),a(2),o(353),y(5),a(4),y(3),a(5),o(342),proc(/(numbervars,5)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',811,23900,23911,o(144),ref(0),o(0),ref(19),ref(43),ref(73),ref(95),0),108,103,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',804,23752))).
:-(:(sepia_kernel,store_pred(/(out_query,1),[](o(16),a(1),functor(/(:-,1)),ref(8),o(37),a(4),o(139),ref(10),o(38),a(4),o(107),a(2),functor(/(:-,1)),o(79),a(4),o(104),a(1),file_pl,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(writeclause_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',834,24398,24410,o(151),proc(:(sepia_kernel,/(writeclause_body,3))),o(0),ref(23),0),33,31,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',811,23935))).
:-(setval(left,off)).
:-(:(sepia_kernel,store_pred(/(out_goal,1),[](o(136),pw(5),o(203),y(1),o(123),a(1),ref(346),1,ref(337),o(16),a(1),functor(/(',',2)),ref(18),o(370),y(3),y(2),o(139),ref(21),o(367),y(3),y(2),o(104),a(1),left,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',848,24642,24649,o(143),proc(:(sepia_kernel,/(setval_body,3))),13,o(4),y(3),a(1),o(342),proc(/(out_goal,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',849,24661,24670,o(142),ref(0),5,o(104),a(1),left,o(104),a(2),off,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(setval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',850,24679,24686,o(143),proc(:(sepia_kernel,/(setval_body,3))),5,o(4),y(2),a(1),o(342),proc(/(out_goal,1)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',851,24699,24708,o(144),ref(0),o(3),a(1),y(3),o(104),a(1),left,o(104),a(2),on,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(getval_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',853,24735,24742,o(143),proc(:(sepia_kernel,/(getval_body,3))),11,o(204),y(1),pw(5),o(203),y(2),o(128),0,0,ref(199),o(106),a(2),o(77),y(5),o(75),o(4),y(3),a(1),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',854,24764,24767,o(143),proc(/(=..,2)),45,o(99),a(2),o(285),a(1),y(4),o(404),a(4),chr2pl,o(4),y(5),a(3),o(342),proc(:(sepia_kernel,/(current_op_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',855,24781,24792,o(143),proc(:(sepia_kernel,/(current_op_body,4))),29,o(102),a(5),1000,o(4),y(4),a(6),o(170),proc(:(sepia_kernel,/(>,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',856,24822,24823,-1,3,o(336),a(6),a(5),chr2pl,48,o(172),o(204),y(2),pw(3),o(104),a(1),file_pl,o(105),a(2),"%t(%OQVw),\n",o(404),a(4),chr2pl,o(4),y(3),a(3),o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',858,24844,24851,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(199),525,9,o(104),a(1),file_pl,o(105),a(2),"%t%OQVw,\n",o(404),a(4),chr2pl,o(4),y(3),a(3),o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',860,24895,24902,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(203),y(2),o(128),0,1,ref(313),o(3),a(1),y(4),o(106),a(2),o(77),y(5),o(75),o(342),proc(/(=..,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',863,24968,24971,o(143),proc(/(=..,2)),53,o(99),a(2),o(285),a(1),y(3),o(404),a(4),chr2pl,o(4),y(5),a(3),o(342),proc(:(sepia_kernel,/(current_op_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',864,24985,24996,o(143),proc(:(sepia_kernel,/(current_op_body,4))),29,o(102),a(5),1000,o(4),y(3),a(6),o(170),proc(:(sepia_kernel,/(>,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',865,25026,25027,-1,3,o(336),a(6),a(5),chr2pl,48,o(172),o(204),y(2),pw(4),o(104),a(1),file_pl,o(105),a(2),"%t(%OQVw).\n",o(404),a(4),chr2pl,o(4),y(4),a(3),o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',867,25048,25055,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(199),525,1,o(2),a(1),a(3),o(104),a(1),file_pl,o(105),a(2),"%t%OQVw.\n",o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',869,25099,25106,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(129),0,1,ref(84),o(344),525,ref(223),1,o(0),table([-(/(',',2),ref(18))],2),ref(32),ref(45),ref(64),ref(77),ref(98),ref(125),ref(146),ref(162),ref(192),ref(216),ref(239),ref(260),ref(276),ref(306),ref(330),0),364,348,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',844,24607))).
:-(:(sepia_kernel,store_pred(/(header,0),[](o(104),a(1),file_pl,o(105),a(2),"\n%%%%%% The following code has been produced by the CHR compiler\n\n",o(101),a(3),o(404),a(4),chr2pl,o(136),pw(0),o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',874,25159,25166,o(143),proc(:(sepia_kernel,/(printf_body,4))),1,o(104),a(1),file_pl,o(105),a(2),"\n:- ( current_module(chr) -> true ; use_module(library(chr)) ).\n",o(101),a(3),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',875,25261,25268,o(143),proc(:(sepia_kernel,/(printf_body,4))),1,o(104),a(1),file_pl,o(105),a(2),"\n:- get_flag(variable_names, Val), setval(variable_names_flag, Val), set_flag(variable_names, off).\n",o(101),a(3),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',876,25353,25360,o(145),proc(:(sepia_kernel,/(printf_body,4))),o(0),ref(15),ref(36),ref(57),0),69,65,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',870,25145))).
:-(:(sepia_kernel,store_pred(/(tailer,0),[](o(104),a(1),file_pl,o(105),a(2),"\n:- getval(variable_names_flag, Val), set_flag(variable_names, Val).\n",o(101),a(3),o(404),a(4),chr2pl,o(342),proc(:(sepia_kernel,/(printf_body,4))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',879,25492,25499,o(151),proc(:(sepia_kernel,/(printf_body,4))),o(0),ref(13),0),23,21,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',876,25479))).
:-(:(sepia_kernel,store_pred(/(simpl,2),[](o(212),a(3),o(123),a(1),ref(292),4,ref(193),o(129),0,3,ref(20),o(132),9,ref(57),o(132),9,ref(94),o(135),9,ref(131),o(16),a(1),functor(/(:-,2)),ref(29),o(369),a(4),a(1),o(139),ref(32),o(366),a(4),a(1),o(16),a(2),functor(/(:-,2)),ref(42),o(43),a(4),o(37),a(2),o(139),ref(46),o(44),a(4),o(38),a(2),o(251),a(3),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',886,25711,25717,o(150),ref(0),o(16),a(1),functor(/(?-,2)),ref(66),o(369),a(4),a(1),o(139),ref(69),o(366),a(4),a(1),o(16),a(2),functor(/(?-,2)),ref(79),o(43),a(4),o(37),a(2),o(139),ref(83),o(44),a(4),o(38),a(2),o(251),a(3),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',888,25777,25783,o(150),ref(0),o(16),a(1),functor(/(:-,1)),ref(108),o(37),a(1),o(16),a(2),functor(/(:-,1)),ref(118),o(37),a(2),o(139),ref(120),o(38),a(1),o(16),a(2),functor(/(:-,1)),ref(118),o(37),a(2),o(139),ref(120),o(38),a(2),o(251),a(3),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',890,25833,25839,o(150),ref(0),o(136),pw(4),o(16),a(1),functor(/(',',2)),ref(142),o(368),a(1),y(4),o(139),ref(145),o(365),a(1),y(4),o(3),a(2),y(2),o(285),a(2),y(3),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',893,25890,25896,o(142),ref(0),29,o(285),a(2),y(1),o(4),y(4),a(1),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',894,25913,25919,o(142),ref(0),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(342),proc(/(compose_goals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',895,25936,25950,o(145),proc(/(compose_goals,3)),o(6),pw(3),a(2),y(2),o(285),a(2),y(3),o(342),proc(/(simpl_goal,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',897,25998,26009,o(143),proc(/(simpl_goal,2)),13,o(203),y(1),o(128),0,0,ref(252),o(104),a(1),debug_compile,o(104),a(2),off,o(404),a(3),chr2pl,o(342),proc(:(sepia_kernel,/(get_flag_body,3))),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',898,26026,26035,o(143),proc(:(sepia_kernel,/(get_flag_body,3))),15,o(204),y(1),pw(3),o(353),y(3),a(1),y(2),a(2),o(342),proc(/(nodbg_simpl_goal,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',900,26070,26087,o(145),proc(/(nodbg_simpl_goal,2)),o(199),525,13,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',901,26119,26120,5,0,o(289),y(2),y(3),o(172),o(154),o(129),0,3,ref(20),o(135),9,ref(193),o(129),0,3,ref(57),o(135),9,ref(193),o(129),0,3,ref(94),o(135),9,ref(193),o(0),o(177),table([-(/(:-,2),ref(269)),-(/(',',2),ref(131)),-(/(?-,2),ref(276)),-(/(:-,1),ref(283))],8),ref(50),ref(87),ref(124),ref(153),ref(169),ref(186),ref(202),ref(227),ref(245),ref(257),0),311,300,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',879,25587))).
:-(:(sepia_kernel,store_pred(/(compose_goals,3),[](o(212),a(4),o(124),a(1),ref(161),ref(193),ref(161),ref(161),ref(161),ref(161),ref(161),ref(161),ref(161),ref(161),ref(161),ref(188),ref(17),o(121),a(2),ref(210),1,ref(198),o(128),0,4,ref(35),o(13),a(1),true,o(7),a(3),a(2),o(251),a(4),o(157),o(131),9,ref(47),o(13),a(2),true,o(7),a(3),a(1),o(251),a(4),o(157),o(131),9,ref(145),o(136),pw(6),o(16),a(1),functor(/(=,2)),ref(61),o(370),y(3),y(4),o(139),ref(64),o(367),y(3),y(4),o(352),2,a(3),y(1),o(2),a(2),a(1),o(375),a(2),y(5),a(3),y(6),o(342),proc(/(first_goal,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',908,26254,26265,o(143),proc(/(first_goal,3)),127,o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',909,26293,26294,5,0,o(4),y(5),a(4),o(16),a(4),functor(/(=,2)),ref(107),o(369),a(4),a(5),o(139),ref(110),o(366),a(4),a(5),o(172),o(204),y(2),pw(6),o(107),a(1),functor(/(=,2)),o(90),o(90),o(80),y(3),o(90),o(80),y(4),o(90),o(79),a(4),o(85),o(79),a(5),o(85),o(353),y(6),a(2),y(1),a(3),o(342),proc(/(compose_goals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',911,26318,26332,o(144),ref(0),o(134),9,o(16),a(3),functor(/(',',2)),ref(156),o(43),a(1),o(43),a(2),o(157),o(44),a(1),o(44),a(2),o(157),o(129),0,4,ref(38),o(135),9,ref(147),o(129),0,4,ref(26),o(132),9,ref(38),o(135),9,ref(147),o(129),0,4,ref(38),o(132),9,ref(50),o(135),9,ref(147),o(121),a(1),ref(212),1,ref(161),o(123),a(1),ref(214),1,ref(161),o(129),0,4,ref(26),o(132),9,ref(50),o(135),9,ref(147),o(0),o(177),table([-(true,ref(22))],2),table([-(true,ref(168))],2),table([-(/(=,2),ref(178))],2),ref(78),ref(88),ref(138),0),220,216,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',902,26137))).
:-(:(sepia_kernel,store_pred(/(first_goal,3),[](o(212),a(4),o(123),a(1),ref(42),1,ref(33),o(139),ref(13),o(128),0,4,ref(31),o(16),a(1),functor(/(',',2)),ref(24),o(43),a(2),o(43),a(3),o(251),a(4),o(157),o(44),a(2),o(44),a(3),o(251),a(4),o(157),o(134),9,o(7),a(2),a(1),o(13),a(3),true,o(157),o(0),o(177),table([-(/(',',2),ref(9))],2)),44,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',912,26408))).
:-(:(sepia_kernel,store_pred(/(nodbg_simpl_goal,2),[](o(212),a(3),o(123),a(1),ref(270),7,ref(219),o(129),0,3,ref(17),o(132),9,ref(28),o(135),9,ref(101),o(16),a(1),functor(/(coca,1)),ref(22),o(33),o(13),a(2),true,o(251),a(3),o(157),o(16),a(1),functor(/('CHRgen_num',1)),ref(33),o(33),o(13),a(2),true,o(251),a(3),o(157),o(23),a(1),functor(/(=,2)),ref(43),o(38),a(1),o(45),a(1),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',923,26619,26620,5,0,o(13),a(2),true,o(172),o(251),a(3),o(157),o(23),a(1),functor(/(=,2)),ref(67),o(67),ref(fail),o(38),a(4),o(197),o(56),o(95),t(0),o(70),ref(fail),o(38),a(5),o(197),o(56),o(137),pw(-1),o(251),a(3),o(107),a(1),functor(/(=,2)),o(79),a(4),o(79),a(5),o(342),proc(/(nodbg_simpl_goal,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',928,26679,26696,o(150),ref(0),o(16),a(1),functor(/('CHR=',2)),ref(110),o(369),a(3),a(4),o(139),ref(113),o(366),a(3),a(4),o(107),a(1),functor(/(=,2)),o(79),a(3),o(79),a(4),o(342),proc(/(simpl,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',931,26755,26761,o(151),proc(/(simpl,2)),o(16),a(1),functor(/('CHRkill',1)),ref(137),o(37),a(1),o(139),ref(139),o(38),a(1),o(16),a(2),functor(/(=,2)),ref(150),o(43),a(1),o(61),true,o(251),a(3),o(157),o(44),a(1),o(62),true,o(251),a(3),o(157),o(16),a(1),functor(/('CHRvar',1)),ref(172),o(37),a(1),o(16),a(2),functor(/(var,1)),ref(183),o(43),a(1),o(251),a(3),o(157),o(38),a(1),o(16),a(2),functor(/(var,1)),ref(183),o(43),a(1),o(251),a(3),o(157),o(44),a(1),o(251),a(3),o(157),o(16),a(1),functor(/('CHRnonvar',1)),ref(203),o(37),a(1),o(16),a(2),functor(/(nonvar,1)),ref(214),o(43),a(1),o(251),a(3),o(157),o(38),a(1),o(16),a(2),functor(/(nonvar,1)),ref(214),o(43),a(1),o(251),a(3),o(157),o(44),a(1),o(251),a(3),o(157),o(7),a(2),a(1),o(157),o(129),0,3,ref(188),o(135),9,ref(219),o(129),0,3,ref(129),o(135),9,ref(219),o(129),0,3,ref(157),o(135),9,ref(219),o(129),0,3,ref(39),o(132),9,ref(63),o(135),9,ref(219),o(129),0,3,ref(28),o(135),9,ref(219),o(129),0,3,ref(17),o(135),9,ref(219),o(0),o(177),table([-(/('CHRnonvar',1),ref(223)),-(/('CHRkill',1),ref(230)),-(/('CHRvar',1),ref(237)),-(/(=,2),ref(244)),-(/('CHRgen_num',1),ref(254)),-(/(coca,1),ref(261)),-(/('CHR=',2),ref(110))],14),ref(49),ref(94),ref(122),0),288,284,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',916,26487))).
:-(:(sepia_kernel,store_pred(/(simpl_goal,2),[](o(212),a(3),o(123),a(1),ref(82),2,ref(62),o(121),a(2),ref(86),1,ref(62),o(128),0,3,ref(37),o(16),a(1),functor(/(no_global_bindings,2)),ref(29),o(61),true,o(33),o(13),a(2),true,o(251),a(3),o(157),o(62),true,o(13),a(2),true,o(251),a(3),o(157),o(131),9,ref(60),o(16),a(1),functor(/(no_delayed_goals,1)),ref(52),o(61),true,o(13),a(2),true,o(251),a(3),o(157),o(62),true,o(13),a(2),true,o(251),a(3),o(157),o(134),9,o(7),a(2),a(1),o(157),o(129),0,3,ref(40),o(135),9,ref(62),o(129),0,3,ref(16),o(135),9,ref(62),o(0),o(177),table([-(/(no_delayed_goals,1),ref(66)),-(/(no_global_bindings,2),ref(73))],4),table([-(true,ref(12))],2)),88,0,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',935,26945))).
:-(:(sepia_kernel,store_pred(/(intersection_identicals,3),[](o(136),pw(5),o(203),y(1),o(122),a(1),ref(128),ref(20),ref(fail),o(122),a(3),ref(128),ref(14),ref(128),o(128),0,3,ref(23),o(10),a(1),o(10),a(3),o(154),o(198),525,ref(98),3,o(15),a(1),ref(35),o(370),y(4),y(5),o(139),ref(38),o(367),y(4),y(5),o(352),2,a(2),y(2),o(4),y(4),a(1),o(342),proc(/(memberchk_identical,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',947,27255,27275,o(143),proc(/(memberchk_identical,2)),63,o(204),y(1),pw(5),o(170),proc(/(=,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',949,27294,27295,5,0,o(4),y(3),a(4),o(15),a(4),ref(79),o(47),y(4),o(37),a(3),o(139),ref(83),o(48),y(4),o(38),a(3),o(172),o(353),y(5),a(1),y(2),a(2),o(342),proc(/(intersection_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',950,27312,27336,o(144),ref(0),o(199),525,1,o(15),a(1),ref(116),o(33),o(37),a(1),o(342),proc(/(intersection_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',952,27405,27429,o(144),ref(0),o(34),o(38),a(1),o(342),proc(/(intersection_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',952,27405,27429,o(144),ref(0),o(129),0,3,ref(27),o(344),525,ref(101),1,o(0),ref(47),ref(60),ref(91),ref(109),ref(121),0),143,137,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',939,27069))).
:-(:(sepia_kernel,store_pred(/(memberchk_identical,2),[](o(212),a(3),o(122),a(2),ref(9),ref(fail),ref(fail),o(139),ref(23),o(128),0,3,ref(21),o(22),a(2),ref(16),o(45),a(1),o(251),a(3),o(157),o(134),9,o(15),a(2),ref(38),o(33),o(37),a(2),o(342),proc(/(memberchk_identical,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',956,27519,27539,o(150),ref(0),o(34),o(38),a(2),o(342),proc(/(memberchk_identical,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',956,27519,27539,o(150),ref(0),o(0),ref(31),ref(43),0),54,51,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',952,27445))).
:-(:(sepia_kernel,store_pred(/(delta_identicals,3),[](o(136),pw(4),o(203),y(1),o(122),a(1),ref(114),ref(20),ref(fail),o(122),a(3),ref(114),ref(122),ref(27),o(128),0,3,ref(23),o(10),a(1),o(10),a(3),o(154),o(198),525,ref(71),3,o(15),a(1),ref(35),o(368),a(1),y(4),o(139),ref(38),o(365),a(1),y(4),o(352),2,a(2),y(2),o(342),proc(/(memberchk_identical,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',961,27620,27640,o(143),proc(/(memberchk_identical,2)),31,o(204),y(1),pw(4),o(4),y(4),a(1),o(351),2,y(2),a(2),o(342),proc(/(delta_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',963,27656,27673,o(144),ref(0),o(199),525,1,o(15),a(1),ref(82),o(369),a(4),a(1),o(139),ref(85),o(366),a(4),a(1),o(15),a(3),ref(101),o(43),a(4),o(37),a(3),o(342),proc(/(delta_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',965,27745,27762,o(144),ref(0),o(44),a(4),o(38),a(3),o(342),proc(/(delta_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',965,27745,27762,o(144),ref(0),o(129),0,3,ref(27),o(344),525,ref(74),1,o(129),0,3,ref(18),o(344),525,ref(27),3,o(0),ref(44),ref(64),ref(94),ref(107),0),136,131,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',956,27544))).
:-(:(sepia_kernel,store_pred(/(common_vars,3),[](o(6),pw(4),a(2),y(4),o(3),a(3),y(2),o(285),a(2),y(3),o(342),proc(/(term_variables,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',968,27814,27829,o(143),proc(/(term_variables,2)),29,o(285),a(2),y(1),o(4),y(4),a(1),o(342),proc(/(term_variables,2)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',969,27839,27854,o(143),proc(/(term_variables,2)),15,o(4),y(3),a(1),o(351),2,y(1),a(2),o(342),proc(/(intersection_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',970,27864,27888,o(145),proc(/(intersection_identicals,3)),o(0),ref(12),ref(28),ref(45),0),57,53,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',965,27782))).
:-(:(sepia_kernel,store_pred(/(delta_vars,3),[](o(342),proc(/(delta_identicals,3)),1,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',974,27976,27993,o(151),proc(/(delta_identicals,3)),o(0),ref(2),0),12,10,524288,'/opt/shared2/rotds/patch-2015-09-20/build/ecrc_solvers/chr2pl.pl',970,27902))).
:-(set_flag(macro_expansion,on)).
