Magma V2.19-8 Wed Aug 21 2013 00:25:08 on localhost [Seed = 2328664472] Type ? for help. Type -D to quit. Loading file "K14n14025__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14025 geometric_solution 11.26336743 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869264075028 0.770341713608 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.148027732163 1.347629423128 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 -20 0 0 20 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.084819784707 0.734552655003 5 4 11 0 3201 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -20 0 0 20 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.941635223223 0.497700798769 11 9 0 3 2103 0132 0132 0321 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 -1 1 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281529531968 1.144378891657 8 1 11 3 1023 0132 0213 2310 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 1 -21 20 1 0 0 -1 -1 0 0 1 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869264075028 0.770341713608 7 9 1 10 1230 3012 0132 2310 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 -1 1 -20 0 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215499504331 0.545942267161 11 6 12 1 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301155207720 0.389098013461 2 5 10 12 0132 1023 1023 2310 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 -1 1 0 -1 0 1 0 -1 1 0 0 20 0 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.084819784707 0.734552655003 6 4 2 12 1230 0132 0132 3201 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 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417255991070 0.581941942636 6 12 8 2 3201 3201 1023 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 -1 1 0 0 -1 1 -1 0 0 1 -20 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.282975856814 1.714190208761 7 5 4 3 0132 0213 2103 0132 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 21 -20 -1 0 0 0 0 0 0 0 0 20 -20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565865910113 0.387672602326 8 9 10 7 3201 2310 2310 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.609381649513 1.025494728234 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : negation(d['c_1001_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_1001_12']), 'c_1010_8' : negation(d['c_0101_3']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0101_3'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_11']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 8156422072808931517413540197809800590713770171827352940877623852936\ 087485931392138072283202482176/671645378261664748754266937844072719\ 67957144298091010432063200378230391809086951867568589*c_1001_12^28 + 2857328138333658448722427928362195684645732933983655915342912911994\ 8945659454456986511977676632064/67164537826166474875426693784407271\ 967957144298091010432063200378230391809086951867568589*c_1001_12^27 - 85439869095580814208260398974823957430609583788298620194996761874\ 0970558417469037817621001450911744/67164537826166474875426693784407\ 271967957144298091010432063200378230391809086951867568589*c_1001_12\ ^26 - 4111112278304031248094564929018293982374997376408444642948227\ 99001138595575206438525988556232799232/9594933975166639267918099112\ 058181709708163471155858633151885768318627401298135981081227*c_1001\ _12^25 - 4512265269170471666247504312388924435692632190246232944578\ 312575529307865525763023089754810747830272/671645378261664748754266\ 93784407271967957144298091010432063200378230391809086951867568589*c\ _1001_12^24 - 61389235875218224692050658955372593895391205025206258\ 52149991552224404461007616463841268711670916608/6716453782616647487\ 5426693784407271967957144298091010432063200378230391809086951867568\ 589*c_1001_12^23 - 271143070952524246555016207019697347833143119906\ 430417667015686021660640338289186276993207076156928/292019729678984\ 6733714204077582924868172049752090913497046226103401321383003780515\ 981243*c_1001_12^22 - 451340064560325999943885300760782174923890912\ 6588915574917047257597444599703737911088999002102921984/67164537826\ 1664748754266937844072719679571442980910104320632003782303918090869\ 51867568589*c_1001_12^21 - 3639931582943875591143190469445412393768\ 222860264408932528511710851212484305666138609848952469967232/671645\ 3782616647487542669378440727196795714429809101043206320037823039180\ 9086951867568589*c_1001_12^20 - 20408451158081113395912261809599027\ 697280240639566410855230479074368173644025009547591638741459904/490\ 2521009209231742731875458715859267734098123948248936646948932717546\ 84737860962536997*c_1001_12^19 - 1819665105938783285350365663725219\ 548564330558835386331621349811923268905215942620328241848532379008/\ 6716453782616647487542669378440727196795714429809101043206320037823\ 0391809086951867568589*c_1001_12^18 - 1290977878990453024384747150820699484173717896602102775651974078479\ 469572366837653751472224934016544/671645378261664748754266937844072\ 71967957144298091010432063200378230391809086951867568589*c_1001_12^\ 17 - 10269348286659576049967120066589442752079560008994209254879276\ 74560540277522520385559206548768540432/6716453782616647487542669378\ 4407271967957144298091010432063200378230391809086951867568589*c_100\ 1_12^16 - 434741319800135030488949244396276647206512922128264837887\ 298778062756599083409388297035800463341040/671645378261664748754266\ 93784407271967957144298091010432063200378230391809086951867568589*c\ _1001_12^15 - 66314946926202594289344012774448113654983856478295455\ 018886231828458701887077034208059329291214096/671645378261664748754\ 2669378440727196795714429809101043206320037823039180908695186756858\ 9*c_1001_12^14 - 10242551558149912113646063533068598761373367780008\ 5078198838447135446061107635675962593956069253320/67164537826166474\ 8754266937844072719679571442980910104320632003782303918090869518675\ 68589*c_1001_12^13 + 1056980426987575324481832546962574148817871677\ 7456075113184865954458318875900050679287295654399944/67164537826166\ 4748754266937844072719679571442980910104320632003782303918090869518\ 67568589*c_1001_12^12 + 8613778002558909920084055301407653742971777\ 0907994914335812149583058548459506509312631738087783950/67164537826\ 1664748754266937844072719679571442980910104320632003782303918090869\ 51867568589*c_1001_12^11 - 1944955465726102844310930050017665725880\ 884652189307280675705977896463840532483885485202271022543/959493397\ 5166639267918099112058181709708163471155858633151885768318627401298\ 135981081227*c_1001_12^10 + 191598733653952005383829252130949597285\ 9078223001819252586570447871806790788846285195301486186361/67164537\ 8261664748754266937844072719679571442980910104320632003782303918090\ 86951867568589*c_1001_12^9 + 24493207036236512859966635675388364783\ 827427235702404044830522128125716438580614220787799774117892/671645\ 3782616647487542669378440727196795714429809101043206320037823039180\ 9086951867568589*c_1001_12^8 - 775615515915800035570489352597882747\ 3819123381240246674125950041553109983405404031574279129153573/67164\ 5378261664748754266937844072719679571442980910104320632003782303918\ 09086951867568589*c_1001_12^7 - 38886826154655101354505390950840481\ 88841444682817591413236649723371279748515106542625201889208496/6716\ 4537826166474875426693784407271967957144298091010432063200378230391\ 809086951867568589*c_1001_12^6 + 3891804666663719673064727254623324\ 936493546016989625280754501271554993683825818463054962177190275/671\ 6453782616647487542669378440727196795714429809101043206320037823039\ 1809086951867568589*c_1001_12^5 - 485947907532760498310628502777803\ 25938958145810460889560736010808682826704186533193304369477066/2920\ 1972967898467337142040775829248681720497520909134970462261034013213\ 83003780515981243*c_1001_12^4 - 63104689502873974364102338621378903\ 0550139827355612309216316368605924579313731595530218535144763/67164\ 5378261664748754266937844072719679571442980910104320632003782303918\ 09086951867568589*c_1001_12^3 + 21641805572372259648234877447841105\ 2631034018579929696886500252645192730976515495000022316240744/67164\ 5378261664748754266937844072719679571442980910104320632003782303918\ 09086951867568589*c_1001_12^2 - 46036975868879703608654029922669685\ 44836933647031231734405819208049889632021759603606003946319/6716453\ 7826166474875426693784407271967957144298091010432063200378230391809\ 086951867568589*c_1001_12 - 411412203963650065176696965882792167806\ 0352397194176977991261811194593657103480618610576660170/67164537826\ 1664748754266937844072719679571442980910104320632003782303918090869\ 51867568589, c_0011_0 - 1, c_0011_10 - 12366941556686839588689897395961675476677080911751158100471\ 31439466917590815117312/6410352115773548540878203900790295967785454\ 338453285042656213416254478067665859*c_1001_12^28 + 5235396002663083088612901537450160659679382066347861311813894775772\ 330123451523072/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^27 - 1326807603424619617066196012820042648414239620504285332786527368836\ 82932888747665408/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 - 3418007860353441914169538564033173852893690955338466121108143595275\ 77477969823259648/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^25 - 3627133212950234534926886766393621414952631870260968197129545541035\ 39295104025162752/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^24 - 4170812499686388657522893608654782520199509915509278870038243756375\ 10832011268652544/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^23 - 2399578608085058032207636539161447584527897169711230909053673932674\ 76067438088342528/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^22 + 3781743248333325817897126161502234764191986013134214843844839936761\ 5251386796382976/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^21 - 1910126909198887877360324629261249761178082111824927871041307951711\ 1073120029875072/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^20 - 2471604003551303324598307531223886129639777817804684300517615469050\ 521726510784/467908913560113032180890795678123793269011265580531754\ 93840973841273562537707*c_1001_12^19 + 4217628105550176460679195962951391835035174577972635660752663859093\ 8988487364582464/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^18 + 1258766416707214529644583775662818020671514976525366561143676069578\ 4654910133929312/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^17 - 1042262148888506728331030249887029062900977028670893719484329426619\ 2673118649520272/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^16 + 4745849172766345592332653457364323788624360183348364635682916437640\ 7536913781197440/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^15 + 3837291281930690965113881034484029155024682359055169811343805224026\ 4868194724748656/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^14 - 8442732148199605961589151257826963204315006305006689077852914698040\ 688093881872248/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^13 + 1048011667814900555875265317147095386321511488118954460330166579241\ 2856209338199152/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 + 1027829342406628851689621055969815034603337043832422172888063037398\ 9082855666971506/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 - 1212152560885599291690243228366584223829574536108337634227226783559\ 7142115053062761/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 + 7221258889272430720185215705199395470927788386991455810741640860122\ 78674467609764/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^9 + 3070615314813468857767498151839766410863003271405264458005574844001\ 178848897204450/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^8 - 3608729452093142789994010883525609742222934595704401749303257036025\ 745516258656994/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^7 + 1287348249129523247809914821419101813872412056306665163425236484619\ 99111017249144/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 + 1019927603883934876848884703952290361602783492446246032224927959397\ 160793660340141/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 - 4756382709485332700147190890358839157989429573727112801470891675034\ 34088245395814/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^4 - 1092087561896422836557132828924951022461734798500381760899569056644\ 3873385452379/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 + 9157639967536678788565614587103944227687168117209702283474382038177\ 8161463240544/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^2 - 5015719871003076251563803326512514852950553725865471767923001313153\ 074070295977/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859*c_1001_12 - 5764416649853109132127972948813711691429813235321727444078553347530\ 319044307644/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_0011_11 + c_1001_12, c_0011_12 + 11409192423158635042233265258783248967434043320148772121368\ 448705693178804321468416/641035211577354854087820390079029596778545\ 4338453285042656213416254478067665859*c_1001_12^28 - 4598025932623033255018045795529455636318287693257576986929191373561\ 2616160365076480/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 + 1216584043738916188398088202813327444035479972272804420953470798703\ 547987402717523968/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^26 + 3394158325170702802947458441679089440130064631126815692650668304124\ 593024748499886080/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 + 4232026386271515299755243072967666778307139914151907675502937241151\ 793917597951139840/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 + 5384878801411379699174533819877566856299315408057847179105727319403\ 403452559455579136/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 + 4363853797117237900092327029151189894880669979453787201050889228872\ 081610222021367808/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 + 1925473569107016116010696237617988408664130286015907618207811886904\ 821132000217703936/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^21 + 1942584430313129384591547470874520828734973427924506803700721629066\ 833127187466671104/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^20 + 9592590037123562736542719927758197110341873487597219080259935369418\ 907936451128576/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 + 5560733280565444997031716176068555954767449487099340827559699978456\ 65421573605803520/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 + 5158928993668831840552806413158197437939635665570935065786226724542\ 24701113078905792/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 + 5100875822297314850915872541937316963997821233641538013354151973206\ 85150438676214464/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 - 1280633302425190237067166199914471176268885575687960779216257018286\ 40658856773074304/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^15 - 2079381668383869103587454176348571488919150055164367950280330993558\ 68215283896354864/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^14 + 9247934984812321698804308925190775678138529260306223679418064922317\ 7630509364633760/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 - 9863913747674752204034444606907617960742727063668099431753990634847\ 9218961831707824/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 - 1113251170305101526384935473170523592625899362190987136202546708222\ 62320057686410400/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^11 + 7964694899772699772096380052174226222741732975418429549588150061875\ 5080305509251264/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 - 1670219672823483848515810001795245245814632321549898202793110998732\ 5278359375019912/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^9 - 3067595837940152226760259285763914506173818429836556733778420736292\ 5525179135476327/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^8 + 2871951668117499588603847996426262565531410925878865581999722844098\ 4603811236618310/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^7 - 1361750034503969001486434334952410434983836018883109661253922299092\ 880132646953973/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^6 - 7569191974352678297616881732822344176053141338651037104236285959061\ 707233375478239/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 + 4496648315083926571281484103764170724430902366199394127095582696441\ 065713215069733/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 - 1688979649647803993495410854209472872399082996728029504393477708543\ 10787968831085/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^3 - 6544130146250016726087433696612631105750917758881589080990814910854\ 46939625943686/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 + 1732116283508470707484459452503239526001427854354291492236231013125\ 14538112072464/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12 - 1474915735610811145898813128145790913413249192509602145653018084406\ 4890185868916/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859, c_0011_3 + 811316983596530054088126617833056765677644635452210920561416\ 3791263149362738524160/64103521157735485408782039007902959677854543\ 38453285042656213416254478067665859*c_1001_12^28 - 3185976574891988106325723127933583345579887817369179328131926749530\ 5399549949538304/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 + 8620154574698591671039944930923054347736271778454192024519550165210\ 30884785710692352/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 + 2501923548132872159274251901609653686511180857030373332873067015702\ 086834877657078784/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 + 3286530330198483776591617978665361261110831370385140903915325121638\ 767672667566067712/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 + 4230970989020335143706273963818973249431392920320411638225593378020\ 522861608223403520/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 + 3640924531993151709174913501302079992719999004660201572403714009188\ 133935864338118144/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 + 1892387265772194183677548147932089172942510146332937419357811028458\ 967761737125323520/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^21 + 1737137915798056451240319614430014164879846461902495751835264204362\ 626114261973812096/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^20 + 9101546521233007370812802079846683669793386984774012879895203013107\ 794910914794944/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 + 6414563983260892269370166781265777607933071521629960711473021376516\ 31550930117686912/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 + 5228828725155334245942303799682489492512036143989126967032631937483\ 04117640076387232/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 + 4767591685638565893578792608807241920767908305513070104822732368716\ 64370795264907216/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 + 1769177484555424215522047835675949008224087568442967296876909138127\ 741165764229360/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^15 - 1139084303873083989081501595458035565865991583517633865115220052872\ 25373616802352784/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^14 + 7123199443808793907713956402756230691015193933724243521118570874954\ 8766251514503640/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 - 5510164461556883785772038230045064718425096225079458787107211335760\ 7898011558546616/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 - 7910943014056838020220119173504573774400088838455355594531334931083\ 0871396749730222/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 + 4891457725396126683872007159496046624090640774884101351759721486980\ 9510829446731297/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 - 8569783306659096770688323424814845689631663066202552168182970888532\ 615023687211345/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 - 2226644937501661842968924244352183797241571467481571143322095730449\ 3697456710967442/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^8 + 1780385000860482548665427348863923256846197026660243745764440375521\ 9882267949794686/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^7 + 2735610607380017199759717158492662652329229196832247817654381565927\ 18660730699265/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 - 5105395216592429843573774098656473677380050963287084452895059351760\ 459437724597086/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 + 2690212448911719147897592616803775397138340876207984355999738483845\ 493541908306166/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 + 3925511817531505385183365497007740520439203933182992168243115750600\ 6161571891637/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 - 4170559820198707661906875102864730323895287578968843640446572945975\ 76922394078005/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 + 9459712568618601714520109581938112495644943623221531974528385756361\ 0540760796562/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 - 7978518852098490116008471935502056068190374882134545774259534409301\ 211044700621/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_0011_4 - 501401831260384482682980143435832709689078054751176855955687\ 2092999680/18581922627748149705191690068424495686686413073987718521\ 075443642119*c_1001_12^28 + 166805111455835627630231584579230396058\ 93356489332038715301042891362304/1858192262774814970519169006842449\ 5686686413073987718521075443642119*c_1001_12^27 - 5222204977223341944583119604537423418247547855404795104154668108026\ 06080/1858192262774814970519169006842449568668641307398771852107544\ 3642119*c_1001_12^26 - 18614583499907834524996578373230859720179544\ 14908861383014017092463022080/1858192262774814970519169006842449568\ 6686413073987718521075443642119*c_1001_12^25 - 3095167041298005807553268197589495625974288730239172188396848623596\ 510208/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^24 - 4303485943722842330841543092515899493315852\ 252053759462968960898240423936/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^23 - 4565383290367246796105615096355871707118210261159445498359478985276\ 038656/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^22 - 3523824929111012264621218069797863161283771\ 022853416448030554699612789248/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^21 - 2789740507418201860052912388309430344966842381756413956851619758865\ 284608/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^20 - 2128336932223976904573868480445949148532295\ 486033820034395951059983431936/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^19 - 1402843075659171082455218530960383231521649985424669589851068462480\ 465856/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^18 - 9712534712026029043518183030161719784463232\ 13898990132083476933388852096/1858192262774814970519169006842449568\ 6686413073987718521075443642119*c_1001_12^17 - 7466837311010493468406960086903693251509215054436580054415146350828\ 50816/1858192262774814970519169006842449568668641307398771852107544\ 3642119*c_1001_12^16 - 35769729093565846345088388884636160028733076\ 9949965381295001060870852016/18581922627748149705191690068424495686\ 686413073987718521075443642119*c_1001_12^15 - 7490118662008452036728675680522475398268527117023417711374821089135\ 5264/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^14 - 573498988155557822714525672602550602907773251\ 64372336735673917940773840/1858192262774814970519169006842449568668\ 6413073987718521075443642119*c_1001_12^13 + 1101701207748425387629875471524916028981359285596946197168611340696\ 8584/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^12 + 636213690081191601286532762874378054902265464\ 07636775522151454571087996/1858192262774814970519169006842449568668\ 6413073987718521075443642119*c_1001_12^11 + 5100285733672955379547924636938985979288658172902272388041065894364\ 904/185819226277481497051916900684244956866864130739877185210754436\ 42119*c_1001_12^10 + 3628982192096719970593691050979857910751298524\ 617583048129776864207357/185819226277481497051916900684244956866864\ 13073987718521075443642119*c_1001_12^9 + 1602123975620676236048628376566170037416923413725159031890236463664\ 9242/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^8 - 2800264765517436357459938407190330670038692676\ 770967077378779326691611/185819226277481497051916900684244956866864\ 13073987718521075443642119*c_1001_12^7 - 2688811685704598326717381883161900640517919832195188487051483680672\ 581/185819226277481497051916900684244956866864130739877185210754436\ 42119*c_1001_12^6 + 19501473298544659129492950667848144130294117617\ 78880895223738898132385/1858192262774814970519169006842449568668641\ 3073987718521075443642119*c_1001_12^5 - 5290225412078999965035698509040615805552175539003307820886928564072\ 97/1858192262774814970519169006842449568668641307398771852107544364\ 2119*c_1001_12^4 - 399647740809664308570806758205255772154932339621\ 974168737624104078458/185819226277481497051916900684244956866864130\ 73987718521075443642119*c_1001_12^3 + 6278951468784426487881314754236927780763660018859280956941830219018\ 7/18581922627748149705191690068424495686686413073987718521075443642\ 119*c_1001_12^2 - 1775834093427983015056966667168179892711313689562\ 6003877757671285480/18581922627748149705191690068424495686686413073\ 987718521075443642119*c_1001_12 + 169293820610382390553060394008486\ 26594233182285585605753583844544907/1858192262774814970519169006842\ 4495686686413073987718521075443642119, c_0011_6 + 371822376674050312093998990116508440626451546137291059844449\ 3486719703279826149376/64103521157735485408782039007902959677854543\ 38453285042656213416254478067665859*c_1001_12^28 - 1441510040672726947491107207699001488424482895990492277709782758212\ 6821868228653056/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 + 3946707768488713803402892663493973104513230189263330299363041662627\ 60746781731414016/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 + 1165179865959147732134304208375774895401128668819997397932824944355\ 474111422941356032/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 + 1599627389474344221264043537573054162769765378301335449354141427288\ 919818077952797696/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 + 2135670536229318579699050021297073447025979585458524279606976512830\ 466965861961171968/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 + 1953704230678655292993087669710699084146096952298301847027104115621\ 234226721346357760/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 + 1202036109380747086364581979313448228357058184349962755339661541556\ 690679741018283008/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^21 + 1088517027960889288030296781711693080459912529155935562336726685717\ 732645753450994688/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^20 + 5714036463532783135325526661955669110557739719546129591570759313937\ 677235813697536/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 + 4571091027318128333771588580488627488552107719654059844702315286097\ 26427984393427648/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 + 3577830094647062004642568428917326225549609746365312812616756968274\ 30655123106554688/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 + 2979435147346664120305026558816632685975669219308393258721853305583\ 29208594316469248/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 + 5972947492644335975253243430908669032177233903811164352099111080362\ 6090688464914096/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^15 - 1408991393990229932770926990164181831707661944424696961822713040881\ 7208120914081712/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^14 + 4485637290789910110411346427801628860220649343737973702078485332582\ 5813442227033696/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 - 2318968600678126925338735423693233996022900859472285708107827955507\ 3364130903782216/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 - 3432313273839886339991947806928755014644508752879420229294261236031\ 2925537990389132/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 + 2014164755017127407731459423363426401977501338750707274470972516267\ 4397951201695512/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 - 6138169824217092633102189481622256362337154441159091035881818443195\ 558478481246653/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 - 9716375294037212104236360879157298317829704749447559394055965247515\ 573739473018885/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^8 + 7619374448653778909798091328062043195541540486200335775490423619531\ 466648596784296/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^7 - 3903460559488308528593326691877559130556274188289088054000116247086\ 90978256269881/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 - 2006462151573641790696920436452538126254686509066751714101537422022\ 069648498338455/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 + 1282124959986393216193077202676248313563322798070402287943756411192\ 178212576081391/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 - 5487040880150953987036022717713968871178778381104563890294839932365\ 9495090381425/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 - 1549634346110658497353850038518445278283133487734729860544475546005\ 69154885128796/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 + 4740163203871045063863560488869015109986075973681112778915152305756\ 8376663420730/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 - 7078874557691488413150497521922070013348859631268766850369379500147\ 714975157978/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_0101_0 + 987035619975161060929908330603278164090950831915865835709766\ 975398960559914602496/641035211577354854087820390079029596778545433\ 8453285042656213416254478067665859*c_1001_12^28 - 3635733245777728409652184109099417447471429852286117012762122885007\ 423247423676416/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^27 + 1038815405690005698635040357996348678913476464198950971318236867693\ 50089619865516032/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 + 3300805839330782829446698635581078615784260260119325544629104536040\ 30979219163814912/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^25 + 4690399115752001221286880888765612438233295653529678518605417327905\ 40008760713964544/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^24 + 5966307491955025804176991401475678299477349832287837790641864818467\ 03019702744896000/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^23 + 5456414709563298450204047699551023508217489205981114464208343769408\ 35635113020394496/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^22 + 3064265807958184995143176273109526522557748195254339726814550168829\ 53721355185678080/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^21 + 2334554646656724490194001471883978174699338981363855648580585975522\ 06842346917247872/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^20 + 1283285734392874526722185264894542656645594753881003406577759685427\ 315264567347904/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 + 8817755510411118115775598588244905280357328411241631931828701880592\ 9676242732358464/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^18 + 6000440538526189244781474807163841492642106611581622554792925503967\ 8914494149969888/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^17 + 5924241031169210771377351325151080081571157163190724191015324863859\ 4908499016608848/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^16 + 4875400923770250123851477330542278518652509151048804117975705139349\ 300374418205280/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^15 - 2054749366184230572734570049575400602964092820181172095945363908135\ 6697622234965152/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^14 + 2784248436863847944525847740700642935463542375536990897176176369027\ 803855918219112/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^13 - 5363087660789457842579218336726650543275617590734220785942690928534\ 657344823212064/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^12 - 1249787943501366738830201678725094194431128752367420022879907844645\ 7662493852225618/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 + 3669304023384500479019982954969127796802830366752729251235343645293\ 767016246173133/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^10 + 1355551424548216312633670822308706059045063888725012028839311302031\ 666330603997818/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 - 2842312300228246883580653972606095767475617550473600699135307368048\ 845360692287385/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^8 + 1779672267680457381865375969259081014181460640188144936920999682552\ 385338370394507/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^7 + 8862751141609753343016590481679084498874224233618029379251596230325\ 87261151242946/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 - 6831023238676609217301806280395016713386266850163034120115477931839\ 29206499588180/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^5 + 1452735182034678617341760331961178279515515623630773374381669442762\ 78809400646059/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^4 + 1361760981464631789979488492757363347377039196574072813057906969834\ 27592507474747/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^3 - 6267044135113339631335680450363343706672080023197777181146544257419\ 1778284636786/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^2 - 1296215385620237762631505644048610052813657301695058432562223660161\ 9248007842851/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 + 4313285176562430553186205382775019312607606441043082177507741623384\ 013384992011/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_0101_1 + 501401831260384482682980143435832709689078054751176855955687\ 2092999680/18581922627748149705191690068424495686686413073987718521\ 075443642119*c_1001_12^28 - 166805111455835627630231584579230396058\ 93356489332038715301042891362304/1858192262774814970519169006842449\ 5686686413073987718521075443642119*c_1001_12^27 + 5222204977223341944583119604537423418247547855404795104154668108026\ 06080/1858192262774814970519169006842449568668641307398771852107544\ 3642119*c_1001_12^26 + 18614583499907834524996578373230859720179544\ 14908861383014017092463022080/1858192262774814970519169006842449568\ 6686413073987718521075443642119*c_1001_12^25 + 3095167041298005807553268197589495625974288730239172188396848623596\ 510208/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^24 + 4303485943722842330841543092515899493315852\ 252053759462968960898240423936/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^23 + 4565383290367246796105615096355871707118210261159445498359478985276\ 038656/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^22 + 3523824929111012264621218069797863161283771\ 022853416448030554699612789248/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^21 + 2789740507418201860052912388309430344966842381756413956851619758865\ 284608/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^20 + 2128336932223976904573868480445949148532295\ 486033820034395951059983431936/185819226277481497051916900684244956\ 86686413073987718521075443642119*c_1001_12^19 + 1402843075659171082455218530960383231521649985424669589851068462480\ 465856/185819226277481497051916900684244956866864130739877185210754\ 43642119*c_1001_12^18 + 9712534712026029043518183030161719784463232\ 13898990132083476933388852096/1858192262774814970519169006842449568\ 6686413073987718521075443642119*c_1001_12^17 + 7466837311010493468406960086903693251509215054436580054415146350828\ 50816/1858192262774814970519169006842449568668641307398771852107544\ 3642119*c_1001_12^16 + 35769729093565846345088388884636160028733076\ 9949965381295001060870852016/18581922627748149705191690068424495686\ 686413073987718521075443642119*c_1001_12^15 + 7490118662008452036728675680522475398268527117023417711374821089135\ 5264/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^14 + 573498988155557822714525672602550602907773251\ 64372336735673917940773840/1858192262774814970519169006842449568668\ 6413073987718521075443642119*c_1001_12^13 - 1101701207748425387629875471524916028981359285596946197168611340696\ 8584/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^12 - 636213690081191601286532762874378054902265464\ 07636775522151454571087996/1858192262774814970519169006842449568668\ 6413073987718521075443642119*c_1001_12^11 - 5100285733672955379547924636938985979288658172902272388041065894364\ 904/185819226277481497051916900684244956866864130739877185210754436\ 42119*c_1001_12^10 - 3628982192096719970593691050979857910751298524\ 617583048129776864207357/185819226277481497051916900684244956866864\ 13073987718521075443642119*c_1001_12^9 - 1602123975620676236048628376566170037416923413725159031890236463664\ 9242/18581922627748149705191690068424495686686413073987718521075443\ 642119*c_1001_12^8 + 2800264765517436357459938407190330670038692676\ 770967077378779326691611/185819226277481497051916900684244956866864\ 13073987718521075443642119*c_1001_12^7 + 2688811685704598326717381883161900640517919832195188487051483680672\ 581/185819226277481497051916900684244956866864130739877185210754436\ 42119*c_1001_12^6 - 19501473298544659129492950667848144130294117617\ 78880895223738898132385/1858192262774814970519169006842449568668641\ 3073987718521075443642119*c_1001_12^5 + 5290225412078999965035698509040615805552175539003307820886928564072\ 97/1858192262774814970519169006842449568668641307398771852107544364\ 2119*c_1001_12^4 + 399647740809664308570806758205255772154932339621\ 974168737624104078458/185819226277481497051916900684244956866864130\ 73987718521075443642119*c_1001_12^3 - 6278951468784426487881314754236927780763660018859280956941830219018\ 7/18581922627748149705191690068424495686686413073987718521075443642\ 119*c_1001_12^2 + 1775834093427983015056966667168179892711313689562\ 6003877757671285480/18581922627748149705191690068424495686686413073\ 987718521075443642119*c_1001_12 - 169293820610382390553060394008486\ 26594233182285585605753583844544907/1858192262774814970519169006842\ 4495686686413073987718521075443642119, c_0101_12 - 36915581957667667715290234647857613395922630441531116810885\ 08786393422735985516544/6410352115773548540878203900790295967785454\ 338453285042656213416254478067665859*c_1001_12^28 + 1476261592313616078234507028510540921363795311794593397899005739496\ 7204265876783104/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 - 3932238134438719786224327538733657378477541750527108944527859096672\ 50531370234728448/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 - 1110150611990932490599099721955471921414402910807723499404406621959\ 705769080532228096/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 - 1408973948163236784173243272904913112292767546834795771267061141518\ 582283598632699904/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 - 1788289881202763103151434681786177282422691003385483566259646990669\ 881220951805541376/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 - 1446559058751708095191873553029565781803485390932116059655352587636\ 834524347539709952/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 - 6274347844449202762329184850522592674662543400765720501797799508835\ 84918739619315200/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^21 - 5784573195542018517244523816954355207381963640789251738387872789024\ 10131814364880640/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^20 - 2641089096532401369192955079768885765553132765139920984885073431391\ 588981129539456/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 - 1307698778969310037373530717273388731106433817010165338551020035784\ 21903745107216000/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 - 1223785729471386867995240584366879774004965867875793066889646851355\ 91096716393762880/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 - 1321487282396161976358299753418188437630305241544738337505734238158\ 38901330231186464/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 + 6248621493084306731780111985486628038166323746161471686983228226082\ 1402066547046272/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^15 + 8655420177259286153262559192567760545726296522128391391469686734741\ 5363339105689632/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^14 - 1179315092954136466152286037114811591373643748641743499255391791341\ 4625433531577072/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 + 3916347878973092748974973865660633863357514688914301091468926555962\ 5898881852454320/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 + 3871175325617800471789329557484311163738970334142209567701545569844\ 7761798973026740/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 - 2303889748761329194973437953309295892019719479927401885157031609384\ 4636999081842786/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 + 4807041400176763912988392280084388811508087791426485607698820283683\ 482200967244668/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 + 8943525534391700863407956732117501444930884763257456355302911637619\ 248226542497724/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^8 - 8881730755623506148116814499025310153381344185402469920587114679110\ 056328869177460/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^7 + 1560501181867408735033373848301368491057021054407401433798333775670\ 08651935281019/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 + 2139917340850545512300231318396254398068413904790478610151669099859\ 470324173358328/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 - 1335792245686060770428367549887425834501047941872001098587177591120\ 161960586690557/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 + 5680530013014491958809721584373231766583599510877708258239633816277\ 9364738232079/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 + 1823160863403404640742424869736690240118804393151022441253439764966\ 72150860306705/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 - 4217094223558652546934920259674600337080929996936857166096325388690\ 9139362712046/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 + 6163664220813664948996475344889320149580362993926094902624843630131\ 857681163482/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_0101_3 - 666308266827675133379734972772303627991370486440602433452369\ 1304637906209013886976/64103521157735485408782039007902959677854543\ 38453285042656213416254478067665859*c_1001_12^28 + 2689634360409340342101503677584300109433146756270282483669373612400\ 6610664445403136/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 - 7104376813671367589167161917315611611691320493989145798960569977940\ 20241429251041280/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 - 1978442435083507515681114265240356880970019934905417768067840665944\ 649609413476701184/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 - 2434003406740895521734972987119687398649093364643563264641283530171\ 203326693324088320/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 - 3048727420641451052773115777031292152650021768598209337166848812359\ 428794891758663168/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 - 2411743415678041319272475925011861030253131048784668731649815200146\ 021288919880453120/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 - 9613133423528292954503488146227818118097582718743561447175261181992\ 11384599817250048/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^21 - 9949022393083548031899357115137136529352994841994832214680487207545\ 48445224391913088/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^20 - 5019029548249869050519173776699167047380039918857272794592041236106\ 581614499134016/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 - 2685143958330348537435311315096061804738254137148908900174571566026\ 90844918381566912/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 - 2598953576900123365093846590549541635723171768342825636162461608744\ 35351177192282272/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 - 2729395024673225313683065392755299938411278482714331270173743016661\ 39892155928329968/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 + 9296640807360136732577249729811093229036555190692085486259422446150\ 0178969698664928/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^15 + 1354759005275754459829132435807335964108728553479008538759062593956\ 13000009837595552/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^14 - 5341144401889527233551116362208751259330342394685642449463953210573\ 9856413377334296/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 + 5223808452748133026654387135803562792093144693726038353602132735861\ 8424120213791680/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 + 6404850119038055920568241311581294147404192107410534023666664755085\ 7759013453826902/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 - 4818523535101977889989271456487949540066421809832121693760043598042\ 4167812969075055/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 + 7494555954628575048388580199338641253730281271671303773270505773490\ 167323810882274/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 + 1845174716173919368741331501513780482017420564413364567751848603308\ 5529320853998611/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^8 - 1674617790333193843982148515372934532528439684901252486108466231004\ 3621996996744959/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^7 + 2031159379547289465314629426458702226284097033487317892000885461635\ 56273727725740/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 + 4605707080435560264521610052400236064393692467121609537267133879581\ 994815989071309/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 - 2504717866305735572207636491636019540295014473907738090575376339888\ 622151772079319/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 + 1641788588963448753895606290221552434647204164574929669993963649803\ 0966422429099/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 + 3962784326435749591280501652124678826602486562497515408595317644087\ 68205186668340/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 - 8604067496957637927497111013129475156205902156489049863583101199069\ 8424618994324/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 + 6750494087301696386149561930487607230792129403558145030848060982985\ 899689237772/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_1001_0 + 666308266827675133379734972772303627991370486440602433452369\ 1304637906209013886976/64103521157735485408782039007902959677854543\ 38453285042656213416254478067665859*c_1001_12^28 - 2689634360409340342101503677584300109433146756270282483669373612400\ 6610664445403136/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^27 + 7104376813671367589167161917315611611691320493989145798960569977940\ 20241429251041280/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^26 + 1978442435083507515681114265240356880970019934905417768067840665944\ 649609413476701184/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^25 + 2434003406740895521734972987119687398649093364643563264641283530171\ 203326693324088320/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^24 + 3048727420641451052773115777031292152650021768598209337166848812359\ 428794891758663168/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^23 + 2411743415678041319272475925011861030253131048784668731649815200146\ 021288919880453120/641035211577354854087820390079029596778545433845\ 3285042656213416254478067665859*c_1001_12^22 + 9613133423528292954503488146227818118097582718743561447175261181992\ 11384599817250048/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^21 + 9949022393083548031899357115137136529352994841994832214680487207545\ 48445224391913088/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^20 + 5019029548249869050519173776699167047380039918857272794592041236106\ 581614499134016/467908913560113032180890795678123793269011265580531\ 75493840973841273562537707*c_1001_12^19 + 2685143958330348537435311315096061804738254137148908900174571566026\ 90844918381566912/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^18 + 2598953576900123365093846590549541635723171768342825636162461608744\ 35351177192282272/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^17 + 2729395024673225313683065392755299938411278482714331270173743016661\ 39892155928329968/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^16 - 9296640807360136732577249729811093229036555190692085486259422446150\ 0178969698664928/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^15 - 1354759005275754459829132435807335964108728553479008538759062593956\ 13000009837595552/6410352115773548540878203900790295967785454338453\ 285042656213416254478067665859*c_1001_12^14 + 5341144401889527233551116362208751259330342394685642449463953210573\ 9856413377334296/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^13 - 5223808452748133026654387135803562792093144693726038353602132735861\ 8424120213791680/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^12 - 6404850119038055920568241311581294147404192107410534023666664755085\ 7759013453826902/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^11 + 4818523535101977889989271456487949540066421809832121693760043598042\ 4167812969075055/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^10 - 7494555954628575048388580199338641253730281271671303773270505773490\ 167323810882274/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^9 - 1845174716173919368741331501513780482017420564413364567751848603308\ 5529320853998611/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^8 + 1674617790333193843982148515372934532528439684901252486108466231004\ 3621996996744959/64103521157735485408782039007902959677854543384532\ 85042656213416254478067665859*c_1001_12^7 - 2031159379547289465314629426458702226284097033487317892000885461635\ 56273727725740/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^6 - 4605707080435560264521610052400236064393692467121609537267133879581\ 994815989071309/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^5 + 2504717866305735572207636491636019540295014473907738090575376339888\ 622151772079319/641035211577354854087820390079029596778545433845328\ 5042656213416254478067665859*c_1001_12^4 - 1641788588963448753895606290221552434647204164574929669993963649803\ 0966422429099/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12^3 - 3962784326435749591280501652124678826602486562497515408595317644087\ 68205186668340/6410352115773548540878203900790295967785454338453285\ 042656213416254478067665859*c_1001_12^2 + 8604067496957637927497111013129475156205902156489049863583101199069\ 8424618994324/64103521157735485408782039007902959677854543384532850\ 42656213416254478067665859*c_1001_12 - 6750494087301696386149561930487607230792129403558145030848060982985\ 899689237772/641035211577354854087820390079029596778545433845328504\ 2656213416254478067665859, c_1001_12^29 - 4*c_1001_12^28 + 213/2*c_1001_12^27 + 1203/4*c_1001_12^26 + 1515/4*c_1001_12^25 + 3843/8*c_1001_12^24 + 789/2*c_1001_12^23 + 2861/16*c_1001_12^22 + 5651/32*c_1001_12^21 + 7991/64*c_1001_12^20 + 3589/64*c_1001_12^19 + 6385/128*c_1001_12^18 + 12517/256*c_1001_12^17 - 1031/128*c_1001_12^16 - 4459/256*c_1001_12^15 + 4547/512*c_1001_12^14 - 119/16*c_1001_12^13 - 20049/2048*c_1001_12^12 + 28237/4096*c_1001_12^11 - 2309/2048*c_1001_12^10 - 5859/2048*c_1001_12^9 + 4971/2048*c_1001_12^8 - 15/1024*c_1001_12^7 - 2885/4096*c_1001_12^6 + 1529/4096*c_1001_12^5 + 27/4096*c_1001_12^4 - 259/4096*c_1001_12^3 + 7/512*c_1001_12^2 + 1/4096*c_1001_12 - 1/4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.950 Total time: 4.160 seconds, Total memory usage: 64.12MB