Magma V2.19-8 Wed Aug 21 2013 00:56:37 on localhost [Seed = 913321212] Type ? for help. Type -D to quit. Loading file "L13n2714__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2714 geometric_solution 11.90968415 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 1 -1 0 0 0 1 -1 -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 -7 6 1 0 0 -6 6 7 0 0 -7 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603155944545 0.499655967199 0 2 6 5 0132 2310 0132 0132 0 1 0 1 0 1 0 -1 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 -2 0 2 0 0 0 0 1 0 0 -1 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586913732411 1.105061946695 3 0 3 1 1230 0132 0321 3201 1 0 0 1 0 -1 0 1 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 7 0 -7 0 0 0 0 0 -2 0 2 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206311889090 0.999311934399 6 2 2 0 1230 3012 0321 0132 1 1 0 0 0 -1 0 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 6 0 -6 0 0 -6 6 -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.508392844642 0.407248657522 7 8 0 8 0132 0132 0132 0213 1 1 1 1 0 0 0 0 -1 0 1 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 6 0 -6 0 1 0 0 -1 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.225291410816 1.293553794912 6 9 1 7 0213 0132 0132 0213 0 1 1 0 0 -1 1 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 2 -2 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.757953580382 1.071482682485 5 3 10 1 0213 3012 0132 0132 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 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.117978938895 0.749321978688 4 11 12 5 0132 0132 0132 0213 0 1 1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 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.140592225358 0.629160821359 11 4 12 4 0132 0132 3201 0213 1 1 1 1 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 -1 0 0 1 -7 7 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.225291410816 1.293553794912 12 5 12 10 1302 0132 0321 0321 0 1 0 1 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 -1 1 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369978710414 0.482218555182 11 9 11 6 3201 0321 0321 0132 0 1 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 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.405177224374 0.938884670815 8 7 10 10 0132 0132 0321 2310 0 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 -6 -1 0 7 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481513671963 0.760034457184 8 9 9 7 2310 2031 0321 0132 0 1 1 1 0 -1 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 0 0 0 0 2 -2 0 6 0 0 -6 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.001515161161 1.305343200606 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_5']), 'c_1010_11' : negation(d['c_0011_5']), 'c_1010_10' : negation(d['c_0011_3']), '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_0101_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' : 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_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_9'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_1001_2'], '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' : d['c_1001_9'], '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' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_5'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0011_6'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_12'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_5, c_0011_6, c_0101_1, c_0101_10, c_0101_2, c_1001_11, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1292965933143085745260812275387141094320381390896870986645990164143\ 104/221543631876798034781386458203490248864449075238100039032971802\ 591933*c_1001_9^20 + 9722844766255323577399482621209991875862663718\ 1347401715663315202048/22154363187679803478138645820349024886444907\ 5238100039032971802591933*c_1001_9^19 - 5688156500895158469661576541084894450741281933298500528666333875717\ 632/199389268689118231303247812383141223978004167714290035129674622\ 3327397*c_1001_9^18 - 129390667795289769448059696362582319127153169\ 822445921760269666501810560/199389268689118231303247812383141223978\ 0041677142900351296746223327397*c_1001_9^17 + 3188180105896372575700186847315841779548038223793436290434216549444\ 82368/1993892686891182313032478123831412239780041677142900351296746\ 223327397*c_1001_9^16 - 6884019683791635114368291739756884389438823\ 52699596600434158656232486976/1993892686891182313032478123831412239\ 780041677142900351296746223327397*c_1001_9^15 + 1575653378208400710323230637235060887549160869962194551574280010650\ 865312/199389268689118231303247812383141223978004167714290035129674\ 6223327397*c_1001_9^14 - 774293413633166729962447466118292048564716\ 263042391873575227979302393400/664630895630394104344159374610470746\ 593347225714300117098915407775799*c_1001_9^13 + 2972257514049549470407519035624939569082156353556053944544413282644\ 555676/199389268689118231303247812383141223978004167714290035129674\ 6223327397*c_1001_9^12 - 322071537934169240752585448839840916309394\ 1779377729721580187196410587412/19938926868911823130324781238314122\ 39780041677142900351296746223327397*c_1001_9^11 + 1388567845604766837171036014770405897275703887769436435214750168206\ 8552/96323318207303493383211503566734890810630032712217408275205131\ 56171*c_1001_9^10 - 24761622898154378931275763940908755768429229877\ 49067414726167102194048411/3987785373782364626064956247662824479560\ 083354285800702593492446654794*c_1001_9^9 + 2393776106516997204397553816328515881812713740419288228842988393020\ 36032/6646308956303941043441593746104707465933472257143001170989154\ 07775799*c_1001_9^8 - 519610322997836787386739036708979142080988800\ 548669417060468620171176520/664630895630394104344159374610470746593\ 347225714300117098915407775799*c_1001_9^7 - 4892919221656697361341175790813791611838234783954780280185575627645\ 32579/3987785373782364626064956247662824479560083354285800702593492\ 446654794*c_1001_9^6 + 12534770634745555446454820455708275074253937\ 806036269836199905603097981/963233182073034933832115035667348908106\ 3003271221740827520513156171*c_1001_9^5 - 1499061650557268548281174176878987280914690740926691995895980986517\ 840299/398778537378236462606495624766282447956008335428580070259349\ 2446654794*c_1001_9^4 - 7402537259844510716261548195885001775317173\ 26165240348452475707579754619/1329261791260788208688318749220941493\ 186694451428600234197830815551598*c_1001_9^3 + 1622093840097223066384362440181225057799264672440832917690839072860\ 03427/4430872637535960695627729164069804977288981504762000780659436\ 05183866*c_1001_9^2 + 178319016947190061976124273134548293773996349\ 33752691435214771981267033/2215436318767980347813864582034902488644\ 49075238100039032971802591933*c_1001_9 - 1391692113866910527198670510571886254170390302758585579112206641988\ 19542/1993892686891182313032478123831412239780041677142900351296746\ 223327397, c_0011_0 - 1, c_0011_10 - 41259004521787196180758671585891079864594877802334868153003\ 264/113370455734595504001582843854291919036403977455628790782539681\ 7*c_1001_9^20 + 472671290460650580240793186745928989255568364533044\ 95126758272/1133704557345955040015828438542919190364039774556287907\ 825396817*c_1001_9^19 + 7024564869241585270584356064715478243333711\ 2212200495824761920/11337045573459550400158284385429191903640397745\ 56287907825396817*c_1001_9^18 + 15818882550042268388286269583998429\ 1060795848505039779025553216/37790151911531834667194281284763973012\ 1346591518762635941798939*c_1001_9^17 - 1684091863173977535516097738345599129712036540203566649130040528/11\ 33704557345955040015828438542919190364039774556287907825396817*c_10\ 01_9^16 + 330045785943927943801887010647617132758144324840712094683\ 8491656/11337045573459550400158284385429191903640397745562879078253\ 96817*c_1001_9^15 - 77255690798314473826437403485245808488773222161\ 60230208282168308/1133704557345955040015828438542919190364039774556\ 287907825396817*c_1001_9^14 + 1301186896914740504082734129200577071\ 3660619762697702822851874668/11337045573459550400158284385429191903\ 64039774556287907825396817*c_1001_9^13 - 15942291838885779985695123480880933066253446836993998845336702439/1\ 133704557345955040015828438542919190364039774556287907825396817*c_1\ 001_9^12 + 37592044316484998933041087643418583107247111151320198309\ 794113471/226740911469191008003165687708583838072807954911257581565\ 0793634*c_1001_9^11 - 666804626831252235563661524001305555729606171\ 77960561316094632201/4534818229383820160063313754171676761456159098\ 225151631301587268*c_1001_9^10 + 6475211597317282739547751753339357\ 697670226668541553054371751057/755803038230636693343885625695279460\ 242693183037525271883597878*c_1001_9^9 - 7721015621093632520491873814814766602570526922035833647854152179/45\ 34818229383820160063313754171676761456159098225151631301587268*c_10\ 01_9^8 + 1532670650250739851476488103140688982967485262097442288830\ 1524627/22674091146919100800316568770858383807280795491125758156507\ 93634*c_1001_9^7 - 661538876193225387609075256744246826264648403033\ 7054164263709223/22674091146919100800316568770858383807280795491125\ 75815650793634*c_1001_9^6 - 315111041298466998492945157414534728457\ 91414695250134471594031503/2267409114691910080031656877085838380728\ 079549112575815650793634*c_1001_9^5 + 2900462455101772065486089682809397642048009770086844212492998312/37\ 7901519115318346671942812847639730121346591518762635941798939*c_100\ 1_9^4 + 85150928024210065609681200045786383405062292296164292309420\ 75545/1511606076461273386687771251390558920485386366075050543767195\ 756*c_1001_9^3 - 19597059578275084103905156863144081383825933227704\ 186262009643275/453481822938382016006331375417167676145615909822515\ 1631301587268*c_1001_9^2 + 2497971279394809750725935636353605361882\ 197452326116074160331551/453481822938382016006331375417167676145615\ 9098225151631301587268*c_1001_9 + 271245401534197417830010519576302\ 746643263844788825225526913925/377901519115318346671942812847639730\ 121346591518762635941798939, c_0011_11 + 15385639148769581362653912508466239794925074974615591120610\ 029568/185171744366505989869251978295343467759459829844193691611481\ 48011*c_1001_9^20 + 16472196941531284096739267027798765863329281808\ 138782413911889920/185171744366505989869251978295343467759459829844\ 19369161148148011*c_1001_9^19 + 42977547942891558159366269805162192\ 91084669955034678744327902208/1851717443665059898692519782953434677\ 5945982984419369161148148011*c_1001_9^18 - 171109122354569393654157774707282371652458130611884238687194509312/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^17 + 249387277103286621894809961368898205915994184828552230\ 004784027904/185171744366505989869251978295343467759459829844193691\ 61148148011*c_1001_9^16 - 61361117839606068304017321561086730827280\ 9003668075323690408200832/18517174436650598986925197829534346775945\ 982984419369161148148011*c_1001_9^15 + 1388352845310006217005506766343581184806389817130274262508839580352\ /18517174436650598986925197829534346775945982984419369161148148011*\ c_1001_9^14 - 14872565169289564824261034375952125504762591257310586\ 27255710104832/1851717443665059898692519782953434677594598298441936\ 9161148148011*c_1001_9^13 + 200790475732301810227921903634433649766\ 5629031024618927832151345968/18517174436650598986925197829534346775\ 945982984419369161148148011*c_1001_9^12 - 246580528685768425164304538230273813179249450877365734156596353832/\ 2645310633807228426703599689933478110849426140631338451592592573*c_\ 1001_9^11 + 1374298307099950335250291603445420580866835540039114340\ 533862755452/185171744366505989869251978295343467759459829844193691\ 61148148011*c_1001_9^10 + 34225100732805831598341759376962864072617\ 4741214155615550069230196/18517174436650598986925197829534346775945\ 982984419369161148148011*c_1001_9^9 + 704316095397660334145926583092020625451021475368383848076121894006/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^8 - 2017512680003410535242418397110256575511849609974816361\ 03514656573/2645310633807228426703599689933478110849426140631338451\ 592592573*c_1001_9^7 - 20290373378017026453114370574463804895558310\ 54060805128093544268104/1851717443665059898692519782953434677594598\ 2984419369161148148011*c_1001_9^6 + 1877776741862032683341738509037461003278441772710479419915546874264\ /18517174436650598986925197829534346775945982984419369161148148011*\ c_1001_9^5 + 171778428710070400557347577117531446415886990331351599\ 813735855785/264531063380722842670359968993347811084942614063133845\ 1592592573*c_1001_9^4 - 8152185225321284187152643590441509304692339\ 13991773528066024954410/1851717443665059898692519782953434677594598\ 2984419369161148148011*c_1001_9^3 - 139476784838427726146931951711880489319561658467246855445973062737/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^2 + 2856394492327125310404516322859156165361201041072697155\ 57462683110/1851717443665059898692519782953434677594598298441936916\ 1148148011*c_1001_9 + 734976177203838920486634106468715846657378756\ 05088385898997055319/1851717443665059898692519782953434677594598298\ 4419369161148148011, c_0011_12 - 59878212211704929316593853831150757839194410764504133428464\ 77312/1851717443665059898692519782953434677594598298441936916114814\ 8011*c_1001_9^20 - 277863213001448976735850823848571190638649268189\ 96628027123739136/5555152330995179696077559348860304032783794895325\ 8107483444444033*c_1001_9^19 - 112678228541983572151573743381622259\ 50481183473359814413160401664/5555152330995179696077559348860304032\ 7837948953258107483444444033*c_1001_9^18 + 200658170038631665366361365275011365886186557404245803683951252992/\ 55551523309951796960775593488603040327837948953258107483444444033*c\ _1001_9^17 - 194979746317710030850571945128336309967277103410969704\ 884787834048/555515233099517969607755934886030403278379489532581074\ 83444444033*c_1001_9^16 + 54579792839272980998706883837661853680423\ 1025521624901641449221408/55551523309951796960775593488603040327837\ 948953258107483444444033*c_1001_9^15 - 411370312371324185864194039323460386500679222957204551195166944688/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^14 + 850312350480354417105398532713700177791401459966417926\ 666230913344/555515233099517969607755934886030403278379489532581074\ 83444444033*c_1001_9^13 - 12625397398619336304253285447914030043177\ 72344081994670810982672964/5555152330995179696077559348860304032783\ 7948953258107483444444033*c_1001_9^12 + 30147425504292426138337348114566300582060600394849129180575101350/2\ 645310633807228426703599689933478110849426140631338451592592573*c_1\ 001_9^11 - 28395984850032671942993105715494614127845179846115446564\ 2754415177/55551523309951796960775593488603040327837948953258107483\ 444444033*c_1001_9^10 - 4850762779224111543520279831013995660780395\ 66721484541737964088109/1851717443665059898692519782953434677594598\ 2984419369161148148011*c_1001_9^9 - 261283830232631192295212266346164778289815057819730778092709276360/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^8 + 1941275964156628611289747846507283256419479708489425044\ 93590707707/7935931901421685280110799069800434332548278421894015354\ 777777719*c_1001_9^7 + 10932043447833666999059456114837222374552185\ 34871760061379515892360/1851717443665059898692519782953434677594598\ 2984419369161148148011*c_1001_9^6 - 1308242063593769010578347113416942146578756706754380350597507009064\ /55551523309951796960775593488603040327837948953258107483444444033*\ c_1001_9^5 - 134528134517242265044413937234214141179430877842519601\ 075888895950/264531063380722842670359968993347811084942614063133845\ 1592592573*c_1001_9^4 + 2030084625655464242062768726763813503414583\ 40503485445943967420130/1851717443665059898692519782953434677594598\ 2984419369161148148011*c_1001_9^3 + 283522165506391861084434774497174123788740660449839597439908232247/\ 18517174436650598986925197829534346775945982984419369161148148011*c\ _1001_9^2 - 4181298004216758894278135069975388044669207991031801071\ 86399194211/5555152330995179696077559348860304032783794895325810748\ 3444444033*c_1001_9 - 782007219186962328664933400232820585797096669\ 68590203827564697921/1851717443665059898692519782953434677594598298\ 4419369161148148011, c_0011_3 + 278128211951854761105656518916501085284358110257777103624537\ 60/1133704557345955040015828438542919190364039774556287907825396817\ *c_1001_9^20 + 4439473994843901459311149440518853854597302505774359\ 0808548480/11337045573459550400158284385429191903640397745562879078\ 25396817*c_1001_9^19 + 34253532051740988845139534925481576325046870\ 461851503910367424/113370455734595504001582843854291919036403977455\ 6287907825396817*c_1001_9^18 - 941584171375082602928218884162698898\ 60076620838576694125773312/3779015191153183466719428128476397301213\ 46591518762635941798939*c_1001_9^17 + 292809289602196014230999340914958579351812113492993215172287536/113\ 3704557345955040015828438542919190364039774556287907825396817*c_100\ 1_9^16 - 9940509881553697968271843675694927106511095441647977780940\ 01704/1133704557345955040015828438542919190364039774556287907825396\ 817*c_1001_9^15 + 1979894867568766883424720306812659249294471418124\ 004652026247876/113370455734595504001582843854291919036403977455628\ 7907825396817*c_1001_9^14 - 150236621791894285055095071462862569770\ 6339678942095024219621352/11337045573459550400158284385429191903640\ 39774556287907825396817*c_1001_9^13 + 2509772875798864829801727437634751546480062224562524226544447361/11\ 33704557345955040015828438542919190364039774556287907825396817*c_10\ 01_9^12 - 138714826992349886877100421680135907413532462887712313600\ 6057731/22674091146919100800316568770858383807280795491125758156507\ 93634*c_1001_9^11 - 43737512374962462459087323614213329262609677541\ 0218822011647903/45348182293838201600633137541716767614561590982251\ 51631301587268*c_1001_9^10 + 52558009222742897575501430753088662470\ 89531835255331199569413043/1511606076461273386687771251390558920485\ 386366075050543767195756*c_1001_9^9 - 4303985085611459489742030706809079707802539461487393546617695813/45\ 34818229383820160063313754171676761456159098225151631301587268*c_10\ 01_9^8 + 7651889279214608946137323655820990895371483147731416874949\ 748403/453481822938382016006331375417167676145615909822515163130158\ 7268*c_1001_9^7 - 6615280125963967133188192317355817356783307623678\ 681871240081335/113370455734595504001582843854291919036403977455628\ 7907825396817*c_1001_9^6 + 2258470908858235656527955398315603734238\ 708131575427299223825607/113370455734595504001582843854291919036403\ 9774556287907825396817*c_1001_9^5 + 304341697412937739496257037632761090569728767788025426198410703/755\ 803038230636693343885625695279460242693183037525271883597878*c_1001\ _9^4 + 182520165423279193176491428028473452623963983569777323082737\ 1017/15116060764612733866877712513905589204853863660750505437671957\ 56*c_1001_9^3 + 130806265247003251565318483630826551671792934457014\ 7721458546619/11337045573459550400158284385429191903640397745562879\ 07825396817*c_1001_9^2 - 758669803664121379031129485620684668191903\ 108687729515063915668/113370455734595504001582843854291919036403977\ 4556287907825396817*c_1001_9 - 279961220566088414041427242375245967\ 660706217041061258903907987/151160607646127338668777125139055892048\ 5386366075050543767195756, c_0011_5 + 736461806059312374763751383060305904986741613133579491751040\ 0/377901519115318346671942812847639730121346591518762635941798939*c\ _1001_9^20 - 100294408733706123354357383219571406799015021155441467\ 20522624/3779015191153183466719428128476397301213465915187626359417\ 98939*c_1001_9^19 - 14553554352637762764664736375708183087670684390\ 807987503409984/377901519115318346671942812847639730121346591518762\ 635941798939*c_1001_9^18 - 8581605874234377150093360502554230597600\ 6368793514341200966208/37790151911531834667194281284763973012134659\ 1518762635941798939*c_1001_9^17 + 317457001887631841869217480226525\ 797906151079127070141962176592/377901519115318346671942812847639730\ 121346591518762635941798939*c_1001_9^16 - 611849868738916643584061065112588635843549955883153973432096232/377\ 901519115318346671942812847639730121346591518762635941798939*c_1001\ _9^15 + 14413253215629393467992615234171380091838922018293316043685\ 39748/3779015191153183466719428128476397301213465915187626359417989\ 39*c_1001_9^14 - 24548799017741635336568604530188385760090843379546\ 42851743891268/3779015191153183466719428128476397301213465915187626\ 35941798939*c_1001_9^13 + 29752882315837305751922209461550868671676\ 63468977154386421983263/3779015191153183466719428128476397301213465\ 91518762635941798939*c_1001_9^12 - 7088810473764849363190247637113648411962091847018523970955967731/75\ 5803038230636693343885625695279460242693183037525271883597878*c_100\ 1_9^11 + 1243120706818773522757503679573186911935333837741771152720\ 7854061/15116060764612733866877712513905589204853863660750505437671\ 95756*c_1001_9^10 - 18370197298189113097386859701980616302906320556\ 09622399604604317/3779015191153183466719428128476397301213465915187\ 62635941798939*c_1001_9^9 + 103466952628240104768124259487375467905\ 2785600507054176897090251/15116060764612733866877712513905589204853\ 86366075050543767195756*c_1001_9^8 - 1436837034611902130033157353128101987089197958699669023993968151/37\ 7901519115318346671942812847639730121346591518762635941798939*c_100\ 1_9^7 + 13594179335256478727131929842753639695377053719154275206111\ 92345/7558030382306366933438856256952794602426931830375252718835978\ 78*c_1001_9^6 + 601535810652700118095273512679515799702437476409150\ 6757779134399/75580303823063669334388562569527946024269318303752527\ 1883597878*c_1001_9^5 - 1687761698585134192975795764896635131720517\ 404675731951482291991/377901519115318346671942812847639730121346591\ 518762635941798939*c_1001_9^4 - 49162298637418532799239043684058136\ 99311012238629275966182903167/1511606076461273386687771251390558920\ 485386366075050543767195756*c_1001_9^3 + 3802996227741066868956479072261986860252228716149795288996199425/15\ 11606076461273386687771251390558920485386366075050543767195756*c_10\ 01_9^2 - 1951343116898657284651552279203240691444340874719385121170\ 90013/1511606076461273386687771251390558920485386366075050543767195\ 756*c_1001_9 - 3239278187180493328596111823011830089395368005695642\ 25534489009/7558030382306366933438856256952794602426931830375252718\ 83597878, c_0011_6 - 178778150377134766425102475026308361063435832638316795596275\ 20/377901519115318346671942812847639730121346591518762635941798939*\ c_1001_9^20 - 13747639727938847110103885699395204664794167693092349\ 320127360/377901519115318346671942812847639730121346591518762635941\ 798939*c_1001_9^19 + 8153889968794230238185593905341157313715827738\ 739899935084480/377901519115318346671942812847639730121346591518762\ 635941798939*c_1001_9^18 + 2107646454696663092959584064572321949397\ 45634555770493900915776/3779015191153183466719428128476397301213465\ 91518762635941798939*c_1001_9^17 - 341373394651259208978670880694354085036615601555175259777732656/377\ 901519115318346671942812847639730121346591518762635941798939*c_1001\ _9^16 + 72154477213794889074275224948456553376829065558543899359260\ 4152/37790151911531834667194281284763973012134659151876263594179893\ 9*c_1001_9^15 - 173460075926944417447588115932333337684743070003917\ 3490982709196/37790151911531834667194281284763973012134659151876263\ 5941798939*c_1001_9^14 + 192521553313529526001945845343608897797260\ 1252108980884362199412/37790151911531834667194281284763973012134659\ 1518762635941798939*c_1001_9^13 - 221183870132285909009200005537448\ 2448272107911871556968463775241/37790151911531834667194281284763973\ 0121346591518762635941798939*c_1001_9^12 + 4060283645514219641865812697959889522640711061169974868158556417/75\ 5803038230636693343885625695279460242693183037525271883597878*c_100\ 1_9^11 - 4240886776023814597891044550439201057875385017344075099413\ 331079/151160607646127338668777125139055892048538636607505054376719\ 5756*c_1001_9^10 - 203803717632969316724004457992671558898081264174\ 9797406546801487/75580303823063669334388562569527946024269318303752\ 5271883597878*c_1001_9^9 + 2174331887169502822910216922782741714879\ 612950533819360001451215/151160607646127338668777125139055892048538\ 6366075050543767195756*c_1001_9^8 + 2791017879586741721987498433849172686659330827341743849211082003/75\ 5803038230636693343885625695279460242693183037525271883597878*c_100\ 1_9^7 + 64163862448315500606196908447978698417622584583746442177709\ 42315/7558030382306366933438856256952794602426931830375252718835978\ 78*c_1001_9^6 - 784345148524242507882872593578682132172112121197506\ 5138957351829/75580303823063669334388562569527946024269318303752527\ 1883597878*c_1001_9^5 - 1326195542980197307047329632065226110789240\ 653720404718038598126/377901519115318346671942812847639730121346591\ 518762635941798939*c_1001_9^4 + 56210365712390994617079432223130591\ 17005661731639807625182397817/1511606076461273386687771251390558920\ 485386366075050543767195756*c_1001_9^3 + 3654477562122899796521502580061378451876559864244522160562585935/15\ 11606076461273386687771251390558920485386366075050543767195756*c_10\ 01_9^2 - 1293358786444620324206415237949789805701583568554932494368\ 477755/151160607646127338668777125139055892048538636607505054376719\ 5756*c_1001_9 - 311316527352184484089024166160890180425526531191384\ 098194731122/377901519115318346671942812847639730121346591518762635\ 941798939, c_0101_1 - 1, c_0101_10 - 24948589716363655547307354528434991552083693824617499526171\ 253248/555515233099517969607755934886030403278379489532581074834444\ 44033*c_1001_9^20 - 33889950922015585523768014513120051765181500818\ 762948484420181248/555515233099517969607755934886030403278379489532\ 58107483444444033*c_1001_9^19 - 11599622479792231076338807916957800\ 913496039377060129986151523712/555515233099517969607755934886030403\ 27837948953258107483444444033*c_1001_9^18 + 92851993464010868700090478657990408089533176310254237334072104832/1\ 8517174436650598986925197829534346775945982984419369161148148011*c_\ 1001_9^17 - 3235799076408760427480659147116168313314486074235283104\ 03013601696/5555152330995179696077559348860304032783794895325810748\ 3444444033*c_1001_9^16 + 844944218257977580066599369304466568445004\ 124848162213935274739920/555515233099517969607755934886030403278379\ 48953258107483444444033*c_1001_9^15 - 1913482945925689170460227026352752003750965649478324478847292663176\ /55551523309951796960775593488603040327837948953258107483444444033*\ c_1001_9^14 + 16356083005243434383585025178796644850370102971683227\ 50288434271336/5555152330995179696077559348860304032783794895325810\ 7483444444033*c_1001_9^13 - 227488618856051923839825920729538168108\ 6527601830644409199791546222/55551523309951796960775593488603040327\ 837948953258107483444444033*c_1001_9^12 + 220057074588859301433838726773703674132789593627876447228293840933/\ 7935931901421685280110799069800434332548278421894015354777777719*c_\ 1001_9^11 - 1964205187073769866840369194944506501298336191467911120\ 830036324725/111103046619903593921551186977206080655675897906516214\ 966888888066*c_1001_9^10 - 5287774392997812171819686093195203769875\ 17686527072881699209380796/1851717443665059898692519782953434677594\ 5982984419369161148148011*c_1001_9^9 - 1953047663708802728945886112335287595766433035848155166831406618753\ /111103046619903593921551186977206080655675897906516214966888888066\ *c_1001_9^8 + 28310426543259899405946569822631230556823022122093226\ 5904707211758/79359319014216852801107990698004343325482784218940153\ 54777777719*c_1001_9^7 + 411184347282684861900778343838490443707037\ 5985968751320436841528885/55551523309951796960775593488603040327837\ 948953258107483444444033*c_1001_9^6 - 2391079838344519700067703010675166952817307915514967093124214784837\ /55551523309951796960775593488603040327837948953258107483444444033*\ c_1001_9^5 - 151240408426150131662045409532487079829520877225591040\ 377454451255/264531063380722842670359968993347811084942614063133845\ 1592592573*c_1001_9^4 + 7319471849310255381471046313092165973306559\ 54079718944266379487505/3703434887330119797385039565906869355189196\ 5968838738322296296022*c_1001_9^3 + 1583402307906463652305786929358008652057301727929266152255435656671\ /111103046619903593921551186977206080655675897906516214966888888066\ *c_1001_9^2 - 11245123970316803033224325280700263916983953254457464\ 58391388450985/1111030466199035939215511869772060806556758979065162\ 14966888888066*c_1001_9 - 76033127903700744620392049842505644157447\ 921438907579995053692902/185171744366505989869251978295343467759459\ 82984419369161148148011, c_0101_2 - 147775871749065258367250412637858769864773573803445228092865\ 792/113370455734595504001582843854291919036403977455628790782539681\ 7*c_1001_9^20 - 193067996910525017927122634127879105892932181915706\ 374052510336/113370455734595504001582843854291919036403977455628790\ 7825396817*c_1001_9^19 - 488636012325024133693347501142403992456824\ 29081146187500690112/1133704557345955040015828438542919190364039774\ 556287907825396817*c_1001_9^18 + 5452342411752117373963456067363277\ 92569621630703256402868268992/3779015191153183466719428128476397301\ 21346591518762635941798939*c_1001_9^17 - 2012217320357482136959683488148437814146232884369260224631315024/11\ 33704557345955040015828438542919190364039774556287907825396817*c_10\ 01_9^16 + 499793826174495553853382627488127086392201752693027183438\ 8704552/11337045573459550400158284385429191903640397745562879078253\ 96817*c_1001_9^15 - 11137193742013875136937000686583607954313647650\ 383140474432472324/113370455734595504001582843854291919036403977455\ 6287907825396817*c_1001_9^14 + 924889466757879318220590687874990511\ 1136904245393819262578967860/11337045573459550400158284385429191903\ 64039774556287907825396817*c_1001_9^13 - 11603097541333646093063074745294835250187636116605634505675993503/1\ 133704557345955040015828438542919190364039774556287907825396817*c_1\ 001_9^12 + 10975972859895220189623841400497745486485214697514257481\ 892586091/226740911469191008003165687708583838072807954911257581565\ 0793634*c_1001_9^11 - 905949447918391019048612820992358273134828113\ 219347475244189413/453481822938382016006331375417167676145615909822\ 5151631301587268*c_1001_9^10 - 557386477281096694512073623184349342\ 2442185312907132547741971308/37790151911531834667194281284763973012\ 1346591518762635941798939*c_1001_9^9 + 9943850893411353539419537709517405606939782107916385618536014469/45\ 34818229383820160063313754171676761456159098225151631301587268*c_10\ 01_9^8 + 5551044118189083550901636508587720844536745887269361020141\ 155206/113370455734595504001582843854291919036403977455628790782539\ 6817*c_1001_9^7 + 5446612815617450173765070219311265570074160210204\ 6375523194609899/22674091146919100800316568770858383807280795491125\ 75815650793634*c_1001_9^6 - 385256770903270580310113095113927769173\ 07009901020540845947819141/2267409114691910080031656877085838380728\ 079549112575815650793634*c_1001_9^5 - 5093776214771491516282358585868703368550189602226025620490849151/37\ 7901519115318346671942812847639730121346591518762635941798939*c_100\ 1_9^4 + 12868219349628312086940922017715309690174767627146152860537\ 185453/151160607646127338668777125139055892048538636607505054376719\ 5756*c_1001_9^3 + 4267977404993161978708957822491691369730751038844\ 082465009731331/453481822938382016006331375417167676145615909822515\ 1631301587268*c_1001_9^2 - 1185890326281937967621415584990145969223\ 7974409261688937014446759/45348182293838201600633137541716767614561\ 59098225151631301587268*c_1001_9 + 34562890998712041430005447625649733805336298008808186078377069/7558\ 03038230636693343885625695279460242693183037525271883597878, c_1001_11 - 47690172204309732186833885235087310223093704416492849616736\ 512/113370455734595504001582843854291919036403977455628790782539681\ 7*c_1001_9^20 - 278671352460346365146655523927284568467376463237058\ 5199137408/11337045573459550400158284385429191903640397745562879078\ 25396817*c_1001_9^19 + 16927647419001290279449078527818347293681920\ 216352375552523072/113370455734595504001582843854291919036403977455\ 6287907825396817*c_1001_9^18 + 173459646368673866401793629136609571\ 986005382255295339818905920/377901519115318346671942812847639730121\ 346591518762635941798939*c_1001_9^17 - 1327216338158572296502374887551810553604194261117568306102721552/11\ 33704557345955040015828438542919190364039774556287907825396817*c_10\ 01_9^16 + 290790210431942782052214437452344575589862193211118330712\ 5793512/11337045573459550400158284385429191903640397745562879078253\ 96817*c_1001_9^15 - 65785617817074903197197845399866000105561502997\ 33686098622184228/1133704557345955040015828438542919190364039774556\ 287907825396817*c_1001_9^14 + 9924358196404920338871826650017101303\ 078648006358285713843814380/113370455734595504001582843854291919036\ 4039774556287907825396817*c_1001_9^13 - 12950676956764038431252566359305256921530595240380164251061514659/1\ 133704557345955040015828438542919190364039774556287907825396817*c_1\ 001_9^12 + 28134581407746624480816063599601039328170918052117541121\ 923594179/226740911469191008003165687708583838072807954911257581565\ 0793634*c_1001_9^11 - 530642184161182674225320640892413252268691378\ 87962192726038622069/4534818229383820160063313754171676761456159098\ 225151631301587268*c_1001_9^10 + 4265487939158645589033483069197675\ 629681625190441935671712375043/755803038230636693343885625695279460\ 242693183037525271883597878*c_1001_9^9 - 16355138506199658020864027581991900571895312612531614502761131071/4\ 534818229383820160063313754171676761456159098225151631301587268*c_1\ 001_9^8 + 135523017293010033968822820819399013391727722913605896366\ 27480321/2267409114691910080031656877085838380728079549112575815650\ 793634*c_1001_9^7 + 39007579034285105869820967058709549519779307579\ 4325098627181399/22674091146919100800316568770858383807280795491125\ 75815650793634*c_1001_9^6 - 218979616852456262351767549634394911739\ 32133220647936496380125579/2267409114691910080031656877085838380728\ 079549112575815650793634*c_1001_9^5 + 1519778753609205876518252771271440861531845263580724751592880480/37\ 7901519115318346671942812847639730121346591518762635941798939*c_100\ 1_9^4 + 56933826361801000239935760546564645013686773184263270975597\ 68529/1511606076461273386687771251390558920485386366075050543767195\ 756*c_1001_9^3 - 10121442919585170484347452102515089864388425867055\ 787750892610427/453481822938382016006331375417167676145615909822515\ 1631301587268*c_1001_9^2 - 7288930775935131322435115811765412197635\ 625222467256313960198373/453481822938382016006331375417167676145615\ 9098225151631301587268*c_1001_9 + 951847421277422910402938702284255\ 38652983541392449849240650838/3779015191153183466719428128476397301\ 21346591518762635941798939, c_1001_2 - 242010839341208994524316041096393940027107942431507836043945\ 0112/79359319014216852801107990698004343325482784218940153547777777\ 19*c_1001_9^20 - 65058077194157694520555410490694878482162920093658\ 2594467292928/26453106338072284267035996899334781108494261406313384\ 51592592573*c_1001_9^19 - 50472354485776623309772741220130106124860\ 739253738539370817664/264531063380722842670359968993347811084942614\ 0631338451592592573*c_1001_9^18 + 268620476593607723678769510807078\ 81942795764355405401717990815360/7935931901421685280110799069800434\ 332548278421894015354777777719*c_1001_9^17 - 15476573902129452335807586851802717768773039652099293006874332384/2\ 645310633807228426703599689933478110849426140631338451592592573*c_1\ 001_9^16 + 10861320655868215432145008226134426299090459179300194127\ 9432242768/79359319014216852801107990698004343325482784218940153547\ 77777719*c_1001_9^15 - 24586712800565393661865492273197974111786444\ 5079399264536754519624/79359319014216852801107990698004343325482784\ 21894015354777777719*c_1001_9^14 + 98920213024363589124464432591372175221636877867765416282437581816/2\ 645310633807228426703599689933478110849426140631338451592592573*c_1\ 001_9^13 - 38893694595839080906766028786979088181445917074065392970\ 7258693086/79359319014216852801107990698004343325482784218940153547\ 77777719*c_1001_9^12 + 51959014613106814070883249707234995130256734\ 576233051598454254845/113370455734595504001582843854291919036403977\ 4556287907825396817*c_1001_9^11 - 599109269698344206159308977201170\ 308983648830409797937509034135629/158718638028433705602215981396008\ 68665096556843788030709555555438*c_1001_9^10 + 2719568520421155385492505618673021704473380432457682576519626976/26\ 45310633807228426703599689933478110849426140631338451592592573*c_10\ 01_9^9 - 1965516736748037508724980832002017829044645044678609782637\ 02019209/1587186380284337056022159813960086866509655684378803070955\ 5555438*c_1001_9^8 + 3353801966036880309064016992475295480240435364\ 4568842309350747808/11337045573459550400158284385429191903640397745\ 56287907825396817*c_1001_9^7 + 256377901702673208589337672912780999\ 817840958913239060771803925006/793593190142168528011079906980043433\ 2548278421894015354777777719*c_1001_9^6 - 371699576561751615336245403265223686111372584006128571527675728363/\ 7935931901421685280110799069800434332548278421894015354777777719*c_\ 1001_9^5 - 40822686291913356994049709207225968424101408950506313339\ 20229613/3779015191153183466719428128476397301213465915187626359417\ 98939*c_1001_9^4 + 107710585130561353871306708224546937636178843019\ 865936827439105873/529062126761445685340719937986695622169885228126\ 2676903185185146*c_1001_9^3 - 6269802641408253677099572443678190823\ 2047041156444791616595789413/15871863802843370560221598139600868665\ 096556843788030709555555438*c_1001_9^2 - 83508760728065507501891044120458002541033722546879929017826591717/1\ 5871863802843370560221598139600868665096556843788030709555555438*c_\ 1001_9 + 6677751014434987696917197321170364609822467404676082997992\ 40230/2645310633807228426703599689933478110849426140631338451592592\ 573, c_1001_9^21 + 1/2*c_1001_9^20 - 1/4*c_1001_9^19 - 45/4*c_1001_9^18 + 361/16*c_1001_9^17 - 1601/32*c_1001_9^16 + 7357/64*c_1001_9^15 - 9781/64*c_1001_9^14 + 50251/256*c_1001_9^13 - 103471/512*c_1001_9^12 + 179233/1024*c_1001_9^11 - 13581/256*c_1001_9^10 + 59083/1024*c_1001_9^9 - 34133/256*c_1001_9^8 - 33217/512*c_1001_9^7 + 92177/512*c_1001_9^6 + 2643/256*c_1001_9^5 - 91179/1024*c_1001_9^4 + 20693/1024*c_1001_9^3 + 20267/1024*c_1001_9^2 - 1455/512*c_1001_9 - 639/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB