Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1646526227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3023 geometric_solution 6.19450125 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.786889650654 0.518201851370 0 2 3 0 0132 0132 0132 3201 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 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597511192095 0.750443714154 4 1 5 6 0132 0132 0132 0132 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 -1 0 1 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.151943597302 0.828872314991 5 6 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151943597302 0.828872314991 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.119342504484 0.813846915507 5 3 5 2 2310 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635712827202 1.251022607981 6 6 2 3 1230 3012 0132 3201 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.189295696860 0.689618839726 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2057724448304774457641358250963216963781594514531353526919893938935\ 91414/7037607960948021385001692895275611180468605948213576491518758\ 6174271473*c_0101_4^29 - 145693178321159998280152971408109863231739\ 4909382691063487883081072873578/70376079609480213850016928952756111\ 804686059482135764915187586174271473*c_0101_4^28 + 6528177221672420904721009775486701858316176420440296275077429092150\ 509805/703760796094802138500169289527561118046860594821357649151875\ 86174271473*c_0101_4^27 + 70561320875160589541066814542408845391593\ 238149413403989772351811233096490/703760796094802138500169289527561\ 11804686059482135764915187586174271473*c_0101_4^26 + 7226388048948491912824525278434738205479115428428136816823351980437\ 2581453/70376079609480213850016928952756111804686059482135764915187\ 586174271473*c_0101_4^25 - 6777533963558384160029355626188740160231\ 64774674861964196530940454332997099/7037607960948021385001692895275\ 6111804686059482135764915187586174271473*c_0101_4^24 - 2045687302852509459850622175739636345955111154509974617252094645466\ 987323820/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^23 - 21718947047356938204371050433463705299\ 2862341944986461297784780124496684262/70376079609480213850016928952\ 756111804686059482135764915187586174271473*c_0101_4^22 + 8135338241613086418548221219245623234913066820364348903100403346944\ 706374504/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^21 + 15686481057305632322238184917471963616\ 536183300458309506067631980124028341685/703760796094802138500169289\ 52756111804686059482135764915187586174271473*c_0101_4^20 + 8305584182144987151736130682832013406882432272648400033241771155206\ 639790158/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^19 - 15854658073088577184573840605523885999\ 749172351815434116161536339796633607741/703760796094802138500169289\ 52756111804686059482135764915187586174271473*c_0101_4^18 - 3848673083380499947768954223337037008711002146016727075484221936116\ 9456737089/70376079609480213850016928952756111804686059482135764915\ 187586174271473*c_0101_4^17 - 3658392110003502478089526361250083617\ 2276419022093430765454195487548944110582/70376079609480213850016928\ 952756111804686059482135764915187586174271473*c_0101_4^16 - 7652251269914986622388949263370479593091053915726373398141876297746\ 994374755/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^15 + 23189523474659998479998284475523373963\ 772853734542105012124543623533660961187/703760796094802138500169289\ 52756111804686059482135764915187586174271473*c_0101_4^14 + 3092764526952052139554716387928203639388615835967133667964048639084\ 6116661485/70376079609480213850016928952756111804686059482135764915\ 187586174271473*c_0101_4^13 + 1865939331631901210740354204009397090\ 0355049754024947667903866892977367156466/70376079609480213850016928\ 952756111804686059482135764915187586174271473*c_0101_4^12 + 5470483828674027992012159953101507548326092762525365732966416607002\ 998594228/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^11 - 10315707788196459657542107618562122598\ 7104367569708325583123058017247891167/70376079609480213850016928952\ 756111804686059482135764915187586174271473*c_0101_4^10 - 1404503103347721012695685206301506915897756843248220905875871380105\ 020026004/703760796094802138500169289527561118046860594821357649151\ 87586174271473*c_0101_4^9 - 155821400502956306280678002794799453485\ 8927638466299777451395765679241963677/70376079609480213850016928952\ 756111804686059482135764915187586174271473*c_0101_4^8 - 9666173098882447402744670904517756485270165129188542576691445144199\ 81065148/7037607960948021385001692895275611180468605948213576491518\ 7586174271473*c_0101_4^7 - 2003361295465379446676960807773983101287\ 57165398209888337700555891875049538/7037607960948021385001692895275\ 6111804686059482135764915187586174271473*c_0101_4^6 + 7124366409651407066967616603257767000346392391669479353748085213076\ 6120982/70376079609480213850016928952756111804686059482135764915187\ 586174271473*c_0101_4^5 + 16071467353426516280550688590135617597659\ 167663981860055037893965120947002/703760796094802138500169289527561\ 11804686059482135764915187586174271473*c_0101_4^4 - 1995255514968187148518845736861973410408010038360329602997648511023\ 2770972/70376079609480213850016928952756111804686059482135764915187\ 586174271473*c_0101_4^3 - 33668528827669676118640232625943885427665\ 64173596409183767647711347319185/7037607960948021385001692895275611\ 1804686059482135764915187586174271473*c_0101_4^2 + 3047926764843184849767360393741240902258966425151806542247938087857\ 021571/703760796094802138500169289527561118046860594821357649151875\ 86174271473*c_0101_4 + 33854169270188965317075974194195123403134982\ 9269915442738191613482925016/70376079609480213850016928952756111804\ 686059482135764915187586174271473, c_0011_0 - 1, c_0011_3 - 319912662869125294437787233573760427132026013383700993048735\ 8531140435/37040041899726428342114173133029532528782136569545139429\ 04609798645867*c_0101_4^29 + 28192930276589068442611434291006613486\ 59055210195093903855800902555717/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^28 + 1494621193271282003750753092339754998358520461503567517783549610703\ 47412/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^27 - 1314248979252351879182587962422498463721115\ 7099432201228363742714322560/37040041899726428342114173133029532528\ 78213656954513942904609798645867*c_0101_4^26 - 1877264077239496130075005904980437560374771278773086225184841152333\ 039679/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^25 - 154288345018684664310711140150725502629753\ 0538452708382285262360928649725/37040041899726428342114173133029532\ 52878213656954513942904609798645867*c_0101_4^24 + 8767504945379270877803998575320969874142870023383063380723545106227\ 812912/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^23 + 163025630802962923507682908795828645378008\ 62550633224578682863767343527970/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^22 - 6138526525781687026422003740770271917588908320412328158794689417642\ 709973/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^21 - 472048981072482782247023154373959716113603\ 98149266991862469682140140826044/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^20 - 5484342266769095820173764898128944421511963250818949020176314807052\ 7479783/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^19 + 26415745215435444708337147082152791008698\ 7793917781198775077323921893378/37040041899726428342114173133029532\ 52878213656954513942904609798645867*c_0101_4^18 + 8328585899782578705079626935843721766672693798409182594567722967184\ 2676237/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^17 + 11382023587254900341252202361960914835494\ 8322444428301262933067837241814662/37040041899726428342114173133029\ 53252878213656954513942904609798645867*c_0101_4^16 + 5168189981228531972699408758496071730879465660419815228117507822239\ 5859053/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^15 - 38399226937024088843807155353963021522080\ 513023035676914040084265858966405/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^14 - 7017086891397939318504038702331129070659906625416964886844744919557\ 2003632/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^13 - 45935703215602169001180439987181166254536\ 797193835251026565241242119135003/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^12 - 1827499066454396633111045634275355807677596150179690444281191786564\ 9429653/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^11 - 60884979857066714807978103932399551182591\ 33267274584509787420625279379762/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^10 + 5495012614979124772947825202979976745749950078350635622773185700714\ 8350/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^9 + 344080400776370650322151368319689516316122411\ 9698627445667457708442491684/37040041899726428342114173133029532528\ 78213656954513942904609798645867*c_0101_4^8 + 2661708120654167787418180321442409287345269029708702496047049082272\ 697210/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^7 + 6269296866985271148442496574827906343934468\ 59363819256826294507842898594/3704004189972642834211417313302953252\ 878213656954513942904609798645867*c_0101_4^6 + 2004424865387201169468711248837709136324843746404097945964395782453\ 2592/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^5 + 110206235456844789605165906352478467287415265\ 879023559383318474785108858/370400418997264283421141731330295325287\ 8213656954513942904609798645867*c_0101_4^4 + 7341595095131115635741885486742234688998535681611820486089523969336\ 0390/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^3 - 545996246813591010245474659488199270283151095\ 8092518286161621796493837/37040041899726428342114173133029532528782\ 13656954513942904609798645867*c_0101_4^2 - 4732169092291411264750592884621224240983296526894581273460395555330\ 412/370400418997264283421141731330295325287821365695451394290460979\ 8645867*c_0101_4 + 241560296616103229955713852625446631728631945625\ 0978029444579022033430/37040041899726428342114173133029532528782136\ 56954513942904609798645867, c_0011_6 + 141748025599646393588639416656489352389093099757668316044572\ 5170213154/37040041899726428342114173133029532528782136569545139429\ 04609798645867*c_0101_4^29 - 56975514569841717457351335405147599705\ 90157826182980965026654013211378/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^28 - 7214565592467677484626641422319821626353509661940401564558501870042\ 5681/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^27 + 20114585709302027610456512134279941471322165\ 1713333184063890743676094168/37040041899726428342114173133029532528\ 78213656954513942904609798645867*c_0101_4^26 + 1247001691919292443943773390271386786141635516162540507374668105747\ 764041/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^25 - 103552824402835156420491520621146642595783\ 5211834066635265101304078528839/37040041899726428342114173133029532\ 52878213656954513942904609798645867*c_0101_4^24 - 9913747297215806379452352740274476369077494174921502810142640916044\ 374929/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^23 - 810430286272220500419021958261068100836598\ 5255899108578260297873223667312/37040041899726428342114173133029532\ 52878213656954513942904609798645867*c_0101_4^22 + 2452454035529871438448438534854581244531798381180970455546012234037\ 2782347/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^21 + 60599166911573850799628808168381717297571\ 791662181073674489388360010929531/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^20 + 4221527166658924022525516844447894032890434408209568787886142217301\ 3829921/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^19 - 42687045333372762604173443558922896075626\ 741239813486795405718664237691454/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^18 - 1307970615333740771642831113378923058900628342114435581023391847907\ 94858785/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^17 - 1329643992301996286691929276317537367405\ 43019604791725332323914177387309451/3704004189972642834211417313302\ 953252878213656954513942904609798645867*c_0101_4^16 - 3326554957613796951711127332843784782240092580435428093456546882161\ 0808469/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^15 + 73592465073914957259137717545938695574392\ 813069554204537580837198928475672/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^14 + 9756446948050032308272368110888107655416473237310174325932691451900\ 3221471/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^13 + 58394449884464263079033407126229158834409\ 708146751878604925782595676920775/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^12 + 2147406799778778081278504937019355335969500041980076365426395589064\ 1267128/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^11 + 55693678866628232667452751735429293142971\ 63029748047208892119677437124520/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^10 - 1855993480154687181880762486313180071359575081969529340882137899035\ 504712/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^9 - 4934009318369846496157300041825743159403361\ 677689194300803204168233611815/370400418997264283421141731330295325\ 2878213656954513942904609798645867*c_0101_4^8 - 3195464544778130168741767242834897194609017874750589577721225802829\ 803004/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^7 - 6680675656673867972902475984004690534716701\ 11499584413311689023596259985/3704004189972642834211417313302953252\ 878213656954513942904609798645867*c_0101_4^6 - 2391542420300380559124884755708224148708504999142007430150222834386\ 3848/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^5 - 145461323393460761421051236135582248969002338\ 699111139443311740573334011/370400418997264283421141731330295325287\ 8213656954513942904609798645867*c_0101_4^4 - 8616477175140459232828251036377033582771370618710572121050191577629\ 6092/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4^3 + 908526936507570211449478701151891942929793012\ 3086157234695462711915983/37040041899726428342114173133029532528782\ 13656954513942904609798645867*c_0101_4^2 + 4240272210042131821417376571763813775811462259181981354721726534218\ 175/370400418997264283421141731330295325287821365695451394290460979\ 8645867*c_0101_4 - 209302030129069689325264800947647661455453499619\ 6617345308168501525229/37040041899726428342114173133029532528782136\ 56954513942904609798645867, c_0101_0 - 786555567115636222971253330080943261483960460411455084865713\ 7906918550/37040041899726428342114173133029532528782136569545139429\ 04609798645867*c_0101_4^29 - 25461417369104324902131629357693883560\ 870410511635540643164098003427312/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^28 + 3234344640808087608475261155142448564759382597023410428876494925522\ 29340/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^27 + 1392006900420978988026059855649557195895656\ 989920088943515214442713495177/370400418997264283421141731330295325\ 2878213656954513942904609798645867*c_0101_4^26 - 1551304223985807011699941855243646765861250515066104472216400491345\ 929994/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^25 - 163663830804321673977563014637906987207931\ 36945621302242639717523215796004/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^24 - 2282042720959310998944117576516214745476509981142817754376725905443\ 2512475/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^23 + 33769857832248400415902553953490099777193\ 798019232624124217766394408402947/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^22 + 1459755225837755746513114962531798974010044030778917367481506626991\ 17151195/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^21 + 1752059170339994374523588676787071655662\ 62769523789651328255625272478549395/3704004189972642834211417313302\ 953252878213656954513942904609798645867*c_0101_4^20 - 7179242794709029058312609462741915040070022701780799461091324990006\ 415131/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^19 - 319091438842777317302435699617340017979243\ 692676445312156418200097079973957/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^18 - 4896714326106443771100453966373597271670584862305399596065745032088\ 29859238/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^17 - 3201915485829006710826160006878687916234\ 01261441282551139065481092030147751/3704004189972642834211417313302\ 953252878213656954513942904609798645867*c_0101_4^16 + 7033679526739894577042545972579394752152844008203063564074354197245\ 4184205/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^15 + 34263791595973933664872451735584943073526\ 8609797293361194917581119983669594/37040041899726428342114173133029\ 53252878213656954513942904609798645867*c_0101_4^14 + 3248794973481964050707037092176123563211827191808489795922675473257\ 66184141/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^13 + 1588403112580467784488782694674206417014\ 82804819310983485275084258581141989/3704004189972642834211417313302\ 953252878213656954513942904609798645867*c_0101_4^12 + 3602016606151037105710408035040971299495806803535003693420813846484\ 5667317/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^11 - 87850175791464967754230760681699501847433\ 08738353966574298123352919634544/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^10 - 1974696771239244207459989233665127292936110627716551620128588855929\ 3170972/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^9 - 174653352653722862681345846840400248023048\ 86310329319375854682232812705989/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^8 - 7728935633154577084550128387534352988657875801237305899305946617945\ 130551/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^7 - 4266323296125570208577650697964215442009160\ 16051294337994712711789266788/3704004189972642834211417313302953252\ 878213656954513942904609798645867*c_0101_4^6 + 7820417488513227073939861892409958618311637141744553439942447185179\ 53459/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^5 - 26618520850954296808794211576639842071686660\ 286171390204392190490535453/370400418997264283421141731330295325287\ 8213656954513942904609798645867*c_0101_4^4 - 1638283887260731527853349279126216323126209334017533140317425605799\ 86821/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^3 - 34242876036289914103941391191057148602204424\ 78822782744246982205045818/3704004189972642834211417313302953252878\ 213656954513942904609798645867*c_0101_4^2 + 1263652971529061795218303181188995609310084136295661635500391219852\ 1351/37040041899726428342114173133029532528782136569545139429046097\ 98645867*c_0101_4 - 77941090753868954333702529705032467616102798847\ 6522148712563258005580/37040041899726428342114173133029532528782136\ 56954513942904609798645867, c_0101_1 - 373702699805800567050651755785339685995508880655972097971730\ 7015890788/37040041899726428342114173133029532528782136569545139429\ 04609798645867*c_0101_4^29 - 98611975386908260181293129955605335145\ 66741430516630707617252095013553/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^28 + 1541830352628768507303378063607888712861494844035674693224757335917\ 31418/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^27 + 5607472439060199671910846851449261369706337\ 48966529431491232975846927719/3704004189972642834211417313302953252\ 878213656954513942904609798645867*c_0101_4^26 - 8366996964784684744848871331378902959474864530217371097004946771253\ 14506/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^25 - 6719609910855916982230554332581260513859214\ 367282952662699655438098488645/370400418997264283421141731330295325\ 2878213656954513942904609798645867*c_0101_4^24 - 8835102807771633318358009415450566493275824290787897582902715011443\ 107185/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^23 + 135153392755909557896325150747370753461611\ 86717573671344653367522538182758/3704004189972642834211417313302953\ 252878213656954513942904609798645867*c_0101_4^22 + 5900533350223633167848830059113218060622752241324754611797273150493\ 8528810/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^21 + 75061494466342557871215072508829312522330\ 807588964175021362011125032965876/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^20 + 4988459525404934224813972873398146375763139171128196593048428992596\ 917014/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^19 - 126435623953815801728516762068085363539019\ 079644556845493409466313633176776/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^18 - 2089628239796507851814661482346322871519249999061707193078082734748\ 82377737/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^17 - 1522070581645936398549587030915348227040\ 42122515528701387892171511290900070/3704004189972642834211417313302\ 953252878213656954513942904609798645867*c_0101_4^16 + 8219923253944332639899240807393995688537357113067465436950425207194\ 997714/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^15 + 136680417577635315757956754279106463766081\ 570309349095115074446430877100871/370400418997264283421141731330295\ 3252878213656954513942904609798645867*c_0101_4^14 + 1463647617914546293897263567071688965592341298694192155103756018365\ 89559648/3704004189972642834211417313302953252878213656954513942904\ 609798645867*c_0101_4^13 + 8033167712468987315078147527295873006391\ 5036389193999075217400979903370985/37040041899726428342114173133029\ 53252878213656954513942904609798645867*c_0101_4^12 + 2316450304330589892906705353363632820787718593853463373553230961848\ 8690286/37040041899726428342114173133029532528782136569545139429046\ 09798645867*c_0101_4^11 + 36256336155184520437735928817565443089888\ 9307715560759442403390632243888/37040041899726428342114173133029532\ 52878213656954513942904609798645867*c_0101_4^10 - 5866386877919592602068136861933146798062151529126301722564432410350\ 299327/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^9 - 6706811994768411370519000143790590370515330\ 061545516588531417211314760293/370400418997264283421141731330295325\ 2878213656954513942904609798645867*c_0101_4^8 - 3785989687110035126103951981386394760330549732613982211443447002741\ 381038/370400418997264283421141731330295325287821365695451394290460\ 9798645867*c_0101_4^7 - 6289284852081202302815953035306493816569124\ 85142345300575784948323088541/3704004189972642834211417313302953252\ 878213656954513942904609798645867*c_0101_4^6 + 1991415788998436583464819911529379534424135746302659301506293824242\ 46383/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^5 - 10857127396448745804692309656546658695831505\ 1031106848611247823994692950/37040041899726428342114173133029532528\ 78213656954513942904609798645867*c_0101_4^4 - 1381581909481438135185368481061679856518031899785303277388110053727\ 01783/3704004189972642834211417313302953252878213656954513942904609\ 798645867*c_0101_4^3 - 17198602319301536454637988323436685700294306\ 293127513941076192956417076/370400418997264283421141731330295325287\ 8213656954513942904609798645867*c_0101_4^2 + 9726583528956304623580804033793981368443782394750596757535570132071\ 274/370400418997264283421141731330295325287821365695451394290460979\ 8645867*c_0101_4 - 137262916397411854827134559332324505126102854268\ 6421622764034670975361/37040041899726428342114173133029532528782136\ 56954513942904609798645867, c_0101_2 - 40568655769298246465134164339642634576032545/200918531770892\ 98251351439069676035020566113*c_0101_4^29 - 42818709978269081623497649321845675326733451/2009185317708929825135\ 1439069676035020566113*c_0101_4^28 + 1798462749191967219103133220178276046078801893/20091853177089298251\ 351439069676035020566113*c_0101_4^27 + 3292717326525487092439205460427267042392429289/20091853177089298251\ 351439069676035020566113*c_0101_4^26 - 16819571116402252849374341709217911315317169553/2009185317708929825\ 1351439069676035020566113*c_0101_4^25 - 50610027154802537360627422333144453723273364848/2009185317708929825\ 1351439069676035020566113*c_0101_4^24 + 8117078280593470312580330269369511409188351369/20091853177089298251\ 351439069676035020566113*c_0101_4^23 + 201430014162455169104449537536475601896597174310/200918531770892982\ 51351439069676035020566113*c_0101_4^22 + 303865887817799439450042191691494416164498272885/200918531770892982\ 51351439069676035020566113*c_0101_4^21 + 59572510266520915215779292399782394639262879380/2009185317708929825\ 1351439069676035020566113*c_0101_4^20 - 433385764508454501043770396541595871402117321267/200918531770892982\ 51351439069676035020566113*c_0101_4^19 - 744828683447789859255994833453848281590202013248/200918531770892982\ 51351439069676035020566113*c_0101_4^18 - 508332954827287150788105635400824030781787375176/200918531770892982\ 51351439069676035020566113*c_0101_4^17 + 119887377610804095060144533190655313487208939698/200918531770892982\ 51351439069676035020566113*c_0101_4^16 + 541397881532963445051621814017113367420017973177/200918531770892982\ 51351439069676035020566113*c_0101_4^15 + 459511918100817713258491189348220890660994973774/200918531770892982\ 51351439069676035020566113*c_0101_4^14 + 175810583167736480901567756833614148825298010658/200918531770892982\ 51351439069676035020566113*c_0101_4^13 + 21317995732671682492778517582250201230471236541/2009185317708929825\ 1351439069676035020566113*c_0101_4^12 - 10592176463712947901221784409912227439168088484/2009185317708929825\ 1351439069676035020566113*c_0101_4^11 - 22801553061364421826695011807547056090426598883/2009185317708929825\ 1351439069676035020566113*c_0101_4^10 - 25223651746872043512451051215369673228238705031/2009185317708929825\ 1351439069676035020566113*c_0101_4^9 - 10077974811289543002717102351995431424129194408/2009185317708929825\ 1351439069676035020566113*c_0101_4^8 + 1705170408795306615395654015282207836134017951/20091853177089298251\ 351439069676035020566113*c_0101_4^7 + 1370720190077785300969756400283922271204113917/20091853177089298251\ 351439069676035020566113*c_0101_4^6 - 709776318722696285443041048461881862985139336/200918531770892982513\ 51439069676035020566113*c_0101_4^5 - 348110613798945371284190919970680086017546493/200918531770892982513\ 51439069676035020566113*c_0101_4^4 + 145311966860108772635782470776775082129119478/200918531770892982513\ 51439069676035020566113*c_0101_4^3 + 13650625735919651677980975767297089417440054/2009185317708929825135\ 1439069676035020566113*c_0101_4^2 - 41367907710749372733440188479263571721348553/2009185317708929825135\ 1439069676035020566113*c_0101_4 - 132343665662001830232802609528588\ 0356062438/20091853177089298251351439069676035020566113, c_0101_4^30 + 25/13*c_0101_4^29 - 563/13*c_0101_4^28 - 1554/13*c_0101_4^27 + 4412/13*c_0101_4^26 + 20795/13*c_0101_4^25 + 12067/13*c_0101_4^24 - 65205/13*c_0101_4^23 - 153952/13*c_0101_4^22 - 110235/13*c_0101_4^21 + 113174/13*c_0101_4^20 + 27572*c_0101_4^19 + 384598/13*c_0101_4^18 + 126068/13*c_0101_4^17 - 192852/13*c_0101_4^16 - 303945/13*c_0101_4^15 - 201953/13*c_0101_4^14 - 5329*c_0101_4^13 - 6481/13*c_0101_4^12 + 845*c_0101_4^11 + 1176*c_0101_4^10 + 10665/13*c_0101_4^9 + 2706/13*c_0101_4^8 - 640/13*c_0101_4^7 - 168/13*c_0101_4^6 + 264/13*c_0101_4^5 + 5*c_0101_4^4 - 33/13*c_0101_4^3 - 2/13*c_0101_4^2 + 3/13*c_0101_4 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB