Magma V2.19-8 Wed Aug 21 2013 00:46:37 on localhost [Seed = 745158713] Type ? for help. Type -D to quit. Loading file "K14n7535__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7535 geometric_solution 11.64671514 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662336333913 0.895888705971 0 3 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487314826268 0.810989455174 7 0 8 5 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -4 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.047980136649 0.811276857736 9 1 8 0 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.317446257218 1.036067655192 9 7 0 5 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835175258831 0.680648019533 6 2 1 4 1302 1302 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985533571317 0.930953333301 9 5 10 1 2031 2031 0132 0132 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 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487038261987 0.643112447897 2 4 10 11 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636213911475 0.541406422659 11 12 3 2 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.391114223046 0.413880005473 3 4 6 12 0132 1023 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623349240224 0.458460103674 11 12 7 6 3201 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614183113381 0.611641711643 8 12 7 10 0132 0213 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.579887679269 0.493881951708 10 8 11 9 1023 0132 0213 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.552531266917 0.798000898483 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : d['c_0110_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : d['c_0101_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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : d['c_1010_5'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_1001_7'], 'c_1100_1' : d['c_1001_7'], 'c_1100_0' : d['c_1010_5'], 'c_1100_3' : d['c_1010_5'], 'c_1100_2' : negation(d['c_1010_5']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : d['c_0110_12'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_1010_5']), 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['c_0101_6']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0110_12'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0110_12']), 'c_0110_4' : d['c_0110_12'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1'], '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_5, c_0011_6, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_6, c_0110_12, c_1001_11, c_1001_7, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1528462719237842717031884649965414159680709910330764318065261591420\ 64180456813116884910001/1202551108012190691835553931268233012112379\ 05343982690177009481623675870335988064313984226*c_1010_5^22 + 7981219259011441359049659851965628966940245835148688296945041383055\ 84914185783047390556219/6012755540060953459177769656341165060561895\ 2671991345088504740811837935167994032156992113*c_1010_5^21 + 1074163973006339762636286506628448325732705405439181887472493438264\ 8019006312072125050067037/12025511080121906918355539312682330121123\ 7905343982690177009481623675870335988064313984226*c_1010_5^20 + 1908378723099242365311371819778736601157137290487185213369986393770\ 4960977229617413527561385/40085036933739689727851797708941100403745\ 968447994230059003160541225290111996021437994742*c_1010_5^19 + 2361577797562253591920542435428302656886893582620555808085807612033\ 25118134330611891502581459/1202551108012190691835553931268233012112\ 37905343982690177009481623675870335988064313984226*c_1010_5^18 + 2485503149790042272063347378297195953447147874131619072758194785801\ 50591260455691606502801349/4008503693373968972785179770894110040374\ 5968447994230059003160541225290111996021437994742*c_1010_5^17 + 6032409219963775059390575904945949571942943522093447258826859182230\ 53474165352889871518194751/4008503693373968972785179770894110040374\ 5968447994230059003160541225290111996021437994742*c_1010_5^16 + 1858308537176162685515360756538066680739119689053015984285903147726\ 20487791076225639511700158/6680839488956614954641966284823516733957\ 661407999038343167193423537548351999336906332457*c_1010_5^15 + 7445707147299049752527436223195577716675644665923778936420209495650\ 15735047710077757558782259/2004251846686984486392589885447055020187\ 2984223997115029501580270612645055998010718997371*c_1010_5^14 + 1804129322056647090846064747166619444147136592844766238712202375386\ 373729090391436968377696190/601275554006095345917776965634116506056\ 18952671991345088504740811837935167994032156992113*c_1010_5^13 + 9716991715368516504825435236711529494923393978790231444659507674157\ 5309680579639081631072695/60127555400609534591777696563411650605618\ 952671991345088504740811837935167994032156992113*c_1010_5^12 - 1108900187592248323477440203807180900815163065264573078573515777589\ 500962243951284222854275459/400850369337396897278517977089411004037\ 45968447994230059003160541225290111996021437994742*c_1010_5^11 - 1400872464923272349256109589395623010317012391004976084739687674300\ 19951069390114340056832134/6680839488956614954641966284823516733957\ 661407999038343167193423537548351999336906332457*c_1010_5^10 + 4518453086401096656558275396785896258682187959826368400279667658141\ 241391589066787195313370301/120255110801219069183555393126823301211\ 237905343982690177009481623675870335988064313984226*c_1010_5^9 + 6932585155111099820180780166163313053823838934937538284568909771496\ 724648028925940341043092777/601275554006095345917776965634116506056\ 18952671991345088504740811837935167994032156992113*c_1010_5^8 + 1393725280936860271776415153593514954885747398447482749202848975589\ 45627467687043415401643056/8974262000090975312205626352748007553077\ 45562268527538634399116594596047283493017268539*c_1010_5^7 + 5406605388326456405325852487885491149540785112687676525691003500170\ 129209487864574264718499917/400850369337396897278517977089411004037\ 45968447994230059003160541225290111996021437994742*c_1010_5^6 + 9812425553579049912215509979210528816360859310512579789146694406814\ 691600420009015527235225823/120255110801219069183555393126823301211\ 237905343982690177009481623675870335988064313984226*c_1010_5^5 + 2118332824756220922980403660540046144703872232695148460082731836090\ 07855547256344190196160493/6329216357958898378081862796148594800591\ 468702314878430368920085456624754525687595472854*c_1010_5^4 + 8636246499752488043377312467514012616476912639240495390399259236290\ 02040739091079592093876735/1202551108012190691835553931268233012112\ 37905343982690177009481623675870335988064313984226*c_1010_5^3 - 8007573864137267988263575803044981522860541733225310405721271736956\ 011073283825154372121607/632921635795889837808186279614859480059146\ 8702314878430368920085456624754525687595472854*c_1010_5^2 - 7186763027294220932576181537207793063876682645358525528056196108478\ 190951317473398739674675/414672795866272652357087562506287245555992\ 7770482161730241706262885374839172002217723594*c_1010_5 - 1032479079682576776535738551013609005871536465675331287837421055720\ 1511357066763591932229326/20042518466869844863925898854470550201872\ 984223997115029501580270612645055998010718997371, c_0011_0 - 1, c_0011_10 - 54544107175912552987185185797382834201001460152312872946830\ 249/240345758762206545566912607616925536266770461615856121403598615\ 4*c_1010_5^22 - 540238508744516571487937695808901157381882876411099\ 654052992967/240345758762206545566912607616925536266770461615856121\ 4035986154*c_1010_5^21 - 354421585131265120954207580572917633647747\ 8019875371486222200153/24034575876220654556691260761692553626677046\ 16158561214035986154*c_1010_5^20 - 6168579349323292605731279360789767486571125368318847862106656533/80\ 1152529207355151889708692056418454222568205386187071345328718*c_101\ 0_5^19 - 7410511177542126749153112261396818793474010851483824988071\ 9872297/24034575876220654556691260761692553626677046161585612140359\ 86154*c_1010_5^18 - 74913313940176305755893804721787446306283281950\ 055424398153051617/801152529207355151889708692056418454222568205386\ 187071345328718*c_1010_5^17 - 1722195502651076953745747612221300601\ 55421351408695305010113223301/8011525292073551518897086920564184542\ 22568205386187071345328718*c_1010_5^16 - 48979340147918442802944461722832120375360399295814352032074438436/1\ 33525421534559191981618115342736409037094700897697845224221453*c_10\ 10_5^15 - 169362940097695854657377525679681058600688171571264316328\ 106941941/400576264603677575944854346028209227111284102693093535672\ 664359*c_1010_5^14 - 2531472506471768727231765685575540768269667669\ 34530284117285704250/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^13 + 2943380402054460110460228015700203\ 54133084094951313940796266124836/1201728793811032727834563038084627\ 681333852308079280607017993077*c_1010_5^12 + 212894218509890860782812714239019288573106737729783297155852157890/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 + 18766325133821143858901279897730171527510278932148326808\ 937616130/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 - 1076798038926574204879802224212184951706719873\ 568592129252648651652/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^9 - 4329396169162525361924513617217062\ 748114835755862872912425322878007/240345758762206545566912607616925\ 5362667704616158561214035986154*c_1010_5^8 - 4298926742300621998781240938105639734428826694975225636456111737157\ /2403457587622065455669126076169255362667704616158561214035986154*c\ _1010_5^7 - 7804322790077212874095501736858095933825322301599439074\ 10571376401/8011525292073551518897086920564184542225682053861870713\ 45328718*c_1010_5^6 - 198022817006028712811354021877213830498853485\ 647869497061024161651/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^5 + 1654779107544890774534106861933644\ 77949024632432276483253352082712/1201728793811032727834563038084627\ 681333852308079280607017993077*c_1010_5^4 + 102147877536442768834716644637949306913665122307791679670604083491/\ 1201728793811032727834563038084627681333852308079280607017993077*c_\ 1010_5^3 + 54328946212871207436160094582040882293023354116082315956\ 68924377/2403457587622065455669126076169255362667704616158561214035\ 986154*c_1010_5^2 - 27828041779946604967722995889324081580819752466\ 651188263020605575/240345758762206545566912607616925536266770461615\ 8561214035986154*c_1010_5 - 190445738154332516193271848700221227294\ 5707479244054360231983965/80115252920735515188970869205641845422256\ 8205386187071345328718, c_0011_5 - 296979724680487873776618542842983801653593916710816042827942\ 41/2403457587622065455669126076169255362667704616158561214035986154\ *c_1010_5^22 - 3579971960827963007491455652088354598711359180779909\ 92173089199/2403457587622065455669126076169255362667704616158561214\ 035986154*c_1010_5^21 - 2539902612507848703899913072765981061968196\ 855140941202318337751/240345758762206545566912607616925536266770461\ 6158561214035986154*c_1010_5^20 - 467305287110061007752267938369104\ 4450245040409933841476883133659/80115252920735515188970869205641845\ 4222568205386187071345328718*c_1010_5^19 - 60700828249731200961435309643016010784841401697315902211359085383/2\ 403457587622065455669126076169255362667704616158561214035986154*c_1\ 010_5^18 - 67474738074155658697040207954038778403573974645984009539\ 170625669/801152529207355151889708692056418454222568205386187071345\ 328718*c_1010_5^17 - 1728467229623739872171875558617948960923536891\ 92020255627900271601/8011525292073551518897086920564184542225682053\ 86187071345328718*c_1010_5^16 - 56112624691217461031243778888580859\ 237367667880550063331576288951/133525421534559191981618115342736409\ 037094700897697845224221453*c_1010_5^15 - 237204199531717517487089124651708118461828973572714336947262101539/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^14 - 60526998247363291271602627500102158055855835251984701002\ 8512483990/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^13 - 10707435722304009778497371024010610383032631\ 175520070658371218165/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^12 + 238708217577233710385597233462888\ 536885021525471984824022423911683/400576264603677575944854346028209\ 227111284102693093535672664359*c_1010_5^11 + 78545442926037782007614973938820815089944544446839709641404154350/1\ 33525421534559191981618115342736409037094700897697845224221453*c_10\ 10_5^10 - 561300700317820063133513057872852922093512052828340157860\ 366559204/120172879381103272783456303808462768133385230807928060701\ 7993077*c_1010_5^9 - 4796297792369442068290804392486918513562436658\ 659257988859990028097/240345758762206545566912607616925536266770461\ 6158561214035986154*c_1010_5^8 - 6595458097473232986778101547716040\ 272352462712984498602906247022493/240345758762206545566912607616925\ 5362667704616158561214035986154*c_1010_5^7 - 1692492154333575254783545482844334568744021506834611346281013359807\ /801152529207355151889708692056418454222568205386187071345328718*c_\ 1010_5^6 - 99563253591361056395845822722736675210938629780928985236\ 0860633867/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^5 + 357380841133048613313543770686285534400419382\ 53643685692719320170/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^4 + 22671218727262406976414812240780289\ 3755213732951006166386345981125/12017287938110327278345630380846276\ 81333852308079280607017993077*c_1010_5^3 + 141609514010918316248603163914238265495327019546964509188249815931/\ 2403457587622065455669126076169255362667704616158561214035986154*c_\ 1010_5^2 - 38214576912443853325704914478994073139395932619717609805\ 184236263/240345758762206545566912607616925536266770461615856121403\ 5986154*c_1010_5 - 947171208417818914641130894169307764679969237457\ 2418647135976045/80115252920735515188970869205641845422256820538618\ 7071345328718, c_0011_6 + 405319421127945682614788043833257442463852412918687377348936\ 65/2403457587622065455669126076169255362667704616158561214035986154\ *c_1010_5^22 + 4114856408623311387309708806724279212067700401700996\ 57944326207/2403457587622065455669126076169255362667704616158561214\ 035986154*c_1010_5^21 + 2731571425940192866846645117035137138450268\ 330336553804162565975/240345758762206545566912607616925536266770461\ 6158561214035986154*c_1010_5^20 + 479548398177118912431242628456750\ 8636586763573495207537262320675/80115252920735515188970869205641845\ 4222568205386187071345328718*c_1010_5^19 + 58358321558699853742004053932800924835682187804898286866071369425/2\ 403457587622065455669126076169255362667704616158561214035986154*c_1\ 010_5^18 + 60012441690140138550331625602082583346264809800105778600\ 202521319/801152529207355151889708692056418454222568205386187071345\ 328718*c_1010_5^17 + 1409410449928287279189993903501273713546217971\ 29438423965631788637/8011525292073551518897086920564184542225682053\ 86187071345328718*c_1010_5^16 + 41261697849677447596338763516084353\ 979698731178226820579726783743/133525421534559191981618115342736409\ 037094700897697845224221453*c_1010_5^15 + 150064502273497141609109783535079176037334812699520922231935726419/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^14 + 26778585868765641952862201679617476632773227123619957915\ 4470498009/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^13 - 18618569440120465014891230051143106961128557\ 6568398461062859611254/12017287938110327278345630380846276813338523\ 08079280607017993077*c_1010_5^12 - 177022305093456364778581891612329564360768537254710100249864991550/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 - 25065043622118463618831266945371799302819504589669376436\ 258493028/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 + 7923788463519630792677750531037684390281327286\ 08404362447134846203/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^9 + 36066220726020915215895854432758242\ 34735675291896553540706338846241/2403457587622065455669126076169255\ 362667704616158561214035986154*c_1010_5^8 + 3894226606265003743095576376423636343987060089943234533618408091953\ /2403457587622065455669126076169255362667704616158561214035986154*c\ _1010_5^7 + 7955796891929745990226786972487997144397334657011231610\ 62423865461/8011525292073551518897086920564184542225682053861870713\ 45328718*c_1010_5^6 + 312697199145277687265577728271523792674813027\ 389895096763335217070/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^5 - 9495460036118138110504584145209673\ 7791179671450307669897968300795/12017287938110327278345630380846276\ 81333852308079280607017993077*c_1010_5^4 - 95817792051017339940832409280624633194215989144176539433497415602/1\ 201728793811032727834563038084627681333852308079280607017993077*c_1\ 010_5^3 - 272250114864462384606172637790113579255219433841713594834\ 42677539/2403457587622065455669126076169255362667704616158561214035\ 986154*c_1010_5^2 + 22189078996482262139940396738686094329154857898\ 561117897341877809/240345758762206545566912607616925536266770461615\ 8561214035986154*c_1010_5 + 251135606050741972452132432659317546191\ 2154684978991357816840363/80115252920735515188970869205641845422256\ 8205386187071345328718, c_0101_1 + 164327003999777127788084959218164990783329300317777701566884\ 85/2403457587622065455669126076169255362667704616158561214035986154\ *c_1010_5^22 + 1507616684106330604601245042659592124940624482659727\ 53875662869/2403457587622065455669126076169255362667704616158561214\ 035986154*c_1010_5^21 + 9496930573755314299085412073756689187839922\ 57132439243295281305/2403457587622065455669126076169255362667704616\ 158561214035986154*c_1010_5^20 + 1603857991289741246500040717951066\ 815898513437496171947084902215/801152529207355151889708692056418454\ 222568205386187071345328718*c_1010_5^19 + 18370983949948673760710800361141507639461667492187630466592392451/2\ 403457587622065455669126076169255362667704616158561214035986154*c_1\ 010_5^18 + 17355673985507939127349879642996105913375581166822174233\ 922352545/801152529207355151889708692056418454222568205386187071345\ 328718*c_1010_5^17 + 3640331994000769249005905770390198617622496391\ 7500867536143988009/80115252920735515188970869205641845422256820538\ 6187071345328718*c_1010_5^16 + 900286658636201354493567327935066787\ 2606378621872931385856893743/13352542153455919198161811534273640903\ 7094700897697845224221453*c_1010_5^15 + 22903521584263662891824774984736634478490727423474513560260479277/4\ 00576264603677575944854346028209227111284102693093535672664359*c_10\ 10_5^14 - 125045898092488813384196433559540338828091165200538295791\ 03046597/1201728793811032727834563038084627681333852308079280607017\ 993077*c_1010_5^13 - 1162748614133343354632033416071514118234024887\ 39582545285320394059/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^12 - 3785322061019178689467966526300147\ 9418653988351888152847988163756/40057626460367757594485434602820922\ 7111284102693093535672664359*c_1010_5^11 + 7707714694242417586219560760623806948255065634591697882656962741/13\ 3525421534559191981618115342736409037094700897697845224221453*c_101\ 0_5^10 + 3185461384786079203114684108275722548319099765250438135115\ 45438589/1201728793811032727834563038084627681333852308079280607017\ 993077*c_1010_5^9 + 80427979219495386029604791347515898515305821019\ 3660337632668708045/24034575876220654556691260761692553626677046161\ 58561214035986154*c_1010_5^8 + 470735368384853831043573531180049493\ 737779953015951585947913152115/240345758762206545566912607616925536\ 2667704616158561214035986154*c_1010_5^7 + 3669738462283181289112749622648144741694807730462485860014095843/80\ 1152529207355151889708692056418454222568205386187071345328718*c_101\ 0_5^6 - 87783073202004346946163971372791178933050680709825305275775\ 815252/120172879381103272783456303808462768133385230807928060701799\ 3077*c_1010_5^5 - 5192382326168578736961677546950735637891215764358\ 8479612317377559/12017287938110327278345630380846276813338523080792\ 80607017993077*c_1010_5^4 - 430037580367054684264871478830701941930\ 600813927230440106317049/120172879381103272783456303808462768133385\ 2308079280607017993077*c_1010_5^3 + 19479747900706744655309368471397739655872473436552497748941076631/2\ 403457587622065455669126076169255362667704616158561214035986154*c_1\ 010_5^2 + 501613352208561978685999250411872446496386947446328783867\ 7742975/24034575876220654556691260761692553626677046161585612140359\ 86154*c_1010_5 - 36848820359241038366447746789434573640897365164086\ 0487150925151/80115252920735515188970869205641845422256820538618707\ 1345328718, c_0101_10 - 99452758749046673484042575934898535125518133687570239055550\ 075/240345758762206545566912607616925536266770461615856121403598615\ 4*c_1010_5^22 - 101463634844440205393230024692969638316050538673611\ 0424703208587/24034575876220654556691260761692553626677046161585612\ 14035986154*c_1010_5^21 - 67435826801473486911621589588697107656174\ 12979041750903398817881/2403457587622065455669126076169255362667704\ 616158561214035986154*c_1010_5^20 - 11855917433211550843489071233224623855300259994213201351895755287/8\ 01152529207355151889708692056418454222568205386187071345328718*c_10\ 10_5^19 - 144561456630357873138149560903586166022243216674473723568\ 588894757/240345758762206545566912607616925536266770461615856121403\ 5986154*c_1010_5^18 - 149010383995874103534371563384555594926742030\ 743366508183299869671/801152529207355151889708692056418454222568205\ 386187071345328718*c_1010_5^17 - 3510720570766478526396145190231848\ 67815501349476110065858121886981/8011525292073551518897086920564184\ 54222568205386187071345328718*c_1010_5^16 - 103272060512790428439337235564713580991038498123821400634197223349/\ 133525421534559191981618115342736409037094700897697845224221453*c_1\ 010_5^15 - 37896540422753253823852232097216269036848429003408742166\ 1983561058/40057626460367757594485434602820922711128410269309353567\ 2664359*c_1010_5^14 - 697326256722126448310467246691745484004827254\ 637329953408986827107/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^13 + 429768022017336349267919309120133\ 347445409457681030171745687580408/120172879381103272783456303808462\ 7681333852308079280607017993077*c_1010_5^12 + 438561919361195890946167488914268852975782471100607087140475694503/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 + 67499457746894061176757202408645800651292582612185095597\ 405461573/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 - 1903835659150574301066718423465887493834550220\ 608684277110067770632/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^9 - 8963944713019284332789125682907491\ 583984657899290842286574311689959/240345758762206545566912607616925\ 5362667704616158561214035986154*c_1010_5^8 - 9904262668650191668409482509362017809819619544510936675632473241507\ /2403457587622065455669126076169255362667704616158561214035986154*c\ _1010_5^7 - 2091243383215707357139138802471694188437726269909592764\ 923803449343/801152529207355151889708692056418454222568205386187071\ 345328718*c_1010_5^6 - 88639200289664101025864614411394894565275658\ 2292193846844861111534/12017287938110327278345630380846276813338523\ 08079280607017993077*c_1010_5^5 + 239272525316050616030962470229989\ 338140131808477151883822387747770/120172879381103272783456303808462\ 7681333852308079280607017993077*c_1010_5^4 + 282425424535249941851376924980933350254047513551108459902615771604/\ 1201728793811032727834563038084627681333852308079280607017993077*c_\ 1010_5^3 + 10784342189772875934293671955729654195223935035440875033\ 7867703885/24034575876220654556691260761692553626677046161585612140\ 35986154*c_1010_5^2 - 575018317928729868422984299214438956876039872\ 52501411278324220451/2403457587622065455669126076169255362667704616\ 158561214035986154*c_1010_5 - 8720796023687114579521851158915144885\ 812689029146792360095818941/801152529207355151889708692056418454222\ 568205386187071345328718, c_0101_11 + 35257183371385087054654857621528811056008031898954798419128\ 053/240345758762206545566912607616925536266770461615856121403598615\ 4*c_1010_5^22 + 345396888294002393608185017956587171539584230694692\ 703203700255/240345758762206545566912607616925536266770461615856121\ 4035986154*c_1010_5^21 + 225466088478533877113823983912860801964935\ 4444596026943453272685/24034575876220654556691260761692553626677046\ 16158561214035986154*c_1010_5^20 + 3911838378057687467554812274030120094081494788574316246293272143/80\ 1152529207355151889708692056418454222568205386187071345328718*c_101\ 0_5^19 + 4675465600261722156690947924169970538547503280547561404744\ 2734577/24034575876220654556691260761692553626677046161585612140359\ 86154*c_1010_5^18 + 46966888187350122508061302997499684869526402049\ 615730489980067333/801152529207355151889708692056418454222568205386\ 187071345328718*c_1010_5^17 + 1072543421595345983628097746502437338\ 28803419188291079955232605423/8011525292073551518897086920564184542\ 22568205386187071345328718*c_1010_5^16 + 30285542045236286823496790626085342579033480937767536939442894462/1\ 33525421534559191981618115342736409037094700897697845224221453*c_10\ 10_5^15 + 103798007964190800980532225025547910011009990371575665755\ 594917083/400576264603677575944854346028209227111284102693093535672\ 664359*c_1010_5^14 + 1526413999278949185138479287574803884936520625\ 82020061908621843542/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^13 - 1787011480100668761215502128487783\ 14681402889110550730731334156583/1201728793811032727834563038084627\ 681333852308079280607017993077*c_1010_5^12 - 125985634082401159902296930755503897403154823384071534237464915016/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 - 94283465203852918208980767741216538027664538823069017135\ 80293415/1335254215345591919816181153427364090370947008976978452242\ 21453*c_1010_5^10 + 66544618577631531185370106216320137526098813273\ 9755721599829109308/12017287938110327278345630380846276813338523080\ 79280607017993077*c_1010_5^9 + 262349368132491725661534067532994932\ 3872648393879955535278808746413/24034575876220654556691260761692553\ 62667704616158561214035986154*c_1010_5^8 + 2607154759224653524582695319341096840961628269684405551416439122345\ /2403457587622065455669126076169255362667704616158561214035986154*c\ _1010_5^7 + 4904590519110905650177058382119294814756026534700521400\ 15657706091/8011525292073551518897086920564184542225682053861870713\ 45328718*c_1010_5^6 + 163399913387094339840686431851233108881734451\ 675282128806178830275/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^5 - 7017714567269133339114517441843320\ 8660298511496935171450003782418/12017287938110327278345630380846276\ 81333852308079280607017993077*c_1010_5^4 - 56312365465329572865946931931825394283685487519905058960395856493/1\ 201728793811032727834563038084627681333852308079280607017993077*c_1\ 010_5^3 - 152143086217534385928311819879045463706850509283697934267\ 51677233/2403457587622065455669126076169255362667704616158561214035\ 986154*c_1010_5^2 + 11738525660219690948098493320200316325531121593\ 109579960996423403/240345758762206545566912607616925536266770461615\ 8561214035986154*c_1010_5 + 124543560066583997000067408571971623229\ 8295049352002251372432047/80115252920735515188970869205641845422256\ 8205386187071345328718, c_0101_3 - 105037946165923790873257724913861531405660018768948798505093\ 349/240345758762206545566912607616925536266770461615856121403598615\ 4*c_1010_5^22 - 108241658516887390799326606248741254255122090662488\ 7587808525413/24034575876220654556691260761692553626677046161585612\ 14035986154*c_1010_5^21 - 72275077208364706941260602734339704598864\ 67143472682415613986431/2403457587622065455669126076169255362667704\ 616158561214035986154*c_1010_5^20 - 12749162837543130443223118765421355237711351232465092030717815545/8\ 01152529207355151889708692056418454222568205386187071345328718*c_10\ 10_5^19 - 156211010854187373053645678486458475667742484993825502653\ 845829611/240345758762206545566912607616925536266770461615856121403\ 5986154*c_1010_5^18 - 162032990202335741568413104982562155792071081\ 082744472316767309715/801152529207355151889708692056418454222568205\ 386187071345328718*c_1010_5^17 - 3846370610381370695617996778366052\ 40729680825155243168212058103031/8011525292073551518897086920564184\ 54222568205386187071345328718*c_1010_5^16 - 114237689159936351839955034152429797214111681492134118772182129467/\ 133525421534559191981618115342736409037094700897697845224221453*c_1\ 010_5^15 - 42566251249048468013751360696034530544787942770582206974\ 6887662079/40057626460367757594485434602820922711128410269309353567\ 2664359*c_1010_5^14 - 817916067781949531265904612823433706745905188\ 958427762908093192898/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^13 + 425689188905187484264008337637003\ 351715661527068927193430894372528/120172879381103272783456303808462\ 7681333852308079280607017993077*c_1010_5^12 + 485506873191279372553736420494639268285042741273967451512443605324/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 + 83118205246679762894296545007656851846288116051060641070\ 908681622/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 - 2014615837584688488502483201640216241121329185\ 423548079900686816300/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^9 - 9911150600816550742130273206708258\ 173034988028731130393646669737449/240345758762206545566912607616925\ 5362667704616158561214035986154*c_1010_5^8 - 1119926342635154942280587779754266373567154008613435050015600688946\ 9/2403457587622065455669126076169255362667704616158561214035986154*\ c_1010_5^7 - 241986122015099560083653808810493770492077910428241401\ 6177581165135/80115252920735515188970869205641845422256820538618707\ 1345328718*c_1010_5^6 - 1078426408083202361508688023747735585278060\ 550703226362600853212007/120172879381103272783456303808462768133385\ 2308079280607017993077*c_1010_5^5 + 236037724677700550592285507922232980426145991676058776838502543086/\ 1201728793811032727834563038084627681333852308079280607017993077*c_\ 1010_5^4 + 31114001932055474160849346504418582385814397081624926173\ 1315568944/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^3 + 118782687630241339158965721374669341530395137\ 355653240352126841091/240345758762206545566912607616925536266770461\ 6158561214035986154*c_1010_5^2 - 6829934187998235684083558672070380\ 6393278023742683549347621190869/24034575876220654556691260761692553\ 62667704616158561214035986154*c_1010_5 - 10053046710069927912634005862100602705650378752687158376821168957/8\ 01152529207355151889708692056418454222568205386187071345328718, c_0101_6 + 245477934901759933808014397574929526513812708411018623743733\ 79/1201728793811032727834563038084627681333852308079280607017993077\ *c_1010_5^22 + 2596658071021739195195353790861552937650981200267727\ 30518295345/1201728793811032727834563038084627681333852308079280607\ 017993077*c_1010_5^21 + 1754183162148340396085196256071839480570287\ 513278845793685872152/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^20 + 312009727446363814056729493869826\ 0648133118530789878988586289744/40057626460367757594485434602820922\ 7111284102693093535672664359*c_1010_5^19 + 38691883786073347326521935229173666818907008809528730216867370735/1\ 201728793811032727834563038084627681333852308079280607017993077*c_1\ 010_5^18 + 40747931538310924463179826388904148487178301491351095014\ 394981670/400576264603677575944854346028209227111284102693093535672\ 664359*c_1010_5^17 + 9847523220844480418515897078671680065955188577\ 2302701324612194558/40057626460367757594485434602820922711128410269\ 3093535672664359*c_1010_5^16 + 598323052764552621525304096527627622\ 08613163324704501984537241786/1335254215345591919816181153427364090\ 37094700897697845224221453*c_1010_5^15 + 230960547852843164241345503189051594893908205544093782900068711776/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^14 + 48742189757188881049309631555894603761642813355148400083\ 4181393125/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^13 - 15655002195075480444684605784775296894591756\ 8995348658270593637213/12017287938110327278345630380846276813338523\ 08079280607017993077*c_1010_5^12 - 252239546786676665509653520981420151935719387873998661872032329182/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 - 53827636398063661992441834186372689124522881387745066216\ 823426748/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 + 9286192486614729413394318537510660198167989955\ 85670551395892066383/1201728793811032727834563038084627681333852308\ 079280607017993077*c_1010_5^9 + 25744738644242621088600456540321040\ 34518269945894202547849848797458/1201728793811032727834563038084627\ 681333852308079280607017993077*c_1010_5^8 + 3084834499447207680161663633993340860831172329282768305791492353605\ /1201728793811032727834563038084627681333852308079280607017993077*c\ _1010_5^7 + 7095684940636666420012972815084812290753927633826643264\ 76710398092/4005762646036775759448543460282092271112841026930935356\ 72664359*c_1010_5^6 + 720126684881449390671652204057807448588923708\ 425603195401014292593/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^5 - 8580029727448441263467458952966900\ 5374222830255877449859523721065/12017287938110327278345630380846276\ 81333852308079280607017993077*c_1010_5^4 - 183149028911982019956193730252532413239241372602492984559469129557/\ 1201728793811032727834563038084627681333852308079280607017993077*c_\ 1010_5^3 - 45559628877878504809870147199162164255920416269830508549\ 925040892/120172879381103272783456303808462768133385230807928060701\ 7993077*c_1010_5^2 + 1767707388659109506464076271274867661384711076\ 5198958571996908932/12017287938110327278345630380846276813338523080\ 79280607017993077*c_1010_5 + 35211838142252082100609458946732645973\ 55365925692593594725633787/4005762646036775759448543460282092271112\ 84102693093535672664359, c_0110_12 + 74078659608642197957463936207480737872880301850437480543679\ 09/89016947689706127987745410228490939358063133931798563482814302*c\ _1010_5^22 + 789862445408113436583170880276959157314453066146353301\ 89227501/8901694768970612798774541022849093935806313393179856348281\ 4302*c_1010_5^21 + 535455236016661900053624124007862770801938631263\ 406619490221547/890169476897061279877454102284909393580631339317985\ 63482814302*c_1010_5^20 + 28643856867344670810866738857317494417614\ 71567877482667743057667/8901694768970612798774541022849093935806313\ 3931798563482814302*c_1010_5^19 + 118819383307407270438478727556895\ 46067128296094518783981452908503/8901694768970612798774541022849093\ 9358063133931798563482814302*c_1010_5^18 + 37705517691396144219966984681177360789119953247443272889059982567/8\ 9016947689706127987745410228490939358063133931798563482814302*c_101\ 0_5^17 + 9159008190384558083372862910647564556449977490329074345329\ 4390325/89016947689706127987745410228490939358063133931798563482814\ 302*c_1010_5^16 + 8399290895559336600839360878725241543285907045347\ 7097356282624499/44508473844853063993872705114245469679031566965899\ 281741407151*c_1010_5^15 + 1090527151063906176224331839331011198244\ 82606885126065137734845598/4450847384485306399387270511424546967903\ 1566965899281741407151*c_1010_5^14 + 78320764766168350198464058707987841380478327021849008958612683827/4\ 4508473844853063993872705114245469679031566965899281741407151*c_101\ 0_5^13 - 2218566115734456344455834975248448786402595965317878541424\ 2142195/44508473844853063993872705114245469679031566965899281741407\ 151*c_1010_5^12 - 1188107314727012850624973181196973553875980053634\ 86530980885096766/4450847384485306399387270511424546967903156696589\ 9281741407151*c_1010_5^11 - 804499006144332806855331970123674918044\ 11425234092699557134458589/4450847384485306399387270511424546967903\ 1566965899281741407151*c_1010_5^10 + 139771652633058743486626472639023540413732243372669353884954592244/\ 44508473844853063993872705114245469679031566965899281741407151*c_10\ 10_5^9 + 8048709014415850724179007166725442863255703912179940564503\ 71701155/8901694768970612798774541022849093935806313393179856348281\ 4302*c_1010_5^8 + 9780842916909711559817827465799298960123203834135\ 84058843246078001/8901694768970612798774541022849093935806313393179\ 8563482814302*c_1010_5^7 + 6809905253201178566008144782113737210395\ 26096917163646494776252811/8901694768970612798774541022849093935806\ 3133931798563482814302*c_1010_5^6 + 114829106857702395055486347801277685422778278239035447043581407928/\ 44508473844853063993872705114245469679031566965899281741407151*c_10\ 10_5^5 - 1578093124779160724031650329314107748468026875217623950194\ 0291450/44508473844853063993872705114245469679031566965899281741407\ 151*c_1010_5^4 - 30685001949665551683626102150819127099607182221845\ 503610628800762/445084738448530639938727051142454696790315669658992\ 81741407151*c_1010_5^3 - 149793462983799659387685773042134011282684\ 87313355227000145403953/8901694768970612798774541022849093935806313\ 3931798563482814302*c_1010_5^2 + 5931543035436990015453022131737965\ 345037090335322852415829705481/890169476897061279877454102284909393\ 58063133931798563482814302*c_1010_5 + 3297142878384506443374231357108060816010033339895345602945108915/89\ 016947689706127987745410228490939358063133931798563482814302, c_1001_11 - 34767824955032660629623552847692850438640539497436383821527\ 681/801152529207355151889708692056418454222568205386187071345328718\ *c_1010_5^22 - 3600177649312424458099307938286816478763763951138978\ 46234838255/8011525292073551518897086920564184542225682053861870713\ 45328718*c_1010_5^21 - 24106766679812706047620191328450706341145851\ 33079745418717903375/8011525292073551518897086920564184542225682053\ 86187071345328718*c_1010_5^20 - 42607121548527581467794386804255081\ 31900517576572275454001373423/2670508430691183839632362306854728180\ 74189401795395690448442906*c_1010_5^19 - 52351689449367106800110876720267689193472798827987784673691703821/8\ 01152529207355151889708692056418454222568205386187071345328718*c_10\ 10_5^18 - 545110991557467319475828972041604786517408446729871372319\ 05909815/2670508430691183839632362306854728180741894017953956904484\ 42906*c_1010_5^17 - 13002602781585989602194583918398319636130351111\ 0013174097031238023/26705084306911838396323623068547281807418940179\ 5395690448442906*c_1010_5^16 - 388664018763760429481854830936049671\ 79283955896229745712577391965/4450847384485306399387270511424546967\ 9031566965899281741407151*c_1010_5^15 - 146339560562908030105648340532329733600206033652030654598009297568/\ 133525421534559191981618115342736409037094700897697845224221453*c_1\ 010_5^14 - 28955617081044569775384170892277552576200183689283889371\ 0643745725/40057626460367757594485434602820922711128410269309353567\ 2664359*c_1010_5^13 + 132212737879531779325332962707851145440814572\ 275731007437168480199/400576264603677575944854346028209227111284102\ 693093535672664359*c_1010_5^12 + 1651307907576869120223903986435154\ 67144077124103880073151227618163/1335254215345591919816181153427364\ 09037094700897697845224221453*c_1010_5^11 + 30518563324143924866722470420322441674626161027613670119095732179/4\ 4508473844853063993872705114245469679031566965899281741407151*c_101\ 0_5^10 - 6594633500458082378828199984641384614756935572076169853979\ 87599777/4005762646036775759448543460282092271112841026930935356726\ 64359*c_1010_5^9 - 336771532496920915066865871460041453520425897065\ 1515986030476909685/80115252920735515188970869205641845422256820538\ 6187071345328718*c_1010_5^8 - 3878437447789723974949876843147118232\ 974992225741628836397660808521/801152529207355151889708692056418454\ 222568205386187071345328718*c_1010_5^7 - 854018974867234789843860495719720462395200713227973720735011518491/\ 267050843069118383963236230685472818074189401795395690448442906*c_1\ 010_5^6 - 391467911079198042033347627833883598134264487636662332887\ 800674660/400576264603677575944854346028209227111284102693093535672\ 664359*c_1010_5^5 + 82133486736079560010449424938170373733001003321\ 273638455393120601/400576264603677575944854346028209227111284102693\ 093535672664359*c_1010_5^4 + 11441601320827650760430215173285431424\ 5041279826101124563601137400/40057626460367757594485434602820922711\ 1284102693093535672664359*c_1010_5^3 + 45763337177237717470069265045772401583399357042095957812202109119/8\ 01152529207355151889708692056418454222568205386187071345328718*c_10\ 10_5^2 - 2463076073152231502509033739538349993153314803266762342852\ 1530189/80115252920735515188970869205641845422256820538618707134532\ 8718*c_1010_5 - 376553335987103868008100447326120812711575770619169\ 6415028506693/26705084306911838396323623068547281807418940179539569\ 0448442906, c_1001_7 - 767171311415038053890985992061312805086755730762164455001460\ 05/2403457587622065455669126076169255362667704616158561214035986154\ *c_1010_5^22 - 7843672172376960569504690257558788381426746096676283\ 09005071855/2403457587622065455669126076169255362667704616158561214\ 035986154*c_1010_5^21 - 5224878363556123644387529871120381372015042\ 994303385280549516213/240345758762206545566912607616925536266770461\ 6158561214035986154*c_1010_5^20 - 920024529139237222872375563413389\ 6342701542073670636002046843331/80115252920735515188970869205641845\ 4222568205386187071345328718*c_1010_5^19 - 112422739641567230594851967553284118057241317121796747577195011557/\ 2403457587622065455669126076169255362667704616158561214035986154*c_\ 1010_5^18 - 1162710349622123800702132343713992077594614325124109869\ 45969397771/8011525292073551518897086920564184542225682053861870713\ 45328718*c_1010_5^17 - 27522497480471960163530351386227412908555019\ 0130481779538434577523/80115252920735515188970869205641845422256820\ 5386187071345328718*c_1010_5^16 - 815104040147211285849776447780391\ 17142800948225652556551173207833/1335254215345591919816181153427364\ 09037094700897697845224221453*c_1010_5^15 - 302707482774105601989359335074280528483798528255596219215286517072/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^14 - 57849393154914104176960225506475658820571184011538055151\ 7770696760/12017287938110327278345630380846276813338523080792806070\ 17993077*c_1010_5^13 + 30420802054964260678096231628092958936675317\ 6540555919970900245005/12017287938110327278345630380846276813338523\ 08079280607017993077*c_1010_5^12 + 343206799903268073578490565266727060714571799455738889197952746239/\ 400576264603677575944854346028209227111284102693093535672664359*c_1\ 010_5^11 + 57860095280617995227608568184523757172820160742723702881\ 780699986/133525421534559191981618115342736409037094700897697845224\ 221453*c_1010_5^10 - 1439468257977209071210935779044136094245429210\ 684403268903932982225/120172879381103272783456303808462768133385230\ 8079280607017993077*c_1010_5^9 - 7043984416917578286801416239296867\ 061689312750557867308510767138725/240345758762206545566912607616925\ 5362667704616158561214035986154*c_1010_5^8 - 7963151366177247514629943494218340755205535798437890174867293801567\ /2403457587622065455669126076169255362667704616158561214035986154*c\ _1010_5^7 - 1728951453223058957819992074653546590157255420563656626\ 846211175255/801152529207355151889708692056418454222568205386187071\ 345328718*c_1010_5^6 - 78183778018041553323659379607525239069281303\ 8519540301527531343951/12017287938110327278345630380846276813338523\ 08079280607017993077*c_1010_5^5 + 164219523381042481805946069827472\ 094956349751282324474813030071616/120172879381103272783456303808462\ 7681333852308079280607017993077*c_1010_5^4 + 226506046724948164570582740211156237750331555015239953332430413389/\ 1201728793811032727834563038084627681333852308079280607017993077*c_\ 1010_5^3 + 91782240164418868156056374852439346247486282498748144954\ 852372811/240345758762206545566912607616925536266770461615856121403\ 5986154*c_1010_5^2 - 5014887413721312666836163923300829334391158145\ 4947554165214772023/24034575876220654556691260761692553626677046161\ 58561214035986154*c_1010_5 - 75759982327275096202382363046537977659\ 19617665773873401240420195/8011525292073551518897086920564184542225\ 68205386187071345328718, c_1010_5^23 + 79/7*c_1010_5^22 + 79*c_1010_5^21 + 3027/7*c_1010_5^20 + 12947/7*c_1010_5^19 + 42795/7*c_1010_5^18 + 109419/7*c_1010_5^17 + 214668/7*c_1010_5^16 + 309522/7*c_1010_5^15 + 40562*c_1010_5^14 + 8360*c_1010_5^13 - 247374/7*c_1010_5^12 - 298026/7*c_1010_5^11 + 158632/7*c_1010_5^10 + 924013/7*c_1010_5^9 + 1418519/7*c_1010_5^8 + 179469*c_1010_5^7 + 651800/7*c_1010_5^6 + 121774/7*c_1010_5^5 - 75298/7*c_1010_5^4 - 53465/7*c_1010_5^3 - 4595/7*c_1010_5^2 + 6807/7*c_1010_5 + 2196/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.860 Total time: 8.060 seconds, Total memory usage: 120.91MB