Magma V2.19-8 Tue Sep 10 2013 20:37:51 on localhost [Seed = 1495576651] Type ? for help. Type -D to quit. Loading file "11_63__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_63 geometric_solution 14.57991308 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 16 1 2 3 4 0132 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 0 1 -1 -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.812170002894 0.621773332968 0 5 6 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420957840745 1.111507807412 7 0 8 8 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.725523626507 0.649915752484 9 8 9 0 0132 1302 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.266023412253 0.983365742155 10 8 0 1 0132 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.561790898803 0.216911625654 11 1 12 12 0132 0132 0132 3120 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 1 0 9 -10 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.340968193807 0.925122992121 11 11 10 1 2031 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 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.612762432356 1.089413047126 2 11 12 13 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.106707490533 0.676889396209 4 2 2 3 1230 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130506166744 1.096751162678 3 13 3 14 0132 2031 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.266023412253 0.983365742155 4 14 6 13 0132 0132 3120 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.158414356411 1.195754521148 5 7 6 6 0132 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 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.612762432356 1.089413047126 5 7 15 5 3120 1230 0132 0132 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 10 0 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510807886549 0.717052069357 9 10 7 15 1302 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.492108164793 0.853569987668 15 10 9 15 2103 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304622019961 0.467051323217 14 13 14 12 3120 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991008114238 0.665611601691 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_10']), 'c_1001_14' : d['c_0011_13'], 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : negation(d['c_0011_15']), 'c_1001_13' : d['c_0101_1'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_0011_15'], 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : negation(d['c_0011_8']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0011_15'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0011_13'], 'c_1010_15' : d['c_1001_12'], 'c_1010_14' : negation(d['c_0011_15']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0101_10'], 'c_0101_15' : d['c_0101_14'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_2_14' : d['1'], 's_2_15' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : negation(d['c_0011_10']), 'c_1100_9' : negation(d['c_0101_14']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_1001_0']), 'c_1100_14' : negation(d['c_0101_14']), 'c_1100_15' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_15'], 'c_1100_10' : negation(d['c_0011_15']), 'c_1100_13' : negation(d['c_1001_12']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0011_12']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_7'], 'c_1010_0' : negation(d['c_0011_8']), 's_3_15' : d['1'], 'c_1010_9' : d['c_0011_13'], 's_0_15' : d['1'], 'c_1100_8' : negation(d['c_1001_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_6']), 'c_0110_15' : d['c_0101_12'], 'c_0110_14' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0101_7']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 'c_1010_8' : d['c_0011_3'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_15'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_14'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], '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_14'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_13, c_0011_15, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_7, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 925221701107034770095476288134985701682611937487769/448320911409383\ 8725506406963758673892684319744*c_1001_12^20 - 16927648047914747010897355782037159075237831842178743/1793283645637\ 5354902025627855034695570737278976*c_1001_12^19 + 112721336928976931495011510620005591874781230845115717/717313458255\ 01419608102511420138782282949115904*c_1001_12^18 - 225042804872315836759558227350767885364054820853410847/717313458255\ 01419608102511420138782282949115904*c_1001_12^17 + 935824327311679654897948530210349776267069523253676869/717313458255\ 01419608102511420138782282949115904*c_1001_12^16 - 2487829760290156691264783816091881040962094481059863129/71731345825\ 501419608102511420138782282949115904*c_1001_12^15 + 13783811913590938166163609579537639171595751180669351/2904103069858\ 35706915394783077484948513964032*c_1001_12^14 - 26011537816469926760590574264152662025996333217086679/6897244790913\ 59803924062609809026752720664576*c_1001_12^13 + 1612399744075285448676915674908396940729077697403763977/71731345825\ 501419608102511420138782282949115904*c_1001_12^12 - 98147547907541678821413521126880544037079397273625579/3118754166326\ 148678613152670440816620997787648*c_1001_12^11 + 1546643535995818610721538106063018265508008594624009675/35865672912\ 750709804051255710069391141474557952*c_1001_12^10 - 3916428814379550499795158421951811319908809417174122231/71731345825\ 501419608102511420138782282949115904*c_1001_12^9 + 196556920850369491257824530049796783252214222881705181/551779583273\ 0878431392500878472214021765316608*c_1001_12^8 - 1964858968328360865992877192947332658306743378387258987/71731345825\ 501419608102511420138782282949115904*c_1001_12^7 + 178310279371041695841016832662777230986440404940624465/717313458255\ 01419608102511420138782282949115904*c_1001_12^6 - 845159844419025391254948949325232885459775509355772823/717313458255\ 01419608102511420138782282949115904*c_1001_12^5 - 211586767664646426678193801085539504347700838076775663/358656729127\ 50709804051255710069391141474557952*c_1001_12^4 - 338339889455781160113223635995037307035976510341994917/717313458255\ 01419608102511420138782282949115904*c_1001_12^3 - 20395903539412483826639362057080635177481336120894419/8966418228187\ 677451012813927517347785368639488*c_1001_12^2 - 3403230055191586562393457235207934174352307127826731/44832091140938\ 38725506406963758673892684319744*c_1001_12 - 4658838146414914445177940159545800555850573234836791/17932836456375\ 354902025627855034695570737278976, c_0011_0 - 1, c_0011_10 - 6735580052296243583637398489670611072/345588583807583328298\ 1151514051306237*c_1001_12^20 + 28424348328515699033240908695346033\ 188/3455885838075833282981151514051306237*c_1001_12^19 - 37952213418418007555583423265388556959/3455885838075833282981151514\ 051306237*c_1001_12^18 + 294967948520267049087628156160607035157/13\ 823543352303333131924606056205224948*c_1001_12^17 - 1498660910388191561607386227454228588057/13823543352303333131924606\ 056205224948*c_1001_12^16 + 952368201752464173139637743417720854374\ /3455885838075833282981151514051306237*c_1001_12^15 - 2017881098972081644338862076636891044621/69117716761516665659623030\ 28102612474*c_1001_12^14 + 322534813148844610032851550553378002901/\ 3455885838075833282981151514051306237*c_1001_12^13 + 224172844179553818899069590841005548255/691177167615166656596230302\ 8102612474*c_1001_12^12 + 2324094721213997930606048459228920990515/\ 13823543352303333131924606056205224948*c_1001_12^11 - 2047736991927433879944032264228690721587/69117716761516665659623030\ 28102612474*c_1001_12^10 + 1042296206180831576988520897700128090132\ /3455885838075833282981151514051306237*c_1001_12^9 - 519403828004896179155114205313580045383/138235433523033331319246060\ 56205224948*c_1001_12^8 + 101285677118099651850098477532544684363/6\ 911771676151666565962303028102612474*c_1001_12^7 + 359836431498152229656618690235529419420/345588583807583328298115151\ 4051306237*c_1001_12^6 + 1127870079155302882276592530370232690825/1\ 3823543352303333131924606056205224948*c_1001_12^5 + 457780257492062618512049326454153724723/691177167615166656596230302\ 8102612474*c_1001_12^4 + 474882842223423424851409840799981146013/13\ 823543352303333131924606056205224948*c_1001_12^3 + 53673881410267498363885082385035019167/3455885838075833282981151514\ 051306237*c_1001_12^2 + 11065612103082112467103720038663338974/3455\ 885838075833282981151514051306237*c_1001_12 + 1344206673392667835450286012793479104/34558858380758332829811515140\ 51306237, c_0011_12 - 4602782018199466108371125470162441936/345588583807583328298\ 1151514051306237*c_1001_12^20 + 23067784080738727635464275160143936\ 376/3455885838075833282981151514051306237*c_1001_12^19 - 43596040027707014122614158712643605038/3455885838075833282981151514\ 051306237*c_1001_12^18 + 327506840381428853618985319739919621899/13\ 823543352303333131924606056205224948*c_1001_12^17 - 1260385978658000966124618447152480760169/13823543352303333131924606\ 056205224948*c_1001_12^16 + 889538401971259480128352938418590324972\ /3455885838075833282981151514051306237*c_1001_12^15 - 1352514308140652026833745166276841288214/34558858380758332829811515\ 14051306237*c_1001_12^14 + 2348615984926232095286662670452537399961\ /6911771676151666565962303028102612474*c_1001_12^13 - 674678322576747068941911833615882308528/345588583807583328298115151\ 4051306237*c_1001_12^12 + 3110701487041875195304369848045284430899/\ 13823543352303333131924606056205224948*c_1001_12^11 - 2462453648008401834843772501634033407719/69117716761516665659623030\ 28102612474*c_1001_12^10 + 1587405666719365044838090384251163357833\ /3455885838075833282981151514051306237*c_1001_12^9 - 4701856632458759132820391834647726118711/13823543352303333131924606\ 056205224948*c_1001_12^8 + 749298437187944612441357364944482289070/\ 3455885838075833282981151514051306237*c_1001_12^7 - 199112992018536853430320136891413309380/345588583807583328298115151\ 4051306237*c_1001_12^6 + 1034846777427418634132884101752189986795/1\ 3823543352303333131924606056205224948*c_1001_12^5 - 15163123126213728724705147610605052280/3455885838075833282981151514\ 051306237*c_1001_12^4 + 217372106021855790596534172009059070689/138\ 23543352303333131924606056205224948*c_1001_12^3 - 6700692557464638993398217290637197201/69117716761516665659623030281\ 02612474*c_1001_12^2 + 1334195603465381713968241869999498537/345588\ 5838075833282981151514051306237*c_1001_12 - 925027001420544222246011673925155092/345588583807583328298115151405\ 1306237, c_0011_13 - 1, c_0011_15 + 6885086775456576579815342537883247328/345588583807583328298\ 1151514051306237*c_1001_12^20 - 28648838516581976459156828416985768\ 756/3455885838075833282981151514051306237*c_1001_12^19 + 38287319946647054831538779354539107171/3455885838075833282981151514\ 051306237*c_1001_12^18 - 315496578223827867015614596273555389919/13\ 823543352303333131924606056205224948*c_1001_12^17 + 1554386852327065297715791167549080957647/13823543352303333131924606\ 056205224948*c_1001_12^16 - 969670241978161002980969187308411146902\ /3455885838075833282981151514051306237*c_1001_12^15 + 1051407933998109088590758490823612486146/34558858380758332829811515\ 14051306237*c_1001_12^14 - 966404076449080479707679882787772937455/\ 6911771676151666565962303028102612474*c_1001_12^13 + 166605591767740585106472860788999728290/345588583807583328298115151\ 4051306237*c_1001_12^12 - 3290517469246277525238513637553023786855/\ 13823543352303333131924606056205224948*c_1001_12^11 + 1107917738900524353845065749061104953983/34558858380758332829811515\ 14051306237*c_1001_12^10 - 2312631294656822853740728783126985724729\ /6911771676151666565962303028102612474*c_1001_12^9 + 1349377387533694047047396798558836208933/13823543352303333131924606\ 056205224948*c_1001_12^8 - 375918574638821946419201584850407414572/\ 3455885838075833282981151514051306237*c_1001_12^7 - 167432191238148635828405794157071432414/345588583807583328298115151\ 4051306237*c_1001_12^6 - 1704275611300575626645438897757692246463/1\ 3823543352303333131924606056205224948*c_1001_12^5 - 514090828730195607945676445179090604699/691177167615166656596230302\ 8102612474*c_1001_12^4 - 698438423350569729728636400092396625947/13\ 823543352303333131924606056205224948*c_1001_12^3 - 161290892098290251004370151388226679307/691177167615166656596230302\ 8102612474*c_1001_12^2 - 23626299167205825322597890968459714498/345\ 5885838075833282981151514051306237*c_1001_12 - 4299066172059280943365080704160681192/34558858380758332829811515140\ 51306237, c_0011_3 - 3490497711090614120168657123041785748/3455885838075833282981\ 151514051306237*c_1001_12^20 + 211567219829612523415723287142485443\ 79/3455885838075833282981151514051306237*c_1001_12^19 - 207791615480818225154225060073188604353/138235433523033331319246060\ 56205224948*c_1001_12^18 + 396289118874725988920182851745545652987/\ 13823543352303333131924606056205224948*c_1001_12^17 - 307245420114839699807773491579573831380/345588583807583328298115151\ 4051306237*c_1001_12^16 + 1861800308011196898719096023451971587031/\ 6911771676151666565962303028102612474*c_1001_12^15 - 1762149281143373819035020717792844020185/34558858380758332829811515\ 14051306237*c_1001_12^14 + 2041912285808981033859835978772370263405\ /3455885838075833282981151514051306237*c_1001_12^13 - 6100323084836359682907053115747583712711/13823543352303333131924606\ 056205224948*c_1001_12^12 + 227022966067190572395008399466322653154\ 7/6911771676151666565962303028102612474*c_1001_12^11 - 2990979237392759373992957690633854308163/69117716761516665659623030\ 28102612474*c_1001_12^10 + 8660067976444379684783673691915489815495\ /13823543352303333131924606056205224948*c_1001_12^9 - 4385027390785770970631605262323946245159/69117716761516665659623030\ 28102612474*c_1001_12^8 + 1564912577774282549555667986047415833699/\ 3455885838075833282981151514051306237*c_1001_12^7 - 2900018493926496523140922651829604960371/13823543352303333131924606\ 056205224948*c_1001_12^6 + 575640519549231793961764765852966528659/\ 6911771676151666565962303028102612474*c_1001_12^5 - 456002989779851906173474890604689860293/138235433523033331319246060\ 56205224948*c_1001_12^4 + 44085630220978528099710071886699958689/69\ 11771676151666565962303028102612474*c_1001_12^3 - 17270207354261808663670218140750901831/6911771676151666565962303028\ 102612474*c_1001_12^2 + 4438889648566343496992588845187043858/34558\ 85838075833282981151514051306237*c_1001_12 + 2576651131508482361573443931974453158/34558858380758332829811515140\ 51306237, c_0011_6 + 2082039221331212638502652953712687124/3455885838075833282981\ 151514051306237*c_1001_12^20 - 109677689610541747765733766012537337\ 19/3455885838075833282981151514051306237*c_1001_12^19 + 89845798955845729895672806838015084341/1382354335230333313192460605\ 6205224948*c_1001_12^18 - 85391863610331660334121282124041790085/69\ 11771676151666565962303028102612474*c_1001_12^17 + 307560591945236521574145623072292794707/691177167615166656596230302\ 8102612474*c_1001_12^16 - 441575231437652121676055864630412492978/3\ 455885838075833282981151514051306237*c_1001_12^15 + 2889844141094829050264750402752597976053/13823543352303333131924606\ 056205224948*c_1001_12^14 - 143196331065075960394542214072978067079\ 7/6911771676151666565962303028102612474*c_1001_12^13 + 498869338394287874228287657951854308111/345588583807583328298115151\ 4051306237*c_1001_12^12 - 1947986595618930645855796632718598670223/\ 13823543352303333131924606056205224948*c_1001_12^11 + 1342119822216311719030680717361097014315/69117716761516665659623030\ 28102612474*c_1001_12^10 - 873291643274357109767287360930784045483/\ 3455885838075833282981151514051306237*c_1001_12^9 + 764866916138348894437873657188366222657/345588583807583328298115151\ 4051306237*c_1001_12^8 - 2174129865673143840288401910578265056999/1\ 3823543352303333131924606056205224948*c_1001_12^7 + 468079425329720599144252384343352438209/691177167615166656596230302\ 8102612474*c_1001_12^6 - 314888286143789809564324937251077647905/69\ 11771676151666565962303028102612474*c_1001_12^5 + 188996576569664127677568420567889344289/138235433523033331319246060\ 56205224948*c_1001_12^4 - 85724925864108825548268199469173184283/13\ 823543352303333131924606056205224948*c_1001_12^3 + 35848711690542905224133675917279412467/6911771676151666565962303028\ 102612474*c_1001_12^2 + 5139738579476615411108071534189228663/34558\ 85838075833282981151514051306237*c_1001_12 + 4643607424648285490921454248201872830/34558858380758332829811515140\ 51306237, c_0011_8 + 5063427446516801219389789694820745652/3455885838075833282981\ 151514051306237*c_1001_12^20 - 224860864723274430096066109414296029\ 83/3455885838075833282981151514051306237*c_1001_12^19 + 138857759629792965007899190005392637717/138235433523033331319246060\ 56205224948*c_1001_12^18 - 68603611095620474937609120759701748377/3\ 455885838075833282981151514051306237*c_1001_12^17 + 1221159690138482532393335061678168828889/13823543352303333131924606\ 056205224948*c_1001_12^16 - 319686649830011779313417732895874960647\ 9/13823543352303333131924606056205224948*c_1001_12^15 + 2015350273248401072995723708260065437117/69117716761516665659623030\ 28102612474*c_1001_12^14 - 2637683879082423523836868540999003648019\ /13823543352303333131924606056205224948*c_1001_12^13 + 1208121368782130986403931300124154704381/13823543352303333131924606\ 056205224948*c_1001_12^12 - 635378789816380644195447455727928025293\ /3455885838075833282981151514051306237*c_1001_12^11 + 1879501912928452897293809264194463478889/69117716761516665659623030\ 28102612474*c_1001_12^10 - 4504400647899126709362484367680565351439\ /13823543352303333131924606056205224948*c_1001_12^9 + 587891483778351414597648288246918293600/345588583807583328298115151\ 4051306237*c_1001_12^8 - 1713743913872330566527390503504536251863/1\ 3823543352303333131924606056205224948*c_1001_12^7 - 152139802756972474607444049517442790637/691177167615166656596230302\ 8102612474*c_1001_12^6 - 247159090368126501411882982715512056225/34\ 55885838075833282981151514051306237*c_1001_12^5 - 290932466070819832610492078812599289443/691177167615166656596230302\ 8102612474*c_1001_12^4 - 456777579727948352317161619910966484037/13\ 823543352303333131924606056205224948*c_1001_12^3 - 73084648286997480499085352593586925401/6911771676151666565962303028\ 102612474*c_1001_12^2 - 12735704217367189775688284110408964809/3455\ 885838075833282981151514051306237*c_1001_12 - 4946348078561927672464690135522716232/34558858380758332829811515140\ 51306237, c_0101_0 + 6268270267084230552728687934530021000/3455885838075833282981\ 151514051306237*c_1001_12^20 - 332895294720925127279031060319344302\ 62/3455885838075833282981151514051306237*c_1001_12^19 + 139473609078443161860755149959838397993/691177167615166656596230302\ 8102612474*c_1001_12^18 - 133860355295934929252780055999773088184/3\ 455885838075833282981151514051306237*c_1001_12^17 + 1881248222271673567048312706428079233809/13823543352303333131924606\ 056205224948*c_1001_12^16 - 135436843149768629686126666826410090673\ 9/3455885838075833282981151514051306237*c_1001_12^15 + 2265485067445414790443437939106590091782/34558858380758332829811515\ 14051306237*c_1001_12^14 - 4636992928790207498824232986327051519097\ /6911771676151666565962303028102612474*c_1001_12^13 + 1628690132124296202845789418969578999945/34558858380758332829811515\ 14051306237*c_1001_12^12 - 2992456387092214901611322139295756609251\ /6911771676151666565962303028102612474*c_1001_12^11 + 8198364224788118938630633692606518272061/13823543352303333131924606\ 056205224948*c_1001_12^10 - 110364084545568312009860623634786653000\ 55/13823543352303333131924606056205224948*c_1001_12^9 + 9747279992398232045759292932028013557293/13823543352303333131924606\ 056205224948*c_1001_12^8 - 3498976428385974335969242331070600515767\ /6911771676151666565962303028102612474*c_1001_12^7 + 1435984793040829743875507154320811148699/69117716761516665659623030\ 28102612474*c_1001_12^6 - 988135100261178780579895056462004291945/6\ 911771676151666565962303028102612474*c_1001_12^5 + 361805060063115659736406146903590899285/138235433523033331319246060\ 56205224948*c_1001_12^4 - 380532554795061845083607903842285268013/1\ 3823543352303333131924606056205224948*c_1001_12^3 + 1251829931291205370040011649140374468/34558858380758332829811515140\ 51306237*c_1001_12^2 - 9489600910161723239913562825947982321/345588\ 5838075833282981151514051306237*c_1001_12 - 1197875387076663779193555629904244236/34558858380758332829811515140\ 51306237, c_0101_1 + 3407751611618623157736488939519400032/3455885838075833282981\ 151514051306237*c_1001_12^20 - 141331447610214334583912067482827235\ 56/3455885838075833282981151514051306237*c_1001_12^19 + 19454937598403390325329796392369570747/3455885838075833282981151514\ 051306237*c_1001_12^18 - 168570418046653317827697637912673648383/13\ 823543352303333131924606056205224948*c_1001_12^17 + 197720252736165428126047505652444298593/345588583807583328298115151\ 4051306237*c_1001_12^16 - 976806959045843348765464297558311744973/6\ 911771676151666565962303028102612474*c_1001_12^15 + 1118405590938134803454961173627491069779/69117716761516665659623030\ 28102612474*c_1001_12^14 - 715090520107828058086939533886242841807/\ 6911771676151666565962303028102612474*c_1001_12^13 + 257242488183951842642925352826462932044/345588583807583328298115151\ 4051306237*c_1001_12^12 - 2171761016093064972787498236551034279713/\ 13823543352303333131924606056205224948*c_1001_12^11 + 2439990220109580702140474879855098213357/13823543352303333131924606\ 056205224948*c_1001_12^10 - 264299488568855352516537887821161363699\ 3/13823543352303333131924606056205224948*c_1001_12^9 + 315636911315950398729321961943915913814/345588583807583328298115151\ 4051306237*c_1001_12^8 - 763069119849011099319462530059359124999/69\ 11771676151666565962303028102612474*c_1001_12^7 + 46355462842400356000994318096443185523/3455885838075833282981151514\ 051306237*c_1001_12^6 - 1162540271783949578299327258974607185399/13\ 823543352303333131924606056205224948*c_1001_12^5 - 511440639856497014361703321909671678269/138235433523033331319246060\ 56205224948*c_1001_12^4 - 231763234480692069573704219839604192885/6\ 911771676151666565962303028102612474*c_1001_12^3 - 99691280484797189578223732366694654059/6911771676151666565962303028\ 102612474*c_1001_12^2 - 17635603970791713136289613825731774608/3455\ 885838075833282981151514051306237*c_1001_12 - 3253617100311823845573453824027962564/34558858380758332829811515140\ 51306237, c_0101_10 + 2079797271016157050461463518728956380/345588583807583328298\ 1151514051306237*c_1001_12^20 - 15179044846532949683180557406751266\ 349/3455885838075833282981151514051306237*c_1001_12^19 + 169213715545379273078212319991983070423/138235433523033331319246060\ 56205224948*c_1001_12^18 - 153659160058700134094157085949554651861/\ 6911771676151666565962303028102612474*c_1001_12^17 + 440016645615690722987997146451261903851/691177167615166656596230302\ 8102612474*c_1001_12^16 - 713936820438559103282141453257706859696/3\ 455885838075833282981151514051306237*c_1001_12^15 + 5843624121205265016378207317626573738165/13823543352303333131924606\ 056205224948*c_1001_12^14 - 175199509108945178594673465503603063860\ 8/3455885838075833282981151514051306237*c_1001_12^13 + 2662350867001501228998184361083153218587/69117716761516665659623030\ 28102612474*c_1001_12^12 - 3925685854303940076048763819624638961259\ /13823543352303333131924606056205224948*c_1001_12^11 + 1352432890061077503527075164764423755662/34558858380758332829811515\ 14051306237*c_1001_12^10 - 3684731429879258244473533700897903930259\ /6911771676151666565962303028102612474*c_1001_12^9 + 1962233650350770630432268471692885706191/34558858380758332829811515\ 14051306237*c_1001_12^8 - 5477615581637608277417719677400868115475/\ 13823543352303333131924606056205224948*c_1001_12^7 + 1652718845451855790521017681934607896095/69117716761516665659623030\ 28102612474*c_1001_12^6 - 537322248580651776082144372501928258225/6\ 911771676151666565962303028102612474*c_1001_12^5 + 1153093403591660307175883857479997214135/13823543352303333131924606\ 056205224948*c_1001_12^4 + 104824945357120902321776364903715715563/\ 13823543352303333131924606056205224948*c_1001_12^3 + 89753275034732317125163870368167746009/3455885838075833282981151514\ 051306237*c_1001_12^2 + 16447517292028311909571795152072841163/3455\ 885838075833282981151514051306237*c_1001_12 + 4965611095119940431195455121863180398/34558858380758332829811515140\ 51306237, c_0101_12 - 3407751611618623157736488939519400032/345588583807583328298\ 1151514051306237*c_1001_12^20 + 14133144761021433458391206748282723\ 556/3455885838075833282981151514051306237*c_1001_12^19 - 19454937598403390325329796392369570747/3455885838075833282981151514\ 051306237*c_1001_12^18 + 168570418046653317827697637912673648383/13\ 823543352303333131924606056205224948*c_1001_12^17 - 197720252736165428126047505652444298593/345588583807583328298115151\ 4051306237*c_1001_12^16 + 976806959045843348765464297558311744973/6\ 911771676151666565962303028102612474*c_1001_12^15 - 1118405590938134803454961173627491069779/69117716761516665659623030\ 28102612474*c_1001_12^14 + 715090520107828058086939533886242841807/\ 6911771676151666565962303028102612474*c_1001_12^13 - 257242488183951842642925352826462932044/345588583807583328298115151\ 4051306237*c_1001_12^12 + 2171761016093064972787498236551034279713/\ 13823543352303333131924606056205224948*c_1001_12^11 - 2439990220109580702140474879855098213357/13823543352303333131924606\ 056205224948*c_1001_12^10 + 264299488568855352516537887821161363699\ 3/13823543352303333131924606056205224948*c_1001_12^9 - 315636911315950398729321961943915913814/345588583807583328298115151\ 4051306237*c_1001_12^8 + 763069119849011099319462530059359124999/69\ 11771676151666565962303028102612474*c_1001_12^7 - 46355462842400356000994318096443185523/3455885838075833282981151514\ 051306237*c_1001_12^6 + 1162540271783949578299327258974607185399/13\ 823543352303333131924606056205224948*c_1001_12^5 + 511440639856497014361703321909671678269/138235433523033331319246060\ 56205224948*c_1001_12^4 + 231763234480692069573704219839604192885/6\ 911771676151666565962303028102612474*c_1001_12^3 + 99691280484797189578223732366694654059/6911771676151666565962303028\ 102612474*c_1001_12^2 + 17635603970791713136289613825731774608/3455\ 885838075833282981151514051306237*c_1001_12 + 3253617100311823845573453824027962564/34558858380758332829811515140\ 51306237, c_0101_14 - 2082039221331212638502652953712687124/345588583807583328298\ 1151514051306237*c_1001_12^20 + 10967768961054174776573376601253733\ 719/3455885838075833282981151514051306237*c_1001_12^19 - 89845798955845729895672806838015084341/1382354335230333313192460605\ 6205224948*c_1001_12^18 + 85391863610331660334121282124041790085/69\ 11771676151666565962303028102612474*c_1001_12^17 - 307560591945236521574145623072292794707/691177167615166656596230302\ 8102612474*c_1001_12^16 + 441575231437652121676055864630412492978/3\ 455885838075833282981151514051306237*c_1001_12^15 - 2889844141094829050264750402752597976053/13823543352303333131924606\ 056205224948*c_1001_12^14 + 143196331065075960394542214072978067079\ 7/6911771676151666565962303028102612474*c_1001_12^13 - 498869338394287874228287657951854308111/345588583807583328298115151\ 4051306237*c_1001_12^12 + 1947986595618930645855796632718598670223/\ 13823543352303333131924606056205224948*c_1001_12^11 - 1342119822216311719030680717361097014315/69117716761516665659623030\ 28102612474*c_1001_12^10 + 873291643274357109767287360930784045483/\ 3455885838075833282981151514051306237*c_1001_12^9 - 764866916138348894437873657188366222657/345588583807583328298115151\ 4051306237*c_1001_12^8 + 2174129865673143840288401910578265056999/1\ 3823543352303333131924606056205224948*c_1001_12^7 - 468079425329720599144252384343352438209/691177167615166656596230302\ 8102612474*c_1001_12^6 + 314888286143789809564324937251077647905/69\ 11771676151666565962303028102612474*c_1001_12^5 - 188996576569664127677568420567889344289/138235433523033331319246060\ 56205224948*c_1001_12^4 + 85724925864108825548268199469173184283/13\ 823543352303333131924606056205224948*c_1001_12^3 - 35848711690542905224133675917279412467/6911771676151666565962303028\ 102612474*c_1001_12^2 - 5139738579476615411108071534189228663/34558\ 85838075833282981151514051306237*c_1001_12 - 4643607424648285490921454248201872830/34558858380758332829811515140\ 51306237, c_0101_7 + 4453275295039133112193181421949805680/3455885838075833282981\ 151514051306237*c_1001_12^20 - 228432938926724502095483554385042008\ 08/3455885838075833282981151514051306237*c_1001_12^19 + 43260933499477966846658802623493054826/3455885838075833282981151514\ 051306237*c_1001_12^18 - 306978210677868035690998879626971267137/13\ 823543352303333131924606056205224948*c_1001_12^17 + 1204660036719127230016213507057628390579/13823543352303333131924606\ 056205224948*c_1001_12^16 - 872236361745562650287021494527900032444\ /3455885838075833282981151514051306237*c_1001_12^15 + 2620093847257167520824835427543348648757/69117716761516665659623030\ 28102612474*c_1001_12^14 - 1013640767387420417822342944385760234154\ /3455885838075833282981151514051306237*c_1001_12^13 + 791972617438459148771808354812759612221/691177167615166656596230302\ 8102612474*c_1001_12^12 - 2144278739009595600671904669721181634559/\ 13823543352303333131924606056205224948*c_1001_12^11 + 1147177581067393503548836633870257110670/34558858380758332829811515\ 14051306237*c_1001_12^10 - 2946772451143570389912493780775597171201\ /6911771676151666565962303028102612474*c_1001_12^9 + 3871883072929961264928109241402469955161/13823543352303333131924606\ 056205224948*c_1001_12^8 - 848045402216344983894410037720694433359/\ 6911771676151666565962303028102612474*c_1001_12^7 + 6708751758533259602107240812955322374/34558858380758332829811515140\ 51306237*c_1001_12^6 - 458441245282145889764037734364730431157/1382\ 3543352303333131924606056205224948*c_1001_12^5 + 43318408745280223441518706973073492268/3455885838075833282981151514\ 051306237*c_1001_12^4 + 6183475105290514280692387283356409245/13823\ 543352303333131924606056205224948*c_1001_12^3 + 30321910917609946634999101954396919087/3455885838075833282981151514\ 051306237*c_1001_12^2 + 11226491460658331141525929059796876987/3455\ 885838075833282981151514051306237*c_1001_12 + 3879886500087157330160806365292357180/34558858380758332829811515140\ 51306237, c_1001_0 + 6580383784866582251728965090271256472/3455885838075833282981\ 151514051306237*c_1001_12^20 - 289111712137323030416956892926122477\ 10/3455885838075833282981151514051306237*c_1001_12^19 + 87525642429053138499661907774741717797/6911771676151666565962303028\ 102612474*c_1001_12^18 - 349812763424238393607918732328740672031/13\ 823543352303333131924606056205224948*c_1001_12^17 + 1575999029144505914381092131740907039349/13823543352303333131924606\ 056205224948*c_1001_12^16 - 408799077335351390196204602308760896255\ 3/13823543352303333131924606056205224948*c_1001_12^15 + 2530766933150830391156467273701094022869/69117716761516665659623030\ 28102612474*c_1001_12^14 - 3263075012667083080307422499463063563275\ /13823543352303333131924606056205224948*c_1001_12^13 + 399317630921695295093287401120149327502/345588583807583328298115151\ 4051306237*c_1001_12^12 - 1708838594117150942878568680085041608559/\ 6911771676151666565962303028102612474*c_1001_12^11 + 1190353789974453471308854142088088877379/34558858380758332829811515\ 14051306237*c_1001_12^10 - 2764883974886746037408980710644530586049\ /6911771676151666565962303028102612474*c_1001_12^9 + 1390520773807303224270740707565977712249/69117716761516665659623030\ 28102612474*c_1001_12^8 - 2214470964888351484665747271161460934403/\ 13823543352303333131924606056205224948*c_1001_12^7 - 317528122315122048078049141495938236395/138235433523033331319246060\ 56205224948*c_1001_12^6 - 655775029512091844042036225472994773753/6\ 911771676151666565962303028102612474*c_1001_12^5 - 914355563492688254357284350835861592417/138235433523033331319246060\ 56205224948*c_1001_12^4 - 461471683664045711944956250520505942103/1\ 3823543352303333131924606056205224948*c_1001_12^3 - 60398866438460726935451275596115252829/3455885838075833282981151514\ 051306237*c_1001_12^2 - 7646831453375658910546076658338100646/34558\ 85838075833282981151514051306237*c_1001_12 - 1632385264685982851990623197297137516/34558858380758332829811515140\ 51306237, c_1001_12^21 - 19/4*c_1001_12^20 + 137/16*c_1001_12^19 - 69/4*c_1001_12^18 + 269/4*c_1001_12^17 - 1455/8*c_1001_12^16 + 2157/8*c_1001_12^15 - 4017/16*c_1001_12^14 + 2953/16*c_1001_12^13 - 1715/8*c_1001_12^12 + 4283/16*c_1001_12^11 - 5365/16*c_1001_12^10 + 262*c_1001_12^9 - 869/4*c_1001_12^8 + 323/4*c_1001_12^7 - 191/2*c_1001_12^6 - 47/16*c_1001_12^5 - 511/16*c_1001_12^4 - 91/16*c_1001_12^3 - 11/2*c_1001_12^2 - 3/4*c_1001_12 - 1/4 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_15, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_7, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3125901235705754680713748547603497934723019539532820195005978158572\ 6646792084295788224089883904069502940760946133621570635598492488543\ 20172730583001892546211581788816359424709231371512634869/1074423393\ 0515143519430651737529344211265273826546693287787226109007127619799\ 5660847181161930178129583700454332796870944189577849019583581078855\ 6110707463362469030001259599219747918031276912*c_1001_12^31 - 1807299432623128289388472208088349805637055418344671140524292748966\ 6565240157164868844269004855350839603825394547223238919315011677426\ 154093213351501349258242389448238140563189560231428491853/390699415\ 6550961279792964268192488804096463209653343013740809494184410043563\ 4785762611331610973865303163801575562498525159846490552575847665038\ 4040257259404534192727730763352635606556827968*c_1001_12^30 - 3964874626104508431462732574143675281712473302421271567457986920471\ 7964481161449677112041743663322965735331819227975632784437093098172\ 467524763936448842227402368801454599472729938862207334113/300538012\ 0423816369071510975532683695458817853579494625954468841680315418125\ 7527509701024316133742540895231981201921942430651146578904498203875\ 695404404569579553286748520257895046658217536*c_1001_12^29 - 8743628931676509378043488376501937195321232436788244430230608801133\ 1747657226200730287906426168400212323744906434303651881801150010029\ 47732403043436170434711826732708263679044732080462227661437/6139562\ 2460086534396746581357310538350087279008838247358784149194326443541\ 7118061983892353886732169049716881901696405395369016280111906177593\ 460634689979064268017143576913839855953160729664*c_1001_12^28 - 2817444619825878078101953189528940469042521658369764269056451121103\ 3789022493074127602030453659257217295578191957249643496659242021616\ 5828861579776285487883227902366945825220908672505639546711821/21488\ 4678610302870388613034750586884225305476530933865755744522180142552\ 3959913216943623238603562591674009086655937418883791556980391671621\ 577112221414926724938060002519198439495836062553824*c_1001_12^27 - 1630473596191309604818318901003090235690662367290226333865829504354\ 5233795458971361259563245439479993643165178453650061598684980203719\ 15213902843663659694544056495204689795141124515170133316935555/2148\ 8467861030287038861303475058688422530547653093386575574452218014255\ 2395991321694362323860356259167400908665593741888379155698039167162\ 1577112221414926724938060002519198439495836062553824*c_1001_12^26 - 1357581218297558221470032613194298686672962996475806162883036108050\ 9574552206555033400133257983673354520143845119591059141883496854717\ 780971826880271404701228136846584163560275996448410600833718177/429\ 7693572206057407772260695011737684506109530618677315114890443602851\ 0479198264338872464772071251833480181733118748377675831139607833432\ 43154224442829853449876120005038396878991672125107648*c_1001_12^25 - 9852071643422915400429657512628297203965987855831903736744209472949\ 6693873792763407232143071342722772611168386633456489719084398735959\ 07928350337252064431906862301449364723321168205948189696059469/1074\ 4233930515143519430651737529344211265273826546693287787226109007127\ 6197995660847181161930178129583700454332796870944189577849019583581\ 0788556110707463362469030001259599219747918031276912*c_1001_12^24 - 2225879730461322758902970631646710516957022363193822194008713159061\ 4778167128940363623552983232110503233262893300250940072933350529092\ 246654677974679931832285303879162315139679559218535003902622361/107\ 4423393051514351943065173752934421126527382654669328778722610900712\ 7619799566084718116193017812958370045433279687094418957784901958358\ 10788556110707463362469030001259599219747918031276912*c_1001_12^23 - 1291725649116361973566818467917942637732608042871464329027172385164\ 5973276407309780632847820753903666532818813625194901710621063036111\ 8270361866387098163964015556464044607278954662694573979631942731/42\ 9769357220605740777226069501173768450610953061867731511489044360285\ 1047919826433887246477207125183348018173311874837767583113960783343\ 243154224442829853449876120005038396878991672125107648*c_1001_12^22 - 20426235484872131776956779389739029962423804238515178630302457021\ 8268272527615667409928322498183754054048733722881927143757153768924\ 285441566523391176375662369357264881778485702256706202735906681/846\ 0026716941057889315473809078223788397853406729679754163170164572541\ 4329130441611953670811163881561968861679367614916684706967731955575\ 65264221344153254822590787411492907242109590797456*c_1001_12^21 + 1039955059178473971705973419957330185541507871625279790512017937998\ 2133454166910551352156736117835374537216256424911364947263106282165\ 1051780522642619483754277114315569200956030670368064449345209015/42\ 9769357220605740777226069501173768450610953061867731511489044360285\ 1047919826433887246477207125183348018173311874837767583113960783343\ 243154224442829853449876120005038396878991672125107648*c_1001_12^20 + 21913579231568202567835571042971439986770022620638031589268417310\ 2669683677103805022755827646624903233897195872991269693399929308271\ 009070326087227586690279415359123016643409987947323685384484419011/\ 4297693572206057407772260695011737684506109530618677315114890443602\ 8510479198264338872464772071251833480181733118748377675831139607833\ 43243154224442829853449876120005038396878991672125107648*c_1001_12^\ 19 + 32484595481830189437663852700551171370323260107336398237877899\ 5615577465970154630875445452587759787355039255151563090890536533193\ 7105273799342325176274066025561167501614342843351916445284775779734\ 3/10744233930515143519430651737529344211265273826546693287787226109\ 0071276197995660847181161930178129583700454332796870944189577849019\ 5835810788556110707463362469030001259599219747918031276912*c_1001_1\ 2^18 - 656752466613793051929322544740844192883485119817663561805317\ 5696408263412283284993385422999616008715514477989525978400504453112\ 0743241539363505390663965898019495107360085326822665339807407596984\ 361/537211696525757175971532586876467210563263691327334664389361305\ 4503563809899783042359058096508906479185022716639843547209478892450\ 97917905394278055353731681234515000629799609873959015638456*c_1001_\ 12^17 - 14864817230468087333282123662610037154365565117153641589299\ 0022755110005489152333866454241757198934231739228761388118555972454\ 1368441427904449801865217189262553012257933301816217133604098466184\ 8243/30697811230043267198373290678655269175043639504419123679392074\ 5971632217708559030991946176943366084524858440950848202697684508140\ 055953088796730317344989532134008571788456919927976580364832*c_1001\ _12^16 + 1787201774230916449970031640841456191670829847388743521491\ 5604326757092044508985541635367492945463086259504081572646966859623\ 8687292818525461460153087730830672820765177385605953572892739058693\ 642775/429769357220605740777226069501173768450610953061867731511489\ 0443602851047919826433887246477207125183348018173311874837767583113\ 960783343243154224442829853449876120005038396878991672125107648*c_1\ 001_12^15 + 4354257465186779915646798098386784040413791026806881845\ 7770964368968223254161742806013931532500348985829872738915597816727\ 9597170019645332954629901351996707576782540877145542809012055578662\ 17620261/1953497078275480639896482134096244402048231604826671506870\ 4047470922050217817392881305665805486932651581900787781249262579923\ 2452762879238325192020128629702267096363865381676317803278413984*c_\ 1001_12^14 - 903686449166763114216538385284776697874594857540681145\ 3241816700644348916985280749277068648600295549036383434677373465847\ 1614248621935780210471034764059905526906725495175502366906618954628\ 3446980603/42976935722060574077722606950117376845061095306186773151\ 1489044360285104791982643388724647720712518334801817331187483776758\ 3113960783343243154224442829853449876120005038396878991672125107648\ *c_1001_12^13 - 448690378775086546932530354146223942382544783603436\ 8092826527133991698350391503241173927457948670527699690507511243670\ 3699032371479678960839500788467144971244957057905154095167942652556\ 679355908977/537211696525757175971532586876467210563263691327334664\ 3893613054503563809899783042359058096508906479185022716639843547209\ 4788924509791790539427805535373168123451500062979960987395901563845\ 6*c_1001_12^12 + 62371698504022526830150096036479354791974485588133\ 5325222496442776688978259799590246123368957509548963085818831346865\ 3248940491974917498815692486254917310785357526736947465546398520005\ 868454663951/226194398537160916198540036579565141289795238453614595\ 5323626549264658446273592859940656040635329043867377985953618335667\ 1490073477807069700811707593841333946716421079149457257850905921619\ 2*c_1001_12^11 + 11118781485081860670619419422834269425407886746592\ 5882124977381994266160565734833081038212940644081706154252469356652\ 0404348876065333063606150568039521153871512056014537644635863909705\ 583481960829241/429769357220605740777226069501173768450610953061867\ 7315114890443602851047919826433887246477207125183348018173311874837\ 7675831139607833432431542244428298534498761200050383968789916721251\ 07648*c_1001_12^10 - 1276566315127569970170467215743594612755990063\ 1761283490821077704309880400563932815957889062626560698043682027948\ 0488016884434139373291149493690001558096159750770619130354456266637\ 3818290089678798829/42976935722060574077722606950117376845061095306\ 1867731511489044360285104791982643388724647720712518334801817331187\ 4837767583113960783343243154224442829853449876120005038396878991672\ 125107648*c_1001_12^9 + 3648663568085926150416377847857089677228770\ 5203355255583279514838432702849770001513661837495569070616649107056\ 1825090065519025694061696347197801473803421287077276153291748962756\ 644165151042429002731/429769357220605740777226069501173768450610953\ 0618677315114890443602851047919826433887246477207125183348018173311\ 8748377675831139607833432431542244428298534498761200050383968789916\ 72125107648*c_1001_12^8 + 15606020515205965992399773233681182932412\ 7124500306200734575098827827612123322897491049508488152732724766797\ 2853881337214899608234724980649446495317602813173633173127216356830\ 6122845321819179625873/30697811230043267198373290678655269175043639\ 5044191236793920745971632217708559030991946176943366084524858440950\ 8482026976845081400559530887967303173449895321340085717884569199279\ 76580364832*c_1001_12^7 - 20669587495107984679033242776028869446735\ 5211541858528405832100754937170261441254963836022830666621923922867\ 0746774627453855513831252850926568387163926648787332922988841067250\ 662421212308054758585/438540160429189531405332723980789559643480564\ 3488446239913153513880460252979414728456373956333801207497977727869\ 2600385383501162865136155542390045334998504590572653112636702846853\ 797194976*c_1001_12^6 + 2547310731833089237707139112065985012091511\ 7759324657533878002612535616487172449627634472107973906536066787061\ 3354165208482575661479265629338720695807468738902440000928449570831\ 32827168911990830823/2148846786103028703886130347505868842253054765\ 3093386575574452218014255239599132169436232386035625916740090866559\ 3741888379155698039167162157711222141492672493806000251919843949583\ 6062553824*c_1001_12^5 + 168918889745885211232700188633822527465986\ 2095920292886860609460167060787321346684285601332524618376596450382\ 9710436315150970356254516397107011774293435498116685012012532555516\ 285346125687887043/743545600727691593040183511247705481748461856508\ 4216808157249902427077937577554383887969683749351528283768465937499\ 7193210780518352652997286405267176987083907891349568138354307814396\ 62816*c_1001_12^4 - 15021394278449709143567966446842390133189741576\ 0869214736441988586731422962744617559781116036668846894687509021182\ 1521735940904221648152349103253105049789844600565189950077465934965\ 5894109721076929/42976935722060574077722606950117376845061095306186\ 7731511489044360285104791982643388724647720712518334801817331187483\ 7767583113960783343243154224442829853449876120005038396878991672125\ 107648*c_1001_12^3 + 1682944842377517080915744700691622473837723234\ 6231686177092633395905835476652597157131205662915211384683573053905\ 8973046084993148324160246604543976700674949132423010031772937749403\ 4134052268383/99668218279361257137575619086543081737154673715646505\ 4525716707700104602949866983740084990075863910794994938152104554213\ 261390065116730807781591939431784195240287570741743246519404481704*\ c_1001_12^2 - 80579132588688698384860010415488646210589767105943991\ 4870564465580955439986315238426986482461320760334238570910577535472\ 6866688193708742746415257589809471792148165037744615076440586590075\ 248093/244187134784435079987060266762030550256028950603333938358800\ 5933865256277227174110163208225685866581447737598472656157822490405\ 6595359904790649002516078712783387045483172709539725409801748*c_100\ 1_12 + 382603452433682558899346565425503458500488044579259159417516\ 9418017974420926213488875255793646730229479972336549880312174156498\ 4937389625312700498758395492168115723078531396700364021672761673281\ /429769357220605740777226069501173768450610953061867731511489044360\ 2851047919826433887246477207125183348018173311874837767583113960783\ 343243154224442829853449876120005038396878991672125107648, c_0011_0 - 1, c_0011_10 + 44597139672890086322085965970984632174904710206247064125135\ 1619989031035954635942277396762380683393101357545466971333784731452\ 208300542110127016650910518657800447220245214087/323354761642016907\ 3719099175296078695150918588094987548642424303899371921865617093803\ 3893741534785045406280772972581608932315076656781578080215564635482\ 87284212762200455360054516*c_1001_12^31 + 2016061651420689796099554602223450025725119808647142991015319242772\ 0706950869810888020896291205315212648404931597787531966976071938400\ 6863220461259187206665301671525983372116959/90539333259764734064134\ 7769082902034642257204666596513619878805091824138122372786264949024\ 7629739812713758616432322850501048221463898841862460358097935204395\ 7957341612750081526448*c_1001_12^30 + 3570045928757132502905299752270025639104598237341805514534677470037\ 2314486404247314760922653467005471894415582656134405055957895936766\ 9024118473356540220776151545041496362700992/56587083287352958790084\ 2355676813771651410752916622821012424253182390086326482991415593140\ 4768587382946099135270201781563155138414936776164037723811209502747\ 372333850796880095403*c_1001_12^29 + 3126549522819933169673750640335155290232813287199668399859153541492\ 8796109305315979712060852472190226066302949182205643608732201864662\ 664987909133635169941941234203342267878068149/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224*c_1001_12^28 + 2891079981167858394250806570177378756713122354902058037098584337553\ 4758831097191973431208511292495202863882022368183694305429893402736\ 8983472740205274986784991838358331226874951419/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^27 + 3399860417272180387559515218700869925823570473613801903168521879753\ 2007038354498627353378779675770091902404676775060699391441419279206\ 77762758232322417249118549235710465389784780305/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^26 + 7202138291269976365911487352108307634154254190760259643508496542599\ 0954491980166048939503956083042919746870667581396131611942851128502\ 25492775514258094614821549307724182455330013071/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^25 + 4295980199766369420516080097067956227739616225081998943622037001129\ 2499680295531058895236957083315006042722156919389548117597662052543\ 182720539706219219183438613800157701046551996081/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^24 + 6233868073586642354597827172757456622701984940171917457072353163502\ 8291531612387071864658270789431171182149429922803635734885936590778\ 94940884881625333800793169151439656254361308743/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^23 + 1542777443473452864550340273792850659843073891966230889052658611377\ 5772612140566753284058483270785250008404374163428832598020820937674\ 5500354275627258166119252410503997235575249649631/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^22 + 1023197946598283661609604093104341216976437794802296813873757324990\ 7885357213747935920835844821225772892830826673756940836036880081810\ 856384069502586950117281815393679432421425580563/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^21 - 3316114792242121076659177549976236436569687369709916544004478532070\ 1670787015804138513755727914457228566973142176653878739243342118855\ 152196094270875419206144802540828247140809993673/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^20 - 1167868135067883999799896157170705941357327896005836758162661234295\ 3791588572483523523699579807411796713687028407764938163195628184179\ 0432348838642454883520250746207702326863105218933/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^19 - 4754181850642339808573438593410359609448152512187597696622515501814\ 7377621339796140600787398218632516498082852953703141037673418571721\ 584750524254023967410920095458824110202622240639/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^18 + 2365462002522156182851001590790982893301271433751138981658526352803\ 9540639969757453617690301026918666415303040616850196334273432405109\ 5673312583460800700490855912623443089579948131173/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^17 + 3214615488385991761804562743867518901886550545943378447392882393900\ 1346552506882480433125216642434552741880216677806174722788789040281\ 9028199675618826208909757512422268406626164354457/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 - 8759882091604542102623490127424235744384078254129865353342510857481\ 3663056892982247383654583594133793274487261908342434593349620638718\ 119504997918048814003249483666489110237787338547/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^15 - 2437965537231429980228575783003989262087194834086159335178497973407\ 9847411921985965621867225495263416045241701489363305370081393346356\ 2547968815127090021322832448856924198935697295561/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^14 + 1646779233371658881917930806872927783395052101932029876569482960692\ 7269631526491141147601611492233985516460371042813240587374052784935\ 3351262080366755408157144207689107163964487790345/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^13 + 3564863152186672634057751495872370462962665772392680924925884617415\ 4813634972273619998889890984284469440283825383502626501607801697086\ 595992660094484172647412000837641499195856297521/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^12 + 2690912332793087783578571913401836191743455049677735277036550495792\ 2535939541259533296131713339323431051659669629351367569730310236105\ 536203398827597703696393558532044776419336826023/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^11 - 1373918264784929090640625597802433018454090499114285686501818901519\ 1492378204241358545632386299516843207334120832058679713123703133929\ 8959809483725380880625101759191966133064017095691/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^10 + 1002269358217540521975596825750097084776474941722998148932777155532\ 8921220871028099199948052987193796682824033091915000004837644563864\ 13439831321979735880215091789705940673231318307199/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 - 8969100625902830121696486435492924266128201543730008940637566145668\ 7686701834388534382629290165011546021963332729635504833647801391798\ 21472558298087020608286926231884499728662818951/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^8 - 5550758665989315947094499986867846276518993383718558137557211657144\ 9724875024427709048703584501247187483563944846115048399655544783217\ 774988493978455980379295339712934799154495644641/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^7 + 6760233572377061961477648679586822002509046915443381010578742912735\ 1589754252339842695826710075865352192654111970729705419059842567286\ 431963819435845816176093962202304676077925277667/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^6 - 9926392512507609935108909119286888539254102115530930639752093460397\ 6499814319050493040973565831722982516127285070371458142467706015045\ 37803341855491427701714339379798423316275191079/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^5 - 1087362004525820869689341251035943227593714878688668874809309678252\ 4595337640700097030475503284245104633710515755370549217983135552574\ 371743539241333795962685033531409761928384107005/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 + 5414922903025527486095080019684423096046844287079116179858052659499\ 7923458045677438654439921018416028150767051514756102457935615320772\ 49654003865141506115040883355579811214959411001/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^3 - 4507448504265403953813553622951828523142834271308960848573328354011\ 8422500184833225279621146196072874848253191777684852918879489943411\ 32996148306512806880226006993056944659958675131/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 + 5620002575295230452594576435682387688772989859965317145525674391234\ 3929998887549250687370400316451419339847587713216765508724171748386\ 5053265230263758927642844340103823209279951111/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12 - 6233586195807675302328483249235892573292029596646891760442208524909\ 8340102931862431606326066990141402324972889006838999625050839454729\ 996835041402174062125385000041102277768196357/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448, c_0011_12 - 11306395549208809379172736392897181937672508066928609073207\ 8029950577184414853039635287623456754519207422883265099111863876683\ 6665993514638488424369669477585550690601816840715/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^31 - 6374412392737658477326060316597237141356681185925008464078262548407\ 0241883663110975346633384177131934729490637358717823815592731328667\ 041088541732653114614682317054644879941629/905393332597647340641347\ 7690829020346422572046665965136198788050918241381223727862649490247\ 6297398127137586164323228505010482214638988418624603580979352043957\ 957341612750081526448*c_1001_12^30 - 9590107938369110350786256292074405949088326138430222008769982962513\ 1980581806149154060559561247357392074827106108032508182368974853279\ 9966344049161305667699859260670493055347359/45269666629882367032067\ 3884541451017321128602333298256809939402545912069061186393132474512\ 3814869906356879308216161425250524110731949420931230179048967602197\ 8978670806375040763224*c_1001_12^29 - 1838885359095334672645357308772565273651786338867181842919078339003\ 9308007727650438314537056733808928181134622328207065391412253853193\ 893679525527144604299574241800400078373854189/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^28 - 1625068387104160146233333319911456706387334691278908499304617433441\ 6221590347230838555258411154437523687958736707063883415718871466966\ 4454260972999798198641913930434412850449248373/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12^27 - 1992060915993858215100334546055214807681617578831956003419383255234\ 9938583562320713288904468083272958202205820021896449223746960940240\ 4385920408632425509860954820886753659319927205/22634833314941183516\ 0336942270725508660564301166649128404969701272956034530593196566237\ 2561907434953178439654108080712625262055365974710465615089524483801\ 0989489335403187520381612*c_1001_12^26 - 2361355551134389622230606599573852791356412115991164479253218395588\ 7803742026547112938608352388127310670118385280767284409754444358770\ 029933503034253004131794861908780857757271008/808386904105042268429\ 7747938240196737877296470237468871606060759748429804664042734508473\ 4353836962613515701932431454022330787691641953945200538911588707182\ 1053190550113840013629*c_1001_12^25 - 4586275566032222350641634014587478345251655056156398693691728159958\ 8886820785148973288650834201271246356422489120799730367627255661590\ 78756909470070312716764984362661633268469093063/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^24 - 3832289051678909653285905337270395077190121033941664993998014969561\ 3824348899471249601005267676903830084894226975485256599544603960579\ 7936265593049599847790662921308032044309685615/11317416657470591758\ 0168471135362754330282150583324564202484850636478017265296598283118\ 6280953717476589219827054040356312631027682987355232807544762241900\ 5494744667701593760190806*c_1001_12^23 + 1078805207905734874465990317302347690313577653898682861971418305074\ 5475016781269933333135093546239923272826903796587176693741389865532\ 979113404837843663452748314830056784533390500571/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^22 + 7037036760718110311136064054426046775047193579236745825472619545985\ 2660277385613135293682830856186625576635632526320451485206406564595\ 212189696908906210374925822442381020586774963775/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^21 + 1011849074440862870247379817905182204893707205700640083670949994133\ 7068262903989734855740775361504546218492188794264765002639666651386\ 586512413918466274023415580061090845115212953433/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^20 + 6338608805384756367932864813123380741826635474680970350550562281087\ 8369940819603596128754496515961394475074268260275083794297531230627\ 86180098652682740791373583619613529929441698405/1293419046568067629\ 4876396701184314780603674352379950194569697215597487687462468375213\ 5574966139140181625123091890326435729260306627126312320862258541931\ 49136851048801821440218064*c_1001_12^19 - 2850060053095336349686409696237990466764080335810175928089911474962\ 1997193911585271926640587613360897278215231428787612687841647616854\ 517363312170278102690914609337387886248101927031/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^18 - 3343813632111827406929074160196730411484651787113247569064821121745\ 7922358405294071646070261899982020774440979343250707640000104894433\ 2856702894283011147480649003932906326673594386439/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^17 + 2190701408927373503369661221753696186037731381341186094142609820141\ 4983946039620712596377931902630280730947445390671705734574713634639\ 8419528415791227290351287813574972051120762444485/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 + 5574827650379848361335927958020757972005614475962437547595857215223\ 4759366634797072278323928672630452167688914482280245134712649755388\ 88601848994960340843495587899048951756293186929/1616773808210084536\ 8595495876480393475754592940474937743212121519496859609328085469016\ 9468707673925227031403864862908044661575383283907890401077823177414\ 3642106381100227680027258*c_1001_12^15 + 3121282496953423277652853580399533909482200742709851208580755697845\ 6492735840644772668849477402580659931681979874811344026093444581158\ 4688075259711912590853493342089375123707570847635/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^14 - 9715075761781473878186603018276683970440895975334882413501928120154\ 1086437235087514618632108997931888182274696742897717605492647175599\ 5094501973630334567253331268107962366325738265341/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 + 2812420383939456970199042760825463238060164249968271657809811026004\ 9872030789074928117203023374144266087179026999180258334582782964165\ 640077048688201090075215669549377820218940506541/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^12 + 4226230265966292157623786052658056004082338018734756209275351755683\ 8698233944878931406073720904432778980097932040902942356703987641829\ 4215202317065330106863896209206168420753202972207/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^11 + 6441176225064856941506707562372497618643730722917399546592019958139\ 4784007058134646289833179639839927049139982704970989455040528139537\ 188648476184940454360200163432499807037750434267/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^10 - 1682199140464911335771184613510706593292971433117289050267624196200\ 2167329916503973737691450364821689941238908485348188147307913221822\ 0395567206125669146417667863651500293749571231555/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^9 + 7038485842278146840489308664917522721266633523585759840821586260890\ 2346290928246990693054265128225082083095410243341808065756219857730\ 5773130213793732038365329249751304981715716854861/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 + 8283760046357409021197442593864320232937266388565061813770312874377\ 7441256243974665740899307514390196718985981804009480227863737035100\ 17975275943404553109752391388284920867493063307/1131741665747059175\ 8016847113536275433028215058332456420248485063647801726529659828311\ 8628095371747658921982705404035631263102768298735523280754476224190\ 05494744667701593760190806*c_1001_12^7 - 6014451387208927811985750631158637819162614826208901482563739962806\ 4942354584221847887864031513358980200911425478084505063931456293009\ 640312749319142074505598009539584680645689112507/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^6 + 1352220355511449279809984556175949061984998066190040528410720414002\ 2030527745481209887287869241234613880736774983444772001595314362643\ 785036191421635824641603021378459834624059639799/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^5 + 4717401755659686891046623342614427978790358969550398049751246483550\ 3875556496583001283511080545582571988740795839457970033975914604055\ 9479450398680296885031774657031873637567565571/22634833314941183516\ 0336942270725508660564301166649128404969701272956034530593196566237\ 2561907434953178439654108080712625262055365974710465615089524483801\ 0989489335403187520381612*c_1001_12^4 - 8078024742476436395028921802447276826526199826668418405438653162111\ 3836815544878901940189654536615568670946682703795056293334894777084\ 49847574480890762235663049349063367147333665879/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^3 + 4592859772600879607522993073160168712928582838429355102628073961323\ 0435745698779336767486065233076982884181010311817555751984277851070\ 39797468646884923638413954308566492042929977001/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^2 - 2580664493127393670357291747935455593900540393635167127256720369154\ 5690218051847141767498762209719083196210575734212381123376096906662\ 97028290125194282590574938744570667651944366021/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12 + 2046775334329329134015926652680792462174320278968695612687097854735\ 2883869071372315691361301351531551944044572549357704230141146757944\ 550473763481826442906839485073524895560005205/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_0011_13 - 70167940659053781213883915641864508396081273767087710684837\ 9764455987521311870435894286940055327669964968554384782076635394245\ 6571068634892993033337961215247216038052530933607/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^31 - 6335491785894030433013146647967906461962895497734511299526913130741\ 5652855044270888811067040832733805808346539674131359647053300689155\ 548594980833075384586350430427940651100897/646709523284033814743819\ 8350592157390301837176189975097284848607798743843731234187606778748\ 3069570090812561545945163217864630153313563156160431129270965745684\ 25524400910720109032*c_1001_12^30 - 2536239285684053197651475229546191733290861272339585882396465825606\ 9894499478933011082869131723109396269251880194984797466696735055227\ 333670150767111272516839764382802076569349405/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^29 - 2722050156280210584917669692162701544662396720813476090331651863744\ 2771380313185772058631736986091353395509844038494837990179244644481\ 4018274515328888231624530263450122407444302101/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12^28 - 6252396789309776023193067966080094342105405404723640772803045464449\ 9738641300320908655076403726487104611866821472542522443393900332140\ 8292648998384711518836732899424979425709702027/22634833314941183516\ 0336942270725508660564301166649128404969701272956034530593196566237\ 2561907434953178439654108080712625262055365974710465615089524483801\ 0989489335403187520381612*c_1001_12^27 - 3592933454376169895015270524528146154590568869998921620719460907414\ 2661604754315489177005322252159161676435439463285274770643520653219\ 64229214024960050898891861228992559255649756475/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^26 - 1483327901213838403554163395391057731179747479706623432587347904573\ 4436329206679523028779383006237619901905818527624889986711621705271\ 187685902783353136153644281540394295074949529527/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^25 - 8495073226474393386605264930230584885149131323152549316277063362125\ 5751071735167912003270006116826440010768695616785748126717360177169\ 917953459572472652867102919614771908079408172325/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^24 - 3779695528965101173799945920917831346612861819308718523550190378412\ 6437676815028868313219734250927294665303017146055484075905962568659\ 6446495466556642763760025763526103580006405589921/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^23 - 5274993914454952667254753676808606009443848471339702225662529889537\ 0765313006176446544504896256526518179736858835535243833938516312291\ 0046483468866947926894011866155002018369833552927/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^22 - 3780984885180645439456891172562624877977912642365570858954604376257\ 8774998575567829056424690641711360753975937900093208450587750925739\ 1747233276956098154196172365997310813925304233895/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^21 + 5616197989105892533795237688560702185321172507944639461309944656627\ 1130985245040705068879840543837340867899334159177933846252827739757\ 7928033967897044794635721859478877829119374222419/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^20 + 9861710297209786187279612033842220142955174639537158670407211829970\ 5165431516774687130953997161606649885280165782176984595096161942835\ 5685098047361288479525625059195768291477257616807/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 + 4752097327486275005199761673143543945378599265460808300716158362070\ 2155090316850753389940722482259102579683840470457797508775222508605\ 4707340804039556602851012451318622153075785619287/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^18 - 3547604697306816145221844151921085293009823667100186340423037602409\ 9951575968183460865308769750487313909042155006846971198040291583350\ 7448100446327244453113577045126902394169464163463/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^17 - 7644720176683490320371565621944330175681164365980404095976613621863\ 2957616209073006806201423595078994630274937505659171623738330123819\ 3625151713775682607826332395025328447116870769849/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 + 1274394838015764333574883421506757911077223856032418464454163326100\ 0756584852822899339868048289617636530225645409999176223636502296131\ 2125938005169237913463041683028635009406655857137/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^15 + 4328426786681249660330999134638634824318475136450213291671471299730\ 9066337296055725277139759694307772335072575015480757674563947868064\ 06277556127995472481045875480969874941147918940473/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^14 - 2245836068613480766553460498281101426396959364187179871822180064444\ 7323918529049669435816831790105235997499670790709207921696289959993\ 56954250410168862611818306171890429455660928425493/4526966662988236\ 7032067388454145101732112860233329825680993940254591206906118639313\ 2474512381486990635687930821616142525052411073194942093123017904896\ 76021978978670806375040763224*c_1001_12^13 - 1485949108459467390772331699880272313341712871777282395431258953822\ 0743845207384919714827527966438002979121725041109745380620378631610\ 08029198811260302781177849913445984973707362705207/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^12 + 4215900824915512688676694710208390541271537135750003390974874595177\ 8163769296945726832966894864433922172206093684315109999822501666514\ 7407739634614578735083084806470176541251376398757/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^11 + 2549544989137374409258674714295328089425836413704697840922336743087\ 4950712859175045156828532236680136373366224399629716145670790266082\ 06413919132354141963882578688026534340809448874179/4526966662988236\ 7032067388454145101732112860233329825680993940254591206906118639313\ 2474512381486990635687930821616142525052411073194942093123017904896\ 76021978978670806375040763224*c_1001_12^10 - 6199780049314072768678751078483798322732271580721440991584951948706\ 9324547949594090499564348223967653812612378482124250350355619279707\ 96492223903243772395806062957810000292383354663489/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 + 1356942282866917500487893784667549838609040467169486905866345973237\ 0894683801520721192231631307778128384333566532542963569332504253251\ 0478335077311661742078778115768398117235127458261/64670952328403381\ 4743819835059215739030183717618997509728484860779874384373123418760\ 6778748306957009081256154594516321786463015331356315616043112927096\ 574568425524400910720109032*c_1001_12^8 + 1067652020743095356871330549385001183232634541337507042197388411901\ 6797159768171564579089230153854941268484679446168075175071129013169\ 35878052079753785159773663180623476964604663218025/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^7 - 5078220588393093903634268075029496161129203401757529987696150160213\ 8362364467669630115224073125837408584178051052812623354751799984308\ 7576412562927345460642097279310376166999464350275/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^6 + 2480132381291423845256415088022944983442414948617618968712408450329\ 3790401126273518623343597737863437070730255294142608767920444319152\ 8365363896812773785917965293644480209490833379695/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^5 + 1403465149850619168002157293409470657540258615413729724968973206292\ 7894237011423822936106214767341004841934518889416777384467396737878\ 335218731619811716393271854803216222702941155417/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^4 - 3642585216141967176405575854420898546315609050960292498263845731239\ 3659113764583399024710243058783380254308567646088353273628792738061\ 876470122221241477007456910369656087987713460407/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^3 + 3429473038371776198044946471954377403778645767243977090070769811311\ 4758416657819566083319990065951988167069478224321445074457241355721\ 394490296549770113102023366817311479636223107845/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^2 - 3331953403472290514749015132759218920899747393914051004593735843621\ 2540986063393725535856986543587319062304083365340894595414133793124\ 57877281794906521206694139268391258728017812963/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12 + 4081167543287937397186246983373484927652941456658491325937049876526\ 6001303694145128439777661472499412407728606667702336628431700156738\ 509438156694066640872807331310945134521614357/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_0011_15 - 69610306838651391637026474614177853786450526434350549511052\ 2632321684568142665536913539795094155071268454962235463182826974387\ 2993575753582286854665784859404325284021021545923/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^31 - 6399941206429826662675408901167719403358261138801791181492578998729\ 8616988808619361027134420611130158049202270260727518313747525211374\ 382199249301959842100566445663811727508795/129341904656806762948763\ 9670118431478060367435237995019456969721559748768746246837521355749\ 6613914018162512309189032643572926030662712631232086225854193149136\ 851048801821440218064*c_1001_12^30 - 3177925087886942056977602914138910275951506109185321722158642271546\ 8390313746255583207402389672776419695260794591120246801422381329383\ 99541969210683145872916572814590776167894285/2263483331494118351603\ 3694227072550866056430116664912840496970127295603453059319656623725\ 6190743495317843965410808071262526205536597471046561508952448380109\ 89489335403187520381612*c_1001_12^29 - 6936092672344523553960395500462912013238809201857532146012148054753\ 7071171566332890500560534808878249385257964953430855022894878176041\ 634877858448458602905811020713454514348651965/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224*c_1001_12^28 - 1281490911536090019386105118402624911112887191160800135237799453344\ 7422288625514558290924562861763155529576310313184121990245313289945\ 02102386754561044193895368405815876670977491413/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^27 - 7508663102626283323413894644355250947677068668556821978497519254946\ 7870094587181882194857116440695438979432362774702023856838589018733\ 26419523600715778026203071652119097790905600835/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^26 - 1584551152219331994795827755415484983302693379851559095361355371418\ 0613772567241618087469364214269145677175641225887293810749854914481\ 723088451465168270141654689930100945140862625013/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^25 - 9397335306839748562954132782639942171887537401555115633326593280413\ 7342267697681818746858450649253021220871620844250339897731770978468\ 022762992627914534488738047005974305644540826513/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^24 - 1084787314350063095392586989487039352327584805723575146417753939149\ 0420741667674763050560443669137559573996453430055650133240236520271\ 0706101241127924242345432417393793412038902934341/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^23 - 3313623429358685534664182602807551327623271264607382328819442148919\ 7806996441339899262392273024494531669021443116050815001397948794059\ 6172839252796336952878465394753845690586313844711/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^22 - 2998221340588092323862052611153119719347835479243367196112225080451\ 4131695530000100904365608773468684820538990880425379867056591327192\ 3449623489263436789818679848262893425012932413447/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^21 + 4142834264788990541391944496723719791417873873774926506123765163243\ 6558482775615397295696287715267926533306696738256602685391446687737\ 422453939151930305065143436730456021814616589765/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^20 + 5114159345315473902258775332815833910581424966218673132356532878897\ 6022389598490710680670631156250704413000908577175956460206459873270\ 0882127126958487097238247385229857274569187308383/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 + 2445747784257038552226754533264372617323823586857164785044214958848\ 4770060791396565000841567385936287257280877911456618829951702589466\ 058248561274395265502179899664737981871714051319/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^18 - 1543478551812479869271361214322345005908627817481250275986070718663\ 6669987622292563187352244123639180556532049108345365248369791838034\ 4280382774712362736518200440671426388246914449275/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^17 - 6558900594160299556805694020048079019843993800340231042226474710763\ 6789191586900482943663005727492985072090421275793896243513237078160\ 9634403605235499273240794473602732370636836952963/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 + 1227652830810319047150003376810853259081102324686005547824587681888\ 6111941202619572149525420552468976728883721751893250318965943059324\ 4843421499460530438732720731590136759027333565133/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^15 + 1079734375013232140917160268365547866643582088061410566217946207379\ 8609723463914300350976359026364800756971831912182917178640677456156\ 09728546591663152874523543956205561195946031409759/4526966662988236\ 7032067388454145101732112860233329825680993940254591206906118639313\ 2474512381486990635687930821616142525052411073194942093123017904896\ 76021978978670806375040763224*c_1001_12^14 - 1997704260683634291877318807052155104125892377082567931705458561170\ 7387183231096888358923883010083135887193596628522911696535577447465\ 3008845773082215697161766178023080929584129151185/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^13 - 1043052068158811764778871046115220741284688971294875228826322071408\ 5718838446853403654385734578765976469934852247705032620352118388668\ 23788247417040867238737860284368203002198818913627/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^12 + 1446371841002889229671860929710208130843682702361943564894843900856\ 9499476382083620751354213124114125767023775856602917404780424987264\ 936983071761064551661006517541792596193223363171/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^11 + 3064108342018671696079893850283286065222386784147361491111959566237\ 3790956346394503016308481215922779330835593056503004515330098725650\ 4492417661686052116368344192256967219513696052907/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^10 - 2381762812394335458865933742836827883915523362238329603735664905848\ 4618700738981317651982430817179014516462837608876856413348214260959\ 17251901494426588827621026246822888253975076857681/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 + 3053774463711754774118018115249994606274654553126923596389906668868\ 0898741421290235365112837157263395875382529639908788764880774399550\ 931041334164371031933513519405021647159360191373/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^8 + 5105954327381364594356383627615146669413921708644824304541688381377\ 3986898637643502333797336727028297599666833518747026097467631941733\ 0831231200401751610876113290439544004428165008977/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 - 3460037959930253490452437579238162112933907238224178989204103362770\ 0651033004575194013220694677018094393899862280409355974851633723213\ 9691084536429849937977536674841692063149886505197/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^6 + 1469558857340203149121117751969844464859284184874142129371941339067\ 9355252889708238863465094827109916485965114540938584660235258423351\ 140550990801160266740922543666470430501779348557/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^5 + 2730474847527970483689094558278912737680017181805035375299654892899\ 4972666132366365318846916950614046563969339364394315509515793851872\ 189350048335864054948594114637050773314176219739/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 - 2735280693455149134951624159049344326053426138588554804306257872933\ 4484553549423158406719601429152202365996966949002784068789317067193\ 941557788007276637399791064662691315748135278181/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^3 + 5628836692522916778307033213645236794186920583964074964187079901479\ 6324793419673220545225730812132908662604372009368528944843715381955\ 70759061493416142633219216670417326666961485973/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^2 - 3642280893215557601442652039201605314052698307642931839286517126479\ 8577996541433647696792095310673867661247622788965866715701230875299\ 0805590836039968523649641212148789154063617829/22634833314941183516\ 0336942270725508660564301166649128404969701272956034530593196566237\ 2561907434953178439654108080712625262055365974710465615089524483801\ 0989489335403187520381612*c_1001_12 + 7025203296804475467623158228294845439448506685907381374100817444663\ 7184827553044504823776774430560137033237913206859209893734396584437\ 686073864207964829673442816675710142361554779/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448, c_0011_3 - 134996919930567269914373705936534202863944728009394495902877\ 3868175819839482164719428771686194666306176951691707852310058081829\ 007101892068853504787535258061822050007343722877/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^31 - 8680253515418759767981755723412519402028577145559331739761572793333\ 0485705048785597201896687506366402810060217219067701470399437993326\ 842037577071879381293902626061792857268351/452696666298823670320673\ 8845414510173211286023332982568099394025459120690611863931324745123\ 8148699063568793082161614252505241107319494209312301790489676021978\ 978670806375040763224*c_1001_12^30 - 2463556647961184740397678730257927331553174111086433407248978795441\ 8158873636849881430456605002224930378427962409297632302221374441961\ 33336049331029735913304392476098436868496259/4526966662988236703206\ 7388454145101732112860233329825680993940254591206906118639313247451\ 2381486990635687930821616142525052411073194942093123017904896760219\ 78978670806375040763224*c_1001_12^29 - 5372081744022015032406465591152589853772009382710603060591252365915\ 7781694248588548151827710491182324086961117838476413000089894474031\ 817724936098073419685425653344864601773429197/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^28 - 2479503684808324370091180276543334602528323501533649521589074603202\ 1969477555087303259966287157487454042549585572270839366986363273434\ 2734661144268174403146292669663135835927723461/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^27 - 1450539068888904080326388735124851499136592874300922636113540684660\ 3289495799496700600731332467136458436148804541151148254175565488267\ 58350583470461680160299753033249833508279462199/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^26 - 8722757372716666856387230719925828744391806221666663124716350089889\ 4378623966114233572945368739941724867981162301144223256612992413755\ 8155868243828215232110208849053084013601853911/64670952328403381474\ 3819835059215739030183717618997509728484860779874384373123418760677\ 8748306957009081256154594516321786463015331356315616043112927096574\ 568425524400910720109032*c_1001_12^25 - 9011083257105101160014641884472361214026770585876639856828047104577\ 6146188105459167944425506084717884347687165009623870315135214630555\ 80801253617993943917191521712503133007626975959/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^24 - 5165107620384907944157802074979989319615610398735846559204357906754\ 8616992520832051577210133547238800858126382183173939347966753794458\ 38860865962719638059937806913248763844855828632/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^23 - 1242869013866888394043696108318904723965190618353686660113715967026\ 7150765941190675612241584447471418149488353875353546106401396050444\ 9704107809946261174459819824998263778262758962793/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^22 - 5360401527959266704692553467865286118299042503571455184341166400504\ 8754282402080122509017325674250823479829491631998506399744684507375\ 312710981949365231879988052253185601933962709915/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^21 + 1112351234218284638351568988665329978946528502188314948487995360024\ 8980293711350827231064856687711465007147717104989119521012442070460\ 419188815465718743889936273236384194132137873553/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^20 + 7495010627971142182380964905198411926770372228666596975086371054082\ 3879737827416980396119399452106380442075586992503789921466050048881\ 19198014569808146116112056461448540181308537377/3233547616420169073\ 7190991752960786951509185880949875486424243038993719218656170938033\ 8937415347850454062807729725816089323150766567815780802155646354828\ 7284212762200455360054516*c_1001_12^19 + 1478401469408753641768599929205635271059559872662369103129530399037\ 4300508053058860546747014950796618483254387489487415394034150400032\ 0816726852580311852965772148506534260924844998687/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^18 - 5471194408346393916917283256618255182180870765243505677376820165925\ 5734374696364087278333922384585552470114979482776286864842433976647\ 359522721288726298690066191853816062666062269009/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^17 - 2664968138966751336607648026305075325484254437496659157129483986926\ 8411279482849332491818614766423926334927196740201170410002204511328\ 6218429267924513892670851655174600173234836490923/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 + 8805428620871902361036367016562122376455864145274373683938107211308\ 8729711380150849043518757202607754574610216302600150233680645036560\ 53367479598666620443305339418817304167660214771/6467095232840338147\ 4381983505921573903018371761899750972848486077987438437312341876067\ 7874830695700908125615459451632178646301533135631561604311292709657\ 4568425524400910720109032*c_1001_12^15 + 4332034494875877200058852977558282538903850697330455212903693569152\ 4619549043967487322120696762816876343982503950756167515889443314224\ 6674306257524007617584706770292598748959639992913/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^14 - 6276105133950697297953638690917968697957294739023503091074878170109\ 9031826726700135567895473128375378632453293830836531195050929700374\ 2222335356556786307151809449268621870250141894337/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 - 4573666528621162670914066455714187080134227790775144614549463710729\ 8095246774554878158800622474310983364104813146332788385262307264085\ 5710747667339887024646640530047863314609796960645/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^12 + 8921451509966172936014653357669177883918994857075648546048419541046\ 5335761313179349969098411113926726903949304133690542923536017449778\ 84651221411506394104975537868019412972576499533/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^11 + 8845342903560555158464498580607980831997122347364960889814876539337\ 8549980328482957621530707048261210550216763544422059274102230175281\ 59110460931719362958920299178025652181448146471/8083869041050422684\ 2977479382401967378772964702374688716060607597484298046640427345084\ 7343538369626135157019324314540223307876916419539452005389115887071\ 821053190550113840013629*c_1001_12^10 - 6584550156334995882612011476345026273380966060867088431643060309212\ 8383718548600535040715792758277520605076714998967459230150953677399\ 910685861210000021231583844842206331060586043125/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^9 + 1146038125882050816007115803594976856739468319939688200448794047788\ 7981851363556785694942656905900359607505728038473356605864689711269\ 1858942975325232872679798854171523017876725888693/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 + 2347307642935032760822760580492308951865576140934902863731936793209\ 7034644450084821656751518640725913549658930743349685565960842148059\ 3202216378041027601750008124743376954029348562749/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 - 3274582244750462465768599248549564568849890875119812844231308777212\ 5250556216863552160917151024502055895393320443715313683877459405318\ 966903956227197370690835875868444839420198505093/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^6 + 8148497588017183154410909166074577484625155989925634110958379223138\ 3104345844450451477854590893743332735090361518153714151746591377727\ 7372028165130902178342355753365775519819998337/64670952328403381474\ 3819835059215739030183717618997509728484860779874384373123418760677\ 8748306957009081256154594516321786463015331356315616043112927096574\ 568425524400910720109032*c_1001_12^5 + 1469106794361569839856090162401334905933573856175278802641535900277\ 4749741349005189332426922298222591864124557058524201106013286810907\ 154563096552974971963902367155774706555240127979/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 - 1031511835635701425610043898706344994383846528764648314611848371053\ 6827752117093588602169148049213035292038068839112381150781388365998\ 760232084087201648532975281786624195658928067241/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^3 + 3600688321579732121772060222750460870924240351197313762954835269314\ 6877202618266303851087795516640509103164764127345702656653648506013\ 76535714856296114341020548208357915072189079215/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 - 3883666491400534053186135587169068312749831711451441204536924865587\ 8278393135326245905257986282915135716262516452783338629267516586486\ 176314016835202623723284866465664658941653459/226348333149411835160\ 3369422707255086605643011666491284049697012729560345305931965662372\ 5619074349531784396541080807126252620553659747104656150895244838010\ 989489335403187520381612*c_1001_12 - 3565833976327392684716040928683230619656390720515996556196184339889\ 5870924659276889369064574358199012398125190470220175835509322665057\ 180179900355821504748558762555272786485060863/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_0011_6 + 103859151994691315581811176741999164183445494646690420541614\ 1120092487700968517850461796747415262280572624498352517001068952702\ 6676400570826104217431062405777016228568655967881/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^31 + 6649426991169996532331337478946151308810137968270005583920968318081\ 3735631957716024969408170476755506718537784707092955958069098855199\ 2002107988511752326390158278548021139205835/90539333259764734064134\ 7769082902034642257204666596513619878805091824138122372786264949024\ 7629739812713758616432322850501048221463898841862460358097935204395\ 7957341612750081526448*c_1001_12^30 + 1890875682845323726255622886932826087254776193622448977594883438345\ 0955165355927517497143879931184573265400351727569396703442225709588\ 075331874418683401749365606028415002678699055/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^29 + 1026836781410141022855558614533283243558929395144092328050393153883\ 4639839240168813150698072043585492919848467674570127654939365539163\ 2139028795124009920280008173288191039737114377/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^28 + 1894075897507543222805284497072537571556556725237845329342586887520\ 7814873954433475370721425107158960284261094364783279447759160118193\ 29941956425459816237649243116382817753954754307/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^27 + 1103630520768532705234797819836416884250732804250534260703076431782\ 3056228311671084253735634756232323737910374313383213349999088370897\ 940775076619050787416969159870015655300103190133/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^26 + 2892678704580770447581091651997901631561969978718455577381863544406\ 0178766338989602566293806307091301344906357136164068093886536432356\ 35462787578635218353369102363127150302051481418/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^25 + 1358749012913411454535488823005470884622203397738919601994087862542\ 5706821077970372476141294499120850164278742333261824942210899036172\ 5259654238342408650379532281886715797870132498829/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^24 + 3103382577553487514146949758429191007211014491221584640799655434235\ 6956405890806905683754437345932935885990752261253010448334155676950\ 3332656424719897472454825285388293001419310710431/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^23 + 4623176042560760750496674294730792993850105966615830438992819317978\ 2909941548386946963104664785863767516366779055757241115109597735968\ 6159528948362631578808529622614007119859928377971/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^22 + 9851512321157572633737044187344176672086737870940741016698907726623\ 0295851639664657241857665599468829684670357401824115367399656885443\ 961198532528827999271211945449660595414265585765/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^21 - 1520555861578123731697695809189256521376791504753117962860853933979\ 6883605439766824513607378757079624081174869041759397368608266866590\ 5885298834619307149231235181426341479606772936955/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^20 - 3812742898573048516860812456206699074691434097304627996342584993159\ 6018818447985046950325406226792264704741728691293378462068281719519\ 9400387349740036234348500221398536652199225875821/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^19 - 3699131447483713974620486773145071021910893830609691831610034222640\ 9703717674129497730946221726196793544971302473835442863751862161770\ 923252879161458504774033584150438244055645517423/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^18 + 8429825051302239143671850392327072513420457389546483805642492282381\ 2902687818351089576314572988237140832978887094458234718278096716891\ 9553042565673674631907292592057489532000460035331/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^17 + 8707616180528141912973877027766123994221015982863458304625603245569\ 9410727856586131941166212719236076981451825131241451996953815701740\ 9354631820030392084102577621696756751606407747825/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 - 2458665747552257301128820649679309614972210461256488494074852406915\ 8929926959284261199776186508436668756785468150755812140098757280682\ 8241899701222486120506048647078696792784023181133/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^15 - 4618566444055338943039741155666712129810572389518525757802956039787\ 2048533444777880031603784760531288269262064036862147856441843554493\ 0111617788127116329668159571405344108750482576625/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^14 + 2651091567865924279324219355833734830698460513333858549484289690884\ 7936799364138205248110466530971739436430172487083350090069316720691\ 40490669823289372458954425209730587363098620493133/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^13 + 1459339494635199092729288273507646227526491779948930909914702839775\ 8529191902111080331962153714355283459133452626855381543692965314918\ 29868682425693199703849835953774805493369616672589/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^12 - 1402758761258432461411659453579557507943127670095282404288412279877\ 5060446351588604556609640587826192674243036331090794996511263098634\ 618775085346424095119471480680981013569089434102/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^11 - 9273577649167554252520298980112923795671485734617961179980184472034\ 3111738328195832309939652768445589035520142601918197327963756004703\ 4732222840914987582430504938625772085281877617111/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^10 + 1920886291928615238869267955950966833574613002142435696403184374026\ 4623814791365700698714148067189292280028369425423407109041674053308\ 11489175768343201123942345995099967058809766955919/4526966662988236\ 7032067388454145101732112860233329825680993940254591206906118639313\ 2474512381486990635687930821616142525052411073194942093123017904896\ 76021978978670806375040763224*c_1001_12^9 - 8228084178639370295620971443860233155950643161242265778738835491632\ 6018256463502369775525560814033631895057061694627755604104204131177\ 2440070008758375968470736063648468319208647765551/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 - 7979404452506386704540667822294442303043744498882531638110718352679\ 5936880875266341820577211642714981883284420075549512507668787285452\ 8041782911894170474616554567294804661839096082557/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 + 5872135151514995580848129859476418570454407185650433504567084356274\ 3378476194186859119126994136181366294147348026643310237262302772744\ 0586549768561379826854342995066261714679825271105/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^6 - 1108193880347097515882669412455954680355728118204251506229440710623\ 7775729602451389640335606232637032470689807119438183573025675285686\ 0526104894571435639974853814385103539065032076363/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^5 - 2155808180137303186641036925640087406827877410956627312774504162894\ 3643819384920511265533984768392456065541088972229708482687754349543\ 178576482172252721728742204574364082695498516131/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^4 + 2216465233843408559653277547856455979095965747384498050334891756617\ 2464659551403146097483551624199612426346407768654414920909047865332\ 259500067818011672581884434184456950685585019505/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^3 - 4682960650240135689945497425998396300643694364473259487043625099292\ 6518381961522110507459242436964366057379178059866192847414486228144\ 91357898858056915385111613942257661917895036391/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^2 + 2082582177461014609543003916775154007181547215589915717167843776654\ 9501253856230974346419333284434544434213870337431419330938721363515\ 8978226978632852234931514914809344975513575279/64670952328403381474\ 3819835059215739030183717618997509728484860779874384373123418760677\ 8748306957009081256154594516321786463015331356315616043112927096574\ 568425524400910720109032*c_1001_12 - 8011664081817368699896440942803085598688806066334603604814638445117\ 8080540299504613472819749657763110142589857332854963589746474903544\ 771591228552027685598887975298859588078016887/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448, c_0011_8 - 448856589047914504058487472474722952120724097640643490133103\ 0648726029746566623596522024727652924463503428482965116004414968172\ 6895219099422349086944056253676082640655690665/80838690410504226842\ 9774793824019673787729647023746887160606075974842980466404273450847\ 3435383696261351570193243145402233078769164195394520053891158870718\ 21053190550113840013629*c_1001_12^31 - 1942581338022373581268779189760972439936831609654838631298142645836\ 5195767489279304551609778450798201703199960869916443476102749337242\ 710120916060376537119032996925562616694237/226348333149411835160336\ 9422707255086605643011666491284049697012729560345305931965662372561\ 9074349531784396541080807126252620553659747104656150895244838010989\ 489335403187520381612*c_1001_12^30 - 2804576473107252238517339528486919292748333368753171346198315443734\ 6500873969859197128877622934422334631036879028235418240704565533883\ 3633876174519624659949314212242443605599051/11317416657470591758016\ 8471135362754330282150583324564202484850636478017265296598283118628\ 0953717476589219827054040356312631027682987355232807544762241900549\ 4744667701593760190806*c_1001_12^29 - 2359001510434794944905361775173080326918270997280876952355959280772\ 8667370908325502517363790998731608303697840346335890815087449915416\ 217800087854915943532955604332440894466278279/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^28 - 1077101822463654013063118707804234440558836540993862168497037197550\ 3089240820822139597912995129558672762279436762756276412075731457053\ 4891994936039451303528632037425988717784745843/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^27 - 7551110248018118116044914270567641147113790378779397935959702463336\ 5695919065438386805040635253229195129246984111456304011534993097293\ 351585670653530545765076490840347892147956049/565870832873529587900\ 8423556768137716514107529166228210124242531823900863264829914155931\ 4047685873829460991352702017815631551384149367761640377238112095027\ 47372333850796880095403*c_1001_12^26 - 2426969519344170685383092751338556588246045490679139699378129272659\ 8647693852522004221403200146715437663152803463920484319807559997573\ 19709746722459281042786013793826927901735445821/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^25 - 6644400388143126335487150508680318395404077956389069876168494669058\ 9451370715378335317049173612419214632347472521199683988642747543968\ 92472536860286284768909701533002169023918697811/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^24 - 1409907929049455573857724740548316907818549229798326333054325678108\ 1521827481120291918935859176057435680546073871900120461009461187494\ 155811665937806426951253480322031593299119546561/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^23 - 3435876086968804518131541370134928474324614811509002552193884046369\ 3067533974691351697798232583845150794264727011947159819324333131053\ 639048250070996351394288839432350288000719988845/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^22 - 5268773650957818322425707945864092053963000596251594177634390574408\ 0885042907094196700858819107389330436184066804247657418913508465524\ 8515446377791748107348317550802873261766887867/32335476164201690737\ 1909917529607869515091858809498754864242430389937192186561709380338\ 9374153478504540628077297258160893231507665678157808021556463548287\ 284212762200455360054516*c_1001_12^21 + 6632235378189040711798900739083615728608481801804573415895908160236\ 7755942351408407972989374399464565574789963710112291060968981722064\ 505251448193373188895300650772325761279467348085/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^20 + 3749329888522070022535676638667428695295092549208806616339952704482\ 6216483566026084568537472758234129609031771154412907881023065823296\ 226355764846721128241355025453813372856111717089/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^19 + 1003422297316658142069618808602087345338956831579870802213075384814\ 1634340736265542441986318739216578224980492171571509990593161434305\ 399262005014573804671032114029200258481298278265/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^18 - 1219604468954755297859437889264579968083821527108043080364572997586\ 0787362107101693657282436893039822546696844606523086121369808034777\ 7050149262225485213565236818223169945767463047439/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^17 + 2543285706296105059027400849202262419225393101114625426068051330124\ 4556717665100378133303220256232320391003231720417471231391566232762\ 97947535893408772053699765804215882423776734281/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^16 + 3213116393092544505851481434235216416223311083602635651918731912010\ 0235163824138584161203503846512889535796669243368708166622504207144\ 965178957131986724325631314220707053922799283513/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^15 + 4565085411946194733284717979893383070421978449304328645542646181832\ 7364111120702835401175764930732314098573455338883438078044733661416\ 082113137481342150245635779978054885180484172799/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^14 - 5380987959247287400744987441729324980167163787431009801737713315644\ 8990927142978216199890095185943339255527040248406442464933983315855\ 3047950938138429478377744723141739249249923653145/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 - 3195111006859449280820736988449834926937773349195365494120793179469\ 5346735267751801563742218048606437446040996080333963300425498683195\ 49850011007873282604048354118710599371240031393/1293419046568067629\ 4876396701184314780603674352379950194569697215597487687462468375213\ 5574966139140181625123091890326435729260306627126312320862258541931\ 49136851048801821440218064*c_1001_12^12 + 7051337565946906253018853292993678861327624643784709036361738413282\ 4177410584879097976287819333996982838250760113035303833195349662445\ 499212868664704095652111950409587802856618326353/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^11 + 5550604021009553566702501436499614819676455086551465350946734679354\ 6804990002720215087794023617744857062376025541094125933972019654282\ 115698942364712797727117896664011377021909937493/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^10 - 3561525260012817011273939578971038657906513307416193627208048073497\ 0443115393960674986759795886161050245138633751361063187878705433120\ 3617764211167598471742869594871029203221758858751/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^9 + 3298619545747741547393079173375318132904035063219203529102419538555\ 2942762962638493023649660642030572732126129901280221475047912846682\ 6168604125920763010976306102438750193453075707237/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 + 6722694031541748046766484921746101069236605596916565240722719104358\ 5071362924433706544729180977915803483841618073221132384022408085654\ 038381537246456703867996917066848665899486453875/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^7 - 3225065365000353467135107188523662119650670244185797307187433224072\ 3269580383083154459473798821174241837674457505736695369930259550342\ 705426765418612198093081760457857477584579376913/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^6 + 1169551011690953013218129136290181429053277636760346387046184154018\ 3391130679114411179744323935190472009869038943065372818384917297741\ 484085245036000419074632205835548784867020405557/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^5 + 1599529741299141079107346612318653339736016380259631599752737733847\ 6079511031164707538256506982353504205965780875468039124707231887473\ 73078588501248921231751116913374824312190105085/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^4 - 8737725540259932929890936813952466531434396277459597649079668507674\ 5480210403272266148092263431825242431143109043280556806558070462803\ 02480257108557964367779207983578310205895388321/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^3 + 5008085166037832940433079339070696813218346502231093379247947504580\ 2941554613511878288367395520698236278468681122855929895951347506136\ 23271938192048824987067508511222636330480974583/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 - 6811078141237739967803917393764795828134853995807188973429151334925\ 7506481113539892240759242430750010706580816060436149257586525995874\ 6443256181440630636067102046561227819948123511/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12 + 1183320326845584544432374575991588616409920592915823436128391607947\ 6618093406094289118424153217141666441879669071870290974281163351492\ 420450438435183871393357182526379466856905377/226348333149411835160\ 3369422707255086605643011666491284049697012729560345305931965662372\ 5619074349531784396541080807126252620553659747104656150895244838010\ 989489335403187520381612, c_0101_0 - 652376463105620595743359053833838567916265873375949295102409\ 4923232949441445107963453890344273117748177779618310058486390279843\ 804293301751619050431894841311643526773364686519/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^31 - 4076835996735026054532228568596338837604908977693286544037479362278\ 2103952584787209274518670832502220614077346177001456454477770017358\ 6500630275098665369551363903561063990407345/90539333259764734064134\ 7769082902034642257204666596513619878805091824138122372786264949024\ 7629739812713758616432322850501048221463898841862460358097935204395\ 7957341612750081526448*c_1001_12^30 - 5857346549385430988313377805402377779046511277954317990088085182693\ 1666344238882972486780924555749348218406327656665161686128855526217\ 88751252607820751291737382830234722142698661/4526966662988236703206\ 7388454145101732112860233329825680993940254591206906118639313247451\ 2381486990635687930821616142525052411073194942093123017904896760219\ 78978670806375040763224*c_1001_12^29 - 3110196607366903179712986577333144860430978727554028117078928509532\ 3338316189733036693188008145937352900556231533398041682351580922386\ 426706199654294703569351123563538403063235715/226348333149411835160\ 3369422707255086605643011666491284049697012729560345305931965662372\ 5619074349531784396541080807126252620553659747104656150895244838010\ 989489335403187520381612*c_1001_12^28 - 2847809116260918494070435409940247332493211197235565662818915717427\ 6153066987907378934002564094221253568914843544259634294942868230545\ 2979128773688162658395445332211015062596519907/22634833314941183516\ 0336942270725508660564301166649128404969701272956034530593196566237\ 2561907434953178439654108080712625262055365974710465615089524483801\ 0989489335403187520381612*c_1001_12^27 - 3231635118412583842503014085624685883302900270689889793248190467375\ 4183320655299819646578697594339902188833972190078345435796208179182\ 66985511092764761722381098156241087722666078743/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^26 - 1314620399621409957079037682972967534946897444295416386694739379321\ 8766184294887790425597359419243745780330894638109780308186138223426\ 952879391963815311877041338600574273590162151511/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^25 - 7347286500902249941641035703383245184341237236385449803916380390680\ 7866011849768076811297198621778397467121484147691925354483643401202\ 318532486436462759445251367048769911500389099719/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^24 - 3976777099273911062103001814045652529470135710518198696018000225354\ 6604566251745162779590342680927364459716751877268131256906953705703\ 118363847763857371823622254528251918686702955081/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^23 - 2944463370787984399491744660144912168183194311687639296507124633414\ 7962467966986895854818121481626626959233636253968321493100886576062\ 427790787290633440139239842565311718992364936471/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^22 - 2839790003981946139893792528039835627576382883707825300254982808362\ 5477183338615634728426573527188852895777198128569721372550892285659\ 044074781953864707540412310802310935191685768081/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^21 + 3221506163913205482779963299039656905152600453135279985851471786728\ 5438570286587836166201226474652425152627742991236442971224732480450\ 9705393167516492554104475462798580144543582796143/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^20 + 1104582522088840380470506812452372017798846674390564983986620859043\ 9624717161750980740573567244931478968442647195722900091019293362056\ 8157783444874227576824368791250030397409893330343/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^19 + 1329312677937983578979913745432608132616385018689881425207291836142\ 6403547613097044675769941236030011373269153374342460194733140586838\ 0786960710182640990167525717335471608315014402251/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^18 - 6177078472871009409055524873444593086610027877568782514979439318532\ 2045630883157923918120485178486930099932582075499748795929331427637\ 7338079381423060998283111914372004824186164802771/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^17 - 1191276814476850705872113226104512339457709588493522428643719006251\ 7891321304673932010502150563402417965477249262654941041745954874700\ 673453651731197666658180226861023954462795201443/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^16 + 6114197389546503857972917954589510015913302248449528704256640267784\ 0287008090100020971283454992337898813494983311829486157171868920540\ 8062793984225608688935986839128827450525188942311/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^15 + 1996102630756121642018694462536615683110616865787714384167030103238\ 8181011189842230097981995291093139324913013158340310997817986289032\ 37936381767759034250398226786124024948244153752227/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^14 - 1748830556870722664216758948773005053778301127561029651601176388334\ 7529524437577548711766842372539088957428225001327395724572833301487\ 8040862684286566947601108397195062864451742008085/64670952328403381\ 4743819835059215739030183717618997509728484860779874384373123418760\ 6778748306957009081256154594516321786463015331356315616043112927096\ 574568425524400910720109032*c_1001_12^13 - 2437995172825129545654605404784083642446752588887318714924123208519\ 8144613691036504623080074011694914714374827868372759799364478805823\ 8268413741153388891638561904662162745636460529377/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^12 + 3744104313307748916406757143557071794433746035912353207445055705059\ 6597149432261142370493390141413901943554301528016522117315112433704\ 934432013435906790996764143860590086607156719968/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^11 + 2399506497631239661221277694206224404336890876551202399253711798957\ 3539467343825215676516179997570160155436931903633570043700744138168\ 72626355031992049364531487754046069153897108485239/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^10 - 3281963087508898633818314112184259311575956942726616098907204763122\ 0585533825956533498208504604044549205156469938551700897867829738851\ 42995808431930326766634055280362464597375135797835/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 + 1514711582792462006970561400406251390686333007848887771621954195318\ 3177215238196278516369736943814639613128945760273092671805052091064\ 4500581501885990947999485274109626892953994962859/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^8 + 2405696956424977874550870467493990293916444061210635804630957120529\ 3493423811258827977016328237111724564144255402801525025074335021183\ 5749890203353990414053055912631576672441344423743/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^7 - 5631090978600761925171266482976411389640244180220834538599232118764\ 0346758504401288064601265624565613569077933602029663930629852446188\ 4914779401468209746159451788075682037687364986051/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^6 + 1599115342259329378139539964001300976174704187262858904711343602465\ 5061882696692516050911614470971482985025390906021157233746405291014\ 5935517036893109703121043200677934600674114440349/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^5 + 2416272597467941542660371356243791668691333843575026488654542393764\ 1389735286222597352518616461119009797041246870824397570730404147934\ 048928657648633832502931607161639132733206527137/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 - 4926839868957025189185202392235748348247041742539613634354892075223\ 1056499973535426423938066750803682287626939577393096542037464800174\ 93658699913928662397601589229325633668819775733/1131741665747059175\ 8016847113536275433028215058332456420248485063647801726529659828311\ 8628095371747658921982705404035631263102768298735523280754476224190\ 05494744667701593760190806*c_1001_12^3 + 9739075676631143096295671727283697740940052954939729373581151801646\ 4643220487994446930393510603218545126487915131217696886670826074785\ 68367128145875711927016558174841920692867267463/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^2 - 2080349947094492805043439225257371230742321829950005007754786765822\ 1081352634371915507680391890874712890516224221239011565670921585763\ 67859289996781511712045662953003092267605851941/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12 + 6061729186215209100249070966510163259918128576841775392042316051989\ 3712233064745377017722579118455171853135792896747191773548582117472\ 9368951832846342450380777877298063532195087/16167738082100845368595\ 4958764803934757545929404749377432121215194968596093280854690169468\ 7076739252270314038648629080446615753832839078904010778231774143642\ 106381100227680027258, c_0101_1 - 933739252075368716399391184906368488977788134372774592719353\ 1440233690981232967813426600867044861269356406975339263782163138634\ 36394895311916716069113522073417781671815213879/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^31 - 1534703822937724363694965684437355506329122169431772662171122966917\ 5546912759957665759742321179128989121273118636768348231473393880358\ 616108208068332073835361290224120406869060/565870832873529587900842\ 3556768137716514107529166228210124242531823900863264829914155931404\ 7685873829460991352702017815631551384149367761640377238112095027473\ 72333850796880095403*c_1001_12^30 - 9863093994002434539092483912976556608447043700433063900622989811314\ 7318087721812679248237129549740419100274384032746623212908501165403\ 8185548217041765358429500969814829120595327/12934190465680676294876\ 3967011843147806036743523799501945696972155974876874624683752135574\ 9661391401816251230918903264357292603066271263123208622585419314913\ 6851048801821440218064*c_1001_12^29 - 1920039746839647580255140644109260805456313829604991218546567175730\ 1598916060507921465483502700892807584595094275356070178805309858612\ 171156716736240321056744080185782215600777367/226348333149411835160\ 3369422707255086605643011666491284049697012729560345305931965662372\ 5619074349531784396541080807126252620553659747104656150895244838010\ 989489335403187520381612*c_1001_12^28 - 7135470145715440613946286501367352577457801625612664812931016955948\ 0775105728861059800419061409795272899048577301834394593733639076095\ 9641274091102071835647040988240984926999437543/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12^27 - 2668047909589994431454507322129565683960334500215387021129823593014\ 7047517724830797419178387405939913111489412314776079852705026380190\ 7891585148961429337816477702877436443648510922/56587083287352958790\ 0842355676813771651410752916622821012424253182390086326482991415593\ 1404768587382946099135270201781563155138414936776164037723811209502\ 747372333850796880095403*c_1001_12^26 - 9208224230397141439640708538622177517866506394658915398528102321422\ 6117651617342037209079912557657308262654840111770083349052882150484\ 94278692465984217819405725816378548858112705567/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^25 - 2014643826494121679633730792969423997220352303289986646710776942419\ 0546973787730172046714080795653380650381838512437897673233316677341\ 47086817359820121869535472922599430985972192441/3233547616420169073\ 7190991752960786951509185880949875486424243038993719218656170938033\ 8937415347850454062807729725816089323150766567815780802155646354828\ 7284212762200455360054516*c_1001_12^24 - 1918384118173589077903551195026333184885126937791774342522683064617\ 4544747786192303266569003872427452359868839585183190121925658848257\ 506072560562119230256174107250166054977545449147/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^23 - 2741791451006299770301199485726028399611549019331117957582541737841\ 3692813074709252128002790136513090042638895739065288244367459401346\ 079716644244508454299019416648510061141687866413/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^22 - 1126486361873803644823024078965510751979022290138091136210827322495\ 0663197166941350749481574676562956362904369212380760407678429919079\ 0735691875053721618938459806724306264122614607325/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^21 + 7193098095189402572045211119131096587195604476133067321306624165885\ 9242357495866193405470063107055772162810299615273361642070623466417\ 19866264112582594281892368785163609420883207113/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^20 + 7526531844215836818500890764849269036425085231810393686639051094112\ 8352354954659026397823560420395950604227326414898365452096285743602\ 680014624072606996019192334446893241358972298139/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^19 + 1533642415642946390944311781100087239723199530339282022118991218904\ 8232793117042503205391041651555844738590031835025113087506639675517\ 5539424320874931427396890808632005926887088765603/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^18 - 1250496312607393507238869620636100499472963126358509399162138379298\ 2020750148315515301524580380687545137728084193002958521628085731099\ 4709465244080587729177193867243761654534417323869/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^17 - 3416080485291223370042557494507085869444018432464649516394609798312\ 4974399125112897646010035715694693652139316298704468089909996447343\ 751259511784340017264017041088707043509430794143/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^16 - 2107882196925670025859888868551508352958364815373303016822107095467\ 3589158195555445803295809637125646659682971464416649058288800833701\ 77176495753139367227470897704439793362769120211/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^15 + 1194937039855422253980339893247745842545818930039571188333876988396\ 1661378792904469005585651626805945129474437544767074483606932825245\ 40548721759193006139865053836644588393149345672529/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^14 - 4558522188795310384322763068695023573826737956016852911003885480612\ 7690314361065615269085432577505592943859834560390592126334384707157\ 9772801543572935045966901503611479175700084679755/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 - 8308563460620365538512989606424956091376725135193273711549159859003\ 9404356151974700369564801682552853621482843647005449924470117061847\ 6560594664365543178598992474204262679205302444497/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^12 - 1937464152924647803365973795166066007245204196250070953773077462676\ 0660623299613960188577736311783272926021513771891233025642393621464\ 7881458995731115851200943226216981201407435656699/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^11 + 3273911479827702499769771425294005731595624546534780803197687550798\ 1687397423742414055206483625683930270184625885257955172412986040325\ 5053748714253827349943446610688749962432430643019/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^10 - 8260314518780387944049123656867083876367005045737856281609351765944\ 4302961336127711999862187541022753723234466815927255546074002768779\ 7030004933784669783380704168462989069064148677145/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^9 - 1858124757028314325585337118704881217667149518576284442830358607325\ 2322358495190968909453938832192821190748356343777497349003020063984\ 1309735746695413182047556567228772804310114227239/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 + 3282666866386096885093930943792908961796283562195232189768502382858\ 3960444875753021110052982292408096356645087079331831735414010107511\ 1342319940997566463146928220393840015312867869087/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 - 8402376643541602440744217039999209649632187525771168454019911014508\ 3949433056619728442425014740860693629317466320411148481249649034844\ 657164121668094602590237575718902989057612653601/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^6 - 2979378772201947030394026398858459153006706643785038930881895489869\ 7429775618357947363957977698029334592079921515068966615555534347984\ 752877473155327128072408135692327164972787968613/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^5 + 3171635779644186850987938373165305263350732878586085904572385636745\ 5538079092882810121198469778666127506485170414342667867466474720257\ 22208699137027785785534981389112136149361666097/1293419046568067629\ 4876396701184314780603674352379950194569697215597487687462468375213\ 5574966139140181625123091890326435729260306627126312320862258541931\ 49136851048801821440218064*c_1001_12^4 - 2939748552225095525044144033264619337734929252238655427916992465977\ 7539363552284730631611427795052366605884199137923457377639228132363\ 0730952234424128405170378161649985156625619931/32335476164201690737\ 1909917529607869515091858809498754864242430389937192186561709380338\ 9374153478504540628077297258160893231507665678157808021556463548287\ 284212762200455360054516*c_1001_12^3 + 1004570543797256872119868181542856676623303083182130991660903941053\ 1700448140555316262257173048065636832050430037663408860222385310328\ 14365829072623123522769782024641059678021370459/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 + 9775165372818925214640296077831471222274557355496561913401227335744\ 8277656359413963499990268015481372081132049963035674927632170361947\ 5616347250493006028782521397410158310334179819/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12 - 4437731063555940948795539640438415297961844194210387223149721846770\ 3642301975120132383688501667670930585724227064565233543807689905413\ 048268669122899234758796264948967725099186657/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_0101_10 + 81858172469314879353475078507737353435529551880980461612152\ 2148436390869984441395762026232720126798063464081267663008804140612\ 6926538701148214092436784047700903589215295677915/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^31 + 5234228959647058206401269156544327754437258156075062233657764562918\ 4004050963523969328522299385323120961347519895025193058880882214066\ 5196602790489672501118415125982811886405061/90539333259764734064134\ 7769082902034642257204666596513619878805091824138122372786264949024\ 7629739812713758616432322850501048221463898841862460358097935204395\ 7957341612750081526448*c_1001_12^30 + 3723099176752359390339314450676811052900771876521673824670735742822\ 0936297258671768545695356413640479553203690759070890656258144396632\ 84162205740857226119076572630510424104768225/2263483331494118351603\ 3694227072550866056430116664912840496970127295603453059319656623725\ 6190743495317843965410808071262526205536597471046561508952448380109\ 89489335403187520381612*c_1001_12^29 + 8077919191766646182593301763045582105261252859188655771711615000629\ 9764871295451118273552645428956671638486413608259689385846130262931\ 779426026970600488172954726935193006723827901/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224*c_1001_12^28 + 1489465587865525980036996744853083392413941431092443437637946250850\ 0225182825649533035764339583296344089399794039674816968383891000292\ 52189461186359205575201438025022637936679228441/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^27 + 1083385022584860474042887525729371709598778047024617501747982959415\ 9706393562650889318583753000725840238634182646391054591200871710856\ 93871640864164355130744313134166103708927183785/1131741665747059175\ 8016847113536275433028215058332456420248485063647801726529659828311\ 8628095371747658921982705404035631263102768298735523280754476224190\ 05494744667701593760190806*c_1001_12^26 + 1814591400405202703878653909692041981983439726014884691423826220358\ 7492720957330068169527399615988267663122207817896677825226165034077\ 641629078811350065324128619912294181475138552397/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^25 + 1062904251380726719168781297119325897524155333976786133286445692001\ 8360171957992602121103965780707616948550903809335645698506993118737\ 5466443565251186945187300321489885698164771411229/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^24 + 1513507210380478670106792271858147601198482663990737448082321563126\ 2577634846778491491157484404270437668961936389153215462211125325729\ 128714711836020294911198189983492673560866036470/565870832873529587\ 9008423556768137716514107529166228210124242531823900863264829914155\ 9314047685873829460991352702017815631551384149367761640377238112095\ 02747372333850796880095403*c_1001_12^23 + 5123219741978810151756683149092475656114377296143224172996046662200\ 6320366696202948473023742099350608428534652135076359496002363112246\ 011685114031632300717544762482087314929686571439/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^22 + 3013254173422469175824690289672012882235936811536310066330768193956\ 9153231359382846169270960756799794634257923959391735007465717943550\ 9645725042598010224072608133571769017894161368853/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^21 - 2489163603024730899459664762407918215415483969699929287129690535263\ 6965160393761901868359409554856799182450583816618968545541818461943\ 5958072273732259230429986257669431990537615554417/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^20 - 5989547743295462736953312723075463407212659350478994349573131079552\ 2112638436069167764450742116461295173071944195790004391392087780008\ 0567987599517748337547034173717838063057573608973/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 - 3948921290702166052885566535220286577459397613934270310047832300012\ 0473795975150841434316926875429558428448934849956569129323478017140\ 0558964963514424430852297402598773095696280842123/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^18 + 1341406811959443370500255956687246388341966502703657686988995624657\ 7258879391383397814263795091886183317216828592739864136146338529011\ 50093101542952593864567940727980276785639613185677/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^17 + 8289229029326783868653967821581422467269839316440697386958645395708\ 9414317576653405389668307403924697262292554792243766939499997106031\ 897067051270481476816966576917662585630556518373/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^16 - 2050805457568291704511029271284862873133278821356544269073174812805\ 3274330588018469226910853038995196102041922946385584235394349588674\ 9843228067213467440876881544643759941400322682113/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^15 - 2546347238968812816365842639930942256130865400279529779304687878913\ 8572922393794913063044239819537509006345026119717300330022949389490\ 52773247584755331443381634573511010017618237096413/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^14 + 1530165279899249705928752977686731722125402061893308311288505473897\ 9275020930345608144627705568849771336250902266152177233539743810738\ 5387994934501381100831099258491167254789780498625/64670952328403381\ 4743819835059215739030183717618997509728484860779874384373123418760\ 6778748306957009081256154594516321786463015331356315616043112927096\ 574568425524400910720109032*c_1001_12^13 + 1126195696825058821800763598466373316711567327272726750218107755547\ 6802889671583170101260171278015109537846547096231100855276105204358\ 81435254992060510682152757351770960972290388626727/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^12 - 2123129855300212148949135722321332854451755754984931661608288973536\ 7461825974516344397285428155183479097563343651819845026290549835484\ 3337242127761595165404873361993684571180890931623/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^11 - 2928931904668888162113281178377775722750117498515973258547006082096\ 8145837889970423165206485675918985480505947778832003943780106140465\ 81927720934587816513808914074495478016491400562505/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^10 + 3085833258336013969677559000402015771427063142408118436564688203578\ 8793991247468319768636283829396177935078063470377570774012952792782\ 41742978371447264854497009756337792575591458174421/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 - 3445579767575177148112525958354178931818712230908205524390120099850\ 4768386480158067097392451658693516585312715101267159138271894822510\ 9061232349455760569273486618948899854328401234577/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^8 - 6345426629917614406226401945433978723451849353868728622916238790007\ 5050579403049802173193163917763536269906222417822259571650542735493\ 9962508917812686709547143002056233049993251317387/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 + 2393950328021027991025053415972164419027044237064525751432031463047\ 3680344851047995731679142810535480989810286515679265687126578525138\ 2661743907976053316139182366494395770417832759465/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^6 - 9339095991333629795732561932379879248108632379654925175583980207636\ 5578305241117779799021771663681363033153804563117412234463032942663\ 040797253811932102553186377626440731286056042487/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^5 - 3427720715706327734579142479358620532279949629299752020001920528752\ 6919969649829591263924298328711480879362567063718792090032355533980\ 918554876104721986715823213197459100118372252957/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 + 3591191460220728976118475515850623420739318342930230457288427663248\ 4258265134418100282519346565890146622421557241809979065480798669356\ 204836808646047070516311699178435443050372343497/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^3 - 1532573627587896812958732470141079796007164249284297979497938396939\ 8420486471008831794871429983302346633886296698797953212158461818854\ 482466304049399575665882497420894166072282946557/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^2 + 2403491081209256921182659080677489121782095588939547592770228919697\ 9718957533290671754556676223095607806790697057490722528741797402289\ 21059654934122414710319610818076528703290892217/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12 + 7498240509434835580016942796098093036695392649081252970165963984220\ 4760768875154838629380952737341235845631995798159213231108187499030\ 2878665214311209462422775815982423780786369/64670952328403381474381\ 9835059215739030183717618997509728484860779874384373123418760677874\ 8306957009081256154594516321786463015331356315616043112927096574568\ 425524400910720109032, c_0101_12 - 12747200096343013026311196117433947540980602086696418722500\ 4756072513947128692463160591712105149574626781860994307124257157505\ 363696999669815555546359507527439824454458039225/808386904105042268\ 4297747938240196737877296470237468871606060759748429804664042734508\ 4734353836962613515701932431454022330787691641953945200538911588707\ 1821053190550113840013629*c_1001_12^31 - 5794553077510173849781974127962015372756998591401281202874725040710\ 1204786453115715985411376163504426348302261092602928616598720184605\ 213146742069011580010021306055399048705029/226348333149411835160336\ 9422707255086605643011666491284049697012729560345305931965662372561\ 9074349531784396541080807126252620553659747104656150895244838010989\ 489335403187520381612*c_1001_12^30 - 1637892033717729944553836862549236915927899797123704736629129337406\ 9634841505233905275121262420127362386202123038917402395964262118510\ 53445535581497528458667877949002248368361679/2263483331494118351603\ 3694227072550866056430116664912840496970127295603453059319656623725\ 6190743495317843965410808071262526205536597471046561508952448380109\ 89489335403187520381612*c_1001_12^29 - 1802045595656740074249355348613955452460119592078336196140547611086\ 4812635709770993736014355007263373863773927710676423693340275396048\ 507873801004514258965061791243479801000589577/226348333149411835160\ 3369422707255086605643011666491284049697012729560345305931965662372\ 5619074349531784396541080807126252620553659747104656150895244838010\ 989489335403187520381612*c_1001_12^28 - 6675747979309361875137670446264727457203356496003461071195582143715\ 0350780395935588716268923185981284571488775394899898667999740045620\ 8454379685579615762833825745352831339097893307/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12^27 - 1973654206888894807252982768424832781979459886961794211324376438885\ 2686199873338660705520440524013679813122619884224339720444795454917\ 79638700335901366032759834798050608355218979421/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^26 - 4206379454454964323580016107087390985206629112325163229363086094167\ 2785660272947408938658631827928500202996917033807727984813557131510\ 46074347417713396889491618440085269479301778577/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^25 - 2532252857329426561876584511976224342926280483407898947403365182516\ 2488991214765245990040346489423208239188230459658715570727582925405\ 210360254293319250570326799830459688665334647339/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^24 - 5933718175671938344221341568926481695998788706641898157614651424657\ 6924465534046074122121191169500174530336354868172325495354182778769\ 479387818943570815955530226460619250058406553717/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^23 - 9369244947775044839421623280950612122777419577561988176555621641883\ 2728961643648315287200638436071343011184265971313781721616254091788\ 674022810887553544994247308550616569665302146601/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^22 - 2593740614386703090508151711103695478597343086676001910915777109896\ 4260816668265782596135883660272416391089357135387794374170329118509\ 407767846158762499799313803575207242517189117295/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^21 + 1436551132482736903634036039138488819558733892589859242629052922382\ 7580029167104128783026222450097034288064889787120543202759456239287\ 444305681226442128941165413763379443452712171825/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^20 + 2691599676240644575550227928563948982036426692130760030899449778078\ 0175925904052961322739158296565297343598075422987358395160370742102\ 8227626597256911760249226717179407177857304868445/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 + 1195492226796070661198896704695008750456025923707985273348529307722\ 9172213186802606287985737785337875642641704020298095109012038184916\ 8801948617506082194433653361516993845219917994241/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^18 - 5181181466532007720737459157911411063695772439400023731864346786947\ 5142660251129180097098677492224308706581535427507327264546984733174\ 1836921070520239060535198797062336366373689558735/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^17 - 2047344928788047669570482275912542524546848272221661428709410556023\ 9500622844288692487039027575279324887638587969592508875010814959382\ 9113414035662336184890970359856421022365931162783/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^16 + 6631103012680304425233236036549398325948697272394717294714860719349\ 4856018900485147470457943532892393958248331579246692394790600979798\ 154631270562462084397798038859676466419912718449/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^15 + 2783858278405069984766240970894948344264604530814243883773819560136\ 5546599051272268673310552902004402277537582675029465851877765561115\ 4875020324342077435516520170868722252390582322239/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^14 - 8245033103216456532421550113812018853219106954396265086670252738296\ 6375717924940195866841639248618795819040446675472860474432213505724\ 546540880767049078492535925649855533283233898669/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^13 - 8969613076233963370904429328325193172426647885651528228801131337360\ 3762221970703965041475965714630231005117168574992669131422138985626\ 206833987160836387371180674474983716921521487891/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^12 - 7324962114126114672871606780093915929666942386264145743873447266182\ 2739513826978479736878382515019085058328596119052065140158351023102\ 747377274128596438901445318571785562039400775067/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^11 + 6211865896160520609537444319102975784319780392129387626720656301533\ 8943842820730482475756889497116326219907565492272202786216070518879\ 4553216430300059252754065552757264947986793993613/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^10 - 2607797549900911256473559387938237880073415431005578831795896759740\ 9155464799399118328697433021816195129173386608096439135228716029436\ 0913723080441491926276765231385405725000339934787/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^9 + 3479140574699541653196113076944431915339076330335857194877004074135\ 2037080868952133373902154477937193491309636331494803711497875392683\ 582621850028424509142990137996503260601603749227/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^8 + 2740986938675819822126051069534140449506013354275860616683116827424\ 4049821447657695203734787107457369521424394482436317480310016580327\ 7139095058020866979746876794997152143001304194473/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^7 - 1410999949464779214262647860294920882640694295661634151969809735833\ 4245719878917850109027480769482691986475894477424713486097607110458\ 8331598366948703507427445299412235476503917011025/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^6 + 2872915800322435774559221424687091309069564167278793380385666803118\ 4688670678581132912917341636827076653224062621378802126277697715718\ 13764041926143859635983485223737849088546340463/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^5 + 1907399446248866976493305171127021010881575906773673393453461759102\ 2985827170520774878219253802300217974820224827048257411642465110243\ 99068317503439515691811798637868134584286699351/1131741665747059175\ 8016847113536275433028215058332456420248485063647801726529659828311\ 8628095371747658921982705404035631263102768298735523280754476224190\ 05494744667701593760190806*c_1001_12^4 - 1206166151590371680585782259785731675874622884034242064839977818593\ 2311298863793174696041315919552785065676923967795721972778444480123\ 303891768586691362976942714135436316786103191391/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^3 + 4355300502430225068145646878735630949354090225200409527399366291059\ 2997187555330359344723419383451971749602316189687275133306864493124\ 74848027982279310700674050048657410234209932967/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 - 2572822655547314206243951690673580736987906465568868980707661879869\ 7161297953445857758628177978003763372175627494419520133593985955828\ 1542333937564652609383540516211391470851518333/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12 + 7245754958291187211274312941272769958070311220831879726752206384244\ 9946789227990428495322962811339276711654757679131621469894756453049\ 76591420001887825315684629209457580945857477/4526966662988236703206\ 7388454145101732112860233329825680993940254591206906118639313247451\ 2381486990635687930821616142525052411073194942093123017904896760219\ 78978670806375040763224, c_0101_14 + 15714985375268883020240070167329864819939959118364256378187\ 0694040069164988626039071264653353668201792257440774895708760580064\ 267847276405563580356734168434008045668097163569/161677380821008453\ 6859549587648039347575459294047493774321212151949685960932808546901\ 6946870767392522703140386486290804466157538328390789040107782317741\ 43642106381100227680027258*c_1001_12^31 + 7075990157614691629650341612009117771864399060974716751316018775814\ 8657904970960278204429355457161928785951324060338814495941083205663\ 402752599011039912635871576282604626400387/452696666298823670320673\ 8845414510173211286023332982568099394025459120690611863931324745123\ 8148699063568793082161614252505241107319494209312301790489676021978\ 978670806375040763224*c_1001_12^30 + 4016360121443799701198971066621016660944674430137794477265891412162\ 5806464524588100788657373657283814441188754239410404409389679509349\ 38683051455254497273059315506373306259626155/9053933325976473406413\ 4776908290203464225720466659651361987880509182413812237278626494902\ 4762973981271375861643232285050104822146389884186246035809793520439\ 57957341612750081526448*c_1001_12^29 + 5476121555836910114905710955718125825820102730630668771980791345511\ 6583802765592533083570187517245643899995657843603967908868812821750\ 89900692038352358026763361588249508253321619/1131741665747059175801\ 6847113536275433028215058332456420248485063647801726529659828311862\ 8095371747658921982705404035631263102768298735523280754476224190054\ 94744667701593760190806*c_1001_12^28 + 2023051548210086213841438761097270895713076470727009458523203183353\ 7948455643919711674785427619313080974306501625542312396876345589503\ 8876247619550305331223902545680089908637762933/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^27 + 2369225027006443260004877992529195165717103666308402593046900642495\ 2911134615503727988686323556516515470030281962703696770383910022123\ 89801949705735946371014654796686825628685719853/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^26 + 4995515632594136541862194119062793232661362569598797704816646151660\ 6502921138616138835076454296847734128028778910345766498830641118074\ 42073221817731681502824198992723020941273298947/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^25 + 1849029759579279596041922036788406169362800398513334179422763565879\ 5916556999861064718983304490082707598298990774538620273149411983968\ 62075667068201356574514497524801881231585067975/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^24 + 6817710409447216419760821234561548452934422288364047238679409332336\ 8321901359613192979024622991002356156516540386078657087963551557837\ 273221035343572753875654245652410224445454126911/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^23 + 5184611115877968221334980451830300172850209296577867589477933272189\ 2428424305224415159940226581591708081962612806018947339539717786982\ 038866575070602736892858142619697957676061188949/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^22 + 1324786792915085539528753407522368266569654766914266200498278423846\ 1378727566404309610674436404268196056586027144768444484991635443752\ 314152726788185967573177092603839051966128710601/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^21 - 5519481201315165639357268559705948273380990398063066385920173326956\ 8020504857717471588553479593024489798991542668998261916747152712375\ 812525395506355068032484105183250968675930319493/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^20 - 1635938053850634296768312189337934742170208844130261643112038906766\ 9924998459900926136200070337123234236411513186796752532744475659031\ 8232787099962324131149966269079235241340878142669/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 - 1229862735775033511583114947182812853215853748919298254206215611685\ 3111408768630455389007783541245952534510888613413050879929129009339\ 2366575344745994635984172775507362321082756401799/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^18 + 3445581983010044582341141217781681143421249752056390741395028318185\ 3216581722868201009991195057612448493789488261517828075092808143668\ 9012983588394755399246644456134702278361306884985/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^17 + 2076232957066714818050702770500986020405144529710900395058686929002\ 7879273795263407629431566796096319171617781297446438445353818016915\ 4178095409866540269566845006355456066561955600841/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 - 1019650724959913991544478445986116854597329099749860562504193985276\ 4138990928164479932163333673603681636858863010925569761761019230019\ 599667908502254669907291775608734212845925124755/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^15 - 3433246359349622218809880845178781173682676361917191255786906744685\ 9305255087748014795392047564171963910692093530431015847431705493272\ 9004038466067241432147741213163199371817570469981/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^14 + 5088601760069746910239651870723104197228976266832269136803820274276\ 9517700616543538456316787345820595656789093144703019631136753856574\ 5058740740270037047319035590854245796041693512383/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 + 2379598555786716220918033393151949362963746090544315426404250601629\ 8045015932342215933585588831001242294906468075887719202977572218282\ 030959102402334930121219900143131751505659146133/646709523284033814\ 7438198350592157390301837176189975097284848607798743843731234187606\ 7787483069570090812561545945163217864630153313563156160431129270965\ 74568425524400910720109032*c_1001_12^12 - 1212841627132797893095194034059591582572485171675201852531706742672\ 6348881880254228932899967853384291812255144779254269681274711223310\ 563159237781190356506670328902011645924540014009/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^11 - 7804991549981335388948384136673937955184767953312112134450677067169\ 0988574413079097587693754314592501337021092619352749874053962614155\ 7001170429072133815913105680007610324636109905939/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^10 + 7559393255212165080609769114999178957221628618767529562416805444740\ 4536383352630816287920123049824066249786753804692434440703953138338\ 1235373165239137393387682233862141542028075737417/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^9 - 1336924643489015999395919527151875292313218699425854729958595291931\ 6481483503186235580740657496646598724431631492093437327560414486155\ 4317605309846854829923762825750668610551845296397/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 - 8169889112943861491571329384302317897959475725069015075972397813360\ 4431507361082698236920238624757228066890988288636264680091222749794\ 039636997040741882534705782619285805922922382585/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^7 + 1084234495472939598798023027532089732400318711521382001703021430179\ 6017786492090867655768708515110404314526774995284778863009145722467\ 5263061952609273194575978262077470173844159752175/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^6 - 4357107030343363407735330480449168888621622005968974716776067246503\ 0447476958490291510835726656722404184360666578161058739484299785493\ 71326910189875884355416859189665701944744008469/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^5 - 8838956445682786387029313719215542813758051926135026055470877970360\ 3676691200114312671436712080734312517196108807406248753431531651054\ 38598088239783456741661195951269065272624779305/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^4 + 8417390074660881431880795798622885374526131518387656433813558499860\ 6710539683881919124477566825090782302712582954988507763372970613083\ 14163326989976274647457169190478458320797695513/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^3 - 3406106325081574630194665002582787242503134965050058153195116427772\ 1868663136000124081122669914833997890653745251485239268073326724034\ 82965291382828085874563958348136481599297199007/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^2 + 5121239672361635321775464028077264882720705128863344112647523676189\ 5827978654326923304303903751127544011087214149132645345724125066330\ 4635522766737516578721597989254300953899161689/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12 - 9061417753138245681098812934256818623826161037205979020637873402908\ 6747047942026290880933083040990883160978336744597253442101621153409\ 011892541552384618072806836722613521009026053/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448, c_0101_7 + 109204874933504493117463863913627440575149917503490221695378\ 6211030806574891803570803314484700949746811230138629717119008100610\ 343647912442271560059770812174823383375119089785/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^31 + 6301258821479597615644802046005991071880625973401652814703798854484\ 2774079247071061128005866982539536947928668571814226632739083493770\ 577570267938799223376863204529082205768103/905393332597647340641347\ 7690829020346422572046665965136198788050918241381223727862649490247\ 6297398127137586164323228505010482214638988418624603580979352043957\ 957341612750081526448*c_1001_12^30 + 1172464839625678751203692722252181305750216229799577086103661050033\ 4369594207097714750996637364989647330622186050616574999992762322755\ 0630746699420744465480290832511160151135994/56587083287352958790084\ 2355676813771651410752916622821012424253182390086326482991415593140\ 4768587382946099135270201781563155138414936776164037723811209502747\ 372333850796880095403*c_1001_12^29 + 1842276047307876773242054160354640296753330885990352917094867212737\ 4125393591223244213110986284044486102432549189999196338513239602998\ 611887623907032341602885159089188570234743197/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^28 + 1642211288131193287606222211446015956534680653456088086182324766676\ 6437787765328704694428876854258320126444346173197072699900845088070\ 9901299437600694305582020744727075296131279595/90539333259764734064\ 1347769082902034642257204666596513619878805091824138122372786264949\ 0247629739812713758616432322850501048221463898841862460358097935204\ 3957957341612750081526448*c_1001_12^27 + 1045945308961546497012165111857626424688420195970314398229950979819\ 6512450271031272424533646981948876346085184048856624091692230565475\ 8045013093913746071355896295777020993267365715/11317416657470591758\ 0168471135362754330282150583324564202484850636478017265296598283118\ 6280953717476589219827054040356312631027682987355232807544762241900\ 5494744667701593760190806*c_1001_12^26 + 5267521400573873506086529751566032868454374748291890751383256829787\ 4194760848214177631115137682110840343101668725436757127935253296507\ 058820954582730141741008487247977251111623263/161677380821008453685\ 9549587648039347575459294047493774321212151949685960932808546901694\ 6870767392522703140386486290804466157538328390789040107782317741436\ 42106381100227680027258*c_1001_12^25 + 6104299055471172896416660434409462477635709730088703171480303333789\ 8980385284515294485098617266118945837321548040671827946593422057518\ 34489219137623053618060902262822380113044369997/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12^24 + 3972873516633791501929216522826972431726760634115944816527899358219\ 3262495893050326106582435902109771061002130210461734256011172759614\ 17880544333878814470556280023472981799290541587/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^23 - 2338447708580581545891958648724102380362209241739667914290527078669\ 1443637300779506397329549123209569239595648138685310899952506136051\ 42870602411508407958187964101744699323968310187/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^22 - 5050396477438286607341346262512037396409860196062878595585095640222\ 1694080920524829404447008770688083715670063344618554685430996935129\ 751969254820034115155668938326250724451941912967/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^21 - 4348490605474646077340050201025053216662849219203959164168414982621\ 1177221233490577425410255098314119715107530178334254322058017993091\ 44537179572534252140725981942644863913250509625/3233547616420169073\ 7190991752960786951509185880949875486424243038993719218656170938033\ 8937415347850454062807729725816089323150766567815780802155646354828\ 7284212762200455360054516*c_1001_12^20 - 7716293282855677632328385748095265277584878561127479053101723090852\ 5800069383459211451561929579285719747454484869448710748642604409893\ 71189415754684152509440700036801279901622403473/1293419046568067629\ 4876396701184314780603674352379950194569697215597487687462468375213\ 5574966139140181625123091890326435729260306627126312320862258541931\ 49136851048801821440218064*c_1001_12^19 + 3866494740351353081781891794645354299568320836655527866340502592781\ 3118409562674538316791287578671372993952281839889934368241448364911\ 606207117762988632712776676242691534676290644293/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^18 + 2973055698263980351615489939244504338820511857678725068197486176089\ 1783008875495802830976846698009684809008441942623030079324935977395\ 1481151831049361899239108370101316889500266756671/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^17 - 1549899085023974426166868224777725344419843565695752357630226431117\ 2552917102754345737040062662528990895144631767376894604042728760466\ 8832094248708085331269601150557415779882751669997/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^16 - 2281145603693325705578173206841603897890348710542971299002104415673\ 0631326651621648223052040743547604114500642484948947321298042353207\ 05004776460568593755383844026854099598028575851/8083869041050422684\ 2977479382401967378772964702374688716060607597484298046640427345084\ 7343538369626135157019324314540223307876916419539452005389115887071\ 821053190550113840013629*c_1001_12^15 - 3132007635964199590397362702182248679095074810488679230601538714168\ 1667788276671728425049769240473517083136435883512997894880392104034\ 4044508078763177975041544729149297510603940017943/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^14 + 8167495267375958713139802353464841323951183405652358249025542738489\ 7358345559300093729042260709849295065838630032134499807595418697775\ 3755250161817181313897169387063416086809627159163/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^13 - 7603837026472475781145841895389296068068945258804607387906790624620\ 8978522407433488585827052851574658752976522697616507461129591475123\ 873722206293714810834340937036612059514808666745/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^12 - 3335156831713730878560444318705442305196568504233991449264544478346\ 6682116364027191473543085111235884389475525638417166313210480954499\ 1978745129960763200251099375622005561248813679273/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^11 - 6150706383536318252154686701023323662492922124364953827992067182074\ 4233396659598664645031361718231683324177514416285969463208030254291\ 301816860844844469198023084816576433754496361197/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^10 + 1431822860954615106998490969459169404732009448452191746065198314925\ 8363000854995636573738445549659334352136215476909476367158128717190\ 7261683823660396515848300537219803467791308444327/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^9 - 5778300321382554956153472799681386088082785574025509119189588710211\ 0510750940495855617602408388955051165082575131888880235910139542294\ 1167699942982728185927461585241965484542420115411/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^8 - 3089475979916757375430790383177065627452561408750017801257641521935\ 6801016702645640787154556957569818412052207774821058787487593478138\ 848596716884941844054724054146203817981689396237/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^7 + 4959718398645380897823924127802421360284228701519633341436365024698\ 4716376281742749075167872117081311581400490003620019985609023006479\ 346012045203477951670872646188746603236853031255/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^6 - 1116492110573328698121404261503486899667626567439660037138711858305\ 0432082699798322206149053516835164563057131980547714558707169171281\ 686188555156985989313402781051380944966547204219/129341904656806762\ 9487639670118431478060367435237995019456969721559748768746246837521\ 3557496613914018162512309189032643572926030662712631232086225854193\ 149136851048801821440218064*c_1001_12^5 - 9644239995828669990742273423280077679717798339872329308865054671905\ 0213107659287435902318531273400407882461087625491607351096377632681\ 000809547739953816541635554268400187322377986/565870832873529587900\ 8423556768137716514107529166228210124242531823900863264829914155931\ 4047685873829460991352702017815631551384149367761640377238112095027\ 47372333850796880095403*c_1001_12^4 + 6731449182680007743714216339214645640525468468753690510971935634038\ 9435316933868751429628720195726184865910788409529088860644196512206\ 55462971767740377268858827966989126515102969157/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12^3 - 1957072380064759653408279102079637591405710214768406565309687377787\ 0288152169375959142216210746762954461636492547022909455652619964254\ 02278162800745569328376690890387609417140484019/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^2 + 2207929346388378061475663278140713444921375862578068734426745192948\ 1880970810129579782004756898374008731647102397783961221346567913949\ 77536152829518113055760094438967369458301562867/9053933325976473406\ 4134776908290203464225720466659651361987880509182413812237278626494\ 9024762973981271375861643232285050104822146389884186246035809793520\ 43957957341612750081526448*c_1001_12 - 2426210425507458482111356375709465740363955360346813055401737729847\ 0466730642774708817579354664515688234611869631509704201302673765819\ 497719540429696761827825967701948099913088019/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_1001_0 - 690813748157825134096769424238180531716857869600006713300246\ 8125723809189421399052836889442447896012437556850494006714167326830\ 489889680029810619043182628132693502822101624927/113174166574705917\ 5801684711353627543302821505833245642024848506364780172652965982831\ 1862809537174765892198270540403563126310276829873552328075447622419\ 005494744667701593760190806*c_1001_12^31 - 6237988480693461808133670515278521978047546116201521442110682881854\ 1397810026817874702805185873773478296709089741639779637714766666067\ 132163115644133210411723920674350165968121/646709523284033814743819\ 8350592157390301837176189975097284848607798743843731234187606778748\ 3069570090812561545945163217864630153313563156160431129270965745684\ 25524400910720109032*c_1001_12^30 - 2497123116121470700455330789176196024502393716431672411787547428311\ 2878984746157109997420030047592588658813783589938916880089331386451\ 842303225075015276824627951371700696250148473/905393332597647340641\ 3477690829020346422572046665965136198788050918241381223727862649490\ 2476297398127137586164323228505010482214638988418624603580979352043\ 957957341612750081526448*c_1001_12^29 - 1340160552045093994362245968929617271095149069731933685836080413244\ 1873743604572487072446972113364859632512000657572812708852695269719\ 1012865004531125527179428638989654609061103245/45269666629882367032\ 0673884541451017321128602333298256809939402545912069061186393132474\ 5123814869906356879308216161425250524110731949420931230179048967602\ 1978978670806375040763224*c_1001_12^28 - 1539221806493223255265277979987414424531835495385516557051085779602\ 5814485123850326859126807268233382799153031767097970183204431259222\ 8787447301636833090573268436195260130355293658/56587083287352958790\ 0842355676813771651410752916622821012424253182390086326482991415593\ 1404768587382946099135270201781563155138414936776164037723811209502\ 747372333850796880095403*c_1001_12^27 - 3538558744340416647949836206539252141641035676219662129857390595629\ 4378943252385857520612705389719356827675462306543874192952339658128\ 30933412689450751334445689549064522457687633411/2263483331494118351\ 6033694227072550866056430116664912840496970127295603453059319656623\ 7256190743495317843965410808071262526205536597471046561508952448380\ 10989489335403187520381612*c_1001_12^26 - 2922397978712651692242952087539766316861168656268910780449035032102\ 9344360178390462752618474052903622749313661403863198473018698502657\ 732266130450048945140792017297101999190692973169/452696666298823670\ 3206738845414510173211286023332982568099394025459120690611863931324\ 7451238148699063568793082161614252505241107319494209312301790489676\ 021978978670806375040763224*c_1001_12^25 - 4185811009049904988716039601098494564337010367384219193516520621019\ 9371326223372132441659774121120158551211794294021990755164868661325\ 154975259922423593268541344709294260509128825917/226348333149411835\ 1603369422707255086605643011666491284049697012729560345305931965662\ 3725619074349531784396541080807126252620553659747104656150895244838\ 010989489335403187520381612*c_1001_12^24 - 3726895805273954403141310384849172969102659166916505481660418698450\ 5842026705677643192745368291471898256481134136175727428921686970474\ 5819255701607807474742651403221971294469208494767/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^23 - 2604444649372514656384492952347254485329657810027386660267626616432\ 3175005121429206385023284342196042058438750496418109505027946899026\ 5798848523256573646981148009081107666303515798011/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^22 - 3754330005013102010927974139809356026948694741744443614630726431081\ 0729532943811310361669432767089363797368572853833957126397377647652\ 3285499009413346139933952885362121415228576062385/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^21 + 2741507170549949345806379426439415361820814133132107250775966387533\ 8033945320667598558513015888570797836937105803002566644997211850916\ 9444388404116035632190666437932228856682230227001/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^20 + 9673074784482767945733609648541785148787845719460897055366830606409\ 9768282269289565167001466664782264368140537174507375182010409318662\ 5545538450159931564294969344401085094517419127127/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^19 + 2345114891879203212787962817490877738047324017367262127249046315932\ 0517167638257964074353611081980010927255957142582151793516609718633\ 3147448158663261077821079488744014225625832819481/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^18 - 3484609112174914530744547279921860925792932346169251567998908821969\ 6048567611597490709919108181700724539237380551727735002612652779791\ 9974638512595889275473327791120527276324643570359/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^17 - 3752797186230869516139649136537316124153510142890107995576987459753\ 6391914633703691965475940294877698802325999378721518156819875588927\ 7640907866214224880940784900362247096126480753021/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^16 + 4976281213514953914408134012720249161516907860662428259864266637848\ 3827033190424938477604738145848414545298742461094263368880779790624\ 2404640894568305724679868389638901856388628585623/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^15 + 4252588768372621911429598894720071706209817748963747006026184859011\ 1835176074144605362098699032771757365554335751303511956026991438875\ 71168176180576878399567979771326291215954449214509/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^14 - 4416621834329830064051558787827452335489693160923585426159783071089\ 9978320010203115828113618556044232147199006256263672558858714465350\ 03593887739670851550970971807311063872487944187805/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^13 - 7249279889668104000939402242504907822111122784726405738664535206321\ 3395024432293384110965044261993214989051131252927927727930063945551\ 7555575475910408084604131430108612610257207388917/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^12 + 4118143004668776901338523565657248717655110540554228371571796414633\ 7127344461019467312911274912220945508314874531230369657381026195224\ 7116323801630535735325032917076154144067483450609/45269666629882367\ 0320673884541451017321128602333298256809939402545912069061186393132\ 4745123814869906356879308216161425250524110731949420931230179048967\ 6021978978670806375040763224*c_1001_12^11 + 2502551647964837528876564557984439231028426257062214201989992890285\ 0358723138760447819497261480302829005982155780429306560412090697229\ 85863967056183733509617530753509651928446401575019/4526966662988236\ 7032067388454145101732112860233329825680993940254591206906118639313\ 2474512381486990635687930821616142525052411073194942093123017904896\ 76021978978670806375040763224*c_1001_12^10 - 6101021612780441137635603136069858801949557477551462138799647524494\ 1869555009328611330445420031852342382468612578684539804345681269078\ 56065167734889258018175917031086623482718992328031/9053933325976473\ 4064134776908290203464225720466659651361987880509182413812237278626\ 4949024762973981271375861643232285050104822146389884186246035809793\ 52043957957341612750081526448*c_1001_12^9 + 2689768469623030709615949378582144897515452720466406205758550466493\ 3664340530500709944663125463603326697904287301500143660975978147453\ 3006143817483881410644776291552919453830718961527/12934190465680676\ 2948763967011843147806036743523799501945696972155974876874624683752\ 1355749661391401816251230918903264357292603066271263123208622585419\ 3149136851048801821440218064*c_1001_12^8 + 2611725515019939875385973322449440932671245871551703599817333396557\ 5319700438821288070988360773842284610292893992296095910801088092893\ 0840434226871196576719450183466250160970065921179/22634833314941183\ 5160336942270725508660564301166649128404969701272956034530593196566\ 2372561907434953178439654108080712625262055365974710465615089524483\ 8010989489335403187520381612*c_1001_12^7 - 1256996543359442320714790838190889711274062873883560925602446478856\ 2950431726947608138764183239001825138800091796593045676876036553199\ 8697886914182915897202802542396120958289351272993/11317416657470591\ 7580168471135362754330282150583324564202484850636478017265296598283\ 1186280953717476589219827054040356312631027682987355232807544762241\ 9005494744667701593760190806*c_1001_12^6 + 2481944758646562036441268521309993573909051050834265630322654214512\ 4883370349566464240972982055592877230807481715036733026770629018048\ 9318475217717199237329558934458149832128911587011/90539333259764734\ 0641347769082902034642257204666596513619878805091824138122372786264\ 9490247629739812713758616432322850501048221463898841862460358097935\ 2043957957341612750081526448*c_1001_12^5 + 5547227806752381700488030396428475659929796269148008616853755579556\ 2419801348484613886629046421000712439794014064203883391813022665284\ 162066512837666551624345693841953570077850798627/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^4 - 7223461997651390560116318057589707009291324077415512264159378325231\ 2456981628981578420675192202428928495692254548643343364521036907769\ 695003630190774238084589205085007619292164147539/905393332597647340\ 6413477690829020346422572046665965136198788050918241381223727862649\ 4902476297398127137586164323228505010482214638988418624603580979352\ 043957957341612750081526448*c_1001_12^3 + 2109249038756596746444399724669706626118823055783929330891401482211\ 4273531966029025936132046864769456861638908456001160960590240525270\ 74878061948998391860730915084038454171794351118/5658708328735295879\ 0084235567681377165141075291662282101242425318239008632648299141559\ 3140476858738294609913527020178156315513841493677616403772381120950\ 2747372333850796880095403*c_1001_12^2 - 3242720210989401208686748330465393557600929633053943185029376920024\ 5765163629642577136068067901938882444046910466055601016029681685595\ 41463384459760548973420631776902914660747231495/4526966662988236703\ 2067388454145101732112860233329825680993940254591206906118639313247\ 4512381486990635687930821616142525052411073194942093123017904896760\ 21978978670806375040763224*c_1001_12 + 3034087458943028913301599341731832470371295493494946913949236418346\ 0054883753834568629434178742219000729519007069021523675019571079200\ 499065474722933391829483579199855130760401089/452696666298823670320\ 6738845414510173211286023332982568099394025459120690611863931324745\ 1238148699063568793082161614252505241107319494209312301790489676021\ 978978670806375040763224, c_1001_12^32 + 63/4*c_1001_12^31 + 451*c_1001_12^30 + 4826*c_1001_12^29 + 177203/4*c_1001_12^28 + 253695*c_1001_12^27 + 4173499/4*c_1001_12^26 + 11877823/4*c_1001_12^25 + 6564541*c_1001_12^24 + 36040807/4*c_1001_12^23 + 24615489/4*c_1001_12^22 - 42038947/4*c_1001_12^21 - 17214029*c_1001_12^20 - 30056345/4*c_1001_12^19 + 44902051*c_1001_12^18 + 23131391/2*c_1001_12^17 - 77336977/4*c_1001_12^16 - 306058111/4*c_1001_12^15 + 336072937/4*c_1001_12^14 + 93588797/4*c_1001_12^13 - 68147969/4*c_1001_12^12 - 90582368*c_1001_12^11 + 230066291/2*c_1001_12^10 - 38344326*c_1001_12^9 - 73313563/4*c_1001_12^8 + 19209848*c_1001_12^7 - 5101086*c_1001_12^6 - 929713*c_1001_12^5 + 5486419/4*c_1001_12^4 - 2648697/4*c_1001_12^3 + 136565*c_1001_12^2 - 11609/4*c_1001_12 + 289/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 932.700 Total time: 932.899 seconds, Total memory usage: 1948.50MB