Magma V2.19-8 Wed Aug 21 2013 00:05:07 on localhost [Seed = 4290351490] Type ? for help. Type -D to quit. Loading file "K13n2032__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2032 geometric_solution 12.45048851 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -2 0 1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551348222231 0.652692166211 0 5 6 4 0132 0132 0132 2103 0 0 0 0 0 -1 1 0 -1 0 1 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 2 -2 0 2 0 -2 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452975300080 1.608967113033 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054005494157 1.038254580556 10 5 10 0 0132 1230 3120 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 0 0 0 0 0 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458900717915 0.649505673389 7 11 0 1 3120 0132 0132 2103 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -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.696492466524 0.588415272295 7 1 3 12 1023 0132 3012 0132 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 -2 2 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.188201353846 0.627630042593 8 12 9 1 3201 3120 2103 0132 0 0 0 0 0 0 1 -1 1 0 0 -1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 -2 0 0 2 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747118554503 1.127747832824 2 5 8 4 0132 1023 0213 3120 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.357839739975 0.963574418414 10 7 2 6 3201 0213 0132 2310 0 0 0 0 0 0 -1 1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -2 0 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411563626447 0.420968046855 6 12 11 2 2103 1023 2103 0132 0 0 0 0 0 0 -1 1 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 2 -2 0 0 0 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761455169940 0.933652822429 3 11 3 8 0132 1230 3120 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.458900717915 0.649505673389 9 4 10 12 2103 0132 3012 1023 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 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308218732328 1.106892095412 9 6 5 11 1023 3120 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548737741806 1.039528071325 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0110_12'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : d['c_0110_12'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : d['c_0110_12'], 'c_1010_10' : d['c_0101_11'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_6'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_6'], 'c_1100_11' : negation(d['c_1001_10']), 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0110_12'], 'c_1010_9' : d['c_0110_12'], 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_11'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0011_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_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_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_12, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 4597/304*c_1001_10^5 + 2501/152*c_1001_10^4 + 4415/304*c_1001_10^3 + 2837/38*c_1001_10^2 + 33563/304*c_1001_10 - 149/304, c_0011_0 - 1, c_0011_10 - 5/76*c_1001_10^5 + 3/38*c_1001_10^4 - 3/76*c_1001_10^3 + 3/19*c_1001_10^2 - 31/76*c_1001_10 + 53/76, c_0011_11 - 7/76*c_1001_10^5 - 11/38*c_1001_10^4 + 11/76*c_1001_10^3 - 11/19*c_1001_10^2 - 89/76*c_1001_10 + 59/76, c_0011_12 + 23/38*c_1001_10^5 + 9/19*c_1001_10^4 + 29/38*c_1001_10^3 + 56/19*c_1001_10^2 + 135/38*c_1001_10 + 7/38, c_0011_6 + 5/38*c_1001_10^5 - 3/19*c_1001_10^4 + 3/38*c_1001_10^3 + 13/19*c_1001_10^2 + 31/38*c_1001_10 - 15/38, c_0011_8 - 23/76*c_1001_10^5 - 9/38*c_1001_10^4 - 29/76*c_1001_10^3 - 28/19*c_1001_10^2 - 173/76*c_1001_10 + 31/76, c_0101_0 + 5/38*c_1001_10^5 - 3/19*c_1001_10^4 + 3/38*c_1001_10^3 + 13/19*c_1001_10^2 - 7/38*c_1001_10 - 15/38, c_0101_1 - 23/76*c_1001_10^5 - 9/38*c_1001_10^4 - 29/76*c_1001_10^3 - 28/19*c_1001_10^2 - 173/76*c_1001_10 + 31/76, c_0101_11 + 35/76*c_1001_10^5 + 17/38*c_1001_10^4 + 21/76*c_1001_10^3 + 36/19*c_1001_10^2 + 217/76*c_1001_10 - 67/76, c_0101_2 + 15/38*c_1001_10^5 + 10/19*c_1001_10^4 + 9/38*c_1001_10^3 + 39/19*c_1001_10^2 + 131/38*c_1001_10 - 7/38, c_0101_5 + c_1001_10, c_0110_12 + 5/76*c_1001_10^5 - 3/38*c_1001_10^4 + 3/76*c_1001_10^3 - 3/19*c_1001_10^2 - 45/76*c_1001_10 + 23/76, c_1001_10^6 + c_1001_10^5 + c_1001_10^4 + 5*c_1001_10^3 + 7*c_1001_10^2 + 1 ], 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_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_12, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2164287978830753567459585966827082368020077/13042122012873648575190\ 26237366606470249521*c_1001_10^15 - 20481940469574060742235050339184541615362333/4347374004291216191730\ 08745788868823416507*c_1001_10^14 - 869247775323107951040123025652071681132606385/130421220128736485751\ 9026237366606470249521*c_1001_10^13 - 7253373931629322993933909018229189443851533669/13042122012873648575\ 19026237366606470249521*c_1001_10^12 - 39462364421382557402419817154314923759735576601/1304212201287364857\ 519026237366606470249521*c_1001_10^11 - 149677547888408842054642989552989267788166561333/130421220128736485\ 7519026237366606470249521*c_1001_10^10 - 414077212620141780667242410311476711968731316527/130421220128736485\ 7519026237366606470249521*c_1001_10^9 - 863404879415938612697840113713121163517207387958/130421220128736485\ 7519026237366606470249521*c_1001_10^8 - 460780680400120642754060471213450805220516073153/434737400429121619\ 173008745788868823416507*c_1001_10^7 - 1691277707964997157280288085095592854746485120690/13042122012873648\ 57519026237366606470249521*c_1001_10^6 - 1538351478944557355770058785571105697264873116519/13042122012873648\ 57519026237366606470249521*c_1001_10^5 - 1000198770985601143823400894890774217691109323790/13042122012873648\ 57519026237366606470249521*c_1001_10^4 - 446999853858383610211174512353424614778287862089/130421220128736485\ 7519026237366606470249521*c_1001_10^3 - 15691911398847763631636464856368197816488353002/1449124668097072063\ 91002915262956274472169*c_1001_10^2 - 37794643607004174835314250376965417919012445995/1304212201287364857\ 519026237366606470249521*c_1001_10 - 2792987424829865981475245290100240252417700644/43473740042912161917\ 3008745788868823416507, c_0011_0 - 1, c_0011_10 - 178185760389610720219901067766084/3755064304910225687039843\ 6965984983*c_1001_10^15 - 4855439137183561221602526855721192/375506\ 43049102256870398436965984983*c_1001_10^14 - 66175299635263172392311539103891493/3755064304910225687039843696598\ 4983*c_1001_10^13 - 525645397759117452172087031575369649/3755064304\ 9102256870398436965984983*c_1001_10^12 - 2701805630397977038884046752930689516/37550643049102256870398436965\ 984983*c_1001_10^11 - 9639366838349591533030236408822241469/3755064\ 3049102256870398436965984983*c_1001_10^10 - 8342307812119641101555692458212366009/12516881016367418956799478988\ 661661*c_1001_10^9 - 48965387651857295530377114027023216206/3755064\ 3049102256870398436965984983*c_1001_10^8 - 73373904947062409819143514415101977700/3755064304910225687039843696\ 5984983*c_1001_10^7 - 83193461722208333717765609110837223342/375506\ 43049102256870398436965984983*c_1001_10^6 - 7691059338448028464005633945411010505/41722936721224729855998263295\ 53887*c_1001_10^5 - 40634339257606210687969294098088488884/37550643\ 049102256870398436965984983*c_1001_10^4 - 16487450469693612665375141601443675285/3755064304910225687039843696\ 5984983*c_1001_10^3 - 5022361914526919489863467630812523037/3755064\ 3049102256870398436965984983*c_1001_10^2 - 1480011969609839046583947162073933819/37550643049102256870398436965\ 984983*c_1001_10 - 297513365922313370101048062616312363/37550643049\ 102256870398436965984983, c_0011_11 + 526441389327286563852611667934681/1126519291473067706111953\ 10897954949*c_1001_10^15 + 14315094790965927786359048918846486/1126\ 51929147306770611195310897954949*c_1001_10^14 + 194759532965379765284606797417220284/112651929147306770611195310897\ 954949*c_1001_10^13 + 514523470423941504348013815795784370/37550643\ 049102256870398436965984983*c_1001_10^12 + 2638783326987037339992153872889071960/37550643049102256870398436965\ 984983*c_1001_10^11 + 3132440773528673390741608376350174538/1251688\ 1016367418956799478988661661*c_1001_10^10 + 73113555919943033925424697993223584899/1126519291473067706111953108\ 97954949*c_1001_10^9 + 47675715198294101299987186679834410928/37550\ 643049102256870398436965984983*c_1001_10^8 + 214502160513814868067037761152674372828/112651929147306770611195310\ 897954949*c_1001_10^7 + 243707516680987498090348495659842749691/112\ 651929147306770611195310897954949*c_1001_10^6 + 203725911046744627488000968064702582548/112651929147306770611195310\ 897954949*c_1001_10^5 + 40195933114146741991487762951105101937/3755\ 0643049102256870398436965984983*c_1001_10^4 + 16451791272246929723746162427502732478/3755064304910225687039843696\ 5984983*c_1001_10^3 + 14969219950626226138221040625749075583/112651\ 929147306770611195310897954949*c_1001_10^2 + 4238213183572439980709133938733266212/11265192914730677061119531089\ 7954949*c_1001_10 + 978752505488460686126653567213489400/1126519291\ 47306770611195310897954949, c_0011_12 + 196195045822657061976768389828065/3755064304910225687039843\ 6965984983*c_1001_10^15 + 5108013234235984003636181385743486/375506\ 43049102256870398436965984983*c_1001_10^14 + 66578826045682554149277263280394894/3755064304910225687039843696598\ 4983*c_1001_10^13 + 165244402935628846725945754420788811/1251688101\ 6367418956799478988661661*c_1001_10^12 + 781266909455121086621423122444295251/125168810163674189567994789886\ 61661*c_1001_10^11 + 2515266811849925833929850978335629762/12516881\ 016367418956799478988661661*c_1001_10^10 + 17313461667542374502720654380963500316/3755064304910225687039843696\ 5984983*c_1001_10^9 + 3252835607327047379834902342936987738/4172293\ 672122472985599826329553887*c_1001_10^8 + 36516771348285845948385829265962125607/3755064304910225687039843696\ 5984983*c_1001_10^7 + 31524791606217197345677100685851602724/375506\ 43049102256870398436965984983*c_1001_10^6 + 16501173388932157366289326572832991876/3755064304910225687039843696\ 5984983*c_1001_10^5 + 1099180173575446601884133986477160296/1251688\ 1016367418956799478988661661*c_1001_10^4 - 90637297874417029276039358916932556/4172293672122472985599826329553\ 887*c_1001_10^3 - 336405128141619926255743889365973563/375506430491\ 02256870398436965984983*c_1001_10^2 - 117621275089025937205984185980441273/375506430491022568703984369659\ 84983*c_1001_10 - 151933249052059613352438666547554874/375506430491\ 02256870398436965984983, c_0011_6 - 291926557099896006270217328260474/11265192914730677061119531\ 0897954949*c_1001_10^15 - 7988492443973549572173236964012176/112651\ 929147306770611195310897954949*c_1001_10^14 - 109255013490658401125817476913923725/112651929147306770611195310897\ 954949*c_1001_10^13 - 290542275151479648595183747770613652/37550643\ 049102256870398436965984983*c_1001_10^12 - 1499702674783017007351941979456737908/37550643049102256870398436965\ 984983*c_1001_10^11 - 1789597433738359203232091540832703541/1251688\ 1016367418956799478988661661*c_1001_10^10 - 41905648875848132082991050751710975022/1126519291473067706111953108\ 97954949*c_1001_10^9 - 27343309666860914757835177682612943107/37550\ 643049102256870398436965984983*c_1001_10^8 - 122815729014334162831976886412620801205/112651929147306770611195310\ 897954949*c_1001_10^7 - 138904063309512684267973592564657545172/112\ 651929147306770611195310897954949*c_1001_10^6 - 114839474168997374850578983994687119682/112651929147306770611195310\ 897954949*c_1001_10^5 - 22232835122713189570498408168099635884/3755\ 0643049102256870398436965984983*c_1001_10^4 - 8882655961530509738023375005266459326/37550643049102256870398436965\ 984983*c_1001_10^3 - 8141371627915174248610572420914489666/11265192\ 9147306770611195310897954949*c_1001_10^2 - 2343483583873140962063606114326773847/11265192914730677061119531089\ 7954949*c_1001_10 - 466245966031576381261455874143117803/1126519291\ 47306770611195310897954949, c_0011_8 + 219647538168438729464489164800803/11265192914730677061119531\ 0897954949*c_1001_10^15 + 6224086160592805055947436320299934/112651\ 929147306770611195310897954949*c_1001_10^14 + 87862492042137799539018869246414768/1126519291473067706111953108979\ 54949*c_1001_10^13 + 243621453012616221168923802731453620/375506430\ 49102256870398436965984983*c_1001_10^12 + 1319464960190994031770161415925834450/37550643049102256870398436965\ 984983*c_1001_10^11 + 1657776044105219069316158198314556555/1251688\ 1016367418956799478988661661*c_1001_10^10 + 40924763916536290296070435216863096899/1126519291473067706111953108\ 97954949*c_1001_10^9 + 28123849084481749344053172906527770408/37550\ 643049102256870398436965984983*c_1001_10^8 + 133076703366183321218701300730579920004/112651929147306770611195310\ 897954949*c_1001_10^7 + 159474829841781210222562854526761700219/112\ 651929147306770611195310897954949*c_1001_10^6 + 140573714491539497166645197400348855004/112651929147306770611195310\ 897954949*c_1001_10^5 + 28995800150015616843969724709041495414/3755\ 0643049102256870398436965984983*c_1001_10^4 + 12091589067891692355719179835470891796/3755064304910225687039843696\ 5984983*c_1001_10^3 + 11069010848986761781356388897472949511/112651\ 929147306770611195310897954949*c_1001_10^2 + 3333594994108373017084825595273231867/11265192914730677061119531089\ 7954949*c_1001_10 + 795042947381636820309253933611977596/1126519291\ 47306770611195310897954949, c_0101_0 - 57398093096598687712186544799577/375506430491022568703984369\ 65984983*c_1001_10^15 - 1550824272872368656383023594227298/37550643\ 049102256870398436965984983*c_1001_10^14 - 20942456824586104838409488830280335/3755064304910225687039843696598\ 4983*c_1001_10^13 - 164061844474369550867959499143100645/3755064304\ 9102256870398436965984983*c_1001_10^12 - 826861566090474139293582006995509634/375506430491022568703984369659\ 84983*c_1001_10^11 - 2872636108013376613524410860580914361/37550643\ 049102256870398436965984983*c_1001_10^10 - 2400726160983044168009726415403955381/12516881016367418956799478988\ 661661*c_1001_10^9 - 13476886969075752803433878817309134467/3755064\ 3049102256870398436965984983*c_1001_10^8 - 19063202436008683983567604951129491284/3755064304910225687039843696\ 5984983*c_1001_10^7 - 19895393712828033533110035258989619716/375506\ 43049102256870398436965984983*c_1001_10^6 - 4831658714605612734528586075048220045/12516881016367418956799478988\ 661661*c_1001_10^5 - 6779068427215174629238399937479218020/37550643\ 049102256870398436965984983*c_1001_10^4 - 1860845679850116669630322397870498273/37550643049102256870398436965\ 984983*c_1001_10^3 - 356931322704166739585594386566832093/375506430\ 49102256870398436965984983*c_1001_10^2 - 83616295073297948436151305710610874/3755064304910225687039843696598\ 4983*c_1001_10 + 11792873598695186609382817829714093/37550643049102\ 256870398436965984983, c_0101_1 + 299193312486163913800193904958315/11265192914730677061119531\ 0897954949*c_1001_10^15 + 8081380321309619307738702911029490/112651\ 929147306770611195310897954949*c_1001_10^14 + 109132909018752948599865825852793495/112651929147306770611195310897\ 954949*c_1001_10^13 + 285062461289731753890310369806426383/37550643\ 049102256870398436965984983*c_1001_10^12 + 1438256970070061971970639038170221021/37550643049102256870398436965\ 984983*c_1001_10^11 + 556533511913479503621486077394509288/41722936\ 72122472985599826329553887*c_1001_10^10 + 37845196633150431855739427043339310456/1126519291473067706111953108\ 97954949*c_1001_10^9 + 23789107100354314940493748697775422144/37550\ 643049102256870398436965984983*c_1001_10^8 + 102236691481753015717259523341727629917/112651929147306770611195310\ 897954949*c_1001_10^7 + 109083737790468068286573947527890161060/112\ 651929147306770611195310897954949*c_1001_10^6 + 83055182270153766868713837898006140839/1126519291473067706111953108\ 97954949*c_1001_10^5 + 14316847695750442574952006109894667354/37550\ 643049102256870398436965984983*c_1001_10^4 + 4976389782462795041523741249643431268/37550643049102256870398436965\ 984983*c_1001_10^3 + 4173653251240957158876167406828399299/11265192\ 9147306770611195310897954949*c_1001_10^2 + 1055579346243122414519296101815540857/11265192914730677061119531089\ 7954949*c_1001_10 + 90750755481199939616003440187239964/11265192914\ 7306770611195310897954949, c_0101_11 - 226845413677393887998215960537160/1126519291473067706111953\ 10897954949*c_1001_10^15 - 6264104750933970528256994199649879/11265\ 1929147306770611195310897954949*c_1001_10^14 - 86350803795717086005520906674464998/1126519291473067706111953108979\ 54949*c_1001_10^13 - 232012999929197179945771227048971656/375506430\ 49102256870398436965984983*c_1001_10^12 - 1211188773056889744765826428139969936/37550643049102256870398436965\ 984983*c_1001_10^11 - 487304653924053796920063275788429490/41722936\ 72122472985599826329553887*c_1001_10^10 - 34614909277965623207268823260469804178/1126519291473067706111953108\ 97954949*c_1001_10^9 - 22825670768761822417409544481041564934/37550\ 643049102256870398436965984983*c_1001_10^8 - 103652976129914626732254731088673261505/112651929147306770611195310\ 897954949*c_1001_10^7 - 118757534374631266513337092538405032141/112\ 651929147306770611195310897954949*c_1001_10^6 - 99701171055820956062623343420175339331/1126519291473067706111953108\ 97954949*c_1001_10^5 - 19722671789983381874144106083932476598/37550\ 643049102256870398436965984983*c_1001_10^4 - 8112455780342382847469751066480870422/37550643049102256870398436965\ 984983*c_1001_10^3 - 7642182295532856606928527903267533908/11265192\ 9147306770611195310897954949*c_1001_10^2 - 2205671667980198239339244629906310300/11265192914730677061119531089\ 7954949*c_1001_10 - 493552241548321129838506792340075263/1126519291\ 47306770611195310897954949, c_0101_2 + 54508100849104359820120993781708/112651929147306770611195310\ 897954949*c_1001_10^15 + 1673120893598318089339022193405178/1126519\ 29147306770611195310897954949*c_1001_10^14 + 25345504110124020945309973044927695/1126519291473067706111953108979\ 54949*c_1001_10^13 + 76693823309400632002316048101871884/3755064304\ 9102256870398436965984983*c_1001_10^12 + 457850917654385935278109642661417743/375506430491022568703984369659\ 84983*c_1001_10^11 + 212362099650033154134239464100547655/417229367\ 2122472985599826329553887*c_1001_10^10 + 17443130251270205846541056314844506868/1126519291473067706111953108\ 97954949*c_1001_10^9 + 13272682498166546538318814713522240448/37550\ 643049102256870398436965984983*c_1001_10^8 + 69493839080840852906415171750136710656/1126519291473067706111953108\ 97954949*c_1001_10^7 + 92864931172559665271255753219202964768/11265\ 1929147306770611195310897954949*c_1001_10^6 + 92752819988364509825663785136960413639/1126519291473067706111953108\ 97954949*c_1001_10^5 + 21951382498487113781428091426171786794/37550\ 643049102256870398436965984983*c_1001_10^4 + 10395532228490468457050707625989097291/3755064304910225687039843696\ 5984983*c_1001_10^3 + 9883697985561516027691204772977838221/1126519\ 29147306770611195310897954949*c_1001_10^2 + 2923466952613154120206236724923087746/11265192914730677061119531089\ 7954949*c_1001_10 + 873383711105854721119486827672504955/1126519291\ 47306770611195310897954949, c_0101_5 - 443943156768698565042939677831968/11265192914730677061119531\ 0897954949*c_1001_10^15 - 12028619009515566815816827265194580/11265\ 1929147306770611195310897954949*c_1001_10^14 - 163101537286628730942275227952430442/112651929147306770611195310897\ 954949*c_1001_10^13 - 428895645265250730554921675541191888/37550643\ 049102256870398436965984983*c_1001_10^12 - 2187440412721536808020155738822959712/37550643049102256870398436965\ 984983*c_1001_10^11 - 2580707830189673795096456453697902905/1251688\ 1016367418956799478988661661*c_1001_10^10 - 59847350995157982324847390535176145806/1126519291473067706111953108\ 97954949*c_1001_10^9 - 38777728754805216899431885267818785111/37550\ 643049102256870398436965984983*c_1001_10^8 - 173381036006360446174988168037667027714/112651929147306770611195310\ 897954949*c_1001_10^7 - 195722459713378555549107934087812812420/112\ 651929147306770611195310897954949*c_1001_10^6 - 162783946310943819784727577625559808341/112651929147306770611195310\ 897954949*c_1001_10^5 - 32153968105296112971522349620615175355/3755\ 0643049102256870398436965984983*c_1001_10^4 - 13445053268334613629312016668010163317/3755064304910225687039843696\ 5984983*c_1001_10^3 - 12972685707065270591389040826190902140/112651\ 929147306770611195310897954949*c_1001_10^2 - 3746268021363966283573349270654983444/11265192914730677061119531089\ 7954949*c_1001_10 - 689180696320118888993925233093205188/1126519291\ 47306770611195310897954949, c_0110_12 + 355368688288490709730622847114565/1126519291473067706111953\ 10897954949*c_1001_10^15 + 9429757722310248139233149420701298/11265\ 1929147306770611195310897954949*c_1001_10^14 + 125300738078960626381892961236857825/112651929147306770611195310897\ 954949*c_1001_10^13 + 106703633940172158710784758726445185/12516881\ 016367418956799478988661661*c_1001_10^12 + 174888745048585485505500249660858671/417229367212247298559982632955\ 3887*c_1001_10^11 + 5332575071976676799282768749526517952/375506430\ 49102256870398436965984983*c_1001_10^10 + 39184542621688075187589439317522077677/1126519291473067706111953108\ 97954949*c_1001_10^9 + 23987255914767708087603531172319179399/37550\ 643049102256870398436965984983*c_1001_10^8 + 100387107151444115075454106345952066860/112651929147306770611195310\ 897954949*c_1001_10^7 + 103965635676647802100516877185253735567/112\ 651929147306770611195310897954949*c_1001_10^6 + 77110892741779709534467501292952610478/1126519291473067706111953108\ 97954949*c_1001_10^5 + 4395651873906143358737961390252102217/125168\ 81016367418956799478988661661*c_1001_10^4 + 4928373253298005775713947568770076178/37550643049102256870398436965\ 984983*c_1001_10^3 + 5109697308929362730727184752943902335/11265192\ 9147306770611195310897954949*c_1001_10^2 + 1622977916837627304048613711706866510/11265192914730677061119531089\ 7954949*c_1001_10 + 258094867950325949126928262476800048/1126519291\ 47306770611195310897954949, c_1001_10^16 + 28*c_1001_10^15 + 392*c_1001_10^14 + 3233*c_1001_10^13 + 17433*c_1001_10^12 + 65901*c_1001_10^11 + 183103*c_1001_10^10 + 387011*c_1001_10^9 + 634279*c_1001_10^8 + 804973*c_1001_10^7 + 778050*c_1001_10^6 + 558331*c_1001_10^5 + 290436*c_1001_10^4 + 110042*c_1001_10^3 + 33413*c_1001_10^2 + 9112*c_1001_10 + 1651 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.240 Total time: 7.450 seconds, Total memory usage: 145.66MB