
['[18*a-28,-105*a+170,-105*a+170,0,0]', '[0,0,a,-316749*a+512510,375402061*a-607413295]']
[0 7]
[7 0]
[18*a-28,-105*a+170,-105*a+170,0,0]
['[0,0,1,1652*a-2673,-38652*a+62540]', '[0,0,1,-9788*a+15837,18636*a-30154]']
[0 5]
[5 0]
[0,0,1,1652*a-2673,-38652*a+62540]
['[1,-1,a,-44*a-27,-215*a-133]', '[1,-1,a,-764*a-477,-12005*a-7423]', '[1,-1,a,-404*a-252,22618*a+13988]', '[1,-1,a,-11924*a-7452,753274*a+465860]']
[0 2 5 0]
[2 0 0 5]
[5 0 0 2]
[0 5 2 0]
[1,-1,a,-44*a-27,-215*a-133]
['[a+1,0,1,-1103*a-682,20454*a+12641]', '[a+1,0,1,-578*a-367,40656*a+25115]']
[0 3]
[3 0]
[a+1,0,1,-1103*a-682,20454*a+12641]
['[1,0,1,21*a-40,-66*a+101]', '[1,0,1,-189*a-145,-1788*a-823]']
[0 3]
[3 0]
[1,0,1,21*a-40,-66*a+101]
['[0,-a,0,-53*a-33,-126*a-78]', '[0,-a,0,-778*a-483,-12101*a-7478]', '[0,-a,0,147*a+92,-1121*a-693]', '[0,-a,0,-328*a-208,3524*a+2172]', '[0,-a,0,-1653*a-1033,39754*a+24582]', '[0,-a,0,-1778*a-1283,29379*a+19082]', '[0,-a,0,-1453*a-908,49399*a+30547]', '[0,-a,0,-26528*a-16408,2502004*a+1546332]']
[0 2 2 2 3 0 0 0]
[2 0 0 0 0 3 0 0]
[2 0 0 0 0 0 3 0]
[2 0 0 0 0 0 0 3]
[3 0 0 0 0 2 2 2]
[0 3 0 0 2 0 0 0]
[0 0 3 0 2 0 0 0]
[0 0 0 3 2 0 0 0]
[0,-a,0,-53*a-33,-126*a-78]
['[1,-1,1,a,-20*a-12]', '[1,-1,1,-3019*a-1900,-95396*a-59044]']
[0 5]
[5 0]
[1,-1,1,a,-20*a-12]
['[a,-a-1,0,0,-40*a-25]', '[a,-a-1,0,-135*a-90,-832*a-520]', '[a,-a-1,0,-2160*a-1440,-58072*a-36295]', '[a,-a-1,0,-270*a-180,1400*a+875]', '[a,-a-1,0,945*a+630,8528*a+5330]', '[a,-a-1,0,-3645*a-2430,132800*a+83000]', '[a,-a-1,0,-2970*a-1980,182120*a+113825]', '[a,-a-1,0,-58320*a-38880,8385080*a+5240675]', '[a,-a-1,0,-39285*a-69660,6747746*a+7895612]', '[a,-a-1,0,-952155*a-591300,536418734*a+331583438]']
[0 2 0 0 0 0 0 0 0 0]
[2 0 2 2 0 0 0 0 0 0]
[0 2 0 0 0 0 0 0 0 0]
[0 2 0 0 2 2 0 0 0 0]
[0 0 0 2 0 0 0 0 0 0]
[0 0 0 2 0 0 2 2 0 0]
[0 0 0 0 0 2 0 0 0 0]
[0 0 0 0 0 2 0 0 2 2]
[0 0 0 0 0 0 0 2 0 0]
[0 0 0 0 0 0 0 2 0 0]
[a,-a-1,0,0,-40*a-25]
['[0,a+1,a+1,-226*a-140,1772*a+1095]', '[0,a+1,a+1,-196*a-150,2127*a+1251]']
[0 3]
[3 0]
[0,a+1,a+1,-226*a-140,1772*a+1095]
['[0,1,a,32*a-54,-100*a+159]', '[0,1,a,-58*a-104,-627*a-126]']
[0 3]
[3 0]
[0,1,a,32*a-54,-100*a+159]
['[0,0,0,-17*a-12,-43*a-26]', '[0,0,0,-7*a-27,-64*a+2]']
[0 2]
[2 0]
[0,0,0,-17*a-12,-43*a-26]
['[a+1,-a+1,0,308*a-498,-2948*a+4770]', '[a+1,-a+1,0,-2167*a+3507,31492*a-50955]', '[a+1,-a+1,0,333608*a-539838,111099988*a-179763708]']
[0 5 0]
[5 0 5]
[0 5 0]
[a+1,-a+1,0,308*a-498,-2948*a+4770]
['[a+1,-1,a,-54*a-33,-63*a-39]', '[a+1,-1,a,-649*a-403,-9658*a-5967]', '[a+1,-1,a,-2579*a-1593,74712*a+46173]', '[a+1,-1,a,-10379*a-6418,-611116*a-377690]', '[a+1,-1,a,-439*a-308,-15460*a-9456]', '[a+1,-1,a,-2659*a-1658,69344*a+42840]', '[a+1,-1,a,-10614*a-6798,-568593*a-352752]', '[a+1,-1,a,4016*a+2442,364829*a+225560]']
[0 2 3 0 0 0 0 0]
[2 0 0 2 2 3 0 0]
[3 0 0 0 0 2 0 0]
[0 2 0 0 0 0 3 0]
[0 2 0 0 0 0 0 3]
[0 3 2 0 0 0 2 2]
[0 0 0 3 0 2 0 0]
[0 0 0 0 3 2 0 0]
[a+1,-1,a,-54*a-33,-63*a-39]
['[a+1,a-1,a,7*a-12,-a+2]', '[a+1,a-1,a,87*a-157,485*a-773]', '[a+1,a-1,a,377*a-607,-4405*a+7107]', '[a+1,a-1,a,-48*a-177,1428*a-947]', '[a+1,a-1,a,1502*a-2457,33106*a-53599]', '[a+1,a-1,a,342*a-657,-4314*a+6511]', '[a+1,a-1,a,-708*a+868,-19504*a+32606]', '[a+1,a-1,a,832*a-2982,18800*a-57148]']
[0 2 3 0 0 0 0 0]
[2 0 0 2 2 3 0 0]
[3 0 0 0 0 2 0 0]
[0 2 0 0 0 0 3 0]
[0 2 0 0 0 0 0 3]
[0 3 2 0 0 0 2 2]
[0 0 0 3 0 2 0 0]
[0 0 0 0 3 2 0 0]
[a+1,a-1,a,7*a-12,-a+2]
['[24*a-38,-165*a+267,-165*a+267,0,0]', '[0,1,a+1,-1098348*a+1777163,1530470361*a-2476353066]']
[0 7]
[7 0]
[24*a-38,-165*a+267,-165*a+267,0,0]
['[0,-a-1,0,8*a-12,11*a-18]', '[0,-a-1,0,-2*a-17,3*a-27]']
[0 2]
[2 0]
[0,-a-1,0,8*a-12,11*a-18]
['[0,a,a+1,-223*a-138,-2071*a-1280]']
[0]
[0,a,a+1,-223*a-138,-2071*a-1280]
['[0,a,a,-43*a-28,-203*a-126]']
[0]
[0,a,a,-43*a-28,-203*a-126]
['[0,0,a,112510*a-182045,21727126*a-35155229]', '[0,0,a,-604940*a+978805,-990806249*a+1603158196]']
[0 7]
[7 0]
[0,0,a,112510*a-182045,21727126*a-35155229]
['[1,a+1,0,-13*a-13,216*a+128]', '[1,a+1,0,-538*a-338,6711*a+4143]', '[1,a+1,0,-813*a-538,-2134*a-1247]', '[1,a+1,0,-8663*a-5338,455336*a+281393]']
[0 2 0 0]
[2 0 2 2]
[0 2 0 0]
[0 2 0 0]
[1,a+1,0,-13*a-13,216*a+128]
['[1,-a,1,-734*a-454,-11114*a-6869]', '[1,-a,1,-809*a-504,-8544*a-5279]', '[1,-a,1,2316*a+1371,-61794*a-38029]', '[1,-a,1,-5134*a-3179,207486*a+128231]']
[0 2 0 0]
[2 0 2 2]
[0 2 0 0]
[0 2 0 0]
[1,-a,1,-734*a-454,-11114*a-6869]
['[0,-a,a,-133*a-83,-820*a-507]']
[0]
[0,-a,a,-133*a-83,-820*a-507]
['[0,-a,a+1,-133*a-83,242*a+149]']
[0]
[0,-a,a+1,-133*a-83,242*a+149]
['[0,0,0,-16*a-16,44*a+33]', '[0,0,0,19*a-86,-152*a+278]', '[0,0,0,-11*a-11,72*a+54]', '[0,0,0,-296*a-191,2984*a+1846]']
[0 2 2 2]
[2 0 0 0]
[2 0 0 0]
[2 0 0 0]
[0,0,0,-16*a-16,44*a+33]
['[a,0,a+1,-3*a-5,5*a-3]', '[a,0,a+1,162*a-270,1236*a-1990]']
[0 3]
[3 0]
[a,0,a+1,-3*a-5,5*a-3]
['[1,0,0,121*a-211,619*a-1006]', '[1,0,0,761*a-1171,-10901*a+17618]', '[1,0,0,41*a-76,-167*a+281]', '[1,0,0,9161*a-15731,534651*a-875694]', '[1,0,0,721*a-1176,-11175*a+18093]', '[1,0,0,9181*a-15751,532807*a-873010]']
[0 2 3 3 0 0]
[2 0 0 0 3 3]
[3 0 0 0 2 0]
[3 0 0 0 0 2]
[0 3 2 0 0 0]
[0 3 0 2 0 0]
[1,0,0,121*a-211,619*a-1006]
['[a,-a+1,0,202*a-329,-1553*a+2514]', '[a,-a+1,0,182*a-329,-1617*a+2694]', '[a,-a+1,0,317*a-519,637*a-1035]', '[a,-a+1,0,-1283*a+2041,2941*a-4683]', '[a,-a+1,0,18877*a-30999,1526253*a-2473275]', '[a,-a+1,0,18617*a-30579,1569409*a-2543091]']
[0 2 3 0 0 0]
[2 0 0 3 0 0]
[3 0 0 2 3 0]
[0 3 2 0 0 3]
[0 0 3 0 0 2]
[0 0 0 3 2 0]
[a,-a+1,0,202*a-329,-1553*a+2514]
['[a,a-1,a+1,9*a+3,-17*a-6]', '[a,a-1,a+1,-2016*a-1257,-53012*a-33006]']
[0 5]
[5 0]
[a,a-1,a+1,9*a+3,-17*a-6]
['[a+1,1,a+1,27*a+17,27*a+17]', '[a+1,1,a+1,-108*a-73,-81*a-46]', '[a+1,1,a+1,-1188*a-748,-24732*a-15301]', '[a+1,1,a+1,-1188*a-838,23598*a+14957]', '[a+1,1,a+1,27*a-1648,33804*a+46466]', '[a+1,1,a+1,-19683*a-12268,1576908*a+974960]']
[0 2 0 0 0 0]
[2 0 2 2 0 0]
[0 2 0 0 0 0]
[0 2 0 0 2 2]
[0 0 0 2 0 0]
[0 0 0 2 0 0]
[a+1,1,a+1,27*a+17,27*a+17]
['[1,-1,1,1,43*a+26]', '[1,-1,1,-135*a-89,943*a+584]', '[1,-1,1,-270*a-224,-1433*a-1036]', '[1,-1,1,-2160*a-1394,59299*a+36836]', '[1,-1,1,-1755*a-2024,54961*a+45278]', '[1,-1,1,-34965*a-21644,3774121*a+2332862]']
[0 2 0 0 0 0]
[2 0 2 2 0 0]
[0 2 0 0 0 0]
[0 2 0 0 2 2]
[0 0 0 2 0 0]
[0 0 0 2 0 0]
[1,-1,1,1,43*a+26]
['[0,-1,a,-108*a-67,684*a+423]', '[0,-1,a,-148*a-87,205*a+124]']
[0 3]
[3 0]
[0,-1,a,-108*a-67,684*a+423]
['[a+1,-a,0,7*a-23,-24*a+20]', '[a+1,-a,0,-18*a-168,-140*a-845]', '[a+1,-a,0,-1453*a-803,-29280*a-20902]', '[a+1,-a,0,1017*a-1853,21096*a-35088]', '[a+1,-a,0,652*a-2048,27054*a-32629]', '[a+1,-a,0,17942*a-28618,1363362*a-2211479]']
[0 2 0 0 0 0]
[2 0 2 2 0 0]
[0 2 0 0 0 0]
[0 2 0 0 2 2]
[0 0 0 2 0 0]
[0 0 0 2 0 0]
[a+1,-a,0,7*a-23,-24*a+20]
['[0,-a,1,-42*a-53,-192*a-140]']
[0]
[0,-a,1,-42*a-53,-192*a-140]
CPU time: 580.92 s,  Wall time: 581.75 s
