Small prolog source file, large executable?

Dave Sworin <[email protected]> Mon, 24 Nov 2008 04:14:43 -0800 (PST)

Newsgroups	gmane.comp.gnu.prolog.bugs
Message-ID	<[email protected]>

I have some permanent data in a list of structures
which I use.  The list of structures has a few hundred
data structures in the list and I noticed that I had
to increase my stack sizes to accomodate the new structures
I added.  The list of structures is defined in a predicate
which I call and the list is returned by an argument.
I then use the list in some other predicates.  The
structures are all fully instantiated.When I tried to
figure out why the memory usage went up, Ifound that
any time I instantiate a list of structures, even simple
ones like f(a,1,3), the executable is 100 times larger
than the prolog source.  So for example, I have a list
of structures andone other small 'toy' predicate in
an 8k prolog source file andthe executable is 800k.
I tried lots of different things but have not been able
to reduce the memory usage.  Even the very first intermediate
file, I think it is the WAM, has many many repeated
lines which are very similar but have arguments which
are the pieces of the structures.  I tried stripping
the executable whichdidn't help much either.  I tried
changing the data structure,using only one kind of structure
in the list, using a list of list of structures and so forth,
all with basically the same result.  The prolog source file
and the WAM file from one of my many trials are attached
just for reference.  The prolog source attached has about
100 lists of a few structures each.  I tried to send the 
executable but the mail message failed.  I think you can
try this yourself easier than looking at my files.
Dave

_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog

TEST_CASE_HMU.PL.TEXT (text/plain, 5.5 KB)

