Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 997894143] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0448 geometric_solution 4.48978136 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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 -1 0 1 0 0 -1 1 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.757468186785 0.040599229272 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.588460132543 0.115207074521 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.487653447935 1.433072626683 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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.862105234390 1.925064152294 5 5 3 6 1302 2031 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.393882807090 0.416168184215 4 4 6 3 1302 2031 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.393882807090 0.416168184215 6 5 4 6 3201 3201 0132 2310 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 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 0.283329151522 1.167748543498 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 1182961792657206354189962360044305186427837407214060413016232531311\ 9235971948/45843997734843777689355333315836184008944049845297428463\ 972217007308470155*c_0101_6^24 + 8692199616440416866599494858780349\ 5937377034603181228682291638874206568066558/15281332578281259229785\ 111105278728002981349948432476154657405669102823385*c_0101_6^23 + 1150581778717993495244830526041128655060727081642918767906898260227\ 5888886308/15281332578281259229785111105278728002981349948432476154\ 657405669102823385*c_0101_6^22 - 2943861349088032802830267291669418\ 106747260316724172832152921987140144882876214/916879954696875553787\ 1066663167236801788809969059485692794443401461694031*c_0101_6^21 - 1915315619379336613023541230245823427626456929025162430940259444457\ 985667736673/305626651565625184595702222105574560059626998968649523\ 0931481133820564677*c_0101_6^20 + 302952753455578789837427602242164\ 377294175413982872369247920993740619524533037281/458439977348437776\ 89355333315836184008944049845297428463972217007308470155*c_0101_6^1\ 9 + 184875112037558759952573859867772509216505172258061157034111627\ 375598916639634187/152813325782812592297851111052787280029813499484\ 32476154657405669102823385*c_0101_6^18 - 1022152754897548209089747665898152879911442228577826376534015711391\ 725539173183002/152813325782812592297851111052787280029813499484324\ 76154657405669102823385*c_0101_6^17 + 2901736600239865218294624761287506037247147022611483005201698666389\ 489638630943023/458439977348437776893553333158361840089440498452974\ 28463972217007308470155*c_0101_6^16 + 1075710701373502566908138920118519594028250901846249321292422615576\ 133070178852629/458439977348437776893553333158361840089440498452974\ 28463972217007308470155*c_0101_6^15 - 2663766201225299612600257786867102481165043841118600197704761624636\ 833922152111033/458439977348437776893553333158361840089440498452974\ 28463972217007308470155*c_0101_6^14 + 7847635253447504480992361563801726254847633772537385984249363133561\ 50777100236284/4584399773484377768935533331583618400894404984529742\ 8463972217007308470155*c_0101_6^13 - 5977324553089524920470324561597777678427394954757723816116427738579\ 22684383191743/4584399773484377768935533331583618400894404984529742\ 8463972217007308470155*c_0101_6^12 + 1410945285780722442835318164105315101010431269312262701108293915351\ 306497564837083/458439977348437776893553333158361840089440498452974\ 28463972217007308470155*c_0101_6^11 - 1191727648220803676499033059348587693762894790210941538131897427531\ 59207453116542/1528133257828125922978511110527872800298134994843247\ 6154657405669102823385*c_0101_6^10 - 1339699282566279498808621018765318208346028378124298798480335299403\ 76563851167574/9168799546968755537871066663167236801788809969059485\ 692794443401461694031*c_0101_6^9 + 3908781618608908741043615720411899032757306430859945210443429049702\ 31237887935287/4584399773484377768935533331583618400894404984529742\ 8463972217007308470155*c_0101_6^8 + 6438941162463754493674633847640964229253568925067950751184739257024\ 623132899614/152813325782812592297851111052787280029813499484324761\ 54657405669102823385*c_0101_6^7 - 159082610297354832886238841729482\ 10478702643759457382657387167880150071404414848/1528133257828125922\ 9785111105278728002981349948432476154657405669102823385*c_0101_6^6 + 3319079995059204191464392973126901343401639061163902311102587078371\ 68488512208/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^5 - 37333844596021247913902543748357449\ 96853108301527919779566886811189695435857996/4584399773484377768935\ 5333315836184008944049845297428463972217007308470155*c_0101_6^4 + 2164258058365277441983966406813802006801100487642144411888634174622\ 098066424181/458439977348437776893553333158361840089440498452974284\ 63972217007308470155*c_0101_6^3 + 561041284474470325945308364834610\ 624581094526657361375512771409161786643138183/458439977348437776893\ 55333315836184008944049845297428463972217007308470155*c_0101_6^2 - 5157675649691623737235103584696023543548950430375483840224743730140\ 1309952509/15281332578281259229785111105278728002981349948432476154\ 657405669102823385*c_0101_6 - 2220395384599051466420423359021752028\ 0444335903845974531267790355736408127456/45843997734843777689355333\ 315836184008944049845297428463972217007308470155, c_0011_0 - 1, c_0011_4 - 259475465437275643326700223830892184389932182076339090682123\ 91787789289368/5093777526093753076595037035092909334327116649477492\ 051552468556367607795*c_0101_6^24 - 5694257196114606178121189380594971284427965501637002553173648964641\ 17500394/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6^23 - 2002854022670149572061775258895225986\ 8902427904866908853947507338462465079/50937775260937530765950370350\ 92909334327116649477492051552468556367607795*c_0101_6^22 + 6456507871397390004272196616320087005257584545437817804442915870553\ 527053153/101875550521875061531900740701858186686542332989549841031\ 0493711273521559*c_0101_6^21 + 119695039426392969147110777284495384\ 04745698383847982127203686549051031330501/1018755505218750615319007\ 407018581866865423329895498410310493711273521559*c_0101_6^20 - 6700798778515678371096982637139170223652500112922059108852754531336\ 54023862126/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^19 - 1150243138133708723946590600077033\ 047254034475387223507000774319116694147533901/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^18 + 6832517877488661085362059359814937889745026103284825949749964449620\ 156115474236/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^17 - 704497603294188275387121454584983\ 2300791583655879809180608106174639919828321438/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^16 - 1599027143077661150965423022990238062139591472818984453914054693876\ 462876801119/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^15 + 591498268290212054482846531612410\ 9382281724802001772972378928775026816590274448/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^14 - 2302079904015185206055241776027639828463215406448893444754701017403\ 048539976994/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^13 + 160055050033529264983109283224644\ 8744836038255182901160648906060963806610701348/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^12 - 3288122869245260239854493422569931832833364950232063932952709971328\ 111763456138/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^11 + 112640926661519908233169495680756\ 4258538303458593877270417759389870549411305401/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^10 + 2645901559475439902405404797342504039696025207969228789231850813977\ 89844895918/1018755505218750615319007407018581866865423329895498410\ 310493711273521559*c_0101_6^9 - 96868383855665275640004867565946235\ 9110563263890393753095350340605495291663932/50937775260937530765950\ 37035092909334327116649477492051552468556367607795*c_0101_6^8 + 6410916564552904069903960002575871711206902325752327625585501164391\ 7146030243/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^7 + 854753078838178449604895749978105952\ 08598606503814501345271439585172281040394/5093777526093753076595037\ 035092909334327116649477492051552468556367607795*c_0101_6^6 - 1227889016891713950358802007311352124892649328316120163997683546473\ 6628151377/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^5 + 100990670877587204905083550322348144\ 22678232531713168309704709582309117216936/5093777526093753076595037\ 035092909334327116649477492051552468556367607795*c_0101_6^4 - 5997756947528553370512435052883518754714336534548365382052706929990\ 777519996/509377752609375307659503703509290933432711664947749205155\ 2468556367607795*c_0101_6^3 - 5130066742796498517933253363337892047\ 71886102711246006953095069599067424418/5093777526093753076595037035\ 092909334327116649477492051552468556367607795*c_0101_6^2 + 2885439050673219172132188412413699624500951437924498628810271273513\ 59648592/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6 + 2991008721663886830951254583252229396857\ 2126488945368460985399135879936746/50937775260937530765950370350929\ 09334327116649477492051552468556367607795, c_0011_6 - 620554537928874061788785817036926892370635668737652465728023\ 16299620594462/5093777526093753076595037035092909334327116649477492\ 051552468556367607795*c_0101_6^24 - 1361761723535062141144858939521711262984646384651724659637894063381\ 530331991/509377752609375307659503703509290933432711664947749205155\ 2468556367607795*c_0101_6^23 - 465362090501137903357954551003182946\ 90185939910643716852847243453445242341/5093777526093753076595037035\ 092909334327116649477492051552468556367607795*c_0101_6^22 + 1544127503429548924249489166354537028914511958888165528422807374908\ 5622217637/10187555052187506153190074070185818668654233298954984103\ 10493711273521559*c_0101_6^21 + 28610506116217175927544466804792190\ 289748106396165111231981397199214967283096/101875550521875061531900\ 7407018581866865423329895498410310493711273521559*c_0101_6^20 - 1602704911061844552681873902364715452907239285717030855346048854400\ 323950422629/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^19 - 274929792294443916095635076446282\ 3554574684688226812304809223315512484703300609/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^18 + 1634366027540168877418994176808649217067963281023998751222350447387\ 6292760559709/50937775260937530765950370350929093343271166494774920\ 51552468556367607795*c_0101_6^17 - 1686482269110879223613084761837840859253673849176115011919719704955\ 7573690936907/50937775260937530765950370350929093343271166494774920\ 51552468556367607795*c_0101_6^16 - 3813264260731559608433585919695248656580654951621418657758466405564\ 962454436666/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^15 + 141596613548428941158693294107065\ 85276177211902421248847919791747273129961888192/5093777526093753076\ 595037035092909334327116649477492051552468556367607795*c_0101_6^14 - 5519248662699767509202010487060492021133089106796662459243104878274\ 211496183436/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^13 + 382288743125211711695145875198405\ 9358132214414316729936120619774898458194736427/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^12 - 7862873922185260195643471387899388823146682656592224347864621962653\ 085425922622/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^11 + 270263102339298057290494295600288\ 0539224045711721781397201832309909340885235104/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^10 + 6328024602804159391844101121761918493421979863786101494109092542675\ 20820800482/1018755505218750615319007407018581866865423329895498410\ 310493711273521559*c_0101_6^9 - 23217344824676069462637085866807149\ 51800965891696850389980056701747087837165098/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^8 + 1528461462375488552282300929124462994861823129065141818035040999005\ 32491168992/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^7 + 20659822730602872816061206514327871\ 6875054079533228413511294901147086575602296/50937775260937530765950\ 37035092909334327116649477492051552468556367607795*c_0101_6^6 - 2963979215968908269419715702688040178118233223968372165027353656369\ 4794847693/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^5 + 238140090811430853480800245225589938\ 69203089664564785644351759631608430229914/5093777526093753076595037\ 035092909334327116649477492051552468556367607795*c_0101_6^4 - 1426884540137332825695600724503585514607007080861361763470531920449\ 5491844499/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^3 - 122531629010450442384008921759464444\ 0394051596339481682059042161957916664942/50937775260937530765950370\ 35092909334327116649477492051552468556367607795*c_0101_6^2 + 7131071954134832305280555824096853880464117221387164434048080187174\ 66305473/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6 + 7041379377143804138354952891019446142502\ 8127560557175114484133022513277584/50937775260937530765950370350929\ 09334327116649477492051552468556367607795, c_0101_0 - 742000102968156325343538593401238139110995618574672250327684\ 6349713686898/50937775260937530765950370350929093343271166494774920\ 51552468556367607795*c_0101_6^24 - 1641889655798203933470064766745804444541383791224296626423564657603\ 37630439/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6^23 - 3555468171307482583105849743021910487\ 5040279339254615396935048534160259234/50937775260937530765950370350\ 92909334327116649477492051552468556367607795*c_0101_6^22 + 1845702697649106048986270443444374805540551576765826288125585670083\ 942325980/101875550521875061531900740701858186686542332989549841031\ 0493711273521559*c_0101_6^21 + 375979130625785813594747141190970906\ 0616289798888472792215638627204857191349/10187555052187506153190074\ 07018581866865423329895498410310493711273521559*c_0101_6^20 - 1883808146416699478764935967845493889845952405720576002290465703596\ 12890310771/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^19 - 3636581317670222148446353206113660\ 33198732101722220935319289236232811105822076/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^18 + 1891582854611587373497136846889210741248006579413538393013238619101\ 862020663481/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^17 - 166283867848762917147405619140551\ 5525781397040425236587354326738946793018373178/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^16 - 8040310413882562486117034033703898150967788236198783720333689912479\ 97060730639/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^15 + 1594557053932215223332563714122376\ 987970278267177529087336845993200443803261538/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^14 - 3634006258265875786294229247272820541599002195777941103841082987625\ 54365485849/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^13 + 3523973828889338047627875141953219\ 03988136316432706959634663856022803262092398/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^12 - 8557493720203286587054579527484443623679418479545133941868356686769\ 73575322863/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^11 + 1541050766116884410451694355199998\ 80135973908274329482844888380090768886768051/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^10 + 8556465428083210348798667563585154065388105963294561444634515640959\ 4177980090/10187555052187506153190074070185818668654233298954984103\ 10493711273521559*c_0101_6^9 - 208448581727126583278850056764392755\ 265290749940009479542989608744984571967772/509377752609375307659503\ 7035092909334327116649477492051552468556367607795*c_0101_6^8 - 2727553967791080402316644803221772344019986740838164443429267109567\ 9936391602/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^7 + 270011426095227411936534128570993059\ 01175972659307697897348194786933206712244/5093777526093753076595037\ 035092909334327116649477492051552468556367607795*c_0101_6^6 - 3809202759118188093947138397611151512539152212850755618094217583996\ 566447/509377752609375307659503703509290933432711664947749205155246\ 8556367607795*c_0101_6^5 + 2339320386556262352154299682566691460917\ 473204371898526985961208100750122896/509377752609375307659503703509\ 2909334327116649477492051552468556367607795*c_0101_6^4 - 1052576310641210393804982432487603357725650420599096641182253230345\ 306239591/509377752609375307659503703509290933432711664947749205155\ 2468556367607795*c_0101_6^3 - 4479076003851519282930395146921225540\ 61976495643595718733453623676573675038/5093777526093753076595037035\ 092909334327116649477492051552468556367607795*c_0101_6^2 + 5714320346962094773272223082163503141643901856390041559833703723051\ 3870392/50937775260937530765950370350929093343271166494774920515524\ 68556367607795*c_0101_6 + 17308439145563925919375365440489777674489\ 303537585253196889780914046298651/509377752609375307659503703509290\ 9334327116649477492051552468556367607795, c_0101_1 - 795311977259280671210043862636615538670018660940785626736973\ 8697417937978/50937775260937530765950370350929093343271166494774920\ 51552468556367607795*c_0101_6^24 - 1710093748681060556175825104912407068760179799679031556942392149294\ 39415449/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6^23 + 7126773522049088379057114036804349469\ 9400284747228027653833225954140503891/50937775260937530765950370350\ 92909334327116649477492051552468556367607795*c_0101_6^22 + 1979865064148910183749956794510449170146603608068564325230623529739\ 131988331/101875550521875061531900740701858186686542332989549841031\ 0493711273521559*c_0101_6^21 + 279259569013545410122625872218325042\ 1723414062631978578039729569130680299888/10187555052187506153190074\ 07018581866865423329895498410310493711273521559*c_0101_6^20 - 2136023954501305611604291397779201562589557843933141158609282021262\ 12821748581/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^19 - 2619182206354192902021396892190013\ 58561989369873546121020979322395269283873311/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^18 + 2251909094453457668077222861086628187168759139276531875054845747814\ 163292965256/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^17 - 308009151406358731158612845911342\ 9340886219828147104707378344586863044472324468/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^16 + 4553454021099732925806786916143808352821128755339342402152388945437\ 10257241361/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^15 + 2011105856477757814162980132958208\ 565174240645778261454988994343026888250694393/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^14 - 1471366123350994048817656264658893990212617540812082521742017534143\ 520613418834/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^13 + 802056736211149232501894948665410\ 912625061998181324430918462678490174310722663/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^12 - 1248321128706553856424028000691145456722587989286252788068736704003\ 443017090353/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^11 + 794564129217289112594793086006973\ 034984663465464349421725821362414136055111651/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^10 + 5047113488679099993056671546014316988994235557700059913596760192171\ 7404728337/10187555052187506153190074070185818668654233298954984103\ 10493711273521559*c_0101_6^9 - 461885474945142901080093135974073735\ 838602400016184230466166125532578540283947/509377752609375307659503\ 7035092909334327116649477492051552468556367607795*c_0101_6^8 + 1443818239372703795875975440547601992333426583565716255763236037159\ 46017147038/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^7 + 12619884106304901803807364012348282\ 154287871897395315618018322789365546539774/509377752609375307659503\ 7035092909334327116649477492051552468556367607795*c_0101_6^6 - 1182662323277440209465810865943015378755175188385872849467403547422\ 7157647387/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^5 + 474218326772986080247283716840382439\ 4515027518724622217234414759106627604026/50937775260937530765950370\ 35092909334327116649477492051552468556367607795*c_0101_6^4 - 3432499297166727395021235446188806861244556810932431377974083753025\ 929682451/509377752609375307659503703509290933432711664947749205155\ 2468556367607795*c_0101_6^3 + 6107815992547467831350963963052505681\ 79745174879040330838457998406254651807/5093777526093753076595037035\ 092909334327116649477492051552468556367607795*c_0101_6^2 + 1058645466226220090413477266513549852403896024798265576765294473593\ 60565747/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6 - 1092303772293994764342419427986514081267\ 0999177173385825305744350741505584/50937775260937530765950370350929\ 09334327116649477492051552468556367607795, c_0101_3 - 210219293319488595574726462794823010515967634624474857552867\ 51056662422766/5093777526093753076595037035092909334327116649477492\ 051552468556367607795*c_0101_6^24 - 4612226864148936363174689320095041918830109095547527100935977501647\ 04937373/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6^23 - 1383541189319595146500709374419737842\ 6925002839513007137572236286164842308/50937775260937530765950370350\ 92909334327116649477492051552468556367607795*c_0101_6^22 + 5230868079808465208774853665967370603889978552453983214273979482272\ 929443306/101875550521875061531900740701858186686542332989549841031\ 0493711273521559*c_0101_6^21 + 967000668711545377813278677663026132\ 7320442857774743180300138807700984649014/10187555052187506153190074\ 07018581866865423329895498410310493711273521559*c_0101_6^20 - 5431280394388986230915847994485959269879160106862951175768798443921\ 28724824567/5093777526093753076595037035092909334327116649477492051\ 552468556367607795*c_0101_6^19 - 9290192530709592109933866776317256\ 74170982271831761854646751226126749897360307/5093777526093753076595\ 037035092909334327116649477492051552468556367607795*c_0101_6^18 + 5540410501788132385318274843800558893291043917043628337913029364411\ 143961540462/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^17 - 573742964357698279147966450571806\ 6034183854537206384417083383696915036157558536/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^16 - 1267856525363476407403727376318154330463407884286534552309327518557\ 206688962013/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^15 + 480718977032164608447985029694742\ 9376477148317581915483968577367377946503633951/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^14 - 1893760870859754965681806470337607689873694915965859155738817667518\ 908765975928/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^13 + 129935186555423989519700211736732\ 0093913274046195388885428298530820327819140031/50937775260937530765\ 95037035092909334327116649477492051552468556367607795*c_0101_6^12 - 2665140495141154032040541406887559767104035431152222989115438959526\ 426536635311/509377752609375307659503703509290933432711664947749205\ 1552468556367607795*c_0101_6^11 + 927261392567144572626231686030785\ 136655350014791109602417973590721604950795077/509377752609375307659\ 5037035092909334327116649477492051552468556367607795*c_0101_6^10 + 2137471546491095852624712412421824009515758250696634711207161235340\ 23837321921/1018755505218750615319007407018581866865423329895498410\ 310493711273521559*c_0101_6^9 - 79309984690826981056492985792608598\ 6212249319949761631649216120535413363828369/50937775260937530765950\ 37035092909334327116649477492051552468556367607795*c_0101_6^8 + 5465310969232256315733589189641283940530734273852960993124254272477\ 1861289266/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^7 + 711014054225050094332440617026871735\ 57496144143193636905829887186149418191488/5093777526093753076595037\ 035092909334327116649477492051552468556367607795*c_0101_6^6 - 1069414367588082831209388321824890260563304215753250159237733076368\ 9159341524/50937775260937530765950370350929093343271166494774920515\ 52468556367607795*c_0101_6^5 + 800480724952855375227133840761117564\ 3065150396278966358615206198787918659792/50937775260937530765950370\ 35092909334327116649477492051552468556367607795*c_0101_6^4 - 4796740274027080266541860648884350144519309382218353650382836806750\ 927491597/509377752609375307659503703509290933432711664947749205155\ 2468556367607795*c_0101_6^3 - 4249299596335665373227494823938279605\ 50964822831115302252381195660600763586/5093777526093753076595037035\ 092909334327116649477492051552468556367607795*c_0101_6^2 + 2594953291176520252603788233378596680820397362240788829060401307665\ 69965629/5093777526093753076595037035092909334327116649477492051552\ 468556367607795*c_0101_6 + 2232876807037526228876420421072746841955\ 0349634075886620342574641092936357/50937775260937530765950370350929\ 09334327116649477492051552468556367607795, c_0101_6^25 + 43/2*c_0101_6^24 - 9*c_0101_6^23 - 2489/2*c_0101_6^22 - 3505/2*c_0101_6^21 + 26852*c_0101_6^20 + 65663/2*c_0101_6^19 - 566145/2*c_0101_6^18 + 388744*c_0101_6^17 - 118227/2*c_0101_6^16 - 511261/2*c_0101_6^15 + 380469/2*c_0101_6^14 - 100963*c_0101_6^13 + 154035*c_0101_6^12 - 99811*c_0101_6^11 - 31712*c_0101_6^10 + 120153/2*c_0101_6^9 - 19042*c_0101_6^8 - 2259*c_0101_6^7 + 1956*c_0101_6^6 - 593*c_0101_6^5 + 400*c_0101_6^4 - 82*c_0101_6^3 - 41/2*c_0101_6^2 + 4*c_0101_6 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB