(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-56 (list { amount: u2144923540, recipient: 'SP2GYGKAPY38RJT15ZXVRQBW0DNADMPHBY65CF0J0 }
{ amount: u2144314050, recipient: 'SP2JWFBC09JA1R6HBD6MC5K6JFFAYF8ESWG33X3GJ }
{ amount: u2141528960, recipient: 'SP1D2DH8ZKM06FPHG2DBAXP0SANCKTFY179CWD2VG }
{ amount: u2141528960, recipient: 'SP3A47YCKVJTPT2WDP647J1F509GH0QXZCB6D9AYQ }
{ amount: u2139904690, recipient: 'SP2K5S4G5VG27A2E0E68FE9ETXJ8YP2HVMFFW4AH2 }
{ amount: u2139139720, recipient: 'SPX2TJARHMMG39JCGWZXC4504V6EXNA0E4SKAZ5T }
{ amount: u2136198920, recipient: 'SP1QQDAM3V70ZM45CG3GZJ601KECAEP9BFEQHA065 }
{ amount: u2136162190, recipient: 'SP2HESS9KH8VK9FCSTJHRGPBKTS1BB7ZA1513D2TQ }
{ amount: u2132889920, recipient: 'SP4E0PT5BGEFDW2XHMGTF9069EQW1F1FNH5QFS9Z }
{ amount: u2130823480, recipient: 'SPVQGJDMPK6RMAYZ75CDPDF399HXH2J5NGBVA2KS }
{ amount: u2129410870, recipient: 'SP26GRHB4AFSWDT2Z1MXA79J5R2F1EJVT0MX0ZSX7 }
{ amount: u2128672360, recipient: 'SP21RAGRSZF0D9TYFKCCBXV9Z6T1QDPVQ080JXX2V }
{ amount: u2123277390, recipient: 'SP1CGCD9MFN1492GR2A90V42416V0P4K13WJ69HBN }
{ amount: u2122353350, recipient: 'SPG3XKWP8TSKZQYA2GT6HFCN6ZZNY2G7XWAK5R98 }
{ amount: u2116450860, recipient: 'SPZYQ0ZVB1ENS0NKX3A3BFTKTD76AZ2TNBGVYHJB }
{ amount: u2115723420, recipient: 'SP1Z7FFDXR9FW3A65EY7D7QC4HWB1SSHV1NZZR981 }
{ amount: u2107227570, recipient: 'SP10X51TQNQR1JANDNF4P9Q6FNPKTSFY36K3CWMY }
{ amount: u2100000000, recipient: 'SP18N70T57P4MF2ERGG0DWDATAZFETFN04E9ZH5YP }
{ amount: u2100000000, recipient: 'SPY56ZB0RN54F3GGJC974T2SJY9R1M3Q73GM1KF2 }
{ amount: u2100000000, recipient: 'SP2M34B0RFSM1V4YCP176E2HY81K9HHNS0ZGJZX95 }
{ amount: u2100000000, recipient: 'SP35ZF90VYVQTK0G5Z5N4Q1TTCNWND52AMP20Y570 }
{ amount: u2100000000, recipient: 'SPYN07E7MK99E6E53NXZQZGB9JCGBH4ASQ04T5N0 }
{ amount: u2096762490, recipient: 'SP12WR6FPXDNP9Y1C10TM0GJD91A6ZETMG66MASYY }
{ amount: u2090979560, recipient: 'SP2RMA2DRR0TV88VQ4E58C2GHPS21DH0VR57J07MW }
{ amount: u2085419810, recipient: 'SP26FZ8W5GPEH1N64K1GFCV63A4JPMSP917J0G60P }
{ amount: u2083770260, recipient: 'SPQ3K009Y1AYRBDK5Q5HZRFQC299491C5N3PY39G }
{ amount: u2083479410, recipient: 'SP3PQAFGNVEB4P5YGZ2839D4ZHZFN389JGHD2F58A }
{ amount: u2082381760, recipient: 'SP2R3H4VQEHPAV8VM8KS0JR8BAS8HTANZ92R64H8K }
{ amount: u2082292190, recipient: 'SP16TRN1SMWPFRF6WPATTSC2W6SHBMHTA44S196BJ }
{ amount: u2079451680, recipient: 'SP3TSPJDV9XFPAB7RTRT5G78MWYP3W0TP22ZPBEZX }
{ amount: u2074662740, recipient: 'SP24B77W7NZ924CVA4W9YYPV5Y6WRJRMY5Q8H8QXA }
{ amount: u2072326140, recipient: 'SP3JHZ7TQB3Z6Z9QZ827653YBCWGQE7SFQCE34XD7 }
{ amount: u2066600590, recipient: 'SP2P692B8PQENXAB22GD80HBZDMYV5R2RR948G7QF }
{ amount: u2064542610, recipient: 'SP9D66V1C8BMJY9VHMXANJ8PF9EA0ENS2VS0K8GE }
{ amount: u2063701320, recipient: 'SPD5MNSP5WTY5CWAX6FR6SV386MNEZYYX044D6W0 }
{ amount: u2063285120, recipient: 'SP2WEJMXP7A58VVXGEHQX4SZM9H2ZPHZTJKYHSMN2 }
{ amount: u2060309410, recipient: 'SP28CNE1WTRE8ZJECVJ52CA2TTNCVS0WCPT3H9J4F }
{ amount: u2055928330, recipient: 'SP3SM9KP8SD46H0ASPT949XD72FS38JRKDWKDFRR9 }
{ amount: u2055907410, recipient: 'SP21675E81SWTHFXZJ1M4J106P22NHDA70JAK303T }
{ amount: u2053687080, recipient: 'SPY6NANZGZD8THNBGSQ2BN4EZM2Y25408X8249H }
{ amount: u2053565950, recipient: 'SP3WRE34QSQ20JYZ0A79SETZZSCZFHY5V8WQX51CD }
{ amount: u2048609470, recipient: 'SP2A903H2ABSDHX6WEPHMP8T1CWN9HTNNC4CXYZEH }
{ amount: u2047258750, recipient: 'SP2W3AJFXGEDX8NWWVFEWPE0Y9WFW03XH9EM5ZYQJ }
{ amount: u2046379600, recipient: 'SP308MPPTKH7CF347CEMZH7BPRWM92FM9FTWGXQF7 }
{ amount: u2045640220, recipient: 'SPZW2ADZ9HP4J9R34HGCFHRMZ2A76204BJKTFF0C }
{ amount: u2043216180, recipient: 'SP1YWJK2PB5WJ828064N1BVR1JYK2BKH1XK6Z0K7P }
{ amount: u2042589880, recipient: 'SP1K7N173SYNXG1MEM0XM9F91BQE9WH1T4SR1R6ST }
{ amount: u2041881990, recipient: 'SP166PXFGKH8S1M1DSY942T6C1BMGVA6F3JC9H411 }
{ amount: u2038125550, recipient: 'SP3C3RTQZGMM835XK4REJ4FHRRYK1CZ0YXYSG5H90 }
{ amount: u2036856100, recipient: 'SPZZDFGRADAM0B3YNYMHW7Y9NAYJPWH9E18SRAJZ }
{ amount: u2036223260, recipient: 'SP36MV0MPD86HDQW6YRWXXT506C4M4B6GNF4VQ9JF }
{ amount: u2033329430, recipient: 'SPCGR9ETM9STX0W5ANW8MWSR485W04SPFXPM3TMM }
{ amount: u2031372470, recipient: 'SP183PXFGPTRFSM3T2C3MQC7NJ2GRQYD5TSA4MBJ4 }
{ amount: u2028515660, recipient: 'SP3MB3CSNMK68HYW60KVX9MB4QBKNMSZHYNGNPCCR }
{ amount: u2024116610, recipient: 'SP123H0VDSFP0995K8Q5MDFEVVFZWWPX46CAPCJDK }
{ amount: u2021007300, recipient: 'SP10R5AF1KW494VN06QAMWZ92X7YFCHQR51H541D7 }
{ amount: u2019293120, recipient: 'SP2CADSG33R14X1PS3WEWABNF44Q2S689K4DCJQ2 }
{ amount: u2019000000, recipient: 'SP1S7FB2BNGHF3TTZXZGD9JPQP3JW4W6MTS69BTAW }
{ amount: u2013682350, recipient: 'SPDN0KSAMXYZVACXMM1RDNR8ZH6NQ4Z55K6TCY7Q }
{ amount: u2010561050, recipient: 'SP2GNB2DGJKV66NTNC2K45SSHXGBKGDEPWB2ACE6V }
{ amount: u2006828690, recipient: 'SPX3B051K7MYAY8QPJPKT062WPM60NE7K7N2E9A9 }
{ amount: u2003533360, recipient: 'SPQXBMD470T84Y6H1A8DK2CH72XRWTCMN4JEE3W1 }
{ amount: u2002844690, recipient: 'SP1GS76T4NA9PJT6F3FGZ4A3M5XJD1B59AC2F5NR4 }
{ amount: u2002103660, recipient: 'SP229J1J82R448099E50CXEJZTV83V8KSR95FTA8E }
{ amount: u2000258170, recipient: 'SPM7DPPZWRXS8HT661FA99HZPAX67W3V5YMTD6Y }
{ amount: u2000000000, recipient: 'SP23XB8BGRGQ21642JGCNV6ZFYQT66DMW4K460RWS }
{ amount: u2000000000, recipient: 'SPCKA43F8ZQ2ZGG0RXPY93C6XFMVD7YPEVKF031H }
{ amount: u2000000000, recipient: 'SP15MCWY21M2PBAYHP3WVH84GSV6B7AWGX49ZVN6N }
{ amount: u2000000000, recipient: 'SP2W74N86K11MPTTH04S2J3K49XFBJPFJYHW3ABJX }
{ amount: u2000000000, recipient: 'SP2R0GVEKYXEMXASC1HQBT8QAAFBW312MJDPKWDGR }
{ amount: u2000000000, recipient: 'SP3GDZ8P094M16XA5ECQ5XMCNX8VZFDA3K3W3PPFM }
{ amount: u2000000000, recipient: 'SPXGZ760SKR0WR5MAFTTWY8FG07MZCSR6V9B3KHE }
{ amount: u2000000000, recipient: 'SPFVJ61YTWJA76PB8QH8F2XNP88FM3X7EMDMQFH3 }
{ amount: u2000000000, recipient: 'SP1RS99KX1GRHBGEWRRHVN16CMQ3DGVRHRQ8PBM2T }
{ amount: u2000000000, recipient: 'SP38Z708FQ7RYDZ4ZHAC5WSDYZN8F9K0JMTW20HQA }
{ amount: u2000000000, recipient: 'SP3H57GY7RP8S2AH672DEZNAVBJ9Q0KMNMMG8ZVY1 }
{ amount: u2000000000, recipient: 'SP3864EYZ493NHS1PG9SGJSX6N5CH8A97A3TWJWJF }
{ amount: u2000000000, recipient: 'SP2642699XFS6DQ6E2MB5BZ2V7F61EPZCZQH7HZPT }
{ amount: u2000000000, recipient: 'SP3RFAZMSH6YA1KTJD7DN997AG2DG54E3Z9ZJWYN8 }
{ amount: u2000000000, recipient: 'SP1JAQ9STNPHPWSFVP05A6942Z79JT4105DWDEE9N }
{ amount: u2000000000, recipient: 'SP2YJ97NAKQ5BFNF6EAKTD7MRM37WHD59PSZG2J4W }
{ amount: u2000000000, recipient: 'SP2WT0N48VR9VGVDM373W71P1BZX7E0VJRHEZGAH }
{ amount: u2000000000, recipient: 'SPYHSPFMD4SCFV7B0FW9CPCN7AN8YGCC5HPQV5ST }
{ amount: u2000000000, recipient: 'SPPDDH5T5275Y8ZA8PE6D90BHZJ3EGTNVSGN5QB0 }
{ amount: u2000000000, recipient: 'SP24PS843Y5SEWNYFGBP86TSK5DY63D1M2KRJZ428 }
{ amount: u2000000000, recipient: 'SP8J0XK9H0A9K2R1CCZ0G9DE9748YAYYTRRTR2GX }
{ amount: u2000000000, recipient: 'SP2B35JVGFYQ67XB272J6ZXZTSCBE2XWCG9H4JNEZ }
{ amount: u2000000000, recipient: 'SP26MWRFKGQP3W5TX8F2BBZWJG86SS2HWN9X33X1Y }
{ amount: u2000000000, recipient: 'SP21DY095J7SF9AYAW2QPRNRZ5GC4AX4QFD61WNX7 }
{ amount: u2000000000, recipient: 'SP2X7XHSGR6YH8TK63V9D52K4MSACD1FS868QRR2F }
{ amount: u2000000000, recipient: 'SPHV69AWWJ5JT8XPYWGABM1XGB02PM3740ETPWHR }
{ amount: u2000000000, recipient: 'SP10N6YNEQRRW25JT1XWXKYWXXAWWZS6FF68SWWH8 }
{ amount: u2000000000, recipient: 'SPM5TD54NQHR2NJ81TSWK16CVH8CCTYBS258D69S }
{ amount: u2000000000, recipient: 'SPRWE838CR3N0SB75YG15XVDRNEVN68XMKXQVVBR }
{ amount: u2000000000, recipient: 'SPPREEMM2PZ3900RSD2Y9RWX5D1SEHXCY3YZ1VTE }
{ amount: u2000000000, recipient: 'SP1NGQ9H6MJTG058JKVFMRAZ4YBSVG5RYRDGZT3T7 }
{ amount: u2000000000, recipient: 'SP1A39HQ34AJM7ZK90J356GWM5HHT82P05CPF4V9F }
{ amount: u2000000000, recipient: 'SP36JYPS733JNNFZX76RQHHX9FZ2KXSQR6EVEBDWG }
{ amount: u2000000000, recipient: 'SP10EVQA156T5V07TGTW001NFYJYPVAMNPC0RZVKJ }
{ amount: u2000000000, recipient: 'SP3R6GTTKNDEK6QEX0PDG9VB6CPR0NRDGTZSCADN6 }
{ amount: u2000000000, recipient: 'SP5TQYPJSBVHV757PJZ0KMXGT8SHCNSDTB2PNY0Z }
{ amount: u2000000000, recipient: 'SP9XR2EHYAR8AZ4KD4F8G4X5D62CT00F162JB4K6 }
{ amount: u2000000000, recipient: 'SP39Z3FB65AW5JVR48YYJ7F6X9924TDC4SYDX70KD }
{ amount: u2000000000, recipient: 'SP2ZGTR3XJCVZKYFZNBPJMYRD50RVJHJEWFKFFJJZ }
{ amount: u2000000000, recipient: 'SP1J2JTYXGRMZYNKE40GM87ZCACSPSSEEQS30A886 }
{ amount: u1998989790, recipient: 'SPC0EEMZHNQK52115X8Z1XBRGWP0JESAVVR7463R }
{ amount: u1998634570, recipient: 'SP2FA1YC17JTTT93Y616RR7PGRNTFY0871PNA7Y5G }
{ amount: u1998610800, recipient: 'SP3185D51C626TN2VNVZFY6E7EQ5F32CPZFTN2BMZ }
{ amount: u1998308450, recipient: 'SP3JTBACVWM92K7TTRFNR8A1V38TX121B8DCHZGAS }
{ amount: u1997374910, recipient: 'SP29V0J3AFCJNR4R38PRZ3119Z6M7D2687EQ48Q88 }
{ amount: u1993647190, recipient: 'SPS7C9B67V5TYVMF883QS6H0NM053MYA328QPKKC }
{ amount: u1993436980, recipient: 'SP1Z5GSQJNAS3N1HMABG9NRBDVVX9D6W82RTBP7X4 }
{ amount: u1990031600, recipient: 'SP144VXY0JB13DQ3K86MA7X1P7V0B2RN4Z8DNBZ13 }
{ amount: u1982685800, recipient: 'SP29M8Y4PRPV32BKWFA1AQ2FVAN5QY14K7MKJXXVW }
{ amount: u1981970820, recipient: 'SP1VXJBR82H64C9XN8NTSWX4NTQP3KJK12X6BWCHZ }
{ amount: u1980286360, recipient: 'SP1RX91VZCKHCWFX00JTB7QZZJYMDW3R9FE4294ZT }
{ amount: u1978741150, recipient: 'SPRSTDCZ8B79ZBK5TJW4MN15Z91CCD6ZV1MG2CJF }
{ amount: u1976658430, recipient: 'SP3T4V2M2DC32HQ4JMHESEAF1VNMZB4NB4VE6R9H }
{ amount: u1973253280, recipient: 'SP2NKCA70WJQC0DPXPZG93NKAG5FVCG5X6EP56G0Q }
{ amount: u1971245000, recipient: 'SP1ZHNG2B688NZF3W829E3DFWTMNJ5FWNMZ4A31FP }
{ amount: u1971131000, recipient: 'SPPMQ7RMBDVVRM9W7AMGAE8YX33DG7QQ7S7KSP5 }
{ amount: u1970522000, recipient: 'SP19PX2FZJ9DVPKCQ9D8FGA3PCX6J653M615D642C }
{ amount: u1968600000, recipient: 'SP28EEAE59QYAKV1QKJM5PC6ZQH84PWSAAN9JEBXK }
{ amount: u1961380390, recipient: 'SP2EKAF598JF8074QDDRZTD27TQEXDVN63586MYZ2 }
{ amount: u1956682170, recipient: 'SP1574E7NAWAVSZBK35G9EDEAWKHF4ZT879AMAN6X }
{ amount: u1953844140, recipient: 'SP8KPRBZGEVE115XGBCB06DGMQ1YF9FQ4YZ82G49 }
{ amount: u1952669220, recipient: 'SPK22M0Z1EGPJ74RF2CX12P02DRYW1133DWPHKYC }
{ amount: u1942241870, recipient: 'SP12N2M2P0HMAE9Z0ZVKMNNM81Q3WFTTMG3SG9RPA }
{ amount: u1941943530, recipient: 'SP18HFTC3WE7KMW517G5JVB74G3QDYCZBQ61WP8BD }
{ amount: u1935412320, recipient: 'SP29HY4C161AZP4HS3WVQ8YFZY95W5MA488TQADZ4 }
{ amount: u1934957780, recipient: 'SP1ZBVS0VJ56ZC67R9FAZPWS84J6682B8JK4EFYM5 }
{ amount: u1934529860, recipient: 'SP1GQKZRR44AX9JNJ3GBHY7M4DNMNJ9FMPEJ339EE }
{ amount: u1928963840, recipient: 'SP1JQEDXNS3PCK67R69AWJ86J7NM7YJVGT61939S6 }
{ amount: u1927877710, recipient: 'SP2WMEKXSV90QHC54CBZN02FKRNEJ77P3M83V0XFG }
{ amount: u1921738120, recipient: 'SP2XHPNDNB075ZCK9BWPCF81YZNEMZWQ18F3HEMM0 }
{ amount: u1919423220, recipient: 'SP1T9KBTFXH1STT3KN2SJ008DBVERMQB724GW0HZR }
{ amount: u1917342790, recipient: 'SPC473T2AM9GQ1GV683029PRF48E5J897YAXZ3WP }
{ amount: u1915330830, recipient: 'SPB3WS3WVZ3RNJSM3V7NWFFMRRW0T2KYAK2Q7G3H }
{ amount: u1914826850, recipient: 'SP23N09TAEGS65GV31MC691Z28AFYHPDPX5YZH39J }
{ amount: u1912970110, recipient: 'SP2KZXQ2PPDN023Z5BVNKZGJKG9C70FYP813WPYTF }
{ amount: u1908343950, recipient: 'SP25VTJKND5MZJ2YWFWD588WYB4Z31HJDGXDA9PXN }
{ amount: u1900000000, recipient: 'SP1VJ59EWKEEW4AMJ8XKANSA8E9HAB7GPXBPQHZ5D }
{ amount: u1900000000, recipient: 'SP3TYX5PH12A96RJ0Z2VMWADDR2ZWNM01CTE6EB86 }
{ amount: u1900000000, recipient: 'SP3Q67AKV7D40SCT9D7A48HXPWA9SGZVHF07EY1CG }
{ amount: u1900000000, recipient: 'SP2H7NKNYPJ1QN9GGEKKV9H2Q75KR3CY1Z94A35KA }
{ amount: u1900000000, recipient: 'SP3DNEN554GN14CBGD181ZNNAM48MTAEPFHMB0KDM }
{ amount: u1900000000, recipient: 'SP32NTB7TY426CTTSWZW7EDPWXG0YWSRM2GS15QW2 }
{ amount: u1893113580, recipient: 'SP8VR93SAYY6TSSAXRR6CC8ETRH0AQZW7GXTSQW4 }
{ amount: u1892812680, recipient: 'SP2YVYTFJQNGH8Y3S60KBDWDB5Y7ZYW475BCKN56F }
{ amount: u1889164580, recipient: 'SP3QF7TG2PNH21FXPCRRT63RVZYTSFGSZGD1PXB3M }
{ amount: u1876963390, recipient: 'SP37E46M4GR5X7A1KGE3B3V7TCVWBJCZCGQH0PS40 }
{ amount: u1876051810, recipient: 'SP24H6RSA2ZRZAHWBBDTZSD9V3G1SNX47ZFWBAM8K }
{ amount: u1873056060, recipient: 'SP2VCFP7XPQZ1EHCJ1CEGEDGAANKAHPZWQ4ARJ3N8 }
{ amount: u1864944660, recipient: 'SPF2TQYZEWQ2K7G8EPV24NCZ78HB7TADBKE441ET }
{ amount: u1864392260, recipient: 'SP3Z9D980T9N7C8QCA9GKH35AMV1S0XMG9Y35YP29 }
{ amount: u1857198770, recipient: 'SP1Z0R286M2V20ENWRNQRD35N7PQ0X5DPHTPQXBGK }
{ amount: u1857113170, recipient: 'SPZ4JZXNERAJJTY3F1ZAEX1G0X26ZB98ZDKMY8PZ }
{ amount: u1857113170, recipient: 'SPN16V3ZJ0348R0H71QQNJ30RGGPQ6WWPBGS192X }
{ amount: u1857113170, recipient: 'SP1BT9GQEDE52VRK2PKYNNRP0EMBDK23V4K484ME1 }
{ amount: u1857077120, recipient: 'SP2RTRFHEJW876FDC3R2HBXXSJ11GADG2208QR51H }
{ amount: u1856996610, recipient: 'SP1GTB0TWXHPGQDR37MQTCEK69PEFAFM952VHA9YK }
{ amount: u1856996610, recipient: 'SP34X989VV49S2Y44T7GZ1D54G89EK3YS6NMR5YGJ }
{ amount: u1856996610, recipient: 'SP2E8367Z2C12KGWBX605A8BZCZN05CHN9VE3H6QF }
{ amount: u1856996610, recipient: 'SP2J1BWDXPCRPS4DVA3CM3Y85F5BC8HN7AF8W379J }
{ amount: u1856996610, recipient: 'SP19ENF5KYBEA2BNJRVHZ41P1TP6QMQ6YPSTEMP34 }
{ amount: u1856996610, recipient: 'SP11X3CE55B8C51JKZA3JKG2QE2DNXCQ03J76XVRQ }
{ amount: u1856996610, recipient: 'SP3YAGXGN2168PRFAK1KCCYZMSRSBNH63YGM1JMVR }
{ amount: u1856996610, recipient: 'SP206R1XMFCXCGGV34XK6BWVZM3FMTG22K2RE0SYB }
{ amount: u1856996610, recipient: 'SP28R4ZYN6Q26A9RD1KKFE4ENBXV5BM7E23P8JAEV }
{ amount: u1856996610, recipient: 'SP164GASPCQC5MSV8JSFPQ7ER04AGF1HVR2XP2YZ9 }
{ amount: u1856440050, recipient: 'SP2DZVM2KBC445F3T6NXM5NKTEBPKEM5WSXZBHG3X }
{ amount: u1856136500, recipient: 'SP3N92EDK8HWMMRPJ0K7XHMG30CGGJFZ7NYYPJY40 }
{ amount: u1854757300, recipient: 'SP1V9ZHJVEPR59K3SP5SJE0B943VCHCGQWF05NT7X }
{ amount: u1853026450, recipient: 'SP2FBH2VSF2D5KNK4KW4CAJKZFVV8JNGWSD0YNPT8 }
{ amount: u1853017180, recipient: 'SP341V840N8K6S0C1N3XVKW7V8ZJGF8W70TYZ57HP }
{ amount: u1849000000, recipient: 'SP34HZMDP7AJV7RJ1DGJ3C0FGC26QMFC8R81H7XJE }
{ amount: u1841604880, recipient: 'SP1YB9QRAH6RB9CWBPZQ9ACD4XW0YGK5CJC0AZ97R }
{ amount: u1841062660, recipient: 'SP1KYVWX5HTJEK46964WEGDRY2VCV21BTMZ5VW9CJ }
{ amount: u1840064810, recipient: 'SP16Q6QSYMY97439S9GPK4NJGZ39TFJ37QTR19ENH }
{ amount: u1835670480, recipient: 'SPDRW8DVSQB7DF7YNX4THD6X75B4R73KTD80393P }
{ amount: u1834246220, recipient: 'SP3RNDPX6X3MNZMS3NV28AF6TXVFXDXCAJTTX78GG }
{ amount: u1824743630, recipient: 'SP1CKMCZXZ167RH4HAFM1WZBEVDXB1GTYC0BNTZCD }
{ amount: u1821201650, recipient: 'SP2SW1GEG7033B24V43V34RCHP8F8PFH2XG69QBRR }
{ amount: u1819582270, recipient: 'SP26YH8HEZ859669WGT2X1420R2C9SQNSVNPC24VH }
{ amount: u1818918980, recipient: 'SP3WYWP59RJSZPWSGCGKGNCXAAW19Y33008CDB3BD }
{ amount: u1817245270, recipient: 'SPXZYC6M8Q66NYAA09RDZC33TGSM51N5AB24ZYHZ }
{ amount: u1815881910, recipient: 'SP18Y2YJSB3GA8N0HG4KBSG0S6P94CDDE62ZZRFHQ }
{ amount: u1811949130, recipient: 'SP1BSVBGXX5KZMZ2XJDFJDCW690MHGQ4KVPG08NRP }
{ amount: u1808507330, recipient: 'SP1CMBJKCX76QJWRMHRX807QNTPT09TGH65T9C1J }
{ amount: u1807000000, recipient: 'SP39DEX77NW5JZN2GV9T04QPKVPY30GBH8MMGMPKJ }
{ amount: u1801823660, recipient: 'SPM4JKECG23CJGXC93BDXX7579WVH5NR7E2XVC5H }
{ amount: u1800000740, recipient: 'SP17NVQDXPVA3NYFCSB876WM32M3ZX06EE1Y9YQ79 }
{ amount: u1799441460, recipient: 'SP241NSWYXBX232TZST74B8ZGYA83BMS287ZK06SF }
{ amount: u1798076500, recipient: 'SP3SSND245282QF5NFM89CACQ5QMCKBCQH47YNH6K }
{ amount: u1796590370, recipient: 'SP2S2GXGPNFNA1JR5MD14GHA2FRW1K7BEW0E1FDN4 }
{ amount: u1791666660, recipient: 'SP3K0R9VYW9M6W6KH7TRR1C9P9GZ6KYCEQ0N4CKV2 }
{ amount: u1781260180, recipient: 'SP2VHY30GZYGHDR0BBF6VFHGT5SG0VFX6TJB62QPV }
{ amount: u1780285150, recipient: 'SP25QN9PKNMS2HKS2H0SJMD9S8T50CE5F7WDZRXFM }
{ amount: u1780000000, recipient: 'SP133E27NS2RK7SPDFQ3FT981N6EBV21K63WFN0GK }
{ amount: u1780000000, recipient: 'SPZ6834ZMAZ5VKPT37E6HZMJKFMN0D23B3REGE8B } ))
(define-constant batch-57 (list { amount: u1780000000, recipient: 'SP27M608RX6RVFJRDK8NH3EJVKCG5W8R2AVB2WAMJ }
{ amount: u1780000000, recipient: 'SP3E0WY8VTVHFD35W26E3MV23G4R4MECA2ZSYDH0N }
{ amount: u1780000000, recipient: 'SP7KWG1H8HDHFD9V6K59NZK6J39J28HV9284W98H }
{ amount: u1780000000, recipient: 'SP33PGCEG5JRANQKYA3HEAFEBD65RTDE4HYE5TEW0 }
{ amount: u1780000000, recipient: 'SP34ADZY161GNMV4TR9VKZY0DX1P7PR0XZ4VMJ0HN }
{ amount: u1780000000, recipient: 'SP3BDCDKP68T7QZ7F8GXT3GNR8SEBMA6EYKNAQ3JV }
{ amount: u1780000000, recipient: 'SP3AP50F5Y4ZKV7DCV2A79B87FNWTSSGXB0KCAQWE }
{ amount: u1780000000, recipient: 'SP029QFNY6H8EQCAFP4T6CYNPZ501HWJQYWM10YA }
{ amount: u1780000000, recipient: 'SP2BV5NMNB62B6QBV2S1G0453GZX60FXC98437QN6 }
{ amount: u1780000000, recipient: 'SP329ANSAJJFMQ5HJWCP6Q550ZWB5CM70YRN70EVD }
{ amount: u1779603100, recipient: 'SP1XN0WPDXA9JZ5AHTA35YB284BN00RQCEDJB9DRW }
{ amount: u1779098740, recipient: 'SP24XXF4DH23P0M0XQFQ06DSKYWCKD8WHZ7YX8ZT2 }
{ amount: u1771937790, recipient: 'SP2DF3BJ7W8BXFX37X24N8GKGFVMD0PCCGDNFE58Y }
{ amount: u1769757680, recipient: 'SP1YR6NPDBHXN1MGAYDRE9GJHQJKPGJGZ4E43HR9D }
{ amount: u1763139800, recipient: 'SP2VJ3HDZ0XYAX9Y8AWJDERB9XSQ6847S63AYEDZR }
{ amount: u1762386030, recipient: 'SP1M5K44S954JS6TGPW30WAQ94J4VRJPWG6412YBY }
{ amount: u1762184710, recipient: 'SP2SEVA1XFWJ3EES2MJ8872Y4FGY07EFXFFP47VY9 }
{ amount: u1760861210, recipient: 'SP27GZVSSF7SDQZNB53GBTV8XB3H4K8QK18574G45 }
{ amount: u1754124670, recipient: 'SP16752VX14GK4NNH3D9FYTNDHFF9BX03K1G13K14 }
{ amount: u1752622560, recipient: 'SP1DE45YFZ9G9CH1KZCE4T4WAA97N3KHJK56YQ99J }
{ amount: u1745104670, recipient: 'SP6EDTGC5ZG0WNT5R027H1N0TANV0C47DZVD46XW }
{ amount: u1744320270, recipient: 'SP31CN6RRHTXA2GZ5SP8BPP9BBH6C11GEKQKZHMKH }
{ amount: u1742150130, recipient: 'SP2FCZ7TQEWBR719B01SNCVTKXXADRSG8BRGWNVSC }
{ amount: u1740590350, recipient: 'SP31JTQZY69DC6S5EPTVDJFSJ01Y3FWJ1CM0KKX75 }
{ amount: u1739531250, recipient: 'SP2DT4N19C0X14PF840MV1WSF8WZJ6EY01YHVPNV6 }
{ amount: u1736978730, recipient: 'SP2CWHF1TR7T5KJVCTSZ2HF57YPCGRJ869H612Q3D }
{ amount: u1733672400, recipient: 'SP1W8SPS9BVCH4JD9VRJ7548NNDVGBY031G9DAF1C }
{ amount: u1732556540, recipient: 'SP1WXCBBRCZ7X3NPW3GP2K2XHJN081BXCBT8FE65 }
{ amount: u1732240440, recipient: 'SP1E1XN1XDYXGA1RMW71MAE46Q879SVRR1KKBHCY2 }
{ amount: u1728047110, recipient: 'SP2HC6WDMWA9X5QWEH9FYCZCEF7HA53GSZKAY8AKS }
{ amount: u1726061860, recipient: 'SP2G5HGBNFJBRSW9FQ7831Y1ZWBWP53TDDEWA4JA3 }
{ amount: u1723953030, recipient: 'SPH4F0PAX54NZZV6SX72CS4FDYJ5S1WJ3GJQK0SN }
{ amount: u1723040500, recipient: 'SPBTBYN98BT8PNN1RYY577JMN9A1ZCP6ZNYQQRKG }
{ amount: u1722035730, recipient: 'SP198JFD35MFQF548G5CCSSP1GAF26JW65A07G9MF }
{ amount: u1717953510, recipient: 'SP15D5RN4E6NV528VWVN2B5Q1E8RBCNMXD89CEH3Z }
{ amount: u1717455550, recipient: 'SP1M12C3R5W5Z4YQ343V8XTXS2K3NJKT4DAC70KHT }
{ amount: u1716950960, recipient: 'SP24H3B9YCPVQBWE9M4P5S2JNBY5MVFM5KPYFZWGJ }
{ amount: u1716883520, recipient: 'SPHXS6TTVQKYZQQ78H3Y09MFVR69G0C0TVYCN7MR }
{ amount: u1713223170, recipient: 'SP275N2Z99KVNYX5KAFJSFD3XN4SX4VDHJZ9ET8BD }
{ amount: u1713223170, recipient: 'SP384K2MKY9FEDJGQWSZ7G9RG2C11GKGY5FJY0YXC }
{ amount: u1713128500, recipient: 'SP2XB62GH1KAGW18SM4WKRHSGBQCTMEYGFGHEE1CC }
{ amount: u1713095090, recipient: 'SPBY1HQ46JX4ZF2DVFP2AP4BA7YVYATXQ1AMEZWZ }
{ amount: u1710281200, recipient: 'SP16X5YXJJGRJK6SG6RHXTGRJH31AAT9KG642T6J0 }
{ amount: u1709029870, recipient: 'SP2VEXPBYC8PN12DMTS4CXS1XVZ23YXM0VZ018JQH }
{ amount: u1705483150, recipient: 'SPQ98CHP1RB3RZXPP41ZR7JMP6PDR2YKXBJ0040S }
{ amount: u1705369730, recipient: 'SPM2HJVJK3Q65K06TWVQX8B9NKK58K9NNVZ1J74Z }
{ amount: u1703407880, recipient: 'SP3GEMNBPZ57V6H77KA1ERKJWZEQ3HBJ1EZYRJJKN }
{ amount: u1700696050, recipient: 'SPWN5SGXVH7G92BD4370CJEWNFGKRRWJT1HCJQKJ }
{ amount: u1700004660, recipient: 'SP24F3T8VFGKGR6MQ5R0K65GZJ9NFY41XM97KH1E4 }
{ amount: u1700000000, recipient: 'SP3P3ASVHF6SN15W1P15PM4MJS1ZSFB58CZNPKKM1 }
{ amount: u1700000000, recipient: 'SP19FYDPTHREMFVR1Q9QNWXKNMKPT5WC3423HHKGX }
{ amount: u1700000000, recipient: 'SP30BET7SNDZ5SFT3GNY3FV3D08PNPH10VZE4CCG }
{ amount: u1697064320, recipient: 'SP2K3RDF0CVQVFGJ00FXDV5P4C85VQ8QFNPE74GTJ }
{ amount: u1695194900, recipient: 'SP26MFGTXK3899ZAA76CHBWNCPFRTCQEN1T39DEHM }
{ amount: u1695067640, recipient: 'SPRQ4SC5TWY3GP4D6CN6NTTRG7ZM8DP6RFWBBZEV }
{ amount: u1694337670, recipient: 'SPCNQ9KCEFN24KJG7WFESMHF18RWYA9W3PRMPZTT }
{ amount: u1693835240, recipient: 'SP3F7XR9XVS0G7RCDNWSQ1KZPPRGN4WB9C4KT1DKP }
{ amount: u1692927140, recipient: 'SPP15YVW5AVHM708NBCZB56QN6J8Q4WVBRFAV13C }
{ amount: u1690868010, recipient: 'SP3N0S0YMTV25T3CPTN8086GNVD3DD27WH1A9WE5S }
{ amount: u1690748700, recipient: 'SP16BHEXTTR6DNFGJJ7ZGAFWWJXTCZDECNPV8NQEJ }
{ amount: u1690053380, recipient: 'SP3F0SKP1G0AXYZYB5QE8FQHCYP8YEC667S2658NN }
{ amount: u1689487660, recipient: 'SP1FS1417G06DNEKDX7QQ5WH6P5QBYTD9EM0AQFP9 }
{ amount: u1684194870, recipient: 'SP31JWYN5E8RT94WPXSCS4S1Q09HSF4V8K8KYMT97 }
{ amount: u1683400290, recipient: 'SP312V4XCMT3QGAZKXE2JXY2SHVT32KC8FT2PHJPP }
{ amount: u1683107060, recipient: 'SP6BKMHP1T2FPRMCX8C4TF10Y7FNNDS30KECKR37 }
{ amount: u1679917200, recipient: 'SP1K0194SNJMCSPNWAZSTZXVC50YTGWSQRHCTPMXT }
{ amount: u1679898040, recipient: 'SPVZ45STEZSFSAGWBWCKSF07XFB0WHPJ6BTQD1HH }
{ amount: u1679897000, recipient: 'SP34F5FD7SSBZ1YQE6SWG2G1VKD2RKPNSVRANXEQK }
{ amount: u1679895970, recipient: 'SP190296R0VSN9JPN42WHZEQJAP2J3CZF5XRZ693B }
{ amount: u1679894930, recipient: 'SP2SMAV1GVYPAWRY3ZG1DSVCHCNN99FRRNF8FWHCJ }
{ amount: u1679893890, recipient: 'SPT6FE8AK3BC9NQ22MM12HRYTP902V61HFH0HHZS }
{ amount: u1672496340, recipient: 'SP1ETT0JQSM36VBMSJ2H2QD4EXCCDP4KP4WCPZTFJ }
{ amount: u1672052750, recipient: 'SP2017GVN4CH346G7BA3M8N9Z8B61YRW3PQE5RDF }
{ amount: u1671771310, recipient: 'SP12JKWQHD6A3627TCMRNCNDA8Y2M7J5VG3B490PB }
{ amount: u1669984200, recipient: 'SP1CCTERBA32C53VR4G4XM4NJ785MVEKC1TG71422 }
{ amount: u1668674210, recipient: 'SPN70K18DGZWS0H5XR4CYKSV53F8VC5MT4EW6SNA }
{ amount: u1660458660, recipient: 'SP25B56781Z6GM6E52E3YVBKMWHJFH0G3XV407803 }
{ amount: u1657980010, recipient: 'SP1E6EKZY88Y8TT8PJSG00FMXHTC1VBVCN64G7S0X }
{ amount: u1654825350, recipient: 'SP2B1RKJSYSHYG9FDK412FEB435BDHHT25MAV9EBY }
{ amount: u1654186680, recipient: 'SP3WD4PVMM9XGHXPET651T1DQHV2F67NKPDCNP4AX }
{ amount: u1652787660, recipient: 'SP20BRQYA0YMF1E41W485TB0PXSGKWV07DAWP0T03 }
{ amount: u1650555130, recipient: 'SPENEJ0FJ3AXCTFSA9Z5YB238GR8S4VCSXBNPYAR }
{ amount: u1649778740, recipient: 'SPM1Q7YG18378H6W254YN8PABEVRPT38ZCY01SJD }
{ amount: u1648327010, recipient: 'SP7TFRHH1EEAN46N5GK6CJ2V8MY7KCT8WJCKQHRH }
{ amount: u1647209750, recipient: 'SP1X6H9Y9HCCE3R2EXP7N54Z1DXBE1STNJ7S1BCNE }
{ amount: u1647204890, recipient: 'SP0FM7XTW7R3Y74A2TYN1B2HF4MB5NREFA74YFSE }
{ amount: u1634571660, recipient: 'SPV7P3M4EFCMD4XVA1SMN2XH4EH4MS7KFBKW187A }
{ amount: u1633200180, recipient: 'SP33XMXF8VVJ8PNW1GE853PX9R18J3CVEJ85CN2CG }
{ amount: u1628836910, recipient: 'SP3TMBSN8R5CXEC0YX2SHQ23683H3F0M397QF2VH4 }
{ amount: u1626586630, recipient: 'SP3RAEEE4NVFYV6H8MX1P48D5X9Z1H460S1NX7Q5S }
{ amount: u1626448080, recipient: 'SPP8QT327S65MH3VEEAGHKQ5KNEX4Z4TDH0A8W2S }
{ amount: u1622661100, recipient: 'SPVCYTEEX7GT11B4ECTYWGM0FQH3E5P8AF0FD59X }
{ amount: u1622358430, recipient: 'SP32CP1523D7300E7DJX6M53PD2XH1B7KMWTR2RDG }
{ amount: u1616389100, recipient: 'SPQVDJ7AQF4HHEXWW4HQJYX5QY37P3XMHKJTAYME }
{ amount: u1615645660, recipient: 'SP13SHPW9F60JYPX760Y9V9JSTHZR55PTR42XM9Y0 }
{ amount: u1615628040, recipient: 'SP3N11CPTEXWG8PDZ2YRDDSQ6Z9WH3SNKENBYWV91 }
{ amount: u1613890180, recipient: 'SP376KJGHBBPEH35VWSB45QQNZZAPACT578WH0ZVE }
{ amount: u1611380350, recipient: 'SP18Q757EDXW10RD1TSKS59PXRP1AEEEF8RWVPY37 }
{ amount: u1611367510, recipient: 'SP3AR3JAZPPSV1G7QPK8J3D2W3W7RX05WQW4XA8PZ }
{ amount: u1611000000, recipient: 'SP2SQNW6RPXW0TKZ2KYC4B6MQ0MYXP1GD7AN1JW4G }
{ amount: u1607200410, recipient: 'SP55J5RGSG2QYWQYXCA3RSKCN94H8RX2B16EQKXN }
{ amount: u1606146720, recipient: 'SPP2Q353WCJZFKQTVJ846KFC5CWSSDYS9R18JEPG }
{ amount: u1605690190, recipient: 'SP18ZMJBXGF496WXH7BHNZAX654A0M3J3QAWG2WA }
{ amount: u1604928510, recipient: 'SP16ZQ5YST0WFM1Q80T4FTHSWTNHXRYDT6S1W4V12 }
{ amount: u1604928510, recipient: 'SP17R1BMDHGCZXKBA9XPTHBJ8KBHZSBEWEWE793SA }
{ amount: u1604330530, recipient: 'SP32ZD2E43J4YPEZ1SDRK6JJFN1C0MKZRD86T3RGC }
{ amount: u1602978860, recipient: 'SP3JSHBXY36MY117VSKZGVPHRBKD9RSP8J99XAXH8 }
{ amount: u1601603610, recipient: 'SP1F9A71Y9GNV9NEKYGSQP3AD6SM14HKADV7YFCD0 }
{ amount: u1600000000, recipient: 'SPG95KSG0S3P4P7T8DX2GBNJF6K2D7Y43XTYC40E }
{ amount: u1591660390, recipient: 'SP3Y9J9G07KX3SDDVVFK508N84T9CQJBXS9ARZDMB }
{ amount: u1591570570, recipient: 'SPJQNRTEYMR45536BP68APVH4RQKMARSKWHJM7RW }
{ amount: u1591500380, recipient: 'SP2C92H1H9F1T1AW1JGADV5BVSN8Y9Y5VB1RNXYC8 }
{ amount: u1588967370, recipient: 'SP1S9EDNZ3PAFPBW2JK6EC8WBT8H6ZR678KWJHST4 }
{ amount: u1586602290, recipient: 'SP2MZ5XV4W20KDENPG7TN6Q3PBXA05VEKM2WRJZ01 }
{ amount: u1582586490, recipient: 'SP3GD6HDMYMJSPMH6108A1DDJNQ1CJMH0FBS1TH6Z }
{ amount: u1581219980, recipient: 'SP2FY4VB8109DMYY0BFC70QK23BAYRWA1XK8HST1T }
{ amount: u1580307200, recipient: 'SPWTXBMHAYDA21PX0PGGND5Q7E850REQWCK92SH1 }
{ amount: u1574580660, recipient: 'SP1XC6SBAK0FDJ1MY8DTST5MN2QMA6BC95QBXXD4R }
{ amount: u1573441260, recipient: 'SP2S1837391S93BGF8JJ1JD9Y9HZQTK8RYETPPHJE }
{ amount: u1571058270, recipient: 'SP2D4XD59PFMR6ZAAD51FRP23VZV5TSWDM7TVP1B7 }
{ amount: u1569958850, recipient: 'SP244MEJ0G542X835C67C1XVWV3NZSYXX0SJ52CKN }
{ amount: u1559015980, recipient: 'SP1TMDA19MZ9BZTF0TF2KM5GSSCQ1BX0QM4S5WXCH }
{ amount: u1557544110, recipient: 'SP1QWS57495REPSRNTN3YS3JEJEAVGKJTCAVH7W22 }
{ amount: u1557067020, recipient: 'SP3D2HHKEB0MKZ7DAZ4A68RVYX4993D0Y4YDKVGF5 }
{ amount: u1556825800, recipient: 'SP3GKJ50EG4DCJZWPKJVE13D48E7SPQRBDPCDARY7 }
{ amount: u1555326950, recipient: 'SP3JAFE2DBTYQQBCTASWE7AHGV038QE5TGQAKWPC4 }
{ amount: u1553785120, recipient: 'SP290TEXFMFESZ1V6BQX8SX4X5MPBDSA0SY2NAHC1 }
{ amount: u1549465230, recipient: 'SP3246MD4432N2ENJ9PCSV3A06815GSPTP06VT3SH }
{ amount: u1548774700, recipient: 'SP33JS3FEPHZ0254MX17SK863QE1MNTJHSEDY94RF }
{ amount: u1542928050, recipient: 'SP1V63ZZ82T8NV7TBKTXK3R5D0DKPFD0RZQPDZ3CG }
{ amount: u1541478000, recipient: 'SP34AWJYDKGJESMGHBN699Z2WDJJFN93QBNAMNHD9 }
{ amount: u1538890380, recipient: 'SP3YE8RFH0BSXM1D96QA3BN3G023F45CQ8G0NRV1G }
{ amount: u1538740400, recipient: 'SPR8KP1APHSY1C0VJ8ZJ8HW5SD9AQQCAFKF807ZY }
{ amount: u1538448480, recipient: 'SP2QZ1GNJGY76R0GAFEZ6EDDMWYB988HNFP1GPDRP }
{ amount: u1535906710, recipient: 'SP1K5E5WB213GA8K2BE9YATA5VT0KJ5BTANMMTJ6X }
{ amount: u1534317170, recipient: 'SP3GF9YA8H8EAP61JYFGF5XKBPEZZ0QAJT7K5DTE }
{ amount: u1531459850, recipient: 'SP3AFVT8KFMC1YYFP0AX68QBKN5S8YD4F7QQKDN8 }
{ amount: u1530664530, recipient: 'SP3Q6BNPKK5DRHFWK8C81Y2E4XCM30ZWEZ4TH31K0 }
{ amount: u1528671410, recipient: 'SP3J5W36WEQ6AG2R5KZ8BYBBXRVWRT2XYGS86WQS4 }
{ amount: u1526631530, recipient: 'SP214HQ9AJV2EAGWRJBG4BF3H6M7XTVARQ02GESGF }
{ amount: u1526468650, recipient: 'SP2QK4EMN9NR5WTP4M376BTW2SRECRQ6CA5ZGJQEW }
{ amount: u1525802210, recipient: 'SP1KVRFNMZX3K3CRAK8S36A88Y98B9MZE69BTNWH9 }
{ amount: u1525788310, recipient: 'SP14SFGR1YS5NYFYN942K3NNVS7FWZQV99E3F41TR }
{ amount: u1524883440, recipient: 'SP1D2TVE3GTMVAR5D2QV5TRY28WWQZZWXWSR0F6KZ }
{ amount: u1522829770, recipient: 'SP3YRANVPC4HAWGBGAEH5J3JV05QVPKBSZNCG6KYS }
{ amount: u1520316980, recipient: 'SP1C2D6ZCMTB24K3KRG5H608GAER1D78GTGMG5RVA }
{ amount: u1520003480, recipient: 'SP2DG03SMAV8Q8JTDHF9F32Y7B3523ZJYM0Q3MK3Y }
{ amount: u1518312670, recipient: 'SPCCQQJVK6J5EF6TW7Q26K7WTX75AV9KEZJEBDJF }
{ amount: u1518249690, recipient: 'SP1YNGBVZ4S6FG0TYJGGGZQ5A3HK9GM1Z4RQQMWJR }
{ amount: u1517509100, recipient: 'SPPT0QK3EKBHFGK35XZJVJY3MBXQ44ENNZ03TGCW }
{ amount: u1517180020, recipient: 'SP2G6RGCTKXP1GFZDXZ66Q03NXD9D42N8FEF964D5 }
{ amount: u1516599060, recipient: 'SPNCVR40VT2PKAV12R4QNKKVXFAFM6W17E01CGV9 }
{ amount: u1512176630, recipient: 'SP1YEFK4DJDH5SB9SGAXM9GTB6E3FBGT7R83ZQX42 }
{ amount: u1512026400, recipient: 'SP1MPZZ3Q1AV52XYGQV94FQD0YTSHPQCYPKSDJ0SJ }
{ amount: u1511421940, recipient: 'SP3HBV3YJ36GM5APVMXBRNXBGEMXRVVTAFV4A6CM8 }
{ amount: u1510591570, recipient: 'SP2X7P20J3MWPB8H58PWAA8G06WNPK8P2FBYA8RG1 }
{ amount: u1509836370, recipient: 'SPAJA90RVA3Q5F3X90WW7R1Y577HJEBV76GMQSQ2 }
{ amount: u1508520700, recipient: 'SP2M6KXMM1GKC4F72YE4S8RJGPEHHXKN60KEACFTM }
{ amount: u1508517570, recipient: 'SPV93ZV2JKX7QM2KV381744HCTNVXP0WDXSY3JKR }
{ amount: u1508507620, recipient: 'SP3KHX4K2GM9VBRWQBJZ4B76J4Q45PCD8MZCBHB1S }
{ amount: u1508506650, recipient: 'SP2M8JE4HCARV77SBXMN5J4KF5FXS9ZWZYH9561YW }
{ amount: u1502277550, recipient: 'SP81H7RYQRFZ66MX4DQTHJHE8SSF7VJGGGZ68BVD }
{ amount: u1500212160, recipient: 'SPZGDRKKJF6NJD490R82ZFDSFGMV52ANAYD4360J }
{ amount: u1500054640, recipient: 'SP2NTAVRBEVVMDJJD0VV9FHDFY27DQCHG4RKP5A7F }
{ amount: u1500000000, recipient: 'SPWF6Y4513RVT963X2K90V0C3WNMCTH8EQT9CJMA }
{ amount: u1500000000, recipient: 'SP2QRWMKG8B8JAJXF84PBEMD58RDVV3WTJB3DD9PJ }
{ amount: u1500000000, recipient: 'SP2WVP2CQ0BBZWCWSNWESQE03Q3XKR25GM3D7WFJ }
{ amount: u1500000000, recipient: 'SPAY9ETAABZSJ13JFYW3J67ZFQG5Z5EAWYM8PWSE }
{ amount: u1500000000, recipient: 'SP3ZNVFFS0GMBQE40Q9HFX2KK6QGVVCS0YHMRKCJ8 }
{ amount: u1500000000, recipient: 'SP2D8P9CWYGKGYMY6C0JGF107FERQX0QEASZ0QDTT }
{ amount: u1500000000, recipient: 'SPMZ1YC6GRCQKY0S8KCNG7H83T6XACGFQY8DPJ5G }
{ amount: u1500000000, recipient: 'SPRQFYWPRK1GP80693VSQWRNHSYS0ZRTA6BNC2N9 }
{ amount: u1497934900, recipient: 'SP364VQ58GRKDZ1M0V7Q21D85SZ64XJH073C33KS6 }
{ amount: u1495985170, recipient: 'SPWFXW9KNP7BM863M3FN7DH0WSRSYNS10SAAJ0WM }
{ amount: u1493925240, recipient: 'SP2BER9A0NNA2CMPWA4DA6W4NSKQSBBX9TN3NNK57 }
{ amount: u1493843660, recipient: 'SP14KRRMPG3ZGZBBRYH8RD3T8F769D09KHR0GQ0B1 }
{ amount: u1493000000, recipient: 'SP21DNN3FHT9BERPH4T92TF7FN8FMC1CYP3BM2X7K }
{ amount: u1491866160, recipient: 'SP2JT956KEX92XX6PK2PX3QHS2JTGFWGB8TZGP3AM }
{ amount: u1485931950, recipient: 'SP30KRS65V9YPGMTQDA21PQBM403JD0JBBW65FJ3Z }
{ amount: u1483256370, recipient: 'SP2YQA2J9BD1Z1AGXDT1SM532GC37VVWCNXFGA20 }
{ amount: u1478923420, recipient: 'SP3T4PT99NB1B6PDG6CVHY8S0SBTFS3A4EX3M58CW }
{ amount: u1477862170, recipient: 'SP29Y0RSEV1BFA9J2NXN9KBVD9FQ6K67E5S4P499S }
{ amount: u1475665620, recipient: 'SP1CVK0PF1WB3Y5RC14W5W4H92HXEQYHN52R22W5D }
{ amount: u1475480690, recipient: 'SP1GB8TNYX341RQDNDPZ2ZGVJMH3P9S1STSFGVKY }
{ amount: u1474709910, recipient: 'SPN4X28J7GDA6VN1BZ2NCAC9CY17K7GB7AP1Q6D }
{ amount: u1474602720, recipient: 'SP7A9B3F8G98BEBK1TFVZZ9XJXWDFXB70C2XM74Y }
{ amount: u1474597340, recipient: 'SP3G47DQY6SAD02W7JB63XXY0V1JZNJ6SMF0Q89FQ }
{ amount: u1473512500, recipient: 'SP217B5GHKT42A12V4GC34GVR9V7ANPGZ79M8DMEK }
{ amount: u1471091880, recipient: 'SP3BCKC9STZKCVBJRB3EFK86JEWVEJWYH7JRXG9Q }
{ amount: u1469771900, recipient: 'SP3Z319KEJJAGAFSED4NSFMZS5PSACS4XGT26Z9VY }
{ amount: u1469113610, recipient: 'SP1GX7PSED4ENYZM4G7ZFAK4FWDDSQR0GFTTQQ9G9 }
{ amount: u1466730410, recipient: 'SP3C95NCHS3K0N6XPES5D15Q4CWVY1BR7GK57GAQ6 }
{ amount: u1466562230, recipient: 'SP673DPFJB974F3MRAG2MN10Z7X50B5F3XMW32NA }
{ amount: u1465673320, recipient: 'SP7BMZW811S9S849T9J99R4N9PG4XN3TCW7ZR35K }
{ amount: u1464545260, recipient: 'SP3YB3GQH323X7Y9RAHX7SJM91MM6SS8NT9J61YYN }
{ amount: u1464379470, recipient: 'SP3D3G76FPYHA3VR2SPD5CX8HRFNR7GJQS3R4X3DT }
{ amount: u1464286960, recipient: 'SP2VDGYC2GYN4HFJRKCTD9JC6CVGWDQV9HVAX9X5 }
{ amount: u1463987580, recipient: 'SP1HXR2W32E3H2WHJFR9JHVA23QGASX6224EPCDP9 }
{ amount: u1460267280, recipient: 'SP1G6GAFSC1Y767TAR2DY2J7SXBSQNRKB46PMAJGB }
{ amount: u1459789590, recipient: 'SPXHW6M5PFS4M4AVR913KDFWGM8NET00182FXCWM } ))
(define-constant batch-58 (list { amount: u1455570400, recipient: 'SPCHHYNSC8CDY9SXF1FKWCXPEW6X8Y9ZAF75DN9K }
{ amount: u1455414370, recipient: 'SP1FSNGYGF2BVMFJQ51YQNRP2GGY13TMFH2VBVRMJ }
{ amount: u1454304300, recipient: 'SP23QJ2RAM75EMT3JDZXCW0R5RRA6V3VGG4285HEV }
{ amount: u1454025690, recipient: 'SP2DRTQ09PCFM9WDC7X619KBSD6J55SZQSCP38AVD }
{ amount: u1447890620, recipient: 'SP2855VC8D16GY522411462DYRS3463R0DSH789B0 }
{ amount: u1445115860, recipient: 'SP25N0Y7RRG8EWK6QHF9QAV649TKKKV43GWP4BS20 }
{ amount: u1444919020, recipient: 'SP32B50ZKB7EPW0KTE70064E51RQNPC2M6AH55ZKF }
{ amount: u1441065650, recipient: 'SP1SPXH8M9CDE83Z3ATPXAJFJR3T5NMBQXWM9FCX4 }
{ amount: u1436250130, recipient: 'SPEV4KC4TQGHXP0T91FDJCAMTQ5EP92CZER59NS4 }
{ amount: u1435263510, recipient: 'SP3HFC0EX8QCPQ4S2Z9GTMNBA4NXK3KNJQEQFVGYX }
{ amount: u1432050280, recipient: 'SPP65T2HCQ2DRGRTKMQ2ZAKB0MT6B91WCFENWR0Z }
{ amount: u1430317970, recipient: 'SP33AZS7XGNBHAWKHT9KR76C8C4C2DGCVKN74AGB4 }
{ amount: u1430234000, recipient: 'SP3PKJMS1B4Z146PGDBYXRNPFWNBAEZJM6S6KWVE0 }
{ amount: u1429888190, recipient: 'SP2JQQ5MJ13N268RXH2TE45QN7T0HBVRKHG9NEZAB }
{ amount: u1428376670, recipient: 'SPAF42RG9Y0KPY2AKAWKBT7Y65VVYMEVY6M2E2EY }
{ amount: u1426576150, recipient: 'SPRYQBF8Y3X947ABHG2X097HFEAFVXMJH7C71MZ2 }
{ amount: u1425267200, recipient: 'SP1W7BT5HM7SSB4C86NYS80D2FQAEJ3883WT0P84K }
{ amount: u1424060660, recipient: 'SP3V82MJX884SHW6X5YB7MYWSC5X35HB9XW05C1GP }
{ amount: u1423231760, recipient: 'SPFY6R66ZB0WNW5X6SXXH3EZ4EYWQ3B05DYWZ88V }
{ amount: u1422264090, recipient: 'SP220VFEDEMB2P25THWHE3CZGSYD0W0E8WX1CYKE2 }
{ amount: u1421715430, recipient: 'SPWWMJ8ZBHAY5M8QCEHPK3MKXZY18W3C897JPJDV }
{ amount: u1419248070, recipient: 'SP12W7N37ASCTXDDN0CWCXGFA7XYCKDTDVNMRCD8Y }
{ amount: u1415075050, recipient: 'SPT2BQGRECGHNN0YAEDCQCTN8R0QCV0S9NB0PWYH }
{ amount: u1413228180, recipient: 'SP2GSCV8ZV0M4QGNRTXCPT0SCRMBEKG1NX0A870X1 }
{ amount: u1409662580, recipient: 'SP2NXCKWDMCMJRSSFY8E3VB24N4VZKPFQ0K1CKGXH }
{ amount: u1409613710, recipient: 'SPDNNEVHPF6G75DMD9VBQB55PR3XMS5PSXS2099V }
{ amount: u1406335820, recipient: 'SP377JJ50B6CEY608G8EHHPDS7CFNQ01JTW65KG6T }
{ amount: u1405331010, recipient: 'SP1YSXPC193NZAFQM8AHFAVBGD83XMWBWW2QY1T3H }
{ amount: u1403245230, recipient: 'SP19EC75DBV7BXMEHGW7XFM2G4NM5R8Y31T06BJK5 }
{ amount: u1400000000, recipient: 'SPQCY7QEG6YBHT8DJ8BDXDFQFJMXMAYEAMBF13P5 }
{ amount: u1400000000, recipient: 'SP273SWYJNKJNS07QAJ6W3Q888CPKNTP00GRZCGVH }
{ amount: u1400000000, recipient: 'SP1APHJ5MYY0GJDZVZGC94J3XAWP3FW081FPN2YFC }
{ amount: u1400000000, recipient: 'SP112VFZD6Z73JNE688B7HXXS6Y03HADSPQDERA11 }
{ amount: u1400000000, recipient: 'SP3MAP9BPSPDK0N9SYJFSHEQRKT88CSK0SXGHZWPJ }
{ amount: u1399645300, recipient: 'SPX7XNS0HEK5KA5ZVQ6R5CC4469FNFWN4S4NNAJB }
{ amount: u1397247190, recipient: 'SP5GTXS5X4K91H85WP8HR5X9Z944ZAQ3HC39V0RA }
{ amount: u1396105200, recipient: 'SP3B3H6C9005N1MYTNQXC5GP0D331T9EP8NXQ8EQ2 }
{ amount: u1395873670, recipient: 'SP2M157RP4H3MXM2VVYQX72N9VZCSP2B9CXSGRJVW }
{ amount: u1395815430, recipient: 'SP3WH4T66BSJ3QR666BQPTPXAXZG85C5QC1BE108P }
{ amount: u1395756630, recipient: 'SP1376WS8MYY74H5PYR04FTQQ7QNJ1V7MJ4XPBWK5 }
{ amount: u1393487880, recipient: 'SP3SRWJG86AQRXH0G1K6MN688PEMFB4NWQ0SVHAEM }
{ amount: u1392345100, recipient: 'SPFZRMP0BYS1W82KSHZXRMWYDYWFA40Z2FK158FA }
{ amount: u1392000000, recipient: 'SP2CJBE3SWKCK85KKKY1ZY898MJNVSH0A703565HS }
{ amount: u1391423910, recipient: 'SP7MXQ23JZEX0G34AHTAJSW720JM973NC9WZ2Y6N }
{ amount: u1386542810, recipient: 'SP3C9Q2T8AX4B8KC4Q5790RW20WHTT85TKXP099XQ }
{ amount: u1382135280, recipient: 'SP27E9APT49NT4RDFN8Q87SNN1PDFD84WETWWC8ER }
{ amount: u1379177450, recipient: 'SP2X2VKC5MGT86J31YNA0CQFZVHJ9FRH4TB1J2QRQ }
{ amount: u1378800130, recipient: 'SP3NN2JEGXMJ7J1H730JCKJ2NR1VNKJ5E07PMBWFY }
{ amount: u1378000000, recipient: 'SP27W8CCZTPM8MPHGDJGSPHVFKQMJWPBVYF7QFGB7 }
{ amount: u1374258770, recipient: 'SP1CFH2SZWHW390J75E5J6WA8RTEPK5BWMMJF7KJV }
{ amount: u1373850500, recipient: 'SP30HHCFT8X7A0T0JG72X8G8DE065VD26JX8R5074 }
{ amount: u1372012240, recipient: 'SP10H9AC032BH51116P1NAARFFA90DH60D553STPA }
{ amount: u1364319670, recipient: 'SP1AZNTHZPXXA9EQW1CFPS8G0ZNQFV2QGG5TA4GSP }
{ amount: u1363697320, recipient: 'SP1TN0VDDRCN3WSPYJDM6A4XGQ1RWJWKHJMDNQNP3 }
{ amount: u1355959720, recipient: 'SPFHZ8K81FNN38VW25VN2H0QHZG3ZJ6H0VAV7RWD }
{ amount: u1355891220, recipient: 'SP13Y6HXQ5RAG5FGQ7NH0GXAXA463BCNTV946C2ZW }
{ amount: u1355242020, recipient: 'SP1TYE5TEVGHAT1RZBY2X0JKK4HAHX4M95GQ5QNM4 }
{ amount: u1353755200, recipient: 'SPKFV52DG277G7ZZVZT5TWF8EWMHR550R02FFXVW }
{ amount: u1352651120, recipient: 'SPF768VRYRX6ZH3FNM63T9SKE9WTPXX19YCMS3YZ }
{ amount: u1352472790, recipient: 'SP325STN2PRSDJ60P6FC0ZGJJKRTBWSNHX997K3KR }
{ amount: u1347887340, recipient: 'SP3YSYJZW5A26VN7JTNZWM95TATXQX2Z2D7ZH4DV6 }
{ amount: u1345310490, recipient: 'SPF0V8KWBS70F0WDKTMY65B3G591NN52PTHHN51D }
{ amount: u1343918660, recipient: 'SP11F4MD77XBFCWY5V7KKP1TK252TA4669AHCQR8J }
{ amount: u1341806640, recipient: 'SP2E9EAER5NJEXYN86HXVMEPRSP8CJVPH6ABN0ZYS }
{ amount: u1340934140, recipient: 'SP1QMQTZ5K18MV5DFJ9100Y4WD6DSK0DQ2K4Z0PA6 }
{ amount: u1340486800, recipient: 'SP04XPTWGCAJG9T94KQE3WZSY4PQX4WKECNY38W }
{ amount: u1339970870, recipient: 'SP2JRDNCXQ3MPTPNESPJTQAS546DPNXT0WY35731Z }
{ amount: u1337325060, recipient: 'SP34MZBYMEPDYYVEW95FHB2KCTFQ5D1VG092ZXDBM }
{ amount: u1337009950, recipient: 'SP1AQDVJF18XEFVXMWTRAW9TQ0N2DCN0178FKW03R }
{ amount: u1335016970, recipient: 'SP3CW983K3QKR299F6VASY1MCBCM2N7Z81F7P8S99 }
{ amount: u1334726390, recipient: 'SP31PFX7BQF3Y2AXCBSB93745ZJDF6SY7AWD15YZC }
{ amount: u1334044830, recipient: 'SP4W0VHZNS54KN76M6JH6GFM30CB9N18BK9JQE42 }
{ amount: u1329392780, recipient: 'SP3RCH6SW1Q5WKMN5KZYV1MJSRCE5250ENCW0GC00 }
{ amount: u1328874930, recipient: 'SPW45P8YYEFMJY86PM59A6V8T4X3H3631KJF3047 }
{ amount: u1327159020, recipient: 'SP15JAXYEY90M8363W644WCKHA9ANSC34BP4A0GX0 }
{ amount: u1324950760, recipient: 'SPE5KK279X86H0GD7A28K1XP36WX0Z0976KJB3GH }
{ amount: u1324489760, recipient: 'SP1MHQ2ZJ7RQDBMTKDCJFYES37Q4A5X1KV3VVPB5G }
{ amount: u1318546850, recipient: 'SP32T6M9782MN5HH7CDBRS3KYSB1RCSRK73J1V5BF }
{ amount: u1317964240, recipient: 'SP1WD9Y0K60F4YS8M5XGM6XVD7KWAYJ4ZFGE1KAF1 }
{ amount: u1317091370, recipient: 'SP1FZKGA6DNYY0RMSSPDJW0PDMY61382PA6YQN731 }
{ amount: u1314499640, recipient: 'SPH8EHHHNJRKD16ZQAHVME3CJA4WV0MSMYKT30BP }
{ amount: u1313040910, recipient: 'SP2AWE8GJ52MKEAGGBTTNEEXZSM9VF8CTYK7ZCZDC }
{ amount: u1312867560, recipient: 'SP1JT0CZAV1F1VJZVFQB4C5B7HKCJW5Y43EXYG0B2 }
{ amount: u1311049230, recipient: 'SP1FWWDN304FZ2KNS8MBDQNQSTJXJ0F9WZYGWX7Z1 }
{ amount: u1310391770, recipient: 'SP2SFNRPX29BTPWSW15BAE5RJ0XENMSBXA68DXTAN }
{ amount: u1310275330, recipient: 'SP1JQNJCV6KK63Y2H59EEE644NFSBYA69NPFMYZR5 }
{ amount: u1309802830, recipient: 'SP1NYHBF7GNF9CE7P5KB27VZTHK3V8XANTMXNHD2 }
{ amount: u1306694370, recipient: 'SP21FM69MHJSWNJ6VJQV9E88Y9YVCFGDVE9983HD7 }
{ amount: u1305491780, recipient: 'SP1QVSFGCPPDERXY7FGCMF8Z89Q3VE9S197X0A5XW }
{ amount: u1300000000, recipient: 'SP37CV88Q9D6HGNE65NY1X465PM82V7FBAR7M4ZVN }
{ amount: u1300000000, recipient: 'SP3B75PG0MX0RSZ5B706PDS72K3857DB4YDP9H9QG }
{ amount: u1300000000, recipient: 'SP1F8TJH26G911XP383JZQAN5HHGY7CKPDK4BXTF7 }
{ amount: u1300000000, recipient: 'SP1HF4SXETC5MT2AZH0KZT35N8FJ0W7MJFFDZ2AGB }
{ amount: u1300000000, recipient: 'SPPB3EG6RQC6FBC2X2SRDYNAWPDNM9E52A1DRFCY }
{ amount: u1300000000, recipient: 'SP2VAGDNKRJT8NKFX1ZKEGFYB0DNXD2NEZVF5VR1S }
{ amount: u1299823670, recipient: 'SP3KWK40B4NVMNADDQMKZSWTC8M5GWBV3RG5F9Y56 }
{ amount: u1299627980, recipient: 'SPRZ60RWC1YPKT99QG3YFSK60QS8BRATRDPJE1YF }
{ amount: u1299486000, recipient: 'SP2QZ5PP0K2SFZCJS9B5YKM7JM1GKF58H351SD6B }
{ amount: u1295301630, recipient: 'SPD6VQE75FZ2A6GF931MYEQKSD7QHR488SB81E1N }
{ amount: u1293123160, recipient: 'SP3BMWZXTNQSS6VMD3APPGWD0H9Q4PQD72A82SGB3 }
{ amount: u1292059390, recipient: 'SP117DHM9N5AWMCBDEHWY78HMVBQER8X92E4VWSGF }
{ amount: u1291132880, recipient: 'SP2HMF06X2G5YK7HSERXX8HDX9MWQZS429EYN3G81 }
{ amount: u1290510150, recipient: 'SPV9MMTGV1BX1R9D4W393V7Q8M4PR1J4190WK0VQ }
{ amount: u1290275910, recipient: 'SP2JCXZFW68HY7W7XK6RRMZQY0832STXT0DARQM2J }
{ amount: u1290273120, recipient: 'SP341NKKBSJRQB4H1574VA6K27B5EZ9SZ2J97DDRR }
{ amount: u1289525750, recipient: 'SP3VY6RFNKE0KTHHHFAFG2VD946FRHY1T5FG6CK2M }
{ amount: u1288707690, recipient: 'SP2BV1QJAEYVVHDZDYFXT7DSBFP6ZG0GT3PQD4RYN }
{ amount: u1284917370, recipient: 'SP3D7A9SYQFF8RWVRHRN9WC3REBPX7FVDG2X5EQ15 }
{ amount: u1284829010, recipient: 'SP28W18JWGQK999DPVXRN5TSB24FWV7RB3F0VKPBN }
{ amount: u1283942810, recipient: 'SP297KJ70A5D8Z0W2AERHFNY4830W51KX5F9JCWVX }
{ amount: u1282461770, recipient: 'SPB857MWT7MEHBN7VHRX93TDR4ZJQ4F4DGBKYT7K }
{ amount: u1281994130, recipient: 'SP3HY81SNXYTWFJ9YHMNR8T1H0AS3ME97NBKGBQQ9 }
{ amount: u1278000000, recipient: 'SP19Z8KE9VM14X605FP126T0PJ0DTEH6E03C4JG6A }
{ amount: u1277939500, recipient: 'SP2QG0N0ATBJPST1J9BVCKG9GC1K7D5R6Q6V26Z9F }
{ amount: u1276617730, recipient: 'SP3XSA5GCFBR54NEHNDVFZJP87A0K4775G97E9SV }
{ amount: u1273285450, recipient: 'SPE9Z73SS5HNJMRMGSTFRMGDB20HH42HP18PSH04 }
{ amount: u1270764990, recipient: 'SP1KRR03JAYSWTQ8N26ZAMWPW251ESG1ND5PBRHBA }
{ amount: u1270586630, recipient: 'SP1HT7PRMKNSQ7BVZHPXSGSKR9GMA75P9NNN8MGXT }
{ amount: u1270000000, recipient: 'SM2WAVW4RDYKVCBCP96W75BMM3YWKCFTVGNTV6CQ8 }
{ amount: u1266618650, recipient: 'SP40X3Z7T44EGHMNM628EGP1EWFV4E33PA0GBHK5 }
{ amount: u1265109150, recipient: 'SP3010F6GC7C14K9SX5TTRCKFEGVG1D5A3RYKT87W }
{ amount: u1265085790, recipient: 'SP10X5JQ38APVZSCM8067MJ76987A5EC035Y8BWZK }
{ amount: u1265001240, recipient: 'SP2HJP0V34FFSPJWD75NFW25SZVJEN8NAEAKJ5N4R }
{ amount: u1263924560, recipient: 'SP10KWA8AEF70R8M74N90N43RV4JKKCZA9SV8GJ40 }
{ amount: u1261750750, recipient: 'SP3CD4PV17XYBWXGBFMPW2E59PYZ9X6VNFW18W12H }
{ amount: u1259860700, recipient: 'SP292PQTBPT4TXNYGHA7N8EZ406VTE2DJNG5HPKYE }
{ amount: u1259796950, recipient: 'SP38EB8H418BD6C1N1HHQ16ZADNS5Z0ZMYMN3P6XY }
{ amount: u1257597330, recipient: 'SP2BDXDGQBM13FN96BMQV1MXHFA8Y0FS5V5YVJSMC }
{ amount: u1256265550, recipient: 'SP2TF16BV4YKF1QSW3TS6XMJ13K7QCP6G2K9MVDMG }
{ amount: u1255585690, recipient: 'SP1ZKVCT8KMF9PJCSH96M5BG65EN3XJJ0FA0AG26C }
{ amount: u1254660640, recipient: 'SP631M612GS2QS419GJCVXNSQW5HGT23PN2TQ6M7 }
{ amount: u1254593840, recipient: 'SP3WPB6H60BGQR13ZH1Y99PNVY1Z30YVK3T9DJPCQ }
{ amount: u1254231280, recipient: 'SPVTR9010P0W7NGZ9HK6NCKD8BY77XWQ3XC1KEYC }
{ amount: u1252575070, recipient: 'SP2SZP454GWDJF6RGS5K8Z9JNC4NRHEK1PMY8Q2T }
{ amount: u1251656040, recipient: 'SP3B8TXH0ZMNWTAFAJFQEVE51R4RSZZH87Z81ZMM }
{ amount: u1248804100, recipient: 'SP3A9H5TVHN6C12HAM2AQP5FS8PFQ0JF34NDJVN0N }
{ amount: u1246387160, recipient: 'SP1YB6G92F1SWWRT854VWF1QFAN2MWK5Q1XZ66STP }
{ amount: u1246386600, recipient: 'SP2WVSKMHFAZ8281R7S3PDZJYHA3P31CSJPZHCYW4 }
{ amount: u1246386040, recipient: 'SP2CNFVNHNKHJFJK38HZBM2WNNFC5MK5V45DKB6R6 }
{ amount: u1246385470, recipient: 'SP1NP5TCAWR1V9967TMVVMYTT6Q44TW4X8TF58DG9 }
{ amount: u1246384910, recipient: 'SP3A4D2X0BNP7EX8N5BPM3WDQ6J33ZVD7S0DM19XE }
{ amount: u1246384350, recipient: 'SP1G38QVK7EMR144RHFGB6YKJVN6D7BH319XM1VR4 }
{ amount: u1246383790, recipient: 'SPX46N31Y6N07M7FKJM03CMVQMPSMXYA6C9QHB95 }
{ amount: u1246381960, recipient: 'SP5HT00MS63TNT8X72NS5BWGSDH7DC2FXNQX56Y6 }
{ amount: u1246349180, recipient: 'SP3F791MCDGZ6GPNFE3KCGP26ACYDXC1DMW4AKKQ7 }
{ amount: u1245318860, recipient: 'SP3E1BSD4FJCP7RK36PH5QXHXDD6Y6CCJ6TJB4M8X }
{ amount: u1245309210, recipient: 'SP1N0ZPK6PRCCJYDH4BS3TE41D049J7JK6MF2JS72 }
{ amount: u1245308650, recipient: 'SP3ZS7X1EXF90MT4339PNPTHT3REGFGKAPZPH0B8S }
{ amount: u1245066840, recipient: 'SP3CVRA7Y0DH1J5J9BS8D49H21JGBVF4BFFAH43K }
{ amount: u1245066280, recipient: 'SP2RFR2FW4E45BAG40QGCQY7NHPGD8RTMK58J0S83 }
{ amount: u1245065720, recipient: 'SP1CFXXR8QG2XXJ32ET11WDHVKP8R08YT77CKSRMA }
{ amount: u1245065160, recipient: 'SP3BA51Z85VC7PCW00384WCESYDJWCGPFQTJ658W7 }
{ amount: u1245064600, recipient: 'SP7GXN9G7PMRTCFE5NM0PMDXDT5MTC2PCPCE5N28 }
{ amount: u1245064040, recipient: 'SP3DZSHSHES10BDK6BQR5779JMZ6AH2H0XA5HFMSY }
{ amount: u1245063480, recipient: 'SP2X7ZZPQ5SR2P9MPYBBQP3YF8T4HR4E2FE70P4NZ }
{ amount: u1245062390, recipient: 'SP4JCG41TWTJH722MJAH4BNG75MABP9M1MA1HCNG }
{ amount: u1244812130, recipient: 'SP3FT828R16J5H4ABG9BSBTDN5S942RB4FJ1ECNZK }
{ amount: u1243712840, recipient: 'SPRXVBTCSACCKVT0MM5S8C4FT96RWDQCKV80ATEW }
{ amount: u1243710290, recipient: 'SP34YGDY8BYPAM40MQV0ERFCRR12A60XF13SCAZKM }
{ amount: u1243709740, recipient: 'SP20J4GH2AWCHRWR0SW08T2YAC9699MPMB9S2S2EG }
{ amount: u1243633800, recipient: 'SP28XSESN0BTCBS8X91YHW8PXD7RQP77JJPW4XMH1 }
{ amount: u1243500340, recipient: 'SP2B92EJ5YEME4KRBDBAH30DME55ABAKKH2W4NGZ0 }
{ amount: u1243158740, recipient: 'SP2S04WNEYSSY56G90734BRJ7HYC6RGFRAS7A90PX }
{ amount: u1243156190, recipient: 'SP3A8X0631G097D8S27VZA9F3SKRZ3S7XK3P5QR06 }
{ amount: u1243155640, recipient: 'SP3Q0QQQHATW6J4M9A7SK1N6B0BC1706QNE81H5ZP }
{ amount: u1242951820, recipient: 'SPHGSGNR4C7WP7K4B6Z3V7C5RNC1X9ZX49M97H12 }
{ amount: u1242550140, recipient: 'SP1V42JDFNKQ9WETJW478AJ7ZEJ1AXW42T0SXK9Y6 }
{ amount: u1241741480, recipient: 'SP3291A9YV38HVFSR1YDKJEVPR17W1R8AWZNVA2CC }
{ amount: u1240392790, recipient: 'SP29XGY69XC9J6524FDBPZXHEW2HV1F34FCR7DH70 }
{ amount: u1240076450, recipient: 'SP1Z7XR8GX1WW2JJHZFS9W0C9SB84MNX6AA137KQD }
{ amount: u1237223600, recipient: 'SP1D9JDGD8754MNQQ8F9TKVDR8GGTB2C1121CRRKD }
{ amount: u1236581490, recipient: 'SP3E3ZPFGD5J96TMBQ92DCWNXWVPMK2QKNS8J56G9 }
{ amount: u1236551600, recipient: 'SPPFQ9P16QHT69TNKZA8Q2XZE49ZE2GHS87DWZZT }
{ amount: u1233164390, recipient: 'SP375GH89FZ3BD01TZZEVTAKWCQP8BWW6G8VDN982 }
{ amount: u1232946710, recipient: 'SP3X6D60RAYBJVDXZQA8D9YK240B2ER47ATYCPPS7 }
{ amount: u1232557910, recipient: 'SP2MXBQSYS8HJ6ZHNFDJNDYVFQG551Y21X9B0YRD7 }
{ amount: u1229229890, recipient: 'SP2BRWGAPP8AGYTWFZG36RFJDV4S5JJN6C4SSNQX3 }
{ amount: u1228300650, recipient: 'SP2B5XWC97KKW6SSP10ZC6Z0QFMVG1NQVJ4V7S65F }
{ amount: u1226027050, recipient: 'SP2M9NVS1Q8Q554BH1Q0M6P0VBDYWFPKQCAQDRX7W }
{ amount: u1225725790, recipient: 'SP71K7YJWNBP5P0KFGMHJN3GETY49RCBA4HTFTJM }
{ amount: u1225615960, recipient: 'SPJ227280MDWSERN7GTX00KTFMS0ZYYXFF2XVYX }
{ amount: u1220635660, recipient: 'SP91M28PCZRRK8G03VMS7X6A1FSCPK09G73HA1EN }
{ amount: u1218969590, recipient: 'SP2CBGD83XA4CTY2256YSPT7ACCXAB77GJJDKKR2M }
{ amount: u1216610110, recipient: 'SP3VTE7ER63SBF82AR48JWK94KDQ4TF37C8YN1CNZ }
{ amount: u1216231900, recipient: 'SP212TJY3TNQRS1EWP0WYKT6Z9SKMGY9AH984C6HR }
{ amount: u1215220050, recipient: 'SP3ZQ4AS8BDJ8CNY9HSS3WVMYRBK1JQ45WDE2ZX7Q }
{ amount: u1213510380, recipient: 'SP1EGKSGR6E7YWJ9Y37DXXN0EZXCJ1AHN0003JKFP }
{ amount: u1213271130, recipient: 'SP1JKNDJCCCKV9RAYJS95HXS4EFXZNVKXHZDGX18R }
{ amount: u1213000000, recipient: 'SP1T4489KQAE0R346KC2N3G9WXV20DAH1AR6D4XMB }
{ amount: u1211738280, recipient: 'SP1BB1AHEJJA7HV0Z9DS0SN5P3Y3FXNDV1VQ5PKE6 }
{ amount: u1208959280, recipient: 'SP3X609D6QJFFE9WV6RT4Q6381JCRK3SMPH8BH47K }
{ amount: u1206810350, recipient: 'SP6FXFH3X03PVGX6ZRGKKQBWBHP3EK1DGXVNVDZ3 }
{ amount: u1206418960, recipient: 'SP189F7TK977ZRJ8CJTGS369YP4HJB8DQ9A36MT6J }
{ amount: u1206050460, recipient: 'SPMH84S6TZCNG1N3H385M00GJVE1CFK59QZT2TCB }
{ amount: u1205974770, recipient: 'SP3F4BE27DBNQ556F65FTCHMW59395DNZW3DGVGDY }
{ amount: u1205974250, recipient: 'SP3816JKS58QHCG079FMZY38YFKJEFRYCR3KDD4FE }
{ amount: u1205973740, recipient: 'SP3CZAVFF30Y7R54X9K59KA2NRHK5X4VHTGNHPD7Y }
{ amount: u1204558330, recipient: 'SP2DXW2D55CWQV9RWWHFWT3H7JQKM0GAMD9MXFA7Y }
{ amount: u1203673990, recipient: 'SPVRVY93E1A05Q0HSV1ZB8M88BJH7TKM8XW1ZZAP }
{ amount: u1203673480, recipient: 'SP1PCWYNQQ671DRD04BPG4CMGTZENB27FSX5GZQNZ } ))
(define-constant batch-59 (list { amount: u1203672960, recipient: 'SP1S4R1HZ832B005VVY1F1N9SEE13YP5TBQV4BNTG }
{ amount: u1203672450, recipient: 'SP25P4DD2N3T4MQ6E7T5AZE4T1NFN7HR5B7YT61M5 }
{ amount: u1203671390, recipient: 'SP3WZQFAGX2V4XWA85FZGYV4FNVXWXV5Q2MEJFVP2 }
{ amount: u1203308610, recipient: 'SPC7B9KYR670RER8M9FXQ9NC99C5RQ63BM0Y1NVS }
{ amount: u1202930660, recipient: 'SPXTFYBNF56HP8WSMBKGHCJ341X4RMK3W9CS7ETN }
{ amount: u1202081680, recipient: 'SPZ3E8KECJ8X11X1VKNNJ1BJS2EG7FF8AXRT38HM }
{ amount: u1201535490, recipient: 'SP3SHYF9TM2DTR8DDPPGDAZ6MFX3T0GZ71Q407DW4 }
{ amount: u1201436830, recipient: 'SP9PBN32E1DAZFW0SH7FRDX9N4GEW9ND3S54XNX1 }
{ amount: u1201039250, recipient: 'SP1WTDVC5PMCJX5RWG3BW6R6J29FZX7G46WRKG8MT }
{ amount: u1200556230, recipient: 'SPTBH1YJX2YK57A4BPMQ2V15HZDKRGMS81FC3ZTK }
{ amount: u1200000000, recipient: 'SP1Q8JJKKR66M4EZGNTP8R0NGA0HAHP8WYNMW0SF8 }
{ amount: u1200000000, recipient: 'SP15CE44AWJY9MKJR2T2929ZHN6P8676FE1W3FMBF }
{ amount: u1200000000, recipient: 'SP2QA432Q5RE9V5D2MVX7Q91N3YTABC8ZJM13WQKM }
{ amount: u1199371910, recipient: 'SP1853211YGHHHDSHEB6MZQ4TNQEWT3ZVP4A6A1V7 }
{ amount: u1198728390, recipient: 'SP9K9HR3RGHFH87B95125FNNN5PB461KJ4AT2W52 }
{ amount: u1196820380, recipient: 'SP3K5ZQ5W574WB8PPQFKHX5CT2S53E2X9ZCG27JDF }
{ amount: u1196270620, recipient: 'SP3MPBJ58J656KD6WH47GFXMS727PRV773TK68ZX }
{ amount: u1194511430, recipient: 'SP2M1S6HAHJPXHQKFNRSYCVKRTHWW6X5WQE9A960S }
{ amount: u1191981280, recipient: 'SP1GZJPD8HJTW37057NV5QMY8BQZM9JSFSFZV0N3S }
{ amount: u1191449730, recipient: 'SP3FWGTXB9KY03KVCKSMZKD1NSQXEGNCHKYGNNSTM }
{ amount: u1190393560, recipient: 'SP32DPC51W17MD04Q1T6EWCG9WRKZVBRHZMWJ3YCF }
{ amount: u1189680960, recipient: 'SP20S5J1E585JQDR63B0019H5B1ZXFQB6BPHAA23B }
{ amount: u1188312760, recipient: 'SP1K7GGWGJ0YVJW30EB3G6AVTMB36CMW36M23HBS0 }
{ amount: u1187676920, recipient: 'SP1DR0BAN23B7K0NB5X7HTZN4KN9Z9YX7JG9V7951 }
{ amount: u1187527230, recipient: 'SPTGACR2M5TW8C8ZGBCSC9PVR0HVFX8E11E14G8B }
{ amount: u1183275460, recipient: 'SPM71BQ2DHB6Y7XWY2RXW7CDFWE68PW2T7D85V01 }
{ amount: u1182288380, recipient: 'SP40KF2FCBQBM7VPFGRGCHZDKJJ1CKXDW7C69Y41 }
{ amount: u1179759160, recipient: 'SP38D3BTRN1J4B4KXNZ5SQPCK4YD2BHND4YY527ZG }
{ amount: u1179657130, recipient: 'SPGQVAZV117CZND663ZE2MX13JBS4DV5FMFNXPKG }
{ amount: u1177621950, recipient: 'SP38GWQ1W6VTN4EVFT5NF8QSWZKG00PXA5VW0C32C }
{ amount: u1176947580, recipient: 'SP283GTAMSZRJSYF8H1QK2D36TP3NRDT4S6400S3K }
{ amount: u1176066890, recipient: 'SP32J4WB6NG6C5Q3Y4E481VKV1DW9VQXBEW61558J }
{ amount: u1176066890, recipient: 'SP2YWG26BVJX0C8SPZDJPRCFQ7Z9VB0AE0WY66X74 }
{ amount: u1175312110, recipient: 'SP3VDBDVR3A1MJJHJRK02DW1X7NPMJ133BX8CG4X3 }
{ amount: u1175195760, recipient: 'SP18G2G9CRJP24E27QX4SR3SA69AV8CYWQ36XVNQ9 }
{ amount: u1175096970, recipient: 'SP1GZJKM3FMHYFBCWEWVVE79QYD2TPV3NW2WTZQRK }
{ amount: u1174213410, recipient: 'SP4W5RD7AGJQEB2YPH407HS5XV8D5HH0WB3JQZDQ }
{ amount: u1174108820, recipient: 'SP1S0B5WMPQ8GA0H7KZNYGRX9SXRCYJ7XEKKSCCGC }
{ amount: u1174046700, recipient: 'SP25B7VDVR1ZBP46TCRYEW3QPE980MCNXCP1B7618 }
{ amount: u1173700100, recipient: 'SP8YEDR4BYRT25KB2PSSSRMBYPMFDK330AWCTD6N }
{ amount: u1173692060, recipient: 'SP2XA2TYT2CDFXNNG305RXGC2RPP1Z9459MSEA9FE }
{ amount: u1173690960, recipient: 'SP3X9QZR3E58E3524GZNNBST1RWC95KXS0QRAM6VT }
{ amount: u1173690470, recipient: 'SP2RT15BXKJ7Q8A0G75P3FY3QQM5VWG84X1VSYVZC }
{ amount: u1173689510, recipient: 'SP2XW18V0CCD2Y8V9DZ5MW5PDNNAD5GFZTDSB1P6Y }
{ amount: u1173689030, recipient: 'SP37KCYHBBGR3MB11PZG8N14T0D0JH78A50RFNP7X }
{ amount: u1173688550, recipient: 'SPDE6NFB3R5N54V00NEV9NKYFRVYMQMW68923MY3 }
{ amount: u1173688070, recipient: 'SP15V2VNKWV4B4RC6T7012W4KETNE4Q70WZRB4D18 }
{ amount: u1173687580, recipient: 'SP3DTGP88DSEGEXM3PKDFNW27E4KD4GQYJ8EZK7YX }
{ amount: u1173687100, recipient: 'SP38DJ6FBBD2JQ30Z6TZW07NSPRN77Q8JEGSZW3Q6 }
{ amount: u1173686620, recipient: 'SP1JKYMRTNHCFCP5MPV4E8B89BWY0HPZ42BGCA5DX }
{ amount: u1173557930, recipient: 'SPBH12JN97MNSEPR8JVN90H7EFV2F648WPZJRN6E }
{ amount: u1173415010, recipient: 'SP1HPXK7M2EZW1R087495Y41SKW0CXDDZGJNN079S }
{ amount: u1173414530, recipient: 'SP27YGGWEA81W6RYBJZM6CMWSPY6QYQ0M1PA1N2GB }
{ amount: u1173414050, recipient: 'SP305W9J7A71X6EPAZ7XFEY04MBW2BXXW8AHH5Q6K }
{ amount: u1173413650, recipient: 'SP3X59SQVT6XP6S8C72ZGJBSCD1WPMCC1FP8GQ9Z4 }
{ amount: u1173413080, recipient: 'SP10PG47TEXXQ0F9DCXMTJM2GSJ9B058T0FR3PGNS }
{ amount: u1173412600, recipient: 'SP136F40543X3X4J3H4JJ3P2E5Y7Q66JVWARQ02AQ }
{ amount: u1173411230, recipient: 'SP3H7VDXD2K93A5FGRRRNS0RB41AC4TWDVFAR3ZME }
{ amount: u1173000000, recipient: 'SPDS6VPEJKXVX9HAS2NE1Y9MFM6MJH0H4C17PW3J }
{ amount: u1171074220, recipient: 'SP143SNE1S5GHKR9JN89BEVFK9W03S1FSNYC5SQMV }
{ amount: u1170980470, recipient: 'SP2AF5Q591EPVDVSB9MYGGHBZZSGNSZCFNKQ3BJ75 }
{ amount: u1170765090, recipient: 'SP2DFS62FT7PTXNXA8F7SGQFD229QFBQ6K4TPMFP5 }
{ amount: u1167020100, recipient: 'SP2ASWQQEMQWVEYBQMDSXNEZBQGC1X7FFXNJMFYEE }
{ amount: u1166494550, recipient: 'SP2RCHRP7T8R4EHNQ1QKMVSJBW3Y1ZA8PMB00X5YA }
{ amount: u1164568990, recipient: 'SP1CBYVF2GXW6N8PMARFBTQ2T8X8NS4MX280HCC1Q }
{ amount: u1163996760, recipient: 'SP1X5AT6NQYYD8V85290K0MGRGGC1F6KEH9P76NR8 }
{ amount: u1163275560, recipient: 'SP33HE4TEHH3412740KNKHKX3SDVM1FEVMDQK73EZ }
{ amount: u1163268870, recipient: 'SP1VX50BH5EDJ1RGQ4PAYD4QR8WPZ8MEGZNQ6P37S }
{ amount: u1163194150, recipient: 'SP2T25TSKGCJDYJSWZ3675P9RME1AW61CM0K8ZXAZ }
{ amount: u1162830400, recipient: 'SP397BX95NWEDW182HC5W2FQW5QV6EK10EENM48RQ }
{ amount: u1162000000, recipient: 'SP64QNCJVFP77J12DQ4091BXSWDCK6SCJ0R0XHHQ }
{ amount: u1161747010, recipient: 'SP2J1MTZTM7G12B2QV4P4KBAE69DAKANX8H7J9ZY8 }
{ amount: u1161671180, recipient: 'SPH4FYJ5849WNM9RSW1D74M4NS66ZHS6HJ5QMWRE }
{ amount: u1161276200, recipient: 'SP13KFXA284C8TB5YJ5HJPMK4AR44973KJB7G9CQV }
{ amount: u1159236240, recipient: 'SP3EXJNV3J06WS09TCK63GYNH30VJ1YX53EQ2Q6AP }
{ amount: u1156965580, recipient: 'SP2DBBPN1WEWNS1N1RJ4HFSEGH7WSPVT74Y84VY4D }
{ amount: u1155074610, recipient: 'SP1V4SXJ6SSZDC34C14PFGXA0QJ042G5PM0YDDD91 }
{ amount: u1155025190, recipient: 'SP2AVSZYG7TS5CR601NFQBKJ2AYJXZA9DDGW9EBXY }
{ amount: u1154530380, recipient: 'SP3N7E7D7724CRKFNV6A0JQADV0GM1BJ8TA07WQ38 }
{ amount: u1151751110, recipient: 'SP3H2JP9T026CVK8FFE8THYQBA0DVPQN48RXJ7SRT }
{ amount: u1149183150, recipient: 'SP38Z1D641WXMHERP8KDRMAZ2M19GA7CTV0CA3HN2 }
{ amount: u1148100020, recipient: 'SP2MWWK8SP88G5178E864MFA7S7HBF7G7NGYQR6M9 }
{ amount: u1147010230, recipient: 'SP3N83E2GM68KKQDW8BR0VDRXH9VVHQEJ3ATZFQJ7 }
{ amount: u1143066390, recipient: 'SP232T03J64B7G1E1EQ39R133QCKBXHFKRDR990E9 }
{ amount: u1142760980, recipient: 'SP1S15609W7HJWZF0Q247BVNVPXNP3YFNSC8T4A2H }
{ amount: u1142137490, recipient: 'SP1QPMDWZXVF0B4W28QN120V8FPKSHW1JXFNN7YF2 }
{ amount: u1136720860, recipient: 'SPFFNHWKHFVMK2SW3ZKZX9BT4KFF9T1PPSH0NE9Q }
{ amount: u1136391350, recipient: 'SPEH9X05Q1DHSH1CADM8N49SBYNHF5KN6DF11AF8 }
{ amount: u1133118080, recipient: 'SPKXE8KZNG0MWBRKY6N88E49ZKD4WSBH85XEFY1X }
{ amount: u1132258420, recipient: 'SP1J6SPYCZC2VPF3Q7KFWDK66VAGRM84TKE8N663C }
{ amount: u1130727290, recipient: 'SP2PYEWXNQJ3PAJXVA46FKWTZRKC07YVDJJ14JMGV }
{ amount: u1130612750, recipient: 'SP29VDWQMFG7BWDA69BYG3A9G5R4GS595N6Q8DR6V }
{ amount: u1130249260, recipient: 'SP8SVZVTZBARSPH8BRJ591Q6Q2TXR07BXGBBBWKK }
{ amount: u1129675690, recipient: 'SP3QH99P3NB1CQN76177D91TRHK1TE94C6DG2NY63 }
{ amount: u1128937190, recipient: 'SPGNRR2GG22EKH62N8DCW58YB4D1PVK8TP0KQTHD }
{ amount: u1127863000, recipient: 'SP3A3W08C6JV5MG72WD04CTH205E9ZKDSA51EH6MH }
{ amount: u1124665600, recipient: 'SP1FG07AZ54PZGPHY9TZ6CJN4D36VFXV1BNMP3GBR }
{ amount: u1124345010, recipient: 'SP1VXQRZXKHFC4C1XW6QKVX9WMDNNC0FH5ZKWDJZD }
{ amount: u1124344330, recipient: 'SPBHS3Z8J5XZASZZYB0ADH56MZCNQWE3ZVSZFKFP }
{ amount: u1124246110, recipient: 'SP5K5S0RD5S2JHTT99E261PGM29S77Y1JSC1GVA6 }
{ amount: u1123446520, recipient: 'SP19WSDJWTH4CW3YG554XS5CAXJJGAN83P8CFZ4K1 }
{ amount: u1122330000, recipient: 'SPR29DG4ZHK9V5TQR5FRFABX3VKMR9C18Y5XF1DY }
{ amount: u1119708060, recipient: 'SPR9HWDFCFSTGEA57R5YT830ZQEGRZQP208WYYX4 }
{ amount: u1119704120, recipient: 'SP34YMM3FV64H26QMF1K32QVWN2VEYKYQ4Z5MBC50 }
{ amount: u1119518750, recipient: 'SP1VHPYT66XH26JR3JATN9QVTG57DPWSHR80VZF62 }
{ amount: u1116944060, recipient: 'SP32X891ST33FNZTR9G0XJTZN16W075T9NH89WCBX }
{ amount: u1116438050, recipient: 'SP2SX0SSWHWBWFTGW1NB4SG15YWZ4KAK1BQSK7XNV }
{ amount: u1116012910, recipient: 'SP2PX23YX7MRSJYD6XZ0EGRP1Y4B4ND0DCZ1DMVB6 }
{ amount: u1114164940, recipient: 'SPWR8BBENSC83YR1CC6QR8XGZMD2DBR2E1RDNXNP }
{ amount: u1113943850, recipient: 'SP3W6YG7560BVAVCXYC6JP8WGQ5X7T2CZXTAZ4DVX }
{ amount: u1112899360, recipient: 'SP2YG87Q5H8DJFYNDSQ7QAVDKR3SV9H5CSYE37QKZ }
{ amount: u1112797670, recipient: 'SP34V80F47VW8T4VXY19S5FXBYZDY4H5RHY7NTBSH }
{ amount: u1112335350, recipient: 'SPBRB3NAJ5V42EHMNDXD4SN16QTGTT170255X9QE }
{ amount: u1111813460, recipient: 'SP2GMAXVKSB1RVR0M3PWCEJ1G1324ZM0CAWW9QFAR }
{ amount: u1111649720, recipient: 'SP9EXNTJTN47SFWQ7HNB0N61W0HAGWQ1QP7HPK26 }
{ amount: u1111303880, recipient: 'SP31SH358WTMS5WBMKXS267VVG67T08SRCSDAGDDD }
{ amount: u1111126600, recipient: 'SP2AAPWAT8GV9KWV49QNAQRS4DAG3H8PWD4NJY4BF }
{ amount: u1110800290, recipient: 'SPMW60W8VTFVC2FN5T3BWDQFJZXZBZE3KNV9S4FP }
{ amount: u1110160950, recipient: 'SP1ZEZ49G1795XS1TPKKFR7C8JF8M4AVSZXMWVFZQ }
{ amount: u1108808950, recipient: 'SPKV9VAJA45Z3PZTYYM7SM02HYZPCX511148FVKR }
{ amount: u1108349030, recipient: 'SP3YKV2JZDWT3D363XGXQAVBBGEWS5K1HGFANT824 }
{ amount: u1108241240, recipient: 'SP2XZCNSWFHD2GEYR77825JH8EB0JESDXDEPBT770 }
{ amount: u1107055200, recipient: 'SPQF77TZRNXBFMFRJPXSD15Z90Q5XK896EE0W373 }
{ amount: u1107038320, recipient: 'SP3QZ8FKF6DMPV218WW3RPG1MPQQJ3GF8P8NGKNXW }
{ amount: u1106632670, recipient: 'SP199ZP5Q66GGRZZCCF3TQRTWEKXBWN637HV99BSF }
{ amount: u1106388220, recipient: 'SP2M8ZC7QD2JCJ7ZASXSFGXM4ZNM9GRF2E2EF6731 }
{ amount: u1106230630, recipient: 'SP2SWDAGCTNQBZKAQP7KC2JZF82N2V3XC0SY6FX96 }
{ amount: u1104734300, recipient: 'SP1FC7WD1RVRRM3AVB6GPPWZVZHZRSQC8YAYJA5QB }
{ amount: u1104681170, recipient: 'SPYT42M0FBN0ZBR2MQK1VT8SSE1B31FXKN4WQ72F }
{ amount: u1103259660, recipient: 'SP1RPGTMEMBFY8X8N52N9F0KGVQFGHT0D06S6SDXZ }
{ amount: u1103251460, recipient: 'SP78P35V4Q9VPT6YD5XSENQPEEWAEA96619CNE6X }
{ amount: u1102865370, recipient: 'SP3X1XH35D1JCYJF8D37GRBFC8XD050J99Q3MB4MW }
{ amount: u1102745790, recipient: 'SP386X53F0B3P6G1PPAH1D6ZNHXXFAKYEN4ABCF26 }
{ amount: u1101903490, recipient: 'SP23VX4PHDVWW4CAAHSVS3N356YSGW1X8105Y5DKH }
{ amount: u1101231530, recipient: 'SPQ5FQSVMC6DY6NBYP2B8VQNNHFQRWVMW2K44FJE }
{ amount: u1100939210, recipient: 'SP34BC6XSSSHEKSXK0QNK33JP5TCGVYR07J1X68AP }
{ amount: u1100665440, recipient: 'SP1DJJWPAWD5FY5P2HRQSA8ZTT2F147F994MMWX7J }
{ amount: u1100603930, recipient: 'SP1ZEEXT9DQFGATVJJ4G97598PGMVC3H4YZ3E4SJX }
{ amount: u1100000000, recipient: 'SP21WT6FQWFVGMNVPAJE75KC9N27SVTZQXQNQNP0T }
{ amount: u1100000000, recipient: 'SP2SH7YMW9ADJS5XB098YJCXCMHJYC46R3BZB7F81 }
{ amount: u1100000000, recipient: 'SP3FJ5ZSRA2GY5NC8H456R00AJGJX3WA2GJYV24PJ }
{ amount: u1100000000, recipient: 'SPNR4GTTH41JEYFZNYPJYBC7E4HBS42PAVABAC3V }
{ amount: u1100000000, recipient: 'SP3FMKRAXXKVZZRDCFV1CECCEKHHH1TZG7KTMTDQW }
{ amount: u1100000000, recipient: 'SP3F3958A4EZ102XSG2T8VNF8MS6XE2V94C6DGYVR }
{ amount: u1100000000, recipient: 'SPY0RP2QCQZE5R5B1X9AFQPQY0786KZ079QY7Z07 }
{ amount: u1100000000, recipient: 'SP3X0FRP8ANRSW3RTQ7KJD8GD06CK6G3P7JWK2H3D }
{ amount: u1100000000, recipient: 'SPJBCNQDPVCH7DF37XRW6GQZPGC8EW0CERBRB2T }
{ amount: u1099323920, recipient: 'SP1BBCX6F82Z6SVSV68GAWSBJM5WVM7EFQ536ZQX6 }
{ amount: u1098343430, recipient: 'SP1M1NJ68Z3YT3M4CWQMVRHDFT11GYPG689M3WJ1V }
{ amount: u1098027030, recipient: 'SP15KX7KNK3WW35YKZTKN2G1T8X4G3H2TCM7A6XY9 }
{ amount: u1097349110, recipient: 'SP4S8KNAWXYX9EKH6XJ6QWASZ0B0KTA384SEQ29Y }
{ amount: u1094923850, recipient: 'SP1CHBGTZ5RRMDNTQTYE6QS5D77E3490RVDAM67E }
{ amount: u1094527100, recipient: 'SP2ER16V21KFC4BGYX79HRNS9JH5E2Y395JCRPE74 }
{ amount: u1094055300, recipient: 'SP7R7Z6MZCQEYVKGSZC70FHWPRWANNXGZJD1Y85E }
{ amount: u1094029360, recipient: 'SP9GXYFFQE2XKEQVJQAHZ3YHAQT0M3GTJX250BG2 }
{ amount: u1092477360, recipient: 'SP1XW4KQVXM9RP5W3E695N9VEY617K2R084JNHJWA }
{ amount: u1092179770, recipient: 'SP3J1SY69Q0DWQARHMQHMWQSW6X59PEM5V1C00WMC }
{ amount: u1092179770, recipient: 'SP2BAZSNKAW7EHVADYY20NBFW7QZKA98RVTDGFQET }
{ amount: u1091126210, recipient: 'SP2ME1GAGRZCH5GFPK1T4P5PYKD0MFHCCR4430EZP }
{ amount: u1090621690, recipient: 'SPJYGA32MR0Z4W7K28Z0E2AR5D25DMYH4JNMPZ5F }
{ amount: u1090553670, recipient: 'SP3E01XNEGF051BVR35QRZMC5CVZTP2KN5JCNVCYY }
{ amount: u1090471520, recipient: 'SP2W1D7028Q7XGVRSWECK7PBHFY6D0BZQV5GBDGKS }
{ amount: u1088489860, recipient: 'SP2FGB1YAQ84Y20BMT1W7A0DG0NT7WTEHQHR7K195 }
{ amount: u1088337430, recipient: 'SP19P4J8D2S3PA70S449J4GJRJEDZ8QAVEPPR8EMZ }
{ amount: u1088337020, recipient: 'SPYFK21RP9AH5K5F56QPY3V0NFK3ZQ8QA61QW4M0 }
{ amount: u1088336150, recipient: 'SP3SXQ1HQP3Q7GWX9GM8PTP418RWWCVHMWX899VDG }
{ amount: u1087303600, recipient: 'SP3PSKRBWYGYFHGAN85SNWJVE043XTFXQ2A1AKGXM }
{ amount: u1087273540, recipient: 'SP2E9CS9MV581XJ9BFEWAE1SGYEZG594NRHABD3TB }
{ amount: u1085344850, recipient: 'SP1X54GTJTFQKK2EGY1YZ7JS9AJHPBFHP1QQN15X8 }
{ amount: u1084617540, recipient: 'SP1P8R9NVSJMAWJBGYMXC5PWRRSTBWWTMRDT65NDR }
{ amount: u1083754650, recipient: 'SP3M6S7YRFWZH4G4NGAXPABZKGSK8NVBDMMWHTBVA }
{ amount: u1083749310, recipient: 'SP6WKQA3V69ADABHXDKV5X1HH9BZFBY8YTNQF28R }
{ amount: u1083042710, recipient: 'SP3PA99T7SX5KHP9RS36FM5DY158C2WAR77F796F1 }
{ amount: u1082838780, recipient: 'SP1DY510CZHSPYPWTRQ1Z2EW9JYADENHV5FX70WM8 }
{ amount: u1079463560, recipient: 'SP2N3YYBGX5MGFG94HG9FQ80J10FWS0MB0HSY6H1H }
{ amount: u1077361130, recipient: 'SPAB52W3QTWX79YKMN94ZKFTKNZ0YYM0H56J53VJ }
{ amount: u1076495660, recipient: 'SP3R9GNYS48EDDEGA2W5HT3RNTH4YQAM7RENN4D96 }
{ amount: u1075721930, recipient: 'SP12HBWGACVYHKZB1CS12ZBZ8GYGF4RN5H1ABD9SC }
{ amount: u1074868810, recipient: 'SP11FJN329SH33Q2HNP9TT48RMJYDKH00APP51ZXR }
{ amount: u1074393500, recipient: 'SP3006D9WRER56649KFXPZBY7XG207NPZ0FRN6GFX }
{ amount: u1074258390, recipient: 'SP1S14HA0GQG96AQ58NZF1HQM222AY1GBGKB8AGNK }
{ amount: u1074186490, recipient: 'SP0E4AC392N9TRC9QJ8M71HYCBCZQY4JNRF829QK }
{ amount: u1073633700, recipient: 'SP3F6GP87DYNHGVAYCZFG6WR8X84XGJKW47VFQ452 }
{ amount: u1072851300, recipient: 'SPRWA3H4VSBNASA4X9DCW2QXRC4BFTGTCHCQK1TC }
{ amount: u1072461770, recipient: 'SPFMTKR3V72KW41NYWZSH36AH7V6R6WH9AHRCZEW }
{ amount: u1072461770, recipient: 'SP33W3WBTN0PDKYVRYT72477PK23DRX453WAD07C }
{ amount: u1072461770, recipient: 'SP6058E9MJ2MVRP72CKKMK5WGX1HGZ17GTDM11SP }
{ amount: u1072461770, recipient: 'SP3Y8RHQ037CDF38CATZ29FA90GMY1YWCPGAJ66Z2 }
{ amount: u1072385420, recipient: 'SP2RTCRN9YF8H0NWN4H33TAK2BCR783M02FC9DF9Y }
{ amount: u1071849610, recipient: 'SP3SPXSMSK7NHXSDG39P2MS6K2ZDGWZ53J5SDY8TY }
{ amount: u1071827000, recipient: 'SP15W2XD60P6EFD3MKERMBHTF2FAV54BKDYBBPXX5 }
{ amount: u1070773630, recipient: 'SPAWSRGNQJ5G7QETERM2JGA2RNVVJBQK0DNCEXS4 }
{ amount: u1070770820, recipient: 'SPMWQXH2ZAZPJYBABFVTQVJWZVV0RP8W4M8QVNJW }
{ amount: u1070764480, recipient: 'SP3S5ZFPD61MH1GZWYGR0EG0NXYGQC3MJGJKM4FQ2 }
{ amount: u1070764480, recipient: 'SP242DG6892FR8JQ6F6EN5Y2BYYEPMVVT81XR4KMH }
{ amount: u1070764480, recipient: 'SPWW1K2J49ZBRPBN8T5RM64DD0H56A0BVT6SRESZ }
{ amount: u1070764480, recipient: 'SP1Y0G61S1DQJMF0ZA5RS43FDS1QMNVD16JQ8Q9P8 }
{ amount: u1070764480, recipient: 'SP2WS0D4655KV7914FKEM2JGCBD7C8CEV1BZ234MR }
{ amount: u1070764480, recipient: 'SPRFYXJEFGPHW8CPP02FGYPCJZJMNRYZ80RB6251 }
{ amount: u1070764480, recipient: 'SP3WWTQH5XGJWWNXQ1EBH1JJZ9A4TJ5WEDWQB980D } ))
(define-constant batch-60 (list { amount: u1070764480, recipient: 'SP2D0P4AMXE79031HTE53PS3WNSVGVV67BFNVNWSS }
{ amount: u1070754990, recipient: 'SP1GJ7CWAZFX755RN3N0J4P47BN5SX307Q5W7D631 }
{ amount: u1070591720, recipient: 'SP3D7AFS6EEHTR2PCPBWAQAJ8KKJE5GJWQS4VMG96 }
{ amount: u1069952340, recipient: 'SP1JCXGHVH23S5XY6CQQ21EQN1ND5D3038H5QW9Q6 }
{ amount: u1069952340, recipient: 'SP2KM03ZKTR86J69VYG3PF20VJDFWYBP50T7KHN9N }
{ amount: u1069952340, recipient: 'SP3NW2JM5F5FDCCAVCX2J1MSNERW2CFSBVTYKHD1Z }
{ amount: u1069952340, recipient: 'SPGX9KEETYQKEV7M1Y5TY2PRMGCWF8PS19QW4FPS }
{ amount: u1069603670, recipient: 'SP1RB7PZF3VSEP69GZYT0WV06ZW1VD28ZDGXREWKM }
{ amount: u1069534010, recipient: 'SP101QA5P6DKQRQ5DMTRQ9K31M5946RY5BB61WTGV }
{ amount: u1069151710, recipient: 'SP2AFMFKP6HX38VDNP3HTM336GFD0YBJEKC0328XH }
{ amount: u1069151710, recipient: 'SP13V7N2XFV4D0G659RE53JFV7YNDAXKGY0YBV2EH }
{ amount: u1069151710, recipient: 'SP12WKF6S1R5DEF4Y2PXRF9TTZEH4ZPG4B43CHMWN }
{ amount: u1068467420, recipient: 'SP3P4SSYK0C4PH7GXJTSBEJFHARAJBHG0CTWPHKPM }
{ amount: u1068282250, recipient: 'SP115D84NA8EV3BFDYD4GRRCWDFRXYSC7W6N8H3H7 }
{ amount: u1068000000, recipient: 'SP30H9NW71TNJS2429B5EHB1K59NC4Y11SEYN8GRR }
{ amount: u1067909040, recipient: 'SP3D34MC7N7H78Y29KS86W8QE70BHNM2VMHDB2S4K }
{ amount: u1067564200, recipient: 'SP1WWWJ5N5KJWPVRDFR1Q9R8DZJA2WYAFWT3G2JDK }
{ amount: u1067271250, recipient: 'SPHJ9PAFS66A0ACE2P287MNVY0B2QRQYXS89AJJ4 }
{ amount: u1066951560, recipient: 'SP28M7SYV5PDSDKKJVJFDC8JRE56WDDT8WWNGFPPW }
{ amount: u1066112610, recipient: 'SP30RWQ1DVEDWZE82M83A83HKPEGN5G7GT4ZXFFD5 }
{ amount: u1064884520, recipient: 'SP13473ZZ772R27F6MK7B8MZ92P3G1PP239RTPA4K }
{ amount: u1064545270, recipient: 'SP3AK2CWSDT6VS08S7GTCY05P8ZCBWHDWZ2701TBV }
{ amount: u1061913850, recipient: 'SP2M0V45FD7CS8V1797E2DHAE6NRM5AB90KBCSSYH }
{ amount: u1061352950, recipient: 'SP69XQS40DEDVP27PN52JQASMJ6DTGQWAN1D2Z6E }
{ amount: u1061000000, recipient: 'SP3WWX82VYRCHBVB61YG6VQEAA0BCJS1HKQ0RK9PR }
{ amount: u1058842650, recipient: 'SP1CXB73FTHHHZSV9VHCXN0JGFBJ8675CE7VVCRF3 }
{ amount: u1058695600, recipient: 'SP1969P897QXJK6BA5YGFFYYBMQH23SDPRWPPK710 }
{ amount: u1057575440, recipient: 'SP18WTJCSCJE8YWHCZK61PGQM0AJEQ1DGK8JFX4XC }
{ amount: u1054785250, recipient: 'SPGDNZNM88EKF43S17MEWF4RF61F51SF470FAS1S }
{ amount: u1053666660, recipient: 'SP251EQW4J6YV12NPCX12CFFRZHEW4AVCJA6RAGB }
{ amount: u1053506790, recipient: 'SP264VMFGSTXMV4BA7GXMJG7EABXND7SZYG89EM0B }
{ amount: u1053461120, recipient: 'SPFEXFX4SAQTG8SAC3C09CR8T00AZB45Q01KG6Y8 }
{ amount: u1051163950, recipient: 'SP2DG64A119V3CHG82Z6P6Y79APT1BG1T38W74JPZ }
{ amount: u1051000000, recipient: 'SPYATV83RF6R0F6HKTSVADS7HG9TF0VSDTHTWEHF }
{ amount: u1043746530, recipient: 'SP2A4101CRS4FHK06VGVBP41SD31007A5Z93ZN8RV }
{ amount: u1043519890, recipient: 'SP3ZYQRZ7TH6EZDWGZYCNAKZ9JM0Y5ZZSVYMKMKSZ }
{ amount: u1041303440, recipient: 'SP2FGK1JPBZ25SXCV7Y3F9B5RTW9EB5R4VVQPB0SC }
{ amount: u1039588340, recipient: 'SP1MQTCSF6TSSAP9Y716C36V5G1KQNHVDCE94HYBM }
{ amount: u1039556590, recipient: 'SP1Z6ZSX70QCHMF2E9E019QJZVMAMPSQ4X619RJ2V }
{ amount: u1038220440, recipient: 'SPKY2DGT9P7C45VJ9GHNENP4EFPWQS0VXNR9VA00 }
{ amount: u1036293320, recipient: 'SP2DWCTDHB1J8KZ0JCVJR04CC7QPN63PN3EA3GPV2 }
{ amount: u1035000000, recipient: 'SPYF437QNTVVX8S51QHEZP3GQ2039C89N2XGVHC6 }
{ amount: u1033854150, recipient: 'SP2YZCD2FJNYYTG8BT2GRS2G6QQ7520Z7R97F1YRZ }
{ amount: u1033848180, recipient: 'SP1CE2VD715ZPDJ3H71XT5SC4R33EAQBJRTB1K0MW }
{ amount: u1033842210, recipient: 'SP3Q9RCECC2M7B6123NTCY0MAV1KTWZCAWSK447FB }
{ amount: u1033271970, recipient: 'SP3ASR7VG2PHENV8NMWAAVVASR9AQ7GVDNM6K71N4 }
{ amount: u1032300000, recipient: 'SP1DXXBNW7J3SGY0QSVV9X0P566YYP30JFHD7S0KG }
{ amount: u1032111510, recipient: 'SP1A6PYME11FJ39ZT91BJ6J3RCNK0YJ5RP0CHYT7J }
{ amount: u1031800190, recipient: 'SP2W358G5BQF76DPWV93TPCBTGW9RTP6JCFG92Y2X }
{ amount: u1030902890, recipient: 'SPTR4KR73MAEF6E2RKKKZ098DVPJQEHQY0VJ8BCS }
{ amount: u1029660530, recipient: 'SP41W4T6GMFJVSJBRA6M35DMMVYGSC7GESVKSYEF }
{ amount: u1029527890, recipient: 'SP349GFAMHF99MYBRVZWMJP6E2D63BC94S35Y01A5 }
{ amount: u1029494650, recipient: 'SP3AGX0J22QKCEMFVASY22A5F44HF19ZR5JQNSW01 }
{ amount: u1029375190, recipient: 'SP25A291089PDYNMFFHKN5FWSNPDJW08YYR8N4M3G }
{ amount: u1029007340, recipient: 'SP2JBA0T5731SEGC9EAZNSA9CZMWDMXARQ81EM61F }
{ amount: u1026407720, recipient: 'SP30KGYSADPMHRSEHCQN588E2JCSDAZRD14B9SYGR }
{ amount: u1024582170, recipient: 'SP3F7000ETV6PAZCQ6PZ30PKWJ0WGSRF7P6A6F3S1 }
{ amount: u1022824120, recipient: 'SP131XG4PFBGQQDVTS51PY2J39Q58422V1FP1YR5X }
{ amount: u1020662740, recipient: 'SP2BXP1XX08988BRK4N65CY0JAP86DA32WPGTXTBK }
{ amount: u1019511740, recipient: 'SP3444VZRWG9BZPTB3NPWH05R0HF4XYEDMAWBE56F }
{ amount: u1018740410, recipient: 'SP2KAR037V9SR70WJXP7J9JJ1J1KVV4ETQTZJC0XN }
{ amount: u1017345430, recipient: 'SPB7B7S6MC526DD9CV01H1MTSD6CDS0KM1VMCKYZ }
{ amount: u1015579790, recipient: 'SP2S0SYNFS5NMZB4ZD1X177YST0J3THBZ98X70EAD }
{ amount: u1013147480, recipient: 'SPKA4V03Q461RRFH0A026ECFPTYW5FR4CTV7MW7R }
{ amount: u1012604750, recipient: 'SPX9GMEFP16V0KPKAJ6MHVDJRTP3ARVE4HNAEVV6 }
{ amount: u1011551900, recipient: 'SP1BFG3YWVX1DK01DG0FNGNMTFNBVEQYKZTQZ2D7J }
{ amount: u1010621620, recipient: 'SP3JP1MZY6ZX955Q61B1AM18MXAH21HE6RMZ04K2J }
{ amount: u1009833580, recipient: 'SP1S7PS9A7A4567XSXH6ZP5J3MN4J8VJA26B09NCK }
{ amount: u1008628560, recipient: 'SPFRZ5QD2B87ZN5BW3FWBHGMY6M0W03AC0RJG5VT }
{ amount: u1005299510, recipient: 'SP1V5B5479NVWAS8AEKM92KZ3MK6XWJNV69TWRAEX }
{ amount: u1004210960, recipient: 'SP22DFZDJYTDWZ1HQ920BM6JE82P8GGZ0EFW6R4NT }
{ amount: u1004128250, recipient: 'SPB7ZADA0BWEA6CK8QK4M0FY3JGP5DCN6XY0487R }
{ amount: u1003434750, recipient: 'SP22NXABY6B47334TYJERFT7XD5DW6Y7DN1YXMN8 }
{ amount: u1002774060, recipient: 'SP2PVQS3FHZRKPCTF2VXYNJM6JFWNG38W0TPPP2YE }
{ amount: u1000863880, recipient: 'SP2S21C3G7FGYQCK49TN21R7RRSDB8GKQHVQ4KMP3 }
{ amount: u1000863270, recipient: 'SP2WDSVCJ7A4K2903BXKE4W2QB45E5SGWHE742XNC }
{ amount: u1000862910, recipient: 'SPA845NGT2ZHJSTC6319J8BMEQFWTAW1BDGH1BHJ }
{ amount: u1000304000, recipient: 'SP3Z5J6MH710JG7S388JHT9WZ4KB825WW06KPVP2J }
{ amount: u1000008170, recipient: 'SPS23TEAYCCTRTDSKGYCGGCP5WWE3H9Q7G443YX7 }
{ amount: u1000002870, recipient: 'SP3VPW9XR3A9QD0T086V1RRZMT3V7XBBEZFBHBBV5 }
{ amount: u1000000000, recipient: 'SP89AW59VM127ABF1HNZ6DQBHM76V52DC8J54QFR }
{ amount: u1000000000, recipient: 'SP2KP9TQS329C5A6FDWD73QA34T3RMT9C51CEK6FD }
{ amount: u1000000000, recipient: 'SP365SJY8BAD6B0JM2XXZSYWNMTAES1QMT9JHFZCC }
{ amount: u1000000000, recipient: 'SP35VHYRER7V1X2ESH1E5J233JFB0D0Q2SZ3FDJJ4 }
{ amount: u1000000000, recipient: 'SP1W5T4JFTJEWFWCXZ7QPRE384G5TBWC8YFMTX9T3 }
{ amount: u1000000000, recipient: 'SPEE1TZ4R5RDHB7R2R4NRKXXCZ31JWAH6387R87T }
{ amount: u1000000000, recipient: 'SP1SG8ZPWC51YPDH495G5YX9NZZE8A84WSANX7HP6 }
{ amount: u1000000000, recipient: 'SP2GXMV5Q2MQ1YFHANNH9NA5KH28AHYJA2M5K5AWT }
{ amount: u1000000000, recipient: 'SP2TM1F61YD5FF1HC80VADH4NZZKJKMHPY7DRXZDM }
{ amount: u1000000000, recipient: 'SP2ZPJ55RBN88BV3BVZMKSSR3FYC0E2KY4HMGMSEQ }
{ amount: u1000000000, recipient: 'SP34YS72ZRHD19EVZHR56XZYNKPFAHQ8VP3480W8R }
{ amount: u1000000000, recipient: 'SP2BWMNEA6R4N2TSRQF3CSX33MEF3MVJMJW8HJ0GD }
{ amount: u1000000000, recipient: 'SP37QKRZESDJ5TH3CTTPMHGAPQ0YWRTS0SVB0HC2S }
{ amount: u1000000000, recipient: 'SP113R7KSTW48BXXSY4TEZXB2Q6NR9W5472AJVNZA }
{ amount: u1000000000, recipient: 'SP28V79WH0PGHMM1BA96WQC9RSJ82JZNBXERHPZSE }
{ amount: u1000000000, recipient: 'SPBD79EFRZJT13093RHAM37N79VR56B1V0HVBFGC }
{ amount: u1000000000, recipient: 'SPZ23AEJZ6WTW2GZA8083FZ0Z6XDAXC2RKKPZP54 }
{ amount: u1000000000, recipient: 'SP16WP411V2CGX8QBDPRQVXMVYRWCWR6RETQ0P5F2 }
{ amount: u1000000000, recipient: 'SP38CTZ0R3TQRHYNEXW1SVFHFXBAYKXQVKJKTBME9 }
{ amount: u1000000000, recipient: 'SP82NS0X5ZDS9ZQRGJ9K2TXKMHASHFCDRW3TP2G5 }
{ amount: u1000000000, recipient: 'SP31T7YV4RE0ENR4GFNX7WRGWZYHVPESX0C6A23PS }
{ amount: u1000000000, recipient: 'SP3Z5BQ3436QPK99TVTK0DH1B55JVF7A5ECF5NPJE }
{ amount: u1000000000, recipient: 'SPRJ84YKJN5603VX4XH8Q4CM5S2DVNWS4TP3FE5B }
{ amount: u1000000000, recipient: 'SPSKXWAE6VMV8WBG0WDH3M0FPKV3CBD1WB3KMGE9 }
{ amount: u1000000000, recipient: 'SPASD9DB988WD5JPZ1A61FAV7XAEAN7RX4PAADHC }
{ amount: u1000000000, recipient: 'SP2CXKSRQ9ZRKG62AYJA6K3PFT2W7GH6J43H1BMZA }
{ amount: u1000000000, recipient: 'SP0CPQCVDC86MMSMZ5SKV9KG6XDJP8BPNSJQCGYD }
{ amount: u1000000000, recipient: 'SP2GTSVRTTZ540TXXQRGNX7NKBWWQ3QTK9D3JVEAX }
{ amount: u1000000000, recipient: 'SPGF0RCGHKH8RMK9MV330WRPMNK2ZKP02J2D4H89 }
{ amount: u1000000000, recipient: 'SP37EC87Z7HT8E1QDSW8RSRA9AJZ5HZR56H0G26VD }
{ amount: u1000000000, recipient: 'SP2H4VD9JBYCYG71HDN2STNWH9MH5A60CVJTR9WB6 }
{ amount: u1000000000, recipient: 'SP1A7HV4TWZ3NQ0R2FX5D7Y5Y5RR3J9XFZXYRVVSM }
{ amount: u1000000000, recipient: 'SP14DV7A76CPKBNBXNX3YN677ZJGJ3FJ58NCX5AMN }
{ amount: u1000000000, recipient: 'SP3D99ABQAXD6180949J1V47RTS39H3RGH08ZK2ZY }
{ amount: u1000000000, recipient: 'SP1CGMH4GFM2VF3RR7DE9DZ1J2XV3MJDCNZ1XHG8W }
{ amount: u1000000000, recipient: 'SP333MM43W8KVYAB042FYCJZ5NH3ERN6YQS21P0EB }
{ amount: u1000000000, recipient: 'SPPCSTMZ1BQDZRSSJP9493CSSTX4KAHKY6BJXBCQ }
{ amount: u1000000000, recipient: 'SP1MA57EY27DM3QMTM74PDHB64R4PQXD5C5DK584G }
{ amount: u1000000000, recipient: 'SP2Z7JYGTSW20GDZG6X8V40F7K1N2SA810CQB9JFT }
{ amount: u1000000000, recipient: 'SP3NJKQK8VW4F1B4FBGH203XFDKGRJFYTN2F6GD5X }
{ amount: u1000000000, recipient: 'SP2HMR4AWVR03KGFTMTKD0PQ9TH2745BRE29F177W }
{ amount: u1000000000, recipient: 'SP3JYMJXPDJA6HW472C9A53VSJBVNNVCRBAK6BW9A }
{ amount: u1000000000, recipient: 'SP1E89NBEQFC4D31FB15N937A009M52VD7VSMHB2T }
{ amount: u1000000000, recipient: 'SP3V4W60K3DVB94QH7DFED4DGJGP6AJ8TXTPHYMVD }
{ amount: u1000000000, recipient: 'SP1MYGJBEENK6AHCP5YQ6GYDSDD7GMFSHYGZG8W62 }
{ amount: u1000000000, recipient: 'SP31QGN71BYKESYNESCM1T7W7QA1J84Z74J4FSTBF }
{ amount: u1000000000, recipient: 'SP2TJ18P639J5KX0W0XCEZ77XJFTKD7YAE27Q67F6 }
{ amount: u1000000000, recipient: 'SP3FGX38CJMH3E0XCWTFE82ZEMX7AK2NBNWA5Z5H7 }
{ amount: u1000000000, recipient: 'SP1K4S65Z9M92ZVN02JHJ41PAT8WP38SGDE9RNQXJ }
{ amount: u1000000000, recipient: 'SP126HJP7AJCHEBMESC05452F24K3BWRWRCHX1R48 }
{ amount: u1000000000, recipient: 'SPKVY9MQRVQCDY81TF9ST9J2PXBJHE162B552613 }
{ amount: u1000000000, recipient: 'SP4FNVBYM47XEEXH7F0ZKMC9Z7XC116VP8D9VC4C }
{ amount: u1000000000, recipient: 'SP1TNS6Y1BYBDXKHQNSCG2SPA8QA9SACDNBEVH48R }
{ amount: u1000000000, recipient: 'SP1P88KD0H4YGA5SSHQH4M9K4351WNGCAQW8V3BHN }
{ amount: u1000000000, recipient: 'SP3CBH47FD9PBWA6T029PCRES8NBFENV7VSQHASN9 }
{ amount: u1000000000, recipient: 'SPRVWFGZPCWAP7DN05K7T9YHW54J6A103TX781Y7 }
{ amount: u1000000000, recipient: 'SP3E8PVWEHHCZT16SJH1V6FMZBKZQBZ94ZMFH484D }
{ amount: u1000000000, recipient: 'SP1B7JGHCPMPZZ4813MQKZ69A0KT14G338PCG1HV3 }
{ amount: u1000000000, recipient: 'SPVYPCE45M58PT3JHB4F5MJFPQ8G6M65RJVNX22P }
{ amount: u1000000000, recipient: 'SP18FVW4Y7171M7HBE8AHBYJ7K4KYYCS2S6YJQZ0T }
{ amount: u1000000000, recipient: 'SPPVYPC1AWD6MX07HT3SJGV17C7K2YZ9B4072TB0 }
{ amount: u1000000000, recipient: 'SP2537Z4XCCQ1XEGS4DQQD7KC8DNGHMT85FJ8JY3C }
{ amount: u1000000000, recipient: 'SP202RPP991TSJ62MNRCWSJVWHYSV28PMJ8FCKE4K }
{ amount: u1000000000, recipient: 'SP1T6W4E6SBBGCKMBMK7EMEAMBPK7QQ9NZJ6BZYC6 }
{ amount: u1000000000, recipient: 'SP358S06PEN24CCN2ZV4GFWDPV16B1C08D64B52RV }
{ amount: u1000000000, recipient: 'SPHS7JMJV4Y9719955XAY87NJEWA5WE6CTREAHMS }
{ amount: u1000000000, recipient: 'SP34GYWA975155HQADRAY8G0C2TF73HHBQ6E17MWD }
{ amount: u1000000000, recipient: 'SP1NQQY5D5MB9VSP8T8FTCMDXC4SPK86S3W97Q21B }
{ amount: u1000000000, recipient: 'SP19J4BEMSF5ADW3PN9FY5V7PBTEJYVN5T864VQRQ }
{ amount: u1000000000, recipient: 'SP10ZSWF2VS4EA2Z56VNMVD3XV3NNY1F2S6PTRWD5 }
{ amount: u1000000000, recipient: 'SP1ZN4K5G9ZVF3P5KK4QCRKPQ7MCNQ0VTA7ZXDP3Z }
{ amount: u1000000000, recipient: 'SP29YFCEVYCFQDVW9MRA8WVHG8NR2TC6JE3DRT9J7 }
{ amount: u1000000000, recipient: 'SPVPSEDCATE2Z65MQDTXZV140R28PKMD1VAJG2ST }
{ amount: u1000000000, recipient: 'SP3Q2NXJ55VPF7WADC72FXZ4T088EQ03JV3WXQNET }
{ amount: u1000000000, recipient: 'SP1SMMESJ5EYQGM0DXRYT1A2FX5CQ10R0FBDTX9X2 }
{ amount: u1000000000, recipient: 'SPN7JR8GYNJ90KM9W80NMP5ZG7JHE17RQ62EPF3G }
{ amount: u1000000000, recipient: 'SP291EN0RTCVD5X8J5EKSQPTFV5V4A0X0CXAZ6B3S }
{ amount: u1000000000, recipient: 'SP2VHR4SMD4EC8Q48NG867RKRVH24GN5HW7AHA216 }
{ amount: u1000000000, recipient: 'SP3T1K4WKACAGZN8ZKKGZXXTPG5QGX4W8NTFHTCWT }
{ amount: u1000000000, recipient: 'SP29NGVH86B28DNCMKE5B5K56F90V7TFH7HJ3HXV0 }
{ amount: u1000000000, recipient: 'SP3PM78HQ6G7N0TWQBSE8CEA7XCHX1X52QSDYQ1B1 }
{ amount: u1000000000, recipient: 'SP1QXXSGQY1JBXJV2FJFCWZE6R7DQQJ677JS2DNF9 }
{ amount: u1000000000, recipient: 'SPV7YN120P5BE9XPFHBAWVSZJCT45B1Y7RNDCDZ1 }
{ amount: u1000000000, recipient: 'SPJSFBTR84X2D2W5TYCWKSZTPPZV9NR9VC6NJRAA }
{ amount: u1000000000, recipient: 'SP15BYXRSCS3FQ7QHG2KRCPGQ3VW99VDVBR1CK3R7 }
{ amount: u1000000000, recipient: 'SP24P8MWXE4AX69SPDRKKXBQ12YA2ENJQAHWMW7YJ }
{ amount: u1000000000, recipient: 'SP2HBMEXEE7WZ0YE7XX4X2QBRJEVYVXNBDSTB2P90 }
{ amount: u1000000000, recipient: 'SP2XM71DP9QD7SJ67M9CKE0BADXGSV8ADK178VVRJ }
{ amount: u1000000000, recipient: 'SP1NA7RJMXPF7A5RP5G41EH7YVXBDVPM1QRHMSEBB }
{ amount: u1000000000, recipient: 'SPNFMBJ8YYY7JTEGGXCAQ2JDNZVYE7KG8PYEFAC0 }
{ amount: u1000000000, recipient: 'SP9GJZM8R0WMBJMC5RTGBTA9SYVKHDX2BPSX6ZJW }
{ amount: u1000000000, recipient: 'SP56DFENW6EAZRYGGRGRS7EQ1E2VPPXXHFMA7F9N }
{ amount: u1000000000, recipient: 'SP5BQXGQJR6FQEEZMXT9TF20THFZ5ZE9NNHKS4NK }
{ amount: u1000000000, recipient: 'SP12HEQGZK1Y80ZH448RJD5J98ERGG6N01GJEX0Q8 }
{ amount: u1000000000, recipient: 'SPX5TC6H2HTD6T7BGSRM3B94PV9AR4TQK6P74HWX }
{ amount: u1000000000, recipient: 'SP1BC0GP59H8AXFWQWHWPMTWH8B7M878WVZFXA2KD }
{ amount: u1000000000, recipient: 'SP2ZMFFETQP1RSA1WQBFC1P03CD63FMCA55B7JMV4 }
{ amount: u1000000000, recipient: 'SP1QP6A6F9D8XT2HZYBQG5HPNWA3YZCNPG42FAC45 }
{ amount: u1000000000, recipient: 'SP11614Q063BWM14YX6031MBNSNCB290XATZNCYDV }
{ amount: u1000000000, recipient: 'SP33D1S1SNQ94SPRZ8589MA2SYF1GQNQ8ADM03T5C }
{ amount: u999566974, recipient: 'SP16PXTHDH53BDT2F56X9TRQHHJZ7EQNFT6DCGMY9 }
{ amount: u999529579, recipient: 'SP3ZTTRY7JVFK1WSEY16E89C5DKY3TYMHZ85H9QRM }
{ amount: u998924344, recipient: 'SP3Q695ZPRKTK65S2HPZY9QX2ZZ62TDK6F8X5MRDN }
{ amount: u997386759, recipient: 'SPGYRJRYJZEHW29QPQYAPWC8BMRTYFT8883B7EJV }
{ amount: u997181834, recipient: 'SP39Q7XYHH209M1ZH4MQ5P7284S27967WVZR3A519 }
{ amount: u997061376, recipient: 'SPQNWFZ4NTH2MQBS6MAXAMMG8F7J0GYGRXRFCC7M }
{ amount: u997000000, recipient: 'SP14DMTQV9GWNAXHFJ9HCB8QPHRH1KEJ40YK6QVJV }
{ amount: u994510336, recipient: 'SP1N6ZW6VWVB4R8M4PQD87HQXAZSKCXG65TBMERC6 }
{ amount: u994299972, recipient: 'SP2N8DXWW3443HSBVT17WZCQR2T2RM7YND9R7T73 }
{ amount: u994099813, recipient: 'SP3AHWGHJWRTA3T78MCTYGW72KVH5K3XNC3AKVAWE }
{ amount: u993101160, recipient: 'SP3VKEKN8JTEWZXTPDQTCXQW0QTB33FVY392884EM }
{ amount: u991111648, recipient: 'SP31YV3JJ92076TEC25TTMYJGWBQT5K660NHT81DE }
{ amount: u990932591, recipient: 'SP15VC51GJZF9REEEKJ3E4ZA8H4S9E0D2KRZHA04V }
{ amount: u990891301, recipient: 'SP2TX5H1NAJXK4BMZAA3PJE8EPWRRM2F8M6D9ADYJ }
{ amount: u989781395, recipient: 'SP18WQXTFBVJ43JJTEAFXDHS81M8477NFNNVQP4ZR }
{ amount: u989781057, recipient: 'SP1N4WMD2W1RE5RQJD6RVF71XGNP85VYSAC86HNQA }
{ amount: u989780876, recipient: 'SP274E9YQS197QGWCXKGZMACXZ3W31CWZE4BWNVC7 }
{ amount: u989780649, recipient: 'SP30N9HJ6ZFYZZS6CG843VA99J0Y1124KTJAFW0GB }
{ amount: u989780538, recipient: 'SP2QK408F70RE4763BVVT57MXAYD9S1VXVJKZPP39 }
{ amount: u989780311, recipient: 'SP47B0EH2JZFXHS8TJD4Z02FTCD4B18P9DB43QBW } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-56))
(try! (contract-call? .token-special-vote edg-mint-many batch-57))
(try! (contract-call? .token-special-vote edg-mint-many batch-58))
(try! (contract-call? .token-special-vote edg-mint-many batch-59))
(try! (contract-call? .token-special-vote edg-mint-many batch-60))
(ok true)
)
)