Magma V2.19-8 Tue Aug 20 2013 17:58:39 on localhost [Seed = 1242300131] Type ? for help. Type -D to quit. Loading file "10^2_161__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_161 geometric_solution 12.80039035 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 2 3 0132 0132 1302 0132 0 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 0 0 0 0 0 -1 0 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.664964612543 1.075620004159 0 4 5 4 0132 0132 0132 1230 0 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 0 0 0 0 0 -1 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.397725687910 0.428042156586 0 0 7 6 2031 0132 0132 0132 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 0 0 0 0 0 0 1 -1 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.584172655972 0.672625581987 7 6 0 8 2103 1302 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 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.607499488132 0.899486825664 1 1 9 10 3012 0132 0132 0132 0 0 0 1 0 -1 1 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 0 -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 1.103158567236 0.784025422796 11 10 12 1 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 -1 0 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 1.229495226490 0.892262929757 13 13 2 3 0132 1302 0132 2031 0 0 0 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 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.896841432764 0.784025422796 8 13 3 2 3012 1230 2103 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.849426676793 0.569682886176 11 11 3 7 3120 1230 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 1 -1 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.663160517723 0.748477205888 12 12 10 4 2031 0132 2103 0132 0 0 1 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 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.736027803225 0.847473986399 9 5 4 11 2103 0132 0132 2031 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 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 0 0 0 0 0.936079920171 0.655155633166 5 10 8 8 0132 1302 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.663160517723 0.748477205888 13 9 9 5 1302 0132 1302 0132 0 0 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 0 0 0 0 0 0 0 0 0 1 -1 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.335035387457 1.075620004159 6 12 7 6 0132 2031 3012 2031 0 0 1 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 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.164964612543 1.253763536673 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0101_4'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_0101_13'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_8'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0011_10'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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_13' : 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' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0011_8'], 'c_1100_13' : negation(d['c_0011_3']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_13'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0101_13'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_2_8' : 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_0101_10'], '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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_12'], '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_0011_7'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : d['c_0011_7'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_7, c_0011_8, c_0101_1, c_0101_10, c_0101_13, c_0101_2, c_0101_4, c_0101_6, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 930625130780932079324034725739627239618356025908723920088148486477/\ 4072516475639427355167817203153995923281367939838275584089320295049\ *c_1001_1^17 - 4288414792461079467181221773398987237934013316935269\ 83030694465060/4072516475639427355167817203153995923281367939838275\ 584089320295049*c_1001_1^16 + 1495239406787659280363863368677826889\ 18611562173873317575359020613910/4072516475639427355167817203153995\ 923281367939838275584089320295049*c_1001_1^15 - 2710002085600757329655358369145864116416636559313540604560621482012\ 4/13575054918798091183892724010513319744271226466127585280297734316\ 83*c_1001_1^14 + 88685884022361951549681260724758644830821085629460\ 5862888387128512294/13575054918798091183892724010513319744271226466\ 12758528029773431683*c_1001_1^13 - 2849804268348604019100434820675059356393706107453340153472315067527\ 695/407251647563942735516781720315399592328136793983827558408932029\ 5049*c_1001_1^12 + 107824617301071387976050201500064735377728220074\ 69735960102406014688/3036925037762436506463696646647275110575218448\ 798117512370857789*c_1001_1^11 - 2176286286272646229932983589874790\ 0798400858155209222652403356657816071/40725164756394273551678172031\ 53995923281367939838275584089320295049*c_1001_1^10 + 4292089365281071522830649023656089636545358903938570438732430531495\ 5416/40725164756394273551678172031539959232813679398382755840893202\ 95049*c_1001_1^9 - 884434186451498570673445602535111396210640895414\ 2139450043189035219774/45250183062660303946309080035044399147570754\ 8870919509343257810561*c_1001_1^8 + 1160739242526226687178210152503838646459525940197166673168411113549\ 69653/4072516475639427355167817203153995923281367939838275584089320\ 295049*c_1001_1^7 - 14470321158465618591783437222715214452191179258\ 7488665153942458512615642/40725164756394273551678172031539959232813\ 67939838275584089320295049*c_1001_1^6 + 7402539265181034432482820968952557287824440296293411038384181994616\ 8909/13575054918798091183892724010513319744271226466127585280297734\ 31683*c_1001_1^5 - 996878820888144012193826928336923356585017625985\ 101876091133222916642/273323253398619285581732698198254759951769660\ 39183057611337720101*c_1001_1^4 + 696585109431186037118511195342700\ 62264753255756806785713084164716815269/1357505491879809118389272401\ 051331974427122646612758528029773431683*c_1001_1^3 - 2422477597851810853202861223613474813225713717597361723802603036200\ 3699/40725164756394273551678172031539959232813679398382755840893202\ 95049*c_1001_1^2 + 482106955689831204964089683767031002148409376139\ 41398079135112254280944/4072516475639427355167817203153995923281367\ 939838275584089320295049*c_1001_1 - 4296585902677541389440112408883103154438723470324925193548889928165\ 806/135750549187980911838927240105133197442712264661275852802977343\ 1683, c_0011_0 - 1, c_0011_10 + 2130072130991268177736372710778683973927637018186625131/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^17 - 1184810854108991706581211911434646686141609726018062595/10739\ 15541041451879197665638284029911632434132744725990889573*c_1001_1^1\ 6 + 337279771893066408857084819079425620971605994890688111969/10739\ 15541041451879197665638284029911632434132744725990889573*c_1001_1^1\ 5 - 225488909919979504249867774819712886970805217246570678707/10739\ 15541041451879197665638284029911632434132744725990889573*c_1001_1^1\ 4 + 5306038636367403016152794118890570848065996692993475469927/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 13 - 8103911214567149700043339473448003252534550855715870316743/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^12 + 141321769568813969586990444535099979221041753065211571514/720\ 7486852627193820118561330765301420351906931172657656977*c_1001_1^11 - 60844169123672514858756403017505022621493480987144693087656/10739\ 15541041451879197665638284029911632434132744725990889573*c_1001_1^1\ 0 + 65863117016151579400771423487333824647749129065659730695840/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^9 - 179883970227776001467984655640638803498826482137186289909206/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^8 + 261466650287332006941334838203494303201524621586474760133410\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^7 - 1972935154778853931397795333500257127362823632839994806268\ 92/1073915541041451879197665638284029911632434132744725990889573*c_\ 1001_1^6 + 47685318360049290045990137917445414213448969394367716171\ 3258/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^5 - 262485383013416164093483548519185096226084781798270497\ 0397/7207486852627193820118561330765301420351906931172657656977*c_1\ 001_1^4 + 380138620534386636675709774226470757868250789415970433819\ 57/1073915541041451879197665638284029911632434132744725990889573*c_\ 1001_1^3 - 28292741462021148810337279238547373236050053968212855964\ 8722/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^2 - 969504491032015802050013343275944949289462310946062595\ 201240/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1 + 165611474984637879944278457890383435745292485981238264\ 676870/107391554104145187919766563828402991163243413274472599088957\ 3, c_0011_12 - 84127439861974029512752587089346716961545518996915479908/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 65350914109946559555858314390711604902884235452033377094/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^16 - 13540218626698490256097451341920284590389477982010469322691/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^15 + 11612511267811732319872454108560582097866908020909836938701\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^14 - 244624768218041588318527114925680519521349559894236032011\ 506/1073915541041451879197665638284029911632434132744725990889573*c\ _1001_1^13 + 332469643945212343953803315622124079161767685126027317\ 452417/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1^12 - 952518719745889572966984213209453776971681610968838\ 6893360/7207486852627193820118561330765301420351906931172657656977*\ c_1001_1^11 + 23793155326596620269904966364965588244745457153380434\ 41428999/1073915541041451879197665638284029911632434132744725990889\ 573*c_1001_1^10 - 4633665738184574291188194412755449601047941142767\ 593938214303/107391554104145187919766563828402991163243413274472599\ 0889573*c_1001_1^9 + 8518383575791407447448249085499153435353491504\ 393663194363615/107391554104145187919766563828402991163243413274472\ 5990889573*c_1001_1^8 - 1298775209167986641219221760256795648581722\ 2709438598456230563/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^7 + 168568607824056605344151892030410376153\ 94169965470711818748598/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^6 - 24569627436387100581079096202948951\ 058182935379580602375023660/107391554104145187919766563828402991163\ 2434132744725990889573*c_1001_1^5 + 133898027617062541217921744362390310735604976928032423229598/720748\ 6852627193820118561330765301420351906931172657656977*c_1001_1^4 - 24158541922163293162122609518140621102422619755002304712108650/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 3 + 7233652470530198725359957887263653116781605873516155956635915/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^2 - 522780545787157631720166309524953028239496368851812697653557\ 9/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1 + 73084358491590147609002944081226291179296327686763678372668\ 3/1073915541041451879197665638284029911632434132744725990889573, c_0011_3 - 509185326230558232883293440599065049132788118770737722107/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 352132296154731688915283492885079909087400895264621906556/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 81852169181899525035445221519869302173222384550630789544805/\ 1073915541041451879197665638284029911632434132744725990889573*c_100\ 1_1^15 + 6333036511801223276047805021130494648010050027445774611180\ 2/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^14 - 14638839368081300717438498073037971780371266806020623558\ 20751/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1^13 + 1890125718937636821721837348643363770753580149325519\ 172780017/107391554104145187919766563828402991163243413274472599088\ 9573*c_1001_1^12 - 552499337817887894667856363649173840787362403073\ 86987399866/7207486852627193820118561330765301420351906931172657656\ 977*c_1001_1^11 + 1362558998979815368744379376201108122090659889087\ 6239802234543/10739155410414518791976656382840299116324341327447259\ 90889573*c_1001_1^10 - 25963723876063760820779021878665323468608836\ 291741348379384794/107391554104145187919766563828402991163243413274\ 4725990889573*c_1001_1^9 + 4832762692907033928313097357823716559641\ 8766822983737093001829/10739155410414518791976656382840299116324341\ 32744725990889573*c_1001_1^8 - 724604608071218687666432741236594021\ 87758191507885661911963469/1073915541041451879197665638284029911632\ 434132744725990889573*c_1001_1^7 + 91800332463742791942166041644433847079723020253220198516088793/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 6 - 136341854447420407136583230240346773195230161815230265928930237\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^5 + 7026828408368144456488954895212210651108113394510705475047\ 03/7207486852627193820118561330765301420351906931172657656977*c_100\ 1_1^4 - 12703072419738198046222507596018548897622486169689098649089\ 3602/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^3 + 325182546799077238813275227365236069500361835848472947\ 93650216/1073915541041451879197665638284029911632434132744725990889\ 573*c_1001_1^2 - 23699858649312918255482503323821573886031133062825\ 586771588401/107391554104145187919766563828402991163243413274472599\ 0889573*c_1001_1 + 781321226544701224277351865114623895310156849119\ 2793324820306/10739155410414518791976656382840299116324341327447259\ 90889573, c_0011_7 - 142945758684476221242203883955124631134013540100493549472/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 103770433555482240645202720619513111883604494234210763974/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 22986555604365203359574284808389059751049169445831547015352/\ 1073915541041451879197665638284029911632434132744725990889573*c_100\ 1_1^15 + 1857390668176897191528730608192379719331843984099525813365\ 9/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^14 - 41230000693802373780912500077657391802833885653937768624\ 1754/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^13 + 54559019899791949672578624627863273493998617800654936\ 5126015/10739155410414518791976656382840299116324341327447259908895\ 73*c_1001_1^12 - 15730757312326519868415899867630440287974315609554\ 646103613/720748685262719382011856133076530142035190693117265765697\ 7*c_1001_1^11 + 392644706111359715140926571871330532155171986671159\ 7910509949/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^10 - 75225681278720061569666700558116075128848586416\ 15974223580545/1073915541041451879197665638284029911632434132744725\ 990889573*c_1001_1^9 + 13981516338210576073543226226004002026259939\ 628111315852217028/107391554104145187919766563828402991163243413274\ 4725990889573*c_1001_1^8 - 2115892521712414941478670606029504732114\ 9374960746268700253526/10739155410414518791976656382840299116324341\ 32744725990889573*c_1001_1^7 + 270654335885110349241503398892600252\ 93146481494402139688420312/1073915541041451879197665638284029911632\ 434132744725990889573*c_1001_1^6 - 40061807147378265298310933793322540566358460853234234514228400/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 5 + 214678325768411664333831871664283362580880985957476206177302/72\ 07486852627193820118561330765301420351906931172657656977*c_1001_1^4 - 38355572504069254011492706287253669141475841619646625868573861/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^3 + 1169879428907570985840282567234047237245033970080377954855150\ 5/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^2 - 843154872534183485952048969410467974352876476544107215914\ 0355/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1 + 18767298332970434550901199008861737910571296604234332450\ 57982/1073915541041451879197665638284029911632434132744725990889573\ , c_0011_8 - 240595056200346680452994945506656470005678983577601545245/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 151468871905458262967913228635446125877354510174905441988/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 38674728275170765552575028476155153624297087735216948172022/\ 1073915541041451879197665638284029911632434132744725990889573*c_100\ 1_1^15 + 2753981061776117285202381658208298064349246081625248291289\ 0/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^14 - 69129981654375114941262862222719805055411707340234880230\ 7830/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^13 + 85248608971643856310773802923120332836916118737692079\ 7753729/10739155410414518791976656382840299116324341327447259908895\ 73*c_1001_1^12 - 25904127888501548120043842168912861836038732950824\ 580461959/720748685262719382011856133076530142035190693117265765697\ 7*c_1001_1^11 + 624729553463179213735232610429962987579477258666922\ 1052538444/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^10 - 12010662569152738331943929417737327076774678151\ 404856057282381/107391554104145187919766563828402991163243413274472\ 5990889573*c_1001_1^9 + 2234882617564658235072867462271269515662666\ 2158397608196362441/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^8 - 332755220642292175125662135844495507257\ 41547581259077524403026/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^7 + 42043893636396928563118476060642954\ 625372895993631827842095106/107391554104145187919766563828402991163\ 2434132744725990889573*c_1001_1^6 - 63070696633985065958783471976275744587889233082771366893997384/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 5 + 315454677608906279731895985186253734613469063508795938088240/72\ 07486852627193820118561330765301420351906931172657656977*c_1001_1^4 - 58823106176411143781535663569635503524912997257810545253096360/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^3 + 1322603395726771306278410675156950677236259782169843067627074\ 4/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^2 - 116207157515403696022878604792122675253721434675182676494\ 21385/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1 + 3789503061105705410341522626276924487087398870304830173\ 870738/107391554104145187919766563828402991163243413274472599088957\ 3, c_0101_1 - 1, c_0101_10 + 205730694185900376708090565302898796757477114565071731769/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^17 - 131759577186421679955207019561546546551518363833890494984/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^16 + 33078849691209870101914422410148101525732386280450967920002\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^15 - 239102378186419553619498737755484888313257224108240983844\ 58/1073915541041451879197665638284029911632434132744725990889573*c_\ 1001_1^14 + 5925058235340295363569937711030495204535927167014107105\ 50189/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1^13 - 7356780711035699896528435674971343090831644899152960\ 26244696/1073915541041451879197665638284029911632434132744725990889\ 573*c_1001_1^12 + 2233477022092044861444123615234697110639200530788\ 8510912881/72074868526271938201185613307653014203519069311726576569\ 77*c_1001_1^11 - 53954304278900852548344395227471119680984270724959\ 87618952151/1073915541041451879197665638284029911632434132744725990\ 889573*c_1001_1^10 + 1042717573405477730614693811838715894279426091\ 7960044317907951/10739155410414518791976656382840299116324341327447\ 25990889573*c_1001_1^9 - 193815372442976355979258737894247866943417\ 83927317136311180555/1073915541041451879197665638284029911632434132\ 744725990889573*c_1001_1^8 + 28959084980349712253092779432900327272\ 481648789854531943044821/107391554104145187919766563828402991163243\ 4132744725990889573*c_1001_1^7 - 3686203195849044752219897824603711\ 5432356532389811662006916155/10739155410414518791976656382840299116\ 32434132744725990889573*c_1001_1^6 + 55154871599838078518242975806793245602431410248621410558580957/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 5 - 280043285745173587058269679361642532211291907725313630515027/72\ 07486852627193820118561330765301420351906931172657656977*c_1001_1^4 + 52433766843587096121298205162294739370669241915664749143565698/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^3 - 1319752750474560036258958182151298535861850190580061282079452\ 7/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^2 + 108288025043192488849785142055309662915045527315967977692\ 87554/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1 - 3314679440050855931382974481322636830865270184697845406\ 627578/107391554104145187919766563828402991163243413274472599088957\ 3, c_0101_13 + 43785221288060628067779735260534838260681301094281826172/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 - 28598525718363656266615191206158957429982625186160212030/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^16 + 7045676915869666709476017274143724402440731724888742029891/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^15 - 5184861103763174226370985835115778835435840669170762459763/1\ 073915541041451879197665638284029911632434132744725990889573*c_1001\ _1^14 + 12699625737809041580692119859487431772213704683232192295997\ 3/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^13 - 15930435949204429113708728559118751130646766039878340232\ 4184/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^12 + 48578475753525539981434514263085147312888623040276854\ 52444/7207486852627193820118561330765301420351906931172657656977*c_\ 1001_1^11 - 1184247814032488491891953250296222987765392521765867159\ 132963/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1^10 + 229825238409481295634467918162398873725378465896996\ 8525354683/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^9 - 430285752430197083582602768426870520486065401827\ 3625249166858/10739155410414518791976656382840299116324341327447259\ 90889573*c_1001_1^8 + 640901505208071075198870413158560216159127217\ 9148963590502965/10739155410414518791976656382840299116324341327447\ 25990889573*c_1001_1^7 - 829411329094841267282902390518119205287915\ 2510811067866787331/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^6 + 124273072880480640449640940576373941660\ 08151328623149821382616/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^5 - 64942399103248085772264547352872595\ 715982658776104066607026/720748685262719382011856133076530142035190\ 6931172657656977*c_1001_1^4 + 1200886913194465377488295031598046621\ 0080496320239387912258632/10739155410414518791976656382840299116324\ 34132744725990889573*c_1001_1^3 - 383092816629863600747833031291705\ 6780689005781101533240257644/10739155410414518791976656382840299116\ 32434132744725990889573*c_1001_1^2 + 2587807135803755263569291643888787982569550678987602080795532/10739\ 15541041451879197665638284029911632434132744725990889573*c_1001_1 - 1008499057957116948778697258578945314371945570022568605644077/10739\ 15541041451879197665638284029911632434132744725990889573, c_0101_2 + 750527800659262678589504306439806653108707113548652574654/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 - 512449599462172098038525142165922367312011273848972941054/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 + 120670580623522287687840705919454792723179083491790002064233\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^15 - 923080532790348820637962832058964220049782653260042306982\ 89/1073915541041451879197665638284029911632434132744725990889573*c_\ 1001_1^14 + 2161207688278706916875032372762008082792960567219956339\ 938885/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1^13 - 277048816558996657795264963616796776239482171316421\ 7729674372/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^12 + 81765554041549101243393256647898227890712027734\ 743031313373/720748685262719382011856133076530142035190693117265765\ 6977*c_1001_1^11 - 200761126516762833431439482319729967656179009350\ 91098058548399/1073915541041451879197665638284029911632434132744725\ 990889573*c_1001_1^10 + 3846066544027031269901693615920233017697867\ 1789467025206466904/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^9 - 715410924406641377172966719608020041016\ 66172036031340256890187/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^8 + 10719848825101316243177227594962224\ 3551889018262702744534408737/10739155410414518791976656382840299116\ 32434132744725990889573*c_1001_1^7 - 136326231506065345907507924212042424494537629669253680765022591/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^6 + 20264409786011843457319333306552604935778691685828807800003265\ 9/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^5 - 104451958715069032057067573217727792362070469903486467890\ 9115/7207486852627193820118561330765301420351906931172657656977*c_1\ 001_1^4 + 190442500746903414222438572318443524538005885845308552709\ 643911/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1^3 - 4958781858373091357542070685942295842725146351097581\ 4608047729/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^2 + 367903739689861958098936087352767977228594499975\ 72474102066015/1073915541041451879197665638284029911632434132744725\ 990889573*c_1001_1 - 1238442876220725001023373432657886037641040687\ 9296499326995083/10739155410414518791976656382840299116324341327447\ 25990889573, c_0101_4 - 205730694185900376708090565302898796757477114565071731769/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 131759577186421679955207019561546546551518363833890494984/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 33078849691209870101914422410148101525732386280450967920002/\ 1073915541041451879197665638284029911632434132744725990889573*c_100\ 1_1^15 + 2391023781864195536194987377554848883132572241082409838445\ 8/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^14 - 59250582353402953635699377110304952045359271670141071055\ 0189/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^13 + 73567807110356998965284356749713430908316448991529602\ 6244696/10739155410414518791976656382840299116324341327447259908895\ 73*c_1001_1^12 - 22334770220920448614441236152346971106392005307888\ 510912881/720748685262719382011856133076530142035190693117265765697\ 7*c_1001_1^11 + 539543042789008525483443952274711196809842707249598\ 7618952151/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^10 - 10427175734054777306146938118387158942794260917\ 960044317907951/107391554104145187919766563828402991163243413274472\ 5990889573*c_1001_1^9 + 1938153724429763559792587378942478669434178\ 3927317136311180555/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^8 - 289590849803497122530927794329003272724\ 81648789854531943044821/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^7 + 36862031958490447522198978246037115\ 432356532389811662006916155/107391554104145187919766563828402991163\ 2434132744725990889573*c_1001_1^6 - 55154871599838078518242975806793245602431410248621410558580957/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 5 + 280043285745173587058269679361642532211291907725313630515027/72\ 07486852627193820118561330765301420351906931172657656977*c_1001_1^4 - 52433766843587096121298205162294739370669241915664749143565698/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^3 + 1319752750474560036258958182151298535861850190580061282079452\ 7/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^2 - 119027180453607007641761798438149962031369868643415237601\ 77127/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1 + 3314679440050855931382974481322636830865270184697845406\ 627578/107391554104145187919766563828402991163243413274472599088957\ 3, c_0101_6 - 706742579371202050521724571179271814848025812454370748482/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 483851073743808441771909950959763409882028648662812729024/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 113624903707652620978364688645311068320738351766901260034342\ /1073915541041451879197665638284029911632434132744725990889573*c_10\ 01_1^15 + 871231921752717078374252973707806431695424246568334682385\ 26/1073915541041451879197665638284029911632434132744725990889573*c_\ 1001_1^14 - 2034211430900616501068111174167133765070823520387634416\ 978912/107391554104145187919766563828402991163243413274472599088957\ 3*c_1001_1^13 + 261118380609792228681556235057678025108835405276543\ 4327350188/10739155410414518791976656382840299116324341327447259908\ 89573*c_1001_1^12 - 76907706466196547245249805221589713159423165430\ 715345860929/720748685262719382011856133076530142035190693117265765\ 6977*c_1001_1^11 + 188918648376437948512519949816767737778525084133\ 25230899415436/1073915541041451879197665638284029911632434132744725\ 990889573*c_1001_1^10 - 3616241305617549974267225697757834143972488\ 7130497056681112221/10739155410414518791976656382840299116324341327\ 44725990889573*c_1001_1^9 + 672382349163621668814706442765332988968\ 05518017757715007723329/1073915541041451879197665638284029911632434\ 132744725990889573*c_1001_1^8 - 10078947319893245167978357181803664\ 1390297746083553780943905772/10739155410414518791976656382840299116\ 32434132744725990889573*c_1001_1^7 + 128032118215116933234678900306861232441658477158442612898235260/107\ 3915541041451879197665638284029911632434132744725990889573*c_1001_1\ ^6 - 19021679057207037052822923900788865519177876552966492817865004\ 3/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^5 + 979577188047442234798411184824405327904722040258760612302\ 089/7207486852627193820118561330765301420351906931172657656977*c_10\ 01_1^4 - 1784336316149587604475556220024630583279253895250691647973\ 85279/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1^3 + 45756890417432277567942376546505901646562457729874281\ 367790085/107391554104145187919766563828402991163243413274472599088\ 9573*c_1001_1^2 - 3420256683318244054632431709138800974028989931858\ 4872021270483/10739155410414518791976656382840299116324341327447259\ 90889573*c_1001_1 + 11375929704250133061455037067999915062038461309\ 273930721351006/107391554104145187919766563828402991163243413274472\ 5990889573, c_0101_8 - 324722496062320709965747532596003186967224502574517025153/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^17 + 216819786015404822523771543026157730780238745626938819082/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^16 - 52214946901869255808672479818075438214686565717227417494713/\ 1073915541041451879197665638284029911632434132744725990889573*c_100\ 1_1^15 + 3915232188557290517189627069064356274135936883716231985159\ 1/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^14 - 93592458476179273773115573715287857007546663329658483431\ 9336/1073915541041451879197665638284029911632434132744725990889573*\ c_1001_1^13 + 11849557336616509070615413448533274075309288725029481\ 15206146/1073915541041451879197665638284029911632434132744725990889\ 573*c_1001_1^12 - 3542931508596044384971368430100739960575554906051\ 2967355319/72074868526271938201185613307653014203519069311726576569\ 77*c_1001_1^11 + 86266110672914541643428227407961887002693183020072\ 64493967443/1073915541041451879197665638284029911632434132744725990\ 889573*c_1001_1^10 - 1664432830733731262313212383049277667782261929\ 4172449995496684/10739155410414518791976656382840299116324341327447\ 25990889573*c_1001_1^9 + 308672097514379897981769237082118485919801\ 53662791271390726056/1073915541041451879197665638284029911632434132\ 744725990889573*c_1001_1^8 - 46263274155909083924758431187017507211\ 558770290697675980633589/107391554104145187919766563828402991163243\ 4132744725990889573*c_1001_1^7 + 5890075441880258909753366526368399\ 2240767065959102539660843704/10739155410414518791976656382840299116\ 32434132744725990889573*c_1001_1^6 - 87640324070372166539862568179224695646072168462351969269021044/1073\ 915541041451879197665638284029911632434132744725990889573*c_1001_1^\ 5 + 449352705225968820949817729548644045349074040436828361317838/72\ 07486852627193820118561330765301420351906931172657656977*c_1001_1^4 - 82981648098574436943658273087776124627335617012812849965205010/10\ 73915541041451879197665638284029911632434132744725990889573*c_1001_\ 1^3 + 2045968642779791178814406463883315988914420369521458663290665\ 9/1073915541041451879197665638284029911632434132744725990889573*c_1\ 001_1^2 - 168485212094119459194895235744617978077671071560363946259\ 56964/1073915541041451879197665638284029911632434132744725990889573\ *c_1001_1 + 4520346646021606886431552067089187398880362147172466957\ 597421/107391554104145187919766563828402991163243413274472599088957\ 3, c_1001_1^18 - c_1001_1^17 + 161*c_1001_1^16 - 174*c_1001_1^15 + 2919*c_1001_1^14 - 4606*c_1001_1^13 + 17412*c_1001_1^12 - 31922*c_1001_1^11 + 59800*c_1001_1^10 - 111720*c_1001_1^9 + 173362*c_1001_1^8 - 227489*c_1001_1^7 + 328503*c_1001_1^6 - 294343*c_1001_1^5 + 321255*c_1001_1^4 - 148076*c_1001_1^3 + 72041*c_1001_1^2 - 32655*c_1001_1 + 5289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.940 Total time: 2.149 seconds, Total memory usage: 32.09MB