Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 2033771934] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1846 geometric_solution 5.49179542 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 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294556216737 0.309947834862 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.094359359882 1.385321524379 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.225342739182 0.836414608994 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 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.225342739182 0.836414608994 4 4 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313860034920 0.485922090503 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 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 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.108603581167 2.301233898872 5 6 6 5 0132 1230 3012 3201 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 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.100054808934 0.361286820391 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 23335522737837814559736681582415839328400988804878448505101109/3778\ 842820556572636225887559704961556839968611318681356532329728*c_0101\ _1^23 - 29802608368906634698853147747187534699976380229530455938626\ 4133/37788428205565726362258875597049615568399686113186813565323297\ 28*c_0101_1^22 - 30531365764725568518246219297902834757055723037823\ 5864368512145/12596142735188575454086291865683205189466562037728937\ 85510776576*c_0101_1^21 - 10930310654788520752046791403497536694528\ 70325215312183479428047/3778842820556572636225887559704961556839968\ 611318681356532329728*c_0101_1^20 - 655944381900837938958743557698334373938313068364392675421148065/377\ 8842820556572636225887559704961556839968611318681356532329728*c_010\ 1_1^19 + 1930036639508257517632539367387608499829725287901948241004\ 039201/157451784189857193176078648321040064868332025471611723188847\ 072*c_0101_1^18 + 2286792676451036131113550977850802036326693923520\ 5761734941519517/94471070513914315905647188992624038920999215282967\ 0339133082432*c_0101_1^17 - 574968023561894477324670565577488368282\ 24713905172006859367970329/1259614273518857545408629186568320518946\ 656203772893785510776576*c_0101_1^16 - 40512921467204209156826564743776679665843744633492579237552358607/4\ 72355352569571579528235944963120194604996076414835169566541216*c_01\ 01_1^15 - 141937880721427542264323301135540056093708869484978976506\ 3849686093/37788428205565726362258875597049615568399686113186813565\ 32329728*c_0101_1^14 + 22464051410444088496902108685143791438744770\ 25234829830643480029465/3778842820556572636225887559704961556839968\ 611318681356532329728*c_0101_1^13 + 6830412447006325615164736862867978650682974380406086395752568377/40\ 72028901461823961450309870371725815560311003576165254883976*c_0101_\ 1^12 - 732780790635842058986589007376635534453787605625109741066911\ 0855225/37788428205565726362258875597049615568399686113186813565323\ 29728*c_0101_1^11 - 43527270353041843756833244242258230509631967159\ 14296087812461861643/1259614273518857545408629186568320518946656203\ 772893785510776576*c_0101_1^10 + 5070915440155588777958445480182493\ 329430904664915456430375957997129/944710705139143159056471889926240\ 389209992152829670339133082432*c_0101_1^9 - 348478267390694003408021524122841136018356894630124528773336916823/\ 1259614273518857545408629186568320518946656203772893785510776576*c_\ 0101_1^8 - 53616468466635436217092239107094013884208401727249211687\ 74361070859/1259614273518857545408629186568320518946656203772893785\ 510776576*c_0101_1^7 + 42549914737323907443859839120922674051007552\ 92705845648982347646235/6298071367594287727043145932841602594733281\ 01886446892755388288*c_0101_1^6 - 616000734198269749911159164070946\ 7793762186910280923813947785695609/94471070513914315905647188992624\ 0389209992152829670339133082432*c_0101_1^5 + 4276049374159620688086853087062353188054262175285800835639973226731\ /1259614273518857545408629186568320518946656203772893785510776576*c\ _0101_1^4 - 1443206225988402604151742122054340464634824206344123367\ 688967216835/188942141027828631811294377985248077841998430565934067\ 8266164864*c_0101_1^3 - 1056533631639515809262446416655376708371966\ 591131619984762255684003/188942141027828631811294377985248077841998\ 4305659340678266164864*c_0101_1^2 + 1228588975460928124133486312582176332021106396683113483251964884925\ /1889421410278286318112943779852480778419984305659340678266164864*c\ _0101_1 - 899725028933009120896448122510008095887193077687889050750\ 313905325/377884282055657263622588755970496155683996861131868135653\ 2329728, c_0011_0 - 1, c_0011_1 + 244080315539243054723015970002909049778141361/19599896327405\ 65719179132397096732129451767478299*c_0101_1^23 + 576189802490851029675616970436921305984493085/653329877580188573059\ 710799032244043150589159433*c_0101_1^22 + 1601326958503720294822117339254973077453614335/65332987758018857305\ 9710799032244043150589159433*c_0101_1^21 + 14498398292612414031292671585629761827210666094/1959989632740565719\ 179132397096732129451767478299*c_0101_1^20 - 12577663243052582170116190372509982826442410407/1959989632740565719\ 179132397096732129451767478299*c_0101_1^19 - 206485045521079287380824527013667425907510441074/195998963274056571\ 9179132397096732129451767478299*c_0101_1^18 - 110793159828721576880445549572456801991514246291/653329877580188573\ 059710799032244043150589159433*c_0101_1^17 - 67942736018664480436116887778774393592426444201/6533298775801885730\ 59710799032244043150589159433*c_0101_1^16 + 2114374434012886393877217984430314963084553005629/19599896327405657\ 19179132397096732129451767478299*c_0101_1^15 + 4422902641295996639365388602115565163395216948970/19599896327405657\ 19179132397096732129451767478299*c_0101_1^14 - 754476027175609502832686333316836447472866119651/653329877580188573\ 059710799032244043150589159433*c_0101_1^13 - 9542118939162905141096983361720958076218373009778/19599896327405657\ 19179132397096732129451767478299*c_0101_1^12 + 2276052592493903184764466028126057225971879122858/19599896327405657\ 19179132397096732129451767478299*c_0101_1^11 + 3825827056677628882684326816486696318598297242011/19599896327405657\ 19179132397096732129451767478299*c_0101_1^10 - 1559978865396665232854376041734146818013552565509/65332987758018857\ 3059710799032244043150589159433*c_0101_1^9 + 2191973474601145204480981864932836176138836059597/65332987758018857\ 3059710799032244043150589159433*c_0101_1^8 - 994196725979797518645470275441412625454401328525/653329877580188573\ 059710799032244043150589159433*c_0101_1^7 - 59385729504722504988831584163818212028048972221/6533298775801885730\ 59710799032244043150589159433*c_0101_1^6 + 1043237925027365033442022183412937131298373713872/19599896327405657\ 19179132397096732129451767478299*c_0101_1^5 - 1108447386237633099470568210149705296120227748423/19599896327405657\ 19179132397096732129451767478299*c_0101_1^4 + 72354834978379397004486105130086196516734887364/6533298775801885730\ 59710799032244043150589159433*c_0101_1^3 + 71497671662410755408407039264308663153703427238/1959989632740565719\ 179132397096732129451767478299*c_0101_1^2 - 921191152997485039169152196146443543668860902541/195998963274056571\ 9179132397096732129451767478299*c_0101_1 + 400438030629974421982417911925734670189783700226/653329877580188573\ 059710799032244043150589159433, c_0011_3 + 307346494655367404554401005431770643568778808904711096415096\ 1/651524624233891833832049579259476130489649760572186440781436160*c\ _0101_1^23 + 639881068961220644151421037484185091603714864158729755\ 3151147/21717487474463061127734985975315871016321658685739548026047\ 8720*c_0101_1^22 + 139961328103917518992390294640456832741643867543\ 66392906763229/2171748747446306112773498597531587101632165868573954\ 80260478720*c_0101_1^21 + 12941664930937846425151349588976505625126\ 4519541758435318404483/65152462423389183383204957925947613048964976\ 0572186440781436160*c_0101_1^20 - 320273556641927103199368150167948\ 925031112954567922758462660051/651524624233891833832049579259476130\ 489649760572186440781436160*c_0101_1^19 - 312021968301636304330063936400181282751839233084808424881990007/814\ 40578029236479229006197407434516311206220071523305097679520*c_0101_\ 1^18 - 168909505325352255632787366135794966151549336105249717003832\ 787/54293718686157652819337464938289677540804146714348870065119680*\ c_0101_1^17 + 39675204528036405473395779254482561532233278408916137\ 8890077637/21717487474463061127734985975315871016321658685739548026\ 0478720*c_0101_1^16 + 369358162370576367298974602915267263011496524\ 0611419088387852147/81440578029236479229006197407434516311206220071\ 523305097679520*c_0101_1^15 + 3450983515596194576465520945433130594\ 6206956628639396229178077033/65152462423389183383204957925947613048\ 9649760572186440781436160*c_0101_1^14 - 25632237553516708580336577558030377061278884675541827237280962583/2\ 17174874744630611277349859753158710163216586857395480260478720*c_01\ 01_1^13 - 327788977823725584111353978380803476777781004698105665923\ 0211369/20360144507309119807251549351858629077801555017880826274419\ 880*c_0101_1^12 + 2435047910591318824001858912068534230202686142855\ 1116523082471521/13030492484677836676640991585189522609792995211443\ 7288156287232*c_0101_1^11 + 343864791384024433705302145115258357928\ 61959723017403447227277613/6515246242338918338320495792594761304896\ 49760572186440781436160*c_0101_1^10 - 7161590913455789065581777126732331081356410218015356516937089159/54\ 293718686157652819337464938289677540804146714348870065119680*c_0101\ _1^9 + 442692290687843815834390328878883854531664008086312352704563\ 26379/2171748747446306112773498597531587101632165868573954802604787\ 20*c_0101_1^8 - 694820481236840163521832803305035218683351130139399\ 7131296682109/43434974948926122255469971950631742032643317371479096\ 052095744*c_0101_1^7 + 10348941673102876333892967852307110089934885\ 07131128046385445613/2171748747446306112773498597531587101632165868\ 5739548026047872*c_0101_1^6 + 2330243508045758236908181672582860678\ 76176539201665026695656865/3257623121169459169160247896297380652448\ 2488028609322039071808*c_0101_1^5 - 21983591636570621319202311222942533130792585689234542152291898829/6\ 51524624233891833832049579259476130489649760572186440781436160*c_01\ 01_1^4 + 2072049941587876090630709006013447980615076185263350497861\ 768717/108587437372315305638674929876579355081608293428697740130239\ 360*c_0101_1^3 + 23514604369541361665094750289758727791615679263088\ 409854198471/325762312116945916916024789629738065244824880286093220\ 390718080*c_0101_1^2 - 90417940167488115095558040669392306385389896\ 0895312334942227161/32576231211694591691602478962973806524482488028\ 6093220390718080*c_0101_1 + 183492910281451825912994358647953376857\ 14571718304647022006083/2171748747446306112773498597531587101632165\ 86857395480260478720, c_0011_4 + 215923015299939323722059857407045396309117785420145382678179\ 9/651524624233891833832049579259476130489649760572186440781436160*c\ _0101_1^23 + 434381050331440629411595982638583377373337124410069955\ 6548893/21717487474463061127734985975315871016321658685739548026047\ 8720*c_0101_1^22 + 884502633129174567799566672634417903791423451474\ 9962714739291/21717487474463061127734985975315871016321658685739548\ 0260478720*c_0101_1^21 + 839423460510158361344980362593539019450159\ 34651697194420339077/6515246242338918338320495792594761304896497605\ 72186440781436160*c_0101_1^20 - 24576619839126539401191761001034092\ 5419459811432681616855902069/65152462423389183383204957925947613048\ 9649760572186440781436160*c_0101_1^19 - 213872300572773382170404565440968752602338078729402902499576633/814\ 40578029236479229006197407434516311206220071523305097679520*c_0101_\ 1^18 - 866937268585053283562745614651191820154235262176982048938506\ 93/54293718686157652819337464938289677540804146714348870065119680*c\ _0101_1^17 + 413269539727276061186116832389170453656667356512246747\ 884381043/217174874744630611277349859753158710163216586857395480260\ 478720*c_0101_1^16 + 2582785016156411890599900413431824797031144761\ 717016250998752933/814405780292364792290061974074345163112062200715\ 23305097679520*c_0101_1^15 + 19774908810591546500056839613826590377\ 378706546404637897620098927/651524624233891833832049579259476130489\ 649760572186440781436160*c_0101_1^14 - 20141806954759050286670169773887174336139469313352699855301688017/2\ 17174874744630611277349859753158710163216586857395480260478720*c_01\ 01_1^13 - 199366714799220910467384418057540362194346197536393702081\ 9546271/20360144507309119807251549351858629077801555017880826274419\ 880*c_0101_1^12 + 2091690577173305151795032279262463345652495208553\ 1921802775552823/13030492484677836676640991585189522609792995211443\ 7288156287232*c_0101_1^11 + 117369539641355997447448802887086465345\ 94718748114844181269050187/6515246242338918338320495792594761304896\ 49760572186440781436160*c_0101_1^10 - 5813074075207285463083946016642509068189960183504074501344410721/54\ 293718686157652819337464938289677540804146714348870065119680*c_0101\ _1^9 + 341220353161120994518125189683939411309416851860411151734296\ 29341/2171748747446306112773498597531587101632165868573954802604787\ 20*c_0101_1^8 - 613026623381842955526649702101988811215416104780854\ 0302995530363/43434974948926122255469971950631742032643317371479096\ 052095744*c_0101_1^7 + 10472984794903787420361294096728172300263249\ 27647612692752083531/2171748747446306112773498597531587101632165868\ 5739548026047872*c_0101_1^6 + 1923978581430898196762414439834182516\ 63665224356818614691151255/3257623121169459169160247896297380652448\ 2488028609322039071808*c_0101_1^5 - 15181206018548022919881751157126242762569321670293449565485839211/6\ 51524624233891833832049579259476130489649760572186440781436160*c_01\ 01_1^4 + 2027083154855632070901182161410642008343894092754434279334\ 318283/108587437372315305638674929876579355081608293428697740130239\ 360*c_0101_1^3 - 42594014358235821633850650966849837250474591830485\ 3900066225471/32576231211694591691602478962973806524482488028609322\ 0390718080*c_0101_1^2 - 9109994586439963508407262076109664153456094\ 30838949301978736159/3257623121169459169160247896297380652448248802\ 86093220390718080*c_0101_1 + 19021374769170616492221537212146497940\ 933582379235689460645317/217174874744630611277349859753158710163216\ 586857395480260478720, c_0011_5 + 945108278703629970480916427502436673992928113920439691368711\ /651524624233891833832049579259476130489649760572186440781436160*c_\ 0101_1^23 + 2008245575899868416623576288603924747067230061873513015\ 192397/217174874744630611277349859753158710163216586857395480260478\ 720*c_0101_1^22 + 4508472971715276520364729045215096408684736589660\ 735192597819/217174874744630611277349859753158710163216586857395480\ 260478720*c_0101_1^21 + 4066077689847442899745751578098481646728361\ 6053374778274912693/65152462423389183383204957925947613048964976057\ 2186440781436160*c_0101_1^20 - 945701650281365434564694393993469252\ 91041939855593886747633941/6515246242338918338320495792594761304896\ 49760572186440781436160*c_0101_1^19 - 98039788551997618159477052841943779981644711727620714527960987/8144\ 0578029236479229006197407434516311206220071523305097679520*c_0101_1\ ^18 - 5834029307558429542684562397867371539896677411099016751243005\ 7/54293718686157652819337464938289677540804146714348870065119680*c_\ 0101_1^17 + 1328136556327717779391280993301363699873567256408826783\ 09061027/2171748747446306112773498597531587101632165868573954802604\ 78720*c_0101_1^16 + 11423163351171180953967097606505553158758122325\ 82456650677011657/8144057802923647922900619740743451631120622007152\ 3305097679520*c_0101_1^15 + 115955594130528265745255475072885914833\ 76761310494889159983724783/6515246242338918338320495792594761304896\ 49760572186440781436160*c_0101_1^14 - 7932432339378857888293491570483834313869872221589045681983896193/21\ 7174874744630611277349859753158710163216586857395480260478720*c_010\ 1_1^13 - 1126278536942628444495185523384312482114655524097473470289\ 220239/203601445073091198072515493518586290778015550178808262744198\ 80*c_0101_1^12 + 77242290792795061196357402004704111920284584693739\ 09721145360855/1303049248467783667664099158518952260979299521144372\ 88156287232*c_0101_1^11 + 19190934379409219807242624763416148165619\ 304626211542345567970843/651524624233891833832049579259476130489649\ 760572186440781436160*c_0101_1^10 - 2793933729974557235233456131149898206057678291940240789357128049/54\ 293718686157652819337464938289677540804146714348870065119680*c_0101\ _1^9 + 128753658258620490760384142292024976900817904123710611946258\ 01469/2171748747446306112773498597531587101632165868573954802604787\ 20*c_0101_1^8 - 157379197896606253398068144296958539883792860636462\ 7407597478923/43434974948926122255469971950631742032643317371479096\ 052095744*c_0101_1^7 - 15772539571076031516871182029516952634982892\ 9707130112440527381/21717487474463061127734985975315871016321658685\ 739548026047872*c_0101_1^6 + 61125733716811772863781306564902566424\ 5821553252740769855791999/32576231211694591691602478962973806524482\ 488028609322039071808*c_0101_1^5 - 10598914511847135165717359196861216027206654666766743714826940139/6\ 51524624233891833832049579259476130489649760572186440781436160*c_01\ 01_1^4 + 7190019771805494953888490553246378157307379491373814093329\ 87827/1085874373723153056386749298765793550816082934286977401302393\ 60*c_0101_1^3 + 540605598490093915002585874701917014489337274897403\ 086948910201/325762312116945916916024789629738065244824880286093220\ 390718080*c_0101_1^2 - 70254263711600921148399433241604874390224857\ 1088293822874566631/32576231211694591691602478962973806524482488028\ 6093220390718080*c_0101_1 + 380303472612121290184637032536056566394\ 9848936552303223873333/21717487474463061127734985975315871016321658\ 6857395480260478720, c_0101_0 - 45083883471163651856166186851238498659707567023781567747003/\ 32576231211694591691602478962973806524482488028609322039071808*c_01\ 01_1^23 - 927169378537549141207349635607025394074762670910376766848\ 09/10858743737231530563867492987657935508160829342869774013023936*c\ _0101_1^22 - 189224797046304271242183570397571785898659551427148950\ 941919/108587437372315305638674929876579355081608293428697740130239\ 36*c_0101_1^21 - 16621441691175678312889338925512249127771288461160\ 69035819281/3257623121169459169160247896297380652448248802860932203\ 9071808*c_0101_1^20 + 536197659658591075939240187766682092164813998\ 7810081114426993/32576231211694591691602478962973806524482488028609\ 322039071808*c_0101_1^19 + 4724791307577973893795513131711194656630\ 573493015998173005807/407202890146182396145030987037172581556031100\ 3576165254883976*c_0101_1^18 + 211609201908680264502682755590788311\ 0149409768423485099544421/27146859343078826409668732469144838770402\ 07335717443503255984*c_0101_1^17 - 14271618742050826416463067915274021143588428226575954384745319/1085\ 8743737231530563867492987657935508160829342869774013023936*c_0101_1\ ^16 - 5855344927505086442414695533548432917579361378175668761212679\ 7/4072028901461823961450309870371725815560311003576165254883976*c_0\ 101_1^15 - 49059837832079928265792017740862980018784419640573348779\ 8727363/32576231211694591691602478962973806524482488028609322039071\ 808*c_0101_1^14 + 4702509498009757286256735580214317491809533566988\ 10937897953197/1085874373723153056386749298765793550816082934286977\ 4013023936*c_0101_1^13 + 609467773139939673324954613626065110537412\ 75876041828212072023/1018007225365455990362577467592931453890077750\ 894041313720994*c_0101_1^12 - 2191990120128012554569376049397405203\ 085666106948108289800478007/325762312116945916916024789629738065244\ 82488028609322039071808*c_0101_1^11 - 1547514881354435952376642868429420128119697944121105255509927295/32\ 576231211694591691602478962973806524482488028609322039071808*c_0101\ _1^10 + 12323775740414821976546789021529165838731656586345486047363\ 2365/2714685934307882640966873246914483877040207335717443503255984*\ c_0101_1^9 - 485976712304102310896262351370708409642158314796887448\ 136845817/108587437372315305638674929876579355081608293428697740130\ 23936*c_0101_1^8 + 438245785965158065995942536162162688871957503816\ 003532806619307/108587437372315305638674929876579355081608293428697\ 74013023936*c_0101_1^7 + 272735975923071303682966339609987262943330\ 80352006175764003061/5429371868615765281933746493828967754080414671\ 434887006511968*c_0101_1^6 - 79002731964942339468812648632109851922\ 387176278745398687015151/814405780292364792290061974074345163112062\ 2007152330509767952*c_0101_1^5 + 2626542187106237844226723094028231\ 64371442492928706115125527951/3257623121169459169160247896297380652\ 4482488028609322039071808*c_0101_1^4 - 19911799671004844911615292581265215158674409634767696141323447/5429\ 371868615765281933746493828967754080414671434887006511968*c_0101_1^\ 3 - 37502231474105492074160523724339355634202251622415488898009509/\ 16288115605847295845801239481486903262241244014304661019535904*c_01\ 01_1^2 + 1403234492151479538106565048669668582477017474637823113914\ 0955/16288115605847295845801239481486903262241244014304661019535904\ *c_0101_1 + 7823877490170632890069129842104166678006693880663939317\ 473583/108587437372315305638674929876579355081608293428697740130239\ 36, c_0101_1^24 + 6*c_0101_1^23 + 12*c_0101_1^22 + 38*c_0101_1^21 - 116*c_0101_1^20 - 791*c_0101_1^19 - 444*c_0101_1^18 + 651*c_0101_1^17 + 9571*c_0101_1^16 + 8753*c_0101_1^15 - 29064*c_0101_1^14 - 29113*c_0101_1^13 + 51925*c_0101_1^12 + 5878*c_0101_1^11 - 36723*c_0101_1^10 + 48237*c_0101_1^9 - 41790*c_0101_1^8 + 12615*c_0101_1^7 + 5170*c_0101_1^6 - 9209*c_0101_1^5 + 5997*c_0101_1^4 - 268*c_0101_1^3 - 1292*c_0101_1^2 + 159*c_0101_1 + 45 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB