Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 324177707] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0216 geometric_solution 4.02769744 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.933807851401 0.313736531865 0 0 3 3 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.477288881035 2.091433770147 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503216307632 0.026888315224 4 1 1 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 -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 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.226501208545 0.824457358373 3 5 5 6 0132 2310 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.001527866369 0.580611288750 4 6 3 4 2310 1023 0132 3201 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.001527866369 0.580611288750 5 6 4 6 1023 1302 0132 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 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 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.487474443812 0.883379546364 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_3']), 'c_0011_6' : d['c_0011_5'], '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_0'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 7311830352360144963713075126081981377824828887633324234490277756685\ 698558071944/634856225621627480462567201829919226539504984756903027\ 78978932537983325066185*c_0101_4^25 + 3056416540374521443461282410960658589199911594647695831197299900922\ 4770133171492/63485622562162748046256720182991922653950498475690302\ 778978932537983325066185*c_0101_4^24 + 3191515332918348863551647935406695953715685634529362029870573245599\ 86532995557982/6348562256216274804625672018299192265395049847569030\ 2778978932537983325066185*c_0101_4^23 - 3533674663567156213034410218303975984785476841574487403890250824596\ 5343802139354/11542840465847772372046676396907622300718272450125509\ 59617798773417878637567*c_0101_4^22 + 4736877529717376072283479111608383234332670320009174719950125954672\ 231813441046947/634856225621627480462567201829919226539504984756903\ 02778978932537983325066185*c_0101_4^21 - 1059778728698439751835201104843810946704328106077299283736078494913\ 34171802124491/5771420232923886186023338198453811150359136225062754\ 798088993867089393187835*c_0101_4^20 - 4870193037586280376084635541595080421571710834652190153218239163156\ 4128887871008316/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^19 - 2372977215241335866010312021216911992177104638306027160206922338180\ 3196974497269844/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^18 - 2096822775391564678160420960850944463470728749886972002590883078686\ 5879018637061880/12697124512432549609251344036598384530790099695138\ 060555795786507596665013237*c_0101_4^17 - 4301733158663863085869078232196573043611731125472798930118838848607\ 055490522075693/577142023292388618602333819845381115035913622506275\ 4798088993867089393187835*c_0101_4^16 + 1174284267834291914319290461235580294165687013191785247727968395123\ 3761318866847113/57714202329238861860233381984538111503591362250627\ 54798088993867089393187835*c_0101_4^15 + 7137919911292244633024876554362079851386517614375295547838481767689\ 3270128383921849/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^14 + 2030212213466045377130619264574479689097551514615788656561734703656\ 66678049954267569/6348562256216274804625672018299192265395049847569\ 0302778978932537983325066185*c_0101_4^13 + 1867055648554395673574935351239640008007732410202074397748416622403\ 229394297508817/115428404658477723720466763969076223007182724501255\ 0959617798773417878637567*c_0101_4^12 - 2079107835555709278901634579655906097888298837207571488575485555978\ 4774004748240828/12697124512432549609251344036598384530790099695138\ 060555795786507596665013237*c_0101_4^11 - 1247769970963727225936166064072714960631104717167372840362557869223\ 7145555375382450/12697124512432549609251344036598384530790099695138\ 060555795786507596665013237*c_0101_4^10 - 1059924067509314824877963045483790876057365108468878777387972382589\ 08308423546671287/6348562256216274804625672018299192265395049847569\ 0302778978932537983325066185*c_0101_4^9 - 6075486438086487297698042366460465747382164000791297771555354683403\ 855469885023716/577142023292388618602333819845381115035913622506275\ 4798088993867089393187835*c_0101_4^8 + 2047544433929659161674410031816994071722358726194496591193951993444\ 6760439289804349/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^7 + 2998048789349009804493867305021482432032029082181430443991826200417\ 2112821084921758/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^6 + 1885411047717228239528501552804765756193192395541580865811976449596\ 7213015861852736/63485622562162748046256720182991922653950498475690\ 302778978932537983325066185*c_0101_4^5 + 1171366918217371162161284556317747541048344051003438992542061399960\ 437444757906249/126971245124325496092513440365983845307900996951380\ 60555795786507596665013237*c_0101_4^4 - 5230908491237754094386836627891741376330845506624104177493701700739\ 18111977023062/6348562256216274804625672018299192265395049847569030\ 2778978932537983325066185*c_0101_4^3 - 5803933793690634446314498404680384580291605567594936620131269381792\ 12290347384371/6348562256216274804625672018299192265395049847569030\ 2778978932537983325066185*c_0101_4^2 - 1557438153645577392881301793771253348481121352919054156703848456034\ 34398184158236/6348562256216274804625672018299192265395049847569030\ 2778978932537983325066185*c_0101_4 - 2389601158031083572535187558700125505071040159702258860706708872462\ 3666032675834/63485622562162748046256720182991922653950498475690302\ 778978932537983325066185, c_0011_0 - 1, c_0011_3 - 966448942252365426830154153105407237360316148512044422781055\ 70947616652960/1154284046584777237204667639690762230071827245012550\ 959617798773417878637567*c_0101_4^25 + 4588645032296697522942160798040139568917585740953724727397779478050\ 72651424/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4^24 + 3968526320490796686015999725359988\ 574140469682811484784696838777928960430396/115428404658477723720466\ 7639690762230071827245012550959617798773417878637567*c_0101_4^23 - 2798787924769013627171466989169293692706116701022687743057157004054\ 1414769478/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^22 + 7804194061911954847590190044029512644499773955559131599066758349763\ 7585068399/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^21 - 5684331629553553893485392802640368230398233800166216246612416213984\ 2945724323/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^20 - 6186511990036045671523261108983891981910009774686405839479697541460\ 93418006409/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^19 + 4015173905531673945559771006930231719315411575619519056383703301104\ 8936011778/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^18 - 1338014635354407782946243329614313270188717543981938144425833630081\ 370417982560/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^17 + 1623156930734397758494325243911521125453348600388549379547030419078\ 76323401333/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^16 + 1766831363166073815320344610385792168439598368610558798740374760380\ 719227211780/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^15 - 1018354915141457933759680554446837886780717613942284045844294149356\ 5411376788/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^14 + 2493418989381708700008582823441823267495054237240640945307144422753\ 258009754106/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^13 - 1537747554266175568859753707822771265854253599783293047630224427777\ 49935753086/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^12 - 1590152386279888418391559050402447638303526475544092587027254087726\ 470897675826/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^11 - 3696497423266471276726189250760597731032164190310793887581431034959\ 5488248776/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^10 - 1215523874431026147746931218062271420673818036757343073728540959300\ 304633740882/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^9 - 1038716624380847460012372765592224906546701645053054925075097922820\ 58485075632/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^8 + 4999711258498790828896654169047027082393381975844657393550405679785\ 59358577311/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^7 + 1970121434142952508984164009655028312125240092498397949132524733566\ 21785051817/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^6 + 1040809015098998503395207740636273910598713936562405404121730426763\ 38301584745/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^5 - 2160192804455162521080043946293063443417553148148423684473483368026\ 2221108753/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^4 - 253025836949827773424436819288777\ 16530012367025613650782961703384635009454868/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^3 - 2253170880995279245263355794247659531754785746700985213763266301238\ 308010481/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4^2 - 2562262035320369251886981053392525\ 31032740990408849513784756791787339143479/1154284046584777237204667\ 639690762230071827245012550959617798773417878637567*c_0101_4 - 3674001017682178949237177114500756996010421340304488319194665132406\ 35755825/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567, c_0011_5 + 133515089593219306065435522105428027850301031443400507889615\ 395147135417040/115428404658477723720466763969076223007182724501255\ 0959617798773417878637567*c_0101_4^25 - 6178063519476443062673610749630802523664870285947760925267999264584\ 36204684/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4^24 - 5570257931044834464718071528569462\ 985325507738326539167777558224963300475174/115428404658477723720466\ 7639690762230071827245012550959617798773417878637567*c_0101_4^23 + 3806408827311676469096096368983914813082376801567060968355065087728\ 3279398059/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^22 - 1027254061185150260096003630676717288674973963439628589832903286565\ 06927705133/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^21 + 6198322850982406153879969310950057915423707885005302371670570648158\ 0642828078/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^20 + 8754494269887229971806972421022134152896432026991861277555962714935\ 63325202046/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^19 + 3427639279477580812328056384562972228776440759552826715547510049056\ 5373507697/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^18 + 1776893764499592361776740433285236145092636277602222875838102281048\ 967638529725/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^17 + 4812821345999917229322938266712256620523086053411226819227829840595\ 9795564218/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^16 - 2646170166275821747730166411257484699294694330654574941195100770070\ 883133915111/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^15 - 1617538284853033113199698171215270612582042624372326041620371551925\ 68412458737/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^14 - 3304131539541748116457768401292706456022197599728622810415959518448\ 506136626354/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^13 - 3380483567692664350068681472074458348840039386072258339959234309755\ 16102956176/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^12 + 2546792556184191906191796852220021943059093562759913387321190116643\ 191495283358/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^11 + 1074540374999275494554751099238306746829120834971327294472400662685\ 37467112292/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^10 + 1607248195364680308005461680347953323101434834754564156856014845206\ 309518665748/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^9 + 4621450778726243671292422546903329923139410657427640563343631223239\ 20900557407/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^8 - 8217109180449994868050766930148923010810318961600699930093255918045\ 00326881144/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^7 - 2650366847250507426017249925814540580056921069628446319764654422445\ 30243555446/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^6 - 1481411922484606081704275537809157014422265577097367816858882081647\ 42751275120/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^5 + 3107758942404926806298126326239201128089872672105407855901336946797\ 06610229/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4^4 + 37833097188046835572591314120179426\ 338851022971231254504460346569358248558751/115428404658477723720466\ 7639690762230071827245012550959617798773417878637567*c_0101_4^3 - 2997602930664281672354697996129276485398155750229878747136420193163\ 124711058/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4^2 + 7778055460015212369440883792046107\ 01352313039905179302370211642144350619145/1154284046584777237204667\ 639690762230071827245012550959617798773417878637567*c_0101_4 - 8279728203647160857319189978335174748931315561306190717888724651558\ 6019328/11542840465847772372046676396907622300718272450125509596177\ 98773417878637567, c_0101_0 - 132696387258978544556160216220466764188686677887171440585851\ 42293019814132/1154284046584777237204667639690762230071827245012550\ 959617798773417878637567*c_0101_4^25 + 7761494704899189648074460048967056957084813614997345728499738907548\ 7070118/11542840465847772372046676396907622300718272450125509596177\ 98773417878637567*c_0101_4^24 + 48756256555091548185027460728273544\ 6230215254988347118370216170381326986911/11542840465847772372046676\ 39690762230071827245012550959617798773417878637567*c_0101_4^23 - 4504308237148578758407895588038999127288539925937950524977151055445\ 904763933/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4^22 + 144762068313853293668919876813780\ 08210383825122838705440648896685761871938204/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^21 - 1595602433723042170832688258523727473044314459685580291049072186406\ 8802772279/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^20 - 8746842852734648410892986495155770111979785973347191078051943751838\ 8435626466/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^19 + 1106627346052867145054547695693828874873280113939822278158588302142\ 23877900733/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^18 - 1182786782345452903015007122048778925166935277065763065130070969898\ 36409994663/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^17 + 1947590909514322955302451164101025751159804984202906768025048163045\ 81852756472/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^16 + 4087441225190350962495961650605392405036119020692004793543074276862\ 76864312244/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^15 - 3513670897053151204889268354139872448957790139365560563484169592031\ 48644926361/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^14 + 1891832149181188263152954587892117735303516190248777574954506850443\ 19804285549/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^13 - 3254430515805688314869035971998034350270685439015216609300617692117\ 88679306276/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^12 - 5503243938538832732769172506684265017625277718201367024162112030495\ 29951865116/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^11 + 3786962244195158085214969660679611483101154031055497792844127529158\ 86487554416/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^10 - 7599216112795794308475420336715479894752884593702343264455920218113\ 3598378282/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^9 + 112012450692204300933277250013741\ 727649505240317932441579150049198122500970101/115428404658477723720\ 4667639690762230071827245012550959617798773417878637567*c_0101_4^8 + 2542531525054190639434102090866214842256926443854428628464941334321\ 67270305953/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^7 - 1078033449477888507830423448531128026893671935173535913129929271251\ 89995588773/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^6 - 3483532275946501952264824814196088930942571156019995375900054198810\ 9101067433/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^5 - 220496646563417893000209032522557\ 00729627059510733647409969542247845379437726/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^4 - 7842618816089417439515470144072750505818226583472970354687761894941\ 665906859/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4^3 + 1150258017733908086427094339579300\ 3617171553404117180207184523887781780573947/11542840465847772372046\ 67639690762230071827245012550959617798773417878637567*c_0101_4^2 + 3802943207607802688609132064317706309530882745446951905426744376361\ 27537789/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4 + 1129422665971606233295365037767858262\ 43767408365540905534455104754621742447/1154284046584777237204667639\ 690762230071827245012550959617798773417878637567, c_0101_1 + 599912464375347835249393195343695889262113493763536169256479\ 03618692651008/1154284046584777237204667639690762230071827245012550\ 959617798773417878637567*c_0101_4^25 - 3330842629928322483859011008192623138280658048170181781679002709740\ 74730400/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4^24 - 2249544105042941913574314677577846\ 309996651284557524129566846256354742935636/115428404658477723720466\ 7639690762230071827245012550959617798773417878637567*c_0101_4^23 + 1943513377710545364190236492839198176211887737907681035505648490649\ 2786032090/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^22 - 6183463719591479596975959597500594947476599157683612106523067552369\ 8176494015/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^21 + 6950652155115079759739069157788965040494282077448146247979623243610\ 9943483850/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^20 + 3704780499498128245159311939470257209140720773524652063626412872904\ 30346345800/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^19 - 3503727524521490358667730115685470223198580512866413610801989202723\ 75231973196/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^18 + 7607175003763802204994297662136494735634592995872336058548909542289\ 14323018180/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^17 - 7108505636046967726679748303517870945458269090599457789606556159086\ 73927098432/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^16 - 1244581344474003373798735648386398480677766837766716917897156250470\ 007188097021/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^15 + 1043459734850109909341782636621334579519307115489615511174074165532\ 697719314102/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^14 - 1321820887958056548895877402827653932614665041539082923469961760328\ 232403566864/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^13 + 1215689335354188435544769283140011493653169902644103929048290520834\ 331599563170/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^12 + 1350315734172455728151585225271774746230173149037146144652430135544\ 138467786213/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^11 - 1036818113213664419914237439909575388092416284711795294896752550770\ 899724155530/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^10 + 5607592379288418858561673612300156094858399685533200961546081400658\ 59217016643/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^9 - 4642051572003634161249119327634845294545501337094634240346638632331\ 05762616024/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^8 - 5952471918021198897126132432773887004360064609160266604247267671248\ 29989698202/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^7 + 2304718750408922480468268399784068799675534006890790975952290672815\ 26589560771/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^6 + 8942544131208750459399143988729279389206995792192962802993608839759\ 6270496278/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^5 + 737011799350515998440610856672634\ 15774992580138186798348336618109288175559795/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^4 + 1919411892336278450708293706065469988454480469341672845145298387157\ 7310369330/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^3 - 218410479824759863128521444254123\ 22932659705828644278083970961175372069930477/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^2 - 1832741564762360784658021059821183080104158483317907789028108121972\ 822726220/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4 - 251291121814530181801025168750583157\ 252169152272215490455817259975378999910/115428404658477723720466763\ 9690762230071827245012550959617798773417878637567, c_0101_2 + 144008253065772942655061394467577339463636567888539755830189\ 577851769121648/115428404658477723720466763969076223007182724501255\ 0959617798773417878637567*c_0101_4^25 - 8956089233415364350228484673976699597741937333606460959687528857224\ 88597908/1154284046584777237204667639690762230071827245012550959617\ 798773417878637567*c_0101_4^24 - 4961951296314803698304768256012614\ 704581627387175093957562569150736453798230/115428404658477723720466\ 7639690762230071827245012550959617798773417878637567*c_0101_4^23 + 5067125156779616225616952304040746613634625406973444588082799728714\ 2577630031/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^22 - 1754607371138745397777697730354375424001658088670696039682297460737\ 83290410106/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^21 + 2397116672539876475274020454007409820927650630018840875533426019173\ 69083751699/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^20 + 8442434541529870490080883848295513357216469203569245841925561466418\ 98856225678/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^19 - 1458700426883729724152041629959644542591847484698632736334563220675\ 986838662425/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^18 + 1748261711322821886369967345386275674361410537380163218165023532979\ 387394131761/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^17 - 3104414571933189735623597936944293218258871139499373206070415282409\ 287561907628/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^16 - 3112664578097882272294841790863042024882831838551968644580632066234\ 200575835644/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^15 + 4102544042962227608138726537205680527480309943586500355485178242912\ 876390839769/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^14 - 2937628032522469737532742873545886679101659047092589282846598580789\ 355956088490/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^13 + 5555190695745256576219840446446974531287075906481841175219141453748\ 141702894605/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^12 + 3634513574697996766679435081903642382045487779767562558047191330478\ 866116154021/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^11 - 3722503031398247366127483862901999020729081901958030057004196543305\ 466447103449/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^10 + 1179566976411058611229363941088971472143772987795176654041267840630\ 013336647232/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^9 - 2412693649258524797198316983017012176142428032478940063594725948741\ 541617588157/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^8 - 1796570911740432242198342429877380552596656672996082329887438571025\ 660686700436/115428404658477723720466763969076223007182724501255095\ 9617798773417878637567*c_0101_4^7 + 8202966265463536458591195656330953600681331614236368904556830922952\ 25899097682/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^6 + 4128969708223349687630535899739496229205868136625977597838993388472\ 37681356891/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^5 + 3136103751072782349194573121045662496014063126140419216046582597016\ 40401455996/1154284046584777237204667639690762230071827245012550959\ 617798773417878637567*c_0101_4^4 + 5974692771500293083084739298725168292148632179870892118387516388725\ 1123675811/11542840465847772372046676396907622300718272450125509596\ 17798773417878637567*c_0101_4^3 - 418956751774909076279033809118558\ 77910777592601298512906388229854585404337323/1154284046584777237204\ 667639690762230071827245012550959617798773417878637567*c_0101_4^2 - 3454401364404342220746086033759183452516680162922053326273930444673\ 414765261/115428404658477723720466763969076223007182724501255095961\ 7798773417878637567*c_0101_4 - 656679352323707636697353598842207559\ 019888330608520775330044017917641874014/115428404658477723720466763\ 9690762230071827245012550959617798773417878637567, c_0101_4^26 - 9/2*c_0101_4^25 - 169/4*c_0101_4^24 + 559/2*c_0101_4^23 - 1471/2*c_0101_4^22 + 767/2*c_0101_4^21 + 26267/4*c_0101_4^20 + 2265/2*c_0101_4^19 + 13706*c_0101_4^18 + 8033/4*c_0101_4^17 - 75515/4*c_0101_4^16 - 3878*c_0101_4^15 - 51549/2*c_0101_4^14 - 11117/2*c_0101_4^13 + 34145/2*c_0101_4^12 + 13745/4*c_0101_4^11 + 50987/4*c_0101_4^10 + 9719/2*c_0101_4^9 - 19553/4*c_0101_4^8 - 2803*c_0101_4^7 - 6059/4*c_0101_4^6 - 751/4*c_0101_4^5 + 203*c_0101_4^4 + 123/4*c_0101_4^3 + 11/2*c_0101_4^2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB