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> nil
8 lisp> t
nil
9 lisp> 9 lisp> 9 lisp> The Anick resolution initialization...
B(1,1)=4
The Anick resolution initialization done.
nil
10 lisp> 10 lisp> ((2 2 2 2 2 2))
11 lisp> +t^2*(6*z^2)
*** Garbage collection starting 
*** GC 1  6-Dec-2000 19:39:59, 0 ms (0%), 59303 occupied, 1565691 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:39:59, 10 ms (0%), 60323 occupied, 1564668 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:39:59, 0 ms (0%), 62219 occupied, 1562771 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:39:59, 0 ms (0%), 65269 occupied, 1559720 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:39:59, 0 ms (0%), 70419 occupied, 1554568 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:39:59, 10 ms (0%), 78105 occupied, 1546880 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:39:59, 10 ms (0%), 93531 occupied, 1531453 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:39:59, 20 ms (50%), 117205 occupied, 1507775 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:39:59, 20 ms (35%), 152771 occupied, 1472208 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:40:00, 30 ms (33%), 209115 occupied, 1415864 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:40:00, 40 ms (28%), 311561 occupied, 1313418 free
Calculating the Anick resolution in degree 12...
*** Garbage collection starting 
*** GC 12  6-Dec-2000 19:40:00, 60 ms (22%), 399617 occupied, 1225362 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:40:00, 60 ms (23%), 468765 occupied, 1156214 free
Calculating the Anick resolution in degree 13...
*** Garbage collection starting 
*** GC 14  6-Dec-2000 19:40:01, 80 ms (22%), 542185 occupied, 1082794 free
*** Garbage collection starting 
*** GC 15  6-Dec-2000 19:40:01, 80 ms (23%), 588583 occupied, 1036396 free
*** Garbage collection starting 
*** GC 16  6-Dec-2000 19:40:01, 90 ms (24%), 624125 occupied, 1000854 free
*** Heap compaction starting
*** Heap compacted to 670816 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:40:02, 90 ms (28%), 710133 occupied, 914846 free
Calculating the Anick resolution in degree 14...
*** Garbage collection starting 
*** GC 18  6-Dec-2000 19:40:02, 100 ms (27%), 767241 occupied, 857738 free
*** Garbage collection starting 
*** GC 19  6-Dec-2000 19:40:03, 110 ms (27%), 791367 occupied, 833612 free
*** Garbage collection starting 
*** GC 20  6-Dec-2000 19:40:03, 120 ms (28%), 848775 occupied, 776204 free
*** Garbage collection starting 
*** GC 21  6-Dec-2000 19:40:03, 120 ms (29%), 864791 occupied, 760188 free
*** Garbage collection starting 
*** GC 22  6-Dec-2000 19:40:03, 120 ms (31%), 891281 occupied, 733698 free
*** Garbage collection starting 
*** GC 23  6-Dec-2000 19:40:04, 120 ms (31%), 915959 occupied, 709020 free
*** Garbage collection starting 
*** GC 24  6-Dec-2000 19:40:04, 130 ms (32%), 934637 occupied, 690342 free
*** Garbage collection starting 
*** GC 25  6-Dec-2000 19:40:04, 140 ms (34%), 960555 occupied, 664424 free
*** Garbage collection starting 
*** GC 26  6-Dec-2000 19:40:05, 140 ms (34%), 975693 occupied, 649286 free
*** Garbage collection starting 
*** GC 27  6-Dec-2000 19:40:05, 140 ms (36%), 1003403 occupied, 621576 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:40:05, 150 ms (36%), 1078051 occupied, 546928 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:40:05, 150 ms (37%), 1092265 occupied, 532714 free
Calculating the Anick resolution in degree 15...
*** Garbage collection starting 
*** GC 30  6-Dec-2000 19:40:06, 150 ms (35%), 1137415 occupied, 487564 free
*** Garbage collection starting 
*** GC 31  6-Dec-2000 19:40:06, 160 ms (36%), 1148645 occupied, 476334 free
*** Garbage collection starting 
*** GC 32  6-Dec-2000 19:40:07, 160 ms (37%), 1157917 occupied, 467062 free
*** Heap compaction starting
*** Heap compacted to 1257330 items (=77%) in 140 ms
*** Garbage collection starting 
*** GC 33  6-Dec-2000 19:40:07, 150 ms (39%), 1167029 occupied, 457950 free
*** Garbage collection starting 
*** GC 34  6-Dec-2000 19:40:07, 150 ms (39%), 1171487 occupied, 453492 free
*** Garbage collection starting 
*** GC 35  6-Dec-2000 19:40:08, 160 ms (40%), 1174687 occupied, 450292 free
*** Garbage collection starting 
*** GC 36  6-Dec-2000 19:40:08, 160 ms (40%), 1183011 occupied, 441968 free
*** Garbage collection starting 
*** GC 37  6-Dec-2000 19:40:08, 160 ms (41%), 1191311 occupied, 433668 free
*** Garbage collection starting 
*** GC 38  6-Dec-2000 19:40:08, 160 ms (42%), 1200629 occupied, 424350 free
*** Garbage collection starting 
*** GC 39  6-Dec-2000 19:40:08, 160 ms (43%), 1215171 occupied, 409808 free
*** Garbage collection starting 
*** GC 40  6-Dec-2000 19:40:09, 200 ms (44%), 1232175 occupied, 392804 free
*** Garbage collection starting 
*** GC 41  6-Dec-2000 19:40:09, 170 ms (44%), 1252177 occupied, 372802 free
*** Garbage collection starting 
*** GC 42  6-Dec-2000 19:40:09, 170 ms (45%), 1257715 occupied, 367264 free
*** Garbage collection starting 
*** GC 43  6-Dec-2000 19:40:10, 180 ms (45%), 1270843 occupied, 354136 free
*** Garbage collection starting 
*** GC 44  6-Dec-2000 19:40:10, 180 ms (46%), 1291827 occupied, 333152 free
*** Garbage collection starting 
*** GC 45  6-Dec-2000 19:40:10, 180 ms (46%), 1289569 occupied, 335410 free
*** Garbage collection starting 
*** GC 46  6-Dec-2000 19:40:10, 180 ms (47%), 1293931 occupied, 331048 free
*** Garbage collection starting 
*** GC 47  6-Dec-2000 19:40:11, 170 ms (47%), 1316719 occupied, 308260 free
*** Garbage collection starting 
*** GC 48  6-Dec-2000 19:40:11, 180 ms (48%), 1302199 occupied, 322780 free
*** Heap compaction starting
*** Heap compacted to 1415794 items (=87%) in 130 ms
*** Garbage collection starting 
*** GC 49  6-Dec-2000 19:40:11, 180 ms (49%), 1307219 occupied, 317760 free
*** Garbage collection starting 
*** GC 50  6-Dec-2000 19:40:11, 170 ms (50%), 1313367 occupied, 311612 free
*** Garbage collection starting 
*** GC 51  6-Dec-2000 19:40:12, 180 ms (50%), 1319761 occupied, 305218 free
*** Garbage collection starting 
*** GC 52  6-Dec-2000 19:40:12, 180 ms (50%), 1321715 occupied, 303264 free
*** Garbage collection starting 
*** GC 53  6-Dec-2000 19:40:12, 180 ms (51%), 1328395 occupied, 296584 free
*** Garbage collection starting 
*** GC 54  6-Dec-2000 19:40:12, 180 ms (51%), 1325319 occupied, 299660 free
*** Garbage collection starting 
*** GC 55  6-Dec-2000 19:40:13, 180 ms (52%), 1328687 occupied, 296292 free
*** Garbage collection starting 
*** GC 56  6-Dec-2000 19:40:13, 190 ms (52%), 1334273 occupied, 290706 free
*** Garbage collection starting 
*** GC 57  6-Dec-2000 19:40:13, 180 ms (53%), 1340791 occupied, 284188 free
*** Garbage collection starting 
*** GC 58  6-Dec-2000 19:40:13, 180 ms (53%), 1347935 occupied, 277044 free
*** Garbage collection starting 
*** GC 59  6-Dec-2000 19:40:14, 190 ms (54%), 1351505 occupied, 273474 free
*** Garbage collection starting 
*** GC 60  6-Dec-2000 19:40:14, 180 ms (54%), 1361269 occupied, 263710 free
*** Garbage collection starting 
*** GC 61  6-Dec-2000 19:40:14, 190 ms (54%), 1361719 occupied, 263260 free
*** Garbage collection starting 
*** GC 62  6-Dec-2000 19:40:14, 180 ms (55%), 1368395 occupied, 256584 free
*** Garbage collection starting 
*** GC 63  6-Dec-2000 19:40:15, 190 ms (55%), 1387213 occupied, 237766 free
*** Garbage collection starting 
*** GC 64  6-Dec-2000 19:40:15, 190 ms (55%), 1376517 occupied, 248462 free
*** Heap compaction starting
*** Heap compacted to 1497848 items (=92%) in 140 ms
*** Garbage collection starting 
*** GC 65  6-Dec-2000 19:40:15, 190 ms (56%), 1375899 occupied, 249080 free
*** Garbage collection starting 
*** GC 66  6-Dec-2000 19:40:15, 190 ms (57%), 1398853 occupied, 226126 free
*** Garbage collection starting 
*** GC 67  6-Dec-2000 19:40:16, 200 ms (57%), 1425261 occupied, 199718 free
*** Garbage collection starting 
*** GC 68  6-Dec-2000 19:40:16, 190 ms (57%), 1395185 occupied, 229794 free
*** Garbage collection starting 
*** GC 69  6-Dec-2000 19:40:16, 190 ms (57%), 1398025 occupied, 226954 free
*** Garbage collection starting 
*** GC 70  6-Dec-2000 19:40:16, 190 ms (58%), 1400601 occupied, 224378 free
*** Garbage collection starting 
*** GC 71  6-Dec-2000 19:40:17, 200 ms (58%), 1418597 occupied, 206382 free
*** Garbage collection starting 
*** GC 72  6-Dec-2000 19:40:17, 200 ms (58%), 1406155 occupied, 218824 free
*** Garbage collection starting 
*** GC 73  6-Dec-2000 19:40:17, 190 ms (59%), 1407445 occupied, 217534 free
*** Garbage collection starting 
*** GC 74  6-Dec-2000 19:40:17, 190 ms (59%), 1409241 occupied, 215738 free
*** Garbage collection starting 
*** GC 75  6-Dec-2000 19:40:17, 190 ms (60%), 1411679 occupied, 213300 free
*** Garbage collection starting 
*** GC 76  6-Dec-2000 19:40:18, 190 ms (60%), 1414937 occupied, 210042 free
*** Garbage collection starting 
*** GC 77  6-Dec-2000 19:40:18, 190 ms (60%), 1428599 occupied, 196380 free
*** Garbage collection starting 
*** GC 78  6-Dec-2000 19:40:18, 190 ms (60%), 1417135 occupied, 207844 free
*** Garbage collection starting 
*** GC 79  6-Dec-2000 19:40:18, 190 ms (61%), 1416341 occupied, 208638 free
*** Garbage collection starting 
*** GC 80  6-Dec-2000 19:40:19, 190 ms (61%), 1428559 occupied, 196420 free
*** Heap compaction starting
*** Heap compacted to 1556492 items (=95%) in 140 ms
*** Garbage collection starting 
*** GC 81  6-Dec-2000 19:40:19, 190 ms (62%), 1420027 occupied, 204952 free
*** Garbage collection starting 
*** GC 82  6-Dec-2000 19:40:19, 190 ms (62%), 1423765 occupied, 201214 free
*** Garbage collection starting 
*** GC 83  6-Dec-2000 19:40:20, 190 ms (62%), 1442793 occupied, 182186 free
*** Garbage collection starting 
*** GC 84  6-Dec-2000 19:40:20, 200 ms (62%), 1456261 occupied, 168718 free
*** Garbage collection starting 
*** GC 85  6-Dec-2000 19:40:20, 200 ms (63%), 1424275 occupied, 200704 free
*** Garbage collection starting 
*** GC 86  6-Dec-2000 19:40:20, 190 ms (63%), 1424629 occupied, 200350 free
*** Garbage collection starting 
*** GC 87  6-Dec-2000 19:40:20, 190 ms (63%), 1428137 occupied, 196842 free
*** Garbage collection starting 
*** GC 88  6-Dec-2000 19:40:21, 190 ms (63%), 1432173 occupied, 192806 free
*** Garbage collection starting 
*** GC 89  6-Dec-2000 19:40:21, 200 ms (64%), 1429315 occupied, 195664 free
*** Garbage collection starting 
*** GC 90  6-Dec-2000 19:40:21, 200 ms (64%), 1432031 occupied, 192948 free
*** Garbage collection starting 
*** GC 91  6-Dec-2000 19:40:21, 200 ms (64%), 1438201 occupied, 186778 free
*** Garbage collection starting 
*** GC 92  6-Dec-2000 19:40:22, 190 ms (64%), 1437873 occupied, 187106 free
*** Garbage collection starting 
*** GC 93  6-Dec-2000 19:40:22, 200 ms (65%), 1437929 occupied, 187050 free
*** Garbage collection starting 
*** GC 94  6-Dec-2000 19:40:22, 200 ms (65%), 1440185 occupied, 184794 free
*** Garbage collection starting 
*** GC 95  6-Dec-2000 19:40:22, 200 ms (65%), 1442425 occupied, 182554 free
*** Garbage collection starting 
*** GC 96  6-Dec-2000 19:40:22, 200 ms (65%), 1443213 occupied, 181766 free
*** Heap compaction starting
*** Heap compacted to 1574878 items (=96%) in 130 ms
*** Garbage collection starting 
*** GC 97  6-Dec-2000 19:40:23, 200 ms (66%), 1445095 occupied, 179884 free
*** Garbage collection starting 
*** GC 98  6-Dec-2000 19:40:23, 200 ms (66%), 1445355 occupied, 179624 free
*** Garbage collection starting 
*** GC 99  6-Dec-2000 19:40:23, 200 ms (66%), 1447523 occupied, 177456 free
*** Garbage collection starting 
*** GC 100  6-Dec-2000 19:40:23, 190 ms (66%), 1449797 occupied, 175182 free
*** Garbage collection starting 
*** GC 101  6-Dec-2000 19:40:24, 210 ms (67%), 1452271 occupied, 172708 free
*** Garbage collection starting 
*** GC 102  6-Dec-2000 19:40:24, 200 ms (67%), 1456831 occupied, 168148 free
*** Garbage collection starting 
*** GC 103  6-Dec-2000 19:40:24, 200 ms (67%), 1463541 occupied, 161438 free
*** Garbage collection starting 
*** GC 104  6-Dec-2000 19:40:24, 200 ms (67%), 1470021 occupied, 154958 free
*** Garbage collection starting 
*** GC 105  6-Dec-2000 19:40:25, 200 ms (67%), 1473465 occupied, 151514 free
*** Garbage collection starting 
*** GC 106  6-Dec-2000 19:40:25, 190 ms (67%), 1453857 occupied, 171122 free
*** Garbage collection starting 
*** GC 107  6-Dec-2000 19:40:25, 200 ms (68%), 1458567 occupied, 166412 free
*** Garbage collection starting 
*** GC 108  6-Dec-2000 19:40:25, 200 ms (68%), 1456839 occupied, 168140 free
*** Garbage collection starting 
*** GC 109  6-Dec-2000 19:40:25, 200 ms (68%), 1459663 occupied, 165316 free
*** Garbage collection starting 
*** GC 110  6-Dec-2000 19:40:26, 200 ms (68%), 1458505 occupied, 166474 free
*** Garbage collection starting 
*** GC 111  6-Dec-2000 19:40:26, 200 ms (68%), 1459763 occupied, 165216 free
*** Garbage collection starting 
*** GC 112  6-Dec-2000 19:40:26, 190 ms (68%), 1463021 occupied, 161958 free
*** Heap compaction starting
*** Heap compacted to 1596530 items (=98%) in 140 ms
*** Garbage collection starting 
*** GC 113  6-Dec-2000 19:40:27, 200 ms (69%), 1462599 occupied, 162380 free
*** Garbage collection starting 
*** GC 114  6-Dec-2000 19:40:27, 210 ms (69%), 1462305 occupied, 162674 free
*** Garbage collection starting 
*** GC 115  6-Dec-2000 19:40:27, 200 ms (69%), 1462857 occupied, 162122 free
*** Garbage collection starting 
*** GC 116  6-Dec-2000 19:40:27, 200 ms (69%), 1466007 occupied, 158972 free
*** Garbage collection starting 
*** GC 117  6-Dec-2000 19:40:27, 200 ms (69%), 1464161 occupied, 160818 free
*** Garbage collection starting 
*** GC 118  6-Dec-2000 19:40:28, 190 ms (70%), 1464081 occupied, 160898 free
*** Garbage collection starting 
*** GC 119  6-Dec-2000 19:40:28, 200 ms (70%), 1471467 occupied, 153512 free
*** Garbage collection starting 
*** GC 120  6-Dec-2000 19:40:28, 200 ms (70%), 1465497 occupied, 159482 free
*** Garbage collection starting 
*** GC 121  6-Dec-2000 19:40:28, 200 ms (70%), 1465567 occupied, 159412 free
*** Garbage collection starting 
*** GC 122  6-Dec-2000 19:40:29, 200 ms (70%), 1467327 occupied, 157652 free
*** Garbage collection starting 
*** GC 123  6-Dec-2000 19:40:29, 200 ms (70%), 1466739 occupied, 158240 free
*** Garbage collection starting 
*** GC 124  6-Dec-2000 19:40:29, 190 ms (70%), 1471071 occupied, 153908 free
*** Garbage collection starting 
*** GC 125  6-Dec-2000 19:40:29, 200 ms (70%), 1467839 occupied, 157140 free
*** Garbage collection starting 
*** GC 126  6-Dec-2000 19:40:29, 200 ms (71%), 1467981 occupied, 156998 free
*** Garbage collection starting 
*** GC 127  6-Dec-2000 19:40:30, 200 ms (71%), 1471151 occupied, 153828 free
*** Garbage collection starting 
*** GC 128  6-Dec-2000 19:40:30, 200 ms (71%), 1476007 occupied, 148972 free
*** Heap compaction starting
*** Heap compacted to 1612818 items (=99%) in 140 ms
*** Garbage collection starting 
*** GC 129  6-Dec-2000 19:40:30, 200 ms (71%), 1479355 occupied, 145624 free
*** Garbage collection starting 
*** GC 130  6-Dec-2000 19:40:30, 200 ms (71%), 1481707 occupied, 143272 free
*** Garbage collection starting 
*** GC 131  6-Dec-2000 19:40:31, 200 ms (72%), 1483089 occupied, 141890 free
*** Garbage collection starting 
*** GC 132  6-Dec-2000 19:40:31, 200 ms (72%), 1484123 occupied, 140856 free
*** Garbage collection starting 
*** GC 133  6-Dec-2000 19:40:31, 200 ms (72%), 1484485 occupied, 140494 free
*** Garbage collection starting 
*** GC 134  6-Dec-2000 19:40:31, 210 ms (72%), 1484901 occupied, 140078 free
*** Garbage collection starting 
*** GC 135  6-Dec-2000 19:40:32, 200 ms (72%), 1485073 occupied, 139906 free
*** Garbage collection starting 
*** GC 136  6-Dec-2000 19:40:32, 200 ms (72%), 1485275 occupied, 139704 free
*** Garbage collection starting 
*** GC 137  6-Dec-2000 19:40:32, 200 ms (72%), 1485343 occupied, 139636 free
*** Garbage collection starting 
*** GC 138  6-Dec-2000 19:40:32, 200 ms (72%), 1485485 occupied, 139494 free
*** Garbage collection starting 
*** GC 139  6-Dec-2000 19:40:32, 210 ms (73%), 1485617 occupied, 139362 free
*** Garbage collection starting 
*** GC 140  6-Dec-2000 19:40:33, 200 ms (73%), 1485691 occupied, 139288 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 120 ms
**** requested size:2
***** heap space low
*** Garbage collection starting 
*** GC 141  6-Dec-2000 19:40:33, 200 ms (73%), 1485680 occupied, 139299 free
Break loop
*** Garbage collection starting 
*** GC 142  6-Dec-2000 19:40:33, 200 ms (73%), 1485688 occupied, 139291 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 120 ms
**** requested size:7
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 143  6-Dec-2000 19:40:34, 200 ms (73%), 1485688 occupied, 139291 free
*** Garbage collection starting 
*** GC 144  6-Dec-2000 19:40:34, 200 ms (73%), 1485692 occupied, 139286 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 140 ms
**** requested size:3
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 145  6-Dec-2000 19:40:34, 210 ms (74%), 1485692 occupied, 139286 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 110 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 146  6-Dec-2000 19:40:34, 200 ms (74%), 1485692 occupied, 139286 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 130 ms
**** requested size:2
***** heap space low
Break loop
*** Garbage collection starting 
*** GC 147  6-Dec-2000 19:40:35, 200 ms (74%), 1485692 occupied, 139286 free
*** Heap compaction starting
*** Heap compacted to 1624998 items (=99%) in 120 ms
**** requested size:2
***** heap space low
*** Garbage collection starting 
*** GC 148  6-Dec-2000 19:40:35, 210 ms (74%), 1467672 occupied, 157306 free
17 lisp> 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*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-
*** Garbage collection starting 
*** GC 149  6-Dec-2000 19:40:35, 200 ms (74%), 1467730 occupied, 157248 free
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
18 lisp> 36000
19 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace top-loop-eval-and-print standardlisp 
nil
20 lisp> 
Quitting
