Magma V2.19-8 Tue Aug 20 2013 23:39:40 on localhost [Seed = 3052655090] Type ? for help. Type -D to quit. Loading file "K12a1148__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1148 geometric_solution 10.74915764 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 2 0 -2 0 -3 0 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626032492743 0.696030724879 0 4 5 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 -2 0 0 2 -1 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.700051503755 0.713091203060 0 0 7 6 2031 0132 0132 0132 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 1 0 0 -1 1 0 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285657201656 0.794215222864 8 9 0 5 0132 0132 0132 0321 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606051281604 0.501742984462 1 1 10 10 3012 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -2 3 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501193737858 1.191527378764 8 3 11 1 1302 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472622124582 0.962065152033 11 7 2 7 1302 3012 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 0 0 -1 0 1 0 0 0 0 0 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.340071257248 1.254474794816 6 9 6 2 1230 0321 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.262222240750 0.882171620789 3 5 8 8 0132 2031 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.222735987604 0.905238842244 11 3 10 7 0321 0132 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.058078399027 0.933675619016 9 11 4 4 2310 1230 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.501193737858 1.191527378764 9 6 10 5 0321 2031 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506264882141 0.238264727354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0110_4']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_3_10' : 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' : 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_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_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_4'], 'c_1100_10' : d['c_0110_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_5'], 'c_1100_8' : d['c_0101_1'], 's_3_1' : negation(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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_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_11'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_3'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0011_5']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_6, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 9098777123561077898731148896919624305933246685616844608320268458585\ 5234973679661403724660871588924527872351911537220116752527989048976\ 3883846689543/26449231355859697592705182863984614159784118066597219\ 1590252218293837047066692529397419741819437069579212854216486370182\ 5859903500613907245150754336119*c_1001_2^35 + 1485087611937989194282344651391889984176940679389032082618228127516\ 2566386285991536314673478772530054566354371934811669964692040895562\ 534400719927397/264492313558596975927051828639846141597841180665972\ 1915902522182938370470666925293974197418194370695792128542164863701\ 825859903500613907245150754336119*c_1001_2^34 + 6958545235170004411289305064102252094683758873928988349465978687726\ 0128336851480358751417944101283907610353955847791683844498038572888\ 529937306811997/264492313558596975927051828639846141597841180665972\ 1915902522182938370470666925293974197418194370695792128542164863701\ 825859903500613907245150754336119*c_1001_2^33 + 2478202334913459361041036912419338212942799449053300100438705428041\ 7384292918152463745269065962679004709096704480871577860457436876391\ 0726055217650199/26449231355859697592705182863984614159784118066597\ 2191590252218293837047066692529397419741819437069579212854216486370\ 1825859903500613907245150754336119*c_1001_2^32 + 1138488268374138509251965114486457151702762955840009257288581475121\ 1859786465773705901158462382615701445638076199373786806048789930771\ 82452080094278328/2644923135585969759270518286398461415978411806659\ 7219159025221829383704706669252939741974181943706957921285421648637\ 01825859903500613907245150754336119*c_1001_2^31 + 3234216125279325479743296732279662566774318696907864113144941284261\ 7579174431414257630726653683507179847322628117350014103882459913250\ 80550802246878916/2644923135585969759270518286398461415978411806659\ 7219159025221829383704706669252939741974181943706957921285421648637\ 01825859903500613907245150754336119*c_1001_2^30 + 1084747856962076535798782371973143748182114835976291804612312327626\ 4114078282430739764273753191922098151691665118296165078096610883361\ 442805581861186468/264492313558596975927051828639846141597841180665\ 9721915902522182938370470666925293974197418194370695792128542164863\ 701825859903500613907245150754336119*c_1001_2^29 + 1851532937001380814430959222951635200317070320007220847733695894271\ 9777220575023488303217052170590352881725391275625637066579272179679\ 84870096911869258/1555837138579982211335598991999094950575536356858\ 6599505308954017284532180393678199848220107025709975247814953910962\ 9519168229617683171014420632608007*c_1001_2^28 + 7172230742734979367964778832971081256250912579346262626014361805334\ 3874380198097793973766175290384555589426113613589928262611148751820\ 674693902501206349/264492313558596975927051828639846141597841180665\ 9721915902522182938370470666925293974197418194370695792128542164863\ 701825859903500613907245150754336119*c_1001_2^27 + 1136927007264767180894629769850642116359988765754944427484648608156\ 3950488086549385255469428907486049733560157894183680033594597962722\ 871539526657342264/139206480820314197856343067705182179788337463508\ 4064166264485359441247616140486996828524956944405629364278180086770\ 36938203152815821784591850039701901*c_1001_2^26 + 3153783578574123196837149143974947109570640856268612156800456721522\ 7356579439774374482871021398586561514500346155942997824858794301057\ 8111443043649848997/26449231355859697592705182863984614159784118066\ 5972191590252218293837047066692529397419741819437069579212854216486\ 3701825859903500613907245150754336119*c_1001_2^25 + 1043689334319991695941616317005398289574390731855927507997870049122\ 4803277670596889817318143939532960021213229226620712047896789327898\ 92487945787316719800/2644923135585969759270518286398461415978411806\ 6597219159025221829383704706669252939741974181943706957921285421648\ 63701825859903500613907245150754336119*c_1001_2^24 + 6560803398464593688102929641827236446278631410051645437451157753565\ 7249348412267214090687308046850057013417343316642161669272721079384\ 9024951870227292598/26449231355859697592705182863984614159784118066\ 5972191590252218293837047066692529397419741819437069579212854216486\ 3701825859903500613907245150754336119*c_1001_2^23 + 3444824736546170142127301161009148002669948550758124754543004887554\ 2029697116858071674848462726404077540245992284327359697099924842785\ 65286795171052765407/2644923135585969759270518286398461415978411806\ 6597219159025221829383704706669252939741974181943706957921285421648\ 63701825859903500613907245150754336119*c_1001_2^22 - 2166604674416319219412737741760777424476882224433511227327239485186\ 6872060973253527642427290441422559827892919028013868678624483083651\ 51512807136526226155/2644923135585969759270518286398461415978411806\ 6597219159025221829383704706669252939741974181943706957921285421648\ 63701825859903500613907245150754336119*c_1001_2^21 + 6465227990810885783607776937976618935714810237514155098782399898486\ 5811161922519784427173000669878787021837409479139994289398683382697\ 77458831680726027644/2644923135585969759270518286398461415978411806\ 6597219159025221829383704706669252939741974181943706957921285421648\ 63701825859903500613907245150754336119*c_1001_2^20 - 2417464963838537406145753819657278695731309131136464775148961060091\ 8391847658780227889235453893979487084092358747000197170665941551510\ 64817039439702087247/2404475577805427053882289351271328559980374369\ 6906562871841110753985186096972048127038158347221551779928441292407\ 8518347805445772783082476831886757829*c_1001_2^19 - 6968042231343390524402001980636420267258225266455833345664258188096\ 0604341457045684174939856916899068113764627475177396515742555872345\ 92042414062849486/5864574580013236716786071588466655024342376511440\ 6250906929538424354112431639141773263800846881833609581564127824028\ 86531840140799587377483704555069*c_1001_2^18 - 1333449420966036131878236204173206922216104900456991310431525069750\ 7775221918326891427216592462310584306360285743837168011761672286608\ 6868189447367211108361/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2^17 - 7264581396758239407613184903175926204702823539219257055537419552760\ 6728415787673018077351844999429479778135316200506392772030577382699\ 734105800016250680753/264492313558596975927051828639846141597841180\ 6659721915902522182938370470666925293974197418194370695792128542164\ 863701825859903500613907245150754336119*c_1001_2^16 - 4492898845996809351579858154008180322903505367992295503237450157281\ 6472640663238284205185307574126597601302696969486611645407475832043\ 1487138003255532886126/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2^15 - 2959633675850201615637886439451254307300852221850546974308916121398\ 0204766037091856538198125911000756619662328021248537974871077520425\ 1099342321143748278769/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2^14 - 1117782963318435445087945001927137716370936209489841897711914821047\ 8661628274745098046571032773068105877422901626982393485895566873551\ 59463443981693211459043/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^13 - 7610185771530790942386031149697985277316925188395548775350735519067\ 7829811847534272642551488898747451937475873106171231200048552447506\ 0584482491301054671001/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2^12 - 2109108592530018088960880131590294655222126536545436570873264065002\ 3208495620822531786377899085031457725324617287332595258294508468918\ 19237010056023410068500/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^11 - 1405357672280500296790155392045509803643668487699290941613407686660\ 9877847493113586788076077003678725393189764964482664593970423128060\ 10789825200006671317735/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^10 - 3014342862959904822720411412117562394713595913183761659311728165349\ 9301150179692731552971601278837394027255985187780778848212232880490\ 18402820323176842318359/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^9 - 1912074077042855341771226318597223163208884233072655289501026882902\ 8215825016923826251747285579162226577989178680677686355318498596418\ 28212764609949825027248/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^8 - 3186737628888382559678017523007215060606479883763448827059945953089\ 8477214411905783906075510527071319787772180971652406930443600798229\ 50597855222418638008267/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^7 - 1889011375139660832097891495355019526060144301540512086147860487840\ 1438517245196961453841441990780611571974877724582154550749184867458\ 84782759043703484797048/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^6 - 2361370068167516155009763711409567357701032464012626257153724442780\ 3280146777812721185153625462053540483844903956134542097874986118284\ 71204602251454376531536/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^5 - 1289956109316333821570845683331599049659653659215901168078764639156\ 0077965197289076025745370847555229126792952443657937228859051967983\ 03795921608644028304946/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^4 - 1096186748649252631218776716919521128720876350418965248948751320188\ 1435673166584266712974896560115287528860087498619294200986467699426\ 66656924613752167129455/2644923135585969759270518286398461415978411\ 8066597219159025221829383704706669252939741974181943706957921285421\ 64863701825859903500613907245150754336119*c_1001_2^3 - 5467701304278937193265120771407052108019141846442675998804244929730\ 2125408828574243392313733126301185241510434106886132576830381520652\ 7307723676447862511375/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2^2 - 2394489892011246075104475294667361715229747237520718418336996210363\ 1797664634495255076161700567608997065811736695636345833529247949214\ 6444941521630618870942/26449231355859697592705182863984614159784118\ 0665972191590252218293837047066692529397419741819437069579212854216\ 4863701825859903500613907245150754336119*c_1001_2 - 2408909932526634268631663480474739891369282855479244282832700285747\ 5906234697994858190467368242536135193682946599537773259433720731992\ 3821983885376561514/58645745800132367167860715884666550243423765114\ 4062509069295384243541124316391417732638008468818336095815641278240\ 2886531840140799587377483704555069, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 23101833894899160345900081808578246813299261631875841264191\ 7896241941014784223965859689454231182475182276919831982663375857885\ 0032/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 + 1701353300077748835863735398553707149098350599\ 4743282553782279822451545652997040370787442735154295752753458839488\ 466331664052492768/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^34 - 7213438865130588311042189587077714883237690212552193956289414443568\ 5989839931463678563190807658757796209461120338771176254030769668/18\ 5462156125068443739384497192934870027624444539795641649935026185664\ 927234237287752322252319730285149633140743877383212407409235413091*\ c_1001_2^33 + 10934815793406171288771204059098145264076849144145058\ 8182470410900930140627656623170751891113956941503737895558866432021\ 53826576276/1686019601136985852176222701753953363887494950361778560\ 4539547835060447930385207977483841119975480468148467340352489382946\ 128112310281*c_1001_2^32 - 5072816742336265399250441894462252987790\ 8179129921009486070934178892944776039632663394853198311060551758103\ 3362458875606872117620462/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^31 - 2986306402570876464569205543299157781802964717075176017490441050912\ 392652980565496715654553943090752690123800325281553077065981940894/\ 1854621561250684437393844971929348700276244445397956416499350261856\ 6492723423728775232225231973028514963314074387738321240740923541309\ 1*c_1001_2^30 + 269553939136245771549830218684847097325454750768037\ 9082771680452238554286974045973086476777185618652364653642694178573\ 486587760824282/185462156125068443739384497192934870027624444539795\ 6416499350261856649272342372877523222523197302851496331407438773832\ 12407409235413091*c_1001_2^29 - 57994779960332464616095462211065607\ 5396071087957390918247331142326889626991817362032276420967621861272\ 40094508893601168806888086766418/1854621561250684437393844971929348\ 7002762444453979564164993502618566492723423728775232225231973028514\ 9633140743877383212407409235413091*c_1001_2^28 + 6257239476206368301555003290442460580906733354539258682584378216732\ 8666452708974991611850636558593146865040490274515338385007444694625\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^27 - 54571741885327434907912232918039901628833584353777\ 4022903188050947846169490959355079743557603904721355133836636220954\ 388939538436142173/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^26 + 6028778495564870096306462861564362677926897405255909701090913170216\ 6469724469469826480879029098795126330141947096238408074215568189385\ 5/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^25 - 3500410303455858320816937098563949865638449696961\ 2869988959035091214101014273359004259501990698314986594259256775120\ 37799684047173219493/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^24 + 4331993443443788679320931966927244494851420294569735220070762799892\ 1643427860393079696905379600998131043250236954510450123878639971445\ 40/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^23 - 167368094557119248001163789912137116057554994065\ 1982017836904292330505394660278471771061535961331774481001485124389\ 2200385154211322792740/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^22 + 2489254644028312490356386095462733487423496849602238333623676100507\ 7898233286132098283311207021783034889771332838262623065482555725170\ 734/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^21 - 61466500803801143738558729097825984921832402591\ 8947210760196260230883947902308877012675705402685439222920661749903\ 58634590225545232867910/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^20 + 1141091552385804832012633451970816096457641872560025785916345951234\ 4544968560708778437805887376604257596833287097707488979057388496239\ 3076/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^19 - 1578793995640534837575233724689594467008176167\ 6357861656622140404502378438676516170416094437950392200596382984815\ 286765224770690079338675/168601960113698585217622270175395336388749\ 4950361778560453954783506044793038520797748384111997548046814846734\ 0352489382946128112310281*c_1001_2^18 + 4150909481178478584957739140351659330706493837516333201406357219697\ 4947950244332826903208879288731965656785604754498976257673823330150\ 8758/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^17 - 3687948112294526112585073123246911922433408939\ 7363946331327825031683897042315936347514886584483111426943625186904\ 0367642197414025785292589/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^16 + 1197332821295066323817564722091078684115965221794762486216403982621\ 0564958186101805013069792450916534519122443419709362223730366992781\ 91022/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^15 - 547751504345432210583124870285208384873553001\ 9308169326234599848704153734885622392459145933389344682924704859412\ 39643616000693337316009916/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^14 + 2734007652985194591620502147380923624675158336898531284526803346901\ 4145740860038832100717191796466753528346719811463723997711056172338\ 87648/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^13 - 425901179756790316027123223595912505761450517\ 9661700403185407870375968040564132428884782159607747804875750162288\ 88882997349814026381156326/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^12 + 4906588520659668960060413715359977653957581898377574500410536431632\ 1417819277209888139987282216937170526970452986792979766182960442898\ 55401/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^11 + 302164205955103612629759598765831103156324509\ 3805129604537258382674555516002303603693649136576392306413256917594\ 76507412793534828215417079/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^10 + 6808865749422867168907583702427848571557673868176765632523439762201\ 3584922268814903058976115821625105584323431293174165133385842184848\ 03219/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^9 + 1513042445499062040664577109386257881464534819\ 4470633987806743845653063849159864246752465076433729989778693332392\ 36470134381703221958232909/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^8 + 7080937819962494345471011665449377350437838019055138399924648552817\ 5789975021241770604315751315036164488228862015107454482242283797030\ 90578/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^7 + 2434078363460383094683816370243135980227958333\ 3863603737669791078573142146178253136880796751349125865944498012464\ 74142564499114493675785912/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^6 + 4732258277305315031120179138488216406563344433396012678297016253916\ 4074197286961679289873091492381944001768503614702387347781746357436\ 9174/16860196011369858521762227017539533638874949503617785604539547\ 8350604479303852079774838411199754804681484673403524893829461281123\ 10281*c_1001_2^5 + 228311784570833522580242437601609976491511554939\ 1301415576420925232746422508566654491043918410472611207396334856991\ 308842783560828582693440/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^4 + 2410099642613984083254724394306738204159022820988364079905035058012\ 3278009434850162482296402141200538118023903934266104742780661748226\ 63432/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^3 + 1244603006763240780034430907472841140351871543\ 1476030167815379437929936283462614959144577117114872632441070343791\ 68065307421466169531495505/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^2 + 5268093368484664371564998197910690333416148909196623449660642987524\ 5110720530179127314839040049516064715445222039983574609176759036705\ 3065/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2 + 3078236736270927016695245316802857975612827840707\ 0965091152982450857293752712889820101096044494051686306386928015654\ 4709934745159261804561/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091, c_0011_3 + 102613790201505480986943907456427083615646271597268823212446\ 2165913008796936743965920312396635137701249442005163318747353770691\ 4483/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 + 1373557624927271864394012224872096424367878820\ 4665836909682438796680557583779558091494176193609279642986836865938\ 7737064041909345469/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^34 + 4305581977360162108537371247287442290930441979765217019687884975849\ 09737266551770047028805068767320327614070148479556532272390989963/1\ 8546215612506844373938449719293487002762444453979564164993502618566\ 4927234237287752322252319730285149633140743877383212407409235413091\ *c_1001_2^33 + 1957087484018325420891190274587883902370571772508988\ 8400299892843064785696590144607886316751349820718990574834362559019\ 7112230697061/16860196011369858521762227017539533638874949503617785\ 6045395478350604479303852079774838411199754804681484673403524893829\ 46128112310281*c_1001_2^32 + 80977454029569132036515633064738993940\ 3026851814087371268910201487744619291202761094010586546194240465341\ 9859000530763773786933846189/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^31 + 2132724657788097490162749859046260958939062737057523538937158979479\ 5310683902457435956359229345767646879997659460894487506422710816743\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^30 + 90340225242921671432748468429567692250651868507445\ 9356406052072312271356350676711742954372428211639290420279283267390\ 35398374442279333/1854621561250684437393844971929348700276244445397\ 9564164993502618566492723423728775232225231973028514963314074387738\ 3212407409235413091*c_1001_2^29 + 162299302203901319236103560292253\ 4277786240247357439537672589872374418673024407570839011934608353239\ 80395405898337814147454183583051068/1854621561250684437393844971929\ 3487002762444453979564164993502618566492723423728775232225231973028\ 5149633140743877383212407409235413091*c_1001_2^28 + 6811134262193159869620722336494381931332876917898112219108962646811\ 0405574909108742329100643022003466400172326115143166420461622141433\ 1/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^27 + 8822604414117400845598784438713221509292017443871\ 3996979281900236284925646399509391545128889139811672476224453781139\ 7882728761145701022/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^26 + 3600078229622770707808447932851598186445630609914347874787278371054\ 0985481432261872193273425461898390267327682530825569904218527526883\ 28/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^25 + 287796436120499692888230879938547903576502899629\ 4742067653508327296240981145233032543836365136976090169159670689400\ 066571063871555264787/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^24 + 1294204590566028647106634557592167962085288700325140883566852482559\ 6653117206954421362355337469439256998748320826048629570210181250361\ 962/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^23 + 90465450207095592852325802265439696177617275433\ 5702107035429735272145822813895551832304452491132422760142835406031\ 003875667218249544991/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^22 + 2577168701106949946584302731266844756618011640450754901612029339112\ 5203675481823652232769919491937895922495445350285502453300950574122\ 104/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^21 - 49376968432806605811202039528396022209475437519\ 0020348530533453650276727882186292206639755401030114825548559961497\ 50731294957767151438249/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^20 - 2072700013036601673685524446292452358651985306762385133025761008679\ 1955823542805890951839993309428075429982786376842467511383361149228\ 273/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^19 - 29582718756933299145355799344655117269951822040\ 5709805173379198214996869821466227558336240500575318588748872322596\ 65648645892671894436872/1686019601136985852176222701753953363887494\ 9503617785604539547835060447930385207977483841119975480468148467340\ 352489382946128112310281*c_1001_2^18 - 3861946409252788045262380797904109237976134091663431055215975365769\ 0316828824442590110100747821915153241148867070761698437219911979547\ 2931/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^17 - 1270551358319284580217586625947297881030862441\ 4439665668450057337007157531485849282197845570932284049593240932314\ 14750669450684945634557643/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^16 - 1673730220413003386135962600828094008328494509998887221046892342766\ 7675996881678451170478238652657697448772664656796483139910939438165\ 59946/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^15 - 354634499921892581958823013925561938372871845\ 3897319301264838066261751158060877634498743610655623235956378010822\ 454112118350237200195906784/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^14 - 4634032824410815895675183176046719520063682872390622699314051630115\ 3262001136388255046063654159051863694829997962548802536652112147885\ 86863/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^13 - 743938037414767976694481391339514380860792570\ 5587449779272185231684652008964368401070630629243898952748394580618\ 075641561614711881642558930/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^12 - 9247896626417029645399416802892121454408156424621618891359691716590\ 4900375317380623396881172330684084826140619614793905783160373289641\ 76125/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^11 - 118520303879141890950137118761955267653884117\ 6573054613517380286721448744327046687660889691299134547132884588642\ 7100360347028697579731319000/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^10 - 1364125327503941850450747705288812046677005522787661576832202919995\ 1214192976542335638173856021160778401739304650128015337105155566189\ 606550/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^9 - 141616027471679304157237287768557893309855056\ 8278019042348039292117924671054620216408380822191683459577486361999\ 1120663818649427275242482410/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^8 - 1467239228462027194442707061730313006208033272835802267937343731205\ 4835070788987171844262434958085247798125268284441634172121080604227\ 747730/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^7 - 122445873661112397521147352285094583181786801\ 9900082627589947817282085622935673506173785158720253278076562326881\ 2611672242519965540327488422/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^6 - 9959958850861201320224187125446262388869852768383039032185449268392\ 7299889980621200390152004742133100822315627076146656651336561857440\ 7003/16860196011369858521762227017539533638874949503617785604539547\ 8350604479303852079774838411199754804681484673403524893829461281123\ 10281*c_1001_2^5 - 714620234655382610305468367251198367267730703782\ 6984389150232144732324890755748898370381235651327131486666715593612\ 396273310262583762900728/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^4 - 5090586788163988865765286893858711414092855217950299597802551169898\ 0097388639307725034799328188359319087732588719201251565596675915230\ 25072/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^3 - 2459926190644478540127812091847974566052679959\ 2061554576501418007988980562849283758358368970569463262499916971832\ 31783895952781070528111499/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^2 - 1107739363174799756577626638809021138325513250614030452529028226929\ 7214996860388076720680298125586011345753058270274556173218973839144\ 25698/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2 - 360454573996973406780238722389943604228799670350\ 4066267051411335309695379157096642840605803622604064596226598278224\ 36193861648658161905211/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091, c_0011_5 + 235911373740607985892362827494660852056553737832518455551155\ 6432939908389461018068584475059072922084525526271745372436022125603\ 3593/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 + 2887678395508437471802768609104373905279097168\ 3179397665279793387486863690374320398487635524552910054965231662638\ 3989009200653889221/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^34 + 6381022946975596806798736704339703204693893042189437886245276374572\ 21165347260951880442096951250265201138838346701476473187291937179/1\ 8546215612506844373938449719293487002762444453979564164993502618566\ 4927234237287752322252319730285149633140743877383212407409235413091\ *c_1001_2^33 + 3597507265468207752268880516588934989069197640325053\ 0750114417688016742213849816339887542102840504217862315593490411870\ 8444747509062/16860196011369858521762227017539533638874949503617785\ 6045395478350604479303852079774838411199754804681484673403524893829\ 46128112310281*c_1001_2^32 + 13528207119384760215251486595578118944\ 4145096944093301282934767735717357561299136914507908507242505576685\ 52189618042367943569924997007/1854621561250684437393844971929348700\ 2762444453979564164993502618566492723423728775232225231973028514963\ 3140743877383212407409235413091*c_1001_2^31 + 3060954223096965377361743529224841895614087630712041449087737358976\ 4424585172636669630307597165396258250935018846535750689492103963067\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^30 + 16167533900271268634727843264712601092246972083945\ 9133761002952497027344905742470397413478243141386809114446106156371\ 095644929096952561/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^29 + 1672967908291461221137452306180971557048566812512753809856784545787\ 9557239922278877531698976874984534941246965712450534297590577447951\ 2/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^28 + 1257659003055914736499159264497067825097484117721\ 8689043726694763552562473930306879865967110754074645246184620431035\ 11166359940627488714/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^27 + 4842596909850576989845300641675808603269123866706296604744191768842\ 0723465220110650532453427849981782229445925753135716282527866946394\ 5/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^26 + 6920286101320908442869985967664880363398946728695\ 7102932786879121872750091720481949482345162619831976775896873847446\ 37140808752817371328/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^25 - 1508764510931774217060574921060115338565363943314230430589502491507\ 7244611717291927096523123085579816213101745081079265126984782480001\ 44/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^24 + 276750999433316188118920293373072927943342093934\ 5444587871642411835647868606271452158087944954818205176404893373652\ 7775292249957139238427/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^23 - 2779714925842822284270937772957364915813168405315490587145075913869\ 7127503214716245906247646875772211271281333340831907506431549459480\ 776/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^22 + 78586051998061483350040293922865208207633300178\ 8680237347739926940017391376690332721700223207708091549569146083047\ 80496714731405868881791/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^21 - 1832785644321000505666685339028866960535711172127101762705719224587\ 6995270358146478348225319918092333094256792458600860060675346072300\ 0274/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^20 + 1366049394742318457370268975184688220697240617\ 6540122046662148175526153054172601411008892382557414018781226096288\ 7128791797992789974004152/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^19 - 7231463187592993310510110170622470658012060563369327222620330770661\ 2550087562171103382107295939794350915096140955661476802120161555154\ 340/168601960113698585217622270175395336388749495036177856045395478\ 3506044793038520797748384111997548046814846734035248938294612811231\ 0281*c_1001_2^18 + 976816898010556897469343678947241185797740716391\ 6638081937159578702792188730512549869359731220514150979725485907447\ 945401083705176393652/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^17 - 2538507801540139943062115569079169792025276040539119546818756949655\ 2078759174264936109104708665145661225053078733664153080065069145411\ 36867/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^16 - 824781874472066818854822353548958280910398546\ 1158036099772192257179819281215919026160369517467616158202430265087\ 28143066790887967805382058/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^15 - 6185679499798880637129931516776040927792588261853622510660701171717\ 7545794841622219404614320302968908319158991004054079549336997921080\ 21437/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^14 - 308609903072640314219825614221498574928367017\ 0333273115307628228394484938005603811408497917505104361747024741030\ 714873085431911819048750477/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^13 - 1163385127261617530781739748715105851058974749788292199421462857684\ 0728563384642705985336811062617518548098456499520684353484549319281\ 730054/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^12 - 68818919215018616202072192616252286477668435\ 3986191475703328125786711326340558203521155194960212443938975328734\ 7793253973554117566255857842/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^11 - 1678418932255633607906739763488689942366179073253781549762975546139\ 6410265300721444048449648107888580613625902314949388860048194647936\ 474725/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^10 - 10695322155858573006665144911632886884885437\ 5048183812715322677567324339609504660358324808299861044732898305974\ 30271375187290393446845156360/1854621561250684437393844971929348700\ 2762444453979564164993502618566492723423728775232225231973028514963\ 3140743877383212407409235413091*c_1001_2^9 - 1814656101492069480792466696055272046017767919064376579176773901054\ 8507948215322714958476106278714071335561139226486433076105747567594\ 007290/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^8 - 118236866282121961389632622788663240750650425\ 2847640298672544064360353729912809780968282219982342224476309930558\ 9195129961840857302879061596/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^7 - 1402037764929574163579808305027071176897331118432027578058086629851\ 6907935107787656958050394804241357356231429759644028047578243742526\ 779231/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^6 - 816200379720833200358780162802144936111780656\ 1776911640255052627474569396488158502276878883758479436182165132095\ 90121753788446177295228469/1686019601136985852176222701753953363887\ 4949503617785604539547835060447930385207977483841119975480468148467\ 340352489382946128112310281*c_1001_2^5 - 7071393666799639438289561156337340224249580114617825674214475729016\ 1912822040020639801845938816419319044868732499129646078722591330558\ 20918/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^4 - 4231514771580802220412231207126972151909120232\ 8564746916124023261761990687267049873618649904200730291548023806266\ 86961405944401476971112313/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^3 - 1924603752489385576462894990881527917984120434831540243695876082263\ 6703560193899958763141790984264107064000454601759197002754433141319\ 78797/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^2 - 9364695876770378913733006835686651346556566675\ 4945093309055201344897746682646678794104699028455029959936590923078\ 6829985562463973312693555/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2 - 1585260501562512381194452612252800635774335256567129895506467561373\ 7640226486745857561932770130202552422470188831382386152505522355128\ 5848/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091, c_0011_6 - 171788758079265346560218579959614070973029760572995164118478\ 2018677423662931593638664578686988077373032971111391875699982514294\ 690/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^35 - 12577745475671624776046072627732243025803011870\ 1363970180390250588318291982460397087756070637388602567950087891550\ 79781001778011148/1854621561250684437393844971929348700276244445397\ 9564164993502618566492723423728775232225231973028514963314074387738\ 3212407409235413091*c_1001_2^34 + 545267645494530713527054513875973\ 9198261730341731846614230627108825218682396819091605946386379217471\ 4453976939108300833884842301570/18546215612506844373938449719293487\ 0027624444539795641649935026185664927234237287752322252319730285149\ 633140743877383212407409235413091*c_1001_2^33 - 7969332094225315682433658668749257523559464871937272263176925951133\ 547987226898141333964147996643695601387461266759020444238265094/168\ 6019601136985852176222701753953363887494950361778560453954783506044\ 7930385207977483841119975480468148467340352489382946128112310281*c_\ 1001_2^32 + 3889910025807538630043082589190540774584119993146654171\ 4862547011260127545705320210342820208251126111109419306395899751846\ 5246768918/18546215612506844373938449719293487002762444453979564164\ 9935026185664927234237287752322252319730285149633140743877383212407\ 409235413091*c_1001_2^31 + 2259726373250736236973673517622709265539\ 8952037156054008868606485525555168462898234014727326124245241840471\ 93567062267910197868314898/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^30 - 1919795156036694990351593735229811808607365962512171249003220311680\ 678064724410507361864592044157691959719643428223516011117678022498/\ 1854621561250684437393844971929348700276244445397956416499350261856\ 6492723423728775232225231973028514963314074387738321240740923541309\ 1*c_1001_2^29 + 436021336296737372343410425795708087890300579682008\ 4959267093317072058538808864967577023366220730924378374004994121625\ 1281747279962854/18546215612506844373938449719293487002762444453979\ 5641649935026185664927234237287752322252319730285149633140743877383\ 212407409235413091*c_1001_2^28 - 4613534323662228524722689421179244\ 5594987073886223699821143618563131828629612968212963510472073414264\ 235555615302803160308404526485960/185462156125068443739384497192934\ 8700276244445397956416499350261856649272342372877523222523197302851\ 49633140743877383212407409235413091*c_1001_2^27 + 4095552662903576744589641550264196417416285115645954071982581795515\ 7592847948546669994004706776869816449537741960459859290113288271243\ 0/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^26 - 4478071978623277078123507181011844726145324651370\ 1664377104206283184489162146802955689203865922142402477245359276485\ 4970907354029459088/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^25 + 2623928951735779334602608879190581925184679019668801349384629699815\ 1393716639676330900898514327983572080438945235088248926491794255286\ 08/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^24 - 323165467598614041552905964475188238594159367443\ 2918320696639212295680131035331504150421658250159720554271456668344\ 498818118828086386146/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^23 + 1253246361123689467570738800473314218965573073521827485781415559593\ 8564884831867579256885725851550829263388684623715013427132400591295\ 644/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^22 - 18619680881313351136310187953363254226867484789\ 5757578470532115955196487991324372255609310035327301966735277442785\ 70181344991099384753186/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^21 + 4597411690709428427333588186520070069740778571645081896625366325338\ 4047147058179350088179542446114977554775159593290202280999350018478\ 068/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^20 - 85488970769481365143205423187243995995601805220\ 7824968895800314489101705444316905758709256040880623692315939341628\ 13322208261658357581880/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^19 + 1179318652022035067887001234562928419532466685691499336969441395331\ 9340789453823061807320243803634183209067792886094353990501157423306\ 012/168601960113698585217622270175395336388749495036177856045395478\ 3506044793038520797748384111997548046814846734035248938294612811231\ 0281*c_1001_2^18 - 311263899745063964669290862826311713912642689994\ 0983538276834678826523353445693696276370769281495503689640516396683\ 76232415732187813055142/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^17 + 2749809128100138513476611824778879596785454866380981980411442240423\ 1565316321617430133071276616564169170661859180489304869960799010655\ 8576/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^16 - 8983146121855606653441674229057385912022832071\ 2914464745895055101852783245866268659860726988774225735327720695665\ 2761251843834181815203782/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^15 + 4070390277030639772012808966097760344075806677102598791197629366772\ 9375421641442488468647596177621356680719761012005035186083005233516\ 7872/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^14 - 2051835899717783351760570635300977975320257715\ 8359009504951067525229464398997210061536492826621853485265566014836\ 95868321106835604023266922/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^13 + 3126660177757583982579322459183541858769537892534357506862754492198\ 0482925501509113296933486443330492170548223729597068803168590385557\ 1392/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^12 - 3682903878156621174693641885552004898395754975\ 4175851485393835440808465835686088516523035432159554750431585168420\ 94060271771742949143567476/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^11 - 2358094355144163826997054225093812079812501153629715469718141023335\ 2414674971928696592229683189652477159830823669851143905487678901907\ 9686/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^10 - 5111056145674465416083215572385511037312092323\ 6348651617077435150763039925162361101810612031379866065974624324123\ 52106911508773884368409559/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^9 - 1143971327589733779315546568740852868317481407809443064651275172911\ 2027411620847711779900195778310714488773017685656974165760743648689\ 03045/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^8 - 5315145115015453159564811809946388390183534495\ 7246200044146682531688852927843904936880854275008025543747807289243\ 55391766080200834301946284/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^7 - 1831902090463166613277819078740022697003200670629025661502092827513\ 8004126814851400591577830446001826205492860059410160366193813319799\ 40254/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^6 - 3551743262028250362474415637761520680089831233\ 1390707220308046980205924478467389763314916903816853774290171022198\ 6785240984822400272505002/16860196011369858521762227017539533638874\ 9495036177856045395478350604479303852079774838411199754804681484673\ 40352489382946128112310281*c_1001_2^5 - 1714938373722460140960263461881480870634980620086162370719356389583\ 4367362658332452512520125889182253182632127703208462048068937933521\ 76116/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^4 - 1808472051276610611081431586795117653313938778\ 6635140741626819580232538045483485033263504824585256725737895777622\ 07550749235510469880804858/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^3 - 9338012598953732323157750397317054442752817164336074850386943411177\ 1154006791482952661290793864315259769008158586833882320320218234096\ 9974/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^2 - 39523469580433072338690852214405566781583756251\ 5233417492455742335424775310509401480667378571634913086427435008895\ 405848080754640897137346/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2 - 2307672747590646745960238156479673286742615339521308207158001939905\ 3218902750280162471658679352297438614587392167458143900836786580798\ 3007/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091, c_0101_1 + 152593073665292072723276529409977167649411466170313292622355\ 9259545885353323145215668947096467231293823537194249576039170254300\ 9800/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 + 1881745547819129096310499934698984766895650275\ 0293778560808207659065758818365727206875344814174608108618194935617\ 5347247608006923148/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^34 + 4314778992270144266596113166934323984064188591040350781542989956994\ 32451802416297492399492443644994074636330155678906511834049487188/1\ 8546215612506844373938449719293487002762444453979564164993502618566\ 4927234237287752322252319730285149633140743877383212407409235413091\ *c_1001_2^33 + 2381013857000872110794932301270953868627193708388476\ 7325414487457358743693921799386213501632986038531976396360952403923\ 3063166924242/16860196011369858521762227017539533638874949503617785\ 6045395478350604479303852079774838411199754804681484673403524893829\ 46128112310281*c_1001_2^32 + 90392490019909786643750185797014894698\ 1868807864265928029783802499576883494927474536666319205927830642518\ 7772238762360385031529285830/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^31 + 2086005578294359848460559574070045256562869803146115275714290621395\ 3797323893586831278305838949732088129760229624648969009160750004094\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^30 + 10739574872903995863250381263272840724223688702972\ 5397974554875296229052027183786811136428480975402763275847697113071\ 181495627102714906/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^29 + 1199113279797855332847662365316612998444737340121031825458384437969\ 0316068848477593000076813422370734818825118755825165716543473416632\ 7/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^28 + 8338334318912908644534639454401349923423159989681\ 6183431640087357633132794366327304762035132156462505468701404083439\ 9937522724893484021/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^27 + 4011093545460374471830501134738118313849640236935279581794270256637\ 3769439776347275984831564584067769742508780801846442178256677552796\ 9/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^26 + 4575981628051087814303634167265351859558039832191\ 0593595747044105038863425837302519191503509714936839925621115661720\ 66284566703691241037/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^25 - 5138275985800696292922038223901701650226994660225190025212777536454\ 1153680934936490438717879626619936094545500325140562446011859609192\ 8/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^24 + 1814298273879655674974701084357842103043394552475\ 2448753225670008637811218918869833583156015908093970300551879736482\ 206773127253114395628/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^23 - 1630813759650920551892686008012514498330352802657925945503316329959\ 8245488403999339933880082037099138857091007532083148238200774693962\ 286/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^22 + 50198089009832653505761398735665908539762899637\ 7778540220197093894305342794352263544904415797948511488115163524007\ 96638813619702426728286/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^21 - 1149161115338415500724375999324905753019955196241648081734517624390\ 5196413398019578920790468120130968007804719398437041931290623570369\ 4551/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^20 + 7897738920685188981035081721703331517075842368\ 2782231979514744128767774859991404192593613112560906531864911940348\ 360538914009795232218383/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^19 - 4672578066114624453173239725345511586243457154982255566036420514966\ 5653571463868523869414135581508939950611762220656228905011272867556\ 228/168601960113698585217622270175395336388749495036177856045395478\ 3506044793038520797748384111997548046814846734035248938294612811231\ 0281*c_1001_2^18 - 440538147414491474661855354613851799413503864520\ 4559061884070313974039832159797994942117877759382279654178787826432\ 2944553940117484690153/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^17 - 1672997832650874358555643137991695040050535066091449621962907219197\ 5246143414154340993371988519545608892913133766833530549726699795578\ 90073/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^16 - 711826524054808675092098592911487490639407068\ 1938753624197689526913149057209480053062846641563958154347547021154\ 97238991789888886041510148/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^15 - 4142068648546012221357281668260929297315366352209982796333140438254\ 1713293637517113594409965472457369003714505884126094986368689881866\ 63456/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^14 - 245822685713215012926027711432144339467086019\ 3036225603021666518095892234753578240943283315058299223763743489767\ 648181737706366613646417898/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^13 - 7905040409413431784219608768839740057631100819078274984248125525090\ 8950491728976813330222087736943254775429759925424923144993592883356\ 39411/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^12 - 535411632257571823779482212050952736408444256\ 9000986267866084014327570827591632004989399987869147856937268341308\ 848760355332872015286251751/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^11 - 1157553537636667793296393223918628123166606236397487034590791460254\ 3806249182334336084259554152440887966469470039880890280510180958721\ 136343/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^10 - 82482601113110556694347534587142800316633444\ 3070726774202665281277051408076707083920009076514633815068559423542\ 5976470139384275145675061685/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^9 - 1272544463474078226996890216535511123392316971505618564484092683606\ 6405489625253948367830444627966414001416852448134934134695252307906\ 811136/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^8 - 909292546089812897595083438536928365175601158\ 6084936590124359838933677417196936117660064115522270492305313114839\ 705033741146947009415330096/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^7 - 1003921373669262291219285134918436264428300089507965654803265900666\ 9267449978367111506858825601972409409163090804252852949417707237203\ 702526/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^6 - 627685832203300554859905729864799582397870891\ 0514226614152603627400649541481753438321029115027722317500237358421\ 53796130550106957416346224/1686019601136985852176222701753953363887\ 4949503617785604539547835060447930385207977483841119975480468148467\ 340352489382946128112310281*c_1001_2^5 - 5220439075603694436711283519515659350375206914387020044907254542693\ 2983298361613655441239703352372391869009309922891725167317937027405\ 89191/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^4 - 3257977289878819011284439794031899591264149655\ 6505926722575367481686477102620965907590647141927893192509873698977\ 10300707499449198045307655/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^3 - 1505323562198749900744434295884947090178623778100297163116645697569\ 6764289681618147213716753667278294584450337973915153177295828621534\ 02840/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^2 - 7220378180983547884353815696835308536039823063\ 3344455195872855604784991934536445984348006766205248990378559984645\ 5373763430824334220269991/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2 - 1499380807792231868607944013863006241927946608982363948677710531586\ 9219783773643774690709721577355980710532667793872852871127212085852\ 4900/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091, c_0101_10 - 12948552669703164836641677581995196080669925788057558384998\ 4170208210070631781026725830447130914213135349313096163633809235003\ 1920/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 - 6365139385674543961089895507501182465480946182\ 2772226869021789462429778017206210622477911301948118606912519476308\ 66367769632644806/1854621561250684437393844971929348700276244445397\ 9564164993502618566492723423728775232225231973028514963314074387738\ 3212407409235413091*c_1001_2^34 + 814651955697867610866824973136733\ 1506715428069668562557630743436064502376074686860285495544801457050\ 2959003973857927695905473613442/18546215612506844373938449719293487\ 0027624444539795641649935026185664927234237287752322252319730285149\ 633140743877383212407409235413091*c_1001_2^33 + 3959127226517225090167793665362094116319182271401051826277125717242\ 920275005067577394925967347641831704860182085066559527741774328/168\ 6019601136985852176222701753953363887494950361778560453954783506044\ 7930385207977483841119975480468148467340352489382946128112310281*c_\ 1001_2^32 + 8468965373394809143232962451400969103593822514787049408\ 4887506701922506795023038909992128012669971502915533544368922583519\ 6112683113/18546215612506844373938449719293487002762444453979564164\ 9935026185664927234237287752322252319730285149633140743877383212407\ 409235413091*c_1001_2^31 + 3744773534917075408493198272310399279655\ 4729514923761391990823460017753060983921884198589683671201972956315\ 55183446763828955460617050/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^30 + 3381126987891145052638789813185784649248125150456889027153234412931\ 383122949518134278483105757871181031809934675045511589864653912545/\ 1854621561250684437393844971929348700276244445397956416499350261856\ 6492723423728775232225231973028514963314074387738321240740923541309\ 1*c_1001_2^29 + 551661597005484485332546750458186444775986162474845\ 1544584126992298564720004967805470612926132008705867359980984846496\ 6000410621136769/18546215612506844373938449719293487002762444453979\ 5641649935026185664927234237287752322252319730285149633140743877383\ 212407409235413091*c_1001_2^28 - 2926879853760474101853597144661150\ 8390926392878656421204666328655627174064582393233224386794955815198\ 13682389794934044199606879012811/1854621561250684437393844971929348\ 7002762444453979564164993502618566492723423728775232225231973028514\ 9633140743877383212407409235413091*c_1001_2^27 + 4706269416400196352263281726554458284530021109701877404253947347782\ 5135229307779690717315210968942071358452159403466128638513615304106\ 7/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^26 - 2005675998837394936544189606751302590561257744877\ 8375023332656179797437185377501498046297597324901387391871035127493\ 3097239989798046176/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^25 + 2795573806790060990119945721565732651339491410081460847869628321115\ 3368939862154066987094456539982529342084227974767287167018630573935\ 16/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^24 - 224664894446172410186963052967688880804757479568\ 4523495913633801456870737681086674127028051585174983591808868185916\ 454519377547015328401/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^23 + 1227078335935780605950040304326441324530545499230774560569113199665\ 1914508344395143480548265165577154993667882587685513813683189087743\ 830/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^22 - 16064517771591929158672084152054584239906645056\ 8546908056302989059759892220459495357982816980680014473742082615801\ 23941996871253673908809/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^21 + 4036377685405886106701559221627010642616418260809715341578980431590\ 3502820924776742545825214593573639151976966045065607523023236686344\ 126/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^20 - 82623414205566014384066679921065965533205843587\ 2231476083729946763928528994615148987493409851651161051001200645062\ 28951649265419355972087/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^19 + 8825249446339690423429694365423128810657408581362027071886530045090\ 9650643190394383134764324536975816391967538312410626345116799256658\ 02/1686019601136985852176222701753953363887494950361778560453954783\ 5060447930385207977483841119975480468148467340352489382946128112310\ 281*c_1001_2^18 - 3194910145057017157498004296877473650238595740612\ 7061641273897423430010656217502010574245351929230732778572580713307\ 1196693440794166150433/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^17 + 1535077561612658608272038466892115407702020946082007554529376189626\ 5706673556407640888532791062506515342324148085586454135763964794483\ 7237/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^16 - 9507496400235329876410669489728201688235419868\ 4944444891806483646368796744596144898074167666417280717216944610557\ 2293290136353830708586079/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^15 + 8129222019547599480473647386577297367902106273343452046131678021371\ 8192815391729291170641035533793623875510172003051106212121965906796\ 432/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^14 - 21992004705341302884594841393621808169485400894\ 8997734690277427973780959828567900240589028254074244897856343062009\ 1350080664850793620224729/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^13 - 3368774123613153831249702500291230008762606104684239956801494707479\ 5135550611333937429583394678962660367563635127333983755456469132992\ 3993/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^12 - 3948373310491168509805138793660064651480160856\ 2721069415992820519867880198022143336069156945128650872391587093132\ 16611081570961410053153208/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^11 - 1195036226979476531208018365999093251418942748833328865015641518251\ 8088927777119651546035644249042751235755758398567221649362266455737\ 49333/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^10 - 542737678824418543419656548689161036957939152\ 7804053108206806514382811831244590643006972991465185619005759616054\ 159046447069796649267589629/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^9 - 2155997844472745113166137293381658858038507285664320821479835390683\ 6197619307461104234367565365858707264650488751273769778058392459172\ 50102/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^8 - 5539359148609283773816531799656337615685214967\ 7584011092603055952882879826424994630258148022943747553300364355369\ 23072973614552582453086867/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^7 - 2526121114250632155409838629654352159765291375780377953913896154527\ 9636702629093981228915277667593050653202009293209372305394056901888\ 83870/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^6 - 3597229932408115235442467423726205023486240821\ 3117302751065603517182509684519525013794096124688354161026426508822\ 3160367837654065021692801/16860196011369858521762227017539533638874\ 9495036177856045395478350604479303852079774838411199754804681484673\ 40352489382946128112310281*c_1001_2^5 - 1943981075875025752456612117432702297746886989053096886935742690493\ 7655203509594465126568707254806193590429296879472819649902323848842\ 98650/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^4 - 1760686431068399439868906215375240469941025863\ 7498240510178841565351127541016041304211364029578898101336284779589\ 61784633952172361363029772/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^3 - 9013318114936152038727750122763267101834556568782186992476838707401\ 2786769695419329900364862125479664129278568577609778574545793763302\ 0885/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^2 - 36578305206150365452129563081945836305008435276\ 6329777496824626196373593404842221438455447356763492173451225419038\ 147403705034850982468179/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2 - 1915839250527111743933837216596949509500422762434853644170394255379\ 0204406367336960676495274683006022900577236224462530604486063585433\ 4784/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091, c_0101_11 + 58830332299121382082018014577007248399976768848089648090555\ 3256548438252580763697442216894542940547770547831720756291649032471\ 4349/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^35 + 7223188012440034950333140555938692067506910030\ 4381962009272043621175673087802890911422646848886529595172820494464\ 916872100361285402/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^34 + 1615293053443292645662871876210931214645932663949700201934239439267\ 36640266458387334966748814070718665868661999116256017515221838579/1\ 8546215612506844373938449719293487002762444453979564164993502618566\ 4927234237287752322252319730285149633140743877383212407409235413091\ *c_1001_2^33 + 8884532381443580353122543632703380807498099876303257\ 9467820536163140167368620039932229720814398865218183031881073564951\ 396315274877/168601960113698585217622270175395336388749495036177856\ 0453954783506044793038520797748384111997548046814846734035248938294\ 6128112310281*c_1001_2^32 + 325539945491934968643155642253407487146\ 5038082164501988056978198271492487638430517723885931796319838005986\ 651118413963114186177783421/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^31 + 7390339545243824597796811562047746017400953054256652142063563038794\ 213808855509388649961480769264132471694385640392464059207969378889/\ 1854621561250684437393844971929348700276244445397956416499350261856\ 6492723423728775232225231973028514963314074387738321240740923541309\ 1*c_1001_2^30 + 386873121401803127853686460927667584827662409835189\ 9384204911416285040710259230153029733696957000095738139748672097034\ 2150853239242923/18546215612506844373938449719293487002762444453979\ 5641649935026185664927234237287752322252319730285149633140743877383\ 212407409235413091*c_1001_2^29 + 3647079974262599122863610307460661\ 7699180596848421607274139746276201909641857663703492827726081619717\ 411501537772778508548269923401317/185462156125068443739384497192934\ 8700276244445397956416499350261856649272342372877523222523197302851\ 49633140743877383212407409235413091*c_1001_2^28 + 3004150630637847864450719891181740042593998791421387245353089440234\ 7677045932356409401297264443110659929344865575537900069324190927341\ 4/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^27 + 6048783285138894283401997757369764676135646545771\ 0319035610020710190285847039924232600497862707903970624406785682951\ 927438130042614727/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^26 + 1648258333212166467382322752513684952965708160436351400677194078148\ 0849306450296002314581655813768857539039323427898147462542001979676\ 19/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^25 - 816233035997087224366090417466300127697018896907\ 3756243510847645447629521175757433282358999647153164725608536897634\ 49612647569075518196/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^24 + 6648565994946951078728892119830283154201852325259571262810243775624\ 3207568939587994384245781162916433665552842824517945424815001048655\ 39/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^23 - 913650020356975210840479070707304824067056433866\ 0396587610757296794542549443741476938984406868545880015006968350761\ 498000746730635042804/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^22 + 1993458930755772803248584299112983034555172669477220988471245861829\ 2297258741018848221571097424660517544180906599186091388153995089795\ 637/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^21 - 53361711212617451473602295961296653784608967946\ 1301458936175982393010763368651972875438714869192946293079976064950\ 36742745415524068668556/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^20 + 4346711313634930771768953736114228300989199769568194386678123745546\ 1872193621458746712160411387167407083638247633686105206040881193716\ 075/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^19 - 19573452131543053378337898025151255228308929555\ 3990884245490860180196858987328538552789782092506116985306510610850\ 48992067868433777385237/1686019601136985852176222701753953363887494\ 9503617785604539547835060447930385207977483841119975480468148467340\ 352489382946128112310281*c_1001_2^18 + 6298320989767325105839409161451835709839661740067886807828690771286\ 7804794030413638086169228802933673213678620312256984362800966465153\ 751/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^17 - 64509279099831955755364773117349233446547331397\ 2545766172728369317524868086144631710600163247363975121963189292434\ 296779397421053837299693/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^16 + 3910826104842750761012947552645538658607524294648103502597810381545\ 9080224783606839430758497755820675552993769461009828634657290249306\ 482/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^15 - 14701624944762542128829857973818006868810727634\ 2183952377626720402675515733084059427877883004040051733717131319686\ 6643052625459539348845531/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^14 - 6034258513766894288020452503038339567193663729655739270438497669925\ 1918749821690472404132896672474201835602438185840045852049363438022\ 167/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^13 - 25510689588447909994412360611505626407180670239\ 8191929264538841442229119937831658538358787245429927543522714506394\ 7273835716097411040897002/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^12 - 1855064476384654136646958202260053225374366869619962526238578803964\ 2200187877666281786094336756314985301174295731575556608476787293448\ 0672/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^11 - 3306715630135369065455421753301416737047237070\ 1556372650715099831394080642693797002793086455631560421713624909981\ 71094354443318201080817375/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^10 - 1949962580519070562287076580047781284636765031812378984593668733219\ 1526025675793709924012584905658374056773659886013434972949709932998\ 1546/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^9 - 30487966157735474221609494827185487300891097561\ 7673331154814865494113272403327832231500987427316148937037216635274\ 3895322966653213604069355/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^8 - 1915343208887756191732029318028019474961336465102513071050134003441\ 7949070875296099420029524216825400288669937800660093398317190569896\ 564/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^7 - 177690850750157842817038266222562261885753457174\ 2599869553786760583077446368248797369513543058362289962026924246833\ 823741577162428264327195/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^6 + 1619605515713411110677078328079287942341572419715673234751793214400\ 9836189125583785810909308217986182618131333073228487592899367767727\ 283/168601960113698585217622270175395336388749495036177856045395478\ 3506044793038520797748384111997548046814846734035248938294612811231\ 0281*c_1001_2^5 - 4228584036408731353812455863520080910270782381132\ 5774873690070917937199357022908420441977220788275532643694196404127\ 4622980258224060656614/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^4 + 1841777082230284357086787650437470662547543253272840818675636604915\ 2250972993677494305983369713159314282900922657501642922853886087657\ 2670/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^3 + 14938682839425026036683322227436089865547735154\ 4304594719188666619387329674926343984184446828990526837775956392046\ 674182168409928139183995/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^2 + 6174578709608588567539840064479256741294983352680409884806981458055\ 1915355818711464002884850435655239601574613287408661163119744235217\ 888/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2 + 94140846815171986212075244501943422889949921575582\ 6706236453525583806389046074026709255018305320110808116280723749191\ 99121434340215509633/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091, c_0101_7 + 140553167878850861958802689503331035299030544335509593185687\ 8326575229435853821687311631292170550771567644661236789292496321838\ 824/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^35 + 17351373991690024888700823002840973566433400215\ 4100729095970352755444638856405504427281771895557498411396179510983\ 02264819718345342/1854621561250684437393844971929348700276244445397\ 9564164993502618566492723423728775232225231973028514963314074387738\ 3212407409235413091*c_1001_2^34 + 400271736134863043434428190488041\ 0889958671378276236111413483107112655864588227551923606220456520510\ 5434714684897965295590241861746/18546215612506844373938449719293487\ 0027624444539795641649935026185664927234237287752322252319730285149\ 633140743877383212407409235413091*c_1001_2^33 + 2203886061189883304468344469921061913325144006081475471256489799611\ 7936138972017225568936485609932625790794907469888722917703167300/16\ 8601960113698585217622270175395336388749495036177856045395478350604\ 47930385207977483841119975480468148467340352489382946128112310281*c\ _1001_2^32 + 837100079775765354124471478474121745708664969627288158\ 9797532008291565373889960778472875800498873728909389974918671165902\ 70808448774/1854621561250684437393844971929348700276244445397956416\ 4993502618566492723423728775232225231973028514963314074387738321240\ 7409235413091*c_1001_2^31 + 194014594026854887529961254028596963594\ 5146735192854390037205010804241853889547694086279617044368561668813\ 466922656536231307178418746/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^30 + 9945713178721234232657142671473652111527437541859718160608266777712\ 097087818753894907381884737188633252104809637738223196922671525218/\ 1854621561250684437393844971929348700276244445397956416499350261856\ 6492723423728775232225231973028514963314074387738321240740923541309\ 1*c_1001_2^29 + 112289494784344904097711311031800968150208924403887\ 3162933054107290101989123300133724319151569334216653889618099509574\ 9381378942537554/18546215612506844373938449719293487002762444453979\ 5641649935026185664927234237287752322252319730285149633140743877383\ 212407409235413091*c_1001_2^28 + 7726409477576094858994072428300187\ 8154421331872896203325724214226995204608033385669835611575116203808\ 410723719054613014004975513555664/185462156125068443739384497192934\ 8700276244445397956416499350261856649272342372877523222523197302851\ 49633140743877383212407409235413091*c_1001_2^27 + 3822609441401149099615239675972973721446006427134220826759563099989\ 0100357124273924031946991555594401672826099423061365802261945449762\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^26 + 42422508662680606880462550312158163104543742015424\ 0136514026930159487267258062630324810941075005067646365587901945808\ 162310858313032126/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^25 - 4119883525428528468643288323714739252701029927276313048890823283973\ 8179407377806889239123929019985221508957908792213909065898628525402\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^24 + 16817266072280213684806512581785820043103621096898\ 7366452589045076937244412959521797317227548820371146187280294578647\ 5530643580439071780/18546215612506844373938449719293487002762444453\ 9795641649935026185664927234237287752322252319730285149633140743877\ 383212407409235413091*c_1001_2^23 - 1484330903297457538901779599383265177392024090520049908858537831488\ 6355521675510120333306310052636895731094905766603761866881525257730\ 10/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^22 + 464333792080416247540337779755952376405016175532\ 4890878791595004566316806044465209345432921427369134357060888043951\ 431064518511701965656/185462156125068443739384497192934870027624444\ 5397956416499350261856649272342372877523222523197302851496331407438\ 77383212407409235413091*c_1001_2^21 - 1057554501167053859996869207250945772912134490080426605980442953677\ 0477078157762865176367645367817736182274194349554418813540159911902\ 146/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^20 + 72252002889887496489304592176680681370776593410\ 6862082321399363931537951166256127648602137921906329672416786564285\ 2331643336382981335586/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^19 - 4321927364188368030170081357264218918502299306281787441039118031817\ 0983649504400087776450121135023887339755920625490241633766814531255\ 11/1686019601136985852176222701753953363887494950361778560453954783\ 5060447930385207977483841119975480468148467340352489382946128112310\ 281*c_1001_2^18 - 4606733391674312904379401867862261845613272086614\ 2945053411503071004395253891968470010134080372169712416211398486164\ 36065850572925474228/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^17 - 1552792854320913052746530019198911966726078933971066405274516467494\ 3750386640998838560841032346682888066157710652662316265734416582147\ 9995/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^16 - 6795027777458366278121823138722345660644439761\ 0831931968323283882787966241316177133089032974822177547756119875563\ 118125567578499051408788/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^15 - 3855415825083897605078152374068237007466676937418162568641288193447\ 8505930720545730151218496536046359172798959260922693801455144339066\ 4262/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^14 - 2332989943119918008948631619009249374055769085\ 4631217586978451061133408010397226231880960494711357804895081331055\ 1487431888947069516062688/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^13 - 7377395415155427922707222887510841113848485550059738970027756413364\ 0292221705167299888057092371948024951889580608692225234451787250179\ 0794/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^12 - 5075740205137887090470704034574274232678569967\ 9011219614481589234837968776307952316641169746229359766463868548094\ 2004575646221295185671912/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^11 - 1083165223825751195541082498998103678750659660563320661194278266103\ 9290975419166440892950970836969766726675382509841315419481736034491\ 32507/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^10 - 782135024220095791786775850153934161518823167\ 7645094962136777115025492069947235150943166483806846269533049343002\ 66271601285752499702145999/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^9 - 1194241495377671481672433727709688435376926019838647436686884299018\ 2134265929576620509674739868396195301512956688679493770689031403809\ 32010/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^8 - 8629505762618566009886132053568030286748951858\ 5036671849327039955300145827584695432618185117282650171647244152622\ 6144075988161534597897746/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^7 - 9454894825392470865144898330045733637531542829607617195948618216505\ 1644218072980262892436200980094561351304635189842321095584812484836\ 2402/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^6 - 59637353305432780443578202577108883518425933072\ 8227237094333685945562066982372792612221078804690980708457876717340\ 71462201159487503191600/1686019601136985852176222701753953363887494\ 9503617785604539547835060447930385207977483841119975480468148467340\ 352489382946128112310281*c_1001_2^5 - 4940621254927303514284144877564020186215834991098105196265337118392\ 5396881619116471201826665701444593511687231186873279614471376264170\ 7438/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^4 - 30995069159860922578324360334762391180161030947\ 5966640363849452882598463962836883156799198356438498926588212217548\ 236971237060802728766092/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^3 - 1435917844512159963324818030508627038265176445192639510904400288848\ 5964482972615694024336747074020536913856750872341955252425288916363\ 4006/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^2 - 68792385236617171080368605153323130896500319026\ 0284037919479877334628821574158428049628548740950000501987386965037\ 54469754680737123289187/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2 - 1448359871163421811155237099715758061674856684479576290090832136719\ 5784008154346272987009560888833048397526051562893986777843720631880\ 694/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091, c_0110_4 + 375524148545874177516155623845871729615615146296699801992653\ 2264975812957455784544302626814344087936567965553070377183158808147\ 28/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^35 + 341092497048567866011986721176630199733376224643\ 4481356186402568949825777434520687676187293579351198970977755560563\ 1744409679405201/18546215612506844373938449719293487002762444453979\ 5641649935026185664927234237287752322252319730285149633140743877383\ 212407409235413091*c_1001_2^34 + 3747912522739958215802786422736272\ 0561036853748764941090112879216075497166718666840361555442628091801\ 4897886970902128339292722855288/18546215612506844373938449719293487\ 0027624444539795641649935026185664927234237287752322252319730285149\ 633140743877383212407409235413091*c_1001_2^33 + 8145780169703218873799225086381675769561258325689585294690782507725\ 3669093527037868634736991857545285649174667950727426364425519666/16\ 8601960113698585217622270175395336388749495036177856045395478350604\ 47930385207977483841119975480468148467340352489382946128112310281*c\ _1001_2^32 + 515676558209450042011617846231752706821338621592822315\ 9852950490638073372294248701576172240345638925565279455203716330918\ 067472719320/185462156125068443739384497192934870027624444539795641\ 6499350261856649272342372877523222523197302851496331407438773832124\ 07409235413091*c_1001_2^31 + 17566329383620683494436408861088049457\ 3473306116027834965984071468724733431629553055561136896397601615272\ 91270025956834583946759120111/1854621561250684437393844971929348700\ 2762444453979564164993502618566492723423728775232225231973028514963\ 3140743877383212407409235413091*c_1001_2^30 + 4124958971927660701119452184256947970470241274094095460927405209549\ 4913080420580874471113126321803813510471091146873214975438641645199\ /185462156125068443739384497192934870027624444539795641649935026185\ 6649272342372877523222523197302851496331407438773832124074092354130\ 91*c_1001_2^29 + 20278474251825209123748167371636530453891968101052\ 2195895908098009696385719257941509354059936827594374073003902531732\ 643705976685098741/185462156125068443739384497192934870027624444539\ 7956416499350261856649272342372877523222523197302851496331407438773\ 83212407409235413091*c_1001_2^28 + 2344169556507378345724085376846335102213298707558358117564232541477\ 4399528370234060765044161924227267789710193615861664047246114529407\ 8/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^27 + 1541874719684420062952102678933844781162116782313\ 5660981035577678002741897580281970926811771904375630710978355319796\ 71570129767579754451/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^26 + 7410008989028946443748594028333950674405611467672787656267206646263\ 2804940639922747978810997389897379965029083984044925129137781957001\ 2/18546215612506844373938449719293487002762444453979564164993502618\ 5664927234237287752322252319730285149633140743877383212407409235413\ 091*c_1001_2^25 + 8278171803414178143269809607076317029913247167681\ 0339957018822357597967909925697648242191587703009784010537020617812\ 02754684367906106816/1854621561250684437393844971929348700276244445\ 3979564164993502618566492723423728775232225231973028514963314074387\ 7383212407409235413091*c_1001_2^24 - 1382467804422157697003168962600745091090421419156996260366739283314\ 3168422092810465865976420610371836937603675243736122735145255029163\ 70/1854621561250684437393844971929348700276244445397956416499350261\ 8566492723423728775232225231973028514963314074387738321240740923541\ 3091*c_1001_2^23 + 320498124230397548514351600315466639603092132498\ 9051453253839953754559223680228393655858330775870795431395139240716\ 1865330533283933690785/18546215612506844373938449719293487002762444\ 4539795641649935026185664927234237287752322252319730285149633140743\ 877383212407409235413091*c_1001_2^22 - 3319957464875523639008738990689021113225058474127613777909463377296\ 5532542296293248780412314013956448473294361900475049649048378293083\ 163/185462156125068443739384497192934870027624444539795641649935026\ 1856649272342372877523222523197302851496331407438773832124074092354\ 13091*c_1001_2^21 + 86671379036791192429786393432029773273948659785\ 0179306914995376507004738045617930762767569208395489468835651580439\ 72599982200459953405240/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091*c_1001_2^20 - 2233018748913909800713774272082238863191992687169540692812174484762\ 7497372546806597317220852639575256243602989527811886658952889523216\ 9256/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^19 + 1232266001997599692484625910581127470488512596\ 3346269068444713832844038455589084011116454558442859352063868677199\ 545854191071457604468899/168601960113698585217622270175395336388749\ 4950361778560453954783506044793038520797748384111997548046814846734\ 0352489382946128112310281*c_1001_2^18 - 9658870035832254937298185936618983554951855311092987456017595011752\ 0803775972413236616524382297958453436106523297342233689720771829970\ 0172/18546215612506844373938449719293487002762444453979564164993502\ 6185664927234237287752322252319730285149633140743877383212407409235\ 413091*c_1001_2^17 - 4963561003218624632669327123361560518806746717\ 9189585450542348054096374558575332269922857342544146859166583833687\ 013170142731155921220189/185462156125068443739384497192934870027624\ 4445397956416499350261856649272342372877523222523197302851496331407\ 43877383212407409235413091*c_1001_2^16 - 3044568373897524934119729800636256401105159234123791427413250463267\ 5284136969392258531868172456067725945398572664483277148845238317694\ 09394/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^15 - 102457277788222131050306472281060310717961910\ 9048904338919869259729838714663555950842646748841355902047120395352\ 337073462467130324615098303/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^14 - 7281067097844077129738183194355476056131700402255846682467248532614\ 6617180331030195424869832671937486513323745667137185151928111146654\ 17005/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^13 - 343699112145142823846181535607451890794494195\ 6235049350144673316266280782854435075162228076428549214098037878243\ 717870188522877673888138259/185462156125068443739384497192934870027\ 6244445397956416499350261856649272342372877523222523197302851496331\ 40743877383212407409235413091*c_1001_2^12 - 1335073371087496571395303487764554150624969649645346870348815904804\ 4001295465858513089863714017657308023247394453946180130700970532381\ 586973/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^11 - 71384455317603210314752885160847506219694376\ 8694102279376026302355601562229781819448624017563444313678956256028\ 7220293758311772869975281630/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^10 - 1861772958546056657619974240151851720375481466192393436942406689734\ 2325693004506003637995471740212719825388294999820259820138361482633\ 885323/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^9 - 103624351139803092147178516291182990471705010\ 5522425011392452814507689380628853499429577068440001583489057757164\ 2217918037092740851681605377/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^8 - 1920556188086670036991364438196224384511976150794425647543347424412\ 3954293764549489809095779585221514981879214391404166891456229802887\ 623644/185462156125068443739384497192934870027624444539795641649935\ 0261856649272342372877523222523197302851496331407438773832124074092\ 35413091*c_1001_2^7 - 106235533680728308076388015547446105131270372\ 6133846993176694609843055681140418408831249435180605097199308093498\ 7504070169965271512476673567/18546215612506844373938449719293487002\ 7624444539795641649935026185664927234237287752322252319730285149633\ 140743877383212407409235413091*c_1001_2^6 - 1258267499161415088261844522617239203921137864550007972881525420396\ 9939403498525477643543235307785223014822166451749765309897080642517\ 24761/1686019601136985852176222701753953363887494950361778560453954\ 7835060447930385207977483841119975480468148467340352489382946128112\ 310281*c_1001_2^5 - 73799345705143064032630678651502243361603951124\ 6088695767869814950088059419707195514544145886717367780581839731445\ 9480743680603212954146640/18546215612506844373938449719293487002762\ 4444539795641649935026185664927234237287752322252319730285149633140\ 743877383212407409235413091*c_1001_2^4 - 6208299373198757639908099447339449558069470870194154231038061578552\ 2750793962457496539671416180406563261155499978669878553205237898478\ 04125/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2^3 - 3123007635037438323850341099704275832913927425\ 1532527180709470495469502205518029801540168005181691381239953598002\ 87733052125922569750749778/1854621561250684437393844971929348700276\ 2444453979564164993502618566492723423728775232225231973028514963314\ 0743877383212407409235413091*c_1001_2^2 - 1297763939765653786128135099868604741549182285481049839704064234906\ 1051098607593033068141352679590231289725231434077043469290271783549\ 70333/1854621561250684437393844971929348700276244445397956416499350\ 2618566492723423728775232225231973028514963314074387738321240740923\ 5413091*c_1001_2 - 606788462579725017076766619833175829509727141381\ 5374255813062265274756455393503840089874793154428558409355577282781\ 19766697917000390654108/1854621561250684437393844971929348700276244\ 4453979564164993502618566492723423728775232225231973028514963314074\ 3877383212407409235413091, c_1001_2^36 + 12*c_1001_2^35 + 26*c_1001_2^34 + 184*c_1001_2^33 + 579*c_1001_2^32 + 1466*c_1001_2^31 + 7554*c_1001_2^30 + 7654*c_1001_2^29 + 64033*c_1001_2^28 + 18127*c_1001_2^27 + 386531*c_1001_2^26 - 119393*c_1001_2^25 + 1737484*c_1001_2^24 - 1714388*c_1001_2^23 + 5880262*c_1001_2^22 - 11345470*c_1001_2^21 + 14566713*c_1001_2^20 - 51441499*c_1001_2^19 + 23238918*c_1001_2^18 - 174762775*c_1001_2^17 + 7631569*c_1001_2^16 - 460036828*c_1001_2^15 - 83756144*c_1001_2^14 - 949298158*c_1001_2^13 - 299706517*c_1001_2^12 - 1532420797*c_1001_2^11 - 609232553*c_1001_2^10 - 1906436911*c_1001_2^9 - 853937712*c_1001_2^8 - 1770830608*c_1001_2^7 - 847136002*c_1001_2^6 - 1157778528*c_1001_2^5 - 574979540*c_1001_2^4 - 474790601*c_1001_2^3 - 241347796*c_1001_2^2 - 91625037*c_1001_2 - 47423429 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.740 Total time: 0.950 seconds, Total memory usage: 32.09MB