Magma V2.19-8 Tue Aug 20 2013 23:39:41 on localhost [Seed = 4122186163] Type ? for help. Type -D to quit. Loading file "K14n12942__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12942 geometric_solution 9.68989925 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 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.501234315091 0.643234995013 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.969833799843 0.578463547476 8 0 10 9 0132 0132 0132 0132 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 -1 0 1 1 0 0 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485683665433 0.501388338022 8 4 5 0 2031 1023 0321 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622574684070 0.679495778315 3 9 0 6 1023 2031 0132 0321 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 1 -1 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.089582436510 1.135244944573 10 1 3 7 2310 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.389035141642 0.596232281279 9 4 1 10 1230 0321 0132 3120 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 1 0 -1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116006327073 0.841123495848 5 7 7 1 3012 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.960791684914 0.847923533736 2 9 3 10 0132 2310 1302 0321 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 -1 0 0 1 0 1 0 -1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.265005611623 1.128708178115 4 6 2 8 1302 3012 0132 3201 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 -1 1 0 0 1 -1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.060495394066 0.634078007337 6 8 5 2 3120 0321 3201 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 -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.908940617244 0.482689009851 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_9']), 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0110_9']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : d['c_0101_0'], 'c_1010_10' : negation(d['c_0110_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_10' : negation(d['c_0011_7']), '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_10' : d['1'], 's_0_8' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1100_10' : negation(d['c_0011_0']), 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_9']), 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : negation(d['c_0110_9']), 'c_1100_8' : d['c_0101_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_3_8' : d['1'], '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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_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_0011_7'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0110_9, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 54967180782377560914038067107263728454032968769120604870945216/4765\ 903030242957793342984854721816887059089302721387573339221*c_1001_5^\ 22 - 56508516477844535044670989246607008474686142211498688545097904\ 0/14297709090728873380028954564165450661177267908164162720017663*c_\ 1001_5^21 - 2367982870703932832220654059319893181250591708250195455\ 89397696/1429770909072887338002895456416545066117726790816416272001\ 7663*c_1001_5^20 + 235463093141778856161416263610872961397141563136\ 4189400126550496/14297709090728873380028954564165450661177267908164\ 162720017663*c_1001_5^19 + 3248415833754623093963859811832749967942\ 39772704119148467683088/4765903030242957793342984854721816887059089\ 302721387573339221*c_1001_5^18 - 6814248526206510760068440421709479\ 200785284041235878176567500832/142977090907288733800289545641654506\ 61177267908164162720017663*c_1001_5^17 - 3375717590583444876025761758412730202885800608078816372028761472/47\ 65903030242957793342984854721816887059089302721387573339221*c_1001_\ 5^16 + 134552745586325126530922614778451928726780081291459521193197\ 4936/621639525683864060001258894094150028746837735137572292174681*c\ _1001_5^15 + 648511635014749504802139940196774801929058455695066729\ 02544032/5883830901534515794250598586076317144517394200890601942394\ 1*c_1001_5^14 - 758175702247305340172245699586804050108714552023724\ 75143233824936/1429770909072887338002895456416545066117726790816416\ 2720017663*c_1001_5^13 + 925808805616577908209770364815997857408072\ 6675644106666044771688/14297709090728873380028954564165450661177267\ 908164162720017663*c_1001_5^12 + 8877768999845646144820995687040475\ 9539221493640471190076795414532/14297709090728873380028954564165450\ 661177267908164162720017663*c_1001_5^11 - 38667332960528091185532057216627242774704324998475540135982903648/1\ 4297709090728873380028954564165450661177267908164162720017663*c_100\ 1_5^10 - 5678875333397637972969485931448812810472109210828782520573\ 3877914/14297709090728873380028954564165450661177267908164162720017\ 663*c_1001_5^9 + 80122117336739927113702825194357235532349944534322\ 456684735551426/142977090907288733800289545641654506611772679081641\ 62720017663*c_1001_5^8 - 384471064728938916068660163048201709891874\ 71862847567744661323136/1429770909072887338002895456416545066117726\ 7908164162720017663*c_1001_5^7 - 2666373762577176897966177058228604\ 213907673646498259382821332263/109982377620991333692530419724349620\ 4705943685243397132309051*c_1001_5^6 + 1513017352993443103105468424637515243249444320483342629458071/28039\ 6718847029345963580917498488961996769388875765580593*c_1001_5^5 - 17526964072571119514013590768496317298163653284252575582574508122/1\ 4297709090728873380028954564165450661177267908164162720017663*c_100\ 1_5^4 - 19669887365292805150762722477898362021583239600013802556637\ 283131/142977090907288733800289545641654506611772679081641627200176\ 63*c_1001_5^3 + 253895159244239231728073914148548592396193543642701\ 71717542226621/1429770909072887338002895456416545066117726790816416\ 2720017663*c_1001_5^2 - 2121005647637342608223812605592858437561671\ 21857201597594486606/3666079254033044456417680657478320682353145617\ 47799044103017*c_1001_5 + 30852269066221452368104379424045421967577\ 5241732791462546177297/14297709090728873380028954564165450661177267\ 908164162720017663, c_0011_0 - 1, c_0011_10 + 576802484172066958462422774368305988701850302784/1595755280\ 2505692113375580225087726989982158454763*c_1001_5^22 - 1715669162569282055909800052503253179206186097152/15957552802505692\ 113375580225087726989982158454763*c_1001_5^21 - 1496592115724904530075486777136287291251472812160/15957552802505692\ 113375580225087726989982158454763*c_1001_5^20 + 7192515596896385917919545097052299921122219076352/15957552802505692\ 113375580225087726989982158454763*c_1001_5^19 + 6513106937236959802301241133278834960857272427744/15957552802505692\ 113375580225087726989982158454763*c_1001_5^18 - 19369752640772332026187048548188306593373479749152/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 - 43625414077818806455150107958415604455234178026400/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^16 + 84183242243906997164580877349314570132774599478288/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^15 + 86916700245111125822723903148845637497073128535168/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^14 - 205845096067866203129894271978788623225562372259752/159575528025056\ 92113375580225087726989982158454763*c_1001_5^13 - 51905901360308975325937864094980339565544441927344/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^12 + 237339838974829181989191332007571297394783793017664/159575528025056\ 92113375580225087726989982158454763*c_1001_5^11 - 17103816022405389778157070254353732116388112270020/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^10 - 147954370001596406358295467599379916172085319307144/159575528025056\ 92113375580225087726989982158454763*c_1001_5^9 + 180692863291174338817022149249242082409941896599012/159575528025056\ 92113375580225087726989982158454763*c_1001_5^8 - 94657105424634958086951897545993911437532053216704/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^7 - 101555114050211016226552232039666908187627157245986/159575528025056\ 92113375580225087726989982158454763*c_1001_5^6 + 210315501992683976724829817495941613092013664647728/159575528025056\ 92113375580225087726989982158454763*c_1001_5^5 - 1668792454556150637906718885207852374793302807749/15957552802505692\ 113375580225087726989982158454763*c_1001_5^4 - 24536677684236422705679892215527267814513485807388/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^3 + 74294987893731179764328516275759684530114191636003/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^2 - 2685985539199273277188326938013880664341817931838/15957552802505692\ 113375580225087726989982158454763*c_1001_5 + 4053450061540155061883594116122526131090217820629/15957552802505692\ 113375580225087726989982158454763, c_0011_3 + 13459863604508459227214765492496603109392400135552/175533080\ 827562613247131382475964996889803743002393*c_1001_5^22 - 40941878922462380441982221121118857473107756108032/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 - 37662341462293529321596850885561651279528277265248/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 + 186402230132921798922730003015696687532062557219808/175533080827562\ 613247131382475964996889803743002393*c_1001_5^19 + 154817228532976074566703830731581545438951778046944/175533080827562\ 613247131382475964996889803743002393*c_1001_5^18 - 48336535052312644495976093652489245020642621406640/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 - 1045929997548548817059381275982976491266772370841936/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^16 + 2221414888960511417517861736441659350972631454177920/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 + 2297006815341056018752046578265877757739666630627640/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^14 - 5761002719513867436110042871605160217508722704178824/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 - 1685014837193277789595385237636050583330721384162992/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 + 7691899904018525236889770441827021082865697957211704/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 - 394361442751106971532648932556265616477555884444412/175533080827562\ 613247131382475964996889803743002393*c_1001_5^10 - 5942455841203905272052343448914017015138969816537360/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^9 + 4848972177638539526018353920034885099436685033427922/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 - 682154306693555176860864625079737489130444276494572/175533080827562\ 613247131382475964996889803743002393*c_1001_5^7 - 4207947858052355873707145850254809929833758401452770/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 + 5440864935365204531201638551946652666916883494812411/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 + 992894437795150331766665972728592294944932598564250/175533080827562\ 613247131382475964996889803743002393*c_1001_5^4 - 2430439977544837683134984923400513128067376544566490/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^3 + 1618371517858697024845204723173877301595267141829636/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 4667278417253178468586110788244150178174203968587/17553308082756261\ 3247131382475964996889803743002393*c_1001_5 - 436450229107028902915277256081853788384593512886454/175533080827562\ 613247131382475964996889803743002393, c_0011_6 - 4577936697351526648694443154780271956831871959872/1755330808\ 27562613247131382475964996889803743002393*c_1001_5^22 + 21025370325572308163198412927758666122597120459424/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 - 12614287209951621758496989417213272873023607617376/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 - 69597307748520995250486868326060013933003572722976/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^19 + 50084159566086828654900845869902573008670089004432/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^18 + 18520314270686608232437802299674837609692247238192/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 + 60348730776940842557032919905234755089863273124736/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^16 - 1132066810915489258014780191147345477571337547870040/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 + 606059135969821018418433534301052037376921519552648/175533080827562\ 613247131382475964996889803743002393*c_1001_5^14 + 2374973647738929803092567157723345204893428936434808/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 - 2781930212849391490467654159319105237894151196992232/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 - 1494761464396337085864678792543139280427672690662052/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 + 3803714598294286866098887114869417036350310743398436/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 - 660008087117995472255720253284992749315299853227878/175533080827562\ 613247131382475964996889803743002393*c_1001_5^9 - 3587445063354065137695311784210444597603898696286684/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 + 4477031474810332933799702119289295125861988646895722/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 - 1008833386678686165682757259482303769894115055019195/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 - 3310017404420338768456004358682255212744746971754918/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 + 3489359696343844034018668360089287950315080551373497/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^4 - 722310124132146581596015241492546979293304596087704/175533080827562\ 613247131382475964996889803743002393*c_1001_5^3 - 1342449055092777120267124687906521141781845152839218/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 1459487006768212058962358076860930722411169528965114/17553308082756\ 2613247131382475964996889803743002393*c_1001_5 - 508426860725445984243987380241017838381073264403165/175533080827562\ 613247131382475964996889803743002393, c_0011_7 + 4357622973924870525675437341430527747139167934208/1755330808\ 27562613247131382475964996889803743002393*c_1001_5^22 - 15267774611809160233499709450501918290853352049632/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 - 3681840812369399867226464901745084984732615223328/17553308082756261\ 3247131382475964996889803743002393*c_1001_5^20 + 58288736190419108526608569831393862550615983857216/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^19 + 17637996339697643224254504493120273642164527487056/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^18 - 14914571247062222026714891985878398237758168647440/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 - 237212389991455313059545579380943046066925135604112/175533080827562\ 613247131382475964996889803743002393*c_1001_5^16 + 787102803276872882364108873871786722204196595621544/175533080827562\ 613247131382475964996889803743002393*c_1001_5^15 + 241674233505824344313018245168819824016455237019208/175533080827562\ 613247131382475964996889803743002393*c_1001_5^14 - 1811652833219715314408566894700881302128480103975992/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 + 623723314284412679946834509082659806291412856412144/175533080827562\ 613247131382475964996889803743002393*c_1001_5^12 + 1802501098802465250174034732409955768097756394485732/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 - 1410096571125265796161266294906521001174389224551392/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 - 792662157280391132432219613269197786959529223720610/175533080827562\ 613247131382475964996889803743002393*c_1001_5^9 + 2411949039886791369929819399361490369987544852497220/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 - 1690685381352892826795674252461586945113038006506216/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 - 665241798881711781260430171007328906849803119483901/175533080827562\ 613247131382475964996889803743002393*c_1001_5^6 + 2069098981869541518732988948079271017136527321305348/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 - 665466880244070706313090164104079314135988106663661/175533080827562\ 613247131382475964996889803743002393*c_1001_5^4 - 281619868587622442533574830914455408982225502854634/175533080827562\ 613247131382475964996889803743002393*c_1001_5^3 + 801201183850660499308538466999402991422705479439518/175533080827562\ 613247131382475964996889803743002393*c_1001_5^2 - 269763798483176433488033197261508366676111525151574/175533080827562\ 613247131382475964996889803743002393*c_1001_5 + 48336634613292348131596206522305032185635132565881/1755330808275626\ 13247131382475964996889803743002393, c_0101_0 + 5943018330548748664882222451846590104346290064064/1755330808\ 27562613247131382475964996889803743002393*c_1001_5^22 - 27482246702534808174390651830777777493069464871616/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 + 16306931281735568542798318988796845999318396881088/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 + 93115180184625386476968444238474139407921210598336/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^19 - 66539648296391686388266631878485552244534497209664/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^18 - 25265162421269332182800234963338947117431664825984/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 - 73191530374616723161133683363793908742294088180160/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^16 + 1521480036969584415414544318175911680152791475707744/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 - 783694444200367700722091271210451519488307721923248/175533080827562\ 613247131382475964996889803743002393*c_1001_5^14 - 3274032289387363437329599443538000309320414803848584/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 + 3619912228578578811617997386625637163967042872831776/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 + 2416843173538458506951327992721871753158026912170136/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 - 5071142233473273088899082599812243793094770711301364/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 + 151463236001117848825659442699265980526282668130852/175533080827562\ 613247131382475964996889803743002393*c_1001_5^9 + 4977110250448398428237463261538296910743207003511084/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 - 5249416758401879213108391238699210821218383929344060/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 + 847128294726568930394510066351081935746342838439200/175533080827562\ 613247131382475964996889803743002393*c_1001_5^6 + 4254237122801984683685626652205585729697197157129048/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 - 4175709978249062942815562086817892245081060675277869/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^4 + 375274808656697762499753273751580233693706078601054/175533080827562\ 613247131382475964996889803743002393*c_1001_5^3 + 1488052179129746940953656614863930582663660456136125/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 - 1677630360696496509187977194409283149627932427684128/17553308082756\ 2613247131382475964996889803743002393*c_1001_5 + 467794502392687248776780694046105496588133873168041/175533080827562\ 613247131382475964996889803743002393, c_0101_1 - 29932869305997225466062333823577500953450538692416/175533080\ 827562613247131382475964996889803743002393*c_1001_5^22 + 103312108426298073230115572832503973942724515526528/175533080827562\ 613247131382475964996889803743002393*c_1001_5^21 + 36267165873685175168003219281154648893449246302272/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 - 416875786465717756262931383329522828605386820981536/175533080827562\ 613247131382475964996889803743002393*c_1001_5^19 - 150657004670262850933753054960245814435912572694944/175533080827562\ 613247131382475964996889803743002393*c_1001_5^18 + 107737088692014665525019355696014457487729297449504/159575528025056\ 92113375580225087726989982158454763*c_1001_5^17 + 1742433222753516496917426159878238997976422126026832/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^16 - 5506392288865252766942924719982798816786737483808464/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 - 2343373179634108409345328136283250765695206530768784/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^14 + 13222258735038177812230152068080527461785401529250112/1755330808275\ 62613247131382475964996889803743002393*c_1001_5^13 - 2968449336748175581806941706626076808824355248241520/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 - 14435001388865474838028241110510447330081849509916224/1755330808275\ 62613247131382475964996889803743002393*c_1001_5^11 + 8514346943861132825458002868523777757365137207950788/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 + 7832826175609339644591053916484219295165862251062740/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^9 - 15439180094636651101439263298903915134597137193797708/1755330808275\ 62613247131382475964996889803743002393*c_1001_5^8 + 9165244879245417754617869892256311571327933605929266/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 + 5309246272943574324241001470729865332244447069720388/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 - 14214977377833942017206005677027873343666432748352690/1755330808275\ 62613247131382475964996889803743002393*c_1001_5^5 + 4726335797099265135784818058367807989253478742364696/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^4 + 1975899028348277007051841458677739314267460334841119/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^3 - 5235177775613099030147986461965020506410774478797018/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 2216705997858755102647073729375341361105632932948818/17553308082756\ 2613247131382475964996889803743002393*c_1001_5 - 337355751865540680806171901393994234350169828284814/175533080827562\ 613247131382475964996889803743002393, c_0101_3 - 15238016002296021353346399648109210656483871204480/175533080\ 827562613247131382475964996889803743002393*c_1001_5^22 + 58394563486377745514572002336666836619508198640960/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 + 244107501015540873143614021167454688466068193504/175533080827562613\ 247131382475964996889803743002393*c_1001_5^20 - 225471411872106245032577840264926083927336824114592/175533080827562\ 613247131382475964996889803743002393*c_1001_5^19 + 1665033652747010010782773644671420991007234682304/17553308082756261\ 3247131382475964996889803743002393*c_1001_5^18 + 59820330498167261732830617770378424932660902963504/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 + 667656109181675204842371904823235593385829190100720/175533080827562\ 613247131382475964996889803743002393*c_1001_5^16 - 3213273026761830997749871210463233247865607324673424/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 - 236510088395245179357250701019938370518065267124216/175533080827562\ 613247131382475964996889803743002393*c_1001_5^14 + 7516198046837475027415141222935035753728609902203896/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 - 3907839634898979038034097284948633388290379333004256/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 - 7567069144760522044446057206946715530609203491842656/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 + 7257196714434152413593177000720213997362019240282308/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 + 3187725194971061749191769659443016589495474723888740/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^9 - 9821011160033101502032965263906023923108133678286390/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 + 7262604170107969802960600107388497586044988500538596/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 + 1773901670491601241343874333718670318431758449164980/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 - 8921464141794021252548684357135214521207291004892549/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 + 4899016128599155330631543770444076489361221755946226/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^4 + 1001141755674833765830433831145373748225515427759690/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^3 - 3300400241238366038671618769684958671040712631383066/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 2001893652093711468792391078288540515584966056020785/17553308082756\ 2613247131382475964996889803743002393*c_1001_5 - 140134509700545201021446867104859526793498112956870/175533080827562\ 613247131382475964996889803743002393, c_0101_7 - 12447119704495331256422003329093471589932782676032/175533080\ 827562613247131382475964996889803743002393*c_1001_5^22 + 42607757489737929193292728547278585416193070628480/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 + 15465120495260462611738686129751966332613416078208/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 - 170365940776010666930770356651574383225904075158688/175533080827562\ 613247131382475964996889803743002393*c_1001_5^19 - 65512606459639606290344616517468763382887079645760/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^18 + 43685950311325986400994468334298384912106299626048/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 + 728167871877430478959529041227718419239930008319376/175533080827562\ 613247131382475964996889803743002393*c_1001_5^16 - 2239551541440618770922469651109351639647022641491264/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 - 971106986529148284265981504453179524061763329427328/175533080827562\ 613247131382475964996889803743002393*c_1001_5^14 + 5342652329812848265790852779677867568292756723260880/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 - 1221584895988096841599327480989588569555346540347800/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 - 5740230926248089727305143824399071185843152195927408/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 + 3521026178673060460629452320972124696217789715089508/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^10 + 3011112119460801191322376116419385483446323428070100/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^9 - 6487219762428711996212735748902025872919748733471988/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 + 3912863621333308468382196180303694827120109731777938/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^7 + 2309662202946413148086860987608546871065426504077958/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 - 5865214580286346363097758244072436293293551815464086/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 + 1754538328685576201515214112014990042602903971249590/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^4 + 848195484583471061549721455280350661866612322078252/175533080827562\ 613247131382475964996889803743002393*c_1001_5^3 - 2178207295478997862348933059114637991465227880784425/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 782904064154278062208091128311157450483989190322636/175533080827562\ 613247131382475964996889803743002393*c_1001_5 - 117427965062642808980375743357159302510590828174251/175533080827562\ 613247131382475964996889803743002393, c_0110_9 + 13459863604508459227214765492496603109392400135552/175533080\ 827562613247131382475964996889803743002393*c_1001_5^22 - 40941878922462380441982221121118857473107756108032/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^21 - 37662341462293529321596850885561651279528277265248/1755330808275626\ 13247131382475964996889803743002393*c_1001_5^20 + 186402230132921798922730003015696687532062557219808/175533080827562\ 613247131382475964996889803743002393*c_1001_5^19 + 154817228532976074566703830731581545438951778046944/175533080827562\ 613247131382475964996889803743002393*c_1001_5^18 - 48336535052312644495976093652489245020642621406640/1595755280250569\ 2113375580225087726989982158454763*c_1001_5^17 - 1045929997548548817059381275982976491266772370841936/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^16 + 2221414888960511417517861736441659350972631454177920/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^15 + 2297006815341056018752046578265877757739666630627640/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^14 - 5761002719513867436110042871605160217508722704178824/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^13 - 1685014837193277789595385237636050583330721384162992/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^12 + 7691899904018525236889770441827021082865697957211704/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^11 - 394361442751106971532648932556265616477555884444412/175533080827562\ 613247131382475964996889803743002393*c_1001_5^10 - 5942455841203905272052343448914017015138969816537360/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^9 + 4848972177638539526018353920034885099436685033427922/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^8 - 682154306693555176860864625079737489130444276494572/175533080827562\ 613247131382475964996889803743002393*c_1001_5^7 - 4207947858052355873707145850254809929833758401452770/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^6 + 5440864935365204531201638551946652666916883494812411/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^5 + 992894437795150331766665972728592294944932598564250/175533080827562\ 613247131382475964996889803743002393*c_1001_5^4 - 2430439977544837683134984923400513128067376544566490/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^3 + 1618371517858697024845204723173877301595267141829636/17553308082756\ 2613247131382475964996889803743002393*c_1001_5^2 + 4667278417253178468586110788244150178174203968587/17553308082756261\ 3247131382475964996889803743002393*c_1001_5 - 436450229107028902915277256081853788384593512886454/175533080827562\ 613247131382475964996889803743002393, c_1001_5^23 - 4*c_1001_5^22 + c_1001_5^21 + 27/2*c_1001_5^20 - 3*c_1001_5^19 - 38*c_1001_5^18 - 139/4*c_1001_5^17 + 407/2*c_1001_5^16 - 83/2*c_1001_5^15 - 427*c_1001_5^14 + 2937/8*c_1001_5^13 + 2327/8*c_1001_5^12 - 8353/16*c_1001_5^11 + 707/16*c_1001_5^10 + 1157/2*c_1001_5^9 - 21651/32*c_1001_5^8 + 4777/32*c_1001_5^7 + 15519/32*c_1001_5^6 - 477*c_1001_5^5 + 5107/32*c_1001_5^4 + 2823/16*c_1001_5^3 - 3147/16*c_1001_5^2 + 1621/16*c_1001_5 - 739/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.500 seconds, Total memory usage: 32.09MB