Magma V2.19-8 Tue Aug 20 2013 17:55:41 on localhost [Seed = 256817369] Type ? for help. Type -D to quit. Loading file "10_15__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_15 geometric_solution 8.97344933 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829284765026 0.738278927373 0 4 0 5 0132 0132 3012 0132 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 -6 6 0 0 0 0 0 -6 0 0 6 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327299139056 0.598878565006 5 6 7 0 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 -7 7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922213039820 0.514630747030 8 8 0 7 0132 1302 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 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384836188121 1.107625891974 5 1 8 6 1023 0132 3012 3120 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 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.232171751466 0.500428962525 2 4 1 9 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 7 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.623697552476 0.589641346944 4 2 9 9 3120 0132 1230 2031 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 7 -7 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766564537583 0.491616177504 3 7 7 2 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158902991630 0.661039459814 3 4 9 3 0132 1230 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383217165109 0.689997113170 8 6 5 6 2031 1302 0132 3012 0 0 0 0 0 -1 0 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 7 0 -7 0 0 0 0 6 1 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.648017696769 0.867011622743 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : d['c_0110_4'], 'c_1001_8' : d['c_0101_6'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['c_1001_0']), 'c_1100_8' : d['c_0101_2'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_0011_7'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_0011_3'], '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], '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_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_9']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 151018650388124187893243908407419698367/389902866939125580950515218\ 92301036729*c_1001_0^20 - 676911361756402562968239789375141213170/3\ 8990286693912558095051521892301036729*c_1001_0^19 - 1012089875526078986914355814980058057446/12996762231304186031683840\ 630767012243*c_1001_0^18 - 9279825728508438734366009800258682645570\ /38990286693912558095051521892301036729*c_1001_0^17 - 23183196911020600101889820577183219145477/3899028669391255809505152\ 1892301036729*c_1001_0^16 - 553673620424007187293204759944657273350\ 45/38990286693912558095051521892301036729*c_1001_0^15 - 31425748109396745787476845071128588075698/1299676223130418603168384\ 0630767012243*c_1001_0^14 - 555056001036190771165788576915767674214\ 99/12996762231304186031683840630767012243*c_1001_0^13 - 221560964633457708063215557266910261487468/389902866939125580950515\ 21892301036729*c_1001_0^12 - 21868505462687599601529197321888354059\ 970/2999252822608658315003963222484695133*c_1001_0^11 - 337379094289830959226054287741714942080262/389902866939125580950515\ 21892301036729*c_1001_0^10 - 34193071814458444912213280806932849840\ 1055/38990286693912558095051521892301036729*c_1001_0^9 - 359974231380824153308025563874450906211889/389902866939125580950515\ 21892301036729*c_1001_0^8 - 236205397377000446896424658857804228911\ 679/38990286693912558095051521892301036729*c_1001_0^7 - 107422147552794851664600718293902210258468/389902866939125580950515\ 21892301036729*c_1001_0^6 - 219768938112651829909612111088436902768\ 3/684040117437062422720202138461421697*c_1001_0^5 - 95273623892365755627867705269377275061/5261847057208172482463093372\ 7801669*c_1001_0^4 + 1398285660015272873292169686240738753298/12996\ 762231304186031683840630767012243*c_1001_0^3 - 264918632015347787498065563639778853584/389902866939125580950515218\ 92301036729*c_1001_0^2 - 4155748756545829550680388077401962956079/3\ 8990286693912558095051521892301036729*c_1001_0 + 562074368150761209421797393023822669795/389902866939125580950515218\ 92301036729, c_0011_0 - 1, c_0011_3 - 506108970004243093682643397/519035676857784763676274017*c_10\ 01_0^20 - 1691184159543362505880485618/519035676857784763676274017*\ c_1001_0^19 - 8092963969064896579071955975/519035676857784763676274\ 017*c_1001_0^18 - 21323691601664524185692827996/5190356768577847636\ 76274017*c_1001_0^17 - 50798978442619531965497911289/51903567685778\ 4763676274017*c_1001_0^16 - 120593719973860001204275941152/51903567\ 6857784763676274017*c_1001_0^15 - 161445646561173566636050673937/51\ 9035676857784763676274017*c_1001_0^14 - 333584283416454121818560064870/519035676857784763676274017*c_1001_0\ ^13 - 304115282865418703877208296333/519035676857784763676274017*c_\ 1001_0^12 - 491300411199862939851431088729/519035676857784763676274\ 017*c_1001_0^11 - 452493929023176293338750011040/519035676857784763\ 676274017*c_1001_0^10 - 452466138558077207907369736728/519035676857\ 784763676274017*c_1001_0^9 - 513185525291878218657360480375/5190356\ 76857784763676274017*c_1001_0^8 - 26661446075137692405207655538/519\ 035676857784763676274017*c_1001_0^7 - 132100199217275338921497787845/519035676857784763676274017*c_1001_0\ ^6 - 11302506545384173867859419415/27317667203041303351382843*c_100\ 1_0^5 + 3456847188542827004886630584/27317667203041303351382843*c_1\ 001_0^4 + 15657350393002814688905750526/519035676857784763676274017\ *c_1001_0^3 - 21851767197376694986051036258/51903567685778476367627\ 4017*c_1001_0^2 + 8254854104836739037744353734/51903567685778476367\ 6274017*c_1001_0 - 1388950830180838771437201350/5190356768577847636\ 76274017, c_0011_7 - 44756650656468652364464348/519035676857784763676274017*c_100\ 1_0^20 - 8098096156308158858529474/519035676857784763676274017*c_10\ 01_0^19 - 320938651019076378740468312/519035676857784763676274017*c\ _1001_0^18 + 165627081599937992596637839/51903567685778476367627401\ 7*c_1001_0^17 + 340552446960101753648675476/51903567685778476367627\ 4017*c_1001_0^16 + 925477381155571696158436727/51903567685778476367\ 6274017*c_1001_0^15 + 13042930992855915538122378862/519035676857784\ 763676274017*c_1001_0^14 + 576949406226431300607061560/519035676857\ 784763676274017*c_1001_0^13 + 49749827911465130978974384920/5190356\ 76857784763676274017*c_1001_0^12 - 2397250141315206173205467745/519035676857784763676274017*c_1001_0^1\ 1 + 74777806898664603589590914293/519035676857784763676274017*c_100\ 1_0^10 + 16091150246081676645508304291/519035676857784763676274017*\ c_1001_0^9 + 50375823407770451667615366279/519035676857784763676274\ 017*c_1001_0^8 + 76839923250409796156331774754/51903567685778476367\ 6274017*c_1001_0^7 - 50889263550651270543764005732/5190356768577847\ 63676274017*c_1001_0^6 + 1607328144899951805102142296/2731766720304\ 1303351382843*c_1001_0^5 + 1367063067997268519992847223/27317667203\ 041303351382843*c_1001_0^4 - 23331907924472404971443567246/51903567\ 6857784763676274017*c_1001_0^3 + 1101691079015292527737517768/51903\ 5676857784763676274017*c_1001_0^2 + 1168676686259170313971935144/519035676857784763676274017*c_1001_0 - 442262296622037794737274335/519035676857784763676274017, c_0011_9 + 181032229555644045759135074/519035676857784763676274017*c_10\ 01_0^20 + 541243576900394473803322977/519035676857784763676274017*c\ _1001_0^19 + 2643755665941922233924493405/5190356768577847636762740\ 17*c_1001_0^18 + 6534015507947416995028151077/519035676857784763676\ 274017*c_1001_0^17 + 15025177698807905414794322341/5190356768577847\ 63676274017*c_1001_0^16 + 35909293243996920124901071607/51903567685\ 7784763676274017*c_1001_0^15 + 40585598679141006640287355420/519035\ 676857784763676274017*c_1001_0^14 + 94375015356132816926942824119/519035676857784763676274017*c_1001_0^\ 13 + 65179557668433610112302635408/519035676857784763676274017*c_10\ 01_0^12 + 124392865600473430119397722197/51903567685778476367627401\ 7*c_1001_0^11 + 107296107162829105247606887570/51903567685778476367\ 6274017*c_1001_0^10 + 85690032455285660509573954832/519035676857784\ 763676274017*c_1001_0^9 + 139384243542887594780727387092/5190356768\ 57784763676274017*c_1001_0^8 - 64134197684888605296209916361/519035\ 676857784763676274017*c_1001_0^7 + 47347585812449725491113210075/519035676857784763676274017*c_1001_0^\ 6 + 4890648379104806764658066512/27317667203041303351382843*c_1001_\ 0^5 - 3604223313285706617528862017/27317667203041303351382843*c_100\ 1_0^4 + 9254802944994741000351573354/519035676857784763676274017*c_\ 1001_0^3 + 23189550618708508781548591401/51903567685778476367627401\ 7*c_1001_0^2 - 10379621213477845824274600341/5190356768577847636762\ 74017*c_1001_0 + 1975603129949570269536935269/519035676857784763676\ 274017, c_0101_0 - 21190505346536086385506773/519035676857784763676274017*c_100\ 1_0^20 - 73475381268612164331683470/519035676857784763676274017*c_1\ 001_0^19 - 338893222123718272205628085/519035676857784763676274017*\ c_1001_0^18 - 909698201903974217330761307/5190356768577847636762740\ 17*c_1001_0^17 - 2110733342851360780014128004/519035676857784763676\ 274017*c_1001_0^16 - 5005594186782278461085472406/51903567685778476\ 3676274017*c_1001_0^15 - 6670911524643753966576826293/5190356768577\ 84763676274017*c_1001_0^14 - 13096503721490019633034116461/51903567\ 6857784763676274017*c_1001_0^13 - 12589429885940857581283351871/519\ 035676857784763676274017*c_1001_0^12 - 17574238486656938698971795750/519035676857784763676274017*c_1001_0^\ 11 - 18712520615887894941725807224/519035676857784763676274017*c_10\ 01_0^10 - 15055347747922679894957794600/519035676857784763676274017\ *c_1001_0^9 - 19496964938719055012694678044/51903567685778476367627\ 4017*c_1001_0^8 + 693436141848209684345724786/519035676857784763676\ 274017*c_1001_0^7 + 148805569384687105391747345/5190356768577847636\ 76274017*c_1001_0^6 - 681012015857647725777368536/27317667203041303\ 351382843*c_1001_0^5 + 206471167877546874790791992/2731766720304130\ 3351382843*c_1001_0^4 + 4250419717296735139436127432/51903567685778\ 4763676274017*c_1001_0^3 - 3730145511976738670078017595/51903567685\ 7784763676274017*c_1001_0^2 - 73410007590167713768537506/5190356768\ 57784763676274017*c_1001_0 + 392894990928007971385748876/5190356768\ 57784763676274017, c_0101_1 + 152219490917965823090952896/519035676857784763676274017*c_10\ 01_0^20 + 475753914111084633412302194/519035676857784763676274017*c\ _1001_0^19 + 2350219172614194451880135243/5190356768577847636762740\ 17*c_1001_0^18 + 5930627299963437749804362259/519035676857784763676\ 274017*c_1001_0^17 + 14189357448588049110992182019/5190356768577847\ 63676274017*c_1001_0^16 + 33430750516764363958333643488/51903567685\ 7784763676274017*c_1001_0^15 + 41851691247892694548285452044/519035\ 676857784763676274017*c_1001_0^14 + 92435402682564280068012974638/519035676857784763676274017*c_1001_0^\ 13 + 69576827026952156921696157952/519035676857784763676274017*c_10\ 01_0^12 + 135714635142324552447014169739/51903567685778476367627401\ 7*c_1001_0^11 + 95142761464584250070363931420/519035676857784763676\ 274017*c_1001_0^10 + 118786961718852827675053901739/519035676857784\ 763676274017*c_1001_0^9 + 109277590064282955777422965338/5190356768\ 57784763676274017*c_1001_0^8 - 20391758351987882819119392166/519035\ 676857784763676274017*c_1001_0^7 + 29423556547694992980760417712/519035676857784763676274017*c_1001_0^\ 6 + 1602852629463478802324424454/27317667203041303351382843*c_1001_\ 0^5 - 1005717712391281615226585481/27317667203041303351382843*c_100\ 1_0^4 - 10356102372197469145414230335/519035676857784763676274017*c\ _1001_0^3 - 763645353752963120690222551/519035676857784763676274017\ *c_1001_0^2 + 892926863229117553915104639/5190356768577847636762740\ 17*c_1001_0 - 457276219936840988489005078/5190356768577847636762740\ 17, c_0101_2 - 458184884682993032300538999/519035676857784763676274017*c_10\ 01_0^20 - 1414997967632039042106557641/519035676857784763676274017*\ c_1001_0^19 - 6937777332503394280427703775/519035676857784763676274\ 017*c_1001_0^18 - 17396497611202449772740791994/5190356768577847636\ 76274017*c_1001_0^17 - 40953124981467221619848114699/51903567685778\ 4763676274017*c_1001_0^16 - 96790518665460027025698721619/519035676\ 857784763676274017*c_1001_0^15 - 116824461433440114002117347651/519\ 035676857784763676274017*c_1001_0^14 - 260914278493106247965865067977/519035676857784763676274017*c_1001_0\ ^13 - 189508083295750242290097976888/519035676857784763676274017*c_\ 1001_0^12 - 364990122522107978774027392963/519035676857784763676274\ 017*c_1001_0^11 - 270608938040387672296220100266/519035676857784763\ 676274017*c_1001_0^10 - 293360178184276241452377513644/519035676857\ 784763676274017*c_1001_0^9 - 319900826225881169905851109335/5190356\ 76857784763676274017*c_1001_0^8 + 110357963205198266837654131050/51\ 9035676857784763676274017*c_1001_0^7 - 78132931934067243177163939634/519035676857784763676274017*c_1001_0^\ 6 - 7271013558864189157688077543/27317667203041303351382843*c_1001_\ 0^5 + 5027034434487187315181740268/27317667203041303351382843*c_100\ 1_0^4 + 22512095376136322381740037912/519035676857784763676274017*c\ _1001_0^3 - 18115667221922685909203573526/5190356768577847636762740\ 17*c_1001_0^2 + 4551680464763672061266850069/5190356768577847636762\ 74017*c_1001_0 - 114337001417408653941423636/5190356768577847636762\ 74017, c_0101_6 + 512339555547608057801463920/519035676857784763676274017*c_10\ 01_0^20 + 1737255403070784261177069288/519035676857784763676274017*\ c_1001_0^19 + 8194469562836105337394764371/519035676857784763676274\ 017*c_1001_0^18 + 21738404716702154745363126892/5190356768577847636\ 76274017*c_1001_0^17 + 51226252974918356908429212839/51903567685778\ 4763676274017*c_1001_0^16 + 121461299060617116930297201293/51903567\ 6857784763676274017*c_1001_0^15 + 161855647879155467354309501070/51\ 9035676857784763676274017*c_1001_0^14 + 327761762848838367471352823638/519035676857784763676274017*c_1001_0\ ^13 + 302120428398279219030302924859/519035676857784763676274017*c_\ 1001_0^12 + 461569275660493560315123497067/519035676857784763676274\ 017*c_1001_0^11 + 444503300266075139240913729331/519035676857784763\ 676274017*c_1001_0^10 + 402744382090447283865813093756/519035676857\ 784763676274017*c_1001_0^9 + 486588998200011615873064015300/5190356\ 76857784763676274017*c_1001_0^8 - 18518140622024156217944130137/519\ 035676857784763676274017*c_1001_0^7 + 66261071343323088363425250590/519035676857784763676274017*c_1001_0^\ 6 + 12037720099246857859210775886/27317667203041303351382843*c_1001\ _0^5 - 4594885996201499197349698077/27317667203041303351382843*c_10\ 01_0^4 - 39425260015353865704515135668/519035676857784763676274017*\ c_1001_0^3 + 31396510696790878951791001298/519035676857784763676274\ 017*c_1001_0^2 - 7807970146311072362284143201/519035676857784763676\ 274017*c_1001_0 + 893249635133595614493177259/519035676857784763676\ 274017, c_0110_4 - 89620653270655059469159869/519035676857784763676274017*c_100\ 1_0^20 - 297141073226004735912195637/519035676857784763676274017*c_\ 1001_0^19 - 1421679602969072607355483360/51903567685778476367627401\ 7*c_1001_0^18 - 3744700609381431428070597804/5190356768577847636762\ 74017*c_1001_0^17 - 8888398972976128689728948169/519035676857784763\ 676274017*c_1001_0^16 - 21222436402261438402877526463/5190356768577\ 84763676274017*c_1001_0^15 - 28256314814572612122039067193/51903567\ 6857784763676274017*c_1001_0^14 - 58838687214937759874947195506/519\ 035676857784763676274017*c_1001_0^13 - 54403553562207544973376012693/519035676857784763676274017*c_1001_0^\ 12 - 86449430860962395565587981963/519035676857784763676274017*c_10\ 01_0^11 - 84422933995652003755505006448/519035676857784763676274017\ *c_1001_0^10 - 78180133929483419549045586511/5190356768577847636762\ 74017*c_1001_0^9 - 97641524916924833901771504318/519035676857784763\ 676274017*c_1001_0^8 - 4311338096789348075511323522/519035676857784\ 763676274017*c_1001_0^7 - 27822664184802409839502800534/51903567685\ 7784763676274017*c_1001_0^6 - 2414212202371168273830295124/27317667\ 203041303351382843*c_1001_0^5 + 1193348878501822416427497829/273176\ 67203041303351382843*c_1001_0^4 - 2019594387173164330846674693/5190\ 35676857784763676274017*c_1001_0^3 - 7280739244358745320575002354/519035676857784763676274017*c_1001_0^2 + 5582827724115164180518924897/519035676857784763676274017*c_1001_0 - 651419280019824730727463525/519035676857784763676274017, c_1001_0^21 + 4*c_1001_0^20 + 18*c_1001_0^19 + 52*c_1001_0^18 + 125*c_1001_0^17 + 296*c_1001_0^16 + 456*c_1001_0^15 + 822*c_1001_0^14 + 970*c_1001_0^13 + 1237*c_1001_0^12 + 1408*c_1001_0^11 + 1294*c_1001_0^10 + 1418*c_1001_0^9 + 544*c_1001_0^8 + 94*c_1001_0^7 + 576*c_1001_0^6 + 114*c_1001_0^5 - 204*c_1001_0^4 + 41*c_1001_0^3 + 28*c_1001_0^2 - 16*c_1001_0 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB