Magma V2.19-8 Wed Aug 21 2013 00:14:53 on localhost [Seed = 643844776] Type ? for help. Type -D to quit. Loading file "K13n4283__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4283 geometric_solution 12.35146615 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 1 1 0 5 -6 6 0 0 -6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575559267873 0.605826273999 0 5 7 6 0132 0132 0132 0132 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 1 -1 0 -1 0 0 1 1 0 0 -1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.239907565053 1.234990662825 7 0 9 8 2103 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 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.832436629330 0.726682129280 9 5 10 0 2103 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 5 -5 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651434729443 1.199166942123 10 6 0 8 1302 3012 0132 0213 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 6 -6 1 -1 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708269370279 0.432978859828 8 1 3 11 1023 0132 3012 0132 0 0 0 0 0 0 -1 1 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 -1 6 -5 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467747193421 0.804017365387 4 9 1 12 1230 3120 0132 0132 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 1 0 -1 0 0 -5 0 5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009347411381 0.932571423398 10 12 2 1 0321 0132 2103 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.681592369066 0.706213064279 12 5 2 4 3120 1023 0132 0213 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490145561254 0.661634403406 11 6 3 2 1230 3120 2103 0132 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 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742120326134 0.468912763834 7 4 11 3 0321 2031 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 5 -5 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523272372530 0.780999799716 10 9 5 12 2031 3012 0132 3120 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 5 -5 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266054812593 0.825304635817 11 7 6 8 3120 0132 0132 3120 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321334933711 0.702647507522 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_0110_11'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_0']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0011_4'], 's_3_11' : d['1'], 's_3_10' : 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_11']), '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' : 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' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_0101_11'], 'c_1100_3' : d['c_0101_11'], 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_11'], 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0110_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0110_11']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0011_9, c_0101_0, c_0101_11, c_0101_5, c_0101_8, c_0110_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 13309498594343302989888679947498596933170668253129358280760282195/9\ 583507314295033425643336526537228582123190489450390615108954*c_0110\ _11^22 + 9144312258269441338021745078745817762153587371559132556690\ 98278/90410446361273900241918269118275741340784815938211232218009*c\ _0110_11^21 + 19689323295107057960017494772438742454686640424485537\ 18782370926929/4791753657147516712821668263268614291061595244725195\ 3075544770*c_0110_11^20 + 90024819321059470971461886562569287504393\ 051565994922362389393137/904104463612739002419182691182757413407848\ 159382112322180090*c_0110_11^19 + 650145585009083112938699210977505\ 63843771174971947753208927276711/4356139688315924284383334784789649\ 35551054113156835937050407*c_0110_11^18 + 1123932260890242296712646020176408793526376115241613198377813669251\ /7986256095245861188036113772114357151769325407875325512590795*c_01\ 10_11^17 + 12250397879773184217122571616549238314248193834397543739\ 68240327971/6845362367353595304030954661812306130087993206750279010\ 792110*c_0110_11^16 + 200625270768530403669982719850597873290598379\ 48335807711443377494841/4791753657147516712821668263268614291061595\ 2447251953075544770*c_0110_11^15 + 1633208058064735587435494508161766058655330487453725767907478655762\ /2178069844157962142191667392394824677755270565784179685252035*c_01\ 10_11^14 + 18408020025576310909186560351605424074509461854698763414\ 489669166877/239587682857375835641083413163430714553079762236259765\ 37772385*c_0110_11^13 + 1785597139229966910785904167250362138931810\ 63558681448494028078849/3013681545375796674730608970609191378026160\ 53127370774060030*c_0110_11^12 + 1191156008696221601536201407174039\ 4304583344525566951891215859821029/23958768285737583564108341316343\ 071455307976223625976537772385*c_0110_11^11 + 3389002600008102357632930827412203375068427840839606190365949074599\ 9/47917536571475167128216682632686142910615952447251953075544770*c_\ 0110_11^10 + 615208791846358283628667477122523629364197614213458666\ 7302180084972/79862560952458611880361137721143571517693254078753255\ 12590795*c_0110_11^9 + 21091351189112269427115364152681792974987779\ 78209744778761536318201/2281787455784531768010318220604102043362664\ 402250093003597370*c_0110_11^8 + 4489038687717717699958651218272403\ 989426376073991385599746427783306/798625609524586118803611377211435\ 7151769325407875325512590795*c_0110_11^7 + 2025722157194852067758947574606111352301659620275502106925709056577\ 9/47917536571475167128216682632686142910615952447251953075544770*c_\ 0110_11^6 + 7892713394265890306100721981987299872607866295389973964\ 5535236314/47917536571475167128216682632686142910615952447251953075\ 54477*c_0110_11^5 + 16976598860736027775551986525211184533723297459\ 76730980366981480964/7986256095245861188036113772114357151769325407\ 875325512590795*c_0110_11^4 + 4480412408815040001381799421607596873\ 88346032244363657349247207182/2395876828573758356410834131634307145\ 5307976223625976537772385*c_0110_11^3 - 440208841082402553589187990954250149165430376378305455831907341791/\ 23958768285737583564108341316343071455307976223625976537772385*c_01\ 10_11^2 - 332355240627977381989013079690235113233914628684340445452\ 38109607/6845362367353595304030954661812306130087993206750279010792\ 110*c_0110_11 + 486611748523788102494000427751985408579180462271109\ 538747026439/145204656277197476146111159492988311850351371052278645\ 683469, c_0011_0 - 1, c_0011_10 - 76691824005028215433496344743263291221419073664171150/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 - 11838161721763554757407160918595361546318946800540970/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 - 2803927884666023873800518784157607758817863180886798091/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^20 - 146768547596804594853145273682575940972762292098172550/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 - 14167998419534008907121645583492693964933760863996732166/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 - 17588130665023950449117414627079427690822740860863871841/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 - 20560673065127560803879542531054779801238715558103733815/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 - 35676043386258860978002528000401502843835221898242199699/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^15 - 66956729513231710981404206254652704419973952278830961871/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^14 - 90173444655260704278646650443162778894317185239033966424/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^13 - 1686576040344068905620663794734115997079874973148333005/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 - 76480923239313685532278410511577981226954998637241788811/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^11 - 80320041595745880050608925241362328721932080612255473879/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^10 - 92262470271172322143310679067572977141194333810438151462/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^9 - 108474454140503261622551681785956310341104411406801549572/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 - 97378006190059159306380556536392731380772552211605343034/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^7 - 75932408387782138233768295592246436309439420978809330622/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^6 - 37335674626142042660317797822360419280535244058202642073/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 - 25928310132252323176845147501712816614541514650448698269/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 - 15041553677304514512783766851384068405302807837845182787/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 - 7276508353806533057831194355094130562721839303472692791/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^2 + 1283901849533534895136618889698293151379147620901595418/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 - 435293049615553583806178442371655405504416828507334997/125619344306\ 3884525145652857860805009476095639386099659, c_0011_11 - 373760725005840394671626976887500006297435587611221050/1256\ 193443063884525145652857860805009476095639386099659*c_0110_11^22 - 50061806448677551006598026343446751150980341047745140/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 - 10588729452768333740971678446575329459396448759589475497/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 - 471089834067525365992572345147012100267909868611703868/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 - 35996528994369097464828354946685018770075578659902584517/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 - 32074212357771146605457408593188481999405280114834965638/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 - 43013466659539086800369858494216261447184656806179351590/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 - 104768193710461421599036332066915463131115772696881479733/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 - 183144929696047421613748836538659289258684752377536112270/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 - 176516464211339541939713643398317477133452348311113124863/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 - 2486652139968685490187023891423926776941580179090690036/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 - 110166089636702847447332541855664329922021287686853717280/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 - 167983537670752643155425828033066914681575189245730583865/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 - 175920377587446322961862939179029519313576301300126273294/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 - 219920539962378924891046150045491113436787568376813164906/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 - 111624056432881420665488788050846713100498129894578308742/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 - 94456097244070966620018069640872770233577148943228203070/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^6 + 17024139122992254367659922002027656888620646109040780848/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 - 59498815282001622418854965037616030415912178666154822929/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 + 10525141705303915485170224595575798345085081525725158712/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 + 1036342641290418829604931214662504233950963542238624486/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^2 + 2627094725138192618759844037288693794256499700365191617/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 - 552119381506092724599212644568583913727158146415252450/125619344306\ 3884525145652857860805009476095639386099659, c_0011_12 + 283663857748874032338635795893370973849528175582729100/1256\ 193443063884525145652857860805009476095639386099659*c_0110_11^22 + 40176992869176273365855851728669417554851884953446380/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 + 8908611517337942154119833941185250079677365434958146099/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^20 + 426589332856931778920357214015212491725883434701128856/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 + 36646132735893720837103365975294026783648863420878143635/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 + 39531705508249783800167157047306955087747889294814239794/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 + 49098330771522483503949312450297311335915909701300698283/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 + 99759386529641602912153377161500784689402648914905431359/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^15 + 179857799868390237385713015073598646472090349406913620489/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 207927856257453004726095368054759375461327696567645245417/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 3514934742196612947683799374751998739674330831332730475/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 161169316297246266820271180515007532495254343182588785776/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 193750060066072566943948505137073318838285943300976949624/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 211447666636446185641520439740261478336051924069105108168/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 252572021243037948572912751352616878691998840117419042184/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 188926690317854467032963542746523510539218439301196476111/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 151163554614650708275412877438186832157944462794099167478/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 + 48029897809502268118094411283363111413104128568224506942/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 62952083826770724592465307345448830394590626858387338759/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 + 15926269411320876180361100317172974913189250907965726770/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 + 5695919401292336348151776497812189016631652706121265237/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^2 - 1615784717506035667863392878160754357576614372925267545/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 + 526862596538317083504795140774897272119703859172281863/125619344306\ 3884525145652857860805009476095639386099659, c_0011_3 + 900884602812982747990124814103932000529282827274248075/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 + 127428384266124365986670702946944409187560359088661985/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^21 + 28107358260891992485812685285954073407676062286829932908/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 + 1332961884547678865954238302073491595527154040055993235/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^19 + 112053420581037685986139600858290458884493188491452537823/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^18 + 115411520651617317265966735635360725721286528681708535938/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^17 + 140706472368983169030362060199604866747682094078706733554/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^16 + 301339944556983303008270570644302676607318389524002511601/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 + 551074021594235375124509905993006628830953230023838365802/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 617219488198323509922946480858785104868817036718982156334/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 9744642392345821096448639097167673064274622096869088265/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 430963267825111741213503064153142421572384556552030723756/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 549777179232805972304667763369725784575892887092484445604/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 616997834879945082232858098297941979237725565527517386880/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 731326698394030033300816647403918343338137872673563274575/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 519228073334350866559795351662136630120691536113389287282/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 385237465491731661459266917986288101521308813608444035031/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 + 89403534463961915330561300337811422670103564047062705394/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 156271280504662738943102369391401705711118795109620960495/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^4 + 43587985629599834253057796201571559037794221804500564889/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 - 1743212452108435965293957908970973534393944065910959609/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^2 - 5591840987319498438892677769018718743510541658491976016/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 + 598443778295245608309160314529684379295237398075802551/125619344306\ 3884525145652857860805009476095639386099659, c_0011_4 - 1049097934852442036030941137040979434792736160578725/2370176\ 3076677066512182129393600094518416898856341503*c_0110_11^22 - 4236117870315334922598757730470434948738790332177540/23701763076677\ 066512182129393600094518416898856341503*c_0110_11^21 - 5733373735707106894991836688147359330503001079959154/23701763076677\ 066512182129393600094518416898856341503*c_0110_11^20 + 29500133097454171055925516375031968146176763361148385/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^19 + 148379132463685266313600850030058223478934603245742832/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^18 + 303902322007071645539691714075469482237275980343907841/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^17 + 283547448217158664262862734921127334313613748876460625/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^16 + 203624534273695182383975207091572822360723113088574439/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^15 + 556866633505258548711764994603378743029994678595979219/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^14 + 1452740712022093970561603594889684317723117279655511000/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^13 + 1795046626910063716509194731220967669919963873765220565/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 1504602513240402398042225680498041757028294409654047113/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^11 + 1065388737772249281768280547691785262989035678863391133/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^10 + 1482512520961999280978070655727566625834362222404331057/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^9 + 1573435821234332810655941962904073197862732901408014462/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^8 + 2277965204967639902276919732410716236833189567776485590/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^7 + 1568683152307797318667609544883006660999078084330650740/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^6 + 1436681479746027959785893963862002471513690247207051760/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^5 + 165289284337425059527364108434866958768985103439997807/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^4 + 637391117671676777133349817190395256623604135814296800/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^3 + 164793456294882671566637861629056690918576943673476705/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^2 + 20847956736800355246754199853797553971253719973855991/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11 - 7168118752355082907667725322248345251347482337158583/23701763076677\ 066512182129393600094518416898856341503, c_0011_6 + 926929166670501645617723282479189534218272069478987250/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 + 126913164912781005843101817748557281407885540556922100/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^21 + 27246310610978226394906346215170926695429808106654839900/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 + 1239716714039150114802650001836487457083111808635889567/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^19 + 97650610689596204177743558865386644160407904442687199582/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 + 90491904180300164000258460471233939235453213756384699600/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 + 115004212901192263902329621731133145295523342736865558430/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^16 + 273197121682742494479788514323308249156465647351510863805/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 + 489634696385788267921518121441069208800937762214080933473/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 495170757663819091797439976099627468855921296255597420094/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 7045072311855738681340920367699358461786495649769524605/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 306616467915430246417898022277356283739982861288736506192/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 445655490627259685561395053571872935312033697590888078066/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 485683464073196214803237678558239427914318999769938026971/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 590249799475648023282285734475295764862736536673443992959/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 344607951251834562275788642318629200613093230324596290621/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 254823766684372381578678759236422964102764583136085862860/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 - 16685130561489999332956150299695271743874332425658256297/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 126413171686891802943306442698263398562669405671306144119/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^4 - 1718012402189342982047637407939575459784249821645043822/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^3 - 17050374608705168086142587884712591876321767017211881397/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^2 - 5404925632501659384854771542096448148391140086147671234/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 + 1170236883813618387550734424440332746958555803961797344/12561934430\ 63884525145652857860805009476095639386099659, c_0011_9 + 356017168393343417328962787747938731192969843213977250/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 + 51023064126219143669575551622186975821832047001059775/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 + 11362847691103585628782034919858260480275496384442276185/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 + 546495503450750042788316707771507618510685798360319499/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 + 46858899082573019963312677595790451357302680161544307034/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 + 49652040088586020993618395272634301425982490027970769090/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 + 59821063065676684407300288718095116906652176694537101131/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 + 124496429242257019105073817763731025394645839566389114898/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 + 228898883511262063657902083185021991367367315598663113525/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 263628658093474142941175222573423577807547282925419980244/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 4270477220648780264572909884274553584865701502662832402/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 190297345073294114804406584624055916512711836584968894030/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 233421108703691993163587632897928566855299388282807232602/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 263382961035753401723413471241955245992344721147759754458/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 310701020478449291782060890019869274292078300692957504379/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 233499823037322635925444947714787175994377959779673953102/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 171032944453359095513776925661136597065853292024739119982/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 + 51119361856911319603576924641782737255060221349686093897/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 63748831505420784514351337795538601139950046799871534420/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 + 23973478757850438424673306092311236198457886562818468035/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 + 438195867753842477215584769497745277968939587258294606/125619344306\ 3884525145652857860805009476095639386099659*c_0110_11^2 - 1205386786100285427883922491334094185636566226438236107/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 + 1246842757986588721725265779222137604408438067466519382/12561934430\ 63884525145652857860805009476095639386099659, c_0101_0 + 228572936688861415554653186849082659769105870389760200/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 + 32671286862366045758895619643025331719546852377225435/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 + 7217368835674220532790802748232029550342797589709672068/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^20 + 341984592413822568117353591057565889118185702615517500/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 + 28363283292858058552198417704531944673208291895645743551/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 + 27891744357980636974985396580930922792188594663838524978/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 + 32444330598554466134146026146936331889341869370638279503/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 + 73764623708496840809920473933788227605979700184027732512/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^15 + 138733235055903988390805673908244846669999795278840400153/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 151631588738342769954295909411508191629561958820853729781/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 2171412089472125427170052178551330800913524163237424824/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 89869738289315171568404120520027483180502737855642125583/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^11 + 123412405798579435290120099391636046468389159273582391757/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 144947915588290701622501594665276817298767182141101782054/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 167890394643107314879132030009295885841025423011917340842/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 114562245980833428304089626976827743653975492292685475731/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 70971216447723738906739269623308573094174747118839457610/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^6 + 5272215043806693643232687488223653306059463703587939651/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^5 + 21913954394395184407618977166342607933476343596206190702/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 + 8726543278651060565418785722946304922325096322067715099/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^3 - 9475122631156945867092302980273204025003602572140350663/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11^2 - 3022207334876715630789390643432769871123549226952432076/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 - 61273188311882765483728134397583068225464407219880374/1256193443063\ 884525145652857860805009476095639386099659, c_0101_11 + 8485373233864388894043599836715189213484367226074400/237017\ 63076677066512182129393600094518416898856341503*c_0110_11^22 + 60923122311065083772820083586280451375186610580640735/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 + 245130092364487535690771470182363335538998731647460506/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^20 + 585932927185071921539894634975989077340049784097028096/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 + 863644026813125163692807323896017814877467394308507498/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^18 + 802880853044818459657838344055484845430002217413307401/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^17 + 1064070722687216670317472335596156255176956213866477282/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^16 + 2505328923815344824092911317230581018948202233947106775/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^15 + 4385526039504998724811916303608522822422885486751311359/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^14 + 4373680057907439058911191188218386275515264218253955913/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^13 + 3426755010537231378108150879387188246421780957009900166/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 2991789816604521786967432026738997829958424651346237358/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^11 + 4261643610323283105976449778466488004186965452460531002/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^10 + 4464960315388844548507450562653889124981423315840015195/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^9 + 5432121675916451800648326362068859160279954750135325261/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^8 + 3172888180367139908186391490074640195717355193426294705/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^7 + 2606146413885471673454648939115946966303753342942191732/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^6 + 119663159153094874390282502023563248474155531304062974/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^5 + 1455754155052000768813639645127431029562719070158618455/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^4 + 12342088964042490734048047884749303414203926820741413/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^3 - 63768037476722878156786750818202521332988417722645618/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^2 + 13308007567108502636854453726433555362703526498867919/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11 + 16375812367060315973322616951595564951067211685721020/2370176307667\ 7066512182129393600094518416898856341503, c_0101_5 + 1123380211216242550551575485906792249379126905160748200/1256\ 193443063884525145652857860805009476095639386099659*c_0110_11^22 + 156114299858351181989767921427015179138652157182735785/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^21 + 33947989654985999204270102902680780023827147077896864003/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 + 1576160437824961397295259791744525095787120321869313348/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^19 + 128354169832004776296378298183968679449758299070419803940/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^18 + 126071403479670633124856771793242600117253348301313163147/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^17 + 157300460821637214489952188867396741440619419461751696986/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^16 + 353230026894744702420553102366869017770552237142340736352/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 + 638147335262908085920654468895452021227802534999127666330/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 681077838683260210657136662967289621176523059122774549902/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 10315885632653010813061056051999945821813945618905940650/2370176307\ 6677066512182129393600094518416898856341503*c_0110_11^12 + 456048750100641358686441641306828799757282582647208541679/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 615075756808258477703838942658846484259291344916172112945/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 679133784512857081966095197322659616578153819250574552103/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 813139827756134512088251980703238828479788256724522610138/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 530365809607133603759611479060611237487494732396145809692/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 396106948508722771933834431826703046115013179731670018528/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 + 48880188882541619676897794576914852853937059966295674905/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 178737639428954191313897491213124128800717784283280625454/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^4 + 26973233077298855948008693940136199149449798411272669953/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 - 10851084067488436935840777635645890869116018913914788694/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^2 - 8076299905274900426842436987986434024268666276043556/17137700451076\ 18724618898851106145988371208239271623*c_0110_11 + 528901172798521856973035836242117313318975011131221699/125619344306\ 3884525145652857860805009476095639386099659, c_0101_8 + 446316976126393355550566158302738548413764832780744550/12561\ 93443063884525145652857860805009476095639386099659*c_0110_11^22 + 62588619045133452919953700914464127621599736220402815/2370176307667\ 7066512182129393600094518416898856341503*c_0110_11^21 + 13731381727597276279643490140356993907986143100215982987/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^20 + 646181568812985219905046662305775596807800451497550893/237017630766\ 77066512182129393600094518416898856341503*c_0110_11^19 + 53798217410585801537317196730132718882807625794217009642/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^18 + 54727022307841197422932083347094422411125758239948254140/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^17 + 67288386132186775890981581898012944106154472541197173683/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^16 + 145329888158115675657252204057182383128856692303722020638/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^15 + 264510784701007767039984853408301837325520785272799448424/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^14 + 292646524051968055939029205446367064255148724515417517970/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^13 + 4592213872902137102590271450981734484148211383723793691/23701763076\ 677066512182129393600094518416898856341503*c_0110_11^12 + 200830619698738324038366740177158780024014724360693556788/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^11 + 258773117382685240723469695551614249484104773231601266026/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^10 + 288331337215558663694496004085821697359590130374307817037/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^9 + 347742510959337914522743817806324429040400411721858781472/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^8 + 237860781085496200538604963293591816896153242596900001690/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^7 + 179689033244581061814724062132973229891035356617769660753/125619344\ 3063884525145652857860805009476095639386099659*c_0110_11^6 + 30147038271109477494901147054115256442663008473802415121/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^5 + 74066252160926660038299584846230371094942628266166972231/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^4 + 10339476971790374157958316281550241069960432575711278434/1256193443\ 063884525145652857860805009476095639386099659*c_0110_11^3 + 53489200948211974643858150155025939413128151202816113/1256193443063\ 884525145652857860805009476095639386099659*c_0110_11^2 - 4363615215119918956651741220850761598748039979736791743/12561934430\ 63884525145652857860805009476095639386099659*c_0110_11 - 45504652372767638447021313080229235462170594537837744/1256193443063\ 884525145652857860805009476095639386099659, c_0110_11^23 + 37/5*c_0110_11^22 + 761/25*c_0110_11^21 + 1879/25*c_0110_11^20 + 2896/25*c_0110_11^19 + 2846/25*c_0110_11^18 + 3514/25*c_0110_11^17 + 7909/25*c_0110_11^16 + 14376/25*c_0110_11^15 + 15404/25*c_0110_11^14 + 12268/25*c_0110_11^13 + 10172/25*c_0110_11^12 + 13754/25*c_0110_11^11 + 15341/25*c_0110_11^10 + 18249/25*c_0110_11^9 + 12048/25*c_0110_11^8 + 8768/25*c_0110_11^7 + 1161/25*c_0110_11^6 + 3844/25*c_0110_11^5 + 781/25*c_0110_11^4 - 289/25*c_0110_11^3 - 126/25*c_0110_11^2 + 2*c_0110_11 + 7/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.220 Total time: 6.429 seconds, Total memory usage: 82.44MB