Magma V2.19-8 Wed Aug 21 2013 00:46:11 on localhost [Seed = 3549808635] Type ? for help. Type -D to quit. Loading file "K14n7238__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7238 geometric_solution 11.88636362 oriented_manifold CS_known 0.0000000000000005 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 1 -1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564972808832 0.405631205919 0 5 3 6 0132 0132 2310 0132 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 0 0 0 -1 0 0 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.071159493623 0.855542467824 7 0 8 5 0132 0132 0132 2103 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 -1 1 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.410495622401 1.141741633141 9 1 8 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.942963846406 0.748950931410 10 11 0 11 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.199947660942 1.039139472585 9 1 6 2 2103 0132 2103 2103 0 0 0 0 0 0 -1 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 0 -4 4 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313764473832 1.108108472442 5 11 1 12 2103 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 4 -4 0 0 3 1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004415439452 1.115812223461 2 9 12 11 0132 2103 1230 3120 0 0 0 0 0 0 -1 1 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 -4 4 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928433386319 0.720687373334 10 3 10 2 2103 0213 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.435027191168 0.405631205919 3 7 5 10 0132 2103 2103 2031 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 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478388144224 0.923522034242 4 9 8 8 0132 1302 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.374492900565 0.574738955874 7 4 6 4 3120 0132 3012 0213 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 -1 1 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.199947660942 1.039139472585 12 12 6 7 1230 3012 0132 3012 0 0 0 0 0 1 0 -1 -1 0 0 1 -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 3 0 -3 -3 0 -1 4 -3 3 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379499677270 0.930955220797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_0011_8'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0110_5'], 's_0_10' : 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_12']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0110_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_0101_10'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_3'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_10'], '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' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0101_10']), '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_0101_12'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 251570780249804674273368963821330221255/591319271293107125547550228\ 4207498848*c_1001_2^21 - 5724992284738829855737675553617699864187/1\ 1826385425862142510951004568414997696*c_1001_2^20 - 21567059052455777000480718814070596607/1137152444794436779899135054\ 65528824*c_1001_2^19 + 3923307575483841616321493478923976642697/739\ 149089116383906934437785525937356*c_1001_2^18 + 238956413075788005631922864210573656095/295659635646553562773775114\ 2103749424*c_1001_2^17 - 231950848216924649090972038749115877509171\ /5913192712931071255475502284207498848*c_1001_2^16 - 211244105103497642686183015883060014984981/118263854258621425109510\ 04568414997696*c_1001_2^15 + 17701487458959079389106048198481133313\ 32931/11826385425862142510951004568414997696*c_1001_2^14 + 23765463274222264672660093436019911748005/1497010813400271203917848\ 67954620224*c_1001_2^13 - 15067182561838778351782850540646987627328\ 87/5913192712931071255475502284207498848*c_1001_2^12 - 2007185634842857640798819464862147375666887/59131927129310712554755\ 02284207498848*c_1001_2^11 + 10601010670044109307816110899365738397\ 91417/11826385425862142510951004568414997696*c_1001_2^10 + 38114668586097148050052740355601067172477/1285476676724145925103370\ 06178423888*c_1001_2^9 + 150203484149602530653764652866168486806245\ /2956596356465535627737751142103749424*c_1001_2^8 - 1574593366546474402487082146135668084352703/11826385425862142510951\ 004568414997696*c_1001_2^7 - 67341929861992616264670262760239901986\ 4985/5913192712931071255475502284207498848*c_1001_2^6 + 8685735557728223703947414067543859159/20390319699762314674053456152\ 4396512*c_1001_2^5 + 28102944052624915461828113572307171603769/5141\ 90670689658370041348024713695552*c_1001_2^4 + 95745608577352603947057748037373782301963/5913192712931071255475502\ 284207498848*c_1001_2^3 - 5706212560790989581897111229561123179555/\ 454860977917774711959654021862115296*c_1001_2^2 - 21147678449165622053916574708695133159035/1182638542586214251095100\ 4568414997696*c_1001_2 + 7751211649039826645747821400380793652041/1\ 1826385425862142510951004568414997696, c_0011_0 - 1, c_0011_10 + 313983995714829606395259/15270171467556501630602*c_1001_2^2\ 1 + 530243252943686549847863/15270171467556501630602*c_1001_2^20 - 139243790761622336843895/587314287213711601177*c_1001_2^19 - 1321970112499320016920445/7635085733778250815301*c_1001_2^18 + 12978853320484352278968372/7635085733778250815301*c_1001_2^17 + 22394239358996150085214557/15270171467556501630602*c_1001_2^16 - 44517895197661018961821420/7635085733778250815301*c_1001_2^15 - 2745188210930807265675028/331960249294706557187*c_1001_2^14 + 129157868892958778204864017/15270171467556501630602*c_1001_2^13 + 100031402843500577309550433/7635085733778250815301*c_1001_2^12 + 9886646408901525885498569/15270171467556501630602*c_1001_2^11 - 103915451319007844152203069/15270171467556501630602*c_1001_2^10 - 22470513583149075585969979/7635085733778250815301*c_1001_2^9 + 3300415249000024974158439/15270171467556501630602*c_1001_2^8 + 50049352921207119489817147/15270171467556501630602*c_1001_2^7 + 17519944336394162375509840/7635085733778250815301*c_1001_2^6 + 550464340314811379791499/15270171467556501630602*c_1001_2^5 - 4141859771673962603697703/15270171467556501630602*c_1001_2^4 - 2683284063799117847763756/7635085733778250815301*c_1001_2^3 - 524891002446325568303685/1174628574427423202354*c_1001_2^2 + 911923526129971953722408/7635085733778250815301*c_1001_2 + 1034974852088951516170641/15270171467556501630602, c_0011_12 - 327562485297287222725026/7635085733778250815301*c_1001_2^21 - 555236068075509452963092/7635085733778250815301*c_1001_2^20 + 290251052742567313082317/587314287213711601177*c_1001_2^19 + 2781632592805174686886882/7635085733778250815301*c_1001_2^18 - 27061455999811175537615340/7635085733778250815301*c_1001_2^17 - 23530118819685524563795465/7635085733778250815301*c_1001_2^16 + 92728545067844248496455472/7635085733778250815301*c_1001_2^15 + 132300051177663023310886369/7635085733778250815301*c_1001_2^14 - 133887027960297133968024011/7635085733778250815301*c_1001_2^13 - 209456522687296241248682775/7635085733778250815301*c_1001_2^12 - 11612363402528998519766406/7635085733778250815301*c_1001_2^11 + 108200287270736522106878310/7635085733778250815301*c_1001_2^10 + 47452614546400642076627069/7635085733778250815301*c_1001_2^9 - 3109027480418780661981158/7635085733778250815301*c_1001_2^8 - 52241091834922554756808368/7635085733778250815301*c_1001_2^7 - 36871541320835965104689961/7635085733778250815301*c_1001_2^6 - 800198090034298202001393/7635085733778250815301*c_1001_2^5 + 4288533050558570877229024/7635085733778250815301*c_1001_2^4 + 5622364989169366137703150/7635085733778250815301*c_1001_2^3 + 549876837158928670444615/587314287213711601177*c_1001_2^2 - 1853070277806027115069730/7635085733778250815301*c_1001_2 - 1087858805293507329575393/7635085733778250815301, c_0011_3 - 53886195957810814301608/7635085733778250815301*c_1001_2^21 - 91876139009168367184143/7635085733778250815301*c_1001_2^20 + 47661310860849723390934/587314287213711601177*c_1001_2^19 + 463262634741847649088281/7635085733778250815301*c_1001_2^18 - 4444979243655869188326674/7635085733778250815301*c_1001_2^17 - 3911848387795504017938329/7635085733778250815301*c_1001_2^16 + 15199416406430710080926551/7635085733778250815301*c_1001_2^15 + 21889656269103591857632929/7635085733778250815301*c_1001_2^14 - 21760078954962557111250111/7635085733778250815301*c_1001_2^13 - 34554425194806478917456812/7635085733778250815301*c_1001_2^12 - 2278279423230157796227748/7635085733778250815301*c_1001_2^11 + 17609398933880327682933362/7635085733778250815301*c_1001_2^10 + 7888503367016940937655210/7635085733778250815301*c_1001_2^9 - 386726931989145392706519/7635085733778250815301*c_1001_2^8 - 8549910060397207742925858/7635085733778250815301*c_1001_2^7 - 6150826185132198309796800/7635085733778250815301*c_1001_2^6 - 213866505876103924232797/7635085733778250815301*c_1001_2^5 + 661801757616739161966488/7635085733778250815301*c_1001_2^4 + 910818538065301261625174/7635085733778250815301*c_1001_2^3 + 89780170497516805116723/587314287213711601177*c_1001_2^2 - 293862877253441062019367/7635085733778250815301*c_1001_2 - 180824037338228636512144/7635085733778250815301, c_0011_6 + 9284916194518654815845/1174628574427423202354*c_1001_2^21 + 15657356139417948743659/1174628574427423202354*c_1001_2^20 - 53530747548369648681545/587314287213711601177*c_1001_2^19 - 38929280144872572427113/587314287213711601177*c_1001_2^18 + 16682913416422928298028/25535403791900504399*c_1001_2^17 + 660008668358160405887699/1174628574427423202354*c_1001_2^16 - 1315906548550910273919593/587314287213711601177*c_1001_2^15 - 1862447562202666662595561/587314287213711601177*c_1001_2^14 + 3819891039176902214133481/1174628574427423202354*c_1001_2^13 + 2945937898333011043569636/587314287213711601177*c_1001_2^12 + 287032346678665819902655/1174628574427423202354*c_1001_2^11 - 3053583235041343080895411/1174628574427423202354*c_1001_2^10 - 656858913935613382818811/587314287213711601177*c_1001_2^9 + 95712461376056059628061/1174628574427423202354*c_1001_2^8 + 1476001967182571626494563/1174628574427423202354*c_1001_2^7 + 22403059747663262784655/25535403791900504399*c_1001_2^6 + 20144777338567909046325/1174628574427423202354*c_1001_2^5 - 118304443699383393512101/1174628574427423202354*c_1001_2^4 - 78784084463675047175781/587314287213711601177*c_1001_2^3 - 200535900374226507014421/1174628574427423202354*c_1001_2^2 + 27222336177598695898447/587314287213711601177*c_1001_2 + 29922316121654674632805/1174628574427423202354, c_0011_8 - 64901974184103537320455/15270171467556501630602*c_1001_2^21 - 109590060513558163383903/15270171467556501630602*c_1001_2^20 + 28799488420106795108896/587314287213711601177*c_1001_2^19 + 273585537838061996481237/7635085733778250815301*c_1001_2^18 - 2685149846250380247719282/7635085733778250815301*c_1001_2^17 - 4632292764276120603588481/15270171467556501630602*c_1001_2^16 + 9219192900994548173738495/7635085733778250815301*c_1001_2^15 + 13067472130273787688771964/7635085733778250815301*c_1001_2^14 - 26809781184586155322031585/15270171467556501630602*c_1001_2^13 - 20765178045172385691049931/7635085733778250815301*c_1001_2^12 - 1913005688822972255251251/15270171467556501630602*c_1001_2^11 + 21725292236781340159472853/15270171467556501630602*c_1001_2^10 + 4668617910678920661177387/7635085733778250815301*c_1001_2^9 - 745109265408101425441945/15270171467556501630602*c_1001_2^8 - 10361851986634566341178173/15270171467556501630602*c_1001_2^7 - 3632842391363732014258458/7635085733778250815301*c_1001_2^6 - 35480334301739562290349/15270171467556501630602*c_1001_2^5 + 907915432955032216771541/15270171467556501630602*c_1001_2^4 + 571339264687052356575712/7635085733778250815301*c_1001_2^3 + 109298782117055155642153/1174628574427423202354*c_1001_2^2 - 189374866407374995995548/7635085733778250815301*c_1001_2 - 9588918748922153278455/663920498589413114374, c_0101_0 - 165843024226083759980371/15270171467556501630602*c_1001_2^21 - 282984415093593839607119/15270171467556501630602*c_1001_2^20 + 73326501358682022688777/587314287213711601177*c_1001_2^19 + 714088099665744566751665/7635085733778250815301*c_1001_2^18 - 6838922590170697359463511/7635085733778250815301*c_1001_2^17 - 12056510710290848929097443/15270171467556501630602*c_1001_2^16 + 23379782966714154153798392/7635085733778250815301*c_1001_2^15 + 33712039459890692548352287/7635085733778250815301*c_1001_2^14 - 66872628826440029037934051/15270171467556501630602*c_1001_2^13 - 53204334157488726962459689/7635085733778250815301*c_1001_2^12 - 7142486598234747340871249/15270171467556501630602*c_1001_2^11 + 54165879582749678842040165/15270171467556501630602*c_1001_2^10 + 12156667455249156846767640/7635085733778250815301*c_1001_2^9 - 1241723844751315493534599/15270171467556501630602*c_1001_2^8 - 26300983184909153484310975/15270171467556501630602*c_1001_2^7 - 410582670551000006886182/331960249294706557187*c_1001_2^6 - 685325975949857960829841/15270171467556501630602*c_1001_2^5 + 2022160486480316624590019/15270171467556501630602*c_1001_2^4 + 60824237735093339941052/331960249294706557187*c_1001_2^3 + 277091640471180569924345/1174628574427423202354*c_1001_2^2 - 450365990832236004962320/7635085733778250815301*c_1001_2 - 549436598965947098978979/15270171467556501630602, c_0101_1 - 48701633358573680353623/15270171467556501630602*c_1001_2^21 - 82215768838811230124121/15270171467556501630602*c_1001_2^20 + 21613080437750614856197/587314287213711601177*c_1001_2^19 + 205201621127346960248671/7635085733778250815301*c_1001_2^18 - 2015131319819637894499272/7635085733778250815301*c_1001_2^17 - 3474536610420446952719953/15270171467556501630602*c_1001_2^16 + 6919501475499828646838608/7635085733778250815301*c_1001_2^15 + 9803683461003078721764158/7635085733778250815301*c_1001_2^14 - 20129559169524454940103695/15270171467556501630602*c_1001_2^13 - 15583625998995300607297226/7635085733778250815301*c_1001_2^12 - 1427797878855043168282187/15270171467556501630602*c_1001_2^11 + 16318206024892207501655615/15270171467556501630602*c_1001_2^10 + 3523114846332123546423792/7635085733778250815301*c_1001_2^9 - 565586739716415632509127/15270171467556501630602*c_1001_2^8 - 339735828480586306090233/663920498589413114374*c_1001_2^7 - 2725432960207620579221943/7635085733778250815301*c_1001_2^6 - 1393225902926587166329/663920498589413114374*c_1001_2^5 + 684788572933465322299399/15270171467556501630602*c_1001_2^4 + 437785163989457055226766/7635085733778250815301*c_1001_2^3 + 82044231222350443838847/1174628574427423202354*c_1001_2^2 - 147524346816014101276739/7635085733778250815301*c_1001_2 - 165843024226083759980371/15270171467556501630602, c_0101_10 + 63097735712669890220284/7635085733778250815301*c_1001_2^21 + 106368418337584514657818/7635085733778250815301*c_1001_2^20 - 55978179059328291046186/587314287213711601177*c_1001_2^19 - 528886443234200952064258/7635085733778250815301*c_1001_2^18 + 5216486883980862323117348/7635085733778250815301*c_1001_2^17 + 4483319597972646654941602/7635085733778250815301*c_1001_2^16 - 17895085810532676228123852/7635085733778250815301*c_1001_2^15 - 25311506960767003824498190/7635085733778250815301*c_1001_2^14 + 25996686544439988213169183/7635085733778250815301*c_1001_2^13 + 40066316285317666115552731/7635085733778250815301*c_1001_2^12 + 1903657611696936089985351/7635085733778250815301*c_1001_2^11 - 20806386421587823875097789/7635085733778250815301*c_1001_2^10 - 388693922399177549765524/331960249294706557187*c_1001_2^9 + 668342711333868532173882/7635085733778250815301*c_1001_2^8 + 10047940983541396196639383/7635085733778250815301*c_1001_2^7 + 7003549663147600385386844/7635085733778250815301*c_1001_2^6 + 93719708342645758319352/7635085733778250815301*c_1001_2^5 - 35452272087009447388634/331960249294706557187*c_1001_2^4 - 1060783044382893825568022/7635085733778250815301*c_1001_2^3 - 104983489833449930815742/587314287213711601177*c_1001_2^2 + 371864341679761628708910/7635085733778250815301*c_1001_2 + 204519228899546136141546/7635085733778250815301, c_0101_12 + 312072239679700201933226/7635085733778250815301*c_1001_2^21 + 530429107433936953260077/7635085733778250815301*c_1001_2^20 - 276250754823058346550148/587314287213711601177*c_1001_2^19 - 2664532077002816819331421/7635085733778250815301*c_1001_2^18 + 25757461991019125347052430/7635085733778250815301*c_1001_2^17 + 22523896704189784157939041/7635085733778250815301*c_1001_2^16 - 88152755768818066306273883/7635085733778250815301*c_1001_2^15 - 126346759851862158863878458/7635085733778250815301*c_1001_2^14 + 126697851201883170410257235/7635085733778250815301*c_1001_2^13 + 199616158594270524479560875/7635085733778250815301*c_1001_2^12 + 12245629771035703211435287/7635085733778250815301*c_1001_2^11 - 102291630409026390989110316/7635085733778250815301*c_1001_2^10 - 45383555034511702843524319/7635085733778250815301*c_1001_2^9 + 2585778232125757103154320/7635085733778250815301*c_1001_2^8 + 49581947170732659552077199/7635085733778250815301*c_1001_2^7 + 35272329042326410479256958/7635085733778250815301*c_1001_2^6 + 1049954612540192396694233/7635085733778250815301*c_1001_2^5 - 3916059384494762294921439/7635085733778250815301*c_1001_2^4 - 5303970455506071738153034/7635085733778250815301*c_1001_2^3 - 523021958918755407963422/587314287213711601177*c_1001_2^2 + 1730333222788635052867388/7635085733778250815301*c_1001_2 + 1022036020826139150788083/7635085733778250815301, c_0110_5 + 156813107638133340826659/7635085733778250815301*c_1001_2^21 + 264833594560640798544256/7635085733778250815301*c_1001_2^20 - 139080855917296414420593/587314287213711601177*c_1001_2^19 - 57416054777274354106896/331960249294706557187*c_1001_2^18 + 12963597428721997752701229/7635085733778250815301*c_1001_2^17 + 11185220810388960256643499/7635085733778250815301*c_1001_2^16 - 44463723401723616311526134/7635085733778250815301*c_1001_2^15 - 63068769853935616683786015/7635085733778250815301*c_1001_2^14 + 64491646825780717808659746/7635085733778250815301*c_1001_2^13 + 99909373880292709550692650/7635085733778250815301*c_1001_2^12 + 4956315802578662864329799/7635085733778250815301*c_1001_2^11 - 51880530108602670505213840/7635085733778250815301*c_1001_2^10 - 22448266836096347815424282/7635085733778250815301*c_1001_2^9 + 1642098368712641693279295/7635085733778250815301*c_1001_2^8 + 25019242529646718228631811/7635085733778250815301*c_1001_2^7 + 17500267918756315460221973/7635085733778250815301*c_1001_2^6 + 264912216681005630042079/7635085733778250815301*c_1001_2^5 - 2064948835768849792383294/7635085733778250815301*c_1001_2^4 - 2687448049790978974240638/7635085733778250815301*c_1001_2^3 - 262091602331014181185020/587314287213711601177*c_1001_2^2 + 910189519252123487586957/7635085733778250815301*c_1001_2 + 516591468579246338074772/7635085733778250815301, c_1001_0 + 1, c_1001_2^22 + 2*c_1001_2^21 - 11*c_1001_2^20 - 12*c_1001_2^19 + 80*c_1001_2^18 + 97*c_1001_2^17 - 261*c_1001_2^16 - 490*c_1001_2^15 + 285*c_1001_2^14 + 763*c_1001_2^13 + 231*c_1001_2^12 - 318*c_1001_2^11 - 245*c_1001_2^10 - 35*c_1001_2^9 + 162*c_1001_2^8 + 161*c_1001_2^7 + 37*c_1001_2^6 - 12*c_1001_2^5 - 21*c_1001_2^4 - 27*c_1001_2^3 - c_1001_2^2 + 5*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.280 Total time: 7.490 seconds, Total memory usage: 81.44MB