Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1107550003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3020 geometric_solution 6.19344747 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 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.843396175608 1.068099017577 3 4 5 0 0132 0132 0132 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 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.610307729595 0.853704247648 4 3 0 5 2310 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.610307729595 0.853704247648 1 3 2 3 0132 1302 2310 2031 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 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.839695077053 0.667216711415 4 1 2 4 3201 0132 3201 2310 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 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 0.484358089243 0.554158804674 6 2 6 1 0132 2310 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317099524662 1.262522391936 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451556305274 0.136499512122 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_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' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_1']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2019232297937517916196173998841991949048927225213703431116969350572\ 35383647704787/5282364019932989401043212908918115291501733514921489\ 8017463580586497707402176832*c_0101_5^31 - 1631548416354388996915569482794714493819563628673243184488000369949\ 859193428286041/528236401993298940104321290891811529150173351492148\ 98017463580586497707402176832*c_0101_5^30 - 2261176361252451986069166329798224175234233035942826542936403784594\ 562617459175689/264118200996649470052160645445905764575086675746074\ 49008731790293248853701088416*c_0101_5^29 + 6403470083546897150871447219188699233550122560911984955753779343173\ 6004201780881863/52823640199329894010432129089181152915017335149214\ 898017463580586497707402176832*c_0101_5^28 - 5848576627961940344003999979497402529301914105943539062747944883524\ 3252907534397015/26411820099664947005216064544590576457508667574607\ 449008731790293248853701088416*c_0101_5^27 - 1708398656159819435443002749088781434891065453294772905007900848107\ 2492059283106179/66029550249162367513040161361476441143771668936518\ 62252182947573312213425272104*c_0101_5^26 + 8954940417723552599661840282543392121000746451979732659680036807644\ 0750868226789661/13205910049832473502608032272295288228754333787303\ 724504365895146624426850544208*c_0101_5^25 - 4539485353348212284734164000924259950677096811699082945495189902649\ 0482666038957073/52823640199329894010432129089181152915017335149214\ 898017463580586497707402176832*c_0101_5^24 + 6582207189447724467538337891570579862961407535686952393344016952210\ 87763781704431709/5282364019932989401043212908918115291501733514921\ 4898017463580586497707402176832*c_0101_5^23 - 1062770424219345630815036684302789407915297419266136151832893558813\ 714314324423322089/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^22 - 8909951232775180469274338967837065801727850652557964253332024388138\ 90150385765051193/2641182009966494700521606454459057645750866757460\ 7449008731790293248853701088416*c_0101_5^21 + 2437594631201278380375478622616316708959234979661990699876322346723\ 904095262324292723/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^20 - 7658102947916742074523143522481088222234820697574793793209617488250\ 7058113557689251/26411820099664947005216064544590576457508667574607\ 449008731790293248853701088416*c_0101_5^19 + 1901298856433190869040302715944498663977987558600350543377782600588\ 296176753028213259/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^18 - 3435476466461700819217075808044046717651894759709276840850532958587\ 77946847411756073/2641182009966494700521606454459057645750866757460\ 7449008731790293248853701088416*c_0101_5^17 - 3389701972031953206755893646197030144082911336235773183989520152949\ 532437549006819653/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^16 + 3621572194152065771890477200035758483504911015610163439373447640788\ 955626816053973639/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^15 - 1699708503481618574289024536558032540855509829626861900932881451795\ 929693282821710957/264118200996649470052160645445905764575086675746\ 07449008731790293248853701088416*c_0101_5^14 - 2896792920840572617248164277066843433877502815435520977731622859209\ 35666306917910477/1320591004983247350260803227229528822875433378730\ 3724504365895146624426850544208*c_0101_5^13 + 2581916958146828805841246235943950243060696481011567576998555644453\ 563044827730785047/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^12 + 4602976687516360861564148091706638394226290346075546203420111442819\ 39103903111169429/5282364019932989401043212908918115291501733514921\ 4898017463580586497707402176832*c_0101_5^11 - 4562197611898954915064004400910789233366291471813635668514034235411\ 41111860037798695/5282364019932989401043212908918115291501733514921\ 4898017463580586497707402176832*c_0101_5^10 - 1141719621006565612461118495239073098618521111823731374863981619824\ 125336886119049291/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^9 + 1400809652337600178705557598675319768372930388861142993242152175970\ 56755857242852419/3301477512458118375652008068073822057188583446825\ 931126091473786656106712636052*c_0101_5^8 - 1463678507600037122721460630198515032009064068037425793835434475973\ 346931582638867905/528236401993298940104321290891811529150173351492\ 14898017463580586497707402176832*c_0101_5^7 - 4319037881240830890193924407688255131025486719324481246045344705420\ 88083648904714617/5282364019932989401043212908918115291501733514921\ 4898017463580586497707402176832*c_0101_5^6 + 4964290105847504965227116397200334779483999574175988173519164900708\ 31035094702610095/2641182009966494700521606454459057645750866757460\ 7449008731790293248853701088416*c_0101_5^5 - 2128242659286447182244226524984839199770842952112713000783998814327\ 76906512505362819/2641182009966494700521606454459057645750866757460\ 7449008731790293248853701088416*c_0101_5^4 + 7032724923251297899901278809464716008853896949442747346353681935731\ 272378368838627/132059100498324735026080322722952882287543337873037\ 24504365895146624426850544208*c_0101_5^3 + 2198346423589768512686098669345528646675102151088120064887373569897\ 5320739854997223/52823640199329894010432129089181152915017335149214\ 898017463580586497707402176832*c_0101_5^2 - 1157713748635314790063027992972916309881226495625513975031363685784\ 237148151495915/528236401993298940104321290891811529150173351492148\ 98017463580586497707402176832*c_0101_5 - 1357676421171290612847588873628246541289725535565818479469788419229\ 723372568061289/528236401993298940104321290891811529150173351492148\ 98017463580586497707402176832, c_0011_0 - 1, c_0011_1 + 296799753186132939657399017964167569511026490445635503933610\ 655102227500878/927381323724190554958429232605006195839489732254475\ 0354189533108584569417517*c_0101_5^31 - 2089397382158609119920652832071649192731011763342118259087574736179\ 072067621/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517*c_0101_5^30 - 883581580283796626560479568945566\ 3909041374244409142903540182646614468659791/92738132372419055495842\ 92326050061958394897322544750354189533108584569417517*c_0101_5^29 + 8496206275938846287932911906635034146853758429810446710824118396243\ 6575065903/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^28 - 8257349970369521870126729265119623523554908198565868975728191526274\ 5869326348/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^27 - 2889021649247321819146928235153261365525942391413437337678422565555\ 28489828419/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^26 + 2086178118694369550092594133336300102029207243714796015853831098000\ 98356615973/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^25 + 1866503645425276401458897335512770720103055018013478510063503691350\ 09763222417/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^24 + 1227227183887709585087036712099906992481632685893641626757115971892\ 988277212188/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^23 - 3576018262734392882210469105377086103080918645914063960858462860063\ 40295914774/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^22 - 3119623926768650908808126775302291959380545075112981712603497695572\ 065244319377/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^21 + 7080252806942019420791243549021594071793136094263685044839531659132\ 1473774356/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^20 + 1459391050955503986670147918136211591724690832186522919419422205102\ 51035380023/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^19 + 3786057794319844848416803842059369876315130837895765797023961014127\ 904137424633/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^18 + 2817447270797065411650582833201149189335793019817197376409173201432\ 151970237518/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^17 - 2547381612790731056682746881427990721968504640339246967020623457019\ 836583030354/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^16 + 1614161703301316022934454315830762501658927716967565469629530647720\ 551631318260/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^15 - 3681569261283717420476550368731414858058058078905632203409343890992\ 593793548533/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^14 - 4692007536568002971186136287951175296443069238440470075521548817386\ 950320105012/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^13 - 1153972703766136871060932442492764071970087904440846547035441678071\ 834200427363/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^12 + 3222122341876226145493975140645258526721145286944296058611539704885\ 25708787285/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^11 + 8759069992333133912214924934457279367175904663379521813145237168605\ 93369240254/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^10 - 7059178516649835449693931514040428162961771398865357252035024028760\ 48586513319/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^9 + 2021112425101174089391099902279890509686219820022982434884020022028\ 706713513044/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^8 - 1870780388743187552100402823501102648785228326590075274937660581004\ 96879070250/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^7 - 6125804418925568568815046806131438029660047055661521759259527205947\ 09301399655/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^6 + 3849112338067108779505681921092502037994722088320421066990472936840\ 38934489722/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^5 - 2116946564130582526275193881576258085027936764713895932136120318153\ 92525096338/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^4 + 7136320724457975538373663134742798052799764614450903494683987564391\ 6194164968/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^3 + 386651198817865536060612787679532\ 23060908482383748806071038413623189781733478/9273813237241905549584\ 292326050061958394897322544750354189533108584569417517*c_0101_5^2 - 1335223148323619419569259211796355786090871160670909958751157346262\ 7177894450/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5 + 32466560429298603149541307579284500\ 37745879818748031507104513963932028952662/9273813237241905549584292\ 326050061958394897322544750354189533108584569417517, c_0011_5 + 162433003693913726700643333581664032009162333761823315916912\ 2296443892750401/92738132372419055495842923260500619583948973225447\ 50354189533108584569417517*c_0101_5^31 - 1350312798376578962380459817821392659696500646435793372626803170407\ 2915008339/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^30 - 3352284907059378907864595304263332469862717511016395011744634782488\ 8583994198/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^29 + 5250739301334954294811243863151337187878697045482976278818496285498\ 54540019089/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^28 - 1055342033275049035906947328989480910317134741186043357029373240353\ 212333605816/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^27 - 9403351716400472973854720435465967605714389245327707813930783838697\ 13972586804/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^26 + 3209765678550384454496721786350536142563846422135559938406980680335\ 922507008353/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^25 - 8368990505885549701248110183383619194751875563022737661940800697516\ 72331922755/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^24 + 5153950295519486689286650042913446320423897229613308182470330146063\ 227418803154/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^23 - 9935679207410759236424622190147833106814131793858696757371340703953\ 899929172198/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^22 - 1306974669080738497637217005057948675861456022517439945337334624027\ 1609715023259/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^21 + 2350261868215017279496044418022756035168514114568827139592669658672\ 2795315230436/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^20 - 3490782003154897168924524127015957939685564501499371704058680053922\ 252094473107/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^19 + 1472523241957807396753755856654493834986954926336743799960827940449\ 3598855717865/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^18 - 9952400807282579421307365325856966701840239021554068421149684987002\ 570075284215/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^17 - 2832325383782126620059424492659476195765232544828670314919548460851\ 0746981604197/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^16 + 3457336111506857909423790938176415090529877975383014051318718388725\ 8604905312299/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^15 - 3101504395761074852099375883215255930144259506663178360530563914683\ 7983542618485/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^14 - 4152650706283328445906742554229338942921325320819645250763219711717\ 544828509925/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^13 + 2492184469502215488156269451848731054396298723392910143922695486352\ 8308528117049/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^12 + 1757686924415333334189285018516640839191302511407874934622727725981\ 905165351177/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^11 - 5408341504738959347130560908378013880338934711674798585742118026965\ 587580828873/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^10 - 9894488522017226326365222036856489368087851891657935121796460293418\ 382004415355/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^9 + 1966212498479467278193770979370161430175706668556545135307810015295\ 8063555087145/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^8 - 1499941273210744512156338722155508469893382528485005428369893424552\ 9404897149283/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^7 - 2194578118358568593525687332568165787185661166574996566261612241861\ 332165866864/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^6 + 9015733487867212965118512953004893965410070323426968771922684427172\ 718231225618/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^5 - 4416173364688224756010617157903964015527436495497962962420358130819\ 115033964289/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^4 + 5874401617271988648914194049759561600794603172885555307612612721955\ 56707906848/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^3 + 1032279443238603396487940813452803554073526203899909093159177914697\ 38506716177/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^2 - 3617123616201573001097068257628634865737226160889379644491670548394\ 216402245/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517*c_0101_5 - 889524519340992555034906587623761350\ 8153220709585742239074947470573694517263/92738132372419055495842923\ 26050061958394897322544750354189533108584569417517, c_0101_0 + 111411437682260373324248483798741352550781057205566048899440\ 0893827416263751/92738132372419055495842923260500619583948973225447\ 50354189533108584569417517*c_0101_5^31 - 9292569176400091036181121017917237778817229599873122948908926921488\ 217260471/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517*c_0101_5^30 - 224248041677338091874589077994081\ 83001427353378624910812156580080854170930875/9273813237241905549584\ 292326050061958394897322544750354189533108584569417517*c_0101_5^29 + 3584888119912126162499394551883277603990424806380822825668419185167\ 39465003528/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^28 - 7424646803602352384421354745977397288497285936613587743135086153841\ 62005110026/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^27 - 5323417916332934657465771461153408126809512815033746830763580953685\ 99753483828/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^26 + 2105955399349555595453251371274432473941515204340242976324207167863\ 489273732644/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^25 - 9278697417331811189781744349937199223260838732990667627847856570230\ 66386655823/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^24 + 3885480752122862949104978859708135480771793139310045825666745663357\ 981097201416/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^23 - 6727110884852966788636545242862570406132559338082052294507002886958\ 688284299079/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^22 - 7607212109623101911167584902689903622291874700954576822485779879079\ 326043442062/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^21 + 1553898687805535906486355507020348890644635578003941546434884346039\ 9235422030749/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^20 - 6212081323418443644807794345868265717867292231529737082984512544048\ 413762372804/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^19 + 1139771865217959548192358244674230716693821718093550268586913612609\ 2080870930936/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^18 - 6322124754093389198323024790727211781139913043379127625039498969583\ 664273472946/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^17 - 1548900607288631188215762192655590072994411150923339728759882112924\ 5329514517351/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^16 + 2577405235521991306272716969233255087316042642606216444366662301109\ 0804589057814/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^15 - 2615027434045969410808012489260938615936756012241107552223757251224\ 5409747518196/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^14 - 9539870543997607221295281151922833216686085045184759133046100928658\ 4907599734/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^13 + 1348276611016882191943342020788405439889940720239042117797665190258\ 8730991890156/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^12 - 3434515100600084670862226100107473166437949737124587936170728734337\ 868476775446/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^11 - 2884060320219386687611607792227341003702774017155854336772018821358\ 066947125214/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^10 - 4972407228201861282940425066815173713756627150026302473727211056114\ 540299056240/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^9 + 1448144825878918119778725730540144503474446307277290326031252442574\ 6902279360365/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^8 - 1189091114034181989938362995251243049561048965673707872630222369431\ 1846146082230/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^7 + 1166712417779853178198150400854304031109834738822068260344846718747\ 353936298577/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^6 + 5675892224704311638182060377423760957488433064535197189717170606532\ 473636399051/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^5 - 4207565020225953190334449442280765200638295883546882319307805600528\ 511478856070/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^4 + 1131155527069788966893042494842682017100663004095844985228192624926\ 032406278340/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^3 - 6838410835080265931933675478795352953290761990180338466210598114080\ 4759817224/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^2 + 159400253789390947160395195997591\ 3177626123734161266880689680112234360479072/92738132372419055495842\ 92326050061958394897322544750354189533108584569417517*c_0101_5 - 6042753652878575762753396541737626923318439718494027696033953199767\ 873814914/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517, c_0101_1 + 219913698056625277458465668428992241439932307273014922775594\ 0100861184677984/92738132372419055495842923260500619583948973225447\ 50354189533108584569417517*c_0101_5^31 - 1770126079808957283461748848098000103376615757981374555354117232481\ 2014464954/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^30 - 4969962857947767362850137702567217493368340831813528719043876652320\ 1215424892/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^29 + 6951238197989759817723253829940695714658321038418989235588897971272\ 84801243579/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^28 - 1255140678020249645726235770958733524527954186900196964369433963930\ 310152156370/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^27 - 1497507378131443773901678654370726961261203995991107342135264006322\ 930367571839/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^26 + 3815009035343185712799491792414083961190227747315075138289215152549\ 603932734758/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^25 - 4619522718851636100282297996094925804364558345047511574396803941877\ 30170055868/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^24 + 7270473501316646277739562136612865480124534409852315234162884981326\ 282921843523/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^23 - 1132404112680018758651965585201131714817917475069390776840110897024\ 3356241913293/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^22 - 1938826851702471772613612029355114898568544092339273572685139172402\ 0324319062366/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^21 + 2566935778712718990584040950853761147700870240581217658048352609555\ 5540981103300/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^20 - 1856881194776000877750295138519457043774982336817379326779431407311\ 626255716106/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^19 + 2119089793279327205919699966726879315434300281152380717191526613749\ 6046189345054/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^18 - 6837422188954604184867697559536505004719376082101425003091508634089\ 398546529153/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^17 - 3605357435300692622997292929770860305376510299864299955589239611044\ 4704427373420/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^16 + 3875371002179103218725283759122604117109282225720318646708665477707\ 2634012626658/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^15 - 3705083137859049770879570090617584059429877545194500953620860903019\ 0239885742480/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^14 - 1261693864546365499824355657328312197382837976254342936231967694352\ 1018123109271/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^13 + 2635393440103186130621753330003477323405138764602887580450117594397\ 8198256568384/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^12 + 4643017741753901834209011490770550863905905319672392374689069329592\ 320087704946/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^11 - 4481634735620291532002952706285306714930932054193502573707701959284\ 790336124727/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^10 - 1250559267931301029783245228817557492619974418088990825762170791861\ 0824961033577/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^9 + 2404001517365124938682407980021530998025730227735512517918865793456\ 1129168348976/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^8 - 1562592398018811766073875498654193165453223061518442613584659467322\ 4477991137595/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^7 - 4310253281676232829186276689699734617487786561723612145182181401772\ 724227297894/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^6 + 1033991646171471440101211557994082318087261655117570224215107313975\ 2294992478021/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^5 - 4526253787145975216485325855503703891405682104859192534219443759565\ 248171383683/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^4 + 4886978386870458770665126681313439141619541953663093711621186280487\ 32956225628/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^3 + 1100659963955487787582850139555036489353654591150470537828191183151\ 33870575243/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^2 + 5829020561821343347494412350246356421692851337894499904960390169296\ 642502776/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517*c_0101_5 - 763609263774225831870345087690304756\ 0169657753923756790558815510209843300446/92738132372419055495842923\ 26050061958394897322544750354189533108584569417517, c_0101_4 - 148675793624888733123745114243918650158245300452714634978663\ 6685618673196060/92738132372419055495842923260500619583948973225447\ 50354189533108584569417517*c_0101_5^31 + 1105601815279354081644032063869111224768936918596264872515061747109\ 9796650134/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^30 + 4043944614772687456829733106086719139509716134843260374478569512291\ 8794464971/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^29 - 4456339208112082644725231222892508488635636234299191009918985787270\ 04300811780/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^28 + 5737065807729023909055513028612518897788591856036456285956291905016\ 62209594734/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^27 + 1382873333454272161605787514868898501796736946776831772467724908997\ 265642158004/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^26 - 1755642218922277550542240451247917554963691184084604880602607143448\ 108892711058/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^25 - 8201726606319110831678423446097391129200336579518748553957718328726\ 21886838001/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^24 - 5349186925046116555663934130445022792921334784028965131470361587403\ 969165230346/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^23 + 4401799547036947341952676033678803524391704988075406086098166538006\ 832620253785/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^22 + 1604709480704643943705086151296552081880861650254335841067213757266\ 9026916544037/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^21 - 7688350655088434227666590694130419415543238088956888433747847308127\ 344680507794/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^20 - 4102191600995158055264728377844873362314111961453307115297355723851\ 714431978526/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^19 - 1654955631027342151597092262454436989762287401086373513586793726879\ 8383581927933/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^18 - 5481040255210474259333167350177367141119032810918430012797385387501\ 177831987493/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^17 + 2176306957088025651994335727437181162255147840576677524253628160234\ 9435151465016/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^16 - 1260415193883261511316241705886420835115464558164407869508960323190\ 4728861167720/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^15 + 1651794675352345196560121490885942619735710227290900495880988539968\ 2662146986016/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^14 + 1930880947307155143141350134420558717716974687879833724768870629600\ 3037365770023/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^13 - 6792290975221712969575675370589844913040511551291175587925470837530\ 051181598199/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^12 - 7963525811531042446717102581599192356202847148706500962337485137745\ 129260652412/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^11 - 1780840825074456123557166245080416046798186322687765890177725981946\ 644297138372/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^10 + 7435035571201008337726864187875927736929280071777463331931656596908\ 005426280444/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^9 - 1165681777067525067632530893325339735443198818185001984220849180168\ 6791937280190/92738132372419055495842923260500619583948973225447503\ 54189533108584569417517*c_0101_5^8 + 3050096673579903346453925895685382840085334492324714954910877168917\ 879468050044/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^7 + 5296829142756863992956093447444608356599545695116775431157876145474\ 453836650642/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^6 - 3930088950306994171750859688428868088100044002494895789015722645012\ 987876280451/927381323724190554958429232605006195839489732254475035\ 4189533108584569417517*c_0101_5^5 + 5777429477689681619429816255660016459475094931024762624153437956924\ 89994997776/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^4 + 1696258936304688602956537459884681223220355687958432721421671102204\ 93763551294/9273813237241905549584292326050061958394897322544750354\ 189533108584569417517*c_0101_5^3 - 2039826831459992139109300164448092898228988342502456977127729134435\ 7696443048/92738132372419055495842923260500619583948973225447503541\ 89533108584569417517*c_0101_5^2 - 257437976936578639929898187482415\ 6284681008611392771207579883080381267437931/92738132372419055495842\ 92326050061958394897322544750354189533108584569417517*c_0101_5 - 2677332493027336010427498424015693224367665133461908921044165640340\ 058041965/927381323724190554958429232605006195839489732254475035418\ 9533108584569417517, c_0101_5^32 - 8*c_0101_5^31 - 23*c_0101_5^30 + 315*c_0101_5^29 - 555*c_0101_5^28 - 710*c_0101_5^27 + 1700*c_0101_5^26 - 119*c_0101_5^25 + 3302*c_0101_5^24 - 4990*c_0101_5^23 - 9095*c_0101_5^22 + 11199*c_0101_5^21 - 231*c_0101_5^20 + 9683*c_0101_5^19 - 2579*c_0101_5^18 - 16585*c_0101_5^17 + 16640*c_0101_5^16 - 16079*c_0101_5^15 - 6598*c_0101_5^14 + 11737*c_0101_5^13 + 2870*c_0101_5^12 - 1744*c_0101_5^11 - 5624*c_0101_5^10 + 10685*c_0101_5^9 - 6571*c_0101_5^8 - 2332*c_0101_5^7 + 4569*c_0101_5^6 - 1844*c_0101_5^5 + 110*c_0101_5^4 + 73*c_0101_5^3 + 6*c_0101_5^2 - 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB