Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 240096058] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2490 geometric_solution 5.81789836 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304364628545 0.225719142929 2 0 3 0 0132 2310 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 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.575912023840 1.346283949410 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954060726107 1.244739700476 2 5 4 1 3012 1023 3201 0132 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954060726107 1.244739700476 3 2 6 6 2310 0132 3201 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046240039822 0.498262413187 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592087947112 0.747799281052 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.963619857094 2.242244044110 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 6036571939032477660479696537069949134132870509850148416368455287311\ 22107811179122317/1909439136720170644297081324937108511060744410386\ 29840243084400472667904037254938*c_0101_4^30 + 3251300032015058173930987783358697387939210637954201070395682848257\ 546463322099697229/636479712240056881432360441645702837020248136795\ 43280081028133490889301345751646*c_0101_4^29 - 2699211660901331428391764309400142088915613332898793688822450167688\ 621362178952414171/106079952040009480238726740274283806170041356132\ 57213346838022248481550224291941*c_0101_4^28 + 6003907085174173002809735873595023644353337010590918136473084693123\ 222957208427274036/318239856120028440716180220822851418510124068397\ 71640040514066745444650672875823*c_0101_4^27 + 2965613250877095034355544005068695371371044175641663079799897602533\ 67382589786743786057/1909439136720170644297081324937108511060744410\ 38629840243084400472667904037254938*c_0101_4^26 - 3257932047869107851777085231444178203403656037972828576055885668017\ 36030692735786192196/9547195683600853221485406624685542555303722051\ 9314920121542200236333952018627469*c_0101_4^25 + 3899459364131824406713391061905723929788469461929299874664069971720\ 03146661871314159549/6364797122400568814323604416457028370202481367\ 9543280081028133490889301345751646*c_0101_4^24 - 1007677887326355316362885066703815212100899948689125584709055276392\ 33157652259917389182/1060799520400094802387267402742838061700413561\ 3257213346838022248481550224291941*c_0101_4^23 - 7106632645252285135897263997739021438038617020424694099028977948573\ 706982319515263493617/190943913672017064429708132493710851106074441\ 038629840243084400472667904037254938*c_0101_4^22 + 2630947420114650869354659615244343236952760692403004857720095632143\ 380455650937134507871/318239856120028440716180220822851418510124068\ 39771640040514066745444650672875823*c_0101_4^21 - 3342794585820500974761610579216828315637385331281752327900571892242\ 776330107126240444921/636479712240056881432360441645702837020248136\ 79543280081028133490889301345751646*c_0101_4^20 - 8725970419961530834206400949466642394185784927459818532654149371771\ 89722534475177375406/9547195683600853221485406624685542555303722051\ 9314920121542200236333952018627469*c_0101_4^19 + 5608148528759231094224680936322281159594978846746892522725691286463\ 349862911197156472886/318239856120028440716180220822851418510124068\ 39771640040514066745444650672875823*c_0101_4^18 - 5174963069791361168326919268559008995268164901863118998707823762638\ 7758212136773376094617/19094391367201706442970813249371085110607444\ 1038629840243084400472667904037254938*c_0101_4^17 + 3900055199084780167290681853981170710951016077661035197001552109466\ 196914619410015953139/106079952040009480238726740274283806170041356\ 13257213346838022248481550224291941*c_0101_4^16 - 3934933128056144086662069321806748669465947911939985603948360269636\ 928499303217430151281/318239856120028440716180220822851418510124068\ 39771640040514066745444650672875823*c_0101_4^15 - 6860524788461894238765984319720674270014126753198723856196788263250\ 896951986882047738443/318239856120028440716180220822851418510124068\ 39771640040514066745444650672875823*c_0101_4^14 + 3130791871918119662453131690095564569314501511368535500023842535902\ 5956882117831667897582/95471956836008532214854066246855425553037220\ 519314920121542200236333952018627469*c_0101_4^13 - 3725846080375397859992701438945359880726729311749661349964846472851\ 3032856103827266596842/95471956836008532214854066246855425553037220\ 519314920121542200236333952018627469*c_0101_4^12 + 4192457860948169959275221261364315476503501737066923878654238133241\ 3830003993590878585441/19094391367201706442970813249371085110607444\ 1038629840243084400472667904037254938*c_0101_4^11 - 6235862180497954460063078267831332656015475667278995646330159685432\ 32052316044052203150/3182398561200284407161802208228514185101240683\ 9771640040514066745444650672875823*c_0101_4^10 - 6942937185192428391761238963062045592505116678559214705217124277741\ 846340437163822979573/954719568360085322148540662468554255530372205\ 19314920121542200236333952018627469*c_0101_4^9 + 1137329047496848003202767731908853883192916758624544008217241312531\ 7622101926495169448116/95471956836008532214854066246855425553037220\ 519314920121542200236333952018627469*c_0101_4^8 - 1711299264686968475144165895128493584022693378551413084680716952333\ 5624987568555888906965/19094391367201706442970813249371085110607444\ 1038629840243084400472667904037254938*c_0101_4^7 + 5005394412484566075013804032972984872598162730851729778308046145381\ 588169665345362442626/954719568360085322148540662468554255530372205\ 19314920121542200236333952018627469*c_0101_4^6 - 2548682163457315481436052545753987959924489171526774086906309832635\ 300457863222210042344/954719568360085322148540662468554255530372205\ 19314920121542200236333952018627469*c_0101_4^5 + 2454948867561345570648257329101176611758413841066500268535516408651\ 43503384717240866799/3182398561200284407161802208228514185101240683\ 9771640040514066745444650672875823*c_0101_4^4 - 3734066072214874459945709844341527267506540682070282367953558481121\ 85837841327503228525/1909439136720170644297081324937108511060744410\ 38629840243084400472667904037254938*c_0101_4^3 - 4710195147691240604526121724773713073348234792947958314518488398956\ 6815038989181429/10607995204000948023872674027428380617004135613257\ 213346838022248481550224291941*c_0101_4^2 + 4567677381769288064352060377695526901907089265752125438253221095042\ 1858929069482037813/19094391367201706442970813249371085110607444103\ 8629840243084400472667904037254938*c_0101_4 + 9469960805513024940967222094009016488345017942733682380500098531373\ 876536027741499897/190943913672017064429708132493710851106074441038\ 629840243084400472667904037254938, c_0011_0 - 1, c_0011_1 - 287059091207002763753488939490825442978876643552579035077820\ 603474796623715319/357572872044975776085595753733540919674296706064\ 849888095663671297130906436807*c_0101_4^30 + 4416189381674535556861641244642127237237839629366896124213139834786\ 609129702339/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^29 - 1967869635399393001184557628763898268284088678527168261787004962150\ 3175072896126/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^28 + 1776424665554341935075838506545719564882129554982464428151357110317\ 516049283775/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^27 + 4764894059592924981161687058515616870712739968345861567895506765008\ 8749033101296/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^26 - 1991841822140050384309482772348198762819870118838960872828658715186\ 51303043014364/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^25 + 3980745812791712928060463919375238005114411361315292002796387018273\ 60535698049074/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^24 - 5496718888657163873463072139842220668481452568780733351469376114418\ 62663391978987/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^23 - 3815750282339993898108149750031661683005208982545432878138524040584\ 242885972436639/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^22 + 4568573619576775813719292854248412883647644795598625009414258667389\ 857092218475066/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^21 - 1120270609113831207115040073660828212467015553736329921543433760252\ 465947369171130/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^20 - 1801993582753133541354162729385184320613652497467918877571821446917\ 201234811360580/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^19 + 1462663626140631138915473628702639963297587738914757142517821584350\ 5210556907670910/35757287204497577608559575373354091967429670606484\ 9888095663671297130906436807*c_0101_4^18 - 4418468004790939226744067813372786784411263825064387346704046589051\ 852806338597941/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^17 + 7571541764845105261490312484082976055501979342654668095907330538659\ 194511202963055/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^16 + 2216925864968357376517695033063983022303631287490515173922691899097\ 805298465766284/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^15 - 5024406178943521797213897747023259529115753922436952147474354002640\ 022765931741615/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^14 + 1783237682273848555291016637633033897984117776255006819004631811651\ 8496722224630722/35757287204497577608559575373354091967429670606484\ 9888095663671297130906436807*c_0101_4^13 - 2134074189784481703360026188817144942841541885307595696754857002451\ 2084949030629054/35757287204497577608559575373354091967429670606484\ 9888095663671297130906436807*c_0101_4^12 + 2973469334278549304699377937597883963192102508865487740529455600619\ 807588841620728/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^11 + 1119319846827948942078214232365069409126447416166526797557272708750\ 678935211353435/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^10 - 1921054653928739849571292847541627722013057946119402710084767998380\ 712899604859263/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^9 + 6389254952010857930758088981829025678974626495060397716465795778606\ 840644657783942/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^8 - 1014727087235819451407838201320452509807126914854665755080816902184\ 024362088402785/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^7 + 2236181292755427401627403418866865830653033112276556816148959003258\ 866640441715288/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^6 - 2069734602679957165915306398937358710047060041293196991084126271754\ 11100667356092/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^5 + 4984298683687679685904329170793779317628331376207432114539462931619\ 9204159563068/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^4 - 4714536713489332494871992574008436565146421311712306219608757113841\ 7697155501761/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^3 - 4238415814637530853679515697059499822861422621196467890201900146002\ 4878287163840/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^2 - 8627936761257751105012178714166459355727778634363051472090720905268\ 618546611138/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4 - 2057833909327613850379822899018599907994179375192434098860508694412\ 70691577896/1191909573483252586951985845778469732247655686882832960\ 31887890432376968812269, c_0011_3 + 170568263828559101184544913771820983929417618150511625551510\ 379771395611506152/107271861613492732825678726120062275902289011819\ 4549664286991013891392719310421*c_0101_4^30 - 2892008813690878272438468717535693747741314689116204374132418849022\ 88965617136/1191909573483252586951985845778469732247655686882832960\ 31887890432376968812269*c_0101_4^29 + 3783605539311318037080033346754779022031069756316338672851144950961\ 240293001890/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^28 + 2099830280732692107862967428052687494960669862286458224676620409729\ 94948282614/3575728720449757760855957537335409196742967060648498880\ 95663671297130906436807*c_0101_4^27 - 8604899231455988526633380011113134617890154331387556878961377038012\ 9570200404639/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^26 + 1076603658817418125532191608419919040373960291145526598027786488125\ 59424569169410/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^25 - 7149162969540115069274363814561020102631784606204198475595668434228\ 0792481932654/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^24 + 9611737445787612696901706879856649411196739860763850815767842354753\ 2694433008033/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^23 + 2328216451291931754568968805889654086934153471280698141426711965741\ 913822604326414/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^22 - 8188620810336038910692813345906534280166205682295606256135062705862\ 55970751781038/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^21 + 1375041833956910652383837782462644145005509902121227596905973735409\ 2824309578773/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^20 + 1339457847161485100121917114284275559431260812685518775737937052421\ 561424310648658/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^19 - 9573389230064912112294947277867208250276699371610413361234854869268\ 84202350988395/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^18 + 6692960736140614085301797085569016329766486569071532703068708698696\ 569217446451795/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^17 - 1306426953017303457138819552265811121139660919006604079619695381938\ 332837302686542/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^16 - 2051688598621612594961880399479287481660538716514633986535550917484\ 001148110516981/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^15 + 3222138663430415429486916948287351048002938738825157614061042876877\ 432252361979720/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^14 - 8833798657979150677991065917343645449985094557488853827178186524025\ 330210357351640/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^13 + 1092274636225245341111249425404541759828572845580963891656764629305\ 3386495621378303/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^12 + 9100423907642498733059073642226044726911472399819048321173859199397\ 21719977058598/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^11 - 1900173432289616122113372953018552476080978826297685495160557826047\ 25958586478541/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^10 + 3416819055238284327410466665426618920697505925272317192208498639805\ 375375583228615/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^9 - 3371133350951719365634841942613429063522343089200985709012994929858\ 440829952605148/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^8 + 9587530382044833912208343443670819200455606670102593747323537565465\ 80754636194831/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^7 - 8794376552933654824208251079510146162053744227294702214066712306252\ 78521425126750/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^6 + 5179431107945204982586072189348011503435761343999671604385592081153\ 3002750192989/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^5 + 1519419765734949626825532792565061634099809374069071251806193767437\ 5407302902458/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^4 - 3013914526581929502319658185982682779251378403499703274994331784554\ 570448272351/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421*c_0101_4^3 + 1297330362865830635957348498921980324345650956624480434845027315443\ 1223419981337/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^2 + 9588907855374201179240696695872608175548835129096507527659440114687\ 035035494842/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421*c_0101_4 + 7605249984707974358478688422711851865951773325645457880187174749262\ 63535059650/1072718616134927328256787261200622759022890118194549664\ 286991013891392719310421, c_0011_6 + 737970987619219749983346683709864716983764140747245293556110\ 23626426910912336/1072718616134927328256787261200622759022890118194\ 549664286991013891392719310421*c_0101_4^30 - 3688403918605296956975156711854731750868198118417238567395911083292\ 58943118087/3575728720449757760855957537335409196742967060648498880\ 95663671297130906436807*c_0101_4^29 + 5134743519932881754194954378949821655826970419178350301928271642040\ 55500083963/1191909573483252586951985845778469732247655686882832960\ 31887890432376968812269*c_0101_4^28 + 4798206962725944888145185830286964385704181767419662311092530356911\ 11882353297/3575728720449757760855957537335409196742967060648498880\ 95663671297130906436807*c_0101_4^27 - 3660746786785271998670820859497203910564227858399652724570203160353\ 8560546721420/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^26 + 3698421531102635367579615701238366923988736862784944189760415290430\ 0316191016675/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^25 - 2828507145910236823844854412307815408315345306010084315391397804283\ 7895988524465/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^24 + 1153671361636032992901647036221998911753301830645444288711489886465\ 4868036118000/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^23 + 1029645830539951779559587302237072799497264006054911649499842632425\ 864075295364552/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^22 - 2617045872387509906999708027043182459530996303307278415216449239523\ 54270720735132/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^21 - 3271824446960998491909263560256107304212895939072022475693315159280\ 0381534215154/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^20 + 5292039624884182770759004636255421581714179925557838466396296953552\ 60384939983065/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^19 - 1189291503604913873784763327063514653473460868529814311340087678114\ 258107899368048/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^18 + 1985025410420022991186448866369046928692752179834751418386584681563\ 329822592937535/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^17 - 5294236186920422791374263583984806283478115220651696999015003661053\ 50952900525591/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^16 - 1292122048059055014581271684597893450339189559648785532518330558467\ 599329897238443/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^15 + 9382256359140509686025093750089923877081729331027959221017462323671\ 38760361453372/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^14 - 3414136216989143477281677184020440657142805557159094297375193555852\ 998569106609277/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^13 + 3758055453430098472599060292009685565618604393870369319211819824972\ 239657222951963/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^12 + 9770309070960331836552801123957532871051806829354957618686911603089\ 42159641770983/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^11 - 1437800665488002928860077861245057559017046900396572390074016023953\ 53585064494107/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^10 + 1392384845800509519589508599905059919134381543103273712487599915240\ 700118078745472/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^9 - 1042737919471036986099269243717562901429047208774938708537459496329\ 113208388733327/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^8 + 3041584317279354738311519473873034302157076717901198103624302299825\ 63484613839880/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^7 - 2887424306904697461931930360977866359896288065257449563578067219543\ 23105956910442/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^6 - 1350054279668766268186182970227163448635555092977022053996024946230\ 1661861869799/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^5 + 7766383860609412772906635253239227420078625804054784509904346384763\ 85471975386/3575728720449757760855957537335409196742967060648498880\ 95663671297130906436807*c_0101_4^4 - 2065644101526229566297957615070466789462788691379659801967521818579\ 193230730626/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421*c_0101_4^3 + 9964725551679809995561971087180449646426978222712393920319977075554\ 51545107477/1191909573483252586951985845778469732247655686882832960\ 31887890432376968812269*c_0101_4^2 + 3100487206003026277544981153020521212061409968274552705102684160361\ 626216530181/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421*c_0101_4 + 2163787239958037340498082042460173311253715380739631684266105374117\ 73567386763/1072718616134927328256787261200622759022890118194549664\ 286991013891392719310421, c_0101_0 - 617880897739827733037406848011595395653095516080703368194626\ 939422290626479580/107271861613492732825678726120062275902289011819\ 4549664286991013891392719310421*c_0101_4^30 + 3123452048812966215970007386348532833486712836693796199228767506737\ 276870466250/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^29 - 1342258435192834857083292078495744709586158688090667706930727443300\ 8982583833421/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^28 - 6195101822477312988350707047624982779994466706396487269190979460311\ 27131821052/1191909573483252586951985845778469732247655686882832960\ 31887890432376968812269*c_0101_4^27 + 3090212136914272322338749706607739454605085662680809796775250925162\ 14331378979158/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^26 - 3610449309127682299920430065394137342119946832057515006506584522021\ 33248998551784/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^25 + 8430700100974918729676428653442040926406636740574817156756810758820\ 4537610143610/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^24 - 3308666271536382853059312165674863211624864253104283871535524161225\ 81818972063138/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^23 - 8480536038288912311733801296295814294836787265885371349056863671666\ 865465534154871/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^22 + 8939516678631388324398777456518354963832623162992195196529009241559\ 13890367614966/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^21 - 4522333625130347981615647838867591480782526312263320425820585663790\ 2136269494654/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^20 - 4463723730079336064776579050913910060847145029752757741539280822565\ 644472481195527/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^19 + 1019386317851802111881755884299335018507517532077521858060703963403\ 3507203505340715/35757287204497577608559575373354091967429670606484\ 9888095663671297130906436807*c_0101_4^18 - 2160991639163370983654224287880231295796406146718562008891316528333\ 6102336489342020/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^17 + 4695694972245274581103089824938654694161894468739364547442068714648\ 774041813788264/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^16 + 8382263656086315260887132824600131257751726879106372019701035739363\ 866677109764754/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^15 - 9922003379166903286242236866042484935043180500371103393308259642591\ 811284541216767/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^14 + 3077516987310725926644560443911826099005033155376380668023368387537\ 3395399845160715/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^13 - 3727489897772519617289220188856950633545698933390151885437499227720\ 7770617530377808/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^12 - 3765696002500776843171376864720300910936981503819801606995106648061\ 266105132045292/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^11 + 1441678315342522311561305426878550996337233237898447965938397241129\ 779000543388835/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^10 - 1162496624574057150162832773065255846828729610536499852214124307516\ 2317180525554977/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^9 + 1104855662204003926535137996116200683724508068778414588750485927645\ 1674063721266606/10727186161349273282567872612006227590228901181945\ 49664286991013891392719310421*c_0101_4^8 - 3487861995315544711591094681558408898396747441970958718770233759658\ 833163455679810/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^7 + 3226167166369973765729256339174562408912946082121706232025785449575\ 027017993532811/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^6 - 2970369253198379893106840912042538569384412805565939064530897270411\ 26270684151810/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^5 - 6303178202720373797164919904875105692127978087881590480179001762990\ 926379683611/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^4 - 2537663189471748047472774641633805431078920717506030273836300007711\ 1720607291450/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^3 - 3680835781881511688169369050968643896078912421069674074782405845813\ 5971915472965/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^2 - 3410748235506227713475897720185210833073953192404943258109166902227\ 2077469461400/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4 - 2714984984139896134492589105067243399238829206874108753167033510017\ 306514388186/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421, c_0101_3 - 129739899058431797877683672748490494885347898390564608060517\ 548710539564687722/107271861613492732825678726120062275902289011819\ 4549664286991013891392719310421*c_0101_4^30 + 6659838824234643939624515775488031650670203068189528464217654847637\ 44390517536/3575728720449757760855957537335409196742967060648498880\ 95663671297130906436807*c_0101_4^29 - 2970941256741725382610361489708344010900470051519804021269015932720\ 225300388005/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^28 + 8449424040651428491911576200993181436459803423734960040705349594883\ 7488959995/11919095734832525869519858457784697322476556868828329603\ 1887890432376968812269*c_0101_4^27 + 6534280295581238484136081545695649217311200843221251989209087210234\ 8058890860219/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^26 - 9077187386321287910021426087590378815593530291853514264363423302523\ 2423556735557/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^25 + 1947824656058278163517411653113377235598192617047871658123009574827\ 7040613113170/11919095734832525869519858457784697322476556868828329\ 6031887890432376968812269*c_0101_4^24 - 8172361914199707189179936135517742161914104807759124079785320795027\ 3954858240310/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^23 - 1734088250363601495754222178710168553228292727866188298570403422726\ 965211880104059/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^22 + 2341323847819833402403963490928501313338570406517346584526993582283\ 13956892931702/1191909573483252586951985845778469732247655686882832\ 96031887890432376968812269*c_0101_4^21 - 1234072298673950744174531447699999013406417710764650201197004084191\ 08389846321013/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^20 - 9351318803877098225622675345430018776574203257724878680003825557950\ 59767005494189/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^19 + 2199817359887214713841603639275875612469025475788509626640312373597\ 864908212519946/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^18 - 5977915674448964177201266043592351598683017057093404381234677650717\ 296025570692930/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^17 + 1087256884338009953940830894056011320924799986698034098801303049772\ 636329811254701/119190957348325258695198584577846973224765568688283\ 296031887890432376968812269*c_0101_4^16 + 1049760608381723864509306085554136920136882686806187766474068605994\ 332793959989783/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^15 - 2533348671148097306539257444708428383285295683377206001164899155481\ 416965169970603/357572872044975776085595753733540919674296706064849\ 888095663671297130906436807*c_0101_4^14 + 7455055886268506717063683661841878408242792122685949840062637837273\ 675616253584449/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^13 - 9305311823744041216544955077283451935792756930771760598722180656143\ 375181274834237/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^12 + 8914165988027995811890172250491788706917496866770736604261866244984\ 45794062685846/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^11 + 3035515918394418042540277010537703586324696638891244408208658658638\ 29589044213104/3575728720449757760855957537335409196742967060648498\ 88095663671297130906436807*c_0101_4^10 - 2475375534420932544528639001356669517493514331631234504862516290632\ 756447852695437/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^9 + 2803781052702308005368445511547511328121702965361052955171803808294\ 397034133736158/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^8 - 1180155891440790284090565356428055762580538598617811411691284866725\ 470868685555706/107271861613492732825678726120062275902289011819454\ 9664286991013891392719310421*c_0101_4^7 + 9249284917668098988379157829892392990277758614837701928539257743019\ 20252108662931/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^6 - 2353866028159225855753463299628066046983053597305898073203736086344\ 78117448758398/1072718616134927328256787261200622759022890118194549\ 664286991013891392719310421*c_0101_4^5 + 1577146275661542157552610412199448650364295548170977199961843414836\ 0193979148094/35757287204497577608559575373354091967429670606484988\ 8095663671297130906436807*c_0101_4^4 - 2176929135125561472858971733766222733286463177689213407661626150535\ 8510624476853/10727186161349273282567872612006227590228901181945496\ 64286991013891392719310421*c_0101_4^3 - 6458044767297089129763968640860811464131474629328739495079331444678\ 836546451625/357572872044975776085595753733540919674296706064849888\ 095663671297130906436807*c_0101_4^2 - 6871545166740954787533502547065650478121838491543019394075044430302\ 528130888625/107271861613492732825678726120062275902289011819454966\ 4286991013891392719310421*c_0101_4 - 5787286872187243169267371866289408225064558802410982705854069729645\ 25098859314/1072718616134927328256787261200622759022890118194549664\ 286991013891392719310421, c_0101_4^31 - 16*c_0101_4^30 + 78*c_0101_4^29 - 48*c_0101_4^28 - 496*c_0101_4^27 + 1001*c_0101_4^26 - 1801*c_0101_4^25 + 2748*c_0101_4^24 + 12151*c_0101_4^23 - 24154*c_0101_4^22 + 13368*c_0101_4^21 + 4367*c_0101_4^20 - 54959*c_0101_4^19 + 77339*c_0101_4^18 - 106214*c_0101_4^17 + 24117*c_0101_4^16 + 68868*c_0101_4^15 - 94120*c_0101_4^14 + 110841*c_0101_4^13 - 54322*c_0101_4^12 + 521*c_0101_4^11 + 22963*c_0101_4^10 - 34334*c_0101_4^9 + 23750*c_0101_4^8 - 13709*c_0101_4^7 + 6626*c_0101_4^6 - 1669*c_0101_4^5 + 412*c_0101_4^4 + 59*c_0101_4^3 - 62*c_0101_4^2 - 18*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB