Magma V2.19-8 Wed Aug 21 2013 00:51:13 on localhost [Seed = 964635717] Type ? for help. Type -D to quit. Loading file "L11a203__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a203 geometric_solution 11.69278975 oriented_manifold CS_known 0.0000000000000000 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 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 1 0 -1 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.985877181313 0.498922261435 0 5 7 6 0132 0132 0132 0132 1 1 1 1 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 0 0 0 0 0 0 0 5 1 0 -6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425505767829 0.189052949717 8 0 9 8 0132 0132 0132 2103 1 0 1 1 0 0 0 0 1 0 0 -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 -1 0 1 -2 0 1 1 0 -5 0 5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842929326973 0.635089537443 6 6 10 0 0132 0321 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842929326973 0.635089537443 5 7 0 11 3120 3120 0132 0132 1 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 0 0 0 0 0 0 0 0 1 -1 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.088061138495 0.584499192277 12 1 12 4 0132 0132 3012 3120 1 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 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.682538877374 1.070404301538 3 8 1 3 0132 2103 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366979050780 1.483819678877 11 4 9 1 3120 3120 2310 0132 1 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 0 0 0 0 0 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.734152529741 0.634222017100 2 6 10 2 0132 2103 1302 2103 1 0 1 1 0 0 -1 1 -1 0 0 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 5 -5 2 0 -1 -1 1 0 0 -1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842929326973 0.635089537443 10 7 10 2 1302 3201 0321 0132 1 0 1 1 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 1 -1 0 0 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366979050780 1.483819678877 8 9 9 3 2031 2031 0321 0132 1 1 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 6 -6 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842929326973 0.635089537443 12 12 4 7 2031 2310 0132 3120 1 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 0 0 0 0 0 0 0 -1 1 0 -1 0 0 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.254672418815 0.858695547748 5 5 11 11 0132 1230 1302 3201 1 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 0 0 0 0 0 0 0 0 1 -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.254672418815 0.858695547748 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_9'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : d['c_0011_9'], 's_3_11' : d['1'], 's_0_11' : 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_0011_11']), 'c_0101_10' : d['c_0011_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' : negation(d['c_0101_2']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0011_9'], 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_0101_2']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_0']), 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(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_11' : d['c_0101_1'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0011_7'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_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' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], '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' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 277538277382285819058045270675/70425841405762987538786304*c_1001_2^\ 18 + 691100123089368001795455031075/46950560937175325025857536*c_10\ 01_2^17 - 111808419567383362423988855441/35212920702881493769393152\ *c_1001_2^16 - 12506616770065148647863612985327/1408516828115259750\ 77572608*c_1001_2^15 - 12082401749609222011668076869757/14085168281\ 1525975077572608*c_1001_2^14 + 38599275029145998626511272919323/140\ 851682811525975077572608*c_1001_2^13 + 42291152522631617422775249538307/70425841405762987538786304*c_1001_\ 2^12 - 12473793719829952540505690952371/35212920702881493769393152*\ c_1001_2^11 - 63225524094591977463448863816517/35212920702881493769\ 393152*c_1001_2^10 - 336982932645575166827521586293/426823281247048\ 4093259776*c_1001_2^9 + 146756827890115352993390840051551/469505609\ 37175325025857536*c_1001_2^8 + 91193488596538305871809950798023/140\ 851682811525975077572608*c_1001_2^7 - 510962655870298771744303358923877/140851682811525975077572608*c_100\ 1_2^6 - 1263833277154927728308666585797/2200807543930093360587072*c\ _1001_2^5 + 48500704510658496994505221189775/1760646035144074688469\ 6576*c_1001_2^4 + 11190325138233872567949641211751/7042584140576298\ 7538786304*c_1001_2^3 - 15113982888663286148415033157277/1280469843\ 7411452279779328*c_1001_2^2 - 66292942385900331971414854927/8803230\ 175720373442348288*c_1001_2 + 115336262739394549819442813305/550201\ 885982523340146768, c_0011_0 - 1, c_0011_10 + 17814153656164927873253805225/14802184042939875490991993567\ 36*c_1001_2^18 + 177865946153443237698126413995/2960436808587975098\ 198398713472*c_1001_2^17 + 3356002665261457653182626219/67282654740\ 635797686327243488*c_1001_2^16 - 803986258927265548465545731453/296\ 0436808587975098198398713472*c_1001_2^15 - 1805120098024477422594028205207/2960436808587975098198398713472*c_1\ 001_2^14 + 1222389315224511478817593982033/296043680858797509819839\ 8713472*c_1001_2^13 + 376483455453978253147005606595/13456530948127\ 1595372654486976*c_1001_2^12 + 103798129253160759613358017485/67282\ 654740635797686327243488*c_1001_2^11 - 4548394924652210441361132771423/740109202146993774549599678368*c_10\ 01_2^10 - 22368333542993224969012711582799/296043680858797509819839\ 8713472*c_1001_2^9 + 20246300067515274087539202398775/2960436808587\ 975098198398713472*c_1001_2^8 + 39553507146584085066773373910261/29\ 60436808587975098198398713472*c_1001_2^7 - 12390629739038806602933616626159/2960436808587975098198398713472*c_\ 1001_2^6 - 2394874830036347787647384577419/185027300536748443637399\ 919592*c_1001_2^5 + 674527703173304176449221848949/3700546010734968\ 87274799839184*c_1001_2^4 + 11501370800033001073900267111141/148021\ 8404293987549099199356736*c_1001_2^3 - 2306875551052653595441317539981/2960436808587975098198398713472*c_1\ 001_2^2 - 284552175613350947924909835215/92513650268374221818699959\ 796*c_1001_2 + 4201429172609675722140301999/23128412567093555454674\ 989949, c_0011_11 + 106491052357611862313983215725/7401092021469937745495996783\ 68*c_1001_2^18 + 670889283995703301858785080455/1480218404293987549\ 099199356736*c_1001_2^17 - 5088735806537809967346542543/33641327370\ 317898843163621744*c_1001_2^16 - 3237125647662714142433756175185/14\ 80218404293987549099199356736*c_1001_2^15 - 2051144889795620766473488336155/1480218404293987549099199356736*c_1\ 001_2^14 + 9749337261841338755875464600829/148021840429398754909919\ 9356736*c_1001_2^13 + 746007071013875050952741178507/67282654740635\ 797686327243488*c_1001_2^12 - 351975264503913484002770662299/336413\ 27370317898843163621744*c_1001_2^11 - 9037431568219637525854128335115/370054601073496887274799839184*c_10\ 01_2^10 + 25622964945139910541609637438357/148021840429398754909919\ 9356736*c_1001_2^9 + 41183193224730956837183388799259/1480218404293\ 987549099199356736*c_1001_2^8 - 60931940191351824365739212627423/14\ 80218404293987549099199356736*c_1001_2^7 - 19576095164930723522501379923811/1480218404293987549099199356736*c_\ 1001_2^6 + 10553935712856789335247173299347/18502730053674844363739\ 9919592*c_1001_2^5 - 3670784450615934320994714956027/18502730053674\ 8443637399919592*c_1001_2^4 - 26438414066795692911797928435527/7401\ 09202146993774549599678368*c_1001_2^3 + 39961758233394546522147593011343/1480218404293987549099199356736*c_\ 1001_2^2 + 1464518870180998845198472483363/185027300536748443637399\ 919592*c_1001_2 - 175135986068659013551402843696/231284125670935554\ 54674989949, c_0011_3 + 437530278883618443334294045/185027300536748443637399919592*c\ _1001_2^18 + 2449206830949710326450826623/3700546010734968872747998\ 39184*c_1001_2^17 - 74869608803933296635804811/42051659212897373553\ 95452718*c_1001_2^16 - 31407829274997176720915235625/37005460107349\ 6887274799839184*c_1001_2^15 - 7785744340044397014957005103/3700546\ 01073496887274799839184*c_1001_2^14 + 135763752252460910644536658337/370054601073496887274799839184*c_100\ 1_2^13 + 8566319105596820782078251981/16820663685158949421581810872\ *c_1001_2^12 - 6815516598961829608756937151/84103318425794747107909\ 05436*c_1001_2^11 - 213946686964850437298826344321/9251365026837422\ 1818699959796*c_1001_2^10 + 115836922795136260300104873717/37005460\ 1073496887274799839184*c_1001_2^9 + 1835135436127360901392069997375/370054601073496887274799839184*c_10\ 01_2^8 + 798709980410407592428270025037/370054601073496887274799839\ 184*c_1001_2^7 - 2023240410952998637773214328783/370054601073496887\ 274799839184*c_1001_2^6 - 398893224754766194153714648483/9251365026\ 8374221818699959796*c_1001_2^5 + 140546709646053385604495744947/462\ 56825134187110909349979898*c_1001_2^4 + 662618384023963344606440912393/185027300536748443637399919592*c_100\ 1_2^3 - 267006747691053348079546844105/3700546010734968872747998391\ 84*c_1001_2^2 - 155192600567780372329506638389/92513650268374221818\ 699959796*c_1001_2 + 891584542328192706767731486/231284125670935554\ 54674989949, c_0011_4 + 22262979212167980608212966525/740109202146993774549599678368\ *c_1001_2^18 + 214607787113773750743409140935/148021840429398754909\ 9199356736*c_1001_2^17 + 3672090102934484330503234115/3364132737031\ 7898843163621744*c_1001_2^16 - 987137120396184866602016173985/14802\ 18404293987549099199356736*c_1001_2^15 - 2125259932081543341423163915603/1480218404293987549099199356736*c_1\ 001_2^14 + 1582939303708239397519171304245/148021840429398754909919\ 9356736*c_1001_2^13 + 450963125623960202405650629399/67282654740635\ 797686327243488*c_1001_2^12 + 115435936407076771374609500857/336413\ 27370317898843163621744*c_1001_2^11 - 5484241803516883178732623143683/370054601073496887274799839184*c_10\ 01_2^10 - 26196977781428830917201847539899/148021840429398754909919\ 9356736*c_1001_2^9 + 24307814211263598076830383429619/1480218404293\ 987549099199356736*c_1001_2^8 + 47378095683357890222458667903177/14\ 80218404293987549099199356736*c_1001_2^7 - 14298939671178459804562954215147/1480218404293987549099199356736*c_\ 1001_2^6 - 1471741182838635771030788011405/462568251341871109093499\ 79898*c_1001_2^5 + 692228008715902013937088695205/18502730053674844\ 3637399919592*c_1001_2^4 + 15503355692944252077096791068729/7401092\ 02146993774549599678368*c_1001_2^3 - 2189099727889885891530989183825/1480218404293987549099199356736*c_1\ 001_2^2 - 660724037817665880655702851459/92513650268374221818699959\ 796*c_1001_2 + 8136154671964540696011673756/23128412567093555454674\ 989949, c_0011_7 + 9641921877962932153615/366801257321682226764512*c_1001_2^18 + 110942772610254048523101/733602514643364453529024*c_1001_2^17 + 3996059320097084178137/16672784423712828489296*c_1001_2^16 - 337088724240389133966779/733602514643364453529024*c_1001_2^15 - 1440717833070925263063681/733602514643364453529024*c_1001_2^14 - 414533683847326081439817/733602514643364453529024*c_1001_2^13 + 237916529090389910401965/33345568847425656978592*c_1001_2^12 + 165589019490599058019667/16672784423712828489296*c_1001_2^11 - 1901179851526800484052513/183400628660841113382256*c_1001_2^10 - 23985861068205257255970649/733602514643364453529024*c_1001_2^9 - 343726373911078042449823/733602514643364453529024*c_1001_2^8 + 38079601238827478593041587/733602514643364453529024*c_1001_2^7 + 11826526414169249967731639/733602514643364453529024*c_1001_2^6 - 1241810741781095616322655/22925078582605139172782*c_1001_2^5 - 1459679221048018587900265/91700314330420556691128*c_1001_2^4 + 13933868952025879103704947/366801257321682226764512*c_1001_2^3 + 4301690314896528226023317/733602514643364453529024*c_1001_2^2 - 511113233647907765978111/45850157165210278345564*c_1001_2 - 8259727985829840807352/11462539291302569586391, c_0011_9 + 650806361593307230596290305/185027300536748443637399919592*c\ _1001_2^18 + 5988107099622567581226780547/3700546010734968872747998\ 39184*c_1001_2^17 + 74299151846647984170686341/84103318425794747107\ 90905436*c_1001_2^16 - 31911091242266087202618393829/37005460107349\ 6887274799839184*c_1001_2^15 - 63197948677935815611003140599/370054\ 601073496887274799839184*c_1001_2^14 + 58223174457793902306294201545/370054601073496887274799839184*c_1001\ _2^13 + 14370332436782986785724530975/16820663685158949421581810872\ *c_1001_2^12 + 3173189956460056957848277779/84103318425794747107909\ 05436*c_1001_2^11 - 187410197905551757921639518157/9251365026837422\ 1818699959796*c_1001_2^10 - 912243039455867173760728905015/37005460\ 1073496887274799839184*c_1001_2^9 + 807296560520110257980306820407/370054601073496887274799839184*c_100\ 1_2^8 + 1840759369546930825716665710917/370054601073496887274799839\ 184*c_1001_2^7 - 190135186050911198420636645743/3700546010734968872\ 74799839184*c_1001_2^6 - 226095664562010846135294824927/46256825134\ 187110909349979898*c_1001_2^5 - 37949127491797638813384345577/46256\ 825134187110909349979898*c_1001_2^4 + 435002948805271367764081996129/185027300536748443637399919592*c_100\ 1_2^3 + 155098852984169971898586918475/3700546010734968872747998391\ 84*c_1001_2^2 - 10049893752322266576462742181/231284125670935554546\ 74989949*c_1001_2 + 8877089642161613156071945769/231284125670935554\ 54674989949, c_0101_0 + c_1001_2, c_0101_1 + 16166453331034397679616645/185027300536748443637399919592*c_\ 1001_2^18 + 3236713135621587202810641583/37005460107349688727479983\ 9184*c_1001_2^17 + 211596932760414684810609489/84103318425794747107\ 90905436*c_1001_2^16 - 15184093913466169924540563153/37005460107349\ 6887274799839184*c_1001_2^15 - 80944471290077864758368471571/370054\ 601073496887274799839184*c_1001_2^14 - 20174803100840261796178167643/370054601073496887274799839184*c_1001\ _2^13 + 14405762790937024110903362971/16820663685158949421581810872\ *c_1001_2^12 + 9304663747645387726085603689/84103318425794747107909\ 05436*c_1001_2^11 - 171171044934851788219243688307/9251365026837422\ 1818699959796*c_1001_2^10 - 1616558022191766211136397447819/3700546\ 01073496887274799839184*c_1001_2^9 + 697186665227943704149847852851/370054601073496887274799839184*c_100\ 1_2^8 + 3056682451848979243598040146385/370054601073496887274799839\ 184*c_1001_2^7 - 87191811494629783744491531987/37005460107349688727\ 4799839184*c_1001_2^6 - 188356079401533887288327442334/231284125670\ 93555454674989949*c_1001_2^5 + 6850849098984679374016409138/2312841\ 2567093555454674989949*c_1001_2^4 + 739009808479715834843592504181/185027300536748443637399919592*c_100\ 1_2^3 + 434589577351957289791124415119/3700546010734968872747998391\ 84*c_1001_2^2 - 17434718315181961700666330503/231284125670935554546\ 74989949*c_1001_2 - 44497856381630382129212692209/23128412567093555\ 454674989949, c_0101_2 - 1, c_0101_7 - 1, c_1001_0 - 650806361593307230596290305/185027300536748443637399919592*c\ _1001_2^18 - 5988107099622567581226780547/3700546010734968872747998\ 39184*c_1001_2^17 - 74299151846647984170686341/84103318425794747107\ 90905436*c_1001_2^16 + 31911091242266087202618393829/37005460107349\ 6887274799839184*c_1001_2^15 + 63197948677935815611003140599/370054\ 601073496887274799839184*c_1001_2^14 - 58223174457793902306294201545/370054601073496887274799839184*c_1001\ _2^13 - 14370332436782986785724530975/16820663685158949421581810872\ *c_1001_2^12 - 3173189956460056957848277779/84103318425794747107909\ 05436*c_1001_2^11 + 187410197905551757921639518157/9251365026837422\ 1818699959796*c_1001_2^10 + 912243039455867173760728905015/37005460\ 1073496887274799839184*c_1001_2^9 - 807296560520110257980306820407/370054601073496887274799839184*c_100\ 1_2^8 - 1840759369546930825716665710917/370054601073496887274799839\ 184*c_1001_2^7 + 190135186050911198420636645743/3700546010734968872\ 74799839184*c_1001_2^6 + 226095664562010846135294824927/46256825134\ 187110909349979898*c_1001_2^5 + 37949127491797638813384345577/46256\ 825134187110909349979898*c_1001_2^4 - 435002948805271367764081996129/185027300536748443637399919592*c_100\ 1_2^3 - 155098852984169971898586918475/3700546010734968872747998391\ 84*c_1001_2^2 + 10049893752322266576462742181/231284125670935554546\ 74989949*c_1001_2 - 8877089642161613156071945769/231284125670935554\ 54674989949, c_1001_2^19 + 47/10*c_1001_2^18 + 14/5*c_1001_2^17 - 233/10*c_1001_2^16 - 87/2*c_1001_2^15 + 97/2*c_1001_2^14 + 1097/5*c_1001_2^13 + 286/5*c_1001_2^12 - 542*c_1001_2^11 - 919/2*c_1001_2^10 + 7731/10*c_1001_2^9 + 9289/10*c_1001_2^8 - 7611/10*c_1001_2^7 - 5164/5*c_1001_2^6 + 2788/5*c_1001_2^5 + 3569/5*c_1001_2^4 - 2601/10*c_1001_2^3 - 1452/5*c_1001_2^2 + 256/5*c_1001_2 + 256/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.300 seconds, Total memory usage: 32.09MB