Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 913812192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1504 geometric_solution 5.31009956 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.324831033078 0.104349885544 0 0 2 2 2310 0132 2310 0132 0 0 0 0 0 1 -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 -1 0 1 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 2.040387011132 0.837359057714 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985888072701 0.507556320588 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.419433695180 0.700371969550 6 3 2 5 2310 1302 0132 0132 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 -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.419433695180 0.700371969550 5 3 4 5 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.096840975887 0.737512659175 6 6 4 3 1230 3012 3201 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097911565898 0.786093163566 ==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_4']), 'c_1100_5' : d['c_0011_2'], '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_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 222233909434624856341369852123952257819925228461153225199378715292/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^34 + 755090422344751793796746380536195979793084746953789022240\ 73038683/1247654383453307922308760356539932311928328223505626874674\ 9687*c_0101_5^33 + 797304641185141579165679223762325812624909289807\ 8876790572335197841/12476543834533079223087603565399323119283282235\ 056268746749687*c_0101_5^32 - 4709711100966428783514047591830215971\ 098711541265028496219731019497/124765438345330792230876035653993231\ 19283282235056268746749687*c_0101_5^31 - 8012009113727105950635908727984075802382152094627037117662826104017\ 8/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^30 + 5078458337963873513791637562575945081453601636803653029\ 9192585376363/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^29 + 3403521715288365681750681802292636305513001\ 31523103294560591637601868/1247654383453307922308760356539932311928\ 3282235056268746749687*c_0101_5^28 - 3152303626920195376028217968695390600070892858894272189121251151639\ 71/12476543834533079223087603565399323119283282235056268746749687*c\ _0101_5^27 - 120417587648493737940447524306758477432837010212641887\ 2332152543949331/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^26 + 8271338399157268187551962198619667968152\ 95075461957553063809145355392/1247654383453307922308760356539932311\ 9283282235056268746749687*c_0101_5^25 + 3792282689119121949248055008401713309946056642718462987739164169682\ 135/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^24 - 13097143539607132689157425897071510515391649800110442\ 11421675559527984/1247654383453307922308760356539932311928328223505\ 6268746749687*c_0101_5^23 - 921650597864089098529010090771419903880\ 5719948649913083859337561184365/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5^22 + 1705533191402861499069762701990482303961879086512555873786136851541\ 785/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^21 + 17949080898587360897563907248523449082848795831449376\ 865791778517824507/124765438345330792230876035653993231192832822350\ 56268746749687*c_0101_5^20 - 59806193507810610659811539286282216027\ 2758613863605932623859701265135/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5^19 - 2984712799286903156625943633298372742468031795802537071020081035403\ 5417/12476543834533079223087603565399323119283282235056268746749687\ *c_0101_5^18 - 3798871511691471160095333505891691289277590291688324\ 378468253254267921/124765438345330792230876035653993231192832822350\ 56268746749687*c_0101_5^17 + 40116106409641217894282552880363486948\ 611964767606790334612687035479294/124765438345330792230876035653993\ 23119283282235056268746749687*c_0101_5^16 + 8408288112350285180758919364375838461446931535838132734006234499216\ 117/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^15 - 39443943290546084015833495627947121071829984774326888\ 998292098141083235/124765438345330792230876035653993231192832822350\ 56268746749687*c_0101_5^14 - 97236193996040531822859818787241134746\ 41721766848590344274197583239959/1247654383453307922308760356539932\ 3119283282235056268746749687*c_0101_5^13 + 2757386427895738160030596215063693030933258171259065257738059917159\ 2747/12476543834533079223087603565399323119283282235056268746749687\ *c_0101_5^12 + 1536044492089717067549904582674992692430731624551862\ 48397746499910487/2354064874440203626997661050075343984770430610387\ 97523523579*c_0101_5^11 - 14212031896253396692397109652679356639092\ 496467225066481881018029463106/124765438345330792230876035653993231\ 19283282235056268746749687*c_0101_5^10 - 5026305127835595153591131993964446726345888754453082524556922459932\ 282/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^9 + 558119642158403041365872316919397941666499246171824454\ 0816367143242509/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^8 + 20281659603333969928426389253372062358620\ 64892630565652020033017738870/1247654383453307922308760356539932311\ 9283282235056268746749687*c_0101_5^7 - 1579763880977204834485239005671584687245746740897184202101982868278\ 177/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^6 - 459564467827079876161479387270129980277525066914002137\ 435300069286562/124765438345330792230876035653993231192832822350562\ 68746749687*c_0101_5^5 + 274542887760837101649208790738219142019953\ 588475425820143244919326131/124765438345330792230876035653993231192\ 83282235056268746749687*c_0101_5^4 + 4775112998329077734456224669399242882237890008109089544170491467196\ 9/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^3 - 22895566783497625624957693266739469853429564711815689534\ 091256613405/124765438345330792230876035653993231192832822350562687\ 46749687*c_0101_5^2 - 176883234881844835009877775536848445606453801\ 5248350417149742953135/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5 + 6335427867977462500213274957059260111\ 03430148890509594601134957058/1247654383453307922308760356539932311\ 9283282235056268746749687, c_0011_0 - 1, c_0011_2 + 701623911415798592071793098731230842837761506394152441738849\ 940/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^34 - 63684074106029072510881355269627975660500615865961473\ 9127621827/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^33 - 2478026007298074471678674421904747637147287262\ 0788791101509070518/12476543834533079223087603565399323119283282235\ 056268746749687*c_0101_5^32 + 2887598383361405448895290183129463297\ 8507462600443002516833083825/12476543834533079223087603565399323119\ 283282235056268746749687*c_0101_5^31 + 235529135959704722893122719342260844862893077633501257186562719342/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^30 - 291491152422096444863473117565299853105246068364606801439\ 236813599/124765438345330792230876035653993231192832822350562687467\ 49687*c_0101_5^29 - 90068158796918772174735480767825450229572854374\ 6202763443694774445/12476543834533079223087603565399323119283282235\ 056268746749687*c_0101_5^28 + 1481331976089177432509237256640287016\ 233978711099462811528223663865/124765438345330792230876035653993231\ 19283282235056268746749687*c_0101_5^27 + 2939680393336198745921087090985498740947428188095906394224919026303\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^26 - 41682884549668476693690066569275866126722791032028012352\ 76136232259/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^25 - 956689701811406283466894503327311141011225339\ 0750419085250106527501/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5^24 + 9232248020840400793663463780073483\ 038751964961601247081061038186238/124765438345330792230876035653993\ 23119283282235056268746749687*c_0101_5^23 + 2369487003941283778204368498972611866411376360991753239421896118501\ 2/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^22 - 1792307293700540155010814207425021838638823278667180398\ 3095254045262/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^21 - 4603878632330986202484228193248905241123372\ 6813970332862145696312480/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^20 + 2595509765617639693142841453449895195325889578602935544478073283296\ 0/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^19 + 7861235465879014644656639022645591946221904551010074127\ 8385761039474/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^18 - 2899211516009258773845863892826844826152008\ 5287092561181520604874413/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^17 - 1084186928856428258264254098761537491961678506574644932342127825864\ 27/12476543834533079223087603565399323119283282235056268746749687*c\ _0101_5^16 + 294021321237365235815979861697380870052625645710444162\ 60222959448037/1247654383453307922308760356539932311928328223505626\ 8746749687*c_0101_5^15 + 105005562663286059811582174837909398081100\ 172792721687491665663945227/124765438345330792230876035653993231192\ 83282235056268746749687*c_0101_5^14 - 2159892510834470499737154467777295772028970977656249469192523796147\ 7/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^13 - 7207593452326836906645056880971231816301330440026281574\ 0518661407744/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^12 + 1602466325494196946910507376738453254183674\ 55856315961606617223542/2354064874440203626997661050075343984770430\ 61038797523523579*c_0101_5^11 + 38153004992125204195972428996494591\ 372404243809926801745960684689807/124765438345330792230876035653993\ 23119283282235056268746749687*c_0101_5^10 - 1560981426953758473282525118544841824649687761723337269282719736739\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^9 - 154805320376132831745613184602264353751733220165376453791\ 51574771843/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^8 + 3489053523197871991141095856465712093407938411\ 05244967549631594182/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^7 + 4149702261197225925187741689090767194\ 226778509106392686240933413087/124765438345330792230876035653993231\ 19283282235056268746749687*c_0101_5^6 - 138777362476980113383164835109595652125804808425337626894320409192/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^5 - 6081619199492425954851320256266555104221145290349283399934\ 74910836/1247654383453307922308760356539932311928328223505626874674\ 9687*c_0101_5^4 + 1432093562215893347255043519197209807343943844806\ 3214883479678793/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^3 + 41855148964573161333585019789480683245728\ 042534471010867377584878/124765438345330792230876035653993231192832\ 82235056268746749687*c_0101_5^2 + 829709032327114073195059714126577\ 22258895600307679541479027989/1247654383453307922308760356539932311\ 9283282235056268746749687*c_0101_5 - 925853394715218418885823982311192469522760738196298301142651835/124\ 76543834533079223087603565399323119283282235056268746749687, c_0011_4 + 151725487519878880249076087185973511567442766423330050292017\ 482/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^34 + 47285189276668051447020257391639326848753179363994459\ 916943340/124765438345330792230876035653993231192832822350562687467\ 49687*c_0101_5^33 - 55345310247372942452347554145677418580119513760\ 87178467202825540/1247654383453307922308760356539932311928328223505\ 6268746749687*c_0101_5^32 - 258289053964841139758748256769376904672\ 466055826695290763269099/124765438345330792230876035653993231192832\ 82235056268746749687*c_0101_5^31 + 58804884256364539546736571344877489266010135634007714197766622264/1\ 2476543834533079223087603565399323119283282235056268746749687*c_010\ 1_5^30 - 2105102156998218858781507166871102447156571520206305272390\ 229869/124765438345330792230876035653993231192832822350562687467496\ 87*c_0101_5^29 - 27332289542818236190479528338754569535674088223874\ 8791424166949552/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^28 + 9414215029352620247664470361031995566471\ 0941879774999022554026750/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^27 + 1026859369553644320076078079933189755461328361030807971294541523244\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^26 - 17319750098438430526647640793793693960945574038646356106\ 8447297782/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^25 - 3152860363970705184404271631747985935582169596\ 192934058278343198854/124765438345330792230876035653993231192832822\ 35056268746749687*c_0101_5^24 - 38015015469173274251559733171974043\ 1866443752481147092625400568363/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5^23 + 7534111863925928196319588134147009791406944111859056340505860889463\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^22 + 19456746775951576119413049863793845231851400022207336716\ 11831344355/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^21 - 146651233362238969643629154340682835495681576\ 42073906980794829246022/1247654383453307922308760356539932311928328\ 2235056268746749687*c_0101_5^20 - 553845005111912283622910086884674\ 8816573280844130378243552172227217/12476543834533079223087603565399\ 323119283282235056268746749687*c_0101_5^19 + 2382796608529152690297497062244635258933513788086006575820653847698\ 2/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^18 + 1266153046255379358738036407631908445751092678049708419\ 4778008756146/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^17 - 3124496453346734305694321534468778284060152\ 9906187361316479045565233/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^16 - 1936094390908828003185664630006990196440656724359443762040920129908\ 2/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^15 + 3094013539873410433387877347693647716832838185150520149\ 5998923057029/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^14 + 1925907145012051306012491946075988390943221\ 6383042191648272195314858/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^13 - 2178543708857837507583087755061870287159551755503154636661812260971\ 4/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^12 - 2594231039238755520260186037923856497928234408012339155\ 57712632091/2354064874440203626997661050075343984770430610387975235\ 23579*c_0101_5^11 + 10898758015453718694065167680757645462773374291\ 046176860409687239889/124765438345330792230876035653993231192832822\ 35056268746749687*c_0101_5^10 + 75665914476094237900716613452134771\ 77706229325926624785317842113354/1247654383453307922308760356539932\ 3119283282235056268746749687*c_0101_5^9 - 4127244630842513612501401043011844594661285508982386510843856605065\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^8 - 296380920937874383303275668813488059624373567355472298035\ 0817820673/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^7 + 12078961672496079019121848824690256729494770990\ 34080772906939458574/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^6 + 6803189816758825302902547165989450683\ 32442516667391860816530742543/1247654383453307922308760356539932311\ 9283282235056268746749687*c_0101_5^5 - 231815168903120719474235754176156933248887790486066519700439098727/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^4 - 7031679984425100468625526934395349716230826121925959398110\ 1778901/12476543834533079223087603565399323119283282235056268746749\ 687*c_0101_5^3 + 20917779988302295447211248411870802377908062487934\ 438027047059802/124765438345330792230876035653993231192832822350562\ 68746749687*c_0101_5^2 + 241814428867029231065951513333373745461714\ 9886411535387131995811/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5 - 6122274312950102179200604457101588087\ 67580940640504874494605466/1247654383453307922308760356539932311928\ 3282235056268746749687, c_0011_6 - 386580233177846317263006112342525460334928613549341572126299\ 854/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^34 + 58358889565960479811834754440526002568110856454454756\ 197605252/124765438345330792230876035653993231192832822350562687467\ 49687*c_0101_5^33 + 13900085113559362035351214716666284177317603055\ 666442691441622667/124765438345330792230876035653993231192832822350\ 56268746749687*c_0101_5^32 - 56014363414805821358413352345323202368\ 66084822756817537158847483/1247654383453307922308760356539932311928\ 3282235056268746749687*c_0101_5^31 - 141114714300018393120482601980778005808952247473618572675278825813/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^30 + 630500301657110092359809819929435671620520977170765247065\ 32470490/1247654383453307922308760356539932311928328223505626874674\ 9687*c_0101_5^29 + 610018819426573859707849857482967686584019335729\ 938422947848649305/124765438345330792230876035653993231192832822350\ 56268746749687*c_0101_5^28 - 44645983078783421026282802934109562621\ 9981925972807566462330126274/12476543834533079223087603565399323119\ 283282235056268746749687*c_0101_5^27 - 2198585170590651925471445079864116121989558397766937220024713636499\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^26 + 10844371760551834141665252649930348407158440981641575167\ 09795433576/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^25 + 685480759276053302422320265846258193362438626\ 8616315686125116499271/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5^24 - 1163693747209898331468532609850016\ 605570054246609118226310164909550/124765438345330792230876035653993\ 23119283282235056268746749687*c_0101_5^23 - 1644209297472897387499326374636786709977107627880885830330212467464\ 7/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^22 + 3225986524866517188368347516810716736658489954855303953\ 84933295175/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^21 + 317822822782252648329088906624966509263233551\ 47336833442264572036989/1247654383453307922308760356539932311928328\ 2235056268746749687*c_0101_5^20 + 397315693116568866985324435964975\ 8500721898491392176704286620551919/12476543834533079223087603565399\ 323119283282235056268746749687*c_0101_5^19 - 5214445876934129900360900330777896195887202075272513736475949307521\ 4/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^18 - 1480601819679083537371599672283415902250042206637329587\ 5802470460139/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^17 + 6876048947418561163065995547248802779144571\ 0238916413493631062224141/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^16 + 2525731982655804917737643000859406423948764250413779716214232110077\ 1/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^15 - 6644442089648288763667766506025416891534475760740676795\ 3243517789789/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^14 - 2658367497553531072875356948342841807393549\ 4986816967374204000172509/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^13 + 4544882197332310202792886988818286579680750535143700748733562724607\ 6/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^12 + 3822984356324431559361189725006410640715776926163890385\ 14475987789/2354064874440203626997661050075343984770430610387975235\ 23579*c_0101_5^11 - 22599452327022707571923994500410427722965483526\ 899843717296064805735/124765438345330792230876035653993231192832822\ 35056268746749687*c_0101_5^10 - 11573582957607773725967094729949429\ 521620181226228565092580582295950/124765438345330792230876035653993\ 23119283282235056268746749687*c_0101_5^9 + 8483376806417797707518308453208286844410250500339500788075717792670\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^8 + 449050312757634833016571697131658421404715196677778544982\ 9554936895/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^7 - 23143090378164865599141982919713904783833226764\ 67341801373511977302/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^6 - 1002231169151195994083732069023746287\ 087770142699512465239843953209/124765438345330792230876035653993231\ 19283282235056268746749687*c_0101_5^5 + 392685105469250065448165177727603841116632373519043762923444342217/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^4 + 1018029770291238456605097483210261497565330350398099342122\ 88470366/1247654383453307922308760356539932311928328223505626874674\ 9687*c_0101_5^3 - 3214129537681337227487863588536861616348652598673\ 5893781379854830/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^2 - 34543854652310131006071379799506687033053\ 56856339973457412779722/1247654383453307922308760356539932311928328\ 2235056268746749687*c_0101_5 + 897426952391720164725751216515402292\ 078638084846651886763091934/124765438345330792230876035653993231192\ 83282235056268746749687, c_0101_0 + 918234441980885134501980021889418303872343215823049180028774\ 067/12476543834533079223087603565399323119283282235056268746749687*\ c_0101_5^34 - 54892986988259902909158685124866285604371931788193689\ 3803733285/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^33 - 3266869173134683836517880256797309753003315760\ 1039610576089405821/12476543834533079223087603565399323119283282235\ 056268746749687*c_0101_5^32 + 2775883288931906849821731310740211941\ 7268733544265728793938755447/12476543834533079223087603565399323119\ 283282235056268746749687*c_0101_5^31 + 319209563255776963153147354934348308275947340102252342851250710679/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^30 - 286388691590102267066226422799355127552273803711715332374\ 620425497/124765438345330792230876035653993231192832822350562687467\ 49687*c_0101_5^29 - 12887592488338293230049875616234195808472697438\ 59192425550095801724/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^28 + 157702136161302009569721320457284933\ 5949651030621817212100193564309/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5^27 + 4407817346364431939041419341660600983436425080810251589601810419608\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^26 - 42673217712445993778609744061200922075382225831672413981\ 71955644945/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^25 - 140545337921896789338993714094738296097456520\ 77609142777982085392889/1247654383453307922308760356539932311928328\ 2235056268746749687*c_0101_5^24 + 823744161623017771731257931513869\ 0809242318309280755884450440605948/12476543834533079223087603565399\ 323119283282235056268746749687*c_0101_5^23 + 3427733710356325963537781852470078562035418303199953054813917269151\ 0/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^22 - 1408930869959439023671327600054868045212482218121930196\ 9480895092850/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^21 - 6641056887561295063658789157474051213222661\ 4959684100595383736992685/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^20 + 1603952931930547003858215797558850747388639058234605343543781379643\ 5/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^19 + 1112988544248193914720748362280620662802446309341135077\ 67986803137004/1247654383453307922308760356539932311928328223505626\ 8746749687*c_0101_5^18 - 774687342970808965244146601645219803525826\ 7086504975963508760875433/12476543834533079223087603565399323119283\ 282235056268746749687*c_0101_5^17 - 1503367855535481768872706389448136848895254713489529476308225216501\ 54/12476543834533079223087603565399323119283282235056268746749687*c\ _0101_5^16 - 219228800345295723154693336554159749983512799375778354\ 4875803452332/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^15 + 1452585234782305373711052149525020880907186\ 53794902499931167483628225/1247654383453307922308760356539932311928\ 3282235056268746749687*c_0101_5^14 + 9528754820487735869698206683952785943981516728488006814051616763790\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^13 - 99361182827363531295730828564646943974283522783699705563\ 704715599549/124765438345330792230876035653993231192832822350562687\ 46749687*c_0101_5^12 - 25288119089453899824592352687081619790502901\ 7795584127647388020222/23540648744402036269976610500753439847704306\ 1038797523523579*c_0101_5^11 + 510745858002906205878756856214577327\ 72964206254087361361583312451398/1247654383453307922308760356539932\ 3119283282235056268746749687*c_0101_5^10 + 1016116875211403430021047048456771831845257142619670473323511743219\ 2/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^9 - 20003071594812671922376513658383591238043342380951748335\ 708445270386/124765438345330792230876035653993231192832822350562687\ 46749687*c_0101_5^8 - 412569115657793250517635105572314599091175241\ 9254992499783375496552/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5^7 + 53738397400782888268812174058547742\ 17430327212986012884467570181494/1247654383453307922308760356539932\ 3119283282235056268746749687*c_0101_5^6 + 872432113707582195387462764937107593551537516194734575227909654452/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^5 - 8322427996039296043950636138998320958591913384930754579594\ 79107036/1247654383453307922308760356539932311928328223505626874674\ 9687*c_0101_5^4 - 8852975247860200336198394717567443688873999363448\ 4535907293927704/12476543834533079223087603565399323119283282235056\ 268746749687*c_0101_5^3 + 61729157939086273640882456472064035535096\ 099267603357194894128868/124765438345330792230876035653993231192832\ 82235056268746749687*c_0101_5^2 + 340954572610484370646453406781810\ 9016086394963376618877059869418/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5 - 1540571162810267175723203040032242176588845791140324911884659464/12\ 476543834533079223087603565399323119283282235056268746749687, c_0101_1 + 143873319536095210373895790361628613452333095791789724717998\ 7394/12476543834533079223087603565399323119283282235056268746749687\ *c_0101_5^34 - 8830131741548653416144328938054333918746950666546034\ 06555147552/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^33 - 512307108410101469054891473071772982354204761\ 57899495458803760577/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^32 + 443371923703320107329330516557596714\ 65976890359214196093066368111/1247654383453307922308760356539932311\ 9283282235056268746749687*c_0101_5^31 + 501497317543854006492103475834613625754180571310193998692891575663/\ 12476543834533079223087603565399323119283282235056268746749687*c_01\ 01_5^30 - 458196519429373022328376737065034277061041027174487525891\ 637869765/124765438345330792230876035653993231192832822350562687467\ 49687*c_0101_5^29 - 20318459817351577064479501428998064231775084305\ 83716093463797462935/1247654383453307922308760356539932311928328223\ 5056268746749687*c_0101_5^28 + 251851571705630835672446290668283744\ 0364868503352481477410852106324/12476543834533079223087603565399323\ 119283282235056268746749687*c_0101_5^27 + 6944936703603987488912605300223424495604091501430272930925497659893\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^26 - 68831565082772375579311587394324338530850563928469954333\ 20447013841/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^25 - 221826483499802160033885627372265962700511816\ 51190000992924076967266/1247654383453307922308760356539932311928328\ 2235056268746749687*c_0101_5^24 + 134762878024566560191249782844270\ 90986293145651590916640831887751700/1247654383453307922308760356539\ 9323119283282235056268746749687*c_0101_5^23 + 5434373827321797711885394314745428790992255698541917376960485541111\ 4/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^22 - 2330786083581059554926707698601320807136115522773964262\ 7440610451118/12476543834533079223087603565399323119283282235056268\ 746749687*c_0101_5^21 - 1056962260226445003189077539741245488712571\ 47981350614290208675317081/1247654383453307922308760356539932311928\ 3282235056268746749687*c_0101_5^20 + 2738005705088706263030526049498978388889922490879520753233299340698\ 8/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^19 + 1777546529713105021316132198687506948486767252563503110\ 43319079209826/1247654383453307922308760356539932311928328223505626\ 8746749687*c_0101_5^18 - 154039799523141857094563709186521830161215\ 82959404008343077510891601/1247654383453307922308760356539932311928\ 3282235056268746749687*c_0101_5^17 - 2415246169706899929849746350839021321417216919833434270926205483376\ 10/12476543834533079223087603565399323119283282235056268746749687*c\ _0101_5^16 + 742686073107417438899790414160770177220917583236011669\ 14023131986/1247654383453307922308760356539932311928328223505626874\ 6749687*c_0101_5^15 + 235645379394712602639031678511574055118259981\ 776782328802237684936129/124765438345330792230876035653993231192832\ 82235056268746749687*c_0101_5^14 + 1216120037942639199900718606288990942250497659854350707048474744476\ 2/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^13 - 1631475172630392600396958695415824330087159072591345955\ 80030964407768/1247654383453307922308760356539932311928328223505626\ 8746749687*c_0101_5^12 - 369671970580347750617959542324090794642435\ 848547160026150307377236/235406487444020362699766105007534398477043\ 061038797523523579*c_0101_5^11 + 8489174360642187313631314810525422\ 0206792591005993445069284945590856/12476543834533079223087603565399\ 323119283282235056268746749687*c_0101_5^10 + 1565732659331953587131503816982913353619339605543885033923022837448\ 1/12476543834533079223087603565399323119283282235056268746749687*c_\ 0101_5^9 - 33721225944806459831285921237444210483745837717495593819\ 530368903711/124765438345330792230876035653993231192832822350562687\ 46749687*c_0101_5^8 - 657496546240928448248035117997602318234168088\ 5450279052507055445198/12476543834533079223087603565399323119283282\ 235056268746749687*c_0101_5^7 + 92703676812345111252025907858760003\ 92062533058086629867122325743377/1247654383453307922308760356539932\ 3119283282235056268746749687*c_0101_5^6 + 1430779084293186160589729822688995716180016241584090834613785997682\ /12476543834533079223087603565399323119283282235056268746749687*c_0\ 101_5^5 - 148912674589415881681262591144735149862378987327683344350\ 2921548336/12476543834533079223087603565399323119283282235056268746\ 749687*c_0101_5^4 - 14895298028070532443740645794824262614371079579\ 6486093167389542076/12476543834533079223087603565399323119283282235\ 056268746749687*c_0101_5^3 + 11452263955984845430496824285215346374\ 9328755983371342905792709256/12476543834533079223087603565399323119\ 283282235056268746749687*c_0101_5^2 + 6043763137628445281571510551978811378788190199890863466163516547/12\ 476543834533079223087603565399323119283282235056268746749687*c_0101\ _5 - 29023556992794363356895760233623610702413248302871639276538284\ 08/12476543834533079223087603565399323119283282235056268746749687, c_0101_5^35 - 36*c_0101_5^33 + 9*c_0101_5^32 + 368*c_0101_5^31 - 106*c_0101_5^30 - 1612*c_0101_5^29 + 898*c_0101_5^28 + 5913*c_0101_5^27 - 1884*c_0101_5^26 - 18376*c_0101_5^25 + 96*c_0101_5^24 + 43617*c_0101_5^23 + 6458*c_0101_5^22 - 83699*c_0101_5^21 - 24894*c_0101_5^20 + 135824*c_0101_5^19 + 63086*c_0101_5^18 - 175646*c_0101_5^17 - 99907*c_0101_5^16 + 165769*c_0101_5^15 + 105112*c_0101_5^14 - 110184*c_0101_5^13 - 79800*c_0101_5^12 + 52065*c_0101_5^11 + 45035*c_0101_5^10 - 17636*c_0101_5^9 - 18006*c_0101_5^8 + 4051*c_0101_5^7 + 4604*c_0101_5^6 - 535*c_0101_5^5 - 659*c_0101_5^4 + 29*c_0101_5^3 + 45*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB