Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1747580076] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0440 geometric_solution 4.48773695 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.593946631858 2.759575588602 0 0 3 3 0132 3201 2310 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 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.114894219897 0.057503275741 0 0 5 4 3201 0132 0132 0132 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 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212396725114 0.499325466773 3 1 1 3 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -2.715093828018 0.641507118518 5 6 2 5 1230 0132 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.867738893282 0.796453451489 6 4 4 2 2310 3012 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.867738893282 0.796453451489 6 4 5 6 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721669083261 1.118451792136 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 216987613919431473002228127312450845274448108329762795/315936759700\ 361810145219605856184021998681403339087*c_0101_5^25 + 3087102182023016684062943410518673141602084314339005930/31593675970\ 0361810145219605856184021998681403339087*c_0101_5^24 + 10032075535788006188977838280668962137492393176745818260/3159367597\ 00361810145219605856184021998681403339087*c_0101_5^23 - 35252455419637919496973803287313965786999183958573724887/3159367597\ 00361810145219605856184021998681403339087*c_0101_5^22 - 285936975898271865227567054663283413832177272734213585712/315936759\ 700361810145219605856184021998681403339087*c_0101_5^21 - 617895770171496327754653560615473765253364550303584274335/315936759\ 700361810145219605856184021998681403339087*c_0101_5^20 - 533624160492949996135361397615209795116310886823183734769/315936759\ 700361810145219605856184021998681403339087*c_0101_5^19 - 493086978301127109703844665859776438715455625896143791150/315936759\ 700361810145219605856184021998681403339087*c_0101_5^18 - 685942200333297822842269198211102687611977777951394835105/315936759\ 700361810145219605856184021998681403339087*c_0101_5^17 + 715672336118083140650795531318823993006797668599422105362/315936759\ 700361810145219605856184021998681403339087*c_0101_5^16 + 1270642302429996569274217423437372120448325512141456820105/31593675\ 9700361810145219605856184021998681403339087*c_0101_5^15 - 1340483532408278439086361927932060207419877227804597596132/31593675\ 9700361810145219605856184021998681403339087*c_0101_5^14 - 1166832307592883190834119222379617321451843014047120858681/31593675\ 9700361810145219605856184021998681403339087*c_0101_5^13 + 176882155562543235600376655889275559091358377492789320765/315936759\ 700361810145219605856184021998681403339087*c_0101_5^12 - 1204897146626371041605297185810676710311228367860041515186/31593675\ 9700361810145219605856184021998681403339087*c_0101_5^11 + 1121563796839728420085065649296848230278715184406197327699/31593675\ 9700361810145219605856184021998681403339087*c_0101_5^10 + 884195294166724151339048602083744491261334261108428594230/315936759\ 700361810145219605856184021998681403339087*c_0101_5^9 - 314534511643808797913590402897203516213016967427412613294/315936759\ 700361810145219605856184021998681403339087*c_0101_5^8 + 607472261890051846084174433850994170780380231977601010541/315936759\ 700361810145219605856184021998681403339087*c_0101_5^7 - 167004273852324233371268473724183998860521545149372833557/315936759\ 700361810145219605856184021998681403339087*c_0101_5^6 - 248070144130868557044581228734778465002369153418045805381/315936759\ 700361810145219605856184021998681403339087*c_0101_5^5 + 139280652234019256907922133319552082793134676399911543811/315936759\ 700361810145219605856184021998681403339087*c_0101_5^4 - 15447769465194197983918339717300504374919939266651100915/3159367597\ 00361810145219605856184021998681403339087*c_0101_5^3 - 17265968422182829253039882822474559111253783871677600616/3159367597\ 00361810145219605856184021998681403339087*c_0101_5^2 + 8267756709416266114210111870912595158889882254862882315/31593675970\ 0361810145219605856184021998681403339087*c_0101_5 - 989421166270638681096769998560776342798202836049007891/315936759700\ 361810145219605856184021998681403339087, c_0011_0 - 1, c_0011_3 - 549828629251070505603710672912549438831380182332/56246530122\ 905787812928539408257792771707566911*c_0101_5^25 - 7824515656454576338671006408431168883271170712620/56246530122905787\ 812928539408257792771707566911*c_0101_5^24 - 25450527919016389743106550587718273482098841145219/5624653012290578\ 7812928539408257792771707566911*c_0101_5^23 + 89219036450749671254338139652650268996928512531385/5624653012290578\ 7812928539408257792771707566911*c_0101_5^22 + 724825135741067926687358219898909285567348609596228/562465301229057\ 87812928539408257792771707566911*c_0101_5^21 + 1568507728691816448679723734579534224656379072370910/56246530122905\ 787812928539408257792771707566911*c_0101_5^20 + 1359231344703695723713868699396318507540626457399757/56246530122905\ 787812928539408257792771707566911*c_0101_5^19 + 1257837238891355790655959221822070492789171026229289/56246530122905\ 787812928539408257792771707566911*c_0101_5^18 + 1747078873254383077218736958445020828273335971779113/56246530122905\ 787812928539408257792771707566911*c_0101_5^17 - 1802595261341916962980495929542373306576110344354443/56246530122905\ 787812928539408257792771707566911*c_0101_5^16 - 3221128240730609967114428533905630544928221811392095/56246530122905\ 787812928539408257792771707566911*c_0101_5^15 + 3385128559343753037847044372771713358468266243831452/56246530122905\ 787812928539408257792771707566911*c_0101_5^14 + 2963326605466499533748596300409834339803068075736315/56246530122905\ 787812928539408257792771707566911*c_0101_5^13 - 435516256139403923130926540869210987568161171073455/562465301229057\ 87812928539408257792771707566911*c_0101_5^12 + 3058880287063282381419850788947203872461535466142341/56246530122905\ 787812928539408257792771707566911*c_0101_5^11 - 2827967631036153674871793151788270068690745053357626/56246530122905\ 787812928539408257792771707566911*c_0101_5^10 - 2245171476860841276154950389216352887200190513368206/56246530122905\ 787812928539408257792771707566911*c_0101_5^9 + 789217756717629046460715824095438323184999183596880/562465301229057\ 87812928539408257792771707566911*c_0101_5^8 - 1542141495071825194300086159831498876955929165494260/56246530122905\ 787812928539408257792771707566911*c_0101_5^7 + 416493352217584693064240649570383110279608767865564/562465301229057\ 87812928539408257792771707566911*c_0101_5^6 + 627108270894427331966364687092186256552951499131764/562465301229057\ 87812928539408257792771707566911*c_0101_5^5 - 352535410914848168085312531957206047028757982211729/562465301229057\ 87812928539408257792771707566911*c_0101_5^4 + 38752612825697918447410193407521261621009346778865/5624653012290578\ 7812928539408257792771707566911*c_0101_5^3 + 43527691509650935785297149642935230122198370606246/5624653012290578\ 7812928539408257792771707566911*c_0101_5^2 - 20884619679681654766607585774175085030153995188747/5624653012290578\ 7812928539408257792771707566911*c_0101_5 + 2577359630575863024917661571407150668908780781967/56246530122905787\ 812928539408257792771707566911, c_0011_4 - 67440987421942548185371977147883706669131541648556/770577462\ 6838092930371209898931317609723936666807*c_0101_5^25 - 955681839592942534632028358941260481787412950761140/770577462683809\ 2930371209898931317609723936666807*c_0101_5^24 - 3062565583472142731991493719948948456446877755488033/77057746268380\ 92930371209898931317609723936666807*c_0101_5^23 + 11151679526157104457178574927996003960440955104720521/7705774626838\ 092930371209898931317609723936666807*c_0101_5^22 + 88320309136366297986691664324359932034573146181079536/7705774626838\ 092930371209898931317609723936666807*c_0101_5^21 + 186845991278851879151171237471095307248927204949128146/770577462683\ 8092930371209898931317609723936666807*c_0101_5^20 + 153222417452391984841220010970502943712783645661489553/770577462683\ 8092930371209898931317609723936666807*c_0101_5^19 + 139448768974332392492970636075523393997141108055926775/770577462683\ 8092930371209898931317609723936666807*c_0101_5^18 + 199555224824454107079457853588225361086029149184476982/770577462683\ 8092930371209898931317609723936666807*c_0101_5^17 - 239356898231360507066815214869850306367878564464161802/770577462683\ 8092930371209898931317609723936666807*c_0101_5^16 - 388410694959058676428009362967954873410686925936940465/770577462683\ 8092930371209898931317609723936666807*c_0101_5^15 + 440786945169282203809546990918645045213622330899958492/770577462683\ 8092930371209898931317609723936666807*c_0101_5^14 + 347747711784044830786104101753689472850802299985909043/770577462683\ 8092930371209898931317609723936666807*c_0101_5^13 - 80094770799244211307668751194083023936026913186575404/7705774626838\ 092930371209898931317609723936666807*c_0101_5^12 + 368343322894063609347306134755097560405208289529875934/770577462683\ 8092930371209898931317609723936666807*c_0101_5^11 - 372081656530545916701008402798885478766924980709297788/770577462683\ 8092930371209898931317609723936666807*c_0101_5^10 - 263209336730990086251086145278412043012479216482357995/770577462683\ 8092930371209898931317609723936666807*c_0101_5^9 + 116523874507258225212872452069916130679979534905733823/770577462683\ 8092930371209898931317609723936666807*c_0101_5^8 - 187155245091654746122802079575574799529440080434791131/770577462683\ 8092930371209898931317609723936666807*c_0101_5^7 + 63127272653568509305322211777362047414244311040363124/7705774626838\ 092930371209898931317609723936666807*c_0101_5^6 + 78068078649802227783068199881143774650953367802068545/7705774626838\ 092930371209898931317609723936666807*c_0101_5^5 - 47005707817673581889361855023380188468089521980234694/7705774626838\ 092930371209898931317609723936666807*c_0101_5^4 + 5818693265730357803514232664939997005577922504842529/77057746268380\ 92930371209898931317609723936666807*c_0101_5^3 + 5462485736673253122006024017759969634956410796266663/77057746268380\ 92930371209898931317609723936666807*c_0101_5^2 - 2820213726853347543525466809279724248578900347845302/77057746268380\ 92930371209898931317609723936666807*c_0101_5 + 353428211632996485508769006494304914090270234603915/770577462683809\ 2930371209898931317609723936666807, c_0101_0 + 189795574982433462762562414304025478856371249302481/77057746\ 26838092930371209898931317609723936666807*c_0101_5^25 + 2698400513341168932536330089946981715177569704336175/77057746268380\ 92930371209898931317609723936666807*c_0101_5^24 + 8747964767157849382984593423972636886029594379732929/77057746268380\ 92930371209898931317609723936666807*c_0101_5^23 - 30931116481370247525651737283110795665999439137265807/7705774626838\ 092930371209898931317609723936666807*c_0101_5^22 - 249846122518554008114123928386207033961342271414984586/770577462683\ 8092930371209898931317609723936666807*c_0101_5^21 - 537929772389947610294886189243976181155896720249705898/770577462683\ 8092930371209898931317609723936666807*c_0101_5^20 - 460450016469405833405083995464163065572022224122507279/770577462683\ 8092930371209898931317609723936666807*c_0101_5^19 - 424156336212801658364606236254978613389969546877945997/770577462683\ 8092930371209898931317609723936666807*c_0101_5^18 - 592904505364527068890147379791125896053672441358232192/770577462683\ 8092930371209898931317609723936666807*c_0101_5^17 + 634659645181641593192028482815705984118826458885346990/770577462683\ 8092930371209898931317609723936666807*c_0101_5^16 + 1108865205005469832164501950461013820171578206331943763/77057746268\ 38092930371209898931317609723936666807*c_0101_5^15 - 1184531083758888339278694582114033797731691073371916487/77057746268\ 38092930371209898931317609723936666807*c_0101_5^14 - 1014281193865936443994622777881347334651380600511404563/77057746268\ 38092930371209898931317609723936666807*c_0101_5^13 + 167474062391516273986896738322272232970824856154293857/770577462683\ 8092930371209898931317609723936666807*c_0101_5^12 - 1050156042978395766707946537868904085291677850767404134/77057746268\ 38092930371209898931317609723936666807*c_0101_5^11 + 992672659957199272055989682479999686281996083201772134/770577462683\ 8092930371209898931317609723936666807*c_0101_5^10 + 768720225618144310484811180369146348823283721828744406/770577462683\ 8092930371209898931317609723936666807*c_0101_5^9 - 284911041245552641930684764163354929482911005554742339/770577462683\ 8092930371209898931317609723936666807*c_0101_5^8 + 530056352055663349574255902674545840687876190328565601/770577462683\ 8092930371209898931317609723936666807*c_0101_5^7 - 151699791457199699519806825535547200416276359646009827/770577462683\ 8092930371209898931317609723936666807*c_0101_5^6 - 217885944101977368212864067206964146180991704611386584/770577462683\ 8092930371209898931317609723936666807*c_0101_5^5 + 123719235746130833691505086811524151747517438553386069/770577462683\ 8092930371209898931317609723936666807*c_0101_5^4 - 13926598338330668757481167080193702044733390016583838/7705774626838\ 092930371209898931317609723936666807*c_0101_5^3 - 15140631656598432285020640745063159137776429794490467/7705774626838\ 092930371209898931317609723936666807*c_0101_5^2 + 7357925099285614845704322274426691824134627391676374/77057746268380\ 92930371209898931317609723936666807*c_0101_5 - 893685812327859972432040857967562441256763676206554/770577462683809\ 2930371209898931317609723936666807, c_0101_1 - 24340542208295376477386593817811532391692126553407/770577462\ 6838092930371209898931317609723936666807*c_0101_5^25 - 348481248323246485149251990314414715816792192431198/770577462683809\ 2930371209898931317609723936666807*c_0101_5^24 - 1157258601068424574574266764825634111318716614186490/77057746268380\ 92930371209898931317609723936666807*c_0101_5^23 + 3841561128637188293774376055408180497001313770881294/77057746268380\ 92930371209898931317609723936666807*c_0101_5^22 + 32388512259406176985101150227921072048186615889730866/7705774626838\ 092930371209898931317609723936666807*c_0101_5^21 + 72309865555341263029937992136083780398993389961200658/7705774626838\ 092930371209898931317609723936666807*c_0101_5^20 + 67191426325650876431577327697895781189154997625609162/7705774626838\ 092930371209898931317609723936666807*c_0101_5^19 + 63384900500100075257993217929036122050911527973225511/7705774626838\ 092930371209898931317609723936666807*c_0101_5^18 + 84874113712816282366601669410541479137915010686027798/7705774626838\ 092930371209898931317609723936666807*c_0101_5^17 - 70443409269552055622595589520113580123039674948400994/7705774626838\ 092930371209898931317609723936666807*c_0101_5^16 - 146122627061519102178178670315124187917964533846813308/770577462683\ 8092930371209898931317609723936666807*c_0101_5^15 + 136209253377524293341424865261301091297491146762395128/770577462683\ 8092930371209898931317609723936666807*c_0101_5^14 + 139234134365737055234687383959709403576980757558467929/770577462683\ 8092930371209898931317609723936666807*c_0101_5^13 - 4972351511330037164229998727869529072564385295617707/77057746268380\ 92930371209898931317609723936666807*c_0101_5^12 + 138743934063971665478704408542163481658246006622353238/770577462683\ 8092930371209898931317609723936666807*c_0101_5^11 - 112319205177975342482659206517283446954449577251133218/770577462683\ 8092930371209898931317609723936666807*c_0101_5^10 - 105480437447060266177178482191821744813188172595626228/770577462683\ 8092930371209898931317609723936666807*c_0101_5^9 + 23949127452578729560636586295943716561224457749446139/7705774626838\ 092930371209898931317609723936666807*c_0101_5^8 - 68998110018869148474445644559466751350575101384558718/7705774626838\ 092930371209898931317609723936666807*c_0101_5^7 + 12214770326672388123915254432474232243849480376320651/7705774626838\ 092930371209898931317609723936666807*c_0101_5^6 + 27106941938319962473293711841766282973557262452853293/7705774626838\ 092930371209898931317609723936666807*c_0101_5^5 - 13352942265968458416720459580139086996204112829931464/7705774626838\ 092930371209898931317609723936666807*c_0101_5^4 + 1112233239873963359547699674511891090692000239704454/77057746268380\ 92930371209898931317609723936666807*c_0101_5^3 + 1893105845129150082135581615746408475400640284187144/77057746268380\ 92930371209898931317609723936666807*c_0101_5^2 - 775839068097789045011613463235159292924552288476709/770577462683809\ 2930371209898931317609723936666807*c_0101_5 + 80229895718479127259355787217183689731298355139178/7705774626838092\ 930371209898931317609723936666807, c_0101_4 + 110044058051828211505959625030316857550854227765155/77057746\ 26838092930371209898931317609723936666807*c_0101_5^25 + 1563716442814219245372077469278191422924339957732131/77057746268380\ 92930371209898931317609723936666807*c_0101_5^24 + 5060129494386559658772891389241675155650055085402297/77057746268380\ 92930371209898931317609723936666807*c_0101_5^23 - 17975633341824317478301602740687345671551229975173121/7705774626838\ 092930371209898931317609723936666807*c_0101_5^22 - 144741158298599144176370724834147870625464777540516624/770577462683\ 8092930371209898931317609723936666807*c_0101_5^21 - 310776928314908253530705970312031187780722905140672372/770577462683\ 8092930371209898931317609723936666807*c_0101_5^20 - 264282044163977056726928669681241924601568744584814514/770577462683\ 8092930371209898931317609723936666807*c_0101_5^19 - 242985590112687582712332433632083795663343555955505289/770577462683\ 8092930371209898931317609723936666807*c_0101_5^18 - 340764423625381214876483324987455741928399357987348174/770577462683\ 8092930371209898931317609723936666807*c_0101_5^17 + 371685119835613255597020735687025921735469048976375928/770577462683\ 8092930371209898931317609723936666807*c_0101_5^16 + 641547897143154403091282703820828459729238348475494102/770577462683\ 8092930371209898931317609723936666807*c_0101_5^15 - 691662746461798456770008637667595001474027323698812113/770577462683\ 8092930371209898931317609723936666807*c_0101_5^14 - 584767537277980781785226580891361432944975040380010849/770577462683\ 8092930371209898931317609723936666807*c_0101_5^13 + 102059093620337758548494014987617558109425226345851418/770577462683\ 8092930371209898931317609723936666807*c_0101_5^12 - 607414673633919756024390783105325052029271875889267347/770577462683\ 8092930371209898931317609723936666807*c_0101_5^11 + 580812188873081430945776844215239562848707812451279456/770577462683\ 8092930371209898931317609723936666807*c_0101_5^10 + 442983261753362474723158186079077593883628779307771535/770577462683\ 8092930371209898931317609723936666807*c_0101_5^9 - 168608557744896107770783891201208821077319116132075235/770577462683\ 8092930371209898931317609723936666807*c_0101_5^8 + 306794401814688503540507100202281006195490906688250093/770577462683\ 8092930371209898931317609723936666807*c_0101_5^7 - 90466107091833805178733798452632003361853710642669300/7705774626838\ 092930371209898931317609723936666807*c_0101_5^6 - 126435378020059304730868878098396507793195198990381749/770577462683\ 8092930371209898931317609723936666807*c_0101_5^5 + 72303531894442378009590652061903126403776252098580912/7705774626838\ 092930371209898931317609723936666807*c_0101_5^4 - 8268429066862629571853184036729184683395536266318323/77057746268380\ 92930371209898931317609723936666807*c_0101_5^3 - 8783667057774331805120577578518634866006010375640271/77057746268380\ 92930371209898931317609723936666807*c_0101_5^2 + 4299878667687029005408392550594416844509468489382715/77057746268380\ 92930371209898931317609723936666807*c_0101_5 - 522912838072544026159735281200709376103926814756774/770577462683809\ 2930371209898931317609723936666807, c_0101_5^26 + 14*c_0101_5^25 + 43*c_0101_5^24 - 173*c_0101_5^23 - 1281*c_0101_5^22 - 2548*c_0101_5^21 - 1809*c_0101_5^20 - 1705*c_0101_5^19 - 2635*c_0101_5^18 + 4026*c_0101_5^17 + 5119*c_0101_5^16 - 7511*c_0101_5^15 - 3992*c_0101_5^14 + 2045*c_0101_5^13 - 5719*c_0101_5^12 + 6435*c_0101_5^11 + 2917*c_0101_5^10 - 2381*c_0101_5^9 + 3114*c_0101_5^8 - 1407*c_0101_5^7 - 976*c_0101_5^6 + 900*c_0101_5^5 - 214*c_0101_5^4 - 64*c_0101_5^3 + 56*c_0101_5^2 - 13*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB