Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2934911898] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2475 geometric_solution 5.80791429 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.302478763782 0.237809788304 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654393227688 1.368504100021 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119737246665 1.056001794650 5 4 2 1 3201 3201 2310 0132 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 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 -0.119737246665 1.056001794650 6 6 3 2 0132 3201 2310 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054770732921 0.647484608030 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415909213956 1.297496886530 4 6 4 6 0132 1302 2310 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 -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.601575741188 1.842614923255 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2246862678879070033421922577777602078618842340601524581767655838194\ 3/66029752920634238634540379857695870993675391763236023761508085520\ *c_0101_3^31 + 1125691498973552141109170345611094274173544795394194\ 73463759088681109/6602975292063423863454037985769587099367539176323\ 6023761508085520*c_0101_3^30 - 137574535558130253979654210909910625\ 32089075609112377453205112695788/4126859557539639914658773741105991\ 937104711985202251485094255345*c_0101_3^29 - 1106062048583692812680730971572450186797027516164326194920115430836\ 83/8253719115079279829317547482211983874209423970404502970188510690\ *c_0101_3^28 - 4282332075075000092489279042792351569936753534854300\ 5518252136825807/33014876460317119317270189928847935496837695881618\ 01188075404276*c_0101_3^27 + 21139263479351176544879384406731761592\ 83639565484271569089451652123491/3301487646031711931727018992884793\ 5496837695881618011880754042760*c_0101_3^26 - 1061707359447184730923201268279228439433265794576696377969402129900\ 439/660297529206342386345403798576958709936753917632360237615080855\ 20*c_0101_3^25 - 25716586887872353761993170411439414633249256458711\ 671317821817205679/464998260004466469257326618716168105589263322276\ 310026489493560*c_0101_3^24 + 1334103176311338855035288079738816748\ 883266393332554904465020609292341/165074382301585596586350949644239\ 67748418847940809005940377021380*c_0101_3^23 + 3614868304600594695592327943733678824827833078692631029978151338479\ 583/660297529206342386345403798576958709936753917632360237615080855\ 20*c_0101_3^22 - 42332365518933589772141804966296851477273911055356\ 452875979828363503327/660297529206342386345403798576958709936753917\ 63236023761508085520*c_0101_3^21 + 4748037853847186835579209825870294274176267559248141933729256057419\ 7437/66029752920634238634540379857695870993675391763236023761508085\ 520*c_0101_3^20 + 1687699426713767994601827056891529992284833810029\ 681240643561280552193/825371911507927982931754748221198387420942397\ 040450297018851069*c_0101_3^19 - 4457314248280719780806523298015171\ 2792485788057756040358217728854624649/13205950584126847726908075971\ 539174198735078352647204752301617104*c_0101_3^18 - 2390909717135174096601967683811782269673162225408495563950365159854\ 240/825371911507927982931754748221198387420942397040450297018851069\ *c_0101_3^17 + 3591177748199579406024059013466127082646621636964797\ 77049141489737916831/6602975292063423863454037985769587099367539176\ 3236023761508085520*c_0101_3^16 + 139841833345815575413337713240125\ 858596853276967176961967865841183951127/330148764603171193172701899\ 28847935496837695881618011880754042760*c_0101_3^15 - 2124548270244375468975444692404331299788383240439276891679141196189\ 64749/3301487646031711931727018992884793549683769588161801188075404\ 2760*c_0101_3^14 - 324887465684531961600014233237302367949524819660\ 830769576393868373071721/660297529206342386345403798576958709936753\ 91763236023761508085520*c_0101_3^13 + 5184093771412994800919025375320379636312598231514668917171873230393\ 8903/82537191150792798293175474822119838742094239704045029701885106\ 90*c_0101_3^12 + 25023303146028490997728522985422081999915841996456\ 889970793459020552257/825371911507927982931754748221198387420942397\ 0404502970188510690*c_0101_3^11 - 266265829737515723397711337753927\ 65252212273421479852255404289279011833/6602975292063423863454037985\ 769587099367539176323602376150808552*c_0101_3^10 - 3564153454018766620400117753070857598454727611868687472057995289363\ 7989/33014876460317119317270189928847935496837695881618011880754042\ 760*c_0101_3^9 + 24448903208096433591814349139617500436785336964783\ 152805639349535603091/165074382301585596586350949644239677484188479\ 40809005940377021380*c_0101_3^8 + 118444706933312470706263316205130\ 84964823313252351994314094209016367183/3301487646031711931727018992\ 8847935496837695881618011880754042760*c_0101_3^7 - 2484579455174887436731852162830981969386068354898190970842019301829\ 1399/66029752920634238634540379857695870993675391763236023761508085\ 520*c_0101_3^6 - 30909517745460663099398640686208482835843706114000\ 89304299836420223615/1320595058412684772690807597153917419873507835\ 2647204752301617104*c_0101_3^5 + 6245754492208812743698477136571072\ 43501861355844021022292776593467993/1650743823015855965863509496442\ 3967748418847940809005940377021380*c_0101_3^4 + 5206556524896396826320702991302208996329517113783720237625625337504\ 029/660297529206342386345403798576958709936753917632360237615080855\ 20*c_0101_3^3 + 682869395503812635050011489032272410595013361399352\ 272047221747353267/660297529206342386345403798576958709936753917632\ 36023761508085520*c_0101_3^2 - 411953859207302717755297806078003974\ 432724809660775815193137291130323/660297529206342386345403798576958\ 70993675391763236023761508085520*c_0101_3 - 6610522817483058719383837704569782888810558494687853358228115976281\ 7/66029752920634238634540379857695870993675391763236023761508085520\ , c_0011_0 - 1, c_0011_1 - 134108353508523565080490080922410433697279629429903236699136\ 0/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^31 - 610870352348479286247641260004152441741604301589619814564\ 3898/400860568969367645911488464410489746197640795065784505594391*c\ _0101_3^30 + 159915029990938262460370764942574977375346081587561544\ 52255933/4008605689693676459114884644104897461976407950657845055943\ 91*c_0101_3^29 + 45881386644575437898763746927950315967070596066340\ 152431411395/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^28 + 2940345786889592309507372021097936614977710186\ 4076191510482651/40086056896936764591148846441048974619764079506578\ 4505594391*c_0101_3^27 - 268326740398552458272195908577275624437527\ 852247529432334830408/400860568969367645911488464410489746197640795\ 065784505594391*c_0101_3^26 + 1835189574236886522748053836816123747\ 85514141248245620619951497/4008605689693676459114884644104897461976\ 40795065784505594391*c_0101_3^25 + 148949008952934150819396928853117943863859034354039201439441016/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 24 - 39483413453315082743343550263219225563840545607906112177015609\ 0/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^23 - 445399841807999904596759877011949898911940417283434520230\ 52556/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^22 + 25666465460534251864642054041347702850502507755757757\ 05275486768/4008605689693676459114884644104897461976407950657845055\ 94391*c_0101_3^21 - 39968189327642168321546355999117455089563120698\ 77789569679047532/4008605689693676459114884644104897461976407950657\ 84505594391*c_0101_3^20 - 63798879328619556862457193110065191740931\ 95703450675492896172383/4008605689693676459114884644104897461976407\ 95065784505594391*c_0101_3^19 + 16409377109539473479519075044512540\ 326913369287682446201043551379/400860568969367645911488464410489746\ 197640795065784505594391*c_0101_3^18 + 4316759430406389806398370684509280062775340978172385704501444415/40\ 0860568969367645911488464410489746197640795065784505594391*c_0101_3\ ^17 - 2424686549516093106013571567509123615583612835730398978589958\ 9125/400860568969367645911488464410489746197640795065784505594391*c\ _0101_3^16 - 598588218133945084928758469890528837736401630956042802\ 6412890798/40086056896936764591148846441048974619764079506578450559\ 4391*c_0101_3^15 + 293368854995984945226860139619634768953087620624\ 00777155721934648/4008605689693676459114884644104897461976407950657\ 84505594391*c_0101_3^14 + 65391162394751429240318976418322063177142\ 37157258788423473710241/4008605689693676459114884644104897461976407\ 95065784505594391*c_0101_3^13 - 29246137490030543875920535320622096\ 753052357209560664066784259367/400860568969367645911488464410489746\ 197640795065784505594391*c_0101_3^12 + 802598883096218005168908092154215626213311676584302839017131398/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 11 + 17017830194461979403082653132525092055607285384694117748505139\ 138/400860568969367645911488464410489746197640795065784505594391*c_\ 0101_3^10 - 3328501397430464333559056087793016166432041009384188205\ 879107707/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^9 - 51876367020287885206822874629098123246822672635207\ 20928458183553/4008605689693676459114884644104897461976407950657845\ 05594391*c_0101_3^8 + 978699064227281504296285505602945869465998793\ 556347189183380477/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^7 + 13182904270067013985384476694610468774544\ 62599156106579325367889/4008605689693676459114884644104897461976407\ 95065784505594391*c_0101_3^6 + 324740448953781080882443637830828928\ 055845637176566389391713849/400860568969367645911488464410489746197\ 640795065784505594391*c_0101_3^5 - 374516899772892907616596500968589063656932949031091855248283686/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 4 - 168887801231844809530362026962238163609654792312753769344656099\ /400860568969367645911488464410489746197640795065784505594391*c_010\ 1_3^3 + 52029766667407492238721402849899150218746750171458500875995\ 129/400860568969367645911488464410489746197640795065784505594391*c_\ 0101_3^2 + 12496359759522261835230672663442637986995523509782714886\ 573971/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3 - 2218921221474556154804928820954753443633701872405579652\ 886814/400860568969367645911488464410489746197640795065784505594391\ , c_0011_3 - 293628573533017783847933366228526315783093772610361236371162\ 3/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^31 - 120125623100136983472219314039405554383965000821132193680\ 69119/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^30 + 41469221662756147708088696329968395221494103331055650\ 463361071/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^29 + 8537244304615105050953026201788497869091758866178\ 4329639571907/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^28 + 148985382828543642779993559747112003135543482\ 32989956997279883/4008605689693676459114884644104897461976407950657\ 84505594391*c_0101_3^27 - 62609364011610486707075383999385236405993\ 6742797470211728051692/40086056896936764591148846441048974619764079\ 5065784505594391*c_0101_3^26 + 667905930282442190067608874508608619\ 956303044391275116828611644/400860568969367645911488464410489746197\ 640795065784505594391*c_0101_3^25 + 188770055125013830540494449902904248972604563439496011271897742/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 24 - 10461511303991208231283715636181931333415952421312674242641999\ 54/400860568969367645911488464410489746197640795065784505594391*c_0\ 101_3^23 + 27731115235832382614503534807592674805566224636041240317\ 7774364/40086056896936764591148846441048974619764079506578450559439\ 1*c_0101_3^22 + 573114769564389926865567236755188678936815803432579\ 8306722106353/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^21 - 113429818895536945497077121309022020335207728\ 98377701845364981567/4008605689693676459114884644104897461976407950\ 65784505594391*c_0101_3^20 - 10382266748041961233580651044740707266\ 540331050870972881321047319/400860568969367645911488464410489746197\ 640795065784505594391*c_0101_3^19 + 43114528693246028993727071001241469806063111746391829918441831424/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^18 - 600523151201882408875907414607094432248080467747672294799879\ 8523/400860568969367645911488464410489746197640795065784505594391*c\ _0101_3^17 - 603550856108981171562377698676051179964211614425574211\ 68322860812/4008605689693676459114884644104897461976407950657845055\ 94391*c_0101_3^16 + 10519735722945796859282759555438262288316947074\ 114336274146899871/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^15 + 7449952774307718319727828330285008539500\ 1934115974520274052995969/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^14 - 139176117469193749106698429706417\ 49812980668959246611707621205389/4008605689693676459114884644104897\ 46197640795065784505594391*c_0101_3^13 - 75763370578461534584722246323014776558708027781356478608036633705/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^12 + 297666098298419891746007000743786634876255000608836632060162\ 45858/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^11 + 41404996674386384134345371333404872066075072807647079\ 518531473689/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^10 - 2420231509914040309173021110593901268677904771\ 2739641355605490393/40086056896936764591148846441048974619764079506\ 5784505594391*c_0101_3^9 - 1081335830312355963499290224051082661436\ 2198104765306844607801202/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^8 + 7613266077186173468620371138949695\ 796573595273713863512937716774/400860568969367645911488464410489746\ 197640795065784505594391*c_0101_3^7 + 2793938274613902115910276682776302429829440751028115123707645459/40\ 0860568969367645911488464410489746197640795065784505594391*c_0101_3\ ^6 - 66366569324756157776402346908805906750568488171909297337690996\ 0/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^5 - 1386638212961147058044869657460709536503981380468862709209\ 112726/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^4 - 77767203003315295645232488626434277077273624465037149\ 529050265/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^3 + 33744185888027675738989876855036058728053092565886\ 7378394632791/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^2 + 1032914966634330313329003114702259637301670313\ 6211857289593727/40086056896936764591148846441048974619764079506578\ 4505594391*c_0101_3 - 213545549324775886698021548733442012025325364\ 89926876794730985/4008605689693676459114884644104897461976407950657\ 84505594391, c_0011_4 + 191074831203032925566957925694151305112442042499292385771836\ 7/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^31 + 103355171895882853097312082416211101030102057462762958530\ 74027/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^30 - 15087496983225490606002912157428976420679683720645165\ 868508537/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^29 - 8358331465104995497660851550453670148306869879022\ 6699619878638/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^28 - 100633187365998296794229797790684238531403930\ 563665574293103392/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^27 + 3369863361869608681361919259395186564163\ 35942060061001410243869/4008605689693676459114884644104897461976407\ 95065784505594391*c_0101_3^26 + 57504347565705526596999003976894806\ 358791251963517170742333833/400860568969367645911488464410489746197\ 640795065784505594391*c_0101_3^25 - 384280021043972993791246744073611163023917715907644082802751486/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 24 + 35473192781989685827956612207048085787641835812710628779424869\ 6/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^23 + 509905508217295556950156178179247018503010436907328063003\ 280486/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^22 - 3531966395260350052534279389661259938102889317916605\ 714371203694/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^21 + 2593782298882333445032674881991105758122655162\ 738310126470549799/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^20 + 1345359843657519331887580206222677899771\ 6418274341768691476192154/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^19 - 149239503316874081321642856196627\ 50152832167836102909838289586165/4008605689693676459114884644104897\ 46197640795065784505594391*c_0101_3^18 - 24740153119509624837465734035658011440808973792768180279773655214/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^17 + 263329741495030080313552309439004705040292422676383107109716\ 51682/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^16 + 36634166563399647665291316217189027229100222958248788\ 432534266894/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^15 - 3001799261788478956501942667293950093856737038\ 3017421606185810942/40086056896936764591148846441048974619764079506\ 5784505594391*c_0101_3^14 - 429921642696138960979129009643719779557\ 44730536692575356424017071/4008605689693676459114884644104897461976\ 40795065784505594391*c_0101_3^13 + 28310122729237783452780699875707347456123905078504581643251722593/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^12 + 321632448765772198548199009500314440528670953901401166791447\ 31595/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^11 - 19901592224316491759477519381226570720347462772222177\ 390620687039/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^10 - 1512357268208334576674278104205551297158274028\ 9825046509621491904/40086056896936764591148846441048974619764079506\ 5784505594391*c_0101_3^9 + 8236202511856851622374462488067448895797\ 223691324456286656728780/400860568969367645911488464410489746197640\ 795065784505594391*c_0101_3^8 + 49739888864135040894698635621465303\ 32931371272536348190447685022/4008605689693676459114884644104897461\ 97640795065784505594391*c_0101_3^7 - 2017123762863281291373601215046392331124360501255447370464902896/40\ 0860568969367645911488464410489746197640795065784505594391*c_0101_3\ ^6 - 20779408347841051056866535488959177316623130413288669618448799\ 04/400860568969367645911488464410489746197640795065784505594391*c_0\ 101_3^5 - 124896948680882966131296050856273282639386764787353955053\ 748799/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^4 + 58739195371850043141496117498491638642879714549648690\ 1936540174/40086056896936764591148846441048974619764079506578450559\ 4391*c_0101_3^3 + 1837421056630773600475462005151320171132047132788\ 64945217418641/4008605689693676459114884644104897461976407950657845\ 05594391*c_0101_3^2 - 385937487631854084016404875833039086913498590\ 17660945773683490/4008605689693676459114884644104897461976407950657\ 84505594391*c_0101_3 - 14705799393669283269680404764018926362984520\ 974846775342836479/400860568969367645911488464410489746197640795065\ 784505594391, c_0011_5 - 280921517414699852902698389913921330333669442179378606493764\ 8/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^31 - 128484603595605115278432863158631311798207549799869616138\ 89515/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^30 + 33277440346542918596021297545147690129344973913147791\ 091358136/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^29 + 9679810906889370146015742275864017913799290066702\ 7633010758839/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^28 + 631049847711985709474029811034369154090446039\ 25789572052728338/4008605689693676459114884644104897461976407950657\ 84505594391*c_0101_3^27 - 56128967647677239196304044126879928055704\ 6878969808239976272835/40086056896936764591148846441048974619764079\ 5065784505594391*c_0101_3^26 + 373954645584746762355470750012771966\ 277492603705314807352710858/400860568969367645911488464410489746197\ 640795065784505594391*c_0101_3^25 + 322833498114119690148424336649090690364241634331898902097296629/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 24 - 82713785859311317671831410018198501450408497911609349554563521\ 6/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^23 - 105841212407716940380529375018320059484664371549042341239\ 899795/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^22 + 5378360921678618639793275339634896881555373257046977\ 864628447770/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^21 - 8275380694074739973446275407161965206918421809\ 088139743362112145/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^20 - 1355215717444309613727383383459717940215\ 6058835715161025643231578/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^19 + 342082839330495040324953055072240\ 98297621446394778694669678745651/4008605689693676459114884644104897\ 46197640795065784505594391*c_0101_3^18 + 9695223057028291732115989044023858182371736274664171308352700180/40\ 0860568969367645911488464410489746197640795065784505594391*c_0101_3\ ^17 - 5086862848826113535117848549403468925291707619121864737451145\ 1444/400860568969367645911488464410489746197640795065784505594391*c\ _0101_3^16 - 133150639220656469045185733623470482152125726185990287\ 86955289365/4008605689693676459114884644104897461976407950657845055\ 94391*c_0101_3^15 + 61429757297736099292211582335527958129088242888\ 750640805723258730/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^14 + 1469670711116394658306998958995794925197\ 1273639583370438292365073/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^13 - 613062376330347258718300870536249\ 99034527575231910668555440902588/4008605689693676459114884644104897\ 46197640795065784505594391*c_0101_3^12 + 758739558710159305235252330746491486944908740130496879676699664/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 11 + 35927268785137060137555699564367048461278514474808730623763502\ 368/400860568969367645911488464410489746197640795065784505594391*c_\ 0101_3^10 - 6590261219055785341734065586522552132634530440613291532\ 104260784/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^9 - 11014898392287114559335504562370005856645793542933\ 447127680643618/400860568969367645911488464410489746197640795065784\ 505594391*c_0101_3^8 + 19576247581912868645368334962461098344301759\ 22140710208826339959/4008605689693676459114884644104897461976407950\ 65784505594391*c_0101_3^7 + 277938923596403739468260004346207055953\ 4319116954995087809120692/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^6 + 7182446434531557835748618914124542\ 78580841566570949787870104288/4008605689693676459114884644104897461\ 97640795065784505594391*c_0101_3^5 - 777193494995721287323471215316823518898633406152694229500191096/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 4 - 364368198892243194641825451135032158819606819092902671196942059\ /400860568969367645911488464410489746197640795065784505594391*c_010\ 1_3^3 + 10587726374438952912106824835623735548459675035817457513684\ 5923/400860568969367645911488464410489746197640795065784505594391*c\ _0101_3^2 + 2682425699224324673949480341841894310130712250802340118\ 5954340/40086056896936764591148846441048974619764079506578450559439\ 1*c_0101_3 - 493281857045707952872034196621670378802244028465978079\ 0806955/40086056896936764591148846441048974619764079506578450559439\ 1, c_0101_0 + 375935259214646459000461504001783854822918595957209407034813\ 6/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^31 + 180961247445136228590473306539652341280432230135733287607\ 58758/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^30 - 40169948530354714244352467973115183888174234841211651\ 691588768/400860568969367645911488464410489746197640795065784505594\ 391*c_0101_3^29 - 1391565197578649525599104307232360743658422603648\ 25054394307983/4008605689693676459114884644104897461976407950657845\ 05594391*c_0101_3^28 - 11838328668066057294848189176077901118784532\ 5054927343563378868/40086056896936764591148846441048974619764079506\ 5784505594391*c_0101_3^27 + 723059920104630803702681665997489862476\ 960519121506529389625905/400860568969367645911488464410489746197640\ 795065784505594391*c_0101_3^26 - 3254094251334303290587600589792632\ 85903396756316926254589933216/4008605689693676459114884644104897461\ 97640795065784505594391*c_0101_3^25 - 505332627848048364689876837198039001932016714615479734150369133/400\ 860568969367645911488464410489746197640795065784505594391*c_0101_3^\ 24 + 96771407148490252330833127252738079428165002753169238171156941\ 2/400860568969367645911488464410489746197640795065784505594391*c_01\ 01_3^23 + 389673994608486359439821404860273678553695820420987386650\ 113780/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^22 - 7100005404497296019179562254826119433460144555075646\ 584007176288/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^21 + 9351815454820407642681024534997659039341848964\ 832967753527597030/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^20 + 2034775250468488650886072887492405406569\ 4468560966598940266832016/40086056896936764591148846441048974619764\ 0795065784505594391*c_0101_3^19 - 406973353947117924429971886898361\ 14907481521986978010027082251474/4008605689693676459114884644104897\ 46197640795065784505594391*c_0101_3^18 - 22934506052503541729176060515760368422413905935619807518680775726/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^17 + 621266575551530769448501652858645742922633769235708942900760\ 95981/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^16 + 33651134086906423548172534824505931855142848336754134\ 278996085637/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^15 - 7404888741040659484383103990177872098686871018\ 7200123942124641065/40086056896936764591148846441048974619764079506\ 5784505594391*c_0101_3^14 - 384769247493069159877163819497569463344\ 92037843942177213711884438/4008605689693676459114884644104897461976\ 40795065784505594391*c_0101_3^13 + 72593543395828956735598877565029705675544935918778182053619119008/4\ 00860568969367645911488464410489746197640795065784505594391*c_0101_\ 3^12 + 177455152123407363338342900064344694092354560156146513635476\ 82051/400860568969367645911488464410489746197640795065784505594391*\ c_0101_3^11 - 43739218025888374682933525042238907413154775647091806\ 172343882624/400860568969367645911488464410489746197640795065784505\ 594391*c_0101_3^10 - 3037937330925636937152675684881685695787715865\ 786374361364784069/400860568969367645911488464410489746197640795065\ 784505594391*c_0101_3^9 + 14462471367940388634343989982216944499243\ 795558616836591514675735/400860568969367645911488464410489746197640\ 795065784505594391*c_0101_3^8 + 13988734222798599908021431134030384\ 73902612222708742248932554206/4008605689693676459114884644104897461\ 97640795065784505594391*c_0101_3^7 - 3691071610604686387651375430385498351497557461220545610661576326/40\ 0860568969367645911488464410489746197640795065784505594391*c_0101_3\ ^6 - 19252843230539131897860727018511152614958996704242576677790139\ 99/400860568969367645911488464410489746197640795065784505594391*c_0\ 101_3^5 + 616381326064098132273613980102731010843918133345309998968\ 487548/400860568969367645911488464410489746197640795065784505594391\ *c_0101_3^4 + 67261775174924347852410689361146557201580281461287643\ 4967722364/40086056896936764591148846441048974619764079506578450559\ 4391*c_0101_3^3 + 2558711026930349668452944768885790255023249573679\ 8444253959186/40086056896936764591148846441048974619764079506578450\ 5594391*c_0101_3^2 - 4625377828593634537703362119352125088695037118\ 6586063509776099/40086056896936764591148846441048974619764079506578\ 4505594391*c_0101_3 - 532056456096763604737074406111274913355531954\ 9273584138964505/40086056896936764591148846441048974619764079506578\ 4505594391, c_0101_3^32 + 5*c_0101_3^31 - 10*c_0101_3^30 - 40*c_0101_3^29 - 36*c_0101_3^28 + 194*c_0101_3^27 - 45*c_0101_3^26 - 192*c_0101_3^25 + 256*c_0101_3^24 + 177*c_0101_3^23 - 1927*c_0101_3^22 + 2121*c_0101_3^21 + 6278*c_0101_3^20 - 10395*c_0101_3^19 - 9190*c_0101_3^18 + 17817*c_0101_3^17 + 13012*c_0101_3^16 - 21650*c_0101_3^15 - 15339*c_0101_3^14 + 21754*c_0101_3^13 + 9928*c_0101_3^12 - 15046*c_0101_3^11 - 3426*c_0101_3^10 + 6216*c_0101_3^9 + 938*c_0101_3^8 - 1709*c_0101_3^7 - 671*c_0101_3^6 + 274*c_0101_3^5 + 291*c_0101_3^4 - 5*c_0101_3^3 - 43*c_0101_3^2 - c_0101_3 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB