glob_cons_cells_in_use=0
c0*: 1 1
c1*: 2 1
rowsums[0]=1: 
duplicates so far: 1
c3*: 12 10
rowsums[1]=1:  1
duplicates so far: 3
New record for bijectivity_broken_at (2) occurred with the clause seq: c4__2_0_0_0__1_0_0_1
c4*: 24 10
rowsums[2]=10:  10 0
duplicates so far: 17
c7*: 120 115
New record for bijectivity_broken_at (3) occurred with the clause seq: c8__3_0_0_0__1_0_0_1
c8*: 240 115
rowsums[3]=125:  115 10 0
duplicates so far: 147
c12*: 192 24
c15*: 1680 1666
New record for bijectivity_broken_at (4) occurred with the clause seq: c16__4_0_0_0__1_0_0_1
c16*: 3360 1666
rowsums[4]=1805:  1666 139 0 0
duplicates so far: 2023
c19*: 384 0
c24*: 1056 784
c28*: 4464 120
c31*: 30240 30198
New record for bijectivity_broken_at (5) occurred with the clause seq: c32__5_0_0_0__1_0_0_1
c32*: 60480 30198
rowsums[5]=32768:  30198 2570 0 0 0
duplicates so far: 37347
c35*: 8928 120
c39*: 2112 784
c48*: 15360 11906
c51*: 3456 0
c56*: 19584 4394
c60*: 182880 1380
c63*: 665280 665148
New record for bijectivity_broken_at (6) occurred with the clause seq: c64__6_0_0_0__1_0_0_1
c64*: 1330560 665148
rowsums[6]=713930:  665148 47878 904 0 0 0
duplicates so far: 916627
c67*: 365760 1380
c71*: 39168 4394
c76*: 6912 0
c79*: 30720 11906
c96*: 282240 221470
c99*: 72000 240
c103*: 19200 3052
c112*: 92160 83200
c115*: 82368 0
c120*: 835200 27364
c124*: 10180800 19992
c127*: 17297280 17296851
rowsums[1]=1: 1
rowsums[2]=10: 10,0
rowsums[3]=125: 115,10,0
rowsums[4]=1805: 1666,139,0,0
rowsums[5]=32768: 30198,2570,0,0,0
rowsums[6]=713930: 665148,47878,904,0,0,0
rowsums[7]=18334997: 17296851,1017174,20972,0,0,0,0