
4: Entering LISP ... 
Bergman 0.9, 14-May-96
1 lisp> 16000000
2 lisp> nil
3 lisp> nil
nil
nil
4 lisp> nil
nil
nil
nil
nil
9 lisp> nil
10 lisp> 7
11 lisp> 0
0
0
14 lisp> *** (g!e!tp!r!e!d!cm!o!d): base 6320220, length 16 bytes
t
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> (lambda (cdg) (quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
19 lisp> ((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
20 lisp> 96
21 lisp> 0
22 lisp> 22 lisp> ((3 3))
23 lisp> 
  Finished degree 3
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 3: 17-Jun-96 16:28:01 (~ 2329 ms cpu time, gc : 11 %)
*** time 102 ms, 91292 occupied, 323007 recovered, 15908708 free
 Time: 2346
 Denominator degree: 4
 Numerator: ((3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 33
 Next Hilbert function value: 61
 Next Hilbert function limitation: 60
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 4
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 4: 17-Jun-96 16:28:01 (~ 2465 ms cpu time, gc : 15 %)
*** time 102 ms, 93034 occupied, 1218 recovered, 15906966 free
 Time: 2465
 Denominator degree: 4
 Numerator: ((5 . 1) (4 . -1) (3 . -1) (2 . 1) (1 . 1) (0 . 1))
 Current Hilbert function value: 60
 Next Hilbert function value: 98
 Next Hilbert function limitation: 96
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (3)
Number of S-polynomial reductions at this degree: 1

  Finished degree 5
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 5: 17-Jun-96 16:28:02 (~ 2618 ms cpu time, gc : 18 %)
*** time 102 ms, 96352 occupied, 3644 recovered, 15903648 free
 Time: 2618
 Denominator degree: 4
 Numerator: ((7 . -1) (6 . 2) (5 . -1) (4 . -1) (3 . -1) (2 . 1) (1 . 1) (0 . 1)
)
 Current Hilbert function value: 96
 Next Hilbert function value: 143
 Next Hilbert function limitation: 141
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (5 2 2 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 6
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 6: 17-Jun-96 16:28:02 (~ 2788 ms cpu time, gc : 20 %)
*** time 102 ms, 100808 occupied, 5412 recovered, 15899192 free
 Time: 2788
 Denominator degree: 4
 Numerator: ((9 . 1) (8 . -3) (7 . 3) (5 . -1) (4 . -1) (3 . -1) (2 . 1) (1 . 1)
(0 . 1))
 Current Hilbert function value: 141
 Next Hilbert function value: 198
 Next Hilbert function limitation: 195
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (8 3 3 3)
Number of S-polynomial reductions at this degree: 2

  Finished degree 7
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 7: 17-Jun-96 16:28:02 (~ 3009 ms cpu time, gc : 23 %)
*** time 119 ms, 107734 occupied, 10082 recovered, 15892266 free
 Time: 3026
 Denominator degree: 4
 Numerator: ((10 . 2) (9 . -6) (8 . 5) (5 . -1) (4 . -1) (3 . -1) (2 . 1) (1 . 1
) (0 . 1))
 Current Hilbert function value: 195
 Next Hilbert function value: 263
 Next Hilbert function limitation: 258
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (14 9 4 4 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 8
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 8: 17-Jun-96 16:28:03 (~ 3502 ms cpu time, gc : 22 %)
*** time 102 ms, 119474 occupied, 35652 recovered, 15880526 free
 Time: 3519
 Denominator degree: 4
 Numerator: ((11 . 3) (10 . -9) (9 . 7) (5 . -1) (4 . -1) (3 . -1) (2 . 1) (1 . 
1) (0 . 1))
 Current Hilbert function value: 258
 Next Hilbert function value: 337
 Next Hilbert function limitation: 330
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (27 20 12 7 6 2 2)
Number of S-polynomial reductions at this degree: 6

  Finished degree 9
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 9: 17-Jun-96 16:28:03 (~ 4352 ms cpu time, gc : 21 %)
*** time 136 ms, 137486 occupied, 75878 recovered, 15862514 free
 Time: 4403
 Denominator degree: 3
 Numerator: ((11 . -3) (10 . 5) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 330
 Next Hilbert function value: 416
 Next Hilbert function limitation: 411
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (41 36 25 18 17 10 8)
Number of S-polynomial reductions at this degree: 8

  Finished degree 10
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 10: 17-Jun-96 16:28:04 (~ 4964 ms cpu time, gc : 21 %)
*** time 153 ms, 155436 occupied, 71300 recovered, 15844564 free
 Time: 4998
 Denominator degree: 3
 Numerator: ((12 . -4) (11 . 6) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 411
 Next Hilbert function value: 507
 Next Hilbert function limitation: 501
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (54 51 35 26 15 10 7)
Number of S-polynomial reductions at this degree: 5

  Finished degree 11
 Number of new Groebner basis elements: 6
*** Garbage collection starting
*** GC 11: 17-Jun-96 16:28:05 (~ 5899 ms cpu time, gc : 21 %)
*** time 170 ms, 179414 occupied, 95656 recovered, 15820586 free
 Time: 5950
 Denominator degree: 3
 Numerator: ((13 . -5) (12 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 501
 Next Hilbert function value: 607
 Next Hilbert function limitation: 600
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (73 69 46 29 16 10 8)
Number of S-polynomial reductions at this degree: 6

  Finished degree 12
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 12: 17-Jun-96 16:28:06 (~ 7293 ms cpu time, gc : 20 %)
*** time 204 ms, 211058 occupied, 123556 recovered, 15788942 free
 Time: 7344
 Denominator degree: 3
 Numerator: ((14 . -6) (13 . 8) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 600
 Next Hilbert function value: 716
 Next Hilbert function limitation: 708
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (93 90 55 39 27 16 12 2)
Number of S-polynomial reductions at this degree: 7

  Finished degree 13
 Number of new Groebner basis elements: 8
*** Garbage collection starting
*** GC 13: 17-Jun-96 16:28:08 (~ 9248 ms cpu time, gc : 18 %)
*** time 238 ms, 252630 occupied, 196128 recovered, 15747370 free
 Time: 9350
 Denominator degree: 3
 Numerator: ((15 . -6) (14 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 708
 Next Hilbert function value: 832
 Next Hilbert function limitation: 825
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (116 104 73 61 48 35 27 11 8 7 3)
Number of S-polynomial reductions at this degree: 8

  Finished degree 14
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 14: 17-Jun-96 16:28:11 (~ 11288 ms cpu time, gc : 17 %)
*** time 289 ms, 294884 occupied, 213346 recovered, 15705116 free
 Time: 11373
 Denominator degree: 3
 Numerator: ((16 . -6) (15 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 825
 Next Hilbert function value: 958
 Next Hilbert function limitation: 951
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (127 105 84 63 53 39 23 15 11 10 6)
Number of S-polynomial reductions at this degree: 7

  Finished degree 15
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 15: 17-Jun-96 16:28:13 (~ 13328 ms cpu time, gc : 17 %)
*** time 323 ms, 344588 occupied, 209666 recovered, 15655412 free
 Time: 13430
 Denominator degree: 3
 Numerator: ((17 . -6) (16 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 951
 Next Hilbert function value: 1093
 Next Hilbert function limitation: 1086
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (131 125 100 79 68 43 34 28 15 13 8 2)
Number of S-polynomial reductions at this degree: 7

  Finished degree 16
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 16: 17-Jun-96 16:28:16 (~ 16609 ms cpu time, gc : 16 %)
*** time 357 ms, 400770 occupied, 291092 recovered, 15599230 free
 Time: 16728
 Denominator degree: 3
 Numerator: ((18 . -6) (17 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1086
 Next Hilbert function value: 1237
 Next Hilbert function limitation: 1230
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (151 143 120 92 68 56 42 32 22 16 9 5 3 2)
Number of S-polynomial reductions at this degree: 8

  Finished degree 17
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 17: 17-Jun-96 16:28:19 (~ 19975 ms cpu time, gc : 15 %)
*** time 425 ms, 463182 occupied, 296898 recovered, 15536818 free
 Time: 20077
 Denominator degree: 3
 Numerator: ((19 . -6) (18 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1230
 Next Hilbert function value: 1390
 Next Hilbert function limitation: 1383
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (167 159 135 96 76 60 45 38 24 14 9 5 3 2)
Number of S-polynomial reductions at this degree: 7

  Finished degree 18
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 18: 17-Jun-96 16:28:23 (~ 23528 ms cpu time, gc : 15 %)
*** time 459 ms, 532890 occupied, 332996 recovered, 15467110 free
 Time: 23647
 Denominator degree: 3
 Numerator: ((20 . -6) (19 . 7) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1383
 Next Hilbert function value: 1552
 Next Hilbert function limitation: 1545
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (181 171 136 112 87 66 56 42 22 14 8 4 3 2)
Number of S-polynomial reductions at this degree: 7

  Finished degree 19
 Number of new Groebner basis elements: 7
*** Garbage collection starting
*** GC 19: 17-Jun-96 16:28:27 (~ 27625 ms cpu time, gc : 14 %)
*** time 544 ms, 608906 occupied, 347528 recovered, 15391094 free
 Time: 27761
 Denominator degree: 3
 Numerator: ((21 . -6) (20 . 6) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1545
 Next Hilbert function value: 1722
 Next Hilbert function limitation: 1716
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (187 166 141 108 88 69 57 40 23 18 12 11 7 4 2)
Number of S-polynomial reductions at this degree: 7

  Finished degree 20
 Number of new Groebner basis elements: 6
*** Garbage collection starting
*** GC 20: 17-Jun-96 16:28:31 (~ 31042 ms cpu time, gc : 15 %)
*** time 612 ms, 686658 occupied, 325384 recovered, 15313342 free
 Time: 31212
 Denominator degree: 3
 Numerator: ((22 . -5) (21 . 5) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1716
 Next Hilbert function value: 1901
 Next Hilbert function limitation: 1896
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (187 179 148 126 109 91 66 50 33 22 18 14 9 3)
Number of S-polynomial reductions at this degree: 6

  Finished degree 21
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 21: 17-Jun-96 16:28:34 (~ 34306 ms cpu time, gc : 15 %)
*** time 663 ms, 759092 occupied, 268740 recovered, 15240908 free
 Time: 34459
 Denominator degree: 3
 Numerator: ((23 . -5) (22 . 5) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 1896
 Next Hilbert function value: 2090
 Next Hilbert function limitation: 2085
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (194 169 143 121 103 77 54 40 23 19 14 9 8)
Number of S-polynomial reductions at this degree: 5

  Finished degree 22
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 22: 17-Jun-96 16:28:37 (~ 37927 ms cpu time, gc : 16 %)
*** time 731 ms, 838604 occupied, 301140 recovered, 15161396 free
 Time: 38114
 Denominator degree: 3
 Numerator: ((24 . -5) (23 . 5) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 2085
 Next Hilbert function value: 2288
 Next Hilbert function limitation: 2283
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (186 169 144 123 99 76 54 40 27 19 11 9 6)
Number of S-polynomial reductions at this degree: 5

  Finished degree 23
 Number of new Groebner basis elements: 5
*** Garbage collection starting
*** GC 23: 17-Jun-96 16:28:42 (~ 41888 ms cpu time, gc : 16 %)
*** time 816 ms, 927658 occupied, 328586 recovered, 15072342 free
 Time: 42092
 Denominator degree: 3
 Numerator: ((25 . -4) (24 . 4) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 2283
 Next Hilbert function value: 2494
 Next Hilbert function limitation: 2490
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (188 179 161 128 110 90 75 58 44 30 25 17 9 10 3 2 2)
Number of S-polynomial reductions at this degree: 5

  Finished degree 24
 Number of new Groebner basis elements: 4
*** Garbage collection starting
*** GC 24: 17-Jun-96 16:28:45 (~ 45526 ms cpu time, gc : 17 %)
*** time 901 ms, 1007830 occupied, 308472 recovered, 14992170 free
 Time: 45713
 Denominator degree: 3
 Numerator: ((26 . -4) (25 . 4) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 2490
 Next Hilbert function value: 2710
 Next Hilbert function limitation: 2706
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (191 177 143 119 99 84 65 49 31 25 17 9 10 7 2 2)
Number of S-polynomial reductions at this degree: 4

  Finished degree 25
 Number of new Groebner basis elements: 4
*** Garbage collection starting
*** GC 25: 17-Jun-96 16:28:49 (~ 49487 ms cpu time, gc : 17 %)
*** time 969 ms, 1093132 occupied, 306850 recovered, 14906868 free
 Time: 49657
 Denominator degree: 3
 Numerator: ((27 . -4) (26 . 4) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 2706
 Next Hilbert function value: 2935
 Next Hilbert function limitation: 2931
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (189 158 130 108 92 73 57 39 28 19 10 10 7 6 2)
Number of S-polynomial reductions at this degree: 4

  Finished degree 26
 Number of new Groebner basis elements: 4
*** Garbage collection starting
*** GC 26: 17-Jun-96 16:28:54 (~ 53720 ms cpu time, gc : 18 %)
*** time 1054 ms, 1186172 occupied, 298102 recovered, 14813828 free
 Time: 53941
 Denominator degree: 3
 Numerator: ((28 . -4) (27 . 4) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 2931
 Next Hilbert function value: 3169
 Next Hilbert function limitation: 3165
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (173 156 136 114 97 82 61 46 30 17 16 12 9 8 2)
Number of S-polynomial reductions at this degree: 4

  Finished degree 27
 Number of new Groebner basis elements: 4
*** Garbage collection starting
*** GC 27: 17-Jun-96 16:28:58 (~ 58276 ms cpu time, gc : 18 %)
*** time 1122 ms, 1287878 occupied, 324396 recovered, 14712122 free
 Time: 58531
 Denominator degree: 3
 Numerator: ((29 . -3) (28 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 3165
 Next Hilbert function value: 3411
 Next Hilbert function limitation: 3408
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (171 165 148 126 111 95 81 63 42 40 31 23 20 13 9 6 5 4 2 2 3 2)
Number of S-polynomial reductions at this degree: 4

  Finished degree 28
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 28: 17-Jun-96 16:29:02 (~ 62407 ms cpu time, gc : 19 %)
*** time 1190 ms, 1379810 occupied, 296850 recovered, 14620190 free
 Time: 62662
 Denominator degree: 3
 Numerator: ((30 . -3) (29 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 3408
 Next Hilbert function value: 3663
 Next Hilbert function limitation: 3660
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (177 169 148 131 111 99 83 63 53 41 31 25 18 13 12 7 6 4 3 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 29
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 29: 17-Jun-96 16:29:07 (~ 66827 ms cpu time, gc : 20 %)
*** time 1275 ms, 1473502 occupied, 323146 recovered, 14526498 free
 Time: 67082
 Denominator degree: 3
 Numerator: ((31 . -3) (30 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 3660
 Next Hilbert function value: 3924
 Next Hilbert function limitation: 3921
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (179 162 145 119 106 89 68 59 41 31 25 18 13 12 10 6 4 3 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 30
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 30: 17-Jun-96 16:29:12 (~ 71434 ms cpu time, gc : 20 %)
*** time 1377 ms, 1571648 occupied, 329050 recovered, 14428352 free
 Time: 71689
 Denominator degree: 3
 Numerator: ((32 . -3) (31 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 3921
 Next Hilbert function value: 4194
 Next Hilbert function limitation: 4191
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (171 156 129 115 95 74 65 50 33 26 18 13 12 10 9 4 3 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 31
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 31: 17-Jun-96 16:29:17 (~ 76364 ms cpu time, gc : 21 %)
*** time 1462 ms, 1674572 occupied, 347976 recovered, 14325428 free
 Time: 76619
 Denominator degree: 3
 Numerator: ((33 . -3) (32 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 4191
 Next Hilbert function value: 4473
 Next Hilbert function limitation: 4470
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (165 140 124 104 80 71 56 42 29 21 16 14 11 9 7 3 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 32
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 32: 17-Jun-96 16:29:22 (~ 81617 ms cpu time, gc : 21 %)
*** time 1564 ms, 1782770 occupied, 346472 recovered, 14217230 free
 Time: 81889
 Denominator degree: 3
 Numerator: ((34 . -3) (33 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 4470
 Next Hilbert function value: 4761
 Next Hilbert function limitation: 4758
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (150 139 119 92 80 64 50 39 25 20 17 14 12 10 8 4 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 33
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 33: 17-Jun-96 16:29:28 (~ 87142 ms cpu time, gc : 22 %)
*** time 1632 ms, 1897996 occupied, 364642 recovered, 14102004 free
 Time: 87431
 Denominator degree: 3
 Numerator: ((35 . -3) (34 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 4758
 Next Hilbert function value: 5058
 Next Hilbert function limitation: 5055
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (151 141 115 102 85 74 62 47 32 27 22 19 16 13 11 5 4 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 34
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 34: 17-Jun-96 16:29:34 (~ 93092 ms cpu time, gc : 22 %)
*** time 1768 ms, 2019722 occupied, 360862 recovered, 13980278 free
 Time: 93364
 Denominator degree: 3
 Numerator: ((36 . -3) (35 . 3) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 5055
 Next Hilbert function value: 5364
 Next Hilbert function limitation: 5361
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (153 138 129 111 98 88 75 64 51 42 35 28 23 19 15 10 8 6 4 4 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 35
 Number of new Groebner basis elements: 3
*** Garbage collection starting
*** GC 35: 17-Jun-96 16:29:39 (~ 98770 ms cpu time, gc : 23 %)
*** time 1836 ms, 2147166 occupied, 357812 recovered, 13852834 free
 Time: 99127
 Denominator degree: 3
 Numerator: ((37 . -2) (36 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 5361
 Next Hilbert function value: 5678
 Next Hilbert function limitation: 5676
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (149 148 135 122 114 97 88 78 66 55 47 41 33 27 19 19 13 10 9 8 6 5 4 4 3 3 3
4 3 2)
Number of S-polynomial reductions at this degree: 3

  Finished degree 36
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 36: 17-Jun-96 16:29:44 (~ 103904 ms cpu time, gc : 24 %)
*** time 1955 ms, 2258602 occupied, 322198 recovered, 13741398 free
 Time: 104227
 Denominator degree: 3
 Numerator: ((38 . -2) (37 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 5676
 Next Hilbert function value: 6002
 Next Hilbert function limitation: 6000
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (156 148 137 127 111 100 91 82 68 56 47 39 32 23 23 18 13 12 10 8 7 5 5 5 5 4
4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 37
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 37: 17-Jun-96 16:29:50 (~ 109650 ms cpu time, gc : 24 %)
*** time 2040 ms, 2373246 occupied, 362338 recovered, 13626754 free
 Time: 110007
 Denominator degree: 3
 Numerator: ((39 . -2) (38 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 6000
 Next Hilbert function value: 6335
 Next Hilbert function limitation: 6333
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (156 151 139 122 113 104 93 78 64 52 43 36 26 26 21 17 14 12 9 8 7 7 6 5 4 4 3
2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 38
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 38: 17-Jun-96 16:29:56 (~ 115549 ms cpu time, gc : 25 %)
*** time 2159 ms, 2491428 occupied, 364872 recovered, 13508572 free
 Time: 115889
 Denominator degree: 3
 Numerator: ((40 . -2) (39 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 6333
 Next Hilbert function value: 6677
 Next Hilbert function limitation: 6675
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (159 152 135 125 116 103 87 73 58 46 39 29 28 23 19 17 13 11 10 8 7 6 5 4 4 3
2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 39
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 39: 17-Jun-96 16:30:02 (~ 121720 ms cpu time, gc : 25 %)
*** time 2261 ms, 2612210 occupied, 372740 recovered, 13387790 free
 Time: 122043
 Denominator degree: 3
 Numerator: ((41 . -2) (40 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 6675
 Next Hilbert function value: 7028
 Next Hilbert function limitation: 7026
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (159 144 131 122 109 91 77 64 50 40 29 28 23 19 17 15 11 10 8 7 6 5 4 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 40
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 40: 17-Jun-96 16:30:10 (~ 128758 ms cpu time, gc : 26 %)
*** time 2363 ms, 2737018 occupied, 331030 recovered, 13262982 free
 Time: 129098
 Denominator degree: 3
 Numerator: ((42 . -2) (41 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 7026
 Next Hilbert function value: 7388
 Next Hilbert function limitation: 7386
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (150 139 129 115 97 81 68 56 44 31 30 24 19 17 15 13 10 8 7 6 5 4 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 41
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 41: 17-Jun-96 16:30:16 (~ 135439 ms cpu time, gc : 26 %)
*** time 2465 ms, 2865930 occupied, 371430 recovered, 13134070 free
 Time: 135779
 Denominator degree: 3
 Numerator: ((43 . -2) (42 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 7386
 Next Hilbert function value: 7757
 Next Hilbert function limitation: 7755
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (145 138 123 103 87 72 60 50 35 32 26 21 19 16 13 12 8 7 6 5 4 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 42
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 42: 17-Jun-96 16:30:23 (~ 142375 ms cpu time, gc : 27 %)
*** time 2601 ms, 2999002 occupied, 380800 recovered, 13000998 free
 Time: 142715
 Denominator degree: 3
 Numerator: ((44 . -2) (43 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 7755
 Next Hilbert function value: 8135
 Next Hilbert function limitation: 8133
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (145 133 113 94 79 65 55 41 36 28 23 21 18 15 14 11 7 6 5 4 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 43
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 43: 17-Jun-96 16:30:31 (~ 149566 ms cpu time, gc : 27 %)
*** time 2703 ms, 3136164 occupied, 384482 recovered, 12863836 free
 Time: 149906
 Denominator degree: 3
 Numerator: ((45 . -2) (44 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 8133
 Next Hilbert function value: 8522
 Next Hilbert function limitation: 8520
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (140 123 104 87 73 61 46 43 33 26 23 20 17 16 13 11 8 6 4 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 44
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 44: 17-Jun-96 16:30:38 (~ 157063 ms cpu time, gc : 28 %)
*** time 2805 ms, 3277090 occupied, 393592 recovered, 12722910 free
 Time: 157420
 Denominator degree: 3
 Numerator: ((46 . -2) (45 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 8520
 Next Hilbert function value: 8918
 Next Hilbert function limitation: 8916
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (129 112 93 79 67 50 47 39 30 25 22 19 18 15 13 12 8 6 6 4 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 45
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 45: 17-Jun-96 16:30:46 (~ 164832 ms cpu time, gc : 28 %)
*** time 2941 ms, 3423260 occupied, 396656 recovered, 12576740 free
 Time: 165223
 Denominator degree: 3
 Numerator: ((47 . -2) (46 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 8916
 Next Hilbert function value: 9323
 Next Hilbert function limitation: 9321
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (120 106 91 79 63 57 48 40 33 27 23 22 19 16 14 12 8 8 6 4 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 46
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 46: 17-Jun-96 16:30:54 (~ 173009 ms cpu time, gc : 29 %)
*** time 3077 ms, 3574010 occupied, 402506 recovered, 12425990 free
 Time: 173400
 Denominator degree: 3
 Numerator: ((48 . -2) (47 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 9321
 Next Hilbert function value: 9737
 Next Hilbert function limitation: 9735
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (114 105 93 76 71 61 51 45 36 29 28 24 20 18 16 13 10 8 6 5 4 3 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 47
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 47: 17-Jun-96 16:31:03 (~ 181509 ms cpu time, gc : 29 %)
*** time 3213 ms, 3729442 occupied, 436530 recovered, 12270558 free
 Time: 181917
 Denominator degree: 3
 Numerator: ((49 . -2) (48 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 9735
 Next Hilbert function value: 10160
 Next Hilbert function limitation: 10158
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (113 108 90 85 77 66 60 51 40 36 31 26 24 21 17 16 12 9 7 6 5 5 4 3 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 48
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 48: 17-Jun-96 16:31:12 (~ 190196 ms cpu time, gc : 29 %)
*** time 3366 ms, 3889690 occupied, 395834 recovered, 12110310 free
 Time: 190587
 Denominator degree: 3
 Numerator: ((50 . -2) (49 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 10158
 Next Hilbert function value: 10592
 Next Hilbert function limitation: 10590
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (116 104 102 92 82 76 69 60 51 42 35 32 28 23 22 19 13 11 10 8 7 6 5 5 4 3 3 2
)
Number of S-polynomial reductions at this degree: 2

  Finished degree 49
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 49: 17-Jun-96 16:31:21 (~ 199342 ms cpu time, gc : 30 %)
*** time 3485 ms, 4054966 occupied, 465622 recovered, 11945034 free
 Time: 199784
 Denominator degree: 3
 Numerator: ((51 . -2) (50 . 2) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 10590
 Next Hilbert function value: 11033
 Next Hilbert function limitation: 11031
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (112 117 110 101 95 86 78 73 63 51 45 39 32 30 26 21 17 15 12 11 10 8 7 6 5 5
4 3 3 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 50
 Number of new Groebner basis elements: 2
*** Garbage collection starting
*** GC 50: 17-Jun-96 16:31:31 (~ 208862 ms cpu time, gc : 30 %)
*** time 3655 ms, 4225624 occupied, 467802 recovered, 11774376 free
 Time: 209338
 Denominator degree: 3
 Numerator: ((52 . -1) (51 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 11031
 Next Hilbert function value: 11482
 Next Hilbert function limitation: 11481
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (124 125 121 112 109 99 91 85 73 64 55 47 42 38 31 25 23 19 16 15 13 10 11 8 7
7 6 4 5 4 3 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 2

  Finished degree 51
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 51: 17-Jun-96 16:31:39 (~ 217277 ms cpu time, gc : 31 %)
*** time 3774 ms, 4370236 occupied, 434078 recovered, 11629764 free
 Time: 217753
 Denominator degree: 3
 Numerator: ((53 . -1) (52 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 11481
 Next Hilbert function value: 11941
 Next Hilbert function limitation: 11940
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (129 127 122 116 107 100 94 81 72 64 53 49 44 34 29 27 22 19 18 14 13 13 9 9 9
6 6 7 5 4 3 2 2 3 2 2 3 2 2 3 2 2 3 2 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 52
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 52: 17-Jun-96 16:31:47 (~ 225573 ms cpu time, gc : 31 %)
*** time 3927 ms, 4517882 occupied, 432750 recovered, 11482118 free
 Time: 226049
 Denominator degree: 3
 Numerator: ((54 . -1) (53 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 11940
 Next Hilbert function value: 12409
 Next Hilbert function limitation: 12408
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (131 130 124 114 108 101 89 80 71 61 55 47 38 33 29 25 23 19 17 15 14 11 11 9
8 8 8 6 5 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 53
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 53: 17-Jun-96 16:31:56 (~ 234107 ms cpu time, gc : 32 %)
*** time 3995 ms, 4668562 occupied, 434814 recovered, 11331438 free
 Time: 234583
 Denominator degree: 3
 Numerator: ((55 . -1) (54 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 12408
 Next Hilbert function value: 12886
 Next Hilbert function limitation: 12885
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (134 132 123 113 108 95 85 80 68 59 51 42 35 32 28 24 23 19 16 16 13 11 11 10
9 9 7 5 4 4 3 4 4 3 4 4 3 4 4 3 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 54
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 54: 17-Jun-96 16:32:05 (~ 242896 ms cpu time, gc : 32 %)
*** time 4131 ms, 4822286 occupied, 429422 recovered, 11177714 free
 Time: 243355
 Denominator degree: 3
 Numerator: ((56 . -1) (55 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 12885
 Next Hilbert function value: 13372
 Next Hilbert function limitation: 13371
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (136 130 121 113 99 92 87 73 64 56 44 38 35 29 27 25 21 18 18 13 13 13 11 10 
10 7 6 5 4 4 5 4 4 5 4 4 5 4 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 55
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 55: 17-Jun-96 16:32:14 (~ 251855 ms cpu time, gc : 33 %)
*** time 4284 ms, 4979224 occupied, 433600 recovered, 11020776 free
 Time: 252331
 Denominator degree: 3
 Numerator: ((57 . -1) (56 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 13371
 Next Hilbert function value: 13867
 Next Hilbert function limitation: 13866
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (134 129 119 106 99 92 78 70 59 48 41 36 32 29 26 23 21 18 15 15 14 12 11 10 8
7 5 5 5 5 5 5 5 5 5 5 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 56
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 56: 17-Jun-96 16:32:23 (~ 261137 ms cpu time, gc : 33 %)
*** time 4454 ms, 5139344 occupied, 433648 recovered, 10860656 free
 Time: 261596
 Denominator degree: 3
 Numerator: ((58 . -1) (57 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 13866
 Next Hilbert function value: 14371
 Next Hilbert function limitation: 14370
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (133 127 113 103 98 85 73 64 52 43 39 34 30 28 25 21 21 17 16 15 13 11 11 9 7
6 6 5 6 6 5 6 6 5 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 57
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 57: 17-Jun-96 16:32:33 (~ 270657 ms cpu time, gc : 34 %)
*** time 4556 ms, 5302708 occupied, 402726 recovered, 10697292 free
 Time: 271133
 Denominator degree: 3
 Numerator: ((59 . -1) (58 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 14370
 Next Hilbert function value: 14884
 Next Hilbert function limitation: 14883
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (131 119 110 104 90 79 69 55 47 42 35 32 30 25 23 23 19 17 16 13 12 12 9 8 7 6
6 7 6 6 7 6 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 58
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 58: 17-Jun-96 16:32:43 (~ 280449 ms cpu time, gc : 34 %)
*** time 4675 ms, 5469326 occupied, 434180 recovered, 10530674 free
 Time: 280942
 Denominator degree: 3
 Numerator: ((60 . -1) (59 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 14883
 Next Hilbert function value: 15406
 Next Hilbert function limitation: 15405
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (123 117 110 95 85 73 60 52 44 38 34 30 27 25 24 20 19 16 14 13 12 10 9 7 7 7
7 7 7 7 7 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 59
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 59: 17-Jun-96 16:32:53 (~ 290411 ms cpu time, gc : 35 %)
*** time 4777 ms, 5639258 occupied, 438344 recovered, 10360742 free
 Time: 290887
 Denominator degree: 3
 Numerator: ((61 . -1) (60 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 15405
 Next Hilbert function value: 15937
 Next Hilbert function limitation: 15936
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (121 117 102 89 79 65 55 49 42 35 32 29 26 25 21 19 18 15 13 13 11 9 8 8 7 8 8
7 8 7 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 60
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 60: 17-Jun-96 16:33:04 (~ 300662 ms cpu time, gc : 35 %)
*** time 4947 ms, 5812444 occupied, 442654 recovered, 10187556 free
 Time: 301138
 Denominator degree: 3
 Numerator: ((62 . -1) (61 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 15936
 Next Hilbert function value: 16477
 Next Hilbert function limitation: 16476
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (121 108 96 84 69 60 53 45 39 36 30 27 26 21 20 19 16 14 14 11 10 9 8 8 9 8 8
8 7 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 61
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 61: 17-Jun-96 16:33:15 (~ 311678 ms cpu time, gc : 36 %)
*** time 5100 ms, 5988908 occupied, 417954 recovered, 10011092 free
 Time: 312137
 Denominator degree: 3
 Numerator: ((63 . -1) (62 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 16476
 Next Hilbert function value: 17026
 Next Hilbert function limitation: 17025
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (112 103 90 74 65 56 49 44 39 33 29 26 22 21 19 17 16 14 12 11 9 9 9 9 9 8 8 7
6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 62
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 62: 17-Jun-96 16:33:25 (~ 322354 ms cpu time, gc : 36 %)
*** time 5253 ms, 6168732 occupied, 441136 recovered, 9831268 free
 Time: 322813
 Denominator degree: 3
 Numerator: ((64 . -1) (63 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 17025
 Next Hilbert function value: 17584
 Next Hilbert function limitation: 17583
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (107 97 81 68 61 54 47 43 36 31 28 24 21 20 18 16 16 13 11 10 10 9 10 9 8 8 7
6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 63
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 63: 17-Jun-96 16:33:37 (~ 333353 ms cpu time, gc : 37 %)
*** time 5338 ms, 6351904 occupied, 432670 recovered, 9648096 free
 Time: 333863
 Denominator degree: 3
 Numerator: ((65 . -1) (64 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 17583
 Next Hilbert function value: 18151
 Next Hilbert function limitation: 18150
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (101 87 75 66 58 51 46 39 34 31 25 23 22 18 17 17 14 12 11 10 10 10 9 8 8 7 6
6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 64
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 64: 17-Jun-96 16:33:48 (~ 344573 ms cpu time, gc : 37 %)
*** time 5457 ms, 6538422 occupied, 418706 recovered, 9461578 free
 Time: 345049
 Denominator degree: 3
 Numerator: ((66 . -1) (65 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 18150
 Next Hilbert function value: 18727
 Next Hilbert function limitation: 18726
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (91 82 72 62 55 49 42 38 33 28 25 23 20 19 17 15 14 11 11 10 10 9 8 8 7 6 6 5
4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 65
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 65: 17-Jun-96 16:34:00 (~ 356116 ms cpu time, gc : 37 %)
*** time 5661 ms, 6728346 occupied, 437780 recovered, 9271654 free
 Time: 356626
 Denominator degree: 3
 Numerator: ((67 . -1) (66 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 18726
 Next Hilbert function value: 19312
 Next Hilbert function limitation: 19311
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (86 79 68 58 53 46 40 37 31 27 25 22 20 19 17 14 13 11 10 10 9 8 8 7 6 6 5 4 4
3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 66
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 66: 17-Jun-96 16:34:11 (~ 367829 ms cpu time, gc : 38 %)
*** time 5763 ms, 6921366 occupied, 453408 recovered, 9078634 free
 Time: 368322
 Denominator degree: 3
 Numerator: ((68 . -1) (67 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 19311
 Next Hilbert function value: 19906
 Next Hilbert function limitation: 19905
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (82 74 63 56 49 43 39 34 29 27 23 21 20 18 15 14 12 10 10 9 8 8 7 6 6 5 4 4 3
2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 67
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 67: 17-Jun-96 16:34:24 (~ 379865 ms cpu time, gc : 38 %)
*** time 5950 ms, 7117780 occupied, 450072 recovered, 8882220 free
 Time: 380341
 Denominator degree: 3
 Numerator: ((69 . -1) (68 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 19905
 Next Hilbert function value: 20509
 Next Hilbert function limitation: 20508
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (77 69 61 52 46 42 36 32 29 25 22 21 19 16 15 13 12 10 9 8 8 7 6 6 5 4 4 3 2 2
)
Number of S-polynomial reductions at this degree: 1

  Finished degree 68
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 68: 17-Jun-96 16:34:36 (~ 392309 ms cpu time, gc : 38 %)
*** time 6154 ms, 7317678 occupied, 431160 recovered, 8682322 free
 Time: 392785
 Denominator degree: 3
 Numerator: ((70 . -1) (69 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 20508
 Next Hilbert function value: 21121
 Next Hilbert function limitation: 21120
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (73 68 58 49 45 39 34 32 27 24 22 20 17 16 14 13 12 10 8 8 7 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 69
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 69: 17-Jun-96 16:34:49 (~ 404906 ms cpu time, gc : 39 %)
*** time 6205 ms, 7520922 occupied, 448662 recovered, 8479078 free
 Time: 405365
 Denominator degree: 3
 Numerator: ((71 . -1) (70 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 21120
 Next Hilbert function value: 21742
 Next Hilbert function limitation: 21741
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (71 64 54 48 42 37 34 30 26 24 21 18 17 15 14 13 12 9 9 7 6 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 70
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 70: 17-Jun-96 16:35:02 (~ 417826 ms cpu time, gc : 39 %)
*** time 6426 ms, 7727560 occupied, 462356 recovered, 8272440 free
 Time: 418319
 Denominator degree: 3
 Numerator: ((72 . -1) (71 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 21741
 Next Hilbert function value: 22372
 Next Hilbert function limitation: 22371
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (67 60 53 45 40 37 32 29 26 23 19 18 16 15 14 13 11 10 8 7 6 5 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 71
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 71: 17-Jun-96 16:35:15 (~ 431069 ms cpu time, gc : 39 %)
*** time 6613 ms, 7937728 occupied, 462094 recovered, 8062272 free
 Time: 431545
 Denominator degree: 3
 Numerator: ((73 . -1) (72 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 22371
 Next Hilbert function value: 23011
 Next Hilbert function limitation: 23010
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (64 60 51 44 41 36 31 29 25 21 19 17 16 15 14 12 12 9 8 7 6 4 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 72
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 72: 17-Jun-96 16:35:29 (~ 444584 ms cpu time, gc : 40 %)
*** time 6800 ms, 8151176 occupied, 455182 recovered, 7848824 free
 Time: 445111
 Denominator degree: 3
 Numerator: ((74 . -1) (73 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 23010
 Next Hilbert function value: 23659
 Next Hilbert function limitation: 23658
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (63 57 49 44 39 34 31 28 23 21 18 17 16 15 13 13 11 9 8 7 5 5 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 73
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 73: 17-Jun-96 16:35:43 (~ 458507 ms cpu time, gc : 40 %)
*** time 6953 ms, 8368016 occupied, 439038 recovered, 7631984 free
 Time: 459034
 Denominator degree: 3
 Numerator: ((75 . -1) (74 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 23658
 Next Hilbert function value: 24316
 Next Hilbert function limitation: 24315
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (60 55 49 42 37 34 30 26 23 20 18 17 16 14 14 12 11 9 8 6 6 4 3 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 74
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 74: 17-Jun-96 16:35:57 (~ 472685 ms cpu time, gc : 40 %)
*** time 7140 ms, 8588448 occupied, 472468 recovered, 7411552 free
 Time: 473229
 Denominator degree: 3
 Numerator: ((76 . -1) (75 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 24315
 Next Hilbert function value: 24982
 Next Hilbert function limitation: 24981
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (59 56 48 41 38 34 29 27 23 20 18 17 15 15 13 12 11 9 7 7 5 4 3 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 75
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 75: 17-Jun-96 16:36:12 (~ 487271 ms cpu time, gc : 41 %)
*** time 7293 ms, 8812300 occupied, 482184 recovered, 7187700 free
 Time: 487815
 Denominator degree: 3
 Numerator: ((77 . -1) (76 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 24981
 Next Hilbert function value: 25657
 Next Hilbert function limitation: 25656
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (60 55 47 42 38 33 30 27 23 21 18 16 16 14 13 12 11 8 8 6 5 4 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 76
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 76: 17-Jun-96 16:36:27 (~ 502180 ms cpu time, gc : 41 %)
*** time 7463 ms, 9039584 occupied, 487944 recovered, 6960416 free
 Time: 502690
 Denominator degree: 3
 Numerator: ((78 . -1) (77 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 25656
 Next Hilbert function value: 26341
 Next Hilbert function limitation: 26340
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (59 54 49 42 37 34 30 27 24 21 18 17 15 14 13 12 10 9 7 6 5 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 77
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 77: 17-Jun-96 16:36:43 (~ 517378 ms cpu time, gc : 41 %)
*** time 7718 ms, 9270316 occupied, 497102 recovered, 6729684 free
 Time: 517939
 Denominator degree: 3
 Numerator: ((79 . -1) (78 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 26340
 Next Hilbert function value: 27034
 Next Hilbert function limitation: 27033
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (58 56 49 42 38 34 30 28 24 21 19 17 15 14 13 11 11 8 7 6 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 78
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 78: 17-Jun-96 16:36:58 (~ 532967 ms cpu time, gc : 41 %)
*** time 7837 ms, 9504492 occupied, 502718 recovered, 6495508 free
 Time: 533494
 Denominator degree: 3
 Numerator: ((80 . -1) (79 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 27033
 Next Hilbert function value: 27736
 Next Hilbert function limitation: 27735
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (60 56 49 43 39 34 31 28 24 22 19 17 16 14 12 12 10 8 7 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 79
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 79: 17-Jun-96 16:37:15 (~ 548981 ms cpu time, gc : 42 %)
*** time 8143 ms, 9742098 occupied, 511074 recovered, 6257902 free
 Time: 549542
 Denominator degree: 3
 Numerator: ((81 . -1) (80 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 27735
 Next Hilbert function value: 28447
 Next Hilbert function limitation: 28446
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (60 56 50 44 39 36 31 28 25 22 19 18 16 14 13 11 10 8 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 80
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 80: 17-Jun-96 16:37:31 (~ 565658 ms cpu time, gc : 42 %)
*** time 8313 ms, 9983146 occupied, 511286 recovered, 6016854 free
 Time: 566219
 Denominator degree: 3
 Numerator: ((82 . -1) (81 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 28446
 Next Hilbert function value: 29167
 Next Hilbert function limitation: 29166
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (60 57 51 44 41 36 32 29 25 22 20 18 16 15 13 11 10 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 81
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 81: 17-Jun-96 16:37:48 (~ 582301 ms cpu time, gc : 42 %)
*** time 8432 ms, 10227656 occupied, 518544 recovered, 5772344 free
 Time: 582862
 Denominator degree: 3
 Numerator: ((83 . -1) (82 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 29166
 Next Hilbert function value: 29896
 Next Hilbert function limitation: 29895
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (61 58 51 47 41 37 33 30 25 23 20 18 17 15 13 12 10 8 8 7 7 6 6 5 5 4 4 3 3 2
2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 82
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 82: 17-Jun-96 16:38:05 (~ 599505 ms cpu time, gc : 42 %)
*** time 8687 ms, 10475626 occupied, 489622 recovered, 5524374 free
 Time: 600100
 Denominator degree: 3
 Numerator: ((84 . -1) (83 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 29895
 Next Hilbert function value: 30634
 Next Hilbert function limitation: 30633
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (62 58 54 47 43 38 34 30 27 23 20 19 17 15 14 12 11 9 8 8 7 7 6 6 5 5 4 4 3 3
2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 83
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 83: 17-Jun-96 16:38:23 (~ 616879 ms cpu time, gc : 43 %)
*** time 8925 ms, 10727048 occupied, 527080 recovered, 5272952 free
 Time: 617457
 Denominator degree: 3
 Numerator: ((85 . -1) (84 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 30633
 Next Hilbert function value: 31381
 Next Hilbert function limitation: 31380
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (62 61 54 49 44 40 34 32 27 24 21 19 17 16 14 13 12 10 9 8 8 7 7 6 6 5 5 4 4 3
3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 84
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 84: 17-Jun-96 16:38:41 (~ 634763 ms cpu time, gc : 43 %)
*** time 9180 ms, 10981932 occupied, 499786 recovered, 5018068 free
 Time: 635324
 Denominator degree: 3
 Numerator: ((86 . -1) (85 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 31380
 Next Hilbert function value: 32137
 Next Hilbert function limitation: 32136
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (65 61 56 50 46 40 37 32 28 25 22 19 18 16 15 14 13 11 10 9 8 8 7 7 6 6 5 5 4
4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 85
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 85: 17-Jun-96 16:38:59 (~ 652953 ms cpu time, gc : 43 %)
*** time 9299 ms, 11240280 occupied, 535400 recovered, 4759720 free
 Time: 653548
 Denominator degree: 3
 Numerator: ((87 . -1) (86 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 32136
 Next Hilbert function value: 32902
 Next Hilbert function limitation: 32901
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (65 63 57 52 47 43 37 34 29 26 22 21 18 17 16 15 14 12 11 10 9 8 8 7 7 6 6 5 5
4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 86
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 86: 17-Jun-96 16:39:18 (~ 671432 ms cpu time, gc : 43 %)
*** time 9452 ms, 11502106 occupied, 520810 recovered, 4497894 free
 Time: 672044
 Denominator degree: 3
 Numerator: ((88 . -1) (87 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 32901
 Next Hilbert function value: 33676
 Next Hilbert function limitation: 33675
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (67 64 59 53 50 44 39 35 31 26 24 21 20 18 17 16 15 13 12 11 10 9 8 8 7 7 6 6
5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 87
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 87: 17-Jun-96 16:39:37 (~ 690404 ms cpu time, gc : 43 %)
*** time 9724 ms, 11767398 occupied, 525868 recovered, 4232602 free
 Time: 691016
 Denominator degree: 3
 Numerator: ((89 . -1) (88 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 33675
 Next Hilbert function value: 34459
 Next Hilbert function limitation: 34458
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (68 66 60 56 51 46 41 37 31 29 24 23 21 20 18 17 16 14 13 12 11 10 9 8 8 7 7 6
6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 88
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 88: 17-Jun-96 16:40:10 (~ 709784 ms cpu time, gc : 44 %)
*** time 9911 ms, 12036206 occupied, 557652 recovered, 3963794 free
 Time: 710396
 Denominator degree: 3
 Numerator: ((90 . -1) (89 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 34458
 Next Hilbert function value: 35251
 Next Hilbert function limitation: 35250
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (70 68 63 57 53 49 43 38 34 29 27 24 23 21 20 18 17 15 14 13 12 11 10 9 8 8 7
7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 89
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 89: 17-Jun-96 16:40:29 (~ 729385 ms cpu time, gc : 44 %)
*** time 10115 ms, 12308524 occupied, 559724 recovered, 3691476 free
 Time: 730014
 Denominator degree: 3
 Numerator: ((91 . -1) (90 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 35250
 Next Hilbert function value: 36052
 Next Hilbert function limitation: 36051
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (72 71 65 59 56 51 45 41 35 32 28 27 24 23 21 20 18 16 15 14 13 12 11 10 9 8 8
7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 90
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 90: 17-Jun-96 16:40:50 (~ 749700 ms cpu time, gc : 44 %)
*** time 10472 ms, 12584376 occupied, 547404 recovered, 3415624 free
 Time: 750329
 Denominator degree: 3
 Numerator: ((92 . -1) (91 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 36051
 Next Hilbert function value: 36862
 Next Hilbert function limitation: 36861
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (75 73 67 63 58 53 49 43 38 34 31 28 27 24 23 21 20 17 16 15 14 13 12 11 10 9
8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 91
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 91: 17-Jun-96 16:41:11 (~ 770168 ms cpu time, gc : 44 %)
*** time 10693 ms, 12863768 occupied, 566524 recovered, 3136232 free
 Time: 770763
 Denominator degree: 3
 Numerator: ((93 . -1) (92 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 36861
 Next Hilbert function value: 37681
 Next Hilbert function limitation: 37680
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (77 75 71 65 61 57 51 47 41 37 33 31 28 27 24 23 21 19 17 16 15 14 13 12 11 10
9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 92
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 92: 17-Jun-96 16:41:32 (~ 791333 ms cpu time, gc : 44 %)
*** time 11016 ms, 13146754 occupied, 572498 recovered, 2853246 free
 Time: 791945
 Denominator degree: 3
 Numerator: ((94 . -1) (93 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 37680
 Next Hilbert function value: 38509
 Next Hilbert function limitation: 38508
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (79 80 74 68 65 60 55 51 45 40 36 33 31 28 27 24 23 20 19 17 16 15 14 13 12 11
10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 93
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 93: 17-Jun-96 16:41:53 (~ 812753 ms cpu time, gc : 45 %)
*** time 11067 ms, 13433334 occupied, 584236 recovered, 2566666 free
 Time: 813382
 Denominator degree: 3
 Numerator: ((95 . -1) (94 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 38508
 Next Hilbert function value: 39346
 Next Hilbert function limitation: 39345
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (84 82 78 73 68 64 60 55 49 44 39 36 33 31 28 27 24 22 20 19 17 16 15 14 13 12
11 10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 94
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 94: 17-Jun-96 16:42:16 (~ 834836 ms cpu time, gc : 45 %)
*** time 11560 ms, 13723542 occupied, 530028 recovered, 2276458 free
 Time: 835550
 Denominator degree: 3
 Numerator: ((96 . -1) (95 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 39345
 Next Hilbert function value: 40192
 Next Hilbert function limitation: 40191
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (86 86 83 78 73 69 64 60 54 48 43 39 36 33 31 28 27 23 22 20 19 17 16 15 14 13
12 11 10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 95
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 95: 17-Jun-96 16:42:40 (~ 857480 ms cpu time, gc : 45 %)
*** time 11679 ms, 14017392 occupied, 564200 recovered, 1982608 free
 Time: 858194
 Denominator degree: 3
 Numerator: ((97 . -1) (96 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 40191
 Next Hilbert function value: 41047
 Next Hilbert function limitation: 41046
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (90 91 88 83 80 74 69 65 59 53 47 43 39 36 33 31 28 26 23 22 20 19 17 16 15 14
13 12 11 10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 96
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 96: 17-Jun-96 16:43:05 (~ 880430 ms cpu time, gc : 45 %)
*** time 12087 ms, 14314948 occupied, 542530 recovered, 1685052 free
 Time: 881144
 Denominator degree: 3
 Numerator: ((98 . -1) (97 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 41046
 Next Hilbert function value: 41911
 Next Hilbert function limitation: 41910
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (95 97 93 90 86 81 75 70 64 59 52 47 43 39 36 33 31 27 26 23 22 20 19 17 16 15
14 13 12 11 10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 97
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 97: 17-Jun-96 16:43:33 (~ 904009 ms cpu time, gc : 45 %)
*** time 12563 ms, 14616228 occupied, 595626 recovered, 1383772 free
 Time: 904621
 Denominator degree: 3
 Numerator: ((99 . -1) (98 . 1) (4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 41910
 Next Hilbert function value: 42784
 Next Hilbert function limitation: 42783
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (101 102 101 96 93 89 82 76 70 64 58 52 47 43 39 36 33 30 27 26 23 22 20 19 17
16 15 14 13 12 11 10 9 8 8 7 7 6 6 5 5 4 4 3 3 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 98
 Number of new Groebner basis elements: 1
*** Garbage collection starting
*** GC 98: 17-Jun-96 16:44:20 (~ 927962 ms cpu time, gc : 46 %)
*** time 12937 ms, 14921346 occupied, 555292 recovered, 1078654 free
 Time: 928693
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 42783
 Next Hilbert function value: 43665
 Next Hilbert function limitation: 43665
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (105 107 105 104 97 94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 
19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 1

  Finished degree 99
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 99: 17-Jun-96 16:45:03 (~ 941392 ms cpu time, gc : 46 %)
*** time 12682 ms, 14920582 occupied, 579830 recovered, 1079418 free
 Time: 941392
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 43665
 Next Hilbert function value: 44556
 Next Hilbert function limitation: 44556
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (107 105 104 97 94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16
17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 100
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 100: 17-Jun-96 16:45:37 (~ 954125 ms cpu time, gc : 47 %)
*** time 12716 ms, 14919850 occupied, 1020 recovered, 1080150 free
 Time: 954125
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 44556
 Next Hilbert function value: 45456
 Next Hilbert function limitation: 45456
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (105 104 97 94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17
15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 101
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 101: 17-Jun-96 16:46:05 (~ 967147 ms cpu time, gc : 48 %)
*** time 13022 ms, 14919154 occupied, 982 recovered, 1080846 free
 Time: 967147
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 45456
 Next Hilbert function value: 46365
 Next Hilbert function limitation: 46365
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (104 97 94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 
13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 102
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 102: 17-Jun-96 16:46:27 (~ 980101 ms cpu time, gc : 48 %)
*** time 12937 ms, 14918488 occupied, 950 recovered, 1081512 free
 Time: 980101
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 46365
 Next Hilbert function value: 47283
 Next Hilbert function limitation: 47283
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (97 94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13
13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 103
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 103: 17-Jun-96 16:46:48 (~ 993038 ms cpu time, gc : 49 %)
*** time 12937 ms, 14917880 occupied, 890 recovered, 1082120 free
 Time: 993038
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 47283
 Next Hilbert function value: 48210
 Next Hilbert function limitation: 48210
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (94 89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13
10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 104
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 104: 17-Jun-96 16:47:10 (~ 1005703 ms cpu time, gc : 50 %)
*** time 12648 ms, 14917298 occupied, 862 recovered, 1082702 free
 Time: 1005703
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 48210
 Next Hilbert function value: 49146
 Next Hilbert function limitation: 49146
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (89 79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10
10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
)
Number of S-polynomial reductions at this degree: 0

  Finished degree 105
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 105: 17-Jun-96 16:47:31 (~ 1018572 ms cpu time, gc : 50 %)
*** time 12852 ms, 14916758 occupied, 818 recovered, 1083242 free
 Time: 1018589
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 49146
 Next Hilbert function value: 50091
 Next Hilbert function limitation: 50091
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (79 75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10
9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 106
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 106: 17-Jun-96 16:47:53 (~ 1031390 ms cpu time, gc : 51 %)
*** time 12784 ms, 14916282 occupied, 752 recovered, 1083718 free
 Time: 1031390
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 50091
 Next Hilbert function value: 51045
 Next Hilbert function limitation: 51045
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (75 70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9
8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 107
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 107: 17-Jun-96 16:48:14 (~ 1044242 ms cpu time, gc : 51 %)
*** time 12852 ms, 14915834 occupied, 722 recovered, 1084166 free
 Time: 1044242
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 51045
 Next Hilbert function value: 52008
 Next Hilbert function limitation: 52008
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (70 63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8
8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 108
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 108: 17-Jun-96 16:48:33 (~ 1057468 ms cpu time, gc : 52 %)
*** time 13209 ms, 14915416 occupied, 690 recovered, 1084584 free
 Time: 1057468
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 52008
 Next Hilbert function value: 52980
 Next Hilbert function limitation: 52980
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (63 54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8
6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 109
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 109: 17-Jun-96 16:48:57 (~ 1070303 ms cpu time, gc : 53 %)
*** time 12835 ms, 14915040 occupied, 646 recovered, 1084960 free
 Time: 1070303
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 52980
 Next Hilbert function value: 53961
 Next Hilbert function limitation: 53961
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (54 51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7
6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 110
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 110: 17-Jun-96 16:49:19 (~ 1083053 ms cpu time, gc : 53 %)
*** time 12733 ms, 14914718 occupied, 590 recovered, 1085282 free
 Time: 1083070
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 53961
 Next Hilbert function value: 54951
 Next Hilbert function limitation: 54951
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (51 46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6
5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 111
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 111: 17-Jun-96 16:49:39 (~ 1095973 ms cpu time, gc : 54 %)
*** time 12903 ms, 14914414 occupied, 570 recovered, 1085586 free
 Time: 1095973
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 54951
 Next Hilbert function value: 55950
 Next Hilbert function limitation: 55950
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (46 43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5
5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 112
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 112: 17-Jun-96 16:50:02 (~ 1108825 ms cpu time, gc : 54 %)
*** time 12852 ms, 14914140 occupied, 538 recovered, 1085860 free
 Time: 1108825
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 55950
 Next Hilbert function value: 56958
 Next Hilbert function limitation: 56958
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (43 39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5
3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 113
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 113: 17-Jun-96 16:50:21 (~ 1121779 ms cpu time, gc : 55 %)
*** time 12937 ms, 14913884 occupied, 518 recovered, 1086116 free
 Time: 1121779
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 56958
 Next Hilbert function value: 57975
 Next Hilbert function limitation: 57975
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (39 34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4
3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 114
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 114: 17-Jun-96 16:50:40 (~ 1134512 ms cpu time, gc : 55 %)
*** time 12716 ms, 14913652 occupied, 492 recovered, 1086348 free
 Time: 1134512
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 57975
 Next Hilbert function value: 59001
 Next Hilbert function limitation: 59001
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (34 32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 115
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 115: 17-Jun-96 16:50:59 (~ 1147364 ms cpu time, gc : 56 %)
*** time 12852 ms, 14913450 occupied, 460 recovered, 1086550 free
 Time: 1147364
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 59001
 Next Hilbert function value: 60036
 Next Hilbert function limitation: 60036
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (32 31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 116
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 116: 17-Jun-96 16:51:16 (~ 1160029 ms cpu time, gc : 56 %)
*** time 12665 ms, 14913260 occupied, 446 recovered, 1086740 free
 Time: 1160029
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 60036
 Next Hilbert function value: 61080
 Next Hilbert function limitation: 61080
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (31 25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 117
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 117: 17-Jun-96 16:51:36 (~ 1172881 ms cpu time, gc : 57 %)
*** time 12835 ms, 14913076 occupied, 438 recovered, 1086924 free
 Time: 1172881
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 61080
 Next Hilbert function value: 62133
 Next Hilbert function limitation: 62133
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (25 26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 118
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 118: 17-Jun-96 16:51:57 (~ 1185359 ms cpu time, gc : 57 %)
*** time 12478 ms, 14912928 occupied, 400 recovered, 1087072 free
 Time: 1185359
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 62133
 Next Hilbert function value: 63195
 Next Hilbert function limitation: 63195
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (26 23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 119
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 119: 17-Jun-96 16:52:14 (~ 1198347 ms cpu time, gc : 58 %)
*** time 12971 ms, 14912774 occupied, 404 recovered, 1087226 free
 Time: 1198364
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 63195
 Next Hilbert function value: 64266
 Next Hilbert function limitation: 64266
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (23 21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 120
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 120: 17-Jun-96 16:52:33 (~ 1211267 ms cpu time, gc : 58 %)
*** time 12886 ms, 14912638 occupied, 384 recovered, 1087362 free
 Time: 1211267
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 64266
 Next Hilbert function value: 65346
 Next Hilbert function limitation: 65346
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (21 20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 121
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 121: 17-Jun-96 16:52:56 (~ 1223949 ms cpu time, gc : 58 %)
*** time 12665 ms, 14912514 occupied, 370 recovered, 1087486 free
 Time: 1223949
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 65346
 Next Hilbert function value: 66435
 Next Hilbert function limitation: 66435
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (20 19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 122
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 122: 17-Jun-96 16:53:15 (~ 1236733 ms cpu time, gc : 59 %)
*** time 12767 ms, 14912396 occupied, 362 recovered, 1087604 free
 Time: 1236733
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 66435
 Next Hilbert function value: 67533
 Next Hilbert function limitation: 67533
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (19 16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 123
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 123: 17-Jun-96 16:53:30 (~ 1249500 ms cpu time, gc : 59 %)
*** time 12767 ms, 14912284 occupied, 354 recovered, 1087716 free
 Time: 1249500
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 67533
 Next Hilbert function value: 68640
 Next Hilbert function limitation: 68640
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (16 17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 124
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 124: 17-Jun-96 16:53:46 (~ 1262420 ms cpu time, gc : 60 %)
*** time 12903 ms, 14912190 occupied, 334 recovered, 1087810 free
 Time: 1262420
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 68640
 Next Hilbert function value: 69756
 Next Hilbert function limitation: 69756
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (17 15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 125
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 125: 17-Jun-96 16:54:08 (~ 1275085 ms cpu time, gc : 60 %)
*** time 12665 ms, 14912090 occupied, 338 recovered, 1087910 free
 Time: 1275085
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 69756
 Next Hilbert function value: 70881
 Next Hilbert function limitation: 70881
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (15 13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 126
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 126: 17-Jun-96 16:54:29 (~ 1287784 ms cpu time, gc : 61 %)
*** time 12665 ms, 14912002 occupied, 324 recovered, 1087998 free
 Time: 1287784
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 70881
 Next Hilbert function value: 72015
 Next Hilbert function limitation: 72015
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (13 13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 127
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 127: 17-Jun-96 16:54:49 (~ 1300279 ms cpu time, gc : 61 %)
*** time 12495 ms, 14911926 occupied, 310 recovered, 1088074 free
 Time: 1300279
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 72015
 Next Hilbert function value: 73158
 Next Hilbert function limitation: 73158
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (13 13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 128
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 128: 17-Jun-96 16:55:09 (~ 1312825 ms cpu time, gc : 61 %)
*** time 12529 ms, 14911850 occupied, 308 recovered, 1088150 free
 Time: 1312825
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 73158
 Next Hilbert function value: 74310
 Next Hilbert function limitation: 74310
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (13 10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 129
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 129: 17-Jun-96 16:55:27 (~ 1325660 ms cpu time, gc : 62 %)
*** time 12818 ms, 14911774 occupied, 306 recovered, 1088226 free
 Time: 1325660
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 74310
 Next Hilbert function value: 75471
 Next Hilbert function limitation: 75471
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (10 10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 130
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 130: 17-Jun-96 16:55:48 (~ 1338597 ms cpu time, gc : 62 %)
*** time 12920 ms, 14911716 occupied, 286 recovered, 1088284 free
 Time: 1338597
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 75471
 Next Hilbert function value: 76641
 Next Hilbert function limitation: 76641
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (10 9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 131
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 131: 17-Jun-96 16:56:11 (~ 1351500 ms cpu time, gc : 62 %)
*** time 12886 ms, 14911658 occupied, 284 recovered, 1088342 free
 Time: 1351517
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 76641
 Next Hilbert function value: 77820
 Next Hilbert function limitation: 77820
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (9 8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
)
Number of S-polynomial reductions at this degree: 0

  Finished degree 132
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 132: 17-Jun-96 16:56:29 (~ 1363910 ms cpu time, gc : 63 %)
*** time 12393 ms, 14911606 occupied, 276 recovered, 1088394 free
 Time: 1363910
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 77820
 Next Hilbert function value: 79008
 Next Hilbert function limitation: 79008
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (8 8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 133
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 133: 17-Jun-96 16:56:46 (~ 1376983 ms cpu time, gc : 63 %)
*** time 13073 ms, 14911560 occupied, 268 recovered, 1088440 free
 Time: 1376983
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 79008
 Next Hilbert function value: 80205
 Next Hilbert function limitation: 80205
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (8 8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 134
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 134: 17-Jun-96 16:57:08 (~ 1389920 ms cpu time, gc : 63 %)
*** time 12937 ms, 14911514 occupied, 266 recovered, 1088486 free
 Time: 1389920
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 80205
 Next Hilbert function value: 81411
 Next Hilbert function limitation: 81411
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (8 6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 135
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 135: 17-Jun-96 16:57:28 (~ 1402704 ms cpu time, gc : 64 %)
*** time 12784 ms, 14911468 occupied, 264 recovered, 1088532 free
 Time: 1402704
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 81411
 Next Hilbert function value: 82626
 Next Hilbert function limitation: 82626
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (6 7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 136
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 136: 17-Jun-96 16:57:45 (~ 1415471 ms cpu time, gc : 64 %)
*** time 12750 ms, 14911434 occupied, 250 recovered, 1088566 free
 Time: 1415488
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 82626
 Next Hilbert function value: 83850
 Next Hilbert function limitation: 83850
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (7 6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 137
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 137: 17-Jun-96 16:58:02 (~ 1428085 ms cpu time, gc : 64 %)
*** time 12597 ms, 14911394 occupied, 254 recovered, 1088606 free
 Time: 1428102
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 83850
 Next Hilbert function value: 85083
 Next Hilbert function limitation: 85083
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (6 5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 138
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 138: 17-Jun-96 16:58:22 (~ 1440835 ms cpu time, gc : 65 %)
*** time 12716 ms, 14911360 occupied, 246 recovered, 1088640 free
 Time: 1440835
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 85083
 Next Hilbert function value: 86325
 Next Hilbert function limitation: 86325
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (5 5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 139
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 139: 17-Jun-96 16:58:41 (~ 1453857 ms cpu time, gc : 65 %)
*** time 12988 ms, 14911332 occupied, 238 recovered, 1088668 free
 Time: 1453857
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 86325
 Next Hilbert function value: 87576
 Next Hilbert function limitation: 87576
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (5 5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 140
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 140: 17-Jun-96 16:59:07 (~ 1466182 ms cpu time, gc : 65 %)
*** time 12308 ms, 14911304 occupied, 236 recovered, 1088696 free
 Time: 1466182
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 87576
 Next Hilbert function value: 88836
 Next Hilbert function limitation: 88836
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (5 3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 141
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 141: 17-Jun-96 16:59:29 (~ 1479017 ms cpu time, gc : 66 %)
*** time 12835 ms, 14911276 occupied, 234 recovered, 1088724 free
 Time: 1479017
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 88836
 Next Hilbert function value: 90105
 Next Hilbert function limitation: 90105
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (3 4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 142
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 142: 17-Jun-96 16:59:47 (~ 1491835 ms cpu time, gc : 66 %)
*** time 12818 ms, 14911260 occupied, 220 recovered, 1088740 free
 Time: 1491835
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 90105
 Next Hilbert function value: 91383
 Next Hilbert function limitation: 91383
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (4 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 143
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 143: 17-Jun-96 17:00:09 (~ 1504177 ms cpu time, gc : 66 %)
*** time 12342 ms, 14911238 occupied, 224 recovered, 1088762 free
 Time: 1504194
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 91383
 Next Hilbert function value: 92670
 Next Hilbert function limitation: 92670
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 144
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 144: 17-Jun-96 17:00:28 (~ 1516706 ms cpu time, gc : 66 %)
*** time 12512 ms, 14911222 occupied, 216 recovered, 1088778 free
 Time: 1516706
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 92670
 Next Hilbert function value: 93966
 Next Hilbert function limitation: 93966
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 145
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 145: 17-Jun-96 17:00:44 (~ 1529116 ms cpu time, gc : 67 %)
*** time 12393 ms, 14911212 occupied, 208 recovered, 1088788 free
 Time: 1529116
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 93966
 Next Hilbert function value: 95271
 Next Hilbert function limitation: 95271
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 146
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 146: 17-Jun-96 17:01:01 (~ 1541764 ms cpu time, gc : 67 %)
*** time 12648 ms, 14911202 occupied, 206 recovered, 1088798 free
 Time: 1541764
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 95271
 Next Hilbert function value: 96585
 Next Hilbert function limitation: 96585
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 147
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 147: 17-Jun-96 17:01:19 (~ 1554208 ms cpu time, gc : 67 %)
*** time 12410 ms, 14911192 occupied, 204 recovered, 1088808 free
 Time: 1554208
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 96585
 Next Hilbert function value: 97908
 Next Hilbert function limitation: 97908
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 149
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 148: 17-Jun-96 17:01:39 (~ 1567162 ms cpu time, gc : 67 %)
*** time 12954 ms, 14911182 occupied, 202 recovered, 1088818 free
 Time: 1567162
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 99240
 Next Hilbert function value: 100581
 Next Hilbert function limitation: 100581
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 151
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 149: 17-Jun-96 17:01:59 (~ 1580269 ms cpu time, gc : 68 %)
*** time 13107 ms, 14911172 occupied, 200 recovered, 1088828 free
 Time: 1580269
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 101931
 Next Hilbert function value: 103290
 Next Hilbert function limitation: 103290
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 153
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 150: 17-Jun-96 17:02:16 (~ 1592951 ms cpu time, gc : 68 %)
*** time 12665 ms, 14911162 occupied, 198 recovered, 1088838 free
 Time: 1592951
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 104658
 Next Hilbert function value: 106035
 Next Hilbert function limitation: 106035
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 155
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 151: 17-Jun-96 17:02:33 (~ 1605310 ms cpu time, gc : 68 %)
*** time 12359 ms, 14911152 occupied, 196 recovered, 1088848 free
 Time: 1605310
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 107421
 Next Hilbert function value: 108816
 Next Hilbert function limitation: 108816
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 157
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 152: 17-Jun-96 17:02:51 (~ 1618383 ms cpu time, gc : 68 %)
*** time 13073 ms, 14911142 occupied, 194 recovered, 1088858 free
 Time: 1618400
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 110220
 Next Hilbert function value: 111633
 Next Hilbert function limitation: 111633
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 159
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 153: 17-Jun-96 17:03:06 (~ 1631558 ms cpu time, gc : 69 %)
*** time 13141 ms, 14911132 occupied, 192 recovered, 1088868 free
 Time: 1631558
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 113055
 Next Hilbert function value: 114486
 Next Hilbert function limitation: 114486
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 161
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 154: 17-Jun-96 17:03:21 (~ 1644019 ms cpu time, gc : 69 %)
*** time 12461 ms, 14911122 occupied, 190 recovered, 1088878 free
 Time: 1644019
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 115926
 Next Hilbert function value: 117375
 Next Hilbert function limitation: 117375
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 163
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 155: 17-Jun-96 17:03:36 (~ 1656803 ms cpu time, gc : 69 %)
*** time 12767 ms, 14911112 occupied, 188 recovered, 1088888 free
 Time: 1656803
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 118833
 Next Hilbert function value: 120300
 Next Hilbert function limitation: 120300
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 165
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 156: 17-Jun-96 17:03:51 (~ 1670148 ms cpu time, gc : 69 %)
*** time 13345 ms, 14911102 occupied, 186 recovered, 1088898 free
 Time: 1670148
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 121776
 Next Hilbert function value: 123261
 Next Hilbert function limitation: 123261
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 167
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 157: 17-Jun-96 17:04:05 (~ 1683357 ms cpu time, gc : 70 %)
*** time 13192 ms, 14911092 occupied, 184 recovered, 1088908 free
 Time: 1683357
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 124755
 Next Hilbert function value: 126258
 Next Hilbert function limitation: 126258
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 169
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 158: 17-Jun-96 17:04:22 (~ 1695852 ms cpu time, gc : 70 %)
*** time 12478 ms, 14911082 occupied, 182 recovered, 1088918 free
 Time: 1695852
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 127770
 Next Hilbert function value: 129291
 Next Hilbert function limitation: 129291
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 171
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 159: 17-Jun-96 17:04:42 (~ 1708381 ms cpu time, gc : 70 %)
*** time 12512 ms, 14911072 occupied, 180 recovered, 1088928 free
 Time: 1708381
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 130821
 Next Hilbert function value: 132360
 Next Hilbert function limitation: 132360
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 173
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 160: 17-Jun-96 17:04:59 (~ 1721573 ms cpu time, gc : 70 %)
*** time 13175 ms, 14911062 occupied, 178 recovered, 1088938 free
 Time: 1721573
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 133908
 Next Hilbert function value: 135465
 Next Hilbert function limitation: 135465
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 175
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 161: 17-Jun-96 17:05:13 (~ 1734850 ms cpu time, gc : 71 %)
*** time 13277 ms, 14911052 occupied, 176 recovered, 1088948 free
 Time: 1734850
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 137031
 Next Hilbert function value: 138606
 Next Hilbert function limitation: 138606
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 177
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 162: 17-Jun-96 17:05:28 (~ 1747243 ms cpu time, gc : 71 %)
*** time 12393 ms, 14911042 occupied, 174 recovered, 1088958 free
 Time: 1747243
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 140190
 Next Hilbert function value: 141783
 Next Hilbert function limitation: 141783
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 179
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 163: 17-Jun-96 17:05:42 (~ 1759721 ms cpu time, gc : 71 %)
*** time 12478 ms, 14911032 occupied, 172 recovered, 1088968 free
 Time: 1759721
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 143385
 Next Hilbert function value: 144996
 Next Hilbert function limitation: 144996
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 181
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 164: 17-Jun-96 17:06:00 (~ 1772760 ms cpu time, gc : 71 %)
*** time 13039 ms, 14911022 occupied, 170 recovered, 1088978 free
 Time: 1772760
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 146616
 Next Hilbert function value: 148245
 Next Hilbert function limitation: 148245
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 183
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 165: 17-Jun-96 17:06:19 (~ 1785714 ms cpu time, gc : 71 %)
*** time 12954 ms, 14911012 occupied, 168 recovered, 1088988 free
 Time: 1785714
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 149883
 Next Hilbert function value: 151530
 Next Hilbert function limitation: 151530
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 185
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 166: 17-Jun-96 17:06:36 (~ 1798073 ms cpu time, gc : 72 %)
*** time 12359 ms, 14911002 occupied, 166 recovered, 1088998 free
 Time: 1798073
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 153186
 Next Hilbert function value: 154851
 Next Hilbert function limitation: 154851
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 187
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 167: 17-Jun-96 17:06:50 (~ 1810738 ms cpu time, gc : 72 %)
*** time 12648 ms, 14910992 occupied, 164 recovered, 1089008 free
 Time: 1810738
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 156525
 Next Hilbert function value: 158208
 Next Hilbert function limitation: 158208
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 189
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 168: 17-Jun-96 17:07:09 (~ 1823267 ms cpu time, gc : 72 %)
*** time 12529 ms, 14910982 occupied, 162 recovered, 1089018 free
 Time: 1823267
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 159900
 Next Hilbert function value: 161601
 Next Hilbert function limitation: 161601
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2 2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 191
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 169: 17-Jun-96 17:07:27 (~ 1836425 ms cpu time, gc : 72 %)
*** time 13158 ms, 14910972 occupied, 160 recovered, 1089028 free
 Time: 1836425
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 163311
 Next Hilbert function value: 165030
 Next Hilbert function limitation: 165030
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  (2)
Number of S-polynomial reductions at this degree: 0

  Finished degree 193
 Number of new Groebner basis elements: 0
*** Garbage collection starting
*** GC 170: 17-Jun-96 17:07:44 (~ 1848886 ms cpu time, gc : 72 %)
*** time 12461 ms, 14910962 occupied, 158 recovered, 1089038 free
 Time: 1848886
 Denominator degree: 3
 Numerator: ((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
 Current Hilbert function value: 166758
 Next Hilbert function value: 168495
 Next Hilbert function limitation: 168495
(For reference, GETHSERIESMINIMA yields:)
((default quotient (plus (times 9 cdg (sub1 cdg)) 12) 2))
 Lengths of SPairs member lists:
  nil
Number of S-polynomial reductions at this degree: 0
d!o!n!e
24 lisp> 0
0
230
1
193
29 lisp> 0
0
3
((4 . 1) (3 . 2) (2 . 3) (1 . 2) (0 . 1))
33 lisp> nil
34 lisp> 1385347
35 lisp> Backtrace, including interpreter functions, from top of stack:
interpbacktrace standardlisp 
nil
36 lisp> 
Quitting
