Magma V2.19-8 Tue Aug 20 2013 23:46:14 on localhost [Seed = 3684544990] Type ? for help. Type -D to quit. Loading file "K14n15446__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15446 geometric_solution 11.31831361 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.980593003975 1.513224235279 0 5 2 6 0132 0132 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 -1 0 1 0 8 -8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597474973780 0.634704196784 7 0 8 1 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 9 0 0 -9 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720765678911 0.671127212943 5 9 10 0 2103 0132 0132 0132 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 8 0 -8 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430700791298 0.700112074550 11 9 0 8 0132 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324666849853 0.570242482232 11 1 3 6 3120 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816304189983 1.123724735306 5 10 1 8 3120 0213 0132 3012 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708056297827 0.818186991156 2 11 10 11 0132 2103 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394342901439 0.428438137349 4 9 6 2 3120 0213 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 -8 8 0 0 -1 -8 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577685054732 0.763843798679 10 3 8 4 1230 0132 0213 0321 0 0 0 0 0 0 0 0 -1 0 1 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 8 0 -8 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652983965503 1.157038285825 7 9 6 3 2103 3012 0213 0132 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 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471636372123 0.620747516400 4 7 7 5 0132 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.390990336030 1.641599389187 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : negation(d['c_0011_8']), 's_3_11' : d['1'], 's_3_10' : 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_6'], '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_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_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : d['c_0101_1'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_2'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 232147546192951947000963265221847103631554633503874134221/719974085\ 2118730245277222435854820036925591662852739380080*c_1001_2^23 + 7616893575456157980694546714604139944463968077860363970819/79197149\ 373306032698049446794403020406181508291380133180880*c_1001_2^22 + 97823484557915844782150223767484330031025123303040846217/2329327922\ 744295079354395493953030011946514949746474505320*c_1001_2^21 - 13506125255011235151508642797216127178441815726412436011841/9899643\ 671663254087256180849300377550772688536422516647610*c_1001_2^20 - 342355579123007670736961830615743190055017119703798346636261/791971\ 49373306032698049446794403020406181508291380133180880*c_1001_2^19 - 153534257272934522716933975034395513244629171787782807492293/395985\ 74686653016349024723397201510203090754145690066590440*c_1001_2^18 + 210724319081246546478742310096576179477954526613099272494157/395985\ 74686653016349024723397201510203090754145690066590440*c_1001_2^17 - 9129589431727122430739281649254805831396279350800896213429/98996436\ 71663254087256180849300377550772688536422516647610*c_1001_2^16 + 134130894838282510692777462625892326233469237601373848382839/791971\ 49373306032698049446794403020406181508291380133180880*c_1001_2^15 - 216125052364138389604013746539900974131661259782412970380536/494982\ 1835831627043628090424650188775386344268211258323805*c_1001_2^14 + 35964602817722270550509342673537584934858061880876905233847/4658655\ 845488590158708790987906060023893029899492949010640*c_1001_2^13 - 1317214999725517221742085819869396892942176616273923066234477/39598\ 574686653016349024723397201510203090754145690066590440*c_1001_2^12 + 243684019863388648816932442540227724826110819635244165760839/179993\ 5213029682561319305608963705009231397915713184845020*c_1001_2^11 - 4487409521604906722894974687035170917476489522692031660894451/39598\ 574686653016349024723397201510203090754145690066590440*c_1001_2^10 + 4183011371204028213234719538422042251296809364953335385616569/79197\ 149373306032698049446794403020406181508291380133180880*c_1001_2^9 - 765190813885704095663611123967693266193680658265638124156365/395985\ 7468665301634902472339720151020309075414569006659044*c_1001_2^8 + 9383675502941313249341173326313841669939409422083525040238817/39598\ 574686653016349024723397201510203090754145690066590440*c_1001_2^7 - 10999801242887854455817899987883578816866365907461940344142771/7919\ 7149373306032698049446794403020406181508291380133180880*c_1001_2^6 + 2645612359683543949199874568815293655422232494146522722501873/15839\ 429874661206539609889358880604081236301658276026636176*c_1001_2^5 - 3502672816431310183214134366238153199196082283555977470560197/19799\ 287343326508174512361698600755101545377072845033295220*c_1001_2^4 + 100404427361114448436644555071928804465150135653862210964675/395985\ 7468665301634902472339720151020309075414569006659044*c_1001_2^3 + 4472107440954627998274861911710538675831180633007123888900133/79197\ 149373306032698049446794403020406181508291380133180880*c_1001_2^2 - 1045304501573157270485569397274239624427858412488342210607733/39598\ 574686653016349024723397201510203090754145690066590440*c_1001_2 + 24582575390633749292671735207744181399196775038316056135449/1979928\ 7343326508174512361698600755101545377072845033295220, c_0011_0 - 1, c_0011_10 - 43098142216021413267586421740443294784033462957/30408047830\ 7035630023673620189593401762023612819512*c_1001_2^23 - 653370769919635338633101046105609609173392210475/304080478307035630\ 023673620189593401762023612819512*c_1001_2^22 - 1715252410648127857318887805947897546832900872395/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 + 466129658860126713408427068614071288260688348485/152040239153517815\ 011836810094796700881011806409756*c_1001_2^20 + 14240243013339266594436680348988235160171734384971/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^19 + 81666063488551772658689224237412057024484049872783/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^18 + 69550303916268433528365697820334712023871181871243/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^17 - 48112872565001312731270875005223830839350501466229/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^16 - 12306319718432226387618604357375954915308775410463/3801005978837945\ 3752959202523699175220252951602439*c_1001_2^15 - 157281420463924476702801503034653452327930360950265/304080478307035\ 630023673620189593401762023612819512*c_1001_2^14 + 124923872881709611387038312073111184500529993479995/760201195767589\ 07505918405047398350440505903204878*c_1001_2^13 - 18171990716036428202405102942551475534517170400165/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^12 + 75690430970400024345727130647254343255013852836551/7602011957675890\ 7505918405047398350440505903204878*c_1001_2^11 - 572190919924289831374942154197861167456104336858553/760201195767589\ 07505918405047398350440505903204878*c_1001_2^10 + 481332669145984370606394613091569413041316174590515/304080478307035\ 630023673620189593401762023612819512*c_1001_2^9 - 309020615880713454704182324439653211376530453575121/760201195767589\ 07505918405047398350440505903204878*c_1001_2^8 + 2630245760246900061888932090519018145629194728499341/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^7 - 940576355245613901936518441967961469714406213688079/152040239153517\ 815011836810094796700881011806409756*c_1001_2^6 + 2274215606481184453030089632774448337365745958164143/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^5 - 1280810065303001423218077105544506016337368963372523/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^4 + 1048025462455763292566430296706372913437763299372545/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^3 - 173369201700889640334176196294091702142065717713279/152040239153517\ 815011836810094796700881011806409756*c_1001_2^2 - 70860417161915960941012619487004143453585448375418/3801005978837945\ 3752959202523699175220252951602439*c_1001_2 + 85553526696863021293358160668079586874469320612068/3801005978837945\ 3752959202523699175220252951602439, c_0011_3 - 397962358875253161454925521620444508480795704987/30408047830\ 7035630023673620189593401762023612819512*c_1001_2^23 - 2047740821167029370481781732546235142608890984533/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^22 - 4647559779961883001328684037388835307026917236805/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 + 4538225222589780184493500782218793582325590454873/15204023915351781\ 5011836810094796700881011806409756*c_1001_2^20 + 39836448565166136070435576514871637963109388156711/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^19 + 218499088026137389027667233970298101002266237430713/304080478307035\ 630023673620189593401762023612819512*c_1001_2^18 + 321981042686064039875208725595409447625511150181797/304080478307035\ 630023673620189593401762023612819512*c_1001_2^17 + 204558009335057712757930042982228967781785790034933/152040239153517\ 815011836810094796700881011806409756*c_1001_2^16 + 87630832048187675174750284122036743382999079348609/7602011957675890\ 7505918405047398350440505903204878*c_1001_2^15 + 756317771622779022783194340391737686266650125673109/304080478307035\ 630023673620189593401762023612819512*c_1001_2^14 + 128572869928402940761854558781840538880025955143069/380100597883794\ 53752959202523699175220252951602439*c_1001_2^13 + 1016227569587946372212470319683296760782553957241477/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^12 + 278585933374438258665386360848399026954490039586885/760201195767589\ 07505918405047398350440505903204878*c_1001_2^11 + 168695157541423734626230632394897463587613223805022/380100597883794\ 53752959202523699175220252951602439*c_1001_2^10 - 498091929803378427358256854461023816621315695008959/304080478307035\ 630023673620189593401762023612819512*c_1001_2^9 + 245690640163159380888574645939645857156015103315433/760201195767589\ 07505918405047398350440505903204878*c_1001_2^8 - 652155620544900653033699633571893043660650660979441/304080478307035\ 630023673620189593401762023612819512*c_1001_2^7 + 655126597566409450074599052390775295554364151209675/152040239153517\ 815011836810094796700881011806409756*c_1001_2^6 - 390625362073218832171381756437390842201114459666159/304080478307035\ 630023673620189593401762023612819512*c_1001_2^5 + 346927526293202207795080780262086501641779860153481/152040239153517\ 815011836810094796700881011806409756*c_1001_2^4 - 105643774682747809773226162814412116649681132999945/304080478307035\ 630023673620189593401762023612819512*c_1001_2^3 + 20018150072657901629986601576278078763017824345963/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^2 - 6033534868192986739174551591121878248408380623889/76020119576758907\ 505918405047398350440505903204878*c_1001_2 - 1237906682744772808861193179980447120864794399072/38010059788379453\ 752959202523699175220252951602439, c_0011_6 - 1202301865935842682331272066991967353332818067679/3040804783\ 07035630023673620189593401762023612819512*c_1001_2^23 - 539360146365201729091102461570141544772924849230/380100597883794537\ 52959202523699175220252951602439*c_1001_2^22 - 5152612135709373548971928491525992645036261528909/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 + 44064223914257909787501421131886071974780572782641/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^20 + 183861549199133053938068391776193818070918890537055/304080478307035\ 630023673620189593401762023612819512*c_1001_2^19 + 73630164562028944622603426015734835618304154445697/7602011957675890\ 7505918405047398350440505903204878*c_1001_2^18 + 141977747959192147420613612281681163316497219492029/304080478307035\ 630023673620189593401762023612819512*c_1001_2^17 + 359909892639250758349660877614097424190599711723563/304080478307035\ 630023673620189593401762023612819512*c_1001_2^16 + 159935046106396684310080365843737389590842056842395/304080478307035\ 630023673620189593401762023612819512*c_1001_2^15 + 215519891576560140584841319536576961416838344365479/380100597883794\ 53752959202523699175220252951602439*c_1001_2^14 + 88716669249616964701119020742518515451057554372871/3801005978837945\ 3752959202523699175220252951602439*c_1001_2^13 + 1437385141288417065660143882614586824385628457199733/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^12 - 1304581478385909937342823529142504897486769440484195/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^11 + 1972996405671318405209718780082196826267499033807127/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^10 - 2557297290216952559044069465486484221463849674044333/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^9 + 6295088085805208877641637096642723047013083775144291/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^8 - 2732306822244270564498867131230440664076764809384557/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^7 + 1557581021090661632158092906916389783203335756349681/76020119576758\ 907505918405047398350440505903204878*c_1001_2^6 - 5457506246738305474182577571377547867175611614584347/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^5 + 4108493404740877432740440229487351153967489902722735/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^4 - 347801163031599103133658870911111150395205193594155/152040239153517\ 815011836810094796700881011806409756*c_1001_2^3 - 262886899635508737653317841028658262887931699131897/760201195767589\ 07505918405047398350440505903204878*c_1001_2^2 + 236568605122325998657297601370578950752247722155886/380100597883794\ 53752959202523699175220252951602439*c_1001_2 - 80568547302380196850525306285776563619508803046939/3801005978837945\ 3752959202523699175220252951602439, c_0011_8 + 1406760641643844476364439741708027288529278420293/3040804783\ 07035630023673620189593401762023612819512*c_1001_2^23 + 2252492924815353337326825973267225226007119990795/15204023915351781\ 5011836810094796700881011806409756*c_1001_2^22 + 3267786601524440983194554737147886127019074724583/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 - 57535266299645298958492679884438860643780373867465/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^20 - 201855844429192991613168058392580130388614110061631/304080478307035\ 630023673620189593401762023612819512*c_1001_2^19 - 118248831641502917994595575397274534933617954886601/152040239153517\ 815011836810094796700881011806409756*c_1001_2^18 + 117762874203870597607452330210977085774626906502993/304080478307035\ 630023673620189593401762023612819512*c_1001_2^17 - 21246235638146389636852238815606234390867076446035/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^16 + 327013824937561244571114823552415615904900191492569/304080478307035\ 630023673620189593401762023612819512*c_1001_2^15 - 779722232095651100427449806565423542725785899754527/152040239153517\ 815011836810094796700881011806409756*c_1001_2^14 + 15096259876872598056177068208802962112703197531381/3801005978837945\ 3752959202523699175220252951602439*c_1001_2^13 - 996310242548683096273256397568758753937322239743455/152040239153517\ 815011836810094796700881011806409756*c_1001_2^12 + 2742156420491429647829149053632894641747632410763659/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^11 - 1567422212107126483505620772753676272283856020045495/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^10 + 4396693720783172326178849291529826150930097187613435/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^9 - 7515971094202291001194958006937014450099218418250495/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^8 + 866829249018429636299657509280988140420195387497201/380100597883794\ 53752959202523699175220252951602439*c_1001_2^7 - 948445605238007761592312621120816576366754146697118/380100597883794\ 53752959202523699175220252951602439*c_1001_2^6 + 7388043693467561178946231657498747243322471160928561/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^5 - 4494285721385272316757380475943396011863333889530495/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^4 + 267826705716186350315408741351646313928245969498939/760201195767589\ 07505918405047398350440505903204878*c_1001_2^3 + 222118643670151569384012875882017612582098431919762/380100597883794\ 53752959202523699175220252951602439*c_1001_2^2 - 325885500747183261666004301085385817279752054556967/380100597883794\ 53752959202523699175220252951602439*c_1001_2 + 81574385636382678975221408638584841169410151444581/3801005978837945\ 3752959202523699175220252951602439, c_0101_0 - 82612164075280211908072051166696376862712320007/800211785018\ 5148158517726847094563204263779284724*c_1001_2^23 - 146097946269609223307624539441364945251660931203/400105892509257407\ 9258863423547281602131889642362*c_1001_2^22 - 308601455938411987646338726495435133952937435487/800211785018514815\ 8517726847094563204263779284724*c_1001_2^21 + 3198351521768358491193127047369067109028094989733/80021178501851481\ 58517726847094563204263779284724*c_1001_2^20 + 12805712224071098555827625066684046130010170140909/8002117850185148\ 158517726847094563204263779284724*c_1001_2^19 + 9414260154936985578690894527655442883789890298097/40010589250925740\ 79258863423547281602131889642362*c_1001_2^18 + 2671848918866119509383771283531853216537672776461/80021178501851481\ 58517726847094563204263779284724*c_1001_2^17 + 8472205953006347229294587715880096174512691093843/80021178501851481\ 58517726847094563204263779284724*c_1001_2^16 - 11716063919004743599929789265946198097406062371493/8002117850185148\ 158517726847094563204263779284724*c_1001_2^15 + 23126577599042672763691069969363032908135573052809/2000529462546287\ 039629431711773640801065944821181*c_1001_2^14 + 5773908424159829337329843243692630613043977180887/20005294625462870\ 39629431711773640801065944821181*c_1001_2^13 + 73423010589900973249558676876225095763412392075295/4001058925092574\ 079258863423547281602131889642362*c_1001_2^12 - 64611533959630797123802365369700352973259468650483/2000529462546287\ 039629431711773640801065944821181*c_1001_2^11 + 36585913193597905722634415019959823127378733457315/2000529462546287\ 039629431711773640801065944821181*c_1001_2^10 - 248723443514399317640669156776145984426589588759221/800211785018514\ 8158517726847094563204263779284724*c_1001_2^9 + 378455022863200282709143556743725216085171953557079/800211785018514\ 8158517726847094563204263779284724*c_1001_2^8 - 86890555379255965997174271311637024724354562634876/2000529462546287\ 039629431711773640801065944821181*c_1001_2^7 + 99023907347039595865543576003801183565637406162326/2000529462546287\ 039629431711773640801065944821181*c_1001_2^6 - 367686463817124689117544303156113157891237911395441/800211785018514\ 8158517726847094563204263779284724*c_1001_2^5 + 211539158843312928712584351659408325259174567623597/800211785018514\ 8158517726847094563204263779284724*c_1001_2^4 - 12640965155658474901962225404747346763051294646849/2000529462546287\ 039629431711773640801065944821181*c_1001_2^3 - 52158929363556161890035714154728179365327057424217/4001058925092574\ 079258863423547281602131889642362*c_1001_2^2 + 28950399287763692647793968115956391907856191039353/2000529462546287\ 039629431711773640801065944821181*c_1001_2 - 8382809939472855086714121548017320651598975869178/20005294625462870\ 39629431711773640801065944821181, c_0101_1 + 2454878314431847607307562520820499414545019619211/3040804783\ 07035630023673620189593401762023612819512*c_1001_2^23 + 4293456784240100334087989600991334784816660267125/15204023915351781\ 5011836810094796700881011806409756*c_1001_2^22 + 8910576849029144255423709047540890813540611401509/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 - 95013063338244258543930497870750458580148474501239/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^20 - 375987286733716692472685625837684913227718371004445/304080478307035\ 630023673620189593401762023612819512*c_1001_2^19 - 273309460945454443312028338180179203769915559599767/152040239153517\ 815011836810094796700881011806409756*c_1001_2^18 - 72706331192082300380646503377180796300477306184513/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^17 - 288063009092275075571332803388552401725139710648721/304080478307035\ 630023673620189593401762023612819512*c_1001_2^16 + 302733197040314596345758091861812742790421931897719/304080478307035\ 630023673620189593401762023612819512*c_1001_2^15 - 1418137170714144274379259067978552821035280833256837/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^14 - 161546713658547743090132545209225662059546761832217/760201195767589\ 07505918405047398350440505903204878*c_1001_2^13 - 2251218135551109504866240883886229045345050300809665/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^12 + 3825222439755175898984117785416026482099337783851335/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^11 - 2528129706401929427534210764006667898511091918454325/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^10 + 7367478889881273702894591561454490532101171996128945/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^9 - 11840456422164601912158019160999903400880906103537117/3040804783070\ 35630023673620189593401762023612819512*c_1001_2^8 + 2693788074963899462716708147058881189497276529078041/76020119576758\ 907505918405047398350440505903204878*c_1001_2^7 - 1561251186340896625542296831827348289716716348070188/38010059788379\ 453752959202523699175220252951602439*c_1001_2^6 + 11417333085105172408449036744436378649851990143239131/3040804783070\ 35630023673620189593401762023612819512*c_1001_2^5 - 6970582091433987903524069340324696729327754643141341/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^4 + 436692264143746716371750079603742477131461940998437/760201195767589\ 07505918405047398350440505903204878*c_1001_2^3 + 772565468272608014301174404771546334727429096245969/760201195767589\ 07505918405047398350440505903204878*c_1001_2^2 - 949681246967255052822108274048029494806157487384289/760201195767589\ 07505918405047398350440505903204878*c_1001_2 + 147456304006691069577393371366462559372919144739635/380100597883794\ 53752959202523699175220252951602439, c_0101_11 + 1528296084499826334252752503518200439554537881497/304080478\ 307035630023673620189593401762023612819512*c_1001_2^23 + 1273631671899070044847287656719734453821490703659/76020119576758907\ 505918405047398350440505903204878*c_1001_2^22 + 4637930692284513225662812815762058978796326463555/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^21 - 60088213733582660253555602020649597706070574262403/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^20 - 224208208103120871586163654244328508664649634391597/304080478307035\ 630023673620189593401762023612819512*c_1001_2^19 - 75120042328649704895905080721577000788492142660173/7602011957675890\ 7505918405047398350440505903204878*c_1001_2^18 + 11835151216548732589263254300111291725560235798665/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^17 - 177307808731204366323105565973993861164926490338357/304080478307035\ 630023673620189593401762023612819512*c_1001_2^16 + 204658254491346973989895038266099775806513439809451/304080478307035\ 630023673620189593401762023612819512*c_1001_2^15 - 222478783632120777358596744031269141353372929325388/380100597883794\ 53752959202523699175220252951602439*c_1001_2^14 - 9681581621039857426011871567886134559291685139126/38010059788379453\ 752959202523699175220252951602439*c_1001_2^13 - 1291802832083296933850162646403565967942719513294259/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^12 + 2623654986947506337825856384045512058725583996798975/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^11 - 1882858506246273100543522417117966842512753550946645/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^10 + 4993734234906444017670152084855469132957476619363591/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^9 - 7526383732475125674995310775399191446714227508546477/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^8 + 4061838214600010701121543133850708877403706787255689/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^7 - 989827585643087770563342343879631128222164250969173/380100597883794\ 53752959202523699175220252951602439*c_1001_2^6 + 8103798119813604650892321154139657934412349569664817/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^5 - 5202903928107661976749945303213351114445148312665137/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^4 + 664831858567349226778957620491402431199604476453073/152040239153517\ 815011836810094796700881011806409756*c_1001_2^3 + 534030784467412853047366326260212558547645047740315/760201195767589\ 07505918405047398350440505903204878*c_1001_2^2 - 666461070237897326193883994909803211732702357689757/760201195767589\ 07505918405047398350440505903204878*c_1001_2 + 154100815232818611339120386483990146228936923484448/380100597883794\ 53752959202523699175220252951602439, c_0101_3 - 1012366276484191046539516943220043743310373278443/3040804783\ 07035630023673620189593401762023612819512*c_1001_2^23 - 2582113204541447022268359747062099329594027273181/30408047830703563\ 0023673620189593401762023612819512*c_1001_2^22 + 248900988538889008326843925461544755961812176491/304080478307035630\ 023673620189593401762023612819512*c_1001_2^21 + 22479660703134389518226274704857779632566878839215/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^20 + 60726365471305750883431694449455053031400268521761/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^19 + 59336225020649778192618937045956175093965911820477/3040804783070356\ 30023673620189593401762023612819512*c_1001_2^18 - 279546944831949217850863916337713779758531143091175/304080478307035\ 630023673620189593401762023612819512*c_1001_2^17 - 47632251688600944351537399173520948026155547179537/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^16 - 98277666722481286191603810807555679236537986657313/7602011957675890\ 7505918405047398350440505903204878*c_1001_2^15 + 1060105280394077832196934549065345147917482001300997/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^14 - 239354069609741968859457347345963916367288451944675/760201195767589\ 07505918405047398350440505903204878*c_1001_2^13 + 406496812044596533168775628399613513309790433995753/152040239153517\ 815011836810094796700881011806409756*c_1001_2^12 - 689336088545510663524263754591664108314328941146259/380100597883794\ 53752959202523699175220252951602439*c_1001_2^11 + 860739443882202642871874879704480865178989519061387/760201195767589\ 07505918405047398350440505903204878*c_1001_2^10 - 4400134031408947804331232017804686517150722855317319/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^9 + 799478229739152688694774882591636371550591601204338/380100597883794\ 53752959202523699175220252951602439*c_1001_2^8 - 7910498538063815512503569463276667594891437510721781/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^7 + 3576104508551583341109143789061913237334976354632589/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^6 - 7986500522315509557258793698416732101223204862963291/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^5 + 2424876792086954358184070296958969675653840395184241/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^4 - 2089885274473383979914478003167914623215878436129669/30408047830703\ 5630023673620189593401762023612819512*c_1001_2^3 - 846050124337675979607509889233901757661765023934565/152040239153517\ 815011836810094796700881011806409756*c_1001_2^2 + 668233096248836418718407132789752464908999791079769/760201195767589\ 07505918405047398350440505903204878*c_1001_2 - 162122911131335176374949563890367661204345998675077/380100597883794\ 53752959202523699175220252951602439, c_0101_8 + 70922632645652227334184521241459137427371409041/152040239153\ 517815011836810094796700881011806409756*c_1001_2^23 - 55119735127564395145428372015548029847374800561/3801005978837945375\ 2959202523699175220252951602439*c_1001_2^22 - 869660167735228044381139982823015043913648981461/760201195767589075\ 05918405047398350440505903204878*c_1001_2^21 - 6029665757580244172408921193018212489072789487031/15204023915351781\ 5011836810094796700881011806409756*c_1001_2^20 + 2252423130157207512637540539097910236787368313257/76020119576758907\ 505918405047398350440505903204878*c_1001_2^19 + 67286364407627142722472536934053642281124406020381/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^18 + 41918555125433853459442104266866479959272536250224/3801005978837945\ 3752959202523699175220252951602439*c_1001_2^17 + 146145554399329329916690476075000957589176602353853/152040239153517\ 815011836810094796700881011806409756*c_1001_2^16 + 50910557665979518501891698105501146663026500628582/3801005978837945\ 3752959202523699175220252951602439*c_1001_2^15 + 26647152618032457316677365310152284390983089297401/1520402391535178\ 15011836810094796700881011806409756*c_1001_2^14 + 622080498439972753039151821937914775067540732751093/152040239153517\ 815011836810094796700881011806409756*c_1001_2^13 + 121788143466915903363112514365987755211445188908955/380100597883794\ 53752959202523699175220252951602439*c_1001_2^12 + 809303489946993501037985453030039078865706396287311/760201195767589\ 07505918405047398350440505903204878*c_1001_2^11 - 232943461916797582083846046669518735234261987395025/760201195767589\ 07505918405047398350440505903204878*c_1001_2^10 + 1057678072112834995415597195971008564217863412307939/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^9 - 1166656996766498766047280599074361138433826178123439/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^8 + 1921504338823040790908029429572644452829125672645533/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^7 - 1273760607043732324249467725238115849023815201034833/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^6 + 2087310715949983518962290364888091179039429877310877/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^5 - 1085291782911579032733131147840496163642227935445263/15204023915351\ 7815011836810094796700881011806409756*c_1001_2^4 + 651865092156776189161755524743677329814412064944477/152040239153517\ 815011836810094796700881011806409756*c_1001_2^3 + 302150145128271240927392363463170868425101184182839/152040239153517\ 815011836810094796700881011806409756*c_1001_2^2 - 314864905224917057745954510428939513759363897155913/760201195767589\ 07505918405047398350440505903204878*c_1001_2 + 111119401565332173226211683913335694630979405108747/380100597883794\ 53752959202523699175220252951602439, c_1001_0 + 29518435668897720664250141268037745326620633425/160042357003\ 70296317035453694189126408527558569448*c_1001_2^23 + 15519673601049610294890448528097320566484092405/4001058925092574079\ 258863423547281602131889642362*c_1001_2^22 - 55211678509367271763972918682491450013691987483/1600423570037029631\ 7035453694189126408527558569448*c_1001_2^21 - 1364424693348947669373938272055511550459639763259/16004235700370296\ 317035453694189126408527558569448*c_1001_2^20 - 3027989209994538683154055273470771272743076463539/16004235700370296\ 317035453694189126408527558569448*c_1001_2^19 + 197095662782177305169613626749102713789695007353/800211785018514815\ 8517726847094563204263779284724*c_1001_2^18 + 11401510647444961105269483778494513609039406542467/1600423570037029\ 6317035453694189126408527558569448*c_1001_2^17 + 3298549730101866063187961977372677121511479871143/16004235700370296\ 317035453694189126408527558569448*c_1001_2^16 + 11694902257059908859405572615816952348961490692609/1600423570037029\ 6317035453694189126408527558569448*c_1001_2^15 - 17687820101458331569583308838258153564309649769277/8002117850185148\ 158517726847094563204263779284724*c_1001_2^14 + 19526790106283913711165723171398380073393126816783/8002117850185148\ 158517726847094563204263779284724*c_1001_2^13 - 11641309040311369719818076064971346545832868441545/8002117850185148\ 158517726847094563204263779284724*c_1001_2^12 + 89672701711233050843165126789054852002972896456747/8002117850185148\ 158517726847094563204263779284724*c_1001_2^11 - 75674255552211250988796398194285168078064654664249/8002117850185148\ 158517726847094563204263779284724*c_1001_2^10 + 131043518581578051762818640915900649424791057876383/160042357003702\ 96317035453694189126408527558569448*c_1001_2^9 - 247081320259823047594197378705199623564694818424129/160042357003702\ 96317035453694189126408527558569448*c_1001_2^8 + 68162749597111186673630586864840882934820725975117/4001058925092574\ 079258863423547281602131889642362*c_1001_2^7 - 137156446222239141390397037308636717872983732799131/800211785018514\ 8158517726847094563204263779284724*c_1001_2^6 + 274465315879665581682996659454233431811484681172737/160042357003702\ 96317035453694189126408527558569448*c_1001_2^5 - 210886952032478853129143095815309790119616515443549/160042357003702\ 96317035453694189126408527558569448*c_1001_2^4 + 19071960362552253633821790759744705747072052471827/4001058925092574\ 079258863423547281602131889642362*c_1001_2^3 + 22803545579620691528578615585739931546276991167203/8002117850185148\ 158517726847094563204263779284724*c_1001_2^2 - 12736253807060934049218121638982212402447305475522/2000529462546287\ 039629431711773640801065944821181*c_1001_2 + 6138131747647762306336800819712007519311170222034/20005294625462870\ 39629431711773640801065944821181, c_1001_2^24 + 3*c_1001_2^23 + 2*c_1001_2^22 - 40*c_1001_2^21 - 133*c_1001_2^20 - 150*c_1001_2^19 + 60*c_1001_2^18 - 148*c_1001_2^17 + 139*c_1001_2^16 - 1260*c_1001_2^15 + 291*c_1001_2^14 - 1832*c_1001_2^13 + 3852*c_1001_2^12 - 3918*c_1001_2^11 + 4055*c_1001_2^10 - 6342*c_1001_2^9 + 6960*c_1001_2^8 - 7467*c_1001_2^7 + 7217*c_1001_2^6 - 5414*c_1001_2^5 + 2194*c_1001_2^4 + 873*c_1001_2^3 - 2248*c_1001_2^2 + 1364*c_1001_2 - 328 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.900 Total time: 2.109 seconds, Total memory usage: 64.12MB