Magma V2.19-8 Tue Aug 20 2013 23:47:13 on localhost [Seed = 3347164544] Type ? for help. Type -D to quit. Loading file "K8a14__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K8a14 geometric_solution 10.98590761 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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 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.994969788500 0.929890750581 0 5 5 6 0132 0132 0321 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 0 1 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.271160522426 0.722851899669 7 0 5 8 0132 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 -1 1 0 -1 0 1 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.438813641994 0.741479590165 6 9 4 0 0132 0132 2103 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 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.618234403807 0.284015514884 3 10 0 9 2103 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 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.591114702768 0.998828307975 11 1 1 2 0132 0132 0321 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 1 0 -1 1 0 -1 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.271160522426 0.722851899669 3 7 1 11 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927330844022 0.997356101786 2 11 6 8 0132 0132 0213 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 -1 1 1 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 0.831492921180 1.533964772202 9 10 2 7 0213 0213 0132 2103 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 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023331094384 0.664776462138 8 3 4 10 0213 0132 0132 3120 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 0 1 -1 -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.728839477574 0.722851899669 9 4 8 11 3120 0132 0213 3012 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 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.363991028595 0.878699622832 5 7 10 6 0132 0132 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444650667823 0.688343591022 ==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' : d['c_1001_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_11']), 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : negation(d['c_0101_11']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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_1100_9' : negation(d['c_0011_8']), 'c_1100_8' : negation(d['c_0101_2']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_11']), 'c_1010_9' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0110_10'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_10'], 'c_0110_8' : negation(d['c_0110_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0110_10, c_1001_0, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 31332422570336985004478/2285292984033950649*c_1001_5^17 - 275300995097902162735438/2285292984033950649*c_1001_5^16 - 298550065457150628498448/253921442670438961*c_1001_5^15 - 13239178025538221976924170/2285292984033950649*c_1001_5^14 - 34489278884772533394346471/2285292984033950649*c_1001_5^13 - 37971366438813335689706582/2285292984033950649*c_1001_5^12 + 15827150070231117934157150/2285292984033950649*c_1001_5^11 + 71030123683865748859615412/2285292984033950649*c_1001_5^10 + 2560642817896457970975810/253921442670438961*c_1001_5^9 - 62059966532891727638813368/2285292984033950649*c_1001_5^8 - 48028348962035728098045245/2285292984033950649*c_1001_5^7 + 16391094732372770247589801/2285292984033950649*c_1001_5^6 + 2351880830119315230785456/207753907639450059*c_1001_5^5 + 1774185021802656429141695/2285292984033950649*c_1001_5^4 - 1887504102655216255498790/761764328011316883*c_1001_5^3 - 1337152787186764840535057/2285292984033950649*c_1001_5^2 + 147497939243716264427600/761764328011316883*c_1001_5 + 146028205079017871708465/2285292984033950649, c_0011_0 - 1, c_0011_10 - 380993098455944743847/6855878952101851947*c_1001_5^17 - 3575827148586946391233/6855878952101851947*c_1001_5^16 - 1287248119454337621154/253921442670438961*c_1001_5^15 - 181301188544189860483454/6855878952101851947*c_1001_5^14 - 523028711522438811317953/6855878952101851947*c_1001_5^13 - 751098310832337578183234/6855878952101851947*c_1001_5^12 - 196422799860953293192126/6855878952101851947*c_1001_5^11 + 811829694377212243362992/6855878952101851947*c_1001_5^10 + 27559414480729632890831/253921442670438961*c_1001_5^9 - 410769086939411101148476/6855878952101851947*c_1001_5^8 - 855518202326396215373810/6855878952101851947*c_1001_5^7 - 232231123119318293036951/6855878952101851947*c_1001_5^6 + 20999495865464600718236/623261722918350177*c_1001_5^5 + 149997200925801958085288/6855878952101851947*c_1001_5^4 + 802739683100163427384/2285292984033950649*c_1001_5^3 - 19551497001941809306874/6855878952101851947*c_1001_5^2 - 1893880148799012518080/2285292984033950649*c_1001_5 - 603986360855956270240/6855878952101851947, c_0011_3 + 279891712375127315459/6855878952101851947*c_1001_5^17 + 2615588618763073406227/6855878952101851947*c_1001_5^16 + 942064619604587624335/253921442670438961*c_1001_5^15 + 132236641622103932162177/6855878952101851947*c_1001_5^14 + 379632964516998371616490/6855878952101851947*c_1001_5^13 + 540075437605167161413523/6855878952101851947*c_1001_5^12 + 131861632172884107123901/6855878952101851947*c_1001_5^11 - 591451698499742004434294/6855878952101851947*c_1001_5^10 - 19491724771252507331583/253921442670438961*c_1001_5^9 + 306436483084841682441811/6855878952101851947*c_1001_5^8 + 611587267679149789819301/6855878952101851947*c_1001_5^7 + 159501620447657532135533/6855878952101851947*c_1001_5^6 - 15146685024491187010700/623261722918350177*c_1001_5^5 - 105831293427800126232377/6855878952101851947*c_1001_5^4 - 398999948050822815955/2285292984033950649*c_1001_5^3 + 13888995721517820841502/6855878952101851947*c_1001_5^2 + 1335058439495728168312/2285292984033950649*c_1001_5 + 426710418067115830225/6855878952101851947, c_0011_8 + 210620053308031747225/6855878952101851947*c_1001_5^17 + 1980020692094156012624/6855878952101851947*c_1001_5^16 + 712740468970228411271/253921442670438961*c_1001_5^15 + 100521183837520102791292/6855878952101851947*c_1001_5^14 + 290674171251565719781883/6855878952101851947*c_1001_5^13 + 419596979503828883104891/6855878952101851947*c_1001_5^12 + 114636586227655103604233/6855878952101851947*c_1001_5^11 - 447943388737060433195452/6855878952101851947*c_1001_5^10 - 15518569146128507370877/253921442670438961*c_1001_5^9 + 221364457168890427062035/6855878952101851947*c_1001_5^8 + 477877145625498973502347/6855878952101851947*c_1001_5^7 + 135585842745654607574956/6855878952101851947*c_1001_5^6 - 11549819584629799363501/623261722918350177*c_1001_5^5 - 85339220165913046993795/6855878952101851947*c_1001_5^4 - 739414112353637508407/2285292984033950649*c_1001_5^3 + 11005853374510188620482/6855878952101851947*c_1001_5^2 + 1094450255355531621182/2285292984033950649*c_1001_5 + 352845726160283074352/6855878952101851947, c_0101_0 + 43761552541465000520/6855878952101851947*c_1001_5^17 + 387449108259124218196/6855878952101851947*c_1001_5^16 + 140760401821523795493/253921442670438961*c_1001_5^15 + 18927608751525337589351/6855878952101851947*c_1001_5^14 + 51231440452230567967423/6855878952101851947*c_1001_5^13 + 64938977997219292591547/6855878952101851947*c_1001_5^12 + 3127320728572442168935/6855878952101851947*c_1001_5^11 - 78706696862620814225444/6855878952101851947*c_1001_5^10 - 1841709581810508401261/253921442670438961*c_1001_5^9 + 47236549738338914218600/6855878952101851947*c_1001_5^8 + 66635266438246127769353/6855878952101851947*c_1001_5^7 + 13041883843713789957248/6855878952101851947*c_1001_5^6 - 1702387494420391964459/623261722918350177*c_1001_5^5 - 11182689132201036862865/6855878952101851947*c_1001_5^4 - 36932214453698154733/2285292984033950649*c_1001_5^3 + 1541077122186295882064/6855878952101851947*c_1001_5^2 + 150974086566114577750/2285292984033950649*c_1001_5 + 49754215795263236863/6855878952101851947, c_0101_1 + 183328504988199748363/6855878952101851947*c_1001_5^17 + 1713751371063483742478/6855878952101851947*c_1001_5^16 + 617249976350511098593/253921442670438961*c_1001_5^15 + 86666628299963735938204/6855878952101851947*c_1001_5^14 + 248939299580316740865398/6855878952101851947*c_1001_5^13 + 354590163935087167143841/6855878952101851947*c_1001_5^12 + 87646616224512836608094/6855878952101851947*c_1001_5^11 - 387010088656222732389976/6855878952101851947*c_1001_5^10 - 12821522453411472638407/253921442670438961*c_1001_5^9 + 199259023071594043065422/6855878952101851947*c_1001_5^8 + 401401371152097608044303/6855878952101851947*c_1001_5^7 + 106156925396375556978556/6855878952101851947*c_1001_5^6 - 9895059087629320429516/623261722918350177*c_1001_5^5 - 69895495099129869678721/6855878952101851947*c_1001_5^4 - 337992317420654776796/2285292984033950649*c_1001_5^3 + 9142879284191697469690/6855878952101851947*c_1001_5^2 + 884032806019761546608/2285292984033950649*c_1001_5 + 286747591327229167406/6855878952101851947, c_0101_11 - 18054419563824172924/6855878952101851947*c_1001_5^17 - 177508275939561774662/6855878952101851947*c_1001_5^16 - 63813707463141759572/253921442670438961*c_1001_5^15 - 9324453405462401442064/6855878952101851947*c_1001_5^14 - 28608750175528369775582/6855878952101851947*c_1001_5^13 - 46396173972822883479340/6855878952101851947*c_1001_5^12 - 23750529977490597961382/6855878952101851947*c_1001_5^11 + 38033096738133414573052/6855878952101851947*c_1001_5^10 + 2058316810833569750033/253921442670438961*c_1001_5^9 - 7218954843716057090948/6855878952101851947*c_1001_5^8 - 55731224138766916218799/6855878952101851947*c_1001_5^7 - 27638618130000276451102/6855878952101851947*c_1001_5^6 + 1100430455332532245537/623261722918350177*c_1001_5^5 + 13147228545244193963995/6855878952101851947*c_1001_5^4 + 443138040144386575817/2285292984033950649*c_1001_5^3 - 1568756580943720008292/6855878952101851947*c_1001_5^2 - 170984657310090408134/2285292984033950649*c_1001_5 - 57419999178842608502/6855878952101851947, c_0101_2 + 5992663253798236343/6855878952101851947*c_1001_5^17 + 66331497152043149914/6855878952101851947*c_1001_5^16 + 23636258322232121452/253921442670438961*c_1001_5^15 + 3741103202373561943454/6855878952101851947*c_1001_5^14 + 12731474311152647056984/6855878952101851947*c_1001_5^13 + 24086715877397204157827/6855878952101851947*c_1001_5^12 + 18406528326375770907412/6855878952101851947*c_1001_5^11 - 13978212297425454296891/6855878952101851947*c_1001_5^10 - 1256116687719977808314/253921442670438961*c_1001_5^9 - 4575489672382567019099/6855878952101851947*c_1001_5^8 + 30266146982292555204158/6855878952101851947*c_1001_5^7 + 20030298171747608946851/6855878952101851947*c_1001_5^6 - 460230183351485228237/623261722918350177*c_1001_5^5 - 8252531944141554202007/6855878952101851947*c_1001_5^4 - 448028345478243612046/2285292984033950649*c_1001_5^3 + 858413447756907477833/6855878952101851947*c_1001_5^2 + 114816253497577505749/2285292984033950649*c_1001_5 + 44619898254288635380/6855878952101851947, c_0110_10 - 72403866395985690977/6855878952101851947*c_1001_5^17 - 661075581876611959855/6855878952101851947*c_1001_5^16 - 238788840511183543853/253921442670438961*c_1001_5^15 - 32905062382707390678215/6855878952101851947*c_1001_5^14 - 91937389181132258114815/6855878952101851947*c_1001_5^13 - 123861743131688840649674/6855878952101851947*c_1001_5^12 - 17595507480244540992160/6855878952101851947*c_1001_5^11 + 145578743910357510320399/6855878952101851947*c_1001_5^10 + 4013821468714498073146/253921442670438961*c_1001_5^9 - 84584616714939172751659/6855878952101851947*c_1001_5^8 - 134647215107902151269226/6855878952101851947*c_1001_5^7 - 27013572836692482852755/6855878952101851947*c_1001_5^6 + 3474176759036316110453/623261722918350177*c_1001_5^5 + 21674491665008801360015/6855878952101851947*c_1001_5^4 - 68517527226758950532/2285292984033950649*c_1001_5^3 - 2969522929609445485613/6855878952101851947*c_1001_5^2 - 277285375378520767486/2285292984033950649*c_1001_5 - 84465622706011627558/6855878952101851947, c_1001_0 - 4546530946905527638/623261722918350177*c_1001_5^17 - 43611199758443738972/623261722918350177*c_1001_5^16 - 15675894222183971629/23083767515494451*c_1001_5^15 - 2246295242890475336467/623261722918350177*c_1001_5^14 - 6659936608970040514895/623261722918350177*c_1001_5^13 - 10106487388068549312199/623261722918350177*c_1001_5^12 - 3789546375073628522930/623261722918350177*c_1001_5^11 + 9735822367300667573635/623261722918350177*c_1001_5^10 + 403720021522193199791/23083767515494451*c_1001_5^9 - 3784192990554722519558/623261722918350177*c_1001_5^8 - 11669987962141623668827/623261722918350177*c_1001_5^7 - 4378609833328765725811/623261722918350177*c_1001_5^6 + 2796170621032090564625/623261722918350177*c_1001_5^5 + 2367243653050519200517/623261722918350177*c_1001_5^4 + 60811519897188719126/207753907639450059*c_1001_5^3 - 288456071390109144121/623261722918350177*c_1001_5^2 - 31733788374052457204/207753907639450059*c_1001_5 - 10969915180373262584/623261722918350177, c_1001_11 + 43761552541465000520/6855878952101851947*c_1001_5^17 + 387449108259124218196/6855878952101851947*c_1001_5^16 + 140760401821523795493/253921442670438961*c_1001_5^15 + 18927608751525337589351/6855878952101851947*c_1001_5^14 + 51231440452230567967423/6855878952101851947*c_1001_5^13 + 64938977997219292591547/6855878952101851947*c_1001_5^12 + 3127320728572442168935/6855878952101851947*c_1001_5^11 - 78706696862620814225444/6855878952101851947*c_1001_5^10 - 1841709581810508401261/253921442670438961*c_1001_5^9 + 47236549738338914218600/6855878952101851947*c_1001_5^8 + 66635266438246127769353/6855878952101851947*c_1001_5^7 + 13041883843713789957248/6855878952101851947*c_1001_5^6 - 1702387494420391964459/623261722918350177*c_1001_5^5 - 11182689132201036862865/6855878952101851947*c_1001_5^4 - 36932214453698154733/2285292984033950649*c_1001_5^3 + 1541077122186295882064/6855878952101851947*c_1001_5^2 + 150974086566114577750/2285292984033950649*c_1001_5 + 49754215795263236863/6855878952101851947, c_1001_5^18 + 10*c_1001_5^17 + 97*c_1001_5^16 + 532*c_1001_5^15 + 1666*c_1001_5^14 + 2819*c_1001_5^13 + 1738*c_1001_5^12 - 1800*c_1001_5^11 - 3263*c_1001_5^10 - 142*c_1001_5^9 + 2897*c_1001_5^8 + 2004*c_1001_5^7 - 216*c_1001_5^6 - 767*c_1001_5^5 - 254*c_1001_5^4 + 46*c_1001_5^3 + 47*c_1001_5^2 + 11*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB