Magma V2.19-8 Wed Aug 21 2013 00:03:53 on localhost [Seed = 2430009023] Type ? for help. Type -D to quit. Loading file "K13n1911__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1911 geometric_solution 11.99754446 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.455854932441 1.148711496074 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 5 -5 0 1 0 -5 4 -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.667097348719 0.924344329356 8 0 4 9 0132 0132 2310 0132 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 -1 -4 5 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.186058080253 0.489877575574 7 8 5 0 0132 2103 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.122357066517 0.832939283788 10 2 0 8 0132 3201 0132 1023 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 1 -1 0 0 -1 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272475305301 1.356101928595 3 1 10 11 2103 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457757148916 1.112940743990 9 11 1 12 0213 0132 0132 0132 0 0 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 -4 0 4 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189677499730 0.924255002737 3 12 9 1 0132 0132 0213 0132 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 -5 5 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351022420158 1.072194909373 2 3 11 4 0132 2103 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.546368108900 0.561133206912 6 7 2 10 0213 0213 0132 3201 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 5 -5 0 0 0 1 -1 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347627933494 1.542090647808 4 9 12 5 0132 2310 1230 0132 0 0 0 0 0 1 0 -1 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 5 0 -5 0 0 0 0 0 1 0 -1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.615637317080 0.618619140766 8 6 5 12 2031 0132 0132 1230 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077196435882 0.702109047941 11 7 6 10 3012 0132 0132 3012 0 0 0 0 0 0 -1 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 0 -4 4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302029589813 0.627197410762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_12'], 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_1001_10']), 'c_1100_0' : negation(d['c_0101_11']), 'c_1100_3' : negation(d['c_0101_11']), 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_12'], 'c_1100_10' : d['c_0110_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0110_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_9'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} 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_9, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0110_12, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2312626768451129493626169824340424435487305308894998773/15690690446\ 755277463380299805420687979719374915000*c_1001_10^21 + 1347971819497743839400836557465509401402406525987212179/78453452233\ 77638731690149902710343989859687457500*c_1001_10^20 - 35732872201963366168121799757294069971964221621847983763/1569069044\ 6755277463380299805420687979719374915000*c_1001_10^19 - 33496368149055604291520305841900297999001614041736990269/1426426404\ 250479769398209073220062543610852265000*c_1001_10^18 - 1216458055066315348238547026410092424903398954088480857497/15690690\ 446755277463380299805420687979719374915000*c_1001_10^17 - 80910295181616114291710403486457186011638150709742421381/5603818016\ 69831337977867850193595999275691961250*c_1001_10^16 - 141486634584841212320656016979496441952363662195442382037/713213202\ 125239884699104536610031271805426132500*c_1001_10^15 - 4369354847856384790662213808955982320463499570072362795469/15690690\ 446755277463380299805420687979719374915000*c_1001_10^14 - 1854306432534892256280863271641712255465532957096779687691/39226726\ 11688819365845074951355171994929843728750*c_1001_10^13 - 6173318111040798182586289664901981151362574976231236975851/78453452\ 23377638731690149902710343989859687457500*c_1001_10^12 - 830681340908890523384781748125315270484356790989138301009/784534522\ 337763873169014990271034398985968745750*c_1001_10^11 - 16898247224552246209106952615684358768651411628777445607377/1569069\ 0446755277463380299805420687979719374915000*c_1001_10^10 - 2471193680013218535282633126180805093356904565650124477547/31381380\ 89351055492676059961084137595943874983000*c_1001_10^9 - 786424188281150406690645686878274636208352295315714076269/224152720\ 6679325351911471400774383997102767845000*c_1001_10^8 + 974599887556903437827293430377712051049911153868350368/178303300531\ 309971174776134152507817951356533125*c_1001_10^7 + 650006450799910428136042635794226055868777899843076494673/392267261\ 1688819365845074951355171994929843728750*c_1001_10^6 + 643347655898289680902476496782682552099262881952932729817/392267261\ 1688819365845074951355171994929843728750*c_1001_10^5 + 1549548036941611350481031821472904109584808308551213715049/15690690\ 446755277463380299805420687979719374915000*c_1001_10^4 + 650392617164601068207265781932035565767904703468657960367/156906904\ 46755277463380299805420687979719374915000*c_1001_10^3 + 1734175708918889946889484287542100884268924963464520061/14264264042\ 5047976939820907322006254361085226500*c_1001_10^2 + 36197885986908285709554521857083184246049922031281352533/1569069044\ 6755277463380299805420687979719374915000*c_1001_10 + 3591707803246233128556945977137537798335449043448530223/15690690446\ 755277463380299805420687979719374915000, c_0011_0 - 1, c_0011_10 + 4968732770204872685157412273312068343/387685466166877025308\ 833045295763125*c_1001_10^21 - 647269588209900720856676972342901762\ 3/387685466166877025308833045295763125*c_1001_10^20 + 76080944544995727655507300044494406458/3876854661668770253088330452\ 95763125*c_1001_10^19 + 784192390091878101478908777820079689399/387\ 685466166877025308833045295763125*c_1001_10^18 + 2480542098436978798896009050321908310997/38768546616687702530883304\ 5295763125*c_1001_10^17 + 4293114600245344143270001877969860003803/\ 387685466166877025308833045295763125*c_1001_10^16 + 5450510934926142821212141853070865856744/38768546616687702530883304\ 5295763125*c_1001_10^15 + 7684255074269280106830589669369836368539/\ 387685466166877025308833045295763125*c_1001_10^14 + 13798691252153724601791841982568494815249/3876854661668770253088330\ 45295763125*c_1001_10^13 + 2297040122711932519914689953785695340842\ 2/387685466166877025308833045295763125*c_1001_10^12 + 5860121513162018531750357777818203222518/77537093233375405061766609\ 059152625*c_1001_10^11 + 27123440344202172602039773012658058716817/\ 387685466166877025308833045295763125*c_1001_10^10 + 3397874891295233213306654034011965043513/77537093233375405061766609\ 059152625*c_1001_10^9 + 5044659170441146182174723029206407766133/38\ 7685466166877025308833045295763125*c_1001_10^8 - 2767411974091825488416383285313435761234/38768546616687702530883304\ 5295763125*c_1001_10^7 - 4959841729421627918056853557211621688152/3\ 87685466166877025308833045295763125*c_1001_10^6 - 3748968373208575584668943261913827310638/38768546616687702530883304\ 5295763125*c_1001_10^5 - 1873163109637959157765631774130441471489/3\ 87685466166877025308833045295763125*c_1001_10^4 - 658180708016117582776419678315638777467/387685466166877025308833045\ 295763125*c_1001_10^3 - 257113107695194543437100271145836193/620296\ 745867003240494132872473221*c_1001_10^2 - 25220752940482613505452470461383705868/3876854661668770253088330452\ 95763125*c_1001_10 - 2083089416068538180190340552350589463/38768546\ 6166877025308833045295763125, c_0011_11 + 86235032843812735972934003262717255321/15507418646675081012\ 35332181183052500*c_1001_10^21 - 2554250944240629879909947212509049\ 0539/387685466166877025308833045295763125*c_1001_10^20 + 1319189899216618117033553322203415210601/15507418646675081012353321\ 81183052500*c_1001_10^19 + 1374017058972932040081969573100951176080\ 3/1550741864667508101235332181183052500*c_1001_10^18 + 44855883882509356216761301550425863610459/1550741864667508101235332\ 181183052500*c_1001_10^17 + 203309843569936457765709862071582580583\ 54/387685466166877025308833045295763125*c_1001_10^16 + 53927942210043430147730757984975061422809/7753709323337540506176660\ 90591526250*c_1001_10^15 + 1504510409850392709979290601465780935593\ 33/1550741864667508101235332181183052500*c_1001_10^14 + 130722090289553158896031297724533946417589/775370932333754050617666\ 090591526250*c_1001_10^13 + 109340284285142354520165459654474908017\ 871/387685466166877025308833045295763125*c_1001_10^12 + 57690454309802218724845639765659349952113/1550741864667508101235332\ 18118305250*c_1001_10^11 + 5633762342320445379592822906597706524265\ 99/1550741864667508101235332181183052500*c_1001_10^10 + 76811235869122257498299893714623546306751/3101483729335016202470664\ 36236610500*c_1001_10^9 + 14401938475146638437408171734890293091240\ 1/1550741864667508101235332181183052500*c_1001_10^8 - 8120624924769848961606804769929487921237/38768546616687702530883304\ 5295763125*c_1001_10^7 - 24321101173890506686641866730465391562536/\ 387685466166877025308833045295763125*c_1001_10^6 - 20698341376160902586494133741288913647484/3876854661668770253088330\ 45295763125*c_1001_10^5 - 44928435078566247556728425438803396236033\ /1550741864667508101235332181183052500*c_1001_10^4 - 16996638889349020932794433163669036384549/1550741864667508101235332\ 181183052500*c_1001_10^3 - 88484893831158099055465038399121562487/3\ 1014837293350162024706643623661050*c_1001_10^2 - 721715537167065957175108989659101726721/155074186466750810123533218\ 1183052500*c_1001_10 - 57193422739793585650537719550393675261/15507\ 41864667508101235332181183052500, c_0011_12 - 66141929415815272664510923428172838799/15507418646675081012\ 35332181183052500*c_1001_10^21 + 2579624914421623890638946782848779\ 8607/775370932333754050617666090591526250*c_1001_10^20 - 965582715023910644386017817499809873369/155074186466750810123533218\ 1183052500*c_1001_10^19 - 10967261709868703099122950409498217471557\ /1550741864667508101235332181183052500*c_1001_10^18 - 38450547924742061753345681755552359304571/1550741864667508101235332\ 181183052500*c_1001_10^17 - 185017717835350037367358372152742471163\ 01/387685466166877025308833045295763125*c_1001_10^16 - 50400273881834773369269392931408820263821/7753709323337540506176660\ 90591526250*c_1001_10^15 - 1368832297238027735757187579064146226223\ 27/1550741864667508101235332181183052500*c_1001_10^14 - 58181994881205207544063265743833061951808/3876854661668770253088330\ 45295763125*c_1001_10^13 - 1980754387357970347976643883639493078594\ 23/775370932333754050617666090591526250*c_1001_10^12 - 27006428604882037090453381154561757648406/7753709323337540506176660\ 9059152625*c_1001_10^11 - 54763417038141837689304131551816147145883\ 1/1550741864667508101235332181183052500*c_1001_10^10 - 78173997304021179977130670772166788431609/3101483729335016202470664\ 36236610500*c_1001_10^9 - 16120008717413316188857960990741379373126\ 9/1550741864667508101235332181183052500*c_1001_10^8 + 4593354907631938539430790090357739801553/38768546616687702530883304\ 5295763125*c_1001_10^7 + 22847173317463693237175402268626289598309/\ 387685466166877025308833045295763125*c_1001_10^6 + 20686622193137095964093298762838999405496/3876854661668770253088330\ 45295763125*c_1001_10^5 + 46597751447485565861152561542053141891927\ /1550741864667508101235332181183052500*c_1001_10^4 + 18186101347320807942634021810209678068781/1550741864667508101235332\ 181183052500*c_1001_10^3 + 19478502677182710172114916831482582041/6\ 202967458670032404941328724732210*c_1001_10^2 + 818319251185135618579268963442085369999/155074186466750810123533218\ 1183052500*c_1001_10 + 66164374499018753645913189205471120709/15507\ 41864667508101235332181183052500, c_0011_9 - 48765502929178782208759109558217600617/155074186466750810123\ 5332181183052500*c_1001_10^21 + 18099953506103513017118553184213072\ 031/775370932333754050617666090591526250*c_1001_10^20 - 701962113309998548091397136849517825927/155074186466750810123533218\ 1183052500*c_1001_10^19 - 8127091467953169477438778404840647674631/\ 1550741864667508101235332181183052500*c_1001_10^18 - 28518697271348928271016551442510788801593/1550741864667508101235332\ 181183052500*c_1001_10^17 - 135849610804686286383148816209755014579\ 33/387685466166877025308833045295763125*c_1001_10^16 - 36304498566676115566731635075687648185843/7753709323337540506176660\ 90591526250*c_1001_10^15 - 9785095359925281650265547256759634674204\ 1/1550741864667508101235332181183052500*c_1001_10^14 - 42145723871216050420420203388959437590789/3876854661668770253088330\ 45295763125*c_1001_10^13 - 1442825821294026159808041363865849032709\ 59/775370932333754050617666090591526250*c_1001_10^12 - 19502117777135691590825851834935912495998/7753709323337540506176660\ 9059152625*c_1001_10^11 - 38744183438511087591658502420278846884217\ 3/1550741864667508101235332181183052500*c_1001_10^10 - 53326417558832681929039208190148281920247/3101483729335016202470664\ 36236610500*c_1001_10^9 - 10018522109519985041812921925908241689862\ 7/1550741864667508101235332181183052500*c_1001_10^8 + 5749702788144090373102571711287463657624/38768546616687702530883304\ 5295763125*c_1001_10^7 + 16940418747385414054302631564918559219697/\ 387685466166877025308833045295763125*c_1001_10^6 + 14267634929434488032590223421393688614243/3876854661668770253088330\ 45295763125*c_1001_10^5 + 30532019369541405011842556641021036497341\ /1550741864667508101235332181183052500*c_1001_10^4 + 11341143809039487342546446435218515211023/1550741864667508101235332\ 181183052500*c_1001_10^3 + 11529862658620230099152196067249470309/6\ 202967458670032404941328724732210*c_1001_10^2 + 456906158233716218016957599617034562717/155074186466750810123533218\ 1183052500*c_1001_10 + 33947097748150682249084750304426755147/15507\ 41864667508101235332181183052500, c_0101_1 + 28199861224874925207443508444380476803/155074186466750810123\ 5332181183052500*c_1001_10^21 - 52678628156614542945014940953472491\ 52/387685466166877025308833045295763125*c_1001_10^20 + 413774802568714774569716260701759317343/155074186466750810123533218\ 1183052500*c_1001_10^19 + 4680502033587997359472964347836037829129/\ 1550741864667508101235332181183052500*c_1001_10^18 + 16601017503924631284163640595118812120637/1550741864667508101235332\ 181183052500*c_1001_10^17 + 811210571735448574740791853993061111267\ 2/387685466166877025308833045295763125*c_1001_10^16 + 22324808735821307020696702710442632260487/7753709323337540506176660\ 90591526250*c_1001_10^15 + 6020138881761634711604125793788067823901\ 9/1550741864667508101235332181183052500*c_1001_10^14 + 50755480439833990867110387278749552723077/7753709323337540506176660\ 90591526250*c_1001_10^13 + 4338578020230585284977150434009610195477\ 8/387685466166877025308833045295763125*c_1001_10^12 + 23867279053415386649889535162763386953679/1550741864667508101235332\ 18118305250*c_1001_10^11 + 2441623103716233090000429797677220050484\ 57/1550741864667508101235332181183052500*c_1001_10^10 + 35170725797539099070148812635382800542213/3101483729335016202470664\ 36236610500*c_1001_10^9 + 73550807968764788367302787809587453980843\ /1550741864667508101235332181183052500*c_1001_10^8 - 1841011453842025928079494745062217220141/38768546616687702530883304\ 5295763125*c_1001_10^7 - 10181926482566720699514205101333568207823/\ 387685466166877025308833045295763125*c_1001_10^6 - 9291219673777155340352632668882890339437/38768546616687702530883304\ 5295763125*c_1001_10^5 - 20979452077547694546270308739269793886519/\ 1550741864667508101235332181183052500*c_1001_10^4 - 8174410544850742435682041587638646379507/15507418646675081012353321\ 81183052500*c_1001_10^3 - 43479108325416409277113657605654227197/31\ 014837293350162024706643623661050*c_1001_10^2 - 357287926876115883440326337346079543303/155074186466750810123533218\ 1183052500*c_1001_10 - 27687265766401093820228711874842835623/15507\ 41864667508101235332181183052500, c_0101_10 - 27501452400787854526497482649538527579/15507418646675081012\ 35332181183052500*c_1001_10^21 + 1123307163034329178751064152918728\ 8786/387685466166877025308833045295763125*c_1001_10^20 - 447018652456592628952359718083550931799/155074186466750810123533218\ 1183052500*c_1001_10^19 - 4174819218829740039970597460597818036497/\ 1550741864667508101235332181183052500*c_1001_10^18 - 12518957720167244673258188827425342432541/1550741864667508101235332\ 181183052500*c_1001_10^17 - 532836663935404374262522118564591572719\ 6/387685466166877025308833045295763125*c_1001_10^16 - 14045728677146143459096148150327933989241/7753709323337540506176660\ 90591526250*c_1001_10^15 - 4097184175447767759994301394548423042156\ 7/1550741864667508101235332181183052500*c_1001_10^14 - 35864420940277814308730246559169978903261/7753709323337540506176660\ 90591526250*c_1001_10^13 - 2914629423703594188108074420353712962310\ 4/387685466166877025308833045295763125*c_1001_10^12 - 14905565850768360631512465990822450056457/1550741864667508101235332\ 18118305250*c_1001_10^11 - 1421861147923425333215617174721700385747\ 01/1550741864667508101235332181183052500*c_1001_10^10 - 19091703941992719074209025518772021039269/3101483729335016202470664\ 36236610500*c_1001_10^9 - 35452564822897243545354857181280962467099\ /1550741864667508101235332181183052500*c_1001_10^8 + 2015735545349449162686723292077103408013/38768546616687702530883304\ 5295763125*c_1001_10^7 + 6028938460699120851481964472578404187514/3\ 87685466166877025308833045295763125*c_1001_10^6 + 5183772423794462585006934223610647729116/38768546616687702530883304\ 5295763125*c_1001_10^5 + 11458899302476502216157286194064817386767/\ 1550741864667508101235332181183052500*c_1001_10^4 + 4450665501446488657610717501247321243451/15507418646675081012353321\ 81183052500*c_1001_10^3 + 24052564811763593341694685428822418049/31\ 014837293350162024706643623661050*c_1001_10^2 + 204395510767382583733278928239055608479/155074186466750810123533218\ 1183052500*c_1001_10 + 17065960435183424002979765726933036039/15507\ 41864667508101235332181183052500, c_0101_11 + 20263336963727658141956397656310306821/15507418646675081012\ 35332181183052500*c_1001_10^21 + 9497771259322626624428088556031421\ 347/775370932333754050617666090591526250*c_1001_10^20 + 247224779546574566363726201280760122851/155074186466750810123533218\ 1183052500*c_1001_10^19 + 3898251362657260489827021847781673255403/\ 1550741864667508101235332181183052500*c_1001_10^18 + 17217928616684321643491343489847905185109/1550741864667508101235332\ 181183052500*c_1001_10^17 + 988949756000456067138625662800955614117\ 9/387685466166877025308833045295763125*c_1001_10^16 + 29729678078549969568286773812092657838009/7753709323337540506176660\ 90591526250*c_1001_10^15 + 7747062105497916571921238685605900901503\ 3/1550741864667508101235332181183052500*c_1001_10^14 + 30384961729928073337673959983080818989482/3876854661668770253088330\ 45295763125*c_1001_10^13 + 1064563977217565502218139115675649278400\ 17/775370932333754050617666090591526250*c_1001_10^12 + 15880416329296814456469750946935169281654/7753709323337540506176660\ 9059152625*c_1001_10^11 + 35861413610485929366645486457270444989854\ 9/1550741864667508101235332181183052500*c_1001_10^10 + 58181354250023728899075432090974416050271/3101483729335016202470664\ 36236610500*c_1001_10^9 + 14994271480101311310678355618843017774875\ 1/1550741864667508101235332181183052500*c_1001_10^8 + 4245064560997853838689900534178824390688/38768546616687702530883304\ 5295763125*c_1001_10^7 - 13069742008106151946525347696798773206686/\ 387685466166877025308833045295763125*c_1001_10^6 - 14772925152818599798284251126366387588484/3876854661668770253088330\ 45295763125*c_1001_10^5 - 37271404062025906257212924811214182009633\ /1550741864667508101235332181183052500*c_1001_10^4 - 15868620676878292890419401813711516251199/1550741864667508101235332\ 181183052500*c_1001_10^3 - 91597565828524316161380698046985301003/3\ 1014837293350162024706643623661050*c_1001_10^2 - 823221557301673834093127459709998070521/155074186466750810123533218\ 1183052500*c_1001_10 - 69316924430225565566186394255579109411/15507\ 41864667508101235332181183052500, c_0101_12 - 5227145288266126733492642495839942521/775370932333754050617\ 666090591526250*c_1001_10^21 - 214668059108008675426859129612402384\ 7/387685466166877025308833045295763125*c_1001_10^20 - 60679516413550898491810494594937081551/7753709323337540506176660905\ 91526250*c_1001_10^19 - 1001422671433622287107835779902884376203/77\ 5370932333754050617666090591526250*c_1001_10^18 - 4288263577149582080799258869949489672459/77537093233375405061766609\ 0591526250*c_1001_10^17 - 4642503162403555049389234573731060094758/\ 387685466166877025308833045295763125*c_1001_10^16 - 6458372386490145713390651622417824038334/38768546616687702530883304\ 5295763125*c_1001_10^15 - 16287595545484707613248512665893186873783\ /775370932333754050617666090591526250*c_1001_10^14 - 13490841719339054486901306526951932992889/3876854661668770253088330\ 45295763125*c_1001_10^13 - 2417460177660764124429770368431815197959\ 2/387685466166877025308833045295763125*c_1001_10^12 - 6954730245067043969042347339663025072323/77537093233375405061766609\ 059152625*c_1001_10^11 - 72989818584916834832679112083881614949999/\ 775370932333754050617666090591526250*c_1001_10^10 - 10574014746370701628453002602418293841211/1550741864667508101235332\ 18118305250*c_1001_10^9 - 21548070302176594341087226179064280112901\ /775370932333754050617666090591526250*c_1001_10^8 + 1554754633242698675180376911330562529349/38768546616687702530883304\ 5295763125*c_1001_10^7 + 6381137138284984377379307819251214258622/3\ 87685466166877025308833045295763125*c_1001_10^6 + 5558049142504420241931238080046288701943/38768546616687702530883304\ 5295763125*c_1001_10^5 + 5992291786084488800065157162842905292683/7\ 75370932333754050617666090591526250*c_1001_10^4 + 2208932322798745443493108019847387060049/77537093233375405061766609\ 0591526250*c_1001_10^3 + 2190202271785715728326251113276857007/3101\ 483729335016202470664362366105*c_1001_10^2 + 83342082957017194233049238768441282321/7753709323337540506176660905\ 91526250*c_1001_10 + 5416166412352931232631618188041775161/77537093\ 2333754050617666090591526250, c_0101_2 + 7114648277050653103203575359972983887/1550741864667508101235\ 332181183052500*c_1001_10^21 - 918571430539602638982794913710235189\ 1/775370932333754050617666090591526250*c_1001_10^20 + 113754845826267094639048650618013050297/155074186466750810123533218\ 1183052500*c_1001_10^19 + 997123041520036286190367987970186585241/1\ 550741864667508101235332181183052500*c_1001_10^18 + 1999512750448437783726830632766859116923/15507418646675081012353321\ 81183052500*c_1001_10^17 + 140677927287744839358744263395941489413/\ 387685466166877025308833045295763125*c_1001_10^16 - 1451459043859409749587883707429202918077/77537093233375405061766609\ 0591526250*c_1001_10^15 - 3136755583966958709277313392487967583749/\ 1550741864667508101235332181183052500*c_1001_10^14 + 241126708713677807094408302272684698754/387685466166877025308833045\ 295763125*c_1001_10^13 + 167551305045975511270418399330666755749/77\ 5370932333754050617666090591526250*c_1001_10^12 - 713388046781462697585624773685311839347/775370932333754050617666090\ 59152625*c_1001_10^11 - 37282890057854811086724776705552125403197/1\ 550741864667508101235332181183052500*c_1001_10^10 - 10125010172634778485741805325060789998383/3101483729335016202470664\ 36236610500*c_1001_10^9 - 42978078861571772523229672801617194956003\ /1550741864667508101235332181183052500*c_1001_10^8 - 5242259435602774436854174950502235303689/38768546616687702530883304\ 5295763125*c_1001_10^7 - 111615439930778270075418422405484949392/38\ 7685466166877025308833045295763125*c_1001_10^6 + 2212876116403400990410988848443084260552/38768546616687702530883304\ 5295763125*c_1001_10^5 + 8375539219869186677044690893207049314449/1\ 550741864667508101235332181183052500*c_1001_10^4 + 4495849837623669187793469380034408232847/15507418646675081012353321\ 81183052500*c_1001_10^3 + 6187137215517273056285445680235535663/620\ 2967458670032404941328724732210*c_1001_10^2 + 323778567053465475904418303603644953513/155074186466750810123533218\ 1183052500*c_1001_10 + 31684350294596528330527440770960031283/15507\ 41864667508101235332181183052500, c_0110_12 - 2641853659405509676323332476942107279/310148372933501620247\ 066436236610500*c_1001_10^21 + 48056587291970862916034442735682781/\ 77537093233375405061766609059152625*c_1001_10^20 - 35044769829450353382056089278009955999/3101483729335016202470664362\ 36610500*c_1001_10^19 - 467520105683682993690220294085402782917/310\ 148372933501620247066436236610500*c_1001_10^18 - 1815866950140484947865936946337951511321/31014837293350162024706643\ 6236610500*c_1001_10^17 - 926617306600031946277200532267308407161/7\ 7537093233375405061766609059152625*c_1001_10^16 - 2512579866215667360270476054298369724981/15507418646675081012353321\ 8118305250*c_1001_10^15 - 6463295702736363467669775026091677220607/\ 310148372933501620247066436236610500*c_1001_10^14 - 5490398149968382252544135823934972974761/15507418646675081012353321\ 8118305250*c_1001_10^13 - 4850357351644320698533648806940290350394/\ 77537093233375405061766609059152625*c_1001_10^12 - 2705690196263858981826734758885782598441/31014837293350162024706643\ 623661050*c_1001_10^11 - 27445645325701606884354183296802533199841/\ 310148372933501620247066436236610500*c_1001_10^10 - 3826178812518605051415036500026839421753/62029674586700324049413287\ 247322100*c_1001_10^9 - 7287015588429237495268043010052919199519/31\ 0148372933501620247066436236610500*c_1001_10^8 + 385895800329652296873843974339971960728/775370932333754050617666090\ 59152625*c_1001_10^7 + 1189160625888721518665792786899861315144/775\ 37093233375405061766609059152625*c_1001_10^6 + 1001916930215296808988768406061131157666/77537093233375405061766609\ 059152625*c_1001_10^5 + 2145750472428542064840215539853985714387/31\ 0148372933501620247066436236610500*c_1001_10^4 + 805979696101176556739881585487137000531/310148372933501620247066436\ 236610500*c_1001_10^3 + 21249410912076747160412912381683549471/3101\ 4837293350162024706643623661050*c_1001_10^2 + 37141499528555618154832398186917645039/3101483729335016202470664362\ 36610500*c_1001_10 + 3437345181964873362296621649336215419/31014837\ 2933501620247066436236610500, c_1001_1 - 13203732749248641213021162169159597213/155074186466750810123\ 5332181183052500*c_1001_10^21 + 11576383372765476937438456994618558\ 59/775370932333754050617666090591526250*c_1001_10^20 - 177842898381256968912843674620002916303/155074186466750810123533218\ 1183052500*c_1001_10^19 - 2319755954609076135356334158463202354159/\ 1550741864667508101235332181183052500*c_1001_10^18 - 8863895934774041725136472641307142924377/15507418646675081012353321\ 81183052500*c_1001_10^17 - 4520207066930101948338019583979772295062\ /387685466166877025308833045295763125*c_1001_10^16 - 12564382254366644611664624485714236079427/7753709323337540506176660\ 90591526250*c_1001_10^15 - 3330895580926490375280839983690477877474\ 9/1550741864667508101235332181183052500*c_1001_10^14 - 13925922306801982087197002066596132185446/3876854661668770253088330\ 45295763125*c_1001_10^13 - 4822806413849864691844627999199145407185\ 1/775370932333754050617666090591526250*c_1001_10^12 - 6764366330704224000027516456008536966632/77537093233375405061766609\ 059152625*c_1001_10^11 - 141386036221146726678225894075815904636797\ /1550741864667508101235332181183052500*c_1001_10^10 - 20950644516693358097867215498181317948003/3101483729335016202470664\ 36236610500*c_1001_10^9 - 46732418771024752122750767788195882511703\ /1550741864667508101235332181183052500*c_1001_10^8 + 240013133214826900348979033397812869961/387685466166877025308833045\ 295763125*c_1001_10^7 + 5515195658470012357541238367209802132358/38\ 7685466166877025308833045295763125*c_1001_10^6 + 5370998045854855062234922318143993962452/38768546616687702530883304\ 5295763125*c_1001_10^5 + 12741286169276526785402708914471608437849/\ 1550741864667508101235332181183052500*c_1001_10^4 + 5282413481053933035967121044205826977147/15507418646675081012353321\ 81183052500*c_1001_10^3 + 30861505607359221805391292965696098421/31\ 014837293350162024706643623661050*c_1001_10^2 + 297149055590690760103053673704598997913/155074186466750810123533218\ 1183052500*c_1001_10 + 29365330681004543540706631371288919283/15507\ 41864667508101235332181183052500, c_1001_10^22 - 13/19*c_1001_10^21 + 283/19*c_1001_10^20 + 3168/19*c_1001_10^19 + 11454/19*c_1001_10^18 + 23433/19*c_1001_10^17 + 34518/19*c_1001_10^16 + 48105/19*c_1001_10^15 + 78025/19*c_1001_10^14 + 130554/19*c_1001_10^13 + 185054/19*c_1001_10^12 + 203991/19*c_1001_10^11 + 167294/19*c_1001_10^10 + 4876*c_1001_10^9 + 19679/19*c_1001_10^8 - 22564/19*c_1001_10^7 - 31648/19*c_1001_10^6 - 22723/19*c_1001_10^5 - 11194/19*c_1001_10^4 - 3949/19*c_1001_10^3 - 51*c_1001_10^2 - 150/19*c_1001_10 - 11/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.440 Total time: 6.650 seconds, Total memory usage: 122.59MB