agp082

(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 (pow u10 u8))
(define-constant stx-amount (* u51470 ONE_8))
(define-constant auto-alex-amount (* u14176 ONE_8))
(define-constant mia-amount (* u108900 ONE_8))
(define-constant nycc-amount (* u201815 ONE_8))
(define-constant diko-amount (* u79000 ONE_8))
(define-constant stx-recipients
	(list
{ amount: u10189590000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u10189590000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u10189590000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u10189590000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u10189590000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u10189590000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u10189590000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u10189590000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u10189590000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u10189590000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u10189590000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u10189590000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u10189590000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u10189590000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u10189590000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u10189590000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u10189590000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u10189590000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u10189590000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u10189590000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u10189590000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u10189590000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u10189590000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u10189590000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u10189590000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u10189590000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u10189590000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u10189590000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u10189590000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u10189590000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u10189590000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u10189590000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u10189590000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u10189590000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u10189590000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u10189590000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u10189590000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u10189590000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u10189590000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u10189590000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u10189590000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u10189590000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u10189590000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u10189590000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u10189590000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u10189590000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u10189590000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u10189590000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u10189590000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u10189590000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u10189590000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u10189590000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u10189590000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u10189590000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u10189590000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u10189590000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u10189590000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u10189590000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u10189590000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u10189590000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u10189590000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u10189590000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u10189590000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u10189590000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u10189590000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u10189590000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u10189590000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u10189590000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u10189590000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u10189590000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u10189590000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u10189590000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u10189590000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u10189590000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u10189590000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u10189590000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u10189590000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u10189590000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u10189590000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u10189590000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u10189590000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u10189590000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u10189590000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u10189590000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u10189590000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u10189590000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u10189590000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u10189590000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u10189590000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u10189590000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u10189590000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u10189590000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u10189590000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u10189590000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u10189590000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u10189590000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u10189590000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u10189590000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u10189590000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u10189590000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u10189590000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u10189590000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u10189590000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u10189590000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u10189590000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u10189590000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u10189590000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u10189590000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u10189590000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u10189590000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u10189590000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u10189590000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u10189590000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u10189590000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u10189590000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u10189590000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u10189590000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u10189590000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u10189590000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u10189590000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u10189590000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u10189590000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u10189590000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u10189590000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u10189590000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u10189590000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u10189590000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u10189590000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u10189590000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u10189590000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u10189590000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u10189590000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u10189590000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u10189590000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u10189590000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u10189590000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u10189590000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u10189590000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u10189590000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u10189590000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u10189590000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u10189590000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u10189590000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u10189590000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u10189590000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u10189590000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u10189590000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u10189590000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u10189590000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u10189590000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u10189590000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u10189590000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u10189590000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u10189590000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u10189590000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u10189590000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u10189590000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u10189590000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u10189590000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u10189590000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u10189590000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u10189590000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u10189590000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u10189590000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u10189590000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u10189590000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u10189590000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u10189590000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u10189590000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u10189590000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u10189590000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u10189590000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u10189590000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u10189590000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u10189590000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u10189590000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u10189590000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u10189590000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u10189590000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u10189590000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u10189590000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u10189590000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u9937990000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u9937990000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u9937990000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u9937990000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u9937990000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u9937990000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u9937990000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u9937990000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u9937990000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u9937990000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u9937990000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u9937990000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u9937990000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u9812200000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u9812200000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u9812200000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(define-constant mia-recipients
	(list
{ amount: u21559090000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u21559090000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u21559090000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u21559090000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u21559090000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u21559090000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u21559090000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u21559090000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u21559090000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u21559090000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u21559090000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u21559090000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u21559090000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u21559090000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u21559090000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u21559090000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u21559090000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u21559090000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u21559090000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u21559090000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u21559090000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u21559090000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u21559090000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u21559090000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u21559090000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u21559090000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u21559090000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u21559090000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u21559090000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u21559090000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u21559090000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u21559090000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u21559090000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u21559090000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u21559090000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u21559090000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u21559090000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u21559090000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u21559090000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u21559090000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u21559090000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u21559090000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u21559090000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u21559090000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u21559090000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u21559090000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u21559090000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u21559090000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u21559090000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u21559090000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u21559090000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u21559090000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u21559090000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u21559090000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u21559090000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u21559090000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u21559090000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u21559090000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u21559090000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u21559090000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u21559090000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u21559090000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u21559090000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u21559090000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u21559090000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u21559090000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u21559090000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u21559090000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u21559090000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u21559090000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u21559090000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u21559090000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u21559090000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u21559090000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u21559090000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u21559090000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u21559090000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u21559090000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u21559090000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u21559090000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u21559090000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u21559090000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u21559090000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u21559090000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u21559090000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u21559090000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u21559090000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u21559090000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u21559090000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u21559090000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u21559090000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u21559090000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u21559090000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u21559090000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u21559090000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u21559090000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u21559090000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u21559090000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u21559090000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u21559090000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u21559090000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u21559090000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u21559090000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u21559090000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u21559090000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u21559090000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u21559090000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u21559090000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u21559090000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u21559090000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u21559090000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u21559090000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u21559090000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u21559090000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u21559090000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u21559090000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u21559090000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u21559090000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u21559090000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u21559090000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u21559090000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u21559090000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u21559090000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u21559090000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u21559090000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u21559090000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u21559090000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u21559090000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u21559090000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u21559090000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u21559090000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u21559090000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u21559090000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u21559090000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u21559090000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u21559090000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u21559090000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u21559090000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u21559090000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u21559090000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u21559090000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u21559090000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u21559090000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u21559090000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u21559090000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u21559090000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u21559090000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u21559090000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u21559090000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u21559090000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u21559090000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u21559090000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u21559090000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u21559090000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u21559090000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u21559090000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u21559090000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u21559090000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u21559090000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u21559090000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u21559090000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u21559090000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u21559090000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u21559090000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u21559090000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u21559090000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u21559090000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u21559090000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u21559090000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u21559090000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u21559090000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u21559090000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u21559090000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u21559090000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u21559090000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u21559090000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u21559090000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u21559090000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u21559090000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u21559090000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u21559090000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u21559090000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u21026760000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u21026760000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u21026760000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u21026760000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u21026760000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u21026760000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u21026760000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u21026760000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u21026760000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u21026760000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u21026760000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u21026760000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u21026760000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u20760600000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u20760600000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u20760600000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(define-constant nycc-recipients
	(list
{ amount: u39953600000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u39953600000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u39953600000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u39953600000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u39953600000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u39953600000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u39953600000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u39953600000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u39953600000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u39953600000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u39953600000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u39953600000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u39953600000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u39953600000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u39953600000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u39953600000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u39953600000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u39953600000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u39953600000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u39953600000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u39953600000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u39953600000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u39953600000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u39953600000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u39953600000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u39953600000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u39953600000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u39953600000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u39953600000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u39953600000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u39953600000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u39953600000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u39953600000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u39953600000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u39953600000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u39953600000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u39953600000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u39953600000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u39953600000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u39953600000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u39953600000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u39953600000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u39953600000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u39953600000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u39953600000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u39953600000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u39953600000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u39953600000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u39953600000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u39953600000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u39953600000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u39953600000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u39953600000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u39953600000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u39953600000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u39953600000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u39953600000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u39953600000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u39953600000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u39953600000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u39953600000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u39953600000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u39953600000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u39953600000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u39953600000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u39953600000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u39953600000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u39953600000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u39953600000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u39953600000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u39953600000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u39953600000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u39953600000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u39953600000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u39953600000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u39953600000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u39953600000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u39953600000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u39953600000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u39953600000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u39953600000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u39953600000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u39953600000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u39953600000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u39953600000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u39953600000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u39953600000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u39953600000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u39953600000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u39953600000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u39953600000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u39953600000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u39953600000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u39953600000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u39953600000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u39953600000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u39953600000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u39953600000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u39953600000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u39953600000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u39953600000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u39953600000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u39953600000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u39953600000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u39953600000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u39953600000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u39953600000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u39953600000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u39953600000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u39953600000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u39953600000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u39953600000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u39953600000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u39953600000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u39953600000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u39953600000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u39953600000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u39953600000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u39953600000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u39953600000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u39953600000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u39953600000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u39953600000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u39953600000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u39953600000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u39953600000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u39953600000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u39953600000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u39953600000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u39953600000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u39953600000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u39953600000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u39953600000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u39953600000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u39953600000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u39953600000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u39953600000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u39953600000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u39953600000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u39953600000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u39953600000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u39953600000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u39953600000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u39953600000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u39953600000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u39953600000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u39953600000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u39953600000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u39953600000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u39953600000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u39953600000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u39953600000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u39953600000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u39953600000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u39953600000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u39953600000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u39953600000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u39953600000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u39953600000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u39953600000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u39953600000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u39953600000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u39953600000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u39953600000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u39953600000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u39953600000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u39953600000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u39953600000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u39953600000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u39953600000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u39953600000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u39953600000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u39953600000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u39953600000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u39953600000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u39953600000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u39953600000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u39953600000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u39953600000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u39953600000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u39953600000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u39953600000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u38967090000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u38967090000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u38967090000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u38967090000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u38967090000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u38967090000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u38967090000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u38967090000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u38967090000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u38967090000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u38967090000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u38967090000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u38967090000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u38473840000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u38473840000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u38473840000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(define-constant slm-recipients
	(list
{ amount: u7918860000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u7918860000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u7918860000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u7918860000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u7918860000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u7918860000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u7918860000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u7918860000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u7918860000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u7918860000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u7918860000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u7918860000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u7918860000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u7918860000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u7918860000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u7918860000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u7918860000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u7918860000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u7918860000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u7918860000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u7918860000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u7918860000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u7918860000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u7918860000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u7918860000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u7918860000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u7918860000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u7918860000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u7918860000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u7918860000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u7918860000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u7918860000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u7918860000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u7918860000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u7918860000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u7918860000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u7918860000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u7918860000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u7918860000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u7918860000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u7918860000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u7918860000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u7918860000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u7918860000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u7918860000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u7918860000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u7918860000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u7918860000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u7918860000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u7918860000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u7918860000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u7918860000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u7918860000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u7918860000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u7918860000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u7918860000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u7918860000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u7918860000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u7918860000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u7918860000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u7918860000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u7918860000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u7918860000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u7918860000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u7918860000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u7918860000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u7918860000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u7918860000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u7918860000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u7918860000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u7918860000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u7918860000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u7918860000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u7918860000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u7918860000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u7918860000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u7918860000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u7918860000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u7918860000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u7918860000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u7918860000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u7918860000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u7918860000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u7918860000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u7918860000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u7918860000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u7918860000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u7918860000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u7918860000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u7918860000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u7918860000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u7918860000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u7918860000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u7918860000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u7918860000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u7918860000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u7918860000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u7918860000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u7918860000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u7918860000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u7918860000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u7918860000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u7918860000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u7918860000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u7918860000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u7918860000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u7918860000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u7918860000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u7918860000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u7918860000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u7918860000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u7918860000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u7918860000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u7918860000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u7918860000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u7918860000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u7918860000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u7918860000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u7918860000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u7918860000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u7918860000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u7918860000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u7918860000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u7918860000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u7918860000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u7918860000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u7918860000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u7918860000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u7918860000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u7918860000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u7918860000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u7918860000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u7918860000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u7918860000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u7918860000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u7918860000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u7918860000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u7918860000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u7918860000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u7918860000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u7918860000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u7918860000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u7918860000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u7918860000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u7918860000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u7918860000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u7918860000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u7918860000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u7918860000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u7918860000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u7918860000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u7918860000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u7918860000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u7918860000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u7918860000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u7918860000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u7918860000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u7918860000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u7918860000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u7918860000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u7918860000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u7918860000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u7918860000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u7918860000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u7918860000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u7918860000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u7918860000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u7918860000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u7918860000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u7918860000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u7918860000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u7918860000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u7918860000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u7918860000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u7918860000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u7918860000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u7918860000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u7918860000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u7918860000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u7918860000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u7918860000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u7918860000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u7723330000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u7723330000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u7723330000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u7723330000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u7723330000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u7723330000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u7723330000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u7723330000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u7723330000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u7723330000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u7723330000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u7723330000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u7723330000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u7625570000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u7625570000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u7625570000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(define-constant diko-recipients
	(list
{ amount: u15639740000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u15639740000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u15639740000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u15639740000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u15639740000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u15639740000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u15639740000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u15639740000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u15639740000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u15639740000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u15639740000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u15639740000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u15639740000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u15639740000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u15639740000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u15639740000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u15639740000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u15639740000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u15639740000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u15639740000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u15639740000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u15639740000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u15639740000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u15639740000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u15639740000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u15639740000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u15639740000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u15639740000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u15639740000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u15639740000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u15639740000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u15639740000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u15639740000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u15639740000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u15639740000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u15639740000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u15639740000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u15639740000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u15639740000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u15639740000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u15639740000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u15639740000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u15639740000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u15639740000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u15639740000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u15639740000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u15639740000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u15639740000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u15639740000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u15639740000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u15639740000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u15639740000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u15639740000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u15639740000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u15639740000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u15639740000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u15639740000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u15639740000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u15639740000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u15639740000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u15639740000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u15639740000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u15639740000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u15639740000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u15639740000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u15639740000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u15639740000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u15639740000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u15639740000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u15639740000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u15639740000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u15639740000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u15639740000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u15639740000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u15639740000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u15639740000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u15639740000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u15639740000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u15639740000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u15639740000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u15639740000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u15639740000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u15639740000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u15639740000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u15639740000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u15639740000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u15639740000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u15639740000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u15639740000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u15639740000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u15639740000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u15639740000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u15639740000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u15639740000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u15639740000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u15639740000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u15639740000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u15639740000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u15639740000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u15639740000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u15639740000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u15639740000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u15639740000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u15639740000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u15639740000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u15639740000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u15639740000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u15639740000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u15639740000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u15639740000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u15639740000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u15639740000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u15639740000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u15639740000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u15639740000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u15639740000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u15639740000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u15639740000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u15639740000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u15639740000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u15639740000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u15639740000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u15639740000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u15639740000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u15639740000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u15639740000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u15639740000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u15639740000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u15639740000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u15639740000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u15639740000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u15639740000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u15639740000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u15639740000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u15639740000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u15639740000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u15639740000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u15639740000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u15639740000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u15639740000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u15639740000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u15639740000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u15639740000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u15639740000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u15639740000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u15639740000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u15639740000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u15639740000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u15639740000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u15639740000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u15639740000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u15639740000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u15639740000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u15639740000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u15639740000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u15639740000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u15639740000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u15639740000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u15639740000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u15639740000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u15639740000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u15639740000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u15639740000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u15639740000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u15639740000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u15639740000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u15639740000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u15639740000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u15639740000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u15639740000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u15639740000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u15639740000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u15639740000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u15639740000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u15639740000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u15639740000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u15639740000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u15639740000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u15639740000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u15639740000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u15639740000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u15639740000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u15253570000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u15253570000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u15253570000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u15253570000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u15253570000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u15253570000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u15253570000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u15253570000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u15253570000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u15253570000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u15253570000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u15253570000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u15253570000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u15060490000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u15060490000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u15060490000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(define-constant auto-alex-recipients
	(list
{ amount: u16775500000, to: 'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX }
{ amount: u16775500000, to: 'SP10P9RED9Z1ZY3F791W8V7E89KKDN03A269TG6VF }
{ amount: u16775500000, to: 'SP10Z8082KF2YTBXD1SM55WN4WNY5K1GX4ZQNZBQ1 }
{ amount: u16775500000, to: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u16775500000, to: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u16775500000, to: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u16775500000, to: 'SP1956VJ2M78M6VAFXAZQG6RABE6AC4KRWFN5V9QE }
{ amount: u16775500000, to: 'SP1B95QZ28RJ5PXC3ZNXYX9J8YDDE79TEMHAHRW78 }
{ amount: u16775500000, to: 'SP1BC2G7RJXRKZDFJWJKP1E8W8A7MJHTG832DHWZN }
{ amount: u16775500000, to: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u16775500000, to: 'SP1C9B3PMQN0WQW1Q90WVWB0K9KB2VDTP38KDH5CQ }
{ amount: u16775500000, to: 'SP1CE3NQXDKCJ2KEFFGCVFA5C196S9F0RRX93HY87 }
{ amount: u16775500000, to: 'SP1DHYFDG7NETAF9DXTRKA62ZJ8RGR2X69PP4764B }
{ amount: u16775500000, to: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u16775500000, to: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u16775500000, to: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u16775500000, to: 'SP1FKRSMJADD20VRAZ0FC8EMFZ128GZSF08BEYV86 }
{ amount: u16775500000, to: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u16775500000, to: 'SP1G01K04TVDFY635HSTHNWNQSEWSR5CZF12KAXG4 }
{ amount: u16775500000, to: 'SP1GGDWH3QHWZ4PBQS332MT5C9V9ZER8W9FFKVHQA }
{ amount: u16775500000, to: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u16775500000, to: 'SP1HGEFBJH44HM82K6PNKZCXMK766A1JQJTYZCQP9 }
{ amount: u16775500000, to: 'SP1HJ5NHV2YRNN84D2WS8P93CPZPFKH92K5R6A43G }
{ amount: u16775500000, to: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u16775500000, to: 'SP1HXT635AVD4MWFGNYEC79YG4TXS5QJE9NTB3T2A }
{ amount: u16775500000, to: 'SP1N2V94Q8HEWM9PEHM50Y1CKMGF6HD93S147ZS77 }
{ amount: u16775500000, to: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u16775500000, to: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u16775500000, to: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u16775500000, to: 'SP1Q1VQYW1Z2JG3XND0252J9EYWPQ1YK6CNDN19ER }
{ amount: u16775500000, to: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u16775500000, to: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u16775500000, to: 'SP1S3KEQHR5MZEW0KVR0PE039V1RJ0WC8XRPZK56Z }
{ amount: u16775500000, to: 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ }
{ amount: u16775500000, to: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u16775500000, to: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u16775500000, to: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u16775500000, to: 'SP1W577DNF1JZJ6MXC4CTT7675KBNBS8XNSR33R1S }
{ amount: u16775500000, to: 'SP1XFBMC876H0V7W5J8EX3PE7ETV2FQT25VK547GV }
{ amount: u16775500000, to: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u16775500000, to: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u16775500000, to: 'SP203VD2GZ80DNR334PGBEB1N5CW1WYN2GCMJ5MBG }
{ amount: u16775500000, to: 'SP20CJXR9N3RNE436X7S1YKY5FZNC5RR4SBYK0YAC }
{ amount: u16775500000, to: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u16775500000, to: 'SP219CEJ1VYYD1HSV6EAXNG9BBM5MVTM6FPEDZYEZ }
{ amount: u16775500000, to: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u16775500000, to: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u16775500000, to: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u16775500000, to: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u16775500000, to: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u16775500000, to: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u16775500000, to: 'SP23Y4C801H91ME8FF6KSW4QWT5ZB48X8JADEEVM1 }
{ amount: u16775500000, to: 'SP24TD9G7JBNMGT3S3AJWBF1YS3E6A03D2ZT154J5 }
{ amount: u16775500000, to: 'SP25E9CPHMCRRQY4AGC5JDBWVNG2T09NXGW2QY77S }
{ amount: u16775500000, to: 'SP25ZWGFK622T7CQ955HMEVEJAZJK08NJSD3KK6AA }
{ amount: u16775500000, to: 'SP262H5HJMEY1MAC7X3K5K28VQARC8CB4NVHXR6T7 }
{ amount: u16775500000, to: 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV }
{ amount: u16775500000, to: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u16775500000, to: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u16775500000, to: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u16775500000, to: 'SP2AMEV9J03WP0TTDT6GEA4J4TY4CMD90XTR73BWG }
{ amount: u16775500000, to: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u16775500000, to: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u16775500000, to: 'SP2FPGSACWER1EKCQWDF3MF2G9406X5PS1MXXEZ26 }
{ amount: u16775500000, to: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u16775500000, to: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u16775500000, to: 'SP2HED4RQ8CN0YZCRG492523W0563K0Y23H19RBY6 }
{ amount: u16775500000, to: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u16775500000, to: 'SP2JECMDGWY63Q3JB58CWATJ9TJSZ1G6N9H3S167W }
{ amount: u16775500000, to: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u16775500000, to: 'SP2M0R29GHC3934XYTW6XADWXX1KAGGG361W5TP43 }
{ amount: u16775500000, to: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u16775500000, to: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u16775500000, to: 'SP2NK7W31G2N49M2KBPH1B3YGSJTRH0Y4RST6S16N }
{ amount: u16775500000, to: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u16775500000, to: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u16775500000, to: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u16775500000, to: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u16775500000, to: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u16775500000, to: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u16775500000, to: 'SP2T3NXT15B96V46A5CA6WE2GT1D253DEPHDQVR5F }
{ amount: u16775500000, to: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u16775500000, to: 'SP2V0BTG3PA4WM2VS1BDEQJJPTENT9DDF27EV4WD2 }
{ amount: u16775500000, to: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u16775500000, to: 'SP2WZQGRT0T0TNDTCN2PWGCSP7NGMWJE88AY347KX }
{ amount: u16775500000, to: 'SP2XCKTG8E2D32K08E0W3MRHW1SAMZZNPHMC6D64V }
{ amount: u16775500000, to: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u16775500000, to: 'SP2ZD2BH8QBMBR6MQJW7XNP9C0BCM1WGKV1EKFCG7 }
{ amount: u16775500000, to: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u16775500000, to: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u16775500000, to: 'SP30GWW7TZQHB0C6WYXH36MB6GTYWNTAXPWW96NW7 }
{ amount: u16775500000, to: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u16775500000, to: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u16775500000, to: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u16775500000, to: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u16775500000, to: 'SP34YX1381D6K5PKCTAFX9QZ2WFRTE3FSP9BFMNM3 }
{ amount: u16775500000, to: 'SP35460EZ7NFS8E68QBQV7G9702B38C31SBMH0MVY }
{ amount: u16775500000, to: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u16775500000, to: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u16775500000, to: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u16775500000, to: 'SP3822PDE5AZSHDMF7W1F60QMFWVRRC641AGBKYYY }
{ amount: u16775500000, to: 'SP38AJ28GP1Q3E40QD8K3WA7JR315794Y29YWKAP1 }
{ amount: u16775500000, to: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u16775500000, to: 'SP39JS9WQPV28NF6ETMPM4A47FTTCT69XH349W4X0 }
{ amount: u16775500000, to: 'SP3AEM26JN09V9PKBWN23XF6T7KVGQQSRTSXPFQ3K }
{ amount: u16775500000, to: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u16775500000, to: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u16775500000, to: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u16775500000, to: 'SP3B6ZYW1B8JV38W5DKS1WPMXPM9ESJ2GDEETBWXJ }
{ amount: u16775500000, to: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u16775500000, to: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u16775500000, to: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u16775500000, to: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u16775500000, to: 'SP3F1QKFC2DBSX66FG2N7905XPBRGDC7AE0PYNWW9 }
{ amount: u16775500000, to: 'SP3GRJ1FJT7QC7N51PQGR6PZXMXZH5SKQ8B4JRW1D }
{ amount: u16775500000, to: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u16775500000, to: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u16775500000, to: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u16775500000, to: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u16775500000, to: 'SP3JPZ24AT6QHPY40Z1V9P4HYH1PNHBWKGJMKG6F1 }
{ amount: u16775500000, to: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u16775500000, to: 'SP3M686Y497JRQQBGF79BMK4GW60GF6SBMKGVARCR }
{ amount: u16775500000, to: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u16775500000, to: 'SP3MN4GQV43C3B49G7HVAGV5H7A86WC8FM2Z9NECH }
{ amount: u16775500000, to: 'SP3N4WPR94CPKPJQQR2AMJ8W64BDRFJ4SMDPXQJB9 }
{ amount: u16775500000, to: 'SP3NC6N49SAT9VXK13GRAV87EC2XZAMDQF0E9G7VN }
{ amount: u16775500000, to: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u16775500000, to: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u16775500000, to: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u16775500000, to: 'SP3PWC8R5YAYQAF1EHTGHQ6E4KSSK6H1F6CYK38XS }
{ amount: u16775500000, to: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u16775500000, to: 'SP3S8CFY3PZAMDFAMAXR0QB8076NBPPFYJBF0ZGSD }
{ amount: u16775500000, to: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u16775500000, to: 'SP3SM73FEDGP9188Q9GGHP43RE6GK4C1F0N15YE0W }
{ amount: u16775500000, to: 'SP3STNGTE2K74N02CNS24Z7Z0G2JVP5TPTZMTG2W }
{ amount: u16775500000, to: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u16775500000, to: 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN }
{ amount: u16775500000, to: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u16775500000, to: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u16775500000, to: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u16775500000, to: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u16775500000, to: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u16775500000, to: 'SP5QB32W2AQFPDJ822AM87DGYRQ6D68JDVQZKMM9 }
{ amount: u16775500000, to: 'SP6F8AENK7HGY5PW9141HVDJV4PTD54QVWDJFD4J }
{ amount: u16775500000, to: 'SP6G8X5FFHMZ2WSQ0XT3F1V82X09MB6E9H2WND5G }
{ amount: u16775500000, to: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u16775500000, to: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u16775500000, to: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u16775500000, to: 'SP9MANP57C4QHVMNHR9HEAX6D5BAA4JN9KC8N4J8 }
{ amount: u16775500000, to: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u16775500000, to: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u16775500000, to: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u16775500000, to: 'SPBN3J1JST1K4MEZXZMV95ZXNBGMMKFZGJKY7VVC }
{ amount: u16775500000, to: 'SPC3KJPSD9VHDJ8XM6JHNHJHJW0E5M7RCMRMCYZE }
{ amount: u16775500000, to: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u16775500000, to: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u16775500000, to: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u16775500000, to: 'SPGJPYDPWJ9ZVMJT94Q9SKCW68Y6395M00CQD0YM }
{ amount: u16775500000, to: 'SPHQBZZ5KPP7NZBBJ8HW7SZDAW5MPX9YNDSA9SEN }
{ amount: u16775500000, to: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u16775500000, to: 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V }
{ amount: u16775500000, to: 'SPJ96B8VZB4D6A9M03ZEJK1ZE5MFS4ECH9GE75Y6 }
{ amount: u16775500000, to: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u16775500000, to: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u16775500000, to: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u16775500000, to: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u16775500000, to: 'SPNX6CXTC8TV37VVCZG5Y343EN20NBK2M33FMVJY }
{ amount: u16775500000, to: 'SPP0W5ZR2VP98AEREH53B34D5K56RJEDMAJGSTM5 }
{ amount: u16775500000, to: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u16775500000, to: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u16775500000, to: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u16775500000, to: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u16775500000, to: 'SPSGTS0TK3TWMBDSAZF253CK5JZMH8PFP16E43K1 }
{ amount: u16775500000, to: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u16775500000, to: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u16775500000, to: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u16775500000, to: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u16775500000, to: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u16775500000, to: 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z }
{ amount: u16775500000, to: 'SPZHS5Z2K29M95F8RAJE4ZRGX4H1A7D9PP4EAHNV }
{ amount: u16775500000, to: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u16775500000, to: 'SPZTTWJ2DFJTQWV2THMY55W2ZVD7T7G9CCBNDCQ7 }
{ amount: u16361290000, to: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u16361290000, to: 'SP2088FC9NCVVYAPT8D1XJC8QPSGTREFBHYPDZAWV }
{ amount: u16361290000, to: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u16361290000, to: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u16361290000, to: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u16361290000, to: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u16361290000, to: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u16361290000, to: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u16361290000, to: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u16361290000, to: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u16361290000, to: 'SP3S96NV78STYQ86S99YBSJTJF2M0HNS3X7ACKM8N }
{ amount: u16361290000, to: 'SP5319G2P5HRJ0MSZDGCJXKY60ZVQDYKBWD2Q1Z0 }
{ amount: u16361290000, to: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u16154190000, to: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u16154190000, to: 'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B }
{ amount: u16154190000, to: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
	)
)
(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
		;; transfer appropriate amount from vault and reduce reserve
		(try! (contract-call? .alex-vault transfer-ft .token-wstx stx-amount tx-sender))
		(try! (contract-call? .alex-reserve-pool remove-from-balance .token-wstx stx-amount))
		(try! (contract-call? .alex-vault transfer-ft .token-wmia mia-amount tx-sender))
		(try! (contract-call? .alex-reserve-pool remove-from-balance .token-wmia mia-amount))
		(try! (contract-call? .alex-vault transfer-ft .token-wnycc nycc-amount tx-sender))
		(try! (contract-call? .alex-reserve-pool remove-from-balance .token-wnycc nycc-amount))
		(try! (contract-call? .alex-vault transfer-ft .token-wdiko diko-amount tx-sender))
		(try! (contract-call? .alex-reserve-pool remove-from-balance .token-wdiko diko-amount))
		(try! (contract-call? .alex-vault transfer-ft .auto-alex auto-alex-amount tx-sender))
		(try! (contract-call? .alex-reserve-pool remove-from-balance .auto-alex auto-alex-amount))
		;; 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)
	)
)