Magma V2.19-8 Wed Aug 21 2013 00:16:00 on localhost [Seed = 1478374763] Type ? for help. Type -D to quit. Loading file "K13n4737__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4737 geometric_solution 11.72177023 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 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 0 0 0 0 1 0 -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 1.252027705221 1.723459826008 0 5 7 6 0132 0132 0132 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 0 1 -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.069746515209 0.698081703736 4 0 8 8 1302 0132 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 -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.541688975647 0.525572519644 9 10 10 0 0132 0132 3120 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.436218869411 0.953408574051 11 2 0 12 0132 2031 0132 0132 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 1 -1 -1 0 0 1 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.616735725810 0.477300940202 12 1 7 6 1230 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007101123196 1.078417548557 11 5 1 11 2310 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320341724245 0.888315184173 12 5 9 1 0132 3201 3012 0132 0 0 0 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 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.908514323595 1.140543610497 2 10 2 9 2310 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.577289389414 0.971374922041 3 7 11 8 0132 1230 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434601907866 0.677890490558 12 3 3 8 3120 0132 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436218869411 0.953408574051 4 9 6 6 0132 3201 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.640760822828 0.996178741887 7 5 4 10 0132 3012 0132 3120 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 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494777905023 0.399474858768 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_1001_1']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_1001_9']), 'c_1010_10' : negation(d['c_1001_0']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : 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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0101_7']), 'c_1100_8' : negation(d['c_0011_8']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0101_8, c_1001_0, c_1001_1, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1966758037945111634805035096265506893259344213061595554433865836919\ 56326196/3267507880061151518822565114750387495633804232652723920297\ 21999733141*c_1001_9^22 + 79783209272090753193727322346135028287193\ 5611907262317664586668005730999752/32675078800611515188225651147503\ 8749563380423265272392029721999733141*c_1001_9^21 + 3607312019316791230959957912894871843082536713006724412536593334831\ 6207375127/52280126080978424301161041836006199930140867722443582724\ 75551995730256*c_1001_9^20 + 91572857983215587423726814879663906537\ 22268787795271296027637713155544216217/4752738734634402209196458348\ 72783635728553342931305297497777454157296*c_1001_9^19 - 2391580539574572503550725092871302672976393114449165544911939822562\ 760952901/237636936731720110459822917436391817864276671465652648748\ 888727078648*c_1001_9^18 - 3407828850972982985667412227552294430226\ 6115898756674699634881283594501358152/32675078800611515188225651147\ 5038749563380423265272392029721999733141*c_1001_9^17 + 2843244119553888904817312857862578008454467723070535831947593549852\ 679799925/475273873463440220919645834872783635728553342931305297497\ 777454157296*c_1001_9^16 + 1054472868174829755772757056320614868620\ 592916918853088332518802779671903186193/522801260809784243011610418\ 3600619993014086772244358272475551995730256*c_1001_9^15 - 4694134062022823915078312129279027958871947514852093103914307470791\ 5016798703/13070031520244606075290260459001549982535216930610895681\ 18887998932564*c_1001_9^14 - 15767558742715699446806958649778546757\ 8170124255478242081944742846552971181543/13070031520244606075290260\ 45900154998253521693061089568118887998932564*c_1001_9^13 + 1676094571046770115672470339776102628020630870426822410010493810496\ 46994966083/2614006304048921215058052091800309996507043386122179136\ 237775997865128*c_1001_9^12 + 8267862244365969493929916090314382072\ 5732596528191548613242470061851331774035/26140063040489212150580520\ 91800309996507043386122179136237775997865128*c_1001_9^11 - 2196814609152145541723354566101350102477148889170725893799812255389\ 24100798343/5228012608097842430116104183600619993014086772244358272\ 475551995730256*c_1001_9^10 - 1026290260767658768140476268595386370\ 71238100224149755682466169746658095065905/5228012608097842430116104\ 183600619993014086772244358272475551995730256*c_1001_9^9 + 7833895206671297036169609270078901343203389596430193765991792815550\ 6530195635/52280126080978424301161041836006199930140867722443582724\ 75551995730256*c_1001_9^8 + 153889713399315340764570881778828358575\ 7842072485266816928451778334908938511/11881846836586005522991145871\ 8195908932138335732826324374444363539324*c_1001_9^7 - 5744681952482477814999947992655200272385002291990116930208815204532\ 289879947/261400630404892121505805209180030999650704338612217913623\ 7775997865128*c_1001_9^6 - 5019255136760254648442392491729213480098\ 645156069061116615531607828684891973/261400630404892121505805209180\ 0309996507043386122179136237775997865128*c_1001_9^5 - 2620882868565121682640895318896463804431630072324096467049862922583\ 017841741/522801260809784243011610418360061999301408677224435827247\ 5551995730256*c_1001_9^4 + 6473556889680895993188130232260247366730\ 98833662742337049443786755770779603/5228012608097842430116104183600\ 619993014086772244358272475551995730256*c_1001_9^3 + 2201834713488765435868535607076604762052410025906630707372583243780\ 09220607/5228012608097842430116104183600619993014086772244358272475\ 551995730256*c_1001_9^2 + 84387421112359954326176717610601750262472\ 482181502489063025161279747701729/522801260809784243011610418360061\ 9993014086772244358272475551995730256*c_1001_9 + 1101448333210564657872538789380321278492910461004325380963676782733\ 3031031/52280126080978424301161041836006199930140867722443582724755\ 51995730256, c_0011_0 - 1, c_0011_10 + 12968707431875115599628761060083072311028588693439345935388\ 50969384512/2970461709146501380747786467954897723303458393320658109\ 3611090884831*c_1001_9^22 + 310648360543348220564425007755652973590\ 5831186834889743044898939052352/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 + 6688716316869191807140341229695530592738644994740559896718275673933\ 627/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^20 + 18980484073618900362159188042912839812252428662\ 547645045542039422157992/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^19 - 8470961234310752269500761758283270195480200931361407826686813443350\ 8034/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 - 1721742720748302706691235997062223196224747952\ 61692842054894842193280580/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 + 3726996569680546481438870928659939544021110289460835466727395583558\ 59095/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^16 + 316549727838050788066118966271702090576771257\ 711680124945300231865471532/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^15 - 7732672327616987716180455304997502665191182563887311463189126005033\ 39004/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 620349360088005341509465026836852983342827781\ 32148199691121808976994922/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^13 + 4974635946000130160029713931696971193309717061880134610153216332610\ 41884/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 - 278917805344153356255612196660053668406314475\ 879311713901843059078348144/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^11 - 1179820415316302543513138758760179924429018509788446944019027047144\ 26065/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^10 + 131362870843705222703465032424085690594202345\ 242861859164603486784242991/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^9 + 5279620001046798354922320060477688848967937712494648241213934569945\ 4827/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^8 - 36830903935130535068757557889218799277709675506\ 291932758930595039975306/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^7 - 3088501529670899082045501652029704188615124173311548374838523827053\ 2880/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 + 13594764282035349535395255879130586330558248037\ 889932551088680085424164/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^5 + 6244924709603460643386989863836784797927098921818331497070719375312\ 71/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^4 + 1638669072314274221927955021195850027770054090345\ 77034651524488470859/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9^3 - 3769178438620800675686581144186608188404746507670287455873093009727\ 06/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^2 + 1172799886389709613635490105731074458271841701304\ 79671801944466679744/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9 - 225997930904735304646452056410042\ 49568336004865737090579049291628559/2970461709146501380747786467954\ 8977233034583933206581093611090884831, c_0011_11 - 37417738023678814544191473685282543965173546383542690253408\ 8788883456/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 1948958442148145769304769093296477079941\ 144993383232253093876539767168/297046170914650138074778646795489772\ 33034583933206581093611090884831*c_1001_9^21 - 5931851397125226649569423251955999312205312277524756658212946318639\ 136/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^20 - 16597111796758287297267257425213091054751931872\ 099649922682672754440370/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^19 - 6803091636951033890501641758383036766792258259626519956954714308640\ 224/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^18 + 74038884621075667607272973620337589137583898449\ 814111191124084553727372/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^17 + 6525441372118922429850259335394171446013521564967636144711250090898\ 6501/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^16 - 1475654163708427116846934014248866488546488203\ 20654525932835231698094005/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^15 - 1020364753145932223980083972129988381813617014668480935688949073273\ 38515/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 141089624708782976625052347063851700175912866\ 861561327860338303403733663/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 + 4702996009863697035906053836139542766141039380655897973393056556014\ 863/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^12 - 89980686736506492731362310738983355748838425126\ 121170126192418984262379/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^11 + 3691493701841623576372331952217778053032374477853507904343148878498\ 9509/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^10 + 3924260855687857126548429596190971111952976050\ 9508736811719813276217363/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^9 - 1097641049288613479146861783801244918439997000064969804068725177497\ 0680/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^8 - 14943052415721459297607540511660405318290647571\ 854866466072726839021446/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^7 - 6676306348234784470228871137026655135499050426441093201841443977448\ 84/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^6 + 3301180444054390170330232330674988301887054302235\ 588978854959725588924/297046170914650138074778646795489772330345839\ 33206581093611090884831*c_1001_9^5 - 9629774104563467955235525176148894666456021423485194682560952995323\ 11/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^4 + 2400863144667577356919349889284009268625304678349\ 472038468127690470/297046170914650138074778646795489772330345839332\ 06581093611090884831*c_1001_9^3 - 953420624383804263218583880643138\ 6557237101330152016223447004055897/29704617091465013807477864679548\ 977233034583933206581093611090884831*c_1001_9^2 - 3381169135750931619018160471824804917484850909791436049401961017105\ 0/29704617091465013807477864679548977233034583933206581093611090884\ 831*c_1001_9 - 1484109504626605809090963252260862706628561385084469\ 791790569372126/297046170914650138074778646795489772330345839332065\ 81093611090884831, c_0011_12 - 22448145253660790824627847917246488343666715713975841304418\ 76549922144/2970461709146501380747786467954897723303458393320658109\ 3611090884831*c_1001_9^22 - 757865488285171791979891349488095965487\ 5163048772584644961887873199360/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 - 4021239104163796831993405500488787992611404132030316495525099737266\ 0753/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^20 - 1131759015621221204020643718464819035934572709\ 09920928787312542061514259/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^19 + 8016927096542520423200134614120927092783383509199844378289530158444\ 8094/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 + 3459218328600014784647061315848362124455164844\ 05197999391922229548188954/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 - 5508000364338534495844523247398464286077293311290357798546152357997\ 19009/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 - 127971373550100676027096279189594079244976904\ 4676296353258257270566559513/59409234182930027614955729359097954466\ 069167866413162187222181769662*c_1001_9^15 + 6281943576817326086043353225732763487201438239430851038105673452021\ 95645/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 170321540206511985831841723052359224186394139\ 237643686774036924402872875/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 - 4876572430917986784635771643934146512422746094287308567252977216395\ 60110/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 + 151859273166901362091198796899468900068342519\ 461539993131064735256781335/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^11 + 3245556442195375408618834068631494349207381816516763502650955201893\ 89007/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^10 - 110241832324545616729849605044245541519966556\ 335438973759914206943753241/594092341829300276149557293590979544660\ 69167866413162187222181769662*c_1001_9^9 - 1258119915824568694069990797358728572077067887311163546975105537074\ 40129/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^8 + 3488293083026358848424958296359176641504945413\ 750732419777447761700376/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^7 + 2478411801226426937489825452837873625003490941501006317595701089808\ 6439/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 - 87032887006043777893695854025148320597574149717\ 41905813753857103347614/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 + 1555882477023396952976239501080913909923378544777554521738356134975\ 165/594092341829300276149557293590979544660691678664131621872221817\ 69662*c_1001_9^4 - 640936453135943991893767920462473274458905280442\ 781630113223880184151/594092341829300276149557293590979544660691678\ 66413162187222181769662*c_1001_9^3 + 5684024873037619121641550899705705552051016439982465856070278474849\ 51/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^2 - 2917292451057994125559359753135730700328948186067\ 06540079167484611179/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9 + 740507894762789375900064002620435\ 71925379617875036693380399147466727/5940923418293002761495572935909\ 7954466069167866413162187222181769662, c_0011_8 - 120201609137045178612867213421254180225465995664935538359866\ 0510236288/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 4109229491664385196516376080996414231765\ 213260441009369483411738781760/297046170914650138074778646795489772\ 33034583933206581093611090884831*c_1001_9^21 - 1098450683630651322588698774585959544847373786171715233339086540376\ 1422/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^20 - 3093682316075978258935780395755127355846615532\ 7464985975750354783896045/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^19 + 4113347068435529539785472802593190066755970077247120921230130833845\ 5646/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 + 1856160237038324173692823333390831559759815977\ 05831593135318452019624183/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 - 1387716427923165480204290872714996794050672631826282308551365585222\ 69593/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^16 - 341630367934788163966023213687271624056576272\ 634593970326734145170624308/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^15 + 3197447579614035480411355201761410209399645246008928083757023817211\ 22786/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 924206705941954491099509437386537820421983497\ 37971441546070865586977963/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^13 - 2497061716186299857434155706945069293921142818504705897394445255035\ 03948/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 + 749946676808385655859920296420682063536039120\ 60472953889750177951323658/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^11 + 8044294864620298548950517438437213277723345536186704213249724594798\ 4457/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^10 - 2412300369695608681489458081705929966297395145\ 8399198699803344922811798/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^9 - 3092472971020943150226027975026690669927196698102825327638137032600\ 5303/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^8 - 76408064727969507028489681008801754394275728387\ 8209064146842814500768/29704617091465013807477864679548977233034583\ 933206581093611090884831*c_1001_9^7 + 1261925671270645253296256564747440976807164972162810166975767679809\ 9274/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 - 37614094313371187761470456128894740532812854127\ 68669068622946286301813/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 + 5340764251235306540715675859861969941454353399963435377222987917549\ 66/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^4 - 4518384998317449779256462495895964506554755145804\ 87775539808078286152/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9^3 + 8089599641236410102768734346609885260129600500344140942908174110394\ 8/29704617091465013807477864679548977233034583933206581093611090884\ 831*c_1001_9^2 - 37012173365994173362216300253510011334349906772435\ 225668309144031616/297046170914650138074778646795489772330345839332\ 06581093611090884831*c_1001_9 - 92951787299727730191585082785788969\ 77614094260090349591711950775604/2970461709146501380747786467954897\ 7233034583933206581093611090884831, c_0101_0 + 285651614994130593702898641578614330237811791350147161718384\ 5910130656/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 + 1069848201475964269183676441523820929893\ 2352933565566024142103280947200/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 + 5882225136806764666203190614564450974566384108157967605900371708528\ 3085/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^20 + 1647985908151447477376330042934016291248763116\ 66355750292550254344363695/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^19 - 7290364975861727312865032124645167113918642737724836156942577289184\ 1794/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 - 4708048454851682243297378358162525536190946719\ 45547312432273183629478551/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 + 3588354871287532695640671580987928197282592648035490949978569743679\ 40407/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 + 180046168709884821771676346380133184125418328\ 6525504040303916581400386577/59409234182930027614955729359097954466\ 069167866413162187222181769662*c_1001_9^15 - 4739147645109534352603404919600711601390578291180117177288860122694\ 45186/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 - 427247952207533449214946332857604174575069739\ 181787537625820354504688945/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 + 4820360565355207005540492953084688333945314878728489258218020068023\ 91448/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 - 299064980935464831655333392537924131582068877\ 3444964349404365047955194/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^11 - 4523054790679284662916398521144594199804307532865527990093047468434\ 27949/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^10 - 210978243520791148221620816947186378070574287\ 13898580064200131766132181/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^9 + 1656132827020098889993682322738693384596661501884561692403987447949\ 30681/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^8 + 2640081254380755313428294841742701709686228002\ 4361941074529623300253787/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^7 - 2367035455364709428281667058533542039944629852931708864702941764713\ 4575/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 + 12225982485933972731474497238670802793233762675\ 10360861190363544798208/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 + 2826232963786663492994044045136321076925780118330545310471246138979\ 79/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^4 + 5899761085136765970650490970657940630283679407010\ 47850412550137070031/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9^3 - 4172782939271344901643230239464334602732639129949550184670813670833\ 27/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^2 + 1198158079736598710799774178119458370562863538085\ 53369573450544726455/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9 - 260919923075870795936793520568656\ 19157070101704899425987975034513049/5940923418293002761495572935909\ 7954466069167866413162187222181769662, c_0101_1 - 116343474858218155992561868159191730565405413645482026443443\ 7576641696/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 4454265643074317059801481058566698890513\ 705615280019612847321087419328/297046170914650138074778646795489772\ 33034583933206581093611090884831*c_1001_9^21 - 2473190291234177720716414028020345153558241629883756474887014178554\ 8255/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^20 - 6931230771665560413184932013889640728268834893\ 5877341623349662667640047/59409234182930027614955729359097954466069\ 167866413162187222181769662*c_1001_9^19 + 2661763818550092883051538608192335274002949478681371589572225760445\ 9646/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 + 1934353332443439159040608517503690092839178975\ 53160736298285861403039523/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 - 1135006988937144145482174766222074017926483164431710524162385429078\ 66885/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 - 737362378354398633892888772257809421396203297\ 875559227243025913496958831/594092341829300276149557293590979544660\ 69167866413162187222181769662*c_1001_9^15 + 1622185055962005949786407079445569024996391645738150494846352583097\ 75402/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 182574440851180739037959536377246847318196663\ 912382798232973107662271934/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 - 1800765388179228116474117476035030626914331483856082966439021627093\ 67912/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 - 112981629654469992950350857629253034755208009\ 12708589785052020647255389/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^11 + 1785994310784995250401681751517886574033850061336962244329316481110\ 63225/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^10 + 222190233888087288640110114894242989489130002\ 15564233249124993018888287/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^9 - 6356057056553748867849567770008636828963469066880412528179707482083\ 8861/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^8 - 12838485690684942828091254619096800533990173326\ 647340259915506285297431/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^7 + 8225441556767125122257724510486217789016739822069907982045657341763\ 159/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^6 - 792118202430253435977523540395221167094161867417\ 86200663276182786560/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9^5 + 1808812556938762254386954931094315906859708203403058028083804425379\ 3/59409234182930027614955729359097954466069167866413162187222181769\ 662*c_1001_9^4 - 26462396802312833218225586073627379082303291845897\ 4211951843748407775/59409234182930027614955729359097954466069167866\ 413162187222181769662*c_1001_9^3 + 1478227045950831723370887853381024094812583271578607194880851690827\ 71/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^2 - 1429089893782064900263626367644474122196206016294\ 75376673296996450851/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9 + 100550614912265666267029236407899\ 24737900984982447548047087612504887/5940923418293002761495572935909\ 7954466069167866413162187222181769662, c_0101_10 + 12020160913704517861286721342125418022546599566493553835986\ 60510236288/2970461709146501380747786467954897723303458393320658109\ 3611090884831*c_1001_9^22 + 410922949166438519651637608099641423176\ 5213260441009369483411738781760/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 + 1098450683630651322588698774585959544847373786171715233339086540376\ 1422/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^20 + 3093682316075978258935780395755127355846615532\ 7464985975750354783896045/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^19 - 4113347068435529539785472802593190066755970077247120921230130833845\ 5646/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 - 1856160237038324173692823333390831559759815977\ 05831593135318452019624183/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 + 1387716427923165480204290872714996794050672631826282308551365585222\ 69593/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^16 + 341630367934788163966023213687271624056576272\ 634593970326734145170624308/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^15 - 3197447579614035480411355201761410209399645246008928083757023817211\ 22786/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 - 924206705941954491099509437386537820421983497\ 37971441546070865586977963/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^13 + 2497061716186299857434155706945069293921142818504705897394445255035\ 03948/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 - 749946676808385655859920296420682063536039120\ 60472953889750177951323658/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^11 - 8044294864620298548950517438437213277723345536186704213249724594798\ 4457/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^10 + 2412300369695608681489458081705929966297395145\ 8399198699803344922811798/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^9 + 3092472971020943150226027975026690669927196698102825327638137032600\ 5303/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^8 + 76408064727969507028489681008801754394275728387\ 8209064146842814500768/29704617091465013807477864679548977233034583\ 933206581093611090884831*c_1001_9^7 - 1261925671270645253296256564747440976807164972162810166975767679809\ 9274/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 + 37614094313371187761470456128894740532812854127\ 68669068622946286301813/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 - 5340764251235306540715675859861969941454353399963435377222987917549\ 66/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^4 + 4518384998317449779256462495895964506554755145804\ 87775539808078286152/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9^3 - 8089599641236410102768734346609885260129600500344140942908174110394\ 8/29704617091465013807477864679548977233034583933206581093611090884\ 831*c_1001_9^2 + 37012173365994173362216300253510011334349906772435\ 225668309144031616/297046170914650138074778646795489772330345839332\ 06581093611090884831*c_1001_9 + 92951787299727730191585082785788969\ 77614094260090349591711950775604/2970461709146501380747786467954897\ 7233034583933206581093611090884831, c_0101_7 - 285651614994130593702898641578614330237811791350147161718384\ 5910130656/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 1069848201475964269183676441523820929893\ 2352933565566024142103280947200/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 - 5882225136806764666203190614564450974566384108157967605900371708528\ 3085/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^20 - 1647985908151447477376330042934016291248763116\ 66355750292550254344363695/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^19 + 7290364975861727312865032124645167113918642737724836156942577289184\ 1794/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 + 4708048454851682243297378358162525536190946719\ 45547312432273183629478551/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^17 - 3588354871287532695640671580987928197282592648035490949978569743679\ 40407/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 - 180046168709884821771676346380133184125418328\ 6525504040303916581400386577/59409234182930027614955729359097954466\ 069167866413162187222181769662*c_1001_9^15 + 4739147645109534352603404919600711601390578291180117177288860122694\ 45186/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 427247952207533449214946332857604174575069739\ 181787537625820354504688945/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 - 4820360565355207005540492953084688333945314878728489258218020068023\ 91448/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 + 299064980935464831655333392537924131582068877\ 3444964349404365047955194/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^11 + 4523054790679284662916398521144594199804307532865527990093047468434\ 27949/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^10 + 210978243520791148221620816947186378070574287\ 13898580064200131766132181/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^9 - 1656132827020098889993682322738693384596661501884561692403987447949\ 30681/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^8 - 2640081254380755313428294841742701709686228002\ 4361941074529623300253787/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^7 + 2367035455364709428281667058533542039944629852931708864702941764713\ 4575/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 - 12225982485933972731474497238670802793233762675\ 10360861190363544798208/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 - 2826232963786663492994044045136321076925780118330545310471246138979\ 79/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^4 - 5899761085136765970650490970657940630283679407010\ 47850412550137070031/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9^3 + 4172782939271344901643230239464334602732639129949550184670813670833\ 27/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^2 - 1198158079736598710799774178119458370562863538085\ 53369573450544726455/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9 + 260919923075870795936793520568656\ 19157070101704899425987975034513049/5940923418293002761495572935909\ 7954466069167866413162187222181769662, c_0101_8 + 338765383172872880733200576834129941795176968302550809753221\ 346290720/297046170914650138074778646795489772330345839332065810936\ 11090884831*c_1001_9^22 + 57795213500068495910488799050500042253945\ 4815826195863893923526234240/29704617091465013807477864679548977233\ 034583933206581093611090884831*c_1001_9^21 + 2145263375207375646321265770378763174915184688207068539703472796125\ 715/594092341829300276149557293590979544660691678664131621872221817\ 69662*c_1001_9^20 + 66176119201145045607586676838576151448627753480\ 45133803078348091467517/5940923418293002761495572935909795446606916\ 7866413162187222181769662*c_1001_9^19 - 2675869931704822340033920008775179807047701130720887331876120477739\ 9161/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^18 - 3307397830757729644158338410334605153011309302\ 0622980023464044821185488/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^17 + 2624860056927864914304712897897457097346519008032891116876155785942\ 56887/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 + 716695247924809201900274550894509252475859756\ 46175171181950812812431873/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^15 - 2638621639660795052697701761277944300551659321346407664255770927029\ 17527/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 114143038193394269380093270934534605724536672\ 052406481882904962583707135/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 + 1311741123188025962766035482263056099414901493292406891555759421425\ 40161/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 - 135381306843890930110829762185598225130440370\ 837076629408629950880278645/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^11 + 1110978815670583422911590360291738172623160171923449513763561551768\ 4567/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^10 + 9609078766662710829537995704545845222506766101\ 5239961245906383137310229/59409234182930027614955729359097954466069\ 167866413162187222181769662*c_1001_9^9 - 1213145438527561146636191967271927308848783691582813097140346409440\ 399/594092341829300276149557293590979544660691678664131621872221817\ 69662*c_1001_9^8 - 147035739556199743143343595883338845033425728114\ 76191863888464563147625/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^7 - 6071177225842245462852725864249408168408867471634658325134837939088\ 941/297046170914650138074778646795489772330345839332065810936110908\ 84831*c_1001_9^6 + 602615924973729254605344744430184212243639881724\ 5170619282008231883786/29704617091465013807477864679548977233034583\ 933206581093611090884831*c_1001_9^5 - 2454676251646735309658647169008498209915432823924876712311477465401\ 169/594092341829300276149557293590979544660691678664131621872221817\ 69662*c_1001_9^4 + 131419939890675803434052268546110719549981824724\ 5765146911521297819499/59409234182930027614955729359097954466069167\ 866413162187222181769662*c_1001_9^3 + 4378478353940658992013263451871954781326858788242851150139714225152\ 3/59409234182930027614955729359097954466069167866413162187222181769\ 662*c_1001_9^2 + 31532760149412120464774582543170428985277694734858\ 455403362272054379/594092341829300276149557293590979544660691678664\ 13162187222181769662*c_1001_9 - 36851266206963663816730532047645991\ 560651728316067866166891616393283/594092341829300276149557293590979\ 54466069167866413162187222181769662, c_1001_0 - 389199194427241438695377444559435294336760382382827164754975\ 5962544224/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 1444497617797259667060216481557575915345\ 3984380915042024115813557482240/29704617091465013807477864679548977\ 233034583933206581093611090884831*c_1001_9^21 - 7905401110525082776371828126124225414544194684498693440216248947370\ 9785/59409234182930027614955729359097954466069167866413162187222181\ 769662*c_1001_9^20 - 2211297456039928743130712985024310158758037743\ 75737639639170295294741051/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^19 + 1043079933553874859158956647092463895523813489870593971819201138574\ 55668/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^18 + 641458237765901862481094417281766392176427761\ 339553628015807069341778320/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^17 - 5247008583995999198081172245779691135847113907693509039092366455199\ 17541/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^16 - 245734021745824321541316722056955675461490036\ 9766760100885015124409097997/59409234182930027614955729359097954466\ 069167866413162187222181769662*c_1001_9^15 + 6639474838515345957972435233287881372283511967658160617638649176434\ 22114/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^14 + 574593025014075527171563426792289543978047290\ 532666811218095795507610648/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^13 - 6344353678067427078541271683272670162783649667789109565593499512941\ 96494/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 + 153823500424903749477540819880881414267131806\ 05713499712388993771244438/2970461709146501380747786467954897723303\ 4583933206581093611090884831*c_1001_9^11 + 5710852758693248939742118520963984881586424504516907041902827166325\ 24753/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^10 + 377352057822153420795077287227063123503195396\ 08124908783505631362687047/5940923418293002761495572935909795446606\ 9167866413162187222181769662*c_1001_9^9 - 2158431530990526909574922237325922993847951395439431261494533579465\ 82573/5940923418293002761495572935909795446606916786641316218722218\ 1769662*c_1001_9^8 - 4374923861946112009135677513277109035311324100\ 2222419685167777546640034/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^7 + 2981378114900266203010126549755849165348703021546422548806754329443\ 9280/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 + 10736447888897165682816964424826535390302411924\ 96321152060454650506364/2970461709146501380747786467954897723303458\ 3933206581093611090884831*c_1001_9^5 + 4681922024010921624772983533092053132789580432858309436692133231436\ 215/594092341829300276149557293590979544660691678664131621872221817\ 69662*c_1001_9^4 - 127409616570551341566852452756649107977202974799\ 7869084841717204678927/59409234182930027614955729359097954466069167\ 866413162187222181769662*c_1001_9^3 + 1334437854678117897633268509750715033746184433058409469994942194213\ 95/5940923418293002761495572935909795446606916786641316218722218176\ 9662*c_1001_9^2 - 2622483142651049334445697917787140093080646392909\ 12818022272548638645/5940923418293002761495572935909795446606916786\ 6413162187222181769662*c_1001_9 - 127151471570537501128834880254481\ 06604032693352530425436441466913209/5940923418293002761495572935909\ 7954466069167866413162187222181769662, c_1001_1 - 286109827165935923963206137821734462876016354416964853176003\ 1784080384/29704617091465013807477864679548977233034583933206581093\ 611090884831*c_1001_9^22 - 9027910953722579523620785939470679388466\ 592358745809752993190794922880/297046170914650138074778646795489772\ 33034583933206581093611090884831*c_1001_9^21 - 2316114693034091800811034391297691605646178070768936316708391829183\ 2880/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^20 - 6524024504763672365624179118110886007697008067\ 0232729368082361049000570/29704617091465013807477864679548977233034\ 583933206581093611090884831*c_1001_9^19 + 1214573949874211230432776778977253071879150058211301118814035826301\ 15719/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^18 + 427769073256781056013595489609948172564723897\ 049303214694563541561801361/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^17 - 4573473253555016668723984472892919852648452885978197371957248277671\ 33544/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^16 - 792342024051062787248160616983515544051327250\ 691190359375594704098961490/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^15 + 1004610792375603730610545060667940403394523114789912161038803878009\ 424066/297046170914650138074778646795489772330345839332065810936110\ 90884831*c_1001_9^14 + 14326316777162871131020657353628840324582615\ 6155744253183400238487151632/29704617091465013807477864679548977233\ 034583933206581093611090884831*c_1001_9^13 - 7297940656349283970462109689111706599529735652765874538633858008974\ 06910/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^12 + 285647316163880190971841157463868323157967644\ 868467966105157239316115704/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^11 + 2203401880857276695042341586890643272538433207839536931077270866244\ 54038/2970461709146501380747786467954897723303458393320658109361109\ 0884831*c_1001_9^10 - 118935105836949262299228159202018012380575749\ 279149782423125269697977793/297046170914650138074778646795489772330\ 34583933206581093611090884831*c_1001_9^9 - 8908177567809526972879331813659274671482486761727540656529823805550\ 8525/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^8 + 21017697514908352267579785444417482829087463950\ 580708753344900942150156/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^7 + 4019385607512170749465823131635734758139527806424659902692968993667\ 3654/29704617091465013807477864679548977233034583933206581093611090\ 884831*c_1001_9^6 - 14981023998866131880324225664875613474383088627\ 603132178635563474050369/297046170914650138074778646795489772330345\ 83933206581093611090884831*c_1001_9^5 + 3212163399778286838932169077709419519603764490357521424284332955832\ 82/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^4 - 4162571097654253761214774489496944383707239282623\ 80532497997480551096/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9^3 + 4729349945036473657992589516712146856867558551903398867880634023348\ 77/2970461709146501380747786467954897723303458393320658109361109088\ 4831*c_1001_9^2 - 1915858102553058521438855948085828536778133890848\ 38756274314885836422/2970461709146501380747786467954897723303458393\ 3206581093611090884831*c_1001_9 + 501986882532342681536911508206246\ 56859453677896758505157405768949145/2970461709146501380747786467954\ 8977233034583933206581093611090884831, c_1001_9^23 + 11/3*c_1001_9^22 + 5771/576*c_1001_9^21 + 4043/144*c_1001_9^20 - 15961/576*c_1001_9^19 - 46825/288*c_1001_9^18 + 4771/64*c_1001_9^17 + 29555/96*c_1001_9^16 - 35575/192*c_1001_9^15 - 1187/9*c_1001_9^14 + 48773/288*c_1001_9^13 - 509/36*c_1001_9^12 - 41297/576*c_1001_9^11 - 313/288*c_1001_9^10 + 82/3*c_1001_9^9 + 5149/576*c_1001_9^8 - 2351/288*c_1001_9^7 + 7/12*c_1001_9^6 - 89/192*c_1001_9^5 + 11/48*c_1001_9^4 - 11/144*c_1001_9^3 + 11/288*c_1001_9^2 - 1/288*c_1001_9 + 1/576 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.080 Total time: 15.289 seconds, Total memory usage: 64.12MB