Magma V2.19-8 Tue Aug 20 2013 20:09:59 on localhost [Seed = 274089752] Type ? for help. Type -D to quit. Loading file "11_360__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_360 geometric_solution 14.41597616 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 15 1 2 1 3 0132 0132 3012 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 1 -7 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516570875399 1.507316295300 0 0 5 4 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.192931293224 0.601553500506 6 0 7 6 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 -6 6 0 7 0 -1 -6 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.393419298524 0.701688417012 8 9 0 7 0132 0132 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 -1 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234586267743 0.561511148763 10 10 1 7 0132 1302 0132 1302 0 0 0 0 0 0 0 0 -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 0 -1 1 6 0 0 -6 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622977661582 0.716861372221 11 9 8 1 0132 1023 3120 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 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.293233999361 0.764570690718 2 2 11 12 0132 1302 2031 0132 0 0 0 0 0 -1 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 0 0 0 0 6 0 -6 -7 0 0 7 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.392069678192 1.084282511720 3 9 4 2 3201 0321 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 -1 1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410359357148 0.774055336627 3 13 5 11 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402382443390 0.513045785676 5 3 14 7 1023 0132 0132 0321 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 -6 0 0 6 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.970457688991 1.167323730816 4 13 12 4 0132 1230 3012 2031 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574697574243 1.092716398219 5 13 8 6 0132 1023 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.253734498093 1.576592831550 14 10 6 14 1230 1230 0132 1302 0 0 0 0 0 1 -1 0 0 0 1 -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 -6 6 0 0 0 -7 7 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314443205498 0.998121268537 11 8 10 14 1023 0132 3012 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344327134402 0.945786588425 13 12 12 9 3201 3012 2031 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 -6 0 0 6 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614336818860 0.773066920898 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_0110_6' : d['c_0101_12'], 'c_1001_14' : negation(d['c_0011_12']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_13' : negation(d['c_0101_9']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_14']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_14' : negation(d['c_0101_12']), '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'], 'c_0101_13' : negation(d['c_0011_10']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], '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' : 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_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_12'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : d['c_0101_14'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : negation(d['c_1001_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_1001_12']), 'c_1100_13' : d['c_0011_12'], 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1100_14' : negation(d['c_0101_10']), 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_2_8' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : d['c_0101_14'], 's_1_7' : d['1'], 's_1_6' : negation(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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : negation(d['c_0101_14']), 'c_0110_12' : d['c_0011_12'], 'c_0110_14' : d['c_0101_9'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_1010_0' : d['c_1001_2'], 's_0_8' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), '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' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_7']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0101_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0101_9, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 6442694380125855540919/208236663113638442528*c_1001_2^22 + 956666664324904984245/26029582889204805316*c_1001_2^21 - 23872552441110378982833/59496189461039555008*c_1001_2^20 + 206058805213623684835847/416473326227276885056*c_1001_2^19 - 960130547722866141092679/416473326227276885056*c_1001_2^18 + 1196018782589463511717593/416473326227276885056*c_1001_2^17 - 3138658465745280219984671/416473326227276885056*c_1001_2^16 + 1913031724282911449675119/208236663113638442528*c_1001_2^15 - 3132660046014604395645893/208236663113638442528*c_1001_2^14 + 3580145132981468827195927/208236663113638442528*c_1001_2^13 - 7631815868851842480164179/416473326227276885056*c_1001_2^12 + 948803428644469929914617/52059165778409610632*c_1001_2^11 - 2657631118896127340278335/208236663113638442528*c_1001_2^10 + 3848857114056681031515585/416473326227276885056*c_1001_2^9 - 1687204923443869457674707/416473326227276885056*c_1001_2^8 + 327038877142312436111523/416473326227276885056*c_1001_2^7 + 118387140540659454043801/416473326227276885056*c_1001_2^6 - 132452597543071461505531/208236663113638442528*c_1001_2^5 + 234987724009321762117691/416473326227276885056*c_1001_2^4 - 89773584077619061245875/416473326227276885056*c_1001_2^3 - 3470100960842315457953/52059165778409610632*c_1001_2^2 - 5309777070365035246099/52059165778409610632*c_1001_2 - 28443732238690172076929/416473326227276885056, c_0011_0 - 1, c_0011_10 - 1003273/19322053*c_1001_2^22 + 1238475/19322053*c_1001_2^21 - 19323419/19322053*c_1001_2^20 + 21029639/19322053*c_1001_2^19 - 145809955/19322053*c_1001_2^18 + 151966927/19322053*c_1001_2^17 - 582869723/19322053*c_1001_2^16 + 596062715/19322053*c_1001_2^15 - 1324981108/19322053*c_1001_2^14 + 1329254632/19322053*c_1001_2^13 - 1605559846/19322053*c_1001_2^12 + 1536693228/19322053*c_1001_2^11 - 618290550/19322053*c_1001_2^10 + 420949463/19322053*c_1001_2^9 + 691159789/19322053*c_1001_2^8 - 892149453/19322053*c_1001_2^7 + 761033201/19322053*c_1001_2^6 - 741789229/19322053*c_1001_2^5 + 158713254/19322053*c_1001_2^4 - 19770450/19322053*c_1001_2^3 - 38475494/19322053*c_1001_2^2 + 41769496/19322053*c_1001_2 - 21277320/19322053, c_0011_11 - 11267641/19322053*c_1001_2^22 + 3884328/19322053*c_1001_2^21 - 130722273/19322053*c_1001_2^20 + 51939560/19322053*c_1001_2^19 - 641155848/19322053*c_1001_2^18 + 284744830/19322053*c_1001_2^17 - 1636293054/19322053*c_1001_2^16 + 800413387/19322053*c_1001_2^15 - 2072040966/19322053*c_1001_2^14 + 1151181243/19322053*c_1001_2^13 - 612516814/19322053*c_1001_2^12 + 583080798/19322053*c_1001_2^11 + 1269872186/19322053*c_1001_2^10 - 429515610/19322053*c_1001_2^9 + 946638615/19322053*c_1001_2^8 - 550284780/19322053*c_1001_2^7 - 152402416/19322053*c_1001_2^6 - 73290126/19322053*c_1001_2^5 - 72890928/19322053*c_1001_2^4 + 4329497/19322053*c_1001_2^3 + 12406447/19322053*c_1001_2^2 - 33015718/19322053*c_1001_2 - 15968933/19322053, c_0011_12 - 13158870/19322053*c_1001_2^22 - 4480132/19322053*c_1001_2^21 - 155976849/19322053*c_1001_2^20 - 36882660/19322053*c_1001_2^19 - 777610733/19322053*c_1001_2^18 - 101989482/19322053*c_1001_2^17 - 2014872425/19322053*c_1001_2^16 - 11615969/19322053*c_1001_2^15 - 2607967364/19322053*c_1001_2^14 + 538000456/19322053*c_1001_2^13 - 869772135/19322053*c_1001_2^12 + 1145186805/19322053*c_1001_2^11 + 1462588216/19322053*c_1001_2^10 + 705060469/19322053*c_1001_2^9 + 1114690623/19322053*c_1001_2^8 - 420281976/19322053*c_1001_2^7 - 194348074/19322053*c_1001_2^6 - 535931603/19322053*c_1001_2^5 - 33446802/19322053*c_1001_2^4 - 41726958/19322053*c_1001_2^3 + 29176461/19322053*c_1001_2^2 - 35840323/19322053*c_1001_2 - 40383478/19322053, c_0011_7 + 19049136/19322053*c_1001_2^22 - 3067114/19322053*c_1001_2^21 + 230713384/19322053*c_1001_2^20 - 60033171/19322053*c_1001_2^19 + 1188945942/19322053*c_1001_2^18 - 426751229/19322053*c_1001_2^17 + 3255555406/19322053*c_1001_2^16 - 1524116103/19322053*c_1001_2^15 + 4714789002/19322053*c_1001_2^14 - 2933393178/19322053*c_1001_2^13 + 2594323312/19322053*c_1001_2^12 - 2694388010/19322053*c_1001_2^11 - 1475174624/19322053*c_1001_2^10 - 128162359/19322053*c_1001_2^9 - 2191976953/19322053*c_1001_2^8 + 1708943612/19322053*c_1001_2^7 - 454473170/19322053*c_1001_2^6 + 961341201/19322053*c_1001_2^5 - 74292737/19322053*c_1001_2^4 + 48396845/19322053*c_1001_2^3 + 10980579/19322053*c_1001_2^2 + 20762955/19322053*c_1001_2 + 57099514/19322053, c_0101_0 - 37777461/19322053*c_1001_2^22 + 19049136/19322053*c_1001_2^21 - 456396646/19322053*c_1001_2^20 + 268490845/19322053*c_1001_2^19 - 2364458292/19322053*c_1001_2^18 + 1566720552/19322053*c_1001_2^17 - 6584477372/19322053*c_1001_2^16 + 4804431307/19322053*c_1001_2^15 - 9948489906/19322053*c_1001_2^14 + 7925873187/19322053*c_1001_2^13 - 6408919590/19322053*c_1001_2^12 + 5692075114/19322053*c_1001_2^11 + 1838907310/19322053*c_1001_2^10 - 1324064780/19322053*c_1001_2^9 + 4594020266/19322053*c_1001_2^8 - 4307514769/19322053*c_1001_2^7 + 1784498534/19322053*c_1001_2^6 - 1625574461/19322053*c_1001_2^5 + 319124364/19322053*c_1001_2^4 - 36515276/19322053*c_1001_2^3 - 102712999/19322053*c_1001_2^2 - 26796882/19322053*c_1001_2 - 54791967/19322053, c_0101_1 - 1, c_0101_10 - 40222024/19322053*c_1001_2^22 + 10312895/19322053*c_1001_2^21 - 485308300/19322053*c_1001_2^20 + 169232257/19322053*c_1001_2^19 - 2497766982/19322053*c_1001_2^18 + 1096664403/19322053*c_1001_2^17 - 6852190812/19322053*c_1001_2^16 + 3678482402/19322053*c_1001_2^15 - 10010676114/19322053*c_1001_2^14 + 6716970726/19322053*c_1001_2^13 - 5747864972/19322053*c_1001_2^12 + 5808795515/19322053*c_1001_2^11 + 2773452657/19322053*c_1001_2^10 - 2478028/19322053*c_1001_2^9 + 4628570420/19322053*c_1001_2^8 - 3782570981/19322053*c_1001_2^7 + 1211993855/19322053*c_1001_2^6 - 2042269321/19322053*c_1001_2^5 + 216868553/19322053*c_1001_2^4 - 110775965/19322053*c_1001_2^3 - 44029514/19322053*c_1001_2^2 - 28611002/19322053*c_1001_2 - 97944089/19322053, c_0101_12 - 21991693/19322053*c_1001_2^22 + 2089458/19322053*c_1001_2^21 - 265447178/19322053*c_1001_2^20 + 53982862/19322053*c_1001_2^19 - 1358903518/19322053*c_1001_2^18 + 418299765/19322053*c_1001_2^17 - 3674758672/19322053*c_1001_2^16 + 1545397889/19322053*c_1001_2^15 - 5170512476/19322053*c_1001_2^14 + 2986734639/19322053*c_1001_2^13 - 2499390250/19322053*c_1001_2^12 + 2640431441/19322053*c_1001_2^11 + 2136464380/19322053*c_1001_2^10 - 100344805/19322053*c_1001_2^9 + 2525593235/19322053*c_1001_2^8 - 1830454010/19322053*c_1001_2^7 + 219836818/19322053*c_1001_2^6 - 848186402/19322053*c_1001_2^5 - 72694032/19322053*c_1001_2^4 + 17329400/19322053*c_1001_2^3 - 4430800/19322053*c_1001_2^2 - 42074717/19322053*c_1001_2 - 51125728/19322053, c_0101_14 - 40844575/19322053*c_1001_2^22 + 21172888/19322053*c_1001_2^21 - 497380681/19322053*c_1001_2^20 + 295439491/19322053*c_1001_2^19 - 2600718161/19322053*c_1001_2^18 + 1717266790/19322053*c_1001_2^17 - 7327578899/19322053*c_1001_2^16 + 5271262981/19322053*c_1001_2^15 - 11262706524/19322053*c_1001_2^14 + 8767675987/19322053*c_1001_2^13 - 7541278448/19322053*c_1001_2^12 + 6502796810/19322053*c_1001_2^11 + 1786941495/19322053*c_1001_2^10 - 1134899733/19322053*c_1001_2^9 + 5236212262/19322053*c_1001_2^8 - 4723889667/19322053*c_1001_2^7 + 2155316519/19322053*c_1001_2^6 - 2023702510/19322053*c_1001_2^5 + 386570345/19322053*c_1001_2^4 - 82409188/19322053*c_1001_2^3 - 100999180/19322053*c_1001_2^2 + 11526413/19322053*c_1001_2 - 73841103/19322053, c_0101_5 - 37246253/19322053*c_1001_2^22 + 12270914/19322053*c_1001_2^21 - 452077839/19322053*c_1001_2^20 + 187291945/19322053*c_1001_2^19 - 2344990632/19322053*c_1001_2^18 + 1159428333/19322053*c_1001_2^17 - 6507850996/19322053*c_1001_2^16 + 3746259150/19322053*c_1001_2^15 - 9702390521/19322053*c_1001_2^14 + 6562953579/19322053*c_1001_2^13 - 5907091151/19322053*c_1001_2^12 + 5272269406/19322053*c_1001_2^11 + 2349776334/19322053*c_1001_2^10 - 502596624/19322053*c_1001_2^9 + 4664347772/19322053*c_1001_2^8 - 3723588572/19322053*c_1001_2^7 + 1516926739/19322053*c_1001_2^6 - 1763264628/19322053*c_1001_2^5 + 181893054/19322053*c_1001_2^4 - 48576073/19322053*c_1001_2^3 - 133544059/19322053*c_1001_2^2 - 11177206/19322053*c_1001_2 - 83246284/19322053, c_0101_7 + 41130581/19322053*c_1001_2^22 - 7781495/19322053*c_1001_2^21 + 492749758/19322053*c_1001_2^20 - 141121692/19322053*c_1001_2^19 + 2517059052/19322053*c_1001_2^18 - 959095904/19322053*c_1001_2^17 + 6846291102/19322053*c_1001_2^16 - 3305616173/19322053*c_1001_2^15 + 9895822279/19322053*c_1001_2^14 - 6138847421/19322053*c_1001_2^13 + 5566225387/19322053*c_1001_2^12 - 5354514140/19322053*c_1001_2^11 - 2824362508/19322053*c_1001_2^10 + 40780114/19322053*c_1001_2^9 - 4583644656/19322053*c_1001_2^8 + 3548650874/19322053*c_1001_2^7 - 1240919994/19322053*c_1001_2^6 + 1881923597/19322053*c_1001_2^5 - 188831198/19322053*c_1001_2^4 + 106053084/19322053*c_1001_2^3 + 111795982/19322053*c_1001_2^2 + 17743555/19322053*c_1001_2 + 94513925/19322053, c_0101_9 - 34931486/19322053*c_1001_2^22 + 26173280/19322053*c_1001_2^21 - 429430030/19322053*c_1001_2^20 + 349597023/19322053*c_1001_2^19 - 2281291722/19322053*c_1001_2^18 + 1964710934/19322053*c_1001_2^17 - 6598984365/19322053*c_1001_2^16 + 5857212038/19322053*c_1001_2^15 - 10638621228/19322053*c_1001_2^14 + 9435311495/19322053*c_1001_2^13 - 8049737002/19322053*c_1001_2^12 + 6600078532/19322053*c_1001_2^11 + 539685218/19322053*c_1001_2^10 - 1629942669/19322053*c_1001_2^9 + 5009467280/19322053*c_1001_2^8 - 5018782600/19322053*c_1001_2^7 + 2774233185/19322053*c_1001_2^6 - 1970963766/19322053*c_1001_2^5 + 503569155/19322053*c_1001_2^4 - 53680741/19322053*c_1001_2^3 - 143500482/19322053*c_1001_2^2 + 45865535/19322053*c_1001_2 - 54630513/19322053, c_1001_12 - 34262607/19322053*c_1001_2^22 + 7212261/19322053*c_1001_2^21 - 415492870/19322053*c_1001_2^20 + 126952061/19322053*c_1001_2^19 - 2145869321/19322053*c_1001_2^18 + 855011522/19322053*c_1001_2^17 - 5893921449/19322053*c_1001_2^16 + 2941873991/19322053*c_1001_2^15 - 8567534550/19322053*c_1001_2^14 + 5467170514/19322053*c_1001_2^13 - 4717466910/19322053*c_1001_2^12 + 4760205467/19322053*c_1001_2^11 + 2788046016/19322053*c_1001_2^10 - 108910952/19322053*c_1001_2^9 + 4163391639/19322053*c_1001_2^8 - 3272888243/19322053*c_1001_2^7 + 828467603/19322053*c_1001_2^6 - 1663265757/19322053*c_1001_2^5 + 13128294/19322053*c_1001_2^4 + 1888447/19322053*c_1001_2^3 - 30499847/19322053*c_1001_2^2 - 33320939/19322053*c_1001_2 - 88371981/19322053, c_1001_2^23 + 12*c_1001_2^21 - c_1001_2^20 + 61*c_1001_2^19 - 10*c_1001_2^18 + 163*c_1001_2^17 - 41*c_1001_2^16 + 223*c_1001_2^15 - 85*c_1001_2^14 + 92*c_1001_2^13 - 82*c_1001_2^12 - 120*c_1001_2^11 - 4*c_1001_2^10 - 125*c_1001_2^9 + 56*c_1001_2^8 - 2*c_1001_2^7 + 31*c_1001_2^6 + 17*c_1001_2^5 - c_1001_2^4 + 4*c_1001_2^3 + c_1001_2^2 + 2*c_1001_2 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_14, c_0101_5, c_0101_7, c_0101_9, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 9891189354170762256551701270278559231639249530792866837764818851594\ 6365960354289599763602929/32871631280656382427566534510044335843845\ 87952804952621034065981976862111970061588965220857*c_1001_2^35 - 2301742645758369324049780807572527224577061922733758223175510200354\ 98977276901382381418691012/3287163128065638242756653451004433584384\ 587952804952621034065981976862111970061588965220857*c_1001_2^34 - 1707646509658569167986612409334263263005031795925082655214225629262\ 480087099886786739983630407/328716312806563824275665345100443358438\ 4587952804952621034065981976862111970061588965220857*c_1001_2^33 - 3696839382710330586753689317683174260611372860376661982965936142722\ 478983344293443732267123920/328716312806563824275665345100443358438\ 4587952804952621034065981976862111970061588965220857*c_1001_2^32 - 1343142303873048146458731446415840825860581036588541806629016056729\ 8208963626151613160698437707/32871631280656382427566534510044335843\ 84587952804952621034065981976862111970061588965220857*c_1001_2^31 - 2731923896124028932198482127360847199539431831997364172059729664652\ 7274092211131499226232473830/32871631280656382427566534510044335843\ 84587952804952621034065981976862111970061588965220857*c_1001_2^30 - 6130357471475780921604153268851260638381705485908282186952967941173\ 6353281023625616644557034379/32871631280656382427566534510044335843\ 84587952804952621034065981976862111970061588965220857*c_1001_2^29 - 5043517177389470042609574507293391445406119848554280006182106509429\ 184934254868341681137360531/142920136002853836641593628304540590625\ 416867513258809610176781825080961390002677781096559*c_1001_2^28 - 2985187940761791878212720659061074616324858605253615861184745985356\ 597827137713519575745414974/557146292892481058094348042543124336336\ 37083945846654593797728508082408677458670999410523*c_1001_2^27 - 2858455386763265816325694926974226277059760732256762383799529435989\ 38778007379854952407534555225/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^26 - 3221729701784220888783711593724279822532035258786896023659871826179\ 90079507803931403402099093044/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^25 - 3361830837272973745754987082612158492702781853650992283488742505713\ 36059273584953604780578372712/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^24 - 3429170839703834335627774501124425188765756923492625556812146028405\ 53314684166889094342605977555/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^23 + 4157048023110401427110846851170385514205892762563525410255311392903\ 9424637757827878870572563810/32871631280656382427566534510044335843\ 84587952804952621034065981976862111970061588965220857*c_1001_2^22 - 1057880454763698622538188872578481390239375091347935130505384138793\ 07454874026312766446412647194/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^21 + 2282949018417656041141224394555659151184475667611310463834773010419\ 16330927830692997613043688654/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^20 + 2178541768181993100486231194499662097575042212706402907481479895713\ 04253596009326665108472951635/3287163128065638242756653451004433584\ 384587952804952621034065981976862111970061588965220857*c_1001_2^19 - 1665971665767728531736763154647185693295846545755984508291340435209\ 690420754641864777663097843572/328716312806563824275665345100443358\ 4384587952804952621034065981976862111970061588965220857*c_1001_2^18 + 18591039959946268770107320615144305699882682199783795516418324772\ 4786752245052616216522142766346/32871631280656382427566534510044335\ 84384587952804952621034065981976862111970061588965220857*c_1001_2^1\ 7 - 550326382268607127690731354997705617346196011647757076867716917\ 3543867364691322300013173628457235/32871631280656382427566534510044\ 33584384587952804952621034065981976862111970061588965220857*c_1001_\ 2^16 - 397498348780521338597661180765213310104899803743808484473047\ 857332866622003543281603917734460850/328716312806563824275665345100\ 4433584384587952804952621034065981976862111970061588965220857*c_100\ 1_2^15 - 6581346534788624938592597168511612260948330854387111343424\ 682375378361214555282549645124413587889/328716312806563824275665345\ 1004433584384587952804952621034065981976862111970061588965220857*c_\ 1001_2^14 - 1100329745388746709709674442819549793821366927968865269\ 485533424453360765609609468937958631777858/328716312806563824275665\ 3451004433584384587952804952621034065981976862111970061588965220857\ *c_1001_2^13 - 9744261441343648498778318857630180138759337967240037\ 5140171750398081084667922755717607319589034/14292013600285383664159\ 3628304540590625416867513258809610176781825080961390002677781096559\ *c_1001_2^12 - 1221539378357298586211957401073931697249355915935429\ 770469378636358412682229457097538161049807253/328716312806563824275\ 6653451004433584384587952804952621034065981976862111970061588965220\ 857*c_1001_2^11 + 1818040296687313557311061255372936976069123958964\ 623895331309275963219155412307753244189210222122/328716312806563824\ 2756653451004433584384587952804952621034065981976862111970061588965\ 220857*c_1001_2^10 - 6319136591873076026956661707409617049263281170\ 79612020704819088396373272249540882320058890653762/3287163128065638\ 2427566534510044335843845879528049526210340659819768621119700615889\ 65220857*c_1001_2^9 + 775511778267856662066135461399241407661650182\ 273596249751755521248336580953172466810892920252115/328716312806563\ 8242756653451004433584384587952804952621034065981976862111970061588\ 965220857*c_1001_2^8 - 11740345301651860449001568010334723608228989\ 1360740334387184731072729110513176215839712110365590/32871631280656\ 3824275665345100443358438458795280495262103406598197686211197006158\ 8965220857*c_1001_2^7 - 1183974105246495865597645886793246108824677\ 441120458766456845459732679119486810653612320574034453/328716312806\ 5638242756653451004433584384587952804952621034065981976862111970061\ 588965220857*c_1001_2^6 - 20200946432387383288512626741416645510115\ 3565762800903956147178597530919839489346753034145993029/32871631280\ 6563824275665345100443358438458795280495262103406598197686211197006\ 1588965220857*c_1001_2^5 - 6284940652432908814007848621452898844950\ 17690751296465814664856235712721348849290203565559857281/3287163128\ 0656382427566534510044335843845879528049526210340659819768621119700\ 61588965220857*c_1001_2^4 - 227159282828794565726337798288661204979\ 019085633375380571704025452831610167837744283150865829476/328716312\ 8065638242756653451004433584384587952804952621034065981976862111970\ 061588965220857*c_1001_2^3 + 65421504524811242844167742363522817408\ 400761354038496495729960907472538003772131680452307544966/328716312\ 8065638242756653451004433584384587952804952621034065981976862111970\ 061588965220857*c_1001_2^2 + 41504551463215712178208090242884996424\ 41688215110287392922858447435192403150115973525318293979/3287163128\ 0656382427566534510044335843845879528049526210340659819768621119700\ 61588965220857*c_1001_2 - 10494995590091408813247021128566489195695\ 1516418948756138486860448087188928285996614918803586/55714629289248\ 1058094348042543124336336370839458466545937977285080824086774586709\ 99410523, c_0011_0 - 1, c_0011_10 + 8100482671708610338644445761758758404514261329643952905/340\ 744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 530504704349341687311524340721322352011064641425562688/340744137901\ 385670937239838774252097115763839176537474009*c_1001_2^34 + 136038869732018317248635124065229850654970508537422702506/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 12774379081105060913894550749648676592372381457925825806/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^32 + 1039510639617930593495054464421869801162409992133306004530/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 93901339836270085027427460141241276143259407604228102760/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^30 + 4505233536373189825571398775039008260741101087254994924616/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^29 - 193722416497286955321900117972640920002483705065384390645/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^28 + 11489131274461826582358828938511154811025004594803811470929/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 65396268488118231293650924639740012668468251230702394583/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^26 + 17527084856316643164838541474272319807961068394704165087406/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 6492428792223712321023908085563125075215550831285397219301/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^24 + 29421284851833475595269509297107870429952220151295147137096/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 - 61481484376028823004197233537368071058573150806102754579561/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 + 125743438721320025170956540088343635861714618344556217144694/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 - 257550047190676041017790846679469069967518453140124012194037/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 + 19398732701641389604045494222945198927704849545011415938737/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^19 - 625215238286004334156724025614224587721948040656916827568531/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 + 928878959284034667665588823757634338969319888289847145872884/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^17 - 929552316288935509902569201550464156895641294198256122139866/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^16 + 1104198623445716353821208038796434861602017247532480005368957/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 - 34089531753434046535957201231984072482564204209977135835688/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^14 + 609688115886535738533112205761451997577183854098222108200378/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^13 - 210011990574745187453509053764385242742591457333112127725404/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 96157233969872334378865450751856699833350165705677288664076/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 + 220148479801341377042538033056261410068498009262570957435716/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 - 273061267312491446470031895743895747327888840164546827578105/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 + 163766421088438814475825465313554325316068684887093285322575/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 - 15159923791080716757899923993269847861871604722133229606002/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 - 42858082873967513928010907151411260103794267245580914801527/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 + 105540888084487120073020484603954526381112682169660276725375/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 - 66277627622376734080301347628257270271693717136488843422019/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 + 32720578225651329663765166227848714493877037674856354677815/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 - 9797173104840680155000941783050570629873434979415752341836/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^2 - 5080859058428103996578362822264157697700487615172747347029/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2 + 3024273438106634932597929172683764622470066916304961934561/34074413\ 7901385670937239838774252097115763839176537474009, c_0011_11 - 24904014096018402411689483155899749757023223753118939900/34\ 0744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 25379150386253434268419644821388668233482251139303922222/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^34 - 19322822754539890401826950102652203333195618701565649066/1481496251\ 7451550910314775598880525961554949529414672783*c_1001_2^33 - 417420436055286864257233340572942137020656984019237422372/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^32 - 3621686886661555852623607162706901300440280008740574484476/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 3226210556994300890155801699826813522719045554611573100280/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^30 - 17098945658942734184301298869411203934543096325651903360320/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 - 14888295142659884974545748451577173244625401458443288710458/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^28 - 49996600755584384477859416450944506676036425557695221088232/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 41241308618584370287793155233651675205168972222366796094106/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 92436050349100114828181442064285184967110727640318411250052/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 49304436685579050664799234051709833949409221190113703591814/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 127906499842007211728192846975400246632891803843735229519828/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^23 + 4082385727702227392364734007506615601416350352494105796904/14814962\ 517451550910314775598880525961554949529414672783*c_1001_2^22 - 279645014062522160146371692278969145354672737972794895218444/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 554094388428496074470832616095535950149509182855789169029812/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 904662244535288739878556120538281697844793889409123664814512/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 1209561308200119749372081845259257327721562167856491040830904/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^18 - 2077945343726207572370119233100899326776568332377567179213382/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 1484148533946911222784921345910105450663914764889283836649216/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 2830059090356874000109453279037126044198227322889504530977158/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 936200179910009838829898341311619989229934293284794637197892/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 - 1961366587375382762522977202000907208905381258643466964590196/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 - 2647868711112489828855803076279382064588741212736015863066/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^12 - 132302001499982585591216014936935991921867671227396753053341/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^11 - 468773167378250030489928024069924675773291052413313856785250/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 640748570007755791136956625171535050799983715256865908921116/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 286531328446124827689892981878538607651823444636941413393218/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 75006689146238578552152237248618186853124307047856636716380/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 - 2954005719849754226636470195566220465443077406520177953176/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^6 - 339071091404130079569046618412478702303212880002828876175376/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 38161554721162496258347526811863226586649885215341922960738/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 - 147665506461212801719700664201695632582624058769541810336321/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^3 - 7656139948337759263261553405710292309617584937818723281290/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^2 + 9125880342375448183516250951438839098425058393118762271534/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2 - 200400038017561914547255496392376652105119590293165640598/148149625\ 17451550910314775598880525961554949529414672783, c_0011_12 - 15947848994267731276605764732197463860434388466134416160/34\ 0744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 14582220176598183134977401357288015426923448526212150448/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^34 - 289310025391501381363651858411125951363189243105306398206/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 246086687764460659574744875266854391726455795686960961364/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^32 - 2393822275457634339291158044649288553962291111265165652104/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 1959070546168046545512669754220297359469432066075168152616/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^30 - 11478293538789818448870637207420717560265588139362999904474/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 - 9388723878867402056845205441718452335959390004804504068160/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 34083148025074429749687291796012108729417335854828318308260/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 27329693735882351485522605985064417518797209699220897203370/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 64017149912432001185506848992692862908158017558729698734250/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 35651202621889843197077469637185980790359249824959955418138/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 90318341758181214112885960128986392421636922162262712022388/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 59810215901458697469972163245895910952944749211716626044014/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 - 199958458146614814479839072467867287311787669695766007410948/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 392403349500580527487283951390772051685146981339551287876126/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 28034348397841840225201677496135035409051736505201177237910/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^19 + 887602000337208951814125791218877044404833984807159121722264/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 - 1471037321774604049952425953784514820817393142284507275332008/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 1086760601674838107643402061001916063605828274029141776120674/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 1975660837203956355490575973469557512711626043033617119807232/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 26577240925569407658940295519331492627730448496465775143764/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^14 - 1315065487837183040630468192669116647949257859359818635353962/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 - 147038096720652745087183828669307691045308580747261938570132/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 14746408586996692622172536079572616419791093232774694337616/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 417307723346519628617832400533707370535873637994413306968714/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 468746186191751204011454145983749318300413354633115966045642/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 156559008121399887100926021827188224631467944768826454704532/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 16883887989711138569561356049970468260025385086276760715620/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 46667828073805835466669884217592299157746172811592184646181/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 255357992405358006518970774303971001509680175573370896469810/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 9117318263831318925684567875181735990998052248200348042933/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^4 - 94266705273595384428583909440707465548325767001302119411752/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 - 21313079714108897652224912159575518811661203320582199628684/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 + 9670248638938844313944238133136343590845091385243696445118/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2 + 421554466782518465472480139104812687219998593622259973565/340744137\ 901385670937239838774252097115763839176537474009, c_0011_7 + 20315056689745951896114883560010390818609311103102202956/340\ 744137901385670937239838774252097115763839176537474009*c_1001_2^35 + 27943098844921672075046046484073466527465938304803838986/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^34 + 358960795798945735623025137340550419905438665663898980970/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 + 444684658561715598838454198156591545072791912139059434084/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^32 + 2891147621379524561027220276385644378556187382565918934178/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 + 3291463922703426014127263545952214914759350641703688150664/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^30 + 13470201605027939485190176749664532388267771691598235199316/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 + 620451430540357594542777331020759938688745464615797541260/148149625\ 17451550910314775598880525961554949529414672783*c_1001_2^28 + 38836359312838590406764222136248933170475913147310805560692/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 + 36376982343494501149854859259181229656011123426477696485174/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 + 69996569481767395506192425447357224835495791171057065508884/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 + 38982608461304422645962324975395827229898229800301013441833/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 + 88245486670984423960590191795287067493984056224180487597024/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 - 70074321988757042564629340297924120994254190736759886919561/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 + 170237077214374071172303524722736788097108909925941207541210/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 - 362154387473028914893093711884694186009854928585465869113953/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 + 568590194017660355992648335529356802894397297388285832114436/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 - 704518022104264391626903196064857689121707073601581392195896/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 + 1364914687196882350061683758844568145421500396989895032553862/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 - 794120821231054925659213340778149610298810354188770547352951/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^16 + 1911738565661297862879278417738853442907102621573869218782888/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 - 520381705617103536536487138099393572375514868553437315158442/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 + 1352809333966094224334633471938990552070043695704125174739884/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 - 4720829041034378689066232607420710847408648884688261552102/14814962\ 517451550910314775598880525961554949529414672783*c_1001_2^12 + 99189650124446888790833278904688787847596018430449329868792/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 + 174930097443762332387114927389855587538197641888590945884792/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 - 449545006375844012557315889895160345189868104384672984256858/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 + 211461074856430709030941327145351614523323172061820117714306/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 - 59577782625120219395235500677291151946195030231799340100516/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 66576405699963262668973812323912018701218260585397453560017/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 + 236171462037910980562776693505980955825973925081770006378420/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 - 32433487919835206662397920945454446167165101789587210837873/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 + 98694516373081467702103216366680225398448151173248393076582/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 - 14372157188517331847634009603483451982515634370558917612648/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 - 13461606751401098327136274943300546967876579595185798167468/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 + 2990358584493231534130944688343724706019632802383744872703/34074413\ 7901385670937239838774252097115763839176537474009, c_0101_0 - 1186037033719196208093948134492637474041737124/9857662800116\ 1900665047571561366842688506726537*c_1001_2^35 + 39809235615003202611541794977936174944283468/9857662800116190066504\ 7571561366842688506726537*c_1001_2^34 - 18160153074993778504550858233938567365611455832/9857662800116190066\ 5047571561366842688506726537*c_1001_2^33 + 1760238925277863989597907058795721212581216224/98576628001161900665\ 047571561366842688506726537*c_1001_2^32 - 124535168601602963353068573210472838294302906612/985766280011619006\ 65047571561366842688506726537*c_1001_2^31 + 17311552161603233293250267470305277782721749296/9857662800116190066\ 5047571561366842688506726537*c_1001_2^30 - 461838321152990953090610249977258957949709816716/985766280011619006\ 65047571561366842688506726537*c_1001_2^29 + 75779521879927246788463260425876052128274618052/9857662800116190066\ 5047571561366842688506726537*c_1001_2^28 - 889887626925747189919015357819170051868430922556/985766280011619006\ 65047571561366842688506726537*c_1001_2^27 + 308353451880704466344182156830271780096916219520/985766280011619006\ 65047571561366842688506726537*c_1001_2^26 - 721901379457018513039022188743853052052016600791/985766280011619006\ 65047571561366842688506726537*c_1001_2^25 + 1838226512564928149016515221302537203970955255660/98576628001161900\ 665047571561366842688506726537*c_1001_2^24 - 1646811639878934688006344334636924502029951503706/98576628001161900\ 665047571561366842688506726537*c_1001_2^23 + 8923830996242719749994609066834127871285111512444/98576628001161900\ 665047571561366842688506726537*c_1001_2^22 - 13369006036553336530044086571964781669800866347497/9857662800116190\ 0665047571561366842688506726537*c_1001_2^21 + 27738772407540768823642325949129213580388279504812/9857662800116190\ 0665047571561366842688506726537*c_1001_2^20 - 45434719307959031996641001871649410722645689119926/9857662800116190\ 0665047571561366842688506726537*c_1001_2^19 + 55029664477820312519243618917726597957915295214472/9857662800116190\ 0665047571561366842688506726537*c_1001_2^18 - 78062799833885963659351440599972861028623722094507/9857662800116190\ 0665047571561366842688506726537*c_1001_2^17 + 68831439010306031039981591727183829882309969777732/9857662800116190\ 0665047571561366842688506726537*c_1001_2^16 - 64939134882748917397695002190147070887455581958842/9857662800116190\ 0665047571561366842688506726537*c_1001_2^15 + 48577172415725322567711772404872230879859186625232/9857662800116190\ 0665047571561366842688506726537*c_1001_2^14 - 4607480530421148896341877876694717706834996034232/98576628001161900\ 665047571561366842688506726537*c_1001_2^13 + 9050992570693011873479371319184643770537565368900/98576628001161900\ 665047571561366842688506726537*c_1001_2^12 + 34173410116422804785181938222172882104955299125640/9857662800116190\ 0665047571561366842688506726537*c_1001_2^11 - 11953611943673103574456917451402599871559127038116/9857662800116190\ 0665047571561366842688506726537*c_1001_2^10 + 16246639292459035935324741895625937925073562507650/9857662800116190\ 0665047571561366842688506726537*c_1001_2^9 - 5231288408662196328168523204194198162868598902344/98576628001161900\ 665047571561366842688506726537*c_1001_2^8 - 8378220677871995680594843944121561442249714492476/98576628001161900\ 665047571561366842688506726537*c_1001_2^7 + 4870746601175492263594259851886579092064408806324/98576628001161900\ 665047571561366842688506726537*c_1001_2^6 - 5313973159401349114498033740271837078973142956511/98576628001161900\ 665047571561366842688506726537*c_1001_2^5 + 4868720210668779028125744330922442354079866890988/98576628001161900\ 665047571561366842688506726537*c_1001_2^4 + 2325462632345160126842716613595525321505155653782/98576628001161900\ 665047571561366842688506726537*c_1001_2^3 + 1585092710583378361348771720452150643975852198064/98576628001161900\ 665047571561366842688506726537*c_1001_2^2 + 1318299364330197183415572318116206282317832557337/98576628001161900\ 665047571561366842688506726537*c_1001_2 + 96619943095020165099466267565400797604676829144/9857662800116190066\ 5047571561366842688506726537, c_0101_1 - 16077744674579554957805788887914456305493547122522846812/340\ 744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 16921548233360922136484092003357650958700300935911252186/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^34 - 12312229658798346880233190958793385100548443413173816202/1481496251\ 7451550910314775598880525961554949529414672783*c_1001_2^33 - 268401736922771292125280869881881760544754591065424104904/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^32 - 2273747799483050914001790038490349149733308478543854687058/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 1993481534743572020128946863297521134443090833152080217868/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^30 - 10535250772095825603653954434514325804040168113162517114016/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 - 8769821692320693353896141409455928824259421928893437266016/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 29997449678563069833963932172492845936897541287469608650324/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 22686698938543669906588551396617567709418937347295381779597/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 53122633139573988003695746941240107667970945220209081688976/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 21806888607994108301495986763782756045328348351188280560571/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 70153179878339951629897329642423139993066849661641471879264/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 3112661951614868235677296009047271586741527233576897715656/14814962\ 517451550910314775598880525961554949529414672783*c_1001_2^22 - 164941162143814176794168108070162397656380340537122477287854/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 350699766042196734089974529089703625755564618382281308299123/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 570587033504919194918583178187476065039436852125684370147312/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 757100106859690508570937543006833419639633180444580367588589/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 - 1328620753673354900192808203804960780633338568245151835158714/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 990127582158129399242491460456972790617017561415819219415241/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^16 - 1802245465403497023247616979751868948723121396899625761523264/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 769849744091974018294546313674431026255158558209853168886798/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 - 1221892241949352266418379526898226020747263285100388245542448/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 + 216381262392083125100286287975610899004413718226091196818202/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 35741030385047562622186844767880778458204144247731376314864/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 213868051623895778152993610615188895558519139943112987660870/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 446409840892282079381145175243002556216835712748388659679178/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 230393706276604983629166145403362118456239715604161064341510/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 60736936441724966403820196145733610925255098585358324462552/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 - 25224496519212416907374397814277859980650994980324809585188/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 211696086835393217284089621430762341841906927816245621959684/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 59535411962285231971392370631273779958511336094756361140047/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 - 83638505345190318251551730027399990937062758262992578930486/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 + 16649610093246216571326387629627992363330474819676116031649/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 + 13541405574366796532017960845958658539232836537914466675660/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 - 119498954194569990979026695740528873003414028871217651717/148149625\ 17451550910314775598880525961554949529414672783, c_0101_10 - 10214101933255230148450048568406634793339513690039250832/34\ 0744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 988585499353875397348245968068820493245909429388961078/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^34 - 189582824104665930361074622423887232849709809702665273474/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 20633554132629875325454795460767888118532739042641179472/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^32 - 1598905292239397710251081312905557781304163039964640593598/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 229014489823085600017153736569081020730706492794648167948/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^30 - 7768929670675542850155166567032809188266088654145483569796/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^29 - 1672714783644325735568663009760602636422674912469346737782/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 23005226691551322940641892348417630743688350768735268796776/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 6805928315227899207232469657953033093384082823082712801048/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^26 - 42225050109361409313613111187877597241875850613415050784268/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 292822980264660157240639080602315954474140035796221174970/148149625\ 17451550910314775598880525961554949529414672783*c_1001_2^24 - 63797819840732260965671952122007041712013540074838653731572/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 70635980717330211828336715892407913377825699434781165638471/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 - 191203482483719298978126278124556682763039736836273483848498/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 396557887208297059108331095118631332579689019762516938502039/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 691491479864316866799525922717045815241890443600193882630308/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 1046821387716447131939222363652617053709068771925203882317482/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^18 - 69762452016832429057773886260389279526118465725005481312310/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^17 + 1611361095653491562804502131449253167118397587984077694470993/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 2167645405785742743400345412075454668369660725317165055853236/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 1366990551675530133389444044659628191672947343574596621767194/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^14 - 1448692708396983026127752851307969169445044615840169622048260/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 + 325790639611461299504312665709160925172846446526869965710738/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 + 10613298812166226588141206320094422264249739563432309813412/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 450324587260701860309429961036643113259188092184649539197324/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 589760424845415439239002130433528676085905163988348802330810/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 318131434806248405594768011432474580598123584627777247021483/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 89006964368741819130346853499921898685175129216053083641392/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 73510443839942014364569202266154471473000429253590453864977/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 250650041386788817092926154540453841704938167159943988932388/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 102630089514716155662391756456196139356789169079736331793063/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^4 - 93764985694579785741775106431414345331214660318468212132666/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 + 3603620746253266152765837522495472570803099106519528104992/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^2 + 14107457659509516633031635069391137760869161121034658199820/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 - 2782186735355985785187336762135563866138201935829087230145/34074413\ 7901385670937239838774252097115763839176537474009, c_0101_12 - 16421226955790180894017430925502266880058192401971500836/34\ 0744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 6677855272142748085943376675826085792174955538594830508/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^34 - 298619961344063855034659968680406960369899549175186522336/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 118759116210370834538266549955598343693212745104475434884/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^32 - 2480419889563872350408956883924232510472137735457712790020/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 1029158737575861003351409115066723157108564046809571934876/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^30 - 11925840323827255696424764396020951605810193230585810959708/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 - 5594475713537623761952444417484618978405471963668513380688/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 35303128945681589785527989967025883458642416080029631340424/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 18461955615243401099328522206734663351327056002549590771980/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 65994723268174898941805142364987580262721608402641427113664/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 23178485870882440330095665779528188023743585603453191077284/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 99577539190429660440327044032818740327410756744973579682980/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 86688714350866248964265518339265814526125266944598585691836/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 - 264712700090517426353953808653226705340587543939797359932092/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 522275304323656753399112850832746127280160017331009322384812/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 38987863943782772920365359776028456935315568108547845173600/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^19 + 1311242850766995668303224162602589904844417656089468278295848/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^18 - 2043209587927922208308099305120883684467261247996519536498136/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 1878458925806821281956088085463722918264696363579170394366804/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 2751035901422591129303408484900475322988097782618248816667748/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 62103968944320676769615459045752304285788470895912629999240/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^14 - 1865115994991474539596685419556669289074925859915790452079941/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 + 177271793795234654680978224261440633873514373522170273348640/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 54539990124618988263781766123710496102063838742050020600878/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 594958378068057842816790531236283336730995682794606536398580/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 685931025148310566683918239185555221192534658485200839958791/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 343890205068173427726251498169721570850088997893219355969972/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 94977380163941018212212625878989170732295609252954912685194/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 83875516975540337635603610981785766367703979202529183060374/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 321408663335070101429353719787709422082356034224905292078622/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 86721842883741736152511301223462641986848088401070523374606/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 - 132410800351290715109482240048367024547381232239709774325096/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^3 - 11426141551761694232754010013769793603688734514631133328032/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 + 10159002438954305910913973367046754420899813901438829206543/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 - 4144790159314583804901591552166780206028392883717678165582/34074413\ 7901385670937239838774252097115763839176537474009, c_0101_14 - 377144394324260579442179424049271702303126228350770424/1481\ 4962517451550910314775598880525961554949529414672783*c_1001_2^35 - 5779153295187374711100057607131383924513276170974611216/34074413790\ 1385670937239838774252097115763839176537474009*c_1001_2^34 - 166286313590075077965949525721590906497748093627201662960/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 4364518944681303145654773162401098645018025993876507916/14814962517\ 451550910314775598880525961554949529414672783*c_1001_2^32 - 1443120327733225574040356127204098925391910582276820305868/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 829658206847722868502324830702014836850220736462322413168/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^30 - 7241878303169365792644140603710305026861990863712659395827/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^29 - 4216594900140371497205212793851972630631744038606122574532/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 22403623116359633000657830878948978281607355107706993267598/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 13306907374585611443090744246747865375465581116279840999208/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 43248982542233245222595858162344575904098299823457237998995/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 18465735794392810822798393730103794594084150298038289215100/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 61379111661703554104587654587085600116084058212623790956306/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 42801366997111404516313273431209114880889089957211593540812/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 - 6270994785875530422149159468969083807238216418488444129622/14814962\ 517451550910314775598880525961554949529414672783*c_1001_2^21 + 297167848012227172195636890677539211956461331235350636244272/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 509243617700034931163347023437133196756700794562941898968540/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 771819591833234734535486544422506520017657267523070508503000/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 - 1238817348516587252753626975591255892648778667487021468218683/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 1136770716648543170225380584490231014387707676340658604425692/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 1758464063958731143334083742467580262864957011465110182418950/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 899599914288633788768848376628510406750401354591815254761848/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 - 1248559702477257893652043388102331154709530580621244104998278/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 + 145037993835116271214981255489081461675915548302065588629992/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 51280012379984371851337010354174790871250567973264696769916/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 360054819711731979248705022464081534178286763928649639023052/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 475715076472392915494958806631367465993997609140743900121434/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 229422448913858148911963146923910933394004750876758661355124/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 73189567482800944883083960077001274166659005837317860456764/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 44744408365323035704463147684852380238816984266975878969140/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 223170395654727603127777958320602875841077594159887199337588/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 56200568545410893705527066935419171099487518038020465413532/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 - 87285949889690895160554920984313010337103197810278270153008/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 - 6112218042854851524792674556865456563885714662822990701656/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^2 + 12064453711679634726609482480145361942194489105782321349025/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 - 1396541094941791523176060414121255572651130519431647753008/34074413\ 7901385670937239838774252097115763839176537474009, c_0101_5 - 1872003631285733999848887048695116810097513252781220020/3407\ 44137901385670937239838774252097115763839176537474009*c_1001_2^35 + 2426457051974076232899326991949737929672778199147518532/34074413790\ 1385670937239838774252097115763839176537474009*c_1001_2^34 - 37418412209662348294453034305843618708940796339031065498/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^33 + 38086594986720833626845065685981388652282880385229915346/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^32 - 14688129413347313232026240681466583425848141930660326988/1481496251\ 7451550910314775598880525961554949529414672783*c_1001_2^31 + 261693151062895520952430623167107140299825532552050916924/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^30 - 1752030236088654709144345086810318012886230121138518412340/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^29 + 908948789192880490329799012524542725944066274147392791716/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^28 - 5499608156516369181514781077657802450355472492997468098510/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^27 + 1394361264090251020287815600246105273539587287681325849296/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^26 - 10661574430292146137544734892754398875629615505192047574034/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 + 1736538572466934669027293668786901902855207073887489373712/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^24 - 17821737110026050585400876355137531646441099668824337287546/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 + 20719989208733344105548579713695717049277634744721051454344/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^22 - 60587249256637037779422936715640143669962012579728959789864/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^21 + 124679354142082462239307054861746967237832878600269953011176/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 229970775828360344540188560421984782542257951491567792716676/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 374788150253496010745202657508059020955445290340581911239460/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 - 553475815124091083083605065675048186630349385466716683693244/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^17 + 644960221806344371422148615629519979349324852297492696661778/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^16 - 781388071904902632264576083283292267610550016894281990847704/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^15 + 610897684327960100599213601843649155425782673051924464263071/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 - 558978546214578785288190848598170536913430284664181063761360/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^13 + 190928033623884445266113888068129108354343623667228380580687/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 - 24425844049354132038769914414717429178458990824160800552650/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 181633445479061914949530012429759036843694493145649906398458/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 227619368934588274957935473787742199775583813905551878190878/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 151627148519447822371151916322010925556662142812281122944757/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 55531497781526629424396320142117548603367981750404250166612/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 32129847820140960443488375488995326763124436213371161454004/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 89514735432927648842677880460185193216799038004252808810660/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^5 + 53069768355460964089948224449841888212324166326379226165362/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^4 - 38892271336061508771587455555240968336621791332834049106532/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 + 2104009408859876471955284655695664082077164898576261166536/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^2 + 4556427196884405452449935913861950308214288061961250892908/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2 - 2489999306216903726254711206673375053620903723893303403429/34074413\ 7901385670937239838774252097115763839176537474009, c_0101_7 + 2761925008327790615593453116466077936130761963/9857662800116\ 1900665047571561366842688506726537*c_1001_2^35 + 1533717166898909831254028905607815445171094403/98576628001161900665\ 047571561366842688506726537*c_1001_2^34 + 47492914739764053877802374931680125018788498132/9857662800116190066\ 5047571561366842688506726537*c_1001_2^33 + 26694496734521560964804292034503596539718153177/9857662800116190066\ 5047571561366842688506726537*c_1001_2^32 + 373361064472100542712264183127546641388282963480/985766280011619006\ 65047571561366842688506726537*c_1001_2^31 + 224068028351976195237700790192713523551155359920/985766280011619006\ 65047571561366842688506726537*c_1001_2^30 + 1689819987299820300555226233060439204852243738934/98576628001161900\ 665047571561366842688506726537*c_1001_2^29 + 1153281284612448657167691146411581378235196594260/98576628001161900\ 665047571561366842688506726537*c_1001_2^28 + 4680564762816469398368391771897519029731483837838/98576628001161900\ 665047571561366842688506726537*c_1001_2^27 + 3542896165274665943643684102394296546448025007928/98576628001161900\ 665047571561366842688506726537*c_1001_2^26 + 8274629465452978207536601358585572816201792025167/98576628001161900\ 665047571561366842688506726537*c_1001_2^25 + 4319271712018894952149994610702645932190743300418/98576628001161900\ 665047571561366842688506726537*c_1001_2^24 + 12816732981419698107626552546991849593637608223290/9857662800116190\ 0665047571561366842688506726537*c_1001_2^23 - 11553793102104602517873833229861256921051140580477/9857662800116190\ 0665047571561366842688506726537*c_1001_2^22 + 34677895619288407802948383688068236878839552191065/9857662800116190\ 0665047571561366842688506726537*c_1001_2^21 - 63815286772973198198739801104708468359538843105876/9857662800116190\ 0665047571561366842688506726537*c_1001_2^20 + 103978404884939483143146145771973437032650779940792/985766280011619\ 00665047571561366842688506726537*c_1001_2^19 - 132367960137702815130923964936677127900407640300339/985766280011619\ 00665047571561366842688506726537*c_1001_2^18 + 203004451029294984753841632379096345239869742124529/985766280011619\ 00665047571561366842688506726537*c_1001_2^17 - 135386217921029992423664565074362861033410296464780/985766280011619\ 00665047571561366842688506726537*c_1001_2^16 + 225902453118721424010823246168814398600115301077055/985766280011619\ 00665047571561366842688506726537*c_1001_2^15 - 30542544244666859070926318856359250634656780052648/9857662800116190\ 0665047571561366842688506726537*c_1001_2^14 + 108573895829331964431654952227566750602035665231909/985766280011619\ 00665047571561366842688506726537*c_1001_2^13 + 77149253655432571133453642638134785072637384155959/9857662800116190\ 0665047571561366842688506726537*c_1001_2^12 - 27817972878146799978332143900318749401847689369884/9857662800116190\ 0665047571561366842688506726537*c_1001_2^11 + 66440156737552993768133426429031405884306891625210/9857662800116190\ 0665047571561366842688506726537*c_1001_2^10 - 38825147896931795852651696673548667185023975105712/9857662800116190\ 0665047571561366842688506726537*c_1001_2^9 - 3908216740911254178408315416946386921586386112417/98576628001161900\ 665047571561366842688506726537*c_1001_2^8 + 17872307882424082377970529687660118972214129884648/9857662800116190\ 0665047571561366842688506726537*c_1001_2^7 - 16003742999048224298101240328278980795975393332266/9857662800116190\ 0665047571561366842688506726537*c_1001_2^6 + 27076374905124373611722124292544186419035758968668/9857662800116190\ 0665047571561366842688506726537*c_1001_2^5 + 7121962728065077610504455920526124451858068717921/98576628001161900\ 665047571561366842688506726537*c_1001_2^4 + 6635087551401057202059949976946980970496478226208/98576628001161900\ 665047571561366842688506726537*c_1001_2^3 + 6394374711888620868039518942493908541220782628871/98576628001161900\ 665047571561366842688506726537*c_1001_2^2 + 213886729105652229307158860248160365032175792571/985766280011619006\ 65047571561366842688506726537*c_1001_2 - 447033951963029663145484033754654459802192013787/985766280011619006\ 65047571561366842688506726537, c_0101_9 - 2031378417323162654146170927687478744742450493120503943/3407\ 44137901385670937239838774252097115763839176537474009*c_1001_2^35 - 4900574481369161966024295095586219828737410561867074469/34074413790\ 1385670937239838774252097115763839176537474009*c_1001_2^34 - 51756229389660048669046174627347674234552465225416492871/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^33 - 88934458462610109092016674863700009790194072392058165257/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^32 - 23659116169657085063494776183486902013614309358128615986/1481496251\ 7451550910314775598880525961554949529414672783*c_1001_2^31 - 744370314114696674853348026556022226748065271030581783454/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^30 - 3218338539749899192416070788217072612249945186211253776702/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^29 - 3709450895959792808559022150730453463497761188994551755020/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 11685947707951375694467627086470993086268992771611040166274/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 11792039284371675489314447013657821887365592543965416681755/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 26173199196902529696720485299920634592330168060295938940708/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 21929199118612169830332527665241996451133784777891902903281/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 35811186394615877056856173009360171896483303760117733315723/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^23 - 7581825730346649910146103639693970635079239735756390216364/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^22 - 45959630382448567989815725536925283239367722148708119080584/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^21 + 82543984013333075674215885940977431492315084380751441444905/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^20 - 145390816758573324890971447801023842797807885157813592751219/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^19 + 250872983529072633782893545150811601584348905169522314788903/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^18 - 440042054195636760243460195633736512667656760080515846722262/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^17 + 353102313861008540542689529814665151935826505903917836523334/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^16 - 759394544416123872683173514204992168600628352775684029340488/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^15 + 210875233307081163618270964499659035017344713158167726855265/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^14 - 664602498917069809859815629412798899924896618531274841032214/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^13 - 82489384361481288918910601547697646401707834639504082869848/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^12 - 136435121748235566358438826788196188955464487688355896933481/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^11 - 203501919222472001478081432849124695070467193574970734695744/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 195649702135805391838400774104008119542312039769570978642886/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 80952718551837390481484859229409049586316783063815101250574/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^8 + 48560265188766543872341648256872173338742418348870392397272/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 22622709949044275203776252716087183524322350121931577428817/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^6 - 115079869517918701562603111607981644575986136975861000827005/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 - 2438059060929930341956575059622237432640150877615338882211/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^4 - 57494375927042273868248410727307803433408667041177120208540/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^3 - 20437544144405643262656201192603267833799582318297976414447/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 + 1319123166605911607893550371157588269465764768031403719836/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2 - 1314933620354950303945182092767359003875631261768541375604/34074413\ 7901385670937239838774252097115763839176537474009, c_1001_12 - 20719687639049991126765644966147121619828483853900239388/34\ 0744137901385670937239838774252097115763839176537474009*c_1001_2^35 - 2955508425623611788770309246494569664989397749625725370/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^34 - 368530618062642166658936114194205334793840154857697178022/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^33 - 57988677133671262179298297488744212793137442110908477120/3407441379\ 01385670937239838774252097115763839176537474009*c_1001_2^32 - 2996705534481627695340836145713875536945225070388009629664/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^31 - 598763065174934498100378284635157612151178282134594856656/340744137\ 901385670937239838774252097115763839176537474009*c_1001_2^30 - 14055335480618434754656037764294710491937838145546559204464/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^29 - 4011099153671010108121535045697000894773997195489357564018/34074413\ 7901385670937239838774252097115763839176537474009*c_1001_2^28 - 40246809094689592469529295411597930204126888494984150347640/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^27 - 15191051521267332793187193382228585641962422819337799836906/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^26 - 72534823158521027054444680200726151900287034483165527058696/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^25 - 15798785016168213995851881382012017944026414858642499061298/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^24 - 114473725102233086072345736138023948980475027760292255655104/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^23 + 125482097332074771517447712033997408292932030235448582008860/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^22 - 348028261995710310132599855287006371542505769706613475381348/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^21 + 685763743190535540668668036607372531428614883163304867311208/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^20 - 51466962204681223883943081003419259948968758607849341286720/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^19 + 1717496812312251486702713355220059325061458209304458694736212/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^18 - 2596100927140371610149679957921480428862370203495726270136274/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^17 + 2467848689276165177994162766371697920481215128728452116303248/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^16 - 3335257534004729520404775446300219063869990891818040895645819/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^15 + 81138507689681406978657769719704136903691417167451272858660/1481496\ 2517451550910314775598880525961554949529414672783*c_1001_2^14 - 2101537460862864892527126960682187126148259250652108041586668/34074\ 4137901385670937239838774252097115763839176537474009*c_1001_2^13 + 206411342988166264931367636264772367179798902716834185911650/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^12 + 79254402556935994319609937776644830659588703228775808186480/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^11 - 779154750771342231914231221042493606979557579288645235005538/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^10 + 830732848428090602891621113328023750859581267977841634710628/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^9 - 404000623731824962514278196032947375170955497059926470305504/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^8 + 70006074229836704584146394464203970650984063718219136587670/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^7 + 146120775511528699302482753803629193011812541653517959839694/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^6 - 377969718462878959429020118583367703145512062767721493581284/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^5 + 116909297334324581824801432002271317156516443108471899388138/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^4 - 138887810242834066205084524849814481497846188096782965458352/340744\ 137901385670937239838774252097115763839176537474009*c_1001_2^3 - 14941734729651231581287964728557258965488805208046025889820/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2^2 + 12765065970310925145159315570739226716746763447004568251212/3407441\ 37901385670937239838774252097115763839176537474009*c_1001_2 - 4255238373560442110892675888039792097824146165631770146762/34074413\ 7901385670937239838774252097115763839176537474009, c_1001_2^36 + c_1001_2^35 + 18*c_1001_2^34 + 17*c_1001_2^33 + 148*c_1001_2^32 + 136*c_1001_2^31 + 706*c_1001_2^30 + 652*c_1001_2^29 + 2092*c_1001_2^28 + 1896*c_1001_2^27 + 3948*c_1001_2^26 + 2566*c_1001_2^25 + 5578*c_1001_2^24 - 3111*c_1001_2^23 + 11642*c_1001_2^22 - 22096*c_1001_2^21 + 35514*c_1001_2^20 - 46885*c_1001_2^19 + 78644*c_1001_2^18 - 49182*c_1001_2^17 + 102563*c_1001_2^16 - 14250*c_1001_2^15 + 64735*c_1001_2^14 + 24302*c_1001_2^13 - 2518*c_1001_2^12 + 25555*c_1001_2^11 - 23196*c_1001_2^10 + 3646*c_1001_2^9 + 2446*c_1001_2^8 - 3824*c_1001_2^7 + 14567*c_1001_2^6 + 1865*c_1001_2^5 + 4650*c_1001_2^4 + 2336*c_1001_2^3 - 556*c_1001_2^2 - 62*c_1001_2 + 59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 234.410 Total time: 234.620 seconds, Total memory usage: 862.53MB