Magma V2.19-8 Tue Aug 20 2013 23:39:59 on localhost [Seed = 1443902182] Type ? for help. Type -D to quit. Loading file "K12n103__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n103 geometric_solution 11.38217498 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 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 14 -14 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810792033759 0.643114068275 0 5 6 2 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 0 0 1 -1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 -13 0 -1 0 -13 14 -14 14 0 0 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633922269758 0.487530609243 1 0 8 7 3201 0132 0132 0132 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 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754398519970 0.716173959167 8 5 4 0 0213 3012 2103 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 13 1 0 0 0 0 0 -14 0 14 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607310565969 0.637187558839 3 6 0 7 2103 3201 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 -13 13 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900439671574 1.093229994530 3 1 9 10 1230 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 0 14 0 -14 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.665373973847 0.557068806961 8 11 4 1 1230 0132 2310 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 0 0 -13 13 0 14 0 -14 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.106905714354 0.840556269143 9 9 2 4 1230 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.839295770674 0.931770355961 3 6 11 2 0213 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811313845979 0.975084330023 7 7 11 5 1302 3012 1302 0132 0 0 0 0 0 0 -1 1 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 13 -13 0 0 -14 14 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.839295770674 0.931770355961 10 11 5 10 3012 0213 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460365526300 0.770566323136 9 6 10 8 2031 0132 0213 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 -13 0 0 13 1 -1 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966742461289 0.918317826641 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0011_3'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_3'], '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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_6']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_1001_6']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_6']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0101_6']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : d['c_0011_8']})} 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_0011_9, c_0101_0, c_0101_5, c_0101_6, c_0101_7, c_1001_1, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1818794023824731422508924915470767074783840142713725429573471573132\ 11223644739944797323151318756561947302827687/8029723838168205474293\ 3896046091297165359302983534579709692270105009658760212091419924910\ 81802965272011*c_1001_6^28 - 44025594198360935073882974348027466315\ 8739574373732721332005654876285470259701318176562905315030719484313\ 9397/11471034054526007820419128006584471023622757569076368529956038\ 58642995125145887020284641583114709324573*c_1001_6^27 + 2680441291258475571829945509811198273504327580771488150494393133575\ 767092431642297412703214701662809348848900186/802972383816820547429\ 3389604609129716535930298353457970969227010500965876021209141992491\ 081802965272011*c_1001_6^26 - 5299582684594810664498740390866987073\ 2349702605156351848730546963526559387008706442670783468375227899281\ 1574212/80297238381682054742933896046091297165359302983534579709692\ 27010500965876021209141992491081802965272011*c_1001_6^25 + 5570664442654807333424854609706104662967989463538508451462171778450\ 958118711927588105870471601192842396134742267/267657461272273515809\ 7796534869709905511976766117819323656409003500321958673736380664163\ 693934321757337*c_1001_6^24 - 2590968299223525176236707023229424124\ 6744540915851175425340726876015060830037418031034484147634499238502\ 1722250/38236780181753359401397093355281570078742525230254561766520\ 1286214331708381962340094880527704903108191*c_1001_6^23 + 5897334515872236053401119980846491576937156569397368170235251218592\ 2082950058248435330485572496158790436111076982/80297238381682054742\ 9338960460912971653593029835345797096922701050096587602120914199249\ 1081802965272011*c_1001_6^22 - 276182387563042242442508343060014243\ 6661690740433958446899878527530057264077816727396258601747570148419\ 8136567067/80297238381682054742933896046091297165359302983534579709\ 69227010500965876021209141992491081802965272011*c_1001_6^21 + 4718217653730745302296913078467783301153733781285557039517597381263\ 2719156065674472604409115442039043419444871203/26765746127227351580\ 9779653486970990551197676611781932365640900350032195867373638066416\ 3693934321757337*c_1001_6^20 - 228677686658084604534989867675594981\ 1973138863111567629441082140774227416927043758510775004987850723601\ 075397629/276887028902351912906668607055487231604687251667360619688\ 594034844860892276593418689396244200102250759*c_1001_6^19 + 2674039873549455658401630776837482148813785355402759747428285939071\ 14710038986189513239781544457583718035205839708/8029723838168205474\ 2933896046091297165359302983534579709692270105009658760212091419924\ 91081802965272011*c_1001_6^18 - 60217437674468248825887281379551458\ 8090095307805388096302248131620689140402807211943255576748762390887\ 30881192758/8029723838168205474293389604609129716535930298353457970\ 969227010500965876021209141992491081802965272011*c_1001_6^17 + 1363681471604504280260907013981023935482951183614669677233282335431\ 91271877749616130588909084752190899875494177047/2676574612722735158\ 0977965348697099055119767661178193236564090035003219586737363806641\ 63693934321757337*c_1001_6^16 + 40450562401880551559663934815344201\ 9427243656649406721726139047936690307158327160335622287680387844007\ 33783601862/8029723838168205474293389604609129716535930298353457970\ 969227010500965876021209141992491081802965272011*c_1001_6^15 + 4447959420084631618859782670427834876787965395261038392795558785627\ 07944390517617525324807372202275488161272549084/8029723838168205474\ 2933896046091297165359302983534579709692270105009658760212091419924\ 91081802965272011*c_1001_6^14 + 12188052176404167108802363342713907\ 3862158644387870089013219708748360281004776610211164218617817658682\ 742050022418/802972383816820547429338960460912971653593029835345797\ 0969227010500965876021209141992491081802965272011*c_1001_6^13 + 2609310199330623384959477405794157934608579804248435065312805169290\ 11590780065063804986605086536146762225001151925/8029723838168205474\ 2933896046091297165359302983534579709692270105009658760212091419924\ 91081802965272011*c_1001_6^12 + 60803750136431761880823843054745936\ 7346284836016934549485397162893057078586304933072114303404274980545\ 66772863879/8029723838168205474293389604609129716535930298353457970\ 969227010500965876021209141992491081802965272011*c_1001_6^11 + 3992643954925550178079190473522144255227922022796161283113920209585\ 40331401307133960730922128015315952777874940/3823678018175335940139\ 7093355281570078742525230254561766520128621433170838196234009488052\ 7704903108191*c_1001_6^10 - 460872984187295467831109353005407177565\ 4932515780112248838222070870341133854811932963891830158272193618635\ 80481/1408723480380386925314629755194584160795777245325168065082320\ 52815806418877565072666534931259701145123*c_1001_6^9 - 6677177035369528951045040417741949765725138173999942294878347516528\ 1736680913248252200750310468596831758823588690/80297238381682054742\ 9338960460912971653593029835345797096922701050096587602120914199249\ 1081802965272011*c_1001_6^8 - 1478918559859028446375765218597374580\ 2186042247714335079111844775601770698606664979202179742132828265358\ 562298321/802972383816820547429338960460912971653593029835345797096\ 9227010500965876021209141992491081802965272011*c_1001_6^7 - 2100547673092807576123153900728216643962365699643040137876530521308\ 38448198036106774878210041922721781740492284/1408723480380386925314\ 6297551945841607957772453251680650823205281580641887756507266653493\ 1259701145123*c_1001_6^6 + 8892736643426085027549320553154746144594\ 6148963243926169934140826671795268604517601167716834071324550213261\ 96260/8029723838168205474293389604609129716535930298353457970969227\ 010500965876021209141992491081802965272011*c_1001_6^5 + 1621307128189796742835244580061819999035989919541025454598188042547\ 435505974546064356879115626689759259406608901/267657461272273515809\ 7796534869709905511976766117819323656409003500321958673736380664163\ 693934321757337*c_1001_6^4 - 13002885679271002286874990046841552054\ 7387175375466225989294013504235966156642665696640950710436952841398\ 396961/267657461272273515809779653486970990551197676611781932365640\ 9003500321958673736380664163693934321757337*c_1001_6^3 - 2594674069841519480365111913506858868833638017794573355435281022555\ 83801415517080054908590716471514296335168354/8029723838168205474293\ 3896046091297165359302983534579709692270105009658760212091419924910\ 81802965272011*c_1001_6^2 - 107370773286000838294614615957395227832\ 7854145814323493899437386061621344559743161400855549174815978171179\ 0840/80297238381682054742933896046091297165359302983534579709692270\ 10500965876021209141992491081802965272011*c_1001_6 + 2172066775743021826768754884610283256143297785120367086550205273220\ 262539832493960697413994363916693975390561/267657461272273515809779\ 6534869709905511976766117819323656409003500321958673736380664163693\ 934321757337, c_0011_0 - 1, c_0011_10 + 37447259415183994944432952546469798940773926935374150227516\ 8463759300922084687164743281/15019842665112039624424570600900273798\ 766665292376885158555889786869108520490125045709*c_1001_6^28 - 4960004095556370136735447252957949796096772143781052292049621089801\ 2821016024207667242/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 5546585919327794994492806770037213434413234335526590524529884767435\ 431016066438657232224/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 - 8901637691792770514939300758053584262619305665375347481776944194010\ 16529274590251311600/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^25 + 3481406233762125211976789758998759726249251889031475582146175780146\ 7124416243717341485190/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 - 9988083686642301588131042373892390386587716494381178937445895776137\ 179881019138564132238/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 1237990290708769887343205357801614338086982331083886266737299313823\ 98848159410896537944587/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^22 - 5308238116989034478300776472056712236141133959953711329268196973779\ 9746150390184966174888/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 + 2992159889852911001936977991766712285807470165069124479082222345142\ 80553255360430893655370/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 - 4470653969887538585192828995778442340631738575789200794318377676894\ 693759135666939278521/517925609141794469807743813824147372371264320\ 426789143398478958167900293810004311921*c_1001_6^19 + 5692524302713105094006732982001352739477436473976586022753238498087\ 24036169776535030817561/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 - 1129771449699900840778667168088913376988482213531801006212594978539\ 47752222100469001525515/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 + 8826332201426970369148632408460906917527756594291645841699709640643\ 25104290312981526623233/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 + 1076062906245392409875180948207719448429641296615001720742309825360\ 93336290122780532758052/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 + 9884463469567502612823708178859265019965879649916153339193994508026\ 44468335892929284675190/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 + 2970878559501288615935296178258557782799636537836551597771035231107\ 56996648102273814942536/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 + 6247135966740987478115390678449936990642304545371188352288712937131\ 41689283193403201325681/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 + 1731594177633909494688352158557330588108521296731312036470754456577\ 65587464082914042426690/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 + 7171314581200009698748967374864333226768547728645860186646600544728\ 7240920912894321768617/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 3629209224915594712482093384197420271466035015934266439975056782338\ 5205845314933138591221/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 - 1332860539588306387068452682694592694193899517737802674835983360215\ 94699631965781216623226/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^8 - 3704249842045493131236319606741546499557218534840130360709885913187\ 7633152849435146748809/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 - 3588204926449195723208763730960256179129102230172903589678316150526\ 3791662241312048043505/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 1461278300905759319793653284325604119910923329083852194451494116524\ 5739184365231468543641/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^5 + 8143090337392437218759470330908442905412765547193829277474797075374\ 684519100813148723212/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^4 + 6279136219711434959091708747054279394235632283142423343293779867424\ 42003074711548714368/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^3 + 1409263939115690429743442386649742177393147930408321803811276634426\ 44303038725166483101/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 6171305437919976883294308766807520367499685198419967510760882264357\ 0646445400711591209/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6 - 9774475258281926066698239580838855162778966600553785131915360943421\ 662959379296671596/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709, c_0011_11 + 31434753738502036459179083788479607825464958821713494614472\ 9597506557002612053568279591/15019842665112039624424570600900273798\ 766665292376885158555889786869108520490125045709*c_1001_6^28 + 8582377072015737011094742520937489250372355030500799850858914363650\ 5417975119496131811/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 4625834596187709199431783674250985138079031329294146252037970244828\ 121733877340860104406/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 + 1132649605405935675374767645286320687955584681516756586015605066556\ 417675650287309804566/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 + 2872561441557106669702470119415845598207487490202107334965278487675\ 2681708127131295513212/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 + 3351217968121913702790204586146008723095915318666174774640482890723\ 796063847506662864794/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 9930957202645979047438836600657109785134973909749625248863706835922\ 5881559868206715618927/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^22 - 2989506087263611181303454653759072868530790235436653116422342168597\ 702287855679948406174/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^21 + 2289724777637967898375615179853474379205279263322554451779979242171\ 04898207079408065290951/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 - 2903522509102398524042731782508102883731443982532547382676065869382\ 86561712843338754121/5179256091417944698077438138241473723712643204\ 26789143398478958167900293810004311921*c_1001_6^19 + 4244854536521859294791668938563223659776960905367553718107235155843\ 92765027518246319531584/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 + 9541215048096015527381815374446039194472786305855097654079467940835\ 1211353811437849889044/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^17 + 6856346374610595599857520026106257664107585588322397735030173046906\ 84481117671059975140296/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 + 3792150667528989184138395885989174079139893927922819720089683174928\ 67685809011501880233072/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 + 8379242393900520767266854462524240986036872395325007340838296741395\ 61495684782288384235982/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 + 5577249782034740044945775872543473501649458785896079835414767752578\ 03775271211670338480229/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 + 5871453446297052812844379073035064941067475174657539385110003235990\ 34840039355795740863986/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 + 3196302635800309080088469006857997324964452902913098373089451226709\ 50232702323001069277566/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 + 8767268781811339904052969683329349962074609661299693046398367437377\ 3830394946292099433094/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 3122102688915153066712417719969045303792671339362466243671411424928\ 7094545035637540761967/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 - 1336805963749345449716747969968819178813633064738681514244180862399\ 96472926708131170272532/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^8 - 7948745543966883217524289175417513243142148862088584188438918637243\ 0768358564764769711180/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 - 3889211330914733150383303464697002693494812574767624082001138612040\ 8514380241933634944954/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 3744677694211256918396070646569398994335832912815259675781635651417\ 731655877946635860210/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 + 1353406545108356613980582284560625237491455880048727009046029818853\ 9108457311387523985167/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 + 3709441365741669362693980731550777579156012813157166921608613172140\ 417650536205461885349/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 - 2302139120314348379919812388687113494810375961471031091852690804822\ 17692991495154436488/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 1170250130601352749749406612562770161623106066766286219616558934103\ 80692506136843913366/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 9255205365535870227082421285902460351773966181165363319418236485023\ 112863154000335522/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709, c_0011_3 + 389396392629010802881671626007523831619055163614745261923668\ 139497252437564346994380077/150198426651120396244245706009002737987\ 66665292376885158555889786869108520490125045709*c_1001_6^28 + 7531424382012946330112388076833219319973218125968905794282403322667\ 5153677866480037820/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 5726118668418464026970753060475709421031580906959804620718935629272\ 155925555896485789169/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 + 9467360065323287045471457142910149832396792186915967277742190236857\ 43040225310978084507/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^25 + 3553525226983829030559988109377902951043774596615593250753393130730\ 7635909399204302390876/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 + 1313311719785014788233546132754614603579649025544056226900584015128\ 526321673390670960562/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 1230753994430036394316210739908983380225650692272423625596684478548\ 73819561545759938166220/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^22 - 1358952641510631921330989719409218797922253314158670932928539058939\ 4372044017131244382944/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 + 2852577229018625946320737551877472680166425277096971599953106364785\ 11234852864904309679382/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 - 1157625689662621645256994414508838318540558435845394928854447984468\ 873935721895322408443/517925609141794469807743813824147372371264320\ 426789143398478958167900293810004311921*c_1001_6^19 + 5297365243685042961827442442711126629328676586103583304070942518401\ 49590807947130436653688/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 + 7493669677582276900107700221417875927675068503131299113547133515194\ 8948287857061720092073/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^17 + 8456489442085058021208119394838715703297437271363847719348288868525\ 56328523469813315664012/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 + 4009632859795135231296765173557240958265812449289223494908178968242\ 82068444398244469184170/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 + 1009334039606576558004503564419051829446259280973414824166788980631\ 922826213734786484097273/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^14 + 6091949629119137844929676299682047299185182683781409505161018018678\ 08397617190523864806792/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 + 6814215469742692551879025404714289589172343283995208828251413139262\ 65016270838299095310743/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 + 3398632425396497804868469214054262412807624335452850116603604426946\ 37331851461045083216236/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 + 8109136582932541678794798950879345901616995835982039649902119468332\ 8640442197674190981909/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 4803235224783747449098961822772890749075853148366970290293934147083\ 1488458749351353137943/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 - 1644669962835598639872131708155884706821957260274999954355419675699\ 89191279770503527393719/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^8 - 8764599819449648973060004462759904084847631597369640524384281989573\ 5932030531076061854813/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 - 4277587107216352951600515207726873802921934686939297776337966319607\ 6371735972136818010469/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 7771725901250409090157107307875538653695809935697280863565121167168\ 415931098800178002170/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 + 1633506183829715377679134070721761820036911717235048795174836950665\ 1539019486944992646047/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 + 3668064129980318896953584656617612103086377200552285741321180976811\ 527840771996625210075/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 - 3721573620597010515337526976515634394542817405313937102393656250491\ 44436290075880784981/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 1231223823042357799781729372750215692808727483300090292938805277980\ 63447296907805613379/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 7499864250287051038160095063331158782391490004670563102350834093932\ 156674020583620891/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709, c_0011_8 + 157795274718533486026705740374166656330942175337292851172763\ 942403771807431942649244359/150198426651120396244245706009002737987\ 66665292376885158555889786869108520490125045709*c_1001_6^28 + 8654329776575541848923213200764497623843767605781194927136923231857\ 6762149864069606908/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 2330867793162688919593167921558060768572505813915078576631662574539\ 955228033459981139103/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 + 1206734036914404358523598004650488500504631813548518928056348067609\ 787081690228485205367/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 + 1453024007169285383621767353384161318363496835063216588872903681034\ 6860939009666073349646/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 + 5633978467182893645563047301136315535207021240046334673892203982762\ 115578382012534173121/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 5002142073156732509406738995885491020109253973628759390818892663587\ 7704886839708387192725/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^22 + 1213839873468590314172248967309557752714731216926526733607601893325\ 7292826233900002161173/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 + 1134812137841149580371553850730386425950516282535735816907296179926\ 97871564324899933257774/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 + 9395818509575412246205466276458121891941985276049981555496196175899\ 16995659572345486421/5179256091417944698077438138241473723712643204\ 26789143398478958167900293810004311921*c_1001_6^19 + 2094425000889249036575669915768313971629538515929638171766150203536\ 09738738414759729942887/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 + 1061839813815121661448094975635083029129634108889116032372402313062\ 57220088757208381811399/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 + 3526545949945174795058607876387081561146964476497311699332748420214\ 52257664699841527199975/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 + 2833301349778878648592379980244363646715907025106772692428039129793\ 39624965941160246616347/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 + 4650478656080693079754094050894560859821496145781400674592514511575\ 77615396081101407174742/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 + 3904200974196117051631850444800916705498842085077896466828949200490\ 48212335698599241884398/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 + 3609730176268462371092887302116887985985615675833245233464141110532\ 97264073343614295871642/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 + 2333906906696398202190992948884678687274943060873888468431862352050\ 26978815581270369719995/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 + 7870816952000642837242153480352527786860485316269719584014585267661\ 1821748265936801988264/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 9599082873248132555106766192317035747651613973779100891959001459741\ 467003242625150588145/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^9 - 7518147089950939722110797616624722682022604095939915438220183067070\ 7354313090766759832276/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^8 - 5952565566493210075865266658962434457056077121484084685735278425460\ 8965211587539807847961/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 - 2998371039837884651395633726004787591596859070184683405247217623120\ 3727098286805476055044/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 - 2688901710358036212977990048774265644032554936640966137118121789666\ 270678994999415101212/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 + 7993530111522475917167495992860969124659548967492760304520385682435\ 289429339640744424391/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^4 + 3926572096025940735523938498958688241668782170205366903507875717723\ 582410546306073256229/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 + 3918888572456798301680359231299238582911639513104629562891270939025\ 67060875878001729307/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 1217658070164251781635468017711280250779071908222970576444154631639\ 63581115168845690913/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 2341745848512805599112555623555511416731960533789582756383342433425\ 6588218493909781153/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709, c_0011_9 + 329476150852100383357999068100645699546247453679692416166736\ 3933852076132261822373419/15019842665112039624424570600900273798766\ 665292376885158555889786869108520490125045709*c_1001_6^28 - 1068111623348385907772365870782809143463224112898884016869925993237\ 71679037038356910541/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^27 + 5113102047271978829132321738788832221058974710186629550481018386438\ 3265421985692986226/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^26 - 1579131431585549177524184015522771974566920609263786456629666564634\ 447108931823776288561/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 + 3845809937846799109851408756704071017693762399754018537647930882969\ 61262815971440988012/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^24 - 9909009251063005213423149156093246316886756147181907471835520363934\ 321958676948018575412/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 2826065827148304520973610087722089169956524717911094638357303395513\ 990721378955186278895/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^22 - 3506839495137713863375282439391683704763224493870128609535370166688\ 9738515324182379793266/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 + 1374723208849788109766015225096831666773425006005813175661319168110\ 4679507928231125469710/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^20 - 2882161805757648041115977810924177615759800068131052144371691481927\ 743267393599268168935/517925609141794469807743813824147372371264320\ 426789143398478958167900293810004311921*c_1001_6^19 + 3204474350812678584862256073960568750437001388376641811237948894762\ 2146282048384372077200/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^18 - 1565083036015961065251562710864766778860686152718565057233173855833\ 54824459506182100314339/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 + 2103462690895997955112021681124490269810233850549424224304124986248\ 1569038941442116792783/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^16 - 2422585736707715217201658420411251291155815262576133901245588720290\ 17518780150867307354594/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 - 5037646039738061759763375593077728232085208379012495784724005975124\ 7232003274705359531417/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^14 - 2755062286098918735281592120190736829367033837181792531242031025899\ 10263497949949112640820/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 - 1090962672391332285232175796108856871437183940173439115885379476608\ 90064337595762340104831/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 - 1787562249510129527853969847522692836583118570544117564444086543272\ 09905601098149320188249/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 - 6605850565452878188639690965665994098126059974364118440946770192776\ 8736104314960062208095/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 2249843075254275355955826529406461064287769267187712497705044441759\ 8379695612438642973245/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 + 7931300307116008602795133378541835786696620464877589733927334112794\ 173276858638354718201/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^8 + 3841355503706374627495241051762967912388579210942592000293008169081\ 2596591997866654758908/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 + 1392534499846909550305914656127887309356267124122371409748746537144\ 8309283926597022170419/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 1021485999406336194933549687607885652605459882621969135490539489847\ 0481335667646719789209/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^5 - 3244970173123830648105512903688440013088359094289485758103515978815\ 506990746421186770067/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^4 - 2963077812276864011830108778481225993286277119513759985671888616512\ 558635173179260350767/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 - 2800151249107415465024947170128858732894736017910686721018796277743\ 26069994158451146289/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 + 7128830451904988599550357314119819090020766222888747367548333190353\ 2836911107904366515/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6 + 1190889309359050203389370642738193655204394937359178637694681965135\ 6844924479877663780/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709, c_0101_0 - 200244969505393341741345821351752632880522368956157061166694\ 787774791749517965881312296/150198426651120396244245706009002737987\ 66665292376885158555889786869108520490125045709*c_1001_6^28 - 9941647683005283744879546780518164336183296728609830335636518665532\ 6579685896223765252/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 - 2944892553774146264360973994188408140194560652531872512470598067103\ 491371643687701815559/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 - 1381508860366271588740365004267200960960986645188796378200988636749\ 331506276006602727313/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 - 1825229192021594176402242240068021088875640488693473592553798602757\ 1675749339160698646997/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 - 6252425565820791165992017021527239150771532005545252907679968532549\ 376428408988599903622/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 - 6244147751036632957835643784846300227195691666492004695034991165994\ 2703101356066975248518/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^22 - 1257823865353586863675405166117607748188781055218005826943783675616\ 2022275541351415360446/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 - 1408535742711240346689660808809843633195989091752495126153080994844\ 47734671519909362987154/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 - 1004023332835321703447631553229030800169367435642879554491278730597\ 992466760508973246125/517925609141794469807743813824147372371264320\ 426789143398478958167900293810004311921*c_1001_6^19 - 2582385442767984054995286069446821311445160186399036695494971837034\ 62545370416797427927351/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 - 1257767824569748233152293225455846339003809132991337035668240688115\ 37260268044608453845109/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 - 4296327215274045230463647871199010065593545859486979723521992262991\ 45740564251342808011051/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 - 3427885704806724290945036375144924901771670610925251142447755956382\ 89115875263547879670205/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 - 5557971407437936133880298897510828285061616880747403944204048726151\ 29511668713460755512345/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 - 4697031252693327002894222396069972620305858510566519297891337203228\ 18029265110200101534854/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 - 4180242954301777053227464949392218552112691113283239515898404997825\ 28439185115799787238208/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 - 2756421473013757543253076599791568085879148727878901305125145528220\ 20999155312087819519881/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 - 7993436566208795287044475646052453185761607958092856176983942082213\ 5923538570005439055724/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 + 1348690180717494478194694578786462482207288704101373227371940466020\ 7740092762550602426169/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 + 9069389374177044771107137354102448490961452128399027304373824604266\ 0978541957010795342363/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^8 + 6767256553708063231686900990109173468331314581527787295264228368114\ 3544488348240204802323/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 + 3059938765813002066088581882354161666330900922117398005385991867889\ 1819746012344941543670/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 1590722953257028955840610391515031156685513759470406053998469807393\ 766406400193506853703/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 - 1029721779334723469972445496842616192845448355762782738660038259519\ 8363871549266446900289/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 - 3682774215473596209171358767301536656914455223117034259006148258023\ 610656575359555124740/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 + 1361968817843958951682562154895721112564824709719758913427111545863\ 4024714062163656564/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^2 + 1090654137478836677020111984342401602480926842555996467594712753705\ 32243554978234837901/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 4090423237699056266496483506765574598730204272804941751046713750267\ 111231823360316118/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709, c_0101_5 - 263399008200652898926066898968646250720878710571683836120971\ 1424821081346568690299831431/15019842665112039624424570600900273798\ 766665292376885158555889786869108520490125045709*c_1001_6^28 - 5816251694902455808828068912800154328004837570172179686907549929896\ 5784765297939827613/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 - 3886606718586390480801972039070095970589116020370778156979141258848\ 2610962586910719624529/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^26 + 2464979190304448761540274372989240262160859651831349625220813355842\ 91836647007599225013/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^25 - 2425172896873789234147077505621610694113654261200045837780759395322\ 99197686130836831693546/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^24 + 3259136725610925681705903876123440978981321177611394480619470089470\ 0815637538628823410335/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^23 - 8511949120796911215840545021819866996063902969676326257988068587462\ 13184817947903079854241/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^22 + 2388826161034096215997209233368306546730483136446784327946780716691\ 74362147186636619575352/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^21 - 2016224984603448455712278546280513943027772063426226155394465042842\ 259777217664662232360112/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^20 + 2009559850339524760262395301843379089709017718860652718801610126630\ 8065648752341952362185/51792560914179446980774381382414737237126432\ 0426789143398478958167900293810004311921*c_1001_6^19 - 3790651243307241159764659337883604778084660298895640981869050163000\ 504780387340510148553731/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^18 + 1665224123501797797229885698817688185657010024247403390399394337830\ 37477256328347022897273/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 - 5949539783192837831553926386829447372038209240500082892144903538266\ 984719528707528145868641/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^16 - 1699751482606494732054545716416388535294791757494173087682248082688\ 700447477504738798510752/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^15 - 6851716875121055364041712481729659521165281129610439435039605310828\ 315785162445948469753527/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^14 - 3064798382178427724967433275429020915663331825571754010821841360281\ 630417244210639139340669/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^13 - 4452055682035801446417679334096857609547871152758080949183252192779\ 487781336619264622607524/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^12 - 1734899112819740657136143780824417627124462263115527840817213611256\ 666490499285615290928207/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^11 - 4985695153623183758769668524382222681710585682040990601954792164405\ 91937852248088008987508/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^10 + 2865509265779242050875998599800002017180065313273578445707582700372\ 02249545003949473589688/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^9 + 1024425410584593666440221217734041896727845421968359781638095660517\ 782683302572287795404896/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^8 + 4165326751312337205609814340784622721603015336604886218518093112218\ 76323708979267678638846/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^7 + 2657464338200861297125997323080948882855739288729802033269310809924\ 81541350856017399180016/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^6 - 7818112390291140270057243202438104447465388730662557268107891041340\ 7859268087964412075553/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^5 - 8373525451655613211950396555239456549799913742032775612842566751035\ 8026426221238737063234/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 - 1277819600336998192197413073879473864686276020907065854010496555550\ 7017256076622040517446/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^3 + 7327112332012490674315884187288818199002750287900308776275588607635\ 96248046013395630024/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 + 6188281799238527304693668952331312417263838074464594182983225112220\ 10986822557584100187/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 + 3255947775599278419651458877529726584783745711859604290690704311431\ 8262534310881730764/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709, c_0101_6 - 190110451937841036332319265637715326115049842384145344610322\ 21531859458501166408038549/1501984266511203962442457060090027379876\ 6665292376885158555889786869108520490125045709*c_1001_6^28 - 8565637577530113005953807250832834323652962926182099985630243881249\ 3550094356395594003/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 - 2809832856514994554862246114198985250004698760791614533859160057002\ 47519817784307434521/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^26 - 1255927244718077898092727891636624692150292131617040000345366504217\ 288401159986044058634/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 - 1721835690532525137664371408036701253022850375253229622392755681739\ 389587186004236068961/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^24 - 7613770770979623007426666737178638378941453487731730540395297926425\ 538115851553957984685/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 - 4963980456028741057962868096696879056932709282638005384186309737989\ 134774171074377873435/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^22 - 2584905415198970636378348423333305929727803328910560424158253693954\ 0144193688030889492383/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^21 - 6402681275974397357850316189698465547716246863643165829726794677304\ 107935788905288342943/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^20 - 2111139302480739675261311731169752042655969867547666632407892007104\ 479187938446769032011/517925609141794469807743813824147372371264320\ 426789143398478958167900293810004311921*c_1001_6^19 - 7562622264786528604441145645465302317595217928175320392300591212331\ 140730154668355978822/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^18 - 1219311612872768130593459282493750819981406912368454521323707847457\ 29137336924228852638548/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 - 3587339787100155079600821472750249948296974035773982252038505922636\ 9439591111946473337397/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^16 - 2051899167851217533889063035489862341163648826379836064550376625792\ 63594527465074403918262/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 - 1019924295161559464916771350648459003302805442022718585840696667188\ 40782026661526525744815/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 - 2435825258249194575225933779125551643173995940784385141735423070609\ 41705195534877599018918/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 - 1290718442838362102553056232701782035470706781569822173989882164808\ 88341485846181816358570/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 - 1563428902977990404210068029543965091023079458565800267545289565916\ 28188800703105785251307/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 - 5961899188022264269778020797615184688742620723058056826121459542326\ 4971141283430601496609/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 1514167130870456871392893759801257802986439193318616671975039330834\ 7380666820439169631470/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 + 1475184147170904457498401765619926102500109158875380647830157350831\ 6360529898881302202787/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^8 + 3449619382824181946087261154067929614784198041410329401343391787858\ 8814615025624572841809/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 + 1396066976521654255161516945955195495315123313665257131009792228852\ 8490452734799544158213/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 7473537496912396526248502058394300786698341022944067350648717865039\ 760603052835045999500/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 - 3114392337409502953783867463049168458682665766691129187787930942972\ 890035545271177819506/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^4 - 2600150392764584487982004606095296872223676254876962008749385343722\ 717774122448285326697/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 - 2022036409243698635449225517921134658537940835796899796055800241642\ 18554267066691858776/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 + 6059675040050314190944309365225745309093445152811452148118780791602\ 0505722411426743084/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6 - 4572504036577137346783508884735469046800357613469221750998434367834\ 108702117863866807/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709, c_0101_7 + 232467270394012077640896193495679808081650690242519451799921\ 0228015761682922643104993496/15019842665112039624424570600900273798\ 766665292376885158555889786869108520490125045709*c_1001_6^28 + 6608278402679110128711430776777564542401904473817307544602460950473\ 3765497160347589667/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 3430988325853998312694779879328269202608248509702388132752405622151\ 0406925535907481954975/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^26 - 1535818858801954808023008323373474760991529645639105687255023605172\ 970206251392234846/150198426651120396244245706009002737987666652923\ 76885158555889786869108520490125045709*c_1001_6^25 + 2141507229790272916545082145937023958596749083349547041158190102131\ 08898314283138875733960/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^24 - 2743243103698802301143481816760666450088599701057603731399631964795\ 9488017645693917055764/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^23 + 7517808762200167446736471450069229617949361346052303386356099460005\ 49316542853292897502633/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^22 - 2063121628522344615834926354794788402245834812370352376380973368386\ 08181323010100234693535/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^21 + 1780750286284760025385124440564973232936990057864202162690690152295\ 989524926826004140693007/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^20 - 1738859353583086134872257517654922441028561184070776510364895994979\ 5992982886879428727356/51792560914179446980774381382414737237126432\ 0426789143398478958167900293810004311921*c_1001_6^19 + 3348747088319944349410533576401266323661554850692094429167235449408\ 768785223345835823788049/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^18 - 1287155077184177620372076542460653255515519417024477738986258391219\ 91657623452727423169224/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^17 + 5262479308121046909631102019445371113664087674192156772147558895934\ 143454609876635661287038/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^16 + 1530568914308384148112942400271113804701081590275962327520790830786\ 309475789786156601849320/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^15 + 6076186371928356318886687967612849885295344802775187897643867205737\ 872319569089314928333908/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^14 + 2744955889409390455880228884143837517815457366309844614622791435644\ 254053238262990117855212/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^13 + 3968873217470329815591628206718479211431354662177703117140714494583\ 783278810446443794734797/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^12 + 1562709662736345430820849738827297205735979799029473222543241446804\ 436927933513520564346068/150198426651120396244245706009002737987666\ 65292376885158555889786869108520490125045709*c_1001_6^11 + 4655315565608999911988078782144845086934567672831355158503826886845\ 03094588498965267687459/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^10 - 2446648810027556506120061699137293032951970687931657453825718094561\ 16910710094498868858062/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^9 - 9014476945725701308615801403639624398730650655504239566099425881669\ 14086841552052377858832/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^8 - 3722445181373966993802573063459446568910609775900528897305234130462\ 61399426964483255525245/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^7 - 2383384982095238284241712755430818320464934084466558027886408787957\ 01235224262324993105881/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^6 + 6729876777681476403213466529939854035797901048152184186188964162072\ 2331272204758926092278/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^5 + 7352644982689959065314048322576449171985975922258377733975265457692\ 9119531701250467380978/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 + 1187878648677711963453211541205647974537722257791536931061002332666\ 0686104526512320869863/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^3 - 5860519534418944422768770964653344323365021618205488183623229332221\ 48761963906643939594/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 5799065945555381120909376341885532063225685146806638656415186287773\ 46860351809824742864/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 2880848647167981942798841331785298143806887985391539033746682516917\ 8838510682805199760/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709, c_1001_1 + 323663708776594631802721545979315036313097858936799476454696\ 885695442007585929788040130/150198426651120396244245706009002737987\ 66665292376885158555889786869108520490125045709*c_1001_6^28 + 8575507396335854184152561126183837018880344221617541452308285605276\ 0613989068411216850/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709*c_1001_6^27 + 4763265338532333221429854199982893555050710973613682106992903124070\ 065733113085763633095/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^26 + 1126075327479326549837276996056138841321368328316095552673995772457\ 786560160454825571579/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^25 + 2958180288200790110892253545757813193377947539249428082557220794031\ 5242834842367567956971/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^24 + 3185672517543241586042809407756215706412930788709032492806466457925\ 671529593645423379723/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^23 + 1023050031527585268142169156859043046994854379962705205259841530990\ 59833254311110394234054/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^22 - 4084195249518294295155968172159255192049122563960037722195350284872\ 766873800060201727250/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^21 + 2360450463475598546967706375304859232776117158292443137128572636340\ 17813082503053574131680/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^20 - 3886870255968490191927300942966846262602565091736287556633654610987\ 17640565794445983147/5179256091417944698077438138241473723712643204\ 26789143398478958167900293810004311921*c_1001_6^19 + 4377777278624352971358542641500128760213555098077304364101154987254\ 83095033888368892753853/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^18 + 9302743677942301854382798269263201544462196343195169902646048065712\ 1275556423399023392341/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^17 + 7063826394082454622386668119947374631787767544347933322504901148207\ 10955041030121249452215/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^16 + 3818400345621290186803613584073157723782322117302783235500961212431\ 46072876672177118329523/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^15 + 8609071679591199332178198189836165686957428745251147096799511740997\ 11166031975335104571102/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^14 + 5629535080796884270305442314229314203226424987975729413707646637576\ 82468631322913048978983/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^13 + 5995473739048875080676105345266013430517708743330526313227302244984\ 67348692107704119642510/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^12 + 3185203664927220667492694547275090310092734808305598019451506774126\ 59862300659925575565684/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^11 + 8467983651835252790447838733178422042997293812887520230454269310446\ 3577570892033091804793/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^10 - 3818543969290583936825502157805187171765823183494733498774047525921\ 6271043210437001782154/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^9 - 1406291101650865880713021657848017634883651120598996518652892296579\ 27409912144802888436726/1501984266511203962442457060090027379876666\ 5292376885158555889786869108520490125045709*c_1001_6^8 - 8314721973686181696714726618403001627738430711927396920854430037447\ 0369643593498953566581/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^7 - 4047347813907770894569460185794868657345226972355488158307226022557\ 4047364976658924405915/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^6 + 4345255370377477166161626345014922829826171313228670250691258429230\ 876955807926590113227/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^5 + 1418631855341385177833490651786914352807711053014396695888718940935\ 8350499884127973986830/15019842665112039624424570600900273798766665\ 292376885158555889786869108520490125045709*c_1001_6^4 + 4095144226512782079871515583384408558099434530892001588770277443240\ 624933828826469669747/150198426651120396244245706009002737987666652\ 92376885158555889786869108520490125045709*c_1001_6^3 - 1739174560502849108750566481232791986517745298055403313447620048590\ 94813367973608812355/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6^2 - 1307090077887428739947129413384712434968182548760085736261764871790\ 45488683849396205792/1501984266511203962442457060090027379876666529\ 2376885158555889786869108520490125045709*c_1001_6 - 1055355397197398078367719627258413027174203449875254594928546139418\ 7885159232323367423/15019842665112039624424570600900273798766665292\ 376885158555889786869108520490125045709, c_1001_6^29 - 13/241*c_1001_6^28 + 3547/241*c_1001_6^27 - 292/241*c_1001_6^26 + 22063/241*c_1001_6^25 - 4652/241*c_1001_6^24 + 77309/241*c_1001_6^23 - 27570/241*c_1001_6^22 + 183326/241*c_1001_6^21 - 66209/241*c_1001_6^20 + 344166/241*c_1001_6^19 - 38864/241*c_1001_6^18 + 532852/241*c_1001_6^17 + 116211/241*c_1001_6^16 + 595542/241*c_1001_6^15 + 229564/241*c_1001_6^14 + 364370/241*c_1001_6^13 + 120489/241*c_1001_6^12 + 20397/241*c_1001_6^11 - 33532/241*c_1001_6^10 - 92497/241*c_1001_6^9 - 29813/241*c_1001_6^8 - 18123/241*c_1001_6^7 + 9953/241*c_1001_6^6 + 7807/241*c_1001_6^5 + 227/241*c_1001_6^4 - 404/241*c_1001_6^3 - 54/241*c_1001_6^2 + 7/241*c_1001_6 + 1/241 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.360 Total time: 1.570 seconds, Total memory usage: 32.09MB