Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2033771935] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0787 geometric_solution 4.72930194 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.542177485445 0.201869947175 0 2 2 0 3201 0132 1023 0132 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 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 1.233109363027 0.361445905099 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588860964181 0.577824519172 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.419912439695 0.377354153309 3 3 2 5 2031 1302 0132 0132 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 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.419912439695 0.377354153309 6 3 4 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.659243374208 0.793534966490 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.780287006504 0.477768828419 ==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' : negation(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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 2226065178949635895065464030637294525807518447044242015377060296403\ /234472910091637664520206839566683086203793016109399140522741320168\ *c_0101_6^27 + 1064656403216876930706358525336723592257965442896705\ 6716805103664945/23447291009163766452020683956668308620379301610939\ 9140522741320168*c_0101_6^26 - 777547789443225082161590969113926405\ 10612851768798307785077940864047/2344729100916376645202068395666830\ 86203793016109399140522741320168*c_0101_6^25 - 3495233777261250486177865446895977853652955151862470246372718384766\ 99/2344729100916376645202068395666830862037930161093991405227413201\ 68*c_0101_6^24 + 26309058104763426072259255866410891691273946769756\ 6713850857587709657/58618227522909416130051709891670771550948254027\ 349785130685330042*c_0101_6^23 + 4434249611954700067401845599504104\ 067892984089329227393455746623394271/234472910091637664520206839566\ 683086203793016109399140522741320168*c_0101_6^22 - 3448069837365439554639079828878506288206797405552541486712964612211\ 305/117236455045818832260103419783341543101896508054699570261370660\ 084*c_0101_6^21 - 1194230963130795686606116725345870499020132394044\ 4330422888278622318019/11723645504581883226010341978334154310189650\ 8054699570261370660084*c_0101_6^20 + 2163304509153335494439573520504448186717050020542811282769325414743\ 5533/23447291009163766452020683956668308620379301610939914052274132\ 0168*c_0101_6^19 + 110827843735716153445524861546882979368756712887\ 40245081445589675034555/5861822752290941613005170989167077155094825\ 4027349785130685330042*c_0101_6^18 - 3325282564154338141816362522522252726715668542958313621237622223759\ 3615/23447291009163766452020683956668308620379301610939914052274132\ 0168*c_0101_6^17 + 619719691439272219396928600303324909720850711433\ 2242754937585779897113/23447291009163766452020683956668308620379301\ 6109399140522741320168*c_0101_6^16 + 1944324029527152681138563627192019921983642324439666284800225717268\ 2421/11723645504581883226010341978334154310189650805469957026137066\ 0084*c_0101_6^15 - 395457282988209529990360419103015662319694832445\ 83832731619733207123317/5861822752290941613005170989167077155094825\ 4027349785130685330042*c_0101_6^14 - 1294971297267025712765397966200207566935421070216255214755223324612\ 44929/2344729100916376645202068395666830862037930161093991405227413\ 20168*c_0101_6^13 + 47844758987657139090827862988356036283093957057\ 534659353872130576126113/586182275229094161300517098916707715509482\ 54027349785130685330042*c_0101_6^12 + 1969558378991553393345756890299995684842459696037359877154610241185\ 61655/2344729100916376645202068395666830862037930161093991405227413\ 20168*c_0101_6^11 - 56766865639416162216246816458338503304169350316\ 843832103747233233999987/234472910091637664520206839566683086203793\ 016109399140522741320168*c_0101_6^10 - 4877411498157451870694944138805192265731738233965124565820809704011\ 1693/11723645504581883226010341978334154310189650805469957026137066\ 0084*c_0101_6^9 + 7116065952471126025270647743008324353151391445158\ 794324381460994798741/234472910091637664520206839566683086203793016\ 109399140522741320168*c_0101_6^8 + 2171210515838105260544723810167965923714759352161731512977986207614\ 2587/23447291009163766452020683956668308620379301610939914052274132\ 0168*c_0101_6^7 - 1084840797580973913794278020672831279495431604122\ 5346340097252832984245/23447291009163766452020683956668308620379301\ 6109399140522741320168*c_0101_6^6 - 1380923106321130908542039154637156243445300528548671688833163008602\ 725/293091137614547080650258549458353857754741270136748925653426650\ 21*c_0101_6^5 - 583016299692394550248797099363074512227715910550632\ 983906443378899823/234472910091637664520206839566683086203793016109\ 399140522741320168*c_0101_6^4 + 81789565620243950755562228821159810\ 5904405125987299437109504226259025/23447291009163766452020683956668\ 3086203793016109399140522741320168*c_0101_6^3 - 269709630747502221500144632152237513796971675340748233329493761761/\ 702014700873166660240140238223602054502374299728739941684854252*c_0\ 101_6^2 - 254863506712514503584880460232476307427392320225027260268\ 02580478405/2344729100916376645202068395666830862037930161093991405\ 22741320168*c_0101_6 + 24642420918069317332883868176543320753696930\ 609477863985125519436713/234472910091637664520206839566683086203793\ 016109399140522741320168, c_0011_0 - 1, c_0011_1 - 193319441816737661600425839697229409656831146509771454890005\ 562/480477274777946033852882867964514520909411918256965451890863361\ *c_0101_6^27 - 8929120496176721494360944593741437003050286541922572\ 86219701277/4804772747779460338528828679645145209094119182569654518\ 90863361*c_0101_6^26 + 69125631020453354610912915586951039076757138\ 22374609342007615304/4804772747779460338528828679645145209094119182\ 56965451890863361*c_0101_6^25 + 29253882605436869831822622976893921\ 482721381228176740078984999745/480477274777946033852882867964514520\ 909411918256965451890863361*c_0101_6^24 - 96790741136011199482142144092936868919576794477642625938799553112/4\ 80477274777946033852882867964514520909411918256965451890863361*c_01\ 01_6^23 - 370097263911730242128127487335956328701445770850185766206\ 531861445/480477274777946033852882867964514520909411918256965451890\ 863361*c_0101_6^22 + 6699875425274150265776683939609166957095881088\ 38282826293166278062/4804772747779460338528828679645145209094119182\ 56965451890863361*c_0101_6^21 + 19720105795479911761094823351464117\ 56101292365922937421404971737309/4804772747779460338528828679645145\ 20909411918256965451890863361*c_0101_6^20 - 2291512570314518713458471312741393047715297382327649112306185695108\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^19 - 3468912708613664109632330628774865752278405825390045105\ 015601214446/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^18 + 3800910552304024199427927809531673088957983\ 798833384364825201085040/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^17 - 1447368814375992187604216237403586860673410563230043493119788183216\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^16 - 3474689359580794083038773637633191480300372125461395887\ 286442386478/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^15 + 1507494282336050377974113845117103506874792\ 8489945771839799628934880/48047727477794603385288286796451452090941\ 1918256965451890863361*c_0101_6^14 + 8179329842132633870100643803001918973514603584383586486152467082000\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^13 - 1881366150665135144252690877266751650653220567940929182\ 3345729799888/48047727477794603385288286796451452090941191825696545\ 1890863361*c_0101_6^12 - 123936109891597316839293921157392445080373\ 83672194980186903796875272/4804772747779460338528828679645145209094\ 11918256965451890863361*c_0101_6^11 + 7583345095227265256091246179415452893776031372988068824446379454169\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^10 + 5762698488882481970322781463280621228880334210790967432\ 324807645233/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^9 - 19250901471173652667676163594522839257250106\ 64101696804228974464411/4804772747779460338528828679645145209094119\ 18256965451890863361*c_0101_6^8 - 933770351440837359117345136912855\ 052921537671794504136088976082638/480477274777946033852882867964514\ 520909411918256965451890863361*c_0101_6^7 + 1178822830213711385714572125677173794354832252507339303073472867464\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^6 + 57191056297292035710855666777587992995312210794361699497\ 7272271574/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^5 - 2941506890183313263173443688548746038305321632\ 2337829143791654267/48047727477794603385288286796451452090941191825\ 6965451890863361*c_0101_6^4 - 7078261522030962617525665109351899666\ 310414681076105789205377091/480477274777946033852882867964514520909\ 411918256965451890863361*c_0101_6^3 + 56878085652694702230966164862370293510968438171311139758444640/2877\ 109429808060082951394418949188747960550408724344023298583*c_0101_6^\ 2 - 117805129033170281069280002500360604691796299950254845179061184\ 0/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6 - 677108481940150678482797738463544107884645819704128720945\ 628271/480477274777946033852882867964514520909411918256965451890863\ 361, c_0011_4 - 219046798890183887585450933795576284003060837052309319050162\ 553/480477274777946033852882867964514520909411918256965451890863361\ *c_0101_6^27 - 1018058745641582791704091228085681011795291150324985\ 166429910623/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^26 + 7810051881467263865045987022050259555140054\ 974959453318367686052/480477274777946033852882867964514520909411918\ 256965451890863361*c_0101_6^25 + 3340378561477846717030511046932821\ 5460933681198973843168737474058/48047727477794603385288286796451452\ 0909411918256965451890863361*c_0101_6^24 - 108958308184919631109968709771560939444497289454040651013005349782/\ 480477274777946033852882867964514520909411918256965451890863361*c_0\ 101_6^23 - 42352795538027607046301657584075784502830564966196646711\ 4874555854/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^22 + 750493234516625225611946323663258254942855089\ 001768998548949505635/480477274777946033852882867964514520909411918\ 256965451890863361*c_0101_6^21 + 2269235789614457096208540169811629\ 453046552865922173433811908793146/480477274777946033852882867964514\ 520909411918256965451890863361*c_0101_6^20 - 2556348776127159989889771364708468249871689076668803149750795381617\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^19 - 4074651218200726998505808501852165799036520450192068833\ 422877223195/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^18 + 4280356613672101531487283017731616551980731\ 885378280688222504119604/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^17 - 1392698596275016307550755404054000755859422790845595547749208058520\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^16 - 4140663581056274431928616138038439151960835538939756205\ 729632960721/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^15 + 1702609678179263968588657539676070153119451\ 3423032465642023451936597/48047727477794603385288286796451452090941\ 1918256965451890863361*c_0101_6^14 + 9905891855146071450134871381162121132949961120818897747666988213459\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^13 - 2161855280103295576404386077967723673079225096583479062\ 2074977021802/48047727477794603385288286796451452090941191825696545\ 1890863361*c_0101_6^12 - 149112558262715016770113454751701773026284\ 27616514474206448794639313/4804772747779460338528828679645145209094\ 11918256965451890863361*c_0101_6^11 + 8928184299468909090323242279553564245556284646722683413201688299378\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^10 + 7130912478396915141371544709209606578352864965125383210\ 280605499625/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^9 - 23387631898574896643954191409192631318567359\ 59447644074348675436364/4804772747779460338528828679645145209094119\ 18256965451890863361*c_0101_6^8 - 126506838241030126323187543404293\ 3994741177289527105719223744377247/48047727477794603385288286796451\ 4520909411918256965451890863361*c_0101_6^7 + 1403891979403149152594830504602654994495942602991310395718736263476\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^6 + 69491345637918902450086837241993409018199975403861495273\ 0951594088/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^5 - 5889513258633432990701746025419807184520597935\ 4604005681331003436/48047727477794603385288286796451452090941191825\ 6965451890863361*c_0101_6^4 - 2095742556943622767513599099578197354\ 9284912936098935361391007495/48047727477794603385288286796451452090\ 9411918256965451890863361*c_0101_6^3 + 70237661433934691181060464555075703776527116961203240749249000/2877\ 109429808060082951394418949188747960550408724344023298583*c_0101_6^\ 2 - 160569026125318967958264704631630719447621863010287665049378203\ 8/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6 - 619469324605373085513722455887154966870764151425437512866\ 391496/480477274777946033852882867964514520909411918256965451890863\ 361, c_0101_0 - 200370038096601371308906379661956089789497160687658336255831\ 498/480477274777946033852882867964514520909411918256965451890863361\ *c_0101_6^27 - 9519536380223465723614858530386912877476157339781918\ 65892256381/4804772747779460338528828679645145209094119182569654518\ 90863361*c_0101_6^26 + 70246075300423633356741059442067592926276442\ 85275010328010384090/4804772747779460338528828679645145209094119182\ 56965451890863361*c_0101_6^25 + 31219188199673051230965242188372134\ 621694593136705714265589193299/480477274777946033852882867964514520\ 909411918256965451890863361*c_0101_6^24 - 95557597930380805192698096573231197481295534723573986813574740774/4\ 80477274777946033852882867964514520909411918256965451890863361*c_01\ 01_6^23 - 395495758029854981388263500086118672933378932427495665634\ 180673179/480477274777946033852882867964514520909411918256965451890\ 863361*c_0101_6^22 + 6310982089436730546496520815377901618913089624\ 38879779524485029199/4804772747779460338528828679645145209094119182\ 56965451890863361*c_0101_6^21 + 21224994908625059133503148042237829\ 79347523021658957407456442277986/4804772747779460338528828679645145\ 20909411918256965451890863361*c_0101_6^20 - 2000119532295825871918857766141860875368721585680552956084870558146\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^19 - 3890780255366564598111245842265945778383367493535843763\ 796506374726/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^18 + 3075856263244141240385951467560454978053120\ 421214443990244374941455/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^17 - 705993145213681253553118293448356416682324351672725532853768462860/\ 480477274777946033852882867964514520909411918256965451890863361*c_0\ 101_6^16 - 34518809563350588701457885174119038954621769510907667150\ 96070048880/4804772747779460338528828679645145209094119182569654518\ 90863361*c_0101_6^15 + 14323765560081395137858172665745962027886917\ 298810817631663137069574/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^14 + 1120605952976613264166062133192752539718261687913939508756074091721\ 5/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6^13 - 173771566318867461224685105590678848010410544247601972\ 47574567240722/4804772747779460338528828679645145209094119182569654\ 51890863361*c_0101_6^12 - 16970832184458329431165168546027995088622\ 819141598614686970696208963/480477274777946033852882867964514520909\ 411918256965451890863361*c_0101_6^11 + 5428703395301221740631952430785521418614705090822048693557551711078\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^10 + 8219582255787170088308463322418921668880099007428996903\ 776709678865/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^9 - 86136186009039138805820908903334420109911405\ 3510280038148868768338/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^8 - 1718714321483455116637050816302944\ 656508152016361071196802009540251/480477274777946033852882867964514\ 520909411918256965451890863361*c_0101_6^7 + 1020675594055138598350958731860611915492767595719552930487082694205\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^6 + 90472986445408755274335090200594281005453228719210719519\ 7165006499/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^5 + 4767243663430813623803793730741332212232709619\ 1162624053327692060/48047727477794603385288286796451452090941191825\ 6965451890863361*c_0101_6^4 - 4819509025337289764702603670816465500\ 1008221534635606527385797030/48047727477794603385288286796451452090\ 9411918256965451890863361*c_0101_6^3 + 52514883356966340679515878557138511013696723672068775671764224/2877\ 109429808060082951394418949188747960550408724344023298583*c_0101_6^\ 2 + 25759123713794021854752494465525534818144568449903223188341219/\ 480477274777946033852882867964514520909411918256965451890863361*c_0\ 101_6 - 92125737134223918135575339959166928266238354950894768856764\ 8566/48047727477794603385288286796451452090941191825696545189086336\ 1, c_0101_2 - 394609955826183398866729336427482112192417448477642683190262\ 834/480477274777946033852882867964514520909411918256965451890863361\ *c_0101_6^27 - 1792682428418603829186345427411288671080061926980616\ 891316340575/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^26 + 1421667504385915068720889543848389869477751\ 8219693469215488523637/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^25 + 585348231120117367641329208230781\ 01293207800504364851506738465646/4804772747779460338528828679645145\ 20909411918256965451890863361*c_0101_6^24 - 200825459482542066503492956006763181018507260521503393083097321921/\ 480477274777946033852882867964514520909411918256965451890863361*c_0\ 101_6^23 - 73717965551200675055821223417988595942694669561913386740\ 0494622967/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^22 + 140462972735656386193232611912934678383774921\ 6945900070012070356329/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^21 + 388457675037941788694420695000029\ 6730768150990390916118877924321413/48047727477794603385288286796451\ 4520909411918256965451890863361*c_0101_6^20 - 4821859940823341545217591713286664814539777500951614100102839394417\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^19 - 6588160349155328553938965529693840885002824482564566281\ 445638566151/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^18 + 7706997946208971839435313133749948866700162\ 051764205403036740743709/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^17 - 3435133097172495420081972932527482232090065480240074480617929960898\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^16 - 6223478599325033026240252335669832007738802359706167888\ 989908254274/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^15 + 3027445882055663207905814715270093109974784\ 9346629186237287040082218/48047727477794603385288286796451452090941\ 1918256965451890863361*c_0101_6^14 + 1489455756377449592342807394913825392373522327998278673719161699243\ 8/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6^13 - 375963934894003573489824206171642181417985485905382179\ 27420868226814/4804772747779460338528828679645145209094119182569654\ 51890863361*c_0101_6^12 - 23704314262648240505294624382007142811958\ 943996910232221887681535245/480477274777946033852882867964514520909\ 411918256965451890863361*c_0101_6^11 + 1535678975588219209844976270672981667973241527932383242491295707406\ 1/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6^10 + 113076114198633578863604255326588513688877025863336641\ 05483988943496/4804772747779460338528828679645145209094119182569654\ 51890863361*c_0101_6^9 - 388081739662634989244178020432583494959757\ 6744321496848133741255471/48047727477794603385288286796451452090941\ 1918256965451890863361*c_0101_6^8 - 1862043843754209919695192069390058898887927399165658910352501894672\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^7 + 23078973121609615045340077416590241137175764036320726074\ 31122494916/4804772747779460338528828679645145209094119182569654518\ 90863361*c_0101_6^6 + 111642045014124299111089354357385076610601113\ 4241940563652472625826/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^5 - 6856213728242494212434875282940038\ 0997064133588247621693301903311/48047727477794603385288286796451452\ 0909411918256965451890863361*c_0101_6^4 - 28055735111398499041493823392997994783646466409274849374723861546/4\ 80477274777946033852882867964514520909411918256965451890863361*c_01\ 01_6^3 + 9255976433994813279949014910512716756292185054945991774094\ 1679/2877109429808060082951394418949188747960550408724344023298583*\ c_0101_6^2 - 260804249020108116468479297716908456859424726655346003\ 0854949222/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6 - 906876010639244514137135923302101287257645424299\ 433896198258879/480477274777946033852882867964514520909411918256965\ 451890863361, c_0101_5 - 361615594471355263712612138310762271800726542804899671327416\ 215/480477274777946033852882867964514520909411918256965451890863361\ *c_0101_6^27 - 1632178979776197904210166042626963184916416246817616\ 584500844388/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^26 + 1307283928896544114817372893858300237527922\ 8897066122041810708426/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^25 + 532414696685639877600025587464288\ 41889851246458175952633959773991/4804772747779460338528828679645145\ 20909411918256965451890863361*c_0101_6^24 - 185491800487411118070853452050061189057527507375886889175251303332/\ 480477274777946033852882867964514520909411918256965451890863361*c_0\ 101_6^23 - 66958056096029856529477543845588870242160780589538623269\ 1859626337/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6^22 + 130543292353877167966199156158893522838765416\ 0369744410926263513138/48047727477794603385288286796451452090941191\ 8256965451890863361*c_0101_6^21 + 351471297889959786976654642327286\ 4485796450492256577247594792437261/48047727477794603385288286796451\ 4520909411918256965451890863361*c_0101_6^20 - 4512544412200374950937976405336156793356363478479689581814327713487\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^19 - 5866418302867713880552471095991549278599554257536883463\ 161521970165/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^18 + 7201757400510289314793257672019325640272311\ 983837255342586533531660/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^17 - 3439940169964484568946732879155452972904173124934213468906481414149\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^16 - 5527093765288444555501184828702780945391409548815917690\ 469473410378/480477274777946033852882867964514520909411918256965451\ 890863361*c_0101_6^15 + 2790144089064426785125300758829674832187387\ 6612153961306286824326335/48047727477794603385288286796451452090941\ 1918256965451890863361*c_0101_6^14 + 1272311441532880791937054784457906405025969848307077181119104706132\ 7/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6^13 - 345387112491348434223512690951366871820632846882314059\ 85662871455886/4804772747779460338528828679645145209094119182569654\ 51890863361*c_0101_6^12 - 20514876825933969979513710837113891193464\ 392361118314988704212603205/480477274777946033852882867964514520909\ 411918256965451890863361*c_0101_6^11 + 1429529336215013001817568149475002360791390692414259370692634597775\ 9/480477274777946033852882867964514520909411918256965451890863361*c\ _0101_6^10 + 970657696469060920894584790979691247230700927815013249\ 0235350392539/48047727477794603385288286796451452090941191825696545\ 1890863361*c_0101_6^9 - 3688231893938765241821617670400897803216154\ 996281217627539434336698/480477274777946033852882867964514520909411\ 918256965451890863361*c_0101_6^8 - 1498335620649708625781498440791585755297861887354580400579134749727\ /480477274777946033852882867964514520909411918256965451890863361*c_\ 0101_6^7 + 21298733275138129152618536550410982347123505824910454294\ 09743033869/4804772747779460338528828679645145209094119182569654518\ 90863361*c_0101_6^6 + 947968891596153047164132487257016371509469148\ 235545436882643980912/480477274777946033852882867964514520909411918\ 256965451890863361*c_0101_6^5 - 74827197100968399099606332378069085\ 405278315841372127783271328652/480477274777946033852882867964514520\ 909411918256965451890863361*c_0101_6^4 - 14875538535545303198799728191529817565213770427941598546328560019/4\ 80477274777946033852882867964514520909411918256965451890863361*c_01\ 01_6^3 + 9590731152699959975058878888076235076787412378789777093736\ 9291/2877109429808060082951394418949188747960550408724344023298583*\ c_0101_6^2 - 289686224431024461537287145875924260200244299218274313\ 2369641463/48047727477794603385288286796451452090941191825696545189\ 0863361*c_0101_6 - 103535564131828595112177049330449473049801976332\ 6008105422747040/48047727477794603385288286796451452090941191825696\ 5451890863361, c_0101_6^28 + 5*c_0101_6^27 - 34*c_0101_6^26 - 165*c_0101_6^25 + 443*c_0101_6^24 + 2107*c_0101_6^23 - 2734*c_0101_6^22 - 11547*c_0101_6^21 + 7934*c_0101_6^20 + 22641*c_0101_6^19 - 12677*c_0101_6^18 - 587*c_0101_6^17 + 20831*c_0101_6^16 - 70544*c_0101_6^15 - 72925*c_0101_6^14 + 81724*c_0101_6^13 + 103488*c_0101_6^12 - 15730*c_0101_6^11 - 47152*c_0101_6^10 - 1282*c_0101_6^9 + 9554*c_0101_6^8 - 4265*c_0101_6^7 - 5453*c_0101_6^6 - 877*c_0101_6^5 + 185*c_0101_6^4 - 21*c_0101_6^3 - 7*c_0101_6^2 + 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB