Magma V2.19-8 Wed Aug 21 2013 00:21:26 on localhost [Seed = 2581564398] Type ? for help. Type -D to quit. Loading file "K14n10855__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n10855 geometric_solution 11.66554937 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 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 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.481558750951 1.031114217225 0 2 5 5 0132 1302 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 0 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.531240562454 0.704449873543 3 0 6 1 1302 0132 0132 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 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.636671744099 0.684894507082 7 2 8 0 0132 2031 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 -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.163693436702 1.528284188254 9 8 0 8 0132 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 1 -1 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.127428140828 0.520670536020 1 10 1 11 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 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.317580403529 0.904920355134 7 10 12 2 1230 1230 0132 0132 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 1 0 -1 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368720260835 0.474120146065 3 6 9 11 0132 3012 0132 1230 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 5 -4 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.136695002119 0.358568463925 4 10 4 3 1230 2031 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 -1 0 0 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.318852661874 1.017752272117 4 11 12 7 0132 0132 2310 0132 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 -4 0 4 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.243286557927 1.521507511494 8 5 6 12 1302 0132 3012 1302 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 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633944704201 1.117800258213 7 9 5 12 3012 0132 0132 1230 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 4 0 -4 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.442125665680 0.479316049064 11 9 10 6 3012 3201 2031 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 4 0 -5 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.357755886305 1.456127051956 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : negation(d['c_0101_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_12']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : negation(d['c_0011_8']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : negation(d['c_0101_8']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_1001_5'], 's_3_11' : 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_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_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' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_8']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_1100_0'], '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_1001_5']), '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_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_3']), '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_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : negation(d['c_0011_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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_11, c_0101_12, c_0101_8, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 30288168331688549926349983032649002360902550358442199/5906942872949\ 849246667755872041735639651384772480*c_1100_0^23 - 27800631750855557637372365819445676821176331809164971/1687697963699\ 956927619358820583353039900395649280*c_1100_0^22 - 304149707335777400455000568049337862445982005975482243/472555429835\ 9879397334204697633388511721107817984*c_1100_0^21 - 2452876823193492371627218392226170929511240259140807703/11813885745\ 899698493335511744083471279302769544960*c_1100_0^20 - 12080145777058195970606778906151829418766420271258958821/2362777149\ 1799396986671023488166942558605539089920*c_1100_0^19 - 1445676529303230425122475591172918362887923714892583985/11813885745\ 89969849333551174408347127930276954496*c_1100_0^18 - 5224030716911963514740527317280178266309552951384271263/23627771491\ 79939698667102348816694255860553908992*c_1100_0^17 - 36575060947708570682548977007121760190542700302004771373/1181388574\ 5899698493335511744083471279302769544960*c_1100_0^16 - 10163249330361878288939016322304660836746262550129491379/3375395927\ 399913855238717641166706079800791298560*c_1100_0^15 + 1158276508155029689801813974170248270273332958094551689/11813885745\ 899698493335511744083471279302769544960*c_1100_0^14 + 9513011239543612141453469852175548992248105213188483/16088636450905\ 21379999388770813491935081406720*c_1100_0^13 + 273473698990428563339857042692020477739042302969643556487/236277714\ 91799396986671023488166942558605539089920*c_1100_0^12 + 44678951774421084056204734136186547648058072337364198321/3375395927\ 399913855238717641166706079800791298560*c_1100_0^11 + 52684750055103068103746708692554520929945378149539748401/1181388574\ 5899698493335511744083471279302769544960*c_1100_0^10 - 32656793920868876861994444301408505531447311966328255153/2953471436\ 474924623333877936020867819825692386240*c_1100_0^9 - 229931943474895442402918767167324031128998912608598976131/118138857\ 45899698493335511744083471279302769544960*c_1100_0^8 - 355973911216438543656135641109461445963113333781376179711/236277714\ 91799396986671023488166942558605539089920*c_1100_0^7 + 58480314035909016227878080676360107136563932764804533527/2362777149\ 1799396986671023488166942558605539089920*c_1100_0^6 + 31917033632781689429274942132328735820007005342314218569/1687697963\ 699956927619358820583353039900395649280*c_1100_0^5 + 114418922187082374791962730495279771156805044105017925/105481122731\ 24730797620992628645956499377472808*c_1100_0^4 - 32705387913630162403320177828097765337458201475768886563/4725554298\ 359879397334204697633388511721107817984*c_1100_0^3 - 4185291235128860643225915575694275536731532876250608533/62178346031\ 0510447017658512846498488384356291840*c_1100_0^2 + 4785690184700777945427722735473304740713109256103946469/59069428729\ 49849246667755872041735639651384772480*c_1100_0 + 30619755117806201675056107855959808831494199284366352523/2362777149\ 1799396986671023488166942558605539089920, c_0011_0 - 1, c_0011_10 - 381545139917346773775846314507426713904/2556256002369511353\ 55779951950410239809*c_1100_0^23 - 1651341145426943897804239814762730046444/25562560023695113535577995\ 1950410239809*c_1100_0^22 - 652971578352645308660513877767457343364\ 2/255625600236951135355779951950410239809*c_1100_0^21 - 22217216948437861089800113350795923103345/2556256002369511353557799\ 51950410239809*c_1100_0^20 - 60906139035479799201321534608814659282\ 714/255625600236951135355779951950410239809*c_1100_0^19 - 152264903946883087466888939818168736695892/255625600236951135355779\ 951950410239809*c_1100_0^18 - 3157118497486043913671081705643743539\ 50858/255625600236951135355779951950410239809*c_1100_0^17 - 536310514510986347395253931378883718964672/255625600236951135355779\ 951950410239809*c_1100_0^16 - 7244250314129106825629371975176303627\ 86083/255625600236951135355779951950410239809*c_1100_0^15 - 635784314576445562724552631065208628848254/255625600236951135355779\ 951950410239809*c_1100_0^14 - 4471054340367957720443943222320347455\ 7/243685033590992502722383176311163241*c_1100_0^13 + 1001744053750525960240690476051692920494182/25562560023695113535577\ 9951950410239809*c_1100_0^12 + 209841065546673385091991182884137328\ 2421794/255625600236951135355779951950410239809*c_1100_0^11 + 2335973598707421656331855246236845061497665/25562560023695113535577\ 9951950410239809*c_1100_0^10 + 111035287214444355047944678976858918\ 7463479/255625600236951135355779951950410239809*c_1100_0^9 - 941901061292391965240967460759820420792525/255625600236951135355779\ 951950410239809*c_1100_0^8 - 24591196481916953935255835143595436625\ 25780/255625600236951135355779951950410239809*c_1100_0^7 - 2171612148270809890991317554492142723196587/25562560023695113535577\ 9951950410239809*c_1100_0^6 - 1956154927758001818697084211394368197\ 63035/255625600236951135355779951950410239809*c_1100_0^5 + 1263691398865907649165856670326614400341772/25562560023695113535577\ 9951950410239809*c_1100_0^4 + 8544084657502886106038599255423274754\ 78926/255625600236951135355779951950410239809*c_1100_0^3 - 3352526929219631450538184023229590335649/13453978959839533439777892\ 207916328411*c_1100_0^2 - 24414219470130664081436816189819968071162\ 5/255625600236951135355779951950410239809*c_1100_0 - 67914226978531293556321046091052520262807/2556256002369511353557799\ 51950410239809, c_0011_11 - 8857360932030405576848726761793356828/255625600236951135355\ 779951950410239809*c_1100_0^23 - 1051854048003311884445183069624316\ 38366/255625600236951135355779951950410239809*c_1100_0^22 - 398320635401125224365375916444489272741/255625600236951135355779951\ 950410239809*c_1100_0^21 - 1493054577625762833475834925836793736547\ /255625600236951135355779951950410239809*c_1100_0^20 - 4657578073550209963985462820718547036861/25562560023695113535577995\ 1950410239809*c_1100_0^19 - 120234441126230486619423026275820717669\ 92/255625600236951135355779951950410239809*c_1100_0^18 - 28240614122085819586382583678046525597944/2556256002369511353557799\ 51950410239809*c_1100_0^17 - 53552217381435168337438362215011058813\ 474/255625600236951135355779951950410239809*c_1100_0^16 - 82400524963176747105182850749531450834803/2556256002369511353557799\ 51950410239809*c_1100_0^15 - 95976257987445688626207338585279411820\ 288/255625600236951135355779951950410239809*c_1100_0^14 - 52220170496642491972271933969059982628/2436850335909925027223831763\ 11163241*c_1100_0^13 + 55789662716914756696330724671854339900124/25\ 5625600236951135355779951950410239809*c_1100_0^12 + 205907512068832869224919528269548687351503/255625600236951135355779\ 951950410239809*c_1100_0^11 + 3160042303782050708166171748196656273\ 72541/255625600236951135355779951950410239809*c_1100_0^10 + 252295662629949130189460744867847163820379/255625600236951135355779\ 951950410239809*c_1100_0^9 + 64271887715895619145602280048313563428\ 99/255625600236951135355779951950410239809*c_1100_0^8 - 252524401129281732941905176484943667099443/255625600236951135355779\ 951950410239809*c_1100_0^7 - 35084506692083182600349823190271734306\ 2369/255625600236951135355779951950410239809*c_1100_0^6 - 173084802999939130300300390233927551615928/255625600236951135355779\ 951950410239809*c_1100_0^5 + 12516399707058323837606361065206286749\ 3713/255625600236951135355779951950410239809*c_1100_0^4 + 183272200150957647305930729587930669533923/255625600236951135355779\ 951950410239809*c_1100_0^3 + 15096089627123051829420364175616374745\ 01/13453978959839533439777892207916328411*c_1100_0^2 - 44211102794947671887784064655396704027760/2556256002369511353557799\ 51950410239809*c_1100_0 - 16791741333605443022349268056727086362979\ /255625600236951135355779951950410239809, c_0011_12 + 17368847311551123224569869714435229360/13453978959839533439\ 777892207916328411*c_1100_0^23 + 7956086898214897861672726694553599\ 5660/13453978959839533439777892207916328411*c_1100_0^22 + 312556587689808783860112909114069343086/134539789598395334397778922\ 07916328411*c_1100_0^21 + 1073821818757529023548937783134629456879/\ 13453978959839533439777892207916328411*c_1100_0^20 + 2976123894429429306923236501742559221851/13453978959839533439777892\ 207916328411*c_1100_0^19 + 7463300992496455887731049269377473419356\ /13453978959839533439777892207916328411*c_1100_0^18 + 15683099203780840581480991967258819101177/1345397895983953343977789\ 2207916328411*c_1100_0^17 + 269603015799851946247059817668053837817\ 70/13453978959839533439777892207916328411*c_1100_0^16 + 37048509354247093971761576225391947240311/1345397895983953343977789\ 2207916328411*c_1100_0^15 + 339247991049757038205180143238825897746\ 91/13453978959839533439777892207916328411*c_1100_0^14 + 5123306389138501527833192314220882571/12825528083736447511704377700\ 587539*c_1100_0^13 - 47658802870887376697142709311374910999421/1345\ 3978959839533439777892207916328411*c_1100_0^12 - 105259891545011415939521770689505586970951/134539789598395334397778\ 92207916328411*c_1100_0^11 - 12234314599848572067711607067344196021\ 0469/13453978959839533439777892207916328411*c_1100_0^10 - 64191466296311150484448076158157897407331/1345397895983953343977789\ 2207916328411*c_1100_0^9 + 4126576535727480215474624647956851560959\ 0/13453978959839533439777892207916328411*c_1100_0^8 + 123976598666382808762922070574416685403141/134539789598395334397778\ 92207916328411*c_1100_0^7 + 117059181305877882533782744601120985831\ 443/13453978959839533439777892207916328411*c_1100_0^6 + 18806208820177446360064500567920639978403/1345397895983953343977789\ 2207916328411*c_1100_0^5 - 6336787310187210888556502693295373899147\ 8/13453978959839533439777892207916328411*c_1100_0^4 - 48607085771183303035028348746781556676386/1345397895983953343977789\ 2207916328411*c_1100_0^3 + 1082288305444435266632439295430767289954\ /13453978959839533439777892207916328411*c_1100_0^2 + 13410165454588308472274278167933848315740/1345397895983953343977789\ 2207916328411*c_1100_0 + 4015849062509504321160883029265964517279/1\ 3453978959839533439777892207916328411, c_0011_3 + 96070835524254391014506887633652555388/255625600236951135355\ 779951950410239809*c_1100_0^23 + 3206768592532776778469001614383911\ 94782/255625600236951135355779951950410239809*c_1100_0^22 + 1311826347991402556758584171516298147029/25562560023695113535577995\ 1950410239809*c_1100_0^21 + 425475055157513998053547137215668562263\ 1/255625600236951135355779951950410239809*c_1100_0^20 + 10945816383988059466281806304567302457365/2556256002369511353557799\ 51950410239809*c_1100_0^19 + 26954780497525432019857317964166235461\ 834/255625600236951135355779951950410239809*c_1100_0^18 + 51456593984616675113670361279139716024043/2556256002369511353557799\ 51950410239809*c_1100_0^17 + 80780182349388435409807124761490676482\ 204/255625600236951135355779951950410239809*c_1100_0^16 + 96570932373091031629289723254399765396837/2556256002369511353557799\ 51950410239809*c_1100_0^15 + 55760465535058686835928543088852345567\ 078/255625600236951135355779951950410239809*c_1100_0^14 - 50121849873737431855895136439925842534/2436850335909925027223831763\ 11163241*c_1100_0^13 - 202440887763312049809102547544340491308994/2\ 55625600236951135355779951950410239809*c_1100_0^12 - 317307456209055266638921401154470037093532/255625600236951135355779\ 951950410239809*c_1100_0^11 - 2480508646947302025466101619993612942\ 77178/255625600236951135355779951950410239809*c_1100_0^10 - 214182531947606168014855558795860375487/255625600236951135355779951\ 950410239809*c_1100_0^9 + 25451658805434560191839873351386067482760\ 6/255625600236951135355779951950410239809*c_1100_0^8 + 354660417054109437426913868097250828690665/255625600236951135355779\ 951950410239809*c_1100_0^7 + 16119432747843200700215499371178196043\ 0412/255625600236951135355779951950410239809*c_1100_0^6 - 145744663079919286061305652056895794328363/255625600236951135355779\ 951950410239809*c_1100_0^5 - 17670579072842792922178129705666459573\ 0781/255625600236951135355779951950410239809*c_1100_0^4 - 13581002100701356781886619834422133155183/2556256002369511353557799\ 51950410239809*c_1100_0^3 + 226668425386747802238815054415777841181\ 0/13453978959839533439777892207916328411*c_1100_0^2 + 13067804472276267241537574141994014595726/2556256002369511353557799\ 51950410239809*c_1100_0 + 47601248970291729289128854403025462254/25\ 5625600236951135355779951950410239809, c_0011_6 + 153766927429306741742108064849703083900/25562560023695113535\ 5779951950410239809*c_1100_0^23 + 811739587165515903960055812603546\ 247854/255625600236951135355779951950410239809*c_1100_0^22 + 3161712746606323857311973095574736531877/25562560023695113535577995\ 1950410239809*c_1100_0^21 + 110747038109844944823442879861927566774\ 83/255625600236951135355779951950410239809*c_1100_0^20 + 31549388451389020681317536975209932386117/2556256002369511353557799\ 51950410239809*c_1100_0^19 + 79683208884280005588464845493713724142\ 709/255625600236951135355779951950410239809*c_1100_0^18 + 172423537455334786233882916199892413568279/255625600236951135355779\ 951950410239809*c_1100_0^17 + 3046566960934051359848302752132665252\ 66236/255625600236951135355779951950410239809*c_1100_0^16 + 433512484684630532931751773406980158044464/255625600236951135355779\ 951950410239809*c_1100_0^15 + 4314356016579506088260711037128650983\ 57155/255625600236951135355779951950410239809*c_1100_0^14 + 128770369385184679250177449956602053491/243685033590992502722383176\ 311163241*c_1100_0^13 - 471371661061145151620530580388203270813142/\ 255625600236951135355779951950410239809*c_1100_0^12 - 1181896015192454150685817763254053773918528/25562560023695113535577\ 9951950410239809*c_1100_0^11 - 150231436524233458930388016521782142\ 6840074/255625600236951135355779951950410239809*c_1100_0^10 - 933658488605906267634162628782622310644230/255625600236951135355779\ 951950410239809*c_1100_0^9 + 31288430425634047456216613845100543643\ 9708/255625600236951135355779951950410239809*c_1100_0^8 + 1405442562791274139214712357133664622559269/25562560023695113535577\ 9951950410239809*c_1100_0^7 + 1517330313666528274918658882923580826\ 320189/255625600236951135355779951950410239809*c_1100_0^6 + 439654121050734418984287588623526060912725/255625600236951135355779\ 951950410239809*c_1100_0^5 - 70586576794562005272953733621091890750\ 0158/255625600236951135355779951950410239809*c_1100_0^4 - 689747839956365384595654031492925644081585/255625600236951135355779\ 951950410239809*c_1100_0^3 - 23712844735202804277536936547959315632\ 95/13453978959839533439777892207916328411*c_1100_0^2 + 178914409631808237095898878510231084164767/255625600236951135355779\ 951950410239809*c_1100_0 + 6153442388872896315560445647984793222366\ 0/255625600236951135355779951950410239809, c_0011_8 - 63474914646594039603155422491742080/255625600236951135355779\ 951950410239809*c_1100_0^23 - 420023490740301446815114928147187596/\ 255625600236951135355779951950410239809*c_1100_0^22 - 1840894024376937612228682993552668926/25562560023695113535577995195\ 0410239809*c_1100_0^21 - 6774977960958916061860037234291580689/2556\ 25600236951135355779951950410239809*c_1100_0^20 - 20972275869595080359206170827117239099/2556256002369511353557799519\ 50410239809*c_1100_0^19 - 56908117984898910772304166736688910276/25\ 5625600236951135355779951950410239809*c_1100_0^18 - 134450281150414746947484567252480711910/255625600236951135355779951\ 950410239809*c_1100_0^17 - 271426294706060638770163938523181349074/\ 255625600236951135355779951950410239809*c_1100_0^16 - 461512824417351052757509710730661574985/255625600236951135355779951\ 950410239809*c_1100_0^15 - 635955526514430013437305398909978568051/\ 255625600236951135355779951950410239809*c_1100_0^14 - 619080079050011217298758179226303423/243685033590992502722383176311\ 163241*c_1100_0^13 - 349196513849556343114619986553851594025/255625\ 600236951135355779951950410239809*c_1100_0^12 + 284626924165412833521845896490674345308/255625600236951135355779951\ 950410239809*c_1100_0^11 + 996561791979835808972619281981717566977/\ 255625600236951135355779951950410239809*c_1100_0^10 + 1305748875249292432712257737917422076506/25562560023695113535577995\ 1950410239809*c_1100_0^9 + 875413609997522031201036339313500565180/\ 255625600236951135355779951950410239809*c_1100_0^8 - 102967932827212535553449225036172478395/255625600236951135355779951\ 950410239809*c_1100_0^7 - 904163830833618910565853959237786980475/2\ 55625600236951135355779951950410239809*c_1100_0^6 - 842955929797408751381786526822510411549/255625600236951135355779951\ 950410239809*c_1100_0^5 - 89983393402503657729343188621339024770/25\ 5625600236951135355779951950410239809*c_1100_0^4 + 458872613404092624153204014909123549020/255625600236951135355779951\ 950410239809*c_1100_0^3 + 31150239561248060120562824255013727243/13\ 453978959839533439777892207916328411*c_1100_0^2 - 70687486914528459692365000295210696457/2556256002369511353557799519\ 50410239809*c_1100_0 - 226643673374334434196478071919906602081/2556\ 25600236951135355779951950410239809, c_0101_0 + 132944618635856427336247156103227696/25562560023695113535577\ 9951950410239809*c_1100_0^23 + 794670317143804389952514781059494408\ /255625600236951135355779951950410239809*c_1100_0^22 + 3378041255388106955046614151444003832/25562560023695113535577995195\ 0410239809*c_1100_0^21 + 12277046587291667158124084747656043062/255\ 625600236951135355779951950410239809*c_1100_0^20 + 37186059473911073815026574192904916149/2556256002369511353557799519\ 50410239809*c_1100_0^19 + 99276656246114516060255745771918352043/25\ 5625600236951135355779951950410239809*c_1100_0^18 + 230068483758101907377766087561142984316/255625600236951135355779951\ 950410239809*c_1100_0^17 + 452653225855337105776792135385556202286/\ 255625600236951135355779951950410239809*c_1100_0^16 + 747467737886403540954430942739813921526/255625600236951135355779951\ 950410239809*c_1100_0^15 + 986178761863758443240009112292049677249/\ 255625600236951135355779951950410239809*c_1100_0^14 + 877778238266684851291911278227973219/243685033590992502722383176311\ 163241*c_1100_0^13 + 324996897297313120139120207327490905563/255625\ 600236951135355779951950410239809*c_1100_0^12 - 794958110285283034647957100659551764675/255625600236951135355779951\ 950410239809*c_1100_0^11 - 1972691219294199819623844161111408015268\ /255625600236951135355779951950410239809*c_1100_0^10 - 2365093696217341871971947506908343469601/25562560023695113535577995\ 1950410239809*c_1100_0^9 - 1453250929625775138841823957613953205218\ /255625600236951135355779951950410239809*c_1100_0^8 + 364992918029677399952983688918639645424/255625600236951135355779951\ 950410239809*c_1100_0^7 + 1885190254104844836316344537967017164047/\ 255625600236951135355779951950410239809*c_1100_0^6 + 1889748761090540534623122251009065504771/25562560023695113535577995\ 1950410239809*c_1100_0^5 + 496768142869638614598198932329705491165/\ 255625600236951135355779951950410239809*c_1100_0^4 - 736101230646049217631262577615092071250/255625600236951135355779951\ 950410239809*c_1100_0^3 - 42158188919129954731738740586356843404/13\ 453978959839533439777892207916328411*c_1100_0^2 - 226549641052180454382509805109687728608/255625600236951135355779951\ 950410239809*c_1100_0 + 197882250794384096546319466896973794605/255\ 625600236951135355779951950410239809, c_0101_11 - 418644440543999960761282720754987578364/2556256002369511353\ 55779951950410239809*c_1100_0^23 - 1899616594321489928179072638265721766110/25562560023695113535577995\ 1950410239809*c_1100_0^22 - 746366916617984156166590536416954033336\ 9/255625600236951135355779951950410239809*c_1100_0^21 - 25593574126920324011245004428547521337493/2556256002369511353557799\ 51950410239809*c_1100_0^20 - 70791425347685665252264518930171610954\ 586/255625600236951135355779951950410239809*c_1100_0^19 - 177311053101876404262875256567351908450542/255625600236951135355779\ 951950410239809*c_1100_0^18 - 3716405900768295747930894853309282539\ 59624/255625600236951135355779951950410239809*c_1100_0^17 - 636968432289156011649258523062565314900716/255625600236951135355779\ 951950410239809*c_1100_0^16 - 8714179642738320932680137267340630385\ 42851/255625600236951135355779951950410239809*c_1100_0^15 - 790076979836066142853831299440864581778728/255625600236951135355779\ 951950410239809*c_1100_0^14 - 1022664083554779091323575034937044698\ 95/243685033590992502722383176311163241*c_1100_0^13 + 1144849791815130641952183254849611682953603/25562560023695113535577\ 9951950410239809*c_1100_0^12 + 249063974967410289811790409166570309\ 3105297/255625600236951135355779951950410239809*c_1100_0^11 + 2863455728261249723538894972533820674302506/25562560023695113535577\ 9951950410239809*c_1100_0^10 + 146009659612229788341844657429791305\ 6787107/255625600236951135355779951950410239809*c_1100_0^9 - 1023660399913523713659342297582361837780246/25562560023695113535577\ 9951950410239809*c_1100_0^8 - 2933715722259779455090526890579184294\ 990970/255625600236951135355779951950410239809*c_1100_0^7 - 2720096837702023426053301849641974159361478/25562560023695113535577\ 9951950410239809*c_1100_0^6 - 3772934498951572176399038640147647150\ 98257/255625600236951135355779951950410239809*c_1100_0^5 + 1516945662291101552199006504164754378391790/25562560023695113535577\ 9951950410239809*c_1100_0^4 + 1109897220914358064833285726330735229\ 440185/255625600236951135355779951950410239809*c_1100_0^3 - 2682911451904972074999022409514182859772/13453978959839533439777892\ 207916328411*c_1100_0^2 - 30980382999617766930847770826286495276272\ 8/255625600236951135355779951950410239809*c_1100_0 - 88515376159412189810247617843424204729410/2556256002369511353557799\ 51950410239809, c_0101_12 + 17368847311551123224569869714435229360/13453978959839533439\ 777892207916328411*c_1100_0^23 + 7956086898214897861672726694553599\ 5660/13453978959839533439777892207916328411*c_1100_0^22 + 312556587689808783860112909114069343086/134539789598395334397778922\ 07916328411*c_1100_0^21 + 1073821818757529023548937783134629456879/\ 13453978959839533439777892207916328411*c_1100_0^20 + 2976123894429429306923236501742559221851/13453978959839533439777892\ 207916328411*c_1100_0^19 + 7463300992496455887731049269377473419356\ /13453978959839533439777892207916328411*c_1100_0^18 + 15683099203780840581480991967258819101177/1345397895983953343977789\ 2207916328411*c_1100_0^17 + 269603015799851946247059817668053837817\ 70/13453978959839533439777892207916328411*c_1100_0^16 + 37048509354247093971761576225391947240311/1345397895983953343977789\ 2207916328411*c_1100_0^15 + 339247991049757038205180143238825897746\ 91/13453978959839533439777892207916328411*c_1100_0^14 + 5123306389138501527833192314220882571/12825528083736447511704377700\ 587539*c_1100_0^13 - 47658802870887376697142709311374910999421/1345\ 3978959839533439777892207916328411*c_1100_0^12 - 105259891545011415939521770689505586970951/134539789598395334397778\ 92207916328411*c_1100_0^11 - 12234314599848572067711607067344196021\ 0469/13453978959839533439777892207916328411*c_1100_0^10 - 64191466296311150484448076158157897407331/1345397895983953343977789\ 2207916328411*c_1100_0^9 + 4126576535727480215474624647956851560959\ 0/13453978959839533439777892207916328411*c_1100_0^8 + 123976598666382808762922070574416685403141/134539789598395334397778\ 92207916328411*c_1100_0^7 + 117059181305877882533782744601120985831\ 443/13453978959839533439777892207916328411*c_1100_0^6 + 18806208820177446360064500567920639978403/1345397895983953343977789\ 2207916328411*c_1100_0^5 - 6336787310187210888556502693295373899147\ 8/13453978959839533439777892207916328411*c_1100_0^4 - 48607085771183303035028348746781556676386/1345397895983953343977789\ 2207916328411*c_1100_0^3 + 1082288305444435266632439295430767289954\ /13453978959839533439777892207916328411*c_1100_0^2 + 13410165454588308472274278167933848315740/1345397895983953343977789\ 2207916328411*c_1100_0 + 4015849062509504321160883029265964517279/1\ 3453978959839533439777892207916328411, c_0101_8 - 2136409811806669182989436288736007016/3079826508878929341635\ 903035547111323*c_1100_0^23 - 9803176900365479833977180482343026024\ /3079826508878929341635903035547111323*c_1100_0^22 - 38317506627223233073542372484277765356/3079826508878929341635903035\ 547111323*c_1100_0^21 - 131734956149659036767250172214656218899/307\ 9826508878929341635903035547111323*c_1100_0^20 - 364483898141423349318588485249019715326/307982650887892934163590303\ 5547111323*c_1100_0^19 - 912338088930467293665364210527253098250/30\ 79826508878929341635903035547111323*c_1100_0^18 - 1914965841061243321579959845454324317532/30798265088789293416359030\ 35547111323*c_1100_0^17 - 3278974724721763020474832902090782293863/\ 3079826508878929341635903035547111323*c_1100_0^16 - 4485762154966539131120605160266479204925/30798265088789293416359030\ 35547111323*c_1100_0^15 - 4062124693707185396140251071558515433288/\ 3079826508878929341635903035547111323*c_1100_0^14 - 501433599813455587568826079077784016/293596426013243979183594188326\ 7027*c_1100_0^13 + 5926348868288342917524736152889031804819/3079826\ 508878929341635903035547111323*c_1100_0^12 + 12851487801585453025670909453093544900758/3079826508878929341635903\ 035547111323*c_1100_0^11 + 1474695933685244099607896859286597607309\ 8/3079826508878929341635903035547111323*c_1100_0^10 + 7433422363026908509355089980191160513761/30798265088789293416359030\ 35547111323*c_1100_0^9 - 5379592984476943859848437154788959626276/3\ 079826508878929341635903035547111323*c_1100_0^8 - 15161442275694966797531083283640110059445/3079826508878929341635903\ 035547111323*c_1100_0^7 - 13993916619201519568741904632551098559137\ /3079826508878929341635903035547111323*c_1100_0^6 - 1800049445321424562943566275332483221989/30798265088789293416359030\ 35547111323*c_1100_0^5 + 7933006182918204699861983640244914071365/3\ 079826508878929341635903035547111323*c_1100_0^4 + 5642459419277070304941583795206280642455/30798265088789293416359030\ 35547111323*c_1100_0^3 - 18221617533414475405738687493738452900/162\ 096132046259439033468580818269017*c_1100_0^2 - 1580084192888994819716426582642442619174/30798265088789293416359030\ 35547111323*c_1100_0 - 437959501216549309271135835878571949980/3079\ 826508878929341635903035547111323, c_1001_5 - 282285014193681173043075185299691463160/25562560023695113535\ 5779951950410239809*c_1100_0^23 - 137670545903465184134283527422180\ 5724340/255625600236951135355779951950410239809*c_1100_0^22 - 5365291190736269792373619992006149163894/25562560023695113535577995\ 1950410239809*c_1100_0^21 - 186019311808079576882761733120672289038\ 56/255625600236951135355779951950410239809*c_1100_0^20 - 52133569463827016176389494930056457176012/2556256002369511353557799\ 51950410239809*c_1100_0^19 - 13096126666215940105135022479875171260\ 2974/255625600236951135355779951950410239809*c_1100_0^18 - 278683002504634676569543833899506885347814/255625600236951135355779\ 951950410239809*c_1100_0^17 - 4837833584501617300884047207011952341\ 59946/255625600236951135355779951950410239809*c_1100_0^16 - 673458568745129442038875572793510215188931/255625600236951135355779\ 951950410239809*c_1100_0^15 - 6370292749745151524046274888473132260\ 91413/255625600236951135355779951950410239809*c_1100_0^14 - 130190799510486199074846794455775345801/243685033590992502722383176\ 311163241*c_1100_0^13 + 821605558935420066849748859293703667078219/\ 255625600236951135355779951950410239809*c_1100_0^12 + 1889942252367416540492106050940687410809081/25562560023695113535577\ 9951950410239809*c_1100_0^11 + 226975531470195819362848389873978168\ 3017325/255625600236951135355779951950410239809*c_1100_0^10 + 1261907498070106322915180395000260640210899/25562560023695113535577\ 9951950410239809*c_1100_0^9 - 6738049679174130912368291112836642009\ 06013/255625600236951135355779951950410239809*c_1100_0^8 - 2242200858934966707341219691294122020702887/25562560023695113535577\ 9951950410239809*c_1100_0^7 - 2217965285928903880539969707236683310\ 865646/255625600236951135355779951950410239809*c_1100_0^6 - 446744282969639537643987358472376059160465/255625600236951135355779\ 951950410239809*c_1100_0^5 + 11646559055881390211220443832574613895\ 88176/255625600236951135355779951950410239809*c_1100_0^4 + 948253146131527597582158699389036918086959/255625600236951135355779\ 951950410239809*c_1100_0^3 - 40008346969234152231540533099594338866\ 1/13453978959839533439777892207916328411*c_1100_0^2 - 256898995711096222301307188751873734149393/255625600236951135355779\ 951950410239809*c_1100_0 - 7673070598987253622182782204392501935728\ 3/255625600236951135355779951950410239809, c_1100_0^24 + 11/2*c_1100_0^23 + 89/4*c_1100_0^22 + 157/2*c_1100_0^21 + 915/4*c_1100_0^20 + 589*c_1100_0^19 + 2605/2*c_1100_0^18 + 4787/2*c_1100_0^17 + 14323/4*c_1100_0^16 + 7893/2*c_1100_0^15 + 4285/2*c_1100_0^14 - 9761/4*c_1100_0^13 - 34425/4*c_1100_0^12 - 25395/2*c_1100_0^11 - 10294*c_1100_0^10 - 2219/2*c_1100_0^9 + 37321/4*c_1100_0^8 + 53623/4*c_1100_0^7 + 14827/2*c_1100_0^6 - 2604*c_1100_0^5 - 24855/4*c_1100_0^4 - 5147/2*c_1100_0^3 + 825*c_1100_0^2 + 3827/4*c_1100_0 + 218 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 36.560 Total time: 36.780 seconds, Total memory usage: 139.72MB