Removing the old script...
Running begrman for "257var.a", see results in "Bm_results/257var.a.log"
Bergman 0.91,  1-Oct-96
1 lisp> NIL
*** Garbage collection starting
*** GC 1: 24-Nov-96 16:53:58 (~ 68 ms cpu time, gc : 50 %)
*** time 34 ms, 15586 occupied, 1376 recovered, 1684414 free
*** GC 2: 24-Nov-96 16:53:58 (~ 85 ms cpu time, gc : 60 %)
*** time 17 ms, 15586 occupied, 0 recovered, 1684414 free
*** Heap space has been enlarged by 14300000 items
*** GC 2: 24-Nov-96 16:53:58 (~ 85 ms cpu time, gc : 60 %)
*** time 17 ms, 15592 occupied, 0 recovered, 15984408 free
16000000
NIL
NIL
NIL
NIL
*** Function `!a!nPRETTYPRINTSDP' has been redefined
!a!nPRETTYPRINTSDP
NIL
NIL
NIL
NIL
MAPLE
""
153
80
SetupGlobals
 ... done
Anick's resolution initialization...
B(1,1)=5
Anick's resolution initialization done.
NIL
+t^2*(9*z^2)
*** Garbage collection starting
*** GC 3: 24-Nov-96 16:53:59 (~ 255 ms cpu time, gc : 33 %)
*** time 34 ms, 22917 occupied, 13569 recovered, 15977083 free
Calculating Anick's resolution in degree 2...
B(1,1)=5
B(2,2)=9
    0   1   2
  +----------
0 | 1   5   9
1 | -   -
end of Calculations.
+t^3*(3*z^2+12*z^3)
*** Garbage collection starting
*** GC 4: 24-Nov-96 16:53:59 (~ 289 ms cpu time, gc : 41 %)
*** time 34 ms, 24449 occupied, 1588 recovered, 15975551 free
Calculating Anick's resolution in degree 3...
B(1,1)=5
B(2,2)=9
B(3,3)=9
    0   1   2   3
  +--------------
0 | 1   5   9   9
1 | -   -   -
2 | -   -
end of Calculations.
+t^4*(2*z^2+8*z^3+16*z^4)
*** Garbage collection starting
*** GC 5: 24-Nov-96 16:53:59 (~ 340 ms cpu time, gc : 50 %)
*** time 51 ms, 28103 occupied, 5212 recovered, 15971897 free
Calculating Anick's resolution in degree 4...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
    0   1   2   3   4
  +------------------
0 | 1   5   9   9   11
1 | -   -   -   1
2 | -   -   -
3 | -   -
end of Calculations.
+t^5*(3*z^2+7*z^3+12*z^4+20*z^5)
*** Garbage collection starting
*** GC 6: 24-Nov-96 16:53:59 (~ 425 ms cpu time, gc : 48 %)
*** time 34 ms, 33007 occupied, 12518 recovered, 15966993 free
Calculating Anick's resolution in degree 5...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
    0   1   2   3   4   5
  +----------------------
0 | 1   5   9   9   11  13
1 | -   -   -   1   1
2 | -   -   -   -
3 | -   -   -
4 | -   -
end of Calculations.
+t^6*(3*z^2+13*z^3+13*z^4+16*z^5+24*z^6)
*** Garbage collection starting
*** GC 7: 24-Nov-96 16:54:00 (~ 578 ms cpu time, gc : 47 %)
*** time 68 ms, 47025 occupied, 31468 recovered, 15952975 free
Calculating Anick's resolution in degree 6...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
    0   1   2   3   4   5   6
  +--------------------------
0 | 1   5   9   9   11  13  15
1 | -   -   -   1   1   1
2 | -   -   -   -   -
3 | -   -   -   3
4 | -   -   -
5 | -   -
end of Calculations.
+t^7*(2*z^2+16*z^3+27*z^4+19*z^5+20*z^6+28*z^7)
*** Garbage collection starting
*** GC 8: 24-Nov-96 16:54:00 (~ 935 ms cpu time, gc : 38 %)
*** time 85 ms, 71423 occupied, 78906 recovered, 15928577 free
Calculating Anick's resolution in degree 7...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
    0   1   2   3   4   5   6   7
  +------------------------------
0 | 1   5   9   9   11  13  15  17
1 | -   -   -   1   1   1   1
2 | -   -   -   -   -   -
3 | -   -   -   3   5
4 | -   -   -   3
5 | -   -   -
6 | -   -
end of Calculations.
+t^8*(z^2+12*z^3+37*z^4+41*z^5+25*z^6+24*z^7+32*z^8)
*** Garbage collection starting
*** GC 9: 24-Nov-96 16:54:01 (~ 1768 ms cpu time, gc : 26 %)
*** time 119 ms, 119821 occupied, 204344 recovered, 15880179 free
Calculating Anick's resolution in degree 8...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
B(4,8)=5
B(5,8)=5
B(7,8)=1
B(8,8)=19
    0   1   2   3   4   5   6   7   8
  +----------------------------------
0 | 1   5   9   9   11  13  15  17  19
1 | -   -   -   1   1   1   1   1
2 | -   -   -   -   -   -   -
3 | -   -   -   3   5   5
4 | -   -   -   3   5
5 | -   -   -   -
6 | -   -   -
7 | -   -
end of Calculations.
+t^9*(3*z^2+11*z^3+35*z^4+59*z^5+55*z^6+31*z^7+28*z^8+36*z^9)
*** Garbage collection starting
*** GC 10: 24-Nov-96 16:54:03 (~ 3672 ms cpu time, gc : 18 %)
*** time 221 ms, 213927 occupied, 496228 recovered, 15786073 free
Calculating Anick's resolution in degree 9...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
B(4,8)=5
B(5,8)=5
B(7,8)=1
B(8,8)=19
B(4,9)=4
B(5,9)=5
B(6,9)=5
B(8,9)=1
B(9,9)=21
    0   1   2   3   4   5   6   7   8   9
  +--------------------------------------
0 | 1   5   9   9   11  13  15  17  19  21
1 | -   -   -   1   1   1   1   1   1
2 | -   -   -   -   -   -   -   -
3 | -   -   -   3   5   5   5
4 | -   -   -   3   5   5
5 | -   -   -   -   4
6 | -   -   -   -
7 | -   -   -
8 | -   -
end of Calculations.
+t^10*(4*z^2+17*z^3+40*z^4+65*z^5+81*z^6+69*z^7+37*z^8+32*z^9+40*z^10)
*** Garbage collection starting
*** GC 11: 24-Nov-96 16:54:10 (~ 9401 ms cpu time, gc : 12 %)
*** time 459 ms, 463779 occupied, 1377936 recovered, 15536221 free
Calculating Anick's resolution in degree 10...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
B(4,8)=5
B(5,8)=5
B(7,8)=1
B(8,8)=19
B(4,9)=4
B(5,9)=5
B(6,9)=5
B(8,9)=1
B(9,9)=21
B(4,10)=4
B(5,10)=7
B(6,10)=5
B(7,10)=5
B(9,10)=1
B(10,10)=23
    0   1   2   3   4   5   6   7   8   9   10
  +------------------------------------------
0 | 1   5   9   9   11  13  15  17  19  21  23
1 | -   -   -   1   1   1   1   1   1   1
2 | -   -   -   -   -   -   -   -   -
3 | -   -   -   3   5   5   5   5
4 | -   -   -   3   5   5   5
5 | -   -   -   -   4   7
6 | -   -   -   -   4
7 | -   -   -   -
8 | -   -   -
9 | -   -
end of Calculations.
+t^11*(4*z^2+21*z^3+52*z^4+83*z^5+95*z^6+103*z^7+83*z^8+43*z^9+36*z^10+44*z^11)
*** Garbage collection starting
*** GC 12: 24-Nov-96 16:54:33 (~ 28577 ms cpu time, gc : 7 %)
*** time 1003 ms, 1038535 occupied, 4330594 recovered, 14961465 free
Calculating Anick's resolution in degree 11...
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
B(4,8)=5
B(5,8)=5
B(7,8)=1
B(8,8)=19
B(4,9)=4
B(5,9)=5
B(6,9)=5
B(8,9)=1
B(9,9)=21
B(4,10)=4
B(5,10)=7
B(6,10)=5
B(7,10)=5
B(9,10)=1
B(10,10)=23
B(5,11)=7
B(6,11)=7
B(7,11)=5
B(8,11)=5
B(10,11)=1
B(11,11)=25
    0   1   2   3   4   5   6   7   8   9   10  11
  +----------------------------------------------
0 | 1   5   9   9   11  13  15  17  19  21  23  25
1 | -   -   -   1   1   1   1   1   1   1   1
2 | -   -   -   -   -   -   -   -   -   -
3 | -   -   -   3   5   5   5   5   5
4 | -   -   -   3   5   5   5   5
5 | -   -   -   -   4   7   7
6 | -   -   -   -   4   7
7 | -   -   -   -   -
8 | -   -   -   -
9 | -   -   -
10| -   -
end of Calculations.
*** Garbage collection starting
*** GC 13: 24-Nov-96 16:56:16 (~ 97784 ms cpu time, gc : 4 %)
*** time 2176 ms, 2246539 occupied, 13753432 recovered, 13753461 free
+t^12*(4*z^2+23*z^3+60*z^4+109*z^5+129*z^6+125*z^7+125*z^8+97*z^9+49*z^10+40*z^11+48*z^12)
*** Garbage collection starting
*** GC 14: 24-Nov-96 16:56:23 (~ 102578 ms cpu time, gc : 6 %)
*** time 2193 ms, 2344343 occupied, 180248 recovered, 13655657 free
Calculating Anick's resolution in degree 12...
*** Garbage collection starting
*** GC 15: 24-Nov-96 16:57:29 (~ 157624 ms cpu time, gc : 5 %)
*** time 2550 ms, 2771731 occupied, 13228240 recovered, 13228269 free
*** Garbage collection starting
*** GC 16: 24-Nov-96 16:58:57 (~ 212993 ms cpu time, gc : 5 %)
*** time 3009 ms, 3191931 occupied, 12808040 recovered, 12808069 free
*** Garbage collection starting
*** GC 17: 24-Nov-96 17:00:39 (~ 264503 ms cpu time, gc : 5 %)
*** time 3196 ms, 3301035 occupied, 12698936 recovered, 12698965 free
B(1,1)=5
B(2,2)=9
B(3,3)=9
B(3,4)=1
B(4,4)=11
B(4,5)=1
B(5,5)=13
B(3,6)=3
B(5,6)=1
B(6,6)=15
B(3,7)=3
B(4,7)=5
B(6,7)=1
B(7,7)=17
B(4,8)=5
B(5,8)=5
B(7,8)=1
B(8,8)=19
B(4,9)=4
B(5,9)=5
B(6,9)=5
B(8,9)=1
B(9,9)=21
B(4,10)=4
B(5,10)=7
B(6,10)=5
B(7,10)=5
B(9,10)=1
B(10,10)=23
B(5,11)=7
B(6,11)=7
B(7,11)=5
B(8,11)=5
B(10,11)=1
B(11,11)=25
B(5,12)=5
B(6,12)=7
B(7,12)=7
B(8,12)=5
B(9,12)=5
B(11,12)=1
B(12,12)=27
    0   1   2   3   4   5   6   7   8   9   10  11  12
  +--------------------------------------------------
0 | 1   5   9   9   11  13  15  17  19  21  23  25  27
1 | -   -   -   1   1   1   1   1   1   1   1   1
2 | -   -   -   -   -   -   -   -   -   -   -
3 | -   -   -   3   5   5   5   5   5   5
4 | -   -   -   3   5   5   5   5   5
5 | -   -   -   -   4   7   7   7
6 | -   -   -   -   4   7   7
7 | -   -   -   -   -   5
8 | -   -   -   -   -
9 | -   -   -   -
10| -   -   -
11| -   -
end of Calculations.
+t^13*(6*z^2+26*z^3+67*z^4+127*z^5+175*z^6+175*z^7+155*z^8+147*z^9+111*z^10+55*z^11+44*z^12+52*z^13)
*** Garbage collection starting
*** GC 18: 24-Nov-96 17:02:22 (~ 348772 ms cpu time, gc : 5 %)
*** time 4607 ms, 4921097 occupied, 3557266 recovered, 11078903 free
Calculating Anick's resolution in degree 13...
*** Garbage collection starting
Done.
