Magma V2.19-8 Tue Aug 20 2013 23:38:15 on localhost [Seed = 3002390162] Type ? for help. Type -D to quit. Loading file "K12a1273__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1273 geometric_solution 9.05110046 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 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 -1 1 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.918737838745 0.655070172944 0 3 1 1 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721101333605 0.567487428068 5 0 6 4 0132 0132 0132 0213 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 -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.366312943330 0.773589499806 1 4 7 0 1302 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.278400393909 0.514508447158 3 7 0 2 1302 3201 0132 0213 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 1 -1 0 1 0 -1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281211752075 0.808421818827 2 8 7 6 0132 0132 3012 0132 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.383840862294 1.103457895150 8 9 5 2 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 -1 0 0 1 1 0 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081262161255 0.655070172944 8 5 4 3 0321 1230 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 1 1 1 0 0 -1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633687056670 0.773589499806 7 5 9 6 0321 0132 1023 2310 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -2 0 0 2 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081262161255 0.655070172944 9 6 8 9 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302450679800 1.419334394057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_0101_9'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : negation(d['c_1001_7']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_1001_7']), 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_1001_7']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_7'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0011_0'], 'c_0110_6' : d['c_0011_7']})} 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_4, c_0011_6, c_0011_7, c_0101_0, c_0101_5, c_0101_7, c_0101_9, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1576346378666244639762557167005731498409047246684266652748025870085\ 3878675498969791117629003542/25072647947142613377572521717009323030\ 2828506644412731751293221114722332563916333481877153613877*c_0101_9\ ^29 - 4514282201885826817368123776728077411030427671120541781164896\ 27206171944089143768438949455872944/2507264794714261337757252171700\ 93230302828506644412731751293221114722332563916333481877153613877*c\ _0101_9^28 - 229515347686946061132726248890364095243496798115524669\ 0705929886524581522195392674017079642666839/25072647947142613377572\ 5217170093230302828506644412731751293221114722332563916333481877153\ 613877*c_0101_9^27 - 5231763065089185548405115378113638803038030244\ 07093488543195073538967750990753437276002871459072/2507264794714261\ 3377572521717009323030282850664441273175129322111472233256391633348\ 1877153613877*c_0101_9^26 + 135632525026897659697485395557233843330\ 25459355106886962879702376994675512180536559727290502432034/2507264\ 7947142613377572521717009323030282850664441273175129322111472233256\ 3916333481877153613877*c_0101_9^25 + 1559452514939890680030613418569421531478729766817181398342047137967\ 5276565320435228085088630739507/25072647947142613377572521717009323\ 0302828506644412731751293221114722332563916333481877153613877*c_010\ 1_9^24 - 3040237434484839448349123190319676131681309719026693764850\ 6294245091671936797709308673466275202669/25072647947142613377572521\ 7170093230302828506644412731751293221114722332563916333481877153613\ 877*c_0101_9^23 - 7131187065423586829819070332727429455233737568761\ 3473481237019915706968191582460237910085702424031/25072647947142613\ 3775725217170093230302828506644412731751293221114722332563916333481\ 877153613877*c_0101_9^22 - 4152149921408510849935638682641804717841\ 9455139510176026225023724273210190885934628060649823398373/25072647\ 9471426133775725217170093230302828506644412731751293221114722332563\ 916333481877153613877*c_0101_9^21 + 4762870984162798608820870822303333986642066891368720908930819212045\ 0046903208004250776812305577749/25072647947142613377572521717009323\ 0302828506644412731751293221114722332563916333481877153613877*c_010\ 1_9^20 + 1781180352272198083201503748687443439083781341381146792091\ 22070682730444208558933655081808499527071/2507264794714261337757252\ 1717009323030282850664441273175129322111472233256391633348187715361\ 3877*c_0101_9^19 + 777143481785653360950801656634993398028254262294\ 27398387464414549857522547627781428734045299717104/2507264794714261\ 3377572521717009323030282850664441273175129322111472233256391633348\ 1877153613877*c_0101_9^18 - 442610370987624964019309134535680937489\ 988987961173404878477560533276384284110075800259482098645392/250726\ 4794714261337757252171700932303028285066444127317512932211147223325\ 63916333481877153613877*c_0101_9^17 - 7244488155117476249553294761795186920685617776225764857935744111941\ 55565714011616596321984763153739/2507264794714261337757252171700932\ 30302828506644412731751293221114722332563916333481877153613877*c_01\ 01_9^16 - 396418560073024325585158599740891347276210765678222897860\ 746601324984402761450700562866283345799903/250726479471426133775725\ 2171700932303028285066444127317512932211147223325639163334818771536\ 13877*c_0101_9^15 - 20314086358710889591664320005864007106727955809\ 6775373599224882837691863519904266048165342485407787/25072647947142\ 6133775725217170093230302828506644412731751293221114722332563916333\ 481877153613877*c_0101_9^14 - 2305928943755072559541879570083086982\ 68666397739329355322667490872127486419589542429512239427249283/2507\ 2647947142613377572521717009323030282850664441273175129322111472233\ 2563916333481877153613877*c_0101_9^13 - 5826636373771020713538848548584583148668238987035901658866270527207\ 70140964496220885254428335025457/2507264794714261337757252171700932\ 30302828506644412731751293221114722332563916333481877153613877*c_01\ 01_9^12 - 103015046685494015237552783503604530629730238833355087282\ 7424695795992755754585619472526405593700282/25072647947142613377572\ 5217170093230302828506644412731751293221114722332563916333481877153\ 613877*c_0101_9^11 - 7706190957479567563347375106388698659562688024\ 04440238489343104917049365415740421276037566436160866/2507264794714\ 2613377572521717009323030282850664441273175129322111472233256391633\ 3481877153613877*c_0101_9^10 - 147034612109766132479035597526921565\ 943835425604330463326914587467932483569419335495793974374498236/250\ 7264794714261337757252171700932303028285066444127317512932211147223\ 32563916333481877153613877*c_0101_9^9 - 1695974577093824565179571804971371644972989438313543085910652888792\ 80582355900815467383365119812931/2507264794714261337757252171700932\ 30302828506644412731751293221114722332563916333481877153613877*c_01\ 01_9^8 - 2457081366616568451652490663918736457570005157162124113485\ 61981975526960696814819050298531832255870/2507264794714261337757252\ 1717009323030282850664441273175129322111472233256391633348187715361\ 3877*c_0101_9^7 - 2216419578518423881705791204380821013027073675041\ 30754124474546597692811140322531111261114866817160/2507264794714261\ 3377572521717009323030282850664441273175129322111472233256391633348\ 1877153613877*c_0101_9^6 - 4862302912285924979225924595395045638878\ 572583366722009205707034793220755271422716357037990142020/250726479\ 4714261337757252171700932303028285066444127317512932211147223325639\ 16333481877153613877*c_0101_9^5 - 790403852767447776389093018391595\ 4562772630268164532160689979964453831939877252593838838870254632/25\ 0726479471426133775725217170093230302828506644412731751293221114722\ 332563916333481877153613877*c_0101_9^4 + 2342680914773769134946199720674873821791436022782403003413678835252\ 18486149818184643563029331362566/2507264794714261337757252171700932\ 30302828506644412731751293221114722332563916333481877153613877*c_01\ 01_9^3 + 1058443866896747402936672446339623091836524318763876134393\ 27309648909243400840981494912361149715803/2507264794714261337757252\ 1717009323030282850664441273175129322111472233256391633348187715361\ 3877*c_0101_9^2 + 7456379827084278355661047531615223036868798795798\ 6470471347873650621226852708686807157462923798263/25072647947142613\ 3775725217170093230302828506644412731751293221114722332563916333481\ 877153613877*c_0101_9 + 2764124019182487426508878617179878391062760\ 1936565161892155003822313287753933458232397633381431109/25072647947\ 1426133775725217170093230302828506644412731751293221114722332563916\ 333481877153613877, c_0011_0 - 1, c_0011_3 - 113688008396626677495138449372959379883696536422819497925465\ 5140484954663965279868276447820/13921514684698841408979745539705343\ 1595129653883627280261684187181966869830047936414146115277*c_0101_9\ ^29 - 3166955651595394939298601306111214638380609386035881517535499\ 6789732338956939643885562551313/13921514684698841408979745539705343\ 1595129653883627280261684187181966869830047936414146115277*c_0101_9\ ^28 - 1404566640701207145187630018976474201066285556077744059829026\ 38448893338120965826277504287085/1392151468469884140897974553970534\ 31595129653883627280261684187181966869830047936414146115277*c_0101_\ 9^27 + 813526572293016128585297309828676902273985453732113003788439\ 20204380420827284922519537302645/1392151468469884140897974553970534\ 31595129653883627280261684187181966869830047936414146115277*c_0101_\ 9^26 + 956464938481665074757174503027418641861879657964470458069280\ 811413703188313357596192157051460/139215146846988414089797455397053\ 431595129653883627280261684187181966869830047936414146115277*c_0101\ _9^25 + 35298338877728184581584068061668986928812961118742223376240\ 4163665034124717207345970135814783/13921514684698841408979745539705\ 3431595129653883627280261684187181966869830047936414146115277*c_010\ 1_9^24 - 2762034656339430636200336816528456756853589193108949345225\ 801544514981366638132664611128691432/139215146846988414089797455397\ 053431595129653883627280261684187181966869830047936414146115277*c_0\ 101_9^23 - 30967358921101855984433681161964954931357288124065398541\ 03852430193973208578260050649189988090/1392151468469884140897974553\ 97053431595129653883627280261684187181966869830047936414146115277*c\ _0101_9^22 + 305963264046592124701894268257918347468664858079662492\ 319488007743215371230508014611736797328/139215146846988414089797455\ 397053431595129653883627280261684187181966869830047936414146115277*\ c_0101_9^21 + 41794866920839326444912261781522878362689893032198587\ 27633632481473913948591332683211562647912/1392151468469884140897974\ 5539705343159512965388362728026168418718196686983004793641414611527\ 7*c_0101_9^20 + 932195002601430976552240017870901471124544886597924\ 5270185318615315930109772335092064154604613/13921514684698841408979\ 7455397053431595129653883627280261684187181966869830047936414146115\ 277*c_0101_9^19 - 3179275886561057029008921301547730760537095364354\ 695277861865763005421624798145289358146161610/139215146846988414089\ 7974553970534315951296538836272802616841871819668698300479364141461\ 15277*c_0101_9^18 - 32199798667533915136442952162822492809401209204\ 139568926384204267888055550006994627283166431244/139215146846988414\ 0897974553970534315951296538836272802616841871819668698300479364141\ 46115277*c_0101_9^17 - 25879433863200560669756120013408415313603128\ 640454501780260162275428307559989853494678498028395/139215146846988\ 4140897974553970534315951296538836272802616841871819668698300479364\ 14146115277*c_0101_9^16 + 18591135262010009356127109504622489514817\ 59857701266239810598476503884796636755569361545008657/1392151468469\ 8841408979745539705343159512965388362728026168418718196686983004793\ 6414146115277*c_0101_9^15 - 832461639738116157602259081840049003942\ 7682438560007637223570097418210585104854487265450692159/13921514684\ 6988414089797455397053431595129653883627280261684187181966869830047\ 936414146115277*c_0101_9^14 - 1286789113748899629210736219486588637\ 2053302738463015084512035236402030337667805825618818905949/13921514\ 6846988414089797455397053431595129653883627280261684187181966869830\ 047936414146115277*c_0101_9^13 - 3167354665309154692028201726048570\ 1669984487994086467640412354055841942326160646388178739620485/13921\ 5146846988414089797455397053431595129653883627280261684187181966869\ 830047936414146115277*c_0101_9^12 - 4504317740027374455692484288793517807610673907687656112522867098718\ 7430646319018115734359760339/13921514684698841408979745539705343159\ 5129653883627280261684187181966869830047936414146115277*c_0101_9^11 - 10618656965705921621927497093296793016606884748897622960629281359\ 262700316505792911262422756557/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 10 + 10092779441634777218026141042659138767182937776723259237362661\ 559789713925958519212376331648717/139215146846988414089797455397053\ 431595129653883627280261684187181966869830047936414146115277*c_0101\ _9^9 - 193220482507311047288339288593979923222242013187747591165137\ 53324898968915182869883381392705661/1392151468469884140897974553970\ 53431595129653883627280261684187181966869830047936414146115277*c_01\ 01_9^8 - 8971727478390327917018436528540808903529268413748514240422\ 643947681731650073059226247792009306/139215146846988414089797455397\ 053431595129653883627280261684187181966869830047936414146115277*c_0\ 101_9^7 - 381642770817290599070073276523925267966964973538624309840\ 4965149483760407874539147888866948326/13921514684698841408979745539\ 7053431595129653883627280261684187181966869830047936414146115277*c_\ 0101_9^6 + 73437603780859548436898643508499494287836884787165847509\ 33245888661796734423723095249792281182/1392151468469884140897974553\ 97053431595129653883627280261684187181966869830047936414146115277*c\ _0101_9^5 - 6010863576418638381700410275211509089832570214212087429\ 071122940865092207858237971901484781829/139215146846988414089797455\ 397053431595129653883627280261684187181966869830047936414146115277*\ c_0101_9^4 + 178738386085029359389624934236120711937269103316247830\ 36665742837539873874069267936357511145320/1392151468469884140897974\ 5539705343159512965388362728026168418718196686983004793641414611527\ 7*c_0101_9^3 - 5085548070127683631726103076615162217150932389461153\ 841895057809163092003020750430559577876307/139215146846988414089797\ 4553970534315951296538836272802616841871819668698300479364141461152\ 77*c_0101_9^2 + 499560223731236361235396784853582079097282062081515\ 3115208204623355984118933459132311528833387/13921514684698841408979\ 7455397053431595129653883627280261684187181966869830047936414146115\ 277*c_0101_9 - 7866672136084810480732282463953809531868616743278067\ 71844210954439455935192441936077706272744/1392151468469884140897974\ 5539705343159512965388362728026168418718196686983004793641414611527\ 7, c_0011_4 - 540439831609987860622934265599696160268563330053318274943185\ 663439759359465073220923602050/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 29 - 14979874549755278716523726701607448415313128511858688657169648\ 738899254598760218635858043676/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 28 - 64661385310265574405082387334553614567274969892835730873521899\ 263488169443955403609772342437/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 27 + 48487931445513727420401314977031486764172327061474065273037840\ 115106614777488051219650114094/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 26 + 45134078106696016756837162895506745744576430261534745660445218\ 6300532791087672940864554983262/13921514684698841408979745539705343\ 1595129653883627280261684187181966869830047936414146115277*c_0101_9\ ^25 + 1006225337662524665153330925977641577069302456195489838992526\ 28236742612457621926000628180421/1392151468469884140897974553970534\ 31595129653883627280261684187181966869830047936414146115277*c_0101_\ 9^24 - 135370434526716558484947402160081296272031078850545563186388\ 7244133530390457986758272259114515/13921514684698841408979745539705\ 3431595129653883627280261684187181966869830047936414146115277*c_010\ 1_9^23 - 1279445933486362425812809437956825181853541435175152984411\ 863571727599898262526934559839903467/139215146846988414089797455397\ 053431595129653883627280261684187181966869830047936414146115277*c_0\ 101_9^22 + 41552002931158571339073169239472524494751254214916213194\ 0573780200268028735454945472766452874/13921514684698841408979745539\ 7053431595129653883627280261684187181966869830047936414146115277*c_\ 0101_9^21 + 1978467478699890133847088709561419664553632240446640483\ 992287262435061948303713757762407259165/139215146846988414089797455\ 397053431595129653883627280261684187181966869830047936414146115277*\ c_0101_9^20 + 40682559216916116898060033804918385118695342027343514\ 67016130568848221042148601000989538478817/1392151468469884140897974\ 5539705343159512965388362728026168418718196686983004793641414611527\ 7*c_0101_9^19 - 222089987540172885019495874051666673944524234666020\ 9340123549788915191160101851461155985860903/13921514684698841408979\ 7455397053431595129653883627280261684187181966869830047936414146115\ 277*c_0101_9^18 - 1518067785971412103309841278438086163232250094238\ 6744869367574524809465683580241861462694905425/13921514684698841408\ 9797455397053431595129653883627280261684187181966869830047936414146\ 115277*c_0101_9^17 - 9929841420178828864458097112728516325255980560\ 428271574951932446240728560845380422804843716087/139215146846988414\ 0897974553970534315951296538836272802616841871819668698300479364141\ 46115277*c_0101_9^16 + 31964825067471591455627183837466219294200836\ 69418655862074801831117754556290072675238010151273/1392151468469884\ 1408979745539705343159512965388362728026168418718196686983004793641\ 4146115277*c_0101_9^15 - 418684044705439525262719671398228459488032\ 6110667256988092024247948135021296172125922397448586/13921514684698\ 8414089797455397053431595129653883627280261684187181966869830047936\ 414146115277*c_0101_9^14 - 6350309599055193194189162579696207310409\ 620413967192573661362229822871464521012085771036361196/139215146846\ 9884140897974553970534315951296538836272802616841871819668698300479\ 36414146115277*c_0101_9^13 - 14205908790615761775753936931526191755\ 131078920949454989071795049849564390931144799119534947924/139215146\ 8469884140897974553970534315951296538836272802616841871819668698300\ 47936414146115277*c_0101_9^12 - 19100373836600032183322813733266747\ 194830254337177706554690860438773310334393103721935588935402/139215\ 1468469884140897974553970534315951296538836272802616841871819668698\ 30047936414146115277*c_0101_9^11 - 1863954878534137520542718233769829588091588397969116018292940452457\ 368691617798301077676997367/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^10 + 5580538187695100780535213666953020081943133532586613848378755451784\ 815717811615617199631025081/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^9 - 1051774560385539147368471744841363310562453186890039478008675591209\ 2180131299371943029405907078/13921514684698841408979745539705343159\ 5129653883627280261684187181966869830047936414146115277*c_0101_9^8 - 3630267715203858992708994601764263227972789429812640747454423873970\ 802991004572415593854095917/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^7 - 7856319835878911491583885710250720298428850405892711343798891403548\ 97750170077746169181753488/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^6 + 3745449665387804280070440344629946177850289022351075492069032170478\ 976213490908984416256131319/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^5 - 3672332702878398153666395583960317807764167788823009929977468762202\ 521360878259185561306333411/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^4 + 8586494523180485733064161168717306084531222587061017440853053945458\ 418289679440445568175728641/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^3 - 3203807172337436783455822125632894066443588856987690614276206747079\ 121995060921044508198491606/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^2 + 2422554141919974477130912725050714919898049120691324711286784359225\ 637948128146537270206310608/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9 - 4394902266750128214925775259081381744529936022667767415288686540113\ 56746526380194407670736995/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277, c_0011_6 + 509236841234377793382667306907244157944487622540985161486642\ 7824018914156259200355809055/13921514684698841408979745539705343159\ 5129653883627280261684187181966869830047936414146115277*c_0101_9^29 + 14988041020082101164979294564672377332085848599957261349963673620\ 2468892626814667369061480/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^28 + 8551800312717201075093342847122059233462238103263900700735427801263\ 39645558796995561997713/1392151468469884140897974553970534315951296\ 53883627280261684187181966869830047936414146115277*c_0101_9^27 + 6973059582854771709944735038418194313577138653199154616030028976953\ 29207577793567574165231/1392151468469884140897974553970534315951296\ 53883627280261684187181966869830047936414146115277*c_0101_9^26 - 4530294708140696876389039513469164283289006836820068059825726059515\ 355123233943197944934426/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^25 - 8371287679877170425709237231423511787683604185863238140325098777344\ 661484848605652794702022/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^24 + 8031655749452225867992713952282393994630741744628968890220664117809\ 758078494585200805276129/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^23 + 3195928194381333150930203036772169956259069563314764173477628122724\ 9053301053455062369430413/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^22 + 2440907136284079655770966898996082788705755673686540140964006769796\ 9222011429037186166068061/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^21 - 1365582835739564709596520648704504588085157317640246241526446693253\ 6226052016507760935278437/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^20 - 6491739728094711219976526379012884168042215637859529988157050093272\ 1957965405191064649557749/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^19 - 5351727179625922994581128790539358447477646123393958102301140010327\ 9473951422878120002898781/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^18 + 1449316971403175417364558964746353947357739631001037938390004748091\ 99211707403932124222576039/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^17 + 3364251448186635394633313459015438799281216992974944407391322598647\ 13284788540950287121049736/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^16 + 2258555054504799808542686896253877757358190968549029337597330473023\ 86903850853320923205326749/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^15 + 1006525929045944935563655063869445179342867756897819597804275004340\ 21965427192117758381089690/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^14 + 1909285953929369423863436786436945169184872799697487812781662126295\ 08586168259836078775942684/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^13 + 3175225418755615932271563658945763264467588880111113577560707014395\ 47740315209560152766985020/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^12 + 4680079974239962413611940815323120484720236647790854567609765267034\ 24750780846828925985634090/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^11 + 4552841552959696851063873940648747145107154855612953630904778326246\ 60439373461542029122548230/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^10 + 1700082107695989227519419258149832561210023892163638820653143480261\ 48782176133553032606701429/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^9 + 1259500180900528719738651364738677510153245411810926313378939460380\ 43134749109042810120865263/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^8 + 2609052055238362816840057031721971332267003084988214859121539344176\ 13832237071083430066746315/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^7 + 1620974149854535367534060944334451081503179777928282219367368971605\ 47255613030152402263588204/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^6 + 6399415352003053000129004677321205179999694312040334441462624402916\ 321032754759434430593100/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^5 + 1192477395829508771559580453714419508720807967981846958485414220107\ 6421496303541398200830958/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^4 - 3672428426453051327823074890936235928209308973167056799133448715041\ 2840015558876941184846001/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^3 - 8087630873732659821673872912359604282465650489416157757138221440728\ 9898894211376335094834896/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^2 + 6436523902326599759901099130289979674786442470560514745419309130581\ 2763690269052133839505445/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9 - 2514770493847349114968130765763067075640289505106964336669321830879\ 4185099191650909894052817/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277, c_0011_7 - 593474722135834616529669595889892434393976101554301574418323\ 86428886558445887439736270622/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 9 - 165071732867817890272835097426337983565352460897720506569698544\ 1234813047680214902278385941/13921514684698841408979745539705343159\ 5129653883627280261684187181966869830047936414146115277*c_0101_9^28 - 72627807107777923149118718247914059564800984111341870184495155527\ 88397753621609805910482158/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^27 + 4536600630062323831468146372488263997694595183002551269260179296482\ 518013031969039480267857/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^26 + 4938811270108653035029123896755656100903266716642337110546335063712\ 8962560009004663591296262/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^25 + 1480565521814879492288421965752342395656667179130668800830335092284\ 2159900489459084151296847/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^24 - 1442377762739077194955833812629414105080371214831256141073900786747\ 57454016169560786752407447/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^23 - 1452282427972054395125109332633571633467258998766211623292451970746\ 71609531704968319167759003/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^22 + 2833255605564333721498996149414794888540512325402732047911091831120\ 1915429416826802850849693/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^21 + 1881429814868052274517783860328670425689917268063471272861844637124\ 45182190067149778279603068/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^20 + 4372775626698249380311496140618204676322408493557337836588280234410\ 76377614570389134083941097/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^19 - 1879253313300936270967922862767602794163888657214283118259654274532\ 23392217570894812749799100/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^18 - 1623442862848253263470987754932694467167924653568868238111777436646\ 374448509847119249627773456/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^17 - 1172233676815547364189037371500788991098835855372912485178004701591\ 086643827541123660798219377/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^16 + 1361170505991510416410123551057752269470208208298438123406131889804\ 67544771962650511019909533/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^15 - 7958640304646179868990781339891287388196357452725646370891069935307\ 50909382254767167369713686/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^14 - 1011607500417561090969396658062221973059435640826856053017858721033\ 653172249625373628098322215/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^13 - 1645278941867830604450979602625248434510409340263825677033798405109\ 821055132835379407518561288/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^12 - 2321432857263195813916144879730100645294232507665641204349716083280\ 582457229255599062435221208/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^11 - 5983002857036563749068461474968038335478390287503397837409020747482\ 55714745956667517384522802/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^10 + 2035888174438356214522346337810673923962518999434321694010259486844\ 95478617509208536549343629/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^9 - 1562308887720879114052908911171603244001329102471191031970802201189\ 146123850759701982700525799/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^8 - 6355506468071871703345694350505839295808024752300112173426502928456\ 94904888678332048023558041/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^7 - 4975501650232461479003128623001963393816922692870814699773656610223\ 4889510423904743017503825/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^6 + 2849939267308882698251808254101509302784466993579901410796881807596\ 97291346732612616136103060/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^5 - 4460709322699482596921551117848256672427290064360596405249535846550\ 80428366427624934032586671/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^4 + 8795947057532763666801162328231320636029500376654252701495089523776\ 54602826719142348642329239/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^3 - 3118815486267230694487734490926727549144559710000171482398630188126\ 80242741123459854877684062/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^2 + 2542618336732383177482482261833103408582875269229276880433200216249\ 31407699293886267133968704/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9 + 6330497916659700212637915082738507170309410867644534754289698798802\ 6777202107947278667271764/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277, c_0101_0 + 290827258208505031092408832438486822386259166929237951194497\ 931267250953842124881205740830/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 29 + 76340331568830547094551010264285139660613095520091007635672368\ 80590083236698296546304273201/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 8 + 228269111579733786021256020631565721608082554703213837316424457\ 31182025718616149991376024260/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 7 - 809012297331809335446742669805615653398957480196270718793853514\ 89414894424706879386012909640/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 6 - 222295822305830894873916156686352154571229127170604749914082253\ 238286042521320960328458520961/139215146846988414089797455397053431\ 595129653883627280261684187181966869830047936414146115277*c_0101_9^\ 25 + 30537986153557037166373000493971326056456486869288006801257728\ 6770109547906756439201522260647/13921514684698841408979745539705343\ 1595129653883627280261684187181966869830047936414146115277*c_0101_9\ ^24 + 9241049358626055544992929442587526731914067320087738703838445\ 60514825547319161392090402232051/1392151468469884140897974553970534\ 31595129653883627280261684187181966869830047936414146115277*c_0101_\ 9^23 - 292503729509582029915832416547800639361430208701600599445571\ 420224450518603271646160890969823/139215146846988414089797455397053\ 431595129653883627280261684187181966869830047936414146115277*c_0101\ _9^22 - 15470214401286491186716786254276980583991381808110496964399\ 68696005061636091058529944364074913/1392151468469884140897974553970\ 53431595129653883627280261684187181966869830047936414146115277*c_01\ 01_9^21 - 124787582929227975474856689369886517268931794131489460588\ 5138092212635182835380048070057519495/13921514684698841408979745539\ 7053431595129653883627280261684187181966869830047936414146115277*c_\ 0101_9^20 - 7169093848410304183956377583950821189237817400259377621\ 64648538342468168321160374482629230512/1392151468469884140897974553\ 97053431595129653883627280261684187181966869830047936414146115277*c\ _0101_9^19 + 499153282322696461842911352581369141747149133850140104\ 8293676717761097917765144609983192990930/13921514684698841408979745\ 5397053431595129653883627280261684187181966869830047936414146115277\ *c_0101_9^18 + 7729727594610237666390112128665498984782641526043024\ 566431970372469277229986816993269177968012/139215146846988414089797\ 4553970534315951296538836272802616841871819668698300479364141461152\ 77*c_0101_9^17 - 66551790872644427457893944115577697828798943511176\ 85025173767401433454167372907054620475568096/1392151468469884140897\ 9745539705343159512965388362728026168418718196686983004793641414611\ 5277*c_0101_9^16 - 136048877658321133139303212849708907310748109928\ 63222473219219660870127122090596007149272312282/1392151468469884140\ 8979745539705343159512965388362728026168418718196686983004793641414\ 6115277*c_0101_9^15 + 165075193074109196095066090835014847733539781\ 996857768980402463259206920166817053898481140430/139215146846988414\ 0897974553970534315951296538836272802616841871819668698300479364141\ 46115277*c_0101_9^14 - 50004718688041401833191023020479422945586204\ 8387582105209601929602533577101773770804136497398/13921514684698841\ 4089797455397053431595129653883627280261684187181966869830047936414\ 146115277*c_0101_9^13 + 2556782947810664448763302469915793724369534\ 347995620183658041343758713390090544898033398250992/139215146846988\ 4140897974553970534315951296538836272802616841871819668698300479364\ 14146115277*c_0101_9^12 - 26510966049768548835264915430951186757920\ 73382036287140377443737068672250197817466329528800004/1392151468469\ 8841408979745539705343159512965388362728026168418718196686983004793\ 6414146115277*c_0101_9^11 - 187495200848452870410896117655431994496\ 62232091512180514420786002722107702761152263266380440582/1392151468\ 4698841408979745539705343159512965388362728026168418718196686983004\ 7936414146115277*c_0101_9^10 - 109614192350057303482208313562371401\ 98270244640887880743682272388899466976713768448496447379637/1392151\ 4684698841408979745539705343159512965388362728026168418718196686983\ 0047936414146115277*c_0101_9^9 + 7611695531815503919057228023962486\ 996940180258336847705337248260019354939247962720488994841494/139215\ 1468469884140897974553970534315951296538836272802616841871819668698\ 30047936414146115277*c_0101_9^8 - 472052835850399510870252568572167\ 3590555007341396490741079805016654815573173516125139363833126/13921\ 5146846988414089797455397053431595129653883627280261684187181966869\ 830047936414146115277*c_0101_9^7 - 3645119581680120133530745587874548343112582406408074439355283809095\ 445235458645933218702864111/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^6 - 4832689459617768541701633340508968865862370114971461200105727890785\ 808955962446818125383978119/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^5 + 3977487972217040789871980462930230896499177944047385166033177123667\ 454409828156329893895349853/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^4 - 6155583372146172868292503822931269412334899193004847849490172748599\ 031995725425605173200778661/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^3 + 8637824308280015568505710564616768494452706632308953828477061603410\ 205920833113694171487212381/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^2 - 2184165268304265307012086767060068746138965953819357209389246679567\ 812474483827564401511135977/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9 + 2278103137279491202970675070094393275226134882228307296686555106267\ 256415917021960060430002246/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277, c_0101_5 - 326497249042158388605656745209901964141400115617245753154949\ 55582291392569657305882009664/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 9 - 959759827497018272511422046450253429750227539472108027724005796\ 106926589483084131496720967/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^28 - 5445074353060697848007447582460722775514033240205758474169647571520\ 299254361428007494618796/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^27 - 4194344058526567815800026984618026604629410544466720088116046279200\ 930345870173659324203138/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^26 + 2959153605986913660465729810445512514561486645935194842735806122726\ 6389819513427499496170535/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^25 + 5285436523440946802498221693890405393354834137388542804619943061394\ 2430768645343227989621310/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^24 - 5481805082010963364624532474598966119934708970546384694626286040433\ 4702002243535061627273464/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^23 - 2058330442315474072252330815539117044517505828890997433272074808014\ 61810567635642391919382005/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^22 - 1494355231375377624264715464587176338045154802335941843971702770971\ 14715542304303224658069958/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^21 + 1020675066147971500817366581007999214303156388908848695489649976808\ 62567792298338285591814055/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^20 + 4336309085650536824831632989449295867467370268866525075965112837648\ 70898240224705827371663098/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^19 + 3393010395056752479847231307998939614733935407994448715689749014887\ 55634260892130406808924340/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^18 - 9640307369897420162910473329422821856282889831131653117166933015845\ 98408329736042519206396409/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^17 - 2154382039007215563990042110229809239384583587268682922645267305908\ 349872565157421475828735543/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^16 - 1356945951380329989992722145951317473093637597351975401662840522020\ 959246587642485001100271765/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^15 - 4721879266144865777205311332913302762339581799064319081407667023658\ 23590281486398856182022720/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^14 - 9696434253480705984315793264716519756785383225404752066432104634248\ 16996516176409668127836721/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^13 - 1770278461911042894283528228852595021013067585264352937264245563209\ 267335242128251367702360813/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^12 - 2815979113919395960485106056830073145759824550059235021574700752270\ 121312384242178949123657458/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^11 - 2624395718105733650176398292192404753471329845272886145142058976801\ 719941128939144354435489726/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^10 - 7550243392907595638720850409440852496110931503240818053056762150843\ 51313164377924154529574673/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^9 - 4654720869061796562524728209506686474069449871619663552781175410583\ 97547075747151463776462906/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^8 - 1318822057056256544228063825540251640730107393920446320624720818367\ 764389593450780639834171485/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^7 - 7839893799783962641737883351769825675099118494763313197997438878855\ 04610880110148693872561882/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^6 + 5144245680957818439604508295987890505274223232025091001862396285900\ 2813379784010733509907829/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^5 + 6329371333796894903448230638000759286874582243028401412125954112636\ 5935129082030104063738301/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^4 + 2389730710141867757068080355616232768954828338412613579121387150579\ 15611306895455477818428333/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^3 + 5675600965187573646635851041203535948454247888050220931884969368664\ 34336178360910982278280424/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^2 + 2358998703984771245986207067544572847729617177726207605410250363419\ 27280792141166956413149995/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9 + 1684369145163611233141966438911260721719820052342603429387674398783\ 50764028465893228971983735/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277, c_0101_7 - 326497249042158388605656745209901964141400115617245753154949\ 55582291392569657305882009664/1392151468469884140897974553970534315\ 95129653883627280261684187181966869830047936414146115277*c_0101_9^2\ 9 - 959759827497018272511422046450253429750227539472108027724005796\ 106926589483084131496720967/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^28 - 5445074353060697848007447582460722775514033240205758474169647571520\ 299254361428007494618796/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^27 - 4194344058526567815800026984618026604629410544466720088116046279200\ 930345870173659324203138/139215146846988414089797455397053431595129\ 653883627280261684187181966869830047936414146115277*c_0101_9^26 + 2959153605986913660465729810445512514561486645935194842735806122726\ 6389819513427499496170535/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^25 + 5285436523440946802498221693890405393354834137388542804619943061394\ 2430768645343227989621310/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^24 - 5481805082010963364624532474598966119934708970546384694626286040433\ 4702002243535061627273464/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^23 - 2058330442315474072252330815539117044517505828890997433272074808014\ 61810567635642391919382005/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^22 - 1494355231375377624264715464587176338045154802335941843971702770971\ 14715542304303224658069958/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^21 + 1020675066147971500817366581007999214303156388908848695489649976808\ 62567792298338285591814055/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^20 + 4336309085650536824831632989449295867467370268866525075965112837648\ 70898240224705827371663098/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^19 + 3393010395056752479847231307998939614733935407994448715689749014887\ 55634260892130406808924340/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^18 - 9640307369897420162910473329422821856282889831131653117166933015845\ 98408329736042519206396409/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^17 - 2154382039007215563990042110229809239384583587268682922645267305908\ 349872565157421475828735543/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^16 - 1356945951380329989992722145951317473093637597351975401662840522020\ 959246587642485001100271765/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^15 - 4721879266144865777205311332913302762339581799064319081407667023658\ 23590281486398856182022720/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^14 - 9696434253480705984315793264716519756785383225404752066432104634248\ 16996516176409668127836721/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^13 - 1770278461911042894283528228852595021013067585264352937264245563209\ 267335242128251367702360813/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^12 - 2815979113919395960485106056830073145759824550059235021574700752270\ 121312384242178949123657458/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^11 - 2624395718105733650176398292192404753471329845272886145142058976801\ 719941128939144354435489726/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^10 - 7550243392907595638720850409440852496110931503240818053056762150843\ 51313164377924154529574673/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^9 - 4654720869061796562524728209506686474069449871619663552781175410583\ 97547075747151463776462906/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^8 - 1318822057056256544228063825540251640730107393920446320624720818367\ 764389593450780639834171485/139215146846988414089797455397053431595\ 129653883627280261684187181966869830047936414146115277*c_0101_9^7 - 7839893799783962641737883351769825675099118494763313197997438878855\ 04610880110148693872561882/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^6 + 5144245680957818439604508295987890505274223232025091001862396285900\ 2813379784010733509907829/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^5 + 6329371333796894903448230638000759286874582243028401412125954112636\ 5935129082030104063738301/13921514684698841408979745539705343159512\ 9653883627280261684187181966869830047936414146115277*c_0101_9^4 + 2389730710141867757068080355616232768954828338412613579121387150579\ 15611306895455477818428333/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^3 + 5675600965187573646635851041203535948454247888050220931884969368664\ 34336178360910982278280424/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9^2 + 2358998703984771245986207067544572847729617177726207605410250363419\ 27280792141166956413149995/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277*c_0101_9 + 1684369145163611233141966438911260721719820052342603429387674398783\ 50764028465893228971983735/1392151468469884140897974553970534315951\ 29653883627280261684187181966869830047936414146115277, c_0101_9^30 + 28*c_0101_9^29 + 128*c_0101_9^28 - 41*c_0101_9^27 - 793*c_0101_9^26 - 455*c_0101_9^25 + 1996*c_0101_9^24 + 2871*c_0101_9^23 + 1203*c_0101_9^22 - 2304*c_0101_9^21 - 8633*c_0101_9^20 - 42*c_0101_9^19 + 24720*c_0101_9^18 + 27496*c_0101_9^17 + 14689*c_0101_9^16 + 19480*c_0101_9^15 + 13542*c_0101_9^14 + 33116*c_0101_9^13 + 49424*c_0101_9^12 + 28701*c_0101_9^11 + 12659*c_0101_9^10 + 22965*c_0101_9^9 + 7372*c_0101_9^8 + 11929*c_0101_9^7 - 1279*c_0101_9^6 + 6546*c_0101_9^5 - 17653*c_0101_9^4 + 4103*c_0101_9^3 - 10740*c_0101_9^2 + 965*c_0101_9 - 1801, c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB