Magma V2.19-8 Mon Sep 9 2013 19:20:06 on localhost [Seed = 192351947] Type ? for help. Type -D to quit. Loading file "10^2_142__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_142 geometric_solution 14.60284269 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 16 1 2 2 3 0132 0132 1302 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488356103933 0.675014163171 0 4 5 4 0132 0132 0132 1230 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983769845155 0.652743090355 0 0 7 6 2031 0132 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 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.296454525749 0.972452592952 5 8 0 4 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.430923443693 1.631724004158 1 1 9 3 3012 0132 0132 0213 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.038068843123 1.531049736947 3 7 10 1 0132 1023 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 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 0 0 0 0.462153315490 0.468224764149 11 11 2 12 0132 1302 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016230154845 0.652743090355 5 13 12 2 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -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.055811762691 0.890883046271 10 3 9 14 1230 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446758733718 0.466819258929 15 15 8 4 0132 1230 0321 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.286831520034 0.940886480626 13 8 13 5 3120 3012 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411759622353 0.808686130774 6 15 14 6 0132 0132 2031 2031 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705779700797 0.468293295710 15 14 6 7 3120 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.430923443693 1.631724004158 10 7 14 10 2103 0132 0213 3120 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.981988139284 12 13 8 11 1230 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537846684510 0.468224764149 9 11 9 12 0132 0132 3012 3120 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.703545474251 0.972452592952 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_11']), 'c_1001_14' : d['c_1001_13'], 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_13'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0011_14']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : d['c_0101_15'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0101_6'], 'c_0101_13' : d['c_0011_14'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_1001_13'], 'c_1001_2' : d['c_1001_13'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_7'], 'c_1010_15' : negation(d['c_0011_12']), 'c_1010_14' : negation(d['c_0011_14']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_3_15' : d['1'], 's_0_15' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_14'], 'c_0101_15' : d['c_0101_15'], 'c_0101_14' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_0011_15' : negation(d['c_0011_11']), 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_1100_12'], 'c_1100_6' : d['c_1100_12'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1100_12'], 'c_1100_15' : negation(d['c_0101_11']), 'c_1100_14' : d['c_0101_11'], 'c_1100_11' : d['c_0011_14'], 'c_1100_10' : negation(d['c_0101_5']), 'c_1100_13' : negation(d['c_0011_14']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_13'], 'c_1010_6' : negation(d['c_0011_14']), 'c_1010_5' : d['c_0101_2'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_15'], 'c_1010_0' : d['c_1001_13'], 's_0_14' : d['1'], 'c_1010_9' : d['c_0101_15'], 'c_1010_8' : d['c_1001_13'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_13']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_5'], 'c_0110_13' : d['c_0101_5'], 'c_0110_12' : d['c_0101_7'], 'c_0110_15' : d['c_0101_7'], 'c_0110_14' : d['c_0011_12'], 'c_1010_4' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_3_14' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_15'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_15'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1001_8'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1'], 'c_1001_1' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0101_1, c_0101_11, c_0101_15, c_0101_2, c_0101_5, c_0101_6, c_0101_7, c_1001_13, c_1001_8, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3672938665177382249909107499376255244392772734704187589955639/11011\ 424379423627515138371749765804271131828139745330331648*c_1100_12^21 + 858035222282409486035341097226999936287658168302073805370467/2294\ 04674571325573232049411453454255648579752911361048576*c_1100_12^20 + 141736953842427278951172552734206962218031645156801712446574973/550\ 5712189711813757569185874882902135565914069872665165824*c_1100_12^1\ 9 + 117316705477940984979855118897174250827063627417965238191154369\ /917618698285302292928197645813817022594319011645444194304*c_1100_1\ 2^18 + 550027854600701547262764833187108258708374847702720231405641\ 8993/11011424379423627515138371749765804271131828139745330331648*c_\ 1100_12^17 + 144657237768584654604849151032383248198197141070195776\ 2719760855/91761869828530229292819764581381702259431901164544419430\ 4*c_1100_12^16 + 22884095968020816068609041978363769838628991733599\ 033917126612391/550571218971181375756918587488290213556591406987266\ 5165824*c_1100_12^15 + 26706061568049962292280763122963331913411304\ 298327353188335967197/275285609485590687878459293744145106778295703\ 4936332582912*c_1100_12^14 + 22790902886729778042389032465560428364\ 6835437097045635141996469501/11011424379423627515138371749765804271\ 131828139745330331648*c_1100_12^13 + 444437576538664584366818651697156641123397305348729413146899118997/\ 11011424379423627515138371749765804271131828139745330331648*c_1100_\ 12^12 + 19266858207499897768418639294069240733904121389187596451444\ 9743273/2752856094855906878784592937441451067782957034936332582912*\ c_1100_12^11 + 8439879573690493550060250814773883105907867639122160\ 2424824185623/78653031281597339393845512498327173365227343855323788\ 0832*c_1100_12^10 + 26873043252829905658816396380395805424708789177\ 3899616778821419467/18352373965706045858563952916276340451886380232\ 90888388608*c_1100_12^9 + 49823724192119462479693407827550275585892\ 7561531745938024362204541/27528560948559068787845929374414510677829\ 57034936332582912*c_1100_12^8 + 11130641272145123448646500487816252\ 56516905976930492980020950969901/5505712189711813757569185874882902\ 135565914069872665165824*c_1100_12^7 + 243484943420474853771671288932149578407753224275467999220296636559/\ 1223491597713736390570930194418422696792425348860592259072*c_1100_1\ 2^6 + 8662605748644125829786604485375412561287364960493138429835565\ 7561/524353541877315595958970083322181155768182292368825253888*c_11\ 00_12^5 + 134768558867452389508879345687543858722551047020820686255\ 190957477/122349159771373639057093019441842269679242534886059225907\ 2*c_1100_12^4 + 684693059990035988782488687158260910142227502312885\ 63210363297713/1223491597713736390570930194418422696792425348860592\ 259072*c_1100_12^3 + 3717843507177454719794524216949655449863707742\ 5499876529647779215/18352373965706045858563952916276340451886380232\ 90888388608*c_1100_12^2 + 51965644176459846699643838863271020086274\ 701306209189896414990967/110114243794236275151383717497658042711318\ 28139745330331648*c_1100_12 + 5073093968640654438597612705230132800\ 60901332009961476698431135/9176186982853022929281976458138170225943\ 19011645444194304, c_0011_0 - 1, c_0011_10 + 1984810976350758083028081140866949465176325621/100860494735\ 902401804737443592721268383609231072*c_1100_12^21 + 949531484437425931697689214776536652746382637/420252061399593340853\ 0726816363386182650384628*c_1100_12^20 + 79318119898628700129992782261247240066118814535/5043024736795120090\ 2368721796360634191804615536*c_1100_12^19 + 66355957329427660784164169478710437724687836111/8405041227991866817\ 061453632726772365300769256*c_1100_12^18 + 3139109288955451782876011354905910952050425889155/10086049473590240\ 1804737443592721268383609231072*c_1100_12^17 + 277734117734687094197681765920061885314933689853/280168040933062227\ 2353817877575590788433589752*c_1100_12^16 + 13284553214950084376742735815387383799091470302181/5043024736795120\ 0902368721796360634191804615536*c_1100_12^15 + 15572150565725668416971003478251584345400571841883/2521512368397560\ 0451184360898180317095902307768*c_1100_12^14 + 133373049300167198430544763015316990094612524268711/100860494735902\ 401804737443592721268383609231072*c_1100_12^13 + 261233546621855886314441605798012558994150085436519/100860494735902\ 401804737443592721268383609231072*c_1100_12^12 + 113970101531599305549592427499281475906274498699057/252151236839756\ 00451184360898180317095902307768*c_1100_12^11 + 351326387604248396436105725642881701328633849199219/504302473679512\ 00902368721796360634191804615536*c_1100_12^10 + 160524121526714611214865912037193858732182509474377/168100824559837\ 33634122907265453544730601538512*c_1100_12^9 + 42646944734393306802136167601749149441890225688773/3602160526282228\ 635883480128311473870843186824*c_1100_12^8 + 669768226421490363886377006654580834783382846325847/504302473679512\ 00902368721796360634191804615536*c_1100_12^7 + 21044438552104112992694894202317808706728516519083/1600960233903212\ 727059324501471766164819194144*c_1100_12^6 + 369160002602132784740991860909752443115230913291925/336201649119674\ 67268245814530907089461203077024*c_1100_12^5 + 247236702633123611959969018046094045538008501379397/336201649119674\ 67268245814530907089461203077024*c_1100_12^4 + 41886324394023082267626756328335390545783273804827/1120672163732248\ 9089415271510302363153734359008*c_1100_12^3 + 22582104426294758433029069672784232979800970884849/1681008245598373\ 3634122907265453544730601538512*c_1100_12^2 + 31007479467517173903576849190272385217414475921413/1008604947359024\ 01804737443592721268383609231072*c_1100_12 + 98208535051145491591223188764564104647070364001/2801680409330622272\ 353817877575590788433589752, c_0011_11 - 222055952498578888417481420467548565967576731/3362016491196\ 7467268245814530907089461203077024*c_1100_12^21 - 96162073402393011347498100644943657320646143/1400840204665311136176\ 908938787795394216794876*c_1100_12^20 - 7579565485441062244521103882716534603345121657/16810082455983733634\ 122907265453544730601538512*c_1100_12^19 - 854458237822523292724350361179469835586100599/400240058475803181764\ 831125367941541204798536*c_1100_12^18 - 267679943191685597450738197733388410509489558925/336201649119674672\ 68245814530907089461203077024*c_1100_12^17 - 9539934439210391856191358238158468733778358151/40024005847580318176\ 4831125367941541204798536*c_1100_12^16 - 1001128531185218167887834905018553284246477305195/16810082455983733\ 634122907265453544730601538512*c_1100_12^15 - 1122663988361467079851057884851615201551062484045/84050412279918668\ 17061453632726772365300769256*c_1100_12^14 - 9272067929096888069520344674200857622069720674825/33620164911967467\ 268245814530907089461203077024*c_1100_12^13 - 17396545756697351058264674275824196270477377808745/3362016491196746\ 7268245814530907089461203077024*c_1100_12^12 - 7107337529061942757120611441996533766237390087887/84050412279918668\ 17061453632726772365300769256*c_1100_12^11 - 20364891409139959430797325963775510867384130035085/1681008245598373\ 3634122907265453544730601538512*c_1100_12^10 - 8631422376107120456210116167889432662395071714295/56033608186612445\ 44707635755151181576867179504*c_1100_12^9 - 14999639846187245288737057018697067673256023206653/8405041227991866\ 817061453632726772365300769256*c_1100_12^8 - 30919596169975622898881664445081577982923802903353/1681008245598373\ 3634122907265453544730601538512*c_1100_12^7 - 17922643375134396306303389374171521389509511362473/1120672163732248\ 9089415271510302363153734359008*c_1100_12^6 - 12019804254067569846581428728084123524453300205403/1120672163732248\ 9089415271510302363153734359008*c_1100_12^5 - 780120719698153778442378003811206354744483336829/160096023390321272\ 7059324501471766164819194144*c_1100_12^4 - 1117810146576740314649518422800270044444255912863/11206721637322489\ 089415271510302363153734359008*c_1100_12^3 + 164166936372706814884721189922682967024699024129/560336081866124454\ 4707635755151181576867179504*c_1100_12^2 + 795620997242006938942725510062558401934936309141/336201649119674672\ 68245814530907089461203077024*c_1100_12 + 2000806806238103004757054242010771779272674069/40024005847580318176\ 4831125367941541204798536, c_0011_12 + 98299963364502723517465014012683741306128519/84050412279918\ 66817061453632726772365300769256*c_1100_12^21 + 46642056063547611621091749628316480650299590/3502100511663277840442\ 27234696948848554198719*c_1100_12^20 + 3885491729213232585605240170067118634405722505/42025206139959334085\ 30726816363386182650384628*c_1100_12^19 + 463177213744816084377482864703633047072748907/100060014618950795441\ 207781341985385301199634*c_1100_12^18 + 153119998022483378353906330487158768468427345537/840504122799186681\ 7061453632726772365300769256*c_1100_12^17 + 5796957059916394249710750437754925440378080715/10006001461895079544\ 1207781341985385301199634*c_1100_12^16 + 646442190313904172830624265875023852324423873231/420252061399593340\ 8530726816363386182650384628*c_1100_12^15 + 757788950329797686788175348876920352710472997823/210126030699796670\ 4265363408181693091325192314*c_1100_12^14 + 6488925523092153654231677101638074053118966310461/84050412279918668\ 17061453632726772365300769256*c_1100_12^13 + 12705286226246914197754249963422963143085559233917/8405041227991866\ 817061453632726772365300769256*c_1100_12^12 + 5540918389933679892249742197613501757889339395399/21012603069979667\ 04265363408181693091325192314*c_1100_12^11 + 17088786522186856065036299146575869169654412396069/4202520613995933\ 408530726816363386182650384628*c_1100_12^10 + 7811691074801089197626211994535994662211114002855/14008402046653111\ 36176908938787795394216794876*c_1100_12^9 + 14538645125558768925145030045649982673231770548663/2101260306997966\ 704265363408181693091325192314*c_1100_12^8 + 32636114376551974143891771950488882164885695963261/4202520613995933\ 408530726816363386182650384628*c_1100_12^7 + 21560873395016118809248673266375394062838832555501/2801680409330622\ 272353817877575590788433589752*c_1100_12^6 + 18051944884790627767131572246409646108097587450223/2801680409330622\ 272353817877575590788433589752*c_1100_12^5 + 1734613295865212260302507819361966933874830789449/40024005847580318\ 1764831125367941541204798536*c_1100_12^4 + 6221231813202116507801305783331502024087845091243/28016804093306222\ 72353817877575590788433589752*c_1100_12^3 + 1135032019251581785358428174547202509673062786627/14008402046653111\ 36176908938787795394216794876*c_1100_12^2 + 1606702726745312041927697761961128330075014272047/84050412279918668\ 17061453632726772365300769256*c_1100_12 + 2331168306890041898644096850640826240397801665/10006001461895079544\ 1207781341985385301199634, c_0011_13 + 3493321064716687273420058582873040727164043723/100860494735\ 902401804737443592721268383609231072*c_1100_12^21 + 1655558579849322758597297049103865916870224695/42025206139959334085\ 30726816363386182650384628*c_1100_12^20 + 137780001136316400977646687441246737544974978233/504302473679512009\ 02368721796360634191804615536*c_1100_12^19 + 16411986329482947900566177088785668451529289727/1200720175427409545\ 294493376103824623614395608*c_1100_12^18 + 5421856093346553223651767559661926489848877972541/10086049473590240\ 1804737443592721268383609231072*c_1100_12^17 + 68380372878027894673504723710257975893476946469/4002400584758031817\ 64831125367941541204798536*c_1100_12^16 + 22865381835472540120191521451014442636576835794283/5043024736795120\ 0902368721796360634191804615536*c_1100_12^15 + 26801908889145395269243363644073714248522758951005/2521512368397560\ 0451184360898180317095902307768*c_1100_12^14 + 229526988142008150682280140702415043970079178942329/100860494735902\ 401804737443592721268383609231072*c_1100_12^13 + 449365256358381644584173765929876231197826659260857/100860494735902\ 401804737443592721268383609231072*c_1100_12^12 + 195938234352169730790243345503208850554709230249671/252151236839756\ 00451184360898180317095902307768*c_1100_12^11 + 604362932788015381289127884091131945387769485689357/504302473679512\ 00902368721796360634191804615536*c_1100_12^10 + 276439390314371737277382487495430661584552608962343/168100824559837\ 33634122907265453544730601538512*c_1100_12^9 + 514776534699115561820748613717655879242889817383189/252151236839756\ 00451184360898180317095902307768*c_1100_12^8 + 1156063541180996839216964384966646673353163883098121/50430247367951\ 200902368721796360634191804615536*c_1100_12^7 + 254694333683428496279524881941383404277304707385715/112067216373224\ 89089415271510302363153734359008*c_1100_12^6 + 640718493139120742435196814554126429976562518962091/336201649119674\ 67268245814530907089461203077024*c_1100_12^5 + 61751327310836357485520468854395095561284765406125/4802880701709638\ 181177973504415298494457582432*c_1100_12^4 + 74114620817997684985258231570952282466109596985797/1120672163732248\ 9089415271510302363153734359008*c_1100_12^3 + 40624577830577202669469359538442689215536092324703/1681008245598373\ 3634122907265453544730601538512*c_1100_12^2 + 56906603977634100495883363223247590889511153580731/1008604947359024\ 01804737443592721268383609231072*c_1100_12 + 26209593230534848193398113393414127917853171561/4002400584758031817\ 64831125367941541204798536, c_0011_14 + 18870985325390603429378603669187134784716311/12607561841987\ 800225592180449090158547951153884*c_1100_12^21 + 23366283295651796045341081815402023591639437/1050630153498983352132\ 681704090846545662596157*c_1100_12^20 + 1093641812737706388031188369772810841846088511/63037809209939001127\ 96090224545079273975576942*c_1100_12^19 + 1007514246150254723130203714226116991675544052/10506301534989833521\ 32681704090846545662596157*c_1100_12^18 + 51537311928458791931354081782743843043794523997/1260756184198780022\ 5592180449090158547951153884*c_1100_12^17 + 14749379047003468346846291136354781074194686954/1050630153498983352\ 132681704090846545662596157*c_1100_12^16 + 250723101403139650346634760439266705811320144669/630378092099390011\ 2796090224545079273975576942*c_1100_12^15 + 305694221756217631650850939080789597541517907895/315189046049695005\ 6398045112272539636987788471*c_1100_12^14 + 2695958920361926983681671684206725907651979068445/12607561841987800\ 225592180449090158547951153884*c_1100_12^13 + 5458364653274131139994708482722372915040652478229/12607561841987800\ 225592180449090158547951153884*c_1100_12^12 + 2494699983697487060479115834247736308287125645484/31518904604969500\ 56398045112272539636987788471*c_1100_12^11 + 1147486103778714865717567838543416184681854518481/90054013157055715\ 8970870032077868467710796706*c_1100_12^10 + 3809259433044000632094413846013316068049830198895/21012603069979667\ 04265363408181693091325192314*c_1100_12^9 + 7286785784678546906877375383461632130005972954434/31518904604969500\ 56398045112272539636987788471*c_1100_12^8 + 16902617320785370123901574491494445161634460117965/6303780920993900\ 112796090224545079273975576942*c_1100_12^7 + 11654276977097150844987574401162700671359291217061/4202520613995933\ 408530726816363386182650384628*c_1100_12^6 + 490090177279124743559830185793052344672503746355/200120029237901590\ 882415562683970770602399268*c_1100_12^5 + 7310147601643437957158453693357145078749301235295/42025206139959334\ 08530726816363386182650384628*c_1100_12^4 + 3926632554616666679322491746986301641745771260995/42025206139959334\ 08530726816363386182650384628*c_1100_12^3 + 740341996495553720490936858835055355526260158545/210126030699796670\ 4265363408181693091325192314*c_1100_12^2 + 1058823915663683908772319996704010849997317987259/12607561841987800\ 225592180449090158547951153884*c_1100_12 + 3597572250845293993740400303908447726684302341/35021005116632778404\ 4227234696948848554198719, c_0101_1 - 1, c_0101_11 - 182861391895256617873364973516623513438825945/2521512368397\ 5600451184360898180317095902307768*c_1100_12^21 - 89376657408712522571992217859368316656779234/1050630153498983352132\ 681704090846545662596157*c_1100_12^20 - 7577062502474449198875432234663367413378230423/12607561841987800225\ 592180449090158547951153884*c_1100_12^19 - 917988946421172958426425194442580059779279017/300180043856852386323\ 623344025956155903598902*c_1100_12^18 - 307991511136291251413067199118121759695385812359/252151236839756004\ 51184360898180317095902307768*c_1100_12^17 - 11840493191306524237598413959169251146778287609/3001800438568523863\ 23623344025956155903598902*c_1100_12^16 - 1339483357393927025624264181672274316922546512633/12607561841987800\ 225592180449090158547951153884*c_1100_12^15 - 1585405544763564190927185885946208094505166580887/63037809209939001\ 12796090224545079273975576942*c_1100_12^14 - 13672260508289654705000045636861060257190525712115/2521512368397560\ 0451184360898180317095902307768*c_1100_12^13 - 26991233453098021249278432750396947240180245417651/2521512368397560\ 0451184360898180317095902307768*c_1100_12^12 - 11912612736377995458564886087289685914992550952985/6303780920993900\ 112796090224545079273975576942*c_1100_12^11 - 37191318948611341214686704613242441017666468996291/1260756184198780\ 0225592180449090158547951153884*c_1100_12^10 - 17181742519435274944687057821456729362931715666853/4202520613995933\ 408530726816363386182650384628*c_1100_12^9 - 32250888615248319344493160743720975841950876409681/6303780920993900\ 112796090224545079273975576942*c_1100_12^8 - 73103706462356235253310595079968538757878330126663/1260756184198780\ 0225592180449090158547951153884*c_1100_12^7 - 48963528728065566676798452150753025270529979111923/8405041227991866\ 817061453632726772365300769256*c_1100_12^6 - 13911120390838866186667200419534998456499239316315/2801680409330622\ 272353817877575590788433589752*c_1100_12^5 - 4091127255876598375470757737523188057959063634031/12007201754274095\ 45294493376103824623614395608*c_1100_12^4 - 14951672961734575434246010037064254857091721164581/8405041227991866\ 817061453632726772365300769256*c_1100_12^3 - 2767119122423103050853386315131617140270259626501/42025206139959334\ 08530726816363386182650384628*c_1100_12^2 - 3928487076314421813055287133959199828194436525313/25215123683975600\ 451184360898180317095902307768*c_1100_12 - 1828026199366817705117754734232710328992518931/10006001461895079544\ 1207781341985385301199634, c_0101_15 - 99203361731270608493475141357689014203856157/84050412279918\ 66817061453632726772365300769256*c_1100_12^21 - 44871130442976655128692486846933443453106657/3502100511663277840442\ 27234696948848554198719*c_1100_12^20 - 3634853771875737591532630651576522731070460279/42025206139959334085\ 30726816363386182650384628*c_1100_12^19 - 2951761649636878268232824273819899372830166317/70042010233265556808\ 8454469393897697108397438*c_1100_12^18 - 135918346014218121972238606480256697912523362451/840504122799186681\ 7061453632726772365300769256*c_1100_12^17 - 35049011416740704608457096695960620752378668391/7004201023326555680\ 88454469393897697108397438*c_1100_12^16 - 543876796644944580277512258357371010787139591381/420252061399593340\ 8530726816363386182650384628*c_1100_12^15 - 626144049460620645797207101718075320396598017829/210126030699796670\ 4265363408181693091325192314*c_1100_12^14 - 5286025529579502182510809429188266397733620411463/84050412279918668\ 17061453632726772365300769256*c_1100_12^13 - 1454050677759634809044469079186511190141879658633/12007201754274095\ 45294493376103824623614395608*c_1100_12^12 - 4330309349052221248000354164965302179767468975227/21012603069979667\ 04265363408181693091325192314*c_1100_12^11 - 13012258718068157877643679242766035730662087937291/4202520613995933\ 408530726816363386182650384628*c_1100_12^10 - 829107128056260334416175743888351843206915638247/200120029237901590\ 882415562683970770602399268*c_1100_12^9 - 10576085306760982168201149725256913803974343130849/2101260306997966\ 704265363408181693091325192314*c_1100_12^8 - 3307034146056463888769798295816782892829201362445/60036008771370477\ 2647246688051912311807197804*c_1100_12^7 - 14749921220164457058213751769146038002041727208839/2801680409330622\ 272353817877575590788433589752*c_1100_12^6 - 11727369757685682496965946145519142034507569028477/2801680409330622\ 272353817877575590788433589752*c_1100_12^5 - 7355995952965639952430507906682348069918150428757/28016804093306222\ 72353817877575590788433589752*c_1100_12^4 - 3437322635151386429198017339370925698481755820889/28016804093306222\ 72353817877575590788433589752*c_1100_12^3 - 78471283776812197726645634535618491920808860631/2001200292379015908\ 82415562683970770602399268*c_1100_12^2 - 641809540085487055922190582975114986231570883197/840504122799186681\ 7061453632726772365300769256*c_1100_12 - 4665348987636314959047890298205767103904277143/70042010233265556808\ 8454469393897697108397438, c_0101_2 + 753044690101540647006031231153795615603939045/25215123683975\ 600451184360898180317095902307768*c_1100_12^21 + 119842771998493710258540821400190546656464683/350210051166327784044\ 227234696948848554198719*c_1100_12^20 + 30015465642837111760202461546765268239764018367/1260756184198780022\ 5592180449090158547951153884*c_1100_12^19 + 8366567362218346742931657488921067245388130639/70042010233265556808\ 8454469393897697108397438*c_1100_12^18 + 1187241974828562155420538881972149611460070053547/25215123683975600\ 451184360898180317095902307768*c_1100_12^17 + 105046024342071457723445628215607416011809996403/700420102332655568\ 088454469393897697108397438*c_1100_12^16 + 5026459868812728180893261294574656560208279376277/12607561841987800\ 225592180449090158547951153884*c_1100_12^15 + 842310474420784396768015474025422492496253775705/900540131570557158\ 970870032077868467710796706*c_1100_12^14 + 50530689112135756844316860896689273101599387912847/2521512368397560\ 0451184360898180317095902307768*c_1100_12^13 + 99026238667791631489244961734739207578660873909711/2521512368397560\ 0451184360898180317095902307768*c_1100_12^12 + 6176496293232584878976104274601467087208221432795/90054013157055715\ 8970870032077868467710796706*c_1100_12^11 + 133464446627015893779086712510786636195515964424639/126075618419878\ 00225592180449090158547951153884*c_1100_12^10 + 61092222592018234663258051197866721695061737757109/4202520613995933\ 408530726816363386182650384628*c_1100_12^9 + 113843224817160925206173463881258220720256484264843/630378092099390\ 0112796090224545079273975576942*c_1100_12^8 + 255941118330123879769357519786218457089889488906419/126075618419878\ 00225592180449090158547951153884*c_1100_12^7 + 169358416076483865065769358949795066295747347667151/840504122799186\ 6817061453632726772365300769256*c_1100_12^6 + 142178670606228910381996685213694663948389146281149/840504122799186\ 6817061453632726772365300769256*c_1100_12^5 + 32035371564045753606700312681456839308660651569167/2801680409330622\ 272353817877575590788433589752*c_1100_12^4 + 16543189711772095019861532425807537900883461465587/2801680409330622\ 272353817877575590788433589752*c_1100_12^3 + 9163254600036521280023766845374758344847203317729/42025206139959334\ 08530726816363386182650384628*c_1100_12^2 + 13075172012251602270032753432632769238219958375645/2521512368397560\ 0451184360898180317095902307768*c_1100_12 + 43585672578552621627330142619409840685792789249/7004201023326555680\ 88454469393897697108397438, c_0101_5 - 262663693823838118121614163806715664553876879/63037809209939\ 00112796090224545079273975576942*c_1100_12^21 - 164713902441470365387233308247123990109571340/350210051166327784044\ 227234696948848554198719*c_1100_12^20 - 10230006739616081133700088375373709108243849801/3151890460496950056\ 398045112272539636987788471*c_1100_12^19 - 5659164505927612505582240881370483309109148478/35021005116632778404\ 4227234696948848554198719*c_1100_12^18 - 398749253217804130334313675353229926299410035225/630378092099390011\ 2796090224545079273975576942*c_1100_12^17 - 70047517879406081165951362455784018382094332397/3502100511663277840\ 44227234696948848554198719*c_1100_12^16 - 1664522564686890480431449517411692398142424537605/31518904604969500\ 56398045112272539636987788471*c_1100_12^15 - 3887302734663676357383864811666091704331785241711/31518904604969500\ 56398045112272539636987788471*c_1100_12^14 - 16597191425218565847962322296063518073700062286809/6303780920993900\ 112796090224545079273975576942*c_1100_12^13 - 32390325725185990619794703099413985642910086685251/6303780920993900\ 112796090224545079273975576942*c_1100_12^12 - 28113201049892378948416896208553088074879978477623/3151890460496950\ 056398045112272539636987788471*c_1100_12^11 - 6160757956472155979000633937110169406696508151304/45027006578527857\ 9485435016038934233855398353*c_1100_12^10 - 19625868070299925421499435454880527600601741540074/1050630153498983\ 352132681704090846545662596157*c_1100_12^9 - 72785740368721935855388456528514481066089756828695/3151890460496950\ 056398045112272539636987788471*c_1100_12^8 - 81347208849327405358380820999592724459825679379441/3151890460496950\ 056398045112272539636987788471*c_1100_12^7 - 53402044934244309060102653564308295075468132323417/2101260306997966\ 704265363408181693091325192314*c_1100_12^6 - 6334313567117355638317661558937574644711137620235/30018004385685238\ 6323623344025956155903598902*c_1100_12^5 - 9847841879252848389782705147034796844644700499481/70042010233265556\ 8088454469393897697108397438*c_1100_12^4 - 4995128086730870362264887441294615899841304321619/70042010233265556\ 8088454469393897697108397438*c_1100_12^3 - 2702787889837394358070831292655686668796047347745/10506301534989833\ 52132681704090846545662596157*c_1100_12^2 - 3750150158127015859449831295389528549228667756309/63037809209939001\ 12796090224545079273975576942*c_1100_12 - 24125510783094468293189016458807803894848533196/3502100511663277840\ 44227234696948848554198719, c_0101_6 - 16169417587735327272417370837/863690060297772886432213997577\ 12*c_1100_12^21 + 654352510377168217103146087/514101226367721956209\ 651189034*c_1100_12^20 + 965101491332730202663490376113/43184503014\ 888644321610699878856*c_1100_12^19 + 1273240411016536061015396753969/7197417169148107386935116646476*c_1\ 100_12^18 + 80510564813563083523365629432797/8636900602977728864322\ 1399757712*c_1100_12^17 + 27113258433716639632914344797361/71974171\ 69148107386935116646476*c_1100_12^16 + 520453971461213093835505178542979/43184503014888644321610699878856*\ c_1100_12^15 + 684221298033593738368758761157149/215922515074443221\ 60805349939428*c_1100_12^14 + 908735191212110739999813167458543/123\ 38429432825326949031628536816*c_1100_12^13 + 13552943096520487757704677432097033/8636900602977728864322139975771\ 2*c_1100_12^12 + 6602571729560595158044199788826695/215922515074443\ 22160805349939428*c_1100_12^11 + 2268037329592088981676659349424980\ 5/43184503014888644321610699878856*c_1100_12^10 + 11407926212919274960394902233828719/1439483433829621477387023329295\ 2*c_1100_12^9 + 22910068454701265579027051385569113/215922515074443\ 22160805349939428*c_1100_12^8 + 55664338945572977319649563536063257\ /43184503014888644321610699878856*c_1100_12^7 + 40666640154119956878238116741409113/2878966867659242954774046658590\ 4*c_1100_12^6 + 38790009075793903654818243891740299/287896686765924\ 29547740466585904*c_1100_12^5 + 30510245674951425446781027426211787\ /28789668676592429547740466585904*c_1100_12^4 + 18567148610607590685144549607073023/2878966867659242954774046658590\ 4*c_1100_12^3 + 4092717882346155817259946639851607/1439483433829621\ 4773870233292952*c_1100_12^2 + 999640692348462597776719583706749/12\ 338429432825326949031628536816*c_1100_12 + 85194709424872080791292984103773/7197417169148107386935116646476, c_0101_7 - 919032801516104885661399011825283518583449317/50430247367951\ 200902368721796360634191804615536*c_1100_12^21 - 432525196102542705957566702205585272883187817/210126030699796670426\ 5363408181693091325192314*c_1100_12^20 - 5128564694298474134199575845040727122263893481/36021605262822286358\ 83480128311473870843186824*c_1100_12^19 - 29851944873648764536585452852056567070715937459/4202520613995933408\ 530726816363386182650384628*c_1100_12^18 - 1405793762154409890685849545673794807900801720851/50430247367951200\ 902368721796360634191804615536*c_1100_12^17 - 371472904077141649450106511220082518600926573451/420252061399593340\ 8530726816363386182650384628*c_1100_12^16 - 5903717902823245390227332743318915435834467161437/25215123683975600\ 451184360898180317095902307768*c_1100_12^15 - 6911813397030767348055379128626763217992892656223/12607561841987800\ 225592180449090158547951153884*c_1100_12^14 - 59123556492527188490268675065733239829611009587271/5043024736795120\ 0902368721796360634191804615536*c_1100_12^13 - 115618435515059780787772259834606410505587274812103/504302473679512\ 00902368721796360634191804615536*c_1100_12^12 - 50328121413645482651160481874676670398126556147085/1260756184198780\ 0225592180449090158547951153884*c_1100_12^11 - 155000723764486355213736422737231590593991406556203/252151236839756\ 00451184360898180317095902307768*c_1100_12^10 - 70773392472641878990147732773172549960733275940929/8405041227991866\ 817061453632726772365300769256*c_1100_12^9 - 131647885578674605393410636428359120581568197924539/126075618419878\ 00225592180449090158547951153884*c_1100_12^8 - 295182113337536914236361661857682512152159232655663/252151236839756\ 00451184360898180317095902307768*c_1100_12^7 - 194761174866787340803319321900911703725553977732423/168100824559837\ 33634122907265453544730601538512*c_1100_12^6 - 54279079546714863241535238025168779979489652517079/5603360818661244\ 544707635755151181576867179504*c_1100_12^5 - 109516063768319304000192169187530459285720769234021/168100824559837\ 33634122907265453544730601538512*c_1100_12^4 - 56164480620962579707651210132708459877801383265873/1681008245598373\ 3634122907265453544730601538512*c_1100_12^3 - 10252700548917080090593039145370262969679738075881/8405041227991866\ 817061453632726772365300769256*c_1100_12^2 - 14412667990596766514360110481930718348850936881733/5043024736795120\ 0902368721796360634191804615536*c_1100_12 - 45812513013605351879668617512279365380980657537/1400840204665311136\ 176908938787795394216794876, c_1001_13 - 1515530587949110694606053375572895023158270501/504302473679\ 51200902368721796360634191804615536*c_1100_12^21 - 238794043201476417766280187280176435809178657/700420102332655568088\ 454469393897697108397438*c_1100_12^20 - 8495345057117358750585078082094370031577346185/36021605262822286358\ 83480128311473870843186824*c_1100_12^19 - 16485322722431026991822456385843457507744355209/1400840204665311136\ 176908938787795394216794876*c_1100_12^18 - 2327474404382496078324261513939721287030524636803/50430247367951200\ 902368721796360634191804615536*c_1100_12^17 - 204814969198429765413099945980063126163283550545/140084020466531113\ 6176908938787795394216794876*c_1100_12^16 - 9749030371162531112021033917379989869871582740317/25215123683975600\ 451184360898180317095902307768*c_1100_12^15 - 11392834700045102114976452611229230292313332546123/1260756184198780\ 0225592180449090158547951153884*c_1100_12^14 - 97347150191093447332314946814597343357763108273591/5043024736795120\ 0902368721796360634191804615536*c_1100_12^13 - 190139010406420582359131628958045756486021246359223/504302473679512\ 00902368721796360634191804615536*c_1100_12^12 - 82615753506031728435580481433191402236900801802545/1260756184198780\ 0225592180449090158547951153884*c_1100_12^11 - 253685984851028663369439982244605511177572881326363/252151236839756\ 00451184360898180317095902307768*c_1100_12^10 - 115523438333100763831559949552684765713518381746761/840504122799186\ 6817061453632726772365300769256*c_1100_12^9 - 214309423864348895328373377759984153396916995237247/126075618419878\ 00225592180449090158547951153884*c_1100_12^8 - 479380225676922289720528631282486397335294768609167/252151236839756\ 00451184360898180317095902307768*c_1100_12^7 - 314971870657304968861676515695193605978715486521863/168100824559837\ 33634122907265453544730601538512*c_1100_12^6 - 261708131235178162806317568141376286165128456994101/168100824559837\ 33634122907265453544730601538512*c_1100_12^5 - 58132504758514463490414755878037812007414674978247/5603360818661244\ 544707635755151181576867179504*c_1100_12^4 - 29472637486891474841005122992086083842325037277451/5603360818661244\ 544707635755151181576867179504*c_1100_12^3 - 15936800383199603170048279672486396575143416521737/8405041227991866\ 817061453632726772365300769256*c_1100_12^2 - 22064562469511622166403572014579573206120001573461/5043024736795120\ 0902368721796360634191804615536*c_1100_12 - 70589817175274338981210617690370369023280219025/1400840204665311136\ 176908938787795394216794876, c_1001_8 - 8989127949814932528616658175891164415695299/3001800438568523\ 86323623344025956155903598902*c_1100_12^21 - 118774830365425479394127399191107994202158716/350210051166327784044\ 227234696948848554198719*c_1100_12^20 - 2462622696623172229780904117141991969045793681/10506301534989833521\ 32681704090846545662596157*c_1100_12^19 - 4092360177099727756785661379741024703598547695/35021005116632778404\ 4227234696948848554198719*c_1100_12^18 - 13745406478633234497903635237778586498902238691/3001800438568523863\ 23623344025956155903598902*c_1100_12^17 - 50758144649475225171214417056762833135468035961/3502100511663277840\ 44227234696948848554198719*c_1100_12^16 - 57478466808551146599797437627606080808295379565/1500900219284261931\ 61811672012978077951799451*c_1100_12^15 - 939877897693597674420383057799959676689803284227/105063015349898335\ 2132681704090846545662596157*c_1100_12^14 - 4013904589976526472336617863558391791900230898747/21012603069979667\ 04265363408181693091325192314*c_1100_12^13 - 7836643338688135264905880658789782823468722529111/21012603069979667\ 04265363408181693091325192314*c_1100_12^12 - 6805502307609297411788742026644217619670263542539/10506301534989833\ 52132681704090846545662596157*c_1100_12^11 - 10441863647179431704659900156119421939740102052120/1050630153498983\ 352132681704090846545662596157*c_1100_12^10 - 4752537449260378386020682879538580740028635236608/35021005116632778\ 4044227234696948848554198719*c_1100_12^9 - 17628494253072362378040304658934299513283009882772/1050630153498983\ 352132681704090846545662596157*c_1100_12^8 - 19709050567196152780124779939547164242094985376524/1050630153498983\ 352132681704090846545662596157*c_1100_12^7 - 12942710494277750341475948860597151143406567085725/7004201023326555\ 68088454469393897697108397438*c_1100_12^6 - 10747189068642615283452982433962576021244368351131/7004201023326555\ 68088454469393897697108397438*c_1100_12^5 - 7161318296382120601531621189201628036096461846021/70042010233265556\ 8088454469393897697108397438*c_1100_12^4 - 519501662402464722108463366897161438495058366661/100060014618950795\ 441207781341985385301199634*c_1100_12^3 - 658495370640617579299534090837709751053221936484/350210051166327784\ 044227234696948848554198719*c_1100_12^2 - 923589492712302372806808604844302714050068470627/210126030699796670\ 4265363408181693091325192314*c_1100_12 - 17928395665894037203350100274170932484313227534/3502100511663277840\ 44227234696948848554198719, c_1100_12^22 + 12*c_1100_12^21 + 86*c_1100_12^20 + 444*c_1100_12^19 + 1799*c_1100_12^18 + 5904*c_1100_12^17 + 16178*c_1100_12^16 + 38884*c_1100_12^15 + 84923*c_1100_12^14 + 169799*c_1100_12^13 + 304976*c_1100_12^12 + 486686*c_1100_12^11 + 691926*c_1100_12^10 + 887732*c_1100_12^9 + 1032646*c_1100_12^8 + 1073049*c_1100_12^7 + 964215*c_1100_12^6 + 719439*c_1100_12^5 + 427203*c_1100_12^4 + 192474*c_1100_12^3 + 61801*c_1100_12^2 + 12744*c_1100_12 + 1296 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 54.160 Total time: 54.380 seconds, Total memory usage: 250.97MB