Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 307465947] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1647 geometric_solution 5.38924044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.172921211737 0.146435774692 0 0 2 2 0132 2310 2310 0132 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 -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 2.528330435438 2.747179169685 3 1 1 4 0132 3201 0132 0132 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 1 0 -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 0.212433251131 0.420708436325 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.059448379646 1.096488319123 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -1 0 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 0 0 0 1 -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.059448379646 1.096488319123 5 4 3 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507031439242 0.988452140590 6 6 4 3 1302 2031 3201 0132 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448732203188 0.500204877018 ==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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 6700861115437835772845864718100122012637927167787413609737347675521\ 84740435582335476478222/6174163883920715643501860652865070010319358\ 169191271827930565928512197309804009416768653*c_0101_3^29 - 9876479666513577786615991799391355251613641974359538737342872832510\ 643145858135678531999268/308708194196035782175093032643253500515967\ 90845956359139652829642560986549020047083843265*c_0101_3^28 - 6079694899720479160390675719505439142483471975660746303330271673061\ 6722422515074651752776677/30870819419603578217509303264325350051596\ 790845956359139652829642560986549020047083843265*c_0101_3^27 - 4009943000343771181797880016496504815248798460685261936810488648088\ 2576415595779392742613361/30870819419603578217509303264325350051596\ 790845956359139652829642560986549020047083843265*c_0101_3^26 + 4922549210291195288009899459463683033816561803889658421505092613247\ 5603160653356987610691383/34300910466226198019454781404805944501774\ 21205106262126628092182506776283224449675982585*c_0101_3^25 - 4093981148241346215569056060113934940445756996828404807053776490384\ 4794180507331098399675412/30870819419603578217509303264325350051596\ 790845956359139652829642560986549020047083843265*c_0101_3^24 + 1422482524553107994584502645449149330491737626286234317153228830356\ 55368974575745133892467279/1029027313986785940583643442144178335053\ 2263615318786379884276547520328849673349027947755*c_0101_3^23 + 4635761197916622711167851911502124059763325346408852904023710476236\ 80714477732003448909121138/2374678416892582939808407943409642311661\ 291603535104549204063818658537426847695929526405*c_0101_3^22 - 2794661044434345470008383545272393159979975441066763171853043337311\ 965530034020447732089034749/308708194196035782175093032643253500515\ 96790845956359139652829642560986549020047083843265*c_0101_3^21 - 1054768134843292566979399062023882583320131765370765812429819847292\ 465907063860461931709952042/343009104662261980194547814048059445017\ 7421205106262126628092182506776283224449675982585*c_0101_3^20 + 2382506897409695525797448797957719810990614445062985860366863453896\ 246065074164904007603624143/308708194196035782175093032643253500515\ 96790845956359139652829642560986549020047083843265*c_0101_3^19 - 6961842867919073759384464576788913153799170364330813667777886294981\ 58161322131972268744659463/1029027313986785940583643442144178335053\ 2263615318786379884276547520328849673349027947755*c_0101_3^18 - 2221744674756599695431659577680645433671429017200834366328264733990\ 193859872512499922375009618/308708194196035782175093032643253500515\ 96790845956359139652829642560986549020047083843265*c_0101_3^17 - 1001971347010271354854567186004342584571915814919231534786086054831\ 728584967264429565015807554/114336368220753993398182604682686481672\ 5807068368754042209364060835592094408149891994195*c_0101_3^16 + 1406576551129234403190419216857046272146979487351404053273282644237\ 02959415499598426897288434078/3087081941960357821750930326432535005\ 1596790845956359139652829642560986549020047083843265*c_0101_3^15 + 2058581501510267569398001102744550373249575411012185794053821505422\ 81980479454042569837164542038/3087081941960357821750930326432535005\ 1596790845956359139652829642560986549020047083843265*c_0101_3^14 - 1322842052023335193463195354582998469223004767383397507276833918732\ 76689093693973765750944106541/3087081941960357821750930326432535005\ 1596790845956359139652829642560986549020047083843265*c_0101_3^13 - 4829639775882676829492051632680577423524925505629023390222442696227\ 2567856537054245630238388162/10290273139867859405836434421441783350\ 532263615318786379884276547520328849673349027947755*c_0101_3^12 - 9903139631601542414064092159730153505159159013734160100023236675002\ 1824037321476804096662913332/10290273139867859405836434421441783350\ 532263615318786379884276547520328849673349027947755*c_0101_3^11 - 1444645101105976890899395012952189613729527392246784083277997392893\ 20688991070425205252957399118/6174163883920715643501860652865070010\ 319358169191271827930565928512197309804009416768653*c_0101_3^10 - 1445170550222264412902917876928208888695513231268145092008897174624\ 91159700565076456395767478941/1029027313986785940583643442144178335\ 0532263615318786379884276547520328849673349027947755*c_0101_3^9 + 1567169510475576386268511662279362834641163018363877982911114476854\ 32744193731151170055621562941/3087081941960357821750930326432535005\ 1596790845956359139652829642560986549020047083843265*c_0101_3^8 + 2926475810257422863487906235433700155619602005485070836377038409217\ 57808821413667485445074161096/3087081941960357821750930326432535005\ 1596790845956359139652829642560986549020047083843265*c_0101_3^7 + 2317292142698468258699124196999760665619889557454691355014949660603\ 8880244481712101657905114004/61741638839207156435018606528650700103\ 19358169191271827930565928512197309804009416768653*c_0101_3^6 - 2226980989870786274663130431001931326900640014404324604923178338171\ 413499894133497986902177026/102902731398678594058364344214417833505\ 32263615318786379884276547520328849673349027947755*c_0101_3^5 - 1340608695463200988018618490140432952085666510047490761589550470057\ 026475567953205480012103873/205805462797357188116728688428835667010\ 6452723063757275976855309504065769934669805589551*c_0101_3^4 - 8573353321528312082397200476802028598365611348964330687418496005807\ 131481753788819189358794286/308708194196035782175093032643253500515\ 96790845956359139652829642560986549020047083843265*c_0101_3^3 + 6203463472432054158330274087074723698169352242456621967486533464370\ 70667324087006639394255379/3087081941960357821750930326432535005159\ 6790845956359139652829642560986549020047083843265*c_0101_3^2 + 7930903880872596479772645655551224740696605950685805723325001460445\ 3568196583199814830581995/20580546279735718811672868842883566701064\ 52723063757275976855309504065769934669805589551*c_0101_3 - 1680864976527438283854768293786235161966771242144180047014116115986\ 83185207691061553493786041/3087081941960357821750930326432535005159\ 6790845956359139652829642560986549020047083843265, c_0011_0 - 1, c_0011_2 + 477961910850702170381653315865573892758037949056365422146475\ 237052393396822/379378982299088911915660701151496408798080013154921\ 86874518685709154608937905*c_0101_3^29 - 3471593203466463184054027304614139128057868812124100774782188262745\ 82880431/7587579645981778238313214023029928175961600263098437374903\ 737141830921787581*c_0101_3^28 - 7505795827430920353367202792819045\ 275139741492300537098196771077783099178023/379378982299088911915660\ 70115149640879808001315492186874518685709154608937905*c_0101_3^27 - 5213234559715770193243309338497112540523547345157450126418244570674\ 46396939/3793789822990889119156607011514964087980800131549218687451\ 8685709154608937905*c_0101_3^26 + 127770946736560603177996249715436\ 38743560955588300118865285970062044955025002/7587579645981778238313\ 214023029928175961600263098437374903737141830921787581*c_0101_3^25 - 9884983096553021128605698438008063108494415459820014472946502347562\ 033005121/758757964598177823831321402302992817596160026309843737490\ 3737141830921787581*c_0101_3^24 + 920580033758131473409186631813342\ 77807085707975428313674613625274457439356551/3793789822990889119156\ 6070115149640879808001315492186874518685709154608937905*c_0101_3^23 + 15962522108918027044898054887193195993017981720173294210636077670\ 0323792667268/75875796459817782383132140230299281759616002630984373\ 74903737141830921787581*c_0101_3^22 - 9477754918015388315572814061327897792348467027161540903691059712614\ 13853027647/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^21 - 1480144152475132627366723730573235561296034932427683770205814211730\ 98853240666/7587579645981778238313214023029928175961600263098437374\ 903737141830921787581*c_0101_3^20 + 8765157518986605089214162686276870961212300625058068489619178233731\ 51540410684/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^19 - 8574087904272832125844323658178802845186277816234364036852217316751\ 76836534042/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^18 + 2405795417172839233864301676483665148090017262339238912854938468528\ 79702384889/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^17 - 7990006240852446374287164817777514161199868214023550888398473953428\ 58549143697/7587579645981778238313214023029928175961600263098437374\ 903737141830921787581*c_0101_3^16 + 2279613421757306876848449610278722631785953517451260407826724951717\ 6874942124301/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^15 + 1393949188114359637081395227273229343896930735720683159442817946583\ 3182142368882/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^14 - 2929795410217313822480950498802458927426161080097729839911751898638\ 2764674921597/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^13 - 1453976401447762469371241667241844057926607444840265731085790043378\ 357240284702/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^12 - 4033716789942824010645945738987914732793437325017424594574340603264\ 7346533604696/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^11 - 7514126921175984640412309230555679060117303025272486600963373240216\ 8740469635778/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^10 - 8762711474083215618750840553796096109900818304107020102389986542780\ 804713827612/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^9 + 3192908498952990871059279259387009226028385102465774300020736599904\ 8055085102647/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^8 + 2108204364940093386137522771918758710361441792853630825239939803409\ 6318541399551/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^7 + 1023899380338234555971722719841119926029028716516359222908141453190\ 420394591987/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^6 - 2783763300445997474121620847105661821522934674779793664805559368745\ 260679609898/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^5 - 1257368765447390543278207039830444038975725805898188630602293610767\ 391041090776/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^4 - 3094163789203566376486369739893923877590591768854102078030273706448\ 67605829152/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^3 + 3667133131251796964337428028452882630050295749856712634296118342019\ 91664494834/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^2 - 2595134160602741159463695740777741814495328905466381569838415797151\ 5238115046/37937898229908891191566070115149640879808001315492186874\ 518685709154608937905*c_0101_3 - 1612428605256387575750989007858311\ 2212029417724635285390928381996350010374516/37937898229908891191566\ 070115149640879808001315492186874518685709154608937905, c_0011_4 - 379033111164810304465247524954467074782911847638614905651231\ 48859930096497472718452/4913466618854920214790829595302384257523880\ 82668136674778411715013146581180984053285*c_0101_3^29 + 1081600622001996022779722704465931565591771943016202266690970183474\ 21945120375552129/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285*c_0101_3^28 + 6955278174136040690409420049867850578913227395336964545177179389042\ 58695609380945454/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285*c_0101_3^27 + 5274145677335017439163749234909399721662205281613666574240983582551\ 03806492131871317/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285*c_0101_3^26 - 4921378700508317750831098818253025784558501891522148958643259329628\ 839692392299188081/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^25 + 1432740150507639125648985094675626691568924850441900814502642769225\ 2126162854212381/49134666188549202147908295953023842575238808266813\ 6674778411715013146581180984053285*c_0101_3^24 - 5149226875629899808229556095495507474560129699076799591399519703047\ 993714935702309447/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^23 - 6850246264134583408791253051825954498876279281270678365587624533847\ 1871356830749362987/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^22 + 2471737738617681057696153861662152478048063569314008396823746639261\ 1200212878705587409/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^21 + 1055055323228698724278250636936972416939554737154670416923229982573\ 68730462787508350034/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^20 - 1338468824969826535821788435391075317486827654488870347436765114499\ 2229540200071359188/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^19 + 2704758551373770691481656632635616971297814279689811475863897781951\ 2148093047017643359/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^18 + 4966282331749931289165693914318328615639952498918161054962997115221\ 471179216739091415/982693323770984042958165919060476851504776165336\ 27334955682343002629316236196810657*c_0101_3^17 + 3120193279573583551012057769711814399954850393543799848803691476910\ 44136696414604867399/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^16 - 3124485354289156273991896019677701137037787856758248643415826689241\ 58350100267174831466/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^15 - 2455386032186082483038127873882539241782424795421449473493727205158\ 290213131890810437341/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^14 + 2307292621806205835056396877166302048618903540441281682366182911632\ 64450009415755638314/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^13 + 3289739983855385583152174698511323622701208936450046257717156392184\ 22217454994618808494/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^12 + 3631003537925498991468197043774084340805044376982278664176429591216\ 126916212184454250859/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^11 + 8553942384852241926742277719788219905618000510518688837383642111756\ 362533691270340218883/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^10 + 5937068792091415267373403238473250160977950754940672095947763691991\ 001552086922471802821/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^9 - 1526875528988284603556261875221159116844238777420756313901109629164\ 36498493639237841602/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^8 - 3196678033774245952903994003893674735307088780927151120483476008216\ 356683864741024884974/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^7 - 1709137268951608095220273939599898397555611907379135811322668776206\ 672479893074337857427/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^6 - 2248316257276550872963062998158649450413472969567307449996536171012\ 36561559709780692848/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^5 + 1539787017231323990926988830389848086873634095919505669757851883927\ 68769170039233403296/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^4 + 2170149431977485378761501924723519217346243565378494284866521023246\ 4297194921167078182/98269332377098404295816591906047685150477616533\ 627334955682343002629316236196810657*c_0101_3^3 + 9288031631368788962950884047299274610708467998277096966427333873375\ 178411196972284799/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^2 - 9135178851385675608145443344209788061199633717295293006619989067585\ 116453843292905214/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3 + 2920611091553876975117534583630093057649672040792838746577674922723\ 12415634812563944/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285, c_0011_6 - 201190790067769434101980113237670661038677881319978805390831\ 45607860221030191995791/4913466618854920214790829595302384257523880\ 82668136674778411715013146581180984053285*c_0101_3^29 + 6235763572820447944370692460703846368648266026694017330048075296277\ 6520553278095159/49134666188549202147908295953023842575238808266813\ 6674778411715013146581180984053285*c_0101_3^28 + 7077345645151991830704630291106234271276213187708704221247550697494\ 2426429999758676/98269332377098404295816591906047685150477616533627\ 334955682343002629316236196810657*c_0101_3^27 + 3872343169388336613691529525873749225605934795932621882519555779478\ 0656112344131072/98269332377098404295816591906047685150477616533627\ 334955682343002629316236196810657*c_0101_3^26 - 2662278594002691419788105884694832343937801486739121872293049786693\ 137545482309250736/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^25 + 6499250642654997309861370122781872180204769777865053332906615933299\ 23594344713409331/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285*c_0101_3^24 - 2897925466535503268383946554090863415013850676047069629984269414658\ 844151558201833614/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^23 - 3555812284210035684782405922138746586650979607330330839637532347874\ 4247204690172947182/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^22 + 2183530459005462409847542806791483167668721488098645945392583078692\ 8964788978362417413/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^21 + 5077194218949697621024812831971145975709718718700287025325258316566\ 7344930431670065244/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^20 - 1837122010085132761572614236514102033986550822963542932368070275040\ 4552636595943830546/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^19 + 1803892607456617290550106656754766516589775516571870585880596226997\ 6696521959164335818/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^18 + 7235912450684484360165434348860256108708798500472228945739967354732\ 339176295193065597/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^17 + 1644317169511737536566471645271085077279229001520895958489437092858\ 30372151098005128459/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^16 - 8706201888248621465744904314252187227189436046487553132968435461385\ 14375774174206613047/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^15 - 2178893201030251944921747722183798589644207045706589898176631433580\ 24620944061400701050/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^14 + 8748296870033395396037951055210392227755449100844412101510358847084\ 40038578064306382924/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^13 + 6891814165723502675726764747821979216550837879796687707491443739373\ 69849584284458547794/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^12 + 1792874547405371541415283632463123221598636191611859777699292821978\ 982357186379058332326/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^11 + 4071850154907685234947515599164852053192475827689192231095644853325\ 654175749293678931204/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^10 + 4266542253712870537171834512570363441249880144271196001461001647006\ 10718662915694183092/9826933237709840429581659190604768515047761653\ 3627334955682343002629316236196810657*c_0101_3^9 - 9985939905827506559706192732868676054802995479635804057721271958742\ 71487594008579412274/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^8 - 1593846126673028260187622975639324674615976105381462511491754724238\ 431244607842219765686/491346661885492021479082959530238425752388082\ 668136674778411715013146581180984053285*c_0101_3^7 - 5921153103456403664216480652813394388464654085390055448184421667527\ 22958338542888780301/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^6 + 4092881920153032628119235115169660121362138470127289883460203429506\ 1996423483701961128/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^5 + 1137056853345014273742503722739016717517848517998282731707430042465\ 04488440988645880308/4913466618854920214790829595302384257523880826\ 68136674778411715013146581180984053285*c_0101_3^4 + 5082393682506548922484431373744711300752770041061177455911197652092\ 5511258809567997039/49134666188549202147908295953023842575238808266\ 8136674778411715013146581180984053285*c_0101_3^3 - 3632933221080298649867314073604105176514607221460878693970321614388\ 156225457380797844/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3^2 - 5099406941041211430397072015844020953529143765151103507819006484452\ 329244392103816207/491346661885492021479082959530238425752388082668\ 136674778411715013146581180984053285*c_0101_3 + 2265259584102835153483905996546525318442027010767346158850022745693\ 11460843608612061/4913466618854920214790829595302384257523880826681\ 36674778411715013146581180984053285, c_0101_0 + 130726693377322436833922875420008530647219299170526420333880\ 2882938319420255914348601/87951052477503071844755849755912678209677\ 466797596464785335696987353238031396145538015*c_0101_3^29 - 3000135473447637678104417826121275627498204412604455708136680795980\ 653872942179791966/879510524775030718447558497559126782096774667975\ 96464785335696987353238031396145538015*c_0101_3^28 - 2640722535238462488655586642614091251989193067515912980030766669825\ 7512994476404239818/87951052477503071844755849755912678209677466797\ 596464785335696987353238031396145538015*c_0101_3^27 - 3049281401324442802797885668964431533093495846026036693929840435685\ 5045842846904186059/87951052477503071844755849755912678209677466797\ 596464785335696987353238031396145538015*c_0101_3^26 + 1652331719538946727825902103167961646899757138777154827680299860311\ 36195262766782718704/8795105247750307184475584975591267820967746679\ 7596464785335696987353238031396145538015*c_0101_3^25 + 9665587903636009328817397337774298057243582527235553687801707976152\ 7238595171465971956/87951052477503071844755849755912678209677466797\ 596464785335696987353238031396145538015*c_0101_3^24 + 1332740900100241972738481120363815233663935094114023503275994544724\ 08087707100650893437/8795105247750307184475584975591267820967746679\ 7596464785335696987353238031396145538015*c_0101_3^23 + 2480918748217534773531390555571863670310879755731606473574620854128\ 442510047318880546878/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^22 + 4106294996565102114737770109805014192307102339122223237048021203303\ 83046642615635313116/8795105247750307184475584975591267820967746679\ 7596464785335696987353238031396145538015*c_0101_3^21 - 4696421375615481818929325981582942902742676012442170428344923104130\ 147816801757205530856/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^20 - 1109714758176688628071035677087599267773398225923248606677408058703\ 003965240590649029062/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^19 + 1878702384933530576522139796892093139128392449084778814290417609588\ 0968204369743183131/87951052477503071844755849755912678209677466797\ 596464785335696987353238031396145538015*c_0101_3^18 - 1773766348223264701904608149396885937547067590984229864913959019826\ 820331251390676420319/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^17 - 1076696908346029534936238342931183347434448243523450257934192251703\ 3606679951329762014966/87951052477503071844755849755912678209677466\ 797596464785335696987353238031396145538015*c_0101_3^16 + 4787475606531171462453633402759998285394412856028717213222334010229\ 6401879663266357121839/87951052477503071844755849755912678209677466\ 797596464785335696987353238031396145538015*c_0101_3^15 + 1175619351468068955680250192318280525712515935601059818081072839452\ 85813806071171616683317/8795105247750307184475584975591267820967746\ 6797596464785335696987353238031396145538015*c_0101_3^14 - 7446812786663374959635281910060555928863471260098089924067349119100\ 562289328570786541203/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^13 - 9413195343875058269496512227038644913535138102957472882364215828705\ 3156417907630405915133/87951052477503071844755849755912678209677466\ 797596464785335696987353238031396145538015*c_0101_3^12 - 2825460910748444163153902857445041196801043573827158278972083239352\ 5087085265285330711495/17590210495500614368951169951182535641935493\ 359519292957067139397470647606279229107603*c_0101_3^11 - 3586165781834221149908268110986680244386737288385788755808380845997\ 74865544450036720213434/8795105247750307184475584975591267820967746\ 6797596464785335696987353238031396145538015*c_0101_3^10 - 3394033620587760537002868755675447084312851589533235783096679727520\ 41625074160317737620507/8795105247750307184475584975591267820967746\ 6797596464785335696987353238031396145538015*c_0101_3^9 - 2434477504477883867795652328338704637593086182956474170406740546300\ 1116494687120079875687/87951052477503071844755849755912678209677466\ 797596464785335696987353238031396145538015*c_0101_3^8 + 3053137568602449401918765787788811858683161696242568896651427949745\ 4507897273399266736321/17590210495500614368951169951182535641935493\ 359519292957067139397470647606279229107603*c_0101_3^7 + 1075749190036346903905704408817502545677197671651895218326720445469\ 02458196533379375394751/8795105247750307184475584975591267820967746\ 6797596464785335696987353238031396145538015*c_0101_3^6 + 4317587411318363655403070791122900296672595213585597546718698881383\ 636031449773878426262/175902104955006143689511699511825356419354933\ 59519292957067139397470647606279229107603*c_0101_3^5 - 8179015624908190967340276971251877814261351409615006516604444880791\ 731013033061944073578/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^4 - 7223633991331312969802399153090985885194030335403384258143987354900\ 520226477408029040983/879510524775030718447558497559126782096774667\ 97596464785335696987353238031396145538015*c_0101_3^3 - 3409544657082717808664034141086206462436334589353184117204409769646\ 17952030384237750358/1759021049550061436895116995118253564193549335\ 9519292957067139397470647606279229107603*c_0101_3^2 + 5981176200978747668486480264319160028580923444275260467331619671034\ 37070406035344891047/8795105247750307184475584975591267820967746679\ 7596464785335696987353238031396145538015*c_0101_3 + 5939038364032169403134237235401655978814809296114068786802760829361\ 418944676424423857/175902104955006143689511699511825356419354933595\ 19292957067139397470647606279229107603, c_0101_1 - 431869718015185094561559740731345609571263121291990367613093\ 955854630712046/379378982299088911915660701151496408798080013154921\ 86874518685709154608937905*c_0101_3^29 + 1568659195562228213570648870553677950180310497442393770706463334443\ 931793106/379378982299088911915660701151496408798080013154921868745\ 18685709154608937905*c_0101_3^28 + 6780829411715721837378557584292140442606622549742605593262888712196\ 190448718/379378982299088911915660701151496408798080013154921868745\ 18685709154608937905*c_0101_3^27 + 4680492532312268778772696580391058816704027513262202858760996781131\ 31137519/3793789822990889119156607011514964087980800131549218687451\ 8685709154608937905*c_0101_3^26 - 577222487449747846594978003693995\ 43457642970728064624023657778632506497026619/3793789822990889119156\ 6070115149640879808001315492186874518685709154608937905*c_0101_3^25 + 44690827027501509290429816311104662164566363132568636976055362963\ 038889846589/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^24 - 8323465025117734115422626773892987880139720446477913729985803358151\ 6410665902/37937898229908891191566070115149640879808001315492186874\ 518685709154608937905*c_0101_3^23 - 7210649864126680622665747225608804233634677435425117445878234027009\ 80013574283/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^22 + 8567184309573892202351266749474007946420394985076381397897453279613\ 70487045119/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^21 + 6678937671933044139952864081218291902302481490971090633836424963024\ 54163884056/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^20 - 7917068199224428088880665185177912382255631205202488676133137692579\ 88338272478/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^19 + 7749448448404963380055934288071306830844684283512038622917052121355\ 05454546569/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^18 - 2180020599768545842094895401411418062566896450015768133833617779524\ 74149745421/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^17 + 3610439453165275492786749184715939954702409287003049871065911057671\ 563473935721/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^16 - 2060063339902156875333291704749913433802656641214265731031032494674\ 6648635464809/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^15 - 1258065660702058652208459278982365635104761090271023292301902594619\ 5748282653492/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^14 + 2646746033331276808070903878151485442075426321510499242137277555141\ 1658041858413/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^13 + 1301598957094982340140353268096797294482700092730113394283236883558\ 943562599903/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^12 + 7291182530502494225505198209409797356968513610806192222147973641393\ 758642828081/758757964598177823831321402302992817596160026309843737\ 4903737141830921787581*c_0101_3^11 + 6786564365215697444765228195117796230833650053305950412481048015114\ 7773393328054/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^10 + 7903934198389538270174762797337884856512663744572409329159434451986\ 478947392097/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^9 - 2884212143859138755892911263839503037525555956956588433126000943025\ 6618652821278/37937898229908891191566070115149640879808001315492186\ 874518685709154608937905*c_0101_3^8 - 3807739841699977481640625257158257086159186811483905455375574621722\ 144287981308/758757964598177823831321402302992817596160026309843737\ 4903737141830921787581*c_0101_3^7 - 9228435022720745241748110695122688804533788434086128117457198231330\ 57832526516/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^6 + 5028000292122304974324621134603305987864541643180477044928708491202\ 75318210323/7587579645981778238313214023029928175961600263098437374\ 903737141830921787581*c_0101_3^5 + 1136120970423653861702426056232148346135401455036441796935548970004\ 627022263438/379378982299088911915660701151496408798080013154921868\ 74518685709154608937905*c_0101_3^4 + 2795377201082425725015895111592189635203767983061239954657947932511\ 80018597448/3793789822990889119156607011514964087980800131549218687\ 4518685709154608937905*c_0101_3^3 - 6598073993515030836486044833050562018515883618895569564321063878253\ 4714046766/75875796459817782383132140230299281759616002630984373749\ 03737141830921787581*c_0101_3^2 + 358231819225616633879591015558819\ 83538583000740300495687854827669492533624373/3793789822990889119156\ 6070115149640879808001315492186874518685709154608937905*c_0101_3 + 5947577011000742468375566488933308930956308694119333604813723644890\ 644856593/758757964598177823831321402302992817596160026309843737490\ 3737141830921787581, c_0101_3^30 - 3*c_0101_3^29 - 18*c_0101_3^28 - 11*c_0101_3^27 + 133*c_0101_3^26 - 19*c_0101_3^25 + 127*c_0101_3^24 + 1792*c_0101_3^23 - 929*c_0101_3^22 - 2804*c_0101_3^21 + 863*c_0101_3^20 - 638*c_0101_3^19 - 632*c_0101_3^18 - 8035*c_0101_3^17 + 42409*c_0101_3^16 + 59316*c_0101_3^15 - 43005*c_0101_3^14 - 41716*c_0101_3^13 - 86208*c_0101_3^12 - 210598*c_0101_3^11 - 117389*c_0101_3^10 + 55340*c_0101_3^9 + 86238*c_0101_3^8 + 29915*c_0101_3^7 - 4492*c_0101_3^6 - 6300*c_0101_3^5 - 2312*c_0101_3^4 + 352*c_0101_3^3 + 373*c_0101_3^2 - 64*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB