Magma V2.19-8 Tue Aug 20 2013 17:58:13 on localhost [Seed = 2530681536] Type ? for help. Type -D to quit. Loading file "10^2_166__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_166 geometric_solution 12.60527261 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3120 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 0 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 0 0 0 0 0 0 0 0.092248173839 1.267839653700 0 4 5 5 0132 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 -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.520260259365 0.942883541573 6 0 3 7 0132 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 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.267387782314 0.544568843870 0 2 6 0 3120 0213 2031 0132 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 0 0 0 0 0 0 0 0 0 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.373340602201 0.521437694935 6 1 8 6 1023 0132 0132 3012 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 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.291382056516 1.057920106746 1 7 1 9 2103 2031 0132 0132 0 1 0 0 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 4 -4 0 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.551383797691 0.813040831058 2 4 4 3 0132 1023 1230 1302 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 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.291382056516 1.057920106746 5 10 2 10 1302 0132 0132 0213 0 0 0 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 1 -1 0 0 -1 1 -4 1 0 3 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504260085424 0.745901609229 11 10 11 4 0132 1023 3120 0132 0 1 0 0 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 -3 3 0 0 0 -1 1 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332105224406 0.778745339836 12 11 5 12 0132 2103 0132 2103 0 1 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 -2 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.026032009288 0.780517964815 8 7 12 7 1023 0132 0213 0213 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 -1 1 3 0 0 -3 -3 4 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504260085424 0.745901609229 8 9 8 12 0132 2103 3120 0132 0 1 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 1 -1 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.332105224406 0.778745339836 9 10 11 9 0132 0213 0132 2103 0 1 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 1 -1 0 2 0 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.026032009288 0.780517964815 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_0110_10'], 'c_1001_4' : d['c_0110_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_0'], 's_3_11' : d['1'], 's_3_10' : negation(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_0011_12'], 's_2_0' : 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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_10'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_0110_10'], 's_3_1' : negation(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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : negation(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_12']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_0'], '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_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : negation(d['c_0110_10']), 'c_0110_6' : 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_12, c_0011_3, c_0011_5, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_9, c_0110_10, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 24622236784177664190686144840016187/4932247228140398487770875505382\ 4*c_1001_10^18 - 44440979215574922656589264721799387/92479635527632\ 47164570391572592*c_1001_10^17 - 1211374700426440438440940891950977\ 203/36991854211052988658281566290368*c_1001_10^16 - 4471232246357077095072625267633737919/24661236140701992438854377526\ 912*c_1001_10^15 - 55897425859748270967172708275873947803/739837084\ 22105977316563132580736*c_1001_10^14 - 154475854898465115741999346504015532405/739837084221059773165631325\ 80736*c_1001_10^13 - 458924864646509487068015109446943005177/147967\ 416844211954633126265161472*c_1001_10^12 - 16754372887255350059893943699969436865/1233061807035099621942718876\ 3456*c_1001_10^11 + 196594698545241524028784603062801837035/1479674\ 16844211954633126265161472*c_1001_10^10 + 2678913653284254851278730572381411361/30826545175877490548567971908\ 64*c_1001_10^9 - 51445859958429745791691436279784499391/14796741684\ 4211954633126265161472*c_1001_10^8 - 1113761589700015785858092310960487535/61653090351754981097135943817\ 28*c_1001_10^7 + 16136782706034280243960632942006724111/73983708422\ 105977316563132580736*c_1001_10^6 - 625080411019647925142294473354791625/369918542110529886582815662903\ 68*c_1001_10^5 - 16802523937879936621478172138864380915/14796741684\ 4211954633126265161472*c_1001_10^4 - 2959185588556003338679886869770343091/73983708422105977316563132580\ 736*c_1001_10^3 - 372389516754262864058564073003729277/493224722814\ 03984877708755053824*c_1001_10^2 - 518750267439217229337215419048095443/739837084221059773165631325807\ 36*c_1001_10 - 259406215582371911525513928632659379/493224722814039\ 84877708755053824, c_0011_0 - 1, c_0011_10 - 34892163728496437404290074865/19266590734923431592854982442\ 9*c_1001_10^18 - 311326066520822074671794176095/1926659073492343159\ 28549824429*c_1001_10^17 - 6194194771088888194340063963224/57799772\ 2047702947785649473287*c_1001_10^16 - 33516645265603078628265536935280/577997722047702947785649473287*c_1\ 001_10^15 - 44627009317770989126320024263512/1926659073492343159285\ 49824429*c_1001_10^14 - 338334486800881886050730717627095/577997722\ 047702947785649473287*c_1001_10^13 - 390565839050444409567141029013845/577997722047702947785649473287*c_\ 1001_10^12 + 48481495775593099616115714559538/577997722047702947785\ 649473287*c_1001_10^11 + 109007449753139512781420334616273/19266590\ 7349234315928549824429*c_1001_10^10 - 18216027340892852844273579419072/577997722047702947785649473287*c_1\ 001_10^9 - 32019308885929087530336779967462/19266590734923431592854\ 9824429*c_1001_10^8 + 8699892409304335476674654468453/5779977220477\ 02947785649473287*c_1001_10^7 + 11462027103311943269037799418631/19\ 2665907349234315928549824429*c_1001_10^6 - 31059134329496660635295665495775/577997722047702947785649473287*c_1\ 001_10^5 - 1742685464119754944809371403953/577997722047702947785649\ 473287*c_1001_10^4 - 1799814647748896844603538039831/57799772204770\ 2947785649473287*c_1001_10^3 + 1080469776170080107175444598551/5779\ 97722047702947785649473287*c_1001_10^2 - 420557548349234641952381011472/192665907349234315928549824429*c_100\ 1_10 + 168391754560314444978868867048/57799772204770294778564947328\ 7, c_0011_12 - 146052733683894053419722264649/1155995444095405895571298946\ 574*c_1001_10^18 - 655791995509790227033334158577/57799772204770294\ 7785649473287*c_1001_10^17 - 8727099831400303028732127464197/115599\ 5444095405895571298946574*c_1001_10^16 - 23671123648761604994137529585384/577997722047702947785649473287*c_1\ 001_10^15 - 190010220715302578223188494805461/115599544409540589557\ 1298946574*c_1001_10^14 - 485565201609954279602235199923125/1155995\ 444095405895571298946574*c_1001_10^13 - 582669114790882564782371298587729/1155995444095405895571298946574*c\ _1001_10^12 + 5893874735324662011225690938585/577997722047702947785\ 649473287*c_1001_10^11 + 439811678249716547206468610389715/11559954\ 44095405895571298946574*c_1001_10^10 + 10888139637637069259907806745742/577997722047702947785649473287*c_1\ 001_10^9 - 109223522890550736071482651649153/1155995444095405895571\ 298946574*c_1001_10^8 - 6357075497005492601304646331398/57799772204\ 7702947785649473287*c_1001_10^7 + 14031103254610441734188662655287/\ 385331814698468631857099648858*c_1001_10^6 - 16528610118925299232286875288858/577997722047702947785649473287*c_1\ 001_10^5 - 3887156493662217875998861556569/115599544409540589557129\ 8946574*c_1001_10^4 - 4081998087400890709313586848465/5779977220477\ 02947785649473287*c_1001_10^3 + 2064678276954878663484291504241/115\ 5995444095405895571298946574*c_1001_10^2 - 488301589013817858936681964211/577997722047702947785649473287*c_100\ 1_10 + 30881258657854728608177305068/192665907349234315928549824429\ , c_0011_3 + 45260722824508431940756269977/192665907349234315928549824429\ *c_1001_10^18 + 411440092977276616428139135713/19266590734923431592\ 8549824429*c_1001_10^17 + 8240793472874388625054421803036/577997722\ 047702947785649473287*c_1001_10^16 + 44850055022568793369040356013687/577997722047702947785649473287*c_1\ 001_10^15 + 60378136203380278294871034064083/1926659073492343159285\ 49824429*c_1001_10^14 + 468978785193877897224240882856729/577997722\ 047702947785649473287*c_1001_10^13 + 584313130176586209193008781959578/577997722047702947785649473287*c_\ 1001_10^12 + 33604890160184044058272599965680/577997722047702947785\ 649473287*c_1001_10^11 - 138707661038683543116417818912152/19266590\ 7349234315928549824429*c_1001_10^10 - 35242211470644618393322582087102/577997722047702947785649473287*c_1\ 001_10^9 + 41154023014949193132875537731555/19266590734923431592854\ 9824429*c_1001_10^8 - 6101662570799701717710775448420/5779977220477\ 02947785649473287*c_1001_10^7 - 19796502993579930818050964641022/19\ 2665907349234315928549824429*c_1001_10^6 + 32947913116133614814411965514915/577997722047702947785649473287*c_1\ 001_10^5 + 13197657265547820506799859411424/57799772204770294778564\ 9473287*c_1001_10^4 + 3321139113448869820076954145145/5779977220477\ 02947785649473287*c_1001_10^3 - 1038715576034620292145289643716/577\ 997722047702947785649473287*c_1001_10^2 + 599292104318264106618218220357/192665907349234315928549824429*c_100\ 1_10 + 251317810354314927766721740622/57799772204770294778564947328\ 7, c_0011_5 + 51090847127769753051980284918/577997722047702947785649473287\ *c_1001_10^18 + 882732748209448936201364623003/11559954440954058955\ 71298946574*c_1001_10^17 + 2882958649866413922449419158076/57799772\ 2047702947785649473287*c_1001_10^16 + 5132502442110880268434996806873/192665907349234315928549824429*c_10\ 01_10^15 + 120006062166237176035252227519217/1155995444095405895571\ 298946574*c_1001_10^14 + 285481811330387281675551615772573/11559954\ 44095405895571298946574*c_1001_10^13 + 255794991643948206156574393512481/1155995444095405895571298946574*c\ _1001_10^12 - 80382650996245898497023443162457/38533181469846863185\ 7099648858*c_1001_10^11 - 70839916035842078873678293075725/19266590\ 7349234315928549824429*c_1001_10^10 + 12332120690462326589620090452421/192665907349234315928549824429*c_1\ 001_10^9 + 26424263117714577107445158329063/19266590734923431592854\ 9824429*c_1001_10^8 - 862284643018892734362264321660/19266590734923\ 4315928549824429*c_1001_10^7 - 50681984487865495355280188427263/115\ 5995444095405895571298946574*c_1001_10^6 + 5544280748244780282242059042441/192665907349234315928549824429*c_10\ 01_10^5 + 23843702176829365123330399762/577997722047702947785649473\ 287*c_1001_10^4 - 1450778885388975162197630640023/57799772204770294\ 7785649473287*c_1001_10^3 - 3204243948592645350899791294255/1155995\ 444095405895571298946574*c_1001_10^2 + 77652556624670742138445030283/192665907349234315928549824429*c_1001\ _10 + 95553933047639337445506954115/1155995444095405895571298946574\ , c_0101_0 - 1, c_0101_11 - 32005936361513631304572310978/19266590734923431592854982442\ 9*c_1001_10^18 - 1691603513445971465765119935079/115599544409540589\ 5571298946574*c_1001_10^17 - 1860376540882378088975324434077/192665\ 907349234315928549824429*c_1001_10^16 - 60140628434316098312827398706871/1155995444095405895571298946574*c_\ 1001_10^15 - 119128633269711589185117277164146/57799772204770294778\ 5649473287*c_1001_10^14 - 196939779726886493985742797444715/3853318\ 14698468631857099648858*c_1001_10^13 - 212778398280967357658308833100695/385331814698468631857099648858*c_\ 1001_10^12 + 188741476785490406408618574132179/11559954440954058955\ 71298946574*c_1001_10^11 + 608535957647474919360717959231887/115599\ 5444095405895571298946574*c_1001_10^10 - 52474423926979532989618118273326/577997722047702947785649473287*c_1\ 001_10^9 - 86328120094525476419040054577370/57799772204770294778564\ 9473287*c_1001_10^8 + 32034412599716270413192764606058/577997722047\ 702947785649473287*c_1001_10^7 + 35309578864964973439177859802647/5\ 77997722047702947785649473287*c_1001_10^6 - 75579870241008054902954293817701/1155995444095405895571298946574*c_\ 1001_10^5 - 1715058112776707136044993035273/38533181469846863185709\ 9648858*c_1001_10^4 + 44331096218148839144929866820/192665907349234\ 315928549824429*c_1001_10^3 + 1490370728192631550719770045441/57799\ 7722047702947785649473287*c_1001_10^2 - 1939416537125890217110659605579/1155995444095405895571298946574*c_1\ 001_10 + 1020475830554879960986144125949/11559954440954058955712989\ 46574, c_0101_12 - 18782573915872189/271625043160764591*c_1001_10^18 - 108065436128354709/181083362107176394*c_1001_10^17 - 1060223894584432633/271625043160764591*c_1001_10^16 - 5668264636175420840/271625043160764591*c_1001_10^15 - 7374847730887950893/90541681053588197*c_1001_10^14 - 52918036733064882716/271625043160764591*c_1001_10^13 - 98388099778030588543/543250086321529182*c_1001_10^12 + 75012557620346939515/543250086321529182*c_1001_10^11 + 67125201421982196535/271625043160764591*c_1001_10^10 - 37386364151978788867/543250086321529182*c_1001_10^9 - 23915325051128967223/271625043160764591*c_1001_10^8 + 5354917210666293617/271625043160764591*c_1001_10^7 + 17468392505063680663/543250086321529182*c_1001_10^6 - 17052364977707799731/543250086321529182*c_1001_10^5 - 2091217446495769349/543250086321529182*c_1001_10^4 + 1180950810790219903/543250086321529182*c_1001_10^3 + 702878343094564735/181083362107176394*c_1001_10^2 - 824234116617658489/543250086321529182*c_1001_10 + 159750529963056917/271625043160764591, c_0101_3 + 60648900484500974403112082173/577997722047702947785649473287\ *c_1001_10^18 + 360087987021999667166924968897/38533181469846863185\ 7099648858*c_1001_10^17 + 3577578626123331758763305555752/577997722\ 047702947785649473287*c_1001_10^16 + 38688500151349433891516668214137/1155995444095405895571298946574*c_\ 1001_10^15 + 25719344197213640534730457238021/192665907349234315928\ 549824429*c_1001_10^14 + 388640861526063590680358067477307/11559954\ 44095405895571298946574*c_1001_10^13 + 443657762572784362045809268017055/1155995444095405895571298946574*c\ _1001_10^12 - 64399737553965493670547895225465/11559954440954058955\ 71298946574*c_1001_10^11 - 357718599649719200373489125676629/115599\ 5444095405895571298946574*c_1001_10^10 + 39573105809849775438508032564548/577997722047702947785649473287*c_1\ 001_10^9 + 67110453660009936919126010535229/57799772204770294778564\ 9473287*c_1001_10^8 - 25102828066336792146304771564397/577997722047\ 702947785649473287*c_1001_10^7 - 34332781222358673199465655124620/5\ 77997722047702947785649473287*c_1001_10^6 + 35937871923151928224306585294319/1155995444095405895571298946574*c_\ 1001_10^5 + 13177925635844254919313241878767/1155995444095405895571\ 298946574*c_1001_10^4 + 561517733746332361966355254984/577997722047\ 702947785649473287*c_1001_10^3 - 87839265282941378388248677342/1926\ 65907349234315928549824429*c_1001_10^2 + 1853406689571694636257319503007/1155995444095405895571298946574*c_1\ 001_10 + 912084186527350355945512640273/115599544409540589557129894\ 6574, c_0101_9 - 29518995192327977942376224599/577997722047702947785649473287\ *c_1001_10^18 - 502635000171391365188476336693/11559954440954058955\ 71298946574*c_1001_10^17 - 1652453094547591302776419340770/57799772\ 2047702947785649473287*c_1001_10^16 - 2953026948680005793529842524162/192665907349234315928549824429*c_10\ 01_10^15 - 69402571436941136485024867870843/11559954440954058955712\ 98946574*c_1001_10^14 - 168773095815220329840727207019875/115599544\ 4095405895571298946574*c_1001_10^13 - 177882112956921508171810128063151/1155995444095405895571298946574*c\ _1001_10^12 + 8420903663831893738658604568673/385331814698468631857\ 099648858*c_1001_10^11 + 9835024448556625789785759821195/1926659073\ 49234315928549824429*c_1001_10^10 - 14858293673947404043800896495961/192665907349234315928549824429*c_1\ 001_10^9 + 6714032609001043425983909435485/192665907349234315928549\ 824429*c_1001_10^8 + 7391794631652994982625284421382/19266590734923\ 4315928549824429*c_1001_10^7 - 6320873511766540084157338628005/1155\ 995444095405895571298946574*c_1001_10^6 - 5825946799552291695979089090524/192665907349234315928549824429*c_10\ 01_10^5 + 5529302561848240123307015081528/5779977220477029477856494\ 73287*c_1001_10^4 - 1966705137803541925867139647708/577997722047702\ 947785649473287*c_1001_10^3 + 1743874178949688479389937428755/11559\ 95444095405895571298946574*c_1001_10^2 - 377061954242989588412773738612/192665907349234315928549824429*c_100\ 1_10 + 745670861306351964036902718425/11559954440954058955712989465\ 74, c_0110_10 + 80609842320097730994356509517/57799772204770294778564947328\ 7*c_1001_10^18 + 692683874190420150694920479848/5779977220477029477\ 85649473287*c_1001_10^17 + 4535411744414005225225838498846/57799772\ 2047702947785649473287*c_1001_10^16 + 8085529390790886061964839331035/192665907349234315928549824429*c_10\ 01_10^15 + 94704316801589156260138547695030/57799772204770294778564\ 9473287*c_1001_10^14 + 227127453572803805758139411396224/5779977220\ 47702947785649473287*c_1001_10^13 + 216838552300434857164192260787816/577997722047702947785649473287*c_\ 1001_10^12 - 44401777330038896117841023865565/192665907349234315928\ 549824429*c_1001_10^11 - 80674940484398704663464052896920/192665907\ 349234315928549824429*c_1001_10^10 + 27190414364409730633420986948382/192665907349234315928549824429*c_1\ 001_10^9 + 19710230508713533681461248893578/19266590734923431592854\ 9824429*c_1001_10^8 - 8254079274671887716987548743042/1926659073492\ 34315928549824429*c_1001_10^7 - 22180555488049477635561424899629/57\ 7997722047702947785649473287*c_1001_10^6 + 11370227547797071978221148132965/192665907349234315928549824429*c_1\ 001_10^5 - 5505458859671410758183684681766/577997722047702947785649\ 473287*c_1001_10^4 + 515926252414566763669509007685/577997722047702\ 947785649473287*c_1001_10^3 - 2474059063771166915144864361505/57799\ 7722047702947785649473287*c_1001_10^2 + 454714510867660330551218768895/192665907349234315928549824429*c_100\ 1_10 - 325058464129356313295697882155/57799772204770294778564947328\ 7, c_1001_0 - 75133267989024321419156727758/577997722047702947785649473287\ *c_1001_10^18 - 462792198932553565689353302529/38533181469846863185\ 7099648858*c_1001_10^17 - 1554404948917018955430372082428/192665907\ 349234315928549824429*c_1001_10^16 - 17003869964596050948854681271079/385331814698468631857099648858*c_1\ 001_10^15 - 34658792006166637760140576826062/1926659073492343159285\ 49824429*c_1001_10^14 - 549316708861692203768123698236151/115599544\ 4095405895571298946574*c_1001_10^13 - 241656165926796018780069431967367/385331814698468631857099648858*c_\ 1001_10^12 - 43869839291444527262364365052275/385331814698468631857\ 099648858*c_1001_10^11 + 474527366582382058325017787796283/11559954\ 44095405895571298946574*c_1001_10^10 + 24938439093498131277276871550550/192665907349234315928549824429*c_1\ 001_10^9 - 56351615384837642479500602659436/57799772204770294778564\ 9473287*c_1001_10^8 - 6333721831845696809531332038659/1926659073492\ 34315928549824429*c_1001_10^7 + 25056727758381119254687238798446/57\ 7997722047702947785649473287*c_1001_10^6 - 29957954309115301404517345735511/1155995444095405895571298946574*c_\ 1001_10^5 - 13217388895251386094286476944081/1155995444095405895571\ 298946574*c_1001_10^4 - 919873793234179152703532963387/192665907349\ 234315928549824429*c_1001_10^3 + 775197780185796156980543611690/577\ 997722047702947785649473287*c_1001_10^2 - 1742345936337890003451989819135/1155995444095405895571298946574*c_1\ 001_10 + 409448565818720500412069159029/115599544409540589557129894\ 6574, c_1001_10^19 + 9*c_1001_10^18 + 60*c_1001_10^17 + 326*c_1001_10^16 + 1312*c_1001_10^15 + 3376*c_1001_10^14 + 4163*c_1001_10^13 + 301*c_1001_10^12 - 2543*c_1001_10^11 + 45*c_1001_10^10 + 575*c_1001_10^9 - 129*c_1001_10^8 - 342*c_1001_10^7 + 278*c_1001_10^6 + 39*c_1001_10^5 + 49*c_1001_10^4 - 3*c_1001_10^3 + 21*c_1001_10^2 - c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.510 seconds, Total memory usage: 32.09MB