Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1031578095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1314 geometric_solution 5.20064779 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469560108034 0.109469610074 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 2 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510568420009 0.361427594888 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.619999470572 2.788314359093 5 2 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 -1 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379916977508 0.477249432084 3 6 2 5 3120 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.379916977508 0.477249432084 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172865452997 0.957530147270 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729366654952 0.432562312585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_3'], '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' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_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_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 1038011637964112538462785019605559758909205081498127777672661956027\ 69754339055994061/1154102812117927644984563545157158633079091884347\ 0326981600448013498723577196546490112*c_1001_3^22 + 1411794058666876023017470190480775724521707074701633779560432443298\ 289713573956735227/230820562423585528996912709031431726615818376869\ 40653963200896026997447154393092980224*c_1001_3^21 + 3807694486976566461483489787379791145795145283181158736984661708851\ 60648055496508557/5770514060589638224922817725785793165395459421735\ 163490800224006749361788598273245056*c_1001_3^20 - 1267124706536275289478929959645485142824575475131487161082154455643\ 84372623846680317909/2308205624235855289969127090314317266158183768\ 6940653963200896026997447154393092980224*c_1001_3^19 + 7495782701940303198476315819108000056024169813455293303323549026939\ 5028758642324227629/23082056242358552899691270903143172661581837686\ 940653963200896026997447154393092980224*c_1001_3^18 + 9423669446607935536020065917368128348205675847212687287523797609035\ 5477373009513952503/74458245943092106128036357752074750521231734474\ 0021095587125678290240230786873967104*c_1001_3^17 - 5366008840200866157861531422741903528816172531584058955707148354379\ 75211456699250799395/5770514060589638224922817725785793165395459421\ 735163490800224006749361788598273245056*c_1001_3^16 - 3038136857257361312966624306523400120921367046390723376284112608451\ 9038701476709140588639/23082056242358552899691270903143172661581837\ 686940653963200896026997447154393092980224*c_1001_3^15 + 4176508686689341095482215243091855840476292438972752795841135076686\ 11046724213052280641/4808761717158031854102348104821494304496216184\ 77930290900018667229113482383189437088*c_1001_3^14 + 5501089857614488829086638872880163395726779212778019274296176984588\ 9280226194591067126619/76940187474528509665637569677143908871939458\ 95646884654400298675665815718131030993408*c_1001_3^13 - 1858597928883828712432379590060838755794839743585617713152423273221\ 6645992236071381118075/76940187474528509665637569677143908871939458\ 95646884654400298675665815718131030993408*c_1001_3^12 - 7713674569109818445220943123569050577526312229066179443957014355672\ 979997524372805780453/320584114477202123606823206988099620299747745\ 651953527266679111486075654922126291392*c_1001_3^11 - 1053493967885729327195921584843731928602908792315590217574918749809\ 9141648887755001744167/76940187474528509665637569677143908871939458\ 95646884654400298675665815718131030993408*c_1001_3^10 + 1182638494282435482582708969977752409630956328492587893455995727018\ 302516969856665294843289/230820562423585528996912709031431726615818\ 37686940653963200896026997447154393092980224*c_1001_3^9 + 3585004638312625140183984553224512926004110064440135153299337585654\ 2976642501193774836601/19235046868632127416409392419285977217984864\ 73911721163600074668916453929532757748352*c_1001_3^8 - 1434019478983140779253713737675520812628432918451461593965240844141\ 333768587553253472956431/230820562423585528996912709031431726615818\ 37686940653963200896026997447154393092980224*c_1001_3^7 - 4362168847253829586000912908059556536980346159287847618968452721888\ 4834017102825308252929/12823364579088084944272928279523984811989909\ 82607814109066716445944302619688505165568*c_1001_3^6 + 2846688714067333652904165232195632602947024862517663339232188226070\ 43070896306407659100185/7694018747452850966563756967714390887193945\ 895646884654400298675665815718131030993408*c_1001_3^5 + 3258000959814393310754425512000354131954655449304439014901550561866\ 4056654779288298108739/12823364579088084944272928279523984811989909\ 82607814109066716445944302619688505165568*c_1001_3^4 - 1875443800569390521557482138415278693429063140338720283420275926656\ 3355586676575368259193/25646729158176169888545856559047969623979819\ 65215628218133432891888605239377010331136*c_1001_3^3 - 5922334690460674595566740160625774713832633710974978719596110436675\ 9008279113038649193415/76940187474528509665637569677143908871939458\ 95646884654400298675665815718131030993408*c_1001_3^2 - 1650921460941163081236946337175936171907454328606388830264537476167\ 5368652843905719352513/23082056242358552899691270903143172661581837\ 686940653963200896026997447154393092980224*c_1001_3 + 1476124118965273291439081800825250480296145061003183482594199412704\ 5017655857224843658633/23082056242358552899691270903143172661581837\ 686940653963200896026997447154393092980224, c_0011_0 - 1, c_0011_1 - 104433393218644397669910370303950054166406283720555671862759\ 5893298223/22325476614750456213972613566905532070577332040402835606\ 355876647171936784*c_1001_3^22 + 5208210383477858300497599478546334\ 12611116191003884938982834086318794/1395342288421903513373288347931\ 595754411083252525177225397242290448246049*c_1001_3^21 - 2095874742368345050071529265977341846591765322068390098782217731196\ 587/223254766147504562139726135669055320705773320404028356063558766\ 47171936784*c_1001_3^20 - 63573968593086106615651746790929806166445\ 0917001689183065368616568001929/22325476614750456213972613566905532\ 070577332040402835606355876647171936784*c_1001_3^19 + 1128585889134720794984495801555408423391206655991372879805903370342\ 695021/223254766147504562139726135669055320705773320404028356063558\ 76647171936784*c_1001_3^18 + 83789489505793955319134163782939673314\ 5746079187598664738423188817512622/13953422884219035133732883479315\ 95754411083252525177225397242290448246049*c_1001_3^17 - 2683189439848554822541610405296500085442946804976706763755006268889\ 5672853/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^16 - 6093741689267688210755843342520038712\ 7376898138134576116331377257759485515/11162738307375228106986306783\ 452766035288666020201417803177938323585968392*c_1001_3^15 + 2497123960751771103262918855411223789948788894043361640417320633967\ 52006533/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^14 + 539155024252283510208362751330419271\ 825817505695254777338047927681185931143/223254766147504562139726135\ 66905532070577332040402835606355876647171936784*c_1001_3^13 - 4829254568523513698653161632022316425385063973871943455457979903252\ 08496107/1116273830737522810698630678345276603528866602020141780317\ 7938323585968392*c_1001_3^12 - 164947454768153871652924332522130619\ 3038252594204059590816532322268478767375/22325476614750456213972613\ 566905532070577332040402835606355876647171936784*c_1001_3^11 + 2014235178423680909324244948492785467802979015006517246097313921852\ 667205131/223254766147504562139726135669055320705773320404028356063\ 55876647171936784*c_1001_3^10 + 17741638805279105153492987399372768\ 41688617108751360999478132223467326469223/1116273830737522810698630\ 6783452766035288666020201417803177938323585968392*c_1001_3^9 - 2679571961095551497200257368227290933328614368461950423601050101973\ 651309529/223254766147504562139726135669055320705773320404028356063\ 55876647171936784*c_1001_3^8 - 206755631802863470815216762805648280\ 3848604916896330067210541666152606848975/11162738307375228106986306\ 783452766035288666020201417803177938323585968392*c_1001_3^7 + 2185282154962355227838014914243595601843734222232820385330020105538\ 749454307/223254766147504562139726135669055320705773320404028356063\ 55876647171936784*c_1001_3^6 + 104477059784903138175030051768280694\ 4754504924021138968118210036431340557871/11162738307375228106986306\ 783452766035288666020201417803177938323585968392*c_1001_3^5 - 8162430634776162392100278258763431187476885080437959071394226172205\ 38921081/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^4 - 4053851448736135372010134133623503238\ 83565511530981474130889879507076046177/2232547661475045621397261356\ 6905532070577332040402835606355876647171936784*c_1001_3^3 + 9753392357502483375799934193120706754547665062016531602388402660683\ 6429813/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^2 + 10895741141752077076829301489912835195\ 4264324091139010797207443657853994135/22325476614750456213972613566\ 905532070577332040402835606355876647171936784*c_1001_3 - 1009261869598611576537165825833616174631988675610685114886830597027\ 5849539/55813691536876140534931533917263830176443330101007089015889\ 69161792984196, c_0011_4 - 723968151434755316021701278465917527615795274137865482848574\ 615208053/111627383073752281069863067834527660352886660202014178031\ 77938323585968392*c_1001_3^22 + 10944455304853199146706646651339083\ 309109055996426599037404251529784461/223254766147504562139726135669\ 05532070577332040402835606355876647171936784*c_1001_3^21 + 1199620321428535368286119020216427319289003532473128859901769991720\ 62/1395342288421903513373288347931595754411083252525177225397242290\ 448246049*c_1001_3^20 - 8821802095566551406586250317848010948445333\ 45020193184128257269140845697/2232547661475045621397261356690553207\ 0577332040402835606355876647171936784*c_1001_3^19 + 1192283624804471548368559305118895937895574478916175468074802685725\ 854613/223254766147504562139726135669055320705773320404028356063558\ 76647171936784*c_1001_3^18 + 19224760301494493292875415615348613374\ 337608944708404083496317756019670829/223254766147504562139726135669\ 05532070577332040402835606355876647171936784*c_1001_3^17 - 1461354687445787673130956067630221247291210824445419643994080275403\ 5608107/11162738307375228106986306783452766035288666020201417803177\ 938323585968392*c_1001_3^16 - 1843931336375562941987288706494043352\ 76214975979008757118945258222336368911/2232547661475045621397261356\ 6905532070577332040402835606355876647171936784*c_1001_3^15 + 6795488216485548999991130822304859317756192145166336038453119665193\ 1755919/55813691536876140534931533917263830176443330101007089015889\ 69161792984196*c_1001_3^14 + 89416645612320864871180442641627626882\ 5907428717365753203016571272497424755/22325476614750456213972613566\ 905532070577332040402835606355876647171936784*c_1001_3^13 - 9950682808432491989571944101544851434566467936525533507522564174327\ 05671587/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^12 - 143894132258253990064933258277292041\ 7087597186644879369656907851721935674085/11162738307375228106986306\ 783452766035288666020201417803177938323585968392*c_1001_3^11 + 1708401721573642256255341870249197674273502900481490295472077373307\ 630574737/223254766147504562139726135669055320705773320404028356063\ 55876647171936784*c_1001_3^10 + 62020986418973416282458667637126067\ 92216507906321486877974244040921573169193/2232547661475045621397261\ 3566905532070577332040402835606355876647171936784*c_1001_3^9 - 8103254883025442431230524789787185382883013661717675991797971138053\ 1581253/13953422884219035133732883479315957544110832525251772253972\ 42290448246049*c_1001_3^8 - 748185965772603588292044685114420377655\ 5377431624273517473051437107470741729/22325476614750456213972613566\ 905532070577332040402835606355876647171936784*c_1001_3^7 - 4679605315334368538909813638966918729585839658181381453103922540382\ 0674435/11162738307375228106986306783452766035288666020201417803177\ 938323585968392*c_1001_3^6 + 43490283251974841734048199303044616218\ 46479989825758004808805823633105270947/2232547661475045621397261356\ 6905532070577332040402835606355876647171936784*c_1001_3^5 + 2147103483337431536765560474373735945545168708034995124570440566503\ 43876709/5581369153687614053493153391726383017644333010100708901588\ 969161792984196*c_1001_3^4 - 10153401598199253999329003790796256891\ 63553467896670320145242436564936317977/2232547661475045621397261356\ 6905532070577332040402835606355876647171936784*c_1001_3^3 - 4464049830906352177612680527184580302320847538612262058412285531348\ 21737375/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^2 + 5234919910769623445314166509353945826\ 3459513067948090205757032071904449469/22325476614750456213972613566\ 905532070577332040402835606355876647171936784*c_1001_3 + 2857141231283097069572917693386490532549423103811595940235612205004\ 2629881/22325476614750456213972613566905532070577332040402835606355\ 876647171936784, c_0101_0 - 836571845752691835557836419589469908891489255142890104300191\ 192848607/223254766147504562139726135669055320705773320404028356063\ 55876647171936784*c_1001_3^22 + 30767948758135633989852158554075990\ 11873444877237509036920021280045155/1116273830737522810698630678345\ 2766035288666020201417803177938323585968392*c_1001_3^21 + 2040876804018127984616361865138534947774831381134857100194934835496\ 575/223254766147504562139726135669055320705773320404028356063558766\ 47171936784*c_1001_3^20 - 50716452473480054390669458635806477993659\ 4976158445026080361447907288043/22325476614750456213972613566905532\ 070577332040402835606355876647171936784*c_1001_3^19 + 5883965109820638073865196794314341083465937939629493919511290964761\ 96547/2232547661475045621397261356690553207057733204040283560635587\ 6647171936784*c_1001_3^18 + 551720728054318812452678206941864539270\ 2917003908354507360215571927153497/11162738307375228106986306783452\ 766035288666020201417803177938323585968392*c_1001_3^17 - 1455355159868865108272522479527575320869648548775285553699875254714\ 8768165/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^16 - 5254727098444572884417406173953354670\ 7334354472987810931649488146584093155/11162738307375228106986306783\ 452766035288666020201417803177938323585968392*c_1001_3^15 + 1329136918852524801492636200596117218704200281139159119239945057604\ 13018409/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^14 + 498746412337288648622300116831119405\ 460943451515679479108716743879825168493/223254766147504562139726135\ 66905532070577332040402835606355876647171936784*c_1001_3^13 - 2238545407052052603692611371622041869477122869635538673766531090128\ 49850483/1116273830737522810698630678345276603528866602020141780317\ 7938323585968392*c_1001_3^12 - 151962990349154044186614496308085163\ 8303802072634448979743765106261907747969/22325476614750456213972613\ 566905532070577332040402835606355876647171936784*c_1001_3^11 + 6163200434628078461132880522111729740305991558825703226076680731716\ 22921543/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^10 + 148772475671296282095984275173848176\ 3647815188573007066780393105430302077897/11162738307375228106986306\ 783452766035288666020201417803177938323585968392*c_1001_3^9 - 2473844781277724555610845472170374443217471052166343062740976718529\ 47387865/2232547661475045621397261356690553207057733204040283560635\ 5876647171936784*c_1001_3^8 - 7412098558130595844564560303583428435\ 55009577296389289991207033699054144127/5581369153687614053493153391\ 726383017644333010100708901588969161792984196*c_1001_3^7 - 3781223466320369597487461492126917975125852451068824765698480058883\ 8515251/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^6 + 27766865719028451369331941266418710200\ 4647083508368230786239825407988737007/55813691536876140534931533917\ 26383017644333010100708901588969161792984196*c_1001_3^5 - 7730915718856853254128752424207354033093853366609221015163131190507\ 5014625/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^4 - 12605890165837976187357366787924941128\ 5572737226160016547926331391725208741/22325476614750456213972613566\ 905532070577332040402835606355876647171936784*c_1001_3^3 + 8204661646218328877676261155608959527252368312404052144102597569373\ 1369659/22325476614750456213972613566905532070577332040402835606355\ 876647171936784*c_1001_3^2 + 86817617302911447725574746010531104172\ 072036841862641222278853876508529391/223254766147504562139726135669\ 05532070577332040402835606355876647171936784*c_1001_3 - 9209465339551465386947058689388498451118934724955414006136813482591\ 37147/1395342288421903513373288347931595754411083252525177225397242\ 290448246049, c_0101_3 - 242656064633561070022574587855649441756479694149718929253741\ 8781440781139/15994529583722595593095329674670295813663365107045601\ 4992835089269501548104772*c_1001_3^22 + 2669122694975581128460896066567289436031299621072862990089819665162\ 7214517/63978118334890382372381318698681183254653460428182405997134\ 0357078006192419088*c_1001_3^21 + 224118184723880497320313070480704\ 17510808505108195389661592144811008792002/3998632395930648898273832\ 4186675739534158412767614003748208772317375387026193*c_1001_3^20 - 5815339971959067412019347949093126120896425946938488139737103084232\ 251240501/639781183348903823723813186986811832546534604281824059971\ 340357078006192419088*c_1001_3^19 - 2032021373008766383987459638001942068680473673482930549162562237927\ 5580479075/63978118334890382372381318698681183254653460428182405997\ 1340357078006192419088*c_1001_3^18 + 1631050500942176778377545096289032245808813683535525962118641709553\ 24137641679/6397811833489038237238131869868118325465346042818240599\ 71340357078006192419088*c_1001_3^17 + 2096750358203747906595460331924607568433533572188791761627271539855\ 82859329565/3198905916744519118619065934934059162732673021409120299\ 85670178539003096209544*c_1001_3^16 - 2078142576759953230357383727320052450510483703179626933489499310969\ 963842577155/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088*c_1001_3^15 - 2017574199559680766931534921499137862482405566529652327099275018707\ 614325842953/319890591674451911861906593493405916273267302140912029\ 985670178539003096209544*c_1001_3^14 + 1368669430411906737397306014268082598923995545974389522341504119420\ 4190083796497/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^13 + 2121259841512869003954075953551105496133432953973402863947837874050\ 0765546933275/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^12 - 2844766979413164284339497390487094915886029300301929322997129479513\ 745280388433/399863239593064889827383241866757395341584127676140037\ 48208772317375387026193*c_1001_3^11 - 7484992658464954726341819109047040025985268464142242583491114706322\ 1679925442175/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^10 + 7930656520891842149168587500515092992385873740942712975627937282676\ 4566296326397/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^9 + 8256537153266856345966224974334871562758009431265747971619167332091\ 1670677410889/31989059167445191186190659349340591627326730214091202\ 9985670178539003096209544*c_1001_3^8 - 6667367047695202818323075810905174627076946391369793213028710309960\ 3823726513461/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^7 - 9231162886067881438874589853611587841551147691881229297981019030977\ 4380302081355/31989059167445191186190659349340591627326730214091202\ 9985670178539003096209544*c_1001_3^6 + 1791272820027289208571495084114172658093661608292028024670168554772\ 9872051045137/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^5 + 1106393544404937384619457487932634734712648431197091809821280043273\ 0146221674797/79972647918612977965476648373351479068316825535228007\ 496417544634750774052386*c_1001_3^4 + 8047079726073365852629737523063181960508856536067136851777056959747\ 915257880561/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088*c_1001_3^3 - 1489147131942430544028451954851143533032515414781954094221717894145\ 9284725275961/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^2 - 4572764169913292613111130994978641364961671152792908538511828539041\ 671303930551/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088*c_1001_3 + 1613409258604283103735756526110868108348419137457849502375732611008\ 824129369317/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088, c_0101_5 + 245643026965353335714828691711572053960166242099675701762622\ 27592327592395/6397811833489038237238131869868118325465346042818240\ 59971340357078006192419088*c_1001_3^22 - 1416339711099553325332359012220377989235936718043745241915401495317\ 44998253/6397811833489038237238131869868118325465346042818240599713\ 40357078006192419088*c_1001_3^21 - 3546087272130821831125324064114499028913613846685441060254867782438\ 58064599/6397811833489038237238131869868118325465346042818240599713\ 40357078006192419088*c_1001_3^20 + 9277636804929452704207095565543251814774505692287399012398131216574\ 94930128/3998632395930648898273832418667573953415841276761400374820\ 8772317375387026193*c_1001_3^19 + 808038221636453870465074258663170\ 535578106938477422251069669124329691060647/799726479186129779654766\ 48373351479068316825535228007496417544634750774052386*c_1001_3^18 - 3559150513622112624023485266412693497801141520602164741528475544587\ 99969394625/6397811833489038237238131869868118325465346042818240599\ 71340357078006192419088*c_1001_3^17 - 8679562201620318714885332661993871350555367430467790082751665543864\ 5552680455/63978118334890382372381318698681183254653460428182405997\ 1340357078006192419088*c_1001_3^16 + 3865587973660537548751382567744141488907860610688359276619703360648\ 813073160629/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088*c_1001_3^15 + 9715748833629622021708012293484730937024865249837679643776638654794\ 97020719253/6397811833489038237238131869868118325465346042818240599\ 71340357078006192419088*c_1001_3^14 - 5463161860505285197161600238882634429187981599648524954599078461818\ 501155189095/159945295837225955930953296746702958136633651070456014\ 992835089269501548104772*c_1001_3^13 - 9964128321725558186898507523586865955736421790192706718476740871484\ 217531660395/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088*c_1001_3^12 + 7060881650884578221956944582014333163864077538145156663546519135789\ 3691456012987/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^11 + 2713331873079711187989077299614892566656177909583544711868896497051\ 6659312079339/31989059167445191186190659349340591627326730214091202\ 9985670178539003096209544*c_1001_3^10 - 1314091872432864888509976161988735404890231411642324833020726215095\ 04698631039879/6397811833489038237238131869868118325465346042818240\ 59971340357078006192419088*c_1001_3^9 - 1438457287802136751736998412501957031009766340730393297937877624346\ 66458848831289/6397811833489038237238131869868118325465346042818240\ 59971340357078006192419088*c_1001_3^8 + 1234857111647869266140164404692833306523691966271913800387717951119\ 25206773765735/6397811833489038237238131869868118325465346042818240\ 59971340357078006192419088*c_1001_3^7 + 1731032200541185466378200444562619106338923044797052675517392275147\ 87154486411017/6397811833489038237238131869868118325465346042818240\ 59971340357078006192419088*c_1001_3^6 - 4218145305531398790984218793387425565793110435755214258793578606994\ 5586842622869/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^5 - 8795120667507157639173388668624235977448985772144044725677772673919\ 5553985481425/63978118334890382372381318698681183254653460428182405\ 9971340357078006192419088*c_1001_3^4 - 1536595238142314397668583803949155885594060852699333525065237909609\ 705030611795/159945295837225955930953296746702958136633651070456014\ 992835089269501548104772*c_1001_3^3 + 4036012456374019843215609478339816707308993062292273579657701958913\ 269437181149/159945295837225955930953296746702958136633651070456014\ 992835089269501548104772*c_1001_3^2 + 1926847841790194136892771525254222011603669189147817355002171543025\ 017202963453/319890591674451911861906593493405916273267302140912029\ 985670178539003096209544*c_1001_3 - 1298146942472637193395327270843774638367709814532282678673209316227\ 603299777245/639781183348903823723813186986811832546534604281824059\ 971340357078006192419088, c_1001_3^23 - 7*c_1001_3^22 - 6*c_1001_3^21 + 612*c_1001_3^20 - 483*c_1001_3^19 - 14012*c_1001_3^18 + 13176*c_1001_3^17 + 144521*c_1001_3^16 - 126422*c_1001_3^15 - 777582*c_1001_3^14 + 432978*c_1001_3^13 + 2628030*c_1001_3^12 - 402186*c_1001_3^11 - 5744270*c_1001_3^10 - 893660*c_1001_3^9 + 7356691*c_1001_3^8 + 2347576*c_1001_3^7 - 4894365*c_1001_3^6 - 1970796*c_1001_3^5 + 1369584*c_1001_3^4 + 698907*c_1001_3^3 - 81349*c_1001_3^2 - 95396*c_1001_3 + 13919 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB