(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 (pow u10 u8))
(define-constant stx-recipients
(list
{ amount: u8554220000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u8554220000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u8554220000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u8554220000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u8554220000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u8554220000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u8428420000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u8428420000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u8428420000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u8428420000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u8302630000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u8176830000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u8176830000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u8176830000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u8176830000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u8176830000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u8176830000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u8051030000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u7925240000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u7925240000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u7925240000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u7925240000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u7925240000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u7925240000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u7925240000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u7925240000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u7925240000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u7925240000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u7925240000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u7925240000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u7925240000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u7925240000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u7925240000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u7925240000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u7925240000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u7925240000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u7925240000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u7925240000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u7925240000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u7925240000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u7673640000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u7673640000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u7673640000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u7673640000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u7673640000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u7673640000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u7673640000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u7673640000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u7547840000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u7422050000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u7422050000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u7422050000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u7422050000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u7422050000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u7422050000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u7422050000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u7422050000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u7422050000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u7422050000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u7422050000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u7422050000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u7422050000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u7422050000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u7422050000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u7422050000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u7422050000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u7422050000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u7422050000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u7422050000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u7422050000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u7422050000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u7422050000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u7422050000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u7422050000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u7422050000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u7422050000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u7422050000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u7422050000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u7422050000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u7422050000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u7422050000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u7422050000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u7422050000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u7422050000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u7422050000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u7422050000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u7422050000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u7422050000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u7422050000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u7422050000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u7422050000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u7422050000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u7422050000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u7422050000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u7422050000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u7422050000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u7170450000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u7170450000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u7170450000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u7170450000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u7170450000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u7170450000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u7170450000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u7170450000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u7170450000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u7170450000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u7170450000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u7170450000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u7170450000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u7170450000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u6918860000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u6918860000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u6918860000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u6918860000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u6918860000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u6918860000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u6667260000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u6667260000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u6667260000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u6667260000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u6667260000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u6667260000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u6667260000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u6667260000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u6667260000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u6667260000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u6415670000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u6415670000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u6415670000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u6415670000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u6415670000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u6415670000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u6415670000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u6415670000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u6415670000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u6415670000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u6415670000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u6415670000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u6415670000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u6415670000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u6415670000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u6415670000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u6164070000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u6164070000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u6164070000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u6164070000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u6164070000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u6164070000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u5912480000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u5912480000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u5912480000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u5912480000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u5912480000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u5912480000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u5912480000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u5660880000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u5660880000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u5660880000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u5660880000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u5660880000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u5660880000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u5660880000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u5660880000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u5660880000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u5660880000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u5660880000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u5660880000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u5660880000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u5660880000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u5660880000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u5660880000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u5660880000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u5660880000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u5660880000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u5660880000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u5660880000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u5660880000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u5660880000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u5660880000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u5660880000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u5660880000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u5660880000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u5660880000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u5660880000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-constant mia-recipients
(list
{ amount: u18098990000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u18098990000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u18098990000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u18098990000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u18098990000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u18098990000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u17832820000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u17832820000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u17832820000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u17832820000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u17566660000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u17300500000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u17300500000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u17300500000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u17300500000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u17300500000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u17300500000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u17034340000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u16768180000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u16768180000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u16768180000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u16768180000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u16768180000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u16768180000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u16768180000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u16768180000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u16768180000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u16768180000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u16768180000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u16768180000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u16768180000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u16768180000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u16768180000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u16768180000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u16768180000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u16768180000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u16768180000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u16768180000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u16768180000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u16768180000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u16235850000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u16235850000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u16235850000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u16235850000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u16235850000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u16235850000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u16235850000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u16235850000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u15969690000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u15703530000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u15703530000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u15703530000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u15703530000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u15703530000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u15703530000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u15703530000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u15703530000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u15703530000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u15703530000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u15703530000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u15703530000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u15703530000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u15703530000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u15703530000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u15703530000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u15703530000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u15703530000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u15703530000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u15703530000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u15703530000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u15703530000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u15703530000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u15703530000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u15703530000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u15703530000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u15703530000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u15703530000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u15703530000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u15703530000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u15703530000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u15703530000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u15703530000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u15703530000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u15703530000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u15703530000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u15703530000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u15703530000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u15703530000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u15703530000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u15703530000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u15703530000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u15703530000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u15703530000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u15703530000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u15703530000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u15703530000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u15171210000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u15171210000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u15171210000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u15171210000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u15171210000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u15171210000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u15171210000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u15171210000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u15171210000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u15171210000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u15171210000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u15171210000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u15171210000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u15171210000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u14638890000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u14638890000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u14638890000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u14638890000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u14638890000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u14638890000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u14106560000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u14106560000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u14106560000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u14106560000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u14106560000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u14106560000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u14106560000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u14106560000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u14106560000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u14106560000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u13574240000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u13574240000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u13574240000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u13574240000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u13574240000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u13574240000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u13574240000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u13574240000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u13574240000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u13574240000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u13574240000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u13574240000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u13574240000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u13574240000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u13574240000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u13574240000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u13041920000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u13041920000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u13041920000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u13041920000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u13041920000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u13041920000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u12509590000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u12509590000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u12509590000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u12509590000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u12509590000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u12509590000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u12509590000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u11977270000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u11977270000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u11977270000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u11977270000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u11977270000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u11977270000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u11977270000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u11977270000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u11977270000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u11977270000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u11977270000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u11977270000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u11977270000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u11977270000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u11977270000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u11977270000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u11977270000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u11977270000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u11977270000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u11977270000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u11977270000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u11977270000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u11977270000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u11977270000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u11977270000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u11977270000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u11977270000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u11977270000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u11977270000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-constant nycc-recipients
(list
{ amount: u33541290000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u33541290000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u33541290000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u33541290000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u33541290000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u33541290000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u33048040000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u33048040000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u33048040000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u33048040000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u32554780000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u32061530000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u32061530000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u32061530000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u32061530000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u32061530000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u32061530000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u31568280000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u31075020000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u31075020000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u31075020000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u31075020000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u31075020000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u31075020000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u31075020000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u31075020000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u31075020000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u31075020000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u31075020000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u31075020000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u31075020000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u31075020000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u31075020000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u31075020000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u31075020000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u31075020000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u31075020000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u31075020000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u31075020000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u31075020000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u30088510000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u30088510000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u30088510000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u30088510000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u30088510000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u30088510000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u30088510000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u30088510000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u29595260000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u29102000000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u29102000000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u29102000000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u29102000000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u29102000000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u29102000000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u29102000000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u29102000000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u29102000000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u29102000000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u29102000000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u29102000000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u29102000000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u29102000000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u29102000000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u29102000000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u29102000000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u29102000000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u29102000000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u29102000000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u29102000000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u29102000000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u29102000000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u29102000000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u29102000000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u29102000000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u29102000000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u29102000000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u29102000000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u29102000000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u29102000000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u29102000000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u29102000000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u29102000000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u29102000000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u29102000000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u29102000000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u29102000000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u29102000000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u29102000000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u29102000000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u29102000000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u29102000000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u29102000000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u29102000000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u29102000000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u29102000000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u28115500000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u28115500000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u28115500000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u28115500000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u28115500000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u28115500000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u28115500000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u28115500000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u28115500000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u28115500000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u28115500000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u28115500000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u28115500000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u28115500000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u27128990000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u27128990000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u27128990000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u27128990000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u27128990000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u27128990000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u26142480000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u26142480000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u26142480000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u26142480000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u26142480000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u26142480000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u26142480000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u26142480000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u26142480000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u26142480000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u25155970000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u25155970000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u25155970000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u25155970000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u25155970000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u25155970000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u25155970000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u25155970000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u25155970000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u25155970000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u25155970000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u25155970000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u25155970000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u25155970000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u25155970000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u25155970000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u24169460000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u24169460000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u24169460000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u24169460000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u24169460000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u24169460000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u23182950000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u23182950000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u23182950000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u23182950000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u23182950000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u23182950000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u23182950000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u22196440000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u22196440000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u22196440000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u22196440000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u22196440000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u22196440000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u22196440000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u22196440000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u22196440000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u22196440000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u22196440000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u22196440000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u22196440000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u22196440000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u22196440000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u22196440000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u22196440000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u22196440000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u22196440000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u22196440000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u22196440000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u22196440000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u22196440000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u22196440000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u22196440000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u22196440000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u22196440000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u22196440000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u22196440000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-constant slm-recipients
(list
{ amount: u6647930000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u6647930000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u6647930000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u6647930000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u6647930000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u6647930000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u6550160000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u6550160000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u6550160000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u6550160000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u6452400000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u6354640000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u6354640000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u6354640000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u6354640000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u6354640000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u6354640000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u6256870000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u6159110000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u6159110000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u6159110000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u6159110000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u6159110000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u6159110000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u6159110000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u6159110000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u6159110000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u6159110000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u6159110000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u6159110000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u6159110000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u6159110000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u6159110000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u6159110000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u6159110000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u6159110000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u6159110000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u6159110000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u6159110000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u6159110000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u5963580000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u5963580000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u5963580000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u5963580000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u5963580000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u5963580000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u5963580000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u5963580000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u5865820000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u5768060000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u5768060000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u5768060000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u5768060000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u5768060000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u5768060000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u5768060000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u5768060000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u5768060000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u5768060000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u5768060000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u5768060000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u5768060000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u5768060000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u5768060000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u5768060000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u5768060000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u5768060000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u5768060000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u5768060000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u5768060000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u5768060000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u5768060000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u5768060000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u5768060000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u5768060000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u5768060000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u5768060000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u5768060000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u5768060000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u5768060000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u5768060000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u5768060000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u5768060000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u5768060000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u5768060000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u5768060000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u5768060000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u5768060000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u5768060000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u5768060000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u5768060000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u5768060000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u5768060000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u5768060000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u5768060000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u5768060000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u5572530000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u5572530000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u5572530000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u5572530000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u5572530000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u5572530000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u5572530000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u5572530000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u5572530000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u5572530000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u5572530000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u5572530000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u5572530000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u5572530000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u5377000000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u5377000000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u5377000000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u5377000000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u5377000000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u5377000000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u5181470000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u5181470000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u5181470000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u5181470000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u5181470000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u5181470000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u5181470000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u5181470000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u5181470000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u5181470000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u4985950000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u4985950000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u4985950000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u4985950000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u4985950000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u4985950000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u4985950000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u4985950000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u4985950000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u4985950000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u4985950000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u4985950000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u4985950000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u4985950000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u4985950000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u4985950000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u4790420000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u4790420000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u4790420000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u4790420000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u4790420000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u4790420000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u4594890000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u4594890000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u4594890000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u4594890000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u4594890000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u4594890000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u4594890000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u4399360000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u4399360000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u4399360000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u4399360000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u4399360000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u4399360000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u4399360000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u4399360000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u4399360000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u4399360000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u4399360000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u4399360000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u4399360000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u4399360000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u4399360000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u4399360000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u4399360000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u4399360000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u4399360000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u4399360000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u4399360000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u4399360000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u4399360000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u4399360000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u4399360000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u4399360000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u4399360000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u4399360000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u4399360000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-constant diko-recipients
(list
{ amount: u13129660000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u13129660000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u13129660000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u13129660000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u13129660000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u13129660000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u12936580000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u12936580000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u12936580000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u12936580000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u12743490000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u12550410000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u12550410000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u12550410000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u12550410000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u12550410000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u12550410000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u12357330000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u12164240000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u12164240000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u12164240000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u12164240000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u12164240000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u12164240000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u12164240000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u12164240000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u12164240000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u12164240000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u12164240000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u12164240000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u12164240000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u12164240000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u12164240000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u12164240000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u12164240000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u12164240000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u12164240000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u12164240000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u12164240000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u12164240000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u11778080000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u11778080000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u11778080000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u11778080000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u11778080000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u11778080000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u11778080000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u11778080000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u11584990000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u11391910000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u11391910000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u11391910000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u11391910000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u11391910000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u11391910000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u11391910000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u11391910000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u11391910000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u11391910000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u11391910000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u11391910000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u11391910000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u11391910000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u11391910000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u11391910000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u11391910000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u11391910000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u11391910000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u11391910000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u11391910000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u11391910000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u11391910000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u11391910000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u11391910000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u11391910000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u11391910000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u11391910000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u11391910000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u11391910000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u11391910000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u11391910000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u11391910000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u11391910000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u11391910000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u11391910000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u11391910000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u11391910000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u11391910000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u11391910000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u11391910000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u11391910000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u11391910000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u11391910000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u11391910000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u11391910000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u11391910000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u11005740000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u11005740000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u11005740000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u11005740000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u11005740000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u11005740000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u11005740000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u11005740000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u11005740000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u11005740000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u11005740000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u11005740000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u11005740000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u11005740000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u10619580000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u10619580000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u10619580000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u10619580000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u10619580000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u10619580000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u10233410000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u10233410000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u10233410000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u10233410000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u10233410000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u10233410000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u10233410000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u10233410000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u10233410000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u10233410000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u9847240000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u9847240000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u9847240000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u9847240000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u9847240000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u9847240000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u9847240000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u9847240000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u9847240000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u9847240000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u9847240000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u9847240000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u9847240000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u9847240000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u9847240000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u9847240000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u9461080000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u9461080000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u9461080000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u9461080000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u9461080000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u9461080000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u9074910000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u9074910000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u9074910000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u9074910000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u9074910000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u9074910000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u9074910000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u8688740000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u8688740000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u8688740000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u8688740000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u8688740000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u8688740000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u8688740000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u8688740000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u8688740000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u8688740000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u8688740000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u8688740000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u8688740000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u8688740000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u8688740000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u8688740000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u8688740000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u8688740000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u8688740000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u8688740000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u8688740000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u8688740000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u8688740000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u8688740000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u8688740000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u8688740000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u8688740000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u8688740000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u8688740000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-constant auto-alex-recipients
(list
{ amount: u14083140000, to: 'SP1VTSPZ3QH456J0W2BD5TE0M1T94SAXJX8VE21E2 }
{ amount: u14083140000, to: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u14083140000, to: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u14083140000, to: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u14083140000, to: 'SP3QEJ5F4ATAHG4EB9HZBFSDCCMM1V7QEFSKWKXTQ }
{ amount: u14083140000, to: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u13876030000, to: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u13876030000, to: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u13876030000, to: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u13876030000, to: 'SP4F062WCN1G45W5C3AS019YV5XRSGE2Z242S9RJ }
{ amount: u13668930000, to: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u13461820000, to: 'SP19ZVE4AM95YVBKZ9S3Q2QHDHDP0W62862C0JC8 }
{ amount: u13461820000, to: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u13461820000, to: 'SP224NDQM1FJ20B3E3TWJJEYNQN9MMYYM699J0A4B }
{ amount: u13461820000, to: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u13461820000, to: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u13461820000, to: 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z }
{ amount: u13254720000, to: 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK }
{ amount: u13047610000, to: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u13047610000, to: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u13047610000, to: 'SP160DYPR1WJB9CX2DW7ZHEK64CPDTXHPN4A8KFN5 }
{ amount: u13047610000, to: 'SP17A1AFK4PCF69XMHR3DD6METWRRPZ2H2EJHW43J }
{ amount: u13047610000, to: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u13047610000, to: 'SP2CZD8J5AZKE5WMF72D13JFG22JJ1FC05Q8MCCJR }
{ amount: u13047610000, to: 'SP2H667JRMBHX0NRJ3ZMPPDR4R9TH6NM1ZFYW07S6 }
{ amount: u13047610000, to: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u13047610000, to: 'SP2VVTEH1W92ER00RZ12HP5W68N82XRDHBCPWV8TR }
{ amount: u13047610000, to: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u13047610000, to: 'SP2ZQ2N6QR6JGZ00EC06KYAWHSDJMCT44CRP47B1T }
{ amount: u13047610000, to: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u13047610000, to: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u13047610000, to: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u13047610000, to: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u13047610000, to: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u13047610000, to: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u13047610000, to: 'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB }
{ amount: u13047610000, to: 'SPF2HF3JRTJ37F8FABR025TP2YSK1W7751Q7MTRV }
{ amount: u13047610000, to: 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ }
{ amount: u13047610000, to: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u13047610000, to: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u12633400000, to: 'SP13NVSV2W24N16SC4DSJD7K1S9GVZF7SRVV6908B }
{ amount: u12633400000, to: 'SP18QG8A8943KY9S15M08AMAWWF58W9X1M90BRCSJ }
{ amount: u12633400000, to: 'SP19QGZYNGQMPQK2Q3Q5TZ3Y7TYDB7QEFW0SGDXFN }
{ amount: u12633400000, to: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u12633400000, to: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u12633400000, to: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u12633400000, to: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u12633400000, to: 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD }
{ amount: u12426300000, to: 'SP2HVP68NY5BD2RDFX0JNXSYRS8AA6R7S30N08NJZ }
{ amount: u12219190000, to: 'SP12V7ARB642CS6V29YVV9KZEM3CTWV04FTYMEB3C }
{ amount: u12219190000, to: 'SP18CEMRCFMFHXTRDPZVPEEXWR7Y2PDW8A51C8FQ8 }
{ amount: u12219190000, to: 'SP1BEVBDDR7K279QV99JEZFGBQDSQ5JQCWPYTVWA9 }
{ amount: u12219190000, to: 'SP1PEHM5P8FEFTSVNX42CA2TGB70TDAMQ4G66J0KQ }
{ amount: u12219190000, to: 'SP1QPZXEZ02CDCQ3HP63SWWSJZHDM7YN176R4KBSQ }
{ amount: u12219190000, to: 'SP1W7GWEBMFQV3W7T6M4FWE7V90JWSM5KZKPK1HM3 }
{ amount: u12219190000, to: 'SP20H67G96G2CJY93W02V5QCKEF0P01A48DCE6GSV }
{ amount: u12219190000, to: 'SP23PX4JS95XTHHH167VHXD0S28D19TW5ATE4850M }
{ amount: u12219190000, to: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u12219190000, to: 'SP27BSB017163AWQSRD8JEXZVY9BHVFNAN4B66WKE }
{ amount: u12219190000, to: 'SP27ESTBXHME3P3YC75QJHWGM7T8ZR9ABCGM6FSYA }
{ amount: u12219190000, to: 'SP282FZA1BEANB46SC1QA9WSTN4SHHCW5WAARXPR }
{ amount: u12219190000, to: 'SP29BB64X328DABWXY8NBA73WZ7D4XTP9WTCXTXP4 }
{ amount: u12219190000, to: 'SP2JV57Z042CYYTMV2Y9KVTYKZ2RMNQZ6GH8H9W66 }
{ amount: u12219190000, to: 'SP2MCMXNVFVH8335DFHEQ57FKY5KJ6JBD7EXFQWB9 }
{ amount: u12219190000, to: 'SP2RRKN4Z9ZHG449QVT1GHYSRQ6RK87NDA8TPHRX }
{ amount: u12219190000, to: 'SP2SQS5WEAPBK81183W461GX2F39NW2N3XWQSNDH3 }
{ amount: u12219190000, to: 'SP2TEWTATQ4MCWAS2VW43GTYX3WNS0JY6XAW973FJ }
{ amount: u12219190000, to: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u12219190000, to: 'SP32F6ZD53636SSW9AYC9WBQMSW8BFGAKHD1DA3XT }
{ amount: u12219190000, to: 'SP337NFBD8MNPSQ3W5GAJMBX2TZ33ZSHRXR3DQJB7 }
{ amount: u12219190000, to: 'SP368NMDYZATCV1DKWT16F6AF4JK7ES09ZEXS11T8 }
{ amount: u12219190000, to: 'SP388M6TH4HCC88J11KQ80JZHY5FVTE4739YQCDBX }
{ amount: u12219190000, to: 'SP3DYABT93YC12J2EC4RVKZ6DV0ZBPY8FFAPT6VF9 }
{ amount: u12219190000, to: 'SP3EA6VFFXRJRV1CR9KQRF401VAA90GXVS8P3DQGR }
{ amount: u12219190000, to: 'SP3FAPXVZT1M67NC57EZSRDNQ2XDRZ0DYDJ1Q882Q }
{ amount: u12219190000, to: 'SP3G18MXYHDDTZ13T9J20JXMFRM045469AQD5TQMH }
{ amount: u12219190000, to: 'SP3NBW5KFC9TXB80R74M7WSWEB0GDV8AV5M5NG3BV }
{ amount: u12219190000, to: 'SP3NNTH9167KQXN6592ACTRV7NX2WF2FTZ117XVR6 }
{ amount: u12219190000, to: 'SP3P5ES049T9Y9W8TDDSM3FZAKWR8EP3X5YH41AKW }
{ amount: u12219190000, to: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u12219190000, to: 'SP3RA84ECSWD1Q6RX5NTHPA42EGJKBKR1FHTSYXW6 }
{ amount: u12219190000, to: 'SP3S0REF9AH2PZV4VGH9T4N796RJ858F8V2BWRJ5P }
{ amount: u12219190000, to: 'SP3SS39XVDRJFQ80C0TMH49E6E1Y1ARJ3CYYGVTXN }
{ amount: u12219190000, to: 'SP3XVKEKTFS6ZXZ29N65KCRG6CYD7731BYKTE93WT }
{ amount: u12219190000, to: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u12219190000, to: 'SP484ZTXHGPYWT5WN75YZS9EGXR1ZR1WY1R4CYC2 }
{ amount: u12219190000, to: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u12219190000, to: 'SPB4MG184M19MTN1NHY3EXD92EET0E1B25TEFZW8 }
{ amount: u12219190000, to: 'SPHDWJ3C3QBDV52YKRNNWZF93HQ4GWTKESQJJP23 }
{ amount: u12219190000, to: 'SPN76HQMCSXCHTPQ1GDGSWMAY37YPQ2RPA50DK84 }
{ amount: u12219190000, to: 'SPPS7BBKQB30VPT97MTG2GSDZ730EN36B39D4SRT }
{ amount: u12219190000, to: 'SPRG6S3TXK9FMPYXZ3SCESXRBRYFB3KMVT99Z9CJ }
{ amount: u12219190000, to: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u12219190000, to: 'SPVVPCZA91SQYASD0YVZ7SC80ZVG057QZ0Q33XH3 }
{ amount: u12219190000, to: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u12219190000, to: 'SPZAPQCV8TXCD6A1C7YNK3YZNT3HQFCG89KQQ08Y }
{ amount: u11804980000, to: 'SP10JKAVVB1F9SQQT0R3RX8V9NPV4NE2F9222CH47 }
{ amount: u11804980000, to: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u11804980000, to: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u11804980000, to: 'SP1DTR6FGKJFCJQ408PT7T17E1ZT2M4NG0SZE2Z5W }
{ amount: u11804980000, to: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u11804980000, to: 'SP2V54F313BFRN01CVSX1T39ZYRQCJJYZY41N3Z8K }
{ amount: u11804980000, to: 'SP2VSMC1KJQGK8435WSJ95QMKJDRZA7DH9YPC3KFP }
{ amount: u11804980000, to: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u11804980000, to: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u11804980000, to: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u11804980000, to: 'SPFA206JT0YTGBR34VZY3BWESXFPEDKXYGJYQ0B3 }
{ amount: u11804980000, to: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP }
{ amount: u11804980000, to: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u11804980000, to: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u11390770000, to: 'SP1D6KH660V1DSGXPTHBBRA10R8VWESXR3P25W7AD }
{ amount: u11390770000, to: 'SP3QTENYBSSQ9GN9H4C2DPE9JXRW4CRYVYMNF9MTW }
{ amount: u11390770000, to: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u11390770000, to: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u11390770000, to: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u11390770000, to: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u10976560000, to: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u10976560000, to: 'SP1JEEQ4VSD4KPAZB9KWBHTSA1A6CA61JY7P3BPGD }
{ amount: u10976560000, to: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u10976560000, to: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u10976560000, to: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u10976560000, to: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u10976560000, to: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u10976560000, to: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u10976560000, to: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u10976560000, to: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u10562350000, to: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u10562350000, to: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u10562350000, to: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u10562350000, to: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u10562350000, to: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u10562350000, to: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u10562350000, to: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u10562350000, to: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u10562350000, to: 'SP1SV762CQCZY7BE0KP8CKRS2XZF7AYEBZB5CW8AJ }
{ amount: u10562350000, to: 'SP2JH7HJ7JM2K637XGF8XRB5GNYRP6GPCS4BHRG33 }
{ amount: u10562350000, to: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH }
{ amount: u10562350000, to: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u10562350000, to: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u10562350000, to: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u10562350000, to: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u10562350000, to: 'SPCZ755YM8JGJCM09WCEPPRBV9MGHA96PTN2FYD2 }
{ amount: u10148140000, to: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u10148140000, to: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u10148140000, to: 'SP3380ZQEQJVS6H83A166ZXRCNJQR2P6R3KAC8FGM }
{ amount: u10148140000, to: 'SP3E8DMDNEKT40KFCP2Q357RXTY5YXEQG02EAFMG9 }
{ amount: u10148140000, to: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u10148140000, to: 'SPFK6E20DN1PFBY02956QN23TCWSPHMY76KYWGEZ }
{ amount: u9733930000, to: 'SP1F4NFM0JTZNMGSBYJ7FAQW1G2AANTQEEQXT7DMX }
{ amount: u9733930000, to: 'SP1QRFVDS76WFV5XCDHAR7FQYTSNM4M1P4TGFZRK1 }
{ amount: u9733930000, to: 'SP2E7Q10GF5R1MZ3F6J2ANPFNFFCFJ216B33Z4JMD }
{ amount: u9733930000, to: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u9733930000, to: 'SP2SAMT5TZHWWB9AVJT0YH8SGGG3XJX4RDTR57F7M }
{ amount: u9733930000, to: 'SP34S80102KYXHC0C5VC3GDPDVY3WFG1G5G507Y0K }
{ amount: u9733930000, to: 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B }
{ amount: u9319720000, to: 'SP1HC7ZMSCNVA2JMFQ2V80E7308XEZM1KM0S2DDF2 }
{ amount: u9319720000, to: 'SP1MPPZQPWCDKRZFY98GN78EWGEGN01DF2TDD32Y5 }
{ amount: u9319720000, to: 'SP1VW692V3RZB7EBASSQE7MCXEGP9HBF7JKHSD6DB }
{ amount: u9319720000, to: 'SP1W2TXP4TDPGJYK211S5SYSBFCB1PRJFFY8N8XE3 }
{ amount: u9319720000, to: 'SP1ZSB0S8M8F4G71BNXQEMXP3BBQGPNE08S0E89MQ }
{ amount: u9319720000, to: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u9319720000, to: 'SP228WEAEMYX21RW0TT5T38THPNDYPPGGVW2RP570 }
{ amount: u9319720000, to: 'SP22WKTWJ2TR4DHBBATJXR1EA12T6FY0QXMFRW69X }
{ amount: u9319720000, to: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u9319720000, to: 'SP29DCEPQZY1M5TBZZ1SY7VTNQRDN8ZFYWDJANRE5 }
{ amount: u9319720000, to: 'SP29YRX0H58KBWYT46B10N3J9NP8GDYG135G7PDNB }
{ amount: u9319720000, to: 'SP2P8QYQX5PMKVBXQ9FWK8F96J8DJXXW7NB7AA5DT }
{ amount: u9319720000, to: 'SP2WF06N3K2A1HXTDTF2ENVRCNCTQTPSYN487NBQB }
{ amount: u9319720000, to: 'SP2ZHASYKFZ1P2M3CC4N0941VQG8RZK7WK4FAA229 }
{ amount: u9319720000, to: 'SP36WFT0QWK9CEYCCAZYY7AQRX7G4183Y0KJVZ6CR }
{ amount: u9319720000, to: 'SP3AJCGHV8WG7WNVWH9E6F2W966C1CCRTFHW4DJHZ }
{ amount: u9319720000, to: 'SP3P1VTDKZGEB84GC5FYDTSP9HKYY6AWMYA7CBH3Y }
{ amount: u9319720000, to: 'SP3Z7QGZNFCVZKQ9CQ6M26J229M5RAQHGZK28AJQ7 }
{ amount: u9319720000, to: 'SP48N9CPE2KQZQYH64GZ4FPJWJMGTRPJQWMC5RH7 }
{ amount: u9319720000, to: 'SPE9YN2SC5525VQACPZV44Q7SEREK2H4AZYXPPRA }
{ amount: u9319720000, to: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u9319720000, to: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u9319720000, to: 'SPJYNWFBDZBB9DFSBEKH47TVA4R4SHW93NZE6SY9 }
{ amount: u9319720000, to: 'SPMER0KXPRKQ8Z70E5KKGKJ78TSKJGR6XK22WN10 }
{ amount: u9319720000, to: 'SPNXRYFAK4MK1KEHE3SY0MMSH6Z7SSQ9EPKW1DWF }
{ amount: u9319720000, to: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u9319720000, to: 'SPWQGNS8MZ2Y3721N2EYTQVAE6V240NMSMZNCMFG }
{ amount: u9319720000, to: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u9319720000, to: 'SPZEDXD3VXMBDK3A013YEBND5F1VSARXVDE9SD20 }
)
)
(define-private (check-err (result (response bool uint)) (prior (response bool uint)))
(match prior
ok-value result
err-value (err err-value)
)
)
(define-private (transfer-from-tuple (recipient { to: principal, amount: uint }))
(contract-call? .auto-alex transfer-fixed (get amount recipient) tx-sender (get to recipient) none)
)
(define-private (auto-alex-send-many (recipients (list 200 { to: principal, amount: uint})))
(fold check-err (map transfer-from-tuple recipients) (ok true))
)
(define-public (execute (sender principal))
(begin
;; send many
(try! (contract-call? .token-wstx send-many stx-recipients))
(try! (contract-call? .token-wmia send-many mia-recipients))
(try! (contract-call? .token-wnycc send-many nycc-recipients))
(try! (contract-call? .token-wslm send-many slm-recipients))
(try! (contract-call? .token-wdiko send-many diko-recipients))
(try! (auto-alex-send-many auto-alex-recipients))
(ok true)
)
)