Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 4206585379] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0828 geometric_solution 4.75345694 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 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 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.258091723951 0.129463247652 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.337377742967 0.379323765538 3 1 1 4 0132 0132 1023 0132 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 0 -1 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.420544008533 0.634556719820 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.153090441521 0.731302370230 3 5 2 3 2310 0132 0132 3201 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 0 1 -1 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.153090441521 0.731302370230 6 4 3 6 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574089803487 0.811891447044 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.818963799441 0.501323616453 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1137176309769887075647363591960005228431176749940722812096440359763\ 46785313528245024/4701395097774293999744967796831281422382907761073\ 489777041046321737219651751141*c_0101_6^31 + 2117137232869797160941348014476109876626512845458783189541162786939\ 14800210023148944/4701395097774293999744967796831281422382907761073\ 489777041046321737219651751141*c_0101_6^30 + 4813283781319491210958709977207453571867620999064153734903772688089\ 993646777812457984/470139509777429399974496779683128142238290776107\ 3489777041046321737219651751141*c_0101_6^29 - 2469797754639696303295995469836494648114546164060719547908319865178\ 6060614888589721420/47013950977742939997449677968312814223829077610\ 73489777041046321737219651751141*c_0101_6^28 + 2029149162490354006552355784692377738899205879359702366989097702332\ 5753718993210078668/47013950977742939997449677968312814223829077610\ 73489777041046321737219651751141*c_0101_6^27 + 1635943707435907869570317398954613936927948153494981684623026464933\ 03399349831203924458/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^26 - 4688798896993548804808550110386860567692582827897373221279483872098\ 15092205316865471961/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^25 - 2060372425441716769145433634097353383145736393531399606757665498855\ 63390941981323392815/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^24 + 2315824710345789542730316303062177912945105939919128067227145407162\ 410484417993245816763/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^23 - 9106587756572532060870500575184017356767623783489451246522366565541\ 18937589880811039013/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^22 - 5943664344227757863429705905162782937348224650247429604133654219540\ 545513941763228591647/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^21 + 2924308148146279065891222994665405548920659300192873008472510676040\ 804164809038441709572/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^20 + 1011202389409871911613893416194718813403485808645616136009006791853\ 5775619889441815189565/47013950977742939997449677968312814223829077\ 61073489777041046321737219651751141*c_0101_6^19 - 1749903136375490823815988091827761967355387551580599613274569705191\ 897339108976550906066/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^18 - 1227306712235401437133260999933883209543347556578055294299254487189\ 4173378417374240525617/47013950977742939997449677968312814223829077\ 61073489777041046321737219651751141*c_0101_6^17 - 4348573934542508007840027207154357792965354883525591775410924166092\ 392902026174364302805/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^16 + 8440543248817468745128878918564080534364416924760010001491932163921\ 319942163992140870562/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^15 + 8930039679995340834107809665142418079316118602250596056971668357837\ 084230432744103455503/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^14 + 3561713662218648101806841968023293519646759173066304310088269446995\ 1667603487873280116/67162787111061342853499539954732591748327253729\ 6212825291578045962459950250163*c_0101_6^13 - 5889854329463856055832843532856419438578816547006683332826550552862\ 592826803629751230441/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^12 - 4462352713318237245676163529616544639025511316760769205115335817754\ 025149388269807858397/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^11 - 1225233325682581629652459424422169558089459287467476982466090936694\ 13994896023026420252/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^10 + 1825672312437072565706722419009133020611981730737805772116559898661\ 603407677973648558571/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^9 + 1324325545513165144363098480903820806688103986302944572969198791102\ 979668548175067231921/470139509777429399974496779683128142238290776\ 1073489777041046321737219651751141*c_0101_6^8 + 3491637380563732019322948461364084907544751435541900706995722680272\ 04746625154706251935/4701395097774293999744967796831281422382907761\ 073489777041046321737219651751141*c_0101_6^7 - 6864874323431972415364856336484399153335128928855457032170315993934\ 1940850951463322677/47013950977742939997449677968312814223829077610\ 73489777041046321737219651751141*c_0101_6^6 - 8383458794949327838619507247216258178424943180223916493188750309953\ 2940094268239060649/47013950977742939997449677968312814223829077610\ 73489777041046321737219651751141*c_0101_6^5 - 3781400899037616518698368913282761825627489175528920259292027393470\ 087600017575311117/671627871110613428534995399547325917483272537296\ 212825291578045962459950250163*c_0101_6^4 - 1911718048054656137624407617419093326496810068555147859419819969491\ 237103182864296090/470139509777429399974496779683128142238290776107\ 3489777041046321737219651751141*c_0101_6^3 + 1120399971829884873774543865415871367650388646797715742894615598652\ 990918115772826998/470139509777429399974496779683128142238290776107\ 3489777041046321737219651751141*c_0101_6^2 + 4719605170404519942230508804381106054068572525745897435112261849529\ 198391968523683/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6 + 3936136507753811650327355397309106246850172492558311716307471660789\ 6931765734924559/47013950977742939997449677968312814223829077610734\ 89777041046321737219651751141, c_0011_0 - 1, c_0011_4 + 120139489224798901434225999298814802240756601831483006667497\ 035307683192926609840/610570791918739480486359454133932652257520488\ 45110256844688913269314540931833*c_0101_6^31 - 2221015812119804817461831387318914182339598570871486134653539184698\ 65569971037472/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^30 - 5088557617067196133114275463677091860548856999565245041788270882032\ 509117675862972/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^29 + 2602754192741856852387709459270345414234612118793402510046128838517\ 5077483975439746/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^28 - 2107443483278928662342376935988837846512283641747986060308971081618\ 5657764726483787/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^27 - 1732374979699374537799955558283399291060926475025053078893228455618\ 45839193072997103/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^26 + 4932420917174607092010045739562770267830269533281617256956396787496\ 02583107533184870/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^25 + 2248653104977478391932698034719724889699720473353116026969097793335\ 50554694613659007/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^24 - 2446237846247785154183534250766573534021892470144821525673636400791\ 524015017025288863/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^23 + 9300318005563700206415689856605290992088536117672263249592023842727\ 06148077375717031/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^22 + 6302898497069897474823379370347621581029258402541302455115299976504\ 477156984901675582/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^21 - 3015627861795919249591045373610860772687274110004916308479129023578\ 041010631930469481/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^20 - 1074879161951430158305124516904857639524335557572899719421670437440\ 6668575471213765623/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^19 + 1731967547423364511073574984496528735691772516533526880056912339664\ 337535577127970313/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^18 + 1303049237215722157558432975683279784745989793956195461139079145825\ 6464850174310357151/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^17 + 4741096998871470273424227839008960502124485272836301311377336042727\ 380014735102324961/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^16 - 8907962776600063807887040585703681177684508104640693227686655892303\ 435030450670815659/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^15 - 9553729238521815067888045112836080712733757993895676241353745709094\ 302503999443270381/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^14 - 3451331007644620827576234604755894619931646947442894659668780467326\ 55089486344470155/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^13 + 6247137277503762533260706896750162743848243921749483091205688475755\ 191636789933438240/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^12 + 4786760795741092745391849989579542031277583631544231261174986065325\ 034820357590288576/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^11 + 1658523275627074342458346683664384972382702742568949923297175873378\ 82126069895183174/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^10 - 1939528093264309342362359101804402254333203363896902525138431970257\ 009438601168780207/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^9 - 1420388835430217329757320052962709287880876213727718691605427523654\ 519196857670711597/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^8 - 3797156217576071598211099345894967404725204227118200686260887704047\ 62296909957696900/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^7 + 7141637412265552515289301269242395001000990962831435067749663543385\ 4814953642908973/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^6 + 8983545913042754045390379124086468354955904928940373406073013089741\ 6912337424076196/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^5 + 2865007002201332166550637523974541468363474247035592184163997826820\ 5014273070930249/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^4 + 2140881934436252579518836226901335642236533164577396258681060383534\ 099841692185916/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^3 - 1197481210978258538063719790664477062011599438914560748651899463993\ 845229214178864/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^2 - 3932184293853385449399616769061786130054898642804817925512199098120\ 03639726451421/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6 - 4305676015859894346571049451070836771966486843923496862378023921001\ 7283254867286/61057079191873948048635945413393265225752048845110256\ 844688913269314540931833, c_0101_0 - 559629225170833129469928907031783330729605196609558636338375\ 259456415736144418032/610570791918739480486359454133932652257520488\ 45110256844688913269314540931833*c_0101_6^31 + 1037496653012517843408696338166941371317195064195492632307259045155\ 034179756760528/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^30 + 2369679799850626939338027602379530503737587999486110336649703871953\ 7838356293859836/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^29 - 1213612395671963366473223720917498033788050205787830417169193431962\ 50973452484325862/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^28 + 9884637264354718904694738118904662982051039924410090384199603264548\ 2453347566120285/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^27 + 8061898902970164543623996742364909636660774071559268991223289303986\ 70671437573260818/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^26 - 2301489018728404858639150170618787517546759121891982826875642798880\ 532668540030307772/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^25 - 1033981458246597257749499074794696454409179172830572801828755598887\ 278648724593173261/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^24 + 1139509350389897297553527312967810183459747895954137140895135820349\ 2076941906873905811/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^23 - 4391478636668745724985588651477124761375079612858816717366994789375\ 964088668630469473/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^22 - 2931408759399841248971463964341013019782657319757880438602386905187\ 7512814344740641704/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^21 + 1418162068165910791784677272914553271900729302803313952165980865609\ 3729701290112373151/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^20 + 4994403910312011855390637231586951754498235153462950517452210890351\ 4581731077348115666/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^19 - 8278110549700944181955940691271116847915494729549334738386545044408\ 242975481471447058/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^18 - 6057438152586792108362038773013446402187989129443022104468415377434\ 4232652787661807411/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^17 - 2181874236564670726752107848792608522730479923687645971300245230257\ 8881269528552872424/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^16 + 4150598641866973523507718495565140980969391015354634834560945591950\ 7423834047037868225/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^15 + 4428379922274376415673463796488077957518562702569863698103472104963\ 8934372467088702340/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^14 + 1462049166553773298028966389669732205142911412242558950044154831645\ 331297110776604245/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^13 - 2905241075253973415146150061503247864469329390293287237094754425526\ 5005354221054135069/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^12 - 2216545253359870089484292026405576863958626011579309864976284166354\ 4764931431515578357/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^11 - 7081386955670599448208441956317703861361017617840251577810945970192\ 53122347400968440/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^10 + 9013970495973325104834206777312712876590001498596748934388809230202\ 026536466274502272/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^9 + 6577754182297947012510242137220220419752702494888162137011738297035\ 373646219558928969/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^8 + 1749391171232067205335535179740598295167876924224509202419548898588\ 269051440171051228/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^7 - 3344266570259939567145322758691832126248310912713292298133964622125\ 50888122157477282/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^6 - 4161210775933853464963096276184074946990120812839302338846558572563\ 64537640874663353/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^5 - 1321982623392549003955271265995070371544239946960414755364802580554\ 71829669413500535/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^4 - 9757354659192798490544391939717504077557213528261480683520425002556\ 558623057807131/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^3 + 5551362946383603080363925894993918983276040638038390710012111015613\ 235759725493057/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^2 + 1813877602385369680293341810260651162925608563368747844634338273207\ 329027690763596/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6 + 1975881809029541924327492222530403622465879091777284448993165369646\ 71950673178646/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833, c_0101_1 + 339019785398765245471456385801902420244398876041660952769360\ 593840164057743760352/610570791918739480486359454133932652257520488\ 45110256844688913269314540931833*c_0101_6^31 - 6262047150541503044332455686436464962279296926968941396731181982248\ 24758294060584/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^30 - 1436053275394996641485998762804494338465266378380483463063326031801\ 7675203467842428/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^29 + 7342431311005452456324633902837314014821609710589196938744553534189\ 0573448707546692/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^28 - 5934382042330185514505114033826515234064758544833646817547222259778\ 2269477833680349/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^27 - 4890003608644232495177560466720861585004786900832975019550574147044\ 63716918030459711/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^26 + 1391150388822793393997902970656932303827310446233271125597861507395\ 249317543547331306/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^25 + 6370440223202888749283627146490568626357095483357023685672359935330\ 09981112148844978/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^24 - 6902974146044093342590521759454994648801033361838340936885313450623\ 694943285510495920/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^23 + 2613447747005726861975815508889767808405306227589096699438939010996\ 255322430889619569/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^22 + 1779455084384319278963294467135782892897273574745107724209354447378\ 0982728819786110623/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^21 - 8484837156739428698604992448169577964574620402303225949574381965295\ 647724483027196654/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^20 - 3035514192893670276027858149450549982372058979431578607368022754810\ 0108299002329179097/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^19 + 4848509107962501099360599482360615432558166576873651309020311412298\ 558014738484015550/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^18 + 3679342827349144655113646330956214342805587391994181013797126644779\ 3013631106384303809/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^17 + 1342785654070468460708301356115701676792880885035436867648438335224\ 4602971548897990130/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^16 - 2513495003074269371496412333180108593636059355523064588647736688512\ 2180560434057622639/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^15 - 2699969198784785393762713349176574716752955030056932149368018465203\ 0722931433471091597/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^14 - 1001060029932608301183394474457917581701995610493946373111739037859\ 816317677623733562/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^13 + 1763714959615453052861270625821317078742564993702865856331658510019\ 7769718912480707330/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^12 + 1353204784434750555036613279643967755801685511157267133867932773038\ 0606345724014533040/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^11 + 4801615400170704663244146820099455578762687398379798437999190103101\ 82839651576824400/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^10 - 5476763827584798851248671027564351833796788225794582310826725633471\ 916205184308514327/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^9 - 4015296527340865687171284811885871393645487940567260708069357781187\ 727707449885353447/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^8 - 1075191759922416716980460620526551057093108310951156687530334317391\ 760530576178761315/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^7 + 2011410187984175112243511985638669368665784526497084053879402788426\ 11727727973053952/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^6 + 2539357299143476281095626092798515926007266850835298550223823711652\ 68868564010546355/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^5 + 8108652826293779838412891407670920036491677275756981705763581158634\ 2050764420805270/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^4 + 6086816701869907306165157004436144940494389993095889920049504946912\ 297680310004802/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^3 - 3384629743711885223995936812664482297043059877257937883724083778914\ 100499434666190/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^2 - 1113180316817165365009402419035380800645824418542160728126439658443\ 870007487344865/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6 - 1221331706526617142753863263498958666214218938715651881910556786447\ 58319666892990/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833, c_0101_2 + 139159408959628030248956555092988527991900314371923775351259\ 827536326542564367304/610570791918739480486359454133932652257520488\ 45110256844688913269314540931833*c_0101_6^31 - 2572744108392728804228435783347992943630160014760421009313950402025\ 34968050447980/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^30 - 5894124914357622853352033460122458467336177595793051413984070569522\ 837541850686224/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^29 + 3014853349721565147039532497539483422587672415959881359444177580695\ 2843936541909355/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^28 - 2441355642625820133195619679460092260096965164137415948785085804744\ 6310764868345759/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^27 - 2006595347942287088645202892471739885570320099514987211928907948079\ 66371055425103494/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^26 + 5713426563150003435972698374952300747146757924607552863785281122145\ 34409477898304145/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^25 + 2604084073320922939061106311007020877772846259842270811928748767558\ 64706225938564033/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^24 - 2833489993940946701831805791328263769105907618620357425495640131864\ 678123622959444477/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^23 + 1077485525449506077601318573082807076320799032020079037330817823007\ 485994206119745938/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^22 + 7300467119437792754271264951452634202943342498649702771295584938192\ 324300854095911601/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^21 - 3493443614644683456078230981152623308873070119060058127721841096329\ 503625103186264294/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^20 - 1244979227588645280662242785769347307228387400826580175739593118500\ 2045589627430438810/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^19 + 2006663919223381963679765824404704378315870152298920469144927266880\ 664953425608603272/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^18 + 1509260937316552969338003387768908820662238446076467942198316802725\ 3191849894722680836/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^17 + 5491023707157398304563493790123894355923018990294689690466774974365\ 378605013178179943/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^16 - 1031781640766461477953666128204677726703189600708468724125224570845\ 6894527945502904409/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^15 - 1106553210767620821230507705701902832592672642442497253421454359884\ 9459668351004939750/61057079191873948048635945413393265225752048845\ 110256844688913269314540931833*c_0101_6^14 - 3996540793657261710104180719865462810484008317620240592540386800415\ 46407881278209833/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^13 + 7235820484490633855320301602531334550121665794991560804194981019263\ 952629585579161159/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^12 + 5544252620668706627425404269136730333971907415199495086104513828873\ 263467569536091958/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^11 + 1920855319095273278743481323343625569515417619583356724196682344093\ 06002914891742139/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^10 - 2246456239320171365909500505710500745286537723756424968326081341802\ 528665892007611274/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^9 - 1645183594855470656846930886845011918895178227767809830637545139869\ 834182540185297925/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^8 - 4398166671265133394507228510467735384434203140854503009310552428065\ 97649833721688725/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^7 + 8271471281383875517368692847674445340563230989392146340854068128114\ 6425770319311689/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^6 + 1040539999432185823875677558820463665511553175566894137553937958942\ 40705446314129955/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^5 + 3318478536715574343488015570673140420650692148211894270253202433781\ 8739806676674701/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^4 + 2479836720059365654540614995525955594176594273711151621982601328007\ 474750164262220/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^3 - 1387123316052758840528694686247270382014376705283982786443326398359\ 319681614168454/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^2 - 4555108822552361972943876087267057686734476309803071241311949994365\ 45129086234961/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6 - 4988511263821857179305260078876892020921020949451317819129012834352\ 1431252679905/61057079191873948048635945413393265225752048845110256\ 844688913269314540931833, c_0101_3 - 154532385392292032643725624714178277946479527922736260275690\ 37238727374411702128/6105707919187394804863594541339326522575204884\ 5110256844688913269314540931833*c_0101_6^31 + 2857235362587313931083508703231540213724091473358643140636467583112\ 7176039254264/61057079191873948048635945413393265225752048845110256\ 844688913269314540931833*c_0101_6^30 + 6545227473165896682863569864436881478105664100261987633566523399640\ 60799159366384/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^29 - 3348030462309326115721655096976378668691300005103615746044706006511\ 907082221304326/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^28 + 2711539081284201659036593963064528542487907234994848629760406635479\ 297591262404280/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^27 + 2228285441155944553180989781789170190167772977091753559825376949993\ 5987700418217337/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^26 - 6345078000832475727107102081056183519145854927353268328732553154957\ 3874917896504023/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^25 - 2891021647594060442279098055431317007385545771152048861306337157724\ 0063179664994770/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^24 + 3146707347995860938442802134473967965586086790046147023420154680376\ 69302596495885269/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^23 - 1197092897806187417212423008274672194507662384532265231999182443509\ 04571457466292736/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^22 - 8107415343695953541251578444544217853071289107505600450442451053393\ 83201253057727500/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^21 + 3881465961608189352070448733546734623475773183634759797316120254440\ 97422154311518796/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^20 + 1382600025165635911451343379949938682335366707830184263650352090808\ 316839209467601462/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^19 - 2232887729693122037204198655479405513086638379917739077136856262479\ 01517710520066151/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^18 - 1676189228353973701209335623135582898718891163780503990987560839390\ 467055621183817643/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^17 - 6091603215594917065839756910655210366206312708651580840670588638486\ 13245700477480742/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^16 + 1146174387804812418194262145119587040830026871523629099768540324128\ 028970603000014201/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^15 + 1228380688065517577300436551280073553155749235062612039055976847248\ 762277637725021521/610570791918739480486359454133932652257520488451\ 10256844688913269314540931833*c_0101_6^14 + 4385320984142054567871435178577666080598582973644886239823316766881\ 2521664980239239/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^13 - 8035198053774541713282664754987320517316811275823241584225408164703\ 73047536250877984/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^12 - 6153431253901505153665374876856025176100830896301102707578147188418\ 79131528666899679/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^11 - 2110813067993379759166138534449059126088766658478351153290957166503\ 9509378573367022/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^10 + 2494362672332400899777567312727179932121250960880967362554454514182\ 18192104936152750/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^9 + 1825711512633393006742450930041380077472218734857217476131651191132\ 03565239765787596/6105707919187394804863594541339326522575204884511\ 0256844688913269314540931833*c_0101_6^8 + 4878306468003326928080351481900539865188558225195273249577429298352\ 9621393008480730/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^7 - 9180177253210149319845363174087744398632926737105926842278627675975\ 695321718409991/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^6 - 1154303086383279025697778454597737042809693750796815124546772902117\ 6660116653437803/61057079191873948048635945413393265225752048845110\ 256844688913269314540931833*c_0101_6^5 - 3681482064797790110624068399567112762347264059602010470185047896864\ 630321194148964/610570791918739480486359454133932652257520488451102\ 56844688913269314540931833*c_0101_6^4 - 2760312014676409011391765934058418915860510439732895372725326952257\ 50311462704885/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^3 + 1535079831420670435367500315829021951227378179280262217528452211983\ 21941571727932/6105707919187394804863594541339326522575204884511025\ 6844688913269314540931833*c_0101_6^2 + 5057388217201535319193887613434010950132429281925808482536473057687\ 5149525737426/61057079191873948048635945413393265225752048845110256\ 844688913269314540931833*c_0101_6 + 5523329467245749511518233806912947080547818397855663658331192432289\ 711623797483/610570791918739480486359454133932652257520488451102568\ 44688913269314540931833, c_0101_6^32 - 3/2*c_0101_6^31 - 43*c_0101_6^30 + 1615/8*c_0101_6^29 - 799/8*c_0101_6^28 - 12025/8*c_0101_6^27 + 14411/4*c_0101_6^26 + 13213/4*c_0101_6^25 - 78835/4*c_0101_6^24 + 5129/8*c_0101_6^23 + 441293/8*c_0101_6^22 - 27225/4*c_0101_6^21 - 392881/4*c_0101_6^20 - 67135/4*c_0101_6^19 + 113486*c_0101_6^18 + 154571/2*c_0101_6^17 - 60383*c_0101_6^16 - 843013/8*c_0101_6^15 - 244837/8*c_0101_6^14 + 203981/4*c_0101_6^13 + 231903/4*c_0101_6^12 + 122205/8*c_0101_6^11 - 125293/8*c_0101_6^10 - 139619/8*c_0101_6^9 - 29135/4*c_0101_6^8 - 508*c_0101_6^7 + 955*c_0101_6^6 + 1997/4*c_0101_6^5 + 101*c_0101_6^4 - 15/4*c_0101_6^3 - 27/4*c_0101_6^2 - 3/2*c_0101_6 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB