Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1663237650] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3023 geometric_solution 6.19450125 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.786889650654 0.518201851370 0 2 3 0 0132 0132 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597511192095 0.750443714154 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151943597302 0.828872314991 5 6 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151943597302 0.828872314991 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 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 -1 1 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.119342504484 0.813846915507 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635712827202 1.251022607981 6 6 2 3 1230 3012 0132 3201 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 0 0 0 0 0 0.189295696860 0.689618839726 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 7983079542890693365737563487227738933387319261981502067924635340510\ 984/292458098932359667516738383582333956031314579901503223924065340\ 09397*c_0101_4^29 - 10339396593022899646565930966273144404014017997\ 4469609066196062303421176/29245809893235966751673838358233395603131\ 457990150322392406534009397*c_0101_4^28 + 5162648643275529581360493877987436586223626055150304177166879638127\ 33609/2924580989323596675167383835823339560313145799015032239240653\ 4009397*c_0101_4^27 - 115518562847137921531205944340813639558470477\ 7642191181978389969689471674/29245809893235966751673838358233395603\ 131457990150322392406534009397*c_0101_4^26 + 3279613946250728207904488323037923412246362274854581097321495257959\ 11603/2924580989323596675167383835823339560313145799015032239240653\ 4009397*c_0101_4^25 + 471294324469210152511390670887867326806955166\ 9215824957907259192781053407/29245809893235966751673838358233395603\ 131457990150322392406534009397*c_0101_4^24 - 1270391464939598937292460853833937345887062093074695065398403284795\ 4940646/29245809893235966751673838358233395603131457990150322392406\ 534009397*c_0101_4^23 + 8794859097441233279833274111616162067445910\ 31066657818237800711417740936/1720341758425645103039637550484317388\ 419497528832371905435678471141*c_0101_4^22 - 3826807302617378354310591822125236429383278445568030899247216333251\ 356816/292458098932359667516738383582333956031314579901503223924065\ 34009397*c_0101_4^21 - 14641012556628619671461562167739774849561963\ 835602864328675084603184099503/292458098932359667516738383582333956\ 03131457990150322392406534009397*c_0101_4^20 + 2603939379722860840411488040668531994554550217971347118918440800094\ 2413642/29245809893235966751673838358233395603131457990150322392406\ 534009397*c_0101_4^19 - 2456106080532124486863006205210168577890561\ 5794524893535080613609299397887/29245809893235966751673838358233395\ 603131457990150322392406534009397*c_0101_4^18 + 1421370903174843629671212481176868995827785669872809588867188886072\ 3966531/29245809893235966751673838358233395603131457990150322392406\ 534009397*c_0101_4^17 - 5900752078914907013421853602204664290776686\ 45050721827424051797091387362/2924580989323596675167383835823339560\ 3131457990150322392406534009397*c_0101_4^16 - 9737073915480242553058930789546995998483894176441597426119368226831\ 390865/292458098932359667516738383582333956031314579901503223924065\ 34009397*c_0101_4^15 + 12729685323608929773081336036515889984480526\ 282446191299774827960626128223/292458098932359667516738383582333956\ 03131457990150322392406534009397*c_0101_4^14 - 1164035941928724766077298012569095548643477286379797318929933603631\ 8771051/29245809893235966751673838358233395603131457990150322392406\ 534009397*c_0101_4^13 + 9913490643191998360725579033593954361077123\ 979021967216805432479159655478/292458098932359667516738383582333956\ 03131457990150322392406534009397*c_0101_4^12 - 6153082922279359496867838417097634910423482078077158692696615471599\ 222974/292458098932359667516738383582333956031314579901503223924065\ 34009397*c_0101_4^11 + 86546220921818579020879326769786845977610326\ 7716113559778296864406410187/29245809893235966751673838358233395603\ 131457990150322392406534009397*c_0101_4^10 + 2070075905225150325199715712695921738096108448189690707533876507002\ 598822/292458098932359667516738383582333956031314579901503223924065\ 34009397*c_0101_4^9 - 180963196448530880394402896045432762542567682\ 1773255443753997314861109829/29245809893235966751673838358233395603\ 131457990150322392406534009397*c_0101_4^8 + 7491713768391540698128360492129164579303409061767277586795893003987\ 62054/2924580989323596675167383835823339560313145799015032239240653\ 4009397*c_0101_4^7 - 2081539649180762706783162887505134533153017891\ 25605525605155961802744992/2924580989323596675167383835823339560313\ 1457990150322392406534009397*c_0101_4^6 - 7876607865263893304683572442919585820030500301194142975819517160523\ 620/292458098932359667516738383582333956031314579901503223924065340\ 09397*c_0101_4^5 + 731928630296492026346470441979185491605444943856\ 43853236422706995911634/2924580989323596675167383835823339560313145\ 7990150322392406534009397*c_0101_4^4 - 3534671237400365954048736077708748354178309596912484844542288510985\ 2758/29245809893235966751673838358233395603131457990150322392406534\ 009397*c_0101_4^3 + 87070185630654629021269839227770983987906013465\ 9897346751479485839027/29245809893235966751673838358233395603131457\ 990150322392406534009397*c_0101_4^2 + 2352646688408108160629912350234974620399387265555095770086486564252\ 111/292458098932359667516738383582333956031314579901503223924065340\ 09397*c_0101_4 - 20453819072999230884805663485178673284547635108666\ 7825456364952847322/29245809893235966751673838358233395603131457990\ 150322392406534009397, c_0011_0 - 1, c_0011_3 + 118948553139878691883935886078798393125376899134770649403943\ 265011721/172034175842564510303963755048431738841949752883237190543\ 5678471141*c_0101_4^29 - 131175210646213307232053604355129773627268\ 7655780384798309638555397087/17203417584256451030396375504843173884\ 19497528832371905435678471141*c_0101_4^28 + 5080763415751517353140085878202422847058854181475632711046054413353\ 488/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^27 - 641117863517538356249326746481339993701579149960\ 7376270080586256616900/17203417584256451030396375504843173884194975\ 28832371905435678471141*c_0101_4^26 - 1179337299674051674946505754084016310249558101799539619553903209683\ 8639/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^25 + 54393178563300629933348509927688972299176759711\ 721759025183976843300937/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^24 - 7813750097049340903426654565071356746021487502504317464712026616678\ 4172/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^23 + 26396152628116742351901407040097368845050709668\ 543630780635358761852788/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^22 + 7377393934057694968213027717020217170020432466862886580251376069690\ 2239/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^21 - 12460023381296489128687080997991710325115163758\ 1689042371695515145357754/17203417584256451030396375504843173884194\ 97528832371905435678471141*c_0101_4^20 + 1001145585513621884862283112517641751885073790727916188690995232166\ 41257/1720341758425645103039637550484317388419497528832371905435678\ 471141*c_0101_4^19 - 5056133701532805160568421086175314063808245013\ 0648831200104211002824148/17203417584256451030396375504843173884194\ 97528832371905435678471141*c_0101_4^18 - 6522916461941897727121154206065537731765093415031665002183108226959\ 389/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^17 + 534488422264031751846435184857893631102638545920\ 86164272515001397037962/1720341758425645103039637550484317388419497\ 528832371905435678471141*c_0101_4^16 - 5536237735499860005958652386346827998693373057208785166465543016695\ 9499/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^15 + 38291189254890731870638417253932014657031324904\ 896872713586740775848261/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^14 - 3726978727721320559073556494561111124089096947091882057537258415927\ 2242/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^13 + 26767313122362404270016564015897703259077874670\ 436111198011498827625471/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^12 + 2770048245938051007470358495399669894589324064192486559734065102246\ 819/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^11 - 158737697880182347273677195234506741077636958580\ 89719603518069107761864/1720341758425645103039637550484317388419497\ 528832371905435678471141*c_0101_4^10 + 6828462190955069358415923619332125814205179442684508893810128529735\ 044/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^9 - 6069552822178324918267307482548266836896339209657\ 48438905922300762/1720341758425645103039637550484317388419497528832\ 371905435678471141*c_0101_4^8 + 16936062627500243834297584659247176\ 6106272135910323387334764585300008/17203417584256451030396375504843\ 17388419497528832371905435678471141*c_0101_4^7 + 3406788344639142053319499808153993781089981767477766857792507834992\ 8/17203417584256451030396375504843173884194975288323719054356784711\ 41*c_0101_4^6 - 534942120472241936806297458670133674915216249061246\ 452063276108852704/172034175842564510303963755048431738841949752883\ 2371905435678471141*c_0101_4^5 + 8742198948205709470527963594436113\ 7456467633938425648267347037944688/17203417584256451030396375504843\ 17388419497528832371905435678471141*c_0101_4^4 + 1217106643130812635690965559793786036151151481612911412589202780082\ 06/1720341758425645103039637550484317388419497528832371905435678471\ 141*c_0101_4^3 + 39688625139386215925936057660188354656628536278730\ 67967523031848423/1720341758425645103039637550484317388419497528832\ 371905435678471141*c_0101_4^2 - 11641040910007174349149034551805473\ 484467713802952616506961256798290/172034175842564510303963755048431\ 7388419497528832371905435678471141*c_0101_4 - 4135544423811105439372237926550159089963138001991829777711411261636\ /172034175842564510303963755048431738841949752883237190543567847114\ 1, c_0011_6 - 795129903481159866517204391610849631343602540094096914080717\ 05746844/1720341758425645103039637550484317388419497528832371905435\ 678471141*c_0101_4^29 + 8676480911124009504202130868166881365690259\ 55490475371281793205367664/1720341758425645103039637550484317388419\ 497528832371905435678471141*c_0101_4^28 - 3291909811821827769084356148043974775172757251136823512455373099441\ 865/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^27 + 385838157473858929408600273475130555705484257006\ 3166424215401312889250/17203417584256451030396375504843173884194975\ 28832371905435678471141*c_0101_4^26 + 8528425587584539566060604635873032111386106208788740815471531595802\ 343/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^25 - 356942014194277306223550733906979970207564037978\ 54936673187088355911143/1720341758425645103039637550484317388419497\ 528832371905435678471141*c_0101_4^24 + 4781992967353006435034641732131418973079207613066594327054257561470\ 1199/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^23 - 10000054110511800468479502842200391511241301856\ 563865734916135682366048/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^22 - 5418539500356430090342444084402848055196948640134497824316745533512\ 4159/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^21 + 79311566200268922295442809918876048287984844150\ 385101555409490047197657/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^20 - 5559825752311673249169407934565233946273572458805782659071213697338\ 7805/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^19 + 21780406978257081371596635430409891431480894079\ 423303055882245376131392/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^18 + 1244270349703908088341221449927487938163058398144186579674947996342\ 7965/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^17 - 37904911256109953772658971521685999328148442771\ 110973787360940941417411/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^16 + 3346257113235791194417016826712982898058998764672801428365909482851\ 3899/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^15 - 19737319826773388457458629489411424649146002714\ 040649946333012682634462/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^14 + 1976316376000611811147123377308736639199262692434392331840917285661\ 6007/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^13 - 13317866647092031824156064118243563297364944003\ 054633637574975147265565/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^12 - 5510449293423490262971632447072145900201257773401462968893412594221\ 834/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^11 + 116576694022730690558327704786013136923506996910\ 06401464704319259723520/1720341758425645103039637550484317388419497\ 528832371905435678471141*c_0101_4^10 - 3533820948866497889950897430299584222650707724152956489410504581701\ 672/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^9 - 1008148916378479619501801821930127277173588193760\ 507141464985600273519/172034175842564510303963755048431738841949752\ 8832371905435678471141*c_0101_4^8 + 2414514702099368014829126708933544744018587298027197453062507105372\ 36/1720341758425645103039637550484317388419497528832371905435678471\ 141*c_0101_4^7 - 15617109749522932909646574612227415084570795564917\ 4755568149502841787/17203417584256451030396375504843173884194975288\ 32371905435678471141*c_0101_4^6 + 402012346941964978431715692576483\ 904176748973197079986812551342841264/172034175842564510303963755048\ 4317388419497528832371905435678471141*c_0101_4^5 - 1730510349978536218440833735378025768547017834572099819034472676679\ 7/17203417584256451030396375504843173884194975288323719054356784711\ 41*c_0101_4^4 - 108542669451521236802356396432238168107020493235544\ 566479583291280636/172034175842564510303963755048431738841949752883\ 2371905435678471141*c_0101_4^3 - 6295216250715980513726181088674052\ 367854002674297788212227152513935/172034175842564510303963755048431\ 7388419497528832371905435678471141*c_0101_4^2 + 8563798449120049165906400675459016100885892386661717707922796677451\ /172034175842564510303963755048431738841949752883237190543567847114\ 1*c_0101_4 + 348868804253311280153039085891663484676901598956159272\ 0216830043505/17203417584256451030396375504843173884194975288323719\ 05435678471141, c_0101_0 + 108280896840604371094646407939880619874182762726798724158909\ 976301890/172034175842564510303963755048431738841949752883237190543\ 5678471141*c_0101_4^29 - 112416942302268326789297274398576516240301\ 9306080086103592404482578772/17203417584256451030396375504843173884\ 19497528832371905435678471141*c_0101_4^28 + 3843092737605490702731967577730099063146834308026605032572454931560\ 172/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^27 - 271044843685566901261021958536431251930672796497\ 1787507267621586547703/17203417584256451030396375504843173884194975\ 28832371905435678471141*c_0101_4^26 - 1518242724690569092854701095714301514824718253087084878265561997527\ 0884/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^25 + 43994841507161489451465380811530713237854496178\ 243143906234079552444370/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^24 - 3913116514068721225418783728626757104201544157881195480531731159062\ 8469/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^23 - 28673688410054343759115731622944886257454097803\ 732933723344987219491453/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^22 + 9837259005593688036294290298074818515942658704662752109004576789314\ 7981/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^21 - 85236413874411946628765768616429209297316346844\ 880439347133213884988615/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^20 + 1685641475035933819199120688183786899479826837493268375170595716348\ 4777/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^19 + 33599614845169988367231099295888561082762982894\ 026363094695248788250315/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^18 - 6370111461463747987552636538140201358797512099729416173133151665709\ 8564/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^17 + 67566613916199034190584423576150020743820179679\ 247160882789584709036099/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^16 - 3019310702541648265274689541663258308910475108375836378836848499978\ 8835/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^15 - 53550523709654055106649917777559052196358684177\ 6969533974921172402002/17203417584256451030396375504843173884194975\ 28832371905435678471141*c_0101_4^14 + 2968796757732268608020723855472962678208135255578436813238601798973\ 51/1720341758425645103039637550484317388419497528832371905435678471\ 141*c_0101_4^13 - 9766142406679190283839288007236630062451257675489\ 703149276703631899519/172034175842564510303963755048431738841949752\ 8832371905435678471141*c_0101_4^12 + 2937440232176850692212122728851854538585285494271449325829548060103\ 3255/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^11 - 22895619539802597247912110242083017525165901704\ 732643637885551555340670/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^10 + 2096135233792749577859916948856024041708777649704733270684524602005\ 938/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^9 + 4589601943693071037324163119307104569289408483249\ 573850878867267479035/172034175842564510303963755048431738841949752\ 8832371905435678471141*c_0101_4^8 - 2025651118406609491214081299954961963188242446186386871795678286802\ 751/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^7 + 1237224808271003163178434453879928873595512613255\ 779650452076734717188/172034175842564510303963755048431738841949752\ 8832371905435678471141*c_0101_4^6 - 9049815876198339582411393004235975718548334542230246527527087254809\ 23/1720341758425645103039637550484317388419497528832371905435678471\ 141*c_0101_4^5 - 30003023119270296000000728422192569052460595069793\ 492778325291668635/172034175842564510303963755048431738841949752883\ 2371905435678471141*c_0101_4^4 + 1767989459642693451381062351623349\ 56238020376648979257133865428818321/1720341758425645103039637550484\ 317388419497528832371905435678471141*c_0101_4^3 + 1710894911038764097504173414091371405295596039450199573028084273495\ 0/17203417584256451030396375504843173884194975288323719054356784711\ 41*c_0101_4^2 - 730261832541165819388783228026145245219414317945710\ 3214131043753349/17203417584256451030396375504843173884194975288323\ 71905435678471141*c_0101_4 - 55971751314070650256811837831324456229\ 49207693038033104225578375996/1720341758425645103039637550484317388\ 419497528832371905435678471141, c_0101_1 + 187521636542021206184615067949294185298683797452030144151847\ 426641328/172034175842564510303963755048431738841949752883237190543\ 5678471141*c_0101_4^29 - 214120301526577872845096047516107086770372\ 1201047664485371511887356967/17203417584256451030396375504843173884\ 19497528832371905435678471141*c_0101_4^28 + 8864328875956563244576881153546804558915728624631836709613864419060\ 270/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^27 - 137612897782803874060602771262245030660710910285\ 43114601075317243507463/1720341758425645103039637550484317388419497\ 528832371905435678471141*c_0101_4^26 - 1253659028911225844018646987459856283317347310351136645588924516986\ 4858/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^25 + 90014174973920037566360657586398672318849147336\ 414104035486018234095561/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^24 - 1604949900401410191745533253701957752767250440986188476061031768703\ 85713/1720341758425645103039637550484317388419497528832371905435678\ 471141*c_0101_4^23 + 1116432623189947409695018103134909627832165822\ 48389320535885440528039422/1720341758425645103039637550484317388419\ 497528832371905435678471141*c_0101_4^22 + 6431598178430537590761825996902763086774498045190365368722109537012\ 2910/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^21 - 22200212622320819858060225144933441361750881556\ 8270061598867685771735992/17203417584256451030396375504843173884194\ 97528832371905435678471141*c_0101_4^20 + 2567495891084669274703177621904651606266586519495405904576116080264\ 32866/1720341758425645103039637550484317388419497528832371905435678\ 471141*c_0101_4^19 - 1945340267807404346835177807413203956093869517\ 53520681598562676637675208/1720341758425645103039637550484317388419\ 497528832371905435678471141*c_0101_4^18 + 7426409758213034861606346550919980156239710202748641906601691652952\ 2515/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^17 + 53215653243276008166635927095096191424446291631\ 011908610141446285840154/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^16 - 1124653482416447530581863588899437759625054805516394323325709647407\ 25250/1720341758425645103039637550484317388419497528832371905435678\ 471141*c_0101_4^15 + 1124137961177250466553507923347559816640071003\ 21448254309568029340390953/1720341758425645103039637550484317388419\ 497528832371905435678471141*c_0101_4^14 - 1084249012489469079223481435418224608918582964461274469962709869369\ 46860/1720341758425645103039637550484317388419497528832371905435678\ 471141*c_0101_4^13 + 8764553451138974631720194100584179704962393133\ 7815893125401692945496263/17203417584256451030396375504843173884194\ 97528832371905435678471141*c_0101_4^12 - 3313479267899119522649261088753185145377724839116468700995007346247\ 1618/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^11 - 10640630610655262296709329477314328619799152144\ 854106453350426785775172/172034175842564510303963755048431738841949\ 7528832371905435678471141*c_0101_4^10 + 1696686025314007398678868751465464014486191066771472421298179001067\ 6337/17203417584256451030396375504843173884194975288323719054356784\ 71141*c_0101_4^9 - 897764274854750713820190114388784879535188439361\ 8110164014227293446303/17203417584256451030396375504843173884194975\ 28832371905435678471141*c_0101_4^8 + 4279662302519995031226929218736176185169154361177117605502135614144\ 942/172034175842564510303963755048431738841949752883237190543567847\ 1141*c_0101_4^7 - 1431064300878625101870351180805075994360393179431\ 239031563882596524335/172034175842564510303963755048431738841949752\ 8832371905435678471141*c_0101_4^6 - 3398057893086192753218603827262317011030113658542481400938644247662\ 05/1720341758425645103039637550484317388419497528832371905435678471\ 141*c_0101_4^5 + 34430836207924028447638494587249742355490224844260\ 2155436150375476250/17203417584256451030396375504843173884194975288\ 32371905435678471141*c_0101_4^4 - 117597094902872671530450161718087\ 85813184686516876368504882853794623/1720341758425645103039637550484\ 317388419497528832371905435678471141*c_0101_4^3 + 4540945774106250919211516882505884325888205197419723043211803047368\ /172034175842564510303963755048431738841949752883237190543567847114\ 1*c_0101_4^2 - 8331086975214449506958659426280000453193288310051856\ 251792443896458/172034175842564510303963755048431738841949752883237\ 1905435678471141*c_0101_4 + 793242728451863798925657763586024973743\ 42691991192980066122130581/1720341758425645103039637550484317388419\ 497528832371905435678471141, c_0101_2 + 60986234722500810112591945944005015469623/114491631565068043\ 9235774372121362874503*c_0101_4^29 - 684505864837744162463354544590980426753117/114491631565068043923577\ 4372121362874503*c_0101_4^28 + 274206120906158909665992484164487769\ 4818685/1144916315650680439235774372121362874503*c_0101_4^27 - 3855323367306739006855153970329401091971705/11449163156506804392357\ 74372121362874503*c_0101_4^26 - 51788733144745315300669528824705372\ 85102017/1144916315650680439235774372121362874503*c_0101_4^25 + 28777808174935525922532843872979415440246932/1144916315650680439235\ 774372121362874503*c_0101_4^24 - 4598251458885068583684986872069710\ 7525101731/1144916315650680439235774372121362874503*c_0101_4^23 + 23702208740316932375427879333337504709141086/1144916315650680439235\ 774372121362874503*c_0101_4^22 + 3156697690923368728869302192500311\ 3812302129/1144916315650680439235774372121362874503*c_0101_4^21 - 69491060243187320818020590311010246983566480/1144916315650680439235\ 774372121362874503*c_0101_4^20 + 6632798487241360427412025544553454\ 2076514305/1144916315650680439235774372121362874503*c_0101_4^19 - 41428052015764183302016701693210621448399168/1144916315650680439235\ 774372121362874503*c_0101_4^18 + 7066603113268122690780074763695245\ 850951708/1144916315650680439235774372121362874503*c_0101_4^17 + 24659101379475097109960081370823645826500538/1144916315650680439235\ 774372121362874503*c_0101_4^16 - 3315686459554831134757407297073896\ 5189470787/1144916315650680439235774372121362874503*c_0101_4^15 + 27142120453610075749356867562810515206876102/1144916315650680439235\ 774372121362874503*c_0101_4^14 - 2563914829240937080126844890431150\ 3988326674/1144916315650680439235774372121362874503*c_0101_4^13 + 19751060102729353962730302987795587404370047/1144916315650680439235\ 774372121362874503*c_0101_4^12 - 3391082720045515296306430945163839\ 854487032/1144916315650680439235774372121362874503*c_0101_4^11 - 6857056528127859229476574411849784678321121/11449163156506804392357\ 74372121362874503*c_0101_4^10 + 48352658668403782464187136429987518\ 21495989/1144916315650680439235774372121362874503*c_0101_4^9 - 1214272678394227843368032813343444100145936/11449163156506804392357\ 74372121362874503*c_0101_4^8 + 498201181001019436331114913320460014\ 503727/1144916315650680439235774372121362874503*c_0101_4^7 - 148850716099109177890111840561719499854649/114491631565068043923577\ 4372121362874503*c_0101_4^6 - 2154350654677471984023236647617090384\ 03664/1144916315650680439235774372121362874503*c_0101_4^5 + 88069690461229281356597182825012216012641/1144916315650680439235774\ 372121362874503*c_0101_4^4 + 34414323450722834900841661195335356564\ 826/1144916315650680439235774372121362874503*c_0101_4^3 - 1071317534930378227486552893717223612414/11449163156506804392357743\ 72121362874503*c_0101_4^2 - 626489522805574792893765554561663646775\ 7/1144916315650680439235774372121362874503*c_0101_4 - 763118592201534474314800777529085553710/114491631565068043923577437\ 2121362874503, c_0101_4^30 - 83/7*c_0101_4^29 + 677/13*c_0101_4^28 - 8354/91*c_0101_4^27 - 4028/91*c_0101_4^26 + 47707/91*c_0101_4^25 - 95803/91*c_0101_4^24 + 79427/91*c_0101_4^23 + 23328/91*c_0101_4^22 - 132331/91*c_0101_4^21 + 165058/91*c_0101_4^20 - 126572/91*c_0101_4^19 + 4002/7*c_0101_4^18 + 28580/91*c_0101_4^17 - 72372/91*c_0101_4^16 + 72535/91*c_0101_4^15 - 65047/91*c_0101_4^14 + 54611/91*c_0101_4^13 - 24439/91*c_0101_4^12 - 6407/91*c_0101_4^11 + 13464/91*c_0101_4^10 - 507/7*c_0101_4^9 + 306/13*c_0101_4^8 - 760/91*c_0101_4^7 - 200/91*c_0101_4^6 + 344/91*c_0101_4^5 - 33/91*c_0101_4^4 - 33/91*c_0101_4^3 - 6/91*c_0101_4^2 + 3/91*c_0101_4 + 1/91 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB