Magma V2.19-8 Wed Aug 21 2013 00:05:03 on localhost [Seed = 1629949696] Type ? for help. Type -D to quit. Loading file "K13n2015__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2015 geometric_solution 11.85366669 oriented_manifold CS_known -0.0000000000000003 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336066168848 0.899588923872 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 -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.829901445262 0.597134047054 6 0 3 3 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.330695716861 0.458855276423 2 2 6 0 3120 0213 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330695716861 0.458855276423 8 6 0 9 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 -1 1 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.829901445262 0.597134047054 8 1 10 11 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.912520140187 1.000694565589 2 4 1 3 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 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336066168848 0.899588923872 12 11 9 1 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 -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.912520140187 1.000694565589 4 5 11 12 0132 1023 3201 0132 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 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.912520140187 1.000694565589 11 10 4 7 3201 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 -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.912520140187 1.000694565589 12 9 12 5 1302 0132 2031 0132 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 -1 1 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.173541466666 1.441445377085 8 7 5 9 2310 0132 0132 2310 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 -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.337376154467 0.266258055860 7 10 8 10 0132 2031 0132 1302 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173541466666 1.441445377085 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_7']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : negation(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_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : 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' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_8']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], '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_7'], 'c_0110_8' : d['c_0101_1'], '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_0101_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : 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_3, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0101_8, c_1001_1, c_1001_2, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 28103824334586057902485127362377547099939938865/4653475200268971696\ 4007207431706212461919504*c_1001_5^21 - 85543901420097948961792424832950447187098579877/2326737600134485848\ 2003603715853106230959752*c_1001_5^20 - 38210906370452327000703315853276709652997129095/1163368800067242924\ 1001801857926553115479876*c_1001_5^19 + 3676070763038333324882298316398607331661680645911/18613900801075886\ 7856028829726824849847678016*c_1001_5^18 + 422786966438809588383616593921712475148247719007/116336880006724292\ 41001801857926553115479876*c_1001_5^17 - 2013762180909194541057963813355537125818280409869/46534752002689716\ 964007207431706212461919504*c_1001_5^16 - 2884653600922327112929201468785708302941961262575/23267376001344858\ 482003603715853106230959752*c_1001_5^15 + 4108123859645786700972357427439246240092587093951/93069504005379433\ 928014414863412424923839008*c_1001_5^14 + 20918499186910621083904443762011053277231383342075/9306950400537943\ 3928014414863412424923839008*c_1001_5^13 - 1018175441428339772633961892775461275130343390135/46534752002689716\ 964007207431706212461919504*c_1001_5^12 - 23517569191212181132809487710635731096203357242341/9306950400537943\ 3928014414863412424923839008*c_1001_5^11 + 6355802170011868585030088245951029691316850167335/18613900801075886\ 7856028829726824849847678016*c_1001_5^10 + 8821524736812887815762723007965551688655525679647/46534752002689716\ 964007207431706212461919504*c_1001_5^9 - 15411964184065896560516110121406938812344175572081/1861390080107588\ 67856028829726824849847678016*c_1001_5^8 - 9670424130722168741899328565118656687062850827645/93069504005379433\ 928014414863412424923839008*c_1001_5^7 + 9007536185013805860039972736946021456150886405417/93069504005379433\ 928014414863412424923839008*c_1001_5^6 + 3837435156565035530979904385146627922912172606009/93069504005379433\ 928014414863412424923839008*c_1001_5^5 - 10607905170975879304571251304640451585977856222059/1861390080107588\ 67856028829726824849847678016*c_1001_5^4 - 502140155895699056162392792119628628730191830345/465347520026897169\ 64007207431706212461919504*c_1001_5^3 + 1588027169006885165826248819901829415527923064095/93069504005379433\ 928014414863412424923839008*c_1001_5^2 + 64350234938094670868611283845951200887844845443/4653475200268971696\ 4007207431706212461919504*c_1001_5 - 399177294135966612028935609735375679050905325513/186139008010758867\ 856028829726824849847678016, c_0011_0 - 1, c_0011_10 - 173499705316215526854443247284422562/1829057034130174565489\ 324689430325289*c_1001_5^21 - 1968527250538310816707621231901734984\ /1829057034130174565489324689430325289*c_1001_5^20 - 6976498977823447424443558219911291380/18290570341301745654893246894\ 30325289*c_1001_5^19 - 4263789145918701095568836437768023273/365811\ 4068260349130978649378860650578*c_1001_5^18 + 38472261324585373959220575888419914923/1829057034130174565489324689\ 430325289*c_1001_5^17 + 61061180137828355394623388008825884817/1829\ 057034130174565489324689430325289*c_1001_5^16 - 70050462365633989819517312968169244062/1829057034130174565489324689\ 430325289*c_1001_5^15 - 219889727590563931186436765222819390679/182\ 9057034130174565489324689430325289*c_1001_5^14 + 10796503991685599520328696902980464393/1829057034130174565489324689\ 430325289*c_1001_5^13 + 377063588784622710517109332465028128070/182\ 9057034130174565489324689430325289*c_1001_5^12 + 127903596914721334305569582542692580951/182905703413017456548932468\ 9430325289*c_1001_5^11 - 735481052545847007581529033968173873467/36\ 58114068260349130978649378860650578*c_1001_5^10 - 153186393939340097144952298457916293149/182905703413017456548932468\ 9430325289*c_1001_5^9 + 488694943684175997166414925714589999999/365\ 8114068260349130978649378860650578*c_1001_5^8 + 23431282198423420738611097186796922648/1829057034130174565489324689\ 430325289*c_1001_5^7 - 170519550966044596619626334030878677112/1829\ 057034130174565489324689430325289*c_1001_5^6 + 63297092970334456640940509927079956641/1829057034130174565489324689\ 430325289*c_1001_5^5 + 247504190270943977052064348743865246417/3658\ 114068260349130978649378860650578*c_1001_5^4 - 37504933988097700868696696760911561337/1829057034130174565489324689\ 430325289*c_1001_5^3 - 54053181529686340967765698705592690903/18290\ 57034130174565489324689430325289*c_1001_5^2 + 5999011279825072988995023354097428321/18290570341301745654893246894\ 30325289*c_1001_5 + 17777042222001533238115722211277700261/36581140\ 68260349130978649378860650578, c_0011_11 + 173499705316215526854443247284422562/1829057034130174565489\ 324689430325289*c_1001_5^21 + 1968527250538310816707621231901734984\ /1829057034130174565489324689430325289*c_1001_5^20 + 6976498977823447424443558219911291380/18290570341301745654893246894\ 30325289*c_1001_5^19 + 4263789145918701095568836437768023273/365811\ 4068260349130978649378860650578*c_1001_5^18 - 38472261324585373959220575888419914923/1829057034130174565489324689\ 430325289*c_1001_5^17 - 61061180137828355394623388008825884817/1829\ 057034130174565489324689430325289*c_1001_5^16 + 70050462365633989819517312968169244062/1829057034130174565489324689\ 430325289*c_1001_5^15 + 219889727590563931186436765222819390679/182\ 9057034130174565489324689430325289*c_1001_5^14 - 10796503991685599520328696902980464393/1829057034130174565489324689\ 430325289*c_1001_5^13 - 377063588784622710517109332465028128070/182\ 9057034130174565489324689430325289*c_1001_5^12 - 127903596914721334305569582542692580951/182905703413017456548932468\ 9430325289*c_1001_5^11 + 735481052545847007581529033968173873467/36\ 58114068260349130978649378860650578*c_1001_5^10 + 153186393939340097144952298457916293149/182905703413017456548932468\ 9430325289*c_1001_5^9 - 488694943684175997166414925714589999999/365\ 8114068260349130978649378860650578*c_1001_5^8 - 23431282198423420738611097186796922648/1829057034130174565489324689\ 430325289*c_1001_5^7 + 170519550966044596619626334030878677112/1829\ 057034130174565489324689430325289*c_1001_5^6 - 63297092970334456640940509927079956641/1829057034130174565489324689\ 430325289*c_1001_5^5 - 247504190270943977052064348743865246417/3658\ 114068260349130978649378860650578*c_1001_5^4 + 37504933988097700868696696760911561337/1829057034130174565489324689\ 430325289*c_1001_5^3 + 54053181529686340967765698705592690903/18290\ 57034130174565489324689430325289*c_1001_5^2 - 5999011279825072988995023354097428321/18290570341301745654893246894\ 30325289*c_1001_5 - 17777042222001533238115722211277700261/36581140\ 68260349130978649378860650578, c_0011_3 - 8294896627209804290570953516/2620015420322784866828682503*c_\ 1001_5^21 - 49864872838348919287850579244/2620015420322784866828682\ 503*c_1001_5^20 - 40695411150320983287962721100/2620015420322784866\ 828682503*c_1001_5^19 + 279014354214876520368219064257/262001542032\ 2784866828682503*c_1001_5^18 + 488227490341234277211546743279/26200\ 15420322784866828682503*c_1001_5^17 - 637140789054097198758571996225/2620015420322784866828682503*c_1001_\ 5^16 - 1707551296628933932365231161777/2620015420322784866828682503\ *c_1001_5^15 + 688589658348497585131035421573/262001542032278486682\ 8682503*c_1001_5^14 + 3122196870903919670730059332070/2620015420322\ 784866828682503*c_1001_5^13 - 364346315035550498378161425510/262001\ 5420322784866828682503*c_1001_5^12 - 3455526602617563059809136518549/2620015420322784866828682503*c_1001\ _5^11 + 494572303300590051308211717980/2620015420322784866828682503\ *c_1001_5^10 + 2462805293674433446612921545169/26200154203227848668\ 28682503*c_1001_5^9 - 1168156008352989785073553039518/2620015420322\ 784866828682503*c_1001_5^8 - 1252685622952929686945047023352/262001\ 5420322784866828682503*c_1001_5^7 + 1334510636241921213317443898542/2620015420322784866828682503*c_1001\ _5^6 + 477087367569630954037046356082/2620015420322784866828682503*\ c_1001_5^5 - 717990703614438735812578988479/26200154203227848668286\ 82503*c_1001_5^4 - 121400377660248466015119499274/26200154203227848\ 66828682503*c_1001_5^3 + 172152717890036350875349973930/26200154203\ 22784866828682503*c_1001_5^2 + 15052177072935016727454686890/262001\ 5420322784866828682503*c_1001_5 - 13120056221561382961379506553/262\ 0015420322784866828682503, c_0101_0 - 8971141591976778445126789271763832188/1829057034130174565489\ 324689430325289*c_1001_5^21 - 5378674034493235891022796740987054510\ 4/1829057034130174565489324689430325289*c_1001_5^20 - 41165459915666310718417974870821921368/1829057034130174565489324689\ 430325289*c_1001_5^19 + 314143558854449368139460629454752248021/182\ 9057034130174565489324689430325289*c_1001_5^18 + 531202619768472261058859188946969811362/182905703413017456548932468\ 9430325289*c_1001_5^17 - 766970344485527297607246312398033045460/18\ 29057034130174565489324689430325289*c_1001_5^16 - 1946402373917684215731741935361223704869/18290570341301745654893246\ 89430325289*c_1001_5^15 + 945903880710513723235920799632099593776/1\ 829057034130174565489324689430325289*c_1001_5^14 + 7539614451747147220388083537322003118875/36581140682603491309786493\ 78860650578*c_1001_5^13 - 662635883837821022550480905808163107687/1\ 829057034130174565489324689430325289*c_1001_5^12 - 4493321220531047696094266971206973567105/18290570341301745654893246\ 89430325289*c_1001_5^11 + 749578655816547653868564758196049233464/1\ 829057034130174565489324689430325289*c_1001_5^10 + 3506189843937176774743657429292571626542/18290570341301745654893246\ 89430325289*c_1001_5^9 - 2972375886044587422714649367431086229401/3\ 658114068260349130978649378860650578*c_1001_5^8 - 1919313954986618528486798555087439506358/18290570341301745654893246\ 89430325289*c_1001_5^7 + 3594943339347551316171999919847019226079/3\ 658114068260349130978649378860650578*c_1001_5^6 + 1515386054026426645742080318530115893527/36581140682603491309786493\ 78860650578*c_1001_5^5 - 1143784154111475805689402338982636400668/1\ 829057034130174565489324689430325289*c_1001_5^4 - 199760198487867335673412783014584657642/182905703413017456548932468\ 9430325289*c_1001_5^3 + 738284731770214656663503408534159005871/365\ 8114068260349130978649378860650578*c_1001_5^2 + 26485467391269614477388633687786232471/1829057034130174565489324689\ 430325289*c_1001_5 - 98610330156208213127630947387420229801/3658114\ 068260349130978649378860650578, c_0101_1 - c_1001_5, c_0101_11 + 758954562918773751751639740280548156/1829057034130174565489\ 324689430325289*c_1001_5^21 + 5172130305760820457107079246841039666\ /1829057034130174565489324689430325289*c_1001_5^20 + 7373065886119908252715533834413002242/18290570341301745654893246894\ 30325289*c_1001_5^19 - 22531853116673317139331289053791217771/18290\ 57034130174565489324689430325289*c_1001_5^18 - 129320903226379565163536793628301483551/365811406826034913097864937\ 8860650578*c_1001_5^17 + 46926995538628091692420922637502973151/365\ 8114068260349130978649378860650578*c_1001_5^16 + 401992630787828990684318187647896700205/365811406826034913097864937\ 8860650578*c_1001_5^15 + 112131234818579056758306180297409621289/36\ 58114068260349130978649378860650578*c_1001_5^14 - 333268216404785322958035851549902122597/182905703413017456548932468\ 9430325289*c_1001_5^13 - 358342804299891358698795313121795462171/36\ 58114068260349130978649378860650578*c_1001_5^12 + 341112949072000532519196206960118334198/182905703413017456548932468\ 9430325289*c_1001_5^11 + 366837751343146591313059672627361125613/36\ 58114068260349130978649378860650578*c_1001_5^10 - 258787858530609727911620845374862923847/182905703413017456548932468\ 9430325289*c_1001_5^9 - 49370246481660413537846811138247690075/1829\ 057034130174565489324689430325289*c_1001_5^8 + 379581490668733735063635843032438135059/365811406826034913097864937\ 8860650578*c_1001_5^7 - 47849547642216966313078554868880938546/1829\ 057034130174565489324689430325289*c_1001_5^6 - 251444552394932561500042520185217210763/365811406826034913097864937\ 8860650578*c_1001_5^5 + 38533386624539652296583144251261799164/1829\ 057034130174565489324689430325289*c_1001_5^4 + 103541334336443151861802110449906591087/365811406826034913097864937\ 8860650578*c_1001_5^3 - 16374913094930587490483931056161709097/3658\ 114068260349130978649378860650578*c_1001_5^2 - 8743907673401042276702410421563942493/18290570341301745654893246894\ 30325289*c_1001_5 - 1182228004310055401851226136275569761/365811406\ 8260349130978649378860650578, c_0101_7 - 758954562918773751751639740280548156/18290570341301745654893\ 24689430325289*c_1001_5^21 - 5172130305760820457107079246841039666/\ 1829057034130174565489324689430325289*c_1001_5^20 - 7373065886119908252715533834413002242/18290570341301745654893246894\ 30325289*c_1001_5^19 + 22531853116673317139331289053791217771/18290\ 57034130174565489324689430325289*c_1001_5^18 + 129320903226379565163536793628301483551/365811406826034913097864937\ 8860650578*c_1001_5^17 - 46926995538628091692420922637502973151/365\ 8114068260349130978649378860650578*c_1001_5^16 - 401992630787828990684318187647896700205/365811406826034913097864937\ 8860650578*c_1001_5^15 - 112131234818579056758306180297409621289/36\ 58114068260349130978649378860650578*c_1001_5^14 + 333268216404785322958035851549902122597/182905703413017456548932468\ 9430325289*c_1001_5^13 + 358342804299891358698795313121795462171/36\ 58114068260349130978649378860650578*c_1001_5^12 - 341112949072000532519196206960118334198/182905703413017456548932468\ 9430325289*c_1001_5^11 - 366837751343146591313059672627361125613/36\ 58114068260349130978649378860650578*c_1001_5^10 + 258787858530609727911620845374862923847/182905703413017456548932468\ 9430325289*c_1001_5^9 + 49370246481660413537846811138247690075/1829\ 057034130174565489324689430325289*c_1001_5^8 - 379581490668733735063635843032438135059/365811406826034913097864937\ 8860650578*c_1001_5^7 + 47849547642216966313078554868880938546/1829\ 057034130174565489324689430325289*c_1001_5^6 + 251444552394932561500042520185217210763/365811406826034913097864937\ 8860650578*c_1001_5^5 - 38533386624539652296583144251261799164/1829\ 057034130174565489324689430325289*c_1001_5^4 - 103541334336443151861802110449906591087/365811406826034913097864937\ 8860650578*c_1001_5^3 + 16374913094930587490483931056161709097/3658\ 114068260349130978649378860650578*c_1001_5^2 + 8743907673401042276702410421563942493/18290570341301745654893246894\ 30325289*c_1001_5 + 1182228004310055401851226136275569761/365811406\ 8260349130978649378860650578, c_0101_8 - 417552526582165766033221075297597620/18290570341301745654893\ 24689430325289*c_1001_5^21 - 1271011977854257265566419657984433992/\ 1829057034130174565489324689430325289*c_1001_5^20 + 6258333834887315010182872398888219884/18290570341301745654893246894\ 30325289*c_1001_5^19 + 25327801837383852179909203969735629709/18290\ 57034130174565489324689430325289*c_1001_5^18 - 12847506364736738649729320998689407826/1829057034130174565489324689\ 430325289*c_1001_5^17 - 135172342458626463270030551463579504767/182\ 9057034130174565489324689430325289*c_1001_5^16 - 90536397383517685834228454161956067327/3658114068260349130978649378\ 860650578*c_1001_5^15 + 714540400206144235949519757804063364637/365\ 8114068260349130978649378860650578*c_1001_5^14 + 498475212783283992550815169893834805305/365811406826034913097864937\ 8860650578*c_1001_5^13 - 1091714347956701327007387452283488106307/3\ 658114068260349130978649378860650578*c_1001_5^12 - 955348814742970662233296672823176183547/365811406826034913097864937\ 8860650578*c_1001_5^11 + 1086893514539461209149695566821780107721/3\ 658114068260349130978649378860650578*c_1001_5^10 + 875445691391327980159696702205934066207/365811406826034913097864937\ 8860650578*c_1001_5^9 - 872074996319651702709531306356241678619/365\ 8114068260349130978649378860650578*c_1001_5^8 - 156174014262034058528805839591244947360/182905703413017456548932468\ 9430325289*c_1001_5^7 + 719453847335978895292046032539633212205/365\ 8114068260349130978649378860650578*c_1001_5^6 - 35753424384339308538727293369709771159/1829057034130174565489324689\ 430325289*c_1001_5^5 - 248067406406684485171858177241250687664/1829\ 057034130174565489324689430325289*c_1001_5^4 + 37329605819736791999807672030108242770/1829057034130174565489324689\ 430325289*c_1001_5^3 + 197176309149306444679468189090124678863/3658\ 114068260349130978649378860650578*c_1001_5^2 - 11262846947329363142150962462616445077/3658114068260349130978649378\ 860650578*c_1001_5 - 30762087380617876550982762334403231691/3658114\ 068260349130978649378860650578, c_1001_1 - 417552526582165766033221075297597620/18290570341301745654893\ 24689430325289*c_1001_5^21 - 1271011977854257265566419657984433992/\ 1829057034130174565489324689430325289*c_1001_5^20 + 6258333834887315010182872398888219884/18290570341301745654893246894\ 30325289*c_1001_5^19 + 25327801837383852179909203969735629709/18290\ 57034130174565489324689430325289*c_1001_5^18 - 12847506364736738649729320998689407826/1829057034130174565489324689\ 430325289*c_1001_5^17 - 135172342458626463270030551463579504767/182\ 9057034130174565489324689430325289*c_1001_5^16 - 90536397383517685834228454161956067327/3658114068260349130978649378\ 860650578*c_1001_5^15 + 714540400206144235949519757804063364637/365\ 8114068260349130978649378860650578*c_1001_5^14 + 498475212783283992550815169893834805305/365811406826034913097864937\ 8860650578*c_1001_5^13 - 1091714347956701327007387452283488106307/3\ 658114068260349130978649378860650578*c_1001_5^12 - 955348814742970662233296672823176183547/365811406826034913097864937\ 8860650578*c_1001_5^11 + 1086893514539461209149695566821780107721/3\ 658114068260349130978649378860650578*c_1001_5^10 + 875445691391327980159696702205934066207/365811406826034913097864937\ 8860650578*c_1001_5^9 - 872074996319651702709531306356241678619/365\ 8114068260349130978649378860650578*c_1001_5^8 - 156174014262034058528805839591244947360/182905703413017456548932468\ 9430325289*c_1001_5^7 + 719453847335978895292046032539633212205/365\ 8114068260349130978649378860650578*c_1001_5^6 - 35753424384339308538727293369709771159/1829057034130174565489324689\ 430325289*c_1001_5^5 - 248067406406684485171858177241250687664/1829\ 057034130174565489324689430325289*c_1001_5^4 + 37329605819736791999807672030108242770/1829057034130174565489324689\ 430325289*c_1001_5^3 + 197176309149306444679468189090124678863/3658\ 114068260349130978649378860650578*c_1001_5^2 - 11262846947329363142150962462616445077/3658114068260349130978649378\ 860650578*c_1001_5 - 30762087380617876550982762334403231691/3658114\ 068260349130978649378860650578, c_1001_2 + 8971141591976778445126789271763832188/1829057034130174565489\ 324689430325289*c_1001_5^21 + 5378674034493235891022796740987054510\ 4/1829057034130174565489324689430325289*c_1001_5^20 + 41165459915666310718417974870821921368/1829057034130174565489324689\ 430325289*c_1001_5^19 - 314143558854449368139460629454752248021/182\ 9057034130174565489324689430325289*c_1001_5^18 - 531202619768472261058859188946969811362/182905703413017456548932468\ 9430325289*c_1001_5^17 + 766970344485527297607246312398033045460/18\ 29057034130174565489324689430325289*c_1001_5^16 + 1946402373917684215731741935361223704869/18290570341301745654893246\ 89430325289*c_1001_5^15 - 945903880710513723235920799632099593776/1\ 829057034130174565489324689430325289*c_1001_5^14 - 7539614451747147220388083537322003118875/36581140682603491309786493\ 78860650578*c_1001_5^13 + 662635883837821022550480905808163107687/1\ 829057034130174565489324689430325289*c_1001_5^12 + 4493321220531047696094266971206973567105/18290570341301745654893246\ 89430325289*c_1001_5^11 - 749578655816547653868564758196049233464/1\ 829057034130174565489324689430325289*c_1001_5^10 - 3506189843937176774743657429292571626542/18290570341301745654893246\ 89430325289*c_1001_5^9 + 2972375886044587422714649367431086229401/3\ 658114068260349130978649378860650578*c_1001_5^8 + 1919313954986618528486798555087439506358/18290570341301745654893246\ 89430325289*c_1001_5^7 - 3594943339347551316171999919847019226079/3\ 658114068260349130978649378860650578*c_1001_5^6 - 1515386054026426645742080318530115893527/36581140682603491309786493\ 78860650578*c_1001_5^5 + 1143784154111475805689402338982636400668/1\ 829057034130174565489324689430325289*c_1001_5^4 + 199760198487867335673412783014584657642/182905703413017456548932468\ 9430325289*c_1001_5^3 - 738284731770214656663503408534159005871/365\ 8114068260349130978649378860650578*c_1001_5^2 - 26485467391269614477388633687786232471/1829057034130174565489324689\ 430325289*c_1001_5 + 98610330156208213127630947387420229801/3658114\ 068260349130978649378860650578, c_1001_5^22 + 47/7*c_1001_5^21 + 62/7*c_1001_5^20 - 897/28*c_1001_5^19 - 2383/28*c_1001_5^18 + 303/7*c_1001_5^17 + 1975/7*c_1001_5^16 + 755/14*c_1001_5^15 - 502*c_1001_5^14 - 3361/14*c_1001_5^13 + 7761/14*c_1001_5^12 + 8153/28*c_1001_5^11 - 12403/28*c_1001_5^10 - 3413/28*c_1001_5^9 + 9151/28*c_1001_5^8 - 317/7*c_1001_5^7 - 1600/7*c_1001_5^6 + 1755/28*c_1001_5^5 + 3183/28*c_1001_5^4 - 295/14*c_1001_5^3 - 433/14*c_1001_5^2 + 67/28*c_1001_5 + 97/28, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.770 Total time: 0.990 seconds, Total memory usage: 32.09MB