Magma V2.19-8 Tue Aug 20 2013 23:39:49 on localhost [Seed = 2834222103] Type ? for help. Type -D to quit. Loading file "K14n18417__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18417 geometric_solution 10.28149989 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588811875251 0.918726769848 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 0 -13 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636586595329 0.754212799586 7 0 9 8 1230 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.170987987696 0.680380711194 7 9 5 0 2310 0132 1302 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 12 0 -12 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.446539822377 0.695647837552 10 8 0 10 0132 3012 0132 0213 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 -1 1 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499151046908 1.859541986059 3 1 9 8 2031 0132 0321 0321 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 -13 0 12 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315257149036 0.986967793312 10 8 1 9 1023 0321 0132 2310 0 0 0 0 0 0 0 0 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 1 0 -1 -13 0 13 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033203671071 1.160201047134 10 2 3 1 2310 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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 -13 0 0 13 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343893571435 0.979774754423 4 5 2 6 1230 0321 0132 0321 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 1 -1 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659070568234 0.413128198988 6 3 5 2 3201 0132 0321 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 -12 0 12 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.068150864432 1.014722452481 4 6 7 4 0132 1023 3201 0213 0 0 0 0 0 -1 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 0 0 0 0 0 13 -12 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.104062896445 0.641442387936 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : negation(d['c_0011_8']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0101_1']), '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_5'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_5'], 'c_1100_10' : negation(d['c_0011_7']), 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_7']), '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_0011_8']), 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0101_2']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : 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_7'], '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_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], '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' : d['c_0011_7'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5']})} 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_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 570408043118846449021548278056775293825726607514604627/329693017012\ 141980667555920244180080112341812731622208*c_1001_5^19 - 300133047227751539150220244103774188751975489443411305/549488361686\ 90330111259320040696680018723635455270368*c_1001_5^18 - 1243136595766618610648302015694979082134724081935077375/14986046227\ 824635484888905465644549096015536942346464*c_1001_5^17 - 9390948510037829478640091268916791691651218405338866093/10989767233\ 7380660222518640081393360037447270910540736*c_1001_5^16 + 9344205519491658928790526447320139774669294734553986711/54948836168\ 690330111259320040696680018723635455270368*c_1001_5^15 - 87793961256215579383980875624139434325409228075156524123/1098976723\ 37380660222518640081393360037447270910540736*c_1001_5^14 - 442135970715139445504046705544348998496773563613076592305/329693017\ 012141980667555920244180080112341812731622208*c_1001_5^13 + 3231865050918059016221142195089716883927005426598600497/20103232744\ 64280369924121464903537073855742760558672*c_1001_5^12 + 591259609388311020790203268301513526590895913719519823821/109897672\ 337380660222518640081393360037447270910540736*c_1001_5^11 - 48538667848070586450589479836045113717137864518747700059/3296930170\ 12141980667555920244180080112341812731622208*c_1001_5^10 + 1052829699434054366682530774508623158929140321571361012741/32969301\ 7012141980667555920244180080112341812731622208*c_1001_5^9 + 853934093793273134656261189888643281235256882777238248661/164846508\ 506070990333777960122090040056170906365811104*c_1001_5^8 + 595838849837105339593680145848153289918739937028296387653/329693017\ 012141980667555920244180080112341812731622208*c_1001_5^7 + 251361213608909345902271339192068538618816735243217604003/329693017\ 012141980667555920244180080112341812731622208*c_1001_5^6 - 502105702060648054187714287046567241293124346342639889/137372090421\ 72582527814830010174170004680908863817592*c_1001_5^5 + 1620294640517316043915592648887450389703644749201526197/14986046227\ 824635484888905465644549096015536942346464*c_1001_5^4 - 85741890277089093092518045735013475956770308072245872409/1648465085\ 06070990333777960122090040056170906365811104*c_1001_5^3 + 149311985950581715871543107728485665493549649097191440965/109897672\ 337380660222518640081393360037447270910540736*c_1001_5^2 - 1583074773396930699713039308753794757243431366687705421/10302906781\ 629436895861122507630627503510681647863194*c_1001_5 + 217724358519711041578054521211789286208389264169479153063/329693017\ 012141980667555920244180080112341812731622208, c_0011_0 - 1, c_0011_10 - 643246610095600162275977792626139723097871/1974313377902049\ 31211067248727365541795654966*c_1001_5^19 - 875252838447369029481906481757909842479709/987156688951024656055336\ 24363682770897827483*c_1001_5^18 - 30233043500199478277719734570588692576973121/1974313377902049312110\ 67248727365541795654966*c_1001_5^17 - 6342335768542702119771174295838903813387113/65810445930068310403689\ 082909121847265218322*c_1001_5^16 + 21382433663840394083226962514740654913993799/6581044593006831040368\ 9082909121847265218322*c_1001_5^15 - 55016422789115359213607919094538717357858795/3290522296503415520184\ 4541454560923632609161*c_1001_5^14 - 343683216179458495618065253200137004157718173/197431337790204931211\ 067248727365541795654966*c_1001_5^13 + 111598474867062231524240498006687933521997314/329052229650341552018\ 44541454560923632609161*c_1001_5^12 + 1632349792500369693160590312920757528535980137/19743133779020493121\ 1067248727365541795654966*c_1001_5^11 - 109891248308494079671774939488620265207886961/329052229650341552018\ 44541454560923632609161*c_1001_5^10 + 931805065741646994088018737419228819384091727/987156688951024656055\ 33624363682770897827483*c_1001_5^9 + 546614312506896907810704471687888028659092638/987156688951024656055\ 33624363682770897827483*c_1001_5^8 + 274335993080955380233128895885539940067589853/658104459300683104036\ 89082909121847265218322*c_1001_5^7 - 3015694324404184999047697697313233589375079/32905222965034155201844\ 541454560923632609161*c_1001_5^6 + 251604343085877951265953054160871015347344275/987156688951024656055\ 33624363682770897827483*c_1001_5^5 - 67334698976544634433145173720128200975421585/3290522296503415520184\ 4541454560923632609161*c_1001_5^4 + 52423202081959451205950941527673610365425974/9871566889510246560553\ 3624363682770897827483*c_1001_5^3 + 21016571527693959103460631617696248702646092/3290522296503415520184\ 4541454560923632609161*c_1001_5^2 + 107521517740785383225460989903580945729842309/987156688951024656055\ 33624363682770897827483*c_1001_5 - 39666610543970481887279841207906086854417937/1974313377902049312110\ 67248727365541795654966, c_0011_3 + 766081722180619391402754351772274023229159/39486267558040986\ 2422134497454731083591309932*c_1001_5^19 + 827910530687516014031760271588414330120144/987156688951024656055336\ 24363682770897827483*c_1001_5^18 + 38876071344517545018553381072612585331020265/3948626755804098624221\ 34497454731083591309932*c_1001_5^17 + 13069932341878978268102870260388910273981145/6581044593006831040368\ 9082909121847265218322*c_1001_5^16 - 10662275616190071691399738960500986339250469/6581044593006831040368\ 9082909121847265218322*c_1001_5^15 + 75799405716708725788483128913507692264657741/1316208918601366208073\ 78165818243694530436644*c_1001_5^14 + 1062629669230856774491535711690539277777745035/39486267558040986242\ 2134497454731083591309932*c_1001_5^13 - 103166337479027651254499324100215017801621153/131620891860136620807\ 378165818243694530436644*c_1001_5^12 - 3770516803130607591042768766282791673672905253/39486267558040986242\ 2134497454731083591309932*c_1001_5^11 - 377211018654801872191006559688661809009903467/658104459300683104036\ 89082909121847265218322*c_1001_5^10 + 964572998725605094128284896322203635006827861/394862675580409862422\ 134497454731083591309932*c_1001_5^9 - 855693346041084641804346448357266124498028638/987156688951024656055\ 33624363682770897827483*c_1001_5^8 - 196734572127655493848873599771620249451574880/329052229650341552018\ 44541454560923632609161*c_1001_5^7 + 8306020385002980712415289389279642058423214/32905222965034155201844\ 541454560923632609161*c_1001_5^6 + 1647807733200086964188346090374110102449229069/39486267558040986242\ 2134497454731083591309932*c_1001_5^5 - 37933491980424559855806553322418209824342791/1316208918601366208073\ 78165818243694530436644*c_1001_5^4 + 23241289072111188094243778222584342385659967/1974313377902049312110\ 67248727365541795654966*c_1001_5^3 - 137903490368008875353666711321176970050746443/658104459300683104036\ 89082909121847265218322*c_1001_5^2 - 319605778305900225554032595178556224661030523/394862675580409862422\ 134497454731083591309932*c_1001_5 - 48296127963866676010065258537848487559547864/9871566889510246560553\ 3624363682770897827483, c_0011_7 + 470732596648348085898492224337725667888763/13162089186013662\ 0807378165818243694530436644*c_1001_5^19 + 1502337948109847713925371756616554497590617/13162089186013662080737\ 8165818243694530436644*c_1001_5^18 + 22861847014898608650766335438060116670799523/1316208918601366208073\ 78165818243694530436644*c_1001_5^17 + 24510952039269631084454678425354145630340921/1316208918601366208073\ 78165818243694530436644*c_1001_5^16 - 8647520945783327243646198315558088453426305/32905222965034155201844\ 541454560923632609161*c_1001_5^15 + 214866511019363412393172032469856789577635711/131620891860136620807\ 378165818243694530436644*c_1001_5^14 + 172341622543646117449866973130725731775917679/658104459300683104036\ 89082909121847265218322*c_1001_5^13 - 71185693765355134159571033212793472974137117/3290522296503415520184\ 4541454560923632609161*c_1001_5^12 - 719173997279258803519389978764607541409098987/658104459300683104036\ 89082909121847265218322*c_1001_5^11 - 330471933202015477295301784547051593478676927/131620891860136620807\ 378165818243694530436644*c_1001_5^10 - 1310573366435946221926059705245806727760402915/13162089186013662080\ 7378165818243694530436644*c_1001_5^9 - 766480159441102081393272590407425944164090383/131620891860136620807\ 378165818243694530436644*c_1001_5^8 - 700427585626079270422444649154475492729729271/658104459300683104036\ 89082909121847265218322*c_1001_5^7 - 50865657156805972105138644277677987021919617/6581044593006831040368\ 9082909121847265218322*c_1001_5^6 - 373609311351415833951393684969981603919089735/131620891860136620807\ 378165818243694530436644*c_1001_5^5 + 71344573569954932329450016319096911746323195/3290522296503415520184\ 4541454560923632609161*c_1001_5^4 - 240631509375140721372768945528784395889236097/131620891860136620807\ 378165818243694530436644*c_1001_5^3 - 74938672842747554519864257451694867471305953/6581044593006831040368\ 9082909121847265218322*c_1001_5^2 - 170461957194656702967292157006643636751045501/131620891860136620807\ 378165818243694530436644*c_1001_5 - 90709175770547324414227023284092278095553071/1316208918601366208073\ 78165818243694530436644, c_0011_8 - 375083360917200883780858221388892546702825/39486267558040986\ 2422134497454731083591309932*c_1001_5^19 - 248390233323419857630522419548393788954834/987156688951024656055336\ 24363682770897827483*c_1001_5^18 - 17927046533374926408563884970045943367668461/3948626755804098624221\ 34497454731083591309932*c_1001_5^17 - 1748223109145400248726042330909285412599719/65810445930068310403689\ 082909121847265218322*c_1001_5^16 + 3626974198731207395872183076765856695939639/65810445930068310403689\ 082909121847265218322*c_1001_5^15 - 63345274245165170186180641930236719681838517/1316208918601366208073\ 78165818243694530436644*c_1001_5^14 - 135006514353218362294350896542740904250688167/394862675580409862422\ 134497454731083591309932*c_1001_5^13 + 59183588854519982242321133233784121070733265/1316208918601366208073\ 78165818243694530436644*c_1001_5^12 + 874202522518081756340736388006304174144701051/394862675580409862422\ 134497454731083591309932*c_1001_5^11 + 14456924030366119983119531445172303418108978/3290522296503415520184\ 4541454560923632609161*c_1001_5^10 + 1736725012783567760351504036421341283368472019/39486267558040986242\ 2134497454731083591309932*c_1001_5^9 - 491482370147788912679941352731972319083365475/197431337790204931211\ 067248727365541795654966*c_1001_5^8 + 263591438396181247999321063822309279134939009/658104459300683104036\ 89082909121847265218322*c_1001_5^7 + 57828228562499329841088766413854647952403611/6581044593006831040368\ 9082909121847265218322*c_1001_5^6 + 411332973128507645935325579712984892402943717/394862675580409862422\ 134497454731083591309932*c_1001_5^5 - 326113776517985043230051169417514215250458729/131620891860136620807\ 378165818243694530436644*c_1001_5^4 + 463186982718675472571886788943421878454705375/197431337790204931211\ 067248727365541795654966*c_1001_5^3 + 12663407326621820593236420935175920533038815/3290522296503415520184\ 4541454560923632609161*c_1001_5^2 + 120918940060489849521166219630270331310428753/394862675580409862422\ 134497454731083591309932*c_1001_5 + 40005797788215859706143355094795386410958665/1974313377902049312110\ 67248727365541795654966, c_0101_0 + 169564045080212667074686117942282060767203/65810445930068310\ 403689082909121847265218322*c_1001_5^19 + 661291075189767543555722974419097841312919/131620891860136620807378\ 165818243694530436644*c_1001_5^18 + 3778020226048298606657872466505441063947651/32905222965034155201844\ 541454560923632609161*c_1001_5^17 - 2705548840290627476572191144422549708112521/13162089186013662080737\ 8165818243694530436644*c_1001_5^16 - 11796960751119709847450862176127627906953467/3290522296503415520184\ 4541454560923632609161*c_1001_5^15 + 47764160855721276042733573780351850195002305/3290522296503415520184\ 4541454560923632609161*c_1001_5^14 + 61022329983629062021327366837588871081642715/1316208918601366208073\ 78165818243694530436644*c_1001_5^13 - 535764086646111502641821692705654868483412883/131620891860136620807\ 378165818243694530436644*c_1001_5^12 - 727470815119662498158052641580435475961847069/131620891860136620807\ 378165818243694530436644*c_1001_5^11 + 1134725269746720787157680888663726860122651937/13162089186013662080\ 7378165818243694530436644*c_1001_5^10 - 190831511164779267490794920645430479143595672/329052229650341552018\ 44541454560923632609161*c_1001_5^9 + 263919041908084142780915449771120765417486575/131620891860136620807\ 378165818243694530436644*c_1001_5^8 - 25989982471779842849276561754323020442238180/3290522296503415520184\ 4541454560923632609161*c_1001_5^7 + 520491785597421079102755445231971856292986019/658104459300683104036\ 89082909121847265218322*c_1001_5^6 - 90537499270280444029473767902897479212140130/3290522296503415520184\ 4541454560923632609161*c_1001_5^5 + 412451519734672974114526533632097777531868687/131620891860136620807\ 378165818243694530436644*c_1001_5^4 - 567269563070248233900943775295134095129785857/131620891860136620807\ 378165818243694530436644*c_1001_5^3 + 15028671450025358509007517141406306955485547/3290522296503415520184\ 4541454560923632609161*c_1001_5^2 - 75645774331961138903458802927321815427235207/6581044593006831040368\ 9082909121847265218322*c_1001_5 + 966790489385141739842358630356162\ 72499222169/131620891860136620807378165818243694530436644, c_0101_1 + 22378518637276765827081763839814097372252/987156688951024656\ 05533624363682770897827483*c_1001_5^19 - 609358123988192709141577685768627849425213/197431337790204931211067\ 248727365541795654966*c_1001_5^18 - 23912076236468733967440859122421164993179/1974313377902049312110672\ 48727365541795654966*c_1001_5^17 - 11064652810337005110650646222770435089175175/6581044593006831040368\ 9082909121847265218322*c_1001_5^16 - 5277393339573058691753637370338998570393653/32905222965034155201844\ 541454560923632609161*c_1001_5^15 + 34339718540404353361823875064213935929873525/6581044593006831040368\ 9082909121847265218322*c_1001_5^14 - 158594431798245529525419829836993577982216581/987156688951024656055\ 33624363682770897827483*c_1001_5^13 - 87200259844873567181722110984291359964484157/3290522296503415520184\ 4541454560923632609161*c_1001_5^12 + 652154251630811347551662736548210063067455125/197431337790204931211\ 067248727365541795654966*c_1001_5^11 + 385986303347570797482518810946456196107825341/329052229650341552018\ 44541454560923632609161*c_1001_5^10 - 609351664210223745371161217345233035342507593/197431337790204931211\ 067248727365541795654966*c_1001_5^9 + 477486658998153389302585843074659867004353270/987156688951024656055\ 33624363682770897827483*c_1001_5^8 + 342591473244314547240444961515920014025727693/658104459300683104036\ 89082909121847265218322*c_1001_5^7 + 342926726050066306380686982667510249965904467/658104459300683104036\ 89082909121847265218322*c_1001_5^6 - 442334724987408908714439292483039202242599359/987156688951024656055\ 33624363682770897827483*c_1001_5^5 - 33824034891781445511186322238656565568934682/3290522296503415520184\ 4541454560923632609161*c_1001_5^4 - 315772232871519510921688224655749698967005515/197431337790204931211\ 067248727365541795654966*c_1001_5^3 + 118826005199539544435239367949662665124654261/658104459300683104036\ 89082909121847265218322*c_1001_5^2 + 100187158653851641427863599435039521139014761/987156688951024656055\ 33624363682770897827483*c_1001_5 + 79663817234164717635073989049660196244606640/9871566889510246560553\ 3624363682770897827483, c_0101_2 - 806508601946475253581690555620293341300391/39486267558040986\ 2422134497454731083591309932*c_1001_5^19 - 1578492188359332438373598382807127798580281/19743133779020493121106\ 7248727365541795654966*c_1001_5^18 - 40350435937693549343560994981222214975038809/3948626755804098624221\ 34497454731083591309932*c_1001_5^17 - 5712183205893696320191046507679345269815196/32905222965034155201844\ 541454560923632609161*c_1001_5^16 + 10099268610203234135184190784148831344470869/6581044593006831040368\ 9082909121847265218322*c_1001_5^15 - 103138516084576308148321078799699679536483669/131620891860136620807\ 378165818243694530436644*c_1001_5^14 - 928107023567752449576355108818846586464658825/394862675580409862422\ 134497454731083591309932*c_1001_5^13 + 136987023809766973220704518708758506301059823/131620891860136620807\ 378165818243694530436644*c_1001_5^12 + 3140918923629029898724221803638201241858915951/39486267558040986242\ 2134497454731083591309932*c_1001_5^11 + 134426205085149271534323581209891745667708041/329052229650341552018\ 44541454560923632609161*c_1001_5^10 + 920926793651454178201724242334674192651897799/394862675580409862422\ 134497454731083591309932*c_1001_5^9 + 1922198220447871391945885059098549333201476605/19743133779020493121\ 1067248727365541795654966*c_1001_5^8 + 138115087352800751414247587547080622164135709/329052229650341552018\ 44541454560923632609161*c_1001_5^7 + 110705882799811532919966195697541712925845646/329052229650341552018\ 44541454560923632609161*c_1001_5^6 - 613018277769046987516180189054184559540483629/394862675580409862422\ 134497454731083591309932*c_1001_5^5 + 61452424572886228422501884926538804998733717/1316208918601366208073\ 78165818243694530436644*c_1001_5^4 - 111730909034147626409520326121294317265288224/987156688951024656055\ 33624363682770897827483*c_1001_5^3 + 101805677001325795878938421796430851778772921/658104459300683104036\ 89082909121847265218322*c_1001_5^2 + 186251176219689843140280824147676403163068267/394862675580409862422\ 134497454731083591309932*c_1001_5 + 243987022369079190556781475774083618526639665/197431337790204931211\ 067248727365541795654966, c_0101_5 - 254051041581193220872088393738220810099101/98715668895102465\ 605533624363682770897827483*c_1001_5^19 - 2084979954588681892701710473744043731590127/39486267558040986242213\ 4497454731083591309932*c_1001_5^18 - 22906563625532619003223794137695424588706919/1974313377902049312110\ 67248727365541795654966*c_1001_5^17 + 874788430005009406465157814503959540483281/131620891860136620807378\ 165818243694530436644*c_1001_5^16 + 21092429775640539550705067351148949161595395/6581044593006831040368\ 9082909121847265218322*c_1001_5^15 - 47322540204059980418564516851534352033353459/3290522296503415520184\ 4541454560923632609161*c_1001_5^14 - 222349657930643036995182412071102027040023341/394862675580409862422\ 134497454731083591309932*c_1001_5^13 + 468941989732476636480130559341260959526413713/131620891860136620807\ 378165818243694530436644*c_1001_5^12 + 2214049982115401118950954573981083765242129571/39486267558040986242\ 2134497454731083591309932*c_1001_5^11 - 991201203370057330794823012252823073266721979/131620891860136620807\ 378165818243694530436644*c_1001_5^10 + 642401757978665687221386421365789950889394243/987156688951024656055\ 33624363682770897827483*c_1001_5^9 - 568064464878653920344209026607243830056054791/394862675580409862422\ 134497454731083591309932*c_1001_5^8 + 354419237438552839886953155870058452011039767/658104459300683104036\ 89082909121847265218322*c_1001_5^7 - 475059781499680688548021666148219256593738037/658104459300683104036\ 89082909121847265218322*c_1001_5^6 + 399313258948340408317508839700527677019696007/987156688951024656055\ 33624363682770897827483*c_1001_5^5 - 298477923602694566928927237208910054601981137/131620891860136620807\ 378165818243694530436644*c_1001_5^4 + 1644852260015913713935765914776026452764710037/39486267558040986242\ 2134497454731083591309932*c_1001_5^3 - 46474711766767743262066218115824437861084690/3290522296503415520184\ 4541454560923632609161*c_1001_5^2 + 172902684913189685330783865838994708442370609/197431337790204931211\ 067248727365541795654966*c_1001_5 - 320912088909600406210464848050387462778507671/394862675580409862422\ 134497454731083591309932, c_1001_0 - 211922793803812586917563069079714867135813/39486267558040986\ 2422134497454731083591309932*c_1001_5^19 - 9175119528288331135757903273923945568927/98715668895102465605533624\ 363682770897827483*c_1001_5^18 - 8305885409400811316993471970147704\ 893341643/394862675580409862422134497454731083591309932*c_1001_5^17 + 1645276039638480122213126587130545453714038/329052229650341552018\ 44541454560923632609161*c_1001_5^16 + 3801745800643973515853773120569907361164956/32905222965034155201844\ 541454560923632609161*c_1001_5^15 - 50871114941079669207335360710342150994014749/1316208918601366208073\ 78165818243694530436644*c_1001_5^14 + 124366487026680461889399216626520026247194615/394862675580409862422\ 134497454731083591309932*c_1001_5^13 + 191873950066303027976780613371944032452914993/131620891860136620807\ 378165818243694530436644*c_1001_5^12 + 197693028629449676280185346761335075565894771/394862675580409862422\ 134497454731083591309932*c_1001_5^11 - 328628871113080495920164297502646088197443679/658104459300683104036\ 89082909121847265218322*c_1001_5^10 + 268795751044897320188197618211291964661890779/394862675580409862422\ 134497454731083591309932*c_1001_5^9 - 189840427930721611094315800693013601502211326/987156688951024656055\ 33624363682770897827483*c_1001_5^8 + 76069761601490333217727407436377874451166209/6581044593006831040368\ 9082909121847265218322*c_1001_5^7 - 160076014134781111156113837955455275763962413/329052229650341552018\ 44541454560923632609161*c_1001_5^6 + 723014069386158087027594039974294310164927455/394862675580409862422\ 134497454731083591309932*c_1001_5^5 - 21381752369010573083422171469532922394537053/1316208918601366208073\ 78165818243694530436644*c_1001_5^4 + 496922940497960544398087118625985979874245725/197431337790204931211\ 067248727365541795654966*c_1001_5^3 - 114228937536206426726415667206318891245504235/658104459300683104036\ 89082909121847265218322*c_1001_5^2 + 161609735390165671316777538809215013144639371/394862675580409862422\ 134497454731083591309932*c_1001_5 - 119853120321086471653417695254648770872490681/197431337790204931211\ 067248727365541795654966, c_1001_5^20 + 3*c_1001_5^19 + 48*c_1001_5^18 + 43*c_1001_5^17 - 81*c_1001_5^16 + 477*c_1001_5^15 + 646*c_1001_5^14 - 737*c_1001_5^13 - 2873*c_1001_5^12 - 68*c_1001_5^11 - 2894*c_1001_5^10 - 1477*c_1001_5^9 - 2789*c_1001_5^8 + 408*c_1001_5^7 - 985*c_1001_5^6 + 878*c_1001_5^5 - 580*c_1001_5^4 + 65*c_1001_5^3 - 517*c_1001_5^2 - 125*c_1001_5 - 157 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.660 seconds, Total memory usage: 32.09MB