Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 3263389204] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1101 geometric_solution 4.96710301 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 1 0 0 -1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1.187845738393 1.748615955093 0 1 0 1 0132 1302 1023 2031 0 0 0 0 0 0 0 0 -1 0 1 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 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.370623913833 0.079545286727 0 0 4 3 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 1 -1 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.168284245592 0.973550025778 5 4 2 4 0132 1023 0132 3012 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 0 0 0 0 0 0.438524096332 1.222878658043 3 5 3 2 1023 3201 1230 0132 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 -1 0 1 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.438524096332 1.222878658043 3 6 4 6 0132 0132 2310 2310 0 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 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.138306600819 1.380054984010 5 5 6 6 3201 0132 1230 3012 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 -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.271930819675 0.144647309375 ==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' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2073576640351650458876877559611306048183278700051371738964490843277\ 17005479526586466189/6508325366442225789764816089882552273188415441\ 84799265856830046954159566154789494792*c_0110_6^33 + 4312673875557277571436638778558088917445322562568625301102928984828\ 73318242241702729/5630039244327184939242920492977986395491708859730\ 09745550891044077992704286150082*c_0110_6^32 - 1178120730898215437628615330374223812443039511207279214847690322946\ 691893471112419938971/813540670805278223720602011235319034148551930\ 23099908232103755869269945769348686849*c_0110_6^31 - 5700543322224898492470722863356546008652968050228461022661913628191\ 975525699675799087145/325416268322111289488240804494127613659420772\ 092399632928415023477079783077394747396*c_0110_6^30 + 1730522278769589893862448078579235180372987571176765550268212412579\ 1921148618281202349745/81354067080527822372060201123531903414855193\ 023099908232103755869269945769348686849*c_0110_6^29 + 1317525066904734410195901319551376329801435487113217051842951484639\ 1763063631130434625731/29583297120191935408021891317647964878129161\ 099309057538946820316098162097944977036*c_0110_6^28 - 2090659800707886908793478380993118680073843532137104589079156808060\ 457549655471475042051911/650832536644222578976481608988255227318841\ 544184799265856830046954159566154789494792*c_0110_6^27 - 2244851771322938711845095089895043477190154309419722664098002445846\ 03365557306199456679237/6508325366442225789764816089882552273188415\ 44184799265856830046954159566154789494792*c_0110_6^26 + 1391210904494637933761298049891310476054581143830416736113475086717\ 1391858195691265091761513/65083253664422257897648160898825522731884\ 1544184799265856830046954159566154789494792*c_0110_6^25 - 6058761246876431641476236201636932233193535839514971363646644810764\ 017052726813373326536597/325416268322111289488240804494127613659420\ 772092399632928415023477079783077394747396*c_0110_6^24 - 1411981310156105021886390357773476004946296192874477587849456029712\ 1440933277990287952706747/21694417888140752632549386966275174243961\ 3848061599755285610015651386522051596498264*c_0110_6^23 + 2190466527229738038647673515720650575464548406400544154374925672798\ 8211252066575468462349437/21694417888140752632549386966275174243961\ 3848061599755285610015651386522051596498264*c_0110_6^22 + 1116206010027520315969857075401280650759438621690067364951384997189\ 036170200090090527259623/127614222871416191956172864507501024964478\ 73415388220899153530332434501297152735192*c_0110_6^21 - 8763412369075192904689443413598783827958743926632170504319788577235\ 325292582737752286849877/361573631469012543875823116104586237399356\ 41343599959214268335941897753675266083044*c_0110_6^20 - 3049032502037898630679932668438527525041206107876717720469190651410\ 726072991765058079935219/650832536644222578976481608988255227318841\ 544184799265856830046954159566154789494792*c_0110_6^19 + 3588701819975331426088191324856127653847338661686557512922512221812\ 7056872008865141452950055/10847208944070376316274693483137587121980\ 6924030799877642805007825693261025798249132*c_0110_6^18 - 1345932082609632623361306846956766027563357423241822461129375809344\ 2275142519875232504514353/81354067080527822372060201123531903414855\ 193023099908232103755869269945769348686849*c_0110_6^17 - 5817082027498836252673624484885169036998575663636746270089848366474\ 2059050887826714573356767/21694417888140752632549386966275174243961\ 3848061599755285610015651386522051596498264*c_0110_6^16 + 1927132691704487571443540446900727474272373924281050699497537204136\ 69858856998448986367186063/6508325366442225789764816089882552273188\ 41544184799265856830046954159566154789494792*c_0110_6^15 + 2798758483602142808837353312043114631408481805225414620532364232061\ 9711823763552468221232771/32541626832211128948824080449412761365942\ 0772092399632928415023477079783077394747396*c_0110_6^14 - 1743660893112036845382305795531136606302573315469906277477647441676\ 49344499189177384710915175/6508325366442225789764816089882552273188\ 41544184799265856830046954159566154789494792*c_0110_6^13 + 3796453357735063554895311266723232951638891047910055038240643140909\ 0341015965314983220853655/65083253664422257897648160898825522731884\ 1544184799265856830046954159566154789494792*c_0110_6^12 + 1995291459403507945604987974776075582525933298496826868977570267363\ 3032005044539624086195489/16270813416105564474412040224706380682971\ 0386046199816464207511738539891538697373698*c_0110_6^11 - 1049880013127851778978118811568718348494736569369297730321803333624\ 5131105593265165120702011/16270813416105564474412040224706380682971\ 0386046199816464207511738539891538697373698*c_0110_6^10 - 8170945163094658230923418778947668516419719443430728130146616451905\ 246752170302877054777303/325416268322111289488240804494127613659420\ 772092399632928415023477079783077394747396*c_0110_6^9 + 7270325129040078554787059273205727610860666973341103057186107894770\ 94305632699097857250247/2958329712019193540802189131764796487812916\ 1099309057538946820316098162097944977036*c_0110_6^8 - 6642112187284364856434690163592224445284452679386430585270177953159\ 2367705101629914572513/65083253664422257897648160898825522731884154\ 4184799265856830046954159566154789494792*c_0110_6^7 - 3695370526497222325519464475668716465546793852183705670775021694842\ 29859190485920294864148/8135406708052782237206020112353190341485519\ 3023099908232103755869269945769348686849*c_0110_6^6 + 1615510449990948134166645127380970476492860116506728658373578436084\ 47609325145693848230481/1627081341610556447441204022470638068297103\ 86046199816464207511738539891538697373698*c_0110_6^5 + 5744839169532939227563089689057414157126822944519046057207115257806\ 0300533159742930405459/16270813416105564474412040224706380682971038\ 6046199816464207511738539891538697373698*c_0110_6^4 - 1665161994146996252043574293968166932380734453256972646961726015008\ 1498686768792142301901/10847208944070376316274693483137587121980692\ 4030799877642805007825693261025798249132*c_0110_6^3 - 5887046106068692317131950488719140835054596957560814084896887615879\ 005459407588463505/723147262938025087751646232209172474798712826871\ 99918428536671883795507350532166088*c_0110_6^2 + 5700779608077700477997687051963605973957702764262944644435342226141\ 10656400929964376544/8135406708052782237206020112353190341485519302\ 3099908232103755869269945769348686849*c_0110_6 - 5415184495732802824094757557120380185203671113958325218204288219157\ 62276591735481445259/6508325366442225789764816089882552273188415441\ 84799265856830046954159566154789494792, c_0011_0 - 1, c_0011_3 - 158243078098754456627664442177978962644388586264952764396325\ 493243273355219255064/145016162353882036313832800576705710186907652\ 447593419308562844686755696558553809*c_0110_6^33 - 3931470750078418410717122679808152814451840772619053362396157569954\ 30769426966362/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809*c_0110_6^32 + 7164788970570131960560635757715429757325782679938083632809502245987\ 599692515764117/145016162353882036313832800576705710186907652447593\ 419308562844686755696558553809*c_0110_6^31 + 9288242222746286411649266017981876281961992327899243008881500595047\ 426854313204251/145016162353882036313832800576705710186907652447593\ 419308562844686755696558553809*c_0110_6^30 - 1050628587412197630004030851516129394809461944486232269978581753555\ 67745856461803147/1450161623538820363138328005767057101869076524475\ 93419308562844686755696558553809*c_0110_6^29 - 2300120545101753586373381254918612819849082678867965180880589624060\ 01110184409508466/1450161623538820363138328005767057101869076524475\ 93419308562844686755696558553809*c_0110_6^28 + 1579173530300701184361311362531286976131299482386368235247431261754\ 440414250483294731/145016162353882036313832800576705710186907652447\ 593419308562844686755696558553809*c_0110_6^27 + 3057281782078625990512876532211569988458292931401860262255482826751\ 01600803661127853/1450161623538820363138328005767057101869076524475\ 93419308562844686755696558553809*c_0110_6^26 - 1062253499627436833311085377909434429150608393242016778505538909761\ 1186214053476412359/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^25 + 8354055772865781608634716013648197805882782733624003512774189391590\ 665528529311433926/145016162353882036313832800576705710186907652447\ 593419308562844686755696558553809*c_0110_6^24 + 1107277071864195278862285299410837663324753997356343610323556542948\ 9059875766333748259/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^23 - 1581332284712408586752139625029182990424521289752478689354263146770\ 4334739593479507295/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^22 - 1602956651468218114121101854654285978496983345962270840374259296347\ 2369418122256543591/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^21 + 2290176713181661753632284681522313384865288194943818792798667287033\ 716196312907868306/284345416380160855517319216817070019974328730289\ 3988613893389111505013658010859*c_0110_6^20 + 1347716041695384156851866475119317022489116696510580263682995583674\ 0283489282692749599/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^19 - 5481685301422565909907812119776616232426339074796506311513024554598\ 1039676443336500922/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^18 + 6675873675771613184459925695915118214070629643277744389259733529015\ 6305106386478834065/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^17 + 4699407387949936997558120849438494959693137883227911967731597121884\ 2027606511643046587/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^16 - 1342324981127934124813007670232656572042274157187002528168277313406\ 48510387089832166035/1450161623538820363138328005767057101869076524\ 47593419308562844686755696558553809*c_0110_6^15 - 5662473716035879252901600893169218716144410305940903587464124792402\ 0707778863063060011/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^14 + 1284536569527265945622050243255027599558200055609280601311971387377\ 11703254226994351551/1450161623538820363138328005767057101869076524\ 47593419308562844686755696558553809*c_0110_6^13 - 1598406032833722159743056114584764443639817563848270585645175699392\ 4402045682133002596/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^12 - 6313385092037309875792808343493587058111659029363069973568375598718\ 8597843458587804904/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^11 + 2551337620878277104872300524371957157122867554616796479187367162790\ 1914868602423660173/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^10 + 1536471941134863490178322518777322399671806310670355593910968397910\ 3586371808203284316/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^9 - 1048019381600382291593376750082755480189238588407239902560900653440\ 1868567041974329601/14501616235388203631383280057670571018690765244\ 7593419308562844686755696558553809*c_0110_6^8 - 1146364464464142399744314293042630482517509085732448712583370715392\ 601612250321748339/145016162353882036313832800576705710186907652447\ 593419308562844686755696558553809*c_0110_6^7 + 2078424400608357114269147852121668252326689464791132252310945639177\ 026381818350444170/145016162353882036313832800576705710186907652447\ 593419308562844686755696558553809*c_0110_6^6 - 2414819608454107720883760325804908500533059032664958288188902051180\ 45036711778673891/1450161623538820363138328005767057101869076524475\ 93419308562844686755696558553809*c_0110_6^5 - 1926070413962216745476777789960659446685524282721464084109022013952\ 53465405956654252/1450161623538820363138328005767057101869076524475\ 93419308562844686755696558553809*c_0110_6^4 + 1630093956898715559191652226694957565879834552329224494847607239180\ 9830515740791740/48338720784627345437944266858901903395635884149197\ 806436187614895585232186184603*c_0110_6^3 + 1668252144777402477837984242144018692696756716995077653672243424191\ 463037199323055/483387207846273454379442668589019033956358841491978\ 06436187614895585232186184603*c_0110_6^2 - 1985815489051603204984773053470223594057289257828647592764286394465\ 295632755334752/145016162353882036313832800576705710186907652447593\ 419308562844686755696558553809*c_0110_6 + 1758716645369283900419214976865317862526407680091283641041622935805\ 11935578499865/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809, c_0101_0 - 242792869368379677172663456070903587687738443268746519728810\ 9569089340701279933482/24652747600159946173351576098039970731774300\ 91609088128245568359674846841495414753*c_0110_6^33 - 4620384856362019886983027394009215598346465189222936189668757831344\ 13659245242481/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809*c_0110_6^32 + 1053825434796663955968216762608952085721916279611341752658318131076\ 75952268513272480/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^31 + 2253039206624872600859548652862336627213756663701342202175279929205\ 76529648762456928/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^30 - 1503152275845059128505206238774105186068979773767239527137530019444\ 606475856811326113/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^29 - 4751851440030216194642055087345850685840765472950520730676955646286\ 930423646262929670/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^28 + 2154023207378128102383371692846421198025474800750784119077616518078\ 1104294094208673310/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^27 + 2304468110643843185581597314403239498207132291113112070004877660226\ 3825085737251264091/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^26 - 1586887265384842311311656645402309605007621040641354044571007505579\ 89344618188823827481/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^25 + 3072081408248445954305274849109514838658742005907284521463257576809\ 775342941722744042/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^24 + 2007715450942282388814989996786861834468783528802473348732630396677\ 53902622648396619761/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^23 - 1082347041085349221357037638777739059411852788017649672691585095284\ 02182959281609671733/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^22 - 2519531779057465038867598622462812460402770596029850824334741558747\ 9827017055337960527/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^21 + 3884605247004282532416438798997725565421393020540546575150559490036\ 81435110745745458760/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^20 + 1597902413490133492009586281745900328541898752559883889959746131808\ 979234227417071894438/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^19 - 7445083480967228744820226962228019531276648997541498132179938840764\ 75966403516483837947/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^18 - 1016547146992654081902880503748683643805260157135026590264882065938\ 018479903120705914633/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^17 + 9350319468956087089313664207947319233740576197122206996723322295450\ 91213830381489303947/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^16 - 1918153553475620531879748933242040979789475511002384780884899987497\ 07506911779660789517/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^15 - 2389069790557402333540014925777218442637428477250096019644194870128\ 396388634847645298958/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^14 + 1063024112180571535888682475261537577944254568387615327041564233616\ 471307695768075568596/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^13 + 1333035062679803255687342007918213954521163660907172976013881180653\ 849001278337455913089/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^12 - 9895369863440301359346028157107481040746753661178451616938708897272\ 82859033239559556768/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^11 - 4736058052876553628259973117212976430990738910843654346610943713398\ 48275090250660788555/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^10 + 4812185343510527893793116513225334780083585617682380941728062296967\ 09771277805468288825/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^9 + 9323851179098317764717836891393257785753243213305629877414247184673\ 9985560555384687585/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^8 - 1375817365771989894086214246892541522603263498943932230772574924237\ 12133007309561086500/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^7 - 2384148023924411599653618484081916351099502892968004766447355950866\ 719185973348145955/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^6 + 2397657318112742161089070063092338703621287266383149518447428193744\ 5113456174076785543/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^5 - 2965827506648503365621932556500977691747358483092472569192126745741\ 076528171460675153/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^4 - 8362942013943180809193363760499302736793951495952489013120314698256\ 14332499864620688/8217582533386648724450525366013323577258100305363\ 62709415189453224948947165138251*c_0110_6^3 + 1668471474206790083825653195457935918587030712384398746702665129721\ 87879665399288509/8217582533386648724450525366013323577258100305363\ 62709415189453224948947165138251*c_0110_6^2 + 1153110982197523129670514148162805078353063259337952558764580492629\ 60637950623287480/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6 - 2271590464992153522847515397768628607888158733079179014828956039102\ 8517387465187153/24652747600159946173351576098039970731774300916090\ 88128245568359674846841495414753, c_0101_1 + 363783652616527281481559050820852553827982775315402875833077\ 4769029684272978873337/24652747600159946173351576098039970731774300\ 91609088128245568359674846841495414753*c_0110_6^33 + 7775198985219375047318693713602986165226923134520198054445222971218\ 12194279411178/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809*c_0110_6^32 - 1527110686857660749491610959233280859468746372352813283376468860304\ 77307616700359684/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^31 - 3978671180359314875439138461788888590549360136987684783717739387084\ 65648661981646478/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^30 + 2099634284216017920227265778345804631385280189787985612947827428569\ 193597658643250979/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^29 + 7929312748801789336693993964623826510252786771818906939237941455538\ 413282287522386148/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^28 - 2923378325277271740068522713075795782978601099032727967682909439580\ 1144463671005808014/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^27 - 4584936745159013777190473849347277931728833273754881065444381044192\ 7869130842704614994/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^26 + 2216676407880555757554204170609310975889838753433591240188540018999\ 27888781220350526786/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^25 + 7756198821919548263362298040886864016979884040936265847792350520464\ 6128536517496139459/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^24 - 2942601674231170175776841529739408924783140494862326152938897276988\ 67613482032350016588/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^23 + 6116809581525760096474591073039059276092130932811212103549236949762\ 8137271260902355519/82175825333866487244505253660133235772581003053\ 6362709415189453224948947165138251*c_0110_6^22 + 3938574057678151527455889414985908418988072412020668406277893991953\ 1905346821951986305/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^21 - 3752068599383966209897139216881296266217251187640929878024737864465\ 89571142096681481079/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^20 - 2763105727593317837417281044938060357534705223352774001247063362532\ 021042653072749052263/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^19 + 8652630787265018371318516416965849327268462245497075020635881446673\ 68103877283604353272/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^18 + 2247755033783482057563459271034252331262743572067172866964059124733\ 369152262045316399041/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^17 - 1225307424384682748165773898723908680350745522034826592199894161390\ 458956267532454781506/821758253338664872445052536601332357725810030\ 536362709415189453224948947165138251*c_0110_6^16 - 6173966988405583760676318550345362329522666697737822773181224345762\ 48195885455329404268/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^15 + 3483353373542249520342521338208791971110595755890267203269429451957\ 155225660045668256183/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^14 - 8342470781652931705118305113719105036891081110972109858613655412039\ 94788674175574658964/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^13 - 2169021878050612969232666803875764134228795394533228262987168516111\ 862880636555744207073/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^12 + 1059922862808310303575169658948760822268448792118887475325758417429\ 077095230254052957568/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^11 + 8374220504161696391976708253663031706024892685662060623972252587739\ 34843101760927315303/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^10 - 5510897747727811280468103532119553453868640208201776144229993053101\ 79168521940674350688/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^9 - 1768421302896577268616786219705382325417016709288880932631858565879\ 37231701063188170604/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^8 + 1585417757151154837252835720289954773860105506305483084114530259447\ 39075093359569416918/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^7 + 1148228021440939539016303760282052285236979474802970617796857167075\ 5072333420796672323/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^6 - 2686022422565411206142409671409595625679740266388540240438162625607\ 5652904973080813804/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^5 + 2299638341774683232059063847498929306312418258043150669681889125168\ 776390156052610715/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^4 + 8425603255635950996223599950501983780941222913934877694908269438673\ 43005495145759688/8217582533386648724450525366013323577258100305363\ 62709415189453224948947165138251*c_0110_6^3 - 1261190650195409842572410109334909857164408252911454516145384210366\ 53007971812720531/8217582533386648724450525366013323577258100305363\ 62709415189453224948947165138251*c_0110_6^2 - 9588510288414501413420513394984437648850993282795982180629783112599\ 3713072488659187/24652747600159946173351576098039970731774300916090\ 88128245568359674846841495414753*c_0110_6 + 1249319624689739055132354633689824561978628018963852751472457366260\ 0559238649814360/24652747600159946173351576098039970731774300916090\ 88128245568359674846841495414753, c_0101_3 - 174728961974288245202977431026117987717573772550766646800225\ 1799061596511305053254/24652747600159946173351576098039970731774300\ 91609088128245568359674846841495414753*c_0110_6^33 - 3674792510338393197221763496383224387317588780120005312871004233813\ 11718214205661/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809*c_0110_6^32 + 7339891776666958205422052503213777080072084275350979695327233838115\ 1361040107760288/24652747600159946173351576098039970731774300916090\ 88128245568359674846841495414753*c_0110_6^31 + 1856771025021842511493897478900165479670708380286122361327516667583\ 36416627042959530/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^30 - 1006324266440612100806949489766604518580024242117679071212062408486\ 846778784080794863/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^29 - 3715341238755386767888084526569064587964356388501198432485460951294\ 358682576864150675/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^28 + 1408352230652159516856870928551919980499178227232893785345925345045\ 8638291026479903077/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^27 + 2052143474831334596967133995451777118692107673187492079056983978316\ 6091425769564936646/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^26 - 1052563006494459223807853189769966808539856190846171291351273981315\ 48648747116456335220/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^25 - 2725671110641888733417461802378417059642760940020132207623180097517\ 3626929237887276911/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^24 + 1358806941585467064765418853633964300736019085404507149206850226399\ 75782640119000641900/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^23 - 3949441469901270179329770016639051970869138297024334374050126604092\ 0008491469663028577/82175825333866487244505253660133235772581003053\ 6362709415189453224948947165138251*c_0110_6^22 - 1742465629555487510627715729289194650121658452438543924121025860505\ 5445992235934139965/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^21 + 1931587354423326007604991268955205567760667987272068202249663659120\ 50625563264759189435/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^20 + 1143500088008452592600477650308578998885297861576285459983384423821\ 033873737911629462986/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^19 - 4108925627748920257221892519520554315021195340265600724857700895513\ 66752259164678730376/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^18 - 8152582033866206641955787123461597591831807275435193829301055402469\ 51775419040488918065/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^17 + 5444273698084889161394585481002158465558767700889492048541308915431\ 00571697730976315297/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^16 + 5931230847736259451390951760130906862226386367536266324990484614166\ 2004831881767733225/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^15 - 1434304684216915823104169676323380757906070090275181588570848127402\ 725120877727984570346/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^14 + 5093315746618551209327670477632178766813814115356390870789158486610\ 04461325975235076786/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^13 + 7980873923143126311882392526687695432537320513857190446691215158827\ 60097492827368379010/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^12 - 4942024482572643443663707541118030378291278278098966709447168547169\ 86268590800962489673/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^11 - 2546701347575218816003680227791924745427785730144916759329468600681\ 96430951192997360716/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^10 + 2203377204477177279148825227015186758613675817289730737824162641171\ 42472556090786403140/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^9 + 3469869475967778170517996478276627311395897419871743595210351607116\ 4510708765992114411/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^8 - 5452815907762935281825409358987759898824563240974848240825440583179\ 2596214906294978597/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^7 + 2705611023034655671113607280851496582000245691473266466531748799878\ 779804763357359477/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^6 + 7582457478004062249862923836834494353896490667878054491016983853815\ 569791681374204123/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^5 - 1356150402269430953330492208291733057593510686371723472450715729183\ 768991518937430969/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^4 - 1642505228189460903223513665858069013178068564451093371022193934851\ 01197035467561014/8217582533386648724450525366013323577258100305363\ 62709415189453224948947165138251*c_0110_6^3 + 4031852651712979149186036698005738437919682424491732967480552622993\ 1192834299575180/82175825333866487244505253660133235772581003053636\ 2709415189453224948947165138251*c_0110_6^2 + 1167101977605371750449902076048667276134731056260852047973146089076\ 1814957673619531/24652747600159946173351576098039970731774300916090\ 88128245568359674846841495414753*c_0110_6 - 1870655149577769703559422310461738560487705083763302160424882844637\ 476412612288604/246527476001599461733515760980399707317743009160908\ 8128245568359674846841495414753, c_0101_5 + 466464087342798952801071226749716377598981878216832689603622\ 4330286531816055507450/24652747600159946173351576098039970731774300\ 91609088128245568359674846841495414753*c_0110_6^33 + 7665056976175892104182661266773315319218098400743388652128759053014\ 28875317128225/1450161623538820363138328005767057101869076524475934\ 19308562844686755696558553809*c_0110_6^32 - 2072538252628337551794073246927313123023704084059148073291897352308\ 71407109697210085/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^31 - 3379560126848570523214726672362083414992954650749340146892957370835\ 97305002740411979/2465274760015994617335157609803997073177430091609\ 088128245568359674846841495414753*c_0110_6^30 + 2996435763979216256359827110473760480169169510817064247560925697648\ 158788565489698610/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^29 + 7707237354268864136188280449284750959703208186921541022219735877362\ 044388836004519457/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^28 - 4422895658711474698337612974851258410693015619068523986971013800936\ 1334361960763024171/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^27 - 2274529667666528988480676781953465650414882088896987373458128163168\ 2436129477692558389/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^26 + 3070511650481256098781714418748302056787513984422828314289015972885\ 90817013438865278356/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^25 - 1519378908300757537630016499984109503270394398875568592981542062182\ 30736672236874969392/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^24 - 3440578659316574352720687056006955875958020286438214817017179687626\ 80959542497891714185/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^23 + 3629089727550012252984231131192748579927296223923130708181422410758\ 26713126461414786975/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^22 + 3470604022725746511336026038281544212403355853769603577752138778254\ 2649475267175355023/48338720784627345437944266858901903395635884149\ 197806436187614895585232186184603*c_0110_6^21 - 9791731164847358051011975476964283060133443036262842020552986869335\ 44728532525523860254/8217582533386648724450525366013323577258100305\ 36362709415189453224948947165138251*c_0110_6^20 - 1317703614600389979012132472085337671091087378265529313634924529123\ 862142662763764432286/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^19 + 1510627871815225466931501075322315439214695193771136144616970840469\ 625860500289791192594/821758253338664872445052536601332357725810030\ 536362709415189453224948947165138251*c_0110_6^18 - 5955432822337463993831113397690055933334295731432604868953148591095\ 24671705170520709140/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^17 - 1484780014579262268451026726962191786528173786296185818208521281376\ 458686434832540033969/821758253338664872445052536601332357725810030\ 536362709415189453224948947165138251*c_0110_6^16 + 2671367004910098877639693867875153982040299099648874389894018330239\ 050969320940328302623/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^15 + 2574447220670797567793621399707606789360274783857774273078103155090\ 843052275668600022088/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^14 - 3119093157537844468277436652277249734868196407749609908547974410536\ 960876990520364774671/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^13 - 5010790837488254148033145369870378657066802164346448138523304303188\ 93803264193296405653/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^12 + 1810941059814313759296472140138615473738447962616371043003106887543\ 485270199271921383146/246527476001599461733515760980399707317743009\ 1609088128245568359674846841495414753*c_0110_6^11 - 2303615218565945536543513986512036533149513442342243663470075135589\ 91478724407838536617/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^10 - 5697890999288919459241112949073948197170716185870976169837867611628\ 72446520888793580166/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^9 + 1624615814049689412555388382192901508631135469544283715609087452856\ 74477167194158563096/2465274760015994617335157609803997073177430091\ 609088128245568359674846841495414753*c_0110_6^8 + 9372146505379729599765648434598323277805434944978946427473300053448\ 2584255397268620147/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^7 - 4219347653794126068610805844850425070146021045893033053490788045409\ 2963417121692742290/24652747600159946173351576098039970731774300916\ 09088128245568359674846841495414753*c_0110_6^6 - 6325441118231235246558251152045946318692311695796384980688595424546\ 709722965928057459/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^5 + 5440063690608827762531830102498934671480673448457366841460791976206\ 359316660886689303/246527476001599461733515760980399707317743009160\ 9088128245568359674846841495414753*c_0110_6^4 + 3797998703377892709455852143109207353016860223287818739572902193300\ 371320622813481/821758253338664872445052536601332357725810030536362\ 709415189453224948947165138251*c_0110_6^3 - 9904287061706522610034589004659989461043410161578008454312415494224\ 4429443397528501/82175825333866487244505253660133235772581003053636\ 2709415189453224948947165138251*c_0110_6^2 + 4973994723552949267178608029581491029927283638980418242265972214353\ 858716518087307/246527476001599461733515760980399707317743009160908\ 8128245568359674846841495414753*c_0110_6 + 2304510386402390909937598545614962047761745325544953898030706546918\ 591625220103293/246527476001599461733515760980399707317743009160908\ 8128245568359674846841495414753, c_0110_6^34 + 3*c_0110_6^33 - 44*c_0110_6^32 - 82*c_0110_6^31 + 634*c_0110_6^30 + 1794*c_0110_6^29 - 9237*c_0110_6^28 - 7054*c_0110_6^27 + 66262*c_0110_6^26 - 18583*c_0110_6^25 - 237811*c_0110_6^24 + 194664*c_0110_6^23 + 459054*c_0110_6^22 - 592899*c_0110_6^21 - 460781*c_0110_6^20 + 1018025*c_0110_6^19 + 94630*c_0110_6^18 - 1133185*c_0110_6^17 + 424412*c_0110_6^16 + 806747*c_0110_6^15 - 668105*c_0110_6^14 - 309186*c_0110_6^13 + 480921*c_0110_6^12 + 26592*c_0110_6^11 - 192498*c_0110_6^10 + 27936*c_0110_6^9 + 43793*c_0110_6^8 - 13227*c_0110_6^7 - 5204*c_0110_6^6 + 2672*c_0110_6^5 + 206*c_0110_6^4 - 255*c_0110_6^3 + 13*c_0110_6^2 + 9*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB