Magma V2.19-8 Wed Aug 21 2013 00:57:05 on localhost [Seed = 3954045240] Type ? for help. Type -D to quit. Loading file "L13n3742__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3742 geometric_solution 12.32611840 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 1 0 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -6 1 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664679375068 0.558885154202 0 2 6 5 0132 1230 0132 0132 1 1 1 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 -5 5 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.034022102448 1.194797817362 4 0 1 7 1230 0132 3012 0132 1 1 1 1 0 -1 0 1 0 0 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 -5 0 5 0 0 5 -5 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906101294918 0.711412007381 6 8 9 0 2310 0132 0132 0132 1 1 1 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 -6 0 6 0 0 0 0 0 6 0 -6 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558405874094 0.725627360304 10 2 0 6 0132 3012 0132 2031 1 1 1 1 0 1 0 -1 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 6 -1 -5 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596219991900 0.682431018637 10 6 1 8 3012 3012 0132 2310 1 1 1 1 0 1 0 -1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 6 0 0 -6 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265001413886 0.637715034083 5 4 3 1 1230 1302 3201 0132 1 1 1 1 0 0 1 -1 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 5 -5 0 0 0 0 -5 5 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.082024633452 0.632765489209 11 11 2 9 0132 1230 0132 0132 1 1 0 1 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 5 -5 0 -5 0 5 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.485176950844 0.964003817184 5 3 11 10 3201 0132 1230 3201 1 1 1 1 0 1 0 -1 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 6 0 -6 0 0 -5 5 6 0 0 -6 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.301389460915 1.614456650462 12 12 7 3 0132 1302 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712596492071 0.782628327203 4 8 12 5 0132 2310 0321 1230 1 1 1 1 0 1 0 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 -5 0 5 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232291918872 0.993569101287 7 12 7 8 0132 0132 3012 3012 1 1 1 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 0 -5 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583431839079 0.827684201704 9 11 10 9 0132 0132 0321 2031 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413466050814 1.125909165255 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_5'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_8']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : d['c_0101_0'], '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' : d['c_0101_11'], '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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : d['1'], 's_3_0' : negation(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_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), '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_0011_10']), 'c_0110_10' : d['c_0011_5'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0011_5'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0101_8']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_8, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 950727080816039780269168727748843356267568175874612704861577/128081\ 17265086453436034586751168395181450742949419062580700*c_1001_10^11 - 91920375956394807508468051166182970993694337906429776411581/1829731\ 03786949334800494096445262788306439184991700894010*c_1001_10^10 + 6702934057445808516845785403911176737778412790373657161593/45743275\ 9467373337001235241113156970766097962479252235025*c_1001_10^9 - 376687261208157584786752400421498730386102463272933140561306373/128\ 08117265086453436034586751168395181450742949419062580700*c_1001_10^\ 8 + 170473568108733758546259212985319238922012629432387295482531243\ 3/12808117265086453436034586751168395181450742949419062580700*c_100\ 1_10^7 + 3336521221033834741574422974655765881834769510717559632307\ 15069/914865518934746674002470482226313941532195924958504470050*c_1\ 001_10^6 + 32990317079113575571855677782927885442895293392427731472\ 97903661/2561623453017290687206917350233679036290148589883812516140\ *c_1001_10^5 + 1004549935969950254843923111871107737429032918588342\ 3145836126113/12808117265086453436034586751168395181450742949419062\ 580700*c_1001_10^4 + 9939992971920123290786190225719980798798326121\ 527183500088954823/640405863254322671801729337558419759072537147470\ 9531290350*c_1001_10^3 + 155859983744477183046823295827857956935823\ 7873736259563703364503/25616234530172906872069173502336790362901485\ 89883812516140*c_1001_10^2 - 12815827358817754727956163554820159230\ 6056453222673638817352237/25616234530172906872069173502336790362901\ 48589883812516140*c_1001_10 - 2530358491320259447072365141490597009\ 99469963808552254779899317/1280811726508645343603458675116839518145\ 0742949419062580700, c_0011_0 - 1, c_0011_10 - 1257374441572330139190693454388416949651/276563438748827536\ 1400494213355408964281994*c_1001_10^11 + 4727176401436599174500211177136558021190/13828171937441376807002471\ 06677704482140997*c_1001_10^10 - 3362942944583023355405703294469501\ 762668/1382817193744137680700247106677704482140997*c_1001_10^9 + 499076901501371625296402694692699575521467/276563438748827536140049\ 4213355408964281994*c_1001_10^8 - 262977002838295159209260965333362\ 3137593783/2765634387488275361400494213355408964281994*c_1001_10^7 - 2224977036925408945463707144200169151604310/13828171937441376807002\ 47106677704482140997*c_1001_10^6 - 17381641239852923740453389200216537124927627/2765634387488275361400\ 494213355408964281994*c_1001_10^5 + 2940368281818109875417402146139291996608215/27656343874882753614004\ 94213355408964281994*c_1001_10^4 - 8634499634153405265286931489215217224349367/13828171937441376807002\ 47106677704482140997*c_1001_10^3 + 11358337058442611513708939249527969346938813/2765634387488275361400\ 494213355408964281994*c_1001_10^2 + 8853478871751906381348663763866041060123209/27656343874882753614004\ 94213355408964281994*c_1001_10 + 5019843391646976367921438541714505\ 32755297/2765634387488275361400494213355408964281994, c_0011_11 + 1, c_0011_3 - 443022561996394190063649123022365027620/13828171937441376807\ 00247106677704482140997*c_1001_10^11 + 3247526570919316145946339123248965847318/13828171937441376807002471\ 06677704482140997*c_1001_10^10 - 1735116147451351660772337124171618\ 516859/1382817193744137680700247106677704482140997*c_1001_10^9 + 175300113781954241447353361841559326126221/138281719374413768070024\ 7106677704482140997*c_1001_10^8 - 893050982533444884556688087820995\ 795940713/1382817193744137680700247106677704482140997*c_1001_10^7 - 1745163049329747430123427241931647824424350/13828171937441376807002\ 47106677704482140997*c_1001_10^6 - 6384243788266776724774734276590121248043058/13828171937441376807002\ 47106677704482140997*c_1001_10^5 - 176442954333039413708718887632205410578781/138281719374413768070024\ 7106677704482140997*c_1001_10^4 - 600299697744310194857884661450863\ 1703292308/1382817193744137680700247106677704482140997*c_1001_10^3 + 1026365059781319184009969550777041614030734/13828171937441376807002\ 47106677704482140997*c_1001_10^2 + 1794002881030577984718220568579680644391213/13828171937441376807002\ 47106677704482140997*c_1001_10 + 3902470646226020192301694864071863\ 3332054/1382817193744137680700247106677704482140997, c_0011_5 - 1032555160048019516186802256319986589528/1382817193744137680\ 700247106677704482140997*c_1001_10^11 + 6637672126238237125438475653182773152761/13828171937441376807002471\ 06677704482140997*c_1001_10^10 + 2093251358417400484986557911907440\ 040149/1382817193744137680700247106677704482140997*c_1001_10^9 + 409628639477324580242459700557354326069602/138281719374413768070024\ 7106677704482140997*c_1001_10^8 - 171308553079869587060655925135936\ 4974082774/1382817193744137680700247106677704482140997*c_1001_10^7 - 5672204750249535569622699244020567944932831/13828171937441376807002\ 47106677704482140997*c_1001_10^6 - 19802359579387152792910656729516635043554009/1382817193744137680700\ 247106677704482140997*c_1001_10^5 - 17234239848452116584631350224274678720018830/1382817193744137680700\ 247106677704482140997*c_1001_10^4 - 26093257462209141888803682603408653884316629/1382817193744137680700\ 247106677704482140997*c_1001_10^3 - 15484553858132209204569148434851327687554312/1382817193744137680700\ 247106677704482140997*c_1001_10^2 - 3098514951935589270750398349231243676113150/13828171937441376807002\ 47106677704482140997*c_1001_10 + 1712432053267870660246217500989230\ 7390738/1382817193744137680700247106677704482140997, c_0011_6 - 6729184855193722762458880792055199143197/2765634387488275361\ 400494213355408964281994*c_1001_10^11 + 22945654704067298905983516148701244025372/1382817193744137680700247\ 106677704482140997*c_1001_10^10 - 190040121354888050554597936898414\ 2550519/1382817193744137680700247106677704482140997*c_1001_10^9 + 2666974941105554976967804211666953030789715/27656343874882753614004\ 94213355408964281994*c_1001_10^8 - 12203795285692233738389736382524344600975297/2765634387488275361400\ 494213355408964281994*c_1001_10^7 - 16197425924033471551457137488197307907676517/1382817193744137680700\ 247106677704482140997*c_1001_10^6 - 115230420955083990764114138218917581198534017/276563438748827536140\ 0494213355408964281994*c_1001_10^5 - 65759698585039874074600612498852952118537969/2765634387488275361400\ 494213355408964281994*c_1001_10^4 - 69164139585058423219252400279295861838414182/1382817193744137680700\ 247106677704482140997*c_1001_10^3 - 47698675386427511837484587111518827762595377/2765634387488275361400\ 494213355408964281994*c_1001_10^2 + 9124042720967392733512732558902317005877263/27656343874882753614004\ 94213355408964281994*c_1001_10 + 1646554901763461106881864621622536\ 829862921/2765634387488275361400494213355408964281994, c_0101_0 + 1125432078247598984486921091671108087947/1382817193744137680\ 700247106677704482140997*c_1001_10^11 - 8023466556468822001834876582767480186371/13828171937441376807002471\ 06677704482140997*c_1001_10^10 + 2953997641213997462997540485213224\ 398735/1382817193744137680700247106677704482140997*c_1001_10^9 - 445799022051277867209441953368371632397491/138281719374413768070024\ 7106677704482140997*c_1001_10^8 + 217873532034191312425536038118786\ 8161386207/1382817193744137680700247106677704482140997*c_1001_10^7 + 4808514996699811681979671625768164736132087/13828171937441376807002\ 47106677704482140997*c_1001_10^6 + 17472530392336200122559820678360934265069100/1382817193744137680700\ 247106677704482140997*c_1001_10^5 + 4837120626681205734632200458641713706440277/13828171937441376807002\ 47106677704482140997*c_1001_10^4 + 19125863678155122876516080384712208157384071/1382817193744137680700\ 247106677704482140997*c_1001_10^3 + 1056686775937546184644628894295054530031045/13828171937441376807002\ 47106677704482140997*c_1001_10^2 - 4075651947324647083270439304196538462905714/13828171937441376807002\ 47106677704482140997*c_1001_10 - 2689886171547824574489076538668764\ 50822842/1382817193744137680700247106677704482140997, c_0101_10 - 251201725575843387384331455858742876179/1382817193744137680\ 700247106677704482140997*c_1001_10^11 + 1885930976163885408213218057285179966913/13828171937441376807002471\ 06677704482140997*c_1001_10^10 - 1231072143098379100826003497184762\ 187436/1382817193744137680700247106677704482140997*c_1001_10^9 + 99115321991337722128349392968347120422781/1382817193744137680700247\ 106677704482140997*c_1001_10^8 - 5245260053809709559902125059148912\ 92082217/1382817193744137680700247106677704482140997*c_1001_10^7 - 931043133507612661604013769557511117740628/138281719374413768070024\ 7106677704482140997*c_1001_10^6 - 333388293001163642879908282271131\ 6199482800/1382817193744137680700247106677704482140997*c_1001_10^5 + 1077761788634243792132950914591109930937987/13828171937441376807002\ 47106677704482140997*c_1001_10^4 - 1655707755361527229849877087376392179996655/13828171937441376807002\ 47106677704482140997*c_1001_10^3 + 3295956940392340078291551210273867385586631/13828171937441376807002\ 47106677704482140997*c_1001_10^2 + 2015778024195002354134873842624749027812029/13828171937441376807002\ 47106677704482140997*c_1001_10 + 1795401473492632719088262914072756\ 68946355/1382817193744137680700247106677704482140997, c_0101_11 + 7139167678966647783037935750696962382866/691408596872068840\ 3501235533388522410704985*c_1001_10^11 - 20463793301325285328208330648653138986123/2765634387488275361400494\ 213355408964281994*c_1001_10^10 + 434570172135572528905439316493740\ 35943069/13828171937441376807002471066777044821409970*c_1001_10^9 - 5672338214744782371460651256661758321607793/13828171937441376807002\ 471066777044821409970*c_1001_10^8 + 13925389599665330097732410124800547836674909/6914085968720688403501\ 235533388522410704985*c_1001_10^7 + 59098749273975166763762417510134580430482311/1382817193744137680700\ 2471066777044821409970*c_1001_10^6 + 44686769117528601693312072213670056094522555/2765634387488275361400\ 494213355408964281994*c_1001_10^5 + 31992254349912475750261769466587127263897464/6914085968720688403501\ 235533388522410704985*c_1001_10^4 + 280230427159969821937098310019113551117904941/138281719374413768070\ 02471066777044821409970*c_1001_10^3 + 6181573266152635408165042083815309261110463/27656343874882753614004\ 94213355408964281994*c_1001_10^2 - 1143071140459896366493090179109232547619486/13828171937441376807002\ 47106677704482140997*c_1001_10 + 1632847059766718623139730254757430\ 9349838873/13828171937441376807002471066777044821409970, c_0101_8 - 309263297503090609410331500499817331230/13828171937441376807\ 00247106677704482140997*c_1001_10^11 + 2434709253219418219982311736096627899153/13828171937441376807002471\ 06677704482140997*c_1001_10^10 - 2388534936887270265652227530838135\ 634387/1382817193744137680700247106677704482140997*c_1001_10^9 + 122700933682741764981579931814193197375124/138281719374413768070024\ 7106677704482140997*c_1001_10^8 - 689984015928639820753390657830890\ 842009290/1382817193744137680700247106677704482140997*c_1001_10^7 - 900138265625934405120480236001466135464635/138281719374413768070024\ 7106677704482140997*c_1001_10^6 - 371367174821796987946241624600748\ 1224265343/1382817193744137680700247106677704482140997*c_1001_10^5 + 2615719263087368403639836599246336873277795/13828171937441376807002\ 47106677704482140997*c_1001_10^4 - 3306766420363813490144390304747249082266624/13828171937441376807002\ 47106677704482140997*c_1001_10^3 + 4069321618722613377626220991445110846544586/13828171937441376807002\ 47106677704482140997*c_1001_10^2 + 2565437989319971406364739119468885928372412/13828171937441376807002\ 47106677704482140997*c_1001_10 + 1386013376714074667859616334392089\ 07198945/1382817193744137680700247106677704482140997, c_1001_0 + 754970990420643364422030542670931197293/27656343874882753614\ 00494213355408964281994*c_1001_10^11 - 2841245425272713766286993119851378054277/13828171937441376807002471\ 06677704482140997*c_1001_10^10 + 2131870801484644254579699797284739\ 575232/1382817193744137680700247106677704482140997*c_1001_10^9 - 300846257518696181039703908756005334675905/276563438748827536140049\ 4213355408964281994*c_1001_10^8 + 158071801762100968011218464150384\ 0553429349/2765634387488275361400494213355408964281994*c_1001_10^7 + 1293933903417796283859693374642658033863682/13828171937441376807002\ 47106677704482140997*c_1001_10^6 + 10713875379829650882855223554793904725962027/2765634387488275361400\ 494213355408964281994*c_1001_10^5 - 784844704549622291151500316957072134732241/276563438748827536140049\ 4213355408964281994*c_1001_10^4 + 697879187879187803543705440183882\ 5044352712/1382817193744137680700247106677704482140997*c_1001_10^3 - 4766423177657931357125836828980234575765551/27656343874882753614004\ 94213355408964281994*c_1001_10^2 - 2056288435873626311678421865261134040217157/27656343874882753614004\ 94213355408964281994*c_1001_10 - 1429040444661710929744912713568991\ 94862587/2765634387488275361400494213355408964281994, c_1001_1 + 1426967437251253451377637139439512089275/2765634387488275361\ 400494213355408964281994*c_1001_10^11 - 5213711266221695460650275376403459229044/13828171937441376807002471\ 06677704482140997*c_1001_10^10 + 2747299762213983876361814886164362\ 535854/1382817193744137680700247106677704482140997*c_1001_10^9 - 565468025471615152831434787741408185164569/276563438748827536140049\ 4213355408964281994*c_1001_10^8 + 286309154558831775980112627611411\ 7112752817/2765634387488275361400494213355408964281994*c_1001_10^7 + 2814990901513257481656839408503886673169509/13828171937441376807002\ 47106677704482140997*c_1001_10^6 + 20948481855288006599704869028746238240088983/2765634387488275361400\ 494213355408964281994*c_1001_10^5 + 1907061096289049790340871778504844081466563/27656343874882753614004\ 94213355408964281994*c_1001_10^4 + 11019904495538540767177746956321481400718003/1382817193744137680700\ 247106677704482140997*c_1001_10^3 - 3283160478622247318810156492334587133593061/27656343874882753614004\ 94213355408964281994*c_1001_10^2 - 8761709994313063933251442958658893398819055/27656343874882753614004\ 94213355408964281994*c_1001_10 - 6757512167833762999605876781636173\ 25340453/2765634387488275361400494213355408964281994, c_1001_10^12 - 87/13*c_1001_10^11 - 4/13*c_1001_10^10 - 5151/13*c_1001_10^9 + 22920/13*c_1001_10^8 + 65601/13*c_1001_10^7 + 230489/13*c_1001_10^6 + 155042/13*c_1001_10^5 + 284041/13*c_1001_10^4 + 129499/13*c_1001_10^3 + 970/13*c_1001_10^2 - 1488/13*c_1001_10 - 953/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.220 Total time: 8.439 seconds, Total memory usage: 64.12MB