Magma V2.19-8 Wed Aug 21 2013 00:55:12 on localhost [Seed = 156177274] Type ? for help. Type -D to quit. Loading file "L13a2853__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2853 geometric_solution 11.55403764 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 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 0 0 0 0 1 -1 1 0 -1 0 4 -3 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632778988642 0.738254518477 0 2 3 5 0132 0321 0321 0132 1 0 1 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 -1 0 1 0 -1 1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553940280703 0.412615604743 6 0 4 1 0132 0132 0132 0321 1 0 1 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 1 0 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898226687740 1.485467880984 5 7 1 0 0132 0132 0321 0132 1 0 1 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 3 0 -4 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393410657117 0.514169814106 8 9 0 2 0132 0132 0132 0132 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -3 0 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156148457213 1.028461140219 3 10 1 11 0132 0132 0132 0132 1 0 0 1 0 0 0 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 0 0 0 0 -3 0 0 3 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.421495161115 1.240789363006 2 7 7 11 0132 0321 3201 0213 1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.614038524233 1.051153769526 6 3 10 6 2310 0132 0132 0321 1 1 0 1 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 -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.614038524233 1.051153769526 4 12 12 11 0132 0132 1023 2310 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 0 0 0 0 0 0 0 0 3 0 -3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460794856273 0.508586309100 11 4 10 10 1023 0132 1023 1230 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 0 0 0 0 0 1 -1 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.967422965294 0.909811842342 9 5 9 7 3012 0132 1023 0132 1 1 1 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 0 1 -1 0 0 1 -1 -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.451470044062 0.515864381657 8 9 5 6 3201 1023 0132 0213 1 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444894363802 0.644693171255 12 8 8 12 3012 0132 1023 1230 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 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.742188254583 0.727456657971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_0'], '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' : negation(d['c_0101_1']), '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' : 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_1100_9' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_1'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_0011_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_0011_11']), '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_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : 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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_2']})} 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_7, c_0101_9, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 66939358989317787845838600951145253031117249505856/7960501528429263\ 4242349474563979792439351297698523*c_1001_3^21 + 434176234961110010060561826298954335309728289843612/796050152842926\ 34242349474563979792439351297698523*c_1001_3^20 + 1043000985442731897815929680162448013812890813051992/79605015284292\ 634242349474563979792439351297698523*c_1001_3^19 + 4264549866063227815472122708425513981938531868805905/79605015284292\ 634242349474563979792439351297698523*c_1001_3^18 + 17631483254818226321757065820496183133680458305296815/1592100305685\ 85268484698949127959584878702595397046*c_1001_3^17 + 40158761811663613592511718708774359708849220389287627/1592100305685\ 85268484698949127959584878702595397046*c_1001_3^16 + 81455428886872185894890432654887939070206457474849821/1592100305685\ 85268484698949127959584878702595397046*c_1001_3^15 + 131939825699819441572088669983121035157415866770131057/159210030568\ 585268484698949127959584878702595397046*c_1001_3^14 + 111461926957831109722477422148934659862810541082796018/796050152842\ 92634242349474563979792439351297698523*c_1001_3^13 + 25082393913184512594842085638351038359462759473004339/1224692542835\ 2712960361457625227660375284815030542*c_1001_3^12 + 1745903186042350300517897306389424386308980796119293/64457502254487\ 9629492708296064613703962358685818*c_1001_3^11 + 557340993398699056025741749878567527549744237165534485/159210030568\ 585268484698949127959584878702595397046*c_1001_3^10 + 325924805388700348395758491737651855202622856994939953/796050152842\ 92634242349474563979792439351297698523*c_1001_3^9 + 335819935266531724568967489561236947935766446984606756/796050152842\ 92634242349474563979792439351297698523*c_1001_3^8 + 36179108099790789716998353604474961686594505996047261/8379475293083\ 435183405207848839978151510662915634*c_1001_3^7 + 16923678377126491015247995071935363031476074266112109/4189737646541\ 717591702603924419989075755331457817*c_1001_3^6 + 241262489648365945236263531506195064245255643223552970/796050152842\ 92634242349474563979792439351297698523*c_1001_3^5 + 189456727330958596894075561932015895057916437840480132/796050152842\ 92634242349474563979792439351297698523*c_1001_3^4 + 128963674478085634060608717542670810648330674275735872/796050152842\ 92634242349474563979792439351297698523*c_1001_3^3 + 58120311813066797511640912399645329847326204510386696/7960501528429\ 2634242349474563979792439351297698523*c_1001_3^2 + 32111229468370172905490741067315058131071399011426944/7960501528429\ 2634242349474563979792439351297698523*c_1001_3 + 12731729091371571238245334712284887856934172011703004/7960501528429\ 2634242349474563979792439351297698523, c_0011_0 - 1, c_0011_10 + 6476694479720879895154655615167820869254/141209865038114477\ 1993332024870666608164373*c_1001_3^21 + 37606324738422157468210717950073425272636/1412098650381144771993332\ 024870666608164373*c_1001_3^20 + 1617506558111489005834428249742916\ 99501381/2824197300762289543986664049741333216328746*c_1001_3^19 + 1556749731033349899837367055918935116479827/56483946015245790879733\ 28099482666432657492*c_1001_3^18 + 2622344037003484997747582591627616064337271/56483946015245790879733\ 28099482666432657492*c_1001_3^17 + 7335565789853424572730159082411486868608783/56483946015245790879733\ 28099482666432657492*c_1001_3^16 + 13062371990101845091212005521247408728047989/5648394601524579087973\ 328099482666432657492*c_1001_3^15 + 11620432405077019581409362251386903792080415/2824197300762289543986\ 664049741333216328746*c_1001_3^14 + 19660893785344157879466686440923334167758431/2824197300762289543986\ 664049741333216328746*c_1001_3^13 + 29119220843987138227610980987215795060587787/2824197300762289543986\ 664049741333216328746*c_1001_3^12 + 20346042934200142725366787820822475104329598/1412098650381144771993\ 332024870666608164373*c_1001_3^11 + 27270309929451330219512180873528415028208151/1412098650381144771993\ 332024870666608164373*c_1001_3^10 + 32732743605825208895011508260220776179768151/1412098650381144771993\ 332024870666608164373*c_1001_3^9 + 73041001923264238945583142281200240617734757/2824197300762289543986\ 664049741333216328746*c_1001_3^8 + 79074463224405554179856112116554047586604161/2824197300762289543986\ 664049741333216328746*c_1001_3^7 + 37576191112867057744854671584223372947214508/1412098650381144771993\ 332024870666608164373*c_1001_3^6 + 32721316526241939105092270411522041677993875/1412098650381144771993\ 332024870666608164373*c_1001_3^5 + 27137655957923332339812374446840384154229008/1412098650381144771993\ 332024870666608164373*c_1001_3^4 + 18240863498315223136653789666701407062186874/1412098650381144771993\ 332024870666608164373*c_1001_3^3 + 12117341574818972741245705044384902809467021/1412098650381144771993\ 332024870666608164373*c_1001_3^2 + 4600578090637881747713537077424022390209088/14120986503811447719933\ 32024870666608164373*c_1001_3 + 16497836711279836788633193720132931\ 81401703/1412098650381144771993332024870666608164373, c_0011_11 - 30374664025177529740741938616425920773880/14120986503811447\ 71993332024870666608164373*c_1001_3^21 - 672315718614281849066239959675310713412724/423629595114343431597999\ 6074611999824493119*c_1001_3^20 - 682275821194692722455035742751794\ 276482686/1412098650381144771993332024870666608164373*c_1001_3^19 - 2539923923133589877539993151965813173734536/14120986503811447719933\ 32024870666608164373*c_1001_3^18 - 36379278844147711863427903761620545948289069/8472591902286868631959\ 992149223999648986238*c_1001_3^17 - 43275983999903774455486157651489424911266970/4236295951143434315979\ 996074611999824493119*c_1001_3^16 - 58029927979013020540205980415054468816972577/2824197300762289543986\ 664049741333216328746*c_1001_3^15 - 321110504722649886621899612660121889983715763/847259190228686863195\ 9992149223999648986238*c_1001_3^14 - 264349473605404271723415685775664887190815228/423629595114343431597\ 9996074611999824493119*c_1001_3^13 - 823249466966651980510189787792235481881532963/847259190228686863195\ 9992149223999648986238*c_1001_3^12 - 381846061345110067756022163151407825338927259/282419730076228954398\ 6664049741333216328746*c_1001_3^11 - 1498140415402615317719731425462344321586324365/84725919022868686319\ 59992149223999648986238*c_1001_3^10 - 907020451802506006396841831513160433985111728/423629595114343431597\ 9996074611999824493119*c_1001_3^9 - 666507123095711751086052751118023177028241767/282419730076228954398\ 6664049741333216328746*c_1001_3^8 - 1017196102569498436800389292852922966816674188/42362959511434343159\ 79996074611999824493119*c_1001_3^7 - 963828180042762542197218344105200116751596694/423629595114343431597\ 9996074611999824493119*c_1001_3^6 - 271685684297382897761951704533892091184227244/141209865038114477199\ 3332024870666608164373*c_1001_3^5 - 200939523941255059217148264876938468208967822/141209865038114477199\ 3332024870666608164373*c_1001_3^4 - 135252384143606886576827176455460702384380948/141209865038114477199\ 3332024870666608164373*c_1001_3^3 - 219830983735567083011114356168807029914173294/423629595114343431597\ 9996074611999824493119*c_1001_3^2 - 30455648397969138012396834542057934570249631/1412098650381144771993\ 332024870666608164373*c_1001_3 - 2736560882340232039518522492217265\ 9246550934/4236295951143434315979996074611999824493119, c_0101_0 - 2002561846672195238771122561911874309918/1412098650381144771\ 993332024870666608164373*c_1001_3^21 - 13935223113965126129235382494112770738700/1412098650381144771993332\ 024870666608164373*c_1001_3^20 - 7713862496129728675822468848424403\ 4516377/2824197300762289543986664049741333216328746*c_1001_3^19 - 613444878622929233657307903846124692473951/564839460152457908797332\ 8099482666432657492*c_1001_3^18 - 143391455888049605089055235614061\ 7590763427/5648394601524579087973328099482666432657492*c_1001_3^17 - 3305418101989384748177149601481100626849939/56483946015245790879733\ 28099482666432657492*c_1001_3^16 - 7214161043702455402322879321304358594677677/56483946015245790879733\ 28099482666432657492*c_1001_3^15 - 6043455309038199969308873319516369881415801/28241973007622895439866\ 64049741333216328746*c_1001_3^14 - 5489772453390898822553586342170843362568707/14120986503811447719933\ 32024870666608164373*c_1001_3^13 - 8007139831369799730532886955990268026714729/14120986503811447719933\ 32024870666608164373*c_1001_3^12 - 11430796124660197358333655042618595235870553/1412098650381144771993\ 332024870666608164373*c_1001_3^11 - 14786900068400637699706968499525595516347435/1412098650381144771993\ 332024870666608164373*c_1001_3^10 - 35066599867065163354763617540909767398407161/2824197300762289543986\ 664049741333216328746*c_1001_3^9 - 18826533239033688580606639232934261755516359/1412098650381144771993\ 332024870666608164373*c_1001_3^8 - 38256254206667361996861960281430235956383749/2824197300762289543986\ 664049741333216328746*c_1001_3^7 - 17140901614854603054304852815621373005292936/1412098650381144771993\ 332024870666608164373*c_1001_3^6 - 13728671923739797238064075385466716179143245/1412098650381144771993\ 332024870666608164373*c_1001_3^5 - 10529303395715452140242450345811062292352495/1412098650381144771993\ 332024870666608164373*c_1001_3^4 - 6284572732555615098374914866087082090957976/14120986503811447719933\ 32024870666608164373*c_1001_3^3 - 379929205960855822243717946543418\ 3046997254/1412098650381144771993332024870666608164373*c_1001_3^2 - 1004299027722397965352042986873436094746745/14120986503811447719933\ 32024870666608164373*c_1001_3 - 10488647006066301203255180135992601\ 26706098/1412098650381144771993332024870666608164373, c_0101_1 - 1, c_0101_10 - 6119582791897887558893744958860893098318/141209865038114477\ 1993332024870666608164373*c_1001_3^21 - 32899532469507557547330744475720099574796/1412098650381144771993332\ 024870666608164373*c_1001_3^20 - 1257734772290281297114956260365518\ 29209857/2824197300762289543986664049741333216328746*c_1001_3^19 - 1367735667999188255344036428782394320776231/56483946015245790879733\ 28099482666432657492*c_1001_3^18 - 1853589393182003652126537037400844764618939/56483946015245790879733\ 28099482666432657492*c_1001_3^17 - 6056414579964365915634263786021992853034439/56483946015245790879733\ 28099482666432657492*c_1001_3^16 - 9027212166576591110796709622375159934796251/56483946015245790879733\ 28099482666432657492*c_1001_3^15 - 8295881275208088714025020681093900299860665/28241973007622895439866\ 64049741333216328746*c_1001_3^14 - 12539454799426635372127862181413339776213481/2824197300762289543986\ 664049741333216328746*c_1001_3^13 - 17287107902866657095432709317391416914413603/2824197300762289543986\ 664049741333216328746*c_1001_3^12 - 20905190951345154607301331470649360259466187/2824197300762289543986\ 664049741333216328746*c_1001_3^11 - 12644498334912568777104135654614636946343900/1412098650381144771993\ 332024870666608164373*c_1001_3^10 - 11844694614391527216905947599502930975660730/1412098650381144771993\ 332024870666608164373*c_1001_3^9 - 19890146552702264673983324440672039154676441/2824197300762289543986\ 664049741333216328746*c_1001_3^8 - 15781336137770400715901995302936630708119671/2824197300762289543986\ 664049741333216328746*c_1001_3^7 - 2530771458553567219153730274993485652660372/14120986503811447719933\ 32024870666608164373*c_1001_3^6 + 185295348644092623068113109221912\ 3557833220/1412098650381144771993332024870666608164373*c_1001_3^5 + 3851060796542294263222861090416961723262318/14120986503811447719933\ 32024870666608164373*c_1001_3^4 + 714082605316397618306759237064654\ 5259853860/1412098650381144771993332024870666608164373*c_1001_3^3 + 5643521058518362737674100730357353643010490/14120986503811447719933\ 32024870666608164373*c_1001_3^2 + 425880733611581845712329895179027\ 6600820366/1412098650381144771993332024870666608164373*c_1001_3 + 2719589305540701596513208206262244720712267/14120986503811447719933\ 32024870666608164373, c_0101_12 - 197841439048417682678413068812839446458882/4236295951143434\ 315979996074611999824493119*c_1001_3^21 - 544691810109448469751922752937131348879412/141209865038114477199333\ 2024870666608164373*c_1001_3^20 - 362634913068881319632089941638765\ 0994041885/2824197300762289543986664049741333216328746*c_1001_3^19 - 74347660180623271627315482529584707032259017/1694518380457373726391\ 9984298447999297972476*c_1001_3^18 - 197207484698989707168503809201544080555701809/169451838045737372639\ 19984298447999297972476*c_1001_3^17 - 145077730489335804629996773102050102688392435/564839460152457908797\ 3328099482666432657492*c_1001_3^16 - 928350525125364449171260233605602025841459655/169451838045737372639\ 19984298447999297972476*c_1001_3^15 - 829350930844259035098062102130225451818567271/847259190228686863195\ 9992149223999648986238*c_1001_3^14 - 1388470763044359320335369112181592299351381151/84725919022868686319\ 59992149223999648986238*c_1001_3^13 - 356217622555671996118131439948564219619750607/141209865038114477199\ 3332024870666608164373*c_1001_3^12 - 1493249993837589799848773065639454404357906228/42362959511434343159\ 79996074611999824493119*c_1001_3^11 - 3868418545100440230309156234120491287148036291/84725919022868686319\ 59992149223999648986238*c_1001_3^10 - 1560603056890400076234920000497471931003436003/28241973007622895439\ 86664049741333216328746*c_1001_3^9 - 2565891706650824336789514037291154069084834303/42362959511434343159\ 79996074611999824493119*c_1001_3^8 - 5163541150368012174748805673723325550614399565/84725919022868686319\ 59992149223999648986238*c_1001_3^7 - 812618740395828649859124238445051289551039940/141209865038114477199\ 3332024870666608164373*c_1001_3^6 - 679848690666617220547645426186295569130656839/141209865038114477199\ 3332024870666608164373*c_1001_3^5 - 500212597489634046609845343655115521655274255/141209865038114477199\ 3332024870666608164373*c_1001_3^4 - 972192945489808937168338506396582241015953370/423629595114343431597\ 9996074611999824493119*c_1001_3^3 - 173419012988657607738663482242353858553307996/141209865038114477199\ 3332024870666608164373*c_1001_3^2 - 222687020905685561715872201699145129250693630/423629595114343431597\ 9996074611999824493119*c_1001_3 - 193224038643268996102657582516658\ 11814413986/1412098650381144771993332024870666608164373, c_0101_2 + 17788743444878031858588470996532387466682/141209865038114477\ 1993332024870666608164373*c_1001_3^21 + 341154618812469149343391005733925682277532/423629595114343431597999\ 6074611999824493119*c_1001_3^20 + 556160354667686976409439641129797\ 723606635/2824197300762289543986664049741333216328746*c_1001_3^19 + 4689153721096671652648084847772779166571693/56483946015245790879733\ 28099482666432657492*c_1001_3^18 + 28288745403363790280727634609589871808696555/1694518380457373726391\ 9984298447999297972476*c_1001_3^17 + 68880738363682063165974313267936176523673243/1694518380457373726391\ 9984298447999297972476*c_1001_3^16 + 45016760836183849287183203704123869395954153/5648394601524579087973\ 328099482666432657492*c_1001_3^15 + 57204980520811894738782857064610274343430474/4236295951143434315979\ 996074611999824493119*c_1001_3^14 + 97294629503442801043885388135779306001893583/4236295951143434315979\ 996074611999824493119*c_1001_3^13 + 284505089352514633880970549792978361582456501/847259190228686863195\ 9992149223999648986238*c_1001_3^12 + 64956527650311388148717014007100794097180619/1412098650381144771993\ 332024870666608164373*c_1001_3^11 + 504359879254077796708058861674099034714445671/847259190228686863195\ 9992149223999648986238*c_1001_3^10 + 594156195107687780304819015197848531039389437/847259190228686863195\ 9992149223999648986238*c_1001_3^9 + 210653267310760153226739140904218705755724243/282419730076228954398\ 6664049741333216328746*c_1001_3^8 + 650148365451203963807386514493401037502035823/847259190228686863195\ 9992149223999648986238*c_1001_3^7 + 298331053924009803484106926273493171012534221/423629595114343431597\ 9996074611999824493119*c_1001_3^6 + 79435914823548090675064202429024540580547873/1412098650381144771993\ 332024870666608164373*c_1001_3^5 + 61262985264805138901812460771949576010496848/1412098650381144771993\ 332024870666608164373*c_1001_3^4 + 37474216919740622403558197524143801035984838/1412098650381144771993\ 332024870666608164373*c_1001_3^3 + 57832335597805521180238303659578900851486114/4236295951143434315979\ 996074611999824493119*c_1001_3^2 + 8203644290904930604519880202104827538496530/14120986503811447719933\ 32024870666608164373*c_1001_3 - 16877810956665056966211801676525039\ 06054613/4236295951143434315979996074611999824493119, c_0101_7 - 666009894028832793891431381708024936304/14120986503811447719\ 93332024870666608164373*c_1001_3^21 - 2854865898318310579354306794422058295264/14120986503811447719933320\ 24870666608164373*c_1001_3^20 - 72955968105069155446039925131091940\ 53212/1412098650381144771993332024870666608164373*c_1001_3^19 - 54848777047778637634180080659917896631342/1412098650381144771993332\ 024870666608164373*c_1001_3^18 - 6453363004362220485379832651462518\ 7140652/1412098650381144771993332024870666608164373*c_1001_3^17 - 372685160670110633580580822807925663317525/141209865038114477199333\ 2024870666608164373*c_1001_3^16 - 479876375560430768442226281028137\ 085263688/1412098650381144771993332024870666608164373*c_1001_3^15 - 2760643890945524484225900479026983143778309/28241973007622895439866\ 64049741333216328746*c_1001_3^14 - 4238047244532936317752726751140961264870689/28241973007622895439866\ 64049741333216328746*c_1001_3^13 - 3502758838502631049624935531968826765251117/14120986503811447719933\ 32024870666608164373*c_1001_3^12 - 5333550848243559514186604088121850723561654/14120986503811447719933\ 32024870666608164373*c_1001_3^11 - 13551875682575416420976001520867806609997087/2824197300762289543986\ 664049741333216328746*c_1001_3^10 - 16714230907753967859930058321405962610414613/2824197300762289543986\ 664049741333216328746*c_1001_3^9 - 9286409498786385045942266984768536895585813/14120986503811447719933\ 32024870666608164373*c_1001_3^8 - 912413146070609580404061514168722\ 4974099600/1412098650381144771993332024870666608164373*c_1001_3^7 - 7831215511424475645691389089479286163598246/14120986503811447719933\ 32024870666608164373*c_1001_3^6 - 682366446638397368039980667352405\ 5232343353/1412098650381144771993332024870666608164373*c_1001_3^5 - 3992917036510006798227432676990007276779852/14120986503811447719933\ 32024870666608164373*c_1001_3^4 - 308327918443161174848621923880896\ 7202787453/1412098650381144771993332024870666608164373*c_1001_3^3 - 521865422724328932471766005525078585874454/141209865038114477199333\ 2024870666608164373*c_1001_3^2 - 1039959358583328082075492634261665\ 83281169/1412098650381144771993332024870666608164373*c_1001_3 - 364910494071599992953498420001324253536631/141209865038114477199333\ 2024870666608164373, c_0101_9 - 9648365129142172346884986287581280229672/1412098650381144771\ 993332024870666608164373*c_1001_3^21 - 63927063754010681098041187245078225045624/1412098650381144771993332\ 024870666608164373*c_1001_3^20 - 1626634169701532600337733324516836\ 77490902/1412098650381144771993332024870666608164373*c_1001_3^19 - 660319977995515034840650092420566319149699/141209865038114477199333\ 2024870666608164373*c_1001_3^18 - 141198283339360492849970105423557\ 3349438598/1412098650381144771993332024870666608164373*c_1001_3^17 - 3271844763918844829574640103705878837361056/14120986503811447719933\ 32024870666608164373*c_1001_3^16 - 6726108673497417713201564647516454909019291/14120986503811447719933\ 32024870666608164373*c_1001_3^15 - 11006106668470561363265050004810250106695234/1412098650381144771993\ 332024870666608164373*c_1001_3^14 - 19185686032856485560650851987960111903866715/1412098650381144771993\ 332024870666608164373*c_1001_3^13 - 54449898786737136780519628157955733855479067/2824197300762289543986\ 664049741333216328746*c_1001_3^12 - 75124282580239729685045602677137339411564677/2824197300762289543986\ 664049741333216328746*c_1001_3^11 - 93845346871580977000530245976211754897329099/2824197300762289543986\ 664049741333216328746*c_1001_3^10 - 109212446471666050684589965949004616183236623/282419730076228954398\ 6664049741333216328746*c_1001_3^9 - 55509058260520629759020782363710739287770238/1412098650381144771993\ 332024870666608164373*c_1001_3^8 - 54772002556115036443917088534552661173701155/1412098650381144771993\ 332024870666608164373*c_1001_3^7 - 47014926830247189324153115579298966011678155/1412098650381144771993\ 332024870666608164373*c_1001_3^6 - 33941352817448272141817545183400138088030274/1412098650381144771993\ 332024870666608164373*c_1001_3^5 - 22759287425519270402261423170247686588481205/1412098650381144771993\ 332024870666608164373*c_1001_3^4 - 10418521188798918262207324441567524510027474/1412098650381144771993\ 332024870666608164373*c_1001_3^3 - 1945816541907277294125004977501201555733097/14120986503811447719933\ 32024870666608164373*c_1001_3^2 - 242368524729769014042646454685997\ 555599311/1412098650381144771993332024870666608164373*c_1001_3 + 1874625858795773307066981625009614357416289/14120986503811447719933\ 32024870666608164373, c_1001_0 + 4578582231773066785731577460364086733334/1412098650381144771\ 993332024870666608164373*c_1001_3^21 + 27382887053246227235178946799845805272508/1412098650381144771993332\ 024870666608164373*c_1001_3^20 + 1269201685027346918789254667909893\ 20836677/2824197300762289543986664049741333216328746*c_1001_3^19 + 1168983234142887136911103896310720219635403/56483946015245790879733\ 28099482666432657492*c_1001_3^18 + 2038610609028169275818365699944455852836667/56483946015245790879733\ 28099482666432657492*c_1001_3^17 + 5582327553380452647623234033818939205135853/56483946015245790879733\ 28099482666432657492*c_1001_3^16 + 9739795282628296235080215490623245502151081/56483946015245790879733\ 28099482666432657492*c_1001_3^15 + 4216910269833510179961156354420535527575671/14120986503811447719933\ 32024870666608164373*c_1001_3^14 + 6894588879563452551413756808804114962839632/14120986503811447719933\ 32024870666608164373*c_1001_3^13 + 9359710725014402686976310523534379973134598/14120986503811447719933\ 32024870666608164373*c_1001_3^12 + 12600432907866320605491350742495851921950817/1412098650381144771993\ 332024870666608164373*c_1001_3^11 + 29979649252298968889153663458885411332460035/2824197300762289543986\ 664049741333216328746*c_1001_3^10 + 32986910140828546937301060260497147456061755/2824197300762289543986\ 664049741333216328746*c_1001_3^9 + 32479973662276247313944385851126685278513485/2824197300762289543986\ 664049741333216328746*c_1001_3^8 + 31072265928039224320685292979393424194340833/2824197300762289543986\ 664049741333216328746*c_1001_3^7 + 12459601793798486650272976754111396407713671/1412098650381144771993\ 332024870666608164373*c_1001_3^6 + 9855258002616420805605904060105200799625602/14120986503811447719933\ 32024870666608164373*c_1001_3^5 + 661362939501751576057422024072966\ 4706289650/1412098650381144771993332024870666608164373*c_1001_3^4 + 4103768588929598307151091409088652993808452/14120986503811447719933\ 32024870666608164373*c_1001_3^3 + 264127047328086882646316055855612\ 2468684624/1412098650381144771993332024870666608164373*c_1001_3^2 + 1856575876682509707433729448275237577447076/14120986503811447719933\ 32024870666608164373*c_1001_3 + 64669880826457845335170823319785640\ 6484557/1412098650381144771993332024870666608164373, c_1001_1 - 1253842139903121902717215740933499942888/1412098650381144771\ 993332024870666608164373*c_1001_3^21 - 8179221190587648266655102221411687201552/14120986503811447719933320\ 24870666608164373*c_1001_3^20 - 19653906274043068422295871727734913\ 251702/1412098650381144771993332024870666608164373*c_1001_3^19 - 77090053767553288702474768558955719750041/1412098650381144771993332\ 024870666608164373*c_1001_3^18 - 1487866501411982147216791795903774\ 46448185/1412098650381144771993332024870666608164373*c_1001_3^17 - 321686157429941079125783498539224601946062/141209865038114477199333\ 2024870666608164373*c_1001_3^16 - 113865571997311381204530931049370\ 3320349965/2824197300762289543986664049741333216328746*c_1001_3^15 - 1634477663978095215801821221748460850348721/28241973007622895439866\ 64049741333216328746*c_1001_3^14 - 2117876631706665506719923044738604991824255/28241973007622895439866\ 64049741333216328746*c_1001_3^13 - 1250494808429131285026411327954623584197865/14120986503811447719933\ 32024870666608164373*c_1001_3^12 - 780253862219800606402632595763417156530923/141209865038114477199333\ 2024870666608164373*c_1001_3^11 - 486222380663184087236720389974977\ 058635615/1412098650381144771993332024870666608164373*c_1001_3^10 + 628279328638933313818258385243849006679024/141209865038114477199333\ 2024870666608164373*c_1001_3^9 + 3640402619096466040989838166694437\ 922402823/2824197300762289543986664049741333216328746*c_1001_3^8 + 2751004895407886548608088341466000133235750/14120986503811447719933\ 32024870666608164373*c_1001_3^7 + 322321151835319162261039141224020\ 1528976532/1412098650381144771993332024870666608164373*c_1001_3^6 + 3578679787938631721187314646667435742317583/14120986503811447719933\ 32024870666608164373*c_1001_3^5 + 255754781567111247053679109457252\ 8827288313/1412098650381144771993332024870666608164373*c_1001_3^4 + 2314864479761421019929133770828405923851092/14120986503811447719933\ 32024870666608164373*c_1001_3^3 + 105152876955283252001840290107613\ 8212524897/1412098650381144771993332024870666608164373*c_1001_3^2 - 332084839666605569054005246228060004590021/141209865038114477199333\ 2024870666608164373*c_1001_3 + 612226882135616104941732056397440730\ 811504/1412098650381144771993332024870666608164373, c_1001_3^22 + 6*c_1001_3^21 + 55/4*c_1001_3^20 + 505/8*c_1001_3^19 + 905/8*c_1001_3^18 + 2449/8*c_1001_3^17 + 4431/8*c_1001_3^16 + 985*c_1001_3^15 + 1644*c_1001_3^14 + 4823/2*c_1001_3^13 + 6669/2*c_1001_3^12 + 4331*c_1001_3^11 + 5129*c_1001_3^10 + 22167/4*c_1001_3^9 + 11647/2*c_1001_3^8 + 5377*c_1001_3^7 + 9109/2*c_1001_3^6 + 7275/2*c_1001_3^5 + 4843/2*c_1001_3^4 + 3027/2*c_1001_3^3 + 766*c_1001_3^2 + 306*c_1001_3 + 247/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB