Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 155751902] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1077 geometric_solution 4.94762401 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -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 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.668052343984 0.414872136570 0 0 1 1 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497199566922 0.154218141033 3 0 4 0 0132 0132 0132 1023 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 -1 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 0 0 0 2.109727757743 1.221693819736 2 4 4 5 0132 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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.759051330876 0.681604153778 5 3 3 2 3201 0213 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 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 1 -1 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.759051330876 0.681604153778 6 6 3 4 0132 3201 0132 2310 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 0 0.386481822046 0.435378662926 5 6 5 6 0132 1302 2310 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 0 0 0 0 0 0 0 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.860151030699 1.424096299063 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 29359558004175728780108129408130914490504186216252580752796623301/6\ 0821019360342358438077661509568357454509034634697491300187184*c_010\ 1_4^32 - 3290725270361212156068506523751295933343705534179672608768\ 74405827/3041050968017117921903883075478417872725451731734874565009\ 3592*c_0101_4^31 - 698543829048371541780138138849306256148372003594\ 2283851033831293825/60821019360342358438077661509568357454509034634\ 697491300187184*c_0101_4^30 - 2896090932461852965557625926575561790\ 456738078791569506952562863049/380131371002139740237985384434802234\ 0906814664668593206261699*c_0101_4^29 - 1063105334583465827021574085221414871513029956557068265385672636752\ 93/30410509680171179219038830754784178727254517317348745650093592*c\ _0101_4^28 - 875994515005995711057828129240422142674890833347603556\ 38364672522693/7602627420042794804759707688696044681813629329337186\ 412523398*c_0101_4^27 - 4102779003461020194435879304982063298212145\ 82303900915762039112172509/1520525484008558960951941537739208936362\ 7258658674372825046796*c_0101_4^26 - 2452653349863298325303378695932191593255827286748531551388332525301\ 085/60821019360342358438077661509568357454509034634697491300187184*\ c_0101_4^25 - 49419073643406213102789822190197776184024246280189358\ 8868390038542297/30410509680171179219038830754784178727254517317348\ 745650093592*c_0101_4^24 + 2915306296112675298024309734076086216973\ 302562086689509896814715409679/304105096801711792190388307547841787\ 27254517317348745650093592*c_0101_4^23 + 1780961736451717630644234049289357470146610410504914740269015170284\ 0585/60821019360342358438077661509568357454509034634697491300187184\ *c_0101_4^22 + 2574805130437663952495105220476121811842309290412859\ 9938905331212316337/60821019360342358438077661509568357454509034634\ 697491300187184*c_0101_4^21 + 1329376704573317152337950546201383666\ 6056055502425043281689139735783425/60821019360342358438077661509568\ 357454509034634697491300187184*c_0101_4^20 - 1312011422567583166758024862514115632770451507852909708032539796860\ 6235/30410509680171179219038830754784178727254517317348745650093592\ *c_0101_4^19 - 1752547007321248814625116651308890286401960705746318\ 6975594534806582421/15205254840085589609519415377392089363627258658\ 674372825046796*c_0101_4^18 - 7355603510173390308380810218414462731\ 6254017731953660347133632510699293/60821019360342358438077661509568\ 357454509034634697491300187184*c_0101_4^17 - 9097581827699540905634340685119367080662618245271073048394911307425\ 61/3801313710021397402379853844348022340906814664668593206261699*c_\ 0101_4^16 + 6806693620815159525116662435970854438669020848839267465\ 5275992992731229/60821019360342358438077661509568357454509034634697\ 491300187184*c_0101_4^15 + 1010745542643869613640794779679613956640\ 51824148204056541719893250068205/6082101936034235843807766150956835\ 7454509034634697491300187184*c_0101_4^14 + 5404533472155287246769285132417172006762762755297282690626968180907\ 0497/60821019360342358438077661509568357454509034634697491300187184\ *c_0101_4^13 - 6002358200207396474493076818183558323035546942178581\ 613577724764544927/152052548400855896095194153773920893636272586586\ 74372825046796*c_0101_4^12 - 60361193061189186302115063574707683932\ 039488906661840850833462857045369/608210193603423584380776615095683\ 57454509034634697491300187184*c_0101_4^11 - 3774134995043507003677879077998607069147556698631138586463453049636\ 5783/60821019360342358438077661509568357454509034634697491300187184\ *c_0101_4^10 + 1030749518503827961642974015312092446198881235504423\ 89860738217060365/4344358525738739888434118679254882675322073902478\ 392235727656*c_0101_4^9 + 17109686999601117775144362385769217664782\ 132179711867889542633008592723/608210193603423584380776615095683574\ 54509034634697491300187184*c_0101_4^8 + 9794581454510442852046689246469831957987563325370993402734754697204\ 375/60821019360342358438077661509568357454509034634697491300187184*\ c_0101_4^7 + 138432910032487328724758951977342071513527728245481273\ 215176119013489/608210193603423584380776615095683574545090346346974\ 91300187184*c_0101_4^6 - 222043713750036223668552164108940445139331\ 6946087557395905677233508977/60821019360342358438077661509568357454\ 509034634697491300187184*c_0101_4^5 - 8480612695055366612069757154398673802425122450262522668805493999037\ 81/60821019360342358438077661509568357454509034634697491300187184*c\ _0101_4^4 + 4730386431759572722440765549044179628136930931547357511\ 4933102047289/60821019360342358438077661509568357454509034634697491\ 300187184*c_0101_4^3 + 66264909664395829562197650830844279987460098\ 85504266218792040106257/4344358525738739888434118679254882675322073\ 902478392235727656*c_0101_4^2 + 27100131260143538600819242049840167\ 0097718297401807691703156182961/11696349876988915084245704136455453\ 35663635281436490217311292*c_0101_4 - 650804389092930007726488106465414180298481919600526745444166250585/\ 60821019360342358438077661509568357454509034634697491300187184, c_0011_0 - 1, c_0011_4 - 23092200558565165836888871539739419924211539728511776523128/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^32 - 17321793611777552504382054663845495147531384424989679688221\ 1/292408746924722877106142603411386333915908820359122554327823*c_01\ 01_4^31 - 555492153466049523065444888254576999736324857842385098903\ 6574/877226240774168631318427810234159001747726461077367662983469*c\ _0101_4^30 - 124199131617933130037755348844827647476162582504392531\ 29757831/2924087469247228771061426034113863339159088203591225543278\ 23*c_0101_4^29 - 17380681635934391017980882284929356244764537142257\ 8234085585691/87722624077416863131842781023415900174772646107736766\ 2983469*c_0101_4^28 - 195740668127230746346571051524384938428376532\ 506314522068935472/292408746924722877106142603411386333915908820359\ 122554327823*c_0101_4^27 - 4773472580081749228232465654632459479763\ 16496112336653706345699/2924087469247228771061426034113863339159088\ 20359122554327823*c_0101_4^26 - 23301091330740335308108106847947774\ 60864204491065380218585220539/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4^25 - 1568129040181962992296040431786798784626016912290705549084854113/87\ 7226240774168631318427810234159001747726461077367662983469*c_0101_4\ ^24 + 3714886990785649860021519981452361112896044358638403681127497\ 298/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^23 + 4801750077315139246308101550212831010995464246043667432\ 017425770/292408746924722877106142603411386333915908820359122554327\ 823*c_0101_4^22 + 8052367898645438769398751667324132775558335053547\ 025589281017033/292408746924722877106142603411386333915908820359122\ 554327823*c_0101_4^21 + 1882565753783843437220132590723146623377813\ 8888790756378208127775/87722624077416863131842781023415900174772646\ 1077367662983469*c_0101_4^20 - 116882532980047421036393385034315205\ 93279948328397364988714316682/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4^19 - 54921868628137326904587514758759592064022793256765952612969768046/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^18 - 247330760506904590754226808947649823766009504085941280862709\ 25823/292408746924722877106142603411386333915908820359122554327823*\ c_0101_4^17 - 39689581782882806456943755765959674049232716671854748\ 902012435401/877226240774168631318427810234159001747726461077367662\ 983469*c_0101_4^16 + 3266729901533013659365136244464288235546472238\ 9381810964581230918/87722624077416863131842781023415900174772646107\ 7367662983469*c_0101_4^15 + 847896150733805806811691255111278513178\ 47557129108298948058696493/8772262407741686313184278102341590017477\ 26461077367662983469*c_0101_4^14 + 72275658481333690183292319900139239855523661665381147379377885502/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^13 + 403246608501031875751815975552143876779766365852138809948165\ 4554/292408746924722877106142603411386333915908820359122554327823*c\ _0101_4^12 - 125679240424064301798328639911069703390664037252493786\ 45198309378/2924087469247228771061426034113863339159088203591225543\ 27823*c_0101_4^11 - 41757741856312850183027011146772714135679260653\ 102977831664315659/877226240774168631318427810234159001747726461077\ 367662983469*c_0101_4^10 - 7513344550872277104205849433540348471537\ 71235402985714520908781/4177267813210326815802037191591233341655840\ 2908446079189689*c_0101_4^9 + 5643156289823968337730434502405425746\ 507335111766388669755092761/877226240774168631318427810234159001747\ 726461077367662983469*c_0101_4^8 + 9041238283822417219029276972170171942872099855353687617056930211/87\ 7226240774168631318427810234159001747726461077367662983469*c_0101_4\ ^7 + 36476127481226637286962362556895154391263335967843450772487361\ 47/877226240774168631318427810234159001747726461077367662983469*c_0\ 101_4^6 - 800775381380060016998433476935195065631906222690167376900\ 32224/877226240774168631318427810234159001747726461077367662983469*\ c_0101_4^5 - 566384441478397261523303273357318751351216079017332948\ 744186279/877226240774168631318427810234159001747726461077367662983\ 469*c_0101_4^4 - 16985848636911221730493041250287467817493557314941\ 5405444731317/87722624077416863131842781023415900174772646107736766\ 2983469*c_0101_4^3 - 4283744664316982767421538119741855345955822244\ 38321956773869/4177267813210326815802037191591233341655840290844607\ 9189689*c_0101_4^2 - 9576322302315121671438741212032190835142620534\ 9340579050982/87722624077416863131842781023415900174772646107736766\ 2983469*c_0101_4 - 460464969154912505224120696321081713342892183979\ 443074046690/877226240774168631318427810234159001747726461077367662\ 983469, c_0011_5 + 28244481544138493133845526056526909108284193623884757820449/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^32 + 21527489021683135261341805334989786505485711407418770076546\ 9/292408746924722877106142603411386333915908820359122554327823*c_01\ 01_4^31 + 700394298244539246108946791029156781279302706536502553981\ 1698/877226240774168631318427810234159001747726461077367662983469*c\ _0101_4^30 + 158651796861281284327260639476393101663206607513205011\ 52292772/2924087469247228771061426034113863339159088203591225543278\ 23*c_0101_4^29 + 22468174901760745444723386940839214871064336707617\ 6760980033714/87722624077416863131842781023415900174772646107736766\ 2983469*c_0101_4^28 + 255872025295377217076425125384133114596904008\ 567985665488931984/292408746924722877106142603411386333915908820359\ 122554327823*c_0101_4^27 + 6309577340882528242310701332251792765047\ 46443461950875855458486/2924087469247228771061426034113863339159088\ 20359122554327823*c_0101_4^26 + 31219448937857423228383005883709454\ 19039099622868579412450508482/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4^25 + 2187091935948136410588276333191842539374582387437466369836445141/87\ 7226240774168631318427810234159001747726461077367662983469*c_0101_4\ ^24 - 4774880062598149023771928116277590233466376331076645940830695\ 500/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^23 - 6356658875434817179775358319911445232835598931479644933\ 533698792/292408746924722877106142603411386333915908820359122554327\ 823*c_0101_4^22 - 1076959621494221728400616306126263741420175423283\ 9868960613327938/29240874692472287710614260341138633391590882035912\ 2554327823*c_0101_4^21 - 254875953375520199624565657350705572885311\ 78483593698179765714688/8772262407741686313184278102341590017477264\ 61077367662983469*c_0101_4^20 + 15120138116199643067159803337989830\ 041484361159388090504489163392/877226240774168631318427810234159001\ 747726461077367662983469*c_0101_4^19 + 72920980806984403868512858150680939868125496173055716226922339479/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^18 + 329208248037115600581436626983787404493097827646450397164421\ 03540/292408746924722877106142603411386333915908820359122554327823*\ c_0101_4^17 + 52886815963233123356115492186789965240603928514119710\ 259799936870/877226240774168631318427810234159001747726461077367662\ 983469*c_0101_4^16 - 4298643691810665356008923992188963788984536467\ 7666611535800460131/87722624077416863131842781023415900174772646107\ 7367662983469*c_0101_4^15 - 111463212505160083268208492906811745807\ 194172089945590489032506921/877226240774168631318427810234159001747\ 726461077367662983469*c_0101_4^14 - 94615196989877415519582797673914048697180794632118998210701307913/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^13 - 536130355166273672286770066392406631124942235358307738156729\ 8670/292408746924722877106142603411386333915908820359122554327823*c\ _0101_4^12 + 160217115084690226689294919417111330666151917192647209\ 88542147278/2924087469247228771061426034113863339159088203591225543\ 27823*c_0101_4^11 + 53210814462498110127817115829044905097629191923\ 699930385526830344/877226240774168631318427810234159001747726461077\ 367662983469*c_0101_4^10 + 9817599325819326165517347683005731661655\ 76846791414246502043769/4177267813210326815802037191591233341655840\ 2908446079189689*c_0101_4^9 - 6104124692116544546491220997964438705\ 429502048365527442705814429/877226240774168631318427810234159001747\ 726461077367662983469*c_0101_4^8 - 10785642139180874118098382081108615488732884411356927666016540421/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^7 - 4746125727123165785284272137863733858317030628871603030176846\ 953/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^6 - 30953773102286177969744978334694901701923030445106889833\ 3470810/87722624077416863131842781023415900174772646107736766298346\ 9*c_0101_4^5 + 5448975403316893895004895152372261387144794946894541\ 94294125010/8772262407741686313184278102341590017477264610773676629\ 83469*c_0101_4^4 + 239770385241568080939442132114890601801479288973\ 915781524086982/877226240774168631318427810234159001747726461077367\ 662983469*c_0101_4^3 + 21430853685244350835390978539125717312243948\ 92540551706724230/4177267813210326815802037191591233341655840290844\ 6079189689*c_0101_4^2 + 4100617593915608124912403919371992156460571\ 678053493101250155/877226240774168631318427810234159001747726461077\ 367662983469*c_0101_4 + 2909770614160121611925572697864956806197769\ 87506686397873863/8772262407741686313184278102341590017477264610773\ 67662983469, c_0101_0 - 163781120535931019100103916397088140498058747177444115672514\ 8/877226240774168631318427810234159001747726461077367662983469*c_01\ 01_4^32 - 119957426856488249404242233560026493514558028330900586034\ 11684/292408746924722877106142603411386333915908820359122554327823*\ c_0101_4^31 - 37383346179922099035517189801585320292233594243257460\ 5377878469/87722624077416863131842781023415900174772646107736766298\ 3469*c_0101_4^30 - 807264204364670977777092381705122923662669506476\ 177929644453577/292408746924722877106142603411386333915908820359122\ 554327823*c_0101_4^29 - 1081506292412984616110164847012378122765248\ 1164165079373026184014/87722624077416863131842781023415900174772646\ 1077367662983469*c_0101_4^28 - 114932439103654617783093913611857673\ 65694431064010975357254290121/2924087469247228771061426034113863339\ 15908820359122554327823*c_0101_4^27 - 25689583871198347301275008062372914197693795485610556846277144325/2\ 92408746924722877106142603411386333915908820359122554327823*c_0101_\ 4^26 - 105204163607784337853364854836676713392591566012524796483989\ 429027/877226240774168631318427810234159001747726461077367662983469\ *c_0101_4^25 - 1411733293637804670098468806170123805306163156201372\ 8446284231864/87722624077416863131842781023415900174772646107736766\ 2983469*c_0101_4^24 + 324095988572042452160222543979151950573679292\ 053150592035697279698/877226240774168631318427810234159001747726461\ 077367662983469*c_0101_4^23 + 2832060522468188687531042933413510885\ 81492864397841279792927900554/2924087469247228771061426034113863339\ 15908820359122554327823*c_0101_4^22 + 361527720504681775194582639308320162642542611926506116943215815584/\ 292408746924722877106142603411386333915908820359122554327823*c_0101\ _4^21 + 32289214816414883997397141061879402596240611940456433874383\ 5356871/87722624077416863131842781023415900174772646107736766298346\ 9*c_0101_4^20 - 153146279146805651040628208980446771923629939482926\ 0653386357739715/87722624077416863131842781023415900174772646107736\ 7662983469*c_0101_4^19 - 321621850913658609905771899287461622190167\ 3550618757429982818651734/87722624077416863131842781023415900174772\ 6461077367662983469*c_0101_4^18 - 932083134440229969705775244485439\ 684097811103311522988534604877632/292408746924722877106142603411386\ 333915908820359122554327823*c_0101_4^17 + 197207732132143023710531340145437783370319158802543086208069946071/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^16 + 35252271506598358241536139443182841747370532563938935149653\ 10900089/8772262407741686313184278102341590017477264610773676629834\ 69*c_0101_4^15 + 41125579742596108257154993727888766746418331074443\ 27797814537211139/8772262407741686313184278102341590017477264610773\ 67662983469*c_0101_4^14 + 14527708731809054982520143334594805846286\ 51321148560826630455458420/8772262407741686313184278102341590017477\ 26461077367662983469*c_0101_4^13 - 568620582569894280481072124829130808345976262897016278142041088097/\ 292408746924722877106142603411386333915908820359122554327823*c_0101\ _4^12 - 84496526576068498418632364750911348986844978044952589960386\ 1899487/29240874692472287710614260341138633391590882035912255432782\ 3*c_0101_4^11 - 111647128491606005946016864721619150451487733499640\ 0754675271770773/87722624077416863131842781023415900174772646107736\ 7662983469*c_0101_4^10 + 192744019939619334052237916730199798908714\ 55401344171182493198574/4177267813210326815802037191591233341655840\ 2908446079189689*c_0101_4^9 + 7130039335892675036959585123018535304\ 71092079281392357796051012220/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4^8 + 266216950864532141603073473071115092093449916191876295487763646325/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^7 - 638059354227620579607925862728476178778326699642104951330864\ 39137/877226240774168631318427810234159001747726461077367662983469*\ c_0101_4^6 - 822174617356208167437006117026145984006083379564245924\ 77580936330/8772262407741686313184278102341590017477264610773676629\ 83469*c_0101_4^5 - 167324667558343211492062583944112064377249651984\ 19014845657960553/8772262407741686313184278102341590017477264610773\ 67662983469*c_0101_4^4 + 524644913398891465248248559848940314523334\ 3655469334915037633573/87722624077416863131842781023415900174772646\ 1077367662983469*c_0101_4^3 + 1119332067380789739227242593868796042\ 89088366507259179098558914/4177267813210326815802037191591233341655\ 8402908446079189689*c_0101_4^2 + 1479844285333298088890852252082804\ 92000147414035528572502649948/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4 - 9797236710141297022593025934584876853411311645147261564583626/87722\ 6240774168631318427810234159001747726461077367662983469, c_0101_1 - 342080323426051227791358943717043822516715481014725299407763\ /877226240774168631318427810234159001747726461077367662983469*c_010\ 1_4^32 - 2514759450390342875711191617389279648487256093001209374277\ 630/292408746924722877106142603411386333915908820359122554327823*c_\ 0101_4^31 - 7871049438236696717416307400496177137491134795344267123\ 6926438/87722624077416863131842781023415900174772646107736766298346\ 9*c_0101_4^30 - 170851149670366474989418795442994794878859518378685\ 082196684803/292408746924722877106142603411386333915908820359122554\ 327823*c_0101_4^29 - 2303578690822801177203149135946073208349503343\ 705035531578714820/877226240774168631318427810234159001747726461077\ 367662983469*c_0101_4^28 - 2468620428209125064802809028174647275472\ 678443256787189651836893/292408746924722877106142603411386333915908\ 820359122554327823*c_0101_4^27 - 5587276241073126025468458827964884\ 101092740760549575162310063524/292408746924722877106142603411386333\ 915908820359122554327823*c_0101_4^26 - 23486115747842460612805605886041796688056638185354184675913975304/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^25 - 503668676493420237568515264320906615948485128686181264254445\ 1555/877226240774168631318427810234159001747726461077367662983469*c\ _0101_4^24 + 674659333845865983193353402115400102413983234566251769\ 51323172993/8772262407741686313184278102341590017477264610773676629\ 83469*c_0101_4^23 + 61418206390029612648820930924389010160639960661\ 468623512603001514/292408746924722877106142603411386333915908820359\ 122554327823*c_0101_4^22 + 8142555428809273282697763527844407060855\ 9889199207025394186623532/29240874692472287710614260341138633391590\ 8820359122554327823*c_0101_4^21 + 896317170132067923252428724308458\ 05762630523374578759818797446189/8772262407741686313184278102341590\ 01747726461077367662983469*c_0101_4^20 - 315303492761236085860197129352707854519712588367963259665122296782/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^19 - 70854115970874070246408540596243150006775095082711683429034\ 7096549/87722624077416863131842781023415900174772646107736766298346\ 9*c_0101_4^18 - 218719963385287976418775219656857875186468564019754\ 809756307148980/292408746924722877106142603411386333915908820359122\ 554327823*c_0101_4^17 - 1542262843349636543128892721678296924343792\ 1764431920931104082615/87722624077416863131842781023415900174772646\ 1077367662983469*c_0101_4^16 + 754275354931661187527668412716396715\ 600250548467317311835949301120/877226240774168631318427810234159001\ 747726461077367662983469*c_0101_4^15 + 952710161650392193530983957164288053890183193015964339024860992738/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^14 + 39884847344012120093552024536112723168190504960570449715372\ 1507582/87722624077416863131842781023415900174772646107736766298346\ 9*c_0101_4^13 - 112931096674494408682382774205331738161899165099450\ 881001104900382/292408746924722877106142603411386333915908820359122\ 554327823*c_0101_4^12 - 1971056153081633434013215512135536016025255\ 22440592466872542359925/2924087469247228771061426034113863339159088\ 20359122554327823*c_0101_4^11 - 30320791672272302231889132232027936\ 3170394064541359216127298779523/87722624077416863131842781023415900\ 1747726461077367662983469*c_0101_4^10 + 3101522722293667716464944441564815584778214875674441425201660849/41\ 772678132103268158020371915912333416558402908446079189689*c_0101_4^\ 9 + 172354385272658437171699947897531638005268276477073903114932448\ 316/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^8 + 80140026304571247966828999531900012277711662042022062050\ 042571340/877226240774168631318427810234159001747726461077367662983\ 469*c_0101_4^7 - 79875086322301388982874671669414962734499198596796\ 27108417464999/8772262407741686313184278102341590017477264610773676\ 62983469*c_0101_4^6 - 222240615006152947982207781590664123255116453\ 74688507693426126029/8772262407741686313184278102341590017477264610\ 77367662983469*c_0101_4^5 - 702333687936326245200592543496920310468\ 2739256549039294987187753/87722624077416863131842781023415900174772\ 6461077367662983469*c_0101_4^4 + 8054339754201814993347371085101096\ 28863162216868387974040622411/8772262407741686313184278102341590017\ 47726461077367662983469*c_0101_4^3 + 42600088897850404237633833312926806669572520413377645286852300/4177\ 2678132103268158020371915912333416558402908446079189689*c_0101_4^2 + 137169986389157753367322077981600045527388840585011575645605949/877\ 226240774168631318427810234159001747726461077367662983469*c_0101_4 - 5375233996450663223438513351447635406527947247172642479556810/87722\ 6240774168631318427810234159001747726461077367662983469, c_0101_2 + 11625396064892926719906466041097616093287658722431307137817/\ 877226240774168631318427810234159001747726461077367662983469*c_0101\ _4^32 + 92811000937988393575601255328846816937364546439028490792693\ /292408746924722877106142603411386333915908820359122554327823*c_010\ 1_4^31 + 3165352660984044500042861102261480230340809615886890088099\ 291/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^30 + 7529338295238321876816152665129570423026519636594291164\ 362816/292408746924722877106142603411386333915908820359122554327823\ *c_0101_4^29 + 1123689070509406408613135758711680720616728179676259\ 97757726587/8772262407741686313184278102341590017477264610773676629\ 83469*c_0101_4^28 + 13577860353871139047708735400097406360813892221\ 5639159635138867/29240874692472287710614260341138633391590882035912\ 2554327823*c_0101_4^27 + 360436022551017500592870205840515609177221\ 232566757502601586244/292408746924722877106142603411386333915908820\ 359122554327823*c_0101_4^26 + 1998142634695578982550124099677197555\ 866323279874951260017533428/877226240774168631318427810234159001747\ 726461077367662983469*c_0101_4^25 + 1989055169435334333661317343101767780156259319028761043249581615/87\ 7226240774168631318427810234159001747726461077367662983469*c_0101_4\ ^24 - 1437338574599573496246317610306888397575279700684172610481612\ 904/877226240774168631318427810234159001747726461077367662983469*c_\ 0101_4^23 - 3383775604887417854340358110374430281435404741530728351\ 398418723/292408746924722877106142603411386333915908820359122554327\ 823*c_0101_4^22 - 6914051615802783676413832391368984988068892494342\ 704639181031086/292408746924722877106142603411386333915908820359122\ 554327823*c_0101_4^21 - 2171119221095142977537843378785951016712710\ 8033073644206334692557/87722624077416863131842781023415900174772646\ 1077367662983469*c_0101_4^20 - 572340449699387873355657152574338080\ 084829908552193001923529464/877226240774168631318427810234159001747\ 726461077367662983469*c_0101_4^19 + 39159864283983486408288268141958551678857856489056140087795347667/8\ 77226240774168631318427810234159001747726461077367662983469*c_0101_\ 4^18 + 229329237648316045945366852939718573934135991732958272385922\ 57306/292408746924722877106142603411386333915908820359122554327823*\ c_0101_4^17 + 53964685368017903105666013609087578001203317531084890\ 048058881083/877226240774168631318427810234159001747726461077367662\ 983469*c_0101_4^16 - 6748609461645419131929576464153563024536254713\ 615150070330993603/877226240774168631318427810234159001747726461077\ 367662983469*c_0101_4^15 - 6830665977137856841351349165108919290863\ 6443578518414352997367259/87722624077416863131842781023415900174772\ 6461077367662983469*c_0101_4^14 - 785905618866949018437972937333089\ 47755114765189068406230442889812/8772262407741686313184278102341590\ 01747726461077367662983469*c_0101_4^13 - 10973087088685884893513220218773267514324335022855771890563633984/2\ 92408746924722877106142603411386333915908820359122554327823*c_0101_\ 4^12 + 738277827853787193576922665240374871307332448451511242825507\ 1003/292408746924722877106142603411386333915908820359122554327823*c\ _0101_4^11 + 414368761483370167825113599411773311498049121940555932\ 51069052964/8772262407741686313184278102341590017477264610773676629\ 83469*c_0101_4^10 + 11563650656688437036121996619176907755269328155\ 81573019852058352/4177267813210326815802037191591233341655840290844\ 6079189689*c_0101_4^9 + 8511604585350325419973195202425739376729689\ 23712963510440616564/8772262407741686313184278102341590017477264610\ 77367662983469*c_0101_4^8 - 810957529237937430160710244604320145334\ 7588277815233362663291446/87722624077416863131842781023415900174772\ 6461077367662983469*c_0101_4^7 - 5257330078058222302276572971787967\ 724937246605688906098415118451/877226240774168631318427810234159001\ 747726461077367662983469*c_0101_4^6 - 1036266675086240371310945448049973271962888198730303468806118857/87\ 7226240774168631318427810234159001747726461077367662983469*c_0101_4\ ^5 + 38699648659976991071112639269317444259237632531273624605312972\ 4/877226240774168631318427810234159001747726461077367662983469*c_01\ 01_4^4 + 2738787554626735385353133489403602873895732858454461269296\ 54286/877226240774168631318427810234159001747726461077367662983469*\ c_0101_4^3 + 297747519574326708451716505745405884949924551668239774\ 0277163/41772678132103268158020371915912333416558402908446079189689\ *c_0101_4^2 + 64447393346121810103451703510749557023682610200992866\ 66495312/8772262407741686313184278102341590017477264610773676629834\ 69*c_0101_4 + 16026636189356534934456536630446925432814216750878997\ 9246026/87722624077416863131842781023415900174772646107736766298346\ 9, c_0101_4^33 + 23*c_0101_4^32 + 251*c_0101_4^31 + 1717*c_0101_4^30 + 8162*c_0101_4^29 + 28090*c_0101_4^28 + 69804*c_0101_4^27 + 116093*c_0101_4^26 + 82283*c_0101_4^25 - 179100*c_0101_4^24 - 722443*c_0101_4^23 - 1230330*c_0101_4^22 - 963122*c_0101_4^21 + 631113*c_0101_4^20 + 2909314*c_0101_4^19 + 3895741*c_0101_4^18 + 1952609*c_0101_4^17 - 2032825*c_0101_4^16 - 4794186*c_0101_4^15 - 3843662*c_0101_4^14 - 250409*c_0101_4^13 + 2534433*c_0101_4^12 + 2481928*c_0101_4^11 + 697157*c_0101_4^10 - 612709*c_0101_4^9 - 672762*c_0101_4^8 - 198304*c_0101_4^7 + 73176*c_0101_4^6 + 72870*c_0101_4^5 + 15124*c_0101_4^4 - 4115*c_0101_4^3 - 2314*c_0101_4^2 - 255*c_0101_4 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB