Magma V2.19-8 Wed Aug 21 2013 00:55:10 on localhost [Seed = 1360481084] Type ? for help. Type -D to quit. Loading file "L13a1666__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a1666 geometric_solution 11.80021909 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2310 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403624264204 0.314559446792 0 0 4 4 0132 3201 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567738339935 0.256140919052 5 0 5 6 0132 0132 3120 0132 1 1 1 1 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 0 1 0 0 1 -1 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.107954355300 1.827091322252 7 5 0 5 0132 1302 0132 3201 1 1 1 1 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 0 0 1 -1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.107954355300 1.827091322252 1 8 1 9 2310 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866591064391 0.955920278084 2 3 2 3 0132 2310 3120 2031 1 1 1 1 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 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.107954355300 1.827091322252 7 8 2 7 2310 2310 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626877410421 0.969204882437 3 6 6 9 0132 0321 3201 2310 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626877410421 0.969204882437 10 4 11 6 0132 0132 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.408248239364 0.635128983543 7 12 4 10 3201 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.408248239364 0.635128983543 8 10 9 10 0132 2310 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594857227859 1.156698726804 12 12 12 8 2031 0321 3201 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473530823182 1.045187768802 11 9 11 11 2310 0132 1302 0321 1 0 1 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 0 0 0 0 0 0 0 -3 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473530823182 1.045187768802 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_2'], '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' : negation(d['c_0101_8']), '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'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_11' : d['c_0011_11'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0011_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_1001_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_12']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3606326790671674815193990751295974620532420407231758450644564089181\ 5815317345232015268316751694908786753637459008127119646403279063450\ 99072665037972188063147655127083/8222480646061237007320138082496058\ 9951045868151527980825981696019902200783241245543687208961925032838\ 7355512407727618645280405005700193755356068391182223456878422247330\ 0*c_1001_8^24 + 141357537274633335726664605120619031527793724694361\ 6457451879387736873931437579615049491470223830537138958327083613103\ 213811422791303433652109192530037242753042496334263/740023258145511\ 3306588124274246453095594128133637518274338352641791198070491712098\ 9318488065732529554861996116695485678075236450513017437982046155206\ 400111119058002259700*c_1001_8^23 + 3135046997142199451407479281198890834849374326320118790748527030327\ 1388753691548757976927788353536637168560174583233928821597754508685\ 309924433945091270801587347095415993/387874259441785249172894789546\ 7106450104508539010009578273895177766421057637035307026348339997015\ 3421858701412888668355404951518889581553700934536521975230655506263\ 2533600*c_1001_8^22 + 130428748202943602265812940709856901509244714\ 5773425655399121807283526590681055675856277559183084379583030234484\ 490202985693501107010377660143434910663897754097563545135219/160690\ 7646258824603716278413836372672186153537589861110999185145074660152\ 4496289129109157408559063560484319156768162604382051343539969500818\ 95859370196116698585259477639200*c_1001_8^21 - 6147733817305393997027365278957491845443157463952157442668464675777\ 5146810019665725726989981161450457776380003467819064156207964076368\ 321129104593935352209500944620298783/803453823129412301858139206918\ 1863360930767687949305554995925725373300762248144564554578704279531\ 7802421595783840813021910256717699847504094792968509805834929262973\ 8819600*c_1001_8^20 - 175001330992031734064115414562721474501563479\ 2277915269997821056496221069430462759472451839723140636543999773228\ 18600748540791890839792590858886050453035250470160265899783/1004317\ 2789117653773226740086477329201163459609936631943744907156716625952\ 8101807056932233803494147253026994729801016277387820897124809380118\ 491210637257293661578717352450*c_1001_8^19 - 3034990700753877946713586567413233109108076705814147059443625100353\ 0395228288175076471410007370946402130028060801029360489120766857999\ 9089606904746120340742409548816764380567/11248353523811772226013948\ 8968546087053030747631290277769942960155226210671474023903764101859\ 9134449233902340973771382306743594047797865057327101559137281689009\ 6816343474400*c_1001_8^18 - 178244562459632975758800770416214708268\ 1833566344208118495452039097062921235741652637409952768189701207403\ 5857281754057812402493636551585956704248999531410095142689191533181\ 1/37494511746039240753379829656182029017676915877096759256647653385\ 0754035571580079679213672866378149744634113657923794102247864682599\ 2883524423671863790938963365605447824800*c_1001_8^17 - 4950076096541162875224330224768369852005411576332466217786213506561\ 7804600234862051414544747873292919207517946078342624108617592682129\ 1287323769454482860369441019253919801729/56241767619058861130069744\ 4842730435265153738156451388849714800776131053357370119518820509299\ 5672246169511704868856911533717970238989325286635507795686408445048\ 408171737200*c_1001_8^16 - 3954553850607742575008842607996229447391\ 8469415231707968921071929570873085476206129861392680296314759025426\ 2050323367238888346986694909032556313157445211651315344828328126632\ 7/11248353523811772226013948896854608705303074763129027776994296015\ 5226210671474023903764101859913444923390234097377138230674359404779\ 78650573271015591372816890096816343474400*c_1001_8^15 - 2381099025349134427268117827493257238516205641401781228195516922667\ 6106571953381380651422735338750005251598981579170348143311359693612\ 31066596832767683661663817824411926598337/5624176761905886113006974\ 4484273043526515373815645138884971480077613105335737011951882050929\ 9567224616951170486885691153371797023898932528663550779568640844504\ 8408171737200*c_1001_8^14 - 521620884735515192643223349887678231493\ 0272428365654979605062228159355863876804835272752249950048486462271\ 5419626918847756256189274259319660487703019847519705589269901448401\ /100431727891176537732267400864773292011634596099366319437449071567\ 1662595281018070569322338034941472530269947298010162773878208971248\ 09380118491210637257293661578717352450*c_1001_8^13 - 8058802047078501658776760833808096567163812345694895079438617416205\ 0562276759152625124760970765585039993651588617394234330819659661941\ 744046314193108791682269637464652587989/740023258145511330658812427\ 4246453095594128133637518274338352641791198070491712098931848806573\ 2529554861996116695485678075236450513017437982046155206400111119058\ 002259700*c_1001_8^12 - 3259036671819449577102438545424578771212902\ 7856521655983746061418462814658804626926097623641815144162688955935\ 155754405664339551800695811005578683145713451825906666899770186639/\ 1124835352381177222601394889685460870530307476312902777699429601552\ 2621067147402390376410185991344492339023409737713823067435940477978\ 650573271015591372816890096816343474400*c_1001_8^11 - 2967046920271202124006993090606031953225483330669305842968383027057\ 9232559991800358774631256218542831884432737960199263422024152382482\ 5846466324597021513431078622695256390457/80345382312941230185813920\ 6918186336093076768794930555499592572537330076224814456455457870427\ 9531780242159578384081302191025671769984750409479296850980583492926\ 2973881960*c_1001_8^10 - 230552160568478030012737459416452443453500\ 7118565715848859272925849561892500468252087410139580855932993137152\ 5200990217994735445119035891597372625654258346043954590045170807/15\ 4087034572764003096081491737734365826069517303137366808141041308529\ 0557143479779503617833697444451005345672566810112748963827462736801\ 4483932898070373721767255912799280*c_1001_8^9 + 4229988130085675002788988055897297266003623621280256116222674165605\ 4719020881073053508110718579640196627584946408144959923891048383945\ 108797220476813048240783694367913510473577/112483535238117722260139\ 4889685460870530307476312902777699429601552262106714740239037641018\ 5991344492339023409737713823067435940477978650573271015591372816890\ 096816343474400*c_1001_8^8 + 35156638621104033256345529192258355179\ 5958979665776128718088414328539863655543354201789606046096671059056\ 9448102039361316088537344201673257198179485836726286933108708607192\ 9087/56241767619058861130069744484273043526515373815645138884971480\ 0776131053357370119518820509299567224616951170486885691153371797023\ 8989325286635507795686408445048408171737200*c_1001_8^7 + 1147446229990842243246518722242866920399772431308465312038056648622\ 9939864349082562372087412874454658018490379193481023511694643550361\ 826383101496574544438849916096198521260749/374945117460392407533798\ 2965618202901767691587709675925664765338507540355715800796792136728\ 6637814974463411365792379410224786468259928835244236718637909389633\ 65605447824800*c_1001_8^6 - 211366771288024727636944168367062445255\ 4178581839626641258309760821214195440491024351799698397186008828575\ 6998872945623817115180487210464896388347621261701059306466741733514\ 143/112483535238117722260139488968546087053030747631290277769942960\ 1552262106714740239037641018599134449233902340973771382306743594047\ 7978650573271015591372816890096816343474400*c_1001_8^5 - 1330914512282898209191467342598430127645261130348554005154178421333\ 3544099621376068286771032988416556249050232102537620265175317781854\ 6213166964741127142423033525114691711963/46289520674122519448617073\ 6496074432316998961445639003168489547963893871076024789727424287489\ 3557404254742143924985112373430428180238127807930459091099924646130\ 3770960800*c_1001_8^4 - 2683741094662390344796666653151234379839461\ 8464290353460918067008790672554976453427911826352490411908121680826\ 684603874834612781622969855954799794007977951782722898364276957/321\ 3815292517649207432556827672745344372307075179722221998370290149320\ 3048992578258218314817118127120968638313536325208764102687079939001\ 637917187403922333971705189552784*c_1001_8^3 + 5503329721304431260105503776218609718444082905799127066514148062373\ 3152869117442006893854329672562680345222012669308165510110598363595\ 87779514655505596311517223425115224806763/1124835352381177222601394\ 8896854608705303074763129027776994296015522621067147402390376410185\ 9913444923390234097377138230674359404779786505732710155913728168900\ 96816343474400*c_1001_8^2 + 371537311157009176830702077357158387121\ 5834890052238445616313569394492846729316279324316781356181217163477\ 8136348319869633579958363606893349971567140625311609593609449821971\ 11/1124835352381177222601394889685460870530307476312902777699429601\ 5522621067147402390376410185991344492339023409737713823067435940477\ 978650573271015591372816890096816343474400*c_1001_8 + 4457794265183369620993038573796280103112394760486821356622382763944\ 5607517311108996074593582936013806947022664409102494440205340326572\ 1087649472428318058503474912116077692563/11248353523811772226013948\ 8968546087053030747631290277769942960155226210671474023903764101859\ 9134449233902340973771382306743594047797865057327101559137281689009\ 6816343474400, c_0011_0 - 1, c_0011_10 - 62461068861305101971109667891321093398622291882635807729511\ 8882203213436418655740070328297256283622366713475040786055942338662\ 923452316797929269814/845723714403085312219954354571527903181322905\ 3265505263061561794662845625185704032515753539428196401563728875738\ 387691176539653111478217589859995071889*c_1001_8^24 + 8642261258397497125246572576425775408158934514446931078561583887724\ 3045449655886259964773019429637086732076833222785255140973055737123\ 48525160766269/2819079048010284374066514515238426343937743017755168\ 4210205205982209485417285680108385845131427321338545762919127958970\ 58846551037159405863286665023963*c_1001_8^23 + 1644129070550146177566089194838575790969289938166159924487727509656\ 7678852988936668987753664966606245031522044616085323651786596138938\ 2869602265241666/84572371440308531221995435457152790318132290532655\ 0526306156179466284562518570403251575353942819640156372887573838769\ 1176539653111478217589859995071889*c_1001_8^22 + 1645467633524830436365084506300367801610913447044625905532139281305\ 5898908575478230265577004895574061391794986696320630938789832634226\ 49116977586590903/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^21 + 4182672702932405441003261839447859573038758209622444409421837225411\ 3205401672582556856159948337224271307802309439078411481629707329530\ 76364685259895721/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^20 + 1566078140034629279800238012251690159434074908463779628638020052512\ 8634776811994041632795729956189539631745127890191765011015427691089\ 195778613067649282/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^19 + 1671218892986269521152802063199812924695308383948340459776725469886\ 0602341969480138490399127406335004149202032699879024011500679703386\ 893762690116590052/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^18 + 6106217179897322724336782589279131693504087190513560947711856426491\ 7719321595940114813625829462346404324893839760017741736188319589207\ 564364641826247522/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^17 + 9508896590747170353429193742523326026779753335513793733133208894765\ 1111711991428262700203719884027739618415275239168739131511821097963\ 378425191250195062/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^16 + 3618104946841337587642907430873237564485338663958515934701797395505\ 4688587884523839783774827626941555295502282465230605284573917762034\ 332779963927252949/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^15 + 5520801124627949530571664612990183098344609288318076847380993684358\ 1094779175351402197358060804336773670857407676697340002016949757631\ 138995287526756698/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^14 + 4454641912877668971950108647009351633926064815049962025640104628238\ 0607046752519564223106701608195235973253831808484756936570093092578\ 1736658331865388547/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^13 + 2050679554680338754132187260889660853995572050787907562041168177885\ 7183141395191224782108961362189346116859963935582418296629802767330\ 9602628362127007655/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^12 + 5167811872621177976342932980457137024570324400528449157643784765614\ 8487932035001504393960138179541814382669182649222697083259927443700\ 557275038944127433/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^11 - 3197990008090582167519150067597347782740166474420087469457239201603\ 5560560980588889795903059836134093705351645560203733836212733606414\ 7868669924202377192/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^10 - 7308317790791744045855473737553763709171525050539044004588377416265\ 9551186804458474937522338937336562238190280781547579048916602101084\ 35760041927521397/3861752120562033389132211664710173073887319202404\ 3403027678364359191075914089972751213486481407289504857209478257478\ 041902007548454238436483378972931*c_1001_8^9 - 2378531560165529758111180317563251927548882986430862312820065424056\ 5282784714958903226508100272029527864580511949636309738839015789618\ 8579749000238028384/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^8 + 8417085293160498565047148696856525341098562995232522300099427490149\ 7285869325074918657263923980229792959836220447593623228572904208073\ 1267928493646301061/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^7 + 1223863052100628953471428831355930359221514565953553433953417018317\ 4825700317399520700469479057891019551823605958886322738692876006274\ 79129455967078813848/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^6 + 3304586036054103992582269908919664325013143717357288237116416706158\ 5363191750810020987265545247499971167344067664484646935239371328411\ 1491718218025160400/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^5 - 3943471944867503839765760835107407602409450491836889321174284116194\ 8176131359963499078246862491687831454383522328611167704113773169487\ 5165712273542460015/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^4 - 9900820372825849098547326226469955719365722934392704515424006007167\ 5483742395525724703875354704455572103059520362673033081234264735070\ 439504882133748096/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^3 - 1264497215374398745002637846721808240427145926849843241774688477864\ 2122706817021038853973191948140169355599096605776231870813069665637\ 04659932301425487/2819079048010284374066514515238426343937743017755\ 1684210205205982209485417285680108385845131427321338545762919127958\ 97058846551037159405863286665023963*c_1001_8^2 + 2136883953987504944371002147912894120457735761096924787920483392708\ 3077952102276679188397038824566460847796356817367362960460832085260\ 271886649531826094/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8 + 1226832307826177110022908516903381287213975869626519595372519801328\ 4879973564089979523087181557744442097611914596734732865283473706818\ 422559314738979206/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889, c_0011_11 - 1, c_0011_12 - 19990841258739851239709103134302440980209978308514641857514\ 7422260673648438953159415907017743072539301709222154479267750378209\ 201785620788651705442986843/195476097011442802714365483757583730443\ 4441153257806579326155166940858424723610145844318939609674346816512\ 0045751295174837821397600255843791670130029425424483*c_1001_8^24 + 9213125444958708214923024631249696298629018637391259666152976248479\ 9105095669446186946758923720539538875264410699406447356098302940011\ 2223047753430563934/21719566334604755857151720417509303382604901702\ 8645175480683907437873158302623349538257659956630482979612444952792\ 1686093091266400028427087963347781047269387*c_1001_8^23 + 5287061397836856075284651058793008965175082131197380265040555112055\ 8789538406477540980295759107026803846911271334903591843606005964195\ 522971255365754795004/195476097011442802714365483757583730443444115\ 3257806579326155166940858424723610145844318939609674346816512004575\ 1295174837821397600255843791670130029425424483*c_1001_8^22 + 5284466968900348696982321618328895207680370165017296025096852703858\ 4738189044467112734246865070305608703674693522761632066495826461420\ 8935238140050670419057/19547609701144280271436548375758373044344411\ 5325780657932615516694085842472361014584431893960967434681651200457\ 51295174837821397600255843791670130029425424483*c_1001_8^21 + 1355619768634949931285471082595871318709702891479413379368604331732\ 6734087261834968101169375645218399657989015474575718786685399429809\ 97932986186703300573811/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^20 + 5064126797628089530014863951137774592051437017822610904659756237508\ 6869694079676872821759453431442655129106994514213306872809134960633\ 39212055893369228754826/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^19 + 5515052321538002574397883710597145145089388324147041052510999727345\ 3968024424950157944072726907391173918515818417345011771573450136584\ 98184379195221168903538/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^18 + 1982541484823953370819602909048025909991520969051713382458176068822\ 0486578174591602418481809040976458968908405356228082076326172380095\ 525651212266420595018950/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^17 + 3102092488494916863588359778266203898217491279797182914134688845738\ 2622030983982753032949620745675774074057031522533144683392593612032\ 872228367558499431359339/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^16 + 1213987259023560877787700809329825703435776551551782972237071451315\ 9415280943664217437444134993215029345246705032802220337974256375823\ 000099798551649473123621/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^15 + 5986538318437228308655302626983794024163072256048711901072102325127\ 9275209616417228595479529181735608561663363542577438925292835100608\ 31710617580947228588684/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^14 + 1462764341177987938317035072439341025299565964980847544312427995127\ 2940606479783333101719647247310219497310752915693846565363956857409\ 8541869703978204850063033/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^13 + 6728091014689518230632541634532180350907586506993896921767238915513\ 2375600892486262989112977655001658889567987281420973376496628378097\ 136986635963994932496429/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^12 + 6553165256312034626323144138449084388479901594216581619522819959877\ 7924464957135052291654205652845560093427473113663797020514044354431\ 19507314281052603322141/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^11 - 1003339801997436028519471035252996760397979176046010655069032759122\ 3431214394310074490321980047603912285113831592709808026670024610040\ 3147200348227384287135063/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^10 - 7890428031410020286285140250741820839153226315759843080717648965192\ 2756734612680189799373794969983935459541639584578891696543918425037\ 9849656265826045537491/29752830595348980626235233448642881346034111\ 9217322158192717681421744052469347054161996794461137647917277321853\ 13995699905359813699019549150182846315716019*c_1001_8^9 - 8107641213785085496308180003782990244706902059648406115857571332707\ 8310569763767509415654819653778405342237032828198592472077781424045\ 207549077154110673697466/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^8 + 2602293412116112517086347290419944348536139189726185648726705474307\ 5422353760947148093163727844667907942957986250988778621298015826040\ 6562199115103794576616814/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^7 + 3934838740345134522908841738438872191753015344042895498653014380752\ 7482730993233252257086703012976576072989303474140110593653388898657\ 6163973333673440133343687/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^6 + 1106976474140854724446647335525150257457068465997280477439840682344\ 4659776475713814937752167379179226686125824333517327339894327961492\ 2257612991289105507915532/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^5 - 1240404895339897638711665635745602651144659555696103288975057748585\ 8896039982331870843081184932139631243474535699833133788880980585326\ 8001118163146382631794648/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^4 - 1053862128042621179808401454977637802387936767805311230611482728224\ 7433595986039487617423962040885669884022391300992352416861980312839\ 142220712635429016183166/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8^3 - 5088290518913668258965946980485864546630995776876337880392604304777\ 2228968516642059721105993709472833442598074173196530701975577306891\ 5763105142020172009695/65158699003814267571455161252527910147814705\ 1085935526442051722313619474907870048614772979869891448938837334858\ 3765058279273799200085281263890043343141808161*c_1001_8^2 + 5203316066133339841138648740517301985748104838184768804148880405446\ 5646031817362362425265965338166203008470422880180306936015684858307\ 40419077533704254966996/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8 + 3877387507726728111208925247704763629113773387462276857308571621726\ 8983408110990608302862891065047418625641303441909151657992346767255\ 15894589113872405708015/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483, c_0011_3 - 272355743632294054948645679946390324951928841321430192939632\ 9800863982233882333716905305223741096175896586640594480914849784888\ 568074864308877638988016130/195476097011442802714365483757583730443\ 4441153257806579326155166940858424723610145844318939609674346816512\ 0045751295174837821397600255843791670130029425424483*c_1001_8^24 + 1230492277083513071949917009303643598973501655044495198313776636555\ 3148576790485692819409536185294842945680336374080402822844143897440\ 797187757688166082582/217195663346047558571517204175093033826049017\ 0286451754806839074378731583026233495382576599566304829796124449527\ 921686093091266400028427087963347781047269387*c_1001_8^23 + 8139394845992154023089662170453441449640641644180343848289379316099\ 2633956601835866880294159935553915091584184656681506918727824553759\ 9417667292958250181302/19547609701144280271436548375758373044344411\ 5325780657932615516694085842472361014584431893960967434681651200457\ 51295174837821397600255843791670130029425424483*c_1001_8^22 + 7729615317576586861165285764226609329679700011461342061384600592394\ 3370355123000461540776387763660833310778929593480425945872830062877\ 14265430565404598647297/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^21 + 2397640111396720188968750340865359904841750227991460479838303577056\ 9478374172709358420253542281371247706750855213845772860988099969823\ 837706133163312695766465/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^20 + 8036109251448189624545580390051305199105752324280577119012614059345\ 1360626696998620513006957548486656255104410232264877783501587608280\ 598200719814533054510657/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^19 + 1218655003558241592062435376305827875287581265518735489926839273446\ 1959655185967262320808420013238933035847147263230385973844505991293\ 2361127410373885273500730/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^18 + 2952380636612509242414573941620830578987503550854319503117830200361\ 6039620726705001854866324036192788721435132945610630068987698441426\ 5945827933929366736930004/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^17 + 6015894841159825615206798428992098577632333298434202221614665388058\ 3164455794706980386632491972377902882979015671426018961792001839532\ 8897289371729008252003477/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^16 + 2312610153025996947964870673540478336264706905694848589338194683588\ 9670458801474548537067165403295370018827275632918529501703389407404\ 5480302471342819633923454/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^15 + 1002402062880035884882064591027498550964990203858097842023508213422\ 5153743812891857643111429962003086425444043073833345169067994667888\ 5487300890107612481115099/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^14 + 2300502414599832348063355713624090531014716999380244355194240377795\ 3447948718784389201283936308493169193131210250590241081089295605965\ 65847783527481326891601572/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^13 + 1301986232540829776124705013040254732456810098900182053192743272625\ 6079481518541840782960887608845477201226459838763025119058013248934\ 99882440354083296979008761/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^12 + 2125643396167509905372751457863497121759176871369359664771425642894\ 8483332775524185336438021077468610719845668942539510009729131510291\ 9033607034799746987992188/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^11 - 1690500237161363985024220067709383072890119186034886872982198133773\ 2180482143913688897922135785740124034555077019462299405654872472217\ 17161814311017531841868240/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^10 - 1699421998493461558006847908678302393732989161286930706119896420726\ 4174741402019001948514073415532408894540339374858642240538783248290\ 122020223509517393920849/297528305953489806262352334486428813460341\ 1192173221581927176814217440524693470541619967944611376479172773218\ 5313995699905359813699019549150182846315716019*c_1001_8^9 - 2528529470510359003253414303828888466150619203358664430960003283286\ 9585212608561198211772337431313073613396609458797661043255690427604\ 61938293321012072158348063/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^8 + 3787621361367013683357411668683630253368861809247491322717493344232\ 2148386815252202155503405793742100185770613418392286632380697240638\ 08053392902339855210409955/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^7 + 9794887039662692070151377110314448545188868765965920718343989565780\ 9235687466687714909851382925144940995203246958659965247044092666451\ 87681281818376343270999605/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^6 + 4828240069434254421832831437986430456320680166305857292504447126881\ 2818942860640300735943803263661971281494104831041692588237079501660\ 10906108547456730923933045/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^5 - 2044736377578195942916913511570912524855994272493383003628034728848\ 5197156483868141360230335040434910590610200161041762760542145718119\ 62426853628588107380334412/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^4 - 3266286834189801551392284287835931325988377491874936160052342609200\ 0085722280968450335171904357418383157893760982724389141714446978140\ 1134758187257413011723436/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^3 - 1832274344153505221832878603290262668046712540203124760224890702093\ 8436167048665332423425584333582190046999762229928818989349231629302\ 9819980624269256087932009/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^2 + 4925192889409856073616620778628489657903369941691957814699155473163\ 7677425874069751359791837917807420783987809259569898742399858026128\ 454687444105192580647605/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8 + 1688936888481038072631843508459143399840816540888871862961623519646\ 0252893063902496798258818279133161855941576870234217238345393547580\ 4370430147221686549319695/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483, c_0101_0 + 342816596891447003778659473783833514870099824937597494391531\ 0570015232177361310431840067876431917935447063415510044876250733582\ 237194501159678612560/845723714403085312219954354571527903181322905\ 3265505263061561794662845625185704032515753539428196401563728875738\ 387691176539653111478217589859995071889*c_1001_8^24 - 4715266189205885090297187936453935424138638016825371128188492446741\ 4988139375562283585157948336198387184359520894123527302988216845545\ 749192190583811/281907904801028437406651451523842634393774301775516\ 8421020520598220948541728568010838584513142732133854576291912795897\ 058846551037159405863286665023963*c_1001_8^23 - 9383597489314806556571308126056995170133055136650150896639164335175\ 7397984837795696896938888796318610388473444634872460765205688757025\ 7119621152185656/84572371440308531221995435457152790318132290532655\ 0526306156179466284562518570403251575353942819640156372887573838769\ 1176539653111478217589859995071889*c_1001_8^22 - 9206959920114920809646279265763026466720215563338186861845104638781\ 5012447938022745588275262641179797412713754035628118852648729576155\ 92238738438507023/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^21 - 2490790606576976751179756623762409997755886076853997928635613103776\ 6362511275523115397524164167552646783235184778134958882068193480356\ 854614373402477306/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^20 - 8884614176204221285274404091406661815576174604209319900999209311892\ 4500294694904004517490407318334368382849556211657342468128139880460\ 885245021530539701/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^19 - 1067760656535371078652272029885938679715230855208465448885879254038\ 7640373390884608022058116910995259238872027229800522283766696075011\ 4317001819452558425/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^18 - 3327118516515651848434777618988685307842189699229098666908668598436\ 4946089169658262374947408518379622299989928084122976041552884260538\ 0138913159621678267/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^17 - 5848648352482032076763163479544032862431933066204864819523175103600\ 7517096040170545970107276097115610213444771543547934814911954744271\ 6516489220751801297/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^16 - 2067633720331638739185847409218111694684272080573331424161692743695\ 3861246644442695743277810574121381998955040847297083520316771570053\ 3331052806894763623/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^15 - 3091431508333410543065555376174537361739780277191017991372786291971\ 9768048565388112893742883643719893686380188373928131679985795715160\ 2372217309791443223/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^14 - 2513321989978917172675844764356037039990200752922055722700763982759\ 1570973752102727933710000774228197537101842057077829717554629233460\ 56937299649841049226/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^13 - 1234339242752627674794194117354156313201498566938600386413459451691\ 6579601921911553806460569881744129970333571038205665679064121950704\ 41808138735697054830/2819079048010284374066514515238426343937743017\ 7551684210205205982209485417285680108385845131427321338545762919127\ 95897058846551037159405863286665023963*c_1001_8^12 - 3215845054285418222995419249520171905166873141445490300343509453193\ 8410241543075420447975322224311882176603091760960130936249716534060\ 6125588916937952232/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^11 + 1966951338829032681295630843780695460059249169248061861159182789190\ 9989297524409578456446997679724160226709413846417554180758751960210\ 63000682328419300764/2819079048010284374066514515238426343937743017\ 7551684210205205982209485417285680108385845131427321338545762919127\ 95897058846551037159405863286665023963*c_1001_8^10 + 4650585149674702009557465800741724365974679676101925504459694022086\ 5554062127639377143821502788350008308151594708150368220249824002279\ 365594965651296923/386175212056203338913221166471017307388731920240\ 4340302767836435919107591408997275121348648140728950485720947825747\ 8041902007548454238436483378972931*c_1001_8^9 + 1582366123244916170031675355155633208109859478557092933564599964362\ 7304649658897626305659766224812471746955845456557605177275516504624\ 47863770987528942481/2819079048010284374066514515238426343937743017\ 7551684210205205982209485417285680108385845131427321338545762919127\ 95897058846551037159405863286665023963*c_1001_8^8 - 5493915563246803406036288896573900025539334188165630244981402033766\ 9595303655275234769737776721716447249586526905200177622356681629663\ 75065916012229612635/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^7 - 8332798022484254760500588760800962058650470344010546556522520416554\ 3137355579289912057947398837414606124597378794458066601274947363086\ 89772378057885942034/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^6 - 2402762255031595294411456109151647416803585763257571834783364542961\ 5708179023606749662979421737577265078472464458423680816753070919744\ 98805934076468383367/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^5 + 2703537393213107960784101796321004070496566455146498033452574919760\ 7600150399705699508838918912071188572667625603025119520784152775646\ 73417014901189335141/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^4 + 7165513298981801273510129180284283187392986768224385480314224443923\ 7306490325189696902337740548593217848537828956092849880122787490419\ 2939709223496590984/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^3 + 1880557601412392956855018455873438195068816323378216269112174752365\ 3012624820773984748966258989738956603873485744366687539394233912134\ 182395926968830144/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^2 - 1297969019288431600785167905290151628826373845359196387667958250265\ 9149664097288637034003655079682923585499505774126577524945884640027\ 7557419156924126467/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8 - 9127582597789438360842658456214840558482957322111961523444851192042\ 9016750787960535450477366939499780184507922276710414925719408618153\ 040789130248967666/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889, c_0101_1 - 175876535467241491468278665267162129208953810136395119284295\ 7848278974064710726709705984643846118122868750914348943726824688372\ 552504458921687090450571123/651586990038142675714551612525279101478\ 1470510859355264420517223136194749078700486147729798698914489388373\ 348583765058279273799200085281263890043343141808161*c_1001_8^24 + 2430569565571166551489215677073774913939177242800992950785922001459\ 2224225437746808492940558212756885946065072924419725344467573622358\ 094963744284357865958/217195663346047558571517204175093033826049017\ 0286451754806839074378731583026233495382576599566304829796124449527\ 921686093091266400028427087963347781047269387*c_1001_8^23 + 4666904906917218389902148485999353957114458881307295216983081781544\ 6611120370986399195315398368816249573563857354145044283991324542010\ 7960087373684145901944/65158699003814267571455161252527910147814705\ 1085935526442051722313619474907870048614772979869891448938837334858\ 3765058279273799200085281263890043343141808161*c_1001_8^22 + 4650727029430789069705807653850590662551036269900291117860203788420\ 1214652512731596732173011189910167016281159451449599407476591771912\ 12562282967940916978512/6515869900381426757145516125252791014781470\ 5108593552644205172231361947490787004861477297986989144893883733485\ 83765058279273799200085281263890043343141808161*c_1001_8^21 + 1197617231240489183458760783338899815195522632534586424225625551697\ 4478282557571754671150438134087387663550158316143561163598869219074\ 986777067836131899782723/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^20 + 4435785534319708051535334532130271975067117603925347471519761093552\ 2809015841702845977692163322015893541130920879195451989926382373118\ 436421986540131752563888/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^19 + 4857092309016866019431134748912925032752784002082560863364050358332\ 6128516247476100234113550701895428782330300282026588900584690940606\ 129308156068746634701407/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^18 + 1713676660916780647583509245713664069770862047909357205690411320459\ 5213920513177778046433450581747530115498383770070225054700029002282\ 3535254412278688692502229/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^17 + 2743736725021085215983732760583767367187751642713527433247589893301\ 3464040430748988335427197601515429492016083523364998159654889473695\ 4082252987431376872203462/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^16 + 1021846230201877660639263383430387480777449569412697180833509425412\ 6350467829945632173634677183343952757798706805351040847609764072504\ 9342724793793464302518584/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^15 + 1560421189122476706057713174410673888828036719919718192780841698273\ 1650224490121749275016516064452828981532669083944267906700677935234\ 6751489065412933071362817/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^14 + 1260115374015771834399980755952016047347603050598229827679868729776\ 4517100650564467014742848504927206054745300585025798749041726052571\ 23730426545055607920217222/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^13 + 5875038086778820455636970656786300060347498758296176915481332413100\ 4665299883216866257114582271542541569903834548037313527081174907029\ 6211030601517924802880525/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^12 + 1475689655836707682059916541688657660555081457693665281187911397027\ 5855724439713502716626895761324020902592513307736290571942130385959\ 6784873496663511620438642/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^11 - 9240156046092730675703952497872926771461176413285843366246692549096\ 9647585416396941524509072741585658916792601822811537662974557886595\ 4485199612610844777504635/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^10 - 2121955143189126472031077196818504746659831770148340165658920539772\ 1692890976876483730512726993747549363494130696735484790521196602323\ 313075755048421080256632/297528305953489806262352334486428813460341\ 1192173221581927176814217440524693470541619967944611376479172773218\ 5313995699905359813699019549150182846315716019*c_1001_8^9 - 6931881592801898584408945419411662078664749363011993622335414145077\ 7186823010009243219706095299637803577722681616423603376380443580967\ 2979385950274071666982782/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^8 + 2467758326391041387033957646719844065182330390522483374757367376129\ 4700751137115469806322537674744021839368984407183619348008599712086\ 02363597233674182883964343/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^7 + 3603613260394062902827672296123071550515859748908119401227517432096\ 2532990992421604042519574165700407242781111170057976645182540707779\ 05149721859158790404271469/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^6 + 9801946515798981669793388038411969403430142344193512343308852481602\ 6976978396964874132800958309911428257330290555042916219931429873980\ 7459168899978054008298304/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^5 - 1165862771246651405742079500488235385895124690290532462462492319865\ 9840971460687623352849373719467677011482453164861674921888594441038\ 67341997202107152769365271/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^4 - 2949627585621291158949605339784222416088837121981915133269868263019\ 4332704817036409845957159665156490187118557328783412801361140601522\ 9400265724184886206697734/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^3 - 4320619063124938926668025697266940383780910817337226808162670541189\ 0768496937720741995633847240604002421026454253288197864890375971165\ 33551707682101293351856/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^2 + 5528321555440546095698025809423383305531361308299087349559611389201\ 9573232470300945791355535644318040403363850369464324328389799870826\ 235381666904553880234435/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8 + 3685294884539980819911348793765649196871499014817218832549711181775\ 7681633696225304720257518748941500597606806980830129390837312794210\ 782760570451803394495170/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161, c_0101_10 - 54762044766046432564454509893578882860707140871769999971040\ 2096709759584257113328853386094928142690790796196520131044822444332\ 6859298997553712976794700212/19547609701144280271436548375758373044\ 3444115325780657932615516694085842472361014584431893960967434681651\ 20045751295174837821397600255843791670130029425424483*c_1001_8^24 + 2522700820020753633638445923386271876925467429174905547447451763944\ 0215276394441270362408147449962281334817717031413789818028556651758\ 207186792037788429892/217195663346047558571517204175093033826049017\ 0286451754806839074378731583026233495382576599566304829796124449527\ 921686093091266400028427087963347781047269387*c_1001_8^23 + 1452942086053534077723491056387736276786088485704162367745330085583\ 9571231495360695168397577101715142910538269919592549203633457422245\ 19403233376418192500836/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^22 + 1448062778518240207881565512338466150842114582620260295609029663564\ 6211777644264150146994372007676106191921094770662496142907935796187\ 846622087043873421354593/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^21 + 3728413670584962543504829458276286577457538186751700610613737088265\ 6108256398898760823568251966784002956449376495888255369465147600205\ 958264189695098999921980/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^20 + 1381376928272193310760748999150459338440649651355830350502525890440\ 7711401693307622521525243530919194613630346208900768665706006061541\ 8648478015513764486446490/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^19 + 1512278215920439831573319261779848961276729083866238669534325104773\ 2378235118492331649674792479642540373884248268781426787891141783547\ 6886108847401461073007759/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^18 + 5339284131232737279832488028045794800311738240633242955317051568260\ 7690419356992494381148532649340236243385991845833483371732704244856\ 6131414449102486672525637/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^17 + 8541419423912747334310034259577922491385004056120300591156238564477\ 8654324390645240309576554879113865883453953722348308947303927782289\ 5118987329852630047969725/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^16 + 3186937416507989069696560231224145012675926363393269839724235421369\ 4992931584203318264648445049353361207920790919333344576626717855097\ 1028274179932042380679373/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^15 + 1620286572306848989144266200680511829069667442480205311791562721524\ 4442976586285921560971311356270185067149302719370042295953606286240\ 7583199682993880299951501/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^14 + 3926622556165114297031645775099982244572765748292774237470848988842\ 0845362599671734354400510239512640113966977046646780903661573843454\ 69733149339145028610714699/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^13 + 1829792336180541318997416613381211821613325492558792043862072113085\ 2723345973889922507025504458012779059866830237225403791889318755889\ 85770078440517769341138004/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^12 + 1541221308399828028323147983073148504439880473635831097383139596626\ 3634969089284853239543437817852476503526788038872928542147270829503\ 9904380810944564223760783/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^11 - 2872380794027562805563132852887177707478150841590354075380911040641\ 3237397064350089906384919827236088903549163706114442101559369826982\ 66602799186059918619648968/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^10 - 2200859423503226674893928599325922955051364033305938596466097029424\ 0920458323003285628506464943447388718089547092581273707486635786573\ 692925411314247125794123/297528305953489806262352334486428813460341\ 1192173221581927176814217440524693470541619967944611376479172773218\ 5313995699905359813699019549150182846315716019*c_1001_8^9 - 2160640889978420430285765425861328526046493829500082147859199956850\ 3939152600640448060068376786429125126739174813209066937634910888530\ 64145706927976325674645812/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^8 + 7663504320384735412810507669201526630400605090540068689144772675819\ 1644488787441124228283985808698856312402751846649735906155600718862\ 13652990816126343228509843/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^7 + 1120432365521670216077390106221310187072288078112864775354785373436\ 4034724607658813735326739279839887933564226385758794099491296101320\ 291613138911149811346158094/195476097011442802714365483757583730443\ 4441153257806579326155166940858424723610145844318939609674346816512\ 0045751295174837821397600255843791670130029425424483*c_1001_8^6 + 3051281602153779973382681145076105846774749549857781750736639812715\ 2559071166660843733615504230891351145811669599864607599968861758343\ 44635119691223267532810444/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^5 - 3621628803273943981097405065039266422799840026441207716284982734456\ 5412518380296057142856239651616994158794813064568338144553881381648\ 70027109769467840939890461/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^4 - 3055013798425553276930445485281986196327630798762446256331016535841\ 9076064415640358607699555869245057175520796458882648043047338632806\ 8542486436820315222880900/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^3 - 1347068624126618360590067178984940760600583202969931421252727205404\ 4952838766482643195901214109275929060733917017718424666486868564418\ 516418228188324052065263/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^2 + 6048653162053880079811890683475113504106171792117564229974499429746\ 6137835652037182033882132178134660704210892657482355021991368356656\ 975800744438258135201431/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8 + 1144362340439261527085493890606742395352587438319788418337999070749\ 9994324189977497499105884535332924365538455128668130333831117305935\ 7864176300469282589193525/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483, c_0101_2 - 124901565084570844335915214411994084462781077205341266198588\ 1129035472040663641225970538027737175456427359932663869408539482005\ 07581172816808599980/8457237144030853122199543545715279031813229053\ 2655052630615617946628456251857040325157535394281964015637288757383\ 87691176539653111478217589859995071889*c_1001_8^24 + 1854085312035410919171666314418837689176057638330922826986721651047\ 4582525811412675568266279536303618122451821082129328686009872304353\ 48607880180333/2819079048010284374066514515238426343937743017755168\ 4210205205982209485417285680108385845131427321338545762919127958970\ 58846551037159405863286665023963*c_1001_8^23 + 1694574259098265880073473835765529545718577653418839642792031079903\ 6968897423583282721191239540638994067064374719885195240180647050501\ 233605710851731/845723714403085312219954354571527903181322905326550\ 5263061561794662845625185704032515753539428196401563728875738387691\ 176539653111478217589859995071889*c_1001_8^22 + 2398275652050211554130302488596400500310560974257847805428906155884\ 4475353265601846929717031929316174782758761624915271168273574316474\ 3602999251081047/84572371440308531221995435457152790318132290532655\ 0526306156179466284562518570403251575353942819640156372887573838769\ 1176539653111478217589859995071889*c_1001_8^21 - 8370409840508444856130838376634818661427787231572573864047288287703\ 0768460518856415675474849679667263360891466112990708119815773207704\ 867010838541327/845723714403085312219954354571527903181322905326550\ 5263061561794662845625185704032515753539428196401563728875738387691\ 176539653111478217589859995071889*c_1001_8^20 + 1317080593582676686728703674989490863709296813056443389893341076388\ 7734962668957490092572059474363408698232340237538687372375246329433\ 95700020032948282/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^19 - 3895898696201559042136818450850779523604608551029600875375118338120\ 2685119091655626391123143463193566948656349602262782614521341521062\ 00550607077665512/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^18 + 9702074228085019874674638266289802759957188280534015814818496405930\ 5707619438860716585110523501245447078398184387706222071947475493102\ 13910895944701962/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^17 - 5762312081275514418065006101613819085903300928285408066555708565516\ 2991407769401129435763839222015206263110993173197437844684669679739\ 27323759854530046/8457237144030853122199543545715279031813229053265\ 5052630615617946628456251857040325157535394281964015637288757383876\ 91176539653111478217589859995071889*c_1001_8^16 - 1972578170603722155693761402500354949005382284796214558473230270543\ 0335228491568058098257423791267425741611319160281963888086088975423\ 53215659691161360/2819079048010284374066514515238426343937743017755\ 1684210205205982209485417285680108385845131427321338545762919127958\ 97058846551037159405863286665023963*c_1001_8^15 + 1001237134597096445266362704528617030931436494025032444450127006008\ 9581259114745340710330733172237133989145783387123188602208133079171\ 005667240473011853/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^14 + 6353038320964698230244602833144707437530138918594125807396599177572\ 4505043233518598259101099493708044759216914229451894629345981151484\ 340027955756776778/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889*c_1001_8^13 - 1020517396729964128196578861738516191392610683110696473608382857188\ 1668501487121213847924218497794288641041558787678280865464657025194\ 908437042396699056/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^12 - 2847094435624521919627739960139844533863124076244083061340897230139\ 5126929751518251703609999883331448754254857803339674500358205410851\ 482537305663174926/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^11 + 4540050703991968974692744719583422298446712554970897863422949425439\ 6587651053137277180068196496695056485432498222717116716404210125229\ 380707466630507143/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^10 + 2525387880591021290285340459753826877773495902515898973099262012478\ 4603229963144194979239181575394635010892845547813323387187287604324\ 42605361385428750/3861752120562033389132211664710173073887319202404\ 3403027678364359191075914089972751213486481407289504857209478257478\ 041902007548454238436483378972931*c_1001_8^9 + 1969705888413585856303197841896578344192076928232639336925729233436\ 9664827324389707569421802428906365295599732851560532880970873213841\ 5604032971605788741/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^8 - 1702019470573960726335207989096437183061258526549203349749871208108\ 2277706597661389906815931959412499646188065838769930613076868288815\ 1207464091900256594/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^7 - 8906391783925262616338243892565987377194942229047267919469049487235\ 3752399349616495161919682824540203600464363634673202354415669080960\ 4346163582152838218/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^6 - 6059668519312512651399157382209859912181700246984248846811621062324\ 1514706950956589497747911861223078433026650560386349463325588594294\ 4995795289865530606/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^5 + 1880246977712385964464028222249309024273278353303804449726341474581\ 0997128947527755866052867604415675266312751976479394769791176421321\ 2729082065477797052/84572371440308531221995435457152790318132290532\ 6550526306156179466284562518570403251575353942819640156372887573838\ 7691176539653111478217589859995071889*c_1001_8^4 + 1434930511471868779243312692894123551059814320731990471266056684160\ 0877271328833322205373985985579846361598022230127142420954287986873\ 9081601927666653566/28190790480102843740665145152384263439377430177\ 5516842102052059822094854172856801083858451314273213385457629191279\ 5897058846551037159405863286665023963*c_1001_8^3 + 3725113619673551884172200631959311425350893269755394054639595832724\ 5549019621142645136692706041658127962928876781794906566286057206225\ 830343719335026895/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8^2 - 2631319030204566481140914668762963912262763144349233889644259415353\ 9684626744965133660858495479927684318080518467129560043279293581537\ 952569035236876702/281907904801028437406651451523842634393774301775\ 5168421020520598220948541728568010838584513142732133854576291912795\ 897058846551037159405863286665023963*c_1001_8 - 3231556862603833543186857171947090027686847460043906111845480952271\ 0057823833095388640351739621683078610441505268425798407569184090169\ 625687186874024117/845723714403085312219954354571527903181322905326\ 5505263061561794662845625185704032515753539428196401563728875738387\ 691176539653111478217589859995071889, c_0101_5 + 272355743632294054948645679946390324951928841321430192939632\ 9800863982233882333716905305223741096175896586640594480914849784888\ 568074864308877638988016130/195476097011442802714365483757583730443\ 4441153257806579326155166940858424723610145844318939609674346816512\ 0045751295174837821397600255843791670130029425424483*c_1001_8^24 - 1230492277083513071949917009303643598973501655044495198313776636555\ 3148576790485692819409536185294842945680336374080402822844143897440\ 797187757688166082582/217195663346047558571517204175093033826049017\ 0286451754806839074378731583026233495382576599566304829796124449527\ 921686093091266400028427087963347781047269387*c_1001_8^23 - 8139394845992154023089662170453441449640641644180343848289379316099\ 2633956601835866880294159935553915091584184656681506918727824553759\ 9417667292958250181302/19547609701144280271436548375758373044344411\ 5325780657932615516694085842472361014584431893960967434681651200457\ 51295174837821397600255843791670130029425424483*c_1001_8^22 - 7729615317576586861165285764226609329679700011461342061384600592394\ 3370355123000461540776387763660833310778929593480425945872830062877\ 14265430565404598647297/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^21 - 2397640111396720188968750340865359904841750227991460479838303577056\ 9478374172709358420253542281371247706750855213845772860988099969823\ 837706133163312695766465/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^20 - 8036109251448189624545580390051305199105752324280577119012614059345\ 1360626696998620513006957548486656255104410232264877783501587608280\ 598200719814533054510657/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^19 - 1218655003558241592062435376305827875287581265518735489926839273446\ 1959655185967262320808420013238933035847147263230385973844505991293\ 2361127410373885273500730/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^18 - 2952380636612509242414573941620830578987503550854319503117830200361\ 6039620726705001854866324036192788721435132945610630068987698441426\ 5945827933929366736930004/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^17 - 6015894841159825615206798428992098577632333298434202221614665388058\ 3164455794706980386632491972377902882979015671426018961792001839532\ 8897289371729008252003477/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^16 - 2312610153025996947964870673540478336264706905694848589338194683588\ 9670458801474548537067165403295370018827275632918529501703389407404\ 5480302471342819633923454/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^15 - 1002402062880035884882064591027498550964990203858097842023508213422\ 5153743812891857643111429962003086425444043073833345169067994667888\ 5487300890107612481115099/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^14 - 2300502414599832348063355713624090531014716999380244355194240377795\ 3447948718784389201283936308493169193131210250590241081089295605965\ 65847783527481326891601572/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^13 - 1301986232540829776124705013040254732456810098900182053192743272625\ 6079481518541840782960887608845477201226459838763025119058013248934\ 99882440354083296979008761/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^12 - 2125643396167509905372751457863497121759176871369359664771425642894\ 8483332775524185336438021077468610719845668942539510009729131510291\ 9033607034799746987992188/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^11 + 1690500237161363985024220067709383072890119186034886872982198133773\ 2180482143913688897922135785740124034555077019462299405654872472217\ 17161814311017531841868240/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^10 + 1699421998493461558006847908678302393732989161286930706119896420726\ 4174741402019001948514073415532408894540339374858642240538783248290\ 122020223509517393920849/297528305953489806262352334486428813460341\ 1192173221581927176814217440524693470541619967944611376479172773218\ 5313995699905359813699019549150182846315716019*c_1001_8^9 + 2528529470510359003253414303828888466150619203358664430960003283286\ 9585212608561198211772337431313073613396609458797661043255690427604\ 61938293321012072158348063/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^8 - 3787621361367013683357411668683630253368861809247491322717493344232\ 2148386815252202155503405793742100185770613418392286632380697240638\ 08053392902339855210409955/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^7 - 9794887039662692070151377110314448545188868765965920718343989565780\ 9235687466687714909851382925144940995203246958659965247044092666451\ 87681281818376343270999605/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^6 - 4828240069434254421832831437986430456320680166305857292504447126881\ 2818942860640300735943803263661971281494104831041692588237079501660\ 10906108547456730923933045/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^5 + 2044736377578195942916913511570912524855994272493383003628034728848\ 5197156483868141360230335040434910590610200161041762760542145718119\ 62426853628588107380334412/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^4 + 3266286834189801551392284287835931325988377491874936160052342609200\ 0085722280968450335171904357418383157893760982724389141714446978140\ 1134758187257413011723436/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^3 + 1832274344153505221832878603290262668046712540203124760224890702093\ 8436167048665332423425584333582190046999762229928818989349231629302\ 9819980624269256087932009/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^2 - 4925192889409856073616620778628489657903369941691957814699155473163\ 7677425874069751359791837917807420783987809259569898742399858026128\ 454687444105192580647605/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8 - 1688936888481038072631843508459143399840816540888871862961623519646\ 0252893063902496798258818279133161855941576870234217238345393547580\ 4370430147221686549319695/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483, c_0101_8 - 199908412587398512397091031343024409802099783085146418575147\ 4222606736484389531594159070177430725393017092221544792677503782092\ 01785620788651705442986843/1954760970114428027143654837575837304434\ 4411532578065793261551669408584247236101458443189396096743468165120\ 045751295174837821397600255843791670130029425424483*c_1001_8^24 + 9213125444958708214923024631249696298629018637391259666152976248479\ 9105095669446186946758923720539538875264410699406447356098302940011\ 2223047753430563934/21719566334604755857151720417509303382604901702\ 8645175480683907437873158302623349538257659956630482979612444952792\ 1686093091266400028427087963347781047269387*c_1001_8^23 + 5287061397836856075284651058793008965175082131197380265040555112055\ 8789538406477540980295759107026803846911271334903591843606005964195\ 522971255365754795004/195476097011442802714365483757583730443444115\ 3257806579326155166940858424723610145844318939609674346816512004575\ 1295174837821397600255843791670130029425424483*c_1001_8^22 + 5284466968900348696982321618328895207680370165017296025096852703858\ 4738189044467112734246865070305608703674693522761632066495826461420\ 8935238140050670419057/19547609701144280271436548375758373044344411\ 5325780657932615516694085842472361014584431893960967434681651200457\ 51295174837821397600255843791670130029425424483*c_1001_8^21 + 1355619768634949931285471082595871318709702891479413379368604331732\ 6734087261834968101169375645218399657989015474575718786685399429809\ 97932986186703300573811/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^20 + 5064126797628089530014863951137774592051437017822610904659756237508\ 6869694079676872821759453431442655129106994514213306872809134960633\ 39212055893369228754826/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^19 + 5515052321538002574397883710597145145089388324147041052510999727345\ 3968024424950157944072726907391173918515818417345011771573450136584\ 98184379195221168903538/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483*c_1001_8^18 + 1982541484823953370819602909048025909991520969051713382458176068822\ 0486578174591602418481809040976458968908405356228082076326172380095\ 525651212266420595018950/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^17 + 3102092488494916863588359778266203898217491279797182914134688845738\ 2622030983982753032949620745675774074057031522533144683392593612032\ 872228367558499431359339/195476097011442802714365483757583730443444\ 1153257806579326155166940858424723610145844318939609674346816512004\ 5751295174837821397600255843791670130029425424483*c_1001_8^16 + 1213987259023560877787700809329825703435776551551782972237071451315\ 9415280943664217437444134993215029345246705032802220337974256375823\ 000099798551649473123621/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^15 + 5986538318437228308655302626983794024163072256048711901072102325127\ 9275209616417228595479529181735608561663363542577438925292835100608\ 31710617580947228588684/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^14 + 1462764341177987938317035072439341025299565964980847544312427995127\ 2940606479783333101719647247310219497310752915693846565363956857409\ 8541869703978204850063033/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^13 + 6728091014689518230632541634532180350907586506993896921767238915513\ 2375600892486262989112977655001658889567987281420973376496628378097\ 136986635963994932496429/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^12 + 6553165256312034626323144138449084388479901594216581619522819959877\ 7924464957135052291654205652845560093427473113663797020514044354431\ 19507314281052603322141/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^11 - 1003339801997436028519471035252996760397979176046010655069032759122\ 3431214394310074490321980047603912285113831592709808026670024610040\ 3147200348227384287135063/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^10 - 7890428031410020286285140250741820839153226315759843080717648965192\ 2756734612680189799373794969983935459541639584578891696543918425037\ 9849656265826045537491/29752830595348980626235233448642881346034111\ 9217322158192717681421744052469347054161996794461137647917277321853\ 13995699905359813699019549150182846315716019*c_1001_8^9 - 8107641213785085496308180003782990244706902059648406115857571332707\ 8310569763767509415654819653778405342237032828198592472077781424045\ 207549077154110673697466/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^8 + 2602293412116112517086347290419944348536139189726185648726705474307\ 5422353760947148093163727844667907942957986250988778621298015826040\ 6562199115103794576616814/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^7 + 3934838740345134522908841738438872191753015344042895498653014380752\ 7482730993233252257086703012976576072989303474140110593653388898657\ 6163973333673440133343687/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^6 + 1106976474140854724446647335525150257457068465997280477439840682344\ 4659776475713814937752167379179226686125824333517327339894327961492\ 2257612991289105507915532/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^5 - 1240404895339897638711665635745602651144659555696103288975057748585\ 8896039982331870843081184932139631243474535699833133788880980585326\ 8001118163146382631794648/19547609701144280271436548375758373044344\ 4115325780657932615516694085842472361014584431893960967434681651200\ 45751295174837821397600255843791670130029425424483*c_1001_8^4 - 1053862128042621179808401454977637802387936767805311230611482728224\ 7433595986039487617423962040885669884022391300992352416861980312839\ 142220712635429016183166/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8^3 - 5088290518913668258965946980485864546630995776876337880392604304777\ 2228968516642059721105993709472833442598074173196530701975577306891\ 5763105142020172009695/65158699003814267571455161252527910147814705\ 1085935526442051722313619474907870048614772979869891448938837334858\ 3765058279273799200085281263890043343141808161*c_1001_8^2 + 3031359432672864255423476698766371647487614667898317049342041331067\ 8330201555027408599499969675117905047225927600963446005103020858023\ 13331114185923207697609/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8 + 3877387507726728111208925247704763629113773387462276857308571621726\ 8983408110990608302862891065047418625641303441909151657992346767255\ 15894589113872405708015/1954760970114428027143654837575837304434441\ 1532578065793261551669408584247236101458443189396096743468165120045\ 751295174837821397600255843791670130029425424483, c_1001_0 - 175876535467241491468278665267162129208953810136395119284295\ 7848278974064710726709705984643846118122868750914348943726824688372\ 552504458921687090450571123/651586990038142675714551612525279101478\ 1470510859355264420517223136194749078700486147729798698914489388373\ 348583765058279273799200085281263890043343141808161*c_1001_8^24 + 2430569565571166551489215677073774913939177242800992950785922001459\ 2224225437746808492940558212756885946065072924419725344467573622358\ 094963744284357865958/217195663346047558571517204175093033826049017\ 0286451754806839074378731583026233495382576599566304829796124449527\ 921686093091266400028427087963347781047269387*c_1001_8^23 + 4666904906917218389902148485999353957114458881307295216983081781544\ 6611120370986399195315398368816249573563857354145044283991324542010\ 7960087373684145901944/65158699003814267571455161252527910147814705\ 1085935526442051722313619474907870048614772979869891448938837334858\ 3765058279273799200085281263890043343141808161*c_1001_8^22 + 4650727029430789069705807653850590662551036269900291117860203788420\ 1214652512731596732173011189910167016281159451449599407476591771912\ 12562282967940916978512/6515869900381426757145516125252791014781470\ 5108593552644205172231361947490787004861477297986989144893883733485\ 83765058279273799200085281263890043343141808161*c_1001_8^21 + 1197617231240489183458760783338899815195522632534586424225625551697\ 4478282557571754671150438134087387663550158316143561163598869219074\ 986777067836131899782723/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^20 + 4435785534319708051535334532130271975067117603925347471519761093552\ 2809015841702845977692163322015893541130920879195451989926382373118\ 436421986540131752563888/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^19 + 4857092309016866019431134748912925032752784002082560863364050358332\ 6128516247476100234113550701895428782330300282026588900584690940606\ 129308156068746634701407/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161*c_1001_8^18 + 1713676660916780647583509245713664069770862047909357205690411320459\ 5213920513177778046433450581747530115498383770070225054700029002282\ 3535254412278688692502229/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^17 + 2743736725021085215983732760583767367187751642713527433247589893301\ 3464040430748988335427197601515429492016083523364998159654889473695\ 4082252987431376872203462/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^16 + 1021846230201877660639263383430387480777449569412697180833509425412\ 6350467829945632173634677183343952757798706805351040847609764072504\ 9342724793793464302518584/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^15 + 1560421189122476706057713174410673888828036719919718192780841698273\ 1650224490121749275016516064452828981532669083944267906700677935234\ 6751489065412933071362817/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^14 + 1260115374015771834399980755952016047347603050598229827679868729776\ 4517100650564467014742848504927206054745300585025798749041726052571\ 23730426545055607920217222/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^13 + 5875038086778820455636970656786300060347498758296176915481332413100\ 4665299883216866257114582271542541569903834548037313527081174907029\ 6211030601517924802880525/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^12 + 1475689655836707682059916541688657660555081457693665281187911397027\ 5855724439713502716626895761324020902592513307736290571942130385959\ 6784873496663511620438642/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^11 - 9240156046092730675703952497872926771461176413285843366246692549096\ 9647585416396941524509072741585658916792601822811537662974557886595\ 4485199612610844777504635/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^10 - 2121955143189126472031077196818504746659831770148340165658920539772\ 1692890976876483730512726993747549363494130696735484790521196602323\ 313075755048421080256632/297528305953489806262352334486428813460341\ 1192173221581927176814217440524693470541619967944611376479172773218\ 5313995699905359813699019549150182846315716019*c_1001_8^9 - 6931881592801898584408945419411662078664749363011993622335414145077\ 7186823010009243219706095299637803577722681616423603376380443580967\ 2979385950274071666982782/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^8 + 2467758326391041387033957646719844065182330390522483374757367376129\ 4700751137115469806322537674744021839368984407183619348008599712086\ 02363597233674182883964343/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^7 + 3603613260394062902827672296123071550515859748908119401227517432096\ 2532990992421604042519574165700407242781111170057976645182540707779\ 05149721859158790404271469/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^6 + 9801946515798981669793388038411969403430142344193512343308852481602\ 6976978396964874132800958309911428257330290555042916219931429873980\ 7459168899978054008298304/65158699003814267571455161252527910147814\ 7051085935526442051722313619474907870048614772979869891448938837334\ 8583765058279273799200085281263890043343141808161*c_1001_8^5 - 1165862771246651405742079500488235385895124690290532462462492319865\ 9840971460687623352849373719467677011482453164861674921888594441038\ 67341997202107152769365271/6515869900381426757145516125252791014781\ 4705108593552644205172231361947490787004861477297986989144893883733\ 48583765058279273799200085281263890043343141808161*c_1001_8^4 - 2949627585621291158949605339784222416088837121981915133269868263019\ 4332704817036409845957159665156490187118557328783412801361140601522\ 9400265724184886206697734/21719566334604755857151720417509303382604\ 9017028645175480683907437873158302623349538257659956630482979612444\ 9527921686093091266400028427087963347781047269387*c_1001_8^3 - 4320619063124938926668025697266940383780910817337226808162670541189\ 0768496937720741995633847240604002421026454253288197864890375971165\ 33551707682101293351856/2171956633460475585715172041750930338260490\ 1702864517548068390743787315830262334953825765995663048297961244495\ 27921686093091266400028427087963347781047269387*c_1001_8^2 + 5528321555440546095698025809423383305531361308299087349559611389201\ 9573232470300945791355535644318040403363850369464324328389799870826\ 235381666904553880234435/217195663346047558571517204175093033826049\ 0170286451754806839074378731583026233495382576599566304829796124449\ 527921686093091266400028427087963347781047269387*c_1001_8 + 3685294884539980819911348793765649196871499014817218832549711181775\ 7681633696225304720257518748941500597606806980830129390837312794210\ 782760570451803394495170/651586990038142675714551612525279101478147\ 0510859355264420517223136194749078700486147729798698914489388373348\ 583765058279273799200085281263890043343141808161, c_1001_8^25 - 773/19*c_1001_8^24 - 107396/361*c_1001_8^23 - 1028668/361*c_1001_8^22 - 3196396/361*c_1001_8^21 - 10995040/361*c_1001_8^20 - 16963389/361*c_1001_8^19 - 42695297/361*c_1001_8^18 - 83096574/361*c_1001_8^17 - 105614288/361*c_1001_8^16 - 142547163/361*c_1001_8^15 - 329668775/361*c_1001_8^14 - 556836032/361*c_1001_8^13 - 361799850/361*c_1001_8^12 + 515674437/361*c_1001_8^11 + 1415905755/361*c_1001_8^10 + 1178090967/361*c_1001_8^9 - 188273612/361*c_1001_8^8 - 1164878965/361*c_1001_8^7 - 804197374/361*c_1001_8^6 + 75156050/361*c_1001_8^5 + 376605202/361*c_1001_8^4 + 155544303/361*c_1001_8^3 - 27266298/361*c_1001_8^2 - 34479655/361*c_1001_8 - 6907039/361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.740 Total time: 2.940 seconds, Total memory usage: 32.09MB