Magma V2.19-8 Tue Aug 20 2013 23:49:52 on localhost [Seed = 3187398525] Type ? for help. Type -D to quit. Loading file "K11n85__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n85 geometric_solution 11.72668532 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 2 -1 1 -2 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458530965555 0.880610712773 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.120168414558 1.024379061044 7 0 8 0 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458530965555 0.880610712773 9 5 10 0 0132 0321 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 2 -2 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.501654545615 0.656944104876 5 1 10 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444930420241 0.519335691360 4 10 1 3 0132 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362573849222 0.514555216784 9 11 4 1 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.094027859972 0.888926316110 2 10 9 12 0132 2031 2031 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754159808480 0.499600049163 11 11 12 2 3120 1230 1230 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.293600493273 0.506398366876 3 12 6 7 0132 2103 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.323919851613 0.185083102456 7 4 5 3 1302 0213 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664161239018 0.476149965728 12 6 8 8 0132 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293600493273 0.506398366876 11 9 7 8 0132 2103 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.155689887144 1.005189568675 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_1001_3'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_0']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_1001_3'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1001_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : d['c_0101_11'], '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' : negation(d['c_0101_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], '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_3'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_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_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_8, c_1001_0, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 4197777486085688474677250845145029901644361621714839778879629800063\ 7652798661485068/33803310398545068941994049226044857482073453753622\ 986359688872472147486094413*c_1001_3^22 - 2315900683099845004141700973858158805359865283769858112550920266276\ 8821269190098753/12292112872198206887997836082198129993481255910408\ 358676250499080780904034332*c_1001_3^21 + 3251692365661498794252583831560942580098645847010388646587917199499\ 48307859489285937/3004738702092895017066137708981765109517640333655\ 3765653056775530797765417256*c_1001_3^20 - 3813533749304224466827982690851065126149756732160136249202831585150\ 05323056066604299/1352132415941802757679761969041794299282938150144\ 91945438755489888589944377652*c_1001_3^19 - 4920358023290147058948291976230813513818610821121204737748725123640\ 67540457392685/1236857314253387081668278420272406054960609357981082\ 5598129847227276796961*c_1001_3^18 + 1442740084233478729860988588026121311019294533158996219430481561333\ 4295718199783316661/27042648318836055153595239380835885985658763002\ 8983890877510979777179888755304*c_1001_3^17 - 6841541687277037279348214238755425206803504254828579976657902197243\ 000186525333113261/270426483188360551535952393808358859856587630028\ 983890877510979777179888755304*c_1001_3^16 - 1014992931086357424628565931374104497866507522096314863541177869466\ 9566943536183446515/27042648318836055153595239380835885985658763002\ 8983890877510979777179888755304*c_1001_3^15 - 3162585537116531332883009174658360411057745493673926815520149975905\ 537449100875812805/450710805313934252559920656347264766427646050048\ 30648479585163296196648125884*c_1001_3^14 + 1133330723158599480805285027269097680749399440720731268746537236118\ 0220667737877209153/27042648318836055153595239380835885985658763002\ 8983890877510979777179888755304*c_1001_3^13 + 5748393620087380813514972569261207759036275727782091747576523662384\ 415567538024803705/901421610627868505119841312694529532855292100096\ 61296959170326592393296251768*c_1001_3^12 - 1744142952157654955405201169249699399656811068963746461079512513821\ 0110263609496367989/27042648318836055153595239380835885985658763002\ 8983890877510979777179888755304*c_1001_3^11 - 6644848752526133545681297995643364037662143201968688017031894722532\ 35044759790749897/1229211287219820688799783608219812999348125591040\ 8358676250499080780904034332*c_1001_3^10 + 1454079038856678468644471753232298633797407959501905842973982501183\ 101184996586659007/300473870209289501706613770898176510951764033365\ 53765653056775530797765417256*c_1001_3^9 + 1158169157516046577917267135830938518584871468366797227294471522334\ 868982210646602343/450710805313934252559920656347264766427646050048\ 30648479585163296196648125884*c_1001_3^8 - 2880601497268587153655571134893539492961166920050357907822823723875\ 288182294251431379/901421610627868505119841312694529532855292100096\ 61296959170326592393296251768*c_1001_3^7 - 2991394133673470051218863024360127780458412324427528182070751272868\ 491988514323634813/135213241594180275767976196904179429928293815014\ 491945438755489888589944377652*c_1001_3^6 + 8900082084462454903823937628403703586962519741877963211065541568469\ 68829350986587901/9014216106278685051198413126945295328552921000966\ 1296959170326592393296251768*c_1001_3^5 + 3757412391163602621275982352073631399484314431786724651745243748661\ 3487827077257687/22535540265696712627996032817363238321382302502415\ 324239792581648098324062942*c_1001_3^4 - 5417067606193057313310380728221367445510262346503702651770155660078\ 85247495859984583/9014216106278685051198413126945295328552921000966\ 1296959170326592393296251768*c_1001_3^3 - 1525649141721003329195292721278938186390981179087695796412884350001\ 51163928557090648/3380331039854506894199404922604485748207345375362\ 2986359688872472147486094413*c_1001_3^2 - 6104903086637382596358295319613254295511590584738732758229123767690\ 218581580693764/338033103985450689419940492260448574820734537536229\ 86359688872472147486094413*c_1001_3 - 5690090140755563389737095983297164121569280147403747611516274388579\ 983384290305623/270426483188360551535952393808358859856587630028983\ 890877510979777179888755304, c_0011_0 - 1, c_0011_10 + 75741404230756613813976339142399278649392079273214329090295\ 36223270973/1318189613400178068494381775841848081595022229543943898\ 340599725810167*c_1001_3^22 + 1257825435731241362136820333326817019\ 5024849577385651166931650884104366/13181896134001780684943817758418\ 48081595022229543943898340599725810167*c_1001_3^21 - 6393395757437530922283941563238483431965036617475219425578797703331\ 1448/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^20 + 79767317171098782710256149121678479481392210\ 47647946984422235144951558/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^19 + 2408991301211697879129908998339342259205938192099992199398839749321\ 45476/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^18 - 2861776875820875105650613479445496794991017\ 14385101329922201336594719534/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^17 + 3980691755330080036805921871237360557741449040053160596061921685303\ 7294/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^16 + 221247429419414780671072530782977484350156883\ 737498190067311090472161453/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^15 + 4891961838882220936875036456153704631181054553536546379793797184361\ 92044/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^14 - 6543937968825740617563342645315894910358755\ 6395201678904392382046559537/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^13 - 1370207943563055695681344800100904549364437901135310057870021313256\ 04107/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^12 + 30915975626210952502018516463341338090004016\ 3442616262740957892222767247/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^11 + 1236119830007087287599985024255418248626531659866013621988377557308\ 50951/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^10 - 70113522128806148725218182938587682424156015\ 324003826696602488107747414/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^9 - 6837891021520602643644268192317851756711664624898524908177294484427\ 2584/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^8 + 5200501199741758422703416745599419498239671905\ 3515428732919689076497093/43939653780005935616479392528061602719834\ 0743181314632780199908603389*c_1001_3^7 + 1685427035680134134222900448501541176008913952450767646071269993855\ 64826/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 - 37245198649346030407156667492323127012498431\ 311755493330341330556873356/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^5 - 1832858072783083690717925755538899029712695774162293173160938532245\ 8566/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 326964633367098841953778761809074985973178061\ 32049190507213087898899448/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^3 + 1090760236460311039753788003326116013810357416218407403043255222344\ 4604/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^2 + 4927852726660445813595889859650523611006428176\ 739162838002225662146277/131818961340017806849438177584184808159502\ 2229543943898340599725810167*c_1001_3 + 2923882310903486381601197739180039524549235470340672931070839623228\ 56/4393965378000593561647939252806160271983407431813146327801999086\ 03389, c_0011_11 - 42389128265135169251253281270747115032585764873730117283432\ 81466527381/4393965378000593561647939252806160271983407431813146327\ 80199908603389*c_1001_3^22 - 22365186288184231666412455730564955296\ 609907330549266775854615343389804/131818961340017806849438177584184\ 8081595022229543943898340599725810167*c_1001_3^21 + 1062141525075409446262880252587139343864424669233370504470721683263\ 80303/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 - 1397614264600324722024153865488196511528297\ 899548340840152354905954842/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^19 - 4141791005263618883162119266722589650941334019519042379820408127792\ 76219/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^18 + 4421447736809933681065078047317398452432493\ 46885606383206956750890285618/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^17 - 1210133599829287667350784519075694794386739384289879745937227895316\ 69773/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 - 1434946438868131707212998541628180869588209\ 39591652259046043608771080590/4393965378000593561647939252806160271\ 98340743181314632780199908603389*c_1001_3^15 - 8478742340459020920959883311542069354471645381634177776208849680552\ 42186/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^14 + 9582921010074511742292038967312106048533974\ 7791357635768161438582679279/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^13 + 7696868192810346096965723266493526087527681653587242108569034375335\ 62020/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^12 - 4824410947056084590034150458317353258426065\ 75822248483952512117103692711/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^11 - 7439066731750880731410039173910757499413073257674997890429390690017\ 30696/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^10 + 1142921936287051918107799803998025074269990\ 13501158285285694387327809260/4393965378000593561647939252806160271\ 98340743181314632780199908603389*c_1001_3^9 + 1440677980283600886690363826192104439077333352365462084977731741729\ 31937/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 - 882220625347288757150335773101262308514281747\ 90271506483912298740613192/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^7 - 1122695424116463893312309887793699394372392582350434751540794710772\ 25259/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^6 + 567441083265264212572780128055988532900282547\ 82527900650077150696957719/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^5 + 1783684735159998684216922108577958982722077653199275392780502200616\ 9711/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^4 - 5840815282358556455613029032227060467858625007\ 7439350156159331256224430/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3^3 - 6313493129691593135568373184568423263543408204654408581964336534938\ 7273/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^2 - 993478731582816247346320196702574140534549034\ 5599911253021933307746819/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3 + 1931931500423841513073258752005070199465260093722197784086053397129\ 54/1318189613400178068494381775841848081595022229543943898340599725\ 810167, c_0011_8 - 342752318473218410601765638706444063594368386047906371453801\ 60241105190/1318189613400178068494381775841848081595022229543943898\ 340599725810167*c_1001_3^22 - 1801712637232007690261921732323831337\ 1607579771273896617475919574322045/43939653780005935616479392528061\ 6027198340743181314632780199908603389*c_1001_3^21 + 2964002248102562992309074165751744112618052184506646442223715154723\ 61631/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 - 1968466778640169364383968638405524922464649\ 9480939981394015461734275175/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^19 - 1110146761190906818436843222294461487852821244193141092906906248452\ 781435/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^18 + 470553871675041199265610415477976364876792\ 355049775536405470845162345869/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^17 - 1952654295796014069396235864701331806039541259547603401020598513281\ 58787/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^16 - 11230334728857371945050081468092890965979549\ 47298695533752540896904519267/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^15 - 1963413740952845795818429860992015206239082602195562875669146620970\ 257906/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^14 + 105353094826193842926623410274309119626524\ 9760160833432017933472150933983/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^13 + 1864423679798902817556405216821546981357695626684357063518886247545\ 111467/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 - 569671606058424970038534130989111133487428\ 084045385642945540289632809204/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^11 - 5432217222566450955619556898824342911190347656320252647228732483560\ 12765/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^10 + 43387417504063927966740482802551564589143134\ 1626600897924146160176837307/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^9 + 2657332061061754847192455461410889849858462288660080916566214146474\ 48527/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 - 290934898951000976708234573118761886443425436\ 380815525733623425407899325/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 - 6592090366885158024236911800584446826657144016754510422542579270439\ 91354/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 + 24969580760326812331295635299397807768604951\ 9859021896806260692757608668/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^5 + 2211532953614578504527508224722606783667220274187827550935831557503\ 5597/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^4 - 1665287780902120461520258214075860624436578240\ 64998072927725414501525220/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^3 - 1324248245070000400860439607155056059334147928297583126197465281053\ 39590/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^2 - 36761230198350646380862020365424584437403225\ 37100142774826211736070164/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3 + 2658991537389303593611600538422089235230067088514778246125488305333\ 8/43939653780005935616479392528061602719834074318131463278019990860\ 3389, c_0101_0 + 177298832563133420947503835375263985600726154529954269364736\ 41759192964/1318189613400178068494381775841848081595022229543943898\ 340599725810167*c_1001_3^22 + 2816843334934777440377325815911267794\ 7346547743774338574607983336789965/13181896134001780684943817758418\ 48081595022229543943898340599725810167*c_1001_3^21 - 5072763393704379649384564278811800801645151862746102770954626978088\ 0037/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^20 + 300464298169032592156764946712847798218020121\ 84426491201529113939858502/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^19 + 1892048919468929584317132148000827830121110138008502815032663357927\ 27748/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^18 - 72231807057170746577601345957078685786781057\ 1084048277278400045715432402/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^17 + 3210391605025027836530791874482320834461837455373020187877387692718\ 67315/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 5513096738779671750633560801260015972947503\ 03298655944069746989091888828/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^15 + 3449175752760149029930873061609509035782783101027870700030652492088\ 25713/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^14 - 50251516951901607860253892482544041599998378\ 9030628510420019929383707164/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^13 - 3099464521300866511883018298476985977984102708525798795093986541060\ 71099/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^12 + 85218961568469363960140315574297202839831598\ 6345637039399006050586263160/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^11 + 8073986774577701482397173844940051045391219541199952140113805530044\ 83076/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^10 - 2083260321398907634607155784347944138817798\ 74058408767036512124042565476/4393965378000593561647939252806160271\ 98340743181314632780199908603389*c_1001_3^9 - 1284159524778969956265995559466850992414424761462734353103291967790\ 07826/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 137373710017335068425058530890021574448334836\ 539679149081081554263828028/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 3341006153205997771567069287431822181665892703378146986174264589541\ 18408/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 - 35286288607724251187285443151777402412496112\ 517708854695039850650669736/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^5 - 8704662324686756546717438510325392081166731468225969016705168197283\ 673/439396537800059356164793925280616027198340743181314632780199908\ 603389*c_1001_3^4 + 26935655668187807370224453360592056316544173862\ 800663242538118950557768/439396537800059356164793925280616027198340\ 743181314632780199908603389*c_1001_3^3 + 7089840123970575559714017685038212856157328804236539471825771099246\ 8087/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^2 + 999708130486910576087001060945740110102449325\ 3204249423054212551850770/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3 + 1085735526077679752391281204830061903126011931401392629766987530405\ 992/131818961340017806849438177584184808159502222954394389834059972\ 5810167, c_0101_1 + 244659517027252998272351144806827612114951786674511543168446\ 97298561295/1318189613400178068494381775841848081595022229543943898\ 340599725810167*c_1001_3^22 + 4000296919954595643503912713886921638\ 2228608483723730975083436703541126/13181896134001780684943817758418\ 48081595022229543943898340599725810167*c_1001_3^21 - 2086191712870311331475899955220159206185792093534542925089003003492\ 09829/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 + 3079679183582531047499228848543266732233142\ 0197401149614295944664504712/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^19 + 7884788894355304495808326484610345749119805215404460027410944694411\ 46303/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^18 - 9585707899908476108848929906465599430701818\ 94684870318092452325475882185/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^17 + 3816384310795029814473193335515660088365421768191707373418872239397\ 26936/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 7899597442949930593506100975162203693141469\ 02894346729952459721742960813/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^15 + 4906455055973474262142911054969896749081714509259315808009477821654\ 72754/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^14 - 21784178681891603594230247983584963395353079\ 7012114737946455933769125411/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^13 - 1343247926904959460621709260905576299731693180805342042244062400058\ 069046/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 + 372455253876593742651027173827437323319083\ 289209061061799371276249760578/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^11 + 1204316493702621613168312154768922373019102610586797183571894526044\ 291318/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 - 273553060981415123646972472417858433282055\ 099846405219661305099795931768/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 - 2031309078778558937460590473973363612764840558171727570421269046264\ 08295/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 186466775136050706633068661365228512680659417\ 193950030928079246657622553/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 5091821462962493490430838617791049402895896420929598344555885211553\ 21903/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 - 45746904840170534169474113989417391213404648\ 774958489788448617427737959/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^5 - 5713312953850904810877978701560019525933956722984231962565735436184\ 5057/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 112821200784279351288306692262775413918220480\ 709089264874179665328727071/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^3 + 1050591197512404909548628454712164322357414278331397533064638376860\ 32645/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^2 + 49904703528432397037366245095885925490235310\ 25363340394669502090379252/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3 + 1302822134042617294256453648725580504296358625563339617855339392660\ 700/131818961340017806849438177584184808159502222954394389834059972\ 5810167, c_0101_11 + 11550496695895197004192299703585032603977096748199187979697\ 226851615283/439396537800059356164793925280616027198340743181314632\ 780199908603389*c_1001_3^22 + 1881683676705253346225489929770674190\ 8704970088281076780975710334707460/43939653780005935616479392528061\ 6027198340743181314632780199908603389*c_1001_3^21 - 2961062992752156215354288696639857614702545597200378156625923691970\ 30317/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 + 1485202094491341779338669068535549755127844\ 3640341341975912921880962601/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^19 + 1118795435655978043840979392650915777164267473456080522024950304616\ 163930/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^18 - 453784413167393895767857708835907715303909\ 992221286807116385516471248639/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^17 + 5357139024551716415929624014735136996014518432682927744088990063198\ 14922/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 3724876917801300371709668858053628632764773\ 90563649454135770449609364219/4393965378000593561647939252806160271\ 98340743181314632780199908603389*c_1001_3^15 + 6990523525463370605269372628457021388586343428021968155062280224547\ 94121/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^14 - 96826379050872206899598647347912542236569757\ 5154524789131030805778271005/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^13 - 1918964300975195525770045526555553726434420066329659164417528471786\ 975267/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 + 159705718659580433025595925355135023747343\ 2350523588968979218892354095180/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^11 + 1728897722163142626720571091282487269318760320564796181808089323827\ 676211/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 - 390808861521033237481843864376414362732132\ 339516485170593815879029606347/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 - 3013111978948737936722226617803460341516970614392758928827823913004\ 41238/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 271200450266073174895930814420070868062386478\ 667247666852268863161522306/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 2474592389404583625384240440160994273129672273418600506739605012475\ 60628/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^6 - 712592574811168574903972831829230861753376521\ 11001254733721651105778504/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^5 - 8678696610492253386485939878641455673747894291002704538646511807328\ 6702/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 164641738674318821029257135620321614582244596\ 849823211539636227558579799/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^3 + 4962154596204679010876790591578777242308464111146798366844677178266\ 5439/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^2 + 1775956336040460101891020360927100552813374674\ 4895460639254916054140644/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3 + 1370307600070085293757883572286715891608233849452977861248138920906\ 84/1318189613400178068494381775841848081595022229543943898340599725\ 810167, c_0101_12 + 48196642788300012277544243680026429586866631264000830619951\ 112509491995/131818961340017806849438177584184808159502222954394389\ 8340599725810167*c_1001_3^22 + 828094866053039005284051258428875407\ 96600807844139532105886959902220832/1318189613400178068494381775841\ 848081595022229543943898340599725810167*c_1001_3^21 - 4059220219684660235848848821618833975127767973586150265508761307522\ 74183/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 + 2376809421461846614289752100465774137500351\ 3995399245688717465199910646/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^19 + 1571023710284939527197116294874658738690724103231260066603460112341\ 201637/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^18 - 175833103373899809030249054439715405197588\ 5005902887212569282104272857856/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^17 + 5426422171016401666637542482821102579071424233838375207504512967624\ 00959/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 1671393665366016148519175621887823297260861\ 253034301790362929496440532732/131818961340017806849438177584184808\ 1595022229543943898340599725810167*c_1001_3^15 + 3027162714670888795310061189604995694960754230545771814534765412783\ 989936/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^14 - 112367443633531043763617286858835562685083\ 0928614564728618043523952865128/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^13 - 2829915768295356151823184336924089555327206987230586310240202365348\ 203943/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 + 201048365365815724027833670503768473558544\ 6243033758333088034926401826986/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^11 + 2650891244877912577076257921074885142071254331212480750857857914421\ 548107/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 - 493732836258430954008519009054280940130754\ 614071647675636949391559405974/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 - 4753348747848836192573346781420947209579002623877203095312830965806\ 72121/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 357707361598673871274134484730258567320349282\ 961404774931206412407109906/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 1127684295894812990814619392504595111787700261418538926165535502014\ 935133/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^6 - 2354969807476870189588538403463412022831798\ 78023026999590612845320556545/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^5 - 4965627078605531598120731320757491631138423895206661571631013791105\ 4488/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^4 + 2248963102959978049695946542456319194402014350\ 64414107251117128300755918/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^3 + 7410649973190560223974953221654138604104740619622257845460753435610\ 8236/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^2 + 3774967422823459624482893785771067757740632914\ 1669251546733450872966449/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3 + 1350136991217646827789211397014149397793858407793095214845892390871\ 064/131818961340017806849438177584184808159502222954394389834059972\ 5810167, c_0101_3 + 371264399942067081445952662493038498908715319566010063187437\ 176615544/131818961340017806849438177584184808159502222954394389834\ 0599725810167*c_1001_3^22 + 740917242443525881719870804118851242662\ 226184435105051310260717205591/131818961340017806849438177584184808\ 1595022229543943898340599725810167*c_1001_3^21 - 1103962690769460833483759923905402355991595407852166793698888828326\ 623/439396537800059356164793925280616027198340743181314632780199908\ 603389*c_1001_3^20 - 1293472019616269437171283355090996342253259718\ 639316130884062692902621/131818961340017806849438177584184808159502\ 2229543943898340599725810167*c_1001_3^19 + 5076496775696882976368666600546905039239129176086609925445722720199\ 050/439396537800059356164793925280616027198340743181314632780199908\ 603389*c_1001_3^18 - 1031895763355793586636013860626972527743776782\ 0080776241888780181739719/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3^17 - 1110273553963377204054813316717341238598158651858338312968631340623\ 8824/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^16 + 26529865248265827274283687306343647461206777\ 987724007446230175134969823/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^15 + 2208629341314146550400682942845538615036253325342834084563671593155\ 2893/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^14 - 99933075199891637381225084298202850941047349\ 42337145139736269915444220/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3^13 - 5004621987857301352829071780163101958674179696080832358594505808953\ 5351/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^12 + 63239254771989811892032461184238352308461073\ 26345862745833644072902006/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^11 + 5183418588798570582690516144818619134561598420982732063156075728629\ 3609/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^10 - 41115050568709465062257555677913946490202198\ 29912822318181772182958269/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^9 - 1063624738210157884204377172409565097628296731246948913380767494722\ 4754/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^8 + 2532938954284203229895571514691784806148820629\ 070032612580880202318387/439396537800059356164793925280616027198340\ 743181314632780199908603389*c_1001_3^7 + 2199546170205985011339119230621114095575913937387198400571674599381\ 0655/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^6 - 150735202699621661807267861104820542619337193\ 1211746886127330902788221/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3^5 - 1043396921430547333959481306604104155822957951198003496662123674493\ 8690/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 436911866295338477790209718389733323841188030\ 751586003706825104404596/439396537800059356164793925280616027198340\ 743181314632780199908603389*c_1001_3^3 + 1403969263902214951144947652417365508378430418620539137176086066231\ 653/439396537800059356164793925280616027198340743181314632780199908\ 603389*c_1001_3^2 - 37250298330856141357802069337241913287979662336\ 155378901969244036681/439396537800059356164793925280616027198340743\ 181314632780199908603389*c_1001_3 - 6913500663086036395217923372178542349179989676947232114651721591793\ 61/1318189613400178068494381775841848081595022229543943898340599725\ 810167, c_0101_8 - 148421251675169517259813721959603297539294473006256734810960\ 68444942335/4393965378000593561647939252806160271983407431813146327\ 80199908603389*c_1001_3^22 - 24411151704441985384692532488705572731\ 701594896018459256399100784197565/439396537800059356164793925280616\ 027198340743181314632780199908603389*c_1001_3^21 + 3793278762574468115735493284818127321310955405612878936923338856462\ 74604/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 - 1724166793632002561528446100816687584644872\ 5567615842466752097550210213/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^19 - 1438322565042321479107041263378959186917041214808716790912938979700\ 923742/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^18 + 576889717885515023824230092138650926582696\ 826446254576528033810018158094/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^17 - 6676741157086224203991906450883847759425575198351901140948672769579\ 00714/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 - 4849893196252210315956163202276675859859500\ 01580334355375617068127584582/4393965378000593561647939252806160271\ 98340743181314632780199908603389*c_1001_3^15 - 8948553222097770433776102915905219558429399663929102773210605387350\ 54167/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^14 + 11652931412981534441994913192895648863997800\ 90284101827787005160818741150/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^13 + 2487720839644872232834929007753523403996742160808383960453491684391\ 792213/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 - 201571366899169114190979528648157348524884\ 7811237357598634373938332894191/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^11 - 2223383645591920877941963295492770692025118517472840468690333599814\ 818592/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 + 489280491703602700874221102387013721026238\ 521472531876974580302359760300/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 + 3786860012650603400402344717958335000627270513285451745111361904311\ 81073/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 - 334706591497773221890522050220211301898566617\ 391528503753952957951190988/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 - 3129964978693719184336274120595033243772157376108655909371646426915\ 99362/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^6 + 793840464261753613155682533572305193245894894\ 59514854533014651364536079/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^5 + 1079285127099259950795865341104789492716590820923869337957017627530\ 98749/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^4 - 20252455269023236731797255078224226196958976\ 9747928936570655934284279826/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^3 - 6320831765564079143023088926592213045991550750391253898425555831746\ 6161/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^2 - 2957207052752692873617169724768178288186577742\ 7245420657539629964949707/13181896134001780684943817758418480815950\ 22229543943898340599725810167*c_1001_3 - 1418901351313684514150943932795975918763499910698215493872497898073\ 129/131818961340017806849438177584184808159502222954394389834059972\ 5810167, c_1001_0 + 320061125043063153035301026125703491949756024222053012699344\ 62205522262/1318189613400178068494381775841848081595022229543943898\ 340599725810167*c_1001_3^22 + 4922199888679483492463499388491013623\ 3897607711693540302428589651875995/13181896134001780684943817758418\ 48081595022229543943898340599725810167*c_1001_3^21 - 2781764133283172680548293064798618693146309889945281042903132935927\ 15136/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^20 + 6650563057900437677766247385085960120372994\ 5184298822820421022770105472/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^19 + 1029008742327624636138565304073396944885728426247022271549786395182\ 472134/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^18 - 135455296894610660691684951570371865170986\ 1145411520331061672885089016932/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^17 + 6160024211496577364992312561282142375215466732728750879485101763595\ 65854/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 9922778652742641806519542925449968101829749\ 73756403257643697082960311930/1318189613400178068494381775841848081\ 595022229543943898340599725810167*c_1001_3^15 + 6063951320970812235056366563444081224652115027398525933038463918919\ 46475/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^14 - 34887978724940758386563458051482239376429803\ 8592640723884825729774770198/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^13 - 1680608625230407715858333912620491783425486048439245831044840542470\ 385041/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 + 543692394782498892615762691553732245115387\ 648060573885380785875940925725/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^11 + 1436794328200270480843761635567531376109038120775013230887380446591\ 731329/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 - 409779328498181033598822329829529831067680\ 775727708286934155344428382540/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 - 2298693349880786228077979469308114728763149639624195018033302078943\ 31569/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 271639922487647102816969017990334989556980734\ 918844023401550704555734572/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 5848017317310453645070478976240340548630119104482955854407830786784\ 35993/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 - 82230334305457418570661968793498382746522911\ 310477226214229391389985259/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^5 - 5037885898237975087282671219743872460811934461631465793156366426917\ 1927/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 153446604137605883919505621518309651631943611\ 813948747944072219144996227/131818961340017806849438177584184808159\ 5022229543943898340599725810167*c_1001_3^3 + 1180923832443096285775666130584461441544524168860034898718482186592\ 85119/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^2 + 21312323851594474962351437929813249784451778\ 10586247439090869506237805/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3 - 2090594407302628935195810022263449449491717117820385888274999827019\ 97/1318189613400178068494381775841848081595022229543943898340599725\ 810167, c_1001_10 + 32055960991831185697548648337725488646459740508687277821240\ 941721479464/131818961340017806849438177584184808159502222954394389\ 8340599725810167*c_1001_3^22 + 169983227398337746332206043090335638\ 16494125224771193141160468851029550/4393965378000593561647939252806\ 16027198340743181314632780199908603389*c_1001_3^21 - 9217163316049718853098194264241190117740508433276457693414984101659\ 7570/43939653780005935616479392528061602719834074318131463278019990\ 8603389*c_1001_3^20 + 171017451213865162289166463222009408635308863\ 94012127852994051984980464/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^19 + 3464205695863269501974905485460812242449121868040124425482801172253\ 49561/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^18 - 43493036421631835191704585418727205275373661\ 1389798983486806221035003833/43939653780005935616479392528061602719\ 8340743181314632780199908603389*c_1001_3^17 + 5263390058457359776677550613662751096557869333757014433222395889481\ 77171/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^16 + 1056765785145982165014506657656124239960449\ 179763508158784600690181653073/131818961340017806849438177584184808\ 1595022229543943898340599725810167*c_1001_3^15 + 1864696021527437949660167028040223388144345570914616576247260900092\ 970946/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^14 - 326083621816848540658498463373993967560544\ 939617307806738115148677769600/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^13 - 1751932258638363601250390384986614091135050266862848537214517712207\ 495164/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^12 + 158140452105044122097081848613732121758422\ 9768688780410695042498901615660/13181896134001780684943817758418480\ 81595022229543943898340599725810167*c_1001_3^11 + 1558923385832277575385347524802455176902837958523084843692763354508\ 818744/131818961340017806849438177584184808159502222954394389834059\ 9725810167*c_1001_3^10 - 401485327363672528466872683987446097669958\ 717615543015096338961516372480/439396537800059356164793925280616027\ 198340743181314632780199908603389*c_1001_3^9 - 2621795746545509987541352906413678490124470865412742461844989741814\ 11503/4393965378000593561647939252806160271983407431813146327801999\ 08603389*c_1001_3^8 + 275138494141776751903351605335639720934643893\ 514015921021352272019830637/439396537800059356164793925280616027198\ 340743181314632780199908603389*c_1001_3^7 + 6384996096353397394695474265041859364730278482896261511613514858047\ 60260/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^6 - 24080297774035316378061307263347598152750012\ 6197972171435168085250503116/13181896134001780684943817758418480815\ 95022229543943898340599725810167*c_1001_3^5 - 6882258302144983871657232093503498390315242423122840097452561573456\ 2243/13181896134001780684943817758418480815950222295439438983405997\ 25810167*c_1001_3^4 + 544274535591165173002699267014407298041381115\ 29940136802294252083146909/4393965378000593561647939252806160271983\ 40743181314632780199908603389*c_1001_3^3 + 1278102194594672137756717750610155288929069443785964331316914263034\ 44551/1318189613400178068494381775841848081595022229543943898340599\ 725810167*c_1001_3^2 + 90401388021971232458297890295954820316629234\ 91455882932554515708528586/1318189613400178068494381775841848081595\ 022229543943898340599725810167*c_1001_3 - 1219522906513867699755304109273712766872490660815491231630588996075\ 36/1318189613400178068494381775841848081595022229543943898340599725\ 810167, c_1001_3^23 + 621/359*c_1001_3^22 - 3010/359*c_1001_3^21 + 154/359*c_1001_3^20 + 11650/359*c_1001_3^19 - 12970/359*c_1001_3^18 + 4120/359*c_1001_3^17 + 12284/359*c_1001_3^16 + 22655/359*c_1001_3^15 - 7724/359*c_1001_3^14 - 20866/359*c_1001_3^13 + 14624/359*c_1001_3^12 + 19460/359*c_1001_3^11 - 10517/359*c_1001_3^10 - 10296/359*c_1001_3^9 + 7545/359*c_1001_3^8 + 8312/359*c_1001_3^7 - 1421/359*c_1001_3^6 - 1046/359*c_1001_3^5 + 1610/359*c_1001_3^4 + 1672/359*c_1001_3^3 + 343/359*c_1001_3^2 + 26/359*c_1001_3 + 1/359 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.110 Total time: 5.320 seconds, Total memory usage: 81.19MB