(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 (pow u10 u8))
(define-constant stx-recipients
(list
{ amount: u9812200000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u9812200000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u9812200000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u9812200000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u9812200000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u9812200000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u9812200000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u9812200000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u9812200000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u9812200000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u9686400000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u9686400000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u9686400000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u9686400000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u9686400000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u9686400000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u9686400000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u9686400000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u9686400000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u9686400000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u9686400000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u9686400000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u9686400000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u9686400000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u9560600000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u9560600000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u9560600000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u9560600000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u9560600000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u9560600000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u9560600000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u9434800000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u9434800000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u9434800000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u9434800000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u9434800000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u9434800000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u9434800000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u9309010000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u9309010000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u9309010000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u9309010000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u9309010000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u9309010000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u9309010000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u9183210000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u9183210000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u9183210000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u9183210000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u9183210000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u9183210000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u9183210000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u9183210000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u9183210000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u9183210000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u9183210000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u9183210000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u9183210000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u9183210000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u9057410000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u8931610000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u8931610000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u8931610000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u8931610000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u8931610000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u8931610000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u8931610000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u8931610000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u8931610000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u8931610000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u8931610000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u8931610000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u8931610000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u8931610000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u8931610000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u8931610000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u8931610000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u8931610000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u8931610000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u8931610000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u8931610000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u8931610000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u8931610000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u8931610000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u8931610000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u8931610000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u8931610000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u8931610000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u8931610000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u8931610000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u8931610000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u8931610000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u8931610000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u8931610000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u8931610000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u8931610000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u8931610000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u8931610000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u8931610000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u8931610000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u8931610000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u8931610000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u8931610000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u8931610000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u8931610000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u8931610000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u8931610000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u8931610000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u8931610000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u8931610000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u8931610000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u8931610000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u8931610000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u8931610000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u8931610000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u8931610000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u8931610000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u8931610000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u8931610000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u8931610000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u8931610000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u8931610000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u8931610000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u8931610000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u8931610000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u8931610000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u8931610000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u8931610000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u8931610000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u8931610000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u8931610000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u8931610000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u8931610000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u8931610000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u8931610000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u8931610000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u8931610000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u8931610000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u8931610000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u8931610000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u8931610000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u8931610000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u8931610000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u8931610000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u8931610000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u8931610000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u8931610000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u8931610000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u8931610000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u8931610000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u8931610000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u8931610000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u8931610000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u8931610000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u8931610000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u8931610000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u8931610000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u8931610000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u8931610000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u8931610000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u8931610000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u8931610000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u8931610000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u8931610000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u8931610000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u8931610000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u8931610000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u8931610000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u8931610000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u8931610000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u8931610000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u8931610000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u8931610000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u8931610000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u8931610000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u8931610000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u8931610000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u8931610000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u8931610000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u8931610000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u8931610000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u8931610000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u8931610000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u8931610000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u8931610000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u8931610000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u8931610000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u8805820000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u8805820000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u8805820000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u8805820000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u8680020000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u8680020000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u8680020000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u8680020000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u8680020000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u8680020000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u8680020000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u8680020000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u8680020000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(define-constant mia-recipients
(list
{ amount: u20760600000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u20760600000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u20760600000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u20760600000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u20760600000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u20760600000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u20760600000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u20760600000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u20760600000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u20760600000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u20494440000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u20494440000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u20494440000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u20494440000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u20494440000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u20494440000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u20494440000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u20494440000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u20494440000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u20494440000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u20494440000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u20494440000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u20494440000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u20494440000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u20228280000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u20228280000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u20228280000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u20228280000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u20228280000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u20228280000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u20228280000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u19962120000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u19962120000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u19962120000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u19962120000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u19962120000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u19962120000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u19962120000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u19695960000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u19695960000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u19695960000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u19695960000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u19695960000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u19695960000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u19695960000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u19429790000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u19429790000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u19429790000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u19429790000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u19429790000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u19429790000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u19429790000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u19429790000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u19429790000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u19429790000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u19429790000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u19429790000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u19429790000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u19429790000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u19163630000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u18897470000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u18897470000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u18897470000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u18897470000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u18897470000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u18897470000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u18897470000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u18897470000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u18897470000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u18897470000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u18897470000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u18897470000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u18897470000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u18897470000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u18897470000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u18897470000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u18897470000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u18897470000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u18897470000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u18897470000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u18897470000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u18897470000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u18897470000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u18897470000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u18897470000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u18897470000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u18897470000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u18897470000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u18897470000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u18897470000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u18897470000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u18897470000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u18897470000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u18897470000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u18897470000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u18897470000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u18897470000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u18897470000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u18897470000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u18897470000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u18897470000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u18897470000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u18897470000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u18897470000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u18897470000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u18897470000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u18897470000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u18897470000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u18897470000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u18897470000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u18897470000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u18897470000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u18897470000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u18897470000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u18897470000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u18897470000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u18897470000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u18897470000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u18897470000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u18897470000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u18897470000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u18897470000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u18897470000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u18897470000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u18897470000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u18897470000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u18897470000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u18897470000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u18897470000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u18897470000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u18897470000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u18897470000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u18897470000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u18897470000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u18897470000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u18897470000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u18897470000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u18897470000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u18897470000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u18897470000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u18897470000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u18897470000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u18897470000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u18897470000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u18897470000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u18897470000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u18897470000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u18897470000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u18897470000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u18897470000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u18897470000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u18897470000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u18897470000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u18897470000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u18897470000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u18897470000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u18897470000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u18897470000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u18897470000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u18897470000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u18897470000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u18897470000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u18897470000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u18897470000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u18897470000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u18897470000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u18897470000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u18897470000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u18897470000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u18897470000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u18897470000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u18897470000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u18897470000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u18897470000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u18897470000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u18897470000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u18897470000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u18897470000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u18897470000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u18897470000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u18897470000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u18897470000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u18897470000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u18897470000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u18897470000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u18897470000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u18897470000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u18631310000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u18631310000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u18631310000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u18631310000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u18365150000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u18365150000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u18365150000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u18365150000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u18365150000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u18365150000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u18365150000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u18365150000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u18365150000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(define-constant nycc-recipients
(list
{ amount: u38473840000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u38473840000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u38473840000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u38473840000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u38473840000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u38473840000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u38473840000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u38473840000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u38473840000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u38473840000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u37980580000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u37980580000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u37980580000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u37980580000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u37980580000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u37980580000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u37980580000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u37980580000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u37980580000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u37980580000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u37980580000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u37980580000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u37980580000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u37980580000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u37487330000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u37487330000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u37487330000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u37487330000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u37487330000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u37487330000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u37487330000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u36994070000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u36994070000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u36994070000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u36994070000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u36994070000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u36994070000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u36994070000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u36500820000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u36500820000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u36500820000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u36500820000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u36500820000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u36500820000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u36500820000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u36007560000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u36007560000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u36007560000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u36007560000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u36007560000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u36007560000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u36007560000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u36007560000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u36007560000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u36007560000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u36007560000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u36007560000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u36007560000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u36007560000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u35514310000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u35021060000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u35021060000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u35021060000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u35021060000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u35021060000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u35021060000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u35021060000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u35021060000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u35021060000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u35021060000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u35021060000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u35021060000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u35021060000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u35021060000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u35021060000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u35021060000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u35021060000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u35021060000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u35021060000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u35021060000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u35021060000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u35021060000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u35021060000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u35021060000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u35021060000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u35021060000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u35021060000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u35021060000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u35021060000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u35021060000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u35021060000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u35021060000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u35021060000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u35021060000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u35021060000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u35021060000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u35021060000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u35021060000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u35021060000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u35021060000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u35021060000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u35021060000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u35021060000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u35021060000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u35021060000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u35021060000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u35021060000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u35021060000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u35021060000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u35021060000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u35021060000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u35021060000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u35021060000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u35021060000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u35021060000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u35021060000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u35021060000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u35021060000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u35021060000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u35021060000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u35021060000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u35021060000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u35021060000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u35021060000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u35021060000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u35021060000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u35021060000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u35021060000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u35021060000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u35021060000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u35021060000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u35021060000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u35021060000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u35021060000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u35021060000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u35021060000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u35021060000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u35021060000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u35021060000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u35021060000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u35021060000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u35021060000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u35021060000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u35021060000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u35021060000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u35021060000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u35021060000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u35021060000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u35021060000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u35021060000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u35021060000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u35021060000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u35021060000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u35021060000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u35021060000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u35021060000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u35021060000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u35021060000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u35021060000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u35021060000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u35021060000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u35021060000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u35021060000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u35021060000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u35021060000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u35021060000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u35021060000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u35021060000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u35021060000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u35021060000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u35021060000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u35021060000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u35021060000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u35021060000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u35021060000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u35021060000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u35021060000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u35021060000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u35021060000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u35021060000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u35021060000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u35021060000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u35021060000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u35021060000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u35021060000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u35021060000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u35021060000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u34527800000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u34527800000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u34527800000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u34527800000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u34034550000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u34034550000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u34034550000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u34034550000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u34034550000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u34034550000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u34034550000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u34034550000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u34034550000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(define-constant slm-recipients
(list
{ amount: u7625570000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u7625570000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u7625570000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u7625570000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u7625570000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u7625570000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u7625570000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u7625570000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u7625570000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u7625570000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u7527800000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u7527800000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u7527800000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u7527800000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u7527800000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u7527800000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u7527800000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u7527800000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u7527800000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u7527800000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u7527800000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u7527800000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u7527800000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u7527800000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u7430040000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u7430040000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u7430040000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u7430040000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u7430040000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u7430040000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u7430040000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u7332270000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u7332270000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u7332270000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u7332270000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u7332270000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u7332270000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u7332270000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u7234510000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u7234510000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u7234510000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u7234510000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u7234510000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u7234510000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u7234510000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u7136750000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u7136750000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u7136750000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u7136750000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u7136750000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u7136750000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u7136750000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u7136750000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u7136750000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u7136750000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u7136750000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u7136750000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u7136750000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u7136750000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u7038980000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u6941220000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u6941220000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u6941220000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u6941220000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u6941220000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u6941220000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u6941220000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u6941220000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u6941220000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u6941220000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u6941220000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u6941220000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u6941220000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u6941220000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u6941220000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u6941220000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u6941220000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u6941220000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u6941220000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u6941220000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u6941220000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u6941220000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u6941220000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u6941220000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u6941220000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u6941220000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u6941220000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u6941220000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u6941220000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u6941220000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u6941220000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u6941220000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u6941220000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u6941220000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u6941220000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u6941220000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u6941220000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u6941220000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u6941220000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u6941220000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u6941220000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u6941220000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u6941220000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u6941220000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u6941220000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u6941220000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u6941220000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u6941220000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u6941220000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u6941220000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u6941220000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u6941220000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u6941220000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u6941220000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u6941220000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u6941220000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u6941220000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u6941220000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u6941220000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u6941220000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u6941220000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u6941220000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u6941220000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u6941220000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u6941220000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u6941220000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u6941220000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u6941220000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u6941220000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u6941220000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u6941220000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u6941220000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u6941220000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u6941220000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u6941220000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u6941220000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u6941220000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u6941220000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u6941220000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u6941220000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u6941220000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u6941220000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u6941220000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u6941220000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u6941220000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u6941220000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u6941220000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u6941220000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u6941220000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u6941220000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u6941220000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u6941220000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u6941220000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u6941220000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u6941220000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u6941220000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u6941220000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u6941220000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u6941220000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u6941220000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u6941220000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u6941220000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u6941220000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u6941220000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u6941220000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u6941220000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u6941220000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u6941220000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u6941220000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u6941220000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u6941220000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u6941220000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u6941220000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u6941220000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u6941220000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u6941220000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u6941220000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u6941220000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u6941220000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u6941220000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u6941220000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u6941220000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u6941220000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u6941220000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u6941220000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u6941220000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u6941220000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u6843460000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u6843460000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u6843460000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u6843460000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u6745690000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u6745690000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u6745690000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u6745690000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u6745690000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u6745690000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u6745690000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u6745690000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u6745690000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(define-constant diko-recipients
(list
{ amount: u15060490000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u15060490000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u15060490000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u15060490000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u15060490000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u15060490000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u15060490000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u15060490000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u15060490000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u15060490000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u14867410000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u14867410000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u14867410000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u14867410000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u14867410000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u14867410000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u14867410000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u14867410000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u14867410000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u14867410000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u14867410000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u14867410000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u14867410000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u14867410000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u14674320000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u14674320000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u14674320000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u14674320000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u14674320000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u14674320000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u14674320000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u14481240000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u14481240000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u14481240000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u14481240000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u14481240000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u14481240000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u14481240000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u14288160000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u14288160000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u14288160000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u14288160000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u14288160000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u14288160000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u14288160000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u14095080000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u14095080000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u14095080000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u14095080000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u14095080000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u14095080000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u14095080000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u14095080000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u14095080000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u14095080000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u14095080000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u14095080000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u14095080000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u14095080000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u13901990000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u13708910000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u13708910000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u13708910000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u13708910000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u13708910000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u13708910000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u13708910000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u13708910000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u13708910000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u13708910000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u13708910000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u13708910000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u13708910000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u13708910000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u13708910000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u13708910000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u13708910000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u13708910000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u13708910000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u13708910000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u13708910000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u13708910000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u13708910000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u13708910000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u13708910000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u13708910000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u13708910000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u13708910000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u13708910000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u13708910000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u13708910000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u13708910000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u13708910000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u13708910000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u13708910000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u13708910000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u13708910000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u13708910000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u13708910000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u13708910000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u13708910000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u13708910000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u13708910000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u13708910000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u13708910000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u13708910000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u13708910000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u13708910000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u13708910000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u13708910000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u13708910000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u13708910000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u13708910000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u13708910000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u13708910000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u13708910000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u13708910000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u13708910000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u13708910000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u13708910000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u13708910000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u13708910000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u13708910000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u13708910000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u13708910000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u13708910000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u13708910000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u13708910000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u13708910000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u13708910000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u13708910000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u13708910000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u13708910000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u13708910000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u13708910000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u13708910000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u13708910000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u13708910000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u13708910000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u13708910000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u13708910000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u13708910000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u13708910000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u13708910000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u13708910000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u13708910000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u13708910000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u13708910000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u13708910000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u13708910000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u13708910000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u13708910000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u13708910000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u13708910000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u13708910000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u13708910000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u13708910000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u13708910000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u13708910000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u13708910000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u13708910000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u13708910000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u13708910000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u13708910000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u13708910000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u13708910000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u13708910000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u13708910000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u13708910000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u13708910000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u13708910000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u13708910000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u13708910000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u13708910000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u13708910000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u13708910000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u13708910000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u13708910000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u13708910000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u13708910000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u13708910000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u13708910000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u13708910000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u13708910000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u13708910000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u13708910000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u13708910000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u13515830000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u13515830000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u13515830000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u13515830000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u13322740000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u13322740000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u13322740000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u13322740000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u13322740000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u13322740000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u13322740000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u13322740000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u13322740000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(define-constant auto-alex-recipients
(list
{ amount: u16154190000, to: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u16154190000, to: 'SP2QXFFTPXQ3XV671GSPE4F717R0DJ4WPERDH7THQ }
{ amount: u16154190000, to: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u16154190000, to: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u16154190000, to: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u16154190000, to: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u16154190000, to: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u16154190000, to: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u16154190000, to: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u16154190000, to: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u15947080000, to: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u15947080000, to: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u15947080000, to: 'SP21XDNXZSVTNWPTNP2VJBE9N9ENY9Y7TDN68YBFR }
{ amount: u15947080000, to: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u15947080000, to: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u15947080000, to: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u15947080000, to: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u15947080000, to: 'SP3DVXPRV0D99C6KGMTQE2H9W15A1J147NX5M685H }
{ amount: u15947080000, to: 'SP3HG3RE54CFTSWPZMQTNTDS50TFBP0W93T2FN6WZ }
{ amount: u15947080000, to: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u15947080000, to: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u15947080000, to: 'SP7C9MXAHD66DATY77PDB2B7AW94W3S5GP2ME673 }
{ amount: u15947080000, to: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u15947080000, to: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u15739980000, to: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u15739980000, to: 'SP22Y9A5Z73NEYK66PKZSN7ZER3HF3KKRVVFRGFDJ }
{ amount: u15739980000, to: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u15739980000, to: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u15739980000, to: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u15739980000, to: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u15739980000, to: 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P }
{ amount: u15532870000, to: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u15532870000, to: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u15532870000, to: 'SP1PT7QVNM26XE7BYMPHPV7T7ZTR7J1ZRZGKWJ8F }
{ amount: u15532870000, to: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u15532870000, to: 'SP2MT9KM3H9AM79EW0ER6SQTWJB2HDB3CY6GPKH8V }
{ amount: u15532870000, to: 'SP3EDVFJVM02CJ8NCW61RJPJW4YHYB4PKCBJQQSFW }
{ amount: u15532870000, to: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u15325770000, to: 'SP10684293HDVPSK21V23494HREQGS589A0M555BD }
{ amount: u15325770000, to: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u15325770000, to: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u15325770000, to: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u15325770000, to: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u15325770000, to: 'SP5G837VM5RX7QNGJMMJX98004WCD6S78KDJFX1J }
{ amount: u15325770000, to: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u15118660000, to: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u15118660000, to: 'SP216YJTD76S81ZXKVHEBTJT77PSVR33AZ57548V3 }
{ amount: u15118660000, to: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u15118660000, to: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u15118660000, to: 'SP2N5R43N2SHTRKQ2VRXHW68Z847GSK7EMVKWSQWK }
{ amount: u15118660000, to: 'SP310BPXWE711D7HP913S9H5NDMQHS2KZ4EDZ1HCQ }
{ amount: u15118660000, to: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u15118660000, to: 'SP32WD90DX65W2D3BKXRYF29CTXK3917WKVYCAVBD }
{ amount: u15118660000, to: 'SP39S7FG6E2N15FZR6HG6DNKDRJXCH77WDRH1XWNK }
{ amount: u15118660000, to: 'SP3G21H3FN257BVBCTHCDW5ZQCBE2ES0FC3MA3VFD }
{ amount: u15118660000, to: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u15118660000, to: 'SP3QEHWDWT8NM3CJDV6SQBH3A5HMQJH7V2JMTS4AR }
{ amount: u15118660000, to: 'SP3RBA1QKQCQYDSN7EF4V9M1Z038PZ17ZZEK3DRVW }
{ amount: u15118660000, to: 'SP6HYDNWHSSTZFS0HAR4FDRPXK3EK603S0BYJHFJ }
{ amount: u14911560000, to: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u14704450000, to: 'SP10NADH8HHA8X7B2BRZB3QC8JK8M4JM2Q92S4WSE }
{ amount: u14704450000, to: 'SP11BGZ1WE4A7HYR2C1N75SNKAWPYZ6X7J3SSSGX7 }
{ amount: u14704450000, to: 'SP11HNDGJMVXNGBQY6ZRR1M5BJVGPZ56Y44PPTWGC }
{ amount: u14704450000, to: 'SP125RN8GN7XRPC80H6SPGVEC9YRXH8WC0A2SYM8P }
{ amount: u14704450000, to: 'SP141MXMRFM9BFGP21ZNHYEAHZCTQ01G65WBPCNF7 }
{ amount: u14704450000, to: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u14704450000, to: 'SP14PPRKPJR3SXFP4Y4NAWCBJHY6EQJG21HGXSNE7 }
{ amount: u14704450000, to: 'SP14TXYXZGH168NQP4BVETCB1RXJH72HHBMZ1GKQJ }
{ amount: u14704450000, to: 'SP157C34DWVB55JK9NKC08Z6VXY7JC8ANA9C3DBHN }
{ amount: u14704450000, to: 'SP163FQC5BENRJ23Y7N73JK55FX7WBYBYEZNYZ8PM }
{ amount: u14704450000, to: 'SP16CHEC7VYCCDPPVGG74FZ4PFBW1X1KY8ZS00PZ2 }
{ amount: u14704450000, to: 'SP19QJFY8R96JAAD6NREATAEZHPQGJH35STE5N80A }
{ amount: u14704450000, to: 'SP1AHZYW0XA1SXGQSBJAHZVXX56XPKWWYMDAM4TD6 }
{ amount: u14704450000, to: 'SP1B4KP9277KHDG25EF7NYG76SVBYR2P1242NGXXH }
{ amount: u14704450000, to: 'SP1BD7EHSSXCTGJF1AF83ZBBRKQBAF5QFVZMDQD46 }
{ amount: u14704450000, to: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u14704450000, to: 'SP1D7ACHGNBZ0YJ2HY3T9QBSNY2FTVN52H2VHCHFQ }
{ amount: u14704450000, to: 'SP1D7GMQ7FKA6HZWDD6M9BTRF4EEQA7MXYPD8E5RM }
{ amount: u14704450000, to: 'SP1D92FFYE26G04GNJP0R0DB4CMWP3Y96BAWVMFBX }
{ amount: u14704450000, to: 'SP1DYS9H12KX5ASPW599KTB0CWN2CNRF5WDR48WJZ }
{ amount: u14704450000, to: 'SP1EHAVX9T3J1BXTHTBQERSJET3Q686EY1333DY96 }
{ amount: u14704450000, to: 'SP1FCANTRWKVW62P2G0A3Z3RDTDCAYVR4W82RKR5P }
{ amount: u14704450000, to: 'SP1FRD1TWAQMQWS0FSCWWK5KTGYC1SN3SKAQ6WMRV }
{ amount: u14704450000, to: 'SP1FWRREGT1E95SRHV39BNM4J8EK1NTPYX0R4TJ8R }
{ amount: u14704450000, to: 'SP1G65H0GJ1AH9GX0ANV60MDFN35362WDWTNN0EA3 }
{ amount: u14704450000, to: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u14704450000, to: 'SP1JFAVP4C7XX7B0J96TC08RW7R8Q9P822C4Y51ZQ }
{ amount: u14704450000, to: 'SP1K0JXCAW9C9X30EQ6QDTWA1RWG6FEKKMJEBYP1V }
{ amount: u14704450000, to: 'SP1KHX4WFK29PTASXN3REB1DDXQBMHSJ40XGXXVEP }
{ amount: u14704450000, to: 'SP1KPFP6MFWZC53XCWGSC306W4F4B2MZX432YJZ8W }
{ amount: u14704450000, to: 'SP1MKP1XN4YEJ9DXPE1XMWR3NG14422DYZ7AN3G23 }
{ amount: u14704450000, to: 'SP1MQKVWNN207VKSVRZAKHPK8VFP8C5F8F5MJTMAM }
{ amount: u14704450000, to: 'SP1NKZ6ZRRV56EBBP5MSQFBC6552REETXT7VZ0B5G }
{ amount: u14704450000, to: 'SP1P0NPGM8DAFPGJPGCR2KV460XJPY0AAZQJPP81T }
{ amount: u14704450000, to: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u14704450000, to: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u14704450000, to: 'SP1RTMEYS16H3Q0W01K2PXEAD6083B6GV5KCJXTB7 }
{ amount: u14704450000, to: 'SP1TPJRWWK7PEMV2MD13VEN4PQPEYHYEP311ASMT2 }
{ amount: u14704450000, to: 'SP1W0VT92F3VT1B1FB9MHW8FAQCR3J3RXEA028ACR }
{ amount: u14704450000, to: 'SP1Y5YMY07WDW9TBXDXMGZER01HPTEC0BB7JF9MWP }
{ amount: u14704450000, to: 'SP1YDP17YV09M8RTTMTZQ52G97RH3EKRG1N4ERD5S }
{ amount: u14704450000, to: 'SP23K6XWVC24MYWMGN7YKY6ESDVT7EE13AFEZ7Z2A }
{ amount: u14704450000, to: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u14704450000, to: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u14704450000, to: 'SP26KDWY7JKQX97GWXZ0T584C1TBD381A8BKBKEFQ }
{ amount: u14704450000, to: 'SP294C8FGV02EGJNNS43E0TC24HPZDBTBJWS1T3H6 }
{ amount: u14704450000, to: 'SP29FRF9JH27MXYNTPW7BFP43G1PST1Y8JQCMESHJ }
{ amount: u14704450000, to: 'SP2A1B37MK1K1HPS6QC30ZW7K91Q1VP2TT5A8WSHB }
{ amount: u14704450000, to: 'SP2AVX1SSF4R7K37Q68PVB0023BPJWWGK7KNMT6SY }
{ amount: u14704450000, to: 'SP2BEMV48RFCWHSFXK5X39GQRWF5Q10SV8PWWYYBV }
{ amount: u14704450000, to: 'SP2BHK4G7S65YCYTMYENR3CT229CS8244RCREW7WT }
{ amount: u14704450000, to: 'SP2BW0ENZ3HZQAZD46CCGNR03EMN0XTZ6AJC9S8XJ }
{ amount: u14704450000, to: 'SP2C25BBA754XQQ604MRGSTDS6CTCP8SGAHNQZS30 }
{ amount: u14704450000, to: 'SP2EVC7VHRSKG2579G1D76X8NQTKM6JMZQK5WA9B }
{ amount: u14704450000, to: 'SP2FRPRY644DKP3XM09BX4EEEDEDHPSMH1ME606J9 }
{ amount: u14704450000, to: 'SP2G83DYMADME2JXZEA5QW78JFGCSC6F456T4G4WG }
{ amount: u14704450000, to: 'SP2JC71PDW1GEX0BGV31R7JMZYDP0G1T603WMM873 }
{ amount: u14704450000, to: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u14704450000, to: 'SP2K5RHXFNETG9TEJMX27T8KGC694XPGX0CFTTNZD }
{ amount: u14704450000, to: 'SP2MYYP0JYHDA6JTKCKWJFF7DAW8RA08BVKWH3RA }
{ amount: u14704450000, to: 'SP2NT8NWC7RA0Z7Y38V4RZPD4SW44MMQT9APZCA6J }
{ amount: u14704450000, to: 'SP2PJYZ4RGY2SFBJCVC3ZAKEHK4N1H9896KS0YJKN }
{ amount: u14704450000, to: 'SP2Q7AAQ4VTRWWM5C4XR6K8C372WDWS7CP7H70C9Y }
{ amount: u14704450000, to: 'SP2R6D0F2DKQBQSAWKATFW03YNNND2Y44X334TCFJ }
{ amount: u14704450000, to: 'SP2RMZEG2EJMT2JY45S5Z029MXT5X55PEZW09MYEB }
{ amount: u14704450000, to: 'SP2S1T4458MYWT8C75XEEV1GX6971PZZF8TYACB0B }
{ amount: u14704450000, to: 'SP2T2EDKSEPCH2MQ5S8E0DH5FRH4Z54RH1VQYCX9C }
{ amount: u14704450000, to: 'SP2T9HMZ65YQZZ1YG1S5WYDGZPHB0V97RQNSYSACT }
{ amount: u14704450000, to: 'SP2TZ6GJDJ2VKH4KZT2ZTXY7R0SPHMMJ4FZ6PBKTN }
{ amount: u14704450000, to: 'SP2Y2SGAWNXWW4FXZVE9A2F0MADDQERA25BQ0YCKZ }
{ amount: u14704450000, to: 'SP2ZH6FY1ESE2JTWD4YY7Y0CP771VFSGQCNBS9PX1 }
{ amount: u14704450000, to: 'SP2ZMSS618QS0E05FPTB29JRJCH9H2B2R9E014V2B }
{ amount: u14704450000, to: 'SP312SN1CPHHYFHK2M2HXPV7VGS168S0T02TEFSCD }
{ amount: u14704450000, to: 'SP32BZ2KN3JZA4YVHKXV11E4FM17FQH22KCJCTKBK }
{ amount: u14704450000, to: 'SP33CM2QBM1P0R8EMG03X1FSSZ18YWPP7F4QY0125 }
{ amount: u14704450000, to: 'SP35PFE3KZ186BN84Z4XFZBD49RYV7ABJC8YJ48FS }
{ amount: u14704450000, to: 'SP35ZBYDB7GGKBYZJ4ZSKN9C58HEGA23WYT2QJHZK }
{ amount: u14704450000, to: 'SP376J3SWGHZRB7P0KC3D8ARZGHTRCYY1N3MKEN57 }
{ amount: u14704450000, to: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u14704450000, to: 'SP3AANCSWHST77ENGZZDTDDEWJK3CF98QGKZYW7F8 }
{ amount: u14704450000, to: 'SP3BJCNCYD8XBBNWTZM96N4PE1HPQA2ZB7ZE00KCH }
{ amount: u14704450000, to: 'SP3BM2WSZRK7N8G0YQ8KS8XRC8AJN38PJXCWZ2VSG }
{ amount: u14704450000, to: 'SP3CGZD0JNTRA7CNSSJN1ERW8G6RNMXVNAPBECH22 }
{ amount: u14704450000, to: 'SP3D9FTZVJ5ZK06F3R1KQ57Z5ZP3WZ2WBMD6TCWVZ }
{ amount: u14704450000, to: 'SP3DPAP6RNXXD93F0G8M72Y25NDR9K8909TE1G5EZ }
{ amount: u14704450000, to: 'SP3FSTEPR10F0DW31XYKFS8Q28K7PY5SQMFZSFTK4 }
{ amount: u14704450000, to: 'SP3GABGDP9836SP4242DX64EY338WQFEWRBHF5DAT }
{ amount: u14704450000, to: 'SP3GNKB5CV3N7VC5D6QY0K22CXB6NVPVBKB1W3AP4 }
{ amount: u14704450000, to: 'SP3H6S7B2S36M1B5YYS33RB8DEJRDQEM1082FBRJA }
{ amount: u14704450000, to: 'SP3HDX97MNEYY0VHPD59TC71YCBB5HJYEG2WGEHJR }
{ amount: u14704450000, to: 'SP3HXH2QW4S8B3K0XB82JFK3QA74HYQPM1MHNCA88 }
{ amount: u14704450000, to: 'SP3J6515F0XX51MZV7RDV0FVF1X2CZDVKEN0A44Y9 }
{ amount: u14704450000, to: 'SP3KH3QMC5VNKMC80SNVCCP7SV6V1QQJ45D46VRYK }
{ amount: u14704450000, to: 'SP3M9KQ6J7R9P1483N5NWP808RP6Q4N5W846CDXSE }
{ amount: u14704450000, to: 'SP3MGZZ58MD96X3B8KSQ6204KNNFB2T09YMPPXTB9 }
{ amount: u14704450000, to: 'SP3MR88HZTMG2CPMZ3YT8AN804ZHX3G2BX35TDXX4 }
{ amount: u14704450000, to: 'SP3Q20QHZN98AG2MZ3FQNTD0WV7R2YGF4S0FRMWGF }
{ amount: u14704450000, to: 'SP3QXS8DZNV0PGXRHN2H63CR39EVE7FZ94DR6X1JS }
{ amount: u14704450000, to: 'SP3RGQ517XSD3KMFCDK0XK3SX0VGY032HARKJ2RSF }
{ amount: u14704450000, to: 'SP3VTHA1PDZC0A9YFCGZYSF29SN3MW5DX3XH6JBJ1 }
{ amount: u14704450000, to: 'SP3WD2VK4PK427H8YXNR0A6KD5VJTB56QQSDE6QSV }
{ amount: u14704450000, to: 'SP3WJ1GC2N48A73CMXPCEDSC0JSH2XE7Z7V3KDD42 }
{ amount: u14704450000, to: 'SP3XDCDATEXDCGAW6J3X4QPDBN5416H8EZNWVGD20 }
{ amount: u14704450000, to: 'SP3Z3BDRVK0NND1GGKEYTMD2WR0DPC91YCVC3EW8P }
{ amount: u14704450000, to: 'SP493DYMW7MJWMSDMDQJJWGQGE882FBP7PX0DRY7 }
{ amount: u14704450000, to: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u14704450000, to: 'SP6V11WPVKF8T0JV2H6D0PC58W4HK4H75T6Q2ZDE }
{ amount: u14704450000, to: 'SP7JCZ2PH2DZ4CCW25YAEQ46DMGFM5HMBH1VX327 }
{ amount: u14704450000, to: 'SP90X95PGBVKYW96CESTZR8CT2X4GSG3ZZZDWRPV }
{ amount: u14704450000, to: 'SPAG1NGVGKPFS2DRA4Q67SWM491QGKE4JAW5RPE1 }
{ amount: u14704450000, to: 'SPAYEGS589W1A8S6K1FBT45BF3J341FSNJZAYPP4 }
{ amount: u14704450000, to: 'SPB57AJPS1PGBE41FKJEB26RQETTSM5KYTPK1EGR }
{ amount: u14704450000, to: 'SPE105GTKWXM6JWQ1ET6NSREBWQ6783HB5GDJETD }
{ amount: u14704450000, to: 'SPE4J2BEJRK5FDQ3GACFPNC8RJR3JM866M8B8CX7 }
{ amount: u14704450000, to: 'SPE9SHMB8YB0CNRHGQ87AEPT5FXXS12RD3C0SA1G }
{ amount: u14704450000, to: 'SPGDWFYBRT4W3B1GD287NDHJMYSQ5WFXWZZNEXAW }
{ amount: u14704450000, to: 'SPGER9J8E2RAYK7K1DQRXDBD158JDWQKYFAV7MZQ }
{ amount: u14704450000, to: 'SPGR2BHKW2Z57HZW8Q6Y37KM5WECJ1W6FWMX1T4A }
{ amount: u14704450000, to: 'SPGVE450JKH90SVAQ42D5Q6VW8NV76VFHB85RVP8 }
{ amount: u14704450000, to: 'SPHJ97FTH1WSZ4JN74ZR55899JK54K57CJ0BNXNP }
{ amount: u14704450000, to: 'SPN3W3X8F9N79HSRK0MTZ6KDN25KHVXBFN33HPQQ }
{ amount: u14704450000, to: 'SPN8QT33E9M7YB42KSH8AZAS237RBTW6FDG1N9N4 }
{ amount: u14704450000, to: 'SPPW2A6J1J95C6BTF0S9V1HK7V79238THT4R3K98 }
{ amount: u14704450000, to: 'SPQ58Q4479ZFK12T1CNP8S11YJYZR7AD3YH72TD4 }
{ amount: u14704450000, to: 'SPSP9JXDZX6GD2E05M4KMK3WSSDZFK444K4MBWE5 }
{ amount: u14704450000, to: 'SPTP78RPCVE5SMAQMCGBXVQCY3Q2PP49GFQ1E5TG }
{ amount: u14704450000, to: 'SPX2K9D7DMKY2WM4J9V65RQ8TSF01R1GGB7ZG75W }
{ amount: u14497350000, to: 'SP18E3TJ4MX9R140QHSAWEGAJ1YTGGGCVEA8ADH4H }
{ amount: u14497350000, to: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u14497350000, to: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u14497350000, to: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u14290240000, to: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u14290240000, to: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u14290240000, to: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u14290240000, to: 'SP29W56AAZFJ2W8KKG23SJNP20NY8K68G551AMJEM }
{ amount: u14290240000, to: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u14290240000, to: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u14290240000, to: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u14290240000, to: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u14290240000, to: 'SPESYQ0AXGNVFS3WC9DG3A47QCTBN71FWAGE9YMW }
)
)
(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)
)
)