Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 2328565350] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1951 geometric_solution 5.53558533 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.187608959626 1.018568804114 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847755277491 0.945998097783 4 3 0 1 2310 3201 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847755277491 0.945998097783 1 5 2 5 0132 0132 2310 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 0.711984859596 0.445412195471 6 1 2 6 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328894329222 0.568567704108 5 3 5 3 2031 0132 1302 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 0.583560581413 0.123901463678 4 4 6 6 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.926095987550 1.572167039971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1096936659098500083293137692310552504676158776506027518565855401326\ 875471948246396630802667556351699/224050233983855479362328218016892\ 9217803563683741464053351164693679540715939324527844731188098064*c_\ 0110_5^29 + 1160099954483840493103531085077684713800527276358605876\ 872754762144538576045195826421296125299059715/224050233983855479362\ 3282180168929217803563683741464053351164693679540715939324527844731\ 188098064*c_0110_5^28 - 7562189264694311380468671692296672286928551\ 2320590579455844952248307309792750264827577518334475942673/22405023\ 3983855479362328218016892921780356368374146405335116469367954071593\ 9324527844731188098064*c_0110_5^27 - 1918807224297238299003102250091729412360982882345395973455233483746\ 7622813058152074405324973900464873/56012558495963869840582054504223\ 2304450890920935366013337791173419885178984831131961182797024516*c_\ 0110_5^26 + 1587239972082491680012862090844713409637214492038556818\ 225151635769848818831665394819746458759436307047/224050233983855479\ 3623282180168929217803563683741464053351164693679540715939324527844\ 731188098064*c_0110_5^25 + 1299125876965876328571910685367789556791\ 907319216975195803425428666019319182121089213563869457999340719/224\ 0502339838554793623282180168929217803563683741464053351164693679540\ 715939324527844731188098064*c_0110_5^24 - 4942736076034749887078234005173990308833931496231345975034790104228\ 720701792153638978417156609173196287/112025116991927739681164109008\ 4464608901781841870732026675582346839770357969662263922365594049032\ *c_0110_5^23 - 7702412529208950968502446489919388613076016430913162\ 7327410368481767554404229066076016889298097362953/24894470442650608\ 8180364686685436579755951520415718228150129410408837857326591614204\ 970132010896*c_0110_5^22 + 6942565889138794519124446436041369719668\ 537683283877145661082383255117486533712369919192391001150598163/746\ 8341132795182645410940600563097392678545612471546844503882312265135\ 71979774842614910396032688*c_0110_5^21 - 1865652569339513379690690100006641506455623952095405015098298043881\ 6234407551637639483142960843403005157/22405023398385547936232821801\ 6892921780356368374146405335116469367954071593932452784473118809806\ 4*c_0110_5^20 - 870260090130584656925775361742455236855881000048315\ 751959415695766566769705416790468134525681173063535/124472352213253\ 0440901823433427182898779757602078591140750647052044189286632958071\ 02485066005448*c_0110_5^19 - 44940516829440147104106950220903470519\ 65939359389887074001119314471071817535241479902421515818197129671/1\ 8670852831987956613527351501407743481696364031178867111259705780662\ 8392994943710653727599008172*c_0110_5^18 + 2765321722906448993303643277171648691525007264964783205887869714965\ 3748048300053825347800254032828331663/74683411327951826454109406005\ 6309739267854561247154684450388231226513571979774842614910396032688\ *c_0110_5^17 + 1170472605248075532725133029263851151433897679508569\ 55300891079012938051498639083280266502378163207415241/1120251169919\ 2773968116410900844646089017818418707320266755823468397703579696622\ 63922365594049032*c_0110_5^16 - 14278676737241007681614741783942624\ 5676015393977156022294546220654265688384690548941967518185722255829\ 6/14003139623990967460145513626055807611272273023384150333444779335\ 4971294746207782990295699256129*c_0110_5^15 + 6597721932341519829506583090911310470278841541252015940686662348830\ 374748198528852332924140079591407031/124472352213253044090182343342\ 718289877975760207859114075064705204418928663295807102485066005448*\ c_0110_5^14 - 37174527948838801767218565411596670456468675020160647\ 4583935881074395089860783514808817090570882347909419/22405023398385\ 5479362328218016892921780356368374146405335116469367954071593932452\ 7844731188098064*c_0110_5^13 - 424410214913419374037063763418429719\ 2476717014753702524847803126553107702441692092368560650017944860443\ 7/56012558495963869840582054504223230445089092093536601333779117341\ 9885178984831131961182797024516*c_0110_5^12 - 3390588138134417009074091704587999116134267839061186715629738700373\ 16785093980626615958284678448985373067/2240502339838554793623282180\ 1689292178035636837414640533511646936795407159393245278447311880980\ 64*c_0110_5^11 - 12159645615654254679680283896194363442227606075369\ 71412724174827485662688529879388663810421329037799631/4767026254975\ 6484970708131492955940804331142207265192624492865822968951402964351\ 656270876342512*c_0110_5^10 - 2785979072884497228534392260076161272\ 8797292153405114317289914791788961039147746284032308959909083486965\ /373417056639759132270547030028154869633927280623577342225194115613\ 256785989887421307455198016344*c_0110_5^9 - 4350510880081384348347453459408689117993258263688497716452339898573\ 3615864448994951462045378995141537223/22405023398385547936232821801\ 6892921780356368374146405335116469367954071593932452784473118809806\ 4*c_0110_5^8 - 1367851119018474108199352369588405654274161539807170\ 4527349314948693541272323907290189962731674506319987/74683411327951\ 8264541094060056309739267854561247154684450388231226513571979774842\ 614910396032688*c_0110_5^7 - 15939102913254499207915736449935775994\ 94899941673453699349967098558215712929149972601175879131837200081/1\ 2447235221325304409018234334271828987797576020785911407506470520441\ 8928663295807102485066005448*c_0110_5^6 + 2627931522378749596692291807560344856405647171849387114767541482615\ 35248267325973353257063522584701563/5601255849596386984058205450422\ 32304450890920935366013337791173419885178984831131961182797024516*c\ _0110_5^5 + 3539822821632420324010707505902817923137196623420802166\ 483994824777196870630998411058050571681074611661/746834113279518264\ 5410940600563097392678545612471546844503882312265135719797748426149\ 10396032688*c_0110_5^4 - 831400068778311407816520023156068585648353\ 652472411528829771905657668152233674907851098213887800324301/224050\ 2339838554793623282180168929217803563683741464053351164693679540715\ 939324527844731188098064*c_0110_5^3 - 6958324038925632028861750131484177197581045708567095969674469915869\ 84527622307019671043416954848611681/7468341132795182645410940600563\ 09739267854561247154684450388231226513571979774842614910396032688*c\ _0110_5^2 - 1143580078268309308132697731594747917058194501695113227\ 8211660082667639878605696663458681246343321031/28006279247981934920\ 2910272521116152225445460467683006668895586709942589492415565980591\ 398512258*c_0110_5 + 7636749604961829099221858449537002592928335997\ 0988514224929412143665129151366482830765981013784817113/11202511699\ 1927739681164109008446460890178184187073202667558234683977035796966\ 2263922365594049032, c_0011_0 - 1, c_0011_1 - 159266982149513783059095470665919251325757351857461744337171\ 850567800372219191459178086128019/311180880533132610225455858356795\ 72469493940051964778518766176301104732165823951775621266501362*c_01\ 10_5^29 - 136168213101609153163264579944789251251997233419874358101\ 485494741225628592538568631765067481/155590440266566305112727929178\ 39786234746970025982389259383088150552366082911975887810633250681*c\ _0110_5^28 + 542981697954022279706581432530443379806937689060249841\ 5429013576728144904255587642039536969360/15559044026656630511272792\ 9178397862347469700259823892593830881505523660829119758878106332506\ 81*c_0110_5^27 + 18297023514777238410531687745419066390305619685346\ 291760511973934399385625937978576021813607069/311180880533132610225\ 4558583567957246949394005196477851876617630110473216582395177562126\ 6501362*c_0110_5^26 - 222482606956892172054057592864694485610510365\ 654669474979475957454770980924412164984097961566925/311180880533132\ 6102254558583567957246949394005196477851876617630110473216582395177\ 5621266501362*c_0110_5^25 - 169168933967992314699603552126134264370\ 107907404161052077921263986932018245650997998086782321863/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^24 + 129756140096363979523810910062278\ 2084056631756388775314324276222727276300181408387689023347964979/31\ 1180880533132610225455858356795724694939400519647785187661763011047\ 32165823951775621266501362*c_0110_5^23 + 1026857643443669916264917746132668983761949437696134564938260929117\ 512061385743146713703648912253/311180880533132610225455858356795724\ 69493940051964778518766176301104732165823951775621266501362*c_0110_\ 5^22 - 143437664769232709392435231215473604064801774533685733664107\ 3690328494881456363472376524095547166/15559044026656630511272792917\ 839786234746970025982389259383088150552366082911975887810633250681*\ c_0110_5^21 + 36457128167031922514999585731772972549278918035461650\ 8541773172555991565417641981316452722325093/15559044026656630511272\ 7929178397862347469700259823892593830881505523660829119758878106332\ 50681*c_0110_5^20 + 38720773870515456606742741231065032862656513481\ 16452429599680603360487509774269775414756511535031/3111808805331326\ 1022545585835679572469493940051964778518766176301104732165823951775\ 621266501362*c_0110_5^19 + 4752292117308586723865458520212425588738\ 249626465697995937668450459199331263973311242899291701480/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^18 - 686333011461256575857314197690793\ 4363238194137572067822541173208160049348186647867028534332315197/31\ 1180880533132610225455858356795724694939400519647785187661763011047\ 32165823951775621266501362*c_0110_5^17 - 4129831733828316811381231062012241346138997231069858638292409483063\ 1174774414894342861841141621095/31118088053313261022545585835679572\ 469493940051964778518766176301104732165823951775621266501362*c_0110\ _5^16 - 98380360885296077562723184538359618100378523431718305268400\ 74810188590996786136189516980811156757/1555904402665663051127279291\ 7839786234746970025982389259383088150552366082911975887810633250681\ *c_0110_5^15 - 8518057410365989691520339399463187883283592101010314\ 331246674407516968655927414626372531282645800/155590440266566305112\ 7279291783978623474697002598238925938308815055236608291197588781063\ 3250681*c_0110_5^14 + 429653208519660145576975599690978458630067425\ 25038817034774487982405495368466150594656966433043501/3111808805331\ 3261022545585835679572469493940051964778518766176301104732165823951\ 775621266501362*c_0110_5^13 + 5822112780364087883706843024189401865\ 7821835022635467778630501987721692385509432033292115664238323/31118\ 0880533132610225455858356795724694939400519647785187661763011047321\ 65823951775621266501362*c_0110_5^12 + 6915912068759699158776179695450523589887147160351405434548756747499\ 7921121353114828663674167024033/31118088053313261022545585835679572\ 469493940051964778518766176301104732165823951775621266501362*c_0110\ _5^11 + 43843929631450001179481057457106166257054418636653855289614\ 0278434589970266457065502879183029568/33104348992886447896325091314\ 5527366696744043106008282114533790437284384742807997612992196823*c_\ 0110_5^10 + 3373492257870051530697344058371600326720365487634028675\ 4232413820932788742694443933017891594498173/31118088053313261022545\ 5858356795724694939400519647785187661763011047321658239517756212665\ 01362*c_0110_5^9 + 223830974786434681449530295289421261994517964391\ 05008919674584693309885176223642375164913782370593/3111808805331326\ 1022545585835679572469493940051964778518766176301104732165823951775\ 621266501362*c_0110_5^8 + 61325555763823050618382579248312696076714\ 38726068975792716759940820131736769965711936875643534946/1555904402\ 6656630511272792917839786234746970025982389259383088150552366082911\ 975887810633250681*c_0110_5^7 + 80732361607991628303577517890062256\ 55868775870807048609260875115729291309296852059583309679914009/3111\ 8088053313261022545585835679572469493940051964778518766176301104732\ 165823951775621266501362*c_0110_5^6 + 1605844433907956355050007772977710256792351664830340938163530354004\ 700071435879664987103453753526/155590440266566305112727929178397862\ 34746970025982389259383088150552366082911975887810633250681*c_0110_\ 5^5 - 1499830681701306907380788235115823491386245806776449506623624\ 331173001360304885748061035724902841/311180880533132610225455858356\ 79572469493940051964778518766176301104732165823951775621266501362*c\ _0110_5^4 - 4432289870200625202055141179891472857086417112955474237\ 36106652212750406139416494992920725882923/1555904402665663051127279\ 2917839786234746970025982389259383088150552366082911975887810633250\ 681*c_0110_5^3 + 16719414933620142365696214691522694064632024275850\ 1466693235901723171799583336010073241082849411/15559044026656630511\ 2727929178397862347469700259823892593830881505523660829119758878106\ 33250681*c_0110_5^2 + 182280288522100512127372621979810574133278499\ 628775784403856540827060291981823999992269251538073/311180880533132\ 6102254558583567957246949394005196477851876617630110473216582395177\ 5621266501362*c_0110_5 - 525302048263758000639509557765612304293166\ 0267613205052385697138063479239935228524798416220652/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681, c_0101_0 - 186114121822151193686983822523633850119401656127582786174343\ 45619203161067877154689710410787/1555904402665663051127279291783978\ 6234746970025982389259383088150552366082911975887810633250681*c_011\ 0_5^29 - 2249430002014035706277284183398107931423247564540337116362\ 3310622759127775753050904049950536/15559044026656630511272792917839\ 786234746970025982389259383088150552366082911975887810633250681*c_0\ 110_5^28 + 12816580370936194121687840017120357592130118073629729621\ 09829702660947890521976102364927433117/1555904402665663051127279291\ 7839786234746970025982389259383088150552366082911975887810633250681\ *c_0110_5^27 + 1497783935720705144793084762739069514350676352900436\ 619280036716874542500797749443335288167848/155590440266566305112727\ 9291783978623474697002598238925938308815055236608291197588781063325\ 0681*c_0110_5^26 - 268415257156876787071630625774462646739686695404\ 37625874874065875853851781659629628055259538760/1555904402665663051\ 1272792917839786234746970025982389259383088150552366082911975887810\ 633250681*c_0110_5^25 - 2622520221861071215829535518635507453717127\ 9594324308173784571673853216621190992575817420627664/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681*c_0110_5^24 + 16662848074369718339462729182305989063\ 4680091679737535440011087957595465014715314786583306512492/15559044\ 0266566305112727929178397862347469700259823892593830881505523660829\ 11975887810633250681*c_0110_5^23 + 3906251627831775247649636794024364108872968977434315086260068194341\ 7851103060995444590880145184/15559044026656630511272792917839786234\ 746970025982389259383088150552366082911975887810633250681*c_0110_5^\ 22 - 36482514418661971068432510924618340072983105052860097887063458\ 3337539861550708938297247367646521/15559044026656630511272792917839\ 786234746970025982389259383088150552366082911975887810633250681*c_0\ 110_5^21 + 26162145230104436166084870015470330560812039891794964135\ 0825450919013869044121819011485706317128/15559044026656630511272792\ 9178397862347469700259823892593830881505523660829119758878106332506\ 81*c_0110_5^20 + 33753803552848021701709264316723762893449939806309\ 9835133285258659957445620203593242350407898526/15559044026656630511\ 2727929178397862347469700259823892593830881505523660829119758878106\ 33250681*c_0110_5^19 + 93255783449772817025530591325621398773910144\ 2632945688375651369183134517903535611296999577283520/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681*c_0110_5^18 - 12804623333140969578077389043101079337\ 03854691509569497708352215941887028635370146800164531433679/1555904\ 4026656630511272792917839786234746970025982389259383088150552366082\ 911975887810633250681*c_0110_5^17 - 4279344687748458703180651156192374475648354951892568234822287595036\ 172739403103224838559371798832/155590440266566305112727929178397862\ 34746970025982389259383088150552366082911975887810633250681*c_0110_\ 5^16 - 102814553199731829331531940780939971658130533389620573013707\ 768729310693173520008680152905702228/155590440266566305112727929178\ 39786234746970025982389259383088150552366082911975887810633250681*c\ _0110_5^15 - 163673139915973829277149361370683850897330880309812707\ 2993478785819348688813045991847214976704882/15559044026656630511272\ 7929178397862347469700259823892593830881505523660829119758878106332\ 50681*c_0110_5^14 + 60549274509672865796230327136339398131141249706\ 62180875377821028269172321298455609287380220471195/1555904402665663\ 0511272792917839786234746970025982389259383088150552366082911975887\ 810633250681*c_0110_5^13 + 4106593568161884205487152143261751990249\ 865315081596774986689825174667938838060300750115076496755/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^12 + 555702154518318229223643874217902\ 9123601134772749365668026287828743370378995230976036232376743810/15\ 5590440266566305112727929178397862347469700259823892593830881505523\ 66082911975887810633250681*c_0110_5^11 + 3409975146701047319995677867732874041820987450036595626559625270122\ 9006091955524433683597933405/33104348992886447896325091314552736669\ 6744043106008282114533790437284384742807997612992196823*c_0110_5^10 + 22445494801142071795661100165672338190452596483587071120081374225\ 17688572532841594380097603875657/1555904402665663051127279291783978\ 6234746970025982389259383088150552366082911975887810633250681*c_011\ 0_5^9 + 11081873573668125253959643936697766312317951610877325157050\ 63246164871154292340015967614627615013/1555904402665663051127279291\ 7839786234746970025982389259383088150552366082911975887810633250681\ *c_0110_5^8 + 49239989449682287441479487794317891932370305340413415\ 8397192800819717514214963628559106649766128/15559044026656630511272\ 7929178397862347469700259823892593830881505523660829119758878106332\ 50681*c_0110_5^7 + 619378513173823502633868341957614334561030621299\ 463854061101101654068266527469582763470325106222/155590440266566305\ 1127279291783978623474697002598238925938308815055236608291197588781\ 0633250681*c_0110_5^6 - 3133475303484593530635279062767513283511742\ 2946606923458592063122347848981625037463036799589490/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681*c_0110_5^5 - 230761050778063476905733484219934556293\ 987646863064758172943685246147371270186580953118745198003/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^4 + 7706794253530189398619905453982041\ 251025921210698837386273925083723187836562042249265965165332/155590\ 4402665663051127279291783978623474697002598238925938308815055236608\ 2911975887810633250681*c_0110_5^3 + 5248481486039706529854467595446620624664932997165484622703909433492\ 8879038139039626062803492412/15559044026656630511272792917839786234\ 746970025982389259383088150552366082911975887810633250681*c_0110_5^\ 2 + 339791257688229252837998122769740391823484361202375674847862466\ 70050624095488929811416616599590/1555904402665663051127279291783978\ 6234746970025982389259383088150552366082911975887810633250681*c_011\ 0_5 - 3937944453489858422502280211795599904465458771110337562513207\ 580752845082279451066294564877520/155590440266566305112727929178397\ 86234746970025982389259383088150552366082911975887810633250681, c_0101_1 - 193150900985484257621379311076995051564216622036284822372063\ 553241712307065641606790024705419/311180880533132610225455858356795\ 72469493940051964778518766176301104732165823951775621266501362*c_01\ 10_5^29 - 153782760268570922171202485251624339595859734106149987044\ 427883980166900044796927435172674461/155590440266566305112727929178\ 39786234746970025982389259383088150552366082911975887810633250681*c\ _0110_5^28 + 659998643136360157380637894055800086928147158300304545\ 6879499928667215358307404105363166868773/15559044026656630511272792\ 9178397862347469700259823892593830881505523660829119758878106332506\ 81*c_0110_5^27 + 20629289027156776252969496319778521558183008247598\ 337079372190892820274256959407284806616682371/311180880533132610225\ 4558583567957246949394005196477851876617630110473216582395177562126\ 6501362*c_0110_5^26 - 271814342646568615394080454401308896172871535\ 761585386173767658203276768917098091196358196173547/311180880533132\ 6102254558583567957246949394005196477851876617630110473216582395177\ 5621266501362*c_0110_5^25 - 188899408906164931650590638023391587275\ 573701050474019614131018279266804737776437411268402527514/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^24 + 160911076304439417358072482046139\ 8438298549283781464775091811027149269401891815263314797260581599/31\ 1180880533132610225455858356795724694939400519647785187661763011047\ 32165823951775621266501362*c_0110_5^23 + 1046081502540349457436902579886535600478007050878144802452356491635\ 571470647749120496078760587405/311180880533132610225455858356795724\ 69493940051964778518766176301104732165823951775621266501362*c_0110_\ 5^22 - 177333969166228518939467409852353634261834427284580949012524\ 7102318949944769979350060419429649486/15559044026656630511272792917\ 839786234746970025982389259383088150552366082911975887810633250681*\ c_0110_5^21 + 66121410747281892006279595192472824371058618408805280\ 0119144691041621647887001012350683384102353/15559044026656630511272\ 7929178397862347469700259823892593830881505523660829119758878106332\ 50681*c_0110_5^20 + 44138253901092221630384649034490300403628429906\ 67090818180935849381628012902577145274542414418585/3111808805331326\ 1022545585835679572469493940051964778518766176301104732165823951775\ 621266501362*c_0110_5^19 + 5540969341099397255490603738949865676918\ 311960900340404887335974018613145227788948837866728913378/155590440\ 2665663051127279291783978623474697002598238925938308815055236608291\ 1975887810633250681*c_0110_5^18 - 949169869518754561371241190475208\ 5111635012942240877038847351220909949201410459142898310475077853/31\ 1180880533132610225455858356795724694939400519647785187661763011047\ 32165823951775621266501362*c_0110_5^17 - 4866384834925659693001366992066064838468712063559845205582580998589\ 5416552608737903755181386575751/31118088053313261022545585835679572\ 469493940051964778518766176301104732165823951775621266501362*c_0110\ _5^16 - 92553657180647350544606596214092003276998584801430548727881\ 85581052808681444252028939292719574203/1555904402665663051127279291\ 7839786234746970025982389259383088150552366082911975887810633250681\ *c_0110_5^15 - 1000678569911078964453198147601022998664232059008515\ 4844290100919604743277235453108355470005402809/15559044026656630511\ 2727929178397862347469700259823892593830881505523660829119758878106\ 33250681*c_0110_5^14 + 54286725772593440179611774619360639918712581\ 347897345564220252175379321595011012816830547762817589/311180880533\ 1326102254558583567957246949394005196477851876617630110473216582395\ 1775621266501362*c_0110_5^13 + 637884011307560430139371492627934315\ 66181571574271876074565463084541515219947171531873668200970315/3111\ 8088053313261022545585835679572469493940051964778518766176301104732\ 165823951775621266501362*c_0110_5^12 + 7824759217634769063793988496930808245230361127520075668524396169114\ 5795006455860960975207408091877/31118088053313261022545585835679572\ 469493940051964778518766176301104732165823951775621266501362*c_0110\ _5^11 + 45358266604305134402068373599406862589884540860242351984391\ 1567412077463515273309645470370984650/33104348992886447896325091314\ 5527366696744043106008282114533790437284384742807997612992196823*c_\ 0110_5^10 + 3754148624608424056996879186543903860521950758518191816\ 2824084840882672129706527212568825439151543/31118088053313261022545\ 5858356795724694939400519647785187661763011047321658239517756212665\ 01362*c_0110_5^9 + 235449087845706666934621664739287946637382900407\ 79983318348410016128220773764776122840841444032531/3111808805331326\ 1022545585835679572469493940051964778518766176301104732165823951775\ 621266501362*c_0110_5^8 + 63291026586149472835181744712461392542772\ 35910787737057308147859426217139062052732202045350749029/1555904402\ 6656630511272792917839786234746970025982389259383088150552366082911\ 975887810633250681*c_0110_5^7 + 89227903963319904125483663420349363\ 86105673284960086057436462842055618324610678380526590374910539/3111\ 8088053313261022545585835679572469493940051964778518766176301104732\ 165823951775621266501362*c_0110_5^6 + 1459389108057441560282830765796920610231615014879712118110659590029\ 885523877120884423052084581673/155590440266566305112727929178397862\ 34746970025982389259383088150552366082911975887810633250681*c_0110_\ 5^5 - 1835092555139955908948039659004098994173664914847177090970687\ 987081208487057510843347641507920549/311180880533132610225455858356\ 79572469493940051964778518766176301104732165823951775621266501362*c\ _0110_5^4 - 4571148386786795393754778214398910112443133733115029186\ 04386483249297877044474246268552627572202/1555904402665663051127279\ 2917839786234746970025982389259383088150552366082911975887810633250\ 681*c_0110_5^3 + 20035265816559564984939582970584992042400774424552\ 6126242601282296038800201701976832197752004117/15559044026656630511\ 2727929178397862347469700259823892593830881505523660829119758878106\ 33250681*c_0110_5^2 + 181332316336988896899294485820196053838022879\ 695624634692044995770982904424512436186456265174949/311180880533132\ 6102254558583567957246949394005196477851876617630110473216582395177\ 5621266501362*c_0110_5 - 712517642546270976912978718747985175876673\ 6110052196669727032326186645581205084690465920889204/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681, c_0101_4 + 982973234786546751116316350461337819143760699444110128250967\ 3195471831515041252765972249067/15559044026656630511272792917839786\ 234746970025982389259383088150552366082911975887810633250681*c_0110\ _5^29 + 16408602248684189874690612290317987815065873953773286652569\ 88731482133841595225170218252326/1555904402665663051127279291783978\ 6234746970025982389259383088150552366082911975887810633250681*c_011\ 0_5^28 - 6864743002930772486859125409966159920221673026431088589258\ 11687237068404314948780657604532273/1555904402665663051127279291783\ 9786234746970025982389259383088150552366082911975887810633250681*c_\ 0110_5^27 - 8533388607174135833224550055487019401012602860795454274\ 2884117994199147176380818288062664529/15559044026656630511272792917\ 839786234746970025982389259383088150552366082911975887810633250681*\ c_0110_5^26 + 14805410039266573983445743173326541006627543007972586\ 466674779865754570120548936047031289701428/155590440266566305112727\ 9291783978623474697002598238925938308815055236608291197588781063325\ 0681*c_0110_5^25 - 947376567966777878394927001499383633175760640576\ 914841144343967143720652489289329362031494989/155590440266566305112\ 7279291783978623474697002598238925938308815055236608291197588781063\ 3250681*c_0110_5^24 - 983006570343419302630266671843988439704410091\ 39972041790871684992685112901827386265513613536994/1555904402665663\ 0511272792917839786234746970025982389259383088150552366082911975887\ 810633250681*c_0110_5^23 + 7082308925906487798026737597062263479810\ 5651275435434436158336739299183072036892121414728550788/15559044026\ 6566305112727929178397862347469700259823892593830881505523660829119\ 75887810633250681*c_0110_5^22 + 18828931420045904981043363092024523\ 2597177708526030671084160621396818289144790617481311564199257/15559\ 0440266566305112727929178397862347469700259823892593830881505523660\ 82911975887810633250681*c_0110_5^21 - 3175628312794626999890032472381514011059409486949106930540234851009\ 76237723170041396074981643906/1555904402665663051127279291783978623\ 4746970025982389259383088150552366082911975887810633250681*c_0110_5\ ^20 + 5642934146778128620853759711940049318061430346519524524987443\ 350598236209503787810548525228358/155590440266566305112727929178397\ 86234746970025982389259383088150552366082911975887810633250681*c_01\ 10_5^19 - 399063140143048634112619966599636144091356968716115274575\ 024683079222095296251221575162981460750/155590440266566305112727929\ 1783978623474697002598238925938308815055236608291197588781063325068\ 1*c_0110_5^18 + 122305951297742547387357304354244672283910355430212\ 0345385600226876974349815966192653792675844683/15559044026656630511\ 2727929178397862347469700259823892593830881505523660829119758878106\ 33250681*c_0110_5^17 + 14179783413829119369568592097291839814987390\ 50461070615044465831509753771510885471378172133551877/1555904402665\ 6630511272792917839786234746970025982389259383088150552366082911975\ 887810633250681*c_0110_5^16 - 1994428564689507698462757019622034634\ 967566639203031506143366427480270163455180937762630424245470/155590\ 4402665663051127279291783978623474697002598238925938308815055236608\ 2911975887810633250681*c_0110_5^15 + 1162260336028405782454123585330413208008558009210234932987616031144\ 326903915293751536027723673592/155590440266566305112727929178397862\ 34746970025982389259383088150552366082911975887810633250681*c_0110_\ 5^14 - 453310573179297743111157833298946579995377251145738867596972\ 6775306987081791089304311953071775791/15559044026656630511272792917\ 839786234746970025982389259383088150552366082911975887810633250681*\ c_0110_5^13 + 18475778422302947563305003064804601124071524796977361\ 20283710519069430860831330666330285804126540/1555904402665663051127\ 2792917839786234746970025982389259383088150552366082911975887810633\ 250681*c_0110_5^12 - 2010256852901320108608790821557840134561520285\ 682870172402976916240835401137827968221762445571506/155590440266566\ 3051127279291783978623474697002598238925938308815055236608291197588\ 7810633250681*c_0110_5^11 + 579248170755047847642973948799638108938\ 46952877697535119889262227838771646168171653251498354565/3310434899\ 2886447896325091314552736669674404310600828211453379043728438474280\ 7997612992196823*c_0110_5^10 - 130266092557629263063199674414595396\ 5676204845838533100866995706238501746552698414227017366974969/15559\ 0440266566305112727929178397862347469700259823892593830881505523660\ 82911975887810633250681*c_0110_5^9 + 1064873738723492773597381933379499585310200157064822631250274856006\ 621847124749335181978386371410/155590440266566305112727929178397862\ 34746970025982389259383088150552366082911975887810633250681*c_0110_\ 5^8 - 3061358727309636666396343047193178469319197831077929863652012\ 91305334461301413340167373007523829/1555904402665663051127279291783\ 9786234746970025982389259383088150552366082911975887810633250681*c_\ 0110_5^7 + 12096026685837267934181389095078726921571993234859696723\ 4652498872069504977690353003085230671009/15559044026656630511272792\ 9178397862347469700259823892593830881505523660829119758878106332506\ 81*c_0110_5^6 + 157774053054982375890888695300489084302601430742976\ 996892035025514919203294726401028464555040466/155590440266566305112\ 7279291783978623474697002598238925938308815055236608291197588781063\ 3250681*c_0110_5^5 + 3085484418807558314635398530659501560128034144\ 472315700051029980576585988612128664204956454152/155590440266566305\ 1127279291783978623474697002598238925938308815055236608291197588781\ 0633250681*c_0110_5^4 - 6182363160332216541997768259706971080020946\ 5228691446354293986294991777026098154481228903054053/15559044026656\ 6305112727929178397862347469700259823892593830881505523660829119758\ 87810633250681*c_0110_5^3 - 624824612009556471379706202718118924255\ 44784573440968887545436242021568598598874241658337529642/1555904402\ 6656630511272792917839786234746970025982389259383088150552366082911\ 975887810633250681*c_0110_5^2 + 50926829234984769164424623386633599\ 65287672968134718184512076759281380902789604334150872648632/1555904\ 4026656630511272792917839786234746970025982389259383088150552366082\ 911975887810633250681*c_0110_5 + 1527306719304549984114659170475441\ 0295215877323545040613408782232204326512630292071675128788849/15559\ 0440266566305112727929178397862347469700259823892593830881505523660\ 82911975887810633250681, c_0101_6 + 113435668455407106248239257420760738725938378000316729261149\ 2657480994430469660185547980850995/62236176106626522045091171671359\ 144938987880103929557037532352602209464331647903551242533002724*c_0\ 110_5^29 + 12288780077349534012011492028748057456231561598162787302\ 42130847099948766091005984517294172861/6223617610662652204509117167\ 1359144938987880103929557037532352602209464331647903551242533002724\ *c_0110_5^28 - 7807328413793718236506992078115395493955308546789357\ 8250242991379340549654022032407833866351841/62236176106626522045091\ 1716713591449389878801039295570375323526022094643316479035512425330\ 02724*c_0110_5^27 - 20323074046160689690860652256894219137962811141\ 619502175929872707525412020973063246130675520247/155590440266566305\ 1127279291783978623474697002598238925938308815055236608291197588781\ 0633250681*c_0110_5^26 + 163262479107895505844432867468645539904725\ 8769277689187280484787709990442554604710547287777598989/62236176106\ 6265220450911716713591449389878801039295570375323526022094643316479\ 03551242533002724*c_0110_5^25 + 13796903435467371638466180513441990\ 85596728315487958253236459877427780140683303716581241713079345/6223\ 6176106626522045091171671359144938987880103929557037532352602209464\ 331647903551242533002724*c_0110_5^24 - 5023548574466353561417152048869372837446373148960701362267864999620\ 131492256799232647172805809915/311180880533132610225455858356795724\ 69493940051964778518766176301104732165823951775621266501362*c_0110_\ 5^23 - 882200450457062920709760660424552061077975720343326326676287\ 596331200720623344604249222886156015/622361761066265220450911716713\ 59144938987880103929557037532352602209464331647903551242533002724*c\ _0110_5^22 + 206442008837851436688775269079347255561020367804414969\ 96507619252496183007214552414317762460172463/6223617610662652204509\ 1171671359144938987880103929557037532352602209464331647903551242533\ 002724*c_0110_5^21 - 1868117655260561217391852571751629588695533722\ 7150883630472897143587162269060316465573023236596089/62236176106626\ 5220450911716713591449389878801039295570375323526022094643316479035\ 51242533002724*c_0110_5^20 - 74694232305858965167434495776277237056\ 48776683279407807941291237424903571082516907795767504483559/3111808\ 8053313261022545585835679572469493940051964778518766176301104732165\ 823951775621266501362*c_0110_5^19 - 2903929792521351329501974314936783546070731330324082276093292466898\ 8551313557085687985794439381691/31118088053313261022545585835679572\ 469493940051964778518766176301104732165823951775621266501362*c_0110\ _5^18 + 83376713027417049021809498354486814184387664528788754570809\ 841672359309796004582910750771067238117/622361761066265220450911716\ 7135914493898788010392955703753235260220946433164790355124253300272\ 4*c_0110_5^17 + 598716394483644481772779844599017533360007104570621\ 75327914106420343928924412991126441091454392195/1555904402665663051\ 1272792917839786234746970025982389259383088150552366082911975887810\ 633250681*c_0110_5^16 - 4822357405492259372438068469105019793512604\ 463200185920037712395535978608425579666155944579908677/311180880533\ 1326102254558583567957246949394005196477851876617630110473216582395\ 1775621266501362*c_0110_5^15 + 707939893869340200963430449994574399\ 48542308644759173524743367158257961551502438540922590498184883/3111\ 8088053313261022545585835679572469493940051964778518766176301104732\ 165823951775621266501362*c_0110_5^14 - 3849971763428658777223896639679734528061765770623438426894692858553\ 63927977847271569712900441506851/6223617610662652204509117167135914\ 4938987880103929557037532352602209464331647903551242533002724*c_011\ 0_5^13 - 8607424047113211681425162208137865067726610993480068040800\ 3780746071965802991609137448320410802023/31118088053313261022545585\ 8356795724694939400519647785187661763011047321658239517756212665013\ 62*c_0110_5^12 - 38948356702024807605471134553306145231982865787209\ 7438453081069887720123499100698657577655070753729/62236176106626522\ 0450911716713591449389878801039295570375323526022094643316479035512\ 42533002724*c_0110_5^11 - 16627062456151810307853230800902373180646\ 61652069802811095937629639079169929227685337988568083085/1324173959\ 7154579158530036525821094667869761724240331284581351617491375389712\ 31990451968787292*c_0110_5^10 - 10309789430786578626957953715435186\ 0894923527481334763227331002221111938872565425862379483356461179/31\ 1180880533132610225455858356795724694939400519647785187661763011047\ 32165823951775621266501362*c_0110_5^9 - 5338065255205867990009727511040836254364071697727927152838026035187\ 5111976585212711503238181416549/62236176106626522045091171671359144\ 938987880103929557037532352602209464331647903551242533002724*c_0110\ _5^8 - 610161313258487856692396687467452218216375949959801548868311\ 09397624055498193606755966029731781275/6223617610662652204509117167\ 1359144938987880103929557037532352602209464331647903551242533002724\ *c_0110_5^7 - 17078011439264325364470107069960715183267299051070416\ 244704409114459010249861030459953240418954995/311180880533132610225\ 4558583567957246949394005196477851876617630110473216582395177562126\ 6501362*c_0110_5^6 - 2097657137321523493202227277095509918707117140\ 777884421242393001471268198319638997428878902106069/311180880533132\ 6102254558583567957246949394005196477851876617630110473216582395177\ 5621266501362*c_0110_5^5 + 8008793015338322206561080128934791282521\ 637803668377273585772688919946692586743828863298415767179/622361761\ 0662652204509117167135914493898788010392955703753235260220946433164\ 7903551242533002724*c_0110_5^4 - 3672157284386290256039022980433962\ 20231091789578041738428448805546151515805738549713349774991635/6223\ 6176106626522045091171671359144938987880103929557037532352602209464\ 331647903551242533002724*c_0110_5^3 - 1776852507815524884964688488947625758106061043665987484346641117562\ 166385864142700178888572935295/622361761066265220450911716713591449\ 38987880103929557037532352602209464331647903551242533002724*c_0110_\ 5^2 - 6692227015149413941969687255495633950328904016674897646341705\ 3949896584013239382016438495839968/15559044026656630511272792917839\ 786234746970025982389259383088150552366082911975887810633250681*c_0\ 110_5 + 20436012545783145442354235707090129425012908924474750565820\ 586848526583789485691074924348176991/155590440266566305112727929178\ 39786234746970025982389259383088150552366082911975887810633250681, c_0110_5^30 + c_0110_5^29 - 69*c_0110_5^28 - 66*c_0110_5^27 + 1451*c_0110_5^26 + 1101*c_0110_5^25 - 9080*c_0110_5^24 - 113*c_0110_5^23 + 19023*c_0110_5^22 - 18101*c_0110_5^21 - 13300*c_0110_5^20 - 48342*c_0110_5^19 + 78459*c_0110_5^18 + 209050*c_0110_5^17 - 33110*c_0110_5^16 + 109474*c_0110_5^15 - 345133*c_0110_5^14 - 135240*c_0110_5^13 - 300207*c_0110_5^12 - 34303*c_0110_5^11 - 149404*c_0110_5^10 - 30883*c_0110_5^9 - 35135*c_0110_5^8 - 24000*c_0110_5^7 + 2462*c_0110_5^6 + 9625*c_0110_5^5 - 1315*c_0110_5^4 - 1859*c_0110_5^3 + 26*c_0110_5^2 + 144*c_0110_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB