Magma V2.19-8 Tue Aug 20 2013 23:42:55 on localhost [Seed = 1495219217] Type ? for help. Type -D to quit. Loading file "K13a4873__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4873 geometric_solution 9.71474626 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.136171671147 0.550669468801 0 5 6 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823135595398 0.524728844759 3 0 7 6 0321 0132 0132 1302 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 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070609125846 1.120875972372 2 8 9 0 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.224760443299 2.001178636570 10 5 0 7 0132 3201 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.069454252342 0.661867358808 1 1 4 8 3012 0132 2310 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 -1 1 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.576816938454 1.711325048326 9 10 2 1 1023 0213 2031 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 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989105814425 0.686488674586 9 4 9 2 0213 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.024552771856 0.421962932057 11 3 5 10 0132 0132 2031 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.034224877464 1.314972675769 7 6 7 3 0213 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.486561525979 0.192185008331 4 11 6 8 0132 2103 0213 1023 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 0 0 0 0 0 0 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.442713612810 0.741378738053 8 10 11 11 0132 2103 1230 3012 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 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.236372289654 1.190365614922 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_6'], 's_2_0' : negation(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_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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : d['c_0110_5'], 'c_1100_1' : d['c_0110_5'], 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_1'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_1'], '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' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_1001_7'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_1001_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_6, c_0110_5, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 63460906213770/43730484973*c_1001_7^10 - 75281029959292/43730484973*c_1001_7^9 + 256883726206330/43730484973*c_1001_7^8 - 570517536310483/174921939892*c_1001_7^7 + 8234292965823/734966134*c_1001_7^6 - 11154072382581/1469932268*c_1001_7^5 + 249556706038795/87460969946*c_1001_7^4 - 314506000042725/43730484973*c_1001_7^3 + 1105508950501233/174921939892*c_1001_7^2 - 310585403874687/87460969946*c_1001_7 + 197884227145301/87460969946, c_0011_0 - 1, c_0011_10 + 1729486/21616651*c_1001_7^10 + 2077039/21616651*c_1001_7^9 + 2125309/43233302*c_1001_7^8 + 35579305/43233302*c_1001_7^7 - 231759/6176186*c_1001_7^6 + 10339811/6176186*c_1001_7^5 - 18331664/21616651*c_1001_7^4 + 43952479/43233302*c_1001_7^3 + 31067563/43233302*c_1001_7^2 + 1479678/21616651*c_1001_7 + 4620507/21616651, c_0011_11 - 1352156/21616651*c_1001_7^10 + 2468604/21616651*c_1001_7^9 - 12439402/21616651*c_1001_7^8 + 20667407/43233302*c_1001_7^7 - 4452116/3088093*c_1001_7^6 + 1985131/6176186*c_1001_7^5 - 34477746/21616651*c_1001_7^4 + 1938892/21616651*c_1001_7^3 + 15726505/43233302*c_1001_7^2 + 7541801/21616651*c_1001_7 - 2618218/21616651, c_0011_6 - 8695408/21616651*c_1001_7^10 + 1168452/21616651*c_1001_7^9 - 24080934/21616651*c_1001_7^8 - 13318719/21616651*c_1001_7^7 - 7396117/3088093*c_1001_7^6 - 1435579/3088093*c_1001_7^5 + 30622065/21616651*c_1001_7^4 + 44639648/21616651*c_1001_7^3 + 3051519/21616651*c_1001_7^2 - 21304079/21616651*c_1001_7 - 2707965/21616651, c_0101_1 - 6573390/21616651*c_1001_7^10 - 4145445/21616651*c_1001_7^9 - 34635911/43233302*c_1001_7^8 - 24710152/21616651*c_1001_7^7 - 14013303/6176186*c_1001_7^6 - 5018353/3088093*c_1001_7^5 + 5638385/21616651*c_1001_7^4 + 94449969/43233302*c_1001_7^3 - 554852/21616651*c_1001_7^2 - 17348907/21616651*c_1001_7 + 6076331/21616651, c_0101_11 - 2617224/21616651*c_1001_7^10 - 1463674/21616651*c_1001_7^9 - 2199683/21616651*c_1001_7^8 - 34325027/43233302*c_1001_7^7 + 672555/3088093*c_1001_7^6 - 7134233/6176186*c_1001_7^5 + 38383259/21616651*c_1001_7^4 + 14356185/21616651*c_1001_7^3 + 11157283/43233302*c_1001_7^2 + 18134971/21616651*c_1001_7 - 7869716/21616651, c_0101_2 - 13587150/21616651*c_1001_7^10 - 2714599/21616651*c_1001_7^9 - 66412581/43233302*c_1001_7^8 - 74080341/43233302*c_1001_7^7 - 21107505/6176186*c_1001_7^6 - 11628263/6176186*c_1001_7^5 + 48886209/21616651*c_1001_7^4 + 166591337/43233302*c_1001_7^3 + 8851631/43233302*c_1001_7^2 - 39621397/21616651*c_1001_7 - 8197927/21616651, c_0101_5 - 8784296/21616651*c_1001_7^10 + 6514166/21616651*c_1001_7^9 - 33862859/21616651*c_1001_7^8 + 4741661/43233302*c_1001_7^7 - 9470469/3088093*c_1001_7^6 + 778931/6176186*c_1001_7^5 - 11902974/21616651*c_1001_7^4 + 7957430/21616651*c_1001_7^3 - 12397919/43233302*c_1001_7^2 + 13618132/21616651*c_1001_7 + 3955172/21616651, c_0101_6 - 10095402/21616651*c_1001_7^10 + 1822411/21616651*c_1001_7^9 - 58780783/43233302*c_1001_7^8 - 39571935/43233302*c_1001_7^7 - 15766675/6176186*c_1001_7^6 - 9946237/6176186*c_1001_7^5 + 27101742/21616651*c_1001_7^4 + 32066673/43233302*c_1001_7^3 - 5379723/43233302*c_1001_7^2 - 16210367/21616651*c_1001_7 + 103668/21616651, c_0110_5 - 8784296/21616651*c_1001_7^10 + 6514166/21616651*c_1001_7^9 - 33862859/21616651*c_1001_7^8 + 4741661/43233302*c_1001_7^7 - 9470469/3088093*c_1001_7^6 + 778931/6176186*c_1001_7^5 - 11902974/21616651*c_1001_7^4 + 7957430/21616651*c_1001_7^3 - 12397919/43233302*c_1001_7^2 + 13618132/21616651*c_1001_7 + 3955172/21616651, c_1001_1 + c_1001_7, c_1001_7^11 - 1/2*c_1001_7^10 + 13/4*c_1001_7^9 + 1/2*c_1001_7^8 + 25/4*c_1001_7^7 - 3/2*c_1001_7^5 - 15/4*c_1001_7^4 + c_1001_7^3 + 1/2*c_1001_7^2 + 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_6, c_0110_5, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 4907697672290858185233972864531562655676906064436375251365268568563\ 306025518173/283738400629690958820348458550839446473019408607587505\ 725398405047791613990000000*c_1001_7^23 + 1171325934700361312526864218247317737391791674998862140668217364547\ 8695625019227/28373840062969095882034845855083944647301940860758750\ 5725398405047791613990000000*c_1001_7^22 + 7175790530033769643938180202114099547436167835542276300409111554684\ 9136949728427/28373840062969095882034845855083944647301940860758750\ 5725398405047791613990000000*c_1001_7^21 + 2744039135088805309310617865373853062908657716279079517148932110568\ 5542646997951/56747680125938191764069691710167889294603881721517501\ 145079681009558322798000000*c_1001_7^20 + 4923327421757029026469378401990647682690096191142799904539810423259\ 9496872462289/35467300078711369852543557318854930809127426075948438\ 215674800630973951748750000*c_1001_7^19 + 6258577473793193412742595863961916081785170671018108248588002857310\ 60440737094961/2837384006296909588203484585508394464730194086075875\ 05725398405047791613990000000*c_1001_7^18 + 2448918022883703100008366788063279069637524263862110194055608497284\ 4984849548043/70934600157422739705087114637709861618254852151896876\ 43134960126194790349750000*c_1001_7^17 + 7681239056142274329897159796157596951463535315204064421706258445669\ 28245905803581/1418692003148454794101742292754197232365097043037937\ 52862699202523895806995000000*c_1001_7^16 + 1524708590750225571422564025497024486554242139548728929884204353868\ 040357676270939/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000*c_1001_7^15 + 4996961513857581909164658474736872761805528102136334258638359210162\ 53413705006019/5674768012593819176406969171016788929460388172151750\ 1145079681009558322798000000*c_1001_7^14 + 2973426638596714360219126671357447796458985869675479741226278230722\ 008896826079629/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000*c_1001_7^13 + 4424003015206430035492909599314194617057307217180297192677104731241\ 34491294679833/7093460015742273970508711463770986161825485215189687\ 6431349601261947903497500000*c_1001_7^12 + 7185787041355784582205577860226162622482862201016760567747310922045\ 054227765918363/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000*c_1001_7^11 - 1186367476380175970036274679178483861265452520519537430173217169161\ 72345034547057/2837384006296909588203484585508394464730194086075875\ 0572539840504779161399000000*c_1001_7^10 + 1123897379387557714850953865035924163753611903728178205636790072220\ 900030208211849/283738400629690958820348458550839446473019408607587\ 50572539840504779161399000000*c_1001_7^9 + 8736646077009858943579917175827362979887904853756237374786980073834\ 37953344023357/2837384006296909588203484585508394464730194086075875\ 05725398405047791613990000000*c_1001_7^8 + 1494352976758035173458419037758125328010676578050076124224607767371\ 5037778335058531/28373840062969095882034845855083944647301940860758\ 7505725398405047791613990000000*c_1001_7^7 + 4413952038328056253293290251570021909891552287851184832274641971180\ 26144730682993/5674768012593819176406969171016788929460388172151750\ 1145079681009558322798000000*c_1001_7^6 + 8851119847170145134787623011833616928546028301802631286363283308027\ 077185847611249/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000*c_1001_7^5 + 2027441789433536699846275950936524334085491000421028454213093939008\ 387606506007571/354673000787113698525435573188549308091274260759484\ 38215674800630973951748750000*c_1001_7^4 - 1089133772520441989458324873753449187881192199198813450334834158615\ 23740532693819/2837384006296909588203484585508394464730194086075875\ 05725398405047791613990000000*c_1001_7^3 + 4518178854118079352447427635762817546190546914018317415201927053737\ 314737732269643/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000*c_1001_7^2 - 3561536534195677727732602568224634954511564866074300207836855141374\ 67509951954073/1418692003148454794101742292754197232365097043037937\ 52862699202523895806995000000*c_1001_7 + 1054669289745466974746623374636466638396207997119033023767998667482\ 900062402774837/283738400629690958820348458550839446473019408607587\ 505725398405047791613990000000, c_0011_0 - 1, c_0011_10 - 14708263242883321625960425997477660938453332147155118890190\ 1587/92548219894864066002112197741077886069498949593503104508951763\ 2*c_1001_7^23 - 179563377558254957426758853911051446183151000061923\ 4820443060889/46274109947432033001056098870538943034749474796751552\ 25447588160*c_1001_7^22 - 10807310811169792789722294224885040540845\ 408063055288000918958841/462741099474320330010560988705389430347494\ 7479675155225447588160*c_1001_7^21 - 21051740552398202147787867579820926043142537646369329494626946649/4\ 627410994743203300105609887053894303474947479675155225447588160*c_1\ 001_7^20 - 74450024032333582669767726124274851343064263099048842703\ 07389583/5784263743429004125132012358817367879343684349593944031809\ 48520*c_1001_7^19 - 19179790202366821794770137395562941082365638007\ 375057698749942751/925482198948640660021121977410778860694989495935\ 031045089517632*c_1001_7^18 - 1860828734071137054748917654390111458\ 6797811974352918230640443979/57842637434290041251320123588173678793\ 4368434959394403180948520*c_1001_7^17 - 116645060491825773996458292493239001311928576846273483907774074743/\ 2313705497371601650052804943526947151737473739837577612723794080*c_\ 1001_7^16 - 2340697464603347232785796236066182589382239198632043807\ 30030413529/4627410994743203300105609887053894303474947479675155225\ 447588160*c_1001_7^15 - 3751935415988281980196433244381262010174816\ 90558408033686829371461/4627410994743203300105609887053894303474947\ 479675155225447588160*c_1001_7^14 - 455256946567856047357282412073013818213061138607482961106530405599/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^13 - 1359933498781317666129135547933394208299971982204320693\ 3465929367/23137054973716016500528049435269471517374737398375776127\ 2379408*c_1001_7^12 - 106655278905406366226632646926971765097000851\ 9906841571115824532681/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^11 + 63408724805473146052070163217229234588309504268446390853178360783/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^10 - 80859534481447620549336802449943549339421547827851722149\ 3270035191/23137054973716016500528049435269471517374737398375776127\ 23794080*c_1001_7^9 - 230156056882031444870883270706662874777315709\ 045992753452677963311/462741099474320330010560988705389430347494747\ 9675155225447588160*c_1001_7^8 - 2182829686515647793394062966548967\ 649470713551622921090084847804449/462741099474320330010560988705389\ 4303474947479675155225447588160*c_1001_7^7 - 405844554239390627268821051942851318633016963971389294893686788887/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^6 - 12788358686230963769989506375497809478612283993698123301\ 86771162299/4627410994743203300105609887053894303474947479675155225\ 447588160*c_1001_7^5 - 30816181821871278549598843819450039752712229\ 1143452591033453078859/57842637434290041251320123588173678793436843\ 4959394403180948520*c_1001_7^4 - 4852068337197125896230274108207607\ 4650838111416778063493559698087/46274109947432033001056098870538943\ 03474947479675155225447588160*c_1001_7^3 - 569736712327558362594962793893786442620736071211652351552635062649/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^2 + 34388772788312236856426425356704526483796789509046650479\ 927203499/231370549737160165005280494352694715173747373983757761272\ 3794080*c_1001_7 - 146315642646836671786580665266259142629770401736\ 487119246203511447/462741099474320330010560988705389430347494747967\ 5155225447588160, c_0011_11 - 79855654555372292664268874889398770184112763356523151896217\ 289/462741099474320330010560988705389430347494747967515522544758816\ 0*c_1001_7^23 - 194202621437220180058026060788219951612990539472892\ 727717895967/462741099474320330010560988705389430347494747967515522\ 5447588160*c_1001_7^22 - 116595538077654180784872291696448996288223\ 3816541457876833456863/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^21 - 452147438857683758443015662848492779465113070385260412345139347/925\ 482198948640660021121977410778860694989495935031045089517632*c_1001\ _7^20 - 79562900510192328233103639008423723627606420695326531542747\ 3017/57842637434290041251320123588173678793436843495939440318094852\ 0*c_1001_7^19 - 101975345909454458532797638572688788782531879856413\ 20205613147437/4627410994743203300105609887053894303474947479675155\ 225447588160*c_1001_7^18 - 1956574311148380435283267300700750764052\ 744762451264583370119153/578426374342900412513201235881736787934368\ 434959394403180948520*c_1001_7^17 - 12269102724318349751191167255761346535641693770903708435141470849/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^16 - 24287009941025860009974451062070681987164450533102917027\ 991344287/462741099474320330010560988705389430347494747967515522544\ 7588160*c_1001_7^15 - 391228143691790055750661141665922121538179527\ 02309143047510667763/4627410994743203300105609887053894303474947479\ 675155225447588160*c_1001_7^14 - 4784319722257269894323865252561269\ 9668859969231070717290683844201/46274109947432033001056098870538943\ 03474947479675155225447588160*c_1001_7^13 - 6750894457808579229116866901847153460389414215403603184975845029/11\ 56852748685800825026402471763473575868736869918788806361897040*c_10\ 01_7^12 - 112728000229918038779226446916148861417117179322473182068\ 607385423/462741099474320330010560988705389430347494747967515522544\ 7588160*c_1001_7^11 + 799386896827123438658519613643440528689917873\ 6664218999356655241/23137054973716016500528049435269471517374737398\ 37577612723794080*c_1001_7^10 - 84368419048256386130367961376714392\ 175863900994195690034518872097/231370549737160165005280494352694715\ 1737473739837577612723794080*c_1001_7^9 - 24753411726187098434146771960589391173244606973711086206330810073/4\ 627410994743203300105609887053894303474947479675155225447588160*c_1\ 001_7^8 - 227649358995448250605559426403960796235584202510944693184\ 666497143/462741099474320330010560988705389430347494747967515522544\ 7588160*c_1001_7^7 - 3924991820767171776098689339980176454270945051\ 1605051969549478257/46274109947432033001056098870538943034749474796\ 75155225447588160*c_1001_7^6 - 126303634034883678177010463201457064\ 024025377613646832811439980493/462741099474320330010560988705389430\ 3474947479675155225447588160*c_1001_7^5 - 6589669836248668166875999731450586115421094499354807136580905269/11\ 5685274868580082502640247176347357586873686991878880636189704*c_100\ 1_7^4 + 99615758267658375042651517147624978431235083415931256994015\ 9903/46274109947432033001056098870538943034749474796751552254475881\ 60*c_1001_7^3 - 450613747337036813395146849021673076447371735254629\ 64215019203103/4627410994743203300105609887053894303474947479675155\ 225447588160*c_1001_7^2 + 71067065322058374474563938647199819822183\ 4843287916125171178857/46274109947432033001056098870538943034749474\ 7967515522544758816*c_1001_7 - 156860005215993810538511523496372629\ 93971482914945838906385151793/4627410994743203300105609887053894303\ 474947479675155225447588160, c_0011_6 - 346611697534896727314436784347972217299868213371534090015722\ 447/462741099474320330010560988705389430347494747967515522544758816\ 0*c_1001_7^23 - 850754197332243915872781292087966801699775150465480\ 232759971913/462741099474320330010560988705389430347494747967515522\ 5447588160*c_1001_7^22 - 510606589923460464076861759688033869883748\ 5860229207798316792457/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^21 - 9997132679621062367684099671783214205402095231695174288193636937/46\ 27410994743203300105609887053894303474947479675155225447588160*c_10\ 01_7^20 - 705957060762972435193672686245354760799263302726473631546\ 263555/115685274868580082502640247176347357586873686991878880636189\ 704*c_1001_7^19 - 4569423262032025614870363133234382185548062486441\ 1959131752439691/46274109947432033001056098870538943034749474796751\ 55225447588160*c_1001_7^18 - 88827777159801598629368606886205986348\ 75284170180699138089531551/5784263743429004125132012358817367879343\ 68434959394403180948520*c_1001_7^17 - 55781693487778641824773716402218348241277798346284106622980366711/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^16 - 11289887900933061717135924067887481106353460216977725603\ 6268973833/46274109947432033001056098870538943034749474796751552254\ 47588160*c_1001_7^15 - 17998884254867772749269032024426379838220314\ 2045062457360333979157/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^14 - 43841352990993081466375732905054577754101523386521011328798414819/9\ 25482198948640660021121977410778860694989495935031045089517632*c_10\ 01_7^13 - 333992926067710665538726363899237746647981959227650621726\ 83271027/1156852748685800825026402471763473575868736869918788806361\ 897040*c_1001_7^12 - 5079757601470965753600883810183563615114109221\ 03201510598498639257/4627410994743203300105609887053894303474947479\ 675155225447588160*c_1001_7^11 + 2460408468111510454752692212344847\ 0638570321120259262363428839887/23137054973716016500528049435269471\ 51737473739837577612723794080*c_1001_7^10 - 382829478478672103256316264935338742783128761534969970523442521239/\ 2313705497371601650052804943526947151737473739837577612723794080*c_\ 1001_7^9 - 12545420450935964151560109867901275860637373353124376690\ 2417466047/46274109947432033001056098870538943034749474796751552254\ 47588160*c_1001_7^8 - 103362317738776527771229710031412907182467220\ 0338757930169861967601/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^7 - 214516756060986236344662286060847\ 619098209705081410437415115472807/462741099474320330010560988705389\ 4303474947479675155225447588160*c_1001_7^6 - 613639082465908806494588637824173308283481758911449089678806548011/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^5 - 14818986658945239886770033606136529066728940825008961502\ 0190545287/57842637434290041251320123588173678793436843495939440318\ 0948520*c_1001_7^4 - 4737533662585671329288085413543425113231214671\ 0062569630913790647/46274109947432033001056098870538943034749474796\ 75155225447588160*c_1001_7^3 - 278959246040714766828712729282362527\ 102549147746689390178279277321/462741099474320330010560988705389430\ 3474947479675155225447588160*c_1001_7^2 + 5983242307490340955291386216226800151758856095626271551579905707/23\ 13705497371601650052804943526947151737473739837577612723794080*c_10\ 01_7 - 140507509769167675043125694632035600092317357697161196380803\ 01755/9254821989486406600211219774107788606949894959350310450895176\ 32, c_0101_1 + 329714084560371720742676357395234234201418753978639279626833\ 9/57842637434290041251320123588173678793436843495939440318094852*c_\ 1001_7^23 + 3978360296256801998401227146173978542457993630300875505\ 3541103/28921318717145020625660061794086839396718421747969720159047\ 4260*c_1001_7^22 + 241105338195850102128545891888651339341099306751\ 713652956059177/289213187171450206256600617940868393967184217479697\ 201590474260*c_1001_7^21 + 4648016055729710592843342198767823150576\ 53849368366042763941083/2892131871714502062566006179408683939671842\ 17479697201590474260*c_1001_7^20 + 330266364913181925668286379523725509164441327729199869659184832/723\ 03296792862551564150154485217098491796054369924300397618565*c_1001_\ 7^19 + 421761708588390913186016460540168436368305144052229304245201\ 539/57842637434290041251320123588173678793436843495939440318094852*\ c_1001_7^18 + 16350698295542161118625298873456209660267134479312481\ 80649496087/1446065935857251031283003089704341969835921087398486007\ 95237130*c_1001_7^17 + 12800933896530553533710508897409255496723207\ 42408966598569027413/7230329679286255156415015448521709849179605436\ 9924300397618565*c_1001_7^16 + 507763370348490260907502851363956798\ 8591057944795395782131927223/28921318717145020625660061794086839396\ 7184217479697201590474260*c_1001_7^15 + 8233323470585735636232892550259155316367835773160422649966448117/28\ 9213187171450206256600617940868393967184217479697201590474260*c_100\ 1_7^14 + 9927921669800768675807684405290508587229141410122873611790\ 541453/289213187171450206256600617940868393967184217479697201590474\ 260*c_1001_7^13 + 2887970820302069872235187590549342832236344253418\ 40660192517053/1446065935857251031283003089704341969835921087398486\ 0079523713*c_1001_7^12 + 236812240127984417792428529148071602554722\ 15039705515616084741737/2892131871714502062566006179408683939671842\ 17479697201590474260*c_1001_7^11 - 896887977608417458003090202377793911160892214626152975526469328/723\ 03296792862551564150154485217098491796054369924300397618565*c_1001_\ 7^10 + 907683995602637410685075853233443689220921721508272448477227\ 5601/72303296792862551564150154485217098491796054369924300397618565\ *c_1001_7^9 + 39483072844709208899896015392266586209788870297970685\ 69451787717/2892131871714502062566006179408683939671842174796972015\ 90474260*c_1001_7^8 + 488564406397733807468188243294437221613759500\ 92751267917423514373/2892131871714502062566006179408683939671842174\ 79697201590474260*c_1001_7^7 + 742708215758492022258881769299040049\ 0239312570495815131423009009/28921318717145020625660061794086839396\ 7184217479697201590474260*c_1001_7^6 + 28418704535301543102674449890259240893388445038610025084660261123/2\ 89213187171450206256600617940868393967184217479697201590474260*c_10\ 01_7^5 + 2701935546782822037444671463080791055838359373965122927942\ 7272237/14460659358572510312830030897043419698359210873984860079523\ 7130*c_1001_7^4 - 4029173201911660040914854907635999271324698624239\ 00855577187531/2892131871714502062566006179408683939671842174796972\ 01590474260*c_1001_7^3 + 126261252644152245126191914454871110530294\ 96945906185415623204933/2892131871714502062566006179408683939671842\ 17479697201590474260*c_1001_7^2 - 555964370484352253931645609593278\ 116669535279559490078706309694/723032967928625515641501544852170984\ 91796054369924300397618565*c_1001_7 + 3299787656117782382721364223417966601529823379279777170286564389/28\ 9213187171450206256600617940868393967184217479697201590474260, c_0101_11 + 78342265064673948711316328958507471887390856133077020188159\ 1529/46274109947432033001056098870538943034749474796751552254475881\ 60*c_1001_7^23 + 19146497905193254828217633729717957021304681928529\ 47758988301823/4627410994743203300105609887053894303474947479675155\ 225447588160*c_1001_7^22 + 1151043326191853015445833427881295352616\ 9173072768361794452738687/46274109947432033001056098870538943034749\ 47479675155225447588160*c_1001_7^21 + 22436451381972686557048459816186777021836988761788118646652520831/4\ 627410994743203300105609887053894303474947479675155225447588160*c_1\ 001_7^20 + 79253388037188037997789724594433762233067164517032518161\ 09779649/5784263743429004125132012358817367879343684349593944031809\ 48520*c_1001_7^19 + 10212374270519146220920950068015722680915684751\ 9446866641929420877/46274109947432033001056098870538943034749474796\ 75155225447588160*c_1001_7^18 + 19788721509311007865512181632340551\ 961545156997940261955101821689/578426374342900412513201235881736787\ 934368434959394403180948520*c_1001_7^17 + 124051136174873896321354796291812575884419804647930031670782148481/\ 2313705497371601650052804943526947151737473739837577612723794080*c_\ 1001_7^16 + 2487736106109306414576765074839519240064968145703263369\ 72851948543/4627410994743203300105609887053894303474947479675155225\ 447588160*c_1001_7^15 + 3984932687121212969404555234609521146015901\ 01097651062926088892307/4627410994743203300105609887053894303474947\ 479675155225447588160*c_1001_7^14 + 484347349942203920965731897527760812868378974915216526555317289417/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^13 + 7204579819141228504346122966715109556960451936484191869\ 8237476069/11568527486858008250264024717634735758687368699187888063\ 61897040*c_1001_7^12 + 11335843468815966558086390720997696401418371\ 79783327640016169792367/4627410994743203300105609887053894303474947\ 479675155225447588160*c_1001_7^11 - 66905051649505166135473341630389038872454760278242275507931908233/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^10 + 85694029901915692841402096787668204532144488901654339848\ 8133932481/23137054973716016500528049435269471517374737398375776127\ 23794080*c_1001_7^9 + 252204377468185645871957154407188491324436138\ 591101398968878972217/462741099474320330010560988705389430347494747\ 9675155225447588160*c_1001_7^8 + 2313374331489247812715809966744734\ 509307610195208210602177919852119/462741099474320330010560988705389\ 4303474947479675155225447588160*c_1001_7^7 + 87671920659936440022153625203877454164459216472255279094565169373/9\ 25482198948640660021121977410778860694989495935031045089517632*c_10\ 01_7^6 + 1348030605273679222909064389193614037062375334892388216181\ 254417069/462741099474320330010560988705389430347494747967515522544\ 7588160*c_1001_7^5 + 3287359634271267321668513410847068757999837978\ 89474120455466698361/5784263743429004125132012358817367879343684349\ 59394403180948520*c_1001_7^4 + 106802775168400853714417234191566486\ 94956513943631267848983042573/9254821989486406600211219774107788606\ 94989495935031045089517632*c_1001_7^3 + 587431666692420930660566958275788609783322945184762059718995835519/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^2 - 33300275902944999175629656220283811155878488659285700285\ 884593741/231370549737160165005280494352694715173747373983757761272\ 3794080*c_1001_7 + 153683048152366504706115309744122372943183131299\ 451376054847164241/462741099474320330010560988705389430347494747967\ 5155225447588160, c_0101_2 - 353195077777873955639761418969808616674005159062869339032148\ 9/462741099474320330010560988705389430347494747967515522544758816*c\ _1001_7^23 - 777444916377535555521412938102391074200326660180259343\ 2271255/46274109947432033001056098870538943034749474796751552254475\ 8816*c_1001_7^22 - 497210463268874055585962027289787684086238778339\ 03196853202071/4627410994743203300105609887053894303474947479675155\ 22544758816*c_1001_7^21 - 89349498255455467763030435283077808467116\ 338758291746741749623/462741099474320330010560988705389430347494747\ 967515522544758816*c_1001_7^20 - 3285895706478503221784566102580134\ 1657507502295624311860832657/57842637434290041251320123588173678793\ 436843495939440318094852*c_1001_7^19 - 404013554157164099799902745801257766520229112303646497224320213/462\ 741099474320330010560988705389430347494747967515522544758816*c_1001\ _7^18 - 78528195339782771553620048568446219001117826820973213427184\ 613/57842637434290041251320123588173678793436843495939440318094852*\ c_1001_7^17 - 51147350108362530441059300137426187303281833973407771\ 0485645593/23137054973716016500528049435269471517374737398375776127\ 2379408*c_1001_7^16 - 984100225350104740064502312671603595241707502\ 604228768818156599/462741099474320330010560988705389430347494747967\ 515522544758816*c_1001_7^15 - 1729551838990139983461668644245237218\ 932948736558284532960825291/462741099474320330010560988705389430347\ 494747967515522544758816*c_1001_7^14 - 2072663483531839055961510476405096799784739713361777839912924849/46\ 2741099474320330010560988705389430347494747967515522544758816*c_100\ 1_7^13 - 2729898835661190592081796911996131847286900038534663243571\ 51005/1156852748685800825026402471763473575868736869918788806361897\ 04*c_1001_7^12 - 52664159461555078928989146598903775218457907932319\ 15298136971143/4627410994743203300105609887053894303474947479675155\ 22544758816*c_1001_7^11 + 61245829794656443371596761921571076061560\ 3609002882832139106145/23137054973716016500528049435269471517374737\ 3983757761272379408*c_1001_7^10 - 408708711977274029528402757561526\ 4002325967057148126489258028073/23137054973716016500528049435269471\ 5173747373983757761272379408*c_1001_7^9 - 659084250295881531055248315901687970700800300616853934312857601/462\ 741099474320330010560988705389430347494747967515522544758816*c_1001\ _7^8 - 100515742185111341266444970103082082544675254307833435047064\ 85039/4627410994743203300105609887053894303474947479675155225447588\ 16*c_1001_7^7 - 131670027233375248551897139449940097035907562858503\ 5160820017081/46274109947432033001056098870538943034749474796751552\ 2544758816*c_1001_7^6 - 5964707098380444287849518713683552117169248\ 630469071538996187349/462741099474320330010560988705389430347494747\ 967515522544758816*c_1001_7^5 - 16274774300310724066833001403179380\ 22642445582768065255778879801/5784263743429004125132012358817367879\ 3436843495939440318094852*c_1001_7^4 + 1729143286761706726259847945928352601570171053688101014796511319/46\ 2741099474320330010560988705389430347494747967515522544758816*c_100\ 1_7^3 - 39087882797230360656415956058878703580741108868346060126195\ 49111/4627410994743203300105609887053894303474947479675155225447588\ 16*c_1001_7^2 - 119298164287286230075464794890723856535579838849016\ 7606587652779/23137054973716016500528049435269471517374737398375776\ 1272379408*c_1001_7 - 980623135644727256314716311817354175031309418\ 140880560120095001/462741099474320330010560988705389430347494747967\ 515522544758816, c_0101_5 + 491948854998295545992994360408548669876116948252042067478008\ 217/462741099474320330010560988705389430347494747967515522544758816\ 0*c_1001_7^23 + 119617219059246423913977090951132268131567431854983\ 2101602410223/46274109947432033001056098870538943034749474796751552\ 25447588160*c_1001_7^22 + 72200094554636714045889241107969804272136\ 12672177885945812622287/4627410994743203300105609887053894303474947\ 479675155225447588160*c_1001_7^21 + 14019560592267532766269974869934033809987312883292732785149465327/4\ 627410994743203300105609887053894303474947479675155225447588160*c_1\ 001_7^20 + 99375245817284366523713818074423434767864550070394040466\ 8357253/11568527486858008250264024717634735758687368699187888063618\ 9704*c_1001_7^19 + 638825845430585800194694549843170916813452872251\ 26429444912861181/4627410994743203300105609887053894303474947479675\ 155225447588160*c_1001_7^18 + 1240924986118933353279662544496457713\ 1148293824000779226006248101/57842637434290041251320123588173678793\ 4368434959394403180948520*c_1001_7^17 + 77857314591782454813669615883628788860549625201626756560797159041/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^16 + 15606151260116635486317565304353923583538437824447314210\ 2065070383/46274109947432033001056098870538943034749474796751552254\ 47588160*c_1001_7^15 + 25097493497837856394161543107726176498671202\ 1053946582547651006947/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^14 + 60788550055011605271853722047655030881463468737749843437848289093/9\ 25482198948640660021121977410778860694989495935031045089517632*c_10\ 01_7^13 + 453097732673366512051469976793387665092967970521222335327\ 32947077/1156852748685800825026402471763473575868736869918788806361\ 897040*c_1001_7^12 + 7147696977032681276615412812576394744460601082\ 35086736713830440447/4627410994743203300105609887053894303474947479\ 675155225447588160*c_1001_7^11 - 4455061836947140338789222999229060\ 1368365832500797665696055581737/23137054973716016500528049435269471\ 51737473739837577612723794080*c_1001_7^10 + 543697063130539947797522102666803549371266590577240265157683521249/\ 2313705497371601650052804943526947151737473739837577612723794080*c_\ 1001_7^9 + 14689779078811416891957004072247394396634901056833714400\ 5756440137/46274109947432033001056098870538943034749474796751552254\ 47588160*c_1001_7^8 + 146441064640715837767394776251291002664741768\ 7867701137755156712231/46274109947432033001056098870538943034749474\ 79675155225447588160*c_1001_7^7 + 263224392997079364498434084493365\ 489350071022540554541715672264737/462741099474320330010560988705389\ 4303474947479675155225447588160*c_1001_7^6 + 864831925187964883746390725814756371091800224722799873613552956701/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^5 + 20629674884181663936605260646094944138280743027220511591\ 6078665717/57842637434290041251320123588173678793436843495939440318\ 0948520*c_1001_7^4 + 2498339218778968015936538368580420805860232554\ 9580848757184851857/46274109947432033001056098870538943034749474796\ 75155225447588160*c_1001_7^3 + 390006295466485834636777002970456640\ 654354267059903922796594269391/462741099474320330010560988705389430\ 3474947479675155225447588160*c_1001_7^2 - 17401335479240408083891826067443288551391975742896544774695163437/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7 + 19976792697137116487311871504655081699763455601876991636211\ 764461/925482198948640660021121977410778860694989495935031045089517\ 632, c_0101_6 + 174219517683500265581968252834956194360348715243137516800729\ 449/231370549737160165005280494352694715173747373983757761272379408\ 0*c_1001_7^23 + 424076165002403580710204081496471231037188555234947\ 210958830511/231370549737160165005280494352694715173747373983757761\ 2723794080*c_1001_7^22 + 255817457213916768464518467707592859440612\ 9069230706753097533919/23137054973716016500528049435269471517374737\ 39837577612723794080*c_1001_7^21 + 4971095298033052301094438258447324742806354124745905574309645359/23\ 13705497371601650052804943526947151737473739837577612723794080*c_10\ 01_7^20 + 352253678366717445592876560821598890789443214724874710100\ 172981/578426374342900412513201235881736787934368434959394403180948\ 52*c_1001_7^19 + 22651165109969643098145816726808548375999951984159\ 120125061793037/231370549737160165005280494352694715173747373983757\ 7612723794080*c_1001_7^18 + 440019865026772530225646166412290889960\ 9965021403049879897629227/28921318717145020625660061794086839396718\ 4217479697201590474260*c_1001_7^17 + 27590344399663477929961255937369963247893280017654046888704356617/1\ 156852748685800825026402471763473575868736869918788806361897040*c_1\ 001_7^16 + 55317241224039960271641028340038730989128964820950997091\ 512457071/231370549737160165005280494352694715173747373983757761272\ 3794080*c_1001_7^15 + 888742611383815773151446456074074532211548417\ 65123415756903040179/2313705497371601650052804943526947151737473739\ 837577612723794080*c_1001_7^14 + 2152083581834953875231842338173597\ 8668811456255262322406691442885/46274109947432033001056098870538943\ 0347494747967515522544758816*c_1001_7^13 + 16052887775344093255115595325261396775066416060902706557813532869/5\ 78426374342900412513201235881736787934368434959394403180948520*c_10\ 01_7^12 + 252908153700592279617902792750038000012564111074604768170\ 449764239/231370549737160165005280494352694715173747373983757761272\ 3794080*c_1001_7^11 - 156853026674894258155849294396927511696960602\ 06576626429479424609/1156852748685800825026402471763473575868736869\ 918788806361897040*c_1001_7^10 + 1925054379920740016659767407313551\ 62185453470169591911298788261273/1156852748685800825026402471763473\ 575868736869918788806361897040*c_1001_7^9 + 51920447065485846630511926593804946212068763905626689051377996169/2\ 313705497371601650052804943526947151737473739837577612723794080*c_1\ 001_7^8 + 519337528937600965184419354144097473669163620125919601472\ 835166167/231370549737160165005280494352694715173747373983757761272\ 3794080*c_1001_7^7 + 9268596029850493599310776682017452901535228414\ 0123643888247778529/23137054973716016500528049435269471517374737398\ 37577612723794080*c_1001_7^6 + 306408897893773292826598373547511364\ 166073534422582010321935164717/231370549737160165005280494352694715\ 1737473739837577612723794080*c_1001_7^5 + 72777820419310925886717622324841135596188517029836583191993642799/2\ 89213187171450206256600617940868393967184217479697201590474260*c_10\ 01_7^4 + 1011209783853105217179137152526517581531249356251717247205\ 9957169/23137054973716016500528049435269471517374737398375776127237\ 94080*c_1001_7^3 + 137256692206765232825919504780137197228119830297\ 748651851220701727/231370549737160165005280494352694715173747373983\ 7577612723794080*c_1001_7^2 - 8391187371352594877962759964563445095\ 698347881481769408158951269/115685274868580082502640247176347357586\ 8736869918788806361897040*c_1001_7 + 7027905320137085801488649635755448365953134228569824937940542797/46\ 2741099474320330010560988705389430347494747967515522544758816, c_0110_5 - 322555565981941894900542817888853494594617126451421150044450\ 041/462741099474320330010560988705389430347494747967515522544758816\ 0*c_1001_7^23 - 158264168339417070140468248319748212850914114818040\ 109475812099/925482198948640660021121977410778860694989495935031045\ 089517632*c_1001_7^22 - 9497814191164634962909205976646714210094380\ 27480069023227671843/9254821989486406600211219774107788606949894959\ 35031045089517632*c_1001_7^21 - 92885996409574176502191481986635956\ 72362513494899496867661189967/4627410994743203300105609887053894303\ 474947479675155225447588160*c_1001_7^20 - 3278534815450457230897039092192368587641845000063541633391893217/57\ 8426374342900412513201235881736787934368434959394403180948520*c_100\ 1_7^19 - 4237002944854845657600200198402770105008193700476733781719\ 9240093/46274109947432033001056098870538943034749474796751552254475\ 88160*c_1001_7^18 - 82235123609132150934981898096947403590252111057\ 10071728134717109/5784263743429004125132012358817367879343684349593\ 94403180948520*c_1001_7^17 - 10311214646911887937583202734895291895\ 163414624246063918329435117/462741099474320330010560988705389430347\ 494747967515522544758816*c_1001_7^16 - 20784508710764610854870645421085804666133718809288501764260765315/9\ 25482198948640660021121977410778860694989495935031045089517632*c_10\ 01_7^15 - 331587621844669645253202429362887600110120536060224794895\ 43349415/9254821989486406600211219774107788606949894959350310450895\ 17632*c_1001_7^14 - 20170257120053344697844237684511401970347666776\ 0126671958348188281/46274109947432033001056098870538943034749474796\ 75155225447588160*c_1001_7^13 - 30393354763788259858766267547507602\ 516809886734913042106670248181/115685274868580082502640247176347357\ 5868736869918788806361897040*c_1001_7^12 - 93808058575926572193476953646092093539532098377543030285599465747/9\ 25482198948640660021121977410778860694989495935031045089517632*c_10\ 01_7^11 + 250098667657135920698832101046887942732175096530265599415\ 48560073/2313705497371601650052804943526947151737473739837577612723\ 794080*c_1001_7^10 - 3539354786302756515874618966553215119668486631\ 12042067506062947201/2313705497371601650052804943526947151737473739\ 837577612723794080*c_1001_7^9 - 21960549396423637194678638202016318\ 291983805189747547562115107285/925482198948640660021121977410778860\ 694989495935031045089517632*c_1001_7^8 - 958100910464351902482473941947145289608529659409056899528688820039/\ 4627410994743203300105609887053894303474947479675155225447588160*c_\ 1001_7^7 - 18864546439470319771357747992281551339157373940564134676\ 3278664449/46274109947432033001056098870538943034749474796751552254\ 47588160*c_1001_7^6 - 564450549979321369193178418355653432332396158\ 665207017531313374589/462741099474320330010560988705389430347494747\ 9675155225447588160*c_1001_7^5 - 1359545595658555605487678845527229\ 01892670178663200726102389849277/5784263743429004125132012358817367\ 87934368434959394403180948520*c_1001_7^4 - 34438594907402640177192097044391108078317453118891537983342628529/4\ 627410994743203300105609887053894303474947479675155225447588160*c_1\ 001_7^3 - 245675984236653617546874276671031682470537565075378576681\ 440951599/462741099474320330010560988705389430347494747967515522544\ 7588160*c_1001_7^2 + 1173678308799886450180370128671367255390938297\ 5324525784763763277/23137054973716016500528049435269471517374737398\ 37577612723794080*c_1001_7 - 62314899058092839516215426537709944470\ 812126255391625029611172673/462741099474320330010560988705389430347\ 4947479675155225447588160, c_1001_1 + 466897635893263392535495325860450566574235408602531620454241\ 7/57842637434290041251320123588173678793436843495939440318094852*c_\ 1001_7^23 + 5740886096509766094701319687882161399569444086251096418\ 3118413/28921318717145020625660061794086839396718421747969720159047\ 4260*c_1001_7^22 + 344982000632188535441350793955167193138518267279\ 570631848592347/289213187171450206256600617940868393967184217479697\ 201590474260*c_1001_7^21 + 6767537716942580946658374510636891818554\ 70528367852471040796913/2892131871714502062566006179408683939671842\ 17479697201590474260*c_1001_7^20 + 479108800958084622760455929108587646459314911900287775420088452/723\ 03296792862551564150154485217098491796054369924300397618565*c_1001_\ 7^19 + 621403497108882981517161715565946380566368815764469274784454\ 273/57842637434290041251320123588173678793436843495939440318094852*\ c_1001_7^18 + 24297603833259927846458234849308015101693652599023896\ 15714568847/1446065935857251031283003089704341969835921087398486007\ 95237130*c_1001_7^17 + 19063169331569624845545983763752219419075127\ 14029781459886444548/7230329679286255156415015448521709849179605436\ 9924300397618565*c_1001_7^16 + 777071236747026702522689960973599349\ 1094564394087654256116869693/28921318717145020625660061794086839396\ 7184217479697201590474260*c_1001_7^15 + 12365763050171683900743475211749317371518202455494943732711788887/2\ 89213187171450206256600617940868393967184217479697201590474260*c_10\ 01_7^14 + 150022808012956181550555118226215246643446839360599462183\ 46544283/2892131871714502062566006179408683939671842174796972015904\ 74260*c_1001_7^13 + 46960580275442877173995656614054370754044687029\ 6160299802504350/14460659358572510312830030897043419698359210873984\ 860079523713*c_1001_7^12 + 3464998228274553562081527058489778121309\ 5218565335747495108939687/28921318717145020625660061794086839396718\ 4217479697201590474260*c_1001_7^11 - 750772724225451525568782646882005172412813320041856698335454228/723\ 03296792862551564150154485217098491796054369924300397618565*c_1001_\ 7^10 + 131551686698875525897655444813310882220059123593310491515732\ 46986/7230329679286255156415015448521709849179605436992430039761856\ 5*c_1001_7^9 + 8316631517795136445683045842283725688885888988888260\ 466538984567/289213187171450206256600617940868393967184217479697201\ 590474260*c_1001_7^8 + 71285628970476599668911571684433777906106020\ 889790703709614907883/289213187171450206256600617940868393967184217\ 479697201590474260*c_1001_7^7 + 14826928591577211077555657593320198\ 074507081636394687857633571639/289213187171450206256600617940868393\ 967184217479697201590474260*c_1001_7^6 + 43522673595766287592707890278433380275672545973875303332747883733/2\ 89213187171450206256600617940868393967184217479697201590474260*c_10\ 01_7^5 + 4006040774277172984289084989383610346037108203684614684237\ 0282417/14460659358572510312830030897043419698359210873984860079523\ 7130*c_1001_7^4 + 4563716525472251273477823552625266400826532378799\ 481664310764139/289213187171450206256600617940868393967184217479697\ 201590474260*c_1001_7^3 + 21251021657891695587316959361419113837462\ 364146025378577696316383/289213187171450206256600617940868393967184\ 217479697201590474260*c_1001_7^2 - 343649817086732516257388119899772377123118556691348624315869924/723\ 03296792862551564150154485217098491796054369924300397618565*c_1001_\ 7 + 508555086846383592161531429756873635332313453432283667278973249\ 9/289213187171450206256600617940868393967184217479697201590474260, c_1001_7^24 + 10/3*c_1001_7^23 + 152/9*c_1001_7^22 + 376/9*c_1001_7^21 + 961/9*c_1001_7^20 + 1829/9*c_1001_7^19 + 961/3*c_1001_7^18 + 1502/3*c_1001_7^17 + 5453/9*c_1001_7^16 + 2404/3*c_1001_7^15 + 9742/9*c_1001_7^14 + 2801/3*c_1001_7^13 + 1795*c_1001_7^12 + 10199/9*c_1001_7^11 + 6220/3*c_1001_7^10 + 20551/9*c_1001_7^9 + 3286*c_1001_7^8 + 28978/9*c_1001_7^7 + 20612/9*c_1001_7^6 + 4939*c_1001_7^5 + 9299/3*c_1001_7^4 + 8102/9*c_1001_7^3 + 1877/3*c_1001_7^2 + 1243/9*c_1001_7 + 1591/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.290 Total time: 2.500 seconds, Total memory usage: 32.09MB