Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2261195355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0873 geometric_solution 4.77997137 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524648582609 0.061509354311 2 0 2 0 0132 2310 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 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.595156982167 0.158923044675 1 3 1 3 0132 0132 1023 2310 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.149094801889 1.840429613345 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.019175983220 1.049913848504 5 5 3 6 1023 3012 0132 0132 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 -1 0 1 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.471077522401 1.162610942495 4 4 6 3 1230 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.471077522401 1.162610942495 5 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 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.466138406553 0.465858938312 ==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' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 8*c_0101_4^4 + 36*c_0101_4^3 - 34*c_0101_4^2 - 22*c_0101_4 + 23, c_0011_0 - 1, c_0011_1 - c_0101_4, c_0011_4 + c_0101_4^2 - c_0101_4 - 1, c_0011_6 - c_0101_4^4 + 3*c_0101_4^3 - 3*c_0101_4, c_0101_0 + c_0101_4^4 - 3*c_0101_4^3 + 3*c_0101_4, c_0101_4^5 - 4*c_0101_4^4 + 2*c_0101_4^3 + 5*c_0101_4^2 - 2*c_0101_4 - 1, c_0101_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 4848863627578996142474108224999601340309781306069645334074711073261\ 40863145268178372827141361211/5492432164807246808506915825750462467\ 84135458713282026894680980720491068122355374462424604761*c_0101_5^2\ 6 + 346332203782636745742391802230642568117968655810472301342386558\ 0242043875307162032892544500048465/54924321648072468085069158257504\ 6246784135458713282026894680980720491068122355374462424604761*c_010\ 1_5^25 + 6351808739020372633652480227675752127037065501533164233675\ 0682112283903530767606048821235819629568/54924321648072468085069158\ 2575046246784135458713282026894680980720491068122355374462424604761\ *c_0101_5^24 + 2954092114156762281135743735257332677968429737393092\ 58097330432264588527745619381720887797349782593/5492432164807246808\ 5069158257504624678413545871328202689468098072049106812235537446242\ 4604761*c_0101_5^23 + 109113423816146588576772714962771498322479167\ 5623713585267315828572824663185221569743811133102495227/54924321648\ 0724680850691582575046246784135458713282026894680980720491068122355\ 374462424604761*c_0101_5^22 + 9681823978367792423918024156224786825\ 44825279173327329745688839725578264792238358906760355784111814/4993\ 1201498247698259153780234095113344012314428480184263152816429135551\ 647486852223856782251*c_0101_5^21 + 7757882058867523792081605481844502227869255463672618672271340493827\ 6099854951500736379509522120949688/54924321648072468085069158257504\ 6246784135458713282026894680980720491068122355374462424604761*c_010\ 1_5^20 + 3075341259930114352905137865913554020079343765855406880565\ 47413498575492613806438945791861908991446598/5492432164807246808506\ 9158257504624678413545871328202689468098072049106812235537446242460\ 4761*c_0101_5^19 + 820689326471483299194986025848703421211192163575\ 633304532543160395315316701863788361137780216721190270/549243216480\ 7246808506915825750462467841354587132820268946809807204910681223553\ 74462424604761*c_0101_5^18 + 18517802706230796687877815097367812171\ 68970591599018299909590518727779859521062292518037847828659737067/5\ 4924321648072468085069158257504624678413545871328202689468098072049\ 1068122355374462424604761*c_0101_5^17 + 3491726404200469599916753351610680634689499520374015817759042115366\ 330811556437501811142844368794274774/549243216480724680850691582575\ 046246784135458713282026894680980720491068122355374462424604761*c_0\ 101_5^16 + 49382087475015815631460670682541171772654775553039943841\ 74392723081810945419601091767422993906018728872/5492432164807246808\ 5069158257504624678413545871328202689468098072049106812235537446242\ 4604761*c_0101_5^15 + 573239487314967856025389161055228758317543444\ 7255523166823420427095865076217761262494045112786366159087/54924321\ 6480724680850691582575046246784135458713282026894680980720491068122\ 355374462424604761*c_0101_5^14 + 5285093912333126063974015184051875\ 4529505097667857602087023768663549959037295652704145678528798253659\ 77/5492432164807246808506915825750462467841354587132820268946809807\ 20491068122355374462424604761*c_0101_5^13 + 2650648344610115543624865230252325248185295110910254906713596808617\ 282963713213870236312633536596328036/549243216480724680850691582575\ 046246784135458713282026894680980720491068122355374462424604761*c_0\ 101_5^12 + 53376086562918171127712111277079679812337203720627980498\ 3187656844999426003450968253895653758049815486/54924321648072468085\ 0691582575046246784135458713282026894680980720491068122355374462424\ 604761*c_0101_5^11 - 8925567954857297673415568054481169876275014817\ 3725161967260179951211427228890606417225347218703356439/49931201498\ 2476982591537802340951133440123144284801842631528164291355516474868\ 52223856782251*c_0101_5^10 - 13352060291358616376561130539698785563\ 23896478075962800020986768258770543305814164787371517512469203089/5\ 4924321648072468085069158257504624678413545871328202689468098072049\ 1068122355374462424604761*c_0101_5^9 - 1873178266618350214308072998485736611029249968855586162734812771795\ 90058397192362876996962915247909519/5492432164807246808506915825750\ 46246784135458713282026894680980720491068122355374462424604761*c_01\ 01_5^8 + 2880368621140097309816716029879078888418321114216002031053\ 13992430333815637764942683477958338155581178/5492432164807246808506\ 9158257504624678413545871328202689468098072049106812235537446242460\ 4761*c_0101_5^7 + 7082429357006096774588744292566547868830010357714\ 9640206423267373285383595051571030910097361338882761/54924321648072\ 4680850691582575046246784135458713282026894680980720491068122355374\ 462424604761*c_0101_5^6 - 16864807994455323783484436853182226927497\ 839180607036924087506593432571684458591672413821344018802902/549243\ 2164807246808506915825750462467841354587132820268946809807204910681\ 22355374462424604761*c_0101_5^5 - 501345742091324828938983449877317\ 930229230684456665893540406526545718676422923730048125982659439811/\ 4993120149824769825915378023409511334401231442848018426315281642913\ 5551647486852223856782251*c_0101_5^4 - 4893417866109195615299213067519780222678609902845142734020177388417\ 90525105532952980874351912281479/5492432164807246808506915825750462\ 46784135458713282026894680980720491068122355374462424604761*c_0101_\ 5^3 + 3973064749325828056487774102509664709769396047701854915938788\ 8847593840615158085617356809721746065/54924321648072468085069158257\ 5046246784135458713282026894680980720491068122355374462424604761*c_\ 0101_5^2 + 48443596164399386652055008278371352734757816310673756389\ 311885523324573815693939943413232333413482/549243216480724680850691\ 5825750462467841354587132820268946809807204910681223553744624246047\ 61*c_0101_5 + 62817049868219099251885190960053379947422128171564195\ 30957835665785606605119413194571861873062402/5492432164807246808506\ 9158257504624678413545871328202689468098072049106812235537446242460\ 4761, c_0011_0 - 1, c_0011_1 + 234966930541221698803062105605369431711854704856517015798123\ 99226838815926795014691508648330/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^26 - 1694578339858400767699115137261283666972932446115394440531328\ 90814706236235056285598235434219/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^25 - 3065431648338108877454911093218761822445300108138977623766910\ 352107593590156244203692599251144/422494781908249754500531986596189\ 42060318112208714002068821613901576236009411951881724969597*c_0101_\ 5^24 - 141075504954565465628450479170075527659294322707361012119752\ 59004183687481092579415233728200724/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597*c_010\ 1_5^23 - 5199578505427815167681377616743833278895432357937957469233\ 1989813902457363646613480123509812713/42249478190824975450053198659\ 618942060318112208714002068821613901576236009411951881724969597*c_0\ 101_5^22 - 46631360983262510768216012242422089913531114050069510398\ 607503232660273765282746509994314096013/384086165371136140455029078\ 7238085641847101109883091097165601263779657819037450171065906327*c_\ 0101_5^21 - 3725476458121038766381623492260959859648479696656108610\ 972262830896819373683332574603014382552249/422494781908249754500531\ 9865961894206031811220871400206882161390157623600941195188172496959\ 7*c_0101_5^20 - 146608780424303070208915750819240129467406300609004\ 21968358241023185727551598744714581813779026639/4224947819082497545\ 0053198659618942060318112208714002068821613901576236009411951881724\ 969597*c_0101_5^19 - 3887539189990771638963514273048913445203674064\ 5845108288027692858456918100954932174214415010908767/42249478190824\ 9754500531986596189420603181122087140020688216139015762360094119518\ 81724969597*c_0101_5^18 - 87532006702833202422311673179340989315210\ 409856495761025937079005655777764119199509975779403665386/422494781\ 9082497545005319865961894206031811220871400206882161390157623600941\ 1951881724969597*c_0101_5^17 - 164469239611609524270763763314579178\ 930132320496845336220926708663257825196976385533192832936890367/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^16 - 2309400869838094614863206178428316306172878433665927412108480420065\ 66114735521449282171884979120219/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^15 - 2675873448186519735068367028299005891520559108608143063299734\ 95699835339909747962419532974138730134/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^14 - 2459703597830973414888430859740200176131909194776765603\ 14541279817220922064923209913531968496383642/4224947819082497545005\ 3198659618942060318112208714002068821613901576236009411951881724969\ 597*c_0101_5^13 - 1214380566015112958661906503147685400911440314612\ 60832503778804029516223995765002871249566167555226/4224947819082497\ 5450053198659618942060318112208714002068821613901576236009411951881\ 724969597*c_0101_5^12 - 2708759049553864555668518343014286833461445\ 8262810139713533599661763010137937560681553967504710334/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^11 + 39906719263386770378722128266784037559\ 11158489831819851989133754159969049572828288028917591095505/3840861\ 6537113614045502907872380856418471011098830910971656012637796578190\ 37450171065906327*c_0101_5^10 + 59758913487399156220845771382848947\ 898784835407020032182898485099987772152310244959708390218471116/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^9 + 5956382198977113463803676961389460075546171698658151890296103211538\ 899459875289039445850879253809/422494781908249754500531986596189420\ 60318112208714002068821613901576236009411951881724969597*c_0101_5^8 - 12324924476454545960951023767029758329304176907308659184994760461\ 607137435932545359089092006601824/422494781908249754500531986596189\ 42060318112208714002068821613901576236009411951881724969597*c_0101_\ 5^7 - 2079932533815896131247757486364474753833201719154613962248090\ 852091889171768798074973383970170468/422494781908249754500531986596\ 18942060318112208714002068821613901576236009411951881724969597*c_01\ 01_5^6 + 6727343714797487291263452852107402667163825649870745534984\ 93754942353666434521265523717166047607/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^5 + 11547139218238731550147622564174001678609033968801875943\ 636317433302159102760900147241662870654/384086165371136140455029078\ 7238085641847101109883091097165601263779657819037450171065906327*c_\ 0101_5^4 + 18005467020124962348859243592840592863558867645459043652\ 888265286919572577817941360925276115731/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5^3 - 1086494238770971206774185761908333861037434878065812276\ 729731502627526218343031303060617845010/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5^2 - 1401085051250706521477776052703659636493508811275248201\ 444658318240512335113729576293593457096/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5 - 711451345092680573878659744898786712986700198746110008929\ 44144709962399564944128522399050522/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597, c_0011_4 + 797528495577688173760917827895531021572902885871282608844938\ 1351680402535353465668717942849/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597*c_0101_5^\ 26 - 55854958702410242036986038370595310782868048191326597549418377\ 361963163863776310894562582194/422494781908249754500531986596189420\ 60318112208714002068821613901576236009411951881724969597*c_0101_5^2\ 5 - 105220547840534431132726741308344207334800912467980629757585521\ 4606057357682757038979540630618/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597*c_0101_5^\ 24 - 50070941386373160106456689969434760998437108471380264680999737\ 16474757712192107185814166394118/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^23 - 1868136957546051743277237380712716802753816395520166892482577\ 9251567817571699633923652148466270/42249478190824975450053198659618\ 942060318112208714002068821613901576236009411951881724969597*c_0101\ _5^22 - 16177565651565684861304767062417794919719088793926206918009\ 782300827755868267720257651785349415/384086165371136140455029078723\ 8085641847101109883091097165601263779657819037450171065906327*c_010\ 1_5^21 - 1301441474191894397516308448501248973932659970775138063167\ 354367642962101982170878895087871551162/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5^20 - 524574102092228481274374439769305857216408051768470985\ 9882404779154944250550733083996673103383839/42249478190824975450053\ 1986596189420603181122087140020688216139015762360094119518817249695\ 97*c_0101_5^19 - 14275999268000363771480802326482900377564882991792\ 729759870559952758526378078989191266807553208246/422494781908249754\ 5005319865961894206031811220871400206882161390157623600941195188172\ 4969597*c_0101_5^18 - 326395678836973242295370108745696114175417401\ 30020601746756084202837375064512959242908108336109004/4224947819082\ 4975450053198659618942060318112208714002068821613901576236009411951\ 881724969597*c_0101_5^17 - 6251318839091885138770814054187141789302\ 4146303044429599799171832123956781692567018060983884392715/42249478\ 1908249754500531986596189420603181122087140020688216139015762360094\ 11951881724969597*c_0101_5^16 - 91166689526000827621575858188298113\ 598120804675741278939659446276724135588608853899709453491161166/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^15 - 1093822116419191881333223869766767041231649621477060869650173382170\ 42223147942689619894399084589303/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^14 - 1057302253011143711459714960583540728636805544968392696962775\ 15309540910058944046033899832774404277/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^13 - 6266346594719545654127310695646092310319124441049286713\ 6672770754207402597415031758936668068093440/42249478190824975450053\ 1986596189420603181122087140020688216139015762360094119518817249695\ 97*c_0101_5^12 - 21788008162128445833079515156431354651790224420443\ 733258256027566006166811076630801091336204685700/422494781908249754\ 5005319865961894206031811220871400206882161390157623600941195188172\ 4969597*c_0101_5^11 + 947858656293956202579286555438552558125915146\ 541092158082992842355477840163734610530837282246930/384086165371136\ 1404550290787238085641847101109883091097165601263779657819037450171\ 065906327*c_0101_5^10 + 2242014494367679246205080314404751908567886\ 6119003767849093785133639217520076089150318089891637801/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^9 + 652504139039137880189400074603310051101\ 2873137411194691069045071808467282241475692525055588748913/42249478\ 1908249754500531986596189420603181122087140020688216139015762360094\ 11951881724969597*c_0101_5^8 - 293681874422951454480529835612621687\ 2998858513238393029799442584142948834488812116101857012569529/42249\ 4781908249754500531986596189420603181122087140020688216139015762360\ 09411951881724969597*c_0101_5^7 - 123564283911111175009699294585459\ 7681526137003300308605913608676741114741192930481791968031691076/42\ 2494781908249754500531986596189420603181122087140020688216139015762\ 36009411951881724969597*c_0101_5^6 + 7956501055297255297430945190400286987249101697969836659597439872956\ 559211994232959389368734355/422494781908249754500531986596189420603\ 18112208714002068821613901576236009411951881724969597*c_0101_5^5 + 3027759511818757475195338722344608728190750817754333324203163012533\ 116831688517449384441053050/384086165371136140455029078723808564184\ 7101109883091097165601263779657819037450171065906327*c_0101_5^4 + 1010229881931285665281749250472933514000058700527846254215295445104\ 2925484470693774257166842456/42249478190824975450053198659618942060\ 318112208714002068821613901576236009411951881724969597*c_0101_5^3 + 1761778351474291918440503273505125217223847944515433120845016474043\ 872787516072851625198415347/422494781908249754500531986596189420603\ 18112208714002068821613901576236009411951881724969597*c_0101_5^2 - 6957241283754914099857360229465144044239295711944201062298686506993\ 9136637149130933656084889/42249478190824975450053198659618942060318\ 112208714002068821613901576236009411951881724969597*c_0101_5 - 2418852645906444160055232784882709207984419845333641193669894809351\ 5146869784242058873876832/42249478190824975450053198659618942060318\ 112208714002068821613901576236009411951881724969597, c_0011_6 - 153156426102298359370709355436012059133433857049819405454627\ 26262292372273681150424062144352/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^26 + 1088611005710567199641710027174845400166355292005053866856298\ 85848688060447870775862118791741/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^25 + 2009358722201766441839140372510241280140388707132203276967541\ 716260831484143205922206188622407/422494781908249754500531986596189\ 42060318112208714002068821613901576236009411951881724969597*c_0101_\ 5^24 + 940545934967229330866232510085094076626432089650993698074130\ 5601348879179550425849994865267100/42249478190824975450053198659618\ 942060318112208714002068821613901576236009411951881724969597*c_0101\ _5^23 + 34884135125464633042176197671412891102286810731687177479954\ 137739145203913132319590991447227420/422494781908249754500531986596\ 18942060318112208714002068821613901576236009411951881724969597*c_01\ 01_5^22 + 307315943423505299356510586292029111665983480710866174053\ 31854079901498583892754329219861270799/3840861653711361404550290787\ 238085641847101109883091097165601263779657819037450171065906327*c_0\ 101_5^21 + 24638062318483285441069627499124485198281717323898518932\ 52582705092165502740879998856158453192696/4224947819082497545005319\ 8659618942060318112208714002068821613901576236009411951881724969597\ *c_0101_5^20 + 9815077107512217239328078668771481836414905134591788\ 874312708294695820036147684812837193906925085/422494781908249754500\ 5319865961894206031811220871400206882161390157623600941195188172496\ 9597*c_0101_5^19 + 263784613220240907960197019399666773116320834828\ 89395978167310552747760195996364599562800488112530/4224947819082497\ 5450053198659618942060318112208714002068821613901576236009411951881\ 724969597*c_0101_5^18 + 5987315541782901154130377138049040265095810\ 0502567557312553023286500942553479267274399571423192162/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^17 + 11364549228354100437352120066089204984\ 4931044925648994506332624400632965003798823732976622098915080/42249\ 4781908249754500531986596189420603181122087140020688216139015762360\ 09411951881724969597*c_0101_5^16 + 1628544448596169346629800763087282875309513782102809178997154873362\ 07595184278349978453863452016588/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^15 + 1923533632568800548402240794033687186172962331846564591572760\ 25933538471120622512966026604788290838/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^14 + 1818962158202542183467143727192399551502286824825305244\ 47694033257556212962719051882025352036828806/4224947819082497545005\ 3198659618942060318112208714002068821613901576236009411951881724969\ 597*c_0101_5^13 + 1000675130567350229263805641959142928593612302021\ 37278722170165426447263363240674084757640289490535/4224947819082497\ 5450053198659618942060318112208714002068821613901576236009411951881\ 724969597*c_0101_5^12 + 3014965912003197831827357541265097277461688\ 5835384138453493063398851993192685586804973581478941058/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^11 - 21744892910264593911894967451177083640\ 37157339086061443210497037354152512404996844771966253887853/3840861\ 6537113614045502907872380856418471011098830910971656012637796578190\ 37450171065906327*c_0101_5^10 - 40683538460833111601303866550875698\ 418166104825043241210020078006621388163093810959978693076963458/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^9 - 8041883942871417366663429011957810166331384837115752110005521301205\ 181286657227353706248811110402/422494781908249754500531986596189420\ 60318112208714002068821613901576236009411951881724969597*c_0101_5^8 + 68805397699982426086951703303993872629549595397262384067606669458\ 19192489167152260848400024795613/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^7 + 18370362151818982543426269657437219459669527013994683834746365\ 43467654592852798708751242087862407/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597*c_010\ 1_5^6 - 26210223301840870709457979787212546895970141673040875918405\ 6875074074480646205914859366223750153/42249478190824975450053198659\ 618942060318112208714002068821613901576236009411951881724969597*c_0\ 101_5^5 - 656176169307012301486004412688945874160187703423268508563\ 389938309158444618556576653645227477/349169241246487400413662798839\ 825967440645555443917372469600114889059801730677288278718757*c_0101\ _5^4 - 138063444129804405323782458376711430390536862981122962420719\ 03769033520028937043181049244339493/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597*c_010\ 1_5^3 - 92189437603166803129807612350528397837165226116777118356577\ 9363945084893575438488064184796687/42249478190824975450053198659618\ 942060318112208714002068821613901576236009411951881724969597*c_0101\ _5^2 + 622790771504661319540102663915318836055274428653721675079329\ 534827283216715682468828284879384/422494781908249754500531986596189\ 42060318112208714002068821613901576236009411951881724969597*c_0101_\ 5 + 519178485777064566702033510407557535686036770336399148994088559\ 39593904499246928972782592380/4224947819082497545005319865961894206\ 0318112208714002068821613901576236009411951881724969597, c_0101_0 - 177640610293260294576542420293375353308776251753921584016581\ 83327905739185614534045001095143/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^26 + 1260786091649257893410263119586573134754703858808080130858184\ 43140859124464323869442955502728/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^25 + 2331570881407266519740413216690552882286734414332564085799452\ 963563678231928834473880187740064/422494781908249754500531986596189\ 42060318112208714002068821613901576236009411951881724969597*c_0101_\ 5^24 + 109357872585835269695711147601417816089994498241218494894967\ 10940291719333516951819116865588089/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597*c_010\ 1_5^23 + 4061757296086801041671895307529544495726259864416355471580\ 3035530066568858061795499339693630723/42249478190824975450053198659\ 618942060318112208714002068821613901576236009411951881724969597*c_0\ 101_5^22 + 35700607787004522364242234618391267031861936636345808122\ 751105127492092193762782024499575975036/384086165371136140455029078\ 7238085641847101109883091097165601263779657819037450171065906327*c_\ 0101_5^21 + 2862492864533022218709961074963809751189272392641109245\ 603038591139661955950349056884288058190920/422494781908249754500531\ 9865961894206031811220871400206882161390157623600941195188172496959\ 7*c_0101_5^20 + 114211548680794174761580743514306716256562773301724\ 47368337704382956758839598074217958679321697488/4224947819082497545\ 0053198659618942060318112208714002068821613901576236009411951881724\ 969597*c_0101_5^19 + 3076612366414697621549497650909919675220871832\ 8729277771299532815041909575544603137940129219259806/42249478190824\ 9754500531986596189420603181122087140020688216139015762360094119518\ 81724969597*c_0101_5^18 + 69966820244001973265602514894702948649669\ 462504241866598766684137267617593477623509153304401073557/422494781\ 9082497545005319865961894206031811220871400206882161390157623600941\ 1951881724969597*c_0101_5^17 + 133074025759462686252420770792342180\ 923088306486698026953046419601255887233090577069475952111513544/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^16 + 1914737745127458491178623748308432889766588842614543063541768421895\ 31345231931095374355451396888848/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^15 + 2273472836602970342891469216880676641197223063044493423362829\ 31124778851242744101892940780306171827/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^14 + 2164961666969589306231607541737636488800076466661298463\ 35762867073406179850737028038625546335834449/4224947819082497545005\ 3198659618942060318112208714002068821613901576236009411951881724969\ 597*c_0101_5^13 + 1220115834560208458532048699515032115530697307592\ 87051892254787355862582394759070164167009495718498/4224947819082497\ 5450053198659618942060318112208714002068821613901576236009411951881\ 724969597*c_0101_5^12 + 3967902996144161216523179228412675586232094\ 9144645863054213163039090350567058187970846466132719046/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^11 - 23224989817607103865555084847200205889\ 86775760297081173846551809641962976120733531985027021133663/3840861\ 6537113614045502907872380856418471011098830910971656012637796578190\ 37450171065906327*c_0101_5^10 - 46862626387935528527133149629012434\ 594245049936599265462777871447489089314230061704219689437037383/422\ 4947819082497545005319865961894206031811220871400206882161390157623\ 6009411951881724969597*c_0101_5^9 - 1026695165176030830777886826041113748152336366143902348196384103096\ 5985285548831327027241256068598/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597*c_0101_5^\ 8 + 716071411031446842915395863842269429379612914159796891940175905\ 5735766297631676746029805687691545/42249478190824975450053198659618\ 942060318112208714002068821613901576236009411951881724969597*c_0101\ _5^7 + 215257263273576830679004751544984099824260850639577475386660\ 1302319152420736487010316852251669261/42249478190824975450053198659\ 618942060318112208714002068821613901576236009411951881724969597*c_0\ 101_5^6 - 174751514766207443529636733160547705337804300968343316773\ 358895408160681882653701898972502474710/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5^5 - 7386206904247211815531887814163230391603229075701030892\ 85722281517826663189543580325557397933/3491692412464874004136627988\ 39825967440645555443917372469600114889059801730677288278718757*c_01\ 01_5^4 - 1934927920479021757755587673082296887154935027666430211580\ 8942967508059886977744782271903402039/42249478190824975450053198659\ 618942060318112208714002068821613901576236009411951881724969597*c_0\ 101_5^3 - 993766363105705819635400856935088209845353192651066933461\ 971623198508560551167102040051639054/422494781908249754500531986596\ 18942060318112208714002068821613901576236009411951881724969597*c_01\ 01_5^2 + 5584053781946258911455431266339828778260031708565326304586\ 54290896546324152423106675180182049/4224947819082497545005319865961\ 8942060318112208714002068821613901576236009411951881724969597*c_010\ 1_5 + 7097140521283897654212869908462186488927579374676952696158782\ 8827924257936655616862756694344/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597, c_0101_4 - 882038106557881035070173593079699340801088225681861048827252\ 3400652293608523406796189715809/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597*c_0101_5^\ 26 + 61724151220863973077567650103015214285483045037012947487767806\ 685916440168709228934390284748/422494781908249754500531986596189420\ 60318112208714002068821613901576236009411951881724969597*c_0101_5^2\ 5 + 116387066347974177304038433379195053459022284662966316047723519\ 7437641641746180882900421597507/42249478190824975450053198659618942\ 060318112208714002068821613901576236009411951881724969597*c_0101_5^\ 24 + 55454592213599664751723369729804765706474861920005223860340526\ 14790088998622938155540844122504/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^23 + 2071517059043761394000118405724461552228488888856268465738999\ 6813569252961814547167365774878219/42249478190824975450053198659618\ 942060318112208714002068821613901576236009411951881724969597*c_0101\ _5^22 + 17912169635688097925009121961027897950770610950023628151705\ 032457025209974510251961797597502784/384086165371136140455029078723\ 8085641847101109883091097165601263779657819037450171065906327*c_010\ 1_5^21 + 1440853461867409678122996177055890631539361607903162505185\ 052005554781473331322582498269072969184/422494781908249754500531986\ 59618942060318112208714002068821613901576236009411951881724969597*c\ _0101_5^20 + 581358275654845965912591103625696643494174812945994817\ 5579775436778404139625101855052398069506876/42249478190824975450053\ 1986596189420603181122087140020688216139015762360094119518817249695\ 97*c_0101_5^19 + 15849690861011339553692937969615167049684500288722\ 028540977942637032776446741893732962708516063904/422494781908249754\ 5005319865961894206031811220871400206882161390157623600941195188172\ 4969597*c_0101_5^18 + 362996741959770974796139115804341923918297334\ 95279927786443193046258766273388462690180738266306265/4224947819082\ 4975450053198659618942060318112208714002068821613901576236009411951\ 881724969597*c_0101_5^17 + 6964394575471227027609858676935803336223\ 7972349739061063298440067278671605952517754459512341575787/42249478\ 1908249754500531986596189420603181122087140020688216139015762360094\ 11951881724969597*c_0101_5^16 + 10190908983669611982264573869304849\ 6558058880310241495204867255199079829945195337628416887412482183/42\ 2494781908249754500531986596189420603181122087140020688216139015762\ 36009411951881724969597*c_0101_5^15 + 1228623143592857650168531309565602632417511253188305687058092168036\ 40340216070299438860710765653872/4224947819082497545005319865961894\ 2060318112208714002068821613901576236009411951881724969597*c_0101_5\ ^14 + 1195277779044676777691667986166765176046685355767333129276230\ 06432763369414213392654825588331090180/4224947819082497545005319865\ 9618942060318112208714002068821613901576236009411951881724969597*c_\ 0101_5^13 + 7226954877348718796834310120755667648112743675943321449\ 1394095959217165829459591758441272855159632/42249478190824975450053\ 1986596189420603181122087140020688216139015762360094119518817249695\ 97*c_0101_5^12 + 26733382695257328761863661807546029381646409553352\ 896367276317272870538962138978437506028810332283/422494781908249754\ 5005319865961894206031811220871400206882161390157623600941195188172\ 4969597*c_0101_5^11 - 912777843147860144831121098218175683830025162\ 441225710926039376720579798844642146258854232248892/384086165371136\ 1404550290787238085641847101109883091097165601263779657819037450171\ 065906327*c_0101_5^10 - 2428069670323933952521375175251727806927307\ 9658575774835127817261319773493938321448929535407596235/42249478190\ 8249754500531986596189420603181122087140020688216139015762360094119\ 51881724969597*c_0101_5^9 - 747429485433597936268573126778559302103\ 1403770328163949560607398087386204240299566279636135870294/42249478\ 1908249754500531986596189420603181122087140020688216139015762360094\ 11951881724969597*c_0101_5^8 + 282664558566591374059372724389305593\ 1728910009699341251991813303547496241715381351949270075923078/42249\ 4781908249754500531986596189420603181122087140020688216139015762360\ 09411951881724969597*c_0101_5^7 + 130142921977876752117834879984792\ 7157433387601427807098090032135151552176008687369577022143231576/42\ 2494781908249754500531986596189420603181122087140020688216139015762\ 36009411951881724969597*c_0101_5^6 + 3889402428282125903834813025177896934650727145614099098584937202528\ 8704449868505931695986466345/42249478190824975450053198659618942060\ 318112208714002068821613901576236009411951881724969597*c_0101_5^5 - 2706889400794316580049484666642753379100769702990248254682792588706\ 352888284890030644766168543/384086165371136140455029078723808564184\ 7101109883091097165601263779657819037450171065906327*c_0101_5^4 - 1179504986965424529487074453221217134773079580902893689622632253123\ 4356994199651669078290904568/42249478190824975450053198659618942060\ 318112208714002068821613901576236009411951881724969597*c_0101_5^3 - 1789859204152253089953788942434495430506602925650742091857239941500\ 063950649471779033105171412/422494781908249754500531986596189420603\ 18112208714002068821613901576236009411951881724969597*c_0101_5^2 - 4000330590249206661794204723557030407762811783908916394075669294065\ 3485261554059957212304644/42249478190824975450053198659618942060318\ 112208714002068821613901576236009411951881724969597*c_0101_5 + 1018980980328932282546901893526585895370687348377635187029001555278\ 4237726589270495856695100/42249478190824975450053198659618942060318\ 112208714002068821613901576236009411951881724969597, c_0101_5^27 - 7*c_0101_5^26 - 132*c_0101_5^25 - 628*c_0101_5^24 - 2339*c_0101_5^23 - 22294*c_0101_5^22 - 163160*c_0101_5^21 - 657367*c_0101_5^20 - 1785317*c_0101_5^19 - 4070128*c_0101_5^18 - 7773297*c_0101_5^17 - 11275626*c_0101_5^16 - 13401174*c_0101_5^15 - 12779089*c_0101_5^14 - 7263239*c_0101_5^13 - 2128172*c_0101_5^12 + 1695566*c_0101_5^11 + 2963912*c_0101_5^10 + 780491*c_0101_5^9 - 496805*c_0101_5^8 - 207735*c_0101_5^7 + 13248*c_0101_5^6 + 13139*c_0101_5^5 + 1995*c_0101_5^4 + 81*c_0101_5^3 - 86*c_0101_5^2 - 20*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB