Magma V2.19-8 Tue Aug 20 2013 23:42:40 on localhost [Seed = 610419046] Type ? for help. Type -D to quit. Loading file "K13a4550__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4550 geometric_solution 10.26514691 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007220336762 0.783749052097 0 4 6 5 0132 0132 0132 0132 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 13 -13 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.039891073677 0.694268699385 6 0 0 3 0132 0132 3120 3201 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -14 0 1 13 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.499911590865 0.247333922792 7 2 0 7 0132 2310 0132 2103 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 1 0 -1 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777976847003 0.722302747744 5 1 8 9 1023 0132 0132 0132 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 -13 -1 14 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.160898484540 0.719790453139 6 4 1 10 1023 1023 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 -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.644800272203 1.233219674195 2 5 7 1 0132 1023 3012 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 14 0 -14 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.902618696904 1.749054626020 3 6 10 3 0132 1230 1230 2103 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 14 -14 0 -1 0 1 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777976847003 0.722302747744 10 10 9 4 0321 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.160898484540 0.719790453139 11 8 4 11 0132 3201 0132 1023 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 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125767905907 0.839924407867 8 8 5 7 0321 3120 0132 3012 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 0 0 14 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.160898484540 0.719790453139 9 11 11 9 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.061391997927 0.548560002607 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_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_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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1001_7']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : negation(d['c_1001_7']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_1001_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], '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_9'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_0101_9, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 28503179610057217408028233808652315146360701208724905642309187/6032\ 5055991700260443953717864150879717602325961837174035452896*c_1001_7\ ^39 + 1017098045300768078437490002516182037254043509273987415195997\ 75/30162527995850130221976858932075439858801162980918587017726448*c\ _1001_7^38 + 106368419530486773472185809265150818582551103568087247\ 3252066025/60325055991700260443953717864150879717602325961837174035\ 452896*c_1001_7^37 + 4023751402810427949851360546377200470896019351\ 442707975605515583/603250559917002604439537178641508797176023259618\ 37174035452896*c_1001_7^36 + 91017112348474237087642093241468276603\ 2855522097738542922609579/43089325708357328888538369902964914084001\ 66140131226716818064*c_1001_7^35 + 2441984697925115231741603282274841227976880117027819331466150899/43\ 08932570835732888853836990296491408400166140131226716818064*c_1001_\ 7^34 + 201503853590339316001403974026894201525292135421441867803671\ 57903/1508126399792506511098842946603771992940058149045929350886322\ 4*c_1001_7^33 + 601088864125715295466630351900206399349845161630227\ 6236978993391/21544662854178664444269184951482457042000830700656133\ 58409032*c_1001_7^32 + 31397096999633133850516778679652343807777201\ 5888473102524545321735/60325055991700260443953717864150879717602325\ 961837174035452896*c_1001_7^31 + 1808393747648155259630406762148284\ 977803166290100252019567128143/208737217964360762781846774616439030\ 164713930663796449949664*c_1001_7^30 + 770379628359241374320005251293643863796611465682155095778520908249/\ 60325055991700260443953717864150879717602325961837174035452896*c_10\ 01_7^29 + 982291307231014802950290549796317437124090367776576654547\ 302535731/603250559917002604439537178641508797176023259618371740354\ 52896*c_1001_7^28 + 60148139196804875876401876526206416062652608096\ 352057931126865481/354853270539413296729139516847946351280013682128\ 4539649144288*c_1001_7^27 + 701182323451009414645187185289372452867\ 276431022297009071576719603/603250559917002604439537178641508797176\ 02325961837174035452896*c_1001_7^26 - 9813559791238248127498699206626313457034597814212789529433107127/35\ 48532705394132967291395168479463512800136821284539649144288*c_1001_\ 7^25 - 929386849094097133001136559623368025820591087166601561128284\ 1841/333287602164089836706926618033982760870731082662083834450016*c\ _1001_7^24 - 219975474599465483510174517802526581943888214402615340\ 520941761523/354853270539413296729139516847946351280013682128453964\ 9144288*c_1001_7^23 - 425994691309501339585719935817410171000609925\ 813302123850172591387/430893257083573288885383699029649140840016614\ 0131226716818064*c_1001_7^22 - 771604221710424341889817818649884740\ 2713815748205848107959759537623/60325055991700260443953717864150879\ 717602325961837174035452896*c_1001_7^21 - 1178257148538335768316666701145424044135402792661860749843876224655\ /8617865141671465777707673980592982816800332280262453433636128*c_10\ 01_7^20 - 292533509002317491582635643953716380237703232480500346074\ 58104893/2534666218138666405208139406056759652000097729488956892245\ 92*c_1001_7^19 - 18591991736477864015385817573389593394269247032155\ 75004643224460023/3016252799585013022197685893207543985880116298091\ 8587017726448*c_1001_7^18 + 250594243588902668750137525561425548790\ 484105739674166571040892533/150812639979250651109884294660377199294\ 00581490459293508863224*c_1001_7^17 + 1528308667779676600903959745548922054100991629273946020612743753831\ /15081263997925065110988429466037719929400581490459293508863224*c_1\ 001_7^16 + 14690071427367309664396369057202787467000531494694970418\ 95569754835/8617865141671465777707673980592982816800332280262453433\ 636128*c_1001_7^15 + 1237284103969884868876183167251807274333254260\ 2523441146814657785353/60325055991700260443953717864150879717602325\ 961837174035452896*c_1001_7^14 + 1191573029482162844640585856439111\ 8520731952071488275657157070913171/60325055991700260443953717864150\ 879717602325961837174035452896*c_1001_7^13 + 250672646264867355403126636463153232738107744900265197301317366477/\ 1630406918694601633620370753085158911286549350319923622579808*c_100\ 1_7^12 + 5474341059533292659942603848221018383242910750471816995020\ 269101951/603250559917002604439537178641508797176023259618371740354\ 52896*c_1001_7^11 + 17575466243445104778396112255535793900804687601\ 23241302306573092949/6032505599170026044395371786415087971760232596\ 1837174035452896*c_1001_7^10 - 919693103259650345534335528910632076\ 479037254541715445685837430161/603250559917002604439537178641508797\ 17602325961837174035452896*c_1001_7^9 - 59279544210525823818844740577992071386594354704319627861693318135/1\ 630406918694601633620370753085158911286549350319923622579808*c_1001\ _7^8 - 566921172250088971967921505058667887213109164736659572804272\ 954099/150812639979250651109884294660377199294005814904592935088632\ 24*c_1001_7^7 - 168106816017448317791466868075290574418565252008967\ 5109075157428951/60325055991700260443953717864150879717602325961837\ 174035452896*c_1001_7^6 - 47862381745477748523053774544960257607527\ 9439077903729259249282633/30162527995850130221976858932075439858801\ 162980918587017726448*c_1001_7^5 - 206258942608161917222798576209980770670524671279227496893123291469/\ 30162527995850130221976858932075439858801162980918587017726448*c_10\ 01_7^4 - 1770473399494420147537899455057712635392333572166926772548\ 0920491/86178651416714657777076739805929828168003322802624534336361\ 28*c_1001_7^3 - 176065991202865773537788284463570012057686058109022\ 34789866422595/6032505599170026044395371786415087971760232596183717\ 4035452896*c_1001_7^2 + 2729604250359236039708183795272444563414177\ 803218144891728393069/603250559917002604439537178641508797176023259\ 61837174035452896*c_1001_7 + 10457892987890345088018525845137840992\ 96012496071862292952347223/6032505599170026044395371786415087971760\ 2325961837174035452896, c_0011_0 - 1, c_0011_10 + 19610815064160284355658650429202575185113224/93031036658643\ 51754489264018579274863592304283*c_1001_7^39 + 571832402656806705363558032521536376430538280/930310366586435175448\ 9264018579274863592304283*c_1001_7^38 + 4313021404923613982472758667275048974529528456/93031036658643517544\ 89264018579274863592304283*c_1001_7^37 + 22209004216640322705566158402169025197877430064/9303103665864351754\ 489264018579274863592304283*c_1001_7^36 + 85635915191322771314476015031073863273618952216/9303103665864351754\ 489264018579274863592304283*c_1001_7^35 + 271146662105285288744322557291316361004189818512/930310366586435175\ 4489264018579274863592304283*c_1001_7^34 + 727840712539612224871295164548622739641932142572/930310366586435175\ 4489264018579274863592304283*c_1001_7^33 + 1703199942908184858467789581457292855420299558792/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 + 3515131875367579959748961995635956649354415741788/93031036658643517\ 54489264018579274863592304283*c_1001_7^31 + 22295905357044019768944558016397193431756961480/3219067012409810295\ 6710256119651470116236347*c_1001_7^30 + 10463067760749992646633623313688356424253346916032/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 + 14880590421218491470192072698744362483987114973664/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 + 1055206617117990644232837487579391708589475039836/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 + 16736895401762379648852478112007012745393306499224/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 + 451355518256421603152519487889596313979978195180/547241392109667750\ 264074354034074991976017899*c_1001_7^25 - 12219613519321467852134851432861264567706494165464/9303103665864351\ 754489264018579274863592304283*c_1001_7^24 - 2553109399357026919964642272589466944227585769348/54724139210966775\ 0264074354034074991976017899*c_1001_7^23 - 81796088196381961245279464222068185896384285463633/9303103665864351\ 754489264018579274863592304283*c_1001_7^22 - 118142672438295819397965566676754567330212141935160/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 - 139297288153797216190019573485623118974657574283987/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 - 7795871600549783130577602092650182533924418540088/54724139210966775\ 0264074354034074991976017899*c_1001_7^19 - 90872148106654948576423392902945962846640287081070/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 18130134708699010620946515287233480154269324895580/9303103665864351\ 754489264018579274863592304283*c_1001_7^17 + 70214355154736092266166751022231060500310064887505/9303103665864351\ 754489264018579274863592304283*c_1001_7^16 + 150755957323020168411395752075816299545125783969112/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 + 200797311385997685406676160153445265332932130887604/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 + 206980362482344425454466362392898310004597861266572/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 + 171314018850714330261801995947798456463205155735800/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 + 109213716101102721004113092020389864378550321544524/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 + 42989756276785353935717210407124083376700728832656/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 - 8368053041828764635124681484386608459254149598200/93031036658643517\ 54489264018579274863592304283*c_1001_7^9 - 35526867332503036713840174989534429425563287916517/9303103665864351\ 754489264018579274863592304283*c_1001_7^8 - 40298866206328117373618563672896786088507201569868/9303103665864351\ 754489264018579274863592304283*c_1001_7^7 - 31395610114627427292422548629443666913492642180291/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 - 18662579515087632228690735597576237469386014852864/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 - 8384507490059144686763624713131885675841164586997/93031036658643517\ 54489264018579274863592304283*c_1001_7^4 - 2661039711915658345118533947847107382932629784680/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 - 423854007557486996089585373189083965681041743114/930310366586435175\ 4489264018579274863592304283*c_1001_7^2 + 60476258828301773338707334066201644223796940596/9303103665864351754\ 489264018579274863592304283*c_1001_7 + 35485540404269207681475649049511707983662291121/9303103665864351754\ 489264018579274863592304283, c_0011_11 - 1694346366777050724042033401783526086916466070/930310366586\ 4351754489264018579274863592304283*c_1001_7^39 - 11712737033712489269746959672114032071005210886/9303103665864351754\ 489264018579274863592304283*c_1001_7^38 - 60455581499939400607800358133260972644910177754/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 - 223658924423121618207230200808429640662052059484/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 695087963414157312382030643055184559553807191546/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 - 1821534833815428803586580301753292050562044720473/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 4192300680713004813698838415553980100623184835570/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 8512545873045732584631277979165653478364614870433/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 - 15387927191133964642985746687003326286276250554648/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 85317010243195565345344100108675434285650417972/3219067012409810295\ 6710256119651470116236347*c_1001_7^30 - 34619118960083974194549462166152593640563093268336/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 41122254511982685404629465168723894756382759239939/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 2210520894050442696133159973402175764474279121286/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 - 15780363688030298276457660692617298234682592272549/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 + 1798787532397784044718967411641092538764699878210/54724139210966775\ 0264074354034074991976017899*c_1001_7^25 + 102404939066370582724726091388172946437843986306813/930310366586435\ 1754489264018579274863592304283*c_1001_7^24 + 11173456459857424314989957442226134692620471140242/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 + 272352072052178539547045948264368592841577249422498/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 320050019835203652134738852405821044908349620195518/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 304636632606610374730448802589835178641438492420734/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 12382535274298257051475158617886502854366543443330/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 + 46141533505519620253821030049291747161873901174437/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 154713838421727470935638741429950467250264736493982/930310366586435\ 1754489264018579274863592304283*c_1001_7^17 - 339440834857349987047823106335029847793467679083119/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 457831426307126147106438426133740386817421283444488/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 478200333233733983951213606106186906424542841714092/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 403381626004332256618374438216706795517809598084664/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 265989547452003361467215601716700384751990407998390/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 114805512629404693795156166608553037560397594532324/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 + 6410638683691024653331138223528361036328170417026/93031036658643517\ 54489264018579274863592304283*c_1001_7^10 + 74655986900316486020676524287595964083347021318380/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 + 91604156038797248545622956621769074194366634688158/9303103665864351\ 754489264018579274863592304283*c_1001_7^8 + 74843266015673019799584871461261864925104002351162/9303103665864351\ 754489264018579274863592304283*c_1001_7^7 + 46780828288575361535071222016020272545872955899442/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 22454293713711467016782846001486026051081032016614/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 7867181245182011966674406530611213242998166963426/93031036658643517\ 54489264018579274863592304283*c_1001_7^4 + 1712896282839339357100318038646521377517457450868/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 + 13996096316566154611605941845075668870050878383/9303103665864351754\ 489264018579274863592304283*c_1001_7^2 - 82763283665326444916033544826063085677312065096/9303103665864351754\ 489264018579274863592304283*c_1001_7 + 1280464678355707096005784294863140153601651589/93031036658643517544\ 89264018579274863592304283, c_0011_3 + 1054721787724082954782654836814853799467464904/9303103665864\ 351754489264018579274863592304283*c_1001_7^39 + 9035988739420823489122701531586899873257950184/93031036658643517544\ 89264018579274863592304283*c_1001_7^38 + 49455138491260558676422788986821730294308429672/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 + 199308547455046067790442104695568509936855638528/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 + 651253709188444240369390438842484310181495485422/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 + 1802785340992886712890062678137618252733763078740/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 + 4336222516892978703171882287122344215768687113762/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 + 9215005892625021403249190147504005022997363295956/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 + 17415769360635559416686829852644469657087431045612/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 + 101394709194120044536306481614533305660314019912/321906701240981029\ 56710256119651470116236347*c_1001_7^30 + 43547588530284950453098280257335354396224963190486/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 + 55894716308809673746322239114796548439179304825976/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 + 3437963845178023395203335768395586758925813082858/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 + 40324053849279479884859465507902015537554045383480/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 - 547360928141691702342360796587715772134897900798/547241392109667750\ 264074354034074991976017899*c_1001_7^25 - 95830908552435654045388979844646255069646654431690/9303103665864351\ 754489264018579274863592304283*c_1001_7^24 - 12532448104256066977796227747442083967534928129004/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 - 338575490489589038132057612659540006379293929972980/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 - 435492853009432564804994866721586748507506727968524/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 - 461151790865127395583022158085360375885478201447803/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 - 22527720442068764898405286824092429282829807969262/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 - 195227900136111099477399831392587477466323387333115/930310366586435\ 1754489264018579274863592304283*c_1001_7^18 + 71602169829145859395754711183218833207374138419566/9303103665864351\ 754489264018579274863592304283*c_1001_7^17 + 354992209416267074723514869251501656385648159396325/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 + 579589426648406271757362756120867830164734828286968/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 + 685526491986666665207028063627082646965894649865512/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 + 650664198368913414293456209436951357031821873975724/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 + 499716449205344499985854849034386762187040398652596/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 + 291011054561414835640129827241219874417540327461598/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 + 91220359723341937964998175028933191341413804206641/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 - 50402361964252419621894900445280874502284920626458/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 - 117154583619536251465718908320042942084926694470995/930310366586435\ 1754489264018579274863592304283*c_1001_7^8 - 121526901525903263213632034862073992181141441554276/930310366586435\ 1754489264018579274863592304283*c_1001_7^7 - 91342310700196935715467402821733640882546513356792/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 - 53748710190768392623231154305647061355459207304546/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 - 24631301896532090935402091639329418466840634858373/9303103665864351\ 754489264018579274863592304283*c_1001_7^4 - 8294074831730727080921569932101995038805510431424/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 - 1723599760019165918041674317020128869652347923551/93031036658643517\ 54489264018579274863592304283*c_1001_7^2 + 5539918381369089445230466652400087841441974556/93031036658643517544\ 89264018579274863592304283*c_1001_7 + 83793153800511841575688343842924923836150570627/9303103665864351754\ 489264018579274863592304283, c_0011_8 + 1, c_0101_1 - 1256300218666807176237930933249677499107300772/9303103665864\ 351754489264018579274863592304283*c_1001_7^39 - 8859890159875617284571466738012009343986170044/93031036658643517544\ 89264018579274863592304283*c_1001_7^38 - 46386430112952765014279111358308814454341834804/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 - 173731872190703665223047530558222667564642896458/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 546010830231738116073521209678000733603901089800/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 - 1444003406641619548099065305608601104070181084344/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 3353990587627749172031248557141156178143257593616/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 6865464787059736695827152313894014925456661328846/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 - 12519334646655259987986783996813270682577697712768/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 70035833285720476354166636260606375022330234650/3219067012409810295\ 6710256119651470116236347*c_1001_7^30 - 28728493239922018231466169656680378033689759684488/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 34631619662119527112648949575080952925072617830592/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 1913631888912639010152345690677898437419381537456/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 - 15510842938734936802635467578651722208313265187352/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 + 1292594216903193408076860097155439370426708462374/54724139210966775\ 0264074354034074991976017899*c_1001_7^25 + 81235823335901341743306665528578388099370531201730/9303103665864351\ 754489264018579274863592304283*c_1001_7^24 + 9101669720229582250581418321207733256058233728658/54724139210966775\ 0264074354034074991976017899*c_1001_7^23 + 225681971064316021086119392634271569047505836098040/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 269318737983139825992921588298480100560960176447196/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 261459293944705043818702780955629202039355658744038/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 11031648310463687743194683003139828788123555269211/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 + 53051440749357612731093057546887670217317539362152/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 115351685173772492304874759808146103960555632390988/930310366586435\ 1754489264018579274863592304283*c_1001_7^17 - 274076449622001485313430199245496113727223838987534/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 380433649622355829714686553553179177222226015721518/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 405563978438607480344234807117074547883728311138076/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 349841175916507685263547173529786955026698197695056/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 237978872326467376365330286493137275487834555615850/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 110824899502414250571102781479463682241045444206835/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 - 5277021605686632472456084968811827573145874597648/93031036658643517\ 54489264018579274863592304283*c_1001_7^10 + 57148607558861776913954759357799384412274274373806/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 + 76112249542494208562857358352039923880746661977426/9303103665864351\ 754489264018579274863592304283*c_1001_7^8 + 64987721514272527124789524135294682902377073473004/9303103665864351\ 754489264018579274863592304283*c_1001_7^7 + 42414558113344142134030182549040044533410955516922/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 21419070463505805385509977506264255797197771216588/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 8196521556933623241873783274700976829508729437494/93031036658643517\ 54489264018579274863592304283*c_1001_7^4 + 2044981482312221018655622049969110967243055999339/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 + 165757099149751105668705429435937344742166637812/930310366586435175\ 4489264018579274863592304283*c_1001_7^2 - 84799961782658112261008479262361439888922847694/9303103665864351754\ 489264018579274863592304283*c_1001_7 - 23775199191321338072263825304928886130415091960/9303103665864351754\ 489264018579274863592304283, c_0101_10 - 2909236444019049981882048607132600776092996628/930310366586\ 4351754489264018579274863592304283*c_1001_7^39 - 19290322505345106634036026762684149057998398268/9303103665864351754\ 489264018579274863592304283*c_1001_7^38 - 98033927286627219135149538899797792465752386772/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 - 353524942266482824804591257344467329384181569792/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 1078911138804828951405267464290535011778836424124/93031036658643517\ 54489264018579274863592304283*c_1001_7^35 - 2765831054219169166502120069114093160960853502474/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 6240665753908272846584509683756038404335831465572/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 12391355434681708963249114191124637701147360511666/9303103665864351\ 754489264018579274863592304283*c_1001_7^32 - 21877616597893544184039354219244510670478688132696/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 117933425330093757027521616998605724461857160720/321906701240981029\ 56710256119651470116236347*c_1001_7^30 - 46189147604066109105508466517943654020274643408704/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 52001919729019238240049947672888261460350487017802/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 2501293961520571604582364067213593747117602404776/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 - 7285742270955638808512772589558964372674684935482/93031036658643517\ 54489264018579274863592304283*c_1001_7^26 + 3531765139395139218538774199624283028098034142928/54724139210966775\ 0264074354034074991976017899*c_1001_7^25 + 157700969597985737721488735867570248516427604326798/930310366586435\ 1754489264018579274863592304283*c_1001_7^24 + 15805623378159402985658909608597898874511171454638/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 + 363081969374654192629756870791386632772921360643756/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 401857189777801039852040674806457367269157142545143/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 352777817996622904352138158834320312364919531502508/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 12000934806921594603939072430701788490933867343494/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 - 22455309137942801763267041842219751755685154132022/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 275330054927007525020895880351928552239867400897329/930310366586435\ 1754489264018579274863592304283*c_1001_7^17 - 484434146432899416675255063368404000043385891006702/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 593244383568965755417676545868212499804797570263270/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 573545297873471571210956857034076212127259546447240/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 445059162868213683094796500787635506872372196084804/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 258082526267376056903625653588788321804557587555240/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 76212731063122195698711103857037555890792815506660/9303103665864351\ 754489264018579274863592304283*c_1001_7^11 + 53141225945268817605786992236261935805091779299210/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 + 112099919025582512038411816021849508819807758666497/930310366586435\ 1754489264018579274863592304283*c_1001_7^9 + 112804713516386307474456116724584780409321498908270/930310366586435\ 1754489264018579274863592304283*c_1001_7^8 + 81317163949744959013159732307919106712998015392412/9303103665864351\ 754489264018579274863592304283*c_1001_7^7 + 45082037402847473174182580452906921526861370055844/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 18159309405462246664639544640861680390920764153585/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 4520558819783732868967003463791196098157980673422/93031036658643517\ 54489264018579274863592304283*c_1001_7^4 + 1115016580962622213653289886582065197619285802/93031036658643517544\ 89264018579274863592304283*c_1001_7^3 - 563321965610338890757426255271452449533956260888/930310366586435175\ 4489264018579274863592304283*c_1001_7^2 - 151717566979584626560174345716248702933593979857/930310366586435175\ 4489264018579274863592304283*c_1001_7 + 19468394105366063073825023004480119647750969104/9303103665864351754\ 489264018579274863592304283, c_0101_11 - 608772000063719269435712148045435574944758198/9303103665864\ 351754489264018579274863592304283*c_1001_7^39 - 5954863828011397404653763438551944230635158326/93031036658643517544\ 89264018579274863592304283*c_1001_7^38 - 34010217364250635982328201185961220361811676178/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 - 143825854173732238749040646659551741057428196660/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 485440906701789311115709009266206554315570559898/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 - 1386181204597631527740914677717530113183267927782/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 3422533000869985432782788469876727177637121316360/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 7456992501307434144972610282629317663221798126362/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 - 14432565322994039431232984036975404379250899547450/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 86099550972734183288641359362507178474293155864/3219067012409810295\ 6710256119651470116236347*c_1001_7^30 - 37968088859833688126939281670475380598450166156912/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 50330876596155707816923688104796248973391231425296/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 3247373089647679379546308724242196887157703760514/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 - 42780271209725004967619978797964854294677184053658/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 - 144445784552941612636823496838189049022645058078/547241392109667750\ 264074354034074991976017899*c_1001_7^25 + 72231570825363622878663283039465241865424124574444/9303103665864351\ 754489264018579274863592304283*c_1001_7^24 + 10468877723114031942973719239827101854443872973742/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 + 296445589744135403222290705902314358972683581923450/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 394848269316564598282292045434357890369182237674382/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 432676275493235191093727821768202521067456484619020/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 22128515139371959981645673197004078527153837700290/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 + 214599932540738639375145490842803250663045494327894/930310366586435\ 1754489264018579274863592304283*c_1001_7^18 - 28655893846760996025441949464438092459009457391894/9303103665864351\ 754489264018579274863592304283*c_1001_7^17 - 298030219337981390719917530356257709215963187548940/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 521406471906333581908719704436889810837595782853948/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 637805672945341126583111438305937110155805534840552/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 619813696225388148281509979603062237448520819238232/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 485817595783173361407543909211446050259052907507792/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 289384791231943854492018871249457891391536088307068/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 - 95819231689577901899945599960186860571602836777809/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 + 44448576023328644061759292808670576843208166229662/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 + 112009618115229207743750466015021282055963522995799/930310366586435\ 1754489264018579274863592304283*c_1001_7^8 + 117657482161374019995995491713351102273959483570856/930310366586435\ 1754489264018579274863592304283*c_1001_7^7 + 88348420357248157467559106149360448631231209447826/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 51449635029638713510637416304719910744894162210926/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 23048196372704949169087856992928544604345181877337/9303103665864351\ 754489264018579274863592304283*c_1001_7^4 + 7423336963826416208686362834548041805776562985212/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 + 1374269851941607606359399862504684563689646052243/93031036658643517\ 54489264018579274863592304283*c_1001_7^2 - 70025248700549578126181220197365305745081600596/9303103665864351754\ 489264018579274863592304283*c_1001_7 - 84675021291635258509791310206196609623008045349/9303103665864351754\ 489264018579274863592304283, c_0101_6 + 988933158516115903876704631550586949232400264/93031036658643\ 51754489264018579274863592304283*c_1001_7^39 + 9132666717139923995647034703516152885886243944/93031036658643517544\ 89264018579274863592304283*c_1001_7^38 + 51605296913909898126685589083553912604687641294/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 + 214863914967370759495276022180173618433917993812/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 + 719835765821660532460793976866494915036504530566/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 + 2039300778314872450546820728224040367039171091500/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 + 5008559041834085064772315572726394284955830416916/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 + 10857943611000678712992601561214348787856267185944/9303103665864351\ 754489264018579274863592304283*c_1001_7^32 + 20932050676051665452991945921080628783753050830282/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 + 124418744206611183221769862747279115525948134992/321906701240981029\ 56710256119651470116236347*c_1001_7^30 + 54695548836383876842559533889872649538622385491574/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 + 72288329913054949245142344637747715528284539953992/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 + 4650925689302872664966125536725528092220678083762/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 + 61011704112718957273698445883896815075722213253310/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 + 183861010679346316193384154962875453056977541604/547241392109667750\ 264074354034074991976017899*c_1001_7^25 - 103793401625884285108316924239948025851052131018504/930310366586435\ 1754489264018579274863592304283*c_1001_7^24 - 14994415280836884691303827115436995895469598705664/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 - 424321114407592923937733730232616508358532848813828/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 - 565451480393432632043686799052960066800018126951894/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 - 621007162353208891129201446625117358218027678645428/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 - 31931326036740423737758611841535645378205770691222/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 - 315230408719388111948707411515623887528574247182047/930310366586435\ 1754489264018579274863592304283*c_1001_7^18 + 29810605437762353740012989771855090355093782971744/9303103665864351\ 754489264018579274863592304283*c_1001_7^17 + 414357858843693767230321987155703329663410461432707/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 + 737086643214075099731206213976966240605907650151572/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 + 910618548140836616077007602389678102630661577468536/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 + 894491535503790591701487291016264398581626452031138/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 + 711574773467937006245817103621969244946703372335505/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 + 435615674243552966521563854332827571197891864166638/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 + 157916848944071449418361209479430124746903564447647/930310366586435\ 1754489264018579274863592304283*c_1001_7^10 - 48381674117851831084845756812573930808890428978504/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 - 153214857593291025947274882938819569468247143992267/930310366586435\ 1754489264018579274863592304283*c_1001_7^8 - 168461671264361114260819738216684261061740824242766/930310366586435\ 1754489264018579274863592304283*c_1001_7^7 - 130767116126943268682336658343684516044614425828936/930310366586435\ 1754489264018579274863592304283*c_1001_7^6 - 78773791616259818349793216629800556312343939481820/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 - 36844071595869464559870747750810897436966335320462/9303103665864351\ 754489264018579274863592304283*c_1001_7^4 - 12615822113658811208774753796233905720874622151196/9303103665864351\ 754489264018579274863592304283*c_1001_7^3 - 2670221671807253753201903416491769073928879100837/93031036658643517\ 54489264018579274863592304283*c_1001_7^2 + 1865522688716666192773536279466041696743694948/93031036658643517544\ 89264018579274863592304283*c_1001_7 + 135301462765850935801443512106161701299549902279/930310366586435175\ 4489264018579274863592304283, c_0101_9 - 2474679746811365267008101127615482425958250916/9303103665864\ 351754489264018579274863592304283*c_1001_7^39 - 15702901257795423172722638161289595365318059100/9303103665864351754\ 489264018579274863592304283*c_1001_7^38 - 78570437178969336239375591557717127793790808068/9303103665864351754\ 489264018579274863592304283*c_1001_7^37 - 276655061408839700597094659055247017218308228704/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 831375898036792645025157922115978551297522927308/930310366586435175\ 4489264018579274863592304283*c_1001_7^35 - 2094038051132927034319297327492131381197974954094/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 4655130701385049694250672004873961000026211250780/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 9097296277532407889041492161777081681854726144030/93031036658643517\ 54489264018579274863592304283*c_1001_7^32 - 15804940462571093447979882032121942465451417330816/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 83640177007315271221151883147393630701511769456/3219067012409810295\ 6710256119651470116236347*c_1001_7^30 - 32023175283785618397236595040839433376033054317600/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 34827130819872055402038480866353467502338460736046/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 1549947587372505141595085518645173353995870041424/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 + 407383014029228576260253162603676401974500323954/930310366586435175\ 4489264018579274863592304283*c_1001_7^26 + 2876143468813519371565589583968124326335198077432/54724139210966775\ 0264074354034074991976017899*c_1001_7^25 + 116837710359725036906147612464131043951030808755882/930310366586435\ 1754489264018579274863592304283*c_1001_7^24 + 11239748844371537815640075707426289962873612698949/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 + 250481842765496801918378041509486301659552213868044/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 268669925608653858497007533083158319429474184783492/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 225670802979633257122630008934600734580967110134716/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 6851018006166222826000026109360233948900453324056/54724139210966775\ 0264074354034074991976017899*c_1001_7^19 - 40512844609274291011528908805564323976619189872354/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 208741661034374412690952991159455331080984030674528/930310366586435\ 1754489264018579274863592304283*c_1001_7^17 - 340543445193465159809666513341590792006188618929390/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 401236443386574067856363036250631536644081335240226/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 375539628797089458289014119423598168630376901012028/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 281266126924385591806801865183241388423560183111692/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 153905887237133033256832197248439997267453967821564/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 35562623466751420327761393080719056543976834750100/9303103665864351\ 754489264018579274863592304283*c_1001_7^11 + 44624130708952434809559305008613387774430769198610/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 + 77729619122303392254730965600027730468361708248604/9303103665864351\ 754489264018579274863592304283*c_1001_7^9 + 74083203998113794252416245281660045050678509284394/9303103665864351\ 754489264018579274863592304283*c_1001_7^8 + 51316294613295675304395982555650756149245810816225/9303103665864351\ 754489264018579274863592304283*c_1001_7^7 + 27369229272132187677120748954267393976265573754524/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 10293390308959756537376957279679627613274733662044/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 2082082248031229591000839539665108741001200867918/93031036658643517\ 54489264018579274863592304283*c_1001_7^4 - 352689159567343838157519383969390301922198021184/930310366586435175\ 4489264018579274863592304283*c_1001_7^3 - 489392687648023162350737087010817838733171648628/930310366586435175\ 4489264018579274863592304283*c_1001_7^2 - 116545799616341983428389235073604236152893500320/930310366586435175\ 4489264018579274863592304283*c_1001_7 + 18664350687735491415243018336882814065161326920/9303103665864351754\ 489264018579274863592304283, c_1001_0 - 3023883998535713876436366982772770293272037091/9303103665864\ 351754489264018579274863592304283*c_1001_7^39 - 20418090862501017432283173488690970158127822204/9303103665864351754\ 489264018579274863592304283*c_1001_7^38 - 104317403967970233138163380294061306175394851112/930310366586435175\ 4489264018579274863592304283*c_1001_7^37 - 380370465729375626129117583888018288394056041068/930310366586435175\ 4489264018579274863592304283*c_1001_7^36 - 1169731983390283079298387590997969208489669259356/93031036658643517\ 54489264018579274863592304283*c_1001_7^35 - 3029423615664288264392072265318940325518114258732/93031036658643517\ 54489264018579274863592304283*c_1001_7^34 - 6900250206312893584559260715558794679349997822344/93031036658643517\ 54489264018579274863592304283*c_1001_7^33 - 13856121559557924274542223215683706871606092853800/9303103665864351\ 754489264018579274863592304283*c_1001_7^32 - 24767095810354340277465383305783602406483219152054/9303103665864351\ 754489264018579274863592304283*c_1001_7^31 - 135573054044562089713513848929730249413518220156/321906701240981029\ 56710256119651470116236347*c_1001_7^30 - 54178834552689812903616156652865031179636053473632/9303103665864351\ 754489264018579274863592304283*c_1001_7^29 - 62971868973837364415365301414947967144557202059760/9303103665864351\ 754489264018579274863592304283*c_1001_7^28 - 3247517714539700779641035014204765597535234836228/54724139210966775\ 0264074354034074991976017899*c_1001_7^27 - 18337776098203526565891373164273717917777776096332/9303103665864351\ 754489264018579274863592304283*c_1001_7^26 + 3321578551697779068690954249514242250254831699824/54724139210966775\ 0264074354034074991976017899*c_1001_7^25 + 169260582065327433406224662274907422042917306920940/930310366586435\ 1754489264018579274863592304283*c_1001_7^24 + 17828528401699554864455273456935552432931883492203/5472413921096677\ 50264074354034074991976017899*c_1001_7^23 + 424665659021634519849611567866015976994632465530116/930310366586435\ 1754489264018579274863592304283*c_1001_7^22 + 488356482554230978627338287220330168335550087505688/930310366586435\ 1754489264018579274863592304283*c_1001_7^21 + 452677186531938798553758154683050126534730854386356/930310366586435\ 1754489264018579274863592304283*c_1001_7^20 + 17486472633287619508443952320712301586629784137660/5472413921096677\ 50264074354034074991976017899*c_1001_7^19 + 39748031028143299160229367462376897476049976685644/9303103665864351\ 754489264018579274863592304283*c_1001_7^18 - 265353432747980782320232147051664926105182494857656/930310366586435\ 1754489264018579274863592304283*c_1001_7^17 - 536955410016449575328858428289635371576266728169096/930310366586435\ 1754489264018579274863592304283*c_1001_7^16 - 702088631646682700526803299101655401398287237226734/930310366586435\ 1754489264018579274863592304283*c_1001_7^15 - 717374038669756550804200559381590726295460940637932/930310366586435\ 1754489264018579274863592304283*c_1001_7^14 - 593240712399893564861659106162956012787635874697480/930310366586435\ 1754489264018579274863592304283*c_1001_7^13 - 381720467750743230379932092966277802121064775264304/930310366586435\ 1754489264018579274863592304283*c_1001_7^12 - 156785104902079524887969539618049607834727727616156/930310366586435\ 1754489264018579274863592304283*c_1001_7^11 + 18919327609804681091048033751916655395266396751836/9303103665864351\ 754489264018579274863592304283*c_1001_7^10 + 114533975832376173734792884478410758181558614837040/930310366586435\ 1754489264018579274863592304283*c_1001_7^9 + 135529994176697645548141451540491993127351901957404/930310366586435\ 1754489264018579274863592304283*c_1001_7^8 + 108960588194764052587557130912777934533151112091489/930310366586435\ 1754489264018579274863592304283*c_1001_7^7 + 67661615160457706159594463396245395439227620804752/9303103665864351\ 754489264018579274863592304283*c_1001_7^6 + 32444654264922024192289072996564355744549935818652/9303103665864351\ 754489264018579274863592304283*c_1001_7^5 + 11589966073021634291703028690060312194597288305200/9303103665864351\ 754489264018579274863592304283*c_1001_7^4 + 2666089407615519631320995382451452047838691850428/93031036658643517\ 54489264018579274863592304283*c_1001_7^3 + 115089758397665923974122883846203057581173045088/930310366586435175\ 4489264018579274863592304283*c_1001_7^2 - 85157501115526762849647368208099928519833428856/9303103665864351754\ 489264018579274863592304283*c_1001_7 - 17286037873743209484595981341772840446280484272/9303103665864351754\ 489264018579274863592304283, c_1001_7^40 + 7*c_1001_7^39 + 37*c_1001_7^38 + 140*c_1001_7^37 + 447*c_1001_7^36 + 1204*c_1001_7^35 + 2858*c_1001_7^34 + 6000*c_1001_7^33 + 11273*c_1001_7^32 + 18910*c_1001_7^31 + 28164*c_1001_7^30 + 36440*c_1001_7^29 + 38944*c_1001_7^28 + 28760*c_1001_7^27 - 1024*c_1001_7^26 - 54768*c_1001_7^25 - 129500*c_1001_7^24 - 212955*c_1001_7^23 - 282627*c_1001_7^22 - 311564*c_1001_7^21 - 276521*c_1001_7^20 - 169476*c_1001_7^19 - 3702*c_1001_7^18 + 184896*c_1001_7^17 + 350075*c_1001_7^16 + 448190*c_1001_7^15 + 457640*c_1001_7^14 + 383512*c_1001_7^13 + 256852*c_1001_7^12 + 119304*c_1001_7^11 + 7600*c_1001_7^10 - 58976*c_1001_7^9 - 80433*c_1001_7^8 - 71121*c_1001_7^7 - 48431*c_1001_7^6 - 26444*c_1001_7^5 - 11349*c_1001_7^4 - 3572*c_1001_7^3 - 686*c_1001_7^2 + 16*c_1001_7 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.810 Total time: 1.030 seconds, Total memory usage: 32.09MB