Magma V2.19-8 Tue Aug 20 2013 23:47:34 on localhost [Seed = 3364790934] Type ? for help. Type -D to quit. Loading file "K10a34__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a34 geometric_solution 11.82875757 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 3201 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 1 0 -1 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910014541454 0.735148784238 0 2 5 4 0132 0213 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 0 0 -1 0 1 0 2 0 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828983209314 0.803023457890 0 0 1 3 2310 0132 0213 0213 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335061847000 0.537165564399 6 5 0 2 0132 0132 0132 0213 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 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.828983209314 0.803023457890 6 5 1 7 2103 0213 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 0 0 0 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343684406601 0.456115568881 8 3 4 1 0132 0132 0213 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 -1 0 0 0 1 -1 1 0 0 -1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809603216901 0.902683109736 3 9 4 8 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.159838321703 0.791497707980 8 10 4 9 3120 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.275287824983 0.610499260865 5 11 6 7 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.153932726458 0.572290223302 11 6 12 7 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.635031727502 0.623469516704 12 7 11 12 0132 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366835214268 0.441685940269 9 8 10 12 0132 0132 1023 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579428141864 1.574675076730 10 11 10 9 0132 0321 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.062385337174 0.741103543898 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_1001_7'], '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_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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_1100_9' : negation(d['c_1001_7']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_1001_7'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1001_4'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_1001_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_7']), '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' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0101_7'])})} 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_7, c_1001_1, c_1001_4, c_1001_7, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1508194678353385031281981926288955488570714405414468529597124663508\ 4/10231203815319872151759500623575979666958976261804846801952104124\ 35*c_1001_8^32 - 10239433610202622821347014435243135038520951358253\ 028342030113975064/204624076306397443035190012471519593339179525236\ 096936039042082487*c_1001_8^31 + 6482205459369251109843450815791730\ 0570109028308119990284603462749442/10231203815319872151759500623575\ 97966695897626180484680195210412435*c_1001_8^30 - 1136546050765684982826435126821671701937659952921773301863191304024\ 23/1023120381531987215175950062357597966695897626180484680195210412\ 435*c_1001_8^29 + 1292796084078391664541563538955486202070065203248\ 1839378850650984889/11368004239244302390843889581751088518843306957\ 5609408910578934715*c_1001_8^28 + 212509369046982465644474519625461\ 15067275144491296423691239197265184/1023120381531987215175950062357\ 597966695897626180484680195210412435*c_1001_8^27 + 1686113382869034449320355634975226956585283596386226010220061992108\ 57/2046240763063974430351900124715195933391795252360969360390420824\ 87*c_1001_8^26 - 58239188974635242434178148476885586518974989910567\ 5760511270278005212/34104012717732907172531668745253265556529920872\ 6828226731736804145*c_1001_8^25 + 398545018078022070240493825975870\ 619325056580314174913942484834849522/341040127177329071725316687452\ 532655565299208726828226731736804145*c_1001_8^24 - 7775743566113586209771583154410059889223948668310282678981129858489\ 4/11368004239244302390843889581751088518843306957560940891057893471\ 5*c_1001_8^23 - 693881510580163207311324089539097168619992935455632\ 560583742598162886/341040127177329071725316687452532655565299208726\ 828226731736804145*c_1001_8^22 - 6868504537248860312942694781030002\ 3222675058408490309585508615751868/37893347464147674636146298605836\ 961729477689858536469636859644905*c_1001_8^21 + 2077519690147526030246656255658088392501609129821345986976902282038\ 396/204624076306397443035190012471519593339179525236096936039042082\ 487*c_1001_8^20 - 4035918189283823698116106060460319139618647288766\ 59330463728396964372/2046240763063974430351900124715195933391795252\ 36096936039042082487*c_1001_8^19 - 9369684525062153101219109440633434996462993969618176945399295491719\ 78/1136800423924430239084388958175108851884330695756094089105789347\ 15*c_1001_8^18 + 15091589614840910755237650978089199826599484886539\ 678936407193244756524/102312038153198721517595006235759796669589762\ 6180484680195210412435*c_1001_8^17 - 1996223349286183525652969409376399646348802812809515823219483590892\ 532/113680042392443023908438895817510885188433069575609408910578934\ 715*c_1001_8^16 + 6367046146588466122755368662614252091143581106096\ 943853871000516018017/102312038153198721517595006235759796669589762\ 6180484680195210412435*c_1001_8^15 - 1600022506816850565947592248445464472189942686698578837664342067514\ 4189/10231203815319872151759500623575979666958976261804846801952104\ 12435*c_1001_8^14 + 48271013127926655137706262490383550373293912886\ 822687856625192690912072/102312038153198721517595006235759796669589\ 7626180484680195210412435*c_1001_8^13 - 2090636004713027684669778223917980154135727669286271182835101346741\ 2356/34104012717732907172531668745253265556529920872682822673173680\ 4145*c_1001_8^12 + 453945545511170443513971837140250468524272710800\ 3132979324752293551064/60183551854822777363291180138682233335052801\ 540028510599718259555*c_1001_8^11 - 4263149920544876053315246079753891111511381525968811374242415695140\ 007/682080254354658143450633374905065311130598417453656453463473608\ 29*c_1001_8^10 + 16256378214448457748637775724408733480936768603265\ 003560863206756103844/341040127177329071725316687452532655565299208\ 726828226731736804145*c_1001_8^9 - 4100844250637740813211167954970205476098693465789482983369597833424\ 0108/10231203815319872151759500623575979666958976261804846801952104\ 12435*c_1001_8^8 + 626842629060227548774177535175336720840561709710\ 3339039869582937295042/20462407630639744303519001247151959333917952\ 5236096936039042082487*c_1001_8^7 - 3025828248605372398974151516232233882092294565648217107283274470108\ 5408/10231203815319872151759500623575979666958976261804846801952104\ 12435*c_1001_8^6 + 253291011550506775457446892744557203173262298219\ 72689725716110802258666/1023120381531987215175950062357597966695897\ 626180484680195210412435*c_1001_8^5 - 1013468698819220745630590117661454265851712251773943923496829102354\ 710/682080254354658143450633374905065311130598417453656453463473608\ 29*c_1001_8^4 + 672889861882117298473451955775128628450310596757850\ 8015035495778539178/10231203815319872151759500623575979666958976261\ 80484680195210412435*c_1001_8^3 - 127011435183027597320737601907731\ 191667536796346372233951602624882130/204624076306397443035190012471\ 519593339179525236096936039042082487*c_1001_8^2 - 9908614962931662946825791016573444316757519834030855054401620364153\ 72/1023120381531987215175950062357597966695897626180484680195210412\ 435*c_1001_8 + 4013399471861461035972308110050866279160664655650635\ 74597978282438779/1023120381531987215175950062357597966695897626180\ 484680195210412435, c_0011_0 - 1, c_0011_10 - 18445794760235550246216663731175960323272911447481847463755\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 + 148496523301098864871642592593464150299211105345257901033\ 673/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 - 235741432758864964427184764723917734076140217631561049\ 881129/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 + 152161269666016212545819917690491206035624446235182\ 389790245/874125662379415793221367903248834180610788693391844743641\ 5143*c_1001_8^29 - 509027084739225990742305408677028151018916844353\ 639828570281/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^28 - 798414968337870274139807103061118477246714301\ 42494353023490/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^27 - 5021731757637766767455705420221240635981423\ 83170324121508680/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^26 + 7617940702317011566053338573716096128126\ 750103621642642384133/874125662379415793221367903248834180610788693\ 3918447436415143*c_1001_8^25 - 347890637993635836270431402604471964\ 4363753703792297937558353/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^24 - 2084792297331601957933467421269536053901977553799073031825652/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 3 + 181368103732472947557046723537655366977855674248355135113724/87\ 41256623794157932213679032488341806107886933918447436415143*c_1001_\ 8^22 - 119093322215235694652495231679110796282720654382586316746210\ 66/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^21 - 4489411172506002636921455597000106269125233682542537567\ 8825906/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^20 + 29189199371358346039759165755304529515035055534914\ 647722472007/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^19 + 722109799434214467605776559061303743805480495\ 07637857581107148/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^18 - 2346060810558932770707243948019093986446\ 4293504856572746639143/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^17 + 46645866781419860796033700644150988\ 806932894932159106872280275/874125662379415793221367903248834180610\ 7886933918447436415143*c_1001_8^16 - 24043898511681095388696462415152276007231848422427893631351743/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 15 - 23987367084719978851807543243332109078806918387956118492331417\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^14 - 180569874542844028355250510884992172553621728766607517818\ 793345/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^13 + 210837270069982095451809756554758249511422069069909\ 810151566975/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^12 - 123146553193578311743548989227617616481420177\ 909920151472781394/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^11 + 229175913136606617973562696422379251967\ 176638011470224958661943/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^10 - 302846611813912908292635914189979\ 52839795752279056844627960369/8741256623794157932213679032488341806\ 107886933918447436415143*c_1001_8^9 + 147009170897985786058679317626514249344664477276555367004883116/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^8 - 86556020664588569749027150178927427766491319748729148949892847\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^7 + 5367926643407804112472323981753217190442639137248331876283\ 3814/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^6 - 933859258700832423499165834077478434124742836263337105\ 86518444/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^5 + 19471580282555551796265081037679077168109138814388\ 814429700883/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^4 - 1814868247583410113522691957883434959324565062\ 8121739398976730/87412566237941579322136790324883418061078869339184\ 47436415143*c_1001_8^3 + 686946646002237438846626011610383046330503\ 3677569124564017410/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^2 + 348145733762250702445860540639326853525\ 868721048491436361395/874125662379415793221367903248834180610788693\ 3918447436415143*c_1001_8 + 607140276133723311589016709268166613247\ 3790862105269926877391/87412566237941579322136790324883418061078869\ 33918447436415143, c_0011_11 - 27329418931600185263878869522335923362435426422621008755532\ 4/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^32 + 73313261064800477276649077266406216904141831337241813745\ 4934/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^31 - 60357652374165142259352260806014125893280421784868442\ 0368450/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^30 + 14758186407847687247753249023673377658938358962063\ 95961816162/8741256623794157932213679032488341806107886933918447436\ 415143*c_1001_8^29 - 8896610495732701874868397707167372954083160396\ 45020546627053/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^28 - 1306396443546830954024251513562059940792558\ 861034823166863756/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^27 - 159883001962955973965540888336307132242\ 86347888620770878843243/8741256623794157932213679032488341806107886\ 933918447436415143*c_1001_8^26 + 2048181129674121732143486777548288\ 5339693179702775427338691999/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^25 - 4464789501066030525519926055123754235821499579250203348458687/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 + 4591954253527869398848275818366723036194226711195269289287208/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 + 43563178263986217438082476567686029806134020487745897168838\ 968/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 + 650164441344436139980284124238643419959249867345763190\ 03931396/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 - 1508597522343836740355716685575850240528823378130\ 85592974344029/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^20 - 7888395707572448395982984177158736979729140\ 3805342168099381604/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^19 + 12783582320815326991860374999437316137\ 9800962641405499434838051/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^18 - 184201458785968354569586125410123475606900457166178375325296047/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^17 + 1583607132513064117749998120767649626090566767620918714406327\ 59/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^16 + 5258866912035757054923168162695604596668779172490082444\ 5559190/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^15 + 29560399918576829896206777968685601953691169868440\ 9316564705674/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^14 - 66582014729686714167323597397757625007391719\ 5447914515220583011/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^13 + 62374961393513417635400808149470063262\ 7555426873334133781774647/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^12 - 831113441577990540618409896424241447388395879237503446114452760/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^11 + 3984819382124118982371158368992564156459370090562130026060074\ 17/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^10 - 4303233383741916718151568068108798440695945129915972492\ 04166102/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^9 + 35802681071554900686562693545405447961927670179672\ 8029354947538/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^8 - 241573319343655931346464220527243283498964548\ 223819866522191368/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^7 + 3546351785139095566787635012854568965549\ 52786350875653728202846/8741256623794157932213679032488341806107886\ 933918447436415143*c_1001_8^6 - 18478279218628454341760606446243309\ 1670296876337198515723989994/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^5 + 100980420332369801943734466254019504213217602863138482891412986/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^4 - 24234841888645012113453505415398735175408643320124906762438451\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^3 - 1967473497050309036115113736141105713120962206650253291381\ 5275/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^2 - 720429930960070148997363114298702985988081051141954840\ 5093616/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8 + 54005438157853296875778365941267701601383179898923218\ 42719835/8741256623794157932213679032488341806107886933918447436415\ 143, c_0011_4 - 1452360842104982128743904727385638526490788252553694532127/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^32 + 75736742896204667641941295306120268869536069365825951421620\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^31 - 113528456010587536418096422385067102174566724735326946474\ 088/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^30 + 446941493933066752133915192836255720665013340199954851\ 0446/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^29 - 36356243133213331717553677636210392240962248079536164\ 6485335/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^28 - 11744700705876041750459254934563633962866935739133\ 4728666535/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^27 + 26362592867587305900474947190554752465966401019\ 2535380138702/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^26 + 48554580728706216737595553389576668514673172\ 60649717828091679/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^25 - 2507631154065897936572808521734856682230\ 50710638386973976918/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^24 - 1563044804805617369548014411312355874\ 653313321088308610018987/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^23 - 391821547066649001637846833642145\ 9372072916737330929794399348/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^22 - 12810711862076674152797181998849215092090529094477526455653952/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 21 - 30444326196480383104978365744319893666427332339710762374783252\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^20 + 114950888616146544217011450283976022239058183777389156375\ 95380/8741256623794157932213679032488341806107886933918447436415143\ *c_1001_8^19 + 5160494188818753080244502234837064975334840096759231\ 0271744123/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^18 + 21625716737348093679658926906062109258939778829\ 560749124551753/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^17 + 329205295135091137636854645978764224026921\ 02846003651859572718/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^16 - 2496577779264120336535770443307018304\ 0149980788134448809811521/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^15 - 35686225731010194197516812422011491342264948218775992414095012/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 14 - 11056552597024304840595865205992402368386324352254024043355464\ 1/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^13 + 85395545308431392522277904303092014792774224914963722047\ 198214/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^12 - 237949707455890453069549906013788657345189377252957\ 07130344993/8741256623794157932213679032488341806107886933918447436\ 415143*c_1001_8^11 + 1729476936132989787103353116112279661231244361\ 40915936121817134/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^10 + 2815301394963120577285929412403259500594\ 0686400386222733550795/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^9 + 112001975092685567251662450453170086\ 733433455902004987677383226/874125662379415793221367903248834180610\ 7886933918447436415143*c_1001_8^8 - 30427104734838792532614275842822374710402332373140374682652627/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 7 + 39310899095746070413597045011829290302613800301277137568697353/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^6 - 59634008531319521075120758289575494714647909124900920845895\ 248/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^5 + 1082916394446374659210895189174904158693245063267361715\ 6291260/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^4 - 239520950146342254458549429506449713105060050778930\ 76295849309/8741256623794157932213679032488341806107886933918447436\ 415143*c_1001_8^3 + 95670002397436388417341029858153103848446262355\ 71373636879359/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^2 - 31114203390848821001882472899813502752516766\ 62711796543324505/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8 + 3827388461051546445444109850576222937587157\ 307471778270839785/874125662379415793221367903248834180610788693391\ 8447436415143, c_0101_0 - 304404981258121665458341735390085544140664484614853367355697\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 + 751913909001431091717012473794147705060550132080229853529\ 882/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 - 471690892060047542781947330273834289815143600407475813\ 417351/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 + 153239049892199019660360119638393186367631418987630\ 3549889466/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^29 - 80894715484020140612463354902507187354195249315\ 6690964925523/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^28 - 17476594754403913096895894637240497757157093\ 17195551899779787/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^27 - 1845078885466678149362047557787380993756\ 3911608545081712332856/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^26 + 19263375150257311479480065212828971\ 160662149414807623125027091/874125662379415793221367903248834180610\ 7886933918447436415143*c_1001_8^25 + 2224318610114273310038175595281296887484374176597561704496704/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 + 8467400644537827034740558126429377121895667581655654521884440/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 + 45077934065362767720377164027137446439125300595460381366266\ 405/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 + 782301908534989627975055901095911455467713003005834684\ 12736588/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 - 1586228402870495981485235409257581614705615829000\ 71619853099214/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^20 - 1452438865682963579929509422673448101989336\ 56306421927443591588/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^19 + 1077012967838960387024115356966618908\ 21953765884675490925157268/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^18 - 116956073428117580404353298371337614450443484902129375037593722/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^17 + 1908811852563290235553276583020672709437908507753728802589291\ 85/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^16 + 7738650926010745426750293898617312104253806289187471400\ 9652432/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^15 + 33925734802830735621962812336972907862955964771350\ 6804274164132/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^14 - 71853967435532125539171337695307242767277003\ 4298143409054874326/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^13 + 46029115126246793018048981534072108759\ 5667443322924738842530689/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^12 - 821819741830333520270773214177078416564856588335518626397164343/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^11 + 4153629622679849958046939765101478693791927337988296682526257\ 37/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^10 - 3670783007696187562342088671115666222436229220826277509\ 80084102/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^9 + 42899443266889643241134641378106103037148833856923\ 9234827468820/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^8 - 196380548226094429104106353711713011143724592\ 752630950455474697/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^7 + 3518119231979251426283711650774806485967\ 66372155192992597091888/8741256623794157932213679032488341806107886\ 933918447436415143*c_1001_8^6 - 18997568780190479930577321091119759\ 1447633517401176286379227837/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^5 + 72825424984868256546009384455709885457432713159376135003231096/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 4 - 54033209001035418288714976159530848993256797832940958794481400/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^3 - 54605394855364160585882024961382522095682140486628729360169\ 6/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^2 - 825755306969600442127954755792156850067219663071818139013\ 3926/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8 + 97257904039181545259018847475049028541024984648996861034\ 48730/8741256623794157932213679032488341806107886933918447436415143\ , c_0101_1 - 157908309963627266262438742402318762217241752509091477992989\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 + 475061005059966427749065893856033086361173359172147842486\ 151/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 - 465440392275140570412009495592120615191996155576355518\ 535770/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 + 915222600162848834104055452385669943272163121529561\ 156845768/874125662379415793221367903248834180610788693391844743641\ 5143*c_1001_8^29 - 756961345249465737286278475688908368993336857319\ 778107659333/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^28 - 676817016973604082243711149453371995241841782\ 326725554265528/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^27 - 898718529160662843793654563117200355080466\ 0730782104775924615/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^26 + 14939595261651469505262333969331944185\ 203022345671671179344221/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^25 - 524170961710986245325446523628377\ 1642989605192905174947732468/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^24 + 2256167349056202757329670758524098159406135691240973762108256/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 3 + 24614258679702832344988829341960384336564804437827044127351131/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^22 + 3031430804812669813460810203715106196307986474487407324975\ 4359/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^21 - 10330478017534072251377070571446976545340698485550936\ 4947754317/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^20 - 24467963372326172109377721153421975924459581349\ 632342066241232/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^19 + 974597193487081559072773571195624469942961\ 62998579193871904948/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^18 - 1255748222835436154834890548538206797\ 66000103215600993023754945/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^17 + 111957557289038991113313110764224033524266979982565341422027191/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^16 + 2043972804964912172221571910470217326692863303641987843888995\ 5/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^15 + 16964693067704090553717022482947772285091873135625390198\ 3670960/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^14 - 44478841830016834022025061050866476969800877448670\ 7089947073812/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^13 + 46055998217506487215051883293787361420680069\ 1744220619264534256/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^12 - 56308276323837984351608108237653944779\ 3850579731110935168412412/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^11 + 338990178708922913039986335919251623245671562256921029744844185/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^10 - 2877881781280617378344399624661975290605508346701927478489048\ 90/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^9 + 29962806035771311166179332483370684501088515279267705310\ 8186321/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^8 - 173787372382311593991930386266797661188138020990294\ 199337137560/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^7 + 2649645903606897068878726316740950020579955584\ 45010295565059929/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^6 - 14945343795252654783135912323614350390038\ 5420066130944710693476/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^5 + 796181253490811163173745589846727057\ 73849236148177546447148662/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^4 - 29330770880787294767586594932244578837439069940294907915826645/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 3 - 7815687947793044609642821484335872252010390220129284567288863/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^2 - 997495386751835769922837171279479003552629690822295008270938\ 3/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8 + 79512932304640239146685886414666065828703683938137202159432\ 22/8741256623794157932213679032488341806107886933918447436415143, c_0101_11 - c_1001_8, c_0101_12 + 36292137423413993317265402563430780866806477388615586867916\ 6/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^32 - 95088812373624802399751482134656565801763336738569862224\ 1227/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^31 + 72825884147903171580466178248775380631110088173471276\ 8649333/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^30 - 19001936344504784532583273780469068920262635871087\ 44656137274/8741256623794157932213679032488341806107886933918447436\ 415143*c_1001_8^29 + 1077234823508859141764151573810997712508111937\ 448287126087208/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^28 + 187968219066758592321700034898450801627277\ 3427469076436942011/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^27 + 21391210058366548786909772181729070335\ 435022493967931653119585/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^26 - 259414486005778227779534737047757\ 62647559362624541341907372359/8741256623794157932213679032488341806\ 107886933918447436415143*c_1001_8^25 + 3292855956630244963785570769560268236842578829579594078975944/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 - 6349062714845308087314872576163689395782120645981767522369703/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 - 57663733652734935586521080640310643797728223157831661732815\ 129/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 - 881475802558645903033872062989992058182111293644938901\ 74982179/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 + 1979728801557778039766226095128315545125128782914\ 63021211690297/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^20 + 1236263522753424425679104110318268912227397\ 45102245989842590669/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^19 - 1627683181913692356125197993169617068\ 29627852527660264663509902/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^18 + 219677046409349361102327493100353044380739401487424607202740965/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^17 - 2114464239494323373576022661097014502036605050540501797937360\ 04/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^16 - 8911033700237212422337970034367837169754156542240699453\ 5581656/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^15 - 38522767015732394523035900349003406825458474341406\ 2553468608266/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^14 + 87855597554038074294177198048628131706772272\ 0602102283924185457/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^13 - 74468063300819348522863007351328879570\ 1655614087075291270142326/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^12 + 1047748156305110856207471596797020468347088313321956457957120665/87\ 41256623794157932213679032488341806107886933918447436415143*c_1001_\ 8^11 - 479939908516608599038749902878596136484974751464539371152700\ 970/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^10 + 490715066469835243844802420994522668265524142149401513\ 990715108/874125662379415793221367903248834180610788693391844743641\ 5143*c_1001_8^9 - 4612219630568276209038932073796650635036827026264\ 80311967871457/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^8 + 28608658099354093817307753156931788590748751\ 4390758504089748998/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^7 - 428000502889681557440834525227494108138\ 541837524600029992828240/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^6 + 2271785320705416636774591482699803\ 48182264840515939811779385898/8741256623794157932213679032488341806\ 107886933918447436415143*c_1001_8^5 - 93361860527773004331267065800746639595988900653100748396616385/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 4 + 33665836274673880229425262771946808550044917090574709785883512/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^3 + 26312630890124153909627647743398625682162033371975277198859\ 843/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^2 + 7091079611830847983357904238435993884472622494525056817\ 072466/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8 - 917575382497303528052474224964142097937710919196265972\ 9302075/87412566237941579322136790324883418061078869339184474364151\ 43, c_0101_7 + 226268608981993449448888775305185940676667068353678813764176\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 - 456732908987537732625958672922091287265610424161810800471\ 497/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 + 173956701939218245662051952088953344640269977359181169\ 800950/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 - 111119334978508683504583169313477202419646933936483\ 9252378339/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^29 + 10803871017172634530215250895948198022612978746\ 6098212590285/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^28 + 12024799917320037580867889144699421515786279\ 63998451412564845/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^27 + 1422714787784169821979041728950420384278\ 3745355964129712933662/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^26 - 77392325300040980179284275861798591\ 16004861593992795175837291/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^25 - 3257931245593308298569258868023255924981803027732487903998523/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 - 8182218657484797558267530280988717737999421686296113722553641/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 - 37740508287913150859847600132088620971853246540992796375492\ 095/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 - 764649196568503565536399278218220927495068530932730704\ 68344775/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 + 7797604481577250140249978466495835546579511766778\ 8863579132463/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^20 + 13223040627813521953342168194319159701009613\ 7098983180537862537/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^19 - 13857228033092337673614088493232508266\ 848323042892985224347423/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^18 + 993078304778815737487907555286389\ 03114516368119961681259090721/8741256623794157932213679032488341806\ 107886933918447436415143*c_1001_8^17 - 93528927649019125861596763381432747569853312603371825112385568/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 16 - 85628227988089735504911243760136200212035766808628152810269582\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^15 - 302685723850798165280292210320590963316184179722528936717\ 261825/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^14 + 384889514045224817365957882629460033000207219757150\ 166820404726/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^13 - 203771236702243237740113158981875651015773372\ 398364013725028481/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^12 + 560618871900667348677919160542214027063\ 189355752645489685342384/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^11 - 712707437460400982095935106008848\ 78098127218439382056642593423/8741256623794157932213679032488341806\ 107886933918447436415143*c_1001_8^10 + 300679126103652394978401644279377003009595150377830726246604648/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^9 - 17384860503846325519551637203492490822580421715843965540863253\ 6/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^8 + 959730424790923579929682096353945128046571625121203703246\ 32947/8741256623794157932213679032488341806107886933918447436415143\ *c_1001_8^7 - 20952299964902250450270721495177201691507652179007133\ 4032026656/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^6 + 567307191853772143444061163085300969489061813024\ 30180752867740/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^5 - 29433252114225336151741032300432926695247036\ 014675327742737738/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^4 + 1383661560452000438197629772170287833476\ 1495903021989177251556/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^3 + 153270484587891131969900353422893788\ 42004322996683307448897494/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^2 + 4502210560392487296407331138547175050542180589054476173284685/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8 - 1832202507520751774048540050616231075792470544165355760314454/87412\ 56623794157932213679032488341806107886933918447436415143, c_1001_1 - 304404981258121665458341735390085544140664484614853367355697\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 + 751913909001431091717012473794147705060550132080229853529\ 882/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 - 471690892060047542781947330273834289815143600407475813\ 417351/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 + 153239049892199019660360119638393186367631418987630\ 3549889466/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^29 - 80894715484020140612463354902507187354195249315\ 6690964925523/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^28 - 17476594754403913096895894637240497757157093\ 17195551899779787/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^27 - 1845078885466678149362047557787380993756\ 3911608545081712332856/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^26 + 19263375150257311479480065212828971\ 160662149414807623125027091/874125662379415793221367903248834180610\ 7886933918447436415143*c_1001_8^25 + 2224318610114273310038175595281296887484374176597561704496704/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 + 8467400644537827034740558126429377121895667581655654521884440/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 + 45077934065362767720377164027137446439125300595460381366266\ 405/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 + 782301908534989627975055901095911455467713003005834684\ 12736588/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 - 1586228402870495981485235409257581614705615829000\ 71619853099214/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^20 - 1452438865682963579929509422673448101989336\ 56306421927443591588/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^19 + 1077012967838960387024115356966618908\ 21953765884675490925157268/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^18 - 116956073428117580404353298371337614450443484902129375037593722/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^17 + 1908811852563290235553276583020672709437908507753728802589291\ 85/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^16 + 7738650926010745426750293898617312104253806289187471400\ 9652432/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^15 + 33925734802830735621962812336972907862955964771350\ 6804274164132/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^14 - 71853967435532125539171337695307242767277003\ 4298143409054874326/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^13 + 46029115126246793018048981534072108759\ 5667443322924738842530689/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^12 - 821819741830333520270773214177078416564856588335518626397164343/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^11 + 4153629622679849958046939765101478693791927337988296682526257\ 37/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^10 - 3670783007696187562342088671115666222436229220826277509\ 80084102/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^9 + 42899443266889643241134641378106103037148833856923\ 9234827468820/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^8 - 196380548226094429104106353711713011143724592\ 752630950455474697/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^7 + 3518119231979251426283711650774806485967\ 66372155192992597091888/8741256623794157932213679032488341806107886\ 933918447436415143*c_1001_8^6 - 18997568780190479930577321091119759\ 1447633517401176286379227837/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^5 + 72825424984868256546009384455709885457432713159376135003231096/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 4 - 54033209001035418288714976159530848993256797832940958794481400/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^3 - 54605394855364160585882024961382522095682140486628729360169\ 6/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^2 - 825755306969600442127954755792156850067219663071818139013\ 3926/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8 + 97257904039181545259018847475049028541024984648996861034\ 48730/8741256623794157932213679032488341806107886933918447436415143\ , c_1001_4 - 157908309963627266262438742402318762217241752509091477992989\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 + 475061005059966427749065893856033086361173359172147842486\ 151/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 - 465440392275140570412009495592120615191996155576355518\ 535770/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 + 915222600162848834104055452385669943272163121529561\ 156845768/874125662379415793221367903248834180610788693391844743641\ 5143*c_1001_8^29 - 756961345249465737286278475688908368993336857319\ 778107659333/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^28 - 676817016973604082243711149453371995241841782\ 326725554265528/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^27 - 898718529160662843793654563117200355080466\ 0730782104775924615/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^26 + 14939595261651469505262333969331944185\ 203022345671671179344221/874125662379415793221367903248834180610788\ 6933918447436415143*c_1001_8^25 - 524170961710986245325446523628377\ 1642989605192905174947732468/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^24 + 2256167349056202757329670758524098159406135691240973762108256/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 3 + 24614258679702832344988829341960384336564804437827044127351131/\ 8741256623794157932213679032488341806107886933918447436415143*c_100\ 1_8^22 + 3031430804812669813460810203715106196307986474487407324975\ 4359/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^21 - 10330478017534072251377070571446976545340698485550936\ 4947754317/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^20 - 24467963372326172109377721153421975924459581349\ 632342066241232/874125662379415793221367903248834180610788693391844\ 7436415143*c_1001_8^19 + 974597193487081559072773571195624469942961\ 62998579193871904948/8741256623794157932213679032488341806107886933\ 918447436415143*c_1001_8^18 - 1255748222835436154834890548538206797\ 66000103215600993023754945/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^17 + 111957557289038991113313110764224033524266979982565341422027191/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^16 + 2043972804964912172221571910470217326692863303641987843888995\ 5/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8^15 + 16964693067704090553717022482947772285091873135625390198\ 3670960/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^14 - 44478841830016834022025061050866476969800877448670\ 7089947073812/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^13 + 46055998217506487215051883293787361420680069\ 1744220619264534256/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^12 - 56308276323837984351608108237653944779\ 3850579731110935168412412/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^11 + 338990178708922913039986335919251623245671562256921029744844185/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^10 - 2877881781280617378344399624661975290605508346701927478489048\ 90/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^9 + 29962806035771311166179332483370684501088515279267705310\ 8186321/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^8 - 173787372382311593991930386266797661188138020990294\ 199337137560/874125662379415793221367903248834180610788693391844743\ 6415143*c_1001_8^7 + 2649645903606897068878726316740950020579955584\ 45010295565059929/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^6 - 14945343795252654783135912323614350390038\ 5420066130944710693476/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^5 + 796181253490811163173745589846727057\ 73849236148177546447148662/8741256623794157932213679032488341806107\ 886933918447436415143*c_1001_8^4 - 29330770880787294767586594932244578837439069940294907915826645/8741\ 256623794157932213679032488341806107886933918447436415143*c_1001_8^\ 3 - 7815687947793044609642821484335872252010390220129284567288863/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^2 - 997495386751835769922837171279479003552629690822295008270938\ 3/8741256623794157932213679032488341806107886933918447436415143*c_1\ 001_8 + 79512932304640239146685886414666065828703683938137202159432\ 22/8741256623794157932213679032488341806107886933918447436415143, c_1001_7 + 273294189316001852638788695223359233624354264226210087555324\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^32 - 733132610648004772766490772664062169041418313372418137454\ 934/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^31 + 603576523741651422593522608060141258932804217848684420\ 368450/874125662379415793221367903248834180610788693391844743641514\ 3*c_1001_8^30 - 147581864078476872477532490236733776589383589620639\ 5961816162/87412566237941579322136790324883418061078869339184474364\ 15143*c_1001_8^29 + 88966104957327018748683977071673729540831603964\ 5020546627053/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^28 + 13063964435468309540242515135620599407925588\ 61034823166863756/8741256623794157932213679032488341806107886933918\ 447436415143*c_1001_8^27 + 1598830019629559739655408883363071322428\ 6347888620770878843243/87412566237941579322136790324883418061078869\ 33918447436415143*c_1001_8^26 - 20481811296741217321434867775482885\ 339693179702775427338691999/874125662379415793221367903248834180610\ 7886933918447436415143*c_1001_8^25 + 4464789501066030525519926055123754235821499579250203348458687/87412\ 56623794157932213679032488341806107886933918447436415143*c_1001_8^2\ 4 - 4591954253527869398848275818366723036194226711195269289287208/8\ 741256623794157932213679032488341806107886933918447436415143*c_1001\ _8^23 - 43563178263986217438082476567686029806134020487745897168838\ 968/8741256623794157932213679032488341806107886933918447436415143*c\ _1001_8^22 - 650164441344436139980284124238643419959249867345763190\ 03931396/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^21 + 1508597522343836740355716685575850240528823378130\ 85592974344029/8741256623794157932213679032488341806107886933918447\ 436415143*c_1001_8^20 + 7888395707572448395982984177158736979729140\ 3805342168099381604/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^19 - 12783582320815326991860374999437316137\ 9800962641405499434838051/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^18 + 184201458785968354569586125410123475606900457166178375325296047/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^17 - 1583607132513064117749998120767649626090566767620918714406327\ 59/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^16 - 5258866912035757054923168162695604596668779172490082444\ 5559190/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8^15 - 29560399918576829896206777968685601953691169868440\ 9316564705674/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^14 + 66582014729686714167323597397757625007391719\ 5447914515220583011/87412566237941579322136790324883418061078869339\ 18447436415143*c_1001_8^13 - 62374961393513417635400808149470063262\ 7555426873334133781774647/87412566237941579322136790324883418061078\ 86933918447436415143*c_1001_8^12 + 831113441577990540618409896424241447388395879237503446114452760/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^11 - 3984819382124118982371158368992564156459370090562130026060074\ 17/8741256623794157932213679032488341806107886933918447436415143*c_\ 1001_8^10 + 4303233383741916718151568068108798440695945129915972492\ 04166102/8741256623794157932213679032488341806107886933918447436415\ 143*c_1001_8^9 - 35802681071554900686562693545405447961927670179672\ 8029354947538/87412566237941579322136790324883418061078869339184474\ 36415143*c_1001_8^8 + 241573319343655931346464220527243283498964548\ 223819866522191368/874125662379415793221367903248834180610788693391\ 8447436415143*c_1001_8^7 - 3546351785139095566787635012854568965549\ 52786350875653728202846/8741256623794157932213679032488341806107886\ 933918447436415143*c_1001_8^6 + 18478279218628454341760606446243309\ 1670296876337198515723989994/87412566237941579322136790324883418061\ 07886933918447436415143*c_1001_8^5 - 100980420332369801943734466254019504213217602863138482891412986/874\ 1256623794157932213679032488341806107886933918447436415143*c_1001_8\ ^4 + 24234841888645012113453505415398735175408643320124906762438451\ /8741256623794157932213679032488341806107886933918447436415143*c_10\ 01_8^3 + 1967473497050309036115113736141105713120962206650253291381\ 5275/8741256623794157932213679032488341806107886933918447436415143*\ c_1001_8^2 + 720429930960070148997363114298702985988081051141954840\ 5093616/87412566237941579322136790324883418061078869339184474364151\ 43*c_1001_8 - 54005438157853296875778365941267701601383179898923218\ 42719835/8741256623794157932213679032488341806107886933918447436415\ 143, c_1001_8^33 - 3*c_1001_8^32 + 3*c_1001_8^31 - 6*c_1001_8^30 + 5*c_1001_8^29 + 4*c_1001_8^28 + 57*c_1001_8^27 - 94*c_1001_8^26 + 36*c_1001_8^25 - 21*c_1001_8^24 - 150*c_1001_8^23 - 183*c_1001_8^22 + 637*c_1001_8^21 + 135*c_1001_8^20 - 583*c_1001_8^19 + 760*c_1001_8^18 - 805*c_1001_8^17 - c_1001_8^16 - 975*c_1001_8^15 + 2841*c_1001_8^14 - 2966*c_1001_8^13 + 3638*c_1001_8^12 - 2471*c_1001_8^11 + 1908*c_1001_8^10 - 1796*c_1001_8^9 + 1306*c_1001_8^8 - 1437*c_1001_8^7 + 1085*c_1001_8^6 - 517*c_1001_8^5 + 197*c_1001_8^4 + 24*c_1001_8^3 - 13*c_1001_8^2 - 30*c_1001_8 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.750 Total time: 1.960 seconds, Total memory usage: 32.09MB