Magma V2.19-8 Wed Aug 21 2013 00:29:49 on localhost [Seed = 475663381] Type ? for help. Type -D to quit. Loading file "K14n17220__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n17220 geometric_solution 11.80510734 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577786857332 0.526558367240 0 4 0 5 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.362820031702 1.861409027954 4 3 3 0 3012 3012 0213 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -6 6 6 -6 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611061018954 0.544436581942 2 2 0 6 1230 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 6 0 -6 0 1 6 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731358196910 0.498474848146 7 1 8 2 0132 0132 0132 1230 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 6 -6 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015154728885 0.401431638406 8 9 1 7 2031 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652610604250 0.319157521210 10 11 3 11 0132 0132 0132 0213 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 -7 0 0 7 0 -6 0 6 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334149565111 0.877008097365 4 5 10 12 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849442035477 0.873999041384 11 9 5 4 0321 0321 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401660753286 0.843745585465 10 5 12 8 2310 0132 3012 0321 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490301889577 0.673662790016 6 12 9 7 0132 2031 3201 0132 0 0 0 0 0 0 0 0 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 -1 0 1 7 0 0 -7 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.363191509468 1.252642865320 8 6 12 6 0321 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 6 -6 0 7 0 -7 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334149565111 0.877008097365 10 9 7 11 1302 1230 0132 1302 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -1 -6 -7 0 7 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.085151383930 0.829592640368 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : negation(d['c_0110_5']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0110_5'], 'c_1010_12' : d['c_0101_9'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_5'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_5'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : d['c_1001_6'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0011_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_5']), 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_5'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_2'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_5']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_2, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_9, c_0110_5, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 9042766482426568302296751524869091116523022792160475618848502002640\ 058416929817574959889180901236117/231362849084883154508480000882988\ 52354561259249901881110507716620880129799495111496279166641375*c_10\ 01_6^26 + 473297338443641457198598462423413501614534660873674856614\ 74199160563731703971021127651378048321631562153/1730594111154925995\ 7234304066047541561211821918926607070659772032418337090022343399216\ 816647748500*c_1001_6^25 + 9196106265503537318367300458615362540318\ 71477470700332887204253023595846638638464537145631604309838712193/6\ 9223764446197039828937216264190166244847287675706428282639088129673\ 348360089373596867266590994000*c_1001_6^24 + 8149382207469562173322560662629033298319667226365289369524623712045\ 233984953086848324619328622233449379507/276895057784788159315748865\ 0567606649793891507028257131305563525186933934403574943874690663639\ 76000*c_1001_6^23 + 14191343150336811937770434910709791496435578492\ 000494164879194213846299119077598942677129772087027001162577/276895\ 0577847881593157488650567606649793891507028257131305563525186933934\ 40357494387469066363976000*c_1001_6^22 + 1773476214562311432257921563502191952620469862616924279821709481073\ 311820639952437228899444282419198525589/346118822230985199144686081\ 3209508312242364383785321414131954406483667418004468679843363329549\ 7000*c_1001_6^21 + 597007570963119894884039152349109344876245594923\ 1960751454886388635923034456768849394315957352726984509527/13844752\ 8892394079657874432528380332489694575351412856565278176259346696720\ 178747193734533181988000*c_1001_6^20 + 3157615257573235672571115751870495077700910910544124846863829112124\ 396802315303272195858044913307243604587/276895057784788159315748865\ 0567606649793891507028257131305563525186933934403574943874690663639\ 76000*c_1001_6^19 + 26795889610885731727826078186809157212078421825\ 8052419848962859080634388183700235626570336926643750020041/55379011\ 5569576318631497730113521329958778301405651426261112705037386786880\ 71498877493813272795200*c_1001_6^18 + 5589706254604473413995604660116602254055834644919943220151944552769\ 92207241439484013510629225058514399051/5537901155695763186314977301\ 1352132995877830140565142626111270503738678688071498877493813272795\ 200*c_1001_6^17 + 1491578716294519376501403939230188412758985338702\ 1385695313142695608711189454458375289858695075555476997147/27689505\ 7784788159315748865056760664979389150702825713130556352518693393440\ 357494387469066363976000*c_1001_6^16 + 6913322152600528095746935188805764706329465510500495115832769277527\ 953025705383649782497466854299765036491/692237644461970398289372162\ 6419016624484728767570642828263908812967334836008937359686726659099\ 4000*c_1001_6^15 + 182965562988266329920211537395041547706630266429\ 13847406589341304401061296976680575328311581062957310381001/1384475\ 2889239407965787443252838033248969457535141285656527817625934669672\ 0178747193734533181988000*c_1001_6^14 + 3567887981942240456713623425718740914330954442745899604360380362907\ 7054308147819625146037868388277760021571/27689505778478815931574886\ 5056760664979389150702825713130556352518693393440357494387469066363\ 976000*c_1001_6^13 + 1304420010152438621172210032113622433702120869\ 259102460355741567347975424949642638910612034564679969427061/138447\ 5288923940796578744325283803324896945753514128565652781762593466967\ 2017874719373453318198800*c_1001_6^12 + 3825588251727653331672638063651948558186888750932556795298073305775\ 90796024311412243998146574197766987109/8652970555774629978617152033\ 0237707806059109594633035353298860162091685450111716996084083238742\ 50*c_1001_6^11 + 50665004938542399829223414223352724542379739176007\ 1879375237242658659275422688862897279396367757217286897/55379011556\ 9576318631497730113521329958778301405651426261112705037386786880714\ 98877493813272795200*c_1001_6^10 - 2049774248498034641853202090919719835355982522982654692210397026588\ 66079182585934557634280195572538350453/2768950577847881593157488650\ 5676066497938915070282571313055635251869339344035749438746906636397\ 600*c_1001_6^9 - 31157901148808681264049724585242591605623892858602\ 8216209359215194983113147764843246591841559286126561887/34611882223\ 0985199144686081320950831224236438378532141413195440648366741800446\ 86798433633295497000*c_1001_6^8 - 789609068716658493730750800147252\ 4149194248172272873416799277331178944862437801295989919985402145650\ 58667/2768950577847881593157488650567606649793891507028257131305563\ 52518693393440357494387469066363976000*c_1001_6^7 + 1041428239822903962274024658368795545882413380237880273677644747726\ 232916783080223103392292142603644132937/276895057784788159315748865\ 0567606649793891507028257131305563525186933934403574943874690663639\ 76000*c_1001_6^6 + 154685418207172265067753239808070577652182337543\ 0921658844553575640355631421955931859150264674818884440989/27689505\ 7784788159315748865056760664979389150702825713130556352518693393440\ 357494387469066363976000*c_1001_6^5 + 1282392735553881687058803950685407421781378115491706553595626651475\ 46130467456597357599995977695022206369/3461188222309851991446860813\ 2095083122423643837853214141319544064836674180044686798433633295497\ 000*c_1001_6^4 + 38926744472916932218350346115284471261135936451346\ 7849807850290656341218771943145263886351828338396969583/27689505778\ 4788159315748865056760664979389150702825713130556352518693393440357\ 494387469066363976000*c_1001_6^3 + 1725046802312224095041640735458011009375580190367786063725433822645\ 8940790905813493612724876543262272957/69223764446197039828937216264\ 1901662448472876757064282826390881296733483600893735968672665909940\ 00*c_1001_6^2 - 695089667000742880304011687046746582571086913919387\ 439934062240815941997537973538182544406918781306449/692237644461970\ 3982893721626419016624484728767570642828263908812967334836008937359\ 6867266590994000*c_1001_6 - 703710292198393372952110243504796330562\ 02500497022587189401384494611874656469017403546591488568702703/8652\ 9705557746299786171520330237707806059109594633035353298860162091685\ 45011171699608408323874250, c_0011_0 - 1, c_0011_10 - 22000143323572069769787304939956913215880020132029465603113\ 45001224594747493901289584/1632392895065936826460680504518565669933\ 1234951705199802032724176983123510303745639*c_1001_6^26 - 1501186422040917650183844347616041046014093716266529911998615906326\ 8252455523455172484/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^25 - 7192935327953855880928150103902452646824330476180089813155636666628\ 3871017523954907785/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^24 - 6060678713310694854442224243207426585362285494384737266317623344290\ 01964633861157449435/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^23 - 1016708697203747034474311889587874111329035567945825608387540985706\ 723322299876896142491/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^22 - 2268616225490676494906172512237197779645306167850261789324166615932\ 24206797185341531932/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^21 - 3456274869326719622074484621785972860753236701944002876059666142799\ 78974993799044577883/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^20 - 1596564287861563618877430526198445641669085200670197707128921624939\ 8606351809133216751/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^19 - 2017071903771026511992901389233702300605739843360098329645291603738\ 28220423307986719/6529571580263747305842722018074262679732493980682\ 0799208130896707932494041214982556*c_1001_6^18 - 1984524159913194564567039495812945803063662538249045129970933384128\ 63689734083045403667/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^17 - 1160413918127019370721389580632034633687126457867207862961264457197\ 729017567536887092149/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^16 - 5057418211389647580234154403902181875653437541491601127232622862082\ 96579054471637204140/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^15 - 1247002837960907686686423036817706558313747978889711019493378044023\ 235331419939272597533/326478579013187365292136100903713133986624699\ 03410399604065448353966247020607491278*c_1001_6^14 - 2233403493596298525387955227400424338663200131274630942955561749979\ 861844035260946694479/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^13 - 7095959630842575921016489717209770464700387101768157858524604269483\ 65903253390149651105/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^12 - 2198799874180793161552701710656464408937373852907843336812399467721\ 12114800885599295615/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^11 + 1007407644814813193777667422959831398539380454336499398507851405616\ 25400856444554607477/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^10 + 1315616070391305313081805566272005436067397490767229280366555696348\ 35306192914574586899/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^9 + 4672091980760220035978535532833115627469882463698801644699462969906\ 0189003612318939212/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^8 + 1821685009543912206429698997522856475196605452191757914371676003435\ 4925194819446236475/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^7 - 1079968389885145438967291674785421865147895206205998587823613267757\ 50865550330475906735/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^6 - 1140601655910416399033518473918869655583822720907353234517624591271\ 83572386164269948877/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^5 - 2776916637940186887182235134243517448653613474461631711579157657412\ 4293788093882613907/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^4 - 9242921558388199144902629495231879703310313675783452591064305741274\ 583248657247034633/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^3 + 1243272153566614818680753127758361393620505143248634604998661858551\ 029234428784183841/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^2 + 7958204881244784819653452654775732217558714829160176063079706994746\ 71603926967821200/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6 + 1305880895045028646650618336466242114590725507195878601081033527045\ 70905227833247209/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639, c_0011_12 - 72560071472407076446248646476609475837693387356112457759643\ 20788562960865320239395180/1632392895065936826460680504518565669933\ 1234951705199802032724176983123510303745639*c_1001_6^26 - 5029583777907014043727621587252739932790470258615798571557284201581\ 4617534404558691737/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^25 - 9693098515068794899659744438828535865274291258538209401966005421587\ 73395248069176453721/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^24 - 8378677160608070939040445059912071485626925754519227932207463375308\ 562386519629445924355/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^23 - 7074407721783576559730186551899526048004641315627187605289583725523\ 782081705232593017185/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^22 - 6584570041609689959112904382632776837496536402405856534245077315680\ 879639481079317034239/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^21 - 2500830257068491137395820013641916016018878534009998539034910743483\ 925572530139886953765/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^20 - 8848962676328119079389179474077797291320712871107898238789466207078\ 12869847182274633323/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^19 + 9992681737072250669902545879033044538323198296790041978662672195416\ 8116926940792946817/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^18 - 2690344996149135740568167647769563206307746839960562591716306420098\ 481569966894179686501/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^17 - 7793251313250308691438287194520708382407345663675635756493509381455\ 328296824077652962431/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^16 - 1412655830271258484959347172570555850705417260501163329194075610536\ 0187962933464424959539/13059143160527494611685444036148525359464987\ 9613641598416261793415864988082429965112*c_1001_6^15 - 4406799796670574596987331677773477712159289625678695031363744661013\ 768856989496617785581/326478579013187365292136100903713133986624699\ 03410399604065448353966247020607491278*c_1001_6^14 - 3221014848261253398065794573402282711503102941763158676015397988562\ 4180808433304560243695/26118286321054989223370888072297050718929975\ 9227283196832523586831729976164859930224*c_1001_6^13 - 2095581008456050896966633313937493350515408641111750881246272997393\ 4601380499214228514661/26118286321054989223370888072297050718929975\ 9227283196832523586831729976164859930224*c_1001_6^12 - 7065606279761196047327278057499761696777292152480135392746507842335\ 122536399698029916555/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^11 + 5640401694182845125582778343568838757992867259739627397839455075256\ 99885648393534612959/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^10 + 4577857078135146677375185945026731977160635665847402183459868567680\ 02022421622300274545/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^9 + 6889133922234198104105970041116766290258199397120794010322003969453\ 08697599561941142151/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^8 + 3970580197588644850760556410950964867531729663379294018606523150497\ 80546260485537852579/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^7 - 9076067986602967144098191297480774693841782331376359423555025803378\ 8368556903420571980/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^6 - 1649378392916874363793216597917691730003500725111863050079567032449\ 719711214850149987585/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^5 - 8446047398947530806390816343696033462193201596349518359405383459418\ 22465884451375700547/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^4 - 2033472975319716769114183666506995508406434546018126951160852102513\ 9932641488461658345/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^3 + 8186883732367122770347308036759591287563137243946129318628915242358\ 465289151128622853/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^2 + 5927352183684015662362348325271970268662661298410004932809616061723\ 779850423554635291/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6 + 5622172128191013674841068438546811689583527290952526061556993405060\ 88443044385759527/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639, c_0011_2 + 230300803777584441722411832027753222829059459484762581815422\ 281990325950243335533552/163239289506593682646068050451856566993312\ 34951705199802032724176983123510303745639*c_1001_6^26 + 1672128814716904595862361087418229965852355115823313326085698268014\ 624933663065232788/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 + 8206243799094296691132709853274131487960363512544117767207526084356\ 683058697941231589/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^24 + 7625793293023518953660716575322183834437665218758981684075093663476\ 2090330637433655495/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^23 + 6621511458956960746288614357127259187149644437839982464345847934922\ 4329153148726272125/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^22 + 6847474994621362479761614458480263226535046610701866094447395350284\ 8943566928974621693/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^21 + 2671604204203713395478538970959536979899220645130456241467832046373\ 0635953525652536577/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^20 + 2520349271118761471421327234962104470086252335287219761473829447832\ 2854247603699873467/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^19 - 1365335160734881864761925983823608720116764092287678201283305304590\ 268913006535545129/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^18 + 1860713593411959070005384506918520063556320370159312771506079214193\ 4686097576492466017/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^17 + 6707008123592699216284023463825232213949162043708440843982093984754\ 1199312640329050989/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^16 + 1303194077445955822306202108588332750813287689416652404034200991236\ 26545481717954062805/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^15 + 8723626665617695296681296726312137269030944734164874074618506639618\ 8832737387824442894/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^14 + 3298595545093396167116163225280772576587536769595984092606729263912\ 06102805102286483171/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^13 + 2345270217342212976159492098580318134280723186142773371794927016331\ 19977361312970255413/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^12 + 9261606598524204972338526415168375467561743560039712573901372423713\ 5974037835229702583/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^11 + 1677846410393508712620257767579249145830970182730536346370682730694\ 75275329144812309/3264785790131873652921361009037131339866246990341\ 0399604065448353966247020607491278*c_1001_6^10 - 8906863509351813403023512235572364588307109157149410567767632897030\ 546277469304932270/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^9 - 7408160880441698478263065315146779140504037212892379989704746873871\ 537738517819855255/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^8 - 8867096569642624021381668116504778002487243383397469060082936601396\ 592915475401274959/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^7 + 3055377301449763498230834264952724229686091476214098781447900701056\ 719645208770019706/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^6 + 1691335270336576203562438410595236732038363883587369089725440539579\ 2397526392656476469/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^5 + 1031272537488360495309499681922386968175823934243711989200021805337\ 4333248270308051415/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^4 + 6272021955073180578739410918428109609760279899612259944900584496245\ 66602254338699743/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^3 - 1044138767853406265291506307004666926832970353653540053006902109700\ 05302625700624854/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 - 1335135218787475936951536898672146840932206014017706084701516226288\ 05630841369370738/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6 - 3985543180738107926804730031938721235200072752648348213295261119231\ 0437808564457688/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639, c_0011_3 - 435882496001481833172449269644150653551456056538893620247863\ 302049549844108149331384/163239289506593682646068050451856566993312\ 34951705199802032724176983123510303745639*c_1001_6^26 - 3143186972825775690655340237529736963108769049908234538024972277811\ 804070004955290378/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 - 3075668058627009534799436584312072036212067052589388552152419771032\ 2057141649563720629/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^24 - 2826673618822426941121818932108417761341726441183434777455341136536\ 36005655183162070183/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^23 - 6095724640051468964652326786054462481319852795481566677971073266427\ 9184923289554770171/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^22 - 2471546560999115284044369072350996340200560003832552384761435104259\ 15295769461468238339/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^21 - 9473241568633331136140299266956014354794283273151835788226808326785\ 1409447912987287399/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^20 - 7371414791577173990230561637547044561205982013104855851777639940437\ 9591691579273283607/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^19 + 4538941780944116119931029755546765179912999931022634023405036820846\ 959234791485922657/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^18 - 6986021040144690214205386031449889976963034249667755856861622265423\ 2006900784694745649/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^17 - 1257518841462509732542740772396030395844715630540739448460588189409\ 71135681281608825099/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^16 - 4830370921216887740916949822387784855203465285580526647414117554257\ 88926060904668501687/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^15 - 1588994886868800858932750649808873697270504060056838041608160123440\ 46292385446658556298/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^14 - 1187621313362538345733168277406733948557806548099300415547524870231\ 303775309576361929779/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^13 - 8195795140129064626785087087725705538638588331625673875965170162045\ 97214282095649169999/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^12 - 3051295895743962611030306121313058090927430279987284164334869241567\ 28618109286897719685/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^11 + 2976502470969658942291458191657034893483136536364315204312890264853\ 228269659730498648/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^10 + 3417762328803574733121193093241525905137536285177367304770556551203\ 3543343675417861225/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^9 + 1334904281416224872693063916635157188815422690639837688020472572637\ 5147512380839229028/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^8 + 2658215679494932058900982613882405520058792150758407583254071050274\ 4092189902280463399/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^7 - 2413858118101206603396104863471340084072161509165611410843216153883\ 3396948613428543773/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^6 - 6220697777361809488641045736230821318977713997249232475749241525747\ 9301154289938366281/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^5 - 3542704878705830524040160726559710678437647439784096561741481901949\ 0505331522720291325/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^4 - 3696989638970137810174757217728394516382635578377494369007316505911\ 277212717575086945/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^3 + 3281598549358443511208760576107971760077908973074875861554855622550\ 23510305921292695/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 + 5449732514399383562292992951510283766227654573503268942399381436743\ 50000337977714185/3264785790131873652921361009037131339866246990341\ 0399604065448353966247020607491278*c_1001_6 + 5354223384412816347383024386588705823204830910902345784309175074181\ 9159819904325271/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639, c_0011_5 - 407790393420601462503187047092901402283700503940744455609427\ 3299750004502957949770612/16323928950659368264606805045185656699331\ 234951705199802032724176983123510303745639*c_1001_6^26 - 2696543955015878258813623926262544051006735033550150068457908550717\ 6513289429096008703/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^25 - 5116261115776655057970300615796019031537197218736077309044201411256\ 85039643985762547743/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^24 - 4088731134506440506458840889615785170197228203900680184151980163799\ 450471204987399272197/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^23 - 3400453646500766058615612706786737046393294124969513083146476894753\ 266506587364610611661/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^22 - 2759459016965944436181620509746171345717917410539380822699321709722\ 850363840780751934565/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^21 - 1082919807399735565058982822636330143535220398132672579372939046974\ 791970371785742088845/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^20 + 5562762965844803978822446596766448288959951043506741181796298657670\ 55797784899324569619/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^19 - 1651950324032253719588273080333625027771442746037472185946936478058\ 71608771543742328351/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^18 - 1302791907751233112220938841003916625849998759300888303836701669187\ 387104930148704036731/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^17 - 4196594912208305131937658593397957952818547751478923241258098271445\ 289165125820081074843/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^16 - 6647182148477978507907956725815671310722898151159203524440537182874\ 500282787251401794473/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^15 - 1013262697739260883864725828610489852759861278325700982677179897020\ 850794641444525441282/163239289506593682646068050451856566993312349\ 51705199802032724176983123510303745639*c_1001_6^14 - 1383256981509470043168209438685600772792659582174264946005484347528\ 1105522050442688461721/26118286321054989223370888072297050718929975\ 9227283196832523586831729976164859930224*c_1001_6^13 - 8435587601151121357244349749891566193330337673957736298360293712926\ 893147782026490611183/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^12 - 2125140812519097734451464145884354628802573057243559118263456357166\ 602731144048559818353/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^11 + 4200984207911973947488228623181783614709537270101933404952385965890\ 82962176892837518755/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^10 + 1080572370211887289726159038465676159220228672366036775980518715957\ 49422371180675038546/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^9 + 2690915491545061168139438731906313614644806271841384804457864703071\ 04109118642470057289/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^8 - 4484411177107044417543270129429525311960048560339114364425317548205\ 736733277766240315/261182863210549892233708880722970507189299759227\ 283196832523586831729976164859930224*c_1001_6^7 - 1893572188631227622648984771222007027878034963599014332392546120261\ 77689433551835180229/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^6 - 6985236555088477991891791031962597659470904159571220994081078860450\ 74930863871515646151/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^5 - 3085126554818671523079827260713402582837523031399745721850243428906\ 96081030931684295577/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^4 - 8798763623460317571129470540663502654043955306933367506007508375384\ 522462845705027765/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^3 + 4182539759331498987188327851932349189963886368596876120804112225771\ 966842113736179531/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^2 + 2091670887823665401050420572645975299522152576351770419657581662437\ 948381984239536463/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6 + 1391268345785973656093156650717185937885422618581387758539923793270\ 42214503208707907/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639, c_0011_8 + 219138144486860091152699880433349154267574676772349913668249\ 868216096156145299473344/163239289506593682646068050451856566993312\ 34951705199802032724176983123510303745639*c_1001_6^26 + 2287269765426351076820547349621577691810493848366674293951859718456\ 635622471997120368/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 + 1224539174941680447967166967608853169520734031541651513948377801609\ 8092314075344328428/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^24 + 3890799842140556580244816355943977532440431490838342627291480781592\ 5165708657506250397/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^23 + 1402230819059820871184387996785134341898762885003347219148140021621\ 14685955777208455669/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^22 + 9568695699577594231797418175356006598780116072784976021814429584071\ 0039343562087704690/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^21 + 6875957504887257412582854104153982166481853301058338655680980628580\ 3513497790036544299/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^20 + 4124861380997436257365570576074503274526100676967023101636354490129\ 7755054592211285928/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^19 - 3098162508822218985323010542459570733907326971603683574101824887418\ 1914728374882232875/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^18 + 1150754569353475709369105919126886114651791969362561277247898864339\ 9844616066111777523/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^17 + 8835777289902376321910570834388639335324314829416483767619117009563\ 0966992967537564763/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^16 + 1490416303368027311746050404074048471998768041036747267014478550981\ 22574918856243837541/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^15 + 2034012356254898344189915579126519430043483539619497459744723301757\ 22036934578056337833/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^14 + 2221481712077698931089682293389605099992643124065657155211392068960\ 81843936441075521296/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^13 + 3344297346484918696333011006435078266995538244228987573066095792788\ 82295145233441502127/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^12 + 1688880483039379243134563529054163365137384248631232382276966157163\ 60332494181439595095/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^11 + 1344140827613001942515924827101501384688933550772289288081512009135\ 8615175229960017519/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^10 - 1906324288836270577019187340400557981296613366875502217978191654419\ 1410816228883185204/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^9 - 2270934561100324513111258881323966677490265497761651934128702412996\ 5899396000385344560/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^8 - 9488939559503609508511570646538949277142586205673374644831297266630\ 902434684710723420/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^7 + 9721388293379387755305136416604665628292776404965945550872035143464\ 439705521753395717/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^6 + 1172878866304878078236724838463736208484216957751530336075937191989\ 3842809935697565818/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^5 + 1591166923124653995433391485381624927022766209139037278269131847261\ 7429044416288813169/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^4 + 5005743630214066662198071411447892279422630521220896966421017222198\ 153907007119904763/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^3 - 2030664981014623977095154944079625389306686966446023385123171425423\ 44517377403294766/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 - 4559531730152824398241721783714199764716515573838708075480187752949\ 72265831593341524/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6 - 1279205070294108518046499408783510209718226860866544571862951800403\ 12246341346709237/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639, c_0101_0 + 264474957877274810558263002970050541810998517668728737033069\ 745413724783756776203808/163239289506593682646068050451856566993312\ 34951705199802032724176983123510303745639*c_1001_6^26 + 2125230434284026101534307746462143471797092633794581344129182036802\ 866733231092545880/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 + 1067443065772586981852684653626452347633912220127281535515980977352\ 3047560944374010166/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^24 + 5532271733528923657889039159280524682497410236148344913592639225628\ 3198420566011779833/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^23 + 4778625790525643694555849938606719868119567257418937188970119779153\ 7111099319377719853/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^22 + 1102093098034209242390583839848828875544547619602261036697179626108\ 30818193443107931321/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^21 + 7798790484098092482439630101422273322971880715057406073365619209670\ 3661542258036259081/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^20 + 3008015648741946055579569825862395103518221176617871805537759120552\ 0368475110173904485/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^19 - 7275147002733584899441018480447822773182667494680254836628447032869\ 891009099726897824/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^18 + 8907305373792379227143302304717263566165400826029302516527669016020\ 393858484635003838/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^17 + 8300683884890243451672910072996110059257064765569802663607747752391\ 1789241777777533947/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^16 + 1985824763587155939582783958226685854237190492807807095450871299729\ 53462998981945210167/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^15 + 2584100907936083238587095111212247345172535803086600584275749094171\ 13325899720774481429/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^14 + 2567336166441022830505626249848407299116812591808683070824502544413\ 37846338668367782613/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^13 + 1814032293718007570603126721883071528036102561281638569305472951576\ 15443515196645801503/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^12 + 3788523562976877316435779625051630196972154152356166864937828902521\ 6304393888512697008/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^11 - 1318020263132102704084171274810024228272482202097748812581155922217\ 169265291070974318/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^10 - 1311703032247543609089973365607578015477511225638372070470118556170\ 2946925446303067342/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^9 - 2441424905380646290659415225548307457355270798790674980142565504282\ 1452594074503153183/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^8 - 7261801304012418013967774219097054932084051382405422110956733313097\ 930770504710827999/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^7 + 4565351755808371085147157400726498367665337448281791509697511793520\ 696160652994539542/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^6 + 6792949507749864747161603406598930007156304172269630511458340973318\ 379550727410545427/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^5 + 3983904120682467031828713743489843313300820029773909469128082053917\ 279954552196461872/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^4 + 1831467967994670141096832356900775224918016753475402179642633112688\ 202679391625724641/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^3 - 2224759107360503716933326517694243424460931095319372865526695550865\ 50431255954356475/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 - 4474719600758005704111509082071537143676171845670668140582058945980\ 91435302444960233/3264785790131873652921361009037131339866246990341\ 0399604065448353966247020607491278*c_1001_6 - 3612626243814876787994017626680727093739025523826465021510146443115\ 9480894438884907/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639, c_0101_1 + 272124477068518774631474667937565072576559231747122066847298\ 439337144586962569522176/163239289506593682646068050451856566993312\ 34951705199802032724176983123510303745639*c_1001_6^26 + 1916825239254853333367619585789654414245191507366159129997955743942\ 023241120374669696/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 + 9188868159705643847615264866252657030027955882615986977403741652875\ 784485029029426240/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^24 + 1997777339466798994284497260240421441491033951219330064803855882782\ 9148232965807487712/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^23 + 3222194757505592791382099545473850016120865355062750786419954924081\ 6319615628858287448/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^22 + 5840802326733123896090244073130448651876195772999423596279108123749\ 4568175595686940417/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^21 + 3658022872011320824072584231102499388751045507363205268527178642927\ 9547236689638725199/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^20 + 7815563770729693543162827093880366447897938977499916990698708825821\ 3779930593807813/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639*c_1001_6^19 - 4280821204722278009047822638835745998897503289921913463840239321395\ 162701580731356129/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^18 + 1941920281579168542965373079280096046876602508175803961897794725620\ 5313500873613276515/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^17 + 7127061451745119572141207357266386387126835267359465303623229663488\ 3017924368490845141/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^16 + 1367876796816682565288235935710489375616977534537039140564235355053\ 22884982057747002765/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^15 + 1539437492019118669093542221071300712326070997695644541926801303630\ 18821444740101358461/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^14 + 6851474653538116747033030725832933164694932665959370644934198522690\ 1570246124974906192/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^13 + 3942018561184551405940199985935589240436478046292360199005303285114\ 3815847846171760644/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^12 + 1836440389392283739636589669160760790281242017598896221391200506712\ 8876992126365285939/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^11 - 6638133276106831900792821810653292390432734259402949567848508379533\ 412082329745109272/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^10 - 8002974791117433512352251419671346247240878196621279484769988708652\ 848941601490237379/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^9 - 1116384161274943504251548206634301099084999166781426927397951414544\ 6766403240578375033/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^8 + 3639828688328998442771594922525998645158933654173440095879399279954\ 77349632802955432/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^7 + 3964624313096904047703630675782933898325040558470997724640238157795\ 314972085945187702/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^6 + 7275483860756009403781199781500629663662696574164870901968790727470\ 021935291366656943/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^5 + 2641877167280149950395415798332372724885854084779009200453459181361\ 371230334885040659/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^4 - 5407080473355684374406660387917203801014691476547144119556533427086\ 9678476279489053/32647857901318736529213610090371313398662469903410\ 399604065448353966247020607491278*c_1001_6^3 - 2074470014240024983046142128565911655910399984107905644024030254881\ 52758118220814161/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 - 1146718274130568698368708328128437863411710668839902470524840759719\ 91835619136829481/3264785790131873652921361009037131339866246990341\ 0399604065448353966247020607491278*c_1001_6 + 8588284584078404665978989628276902986512574990185120611203987404074\ 790106478508965/163239289506593682646068050451856566993312349517051\ 99802032724176983123510303745639, c_0101_9 - 159683324116049796545960171915088650602063160741420046441286\ 1761307116915809802071328/16323928950659368264606805045185656699331\ 234951705199802032724176983123510303745639*c_1001_6^26 - 1044196526463271329522608993770750570929361414422521120037065793488\ 8486529191467889640/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^25 - 4931868853333238592431274901492130106761962892597033092875941358624\ 2767379220379583106/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^24 - 1929106358242475041351023969206595905692045508741919943560920529742\ 22729508373487463951/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^23 - 6376892783096053776710052993648072144996870955011899112063117356007\ 63630258220171553177/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^22 - 2473855613796415209446785938422430359171823750277336478486748113582\ 86089320521974405405/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^21 - 1949748083074569242771925824739630756536630453499525085958773543839\ 34048191576496552635/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^20 + 3966220044206820390085909682170753943139784116093438044160207602397\ 8067645139807399395/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^19 - 4004039073814686708033439332254010546939769873812328138476300543476\ 0618828363319112561/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^18 - 3159405839862849794674790502766913324384225688536534641722395646724\ 2755041530396694455/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^17 - 8106579306533310179638090995959275731580900447295887756610378020238\ 31553426485427288291/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^16 - 6212984011366760041869975313427218403028117364246696433459384698722\ 62094216452976433661/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^15 - 7482997299340467346472592438514308311691716674407114188148738635955\ 21452289286945476079/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^14 - 6249070798293654339760855350063776229101029089678664130501283200709\ 41610871775170870523/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^13 - 7410092493385384259244923248724032363860592975059098713049578546539\ 91816244831924966927/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^12 - 1611130303267504361890373788444128521727313689926659126414389944877\ 05008744834832765681/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^11 + 8863537903358665241972556903280225825167959805925564863012585641084\ 2837490118705641455/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^10 + 8024117345188599940927467445808734937769713982112312286121584369340\ 4223584938204478481/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^9 + 2349611781873670284051483908141782978561741360947281955729252373989\ 4010764820024947055/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^8 - 3266136814666745705387780404011832849805247793733763847043870534747\ 566580181541815087/326478579013187365292136100903713133986624699034\ 10399604065448353966247020607491278*c_1001_6^7 - 7289573708633072311162684520148843205719580283749908415024674138770\ 5072005915196541179/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^6 - 3136101323991307955383813509224668446049334658035483787917596383924\ 8203390012470308399/32647857901318736529213610090371313398662469903\ 410399604065448353966247020607491278*c_1001_6^5 - 2581033620646972673012214245116528800910923809326746705306607573802\ 7640944808608322961/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^4 - 1928559555908524063855365241065409160314328765672230244589374132145\ 300969225839380941/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^3 + 8122399511611310474023362412463487342650224594008276616315013702313\ 91502256291029758/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 + 3366765224025317397361327753049848402852014097042287600663025292280\ 29015349731675965/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6 + 3154343535200363179365794226331140825033458117994085944962256632877\ 7762814896382171/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639, c_0110_5 - 822131139250925312796668706868394397214800526281137216102720\ 7830025756589625597016944/16323928950659368264606805045185656699331\ 234951705199802032724176983123510303745639*c_1001_6^26 - 5699308689760417943853811356186537082647658728907778052067722497720\ 5542051116613430012/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^25 - 2746182101617224839892072208655669715857075068053748448917521835118\ 11910589783151923683/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^24 - 2374456854473599407316564870353912701472195427502984351414452315826\ 559746108387075288309/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^23 - 8021948051315877530116134684075616449171578182593292119840068002228\ 749934843175053296573/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^22 - 1868214205814234752727029393517100859346852423117702879398356152974\ 015753733304437104043/326478579013187365292136100903713133986624699\ 03410399604065448353966247020607491278*c_1001_6^21 - 2840534915473506749483971321190296725879718658595659608178114479529\ 779708645665703552995/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^20 - 2561182929814443117671092182925838070357765844045907495410744277306\ 87376716197515787287/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^19 + 1134463371268914928127817416049385976547276910266795088405426312529\ 41058537719668348859/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^18 - 7610322397708668796095375584862085860463149044543828100986949317382\ 01346298817067260683/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^17 - 8825923906242306931289238569576702416656272380734772397986853646887\ 326147451728244105855/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^16 - 4005071841395902491114610567302518840235265413959043331470999349820\ 285601469801104325215/326478579013187365292136100903713133986624699\ 03410399604065448353966247020607491278*c_1001_6^15 - 9996816705068328552555289514825582740190016150299013329969390413277\ 124629987838480479695/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^14 - 9142569615438352761802024360990117247716654276408747203259423799666\ 778996500146005877133/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^13 - 1190022049194307926365448424889563416300374627574556909734337680170\ 5208713919414801347007/13059143160527494611685444036148525359464987\ 9613641598416261793415864988082429965112*c_1001_6^12 - 4023963052570431444937777519236994528374580529227801724859436456315\ 467052998404643624303/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^11 + 6352783365871559900282710876877297563185470369259534894777913188116\ 71264224548817172845/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^10 + 2598885624846547360190758656720595672435256674889185120341997552961\ 37486128747263649422/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^9 + 3919779151213107765757221109208370873219206314387851002843457079290\ 72638993326229614151/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^8 + 1135043459462698844156892226524064907699080855279461212736180303682\ 17929437161216832113/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^7 - 8214598336970372804909026284965909086112399150913500438732674155316\ 59931767626300821287/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^6 - 1169588467446607108433922763528210369966147277612410495090408570505\ 71330606162253967227/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^5 - 4801370270337054272710317502228789394159361109004014888632687161929\ 11438088806923968537/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^4 - 9303599075509510008708389135692014906897607173972727306050490307440\ 9923817554411496199/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^3 + 1858107423325097175808503648927585591235875324565150809402575280409\ 6255249693518012823/65295715802637473058427220180742626797324939806\ 820799208130896707932494041214982556*c_1001_6^2 + 3385081865718517864789917583478401293293385902697678456718460011783\ 833402467484552322/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6 + 6475808845558783802329484313591814201002280363957754200961627466153\ 59527784897852245/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639, c_1001_4 - 144862724897077305030655094445339524259984248477957825830182\ 8582979436656533695462684/16323928950659368264606805045185656699331\ 234951705199802032724176983123510303745639*c_1001_6^26 - 9933753527409541171408364075817485391681771286380046277740012896850\ 235376786418435765/163239289506593682646068050451856566993312349517\ 05199802032724176983123510303745639*c_1001_6^25 - 1907018645480839228311674245094232757823981708442799825953656264449\ 66768101484519532325/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^24 - 1619046124006925802873618611080037949052931346111287197408670764654\ 033795025484100508791/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^23 - 3397353101647550106279777182179152868841710853293331939210643579896\ 05254091838710341397/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^22 - 1222597563900340342995291165858191232683903611245582689973673715600\ 127794863589955852333/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^21 - 2312437884591412249529409102610242846574352922188552559474452857593\ 78214949197282098595/3264785790131873652921361009037131339866246990\ 3410399604065448353966247020607491278*c_1001_6^20 - 4741123852797341604259066646127500267704463479558364766665981080601\ 0899070703210161471/26118286321054989223370888072297050718929975922\ 7283196832523586831729976164859930224*c_1001_6^19 + 3490357053642227309851223804813480565524497201335579367006643805821\ 119800393830123543/652957158026374730584272201807426267973249398068\ 20799208130896707932494041214982556*c_1001_6^18 - 5119741492958122075588268844633778141349778117509539891586522364428\ 53108824389534480581/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^17 - 1942254381592972072048715793863856494315818674795885912032301243215\ 30746848447066583140/1632392895065936826460680504518565669933123495\ 1705199802032724176983123510303745639*c_1001_6^16 - 2696168743222817066910480450716856432853281803118296084760293167442\ 870157200259350113845/130591431605274946116854440361485253594649879\ 613641598416261793415864988082429965112*c_1001_6^15 - 1678275876610360114984233259698837839462493387300165821657178018425\ 919802179628151790703/652957158026374730584272201807426267973249398\ 06820799208130896707932494041214982556*c_1001_6^14 - 5962797007050605775368554117523202582244454077103416731693705147287\ 549243355168255389179/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^13 - 3826913258486205650366356965475388675444752368394679678119895649113\ 405542798084943364703/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^12 - 1161919025004880609365802109852605373765068779414749218696036071747\ 743154089033387554105/261182863210549892233708880722970507189299759\ 227283196832523586831729976164859930224*c_1001_6^11 + 1712068823196662559989508451156900010142780695991394396871174348521\ 0518746589983110638/16323928950659368264606805045185656699331234951\ 705199802032724176983123510303745639*c_1001_6^10 + 1778910450908424080161458101981988825048881033293424536888593865141\ 76142957961879685563/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^9 + 1233149341260053233146541771418531862378892639860831546008577851749\ 07452990912516657317/6529571580263747305842722018074262679732493980\ 6820799208130896707932494041214982556*c_1001_6^8 + 5455058099724747205028307258685363774314256939227528757366101415660\ 3328284081857988071/26118286321054989223370888072297050718929975922\ 7283196832523586831729976164859930224*c_1001_6^7 - 1468188505160494908850475920925830295734929014952250412121411875793\ 14540049592198089369/1305914316052749461168544403614852535946498796\ 13641598416261793415864988082429965112*c_1001_6^6 - 3066028994280321167081795505031301362104539645834036043501948877531\ 25501993509465090005/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^5 - 1502701030959369678203000159526410404321070788346511562608557172924\ 38827642539495786993/2611828632105498922337088807229705071892997592\ 27283196832523586831729976164859930224*c_1001_6^4 - 1170521817986945077327427891362018220353186153992341844535455026103\ 7733393843960205443/13059143160527494611685444036148525359464987961\ 3641598416261793415864988082429965112*c_1001_6^3 + 8184986657865149694733943158982093198740545838318563628966527953554\ 03534960295477187/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6^2 + 5270054156307615719252185010643280423734778146614767944955682349188\ 84773629431937170/1632392895065936826460680504518565669933123495170\ 5199802032724176983123510303745639*c_1001_6 + 8047650605963040453793089513674441832366036291962804537533845607974\ 7645798993322773/16323928950659368264606805045185656699331234951705\ 199802032724176983123510303745639, c_1001_6^27 + 491/68*c_1001_6^26 + 9643/272*c_1001_6^25 + 89385/1088*c_1001_6^24 + 78495/544*c_1001_6^23 + 82455/544*c_1001_6^22 + 33649/272*c_1001_6^21 + 38969/1088*c_1001_6^20 + 1697/544*c_1001_6^19 + 23475/1088*c_1001_6^18 + 76933/544*c_1001_6^17 + 154023/544*c_1001_6^16 + 761/2*c_1001_6^15 + 407317/1088*c_1001_6^14 + 295367/1088*c_1001_6^13 + 132189/1088*c_1001_6^12 + 6813/544*c_1001_6^11 - 9205/272*c_1001_6^10 - 9167/272*c_1001_6^9 - 12473/1088*c_1001_6^8 + 1489/136*c_1001_6^7 + 19551/1088*c_1001_6^6 + 13009/1088*c_1001_6^5 + 1067/272*c_1001_6^4 - 5/272*c_1001_6^3 - 79/136*c_1001_6^2 - 15/68*c_1001_6 - 1/34 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 22.030 Total time: 22.250 seconds, Total memory usage: 133.00MB