Magma V2.19-8 Wed Aug 21 2013 00:11:11 on localhost [Seed = 778584515] Type ? for help. Type -D to quit. Loading file "K13n280__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n280 geometric_solution 10.95530666 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 -1 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.040819377506 1.407265938669 0 4 6 5 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660273994649 0.459335064415 4 0 6 3 0213 0132 2310 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 8 0 -8 0 9 -8 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471293138046 0.801800238612 5 7 2 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 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.020818808771 0.837217313462 2 1 0 6 0213 3120 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -9 0 1 8 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.109108272897 0.695963766925 3 8 1 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.483718687264 0.631348054296 4 2 8 1 3201 3201 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 1 -1 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573177050754 0.869240649465 10 3 11 11 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 -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.830790569489 1.761107184734 9 5 12 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.722886336518 0.519713169549 8 12 5 10 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.585110651026 0.260483959226 7 12 11 9 0132 1023 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.049897580255 1.296644846021 12 7 10 7 2031 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 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.780892989234 0.464462338713 10 9 11 8 1023 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.429712536928 0.281968214516 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0011_4']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], '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_10']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0101_8'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_3, c_0101_7, c_0101_8, c_1001_0, c_1001_1, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2718659467540544712163536902590040370260870682635172637116398121612\ 9634507128208107955672613840832323539550360697640636577564087689098\ 791521572362048/812340112959151731564703657296635724322444366238599\ 1387925090493386152733585361133061357393918980268534013037632648310\ 184690288553741148912706121*c_1001_8^31 - 1370409067768608307687210241740463753466131330647963650648155917876\ 4792474540464548008770778380270614030576059409781778537344274627322\ 5491254792146464/81234011295915173156470365729663572432244436623859\ 9138792509049338615273358536113306135739391898026853401303763264831\ 0184690288553741148912706121*c_1001_8^30 - 5036009623875299026576674109441833207268225356035256451752076841692\ 2584168476580305943698632689958430812579340141117521881565085848041\ 3455766739982672/81234011295915173156470365729663572432244436623859\ 9138792509049338615273358536113306135739391898026853401303763264831\ 0184690288553741148912706121*c_1001_8^29 + 2654796035214673595214288246299003901084220625195911003988208383911\ 1118810142043049442772422084764960853748303386890493497988544989021\ 0372297691665296/81234011295915173156470365729663572432244436623859\ 9138792509049338615273358536113306135739391898026853401303763264831\ 0184690288553741148912706121*c_1001_8^28 + 5054026915441121583541783756279318032527578751299843953673364848326\ 3397567255256477111031505571154130360671452054319536902366904204965\ 84882967686651452/8123401129591517315647036572966357243224443662385\ 9913879250904933861527335853611330613573939189802685340130376326483\ 10184690288553741148912706121*c_1001_8^27 + 1064359582196618034186267211901743410312128649745541076687562619267\ 0661777553900360877817399145577985626668526330690065319963479114735\ 18930477312704304/4275474278732377534551071880508609075381286138097\ 8902041711002596769224913607163858217670494310422465968489671750780\ 5799194225713354797311195059*c_1001_8^26 + 6899847318652295409263767868703857180879612043497960073535285867145\ 2451257656063060838348244871386388838132592773737720352116441160819\ 789555577860522901/812340112959151731564703657296635724322444366238\ 5991387925090493386152733585361133061357393918980268534013037632648\ 310184690288553741148912706121*c_1001_8^25 + 1908750878549531250783928121611007467365479413676927999665274705157\ 1733342889493672303250840792866004732691699325434871877883465128008\ 4311984635813626269/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^24 + 3848187887218081029481012141174805783961895272886679130421008324024\ 4367592582111450318613538750401208715565330149920703824988547361828\ 9252525852131847229/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^23 + 6518808375898524994702877143226432712652680715796204872900158254156\ 8811030207957300114107087533622393470379303165136506928257304330179\ 8425342586935233010/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^22 + 1463364739101218604631754644257323744849276881622948462573818268623\ 0600605015171798820412014420994877515141109892761092085766936764519\ 3361293883197836032/11604858756559310450924337961380510347463490946\ 2657019827501292762659324765505159043733677055985432407628757680466\ 4044312098612650534449844672303*c_1001_8^21 + 1341339808221561535755892476236178788784000256358669639067943478828\ 1177588338278391221482210469375507354073888406126730780315211870453\ 21503577527745419425/8123401129591517315647036572966357243224443662\ 3859913879250904933861527335853611330613573939189802685340130376326\ 48310184690288553741148912706121*c_1001_8^20 + 1815507907294997751490345504991990973837605683703221120392100489768\ 6182904780044135697260701022911561497076273106547546514512926901059\ 3245994565489114368/11604858756559310450924337961380510347463490946\ 2657019827501292762659324765505159043733677055985432407628757680466\ 4044312098612650534449844672303*c_1001_8^19 + 1106920741386228697005018444894025227545219509867006604355484658944\ 2789334550442067022321862330048396277734584839523216839031300576674\ 46223793121764276258/8123401129591517315647036572966357243224443662\ 3859913879250904933861527335853611330613573939189802685340130376326\ 48310184690288553741148912706121*c_1001_8^18 + 7278933475300891192264012732347473910091806079510492997245890448240\ 2937949512664608415718500270774968283431182288915906873253245121062\ 515853824833775101/427547427873237753455107188050860907538128613809\ 7890204171100259676922491360716385821767049431042246596848967175078\ 05799194225713354797311195059*c_1001_8^17 + 1231738597191018536748048207222309315883076408304302917456106683394\ 9989258868422465280453595050507960659770575272877313834082247924260\ 24623827792382005854/8123401129591517315647036572966357243224443662\ 3859913879250904933861527335853611330613573939189802685340130376326\ 48310184690288553741148912706121*c_1001_8^16 + 1065176444181001273442178319930297742714755468486005927670088070098\ 7598089150544629098566065351946573301833156736205028028216714664244\ 8912454665557154536/11604858756559310450924337961380510347463490946\ 2657019827501292762659324765505159043733677055985432407628757680466\ 4044312098612650534449844672303*c_1001_8^15 + 5936449385623226339899229753516094385185127881583477179153183226928\ 4398034790435519057712282114066833474270948536602599746008739004172\ 6757495143321472332/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^14 - 3915968099916462820004751243049709864697650327206646621468566122912\ 8608127222472004536980390591931085173113213095912512703923376129714\ 292347367245340180/812340112959151731564703657296635724322444366238\ 5991387925090493386152733585361133061357393918980268534013037632648\ 310184690288553741148912706121*c_1001_8^13 - 6430412842380786220701393636442996480768095817053788624696590397933\ 0216878145170375759947036369651065819522128982876546287949746097307\ 9087608930793353425/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^12 - 1095859783162486578901087485750450658936514237477977178237793867280\ 0290067133506151255532353630166749582410840938852770545440483154780\ 04205388581299616807/8123401129591517315647036572966357243224443662\ 3859913879250904933861527335853611330613573939189802685340130376326\ 48310184690288553741148912706121*c_1001_8^11 - 2015518842970668700070514803926770393584680276146510385695870266830\ 0207550509819631653183610819697136775140497865116659506834030609316\ 7106255518894279163/11604858756559310450924337961380510347463490946\ 2657019827501292762659324765505159043733677055985432407628757680466\ 4044312098612650534449844672303*c_1001_8^10 - 7961203213410867931414838607543713360494077285708909258618644864176\ 4832080731359211923889775923171507016907558257457381466072391777602\ 4672248523172965728/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^9 - 3662337611122743370615512472336095807098185602038619532249571403755\ 6427426397016104506271065743050386600525804475519370236799702069761\ 2061909908992996377/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^8 - 2930492355797480268626021361654842326002230072915436417539012303113\ 4626187482671739763572096285157124192297299320881903305186017894360\ 677006332361046619/116048587565593104509243379613805103474634909462\ 6570198275012927626593247655051590437336770559854324076287576804664\ 044312098612650534449844672303*c_1001_8^7 + 1646471599870277069948864600476307997467476422755733536869293393627\ 9954702673039645010784128090585322167413719688460778464781028574062\ 563571468942982611/116048587565593104509243379613805103474634909462\ 6570198275012927626593247655051590437336770559854324076287576804664\ 044312098612650534449844672303*c_1001_8^6 + 1115367673389744511034087407821131644215806839472631309662960411046\ 0028785051137269316872491706695584745573931393120882054874661006527\ 9474537163566635491/81234011295915173156470365729663572432244436623\ 8599138792509049338615273358536113306135739391898026853401303763264\ 8310184690288553741148912706121*c_1001_8^5 + 4405046736764862924440947996209832822634238932752302787214796954308\ 0255324357458662886093394865645398885317059451703483343918228832769\ 183644445568466300/812340112959151731564703657296635724322444366238\ 5991387925090493386152733585361133061357393918980268534013037632648\ 310184690288553741148912706121*c_1001_8^4 + 2534329358562043139651904565145738845177416927138794384530053794184\ 6368316318699080665832886590123601273527536671095518168682876382421\ 076362144851916149/812340112959151731564703657296635724322444366238\ 5991387925090493386152733585361133061357393918980268534013037632648\ 310184690288553741148912706121*c_1001_8^3 - 1007894909183742326049829404837151032778277725927285323328833172630\ 1110000073681192972210282224362982165483173948881321122089281380329\ 76120198898047589/2620451977287586230853882765473018465556272149156\ 7714154597066107697266882533423009875346431996710543658106573008542\ 9360796460921088424158474391*c_1001_8^2 - 1145964027336793949997790436739001505060255063829467447874730105060\ 5173374407446526455732238273462122130290018332864683200205352013148\ 212625133208333920/812340112959151731564703657296635724322444366238\ 5991387925090493386152733585361133061357393918980268534013037632648\ 310184690288553741148912706121*c_1001_8 - 1424132434555053450756063953853086282344996299187815934941037291615\ 9445179517317857627318234014601442163290716464009107764791863009808\ 68393198014149647/8123401129591517315647036572966357243224443662385\ 9913879250904933861527335853611330613573939189802685340130376326483\ 10184690288553741148912706121, c_0011_0 - 1, c_0011_10 - 42764735422230323633692094154308870143026316571298350374978\ 9726086585032518714475914428165438584429221041245813658120945649876\ 631668480/665587773151809806320821289426424915998330243132540674448\ 3434711489856853572636660091078189296204214543089213233434202920481\ 0585914548837*c_1001_8^31 + 202208583840554295253947832373815479919\ 6340278111476931769395759936589529163216780288063509380010149543882\ 592900160548127172243522746368/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^30 + 8630584806251707901982962724672656563229528035242861311932640086418\ 8281249834846034174722756906559936554533756271542849682145646710068\ 48/6655877731518098063208212894264249159983302431325406744483434711\ 4898568535726366600910781892962042145430892132334342029204810585914\ 548837*c_1001_8^29 - 1860558891914993347747199004290271405264804640\ 5288740954863734594035542831338313335967293664508372825045505346831\ 68231187308716336134240/6655877731518098063208212894264249159983302\ 4313254067444834347114898568535726366600910781892962042145430892132\ 334342029204810585914548837*c_1001_8^28 - 1165355323748224163232044925919182180796557966397154056461800851241\ 3188697250565476902537498790135165529432755319329643814633026226066\ 384/950839675931156866172601842037749879997614633046486677783347815\ 9271224076532338085844397413280291735061556018904906004172115797987\ 792691*c_1001_8^27 - 2578374700518013373025647707712272719181873141\ 0916041162585141168637595390208163982745813181861909921035134235643\ 08616421259947543725128/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^26 - 1177732770189653618445904886344107594648140699080602060455072948377\ 6873072534009415818363570038573711786242272407231081762747063749436\ 14540/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^25 - 4730502741147784987276886430266170048973888\ 6047190928724681151173219965899560713170277662218848786075801230764\ 5721844534950627376868581958/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^24 - 6887404621641970448793580134543789770788088557318944793342117454737\ 9242543862971782299508772076349190515054945178661063736596947382411\ 73966/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 - 1692920901145395551775623768818007763507986\ 7403521868832893176212342110503142201072220615193762318452628816182\ 49183858405660401335165319988/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^22 - 2670457713496079159980744194181621389652633442355029775879668870753\ 5236736962501730761888679309272680193499400336371710608078203867821\ 18390/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 - 25056114008652631070336645916891823222912643\ 0681663368146145451021871889338006059271823500638715527754312843150\ 54442388858837845816350059150/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 - 2488296973800896122335980850609915897759077711884540006022980452719\ 7423459265836846695842790443672195981661416003085372377626616526209\ 971636/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 - 213527139446003603118353777541367673386961\ 1643246726980518628074351112220665850058134184409648478233503038036\ 1811991167970387597921320179920/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 - 1308810825665816273887445748389312978359916586587298302657052230911\ 0718492003789108834049317529861708465959154932433070399214097999090\ 01750/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 - 24213271829414482498226909245428571248345119\ 5431743976287857818270058557006575633143044072653883608256495124841\ 01625193634112499899721846910/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^16 - 1555175682804883264014762804916576120822290386988070714143947467383\ 1159511532379485091833566538756747584518765634236562717732412314217\ 595738/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 - 106949114400747803083262843664452271704802\ 1345273495784832516228648106602052213666024512245663622081221357112\ 8302088491015257053942533197478/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^14 - 8331458009390941091739469818905300933152463835694881575700648862501\ 4767561146991026012483338908272943400674275407658168377634755284811\ 5856/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^13 + 11260435628766412832708473362773396441517867\ 5775243840673677585919638102761578182387637782672905372670372582861\ 91300261102634817579625353734/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^12 + 2058444335958140426025369541887237659005413889474790339548273631526\ 9254946485138754227924053348402274707107649011665618134813010208259\ 275682/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 + 379026376184811143393707107652941470483889\ 7255253403675918912873899305632841457310080774876134039132071176502\ 717300670280150156278223052749/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 + 1758396520318079207264790224391223899271114665352899327781667568448\ 0825500669356691821291590035584514124119014865826207779221223608706\ 700407/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 + 7255134964150755155570011000195252329009648\ 3569195915239859991264902770915117395708519217284357437811458810293\ 62265764917831353968842672981/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 + 4755972496157166533347310248295362844800331492685408215106026539684\ 6368128876909285933175008306784798338055320100905021625421776098130\ 3792/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 1393360028111025185702197435746531247954084070\ 3440091500218397970325739806106010785139591226780534700738258665950\ 54048609626212647900655222/6655877731518098063208212894264249159983\ 3024313254067444834347114898568535726366600910781892962042145430892\ 132334342029204810585914548837*c_1001_8^6 - 2631299890043639632830895239092649057789455134454119464603518248949\ 1244776317388544988026012655210045856231109594774900698425990346518\ 30821/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 - 11541224230683034421589492155684288180261738\ 5788903170845400757243745551148548847018864994830113275226046879764\ 8404386399426618805437830584/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 - 3973308138538932141776788270414588901770182667851154747344781309752\ 4500203762916576047106653420388763446442035685572666360181297649174\ 5664/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 + 140373014655305991141295519856608759981558615\ 6324364391428896198971280248057500301273438004887363300596347583333\ 7720235031872800248423644/21470573327477735687768428691174997290268\ 7175204045378854304345531930866244278601938421877074071103694938361\ 7172075549329187438255308027*c_1001_8^2 + 3513604378066781630470799407860419271271327367976575449869275450092\ 5150258492719793668815003524767337867704677928561800875008696799499\ 3347/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 + 49486254390750379193154682768040343501323817757\ 4656511115300948674613183490529845132965495897079360733644336845154\ 2111115186994264565200/95083967593115686617260184203774987999761463\ 3046486677783347815927122407653233808584439741328029173506155601890\ 4906004172115797987792691, c_0011_11 - 48778484733412702361559654238985666848268978108908342654780\ 0634480696787559957347668166554743270653548479197395298729168832597\ 809181184/665587773151809806320821289426424915998330243132540674448\ 3434711489856853572636660091078189296204214543089213233434202920481\ 0585914548837*c_1001_8^31 + 221463108231865722657318304128471785134\ 9192508428941534858558194945880516781618402115605811335230196490025\ 526770630425729303494459658112/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^30 + 1025950150629227693485473239251296305948835733968697207302621504679\ 5902187873621879162922882502260250253323865620362525373906775439533\ 376/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8^29 - 184686600247481401557524815942450819181939546\ 8638802895424754983990149641976280182894351762275498927347263039503\ 11318991310092283175648/6655877731518098063208212894264249159983302\ 4313254067444834347114898568535726366600910781892962042145430892132\ 334342029204810585914548837*c_1001_8^28 - 1329344470039998125372814632596919055189685633947067583187590847139\ 7943641006014321373996515737355951132556752166019182637359749192449\ 568/950839675931156866172601842037749879997614633046486677783347815\ 9271224076532338085844397413280291735061556018904906004172115797987\ 792691*c_1001_8^27 - 3072034320419759662428193037117269746992959171\ 9712363508173493883926921640231083629223639818705476744343789146097\ 42494751770964131207000/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^26 - 1420500649718127842198614635118821731445596502180570257526890350132\ 3538604220080645614789236216259415786524560897214570216477133707482\ 04520/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^25 - 5780320249942280821285789524468195970643537\ 1503633060474041028640908855207686053087418660658290040163752124319\ 1961438619324629516339773094/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^24 - 8623952262685009978483587049571798666321749402509650048459490084435\ 3584361123893714862933694049218745676297035141892247274100078427339\ 29234/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 - 2165464567823359595125267952475094277833912\ 5886705900608928182632196320956349411589819515388750987518502682796\ 23766867251922436709998273465/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^22 - 3459754271931455822032593710571849643215634902762938022925717306318\ 6480405932160128187398885334013540490899740584264266982846021657930\ 26127/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 - 33218183715453726585779587247627592506984690\ 4608654583924322568382035997436395391905987814025091172885653375034\ 67379588381596559862055022759/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 - 3474406023904534404960933902601268726879545710139453695999045314226\ 7064833826223945800222037586536670924323310864624328923342498254984\ 368358/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 - 310339448525165877035488638463107464990310\ 4331876011335198771272416362249991294746398831630336243224394656593\ 6765796953928159561215748488791/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 - 1807844113425819960905414931111751667341870174577527878735249457685\ 7229350517930901381791275006592504453117375894321747373078864919817\ 30494/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 - 34130141231628552311696022654675136105671954\ 4349488386530057812881907174015049732323899209577233729940664654233\ 76090450932867208100372120819/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^16 - 2408186219216444206713284638167670836908355479896961736018632774071\ 0599758140419095087314946009186862377607873496463009606218215271894\ 833426/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 - 167424205652450541133733355981581848161170\ 9951215537304625038847313198448725780231906140936992010597472316994\ 5833057967345123896402401903010/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^14 - 4232647484101529237435458989051000541781007294975340831349009468214\ 6405552804242577038994120781658982742549350424655936920732172526179\ 28780/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 + 1224560213292060782662497838015109268420793\ 2033219227550787740428158931195215909950764822933667646843257121139\ 655655214279953027788387426662/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^12 + 2592863459196806371225043020842071030312570185290751221118543299527\ 8222267362676458505697580844430342790503003221596634248228526452448\ 641466/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 + 503230293462558329035609697032131409021445\ 2895372008528944619895847078276625202222489057999728129207334863861\ 203250727268712883092569672254/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 + 2708398131716287787112832962572200820490901892163736549561080168808\ 9795718256832556582087489102194996856380731586767403685182577970753\ 487917/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 + 1346856901956173214291645832565043399676555\ 6195649568940548921662551413638797162598318095046734773850344934782\ 387432465780176201574555936130/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^8 + 9254894478551131589221038585602174393331573150140017333785434347300\ 1237258784074337210262262791611187485899174328895322203935667291357\ 6360/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 4476074812968077450168676822421412017484132052\ 6219399202838278555668796927083319316789448886384402393428281979206\ 9088572649593704674893150/66558777315180980632082128942642491599833\ 0243132540674448343471148985685357263666009107818929620421454308921\ 32334342029204810585914548837*c_1001_8^6 - 3464102474817708147910218427048460498233567658481894359443230792318\ 6274448713855626927609273693437454262358020167809656452420674551289\ 63902/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 - 19536194655377778090550791167949856047754428\ 1624906381971754801383941804774686870952365369418000125549531941343\ 9549164266108519351138132470/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 - 8362473989702700257391150791789299323040377761057408190455080876610\ 6366372946351869659415235997231723486411385061543138808965009160623\ 4794/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 + 920011907466903909841943164867635483119181866\ 9822450387405479262395849212399567148816851919034283265296311563013\ 824593873612107608252094/214705733274777356877684286911749972902687\ 1752040453788543043455319308662442786019384218770740711036949383617\ 172075549329187438255308027*c_1001_8^2 + 5667779267707600934788042693796075150239275928181893297906605667024\ 4742406647576361155391607740128230377993267524128919857372958595244\ 9339/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 + 17331313332327237500062939363761339878614657947\ 4819310257192965834223755061451491858019027794595915027214750458775\ 87455442547089253052688/9508396759311568661726018420377498799976146\ 3304648667778334781592712240765323380858443974132802917350615560189\ 04906004172115797987792691, c_0011_4 + 139551358949830316732292131131920374394974135560211237196942\ 3850741741677009806601141535311287616340149237776707255057609812080\ 29507840/6655877731518098063208212894264249159983302431325406744483\ 4347114898568535726366600910781892962042145430892132334342029204810\ 585914548837*c_1001_8^31 - 5935498311701676240377774380169670996838\ 0838253516436404533037068756798257106658107317360254220252998524098\ 4373583037769732120021812480/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^30 - 3113422460614366412587816712865862872884671923115479202311102728519\ 5060643041799713947541786171077606638954185907420602969445531682521\ 60/6655877731518098063208212894264249159983302431325406744483434711\ 4898568535726366600910781892962042145430892132334342029204810585914\ 548837*c_1001_8^29 - 8146476116272931876436312277823345513446754040\ 7053676266440256510177888839302240775666374862431193568260374311392\ 7282150142323192652320/66558777315180980632082128942642491599833024\ 3132540674448343471148985685357263666009107818929620421454308921323\ 34342029204810585914548837*c_1001_8^28 + 3800233031361459640562270632900346185009623269583661502228206196342\ 5393583428828359880564616895412815404128277024647645485137609928417\ 12/9508396759311568661726018420377498799976146330464866777833478159\ 2712240765323380858443974132802917350615560189049060041721157979877\ 92691*c_1001_8^27 + 93811361782894165815882270339736527183995002294\ 0980076748233669817020742458600331605349121726187121451528045042899\ 025307966175971420936/500441934700608876932948337914605199998744543\ 7086771988333409557511170566595967413602314428042258807927134746792\ 05579166953463051989089*c_1001_8^26 + 4405650374502607126624929461241222280768058890816595543204060325141\ 4510213626379159625874560041833668182321315583988928188542487001231\ 6980/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^25 + 18213917415510814655152908596466514889215896\ 6031797317057951937613810862296822563816495305686383426755201279854\ 851210009630835835103105550/950839675931156866172601842037749879997\ 6146330464866777833478159271224076532338085844397413280291735061556\ 018904906004172115797987792691*c_1001_8^24 + 2801335429992250064863072663209748400689855830054060997843805497765\ 3170555036794326866764185180383759453096529146085890793133560394547\ 96022/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 + 7210156863806997136831208609782862626732463\ 7841066697477449340848659685522346196586565305972523439499870733201\ 9601306901871359166251453724/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^22 + 1165829296708310477959688255575914213606759270996253553917021604864\ 9991244803083993420494693823115134566020077503928081842703459704511\ 81722/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 + 11452443740108807786997092276079792485782915\ 1922139917921555294479195739153669423202607479934347278358453954507\ 08721804018053619676249442652/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 + 1261596263296394930502653196512064192294148059380911278496828812959\ 7590448105124003159664788155453572127652379837261685120747284801306\ 682660/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 + 116419224118711500769003100931374824166046\ 5904216827990517580445506646628393522335098601445516514790167600651\ 3610672117604474939313791531452/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 + 6427683262827010782506668980068822715582792979730862098311573854986\ 9949530246069578809148987692272379374355870916818388914523149603318\ 4411/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^17 + 125163261887478371098736133370367917898406232\ 5609620392239253980962266773395264454718259346693234421549499139327\ 2844836660677771374857455718/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^16 + 9857114947675280047139690127611918428943333450959862305242020773685\ 7257588605955685720001426965326404205813138355053303354513535371548\ 01894/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^15 + 6744242772978882691456767923622008281402618\ 3624385423356167861472968760161479663484208129582752735482094111602\ 60571856585653676972599151513/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^14 + 2329951609895068058154391458158741399866730092732936996209722478944\ 3293775573006856026316367493289675462630206535596583788322627186031\ 74929/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 - 3009408062651380446043737175085291213477442\ 2182025629564318433761509895116160795476571473218546603348957891283\ 94825958419562387333972023795/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^12 - 8303862385161081178677165468778867836901113600643651293372792198498\ 6753044330490138425366783294713526775071980060060843794002366117310\ 96640/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^11 - 1749797437631355575206644972879302118143399\ 9424849528130840974736578187941016329425139072100636174043609493497\ 21076712236374139352707487569/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^10 - 1042226324433349362795813040174633004718813273901738557098976222241\ 9459408793344213728768135825847836723048042296771639481417471593585\ 377764/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 - 5942965139137326758486148176940636590687394\ 2613504012804677752488716190214940740595728181708734721874379704375\ 14016154212976470711817525543/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 - 3963468270520619319064422109454396449636056374986305557318240535367\ 0943740280511131589236709976954866281985547813622470495001958374510\ 5560/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 4303371885518446930150579909685268971442978210\ 8808440271821314722850968911284645246454174849157982593769708326862\ 6466385750344726061633833/66558777315180980632082128942642491599833\ 0243132540674448343471148985685357263666009107818929620421454308921\ 32334342029204810585914548837*c_1001_8^6 + 7072685102440829223686570035910834885609367589666001812859887141489\ 7595810485422760479083212314258217353538317118318128505677891192833\ 7069/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^5 + 855835973246210152397196806377956163627703267\ 7100986753096813490074947183457853954701869662495517441286154340965\ 98115374051974732220009755/6655877731518098063208212894264249159983\ 3024313254067444834347114898568535726366600910781892962042145430892\ 132334342029204810585914548837*c_1001_8^4 + 4426963370264106950276699227630156494646454733605473424457812790791\ 0868657292103885022770384581859857071687450963205640586824581898656\ 6094/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 - 232911352941191359050466878038526768376381637\ 4375929469265326157649047389161768359585381182254048519708554078014\ 377055237710627052152887/214705733274777356877684286911749972902687\ 1752040453788543043455319308662442786019384218770740711036949383617\ 172075549329187438255308027*c_1001_8^2 - 9812535217182728654546233397478805817074912492471235760023823867403\ 5807898951119004471624993262498998733852619851814637602868463163615\ 050/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8 - 673698082547564805309957008547984428821257479966\ 6435220717449975091046624898817037679727177831058432836884742426749\ 799263590913256982379/950839675931156866172601842037749879997614633\ 0464866777833478159271224076532338085844397413280291735061556018904\ 906004172115797987792691, c_0011_6 + 139551358949830316732292131131920374394974135560211237196942\ 3850741741677009806601141535311287616340149237776707255057609812080\ 29507840/6655877731518098063208212894264249159983302431325406744483\ 4347114898568535726366600910781892962042145430892132334342029204810\ 585914548837*c_1001_8^31 - 5935498311701676240377774380169670996838\ 0838253516436404533037068756798257106658107317360254220252998524098\ 4373583037769732120021812480/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^30 - 3113422460614366412587816712865862872884671923115479202311102728519\ 5060643041799713947541786171077606638954185907420602969445531682521\ 60/6655877731518098063208212894264249159983302431325406744483434711\ 4898568535726366600910781892962042145430892132334342029204810585914\ 548837*c_1001_8^29 - 8146476116272931876436312277823345513446754040\ 7053676266440256510177888839302240775666374862431193568260374311392\ 7282150142323192652320/66558777315180980632082128942642491599833024\ 3132540674448343471148985685357263666009107818929620421454308921323\ 34342029204810585914548837*c_1001_8^28 + 3800233031361459640562270632900346185009623269583661502228206196342\ 5393583428828359880564616895412815404128277024647645485137609928417\ 12/9508396759311568661726018420377498799976146330464866777833478159\ 2712240765323380858443974132802917350615560189049060041721157979877\ 92691*c_1001_8^27 + 93811361782894165815882270339736527183995002294\ 0980076748233669817020742458600331605349121726187121451528045042899\ 025307966175971420936/500441934700608876932948337914605199998744543\ 7086771988333409557511170566595967413602314428042258807927134746792\ 05579166953463051989089*c_1001_8^26 + 4405650374502607126624929461241222280768058890816595543204060325141\ 4510213626379159625874560041833668182321315583988928188542487001231\ 6980/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^25 + 18213917415510814655152908596466514889215896\ 6031797317057951937613810862296822563816495305686383426755201279854\ 851210009630835835103105550/950839675931156866172601842037749879997\ 6146330464866777833478159271224076532338085844397413280291735061556\ 018904906004172115797987792691*c_1001_8^24 + 2801335429992250064863072663209748400689855830054060997843805497765\ 3170555036794326866764185180383759453096529146085890793133560394547\ 96022/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 + 7210156863806997136831208609782862626732463\ 7841066697477449340848659685522346196586565305972523439499870733201\ 9601306901871359166251453724/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^22 + 1165829296708310477959688255575914213606759270996253553917021604864\ 9991244803083993420494693823115134566020077503928081842703459704511\ 81722/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 + 11452443740108807786997092276079792485782915\ 1922139917921555294479195739153669423202607479934347278358453954507\ 08721804018053619676249442652/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 + 1261596263296394930502653196512064192294148059380911278496828812959\ 7590448105124003159664788155453572127652379837261685120747284801306\ 682660/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 + 116419224118711500769003100931374824166046\ 5904216827990517580445506646628393522335098601445516514790167600651\ 3610672117604474939313791531452/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 + 6427683262827010782506668980068822715582792979730862098311573854986\ 9949530246069578809148987692272379374355870916818388914523149603318\ 4411/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^17 + 125163261887478371098736133370367917898406232\ 5609620392239253980962266773395264454718259346693234421549499139327\ 2844836660677771374857455718/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^16 + 9857114947675280047139690127611918428943333450959862305242020773685\ 7257588605955685720001426965326404205813138355053303354513535371548\ 01894/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^15 + 6744242772978882691456767923622008281402618\ 3624385423356167861472968760161479663484208129582752735482094111602\ 60571856585653676972599151513/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^14 + 2329951609895068058154391458158741399866730092732936996209722478944\ 3293775573006856026316367493289675462630206535596583788322627186031\ 74929/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 - 3009408062651380446043737175085291213477442\ 2182025629564318433761509895116160795476571473218546603348957891283\ 94825958419562387333972023795/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^12 - 8303862385161081178677165468778867836901113600643651293372792198498\ 6753044330490138425366783294713526775071980060060843794002366117310\ 96640/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^11 - 1749797437631355575206644972879302118143399\ 9424849528130840974736578187941016329425139072100636174043609493497\ 21076712236374139352707487569/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^10 - 1042226324433349362795813040174633004718813273901738557098976222241\ 9459408793344213728768135825847836723048042296771639481417471593585\ 377764/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 - 5942965139137326758486148176940636590687394\ 2613504012804677752488716190214940740595728181708734721874379704375\ 14016154212976470711817525543/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 - 3963468270520619319064422109454396449636056374986305557318240535367\ 0943740280511131589236709976954866281985547813622470495001958374510\ 5560/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 4303371885518446930150579909685268971442978210\ 8808440271821314722850968911284645246454174849157982593769708326862\ 6466385750344726061633833/66558777315180980632082128942642491599833\ 0243132540674448343471148985685357263666009107818929620421454308921\ 32334342029204810585914548837*c_1001_8^6 + 7072685102440829223686570035910834885609367589666001812859887141489\ 7595810485422760479083212314258217353538317118318128505677891192833\ 7069/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^5 + 855835973246210152397196806377956163627703267\ 7100986753096813490074947183457853954701869662495517441286154340965\ 98115374051974732220009755/6655877731518098063208212894264249159983\ 3024313254067444834347114898568535726366600910781892962042145430892\ 132334342029204810585914548837*c_1001_8^4 + 4426963370264106950276699227630156494646454733605473424457812790791\ 0868657292103885022770384581859857071687450963205640586824581898656\ 6094/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 - 232911352941191359050466878038526768376381637\ 4375929469265326157649047389161768359585381182254048519708554078014\ 377055237710627052152887/214705733274777356877684286911749972902687\ 1752040453788543043455319308662442786019384218770740711036949383617\ 172075549329187438255308027*c_1001_8^2 - 9812535217182728654546233397478805817074912492471235760023823867403\ 5807898951119004471624993262498998733852619851814637602868463163615\ 050/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8 - 673698082547564805309957008547984428821257479966\ 6435220717449975091046624898817037679727177831058432836884742426749\ 799263590913256982379/950839675931156866172601842037749879997614633\ 0464866777833478159271224076532338085844397413280291735061556018904\ 906004172115797987792691, c_0101_0 + 229083653800576164001640926941350000432852868028255299032104\ 2668505836543373632318568072851861075695361225291274857846383267591\ 964480/350309354290426213853063836540223639999121180596074039183338\ 6690257819396617177189521620099629581165548994322754439054168674241\ 363923623*c_1001_8^31 + 2445696509459326500844731711375717296694882\ 8266551131742087272953945397323167803714179380553744378273277093586\ 63478150125372347618080/3503093542904262138530638365402236399991211\ 8059607403918333866902578193966171771895216200996295811655489943227\ 54439054168674241363923623*c_1001_8^30 - 1116157737194661980746849656176291248724902770407431019456807119068\ 9341670641274947029339052758962558613052654574241323156939977084734\ 4/35030935429042621385306383654022363999912118059607403918333866902\ 5781939661717718952162009962958116554899432275443905416867424136392\ 3623*c_1001_8^29 - 243930639665308486504995496625872501672177227940\ 5921973816380066296507742199099187750079899052930684008299463904671\ 40169455113653391808/3503093542904262138530638365402236399991211805\ 9607403918333866902578193966171771895216200996295811655489943227544\ 39054168674241363923623*c_1001_8^28 + 7685657067964562589503685939741877426211794780053287789181764600031\ 6128834027143726172894015103310207776950544882367059481414230019412\ /500441934700608876932948337914605199998744543708677198833340955751\ 1170566595967413602314428042258807927134746792055791669534630519890\ 89*c_1001_8^27 + 61829197778002012923670774546862835631795097431090\ 1941957448190286823745346600073738078857370834240442902957279866362\ 802008432568548980/500441934700608876932948337914605199998744543708\ 6771988333409557511170566595967413602314428042258807927134746792055\ 79166953463051989089*c_1001_8^26 + 1647969919139238190923231857373377745456411450743975204957373173767\ 0719954594204904306610698587900413878370372482237837376210105600356\ 949/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8^25 + 7504739982315331178854504488283062074217644953\ 1136546719516465385086961802917040845929004437956889777777337577496\ 72515257100077236151678/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^24 + 1338076911064166488591147613975972055393808461591440690456177264561\ 8495488369112560574645707801669634190996641732971440581345621940313\ 0686/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^23 + 373637047671367019199374685314778476865926885\ 5755196048608038327499474911788139837742721281687821366105829055300\ 0623537425515691551797907/50044193470060887693294833791460519999874\ 4543708677198833340955751117056659596741360231442804225880792713474\ 679205579166953463051989089*c_1001_8^22 + 6260005040434618008493268897598344786360143464115646530970019749231\ 3685491813222890800869751857825371927104347225275966324415649793308\ 171/500441934700608876932948337914605199998744543708677198833340955\ 7511170566595967413602314428042258807927134746792055791669534630519\ 89089*c_1001_8^21 + 66671723831044221552257185031803532054677114952\ 1291722531987951268856913270711992683238419382170804150051772408084\ 406505918928015334607225/350309354290426213853063836540223639999121\ 1805960740391833386690257819396617177189521620099629581165548994322\ 754439054168674241363923623*c_1001_8^20 + 8392126937862058006954397381226883344497600890612477699425994785675\ 4646725542391743927744669673224550615823176874876331479526042503086\ 2738/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^19 + 800622066881947073250056090515279872158689213\ 9056230361394208235697862170475822919913558063179524875161887991094\ 28844466651201895674876213/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^18 + 7311847212718865703180881899856974665853840205983670581042707270409\ 9791723679429984318037489232261489156056153978712742539070806970444\ 4821/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^17 + 855566492879616700984348737477207985414285404\ 4619481019188283923618499631080745884297263934989996801044743238910\ 13653540550245656178929433/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^16 + 7607869389243411447572353169129811762811793529793427111016753671137\ 5894275795994630836977173020510413941616083448038591245592336215879\ 4334/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^15 + 483308119254829434624451132109201348647192938\ 8121351783280399557102469509263036316239112884322183637557281451972\ 81483172330289086616425702/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^14 + 3138770270632912337375438224839837883492023613830749850057808514281\ 4101149286957544382515595240839778778978794080827091504161209875512\ 5648/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^13 - 490781855000484286391197700132011847904189867\ 4188248909799977043425971949747465939742051680843027121417943181787\ 9630169020952912418104842/35030935429042621385306383654022363999912\ 1180596074039183338669025781939661717718952162009962958116554899432\ 2754439054168674241363923623*c_1001_8^12 - 4235843522029786381784150123330946764882690024251150689084754283965\ 3668784690404442096864451417591016153848328801360180409298793402402\ 4738/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^11 - 103248237657666568617748042247652551066839404\ 0527417012678283944523700553354953584702678368454914713041194801133\ 33402368364206406940982094/5004419347006088769329483379146051999987\ 4454370867719883334095575111705665959674136023144280422588079271347\ 4679205579166953463051989089*c_1001_8^10 - 8356221539020953453167923605013416086044868113773936155293082299120\ 5736920445083789276497431450941739123757308058862076050709781655039\ 1065/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^9 - 4985931210088029522490710089030911923380151489\ 0523230635302950022539327777752987374152359065204564715397587894462\ 9478050776091729434898846/35030935429042621385306383654022363999912\ 1180596074039183338669025781939661717718952162009962958116554899432\ 2754439054168674241363923623*c_1001_8^8 - 3309938046496576615122320047675256240564901931134523267083405827737\ 7702690685114866000192327706603486807571989675568552075504894509670\ 744/500441934700608876932948337914605199998744543708677198833340955\ 7511170566595967413602314428042258807927134746792055791669534630519\ 89089*c_1001_8^7 - 109867080391293919846382022034070824708018670589\ 4616677829665737412503041926950878308235749252575480971834821671063\ 67644771866582778830022/3503093542904262138530638365402236399991211\ 8059607403918333866902578193966171771895216200996295811655489943227\ 54439054168674241363923623*c_1001_8^6 + 3849632444226214395031955552397995491517931311348165583991173426514\ 9055799922072872924185169457602857312076019782921508278582772788062\ 758/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8^5 + 67848222465813474189748113851482047464331914649\ 2246190973043762732323000019149414784333049466491362154767497040225\ 58213483361438235309874/3503093542904262138530638365402236399991211\ 8059607403918333866902578193966171771895216200996295811655489943227\ 54439054168674241363923623*c_1001_8^4 + 3574709129608625514355953080572078020174830912963233817876079763305\ 1593463931591865810409786946693060360760651646176279618679272463790\ 106/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8^3 + 32498975941633091700472884503038825458684645808\ 5410893680330576897138846368031988405787094072578827293562675434142\ 929173115940541368010/113003017513040714146149624690394722580361671\ 1600238836075286029115425611811992641781167774074058440499675587985\ 30292069957233592384633*c_1001_8^2 - 1227990992127091179388372630764530208382323197222886956679774956051\ 5868673183775097214505832474953065490969616416803401576052574586912\ 249/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8 - 6840106627526414861831063253877768944826510524188\ 0419468796597937240000000321499373458807359313432413125729073408987\ 3433018501774934080/50044193470060887693294833791460519999874454370\ 8677198833340955751117056659596741360231442804225880792713474679205\ 579166953463051989089, c_0101_11 - 60007542221737177632630932790321211593804282547701847617544\ 3867675108054628163993665553210546354161436772734346947649429907572\ 316624640/665587773151809806320821289426424915998330243132540674448\ 3434711489856853572636660091078189296204214543089213233434202920481\ 0585914548837*c_1001_8^31 + 285682706898304041131421541745224401168\ 1777258406152063737421381017082226962685566694282084263363523102939\ 074430032265286890950738237696/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^30 + 1202980802557462769768362349877990886258077449954580261095062955375\ 3766785985265021565375868776010401937021385254219306584158864704697\ 856/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8^29 - 309960677447773797550211153745536799164114339\ 0923770502534088341708332619498750222020469929444371375229261398157\ 802925101500456786404256/665587773151809806320821289426424915998330\ 2431325406744483434711489856853572636660091078189296204214543089213\ 2334342029204810585914548837*c_1001_8^28 - 1633757771003426486763631791694431223107958712345874315768500567148\ 9267004255545882076039384686639117930311597266738682558223784953332\ 624/950839675931156866172601842037749879997614633046486677783347815\ 9271224076532338085844397413280291735061556018904906004172115797987\ 792691*c_1001_8^27 - 3584748667823486321010069447693474010333266282\ 6534125306132385861743674554458532457913687452784051909109355354825\ 32475883101280853766040/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^26 - 1635708045352063468642366906817363372231597753131579343967565131889\ 1659323362725069153417093697875052919924969489830804342522423627488\ 29644/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^25 - 6559546876625529513709513292750467679222113\ 7891805016679060653677736234668359461801683788291978661891339094471\ 1091970421002863575254237754/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^24 - 9510744556947469975383227603336815586374256687311224213091881063126\ 6706424516847188204860975704138779444357959031724686294752596975372\ 83818/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 - 2331588572641150715847604744475509701121835\ 8382310219982589398713519881428513514581980315768498623396733888979\ 57073857669878227973106295764/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^22 - 3679381179561869207568265887954934558930093512929379431340019209592\ 7330790697342866771189071958231006687194503379556635509362866846504\ 60538/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 - 34450097872466110712717372388113447234872963\ 6113186600447939411137066400451765473080363665169554211224186982042\ 41384548911761936096345860944/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 - 3400995981256318006111378621210598605418097947213084189119871377163\ 9895533993183523211432677760946403296157258270962093676674821458256\ 772884/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 - 292760596261096924896861464088624594698713\ 1526034345225293655966289249018400754825518584105790276777594041408\ 3811438763788763103705285662675/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 - 1820418420203704955061508450379105629182562717882943560504880357050\ 6004836796001796335881739964635546688541163834973887770699094290907\ 09915/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 - 33275832486087529811584961281990770761743183\ 9888879636391467965476289633867682626312805479656849330687381769551\ 73055681354166183543700351463/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^16 - 2090985926310085115010712414652940249298322003897628046922373342322\ 9933682530273857102931686702573192406646624790160233046993894995750\ 166766/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 - 150695800119911853168915474292501351639195\ 1169161258520878390902304746129132599344468107737302057582846824629\ 0047576197883466016647487211860/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^14 - 1226010250658728332980695860989228023423553339829454913954249724807\ 7442054520397437497753956900532023073481060287018122383965180645177\ 28001/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 + 1573095573253858265182991191354646083563348\ 1410106933033554271465825059143051737113236789649791660238730623289\ 483159034183268380024589773560/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^12 + 2801274465041615650068847664223318922549927574330409858815819676342\ 8217770197043112042626027347277288999334523331651155835517325140739\ 475468/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 + 520175647615270019547131626386428226257426\ 1927459657743007313368048096526012580416907917478198795763582094640\ 423018706349679446699313639691/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 + 2376717521947036928110977954173183642536177170494494438421346040534\ 8805836900256049253905878224617902461838671775325070372530026830391\ 552924/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 + 9923965860128280167683039176678999508095357\ 7254730274515169259635786547204767819398612568648745587554838942174\ 31800781996520215854619414459/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 + 7277286216558445609046044888425734406711534930673288058576070190504\ 5051812771105723118860375715321649414721702257332924483164266072060\ 5752/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 2069901045131910181740938058744992396014829061\ 6343249597316958960377157992355378818796352802430294072802159781513\ 93061946241279711782570628/6655877731518098063208212894264249159983\ 3024313254067444834347114898568535726366600910781892962042145430892\ 132334342029204810585914548837*c_1001_8^6 - 3630120501432085685571804196465747912918140930728843440862778656473\ 1212540921212993957681348243839683141614458045107634085425710284607\ 22849/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 - 13800850174476645843234983651332140075252972\ 1958654616080539469048452337270172088807383933348938249759420898067\ 2640848605016934967792480680/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 - 5197660035099545961684700912309449202605277418643439343206790605288\ 8803476283773964412161460547587241973270551905323265592365046832458\ 3082/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 + 191212634992600772910166979142652197681321922\ 8764786869133601029622796286112730860570411612026119039976835312331\ 3952955118693352842968261/21470573327477735687768428691174997290268\ 7175204045378854304345531930866244278601938421877074071103694938361\ 7172075549329187438255308027*c_1001_8^2 + 4857347877009500988691457636425387779135548513038899948149961624168\ 8072875838013150668881030280020174293091280317731483114903216372415\ 2678/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 + 52060005020261057270938928999658671581731429872\ 7776970611979621773073454345374333788897866451534677769463942770964\ 0551956671512936475791/95083967593115686617260184203774987999761463\ 3046486677783347815927122407653233808584439741328029173506155601890\ 4906004172115797987792691, c_0101_3 + 190110231343519991874922074336011864095199782981650514942632\ 1921854557797535724637384374930617207148985781887124307425697979065\ 03707648/6655877731518098063208212894264249159983302431325406744483\ 4347114898568535726366600910781892962042145430892132334342029204810\ 585914548837*c_1001_8^31 - 7136720283830310828501765987530337917090\ 5292128439682884324491775030494773220657721321410851922638707512865\ 7217497732350647622063626752/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^30 - 4774681774026807070621607284924985182603727820214954902954828918776\ 6189494229868520513691530333080348337588641394829868254669583203554\ 56/6655877731518098063208212894264249159983302431325406744483434711\ 4898568535726366600910781892962042145430892132334342029204810585914\ 548837*c_1001_8^29 - 2588963577452595246274434621529784292253569938\ 1306504297917687983164427741904795418331751352438664555916888544887\ 16726977380665435623104/6655877731518098063208212894264249159983302\ 4313254067444834347114898568535726366600910781892962042145430892132\ 334342029204810585914548837*c_1001_8^28 + 5454050226317676071210437279001472182790097451512317884529107411228\ 6373480604535378281856678723155266599327517414529210132860138327037\ 76/9508396759311568661726018420377498799976146330464866777833478159\ 2712240765323380858443974132802917350615560189049060041721157979877\ 92691*c_1001_8^27 + 14057436893784747870600416447901229037071579393\ 8070752936842515762582424633415545101179445300870811531954068411625\ 1552142287550854959296/50044193470060887693294833791460519999874454\ 3708677198833340955751117056659596741360231442804225880792713474679\ 205579166953463051989089*c_1001_8^26 + 6605006767249008752049503953442929093625133740925651393381100503359\ 8921731601600300826665114728803511933903880010108415016452759046303\ 5112/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^25 + 27683884164365905664401377348227135310908797\ 1312268335096519372564431402889152058133278817287927424715128438499\ 144974604641118012967038728/950839675931156866172601842037749879997\ 6146330464866777833478159271224076532338085844397413280291735061556\ 018904906004172115797987792691*c_1001_8^24 + 4347358536519383340478583388704810130435175606212540725677847558837\ 8615391849685107135153020336191083703083955546136011487662925355580\ 70898/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 + 1120936178231303601336107936802202228613400\ 7338532016427311324571798386507546843983980155887731969091664127827\ 82304554372517739280158747820/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^22 + 1807668156510643865022231030726794447043013681403142689579470725736\ 3871514910444571352583033448634395970773033299821596562101417903446\ 37992/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 + 17943652641358131094838037139923171268955273\ 4853787952736141554298372376474996967451794684859804071540633212187\ 31399566069501459596629310392/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 + 1993041995351717385369586524390275390840064266845242777041926213484\ 7632066974960594527621867502741795150817914252962811118989261225181\ 601168/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 + 177761742517962664326843561691880501213939\ 8400721457246698880225753972699464423634572879859958720174987375346\ 1635259556801137581596864878658/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 + 9574627911349134641871202318592130154624780777625273635504291319795\ 9874095239001859119753242307390162477846230570789292478450486265611\ 5244/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^17 + 198700243963746136910786640185604123231118428\ 3304173136551452789450756933040657178026704390456140169134282685605\ 9280693019045221196603120022/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^16 + 1501073644202330329539579399161881764578394348950792542947920282097\ 0234580922248238355867416112860473511412887125068739824637045235675\ 880334/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 + 942940678521995805512764327605027554590760\ 4300666978493324066693023239055154489166804837977228257116161978943\ 151160468054607740629999941960/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^14 + 4053880190501870030459091408214703711590078299690377936020289666607\ 4285094987907002351265951215655978955630153703276569954592796361968\ 38936/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 - 5405109248289253483383911337481866753351020\ 8681444314139404162316365952993588702389191535030986517510965975142\ 89356443527384244568380962924/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^12 - 1361606881257398678217695855007883134284444311677511872602944331460\ 3454440138545376962078440023196218243054253756262252723391539341397\ 119766/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 - 274770186597592724237432269855922050618366\ 0947764665861942408055491067739008206231591530187525023859137574703\ 386313904568802433867437594296/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 - 1708479647497936221454886144951690640457436785141346508838668478306\ 7426263346565833669990621335312495932582294654565833335690128254917\ 292629/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 - 8313986139567825814231753752062729507963287\ 2139223789529114185592008060215508030242344826190669177306569786909\ 18403379299339195794844250520/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 - 5320592343139174736254722050690055464670983700216267155563859625622\ 5869352394567818995600384862055274902720841607528087645745493415513\ 8642/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 - 6997665276034280843260887858789064897054731222\ 5335743046091044060342212473515585884143891856843517778529888220268\ 5269220015111289341748889/66558777315180980632082128942642491599833\ 0243132540674448343471148985685357263666009107818929620421454308921\ 32334342029204810585914548837*c_1001_8^6 + 1817304711338722683687197733943994874352440562015369317018786698897\ 5764736454966545898077953669816127512554016686099350516399883565504\ 19957/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 + 13303720127133008433582955177010188995891001\ 1916932554639464270845350780727834049495756371830562384541610236369\ 4191680083207580990529903587/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 + 4755761983622734692122944038684756802686192607306766713926323917621\ 5831478489481466158489916442442196045462336439760115347127475752614\ 0570/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 - 131574194273789653865141332314681891153643385\ 8359292634921897757505294134408026069588204529313759487655789844289\ 429982147304126685565113/214705733274777356877684286911749972902687\ 1752040453788543043455319308662442786019384218770740711036949383617\ 172075549329187438255308027*c_1001_8^2 - 3000842355527211999454977226457168494741015039178796053953232555792\ 8998378425632916222691565156772811571493221136536226081636461888059\ 9407/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 - 11277710939977025258550343612440749208378257201\ 9698807743228047320386287916209390778337076465148217147408321409137\ 09521299190546526277841/9508396759311568661726018420377498799976146\ 3304648667778334781592712240765323380858443974132802917350615560189\ 04906004172115797987792691, c_0101_7 + 214551748563034698125804920849609048262820181155536207215941\ 2838117426589276693633476455714882039324883725536138162825550619914\ 88643328/6655877731518098063208212894264249159983302431325406744483\ 4347114898568535726366600910781892962042145430892132334342029204810\ 585914548837*c_1001_8^31 - 9671800020663207691460589472080358668917\ 0423860884270955289537513635280635642141900381895546979767275236691\ 7731792773608714323084775680/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^30 - 4543837753982593379174035303399194787191764620387861320740600024296\ 2190645024068183794758393756303290775932059585385125694359178473694\ 72/6655877731518098063208212894264249159983302431325406744483434711\ 4898568535726366600910781892962042145430892132334342029204810585914\ 548837*c_1001_8^29 - 7120251665612847348458962362883732469940071160\ 5621200095663317653877040694378544920466680448650301947520523535175\ 362683930155252629792/665587773151809806320821289426424915998330243\ 1325406744483434711489856853572636660091078189296204214543089213233\ 4342029204810585914548837*c_1001_8^28 + 5850768705164086567234941456429544466359599448819777243456320276424\ 2574076578173961483158008671944520746300319795623941477841941121218\ 40/9508396759311568661726018420377498799976146330464866777833478159\ 2712240765323380858443974132802917350615560189049060041721157979877\ 92691*c_1001_8^27 + 13620753291421488453089544216784736843706637695\ 4969367898647336530568161301560049301375947333262067631493124743467\ 2139910160879959247944/50044193470060887693294833791460519999874454\ 3708677198833340955751117056659596741360231442804225880792713474679\ 205579166953463051989089*c_1001_8^26 + 6305725799383057601215424283734855784930442784502616845249790171440\ 2043204453357930639237957319516840572974137916351158791630950716118\ 7572/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^25 + 25698138595276461719372734957307097290884027\ 1809747333859153576150718009317120108774838975260955083418205413714\ 296881307715213602135981598/950839675931156866172601842037749879997\ 6146330464866777833478159271224076532338085844397413280291735061556\ 018904906004172115797987792691*c_1001_8^24 + 3846951924371969105980541109072845518812486897135230736855761130235\ 5139140976158221038180309018641270863172086470777123397189077826241\ 71942/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 + 9682145869346716416785010437684603050771523\ 1722182228447053618543315279108819414851753680481656633393255964019\ 5418242295816713666088089548/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^22 + 1547581300857402874788875644411103004309155032654252129299574636720\ 6794131852443741341141408567756106863780310819691770167427311030786\ 20442/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 + 14888592305015289885097420567698786560729110\ 2233307271822304881502056559571466059256421818468112897212571954969\ 74749103849659549925843879468/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 + 1565479289370436771261934619069041963762634724130553136560633159792\ 7630774111789194212718744817637358182668764491662209035216057809981\ 793892/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 + 139970065951159846411752130524983475353826\ 8332818471762264137424841627832768376606218551565125803428391471302\ 5675958530113610461510331798108/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 + 8089085816502361904237663413084186050113128112752665907895925012715\ 3037395385004675501541766996819037873691411758160813488912524233219\ 7668/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^17 + 153888217104843317535988296782790684932292938\ 7388586000926270980468433800575707396202145831236583502414854137247\ 1136628559815572752811544078/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^16 + 1104631531558835700483029455082058247604959774980267995938886790051\ 5716634929229809229986575144631814121377622102812039217304473644778\ 099702/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 + 755951401350483335172328148320023515888965\ 8032071042193667558150190983193316261049494547784938009471980544958\ 223270845646743844234887423921/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^14 + 1926207285172648777996434571236745414838097177294251946948678433064\ 5457142322534706387419698295293661574224840119172508048057807531113\ 62645/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 - 5288377092598555886780680693076186818208465\ 3876470051617437470998966980292643652051902547933933034053839158624\ 28235848797833749166163370987/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^12 - 1156169514495608892084424560182554338582329705956024777939540529439\ 2674091183292363982289372939398481634382629790904899120584829395913\ 391840/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 - 226209818589046665422318969473992507056006\ 4894418287941315326315893271142379953881634101156018018982225650494\ 226960921543340105390539937337/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 - 1223358320026406055863643507504831818109283402447459335391189347602\ 4923263316539460050017532745703966001932539855854680594709978902979\ 554770/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 - 6149681455876347341412351017197520784776712\ 5616711099896566395285601995836113868407298662688227887068998306960\ 04973313857492236306929833487/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 - 4110097015125189466819328148736210248708902200259520287744230778337\ 2446620717809505743890029194068156761516897656957723964994902644213\ 9000/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 + 1067735146861878373948119969689374714253303319\ 2137187841127551461343903864237713576073424131780529871907795502913\ 6549444083482376896102271/66558777315180980632082128942642491599833\ 0243132540674448343471148985685357263666009107818929620421454308921\ 32334342029204810585914548837*c_1001_8^6 + 1426084726128981073916989998370312132504051571762994478717697389966\ 2908652296406105302537444585955567270131386477966424530007763115522\ 40849/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 + 93755817862293705400862607424127330961147620\ 7858998160628742978737315889696680745043772706277063224299946777332\ 719005453971235574299576819/665587773151809806320821289426424915998\ 3302431325406744483434711489856853572636660091078189296204214543089\ 2132334342029204810585914548837*c_1001_8^4 + 3911067256116686402679970562888031262652780893624618973174338023103\ 2329693436175064246693664440393092002005770737012705188633334144232\ 0286/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 - 466227940134135919494745476335240442815390671\ 2053134469477976241334054266702565250576475759527942652631587124775\ 874907850766325892220927/214705733274777356877684286911749972902687\ 1752040453788543043455319308662442786019384218770740711036949383617\ 172075549329187438255308027*c_1001_8^2 - 2857867526498314272683796074171034325237720105763555557491759695611\ 3644608896386473432283118389878901783865658524467624301567421150905\ 8041/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 - 75041008370123850370764436910294482354881835307\ 1597380956689809621804304994506823249600006616377809282576567024444\ 2670024888157709807371/95083967593115686617260184203774987999761463\ 3046486677783347815927122407653233808584439741328029173506155601890\ 4906004172115797987792691, c_0101_8 + 167672680433547326128328749501211963042150238730371985514593\ 0615966583809058577882198000702867039804794896939864114678538819295\ 9831040/35030935429042621385306383654022363999912118059607403918333\ 8669025781939661717718952162009962958116554899432275443905416867424\ 1363923623*c_1001_8^31 - 730002409993080340994711251770977143982768\ 3077819385186427511486508661368950209006857804837138108231976430272\ 1328707047576584235632640/35030935429042621385306383654022363999912\ 1180596074039183338669025781939661717718952162009962958116554899432\ 2754439054168674241363923623*c_1001_8^30 - 3694670681891344667254034075455560930543780199351041058061914162776\ 2220989459986770198442122120408882297151835268321877732091612264665\ 6/35030935429042621385306383654022363999912118059607403918333866902\ 5781939661717718952162009962958116554899432275443905416867424136392\ 3623*c_1001_8^29 - 464242055967718530127935831082141059168765778867\ 5275690798829515492598056934070810860336671372186584433515152441047\ 0072457476103301824/35030935429042621385306383654022363999912118059\ 6074039183338669025781939661717718952162009962958116554899432275443\ 9054168674241363923623*c_1001_8^28 + 4641756758428664910075834750624753429034781821024641915269893563163\ 4896646348023188674406388608425513200976640338691341730281124112342\ 4/50044193470060887693294833791460519999874454370867719883334095575\ 1117056659596741360231442804225880792713474679205579166953463051989\ 089*c_1001_8^27 + 2088361171003912641595579139096984685374920363786\ 7288611652961216402594986306297537853110463808990846492178652133851\ 89946436206043112416/5004419347006088769329483379146051999987445437\ 0867719883334095575111705665959674136023144280422588079271347467920\ 5579166953463051989089*c_1001_8^26 + 5095655268758303665271306567894048075907520160430057046200275630668\ 5571955193998687066804625328951227859687397306305318131954915247282\ 648/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8^25 + 2088742023876134480704132434333097142298255024\ 6063272743863020244205668382900797720359553369724680318158286236147\ 928695774747842536670480/500441934700608876932948337914605199998744\ 5437086771988333409557511170566595967413602314428042258807927134746\ 79205579166953463051989089*c_1001_8^24 + 3156440923738953004879725505593446525623206731153127698781504892758\ 6695473256386756673514352281727083887017657023359005721351867900570\ 9262/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^23 + 796689600873721286080593632404507555265433345\ 2810152022441535630300311878183081453030749028732410186688535973127\ 1433029908980287131937716/50044193470060887693294833791460519999874\ 4543708677198833340955751117056659596741360231442804225880792713474\ 679205579166953463051989089*c_1001_8^22 + 1274166820722095103063433973756486796629001332135955659424284371269\ 8844903043118514297233965776314888024232484123772579163536910762269\ 8952/50044193470060887693294833791460519999874454370867719883334095\ 5751117056659596741360231442804225880792713474679205579166953463051\ 989089*c_1001_8^21 + 1233393888922739889390373965929128048055983352\ 5912442488501768033756528571689107065855216706135029062527579673206\ 05228939066777608283601528/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^20 + 1307868146766385529520317402991476904131121314284178750148165421175\ 0247778414975345825013985692201432323000663130066072115730975611586\ 54552/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^19 + 11598115541862064751634638926496615271837403\ 6733854785811290183571674983748167673836560409827160780313469091653\ 6049561476120901568403955446/35030935429042621385306383654022363999\ 9121180596074039183338669025781939661717718952162009962958116554899\ 4322754439054168674241363923623*c_1001_8^18 + 1258173008202723866875098103159551975814605626648787442532219480062\ 8410720286372718029827156386461500980120211319302895028081297683181\ 33828/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 + 12920936729536090267029077647800501819493861\ 4906345927950084184049863487219421040859806919439674799178414434091\ 1734465441234107854970996146/35030935429042621385306383654022363999\ 9121180596074039183338669025781939661717718952162009962958116554899\ 4322754439054168674241363923623*c_1001_8^16 + 9209102814424912876560551984797738130814386735522279397471221736296\ 6158991519611466141811606227903341559576979016659966016689198301654\ 4322/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^15 + 613951316736851810288766540535434816772771126\ 6764028923011530045930418182625498720928123309246717543752581061043\ 65713790151386429938584728/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^14 + 1844300588767343464062527441596470042684013051942580948552713577443\ 9755696638100934424515421531522042351905313168173053758177368521260\ 7448/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^13 - 442292126784057636375726492893652781753499493\ 1812580940772900306324050081267902271723478474651409134704159597033\ 43621795322765014637147108/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^12 - 9625941619827501025288516535999054522579920459938815163808391751786\ 9088582657124648326814619702266927551128912424157946389874020653579\ 3994/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^11 - 187315154115130397612923755937719789369289664\ 3182662270508839943629647136215769722037381832204569133612072778007\ 98409932239223702780907520/5004419347006088769329483379146051999987\ 4454370867719883334095575111705665959674136023144280422588079271347\ 4679205579166953463051989089*c_1001_8^10 - 1043403750540665247689882962417598708439040762570802574100059367424\ 1055821297791312932816167709571899204284114536386442548957643374707\ 88168/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^9 - 500935796308892559904176355592126253655063836\ 8802656964953103125610881834713615832914501300286779168593052592147\ 14133788557597672234004188/3503093542904262138530638365402236399991\ 2118059607403918333866902578193966171771895216200996295811655489943\ 22754439054168674241363923623*c_1001_8^8 - 3358828439812119199759577590610872954186200932811225914819539049020\ 2540682684998217168174692443931016943081070242685566669270190192455\ 574/500441934700608876932948337914605199998744543708677198833340955\ 7511170566595967413602314428042258807927134746792055791669534630519\ 89089*c_1001_8^7 + 708297141002667740594850447799725677824348557318\ 8572089541021371647730106734757095691838319780686361668457087903998\ 72190770221947327209/3503093542904262138530638365402236399991211805\ 9607403918333866902578193966171771895216200996295811655489943227544\ 39054168674241363923623*c_1001_8^6 + 1301023248783565260634084711651861612251967088844657806806056632877\ 3045623200779078996903459992988621267116835091406488898722290193183\ 3697/35030935429042621385306383654022363999912118059607403918333866\ 9025781939661717718952162009962958116554899432275443905416867424136\ 3923623*c_1001_8^5 + 7664816320436186254587851368562915796779236640\ 6994428980655195685871293083845710518562951685124904823637042914135\ 626062232870976482632125/350309354290426213853063836540223639999121\ 1805960740391833386690257819396617177189521620099629581165548994322\ 754439054168674241363923623*c_1001_8^4 + 2872708912046181561658038880689018611714237941815543807560310809819\ 5537213312197255014868631625515239311918688533557159105066647827466\ 014/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8^3 - 28286946045495670033742994257197446976290167794\ 9811109849354365850844489346175257831291359804191187229126374319208\ 299329600489063953143/113003017513040714146149624690394722580361671\ 1600238836075286029115425611811992641781167774074058440499675587985\ 30292069957233592384633*c_1001_8^2 - 2078300947206984426056188795444866340871473856131805367747406909486\ 2097291916260360728195727522250416781247797729923454082657882775894\ 622/350309354290426213853063836540223639999121180596074039183338669\ 0257819396617177189521620099629581165548994322754439054168674241363\ 923623*c_1001_8 - 6560882471173947456216423658534164707251257704687\ 8899697683398701336925639590302542166219894130397960009414720086463\ 3408460492313440371/50044193470060887693294833791460519999874454370\ 8677198833340955751117056659596741360231442804225880792713474679205\ 579166953463051989089, c_1001_0 + 600075422217371776326309327903212115938042825477018476175443\ 8676751080546281639936655532105463541614367727343469476494299075723\ 16624640/6655877731518098063208212894264249159983302431325406744483\ 4347114898568535726366600910781892962042145430892132334342029204810\ 585914548837*c_1001_8^31 - 2856827068983040411314215417452244011681\ 7772584061520637374213810170822269626855666942820842633635231029390\ 74430032265286890950738237696/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^30 - 1202980802557462769768362349877990886258077449954580261095062955375\ 3766785985265021565375868776010401937021385254219306584158864704697\ 856/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8^29 + 309960677447773797550211153745536799164114339\ 0923770502534088341708332619498750222020469929444371375229261398157\ 802925101500456786404256/665587773151809806320821289426424915998330\ 2431325406744483434711489856853572636660091078189296204214543089213\ 2334342029204810585914548837*c_1001_8^28 + 1633757771003426486763631791694431223107958712345874315768500567148\ 9267004255545882076039384686639117930311597266738682558223784953332\ 624/950839675931156866172601842037749879997614633046486677783347815\ 9271224076532338085844397413280291735061556018904906004172115797987\ 792691*c_1001_8^27 + 3584748667823486321010069447693474010333266282\ 6534125306132385861743674554458532457913687452784051909109355354825\ 32475883101280853766040/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^26 + 1635708045352063468642366906817363372231597753131579343967565131889\ 1659323362725069153417093697875052919924969489830804342522423627488\ 29644/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^25 + 6559546876625529513709513292750467679222113\ 7891805016679060653677736234668359461801683788291978661891339094471\ 1091970421002863575254237754/95083967593115686617260184203774987999\ 7614633046486677783347815927122407653233808584439741328029173506155\ 6018904906004172115797987792691*c_1001_8^24 + 9510744556947469975383227603336815586374256687311224213091881063126\ 6706424516847188204860975704138779444357959031724686294752596975372\ 83818/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^23 + 2331588572641150715847604744475509701121835\ 8382310219982589398713519881428513514581980315768498623396733888979\ 57073857669878227973106295764/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^22 + 3679381179561869207568265887954934558930093512929379431340019209592\ 7330790697342866771189071958231006687194503379556635509362866846504\ 60538/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 + 34450097872466110712717372388113447234872963\ 6113186600447939411137066400451765473080363665169554211224186982042\ 41384548911761936096345860944/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 + 3400995981256318006111378621210598605418097947213084189119871377163\ 9895533993183523211432677760946403296157258270962093676674821458256\ 772884/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 + 292760596261096924896861464088624594698713\ 1526034345225293655966289249018400754825518584105790276777594041408\ 3811438763788763103705285662675/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 + 1820418420203704955061508450379105629182562717882943560504880357050\ 6004836796001796335881739964635546688541163834973887770699094290907\ 09915/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 + 33275832486087529811584961281990770761743183\ 9888879636391467965476289633867682626312805479656849330687381769551\ 73055681354166183543700351463/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^16 + 2090985926310085115010712414652940249298322003897628046922373342322\ 9933682530273857102931686702573192406646624790160233046993894995750\ 166766/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 + 150695800119911853168915474292501351639195\ 1169161258520878390902304746129132599344468107737302057582846824629\ 0047576197883466016647487211860/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^14 + 1226010250658728332980695860989228023423553339829454913954249724807\ 7442054520397437497753956900532023073481060287018122383965180645177\ 28001/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 - 1573095573253858265182991191354646083563348\ 1410106933033554271465825059143051737113236789649791660238730623289\ 483159034183268380024589773560/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^12 - 2801274465041615650068847664223318922549927574330409858815819676342\ 8217770197043112042626027347277288999334523331651155835517325140739\ 475468/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 - 520175647615270019547131626386428226257426\ 1927459657743007313368048096526012580416907917478198795763582094640\ 423018706349679446699313639691/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^10 - 2376717521947036928110977954173183642536177170494494438421346040534\ 8805836900256049253905878224617902461838671775325070372530026830391\ 552924/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 - 9923965860128280167683039176678999508095357\ 7254730274515169259635786547204767819398612568648745587554838942174\ 31800781996520215854619414459/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^8 - 7277286216558445609046044888425734406711534930673288058576070190504\ 5051812771105723118860375715321649414721702257332924483164266072060\ 5752/95083967593115686617260184203774987999761463304648667778334781\ 5927122407653233808584439741328029173506155601890490600417211579798\ 7792691*c_1001_8^7 + 2069901045131910181740938058744992396014829061\ 6343249597316958960377157992355378818796352802430294072802159781513\ 93061946241279711782570628/6655877731518098063208212894264249159983\ 3024313254067444834347114898568535726366600910781892962042145430892\ 132334342029204810585914548837*c_1001_8^6 + 3630120501432085685571804196465747912918140930728843440862778656473\ 1212540921212993957681348243839683141614458045107634085425710284607\ 22849/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 + 13800850174476645843234983651332140075252972\ 1958654616080539469048452337270172088807383933348938249759420898067\ 2640848605016934967792480680/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 + 5197660035099545961684700912309449202605277418643439343206790605288\ 8803476283773964412161460547587241973270551905323265592365046832458\ 3082/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8^3 - 191212634992600772910166979142652197681321922\ 8764786869133601029622796286112730860570411612026119039976835312331\ 3952955118693352842968261/21470573327477735687768428691174997290268\ 7175204045378854304345531930866244278601938421877074071103694938361\ 7172075549329187438255308027*c_1001_8^2 - 4857347877009500988691457636425387779135548513038899948149961624168\ 8072875838013150668881030280020174293091280317731483114903216372415\ 2678/66558777315180980632082128942642491599833024313254067444834347\ 1148985685357263666009107818929620421454308921323343420292048105859\ 14548837*c_1001_8 - 52060005020261057270938928999658671581731429872\ 7776970611979621773073454345374333788897866451534677769463942770964\ 0551956671512936475791/95083967593115686617260184203774987999761463\ 3046486677783347815927122407653233808584439741328029173506155601890\ 4906004172115797987792691, c_1001_1 - 149966543983352104362240937271627543786700267436580221955934\ 4861050755771302340365250245559168983068473906005375514884515913843\ 804595712/665587773151809806320821289426424915998330243132540674448\ 3434711489856853572636660091078189296204214543089213233434202920481\ 0585914548837*c_1001_8^31 + 713545437570876989539253110667816836613\ 4442855357145452860143260183036416087222360965046130205835390064111\ 264499428484414877477785789696/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^30 + 3001258556932560621913864313797208630998231265709160745710600940872\ 1073334483102526867463657100937845558073380947837390524362758444833\ 536/665587773151809806320821289426424915998330243132540674448343471\ 1489856853572636660091078189296204214543089213233434202920481058591\ 4548837*c_1001_8^29 - 730737874282498852986219768356555946781261164\ 0107197279258152227231760085540163249044649017430485477185080343441\ 316430713740089733492416/665587773151809806320821289426424915998330\ 2431325406744483434711489856853572636660091078189296204214543089213\ 2334342029204810585914548837*c_1001_8^28 - 4064292638553511990024263415008948622877145241496342409153029906986\ 9101477166196798190632981803099980697282196811382779762574843776755\ 456/950839675931156866172601842037749879997614633046486677783347815\ 9271224076532338085844397413280291735061556018904906004172115797987\ 792691*c_1001_8^27 - 8969640762939804715613235023471656934794427236\ 7782465137777125518680506564883175631666895666859995121863712202669\ 39371544701179134900064/5004419347006088769329483379146051999987445\ 4370867719883334095575111705665959674136023144280422588079271347467\ 9205579166953463051989089*c_1001_8^26 - 4104440108396680550802976586576906536374120686675300322044658328710\ 0735752778853385498639147228050977757262327496908162168288435888039\ 47072/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^25 - 1648510878118332973566979253599728121153644\ 6637219892087855469649978653057711845273086261067980772369755855302\ 16542840309570428619921981768/9508396759311568661726018420377498799\ 9761463304648667778334781592712240765323380858443974132802917350615\ 56018904906004172115797987792691*c_1001_8^24 - 2398133238304441556110103571364515768593725874964505494977108590432\ 7288712975565133148466880266752131773948409651078863794404492067639\ 918262/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^23 - 590804841878064293023984395930419477118303\ 3054580676418712926920226094173177789846360181941036362701561698724\ 494862325430740887461101262144/950839675931156866172601842037749879\ 9976146330464866777833478159271224076532338085844397413280291735061\ 556018904906004172115797987792691*c_1001_8^22 - 9356268621643786842209412777705010996926818215094675030184782115349\ 1929302689576783056702866848029251837000972476190076589013650917172\ 19502/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^21 - 87990122916292378794437963429930766759660149\ 4477512648632578956238555381764556654274122746615327819097789488476\ 95700377868198255065217272652/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^20 - 8793580172300854554619606992437937536862354311670061505926141905658\ 4251090977482530041617566960785562857240706854105543511785012782420\ 244662/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^19 - 769611148952268847329739222352388945923928\ 4120915029555960076803729734558699791353482447340386778308379006486\ 4087472997731779912818041866888/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^18 - 4737921802302317168963514800219842388829351646002894073641504826200\ 3585050212026459424847229106861418868190840193721989779586895432291\ 94970/3503093542904262138530638365402236399991211805960740391833386\ 6902578193966171771895216200996295811655489943227544390541686742413\ 63923623*c_1001_8^17 - 86341436674580511463741399274831378565749493\ 4875795881864052716492374815649683978552782125901863052224343918462\ 71031656942792265970940914966/6655877731518098063208212894264249159\ 9833024313254067444834347114898568535726366600910781892962042145430\ 892132334342029204810585914548837*c_1001_8^16 - 5620365145507256264951101488808414344287295214832696288687127116543\ 3838068265296231728894930140443924969776588347180935819137413292287\ 733410/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^15 - 411473522238099600844995522038919198066017\ 6060582278199678590541365995322615451720010941359509293567472398660\ 3538276120148081587633393773052/66558777315180980632082128942642491\ 5998330243132540674448343471148985685357263666009107818929620421454\ 30892132334342029204810585914548837*c_1001_8^14 - 5028537386428514110752761729707999867547123122088871877090783184757\ 0845574165715006234988133116592865946584944768286433007170617803016\ 34062/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^13 + 3777474398659146627572012262843540746323651\ 5813718237156807437156129602549459284724312219883760590291481372682\ 504583075198632841408171278194/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^12 + 6993459172370082880047686187323209661143417554164991994378258681507\ 8125910222799323489461221328300899459589940833372875668276898844907\ 188246/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^11 + 133033562196700660494659942115142802637473\ 6232343555841241539163060657783997340951794752798565887278930274917\ 2730919048893633258310786429408/95083967593115686617260184203774987\ 9997614633046486677783347815927122407653233808584439741328029173506\ 1556018904906004172115797987792691*c_1001_8^10 + 6252165955803266603525565244654647573276706986242051523755063323060\ 5097215861835767884972777293837745410871672289484930965987493593502\ 941642/665587773151809806320821289426424915998330243132540674448343\ 4711489856853572636660091078189296204214543089213233434202920481058\ 5914548837*c_1001_8^9 + 2856908598866987365064186565429423920578056\ 8044838914749703459331666803922050675102761163769086316606017535714\ 737626862290887146075305447959/665587773151809806320821289426424915\ 9983302431325406744483434711489856853572636660091078189296204214543\ 0892132334342029204810585914548837*c_1001_8^8 + 2173616244567619081408486721455596089134123571418753057177457787630\ 8324630717528524353783054277135231386128425396349207973255859449942\ 20621/9508396759311568661726018420377498799976146330464866777833478\ 1592712240765323380858443974132802917350615560189049060041721157979\ 87792691*c_1001_8^7 - 424976269338044059765536519618996941079576014\ 9144555909291274272133916969570727126919467233138985274709446323674\ 457566356047916152475845202/665587773151809806320821289426424915998\ 3302431325406744483434711489856853572636660091078189296204214543089\ 2132334342029204810585914548837*c_1001_8^6 - 8295251438899768167732724455253434562321250873326159822790393263369\ 0727981733761001589644092520601496215259689137228132011233236114139\ 61099/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^5 - 37023148780633199809648185448108595676583549\ 0529771627790131241187171012771732733121202406189020055257262442091\ 1035080746358479849737890011/66558777315180980632082128942642491599\ 8330243132540674448343471148985685357263666009107818929620421454308\ 92132334342029204810585914548837*c_1001_8^4 - 1841116302166293522578031396286311919627788447037664021927091529473\ 3633877642814199413683983558119244181405829799179088550904613842811\ 05257/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8^3 + 47579923181025122328463743585676861430631002\ 2619725904577296746233445254792250419767527773400705347891404642073\ 95289106233823323494859288/2147057332747773568776842869117499729026\ 8717520404537885430434553193086624427860193842187707407110369493836\ 17172075549329187438255308027*c_1001_8^2 + 1124220941396085511255017574534082857253238937796768100654541117133\ 6044882506373921957472149694693188458000703277728685231762296466062\ 41689/6655877731518098063208212894264249159983302431325406744483434\ 7114898568535726366600910781892962042145430892132334342029204810585\ 914548837*c_1001_8 + 1559085928377050513954927953707044812006925756\ 1790819377276109286974391618190592251913218788486587697658850876856\ 132503115938627082564489/950839675931156866172601842037749879997614\ 6330464866777833478159271224076532338085844397413280291735061556018\ 904906004172115797987792691, c_1001_8^32 - 9/2*c_1001_8^31 - 85/4*c_1001_8^30 - 1/4*c_1001_8^29 + 3059/16*c_1001_8^28 + 6755/8*c_1001_8^27 + 188169/64*c_1001_8^26 + 537159/64*c_1001_8^25 + 1148835/64*c_1001_8^24 + 1012165/32*c_1001_8^23 + 1620507/32*c_1001_8^22 + 4461213/64*c_1001_8^21 + 1174641/16*c_1001_8^20 + 2111371/32*c_1001_8^19 + 2332035/32*c_1001_8^18 + 4659525/64*c_1001_8^17 + 830591/16*c_1001_8^16 + 1172979/32*c_1001_8^15 + 82891/8*c_1001_8^14 - 391001/16*c_1001_8^13 - 849559/16*c_1001_8^12 - 2357943/32*c_1001_8^11 - 3669461/64*c_1001_8^10 - 1874727/64*c_1001_8^9 - 948759/64*c_1001_8^8 + 5185/32*c_1001_8^7 + 6397*c_1001_8^6 + 30697/8*c_1001_8^5 + 57847/32*c_1001_8^4 - 5163/8*c_1001_8^3 - 66765/64*c_1001_8^2 - 17913/64*c_1001_8 - 1813/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.370 Total time: 4.580 seconds, Total memory usage: 32.09MB