Magma V2.19-8 Wed Aug 21 2013 01:07:23 on localhost [Seed = 475661588] Type ? for help. Type -D to quit. Loading file "L14n33251__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33251 geometric_solution 12.07380292 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.463412404134 0.757156548148 0 5 4 6 0132 0132 3012 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.300718825770 0.760570206935 7 0 9 8 0132 0132 0132 0132 1 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 0 0 0 -1 0 1 -1 0 1 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.145404343711 1.337582703047 10 10 5 0 0132 1302 2031 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518916765512 0.684943675728 4 1 0 4 3012 1230 0132 1230 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.016117692676 1.130463746731 11 1 9 3 0132 0132 3120 1302 1 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 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795206909613 0.681448684579 12 9 1 12 0132 3120 0132 3201 1 1 1 1 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519769740518 0.605337929559 2 11 10 8 0132 0132 0213 3120 1 0 1 1 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 1 0 -1 0 0 -2 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346704596008 0.693859391813 7 12 2 11 3120 1230 0132 2103 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -2 0 0 2 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.132273221446 0.617922958247 11 6 5 2 2103 3120 3120 0132 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.412494073066 0.388657901210 3 7 12 3 0132 0213 0132 2031 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686684048980 0.977668442495 5 7 9 8 0132 0132 2103 2103 1 0 1 1 0 -1 0 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 2 0 -2 0 0 0 0 0 1 0 -1 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223793914192 0.646410595965 6 6 8 10 0132 2310 3012 0132 1 1 1 1 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 3 -3 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.269938561010 0.645941490642 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0011_10']), '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_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_1001_0']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_0']), '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_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_5, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 9342385858682599367626594256133736264801172631936864892578261916298\ 46073248509375/3833906388235573324837511860454763115321409053789858\ 7015969813192642622432863*c_1001_5^20 + 1883280042333528495904902745739404629004812824324511735474975442603\ 2544116001099243/38339063882355733248375118604547631153214090537898\ 587015969813192642622432863*c_1001_5^19 - 1891525029558952942002732594535608398709056003910675336361236206995\ 88350242143625244/3833906388235573324837511860454763115321409053789\ 8587015969813192642622432863*c_1001_5^18 + 1789650472864479816069881048477316255188843944563435136573756599653\ 42869542841413822/5477009126050819035482159800649661593316298648271\ 226716567116170377517490409*c_1001_5^17 - 3594307805931044753797635590931401119277884836387389506454458245221\ 73414726674352330/2255239051903278426375006976738095950189064149288\ 152177409989011331918966639*c_1001_5^16 + 2325160537915213559607368521170765666478249129677168585587314345130\ 2869245243535531848/38339063882355733248375118604547631153214090537\ 898587015969813192642622432863*c_1001_5^15 - 7143315841779110514951725818025235951998683805078380186041985359549\ 4129190642383856214/38339063882355733248375118604547631153214090537\ 898587015969813192642622432863*c_1001_5^14 + 1810403798506897301329431290640539663874074550729248893747540679152\ 48616774087951582483/3833906388235573324837511860454763115321409053\ 7898587015969813192642622432863*c_1001_5^13 - 5482165851901959851621515895268720044535522785184504842344490161887\ 9108094752311061499/54770091260508190354821598006496615933162986482\ 71226716567116170377517490409*c_1001_5^12 + 6860290160417493617838191514700898237456490264138408402630598324189\ 47157352158453147747/3833906388235573324837511860454763115321409053\ 7898587015969813192642622432863*c_1001_5^11 - 1038616801714192719398479762693721345688619903695795100126966821626\ 290940285679545152459/383390638823557332483751186045476311532140905\ 37898587015969813192642622432863*c_1001_5^10 + 1332377122175676958329465292998027415306865514567053382770819182425\ 491572496130631282926/383390638823557332483751186045476311532140905\ 37898587015969813192642622432863*c_1001_5^9 - 1444095870247335022417037126185260166502026982149991376611175854342\ 207142495340418303804/383390638823557332483751186045476311532140905\ 37898587015969813192642622432863*c_1001_5^8 + 1313737117401027760014770430095633583444248860436403473363331097872\ 716031360599210071631/383390638823557332483751186045476311532140905\ 37898587015969813192642622432863*c_1001_5^7 - 9923352378618934668185229757138876786841266217296943056545186578071\ 78408445955203371811/3833906388235573324837511860454763115321409053\ 7898587015969813192642622432863*c_1001_5^6 + 6123369331078647445601959757554069810723950892936565320180490047404\ 05224981594009326063/3833906388235573324837511860454763115321409053\ 7898587015969813192642622432863*c_1001_5^5 - 1773052613161798316352529311178440395616344353890790536622149237706\ 7800102554083300401/22552390519032784263750069767380959501890641492\ 88152177409989011331918966639*c_1001_5^4 + 1631418140553784396784510436636408529438881381926284160383398810395\ 9544595501169353946/54770091260508190354821598006496615933162986482\ 71226716567116170377517490409*c_1001_5^3 - 3141938899022874450848482118367500055571985870340483851205079465987\ 3618025033806308317/38339063882355733248375118604547631153214090537\ 898587015969813192642622432863*c_1001_5^2 + 3308149874184946652074098364566566370700387212887323601922195844315\ 11786162034781001/2255239051903278426375006976738095950189064149288\ 152177409989011331918966639*c_1001_5 - 4954727511286835597220134280804079292869229621481048789192154557746\ 66587883235262139/3833906388235573324837511860454763115321409053789\ 8587015969813192642622432863, c_0011_0 - 1, c_0011_10 - 60559545730633933202870851212364050687440164804504985300841\ 700419/717378157268964789121191664444831313152011849696210132041077\ 90279*c_1001_5^20 + 18612251468649730958960653364147964022425621917\ 84675639668856057624/7173781572689647891211916644448313131520118496\ 9621013204107790279*c_1001_5^19 - 243675633538004045863321238251965\ 53140774563892111203886086102057040/7173781572689647891211916644448\ 3131315201184969621013204107790279*c_1001_5^18 + 1957621740245920486360064560358878666024654112861785607263453127801\ 03/7173781572689647891211916644448313131520118496962101320410779027\ 9*c_1001_5^17 - 111263571409737659843289552984436914450150790901407\ 1366400013398686418/71737815726896478912119166444483131315201184969\ 621013204107790279*c_1001_5^16 + 4810860815236283015440869093905268\ 731112042713837231468305266611290012/717378157268964789121191664444\ 83131315201184969621013204107790279*c_1001_5^15 - 1651009786305578326754525862714044743570586253167737272220123748620\ 7517/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5^14 + 6597356737930779148459401381559265780777484862098\ 538544700255834912393/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^13 - 1070967681487760274135340411405298644602022899540943341861322584481\ 21724/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^12 + 297303115951019234561353719716722133765957749569\ 09763577869854701159715/1024825938955663984458845234921187590217159\ 7852803001886301112897*c_1001_5^11 - 3408674738010002744711064646335215991220052739364165862990280776912\ 03816/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^10 + 673552918682389716419886832856599741232328167384\ 12603588371104561572696/1024825938955663984458845234921187590217159\ 7852803001886301112897*c_1001_5^9 - 5497568162626762042415832264886275586407667591191719323701773037760\ 63810/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^8 + 5373287821545602598472455188048184231267941466290\ 16507808076037978042255/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^7 - 4358280131084670989427545413104427072996542558511996630550723284332\ 34842/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^6 + 4125980405040449958804560507565603093830110229716\ 6197409030424855327401/10248259389556639844588452349211875902171597\ 852803001886301112897*c_1001_5^5 - 1527863247387660191814806500844479890150001182201059767570754110378\ 18120/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^4 + 6229510640928219765922996724102777281008739601069\ 2863256746748530867526/71737815726896478912119166444483131315201184\ 969621013204107790279*c_1001_5^3 - 1849317654694434234813757005179650893659322197358033543977729614787\ 2618/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5^2 + 35907708563435158812145767813703790863075796305885\ 93832731225738574561/7173781572689647891211916644448313131520118496\ 9621013204107790279*c_1001_5 - 346878277434164166864993787874117263\ 901166266022054636452270755262535/717378157268964789121191664444831\ 31315201184969621013204107790279, c_0011_12 + 92472269769159546252895751723046990366299464380114503459036\ 824253/102482593895566398445884523492118759021715978528030018863011\ 12897*c_1001_5^20 - 19038348198461898156926856685334968334480334586\ 18189001439892230045/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^19 + 194799549045200054817747230699625\ 14147371028695043062221232987936121/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5^18 - 1312064818692379528672242962974255297358821445165353118922957192319\ 41/1024825938955663984458845234921187590217159785280300188630111289\ 7*c_1001_5^17 + 650066503373726081361712588562902331614902273292621\ 775310549466079609/102482593895566398445884523492118759021715978528\ 03001886301112897*c_1001_5^16 - 25107072012875362056640825048564344\ 05879591553620639173774281248746867/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5^15 + 7824234161566314133175323254765835337521245986449857898213806868192\ 409/102482593895566398445884523492118759021715978528030018863011128\ 97*c_1001_5^14 - 28724082014206182236037103133137609931142973258978\ 08585187773434190348/1464037055650948549226921764173125128881656836\ 114714555185873271*c_1001_5^13 + 4320527647788818529413645016385270\ 3506761971505166273567233544167797098/10248259389556639844588452349\ 211875902171597852803001886301112897*c_1001_5^12 - 1118391414787649069745396535811660390655664215847378390675507642301\ 4827/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^11 + 12013287869197685421184979592904658670096700146211\ 7422536371278534836486/10248259389556639844588452349211875902171597\ 852803001886301112897*c_1001_5^10 - 2231693301930380826865844553574401414827740740494669309116664449701\ 3155/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^9 + 171667354995485954817585841840954740905814881849177\ 129277537609758748078/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^8 - 158386439981034771567456994557978\ 815611539220088894356251088481374269537/102482593895566398445884523\ 49211875902171597852803001886301112897*c_1001_5^7 + 1213830046639853937265980552519314937983408674577151130328089153710\ 73749/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^6 - 1086145470217908003501955263865906801348584946952\ 1200878466771251400328/14640370556509485492269217641731251288816568\ 36114714555185873271*c_1001_5^5 + 380101326469071458664987127326055\ 91046057111698940661139290827773145795/1024825938955663984458845234\ 9211875902171597852803001886301112897*c_1001_5^4 - 1463564888573924693056040740549777175262988265831300187804765760756\ 3861/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^3 + 40960752403099538652247901575055046008841777858271\ 24269572784971928447/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^2 - 7469448108265088006809597215723963\ 55466842599396877565705726180762388/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5 + 6723250193645785537036898046330875935132407391303236071562595907791\ 2/10248259389556639844588452349211875902171597852803001886301112897\ , c_0011_4 + 118333263753864445110340473591208445306352861884054680631508\ 37516/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^20 - 213750810030692679415512328007239610593337199262\ 236033121101957497/102482593895566398445884523492118759021715978528\ 03001886301112897*c_1001_5^19 + 19267802036038795379509177173902859\ 15008659949929150730970280946401/1024825938955663984458845234921187\ 5902171597852803001886301112897*c_1001_5^18 - 1143625663041237620598053494419585931300271161838393767033939732614\ 5/10248259389556639844588452349211875902171597852803001886301112897\ *c_1001_5^17 + 4977390165240405805488926844532621319362197714425882\ 7687083198236694/10248259389556639844588452349211875902171597852803\ 001886301112897*c_1001_5^16 - 1678260962514594393211240380188140010\ 32392054587521356811432732637967/1024825938955663984458845234921187\ 5902171597852803001886301112897*c_1001_5^15 + 4523356673266633275953467396318159785432259807407237094906305472451\ 51/1024825938955663984458845234921187590217159785280300188630111289\ 7*c_1001_5^14 - 141746852326713430847029144705325266348645420906393\ 810237245087328260/146403705565094854922692176417312512888165683611\ 4714555185873271*c_1001_5^13 + 178717210760131471614501000316646094\ 2028807613128776287913783416495293/10248259389556639844588452349211\ 875902171597852803001886301112897*c_1001_5^12 - 3780566876672219315886137140151804710268594784732526901657397948941\ 00/1464037055650948549226921764173125128881656836114714555185873271\ *c_1001_5^11 + 3198615495723109491557908746760780591952486730409530\ 755203174638773223/102482593895566398445884523492118759021715978528\ 03001886301112897*c_1001_5^10 - 44211693104363463916767243892464630\ 2064456620362033545969412515944365/14640370556509485492269217641731\ 25128881656836114714555185873271*c_1001_5^9 + 2293619853289556948491444885144110133558428504478085718232005580434\ 465/102482593895566398445884523492118759021715978528030018863011128\ 97*c_1001_5^8 - 115676568781361225333154456173159796637029460088977\ 6191077715179763007/10248259389556639844588452349211875902171597852\ 803001886301112897*c_1001_5^7 + 20631621481557602111423380800185708\ 9437455472556642222745552791740340/10248259389556639844588452349211\ 875902171597852803001886301112897*c_1001_5^6 + 5194453510436006930174007143081396884742853294925392685983351562745\ /209148150807278364175274537739017875554522405159244936455124753*c_\ 1001_5^5 - 29261199655915854936862987743467154719887335679187812588\ 0459824476882/10248259389556639844588452349211875902171597852803001\ 886301112897*c_1001_5^4 + 16382484834478743959263977682925462149147\ 2745217620539484828671411753/10248259389556639844588452349211875902\ 171597852803001886301112897*c_1001_5^3 - 5590620888012976376742305881533802299781182569976184692067448315928\ 4/10248259389556639844588452349211875902171597852803001886301112897\ *c_1001_5^2 + 10987124614813974091153503501568576166165209942848620\ 357021655728002/102482593895566398445884523492118759021715978528030\ 01886301112897*c_1001_5 - 90275657647326689844608334899944379734515\ 7540751689543643194345033/10248259389556639844588452349211875902171\ 597852803001886301112897, c_0011_8 - 858548806760777223447708317121673408545067652007190505131790\ 8518/20914815080727836417527453773901787555452240515924493645512475\ 3*c_1001_5^20 + 120828454771472554290862817087486381230879049579883\ 4007307507314277/14640370556509485492269217641731251288816568361147\ 14555185873271*c_1001_5^19 - 12108261182326770305295839746537391553\ 963855870679905194031000057952/146403705565094854922692176417312512\ 8881656836114714555185873271*c_1001_5^18 + 8002999228776934160365276409926829469289593915585382155208860946609\ 5/1464037055650948549226921764173125128881656836114714555185873271*\ c_1001_5^17 - 38961051711997752082181710312093135591693589500241755\ 3151755679043857/14640370556509485492269217641731251288816568361147\ 14555185873271*c_1001_5^16 + 14799224503082095083844856260500519955\ 61889752244802707713558485837809/1464037055650948549226921764173125\ 128881656836114714555185873271*c_1001_5^15 - 6483815779134635641542080459306604617926126730668638651307382616482\ 76/209148150807278364175274537739017875554522405159244936455124753*\ c_1001_5^14 + 11483066004952860569818054794377041588788312015016803\ 810238422319115446/146403705565094854922692176417312512888165683611\ 4714555185873271*c_1001_5^13 - 242988803308549807806275070337288159\ 22712382392088766972307144581306068/1464037055650948549226921764173\ 125128881656836114714555185873271*c_1001_5^12 + 4336331989868446955452008303065029040609534084433260369157666241935\ 2876/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^11 - 65532999013885424366023511130535214908100963007631\ 640193448877266107840/146403705565094854922692176417312512888165683\ 6114714555185873271*c_1001_5^10 + 839125744324935362359794743696994\ 21680875675201738738095686161000058379/1464037055650948549226921764\ 173125128881656836114714555185873271*c_1001_5^9 - 9077172560287080956515907399774413446674582312745387904262492367461\ 5871/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^8 + 824071914189944711655225201467222706543672744962710\ 89278251235452734394/1464037055650948549226921764173125128881656836\ 114714555185873271*c_1001_5^7 - 88726484848670385641265328704770310\ 19924993693945627657860679250798685/2091481508072783641752745377390\ 17875554522405159244936455124753*c_1001_5^6 + 3823313246922237490086490432991971947621591773149043835569719992016\ 3546/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^5 - 187707828887614940818703471063181196410298946308627\ 01515888266687488457/1464037055650948549226921764173125128881656836\ 114714555185873271*c_1001_5^4 + 10130441773865675700993384429305251\ 29407199645363935803952391634955612/2091481508072783641752745377390\ 17875554522405159244936455124753*c_1001_5^3 - 1944784970355520396115586119221100756955009250843729091472302225889\ 851/146403705565094854922692176417312512888165683611471455518587327\ 1*c_1001_5^2 + 3468301527253298972761950881084204583799204130236066\ 44158179558153969/1464037055650948549226921764173125128881656836114\ 714555185873271*c_1001_5 - 3042313277471778852322376659040928676204\ 6578248966461006119265068071/14640370556509485492269217641731251288\ 81656836114714555185873271, c_0101_0 + 181495474620506126197142185760630045845598689626588041789494\ 611529/102482593895566398445884523492118759021715978528030018863011\ 12897*c_1001_5^20 - 37654309244364761633940215515078836479292255159\ 37409696452208194460/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^19 + 388040655904739272841192823018515\ 32071203602079930309088347281343549/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5^18 - 2631598661294873321114719600778010571164813952881806754563373793664\ 33/1024825938955663984458845234921187590217159785280300188630111289\ 7*c_1001_5^17 + 131261091806991388440921837922400332651695644414922\ 1329784251540265910/10248259389556639844588452349211875902171597852\ 803001886301112897*c_1001_5^16 - 5103571959987034927876075152256863\ 914467399811611072106858060457555713/102482593895566398445884523492\ 11875902171597852803001886301112897*c_1001_5^15 + 1601184497905273902665912088798590264802524827982195371535679135583\ 6310/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^14 - 5918585999289479655932684760941929479747754711350\ 239333154557189132292/146403705565094854922692176417312512888165683\ 6114714555185873271*c_1001_5^13 + 896517561736908900007578142244473\ 47884067138103718548706405929762200045/1024825938955663984458845234\ 9211875902171597852803001886301112897*c_1001_5^12 - 2337601514003336085168509513693249110384321356084555067672072647461\ 3839/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^11 + 25300274416756471268993926225068289037095753499434\ 7755924645841809413653/10248259389556639844588452349211875902171597\ 852803001886301112897*c_1001_5^10 - 4737471250169714987991618276014703512152678311843597583712605404847\ 5318/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^9 + 367487972875189624240686840923170633775274021653508\ 228802238753605344990/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^8 - 342094214580210783156653568098316\ 388106670689903589364248549936874938530/102482593895566398445884523\ 49211875902171597852803001886301112897*c_1001_5^7 + 2646798990120388668056537999193583160965955901069216271282989425424\ 50855/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^6 - 2392645216317936173402939038576611175825328908267\ 6649922212448704494316/14640370556509485492269217641731251288816568\ 36114714555185873271*c_1001_5^5 + 846500718671963746713579854401351\ 81940116470771227601014366288546343419/1024825938955663984458845234\ 9211875902171597852803001886301112897*c_1001_5^4 - 3297646232391967730596772446985403179186729007198707733142148947387\ 6580/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^3 + 93454772505621934547539928851425513907603656139508\ 48426845391808453009/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^2 - 1727737972856349835917933686036851\ 895992876856789555444576118835690291/102482593895566398445884523492\ 11875902171597852803001886301112897*c_1001_5 + 1579143201087454511470637674017853896255864078858906379224119167658\ 90/1024825938955663984458845234921187590217159785280300188630111289\ 7, c_0101_1 + 803028114102625860204001974198650231300835111233095614160112\ 04597/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^20 - 160935085873926957642480741246333959679885917425\ 2468532790585828049/10248259389556639844588452349211875902171597852\ 803001886301112897*c_1001_5^19 + 1607844576584608980123711546094289\ 5381755422741135701803553766006125/10248259389556639844588452349211\ 875902171597852803001886301112897*c_1001_5^18 - 1059646998458956747646106932774122002229090849388431419547009026933\ 03/1024825938955663984458845234921187590217159785280300188630111289\ 7*c_1001_5^17 + 514448994430166762426010563765455416235553804601617\ 944936272917075881/102482593895566398445884523492118759021715978528\ 03001886301112897*c_1001_5^16 - 19489747516001140199748278176178320\ 33107570744470879808821495523875237/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5^15 + 5962166516833168869294148770696106638526019362786856405471155334348\ 853/102482593895566398445884523492118759021715978528030018863011128\ 97*c_1001_5^14 - 21498085135875486242750622068934963398941556679747\ 43687563621605418156/1464037055650948549226921764173125128881656836\ 114714555185873271*c_1001_5^13 + 3177275773374550249132284301777345\ 6073430091826275446258316508967509046/10248259389556639844588452349\ 211875902171597852803001886301112897*c_1001_5^12 - 8083478978014673628391256171389426352650126244682493535160147434101\ 109/146403705565094854922692176417312512888165683611471455518587327\ 1*c_1001_5^11 + 853559263237444094018790337252859443420437179090397\ 88971375962313250685/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^10 - 155891761819804203064997069813504\ 62688358961626511093561416635202371165/1464037055650948549226921764\ 173125128881656836114714555185873271*c_1001_5^9 + 1179026902361896388237967173800276737192490516278608529424831602027\ 50359/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^8 - 1069621288712558156730086564606581364383760684042\ 80983778880031073241501/1024825938955663984458845234921187590217159\ 7852803001886301112897*c_1001_5^7 + 8061184230351840922846784412368240166361082482194346158713019674289\ 8745/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^6 - 70953391874280149017458465952680295702234879125274\ 30932140699146939015/1464037055650948549226921764173125128881656836\ 114714555185873271*c_1001_5^5 + 24437045898941267877007818384237165\ 250842035074643196623173621542704648/102482593895566398445884523492\ 11875902171597852803001886301112897*c_1001_5^4 - 9267750467816466907110826972387673810972056960274213460247829053205\ 527/102482593895566398445884523492118759021715978528030018863011128\ 97*c_1001_5^3 + 255754232771235718176466261750929592046322609957944\ 1703184695215861819/10248259389556639844588452349211875902171597852\ 803001886301112897*c_1001_5^2 - 46056224922274997483943320426715939\ 4167213973560113929259444524578199/10248259389556639844588452349211\ 875902171597852803001886301112897*c_1001_5 + 4104003834251210575612171177605034969401849456727619529056174439789\ 1/10248259389556639844588452349211875902171597852803001886301112897\ , c_0101_11 - 18479836478960583453837824476595582605833604342397168942356\ 07140486/7173781572689647891211916644448313131520118496962101320410\ 7790279*c_1001_5^20 + 374156387723727340689749618058630601549732454\ 27638204890549781870543/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^19 - 3771432806573180621249865138665030181223124969640579335506883925438\ 14/7173781572689647891211916644448313131520118496962101320410779027\ 9*c_1001_5^18 + 250559174991929364652092033676719616919100725515319\ 3528764718801500050/71737815726896478912119166444483131315201184969\ 621013204107790279*c_1001_5^17 - 1225542441531405119011888242602499\ 1697244218000013104192644874709322511/71737815726896478912119166444\ 483131315201184969621013204107790279*c_1001_5^16 + 4675776573502060422418644061761010377754254954766855108498537085132\ 4279/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5^15 - 1440076548605641450158495726534010275761132132142\ 91522652348193425913826/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^14 + 5226620913966437650651773311551786382020729735689436356784029762073\ 7776/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^13 - 7774020050328696783454319786878356751688219253353\ 56257150738693821351441/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^12 + 1990240235528469777690827864553374217361566139761111648985861095604\ 51231/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^11 - 211454069834603363992135975423421224740117776328\ 1758687233416036676584355/71737815726896478912119166444483131315201\ 184969621013204107790279*c_1001_5^10 + 3885490072079210949987024524879643546856182965648162093908015869515\ 18857/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^9 - 2956315840371112558074118137684300027535968889977\ 325951634825354381179989/717378157268964789121191664444831313152011\ 84969621013204107790279*c_1001_5^8 + 2697830444900368624089754432601341158301991945290876757131784852695\ 426646/717378157268964789121191664444831313152011849696210132041077\ 90279*c_1001_5^7 - 204487819941629661843215711953669900991407847130\ 0284945334762534198536037/71737815726896478912119166444483131315201\ 184969621013204107790279*c_1001_5^6 + 1809686101341506662315731917633514769353707291054176985384297345156\ 42084/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^5 - 6263852718116395421547931146116560918295849415406\ 80378862897289830241480/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^4 + 2385779881727627251118643495111280655450389266070868176877492792486\ 08300/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^3 - 6605652080940997901556305933217175424606731703031\ 1069951812714220029479/71737815726896478912119166444483131315201184\ 969621013204107790279*c_1001_5^2 + 1191752724612574114254966388943775864042771630900121485554879690637\ 1652/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5 - 1061190872572563690905238054310824060639961201564725\ 502861918767367895/717378157268964789121191664444831313152011849696\ 21013204107790279, c_0101_12 + 13578328912827360008760932783378155845199593222387260152032\ 2977211/10248259389556639844588452349211875902171597852803001886301\ 112897*c_1001_5^20 - 2842845781326412802541035855300129163763388554\ 031839387670344532709/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^19 + 2950462915162805577342050218316495330079055183264014082154394150261\ 7/10248259389556639844588452349211875902171597852803001886301112897\ *c_1001_5^18 - 2012444404837061947648436052062868334775157122627368\ 60867170071438437/1024825938955663984458845234921187590217159785280\ 3001886301112897*c_1001_5^17 + 100860869071085807420219706224402970\ 9734224141241443408989535480479623/10248259389556639844588452349211\ 875902171597852803001886301112897*c_1001_5^16 - 3937644063749870998163588866681669765408152920059412546143188489524\ 182/102482593895566398445884523492118759021715978528030018863011128\ 97*c_1001_5^15 + 12397579783553587916772127259112344488442059762654\ 329130804439962397378/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^14 - 4596730969841533631766040938586677334660492187931208534881137707883\ 962/146403705565094854922692176417312512888165683611471455518587327\ 1*c_1001_5^13 + 698167313992707218998185101952162210302453483922112\ 88115178774737828206/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^12 - 182472836548010820457943593882765\ 71088522634137839851760489454604672003/1464037055650948549226921764\ 173125128881656836114714555185873271*c_1001_5^11 + 1979044047558280718289006984010465713130097655744700501383642565660\ 23644/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^10 - 371252017656160110737037159916653831426810775906\ 65682818858667203385054/1464037055650948549226921764173125128881656\ 836114714555185873271*c_1001_5^9 + 2884417467054253390524748211330796271763155428194427356256719630172\ 66990/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^8 - 2688833000241181728024049150381126704386835631253\ 67819678489703584068781/1024825938955663984458845234921187590217159\ 7852803001886301112897*c_1001_5^7 + 2082868591423703594291604623799102332415676432495731228666930600546\ 72229/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^6 - 1884834218374781944781285306261946127863669273302\ 0558748986765973855751/14640370556509485492269217641731251288816568\ 36114714555185873271*c_1001_5^5 + 667459827373623307863707408364904\ 53165002587879158404789457365531686284/1024825938955663984458845234\ 9211875902171597852803001886301112897*c_1001_5^4 - 2602445331092181240173258055547985482003764331514560223571503734573\ 1788/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^3 + 73820122793034161443950635944156657754779893631193\ 42492598294672545502/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^2 - 1366253704586882043560571491637751\ 813052454176155279572974462376875888/102482593895566398445884523492\ 11875902171597852803001886301112897*c_1001_5 + 1250893306958366890365245131946496228635896789338784169819523947916\ 50/1024825938955663984458845234921187590217159785280300188630111289\ 7, c_0101_2 - 1, c_0101_5 + 269177879476432825196293345774103358384256391936731198301712\ 5615785/71737815726896478912119166444483131315201184969621013204107\ 790279*c_1001_5^20 - 5420470617874673829604036405840621496313435206\ 7187846357271927511023/71737815726896478912119166444483131315201184\ 969621013204107790279*c_1001_5^19 + 5439622043465375634468483375168855900112728226420219121215567821772\ 06/7173781572689647891211916644448313131520118496962101320410779027\ 9*c_1001_5^18 - 360019444716949451925407161675059379147095130903067\ 1359971085417581591/71737815726896478912119166444483131315201184969\ 621013204107790279*c_1001_5^17 + 1755008733271902627693864873794798\ 1180070108276692660441769750330516700/71737815726896478912119166444\ 483131315201184969621013204107790279*c_1001_5^16 - 6675236119987572077276752814029320704028798899908167591817538548127\ 7845/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5^15 + 2049982103980410424918827105296255542309234901491\ 79468107464713117422485/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^14 - 7419917334554113849864794982767455660456893051780272775310055787943\ 6176/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^13 + 1100719965806147562836742607987707274035957768726\ 072679825468552625976455/717378157268964789121191664444831313152011\ 84969621013204107790279*c_1001_5^12 - 2810668139747099260767277257926277245964494900988170470872781307961\ 15699/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^11 + 297847289044972331737972765658753113419874072722\ 9420120041661081478875051/71737815726896478912119166444483131315201\ 184969621013204107790279*c_1001_5^10 - 5458556363663147313308714214001294542971497898178785026111254041821\ 55392/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^9 + 4141867959327222241429369825921307196013633460356\ 109542161024315682801586/717378157268964789121191664444831313152011\ 84969621013204107790279*c_1001_5^8 - 3768835317844215164034818735271094547989559002894304441994504219413\ 011796/717378157268964789121191664444831313152011849696210132041077\ 90279*c_1001_5^7 + 284780477322657141406198526005126637742921416960\ 8213685264051816762586648/71737815726896478912119166444483131315201\ 184969621013204107790279*c_1001_5^6 - 2511665133956637675724423915232568005041169507847524374095859932416\ 91956/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^5 + 8660306836601480258895481443876362959340008627032\ 54959025379305621378966/7173781572689647891211916644448313131520118\ 4969621013204107790279*c_1001_5^4 - 3284046339374002104884167470475970400829857469325062644847011269047\ 66178/7173781572689647891211916644448313131520118496962101320410779\ 0279*c_1001_5^3 + 9045609651466632628725524781653161997334396564279\ 1324048752423899539555/71737815726896478912119166444483131315201184\ 969621013204107790279*c_1001_5^2 - 1621512660147465613941833010442209319744213239780264621032503248274\ 9806/71737815726896478912119166444483131315201184969621013204107790\ 279*c_1001_5 + 1431476537102456416487422833977441688737634616753048\ 797041000896972250/717378157268964789121191664444831313152011849696\ 21013204107790279, c_1001_0 + 297283293701414295581817923779976536354315928432420118465636\ 181536/102482593895566398445884523492118759021715978528030018863011\ 12897*c_1001_5^20 - 60925895470103311870150135204850515982304092263\ 99861961289807696796/1024825938955663984458845234921187590217159785\ 2803001886301112897*c_1001_5^19 + 620831827379965816570296196937912\ 48423177904811259170786709677909028/1024825938955663984458845234921\ 1875902171597852803001886301112897*c_1001_5^18 - 4166010478465225272050028635233003427659204098707501295520929170502\ 80/1024825938955663984458845234921187590217159785280300188630111289\ 7*c_1001_5^17 + 205698128874927545268981747627198386592454769574563\ 7830069495758822051/10248259389556639844588452349211875902171597852\ 803001886301112897*c_1001_5^16 - 7919153288420532076791343442680994\ 095089805085479755708347044540044526/102482593895566398445884523492\ 11875902171597852803001886301112897*c_1001_5^15 + 2460481953977197686451246345687276598832933809566190135809181049569\ 9179/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^14 - 9007277415934211711399291933227784395894973789327\ 860037462514588359207/146403705565094854922692176417312512888165683\ 6114714555185873271*c_1001_5^13 + 135119448524277104227388653036278\ 704502624346769838126517751028028738988/102482593895566398445884523\ 49211875902171597852803001886301112897*c_1001_5^12 - 3488728891919098971675905275857660702732730465098778304713801640207\ 8815/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^11 + 37383693167101315722378709426957412672965509040211\ 3659635208578255622662/10248259389556639844588452349211875902171597\ 852803001886301112897*c_1001_5^10 - 6928739764818868936980181458569218929652293373527394269234538849469\ 3335/14640370556509485492269217641731251288816568361147145551858732\ 71*c_1001_5^9 + 531813749306369221579307121035830767996266138543345\ 695852089204616339832/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^8 - 489663156498748567772093380157841\ 779601851968108029321939913591458807123/102482593895566398445884523\ 49211875902171597852803001886301112897*c_1001_5^7 + 3745469309564641194533295080088227533411865562195930875596856166499\ 68985/1024825938955663984458845234921187590217159785280300188630111\ 2897*c_1001_5^6 - 3345612849992843294076857482309151484088806930076\ 4115587089577187026221/14640370556509485492269217641731251288816568\ 36114714555185873271*c_1001_5^5 + 116897832176476543005142167593514\ 811415229056438586369881464893395975960/102482593895566398445884523\ 49211875902171597852803001886301112897*c_1001_5^4 - 4494938393332263503307655654715418367303757434832491631258857420259\ 4138/10248259389556639844588452349211875902171597852803001886301112\ 897*c_1001_5^3 + 12565180603366252993479765381900150392127308588712\ 782242108159196348268/102482593895566398445884523492118759021715978\ 52803001886301112897*c_1001_5^2 - 228903737342735089180379279138762\ 1965281849619034022617149815219112196/10248259389556639844588452349\ 211875902171597852803001886301112897*c_1001_5 + 2058278191030636272519885162417843116928250696037052198763316533298\ 62/1024825938955663984458845234921187590217159785280300188630111289\ 7, c_1001_5^21 - 31648/1499*c_1001_5^20 + 332398/1499*c_1001_5^19 - 2300927/1499*c_1001_5^18 + 11734283/1499*c_1001_5^17 - 46740196/1499*c_1001_5^16 + 150578694/1499*c_1001_5^15 - 401181805/1499*c_1001_5^14 + 896848868/1499*c_1001_5^13 - 1697837058/1499*c_1001_5^12 + 2736158920/1499*c_1001_5^11 - 3760875169/1499*c_1001_5^10 + 4404098164/1499*c_1001_5^9 - 4375624783/1499*c_1001_5^8 + 3660819171/1499*c_1001_5^7 - 2549632018/1499*c_1001_5^6 + 1453768774/1499*c_1001_5^5 - 662469211/1499*c_1001_5^4 + 232692519/1499*c_1001_5^3 - 59393858/1499*c_1001_5^2 + 9856661/1499*c_1001_5 - 803279/1499 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.610 Total time: 0.810 seconds, Total memory usage: 32.09MB