Magma V2.19-8 Wed Aug 21 2013 00:10:28 on localhost [Seed = 3852700252] Type ? for help. Type -D to quit. Loading file "K13n2638__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2638 geometric_solution 12.06661972 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -5 0 6 -1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.035140505001 0.683863205349 0 0 3 4 0132 2310 3120 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327474816874 0.444302222924 4 0 6 5 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.921140206900 0.501973042764 7 6 1 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 -6 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597583351575 1.014127618588 7 2 1 8 2103 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111592379687 1.728059787470 9 10 2 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972416944192 1.479956897083 12 3 10 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405572527375 0.750625367292 3 9 4 11 0132 1302 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478655069176 0.873596106597 12 9 4 11 1023 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844276209881 0.912453253333 5 8 12 7 0132 3120 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.002912974519 0.707552528676 11 5 12 6 1302 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475464150301 0.772706324002 7 10 5 8 3120 2031 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678690963080 1.185321699565 6 8 9 10 0132 1023 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.086165647346 0.979327806038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_6']), 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : d['c_0110_8'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0110_8']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0110_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_8']), 'c_1100_10' : negation(d['c_0110_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_3']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_0110_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1130222973246510466556/2025152339937267125*c_1001_1^32 - 1293090166141652484048/2025152339937267125*c_1001_1^31 - 9017221712083167881204/2025152339937267125*c_1001_1^30 + 25240877023466961007839/4050304679874534250*c_1001_1^29 + 66830447653393654209931/4050304679874534250*c_1001_1^28 - 114558438887502531915673/4050304679874534250*c_1001_1^27 - 10509671902516195160307/311561898451887250*c_1001_1^26 + 156305274659575132985163/2025152339937267125*c_1001_1^25 + 67290296054058686818868/2025152339937267125*c_1001_1^24 - 274973221524755615414372/2025152339937267125*c_1001_1^23 + 3938973905447748097097/311561898451887250*c_1001_1^22 + 610192437257683229476909/4050304679874534250*c_1001_1^21 - 71108882532648714399757/810060935974906850*c_1001_1^20 - 343759917595850711031069/4050304679874534250*c_1001_1^19 + 256189407157739572828468/2025152339937267125*c_1001_1^18 - 68454715374853702194579/4050304679874534250*c_1001_1^17 - 175740374770954557102287/2025152339937267125*c_1001_1^16 + 129716245912850591176929/2025152339937267125*c_1001_1^15 + 51776092939966494019027/4050304679874534250*c_1001_1^14 - 66483531926113933907524/2025152339937267125*c_1001_1^13 + 122887304252206084438761/4050304679874534250*c_1001_1^12 - 11689739946255637082761/810060935974906850*c_1001_1^11 - 56806014441802947454753/2025152339937267125*c_1001_1^10 + 46761015145427674168372/2025152339937267125*c_1001_1^9 + 12271748920193759526113/810060935974906850*c_1001_1^8 - 15566589739876580838542/2025152339937267125*c_1001_1^7 - 24033438070548783885059/4050304679874534250*c_1001_1^6 - 3662233858924644792887/2025152339937267125*c_1001_1^5 + 35899003882532758192/6231237969037745*c_1001_1^4 - 184463131376856570754/2025152339937267125*c_1001_1^3 - 11783499239235784426887/4050304679874534250*c_1001_1^2 + 680775597165263529291/2025152339937267125*c_1001_1 + 3920420488563523985472/2025152339937267125, c_0011_0 - 1, c_0011_10 - 644652763/1045471866*c_1001_1^32 + 861210851/1045471866*c_1001_1^31 + 2600129018/522735933*c_1001_1^30 - 2741832935/348490622*c_1001_1^29 - 19219685075/1045471866*c_1001_1^28 + 36921654637/1045471866*c_1001_1^27 + 19250232025/522735933*c_1001_1^26 - 49843981733/522735933*c_1001_1^25 - 34148682199/1045471866*c_1001_1^24 + 57730617957/348490622*c_1001_1^23 - 9071459015/348490622*c_1001_1^22 - 187848564061/1045471866*c_1001_1^21 + 61261153523/522735933*c_1001_1^20 + 98676934685/1045471866*c_1001_1^19 - 83053633843/522735933*c_1001_1^18 + 16319597485/522735933*c_1001_1^17 + 35971729989/348490622*c_1001_1^16 - 43758678758/522735933*c_1001_1^15 - 1607993314/174245311*c_1001_1^14 + 6764183268/174245311*c_1001_1^13 - 21570038686/522735933*c_1001_1^12 + 3894967034/174245311*c_1001_1^11 + 18611267654/522735933*c_1001_1^10 - 5459194611/174245311*c_1001_1^9 - 8545481279/522735933*c_1001_1^8 + 10945387657/1045471866*c_1001_1^7 + 1806575191/522735933*c_1001_1^6 + 436385570/174245311*c_1001_1^5 - 2491590890/522735933*c_1001_1^4 + 99188295/174245311*c_1001_1^3 + 2742413776/522735933*c_1001_1^2 - 112894919/1045471866*c_1001_1 - 565476126/174245311, c_0011_11 + 308074961/1045471866*c_1001_1^32 - 263801174/522735933*c_1001_1^31 - 1180616644/522735933*c_1001_1^30 + 1661427513/348490622*c_1001_1^29 + 3977083739/522735933*c_1001_1^28 - 11012496034/522735933*c_1001_1^27 - 12614678869/1045471866*c_1001_1^26 + 29078779684/522735933*c_1001_1^25 - 119570101/1045471866*c_1001_1^24 - 32461258601/348490622*c_1001_1^23 + 7266613517/174245311*c_1001_1^22 + 97631134301/1045471866*c_1001_1^21 - 95697893873/1045471866*c_1001_1^20 - 18011955380/522735933*c_1001_1^19 + 105356276971/1045471866*c_1001_1^18 - 22006005665/522735933*c_1001_1^17 - 18074131433/348490622*c_1001_1^16 + 34869433027/522735933*c_1001_1^15 - 1457893546/174245311*c_1001_1^14 - 5014482261/174245311*c_1001_1^13 + 15924120899/522735933*c_1001_1^12 - 2962493513/174245311*c_1001_1^11 - 9178914916/522735933*c_1001_1^10 + 4531009934/174245311*c_1001_1^9 + 2394588523/522735933*c_1001_1^8 - 10946297273/1045471866*c_1001_1^7 - 1418731999/1045471866*c_1001_1^6 - 469275123/348490622*c_1001_1^5 + 3039004745/1045471866*c_1001_1^4 + 98459445/348490622*c_1001_1^3 - 964876658/522735933*c_1001_1^2 + 1098002293/1045471866*c_1001_1 + 243848529/174245311, c_0011_12 - c_1001_1^4 + c_1001_1^2 - 1, c_0011_4 - 819812113/1045471866*c_1001_1^32 + 995601551/1045471866*c_1001_1^31 + 3381597725/522735933*c_1001_1^30 - 3235045345/348490622*c_1001_1^29 - 25831071605/1045471866*c_1001_1^28 + 44468942671/1045471866*c_1001_1^27 + 27472402528/522735933*c_1001_1^26 - 61490229806/522735933*c_1001_1^25 - 58571985091/1045471866*c_1001_1^24 + 73412660721/348490622*c_1001_1^23 - 3667950813/348490622*c_1001_1^22 - 249871213477/1045471866*c_1001_1^21 + 67667595254/522735933*c_1001_1^20 + 145733508911/1045471866*c_1001_1^19 - 103824077626/522735933*c_1001_1^18 + 13147840015/522735933*c_1001_1^17 + 49581296427/348490622*c_1001_1^16 - 55991770553/522735933*c_1001_1^15 - 3610026433/174245311*c_1001_1^14 + 10067193718/174245311*c_1001_1^13 - 28643971915/522735933*c_1001_1^12 + 4348858145/174245311*c_1001_1^11 + 27641377793/522735933*c_1001_1^10 - 7352321696/174245311*c_1001_1^9 - 13714656638/522735933*c_1001_1^8 + 15283916425/1045471866*c_1001_1^7 + 4151017150/522735933*c_1001_1^6 + 683287089/174245311*c_1001_1^5 - 3239667761/522735933*c_1001_1^4 - 47482154/174245311*c_1001_1^3 + 2770372603/522735933*c_1001_1^2 - 109742189/1045471866*c_1001_1 - 441077025/174245311, c_0101_0 - c_1001_1, c_0101_11 - 352085711/522735933*c_1001_1^32 + 323824906/522735933*c_1001_1^31 + 2905907201/522735933*c_1001_1^30 - 1134055918/174245311*c_1001_1^29 - 11210319079/522735933*c_1001_1^28 + 16241012405/522735933*c_1001_1^27 + 24274343761/522735933*c_1001_1^26 - 46252660085/522735933*c_1001_1^25 - 27308892038/522735933*c_1001_1^24 + 28143828108/174245311*c_1001_1^23 - 104596880/174245311*c_1001_1^22 - 96794633270/522735933*c_1001_1^21 + 51405088733/522735933*c_1001_1^20 + 55840166320/522735933*c_1001_1^19 - 81149225287/522735933*c_1001_1^18 + 12096145210/522735933*c_1001_1^17 + 18629747274/174245311*c_1001_1^16 - 44737567724/522735933*c_1001_1^15 - 1219474406/174245311*c_1001_1^14 + 7343612584/174245311*c_1001_1^13 - 25776530986/522735933*c_1001_1^12 + 3891220761/174245311*c_1001_1^11 + 20722203677/522735933*c_1001_1^10 - 5617231491/174245311*c_1001_1^9 - 8421418064/522735933*c_1001_1^8 + 4438310924/522735933*c_1001_1^7 + 2468007397/522735933*c_1001_1^6 + 629285557/174245311*c_1001_1^5 - 3061866758/522735933*c_1001_1^4 - 147137021/174245311*c_1001_1^3 + 1923893494/522735933*c_1001_1^2 - 115146796/522735933*c_1001_1 - 287627500/174245311, c_0101_12 - 337123625/1045471866*c_1001_1^32 + 263176625/522735933*c_1001_1^31 + 1277618455/522735933*c_1001_1^30 - 1620675831/348490622*c_1001_1^29 - 4398998195/522735933*c_1001_1^28 + 10547052391/522735933*c_1001_1^27 + 15579640147/1045471866*c_1001_1^26 - 27513098896/522735933*c_1001_1^25 - 8418683567/1045471866*c_1001_1^24 + 30699541993/348490622*c_1001_1^23 - 4233253032/174245311*c_1001_1^22 - 95650875677/1045471866*c_1001_1^21 + 69001818527/1045471866*c_1001_1^20 + 23231330042/522735933*c_1001_1^19 - 82139347753/1045471866*c_1001_1^18 + 9796222091/522735933*c_1001_1^17 + 16272227915/348490622*c_1001_1^16 - 22153703680/522735933*c_1001_1^15 - 675200933/174245311*c_1001_1^14 + 3062950364/174245311*c_1001_1^13 - 8678654435/522735933*c_1001_1^12 + 2661027780/174245311*c_1001_1^11 + 6705644806/522735933*c_1001_1^10 - 3674439702/174245311*c_1001_1^9 - 3546891463/522735933*c_1001_1^8 + 8353058711/1045471866*c_1001_1^7 + 2918199685/1045471866*c_1001_1^6 + 884532247/348490622*c_1001_1^5 - 3997523483/1045471866*c_1001_1^4 - 321601601/348490622*c_1001_1^3 + 928446962/522735933*c_1001_1^2 - 345488779/1045471866*c_1001_1 - 276548432/174245311, c_0101_3 - c_1001_1^2 + 1, c_0101_6 - 582474865/1045471866*c_1001_1^32 + 401743933/522735933*c_1001_1^31 + 4665750613/1045471866*c_1001_1^30 - 1270308300/174245311*c_1001_1^29 - 17041573535/1045471866*c_1001_1^28 + 33974275345/1045471866*c_1001_1^27 + 33439425275/1045471866*c_1001_1^26 - 90948663883/1045471866*c_1001_1^25 - 27796195201/1045471866*c_1001_1^24 + 26018965425/174245311*c_1001_1^23 - 4689465067/174245311*c_1001_1^22 - 82887498308/522735933*c_1001_1^21 + 55485116336/522735933*c_1001_1^20 + 40762943650/522735933*c_1001_1^19 - 144544292975/1045471866*c_1001_1^18 + 36935969597/1045471866*c_1001_1^17 + 29905468967/348490622*c_1001_1^16 - 82314833869/1045471866*c_1001_1^15 - 889226582/174245311*c_1001_1^14 + 6081186353/174245311*c_1001_1^13 - 18200210371/522735933*c_1001_1^12 + 3535985116/174245311*c_1001_1^11 + 15493035095/522735933*c_1001_1^10 - 4767266982/174245311*c_1001_1^9 - 8687019320/522735933*c_1001_1^8 + 8886077095/1045471866*c_1001_1^7 + 7879839623/1045471866*c_1001_1^6 + 503447104/174245311*c_1001_1^5 - 5276130535/1045471866*c_1001_1^4 + 6030394/174245311*c_1001_1^3 + 3325364255/1045471866*c_1001_1^2 - 406073177/1045471866*c_1001_1 - 514301669/348490622, c_0110_8 + 407315515/1045471866*c_1001_1^32 - 334548583/522735933*c_1001_1^31 - 3102813199/1045471866*c_1001_1^30 + 1023702095/174245311*c_1001_1^29 + 10430187005/1045471866*c_1001_1^28 - 26426987311/1045471866*c_1001_1^27 - 16995084269/1045471866*c_1001_1^26 + 67656167737/1045471866*c_1001_1^25 + 3372892309/1045471866*c_1001_1^24 - 18177944043/174245311*c_1001_1^23 + 7391219168/174245311*c_1001_1^22 + 51876173600/522735933*c_1001_1^21 - 49078674605/522735933*c_1001_1^20 - 17234656537/522735933*c_1001_1^19 + 103003405409/1045471866*c_1001_1^18 - 43279484537/1045471866*c_1001_1^17 - 16295902529/348490622*c_1001_1^16 + 57848650279/1045471866*c_1001_1^15 - 1112806537/174245311*c_1001_1^14 - 2778175903/174245311*c_1001_1^13 + 11126277142/522735933*c_1001_1^12 - 3082094005/174245311*c_1001_1^11 - 6985660889/522735933*c_1001_1^10 + 2874139897/174245311*c_1001_1^9 + 5086051760/522735933*c_1001_1^8 - 5593020193/1045471866*c_1001_1^7 - 7372843169/1045471866*c_1001_1^6 + 91945037/174245311*c_1001_1^5 + 4825448659/1045471866*c_1001_1^4 - 501191465/174245311*c_1001_1^3 - 2223974735/1045471866*c_1001_1^2 + 409225907/1045471866*c_1001_1 + 414609249/348490622, c_1001_0 - c_1001_1^2 + 1, c_1001_1^33 - 2*c_1001_1^32 - 7*c_1001_1^31 + 18*c_1001_1^30 + 20*c_1001_1^29 - 76*c_1001_1^28 - 17*c_1001_1^27 + 190*c_1001_1^26 - 59*c_1001_1^25 - 294*c_1001_1^24 + 231*c_1001_1^23 + 250*c_1001_1^22 - 388*c_1001_1^21 - 17*c_1001_1^20 + 356*c_1001_1^19 - 224*c_1001_1^18 - 129*c_1001_1^17 + 247*c_1001_1^16 - 75*c_1001_1^15 - 78*c_1001_1^14 + 104*c_1001_1^13 - 72*c_1001_1^12 - 28*c_1001_1^11 + 84*c_1001_1^10 - 8*c_1001_1^9 - 37*c_1001_1^8 + c_1001_1^7 + 6*c_1001_1^6 + 13*c_1001_1^5 - 9*c_1001_1^4 - 5*c_1001_1^3 + 5*c_1001_1^2 + 3*c_1001_1 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.910 Total time: 6.120 seconds, Total memory usage: 32.09MB