
4: Entering LISP ... 
Bergman 0.9, 27-Jun-96
1 lisp> 16000000
2 lisp> nil
3 lisp> *** (g!e!tp!r!e!d!cm!o!d): base 6332240, length 16 bytes
t
4 lisp> nil
nil
5 lisp> nil
nil
nil
nil
nil
10 lisp> nil
11 lisp> 7
12 lisp> 0
0
0
15 lisp> nil
16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> 16 lisp> *** Function `degreeenddisplay' has been redefined
degreeenddisplay
17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> 17 lisp> *** Function `f!i!xe!n!dd!e!g!r!e!et!h!i!n!g!s' has been redefined
f!i!xe!n!dd!e!g!r!e!et!h!i!n!g!s
18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> 18 lisp> t
19 lisp> ((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
20 lisp> 6768
21 lisp> nil
22 lisp> 22 lisp> ((2 2 2 2 2 2 2 2 2 2 2 2))
23 lisp> 6768
24 lisp> 
  Finished degree 2
 Number of new Groebner basis elements: 12
*** Garbage collection starting
*** GC 3: 29-Jun-96 11:39:53 (~ 2159 ms cpu time, gc : 11 %)
*** time 102 ms, 97476 occupied, 325791 recovered, 15902524 free
 Time: 2176
 Denominator degree: 12
 Numerator: ((6 . -1) (5 . 1) (4 . 5) (3 . -7) (2 . -2) (1 . 4) (0 . 1))
 Current Hilbert function value: 124
 Next Hilbert function value: 645
 Next Hilbert function limitation: 624
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (19)
Number of S-polynomial reductions at this degree: 0

  Finished degree 3
 Number of new Groebner basis elements: 21
*** Garbage collection starting
*** GC 4: 29-Jun-96 11:39:53 (~ 2720 ms cpu time, gc : 14 %)
*** time 153 ms, 149620 occupied, 17224 recovered, 15850380 free
 Time: 2754
 Denominator degree: 10
 Numerator: ((5 . 4) (4 . -3) (3 . -16) (2 . 9) (1 . 6) (0 . 1))
 Current Hilbert function value: 624
 Next Hilbert function value: 2367
 Next Hilbert function limitation: 2310
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (94 65)
Number of S-polynomial reductions at this degree: 21

  Finished degree 4
 Number of new Groebner basis elements: 57
*** Garbage collection starting
*** GC 5: 29-Jun-96 11:41:56 (~ 116688 ms cpu time, gc : 1 %)
*** time 867 ms, 856020 occupied, 9101008 recovered, 15143980 free
 Time: 116909
 Denominator degree: 8
 Numerator: ((4 . -36) (3 . 24) (2 . 24) (1 . 8) (0 . 1))
 Current Hilbert function value: 2310
 Next Hilbert function value: 6888
 Next Hilbert function limitation: 6768
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (371 556 347)
Number of S-polynomial reductions at this degree: 104
*** Garbage collection starting
*** GC 6: 29-Jun-96 11:52:57 (~ 750669 ms cpu time, gc : 0 %)
*** time 1819 ms, 1899676 occupied, 14100292 recovered, 14100324 free
*** Garbage collection starting
*** GC 7: 29-Jun-96 12:04:48 (~ 1438251 ms cpu time, gc : 0 %)
*** time 2176 ms, 2104326 occupied, 13895642 recovered, 13895674 free
*** Garbage collection starting
*** GC 8: 29-Jun-96 12:16:24 (~ 2110091 ms cpu time, gc : 0 %)
*** time 2448 ms, 2285334 occupied, 13714634 recovered, 13714666 free
*** Garbage collection starting
*** GC 9: 29-Jun-96 12:28:22 (~ 2806700 ms cpu time, gc : 0 %)
*** time 2584 ms, 2464740 occupied, 13535228 recovered, 13535260 free
*** Garbage collection starting
*** GC 10: 29-Jun-96 12:37:54 (~ 3358673 ms cpu time, gc : 0 %)
*** time 2686 ms, 2572710 occupied, 13427258 recovered, 13427290 free
*** Garbage collection starting
*** GC 11: 29-Jun-96 12:47:13 (~ 3895567 ms cpu time, gc : 0 %)
*** time 2822 ms, 2710982 occupied, 13288986 recovered, 13289018 free
*** Garbage collection starting
*** GC 12: 29-Jun-96 12:57:00 (~ 4451654 ms cpu time, gc : 0 %)
*** time 2958 ms, 2816520 occupied, 13183448 recovered, 13183480 free
*** Garbage collection starting
*** GC 13: 29-Jun-96 13:06:02 (~ 4972704 ms cpu time, gc : 0 %)
*** time 2975 ms, 2921804 occupied, 13078164 recovered, 13078196 free
*** Garbage collection starting
*** GC 14: 29-Jun-96 13:14:10 (~ 5437212 ms cpu time, gc : 0 %)
*** time 3162 ms, 3028660 occupied, 12971308 recovered, 12971340 free
*** Garbage collection starting
*** GC 15: 29-Jun-96 13:23:26 (~ 5973698 ms cpu time, gc : 0 %)
*** time 3281 ms, 3136476 occupied, 12863492 recovered, 12863524 free
*** Garbage collection starting
*** GC 16: 29-Jun-96 13:32:01 (~ 6468551 ms cpu time, gc : 0 %)
*** time 3264 ms, 3209846 occupied, 12790122 recovered, 12790154 free
*** Garbage collection starting
*** GC 17: 29-Jun-96 13:38:44 (~ 6853856 ms cpu time, gc : 0 %)
*** time 3417 ms, 3317558 occupied, 12682410 recovered, 12682442 free
*** Garbage collection starting
*** GC 18: 29-Jun-96 13:45:51 (~ 7264712 ms cpu time, gc : 0 %)
*** time 3485 ms, 3396766 occupied, 12603202 recovered, 12603234 free
*** Garbage collection starting
*** GC 19: 29-Jun-96 13:54:29 (~ 7716521 ms cpu time, gc : 0 %)
*** time 3604 ms, 3479078 occupied, 12520890 recovered, 12520922 free
*** Garbage collection starting
*** GC 20: 29-Jun-96 14:01:24 (~ 8114117 ms cpu time, gc : 0 %)
*** time 3655 ms, 3552790 occupied, 12447178 recovered, 12447210 free
*** Garbage collection starting
*** GC 21: 29-Jun-96 14:09:13 (~ 8564243 ms cpu time, gc : 0 %)
*** time 3706 ms, 3600946 occupied, 12399022 recovered, 12399054 free
*** Garbage collection starting
*** GC 22: 29-Jun-96 14:15:44 (~ 8939008 ms cpu time, gc : 0 %)
*** time 3757 ms, 3679538 occupied, 12320430 recovered, 12320462 free
*** Garbage collection starting
*** GC 23: 29-Jun-96 14:21:59 (~ 9280827 ms cpu time, gc : 0 %)
*** time 3842 ms, 3762604 occupied, 12237364 recovered, 12237396 free
*** Garbage collection starting
*** GC 24: 29-Jun-96 14:27:50 (~ 9615557 ms cpu time, gc : 0 %)
*** time 3910 ms, 3845940 occupied, 12154028 recovered, 12154060 free
*** Garbage collection starting
*** GC 25: 29-Jun-96 14:34:50 (~ 10014615 ms cpu time, gc : 0 %)
*** time 4046 ms, 3911118 occupied, 12088850 recovered, 12088882 free
*** Garbage collection starting
*** GC 26: 29-Jun-96 14:41:44 (~ 10409304 ms cpu time, gc : 0 %)
*** time 4046 ms, 3973548 occupied, 12026420 recovered, 12026452 free
*** Garbage collection starting
*** GC 27: 29-Jun-96 14:47:34 (~ 10740566 ms cpu time, gc : 0 %)
*** time 4148 ms, 4053612 occupied, 11946356 recovered, 11946388 free
*** Garbage collection starting
*** GC 28: 29-Jun-96 14:54:24 (~ 11131787 ms cpu time, gc : 0 %)
*** time 4131 ms, 4100004 occupied, 11899964 recovered, 11899996 free
*** Garbage collection starting
*** GC 29: 29-Jun-96 15:00:09 (~ 11453223 ms cpu time, gc : 0 %)
*** time 4352 ms, 4179826 occupied, 11820142 recovered, 11820174 free
*** Garbage collection starting
*** GC 30: 29-Jun-96 15:06:29 (~ 11814439 ms cpu time, gc : 0 %)
*** time 4284 ms, 4229368 occupied, 11770600 recovered, 11770632 free
*** Garbage collection starting
*** GC 31: 29-Jun-96 15:12:21 (~ 12145871 ms cpu time, gc : 0 %)
*** time 4437 ms, 4271022 occupied, 11728946 recovered, 11728978 free
*** Garbage collection starting
*** GC 32: 29-Jun-96 15:18:01 (~ 12467987 ms cpu time, gc : 0 %)
*** time 4369 ms, 4358838 occupied, 11641130 recovered, 11641162 free
*** Garbage collection starting
*** GC 33: 29-Jun-96 15:24:18 (~ 12820907 ms cpu time, gc : 0 %)
*** time 4420 ms, 4398664 occupied, 11601304 recovered, 11601336 free
*** Garbage collection starting
*** GC 34: 29-Jun-96 15:31:00 (~ 13195961 ms cpu time, gc : 0 %)
*** time 4471 ms, 4442158 occupied, 11557810 recovered, 11557842 free
*** Garbage collection starting
*** GC 35: 29-Jun-96 15:36:06 (~ 13485590 ms cpu time, gc : 0 %)
*** time 4607 ms, 4526374 occupied, 11473594 recovered, 11473626 free
*** Garbage collection starting
*** GC 36: 29-Jun-96 15:41:15 (~ 13761262 ms cpu time, gc : 0 %)
*** time 4658 ms, 4580744 occupied, 11419224 recovered, 11419256 free
*** Garbage collection starting
*** GC 37: 29-Jun-96 15:48:40 (~ 14188965 ms cpu time, gc : 0 %)
*** time 5338 ms, 4574742 occupied, 11425226 recovered, 11425258 free
*** Garbage collection starting
*** GC 38: 29-Jun-96 15:56:27 (~ 14641964 ms cpu time, gc : 0 %)
*** time 5287 ms, 4579196 occupied, 11420772 recovered, 11420804 free
*** Garbage collection starting
*** GC 39: 29-Jun-96 16:03:51 (~ 15069225 ms cpu time, gc : 0 %)
*** time 5321 ms, 4576834 occupied, 11423134 recovered, 11423166 free
*** Garbage collection starting
*** GC 40: 29-Jun-96 16:10:51 (~ 15473723 ms cpu time, gc : 0 %)
*** time 5287 ms, 4569632 occupied, 11430336 recovered, 11430368 free
*** Garbage collection starting
*** GC 41: 29-Jun-96 16:18:04 (~ 15890444 ms cpu time, gc : 0 %)
*** time 5372 ms, 4578810 occupied, 11421158 recovered, 11421190 free
*** Garbage collection starting
*** GC 42: 29-Jun-96 16:25:18 (~ 16307403 ms cpu time, gc : 0 %)
*** time 5321 ms, 4581714 occupied, 11418254 recovered, 11418286 free
*** Garbage collection starting
*** GC 43: 29-Jun-96 16:32:40 (~ 16731570 ms cpu time, gc : 0 %)
*** time 5321 ms, 4577192 occupied, 11422776 recovered, 11422808 free
*** Garbage collection starting
*** GC 44: 29-Jun-96 16:39:27 (~ 17124100 ms cpu time, gc : 0 %)
*** time 5253 ms, 4578304 occupied, 11421664 recovered, 11421696 free
*** Garbage collection starting
*** GC 45: 29-Jun-96 16:46:46 (~ 17547706 ms cpu time, gc : 0 %)
*** time 5304 ms, 4575792 occupied, 11424176 recovered, 11424208 free
*** Garbage collection starting
*** GC 46: 29-Jun-96 16:53:28 (~ 17933147 ms cpu time, gc : 0 %)
*** time 5287 ms, 4575724 occupied, 11424244 recovered, 11424276 free
*** Garbage collection starting
*** GC 47: 29-Jun-96 17:00:36 (~ 18346672 ms cpu time, gc : 0 %)
*** time 5355 ms, 4580996 occupied, 11418972 recovered, 11419004 free
*** Garbage collection starting
*** GC 48: 29-Jun-96 17:08:07 (~ 18781651 ms cpu time, gc : 0 %)
*** time 5253 ms, 4575394 occupied, 11424574 recovered, 11424606 free
*** Garbage collection starting
*** GC 49: 29-Jun-96 17:15:13 (~ 19192065 ms cpu time, gc : 0 %)
*** time 5372 ms, 4579324 occupied, 11420644 recovered, 11420676 free
*** Garbage collection starting
*** GC 50: 29-Jun-96 17:22:31 (~ 19611642 ms cpu time, gc : 0 %)
*** time 5287 ms, 4582808 occupied, 11417160 recovered, 11417192 free
*** Garbage collection starting
*** GC 51: 29-Jun-96 17:30:19 (~ 20062941 ms cpu time, gc : 0 %)
*** time 5304 ms, 4580024 occupied, 11419944 recovered, 11419976 free
*** Garbage collection starting
*** GC 52: 29-Jun-96 17:38:25 (~ 20532719 ms cpu time, gc : 0 %)
*** time 5253 ms, 4577054 occupied, 11422914 recovered, 11422946 free
*** Garbage collection starting
*** GC 53: 29-Jun-96 17:44:51 (~ 20903030 ms cpu time, gc : 0 %)
*** time 5406 ms, 4582852 occupied, 11417116 recovered, 11417148 free
*** Garbage collection starting
*** GC 54: 29-Jun-96 17:52:36 (~ 21341902 ms cpu time, gc : 0 %)
*** time 4641 ms, 4592178 occupied, 11407790 recovered, 11407822 free
*** Garbage collection starting
*** GC 55: 29-Jun-96 17:59:55 (~ 21763859 ms cpu time, gc : 0 %)
*** time 5304 ms, 4590734 occupied, 11409234 recovered, 11409266 free
*** Garbage collection starting
*** GC 56: 29-Jun-96 18:06:47 (~ 22157341 ms cpu time, gc : 0 %)
*** time 5253 ms, 4579634 occupied, 11420334 recovered, 11420366 free
*** Garbage collection starting
*** GC 57: 29-Jun-96 18:14:19 (~ 22592609 ms cpu time, gc : 0 %)
*** time 5389 ms, 4603440 occupied, 11396528 recovered, 11396560 free
*** Garbage collection starting
*** GC 58: 29-Jun-96 18:22:09 (~ 23044435 ms cpu time, gc : 0 %)
*** time 5338 ms, 4577890 occupied, 11422078 recovered, 11422110 free
*** Garbage collection starting
*** GC 59: 29-Jun-96 18:29:11 (~ 23449885 ms cpu time, gc : 0 %)
*** time 5457 ms, 4609224 occupied, 11390744 recovered, 11390776 free
*** Garbage collection starting
*** GC 60: 29-Jun-96 18:36:35 (~ 23878030 ms cpu time, gc : 1 %)
*** time 5355 ms, 4606802 occupied, 11393166 recovered, 11393198 free
*** Garbage collection starting
*** GC 61: 29-Jun-96 18:44:17 (~ 24322699 ms cpu time, gc : 1 %)
*** time 5355 ms, 4601168 occupied, 11398800 recovered, 11398832 free
*** Garbage collection starting
*** GC 62: 29-Jun-96 18:50:18 (~ 24667510 ms cpu time, gc : 1 %)
*** time 5338 ms, 4603098 occupied, 11396870 recovered, 11396902 free
*** Garbage collection starting
*** GC 63: 29-Jun-96 18:56:53 (~ 25041374 ms cpu time, gc : 1 %)
*** time 5389 ms, 4601170 occupied, 11398798 recovered, 11398830 free
*** Garbage collection starting
*** GC 64: 29-Jun-96 19:03:02 (~ 25393325 ms cpu time, gc : 1 %)
*** time 5355 ms, 4604536 occupied, 11395432 recovered, 11395464 free
*** Garbage collection starting
*** GC 65: 29-Jun-96 19:10:29 (~ 25823680 ms cpu time, gc : 1 %)
*** time 5372 ms, 4600220 occupied, 11399748 recovered, 11399780 free
*** Garbage collection starting
*** GC 66: 29-Jun-96 19:17:20 (~ 26218522 ms cpu time, gc : 1 %)
*** time 5304 ms, 4600920 occupied, 11399048 recovered, 11399080 free
*** Garbage collection starting
*** GC 67: 29-Jun-96 19:24:33 (~ 26632540 ms cpu time, gc : 1 %)
*** time 5287 ms, 4598168 occupied, 11401800 recovered, 11401832 free
*** Garbage collection starting
*** GC 68: 29-Jun-96 19:32:50 (~ 27114507 ms cpu time, gc : 1 %)
*** time 5372 ms, 4589530 occupied, 11410438 recovered, 11410470 free
*** Garbage collection starting
*** GC 69: 29-Jun-96 19:40:10 (~ 27538351 ms cpu time, gc : 1 %)
*** time 5440 ms, 4605852 occupied, 11394116 recovered, 11394148 free
*** Garbage collection starting
*** GC 70: 29-Jun-96 19:46:24 (~ 27898190 ms cpu time, gc : 1 %)
*** time 5338 ms, 4606226 occupied, 11393742 recovered, 11393774 free
*** Garbage collection starting
*** GC 71: 29-Jun-96 19:53:40 (~ 28306598 ms cpu time, gc : 1 %)
*** time 5457 ms, 4606208 occupied, 11393760 recovered, 11393792 free
*** Garbage collection starting
*** GC 72: 29-Jun-96 20:05:10 (~ 28746405 ms cpu time, gc : 1 %)
*** time 5525 ms, 4604460 occupied, 11395508 recovered, 11395540 free
*** Garbage collection starting
*** GC 73: 29-Jun-96 20:19:15 (~ 29161868 ms cpu time, gc : 1 %)
*** time 5525 ms, 4605880 occupied, 11394088 recovered, 11394120 free
*** Garbage collection starting
*** GC 74: 29-Jun-96 20:35:02 (~ 29624370 ms cpu time, gc : 1 %)
*** time 5304 ms, 4604078 occupied, 11395890 recovered, 11395922 free
*** Garbage collection starting
*** GC 75: 29-Jun-96 20:48:53 (~ 30019790 ms cpu time, gc : 1 %)
*** time 5372 ms, 4602678 occupied, 11397290 recovered, 11397322 free
*** Garbage collection starting
*** GC 76: 29-Jun-96 21:04:00 (~ 30460396 ms cpu time, gc : 1 %)
*** time 5338 ms, 4607506 occupied, 11392462 recovered, 11392494 free
*** Garbage collection starting
*** GC 77: 29-Jun-96 21:19:19 (~ 30909128 ms cpu time, gc : 1 %)
*** time 5508 ms, 4603638 occupied, 11396330 recovered, 11396362 free
*** Garbage collection starting
*** GC 78: 29-Jun-96 21:32:37 (~ 31292971 ms cpu time, gc : 1 %)
*** time 5457 ms, 4603296 occupied, 11396672 recovered, 11396704 free
*** Garbage collection starting
*** GC 79: 29-Jun-96 21:47:38 (~ 31721524 ms cpu time, gc : 1 %)
*** time 5372 ms, 4604274 occupied, 11395694 recovered, 11395726 free
*** Garbage collection starting
*** GC 80: 29-Jun-96 22:02:50 (~ 32164816 ms cpu time, gc : 1 %)
*** time 5372 ms, 4601792 occupied, 11398176 recovered, 11398208 free
*** Garbage collection starting
*** GC 81: 29-Jun-96 22:17:09 (~ 32588286 ms cpu time, gc : 1 %)
*** time 5406 ms, 4601638 occupied, 11398330 recovered, 11398362 free
*** Garbage collection starting
*** GC 82: 29-Jun-96 22:31:58 (~ 33027209 ms cpu time, gc : 1 %)
*** time 5406 ms, 4601444 occupied, 11398524 recovered, 11398556 free
*** Garbage collection starting
*** GC 83: 29-Jun-96 22:48:01 (~ 33490748 ms cpu time, gc : 1 %)
*** time 5559 ms, 4605740 occupied, 11394228 recovered, 11394260 free
*** Garbage collection starting
*** GC 84: 29-Jun-96 23:02:46 (~ 33919080 ms cpu time, gc : 1 %)
*** time 5338 ms, 4603156 occupied, 11396812 recovered, 11396844 free
*** Garbage collection starting
*** GC 85: 29-Jun-96 23:18:13 (~ 34361658 ms cpu time, gc : 1 %)
*** time 5423 ms, 4603914 occupied, 11396054 recovered, 11396086 free
*** Garbage collection starting
*** GC 86: 29-Jun-96 23:34:28 (~ 34825231 ms cpu time, gc : 1 %)
*** time 5321 ms, 4605034 occupied, 11394934 recovered, 11394966 free
*** Garbage collection starting
*** GC 87: 29-Jun-96 23:48:26 (~ 35234846 ms cpu time, gc : 1 %)
*** time 5457 ms, 4605132 occupied, 11394836 recovered, 11394868 free
*** Garbage collection starting
*** GC 88: 30-Jun-96 00:04:04 (~ 35696753 ms cpu time, gc : 1 %)
*** time 5406 ms, 4613070 occupied, 11386898 recovered, 11386930 free
*** Garbage collection starting
*** GC 89: 30-Jun-96 00:20:38 (~ 36182664 ms cpu time, gc : 1 %)
*** time 5423 ms, 4612126 occupied, 11387842 recovered, 11387874 free
*** Garbage collection starting
*** GC 90: 30-Jun-96 00:37:55 (~ 36687479 ms cpu time, gc : 1 %)
*** time 5270 ms, 4584290 occupied, 11415678 recovered, 11415710 free
*** Garbage collection starting
*** GC 91: 30-Jun-96 00:54:20 (~ 37162153 ms cpu time, gc : 1 %)
*** time 5406 ms, 4593416 occupied, 11406552 recovered, 11406584 free
*** Garbage collection starting
*** GC 92: 30-Jun-96 01:09:58 (~ 37614948 ms cpu time, gc : 1 %)
*** time 5423 ms, 4593464 occupied, 11406504 recovered, 11406536 free
*** Garbage collection starting
*** GC 93: 30-Jun-96 01:25:08 (~ 38048669 ms cpu time, gc : 1 %)
*** time 5491 ms, 4600474 occupied, 11399494 recovered, 11399526 free
*** Garbage collection starting
*** GC 94: 30-Jun-96 01:40:34 (~ 38493746 ms cpu time, gc : 1 %)
*** time 5406 ms, 4601086 occupied, 11398882 recovered, 11398914 free
*** Garbage collection starting
*** GC 95: 30-Jun-96 01:55:54 (~ 38949159 ms cpu time, gc : 1 %)
*** time 5406 ms, 4599200 occupied, 11400768 recovered, 11400800 free
*** Garbage collection starting
*** GC 96: 30-Jun-96 02:09:51 (~ 39362854 ms cpu time, gc : 1 %)
*** time 5372 ms, 4598254 occupied, 11401714 recovered, 11401746 free
*** Garbage collection starting
*** GC 97: 30-Jun-96 02:23:23 (~ 39766162 ms cpu time, gc : 1 %)
*** time 5389 ms, 4603904 occupied, 11396064 recovered, 11396096 free
*** Garbage collection starting
*** GC 98: 30-Jun-96 02:39:11 (~ 40241108 ms cpu time, gc : 1 %)
*** time 5440 ms, 4613900 occupied, 11386068 recovered, 11386100 free
*** Garbage collection starting
*** GC 99: 30-Jun-96 02:55:50 (~ 40752570 ms cpu time, gc : 1 %)
*** time 5423 ms, 4608716 occupied, 11391252 recovered, 11391284 free
*** Garbage collection starting
*** GC 100: 30-Jun-96 03:12:26 (~ 41234112 ms cpu time, gc : 1 %)
*** time 5389 ms, 4614542 occupied, 11385426 recovered, 11385458 free
*** Garbage collection starting
*** GC 101: 30-Jun-96 03:29:58 (~ 41739182 ms cpu time, gc : 1 %)
*** time 5389 ms, 4588378 occupied, 11411590 recovered, 11411622 free
*** Garbage collection starting
*** GC 102: 30-Jun-96 03:45:23 (~ 42182882 ms cpu time, gc : 1 %)
*** time 5389 ms, 4592260 occupied, 11407708 recovered, 11407740 free
*** Garbage collection starting
*** GC 103: 30-Jun-96 03:59:45 (~ 42597971 ms cpu time, gc : 1 %)
*** time 5355 ms, 4605586 occupied, 11394382 recovered, 11394414 free
*** Garbage collection starting
*** GC 104: 30-Jun-96 04:16:10 (~ 43083644 ms cpu time, gc : 1 %)
*** time 5457 ms, 4614252 occupied, 11385716 recovered, 11385748 free
*** Garbage collection starting
*** GC 105: 30-Jun-96 04:30:54 (~ 43515767 ms cpu time, gc : 1 %)
*** time 5423 ms, 4613004 occupied, 11386964 recovered, 11386996 free
*** Garbage collection starting
*** GC 106: 30-Jun-96 04:48:39 (~ 44033621 ms cpu time, gc : 1 %)
*** time 5474 ms, 4617158 occupied, 11382810 recovered, 11382842 free
*** Garbage collection starting
*** GC 107: 30-Jun-96 05:06:17 (~ 44552869 ms cpu time, gc : 1 %)
*** time 5491 ms, 4588234 occupied, 11411734 recovered, 11411766 free
*** Garbage collection starting
*** GC 108: 30-Jun-96 05:20:30 (~ 44966360 ms cpu time, gc : 1 %)
*** time 5372 ms, 4586302 occupied, 11413666 recovered, 11413698 free
*** Garbage collection starting
*** GC 109: 30-Jun-96 05:34:42 (~ 45378491 ms cpu time, gc : 1 %)
*** time 5457 ms, 4586596 occupied, 11413372 recovered, 11413404 free
*** Garbage collection starting
*** GC 110: 30-Jun-96 05:48:31 (~ 45791914 ms cpu time, gc : 1 %)
*** time 5474 ms, 4588136 occupied, 11411832 recovered, 11411864 free
*** Garbage collection starting
*** GC 111: 30-Jun-96 06:05:16 (~ 46267778 ms cpu time, gc : 1 %)
*** time 5372 ms, 4587450 occupied, 11412518 recovered, 11412550 free
*** Garbage collection starting
*** GC 112: 30-Jun-96 06:20:44 (~ 46714147 ms cpu time, gc : 1 %)
*** time 5355 ms, 4598952 occupied, 11401016 recovered, 11401048 free
*** Garbage collection starting
*** GC 113: 30-Jun-96 06:35:59 (~ 47164205 ms cpu time, gc : 1 %)
*** time 5372 ms, 4596602 occupied, 11403366 recovered, 11403398 free
*** Garbage collection starting
*** GC 114: 30-Jun-96 06:50:44 (~ 47595869 ms cpu time, gc : 1 %)
*** time 5406 ms, 4594396 occupied, 11405572 recovered, 11405604 free
*** Garbage collection starting
*** GC 115: 30-Jun-96 07:06:34 (~ 48058949 ms cpu time, gc : 1 %)
*** time 5440 ms, 4604144 occupied, 11395824 recovered, 11395856 free
*** Garbage collection starting
*** GC 116: 30-Jun-96 07:21:01 (~ 48470757 ms cpu time, gc : 1 %)
*** time 5474 ms, 4604656 occupied, 11395312 recovered, 11395344 free
*** Garbage collection starting
*** GC 117: 30-Jun-96 07:35:55 (~ 48895910 ms cpu time, gc : 1 %)
*** time 5491 ms, 4608874 occupied, 11391094 recovered, 11391126 free
*** Garbage collection starting
*** GC 118: 30-Jun-96 07:51:32 (~ 49353890 ms cpu time, gc : 1 %)
*** time 5593 ms, 4607386 occupied, 11392582 recovered, 11392614 free
*** Garbage collection starting
*** GC 119: 30-Jun-96 08:05:25 (~ 49760717 ms cpu time, gc : 1 %)
*** time 5542 ms, 4604904 occupied, 11395066 recovered, 11395096 free
*** Garbage collection starting
*** GC 120: 30-Jun-96 08:20:11 (~ 50193452 ms cpu time, gc : 1 %)
*** time 5423 ms, 4605760 occupied, 11394208 recovered, 11394240 free
*** Garbage collection starting
*** GC 121: 30-Jun-96 08:34:18 (~ 50603390 ms cpu time, gc : 1 %)
*** time 5389 ms, 4610086 occupied, 11389882 recovered, 11389914 free
*** Garbage collection starting
*** GC 122: 30-Jun-96 08:49:01 (~ 51033932 ms cpu time, gc : 1 %)
*** time 5372 ms, 4607422 occupied, 11392546 recovered, 11392578 free
*** Garbage collection starting
*** GC 123: 30-Jun-96 09:04:08 (~ 51474946 ms cpu time, gc : 1 %)
*** time 5406 ms, 4608352 occupied, 11391616 recovered, 11391648 free
*** Garbage collection starting
*** GC 124: 30-Jun-96 09:19:04 (~ 51914549 ms cpu time, gc : 1 %)
*** time 5491 ms, 4610514 occupied, 11389454 recovered, 11389486 free
*** Garbage collection starting
*** GC 125: 30-Jun-96 09:34:38 (~ 52366001 ms cpu time, gc : 1 %)
*** time 5355 ms, 4614808 occupied, 11385160 recovered, 11385192 free
*** Garbage collection starting
*** GC 126: 30-Jun-96 09:49:44 (~ 52808698 ms cpu time, gc : 1 %)
*** time 5355 ms, 4613038 occupied, 11386930 recovered, 11386962 free
*** Garbage collection starting
*** GC 127: 30-Jun-96 10:04:52 (~ 53254727 ms cpu time, gc : 1 %)
*** time 5440 ms, 4607782 occupied, 11392186 recovered, 11392218 free
*** Garbage collection starting
*** GC 128: 30-Jun-96 10:20:22 (~ 53706944 ms cpu time, gc : 1 %)
*** time 5406 ms, 4618620 occupied, 11381348 recovered, 11381380 free
*** Garbage collection starting
*** GC 129: 30-Jun-96 10:36:38 (~ 54175736 ms cpu time, gc : 1 %)
*** time 5508 ms, 4612468 occupied, 11387500 recovered, 11387532 free
*** Garbage collection starting
*** GC 130: 30-Jun-96 10:57:07 (~ 54644392 ms cpu time, gc : 1 %)
*** time 5474 ms, 4614726 occupied, 11385242 recovered, 11385274 free
*** Garbage collection starting
*** GC 131: 30-Jun-96 11:32:48 (~ 55102882 ms cpu time, gc : 1 %)
*** time 5423 ms, 4614150 occupied, 11385818 recovered, 11385850 free
*** Garbage collection starting
*** GC 132: 30-Jun-96 12:04:14 (~ 55598993 ms cpu time, gc : 1 %)
*** time 5406 ms, 4588226 occupied, 11411742 recovered, 11411774 free
*** Garbage collection starting
*** GC 133: 30-Jun-96 13:15:47 (~ 56071304 ms cpu time, gc : 1 %)
*** time 5389 ms, 4614600 occupied, 11385368 recovered, 11385400 free
*** Garbage collection starting
*** GC 134: 30-Jun-96 14:00:38 (~ 56607620 ms cpu time, gc : 1 %)
*** time 5491 ms, 4624180 occupied, 11375788 recovered, 11375820 free
*** Garbage collection starting
*** GC 135: 30-Jun-96 14:41:56 (~ 57175828 ms cpu time, gc : 1 %)
*** time 5508 ms, 4621750 occupied, 11378218 recovered, 11378250 free

  Finished degree 5
 Number of new Groebner basis elements: 120
*** Garbage collection starting
*** GC 136: 30-Jun-96 14:57:02 (~ 57378094 ms cpu time, gc : 1 %)
*** time 4743 ms, 4960970 occupied, 3758684 recovered, 11039030 free
 Time: 57378842
 Denominator degree: 8
 Numerator: ((8 . 2) (7 . -24) (6 . 124) (5 . -120) (4 . -36) (3 . 24) (2 . 24)
(1 . 8) (0 . 1))
 Current Hilbert function value: 6768
 Next Hilbert function value: 16720
 Next Hilbert function limitation: 16508
(For reference, GETHSERIESMINIMA yields:)
((0 . 1) (1 . 16) (2 . 124) (3 . 624) (4 . 2310) (5 . 6768) (6 . 16508) (7 . 
34832) (8 . 65537) (9 . 112640) (10 . 180224) (11 . 272384) (12 . 393216) (13 . 
546816) (14 . 737280) (15 . 968704) (16 . 1245184) (17 . 1570816) (18 . 1949696)
(19 . 2385920) (20 . 2883584) (21 . 3446784) (22 . 4079616) (23 . 4786176) (24
 . 5570560) (25 . 6436864) (26 . 7389184) (27 . 8431616) (28 . 9568256) (29 . 
10803200) (30 . 12140544) (default))
 Lengths of SPairs member lists:
  (1307 1836 2144 1559)
Number of S-polynomial reductions at this degree: 421
*** Garbage collection starting
*** GC 137: 30-Jun-96 15:32:08 (~ 57917266 ms cpu time, gc : 1 %)
*** time 6103 ms, 6200140 occupied, 9799828 recovered, 9799860 free
*** Garbage collection starting
*** GC 138: 30-Jun-96 16:05:18 (~ 58379632 ms cpu time, gc : 1 %)
*** time 7293 ms, 6427750 occupied, 9572218 recovered, 9572250 free
*** Garbage collection starting
*** GC 139: 30-Jun-96 16:34:26 (~ 58764053 ms cpu time, gc : 1 %)
*** time 7344 ms, 6492070 occupied, 9507898 recovered, 9507930 free
*** Garbage collection starting
*** GC 140: 30-Jun-96 17:04:34 (~ 59151772 ms cpu time, gc : 1 %)
*** time 7565 ms, 6555076 occupied, 9444892 recovered, 9444924 free
*** Garbage collection starting
*** GC 141: 30-Jun-96 17:33:20 (~ 59529869 ms cpu time, gc : 1 %)
*** time 7480 ms, 6618034 occupied, 9381934 recovered, 9381966 free
*** Garbage collection starting
*** GC 142: 30-Jun-96 17:58:41 (~ 59906470 ms cpu time, gc : 1 %)
*** time 7565 ms, 6680442 occupied, 9319526 recovered, 9319558 free
*** Garbage collection starting
*** GC 143: 30-Jun-96 18:19:07 (~ 60279841 ms cpu time, gc : 1 %)
*** time 7769 ms, 6742874 occupied, 9257094 recovered, 9257126 free
