Magma V2.19-8 Wed Aug 21 2013 01:01:46 on localhost [Seed = 1292588699] Type ? for help. Type -D to quit. Loading file "L14n13335__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13335 geometric_solution 11.45072025 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 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 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171420733112 0.959168290630 0 4 4 5 0132 0132 1302 0132 1 1 1 1 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 1 -1 0 0 0 0 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 1.056465782128 0.558941566534 0 0 7 6 3012 0132 0132 0132 1 1 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 0 0 0 0 0 0 0 1 0 -1 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.515751518491 0.597037027294 8 9 10 0 0132 0132 0132 0132 1 1 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 0 0 0 0 1 0 -1 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.454210916525 1.143122267829 1 1 7 7 2031 0132 0213 1230 1 1 1 1 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 -1 0 1 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260455416953 0.391268903133 11 7 1 11 0132 0213 0132 3201 1 1 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 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.023010192386 0.182812788547 10 12 2 8 2031 0132 0132 0213 1 1 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 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.699801661203 0.755515539940 4 4 5 2 3012 0213 0213 0132 1 1 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 0 0 0 0 0 0 0 -1 0 0 1 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.260455416953 0.391268903133 3 11 11 6 0132 3201 0132 0213 1 1 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 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.561477562821 0.567145120688 12 3 12 12 2103 0132 0132 3120 1 0 1 1 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 2 0 -3 1 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.523273215027 0.790930939671 10 10 6 3 1302 2031 1302 0132 1 1 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 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.309473705114 0.623585773809 5 5 8 8 0132 2310 2310 0132 1 1 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 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.085977066549 0.389716810435 9 6 9 9 3120 0132 2103 0132 1 0 1 1 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 -2 3 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.558987248492 0.927408158404 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0011_10'], '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_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_3']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0101_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_1001_11']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_1001_11']), 's_3_1' : 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_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_3, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_6, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 479343868090171210572416601/1620541855122370692444623600*c_1001_4^2\ 0 - 272246472860534298720128181/1620541855122370692444623600*c_1001\ _4^19 + 23006326138290302134129039171/3241083710244741384889247200*\ c_1001_4^18 - 4716480566169704745029479637/162054185512237069244462\ 3600*c_1001_4^17 + 18570159815645171644925212243/249314131557287798\ 837634400*c_1001_4^16 - 149603858444379094871173967/810270927561185\ 3462223118*c_1001_4^15 + 1457203467917931123600586212253/3241083710\ 244741384889247200*c_1001_4^14 - 114327889334890324984055198879/324\ 1083710244741384889247200*c_1001_4^13 + 5590049992895700445147799978481/3241083710244741384889247200*c_1001\ _4^12 + 6219866422032977081286084557/35616304508183971262519200*c_1\ 001_4^11 + 7089979306634639415632417277027/162054185512237069244462\ 3600*c_1001_4^10 + 260362134996390764412268114149/20256773189029633\ 6555577950*c_1001_4^9 + 11964260628133381787490495015719/1620541855\ 122370692444623600*c_1001_4^8 + 2387287657132204881021587709169/648\ 216742048948276977849440*c_1001_4^7 + 5258377597152897798670278373543/648216742048948276977849440*c_1001_\ 4^6 + 18520855830168997059429117414021/3241083710244741384889247200\ *c_1001_4^5 + 4468416328038268798995723869633/810270927561185346222\ 311800*c_1001_4^4 + 2186537373655417498787946017969/463011958606391\ 626412749600*c_1001_4^3 + 98143161251898326458014811819/46301195860\ 639162641274960*c_1001_4^2 + 1053918228351715188482411148913/648216\ 742048948276977849440*c_1001_4 + 1224573213763877732439497085541/32\ 41083710244741384889247200, c_0011_0 - 1, c_0011_10 - 27301509721209/79420028595818*c_1001_4^20 + 52064509064385/79420028595818*c_1001_4^19 - 655128551059867/79420028595818*c_1001_4^18 + 590756248307163/39710014297909*c_1001_4^17 - 6829340558432391/79420028595818*c_1001_4^16 + 11742398329200461/79420028595818*c_1001_4^15 - 20217128680538516/39710014297909*c_1001_4^14 + 67095576247635795/79420028595818*c_1001_4^13 - 74126618684555699/39710014297909*c_1001_4^12 + 242761837013688349/79420028595818*c_1001_4^11 - 169880648072557928/39710014297909*c_1001_4^10 + 575598908454553591/79420028595818*c_1001_4^9 - 224264859759581288/39710014297909*c_1001_4^8 + 890436521974434591/79420028595818*c_1001_4^7 - 210578772645792713/79420028595818*c_1001_4^6 + 429754696591385140/39710014297909*c_1001_4^5 + 262269807540257757/79420028595818*c_1001_4^4 + 231425071576764339/39710014297909*c_1001_4^3 + 214802182273539873/39710014297909*c_1001_4^2 + 103153640256085819/79420028595818*c_1001_4 + 91469359899139966/39710014297909, c_0011_11 + 6173481985563/79420028595818*c_1001_4^20 - 17832861447684/39710014297909*c_1001_4^19 + 171789540757561/79420028595818*c_1001_4^18 - 408128900839455/39710014297909*c_1001_4^17 + 1997759201934245/79420028595818*c_1001_4^16 - 4068641959093987/39710014297909*c_1001_4^15 + 6382793121300064/39710014297909*c_1001_4^14 - 23207825580801659/39710014297909*c_1001_4^13 + 24415915145712646/39710014297909*c_1001_4^12 - 83449717939189041/39710014297909*c_1001_4^11 + 55650126633067618/39710014297909*c_1001_4^10 - 195762990124804555/39710014297909*c_1001_4^9 + 64532415596586114/39710014297909*c_1001_4^8 - 298192096017351796/39710014297909*c_1001_4^7 - 3739923330073137/79420028595818*c_1001_4^6 - 281848570945714760/39710014297909*c_1001_4^5 - 215978552317106013/79420028595818*c_1001_4^4 - 295290447307461105/79420028595818*c_1001_4^3 - 254449493927045141/79420028595818*c_1001_4^2 - 63555462693345581/79420028595818*c_1001_4 - 49698065729456666/39710014297909, c_0011_3 - 4362720176319/79420028595818*c_1001_4^20 + 1377942175677/79420028595818*c_1001_4^19 - 100940555619809/79420028595818*c_1001_4^18 + 9439372911256/39710014297909*c_1001_4^17 - 1023841117896907/79420028595818*c_1001_4^16 + 54779093481683/79420028595818*c_1001_4^15 - 2997100269361100/39710014297909*c_1001_4^14 - 522414230891965/79420028595818*c_1001_4^13 - 11196760026421240/39710014297909*c_1001_4^12 - 5291017232992197/79420028595818*c_1001_4^11 - 27786258267827165/39710014297909*c_1001_4^10 - 21879522463271941/79420028595818*c_1001_4^9 - 46102982796634744/39710014297909*c_1001_4^8 - 51287686202756215/79420028595818*c_1001_4^7 - 100107291538034055/79420028595818*c_1001_4^6 - 35611188776837609/39710014297909*c_1001_4^5 - 67358220615065203/79420028595818*c_1001_4^4 - 27511876041008781/39710014297909*c_1001_4^3 - 12612947278127387/39710014297909*c_1001_4^2 - 18451325061610233/79420028595818*c_1001_4 - 2029309172895528/39710014297909, c_0101_0 - 29492240909805/79420028595818*c_1001_4^20 + 4610590902201/39710014297909*c_1001_4^19 - 340220598998262/39710014297909*c_1001_4^18 + 51250116183202/39710014297909*c_1001_4^17 - 3430715487252477/39710014297909*c_1001_4^16 - 130817625240979/79420028595818*c_1001_4^15 - 19919417509825101/39710014297909*c_1001_4^14 - 7920989601855367/79420028595818*c_1001_4^13 - 147479719379125405/79420028595818*c_1001_4^12 - 28716678181636340/39710014297909*c_1001_4^11 - 181827383456060343/39710014297909*c_1001_4^10 - 213742449983155599/79420028595818*c_1001_4^9 - 605778173789401957/79420028595818*c_1001_4^8 - 236189614995401536/39710014297909*c_1001_4^7 - 678460114175717169/79420028595818*c_1001_4^6 - 626552145248958891/79420028595818*c_1001_4^5 - 501283078547070247/79420028595818*c_1001_4^4 - 461014201163983121/79420028595818*c_1001_4^3 - 116687384957498042/39710014297909*c_1001_4^2 - 72101631855064793/39710014297909*c_1001_4 - 55939142861298363/79420028595818, c_0101_11 - 875306574357/39710014297909*c_1001_4^20 - 10809356057763/79420028595818*c_1001_4^19 - 30960445376623/79420028595818*c_1001_4^18 - 256086420231549/79420028595818*c_1001_4^17 - 116301570398972/39710014297909*c_1001_4^16 - 2641395513631479/79420028595818*c_1001_4^15 - 1043298189967243/79420028595818*c_1001_4^14 - 7802251090048997/39710014297909*c_1001_4^13 - 3710624644273399/79420028595818*c_1001_4^12 - 29135573000232336/39710014297909*c_1001_4^11 - 12989327145549531/79420028595818*c_1001_4^10 - 71340734528833721/39710014297909*c_1001_4^9 - 40307376493533113/79420028595818*c_1001_4^8 - 114403764540840360/39710014297909*c_1001_4^7 - 89520987472873287/79420028595818*c_1001_4^6 - 230963530273867477/79420028595818*c_1001_4^5 - 62436212465433895/39710014297909*c_1001_4^4 - 132435730995304099/79420028595818*c_1001_4^3 - 48331290838088267/39710014297909*c_1001_4^2 - 16354843237581026/39710014297909*c_1001_4 - 31332767877854421/79420028595818, c_0101_12 - 1, c_0101_2 - 1, c_0101_3 + 10687443238935/79420028595818*c_1001_4^20 - 34533690536331/79420028595818*c_1001_4^19 + 137439473252208/39710014297909*c_1001_4^18 - 785694081028605/79420028595818*c_1001_4^17 + 3038575211368673/79420028595818*c_1001_4^16 - 7784793668253081/79420028595818*c_1001_4^15 + 18892436670330517/79420028595818*c_1001_4^14 - 22059769418023643/39710014297909*c_1001_4^13 + 72087573233880173/79420028595818*c_1001_4^12 - 78794023898169332/39710014297909*c_1001_4^11 + 170354988846508045/79420028595818*c_1001_4^10 - 183613806110935116/39710014297909*c_1001_4^9 + 228805607267064467/79420028595818*c_1001_4^8 - 277931901158554149/39710014297909*c_1001_4^7 + 50927102151548732/39710014297909*c_1001_4^6 - 522718150539540345/79420028595818*c_1001_4^5 - 158264700755176481/79420028595818*c_1001_4^4 - 136670043733390627/39710014297909*c_1001_4^3 - 251784217132981681/79420028595818*c_1001_4^2 - 59345431462476745/79420028595818*c_1001_4 - 108638560648686247/79420028595818, c_0101_6 - 52431030454695/79420028595818*c_1001_4^20 + 29953874346555/39710014297909*c_1001_4^19 - 617314596718291/39710014297909*c_1001_4^18 + 632566991579109/39710014297909*c_1001_4^17 - 6333465207520219/39710014297909*c_1001_4^16 + 11556801610477799/79420028595818*c_1001_4^15 - 37139445921002517/39710014297909*c_1001_4^14 + 59697000876672393/79420028595818*c_1001_4^13 - 273339436695394323/79420028595818*c_1001_4^12 + 95309748941703933/39710014297909*c_1001_4^11 - 323921773260791106/39710014297909*c_1001_4^10 + 383735980934669933/79420028595818*c_1001_4^9 - 962101927715295045/79420028595818*c_1001_4^8 + 234672489093193867/39710014297909*c_1001_4^7 - 788931595283475827/79420028595818*c_1001_4^6 + 304179625487486607/79420028595818*c_1001_4^5 - 171655050391747287/79420028595818*c_1001_4^4 + 56859694071563119/79420028595818*c_1001_4^3 + 110727744594169218/39710014297909*c_1001_4^2 - 11299149196216767/39710014297909*c_1001_4 + 131058195282772625/79420028595818, c_1001_0 - 11469394772445/39710014297909*c_1001_4^20 + 25343283444354/39710014297909*c_1001_4^19 - 277093997720029/39710014297909*c_1001_4^18 + 581316875395907/39710014297909*c_1001_4^17 - 2902749720267742/39710014297909*c_1001_4^16 + 5843809617859389/39710014297909*c_1001_4^15 - 17220028411177416/39710014297909*c_1001_4^14 + 33808995239263880/39710014297909*c_1001_4^13 - 62929858658134459/39710014297909*c_1001_4^12 + 124026427123340273/39710014297909*c_1001_4^11 - 142094389804730763/39710014297909*c_1001_4^10 + 298739215458912766/39710014297909*c_1001_4^9 - 178161876962946544/39710014297909*c_1001_4^8 + 470862104088595403/39710014297909*c_1001_4^7 - 55235740553879329/39710014297909*c_1001_4^6 + 465365885368222749/39710014297909*c_1001_4^5 + 164814014077661480/39710014297909*c_1001_4^4 + 258936947617773120/39710014297909*c_1001_4^3 + 227415129551667260/39710014297909*c_1001_4^2 + 60802482658848026/39710014297909*c_1001_4 + 93498669072035494/39710014297909, c_1001_11 + 29492240909805/79420028595818*c_1001_4^20 - 4610590902201/39710014297909*c_1001_4^19 + 340220598998262/39710014297909*c_1001_4^18 - 51250116183202/39710014297909*c_1001_4^17 + 3430715487252477/39710014297909*c_1001_4^16 + 130817625240979/79420028595818*c_1001_4^15 + 19919417509825101/39710014297909*c_1001_4^14 + 7920989601855367/79420028595818*c_1001_4^13 + 147479719379125405/79420028595818*c_1001_4^12 + 28716678181636340/39710014297909*c_1001_4^11 + 181827383456060343/39710014297909*c_1001_4^10 + 213742449983155599/79420028595818*c_1001_4^9 + 605778173789401957/79420028595818*c_1001_4^8 + 236189614995401536/39710014297909*c_1001_4^7 + 678460114175717169/79420028595818*c_1001_4^6 + 626552145248958891/79420028595818*c_1001_4^5 + 501283078547070247/79420028595818*c_1001_4^4 + 461014201163983121/79420028595818*c_1001_4^3 + 116687384957498042/39710014297909*c_1001_4^2 + 72101631855064793/39710014297909*c_1001_4 + 55939142861298363/79420028595818, c_1001_4^21 - c_1001_4^20 + 79/3*c_1001_4^19 - 22*c_1001_4^18 + 307*c_1001_4^17 - 620/3*c_1001_4^16 + 2089*c_1001_4^15 - 3196/3*c_1001_4^14 + 9193*c_1001_4^13 - 9437/3*c_1001_4^12 + 27332*c_1001_4^11 - 13544/3*c_1001_4^10 + 55529*c_1001_4^9 + 4565/3*c_1001_4^8 + 227735/3*c_1001_4^7 + 55769/3*c_1001_4^6 + 66506*c_1001_4^5 + 100102/3*c_1001_4^4 + 33460*c_1001_4^3 + 27495*c_1001_4^2 + 7258*c_1001_4 + 27145/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.320 Total time: 1.530 seconds, Total memory usage: 32.09MB