mypred(A,B) :-
LIST = [
['abc1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['abc2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['abc3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['abc4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['abc5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['abc6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['abc7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['abc8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['abc9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['def1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['def2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['def3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['def4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['def5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['def6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['def7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['def8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['def9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['ghi1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['ghi2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['ghi3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['ghi4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['ghi5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['ghi6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['ghi7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['ghi8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['ghi9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['jkl1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['jkl2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['jkl3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['jkl4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['jkl5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['jkl6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['jkl7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['jkl8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['jkl9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['mno1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['mno2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['mno3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['mno4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['mno5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['mno6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['mno7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['mno8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['mno9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['pqr1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['pqr2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['pqr3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['pqr4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['pqr5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['pqr6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['pqr7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['pqr8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['pqr9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['stu1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['stu2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['stu3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['stu4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['stu5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['stu6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['stu7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['stu8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['stu9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['vwx1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['vwx2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['vwx3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['vwx4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['vwx5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['vwx6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['vwx7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['vwx8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['vwx9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['yzA1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['yzA2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['yzA3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['yzA4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['yzA5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['yzA6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['yzA7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['yzA8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['yzA9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['BCD1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['BCD2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['BCD3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['BCD4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['BCD5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['BCD6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['BCD7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['BCD8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['BCD9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]],
['EFG1',[f(a,1,g(a,1),h(a,1)),f(a,1,g(a,1),h(a,1))]],
['EFG2',[f(a,2,g(a,2),h(a,2)),f(a,2,g(a,2),h(a,2))]],
['EFG3',[f(a,3,g(a,3),h(a,3)),f(a,3,g(a,3),h(a,3))]],
['EFG4',[f(a,4,g(a,4),h(a,4)),f(a,4,g(a,4),h(a,4))]],
['EFG5',[f(a,5,g(a,5),h(a,5)),f(a,5,g(a,5),h(a,5))]],
['EFG6',[f(a,6,g(a,6),h(a,6)),f(a,6,g(a,6),h(a,6))]],
['EFG7',[f(a,7,g(a,7),h(a,7)),f(a,7,g(a,7),h(a,7))]],
['EFG8',[f(a,8,g(a,8),h(a,8)),f(a,8,g(a,8),h(a,8))]],
['EFG9',[f(a,9,g(a,9),h(a,9)),f(a,9,g(a,9),h(a,9))]]],
member([A,B],LIST).

myotherpred_has_a_compile_time_bug(A,B) :-
(A == 'yes',B = 'xxxxxxxxxxxxxxxx') ; (A == 'no',B = 'yyyyyyyyyyyyy'),
!.

GPLCYWLQUB.WAM.TEXT (text/plain, 51.9 KB)

% compiler: GNU Prolog 1.3.0 (Jan 4 2007)
% file    : test_case_hmu.pl
% date    : 9 17 2008
% time    : 23:29:59

file_name('/home/daves/dock/projects/ceg/gprolog_bug/high_memory_usage/save/test_case_hmu.pl').

predicate(mypred/2,1,static,private,user,[get_variable(x(2),1),get_variable(x(3),0),
put_structure(g/2,0),unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),
unify_integer(1),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),
put_structure(g/2,0),unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),
unify_integer(1),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(101),
unify_atom(abc1),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(2),put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),
unify_integer(2),put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(100),unify_atom(abc2),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),
unify_atom(a),unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(3),put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),
unify_atom(a),unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(3),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(99),unify_atom(abc3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(98),unify_atom(abc4),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,1),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(97),
unify_atom(abc5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),unify_atom(a),
unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(96),unify_atom(abc6),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,4),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,1),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(95),unify_atom(abc7),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(94),unify_atom(abc8),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(9),put_structure(f/4,4),unify_atom(a),unify_integer(9),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(9),put_structure(g/2,0),unify_atom(a),
unify_integer(9),put_structure(f/4,1),unify_atom(a),unify_integer(9),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(9),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(93),unify_atom(abc9),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),
unify_integer(1),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),
put_structure(g/2,0),unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),
unify_integer(1),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(92),unify_atom(def1),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(91),unify_atom(def2),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(90),
unify_atom(def3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(89),unify_atom(def4),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,1),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(88),unify_atom(def5),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(6),
put_structure(f/4,4),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(6),put_structure(g/2,0),unify_atom(a),unify_integer(6),
put_structure(f/4,1),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(6),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(87),unify_atom(def6),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,4),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,1),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(86),unify_atom(def7),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(85),unify_atom(def8),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,4),unify_atom(a),
unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,1),unify_atom(a),
unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(84),
unify_atom(def9),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),unify_atom(a),
unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(83),unify_atom(ghi1),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,4),unify_atom(a),
unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(2),
put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,1),unify_atom(a),
unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(2),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(82),
unify_atom(ghi2),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(3),put_structure(f/4,4),unify_atom(a),unify_integer(3),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(3),put_structure(g/2,0),unify_atom(a),
unify_integer(3),put_structure(f/4,1),unify_atom(a),unify_integer(3),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(3),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(81),unify_atom(ghi3),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(4),put_structure(f/4,4),
unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(4),put_structure(g/2,0),unify_atom(a),unify_integer(4),put_structure(f/4,1),
unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(4),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(80),unify_atom(ghi4),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),unify_integer(5),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),put_structure(g/2,0),
unify_atom(a),unify_integer(5),put_structure(f/4,1),unify_atom(a),unify_integer(5),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(79),unify_atom(ghi5),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(6),
put_structure(f/4,4),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(6),put_structure(g/2,0),unify_atom(a),unify_integer(6),
put_structure(f/4,1),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(6),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(78),unify_atom(ghi6),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,4),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,1),unify_atom(a),
unify_integer(7),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(77),
unify_atom(ghi7),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(8),put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),
unify_integer(8),put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(76),unify_atom(ghi8),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,4),
unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(9),put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,1),
unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(9),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(75),unify_atom(ghi9),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(74),unify_atom(jkl1),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(73),unify_atom(jkl2),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(72),
unify_atom(jkl3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(71),unify_atom(jkl4),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(70),unify_atom(jkl5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(69),unify_atom(jkl6),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(68),unify_atom(jkl7),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(67),unify_atom(jkl8),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(9),put_structure(f/4,4),unify_atom(a),unify_integer(9),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),put_structure(g/2,0),
unify_atom(a),unify_integer(9),put_structure(f/4,1),unify_atom(a),unify_integer(9),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(66),unify_atom(jkl9),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,4),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,1),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(65),unify_atom(mno1),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(2),put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),
unify_integer(2),put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(64),unify_atom(mno2),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(3),
put_structure(f/4,4),unify_atom(a),unify_integer(3),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(3),put_structure(g/2,0),unify_atom(a),unify_integer(3),
put_structure(f/4,1),unify_atom(a),unify_integer(3),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(3),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(63),unify_atom(mno3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(62),unify_atom(mno4),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(61),unify_atom(mno5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(60),unify_atom(mno6),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(59),unify_atom(mno7),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),unify_integer(8),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),put_structure(g/2,0),
unify_atom(a),unify_integer(8),put_structure(f/4,1),unify_atom(a),unify_integer(8),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(58),unify_atom(mno8),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(9),
put_structure(f/4,4),unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(9),put_structure(g/2,0),unify_atom(a),unify_integer(9),
put_structure(f/4,1),unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(9),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(57),unify_atom(mno9),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(56),unify_atom(pqr1),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(55),unify_atom(pqr2),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(54),
unify_atom(pqr3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(53),unify_atom(pqr4),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,4),
unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,1),
unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(52),unify_atom(pqr5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(51),unify_atom(pqr6),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(50),unify_atom(pqr7),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),
unify_integer(8),put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(49),unify_atom(pqr8),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,4),
unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(9),put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,1),
unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(9),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(48),unify_atom(pqr9),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(47),unify_atom(stu1),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(46),unify_atom(stu2),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(45),
unify_atom(stu3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(44),unify_atom(stu4),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(43),unify_atom(stu5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),
unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(42),unify_atom(stu6),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(41),unify_atom(stu7),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,1),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(40),
unify_atom(stu8),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(9),put_structure(f/4,4),unify_atom(a),unify_integer(9),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(9),put_structure(g/2,0),unify_atom(a),
unify_integer(9),put_structure(f/4,1),unify_atom(a),unify_integer(9),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(39),unify_atom(stu9),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,4),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,1),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(38),unify_atom(vwx1),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,4),
unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,1),
unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),
unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,
put_list(37),unify_atom(vwx2),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),unify_integer(3),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),put_structure(g/2,0),
unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),unify_integer(3),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(36),unify_atom(vwx3),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(4),
put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),unify_integer(4),
put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(35),unify_atom(vwx4),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),
unify_integer(5),put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(34),unify_atom(vwx5),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(33),
unify_atom(vwx6),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(7),put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),
unify_integer(7),put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(32),unify_atom(vwx7),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(31),unify_atom(vwx8),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,4),unify_atom(a),
unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,1),unify_atom(a),
unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(30),
unify_atom(vwx9),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(29),unify_atom(yzA1),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(28),unify_atom(yzA2),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),unify_integer(3),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(3),put_structure(g/2,0),unify_atom(a),unify_integer(3),
put_structure(f/4,1),unify_atom(a),unify_integer(3),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(3),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(27),unify_atom(yzA3),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),
unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,
unify_value(x(1)),unify_nil,put_list(26),unify_atom(yzA4),unify_list,unify_value(x(0)),
unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_structure(g/2,0),unify_atom(a),unify_integer(5),put_structure(f/4,1),unify_atom(a),
unify_integer(5),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(5),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(25),
unify_atom(yzA5),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(6),put_structure(f/4,4),unify_atom(a),unify_integer(6),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(6),put_structure(g/2,0),unify_atom(a),
unify_integer(6),put_structure(f/4,1),unify_atom(a),unify_integer(6),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(6),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(24),unify_atom(yzA6),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(23),unify_atom(yzA7),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,1),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(22),
unify_atom(yzA8),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),
unify_integer(9),put_structure(f/4,4),unify_atom(a),unify_integer(9),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(9),put_structure(g/2,0),unify_atom(a),
unify_integer(9),put_structure(f/4,1),unify_atom(a),unify_integer(9),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(9),put_list(0),unify_value(x(4)),
unify_list,unify_value(x(1)),unify_nil,put_list(21),unify_atom(yzA9),unify_list,
unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,4),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_structure(g/2,0),unify_atom(a),unify_integer(1),
put_structure(f/4,1),unify_atom(a),unify_integer(1),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(1),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(20),unify_atom('BCD1'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,4),unify_atom(a),
unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(2),
put_structure(g/2,0),unify_atom(a),unify_integer(2),put_structure(f/4,1),unify_atom(a),
unify_integer(2),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(2),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(19),
unify_atom('BCD2'),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),unify_integer(3),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),put_structure(g/2,0),
unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),unify_integer(3),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(18),unify_atom('BCD3'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(4),
put_structure(f/4,4),unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(4),put_structure(g/2,0),unify_atom(a),unify_integer(4),
put_structure(f/4,1),unify_atom(a),unify_integer(4),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(4),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(17),unify_atom('BCD4'),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(5),put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),
unify_structure(h/2),unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(16),unify_atom('BCD5'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(15),unify_atom('BCD6'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,4),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_structure(g/2,0),unify_atom(a),unify_integer(7),
put_structure(f/4,1),unify_atom(a),unify_integer(7),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(7),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(14),unify_atom('BCD7'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,4),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_structure(g/2,0),unify_atom(a),unify_integer(8),put_structure(f/4,1),unify_atom(a),
unify_integer(8),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(8),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(13),unify_atom('BCD8'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(9),
put_structure(f/4,4),unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(9),put_structure(g/2,0),unify_atom(a),unify_integer(9),
put_structure(f/4,1),unify_atom(a),unify_integer(9),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(9),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(12),unify_atom('BCD9'),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,4),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_structure(g/2,0),
unify_atom(a),unify_integer(1),put_structure(f/4,1),unify_atom(a),unify_integer(1),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(1),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(11),unify_atom('EFG1'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,4),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_structure(g/2,0),unify_atom(a),unify_integer(2),
put_structure(f/4,1),unify_atom(a),unify_integer(2),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(2),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(10),unify_atom('EFG2'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,4),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_structure(g/2,0),unify_atom(a),unify_integer(3),put_structure(f/4,1),unify_atom(a),
unify_integer(3),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(3),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(9),
unify_atom('EFG3'),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,4),unify_atom(a),unify_integer(4),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(4),put_structure(g/2,0),
unify_atom(a),unify_integer(4),put_structure(f/4,1),unify_atom(a),unify_integer(4),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(4),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(8),unify_atom('EFG4'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,4),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_structure(g/2,0),unify_atom(a),unify_integer(5),
put_structure(f/4,1),unify_atom(a),unify_integer(5),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(5),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(7),unify_atom('EFG5'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,4),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_structure(g/2,0),unify_atom(a),unify_integer(6),put_structure(f/4,1),unify_atom(a),
unify_integer(6),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(6),
put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(6),
unify_atom('EFG6'),unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),
unify_atom(a),unify_integer(7),put_structure(f/4,4),unify_atom(a),unify_integer(7),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),put_structure(g/2,0),
unify_atom(a),unify_integer(7),put_structure(f/4,1),unify_atom(a),unify_integer(7),
unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(7),put_list(0),
unify_value(x(4)),unify_list,unify_value(x(1)),unify_nil,put_list(5),unify_atom('EFG7'),
unify_list,unify_value(x(0)),unify_nil,put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,4),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_structure(g/2,0),unify_atom(a),unify_integer(8),
put_structure(f/4,1),unify_atom(a),unify_integer(8),unify_value(x(0)),unify_structure(h/2),
unify_atom(a),unify_integer(8),put_list(0),unify_value(x(4)),unify_list,unify_value(x(1)),
unify_nil,put_list(4),unify_atom('EFG8'),unify_list,unify_value(x(0)),unify_nil,
put_structure(g/2,0),unify_atom(a),unify_integer(9),put_structure(f/4,102),unify_atom(a),
unify_integer(9),unify_value(x(0)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_structure(g/2,1),unify_atom(a),unify_integer(9),put_structure(f/4,0),unify_atom(a),
unify_integer(9),unify_value(x(1)),unify_structure(h/2),unify_atom(a),unify_integer(9),
put_list(1),unify_value(x(102)),unify_list,unify_value(x(0)),unify_nil,put_list(0),
unify_atom('EFG9'),unify_list,unify_value(x(1)),unify_nil,put_list(1),unify_value(x(101)),
unify_list,unify_value(x(100)),unify_list,unify_value(x(99)),unify_list,unify_value(x(98)),
unify_list,unify_value(x(97)),unify_list,unify_value(x(96)),unify_list,unify_value(x(95)),
unify_list,unify_value(x(94)),unify_list,unify_value(x(93)),unify_list,unify_value(x(92)),
unify_list,unify_value(x(91)),unify_list,unify_value(x(90)),unify_list,unify_value(x(89)),
unify_list,unify_value(x(88)),unify_list,unify_value(x(87)),unify_list,unify_value(x(86)),
unify_list,unify_value(x(85)),unify_list,unify_value(x(84)),unify_list,unify_value(x(83)),
unify_list,unify_value(x(82)),unify_list,unify_value(x(81)),unify_list,unify_value(x(80)),
unify_list,unify_value(x(79)),unify_list,unify_value(x(78)),unify_list,unify_value(x(77)),
unify_list,unify_value(x(76)),unify_list,unify_value(x(75)),unify_list,unify_value(x(74)),
unify_list,unify_value(x(73)),unify_list,unify_value(x(72)),unify_list,unify_value(x(71)),
unify_list,unify_value(x(70)),unify_list,unify_value(x(69)),unify_list,unify_value(x(68)),
unify_list,unify_value(x(67)),unify_list,unify_value(x(66)),unify_list,unify_value(x(65)),
unify_list,unify_value(x(64)),unify_list,unify_value(x(63)),unify_list,unify_value(x(62)),
unify_list,unify_value(x(61)),unify_list,unify_value(x(60)),unify_list,unify_value(x(59)),
unify_list,unify_value(x(58)),unify_list,unify_value(x(57)),unify_list,unify_value(x(56)),
unify_list,unify_value(x(55)),unify_list,unify_value(x(54)),unify_list,unify_value(x(53)),
unify_list,unify_value(x(52)),unify_list,unify_value(x(51)),unify_list,unify_value(x(50)),
unify_list,unify_value(x(49)),unify_list,unify_value(x(48)),unify_list,unify_value(x(47)),
unify_list,unify_value(x(46)),unify_list,unify_value(x(45)),unify_list,unify_value(x(44)),
unify_list,unify_value(x(43)),unify_list,unify_value(x(42)),unify_list,unify_value(x(41)),
unify_list,unify_value(x(40)),unify_list,unify_value(x(39)),unify_list,unify_value(x(38)),
unify_list,unify_value(x(37)),unify_list,unify_value(x(36)),unify_list,unify_value(x(35)),
unify_list,unify_value(x(34)),unify_list,unify_value(x(33)),unify_list,unify_value(x(32)),
unify_list,unify_value(x(31)),unify_list,unify_value(x(30)),unify_list,unify_value(x(29)),
unify_list,unify_value(x(28)),unify_list,unify_value(x(27)),unify_list,unify_value(x(26)),
unify_list,unify_value(x(25)),unify_list,unify_value(x(24)),unify_list,unify_value(x(23)),
unify_list,unify_value(x(22)),unify_list,unify_value(x(21)),unify_list,unify_value(x(20)),
unify_list,unify_value(x(19)),unify_list,unify_value(x(18)),unify_list,unify_value(x(17)),
unify_list,unify_value(x(16)),unify_list,unify_value(x(15)),unify_list,unify_value(x(14)),
unify_list,unify_value(x(13)),unify_list,unify_value(x(12)),unify_list,unify_value(x(11)),
unify_list,unify_value(x(10)),unify_list,unify_value(x(9)),unify_list,unify_value(x(8)),
unify_list,unify_value(x(7)),unify_list,unify_value(x(6)),unify_list,unify_value(x(5)),
unify_list,unify_value(x(4)),unify_list,unify_value(x(0)),unify_nil,put_list(0),
unify_local_value(x(3)),unify_list,unify_local_value(x(2)),unify_nil,
execute(member/2)]).

predicate(myotherpred_has_a_compile_time_bug/2,303,static,
private,user,[load_cut_level(2),execute('$myotherpred_has_a_compile_time_bug/2_$aux1'/3)]).

predicate('$myotherpred_has_a_compile_time_bug/2_$aux1'/3,303,static,private,user,
[try_me_else(1),put_atom(yes,2),call_c('Blt_Term_Eq',[fast_call,boolean],[x(0),x(2)]),
get_atom(xxxxxxxxxxxxxxxx,1),proceed,

label(1),trust_me_else_fail,put_atom(no,3),
call_c('Blt_Term_Eq',[fast_call,boolean],[x(0),x(3)]),get_atom(yyyyyyyyyyyyy,1),cut(x(2)),proceed]).