Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 4290667302] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0917 geometric_solution 4.80995627 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.689943875623 0.299263081481 0 2 2 0 3201 0132 1023 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121733123338 0.754999231706 3 1 1 4 0132 0132 1023 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 0 0 0 0 0 -1 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.325992864482 0.235865558989 2 4 5 4 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.366645822927 1.354245971125 5 3 2 3 1023 2310 0132 3201 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 0 0 0 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.366645822927 1.354245971125 6 4 6 3 0132 1023 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545504280575 0.957235869235 5 5 6 6 0132 3201 1230 3012 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.365836936519 0.203266657352 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3156490654174906038684284388869772410161389115869373566142947068844\ 77594334/7339252778787906069639511136332154165116159866270571204077\ 342655656100127*c_0101_5^23 + 8194077226872147289001465446610993722\ 505611083830108011469113835555116084173/733925277878790606963951113\ 6332154165116159866270571204077342655656100127*c_0101_5^22 - 1966602740486598169421511398414537596725107651505366528415857331498\ 99555999681/7339252778787906069639511136332154165116159866270571204\ 077342655656100127*c_0101_5^21 + 1288393104548565007169221699210958\ 257142903575238309702753365487447416800148550/733925277878790606963\ 9511136332154165116159866270571204077342655656100127*c_0101_5^20 - 3838546650464048151472856689817306881742580664828707297267802883653\ 981175358528/733925277878790606963951113633215416511615986627057120\ 4077342655656100127*c_0101_5^19 + 747981097510292048719378812532040\ 5943684514555878970543145325601420374353469624/73392527787879060696\ 39511136332154165116159866270571204077342655656100127*c_0101_5^18 - 2071140958338391179847166879062955638284739043991489420658709954627\ 1286527735149/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^17 + 5700493234635537248196623058003877688438413568497162312940919486658\ 5648362072317/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^16 - 5732695940564337618684238380127785987535785056934904592008397055607\ 5924659679519/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^15 - 8609592379393223062942857170330923898512166376510971766194673067602\ 2636120757336/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^14 + 1748281866320901330926365795034342260709745261945014297237505953836\ 46950779461340/7339252778787906069639511136332154165116159866270571\ 204077342655656100127*c_0101_5^13 + 4831437081404855241377250892309271718365497308536063307752917337583\ 5655480187880/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^12 - 1271787555945925335955909434952871138636134052321617741814971068535\ 911676602296/806511294372297370290056168827709248913863721568194637\ 81069699512704397*c_0101_5^11 - 48535354251892742495888143670829634\ 53478654549487233002013878283254892754385706/1048464682683986581377\ 073019476022023588022838038653029153906093665157161*c_0101_5^10 + 1325184691403747017139125084193890681424495547723764459891581614264\ 4122962157689/73392527787879060696395111363321541651161598662705712\ 04077342655656100127*c_0101_5^9 + 131702359970959485465976306747782\ 58094411563332763719307985987831455007857513163/7339252778787906069\ 639511136332154165116159866270571204077342655656100127*c_0101_5^8 + 2607914614992765484444460395908456649068826507822732448670437109597\ 0870605899/45585420986260286146829261716348783634261862523419696919\ 735047550659007*c_0101_5^7 + 88450131048272417471121554573334248318\ 7068606640006770169106384379089622067854/73392527787879060696395111\ 36332154165116159866270571204077342655656100127*c_0101_5^6 + 3364999459031002764506909779167278071194014184265235478262579138184\ 17789917082/7339252778787906069639511136332154165116159866270571204\ 077342655656100127*c_0101_5^5 - 65672764864456426797871308767617449\ 501611486125886725105936938430950364119462/104846468268398658137707\ 3019476022023588022838038653029153906093665157161*c_0101_5^4 - 1380330537192219431403328408169945575451858370395036439615775991483\ 57803580887/7339252778787906069639511136332154165116159866270571204\ 077342655656100127*c_0101_5^3 - 58715765831068911441584037809136819\ 699060798338142103411858918597723621194704/733925277878790606963951\ 1136332154165116159866270571204077342655656100127*c_0101_5^2 - 1453764558136531513349312470977522866709254347071215154503430780711\ 3271900905/73392527787879060696395111363321541651161598662705712040\ 77342655656100127*c_0101_5 - 59726917358285490318632786419322032083\ 34818186660835568555417289426533930/3190979469038220030278048320144\ 41485439833037663937878438145332854613049, c_0011_0 - 1, c_0011_1 + 865361431685623215677566964690177116065967382126247507206691\ 2921749471/80651129437229737029005616882770924891386372156819463781\ 069699512704397*c_0101_5^23 + 2244239217292248273692382487919024001\ 50699595692798002069849926039843075/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^22 - 5396999952217212708552105837934797609104122827029190396339309880522\ 026671/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^21 + 35463125930546786842459038244325972613937\ 920136643790841537743270238746996/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^20 - 1062497288464446035048624329083906966106561493707362439036444253206\ 34631163/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^19 + 208540300960710348788590823152997656812\ 995107687311439945987261418772190871/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^18 - 5755539007572744706804387090756425398958105203629032315049603073746\ 49433838/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^17 + 158239695982880786004377082306856567753\ 8062465391201587809974775724879342836/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^16 - 1625120725327799940626342681801491353907640613009278306606028955289\ 911193939/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^15 - 22821035634550838189955253763583491716\ 90747266714407629329178977638667692734/8065112943722973702900561688\ 2770924891386372156819463781069699512704397*c_0101_5^14 + 4807260302918584071281545703550873381305685341193477797051091245734\ 457342792/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^13 + 11626446290217149978306205021834183476\ 11082028993714226241957447327876805206/8065112943722973702900561688\ 2770924891386372156819463781069699512704397*c_0101_5^12 - 3089698660852164689712383031110950273278767824942453939290350637726\ 098456301/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^11 - 84335042708577426633402641833244830695\ 1300981533388185331453835672915594300/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^10 + 3049806122770001789294354719046826190413312967700515024111934858686\ 32366417/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^9 + 3372637156316867684435784562574728879070\ 35501920008658199644300597322336807/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^8 + 1280418407151255595259698805637847729887092682796364265135509836916\ 71420839/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^7 + 3178398331275827980121376834082563286287\ 7886568793342291810416956680040221/80651129437229737029005616882770\ 924891386372156819463781069699512704397*c_0101_5^6 + 8067222706233478898840346944358193964923129091901024588605946764834\ 226469/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^5 - 128548045027962094888797397604598821239905\ 39807733957784953355962940983699/8065112943722973702900561688277092\ 4891386372156819463781069699512704397*c_0101_5^4 - 4154164922624195339114927584531628398277679601032821972207656677449\ 963806/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^3 - 185582141068792123164755868549261036301586\ 7450463080313802006484065159338/80651129437229737029005616882770924\ 891386372156819463781069699512704397*c_0101_5^2 - 4677787863830103918078336825434771813461773529117417534819711683275\ 37773/8065112943722973702900561688277092489138637215681946378106969\ 9512704397*c_0101_5 + 213966846665021526083373743666825703056801616\ 49586093620117466022224152/8065112943722973702900561688277092489138\ 6372156819463781069699512704397, c_0011_4 + 227666197781537197053896036977764665739037804491975610261492\ 2982888779/80651129437229737029005616882770924891386372156819463781\ 069699512704397*c_0101_5^23 + 5966866142142532841312304601785200879\ 5041500958192065764930604950951957/80651129437229737029005616882770\ 924891386372156819463781069699512704397*c_0101_5^22 - 1403912486518235924710098088215624121355897919715576759847126732319\ 679686/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^21 + 89334159079896445886804271255698838734111\ 74172019965419437791419830079323/8065112943722973702900561688277092\ 4891386372156819463781069699512704397*c_0101_5^20 - 2523774920685550231782486137622641769925972643887003922001462758963\ 8614679/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^19 + 4621249154194433360987257355719962839967\ 9393362992267232826443780904981082/80651129437229737029005616882770\ 924891386372156819463781069699512704397*c_0101_5^18 - 1335861633945286416314487498263560614688285983303366919328872579812\ 01422259/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^17 + 369658725763125868331387845601481574275\ 307659926653898023626062850076639264/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^16 - 2987298862305807340840909248972727450756540842098718375615791018785\ 89030300/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^15 - 757971348868649899948584997346129827172\ 235200170608398052907951934015674640/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^14 + 1132514986075029999240803024743263839183823932015882286983137394280\ 727684052/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^13 + 73747910851630918673672624372175566931\ 3070986233991940312649903488475354017/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^12 - 8600488766200828098431754671723783259298685869359347103095414818043\ 69588253/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^11 - 519306128043971748151459378759720615076\ 561841298282085259157811455633619105/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^10 + 1223178855126284547416898187852430738311429633307397832823054972871\ 39122295/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^9 + 1600851059231032335542348841926476169694\ 31870637321556624287402376291458712/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^8 + 4059206122638700026493241400745924686967557056729318383613547586307\ 6367660/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^7 + 24897280206908467550333158783354046671294\ 2267599796671779570483201066038/80651129437229737029005616882770924\ 891386372156819463781069699512704397*c_0101_5^6 + 1248900389250416206380252080475217657171825319230592691260143848023\ 692169/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^5 - 226791563835150453568782438639932040797676\ 4222992900481836814880927808232/80651129437229737029005616882770924\ 891386372156819463781069699512704397*c_0101_5^4 - 2069713787551590343506992098330209810215729348299154855839993876465\ 273456/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^3 - 311401595253163742015253944032292357854439\ 324443038173695071803544894843/806511294372297370290056168827709248\ 91386372156819463781069699512704397*c_0101_5^2 - 1930955637372080621168655479552399563551052172309476112760256939484\ 41140/8065112943722973702900561688277092489138637215681946378106969\ 9512704397*c_0101_5 + 707545957803542686545023686960044208484494650\ 836598905779806621924360/806511294372297370290056168827709248913863\ 72156819463781069699512704397, c_0101_0 - 112987664158177304421300416960912604860639363697552179128902\ 83043853319/8065112943722973702900561688277092489138637215681946378\ 1069699512704397*c_0101_5^23 - 292750063441353695836410707003172779\ 861750943082818158673864057211900408/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^22 + 7054662275283149297921764453980526199119919520015979854202623401276\ 902716/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^21 - 46451595477091410202213919289451349874957\ 410456433009722866205554924068938/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^20 + 1393011256175526357417636580689867956378171395402789592085794843658\ 12147000/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^19 - 271920916574065817093142406019322461206\ 295674566140781464100995608743643782/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^18 + 7462817759141759531282250127144139879923301918899279272644007555900\ 24185676/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^17 - 205985060396040098536016036008030576702\ 3948639011966320594912787142542709695/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^16 + 2107073586584747780119334690800288902022182828314599878713548751376\ 808246172/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^15 + 31064799483270659973445997150137399933\ 28753392247176532902305252667144611200/8065112943722973702900561688\ 2770924891386372156819463781069699512704397*c_0101_5^14 - 6565815656472492424618412830476161123951074225100388363269764774566\ 813895730/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^13 - 15333426301503859441805700566465279486\ 85652497113968750090346795253872256062/8065112943722973702900561688\ 2770924891386372156819463781069699512704397*c_0101_5^12 + 4610970441262496590361608244617901667234919221596813889373302183440\ 355612542/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^11 + 97237032765174069133360080453784680981\ 7599544853033122526966955530840497837/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^10 - 7579681301244580268960923718621684013243140757938041438556392933336\ 62015693/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^9 - 4348574381432194574206947111626330672638\ 97132793679354769512756397937884921/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^8 - 9543574847554361273404707597084552834706392845595358503352498582042\ 2499543/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^7 - 96601634783487154047197831902885743253015\ 69363852562138412401945724031548/8065112943722973702900561688277092\ 4891386372156819463781069699512704397*c_0101_5^6 - 9312825080003189880580423323791940412709263730003635742574674406887\ 955041/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^5 + 178427274352131735393519176858344931360609\ 78882532133240855935692012065735/8065112943722973702900561688277092\ 4891386372156819463781069699512704397*c_0101_5^4 + 4038268600519502053595429090785673638778911437136487430752863185374\ 397061/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^3 + 698175108579396112665410851787028645258554\ 381645456042272336979293709675/806511294372297370290056168827709248\ 91386372156819463781069699512704397*c_0101_5^2 + 4558374041779495588020712794215704032357455873374982904021323301404\ 69518/8065112943722973702900561688277092489138637215681946378106969\ 9512704397*c_0101_5 - 432220236944972317850996309430703868722965143\ 79151449735745050191937968/8065112943722973702900561688277092489138\ 6372156819463781069699512704397, c_0101_2 - 275822953549556198996819824229354445316666466698800571373895\ 5204119240/80651129437229737029005616882770924891386372156819463781\ 069699512704397*c_0101_5^23 - 7219443996629530037418597376582968863\ 4761535283841643340187585137608720/80651129437229737029005616882770\ 924891386372156819463781069699512704397*c_0101_5^22 + 1703199827889515808558639274944011716598715187210133767794562367689\ 684213/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^21 - 10886655820199109711769456790255709960200\ 995807298739727828187749708141069/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^20 + 3105924613511794120628396007412009943900308355061404174896958996239\ 3259569/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^19 - 5771411475371123188224288386552732605686\ 9168290016665420404709427741686641/80651129437229737029005616882770\ 924891386372156819463781069699512704397*c_0101_5^18 + 1655549225938845938482274748497190953384411243637716293262461283796\ 87134355/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^17 - 456443864809204881297669347021997498264\ 452286473853599053206529526580889238/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^16 + 3865585544454783701328851482955444495945828097372507036963619481400\ 23999120/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^15 + 880376106183229383117769110116171077061\ 852875193185732765837475975661803751/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^14 - 1389923461321395669803178531515725464015951201390658655883389411828\ 072023450/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^13 - 77545004511661368758861246869021375196\ 2452473099953017151995611208932024436/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^12 + 9925947785297887587594778114048449164364517413566428769745130231342\ 96194314/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^11 + 508782981085088932237062098565439350097\ 003511331682021337955782545503711665/806511294372297370290056168827\ 70924891386372156819463781069699512704397*c_0101_5^10 - 1009856121707647330055053448124711317052967276415319855918660505387\ 11647852/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^9 - 1316734948835892670713972188753921684410\ 96113515154274861850995113635619965/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^8 - 5476100397454583584732920228781192663414760423084944283618372758192\ 6937252/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^7 - 14529539468758790169811524517084998647235\ 162804233265263830663344491330081/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^6 - 3459062422680704618005916754531970935351629210728342874489109503719\ 297181/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^5 + 314017214666858525330683243154528444097328\ 0105976627066121202839667666885/80651129437229737029005616882770924\ 891386372156819463781069699512704397*c_0101_5^4 + 2385489385774882388513026139530708589997766143962960573900933972989\ 364567/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^3 + 250585680009436061400220598204924595956547\ 882037752902426362402897376676/806511294372297370290056168827709248\ 91386372156819463781069699512704397*c_0101_5^2 + 2701776441212905273327709294628586963675823883055506296433697171213\ 80223/8065112943722973702900561688277092489138637215681946378106969\ 9512704397*c_0101_5 + 166583812742307684310365209599198885213236570\ 79197138766103183649317531/8065112943722973702900561688277092489138\ 6372156819463781069699512704397, c_0101_3 - 619579192488292864604105842047392275321387910502618033034739\ 9873370048/80651129437229737029005616882770924891386372156819463781\ 069699512704397*c_0101_5^23 - 1595836293062693086678636476439621543\ 69984434115903969515307190731790289/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^22 + 3892474083620534859242329227245361603037802654100242495400908316313\ 353895/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^21 - 26080097526714942428273297716870721333032\ 603353999564174690908568269092678/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^20 + 8066940398097326224435555991305158607396044440658123162742035757797\ 1833563/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^19 - 1633972692426480013351379628645617646631\ 38910952487809868475560686313299894/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^18 + 4402317634851075502896092977979050808376603692373370711875616607492\ 05555245/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^17 - 120903873789734449682461328669389644298\ 1050086481203438665111663750346944635/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^16 + 1373110496764495410350330043328863994848081470623834149516550695190\ 593533926/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^15 + 14036973969483200108087626154815773037\ 45886269817541599183368518958596462501/8065112943722973702900561688\ 2770924891386372156819463781069699512704397*c_0101_5^14 - 3713873367850808824868965407653971772822379348640049241323420568342\ 004193760/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^13 - 16659244149373264326732218544335331352\ 4397527308297214819245411521092037686/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^12 + 2276948182236974840738942660927568606901265788329803428210433287527\ 810055433/806511294372297370290056168827709248913863721568194637810\ 69699512704397*c_0101_5^11 + 16731015779494064176273054705815778811\ 6305191481431095108367613721953823446/80651129437229737029005616882\ 770924891386372156819463781069699512704397*c_0101_5^10 - 2631984930102660134899162209347756523914349993514912403883856823037\ 47770776/8065112943722973702900561688277092489138637215681946378106\ 9699512704397*c_0101_5^9 - 1815002645397289617096468317300377068199\ 30048222348066603248131677839313142/8065112943722973702900561688277\ 0924891386372156819463781069699512704397*c_0101_5^8 - 5219039692540876601087503005835881297082652437234715645858477693088\ 0633349/80651129437229737029005616882770924891386372156819463781069\ 699512704397*c_0101_5^7 - 13496164988690665837399833206456382022343\ 099604238299868505330854268592092/806511294372297370290056168827709\ 24891386372156819463781069699512704397*c_0101_5^6 - 5588481523400639121830789309365084749466219975040394111764202500285\ 814587/806511294372297370290056168827709248913863721568194637810696\ 99512704397*c_0101_5^5 + 111400660956119641677367648859536527975578\ 23524307605740036074517257025406/8065112943722973702900561688277092\ 4891386372156819463781069699512704397*c_0101_5^4 + 5825662274806223200639068363723866750489972553640061339449158657762\ 80522/8065112943722973702900561688277092489138637215681946378106969\ 9512704397*c_0101_5^3 + 9581025269385823286713623309033138372216069\ 52800576260706244157695611343/8065112943722973702900561688277092489\ 1386372156819463781069699512704397*c_0101_5^2 + 9180470522024239984710795215312181573702535472123005593097586233833\ 7183/80651129437229737029005616882770924891386372156819463781069699\ 512704397*c_0101_5 - 4680378799002754746996589699682289048491582038\ 4547100999887783502696610/80651129437229737029005616882770924891386\ 372156819463781069699512704397, c_0101_5^24 + 26*c_0101_5^23 - 622*c_0101_5^22 + 4056*c_0101_5^21 - 11984*c_0101_5^20 + 23128*c_0101_5^19 - 64422*c_0101_5^18 + 177467*c_0101_5^17 - 173028*c_0101_5^16 - 283599*c_0101_5^15 + 546698*c_0101_5^14 + 179737*c_0101_5^13 - 371192*c_0101_5^12 - 123235*c_0101_5^11 + 44308*c_0101_5^10 + 43962*c_0101_5^9 + 14222*c_0101_5^8 + 2879*c_0101_5^7 + 1011*c_0101_5^6 - 1476*c_0101_5^5 - 516*c_0101_5^4 - 172*c_0101_5^3 - 50*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB