Magma V2.19-8 Wed Aug 21 2013 00:29:41 on localhost [Seed = 711735851] Type ? for help. Type -D to quit. Loading file "K14n16519__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16519 geometric_solution 11.84736600 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 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.755306143404 0.585395377041 0 4 5 5 0132 0132 2031 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 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.727459131929 0.496925322513 6 0 0 7 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755306143404 0.585395377041 8 9 0 9 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324848708905 0.568325892946 10 1 11 12 0132 0132 0132 0132 0 0 0 0 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 0 0 0 -1 -3 4 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.438487418205 1.268025921817 6 8 1 1 3201 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493894197603 0.663419797896 2 12 9 5 0132 0132 1302 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 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.792887576991 0.420322644198 8 11 2 11 1302 3120 0132 3012 0 0 0 0 0 0 0 0 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 0 0 -3 3 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366461550785 0.591324041552 3 7 12 5 0132 2031 1230 3201 0 0 0 0 0 -1 0 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 -3 0 3 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760517532839 1.207753470975 6 3 10 3 2031 0132 1230 0213 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 -1 1 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324848708905 0.568325892946 4 12 11 9 0132 1023 2103 3012 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 -4 0 3 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.838477124736 1.653955369927 10 7 7 4 2103 3120 1230 0132 0 0 0 0 0 0 -1 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 -3 3 -3 0 3 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.242782624379 1.221849435299 10 6 4 8 1023 0132 0132 3012 0 0 0 0 0 0 -1 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 -4 4 -4 0 4 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.357951843553 0.426395815136 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_0']), 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : negation(d['c_0110_5']), 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : negation(d['c_0110_7']), 'c_1010_12' : negation(d['c_0101_8']), 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_5']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_5']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0110_7'], 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0101_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_0110_7'], '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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0011_5']), 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0101_8']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_4'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0110_7'], 'c_0011_10' : negation(d['c_0011_0'])})} 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_11, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_8, c_0110_5, c_0110_7, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 7879468355967581097518585100381044434290861218321223404767120215528\ 93739962508344521435826574164/6781344355201307433754656898040086033\ 6220287876159767093789596845917701145410693838968462869*c_1001_2^27 + 15148032032775258127445738861604193111374134231605802586564794547\ 412546731234532265895264590392727/135626887104026148675093137960801\ 720672440575752319534187579193691835402290821387677936925738*c_1001\ _2^26 + 13156822530313150534992360916615743650424901727434071240902\ 092542917280593805221111586610639143569/290629043794341747160913867\ 05886083001237266232639900183052684362536157633747440216700769801*c\ _1001_2^25 + 775878638572252822372191348653972062766831060946329342\ 5434945106124792612214562961116943182393180931/65100905809932551364\ 0447062211848259227714763611133764100380129720809930995942660854097\ 2435424*c_1001_2^24 + 194546514303484531962190351737142020254110662\ 77857153064026094355969166701836949365436434621961597677/8680120774\ 6576735152059608294913101230361968481484501880050683962774657466125\ 68811387963247232*c_1001_2^23 + 36359657870248706192526087936183195\ 17401579843126451167574844622998692505783455301258658325159758861/1\ 0850150968322091894007451036864137653795246060185562735006335495346\ 83218326571101423495405904*c_1001_2^22 + 1061032898743787067574576755529301761053103913657753265688701366803\ 06246506364824074750814480587344161/2604036232397302054561788248847\ 3930369108590544445350564015205188832397239837706434163889741696*c_\ 1001_2^21 + 5690246664078616851735565469946058061501282786328959534\ 3291359900431610676718263690155831442460979435/13020181161986510272\ 8089412442369651845542952722226752820076025944161986199188532170819\ 44870848*c_1001_2^20 + 45161170088394620349079918701267790081684246\ 282425350751208142006507633696930219043923974371088796983/868012077\ 4657673515205960829491310123036196848148450188005068396277465746612\ 568811387963247232*c_1001_2^19 + 1107885961107191546053730860073591\ 0777928882070308988225784149959569400703570947035599474999057433737\ /217003019366441837880149020737282753075904921203711254700126709906\ 9366436653142202846990811808*c_1001_2^18 + 8900624510965557707587672647860831874820727047156950814835005048966\ 3593838741130000834236033487005529/13020181161986510272808941244236\ 965184554295272222675282007602594416198619918853217081944870848*c_1\ 001_2^17 + 79003889918007870362354043070953893982605423621578873153\ 083572147995996244374619677909569736119898457/130201811619865102728\ 0894124423696518455429527222267528200760259441619861991885321708194\ 4870848*c_1001_2^16 + 534475609365746411068641784116365487605112184\ 92093201351718927877592890558983500809344880667121732591/6510090580\ 9932551364044706221184825922771476361113376410038012972080993099594\ 26608540972435424*c_1001_2^15 + 56526992656566209183273502094287723\ 567253215481105070751088352672772002972463897468477133216563684593/\ 8680120774657673515205960829491310123036196848148450188005068396277\ 465746612568811387963247232*c_1001_2^14 + 6460065401261803338709814679407590366978939200199502263084824644591\ 9333747419704120760832709735996539/86801207746576735152059608294913\ 10123036196848148450188005068396277465746612568811387963247232*c_10\ 01_2^13 + 651408380717546008604392759668913665235035729579615379862\ 37213364930543402038016130213210654227957759/1302018116198651027280\ 8941244236965184554295272222675282007602594416198619918853217081944\ 870848*c_1001_2^12 + 1529283201173396302257465595685564719310743343\ 2509097415985233429956933903838773150319984275099257629/32550452904\ 9662756820223531105924129613857381805566882050190064860404965497971\ 3304270486217712*c_1001_2^11 + 367035117085893376723672398522724327\ 33973389040830029117025035012797473248751082082379859453456044823/1\ 3020181161986510272808941244236965184554295272222675282007602594416\ 198619918853217081944870848*c_1001_2^10 + 5238205449768232686716137532309572722464422140000920439409715788896\ 0818242687242275654543051574707689/26040362323973020545617882488473\ 930369108590544445350564015205188832397239837706434163889741696*c_1\ 001_2^9 + 205879294353498265250707460976648264022116592125451379859\ 7736005109870028625328931575640555070922165/18600258802837871818298\ 4874917670931207918503888895361171537179920231408855983617386884926\ 7264*c_1001_2^8 + 1925653502567434154852314699166167444049610553068\ 333023199319835527406360675788784012465280694563943/325504529049662\ 7568202235311059241296138573818055668820501900648604049654979713304\ 270486217712*c_1001_2^7 + 12492089585567044204890893441213771555783\ 46046095953334927093423570950220690099349645684631564079397/3720051\ 7605675743636596974983534186241583700777779072234307435984046281771\ 19672347737698534528*c_1001_2^6 + 298477866363519516894070894262745\ 376046309405555238449145297517503328484809228138785026384567681041/\ 3255045290496627568202235311059241296138573818055668820501900648604\ 049654979713304270486217712*c_1001_2^5 + 2907376670142361982531500020085138397097309380694468208589484483016\ 51532217755721853433559697661419/3255045290496627568202235311059241\ 296138573818055668820501900648604049654979713304270486217712*c_1001\ _2^4 + 359638990976726986590750959197668159300525929590033777806304\ 6359659276570336760541197087166705349/86801207746576735152059608294\ 91310123036196848148450188005068396277465746612568811387963247232*c\ _1001_2^3 + 4268041161829262318241232428977953090052643583117429293\ 86171652737613728566080108302506861212117707/2604036232397302054561\ 7882488473930369108590544445350564015205188832397239837706434163889\ 741696*c_1001_2^2 - 59504652013507889745904486232920994933658392760\ 16821545299809222804799810754161929024522294127793/4340060387328836\ 7576029804147456550615180984240742250940025341981387328733062844056\ 93981623616*c_1001_2 + 63133537682434833581332413246111587839081891\ 47832946115899464627013934714028282751532347665610297/4340060387328\ 8367576029804147456550615180984240742250940025341981387328733062844\ 05693981623616, c_0011_0 - 1, c_0011_11 - 64823109449071432137056452215720664078470687964417368389828\ 28528429007872/1235088104433777886502511629249858084534321802985415\ 731652858044947143281*c_1001_2^27 - 1277138087660102872648125978970119859729674323071868054330044671830\ 07941248/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^26 - 7578736167631034931205845801623004451\ 84069224372792349848722424324843341280/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^25 - 2269281907364763040975230940110060909528202569236291072704712404716\ 300876264/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 - 498016045165437658074665525923536390\ 0209740830276743357583214799297388813236/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^23 - 1496713041828128852241057791623054587166405010571549802895675815563\ 7943428693/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^22 - 10431089876627954288037174938472994\ 357874220762770656224109614051509742605079/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^21 - 1846290885207704166622189862839190772038102374690761415253427713648\ 4131132419/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^20 - 13360931969902787308047737785930718\ 230187455509027801462884842426766514633372/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^19 - 1934786626131104262381794704126788808146950387165361068219660500859\ 7910801799/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^18 - 17675430359998365027007878797006239\ 966401965314830957838842426932975535822430/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 - 1188722812280577436655999184721450294629514104500090975280783080020\ 0105291225/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^16 - 21014344100106374236633183235972583\ 836111604772369908819641905137994557295883/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^15 - 1410301050199028133781422799809402256648750386179162997434020010433\ 8870459419/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^14 - 37659832665259372992756007581425359\ 773159880566549948107719354268583075046059/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^13 - 2252916993035663474951619090311790678638288058592298722507591920401\ 0909016977/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^12 - 11149577271671561698678527897088948\ 178559899028015641857624310865003074252599/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 - 6383894911674572466491606272445614201585500912826995014767172729834\ 168383184/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^10 - 436306202921508952617043094712427623\ 8479635984037481260130521243834246622970/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^9 - 4703245922877114379165965029353658219819772263793857206966464441939\ 484687413/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^8 - 1040258109310044881567743423446156545\ 417282578582010460568385172444430203926/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^7 - 7368902648355475219380503959146973864873466958614233762990325866082\ 37577939/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^6 - 12862238394488527041666184334338019379\ 5737742008664897581601475685304655445/24701762088675557730050232584\ 99716169068643605970831463305716089894286562*c_1001_2^5 - 1924894102976060915576691804861059368755034599144807494130738784147\ 81680616/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 + 27047786610999015961439181370908918436\ 916944747490094240567874235764533903/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2^3 - 6480690373492824499345476306644181968231429415780333173730700736135\ 4933883/24701762088675557730050232584997161690686436059708314633057\ 16089894286562*c_1001_2^2 + 126518731204141627432061883553641050983\ 07954111776302701929287993552738675/2470176208867555773005023258499\ 716169068643605970831463305716089894286562*c_1001_2 - 2615304266752873218793826750335338318944812711455220508441193465457\ 722119/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_0011_3 - 116480807875378238340621812303542771434337756688914321371500\ 260811055840512/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 - 6896504558983308365038299026649557187395801950654157970784195717585\ 41813728/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^26 - 1240485686093955224081096480860822709\ 252886749449116334752325690235047963008/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^25 - 1500614863238745287849836213215979879479152532083007640204483699646\ 880099090/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 + 431605632036526492422229061712731225\ 6097474900232534763618370059464931381939/24701762088675557730050232\ 58499716169068643605970831463305716089894286562*c_1001_2^23 + 4279054241959477854050207771807277439444872750675695058969176835662\ 561373265/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^22 + 327643087816392227522312563812113528\ 35227736699167083500015447233121955750653/2470176208867555773005023\ 258499716169068643605970831463305716089894286562*c_1001_2^21 + 6996700472919118690689032432130654464118630910361960636222228170487\ 542540472/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^20 + 554287755098089780607196988704352283\ 36505641314358790220517243574625859412153/2470176208867555773005023\ 258499716169068643605970831463305716089894286562*c_1001_2^19 + 2835862517877361845183203440814500149453179159068336940205991168063\ 070168642/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^18 + 377505552505687620823686969992661313\ 45159984327403178308410133916999012631913/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^17 + 3775085405191523781959452272865814643269424072840535571914189539187\ 616931183/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^16 + 446242746305358382119029796723077176\ 42308433978727052330770056518835358076765/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^15 + 2954138616231002749877298653119295826692177257007148198632267870192\ 3774792147/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^14 + 89223914313694090877401272042184372\ 883739944868540674235853669440764430729927/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^13 + 2161111624341871946315323640056532018763209908054431875069275566017\ 9599405908/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 + 31001745883776910163288011728715229\ 017836738951836868978535710626723458088216/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 + 1829353297773136193768423518380374209606447837242594148527019018798\ 6006871184/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 + 30222307492376492267636212150654842\ 791765934044363960802341794707947189756285/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^9 + 9431679427668951390024967274193086179181920952491561772533861806523\ 474125487/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^8 + 4642661953918855820907312483381539522\ 947662202487316753714892221252094847903/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^7 + 7302107423860208709049878538620493059336633935568500428759329475629\ 611090963/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^6 + 6408813763510716865877234549593727351\ 94901087279492099430948536844660615927/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^5 + 1035548852194138963555128878605117420592466643663989527138810724812\ 077590772/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^4 - 4429992005709908601847352426205819447\ 3581231530693977374834483147510198795/24701762088675557730050232584\ 99716169068643605970831463305716089894286562*c_1001_2^3 + 3757065439463046090926870797708620671691312713431486666315138172330\ 30353419/2470176208867555773005023258499716169068643605970831463305\ 716089894286562*c_1001_2^2 - 15400426419675974241148068016894980583\ 936245401578632463720114283185458390/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2 + 1589736797285065409002357814537776216095566472088443907560437178993\ 2120537/12350881044337778865025116292498580845343218029854157316528\ 58044947143281, c_0011_5 + 239813770416536151324773722784113733799450160267201232133882\ 482537260242688/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 + 2005428350803282189128159166292857363895035783423735086836102428306\ 622401440/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 + 714216358105946442818233521900895525\ 0526310509889994264606473380674672686976/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 + 1809126670853901203534146347581985388732723402640132178568528175400\ 8903617590/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^24 + 63308898182900078648799255453140153\ 879195329073306110866852581770800594892775/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^23 + 4885708026792713755098420574098766677288820811930525788523626134116\ 5581128573/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 + 10754655928103261243480293358102294\ 3355609272536690231302758932197196087719779/24701762088675557730050\ 23258499716169068643605970831463305716089894286562*c_1001_2^21 + 6864396324005963637820872641963948482876779723086108829162910028157\ 9411991162/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^20 + 12829824420140422474673768486396620\ 7441702256814217635413765222907199499344979/24701762088675557730050\ 23258499716169068643605970831463305716089894286562*c_1001_2^19 + 8493811989419274188640600358188145642485264804866701133936213657752\ 5611784145/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 + 79928501245463726689369100931270599\ 733810046934897567706206569951030147166604/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 + 1025476919797605537024174517884087754892969204023842946015419473736\ 25214757949/1235088104433777886502511629249858084534321802985415731\ 652858044947143281*c_1001_2^16 + 9773258377344505962182911083262610\ 5562480804178605537288553913448275416440753/12350881044337778865025\ 11629249858084534321802985415731652858044947143281*c_1001_2^15 + 2106182225556454287694708171194945100096136769629135507453744871388\ 33346011519/2470176208867555773005023258499716169068643605970831463\ 305716089894286562*c_1001_2^14 + 1813117013380330790202451197617815\ 68476213085327778609346730278584955875601201/2470176208867555773005\ 023258499716169068643605970831463305716089894286562*c_1001_2^13 + 7753820348156220107706931812946800977174556708852888986391444239183\ 2193871306/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 + 59009750652595209680895947513279153\ 402263533607985025871709299021464009173945/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 + 4032726592288167365709339134800974213417540429860830756338555481813\ 9896755169/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 + 52292908489637284724637660608627936\ 116720734851679798646452469946146945654265/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^9 + 1440173534010799091911992782694063523710671577504900232038874927074\ 0481843040/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^8 + 817540691575139830089277557278923120\ 1463973969041680679974597703249494795596/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^7 + 7025362343316519430626695339823356581219834088554366001469022487035\ 084397617/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^6 + 1754805840907609490914029066370635322\ 541931377432494850784223412477547588938/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^5 + 6598561099001398412006355326999698382491582611375511098397491739313\ 49903328/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 + 44560709748931222460058124409791082607\ 7378533741884702070666599633958433713/24701762088675557730050232584\ 99716169068643605970831463305716089894286562*c_1001_2^3 + 1897122422960520627049601268299395671395551722017541944305913755372\ 15562983/2470176208867555773005023258499716169068643605970831463305\ 716089894286562*c_1001_2^2 + 11572620648422672586496508190793625629\ 732416493952456313721425444320214662/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2 + 9373838242033576598287297734895223126608547928983640270267919209329\ 887505/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_0011_7 - 895818588760004365309969653655997639258833419241610700460633\ 49116816053248/1235088104433777886502511629249858084534321802985415\ 731652858044947143281*c_1001_2^27 - 7820106323486578168357171339933452276749602654748809271304003777708\ 80729984/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^26 - 2914779026917921060998735860167270362\ 947511841227631403614887950743771737088/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^25 - 7514030979505811423921066729138949394573460132859902822496711719668\ 685379720/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 - 135662792638963453799476674549236797\ 20080099574358320251960820336751551293226/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^23 - 2081398542880287714878290383862614407822989857703232534851824352561\ 9968340156/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 - 23949212291976054265723843278962629\ 783355878454528001406691904208986007700620/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^21 - 2880411954957478527384973533996947398856060620301573878300349129090\ 4576722011/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^20 - 29458013673417344719506236572784130\ 745834970693595599573053201822114776190184/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^19 - 3505106788627564353259441656974825072590958394990212252586634996239\ 8178865839/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 - 37432222354821980696752116845358394\ 072443978959334146069161622324053018698147/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 - 4228310485506447740595957668364735469375995296192558812349702566589\ 8502798068/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^16 - 45517105849425919531419690989660015\ 303879695355784865752064394341513283788732/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^15 - 4431808192438158212906825961812819122029428024107257199794578767315\ 7046718506/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^14 - 42107302977621526917894589266492200\ 222397741273348245674899050909636782811943/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^13 - 3347168629991896120519307013779711266133585969066195260981722184638\ 7496887951/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 - 27430672106464113679377980117673841\ 220428216701211833898183801961864556127908/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 - 1822692616120007106658393832675655521047035115214954778679995342662\ 0943463727/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 - 12321467181502294515534813063735297\ 017783688598562502291496562548012177325930/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^9 - 6959826108192885884663572037322880985108876357441341800949968692181\ 897476984/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^8 - 3947063793672221087824972420753925963\ 205398427340333928722156637998981720538/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^7 - 1947568859020616816696897673726318300851203602463781402338344811557\ 210567360/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^6 - 8372186990842401331349640508611035575\ 15823524207666766101768174571963870820/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^5 - 4400613511562366359560199767854167249699945616894608471778383877585\ 72123874/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 - 97226946470784278890997492165127586240\ 574713336577672184332431262569870094/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2^3 - 7057334207596090464464542572026414968793303951953903342782830298780\ 7366557/12350881044337778865025116292498580845343218029854157316528\ 58044947143281*c_1001_2^2 - 356341322689992719049121277424736897371\ 9941659715723603217993264446989462/12350881044337778865025116292498\ 58084534321802985415731652858044947143281*c_1001_2 - 6428116087479337567947710905359198087869224399729793884961764453584\ 654267/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_0101_0 - 193361713331717016189335785940335378872207949967325325739904\ 46648145864448/1235088104433777886502511629249858084534321802985415\ 731652858044947143281*c_1001_2^27 - 1414605673603601447807812093831848041835953481237517208173058564269\ 10810528/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^26 - 4214128388800033666432396058646151759\ 56546226467286556780489458685792486272/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^25 - 9709385599191823711588966018408791482375377758917368668449908014992\ 75102166/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^24 - 2793644719762963882859871287016795919\ 680093315206696733385447938435308348023/247017620886755577300502325\ 8499716169068643605970831463305716089894286562*c_1001_2^23 - 2149031425120659818457830306352410339917033593407867054392530079895\ 487440093/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^22 - 316016824958689338776440979190535619\ 8402833645303017731496145996699301080435/24701762088675557730050232\ 58499716169068643605970831463305716089894286562*c_1001_2^21 - 3017888981719220983196202302468792969178962785328531173646124548522\ 000876290/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^20 - 228135483344489497720154553563705140\ 4686400105773443115388583807135244625347/24701762088675557730050232\ 58499716169068643605970831463305716089894286562*c_1001_2^19 - 4032952701968117688318289767020551904047150030981113080673770696661\ 334033345/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^18 - 975310251225077627539206456265038664\ 146430193981528257539846081720554320551/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^17 - 4888783684532917013621885062764066901669138190308863273349593133376\ 566198169/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^16 - 131617212678930001186056056893113211\ 3838639090832939729265333329785757250007/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^15 - 8644558966378826467074758613300202263968393368007483466759994474853\ 115623203/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^14 - 201120340765150805756217271954016962\ 6632685264823317707695379447176947776065/24701762088675557730050232\ 58499716169068643605970831463305716089894286562*c_1001_2^13 - 2312752540380850080468487747260718908174034806739607738796297867196\ 356366579/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^12 - 327262331512088034331030279991062758\ 360473444496004213629943916160404353062/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^11 - 4384982067142011966626642935789513588667577613856766149536272804852\ 80299206/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^10 + 3178513585590412817999744411306119454\ 64506169256179355707676076125522502849/2470176208867555773005023258\ 499716169068643605970831463305716089894286562*c_1001_2^9 + 2743144772881140491795155347458772572739875231995383818521500396282\ 34311922/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^8 + 17606869602505857297993128409256614105\ 4783936525107198502727984324832303548/12350881044337778865025116292\ 49858084534321802985415731652858044947143281*c_1001_2^7 + 5447713819016556730967697692850138775430178427612917391535489220612\ 91601667/2470176208867555773005023258499716169068643605970831463305\ 716089894286562*c_1001_2^6 + 52986034605737307348441635221187539449\ 383003003263303697812483525527656901/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2^5 + 1083018912820370559950430018759381560441434009813258272932119165816\ 11003777/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 + 10777648068774452665240321997396853343\ 064508118637376563121868669759709007/247017620886755577300502325849\ 9716169068643605970831463305716089894286562*c_1001_2^3 + 3953318547431668466514877256134331218013335541103021574914097067786\ 9672757/24701762088675557730050232584997161690686436059708314633057\ 16089894286562*c_1001_2^2 + 574682431441432995686778298497760732189\ 07062390339330274758904826431736/1235088104433777886502511629249858\ 084534321802985415731652858044947143281*c_1001_2 + 9689381728988357804036736477927327717024270960531568933672075557062\ 52181/1235088104433777886502511629249858084534321802985415731652858\ 044947143281, c_0101_1 - 993301917216119431403897502217261409116697233056047417013012\ 74105639660032/1235088104433777886502511629249858084534321802985415\ 731652858044947143281*c_1001_2^27 - 8348330118474447071738925329968154425884014650007287183405660550789\ 34770624/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^26 - 2967771128677823794600466326649616348\ 137700367860459353067922011903201462464/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^25 - 7419283064301416468756072247707289902600578125957369452528848093526\ 415658756/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 - 127899594163862527473120182924289529\ 83689448601675595311658263332626291481929/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^23 - 1930507111529761312133756495603561528231427018913476180177901393526\ 0679514027/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 - 20879955181753296149792539789404628\ 869936081312335762940599468813156534836099/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^21 - 2613437034278535945236250404527664365760060966759569053371082672336\ 7688471278/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^20 - 25046886488019454235066422956750585\ 313695741401531566562227861276683064475577/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^19 - 3222139685220700320427779022921183442312648252744126308669834714718\ 3007327047/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 - 31801503997273054914689854168023686\ 939589047610197465500512834954311199165631/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 - 3845518682733724127913549917089106901811798493738999043493902996808\ 6135297224/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^16 - 38738767786587667323754209127309131\ 543643059463603937515687394064185391933815/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^15 - 3893973119833834712315924249493080437440316941772203939883986571843\ 3770923810/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^14 - 35090316498003210527836338910485604\ 426047478528542522175772061890182407563683/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^13 - 2799728252300833822068649390212775822457268078218984271544461154055\ 0656121492/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 - 22330330956451528752546763524331062\ 737774985593879895155465166577093927019348/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 - 1442796280605090774961119747111199065140355228597256077368913115986\ 8280592072/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 - 95734490882490271301719922836449009\ 40438515923111439409546453215982451302258/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^9 - 5141805123992485472474619745515144464798727321937712971831163048153\ 694773059/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^8 - 2931976299550538043019608254263223369\ 594218699473264146587806577439314749693/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^7 - 1313193828363056409013460139446035223377976477282110813413535396595\ 938360666/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^6 - 5747980756895724623124352694442578899\ 29872360064252805823318806943243823161/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^5 - 2899045370391576257028253559304292439972904189155674276429348297158\ 76974822/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 - 54828877675327032283227152591728842676\ 778662402477916705370132621905655954/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2^3 - 5030929982740779217905214949158113546927164515707876181027614208830\ 5107965/12350881044337778865025116292498580845343218029854157316528\ 58044947143281*c_1001_2^2 + 169268190220244454473026308879325799955\ 353853602988804274229310182113734/123508810443377788650251162924985\ 8084534321802985415731652858044947143281*c_1001_2 - 4988840079717280666861850390494163920265881611552091204120555190739\ 176548/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_0101_4 - 428217285382095013414496826285957922092757180983552846361938\ 003421281014144/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 - 3167871956386625425330698166755116412167771455707015212620230157983\ 736703760/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 - 951835313731956598271223096297642159\ 5294160144437140461781411294314386681888/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 - 2174067119342598471628747017199255172944370065635072538994792936378\ 2489979511/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^24 - 12461330280577683421193764132231124\ 4499430411571323060529333292305763194701403/49403524177351115460100\ 46516999432338137287211941662926611432179788573124*c_1001_2^23 - 4687835871681963170272848744621110600273691924081977891630251986978\ 7917249237/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 - 14027537999022647824649379253215836\ 5023397352197649256524150573590780080867071/49403524177351115460100\ 46516999432338137287211941662926611432179788573124*c_1001_2^21 - 1309501920089895750847527836925052287939222075818362059508045215585\ 92502149499/2470176208867555773005023258499716169068643605970831463\ 305716089894286562*c_1001_2^20 - 1251796028072738438872605354737046\ 38223665084312297286210997723098190709085263/4940352417735111546010\ 046516999432338137287211941662926611432179788573124*c_1001_2^19 - 9049066487661994102084047505480559011094578722984865584441122881704\ 9813444046/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 - 34644034428930636123122611859868447\ 727675275620405961400036547454713839717726/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 - 2170604356308084189644793663379445184267342031189461660313435259896\ 70744987949/2470176208867555773005023258499716169068643605970831463\ 305716089894286562*c_1001_2^16 - 4433122388794246389893357452982755\ 8775264950623603533076672592046968342426124/12350881044337778865025\ 11629249858084534321802985415731652858044947143281*c_1001_2^15 - 3847410210703461612821326636468182953662884294716516684342452647611\ 96877636883/4940352417735111546010046516999432338137287211941662926\ 611432179788573124*c_1001_2^14 - 1507435814785029526342817695079557\ 92079594203217928903658436250479386328518497/4940352417735111546010\ 046516999432338137287211941662926611432179788573124*c_1001_2^13 - 5701775928193361632961483839336572480830856301173278652912647314029\ 3843906780/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 - 47244197009563600191500465350994283\ 532074120912865377954903126003619722498409/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^11 - 4246378866397356732521779232564301597806314264595086229301966208932\ 8057733715/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^10 - 39520854819339825808888270292183582\ 739705363254860210143735476870745418482549/494035241773511154601004\ 6516999432338137287211941662926611432179788573124*c_1001_2^9 - 8623639912904240390164511856369978789490154102857396671971144340781\ 427194485/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^8 - 7454778181484334142683441310501997331\ 341737695881404675667772456839627762831/247017620886755577300502325\ 8499716169068643605970831463305716089894286562*c_1001_2^7 + 2323227863946533082116452292688249808728840749740027412302482776341\ 104784629/494035241773511154601004651699943233813728721194166292661\ 1432179788573124*c_1001_2^6 - 1417828472813108079518879863174107576\ 343831401141826134802938624995517948473/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^5 + 1186685483351685490210538482651807758023451668393330713560089749344\ 015897235/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^4 - 1376040258518284005060573956119331740\ 505278704365779674073062348166224134351/494035241773511154601004651\ 6999432338137287211941662926611432179788573124*c_1001_2^3 + 5446179532037659558844849800810047052654080516369131709117187417393\ 55964033/4940352417735111546010046516999432338137287211941662926611\ 432179788573124*c_1001_2^2 - 38327920636130480276825742830461193612\ 050629467616505496895187442916664102/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2 + 9517351022571351847165453229162120501582241168464325503800505416586\ 914386/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_0101_8 + 180560649815851491228137215057524850078133781289496116308376\ 077332143313920/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 + 1119346445195684620919430298388849750839095002572059977684059927064\ 315429760/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 + 232757312497496115826855878683421931\ 4523490368954643474162631629503382593280/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 + 3706489998642396960687024992398483154710115318767988057856763479397\ 015831112/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 + 955606594005751763253293772304679768\ 13580359421556516213951954905409297274/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^23 - 8103701352431503471656308437561347800284752896031013856739293166413\ 36713036/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^22 - 1633938103747784620926369771183264550\ 2205457607242962932185415784314747046701/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^21 - 1409415874509109738504607305336707148541564545537913284419295196274\ 025297560/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^20 - 300321228770151590197868390049612246\ 86004224923205419682068834360266786383629/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^19 + 6345911465501010225892166513512336107020267254036056547512279482302\ 810034326/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^18 - 421239724176709246451356778114804424\ 41234848263514690157740281881367166422744/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^17 + 7156405947396318018072914855156554082791833867016033045679983757978\ 602925450/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^16 - 492465359849805969908687096516098153\ 10931344619272351390981388373225731087014/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^15 - 6915739713983319288204870978827795696627050902122902501835716681155\ 495035696/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^14 - 490862240920429460903855039199783428\ 33786316255761599202033780142196629777762/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^13 - 1861923912304446671076943671214942314983752765067777313299505730168\ 0335743567/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 - 33691066682674388440677952266097364\ 872964203392394909536647130923257779539315/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 - 1865096003694265008613739138730785559166245577365552298507291017767\ 0508139100/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 - 16312159838495135698648065386586465\ 411812384812457900691694685415474610582880/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^9 - 1030254376023633509709837322580688664361019809043379457644920165038\ 8091029041/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^8 - 484387029234554828734918796664107842\ 2393344828563527872341138438667368763767/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^7 - 4286047786935200406481859118316897830523219102120025500604999964673\ 664611095/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^6 - 5135365967451390156781054813622957798\ 11234301437228190235702439447410706223/1235088104433777886502511629\ 249858084534321802985415731652858044947143281*c_1001_2^5 - 1275029093262769900680988487475547298456147600124123887791526159116\ 865295965/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^4 + 8604949973811495946688356776842181342\ 2872454831989853635357302792590428942/12350881044337778865025116292\ 49858084534321802985415731652858044947143281*c_1001_2^3 - 2365845178403165200600709897876778418193974482476057974075748230916\ 25665077/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^2 + 25148343624955090391061240898829470401\ 324542522271144265474521011871531918/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2 - 2022941677519819608276154156664819348724430039574114205071824550133\ 1990363/12350881044337778865025116292498580845343218029854157316528\ 58044947143281, c_0110_5 + 178261716913834042100885430581881019116815637802289671689930\ 834489574298112/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 + 1515800195494501817496399412086971160398633766319873771429008720205\ 901215936/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 + 546574295482338998236227090307266269\ 6072919912714691920496100686593250306048/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 + 1378191260008230988655966322247046983648787986567483951777284476668\ 6906252820/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^24 + 24098232871627911706652846510128971\ 033882485289760554266351118389574976434889/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^23 + 3653380107690897609698991212317365887371416958164461113774884768462\ 7855529610/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 + 40375106927481057468225449135232700\ 734482153254232967243880786511176080276581/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^21 + 4980995115687457459451535883986346206015446944985051968172156354328\ 2838178655/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^20 + 49034140402358099043074096476871469\ 859834302682218908467573547295162548209532/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^19 + 6108732436687321101312412545159358492326727928469818179568091098760\ 2669412866/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 + 62302439759660504335950466285515067\ 081246223661414369807625846103184110444259/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 + 7299056181559711221680874509101590964832273032337178320821002710511\ 0179682227/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^16 + 75844116208052197497323975735691298\ 946260511071621399790870908440446813689270/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^15 + 7474604068491386355728169255065844394538038115645970101382383759983\ 1978404925/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^14 + 69198520151188239342740118425256713\ 493080217419082759608188813684462724964291/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^13 + 5469135133068999425639321073415186689244018779229024838663082266394\ 7998592617/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 + 44439609663551002048221527945381345\ 603383477354794788886154349110502449265061/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^11 + 2876252229820017179616724470948648969090945356638544282442715811789\ 0404682639/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^10 + 19297582067146487975948941041141934\ 977802667521923939806038534864347607723610/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^9 + 1046807922287844218290829768795271345512101015474499944121512837094\ 1683202568/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^8 + 593265814801890751978884731978574561\ 1208463553166936438800240916052012205791/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^7 + 2731524597663008908958566831915885632332101535828459572502954814946\ 643682712/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^6 + 1139753869859002133082300987486172696\ 048648343109933765217987526846050740231/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^5 + 6081056471856358077469656574859079142746898984031442283013028239524\ 83833077/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 + 10228468421137871827394762269563481363\ 0595358348798555809702972927330478025/12350881044337778865025116292\ 49858084534321802985415731652858044947143281*c_1001_2^3 + 1064555339750106394871264385267589931257745014388760196159691115482\ 57275902/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^2 - 16375581111493095785921704203809768693\ 71208866437624378742869899307095232/1235088104433777886502511629249\ 858084534321802985415731652858044947143281*c_1001_2 + 1016683699205427612745164435160031442726334022488358036985064900213\ 3908896/12350881044337778865025116292498580845343218029854157316528\ 58044947143281, c_0110_7 - 189563829280833166697567792586158838225600415483488577652078\ 950625149799424/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 - 1340599245319441357028891726787895058353550990581006215571845477474\ 058151296/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 - 370558519489889528356198448150435874\ 2358879969181708608238636830566253136864/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 - 7859767599328147475887914670142535073764699637126988276809870736501\ 470630072/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^24 - 943239748713947395434763029150374762\ 8871395234959121209211175431929397550200/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^23 - 2693254751313362948099499251037355039330224209061021841453866315293\ 4924013029/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^22 - 46987886865792003884001903834782069\ 46477999407221437741413874475651930332549/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^21 - 3628438558130414767615623510167626723320245542742322860115974397625\ 3320453739/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^20 + 26355666696168784355960598476353542\ 612215705698763391628375799577847219825/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^19 - 5664751048180300957436638606098035362283400392278446841412500340856\ 9335991319/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^18 + 20422788468619623839323736501280813\ 50843083943327554094852914449335680451221/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^17 - 3318395223708518137129522043651286103897944563606267898983552932935\ 2278499976/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^16 + 15178474311591754423692591025999353\ 84821030792352515349882642112512120750512/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^15 - 2461171105732213797775726583332359645552702942819771139812155123522\ 6756827307/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^14 + 78105675516666043530938932539751829\ 33508092708289065553189346263103245667965/2470176208867555773005023\ 258499716169068643605970831463305716089894286562*c_1001_2^13 - 1967770330191024540228090990502228535268408280094125099381862392270\ 2723964193/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^12 + 29246917296129032571905996997762662\ 85701660141070375000924191714693717947534/1235088104433777886502511\ 629249858084534321802985415731652858044947143281*c_1001_2^11 - 5526215892617453711390058376127446847515853197008966325011334327996\ 94505068/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^10 + 1562689494555494997674414622215008527\ 182466048662289938278305451192133868108/123508810443377788650251162\ 9249858084534321802985415731652858044947143281*c_1001_2^9 + 2967479498442874377226400988732368441214897891371528731664780251266\ 044958073/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^8 + 2338030073503869610657991952606998710\ 2990489682633615814960294053453081216/12350881044337778865025116292\ 49858084534321802985415731652858044947143281*c_1001_2^7 + 1213750930375799112911376280693065808944164088931697202884813001827\ 276941016/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^6 - 6218145850503449377013024395303625833\ 09049858309130946034399890524169563541/2470176208867555773005023258\ 499716169068643605970831463305716089894286562*c_1001_2^5 + 4785975039553536531923705872799764682091118264333562921424382180214\ 03542840/1235088104433777886502511629249858084534321802985415731652\ 858044947143281*c_1001_2^4 - 11783578296578602678369652865173397762\ 8321660490381261377086625435278399992/12350881044337778865025116292\ 49858084534321802985415731652858044947143281*c_1001_2^3 + 1892814116271631519415549302835101265875608548663629276732265464216\ 74332005/2470176208867555773005023258499716169068643605970831463305\ 716089894286562*c_1001_2^2 - 32298834110920468271192948619822224639\ 350321959634254539897795244666438473/247017620886755577300502325849\ 9716169068643605970831463305716089894286562*c_1001_2 + 7119670021025617546897085272962436175519043840220656781907640382678\ 048657/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_1001_0 + 216610780013122786004197466220792604066496247093837152503345\ 052884867944576/123508810443377788650251162924985808453432180298541\ 5731652858044947143281*c_1001_2^27 + 1642982759153270841453702276813843408316920182871658939074042225726\ 608510896/123508810443377788650251162924985808453432180298541573165\ 2858044947143281*c_1001_2^26 + 511314386930233139753706619651257824\ 4225554351511768686273140091872945245024/12350881044337778865025116\ 29249858084534321802985415731652858044947143281*c_1001_2^25 + 1187690998436054078953289819846916287064595596334773284709290698955\ 4887636285/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^24 + 70830462734130873635904522911675142\ 460312507502628820960642313533958593569673/494035241773511154601004\ 6516999432338137287211941662926611432179788573124*c_1001_2^23 + 2636315913321491748807489143631003139790281934892736708573079487151\ 0307315655/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^22 + 86317490695536441140292839993818530\ 681460293047512877006210762468468944700093/494035241773511154601004\ 6516999432338137287211941662926611432179788573124*c_1001_2^21 + 7123576800909646378655602376470996758273118531375941844272699781700\ 5595429177/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^20 + 83880568797417445323741770012490886\ 731373751142174613983684231941155891084025/494035241773511154601004\ 6516999432338137287211941662926611432179788573124*c_1001_2^19 + 4791079333696779066382075260152740329986056420436468369423329430039\ 5668956755/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^18 + 24758715958363728717340140309888423\ 449846483027522920894711968950111306156174/123508810443377788650251\ 1629249858084534321802985415731652858044947143281*c_1001_2^17 + 1146769088432208658028413282560061535150597153420628061370909454331\ 20728556083/2470176208867555773005023258499716169068643605970831463\ 305716089894286562*c_1001_2^16 + 3088401451306417231407033494535191\ 1752362254755460834906574748078720882829036/12350881044337778865025\ 11629249858084534321802985415731652858044947143281*c_1001_2^15 + 2074926574941067566726800797189132776339201344084874436287100329350\ 73724778141/4940352417735111546010046516999432338137287211941662926\ 611432179788573124*c_1001_2^14 + 1043438243962081468154541666395271\ 82324637815367137073657528890222443437351963/4940352417735111546010\ 046516999432338137287211941662926611432179788573124*c_1001_2^13 + 3127877721793642454013592834491879560065837225120634428419743403640\ 6210178754/12350881044337778865025116292498580845343218029854157316\ 52858044947143281*c_1001_2^12 + 31325021707140725853327053997715453\ 940658366867695978353560939886440733394085/247017620886755577300502\ 3258499716169068643605970831463305716089894286562*c_1001_2^11 + 2441733106912506142896628215400079423247496026525426593539919420204\ 6031326301/24701762088675557730050232584997161690686436059708314633\ 05716089894286562*c_1001_2^10 + 24706888844926672259746515804151038\ 956085515412476867978488076225366229904031/494035241773511154601004\ 6516999432338137287211941662926611432179788573124*c_1001_2^9 + 5492588466862070291100711677428682487790609703535507847114621821294\ 259632939/247017620886755577300502325849971616906864360597083146330\ 5716089894286562*c_1001_2^8 + 4177630849824524027173095565042133965\ 967987361876130827996076529281882670441/247017620886755577300502325\ 8499716169068643605970831463305716089894286562*c_1001_2^7 - 4449213280494654781393021034150873562691309721267317767708955994472\ 2671339/49403524177351115460100465169994323381372872119416629266114\ 32179788573124*c_1001_2^6 + 667274563113718116966866796869217449293\ 698100274481713934047881451317694231/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2^5 - 3608579243738999357101665012025445360515734256996791902948409472385\ 58996699/2470176208867555773005023258499716169068643605970831463305\ 716089894286562*c_1001_2^4 + 60436179435349456769723451385396803796\ 9788092140330898387906412961112535945/49403524177351115460100465169\ 99432338137287211941662926611432179788573124*c_1001_2^3 - 1622168580512709172239496690297438371730090582700573169331577811064\ 13014535/4940352417735111546010046516999432338137287211941662926611\ 432179788573124*c_1001_2^2 + 16109236491160972532155120487928190410\ 747150918597888163950787980401403338/123508810443377788650251162924\ 9858084534321802985415731652858044947143281*c_1001_2 - 1838947402539837198778714585363576934794846229908385488101608067429\ 246114/123508810443377788650251162924985808453432180298541573165285\ 8044947143281, c_1001_2^28 + 59/8*c_1001_2^27 + 89/4*c_1001_2^26 + 6621/128*c_1001_2^25 + 39033/512*c_1001_2^24 + 1901/16*c_1001_2^23 + 49377/512*c_1001_2^22 + 45309/256*c_1001_2^21 + 47589/512*c_1001_2^20 + 15757/64*c_1001_2^19 + 1613/16*c_1001_2^18 + 76783/256*c_1001_2^17 + 16279/128*c_1001_2^16 + 143513/512*c_1001_2^15 + 61207/512*c_1001_2^14 + 23801/128*c_1001_2^13 + 21819/256*c_1001_2^12 + 21641/256*c_1001_2^11 + 22267/512*c_1001_2^10 + 6639/256*c_1001_2^9 + 4607/256*c_1001_2^8 + 1737/512*c_1001_2^7 + 843/128*c_1001_2^6 - 187/256*c_1001_2^5 + 889/512*c_1001_2^4 - 175/512*c_1001_2^3 + 17/64*c_1001_2^2 - 5/128*c_1001_2 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.460 Total time: 18.660 seconds, Total memory usage: 196.84MB