Magma V2.19-8 Tue Aug 20 2013 18:39:33 on localhost [Seed = 1225321270] Type ? for help. Type -D to quit. Loading file "9_32__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_32 geometric_solution 13.09989985 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 2 0132 0132 0132 0213 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 -1 1 0 0 1 -1 -1 1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218356233234 0.770276431079 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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.081638608900 0.716703627625 7 0 8 0 0132 0132 0132 0213 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 1 -1 0 0 0 0 -3 2 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218356233234 0.770276431079 7 6 6 0 2031 3012 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432063252869 0.899492108362 7 1 9 10 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771279596091 1.121237403755 9 11 1 12 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411564180973 0.570535819118 3 11 3 1 1230 0213 3120 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 1 -1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501871310330 0.794858380508 2 4 3 12 0132 1023 1302 1023 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 1 -1 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473229563150 1.517086956619 10 13 13 2 0321 0132 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 1 0 -1 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.815697980018 0.590143830512 5 10 13 4 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -2 -1 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.234679727656 0.857980409019 8 11 4 9 0321 0321 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 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.532976638722 0.631163874788 12 5 6 10 1023 0132 0213 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 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.019564565829 0.699063256414 13 11 5 7 0132 1023 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 0 0 0 0 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.161095356238 0.788031944855 12 8 8 9 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815697980018 0.590143830512 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_1001_13'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : 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_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : d['c_1001_8'], 'c_1100_8' : d['c_1001_13'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_1001_13'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_1'], 'c_1100_10' : d['c_1001_8'], 'c_1100_13' : d['c_1001_8'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_13'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_13'], 's_3_1' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_10'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_13' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0011_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_1001_1, c_1001_13, c_1001_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 5760645845148663946074728005624695296606806828748788130847779540555\ 3112456036611069126499238/61292766722467577820952175682110934520552\ 276137893667596546432027039671738132183834739*c_1001_8^28 + 6014864417611099317503829411854190968779928618340074312259773268504\ 59474122105749845715830741/6129276672246757782095217568211093452055\ 2276137893667596546432027039671738132183834739*c_1001_8^27 - 2700562463081276912334173407353460228812752146428878397258928116213\ 129141282587299458037206588/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^26 + 3961171797928843073315214279234931866313790999686791275060560835599\ 03082052815173961695323213/3225935090656188306365903983268996553713\ 277691468087768239285896159982723059588622881*c_1001_8^25 - 1644982037795298752984446940614259091929803251907662329652712260068\ 1873671173989220060748199726/61292766722467577820952175682110934520\ 552276137893667596546432027039671738132183834739*c_1001_8^24 + 1856953375194968929979834764500989139074616895044691999091999915764\ 094626576572045595363873995/322593509065618830636590398326899655371\ 3277691468087768239285896159982723059588622881*c_1001_8^23 - 3868299047088777666718213905860445454832617419519632497219264122443\ 916886781086728743845212531/322593509065618830636590398326899655371\ 3277691468087768239285896159982723059588622881*c_1001_8^22 + 1293652162504108077010986598952117506435015470154541011205234569640\ 78695120869340516782009639587/6129276672246757782095217568211093452\ 0552276137893667596546432027039671738132183834739*c_1001_8^21 - 1752545476057405311555090198509795050167976737305520260913803157008\ 76441449733156674761788084962/6129276672246757782095217568211093452\ 0552276137893667596546432027039671738132183834739*c_1001_8^20 + 1823731630063672511183294670644711440887429523920332475541775443700\ 24531271132683402797725921733/6129276672246757782095217568211093452\ 0552276137893667596546432027039671738132183834739*c_1001_8^19 - 1467148068693650126277411618403728750480421668905447716793173141845\ 72429602700143729125063733624/6129276672246757782095217568211093452\ 0552276137893667596546432027039671738132183834739*c_1001_8^18 + 9062780170431899493579079890903758161961803341625540367953478881452\ 8031655807180387398807733373/61292766722467577820952175682110934520\ 552276137893667596546432027039671738132183834739*c_1001_8^17 - 2858379982520437913826878832201928350475947589975488672268830368797\ 7283110452372290092212850015/61292766722467577820952175682110934520\ 552276137893667596546432027039671738132183834739*c_1001_8^16 - 7053825339262824345442980371459371182374834844323709288228730776726\ 5901356134733026386202380/19771860233054057361597476026487398232436\ 21810899795728920852646033537798004263994669*c_1001_8^15 - 5711566013444554495906141892326354646362562819827215235272771555107\ 611881513942466898991707671/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^14 + 4320487434236613912895777756835556939208706874190226720193299006985\ 630898106492005088227205472/875610953178108254585031081173013350293\ 6039448270523942363776003862810248304597690677*c_1001_8^13 - 1248842496172125794441496672843494191946412351592564147615655264866\ 795744209074979351570337326/471482820942058290930401351400853342465\ 7867395222589815118956309772282441394783371903*c_1001_8^12 - 2851547152255721556687621907641831153486642784188339060128734439843\ 014799520828874079256411415/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^11 + 2170276701003343615180679879343705565907731510359428176051992864417\ 9763729447766344850002751277/61292766722467577820952175682110934520\ 552276137893667596546432027039671738132183834739*c_1001_8^10 - 1001507827046646333832771771585493224281639052107227510438354326990\ 789570411696391482617224619/322593509065618830636590398326899655371\ 3277691468087768239285896159982723059588622881*c_1001_8^9 + 1100704622695897478433791525238805728523295646704412028163902957318\ 158548267779260029436493626/875610953178108254585031081173013350293\ 6039448270523942363776003862810248304597690677*c_1001_8^8 - 2233681287333483065149541740213032842458246330856453734100207403070\ 944299220003232280503119296/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^7 - 2842507942856102530298747610386494346325153796929901018276740528087\ 496775653243907094961816239/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^6 + 9179017690749559507688707690398882430842363983846545709445709630671\ 8565472827920372132151985/47148282094205829093040135140085334246578\ 67395222589815118956309772282441394783371903*c_1001_8^5 - 1374449011890878266113638406671162610339734894217557589467821541986\ 931551903816541258461902829/612927667224675778209521756821109345205\ 52276137893667596546432027039671738132183834739*c_1001_8^4 + 1394969217117744618225185061487919428263923360886763580267623713534\ 2568913481688830301892013/32259350906561883063659039832689965537132\ 77691468087768239285896159982723059588622881*c_1001_8^3 - 1721901674677880075009968563419282584382886076261256777283295461191\ 37242079285445336602575468/6129276672246757782095217568211093452055\ 2276137893667596546432027039671738132183834739*c_1001_8^2 + 1397016775553579385244682571374516469904027831531370571153448085326\ 0843624738313164309401367/61292766722467577820952175682110934520552\ 276137893667596546432027039671738132183834739*c_1001_8 - 7507628204328005894898664384918758255152515998261015934756703395552\ 993541469616398115388787/612927667224675778209521756821109345205522\ 76137893667596546432027039671738132183834739, c_0011_0 - 1, c_0011_10 + 31955336774088743247035870045483855460572454468538161449438\ 61227883771164438355/9019935464603532092198033168596585310058937818\ 390391580125170296174454841561*c_1001_8^28 - 2950551301542549817429640722460941985992229782011147762986120964618\ 7206862343757/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 + 1127504046262833526341084538008201019702189916589136102120439872347\ 57339616071862/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^26 - 2677617013183420005867596728036199655316315988653326741763359068724\ 52658976072277/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 + 5345737631863276540024257989468070637324621431874069484196620649152\ 20332233287876/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 - 1174499152466672694313192511765977781727704555055858845558487919397\ 953825617543562/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^23 + 2375567662843629280851337160591485946575909708472330687901884907804\ 602937588650593/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 - 3691588676464909389518454914978007610478864851048592994362282838526\ 396213325458985/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 + 4003818259025695170699355160006358584965231497152081992342743971809\ 997230077177514/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 - 3222281100749105127598601675410169187829186919829758352107773828343\ 976059539293312/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 1620288369762263851607856691693392208510437992970503142380820318802\ 58608196383844/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 - 6228897370466752339158979948206167562225141683310821703592337054316\ 78899883023506/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 - 7080380033841262522803579234699365335990774194498086662072388130250\ 03239749471197/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 + 5587073127006339357391113753814737685583094596247681639369734418534\ 9391963907651/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 + 4335483351997473972618308098616296105970783260512277622082244073066\ 98149235689158/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 - 1709473682767758575041011104197298971317269707359330045967522020953\ 17265071278561/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 - 5583891157876185753466410957157397919097472691789603753919866627399\ 1693354059546/69384118958488708401523332066127579308145675526079935\ 2317320792013419603197*c_1001_8^12 - 1269409861535410324908570096138681205235555403362198446459012787237\ 90470278178588/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^11 - 1235948226558008627938447261671586514403422016501406048548574547392\ 049183644133640/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^10 - 4276913086511195908562873576490838621775836594442085552341584759276\ 19511623471693/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 - 5772094344105078279907490795462775752967580644228726388954816859578\ 6942176694424/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 - 3265207725256386353233459773548496559457930678773672970881060595354\ 8310296763699/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^7 - 1039410293137370308368708589277266972338410027821806356445184145429\ 81312768694416/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^6 - 7195185013426382199901610648754108903857682982956062594098342702603\ 342607007450/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 - 2565566720952794133208437731750900263803776189692249766195236159310\ 4710119266385/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 - 9511228621487915295666180961101981458284136587498082885650079487273\ 467873112866/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 - 3303100899282426499224125189193689876108241171627689342543599924677\ 888377278758/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 - 3866493858511938865745850147590464268126049186893208080609793290248\ 18525937242/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 - 1621213627639463422912851206252846\ 27489482725967012137297227272620767087787100/9019935464603532092198\ 033168596585310058937818390391580125170296174454841561, c_0011_11 - 19658683067898290722343082954387118772549784892946043352422\ 10897620341384982980/9019935464603532092198033168596585310058937818\ 390391580125170296174454841561*c_1001_8^28 + 1932499583955818523760337345598172002568619047603223711765171976014\ 3841971087513/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 - 8062781703541268586626858741235585104301333002003776232093030971055\ 6169488521626/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 + 2102641445811241761327552148646144976987162137565331503057408576849\ 72757684783453/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 - 4439501539603879459881076521365427187926493778929452765503273200941\ 78059682823166/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 + 9612496730919960951766430278229911380762037485241979947088587997180\ 67726857466344/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 - 1980621591829011630212023377458416080173996211821530480839391091421\ 955966201517496/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 + 3334315395669364055620351695630143473721925920057324722377320563671\ 788101515630880/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 - 4209967140209638063744698844050759783228618390678963847264455445597\ 825291141525798/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 + 4095791406697151110978828544304004038109543313722980474396569870467\ 663516856940080/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 - 2779396306445020811327522728805417296757501420540193480997263759473\ 79047693661940/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 + 1755717290100140549399228911434369899578229352255952902331908506665\ 950971991539879/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^17 - 2911580035397400578206306225170484908403391728075180816365115376850\ 68919275851353/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 - 3546166752394663454455456949891817967896338662789833775965843033207\ 3790605616974/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 - 2396130015774539713721829405602044665530571062252482006073208367211\ 57359114665258/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 + 1257212621087575437434261602733386928953933108385320276922626397746\ 86309575025264/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 - 3577371566982837652863338043097898897836362408400188409396169429860\ 926159241952/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^12 - 5535326295934886148266432393085684150742555606875408590604274004787\ 134959563852/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^11 + 7419593722588909932818039116181742806611302555387931975549473799530\ 59638667522764/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 - 1893884525575244694781223359049844078881363120672908793545432435870\ 71021228058636/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 + 3666672511088572352796474639729794198780543103038969906140557351749\ 9608333609588/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 + 6068494216168451297321102776013415010260117676051803656403537015214\ 209289187406/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^7 - 1552578327995505568190590643169169377405195920789645422121421208135\ 8968234898751/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 + 3677759249134898405800182844418024433632166034776960690034223963315\ 579201340154/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 - 1648096038249674024207917968325862869623454010859092432901042006936\ 0723206341184/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 + 7506019579264008442912755245403521985250262534189136290786686825123\ 209349337412/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 - 2188157481538654278495759454287637642314641019610797527620576929297\ 753200465814/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 + 3829005552807583781592997927348865345393356409598738611069093516440\ 12553187854/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 - 9750803348462604021315774197010519\ 3790505767621295314220731198790101860274928/90199354646035320921980\ 33168596585310058937818390391580125170296174454841561, c_0011_3 + 248627455314189808844533112973901879319917552140653799025303\ 9390062345309754887/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 - 2409364595439190754570046941432852401801386858374405307550592836219\ 0119375041085/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 + 9859298610763211130382560290472877871259718585113603960437171046712\ 0988090392642/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 - 2519683716105324925981139077597769970536718536656543708915980894025\ 96361047526510/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 + 5252605521938056771581794846270048365341160540609756204777514869925\ 60991923319741/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 - 1139130918557448864081213371308493867376276681416026029410198422680\ 001556227420354/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^23 + 2338499492309106738438337478992018553070631784363594325474273989326\ 176276987588019/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 - 3875056809766463736907806383594430579919641068216598448520221952060\ 613242093059427/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 + 4750678633960539951882691207349780528255182730195851536069426541401\ 623411476069066/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 - 4455419671221396551537955919055473003897287125287485052255295715061\ 594079778576904/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 2868537435475976671539131677747417562728851798852213420555333327866\ 49642624168637/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 - 1684205183506932197834885844862905898116214143520764083658729940734\ 276180734627338/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^17 + 5589975719410965536623866762341266551491661764821565650116139061011\ 3937174952425/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^16 + 9788599253343046200911880335514130680209999459710861055870038952210\ 9503972068928/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 + 3020635022999926320285375790455502744537448801029844540734077426612\ 32726284089541/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 - 1541686095761557819084663411236597667087827835686774779968132547589\ 91346856395570/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 - 7020090024346925739996916933785925646951662359890897818908945252215\ 235219084997/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^12 + 7924261318817455385381147061134631271281473601500146295007126033758\ 026026766523/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^11 - 9554585528707256824019035576148278005756649389410383994863689109457\ 77693354758544/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 9937077578461739914322105641700135015332410784824186901879245518776\ 0354323250458/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^9 - 4338045399347930526029926023716627127789494701921771126621874410177\ 4377637415345/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 - 1309894673076327919342376568840159112741850080704661300561725299776\ 8677709615439/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^7 - 7186691732278353831994233682280820967317524076692277350809088227551\ 86381144812/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8^6 - 4876826173002020993963699133407169467461211155617079417442652379866\ 163650156793/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 8550835728581725724023937456846768785852600021462388054476839653182\ 948738726348/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^4 - 8192446187425788563566483457892714986077002445022676940417478225316\ 606684163091/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 7898659956309465620716426104625740910405542382372320904557745837292\ 14536159422/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8^2 - 3577581185709198270431442306300115661708269157007510968740529447193\ 44199354260/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 2379736167974611999621619823927406\ 5047875038569857559307885032140273559008780/90199354646035320921980\ 33168596585310058937818390391580125170296174454841561, c_0011_6 + 264196048996242380084131006038746567048405122108570987853706\ 6135864475418758432/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 - 2589022039229019981153257446067540874563324995186477524173085169207\ 6239155194611/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 + 1075603146158144229322891901397519431319078245266074042356551115741\ 19200957040101/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^26 - 2792232969356492850881407039591171958212760136975854085904467548027\ 37282642765184/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 + 5877019407894784246907052564341557677227533808432060838864566065369\ 47128986958034/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 - 1272539524599921688631753326315903782768241751676293594341173895042\ 304061950769449/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^23 + 2619749613818099840193836333605153505994122156553696475643009292390\ 998976093525131/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 - 4394481892192350069709503934822563338975742407537917663171345294560\ 219661044808014/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 + 5509714159697933094689478119866729580600563015961511569826274654190\ 056344572747460/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 - 5309294838662228754944631899036305203630602638816888019635581975179\ 052277276711222/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 3550884842516318318753346876845574025793134364043609677546071242841\ 36438048937936/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 - 2195180383297579151055450278867514517299039881786084896407412566983\ 150121220886621/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^17 + 2867820491235076144226262478410049819626041253308515421327433938432\ 73222980149119/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 + 7901578922662648187395326816607391782400955372217860473571521451487\ 1632512434138/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 + 3156390125461363861681555345195959682737427080651177052754685606200\ 83636499342678/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 - 1681038042863372534293074022190002604612748410671525219587710360521\ 79037759133255/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 + 2081899987648978174443153683964294473744931274211406343058591662477\ 651184585438/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^12 + 1392565009800085157760107940756093773008553939351787254290313669213\ 9474918187362/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 - 1007165153248856196666460842044470097503745583801759992471902008452\ 091837233118110/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^10 + 2204032447738924865364959966443639291193244120020823239625171395353\ 72155484784512/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 - 4801381421268421464232690728595629111646493212268118965585837105663\ 6193083561743/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 - 9923966101260814235436389406103911523405424417930331626821185264968\ 044399708323/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^7 + 1694339204870588878483741176277349765964817738470217684268159514570\ 2140308131014/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 - 5035936476496483428022336895327974277449832361987846503866137535435\ 870606304339/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 1835804044966438693013095063473111397255951036535564668056207374216\ 6574289459295/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 - 9572296717376415594611701776336007323484207766869053864616257450750\ 225394941880/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 2224050819660611736455365976877450410442580077553824462723490278055\ 946238083838/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 - 4460964352045853504612619519761581753492229497988100987680792483863\ 48242132292/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 8892409351421132544152783512481111\ 5770892731774201205416092237363125471978615/90199354646035320921980\ 33168596585310058937818390391580125170296174454841561, c_0101_0 + 612031049233636892271335735871494620924977654892699082594836\ 309823525459024669/901993546460353209219803316859658531005893781839\ 0391580125170296174454841561*c_1001_8^28 - 6000274361291627134231089279466144417753812085053640417295701286360\ 196014900148/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^27 + 2491533135379006034058924259057853651358827864615242211460965210189\ 2775533393512/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 - 6450089531117801494218484089391042797614587810998104010668444247435\ 2314795283482/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^25 + 1351066390125430473013958944469951090647951622513164852457054017354\ 13947043793491/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 - 2916946698340835186456351516787848316313396136603301051260591263472\ 67759763086413/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 + 6001455070628084290883228110888382636138998121757601797663493518044\ 22951444378443/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^22 - 1003599063357960898540531492201785517061599878241118538892557444915\ 621686182064675/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 + 1245266496979200671568501823275460464697307628573345204150478543126\ 278335517765448/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 - 1172930849395325463129209531679255613393050577363570746684801305997\ 256410370931453/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 7511304170530406905698576792434407261531120262874247308038627969018\ 8072314906407/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^18 - 4277661814935411399637438264271959887926202780772273976770812118080\ 59890293879830/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 + 4387255339402213590046574635209080772877848927108059404777526574922\ 443939057974/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^16 + 5369049602985084462974425462289502792962851976291914125607347452927\ 0880079283145/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 + 6593915966329529670668494732798230163174657104770585549899019150372\ 2576553937710/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^14 - 3981472411685126357657159178099915727370038842541661442012151452612\ 9888673076456/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^13 + 4334807794976829820871458528708123477249177323533216053307653838149\ 13893839017/6938411895848870840152333206612757930814567552607993523\ 17320792013419603197*c_1001_8^12 + 1897113368482740971384294005552232804462343113989576904972471972326\ 7277803634471/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 - 2424147189495074929089727455447189171947516724658422855863112332604\ 30205512732072/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 4820531517824403451720109806139899457006374313497070157178396935202\ 9279871022690/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^9 - 9501099760514512192873780392784374997939273028125920410565910663085\ 568506049779/128856220922907601317114759551379790143699111691291308\ 2875024328024922120223*c_1001_8^8 - 3160072380303818047005810383789455428159503536887649086588846967718\ 019596416829/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^7 + 6049448129927458732432201925003742363498476293605193777055568717144\ 631306040759/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^6 - 1181156885389389605332537840382946290598652454861586538187747943515\ 324984798011/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 2457922443109343676149551497081852419157451570073704472084562065397\ 523202628447/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^4 - 1707817357470286822459449454567809634363540854449087347474163642225\ 077800261219/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 1979035736180898975567773547754519122806740318515031671681751556947\ 6899076814/90199354646035320921980331685965853100589378183903915801\ 25170296174454841561*c_1001_8^2 - 519481961488875821554063588862268\ 29525833828516277061815309076680908832796192/9019935464603532092198\ 033168596585310058937818390391580125170296174454841561*c_1001_8 - 1164687478975068218260457375006427422048493486632348676019999745656\ 6135873515/90199354646035320921980331685965853100589378183903915801\ 25170296174454841561, c_0101_10 + 35899475759310974170821551492747106041252903081734094835955\ 9883292787326778291/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 - 3645149108896180841504382236526141401905091946839862670097408822737\ 694887950831/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^27 + 1589137489708384321913788438875628440673123691061194425029098015154\ 5946371604888/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 - 4343483086959819182501615592882354877645707468774116484275961034506\ 1175134613117/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^25 + 9473186755080962942239172804148536855031185857734023159869190586078\ 2339575709150/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^24 - 2051814742031157042779811708795395690875656163807922567803084866013\ 69306917255409/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 + 4257828807770386128034947778698804452194306968590774699392113955645\ 88925814103453/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^22 - 7413652688457512381697850984583526203576476541002012437760714727214\ 97734764396366/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^21 + 9980652981846963054191470159061547383620245117251184566794024915760\ 12700992255836/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^20 - 1052988176449883196161763287804328630985793466121615728039044842010\ 423981542362040/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 7944821226186248237145703112631004331007377312391653519502915964646\ 9259163902380/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^18 - 5723293479027416663407152684068456230381764327705311318601112886321\ 47955954805643/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 + 2077338747744263594790162307432461303784871054811353809485089053885\ 13318649944561/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 - 3633878947126851861845566545423703888768419207440153515540204305253\ 6066743441233/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 + 4360186655909079273534027352944087379628231906838731169209665946273\ 9185277757108/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^14 - 2392937319820808783155364875515372859202762369492873049989255443401\ 6872675631233/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^13 + 4890265117549896205651044540337827972722953880822394117271969266418\ 502129505141/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^12 - 1687983295277366137366580406301809372933330119976324303923672118178\ 6861502733042/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 - 1284880209426963525411363106787282932925231400295324784776696599812\ 97141546810544/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 8481521929063341251136332533279377517252590651283520587939214971055\ 4801170428989/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^9 - 9652659201858996191442751825186448278724145837502525777700882770859\ 841695029394/128856220922907601317114759551379790143699111691291308\ 2875024328024922120223*c_1001_8^8 + 1112822622368928065940125282459148153841939793015450502517420902394\ 012558243473/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^7 + 7317284864900421202491541351085132605559772793504249794004922703780\ 953852680360/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^6 - 6941256552017238365604141300862192531863592197506654237037758497903\ 75094969964/6938411895848870840152333206612757930814567552607993523\ 17320792013419603197*c_1001_8^5 + 814672586000602186079877500369561\ 1422028171055512848160041641356190049976393849/90199354646035320921\ 98033168596585310058937818390391580125170296174454841561*c_1001_8^4 - 23523267234679438977270242045869606523920706633432345429866504969\ 76292446687114/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^3 + 1347344384297915217393838339202892602566964708405449233093053087106\ 951378311327/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 - 1557341780385675648434104935641315169647613197362661973536066521836\ 93960032464/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 7094780917898263817710287061040283\ 8022823245774229469783980974075804452126158/90199354646035320921980\ 33168596585310058937818390391580125170296174454841561, c_0101_12 + 19051310055482533783095848068113984021358183980058561238521\ 226630603390016015/819994133145775644745275742599689573641721619853\ 671961829560936015859531051*c_1001_8^28 - 1922694204253701238670539048902151298572868505752964339392979341326\ 58207096910/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^27 + 8286208827409409716281132404724416853287601264587053788425982853199\ 93154530748/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^26 - 2224790169357827207819691051447977395239381369552792208779669654687\ 088307989448/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^25 + 4763808135690694637905694161834832346227466398379631876426301813987\ 152827516860/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^24 - 1025710934111360481943215882850466608112618297801489625292003554644\ 5255369545185/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^23 + 2124800919024213686227711944194985894114827680190151948225703256459\ 4580798811597/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^22 - 3650401348080215597899510371982738964874250419272525059155902453045\ 2967365388623/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^21 + 4754166895004875014592175825447683813630313228679351528840973196586\ 5280565460236/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^20 - 4751988443709043712283816664474257331185898696104922328416040959992\ 9296780132426/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^19 + 3651281735112936892387688262419982083622582708584497310216252771764\ 8120107556456/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^18 - 2148144838623053851575975193029849133620309405201231051360511150672\ 5714314223441/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^17 + 4933488951644437991233360940438779180120733815787531573720185119614\ 507234862448/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^16 + 8676332928160432073479954599844509653995090289689226071016317992222\ 31056103351/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^15 + 2161363897324675979581067305213410005830077705300154414527519996422\ 690841193530/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^14 - 1316409424099442625046856367464343420985413842029124892929967155158\ 556031272895/117142019020825092106467963228527081948817374264810280\ 261365848002265647293*c_1001_8^13 + 1873990585393489291384410367427623187428720565156065650743928131118\ 81867876673/6307647178044428036502121096920689028013243229643630475\ 6120072001219963927*c_1001_8^12 + 722847654474347082374815641139917\ 028031976333350065423129022865417086926667028/819994133145775644745\ 275742599689573641721619853671961829560936015859531051*c_1001_8^11 - 7160669632311398797278751339147717746207461551751638587661774615059\ 185984750058/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^10 + 3671754879383892295452537136679394199667091086935814212127786005195\ 973414992711/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^9 - 3320660960420530825102962944003078955703651454205856079508442892741\ 20933080516/1171420190208250921064679632285270819488173742648102802\ 61365848002265647293*c_1001_8^8 - 115616721630095632207728150621468\ 279204049104020580377298808971793480476475615/819994133145775644745\ 275742599689573641721619853671961829560936015859531051*c_1001_8^7 + 5007526950041642464957191329764647909041671507154458684423265379373\ 58281744423/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^6 - 333979173331819841263579974538903\ 34122937286807532666932674865665433890720114/6307647178044428036502\ 1210969206890280132432296436304756120072001219963927*c_1001_8^5 + 2635859872277421071000299188415677287282252663575923019058772808673\ 26966352647/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^4 - 757013403107501656446340955555715\ 88450432570928754410360221001930552336411302/8199941331457756447452\ 75742599689573641721619853671961829560936015859531051*c_1001_8^3 + 3115344755298518065479291174397686217570568302498228441781208469377\ 6854124847/81999413314577564474527574259968957364172161985367196182\ 9560936015859531051*c_1001_8^2 - 3830925548218555475676681330985274\ 864239812162455126188982941102225319962908/819994133145775644745275\ 742599689573641721619853671961829560936015859531051*c_1001_8 + 1454907142927146104079736540503429089548794023466471108761891409231\ 848431564/819994133145775644745275742599689573641721619853671961829\ 560936015859531051, c_0101_3 + 304816677775113201485171763759291574244070129012968169018610\ 7648390136541961094/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 - 3045369105406724761337590716627095109998743674237234931449124692215\ 6062385751835/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 + 1296408476736310126855564361178303885059935034885269556990752406363\ 83000498199485/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^26 - 3442521264156381292832705108282960576371727262648026749343078230593\ 99336678772418/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 + 7329988054856738901081397742195248118577693101027798449488657053678\ 44006378962165/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 - 1580854500895505131276823329589732735691280615750216520120949076545\ 657016303951861/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^23 + 3267918934667191089426066951063109416531701084597689769750013995672\ 839716280741304/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 - 5571458558385526723285383056073226732781084991501861094518408865765\ 019197580001619/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 + 7169107114727149262025520639627982856635312594008204696501007626964\ 154140319054866/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 - 7081127725383668755070415086003621962332116210567332802536636226053\ 449821029944960/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 + 4873275719147130644989112534084521904636828120555713482684925955539\ 26018035653984/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 - 3099565886116733288091591556821222204700085300014483666326504378928\ 039336422529351/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^17 + 6100139477064848982478912736122691172082597697505771575603776455656\ 69376712873277/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 + 1336442415917847723410584874860326167931853394481053339974468509755\ 06698651261503/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^15 + 3492119484491207652864404240887420992774286360836636316978360909549\ 83573112871289/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 - 2053079512075277794454294676452824280360150872172831306073166800126\ 59499169503826/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 + 2088049670311707099569996720383109613404865608466929213878381936922\ 2267443909189/69384118958488708401523332066127579308145675526079935\ 2317320792013419603197*c_1001_8^12 + 8320288146577239572628837464706780674317737430590188433099554199848\ 1950864240921/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 - 1158296971871964876379131262499888592250317553976088963910876907324\ 858738631214139/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^10 + 4749614030386711758219265863625274225754267439913035108659036834392\ 94080388457340/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 - 5293948033424353978933868448244823381043830678716899266404752766425\ 8149474780438/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 - 5263789025363523533604966511353559042107826432097349852455534939518\ 801091057889/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^7 + 6342294911444436462320927616843813565955807819627368144863687935413\ 6622911831909/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 - 5270716821231434516406450762905550216513682070516108958833096854066\ 833023489836/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 3550019964218350900518176243716128623328266784661764113851985066638\ 3965085885079/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 - 1079926588045133089550877880167774842477874542711423275509156125600\ 5884545926299/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^3 + 4254227112445811340496078882918076472390168320577895704749977425971\ 542003347127/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 - 5148052592739629918634578265205302648269719760346492470568571775797\ 25207718300/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 1816639316561152065020384851810500\ 20982340164082600582988337694548385036097512/9019935464603532092198\ 033168596585310058937818390391580125170296174454841561, c_0101_6 - 177286512121522491037219194368845992084603264592434060610713\ 616262944415472915/901993546460353209219803316859658531005893781839\ 0391580125170296174454841561*c_1001_8^28 + 1778683497392151649632408083590104809834884842864313661258016523476\ 990015674883/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^27 - 7655703247732916391900308764106938400094686226722773686289568636944\ 504888455127/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^26 + 2072023195373758417955084260624742142228622847108956426822384642969\ 5010987123888/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^25 - 4493159924284167440698306141549080143301086420689340917088959756072\ 0113626908164/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^24 + 9718453318736898005925110207761935324086132655340316629698942241375\ 8849370877738/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^23 - 2007650478467782554225434601732242553511245807914566166462491928811\ 59688267026659/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^22 + 3470207581989371017575870456295042697267746549344910331111536887841\ 81308437152745/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^21 - 4609595137496158484197725658638028658155941029650031182681644491361\ 83849784946524/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^20 + 4763509060423712744337832603995791955179377851671576353546973393793\ 43549836948254/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^19 - 3446947543671952444837404519241082925520365423777363759374933333011\ 6775494687090/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^18 + 2322081361412967191135078429656958086594615840177981237771363558838\ 46117881334533/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 - 6324108550833960335038257779262452422823547249528979794031710931589\ 3335659543605/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^16 - 1590934352196642611887388530336968265279279014004074760030496878160\ 68528738286/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8^15 - 1031096320960186135709045394435723941396831297389985950892680392795\ 9487390682117/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^14 + 1196491385248074867415453561206910265752121355176327921259203915944\ 1458948083518/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^13 - 2023332780039263472408740553274450507647196135260122474059189377455\ 487648234917/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^12 + 1143288245180899349571685766577261013375206947160783899199186458574\ 7741199657371/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 + 7718702946047282956581417754047886437601893826009240084431691867927\ 8407596268382/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^10 - 3042405666424892351642027639226457641355542263027989569626563562089\ 4907797929576/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^9 + 5319665864834606504220040217522454038316361592398263885647971451694\ 174187990837/128856220922907601317114759551379790143699111691291308\ 2875024328024922120223*c_1001_8^8 + 6784723008413188847233889773163746438142844949870146445621090234987\ 57535945311/8199941331457756447452757425996895736417216198536719618\ 29560936015859531051*c_1001_8^7 - 273993030083790162144086871628157\ 301290151876126490662168932312387382188738057/901993546460353209219\ 8033168596585310058937818390391580125170296174454841561*c_1001_8^6 + 5999698990806297329466935146561395947468858031408051935789348521083\ 42249024281/6938411895848870840152333206612757930814567552607993523\ 17320792013419603197*c_1001_8^5 - 142232021839663483353778016495865\ 0115658176784540429008016405080858997419665330/90199354646035320921\ 98033168596585310058937818390391580125170296174454841561*c_1001_8^4 + 14171401955694046303204118263948071345290794464232157483824050329\ 89851450509841/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^3 - 1233892393599449708573802074433598622942798197343642655041787003037\ 03208312520/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8^2 + 6751225898245669434354210413254171376058715584987093543491603040558\ 4668229169/90199354646035320921980331685965853100589378183903915801\ 25170296174454841561*c_1001_8 + 96069276058460100920703724508754297\ 19558387943064628565191422443731104208/9019935464603532092198033168\ 596585310058937818390391580125170296174454841561, c_1001_1 - 200893848762714785698422662464795611065714033288228403620648\ 3206064034186996940/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 + 1884837924348781475303947934974348873602376801897060053119666899118\ 4761962009135/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 - 7375338790335901570169855481330991770632488153099378136215963757935\ 5530442932936/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 + 1799223037777518419657996024620821498343300484218181040172012353565\ 85853005146180/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 - 3652657209308889527369772224420532581223048496178129700773047600787\ 42898806975332/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 + 7987001371555062961422735686715488135953749005276147486436967509415\ 08747440561924/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 - 1624505987276366421853019120255063559844090957200643502494565108474\ 609932124099635/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 + 2589138204045147338391983821779709222869021995990173825080342684791\ 973051290211515/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 - 2956622846104436349065564449405839636219608278281357700258732899225\ 348933760133008/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 + 2553051494481345744859816984073659686196890329089311677066891924354\ 640891040687450/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 - 1456378009510996092813464285826667301076412837016350106537622108572\ 25861530582747/8199941331457756447452757425996895736417216198536719\ 61829560936015859531051*c_1001_8^18 + 7197820861731356315587436347883002886428534212220512099299756507724\ 82376933400888/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 + 2789908063259969697020314036542444952171521575018881724583110438279\ 89238006582387/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 - 4761435148803834630614887356977759725949325084722351273449569207125\ 7615842669350/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 - 2605439262505819054395254626279071667269642581171318754986148477203\ 59530740120689/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 + 1128943495675483288461817964932198644621706251709612482419919449975\ 31973560473960/1288562209229076013171147595513797901436991116912913\ 082875024328024922120223*c_1001_8^13 + 2533239656471102142345701188019939271118842334818782224025200368687\ 1573682478749/69384118958488708401523332066127579308145675526079935\ 2317320792013419603197*c_1001_8^12 + 5681829446987562144357040052285273469680673794677580118190391876355\ 5474276137135/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 + 7772315959426023929336911339108338047510218975678748975396009241158\ 81278811378822/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 1536395614435779753195764904719338882655104264738523694985943427198\ 58333858304852/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 + 3638601163027001727374357088275876549888219627295341988184627478699\ 7910639811115/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 + 1733940265327234843206299342258963128770769289341639333059074751689\ 4560153121684/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^7 + 4449406092718644212058038673054189158289497679045726721818457115436\ 2893682735349/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 + 4386424172640219378205415012562472121201416394439838651096145654146\ 466377381759/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 8626375021465014201728906397943588746854632427716611078824399553906\ 557978166778/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^4 + 6262144183211363494322716197779514731289913047483577658021210178332\ 369704012787/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 1214005179475524172192833117988490331086104576165441143747159910471\ 421505829402/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 + 2541718948090686807058995842990045662636642880061392140634776982408\ 92548905498/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 6441908453207852297482027240284037\ 1158380273981890249984419522335143059600616/90199354646035320921980\ 33168596585310058937818390391580125170296174454841561, c_1001_13 - 95557326921281218084295675824868501880096776160229560034592\ 4476627400006928836/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 + 8594779957139566362062058122246939817457174711921733894511746719308\ 948411671975/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^27 - 3147479795138210125607864526843891571743917232846208396616564113672\ 5182149543254/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 + 7075110419200487651449072941441727230593049849569410029394081290125\ 2121921616167/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^25 - 1357070818759743642108242865234515458315002287372764294814000256935\ 85467925605474/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 + 3006035242132543047068249222727430673558598909378963083312398461147\ 22600269978374/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 - 6010952348359892775885612888985760998612391524613815559933196692385\ 09370117198452/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^22 + 8789515638502465354456638930649261548323854507189341034523282805926\ 56429628318709/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^21 - 8207377472617308622369071553591452954070641102259522169039121503224\ 83731749932440/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^20 + 4955404469807090069082912636076737571114896497288836525275277043462\ 21252373884715/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^19 - 8253112999512768320218066089781814573426728759899956030392322334013\ 343918453074/819994133145775644745275742599689573641721619853671961\ 829560936015859531051*c_1001_8^18 - 1275923228049983418862697260991594336478628835851169807601898523216\ 16611025172718/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^17 + 3770664691807558107250279035312177360275294753346806916662594855768\ 48373607778787/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 - 2324564612440186914169208793731466068300599542375044009963325652927\ 1861868296418/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 - 1470741731111097628076522005342732019034189011775032551190235840089\ 62999505754474/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 + 4736111336347129145435519854354722775952955697194554300479355827275\ 6249599207172/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^13 + 2470378487090576198438077687868158546495864184828008119223130229420\ 2896153211990/69384118958488708401523332066127579308145675526079935\ 2317320792013419603197*c_1001_8^12 + 3551216380285943038618316413797651889103655649886998573161453306769\ 0411358913549/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 + 3617561587061267006357109450877654654100552573049257431752313556642\ 09270607717033/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 2167970689420660427461566070223513839770861006266129044192453967188\ 72426840187427/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 + 1456728200616415522716951822005834348738235673614136188689542297409\ 8129164088353/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 + 1196627264742032381137625525030123137114511994515570624646932661214\ 1049963605108/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^7 + 4245818565864527167174430498337663939139868369558103914910261828626\ 2331922965592/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 + 1965661920757091519136046918356103518251538754684610550008778294079\ 568936345543/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 1296850511973221275880520533557819767619606785718812261966566791601\ 3306835557031/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 + 1613736658736346958678814039701161573347759360685378198838722236755\ 855125764298/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 1626265609837104287546161311921393702364460581139829873393887740060\ 487513588054/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 + 3039589095898933453525579052226189669365316655726657755432509266678\ 9939008818/90199354646035320921980331685965853100589378183903915801\ 25170296174454841561*c_1001_8 + 71176859445936622075930307669675275\ 094807202843694048143205743951176695750800/901993546460353209219803\ 3168596585310058937818390391580125170296174454841561, c_1001_4 - 192763125471682748361667960376996607286079051436016864998811\ 4184906603978793447/90199354646035320921980331685965853100589378183\ 90391580125170296174454841561*c_1001_8^28 + 1756384474354485656138814632991594796014596863342349322745341044579\ 4021874512432/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^27 - 6574391774868316570405417134979093877298932476370102089452424847372\ 5204075101842/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^26 + 1522530330782566410973648203574484934342241671376866424709574708877\ 14939187260387/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^25 - 2988396650855002614063435080304911904526407831421297323465249525025\ 97972738143131/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^24 + 6593013648813813184337377486352716708859154950228982477162962000236\ 33857997743152/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^23 - 1326302536711962494374575246774572304982055693411124635698210736697\ 032316863730291/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^22 + 2007909532889499833543998715880114776907158048281389464702968716194\ 136176443209300/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^21 - 2053053140883219254951241816427406907306421851231223635541330051685\ 537384962021920/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^20 + 1501308640363948540619610662376034415203583817027685083759075063141\ 647614371706029/901993546460353209219803316859658531005893781839039\ 1580125170296174454841561*c_1001_8^19 - 6017183547481274494848354712193091512255341645826400330523848293002\ 6487080486625/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^18 + 8469843910699592794800281054582741122437230534878043763317024159831\ 3494561284527/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^17 + 5815510205206184911426326180611610714743975371187866541640365667193\ 45964497012814/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^16 - 3685842942824124380885148194156343373663094603493252686180130054015\ 6910826017587/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^15 - 2704439143608564798558952498934609048306182168990357628064532963902\ 40175705903769/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^14 + 9902753367483287811259412563148281188655279892739858101601728320929\ 5953488659870/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^13 + 4149133583033864749238304287450539347546810693116893204785643392026\ 7447867422035/69384118958488708401523332066127579308145675526079935\ 2317320792013419603197*c_1001_8^12 + 8717160013543926673921042282899181732996225741891022959444524761719\ 1569249497432/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^11 + 7448414857101310857470600056618450683730496553414290261830632261843\ 64355486971131/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^10 + 3484381645466327882654810234859977475079247840754755494736353287210\ 36264630313377/9019935464603532092198033168596585310058937818390391\ 580125170296174454841561*c_1001_8^9 + 3378841707482394487347701200602477947961396217432019281383312637923\ 6110925632060/12885622092290760131711475955137979014369911169129130\ 82875024328024922120223*c_1001_8^8 + 2232170775322097568918840702871821220578753195030089589068565705466\ 1017887345199/81999413314577564474527574259968957364172161985367196\ 1829560936015859531051*c_1001_8^7 + 7697457499380741178871370618523694717007976547504395265918651061731\ 1296986058657/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^6 + 4395349840626301379701572099501091722518457527924282521043138850696\ 629412195459/693841189584887084015233320661275793081456755260799352\ 317320792013419603197*c_1001_8^5 + 2163626011220336151760795487480716992373962432940870017061703754129\ 2877458032529/90199354646035320921980331685965853100589378183903915\ 80125170296174454841561*c_1001_8^4 + 5074349312851677533343404108083163989070699298598619754448988473877\ 785803413299/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^3 + 2819419693897285944133168644590329192097870436592576013416315453518\ 527079410402/901993546460353209219803316859658531005893781839039158\ 0125170296174454841561*c_1001_8^2 + 1774912719818916276246281307323983902307963419603582588055179078697\ 43127010594/9019935464603532092198033168596585310058937818390391580\ 125170296174454841561*c_1001_8 + 1339181809255138487116618982424512\ 24246539279491207774566981035666062640358726/9019935464603532092198\ 033168596585310058937818390391580125170296174454841561, c_1001_8^29 - 518/53*c_1001_8^28 + 2151/53*c_1001_8^27 - 5610/53*c_1001_8^26 + 11904/53*c_1001_8^25 - 25874/53*c_1001_8^24 + 53238/53*c_1001_8^23 - 89724/53*c_1001_8^22 + 114239/53*c_1001_8^21 - 113442/53*c_1001_8^20 + 87332/53*c_1001_8^19 - 52765/53*c_1001_8^18 + 12024/53*c_1001_8^17 - 2118/53*c_1001_8^16 + 6202/53*c_1001_8^15 - 23302/53*c_1001_8^14 + 790/53*c_1001_8^13 - 2518/53*c_1001_8^12 - 20808/53*c_1001_8^11 + 3786/53*c_1001_8^10 - 174*c_1001_8^9 - 2427/53*c_1001_8^8 - 586/53*c_1001_8^7 - 1786/53*c_1001_8^6 + 262/53*c_1001_8^5 - 364/53*c_1001_8^4 + 44/53*c_1001_8^3 - 31/53*c_1001_8^2 + 2/53*c_1001_8 - 1/53 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.930 Total time: 15.150 seconds, Total memory usage: 248.41MB