Magma V2.19-8 Wed Aug 21 2013 00:55:22 on localhost [Seed = 2134467845] Type ? for help. Type -D to quit. Loading file "L13a5057__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5057 geometric_solution 12.34056022 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 2 0 0132 2310 0132 3201 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 0 0 0 0 0 -1 0 1 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.145774068179 0.774390371094 0 2 4 3 0132 3201 0132 0132 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 0 0 0 0 0 1 -1 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.125487312959 1.042174818408 5 6 1 0 0132 0132 2310 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.382993296474 1.485658362231 7 8 1 8 0132 0132 0132 3120 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 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.235447694311 0.862222715315 6 9 9 1 2031 0132 1302 0132 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 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374246885762 0.895289345814 2 10 11 11 0132 0132 0132 1302 1 1 1 1 0 0 -1 1 0 0 -1 1 -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 1 -1 1 0 1 -2 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.062103037866 0.937792801589 10 2 4 10 0132 0132 1302 2103 1 0 1 1 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 1 0 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077408460129 0.829166464983 3 9 12 12 0132 2310 0213 0132 0 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 0 0 0 0 0 0 0 0 0 1 -2 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.780634927530 1.035173450776 3 3 9 11 3120 0132 0321 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477983415158 0.712700663401 4 4 8 7 2031 0132 0321 3201 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 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.602543120654 0.950813281382 6 5 12 6 0132 0132 2031 2103 1 0 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -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.077408460129 0.829166464983 12 8 5 5 0132 0321 2031 0132 1 1 1 1 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189445806258 0.822050618825 11 7 7 10 0132 0213 0132 1302 0 1 1 1 0 -1 1 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 2 -1 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195913255071 0.924505428425 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : negation(d['c_0110_9']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : negation(d['c_0110_9']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : negation(d['c_1001_2']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_3'], 'c_1100_8' : negation(d['c_0101_2']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0011_0']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_9']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_0110_9'], 'c_1010_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_3_0' : 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_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_10'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_8']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_8, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1354022171445621457889861259869248189781817058351833961535184309930\ 050371811941/388632170961060594051059766954273665114033632943648132\ 806700278193622604640*c_1001_2^23 + 1206757847141905742853929504890685212685489230007522224291206689064\ 1438814948633/19431608548053029702552988347713683255701681647182406\ 6403350139096811302320*c_1001_2^22 + 2148046624487227285272827342689819930520733834723904810215014429922\ 823140448301/971580427402651485127649417385684162785084082359120332\ 0167506954840565116*c_1001_2^21 - 428139549760177573854473831345880\ 528390969446443259769260330672659998576014991729/388632170961060594\ 051059766954273665114033632943648132806700278193622604640*c_1001_2^\ 20 + 64669778992150926088758588434321602927261697290285940617035063\ 690511722328457071/555188815658657991501513952791819521591476618490\ 92590400957182599088943520*c_1001_2^19 + 5178174572672318166655311469370185790275436721453995435878602335386\ 4689412183523/19431608548053029702552988347713683255701681647182406\ 6403350139096811302320*c_1001_2^18 - 3834932345041519277631436296940504069110873448032158654439123882845\ 8730434273231/24289510685066287128191235434642104069627102058978008\ 300418767387101412790*c_1001_2^17 - 3769799220824872948653080657169361115526578483181489529499830415738\ 06221273840237/3886321709610605940510597669542736651140336329436481\ 32806700278193622604640*c_1001_2^16 + 5107469476158233994552601899155256239934207502518020236125739320579\ 771505666807/388632170961060594051059766954273665114033632943648132\ 806700278193622604640*c_1001_2^15 + 1023287025748062073148864877069762715190177580561462172923096648115\ 43657260679289/9715804274026514851276494173856841627850840823591203\ 3201675069548405651160*c_1001_2^14 + 2899797155297525627909429554239442569119789602212942383499747976829\ 09909882682521/5551888156586579915015139527918195215914766184909259\ 0400957182599088943520*c_1001_2^13 + 2230509132214965127848417724375025604599049223737976789784284914603\ 89030302237843/5551888156586579915015139527918195215914766184909259\ 0400957182599088943520*c_1001_2^12 + 2427455387088791021033865150175998157087515648127218233803175924792\ 645864546739537/194316085480530297025529883477136832557016816471824\ 066403350139096811302320*c_1001_2^11 + 3417450030701030916256200897969789048694339801322355510224764534706\ 363917783929631/388632170961060594051059766954273665114033632943648\ 132806700278193622604640*c_1001_2^10 + 6015395858331798156537986102251223816467381765509933760698390404683\ 4493959730999/55518881565865799150151395279181952159147661849092590\ 40095718259908894352*c_1001_2^9 + 173591476875905797223083751715059\ 7666960963751332195004043382695496566037924885879/19431608548053029\ 7025529883477136832557016816471824066403350139096811302320*c_1001_2\ ^8 + 36188935612484349603031293913261274398452381936477581086856594\ 1656854641413073859/77726434192212118810211953390854733022806726588\ 729626561340055638724520928*c_1001_2^7 + 1736373819616358968345056225398694483722597004962137988398141979432\ 8039047029941/48579021370132574256382470869284208139254204117956016\ 60083753477420282558*c_1001_2^6 + 460689463630041448445870919738543\ 024241495368818051094857403411355059636129271353/388632170961060594\ 051059766954273665114033632943648132806700278193622604640*c_1001_2^\ 5 + 385049217670828508429893455174143654256487650290484567859024699\ 43696489353424759/7772643419221211881021195339085473302280672658872\ 9626561340055638724520928*c_1001_2^4 + 1256806871969715966833744914510964623439267492396276172541923636197\ 1004139547379/77726434192212118810211953390854733022806726588729626\ 561340055638724520928*c_1001_2^3 + 3162908019946849587973912302205936711487961055488819557161038705904\ 551782243039/388632170961060594051059766954273665114033632943648132\ 806700278193622604640*c_1001_2^2 + 1605430976821603367059708220080500895555838536114168559979483840043\ 009673499/181265005112434978568591309213747045295724642231179166421\ 035577515682185*c_1001_2 - 5841893454866845527519299312718223750559\ 61677615593447231103990256175249159061/3886321709610605940510597669\ 54273665114033632943648132806700278193622604640, c_0011_0 - 1, c_0011_10 - 41708825635312776883235997369491452491806930767137030884096\ 121121/826980284965609152571518885622508212811737568484799538381862\ 1830*c_1001_2^23 + 103123238629897546118850064799671478551383214860\ 5398193721849528229/82698028496560915257151888562250821281173756848\ 47995383818621830*c_1001_2^22 - 13665434353592241874416098162264790\ 48451683782383370254789997676719/2756600949885363841905062952075027\ 376039125228282665127939540610*c_1001_2^21 + 2121209875444022274551325254536091467794094750354966105399065772569\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^20 - 145343025393173957403898771728313716453330170237841197\ 5717374410282/41349014248280457628575944281125410640586878424239976\ 91909310915*c_1001_2^19 - 61472541785833172248258531083394566881053\ 5155701587471334465134037/13783004749426819209525314760375136880195\ 62614141332563969770305*c_1001_2^18 + 390474771067960692309912880683315170625191415255238737423046247881/\ 1653960569931218305143037771245016425623475136969599076763724366*c_\ 1001_2^17 + 1172052785025316644494642520974081500577835073628443876\ 094724909179/413490142482804576285759442811254106405868784242399769\ 1909310915*c_1001_2^16 - 217118468136373939362485846054275614974402\ 574760242037720996400056/413490142482804576285759442811254106405868\ 7842423997691909310915*c_1001_2^15 + 3026739479141848507243915399208218438622850953134797440118249870519\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^14 - 474923004467797204846454440755634899160832156934335176\ 5812307516742/41349014248280457628575944281125410640586878424239976\ 91909310915*c_1001_2^13 + 22648483399226246441146251425059859937423\ 622468948441964200015404913/826980284965609152571518885622508212811\ 7375684847995383818621830*c_1001_2^12 - 1470140335950690189608220440906911300151829095652421557604035520523\ /826980284965609152571518885622508212811737568484799538381862183*c_\ 1001_2^11 + 3266760998160474377094957443147650802251223181393283894\ 694591752337/275660094988536384190506295207502737603912522828266512\ 7939540610*c_1001_2^10 - 159834791241221926147596226630343968135987\ 3826833127944607932652419/41349014248280457628575944281125410640586\ 87842423997691909310915*c_1001_2^9 - 2091740436779555178307931982179423645231732501882718667446402290164\ /4134901424828045762857594428112541064058687842423997691909310915*c\ _1001_2^8 + 8396045370887528428592233570531373296899645906824859567\ 71056682363/2756600949885363841905062952075027376039125228282665127\ 939540610*c_1001_2^7 - 28067432792525834126055910652924443240101486\ 33813309199271244921517/8269802849656091525715188856225082128117375\ 684847995383818621830*c_1001_2^6 + 1177657462189222723274612994586724500813245112304166910017386882869\ /8269802849656091525715188856225082128117375684847995383818621830*c\ _1001_2^5 - 3952255516948343416189441468908310326930319074115414902\ 86472652937/8269802849656091525715188856225082128117375684847995383\ 818621830*c_1001_2^4 + 13339953526709219948687366655241198827584134\ 5793304954083451188601/82698028496560915257151888562250821281173756\ 84847995383818621830*c_1001_2^3 + 977537041544831989789265194485867\ 8506418832447656851168597843741/82698028496560915257151888562250821\ 28117375684847995383818621830*c_1001_2^2 - 8399486170750846419427414880005365992226866982040150387774101076/41\ 34901424828045762857594428112541064058687842423997691909310915*c_10\ 01_2 + 679102254275845828836563655907318037172972237270852416671603\ 435/826980284965609152571518885622508212811737568484799538381862183\ , c_0011_11 + 67656484449316318812228487872244516445945407969697697803733\ 81753/2756600949885363841905062952075027376039125228282665127939540\ 610*c_1001_2^23 - 1519746872352326455291091465126935816087530474810\ 2224491425180641/27566009498853638419050629520750273760391252282826\ 6512793954061*c_1001_2^22 + 150722051913311431486077548940490192257\ 258276254478100020665597774/137830047494268192095253147603751368801\ 9562614141332563969770305*c_1001_2^21 + 122843209547684549387477338401285594445282102445392312801634807263/\ 2756600949885363841905062952075027376039125228282665127939540610*c_\ 1001_2^20 - 8107127187462509216320564961389817226132242769661415458\ 73390281457/2756600949885363841905062952075027376039125228282665127\ 939540610*c_1001_2^19 + 3691420610625074888928615623191915589331930\ 96378812422342707459977/1378300474942681920952531476037513688019562\ 614141332563969770305*c_1001_2^18 + 293008806494514036733371832008529594776839302621900974199520999222/\ 1378300474942681920952531476037513688019562614141332563969770305*c_\ 1001_2^17 + 1216368443299865462227357116079903438511463065860738448\ 30369433891/2756600949885363841905062952075027376039125228282665127\ 939540610*c_1001_2^16 + 4373746111920776350357018613912525884648176\ 194594620095247371391/551320189977072768381012590415005475207825045\ 656533025587908122*c_1001_2^15 - 8521134424753283191762171069324065\ 27245911971716489260942880426411/1378300474942681920952531476037513\ 688019562614141332563969770305*c_1001_2^14 - 2370123176153029877033401959634707664169278903249143924707198918657\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^13 - 384345454225050607770348211547908414903690213769822807\ 6963864363411/27566009498853638419050629520750273760391252282826651\ 27939540610*c_1001_2^12 - 32273648921686025261806224917821510087769\ 99992456386680579167443838/1378300474942681920952531476037513688019\ 562614141332563969770305*c_1001_2^11 - 3459896004803033514954526070398419624801269307442435865935589490853\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^10 - 307691046330827768018009183691956170213107136880203130\ 1313544570314/13783004749426819209525314760375136880195626141413325\ 63969770305*c_1001_2^9 - 235526108575531110823743061223254524973527\ 979775392473098770702509/275660094988536384190506295207502737603912\ 522828266512793954061*c_1001_2^8 - 1822774702387607857628506087639599784935678009312775908579306789551\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^7 - 4448182653306495293141436731265521064225072913552820534\ 29750865261/1378300474942681920952531476037513688019562614141332563\ 969770305*c_1001_2^6 + 17352427406968404465037922764011586924766840\ 3422132512318766351867/27566009498853638419050629520750273760391252\ 28282665127939540610*c_1001_2^5 - 104933659115485731251768182650816\ 737591110737513740109996085386267/275660094988536384190506295207502\ 7376039125228282665127939540610*c_1001_2^4 + 165232275863414032003858051412998695571117392060034536779203067491/\ 2756600949885363841905062952075027376039125228282665127939540610*c_\ 1001_2^3 - 19466267974734083089958423496981555670294271579738614307\ 83036173/5513201899770727683810125904150054752078250456565330255879\ 08122*c_1001_2^2 + 103713430821821237032195180539697700828966415014\ 96074986065054062/1378300474942681920952531476037513688019562614141\ 332563969770305*c_1001_2 - 1673023270619755192465111028810128611721\ 045672231002244211832851/275660094988536384190506295207502737603912\ 5228282665127939540610, c_0011_3 - 302596218564328638765357125966563349890455489692334790697331\ 144727/330792113986243661028607554249003285124695027393919815352744\ 87320*c_1001_2^23 + 35509499727953093543196256004897859206409409351\ 84472640647399884751/1653960569931218305143037771245016425623475136\ 9695990767637243660*c_1001_2^22 - 173438185914993907502461151345177\ 216532261708594859726959382795697/275660094988536384190506295207502\ 737603912522828266512793954061*c_1001_2^21 + 6582110130959044003590077933357200415751010559556234482607325969839\ /11026403799541455367620251808300109504156500913130660511758162440*\ c_1001_2^20 + 14848555830745421761492068357598468811384613517105655\ 80235248960199/3307921139862436610286075542490032851246950273939198\ 1535274487320*c_1001_2^19 - 258789716149319008534265431123769834686\ 6493776813245227957961916523/55132018997707276838101259041500547520\ 78250456565330255879081220*c_1001_2^18 - 1822616395884015028294684874467478787311708181149799326618821827689\ /4134901424828045762857594428112541064058687842423997691909310915*c\ _1001_2^17 - 517478034880245244026453338712736113597153221865546475\ 5007390259039/33079211398624366102860755424900328512469502739391981\ 535274487320*c_1001_2^16 + 3385611229128657989720326865278348569964\ 767514129857001047172187689/330792113986243661028607554249003285124\ 69502739391981535274487320*c_1001_2^15 + 6643255829478376917815573888782629076722791961976995177078522791991\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^14 + 265296790194062713561639857042498593651558509373973678\ 14245276447429/3307921139862436610286075542490032851246950273939198\ 1535274487320*c_1001_2^13 + 185630183889783316600417961906319856791\ 651273931674066603952373498707/330792113986243661028607554249003285\ 12469502739391981535274487320*c_1001_2^12 + 4378993623669098446412818777277762291445805651348726787989119830369\ 9/16539605699312183051430377712450164256234751369695990767637243660\ *c_1001_2^11 + 5455449135291972462595866624285848633056174815126842\ 1337166392176379/11026403799541455367620251808300109504156500913130\ 660511758162440*c_1001_2^10 + 1035435332099142094406412465586672915\ 5367407634010903290420931594077/33079211398624366102860755424900328\ 51246950273939198153527448732*c_1001_2^9 + 2892609993573564175439911575808902689577403613482638111781781951540\ 3/16539605699312183051430377712450164256234751369695990767637243660\ *c_1001_2^8 + 28114297551265631262935019460965088278906007080584163\ 24699283777303/2205280759908291073524050361660021900831300182626132\ 102351632488*c_1001_2^7 + 45060296799806484814741892290405511455035\ 997792185935183248667072/826980284965609152571518885622508212811737\ 568484799538381862183*c_1001_2^6 + 3579292013763343141653112499285101885417010529754269024278464337371\ /33079211398624366102860755424900328512469502739391981535274487320*\ c_1001_2^5 - 729126051606684777209294424220227369420860581850604134\ 592011797531/661584227972487322057215108498006570249390054787839630\ 7054897464*c_1001_2^4 - 1833187988736104717075883981257060260004632\ 99628794628555941545515/6615842279724873220572151084980065702493900\ 547878396307054897464*c_1001_2^3 - 629965400048799320593532781760230674896612727785754155628735909327/\ 33079211398624366102860755424900328512469502739391981535274487320*c\ _1001_2^2 - 3258540787549603535383604688287771828762440596053019527\ 3265113657/82698028496560915257151888562250821281173756848479953838\ 18621830*c_1001_2 - 64314022301158867491484177984887257901416580658\ 57766206832636747/3307921139862436610286075542490032851246950273939\ 1981535274487320, c_0011_4 - 1, c_0101_0 + 132965396777269170626669759202709764010751295582212123460814\ 090603/165396056993121830514303777124501642562347513696959907676372\ 43660*c_1001_2^23 - 32005896660821655072642174439938963055466572989\ 5815072185423586003/16539605699312183051430377712450164256234751369\ 69599076763724366*c_1001_2^22 + 91750658906577999720199052764539146\ 2858542674786100836519206204589/13783004749426819209525314760375136\ 88019562614141332563969770305*c_1001_2^21 - 4635307886902182378235475795381912730177711468799866143329479517009\ /5513201899770727683810125904150054752078250456565330255879081220*c\ _1001_2^20 + 346029851938423061603564074396285013016652551339561647\ 8109043086653/16539605699312183051430377712450164256234751369695990\ 767637243660*c_1001_2^19 + 7266225123716613451759127950892890514680\ 45673059736960266235669087/1378300474942681920952531476037513688019\ 562614141332563969770305*c_1001_2^18 + 603790087842216993559639242455535104869147820572631450886312913456/\ 4134901424828045762857594428112541064058687842423997691909310915*c_\ 1001_2^17 - 3630180248223170144064086429554853262605104108203408629\ 095245793879/165396056993121830514303777124501642562347513696959907\ 67637243660*c_1001_2^16 - 48239473927119183944454213265547934720923\ 0753485887826890968049665/33079211398624366102860755424900328512469\ 50273939198153527448732*c_1001_2^15 - 5361234757059503271113283833815674084279665213291960065729188133877\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^14 + 980239417239761380134158539435062957583985512460334118\ 6901522761913/16539605699312183051430377712450164256234751369695990\ 767637243660*c_1001_2^13 - 7296137162639439982191626555693399327722\ 4918837914144607414483461861/16539605699312183051430377712450164256\ 234751369695990767637243660*c_1001_2^12 + 3463693175305113281881171168093624687352202847433013526846761339157\ /8269802849656091525715188856225082128117375684847995383818621830*c\ _1001_2^11 - 154200923124955364970238038340381748620663070218579954\ 85279277855311/5513201899770727683810125904150054752078250456565330\ 255879081220*c_1001_2^10 - 1795037707946973405363844317886947287764\ 424022130777433491127316502/413490142482804576285759442811254106405\ 8687842423997691909310915*c_1001_2^9 - 128704445637617828348079684742431871428726851715271880846258224322/\ 826980284965609152571518885622508212811737568484799538381862183*c_1\ 001_2^8 - 210366930141476802348996417158086101480789015655623798880\ 2907033727/55132018997707276838101259041500547520782504565653302558\ 79081220*c_1001_2^7 + 140548825366648833053208778439669139240225117\ 0648723397483212271912/41349014248280457628575944281125410640586878\ 42423997691909310915*c_1001_2^6 - 221721599131573486433068806644485\ 5570073837074933862794856802042563/16539605699312183051430377712450\ 164256234751369695990767637243660*c_1001_2^5 + 1775309708166545850410399745399074218368447017038913994373995338663\ /16539605699312183051430377712450164256234751369695990767637243660*\ c_1001_2^4 - 537874479564173606102471756822169312593541505942487481\ 060557701919/165396056993121830514303777124501642562347513696959907\ 67637243660*c_1001_2^3 + 444699522693901749491259171624785227651153\ 61739576036585614768029/3307921139862436610286075542490032851246950\ 273939198153527448732*c_1001_2^2 - 13247202265306937775715316658710944346181812575551208164450239869/4\ 134901424828045762857594428112541064058687842423997691909310915*c_1\ 001_2 + 10587122321579678295243519594477233685829312504254892569991\ 367759/165396056993121830514303777124501642562347513696959907676372\ 43660, c_0101_1 - 161557233726077582621348346758039695791101869290754912101829\ 755499/330792113986243661028607554249003285124695027393919815352744\ 87320*c_1001_2^23 + 18624166809046992336297927867718237019062459535\ 78544671986744168919/1653960569931218305143037771245016425623475136\ 9695990767637243660*c_1001_2^22 - 398939395315152772274027589839199\ 888926158990604030806437453679364/137830047494268192095253147603751\ 3688019562614141332563969770305*c_1001_2^21 + 2254222326169422202380928871709319281975361318414730905087995865959\ /11026403799541455367620251808300109504156500913130660511758162440*\ c_1001_2^20 + 32887104602759380027245212645420505782483746566163236\ 8501888869051/66158422797248732205721510849800657024939005478783963\ 07054897464*c_1001_2^19 - 69569081628140003083631194612008583304031\ 113634511964480115780555/110264037995414553676202518083001095041565\ 0091313066051175816244*c_1001_2^18 - 1763734482199374176487320163689917155403111340740836817785281325812\ /4134901424828045762857594428112541064058687842423997691909310915*c\ _1001_2^17 - 971533271642622241054100067901116508463241445033190095\ 6766450791583/33079211398624366102860755424900328512469502739391981\ 535274487320*c_1001_2^16 + 3489376754510991262192706823591662992694\ 798033367642577173983143081/330792113986243661028607554249003285124\ 69502739391981535274487320*c_1001_2^15 + 1930714369718616938181308855717195305862649250565522779762004046103\ /1378300474942681920952531476037513688019562614141332563969770305*c\ _1001_2^14 + 609664576550855262003431125958376641974799800606397804\ 0679890155469/66158422797248732205721510849800657024939005478783963\ 07054897464*c_1001_2^13 + 22206567319843572656036075783636193851045\ 520859198064176072161734459/661584227972487322057215108498006570249\ 3900547878396307054897464*c_1001_2^12 + 3882653510944522959569765940402059331901610001824810994127277261485\ 7/16539605699312183051430377712450164256234751369695990767637243660\ *c_1001_2^11 + 4145070759807958186905383415141039806433058233083327\ 0419229776758223/11026403799541455367620251808300109504156500913130\ 660511758162440*c_1001_2^10 + 3746558418177213799399108106827003399\ 4801941141177385457219739729043/16539605699312183051430377712450164\ 256234751369695990767637243660*c_1001_2^9 + 2934984415427567703017049086258214577332176586194383757324770919368\ 7/16539605699312183051430377712450164256234751369695990767637243660\ *c_1001_2^8 + 10468096424624504299986238388301617133206755268908301\ 292689140601419/110264037995414553676202518083001095041565009131306\ 60511758162440*c_1001_2^7 + 146838437536720744126940033967015558980\ 0831393903485815302631752561/82698028496560915257151888562250821281\ 17375684847995383818621830*c_1001_2^6 + 884844942388758632040340300648728538351745826424936603486271028347/\ 6615842279724873220572151084980065702493900547878396307054897464*c_\ 1001_2^5 - 30971121904482001982391355903780786246060526885733494048\ 45296527671/3307921139862436610286075542490032851246950273939198153\ 5274487320*c_1001_2^4 - 1843104773049033695105173136160586999987216\ 70459625327911088412447/3307921139862436610286075542490032851246950\ 2739391981535274487320*c_1001_2^3 - 844627578063559722811043602033045832353388398970796140187417527303/\ 33079211398624366102860755424900328512469502739391981535274487320*c\ _1001_2^2 - 2668820670132390022802840796857733048745071946667562390\ 866722321/165396056993121830514303777124501642562347513696959907676\ 3724366*c_1001_2 - 219830670726946308889178881379796120503762610021\ 27058194953500511/3307921139862436610286075542490032851246950273939\ 1981535274487320, c_0101_10 + 13356623076568733826188261655561567607976541193845433260589\ 8031267/11026403799541455367620251808300109504156500913130660511758\ 162440*c_1001_2^23 - 1615316601440580797880483749105930814720151205\ 239620268740766120967/551320189977072768381012590415005475207825045\ 6565330255879081220*c_1001_2^22 + 143406897743524833330696008728812\ 7474909290289598909545245953683316/13783004749426819209525314760375\ 13688019562614141332563969770305*c_1001_2^21 - 1614290057125742706419747545681948246340022963307377782178394786408\ 1/11026403799541455367620251808300109504156500913130660511758162440\ *c_1001_2^20 + 1534057363324183642978086151817515844956779037594493\ 542284213311181/220528075990829107352405036166002190083130018262613\ 2102351632488*c_1001_2^19 + 639981644526668083481842597144091702679\ 568967190452444744680270819/110264037995414553676202518083001095041\ 5650091313066051175816244*c_1001_2^18 - 32982161383990419673575387657077324273075120927213133631212649384/1\ 378300474942681920952531476037513688019562614141332563969770305*c_1\ 001_2^17 - 73735635557311316275183436184289454887090440339032565918\ 3469342861/11026403799541455367620251808300109504156500913130660511\ 758162440*c_1001_2^16 + 5322112126692065530628997764526292529328367\ 33186618546422098421127/1102640379954145536762025180830010950415650\ 0913130660511758162440*c_1001_2^15 - 4135593693156177934829111692371881667031353898538544663440430039617\ /1378300474942681920952531476037513688019562614141332563969770305*c\ _1001_2^14 + 238548933898333136814352807155572584083832676772305096\ 4773466643107/22052807599082910735240503616600219008313001826261321\ 02351632488*c_1001_2^13 - 16740420553951084996793140810270217802242\ 140904335716527128330486291/220528075990829107352405036166002190083\ 1300182626132102351632488*c_1001_2^12 + 6537965255794382375279341784916094085780190619541597659433194028639\ /5513201899770727683810125904150054752078250456565330255879081220*c\ _1001_2^11 - 653797482843664249789594231899453794476760392407014030\ 20012136011237/1102640379954145536762025180830010950415650091313066\ 0511758162440*c_1001_2^10 - 607680876815111384769217593509824563368\ 0143481050208498373991289299/55132018997707276838101259041500547520\ 78250456565330255879081220*c_1001_2^9 - 6112243127351809618610388644224423080660589133654423492555965655081\ /5513201899770727683810125904150054752078250456565330255879081220*c\ _1001_2^8 - 1477405816581974711582932685818144809842200487571562160\ 5401187698741/11026403799541455367620251808300109504156500913130660\ 511758162440*c_1001_2^7 + 58555786105896370950730259654323635412616\ 6732557176078949490055261/13783004749426819209525314760375136880195\ 62614141332563969770305*c_1001_2^6 - 892880540097749169016370968484858533477261939537408562337289557807/\ 2205280759908291073524050361660021900831300182626132102351632488*c_\ 1001_2^5 + 23951593833431966586059253248221867758474499689330512778\ 42124494783/1102640379954145536762025180830010950415650091313066051\ 1758162440*c_1001_2^4 - 5145541892469540055788367329006746427276270\ 32843372983560416937989/1102640379954145536762025180830010950415650\ 0913130660511758162440*c_1001_2^3 + 369350593783628268079550866073729523877278764407717437569726692779/\ 11026403799541455367620251808300109504156500913130660511758162440*c\ _1001_2^2 - 3348566200656700933216720923704440303161601624954667056\ 86321607/5513201899770727683810125904150054752078250456565330255879\ 08122*c_1001_2 + 13127564353230645253784143196972418636280358028892\ 897727103593163/110264037995414553676202518083001095041565009131306\ 60511758162440, c_0101_11 - 42994068508662208409961641655828050628021120597489933463420\ 328681/661584227972487322057215108498006570249390054787839630705489\ 7464*c_1001_2^23 + 500482449850342222096890376715285045456971248206\ 019680940132326263/330792113986243661028607554249003285124695027393\ 9198153527448732*c_1001_2^22 - 115138424827326527989156812033008651\ 059122640543685575267307514253/275660094988536384190506295207502737\ 603912522828266512793954061*c_1001_2^21 + 721360398919493521020824456135565355121253290820344086849118225297/\ 2205280759908291073524050361660021900831300182626132102351632488*c_\ 1001_2^20 + 9433248050357574401509846422598638938955227577091737046\ 32182950933/6615842279724873220572151084980065702493900547878396307\ 054897464*c_1001_2^19 - 3673050049744621605400083627032505354809323\ 29331669207153470713987/1102640379954145536762025180830010950415650\ 091313066051175816244*c_1001_2^18 - 352047099217933729834172718066439263099277849362890654255983117648/\ 826980284965609152571518885622508212811737568484799538381862183*c_1\ 001_2^17 - 82636924947971298312747133388356183064383665863671749387\ 0674318749/66158422797248732205721510849800657024939005478783963070\ 54897464*c_1001_2^16 + 74189944671542044659862153117974888808508511\ 4275544343140425207359/66158422797248732205721510849800657024939005\ 47878396307054897464*c_1001_2^15 + 474781857907908136286111176427522323152606994075045480924227133991/\ 275660094988536384190506295207502737603912522828266512793954061*c_1\ 001_2^14 + 56719759093756112992537922099396358369756095316370289599\ 33299350951/6615842279724873220572151084980065702493900547878396307\ 054897464*c_1001_2^13 + 2608083461299514241690039518830295219976668\ 2078960383133363604963753/66158422797248732205721510849800657024939\ 00547878396307054897464*c_1001_2^12 + 8349006008425250448267305148581051245883903945704307035723972051393\ /3307921139862436610286075542490032851246950273939198153527448732*c\ _1001_2^11 + 797907369059891181784879096248825899051128029427361371\ 4810286278753/22052807599082910735240503616600219008313001826261321\ 02351632488*c_1001_2^10 + 85784289814263765201498190698363084971513\ 29064762857262943432172063/3307921139862436610286075542490032851246\ 950273939198153527448732*c_1001_2^9 + 4964819994953543337002358704968926070998116165123661576016373915329\ /3307921139862436610286075542490032851246950273939198153527448732*c\ _1001_2^8 + 2079862471409215949787170481067273504209890096766667150\ 010413688197/220528075990829107352405036166002190083130018262613210\ 2351632488*c_1001_2^7 + 1420111460191347532991976164690135446305443\ 57647755530868902201438/8269802849656091525715188856225082128117375\ 68484799538381862183*c_1001_2^6 + 508442900221362215116253351421334\ 353369303663256924495072928564285/661584227972487322057215108498006\ 5702493900547878396307054897464*c_1001_2^5 - 440745852848827021859954837594501300183382931213629006516128528845/\ 6615842279724873220572151084980065702493900547878396307054897464*c_\ 1001_2^4 - 11210553072820147113137803337391633192653772477141517650\ 2313354377/66158422797248732205721510849800657024939005478783963070\ 54897464*c_1001_2^3 - 130804337897229633297740655800649618994915545\ 666991296213237775165/661584227972487322057215108498006570249390054\ 7878396307054897464*c_1001_2^2 - 5304286690031154291627021191190985\ 632369868753293940859411131405/165396056993121830514303777124501642\ 5623475136969599076763724366*c_1001_2 - 8615648181744122316810616427524321545228273054732709830626032021/66\ 15842279724873220572151084980065702493900547878396307054897464, c_0101_2 + 141333682728442106968610272506862828210367205069764883605159\ 891983/110264037995414553676202518083001095041565009131306605117581\ 62440*c_1001_2^23 - 16945666736598062495957483257452550324357084413\ 85199409653583915463/5513201899770727683810125904150054752078250456\ 565330255879081220*c_1001_2^22 + 1431301486323515213882661406704072\ 947318445477755001755593231324554/137830047494268192095253147603751\ 3688019562614141332563969770305*c_1001_2^21 - 1507341713575467517495319650854953220763833417141681956308388884842\ 9/11026403799541455367620251808300109504156500913130660511758162440\ *c_1001_2^20 + 1285651820094779245187179471047731936539443444986878\ 776868963524993/220528075990829107352405036166002190083130018262613\ 2102351632488*c_1001_2^19 + 602879754697303883689089852333242773078\ 600409415673668342371371971/110264037995414553676202518083001095041\ 5650091313066051175816244*c_1001_2^18 + 194918313965568871596908577681435689039553754306868103953983469199/\ 1378300474942681920952531476037513688019562614141332563969770305*c_\ 1001_2^17 + 1154858409002135741904735526505294838380961871806420823\ 215083529551/110264037995414553676202518083001095041565009131306605\ 11758162440*c_1001_2^16 + 45861449241393815930383711810204670870359\ 3671971049478632160544643/11026403799541455367620251808300109504156\ 500913130660511758162440*c_1001_2^15 - 9058486511660184817487120349052500604719352729562261070562659479331\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^14 + 979982812925011316537288840101172576824584250066154464\ 260160803975/220528075990829107352405036166002190083130018262613210\ 2351632488*c_1001_2^13 - 181123966470189931647064910923827197165816\ 41202945181063179328686523/2205280759908291073524050361660021900831\ 300182626132102351632488*c_1001_2^12 - 819398235022818797825163232454791600771149957283324439531489240759/\ 5513201899770727683810125904150054752078250456565330255879081220*c_\ 1001_2^11 - 7660769905500060854294302249322352094836998351960193760\ 6239426301253/11026403799541455367620251808300109504156500913130660\ 511758162440*c_1001_2^10 - 1205688513797478323195847237094849212369\ 7502527375118546488407932991/55132018997707276838101259041500547520\ 78250456565330255879081220*c_1001_2^9 - 9769006715782329424897672685634003253952284199235351696452380056289\ /5513201899770727683810125904150054752078250456565330255879081220*c\ _1001_2^8 - 1798923688049915728239958100989812496627379830796713594\ 4451190709589/11026403799541455367620251808300109504156500913130660\ 511758162440*c_1001_2^7 + 40548722395904264251584216681873091514387\ 3400683861503178665344879/13783004749426819209525314760375136880195\ 62614141332563969770305*c_1001_2^6 - 842529763078475879612279309564371790507041067497023242324992087495/\ 2205280759908291073524050361660021900831300182626132102351632488*c_\ 1001_2^5 + 25295764688265825699810245954570598259966859557735783685\ 73921548847/1102640379954145536762025180830010950415650091313066051\ 1758162440*c_1001_2^4 - 3478901623038315196321338436658166987392270\ 16763063817999783222101/1102640379954145536762025180830010950415650\ 0913130660511758162440*c_1001_2^3 + 416987094840297770239529223225532446836315738263731073224272394411/\ 11026403799541455367620251808300109504156500913130660511758162440*c\ _1001_2^2 + 4036270972337919466411131372110528876495369001648765249\ 14320700/2756600949885363841905062952075027376039125228282665127939\ 54061*c_1001_2 + 14419113246124294704774718617959031279116353183620\ 012366699688767/110264037995414553676202518083001095041565009131306\ 60511758162440, c_0101_8 - 873037934408494514731624543975022745128208807151116031420223\ 2993/41349014248280457628575944281125410640586878424239976919093109\ 15*c_1001_2^23 + 39127188895300452562934353775386748173943220600563\ 6889704562864329/82698028496560915257151888562250821281173756848479\ 95383818621830*c_1001_2^22 - 24721492556638036356231029126492731946\ 4052919005849151185703574629/27566009498853638419050629520750273760\ 39125228282665127939540610*c_1001_2^21 - 117273271432098841378701260328856045233074022300128444465685724633/\ 1378300474942681920952531476037513688019562614141332563969770305*c_\ 1001_2^20 + 2863542223667602495086375514761833400111389008526578118\ 255998953871/826980284965609152571518885622508212811737568484799538\ 3818621830*c_1001_2^19 - 620067478253178451664348703524250804969544\ 573706668762251959776189/275660094988536384190506295207502737603912\ 5228282665127939540610*c_1001_2^18 - 285989905878110295758729249690697536904263587772700015417680173238/\ 826980284965609152571518885622508212811737568484799538381862183*c_1\ 001_2^17 + 43979872990847085901552716979463129260867661295486091778\ 5152342143/82698028496560915257151888562250821281173756848479953838\ 18621830*c_1001_2^16 + 93111439493746632182075660686072749711129648\ 9223807401655401043654/41349014248280457628575944281125410640586878\ 42423997691909310915*c_1001_2^15 + 1547586660248952962114103769467549801786910004526574424903537170119\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^14 + 526246270886218948734240823498707735012856516013760960\ 1158044560361/82698028496560915257151888562250821281173756848479953\ 83818621830*c_1001_2^13 + 60460610737099248113353111522883442654124\ 61634947488218905185167023/8269802849656091525715188856225082128117\ 375684847995383818621830*c_1001_2^12 + 1377980003598784533425112878980715446890186459545861783006067530921\ /826980284965609152571518885622508212811737568484799538381862183*c_\ 1001_2^11 + 7162033077546521430302242947220798920855308343839326105\ 52389543577/2756600949885363841905062952075027376039125228282665127\ 939540610*c_1001_2^10 + 7467232024856920839704302710516398042154074\ 731803251376998066011727/826980284965609152571518885622508212811737\ 5684847995383818621830*c_1001_2^9 + 375099237626830765466426388456879513471298370167644180089888352917/\ 8269802849656091525715188856225082128117375684847995383818621830*c_\ 1001_2^8 - 14620851378327462088299371127634643074423372109840291620\ 8733117676/13783004749426819209525314760375136880195626141413325639\ 69770305*c_1001_2^7 - 227013762080813708214946003265311688647103214\ 98993718374011736971/4134901424828045762857594428112541064058687842\ 423997691909310915*c_1001_2^6 - 11666835520050775479563344916231553\ 70259937652677415855338348702721/8269802849656091525715188856225082\ 128117375684847995383818621830*c_1001_2^5 + 150340473559001996164680604676323562451473568989505786400321148633/\ 8269802849656091525715188856225082128117375684847995383818621830*c_\ 1001_2^4 - 94312632003831959353530152187409940803402067250174787957\ 306589167/413490142482804576285759442811254106405868784242399769190\ 9310915*c_1001_2^3 + 9075770501126416094043126233152530666026422964\ 8115254536451448081/82698028496560915257151888562250821281173756848\ 47995383818621830*c_1001_2^2 + 176771518792861528881986484858411682\ 6926008916809803480717017754/41349014248280457628575944281125410640\ 58687842423997691909310915*c_1001_2 + 994064554720515715497605498868913641681692252420346945553920356/826\ 980284965609152571518885622508212811737568484799538381862183, c_0110_9 + 930388321356277376960773905797762463695041607155092201275618\ 28347/5513201899770727683810125904150054752078250456565330255879081\ 220*c_1001_2^23 - 1106947583594822636902390657520201709507287289931\ 439560048198483741/275660094988536384190506295207502737603912522828\ 2665127939540610*c_1001_2^22 + 355214061260137565741629884537699175\ 874075673367764985367949097869/275660094988536384190506295207502737\ 603912522828266512793954061*c_1001_2^21 - 8014786031579627974077621736579416959920758079777637400187475127037\ /5513201899770727683810125904150054752078250456565330255879081220*c\ _1001_2^20 + 996073537703695631347600381573424803365427457084783446\ 046159847281/551320189977072768381012590415005475207825045656533025\ 5879081220*c_1001_2^19 + 139367781640818547642777554584225461228716\ 6729330659954697534455797/13783004749426819209525314760375136880195\ 62614141332563969770305*c_1001_2^18 + 1503132347040084338779215365512311246754520599439199345475135080081\ /2756600949885363841905062952075027376039125228282665127939540610*c\ _1001_2^17 - 713610001750503778803694634460358418565859356528599062\ 521915377741/551320189977072768381012590415005475207825045656533025\ 5879081220*c_1001_2^16 - 153824906951744421991256790470478830908452\ 8264931839513938404644979/55132018997707276838101259041500547520782\ 50456565330255879081220*c_1001_2^15 - 1171489798616661747086937483542307551093774103121071569469366231497\ 1/2756600949885363841905062952075027376039125228282665127939540610*\ c_1001_2^14 + 30823590372227411130364293154243721767916413928407540\ 525156665791/551320189977072768381012590415005475207825045656533025\ 5879081220*c_1001_2^13 - 533987184432522211454718915327266614408366\ 11062336180465538244799467/5513201899770727683810125904150054752078\ 250456565330255879081220*c_1001_2^12 - 2377956942852138169154334585491726786236659831445985199119963534542\ /1378300474942681920952531476037513688019562614141332563969770305*c\ _1001_2^11 - 395996336958821808769471925953097867616617144029377977\ 79663632412737/5513201899770727683810125904150054752078250456565330\ 255879081220*c_1001_2^10 - 8372577506092517466945370126715948428453\ 20058992439128194227030270/2756600949885363841905062952075027376039\ 12522828266512793954061*c_1001_2^9 - 2058467226729221097361928715856170026696935162136905367018534328009\ /1378300474942681920952531476037513688019562614141332563969770305*c\ _1001_2^8 - 1573091011696553682707981647665903630356240712671991207\ 991445208575/110264037995414553676202518083001095041565009131306605\ 1175816244*c_1001_2^7 + 2272629800934922634523259869457101085477221\ 73388813092781735050943/5513201899770727683810125904150054752078250\ 45656533025587908122*c_1001_2^6 - 123372669898865498889000642470002\ 5870095023870164221474603618977931/55132018997707276838101259041500\ 54752078250456565330255879081220*c_1001_2^5 + 236246730306354146171003914645255028352678474221180358494616874331/\ 1102640379954145536762025180830010950415650091313066051175816244*c_\ 1001_2^4 - 13391980793129588694914939516182030795562156435049861731\ 689843107/110264037995414553676202518083001095041565009131306605117\ 5816244*c_1001_2^3 + 1264321979053500709232245023312909271902119416\ 70369500968241497727/5513201899770727683810125904150054752078250456\ 565330255879081220*c_1001_2^2 + 72882774533987790221930251061697837\ 9907737921436478045270500849/27566009498853638419050629520750273760\ 39125228282665127939540610*c_1001_2 - 1499381840380863488885803351380267285996702255997523566824163943/55\ 13201899770727683810125904150054752078250456565330255879081220, c_1001_2^24 - 2121/89*c_1001_2^23 + 6886/89*c_1001_2^22 - 8235/89*c_1001_2^21 + 2192/89*c_1001_2^20 + 4397/89*c_1001_2^19 + 2522/89*c_1001_2^18 + 9/89*c_1001_2^17 - 682/89*c_1001_2^16 - 22367/89*c_1001_2^15 + 457/89*c_1001_2^14 - 54628/89*c_1001_2^13 - 8083/89*c_1001_2^12 - 45293/89*c_1001_2^11 - 17813/89*c_1001_2^10 - 13336/89*c_1001_2^9 - 10577/89*c_1001_2^8 + 797/89*c_1001_2^7 - 2373/89*c_1001_2^6 + 1364/89*c_1001_2^5 - 186/89*c_1001_2^4 + 282/89*c_1001_2^3 + 5/89*c_1001_2^2 + 17/89*c_1001_2 + 1/89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.670 seconds, Total memory usage: 32.09MB