Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3431813163] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0808 geometric_solution 4.74340340 oriented_manifold CS_known 0.0000000000000002 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 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.724036543629 0.136421074632 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.744229832981 0.696968564393 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 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 0 -1 0 1 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.016997481889 0.321583200181 2 4 5 4 0132 2310 0132 0321 0 0 0 0 0 0 0 0 -1 0 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 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.572066010900 1.119423851090 5 3 2 3 1023 0321 0132 3201 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 -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.572066010900 1.119423851090 6 4 6 3 0132 1023 2310 0132 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 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 1.370700852392 0.512806520867 5 5 6 6 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516542165510 0.444279785417 ==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_5'], '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' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0011_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_0101_0, c_0101_3, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 3043077324275905071619977602626591587468614405657077993748439618647\ 266231051/652079201049892988402288073715326755665212222113314433418\ 863027545461245275*c_0110_4^28 + 1522025359768234906305205826715432\ 2548838168675367717222191519742583478992634/65207920104989298840228\ 8073715326755665212222113314433418863027545461245275*c_0110_4^27 + 2591930186716555308223621858252955278291921089839607080308894212861\ 7541633751/65207920104989298840228807371532675566521222211331443341\ 8863027545461245275*c_0110_4^26 - 144138629276799977383950873382658\ 557228243909083945625150002700895384496113306/652079201049892988402\ 288073715326755665212222113314433418863027545461245275*c_0110_4^25 + 1291982435707164520754380295119372567592119992612454768089712357233\ 917892300693/652079201049892988402288073715326755665212222113314433\ 418863027545461245275*c_0110_4^24 - 1516081735170564113800887954324859726196588185237966454805668217828\ 90914829901/2608316804199571953609152294861307022660848888453257733\ 6754521101818449811*c_0110_4^23 + 102114987722110355258079754287471\ 75354393627168076716337491777136285107885151884/6520792010498929884\ 02288073715326755665212222113314433418863027545461245275*c_0110_4^2\ 2 - 916301958707913404709623595679544072300324378762616059762312106\ 950023160886121/931541715785561412003268676736181079521731745876163\ 47631266146792208749325*c_0110_4^21 - 3596055454182770542811190739688680819262950721657943917176920395994\ 7138029427774/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^20 + 1215816883965535635976369708529685273553983531832561621097778573931\ 6330003427814/13041584020997859768045761474306535113304244442266288\ 6683772605509092249055*c_0110_4^19 - 6225008085044109091062915077983241638545516591505712031359741335198\ 7798343695907/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^18 + 1136322346387050180802920655681669058889707968576446772443412204764\ 41186992589393/6520792010498929884022880737153267556652122221133144\ 33418863027545461245275*c_0110_4^17 - 9889752607716009997611371455093148288376661499588048513494023757417\ 3128775633823/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^16 - 5456604802385375089116529824491172225165252317360796148591699436766\ 6918327155512/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^15 + 3395124474573734442797467371178013106210826965201407887838660695927\ 0207239589449/93154171578556141200326867673618107952173174587616347\ 631266146792208749325*c_0110_4^14 - 2489648180318860814896889650641793689905469169945916556743061562864\ 60479613588448/6520792010498929884022880737153267556652122221133144\ 33418863027545461245275*c_0110_4^13 + 5969576056213935814207728918464935961250433277964432887402996577681\ 4609549823772/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^12 + 8534053897268862947585635970048524264878534520472332136994634571038\ 562498439809/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^11 - 1660185373915687596341160938326271583230903891903237735558918644266\ 0996811585094/13041584020997859768045761474306535113304244442266288\ 6683772605509092249055*c_0110_4^10 + 7859020074859537654184473206770871381050121360346480763940541948766\ 4875173271714/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^9 - 4135691677635339222299480487095197989751053988056874214766652826855\ 682361010711/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^8 - 201514362063028732830060689924920\ 46440748686373888103271375379654631079550793101/6520792010498929884\ 02288073715326755665212222113314433418863027545461245275*c_0110_4^7 + 44104499453883579726352766030174052267812156156912553556625355876\ 503796502838224/652079201049892988402288073715326755665212222113314\ 433418863027545461245275*c_0110_4^6 - 1040947974978861449363277974771398185743018545154132440632540185566\ 1633182814119/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^5 - 2083753150196617284640658434221067131079514183506494115927063126770\ 1709121971906/65207920104989298840228807371532675566521222211331443\ 3418863027545461245275*c_0110_4^4 + 5365235612664791925794524377059287938079099510036444552276347918353\ 665013610546/652079201049892988402288073715326755665212222113314433\ 418863027545461245275*c_0110_4^3 + 3902972708018792357377715397384430606848079830268926940430198266402\ 544099805319/652079201049892988402288073715326755665212222113314433\ 418863027545461245275*c_0110_4^2 - 5090902560591932214577867141949467531230760726401441560041176588775\ 91986587388/6520792010498929884022880737153267556652122221133144334\ 18863027545461245275*c_0110_4 - 17254764090267592785698373949792222\ 8095315239111199717472040855023648054007833/65207920104989298840228\ 8073715326755665212222113314433418863027545461245275, c_0011_0 - 1, c_0011_1 + 127897800748831505665282963657883997671784087190375617120298\ 9251335425916/18630834315711228240065373534723621590434634917523269\ 526253229358441749865*c_0110_4^28 - 7266607791705972453245186935650749648529036796797101216909343984447\ 494302/186308343157112282400653735347236215904346349175232695262532\ 29358441749865*c_0110_4^27 - 11839698372199761588997725955252104950\ 35979967111762181014059892415606625/3726166863142245648013074706944\ 724318086926983504653905250645871688349973*c_0110_4^26 + 6454485490633280349282828811149185785541195278798464287470982127669\ 3312126/18630834315711228240065373534723621590434634917523269526253\ 229358441749865*c_0110_4^25 - 5877885279288997363846599399376034499\ 45575434231172931229659056556718106326/1863083431571122824006537353\ 4723621590434634917523269526253229358441749865*c_0110_4^24 + 1993836785398390659536525133035202438512177711300337678712869694794\ 411488628/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^23 - 56558533981951395851681168425277232\ 72218238050069427062022185227029224206293/1863083431571122824006537\ 3534723621590434634917523269526253229358441749865*c_0110_4^22 + 6534447592463607676067286961435297779964713120607314654430798577581\ 884998511/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^21 + 10732059682383434730082693006847828\ 625480479525711491034671726044063510240531/186308343157112282400653\ 73534723621590434634917523269526253229358441749865*c_0110_4^20 - 3325125126391336133203656349272838328953268391840185332926932094674\ 0872316178/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^19 + 4975232095840482004416109944464919\ 3808989707894162819984338966894328537656341/18630834315711228240065\ 373534723621590434634917523269526253229358441749865*c_0110_4^18 - 8134691984211191780781506504454528791781637177165026513316240771108\ 5450870381/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^17 + 9463953299412566656775851913424937\ 0308438282306133824464947660854480420903041/18630834315711228240065\ 373534723621590434634917523269526253229358441749865*c_0110_4^16 - 3858852932766681498386071977763537874198394111230809734566981440858\ 2516418491/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^15 - 1592705354197296148670498021606649\ 9981711754512879348442397300148353009920282/37261668631422456480130\ 74706944724318086926983504653905250645871688349973*c_0110_4^14 + 1676918067042608789276362531061419876433835546841142478483782551114\ 26577257543/1863083431571122824006537353472362159043463491752326952\ 6253229358441749865*c_0110_4^13 - 144989791856075719107473903016149\ 333265103197534250314627989963158276106839901/186308343157112282400\ 65373534723621590434634917523269526253229358441749865*c_0110_4^12 + 1394736338615522513706880817519528725809590534743813445458817445082\ 5687184923/37261668631422456480130747069447243180869269835046539052\ 50645871688349973*c_0110_4^11 + 22461727383150429009707812631680205\ 7096727091221765166973849683412412810633/37261668631422456480130747\ 06944724318086926983504653905250645871688349973*c_0110_4^10 - 4644681597723093243589419471950497386372260193732974346513796204574\ 8563455859/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^9 + 50962052883402264156338828797597275\ 202605662231334091061280595647886778223269/186308343157112282400653\ 73534723621590434634917523269526253229358441749865*c_0110_4^8 - 2771576057426708109365933471105410056595907713766643257835961351826\ 6733528771/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^7 - 31612158551270908729667171907641405\ 80951092326523529210701608444315601122246/1863083431571122824006537\ 3534723621590434634917523269526253229358441749865*c_0110_4^6 + 1079332569154815520257731328535692949163316307012286840283349748468\ 5755656522/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^5 - 32996928808220792503856512599614348\ 4079501701281140506847983967469534792444/37261668631422456480130747\ 06944724318086926983504653905250645871688349973*c_0110_4^4 - 1201890798997013168989360973298285198463634541810309370468293782248\ 237833511/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^3 + 126689994989671907881321474164792488\ 837934055580701813933624864367177976939/186308343157112282400653735\ 34723621590434634917523269526253229358441749865*c_0110_4^2 + 8851536301525396630825974478655420757453857498986852148840888976126\ 0443126/18630834315711228240065373534723621590434634917523269526253\ 229358441749865*c_0110_4 + 3112809984587520491969747117962141861774\ 39222286886529964142775611394854/3726166863142245648013074706944724\ 318086926983504653905250645871688349973, c_0011_4 + 217402231253287021929213914831985073971152342930447972606431\ 6583919652262/93154171578556141200326867673618107952173174587616347\ 631266146792208749325*c_0110_4^28 - 1090444191773734759591935733642437172960201377106829004792466192617\ 9080083/93154171578556141200326867673618107952173174587616347631266\ 146792208749325*c_0110_4^27 - 1862649501493303606636989611134541060\ 7981559298524632032843504411904815262/93154171578556141200326867673\ 618107952173174587616347631266146792208749325*c_0110_4^26 + 1051297861825188467358131494423271876036608274628605566178290365734\ 56940697/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4^25 - 925472569051483885260110055331327481\ 992835968421977962452146506156308097716/931541715785561412003268676\ 73618107952173174587616347631266146792208749325*c_0110_4^24 + 1082220620355369458792782865545155562833025057414133258406387010278\ 06036068/3726166863142245648013074706944724318086926983504653905250\ 645871688349973*c_0110_4^23 - 7192392523937087970584256181778425381\ 333056397660708701833166575329235655433/931541715785561412003268676\ 73618107952173174587616347631266146792208749325*c_0110_4^22 + 4095816082984367452717470854853890012321534030475018643549418676166\ 104579864/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^21 + 27394088216502235785182022993454098\ 330459538897690938136582463564099015422088/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^20 - 9363980804042931743079847889951136133116354585849865529365350289590\ 195117208/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^19 + 44731428393127358028540096099741149\ 739824848634630277109726992598218926573834/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^18 - 7133132579722666629820713168674032568795627162226154178902815656131\ 0755329991/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^17 + 5150698856707373117053587165409484\ 5281840140355858747432487254133626364964301/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^16 + 6868467112297512174087633031536050698836334884994502648122886333060\ 6470438944/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^15 - 2135043032118883645524956972532971\ 26976879527453717642694848606502324166320041/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^14 + 2148461908727313366960512157303906597347944441653760309190136646395\ 14367909126/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^13 - 368894825471708742503768667454616\ 10528164080329256152570420898225919706786589/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^12 - 1026921052500231472751859190366034370572414047333945186413106888528\ 71545313006/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^11 + 277612559910855130300404732437771\ 20414828386860753851062522488105737188673108/1863083431571122824006\ 5373534723621590434634917523269526253229358441749865*c_0110_4^10 - 1095047357718454536219307527745223357285931701441446872903147078023\ 08049856843/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^9 + 3803366726057123981577849202979063\ 4203648459974632389578549425806533422622599/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^8 + 2586097227885591268183824586601678929335840614692732243318112496889\ 6623697187/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^7 - 56687183921401576787853625300416529\ 282354322327260554759753547389783851536788/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^6 + 2754368174681237719100738494148964696402227571917123280720554362492\ 4223416353/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^5 + 84283741881468312252237752164347018\ 46853634948594007113933698935330102983747/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^4 - 8221010047650258962410095577884329795387790917274624966569500254978\ 676118852/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^3 + 612551345466414803342250132610821187\ 222674923293484692908399189267478211022/931541715785561412003268676\ 73618107952173174587616347631266146792208749325*c_0110_4^2 + 5751549713858736248854713984158585876385070669993835271980126601702\ 64205356/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4 - 773227947244285538182841504700404158390\ 72219489665384486445866407956437004/9315417157855614120032686767361\ 8107952173174587616347631266146792208749325, c_0101_0 + 167707611696562501966913773738927010792349635149722699654294\ 8787398820623/93154171578556141200326867673618107952173174587616347\ 631266146792208749325*c_0110_4^28 - 9250647229722462515870518383403528849103333879587084612077459290842\ 945372/931541715785561412003268676736181079521731745876163476312661\ 46792208749325*c_0110_4^27 - 90526723306024012320910887337876852916\ 08966311513470339185666989602247543/9315417157855614120032686767361\ 8107952173174587616347631266146792208749325*c_0110_4^26 + 8087368847946725855275438222978861273971263506348682054172910451029\ 1669713/93154171578556141200326867673618107952173174587616347631266\ 146792208749325*c_0110_4^25 - 7541074152633329801489247907620851331\ 16527370622635957304773284205099137004/9315417157855614120032686767\ 3618107952173174587616347631266146792208749325*c_0110_4^24 + 5018021755916543462714911591867553035387051589656355527461195053303\ 47207218/1863083431571122824006537353472362159043463491752326952625\ 3229358441749865*c_0110_4^23 - 715035472073699792518269265196902560\ 3189783620156733261215762076457871383902/93154171578556141200326867\ 673618107952173174587616347631266146792208749325*c_0110_4^22 + 8141174266217899125458745012037893662213146500123696106831144579526\ 058096851/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^21 + 13250593920433638977491696128504823\ 893656723776469230807855004290441650808587/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^20 - 1480516832523274506386744572361392575634861862760254614065406730491\ 839945701/372616686314224564801307470694472431808692698350465390525\ 0645871688349973*c_0110_4^19 + 588088432708328743109580027494013958\ 68187650100705812823898077397296502929281/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^18 - 1118343167088171426315012639324269626569500135317098195408261012070\ 53886700879/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^17 + 131069946330757058268017214775457\ 342594619373312164630025158998015264310861144/931541715785561412003\ 26867673618107952173174587616347631266146792208749325*c_0110_4^16 - 6817174063879310902540241685277072799808996233749317894830246375356\ 2372147364/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^15 - 5668066060901135072725133552233716\ 5408947436771810983092295947859530595071099/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^14 + 1642734946306207971237448279648593228033750153618654808052161119004\ 17037665879/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^13 - 173193675717318870737740295468303\ 174351338591714372599328928776899156812455476/931541715785561412003\ 26867673618107952173174587616347631266146792208749325*c_0110_4^12 + 1463180449627674159611910144594608854068105457680024873047967319271\ 10208127166/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^11 - 154992643098612285545926393448965\ 91923151319042591519416696152186074565408998/1863083431571122824006\ 5373534723621590434634917523269526253229358441749865*c_0110_4^10 - 7892659312046317193559150637695019868904339050688192010307728093775\ 588818072/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^9 + 432464010442218282398961328412448599\ 18537424946908632124649052543600637865281/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^8 - 4586336556724380408847015866782206417895824403991214753149356345011\ 3716271937/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^7 + 19954910875413796168683690863029730\ 643073196284639843307598520556671636309963/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^6 - 8112049061196557912670857093934312777325798002931449383744379068361\ 499664198/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^5 + 364969529197109153187289922009486296\ 7795006372721327428280033695157547766933/93154171578556141200326867\ 673618107952173174587616347631266146792208749325*c_0110_4^4 + 5339668011449515268374037666760720532090772493889352093793836843458\ 003445242/931541715785561412003268676736181079521731745876163476312\ 66146792208749325*c_0110_4^3 - 209750358279920283485841723764361658\ 3485692419999943521530121100389612665322/93154171578556141200326867\ 673618107952173174587616347631266146792208749325*c_0110_4^2 - 5834972942572446801583612914084652083618736713903990709186200116544\ 36629861/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4 + 723780377585343979965493777676999425526\ 89225651533621253938086002865459594/9315417157855614120032686767361\ 8107952173174587616347631266146792208749325, c_0101_3 - 392206466167769294657574722167385032693836642100727851644694\ 1762689881884/93154171578556141200326867673618107952173174587616347\ 631266146792208749325*c_0110_4^28 + 2211422172463772730007585078857482244111861998725927255541138977623\ 3823046/93154171578556141200326867673618107952173174587616347631266\ 146792208749325*c_0110_4^27 + 2047248204377830083693960499101775225\ 8809024295850720102214146209679747154/93154171578556141200326867673\ 618107952173174587616347631266146792208749325*c_0110_4^26 - 2042971061297437521613168006851389172804575967898006806886197938745\ 29900279/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4^25 + 178502480201101853833653438214564205\ 8009578620165719803543132039152609777652/93154171578556141200326867\ 673618107952173174587616347631266146792208749325*c_0110_4^24 - 1194624355709315835254336275205321279962659790259329670204144057344\ 313399833/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^23 + 16479776340848398213177500081472601\ 963890724485924445853478646939273490635701/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^22 - 1740888285452396226013911974555379760115284050074111003236908499784\ 0885194568/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^21 - 3913227139451699403704412459749437\ 5005498111555896241733685765893339539407076/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^20 + 2112708722616695116269174401359850017850861402511950591404244276238\ 1515242119/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^19 - 1357345737724533067995250560156046\ 84185054847350653057590993013868771580387708/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^18 + 2133656988166358719190054136294828579573556509709255559592443246648\ 27713823427/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^17 - 235639025244986414207045510454719\ 294472022794841663337159935040136666716358997/931541715785561412003\ 26867673618107952173174587616347631266146792208749325*c_0110_4^16 + 3225160427271977477743392649808513877228643280390540586687073816427\ 0685216482/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^15 + 3269903217923325556886907762634671\ 87607573148147925201712005276676857769385247/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^14 - 5254379319474672986462059180915605594238602953796112450636596719832\ 97929559032/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^13 + 340028357776310908603296868331185\ 893224557310517704725104635269267209075546718/931541715785561412003\ 26867673618107952173174587616347631266146792208749325*c_0110_4^12 - 4971994445163934739323366676692389982409556741964428434251684160313\ 7232086273/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^11 - 2531704832673420845360571294867996\ 9627316406190625004626637212286242994904386/18630834315711228240065\ 373534723621590434634917523269526253229358441749865*c_0110_4^10 + 1943058543743427511830801532152884682598154506782755550292524464853\ 93742434351/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^9 - 1416264027670673345844284977418376\ 31060342978761997909664215766347219268907153/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^8 + 3569673613804486720710299458823594864259270774789409845076158746170\ 1622886301/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^7 + 55834747580627967708976537639852253\ 485031373557271238646641467527787129173251/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^6 - 5294643315840102208847945277513840434478713577977089215539575351080\ 1567545036/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^5 - 17260244284522930659112994647340101\ 05439196626081763191340587286675056513449/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^4 + 1174675895212269212565568257949105726283192084738637538524007888390\ 4672063139/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^3 - 12725730141660465837763323029285916\ 78048987633078279046178181982964302792719/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^2 - 7439414454354434650989459820433796362513218255832128682111917821034\ 77618982/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4 + 750203584958413925947403529227509892944\ 79466106762023571184309941270735468/9315417157855614120032686767361\ 8107952173174587616347631266146792208749325, c_0101_5 - 171920415360614924491536584966157751326815911394075158429113\ 11777669242319/9315417157855614120032686767361810795217317458761634\ 7631266146792208749325*c_0110_4^28 + 9900589765318957688144461622118710835535405491136156363653887076743\ 2558611/93154171578556141200326867673618107952173174587616347631266\ 146792208749325*c_0110_4^27 + 7398876956167328759635622421231791346\ 8257186139654210473597573346278904189/93154171578556141200326867673\ 618107952173174587616347631266146792208749325*c_0110_4^26 - 8853482817489611219364947270827425969503496509485487383020362660134\ 99080239/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4^25 + 796141963312476786007913663391869446\ 0240996146255192580957711694052916544832/93154171578556141200326867\ 673618107952173174587616347631266146792208749325*c_0110_4^24 - 5462020588286152579464842833252597904922669852181564584504404435587\ 024844868/186308343157112282400653735347236215904346349175232695262\ 53229358441749865*c_0110_4^23 + 77176445846913872876827885261404409\ 121874167900997793638588243390795710068141/931541715785561412003268\ 67673618107952173174587616347631266146792208749325*c_0110_4^22 - 9044796932649573861350243414324772575929655895608955415600106510334\ 2393639563/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^21 - 1467898631489520979798310281738655\ 68514580938160186445779158352530024313637541/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^20 + 9402016672503897510763784897971504050555472384660717438596856228931\ 7308285049/18630834315711228240065373534723621590434634917523269526\ 253229358441749865*c_0110_4^19 - 6890192213059194451261618116906274\ 88535080291864095471227467293095447105864853/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^18 + 1091341335576939837468186643457868805936580162049319311449151433766\ 344946408207/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^17 - 1270872975949935238856499147316028675111355487005868192302487528040\ 903965768702/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^16 + 4733390423591022103960120828093879511332762821372578954008894559693\ 64966079687/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^15 + 120543173545795869351917953902958\ 6947747229120424763981783082825433376894354902/93154171578556141200\ 326867673618107952173174587616347631266146792208749325*c_0110_4^14 - 2431637257045187670295165973213182132862850679957750957663346574070\ 505338208487/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^13 + 2024237291845367473911870540891994183324566921574724753955850014075\ 812452877488/931541715785561412003268676736181079521731745876163476\ 31266146792208749325*c_0110_4^12 - 8148479770617173768912462281646954187945357590863286931247754153799\ 52387051843/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^11 - 429789051776220928582431020810610\ 81214990893622110222891756622696732008283026/1863083431571122824006\ 5373534723621590434634917523269526253229358441749865*c_0110_4^10 + 7927817541430709063629682870271987856463775128600244460000752471246\ 79093324441/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^9 - 7735058663172101253870800593743432\ 32583340470465034899652987325351019500269498/9315417157855614120032\ 6867673618107952173174587616347631266146792208749325*c_0110_4^8 + 3666966124920450901295891121577048384933920554511923185843264082149\ 19440689066/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^7 + 9974375883361545812360731167209506\ 7873970384191588611053767533176587965783241/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^6 - 2095541301780807027974592064802487634759322650622692650361167485328\ 37082948701/9315417157855614120032686767361810795217317458761634763\ 1266146792208749325*c_0110_4^5 + 4191240579779461903062119996187690\ 4258185196697937060887921405155963029332141/93154171578556141200326\ 867673618107952173174587616347631266146792208749325*c_0110_4^4 + 2645338712331916781150501000701141707598876797017044580108478663566\ 8450560849/93154171578556141200326867673618107952173174587616347631\ 266146792208749325*c_0110_4^3 - 68781486528014994161318424883428493\ 57641224648170419537816504866352709863029/9315417157855614120032686\ 7673618107952173174587616347631266146792208749325*c_0110_4^2 - 7785949281438326839343044214575834407608725840861651189265449325617\ 17634912/9315417157855614120032686767361810795217317458761634763126\ 6146792208749325*c_0110_4 + 140201410890013919192693369627997702623\ 983363626993720906909326686399435038/931541715785561412003268676736\ 18107952173174587616347631266146792208749325, c_0110_4^29 - 6*c_0110_4^28 - 3*c_0110_4^27 + 53*c_0110_4^26 - 475*c_0110_4^25 + 1696*c_0110_4^24 - 4834*c_0110_4^23 + 6220*c_0110_4^22 + 7615*c_0110_4^21 - 29748*c_0110_4^20 + 45847*c_0110_4^19 - 71072*c_0110_4^18 + 86419*c_0110_4^17 - 40769*c_0110_4^16 - 68407*c_0110_4^15 + 159244*c_0110_4^14 - 145628*c_0110_4^13 + 65546*c_0110_4^12 + 8231*c_0110_4^11 - 51204*c_0110_4^10 + 54410*c_0110_4^9 - 28618*c_0110_4^8 - 3596*c_0110_4^7 + 14647*c_0110_4^6 - 4612*c_0110_4^5 - 1778*c_0110_4^4 + 793*c_0110_4^3 + 56*c_0110_4^2 - 28*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB