Magma V2.19-8 Tue Aug 20 2013 17:56:23 on localhost [Seed = 593663763] Type ? for help. Type -D to quit. Loading file "11_517__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_517 geometric_solution 10.27509928 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.729217670877 0.663272153893 0 4 5 0 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.729217670877 0.663272153893 2 0 3 2 3201 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831699677124 0.513513616082 4 2 6 0 2103 1230 0132 0132 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 6 0 -5 -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.527580586235 1.292290796513 7 1 3 6 0132 0132 2103 0132 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 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.729434419053 0.539258921850 8 7 8 1 0132 3201 3120 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 -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.527580586235 1.292290796513 9 7 4 3 0132 3120 0132 0132 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 -1 0 1 1 0 -6 5 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.668530164333 0.441556837089 4 6 5 9 0132 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113553534974 0.655335356436 5 10 5 9 0132 0132 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527580586235 1.292290796513 6 8 7 10 0132 0321 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527580586235 1.292290796513 9 8 10 10 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.129493661128 0.537473886539 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_1001_1']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_1100_10' : d['c_0110_10'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0110_10']), 'c_1010_8' : negation(d['c_0110_10']), 's_3_1' : negation(d['1']), 's_3_0' : negation(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'], '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_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0011_6'], '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_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_10, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 1595017/47940800*c_1001_1^7 + 1103199/23970400*c_1001_1^6 - 9055541/47940800*c_1001_1^5 + 1639729/2996300*c_1001_1^4 - 50023511/47940800*c_1001_1^3 - 19213801/47940800*c_1001_1^2 + 80634623/47940800*c_1001_1 - 9651733/11985200, c_0011_0 - 1, c_0011_10 + 361/1909*c_1001_1^7 - 330/1909*c_1001_1^6 + 841/1909*c_1001_1^5 + 744/1909*c_1001_1^4 - 3724/1909*c_1001_1^3 + 266/1909*c_1001_1^2 + 2213/1909*c_1001_1 - 761/1909, c_0011_3 - 361/1909*c_1001_1^7 + 330/1909*c_1001_1^6 - 841/1909*c_1001_1^5 - 744/1909*c_1001_1^4 + 3724/1909*c_1001_1^3 - 266/1909*c_1001_1^2 - 2213/1909*c_1001_1 + 761/1909, c_0011_6 + 136/1909*c_1001_1^7 - 45/1909*c_1001_1^6 + 375/1909*c_1001_1^5 + 275/1909*c_1001_1^4 - 1202/1909*c_1001_1^3 - 1005/1909*c_1001_1^2 + 215/1909*c_1001_1 - 17/1909, c_0101_0 - 136/1909*c_1001_1^7 + 45/1909*c_1001_1^6 - 375/1909*c_1001_1^5 - 275/1909*c_1001_1^4 + 1202/1909*c_1001_1^3 + 1005/1909*c_1001_1^2 - 215/1909*c_1001_1 + 17/1909, c_0101_1 + 93/3818*c_1001_1^7 + 132/1909*c_1001_1^6 - 291/3818*c_1001_1^5 + 466/1909*c_1001_1^4 - 457/3818*c_1001_1^3 - 3649/3818*c_1001_1^2 + 3193/3818*c_1001_1 + 1068/1909, c_0101_10 + 1, c_0101_2 - 241/7636*c_1001_1^7 + 89/3818*c_1001_1^6 - 847/7636*c_1001_1^5 - 378/1909*c_1001_1^4 + 979/7636*c_1001_1^3 - 479/7636*c_1001_1^2 - 1911/7636*c_1001_1 + 1141/1909, c_0101_3 - 93/3818*c_1001_1^7 - 132/1909*c_1001_1^6 + 291/3818*c_1001_1^5 - 466/1909*c_1001_1^4 + 457/3818*c_1001_1^3 + 3649/3818*c_1001_1^2 - 3193/3818*c_1001_1 - 1068/1909, c_0110_10 + 241/7636*c_1001_1^7 - 89/3818*c_1001_1^6 + 847/7636*c_1001_1^5 + 378/1909*c_1001_1^4 - 979/7636*c_1001_1^3 + 479/7636*c_1001_1^2 + 1911/7636*c_1001_1 - 1141/1909, c_1001_1^8 - 2*c_1001_1^7 + 3*c_1001_1^6 - 15*c_1001_1^4 + 15*c_1001_1^3 + 7*c_1001_1^2 - 20*c_1001_1 + 16 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_10, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2455647254762593445378808158195516553017839822009166580528346559/83\ 873341939454742258812136136590556955562045998192539576865337*c_1001\ _1^23 - 38915448937777240429051272195104780351533055085639944328377\ 523533/950564541980487078933204209548026312163036521312848781871140\ 486*c_1001_1^22 - 3431223508740089798774748537062763998598116232468\ 09078896192786726/1425846812970730618399806314322039468244554781969\ 273172806710729*c_1001_1^21 + 3924681479805653503116922782411170584\ 22408193510127872396390177640/1425846812970730618399806314322039468\ 244554781969273172806710729*c_1001_1^20 + 73260413350642620041850475023230027672547380473274878773661157437/5\ 2809141221138171051844678308223684009057584517380487881730027*c_100\ 1_1^19 - 1952489426193090827345891555438245893814151253457127727098\ 2612157/12903591067608421885971097867167777993163391692029621473363\ 898*c_1001_1^18 - 6760173436487871245501640143197781224287888573311\ 17845657015380039/1677466838789094845176242722731811139111240919963\ 85079153730674*c_1001_1^17 + 66376732038141385733341354457457321436\ 66653487950214094389917120017/1425846812970730618399806314322039468\ 244554781969273172806710729*c_1001_1^16 + 5387294391394740031281154023048461981944232007884272244157734890078\ /1425846812970730618399806314322039468244554781969273172806710729*c\ _1001_1^15 - 199945267224571226574577162063284019844346040881600476\ 6680701368351/28516936259414612367996126286440789364891095639385463\ 45613421458*c_1001_1^14 - 44941545713548996561890747809681246533222\ 7157268746934868515323773/31685484732682902631106806984934210405434\ 5507104282927290380162*c_1001_1^13 - 1794343342204930758843870976056785972690027592817191049767801972983\ 5/950564541980487078933204209548026312163036521312848781871140486*c\ _1001_1^12 + 226020035697807672709001625987695198070255129916622167\ 53311228499323/2851693625941461236799612628644078936489109563938546\ 345613421458*c_1001_1^11 + 4089442443418456503546501277908045618285\ 0452289578224319396998629262/14258468129707306183998063143220394682\ 44554781969273172806710729*c_1001_1^10 - 8190526960966331834439072365136042459102317622744060314202526763/20\ 70946714554438080464497188557791529766964098720803446342354*c_1001_\ 1^9 - 1247634399092947191770819838824616707262719219119765241094494\ 5652060/47528227099024353946660210477401315608151826065642439093557\ 0243*c_1001_1^8 - 6062188164197414943436114477762311942241718758861\ 503226044758340716/142584681297073061839980631432203946824455478196\ 9273172806710729*c_1001_1^7 + 2013082909873728153031253729391008610\ 4473854374560859143419544293485/14258468129707306183998063143220394\ 68244554781969273172806710729*c_1001_1^6 + 2494789186263777331214360690620253053934278556230261341862958575130\ 9/2851693625941461236799612628644078936489109563938546345613421458*\ c_1001_1^5 - 109999387816679126882050286602766045022033438225885046\ 70872038443105/1425846812970730618399806314322039468244554781969273\ 172806710729*c_1001_1^4 - 22033372530166831788606575481912396649364\ 15373466788145782653980999/9505645419804870789332042095480263121630\ 36521312848781871140486*c_1001_1^3 + 531643445559732927607549448714261525910856660106517295796850573569/\ 316854847326829026311068069849342104054345507104282927290380162*c_1\ 001_1^2 + 599872956631495886309398096005710865976130452776676704138\ 547653520/142584681297073061839980631432203946824455478196927317280\ 6710729*c_1001_1 - 887264143004745761592605619907776923025404972257\ 4887984888835857/35206094147425447367896452205482456006038389678253\ 658587820018, c_0011_0 - 1, c_0011_10 + 4272986352054614758936783393365630847738345203028243525/526\ 9892931531458788846413883147847150767001882351393202*c_1001_1^23 - 1138384985348806637108906738811390177073250143630763147/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^22 - 17227168952595461976052837259183259677268641685454774882/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^21 + 23905720831388928369255315597720434467001989430141375810/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^20 + 22106566313431555802972042016858147942641922257190464087/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^19 - 132511465437786050471816562297484281108721760829998124313/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^18 - 285121423094558081530924400707689585330092067475768139458/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^17 + 408170298026882072120072871877370089169481598862954988634/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^16 + 494290807777190099373075507930945042361786951631666139133/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^15 - 268515970143788669381097849098807376042070075162923569821/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^14 - 15095332613675803831909940952763272844148527651374046277/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^13 - 915053473351628885815888402882234973367396046812658585547/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^12 + 864838626593916454257669278636928974247604677355243134290/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^11 + 2161131169437200947476735299761670312883609569580794503637/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^10 - 79974467042650606936778274356052390283395547479299351341/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^9 - 1409058980678444399910955034814314238737075016079275982079/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^8 - 7903370794679979479343150084110919027563492179772702525/52698929315\ 31458788846413883147847150767001882351393202*c_1001_1^7 + 1288816690108311863457798087508770914254685685091759388294/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^6 + 1132606421931228832677473843254436298176885275809907429939/52698929\ 31531458788846413883147847150767001882351393202*c_1001_1^5 - 749676837525534161314329570273850194842710456181128052164/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^4 - 56223077533067105095302947524974268913254314614040352402/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^3 + 38272121785106963787393638072851132993727174948324079203/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 + 61628724915215946774004689299179894508337807436619843533/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1 - 5084354616102166333109624446658494977384967983866173723/58554365905\ 9050976538490431460871905640777986927932578, c_0011_3 + 2846309524079160958504064787732353534553398084238327875/1756\ 630977177152929615471294382615716922333960783797734*c_1001_1^23 - 1250673597074783750076816031371661348883173343584561515/58554365905\ 9050976538490431460871905640777986927932578*c_1001_1^22 - 11799964650443213403145015608090707218781104383588482750/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^21 + 24821286626270545667466605130489286773687793446584765579/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^20 + 22673442740603098167034229814736697874470466100786124749/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^19 - 136014808551586761168938656136615791066375051289643943285/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^18 - 398115666476026893079814383793139910429806756531477086635/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^17 + 209809795286451746043971919590125461096028693536726646367/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^16 + 193756098232588967862841367032523035350052579196321922217/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^15 - 32745368223689965106892548017918827986851619676926689475/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^14 - 42100247804286491639780402526885128303962503293006653995/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^13 - 612679148125040448280471624824348343600455775239704255489/585543659\ 059050976538490431460871905640777986927932578*c_1001_1^12 + 313924690186564823041083938619239607481195740501257113636/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^11 + 2785286082482779443572738188676777096394348037574969419139/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^10 - 59548885320732017676244983035486958920239661075953323465/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^9 - 831012935723399366316838744172839982856145920698661217969/585543659\ 059050976538490431460871905640777986927932578*c_1001_1^8 - 579132970273329012892820518581974795055375944803922919097/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^7 + 637618654278243681456475265202001650303047819154680917186/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^6 + 456332546406327844904302830047106744307706820877471787500/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^5 - 329567233648875640261097266020161469160935299506690105358/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^4 - 41148712434093437570543871650210626576166291531815686375/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^3 + 45354604076477985244216560166080784948421164444013383231/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 + 21096119043641507590717654133631855411842578925060501902/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1 - 3589213727142473701970509065037511759088210168211752158/29277182952\ 9525488269245215730435952820388993463966289, c_0011_6 + 1120192766248442291453589698397699729730409721501604205/1756\ 630977177152929615471294382615716922333960783797734*c_1001_1^23 - 485359816603661503189299464602504162495272110147892699/585543659059\ 050976538490431460871905640777986927932578*c_1001_1^22 - 4668133550810104078947486502035987067186421203389607862/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^21 + 9571924245370650900923470813065161698293045507766942175/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^20 + 17966383140016189137564272689821845121723777119392445551/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^19 - 52275170146761448979356629871303821237585925163605175323/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^18 - 158577326817223086901371867857244233250066491822850367771/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^17 + 80393304730624879190726872406739825788886230571000883556/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^16 + 78974514798951709665518598043660289809361773009626418048/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^15 - 3074608629252928832226032976419658300277716954747145474/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^14 - 17265653622506182527877298735687630029282778871506747237/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^13 - 243594987178066503955421790724645513889290100751453196841/585543659\ 059050976538490431460871905640777986927932578*c_1001_1^12 + 226414616296793965042183846982305316356198270678392485573/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^11 + 1107577137657724828212150247195000749895430763853449744995/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^10 - 4626945287363404241288916520402610939305837793946694261/29277182952\ 9525488269245215730435952820388993463966289*c_1001_1^9 - 163489143329636143948773564595430314472297726262461050910/292771829\ 529525488269245215730435952820388993463966289*c_1001_1^8 - 135595292552761234455702690964674459325477369495159235123/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^7 + 482073564652799117790653226945175773637708714861330811315/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^6 + 380623664091085122287178629105439850912651368371496689591/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^5 - 236236806621402831068311822680039227533883705342223284149/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^4 - 33935257493715308458258689289437126827354259025475032431/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^3 + 14605578855506496611846004021253267192802199119262490231/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 + 16595134989551658282169670675005490244315423924708167069/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1 - 922689557873743389279954698198466479616470909289156601/292771829529\ 525488269245215730435952820388993463966289, c_0101_0 - 2170067644880171873228274529631041869849207372586995002/2634\ 946465765729394423206941573923575383500941175696601*c_1001_1^23 + 1845774603295602607250400987909519600154736081926503001/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^22 + 18092900526903045217144610426388455196762587703802016272/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^21 - 36308689071146616442388451940630862380403985864935390167/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^20 - 23168838539020693046428743606588936059182945615304732407/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^19 + 99312947536345811582873451415354866443044243034459427985/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^18 + 612475831089467322820697682265911765520539889506408539183/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^17 - 307373385047278823207823361553646327080956356849363810766/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^16 - 604929680685115845354698744553198133445941194703221770383/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^15 + 14048053262016414411228562687503455580521545881824086061/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^14 + 9384091158163386129948502030391780616375882234129440231/29277182952\ 9525488269245215730435952820388993463966289*c_1001_1^13 + 466090084486440364341839419675619354803749476837657686915/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^12 - 412788125689577695681195467830137698718945470335671165742/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^11 - 2117594057245531004069844109267698680112428851099589567798/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^10 + 15245581709246423153399364451805555512508421544544606153/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^9 + 1238757478888571911844035787055189574221450607576008855683/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^8 + 931087567706373634433632951153302505749115475057647032431/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^7 - 1844652170287496186609847681905755994785410048931058857801/52698929\ 31531458788846413883147847150767001882351393202*c_1001_1^6 - 672198388336620106145767538253227075417044092581764705805/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^5 + 963634879919911305808656238457537142264050884884669979187/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^4 + 117596030491282059547415962753487798968339237313465691839/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^3 - 25631833305677573997739412536374295778960532412259536193/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 - 58329851244742208222430289019970708293432124343981998613/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1 + 1970449860110243664712228679759485089949391782067621903/29277182952\ 9525488269245215730435952820388993463966289, c_0101_1 + 465631372421429301007135784817921909248040972812969729/87831\ 5488588576464807735647191307858461166980391898867*c_1001_1^23 - 249369111354481105688212548200523277330382143901968320/292771829529\ 525488269245215730435952820388993463966289*c_1001_1^22 - 7492887027596294152181449566826677966525118224702018905/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^21 + 5226671775089729312232978183719555235080210715642083798/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^20 + 7213246599153408754296635194914907977067028976685864817/29277182952\ 9525488269245215730435952820388993463966289*c_1001_1^19 - 57915020072007054156356784924797409529164022524528767453/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^18 - 61925223184578384971592943662191089285855629031876117114/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^17 + 177841428767655680451130240195108302131859104573078262539/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^16 + 53502116513433021115117838875985674930902611273480597015/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^15 - 28349600810468108324258937547362465242286556272194670614/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^14 - 10316342093821654482469367796907914635058914694322364604/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^13 - 99642017473638422447606053665149986375103962069073298125/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^12 + 381128117607014860319834830766580396138996040661489278843/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^11 + 467707322084574396195432660901036114794960346097943126977/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^10 - 102287623205369360031473458899626005928197926846097935995/585543659\ 059050976538490431460871905640777986927932578*c_1001_1^9 - 154030102024396468608305861053008373774487193707218604574/292771829\ 529525488269245215730435952820388993463966289*c_1001_1^8 - 2832895485937204737384365751961971563347919376820012132/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^7 + 282475322075202384605164388244370658431635510403543388684/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^6 + 124510093143486723351583346376626815613436606822715248077/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^5 - 330119566157144254746515214603177468063259217232689795657/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^4 - 11994654702839591024117406404426979488030115781225460864/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^3 + 24649824345827271374563524910902740974652189341761653981/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 + 7803159592985250393748367794872027935294616657714509927/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1 - 3716701796216513226265861648193337435902961931409259483/58554365905\ 9050976538490431460871905640777986927932578, c_0101_10 + 5683479082617031723177621131507706288403092701382308043/526\ 9892931531458788846413883147847150767001882351393202*c_1001_1^23 - 2844997704506237798525838130572001305108518175441542479/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^22 - 23147332284255030455824501340200296725433190876253447533/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^21 + 58766281452211394724848154271239787715421418354003509343/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^20 + 29679705149482363132173398250079167152544062165843169215/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^19 - 162366731968910881525825949704627221359736272345395875463/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^18 - 771168607589134797790012615321437771758426722683848717003/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^17 + 500756427682156927026741529328177619429850656002921794555/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^16 + 348013930634263040398615509581820670747583920290922110902/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^15 - 131100689451618885977723457996366824977033136793254716391/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^14 - 17502312820914699938377439540643603036016672478227134668/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^13 - 1216418420016101426950726851633680723729711159065422544139/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^12 + 1930077868900869286039887476163725855186930041791623296783/52698929\ 31531458788846413883147847150767001882351393202*c_1001_1^11 + 2838385168915031453171659367474448447371611407664287664568/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^10 - 77849630746329228404016110669950060975433671586108216844/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^9 - 1794313045146281209232256075356116689551041538394653872403/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^8 - 342334174259099412154369543027186343374976133235700867921/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^7 + 1560439953153767495138872286586937798788805115464721695067/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^6 + 774777099228835672444888423935316313449938103640552237684/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^5 - 892820570604793353819589062401246204249649198015222219928/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^4 - 72817602273251345109608502552416240358796293592169568829/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^3 + 23431112245617226840370383139993067667007036245143621157/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^2 + 79243108354896029580961731552775143254109829962821505031/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1 - 6612346446597656405424546165001722227683062388065134413/58554365905\ 9050976538490431460871905640777986927932578, c_0101_2 + 3062896185506987027903366639100063264383321919810057532/2634\ 946465765729394423206941573923575383500941175696601*c_1001_1^23 - 2728681188375674622585781835401555679973020871757316537/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^22 - 50651071730650217263548926221569342018480289976667767755/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^21 + 27178388456338600514555419886043208050570676691711622115/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^20 + 16213286756991083317179546207510821158592627847545543028/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^19 - 149077664246756735479618468243117435576766077732801036379/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^18 - 851589758173925506831947788310907809710266388107788929035/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^17 + 919333603457507025012987227222633730326565611295983770531/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^16 + 408661541733515528579720365328971147407723572496896255206/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^15 - 87727255765673684782325594624822456980198018960079084303/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^14 - 29775195232619790736231643332129750990801047432458806909/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^13 - 1316580114438370913566484706333216000186691805922953828095/17566309\ 77177152929615471294382615716922333960783797734*c_1001_1^12 + 710498613647715015276785444626573758184312661787881289007/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^11 + 2985891793810689684973208015499443264759225798133673075156/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^10 - 27870547450897679619445080463459061250553025268412737751/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^9 - 892338708300023732209846156073382594219603024572892130499/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^8 - 567811111350053616088768799233430493410262578876891772050/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^7 + 1380412964356693384277358139316814663807769429839219882292/26349464\ 65765729394423206941573923575383500941175696601*c_1001_1^6 + 1901174115641567142125775755605574241723078590401803480821/52698929\ 31531458788846413883147847150767001882351393202*c_1001_1^5 - 1453308146168928834227385898201431235092688192921034726977/52698929\ 31531458788846413883147847150767001882351393202*c_1001_1^4 - 164917984807995906299686753170259515090805146524267915731/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^3 + 17007212450753256767272637361776806873070193259581566710/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^2 + 37461206917456786035693411673361622444660773344371335692/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1 - 2633865174685063728142870811271531205392435486278243312/29277182952\ 9525488269245215730435952820388993463966289, c_0101_3 - 465631372421429301007135784817921909248040972812969729/87831\ 5488588576464807735647191307858461166980391898867*c_1001_1^23 + 249369111354481105688212548200523277330382143901968320/292771829529\ 525488269245215730435952820388993463966289*c_1001_1^22 + 7492887027596294152181449566826677966525118224702018905/17566309771\ 77152929615471294382615716922333960783797734*c_1001_1^21 - 5226671775089729312232978183719555235080210715642083798/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^20 - 7213246599153408754296635194914907977067028976685864817/29277182952\ 9525488269245215730435952820388993463966289*c_1001_1^19 + 57915020072007054156356784924797409529164022524528767453/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^18 + 61925223184578384971592943662191089285855629031876117114/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^17 - 177841428767655680451130240195108302131859104573078262539/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^16 - 53502116513433021115117838875985674930902611273480597015/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^15 + 28349600810468108324258937547362465242286556272194670614/8783154885\ 88576464807735647191307858461166980391898867*c_1001_1^14 + 10316342093821654482469367796907914635058914694322364604/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^13 + 99642017473638422447606053665149986375103962069073298125/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^12 - 381128117607014860319834830766580396138996040661489278843/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^11 - 467707322084574396195432660901036114794960346097943126977/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^10 + 102287623205369360031473458899626005928197926846097935995/585543659\ 059050976538490431460871905640777986927932578*c_1001_1^9 + 154030102024396468608305861053008373774487193707218604574/292771829\ 529525488269245215730435952820388993463966289*c_1001_1^8 + 2832895485937204737384365751961971563347919376820012132/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1^7 - 282475322075202384605164388244370658431635510403543388684/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^6 - 124510093143486723351583346376626815613436606822715248077/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^5 + 330119566157144254746515214603177468063259217232689795657/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^4 + 11994654702839591024117406404426979488030115781225460864/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^3 - 24649824345827271374563524910902740974652189341761653981/5855436590\ 59050976538490431460871905640777986927932578*c_1001_1^2 - 7803159592985250393748367794872027935294616657714509927/87831548858\ 8576464807735647191307858461166980391898867*c_1001_1 + 3716701796216513226265861648193337435902961931409259483/58554365905\ 9050976538490431460871905640777986927932578, c_0110_10 - 825909033886361970974780240786718141540404738177088578/2634\ 946465765729394423206941573923575383500941175696601*c_1001_1^23 + 233721365004424755377236644032048528868539690248936802/878315488588\ 576464807735647191307858461166980391898867*c_1001_1^22 + 14525932940826851187852424229433149318233675798218844667/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^21 - 7748832265562147192268643777720150120316465988885056515/52698929315\ 31458788846413883147847150767001882351393202*c_1001_1^20 - 4666805082407454481657901578892149081954148036452263584/29277182952\ 9525488269245215730435952820388993463966289*c_1001_1^19 + 20209549075052198866482021514022550212606300716284899659/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^18 + 128993059600647706428988866377534842268370005243940971674/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^17 - 127364475781144458549603217604418659438397572594785574747/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^16 - 307277878954678461874704451833841125747150331446147547981/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^15 - 54902140816232665675873935653093037908176944282173327827/2634946465\ 765729394423206941573923575383500941175696601*c_1001_1^14 + 4615060544056461834074397038395702556448226370849106261/58554365905\ 9050976538490431460871905640777986927932578*c_1001_1^13 + 365248058148907636490081536371520331097745883796123078989/175663097\ 7177152929615471294382615716922333960783797734*c_1001_1^12 + 155427006783538314025984961464214236461763018881502856039/526989293\ 1531458788846413883147847150767001882351393202*c_1001_1^11 - 822516264621822498971415292305971243789193624074021528036/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^10 - 37163022105947636151246554758179754065561819329521966055/2927718295\ 29525488269245215730435952820388993463966289*c_1001_1^9 + 209767209603067080483316727209399515014726958139178006314/878315488\ 588576464807735647191307858461166980391898867*c_1001_1^8 + 479977557694422374056814754948606206813004355196076728620/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^7 - 189283659689041423153675630887256336943385961482189133799/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^6 - 373892078707122066898060792614952508778747924531110524499/263494646\ 5765729394423206941573923575383500941175696601*c_1001_1^5 + 56028254914017410440629855173490746070420977239575153557/5269892931\ 531458788846413883147847150767001882351393202*c_1001_1^4 + 66049449409579270262364052098742080896476191283640509889/1756630977\ 177152929615471294382615716922333960783797734*c_1001_1^3 + 183476435063893932783997372182268842994685816542380695/585543659059\ 050976538490431460871905640777986927932578*c_1001_1^2 - 9659106030128441847774113772782835172249744008431189210/26349464657\ 65729394423206941573923575383500941175696601*c_1001_1 + 95270064123655931827667928070069800537477856411599289/2927718295295\ 25488269245215730435952820388993463966289, c_1001_1^24 - 33/17*c_1001_1^23 - 127/17*c_1001_1^22 + 236/17*c_1001_1^21 + 720/17*c_1001_1^20 - 1318/17*c_1001_1^19 - 110*c_1001_1^18 + 3985/17*c_1001_1^17 + 743/17*c_1001_1^16 - 1631/17*c_1001_1^15 - 603/17*c_1001_1^14 - 10515/17*c_1001_1^13 + 10553/17*c_1001_1^12 + 14264/17*c_1001_1^11 - 11430/17*c_1001_1^10 - 14088/17*c_1001_1^9 + 5867/17*c_1001_1^8 + 9620/17*c_1001_1^7 + 602/17*c_1001_1^6 - 7279/17*c_1001_1^5 + 1077/17*c_1001_1^4 + 1746/17*c_1001_1^3 - 301/17*c_1001_1^2 - 279/17*c_1001_1 + 81/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.400 Total time: 0.610 seconds, Total memory usage: 32.09MB