Loading image file :/home/fs1/joeb/GB/Devbm/V0.942/bin/Linux_elf/bergman0.942.img 
Bergman 0.942,  6-Dec-20
1 lisp> 1 lisp> nil
2 lisp> nil
3 lisp> nil
nil
nil
6 lisp> SetupGlobals
 ... done
nil
7 lisp> t
nil
8 lisp> 8 lisp> 8 lisp> The Anick resolution initialization...
B(1,1)=4
The Anick resolution initialization done.
nil
9 lisp> ***** `inpols' is an unbound ID
***** Continuable error: retry form is `inpols'
Break loop
((2 2 2 2 2 2))
11 lisp break (1) > +t^2*(6*z^2)
*** Garbage collection starting 
*** GC 1  6-Dec-2000 19:30:19, 0 ms (0%), 59315 occupied, 1565679 free
Calculating the Anick resolution in degree 2...
B(1,1)=4
B(2,2)=6
    0   1   2
  +----------
0 | 1   4   6
1 | -   -
end of Calculations.
+t^3*(3*z^2+9*z^3)
*** Garbage collection starting 
*** GC 2  6-Dec-2000 19:30:19, 10 ms (0%), 60335 occupied, 1564656 free
Calculating the Anick resolution in degree 3...
B(1,1)=4
B(2,2)=6
B(3,3)=6
    0   1   2   3
  +--------------
0 | 1   4   6   6
1 | -   -   -
2 | -   -
end of Calculations.
+t^4*(3*z^2+8*z^3+12*z^4)
*** Garbage collection starting 
*** GC 3  6-Dec-2000 19:30:19, 0 ms (0%), 62231 occupied, 1562759 free
Calculating the Anick resolution in degree 4...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
    0   1   2   3   4
  +------------------
0 | 1   4   6   6   7
1 | -   -   -   -
2 | -   -   -
3 | -   -
end of Calculations.
+t^5*(3*z^2+9*z^3+13*z^4+15*z^5)
*** Garbage collection starting 
*** GC 4  6-Dec-2000 19:30:19, 10 ms (0%), 65281 occupied, 1559708 free
Calculating the Anick resolution in degree 5...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
    0   1   2   3   4   5
  +----------------------
0 | 1   4   6   6   7   8
1 | -   -   -   -   -
2 | -   -   -   -
3 | -   -   -
4 | -   -
end of Calculations.
+t^6*(3*z^2+10*z^3+16*z^4+18*z^5+18*z^6)
*** Garbage collection starting 
*** GC 5  6-Dec-2000 19:30:19, 10 ms (0%), 70431 occupied, 1554556 free
Calculating the Anick resolution in degree 6...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
    0   1   2   3   4   5   6
  +--------------------------
0 | 1   4   6   6   7   8   9
1 | -   -   -   -   -   -
2 | -   -   -   -   -
3 | -   -   -   -
4 | -   -   -
5 | -   -
end of Calculations.
+t^7*(3*z^2+12*z^3+19*z^4+23*z^5+23*z^6+21*z^7)
*** Garbage collection starting 
*** GC 6  6-Dec-2000 19:30:19, 0 ms (0%), 78117 occupied, 1546869 free
Calculating the Anick resolution in degree 7...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
    0   1   2   3   4   5   6   7
  +------------------------------
0 | 1   4   6   6   7   8   9   10
1 | -   -   -   -   -   -   -
2 | -   -   -   -   -   -
3 | -   -   -   -   -
4 | -   -   -   1
5 | -   -   -
6 | -   -
end of Calculations.
+t^8*(4*z^2+15*z^3+25*z^4+28*z^5+30*z^6+28*z^7+24*z^8)
*** Garbage collection starting 
*** GC 7  6-Dec-2000 19:30:19, 10 ms (0%), 93543 occupied, 1531442 free
Calculating the Anick resolution in degree 8...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
    0   1   2   3   4   5   6   7   8
  +----------------------------------
0 | 1   4   6   6   7   8   9   10  11
1 | -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -
3 | -   -   -   -   -   -
4 | -   -   -   1   1
5 | -   -   -   -
6 | -   -   -
7 | -   -
end of Calculations.
+t^9*(4*z^2+19*z^3+35*z^4+39*z^5+37*z^6+37*z^7+33*z^8+27*z^9)
*** Garbage collection starting 
*** GC 8  6-Dec-2000 19:30:19, 10 ms (50%), 117237 occupied, 1507745 free
Calculating the Anick resolution in degree 9...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
    0   1   2   3   4   5   6   7   8   9
  +--------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12
1 | -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -
4 | -   -   -   1   1   1
5 | -   -   -   -   -
6 | -   -   -   -
7 | -   -   -
8 | -   -
end of Calculations.
+t^10*(4*z^2+19*z^3+46*z^4+59*z^5+53*z^6+46*z^7+44*z^8+38*z^9+30*z^10)
*** Garbage collection starting 
*** GC 9  6-Dec-2000 19:30:19, 20 ms (70%), 152865 occupied, 1472115 free
Calculating the Anick resolution in degree 10...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
B(4,10)=1
B(6,10)=1
B(10,10)=13
    0   1   2   3   4   5   6   7   8   9   10
  +------------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12  13
1 | -   -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -   -
4 | -   -   -   1   1   1   1
5 | -   -   -   -   -   -
6 | -   -   -   -   1
7 | -   -   -   -
8 | -   -   -
9 | -   -
end of Calculations.
+t^11*(4*z^2+19*z^3+49*z^4+80*z^5+83*z^6+67*z^7+55*z^8+51*z^9+43*z^10+33*z^11)
*** Garbage collection starting 
*** GC 10  6-Dec-2000 19:30:19, 30 ms (33%), 209277 occupied, 1415703 free
Calculating the Anick resolution in degree 11...
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
B(4,10)=1
B(6,10)=1
B(10,10)=13
B(5,11)=1
B(7,11)=1
B(11,11)=14
    0   1   2   3   4   5   6   7   8   9   10  11
  +----------------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12  13  14
1 | -   -   -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -   -   -
4 | -   -   -   1   1   1   1   1
5 | -   -   -   -   -   -   -
6 | -   -   -   -   1   1
7 | -   -   -   -   -
8 | -   -   -   -
9 | -   -   -
10| -   -
end of Calculations.
+t^12*(4*z^2+20*z^3+52*z^4+90*z^5+115*z^6+107*z^7+81*z^8+64*z^9+58*z^10+48*z^11+
36*z^12)
*** Garbage collection starting 
*** GC 11  6-Dec-2000 19:30:19, 40 ms (28%), 311763 occupied, 1313217 free
Calculating the Anick resolution in degree 12...
*** Garbage collection starting 
*** GC 12  6-Dec-2000 19:30:20, 60 ms (22%), 399831 occupied, 1225148 free
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
B(4,10)=1
B(6,10)=1
B(10,10)=13
B(5,11)=1
B(7,11)=1
B(11,11)=14
B(6,12)=1
B(8,12)=1
B(12,12)=15
    0   1   2   3   4   5   6   7   8   9   10  11  12
  +--------------------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12  13  14  15
1 | -   -   -   -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -   -   -   -
4 | -   -   -   1   1   1   1   1   1
5 | -   -   -   -   -   -   -   -
6 | -   -   -   -   1   1   1
7 | -   -   -   -   -   -
8 | -   -   -   -   -
9 | -   -   -   -
10| -   -   -
11| -   -
end of Calculations.
+t^13*(5*z^2+23*z^3+58*z^4+102*z^5+135*z^6+150*z^7+131*z^8+95*z^9+73*z^10+65*z^
11+53*z^12+39*z^13)
*** Garbage collection starting 
*** GC 13  6-Dec-2000 19:30:20, 70 ms (24%), 469025 occupied, 1155955 free
Calculating the Anick resolution in degree 13...
*** Garbage collection starting 
*** GC 14  6-Dec-2000 19:30:20, 80 ms (23%), 542347 occupied, 1082632 free
*** Garbage collection starting 
*** GC 15  6-Dec-2000 19:30:21, 80 ms (23%), 588739 occupied, 1036241 free
*** Garbage collection starting 
*** GC 16  6-Dec-2000 19:30:21, 90 ms (26%), 624215 occupied, 1000764 free
*** Heap compaction starting
*** Heap compacted to 670857 items (=41%) in 110 ms
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
B(4,10)=1
B(6,10)=1
B(10,10)=13
B(5,11)=1
B(7,11)=1
B(11,11)=14
B(6,12)=1
B(8,12)=1
B(12,12)=15
B(5,13)=1
B(7,13)=1
B(9,13)=1
B(13,13)=16
    0   1   2   3   4   5   6   7   8   9   10  11  12  13
  +------------------------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12  13  14  15  16
1 | -   -   -   -   -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -   -   -   -   -
4 | -   -   -   1   1   1   1   1   1   1
5 | -   -   -   -   -   -   -   -   -
6 | -   -   -   -   1   1   1   1
7 | -   -   -   -   -   -   -
8 | -   -   -   -   -   1
9 | -   -   -   -   -
10| -   -   -   -
11| -   -   -
12| -   -
end of Calculations.
+t^14*(7*z^2+29*z^3+69*z^4+119*z^5+159*z^6+180*z^7+185*z^8+155*z^9+109*z^10+82*z
^11+72*z^12+58*z^13+42*z^14)
*** Garbage collection starting 
*** GC 17  6-Dec-2000 19:30:21, 90 ms (30%), 710535 occupied, 914445 free
Calculating the Anick resolution in degree 14...
*** Garbage collection starting 
*** GC 18  6-Dec-2000 19:30:22, 100 ms (27%), 767639 occupied, 857340 free
*** Garbage collection starting 
*** GC 19  6-Dec-2000 19:30:22, 110 ms (29%), 791633 occupied, 833347 free
*** Garbage collection starting 
*** GC 20  6-Dec-2000 19:30:23, 120 ms (29%), 848921 occupied, 776058 free
*** Garbage collection starting 
*** GC 21  6-Dec-2000 19:30:23, 110 ms (30%), 864959 occupied, 760021 free
*** Garbage collection starting 
*** GC 22  6-Dec-2000 19:30:23, 120 ms (31%), 891321 occupied, 733658 free
*** Garbage collection starting 
*** GC 23  6-Dec-2000 19:30:23, 130 ms (32%), 918515 occupied, 706465 free
*** Garbage collection starting 
*** GC 24  6-Dec-2000 19:30:24, 130 ms (33%), 940085 occupied, 684894 free
*** Garbage collection starting 
*** GC 25  6-Dec-2000 19:30:24, 140 ms (34%), 957641 occupied, 667339 free
*** Garbage collection starting 
*** GC 26  6-Dec-2000 19:30:24, 140 ms (35%), 980839 occupied, 644140 free
*** Garbage collection starting 
*** GC 27  6-Dec-2000 19:30:24, 140 ms (36%), 1002205 occupied, 622775 free
B(1,1)=4
B(2,2)=6
B(3,3)=6
B(4,4)=7
B(5,5)=8
B(6,6)=9
B(3,7)=1
B(7,7)=10
B(4,8)=1
B(8,8)=11
B(5,9)=1
B(9,9)=12
B(4,10)=1
B(6,10)=1
B(10,10)=13
B(5,11)=1
B(7,11)=1
B(11,11)=14
B(6,12)=1
B(8,12)=1
B(12,12)=15
B(5,13)=1
B(7,13)=1
B(9,13)=1
B(13,13)=16
B(6,14)=1
B(8,14)=1
B(10,14)=1
B(14,14)=17
    0   1   2   3   4   5   6   7   8   9   10  11  12  13  14
  +----------------------------------------------------------
