Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3330759201] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0809 geometric_solution 4.74393269 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 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.393478912087 0.181349597150 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.109560309157 0.180340708774 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971464801555 0.342119159876 2 4 5 4 0132 0321 0132 2031 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 -1 0 1 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671257741454 0.685444878503 5 3 2 3 1023 1302 0132 0321 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 -1 1 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.671257741454 0.685444878503 6 4 6 3 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524082481935 0.979032581768 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488518638143 0.143480212416 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 3638076442248167893506131660359537500865544771291478916550533819/89\ 310129260554814329803068279241015290817644391412582774608923*c_0101\ _5^28 + 34817671540241222739548533172547993237960447409760743119812\ 868431/893101292605548143298030682792410152908176443914125827746089\ 23*c_0101_5^27 - 80884887031535677348207738079821507540255995295265\ 705830309645200/893101292605548143298030682792410152908176443914125\ 82774608923*c_0101_5^26 - 20120721024661454553319780088873546727583\ 6861067695819878769349402/89310129260554814329803068279241015290817\ 644391412582774608923*c_0101_5^25 + 927819376875556376665570441124113894504491607752569660886971001109/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^24 + 861411231704171604751131776450849922538150267460714895685\ 837063788/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^23 - 65270979378468624297277221167297734650761903965\ 99928138641266359675/8931012926055481432980306827924101529081764439\ 1412582774608923*c_0101_5^22 - 687542294759943021510811628684132666\ 001114071500751941229699517100/893101292605548143298030682792410152\ 90817644391412582774608923*c_0101_5^21 + 3422850550034041687391889179669387414813970668219696613647234396455\ 4/89310129260554814329803068279241015290817644391412582774608923*c_\ 0101_5^20 - 1797255123607210727839076952790309621836219100238043177\ 9634980493932/89310129260554814329803068279241015290817644391412582\ 774608923*c_0101_5^19 - 9656548567838747054054726468880996993968212\ 2265860138474905345960642/89310129260554814329803068279241015290817\ 644391412582774608923*c_0101_5^18 + 5831487502758600677342034378175215614306420496653720483061074869512\ 3/89310129260554814329803068279241015290817644391412582774608923*c_\ 0101_5^17 + 1653340601090750691585640081602131820082081230478718892\ 43337585084652/8931012926055481432980306827924101529081764439141258\ 2774608923*c_0101_5^16 - 591537475316251940137434128374617928127196\ 54252421194114573990895107/8931012926055481432980306827924101529081\ 7644391412582774608923*c_0101_5^15 - 2329493230500460924693750800177225971224943837316536615230215314471\ 81/89310129260554814329803068279241015290817644391412582774608923*c\ _0101_5^14 + 616140184444792056718633506516585173092707861376355934\ 79585466467983/8931012926055481432980306827924101529081764439141258\ 2774608923*c_0101_5^13 + 246602053716431601074505261532824214925193\ 062106405314231904186682955/893101292605548143298030682792410152908\ 17644391412582774608923*c_0101_5^12 - 1431095852992637177474525160111485226681715035760316597875141643939\ 01/89310129260554814329803068279241015290817644391412582774608923*c\ _0101_5^11 - 106143352463104226313670353719561668518351425338079980\ 554800973984447/893101292605548143298030682792410152908176443914125\ 82774608923*c_0101_5^10 + 14509453028462389253257236720469850088534\ 2122511731085378666361826219/89310129260554814329803068279241015290\ 817644391412582774608923*c_0101_5^9 - 2214287625448936414816909293758737693053579910975373472177502261253\ 3/89310129260554814329803068279241015290817644391412582774608923*c_\ 0101_5^8 - 54665064707979442949541088291778479638980508449936660016\ 552439338115/893101292605548143298030682792410152908176443914125827\ 74608923*c_0101_5^7 + 258562914880716302104187288055404245668705319\ 53200912006492532516044/8931012926055481432980306827924101529081764\ 4391412582774608923*c_0101_5^6 + 7892254817802012051402631477942870\ 812029382550174997792515693909876/893101292605548143298030682792410\ 15290817644391412582774608923*c_0101_5^5 - 5480700347695101036643166220967919379015620301925367204377426981580\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^4 - 693495030549648896612682010531626934002435500880726547031\ 295393233/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^3 + 465658788608380937595002901945079745289245407642\ 702064134384794585/893101292605548143298030682792410152908176443914\ 12582774608923*c_0101_5^2 + 428817247622375379133859293256218402784\ 59547087619027172255561543/8931012926055481432980306827924101529081\ 7644391412582774608923*c_0101_5 - 664817742748835313970972016371727\ 5049955313617659796526449074986/89310129260554814329803068279241015\ 290817644391412582774608923, c_0011_0 - 1, c_0011_1 - 982447614668117452458498425360720711783595450746814428430108\ 47/89310129260554814329803068279241015290817644391412582774608923*c\ _0101_5^28 + 899379850159042603524606063610000841138754058078052342\ 912620708/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^27 - 18189791184196606854652110175297233325620917808\ 70239861841137292/8931012926055481432980306827924101529081764439141\ 2582774608923*c_0101_5^26 - 611394136210694528789663636714600098665\ 3350385790818856171271992/89310129260554814329803068279241015290817\ 644391412582774608923*c_0101_5^25 + 22386941169120390172853212722853785969930641351717598111328981942/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^24 + 3195793733694691421942627781765555367844040320715242281955\ 0342134/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^23 - 1612289924000081424230667849696126869290558791017\ 07278154016850975/8931012926055481432980306827924101529081764439141\ 2582774608923*c_0101_5^22 - 819109330242246067279705553382039007561\ 21481039901126729409612297/8931012926055481432980306827924101529081\ 7644391412582774608923*c_0101_5^21 + 877278428874964256795180510347289796366344375939380633758942761534/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^20 - 134003905446833084806328010364024296870804170916139019016\ 694279006/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^19 - 25892702520541270430973458731789374627779883300\ 71104863555852779524/8931012926055481432980306827924101529081764439\ 1412582774608923*c_0101_5^18 + 520003001965594387505081121081990632\ 076874337234830968068453687339/893101292605548143298030682792410152\ 90817644391412582774608923*c_0101_5^17 + 4449030382081485903573323005238159669254213769215817409811493965019\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^16 + 19989922279114950420027472901046447951901829519119973792\ 4884714337/89310129260554814329803068279241015290817644391412582774\ 608923*c_0101_5^15 - 5804998830613574784209299839934909751306255153\ 189654677804995207111/893101292605548143298030682792410152908176443\ 91412582774608923*c_0101_5^14 - 56718108139181817182539526789740909\ 6662504813722424006997546548559/89310129260554814329803068279241015\ 290817644391412582774608923*c_0101_5^13 + 5941220890639349084109900530080289827594910443326173888086382480435\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^12 - 16512131837520518515028145338296296818676361686745775719\ 69377191813/8931012926055481432980306827924101529081764439141258277\ 4608923*c_0101_5^11 - 307342050441712329926229774221952454101379852\ 0372446456538993313462/89310129260554814329803068279241015290817644\ 391412582774608923*c_0101_5^10 + 2696412881276256164742657617580738\ 434712644647509867817402826166646/893101292605548143298030682792410\ 15290817644391412582774608923*c_0101_5^9 + 210207685416414860478027104000285414435119575221462191395557727847/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^8 - 1249077222361047356005843705074781953457897172071391872267\ 394632205/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^7 + 276743453516939961926146631722520912148733616886\ 435048269269660021/893101292605548143298030682792410152908176443914\ 12582774608923*c_0101_5^6 + 228980194504289100447055416293778105143\ 828218474482893682668280550/893101292605548143298030682792410152908\ 17644391412582774608923*c_0101_5^5 - 63684960218882304690224055072682529994966403273074157359086961902/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^4 - 21328174636025200924675529205986036604721295160916884487176\ 901426/893101292605548143298030682792410152908176443914125827746089\ 23*c_0101_5^3 + 464550241917321963470935512197835632351053593755678\ 7084724448924/89310129260554814329803068279241015290817644391412582\ 774608923*c_0101_5^2 + 78810603563390832461668944139027303097726996\ 3285276832997698746/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5 - 1155186925209427743321689415589470456008\ 27314385127776959247312/8931012926055481432980306827924101529081764\ 4391412582774608923, c_0011_4 + 478978698632344662725585240703253946614617553539856099590640\ 45/89310129260554814329803068279241015290817644391412582774608923*c\ _0101_5^28 - 438371600223126305530004513840755741199815969834738844\ 334121507/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^27 + 88543699295430558332913668477077370344132506791\ 2634406038317033/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^26 + 2985422084063879448063196450734031824182\ 844505665959269539987934/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^25 - 10906689083754348520964089096953147339748953766150394791625616133/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^24 - 1564581257846063265480882928711654160461461975609468217615\ 7314938/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^23 + 7860344628655830113905056738262814126227138276960\ 0594220210119516/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^22 + 4043362599989068278856872222456260566758\ 5341105293110276630782096/89310129260554814329803068279241015290817\ 644391412582774608923*c_0101_5^21 - 427960719588724094823174712690120378866727966977519634643001036827/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^20 + 626548362127036817283660606195074521892717310412949775520\ 64820813/8931012926055481432980306827924101529081764439141258277460\ 8923*c_0101_5^19 + 126520815316212622224005250834566736398594601932\ 0042593094833496074/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^18 - 2437056322681854217154563000496866414\ 28210319381392614494340863245/8931012926055481432980306827924101529\ 0817644391412582774608923*c_0101_5^17 - 2180730968811977134135377416332395990600226529489741705296232962898\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^16 - 12144338713763861041475964378193547807755555112551904493\ 0295662219/89310129260554814329803068279241015290817644391412582774\ 608923*c_0101_5^15 + 2850146292569142718928314369190318247547184146\ 290458847377882175485/893101292605548143298030682792410152908176443\ 91412582774608923*c_0101_5^14 + 31706586482079269949765513849772896\ 3883244091929075500725948460082/89310129260554814329803068279241015\ 290817644391412582774608923*c_0101_5^13 - 2912992847301007646077592063437717986067015262497580833581652709005\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^12 + 75598687505490364863879664542561743769271086549949058662\ 2998371342/89310129260554814329803068279241015290817644391412582774\ 608923*c_0101_5^11 + 1516536912341252965274036226036774480956838844\ 817540917494737321383/893101292605548143298030682792410152908176443\ 91412582774608923*c_0101_5^10 - 12796856671717749549309312187413877\ 33693535477924592432978701404202/8931012926055481432980306827924101\ 5290817644391412582774608923*c_0101_5^9 - 131719234746209016282687874205286433870981459077981255440433295848/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^8 + 6056782935723372392684040317756322921179547066346851865575\ 17207503/8931012926055481432980306827924101529081764439141258277460\ 8923*c_0101_5^7 - 1140553357847245434022780956089388669182566203399\ 60222564608578092/8931012926055481432980306827924101529081764439141\ 2582774608923*c_0101_5^6 - 1200457102470623103252226246185867141020\ 29749929820747659293006801/8931012926055481432980306827924101529081\ 7644391412582774608923*c_0101_5^5 + 27157929245517961275349456508566209099216663273186662736297980887/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^4 + 13232263336648638148516082660332901849125235726934296815777\ 837877/893101292605548143298030682792410152908176443914125827746089\ 23*c_0101_5^3 - 268548802345086080974536098126695458643214170314336\ 0440870194477/89310129260554814329803068279241015290817644391412582\ 774608923*c_0101_5^2 - 55266714930421519649614686170697719871393939\ 2333786002211359113/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5 + 1377647256206996437164928319634368960460\ 52467365154981208447713/8931012926055481432980306827924101529081764\ 4391412582774608923, c_0101_0 - 355603768910823649504171733992079706555665132807330479764548\ 01/89310129260554814329803068279241015290817644391412582774608923*c\ _0101_5^28 + 335579515778383423911227346322181710665023334827474796\ 089774848/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^27 - 75689462235044313040499574195715957168377242368\ 5061056061809918/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^26 - 1967228207013328560222630180064812736137\ 777662064154579526767742/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^25 + 8608507284823466548715077861044764878517922729571693937776656816/89\ 310129260554814329803068279241015290817644391412582774608923*c_0101\ _5^24 + 88713752154490419696457665959553017185308316998912937209194\ 60293/8931012926055481432980306827924101529081764439141258277460892\ 3*c_0101_5^23 - 601601681907773411330636428904981946236668445468094\ 67831635843279/8931012926055481432980306827924101529081764439141258\ 2774608923*c_0101_5^22 - 110071265531570406309320209925465818020667\ 03017915380536866418544/8931012926055481432980306827924101529081764\ 4391412582774608923*c_0101_5^21 + 315390105924769923050010777131744\ 027749282469662435010506147348289/893101292605548143298030682792410\ 15290817644391412582774608923*c_0101_5^20 - 143914108045853203825876184214486111011660663703657257515561801827/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^19 - 866257349103743275044206944895799469134050045196497359197\ 976472199/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^18 + 44601640001794063431786670558161273381685658862\ 8952052314777847003/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^17 + 1389902622362486469719640887409403440\ 539631632765278759065775944190/893101292605548143298030682792410152\ 90817644391412582774608923*c_0101_5^16 - 356465077085695634570163213444593003936774801805896992320662745190/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^15 - 184036318744460204178032482679861671902044688854790146895\ 3923036477/89310129260554814329803068279241015290817644391412582774\ 608923*c_0101_5^14 + 4182292276846814827162811124345089990536464332\ 40543125359439851340/8931012926055481432980306827924101529081764439\ 1412582774608923*c_0101_5^13 + 185016556334559432292019487808696993\ 3664936856275989950390401283184/89310129260554814329803068279241015\ 290817644391412582774608923*c_0101_5^12 - 1258239860729143535972809362639880713174385851328623084292849761810\ /89310129260554814329803068279241015290817644391412582774608923*c_0\ 101_5^11 - 58548853641380872057171002172257771561301073317122687955\ 6318311657/89310129260554814329803068279241015290817644391412582774\ 608923*c_0101_5^10 + 1194175372534231749392431854120907149514635682\ 304908897288958014677/893101292605548143298030682792410152908176443\ 91412582774608923*c_0101_5^9 - 372435467350235420845486151231838411\ 408098824424011626514240280565/893101292605548143298030682792410152\ 90817644391412582774608923*c_0101_5^8 - 314974624492747220843958317903419379274452420063443749311325840037/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^7 + 2330781271651319814911329233009239541200848291293988991783\ 33084215/8931012926055481432980306827924101529081764439141258277460\ 8923*c_0101_5^6 - 1137547651608088368338855348836332874224697347787\ 7140050810568826/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^5 - 32074472642355092508101155234336278030306\ 857124528971141045614192/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^4 + 849358171016956184014646370600479\ 8987476136102859273597655441131/89310129260554814329803068279241015\ 290817644391412582774608923*c_0101_5^3 + 1834561230535562144575700562905791177171669588289268877081796765/89\ 310129260554814329803068279241015290817644391412582774608923*c_0101\ _5^2 - 734930672663175430232010731030458477656405545860108270325444\ 162/89310129260554814329803068279241015290817644391412582774608923*\ c_0101_5 - 54008783048442054533688199382497624173005820179435132459\ 527697/893101292605548143298030682792410152908176443914125827746089\ 23, c_0101_2 + 618769896247878300093060395307121252418512710247784268791863\ 4/89310129260554814329803068279241015290817644391412582774608923*c_\ 0101_5^28 - 5446822873248498941191034526449769113279901726085339898\ 8007660/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^27 + 8441854709858847366489094986400656762528697534447\ 6396505270158/89310129260554814329803068279241015290817644391412582\ 774608923*c_0101_5^26 + 5181550296175136156755627083660038755277989\ 58948584947182436148/8931012926055481432980306827924101529081764439\ 1412582774608923*c_0101_5^25 - 145797838290392418766250839827751533\ 3129341146611876367660080219/89310129260554814329803068279241015290\ 817644391412582774608923*c_0101_5^24 - 3148184799479173070077203627667741481627202162409662807727009505/89\ 310129260554814329803068279241015290817644391412582774608923*c_0101\ _5^23 + 11709235506232884920397190298452402390802420532129733335808\ 451746/893101292605548143298030682792410152908176443914125827746089\ 23*c_0101_5^22 + 12148893182202559538227494673109005474523173740363\ 958890777752773/893101292605548143298030682792410152908176443914125\ 82774608923*c_0101_5^21 - 69720883091896285618356484223090785391935\ 395375349046419518476092/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^20 - 20305936589446382420120372040513480610907160577569107200089635713/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^19 + 2549029365193249260433799864999916512442435997449282832631\ 37724625/8931012926055481432980306827924101529081764439141258277460\ 8923*c_0101_5^18 + 159397368877996222602726925641399007157466160508\ 35638480063496588/8931012926055481432980306827924101529081764439141\ 2582774608923*c_0101_5^17 - 552268727045747064339839672853478123493\ 202665704526117673074883509/893101292605548143298030682792410152908\ 17644391412582774608923*c_0101_5^16 - 75704664817577056553257172817265825062090517883170446298703490537/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^15 + 7986865435923599292582891980027408934738152805384481446119\ 24289902/8931012926055481432980306827924101529081764439141258277460\ 8923*c_0101_5^14 + 216616284924831860215881255801310340157094014248\ 196236070460496948/893101292605548143298030682792410152908176443914\ 12582774608923*c_0101_5^13 - 91522467786762994677209964132370329902\ 0111871280449738466528632703/89310129260554814329803068279241015290\ 817644391412582774608923*c_0101_5^12 - 114128820545491362699616513947258962538386434330843885639932406136/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^11 + 785454652332612013136410189671699577349513984296892359340\ 497797893/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^10 - 25053457012865672376178116423949332728952341011\ 8266412395906515988/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^9 - 34841439451640016651144702781810514334\ 8157554936543504158944255040/89310129260554814329803068279241015290\ 817644391412582774608923*c_0101_5^8 + 326238830057888878842753589931760143267325201722276864020502427525/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^7 + 2148378634472047435540239463620105519430639793326871357322\ 8843569/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^6 - 12722932712281766653798132296897544719041576919525\ 1146237419624017/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^5 + 24006167677435185672835201762077204604979\ 873255140775285405762245/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^4 + 180796661244834353528152333312637\ 56497606592608782133065775498646/8931012926055481432980306827924101\ 5290817644391412582774608923*c_0101_5^3 - 4179568356299799915956152352401651948780083484881952552176072976/89\ 310129260554814329803068279241015290817644391412582774608923*c_0101\ _5^2 - 102650060783413982959885404898744451583007584405704389576001\ 7473/89310129260554814329803068279241015290817644391412582774608923\ *c_0101_5 + 1590027877634375667906673304015176891293828136611772650\ 10575367/8931012926055481432980306827924101529081764439141258277460\ 8923, c_0101_3 + 137738526122927892564409724573923310118064786391976202245414\ 5/89310129260554814329803068279241015290817644391412582774608923*c_\ 0101_5^28 - 1569266107434824222376503093651992617922338394825233640\ 4752196/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^27 + 5108943829955255569971254324526898613911243022975\ 3029959271242/89310129260554814329803068279241015290817644391412582\ 774608923*c_0101_5^26 + 5118662732797677509752130367303913049459358\ 5819469980673880651/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^25 - 5408651024187178684954333018486899229\ 44094599224500990728316485/8931012926055481432980306827924101529081\ 7644391412582774608923*c_0101_5^24 + 68472346973036964579906813307097206181386261440811710951539564/8931\ 0129260554814329803068279241015290817644391412582774608923*c_0101_5\ ^23 + 3753841673345476830930671444468404604606417798003875396009851\ 978/89310129260554814329803068279241015290817644391412582774608923*\ c_0101_5^22 - 27560806320921452956821442503016216278317571184400976\ 93042102660/8931012926055481432980306827924101529081764439141258277\ 4608923*c_0101_5^21 - 185160908526762499472976687615868226576242444\ 78869029165562271709/8931012926055481432980306827924101529081764439\ 1412582774608923*c_0101_5^20 + 250214678489336618112316237194077548\ 39934495691654051872097408512/8931012926055481432980306827924101529\ 0817644391412582774608923*c_0101_5^19 + 53096618232826610361144704284205990050594822202734266985613909097/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^18 - 7962643754033752179905612329836347939740291941688185904650\ 8641794/89310129260554814329803068279241015290817644391412582774608\ 923*c_0101_5^17 - 1105805101919022371027571885020472639046663559956\ 63059207132279451/8931012926055481432980306827924101529081764439141\ 2582774608923*c_0101_5^16 + 113058222115050823805574822572885216504\ 150293782449697361562813777/893101292605548143298030682792410152908\ 17644391412582774608923*c_0101_5^15 + 193170181865051096491018369840140674314499168618857999554067393285/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^14 - 109017032674830141847092945754065407189844624804875274618\ 304463305/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^13 - 21750689728858410806142619030885930658635420495\ 7885694126066718128/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^12 + 1304458273010827297798384341743243947\ 59918323012743368605047014573/8931012926055481432980306827924101529\ 0817644391412582774608923*c_0101_5^11 + 104209834765365867437227401531009432921532625124793193034351921931/\ 89310129260554814329803068279241015290817644391412582774608923*c_01\ 01_5^10 - 118958337490216787829651546577565114808639210890731860173\ 372419914/893101292605548143298030682792410152908176443914125827746\ 08923*c_0101_5^9 + 667242815325306349598117004411584578590795557459\ 7381475418170485/89310129260554814329803068279241015290817644391412\ 582774608923*c_0101_5^8 + 60815582525697265253267012471808497901464\ 897223078400731398916677/893101292605548143298030682792410152908176\ 44391412582774608923*c_0101_5^7 - 178323943950810982025794131620596\ 41036500749744374619937276074972/8931012926055481432980306827924101\ 5290817644391412582774608923*c_0101_5^6 - 17654859163135561635869414240492721880092434061553438633959577109/8\ 9310129260554814329803068279241015290817644391412582774608923*c_010\ 1_5^5 + 58892610320072853938009537988858096414696357242783012298683\ 23864/8931012926055481432980306827924101529081764439141258277460892\ 3*c_0101_5^4 + 3108107993163200215316243391613587249656706588462870\ 500668945056/893101292605548143298030682792410152908176443914125827\ 74608923*c_0101_5^3 - 136585780587097239772655645085083542828568625\ 2178743079421510087/89310129260554814329803068279241015290817644391\ 412582774608923*c_0101_5^2 - 24755496063824665461639244732857891217\ 3837922389710454127362974/89310129260554814329803068279241015290817\ 644391412582774608923*c_0101_5 + 1146642886070034423555995286416430\ 91864599679832483565039997084/8931012926055481432980306827924101529\ 0817644391412582774608923, c_0101_5^29 - 9*c_0101_5^28 + 17*c_0101_5^27 + 66*c_0101_5^26 - 220*c_0101_5^25 - 367*c_0101_5^24 + 1613*c_0101_5^23 + 1123*c_0101_5^22 - 8962*c_0101_5^21 - 121*c_0101_5^20 + 27456*c_0101_5^19 - 1242*c_0101_5^18 - 48785*c_0101_5^17 - 8842*c_0101_5^16 + 63436*c_0101_5^15 + 15712*c_0101_5^14 - 65555*c_0101_5^13 + 6061*c_0101_5^12 + 39929*c_0101_5^11 - 23460*c_0101_5^10 - 9765*c_0101_5^9 + 14724*c_0101_5^8 - 277*c_0101_5^7 - 4023*c_0101_5^6 + 402*c_0101_5^5 + 585*c_0101_5^4 - 44*c_0101_5^3 - 42*c_0101_5^2 + c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB