Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3280101148] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1443 geometric_solution 5.26581143 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 1 0 0 -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 -1 1 0 1 0 0 -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 1.080572490858 1.932540941157 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 -1 0 1 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.199319499782 0.184667176287 3 5 6 0 1302 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 1 0 -1 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.566007803817 0.702286148209 5 2 0 6 0132 2031 0132 2310 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 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.566007803817 0.702286148209 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 1 -1 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 5.551355750486 2.569914612219 3 2 5 5 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.333457980094 0.551779581040 3 6 6 2 3201 1230 3012 0132 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 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352944373555 0.550147076026 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 521900183113841442617875131445002507822663523865678065130888197/612\ 09228719554998674937412756615564934528348852337169245632*c_0101_5^2\ 9 - 481324891159480861402657084282291904862295154405768407840374186\ 7/30604614359777499337468706378307782467264174426168584622816*c_010\ 1_5^28 - 1098930827846857440240302395333581034556107840363612777680\ 6771785/15302307179888749668734353189153891233632087213084292311408\ *c_0101_5^27 - 1039957493637791008576457515486487391406811407338575\ 0875083974417/61209228719554998674937412756615564934528348852337169\ 245632*c_0101_5^26 + 3199504926071125945149787281417525738077663942\ 6174903376001215581/15302307179888749668734353189153891233632087213\ 084292311408*c_0101_5^25 - 8706670138461858115383167958651052912568\ 343308841529560477358425/612092287195549986749374127566155649345283\ 48852337169245632*c_0101_5^24 - 14089816874942896693325451980215106\ 5169415497829729296895568486051/30604614359777499337468706378307782\ 467264174426168584622816*c_0101_5^23 + 340185585250016354647443664613255846871700367442688793850341994051/\ 61209228719554998674937412756615564934528348852337169245632*c_0101_\ 5^22 + 381613730345826452734822741336699627509776265023435806672383\ 556993/61209228719554998674937412756615564934528348852337169245632*\ c_0101_5^21 - 26273790572531280502585290241814525082483408231609994\ 15298948559/6120922871955499867493741275661556493452834885233716924\ 5632*c_0101_5^20 + 111974633315350466116229313964263382519054075758\ 8072604136805634289/15302307179888749668734353189153891233632087213\ 084292311408*c_0101_5^19 + 1582505922147253321679508589739873117200\ 556161607513412923864889835/153023071798887496687343531891538912336\ 32087213084292311408*c_0101_5^18 - 1386505193487408948408631855093426635616244162573290740225359727657\ /61209228719554998674937412756615564934528348852337169245632*c_0101\ _5^17 - 34629310214952104493695164778026800559512706282845002681678\ 77730613/3060461435977749933746870637830778246726417442616858462281\ 6*c_0101_5^16 - 286216046662651815054911210982988113921477273300544\ 8097044368682611/15302307179888749668734353189153891233632087213084\ 292311408*c_0101_5^15 - 9005835105463759862904256906706762900004005\ 328773802219563588927187/612092287195549986749374127566155649345283\ 48852337169245632*c_0101_5^14 + 10114312604138190653854469707645045\ 058291136203953220934312702277961/612092287195549986749374127566155\ 64934528348852337169245632*c_0101_5^13 + 8142575253717026383917522622644451094238011596778522861269316765293\ /30604614359777499337468706378307782467264174426168584622816*c_0101\ _5^12 + 24262533727172760949357551403357038533334339814059213363390\ 46701/15302307179888749668734353189153891233632087213084292311408*c\ _0101_5^11 - 258149043086307991808913390640384685515462920049385055\ 3953789170243/15302307179888749668734353189153891233632087213084292\ 311408*c_0101_5^10 - 4324460940734038246229157473175294579016380538\ 402733543956146307891/612092287195549986749374127566155649345283488\ 52337169245632*c_0101_5^9 + 161713199567048847619480541726150560879\ 82742544156163811667218461/2744808462760313841925444518233881835629\ 07393956668920384*c_0101_5^8 + 131935056028486477305739156343562530\ 8076207116508461165939675526951/30604614359777499337468706378307782\ 467264174426168584622816*c_0101_5^7 - 327455929049294215608670208543424216236602828439218671176612160853/\ 30604614359777499337468706378307782467264174426168584622816*c_0101_\ 5^6 - 3507685051214794393051066558748609589856641131162857161722788\ 92383/30604614359777499337468706378307782467264174426168584622816*c\ _0101_5^5 + 4285966165245455545877926863118176780914549486491248691\ 636829569/153023071798887496687343531891538912336320872130842923114\ 08*c_0101_5^4 + 849866389982657594867038362804248094551238838918255\ 60701280246215/6120922871955499867493741275661556493452834885233716\ 9245632*c_0101_5^3 + 2806624148177004265353198846866283247762798142\ 174809869054373675/153023071798887496687343531891538912336320872130\ 84292311408*c_0101_5^2 - 345075533415010676605918707440302160575396\ 3390529504917209614827/61209228719554998674937412756615564934528348\ 852337169245632*c_0101_5 - 9090348444008752244650229009574787746745\ 12183337072149002300133/6120922871955499867493741275661556493452834\ 8852337169245632, c_0011_0 - 1, c_0011_2 - 145547072190769546488445897933934652283512830106221025108247\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^29 + 2684509055055992546382951029045620163252026993449613930415551\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^28 + 1226171718291610604357089672778240272751045949662788539911845\ 7/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^27 + 289653093466542140003338393114581266749191651074579908593843\ 9/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^26 - 357483386088263121756720034880530880958224869049304665006537\ 71/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^25 + 23908753514631332352143624679191278749446492044437018896946\ 20/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^24 + 78754136089070075481985141031479497373004147705728801309198\ 054/956394198743046854295897074322118202102005450817768269463*c_010\ 1_5^23 - 9485474323332054930104098558705978896700642053346659971049\ 3056/956394198743046854295897074322118202102005450817768269463*c_01\ 01_5^22 - 106846543847447504855488609894879464747088873478056015629\ 940332/956394198743046854295897074322118202102005450817768269463*c_\ 0101_5^21 + 1187728097576152358537073299351696456311730045604662087\ 396340/956394198743046854295897074322118202102005450817768269463*c_\ 0101_5^20 - 1248756342824200055936234872020489851018215682193916196\ 911925750/956394198743046854295897074322118202102005450817768269463\ *c_0101_5^19 - 1766271444536816874449523380708343341407789139634964\ 933612678325/956394198743046854295897074322118202102005450817768269\ 463*c_0101_5^18 + 3916946278200806836607920642717132020899062776065\ 51830773855061/9563941987430468542958970743221182021020054508177682\ 69463*c_0101_5^17 + 19396402092766336673837819805812987861804148097\ 53877301132146517/9563941987430468542958970743221182021020054508177\ 68269463*c_0101_5^16 + 31928770279146172428247214526672202864584502\ 15595228669953791955/9563941987430468542958970743221182021020054508\ 17768269463*c_0101_5^15 + 25073178681753780886989921242222909878595\ 28444396661818319981659/9563941987430468542958970743221182021020054\ 50817768269463*c_0101_5^14 - 28335202218991169028650598073830706132\ 65109608131610321607973297/9563941987430468542958970743221182021020\ 05450817768269463*c_0101_5^13 - 45559822974427184965840428062033867\ 49744745058997059923942956771/9563941987430468542958970743221182021\ 02005450817768269463*c_0101_5^12 + 5371683590898776616710686991848693549019005752737137984675476/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5^11 + 2896138731532319890114785450800247189277241426871034479718182802/95\ 6394198743046854295897074322118202102005450817768269463*c_0101_5^10 + 1207955772469817657913215666212859892988273465393179527798558634/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 9 - 4546625404137160245685405654022681818562271573710433213251384/4\ 288763223062990378008507059740440368170428030572951881*c_0101_5^8 - 740247451160165513727800121878943187495620775727585345562642563/956\ 394198743046854295897074322118202102005450817768269463*c_0101_5^7 + 185246916860879739403165539979402001336942162338136371808211869/956\ 394198743046854295897074322118202102005450817768269463*c_0101_5^6 + 197418535169049865958103879244220681965462272913481223438812876/956\ 394198743046854295897074322118202102005450817768269463*c_0101_5^5 - 5179364114152665695897002643469750649897495852337102486173722/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5^4 - 23987393271109641547592058477192361095493563136176678443230726/9563\ 94198743046854295897074322118202102005450817768269463*c_0101_5^3 - 3135004680082186611507325791843539828382676700855997092311420/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5^2 + 981112515841304987041038264767857624750829571129217565974809/956394\ 198743046854295897074322118202102005450817768269463*c_0101_5 + 257001817398635909274902948784640831094171167854761568417021/956394\ 198743046854295897074322118202102005450817768269463, c_0011_6 + 69378393322725739667606331117481116281306213366582996096179/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 29 - 1278235110804933270972715140148596689330649324497757363902506/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 28 - 5871955023498489579060166224115049220787922437703603868372074/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 27 - 1473566325503142748628667800255683115582937516824253545607612/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 26 + 17115650821031528904354657118675431551627444614747234288131744\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^25 - 799274484187662304975221075163562229430901934456302596116694/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 24 - 37863943688384498219626052009685222465155233339059950296647738\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^23 + 4458949792322247209311717179119823652797541723670927841251332\ 0/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^22 + 524543845168000706271817247284232718081068234933116265009043\ 29/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^21 - 60614926419804619546806363752320095732643789157925689945402\ 3/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^20 + 594756909237638877400770388064568975519467520683223492887168\ 886/956394198743046854295897074322118202102005450817768269463*c_010\ 1_5^19 + 8539244505539086585086036091873644910550063307962017046908\ 68032/956394198743046854295897074322118202102005450817768269463*c_0\ 101_5^18 - 18130443931553715194689606970037004890296707836887608433\ 4571431/956394198743046854295897074322118202102005450817768269463*c\ _0101_5^17 - 940619302860135203447382395371210872921984389377674092\ 060975683/956394198743046854295897074322118202102005450817768269463\ *c_0101_5^16 - 1535399381970806099093186608117677307412105171088400\ 796447060574/956394198743046854295897074322118202102005450817768269\ 463*c_0101_5^15 - 1213473334382424135508170219224870827184258447936\ 566584644384825/956394198743046854295897074322118202102005450817768\ 269463*c_0101_5^14 + 1351379825183673448348997211535035509194606673\ 965859657940399349/956394198743046854295897074322118202102005450817\ 768269463*c_0101_5^13 + 2216107133725371380142323016342221232409382\ 691877451140918029362/956394198743046854295897074322118202102005450\ 817768269463*c_0101_5^12 + 1590179921672557852899727045036291105777\ 1935195642908324961381/95639419874304685429589707432211820210200545\ 0817768269463*c_0101_5^11 - 140760172706977739836881245344107699353\ 6772062018295138183295710/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5^10 - 597794840322170544383767506646546288\ 889544360136796220604010410/956394198743046854295897074322118202102\ 005450817768269463*c_0101_5^9 + 21929738016998291174367541446096687\ 34977380142717533375650601/4288763223062990378008507059740440368170\ 428030572951881*c_0101_5^8 + 36645063462545568860281461648845162632\ 4548115759724051136497616/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5^7 - 8842047933845451134540324331402866310\ 4899724100672211326285732/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5^6 - 9814009610778989603980608440672063263\ 2709398826092348685552527/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5^5 + 2190591767274128515665911281700974122\ 195618756676135482013853/956394198743046854295897074322118202102005\ 450817768269463*c_0101_5^4 + 11931694605045006995023337121646240220\ 114796760164702242827060/956394198743046854295897074322118202102005\ 450817768269463*c_0101_5^3 + 15873649520783685827285879193204772342\ 99597917826277779890624/9563941987430468542958970743221182021020054\ 50817768269463*c_0101_5^2 - 486204692936551887912457016393811897782\ 834706456022881830398/956394198743046854295897074322118202102005450\ 817768269463*c_0101_5 - 1291313085412613707991477649492829314291470\ 86633426877319716/9563941987430468542958970743221182021020054508177\ 68269463, c_0101_0 + 274892745918859251789100456258062916700893106269609080043172\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^29 - 5068982600568204392403264544923517084149393892783621537699590\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^28 - 2318074346483590881986466777913686915347649474784100295829968\ 0/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^27 - 557547002349682231494841065780067523955092527714618345762815\ 3/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^26 + 674757463763851466129967397931542607005324616987883849609510\ 80/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^25 - 42428593155883973685973128213661643161552970551765634564534\ 92/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^24 - 14873918604438425971501774460577144482453821623153888426189\ 1773/956394198743046854295897074322118202102005450817768269463*c_01\ 01_5^23 + 178539924563023550035644561629157621376745452947181141685\ 466914/956394198743046854295897074322118202102005450817768269463*c_\ 0101_5^22 + 2025238475305562938417310651383166534161615367413497380\ 10187926/956394198743046854295897074322118202102005450817768269463*\ c_0101_5^21 - 13637267039419220570648673991702542064984263564195957\ 25132479/956394198743046854295897074322118202102005450817768269463*\ c_0101_5^20 + 23587112986596511793923138517940803279834757499149653\ 69727397514/9563941987430468542958970743221182021020054508177682694\ 63*c_0101_5^19 + 33465480961316382471411901173682697488038957912787\ 61941419621011/9563941987430468542958970743221182021020054508177682\ 69463*c_0101_5^18 - 72360339510387660872096649405966888574619224687\ 6357542426464282/95639419874304685429589707432211820210200545081776\ 8269463*c_0101_5^17 - 366262957351212212830931736399550600191433413\ 3432276160992698963/95639419874304685429589707432211820210200545081\ 7768269463*c_0101_5^16 - 604299943328124305834473252109791897678009\ 3249929332480733179481/95639419874304685429589707432211820210200545\ 0817768269463*c_0101_5^15 - 476270799589040791103203055030087761151\ 7553483603122874183289126/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5^14 + 532521179641316182555809308697292419\ 1393459003287974938541843916/95639419874304685429589707432211820210\ 2005450817768269463*c_0101_5^13 + 861960383715215957869398848356157\ 9390838087017610261875089802270/95639419874304685429589707432211820\ 2102005450817768269463*c_0101_5^12 + 23554125628230540687680493097144730964159901418513658264401984/9563\ 94198743046854295897074322118202102005450817768269463*c_0101_5^11 - 5464647237286338100915594350726721785338699231621227352164092713/95\ 6394198743046854295897074322118202102005450817768269463*c_0101_5^10 - 2298572771382086466872955137248893227683249554849287616026011066/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 9 + 8544184491498853782897047962433084692902027821728258106480983/4\ 288763223062990378008507059740440368170428030572951881*c_0101_5^8 + 1402947292795230254228587504678261207716954376681659928403135439/95\ 6394198743046854295897074322118202102005450817768269463*c_0101_5^7 - 345434984175131853360622655411661035730851072826585142444605706/956\ 394198743046854295897074322118202102005450817768269463*c_0101_5^6 - 373599391075155022417373825233857654058178641545668263130838976/956\ 394198743046854295897074322118202102005450817768269463*c_0101_5^5 + 8903325061811996915159255915589831437090640848939135606291863/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5^4 + 45325896541616412297537396928791484828866390952299479787653951/9563\ 94198743046854295897074322118202102005450817768269463*c_0101_5^3 + 5988827807911223012118095643429873081172465242086428034900166/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5^2 - 1844343761714032908422487349965741529107430395936370202266680/95639\ 4198743046854295897074322118202102005450817768269463*c_0101_5 - 487636772845026553700082053949664253856840360472863219851819/956394\ 198743046854295897074322118202102005450817768269463, c_0101_1 + 86533918267437614237628462499962003516827146369944121833571/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 29 - 1595688010168727519831037280219275559764690907981254770624155/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 28 - 7296973770688398736489305747642111023352540013906357138237938/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 27 - 1751074940588245052661494747424762301268572175950572713714261/\ 956394198743046854295897074322118202102005450817768269463*c_0101_5^\ 26 + 21252959265184501771762060224412757846213155989475993631970958\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^25 - 1337392075764638902198231488109527984526409756503993311885274\ /956394198743046854295897074322118202102005450817768269463*c_0101_5\ ^24 - 4685195741027119636495791988079514456415572166261083021661769\ 8/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^23 + 562222118770244524106764195161722667742841023598022615905001\ 91/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^22 + 63804983608504938092663855616560224182220038342207076623366\ 320/956394198743046854295897074322118202102005450817768269463*c_010\ 1_5^21 - 5487848270818773647101333996365064030540447416055288382233\ 64/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^20 + 74245091087638733613237977900367507945940113631555216615676\ 7167/956394198743046854295897074322118202102005450817768269463*c_01\ 01_5^19 + 105330098559463158666649922842270167964862836890386860207\ 1944860/956394198743046854295897074322118202102005450817768269463*c\ _0101_5^18 - 229279084964747425626095224304051947721018330178810320\ 404098241/956394198743046854295897074322118202102005450817768269463\ *c_0101_5^17 - 1154477046104138366775983753557801894497967824066699\ 572449828759/956394198743046854295897074322118202102005450817768269\ 463*c_0101_5^16 - 1902041187966536001955491812472777862939890353698\ 394795941054107/956394198743046854295897074322118202102005450817768\ 269463*c_0101_5^15 - 1497942460227983951727514362782152521342165380\ 214727977858680754/956394198743046854295897074322118202102005450817\ 768269463*c_0101_5^14 + 1679520696288099740092378646916017669683656\ 799955793218721043805/956394198743046854295897074322118202102005450\ 817768269463*c_0101_5^13 + 2715668392584440614006047566457733298819\ 474086126031440358805583/956394198743046854295897074322118202102005\ 450817768269463*c_0101_5^12 + 5207913577546548232572984386610370594\ 676282040016797533165922/956394198743046854295897074322118202102005\ 450817768269463*c_0101_5^11 - 1722814454300767881499360270145378381\ 234430881310281921717285836/956394198743046854295897074322118202102\ 005450817768269463*c_0101_5^10 - 7234390844180024960163247339432555\ 85737811760616172913249126808/9563941987430468542958970743221182021\ 02005450817768269463*c_0101_5^9 + 269559589683650622023210183753465\ 8013458066611275690647482090/42887632230629903780085070597404403681\ 70428030572951881*c_0101_5^8 + 442083637449270323138450333217768182\ 178156225813117650328718559/956394198743046854295897074322118202102\ 005450817768269463*c_0101_5^7 - 10920968351570826198967926858751327\ 2230282070491775464990589596/95639419874304685429589707432211820210\ 2005450817768269463*c_0101_5^6 - 1177392450940944876290824720589824\ 21623080633927870467880694153/9563941987430468542958970743221182021\ 02005450817768269463*c_0101_5^5 + 286902853238464399937228365328735\ 6210766871558562549536804247/95639419874304685429589707432211820210\ 2005450817768269463*c_0101_5^4 + 1427682471823724144590156888523212\ 7110556907878973914444825485/95639419874304685429589707432211820210\ 2005450817768269463*c_0101_5^3 + 1884343310039780370847077697374640\ 176242086448370752926923447/956394198743046854295897074322118202102\ 005450817768269463*c_0101_5^2 - 58154909843591684577295568221539115\ 7031625605118680523274512/95639419874304685429589707432211820210200\ 5450817768269463*c_0101_5 - 153117962588873331591704046824620833078\ 996325027545498567422/956394198743046854295897074322118202102005450\ 817768269463, c_0101_4 + 411015364954991502545425661478080059453841707520238668448165\ /1912788397486093708591794148644236404204010901635536538926*c_0101_\ 5^29 - 378898182269177180164277692996080745430993491780266892535941\ 1/956394198743046854295897074322118202102005450817768269463*c_0101_\ 5^28 - 173404490466290613144123963314742802091910173839427694077705\ 55/956394198743046854295897074322118202102005450817768269463*c_0101\ _5^27 - 84082267998961315396611692666104973009000224044836992768152\ 51/1912788397486093708591794148644236404204010901635536538926*c_010\ 1_5^26 + 5047744986091599912047356127575574041548137170094469104464\ 8705/956394198743046854295897074322118202102005450817768269463*c_01\ 01_5^25 - 606868899510804794541340114428054881461894886750148474416\ 7433/1912788397486093708591794148644236404204010901635536538926*c_0\ 101_5^24 - 11132965347940525622952128586963313637993968222654442787\ 7230663/956394198743046854295897074322118202102005450817768269463*c\ _0101_5^23 + 266447431957454164921516066914540011300509375219637979\ 337925167/191278839748609370859179414864423640420401090163553653892\ 6*c_0101_5^22 + 304040482814255963789382958324676355846786484430224\ 069854610311/191278839748609370859179414864423640420401090163553653\ 8926*c_0101_5^21 - 208632431306544867036439756692657074694095364820\ 5000354008319/19127883974860937085917941486442364042040109016355365\ 38926*c_0101_5^20 + 17631238314769046704131186583314490281324345446\ 88520390041119096/9563941987430468542958970743221182021020054508177\ 68269463*c_0101_5^19 + 25065424159191989610348671383347100373678284\ 56079698768295615123/9563941987430468542958970743221182021020054508\ 17768269463*c_0101_5^18 - 10782934136151611569660218877461606561451\ 42631460130665192364211/1912788397486093708591794148644236404204010\ 901635536538926*c_0101_5^17 - 2745165666363967375918409994352964791\ 102107947348132209508542141/956394198743046854295897074322118202102\ 005450817768269463*c_0101_5^16 - 4523447992102106308878050158260589\ 372413166465850521733501673892/956394198743046854295897074322118202\ 102005450817768269463*c_0101_5^15 - 7135169141228242921469668661716161063543250565266018147867175055/19\ 12788397486093708591794148644236404204010901635536538926*c_0101_5^1\ 4 + 796465795442531322804491731701859785273710332437730683997365502\ 9/1912788397486093708591794148644236404204010901635536538926*c_0101\ _5^13 + 64628209341129810763940143537927843796465608573419241857516\ 70512/956394198743046854295897074322118202102005450817768269463*c_0\ 101_5^12 + 25277595509299444537352906593262986046524737113860584388\ 207389/956394198743046854295897074322118202102005450817768269463*c_\ 0101_5^11 - 4096948937879595408521669218185044502857385984832857344\ 661395427/956394198743046854295897074322118202102005450817768269463\ *c_0101_5^10 - 3455787554763296033240506301166811951019920088559257\ 486937276377/191278839748609370859179414864423640420401090163553653\ 8926*c_0101_5^9 + 1279648608042861557199673211963254619402328582403\ 5665232274099/85775264461259807560170141194808807363408560611459037\ 62*c_0101_5^8 + 105465504670998577883461480565081765366742201031573\ 9801960596314/95639419874304685429589707432211820210200545081776826\ 9463*c_0101_5^7 - 2581681301076723445192318404035921049117445567521\ 57727012269214/9563941987430468542958970743221182021020054508177682\ 69463*c_0101_5^6 - 281011484369133568947534592745165323958277826753\ 243639233956863/956394198743046854295897074322118202102005450817768\ 269463*c_0101_5^5 + 64900269088207894180965607903362663938573784062\ 32725127968550/9563941987430468542958970743221182021020054508177682\ 69463*c_0101_5^4 + 681846778954466647485627048556211698236766833840\ 87803025749785/1912788397486093708591794148644236404204010901635536\ 538926*c_0101_5^3 + 45204355504678526079223593947627743390990800080\ 94651930523271/9563941987430468542958970743221182021020054508177682\ 69463*c_0101_5^2 - 277212601053481596799351552581323796957951716589\ 3756886598505/19127883974860937085917941486442364042040109016355365\ 38926*c_0101_5 - 73387209614255288469688515211187826259451013336685\ 4603546043/19127883974860937085917941486442364042040109016355365389\ 26, c_0101_5^30 - 19*c_0101_5^29 - 74*c_0101_5^28 + 27*c_0101_5^27 + 257*c_0101_5^26 - 153*c_0101_5^25 - 533*c_0101_5^24 + 953*c_0101_5^23 + 374*c_0101_5^22 - 420*c_0101_5^21 + 8583*c_0101_5^20 + 7368*c_0101_5^19 - 9473*c_0101_5^18 - 11865*c_0101_5^17 - 14502*c_0101_5^16 - 4991*c_0101_5^15 + 29116*c_0101_5^14 + 20521*c_0101_5^13 - 17538*c_0101_5^12 - 19964*c_0101_5^11 + 2801*c_0101_5^10 + 11646*c_0101_5^9 + 1219*c_0101_5^8 - 4132*c_0101_5^7 - 656*c_0101_5^6 + 798*c_0101_5^5 + 147*c_0101_5^4 - 71*c_0101_5^3 - 19*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB