Magma V2.19-8 Wed Aug 21 2013 00:26:45 on localhost [Seed = 475664302] Type ? for help. Type -D to quit. Loading file "K14n14860__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14860 geometric_solution 12.14415899 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 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 0 -1 0 0 0 0 -8 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399746255312 0.979836503678 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 -1 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 -8 0 8 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377233548992 0.376502432023 8 0 9 8 0132 0132 0132 1023 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 -1 0 1 0 0 0 0 9 0 0 -9 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744702054203 1.133088976144 5 9 9 0 3120 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042605979349 0.760114574397 10 11 0 7 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209629304243 0.481690727128 6 1 8 3 0132 0132 1023 3120 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 -8 8 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556873091753 0.478477115595 5 8 1 10 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 8 -9 0 1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.073510621011 1.311470719780 11 9 4 1 3120 3120 1230 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.299788140705 0.652827161503 2 6 5 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -9 0 0 9 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744702054203 1.133088976144 3 7 3 2 1023 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113391389951 0.589796417700 4 12 6 12 0132 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 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.761033855705 0.853261017494 12 4 12 7 0213 0132 0321 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 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761033855705 0.853261017494 11 10 11 10 0213 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.761033855705 0.853261017494 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : 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' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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' : negation(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_3']), 'c_1100_8' : d['c_0101_3'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0101_8'], 's_3_1' : negation(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_7']), 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_0']), '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_0101_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_1']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), '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_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5']})} 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 112309663286415674840896388945865766164600836662911208888049/224756\ 4254078444782499776935460703669892328457077163867570176*c_1001_7^25 + 731988109964852426636275800676166907625171226951558821778795/1123\ 782127039222391249888467730351834946164228538581933785088*c_1001_7^\ 24 + 1027971219419621481158928319786390577368990574631084221416435/\ 280945531759805597812472116932587958736541057134645483446272*c_1001\ _7^23 + 31516735709137647759911924539316610043573532461666836642421\ 13/280945531759805597812472116932587958736541057134645483446272*c_1\ 001_7^22 + 40911861747494980126840468094769019881271786896972920516\ 904853/224756425407844478249977693546070366989232845707716386757017\ 6*c_1001_7^21 + 370876667205575581075959400921385571334046522781175\ 5552270595/56189106351961119562494423386517591747308211426929096689\ 2544*c_1001_7^20 - 586594854831506929321830100370537976258839560336\ 42236319507981/2247564254078444782499776935460703669892328457077163\ 867570176*c_1001_7^19 - 1513840218083380147738717519283406636177802\ 9561911792580791501/11237821270392223912498884677303518349461642285\ 38581933785088*c_1001_7^18 + 34971041531621356760891967839840029097\ 88362667162119716899553/2918914615686291925324385630468446324535491\ 5026976154124288*c_1001_7^17 + 370307710967589744403425633554035693\ 44860969335939254717495779/1605403038627460558928412096757645478494\ 52032648368847683584*c_1001_7^16 - 2470593249285302134372925807621944955125508876968145776639857/20432\ 4023098040434772706994132791242717484405188833078870016*c_1001_7^15 - 253688703326098384051435565167106880235983074223045728555489025/5\ 61891063519611195624944233865175917473082114269290966892544*c_1001_\ 7^14 - 382510677494103876019387461032141730883257879041825120366451\ 175/2247564254078444782499776935460703669892328457077163867570176*c\ _1001_7^13 + 725704814145088600604802786998815228108023584036390575\ 18632125/8027015193137302794642060483788227392472601632418442384179\ 2*c_1001_7^12 + 646280154412428849213777262072357970873756568612896\ 6091046459/72972865392157298133109640761711158113387287567440385310\ 72*c_1001_7^11 - 28551850766234964669900247858216223340116611877046\ 3312111740649/28094553175980559781247211693258795873654105713464548\ 3446272*c_1001_7^10 - 376101163037496632942534734433168431422921649\ 8818976804031297557/22475642540784447824997769354607036698923284570\ 77163867570176*c_1001_7^9 + 632624827839669377127159118725870720634\ 39187884091939727364445/6610483100230719948528755692531481382036260\ 1678740113752064*c_1001_7^8 + 4683115509378809746481467817402157375\ 116556644739720245875207871/224756425407844478249977693546070366989\ 2328457077163867570176*c_1001_7^7 - 800690495633079495108286405186590524620162774406645520352295003/112\ 3782127039222391249888467730351834946164228538581933785088*c_1001_7\ ^6 - 16112272607539323530235784267054730061463000489661431203106219\ 9/102162011549020217386353497066395621358742202594416539435008*c_10\ 01_7^5 - 3080036190091165470072702243540221272171991624330837400020\ 7773/561891063519611195624944233865175917473082114269290966892544*c\ _1001_7^4 + 1176122189334837270811339057448657092473768573756353157\ 901215989/224756425407844478249977693546070366989232845707716386757\ 0176*c_1001_7^3 + 3309882546160079463783718666129098144447357149635\ 57920477405483/1123782127039222391249888467730351834946164228538581\ 933785088*c_1001_7^2 + 98211442818889431060920411836513843179127974\ 3354403225430891/28094553175980559781247211693258795873654105713464\ 5483446272*c_1001_7 - 578822707428240014798546264173844626144165979\ 83743135177911767/2809455317598055978124721169325879587365410571346\ 45483446272, c_0011_0 - 1, c_0011_10 - 795078813091207697210205645829727633666653/7272914981284569\ 81488702650703804226292714148*c_1001_7^25 - 16006480207299582580731135512769774217534257/1454582996256913962977\ 405301407608452585428296*c_1001_7^24 - 8256207362714548839230664486145680593890142/18182287453211424537217\ 5662675951056573178537*c_1001_7^23 - 32920354050296350622361865066987670174555889/3636457490642284907443\ 51325351902113146357074*c_1001_7^22 - 33040187746358781621219562826733805574324089/7272914981284569814887\ 02650703804226292714148*c_1001_7^21 + 232910296397497610346529755620754099503613567/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 + 65315282268338247501406471245182431768314573/3636457490642284907443\ 51325351902113146357074*c_1001_7^19 - 812971587783317977999844013051363969092618603/145458299625691396297\ 7405301407608452585428296*c_1001_7^18 - 977856118860774643146629258358128650070271287/727291498128456981488\ 702650703804226292714148*c_1001_7^17 + 42486576984264390088004909189878656854582047/1454582996256913962977\ 405301407608452585428296*c_1001_7^16 + 2167300995086375212842863712999825748576950065/72729149812845698148\ 8702650703804226292714148*c_1001_7^15 + 1769639733296177569325147546849258127019430651/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 - 1109466933016231675202632833661957835550190395/18182287453211424537\ 2175662675951056573178537*c_1001_7^13 - 7529598607792944166640147158733015231489196213/14545829962569139629\ 77405301407608452585428296*c_1001_7^12 + 6053923071755932534477321440881850247454367809/72729149812845698148\ 8702650703804226292714148*c_1001_7^11 + 4030602799784487858983097024129404159056703049/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 - 8311520215597442576175263133563075715796899743/72729149812845698148\ 8702650703804226292714148*c_1001_7^9 - 21342264559103633657865447806656449824214037715/1454582996256913962\ 977405301407608452585428296*c_1001_7^8 + 11638089655765190387349562028002100227218282081/7272914981284569814\ 88702650703804226292714148*c_1001_7^7 + 10446242865325486821620454319105417274550063029/1454582996256913962\ 977405301407608452585428296*c_1001_7^6 - 3112399813077268597022864536432326558448046745/36364574906422849074\ 4351325351902113146357074*c_1001_7^5 - 1317995649670210564196230581020932399636655157/72729149812845698148\ 8702650703804226292714148*c_1001_7^4 + 2416720873526588257607928018535665116733384275/72729149812845698148\ 8702650703804226292714148*c_1001_7^3 - 1458963523753959692810517786766181942692063117/14545829962569139629\ 77405301407608452585428296*c_1001_7^2 + 126253925183824489762368792822916514858002297/181822874532114245372\ 175662675951056573178537*c_1001_7 - 420588815817485997141075852678468065355373899/363645749064228490744\ 351325351902113146357074, c_0011_3 - 107674152548250792579119897293985686508319/29091659925138279\ 25954810602815216905170856592*c_1001_7^25 - 623156462398539472310480806155928388874967/363645749064228490744351\ 325351902113146357074*c_1001_7^24 - 10982920952483466765162247146066058247703325/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 - 10608405734156594758937276812184679943991373/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 - 302059312438706809314464476053299092644574571/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 - 4686640877480046517206245506903372283266693/14545829962569139629774\ 05301407608452585428296*c_1001_7^20 + 955647205901903841531579357069204689359824035/290916599251382792595\ 4810602815216905170856592*c_1001_7^19 + 261825152914203333103256806260201096645822153/727291498128456981488\ 702650703804226292714148*c_1001_7^18 - 2183230374024311457371135726887441364790481023/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 - 1372035272454815311146419011965281056087728165/72729149812845698148\ 8702650703804226292714148*c_1001_7^16 + 1180027553591686353988549405420736694267945441/29091659925138279259\ 54810602815216905170856592*c_1001_7^15 + 7742361361331272243468183348103343913562336775/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 8504209967848994190746062870708359955419625449/29091659925138279259\ 54810602815216905170856592*c_1001_7^13 - 13519586694828183627128368595831561059423949381/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 7013582843977464263093847180465162289195048541/72729149812845698148\ 8702650703804226292714148*c_1001_7^11 + 4721799673900582813208091557485092033483541255/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 + 65142834622260959515277652359755057990844602923/2909165992513827925\ 954810602815216905170856592*c_1001_7^9 - 2337152692556725401351856614990651944647499852/18182287453211424537\ 2175662675951056573178537*c_1001_7^8 - 88128269414176522127312005325510398866575504789/2909165992513827925\ 954810602815216905170856592*c_1001_7^7 + 2748087458735192766597868862137666258921563570/18182287453211424537\ 2175662675951056573178537*c_1001_7^6 + 32715855551733508563174788474574181305218008417/1454582996256913962\ 977405301407608452585428296*c_1001_7^5 - 828724514936968994464734476116285148697652892/181822874532114245372\ 175662675951056573178537*c_1001_7^4 - 27881186613180490552690181708553564579441536195/2909165992513827925\ 954810602815216905170856592*c_1001_7^3 - 644839375177935347783438342171356313335802093/181822874532114245372\ 175662675951056573178537*c_1001_7^2 - 244818238624555183422177308538063458440839853/727291498128456981488\ 702650703804226292714148*c_1001_7 + 677891796318136674492209209525418935282113024/181822874532114245372\ 175662675951056573178537, c_0011_7 + 6111765773204366075470009132123513896082759/2909165992513827\ 925954810602815216905170856592*c_1001_7^25 + 7829105106234758877560642692131521580262471/36364574906422849074435\ 1325351902113146357074*c_1001_7^24 + 65817524794297103555826019066955091555591651/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 + 33262606239184725829236336754582693558392609/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 + 248401460727037691650614414804700734328158867/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 - 551835685502351175032492682415020768813857403/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 - 1481772446782975454045802168033957132723584019/29091659925138279259\ 54810602815216905170856592*c_1001_7^19 + 756960313672500673467013107438233350807432187/727291498128456981488\ 702650703804226292714148*c_1001_7^18 + 8778141406272782183183032066767811072685040495/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 + 272597672323528077555223053315063256186911249/727291498128456981488\ 702650703804226292714148*c_1001_7^16 - 19771198780891138267632577999036623638913520545/2909165992513827925\ 954810602815216905170856592*c_1001_7^15 - 6895777289594182164385525309844678294160117647/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 35504258635485317805688519917559034034836247383/2909165992513827925\ 954810602815216905170856592*c_1001_7^13 + 22150619475737843136723040761166600411487254149/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 10567171148446201281534974967609098123517788269/7272914981284569814\ 88702650703804226292714148*c_1001_7^11 - 11208334101760662510877842071860729222309091373/3636457490642284907\ 44351325351902113146357074*c_1001_7^10 + 43290896300372658158266879683170831610260361773/2909165992513827925\ 954810602815216905170856592*c_1001_7^9 + 7455905960317823259514688308371134700137962096/18182287453211424537\ 2175662675951056573178537*c_1001_7^8 - 53527345554235239632227997272198130607019180811/2909165992513827925\ 954810602815216905170856592*c_1001_7^7 - 5136632769038838856398423713906971360308273254/18182287453211424537\ 2175662675951056573178537*c_1001_7^6 + 7774257553740753369137637143163913686885003275/14545829962569139629\ 77405301407608452585428296*c_1001_7^5 + 2335087588463845354268739189558409410808169530/18182287453211424537\ 2175662675951056573178537*c_1001_7^4 + 4236409379666634805066020031769699390163038491/29091659925138279259\ 54810602815216905170856592*c_1001_7^3 - 40569419069817087511394493638839014908092464/1818228745321142453721\ 75662675951056573178537*c_1001_7^2 - 2780812634779709120644268839352914929656811189/72729149812845698148\ 8702650703804226292714148*c_1001_7 + 215660717653121106219335699153813893366241175/181822874532114245372\ 175662675951056573178537, c_0101_0 - 541684169169166626833103733821788940599401/29091659925138279\ 25954810602815216905170856592*c_1001_7^25 - 1835706543911684985904363251260508438025777/72729149812845698148870\ 2650703804226292714148*c_1001_7^24 - 10768788139211805687269796309602367131065257/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 - 8646394916628493222564439757639974316594164/18182287453211424537217\ 5662675951056573178537*c_1001_7^22 - 237832087589028614170896011159282655885796717/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 - 53262036531064801470463789678049402878955057/1454582996256913962977\ 405301407608452585428296*c_1001_7^20 + 339431843864534333184091581307943634643354453/290916599251382792595\ 4810602815216905170856592*c_1001_7^19 + 32919034311706590118595480656233149439387313/3636457490642284907443\ 51325351902113146357074*c_1001_7^18 - 1517318095749971542601238888236696915541969025/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 - 420045208848955649114968696110814367013222693/363645749064228490744\ 351325351902113146357074*c_1001_7^16 - 386177778376579275546236161035233316006479697/290916599251382792595\ 4810602815216905170856592*c_1001_7^15 + 3219136617094873056595857771883220413227701091/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 4023208103624357093938890177583022394864054447/29091659925138279259\ 54810602815216905170856592*c_1001_7^13 - 6070576912863748810214946165436038035232546313/14545829962569139629\ 77405301407608452585428296*c_1001_7^12 - 3933567158610563250411996778038576283729297155/72729149812845698148\ 8702650703804226292714148*c_1001_7^11 + 1464096044634356804174308482622818575357959995/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 + 28692378658098415133279659695247612274331928141/2909165992513827925\ 954810602815216905170856592*c_1001_7^9 - 1926983471561518359951989983806376003913229785/72729149812845698148\ 8702650703804226292714148*c_1001_7^8 - 36619943008878272731302450834968011286376497083/2909165992513827925\ 954810602815216905170856592*c_1001_7^7 + 838496698342414821754084009539994810632596511/727291498128456981488\ 702650703804226292714148*c_1001_7^6 + 14258639857066293572606734189633234033860243579/1454582996256913962\ 977405301407608452585428296*c_1001_7^5 + 581247317791658291074764139308949987875356767/363645749064228490744\ 351325351902113146357074*c_1001_7^4 - 10467582357407640954081487658305934981827763189/2909165992513827925\ 954810602815216905170856592*c_1001_7^3 - 1304725434361993117441930291525275832712350659/72729149812845698148\ 8702650703804226292714148*c_1001_7^2 - 205287524959983733988755998393644595067100465/727291498128456981488\ 702650703804226292714148*c_1001_7 + 146186894715849334168495408994017660371930947/181822874532114245372\ 175662675951056573178537, c_0101_1 + 5269149627587625653849800932942947431172463/2909165992513827\ 925954810602815216905170856592*c_1001_7^25 + 3253671152698802867587011270496877534612675/18182287453211424537217\ 5662675951056573178537*c_1001_7^24 + 51815943556211462485226201921623174031992233/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 + 23442534590258301655938614578342937074862236/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 + 34623922169413096596732296151887718331567355/2909165992513827925954\ 810602815216905170856592*c_1001_7^21 - 543812488067080246550128356306852950261101375/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 - 1075415551628662743613098937055139656890243651/29091659925138279259\ 54810602815216905170856592*c_1001_7^19 + 724444079045566720646598050958459491140706421/727291498128456981488\ 702650703804226292714148*c_1001_7^18 + 6600817960946596903266781052548083182848350735/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 - 419663937314407739191041818214257460238899925/727291498128456981488\ 702650703804226292714148*c_1001_7^16 - 17695649845189860166954679927470870940045694017/2909165992513827925\ 954810602815216905170856592*c_1001_7^15 - 3440855769030759140219275322285010464500986459/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 34137202934532544392969060852402339992893240647/2909165992513827925\ 954810602815216905170856592*c_1001_7^13 + 14215232953201401640918076134627902437513135313/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 12306129860739027329980379772971994485006307295/7272914981284569814\ 88702650703804226292714148*c_1001_7^11 - 8394566947339322958223661224218287335400220807/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 + 61451631596969306149500621660338680241872436789/2909165992513827925\ 954810602815216905170856592*c_1001_7^9 + 11611271762821026604547258176889407693324374989/3636457490642284907\ 44351325351902113146357074*c_1001_7^8 - 76908722614378968379186329120546366316712830523/2909165992513827925\ 954810602815216905170856592*c_1001_7^7 - 7605499136912951962024075387681061250548943819/36364574906422849074\ 4351325351902113146357074*c_1001_7^6 + 16690459795357806048741899933543241467599941711/1454582996256913962\ 977405301407608452585428296*c_1001_7^5 + 2043148834518321049247461401890973690278571212/18182287453211424537\ 2175662675951056573178537*c_1001_7^4 - 3147062297781327505526783654683272547321570541/29091659925138279259\ 54810602815216905170856592*c_1001_7^3 - 513397417559063934445110608505058897704470669/363645749064228490744\ 351325351902113146357074*c_1001_7^2 - 2669497019770163415822419866737087822252963875/72729149812845698148\ 8702650703804226292714148*c_1001_7 + 329956077347815264481120586990211359832714786/181822874532114245372\ 175662675951056573178537, c_0101_10 - 126747960578578350497596103933150112661583/7272914981284569\ 81488702650703804226292714148*c_1001_7^25 - 3938577209875903413934225934922594756364215/14545829962569139629774\ 05301407608452585428296*c_1001_7^24 - 12241491740985391787454179120448780567015713/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 - 9710119797606668396543685388465351706502919/18182287453211424537217\ 5662675951056573178537*c_1001_7^22 - 58176890165559949736391441417192840151447423/7272914981284569814887\ 02650703804226292714148*c_1001_7^21 + 18322375104858073856329652947355043509041401/1454582996256913962977\ 405301407608452585428296*c_1001_7^20 + 165631005807564424322785600579291872198156541/727291498128456981488\ 702650703804226292714148*c_1001_7^19 + 170302819062503797073383478130198442353144331/145458299625691396297\ 7405301407608452585428296*c_1001_7^18 - 140575105308111347798273420571230763133752309/181822874532114245372\ 175662675951056573178537*c_1001_7^17 - 1933515058400321954628510423067802606936235067/14545829962569139629\ 77405301407608452585428296*c_1001_7^16 + 244798257642637336805886351678278114844364377/363645749064228490744\ 351325351902113146357074*c_1001_7^15 + 5262410681238701298754539842762348039542547321/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 446720915022690032699435389033999576932813499/727291498128456981488\ 702650703804226292714148*c_1001_7^13 - 10908974636628620031410622604113423668355195115/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 1840505687190722267897181213040249449610367103/36364574906422849074\ 4351325351902113146357074*c_1001_7^11 + 3941893409894547766701943086470535703109371133/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 + 9108609109273196329435784446742717905806476131/72729149812845698148\ 8702650703804226292714148*c_1001_7^9 - 19018598738922181210906831536744650652399321309/1454582996256913962\ 977405301407608452585428296*c_1001_7^8 - 3282721246488813355252440767686935356478072099/18182287453211424537\ 2175662675951056573178537*c_1001_7^7 + 20223064242502361981611194786215482405413130815/1454582996256913962\ 977405301407608452585428296*c_1001_7^6 + 9919975365129725460182498454900269089685030711/72729149812845698148\ 8702650703804226292714148*c_1001_7^5 - 3899839528887466357210028858082925375184302249/72729149812845698148\ 8702650703804226292714148*c_1001_7^4 - 5404608473558822520919012857798977650369154397/72729149812845698148\ 8702650703804226292714148*c_1001_7^3 - 1204939082417066192632461811257240634304290131/14545829962569139629\ 77405301407608452585428296*c_1001_7^2 + 621615224922222374040382295647088455284974403/727291498128456981488\ 702650703804226292714148*c_1001_7 + 409294381074620789789791448038962191165096848/181822874532114245372\ 175662675951056573178537, c_0101_2 + 4234846037778472894367511415541387813499309/2909165992513827\ 925954810602815216905170856592*c_1001_7^25 + 11203515208171389862379811937916781388104317/7272914981284569814887\ 02650703804226292714148*c_1001_7^24 + 49110793279004654605012347461169630819714627/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 + 26522386398442083298825415467420925901271354/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 + 268524851548542364135974241837298566380977265/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 - 392420831884234257710458599514298214378223739/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 - 1415158431794085874838006459234360242464839281/29091659925138279259\ 54810602815216905170856592*c_1001_7^19 + 205515574356823557078405728083459853265947195/363645749064228490744\ 351325351902113146357074*c_1001_7^18 + 6770298836403853056194117080407756400558712989/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 + 331749089282464259435843573957752659598491423/363645749064228490744\ 351325351902113146357074*c_1001_7^16 - 14231337319662353327957898882365693791980192627/2909165992513827925\ 954810602815216905170856592*c_1001_7^15 - 7758139380484184388795954173577225252638929791/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 20874326391847301895919152256902724419333379405/2909165992513827925\ 954810602815216905170856592*c_1001_7^13 + 20111309544039756936267609633425404810122691589/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 4582311690834873547142489301846627108282108851/72729149812845698148\ 8702650703804226292714148*c_1001_7^11 - 9453339734537828456620828104115168494198604767/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 + 3559977593714926437941596329431238395136787327/29091659925138279259\ 54810602815216905170856592*c_1001_7^9 + 23451394114378783467467585779417156705092008977/7272914981284569814\ 88702650703804226292714148*c_1001_7^8 - 2035090857713345415728409308392691313063927473/29091659925138279259\ 54810602815216905170856592*c_1001_7^7 - 16839861518045636603715722706938051862369302351/7272914981284569814\ 88702650703804226292714148*c_1001_7^6 - 8939022825777657260991589290976170677712246035/14545829962569139629\ 77405301407608452585428296*c_1001_7^5 + 2759873370553549061587863321642377980639145055/36364574906422849074\ 4351325351902113146357074*c_1001_7^4 + 21215278273837416685762664242634402798487839401/2909165992513827925\ 954810602815216905170856592*c_1001_7^3 + 1680583116637769515432896515070119871633814735/72729149812845698148\ 8702650703804226292714148*c_1001_7^2 - 2412172450985391771265930049473087656053080825/72729149812845698148\ 8702650703804226292714148*c_1001_7 - 168906140903530251402689707323048640225186256/181822874532114245372\ 175662675951056573178537, c_0101_3 - 1, c_0101_5 + 6111765773204366075470009132123513896082759/2909165992513827\ 925954810602815216905170856592*c_1001_7^25 + 7829105106234758877560642692131521580262471/36364574906422849074435\ 1325351902113146357074*c_1001_7^24 + 65817524794297103555826019066955091555591651/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 + 33262606239184725829236336754582693558392609/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 + 248401460727037691650614414804700734328158867/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 - 551835685502351175032492682415020768813857403/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 - 1481772446782975454045802168033957132723584019/29091659925138279259\ 54810602815216905170856592*c_1001_7^19 + 756960313672500673467013107438233350807432187/727291498128456981488\ 702650703804226292714148*c_1001_7^18 + 8778141406272782183183032066767811072685040495/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 + 272597672323528077555223053315063256186911249/727291498128456981488\ 702650703804226292714148*c_1001_7^16 - 19771198780891138267632577999036623638913520545/2909165992513827925\ 954810602815216905170856592*c_1001_7^15 - 6895777289594182164385525309844678294160117647/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 35504258635485317805688519917559034034836247383/2909165992513827925\ 954810602815216905170856592*c_1001_7^13 + 22150619475737843136723040761166600411487254149/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 - 10567171148446201281534974967609098123517788269/7272914981284569814\ 88702650703804226292714148*c_1001_7^11 - 11208334101760662510877842071860729222309091373/3636457490642284907\ 44351325351902113146357074*c_1001_7^10 + 43290896300372658158266879683170831610260361773/2909165992513827925\ 954810602815216905170856592*c_1001_7^9 + 7455905960317823259514688308371134700137962096/18182287453211424537\ 2175662675951056573178537*c_1001_7^8 - 53527345554235239632227997272198130607019180811/2909165992513827925\ 954810602815216905170856592*c_1001_7^7 - 5136632769038838856398423713906971360308273254/18182287453211424537\ 2175662675951056573178537*c_1001_7^6 + 7774257553740753369137637143163913686885003275/14545829962569139629\ 77405301407608452585428296*c_1001_7^5 + 2335087588463845354268739189558409410808169530/18182287453211424537\ 2175662675951056573178537*c_1001_7^4 + 4236409379666634805066020031769699390163038491/29091659925138279259\ 54810602815216905170856592*c_1001_7^3 - 40569419069817087511394493638839014908092464/1818228745321142453721\ 75662675951056573178537*c_1001_7^2 - 2780812634779709120644268839352914929656811189/72729149812845698148\ 8702650703804226292714148*c_1001_7 + 215660717653121106219335699153813893366241175/181822874532114245372\ 175662675951056573178537, c_0101_7 + 448206389245322882207523258991241506525851/14545829962569139\ 62977405301407608452585428296*c_1001_7^25 + 3502163534467959188737658495104001625084239/14545829962569139629774\ 05301407608452585428296*c_1001_7^24 + 4025359780063361354283536769801174959158235/72729149812845698148870\ 2650703804226292714148*c_1001_7^23 - 1030424019226505133808944941765211073526920/18182287453211424537217\ 5662675951056573178537*c_1001_7^22 - 75909291482713763381989825918333690500196113/1454582996256913962977\ 405301407608452585428296*c_1001_7^21 - 118096916080622978757787526658077052253152875/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 + 105052784747681441058197537355482147247299909/145458299625691396297\ 7405301407608452585428296*c_1001_7^19 + 493506607546742693249238787700595682459946889/145458299625691396297\ 7405301407608452585428296*c_1001_7^18 + 63382308384929568153472929840602974287180205/1454582996256913962977\ 405301407608452585428296*c_1001_7^17 - 1534098797904718880645194658973004479696474601/14545829962569139629\ 77405301407608452585428296*c_1001_7^16 - 1543844571786433786450541876221883188265710479/14545829962569139629\ 77405301407608452585428296*c_1001_7^15 + 2773805571699975930250457700305752897230518469/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 + 5034189818670883953006904211873438803077815927/14545829962569139629\ 77405301407608452585428296*c_1001_7^13 - 3704847668678955608297415497889326403489029175/14545829962569139629\ 77405301407608452585428296*c_1001_7^12 - 1404422992390371113157151759098269894033807186/18182287453211424537\ 2175662675951056573178537*c_1001_7^11 + 491627930193166551970248310196703881819952445/363645749064228490744\ 351325351902113146357074*c_1001_7^10 + 20042790190515578489334267596043888247559748409/1454582996256913962\ 977405301407608452585428296*c_1001_7^9 - 307526298947706020420858081888749387660193315/145458299625691396297\ 7405301407608452585428296*c_1001_7^8 - 26850268458245241721222915942809607805980431601/1454582996256913962\ 977405301407608452585428296*c_1001_7^7 + 5304028309283410353764922651308023961742755857/14545829962569139629\ 77405301407608452585428296*c_1001_7^6 + 3986580292534274276095964750857636262482615205/36364574906422849074\ 4351325351902113146357074*c_1001_7^5 - 461365617852196819069477059144155080300921247/727291498128456981488\ 702650703804226292714148*c_1001_7^4 - 5824519525413208149779823275155016577878013557/14545829962569139629\ 77405301407608452585428296*c_1001_7^3 - 1043406198356690604719901411895766499037893357/14545829962569139629\ 77405301407608452585428296*c_1001_7^2 - 1148663089971756210020452648851987249025037101/72729149812845698148\ 8702650703804226292714148*c_1001_7 + 349525297246987100528438522414914520424633334/181822874532114245372\ 175662675951056573178537, c_0101_8 - 4234846037778472894367511415541387813499309/2909165992513827\ 925954810602815216905170856592*c_1001_7^25 - 11203515208171389862379811937916781388104317/7272914981284569814887\ 02650703804226292714148*c_1001_7^24 - 49110793279004654605012347461169630819714627/7272914981284569814887\ 02650703804226292714148*c_1001_7^23 - 26522386398442083298825415467420925901271354/1818228745321142453721\ 75662675951056573178537*c_1001_7^22 - 268524851548542364135974241837298566380977265/290916599251382792595\ 4810602815216905170856592*c_1001_7^21 + 392420831884234257710458599514298214378223739/145458299625691396297\ 7405301407608452585428296*c_1001_7^20 + 1415158431794085874838006459234360242464839281/29091659925138279259\ 54810602815216905170856592*c_1001_7^19 - 205515574356823557078405728083459853265947195/363645749064228490744\ 351325351902113146357074*c_1001_7^18 - 6770298836403853056194117080407756400558712989/29091659925138279259\ 54810602815216905170856592*c_1001_7^17 - 331749089282464259435843573957752659598491423/363645749064228490744\ 351325351902113146357074*c_1001_7^16 + 14231337319662353327957898882365693791980192627/2909165992513827925\ 954810602815216905170856592*c_1001_7^15 + 7758139380484184388795954173577225252638929791/14545829962569139629\ 77405301407608452585428296*c_1001_7^14 - 20874326391847301895919152256902724419333379405/2909165992513827925\ 954810602815216905170856592*c_1001_7^13 - 20111309544039756936267609633425404810122691589/1454582996256913962\ 977405301407608452585428296*c_1001_7^12 + 4582311690834873547142489301846627108282108851/72729149812845698148\ 8702650703804226292714148*c_1001_7^11 + 9453339734537828456620828104115168494198604767/36364574906422849074\ 4351325351902113146357074*c_1001_7^10 - 3559977593714926437941596329431238395136787327/29091659925138279259\ 54810602815216905170856592*c_1001_7^9 - 23451394114378783467467585779417156705092008977/7272914981284569814\ 88702650703804226292714148*c_1001_7^8 + 2035090857713345415728409308392691313063927473/29091659925138279259\ 54810602815216905170856592*c_1001_7^7 + 16839861518045636603715722706938051862369302351/7272914981284569814\ 88702650703804226292714148*c_1001_7^6 + 8939022825777657260991589290976170677712246035/14545829962569139629\ 77405301407608452585428296*c_1001_7^5 - 2759873370553549061587863321642377980639145055/36364574906422849074\ 4351325351902113146357074*c_1001_7^4 - 21215278273837416685762664242634402798487839401/2909165992513827925\ 954810602815216905170856592*c_1001_7^3 - 1680583116637769515432896515070119871633814735/72729149812845698148\ 8702650703804226292714148*c_1001_7^2 + 2412172450985391771265930049473087656053080825/72729149812845698148\ 8702650703804226292714148*c_1001_7 + 168906140903530251402689707323048640225186256/181822874532114245372\ 175662675951056573178537, c_1001_7^26 + 12*c_1001_7^25 + 60*c_1001_7^24 + 152*c_1001_7^23 + 149*c_1001_7^22 - 198*c_1001_7^21 - 597*c_1001_7^20 + 264*c_1001_7^19 + 2561*c_1001_7^18 + 2184*c_1001_7^17 - 4399*c_1001_7^16 - 8054*c_1001_7^15 + 5329*c_1001_7^14 + 19890*c_1001_7^13 - 252*c_1001_7^12 - 34464*c_1001_7^11 - 11413*c_1001_7^10 + 47756*c_1001_7^9 + 18859*c_1001_7^8 - 49356*c_1001_7^7 - 13246*c_1001_7^6 + 24336*c_1001_7^5 + 10701*c_1001_7^4 - 3996*c_1001_7^3 - 4868*c_1001_7^2 - 3496*c_1001_7 + 3376 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.550 Total time: 6.750 seconds, Total memory usage: 141.16MB