Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 1427425647] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0119 geometric_solution 3.63568591 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461227884393 0.022839780202 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375950113558 0.084262111972 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -6.451675715279 5.372490647519 2 2 4 4 3201 0132 3201 0132 0 0 0 0 0 0 -1 1 1 0 -1 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 -1 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.128924142013 0.161901530161 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 1 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.937543399341 1.993958870518 6 4 6 6 3201 0132 2310 3120 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.009612924398 0.997574887191 5 5 4 5 3120 3201 0132 2310 0 0 0 0 0 1 -1 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 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.009612924398 0.997574887191 ==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_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), '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' : 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' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 4906271788518283689497230863031826289894684329060613757645559386540\ 5389445264/11546911297529487110645843709624079503087733853649173062\ 9762575117784864747*c_0101_5^27 + 440587607139527475395977361449032\ 556769936874082142968736897426361858495428400/115469112975294871106\ 458437096240795030877338536491730629762575117784864747*c_0101_5^26 + 3512753320936665560235942743070446147899729541665395362224895257021\ 19637778588/1154691129752948711064584370962407950308773385364917306\ 29762575117784864747*c_0101_5^25 - 3909249994617613885431407740781353750974697949119407236997288544095\ 830728806186/115469112975294871106458437096240795030877338536491730\ 629762575117784864747*c_0101_5^24 + 2823458828673148405772387863046808529305011507922695773881767190717\ 3455862102613/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^23 + 3551719988488487065999506675470820573366874023310375127831262176642\ 4271044285884/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^22 - 7280918423077992229370789950635092355428217301843510820397314843184\ 0422657617974/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^21 + 2542273950818138552848074212390565099935913890272525020260142233263\ 99960700301121/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^20 + 9461926772788355379152609428039959901191654513831571659055295400740\ 61578195489325/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^19 + 3757857150065886498975352611328889994500437857138952723036699234581\ 44820359463871/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^18 - 1884836770273933351448618405869584492797297579494983287169344293238\ 051571565507884/115469112975294871106458437096240795030877338536491\ 730629762575117784864747*c_0101_5^17 - 2330853520141450778186483086514662848020524475863269190775768196599\ 156947996721171/115469112975294871106458437096240795030877338536491\ 730629762575117784864747*c_0101_5^16 + 6956696817166248409812088827918614898265911866731820919974802521873\ 27479859497325/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^15 + 1906712114224657629173156622544440951536581424542561647098551354732\ 65143266375012/8882239459638067008189110545864676540836718348960902\ 356135582701368066519*c_0101_5^14 + 6465903400300839641419667448312270239310509152786928865805935207984\ 07568373527455/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^13 - 2001166991060036994136665078676807893142782427708142730515072413503\ 669114867664678/115469112975294871106458437096240795030877338536491\ 730629762575117784864747*c_0101_5^12 - 1719486073255905128872175415011690164226345469107938486683987122990\ 001513223291211/115469112975294871106458437096240795030877338536491\ 730629762575117784864747*c_0101_5^11 + 2299709703404513514779517206732293128557369098875620971192926132231\ 40014825465630/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^10 + 4282645349174439693295578468583685832492214086661760744680652808405\ 81360983092725/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^9 + 2371930425916376467192743828252762141384172200270644014790358928993\ 29824064424946/1154691129752948711064584370962407950308773385364917\ 30629762575117784864747*c_0101_5^8 + 3251876738896977625335127330891666455111481459892772589796863559639\ 7420005890385/88822394596380670081891105458646765408367183489609023\ 56135582701368066519*c_0101_5^7 + 214907744254814676984654762937426\ 312682423115461393513809428276877154563371726962/115469112975294871\ 106458437096240795030877338536491730629762575117784864747*c_0101_5^\ 6 - 494088990829189562722332292032042731652593224229861671433173154\ 2253205760505957/11546911297529487110645843709624079503087733853649\ 1730629762575117784864747*c_0101_5^5 - 6767313017189697993262594644034389862934595616238974686539793362294\ 7333342798892/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^4 - 5843779205629037356202196676598535001414570980852226475832076096981\ 1766024743113/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^3 - 1608351064719131434779099695623682262497136443118608071256876192130\ 3112275405515/11546911297529487110645843709624079503087733853649173\ 0629762575117784864747*c_0101_5^2 + 9462415776864448821224244233280625020495744361548353511311061392258\ 25548481247/1154691129752948711064584370962407950308773385364917306\ 29762575117784864747*c_0101_5 + 51910864908826431032636752320864152\ 3124694766610840633370290201009281492218894/11546911297529487110645\ 8437096240795030877338536491730629762575117784864747, c_0011_0 - 1, c_0011_1 + 393370842616257971556837668193478378759711688215077805148741\ 4194750332740/88822394596380670081891105458646765408367183489609023\ 56135582701368066519*c_0101_5^27 - 3742031300689886478863323756879229228273613281609123117172653100382\ 0946909/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^26 - 83356857252804130374959501124180025340\ 84624690237976298377001682415201220/8882239459638067008189110545864\ 676540836718348960902356135582701368066519*c_0101_5^25 + 3188353375837628338618513164521694510240583605437070815954500056719\ 09802153/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^24 - 2433193165467418951128211669236721101\ 874957269405433992873550458931246440433/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^23 - 1560114116159496743042778885612618981410825465854446315867480588602\ 565369568/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^22 + 673096123505162658236155531424682496\ 1526332560169575888537461163662563409937/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^21 - 2391546641638845338606743384259749171846222358484334017319477739465\ 6866401578/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^20 - 63303938313967264730683391556589346\ 588780161716142896097193751374997184499268/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^19 + 4182597887410389023573199947144099413811467297788626666693179261434\ 792978545/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^18 + 150685012547397422980852672147959037\ 424114567513622948140846727200031218572284/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^17 + 1066904020172927151856800103744433657475743992875458691670321816336\ 65921790537/8882239459638067008189110545864676540836718348960902356\ 135582701368066519*c_0101_5^16 - 1167858360597847984475920990057686\ 00729310983998188783572633372759845254327137/8882239459638067008189\ 110545864676540836718348960902356135582701368066519*c_0101_5^15 - 1076295775521607012283483633623489831063771626802806529548771210359\ 6180505025/68324918920292823139916234968189819544897833453545402739\ 5044823182158963*c_0101_5^14 + 258240353941146062075407134921637500\ 77554335494528259039404950104693930789892/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^13 + 1511154369702416753447646332220856819789340606552715641387773148583\ 44638617501/8882239459638067008189110545864676540836718348960902356\ 135582701368066519*c_0101_5^12 + 5680252048682730937219514735713261\ 1496006936056192862978057978734679075631875/88822394596380670081891\ 10545864676540836718348960902356135582701368066519*c_0101_5^11 - 5312396243163956220778696127116518448209052515494182069794318866183\ 7097254105/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^10 - 79726020146909464669522139243126401\ 42058567818595474533978535347550790289688/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^9 - 1313104023219378621937776721530168971440192306967186362775666422590\ 2382668832/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^8 - 203306788575090056475363837953919635\ 1400030596672907972133482159174929778406/68324918920292823139916234\ 9681898195448978334535454027395044823182158963*c_0101_5^7 - 2989976459744463255165588768864086211779546811011618766911044582543\ 525168882/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^6 + 2804296071369956843984594503415696350\ 788041000371532915453669035132399803883/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^5 + 4077225404606024430023486174233215112033942058681998954346504547046\ 419362669/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^4 + 2357682740792614620264467226096231811\ 519050297496027941524320402209172512269/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^3 - 9264269326636105051547009318476699653738388721273528690406872093087\ 9523299/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^2 - 976251292261730767891469604590120567590\ 43995667934013845634801499097061239/8882239459638067008189110545864\ 676540836718348960902356135582701368066519*c_0101_5 + 1201168024126871667843242961523099949038218242402854248402485568015\ 3720867/88822394596380670081891105458646765408367183489609023561355\ 82701368066519, c_0011_4 - 607164206699482401839861097810848624029125061343353235068057\ 339878978996/888223945963806700818911054586467654083671834896090235\ 6135582701368066519*c_0101_5^27 + 561180928071786000499517240878198\ 3420272150153804386045456906106970854746/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^26 + 2871064079501405011532502217195424047609520485074693050466110434082\ 283206/888223945963806700818911054586467654083671834896090235613558\ 2701368066519*c_0101_5^25 - 491063967423676676744168833607741771275\ 06083538789493747700371027320367042/8882239459638067008189110545864\ 676540836718348960902356135582701368066519*c_0101_5^24 + 3622980533920783876289388166255721477640441768448365460142380649482\ 67632375/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^23 + 3442417926790889777666761088043879167\ 29044933057103087817950516628330752955/8882239459638067008189110545\ 864676540836718348960902356135582701368066519*c_0101_5^22 - 9897878691756750962457223560931909105379106944984757179402113695584\ 04647724/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^21 + 3406238693609696652511614026287140451\ 760886268048721099791775317702053569164/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^20 + 1081332083206807883287105386166977499597293310034807146883902956802\ 1194591264/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^19 + 18270688748497599438571511942056008\ 07862423949325466962541973075134936440521/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^18 - 2377525668129711038296062391740064682747765995708043022265838823266\ 7230839563/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^17 - 22583580789013773620515786188373619\ 759666686420191480319555340862195567105386/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^16 + 1447854187973526815952982454461699880384987190596178016932017641423\ 5718569359/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^15 + 20597172148808370287568851681958777\ 29188778574138072712726252646673483682969/6832491892029282313991623\ 49681898195448978334535454027395044823182158963*c_0101_5^14 + 9383510239264977053129312336037925467301986383086649008634635590240\ 94081858/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^13 - 2490800444696035049290980774528143304\ 9146023208530594967467985826318425939640/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^12 - 1461743755179221649163947238869753946560171755519317876617309722639\ 2252936569/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^11 + 65945562171283188077676098570310224\ 10428746120934581357970013556761644936406/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^10 + 3449519340158437829813991314775167885007700738995525907932365681604\ 640892868/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^9 + 1969991680444020917137660400902019421\ 403144806169869144057937791064523494911/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^8 + 3683725452460388772404224457093223131642670164829300154254557237894\ 91375503/6832491892029282313991623496818981954489783345354540273950\ 44823182158963*c_0101_5^7 + 145568484201139639595114159401973832869\ 1778143010985256048523157993491999744/88822394596380670081891105458\ 64676540836718348960902356135582701368066519*c_0101_5^6 - 4776822752651414929134736106375693012936472739412928389513018795210\ 06647696/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^5 - 69696330137545981408294957054612471364\ 2430833111583434975417197791643170834/88822394596380670081891105458\ 64676540836718348960902356135582701368066519*c_0101_5^4 - 5335450521594128555043813605078601439376004562365428143020162810735\ 64175670/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^3 - 66209437320273551799426962572624359167\ 727875454852645670952647958658964050/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5^2 + 1604944348581930090611855563399330597547364282118896685131928105747\ 2717817/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5 - 15960033888539062517555576008839075435479\ 55869443045647268256203482552627/8882239459638067008189110545864676\ 540836718348960902356135582701368066519, c_0011_6 - 561778128789579048294684868277399653616642915534979653470835\ 763727280152/888223945963806700818911054586467654083671834896090235\ 6135582701368066519*c_0101_5^27 + 532702578494655531447456488955588\ 5657590174818738882112010758177687083294/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^26 + 1391390006069719923036083467130844047692412041714673868797902176896\ 011690/888223945963806700818911054586467654083671834896090235613558\ 2701368066519*c_0101_5^25 - 458793278955404073842442617819573786230\ 33131235705138372068930952510808442/8882239459638067008189110545864\ 676540836718348960902356135582701368066519*c_0101_5^24 + 3461331667106838385104881162234426050763122987684275932564028305943\ 02203935/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^23 + 2364385979212464024140062365775669747\ 24752185997038726996274179683617164681/8882239459638067008189110545\ 864676540836718348960902356135582701368066519*c_0101_5^22 - 9795141598533745454875474767860520103671900048069894851602187903445\ 45773713/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^21 + 3377925653203436855782335341102681823\ 334834724362608848351591575205169743232/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^20 + 9209807404223244005759037545448716018179269580282149629373329526763\ 388746238/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^19 - 580500371140858770912588258710391051\ 517625441395106832013240584858899072210/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^18 - 2208804257500485738953944384144235623706349890300403613108645886981\ 9454964093/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^17 - 15732572811668891396558111742649112\ 535200780334309400772094258152197188600978/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^16 + 1758906421215913527641101179809469968157059467140776869785407659689\ 4761157046/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^15 + 16301126006741435472437225292701852\ 12837400089002701538607686835135747704878/6832491892029282313991623\ 49681898195448978334535454027395044823182158963*c_0101_5^14 - 4244235535764134819008487941238509000376379453854302646482042314899\ 005378776/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^13 - 226605884474032201092315856728190434\ 46583146992556144505035734759326935885266/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^12 - 8400667072166360553172420467974305283974251581399504781941784262676\ 432945196/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^11 + 862709192533105664981531154975678654\ 8994362847331797193299833592824391998021/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^10 + 1653860271183616233696632714376704021603224224505404895442440888037\ 133545692/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^9 + 1451468269190003905534524501199623463\ 054843925849279434902039267395202770052/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^8 + 3000022525589980284341931770510817687614226791573408405623126372720\ 70148124/6832491892029282313991623496818981954489783345354540273950\ 44823182158963*c_0101_5^7 + 328656443048908962748121140264119294460\ 274771675120058681227395330690575197/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5^6 - 5430818449632056574446234113293484758921655413160197861352378781295\ 44438618/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^5 - 59733769793046373274368678368981562044\ 6026022454535206544559381478930159776/88822394596380670081891105458\ 64676540836718348960902356135582701368066519*c_0101_5^4 - 3787998918225244416536326729627582949694735868641652190921919611382\ 71797725/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^3 + 44849186335274542394207470387417922030\ 913195640262890869443897256054753078/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5^2 + 1935790945727634499468895942682619940759396865451161670063594438427\ 9768990/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5 - 35899570827582603310897913128444098295122\ 84424751521953148519013004007609/8882239459638067008189110545864676\ 540836718348960902356135582701368066519, c_0101_0 + 100886729308206746826810580916088814462331102239056978285054\ 3494646393270/88822394596380670081891105458646765408367183489609023\ 56135582701368066519*c_0101_5^27 - 1014681823667651494093304479958441785551501656756155919478801219728\ 3242069/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^26 + 29217023372400970526811645231304552118\ 18820691810797942886847039841184767/8882239459638067008189110545864\ 676540836718348960902356135582701368066519*c_0101_5^25 + 8459518446125770098412594572628320573923120898428625905362605555416\ 7956914/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^24 - 66867385227799858304605213516255360097\ 4735283349374068148639993347683487744/88822394596380670081891105458\ 64676540836718348960902356135582701368066519*c_0101_5^23 - 7358244617829311147327833457395280434916520246447068829241418583704\ 1247608/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^22 + 20526597349279988824994932952228756033\ 98768387698689651027353429916024188530/8882239459638067008189110545\ 864676540836718348960902356135582701368066519*c_0101_5^21 - 7036020103040821546070790019031132662643811030112458066605258720486\ 292051573/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^20 - 131770041402639045190523630775415012\ 49170761238501952636872762278681074311210/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^19 + 1101998921091129144069444249380279933460258991552772656282765680692\ 5018828530/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^18 + 40474595174466307070973294300253472\ 939520468795478943308737375533310913369023/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^17 + 5696515199989989962936663777316897698341068248649642549336502504769\ 801495978/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^16 - 509722019388334502126854296682192835\ 03841494233613800112299728428047391840098/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^15 - 1764307146880805231043711375794380466806198940218142479772813435442\ 804280874/683249189202928231399162349681898195448978334535454027395\ 044823182158963*c_0101_5^14 + 3124468316454125363927572388116997789\ 7035854723144630985393688938459766685258/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^13 + 3996183566757041671045076163602822117268394520654895548820790605488\ 3128789853/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^12 - 78655791639671942000016902351248934\ 96592925017622551050958880327535373244745/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^11 - 2750785662702000114643426067840110104884162614799030467242342644236\ 6009413301/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^10 + 38488171478940329511862175318615624\ 12736667784039548188521666536820599639852/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^9 - 2610422502747281593514251909668532862168861214315880594899240682350\ 54271500/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^8 - 36941940259045963699693581622473012521\ 9787961796465268877951282996199316241/68324918920292823139916234968\ 1898195448978334535454027395044823182158963*c_0101_5^7 + 3833576374046462482394744879427355646089546773340818213475556397795\ 303789031/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^6 + 1900198417692800410165499454494014676\ 970888233939785225547242746740700581872/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^5 + 7535819066805207796579350093527567806193775988534423849370261055367\ 30845682/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^4 - 33939438148066545377740377223206287479\ 302635036228767774581499922684032080/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5^3 - 5647805312021772198403263787769518110495388819809637892798577508160\ 13167418/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^2 - 89517843348902045161439374938583281259\ 557122437603486577962033596337660847/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5 + 1815496881282917526018871639022162856400416823659502213454570650451\ 9314834/88822394596380670081891105458646765408367183489609023561355\ 82701368066519, c_0101_4 + 114786925553709782454622672797684905758511578028575116261563\ 8509525370099/88822394596380670081891105458646765408367183489609023\ 56135582701368066519*c_0101_5^27 - 1115752342635478694516970662737997687643280123734558678766780117478\ 5351977/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^26 - 31031769713703740878455578709684615376\ 7989522269605664783281160240971475/88822394596380670081891105458646\ 76540836718348960902356135582701368066519*c_0101_5^25 + 9494641284329938868325500269885890734488853827607156660682351962599\ 7907666/88822394596380670081891105458646765408367183489609023561355\ 82701368066519*c_0101_5^24 - 72943640639654809071584313360728590072\ 0215739766814657188271382893770813591/88822394596380670081891105458\ 64676540836718348960902356135582701368066519*c_0101_5^23 - 3192452522529476098936358809344030630016475908732504525956042775810\ 82574326/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^22 + 2150376600260033669064388863974049412\ 424019041067936222276206809274878661362/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^21 - 7357304880114517615526529724024843726995153048644204149973835205834\ 512707555/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^20 - 172593632437193710822340025910436420\ 41215314014661297533506718785399472243859/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^19 + 5993118195563352934232787686538984252689977393821308341035585582799\ 307466431/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^18 + 457133410289539268335212272988953660\ 50507148089295901549173764254877887117566/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^17 + 2149137052454976648249597572975785335011711305372789067798062607269\ 5093829755/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^16 - 45527384485964599694054605202596284\ 636093516477982094193376690664824051314581/888223945963806700818911\ 0545864676540836718348960902356135582701368066519*c_0101_5^15 - 2801303796484375603496983155058867843763145624504814377232570157461\ 083623118/683249189202928231399162349681898195448978334535454027395\ 044823182158963*c_0101_5^14 + 2007634376821678616635909684464197016\ 5717339759680725734304718875569544948842/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^13 + 4618392815552480030899310994098118720350656406872939920637781301299\ 9241922997/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^12 + 63203141972748436349481802657251157\ 98680773926447948367123151758684545663003/8882239459638067008189110\ 545864676540836718348960902356135582701368066519*c_0101_5^11 - 2367620698697199402443747593490804154684506457466015213046454190950\ 7661968783/88822394596380670081891105458646765408367183489609023561\ 35582701368066519*c_0101_5^10 - 23174924353954091760852104891465178\ 3751199902296895021242832196317188745560/88822394596380670081891105\ 45864676540836718348960902356135582701368066519*c_0101_5^9 - 1892333789037171429741019433050500999361520247517727480307315144124\ 303860095/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^8 - 5393200885551324836555600606937158419\ 21159535935830408763911543664827442348/6832491892029282313991623496\ 81898195448978334535454027395044823182158963*c_0101_5^7 + 1499264322087034762722323544977375217249978365259943964304181643510\ 346316751/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^6 + 1569908732488878518877874306888197045\ 553024999966631159277644813502255842757/888223945963806700818911054\ 5864676540836718348960902356135582701368066519*c_0101_5^5 + 1105301552663369059819840887919535501789351415671090091477710102312\ 293408299/888223945963806700818911054586467654083671834896090235613\ 5582701368066519*c_0101_5^4 + 4375125906602036356382217350394906829\ 45350018644637072309294946462998815003/8882239459638067008189110545\ 864676540836718348960902356135582701368066519*c_0101_5^3 - 3166983902472373165620798627061650258293302129146667605050333212894\ 26363799/8882239459638067008189110545864676540836718348960902356135\ 582701368066519*c_0101_5^2 - 71325321315246829709181052016190854299\ 251049363332890247346502202773894842/888223945963806700818911054586\ 4676540836718348960902356135582701368066519*c_0101_5 + 1113965967761267393098536157294092800597297793582685815732903180095\ 8336155/88822394596380670081891105458646765408367183489609023561355\ 82701368066519, c_0101_5^28 - 9*c_0101_5^27 - 7*c_0101_5^26 + 80*c_0101_5^25 - 577*c_0101_5^24 - 714*c_0101_5^23 + 1510*c_0101_5^22 - 5202*c_0101_5^21 - 19214*c_0101_5^20 - 7164*c_0101_5^19 + 38893*c_0101_5^18 + 46763*c_0101_5^17 - 15864*c_0101_5^16 - 50858*c_0101_5^15 - 11666*c_0101_5^14 + 41817*c_0101_5^13 + 34195*c_0101_5^12 - 6147*c_0101_5^11 - 9012*c_0101_5^10 - 4429*c_0101_5^9 - 8440*c_0101_5^8 - 4143*c_0101_5^7 + 324*c_0101_5^6 + 1408*c_0101_5^5 + 1150*c_0101_5^4 + 282*c_0101_5^3 - 40*c_0101_5^2 - 11*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB