Magma V2.19-8 Tue Aug 20 2013 17:56:15 on localhost [Seed = 3398139141] Type ? for help. Type -D to quit. Loading file "11_239__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_239 geometric_solution 9.41056549 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 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 -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.711077865699 1.242363518252 0 5 7 6 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 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.325437745219 0.486659217230 7 0 8 6 2103 0132 0132 2103 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 0 0 0 0 0 0 0 0.493170908659 0.275894075611 5 6 9 0 2103 1023 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 0 -1 1 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 1.108469078181 0.689750996169 10 8 0 8 0132 0132 0132 1230 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 0 0 0 0 0.433676820673 0.586907372850 10 1 3 9 3120 0132 2103 2031 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.691896452630 1.604346455718 3 8 1 2 1023 0213 0132 2103 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632455514760 1.395683943977 9 10 2 1 2031 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724875549878 0.816219274425 4 4 6 2 3012 0132 0213 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851380528117 0.882325723708 10 5 7 3 2103 1302 1302 0132 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 -1 0 1 0 0 -1 1 0 0 0 0 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243029215648 0.436303199169 4 7 9 5 0132 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363587214766 0.595040315168 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : d['c_0110_6'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : d['c_0011_3'], 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0110_2']), 'c_1100_6' : negation(d['c_0110_2']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0110_6']), 'c_1100_10' : negation(d['c_0101_3']), 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_0'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_3'], '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_10' : d['c_0101_1'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_2, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 17811907051383318094464815466782193818525/3111888142208450086295138\ 2535200186822*c_1001_2^16 + 567265026440080685119258237376515011976\ 91/31118881422084500862951382535200186822*c_1001_2^15 - 3865717951078723325404039010659908047289/28289892201895000784501256\ 85018198802*c_1001_2^14 + 75112045235052761451443983675682430864593\ /31118881422084500862951382535200186822*c_1001_2^13 + 436528116311741402146212140696574777869409/155594407110422504314756\ 91267600093411*c_1001_2^12 - 33343250690111533022089982049022171744\ 415/15559440711042250431475691267600093411*c_1001_2^11 - 1955933401818443887551392566784391504056807/31118881422084500862951\ 382535200186822*c_1001_2^10 - 5662084102525846426082601770610993578\ 3477/1637835864320236887523756975536851938*c_1001_2^9 + 775740552628156730595599896251430322545945/311188814220845008629513\ 82535200186822*c_1001_2^8 + 338285062592729442739679836539123545112\ 8675/31118881422084500862951382535200186822*c_1001_2^7 + 9243006328223207726351234813991390573146263/31118881422084500862951\ 382535200186822*c_1001_2^6 + 14781199517485599590766930355982487526\ 800669/31118881422084500862951382535200186822*c_1001_2^5 + 1273604178584866972114881198062109082063155/28289892201895000784501\ 25685018198802*c_1001_2^4 + 820485479726874340641303699865146726608\ 5785/31118881422084500862951382535200186822*c_1001_2^3 + 2946026932426414087713030283183085066007425/31118881422084500862951\ 382535200186822*c_1001_2^2 + 83867531160429999237974312547618999619\ 1/43100943797900970724309394093075051*c_1001_2 + 29004913761712572568382305196135110089399/1555944071104225043147569\ 1267600093411, c_0011_0 - 1, c_0011_10 - 117038991356843050888867467277193/5360147220233922487788756\ 882611*c_1001_2^16 - 364695173008341353144472871498127/536014722023\ 3922487788756882611*c_1001_2^15 + 300523349628995776579296163564481\ /5360147220233922487788756882611*c_1001_2^14 - 524229981346197120162859341304271/5360147220233922487788756882611*c\ _1001_2^13 - 5685025326596404702312617421062086/5360147220233922487\ 788756882611*c_1001_2^12 + 801422207757220033584457638125999/536014\ 7220233922487788756882611*c_1001_2^11 + 12622662394330058545782939106996333/5360147220233922487788756882611\ *c_1001_2^10 + 6326663931414464875731934897997805/53601472202339224\ 87788756882611*c_1001_2^9 - 5192789301760121104724284075479339/5360\ 147220233922487788756882611*c_1001_2^8 - 21836528451969904093195635041588998/5360147220233922487788756882611\ *c_1001_2^7 - 59404768886563366577267116139990991/53601472202339224\ 87788756882611*c_1001_2^6 - 93692966641188563474935813806805901/536\ 0147220233922487788756882611*c_1001_2^5 - 87254656771510056317559524541958378/5360147220233922487788756882611\ *c_1001_2^4 - 50174011494141512269962815604095094/53601472202339224\ 87788756882611*c_1001_2^3 - 17666037613215937600894491982033503/536\ 0147220233922487788756882611*c_1001_2^2 - 3570334223127164538954734132275313/5360147220233922487788756882611*\ c_1001_2 - 334837622403732085909932314685133/5360147220233922487788\ 756882611, c_0011_3 - 66646875495232784982700125738524/536014722023392248778875688\ 2611*c_1001_2^16 - 202219961182284111839562758667480/53601472202339\ 22487788756882611*c_1001_2^15 + 185228156747930094308488366165730/5\ 360147220233922487788756882611*c_1001_2^14 - 320686645101843771734862379870804/5360147220233922487788756882611*c\ _1001_2^13 - 3202515775977488094630480471906770/5360147220233922487\ 788756882611*c_1001_2^12 + 706306617326154487509129707756159/536014\ 7220233922487788756882611*c_1001_2^11 + 7011640462317959713247851273894926/5360147220233922487788756882611*\ c_1001_2^10 + 3080021524294111853878921818855630/536014722023392248\ 7788756882611*c_1001_2^9 - 2937493375782523199695760026335864/53601\ 47220233922487788756882611*c_1001_2^8 - 12157060424944548065107076562699156/5360147220233922487788756882611\ *c_1001_2^7 - 32983384444504221396497577222825566/53601472202339224\ 87788756882611*c_1001_2^6 - 51055565474997510425395533857938011/536\ 0147220233922487788756882611*c_1001_2^5 - 46634344928474542324900375159080816/5360147220233922487788756882611\ *c_1001_2^4 - 26365611994894585739602710527106279/53601472202339224\ 87788756882611*c_1001_2^3 - 9152394136271555404797563957480986/5360\ 147220233922487788756882611*c_1001_2^2 - 1833405952207306518513642660913437/5360147220233922487788756882611*\ c_1001_2 - 169713460803895706037738154300409/5360147220233922487788\ 756882611, c_0011_9 + 63713702241172751397430092455943/536014722023392248778875688\ 2611*c_1001_2^16 + 213638041028052395866839122708951/53601472202339\ 22487788756882611*c_1001_2^15 - 121053937564734587896414650103178/5\ 360147220233922487788756882611*c_1001_2^14 + 232983129200372159473862454325984/5360147220233922487788756882611*c\ _1001_2^13 + 3176140379074274524628167391915458/5360147220233922487\ 788756882611*c_1001_2^12 + 277159286884074739427735234235664/536014\ 7220233922487788756882611*c_1001_2^11 - 7195259562165229035697918109694652/5360147220233922487788756882611*\ c_1001_2^10 - 5014442098265303941286421106207358/536014722023392248\ 7788756882611*c_1001_2^9 + 2518826158416736519368471019981400/53601\ 47220233922487788756882611*c_1001_2^8 + 12722745673767096392584570644789120/5360147220233922487788756882611\ *c_1001_2^7 + 34884305869524156876474570135046029/53601472202339224\ 87788756882611*c_1001_2^6 + 57872192019280423194003865101897230/536\ 0147220233922487788756882611*c_1001_2^5 + 57410989001508897381119327235146661/5360147220233922487788756882611\ *c_1001_2^4 + 35271898273878823158231162067696465/53601472202339224\ 87788756882611*c_1001_2^3 + 13312355588167128993057752037771937/536\ 0147220233922487788756882611*c_1001_2^2 + 2864500429942628469503840823862345/5360147220233922487788756882611*\ c_1001_2 + 281344477536657329280715144614912/5360147220233922487788\ 756882611, c_0101_0 + 2186362253662817618260800670015/5360147220233922487788756882\ 611*c_1001_2^16 + 9823428283345491397462626515449/53601472202339224\ 87788756882611*c_1001_2^15 + 1516227809902311571266931016420/536014\ 7220233922487788756882611*c_1001_2^14 - 3947451865803606691279664954887/5360147220233922487788756882611*c_1\ 001_2^13 + 128373044019753541166217203318612/5360147220233922487788\ 756882611*c_1001_2^12 + 117761955415420323501063375555627/536014722\ 0233922487788756882611*c_1001_2^11 - 360890114098818060098244665921563/5360147220233922487788756882611*c\ _1001_2^10 - 378721070819858975055840404011183/53601472202339224877\ 88756882611*c_1001_2^9 + 157446805241382060773686625795530/53601472\ 20233922487788756882611*c_1001_2^8 + 551327109947799219410084913642455/5360147220233922487788756882611*c\ _1001_2^7 + 1552954784515600195028330577521294/53601472202339224877\ 88756882611*c_1001_2^6 + 2919698333510096130202004357274569/5360147\ 220233922487788756882611*c_1001_2^5 + 3064137527147010080274776518307053/5360147220233922487788756882611*\ c_1001_2^4 + 1844859758658672572093946077796284/5360147220233922487\ 788756882611*c_1001_2^3 + 620219313534721727737768393757019/5360147\ 220233922487788756882611*c_1001_2^2 + 88350454830083669661263904516093/5360147220233922487788756882611*c_\ 1001_2 + 1398604275147478543984699834362/53601472202339224877887568\ 82611, c_0101_1 - 89580898419588199225413751422405/536014722023392248778875688\ 2611*c_1001_2^16 - 280652140512694718243172057747800/53601472202339\ 22487788756882611*c_1001_2^15 + 225298541653823768705717061051169/5\ 360147220233922487788756882611*c_1001_2^14 - 397694580762526076178079316032091/5360147220233922487788756882611*c\ _1001_2^13 - 4358273863203241201675422997801839/5360147220233922487\ 788756882611*c_1001_2^12 + 542627008138072208012409188585486/536014\ 7220233922487788756882611*c_1001_2^11 + 9665362363185685811584636662411624/5360147220233922487788756882611*\ c_1001_2^10 + 4997159612293679019586892454813797/536014722023392248\ 7788756882611*c_1001_2^9 - 3851932812220939606694407067892952/53601\ 47220233922487788756882611*c_1001_2^8 - 16794821220679578020045849517776867/5360147220233922487788756882611\ *c_1001_2^7 - 45791811975560648571716044981626203/53601472202339224\ 87788756882611*c_1001_2^6 - 72458575990294228280753425007024187/536\ 0147220233922487788756882611*c_1001_2^5 - 68038989198548213922851163738438603/5360147220233922487788756882611\ *c_1001_2^4 - 39582576422834085862189287462927468/53601472202339224\ 87788756882611*c_1001_2^3 - 14127600431242683771608410070813584/536\ 0147220233922487788756882611*c_1001_2^2 - 2883700152415398676165556637594244/5360147220233922487788756882611*\ c_1001_2 - 266235257074328647632840929736869/5360147220233922487788\ 756882611, c_0101_2 + 19178919923985934952288158157799/536014722023392248778875688\ 2611*c_1001_2^16 + 57196423356816781996001296888245/536014722023392\ 2487788756882611*c_1001_2^15 - 55609181902378867024301258245348/536\ 0147220233922487788756882611*c_1001_2^14 + 96476586526897919763106076440837/5360147220233922487788756882611*c_\ 1001_2^13 + 912952887792230783912393238669838/536014722023392248778\ 8756882611*c_1001_2^12 - 244371270063993884252575732988436/53601472\ 20233922487788756882611*c_1001_2^11 - 1977883288984174794907809581485236/5360147220233922487788756882611*\ c_1001_2^10 - 823067126119721867027712954121088/5360147220233922487\ 788756882611*c_1001_2^9 + 844647412288294819430245425961630/5360147\ 220233922487788756882611*c_1001_2^8 + 3491172432473154575015295406521496/5360147220233922487788756882611*\ c_1001_2^7 + 9327627916175181088486642012609432/5360147220233922487\ 788756882611*c_1001_2^6 + 14290816100139457424341573158516036/53601\ 47220233922487788756882611*c_1001_2^5 + 12905867392347580674421334548128173/5360147220233922487788756882611\ *c_1001_2^4 + 7132735386279348820120181761366369/536014722023392248\ 7788756882611*c_1001_2^3 + 2361398613805633076858194755213455/53601\ 47220233922487788756882611*c_1001_2^2 + 423749692450418716289966098824693/5360147220233922487788756882611*c\ _1001_2 + 30279387433651095817462360733276/536014722023392248778875\ 6882611, c_0101_3 + 107134068268446658949730364978860/53601472202339224877887568\ 82611*c_1001_2^16 + 333783073586728740241133811781336/5360147220233\ 922487788756882611*c_1001_2^15 - 277054061469316096850393674801935/\ 5360147220233922487788756882611*c_1001_2^14 + 475852906279142498458812000939697/5360147220233922487788756882611*c\ _1001_2^13 + 5211929706639660803171135865694711/5360147220233922487\ 788756882611*c_1001_2^12 - 750698282805014220546610022163617/536014\ 7220233922487788756882611*c_1001_2^11 - 11630481081519166999597372135684367/5360147220233922487788756882611\ *c_1001_2^10 - 5708445535708370933419973216120388/53601472202339224\ 87788756882611*c_1001_2^9 + 4891578876613400428791509099169072/5360\ 147220233922487788756882611*c_1001_2^8 + 19963945818871480322777897696220684/5360147220233922487788756882611\ *c_1001_2^7 + 54301080121083423863896985114745962/53601472202339224\ 87788756882611*c_1001_2^6 + 85460810762379323706270771283179993/536\ 0147220233922487788756882611*c_1001_2^5 + 79142310235385161098852811851435323/5360147220233922487788756882611\ *c_1001_2^4 + 45036119694991452088834738891745035/53601472202339224\ 87788756882611*c_1001_2^3 + 15557463637693110678027553605030348/536\ 0147220233922487788756882611*c_1001_2^2 + 3029385202135105343689348782988552/5360147220233922487788756882611*\ c_1001_2 + 264781633433175347696266965481484/5360147220233922487788\ 756882611, c_0110_2 - 83613047382527541972993222236420/536014722023392248778875688\ 2611*c_1001_2^16 - 266261436660999767384971834702387/53601472202339\ 22487788756882611*c_1001_2^15 + 197000552365448354069397542281098/5\ 360147220233922487788756882611*c_1001_2^14 - 358652090727234734266669734031093/5360147220233922487788756882611*c\ _1001_2^13 - 4085423582231348649854247091803928/5360147220233922487\ 788756882611*c_1001_2^12 + 292050207171193915819833359077648/536014\ 7220233922487788756882611*c_1001_2^11 + 9067715881138654182281460710590731/5360147220233922487788756882611*\ c_1001_2^10 + 5171517472122329702144517697215385/536014722023392248\ 7788756882611*c_1001_2^9 - 3439976255913958907615039539915415/53601\ 47220233922487788756882611*c_1001_2^8 - 15941670083890516917786083941491190/5360147220233922487788756882611\ *c_1001_2^7 - 43486262355504672898550725036751106/53601472202339224\ 87788756882611*c_1001_2^6 - 69764948278451375850077617060004558/536\ 0147220233922487788756882611*c_1001_2^5 - 66747348853200319614941907852292252/5360147220233922487788756882611\ *c_1001_2^4 - 39683387753495896952430441388383094/53601472202339224\ 87788756882611*c_1001_2^3 - 14569275422617736014946696088160637/536\ 0147220233922487788756882611*c_1001_2^2 - 3101401644843079601806029465337407/5360147220233922487788756882611*\ c_1001_2 - 310981361852732134106292166285695/5360147220233922487788\ 756882611, c_0110_6 - 44331291605404343718139574751385/536014722023392248778875688\ 2611*c_1001_2^16 - 141389355734711362864992595753396/53601472202339\ 22487788756882611*c_1001_2^15 + 104067514775256159716418750273458/5\ 360147220233922487788756882611*c_1001_2^14 - 189084277324245864727704729405945/5360147220233922487788756882611*c\ _1001_2^13 - 2168664782426486744227683937560180/5360147220233922487\ 788756882611*c_1001_2^12 + 147778978183833441318374331003753/536014\ 7220233922487788756882611*c_1001_2^11 + 4819604932101733980304287197883920/5360147220233922487788756882611*\ c_1001_2^10 + 2746529452752396058847201215970060/536014722023392248\ 7788756882611*c_1001_2^9 - 1820392759394020410161572419743032/53601\ 47220233922487788756882611*c_1001_2^8 - 8453131210854243953880645345998913/5360147220233922487788756882611*\ c_1001_2^7 - 23100801684443868496437079966040245/536014722023392248\ 7788756882611*c_1001_2^6 - 37051146214021287299601714176491585/5360\ 147220233922487788756882611*c_1001_2^5 - 35470582500721233636712036810999993/5360147220233922487788756882611\ *c_1001_2^4 - 21110932598843341494102424053040069/53601472202339224\ 87788756882611*c_1001_2^3 - 7748271814743567439766153666840333/5360\ 147220233922487788756882611*c_1001_2^2 - 1639817224757720083318527035594307/5360147220233922487788756882611*\ c_1001_2 - 162441738086305627319944570941283/5360147220233922487788\ 756882611, c_1001_2^17 + 47/13*c_1001_2^16 - c_1001_2^15 + 42/13*c_1001_2^14 + 660/13*c_1001_2^13 + 227/13*c_1001_2^12 - 1439/13*c_1001_2^11 - 1406/13*c_1001_2^10 + 16*c_1001_2^9 + 2712/13*c_1001_2^8 + 7820/13*c_1001_2^7 + 13726/13*c_1001_2^6 + 14959/13*c_1001_2^5 + 10512/13*c_1001_2^4 + 4819/13*c_1001_2^3 + 1406/13*c_1001_2^2 + 241/13*c_1001_2 + 19/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.580 Total time: 0.790 seconds, Total memory usage: 32.09MB