0 | 1   4   6   6   7   8   9   10  11  12  13  14  15  16  17
1 | -   -   -   -   -   -   -   -   -   -   -   -   -   -
2 | -   -   -   -   -   -   -   -   -   -   -   -   -
3 | -   -   -   -   -   -   -   -   -   -   -   -
4 | -   -   -   1   1   1   1   1   1   1   1
5 | -   -   -   -   -   -   -   -   -   -
6 | -   -   -   -   1   1   1   1   1
7 | -   -   -   -   -   -   -   -
8 | -   -   -   -   -   1   1
9 | -   -   -   -   -   -
10| -   -   -   -   -
11| -   -   -   -
12| -   -   -
13| -   -
end of Calculations.
*** Garbage collection starting 
*** GC 28  6-Dec-2000 19:30:25, 150 ms (36%), 1078005 occupied, 546975 free
+t^15*(9*z^2+38*z^3+85*z^4+142*z^5+191*z^6+217*z^7+225*z^8+220*z^9+179*z^10+123*
z^11+91*z^12+79*z^13+63*z^14+45*z^15)
*** Garbage collection starting 
*** GC 29  6-Dec-2000 19:30:25, 160 ms (37%), 1099485 occupied, 525495 free
Calculating the Anick resolution in degree 15...
*** Garbage collection starting 
*** GC 30  6-Dec-2000 19:30:26, 160 ms (35%), 1144823 occupied, 480156 free
*** Garbage collection starting 
*** GC 31  6-Dec-2000 19:30:26, 160 ms (36%), 1153079 occupied, 471901 free
*** Garbage collection starting 
*** GC 32  6-Dec-2000 19:30:26, 160 ms (37%), 1163741 occupied, 461239 free
*** Heap compaction starting
*** Heap compacted to 1264605 items (=77%) in 140 ms
*** Garbage collection starting 
*** GC 33  6-Dec-2000 19:30:27, 160 ms (39%), 1171217 occupied, 453763 free
*** Garbage collection starting 
*** GC 34  6-Dec-2000 19:30:27, 160 ms (40%), 1181575 occupied, 443404 free
*** Garbage collection starting 
*** GC 35  6-Dec-2000 19:30:27, 160 ms (41%), 1181411 occupied, 443569 free
*** Garbage collection starting 
*** GC 36  6-Dec-2000 19:30:27, 160 ms (41%), 1188247 occupied, 436732 free
*** Garbage collection starting 
*** GC 37  6-Dec-2000 19:30:28, 170 ms (42%), 1200119 occupied, 424861 free
*** Garbage collection starting 
*** GC 38  6-Dec-2000 19:30:28, 170 ms (43%), 1204865 occupied, 420114 free
*** Garbage collection starting 
*** GC 39  6-Dec-2000 19:30:28, 170 ms (43%), 1217979 occupied, 407001 free
*** Garbage collection starting 
*** GC 40  6-Dec-2000 19:30:28, 170 ms (44%), 1233589 occupied, 391390 free
*** Garbage collection starting 
*** GC 41  6-Dec-2000 19:30:29, 170 ms (45%), 1252247 occupied, 372733 free
*** Garbage collection starting 
*** GC 42  6-Dec-2000 19:30:29, 180 ms (45%), 1268341 occupied, 356638 free
*** Garbage collection starting 
*** GC 43  6-Dec-2000 19:30:29, 180 ms (46%), 1268483 occupied, 356497 free
*** Garbage collection starting 
*** GC 44  6-Dec-2000 19:30:30, 180 ms (46%), 1280067 occupied, 344913 free
*** Garbage collection starting 
*** GC 45  6-Dec-2000 19:30:30, 180 ms (47%), 1292795 occupied, 332185 free
*** Garbage collection starting 
*** GC 46  6-Dec-2000 19:30:30, 180 ms (47%), 1305345 occupied, 319634 free
*** Garbage collection starting 
*** GC 47  6-Dec-2000 19:30:30, 180 ms (48%), 1300743 occupied, 324237 free
*** Garbage collection starting 
*** GC 48  6-Dec-2000 19:30:31, 180 ms (49%), 1305027 occupied, 319952 free
*** Heap compaction starting
*** Heap compacted to 1418121 items (=87%) in 140 ms
*** Garbage collection starting 
*** GC 49  6-Dec-2000 19:30:31, 180 ms (50%), 1310659 occupied, 314321 free
*** Garbage collection starting 
*** GC 50  6-Dec-2000 19:30:31, 180 ms (50%), 1315475 occupied, 309504 free
*** Garbage collection starting 
*** GC 51  6-Dec-2000 19:30:31, 180 ms (50%), 1332073 occupied, 292907 free
*** Garbage collection starting 
*** GC 52  6-Dec-2000 19:30:32, 180 ms (51%), 1326563 occupied, 298416 free
*** Garbage collection starting 
*** GC 53  6-Dec-2000 19:30:32, 180 ms (51%), 1329319 occupied, 295661 free
*** Garbage collection starting 
*** GC 54  6-Dec-2000 19:30:32, 180 ms (52%), 1335911 occupied, 289068 free
*** Garbage collection starting 
*** GC 55  6-Dec-2000 19:30:32, 180 ms (52%), 1337395 occupied, 287585 free
*** Garbage collection starting 
*** GC 56  6-Dec-2000 19:30:33, 180 ms (53%), 1337673 occupied, 287306 free
*** Garbage collection starting 
*** GC 57  6-Dec-2000 19:30:33, 180 ms (53%), 1345945 occupied, 279034 free
*** Garbage collection starting 
*** GC 58  6-Dec-2000 19:30:33, 190 ms (53%), 1353495 occupied, 271484 free
*** Garbage collection starting 
*** GC 59  6-Dec-2000 19:30:33, 190 ms (54%), 1353519 occupied, 271460 free
*** Garbage collection starting 
*** GC 60  6-Dec-2000 19:30:34, 180 ms (54%), 1359513 occupied, 265466 free
*** Garbage collection starting 
*** GC 61  6-Dec-2000 19:30:34, 200 ms (55%), 1364565 occupied, 260414 free
*** Garbage collection starting 
*** GC 62  6-Dec-2000 19:30:34, 180 ms (55%), 1370807 occupied, 254172 free
*** Garbage collection starting 
*** GC 63  6-Dec-2000 19:30:34, 190 ms (56%), 1377595 occupied, 247384 free
*** Garbage collection starting 
*** GC 64  6-Dec-2000 19:30:35, 190 ms (56%), 1394119 occupied, 230860 free
*** Heap compaction starting
*** Heap compacted to 1516543 items (=93%) in 140 ms
*** Garbage collection starting 
*** GC 65  6-Dec-2000 19:30:35, 190 ms (57%), 1384189 occupied, 240791 free
*** Garbage collection starting 
*** GC 66  6-Dec-2000 19:30:35, 180 ms (57%), 1382649 occupied, 242330 free
*** Garbage collection starting 
*** GC 67  6-Dec-2000 19:30:35, 200 ms (57%), 1403481 occupied, 221499 free
*** Garbage collection starting 
*** GC 68  6-Dec-2000 19:30:36, 200 ms (58%), 1426135 occupied, 198844 free
*** Garbage collection starting 
*** GC 69  6-Dec-2000 19:30:36, 190 ms (58%), 1398467 occupied, 226513 free
*** Garbage collection starting 
*** GC 70  6-Dec-2000 19:30:36, 180 ms (58%), 1404377 occupied, 220602 free
*** Garbage collection starting 
*** GC 71  6-Dec-2000 19:30:36, 190 ms (58%), 1411085 occupied, 213895 free
*** Garbage collection starting 
*** GC 72  6-Dec-2000 19:30:37, 190 ms (59%), 1411019 occupied, 213960 free
*** Garbage collection starting 
*** GC 73  6-Dec-2000 19:30:37, 200 ms (59%), 1410233 occupied, 214747 free
*** Garbage collection starting 
*** GC 74  6-Dec-2000 19:30:37, 190 ms (59%), 1413007 occupied, 211972 free
*** Garbage collection starting 
*** GC 75  6-Dec-2000 19:30:37, 190 ms (60%), 1414035 occupied, 210944 free
*** Garbage collection starting 
*** GC 76  6-Dec-2000 19:30:37, 190 ms (60%), 1414915 occupied, 210064 free
*** Garbage collection starting 
*** GC 77  6-Dec-2000 19:30:38, 200 ms (60%), 1423653 occupied, 201326 free
*** Garbage collection starting 
*** GC 78  6-Dec-2000 19:30:38, 200 ms (61%), 1422461 occupied, 202518 free
*** Garbage collection starting 
*** GC 79  6-Dec-2000 19:30:38, 190 ms (61%), 1433617 occupied, 191362 free
*** Garbage collection starting 
*** GC 80  6-Dec-2000 19:30:38, 190 ms (61%), 1420637 occupied, 204342 free
*** Heap compaction starting
*** Heap compacted to 1548063 items (=95%) in 140 ms
*** Garbage collection starting 
*** GC 81  6-Dec-2000 19:30:39, 200 ms (62%), 1427199 occupied, 197781 free
*** Garbage collection starting 
*** GC 82  6-Dec-2000 19:30:39, 200 ms (62%), 1430283 occupied, 194696 free
*** Garbage collection starting 
*** GC 83  6-Dec-2000 19:30:39, 200 ms (62%), 1438321 occupied, 186659 free
*** Garbage collection starting 
*** GC 84  6-Dec-2000 19:30:39, 190 ms (63%), 1427375 occupied, 197604 free
*** Garbage collection starting 
*** GC 85  6-Dec-2000 19:30:40, 190 ms (63%), 1437199 occupied, 187781 free
*** Garbage collection starting 
*** GC 86  6-Dec-2000 19:30:40, 200 ms (63%), 1451883 occupied, 173096 free
*** Garbage collection starting 
*** GC 87  6-Dec-2000 19:30:40, 200 ms (63%), 1462903 occupied, 162076 free
*** Garbage collection starting 
*** GC 88  6-Dec-2000 19:30:40, 190 ms (64%), 1430265 occupied, 194715 free
*** Garbage collection starting 
*** GC 89  6-Dec-2000 19:30:41, 200 ms (64%), 1437739 occupied, 187240 free
*** Garbage collection starting 
*** GC 90  6-Dec-2000 19:30:41, 200 ms (64%), 1435105 occupied, 189875 free
*** Garbage collection starting 
*** GC 91  6-Dec-2000 19:30:41, 200 ms (64%), 1435135 occupied, 189844 free
*** Garbage collection starting 
*** GC 92  6-Dec-2000 19:30:41, 200 ms (65%), 1438013 occupied, 186967 free
*** Garbage collection starting 
*** GC 93  6-Dec-2000 19:30:41, 190 ms (65%), 1437161 occupied, 187818 free
*** Garbage collection starting 
*** GC 94  6-Dec-2000 19:30:42, 200 ms (65%), 1440051 occupied, 184929 free
*** Garbage collection starting 
*** GC 95  6-Dec-2000 19:30:42, 200 ms (65%), 1447055 occupied, 177924 free
*** Garbage collection starting 
*** GC 96  6-Dec-2000 19:30:42, 200 ms (65%), 1444085 occupied, 180895 free
*** Heap compaction starting
*** Heap compacted to 1573469 items (=96%) in 140 ms
*** Garbage collection starting 
*** GC 97  6-Dec-2000 19:30:43, 200 ms (66%), 1444191 occupied, 180789 free
*** Garbage collection starting 
*** GC 98  6-Dec-2000 19:30:43, 190 ms (66%), 1445353 occupied, 179627 free
*** Garbage collection starting 
*** GC 99  6-Dec-2000 19:30:43, 200 ms (66%), 1447705 occupied, 177275 free
*** Garbage collection starting 
*** GC 100  6-Dec-2000 19:30:43, 190 ms (67%), 1449531 occupied, 175448 free
*** Garbage collection starting 
*** GC 101  6-Dec-2000 19:30:43, 210 ms (67%), 1456373 occupied, 168606 free
*** Garbage collection starting 
*** GC 102  6-Dec-2000 19:30:44, 200 ms (67%), 1452587 occupied, 172392 free
*** Garbage collection starting 
*** GC 103  6-Dec-2000 19:30:44, 220 ms (67%), 1454207 occupied, 170772 free
*** Garbage collection starting 
*** GC 104  6-Dec-2000 19:30:44, 200 ms (67%), 1456485 occupied, 168494 free
*** Garbage collection starting 
*** GC 105  6-Dec-2000 19:30:44, 210 ms (67%), 1456973 occupied, 168006 free
*** Garbage collection starting 
*** GC 106  6-Dec-2000 19:30:45, 220 ms (68%), 1458729 occupied, 166250 free
*** Garbage collection starting 
*** GC 107  6-Dec-2000 19:30:45, 210 ms (68%), 1461259 occupied, 163720 free
*** Garbage collection starting 
*** GC 108  6-Dec-2000 19:30:45, 200 ms (68%), 1467905 occupied, 157074 free
*** Garbage collection starting 
*** GC 109  6-Dec-2000 19:30:45, 210 ms (68%), 1472449 occupied, 152530 free
*** Garbage collection starting 
*** GC 110  6-Dec-2000 19:30:46, 200 ms (68%), 1476737 occupied, 148242 free
*** Garbage collection starting 
*** GC 111  6-Dec-2000 19:30:46, 200 ms (69%), 1479107 occupied, 145872 free
*** Garbage collection starting 
*** GC 112  6-Dec-2000 19:30:46, 220 ms (69%), 1480701 occupied, 144278 free
*** Heap compaction starting
*** Heap compacted to 1618453 items (=99%) in 140 ms
*** Garbage collection starting 
*** GC 113  6-Dec-2000 19:30:46, 210 ms (69%), 1475639 occupied, 149341 free
*** Garbage collection starting 
*** GC 114  6-Dec-2000 19:30:47, 200 ms (69%), 1461365 occupied, 163614 free
*** Garbage collection starting 
*** GC 115  6-Dec-2000 19:30:47, 200 ms (69%), 1465661 occupied, 159319 free
*** Garbage collection starting 
*** GC 116  6-Dec-2000 19:30:47, 200 ms (70%), 1463437 occupied, 161542 free
*** Garbage collection starting 
*** GC 117  6-Dec-2000 19:30:47, 200 ms (70%), 1465147 occupied, 159833 free
*** Garbage collection starting 
*** GC 118  6-Dec-2000 19:30:47, 200 ms (70%), 1470515 occupied, 154464 free
*** Garbage collection starting 
*** GC 119  6-Dec-2000 19:30:48, 200 ms (70%), 1465841 occupied, 159139 free
*** Garbage collection starting 
*** GC 120  6-Dec-2000 19:30:48, 200 ms (70%), 1467929 occupied, 157050 free
*** Garbage collection starting 
*** GC 121  6-Dec-2000 19:30:48, 200 ms (70%), 1466595 occupied, 158385 free
*** Garbage collection starting 
*** GC 122  6-Dec-2000 19:30:48, 200 ms (70%), 1472459 occupied, 152520 free
*** Garbage collection starting 
*** GC 123  6-Dec-2000 19:30:49, 200 ms (70%), 1468201 occupied, 156779 free
*** Garbage collection starting 
*** GC 124  6-Dec-2000 19:30:49, 200 ms (71%), 1467925 occupied, 157054 free
*** Garbage collection starting 
*** GC 125  6-Dec-2000 19:30:49, 210 ms (71%), 1471927 occupied, 153053 free
*** Garbage collection starting 
*** GC 126  6-Dec-2000 19:30:49, 200 ms (71%), 1469485 occupied, 155495 free
*** Garbage collection starting 
*** GC 127  6-Dec-2000 19:30:50, 200 ms (71%), 1470177 occupied, 154802 free
*** Garbage collection starting 
*** GC 128  6-Dec-2000 19:30:50, 200 ms (71%), 1475633 occupied, 149346 free
*** Heap compaction starting
*** Heap compacted to 1611441 items (=99%) in 140 ms
*** Garbage collection starting 
*** GC 129  6-Dec-2000 19:30:50, 200 ms (72%), 1471181 occupied, 153799 free
*** Garbage collection starting 
*** GC 130  6-Dec-2000 19:30:50, 200 ms (72%), 1470741 occupied, 154238 free
*** Garbage collection starting 
*** GC 131  6-Dec-2000 19:30:51, 200 ms (72%), 1473543 occupied, 151437 free
*** Garbage collection starting 
*** GC 132  6-Dec-2000 19:30:51, 200 ms (72%), 1477729 occupied, 147251 free
*** Garbage collection starting 
*** GC 133  6-Dec-2000 19:30:51, 200 ms (72%), 1472463 occupied, 152516 free
*** Garbage collection starting 
*** GC 134  6-Dec-2000 19:30:51, 200 ms (72%), 1474907 occupied, 150073 free
*** Garbage collection starting 
*** GC 135  6-Dec-2000 19:30:51, 210 ms (72%), 1478479 occupied, 146500 free
*** Garbage collection starting 
*** GC 136  6-Dec-2000 19:30:52, 200 ms (72%), 1472519 occupied, 152461 free
*** Garbage collection starting 
*** GC 137  6-Dec-2000 19:30:52, 200 ms (72%), 1473423 occupied, 151556 free
*** Garbage collection starting 
*** GC 138  6-Dec-2000 19:30:52, 210 ms (73%), 1477211 occupied, 147769 free
*** Garbage collection starting 
*** GC 139  6-Dec-2000 19:30:52, 200 ms (73%), 1477413 occupied, 147566 free
*** Garbage collection starting 
*** GC 140  6-Dec-2000 19:30:53, 200 ms (73%), 1474379 occupied, 150601 free
*** Garbage collection starting 
*** GC 141  6-Dec-2000 19:30:53, 200 ms (73%), 1477809 occupied, 147170 free
*** Garbage collection starting 
*** GC 142  6-Dec-2000 19:30:53, 210 ms (73%), 1479011 occupied, 145968 free
*** Garbage collection starting 
*** GC 143  6-Dec-2000 19:30:53, 200 ms (73%), 1474861 occupied, 150119 free
*** Garbage collection starting 
*** GC 144  6-Dec-2000 19:30:53, 200 ms (73%), 1477951 occupied, 147028 free
*** Heap compaction starting
*** Heap compacted to 1614819 items (=99%) in 140 ms
*** Garbage collection starting 
*** GC 145  6-Dec-2000 19:30:54, 200 ms (73%), 1475337 occupied, 149643 free
*** Garbage collection starting 
*** GC 146  6-Dec-2000 19:30:54, 210 ms (74%), 1476411 occupied, 148569 free
*** Garbage collection starting 
*** GC 147  6-Dec-2000 19:30:54, 200 ms (74%), 1479703 occupied, 145276 free
*** Garbage collection starting 
*** GC 148  6-Dec-2000 19:30:54, 210 ms (74%), 1481705 occupied, 143275 free
*** Garbage collection starting 
*** GC 149  6-Dec-2000 19:30:55, 200 ms (74%), 1482945 occupied, 142034 free
*** Garbage collection starting 
*** GC 150  6-Dec-2000 19:30:55, 200 ms (74%), 1484043 occupied, 140937 free
*** Garbage collection starting 
*** GC 151  6-Dec-2000 19:30:55, 200 ms (74%), 1484777 occupied, 140203 free
*** Garbage collection starting 
*** GC 152  6-Dec-2000 19:30:55, 210 ms (74%), 1485013 occupied, 139966 free
*** Garbage collection starting 
*** GC 153  6-Dec-2000 19:30:56, 200 ms (74%), 1485183 occupied, 139797 free
*** Garbage collection starting 
*** GC 154  6-Dec-2000 19:30:56, 210 ms (74%), 1485171 occupied, 139808 free
*** Garbage collection starting 
*** GC 155  6-Dec-2000 19:30:56, 200 ms (75%), 1485249 occupied, 139730 free
*** Garbage collection starting 
*** GC 156  6-Dec-2000 19:30:56, 200 ms (75%), 1485327 occupied, 139652 free
*** Garbage collection starting 
*** GC 157  6-Dec-2000 19:30:56, 210 ms (75%), 1485397 occupied, 139582 free
*** Garbage collection starting 
*** GC 158  6-Dec-2000 19:30:57, 200 ms (75%), 1485411 occupied, 139568 free
*** Garbage collection starting 
*** GC 159  6-Dec-2000 19:30:57, 200 ms (75%), 1485415 occupied, 139564 free
*** Garbage collection starting 
*** GC 160  6-Dec-2000 19:30:57, 200 ms (75%), 1485599 occupied, 139380 free
*** Heap compaction starting
*** Heap compacted to 1624981 items (=99%) in 140 ms
*** Garbage collection starting 
*** GC 161  6-Dec-2000 19:30:57, 200 ms (75%), 1485615 occupied, 139365 free
*** Garbage collection starting 
*** GC 162  6-Dec-2000 19:30:58, 200 ms (75%), 1485617 occupied, 139362 free
*** Heap compaction starting
*** Heap compacted to 1624999 items (=99%) in 120 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 163  6-Dec-2000 19:30:58, 210 ms (76%), 1485617 occupied, 139362 free
*** Heap compaction starting
*** Heap compacted to 1624999 items (=99%) in 110 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 164  6-Dec-2000 19:30:58, 210 ms (76%), 1485617 occupied, 139362 free
*** Heap compaction starting
*** Heap compacted to 1624999 items (=99%) in 120 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 165  6-Dec-2000 19:30:59, 210 ms (76%), 1485617 occupied, 139362 free
*** Heap compaction starting
*** Heap compacted to 1624999 items (=99%) in 120 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 166  6-Dec-2000 19:30:59, 220 ms (76%), 1485617 occupied, 139362 free
*** Heap compaction starting
*** Heap compacted to 1624999 items (=99%) in 110 ms
**** requested size:2
***** heap space low
*** Garbage collection starting 
*** GC 167  6-Dec-2000 19:30:59, 210 ms (76%), 1474883 occupied, 150097 free
16 lisp break (1) > y*x+x*y-x^2,
   z*y+y*z,
   z^2,
   t*y-z*x+y*t-x*z,
   t*z+z*t,
   t^2,
   z*x*y-z*x^2-y*z*x,
   t*x*y-t*x^2+z*x^2-y*t*x+x*z*x,
   t*x*z-z*t*x-z*x*t-x*z*t,
   z*x^2*y+y*z*x^2,
   t*x^2*y-z*x^3+y*t*x^2-x*z*x^2,
   t*x^2*z+z*t*x^2-z*x^2*t+x^2*z*t,
   z*x^3*y-z*x^4-y*z*x^3,
   z*x*z*x^2-z*x^2*z*x-2*z*x^3*z-x*z*x^2*z+x^2*z*x*z,
   t*x^3*y-t*x^4+z*x^4-y*t*x^3+x*z*x^3,
   z*x^4*y+y*z*x^4,
   z*x^2*z*x^2-z*x^4*z+x^2*z*x^2*z,
   t*x^4*y-z*x^5+y*t*x^4-x*z*x^4,
   z*x^5*y-z*x^6-y*z*x^5,
   t*x^5*y-t*x^6+z*x^6-y*t*x^5+x*z*x^5,
   t*x^3*z*x*z-z*t*x^3*z*x-z*t*x^4*z-2*z*x*t*x^3*z+2*z*x*z*t*x^3+z*x*z*x*t*x^2+z
