Magma V2.19-8 Tue Aug 20 2013 23:58:25 on localhost [Seed = 4138770039] Type ? for help. Type -D to quit. Loading file "K13n1165__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1165 geometric_solution 12.38566280 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1023 0132 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 1 -1 -1 0 1 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826208827236 0.648381880671 0 4 0 4 0132 0132 1023 1023 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 -1 1 1 0 -1 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652764490909 0.360575780489 5 0 7 6 0132 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 1 -1 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635280963475 0.588840428243 6 8 0 6 1023 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330025145796 0.875702109549 8 1 6 1 0321 0132 2103 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -11 0 0 11 -1 -11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826208827236 0.648381880671 2 9 8 10 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598619606089 1.048042584760 4 3 2 3 2103 1023 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551092837335 0.720315333006 9 8 10 2 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -11 11 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598619606089 1.048042584760 4 3 5 7 0321 0132 0321 0321 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 1 -1 0 1 0 0 -1 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760222483468 1.227382417408 7 5 12 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734817207360 0.834972028256 12 11 5 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734817207360 0.834972028256 12 10 9 12 2103 0132 0132 0321 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 -1 1 1 -12 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954726589426 0.742120831363 10 11 11 9 0132 0321 2103 0132 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 -1 1 0 0 0 0 0 -11 0 11 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954726589426 0.742120831363 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0110_3']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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_10']), 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : d['c_0110_3'], 'c_1100_7' : d['c_1001_8'], 'c_1100_6' : d['c_1001_8'], 'c_1100_1' : negation(d['c_0110_3']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_1001_8'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0110_3'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_8'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_4']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0110_3, c_1001_10, c_1001_11, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 1569350386767116473353145028566997596610204182376002688096445813196\ 948957034133175/378891089453488357886015391027069835869377991442915\ 08151850630861476017591355188*c_1001_2^37 + 2007226096206034495590451393729666111535316148070814837709776149198\ 39001625499749/4209900993927648420955726566967442620770866571587945\ 350205625651275113065706132*c_1001_2^36 - 2078712448530549578005713658370709399397215393444446565232132339763\ 0062869673430887/18944554472674417894300769551353491793468899572145\ 754075925315430738008795677594*c_1001_2^35 + 1224945489338320447849407359634756772814132047223338290891002316131\ 307166540567086/105247524848191210523893164174186065519271664289698\ 6337551406412818778266426533*c_1001_2^34 - 1250925798867545399360478655897172739922024233971086213754109354262\ 46996281323094558/9472277236337208947150384775676745896734449786072\ 877037962657715369004397838797*c_1001_2^33 + 2446770078989244941036301481802739832215420933970547206164254978444\ 31278612574638671/1894455447267441789430076955135349179346889957214\ 5754075925315430738008795677594*c_1001_2^32 - 3650512742603683589157479803482532970522445426488590526273639729168\ 233744795358359111/378891089453488357886015391027069835869377991442\ 91508151850630861476017591355188*c_1001_2^31 + 9133086675128544154856270398016925581257001393725431544474295976810\ 6754302023806136/10524752484819121052389316417418606551927166428969\ 86337551406412818778266426533*c_1001_2^30 - 4532619919490893026163085012256009156731249579946087426586043038260\ 776796366494325907/947227723633720894715038477567674589673444978607\ 2877037962657715369004397838797*c_1001_2^29 + 3749174435146960308659462578342416500141555699012384828059863271918\ 421169252889772078/947227723633720894715038477567674589673444978607\ 2877037962657715369004397838797*c_1001_2^28 - 6517470282169102910114696547708037761644390265115759756850853282032\ 5997860646817846421/37889108945348835788601539102706983586937799144\ 291508151850630861476017591355188*c_1001_2^27 + 8210680885891334633864426899809924758893391081464261485452655160452\ 923183631465164605/631485149089147263143358985045116393115629985738\ 1918025308438476912669598559198*c_1001_2^26 - 8788518942989366380485335818209069344678570941718155141570281928984\ 0310800185098440841/18944554472674417894300769551353491793468899572\ 145754075925315430738008795677594*c_1001_2^25 + 3010214450720739414101457109046016520327155565886807002252359123594\ 4833469107709524415/94722772363372089471503847756767458967344497860\ 72877037962657715369004397838797*c_1001_2^24 - 6051626919963876379507094776148496362644715531385833235371182457091\ 2023427654404519429/63148514908914726314335898504511639311562998573\ 81918025308438476912669598559198*c_1001_2^23 + 6026826234216849538649579547325336562285693424547960157538752371011\ 85200370368833763/1026805120470158151452616235845717712383138188192\ 18179273307942714027147944052*c_1001_2^22 - 2900375441145147376910333836944439087666132896956858134145609034326\ 31045412336591028695/1894455447267441789430076955135349179346889957\ 2145754075925315430738008795677594*c_1001_2^21 + 3105830396681396366303177871339470711429501986326773772414573837796\ 91590374603811807285/3788910894534883578860153910270698358693779914\ 4291508151850630861476017591355188*c_1001_2^20 - 7161784927839170189307808071332318983628606154941673085899075864782\ 94597182622883393559/3788910894534883578860153910270698358693779914\ 4291508151850630861476017591355188*c_1001_2^19 + 1609026644090308823324354952222441402814770189389178101544000449577\ 30740049626809766719/1894455447267441789430076955135349179346889957\ 2145754075925315430738008795677594*c_1001_2^18 - 6742012945024012302436836988377044242310418046546495718012565565845\ 36764299420518490103/3788910894534883578860153910270698358693779914\ 4291508151850630861476017591355188*c_1001_2^17 + 6461047128581625746730362523044925619650523400577619633031024608057\ 603773950495592417/105247524848191210523893164174186065519271664289\ 6986337551406412818778266426533*c_1001_2^16 - 1166912569347998505564580338218563031180777082775058984525748962730\ 56765959705326338941/9472277236337208947150384775676745896734449786\ 072877037962657715369004397838797*c_1001_2^15 + 4630891869079930922453708846351611510604903873643207762436896983571\ 6048674877973011605/18944554472674417894300769551353491793468899572\ 145754075925315430738008795677594*c_1001_2^14 - 1077056310589694495698074263137394476610157174100320121906588442019\ 22516475417673639563/1894455447267441789430076955135349179346889957\ 2145754075925315430738008795677594*c_1001_2^13 - 4168459881777801048088394011326861439045819855409003908868488461992\ 44537788157945541/9241246084231423363073546122611459411448243693729\ 63613459771484426244331496468*c_1001_2^12 - 4182650095290140260739759581952450934036075393694239578680394069279\ 1141541707467933305/37889108945348835788601539102706983586937799144\ 291508151850630861476017591355188*c_1001_2^11 - 2803746387287267028432063628636928369224176819499990732155198972026\ 7629585728043252515/18944554472674417894300769551353491793468899572\ 145754075925315430738008795677594*c_1001_2^10 + 2300981818350654182974566604701829069837661554624710737796731073636\ 9859842607956838699/37889108945348835788601539102706983586937799144\ 291508151850630861476017591355188*c_1001_2^9 - 4387642835379305515477479998954910077552278967516431326623234300111\ 0391203422631337191/37889108945348835788601539102706983586937799144\ 291508151850630861476017591355188*c_1001_2^8 + 1953851941964239128420040826268310033855489275143332078468806999695\ 964482151312934918/315742574544573631571679492522558196557814992869\ 0959012654219238456334799279599*c_1001_2^7 - 3340766760308327279971381399113373853569898892287962401763397459388\ 145250859533569969/631485149089147263143358985045116393115629985738\ 1918025308438476912669598559198*c_1001_2^6 + 5413694512840817473254377098628278067280013896451448827310813111933\ 60486001203037455/2104950496963824210477863283483721310385433285793\ 972675102812825637556532853066*c_1001_2^5 - 5660983914353059563540508233369848975346945085450929247642176135751\ 207719373166503235/378891089453488357886015391027069835869377991442\ 91508151850630861476017591355188*c_1001_2^4 + 1081040933903413074993950772968759455498742609916264770718126942075\ 320640599903446475/189445544726744178943007695513534917934688995721\ 45754075925315430738008795677594*c_1001_2^3 - 8980140359953194822132709689789045593457783015931952541874074248130\ 09206883351147331/3788910894534883578860153910270698358693779914429\ 1508151850630861476017591355188*c_1001_2^2 + 2093855692264595497959218359364196069294203497467832212867566773002\ 20600496069373477/3788910894534883578860153910270698358693779914429\ 1508151850630861476017591355188*c_1001_2 - 5685742566483037685332925301864760933730700060169636636871694530790\ 8954701004521217/37889108945348835788601539102706983586937799144291\ 508151850630861476017591355188, c_0011_0 - 1, c_0011_10 - 81455831102458014817899064564963264720914674408099913421707\ 8181196753720383/54443537670740092865992377298288319850643594283784\ 824641202514694606122982*c_1001_2^37 - 1958852891613941157424421015445867728741030037255429416736424836677\ 61233454/2722176883537004643299618864914415992532179714189241232060\ 1257347303061491*c_1001_2^36 - 188359813740599922809482140876656131\ 19202898417835378143666231012760568983575/5444353767074009286599237\ 7298288319850643594283784824641202514694606122982*c_1001_2^35 - 4435993331916744413048212461394238580902463199193747894086365254683\ 305510938/272217688353700464329961886491441599253217971418924123206\ 01257347303061491*c_1001_2^34 - 97567752875907577051862534216068424\ 761180150663961199225933995241101240681578/272217688353700464329961\ 88649144159925321797141892412320601257347303061491*c_1001_2^33 - 9038695427873763741421620044157823220052401629449225753294415908491\ 3357151435/54443537670740092865992377298288319850643594283784824641\ 202514694606122982*c_1001_2^32 - 6050151451997710442964691501989923\ 95953960075062574013463866566898588156855048/2722176883537004643299\ 6188649144159925321797141892412320601257347303061491*c_1001_2^31 - 5644342631194038798636282900314071115953464123477360729253078040455\ 38010913773/5444353767074009286599237729828831985064359428378482464\ 1202514694606122982*c_1001_2^30 - 252491609811753460095190506091361\ 5377158960076239877338040333990855953533928835/27221768835370046432\ 996188649144159925321797141892412320601257347303061491*c_1001_2^29 - 2452649939676292869601415961523849957901124331493187946874553996077\ 952456318609/544435376707400928659923772982883198506435942837848246\ 41202514694606122982*c_1001_2^28 - 7541711667253748909402154147738370821115907589507496685930234917001\ 117826503454/272217688353700464329961886491441599253217971418924123\ 20601257347303061491*c_1001_2^27 - 3956885031300521972657667625459617477875106294780449222698711820413\ 257012096761/272217688353700464329961886491441599253217971418924123\ 20601257347303061491*c_1001_2^26 - 1668978533585284521294618526003498587774989063317266462877381638173\ 3359228478280/27221768835370046432996188649144159925321797141892412\ 320601257347303061491*c_1001_2^25 - 1962354894104681996260610210798743548188916743624251365674165905974\ 2819602070187/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^24 - 5571171206576944744441669928887620480507029021870705540862550081533\ 9239079942661/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^23 - 3800459386314260676242626519641529357047175481340298220113362160823\ 0302151316301/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^22 - 7049304434053784619008064460186353894303916496249160299175533883094\ 4249591579967/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^21 - 2886010770783872253582022772158423993698082793975288743020337723411\ 3147095790389/27221768835370046432996188649144159925321797141892412\ 320601257347303061491*c_1001_2^20 - 6723901512269918320285267005580263693528637177818046999946663680819\ 5901780340503/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^19 - 6838820379139996698639684276056790444402010382574157453489223707558\ 7909636626769/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^18 - 2382716459678224180462629292651615925583710388025174474309256788282\ 0193343201531/27221768835370046432996188649144159925321797141892412\ 320601257347303061491*c_1001_2^17 - 3113464807975445942679516140817603773372390732424395143754430024421\ 4054882536486/27221768835370046432996188649144159925321797141892412\ 320601257347303061491*c_1001_2^16 - 1241608410774281642970881716538909666612932507477460169070584137802\ 6672371840538/27221768835370046432996188649144159925321797141892412\ 320601257347303061491*c_1001_2^15 - 4225093598939568979345041707148357068032033438477909325496747982420\ 3255705455209/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^14 - 1017823081963684972122722498009366830916524163113956390969674873451\ 0155976147097/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^13 - 1995196872173773742366130963409383461053018295170474821160027075432\ 5918134673857/54443537670740092865992377298288319850643594283784824\ 641202514694606122982*c_1001_2^12 - 2319048206858785486095945375941755562525908890931587878709495168906\ 216843764124/272217688353700464329961886491441599253217971418924123\ 20601257347303061491*c_1001_2^11 - 2647566161406952308554060964546874239549112964310755926622553040105\ 435958366968/272217688353700464329961886491441599253217971418924123\ 20601257347303061491*c_1001_2^10 - 1514571196737937949480853945540611132021520997076633339167407275722\ 005753686756/272217688353700464329961886491441599253217971418924123\ 20601257347303061491*c_1001_2^9 + 119503738326018378637437809064255\ 350525490833802857067986633876376474448317690/272217688353700464329\ 96188649144159925321797141892412320601257347303061491*c_1001_2^8 - 9163905933413799628714316973397161390022663736626696294659499349407\ 85405786397/2722176883537004643299618864914415992532179714189241232\ 0601257347303061491*c_1001_2^7 + 4096642771850029279452110677119299\ 32510077261845065076134782756220416394497721/2722176883537004643299\ 6188649144159925321797141892412320601257347303061491*c_1001_2^6 - 7389240235813152806736188688197668814168310243537225677682686952141\ 86279228617/5444353767074009286599237729828831985064359428378482464\ 1202514694606122982*c_1001_2^5 + 1541416423848894875516200930426167\ 30364441645739431198339253091392427025564244/2722176883537004643299\ 6188649144159925321797141892412320601257347303061491*c_1001_2^4 - 1697425377652889479815185285821347647820168236624324966032854952810\ 87851050357/5444353767074009286599237729828831985064359428378482464\ 1202514694606122982*c_1001_2^3 + 4671261790605853773824562741508120\ 5120035045581647962637915749473135817237755/54443537670740092865992\ 377298288319850643594283784824641202514694606122982*c_1001_2^2 - 1658942807425913474668252932720714112124658489287174407386446204376\ 0732838589/54443537670740092865992377298288319850643594283784824641\ 202514694606122982*c_1001_2 + 1247343455869250199510703392457702526\ 174594628490036621455757418888518824201/544435376707400928659923772\ 98288319850643594283784824641202514694606122982, c_0011_3 - 777412679824749581439841201342894297993126871442829614994559\ 707342032725701/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^37 + 4529698283729246615697105347088549233904459146940305391888084113316\ 917958835/125220136642702213591782467786063135656480266852705096674\ 7657837975940828586*c_1001_2^36 - 984357743085540936647146635374299\ 1216088132353694829078225294153614960478667/62610068321351106795891\ 2338930315678282401334263525483373828918987970414293*c_1001_2^35 + 5363660882363478155949960412197658935167756206767770024702806224584\ 7714069865/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2^34 - 114418556128916364678992857141189\ 995540229287857014147767872584438234260228216/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^33 + 5724934060471201075872919922672098374967095929573391132968532347614\ 48952938036/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^32 - 1633209642010310027863487215445843809295115954580552308702596152661\ 558308761115/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^31 + 3679677309120382167238927578152771041281958220569554990746787420231\ 356742743061/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 - 3999884139289630736166073711028087477436198559241775143437697966602\ 549739228119/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^29 + 1601537585419649832578513038901971419950514874959494259030996819152\ 6565119496976/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 - 2839466018652552687456871319136765897077142491599027903385732785867\ 4193222370521/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^27 + 5020977827439941960387429851420120248323311956941322765323837715258\ 6813587896859/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^26 - 3757866227195582697392960834094536626270453384461408831008664469307\ 2764181260914/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^25 + 1174352238307625141629881116420548115751500775561357790913040968287\ 42192235301315/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^24 - 7516171064639990114166029646686153306269634637051373457908303409200\ 7959208825980/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^23 + 4174617277914840077512636509745541136451991348448498336076463302237\ 11249388180807/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 - 1135981005874991513250960874979306863117508812358980855310780585079\ 24800432317695/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^21 + 5669623453772173707647907201679176352491775920644840176495840987336\ 47266121855737/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^20 - 2549945757673620861705754373110548816532508038832471430339143414609\ 37176573739531/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^19 + 2918349929059633246363333183840866334318063772676281429158693002465\ 71528614730270/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 - 2013332207367959452382520468272875745209284681467659041380690215191\ 00230234317499/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^17 + 2213872365206818822693104102014334527059272952682983311270346105212\ 73526203852764/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 - 4618443042526784847455402180433355582672185012258203956548642308125\ 1546062744847/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^15 + 1146738670827983227784436279268433326435148800408997627432584858945\ 36819771922994/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^14 + 2771501839382680071214395890639984142832109415696440453488062966286\ 972961481363/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^13 + 6055084254774005968182081326268340577524799171031864368145766789088\ 1100010624519/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^12 + 4754543192223974645501009336819762502798703914622339168519935094234\ 6378160425145/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 - 6822967726842824688905361894977839827021450559821200367113693079548\ 555335568123/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^10 + 4128566371458066132069742322938173682566667170809474092716472474966\ 5560533316595/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^9 - 2146505181322816336486177674652733684275474931416611335132807895118\ 2306687196105/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^8 + 1011926879149658962577346744142184017255186399307560292088038175371\ 3532805429338/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^7 - 5004083719217681825742907149445063028842442109095326298238773616062\ 745979015631/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^6 + 3057449335081826960013400071290112183538801695275453295749855038635\ 839214103583/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^5 - 2425575927327868796626528332072635974592246421650785201885180627885\ 810670875481/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^4 + 5285582007249727204138979056431166460240848559397585211080179200387\ 93458345094/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 - 268227739868218152363825080573783\ 109398310399845443003353878466428059331053433/125220136642702213591\ 7824677860631356564802668527050966747657837975940828586*c_1001_2^2 + 7825456870097881249255632723021866432729244077514667551469339458614\ 7422369491/12522013664270221359178246778606313565648026685270509667\ 47657837975940828586*c_1001_2 - 41361655210765530687284336591376201\ 90026301094387136026279665082201342482927/1252201366427022135917824\ 677860631356564802668527050966747657837975940828586, c_0101_0 + 137665275663151609814446959566096084327556922811086569767360\ 6335310223091631/62610068321351106795891233893031567828240133426352\ 5483373828918987970414293*c_1001_2^37 + 1863739201835774580264179606276106486616288912380016035167623965213\ 335130190/626100683213511067958912338930315678282401334263525483373\ 828918987970414293*c_1001_2^36 + 3036111475954852925336650403089962\ 6178327722231248112830946218287549029453114/62610068321351106795891\ 2338930315678282401334263525483373828918987970414293*c_1001_2^35 + 4328301797815266913530647172751706398304593641371844622925937619259\ 9825794874/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2^34 + 296004526352627368905266527175648\ 579962599464889496021273290213389340872180780/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^33 + 4537362043575999640047558983126946158463256391348905620164620832676\ 45143894677/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^32 + 1697699422999132779431780913365225574368564235973960146820208695641\ 051450143689/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^31 + 2891611424462191377043728189163973630972677879102549496417810922644\ 339012809078/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 + 6406142537744511836066756947031372640334310634947341896405941170792\ 873723558121/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^29 + 1262898943242029577651311566674165425875074161090042441019306634496\ 5328225039450/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 + 1676927705166050974898332435867957970276010328822165520518703022517\ 4874566669511/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^27 + 4020257193142161458126792151821853843383349938337846964748806387922\ 2790130069719/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^26 + 3103330750620622179884769154427170143073933857206399124402537878243\ 2303995160032/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^25 + 9649562046937013518742042613652161920423480537644336727960954259897\ 0644602923366/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^24 + 4002928149550352849414676109747300115658377715407613939671469502999\ 0838177796453/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^23 + 1776728447093178561125410773969893707367494937773803119528801629192\ 63545127454547/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^22 + 3348491341039820063931956186898914186241768144054691695335177853074\ 0718573820647/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^21 + 2522292963858514948130468808571682410143029203915149282926454001640\ 95670671340404/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^20 + 1377977314462981922637240045153178808142777490150564834961410265087\ 3899506744659/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^19 + 2743172991510417695562332712245624388145922521085752912186581989809\ 09806846276642/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 - 2014402757879619906790670632728266962128657799814393843811194828869\ 339645264667/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^17 + 2236366994588240584870119099227968614914482052506348646438197319931\ 90835932284388/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 - 5574480381135303051918284845993048685626253985003295625776714884398\ 89958515501/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^15 + 1296122888115958689925734216635015487925405949126392336756897732868\ 75359240980903/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^14 + 1210391091243071019728877065699271888484794729293765248775593930161\ 2051778805705/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^13 + 4561912530704965945938029558018357739311322222316275529287294683043\ 9271145040701/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^12 + 2006420028454383335999010603965997361315531330241225064014228282540\ 2181344388457/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^11 + 2113151682276367148937974720771803686343282645909972734864701456414\ 828205587976/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^10 + 1698408230709920648880268143475946349852135057943758823427426596577\ 3311619793180/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^9 - 7572307181070074142182193588339805408386294431371721827287035526517\ 726857693931/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^8 + 8900840928568782466754846551048527089364580395157080696635184565541\ 886719088842/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^7 - 4413578301089442677281828327075670961946848028845006021758660504764\ 862985145028/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^6 + 2927197110295648445024610479936371496890689881388641643816109131620\ 409179510881/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^5 - 1194641009784849904152996205314182331908168314504961910645205543654\ 426284384511/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^4 + 5549578811442449013289253972749652194892594915014875312654409022494\ 31107188380/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 - 143633104319044984241860104025700\ 938410683532217227109460851269200275678352203/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^2 + 4505361713680934706387612171072031867991815974632095434529457388243\ 1566500704/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2 - 229696288640734064995612530337622613\ 3260034760214575218034984713087638708584/62610068321351106795891233\ 8930315678282401334263525483373828918987970414293, c_0101_1 - 777412679824749581439841201342894297993126871442829614994559\ 707342032725701/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^37 + 4529698283729246615697105347088549233904459146940305391888084113316\ 917958835/125220136642702213591782467786063135656480266852705096674\ 7657837975940828586*c_1001_2^36 - 984357743085540936647146635374299\ 1216088132353694829078225294153614960478667/62610068321351106795891\ 2338930315678282401334263525483373828918987970414293*c_1001_2^35 + 5363660882363478155949960412197658935167756206767770024702806224584\ 7714069865/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2^34 - 114418556128916364678992857141189\ 995540229287857014147767872584438234260228216/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^33 + 5724934060471201075872919922672098374967095929573391132968532347614\ 48952938036/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^32 - 1633209642010310027863487215445843809295115954580552308702596152661\ 558308761115/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^31 + 3679677309120382167238927578152771041281958220569554990746787420231\ 356742743061/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 - 3999884139289630736166073711028087477436198559241775143437697966602\ 549739228119/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^29 + 1601537585419649832578513038901971419950514874959494259030996819152\ 6565119496976/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 - 2839466018652552687456871319136765897077142491599027903385732785867\ 4193222370521/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^27 + 5020977827439941960387429851420120248323311956941322765323837715258\ 6813587896859/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^26 - 3757866227195582697392960834094536626270453384461408831008664469307\ 2764181260914/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^25 + 1174352238307625141629881116420548115751500775561357790913040968287\ 42192235301315/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^24 - 7516171064639990114166029646686153306269634637051373457908303409200\ 7959208825980/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^23 + 4174617277914840077512636509745541136451991348448498336076463302237\ 11249388180807/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 - 1135981005874991513250960874979306863117508812358980855310780585079\ 24800432317695/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^21 + 5669623453772173707647907201679176352491775920644840176495840987336\ 47266121855737/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^20 - 2549945757673620861705754373110548816532508038832471430339143414609\ 37176573739531/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^19 + 2918349929059633246363333183840866334318063772676281429158693002465\ 71528614730270/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 - 2013332207367959452382520468272875745209284681467659041380690215191\ 00230234317499/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^17 + 2213872365206818822693104102014334527059272952682983311270346105212\ 73526203852764/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 - 4618443042526784847455402180433355582672185012258203956548642308125\ 1546062744847/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^15 + 1146738670827983227784436279268433326435148800408997627432584858945\ 36819771922994/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^14 + 2771501839382680071214395890639984142832109415696440453488062966286\ 972961481363/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^13 + 6055084254774005968182081326268340577524799171031864368145766789088\ 1100010624519/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^12 + 4754543192223974645501009336819762502798703914622339168519935094234\ 6378160425145/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 - 6822967726842824688905361894977839827021450559821200367113693079548\ 555335568123/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^10 + 4128566371458066132069742322938173682566667170809474092716472474966\ 5560533316595/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^9 - 2146505181322816336486177674652733684275474931416611335132807895118\ 2306687196105/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^8 + 1011926879149658962577346744142184017255186399307560292088038175371\ 3532805429338/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^7 - 5004083719217681825742907149445063028842442109095326298238773616062\ 745979015631/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^6 + 3057449335081826960013400071290112183538801695275453295749855038635\ 839214103583/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^5 - 2425575927327868796626528332072635974592246421650785201885180627885\ 810670875481/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^4 + 5285582007249727204138979056431166460240848559397585211080179200387\ 93458345094/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 - 268227739868218152363825080573783\ 109398310399845443003353878466428059331053433/125220136642702213591\ 7824677860631356564802668527050966747657837975940828586*c_1001_2^2 + 7825456870097881249255632723021866432729244077514667551469339458614\ 7422369491/12522013664270221359178246778606313565648026685270509667\ 47657837975940828586*c_1001_2 - 41361655210765530687284336591376201\ 90026301094387136026279665082201342482927/1252201366427022135917824\ 677860631356564802668527050966747657837975940828586, c_0101_10 + 47602120996704091518032354314353497887098695986213483548984\ 36538793979204351/1252201366427022135917824677860631356564802668527\ 050966747657837975940828586*c_1001_2^37 - 4883648466451234989326505026175253925148906883271548026076117330296\ 986267937/626100683213511067958912338930315678282401334263525483373\ 828918987970414293*c_1001_2^36 + 5779059652026338906345098982886721\ 4054482807811637131855046484792773696251862/62610068321351106795891\ 2338930315678282401334263525483373828918987970414293*c_1001_2^35 - 1173256790936489235281055145071601515245928008286179318710994194747\ 12885146399/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^34 + 1276635399022890667820300096090962535084742803876814511487488886957\ 683656902875/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^33 - 2545385338617439225504188296062151390715039626947942736520893893845\ 340849718969/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^32 + 8593711266215356623919173535101634731299153386394000236149194992678\ 322101924453/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^31 - 1662214084799658816571840292086038616946040958699666805070525121824\ 6915474267855/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^30 + 1981625013529699274445477966705997173136169025778602183210470071678\ 8731254550344/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^29 - 3671471830442928764970741984737467544947017196004494854907667708627\ 9751495414642/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 + 1329866799500465675461805404129761997062066539360990236526133246295\ 17958698302201/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^27 - 1166909247176692747998839470385582499448599881961719198759329210363\ 39879384257234/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^26 + 3356134240662501064419245188455584142322418327887387334462966522016\ 52714835871725/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^25 - 5527363695634710886710082075614498323159881334999337743380726908648\ 98341001293023/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^24 + 3238420510075968378113684096259898772423290308477153521699877398498\ 80442318728529/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^23 - 9936547599248279724725905052560876295604182804973623486505295275975\ 70694180730681/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 + 4796525659784195187329136677347982194905110958620698589981297293425\ 82196486955486/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^21 - 1362869360006982672317231006424056876729411401352237630270467137006\ 266992039217503/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^20 + 1078911580991160476563763134950468613246060878706079164186800067609\ 268160930919079/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^19 - 7065288269196115079249142206459438416549497560427636673398713875446\ 67740446235790/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 + 8897903818311909300967070824802945808514771522492413424705577963297\ 27449455605101/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^17 - 5361253964764657537058965279156721427290304517141614730335882961378\ 00794055327581/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 + 4858020575704717546476525997289168846418583325516600963257402769392\ 50386920031113/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^15 - 5430996167865379107442476567709029031024984312585229321483416895694\ 29566059756961/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^14 + 5159675692860143954573010454447698735116234977590348624459703802826\ 8691984193027/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^13 - 1207427079850635471633286505838388626459400745428888175981459613539\ 98331454882413/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^12 - 9112784413967763373473038639714015879771525038340467850096648734143\ 6177182864435/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 + 6106127038172268612068439758486512481807027928634634945668909918102\ 8472701185241/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^10 - 1091297505728808768555378716512300747578285798903065744594657147906\ 40880609286619/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^9 + 7098184733380872198791814216453457571058911493311788406778789460950\ 2542036565025/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^8 - 2947602945192419126851171835850635587388057147279207410276753037069\ 6523484299885/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^7 + 3255002913668361119250668565166058889093309855045373313737514947684\ 5055509571981/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^6 - 1877048472183674294848466519941938097164660445017703253357394766989\ 9929022673835/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^5 + 8089536318351454862864131119921512974952983351165933039078146782911\ 879542062929/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^4 - 3343595262756850726484833465514729657398953339732379655826580439019\ 513723569755/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^3 + 9438583552287820802581945326363430965079620069754856190252934705984\ 03430745019/1252201366427022135917824677860631356564802668527050966\ 747657837975940828586*c_1001_2^2 - 1226273642080735380337109064410909193112445432934929266175279351436\ 62989507576/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2 + 17396302519448209198218534807983600\ 840069904647859999671461730609830999033035/125220136642702213591782\ 4677860631356564802668527050966747657837975940828586, c_0101_11 - 15676521415000915518325356377419844117648060547436318388149\ 560442715170241439/626100683213511067958912338930315678282401334263\ 525483373828918987970414293*c_1001_2^37 + 6751577960997932044666208994346116004291141565600279533214394464387\ 466097923/125220136642702213591782467786063135656480266852705096674\ 7657837975940828586*c_1001_2^36 - 370689431233508965549779110370735\ 802452400427818622231439454116837720035432697/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^35 + 1759663463392691360295895592501748391091188652406307733846393078619\ 09131538095/1252201366427022135917824677860631356564802668527050966\ 747657837975940828586*c_1001_2^34 - 3951400743119976363412302574103262285363354811914213156186331395408\ 608314347534/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^33 + 2060821460041283082050520292599259715629200613204292505413481286295\ 204033570567/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^32 - 2540060275442562714227276796768140519601186345015725845738762486606\ 2193475657557/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^31 + 7066253988531464237058406411362168974678460582732870443345445175051\ 220611827044/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 - 2215792971683606169770690684633204742914171226514572519469155681323\ 18231812567643/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^29 + 6344657175843380307619431697372416704933640700904611623765890370358\ 7567910655989/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^28 - 3488793841052004969421942183351897065280341182586595417007277096857\ 86816382176181/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^27 + 1979568225748687570543838347657298237708548377049798201787901197661\ 72649380040899/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^26 - 8216601206001144815748664853978511976983383959280733232835552199791\ 92377736464781/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^25 + 4425763443648631110859816750994484402016779153800431957905309964781\ 04216377576923/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^24 - 1474652553544880318991754247544409369861008096963895777157696862341\ 726041287012563/626100683213511067958912338930315678282401334263525\ 483373828918987970414293*c_1001_2^23 + 7134553397690015216532626776434929726755699207700890601241371745881\ 36016744614223/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 - 4058127745835206885018502009124440914714250665464790469855167206362\ 998361066162795/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^21 + 4034239789882508444867284211611279384118981566815806070457078102290\ 50066937842391/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^20 - 4252993595326617468086265404259986225408670830978538981408803114209\ 158031864985025/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^19 + 5689195037791237349394488660249902719998907081968914506374176931410\ 91579076062295/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^18 - 1656853876881430525412874053035499458544276134591345140690232573024\ 281906543195968/626100683213511067958912338930315678282401334263525\ 483373828918987970414293*c_1001_2^17 + 1003261422952893661404637506225998032817879789797524242425307519968\ 56398601935905/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^16 - 9022472537601266571033518819406372183387726579183539108976753477647\ 03953285752037/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^15 - 2965584051311222601601730422232533438718457396554127196619240253645\ 32345301198637/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^14 - 2810518753934578785647042601581218397543676997213778293278559801521\ 94986178990727/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^13 - 4114336682017515846326171445514918986748401245466482790512611681790\ 40692322093447/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^12 + 2145299973162390592705347411904781902834393940247392207721907904594\ 3581557281063/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 - 2964039663933138922268213794559993799302424477670292012866964690474\ 04630776726869/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^10 + 1181207727541868503794103262090263878241555520914774208434611289486\ 97989893644673/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^9 - 6741176296849025152412097980657641840305003148652815686782007766374\ 7782639923472/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^8 + 5810916832960008721004439747672792581428158620462696235206815841753\ 7106712509257/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^7 - 1914762779887002034638199490950892413572734993430593887798925129047\ 6335134586767/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^6 + 1320571620688750310272083170868104554117851375867084171408842158478\ 3885529716839/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^5 - 2973606567302807022929767308940751754273562844331123004007424821478\ 190237393275/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^4 + 5069190029592974756757023057763719907135443624859881358939686181997\ 74211057995/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 - 311754332773431187149125095664668\ 073920375302018562017619729275723653813169939/125220136642702213591\ 7824677860631356564802668527050966747657837975940828586*c_1001_2^2 - 3418916322782212836247946534010482653934772641600550523059855361099\ 3073225942/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2 + 383097620760193208263149794308011564\ 3661707264542792641455429033139369420531/62610068321351106795891233\ 8930315678282401334263525483373828918987970414293, c_0101_4 + c_1001_2, c_0110_3 - 458220124620544644514883036890682786410792491289853234021785\ 1987924738393966/62610068321351106795891233893031567828240133426352\ 5483373828918987970414293*c_1001_2^37 + 3444904119147278474784512932906178496265981992739153777993877006604\ 837727725/626100683213511067958912338930315678282401334263525483373\ 828918987970414293*c_1001_2^36 - 2166091167769535087947656667191021\ 92836804360515491964112715546670730827464553/1252201366427022135917\ 824677860631356564802668527050966747657837975940828586*c_1001_2^35 + 8191882300697000547977180149434225894003260008815129119863417876106\ 7177180508/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2^34 - 115581900568032604974735635615867\ 5181272164743442669725165971912358926461867025/62610068321351106795\ 8912338930315678282401334263525483373828918987970414293*c_1001_2^33 + 17533971000413686129250830507021171609871628015718969341703586934\ 75852716791933/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^32 - 1490968669294836845851206064323964371515349364587759201939414439843\ 8792519638137/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^31 + 5596690404792123573747238730593519667217159557904569953105324550023\ 849267160979/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 - 6537480360202625613562287526950866107774070416759338912265246263914\ 6740165128495/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^29 + 2388469183014375628288821442897119806755875636889827634204609628810\ 4023546271948/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 - 1036035127521159211113892113372982446934147141129887274917815186875\ 41345326222804/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^27 + 7233477686970312399081396789761439099721995925811025690347519963045\ 6937093359764/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^26 - 2456735927874705516272093071154556862330295255155827404358118103154\ 72022265923976/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^25 + 3211345228121793573019998199212074177288381862754452452874804254427\ 22745759159485/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^24 - 8872736254836710158960242986840729130047885228008837232964238865077\ 56329045163363/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^23 + 2647436798306885803205958227941055310849556531677652598428107005014\ 90335912572851/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^22 - 6129607531271961357785723981916599819957213271324531555611606901506\ 84306671452130/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^21 + 3224368623441661452843110820401504964203915598809789090065922878093\ 18646089930739/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^20 - 6423125107786500904416176716724524352444890473779938932242734497747\ 78998995165031/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^19 + 2799835430235266768650233516955809858284590543167763576809655573461\ 09208441990985/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 - 4955898817168948117290053672134670822869165487685930765145222109542\ 15696534845437/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^17 + 1537031397685084903748394618202272295875644207247985202957148943552\ 35875355158743/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 - 2599163748740099081869811575306096552670466576744288753345714367430\ 14697367745078/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^15 + 4686530000577679641340379226256249212296995500794245166547551551321\ 8306514676799/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^14 - 1349498302823650163935213638422677389631582100352474062009562160780\ 81427270885693/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^13 - 4390846684102315006206897015075272375466863625064587545289905300676\ 2222938126922/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^12 + 1902004959171943913904408902218216547073934323253946091453551211733\ 4335254308393/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^11 - 4682028838182396771914582803999234758997424125715761773401621963251\ 2249503515229/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^10 + 5544390952977573855663085337236764338788477699641742237936021326846\ 3120066498625/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^9 - 2470022551523211708559713478676773871060344236456106127958609307219\ 6570888929210/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^8 + 1304600447883983359842223379477784035931398841551421629584151278584\ 4202282966771/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^7 - 7745044919051975032512094364390186113699473228397007180003609870082\ 745176577644/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^6 + 6423688885097513572326868633264321495371176976326195989498297679186\ 075474454449/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^5 - 2704036560579737886707673252556099911490999850682737699766988621056\ 794982200829/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^4 + 3575063565154478789566620843788420574312133359404380431598721207209\ 11709327410/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 - 188762485693882229273118205804521\ 193877740779451019211428053573931915443511521/125220136642702213591\ 7824677860631356564802668527050966747657837975940828586*c_1001_2^2 + 4302922991715301745442891151644189696968272345775190056417169110158\ 475053039/626100683213511067958912338930315678282401334263525483373\ 828918987970414293*c_1001_2 + 1505450778361597992930940998593081999\ 469384946741778677845993835432147189133/125220136642702213591782467\ 7860631356564802668527050966747657837975940828586, c_1001_10 + 15676521415000915518325356377419844117648060547436318388149\ 560442715170241439/626100683213511067958912338930315678282401334263\ 525483373828918987970414293*c_1001_2^37 - 6751577960997932044666208994346116004291141565600279533214394464387\ 466097923/125220136642702213591782467786063135656480266852705096674\ 7657837975940828586*c_1001_2^36 + 370689431233508965549779110370735\ 802452400427818622231439454116837720035432697/626100683213511067958\ 912338930315678282401334263525483373828918987970414293*c_1001_2^35 - 1759663463392691360295895592501748391091188652406307733846393078619\ 09131538095/1252201366427022135917824677860631356564802668527050966\ 747657837975940828586*c_1001_2^34 + 3951400743119976363412302574103262285363354811914213156186331395408\ 608314347534/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^33 - 2060821460041283082050520292599259715629200613204292505413481286295\ 204033570567/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^32 + 2540060275442562714227276796768140519601186345015725845738762486606\ 2193475657557/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^31 - 7066253988531464237058406411362168974678460582732870443345445175051\ 220611827044/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^30 + 2215792971683606169770690684633204742914171226514572519469155681323\ 18231812567643/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^29 - 6344657175843380307619431697372416704933640700904611623765890370358\ 7567910655989/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^28 + 3488793841052004969421942183351897065280341182586595417007277096857\ 86816382176181/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^27 - 1979568225748687570543838347657298237708548377049798201787901197661\ 72649380040899/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^26 + 8216601206001144815748664853978511976983383959280733232835552199791\ 92377736464781/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^25 - 4425763443648631110859816750994484402016779153800431957905309964781\ 04216377576923/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^24 + 1474652553544880318991754247544409369861008096963895777157696862341\ 726041287012563/626100683213511067958912338930315678282401334263525\ 483373828918987970414293*c_1001_2^23 - 7134553397690015216532626776434929726755699207700890601241371745881\ 36016744614223/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 + 4058127745835206885018502009124440914714250665464790469855167206362\ 998361066162795/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^21 - 4034239789882508444867284211611279384118981566815806070457078102290\ 50066937842391/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^20 + 4252993595326617468086265404259986225408670830978538981408803114209\ 158031864985025/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^19 - 5689195037791237349394488660249902719998907081968914506374176931410\ 91579076062295/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^18 + 1656853876881430525412874053035499458544276134591345140690232573024\ 281906543195968/626100683213511067958912338930315678282401334263525\ 483373828918987970414293*c_1001_2^17 - 1003261422952893661404637506225998032817879789797524242425307519968\ 56398601935905/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^16 + 9022472537601266571033518819406372183387726579183539108976753477647\ 03953285752037/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^15 + 2965584051311222601601730422232533438718457396554127196619240253645\ 32345301198637/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^14 + 2810518753934578785647042601581218397543676997213778293278559801521\ 94986178990727/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^13 + 4114336682017515846326171445514918986748401245466482790512611681790\ 40692322093447/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^12 - 2145299973162390592705347411904781902834393940247392207721907904594\ 3581557281063/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 + 2964039663933138922268213794559993799302424477670292012866964690474\ 04630776726869/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^10 - 1181207727541868503794103262090263878241555520914774208434611289486\ 97989893644673/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^9 + 6741176296849025152412097980657641840305003148652815686782007766374\ 7782639923472/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^8 - 5810916832960008721004439747672792581428158620462696235206815841753\ 7106712509257/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^7 + 1914762779887002034638199490950892413572734993430593887798925129047\ 6335134586767/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^6 - 1320571620688750310272083170868104554117851375867084171408842158478\ 3885529716839/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^5 + 2973606567302807022929767308940751754273562844331123004007424821478\ 190237393275/626100683213511067958912338930315678282401334263525483\ 373828918987970414293*c_1001_2^4 - 5069190029592974756757023057763719907135443624859881358939686181997\ 74211057995/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^3 + 311754332773431187149125095664668\ 073920375302018562017619729275723653813169939/125220136642702213591\ 7824677860631356564802668527050966747657837975940828586*c_1001_2^2 + 3418916322782212836247946534010482653934772641600550523059855361099\ 3073225942/62610068321351106795891233893031567828240133426352548337\ 3828918987970414293*c_1001_2 - 383097620760193208263149794308011564\ 3661707264542792641455429033139369420531/62610068321351106795891233\ 8930315678282401334263525483373828918987970414293, c_1001_11 - 47602120996704091518032354314353497887098695986213483548984\ 36538793979204351/1252201366427022135917824677860631356564802668527\ 050966747657837975940828586*c_1001_2^37 + 4883648466451234989326505026175253925148906883271548026076117330296\ 986267937/626100683213511067958912338930315678282401334263525483373\ 828918987970414293*c_1001_2^36 - 5779059652026338906345098982886721\ 4054482807811637131855046484792773696251862/62610068321351106795891\ 2338930315678282401334263525483373828918987970414293*c_1001_2^35 + 1173256790936489235281055145071601515245928008286179318710994194747\ 12885146399/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2^34 - 1276635399022890667820300096090962535084742803876814511487488886957\ 683656902875/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^33 + 2545385338617439225504188296062151390715039626947942736520893893845\ 340849718969/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^32 - 8593711266215356623919173535101634731299153386394000236149194992678\ 322101924453/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^31 + 1662214084799658816571840292086038616946040958699666805070525121824\ 6915474267855/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^30 - 1981625013529699274445477966705997173136169025778602183210470071678\ 8731254550344/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^29 + 3671471830442928764970741984737467544947017196004494854907667708627\ 9751495414642/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^28 - 1329866799500465675461805404129761997062066539360990236526133246295\ 17958698302201/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^27 + 1166909247176692747998839470385582499448599881961719198759329210363\ 39879384257234/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^26 - 3356134240662501064419245188455584142322418327887387334462966522016\ 52714835871725/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^25 + 5527363695634710886710082075614498323159881334999337743380726908648\ 98341001293023/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^24 - 3238420510075968378113684096259898772423290308477153521699877398498\ 80442318728529/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^23 + 9936547599248279724725905052560876295604182804973623486505295275975\ 70694180730681/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^22 - 4796525659784195187329136677347982194905110958620698589981297293425\ 82196486955486/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^21 + 1362869360006982672317231006424056876729411401352237630270467137006\ 266992039217503/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^20 - 1078911580991160476563763134950468613246060878706079164186800067609\ 268160930919079/125220136642702213591782467786063135656480266852705\ 0966747657837975940828586*c_1001_2^19 + 7065288269196115079249142206459438416549497560427636673398713875446\ 67740446235790/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^18 - 8897903818311909300967070824802945808514771522492413424705577963297\ 27449455605101/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^17 + 5361253964764657537058965279156721427290304517141614730335882961378\ 00794055327581/6261006832135110679589123389303156782824013342635254\ 83373828918987970414293*c_1001_2^16 - 4858020575704717546476525997289168846418583325516600963257402769392\ 50386920031113/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^15 + 5430996167865379107442476567709029031024984312585229321483416895694\ 29566059756961/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^14 - 5159675692860143954573010454447698735116234977590348624459703802826\ 8691984193027/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^13 + 1207427079850635471633286505838388626459400745428888175981459613539\ 98331454882413/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^12 + 9112784413967763373473038639714015879771525038340467850096648734143\ 6177182864435/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^11 - 6106127038172268612068439758486512481807027928634634945668909918102\ 8472701185241/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^10 + 1091297505728808768555378716512300747578285798903065744594657147906\ 40880609286619/1252201366427022135917824677860631356564802668527050\ 966747657837975940828586*c_1001_2^9 - 7098184733380872198791814216453457571058911493311788406778789460950\ 2542036565025/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^8 + 2947602945192419126851171835850635587388057147279207410276753037069\ 6523484299885/62610068321351106795891233893031567828240133426352548\ 3373828918987970414293*c_1001_2^7 - 3255002913668361119250668565166058889093309855045373313737514947684\ 5055509571981/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^6 + 1877048472183674294848466519941938097164660445017703253357394766989\ 9929022673835/12522013664270221359178246778606313565648026685270509\ 66747657837975940828586*c_1001_2^5 - 8089536318351454862864131119921512974952983351165933039078146782911\ 879542062929/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^4 + 3343595262756850726484833465514729657398953339732379655826580439019\ 513723569755/125220136642702213591782467786063135656480266852705096\ 6747657837975940828586*c_1001_2^3 - 9438583552287820802581945326363430965079620069754856190252934705984\ 03430745019/1252201366427022135917824677860631356564802668527050966\ 747657837975940828586*c_1001_2^2 + 1226273642080735380337109064410909193112445432934929266175279351436\ 62989507576/6261006832135110679589123389303156782824013342635254833\ 73828918987970414293*c_1001_2 - 17396302519448209198218534807983600\ 840069904647859999671461730609830999033035/125220136642702213591782\ 4677860631356564802668527050966747657837975940828586, c_1001_2^38 - 29/43*c_1001_2^37 + 1048/43*c_1001_2^36 - 719/43*c_1001_2^35 + 11590/43*c_1001_2^34 - 8074/43*c_1001_2^33 + 77842/43*c_1001_2^32 - 54433/43*c_1001_2^31 + 357304/43*c_1001_2^30 - 247057/43*c_1001_2^29 + 1192867/43*c_1001_2^28 - 802264/43*c_1001_2^27 + 3002086/43*c_1001_2^26 - 1929258/43*c_1001_2^25 + 5809927/43*c_1001_2^24 - 3495414/43*c_1001_2^23 + 8717144/43*c_1001_2^22 - 4781621/43*c_1001_2^21 + 10110443/43*c_1001_2^20 - 4854196/43*c_1001_2^19 + 8908575/43*c_1001_2^18 - 3451658/43*c_1001_2^17 + 5697472/43*c_1001_2^16 - 1386906/43*c_1001_2^15 + 2311691/43*c_1001_2^14 + 3854*c_1001_2^13 + 225901/43*c_1001_2^12 + 696820/43*c_1001_2^11 - 414161/43*c_1001_2^10 + 537164/43*c_1001_2^9 - 318662/43*c_1001_2^8 + 237654/43*c_1001_2^7 - 120306/43*c_1001_2^6 + 64622/43*c_1001_2^5 - 25331/43*c_1001_2^4 + 9889/43*c_1001_2^3 - 2500/43*c_1001_2^2 + 623/43*c_1001_2 - 41/43, c_1001_8 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.620 Total time: 1.830 seconds, Total memory usage: 32.09MB