Magma V2.19-8 Tue Aug 20 2013 23:55:10 on localhost [Seed = 2884486136] Type ? for help. Type -D to quit. Loading file "K12n579__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n579 geometric_solution 11.47690083 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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.243315814753 2.153577673216 0 4 6 5 0132 0132 0132 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 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.055913596839 0.398995753579 0 0 7 6 3201 0132 0132 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 -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 0.550933536575 0.546898273249 5 8 4 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499697692635 0.163843019120 3 1 9 10 2310 0132 0132 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.867368279309 0.960827368127 3 11 1 8 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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.629026307529 1.052204149254 7 7 2 1 0321 0132 2031 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 1 -1 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.078814424872 0.712945608388 6 6 12 2 0321 0132 0132 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 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718712464590 0.519969838746 10 3 5 9 3120 0132 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.503304939152 1.351355721710 8 10 11 4 3201 2031 0321 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227760855282 0.723718802825 9 12 4 8 1302 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.234851088448 1.397697775164 12 5 9 12 2103 0132 0321 3120 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 -2 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.676027961131 1.033229530584 11 10 11 7 3120 0132 2103 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 0 0 2 0 -1 -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.276303792298 0.881203324248 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_6'], 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0110_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : 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_11'], 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : 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' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : negation(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' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_6'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0101_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_2']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0101_4']), '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' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_6'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_6']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_6']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0101_6']), 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_9']})} 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_6, c_0011_9, c_0101_0, c_0101_11, c_0101_4, c_0101_6, c_0101_8, c_0110_2, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 4469541037430894158628343228983087686771926541362740126040076476253\ 600192216595/484205635446025407934754051807109641907392010494188371\ 24349661357872939008*c_1001_1^19 - 4769061945219632047740969198806397359440023049454059795860559727670\ 478983946639/605257044307531759918442564758887052384240013117735464\ 0543707669734117376*c_1001_1^18 - 329605483230214845789091819364633\ 9173830151274260330189817871299056589538381113/30074884189194124716\ 4443510439198535346206217698253646735091064334614528*c_1001_1^17 - 1081430101619326671389870798644632444644036365604452294729941221895\ 560711664488929/242102817723012703967377025903554820953696005247094\ 18562174830678936469504*c_1001_1^16 - 4548730965437117136033632709599311159612624438357106262254710799324\ 8637593526657/70174729774786291005036819102479658247448117462925850\ 9048545816780767232*c_1001_1^15 - 208852291665683310476956082620759\ 60902454277265778847717245144582094053251523843/6917223363514648684\ 782200740101566312962743007059833874907094479696134144*c_1001_1^14 + 3272069934873396929983458600866662602637996908720355168397005796679\ 801042859570103/484205635446025407934754051807109641907392010494188\ 37124349661357872939008*c_1001_1^13 + 2770504086550189687492074999025636868506018329688520267007400589455\ 35322975573465/4842056354460254079347540518071096419073920104941883\ 7124349661357872939008*c_1001_1^12 - 7160115976966236112097619218889374547248956129814627095893685108760\ 86246774692901/8070093924100423465579234196785160698456533508236472\ 854058276892978823168*c_1001_1^11 - 1918772231566560847712628406628655610901665400381338138925915052989\ 014125433429969/484205635446025407934754051807109641907392010494188\ 37124349661357872939008*c_1001_1^10 + 7714991538185758647326388575536750190774980003434153043639398391667\ 14830086813627/1614018784820084693115846839357032139691306701647294\ 5708116553785957646336*c_1001_1^9 + 3001094612970821221731982623999603415365484692312809259220005532168\ 65703083923029/1210514088615063519836885129517774104768480026235470\ 9281087415339468234752*c_1001_1^8 - 6649877332352538202566960391283162551871432193440152927962928787896\ 1011168486931/26900313080334744885264113989283868994855111694121576\ 18019425630992941056*c_1001_1^7 - 226452352407696614193551560153989\ 485402819678958100152398357936009393328386794433/161401878482008469\ 31158468393570321396913067016472945708116553785957646336*c_1001_1^6 + 42704607849224087152552213544221947849439560087616251341544376707\ 766976224303591/605257044307531759918442564758887052384240013117735\ 4640543707669734117376*c_1001_1^5 + 8144943698655285990119704137827840906578866163414632969578297369353\ 68942070991/1992615783728499621130675110317323629248526792157153791\ 12550046740217856*c_1001_1^4 - 754344373119639529651673499888566738\ 70205745787536077994239450651328431574061089/4842056354460254079347\ 5405180710964190739201049418837124349661357872939008*c_1001_1^3 - 1105706115942253369405638076102630803941743144703889868203397140840\ 184344063551/134501565401673724426320569946419344974275558470607880\ 9009712815496470528*c_1001_1^2 + 2555397017202924321583341424856656\ 2854331519710572174173948301568557150406885/14410882007322184759962\ 9182085449298186723812647079872393897801660336128*c_1001_1 + 6727935648088500347700431005790514768723965963312732132199473008729\ 8918545107/75657130538441469989805320594860881548030001639716933006\ 7963458716764672, c_0011_0 - 1, c_0011_10 - 5283598209653181807852729449527752586291997830897940195011/\ 361428578413893824323245087472899514269022166477379968*c_1001_1^19 - 5117560539486839430765693790374527640389402578701107956327/45178572\ 301736728040405635934112439283627770809672496*c_1001_1^18 - 594780568974473920768953006848215855660009596258092368396617/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^17 - 1042966929599721732309182135175340974414994595948599574671313/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^16 - 2032625170361612865626956667682498001863929182552163424066613/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^15 + 1566923356666691568590714390557856273209873369055987962023707/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^14 + 2858348078632746502928333506418235808088547238300292966247239/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^13 - 1771798553547890551889716808997121478252912606907933541285239/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^12 - 1816308888160128299915767031514779104162203124335856083634255/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^11 + 665611073386003844005845189627258769136125349515198191622975/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^10 + 2291199392699671704285999500544939686035076304453545497215681/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^9 - 84809352870671361902931597935624102131090760832479566175507/9035714\ 4603473456080811271868224878567255541619344992*c_1001_1^8 - 526584195765293064153871938493989957804771951474481876698507/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^7 + 127553002984153686963637172471620079850878892199958557891725/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^6 + 37748899561501701189721796657643148247567842476979105961607/4517857\ 2301736728040405635934112439283627770809672496*c_1001_1^5 - 43070148254985885120904596403927025155834932601522593286675/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^4 - 45477432039883649550624696473614109977890546433070135025521/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^3 + 3324377779669727460353005510622946697813978421197834810129/90357144\ 603473456080811271868224878567255541619344992*c_1001_1^2 + 186743591247420725068006200933052725279554314617370251535/225892861\ 50868364020202817967056219641813885404836248*c_1001_1 - 27152487807344943682314144842103003495562252242209342565/5647321537\ 717091005050704491764054910453471351209062, c_0011_11 + 6068214551688406996797429280670198359197191210954905505217/\ 180714289206946912161622543736449757134511083238689984*c_1001_1^19 + 5877121589114695223207365042927992295373526490172703330605/22589286\ 150868364020202817967056219641813885404836248*c_1001_1^18 + 683085048855236099322417543417860360328157452376248351387331/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^17 + 1197682027111403357085151080199424753855066307012006096470331/90357\ 144603473456080811271868224878567255541619344992*c_1001_1^16 + 2333639364504099652417240375800277662305438491183918096526759/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^15 - 1799681351607081992438093876290162650660861213921356404574793/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^14 - 3281535396956818483813755366895316409973481519802285192482413/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^13 + 2035021338401339791677474790221675311252953739766950281121661/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^12 + 2085253934401939136991768805582762931415237766577562220285797/90357\ 144603473456080811271868224878567255541619344992*c_1001_1^11 - 764639638591837000821981776099227938979321592438315585986901/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^10 - 2630380253709655253796821305842237263828789843726422799607083/18071\ 4289206946912161622543736449757134511083238689984*c_1001_1^9 + 97408004916769822673841543302554220558282973247892714161265/4517857\ 2301736728040405635934112439283627770809672496*c_1001_1^8 + 604535971083983499887186615378932910166840800732935288964473/903571\ 44603473456080811271868224878567255541619344992*c_1001_1^7 - 146452874069890683119577942189118489108340569866185394197935/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^6 - 43337473171095179338249645800402052886040337318702725959997/2258928\ 6150868364020202817967056219641813885404836248*c_1001_1^5 + 49441220573306822503308699929762330909937745405466514578161/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^4 + 52212130775716162463563207392124207056662142211453358541051/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^3 - 3816373975198079609377867962704748315764843296228195189419/45178572\ 301736728040405635934112439283627770809672496*c_1001_1^2 - 214418232508904891399849473022757422100373761468980543417/112946430\ 75434182010101408983528109820906942702418124*c_1001_1 + 31174201682648031901208281828447306098209121913409789228/2823660768\ 858545502525352245882027455226735675604531, c_0011_6 - 874551569780111382839844092694682106779371367912321991217/14\ 45714313655575297292980349891598057076088665909519872*c_1001_1^19 - 412952934933051708008360860345393520625835154451164008739/903571446\ 03473456080811271868224878567255541619344992*c_1001_1^18 - 97264091147168146003831943642782608340245381208369835431315/1445714\ 313655575297292980349891598057076088665909519872*c_1001_1^17 - 163546600210303252232630533822283221875454101096201171071255/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^16 - 283182884325661353895921467163209429159204779245530094855527/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^15 + 284969274729679094446820164324812314950908356842152368968577/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^14 + 404870501458381118843939421291012463611660011140378632797669/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^13 - 332762093820501664171680468650335527154410778899262586139333/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^12 - 257849376234589178721148385402076360698872258444047445247529/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^11 + 161394007205305121029680545781832031291660548087369922755765/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^10 + 320597915556112038825675068417802394717204605275839549374115/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^9 - 21047373459258317348941288433705857817371974745937190043915/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^8 - 71423504090959883199186634961194916471870809345351838776377/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^7 + 30555940941512372048795575456145597488334057751397347749423/1445714\ 313655575297292980349891598057076088665909519872*c_1001_1^6 + 1221126610107169060967150040813411125626763279547777237985/45178572\ 301736728040405635934112439283627770809672496*c_1001_1^5 - 8331104791015765895593068914059389532729778499908146469537/14457143\ 13655575297292980349891598057076088665909519872*c_1001_1^4 - 5317163528749242671149040339232622082611120572778885759635/14457143\ 13655575297292980349891598057076088665909519872*c_1001_1^3 + 486879602957491715508880126597806853096071986163224308757/361428578\ 413893824323245087472899514269022166477379968*c_1001_1^2 + 17356177726708718344299193229851060708098273980544131879/9035714460\ 3473456080811271868224878567255541619344992*c_1001_1 - 3406400474230787503482748334519702252481403500198504941/22589286150\ 868364020202817967056219641813885404836248, c_0011_9 + 203986867269358285296281874106513968596507484296377965537/45\ 178572301736728040405635934112439283627770809672496*c_1001_1^19 + 6344499440567406057358570882681157269290953428346556900577/18071428\ 9206946912161622543736449757134511083238689984*c_1001_1^18 + 2875207651507733156918001774865424205626783061547025561043/56473215\ 37717091005050704491764054910453471351209062*c_1001_1^17 + 324498970250600260562289604442784102638644335672931740090731/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^16 + 160425038426298762199079593981866562505016571283342106666411/903571\ 44603473456080811271868224878567255541619344992*c_1001_1^15 - 238652128338383713350270790846034587340011276464190747015973/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^14 - 450436342608533488859537068205129018378526545535756384674729/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^13 + 268364135654052490196653353199928892035372707102115802020491/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^12 + 572290844544222732033138966053345666946727060390232733741689/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^11 - 47994755122884018867196046441800098713297065963369143427711/9035714\ 4603473456080811271868224878567255541619344992*c_1001_1^10 - 361663563708215775395585486829801575175601531112704890732057/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^9 + 48608273287642527290179916691191839690518657692570968643049/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^8 + 20858023617740216898013502147204558643749149456213245808079/2258928\ 6150868364020202817967056219641813885404836248*c_1001_1^7 - 9209177067768958353693142370294374587755018511809182238197/90357144\ 603473456080811271868224878567255541619344992*c_1001_1^6 - 48120003957541674025451501053022743153077255817130707805303/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^5 + 810550434933969124360581536499706239788253234974294377549/225892861\ 50868364020202817967056219641813885404836248*c_1001_1^4 + 7327081783007844674657812298499020471307009215655155530925/18071428\ 9206946912161622543736449757134511083238689984*c_1001_1^3 - 2088096646019816689192462827690318122656699618907202575945/18071428\ 9206946912161622543736449757134511083238689984*c_1001_1^2 - 61439715596305137746508565086110277905548151327949113579/2258928615\ 0868364020202817967056219641813885404836248*c_1001_1 + 17385259690134647990720332422942314877123377595556442663/1129464307\ 5434182010101408983528109820906942702418124, c_0101_0 + 63887687339131883693039917606928575544067917538977449099585/\ 1445714313655575297292980349891598057076088665909519872*c_1001_1^19 + 15464733561192841760728551549767970466680780084005072981541/45178\ 572301736728040405635934112439283627770809672496*c_1001_1^18 + 7190744341474115215611529287295512858306350884905331864246851/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^17 + 12602242807318625199083420402511658834334282950777045547258927/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^16 + 24526493841588667425271389360688128795928079525200890189426039/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^15 - 18968701250842025996444908321700032901684641620396330250920577/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^14 - 34494620802363874612452384725411574027668097054330619337740581/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^13 + 21458964301210851420354172725027731982848814833518523020524901/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^12 + 21920334263686313456007799187079416734009970070796816455357457/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^11 - 8094507031197530433084962541709236768701988385075792816674981/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^10 - 27646932114220060660257101112865127758519015832392325014512131/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^9 + 1031911429702222577581343042890099969477608093916588362309447/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^8 + 6352036707941933348288943891090692217874978994286511524715561/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^7 - 1551103378290270681516890022055893971867687442630829905710143/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^6 - 227559339586925440074752156154128094609501882704493185265659/903571\ 44603473456080811271868224878567255541619344992*c_1001_1^5 + 521965638259011147469667815519474356041476553850248572526897/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^4 + 547686045995496038305647222608108888583376258254694338707763/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^3 - 40136191138804380477837731481389433611280930566962388050609/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^2 - 2243541121052606911802324656250721640547683921725239439131/90357144\ 603473456080811271868224878567255541619344992*c_1001_1 + 327114635502752474830182455351348341406424391863249304405/225892861\ 50868364020202817967056219641813885404836248, c_0101_11 - 1841026012732011506220857845218050239150818649549530894609/\ 722857156827787648646490174945799028538044332954759936*c_1001_1^19 - 901628418493269637911147756127176120970628212844868885211/451785723\ 01736728040405635934112439283627770809672496*c_1001_1^18 - 208365816648227120097206242986631965300211077020233215030003/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^17 - 372019368513457691844498781018468805864865539189609977864439/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^16 - 758228260490064347625204975003014835099824074027097417855175/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^15 + 523307403662780642634053134384109388105461678459704365832545/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^14 + 1061518580488594677988203946156158888976534013242512150244229/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^13 - 581740131533455651444238437464970171149031530897630286313957/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^12 - 673937899497125866756324438079282472748009120244245510336233/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^11 + 185677067648040089816483746838075242529927900338658402123093/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^10 + 855218962186886458911836618080476836055813916359597329579587/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^9 - 23260142916216574133053494141075818496826956383258431442139/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^8 - 198668115195119659870535889591268974884652028627340169048441/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^7 + 36225240850044997465347174510870691588365292290898295782223/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^6 + 3615714632804478334065075498603192180140506222185293880129/22589286\ 150868364020202817967056219641813885404836248*c_1001_1^5 - 14074403562443546628259081059163523539358728223956576644673/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^4 - 17930632591028170048800085699288839132417343141596458711731/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^3 + 1225500201633755674794273063363446452012928760360695583845/18071428\ 9206946912161622543736449757134511083238689984*c_1001_1^2 + 77354580929017724946373259317937748800245345247078170275/4517857230\ 1736728040405635934112439283627770809672496*c_1001_1 - 10499015628933339947877364931119997435388802867881516229/1129464307\ 5434182010101408983528109820906942702418124, c_0101_4 - 58695692641541272189695405373729306441375902528385173480361/\ 1445714313655575297292980349891598057076088665909519872*c_1001_1^19 - 14210233399708336435771821037583192055973372484309404502107/45178\ 572301736728040405635934112439283627770809672496*c_1001_1^18 - 6606881277807492903726322689788789529662389081751258841346939/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^17 - 11582008761144040380428864922245041009166218011641869054577639/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^16 - 22556273592783273846801364736328824563134007265656706951822415/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^15 + 17415780036818985302015354756052905844077174233475125823937193/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^14 + 31720337861070836288840616553650727641556017222007130132390893/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^13 - 19697193420810610059375128714809867506242743495034119249276845/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^12 - 20156926605288552522437931340780271483150840244749696023490393/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^11 + 7413317755986879956796246043411528270782224774120324385228845/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^10 + 25424617905271061592303561963730453975585274503423509400136699/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^9 - 944706319098283634175831912590312099786177412788095274259919/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^8 - 5842460825417535695507530232517200343883201343792649842196561/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^7 + 1420224874172172723464205991475036196377118359694712726355031/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^6 + 209364657331831676307639394328520138362641701021583342059895/903571\ 44603473456080811271868224878567255541619344992*c_1001_1^5 - 478794485942130600117762097062474180550458918339111598979865/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^4 - 504223858423988426414889200049808982775162520741660190751659/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^3 + 36896963961553678213663916731066681626490635072434841914313/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^2 + 2068536379689824186183924020706990227584746433669731960163/90357144\ 603473456080811271868224878567255541619344992*c_1001_1 - 301117730499123721262926090345056609716883929332188896813/225892861\ 50868364020202817967056219641813885404836248, c_0101_6 - 11481906460855772722059508936764097155921624413297560385593/\ 722857156827787648646490174945799028538044332954759936*c_1001_1^19 - 5550337992072522895101962826657924410239995624366878747893/45178572\ 301736728040405635934112439283627770809672496*c_1001_1^18 - 1291390263102102298323318714328901497590446409852780468976299/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^17 - 2257739904037681245458963776381688914489851398158314331574335/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^16 - 4366032558979183488334647393497983537951676590121283844519391/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^15 + 3428818444606625151355587738321527547350396480911120100524969/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^14 + 6144524781520262108668558682250743026236854828464452977218605/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^13 - 3888003997793267859105732785847396994542395201806631235442765/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^12 - 3905127201889992460292060879610849406962903105376288346235265/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^11 + 1495217782342915397733127307279692484802744274861534370164381/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^10 + 4920795298632531054515562941900747850600533322365231705545051/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^9 - 191041732469666828547795859803392095309732540188863195188971/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^8 - 1128707387812572891501234289406251136720258667506907062678849/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^7 + 286184860944512229359363577033672081180962116423128694169319/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^6 + 5041769463928870556120107755985607527590643183235374997265/56473215\ 37717091005050704491764054910453471351209062*c_1001_1^5 - 94720300492712098710903890496331509975341954521751418414633/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^4 - 96607318665909275545536656112389499604391030032018265296971/7228571\ 56827787648646490174945799028538044332954759936*c_1001_1^3 + 7158223146605228394197261223747855445674814236501438473797/18071428\ 9206946912161622543736449757134511083238689984*c_1001_1^2 + 392165228951606917015264643005804123603221335269371992711/451785723\ 01736728040405635934112439283627770809672496*c_1001_1 - 57875471149260801011421628483921314962994371623104295381/1129464307\ 5434182010101408983528109820906942702418124, c_0101_8 - 33865140144684002913115524422199934886442266668088622831935/\ 722857156827787648646490174945799028538044332954759936*c_1001_1^19 - 65599730598266021046452496827738697649875972920801000895279/1807142\ 89206946912161622543736449757134511083238689984*c_1001_1^18 - 3812186292720811321737661748458039352255019370350230546601197/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^17 - 6684453594277573726835208900905187219754246361483132685126843/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^16 - 13026329379452536811400272548438495080355816994162150634949217/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^15 + 10042241844268433499555889217286471826139704357579555883815515/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^14 + 18316918476944881867409843760534897208823931916789903257208039/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^13 - 11355394756143707389920947677499164072188096764209217569145823/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^12 - 11639521915777261586579005805882431618229106010885346969493053/3614\ 28578413893824323245087472899514269022166477379968*c_1001_1^11 + 4265349860957456135770612930765209611876084312243840497940851/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^10 + 14682358945878708227782618287425599716065060670768539971885481/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^9 - 67931128858214984055936494852617033290396424665535658985947/2258928\ 6150868364020202817967056219641813885404836248*c_1001_1^8 - 3374466021473319437589175917526651988026326762874922569329975/36142\ 8578413893824323245087472899514269022166477379968*c_1001_1^7 + 817266374991304809551696351935727858926949018336317959100617/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^6 + 483800655672931018385021928327886962634892252908988510678757/180714\ 289206946912161622543736449757134511083238689984*c_1001_1^5 - 275986760511185503094413297553505452638731931884082408940479/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^4 - 291408923812890405356861508096731547875222494570069153146025/722857\ 156827787648646490174945799028538044332954759936*c_1001_1^3 + 10651671852417097599842949410080124632850054686702539578743/9035714\ 4603473456080811271868224878567255541619344992*c_1001_1^2 + 1196324735410379509686883328434935569305146496751585434263/45178572\ 301736728040405635934112439283627770809672496*c_1001_1 - 43491474970891588785305381197443785674266135232784149093/2823660768\ 858545502525352245882027455226735675604531, c_0110_2 + 12223083389342634872806546344613298178840682224798745571129/\ 1445714313655575297292980349891598057076088665909519872*c_1001_1^19 + 5907681040168926137206690935582211059563920018438198128461/903571\ 44603473456080811271868224878567255541619344992*c_1001_1^18 + 1374650605947484884131412981927962236813536090218781618040363/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^17 + 2402685401441879568904824084693577915572057118524959836753151/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^16 + 4643558012844400297222794572311994418839778217653831203774815/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^15 - 3651582212711483573975144885456398927285280541245807531378217/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^14 - 6535593629473099003024327648199758060958298636374524597011245/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^13 + 4140833659194571599425527783982038809768863108177628218869069/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^12 + 4153760328434009730980526929684682521592564309976105311207425/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^11 - 1594357606135825364784906169930562704125308705708328015628829/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^10 - 5233965793838219440971473970716250285893748749030033235624667/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^9 + 203668682797097074085884843281315778265688999607073322660011/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^8 + 1200448833045932943276214424705284499610908490946001270832641/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^7 - 304980596889447907638273156604879219711264249375760085077479/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^6 - 2680904761495478784174256653959877552009077317337871805085/56473215\ 37717091005050704491764054910453471351209062*c_1001_1^5 + 100840281779454761659287228581383364733460605462367202376873/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^4 + 102722258940943290408736612983878215982158234793771645285067/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^3 - 7614720770288718077905921864351568769739742618956788473221/36142857\ 8413893824323245087472899514269022166477379968*c_1001_1^2 - 416839532072686292335369955105460922658078189062326937759/903571446\ 03473456080811271868224878567255541619344992*c_1001_1 + 61562445840483563379307389580685572254151055207049776365/2258928615\ 0868364020202817967056219641813885404836248, c_1001_0 + 37639740807064703940355654687273210815729588665690470048377/\ 1445714313655575297292980349891598057076088665909519872*c_1001_1^19 + 18217907217814773796635441383986782256143697048609675084277/90357\ 144603473456080811271868224878567255541619344992*c_1001_1^18 + 4235984543411780100028274190994495817421517484884575819696619/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^17 + 7420974370625535941278049205193351350476641662255916776363647/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^16 + 14428957676489476959817769815270408998347500397243480219240735/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^15 - 11183764922440620894986142334213483443664786647352949746402793/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^14 - 20294284067555082063315039919325572468692086638043898343549421/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^13 + 12655973595883520331189777231760361474700534090392886366733069/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^12 + 12896804200317472245152102448267754803752680904054220896234625/7228\ 57156827787648646490174945799028538044332954759936*c_1001_1^11 - 4786455697945836851318614944554021539075859970055631563387741/14457\ 14313655575297292980349891598057076088665909519872*c_1001_1^10 - 16263703058614756624959416176022261226567382323954556371590427/1445\ 714313655575297292980349891598057076088665909519872*c_1001_1^9 + 610327818364249696447009022251467047499782546057166598534027/361428\ 578413893824323245087472899514269022166477379968*c_1001_1^8 + 3735854951467594229763039098457299613927282160432521972738113/72285\ 7156827787648646490174945799028538044332954759936*c_1001_1^7 - 916842877244951923654301517069187409109596650507668020977063/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^6 - 16723782219872650558013376276845908645370302624297349808161/1129464\ 3075434182010101408983528109820906942702418124*c_1001_1^5 + 307829975848557905210211248426943551518368569483727241090025/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^4 + 321805699796849433808412814271046505287391538184997381585163/144571\ 4313655575297292980349891598057076088665909519872*c_1001_1^3 - 23617046302048030026659327991922410320358146987904676407653/3614285\ 78413893824323245087472899514269022166477379968*c_1001_1^2 - 1316751699532378463667467353718244311283343079227945173087/90357144\ 603473456080811271868224878567255541619344992*c_1001_1 + 192301819883115505789769364953147448169893212013962250125/225892861\ 50868364020202817967056219641813885404836248, c_1001_1^20 + 8132/949*c_1001_1^19 + 112863/949*c_1001_1^18 + 35562/73*c_1001_1^17 + 672475/949*c_1001_1^16 + 18119/949*c_1001_1^15 - 744269/949*c_1001_1^14 - 102987/949*c_1001_1^13 + 913534/949*c_1001_1^12 + 415775/949*c_1001_1^11 - 39199/73*c_1001_1^10 - 276704/949*c_1001_1^9 + 239146/949*c_1001_1^8 + 132285/949*c_1001_1^7 - 73036/949*c_1001_1^6 - 36763/949*c_1001_1^5 + 14515/949*c_1001_1^4 + 4312/949*c_1001_1^3 - 192/73*c_1001_1^2 - 128/949*c_1001_1 + 256/949 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 13.090 Total time: 13.289 seconds, Total memory usage: 119.22MB