*x^2*z*t*x^2-z*x^2*z*x*t*x-z*x^3*z*t*x-2*x*z*t*x^3*z+x*z*x*z*t*x^2+x^2*z*x*z*t*x
,
   z*x^6*y+y*z*x^6,
   t*x^6*y-z*x^7+y*t*x^6-x*z*x^6,
   t*x^4*z*x*z+z*t*x^4*z*x+z*t*x^5*z-z*x*t*x^4*z-z*x*z*t*x^4-2*z*x^2*t*x^3*z+2*z
*x^2*z*t*x^3+2*z*x^2*z*x*t*x^2+2*z*x^3*z*t*x^2-x*z*t*x^4*z+2*x^2*z*t*x^3*z-2*x^2
*z*x*z*t*x^2,
   t*x^3*z*x^2*z+z*t*x^3*z*x^2-z*t*x^5*z-z*x*t*x^4*z-z*x*z*t*x^4+z*x^2*z*x*t*x^2
+z*x^3*z*t*x^2-x*z*t*x^4*z-x^2*z*x*z*t*x^2,
   z*x^7*y-z*x^8-y*z*x^7,
   t*x^7*y-t*x^8+z*x^8-y*t*x^7+x*z*x^7,
   t*x^4*z*x^2*z-z*t*x^4*z*x^2+z*t*x^6*z-z*x^2*t*x^4*z-z*x^2*z*t*x^4+x^2*z*t*x^4
*z,
   2*t*x^3*z*x^3*z-t*x^5*z*x*z-2*z*t*x^3*z*x^3+z*t*x^5*z*x-z*t*x^6*z-2*z*x*t*x^3
*z*x^2+z*x*t*x^4*z*x+3*z*x*z*t*x^5+z*x*z*x*t*x^4+z*x^2*t*x^4*z+2*z*x^2*z*t*x^4-2
*z*x^2*z*x*t*x^3-2*z*x^3*z*t*x^3-2*x*z*t*x^3*z*x^2+x*z*t*x^4*z*x+x*z*x*z*t*x^4-x
^2*z*t*x^4*z+2*x^2*z*x*z*t*x^3,
   z*x^8*y+y*z*x^8,
   t*x^8*y-z*x^9+y*t*x^8-x*z*x^8,
   2*t*x^4*z*x^3*z+t*x^5*z*x^2*z-t*x^6*z*x*z+2*z*t*x^4*z*x^3+z*t*x^5*z*x^2-z*t*x
^6*z*x-z*x*t*x^4*z*x^2-z*x*z*t*x^6-2*z*x^2*t*x^3*z*x^2+z*x^2*t*x^4*z*x+3*z*x^2*z
*t*x^5+2*z*x^2*z*x*t*x^4+2*z*x^3*z*t*x^4-x*z*t*x^4*z*x^2+2*x^2*z*t*x^3*z*x^2-x^2
*z*t*x^4*z*x-2*x^2*z*x*z*t*x^4,
   t*x^3*z*x^4*z-t*x^5*z*x^2*z+z*t*x^3*z*x^4-z*t*x^5*z*x^2-z*x*t*x^4*z*x^2-z*x*z
*t*x^6+z*x^2*z*x*t*x^4+z*x^3*z*t*x^4-x*z*t*x^4*z*x^2-x^2*z*x*z*t*x^4,
   z*x^9*y-z*x^10-y*z*x^9,
   t*x^9*y-t*x^10+z*x^10-y*t*x^9+x*z*x^9,
   t*x^5*z*x*z*x*z-z*t*x^5*z*x*z*x-z*t*x^5*z*x^2*z-z*t*x^6*z*x*z-3*z*x*t*x^5*z*x
*z+3*z*x*z*t*x^5*z*x+3*z*x*z*t*x^6*z+z*x*z*x*t*x^4*z*x+3*z*x*z*x*t*x^5*z-2*z*x*z
*x*z*t*x^5-z*x*z*x*z*x*t*x^4+z*x^2*z*t*x^4*z*x+3*z*x^2*z*t*x^5*z-2*z*x^2*z*x*t*x
^3*z*x-z*x^2*z*x*t*x^4*z-z*x^2*z*x*z*t*x^4+2*z*x^2*z*x*z*x*t*x^3-2*z*x^3*z*t*x^3
*z*x-z*x^3*z*t*x^4*z+2*z*x^3*z*x*z*t*x^3-3*x*z*t*x^5*z*x*z+x*z*x*z*t*x^4*z*x+3*x
*z*x*z*t*x^5*z-x*z*x*z*x*z*t*x^4+2*x^2*z*x*z*t*x^3*z*x+x^2*z*x*z*t*x^4*z-2*x^2*z
*x*z*x*z*t*x^3,
   t*x^4*z*x^4*z-t*x^6*z*x^2*z-z*t*x^4*z*x^4+z*t*x^6*z*x^2-z*x^2*t*x^4*z*x^2-z*x
^2*z*t*x^6+x^2*z*t*x^4*z*x^2,
   z*x^10*y+y*z*x^10,
   t*x^10*y-z*x^11+y*t*x^10-x*z*x^10,
   t*x^6*z*x*z*x*z+z*t*x^6*z*x*z*x+z*t*x^6*z*x^2*z+z*t*x^7*z*x*z-2*z*x*t*x^6*z*x
*z-2*z*x*z*t*x^6*z*x-2*z*x*z*t*x^7*z+z*x*z*x*t*x^6*z+z*x*z*x*z*t*x^6-3*z*x^2*t*x
^5*z*x*z+3*z*x^2*z*t*x^5*z*x+4*z*x^2*z*t*x^6*z+3*z*x^2*z*x*t*x^4*z*x+6*z*x^2*z*x
*t*x^5*z-3*z*x^2*z*x*z*t*x^5-3*z*x^2*z*x*z*x*t*x^4+3*z*x^3*z*t*x^4*z*x+6*z*x^3*z
*t*x^5*z-3*z*x^3*z*x*z*t*x^4-2*x*z*t*x^6*z*x*z+x*z*x*z*t*x^6*z+3*x^2*z*t*x^5*z*x
*z-3*x^2*z*x*z*t*x^4*z*x-6*x^2*z*x*z*t*x^5*z+3*x^2*z*x*z*x*z*t*x^4,
   2*t*x^5*z*x^2*z*x*z+2*z*t*x^5*z*x^2*z*x+2*z*t*x^5*z*x^3*z-2*z*t*x^7*z*x*z-3*z
*x*t*x^5*z*x^2*z-z*x*t*x^6*z*x*z-3*z*x*z*t*x^5*z*x^2-z*x*z*t*x^6*z*x+2*z*x*z*t*x
^7*z-z*x*z*x*t*x^4*z*x^2+2*z*x*z*x*t*x^6*z+z*x*z*x*z*t*x^6-z*x^2*z*t*x^4*z*x^2+2
*z*x^2*z*t*x^6*z+2*z*x^2*z*x*t*x^3*z*x^2+z*x^2*z*x*t*x^4*z*x-z*x^2*z*x*z*t*x^5-2
*z*x^2*z*x*z*x*t*x^4+2*z*x^3*z*t*x^3*z*x^2+z*x^3*z*t*x^4*z*x-2*z*x^3*z*x*z*t*x^4
-3*x*z*t*x^5*z*x^2*z-x*z*t*x^6*z*x*z-x*z*x*z*t*x^4*z*x^2+2*x*z*x*z*t*x^6*z-2*x^2
*z*x*z*t*x^3*z*x^2-x^2*z*x*z*t*x^4*z*x+2*x^2*z*x*z*x*z*t*x^4,
   z*x^11*y-z*x^12-y*z*x^11,
   t*x^11*y-t*x^12+z*x^12-y*t*x^11+x*z*x^11,
   2*t*x^6*z*x^2*z*x*z-2*z*t*x^6*z*x^2*z*x-2*z*t*x^6*z*x^3*z+2*z*t*x^8*z*x*z-2*z
*x*t*x^6*z*x^2*z+2*z*x*z*t*x^6*z*x^2-2*z*x*z*t*x^8*z-3*z*x^2*t*x^5*z*x^2*z-z*x^2
*t*x^6*z*x*z-3*z*x^2*z*t*x^5*z*x^2-z*x^2*z*t*x^6*z*x+2*z*x^2*z*t*x^7*z-3*z*x^2*z
*x*t*x^4*z*x^2+4*z*x^2*z*x*t*x^6*z+z*x^2*z*x*z*t*x^6-3*z*x^3*z*t*x^4*z*x^2+4*z*x
^3*z*t*x^6*z-2*x*z*t*x^6*z*x^2*z+3*x^2*z*t*x^5*z*x^2*z+x^2*z*t*x^6*z*x*z+3*x^2*z
*x*z*t*x^4*z*x^2-4*x^2*z*x*z*t*x^6*z,
   6*t*x^5*z*x^3*z*x*z-4*t*x^7*z*x*z*x*z-6*z*t*x^5*z*x^3*z*x-6*z*t*x^5*z*x^4*z+4
*z*t*x^7*z*x*z*x+4*z*t*x^7*z*x^2*z-2*z*t*x^8*z*x*z-3*z*x*t*x^5*z*x^2*z*x-12*z*x*
t*x^5*z*x^3*z+z*x*t*x^6*z*x*z*x-2*z*x*t*x^6*z*x^2*z+6*z*x*t*x^7*z*x*z+9*z*x*z*t*
x^5*z*x^3+3*z*x*z*t*x^6*z*x^2-2*z*x*z*t*x^7*z*x+4*z*x*z*t*x^8*z+3*z*x*z*x*t*x^4*
z*x^3+6*z*x*z*x*t*x^5*z*x^2-2*z*x*z*x*t*x^6*z*x-5*z*x*z*x*z*t*x^7-2*z*x*z*x*z*x*
t*x^6+6*z*x^2*t*x^5*z*x^2*z+2*z*x^2*t*x^6*z*x*z+3*z*x^2*z*t*x^4*z*x^3+12*z*x^2*z
*t*x^5*z*x^2-4*z*x^2*z*t*x^7*z-6*z*x^2*z*x*t*x^3*z*x^3+3*z*x^2*z*x*t*x^4*z*x^2-8
*z*x^2*z*x*t*x^6*z-3*z*x^2*z*x*z*t*x^6+6*z*x^2*z*x*z*x*t*x^5-6*z*x^3*z*t*x^3*z*x
^3+3*z*x^3*z*t*x^4*z*x^2-8*z*x^3*z*t*x^6*z+6*z*x^3*z*x*z*t*x^5-3*x*z*t*x^5*z*x^2
*z*x-12*x*z*t*x^5*z*x^3*z+x*z*t*x^6*z*x*z*x-2*x*z*t*x^6*z*x^2*z+6*x*z*t*x^7*z*x*
z+3*x*z*x*z*t*x^4*z*x^3+6*x*z*x*z*t*x^5*z*x^2-2*x*z*x*z*t*x^6*z*x-2*x*z*x*z*x*z*
t*x^6-6*x^2*z*t*x^5*z*x^2*z-2*x^2*z*t*x^6*z*x*z+6*x^2*z*x*z*t*x^3*z*x^3-3*x^2*z*
x*z*t*x^4*z*x^2+8*x^2*z*x*z*t*x^6*z-6*x^2*z*x*z*x*z*t*x^5,
   3*t*x^3*z*x^5*z*x*z-t*x^7*z*x*z*x*z-3*z*t*x^3*z*x^5*z*x-3*z*t*x^3*z*x^6*z+z*t
*x^7*z*x*z*x+z*t*x^7*z*x^2*z-2*z*t*x^8*z*x*z-6*z*x*t*x^3*z*x^5*z-3*z*x*t*x^5*z*x
^2*z*x+z*x*t*x^6*z*x*z*x+z*x*t*x^6*z*x^2*z+6*z*x*z*t*x^3*z*x^5-3*z*x*z*t*x^5*z*x
^3+4*z*x*z*t*x^7*z*x+7*z*x*z*t*x^8*z+3*z*x*z*x*t*x^3*z*x^4-3*z*x*z*x*t*x^4*z*x^3
+z*x*z*x*t*x^6*z*x+3*z*x*z*x*t*x^7*z-8*z*x*z*x*z*t*x^7-2*z*x*z*x*z*x*t*x^6+2*z*x
^2*t*x^6*z*x*z+3*z*x^2*z*t*x^3*z*x^4-3*z*x^2*z*t*x^4*z*x^3+3*z*x^2*z*t*x^6*z*x+5
*z*x^2*z*t*x^7*z-3*z*x^2*z*x*t*x^5*z*x-5*z*x^2*z*x*t*x^6*z-6*z*x^2*z*x*z*t*x^6+6
*z*x^2*z*x*z*x*t*x^5-3*z*x^3*z*t*x^5*z*x-5*z*x^3*z*t*x^6*z+6*z*x^3*z*x*z*t*x^5-6
*x*z*t*x^3*z*x^5*z-3*x*z*t*x^5*z*x^2*z*x+x*z*t*x^6*z*x*z*x+x*z*t*x^6*z*x^2*z+3*x
*z*x*z*t*x^3*z*x^4-3*x*z*x*z*t*x^4*z*x^3+x*z*x*z*t*x^6*z*x+3*x*z*x*z*t*x^7*z-2*x
*z*x*z*x*z*t*x^6-2*x^2*z*t*x^6*z*x*z+3*x^2*z*x*z*t*x^5*z*x+5*x^2*z*x*z*t*x^6*z-6
*x^2*z*x*z*x*z*t*x^5,
   z*x^12*y+y*z*x^12,
   t*x^12*y-z*x^13+y*t*x^12-x*z*x^12,
   6*t*x^6*z*x^3*z*x*z+4*t*x^7*z*x^2*z*x*z-4*t*x^8*z*x*z*x*z+6*z*t*x^6*z*x^3*z*x
+6*z*t*x^6*z*x^4*z+4*z*t*x^7*z*x^2*z*x+4*z*t*x^7*z*x^3*z-4*z*t*x^8*z*x*z*x-4*z*t
*x^8*z*x^2*z-2*z*t*x^9*z*x*z-2*
*** Garbage collection starting 
*** GC 168  6-Dec-2000 19:31:00, 200 ms (76%), 1474917 occupied, 150062 free
z*x*t*x^6*z*x^2*z*x-8*z*x*t*x^6*z*x^3*z-4*z*x*t*x^7*z*x^2*z+4*z*x*t*x^8*z*x*z-6*
z*x*z*t*x^6*z*x^3-4*z*x*z*t*x^7*z*x^2+2*z*x*z*t*x^8*z*x+2*z*x*z*x*t*x^6*z*x^2+2*
z*x*z*x*z*t*x^8-3*z*x^2*t*x^5*z*x^2*z*x-12*z*x^2*t*x^5*z*x^3*z+z*x^2*t*x^6*z*x*z
*x-6*z*x^2*t*x^6*z*x^2*z+6*z*x^2*t*x^7*z*x*z+9*z*x^2*z*t*x^5*z*x^3+9*z*x^2*z*t*x
^6*z*x^2-2*z*x^2*z*t*x^7*z*x+9*z*x^2*z*x*t*x^4*z*x^3+12*z*x^2*z*x*t*x^5*z*x^2-4*
z*x^2*z*x*t*x^6*z*x-7*z*x^2*z*x*z*t*x^7-6*z*x^2*z*x*z*x*t*x^6+9*z*x^3*z*t*x^4*z*
x^3+12*z*x^3*z*t*x^5*z*x^2-4*z*x^3*z*t*x^6*z*x-6*z*x^3*z*x*z*t*x^6-2*x*z*t*x^6*z
*x^2*z*x-8*x*z*t*x^6*z*x^3*z-4*x*z*t*x^7*z*x^2*z+4*x*z*t*x^8*z*x*z+2*x*z*x*z*t*x
^6*z*x^2+3*x^2*z*t*x^5*z*x^2*z*x+12*x^2*z*t*x^5*z*x^3*z-x^2*z*t*x^6*z*x*z*x+6*x^
2*z*t*x^6*z*x^2*z-6*x^2*z*t*x^7*z*x*z-9*x^2*z*x*z*t*x^4*z*x^3-12*x^2*z*x*z*t*x^5
*z*x^2+4*x^2*z*x*z*t*x^6*z*x+6*x^2*z*x*z*x*z*t*x^6,
   2*t*x^5*z*x^3*z*x^2*z+2*t*x^5*z*x^4*z*x*z-4*t*x^7*z*x^2*z*x*z+2*z*t*x^5*z*x^3
*z*x^2+2*z*t*x^5*z*x^4*z*x-4*z*t*x^7*z*x^2*z*x-4*z*t*x^7*z*x^3*z-2*z*t*x^8*z*x^2
*z+2*z*t*x^9*z*x*z-3*z*x*t*x^5*z*x^4*z-z*x*t*x^6*z*x^2*z*x-2*z*x*t*x^6*z*x^3*z+2
*z*x*t*x^7*z*x^2*z+z*x*t*x^8*z*x*z-3*z*x*z*t*x^5*z*x^4-z*x*z*t*x^6*z*x^3+2*z*x*z
*t*x^7*z*x^2-z*x*z*x*t*x^4*z*x^4+2*z*x*z*x*t*x^6*z*x^2+z*x*z*x*z*t*x^8-z*x^2*z*t
*x^4*z*x^4+2*z*x^2*z*t*x^6*z*x^2+2*z*x^2*z*x*t*x^3*z*x^4+z*x^2*z*x*t*x^4*z*x^3-z
*x^2*z*x*z*t*x^7-2*z*x^2*z*x*z*x*t*x^6+2*z*x^3*z*t*x^3*z*x^4+z*x^3*z*t*x^4*z*x^3
-2*z*x^3*z*x*z*t*x^6-3*x*z*t*x^5*z*x^4*z-x*z*t*x^6*z*x^2*z*x-2*x*z*t*x^6*z*x^3*z
+2*x*z*t*x^7*z*x^2*z+x*z*t*x^8*z*x*z-x*z*x*z*t*x^4*z*x^4+2*x*z*x*z*t*x^6*z*x^2-2
*x^2*z*x*z*t*x^3*z*x^4-x^2*z*x*z*t*x^4*z*x^3+2*x^2*z*x*z*x*z*t*x^6,
   3*t*x^4*z*x^5*z*x*z+3*t*x^5*z*x^4*z*x*z-2*t*x^7*z*x^2*z*x*z-t*x^8*z*x*z*x*z+3
*z*t*x^4*z*x^5*z*x+3*z*t*x^4*z*x^6*z+3*z*t*x^5*z*x^4*z*x+3*z*t*x^5*z*x^5*z-2*z*t
*x^7*z*x^2*z*x-2*z*t*x^7*z*x^3*z-z*t*x^8*z*x*z*x-z*t*x^8*z*x^2*z+z*t*x^9*z*x*z-3
*z*x*t*x^4*z*x^5*z-3*z*x*t*x^5*z*x^4*z-2*z*x*t*x^6*z*x^2*z*x-2*z*x*t*x^6*z*x^3*z
+2*z*x*t*x^7*z*x^2*z+z*x*t*x^8*z*x*z-3*z*x*z*t*x^4*z*x^5-3*z*x*z*t*x^5*z*x^4+2*z
*x*z*t*x^7*z*x^2-z*x*z*t*x^8*z*x-3*z*x*z*t*x^9*z+2*z*x*z*x*t*x^6*z*x^2+2*z*x*z*x
*z*t*x^8-6*z*x^2*t*x^3*z*x^5*z-3*z*x^2*t*x^5*z*x^2*z*x+z*x^2*t*x^6*z*x*z*x+6*z*x
^2*z*t*x^3*z*x^5-3*z*x^2*z*t*x^5*z*x^3+3*z*x^2*z*t*x^6*z*x^2+4*z*x^2*z*t*x^7*z*x
+6*z*x^2*z*t*x^8*z+6*z*x^2*z*x*t*x^3*z*x^4-3*z*x^2*z*x*t*x^4*z*x^3+2*z*x^2*z*x*t
*x^6*z*x+6*z*x^2*z*x*t*x^7*z-13*z*x^2*z*x*z*t*x^7-6*z*x^2*z*x*z*x*t*x^6+6*z*x^3*
z*t*x^3*z*x^4-3*z*x^3*z*t*x^4*z*x^3+2*z*x^3*z*t*x^6*z*x+6*z*x^3*z*t*x^7*z-6*z*x^
3*z*x*z*t*x^6-3*x*z*t*x^4*z*x^5*z-3*x*z*t*x^5*z*x^4*z-2*x*z*t*x^6*z*x^2*z*x-2*x*
z*t*x^6*z*x^3*z+2*x*z*t*x^7*z*x^2*z+x*z*t*x^8*z*x*z+2*x*z*x*z*t*x^6*z*x^2+6*x^2*
z*t*x^3*z*x^5*z+3*x^2*z*t*x^5*z*x^2*z*x-x^2*z*t*x^6*z*x*z*x-6*x^2*z*x*z*t*x^3*z*
x^4+3*x^2*z*x*z*t*x^4*z*x^3-2*x^2*z*x*z*t*x^6*z*x-6*x^2*z*x*z*t*x^7*z+6*x^2*z*x*
z*x*z*t*x^6,
   2*t*x^3*z*x^6*z*x*z-3*t*x^5*z*x^4*z*x*z+2*t*x^7*z*x^2*z*x*z+2*z*t*x^3*z*x^6*z
*x+2*z*t*x^3*z*x^7*z-3*z*t*x^5*z*x^4*z*x-3*z*t*x^5*z*x^5*z+2*z*t*x^7*z*x^2*z*x+2
*z*t*x^7*z*x^3*z-z*t*x^9*z*x*z-2*z*x*t*x^3*z*x^6*z-3*z*x*t*x^4*z*x^5*z+3*z*x*t*x
^5*z*x^4*z-z*x*t*x^6*z*x^2*z*x+2*z*x*t*x^6*z*x^3*z-2*z*x*t*x^7*z*x^2*z-z*x*t*x^8
*z*x*z-2*z*x*z*t*x^3*z*x^6-3*z*x*z*t*x^4*z*x^5+3*z*x*z*t*x^5*z*x^4+3*z*x*z*t*x^6
*z*x^3-2*z*x*z*t*x^7*z*x^2-2*z*x*z*t*x^8*z*x-z*x*z*t*x^9*z+3*z*x*z*x*t*x^4*z*x^4
-2*z*x*z*x*t*x^6*z*x^2+z*x*z*x*t*x^8*z+2*z*x*z*x*z*t*x^8+z*x^2*t*x^6*z*x^2*z+3*z
*x^2*z*t*x^4*z*x^4-3*z*x^2*z*t*x^6*z*x^2+2*z*x^2*z*t*x^8*z-3*z*x^2*z*x*t*x^4*z*x
^3+2*z*x^2*z*x*t*x^6*z*x+2*z*x^2*z*x*t*x^7*z-3*z*x^2*z*x*z*t*x^7-2*z*x^2*z*x*z*x
*t*x^6-3*z*x^3*z*t*x^4*z*x^3+2*z*x^3*z*t*x^6*z*x+2*z*x^3*z*t*x^7*z-2*z*x^3*z*x*z
*t*x^6-2*x*z*t*x^3*z*x^6*z-3*x*z*t*x^4*z*x^5*z+3*x*z*t*x^5*z*x^4*z-x*z*t*x^6*z*x
^2*z*x+2*x*z*t*x^6*z*x^3*z-2*x*z*t*x^7*z*x^2*z-x*z*t*x^8*z*x*z+3*x*z*x*z*t*x^4*z
*x^4-2*x*z*x*z*t*x^6*z*x^2+x*z*x*z*t*x^8*z-x^2*z*t*x^6*z*x^2*z+3*x^2*z*x*z*t*x^4
*z*x^3-2*x^2*z*x*z*t*x^6*z*x-2*x^2*z*x*z*t*x^7*z+2*x^2*z*x*z*x*z*t*x^6,
   2*t*x^3*z*x^5*z*x^2*z+t*x^5*z*x^4*z*x*z-2*t*x^7*z*x^2*z*x*z+2*z*t*x^3*z*x^5*z
*x^2-2*z*t*x^3*z*x^7*z+z*t*x^5*z*x^4*z*x+z*t*x^5*z*x^5*z-2*z*t*x^7*z*x^2*z*x-2*z
*t*x^7*z*x^3*z-2*z*t*x^8*z*x^2*z+z*t*x^9*z*x*z-2*z*x*t*x^3*z*x^6*z+z*x*t*x^4*z*x
^5*z+z*x*t*x^5*z*x^4*z-z*x*t*x^6*z*x^2*z*x-2*z*x*t*x^6*z*x^3*z-2*z*x*t*x^7*z*x^2
*z+z*x*t*x^8*z*x*z-2*z*x*z*t*x^3*z*x^6+z*x*z*t*x^4*z*x^5+z*x*z*t*x^5*z*x^4-z*x*z
*t*x^6*z*x^3-2*z*x*z*t*x^7*z*x^2+3*z*x*z*t*x^9*z+z*x*z*x*t*x^4*z*x^4+z*x*z*x*t*x
^8*z+2*z*x*z*x*z*t*x^8+z*x^2*t*x^6*z*x^2*z+z*x^2*z*t*x^4*z*x^4-z*x^2*z*t*x^6*z*x
^2+2*z*x^2*z*t*x^8*z+z*x^2*z*x*t*x^4*z*x^3+2*z*x^2*z*x*t*x^5*z*x^2-2*z*x^2*z*x*t
*x^7*z+z*x^2*z*x*z*t*x^7-2*z*x^2*z*x*z*x*t*x^6+z*x^3*z*t*x^4*z*x^3+2*z*x^3*z*t*x
^5*z*x^2-2*z*x^3*z*t*x^7*z-2*z*x^3*z*x*z*t*x^6-2*x*z*t*x^3*z*x^6*z+x*z*t*x^4*z*x
^5*z+x*z*t*x^5*z*x^4*z-x*z*t*x^6*z*x^2*z*x-2*x*z*t*x^6*z*x^3*z-2*x*z*t*x^7*z*x^2
*z+x*z*t*x^8*z*x*z+x*z*x*z*t*x^4*z*x^4+x*z*x*z*t*x^8*z-x^2*z*t*x^6*z*x^2*z-x^2*z
*x*z*t*x^4*z*x^3-2*x^2*z*x*z*t*x^5*z*x^2+2*x^2*z*x*z*t*x^7*z+2*x^2*z*x*z*x*z*t*x
^6,
   
nil
17 lisp break (1) > 40700
18 lisp break (1) > Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print continuableerror evlis car evlis length 
top-loop-eval-and-print standardlisp 
nil
19 lisp break (1) > 
Quitting
