agp204

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-16 (list { amount: u356267510000, recipient: 'SP8R8X0HXCFV0ETACR00JWD7Q3XQ9QKW6PWC55YV }
{ amount: u356139188000, recipient: 'SP3G2C60QHG9ZNBDG0J519C3QQEP8XQNWD80KD9GS }
{ amount: u355783306000, recipient: 'SP22G6WTHX0T2PM7B44VJHKJQEQMHWDT1TWSJJ4ZY }
{ amount: u355458370000, recipient: 'SPVVB6WRVE757VKEB2T0X5ZY4DMFJAX248XXQHHW }
{ amount: u355447375000, recipient: 'SP19HW5FGR3XNM1XMG30QP071FZ2JY5ZZESSXK0SN }
{ amount: u355301603000, recipient: 'SP1T11Q03GBQ9EXVT1XZEV1MB8QJSH5BSJZ22EKCR }
{ amount: u355081976000, recipient: 'SP17S7PH790PNXTRDSVZY46AFHD51WYMNJM4R246F }
{ amount: u354926233000, recipient: 'SP3XZ2365H7Z06274E9ETQNX2GDF17RYRSB51J71Q }
{ amount: u354887578000, recipient: 'SPSER0Z6CXAKJKXNMDK9SDVEW0A0GX247FY99J5F }
{ amount: u354116270000, recipient: 'SP1RMVRG3QHCHNAYPWRGTYZB7DV7HZFB0NGGSYF53 }
{ amount: u353998297000, recipient: 'SP3TS74BGHPPZHQ85DP5CB5T1R9RVE8NVGYWJPD2Q }
{ amount: u353539493000, recipient: 'SP2QY7SJBR0413ZH066WNA0MW4KGESRXGPCV9S4BS }
{ amount: u353101958000, recipient: 'SP3HZ7NQCMZSA6VXM2HTM4W2WBGC39Y28MRKCTRJ2 }
{ amount: u352817878000, recipient: 'SP3R4NKXMGW6YXA44X2ESZPKJNV25X4ZN7DPW0RXR }
{ amount: u352649539000, recipient: 'SP2Q8GGJB07M4WCCBYRDB568H0Z32QHQ09J9GQ9AT }
{ amount: u352522086000, recipient: 'SPY9K49VE06A66ZXJ3S2ZMJXYJ8HQ08J4MAR4A3R }
{ amount: u352349834000, recipient: 'SP1EVVRD3J89GMZTJXM5C3JDMYZRD4X41E85WZXJ }
{ amount: u351839695000, recipient: 'SP23BQPT8D4RH68ME5BZ78DV3HT9TRA1F46DTFSEK }
{ amount: u351772163000, recipient: 'SP2MYJVK0M30DBEV899QP905PH1Z0X491XY9GW3CZ }
{ amount: u351127142000, recipient: 'SP1E6JDDCJBT86T94FWHKZ2XN9GEMR98566PTCS0K }
{ amount: u350954002000, recipient: 'SP2RNZGXDX50TGKHR5ZWDAG9VDPBRG9JMWYP76M4Q }
{ amount: u350885755000, recipient: 'SPWTHKHRK5CPMBQ77FY63S9E25RX9B8VJA416VAB }
{ amount: u350449942000, recipient: 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T }
{ amount: u350424671000, recipient: 'SP2RCH1BE7F09T8WS0W0XCM1V8H2FAEKQZJWG4K0T }
{ amount: u350279374000, recipient: 'SP210H9CQC6A30C38DA5544Z0J8Y5SYPY99XN7QN4 }
{ amount: u350130368000, recipient: 'SP2Z0JFX9Y3N306BKVAJS60JW8NHV29EX2VGJR0Z }
{ amount: u350071369000, recipient: 'SPZXFYJ5BHBBFA8VGDZFBZAWE5N9P1C676RVFM4W }
{ amount: u349654000000, recipient: 'SP13ZXVV3KBR08ZRRG553MQQ8BWGX7BZWBYAN7RFQ }
{ amount: u349640496000, recipient: 'SPDSBXVWPNHAW4DWBZRPWZDFDA0Y6BAQWTV9FSSC }
{ amount: u349463525000, recipient: 'SP2EA7M1N98PAXDQFMVPES3V02SG23JAW4B0YS21B }
{ amount: u349370670000, recipient: 'SP17XSFQHG8RMQ1SEV9W9T7K5TTGHF3MRSNPDXPMV }
{ amount: u349300000000, recipient: 'SPQH4MHF4A6VFA26016K4HRGHQQYSN05SHTENY71 }
{ amount: u348926597000, recipient: 'SP1SS5GNRB8TRWG6MGQ04YTGN8QAY1YNHZ6D6XBPB }
{ amount: u348870703000, recipient: 'SP309SK7C1RWRPWPXM8DSYB76Y59Y4A5NEWQ5ZCQ3 }
{ amount: u348828712000, recipient: 'SP37A28FXZCXQ5D90MH4YNYVBKNP085V6CD1CBF1B }
{ amount: u348652078000, recipient: 'SP2NM5J6MZADQHCGR18VXSDEZQH3ZR8852GHVANMW }
{ amount: u348407000000, recipient: 'SP3RPDNGJ99K9ZMS52RSR0SH7NDP1E3RWBYWCDB1T }
{ amount: u348136265000, recipient: 'SP1TSDTJWBSK8F6DGKQVHBBGNQJAY8BFK7ZEAB88E }
{ amount: u348110303000, recipient: 'SP3VGRB8SV9ZERQMYS8H56HT6SEFRW9GD99BGYDQ4 }
{ amount: u348062133000, recipient: 'SP8ZJ70XQRWT62D1BKJ94F6G942CYBNCKRB4YFDB }
{ amount: u347703466000, recipient: 'SP8528V4JW94TE4FPTHZ1GXV7B5FC31Q020CFQGF }
{ amount: u347554233000, recipient: 'SP1N99ZSHDC32KSWPC9AC2ZBHJM3R1E1N6Z0XJQFB }
{ amount: u347512789000, recipient: 'SP38XJS4TYKW598BN9YYVXTA5H2XQCYN96FJV67R2 }
{ amount: u347482385000, recipient: 'SP2MY598S1FK73M9X3D7YVSKVKVDCWHXGW69MV8VX }
{ amount: u347289517000, recipient: 'SP0EV7XBYZBK5T7WBFV14Y7827WTT8EP8F2M6QVC }
{ amount: u346408032000, recipient: 'SP2YSXXDA6YHY79JBNTFZPVYW9NF12TFN1059Y6XZ }
{ amount: u346352355000, recipient: 'SP3FWJ8PAEG0NM3G0QSFQYF4D2F2NWAXT6AJQ61TC }
{ amount: u346289961000, recipient: 'SP3A7R70XCE047NAP0WEMJDKS7CS41K3J5KZ7RC66 }
{ amount: u345828533000, recipient: 'SP4AQ6YWV4PJX3FMZ3N593SYG0ZQ6B9CY8EYPTXB }
{ amount: u345723431000, recipient: 'SPXHT9EF95D4BHHGD4WMX4GWHVF5YS5R5S3CBK81 }
{ amount: u345527201000, recipient: 'SP354ETE4F624JX7VPDTP5T5EWYG1RMS1E20T4QCR }
{ amount: u344862248000, recipient: 'SPJGG4KTTPQANF36KEJKCNEJ78RYBDTXYNNJ78HB }
{ amount: u344838647000, recipient: 'SP24HJ4AQP1FXAGT7RJNTRMBKYQ6MCPDM1E14VHGE }
{ amount: u344534372000, recipient: 'SP27AB49EX6YHKD4WJTEEFE4GK5G7VDFNQ9DGAYP5 }
{ amount: u344433526000, recipient: 'SP1MS2V6AAXCFDM6RS4C7FRCDD2PTT9RTMF0RA1AZ }
{ amount: u344184056000, recipient: 'SP3BC053WM4CWMH33821W9FMQ5BKYG5ATDR0YT8QZ }
{ amount: u344155184000, recipient: 'SP2DGPBA3VSE192FAQZFTSEM3T76X5N0Q2ZQRXDJ5 }
{ amount: u343875413000, recipient: 'SP1FKNNAKV8FJ93YW9W3XWPV0RT385V3ZEX8VJE0E }
{ amount: u343834338000, recipient: 'SP2B9W3BZ68AC0M8657KXG0JJ7EHHHW437SH9R9SG }
{ amount: u343813170000, recipient: 'SP204R1B0AAVSJY3C0PR6MVQD2TJGK0NKNRWQXB67 }
{ amount: u343811900000, recipient: 'SPS4PDA3KFB32NM0X9966CZCQPTHMHH01NRA2970 }
{ amount: u343787530000, recipient: 'SP1FKAXB0D8SGXY074534ZTQNGCHFVZWC6T51DJNW }
{ amount: u343781316000, recipient: 'SP302TKR9CH1CRQDJY0XX8065SFA0VKCX0X0ZWXMZ }
{ amount: u343702059000, recipient: 'SP2KRWWYTK37G226XVFZ8PH0R1SV5EBGBJSERJBFW }
{ amount: u343446072000, recipient: 'SP22AB49K0D6VBHZY7BB2FBH38XFHNGHXG4MTPCED }
{ amount: u343289973000, recipient: 'SP2T5ZS0WA4BP31E3CTK5GDAY3VKJ1JXSGHDQZD66 }
{ amount: u343135705000, recipient: 'SP2RJWVE531K1G0SYV2317SKW6NKPMS0YVANT98MG }
{ amount: u342787206000, recipient: 'SP1Y5X4DZ2MT3V5MT0KPYSX60D7AXXHDFJNRM25KQ }
{ amount: u342754050000, recipient: 'SP1AFKAQBJ9HN08J0T2YC10VK4F6G6FKSSTD8MMKQ }
{ amount: u342712137000, recipient: 'SP3RTH8FSR3PK28B7CMMGJZ43TQJ5817CSWFHM0AK }
{ amount: u342482570000, recipient: 'SPJDCGH5HW1VWZPX9RZKFKE07A1NR2VKV2TVYT1G }
{ amount: u342476452000, recipient: 'SP1E6G0ZZHZ7G4277A9ZVY2AAH7R8YF5CJDDY4ASQ }
{ amount: u342454348000, recipient: 'SP14SJ54B9HNJEZHCF09X8X5KNTCBA4AQY4ECG7M1 }
{ amount: u342354486000, recipient: 'SP20M7RWY4X5DCGCFMJS39S8R26M8Z152QWREZFW3 }
{ amount: u342277960000, recipient: 'SP3YVK31CEE1XVJ87FXXGQQTTPABG61C7NXSW6QRE }
{ amount: u342158941000, recipient: 'SP3K8V5A2RZYB80GTD4NWXVWK5RWTX0K7HVGGAXAM }
{ amount: u341897810000, recipient: 'SP17870KYAX41G05XR8FVRMTPYJH1YZWH82YYSQQS }
{ amount: u341140538000, recipient: 'SP1CN1KVY8SMED23FB9PRH2G3X9FAT8RF7DC6RFB0 }
{ amount: u341049413000, recipient: 'SP3ERM91190T0TJ2PNDTK3AV5PMM9EHQ36CYBR8TY }
{ amount: u340305854000, recipient: 'SP29EYP3PNS13NJ2195739KH7RKTA9JXB4G5QRCXA }
{ amount: u340036064000, recipient: 'SP30NQHRZV2BQFGMRQTEZ9J6T3VM5DC2QDE9M45KY }
{ amount: u339395898000, recipient: 'SP2N3N9476HP7HTCDZ3G6Y5GW66K4GCZZJQ5T47R7 }
{ amount: u339389798000, recipient: 'SPSVV9C3602BFVWW94FZH1YZXP07PSJVDZSK5DD8 }
{ amount: u338981286000, recipient: 'SP15P56F24FAY09RVRM98J0NDCW2P3JTDWWK8RQ1J }
{ amount: u338953693000, recipient: 'SP27M9XJYQ1NGQAF64PGQJ31ADTDQW984YKJESX4F }
{ amount: u338522107000, recipient: 'SP1AN8G8AAR5VZRCQA0HYRC9R0J65597N6FBQMQ6G }
{ amount: u338483493000, recipient: 'SP2ZE5HQYBABTX4SRRA7VSRD1DK70FDVEWV37A1Q3 }
{ amount: u338390115000, recipient: 'SP1T9ZMTMSSYPGCM7G13HGSMFG2B4D6J2GC0V9MRP }
{ amount: u338311263000, recipient: 'SP14X7VHMSWJCCZDERJPRCW5JM82EQ0S6VE8JXD9V }
{ amount: u338257251000, recipient: 'SP2QK20FRJ6N1XZ0T6RGF180RVQ62HPR1NAFMYTVB }
{ amount: u338205775000, recipient: 'SP2PFCG9NEC0AR5QVS8EWNVMA3N7B0P1G775AF9PA }
{ amount: u337776396000, recipient: 'SPTKNW7H33PH80WZH78RSW0NQXJG2GMRQ1ZN236P }
{ amount: u337595483000, recipient: 'SP182AM1Z5DT4XHZZC644N6CXFQ79GYVE78904A74 }
{ amount: u337576830000, recipient: 'SP1C6XBPZB5XN5ZQ20YVHEGP1GWCDJSYWREHGGKXD }
{ amount: u337481016000, recipient: 'SP25TQDMQNFCJRDWMK7P7EWQN97WV0G3JW2EBW9XB }
{ amount: u337435958000, recipient: 'SP1V4BWKPD559WP67GWCV8VR0VRKJ7ESS8WHKYEJP }
{ amount: u337420000000, recipient: 'SP1XDZBXKFX08NTYFCYJ4PEMXNF6PXR5KP52JMG2T }
{ amount: u337383217000, recipient: 'SP1HR4FX8AH19F3PPNRY5CC3S7DNWWB7AD06GDHSA }
{ amount: u337238038000, recipient: 'SP1C7AC7GJ16TKDS3HMNPD8RDXTZ0TB2Y951EVGWH }
{ amount: u336778730000, recipient: 'SP3HN63GGSXNTRHM3MKJ9DWVW6V75WB8W7GR03TCH }
{ amount: u336676622000, recipient: 'SP3PZ1CFDTJJVGYGKNAQAJPJH54FE659EPED39XCM }
{ amount: u336634623000, recipient: 'SP4HBH10QVM855K5990KTR57N6M7SPZJ2BHRYZPH }
{ amount: u336606988000, recipient: 'SPT004XFHW770KAM7W3764HXDN353MH26PRJNXGD }
{ amount: u336586888000, recipient: 'SP242HXH61BQGCEK1ZBG3WC00CPH41FKEJMSMD05A }
{ amount: u336518050000, recipient: 'SP2TR0KZ7YZ0DJFAW2X6STGABKP7R2F9TT99QCCSN }
{ amount: u336344309000, recipient: 'SP3M69AXX92RRH996KZNK6ZRXRMZRYCDBBT6QSXXQ }
{ amount: u335994000000, recipient: 'SP19P6AM0E0MRH0ZPY6M5GZ9JDHHKETGRA49CJR79 }
{ amount: u335878308000, recipient: 'SP12FXX43RDKMHD2BNQTT6XYQX4AMEEG52XT36N9S }
{ amount: u335828852000, recipient: 'SP2HGVFKDP8RJQGKREPBWSZE45WZ9KBRDS9W1YTJD }
{ amount: u335634982000, recipient: 'SP6AG8EWXEH3E5WTZPGQ0RKK3QQQ0TP9BKTFE2EA }
{ amount: u335581438000, recipient: 'SP2K41Q35NXZT7VYTE4NFFG1T8SJZESZQAZD0X82C }
{ amount: u335546578000, recipient: 'SP720EHP1DZDS89CVR6817VFB3Y5RRW5T6C9ZMM9 }
{ amount: u335417920000, recipient: 'SP11K34DPN5DBPSW9QH98P3D9CM0ZXAY06JSRAQ5 }
{ amount: u335341080000, recipient: 'SP953F27E0YVHZ6D2NG54PE4XTH0VSJA4YZZCM23 }
{ amount: u334946934000, recipient: 'SP3Q7JJ8GCGJWTYAHE4VAQXAJGZWFPERZGP7BS0AY }
{ amount: u334790298000, recipient: 'SP10TP3YYAXA7KNDKBFGJJBC6MQXQTJ18RH803XBD }
{ amount: u334518505000, recipient: 'SP2E5DXZS1NSK55C42DJNTHZWW6Q6W55NA6HXAZQG }
{ amount: u334393334000, recipient: 'SP1KWF0R26EJ73WNAPD5STZJ5V2WK1W5C0S946HS7 }
{ amount: u334318368000, recipient: 'SPC8C0JC4C7FAX0GVTR3T5TN54KCNN47B440M2PZ }
{ amount: u334278581000, recipient: 'SP2748TN4BD407DF7KW6JMV7QPJ9R2EB8V62NWJDZ }
{ amount: u334184942000, recipient: 'SP5MC7Z21JTVEWD0ZZWZC0ST142BV0AFQ703ZVCY }
{ amount: u333865376000, recipient: 'SP2FF2HVFEHCPZRMCNXVY8XGJF8HFEM3PQBNM38KD }
{ amount: u333443857000, recipient: 'SP2MS18X1RSD69FWTWP20W7YFRGE2YNDFAYK29EZ8 }
{ amount: u332968137000, recipient: 'SP1XE9NVNB0AWK1F2RSHGYVVFZM1X1STRKS23JFDB }
{ amount: u332904190000, recipient: 'SP22GP3X6WQYT053YHNV4VQHMRZ3GXBYPPQB0GYGC }
{ amount: u332695953000, recipient: 'SP2QSENA5PH73E5YZMB29Y21MDQ1Z7CNV0BY7FAFM }
{ amount: u332473386000, recipient: 'SP22PDMRC3KJ2YW7T1DC2BSPJF6Y86WJB5QKPXRH0 }
{ amount: u332431756000, recipient: 'SPGVPZAEWP4F72TH26KJGVBG1NDM6DGRSPQ2QQRQ }
{ amount: u332047499000, recipient: 'SP1K8YBY6C4AG3NQWWK97K0G9JEQXKNQY6DNT1DT5 }
{ amount: u332008148000, recipient: 'SP293M874EPBS7H5EFF1DYAR3P5V1CNKVPK78GXG3 }
{ amount: u331756784000, recipient: 'SP2Y3VYVHTQT02XM7V7N5CMJDMBFVCAN4N1Y3W1DM }
{ amount: u331592904000, recipient: 'SP13JE8SPCZ4RP623NJC6HF1FZ9E0QEPHS69M9VVD }
{ amount: u331553289000, recipient: 'SP2Y2CTF16EZSN138T0Q8EDY6P1QZVE7QDX5F51H1 }
{ amount: u331495195000, recipient: 'SP3Z2VTHPCWYHWGDDHZ9V61XGT72GNHV4YYBBYYFP }
{ amount: u331147398000, recipient: 'SP2XGQQDBAHWTQHNXY2GF4JH348WKY9N4MNKDYF26 }
{ amount: u331020444000, recipient: 'SP2AK0T3D431Q6GPY9PSTJC38F2M9GPMSR8DM1WBT }
{ amount: u330960410000, recipient: 'SP81TYWKPK9J2H19CXZ71V46Z5PPY46ST8658SGD }
{ amount: u330835682000, recipient: 'SP19G18WH05NGK7ZWQJWMN1CC5B20D8MQ3S8A6Y18 }
{ amount: u330774256000, recipient: 'SP2WS6SV526X1GZX3RBZ3XDB0K0CANXKADYPNN8V7 }
{ amount: u330636342000, recipient: 'SP8P9K9NBEH3JW34HR3BDDGEG2WCPZ4WM9DV3F9S }
{ amount: u330603217000, recipient: 'SP1G9MCZHARX69R3EJWDK05ZT8NNNVBAX7D3WX13G }
{ amount: u330561178000, recipient: 'SP2HN9HW0HH44WKFNBW5W6H49TMVGYA22ZE41WRNX }
{ amount: u330558195000, recipient: 'SP1P809HDJ9NVXG71MMZ50GEN8989F5Q0CEXMVDXK }
{ amount: u330548471000, recipient: 'SPGJKS6GY0ZWX4YWJ240ND2AB8M7ETG7GQRDD5C9 }
{ amount: u330239375000, recipient: 'SP2J38WXVE002DJ7RGTZ1FTJYKN6C1B22BF51SYBA }
{ amount: u330078467000, recipient: 'SP3GSXTM08X890VZ80CVNYYGCD5SVQ0A3ZXAJ0EPW }
{ amount: u329385339000, recipient: 'SP12AT8PM2ECZHF2PDFXTGSWEFNT06MM5HAE3JP73 }
{ amount: u329284647000, recipient: 'SP2A3FZ5AM5ZWAYWQE70NMMH5EEHW705GBWST1XE2 }
{ amount: u328965436000, recipient: 'SP3RRZ3XJV5NQRKW2DYK41FMVXJAPT1MP9434VDQ8 }
{ amount: u328827428000, recipient: 'SP2CXT6PZ983WJ21J9ZD41S3PHJH8YBTVJ7F6M5V8 }
{ amount: u328768551000, recipient: 'SP322NQYF7N6MNAPY6F04E429070M9GP0TXWYHKB }
{ amount: u328544483000, recipient: 'SP24ZCDBXTGBFM47QFAKDPYX4SHBDYJ7K115KAA3D }
{ amount: u328289425000, recipient: 'SP1ZEJ17S6AHPJRDZN1DQCW19940THD6TEBKQHD6Q }
{ amount: u328057503000, recipient: 'SP38D3077Y3X898RD3R64QT8QH5BFCREZMXRY1Z5Q }
{ amount: u328033960000, recipient: 'SPC9CBX5CKBHFZTTK7T0A606BWZS17KA88HJHM99 }
{ amount: u327954546000, recipient: 'SP0570FCRVNHMV6BE7XSPGB5E7AX967EJ46YR5F3 }
{ amount: u327938274000, recipient: 'SP3A2BHKZ43560E6VNAH1VANH4VE6Z4997B2F2F97 }
{ amount: u327584000000, recipient: 'SP3RX1DNH253886T72EQMGA0H5K8PPSGMCJJN2VJG }
{ amount: u327441774000, recipient: 'SPZT32ZPBJCKF13Y04MSX7CGA7PPSX5240B56AB8 }
{ amount: u327170867000, recipient: 'SP3QSSJSJ9FC5MCNBWAX8NWBE9GTZ49W8WN47WZ3 }
{ amount: u327153775000, recipient: 'SP3FTNYB6NR9D6TN37X9K7E8CJ6RJBGQ5RR3MASGJ }
{ amount: u326894997000, recipient: 'SPHE7T1KZVKVH95N374B29QR67SJ6WJAJKSCZRGX }
{ amount: u326712250000, recipient: 'SP2RTR7YJAQV7D2FE6RTX0MSBAQ3WKGX446J09V0Q }
{ amount: u326129969000, recipient: 'SPVS1V86E23RG2Z9HN2SR0PYZDSN2NXRJJNR590P }
{ amount: u325847000000, recipient: 'SP1HFVY43K9CHV6X1AAD9JSV5C8Y3NMV8GXHVRQAF }
{ amount: u325797883000, recipient: 'SP2C1WMR977D555AH82520XZWVPRT6KXQB9X5F2Y9 }
{ amount: u325679760000, recipient: 'SP2GGKQBMQA0PDJJFH50PFZ5J8A65D8XCKM05SRJJ }
{ amount: u325528142000, recipient: 'SP25JDZ80R74KWS00C42ZBQ01G2C2GDJPKY9J0S0Z }
{ amount: u325477056000, recipient: 'SPWQ1GBYZB30361HVY8FYAV9AJNS2GGYD98NP36N }
{ amount: u325439509000, recipient: 'SPK6S2CC8VBZA0EF4MBJ3HX46XXXCEEDQFAS2A8B }
{ amount: u325384789000, recipient: 'SP3QAG9TP6G31NRYNSGWDV1NB14R0WWS3C84S9PT }
{ amount: u325319202000, recipient: 'SP2EAJ6Y0STA70HBJF4V2DVRHEZZ50RXYHB2HP73K }
{ amount: u324757382000, recipient: 'SP30A5AW2MQP736B9JRDV8ACBBS3FK39EZQ9T58Q }
{ amount: u324574000000, recipient: 'SP38N7XD89BJR0YP1E5DYN03RSD812YER8FN3VVH7 }
{ amount: u323800000000, recipient: 'SP2WCXZM6D7WVXNQP111MMBG1004RDPJTVHQJKHKF }
{ amount: u323792454000, recipient: 'SPBCJ0510WV9BJY4E7R3KPMQ8ZQFT1WQFBPPATCJ }
{ amount: u323543047000, recipient: 'SP1064KSKZT6AKHWF1FF3G3692P6VPFCRADKBRZYV }
{ amount: u323528300000, recipient: 'SP1EPEFSZVZDX2ZDVMK5BSG8G4N16KYBFHGZFZYB5 }
{ amount: u323407811000, recipient: 'SP3CV57JSHKZAGRMNR0ZQXN1BC6TXB1QEDBF50CMN }
{ amount: u323343209000, recipient: 'SP2MHKADBJZ5YVC5FRVB6KSRAN5SS4X3DBSD7BHZS }
{ amount: u323222635000, recipient: 'SPY59CBCQMPW1BZNHQHCP9Y7YQ2YVYGWGE3EJCR3 }
{ amount: u323106380000, recipient: 'SP1WVNY489E3DBFH6C4C4QG86QW01MVWS7B9XYZFC }
{ amount: u322940861000, recipient: 'SP19BFMAD9XA1WJ1SV4HG1KYZDPGBMK56CAFE7ZMH }
{ amount: u322778000000, recipient: 'SP3EMF7R15WAGFW6F34M0PEVSNZMPC80H9JNKJXPP }
{ amount: u322665265000, recipient: 'SPQWKZ3MZ8AWJF0J230JBWKF273S6WKH1WS17Y2B }
{ amount: u322385206000, recipient: 'SP3GCSJH3J5TVJEJD1FVXK44GFXR8633AJJ5E5BEY }
{ amount: u322273251000, recipient: 'SP175WK14PAZ9HRT84BNMWASD9YVGM2GNPXM3BR93 }
{ amount: u322257536000, recipient: 'SPK1VNV854P2Z54JYY8QDS2M0W8XE1186PFXK2MV }
{ amount: u322167364000, recipient: 'SP25AJM8SA75VWEZGVPH77SVBRMV7BC9C2TCKTFYA }
{ amount: u321797598000, recipient: 'SP12CZ3NWCADR6NWVN86TTP0DGPAN0PDJFRCFQ5H8 }
{ amount: u321774953000, recipient: 'SPT76W79B0R8BH939XF3XJZA8DGEC1ESRXZRNKZY }
{ amount: u321755377000, recipient: 'SP3THF40K69C6FR0RQF53Q1MBP3528Y6HR904NHCR }
{ amount: u321623462000, recipient: 'SP0A0XPM7H0ND867XJARBRSH5N6K6KWDY3QC3VPM }
{ amount: u321151389000, recipient: 'SP3FHH9HKXKBHPKRJH8XMFPB39FCVZCHH0P2KKC9W }
{ amount: u321106756000, recipient: 'SP1T79WNPKVNFJ66FBJRED9NC3PHKM54TX06TFVTG }
{ amount: u321051715000, recipient: 'SP3AHTHG2648Y01R457DRGPPNJNY1Y4NCDWXVGMB9 }
{ amount: u320900788000, recipient: 'SP3HFM4R5S0VG488SSSPQ7KXQVRE2Q2CCH0HBZHQQ }
{ amount: u320785871000, recipient: 'SP2F0AHP4Y35AF74YK0VZN5AEZCXQK4REKBC0D8M6 }
{ amount: u320550280000, recipient: 'SP8Q9XA94MPZV53J5DQESR8VKKXBS3QD1ESKZ74E }
{ amount: u320494112000, recipient: 'SP2RCNGR2ENVC2REJFM42SC2MB47ETNZ6QDMAM0JK } ))
(define-constant batch-17 (list { amount: u320149032000, recipient: 'SP3FK4AHRZ71RWGCRMGNFCD2XY9FCEP2P871THGD1 }
{ amount: u320057747000, recipient: 'SPYKDQEB8KD3AHEZ1B22CJ61GVRYCMG854Z7422D }
{ amount: u319964000000, recipient: 'SP5A9CTREDY5QSBVYNBQ31GKDW7PSNCQ8ERPN3FP }
{ amount: u319938425000, recipient: 'SP25KM5SV51NPQ5W9C1Y6ZHKM9AJ6JJ1PDQAPKYHJ }
{ amount: u319501293000, recipient: 'SP35YYETH6WFFTSVPKS5KBA4AP5656S66WQPFA9DY }
{ amount: u319252181000, recipient: 'SP2DMYHGKSPVH1RKGE2WVC1ZEKNN2N6NCZNWBCKPD }
{ amount: u319102501000, recipient: 'SP1J8M08M54VGPGST5S09NB4XN96V60NMW3HXQ85W }
{ amount: u318967857000, recipient: 'SP3Y3V851X7VYAVACE4D3HV516N9TQ4Z0T4AXP1ZE }
{ amount: u318494418000, recipient: 'SP23QC3KKA5TQ09JWEJXMW13ZKAYFRP8S8QFG4E3F }
{ amount: u318097829000, recipient: 'SP22TPP0K1Y1FT372Y531C9QV9YJV4EHJSHWC19PM }
{ amount: u317762480000, recipient: 'SPDW1RQ2B3XTG6VAHC2WGP72NC82SJ7KHX2R0GA8 }
{ amount: u317418480000, recipient: 'SP3XRY6W1NSMZBPZS1QKZMHZZ310XR3Y08PP8EN2H }
{ amount: u316969601000, recipient: 'SP31ABYRQNZ7101FGB3PV2VQP3BVGRWWCF9GBGHED }
{ amount: u316772169000, recipient: 'SPR8VDYG0Q2X6CP9VPCSDK63NCRFDTE3E5A64XC2 }
{ amount: u316560797000, recipient: 'SP1Q24YJY1MZ52H7PSA993399CKVYWR5Y93CPBF91 }
{ amount: u316408000000, recipient: 'SP30AKQN93CHVVXEGZMBYPRR739A9MT1DGY3TJE8E }
{ amount: u316278520000, recipient: 'SP3BX893YWMS1V27Q6CV9PPTQGNBE0GGX6FPJPA5J }
{ amount: u316204310000, recipient: 'SP29R3C2DC5KW3CVVZT0HY60YVS0H6JTPQ73ENKBG }
{ amount: u316162969000, recipient: 'SP3SD4V91ZCQWX39FV43NR8EYWXYJKT03PTSJNHHW }
{ amount: u316148052000, recipient: 'SP1K3R2HCP1BRA1D6FKJKYCT012NDVR7BGAY02DZ0 }
{ amount: u315646080000, recipient: 'SP19QC5FV0E94VS5NSY27CY4K2E1ERFPCTETT9XRM }
{ amount: u315643850000, recipient: 'SP23JP96CP964HRQKM9FG772FC0ZK93NTJJS0YF4W }
{ amount: u315398287000, recipient: 'SP3X23D41DBV9MHJB1Z8MKGY1FTGTR105C0H8TXWM }
{ amount: u315192439000, recipient: 'SP1D3V35N161ANYFQRHY582P5SFTDCXMRES3YK5BD }
{ amount: u314718970000, recipient: 'SP2Z289T793DV310JE8G94YCW5YCYQ552PH2VD0D5 }
{ amount: u314695267000, recipient: 'SP2WARMZG446TKPDFRRWKZEMDD26C5H11M1DAVGD4 }
{ amount: u314492359000, recipient: 'SP14QE9RZVAMTJ1CS0NKYDGXDGQ7MSM9Z2GXST3QM }
{ amount: u314451988000, recipient: 'SP2BMX4ACFEH7MAXY65NM4J0H1WBBSCHAZRN73N1 }
{ amount: u314391692000, recipient: 'SP154R5GFS7GWQ8H2SCEWQXE6YK36K8DB6HS2GZMK }
{ amount: u314247343000, recipient: 'SP3WJ4DM3Q4SZAHBXFYYM4MBZVQ2Q32G8YCVV5RXG }
{ amount: u314002711000, recipient: 'SP29T7Z5QFCVBBC6M0QJ2AYT51KBQN5PZHDTSEPY }
{ amount: u313941070000, recipient: 'SP10CKKWZRFG2E866HQT84R5K00SK6WDW8SP3KTRB }
{ amount: u313912864000, recipient: 'SP2GMTQ4YTE0DK1CA8BE8X97C44R6A3RPKJE2SR6J }
{ amount: u313732922000, recipient: 'SP3GNAE8V8KZ24T31JC10TT184F6NQ4YDYHGVFZ10 }
{ amount: u313396460000, recipient: 'SP1PTT5GSWJSD4PZR4WR4NHJZQ3NJEWJK41HV1G7H }
{ amount: u312989819000, recipient: 'SP2VHAGYKRHZHZT3HH3XHRDVF09ME95Q4B7YRVC44 }
{ amount: u312795647000, recipient: 'SP385T0FSV9Z2A991CMP1PWH885NHWM85QYY7QPBT }
{ amount: u312731600000, recipient: 'SP1JQAR2CJ3YE6T1PZSJBDQRWPCN9P0G6Y59XGR5E }
{ amount: u312579000000, recipient: 'SP1BZSVQQTBSAGS5KQGPKH2ZA78T34KENKJGGH310 }
{ amount: u312478542000, recipient: 'SP24DZDS8Y2FF6H2E7G5EDRKQ0ZQ65AKJMBXG2A8C }
{ amount: u311920276000, recipient: 'SP2M12EWQEWWHTKKZXXT20F3S8GYS33M2ABNP2A02 }
{ amount: u311892901000, recipient: 'SP3JZY1N8ZVV9GM5Z1DNK4CTHWT29PEEPMRNKFF2K }
{ amount: u311757644000, recipient: 'SP3GC217ERYH6MZ6CA99WXYB0Y5BC6VHC6ZP4ZRWF }
{ amount: u311743393000, recipient: 'SP3YF5XZN4CNKRANEHVFWS18DAG5M2CHQTSBZQX35 }
{ amount: u311609138000, recipient: 'SP30ARNSK59ZPMJW4D172VZ6F5DZ0JX40ZHN56797 }
{ amount: u311464061000, recipient: 'SP1406XY7WHT0AEZRDXBYMV60CBJ54HE5VPVBKRBM }
{ amount: u311000822000, recipient: 'SP29M01RKHPJSGAJC7NKR3Y5WRBQA8HJPMVV47HV6 }
{ amount: u310955534000, recipient: 'SP186VM8Z76K49DA2BZ8T6B3Y77STCBY9Y54PBKNZ }
{ amount: u310715822000, recipient: 'SPVH3QTX9F8JZBWPVK2ZPW3A07G048XJC2G61SJ4 }
{ amount: u310658049000, recipient: 'SP1JTAHH19Z401BTN68PMBS0970XRJ6JVY7MGSEX1 }
{ amount: u310639967000, recipient: 'SPEK42NNV3BVYBY2KFQYX0PVE7Y9GF52C5M65ASD }
{ amount: u310530395000, recipient: 'SP3EJG2FZ6SPAVP79SVCXNKWM5P8HRVGXSZJ5NZ2B }
{ amount: u310512856000, recipient: 'SP57F7V1RTWMD5DKVXQAWVMY41DF1NBXE7AEGFGC }
{ amount: u310462401000, recipient: 'SPV2E19WA1DS67PXBT0EF689T1KNYZ9T2GN9ZGKV }
{ amount: u310030297000, recipient: 'SP376SH8ZBWJ9WSQ2PGC13C3NK4S3Z3Y1DTHE5H22 }
{ amount: u309800000000, recipient: 'SP1KG127FDPMDNGYYMV2B8SSKS3GTHVTCRX10YCNK }
{ amount: u309772714000, recipient: 'SPBK9FDVFZ9W5HG2RFA6ANTRQG1A1QQT2C21A4T3 }
{ amount: u309699928000, recipient: 'SP1DS92SAC64WF1TAWPP4WWFQXBXE1WQH13C2R78Y }
{ amount: u309627738000, recipient: 'SPA73VK01G7FT0F8BNK4YRS9RQDS2VBCDG2T28EE }
{ amount: u309513361000, recipient: 'SP32PXYGP2JGV6HR6HX6A7JYMZJ9EDF92A5T5SBV8 }
{ amount: u309395298000, recipient: 'SP1G1TQE9YC0MA1FZGF91KKVBJN8G5JPXX5WRK62T }
{ amount: u309353000000, recipient: 'SP16F8D06TFPP3BQF9FXK0Y38WXSPQ8ENC1XCPSHQ }
{ amount: u309157245000, recipient: 'SP0B62Z3QFQBYCMB6E6R9Y3WZ1NNDWMM5AD9VPRX }
{ amount: u308826220000, recipient: 'SP2YK0K7ZN00CQ77PHJADATZQRG4THBX7CFCWSYNF }
{ amount: u308745212000, recipient: 'SPK0FVT38MHJ99B94WRNS8QHTAFDR5RZAVTS3YTY }
{ amount: u308404367000, recipient: 'SP3KK75YEJPXNRWCC7MB0B28AZSH7K05063JFSNZH }
{ amount: u308303398000, recipient: 'SP35YTZG77NA0FHFWFD41AX3RX8TYSD80BYFN99VD }
{ amount: u307869000000, recipient: 'SP3Z9QBZE73E3G50YQ8HRKYQC4ZABQ99RFYRD2D18 }
{ amount: u307646981000, recipient: 'SP2XBAEERWNWMJY5BSQH70CPYZCSFA2NZ3C0RYR9S }
{ amount: u307194565000, recipient: 'SP1KEBY6NRVQ1XDC2HB0JTSASZ2V9GJQN1E335HZJ }
{ amount: u307116244000, recipient: 'SP3J51PAKBPPCY5BF16HWFSZ4XZCZV89ZVAD8TRM5 }
{ amount: u306876459000, recipient: 'SP335B6DARG080S8VQS8AB4EC9RGB5BMPXP7WATCX }
{ amount: u306864207000, recipient: 'SP1JPP5GE8KE3FX275H9Q6HP7R6Z2TAKF00QSTSQ3 }
{ amount: u305855682000, recipient: 'SP16ABAQ22HNDERC073GFPM8FXS4Q1H0Y6575BXVV }
{ amount: u305488858000, recipient: 'SP3XEZ6MQAGVJW18KY0XEKMMGV440DWSPTCQ00VF0 }
{ amount: u305231549000, recipient: 'SP20X4NGV961R6AJR360RABZXTBSECCEVSW8RGHP9 }
{ amount: u304963287000, recipient: 'SP2EPA7X6FBHDRKRMYER6WHT2DFSXMRZ3KKQQPHEE }
{ amount: u304933358000, recipient: 'SP4FS12W0Z081AHVD5RXFNAPJZB7EQ1J6BMBKXRD }
{ amount: u304731140000, recipient: 'SPA5TQXK1FEEV8SA0S6G2PPZCWKDQQCSRG0N5BM4 }
{ amount: u304552624000, recipient: 'SP1HR723JCGFM4EM9Q0RAEYYQ2ZAH0P45GBQHP9W2 }
{ amount: u304525156000, recipient: 'SP31QG3M2HRT9AFHQCW720S3R4GYCBG7YY0BRBW1Q }
{ amount: u304446845000, recipient: 'SP5XYTZYDBXW76M63EP1343AHWEN6NMWZ0D9H4A6 }
{ amount: u304416175000, recipient: 'SP1GM0240NEYK125WKVV6B62RWHB5N9SSWJTQTW5S }
{ amount: u304277181000, recipient: 'SP3F3TG3R9X019FFX97H8WFGP0A0X9Z6FB6KWVZS0 }
{ amount: u304029792000, recipient: 'SP1EAAXMXXWCGK94ZANY522AA6TDJZ1TGB2G5BS0Y }
{ amount: u304000000000, recipient: 'SP1ZDWYT9A04AR3KT024AVM2W16FHM1RPBXTC56DN }
{ amount: u304000000000, recipient: 'SP3TDBGMJMP5X0E5GDKMB4AMT52G348FVQ9AB36JQ }
{ amount: u303901043000, recipient: 'SP38HC88TF5PXNJ265PES6NC7GXK7WRTV4YFE420D }
{ amount: u303786351000, recipient: 'SP2B81VA9R4MF6N4JJPRNJYJF4K5YBCBE2S6P4203 }
{ amount: u303635827000, recipient: 'SP247EWGY9X06WMKZ83JNY0TAFSXAAX5KHEDBBND }
{ amount: u302567274000, recipient: 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK }
{ amount: u302542197000, recipient: 'SP26MHB3XB4S1Q4FAH72NE596VFE7X771AZD7RJXZ }
{ amount: u302405899000, recipient: 'SP2ZWNX7D8XQSQ72KV8KP2ZD9RDEGMC5AVSV649Y0 }
{ amount: u302321392000, recipient: 'SP2M0EXZNKSZVHB4BC3M6F7N4QEW3NH82Z3ERS6NJ }
{ amount: u302278825000, recipient: 'SP4STW50M5K76ARW13QF27SE0YXKN9S1XWXJV5XX }
{ amount: u302264529000, recipient: 'SP2DD4Z7QBZEW2Z70GQXWXRAXDVB0HD07JAJ5ZH27 }
{ amount: u301912640000, recipient: 'SP3A4KA5J4AS25XPZ23V4AXSGGHHQ9XNH5MX511GH }
{ amount: u301850482000, recipient: 'SP27F67QBT3KD8XW6XCG11KH311BYVNE7M5GTA85Q }
{ amount: u301741430000, recipient: 'SP29T91JMR7MVBTXTFM26B3N1RDBKVMYJ9DZ3ESC4 }
{ amount: u301725079000, recipient: 'SPZBF4QFQA6NM0GWVV3MC0DBR4WQ4AQCSF5742ZA }
{ amount: u301641517000, recipient: 'SP13CBKFTJ2EF0FGG0BC2G9YHEGK5828JBMBRARWN }
{ amount: u301278835000, recipient: 'SP358HKZHXDC6E1TNS3M9EZFP6S2PM27GH4RNEG7V }
{ amount: u301146255000, recipient: 'SP1YH0YJ6YHFW5QX3MW3ASFPNB2994C7M0689VXVW }
{ amount: u301104232000, recipient: 'SP33VE9NY6SDKVKPH6WT1EX2B1EC2BTE1WT9G47D8 }
{ amount: u300792312000, recipient: 'SP1SZNHGHFR4XZGRQ0PCJ5HNZSC45FX31DKJRBC6D }
{ amount: u300632716000, recipient: 'SP1BZXABNDK1KNRADQ2EZFW8Z0V5GZCP6P2NF64QW }
{ amount: u300513021000, recipient: 'SP3VJ9FXDN1WV5F7H9HX3SQ5A5D7QGYB2M3JYY0P9 }
{ amount: u300321219000, recipient: 'SPPS0SMGQBZMSMWSQAQ940R0PE4K09AGX4CWY616 }
{ amount: u300213058000, recipient: 'SP2VEP75T5X58TDMTBSVH86RH95XFNKAHHJRQSG9A }
{ amount: u300172396000, recipient: 'SP12YN5JV4RWGD3GQ8T3K2A3JZQEEJARV5XN1S9R8 }
{ amount: u300150619000, recipient: 'SPZSHMYN8PX732GV5C2MDJHJJE8ZCQPK4ZGHZXH0 }
{ amount: u300051691000, recipient: 'SPY446J8MNKYN53CCBP8ZSM48FZJQ702XPGR4V8Q }
{ amount: u299916800000, recipient: 'SP3ATPYJHSG4C9H48RWGXJN913QSY8KZ09KSD88GS }
{ amount: u299439071000, recipient: 'SPZGQQDNG2SC5ZY8E9ZQXB3PYQJRRWQJ39B43C1R }
{ amount: u299388295000, recipient: 'SP30Q32EZMDTXPVZX1VZRWWZC2DB15FXJBXNWS0C3 }
{ amount: u299377140000, recipient: 'SP136SMJHZ1ZQQEJGW3P2CZS6SBSY927JT3VRVFWA }
{ amount: u299300000000, recipient: 'SPAPHJ1YPE74NB1JGJ5Z3TDDF8SGS5SQQWMCZS6P }
{ amount: u299270999000, recipient: 'SPK8ZWWJX5R0SDS6NVJPBKG9SVH3AP1WV7A6PRA5 }
{ amount: u299175859000, recipient: 'SP1YRK6Y3CP4FSN5AJFM60HMFSDA8DPC2RKKKW9M }
{ amount: u299081000000, recipient: 'SP3QZ2WB9937YNBH2GR9ZHGH8EFXG1WRHZACCDAN7 }
{ amount: u298670519000, recipient: 'SPC1CHHEGSR3WPV2XMFCATTQVX60DYBBA82XSEQV }
{ amount: u298460000000, recipient: 'SP206BA39CHZ00YW2GHSYZY15FA9BA2XW6CRWF44R }
{ amount: u298214654000, recipient: 'SP2KE98PGDW1A5NKGSB4BBRJSFS7KD0K8KZNXCZW7 }
{ amount: u297759810000, recipient: 'SP3JBAJ2KT0TGGF9N4TZJ1S2NAB48VTNRXT7EP1DN }
{ amount: u297673135000, recipient: 'SP35K9X1651F69Y3Y2HB0VY4NMG1F3NGZCGWEZTFE }
{ amount: u297643495000, recipient: 'SP2CB00KKAHQVX1NNE9AT7DK0408VX1T8DYP80B4S }
{ amount: u297517000000, recipient: 'SPNW4VCSYDECZ41RSP4W34R9TE4P9CBB7E4QY0Z }
{ amount: u297412421000, recipient: 'SPKFQGZH3VPW39TDFY1JSETWJSVMRM5146AD0CP6 }
{ amount: u297245080000, recipient: 'SP2VAB3F17KWFJ44R25BY3M4YHBN7MF856PEZF83X }
{ amount: u296883455000, recipient: 'SP11KE4D091K5P3PBTXR9AHKRXH3RV9QSTRFW3F6K }
{ amount: u296750163000, recipient: 'SP1M9WW2C6R749N6E124VDMN8E86N81FMJ0P7MD1Q }
{ amount: u296619846000, recipient: 'SPY0AE0GTR33DFGNFKWFJ9BC839BHMNNRC50BMZH }
{ amount: u296573469000, recipient: 'SP1A769F9W1BFQY9HGC78P17509N262FW7088QW1X }
{ amount: u296528096000, recipient: 'SP35JN1Z0BQ5EJEZ7KZARMP8BZ142QJCZ5DD4WP43 }
{ amount: u296503379000, recipient: 'SP3KYMJ5JJHRPB4ZKPQ63NMFXA7RS01V0STGRVEH2 }
{ amount: u296018860000, recipient: 'SP38HA8T1WXSBP7NW9EY89X8Q6HD9G3M7W170DNAT }
{ amount: u295980235000, recipient: 'SP30T7VT6X4892VVX46SEEYE39CEZP3V1HYN066HM }
{ amount: u295886424000, recipient: 'SP20PPFNGDWY0FMMPWM1RPNBRHF9RRKCMFD80BHGP }
{ amount: u295803380000, recipient: 'SP1KMQAPBQ1M4HC8N0FYJ4ESJ7688HRSXNK8682QT }
{ amount: u295515245000, recipient: 'SP109JHCSF13QYBGBB35J7AC8MM89H6H3T4VHZHQQ }
{ amount: u295472609000, recipient: 'SPPEN6K11RKJGB5MGGDYG5FBFT6QMQNPYWPJYARE }
{ amount: u295310590000, recipient: 'SP4A8JH0DHK6BKX21AZP8JCCGZQ4Q4S8FNWRC8Y7 }
{ amount: u295195463000, recipient: 'SPZC6AZT0GFKNV1M5900Q6X5H19NKDBRC160T53P }
{ amount: u295174533000, recipient: 'SP1BTG3YEZ7E17WZCAZC01A253QJN70233HX9MDPA }
{ amount: u294982101000, recipient: 'SPATCJS6N2BR1HTJTJG9WBJVDMFA6GFZVBFGB9PT }
{ amount: u294880706000, recipient: 'SP5VQVNZT59BK3XPCHVK64RJDR8WN2SYSB9V3HZH }
{ amount: u294874937000, recipient: 'SP1BREKY4SZ5542PY49WK9A4X8PBS5JW50T0X5TDX }
{ amount: u294831151000, recipient: 'SP3SRSVMSE1H8Y2E84PCW8RZ9VZWRSK9SQ0GBVVXC }
{ amount: u294387469000, recipient: 'SP2TDB7YB9F5C9EMRY8Y3PFPKSA71VW4Z8JW5XM89 }
{ amount: u294318511000, recipient: 'SP1TCBTTPZNZXFTSQD1GFJ6PM8T8K3DW9X6SW6P4M }
{ amount: u294245681000, recipient: 'SP12YDZ75PDGNEWBEC1RGF2P66S0TCF13XEZ2FZYV }
{ amount: u294022904000, recipient: 'SP33WRBDBJ0SJBMWMNXSNHW442HQT62BPSC0ABGSZ }
{ amount: u294005800000, recipient: 'SP2T30HZHGCXJ4AYZAAZFACG8KDNZ43QN27VT19G1 }
{ amount: u293988979000, recipient: 'SP26P4M5KFY1CX7P6RAVF925MAW29CNRHREFWVYGX }
{ amount: u293935184000, recipient: 'SP3A38H6QW9DRP66F22P86C6NHMSF804CF85TV2Y5 }
{ amount: u293812000000, recipient: 'SP1Z9DWYF73RN58CYSR45JXCV1ETTZ9X4Y7BKGJT0 }
{ amount: u293201774000, recipient: 'SP18RCD70RXNMG8T2J29PS412AZKSEHRVMY6P357M }
{ amount: u292918460000, recipient: 'SP1WZVCZQ15M6BS5PACHF2RXCG565PX2DM27TGGNN }
{ amount: u292458783000, recipient: 'SPSV566C15C7TV16765RD1DKRKBY0MBSTEYW37XD }
{ amount: u292238604000, recipient: 'SPB55P2320MV5CDYJ4HAD9AQGTJT136HCY6H8MYZ }
{ amount: u291976573000, recipient: 'SP20670DDG79SX8ASZ6X7V65X2P5NXZ3RN4NZNVZK }
{ amount: u291914000000, recipient: 'SP24WPH841PJK8S0SPX399NJEWS8QWNA47Q2FW1QT }
{ amount: u291723201000, recipient: 'SP2K2B24ZKVZ7CN73P75XDPRT4BA2NN0KBT1JFYWG }
{ amount: u291466370000, recipient: 'SP3WC8956611PWJHSXHXZ89KESXSY3ARFNG2ZDD7E }
{ amount: u291437758000, recipient: 'SP1KGRRF66NTWEHBCE7P5YPDKJ5QCVKFS2H6E2Q4W }
{ amount: u291342621000, recipient: 'SP5TV84F0W9BHSWVBGXW1JQT39PVYY32YMJHVRDC }
{ amount: u291016380000, recipient: 'SPREHB3AFQ693V0KN724H1QF8HZYCVYECC4WP1KE }
{ amount: u291015256000, recipient: 'SP2SKMAR9WMD9DBJHC4XTQXPZCDNV1258PSJTRGTV }
{ amount: u290973190000, recipient: 'SP3NBR59AB2Z9HH2FBDJWQ3ZVCCAME34B8A7R73CT }
{ amount: u290929957000, recipient: 'SP3HNJF8D3R2R1W1BHNQF10BTRXYJJY62EQV1AWCQ }
{ amount: u290396276000, recipient: 'SP37E508KZVV1E0P8D1CZZWRD8814DC50X9725RK5 }
{ amount: u290084461000, recipient: 'SPK4JX59D11H2Z6158M8G33WZ23AC7XT4ZCB2RA2 }
{ amount: u289985279000, recipient: 'SP2RJA607NFS766M67VK2TRRTSNBFWMM1N8AH1RSC }
{ amount: u289804419000, recipient: 'SP3M3GVRPT0T7WTS8N6BYNZZSYBRDB6GME1CPJFAM }
{ amount: u289564680000, recipient: 'SPSBWZ8FXRE1F4Y714VQ1Y22BHSTQE3Q0DG2Y92N }
{ amount: u289487000000, recipient: 'SPA5HZS6P8GFEBVKFNYTQ5G6110RR39RT1CZ5X10 }
{ amount: u288992000000, recipient: 'SP3MET7DAS3V1Q68QVBR3NRKRC0CEZARWE86Y3JEA }
{ amount: u288953664000, recipient: 'SPVJ6W5KH5JVP3H9ZHFSEGG0ZBG2H3Q9WDF2SE2B }
{ amount: u288805430000, recipient: 'SP2Q6V9SAWDCJD0ZG9BQZJH5MRQ8F4YGDSSHQCZ8G }
{ amount: u288712674000, recipient: 'SPWG868J3CJTXM1GS9DQTJXRPVN741T4A4M61EX0 }
{ amount: u288627286000, recipient: 'SP23AYT3QPBV5CPTM5ZBN9Y68S9WA7459RDYSS891 }
{ amount: u288604804000, recipient: 'SP18R2ZNKZ13Z7S5C8EGQDHM7NQYR9R4RZB9S5XPF }
{ amount: u288415807000, recipient: 'SPENHT0ER5N8EK5E5DTQS4KM7S1MV5B7NSJ8VK8C }
{ amount: u288377556000, recipient: 'SP21RKD5CQGGAJE173P7CBF9337JSV6DJZA06WJK2 }
{ amount: u287945121000, recipient: 'SP125533YDC6PFSJMSE8JQ78SDW6CYVF9KC4SZHV5 }
{ amount: u287937983000, recipient: 'SP1SV8FKGKVTCPC4MCAB6Z6DE9BNK8KEMB1G4Z9E9 }
{ amount: u287895472000, recipient: 'SP1REGVRKKZYQ3RCS4D2FXQEXZJ5JPVG7QDQTMAGP }
{ amount: u287812595000, recipient: 'SP1DWJ3GGCHMJ0NXZ0881B51FC6F0QK42DQ84284Z }
{ amount: u287801672000, recipient: 'SP3P0HMWAS42T32GVHMVY6FNDKAD9R2X8YG7D5FR7 }
{ amount: u287794919000, recipient: 'SP35Z8WZF0HMRAVRA8GSJ4F8S4JZK15GRC1P8C388 }
{ amount: u287765784000, recipient: 'SP3ZQ8KVGAWC6F8GBAXX3XVJKDWNZQEBSVNRQG74V }
{ amount: u287616551000, recipient: 'SP3XDWA5QE6BYYDVKM37DRZA2QCX0FS8CG452P8NM }
{ amount: u287555510000, recipient: 'SPKAPXJZ0Q6TQJ62JHWAFT4A6TF98KXG882VEK08 }
{ amount: u287540173000, recipient: 'SP3ZNVF9MSEJX6BTPK8N8JGM3TF46EZT6PQA06F42 }
{ amount: u287374903000, recipient: 'SP3MYF6B973WD1ZZ26FKTS0YCN79JCRC6C0BQ0JNQ }
{ amount: u287090303000, recipient: 'SP33XW46E6GPXBZRKHGSAFGZCS0M4G6V5KHAF2AQY }
{ amount: u287079564000, recipient: 'SP1XNJH1NZX90QV2VJE5QAPB7YAE3WHFY2NAH3JCC }
{ amount: u286819310000, recipient: 'SP2X0254BMHNQ7QGYQXX5G2FFVQFPKGF5TJPJ1EJK }
{ amount: u286768696000, recipient: 'SP1BQEXB10YPV95KRCNGQ373H9GHTM3NAK17SZCSR }
{ amount: u286755569000, recipient: 'SP1JN97NBCFWT51FFQZXMHNAYFBEGF8BEQFZKKMRQ } ))
(define-constant batch-18 (list { amount: u286563185000, recipient: 'SP2V3ZVZSRBTNAP50JCF6S0V09HT7KMANYJGP9V83 }
{ amount: u286277691000, recipient: 'SP1V9KKM0KRE2V86Y506GF9ACWS7MJ81T9192FRPW }
{ amount: u285390429000, recipient: 'SP3NA3D7DGW80JDYJX3KN0V8HA3Z8D9NNY5F5VEDB }
{ amount: u285126738000, recipient: 'SPDNTMVC2SAYRDJCV9V7H8QCNBW7YD407EHNFDQF }
{ amount: u285038858000, recipient: 'SP3KG1DKP5JR5CY2W3QEVV1BYV1BSSZCYTAQC46PR }
{ amount: u284438177000, recipient: 'SPQ976ADR6T4R41V0TXS7BZ15WDX8GKY62YNSFRJ }
{ amount: u283627865000, recipient: 'SPJT3WWPT4Q925GDE9BBZRC5MNZ3SMP8G7VMJSNS }
{ amount: u283597399000, recipient: 'SP2QDNW98B220TGW2GT930FXS54W2AJPWRQPPK21N }
{ amount: u283532603000, recipient: 'SPW2NMEP4C2TP4AH67D7YX13ZGA4VFJNVATHRZ67 }
{ amount: u283373377000, recipient: 'SP1XQKQ75J5YZ9GPB2Q65E91QHPKSEAGBFGJ9WTTJ }
{ amount: u283098159000, recipient: 'SP3KSWJN743S12SYC2PDV0DADWQWV1XF1S3S2PW1P }
{ amount: u283090860000, recipient: 'SP27WS9K4HC75JKPKGN7531G67BEQXM0HR3BS3QJ3 }
{ amount: u282443434000, recipient: 'SP22TM7VSHWZ66ZVQGH2YDBGCMWB9D25AY626B5Q8 }
{ amount: u282410572000, recipient: 'SP31CAFJNWFYW6MGEMBN80DDFHQSEG7H061G538GV }
{ amount: u282216346000, recipient: 'SP3RBV0J10KSQ5GRX2VNVAPEW5RD01JD4832ZWQ0A }
{ amount: u282117000000, recipient: 'SP1791256XMM6NG2S965CNMSY04MC5R96E27WXM1W }
{ amount: u282051473000, recipient: 'SPBMT510HAWCYXCKA908X756BRRT7XGX4YM0SDVR }
{ amount: u281980063000, recipient: 'SP14HYXK7BYNB6S151F38NHBTJMD32QQ5S86MYY6F }
{ amount: u281835250000, recipient: 'SP2J7PS20QZZXRK2REXSZZKG6YA9HGEKEV8VG3YQV }
{ amount: u281612190000, recipient: 'SPV2TQ203ZHKGKZNKXP1YY16N9SHFPP0MTSN8R0C }
{ amount: u281299411000, recipient: 'SP1AKY0JR6MJMVR2Q35YXG6D6FPTE63XS34YW65S7 }
{ amount: u281240973000, recipient: 'SP1A7TJ0F52FBX6XF8BJK93GHZF3QSFH7HN062T60 }
{ amount: u281028349000, recipient: 'SP2F7F854EW1B905EVDKXTNE97SH889P09R23ZJQ }
{ amount: u281007800000, recipient: 'SP2N5C8NR3VKWPT6G6A76B2ZV05G1F566ZSJ1ACZJ }
{ amount: u280844241000, recipient: 'SPDA596VVPNYFV1N875KGBAA5NM22T8924649910 }
{ amount: u280726720000, recipient: 'SP2VYYCQQV8HVRADVH622P0SQ8RN12AF4CMGJ84MP }
{ amount: u280577400000, recipient: 'SP2YEM3R0MQZVZV13D7EMF2JXGWZPA0MERH8B9R8Z }
{ amount: u280155750000, recipient: 'SP1K8HZBHMQBPP1EQT2BS40TEP9PA540RM97B637K }
{ amount: u280072684000, recipient: 'SP1SK3YYN4FRGZQZDFVW5TS8JA0850EB4FK5MR8WR }
{ amount: u280000000000, recipient: 'SPP19XBCJ5137G6R75KM3NJM5TVXKP8FJC7EAGF5 }
{ amount: u279909351000, recipient: 'SP2NG7SC8FT5FPB7XJ27E7PRJ7YNDY403SNCQ0NBY }
{ amount: u279791745000, recipient: 'SP282JF15RQMYAYB9QP9PKHMDCXEZHXW4HNG8AQ78 }
{ amount: u279616027000, recipient: 'SP3V2D448MXKQNJK8TTGKMGV16NQKD5VB04BH5EB8 }
{ amount: u279521549000, recipient: 'SP3YXRZYQZYJ7T8SFJ52YXNSEW7JFSGP6FDMCGCDP }
{ amount: u279179238000, recipient: 'SP2FKJ42D5E9CS4SMPG99GQ68CS9BY59GFGKKB7G3 }
{ amount: u279172065000, recipient: 'SPYEE1VDCHE686A91MESKPXXATFSZ9PBJ3YXPP7M }
{ amount: u279108142000, recipient: 'SPDP2GN51T8590JC64TY6281MH34KYEG5MAGQ8KE }
{ amount: u279066651000, recipient: 'SP320B0YT59XN5VZ336GRWFEC8V01A3DJMKAMXSG5 }
{ amount: u279025023000, recipient: 'SP1YNZ4B6ZDGZB2QHW8B1MSD839RY564QEXCDR7A3 }
{ amount: u278668330000, recipient: 'SP3T45XP5F3NDN2Q3A2X496KXABWSQ2TNZAT3FWYR }
{ amount: u278498840000, recipient: 'SP2SST5PVQX86MPMP46SJ47E37YY05M92MXG63VSQ }
{ amount: u278359386000, recipient: 'SP2QJNK08YJRQKXGN09QTGDCGA5C34ARVJ33626PY }
{ amount: u277729032000, recipient: 'SP27E1ZPZFNSHN6RMBZ22DFTMAM1XS1N51EZCNJN7 }
{ amount: u277568572000, recipient: 'SP1F5HA4JFFHZD7W4HPTAR7FYE3Z1ZQW8FAS23QSH }
{ amount: u277296128000, recipient: 'SPAJYAJBZDN49K04BEVZKEZ29MMRWB5VX1H5PS0B }
{ amount: u277030343000, recipient: 'SPK09DDNEMM0KZV3VH57CZKET38S2J3Y6XNGEPM4 }
{ amount: u276798000000, recipient: 'SP1GA31BC3D1RYCCC965YC18WPFTRA8FWQCSG7E9D }
{ amount: u276582811000, recipient: 'SP3FZAG5X20VXHX46Z8MHA92ENJS73EZ7KSZSAEPD }
{ amount: u276283937000, recipient: 'SP1DZ6CVX4TYYNRV39WBPSH18EMA5C6S6TZHBZT75 }
{ amount: u276160139000, recipient: 'SPB23EEDVNAZX3S0YWH0GFHS6P5630Z0WZ3PN2XB }
{ amount: u276149029000, recipient: 'SP1BQHRVPQKN8KBXX2T02KQ3SEVJ9GJ58R3QKTGCG }
{ amount: u276083382000, recipient: 'SP2ASTGGF6CSZTBM39VJKNRGJ288VPVN7PKF94CDF }
{ amount: u275904934000, recipient: 'SP3R06FY43ZP5KCDP2MH18Y91NSHTKSFEYX2EJG8C }
{ amount: u275703640000, recipient: 'SP37XKR1ZZVWH25THDFTKR992ZEMPZYQF5GA768YZ }
{ amount: u275672826000, recipient: 'SP1VVWJJPFQH2NR9C312RM80EBPG05Z3GDRSSMERV }
{ amount: u275473293000, recipient: 'SP3RED4R8FJF2S8PZ6136Z1T4FHYE7HPBWS94KZ14 }
{ amount: u275450284000, recipient: 'SP2616CGGP1GSXMQVFGMSWSHSJTCV3BDB3R7N2R24 }
{ amount: u275306204000, recipient: 'SP2W8MX59KQANPZ2N8KH9YQ9M9T161NR3Y06QZ3C7 }
{ amount: u275023434000, recipient: 'SP1W6EXRVXG60BDEA53P03NRCYCQ45F06KB9YVX2M }
{ amount: u274985996000, recipient: 'SP2B89YTMV01SGTBCK3Q4W6TG9HZP66JKABPYPVA7 }
{ amount: u274875714000, recipient: 'SP2DH36TY6GDTN6YRZDKPNSA5HQ44EQ655YXD14DG }
{ amount: u274691334000, recipient: 'SP19HP4DJF6847S6480867ZA5HX4NJA8YGKWKM8Z7 }
{ amount: u274516898000, recipient: 'SPWKAFHX26TT8D34VD912NVDT2S364HQZK4X1VHD }
{ amount: u274277951000, recipient: 'SP3DRKFMS38DN51X5PYJ23VVVJRXYVH4E09J0DAB }
{ amount: u274006152000, recipient: 'SP2MYS2F77WK4VGK22EX3GQ6155BW63AJ3RDX8Y30 }
{ amount: u273952306000, recipient: 'SP3NRG8DMXEPD4TMDX18PZM9PCPEH36QEZ83QDZPT }
{ amount: u273897819000, recipient: 'SP1R8YE8TMWMTC60XDBMAT721G2KFW8E02ESN6NEW }
{ amount: u273780748000, recipient: 'SP2GRJ7A4RXNK40WFGRBHAAM5Q6J2NA694H8H9CYB }
{ amount: u273055253000, recipient: 'SP1W4EJF44KX2HJCCQKNEW55KG2CP2KKQFSVNHHXP }
{ amount: u273014984000, recipient: 'SP3BW09FAWK5KDD7MNGHKZRM95AT0XAP0A920JY7D }
{ amount: u272893334000, recipient: 'SP3BND5C8MN455NBP6JM1199EE6NGDYERCZM22ZD }
{ amount: u272549922000, recipient: 'SP9ZWVDMGGFYJF7PVFJC4KJPV1E5ARXGXSTFG375 }
{ amount: u272499985000, recipient: 'SP1R9KP5R7GGM8THF6SAG875GBMAAY9S3SYF2W8N7 }
{ amount: u272343000000, recipient: 'SP2BFMY4K1Q1TWTEJW8M7HSANTS6C3E2JZAAPZCHT }
{ amount: u272264303000, recipient: 'SPAE01B64NVXETDQE8T8T6DM91N3JJ1T7E9AZDGV }
{ amount: u272030875000, recipient: 'SP378E4TG73SJHXS6MYFQ515TV1HRCDA36V5440P6 }
{ amount: u271912283000, recipient: 'SP27V28J3N7B5NN0RR8DHD25VCXVX4ESP3MRNXH1H }
{ amount: u271828426000, recipient: 'SP1V3VDDCVX2XVQ4QJ57ZDBKB6EEEPCW5JY1XYGJX }
{ amount: u271698619000, recipient: 'SP91CGE9XZ73HD79WSPPTYF0N6HHB8ANTMY3PD2K }
{ amount: u271687190000, recipient: 'SPX5XKF8AJMMWZJFBK3Z512ENX3AFZ4VBXY94B3E }
{ amount: u271659600000, recipient: 'SP3PDSF0QR0BC1Y90MXDDH5NJDWB6R7NC1MFAK069 }
{ amount: u271658320000, recipient: 'SP1FFW2E1SNA88MKRQHYZCBHG1BXTT7ATCGP54KZY }
{ amount: u271584934000, recipient: 'SP2Y5M7AXHD542S0SFPBDJEAXP89EWRMRYHKQ58AX }
{ amount: u271310283000, recipient: 'SPBA5EZ4B391DVSXC4EQ25TVP32XC7Q5RX9R6B34 }
{ amount: u271167970000, recipient: 'SP24BZY2Y2AMV8JXJNYBRA394NMF7P8Q5SBCJFSQ8 }
{ amount: u271088852000, recipient: 'SP23402K8H5S3YFE2MDD0QS063A1DCH15DKJYNY7T }
{ amount: u270814699000, recipient: 'SP2A3CKNJZTRYHY7P915R09T3TFX9KATQP083AAKF }
{ amount: u270806000000, recipient: 'SPTNRDHHMDWG0408699CAZG7B904WKWNYKXWRCRA }
{ amount: u270641610000, recipient: 'SP23NAV4SZ88NW73MK2C4XH4BKPW9S7J1ARB63AYZ }
{ amount: u270623628000, recipient: 'SP20PQ9WP8NWDDKY6S8AX3STE2XBZKSD46WXGE582 }
{ amount: u270610000000, recipient: 'SP2B48MXGH1645FC7X7V3WVD2J0EBR52Z3DMZM61R }
{ amount: u270514673000, recipient: 'SP3BH7JK4PBJXGBPPNSTTER6KPXWGWMD2QJ5828KX }
{ amount: u270346740000, recipient: 'SPR5CK16H6C824Z2C58TH9DP69R5GFS94FPN488K }
{ amount: u270028727000, recipient: 'SPTTNZR7MQNK3QPPXDG3K6WNRGWPXB6WVZF4Q30Q }
{ amount: u269894353000, recipient: 'SP2E2155A5SWD2V8W758PDHK8YD6P6GT0G40K0TC4 }
{ amount: u269858021000, recipient: 'SP3B3TMKCX9CQFQXHWXNZSKHDNMX673P7TRTQP0K0 }
{ amount: u269413000000, recipient: 'SP2CMNRFJ14QKHAWQSW6350XD84V96C354XWWD3P }
{ amount: u269356351000, recipient: 'SP3CQ09QEVQRK0HMSXRNSBJRBR9BDDYEZ9MXE59KQ }
{ amount: u269257889000, recipient: 'SP18XPFT1P8XYKVK6TEHYSHJ0EHQQCF11W4HJ5WNF }
{ amount: u269158184000, recipient: 'SP1YDV7QH4RE5G8ZR4MBVW6Z8PVF350A8WK1XB6P9 }
{ amount: u268992900000, recipient: 'SP3BQMZ0JWPSW8F9RRDFB2EKZ7D8K68WB7ATMBAEQ }
{ amount: u268753883000, recipient: 'SP1B667T8FNNHA99N1T9R9PK6Y73Q6DEMFRMEKV28 }
{ amount: u268671803000, recipient: 'SP2G4556R0FTV6NSG98A6ZYYK7V1GKVX83RMNX3KJ }
{ amount: u268641930000, recipient: 'SP2XGV2BFYTBKGMNCE45FYYTTBD42VVZSZH6AJNH6 }
{ amount: u268640449000, recipient: 'SP38KCE6A0NZMBE4VNXE3Z7NZ0634Z10CDRF17B2S }
{ amount: u268214042000, recipient: 'SP3J09ZBRH8EJYEJATCV7E7BSYPE42KKNAGQW00EG }
{ amount: u267827788000, recipient: 'SP24F48XWGDV77H1MTVA5P6S310MQY2Y0JEG80CAR }
{ amount: u267751357000, recipient: 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP }
{ amount: u267643727000, recipient: 'SP2CB29K2WNEMPZQP6D4G1WE54XQRGYCC55GCJ3C5 }
{ amount: u267367879000, recipient: 'SPVWS9RP9S7W52485DV5T6CVVW7T433SV0K4GSF0 }
{ amount: u267346859000, recipient: 'SP1Y54AP1PKTDDVJHCT90R8BF893A4A3F596C1M9S }
{ amount: u267234000000, recipient: 'SP1M6P3BJ7PC9Q64VPYZXJAE87YBMR1EM2QY8AQJR }
{ amount: u266938407000, recipient: 'SPJNAX6P9ZRWAMAXP0BS99AE7HMHDKCTT4MNHM5M }
{ amount: u266788646000, recipient: 'SPJSD5J9JE40GA4TK28PAFRXDXAQ6R9M1ZDBVW6V }
{ amount: u266317000000, recipient: 'SP38C3TDP2JCTDMNTCTQESGM1ARCZ83TZQBJD8HG2 }
{ amount: u266200000000, recipient: 'SP3K318E1QKF7362DC456A85XT90FYBFSHJVM2DRX }
{ amount: u265646562000, recipient: 'SP1R60KKHKSBNVPZQDHQWYSRYWGEXP0BCTKE53DYE }
{ amount: u265553208000, recipient: 'SP5AFB5RM9NTTPVZWM20MQC1956KN6DSDGTCZMBC }
{ amount: u265032521000, recipient: 'SP2V3Q9B94HH79YE8HM51JP52ES1AQQ15FBTD7Z6Z }
{ amount: u265018983000, recipient: 'SP3W8W0N282M29Q4EN7454SQ3SFMTZAB38X1CXS46 }
{ amount: u264812354000, recipient: 'SP2066KM7PV0H6W49D5JSXWZJ45R49DZMFNSQ5F0A }
{ amount: u264761049000, recipient: 'SP33EE24B96DWPT7DH1CRBC93NBPJBJNPVKYG54F6 }
{ amount: u264644013000, recipient: 'SP78G6SEG8EM26955KCRPM4QBS35MAAW0A0AVAFW }
{ amount: u264447566000, recipient: 'SP2R1MGYSK09G67K76ZFKJZQ5XVAT4F61C49HN8HA }
{ amount: u264273707000, recipient: 'SP1PH0715GQ09RT366EE916Y35QRMYNBSDZYQAE9M }
{ amount: u264064893000, recipient: 'SP2RR4YQK7CGKRJ08TA519EMH4DXHW5EDBNFPYRFH }
{ amount: u263893580000, recipient: 'SP2E62ZJM727VRPNWKGM58HWE0BK7JWPQCC57T16Q }
{ amount: u263800900000, recipient: 'SP3XZ85310D2MB8KHDY5Q9R1VSTV014G0GC5JEHRY }
{ amount: u263792868000, recipient: 'SP37ZYX86CXYA9G89NTZ540739H3534FDB728QRZY }
{ amount: u263753292000, recipient: 'SP36H623A62NYN5SKW9SEQFJ8HXTDJP0MTYJF6Z7W }
{ amount: u263658199000, recipient: 'SP3PDHFQ70WMFABQ78NXPM5T7ZKMGCE0WE6YXV1P3 }
{ amount: u263642916000, recipient: 'SP43YG4N9EDS64V2V7S6CQQ65JS21K9XH5VRPWNG }
{ amount: u263446019000, recipient: 'SP3TN2D8CRZ1VF83T2D7Y4BP2HCBN9AS883YXB5VZ }
{ amount: u263385390000, recipient: 'SPNBVWV8DE93JD4T0G4QP091TN39JS7SBMVVQZ0M }
{ amount: u263136218000, recipient: 'SP20RR4T7R9RZWRTS26JAWK41MZM6EKEQCQQ2BF33 }
{ amount: u262978945000, recipient: 'SP226P01QYGJHM0Z1R6WKE8KC6Z41GB4FJ67X1KHW }
{ amount: u262577059000, recipient: 'SP30S89TX1W6RJZF8WZ30HW80HGC9V4ME26APW7F0 }
{ amount: u262138298000, recipient: 'SPA9PWT1GNJW447DZ1XN7565S05MC7JD7JNC2A83 }
{ amount: u262106204000, recipient: 'SP8C8ZZKVWWYRK452KZTTY84K13TNMTVNCE812WA }
{ amount: u262000000000, recipient: 'SPEW121QADGPGEC37JN0RJ7M4GYKTMCR2CS15H7Z }
{ amount: u261932650000, recipient: 'SP1NGQ6SR9SJA6GN0YBC8ZM3XV6GNVKRTG6PQVTKS }
{ amount: u261929591000, recipient: 'SP258HSZACJZ4YMH3Z7D23C3FW5R0WFBEZN3W0AP4 }
{ amount: u261882000000, recipient: 'SP3HS35VMKEGAEFWD2AWNVYPB98D2241N7JR7Z59X }
{ amount: u261577379000, recipient: 'SPWQZKW4H5SYVTY2TTWVMHVYMKS8JM5J0FMNTGN5 }
{ amount: u261289620000, recipient: 'SP04AFBVF9FY6HYTA32EJ52C2XSX01D0H1GEKV7Y }
{ amount: u261133644000, recipient: 'SP2K81REJAPDTJ77C49S7VC97P8P47T64HQV06Z5P }
{ amount: u261041664000, recipient: 'SP3G3JB3V4BDSPWHA5JASKNYNAQP2G8NJ9CRC92KZ }
{ amount: u260958972000, recipient: 'SP3C7S5PGVRKJ6JMM0Q3Q48Q2HG5M3Y6B5C38ZH5A }
{ amount: u260675344000, recipient: 'SP2JR9YNH1BB0B3121KJ2C9Z5DHRAY4FJRJ5Q5HH9 }
{ amount: u260586910000, recipient: 'SP14QNR9D3W256H5YZV7BPP2JC37DSB3T4J7H7BJT }
{ amount: u260475239000, recipient: 'SP1R9454ZECA7KKQYMQ1ZKBQX2D45Z1B295YTT3HB }
{ amount: u260401318000, recipient: 'SP366B21PCJV2PFK913YXFGF83XMMPK51F7DAWD3N }
{ amount: u260127611000, recipient: 'SPG6E41SRHAPDQRNYRWJBS9JRXVR4H065X8TVRAC }
{ amount: u260005065000, recipient: 'SP3FZZESXP3NC5JM9KBZ7X6F5QE8NV39XRR8JQZ1X }
{ amount: u259933634000, recipient: 'SP2XESVQBJMNFZP4VQEBP3SJB69ANZZ2Y67CY07CP }
{ amount: u259893433000, recipient: 'SP1J5W1FN3P80XV1YK14BKC6A912WWFGJSW9M92HA }
{ amount: u259890213000, recipient: 'SPCF7D281S1YZZYQT2H8AZETZ5XW0DXGJKBPJ0SH }
{ amount: u259858704000, recipient: 'SP1E3B53B3B6YYZR2CRQ14VQQZ3XZJAXZFNXJ4HZV }
{ amount: u259782087000, recipient: 'SP15SCPWD01V5AJPT567690PSCGK10GEEW94M67C9 }
{ amount: u259326820000, recipient: 'SP3R16M0T61KT3FP43VVDPNGHKJBFDG5D89FR0QQ9 }
{ amount: u259320089000, recipient: 'SPKVWTBECYZ3WCM2Z4ZTED68VEX9WVGKB8172BSW }
{ amount: u259229263000, recipient: 'SP3F02J5A6XJEXAPS6S42V4KRGMFKRS17DPYX6NJX }
{ amount: u259105141000, recipient: 'SP160M4XVWRPBA2TRFYBKSK3RB45D34WSHYSA667T }
{ amount: u259082396000, recipient: 'SP1QT7V2A7RDBFH7E1NTV9XWB9AEFKXT4WZWTRRNC }
{ amount: u258924634000, recipient: 'SP5DWSZ7S23FVKWJE95ZE499G5GSDFFFH9A8150A }
{ amount: u258901709000, recipient: 'SP2B9EDHADDXJ1T6AJRZHRDSP8TRJF704BBBVM2S2 }
{ amount: u258820482000, recipient: 'SP1CKNBR248ZNTX1B443TSS6FRNNNYQD44ACETE8W }
{ amount: u258564060000, recipient: 'SPQ1JHKNH27E1T852SBQ6XGHX6M2PGE9BX7P20YZ }
{ amount: u258039814000, recipient: 'SPZRWJAJMQYV7Q38V4MJTFKHD0GGDDX2WVWZZR7P }
{ amount: u258014765000, recipient: 'SP3DWRXD0VE5R4GZKJMNRT34Q4E6WG3MK94K3STM7 }
{ amount: u257939936000, recipient: 'SP2W949E6F5SZWVR5W97QF5HDMJWVKMP8HJVDZV6B }
{ amount: u257718507000, recipient: 'SPB6C3SGC28CRFKC4NNW13P8GE11VFFJWZNYY407 }
{ amount: u257702141000, recipient: 'SPJ2S2JWKZYT9KT5XBKV05W0ZJZSSA2Z2TKTDY4T }
{ amount: u257619758000, recipient: 'SP164CQ6D30086WMRQ2T669DSWSJ0101HQHGHHX45 }
{ amount: u257391414000, recipient: 'SP2VYX11YTQHRQX26A1Z2MR4PJ3ZY232Q16AAP92B }
{ amount: u257320391000, recipient: 'SP18PPPWFXM6Y10RK712CYZNQ498T1T3PGFX2ZGGM }
{ amount: u257144221000, recipient: 'SP353APRXCTBKYJV1QC54ZTTGBCM3F68QQS5DFG6S }
{ amount: u257074000000, recipient: 'SP1AYYEQPWRFKAQGT7H65D5QZFVVXDM09BWTRNWK1 }
{ amount: u256771287000, recipient: 'SP3RQ6DMYZJ5SA7HS3RWWYPJ7A8SSJ25NEBCJVDAV }
{ amount: u256571733000, recipient: 'SPT4QSFTPBS8B2QX9VCQ6CCYM5RVNHF1FY45WT0K }
{ amount: u256564764000, recipient: 'SP4H6BPJAYM8E1PWGHPSEXS4YPX7NW82DAW26R5R }
{ amount: u256376582000, recipient: 'SP2TWS7M0NWRMZG0X505SM2CTV3RQT445AZ825J9Q }
{ amount: u256290213000, recipient: 'SP3ESHZEK74NAKHKYY48X2MPYEFYK6WJG1N5W4821 }
{ amount: u256276701000, recipient: 'SP2Q3Y3J3408EQBN1FTHK0W602WTZ3BEH22EEA5FS }
{ amount: u256134249000, recipient: 'SPDFJYDQA1P2XPSW31DEDHY2SMGZ870NW4QGD8T8 }
{ amount: u256087577000, recipient: 'SP3D61EWB72C90RV1E6RSTYY8C6J9EC1DXZ72NAAS }
{ amount: u255797955000, recipient: 'SPBGEW0Z1VTAFGFQFW7ASFF40NJ11N1RF44XJJGN }
{ amount: u255767428000, recipient: 'SPV92GSHHJF87NBCRE93S1C8JB1ASX1TJ20M64Z3 }
{ amount: u255534514000, recipient: 'SP1XNJJSTQK1KBCECPD99BWJM376HGDQZJ70G6ZY3 }
{ amount: u255498504000, recipient: 'SP4JNHJB6B953T1S2GZTNYGJ3PZAHG12NFZY8GPF }
{ amount: u255444862000, recipient: 'SP2RQVZ400ZB5934BT9P4T0D34EXBWRX0ZY44YNJV }
{ amount: u255204598000, recipient: 'SP1ZNBMGPB34VZQ4C5HDWFXEZCC2B3BQYS7QP0P97 }
{ amount: u255033897000, recipient: 'SP31PP9YWR6J04RA084ZRMNHG3EFDBK75ZEMNP0ZV }
{ amount: u254821670000, recipient: 'SP3FYW28ERZTKSY64H1EYM8C70G3FMAKMC681DZPG }
{ amount: u254694441000, recipient: 'SP3TE2NJT6C38YKCR9KTWZ986MQJ74MAH26BW1WFB }
{ amount: u254622113000, recipient: 'SPYJGR8NF53AXEJT1TK7HJ56TY751E9BB98QZDFX }
{ amount: u254546020000, recipient: 'SP28CAMM7AQ2WJ7A02SXCZBZFQZGVGCK88HNBBK55 }
{ amount: u254531839000, recipient: 'SP1DB1Q1864YTB0PXQV0T2MPM0NRARAE7S841MHNV }
{ amount: u254007350000, recipient: 'SP14JRADDQH2HB845S0FX4VEWK2KAW2ZDDGM59YTA }
{ amount: u253597252000, recipient: 'SP2C9V3XEHZM2ZMB24KK0H4KJS1Z6RAN887MQ5K11 } ))
(define-constant batch-19 (list { amount: u253490782000, recipient: 'SP2N7VSJ2DT9NY438G3VDWYFP3WWBKYN46GQPHH6T }
{ amount: u253396000000, recipient: 'SPZ9JB9QMMXQ3YESNTVV5ZYV0HAAK1N5RBDMC5CE }
{ amount: u253388403000, recipient: 'SP1JDKVXQJX1JA92AXWXQ260NX1YHS0VP1Y2E67PA }
{ amount: u253317332000, recipient: 'SP3NA3HFHJWJVMVRVVH0J9SWNCEZ22BG9KHYZRRCP }
{ amount: u253266819000, recipient: 'SP341JDD7WDTPDHP13ATH2PDCSE8X0CQAHBCDFQH3 }
{ amount: u253195077000, recipient: 'SP2SB21VT8H5XXS5D16TG285BTH61K6Q8K0YXJK84 }
{ amount: u253142350000, recipient: 'SP2N3TH7GCY817G8YAE2NKGM0XE188827TB0FNR86 }
{ amount: u253075019000, recipient: 'SP2P5W3FWFY2ZDQXDHJEYYBW4XMQ6HKFXW850R2T6 }
{ amount: u253051000000, recipient: 'SPPN6FK8DHDGV6CGR5CKQ7HTZ5S6DZFBHH9AR3A0 }
{ amount: u253019331000, recipient: 'SP3Y52ZCRG895TC9YY4HCK844X4A6WF9BAB3NDMT }
{ amount: u252858728000, recipient: 'SP38DCJNW95YF7ATQ6PYMGKW4T8KD5WX05DW3DYCF }
{ amount: u252725614000, recipient: 'SPC2Z30W8R28V52TR218CWRBN6EP2P5TZ4VW7M1V }
{ amount: u252686455000, recipient: 'SP27Z117BT8GB92V63MN4H84P7BHJXZB6R7SY3W4J }
{ amount: u252678810000, recipient: 'SP2M3T8CNZ0DZSVGVNMQWXHNN3CJ52RKRE5E54QGV }
{ amount: u252649327000, recipient: 'SPB2SQG41GHYXDSDNGCPDNH6X9X0J95S4BWW31P6 }
{ amount: u252630176000, recipient: 'SP2464HXW0SAFY4X952PBZ55Z3ZQ5M86T5FHJBM14 }
{ amount: u252456940000, recipient: 'SP1DBFF0M9AJBH4WEFC99CQ7Q6VKWKJTK6PNWEPDF }
{ amount: u252307585000, recipient: 'SPP3516C5EXYD5BSGK51XWEATJ9CZ9ZQVREN2N7D }
{ amount: u252243273000, recipient: 'SPY9QXTG2HG2GFJ36EE4ZB3W8QH7JHKA5P9EPB5N }
{ amount: u252112295000, recipient: 'SP2HVN376Q6CY32Z3GJ20277R3E5N50RMMVBYJMTQ }
{ amount: u251847000000, recipient: 'SP37JRH839H5AX0Z60V4JJTQAGD95534JT5AHX7YX }
{ amount: u251846788000, recipient: 'SP3GPDPASF9KBSJ5AK0AJNKHCSR0T1AKBEZM8F9Y9 }
{ amount: u251297487000, recipient: 'SP2HZZC8Q71W1AQ28KDQ1FT0ZQR6EHHKYTBK0N0B }
{ amount: u250882574000, recipient: 'SP26TBB9VVVWY2NY1AXTYG161GACNAGM46PF01E0S }
{ amount: u250874679000, recipient: 'SP32RC56M7E6029NVFV1ED114ASYA1Y0WRMSTQ6ZW }
{ amount: u250712917000, recipient: 'SPR30KK2JTWVPM9ZB3EE05H8HFDYVSHDNKVFXJ8G }
{ amount: u250574695000, recipient: 'SPJ486DX4DG4QVMDDYXVE84JNT2W26SHVZ0ZZ8QM }
{ amount: u250354938000, recipient: 'SP3WC8V7W304Y7V5J4Q7YGM2ZP7AVZXBEJT1FXNHC }
{ amount: u250178010000, recipient: 'SP1Y7D753C87A1GRW0RGQSK461A8EQHWTAYN57G9N }
{ amount: u249980027000, recipient: 'SP31FWJ8T27P2G0WH8XERREX09914DRZD6QVFMD6X }
{ amount: u249885204000, recipient: 'SP2410YCCWEFF99XHCNGSBDC60WBWXFC8B5433C56 }
{ amount: u249868837000, recipient: 'SP1C33A1E45N9ZEZ6Q1G22WPBC85SBWE12X5YF85B }
{ amount: u249846805000, recipient: 'SP32SRPYW7S8CW5WE488CVPCE5YD8DYNWYW60GTBJ }
{ amount: u249600000000, recipient: 'SP16FVCB5M6WTHJBDQYTH0E9WA6WJZS8GXDTXWD9A }
{ amount: u249587577000, recipient: 'SP16G8464X14XD8ASDRW1FV1X0D7A9C24ET8AQECX }
{ amount: u248910217000, recipient: 'SP2GSXQZ8GVYEZK9F68M0DFY31M4XACD0MX5WWJS7 }
{ amount: u248803000000, recipient: 'SP26C83VQ7NS9B0H9K54BF6XF77PTRXP49F78ATCW }
{ amount: u248640824000, recipient: 'SP30MJZM7XEETKEPC2HA25TDE78YZ5TXNV10SWR7S }
{ amount: u248379797000, recipient: 'SP4J8XS5RXFXVVHYA2S5KDDD719A237NHNFQW511 }
{ amount: u248302927000, recipient: 'SP3B5XKWS7612PAJYGVFYM0SFQ12EF9BX32XABY4K }
{ amount: u248074966000, recipient: 'SP1V0WTFRPTPADF8FFQXWX6CX97G134JTBZJ8M8WB }
{ amount: u247720996000, recipient: 'SP2MDXV0KDZQ0460YR2211CXA3X6XC3Z0YRCTC5AE }
{ amount: u247593066000, recipient: 'SP896BVQEXXR8CET4N283MXS0AY04BWZR9J9AS3W }
{ amount: u247478951000, recipient: 'SPEFQW02E2S5RT99KT59HB1BW2BNEJN7RBJQEVPT }
{ amount: u247240260000, recipient: 'SP20V6MK9ENA7JH8YDS7ZFY0DQS5Q9SYJ7D2PV977 }
{ amount: u246800000000, recipient: 'SP2MNWP95P23PCBAK8RF7Y1N0Z28JDYMFHGB4A1YF }
{ amount: u246648660000, recipient: 'SP1VHM82BRRTKEKHKPSJF6NZWR6BM0RZ8R4G4Z4KZ }
{ amount: u246622750000, recipient: 'SP3W83KG17KJZZXPDZQDTRQKQRGHNFZN410R9P02E }
{ amount: u246149816000, recipient: 'SPMSK5CMKVS2Z0F817CCJYSXM6F7R7EQRMWBHSDH }
{ amount: u245980745000, recipient: 'SPB3HKDB953PZ54DNF6A8QXJ105Z4HNSFMKTB8EQ }
{ amount: u245945340000, recipient: 'SPDH5WNPBWBTQXV8EVJETTCTRCRQFDE5J9ZMC858 }
{ amount: u245791351000, recipient: 'SPJQYHZBXRK6NHP7DCQG8J7C5J8B2W9WHM7TZB7C }
{ amount: u245706615000, recipient: 'SP47WBY75PFW65AWHQBVEA90JGPN3SAEE1PW712X }
{ amount: u245465240000, recipient: 'SP18KSA52Z6ANMTR7K1T2KK3AFTWT20FZ6NQZSFGY }
{ amount: u245269070000, recipient: 'SP2CC2B9B6H5VJ72F4X9891HBKK5900F77R2CQSRR }
{ amount: u245150297000, recipient: 'SPMT9FD1RSGHWT04H3EKCSGK03KAN3NFNWRPW5PQ }
{ amount: u245055596000, recipient: 'SP3TS57JPZKEQZRZ80EW3MGYGEVKAGJBDVDBT0BJ6 }
{ amount: u245016041000, recipient: 'SP3F3J6H50380NJ86E27WXS6CB1F4BTEM0T9AH0ZP }
{ amount: u244992906000, recipient: 'SP34T0DS0ECN32J0JK891YP6JQ8VZDHJ98MPR74GX }
{ amount: u244853000000, recipient: 'SP11MX0YGP8EDTDAFFD0CH18ATG3ZQTBMKDWAJG4G }
{ amount: u244672642000, recipient: 'SP36DJE3AM7Y4C1N0128EGE828TC9MBF5F3SAW2K2 }
{ amount: u244655387000, recipient: 'SPF1D418RN8RX2KE0MS7B2FBHHV9S03W52GFKGA4 }
{ amount: u244538749000, recipient: 'SP1ZX9KG0JF57C520Z7JSHA8VMPNKK8SJZ91SY4FH }
{ amount: u244257706000, recipient: 'SP1CC4F8MVMFKJ3PVMGXJZEC2ZCPV6MMGVF921Y3M }
{ amount: u244114298000, recipient: 'SPAGTFKSEGP553CSP86Z7W3K0XN29PG7E5GND33F }
{ amount: u243697314000, recipient: 'SP3Y9SWNSPDX6K6TFCFWTX3B3V4K3GB7KXB669GT4 }
{ amount: u243338000000, recipient: 'SP3RB6TJ8E767RPJJVTJYRRKGRP7A5WGCXX5TF8R9 }
{ amount: u243032556000, recipient: 'SP17D2C9PE4WAV8J8GAY1DBWZ9G4KQY68KKMFC9CD }
{ amount: u242913922000, recipient: 'SP12ZE1S4QESFFR9ES2XGT8N0TNS1DYC1292J18YD }
{ amount: u242627287000, recipient: 'SP2T4GYVT7RBZC9HJP7C3N8Z1XMJVTHNRDRCPGHKV }
{ amount: u242318461000, recipient: 'SP2582J1E7KG9HRHBJKGVW1CYTDQXT4CXQ40PEYGK }
{ amount: u242300000000, recipient: 'SP242EYG60RDPPY74JSZRZGT3VEAZAVY2XJ37HJW9 }
{ amount: u242015663000, recipient: 'SM186Z8H9A0MGF76XZK3R1A5V0CTZ7H8GB43VJ2E7 }
{ amount: u241927981000, recipient: 'SP2JTT17GE1WWZ7FVWCGWC6HQTMDARYWY4C42G571 }
{ amount: u241838727000, recipient: 'SP1FG986K6M9Y5WGZZBS6TQ8J9C81Y5PCJJ144N04 }
{ amount: u241670905000, recipient: 'SP3NF477QQEWKDEN9TJN6TKDGE9RKVEJ0MQK6MCS2 }
{ amount: u241579723000, recipient: 'SP3P5J8YMA3WDM8HAPBT8QZBD7QEQ2CB8BA6HYNDP }
{ amount: u241343809000, recipient: 'SP3GY3JQJPNYP26DVZAJ6VA3NMMQNQDZRYKCT2C20 }
{ amount: u241215526000, recipient: 'SP2XSH77HP616VKM6SV83KAV0G5D3M6ZTM3WM7PFZ }
{ amount: u241179296000, recipient: 'SP3N0FHDQSHB9NQ37SJJ882BR4WSDQAXBASA3EDYB }
{ amount: u241121496000, recipient: 'SP5KDKT05A5357ZFC4EBZG9Z0G78MD4ATD0B68PC }
{ amount: u241117125000, recipient: 'SP2TTA56CYTESFFME2T2E3SYWPKGFHB3W06JD0GQJ }
{ amount: u241098158000, recipient: 'SP235D9Y1FJP5YNV05X1D0Y6J2A6Y3N8Q28NF1RX6 }
{ amount: u240670108000, recipient: 'SP1GQTT9SBEJWMMB4HE1KG4B0EDZW442A5YPSM4QW }
{ amount: u240562472000, recipient: 'SP3E5RB8B65ZXXC9TFEJRB7W95YY7D1PB3H1M6XFK }
{ amount: u240296208000, recipient: 'SP3J388ZCDKEK72VMXZ14VKE2XQX37HQWDPTE704K }
{ amount: u240221511000, recipient: 'SP3Z4E9V93AW8XSRNVXHNKJMPG419R9MJ864CNMEQ }
{ amount: u240061409000, recipient: 'SPWX3TBR73WMTDZGF679DW9NGVXSYQCBVG7V8SJG }
{ amount: u239999713000, recipient: 'SPW0H0NHXWRVRSC73RJB3ZDQN1CSJM7Q9PXKKM8A }
{ amount: u239988949000, recipient: 'SP36KQ8XK86KXAHMG10ET1HYRKQTV64PNF23QP9XG }
{ amount: u239934918000, recipient: 'SP23DYBKECF0DHP8P7P2KYVZFHM768KXP8JCKCYRR }
{ amount: u239926771000, recipient: 'SP1AM1J2VCJ1B36V0X4095EYA5FRG31ZP496311XN }
{ amount: u239696169000, recipient: 'SP3RF5JP1VRH9PJT74RR3DS5EBFE92AGYZMZYMSP7 }
{ amount: u239610133000, recipient: 'SP7AVHZX1V21N9HE2ZH6NX3BYPZQYHJWVVHZ17BR }
{ amount: u239538099000, recipient: 'SP2SM3T2DGXW8CMB6J8GC0EH71ZP283PDEAYDJ7S5 }
{ amount: u239450639000, recipient: 'SP3CVZKSVN36HQ79VVHT4EDN7X91EVQKDMP51TC5X }
{ amount: u239379411000, recipient: 'SP16RB0P99SD9PKSXP5XWMHQ68HPWR3M5EZRN3MNV }
{ amount: u239084796000, recipient: 'SP3Z9K9ZKQTHMG380N1WQ70RWPP95Y8T6GSZJT20E }
{ amount: u239023756000, recipient: 'SP9A1MV78AXJDRVH81H2CWXB9Y69AFHZ3W9QZJBR }
{ amount: u238798091000, recipient: 'SP8SJ1K2GX8C6EGM0QD49VAHVC4F8XHAWZ9KX1YJ }
{ amount: u238793714000, recipient: 'SP2K3RR1Z0M3FJB109P2W147J5C0G2YFY42K1C1JW }
{ amount: u238527778000, recipient: 'SP2Y3A083SMNRAG0KD5RPYQFQZBZ2K2KH4PQ3FP01 }
{ amount: u238446322000, recipient: 'SPTETNN57BDV0X796ZVW41B5VVN99JQRDH68Z5W6 }
{ amount: u238360980000, recipient: 'SPQFY8GDC8XXR30RGW2JCGCFG42TFZQP0K3QQY6A }
{ amount: u238187618000, recipient: 'SP3QQYD6GPN9Q76YX7WRA7EEWK1JC3A1MES92J452 }
{ amount: u238122282000, recipient: 'SP3CZQTKBNT6CXEXJ3VJ46T83V439MPNV4J77PYZD }
{ amount: u238049726000, recipient: 'SPHQSRNGTFMSXYCMSBZYMRM9HCD6202TPST4APX3 }
{ amount: u237887785000, recipient: 'SPKNZTDVZ7N936HQ4DY5RXB7QK8JRNQ930CYE4B0 }
{ amount: u237835031000, recipient: 'SP2SC3WMHKS3EPHJ4RKC1HP9AY1AGT5H1WV57HA31 }
{ amount: u237716654000, recipient: 'SP1RZA4GCAQMTF70MMDJARNGN3VFA2XPJXABRSHN4 }
{ amount: u237698000000, recipient: 'SP1PRMT4X463S2ACY3MKF0AMTACPJWVCWXNVSP4B8 }
{ amount: u237686788000, recipient: 'SP2PXRN4DKCD90VC1WWS9VEGFR6R3Q30WFB1KQ7PT }
{ amount: u237649168000, recipient: 'SPGPJ77F19T4DGNE59DHN8TZJ7TXQPXGAW6W549H }
{ amount: u237355404000, recipient: 'SPEPSP99786JRCYN4CSCZYQZFAQNTCVTMQ4B5S2Z }
{ amount: u237331822000, recipient: 'SP1GH4GTDAC39WDFPT3MKBRPFAEZH4W3ZYF1808PB }
{ amount: u237232000000, recipient: 'SP2Z23DN2500R03RWA6KA63JYK1MTGB55Y3NJ1T81 }
{ amount: u237103755000, recipient: 'SPFMTSBRGBBZ5B81GW9X2S78QNS2XHB5CWPCRQ0G }
{ amount: u236658157000, recipient: 'SP25RG52CQVD5CG29K5J0B1CRMSX53YQC5J0PXWD2 }
{ amount: u236532016000, recipient: 'SP3KJVPH8QNHMRZNSPW8G5B0BS5752KFPG1HQGE4C }
{ amount: u236475111000, recipient: 'SP4XVT4X4TXDBDY3G6TKP8RGRVRZZFW5WJTQ4JEJ }
{ amount: u236407069000, recipient: 'SP21JTEABHK6KK6ZFR9AFDA02GYYP984T5QVB9ESQ }
{ amount: u236271753000, recipient: 'SP3FAJKK4E921JF11XJ2J4QESG5ZEXPYGQBYJ1FQ5 }
{ amount: u236257784000, recipient: 'SP3QRR9K7SWWJZRDY8P9T61ZRFDAA37N4VHHJK0K6 }
{ amount: u236046444000, recipient: 'SP7QX8S0GE2EJFN70FQA20D29F1KD7DDCYVEZB8B }
{ amount: u236041374000, recipient: 'SP1PQZGKTB2Q3NMKX1F8DQP61R5NJ9346X3NQQ47V }
{ amount: u235967195000, recipient: 'SP1WK5MA8RPTT10C2EQ4BEQYN3BBEYY8MCY5FFKRQ }
{ amount: u235889000000, recipient: 'SPQEBR8V7H6A7GAEF33P30G76VGY5VF6GQEDEF9E }
{ amount: u235793181000, recipient: 'SPXSA9HZ1R4M35VQM1JFZHBT49148GGYYK49GHFK }
{ amount: u235757433000, recipient: 'SP1KNRNZET8ZC5Q9P6F1FFW8YQH45CKMNY132B36S }
{ amount: u235555314000, recipient: 'SP1AQ2179F6VMXXX9DCVSQ389CXBNQMX5YMQQNH6B }
{ amount: u235377300000, recipient: 'SP1DFAMB0QV9D651AVER1QNG4BXWCDFTFRH3GWMHB }
{ amount: u235252286000, recipient: 'SP10185SBC660XN9Z5EZKA5TRJZR5F1SG6FQKSTYR }
{ amount: u235150605000, recipient: 'SP2RNHHQDTHGHPEVX83291K4AQZVGWEJ7WCQQDA9R }
{ amount: u235147153000, recipient: 'SP3T4H1B9MZJDVXW7A89ARWHCNZHHS8Z9744N2G5D }
{ amount: u235046184000, recipient: 'SP2YWZZ9QMAN9C1EGPK78TGGW5D14BJ62W7GTTX3Y }
{ amount: u234896771000, recipient: 'SPVRVDN2ATHKFM0H8GJQG3ZB8G094PQ8H9T8XC4Z }
{ amount: u234819839000, recipient: 'SP3JKVJE1CF7QX09H069R6G8E0HXNQPYQ7QVFY336 }
{ amount: u234771682000, recipient: 'SP3FPCS68E4F1QSXGB6PP6PFVGJH102S21K3VMDQ4 }
{ amount: u234661221000, recipient: 'SPDXBSY9JGVWP2HFQTDNZ3CSA8XHGXEQ1WH90RWX }
{ amount: u234646608000, recipient: 'SP2DCWWWXX50RHJDRQM33F36G6WPBM83VAA9HVJ9 }
{ amount: u234630859000, recipient: 'SPBXEVW61TAX34CNMYDTP7KYGR6MT9QSJ961TA25 }
{ amount: u234539879000, recipient: 'SP3KHTHEDJ6P9R33RT1P703JWAMS3MJJQ0N9BGQKT }
{ amount: u234168191000, recipient: 'SPXKJDCPA5ATMXA3C4TKTPNSBXX1PTZDSHE538N }
{ amount: u234159881000, recipient: 'SPP4F95KJQPSSN0D9RFH5466G6HAAHJ530XS7WMA }
{ amount: u234158487000, recipient: 'SP258DXR8HKRDN2HGWJF7YVWGC1X6FF7NNCSJ8BFG }
{ amount: u234066160000, recipient: 'SP26NRY439JBCCH844GY8PRTSFNQXA3FJDH1HMMCS }
{ amount: u234010922000, recipient: 'SP7H0ZZ9KSKPXQQ7D227VHFVJ6BDPYDDBK4CRGZ5 }
{ amount: u233890565000, recipient: 'SP333MDV8KVEZFN090W6TSKYG5WF70H8R679E8ZER }
{ amount: u233692984000, recipient: 'SPWVAYN03DT2752QG1F1XS46J5DWXDTYB6QRAHRY }
{ amount: u233511600000, recipient: 'SPZXD4CCTE8P78GCBFCJKF8FJW4HH6RQ3KYT9GJ1 }
{ amount: u233416910000, recipient: 'SP1XZCCD02ZK2H6H3CP1C2RY8VKTPA5TXV2RS5K5B }
{ amount: u233347428000, recipient: 'SP1RW136TJ81E9DTNH4346Q13ZDHGYVHRDKVYW4YG }
{ amount: u233301220000, recipient: 'SP3TBDTD2ZQFCWQHBY2FY5S23S2Z000ST0SBD4ECX }
{ amount: u233156000000, recipient: 'SP3RYA48ZZA0XRPAQWA29VZK67ZVQXW9XM6C0PYW9 }
{ amount: u232942624000, recipient: 'SP1XGQNEBDY7EYAY7KYNG1R3EAKECR2QNED7TNS02 }
{ amount: u232757310000, recipient: 'SP9K25J3703V9C36JJK6A49B54F4C8G0XRSSY0C9 }
{ amount: u232703159000, recipient: 'SP2ZA6B9TVA79JT0DGXV6N99D32RSAPWD6GVJF1NN }
{ amount: u232379814000, recipient: 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP }
{ amount: u232316933000, recipient: 'SP26RDX88QA28W1G42QDXXK7W2VB6DCM5EJE6BN6R }
{ amount: u231791847000, recipient: 'SPEN20JKMQ63XE225FMDCTVCMCJ3D45MMAV1C3YK }
{ amount: u231790842000, recipient: 'SP2AB5T8CGEW1358JKC7RGBWHSNPQDBHHETFS4HDS }
{ amount: u231684019000, recipient: 'SP7GPMCJCERGH9HXC3TSVKXDT2ZQ2KDP4N3P2E6S }
{ amount: u231580093000, recipient: 'SPNX4CRP88C2TYBMAT3YG8Z1N2DFSJP545HWF32G }
{ amount: u231548648000, recipient: 'SP2FCCGFKAVX8RHFEZH6R1J6P9J4BMK3673YFWBAN }
{ amount: u231438000000, recipient: 'SP2VWM7R2ES86F05JFDHSK61C31J2NXDAV59FST79 }
{ amount: u231336000000, recipient: 'SPZ5GKHVX6KPDBJ4C4901MPC0TAQ69W7QYRCNRKW }
{ amount: u231294392000, recipient: 'SP28QY2NN3KEN5CPVFATA2K6ZXN4A7SM3JC9G897 }
{ amount: u231198308000, recipient: 'SPM1HQ0E568ND63JD7MXVFBSSS43TXPB4SVM2FGX }
{ amount: u230774638000, recipient: 'SP1DY9PHP19TB1N4A8Y8116B23WS44T6YCNK86WWS }
{ amount: u230402282000, recipient: 'SP4364HB48H2YX9MGD8D3X8733PAD1GKJYCKEFJG }
{ amount: u230259842000, recipient: 'SP399QZ4HDXRFDGDFM8CC8BRD9CCQRN45J0F7CM96 }
{ amount: u230179908000, recipient: 'SP2ZAVD3Y4RHYK9Y8M4AFJVVS588F1X2K4Y2PV8WS }
{ amount: u230117353000, recipient: 'SP1W4WC3DGZ2YYKNAZNJ80F621R11FAPZGGA4Y2QH }
{ amount: u229637582000, recipient: 'SP1RPVQR2YJTJ0ZG44NT97MRFSREQB7CM9AE1EK87 }
{ amount: u229516530000, recipient: 'SP1Y289WWC4HCSCQQCBVWCJM4BTWC2Q6EEW0ZCYKS }
{ amount: u229462606000, recipient: 'SP1597ZJPC7EMPX0X5GK5M70X68VNFCHJ9EQ8G2DW }
{ amount: u229231568000, recipient: 'SP1B6KTQG0T885W3EG0MNV6D4DQ2WBJW7GWVXX6JQ }
{ amount: u229201711000, recipient: 'SPTRPW9SPJYB131TG19B0ECKWVBQMXE8DK9RXBM9 }
{ amount: u229195790000, recipient: 'SP2T4SJRBCF63HJVZBMXEK1SZTGKHY4NZSXE3TF9Y }
{ amount: u229088996000, recipient: 'SP1T8NWHGM5HYSC0JEHYW4VQSM4CWCCNN47HQBZRT }
{ amount: u228984000000, recipient: 'SP2C8BM6SR5XEXQABWSJ2YF4GK3TRJN2TM56CJZS9 }
{ amount: u228827261000, recipient: 'SP79X9MWB1WB9Y6TKT0Q613ZTRB6CKXRDTNH5JKZ }
{ amount: u228382932000, recipient: 'SP6HMJFW909BWF37P4EF5SXHT4AYW13CYB72WHF1 }
{ amount: u228228526000, recipient: 'SP28SX5ZZ42EA3MMFEA9DESQ7S2SABAG64H9CE32S }
{ amount: u228170373000, recipient: 'SP3YRDG283NHSGAQ0B3WC3ZMQS5KH10SBKDM3PJ2N }
{ amount: u228085078000, recipient: 'SP4YA1G5WAP01J9CJ1TGS92ATF3PBGCFN9X4NC3K }
{ amount: u227851267000, recipient: 'SP3G3QJ8EFR3NTWSNW1C751V0Z8NAR0MDDND6VXYN }
{ amount: u227164557000, recipient: 'SPTQAWAW8CWKFJ7M3C03NKSM47ZTXG84ZQ5QXZR6 }
{ amount: u227155024000, recipient: 'SPQXVC43JF8E0AK2QN90KV49AKYVGZATE1V0GBHN }
{ amount: u227131752000, recipient: 'SP1TXQ4A0SBJ0G0PJC2C04BWMWRTNWJ1YGSSX4EXX }
{ amount: u227032013000, recipient: 'SP1DF9XKQ4CCH7QCCD212XCEFHSTN83VG2NMPFEJG }
{ amount: u226981978000, recipient: 'SP1GJM4QFZAYF6SX5CRFRGTH8RA1TGWC1YPG2R0NN }
{ amount: u226928354000, recipient: 'SP1PSMKNEMJJDXHWQ0Z3XP3GW46GNWB5TB6PY5080 }
{ amount: u226355251000, recipient: 'SP3X36NBVE9NH59A62PVEEJM40EWVP7RK0WB5Z21C }
{ amount: u226199609000, recipient: 'SPG99H6QT1WVD42FMRE3X4YT65EDRSXSFMP0JB6N }
{ amount: u226028371000, recipient: 'SPVW1D82NPCW4GQSVPR08HHWD390YYHFAX5KXE3H }
{ amount: u225933762000, recipient: 'SPFXNR87SDC5G43Y03Z5TC13YR1ZDH079E4EJMCT }
{ amount: u225879103000, recipient: 'SP16YP44TPJGKYP0KMBWAVTQ506SXJCMR621KFP25 }
{ amount: u225859532000, recipient: 'SPX0F7A49MK69YKY18QJ0SJ4DM68GJNTMVQC050F }
{ amount: u225756264000, recipient: 'SP14T8DD192W53A4STAWRHEJHXXVQEJTCNK32E20Z } ))
(define-constant batch-20 (list { amount: u225295966000, recipient: 'SPAKA07TZQEV5PE32XBAKMS9KQ9Q44YFE4SRS1H7 }
{ amount: u225207930000, recipient: 'SP1JBVP3VZEAPNW2M2B9WAD1QM3YPG52GYXEXD9Q9 }
{ amount: u225181400000, recipient: 'SPVGHVMWEE5PE0PJPQ0XVKAGCM5VRVEMSYKB3VY3 }
{ amount: u225154000000, recipient: 'SP1F9MMS0VX42A40S1WRB0D1C5TPNC579NZHZPEA2 }
{ amount: u224934840000, recipient: 'SP3D47GY6M2HFF0V0TBP8SCZ8JNWAJTEDVAV1JWQA }
{ amount: u224904937000, recipient: 'SP1V7NRPKG7XHGNBZ5HGQ42SM90VNF2Y5YXY0RDA7 }
{ amount: u224686932000, recipient: 'SP17M5MK2BAVPGHF4N36MDJEMD581QDS2PKESXZTJ }
{ amount: u224630617000, recipient: 'SPV8AHEK6RHVHP5RBW8Q8C6KJQS2YNSQY4P42TEC }
{ amount: u224119095000, recipient: 'SPCVNJKD0P34VMGJJ7E13ES7JTP9MHGFDYHCWB13 }
{ amount: u224116071000, recipient: 'SP1SWR4WRKF0ENYNQT2YNXY85C4C7ZTV4CZ99QHSY }
{ amount: u224101963000, recipient: 'SP2F8ZMEPAN43EDHGN1X7SFRJWSSQ48THCJNEF0DR }
{ amount: u223986720000, recipient: 'SP032RKGTT5RYXQXN9SS1DSGQX5WGGG79Y9D88ZC }
{ amount: u223737234000, recipient: 'SP288XP2RHTYK86S3X7T97BD27MRSQJG375J4CZAV }
{ amount: u223718088000, recipient: 'SP3FZF6NCYRCC1SWQDET23EN5PBJA29X51AXZ0PWD }
{ amount: u223623903000, recipient: 'SP1VWSDD0SS74R2T28NY07J84CV78GX6K7Z0GEBYF }
{ amount: u223530534000, recipient: 'SP2G3KRK8JRJTFYYB3THX8HG11K43QKGV00RFR4CQ }
{ amount: u223451208000, recipient: 'SP36HPWQQKBHTVRSAYEYGSRV97YFXGD5M5VA1FMTP }
{ amount: u223297938000, recipient: 'SP27DW6DDVSGF5AGRNSZZBXDX99CN6Q647XEZTFES }
{ amount: u223063213000, recipient: 'SP2YE9M4S464FNZSANXM0CTPAJ57XCJEYAPYMDA7S }
{ amount: u223042735000, recipient: 'SPF9YDTE8KGCN9QF7TDDK1XPDF6R6D2PRZGP5YS6 }
{ amount: u222954886000, recipient: 'SPG071C251M5XJNZE9PSRACDD6YRBR3JF89E95HZ }
{ amount: u222953985000, recipient: 'SP1YA6F9B9F3TJP1QJDGAME5JTRHDF7PG8NRMR2WJ }
{ amount: u222813320000, recipient: 'SP1YNHYY29WVRTC3VMV46QGZ3ASF2G719FKX00V37 }
{ amount: u222776413000, recipient: 'SP3SKSRSX0PW6Y46GE8Y6FVP300ABAQBJ06EAPK7C }
{ amount: u222775634000, recipient: 'SP27N4S56AMBMVNFB6N1MXR064A496RK18Y2PQ3HY }
{ amount: u222750500000, recipient: 'SP2BM0NT4N85EZ2PSG2BD8ZBGRMX5BFA8VJK8R7G9 }
{ amount: u222615303000, recipient: 'SP2G325EX9A1CVWZRQSGPEJFV75GTWZ7132DCK4D2 }
{ amount: u222409195000, recipient: 'SPXWFCHVQFWGRC45APPB1189JDA8G9PZW5Z87BBT }
{ amount: u222393069000, recipient: 'SP2A2G4DFJ1G5HR7NPZE2G76EAWQ1M95B0NS03M41 }
{ amount: u222376485000, recipient: 'SP29MG13R8JZEHKN6V5H31M5E7VNGQBWZWYKAJMW6 }
{ amount: u221959240000, recipient: 'SPGWV35H748479WKBAXQY0MT6KZXQ948W9100M5A }
{ amount: u221890640000, recipient: 'SP2ZXKCWAVTPTYB7VYJ30Z5V8FQGDY3MEARYWE548 }
{ amount: u221819000000, recipient: 'SP1Q62AV3EH2Q0M7245DJ9SYZVJKP4Z7CWRCPHME7 }
{ amount: u221674173000, recipient: 'SP92KXB80J0THTJRQFM84K5GK6851433GWH77V11 }
{ amount: u221644121000, recipient: 'SP39PDWM67AZ2W9TC8Z0DMKHNPZ02MFVQ57B0871F }
{ amount: u221302643000, recipient: 'SP1SW1XJW1W7YQC462EB8NQVJFQ23GV8F2PQWABTF }
{ amount: u221290000000, recipient: 'SP2GSF65A4G9NBTNCSKEAC5WF7DPA70HK04GYSSEK }
{ amount: u221252976000, recipient: 'SP2W13E3257AB07Q4X0QYZXQ97APW1NEFN1WDQRN6 }
{ amount: u220961038000, recipient: 'SPP2WA2NWW1G3H9EPBRHVWNFYCJYK36FHWJ0FXMS }
{ amount: u220860301000, recipient: 'SP1GRV5FGSKY43QBZ41K2YQPHDJNMGNSS9M6C56AA }
{ amount: u220618819000, recipient: 'SP2EB6CZ7HCBCZ8ZED2SR719JTYJJGA7H5TFN0XC4 }
{ amount: u220560104000, recipient: 'SP2Z4MCB2488PSASQHWDA2J3G2CG7TDETT8TK5QA0 }
{ amount: u220537000000, recipient: 'SP1F2M5REPJ9HB5P55T7GT2JN79VQ8N9YK7F0Q89N }
{ amount: u220396785000, recipient: 'SP1JBJKZ3ZJBQ4675AQXP3JRHTJ20SR0VRDKH7VDB }
{ amount: u220135610000, recipient: 'SP1HTDCG88JVG4YEKTMYR7QD2VAGF8P9DMFSNKYCA }
{ amount: u220047823000, recipient: 'SP1CT02DP2VDJYMCNSBAFVQN7BY3KB7WAB1HM9MGV }
{ amount: u220017700000, recipient: 'SP3MH36GH60QJPWEZ9M225V0DF2EHGM0BH7ED3Y1S }
{ amount: u219998974000, recipient: 'SP3BHZ3ZAB65F1972V8ZDPPTJ58J2CHCAAGKPQCJB }
{ amount: u219934413000, recipient: 'SP1EP3Z3R9CDN0D9VBTA9S8QCJA1RZA2C6WJ82RNZ }
{ amount: u219819091000, recipient: 'SP1Y5061KY72HQ7FPY2Y3BWE7FWD4Z27D6RZ8J19R }
{ amount: u219670116000, recipient: 'SP93R0N44MN6T11YEF72XG6CWFMS8N3NQCZZZ6JC }
{ amount: u219232919000, recipient: 'SP2866XYX63E5MEHST19S4NAAJMH1A4P1T1BZZZ5K }
{ amount: u219222172000, recipient: 'SPPBHSGWFZPG19STV5SSF45DAH02BFDMXWE2WDJ7 }
{ amount: u218833524000, recipient: 'SP4BT5X3WWXM0D8763T8BPGCBMEYEPY1B89VMX6N }
{ amount: u218805321000, recipient: 'SP16WKDP07M6YR8S0ZHT4V9J1DDX8RH3AN66BG61R }
{ amount: u218687760000, recipient: 'SP10F6N592PBD63P9EF761JQ6KP6TYYJQE73QDFSQ }
{ amount: u218584979000, recipient: 'SP2KNDNZVWPXNSWM90MB50TYHEG78D4GRB4FDNWH2 }
{ amount: u218584690000, recipient: 'SP33MKKEGBJNGP0GRWG1DRM55P7Q3BGY99X5K4M3J }
{ amount: u218410472000, recipient: 'SP180W7NAQG6G4ZM0QMVP8DZRNV76TT4XSJ3M9ACA }
{ amount: u218391180000, recipient: 'SPHC5TAN4A42X00QQEGK9KCAX1DGPPVZBMXGAXYP }
{ amount: u218078069000, recipient: 'SP30GGVPNV633PN5KXZGR8TC9NKKBRGD3WM776NH1 }
{ amount: u218024454000, recipient: 'SP2PTT1BF957723AK2JKXTNB7454NQCHTDP5T1AB }
{ amount: u217961628000, recipient: 'SPFA23XCJ13Q58KZ0VXAGT9NR7Y4F5GPZAZTZFXD }
{ amount: u217957093000, recipient: 'SP27AJ5BDVZBP02XJEK224HYMCAXJ99F418PGJS32 }
{ amount: u217865740000, recipient: 'SP597C6RCE746H27XB775SJN10VDY49WE9CVR43M }
{ amount: u217845886000, recipient: 'SP3VM485SWHCHVM1EJX2GJD4MN447SR4Z3QQDXHKZ }
{ amount: u217785221000, recipient: 'SP35AH79FE5HP8PJM5AGY4Q6MFE4K13MBPR2YXAW6 }
{ amount: u217752242000, recipient: 'SP7Y6ZAFCG1MD8E84344NS4G3379ENYKE0JZZJTP }
{ amount: u217746350000, recipient: 'SPJYNZ23K089XH3H77P0HWB5Y0R5WAA8N49JJZKA }
{ amount: u217648705000, recipient: 'SP3XMJ813HSB19A3YW7BK9S23Y9PN1XKAK2K8GMAH }
{ amount: u217283190000, recipient: 'SP2EM6V94PZ2VZVF4DX47B5RQ5WQDSMPEFAQ68807 }
{ amount: u217004851000, recipient: 'SP7KQH9994VWPEEFEWZ73QGZ7ACD9H16VAER9XE3 }
{ amount: u216880630000, recipient: 'SP1WVR833Q3RKM69KTRJNHWXNTZZ37592Q99XMY13 }
{ amount: u216829122000, recipient: 'SP3C4E1954AZD7C7HQN1JABQ119DA58S7BB9WTEZS }
{ amount: u216744653000, recipient: 'SP309NKBWRXBJYSKE1VKMFVKR75STEEZXZF1SZRB9 }
{ amount: u216582930000, recipient: 'SP2Z1V405B3S6ZCECPT8P9A66N2H3GP60TZ882XC4 }
{ amount: u216538524000, recipient: 'SP36T7G7V7MGCKSFCAH5KXBP1EWK8P0ZF0CX0BHZH }
{ amount: u216444232000, recipient: 'SP1T2ZPZNQQDF7V19VZ1JR3ZSJVPDPNNQJB99DX4S }
{ amount: u216364803000, recipient: 'SPRYQX8H2J01H066RWFG4GK80W39PWQN7907C4J5 }
{ amount: u216112282000, recipient: 'SP3QR6AT40Z8G1Q75THA313M2XQ3KP0SKN4K1PFZE }
{ amount: u216013942000, recipient: 'SP25HEZQP13HH1NMYZQP3FKK4KG738FQZ5TPZF8BN }
{ amount: u215978778000, recipient: 'SP2Z1BWD23Z8RJ364PFNKGV4R1KMBE2NS7GB23TJR }
{ amount: u215970153000, recipient: 'SP102542JBBFWJ9H4XMHKF1ZQEJHC8NPEZ6MNAQ8M }
{ amount: u215959624000, recipient: 'SP1QN8M43G4XJHER7RNFBG964EC0SZY1XZ3HV4MT4 }
{ amount: u215763102000, recipient: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR }
{ amount: u215756001000, recipient: 'SP1PDYG9XD2ZFPX7TMN1KZ3ZDBK9Q16QFJMT3BYWE }
{ amount: u215282753000, recipient: 'SPFZZHNBTZFQ85QTGBRSR0WKACJ5FYMZCZYH9D12 }
{ amount: u214901080000, recipient: 'SP14TB1R69QEDNBNS0HA9NNQJG8FPBVQYQQ1Q9EX9 }
{ amount: u214863310000, recipient: 'SP2PX58WHRCNSKA52R219XWRT5TTSNYRCSSXSWQ68 }
{ amount: u214854016000, recipient: 'SP27YRCXTHFHJY7HYHZ1DJ6GAK52HS30HZNPPJRZX }
{ amount: u214819565000, recipient: 'SP8PY2RJKD0T97WCC1A862HZTSSCEYEMG5D2K3NK }
{ amount: u214538291000, recipient: 'SP249PJACGRB83R9GQR64BV250BP5D8T8GEB3B71Y }
{ amount: u214505383000, recipient: 'SP9XKY1WP621NESM1RZV75E6K3WVVKKQ1Z7YFCFZ }
{ amount: u214492356000, recipient: 'SP6QY178FFW0KTJCZ65B7GWMJNM41SZKK37WWADK }
{ amount: u214492354000, recipient: 'SP1K6012DJRG3XRVAHK8D9HBJR2SMJAHKDR6DWDFG }
{ amount: u214492354000, recipient: 'SP6PHFNEB479QWYT9VDSW32VKHDWQ436416AW439 }
{ amount: u214484496000, recipient: 'SP3WCW5SVW9NHZ0AHFXDNXZ86RWH84R6JKERK88BJ }
{ amount: u214317138000, recipient: 'SPNSJNXBEP4MQ7RKGWMVCC9ADFDS8PQRFZ5JDFP2 }
{ amount: u214300306000, recipient: 'SP1FBX0B953BRA8V2Q64K4D7K4320GG69R5B9K74E }
{ amount: u214204511000, recipient: 'SP2M4Q753NPXKT45SHMYTR5E6TVBZX3EK9T296SHS }
{ amount: u214204511000, recipient: 'SPNC51374WW9JENYAB7C985NH2M79NM0K19QN19C }
{ amount: u214041407000, recipient: 'SP2ZYPCNQV54SKY8BVWJ8M3CEAA6HJM4163MZ67H8 }
{ amount: u213906659000, recipient: 'SPFSQ1M10M9B1JTHVA3AYSS7C6ZJ81428WKNQ9XW }
{ amount: u213718056000, recipient: 'SP12XX1F9Q87H5SKAM149PRR366XY2FE62GPJSHF6 }
{ amount: u213599375000, recipient: 'SP2M5M14WWN0J2DR475WYDV1SJHVK6J84QS0P8A1B }
{ amount: u213514420000, recipient: 'SP11JZZTFQV8B8X0VB17AXXGEQA154PKVC5MSE49T }
{ amount: u213509828000, recipient: 'SP1EW3T3ZMTEHDREMHTPZ4RXM1ZG4RCW9KGBJR5B2 }
{ amount: u213386312000, recipient: 'SP3KDY0C2ZWHFZP21DXZSRBEFJK3XQ47Z48W42Q6F }
{ amount: u213379985000, recipient: 'SP3DM5163CXFWFFDXC3D8PHP08W6KEPYHBYP1BM2A }
{ amount: u213253301000, recipient: 'SP3JQSJJ131CCFTE4QC3HCXAWB1VJ3KDXQ8SKZCPN }
{ amount: u212836284000, recipient: 'SP2ZC4YH7HJE9RA1PVJHW0ZTJ5J4W6EB6RR7KAGQS }
{ amount: u212730345000, recipient: 'SPGD3RN7Z2HN2CNESJDAZAZ27C6BF7DVRWKR912M }
{ amount: u212418053000, recipient: 'SP3FQTGMJXM9743HJZMV31QGGRGHHZ2DTWPFNRNBK }
{ amount: u212346188000, recipient: 'SP347N5EHEQRT691QDZ64Y453QR84VWXJNACGEMS }
{ amount: u212282763000, recipient: 'SPH7KN483N8R7TZ3XY5QFB4ZG36AE873KAP1E2JA }
{ amount: u212268046000, recipient: 'SP2W3A3B75TRY17X2VSB9QJASNK9P7F8HS6AM04W0 }
{ amount: u212118606000, recipient: 'SP1M2QNJ1P6AC9GN6Z34CEKTSM8XSBZSWPRTJSPA8 }
{ amount: u212117561000, recipient: 'SP15GC85VAJTPESYCE253YG6ZN74ZBYCQHDAFCJJR }
{ amount: u211917960000, recipient: 'SP3DD6E1YDYBCN30H28VWT0FCWWQQ11J9HKER15RH }
{ amount: u211776176000, recipient: 'SP2HCKXC6GAWMAHWH06XGJBTS7JVA6YFRJJB2PCWA }
{ amount: u211723433000, recipient: 'SP3K75QZQ9TZ0GWRQG90S8GS7J9Q04DH7AN8WSSP9 }
{ amount: u211552461000, recipient: 'SP25X0G24FDCTFB83MJT9NE8188RXTP1C7PWGVSXT }
{ amount: u211513463000, recipient: 'SP2XWGZ4XNGX3CBMJ60WB8WY5WWCBXAY21M80WT2Y }
{ amount: u211475000000, recipient: 'SP1R4QQ0A93GN3576V0HBWNR22BGRSCVYQ2C2YZ87 }
{ amount: u211293633000, recipient: 'SPMZJ097H8110KPA4T11KC80893EVX8N6XRKF0HQ }
{ amount: u211259902000, recipient: 'SP2R0XT063DRKTKM7PEC8NBGYXCSD3XDXW5RFJKS4 }
{ amount: u211104413000, recipient: 'SPGN3Q2XVN9F29WN5Y4HDG3KP7ASK9QJRPGTQYBG }
{ amount: u211079375000, recipient: 'SPMCRTCDK0C90MDBKNZHJ8MK66RZSP8E31S8QN0T }
{ amount: u210997823000, recipient: 'SP1SA4HTCW57WHYQFTTM7YEHCTGSF7NPHJB1GMSH6 }
{ amount: u210964369000, recipient: 'SP3GATNVYQ749E2NRDEJTWS4QVCCDEQRB4BW4KZXG }
{ amount: u210899200000, recipient: 'SP2Q57604P3QJQZKG636EF8AQ1W2B9YW32CKHHX8G }
{ amount: u210874375000, recipient: 'SP2K0HZJ21QKFQ9JWHTEZM4P6DK3QCSTHVJ85K5AP }
{ amount: u210634563000, recipient: 'SP3XFSS6D2FPECBVVT9Z0VD2ZNBB2MV9FR8JCD7EN }
{ amount: u210215831000, recipient: 'SPM4W8XS809M6JT1GXEJ7AJAMK4XANM6GFX229EA }
{ amount: u210125000000, recipient: 'SP2CYFTGEXHR7SDN2RF0SP22NFYDTE6KXK4PFQ9YS }
{ amount: u210006575000, recipient: 'SP2VVXF2SR70HZPC5HBCAGWCFRM0DW17FKCR4H7MC }
{ amount: u209962588000, recipient: 'SPEYCFG735N86FRMAPGWATPCSMQC7BFFCFAJJ5EK }
{ amount: u209933842000, recipient: 'SP3K1V5927EZGH5XVYYS3XD8A278DWTPPRTWP2EAV }
{ amount: u209919741000, recipient: 'SP319HSARF3Y9EVA080Q212GAYDMJE1Z21W5YTJDQ }
{ amount: u209835318000, recipient: 'SP2BFD4KMHVAT0R8FAVNVS97EZA2A7V457B561CZ3 }
{ amount: u209624898000, recipient: 'SPZBXP3450SR8BMF8K1H6RKMS16CPP16QSTV9S32 }
{ amount: u209510088000, recipient: 'SP3WXB8YWKRBCXETF6JA276DS3PMX51X0CHBR37D1 }
{ amount: u209491890000, recipient: 'SP1HPHGR3XAVNVV50MWSJVZ7968SW9Y786MT5DEGQ }
{ amount: u209305913000, recipient: 'SP19DPX7QXV5NMNAQBVNKM6K512W9T56C13JHS3TG }
{ amount: u209295700000, recipient: 'SPAYN0MRQ15QT8QQXH7WKDJEYWJV7REAWKYYW59R }
{ amount: u209225152000, recipient: 'SP2B60P7RBXFKFK3B0SHYJ6DV6769XVXQEBV2NNBV }
{ amount: u209200000000, recipient: 'SPEYHDBQKDAR0B48QWX7VWRNP4DCD4GX2HH6FZRQ }
{ amount: u208832783000, recipient: 'SP1RF3KTXFV2JSNMESSXXK7V61MFB5EJRJJF2ARHF }
{ amount: u208732000000, recipient: 'SPD1PZCWS5XFJAX2Z3AX273QVH5X1W18WSW4CYQ8 }
{ amount: u208547390000, recipient: 'SPRHHT4AFS1702N1H6SRKBQA5K478AKSN81XSRGW }
{ amount: u208451800000, recipient: 'SP2T5W2G6JXP1MHP6EV705GFGFSBNT0Z0WK2Y12GR }
{ amount: u208331288000, recipient: 'SP3482Q1W6A8HFDVEXZC89W23HKGC0BTDYZ9V0014 }
{ amount: u208290635000, recipient: 'SPQWG4RR0DVYMP1H0CF1AF5GJANY0FJDAKG5BRX8 }
{ amount: u208262334000, recipient: 'SP1J60AHC7D4AHW25M1Y6N6J2SEN1V42VC46A188Y }
{ amount: u208216577000, recipient: 'SP385E2EA264P1Q41Y7GFDW2NM9NS5BBQNCF3HDG6 }
{ amount: u208182190000, recipient: 'SP241EHPY78W5648M02V3P6CDQFBPKAYF6YNQBGD2 }
{ amount: u207891519000, recipient: 'SP28TMWVFRFMWEB4NPGN7H4AJWX08P0SGPQ4B5RVQ }
{ amount: u207707150000, recipient: 'SP1NXJVR17EDFXZRN0C7RSWVE82JCWEM1CD9XT1S8 }
{ amount: u207686474000, recipient: 'SP2P35FNR7557H6VMEFRAG4CAEGPE953BKF305F40 }
{ amount: u207584213000, recipient: 'SPF4GBREK01VP6CB9R27NEWPV19NFXPCGY07XYPK }
{ amount: u207555000000, recipient: 'SP3652A3RPKFZK33HPSH2CD0HFW6A93YHC93RS8H7 }
{ amount: u207237400000, recipient: 'SP1RMWYHFV4YRWXGZTCP9TMQZVCRPYVH1H73895PZ }
{ amount: u207227217000, recipient: 'SPWKSQKV167C589Q6ME80060DPPN5V2X4PXP6Z9H }
{ amount: u207091251000, recipient: 'SP2M8VG0NZ53AFGAKESHA3A197V6H2YP46Z9TAAYT }
{ amount: u206942743000, recipient: 'SP3YANF2T8YNYHE3CBJ3GE2AZQ2Y160AKGF47ZW2S }
{ amount: u206813716000, recipient: 'SP244KFGD14QPNSSW7H5520NXAY3C7ANT0F0ZD9XS }
{ amount: u206666299000, recipient: 'SP4QY0PKB8H4H64HYSJMDZYQ1A9S7HT8Z2XCT361 }
{ amount: u206648039000, recipient: 'SP17PMFS0GRYNPC6CSMYDJ42FDNJVBS5FS4VXY4WH }
{ amount: u206443518000, recipient: 'SPQ38H0MG7GCZYSY9PTW4T9JCCNZSFJX0C6RHREP }
{ amount: u206427642000, recipient: 'SP234ZYD9BF7DRRMVYRXYSPX0G5KRASV2ANN918H9 }
{ amount: u206402045000, recipient: 'SP32SNR33MBYTP6B9QXEYF4W4TXM4BYCRWRMJG5K1 }
{ amount: u206332569000, recipient: 'SPR6RNTSP1TRMNXG17DHN7S2EVQ4AVDK9Y38MK88 }
{ amount: u206294064000, recipient: 'SP99CPC73JZTAQPJK1DV5K9GDHHYHST14Y208ATB }
{ amount: u206263798000, recipient: 'SP3PC7G7R7DVBNTH5T8P7AS835WSTZBHNNQR8TPP0 }
{ amount: u206209964000, recipient: 'SP3TGM1MYQHN3RNDKT78N7TB13SNF7GEFX21SMET1 }
{ amount: u205843858000, recipient: 'SP1YJGHR45X8FEFMRVY9EX46VHKBCVHV8RQYYRF8D }
{ amount: u205616796000, recipient: 'SP2VM2BECWADH958W4EADS2ZMEGRN21WP2MW39X0N }
{ amount: u205531711000, recipient: 'SP17G2XJEQ3YV0SD64B1Z5A15TFC069CF0GMXS8MV }
{ amount: u205407039000, recipient: 'SPH07X0D6KRFG7YP5AVDS1WX7Z6QGWHM3GA86SWQ }
{ amount: u205271295000, recipient: 'SP1HFKCN6JHATANH35B59YRQ5WRTQDV4DSTAFR32Z }
{ amount: u205086000000, recipient: 'SP2VM28R6N5MZT6P5APGDY0YFCZ31S6X06HAJPTAF }
{ amount: u205033023000, recipient: 'SP28NQN94910T1TYR96QKY9GD7AXPN8SRAE7NY6SC }
{ amount: u204961209000, recipient: 'SP2V8KW60G20GD80CV5S8E70W6F70QJZP6J4X82EE }
{ amount: u204779712000, recipient: 'SP3QSYJZHR7MADCGBMQJR0T0TGAAXMM88YZHHGV2A }
{ amount: u204531871000, recipient: 'SPWQMAKRF2ZFH926J7TRXTVCBFPSJX8QBQ0DGEDJ }
{ amount: u204405000000, recipient: 'SPW6CJKJXE5YGA05AEK21DEPETDVJ1JJ3FH2RQWZ }
{ amount: u204402720000, recipient: 'SP33TQ8NEB1ZX8RPW7RSGQY6QFTDXB9TCBPVWESB5 }
{ amount: u204342398000, recipient: 'SP2K5475YVGEDZ6SWMMBJ2J0Y5FFGF2NRAR678DX3 }
{ amount: u204251874000, recipient: 'SP36DBDH02Y50AQX8X4QMVT13JN2KBG2PDAZVC0BM }
{ amount: u204251710000, recipient: 'SP7CP1QGW8TX59TY4TE2HZ50FWWVB701K6C5SJD4 }
{ amount: u204132339000, recipient: 'SP3X411E3JEDN6G4EJMMCAPFW9ZFXM6BMWSP7F9J6 }
{ amount: u204119610000, recipient: 'SPGV7X1GVZF9YJ96P1JKQGQCZSXHTNPJ3A5QWPK1 }
{ amount: u204113067000, recipient: 'SP38QTGVQB4CWMS112Y3ZNGG778XMG3827H3K9NA1 }
{ amount: u203990756000, recipient: 'SP2G51DZCK7DQNHKSD532MGPX3Q8ZEJN1812SS9KR }
{ amount: u203930807000, recipient: 'SP27G8MQ9R0DDE3ESVF2N034YZG6QD71YAXZRD13J }
{ amount: u203660612000, recipient: 'SP1MGZ83H02F12MADJT04ABPBVH7VB1B0EFAV9B42 }
{ amount: u203546017000, recipient: 'SP12QAC10Q3498A1V7Y89DF5NC0JQ4M516914E2MF }
{ amount: u203262000000, recipient: 'SP1S62D1PJYES3C87TX3AKGYK03RKBT1XKC4W6RW9 }
{ amount: u203049517000, recipient: 'SP1EH617ZPH6PERC6B4NBRZJ6SZDFZZKQ51AS2EM0 }
{ amount: u203005317000, recipient: 'SP224TKAYD6474ATVWK13CPZ03G8Q6APQVMCWHJH7 } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-16))
(try! (contract-call? .token-special-vote edg-mint-many batch-17))
(try! (contract-call? .token-special-vote edg-mint-many batch-18))
(try! (contract-call? .token-special-vote edg-mint-many batch-19))
(try! (contract-call? .token-special-vote edg-mint-many batch-20))    
		(ok true)
	)
)