Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 947495937] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0129 geometric_solution 3.63854492 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 1.434506123378 0.030855078501 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 1 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 -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 1.229949193708 0.040606917126 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 -1 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 1.630911117075 0.255385017194 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 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 1 0 -1 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.324606319638 0.476517343731 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 -1 1 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.011873318492 0.507854204653 6 6 6 4 1023 3012 1230 0132 0 0 0 0 0 0 -1 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 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.991419479557 0.997557979652 5 5 4 5 1230 1023 0132 3012 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 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991419479557 0.997557979652 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), '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_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1360771163822017941836302759740034612188664752321978452497028501/44\ 70016880682373089288103462535880522740409827614898190576143*c_0101_\ 4^28 - 681191518862130109835938174540126336470470419941757883785785\ 6325/4470016880682373089288103462535880522740409827614898190576143*\ c_0101_4^27 - 88283518607495226474310431927351304607715723987214442\ 294997907296/447001688068237308928810346253588052274040982761489819\ 0576143*c_0101_4^26 + 122298321196184531143980974704466567836446908\ 041810293395086634042/447001688068237308928810346253588052274040982\ 7614898190576143*c_0101_4^25 + 207339934592251775534178044099906165\ 0073204143626510215528548214885/44700168806823730892881034625358805\ 22740409827614898190576143*c_0101_4^24 - 1130577858083722664742770290346833022674585173075542714547516547740\ /4470016880682373089288103462535880522740409827614898190576143*c_01\ 01_4^23 - 200250574137592361989137150943132269577561554550579808386\ 98677451428/4470016880682373089288103462535880522740409827614898190\ 576143*c_0101_4^22 + 4395226978496946364135301732418479999081284276\ 326685995847402949254/447001688068237308928810346253588052274040982\ 7614898190576143*c_0101_4^21 + 105873309618579410868971847215356749\ 139945298467058198239346002680102/447001688068237308928810346253588\ 0522740409827614898190576143*c_0101_4^20 + 2423197766423854653575669680876164471978663799215279485831302884346\ /4470016880682373089288103462535880522740409827614898190576143*c_01\ 01_4^19 - 342004587081006408329522157665331183388881400151193380379\ 454571305475/447001688068237308928810346253588052274040982761489819\ 0576143*c_0101_4^18 - 769142419746612871788080274887413205714586971\ 71142473830184714675927/4470016880682373089288103462535880522740409\ 827614898190576143*c_0101_4^17 + 7010882230322614159828875384970373\ 15086266731056519795864282090426138/4470016880682373089288103462535\ 880522740409827614898190576143*c_0101_4^16 + 2707026151485094053769648423372705712051651216076840065037457726840\ 81/4470016880682373089288103462535880522740409827614898190576143*c_\ 0101_4^15 - 9197055139849786905099552744763162729896321772265263060\ 32734399108429/4470016880682373089288103462535880522740409827614898\ 190576143*c_0101_4^14 - 4692469629298507343931566121840219267592436\ 36477965294699178418448146/4470016880682373089288103462535880522740\ 409827614898190576143*c_0101_4^13 + 7690155620945825891846682028086769799682046165474649113621821755001\ 72/4470016880682373089288103462535880522740409827614898190576143*c_\ 0101_4^12 + 4701284382694797893593241698643955254582821338859253222\ 10661962135720/4470016880682373089288103462535880522740409827614898\ 190576143*c_0101_4^11 - 4018957717546574075395267807335404570402482\ 26812212571784807894605745/4470016880682373089288103462535880522740\ 409827614898190576143*c_0101_4^10 - 2868697464083584944863066931462617587751881048954184775369341811921\ 50/4470016880682373089288103462535880522740409827614898190576143*c_\ 0101_4^9 + 12263654377926099457843511873166737245873891661553297550\ 7902101599506/44700168806823730892881034625358805227404098276148981\ 90576143*c_0101_4^8 + 106284831671642285470813085410879772532626787\ 391670478536418090081059/447001688068237308928810346253588052274040\ 9827614898190576143*c_0101_4^7 - 1662825160649487581340528692767255\ 1149182407484725346480127780388227/44700168806823730892881034625358\ 80522740409827614898190576143*c_0101_4^6 - 2188588396732600489242557982423844946077696816566041134672237922398\ 3/4470016880682373089288103462535880522740409827614898190576143*c_0\ 101_4^5 - 539364337541105784779862435326700651721975224834361395252\ 030672465/447001688068237308928810346253588052274040982761489819057\ 6143*c_0101_4^4 + 2008854024099099400406918273169614142856839334423\ 227403263637059695/447001688068237308928810346253588052274040982761\ 4898190576143*c_0101_4^3 + 2922819604006586399057831248318826936758\ 83290836909756491344653648/4470016880682373089288103462535880522740\ 409827614898190576143*c_0101_4^2 - 35626256820879439869047724168845431195770661274129091437584941490/4\ 470016880682373089288103462535880522740409827614898190576143*c_0101\ _4 - 76102329918734750010513129346623751176989389947646116263134306\ 57/4470016880682373089288103462535880522740409827614898190576143, c_0011_0 - 1, c_0011_1 - 576841533808235037685048852200226335872747352018049545594818\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4^28 + 3517943431709607923127098138734601488024020681929723969458\ 509/638573840097481869898300494647982931820058546802128312939449*c_\ 0101_4^27 + 3400700920063390085056945604579053713413973540863708713\ 9692859/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^26 - 913208395105743124473045897014174698989387084549426\ 05225013862/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^25 - 80587058512799244548378681979929635537019573221\ 4234273815488930/63857384009748186989830049464798293182005854680212\ 8312939449*c_0101_4^24 + 140951649536073163640591135817951420153253\ 7481107809249707728543/63857384009748186989830049464798293182005854\ 6802128312939449*c_0101_4^23 + 757836758404402109884582021553715457\ 9580326781729805205552257418/63857384009748186989830049464798293182\ 0058546802128312939449*c_0101_4^22 - 10765199464545965748156781822540505329136164162104559980876925558/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^21 - 391416678818674794875079180697808292390622792164228728886774\ 38014/638573840097481869898300494647982931820058546802128312939449*\ c_0101_4^20 + 45673502171945668141979301183951319138292254240761363\ 806955204222/638573840097481869898300494647982931820058546802128312\ 939449*c_0101_4^19 + 1266609875369740554855387073522989253939857757\ 72869953809561502286/6385738400974818698983004946479829318200585468\ 02128312939449*c_0101_4^18 - 11843932503833444084746060326449253604\ 1462274897449172438343069489/63857384009748186989830049464798293182\ 0058546802128312939449*c_0101_4^17 - 269910951831687085943256183483711555953752028035236510233646572821/\ 638573840097481869898300494647982931820058546802128312939449*c_0101\ _4^16 + 19945322978482148360983151764391794740414803801995950819343\ 5451058/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^15 + 384333532682664927168174979971512648564197556662878\ 235588303779911/638573840097481869898300494647982931820058546802128\ 312939449*c_0101_4^14 - 2265494435561166639542728488962756183672694\ 35903605537697675255965/6385738400974818698983004946479829318200585\ 46802128312939449*c_0101_4^13 - 36603220833417857710244007913002544\ 5354765590623001866130807445624/63857384009748186989830049464798293\ 1820058546802128312939449*c_0101_4^12 + 176105959079005914598828400985662552757827603280731917062423239887/\ 638573840097481869898300494647982931820058546802128312939449*c_0101\ _4^11 + 23169512953932859786489573592660465420452632620902553839064\ 2949816/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^10 - 924406161644333830129197768784866958357214469633544\ 52021239067326/6385738400974818698983004946479829318200585468021283\ 12939449*c_0101_4^9 - 956680793595930261924942981270666719199231156\ 01983204135957914052/6385738400974818698983004946479829318200585468\ 02128312939449*c_0101_4^8 + 313497384762525046623495593929907309866\ 39107115293714024581868857/6385738400974818698983004946479829318200\ 58546802128312939449*c_0101_4^7 + 244128013760914034598013707289123\ 63826716083740671966453298412748/6385738400974818698983004946479829\ 31820058546802128312939449*c_0101_4^6 - 6179324304618207390157998688050234002295881436060745922284100401/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^5 - 34389836684576270253030229676458600438604140848476373518758183\ 11/638573840097481869898300494647982931820058546802128312939449*c_0\ 101_4^4 + 533827548575845713030831069669332489919383567667461427384\ 403084/638573840097481869898300494647982931820058546802128312939449\ *c_0101_4^3 + 21702139506903137128650502245308125538240154146062101\ 6025487959/63857384009748186989830049464798293182005854680212831293\ 9449*c_0101_4^2 - 6209056789316323669966933726829034594734094858339\ 89046318762/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4 - 47101722171725454463274411551887208523321018168691\ 53170797589/6385738400974818698983004946479829318200585468021283129\ 39449, c_0011_5 + 464150460288833234027101416830684129677717316658748552218336\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4^28 - 2754230579006467263367982497157031548515836334615961836601\ 120/638573840097481869898300494647982931820058546802128312939449*c_\ 0101_4^27 - 2778865511276643636354981939062659053057761681059883050\ 8333934/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^26 + 687463978284894434583222563982388699115352930571860\ 38753212779/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^25 + 65799169121891815521364194426588703974725077378\ 7112099653540075/63857384009748186989830049464798293182005854680212\ 8312939449*c_0101_4^24 - 102229420646847939956099467608761497729417\ 1598496895285559792549/63857384009748186989830049464798293182005854\ 6802128312939449*c_0101_4^23 - 622447437628208160637021049297841682\ 9298467920463952404204713390/63857384009748186989830049464798293182\ 0058546802128312939449*c_0101_4^22 + 7591460452091284113755814991568478060856553506929399908346348087/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^21 + 3234488542670605169625016756454448318576479530679214377419550\ 7840/638573840097481869898300494647982931820058546802128312939449*c\ _0101_4^20 - 311218669293694135152927705761872918710771324188935957\ 57984611882/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^19 - 10493447894581745728578719275964706785340028835\ 8230111309335330283/63857384009748186989830049464798293182005854680\ 2128312939449*c_0101_4^18 + 769649965249756187011989560822476975442\ 25871027951041906406549794/6385738400974818698983004946479829318200\ 58546802128312939449*c_0101_4^17 + 222990543238716388092871664304736147701533325443997572258313797012/\ 638573840097481869898300494647982931820058546802128312939449*c_0101\ _4^16 - 12180177348066449941359273467707220222816865131601060095796\ 8682347/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^15 - 314841421280320997091561039728106748385855974863919\ 477187946941693/638573840097481869898300494647982931820058546802128\ 312939449*c_0101_4^14 + 1287252002000773767066044853230874725174996\ 16860559013053592685371/6385738400974818698983004946479829318200585\ 46802128312939449*c_0101_4^13 + 29573864246768001200285439064867570\ 7759291772264463575861441602969/63857384009748186989830049464798293\ 1820058546802128312939449*c_0101_4^12 - 92973402579318456240003016233797334110841208216512903002698374302/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^11 - 183624451194639351619409765047926102689129403800913653395651\ 570663/638573840097481869898300494647982931820058546802128312939449\ *c_0101_4^10 + 4551562333509188909286285763415181408980492064259748\ 8459242069114/63857384009748186989830049464798293182005854680212831\ 2939449*c_0101_4^9 + 7379704885104033079250823537748872744842747654\ 6847448224275751876/63857384009748186989830049464798293182005854680\ 2128312939449*c_0101_4^8 - 1443676881134198095704738531543418035044\ 1079925145268414120839327/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^7 - 1806590265982090257199256501320876\ 3102172904366754243142630280748/63857384009748186989830049464798293\ 1820058546802128312939449*c_0101_4^6 + 2659657117417483201323969461868864864644151563137494326219966051/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^5 + 23691635775924469828989440173175634427615358243281882518495819\ 88/638573840097481869898300494647982931820058546802128312939449*c_0\ 101_4^4 - 210153721673820241934144464040844175293202085646678426099\ 673410/638573840097481869898300494647982931820058546802128312939449\ *c_0101_4^3 - 13070793155980871074041805996966624386944283737253641\ 9345131931/63857384009748186989830049464798293182005854680212831293\ 9449*c_0101_4^2 - 1629122009928754321483760854567971909427353860491\ 635398039416/638573840097481869898300494647982931820058546802128312\ 939449*c_0101_4 + 2674190707859855677318244863563156593851817607323\ 518445121738/638573840097481869898300494647982931820058546802128312\ 939449, c_0101_0 - 119181009819742027683784114127321109366755525524175967189408\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4^28 + 8385743526380002027978520933874747455256871288841212608641\ 88/638573840097481869898300494647982931820058546802128312939449*c_0\ 101_4^27 + 64555602298607707462741461141898196168664022517932771052\ 89709/638573840097481869898300494647982931820058546802128312939449*\ c_0101_4^26 - 26072162473109901631791878584880119499323657257718031\ 807479937/638573840097481869898300494647982931820058546802128312939\ 449*c_0101_4^25 - 1556477111441835735745700519831787740964816628293\ 80103672815622/6385738400974818698983004946479829318200585468021283\ 12939449*c_0101_4^24 + 46111507517067335143376179358860130201705209\ 0519318394082569037/63857384009748186989830049464798293182005854680\ 2128312939449*c_0101_4^23 + 145350703839944789610361845277577332024\ 3573020003337566217929876/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^22 - 387462128392077597029462707133897\ 7993704633961367657058143610027/63857384009748186989830049464798293\ 1820058546802128312939449*c_0101_4^21 - 7522969524647237420381471233166663089281270668646847914493966441/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^20 + 1823200842558616951826156915365612207476745320462764894510910\ 7920/638573840097481869898300494647982931820058546802128312939449*c\ _0101_4^19 + 251972783922970818910015647164870617124408696887191774\ 50787588061/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^18 - 53242873231551919564164152227302466648885129390\ 728742855222834137/638573840097481869898300494647982931820058546802\ 128312939449*c_0101_4^17 - 5796585030875242799745042982568404309557\ 7951241843469953594018585/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^16 + 101441951985741958046831454980182\ 238718852482590727237701889494222/638573840097481869898300494647982\ 931820058546802128312939449*c_0101_4^15 + 92388555734013785520544502224223057434484964497104359079898462290/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^14 - 128623301161840928665904467638116438513482424918053343192973\ 726674/638573840097481869898300494647982931820058546802128312939449\ *c_0101_4^13 - 1005553265065395504582037213585974412188045393716707\ 91109420049151/6385738400974818698983004946479829318200585468021283\ 12939449*c_0101_4^12 + 10880920680221192347132367569209954682183417\ 7004641533199589077132/63857384009748186989830049464798293182005854\ 6802128312939449*c_0101_4^11 + 732083294089728822589656552744124059\ 93279346542231621305127483879/6385738400974818698983004946479829318\ 20058546802128312939449*c_0101_4^10 - 60703388804339204899452606693873800140688826439505280227095657495/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^9 - 3477258421034139205044701034819030681732112730175549718554491\ 8469/638573840097481869898300494647982931820058546802128312939449*c\ _0101_4^8 + 2156338339125313404981220085067958022987818506094489506\ 2132861248/63857384009748186989830049464798293182005854680212831293\ 9449*c_0101_4^7 + 1024757346460419840630846106687759389665160045584\ 5595802351481560/63857384009748186989830049464798293182005854680212\ 8312939449*c_0101_4^6 - 4435100473353893173000121578754651169318100\ 995579362927210973309/638573840097481869898300494647982931820058546\ 802128312939449*c_0101_4^5 - 16559597185037824060767445790260516776\ 95407375998130789409165019/6385738400974818698983004946479829318200\ 58546802128312939449*c_0101_4^4 + 422145428246130533279518636971822\ 682383059229951201722852870662/638573840097481869898300494647982931\ 820058546802128312939449*c_0101_4^3 + 115779831651359457150819090090413236554108362187058653390562452/638\ 573840097481869898300494647982931820058546802128312939449*c_0101_4^\ 2 - 7198477383355135270363896660258864262938638415524511263636813/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4 - 2542722249545484493611700970622311388755564075972758060269084/6\ 38573840097481869898300494647982931820058546802128312939449, c_0101_2 + 143570135174029018397411768571865481774737557362970125795380\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4^28 - 8135171351560910313334607977054416011633151762366489730616\ 44/638573840097481869898300494647982931820058546802128312939449*c_0\ 101_4^27 - 88069876508350055862799231084045485070004446269189250221\ 70777/638573840097481869898300494647982931820058546802128312939449*\ c_0101_4^26 + 18896016366875306159160157858067190935368228156082493\ 955698318/638573840097481869898300494647982931820058546802128312939\ 449*c_0101_4^25 + 2080708632467237358029435193463541801089339124988\ 36825681396974/6385738400974818698983004946479829318200585468021283\ 12939449*c_0101_4^24 - 26114288466455585497089442483759603226916653\ 5735160834635463497/63857384009748186989830049464798293182005854680\ 2128312939449*c_0101_4^23 - 198318772215172759027467575963660654074\ 3719291798560293946191296/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^22 + 183948878797968533659428056492650\ 3555292052376464754017829730722/63857384009748186989830049464798293\ 1820058546802128312939449*c_0101_4^21 + 10370176776920341770510931349900563478113259057351633369775886142/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^20 - 708168205155030257701849551709938317823038004336126141820503\ 7426/638573840097481869898300494647982931820058546802128312939449*c\ _0101_4^19 - 336265048809489238424874190665191306811186648320481358\ 64063404047/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^18 + 16070749775908910702156080010997329238267699200\ 579076665487791016/638573840097481869898300494647982931820058546802\ 128312939449*c_0101_4^17 + 7082388635227817797698628332193209224239\ 3253107345196093184326439/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^16 - 229087993787251301311552204186859\ 10453779333409400373546161402756/6385738400974818698983004946479829\ 31820058546802128312939449*c_0101_4^15 - 98454515723858596503356460168154496229345827360529462927420352403/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^14 + 221851931450414101416764334698001128224880379349236341586464\ 80151/638573840097481869898300494647982931820058546802128312939449*\ c_0101_4^13 + 90893919174799065896472511101396859076662198081617458\ 818857417293/638573840097481869898300494647982931820058546802128312\ 939449*c_0101_4^12 - 1588482775357632821177877364942078359241860686\ 2771089338978852482/63857384009748186989830049464798293182005854680\ 2128312939449*c_0101_4^11 - 557293341138749475244197775400291904510\ 27124493681422685413211059/6385738400974818698983004946479829318200\ 58546802128312939449*c_0101_4^10 + 8612569632598898505528066672015887956961682796783868785209783891/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^9 + 22370333266571345551280082891370180216665761295972529592580936\ 274/638573840097481869898300494647982931820058546802128312939449*c_\ 0101_4^8 - 32994764296386349466606024041009313588527177721770771636\ 92192907/6385738400974818698983004946479829318200585468021283129394\ 49*c_0101_4^7 - 559858756147528160766942732822145611997077224148484\ 1952684292736/63857384009748186989830049464798293182005854680212831\ 2939449*c_0101_4^6 + 7739257973647486620061854770759164531946574969\ 30992682075251247/6385738400974818698983004946479829318200585468021\ 28312939449*c_0101_4^5 + 795998718536046268111384725452429373082979\ 446571940091407893984/638573840097481869898300494647982931820058546\ 802128312939449*c_0101_4^4 - 69034957503933564856218857108897879429\ 143808619525680227300434/638573840097481869898300494647982931820058\ 546802128312939449*c_0101_4^3 - 52253128099233342260931468728844779\ 628255798955848251120428386/638573840097481869898300494647982931820\ 058546802128312939449*c_0101_4^2 - 3422266633061269824559067100194827170353160100120996786208839/63857\ 3840097481869898300494647982931820058546802128312939449*c_0101_4 + 1019866716125957548351432903595226700332647452980953622092639/63857\ 3840097481869898300494647982931820058546802128312939449, c_0101_3 - 168382398360811120030724001718953078024184325601392100815187\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4^28 + 1007948338547093351359811618275666548721212464835899623377\ 106/638573840097481869898300494647982931820058546802128312939449*c_\ 0101_4^27 + 1003740386558335591290657514948561408946306534885998724\ 1407415/63857384009748186989830049464798293182005854680212831293944\ 9*c_0101_4^26 - 255107109877995995037675992971945262576593613325691\ 88323536846/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^25 - 23793608272168352057151489960660299395584698971\ 4809107877509900/63857384009748186989830049464798293182005854680212\ 8312939449*c_0101_4^24 + 384272466457422529980627109164081948730444\ 467196160032194539957/638573840097481869898300494647982931820058546\ 802128312939449*c_0101_4^23 + 2251331689435029719997246076015506935\ 315054352597234942787124719/638573840097481869898300494647982931820\ 058546802128312939449*c_0101_4^22 - 2883543182076039840167764308853479783012882247506708207826415740/63\ 8573840097481869898300494647982931820058546802128312939449*c_0101_4\ ^21 - 1171140041912290112109901451560840679651531931102099500802715\ 8794/638573840097481869898300494647982931820058546802128312939449*c\ _0101_4^20 + 119765582935586701908556380716901963829239718275414221\ 42093879189/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^19 + 38116737747187672650476555210350185800145020872\ 250188099113222051/638573840097481869898300494647982931820058546802\ 128312939449*c_0101_4^18 - 3014719051254529244426039396172944483144\ 3868384095911545560680791/63857384009748186989830049464798293182005\ 8546802128312939449*c_0101_4^17 - 815046986189827414956870553023092\ 78304593300802694175981261775018/6385738400974818698983004946479829\ 31820058546802128312939449*c_0101_4^16 + 48785979352723290704373727755801952154528693403013233873975741651/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^15 + 116196914891750656918852180422284362734260262776560738590363\ 208298/638573840097481869898300494647982931820058546802128312939449\ *c_0101_4^14 - 5283193871902970940745155256317146654553115896039725\ 9339722600104/63857384009748186989830049464798293182005854680212831\ 2939449*c_0101_4^13 - 110607425493414898029572382590748297377437388\ 232031045315496056443/638573840097481869898300494647982931820058546\ 802128312939449*c_0101_4^12 + 3905527617981989644462756659393968272\ 2546998901927603159954241273/63857384009748186989830049464798293182\ 0058546802128312939449*c_0101_4^11 + 69853550401860829926303986801851096819261267902037395123630395107/6\ 38573840097481869898300494647982931820058546802128312939449*c_0101_\ 4^10 - 195510404485042221552826145158403942335252041084619876238557\ 24307/638573840097481869898300494647982931820058546802128312939449*\ c_0101_4^9 - 286782956650006284497556546203704464792276531726932096\ 02514050539/6385738400974818698983004946479829318200585468021283129\ 39449*c_0101_4^8 + 636529084649569940954219654846091658871072424937\ 6988965262980935/63857384009748186989830049464798293182005854680212\ 8312939449*c_0101_4^7 + 7217731724521322187799222658592429815720071\ 883592342723171335882/638573840097481869898300494647982931820058546\ 802128312939449*c_0101_4^6 - 12157415221403049964704686247188170499\ 37096534488934588413511103/6385738400974818698983004946479829318200\ 58546802128312939449*c_0101_4^5 - 978684638782421681562379053256149\ 449997657929268012710696701542/638573840097481869898300494647982931\ 820058546802128312939449*c_0101_4^4 + 103946930399858176535508277328128050032043849263950251118453753/638\ 573840097481869898300494647982931820058546802128312939449*c_0101_4^\ 3 + 54550445366359982581299627289352016382625368902144903296241401/\ 638573840097481869898300494647982931820058546802128312939449*c_0101\ _4^2 + 563220431589872841429465760553977491562774991619541168848918\ /638573840097481869898300494647982931820058546802128312939449*c_010\ 1_4 - 922389593365761126741875791682134681028028300473082581682925/\ 638573840097481869898300494647982931820058546802128312939449, c_0101_4^29 - 5*c_0101_4^28 - 65*c_0101_4^27 + 90*c_0101_4^26 + 1530*c_0101_4^25 - 833*c_0101_4^24 - 14857*c_0101_4^23 + 3287*c_0101_4^22 + 79123*c_0101_4^21 + 1300*c_0101_4^20 - 258128*c_0101_4^19 - 54812*c_0101_4^18 + 536888*c_0101_4^17 + 196362*c_0101_4^16 - 720558*c_0101_4^15 - 344737*c_0101_4^14 + 625443*c_0101_4^13 + 350362*c_0101_4^12 - 348633*c_0101_4^11 - 217841*c_0101_4^10 + 120652*c_0101_4^9 + 83009*c_0101_4^8 - 23198*c_0101_4^7 - 18014*c_0101_4^6 + 1850*c_0101_4^5 + 1884*c_0101_4^4 + 10*c_0101_4^3 - 65*c_0101_4^2 - 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB