agp203

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-11 (list { amount: u728658286000, recipient: 'SP2D6BPAJBBZY61D4QV523XVEJK18798YSD6TDWVB }
{ amount: u727129855000, recipient: 'SP200RJ77NTGJ8W69V8ZZM6MW8T62EJ9G1FJC554H }
{ amount: u726540328000, recipient: 'SP1V8VZV4Q5XE0N32X23BGJQTC65C7FBCR852GS1X }
{ amount: u725398727000, recipient: 'SP3VMRGPSFSRJJW3TDXD1HMYRK8NJR33E7SBQ9H9P }
{ amount: u725146265000, recipient: 'SP181R0CYYJQQ88JNB20THZ9GH7X4PHWBJZJSAKP9 }
{ amount: u724269655000, recipient: 'SP2BNY111K73715XKP1EBEBVVRWSNMMV1H42SJHZ }
{ amount: u723545931000, recipient: 'SP28VAKYN8X7YJF1YP447DRAM0R9B139DJ7PYFR6B }
{ amount: u723147325000, recipient: 'SP1XY09K22P9W9N76329YCCKQTH4DENKH3AMTMVQ6 }
{ amount: u723072654000, recipient: 'SP3Z7G72YEABE9K7Y4YSP25BSC4W97AVVT8N46EQV }
{ amount: u722780145000, recipient: 'SPTH48Q3YTC2YTJ8Q9GNZSQKY2RT18M3JXY3M9B9 }
{ amount: u722020472000, recipient: 'SP3N24A5STWD0CP63FV4E8M4Z9625GHYEQGH984GP }
{ amount: u721761565000, recipient: 'SP297NVTM4G5QT5EH9QF9XE58R0DTKKS0BJR2BN5K }
{ amount: u721354720000, recipient: 'SPS8KR2B9FCP6083WPZ3HTPFYYG8JCWZNWPP1CPE }
{ amount: u719883276000, recipient: 'SP2EMSVE1S8P9MTM749NT5K2XBT9YGGTQRA8QTXJH }
{ amount: u719502048000, recipient: 'SP3FN6NGGV5GFCQZD77DWFETF28SKYCR7R7D4Y60H }
{ amount: u719092748000, recipient: 'SP2M5PT3B0GTQ0SYFYBQQ6NMXMT3TP0F5X5DGBA4G }
{ amount: u718641808000, recipient: 'SP3WHGYVQT9TNEF1BJ4FMC0WHM4TRYNQ30BYFPCP }
{ amount: u718504240000, recipient: 'SP1S77N0GC0NPC9H6DEXZRV1GNFGN1QATX6WMK1N }
{ amount: u717914370000, recipient: 'SP1NCSRQF667AF4FMXH8QN3REXMDBV1QG69N4AWE0 }
{ amount: u717725917000, recipient: 'SP2J0Z0C54R721YQWPWYPJKK3RPRFV7HD1JFX92NY }
{ amount: u717716513000, recipient: 'SP2TBXNH5F88D7Q20HG5M0R3S9ADR4XXY8HTYXP96 }
{ amount: u717300000000, recipient: 'SP1SYC02HRKA6GCECFTE9N3YR9EDQZZBZQ2PNBXFY }
{ amount: u717000000000, recipient: 'SP3JPR4V0F32YPSJJ93EP1PA8FM4GKTDV7T4BFDFB }
{ amount: u716241051000, recipient: 'SPKN65R26G0217PQB64YMKSXSDRDV6B57F3VHMQV }
{ amount: u716107411000, recipient: 'SP1VG9BBS28E5J5BVQWE83ZKZKBJRN5TBG54D5GEF }
{ amount: u715295897000, recipient: 'SP1VK58TEZHXYGSJFCXWY8TS905CMG0BH27K5HSRH }
{ amount: u715141760000, recipient: 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J }
{ amount: u714980028000, recipient: 'SP1Q32FAXFD7BP1B2GNNZ455P71NPG5AJ50BJ1417 }
{ amount: u714937515000, recipient: 'SP1W0455F24ZWRX0X2S5ZFEJ5XSCPWX1YZ6TNBGQF }
{ amount: u714503908000, recipient: 'SP1ST3EYY5VRNFEDZS67R4QMS1J1F0DTBDJGWJ9YS }
{ amount: u713141373000, recipient: 'SP1SF1JSSJBM6B1JJT6ZDZVMVV6890SDJAGAXDV7Y }
{ amount: u712455465000, recipient: 'SP37AMF2BT8MA3NW00F155863VEH1EF0R5V11CA2W }
{ amount: u712192279000, recipient: 'SP3V0KHMJAHXAEMGDRXVJXAQNJ5GPMSFJ980E90Z7 }
{ amount: u712081286000, recipient: 'SP1FB9S6DDVXKA0DSYGMFSFEYS8MTC1VMSVX7PW6Z }
{ amount: u710516405000, recipient: 'SP3MVDCBYRD4QGY9E5FC41D7ZZBKCE11EWZ7YRWWW }
{ amount: u710280457000, recipient: 'SP1TANYWMHCT8WS40J5NNWEK4S5BS94QJXZX5N3S0 }
{ amount: u709771585000, recipient: 'SP3TM8TRJV54EQJCC51YHEE8VP1DA023GN9B15DZ4 }
{ amount: u709487195000, recipient: 'SP3Z2774QTMZKFSQWF8RKS8SKGFH0EBN830J2QEW4 }
{ amount: u709105799000, recipient: 'SP12CW8WE5HQJN0XTN97QWTGXKFDS5YPBY17KXMKD }
{ amount: u707876819000, recipient: 'SP3BV09AGQ71B3MSQH0HZ0NBRF6ZYVME7FZEMGN9A }
{ amount: u706103741000, recipient: 'SP1MT6JGKHREEHJC7G06C61P4JS0QJHNW2T3V38WR }
{ amount: u705514062000, recipient: 'SP3ZCED3H4FWZVVAANADN2N0R2DSVFHWHGRK8N42V }
{ amount: u704465978000, recipient: 'SPNCASCXEVVE00AJRFADQ2VCW1CNNTWASKP0JKQP }
{ amount: u704087370000, recipient: 'SP83MH192Z1X1ERVVHZPZBANJ296VF78JNZK6CJ2 }
{ amount: u703992560000, recipient: 'SP2TKXT76B7HYXEGFR9DBBJYWDNNCS82XSAATHKP }
{ amount: u703701762000, recipient: 'SP1PKNSX4PYJXHFM6X3KVHEAJNVAWBVZ9QKC9AEXY }
{ amount: u701041039000, recipient: 'SPMMFD0R5BTH6P7YT9W8T8ZDAK6F9Q4G7XNGDK0C }
{ amount: u700005225000, recipient: 'SP1CAG46TZ53DT0EP57AMRPJDS1XX3JKBH2957SQP }
{ amount: u699921374000, recipient: 'SPN3AV2KQ8HYFHGKC34SGVSS9TNMJXG56GXRSR70 }
{ amount: u699662987000, recipient: 'SP3PCF91ZSMQZFRR6S07FRYB1S2J4TDT87HVHHX0B }
{ amount: u699231524000, recipient: 'SP21A89VNFKAHRFGN0KBXWC97T0EFKXWBH4MJP6MQ }
{ amount: u698950164000, recipient: 'SP36SSSVD5R9YSP12GMH9HKH3H9TDKYM78VNTC8AA }
{ amount: u698551908000, recipient: 'SP1R0R3GMBV5803C4DATN6JYGBJAED8JJP6J42EE7 }
{ amount: u697685928000, recipient: 'SP1K8ZADQJ7GPXBND02S2V3ZCAC8W1YMGVR7DP99P }
{ amount: u697349714000, recipient: 'SP16W19RKBW2WC2DWB904DGNB6BMYW8X9G7X6V0F7 }
{ amount: u697091737000, recipient: 'SP2E4J02FHKB95VPZNTH48X0R40JX4RCP6V8X0PZA }
{ amount: u697051731000, recipient: 'SP3CQMGPHF2548GY9316QTKZ6SGN9MEF8JXJJZXG }
{ amount: u695883721000, recipient: 'SP2ZQR2S5XD8J8Y5JKB0S907J1ST2GVPVPY26YQ29 }
{ amount: u694095232000, recipient: 'SP2XMHQRCB7XAFSTTS0ACWTJ8K1B670TYGBV6CEGK }
{ amount: u693756524000, recipient: 'SP22WC3WNHQ07DF7R29612P4VE3F9N80D03W18Y3Z }
{ amount: u692009869000, recipient: 'SP945RAAX6YESYQ14Z34JEQHNEKJZVMZJ895KRYF }
{ amount: u691922780000, recipient: 'SP1QGKQ7WM9KG94FPC75M0N6BS0RSAGVR7MWX1PY5 }
{ amount: u691718602000, recipient: 'SP20945N5G0F0V9AZCAHEC1GS3C1S2RWT325H9N0K }
{ amount: u691650034000, recipient: 'SP2JYXW40Y34SEVQN2BAF27P5ZQ3BGNMN7FMWPASR }
{ amount: u691611049000, recipient: 'SPTW66QK2241FTH5FJS06K066CVMXMQP5EC7SRP }
{ amount: u690920184000, recipient: 'SPFPJ8D3TMGANDF2VZ2MTHTQGPETY0NX92CA2HDN }
{ amount: u690429088000, recipient: 'SP47M49H5W88VFWCSDZY5RPGT2MY0EEBMC331HAP }
{ amount: u689674874000, recipient: 'SP2967WG2NY89J2D490N2PB7NEEWJVA84WY6JT8J7 }
{ amount: u689277627000, recipient: 'SP14JRVEJVR4K6CRVYWEXXBC3PFRFFR77CG72ES6A }
{ amount: u689234000000, recipient: 'SPSR94P7JZ8SKKY749BJMR1ZAC73DRK1BVDD0H5W }
{ amount: u688769542000, recipient: 'SP1PGP3M16YWW257B98D2ZFQSFC0VXV25NZPMDR5X }
{ amount: u688677500000, recipient: 'SP2S9BEQWMJG3HQ3BENRZ53FJ8Z9SXR7JTJ4JFP61 }
{ amount: u688001430000, recipient: 'SP2DFWTV6MXGP27GQPJKRFNBYFMGC932HSVBYXYXX }
{ amount: u687947541000, recipient: 'SP1RBRMQFNGTH9BAC6NX34MRN3ZVJT1E59PBSSQTH }
{ amount: u687021000000, recipient: 'SP36NK1A29G1KSGH9B77GB3JCCXNJQCDN2DGX10FC }
{ amount: u684581736000, recipient: 'SP2PHMC5ACX57T6HPCAFJ9KB0AA93QX0J5QV6S2MH }
{ amount: u683666556000, recipient: 'SP3HH4AJER3RD1N6W2FMNEP0N6HP6T1D4FKFENHYJ }
{ amount: u683561000000, recipient: 'SP2PF1RCZDS3B96JVX0JJFWARH74R9VHDHY7A5HFX }
{ amount: u682371969000, recipient: 'SP20NFWMTV1WKRQT780YK7TCTQ2F9B2N7J2JYHFGJ }
{ amount: u681807232000, recipient: 'SP311WRP7EMM8G34F3JJ6WBNW46J7FH37ZSEFWET8 }
{ amount: u679929754000, recipient: 'SP2734E0R18WT7NQ6EJ24F1BJ4CGQX65ZHR0JZD5 }
{ amount: u679538440000, recipient: 'SPTHKK6VXS25XM9WXS2PYHNT3N9XR9AKBKZ5G6DX }
{ amount: u678015890000, recipient: 'SP3SZSRMJ06BS956XXEAWX9AF4R05V0ZJB08DE3QG }
{ amount: u677966195000, recipient: 'SP37AKF080G80592HEF9AT49Z46GPD7BH2P829WJR }
{ amount: u677624951000, recipient: 'SP1KZ293QZCGRSXJ448TNF81RREAC1K2HESKSJR0M }
{ amount: u676884316000, recipient: 'SP1GA1X92GJBAC0WN8HZM2MWG1EP3JPC91Z3XH43V }
{ amount: u676789345000, recipient: 'SP3DHAND5K2WR8PEJN5F7P7B8YH3MJ1HQ3FX7M85Z }
{ amount: u676720877000, recipient: 'SP1WPSGAE64SW1EA8XB10HMF3RKMQYQ2XMW8ZZ770 }
{ amount: u676101172000, recipient: 'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH }
{ amount: u676055276000, recipient: 'SP37G25MCEMBAD0AWR53S8KAESDRP2T1909GK0ERY }
{ amount: u675611443000, recipient: 'SP1TPXQPD9GTAZW5GB6TV99RDW0SQ7W7RZ4Y2X0GR }
{ amount: u674975994000, recipient: 'SP2FJ75N8SNQY91W997VEPPCZX41GXBXR8B2QRTR9 }
{ amount: u674287355000, recipient: 'SP2MBKMKSAV75FHEKSPZJC2X56YJYWKQSKHAQAKVJ }
{ amount: u673977440000, recipient: 'SP2QSBBMQYS0HGWNS52RP750A8X3HH49H29BT1QXM }
{ amount: u673689304000, recipient: 'SP33PAQ747Z1KAV5FXFK9RJY3TZH3K9K1HC75DX0S }
{ amount: u673566021000, recipient: 'SPGC9YENC3DJPJTV4P5A92S7A1RB2CMYY32CEZ54 }
{ amount: u673254479000, recipient: 'SPRE8XH8H6QWRZMCFME46N64K5A08K4VAG7K346C }
{ amount: u672625596000, recipient: 'SP3VH4DZ7HJYVHJYWE3JZ6A6XV5YEZW0TZFP55FVJ }
{ amount: u671649812000, recipient: 'SP22HG7ZT9X2RYKG7MGN68B8WHAMD1KMPCHE0RCF8 }
{ amount: u671621000000, recipient: 'SPMT7WBEZM612MPNF6KDTJKKHYDDQH2NCDV98EKM }
{ amount: u671383663000, recipient: 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY }
{ amount: u671314191000, recipient: 'SPY08GT4GAFBCG0E8M5GNDBXPENR4D1C5F8V053E }
{ amount: u671299629000, recipient: 'SP1YQ8KJM0MVQXHGY7QH9ERJDSX999A5W4N9W70AD }
{ amount: u670699001000, recipient: 'SP2QCMZKKZWAWZBTJCY7GA4C97R97WVXTYZVBSYAG }
{ amount: u670050874000, recipient: 'SP3ZDEMKDJ32MDEHQ9VC6PZN83K864PCQEPJT7Q60 }
{ amount: u669195404000, recipient: 'SP1BE3YAYTNV63WPPQG7GCM94WD7F512H5AFDDHJW }
{ amount: u669102273000, recipient: 'SP2A6DHVSJG71V0PHWG3JSYAT5VFJ9MD0S7GSX7M9 }
{ amount: u666711493000, recipient: 'SPC85ACHAGJ1RDX429J5HT263SAR0RK3Z9R8S0CP }
{ amount: u666288816000, recipient: 'SP2SFZX1WJSKT1GA2STDT6E5NWDX44GW4BB8DW4DJ }
{ amount: u665667213000, recipient: 'SPEHAQERR5JNDJGNFWQF7AP7SVKCPW3HTDEC2FXH }
{ amount: u665495535000, recipient: 'SPT2C9P2KSWS5JYTKW4VWET3HY8JBDPZ4K3JBC1 }
{ amount: u665205908000, recipient: 'SP3TW1W4M3CAEEB6H5YEZMZ84QT49GTBK6XBD10T1 }
{ amount: u664869489000, recipient: 'SP2FXF04ZPYG4W48FJNW82SMRS8FKT5E76TMXXRJ1 }
{ amount: u664105944000, recipient: 'SP3GJJ6FRANYX05N116WZH32PXNHPNT5THPPTN77X }
{ amount: u662878791000, recipient: 'SP2Z181MQGMQFAYTXB229H618JR6TAF31JPDQJYKB }
{ amount: u660915999000, recipient: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE }
{ amount: u658855811000, recipient: 'SPEZDX1FH6WQ7018518XFFC68JYYF74DHCYX1X6D }
{ amount: u658675107000, recipient: 'SP2GJJV1CFWPZFWBE0MQZTE0FS45YYNHFFGP6Z8PX }
{ amount: u657579310000, recipient: 'SP11W9HFWNHX22D2K2W13DJRXQN697S2SJRJ7TEP }
{ amount: u657264293000, recipient: 'SP2MK7WANFD75QAAZM8RQDW42YN4Z87R48PC1MFQX }
{ amount: u656981519000, recipient: 'SP3SDKXZHAH8H0XA6P1919A7DN6AKNXZ8X09FB3NH }
{ amount: u656036150000, recipient: 'SP3JEC294V9ES53KBPCBA95CZER2HD8330NGTQPNV }
{ amount: u655241617000, recipient: 'SP3G5AH22FQC5TX8N7GYMZRBVXZ4198402ZWE6FG8 }
{ amount: u654102179000, recipient: 'SPM1SR3HGYKK8Z482R21E8T1W0WSY2DAFZH9TCR9 }
{ amount: u653916213000, recipient: 'SPHAFE7FSWRQXBBFE84KS1AEG69X00TWNEV2PXA1 }
{ amount: u653675000000, recipient: 'SP3CBVWSYT74WA38T3FYHBG0JE1M598BGBZVDDASJ }
{ amount: u652013519000, recipient: 'SP2XP7H3DRKP9V2JQJ0BEF52MZR0GP63G5YFGTG3R }
{ amount: u651858473000, recipient: 'SP2WEED0QBFP2PR88RV4W0B8ABEYVX3MGNY21RK0M }
{ amount: u651170601000, recipient: 'SP235NA3J2RDRKSQSAAXKNEJT5FGC6PEEN5VHWBD }
{ amount: u650962771000, recipient: 'SP22SYE4CAWK6NDA73GS3NRTWPSYDMADS81KXJT2A }
{ amount: u649845634000, recipient: 'SP244BGNNCV9FGDFJJYEA02Z8HQ82CBGBZ2K99BY2 }
{ amount: u649576458000, recipient: 'SP2Z1X7RZZE24QAGSCTAK68YE7FC17SY7SPN3WVN9 }
{ amount: u648372336000, recipient: 'SP3KRT3XD1VNTG1V82P25JPQYMXV2TS9XJ5QNJW1B }
{ amount: u645894139000, recipient: 'SP6E3TDTM71N47SWYXE12WEVWGM84MCX93ES3K85 }
{ amount: u645764560000, recipient: 'SP2K7DZSQC1VF26RDEYTN8B3HM5KKFCZR67AZDHV }
{ amount: u645761705000, recipient: 'SP1AEJGR43VAD0HK83KNPA6RMC3C04Q896C6Q77TY }
{ amount: u645659923000, recipient: 'SP1CE92GKYF8JD9JYXZEA9NJFW4DNQ5D188M0PC8M }
{ amount: u645409945000, recipient: 'SPWFZGR26ADMXADCE5TE8WSSZHKKQR7R2JRS2MW5 }
{ amount: u645172279000, recipient: 'SP81K2DHQ2N3MVHPJ6NFKBYZDRKTDJTNT53PD402 }
{ amount: u644470149000, recipient: 'SPD43FN6ERZV0PBEGRZ4HBM3EVD3TWD70KHVVQW7 }
{ amount: u644014139000, recipient: 'SP160QD6AGGK09P5GBWT7QR32F31H5CGHHSYXKHP7 }
{ amount: u643995623000, recipient: 'SP21S2BHT28Z9YRNEXA2FACF7AXANXRVCZKNX9ZGV }
{ amount: u643610810000, recipient: 'SPTC3HJCWWPAE968J3SW3NGW315MWE34R40HTR3X }
{ amount: u641702714000, recipient: 'SP1EVZP9AMTH1044MZXF99GSZ9DJ5600G0VQSX95Y }
{ amount: u641644103000, recipient: 'SP11NV7ENZ8CY1FHJVN7FBTPTC0ME8808KAAM10FY }
{ amount: u640854233000, recipient: 'SP3ADRR0VVM13P6FGGX0QDQ8MS7KNBE03EWE4JW0S }
{ amount: u640370768000, recipient: 'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y }
{ amount: u639681854000, recipient: 'SPNEHYK7J1JGQ8AMFRNEW8P018ABXKR927JE0XY6 }
{ amount: u638415411000, recipient: 'SP2YKGTN9NRYM02Z3D6VMMN5DCSPS58G6DCNR7AYQ }
{ amount: u637925672000, recipient: 'SP3T7TG71QG7ZJ9THESBG6FB5MA1A3N2V9QC5S170 }
{ amount: u636498222000, recipient: 'SP20FSVYH1HZJ6Y2R7KP7V4ZM48W2E9CDBBTJQF1Q }
{ amount: u636342390000, recipient: 'SP294VK3KVJJ3BAARMPDEJG9JAVXMAK0EX1C47361 }
{ amount: u635974082000, recipient: 'SP19WH6GC8QZFJ9S72H8VKYDGHPF2X7X1HSGBC3RN }
{ amount: u635507683000, recipient: 'SP467B8CW0DN5VQ9707CCK0M4TCCH6GJVC9MSP5W }
{ amount: u633140100000, recipient: 'SP1DHRBRHWF09W8BVARSZVYYHSBP662EDEHMM0N56 }
{ amount: u632971917000, recipient: 'SP1WA451WRZA2NY4Y27SQN33QC4SBH13BB8VCDD5Y }
{ amount: u632881788000, recipient: 'SP326SMX49NA73B4BNKJWK76SZPD1PJBQ8Y3NGG3Z }
{ amount: u632288906000, recipient: 'SP1Y4850WT48C3BBGYNMZCR9PAR67W7M18AMZ4QC7 }
{ amount: u631667609000, recipient: 'SP2W54KPAAVAD9E3QF8CB6QC46190D0AZCA0BD950 }
{ amount: u631416169000, recipient: 'SP3XSTBKYPMR0WRXD0JNXTMCTTD588C06VNCPET94 }
{ amount: u631409137000, recipient: 'SP3FK6YF6P7EKP18RGWCSA1KE1EV1TWCVBHBE29ZD }
{ amount: u630865217000, recipient: 'SPFGR3CGKWW732SCHCYVADAKV3DJAWRMX9AYQ9X8 }
{ amount: u630680893000, recipient: 'SPCC07CVC6Z2NKDKSK1D015XGRK34DGBV7P1XXN3 }
{ amount: u630422039000, recipient: 'SP3NYA0QV0QF333437ZERVRH9T0XQ24JM81K36YC4 }
{ amount: u628577681000, recipient: 'SP2164EGKW34R27EKA5Z07FNN0TD9KXC8Q9RKZP5R }
{ amount: u628481140000, recipient: 'SP3V1YNVGF012DF6GQBMCJCY5D3XKWRSR9V5XD39V }
{ amount: u628462597000, recipient: 'SP1GB4RPNQ2MPEHNRT4NHV0GJG35HK1FYZRBC7WKG }
{ amount: u628407325000, recipient: 'SPDAX9JK76547RXPB682175BJ7V9RA1AKTJGDBPN }
{ amount: u628202123000, recipient: 'SP36TPBNR1ZY01K4GWB72AAT31ZWNMGM6PNGNZXH6 }
{ amount: u626720784000, recipient: 'SPBJQ4SKA5JE5TS1BEPHWGJX8RSAV4NR2NJ672EV }
{ amount: u626414826000, recipient: 'SPVZSS8F4T0QGAHABQ6YZN0Y5XW1FF9H1RYF17A4 }
{ amount: u626195183000, recipient: 'SPCV07FAY1771BRPEPN8Q001WQEVE5XY7HV00R2E }
{ amount: u626194704000, recipient: 'SP3S7WPC4268PE4YQWPDTSWR6Z84J74J7HWCY3JH2 }
{ amount: u624917201000, recipient: 'SPJGHKWZFTS68QJNWDCQM9DXTNPB6VSCDJ604ET9 }
{ amount: u624386516000, recipient: 'SP1BNRS2PKZQFXNC20T71QGVWBB3GTGVHF7HRJ1FX }
{ amount: u623457505000, recipient: 'SP2D66746S97NFAHW0F0M76Z9DPVT6T4QWDAF1K2M }
{ amount: u623092313000, recipient: 'SP3W93ZV8H2VE7K143283F2ZF4JJJY8YPB2J7227K }
{ amount: u623007088000, recipient: 'SPK9YPJET7Q8D0N7EVK71P9BFR43XEZEXSTSJBQS }
{ amount: u622637731000, recipient: 'SP28X6X0QWVD1PPBMNG11EWK0GF1PJJRKXXWKWGW3 }
{ amount: u622463821000, recipient: 'SP3484S7ZAYTP81CMMVSXBSKQ8PY95C5C3S2Y866G }
{ amount: u622278330000, recipient: 'SP3130R5THDHBN05WS36W553SJD66473NNV5VYFY3 }
{ amount: u621142843000, recipient: 'SP1A68M3ZQWK4GA9T5B0R145D4ZBHQ25DS4T0V492 }
{ amount: u620775895000, recipient: 'SP262Q37WXVJA3MPT41R1ZN79R0BYYFN6BQ7MTAKV }
{ amount: u620758455000, recipient: 'SP18KRM1NZTZSYBHXK8GVM1SJJ8ZQHWQH548ZEYD0 }
{ amount: u619146057000, recipient: 'SP1K7ES0X7V9CVCQ66FNHS3PRF3RMFEX1AWGJP6HN }
{ amount: u619037899000, recipient: 'SP22SM689EZH0AYPTF4W4WYGEKWY9TV83RD1HQ1KG }
{ amount: u618336827000, recipient: 'SP3CMG0K6PX3BMTHD75SDMPHE8QXDK9A1MHCRW22S }
{ amount: u617344440000, recipient: 'SP1R6EB0P5AFNA0G47QNJRJFNFZHHV51WSMW0AJS9 }
{ amount: u617040611000, recipient: 'SP1WXMEXSMQ0BMN53Z7BAQBW9JBW92Y5GWKWXYH19 }
{ amount: u616613988000, recipient: 'SPXCSN1R4CE3307S2PTG0CVPHSAC143P1F9TDY49 }
{ amount: u615956833000, recipient: 'SP1A6KAXF6QTGT8T8XK2MBJY9EWSG04TX4E7REHKC }
{ amount: u614554405000, recipient: 'SP1FNJR238ZYVKKJ8DNCCH3P0PKDMTSWW7T7GXNDB }
{ amount: u614100000000, recipient: 'SP20PX90HTV4ENVE0WT865FRXRDFJW4QB3KTN1PPG }
{ amount: u613800000000, recipient: 'SP38K852V8598YJ50JX710Z9A5PZ3REQNEGDB6Q14 }
{ amount: u612928000000, recipient: 'SP14V1TVRWWAZVN55ZS4VVGSTSZJTJSDQBSX46RGH }
{ amount: u612111726000, recipient: 'SPPPHVET2R9XJYER10ZTFF38H6K8A1BTZ318Z0H2 }
{ amount: u610826828000, recipient: 'SP289YB6HN00CGPA2EX5M0TQG761G62K9NRJSZ6GM }
{ amount: u610798006000, recipient: 'SP9W57QG4QEP8JDYAVQ289TB9X50ZFVR7CKYH488 }
{ amount: u609906560000, recipient: 'SP26GJFCQRE8DNRNENS7420VZ2D5K64WQVDFHZCH3 }
{ amount: u609256148000, recipient: 'SP1M57WH4EQGRYJD1N3BAPNCQDSY8D4YCTZAA5HBE } ))
(define-constant batch-12 (list { amount: u609172304000, recipient: 'SPP3SGH530GHXSW0XXCTZXGF8Q0JZJRZ4QBQDM4Q }
{ amount: u608845119000, recipient: 'SPD63E5WQMR9B2ART8M8HADE7WCW99B12EPSR91F }
{ amount: u608671905000, recipient: 'SP3PC1435G7PDAAJ323ZHDCXZDZNZRNB3NEX918NE }
{ amount: u608647414000, recipient: 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8 }
{ amount: u608471086000, recipient: 'SP20AMH2CVNNTCNFVE9ZHP4DPHCGS7XGB01FT1B1F }
{ amount: u607661599000, recipient: 'SPTBAXKRKT7EXTZ6QRZFG1145M0BZ0TTX3HJZTFW }
{ amount: u607421304000, recipient: 'SP16KMQWMF5ZKD95KCTA04FZPMZCNTGBBAPF33JN4 }
{ amount: u607081881000, recipient: 'SP3K7CGXJNTB7CE4B5438S9C14N5ERAR8Q5D0QCZV }
{ amount: u606500505000, recipient: 'SP319Q8EHM832CGNKDVJ0S9KB58Y7MKRGRYKK9C01 }
{ amount: u606404895000, recipient: 'SP2NR2625HB0YFFRFBD9VHVYESNY83VTMKZXMV6H0 }
{ amount: u606258386000, recipient: 'SP21W1KN6060FFD39W1PH8MF4C0A5ZS43E14F8AHT }
{ amount: u606225018000, recipient: 'SPV4J9YR6MK5JHK7ZX09XZKQCZEEB2SMBKH192SH }
{ amount: u605623008000, recipient: 'SPBNMD07T0WD2WJAH6JZJG07GYSF0X413V69J3T9 }
{ amount: u604185560000, recipient: 'SPRYWXDT40MRB7Q3AKX0FV0Y3K3CAK7202SXJPG7 }
{ amount: u603615022000, recipient: 'SP1QCMFS4X8RM65FQP02M7WGDHBZR5BXN8NJ741ME }
{ amount: u603600000000, recipient: 'SP276HF38ECDF9BEYCGASZSYQ0S0DH69JN9YZT5SX }
{ amount: u602614389000, recipient: 'SP213BBTNDYH92JNRZHSK5YEPBYSVRAFKTHFGZ1FK }
{ amount: u602512185000, recipient: 'SP3TKT08Y3NA1R6MYR4YVCQ36Q0EV0KK3Z2VH38G0 }
{ amount: u602080407000, recipient: 'SP1Y88QWTGFQ1MT7AWG7J30VWRBHY32786WNAZNZK }
{ amount: u601456202000, recipient: 'SP2K1HV8ZWGFDWBHP5ZERZX6YZ107PZF5CHPTT57F }
{ amount: u601182287000, recipient: 'SPX3YJHV9VEFDBZD7TNVMY9H1C32MVCPG1TWX74V }
{ amount: u601088383000, recipient: 'SP19X1QMRZ49WN6B53GCEFW61C1VQA5TYH14PJ3C6 }
{ amount: u600978731000, recipient: 'SPFJQ1HKXPHNPK9RWWT6V30B9HRA6HJC0QZYM9ND }
{ amount: u600791704000, recipient: 'SP238FEYA7NKJCJW9S13RGBS7RST1JAXAQP3C6J18 }
{ amount: u600583168000, recipient: 'SP38PWQVVQF0X1QJW7Q9SGGE3DG8BP80XGAM76HPP }
{ amount: u600578591000, recipient: 'SP2RZJ5BP36Q6NB93A4BSDEFGFPCBNKFJGSBC8KZQ }
{ amount: u600000093000, recipient: 'SP2BPMXD28RTPQF50CHSBMW3FECEYCCQY9931JNHW }
{ amount: u598994175000, recipient: 'SP175Y06XP69AZT4RE2D508Z15B8GNSC38PS1H7XR }
{ amount: u598611742000, recipient: 'SPBF32EBVVVTCBCW0VXTRPYBKFWC2ABZNKTF4Q9R }
{ amount: u598504000000, recipient: 'SP1PPVDFP39D06NA24W867TJH15T3W3AKFGB3PN62 }
{ amount: u598288539000, recipient: 'SP3GDP91H1SZQR207G8J55YCNSF2VB72DGA35E74M }
{ amount: u598034000000, recipient: 'SP3T8N2MVJ2F91ZR8V9RDK6AGEGR2E4QP3K34WQZD }
{ amount: u598001740000, recipient: 'SP33ZYYT3SD0840J22B4KYW4S5WK2A4CTZQYVRY9X }
{ amount: u597465454000, recipient: 'SP12HV1YCJQGESSVXEN1HHWZ1QDH7V8DYVKD0301J }
{ amount: u597437652000, recipient: 'SP1VJCD1WGBNSM8GQ61JYC84410ESV5DY23WFE95W }
{ amount: u596922250000, recipient: 'SPGBCFBM23GXYBDN6VB21DM00MJP5R0Y6VEP8GPE }
{ amount: u596913693000, recipient: 'SP2QSB1TB76VD7F40GQ09C8BYQP0TT01QXFCC1BC3 }
{ amount: u596641343000, recipient: 'SPVD9WAJYQ0TFNXBBQ8JGPXMB60BRZ24PXC2DMQB }
{ amount: u596493011000, recipient: 'SPSTQXSERCN7EHB6GXPND8NPBFXV0M9YJ3XY9561 }
{ amount: u595654756000, recipient: 'SP3J0Z8YSJD20TGEBE6M992CWFDG18VB0PR599VY9 }
{ amount: u595578198000, recipient: 'SP2G6BMQV77PRMEZ7Y5YCWV7B109H1N79AKHTHVX7 }
{ amount: u595050174000, recipient: 'SP09H2K84TPVK94S0JTA9M0W07K0GXK19K8RSQ28 }
{ amount: u594619272000, recipient: 'SPX5Q0RWNWGYZXVH1CKJJYJXCR5VD8K00CETHTB9 }
{ amount: u594480868000, recipient: 'SP31GE33QBBC8NCND3GQYPQ1HJ19K19B83SDYKP56 }
{ amount: u594166737000, recipient: 'SP30CZW1HWF8D83ESGVPY2KKPHHFN5Z1FBTG7EW0X }
{ amount: u593931833000, recipient: 'SPA5H15427W0V7K7FK0B9V202KD421W4Q27T0G7W }
{ amount: u593838226000, recipient: 'SP5QYTM2RY2W2QTKQYB8S098CS2WPGKAQRYNHX0Z }
{ amount: u593178081000, recipient: 'SPHG0Q9Y9PG8J15F0M2XSD5EMNRD1RK7J5X0CN9R }
{ amount: u592996561000, recipient: 'SP1ABX5AQBSG2ZNA4ZEZG506BXAC4HE0699GQFKZD }
{ amount: u591163539000, recipient: 'SPBR8M7XAKCSWZD908Z7D7F093ZPXWRXK212KJGG }
{ amount: u590743549000, recipient: 'SP1WAXWGPFR55H4J7BKNW70VSYKNVNJNZFPAV6H3J }
{ amount: u590416603000, recipient: 'SP3XHH61E6ZK1AE7P80VDK6RRDANBG29AQRKTT4JA }
{ amount: u589067171000, recipient: 'SPPX467HCFN9M37191WRMRYPQWQA2W492AQFXBEN }
{ amount: u588970923000, recipient: 'SPX2N6YN86G5WWK2W7ZZC5581JQ24ZTVEY639HMW }
{ amount: u587508773000, recipient: 'SP3GA5R7MNK6B5YY4079RQ16DNDSNFTDQW1WB6MJ7 }
{ amount: u585644427000, recipient: 'SP1NBKBB8E5EG8KYYVMKNYGTS0FPBJG8ME9Z6E0J2 }
{ amount: u585256167000, recipient: 'SPCBSEFK92MWGTC5G5MR2YC9ZJ8MVYN8PEBBYJQG }
{ amount: u585015081000, recipient: 'SP3Z7A3YGMS06HCWY8KS9FENPE65YNK3MYJK0WJJX }
{ amount: u584981257000, recipient: 'SP1GDMV73GTD3GET0XJEHKW52ZVY3JHK883NZESRH }
{ amount: u584685183000, recipient: 'SP29DWJYKWQ356T8DRGE7BG7ZMPTC1Y7JY97TEVFM }
{ amount: u584633330000, recipient: 'SP1D9ANQWZGVMYQAKJQXSZQ4T1A4RMB6T558W5G5D }
{ amount: u584421685000, recipient: 'SP1BMY6MDR91T0C84MX4RBWBRSD2NWFDNS4BR5D1M }
{ amount: u582921310000, recipient: 'SP21VW7PCJ4QRKSGYKB8K40EHAZF2P8MQHZXCR2BM }
{ amount: u582787638000, recipient: 'SP28RZ1QXMXJXVKRRCR3D7GR5D48XY0NNA9MZWHJB }
{ amount: u582742047000, recipient: 'SP2VZGPHADNHF1MN5D76HEZR57TQSEE316SWYYXS6 }
{ amount: u581546742000, recipient: 'SP1MHFCMZRDM41MBG73MXXTYQT06BCBHY8932W7V0 }
{ amount: u580807483000, recipient: 'SP24DXWGN48FBZFG5B4A3BGGBN25ES2GF5GTZ6BWV }
{ amount: u580631919000, recipient: 'SP1DPXTZBA83PP7AGT94C9N86JPAM6TYJF96QK8AP }
{ amount: u580507023000, recipient: 'SP2R7ZQ4RYP8BHCXEDE2V3KQNXBRC6Q3YT5V8XHND }
{ amount: u580210487000, recipient: 'SP37G8PKNBGTCR5442694RERVJGP5YC816J1R10DF }
{ amount: u580017237000, recipient: 'SP1JB1DTP4WS23BXQ43D076Z8D0XSZX2ZXMN86DCE }
{ amount: u579963026000, recipient: 'SP3SQ6E615CD45XAZY0DWCWP7AG7QSMWHWQT220P1 }
{ amount: u579407790000, recipient: 'SP1571HEM1HNVPMEF8KBM84JFGRPWBQBBCCE35EFS }
{ amount: u578989000000, recipient: 'SP26M5FNTJ9YKMA9VC10EGB2YFFSSS1T60ME8N1GW }
{ amount: u577823815000, recipient: 'SP2JD0SGGXSRS7M5EQ9W7DD42TNY9R4Y1XKMWAZ56 }
{ amount: u577304086000, recipient: 'SP32V5EAKRWZ66VVA67XGDK18VYMZM5NT7NP98M9 }
{ amount: u575089008000, recipient: 'SP3M1G4F33C0775Z4TYEWSF12175RWPTZBS25MTHZ }
{ amount: u575076053000, recipient: 'SP3TFTV76B7E6ECE096MFTQ5Q15J6T2PVTN48BCF8 }
{ amount: u575044489000, recipient: 'SP226NT0SPM9W2S1T5F86BWBS1B1ZDGJ2PP38Z9PT }
{ amount: u574527000000, recipient: 'SP20JKK4RBHS5NWB4X74EN15Y6P3QHTVDWZE2FE4S }
{ amount: u573470219000, recipient: 'SP1W9Q7QEQ5QMEZ6YG2WG4NPBBMJSB4DBWYK31TSJ }
{ amount: u573362509000, recipient: 'SP27TH9JWQ1EJR8A1JGV9AAJQAFDP49Z6573X7551 }
{ amount: u572833392000, recipient: 'SP3H5H9NQHBEQ72QKJN0ZHZWH03C16H900HY5T7JS }
{ amount: u572451764000, recipient: 'SP2D2M4G94PBW4QTZZ5VPXJMJT25AKNVB5GNC6N88 }
{ amount: u571142167000, recipient: 'SP3K2ZCQH0Z7FXTGD0HKM1E31HW16K7VBFB87WT47 }
{ amount: u570857587000, recipient: 'SP2EZ3WVTCZ415G25DRE2NRBH5EY27WF385KM8GC6 }
{ amount: u570174133000, recipient: 'SPN07T1SBRS2J15NE3YRST1YR80TKKFX89FEEVW }
{ amount: u569338623000, recipient: 'SP23E1ZQAFFASNS8XT39E8Z3J41066J7772FWMQ9M }
{ amount: u568880125000, recipient: 'SP34DVPZ4K4AMZTEJ40WTKF5GEDHC50SNVQJKEFTW }
{ amount: u568855044000, recipient: 'SP19J7PRS3M109K7K937VAYGF05XDHDYKASC941C4 }
{ amount: u568573845000, recipient: 'SP1T0TPP7W9PD4KPN2JVH5QB7KMJPRTVQ0Z4JJ3YT }
{ amount: u568254953000, recipient: 'SP2WHSFV0K0Q38XP1JJNAEBP2K02VREBJ7EFYNMCT }
{ amount: u567623123000, recipient: 'SP3B915JZZPTFBKGTB69V5N2NSKEK3K8QXVJKTBQG }
{ amount: u567404395000, recipient: 'SP2TMQJNV8H95SBCF3Y0MJK7AD6E6323P0KPR57BS }
{ amount: u567339484000, recipient: 'SP18NKQ1KH9RAEKGAE57KNNTKQXCD05WRG9T0MCB6 }
{ amount: u566195460000, recipient: 'SP2E60CSEFJG3TNQR1P5H4D9RYP8MJ7FW0FVCSR34 }
{ amount: u565537872000, recipient: 'SP1A2Y54GET3Z63HQ80RM2Z7ZNGQJVPGCJ8FKD0P3 }
{ amount: u565117979000, recipient: 'SP10QS5W2570XD9SCYEV90S89N5PR7EXGMQ4HWF9Y }
{ amount: u564220387000, recipient: 'SPH2TWXD2HHDQ8YYT174055RJJA0GCE3JWCZMXX4 }
{ amount: u563450997000, recipient: 'SPGBW2J1V0XBWKBBFF5HZ9ZXR1JDPRAD6KNPS5VJ }
{ amount: u563392231000, recipient: 'SP2B54W75A6YEW5GTFD4PX74CVQ5N96P374HNFVAS }
{ amount: u562524000000, recipient: 'SP1ESZ5BN562YXXBR00B2D7X6WPJ2MDQ94F7NPKX3 }
{ amount: u562481606000, recipient: 'SPSDZ5BAZGVNSXBMMQX4C65NYVX2HVEX8ATPGSM6 }
{ amount: u562049886000, recipient: 'SP20G88SM6B7ZKFCGRYFG6XWXGX8DMK02XK2ASJ0E }
{ amount: u562005403000, recipient: 'SP2TKY5V50RT572S11VTZN4M6XSX5FD213QARN9Z9 }
{ amount: u561605273000, recipient: 'SPX3GSWCY85SYZWM0TMGDJ2J8VFA53ST91ZRENG4 }
{ amount: u561257000000, recipient: 'SP2GMZWPFASYX2H2RJK2M63MBBZKQ9FN4M707REF }
{ amount: u559514840000, recipient: 'SP1CH3DW21W1XFZVXZXAFPZSQMKMJBHJ6M4422J93 }
{ amount: u559495800000, recipient: 'SP1YQDFM53KNX0GC5K0W6FVMN8Z2RC7HX53VKEZ1H }
{ amount: u558771652000, recipient: 'SP3KHS1XTDWY09WRY43WESRFGKX5EENFHGXQX07B8 }
{ amount: u558225541000, recipient: 'SPAQ33PPPEXXVCCJSYPGQY6CGY3SB9CGFQG70PWK }
{ amount: u558062523000, recipient: 'SPHC1E8JAXMH8AVJSSXZ6TV3ZA55WAHYBMK59A5K }
{ amount: u557968495000, recipient: 'SPYD33B1KDVVAH0R6RP57YFY9F8D62X7276JQSRJ }
{ amount: u557787698000, recipient: 'SP20FVKM19M5D0S4BS3YWMSZ86TS2QAACZPS2A2XE }
{ amount: u557227000000, recipient: 'SP1R9ZSWJ9S28VGKA4Z329BJAYVKF9KJMHE37K0F8 }
{ amount: u554439771000, recipient: 'SP346QMDV22J8FAR028GWEF1N3A5BFP02QEYW0DQY }
{ amount: u553735092000, recipient: 'SP3TPWRHRM7M9ZK8PVMPT7XQHHYT44VEKSFVY90E8 }
{ amount: u553607411000, recipient: 'SP1SWE9XK3XRJN39S9YPXFG1F5Y49HESF0PQH6K5T }
{ amount: u552892811000, recipient: 'SP31M20NRFG0SKVXATPFB69NXZVB1085XFRBSCM11 }
{ amount: u551878619000, recipient: 'SP24VNDY3C7BXA33A255DPSTK76HRBVD2DRGCKJ7Z }
{ amount: u551850937000, recipient: 'SP18AK6JGQTN1XVAF7PGX8Q4P9AAFPXVJ4Z1MYRHG }
{ amount: u551730000000, recipient: 'SP2SRVQ5C3DJG4XT3VYYYHM6JJNCYF85SFP4PGVTG }
{ amount: u551483100000, recipient: 'SP2RFGZ9WWXV3CZAR9QR94FHJ1WVZ59SF8J6QEA0C }
{ amount: u550722329000, recipient: 'SP1Z80QY12ZHKVV59KR72SJ6ZPJA2833VKW53JHD5 }
{ amount: u550697056000, recipient: 'SP2K04RKSPMH0PHVEH0WZNCMN0ZFM61ZTE1JF6SJM }
{ amount: u550592263000, recipient: 'SP24ETGP5WSH46PJ3AJJ9NWYCCTKNYRYRWG5JXR19 }
{ amount: u550102166000, recipient: 'SP1ENHGM3X4VR4S2CAMQHHA3349NCDFWZ8F4FYY96 }
{ amount: u549033131000, recipient: 'SP1ZM4WD2EAQ60FR33RW7XRMHGDBDXTJJMZPBAV8N }
{ amount: u547982333000, recipient: 'SPF59NPZT45119BPJRW24Z07MPR52MHKPK7CZN1F }
{ amount: u547485478000, recipient: 'SP3JRHW6MESKE576TAF36DM3TXG6D9S6GZXHB37V1 }
{ amount: u547120134000, recipient: 'SP33TW6YMSZXWH5GSPKBHXYRNRNTEWY89N5QF4V27 }
{ amount: u546836612000, recipient: 'SP3Q8NC2BPH549FB8BTM9SMS5DSG08XQ2RJP3SQ0J }
{ amount: u546611363000, recipient: 'SP3FYQYV42AV9E1NFTS85FJTAZY0VP97K6N2S8Z3V }
{ amount: u546394956000, recipient: 'SP3V8BF64NBJ06G1H3Y0SREER8PBH48ZC114GA0AW }
{ amount: u545534879000, recipient: 'SP23XC8GND78XJZDA8ZVDZWSA8TC9FGKG33TGASVT }
{ amount: u545400000000, recipient: 'SPQXHN38349EEHJYG6GA39QFAJP01JPTBFTDDQ6E }
{ amount: u545241354000, recipient: 'SP29B3R36ZTG06AEGGH4GMDFNCNC2525M946B7S5K }
{ amount: u545239823000, recipient: 'SPX9M0GHFVE82V44JPBHJPY9BFES52WKVRR65M71 }
{ amount: u544621612000, recipient: 'SP1RJ530AMMT8GHQXTWGA71RXED06WGRK9DD04933 }
{ amount: u544398100000, recipient: 'SP289BJDC6DGV2NF36M18RDYFXNW0YGXHKPN74Z20 }
{ amount: u544375000000, recipient: 'SP3WJGE8DEG71579V6RAD7T0G3E2NZ3XXAG5RHBNX }
{ amount: u542500982000, recipient: 'SP2EQ6W51Y4Y4XC1CF9GCHSYPM4ZFC0TQR2TNT138 }
{ amount: u542484805000, recipient: 'SP1ZMBTA5PZMPP3ZGQ4PVAYJ8S10TJ4WZEKJ0DKN1 }
{ amount: u541734907000, recipient: 'SP1QQHRF7HTB89WHS2P7A8RR69P4WGH41D1MM62Y1 }
{ amount: u541262116000, recipient: 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF }
{ amount: u541197309000, recipient: 'SP1C5GJ8022N6NKMVMZ65X7N419CDYXC48N3DGHG5 }
{ amount: u540397353000, recipient: 'SPKPCTHXX47GTG7CN7F2SWF1Y17EH7PECW6Y1RS0 }
{ amount: u540120121000, recipient: 'SPKBQWPWEB4N8S4XPXGPMSZ20X8MANTZ1MP2514K }
{ amount: u539838984000, recipient: 'SP1DKZVND38D35PVZ7Z3A9GN6RDS1AJTEKTEF9HAX }
{ amount: u539444154000, recipient: 'SPT4NCX0Y6TFGATHNQJ1R73T4JGAD59235AP2DFJ }
{ amount: u539420138000, recipient: 'SP20MEDNQ9ZBF6ADVZFEWRH474J6WHJDD8N06NGSJ }
{ amount: u539297539000, recipient: 'SP3VSH6NQX0N9Y1JFNFN4E3AG6HTP161CRW3XXD1B }
{ amount: u538962718000, recipient: 'SPG4AEGWREPCDW8YKXATZSANR4G9ZW2BHBG476XJ }
{ amount: u538878544000, recipient: 'SP16WB75QXNHZ9FYF24WMTAS801H43KBVS0PJBQB0 }
{ amount: u538530000000, recipient: 'SP3383VY20PJ2P8ZNEGHK9ZWFMMMZMWBCTYKHK9VE }
{ amount: u538414809000, recipient: 'SP398DBS6BKJ1VH2RCXRQDPM05GP85N4S8GAGT5KY }
{ amount: u538092870000, recipient: 'SP3GHPGVZ5941TWTABQ43Q9GFHM12VCW495E4FZNE }
{ amount: u537569444000, recipient: 'SP1E30ETFNGC4YNR7F9D2PG2B04Q06FH6RJZGMTSY }
{ amount: u537499906000, recipient: 'SP1RNQGAK02DW59BQ3S86VT4Q4FJBQWDKZ0G4J8Q1 }
{ amount: u537232978000, recipient: 'SP2W7B2Y7FQM4QGX6THMBT8491017TFMQFWNFNCV1 }
{ amount: u537113497000, recipient: 'SP3JMY85ZD5E8P8XQ0QVFE23RKDR3PSQJHK0CHHN8 }
{ amount: u537094010000, recipient: 'SP4BE6F6G7RQQKWERRYXRNZXX2RZVDZSQ6EQ9ETD }
{ amount: u536661436000, recipient: 'SPXFDTV5J6V9Z96ENDSG2J4D2K3YP5YPX6FTH18E }
{ amount: u536483000000, recipient: 'SP37Q9MC8Y2ZZGNKES6B5VFF4J127WY0M1JTNPXRX }
{ amount: u536454393000, recipient: 'SP3YWSZSDFJ505AZCF3HRE6FQYKSM990SH19DAGWB }
{ amount: u536247375000, recipient: 'SP3VJR6HPGKH5VBMNHRXHPQXYH3P4BWV696WHF594 }
{ amount: u536237626000, recipient: 'SP8CES750HT85F18CH8QTASH5VQ23V9Q8S6EXEAK }
{ amount: u536234416000, recipient: 'SP3HYP43ECKG364QJWC7EWFD26BRH28P7WZNQK65T }
{ amount: u536233461000, recipient: 'SP3QF39C7X6PXZ485W2VTX19BB9A8YKHRC47XN70J }
{ amount: u536230888000, recipient: 'SP25VMD4NQMRJHBHYBGYH8S8MM1FN0YPB86CWQNV9 }
{ amount: u536031377000, recipient: 'SP3QCV9MZ7SNJADCVCJ2FGA5M9CAASGW2K7XWR56K }
{ amount: u536010626000, recipient: 'SP3R7MM1P5WJD072M6C0X9NFMA6Q2D7BCBYA4THMD }
{ amount: u535767127000, recipient: 'SP3MK3NP1G7K6S56VKKRAEE7P8K1NM1SPBQ87B3D0 }
{ amount: u535017769000, recipient: 'SP39QDMXZPH5FBQN39X1ZGK9Y720HNX76SB8MMSJJ }
{ amount: u534892262000, recipient: 'SP8HT5CDRC2YX1B5A2Q2QP9H9PPWD5443FNYXR0C }
{ amount: u534678569000, recipient: 'SP3PW2R457M0CP2TQR8NXKE57XZENEPXZT1VRVBRR }
{ amount: u534236706000, recipient: 'SP2MJ5EDHP6BPZZBC1VDJ3TP5XZJ0J8E5H311QT8S }
{ amount: u533290952000, recipient: 'SPXRZBXWYTY6VYAMRWYG2G4W0K0JVEKTB8E1WYN0 }
{ amount: u533184243000, recipient: 'SP2Z2AQM22D9AZ5YZKZPWYBFWKJ7YGVVWT1C5M66P }
{ amount: u533183434000, recipient: 'SPHMK6FQSXZD5PA8N473STZC4GM414SS4WR64MJA }
{ amount: u533131904000, recipient: 'SP2MGQ0V45X8CQVTKAGJCGNWXJSN2RFB0P965ARAT }
{ amount: u532935413000, recipient: 'SPHZJJXGNCT8R9XZPNNJ8FJ464SKPTBN1EAEAYSD }
{ amount: u532781442000, recipient: 'SPTJ2PQ6BQES87A8XFQG8PPP163RZSMDD0S2W9FS }
{ amount: u532768724000, recipient: 'SP1YZEAK3VKQQY4FQHM818R86XHDSJJPMCKCNCKGN }
{ amount: u532117246000, recipient: 'SP3VFNPVN51ZYJ6PSH9N0BJCJRRDDPP44PS498EK1 }
{ amount: u531428064000, recipient: 'SP37AGBMAEV4G48181DPF9Y8D68MT3YSB5A8EMJQC }
{ amount: u530899578000, recipient: 'SP2D1ACK5MRGJ0CBK5E0WPKYJ2DPZ8674KZ1N96CW }
{ amount: u530878065000, recipient: 'SP1Q24345A04F8AZR5345TTM77ZTN2QVGC3ESQW56 }
{ amount: u530563896000, recipient: 'SP5JH9SZVKJ6EJ1820BC44Q130E8CGS1H578JH98 }
{ amount: u529715860000, recipient: 'SP3QCXX0X4J2H1FDATJK3XQEXSTJGKZBGTCNZMJP1 }
{ amount: u529563099000, recipient: 'SP168E0R66D87C4M3CDVZCK4GZG35NV3XVZ0BJEF9 }
{ amount: u529066683000, recipient: 'SP1M3C0EQMAYQ6MZHVSF1A6KQYZAQPGN0GNHFQ0RC }
{ amount: u529006592000, recipient: 'SP1CT78CVCSCPKV9YVVYZ81X9JTMAHMWBS90B5YYH }
{ amount: u528299883000, recipient: 'SP1WH4R107P7PZHGZG9BRJB60ATPP0NEDTZ4VFSJP }
{ amount: u528087425000, recipient: 'SP2MBBNPKEX67FR5CRR5MN1F1QZ8DQX99V4H09EBA }
{ amount: u526098591000, recipient: 'SP2GX4FRHE62Y8BVR7T663TP06A3HT5F3MPT9JRFA }
{ amount: u526044763000, recipient: 'SPCAN6YWKEVCQMMN3K0D4P95KXMRJS7S2KTN6BXQ }
{ amount: u525461114000, recipient: 'SP29HHTY7TJ39NEZ9DESMDCVMFDQ8MY9HM3VKPFNZ }
{ amount: u524398110000, recipient: 'SPK5NKAQTBGSSHZ0VN8PJK7HR5JYKA7EG9HF6M6F }
{ amount: u524376078000, recipient: 'SP3ZMRW01TN27C9X2QDX3WE01YQ38DEJE5E2B1GNJ } ))
(define-constant batch-13 (list { amount: u524251082000, recipient: 'SPBCMGYYPQ2E7YQ6SKXV1BEDJ1MV217WC6THYAZV }
{ amount: u522771755000, recipient: 'SP3BSWJTYBDJGDGZ54T4T0NMBGQ6BBFZCWD44VMH9 }
{ amount: u522233000000, recipient: 'SP2ZZDWG7VSRW5R2HC9SXXFYWXAV076ZF38DA89R1 }
{ amount: u522059406000, recipient: 'SP2H08EVVPDYB8XZA1M73SZBQARET2WE6Q9GSK6K2 }
{ amount: u521661380000, recipient: 'SP3CK3FJGD0YAXRQ3Q2EX7PQDQK5R92MJKJRYSQXV }
{ amount: u521425308000, recipient: 'SP3Z6HD9R839QKH7N7AEXQ16ZGB1P1K00N3HPA7Z1 }
{ amount: u521029340000, recipient: 'SP2155Z58KGH9GRZ7XJDGC6MZA2YY6442P5DFQ6ZY }
{ amount: u520611432000, recipient: 'SPKW74F9XYCWS262PJWFR1G8YKBT0371BY8DMGRB }
{ amount: u520019336000, recipient: 'SP349C6RAY0VS3TR7536B1YKMJXPBMPZPQ629PT0Y }
{ amount: u518867736000, recipient: 'SP34WMD8NXF0BQHCT01GR9A607P25TRYQ2V64QZ2Y }
{ amount: u518623432000, recipient: 'SPV07CPEK1CHWT1BVS2N6AERC1X714FRAPH102AG }
{ amount: u518457589000, recipient: 'SP20JWK9382HEXF46RDVDGM92TQDF8YJHA4DE1WJF }
{ amount: u518076023000, recipient: 'SP2JSENBV76744YRWFPY588524ZNYFGK8RZJWFF8S }
{ amount: u517695162000, recipient: 'SPYX0NG6MKR0K78QNHK9TWD704T8VYB5NZFYFF2M }
{ amount: u517336745000, recipient: 'SP18H70JQJB6CMMXXPC99Q1EB05X2V4FF6R796QEP }
{ amount: u517279394000, recipient: 'SP37HEXP81KEHTPGZ89XR50M04KHZHQSMPBDYPZWM }
{ amount: u516424249000, recipient: 'SP1W13VWTCM42XKG6FTXNH78BEKJVYG3XZB9JT8KX }
{ amount: u515990346000, recipient: 'SP32S82CDFQQTQ2XETB68A2AA9AS4PEE3ZXYZBHBT }
{ amount: u515915277000, recipient: 'SP3HJCTH4PHCZS164WXM8BH5NR2NTYKV5M6F8HF3J }
{ amount: u515130022000, recipient: 'SP0DJ1WEG91G0TA86F2EZ8DK23BT0WS0PME3ZWNE }
{ amount: u514989355000, recipient: 'SP329XX3PSAB2WZZARW39K25B275B62A7WENEY4Y }
{ amount: u514403356000, recipient: 'SP20W8F3AY6KY8DKYZ24RBWRZZ9PVS64J9Y9A1SY9 }
{ amount: u514091512000, recipient: 'SP1C836TSGVX40TJPJYZ9X5WSZWQXVTXJ6Z6GWK97 }
{ amount: u513963592000, recipient: 'SP2D3FZEX53F228S8D0YTXF4R1EXC5SMS81RV246N }
{ amount: u513754432000, recipient: 'SP249H1JFV31H5ZXP4AAQ137HPCQSQ5D37WMQJ4T5 }
{ amount: u513724809000, recipient: 'SP1JF9VSNJBP4YZVC7AJ9CE6CXBD2ZV0W67T0E4T0 }
{ amount: u513228962000, recipient: 'SPEXF7SX9J64X494FY1N9Q71AERKX69TJFXATENC }
{ amount: u513178612000, recipient: 'SP1GKBCNG7F0TF6R9NQQRH1R6BMQZZW5DPYW1C515 }
{ amount: u512962632000, recipient: 'SPC94GM9GP9S0D7R5ANEGZJC1B3KNZGADG89H0JS }
{ amount: u512877875000, recipient: 'SP1WDAV930D6BN6NE4N4JV864A7BR3VJR80A3VYMM }
{ amount: u512752792000, recipient: 'SP3XYW6CNVQHQFS98A57YDMEDY6YXKXW3HT82C2YE }
{ amount: u512085784000, recipient: 'SP7RTNSE4QEA7D5D6GG9EXQEPJTKZVXNK8Z0859T }
{ amount: u512066021000, recipient: 'SP2T2TJA5VSWE8727H5RV3MY9AAA8TP2JM2AYQ8F3 }
{ amount: u511784592000, recipient: 'SP1MHTDKACBGWKQR2K8KE52PX3JXY8KNB4Q8H3YXJ }
{ amount: u511633245000, recipient: 'SP3GGV466FC44PMKCG8D3ATNZKV3TGVEJ0XRSK61C }
{ amount: u511589911000, recipient: 'SP1ASRP257FF220G7ZMJ8A7V0E41DVPHKKXA74142 }
{ amount: u511426668000, recipient: 'SP3BE518NA4516EQ80C1XDDX4GSQH4BS9TC99QGRP }
{ amount: u511214412000, recipient: 'SP3G022QFZ5HEG9TWKAZ8HHV32CAWNVREVWNBMMAP }
{ amount: u511028827000, recipient: 'SP4468RQ77SF9MYMZ857ZYXEV4EYCB8YRVMWPYDV }
{ amount: u510990000000, recipient: 'SPECQ55EZ6095WRSBPWT6WKWB9RP04Q6G1GTKGNC }
{ amount: u510781794000, recipient: 'SP18XYN2NE0RA04DPVBQK3JCPJ6TCZEWEGB6XQ9NC }
{ amount: u510138244000, recipient: 'SPZZ5SGACX68V7F111HSYMS6GG31NKM4BMJ44ZDP }
{ amount: u509877492000, recipient: 'SPSAQVX01P4BWSRCHAACFY6DQP3G1367A578XWTM }
{ amount: u509580885000, recipient: 'SP343RH8VNBFD22Z9BDXDKB778P6RHYR57C73SFJY }
{ amount: u509233047000, recipient: 'SPVAFZC5ZN181KTT3HVB2HT1WDX0GWJ2WZPPJKPV }
{ amount: u508727215000, recipient: 'SP24W70P168N3SDARXJQY8JJKRJ52NKFX58K20KH0 }
{ amount: u508020390000, recipient: 'SPEKXBV3NJ8S4YKFPN68VRPSBDPRPRR03MKWZDSH }
{ amount: u507664490000, recipient: 'SP3N7GQ811EX9DB0B68E5F7EKAVQNH1ZSDM8AKHNV }
{ amount: u507614052000, recipient: 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3 }
{ amount: u507105281000, recipient: 'SP2BQVDA9AEZTKVY5E9719GT12SCPWGSWA4GHGR6V }
{ amount: u506946000000, recipient: 'SP16XVENYBP7MC6HPT6TZGZYDAJ5E66QJJCW38RPY }
{ amount: u506564000000, recipient: 'SP3Q099FEW7XPAV8ENS6N8F94STTNS7SKNP85680 }
{ amount: u506059049000, recipient: 'SP1JBBGYFQ7M19C2C8N08HGP3M57NZYE3QZKKT79K }
{ amount: u505718748000, recipient: 'SP3SYJBGR86ME814QX77HYJDXBGP207APV97CJVD0 }
{ amount: u505547820000, recipient: 'SP38MM954FT9HY8JQ7QKVY87N249H4TMS8603JRA8 }
{ amount: u505173356000, recipient: 'SPQ97H2H7RPWWH0V7ECQ1T0XYJD5FM8VYRF6HC5T }
{ amount: u505057947000, recipient: 'SPTGXPJ8ER6YK7D4RZ7755JJA1FEP41FD6WBX5HF }
{ amount: u504618514000, recipient: 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP }
{ amount: u504478346000, recipient: 'SP6DAB7XQ8YE8WM37JY65M9BMSC7572KY0ZYFX4Z }
{ amount: u504343851000, recipient: 'SP1W3673QM84FXM9N48JYFQ1R69NB75VBVDZM83DF }
{ amount: u503892493000, recipient: 'SP39CFQ90FH8TRR7ZF3CQDPFZZFNESSAP9CATW7PA }
{ amount: u503152996000, recipient: 'SP1GVEK8DFE8XVQBH2CC73A5Q6VSRMKFV2F4KTXTF }
{ amount: u502904787000, recipient: 'SP3T61G48613R7W7EGPR6DA0WR5V6BCVM29QGGS7Z }
{ amount: u502685626000, recipient: 'SP2TR2JH3RC8P0CYBZM5NH70K8ASY0BJZNXSWWYTD }
{ amount: u501720120000, recipient: 'SP1H4XQ5ZD9TMX3V9SRFRNDPR3PCX8KMH4BQSH6PG }
{ amount: u501666412000, recipient: 'SP4H73M4QQY0Q3NGS47ECKJV9TBJX7G8VK9XFNF4 }
{ amount: u501204310000, recipient: 'SP12TEBDSJ2K077QHVEEH6JMXYRQXS85E5JHH2J3X }
{ amount: u501000000000, recipient: 'SP1SYRJ775P1M6PDS8PTPRHX608M2AR4F6R3NV17P }
{ amount: u500713658000, recipient: 'SP1F0FGSTVDCWENN6621SZ7N3ZYSVPVW7WKFSY62G }
{ amount: u500550780000, recipient: 'SPKR1JG6RKDCA6DHPFC8VV5KSDKMBC28W3DZ89PQ }
{ amount: u500234596000, recipient: 'SP3107ZXP26SVYSZ6EXWTQN1PF4HEG5T9VQC5QBV2 }
{ amount: u500000000000, recipient: 'SP3FSFE57KBN7DAPKAXR3087JWZBG5E3KY9AJGCS4 }
{ amount: u500000000000, recipient: 'SP4GQH96KXSJ6GMDVD0X0VE8HVPCW67VJF4E82X6 }
{ amount: u499000000000, recipient: 'SP1NECQ47EZAWPYQ3HQF0VBG7TE7V0FMXBD0XDDW2 }
{ amount: u498895374000, recipient: 'SPPK6J4GA79S4C7ZEFFWXG8GSWTTXT4B01QGSYN9 }
{ amount: u498458912000, recipient: 'SP210WXSDS951C29XPXG2QJ402B7R71DC959N9PHQ }
{ amount: u498441478000, recipient: 'SP2WJEGA12M46EW6KG2T0B5339N28QB8GYAMBGRYC }
{ amount: u498046292000, recipient: 'SP38H62AHTGBPFDTVNQB6EKCM0N4A91NC8C4CN3PV }
{ amount: u497795250000, recipient: 'SP2X90SHQK14SRQ78HVZHMHFX5WKWRP7DXBJPPRPT }
{ amount: u496598706000, recipient: 'SPQGY7PZ6BRV0TAZ3MSJ9FJS3GENYGF08K94EY44 }
{ amount: u496543724000, recipient: 'SPDSWX822BVBPZ9AWEFKPG5GB33VKGRJ64HC5MEG }
{ amount: u496082947000, recipient: 'SPSARMWQ1Q4QVHNMX4SQ6V0NRKEJFY2R080YMR5F }
{ amount: u495522592000, recipient: 'SP2180XRGMG1J5FV4X8Y4KXSR8YAXJCKD7RH74B2Q }
{ amount: u493687824000, recipient: 'SPGX684DK1JF40XWTKC6M9J2E7SC2T0GJVW1DQJ1 }
{ amount: u493071330000, recipient: 'SP194FX80V00EH31EZQYEA3PE2G3ZT8R06RH7DWQP }
{ amount: u492628801000, recipient: 'SP3W7RPGMAP4FD62APDMMAF4JY8AB33PV0RE0474D }
{ amount: u492597133000, recipient: 'SP1EJZFQ4M933ZCNBCFSPD7RK72455HY63QFRZ97P }
{ amount: u492252127000, recipient: 'SPK5VHX0CADXND0HPQY510WKCHRWP84H5XCK14AK }
{ amount: u492150335000, recipient: 'SPK8X8Y4BP5JFCW1XQN58V6M5GN4W9FV5D461SH0 }
{ amount: u491653508000, recipient: 'SP10TGHEHJ9R17X67B4932ZCBTNC3VJR09Z9AJHWZ }
{ amount: u491474415000, recipient: 'SP23GS4ZM9WHXJY32XJ248063PADY0A792ZTSY4PF }
{ amount: u491021017000, recipient: 'SPZ64T9DSFFXNX8JQCTDSTQDT86N64P4EKHJJCW6 }
{ amount: u490494816000, recipient: 'SP1DK5VNC3GP28Z7VKJ7VKJ6RPCNKWETAYJ4F53KJ }
{ amount: u490032899000, recipient: 'SP24C0E8FVV0JXCSNC965V3W3FKBGZ2KEQ3FQQ5S8 }
{ amount: u489814949000, recipient: 'SP3WY7JTV6NQVMA7XG0JD76RRVQQ63YH06Z5W8VKQ }
{ amount: u489012677000, recipient: 'SPWVN0HJ5RJJWXPAP5JFNZ9Q0V68TVSS1WSG45X6 }
{ amount: u488741359000, recipient: 'SP1QZ4ND9MCNSBDF2J9PKQ9X73YXXCJS24VQZDNCA }
{ amount: u488706948000, recipient: 'SP1YWV2TWH3XRR4NR88Y3YPDPJRDE9PK7448RVS6P }
{ amount: u487919097000, recipient: 'SPWKH42P3D69KQARMEACZ71K4MVD6G4R972W8FMA }
{ amount: u487843035000, recipient: 'SP1WS2NX17XVVCRCEDPFNJCCPX35NR1MNC9Z00KG9 }
{ amount: u487536084000, recipient: 'SPRZT3YVV9BG5VF1STP14Y7Z7CAB7JDM6TMEQRYQ }
{ amount: u486418695000, recipient: 'SP3J4F1931GSKJRMZAKNQ9692230PCARTB711PBR9 }
{ amount: u486229623000, recipient: 'SPQN8182RWP4YZ2EJN5TQM5RNN1W6PWPDNSFTT9G }
{ amount: u486123657000, recipient: 'SP1G802J4QK10C6D2XCZA0QDGSC992RHNY8DP316Y }
{ amount: u485452000000, recipient: 'SP2093062RWWHBKEF6NXSXGHZA849FFSFEVAF78BN }
{ amount: u485424895000, recipient: 'SP1796BYQX5QVEWJ5T1P841ZW6768XZ0SHSR2FCBG }
{ amount: u485281407000, recipient: 'SPAAFEBEGNRN01W4Q09BADBPZQP2TY3AW91CN4SQ }
{ amount: u484967122000, recipient: 'SPVMY3KNEF6VZ6NXG0VCRR88XGZQ6AQQWB9ACWP0 }
{ amount: u484899312000, recipient: 'SP26054S7H8QH9PMKMH9N4GZG5KE4PA3KZBP8R2W0 }
{ amount: u484014060000, recipient: 'SP33B8KPXHM4HJAPE6H8HBJ9TTTDXP61MS0KGK8CX }
{ amount: u483344339000, recipient: 'SP31NBMQPWYJ4D57YF4P7C8WG6TH1EXYT3N462EER }
{ amount: u483084643000, recipient: 'SP1C1HNXKT4Z37W8KR2JGGNDK99SR46AT7K05TD87 }
{ amount: u482974264000, recipient: 'SP3EXR88VX2NZT1B5HYM8S3K865Z1MVQDNNTZG5QJ }
{ amount: u482970753000, recipient: 'SP24FP93P9Z0NKAK4WST41CA5FYT4867B439G9JAT }
{ amount: u482952508000, recipient: 'SP55GGYBKKYSDRQ32J1X755A2M9MDR7HYA2D0RF8 }
{ amount: u482877293000, recipient: 'SP12PW5NF1BCAPK0KNVPYH63GMNHA67PDVJN0NPTW }
{ amount: u482658014000, recipient: 'SP1PF6FHEN66KNDDPYTXVZPZFSVN95TPCPEWZ65B2 }
{ amount: u481861352000, recipient: 'SP2Y65DWZG2X3PH952B983ZTK84S85V5AAJ40JKH2 }
{ amount: u480765009000, recipient: 'SP1Z6PGT6A38E8W6SHJF03JFC2BMRR8X3VQHBX8S8 }
{ amount: u480525455000, recipient: 'SP3MA7SZSW1T0CR9Y3WEX4BJZNESCXMA493RF4H0K }
{ amount: u479581492000, recipient: 'SP1AMRVZMM9KZHFKE4KTAS217RSVRNT7JN9Q04H6C }
{ amount: u479248717000, recipient: 'SP2W88HVM8YQ69J1F8W07QY6HG9FNJBVW9CJ6ZGRF }
{ amount: u479081844000, recipient: 'SP3YHVAR9CP9QD2D2HNJ5RH7NT5GXE2X4GXNX4YPX }
{ amount: u478926485000, recipient: 'SP3HNDW9BVDFWAEPP8ZSBAVF890KSJTJ20GN2ZB3N }
{ amount: u478641084000, recipient: 'SP310F62G0BJESNEWMT7SH31MG7FZXQK3MX9KV50X }
{ amount: u478144500000, recipient: 'SP5E7XRHQHHH4DCEPYADN6341VGGK539P8FK7V5D }
{ amount: u478003690000, recipient: 'SP2VBF4CBY0WZ2YC9W6DK0VPC6V036FV1EY4J68YT }
{ amount: u477900270000, recipient: 'SP2F77PBCTSSK121D4EFDKGSQCS7ARHGQVN7K8JB2 }
{ amount: u477897801000, recipient: 'SP1HPQ1MJS06M69Z284EGFPT58DH72DA8TFEWCVW9 }
{ amount: u477890073000, recipient: 'SP24BK057FM97MJWGSE2QSHQ88XEJA7GBA73BF5MQ }
{ amount: u477876741000, recipient: 'SP3JVK9X9WJ8BXNA1KJ308C5SJCY0KS760J4PM3K }
{ amount: u477731275000, recipient: 'SP3PMZCNW3GQFM06YCCDP6Q661KZNED3FBX5Z0RA7 }
{ amount: u477593489000, recipient: 'SPZX05PNNRAFEADQJE3QFX39E79DNTBNSAXGPCD0 }
{ amount: u477376934000, recipient: 'SPMA2CWE9K7HJYAJQJ3EKKK08FBSWVGQR8ZXHQFX }
{ amount: u476542168000, recipient: 'SP32VE3A2AXWPGT7HH4B76005TJZQK7CF1MM9R0MD }
{ amount: u476068011000, recipient: 'SP2PQX7KSZZRTC90CHXKTXX9BQ2AZ10HXV05HNZ6F }
{ amount: u475951494000, recipient: 'SP1884HYVY3NC9P40PE7WHCNXWVA41AH0FRS3RVJQ }
{ amount: u475703325000, recipient: 'SP2HP0DA4G75QM1K9S5W06GAD15MABJ6M11YQS7SV }
{ amount: u474990200000, recipient: 'SP3HQ6RES8XHP9BCF8YXP7JHRYB8GR0CE1S0ANTC5 }
{ amount: u474781725000, recipient: 'SP2V655KJ5MV324VAD1DMQX1PMP4QQ8FPZFKQHFHJ }
{ amount: u474528000000, recipient: 'SP22Q5T2065CJQ9NAZS57QSTD2BRZ3E6H5B247NNH }
{ amount: u474217921000, recipient: 'SP26WSYMWS26EMAE10CZJKXFJ4RGZX5HAHEQPFD5J }
{ amount: u474047622000, recipient: 'SP1HJ823V4EQ7FHXA9FAHAFGJ28JPRHH0MA2RBXWH }
{ amount: u473790547000, recipient: 'SP3QTR5M8546WNC8W7S7NHT82ZG4JBY73F4R7BWBV }
{ amount: u473662753000, recipient: 'SP3A0JDQZBE4S5A102SNR3NK6H1KT8MW722GWQXXQ }
{ amount: u473212542000, recipient: 'SP39VXCJY12ZFFCWSK2FSKTMND3995VCNWYBNANEG }
{ amount: u472956773000, recipient: 'SP8XYQDX93KNKAF0X676ETK2V48KRAQSRQJ2CXH9 }
{ amount: u472944540000, recipient: 'SP20SM8P4EB08JZQY4ZTBPCMCSGVPBW3RNMPFD000 }
{ amount: u471328230000, recipient: 'SP2HMCMPBB2ETKT97815DPJQT7D06BXCZRMS29KQ5 }
{ amount: u471046268000, recipient: 'SP1WF78Z24KZHTBTM9NTXBTP0Z4358Q7MRV1D0M87 }
{ amount: u470945394000, recipient: 'SP1QBDFQ4TEHRNX3EJ5NTV9E7ED5MTC9HS7M37E7Q }
{ amount: u470757301000, recipient: 'SPE20DJCZYTGCZ6XTWZ6YTXCS6XBT1PVGX903JBW }
{ amount: u470469232000, recipient: 'SPDBJ48DV9QR73V1R127XJXFNXS37X61CQWYZJB8 }
{ amount: u469758665000, recipient: 'SPNK3DAMEBBK5TF97B3XR9KED32BMYHJP76AM9MJ }
{ amount: u469542111000, recipient: 'SP2DNNTTZ39ZNMM1VVFRKAEMQE4X4VDJAM5FSWHYN }
{ amount: u469133653000, recipient: 'SP1EX7TQGTRYD77SCDP3QXXGD66EBPV07BR8ZGXCG }
{ amount: u468833217000, recipient: 'SP2CR5WFGXGKDYC22C56G2RWHHPYCX6JXX7YWNDF1 }
{ amount: u468610630000, recipient: 'SP2E9YH016E5MMAN2BQ8TRKWPT9KBYGW74X325M81 }
{ amount: u468488752000, recipient: 'SP1CHY58TDCKX6GA5ZYG1WRTVZYRC3J3J8JQCRVGF }
{ amount: u468360794000, recipient: 'SP2KTB1KBJXPJB1R1JM55Z03639GV66QG3CNRFA3K }
{ amount: u467986988000, recipient: 'SP1TXVXCFRGZ711HS1XRP92JS1BPSF3C39G4D2JY2 }
{ amount: u467496682000, recipient: 'SP12GX5APCCQF50T1XA9H8RM3HT3T3Q4CB7NKFP4E }
{ amount: u467432583000, recipient: 'SP36QD97JQ5SAH1ST21G4EY9J01MQXWTFJ5JPX8BH }
{ amount: u467136775000, recipient: 'SP23J06THBY4F22Q9T6KMARPEN5MCSQQB44FEHFSN }
{ amount: u466899832000, recipient: 'SP3C21854QXS876FKET64QWAK46DFA0FGG49RC984 }
{ amount: u466745466000, recipient: 'SP3EMKWJWW9V54X1MGAPDPNBERHRDHG0NM2RREPYW }
{ amount: u466456371000, recipient: 'SP29SAR121HA5WFWEQA8ZRRVJDC5EHGQXHCX41G5C }
{ amount: u465500198000, recipient: 'SP1KEHCJ7WHE6DMNCGBCVA2GCFQYW230WDDJV4ZF9 }
{ amount: u465336096000, recipient: 'SP3BD5PE5RNQG8S76A4T2PS8RVG3T9A29BFYG8JFT }
{ amount: u465250269000, recipient: 'SP2N6A12Z0WK4V7X8NTZZBC31VFCV1JSC4PZRHKN2 }
{ amount: u465238291000, recipient: 'SP37WP07K6M2FEBEDB7W97QQ5WVC0JWXQZ94DVCJB }
{ amount: u465230710000, recipient: 'SP1FSX9QG8K0ZBFM104737ZN8KMB5S6PCM8J7TGMP }
{ amount: u464685666000, recipient: 'SP344XR7KB57E2PVB060P3P1WPTYXCYS4R8A4RS1 }
{ amount: u464667915000, recipient: 'SP239C843TR7S2GEV704V13T51XSPN8EFQR2NR8HH }
{ amount: u464042424000, recipient: 'SP3430TBS6TG40HTXA9VRBGKB33VF0X3WRA2QVQVT }
{ amount: u463738241000, recipient: 'SP32C18XSZFZQYDDAQ8D0CGFBDPGJ7MYE78BYJSXG }
{ amount: u463288214000, recipient: 'SP8KEK2QRRPC371HWQE2SGVMY7ABK3YBNBGAK7MF }
{ amount: u462948849000, recipient: 'SP1WST899N8B2VR76DCHQ56ZQ78R9VSYT2B2RNTJY }
{ amount: u462369668000, recipient: 'SPRQM6AQZ5STJRA8HV3HMQV5FSWCKGRW805VXB1H }
{ amount: u462111846000, recipient: 'SP3PFZEH1FJ1JPE19M968B8RA8RYRGYXWDK706TRE }
{ amount: u462111365000, recipient: 'SP14SJHCKVHF5E6FD8DTNP5S0G5CB9EV3J1E4CAPA }
{ amount: u462093720000, recipient: 'SPJ8NP7MC8THT856DZ1FCT9XZAHWPTGQ9VEAEJC5 }
{ amount: u461816743000, recipient: 'SPEY2DMSXDMMA2WHJ3RY0KNPC50MZ59746011EW6 }
{ amount: u460640048000, recipient: 'SP19CYM6HM0BG4129QGXGCJTYCSZ5RQQJSTJY3Q3A }
{ amount: u460248085000, recipient: 'SPRY4T14TTEQ4YPG8SR9QD1BRHY1YFN8Y1KEJNQX }
{ amount: u460000000000, recipient: 'SP2215NHJ2HBXEF8ER829PT4DJG3PXXHR5SFRJA0B }
{ amount: u459342200000, recipient: 'SP3KQJD62S62PED7ASD6GGHTJ3054B3E3B8CDAAFR }
{ amount: u458874550000, recipient: 'SP377K719ABJWDFJZNTN2ZB2ZZ2G9MG8NZDQ83NG2 }
{ amount: u458750609000, recipient: 'SP1ZJSZP1RY4D7RM3RP78J10SS06EHKVR6NESWC1B }
{ amount: u458597542000, recipient: 'SP1P4DRB4J3HZD0CXXG67G94R89KP3F912997F4VV }
{ amount: u458372250000, recipient: 'SP21B5WPYGHJN2DMXVR39JE61EM3HWG9QHTX0WZAN }
{ amount: u458219770000, recipient: 'SP3AVCVTA4KNJCRJ2T8WKEB4T0YSEGPMZY8HB4YR7 }
{ amount: u458206607000, recipient: 'SP33W4380C9B5G2W8EWE47RPQH064Z9P3G1GXESGA }
{ amount: u458139838000, recipient: 'SPACKWFAJAR3W1R32ABRFYDC55132QEN6M4AGB8D }
{ amount: u458041704000, recipient: 'SP2VG7S0R4Z8PYNYCAQ04HCBX1MH75VT11VXCWQ6G }
{ amount: u457821783000, recipient: 'SP2YWMJCGXXGZ4R5AKBK61V3CBRKMQ25HRB5K594J }
{ amount: u457542125000, recipient: 'SP3SNVHSP5DK24A3ZEWBRBY9V97QNJQC9H09RBAHD }
{ amount: u457414085000, recipient: 'SP1GCT06TE90XE7C1MFB9335WJREBZJZZAA6HV5ED }
{ amount: u457347741000, recipient: 'SP2RWZ1XW9BC5P46FQH6D3G1NY66J2N3K72SJWHYP }
{ amount: u456380970000, recipient: 'SP3TP1PGKWSTGV6YM7H5KVB7JVYE7PSK8DVJPSXBE } ))
(define-constant batch-14 (list { amount: u456345202000, recipient: 'SP1GAPMQNVFSVWMXP7R3FMBE3B4DRKBW9W7F7GHBD }
{ amount: u456000000000, recipient: 'SP18MH32C294Y6PE9SRPAFWFMW47ATM8S1QBMAKK4 }
{ amount: u455861918000, recipient: 'SP1MKM54044H7323201NP14ZKX0AKJ1X8MQ1VM11Z }
{ amount: u455111330000, recipient: 'SP2VV6HY7E1BZZ4HTFR1EZAAVQS6XKZ1WXWXP611C }
{ amount: u454957929000, recipient: 'SP1JN8HK5SJ9Q404ZAQ6JK8WD74Y62PD03ZJWBMVN }
{ amount: u454635933000, recipient: 'SP3R2C63SH1TZ7WE89AMNSYSFPKWHCD5H5QAXQ30N }
{ amount: u454209251000, recipient: 'SP4VG5YE38JEZD120SMCCERXVKNJWWW5J8G50GBE }
{ amount: u453988963000, recipient: 'SP2RNBT1G665BMPHBKYW2BTTTYS9HF9S0D7AFBCEG }
{ amount: u453292600000, recipient: 'SP1VEGK4FPN0GTJE2S06ZDACYZ2GVQSEM4QNK3GB7 }
{ amount: u452987324000, recipient: 'SP1EGNJ00EGRG7T7HQWWY22SG6PFGDX9A4G2WVKP2 }
{ amount: u452647501000, recipient: 'SP155Z74BZA1B97EQGR7700H51D0Y6CQ8SQNKM2M6 }
{ amount: u452064000000, recipient: 'SP2C1VBWDPYHQKZTCSGEMAYC1SXHZJW7H2FGE0M19 }
{ amount: u451790957000, recipient: 'SP1EBG5KZJ0XNH80P9ZQG6QMYQXSYHM7Z0GKCSWN1 }
{ amount: u451742086000, recipient: 'SP13NETSKDH17E3VE0SRDZAYB2TDKGJX3HNGJ5CX }
{ amount: u451731689000, recipient: 'SPXTHZQJX567G3SK245R24BW2403V8XAK8VBW08P }
{ amount: u451561925000, recipient: 'SP279P45XPMCMB3YM25RJ2TF9DNGZ91KN6KJENQK7 }
{ amount: u451436272000, recipient: 'SP247ZRG9WKADBABXD4VAFVBWPDZMNHHQHFCGM81G }
{ amount: u451241200000, recipient: 'SP4VF8XGW6R6GWV6GEZDMV3A8KKV4TBNE1QNC86R }
{ amount: u451014397000, recipient: 'SPHGVKS3RZE3260426M3709VQQZ1H2NECC8SHV76 }
{ amount: u450952161000, recipient: 'SP1KJS2AWD5J4NWPP9YWV4MW0ARJPY9E2QVAABH1Q }
{ amount: u450787979000, recipient: 'SP23J09FPED1SJJVPTCH3VD1B707MMAMCRBJQWSBC }
{ amount: u450657870000, recipient: 'SP38EPH110C9JX6D1R9H0GRFAJA65Y9XNYJJ46PGM }
{ amount: u450631887000, recipient: 'SP13J4336BZPH7AZV6BFWJAZD9TK6VFDKXAAWQM9K }
{ amount: u450403635000, recipient: 'SP1GDMS49TW9SMD0RKJYPV6QJRA226M75VMY1VVFF }
{ amount: u450335488000, recipient: 'SP10XWSTCBYR1RDTKAC0G3WFZMK8M6DNX0MBCE2WC }
{ amount: u449705368000, recipient: 'SP1V1BZ10QNB9C8WEFAQ53GERQYVNSP7SKMPSM79Y }
{ amount: u449256680000, recipient: 'SP1HAKQK30CAYSWSBSB44KYDWJHGPH1Y75FQ3Y0A2 }
{ amount: u448489053000, recipient: 'SPG8A67NM6G76TGFKN7H9GY33Z8FK5Y9ZHV4ZMVN }
{ amount: u448403112000, recipient: 'SP1FB8HEYWMB73PK17PN75JTFRCS4K6GXPQGTD5J0 }
{ amount: u448048500000, recipient: 'SP3RRF8NB4PWFT7ND3JZEX3V8V4D6YZFTFQYD2AZS }
{ amount: u447915225000, recipient: 'SP2DJQJ4NY12HARXAVGFBG97K3BNW82SR6YAVFZDK }
{ amount: u447311125000, recipient: 'SP327FER2VA7JRTKNANQSWJGK3ZX7EFNZ9X9MM0V2 }
{ amount: u445992313000, recipient: 'SP2P1VZ48G63DAQR5JHV3ATGTX0DPHPP21SZ3MFDJ }
{ amount: u445969518000, recipient: 'SPBTB9EJQXFB7VCYV1P4W81H37JD39WGSG8QDXE8 }
{ amount: u445722390000, recipient: 'SP23A1P0S6PGEJVCHQDHMZKYK25TZ2Y75MNN51FB1 }
{ amount: u445155157000, recipient: 'SP2R9SVWA01QZMDS00Y8KBE6F4S51KGENJCXCV9TG }
{ amount: u444247806000, recipient: 'SPZ60ZSP4QPK4DRFZC4GTDZP8MBSHFD22SW34RCS }
{ amount: u444141469000, recipient: 'SP1XX90SW8F22V4QHK5N3EFV6HN3H5M963TYJPKPE }
{ amount: u443781189000, recipient: 'SP29AX7HWYF681VTJCS5MYRP2KYDACE28B6HZJP37 }
{ amount: u443757702000, recipient: 'SP5TN2MP8EW41ECDDS9R10AZJAACV5RFBVP6PR6X }
{ amount: u443691480000, recipient: 'SP1QNX6Z8W5J3NXGZQJY5E8DGDB2T8JXE0PA3VHAZ }
{ amount: u443397998000, recipient: 'SP2P3PCHCAZ50K8209YGNV41156XPGJ25TRP92AHP }
{ amount: u442573735000, recipient: 'SP6JHE1E5NGZSS4KBHJPSW8VF0JK82D7K82V25XQ }
{ amount: u441704497000, recipient: 'SP16Z6Y12PBKHQNB4HZEFDVE6VP2GYENJN8V1P9QK }
{ amount: u441436240000, recipient: 'SP2NDWGXVK102HQ3GVHD38509SRY1P9WSXCXMM5SY }
{ amount: u441348593000, recipient: 'SP336V8Y5RX2VX6PB59B5BJSJM7NXTZFM4VF45EJ8 }
{ amount: u441191615000, recipient: 'SP7V8YPCWRRD3MXEH5S4PVG652H83H9YX7P67PZ1 }
{ amount: u440480279000, recipient: 'SP2RJFVBSXFGFDCYVMGZMVJK4RH6HRD0MAA228XA }
{ amount: u440014000000, recipient: 'SP2YXX050QRRZ5X4M3CA4N8HGNB6YHENHSWG25JVM }
{ amount: u439930147000, recipient: 'SPFN9VRY82EW7WDRGGP4YDSFPZ0T6E94QJB1PZSQ }
{ amount: u439501388000, recipient: 'SPTE9HB9AR75KA2WYHP1HPN1DD2WB21TJ9VZ30WB }
{ amount: u438586524000, recipient: 'SP1F8ZX6BFSTG8SVR3GXV2DM3417E8XWQ8ZTEV3GK }
{ amount: u438358135000, recipient: 'SP37QYG35NPWDFHY9WZ1F5MNBDKJPQV852KN6907C }
{ amount: u438184222000, recipient: 'SP1C4NC04JBGKA4Z0V4DD9E0EJ1NMWWTQ80N306H5 }
{ amount: u437307110000, recipient: 'SP8ZDXV3QXCWM60VEJ1GRMW8GA1E563WCMG164G6 }
{ amount: u437297014000, recipient: 'SP27CMV7Q21PFJ4SGXYPTXPNHH1ZAXVXA0VB6H7VH }
{ amount: u436764693000, recipient: 'SP3A38KSGVWHSE3S3HZP7PTZPWWCZAKKTMHSRSVN }
{ amount: u436349056000, recipient: 'SP3XJGN8ETET2471CH9XTDFM1RD14KJKN5ANGXCMH }
{ amount: u435691145000, recipient: 'SP3SCZYC0ADNGYZ11Q563E5BNWSJE71APF0RRSCSS }
{ amount: u435123296000, recipient: 'SP36WV7M7P99PMNTT170G35JRTXD8KQVYJ95JS287 }
{ amount: u434988287000, recipient: 'SP3232FAJS33QH144Y8WM3BJY8HA5G28WC74RS957 }
{ amount: u434784000000, recipient: 'SP3FZGPCG30PTS8CFFBG8APSK8BHM29AA1BV6J5V6 }
{ amount: u434617316000, recipient: 'SP1JWK30JF7P738RGZCHBQ315GEG5AFZY7EHWN1XX }
{ amount: u434500000000, recipient: 'SP262YDYV9A9F59B1GJ16DP4EPA4V4S12RFTX7T0E }
{ amount: u434495875000, recipient: 'SP37575VRPRM2E45PWJSEEBQN563S0X7DNR99KN1F }
{ amount: u434495875000, recipient: 'SP2GM1W46HDBW9J4SW4013WKWYFA1PWH1RVEV5N3G }
{ amount: u434024490000, recipient: 'SP16MZ9V4FK4PAGS9A9JBQ16EB2CS7YR8CXFM7G89 }
{ amount: u433702708000, recipient: 'SP2N297J6WHWKGJMXQTM6TRR2N5VQXR40SQGZ0KF9 }
{ amount: u433574789000, recipient: 'SP1AZMDNVMPR13VYKVEXHFGCXP9JETA2W8G5YTPAQ }
{ amount: u433504227000, recipient: 'SP2WCGD4T8V432VF1866PKN7B313FMRKX795BCME9 }
{ amount: u433259087000, recipient: 'SP1YB3VWR63MQEEYSEAJJKHYGY6KD85V7HW9WDJB }
{ amount: u431491886000, recipient: 'SP2GPSRRW1MXYM5N1011W17EZ8HWPYXMDY1X9Z00Z }
{ amount: u431483000000, recipient: 'SP37MHTR27D8D5ZEWP9MVBD4W87W3KB5NCC81N10J }
{ amount: u431100000000, recipient: 'SPV9YT7FCG0VPFG3X0D8VZY9P2AGTYTN68N6V7D6 }
{ amount: u430729854000, recipient: 'SPZ56BX2DZMKSKQYQVPX6B3XG52DSQ3H1NTW3NFJ }
{ amount: u430645689000, recipient: 'SP3QDFQ47980BC7XEDD6JFEHAEWCKBF4687A3TGJS }
{ amount: u430346231000, recipient: 'SP193KNM8TD1SE8R9134JHVSE14QCM84C401Z1K57 }
{ amount: u430264215000, recipient: 'SP3X8JZX1ARX4NHY4KNW9G71E519D0AJWSRV4C84X }
{ amount: u430215000000, recipient: 'SP145EYTP0QTSKAKR9QMT3N45AVYY35Q4VR22SH64 }
{ amount: u430038355000, recipient: 'SP1DFZEANYVM66HS91N3HHF7460F63C8TMEK57P5T }
{ amount: u430014421000, recipient: 'SP1JQS5D5KK38MAKR04XMT57KATRS9H3B06NH5MQS }
{ amount: u429432291000, recipient: 'SP3YQQ9H3PN5YZP6ZXNMJFRJFGS746QGZ3YVY0PYA }
{ amount: u429322183000, recipient: 'SP1RGRVH811WVZSJP924NQWDDB7VJNBSF9PYC403C }
{ amount: u429072459000, recipient: 'SP1TXGE9FX8JG75QXGADJKSDQFENTVAMJ5JM6YD5G }
{ amount: u429013608000, recipient: 'SPPMG60V945QW8V0SZ7RFWPYC4HYPXK191D2WKJZ }
{ amount: u428634927000, recipient: 'SP208XD20NAHGXA2KE0442F9F03GY23MHEBC60C2K }
{ amount: u428207100000, recipient: 'SPYXZJ9WEDMBCQQZBTBCPKFGFJAWKEP1VBK8V68C }
{ amount: u428207100000, recipient: 'SP2676CXQBXGEWGQDV75Q027S63GBKKTSQXV64D9S }
{ amount: u428131514000, recipient: 'SP2VPX8YRK01JK9C21J9BQ8S8SK6G1WWYG2XBFH4W }
{ amount: u428052534000, recipient: 'SP3BS8YQ6X6BMTN8C9QQRM7E7MKZG5Y0X70TMR7HS }
{ amount: u427932194000, recipient: 'SP2KVQPD0M28MGYDHPM1EGSZQZPF9QVN1QFX94YPB }
{ amount: u427831081000, recipient: 'SP2XKTNVDC0CCH575F16XH0Z9AG4M3W7JSRM2YVEC }
{ amount: u427416296000, recipient: 'SP29ZMK7G0PNSY1FVBP8DB6PZ3B14FK2H9J8EEZBP }
{ amount: u427356492000, recipient: 'SP1HM990KFPJEF9P13NGP76Y38APWH2BKNA6BEWZ1 }
{ amount: u427130592000, recipient: 'SP1JV4MDFWKQKBRSHDC43N417Y2BH1DFX05T792W4 }
{ amount: u426841989000, recipient: 'SP78352J6EAM9DK5Z34CYQEE3RSMYAWV7XN0X541 }
{ amount: u426823004000, recipient: 'SPWCA0NFQM564PHZANZN0NJH0PAKDE4KJ60ZQX57 }
{ amount: u426820278000, recipient: 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT }
{ amount: u426801382000, recipient: 'SP3T2RYNM7PX5HFTT6EVP5AFE95V5NGZDB0A6WJJ7 }
{ amount: u426022156000, recipient: 'SP2P19WAHTS80GNHKC99HQYBMV6RT8HK0M3FEDBCQ }
{ amount: u425888711000, recipient: 'SP3N5KRZHPXMETSADGE4FWEMXWXEJ6XYWVX414TS5 }
{ amount: u425213607000, recipient: 'SP22KP407F1VZ2ETBDMJS06ZEEB3DMBHJV2XGYGMG }
{ amount: u424712918000, recipient: 'SPM90FZ0JGXEME2VE9TG8Y2441P2D77ATKFD35GH }
{ amount: u424251000000, recipient: 'SP3S4TQ5YFKRB09AKTW332M7TJT8PSG1YTJWSG789 }
{ amount: u424237164000, recipient: 'SP86QENQB6S45M2BMPE7Y1XJ76FQA4J5Z5WA5D9M }
{ amount: u423216862000, recipient: 'SP2BT9SQSM68ZGE901V6HPPSV89Z0F27C2JQQY07W }
{ amount: u423180009000, recipient: 'SP16DR3V96K9BBE3D0BQQRA1FEFYTB5829CJWSGAW }
{ amount: u423150094000, recipient: 'SPANTDBHGDYCEMTS76GYQ8HSJF9VQK7XMWP0Q8YX }
{ amount: u423140823000, recipient: 'SP329347Q7789WJJWBVHCPQFNJ265SCPPG5Z1CBHW }
{ amount: u422703225000, recipient: 'SP1M6YMXN2765KHVDK5AGT1WG1AY9G7SA4BPGWFNB }
{ amount: u422660074000, recipient: 'SP314E6K9TJK511VW56X8ZDGSPFZ7HHA9HJYJQA6J }
{ amount: u422295924000, recipient: 'SP1W07TK42KH6G3HAWZBWCSWRFX68TZ0JE4JXBD7X }
{ amount: u421792007000, recipient: 'SP2N649NA4WGC35T5JNSFR7JJ9SVT6VT12J6ZCGKF }
{ amount: u421775206000, recipient: 'SP5TFP4ZBFWQ27P03M320C40GKRK482WQT7FC9X2 }
{ amount: u420389976000, recipient: 'SP25Q58GEBX998X4RAK9MXX9XRDJR2GY6WVKZBFXK }
{ amount: u420072061000, recipient: 'SP71H8R4BDJBCZC0JS0SM2EZFKQ6VJMHN2ZDVG8Y }
{ amount: u419767086000, recipient: 'SP1SWJ3A0RP1EV92HWE2K89EEQC5SZ7N4T1HM8ZCM }
{ amount: u419703226000, recipient: 'SPJGQVVNBG3QMM1K5MM65HTV14FT9BX80X7039JD }
{ amount: u418836111000, recipient: 'SP3C046J5308CKYMN61MGC7FW51JWXPJM3ZCD3MYH }
{ amount: u416798262000, recipient: 'SP27P4FECZXC2TXPS24C1CCTNKB0K1JEK3SZK7CB }
{ amount: u416428000000, recipient: 'SPBSDF9CZAETGZTTHAQEKRRZ9VGJXCWS53MQJGFG }
{ amount: u416325700000, recipient: 'SP3EFWND2NFNYBXR0B71C79GM2CQRYN3T859DHYBK }
{ amount: u416183021000, recipient: 'SP3HREEBAGV848V080HBWKGY09G8HAXRQQ135N01Z }
{ amount: u416156337000, recipient: 'SP3WZQVMNXQFQ81D5EMMG0PA7QDW711QP74AMT0A3 }
{ amount: u415923750000, recipient: 'SP3Q8TTE2XR6CQ0TH8P36R48SBKWG3YKHCSBY69GY }
{ amount: u415759000000, recipient: 'SP32BZF8QBD9V81DGYKQN5WVS7FH54GTNKKFKG13H }
{ amount: u415518198000, recipient: 'SP2H6HVZK6X3Z8F4PKF284AZJR6FH4H9J4W6KVV8T }
{ amount: u415165941000, recipient: 'SP2CFCHT94JMENCJ964B8FP3Y6XVEA8KZ15XQEAG3 }
{ amount: u414636304000, recipient: 'SP1624XHCC1XY6YBFY72A92WMNSXYV8SJJN6C68Y4 }
{ amount: u414211237000, recipient: 'SP110Q62TMX7X2S14KETRCEKFRDX9060XDN41DJ0P }
{ amount: u414194472000, recipient: 'SPA6K5JAGX6XT45N3BCKBET32CKQ6KTN8MT0TH8X }
{ amount: u414027886000, recipient: 'SP2AHYWFE0H9ATG1VGSM1650210WM5SJF9GT5M90J }
{ amount: u413915319000, recipient: 'SPAZQ2FHMPY9WGXSRAQ6B4EYDDHE3NVC2X8XP2WT }
{ amount: u413855909000, recipient: 'SP3XWC1EF39T8D1QMV4WWV6TPCRAVJH88QB115KNN }
{ amount: u413778842000, recipient: 'SP2BYWV2X23QZJN7QMC5HY7N1XHYXB5H33P21BMPR }
{ amount: u413593035000, recipient: 'SPYN6PTFTHSZJT6NKRP90T060C6QVVFXNYX8TK7P }
{ amount: u413156673000, recipient: 'SP1NQT9PMVBWHZHSM13RD6CYF86G4YA99JR5Q1NM5 }
{ amount: u413100255000, recipient: 'SP2B7ZHR27T4Z2H24FGWJY1WDHVJN6NNQS4NMCZRA }
{ amount: u412184261000, recipient: 'SP2QAS02DX74XJE9HPBBCMJA6FVPYYAHYF8BNJ30K }
{ amount: u411917307000, recipient: 'SP1KSHR1BFNRA9VPPME9A5K61FQV3JZX05356206F }
{ amount: u411814011000, recipient: 'SP38A42N3TM7QDAH33FX4J8WJV7CQR8R3TAX3D14B }
{ amount: u411758924000, recipient: 'SP23R89WC07SAXCQTF3NY8B44XXWP7G5Z1DP40GCA }
{ amount: u411561016000, recipient: 'SP36YCRPZDGNTEBFRBJ0PPG185D0YGGQ7AETVRMF6 }
{ amount: u411493599000, recipient: 'SP1HN9J70Q4KBNVF0M9B0BQNGFN5J5EJYTJ6EDTHQ }
{ amount: u411406039000, recipient: 'SP1NBN8AM3DKPZRYAAHJE6JCTGT9HB0GDCQ6RPC5H }
{ amount: u411395361000, recipient: 'SP1SZZWH6ZD51F8A139VKWN8N886Y63ZRPD74V93K }
{ amount: u411384556000, recipient: 'SP3H9BND0GWRX1V9SB68HJAZ0HMW9CCF09DA84DK4 }
{ amount: u411266494000, recipient: 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ }
{ amount: u410369132000, recipient: 'SP3FYG4TKWMEKA51F5DMZ6JW01BZEB119ABXED9QS }
{ amount: u410289007000, recipient: 'SP27YYQXSM66YWWKENFMTVQC4Z16BZAF9HF510J4N }
{ amount: u410132000000, recipient: 'SPBYA5KN0PDGZD76CGMFXW7VJAJMQMW33JVCP79B }
{ amount: u410072580000, recipient: 'SP1NSN6Q78FEFPW15PT5TJ373FMW4JMDH4471X8TB }
{ amount: u409776980000, recipient: 'SPJG3YDYXB1ACWPYE82XEF94HJM7VQCC4JN8EZBD }
{ amount: u409758671000, recipient: 'SP68T3EZJTV63D6T6FV0FV67NGWSABDFZAR7F3KG }
{ amount: u409655265000, recipient: 'SP2XJCGNE7AHP9KZFJDFMVK3485FQN7PEM63PVKPW }
{ amount: u409132039000, recipient: 'SPFY8M99ZM3C481AZ3KP52BQK3N33KEPBNY014BK }
{ amount: u408888889000, recipient: 'SP26Z56QP73QTSXCWCF7P6M4T59S2PCXYB13TNYEE }
{ amount: u408368602000, recipient: 'SP2BHXCDJBGQ73EJ8JH17YBDPPZ468XP3BZYJ9Y1F }
{ amount: u408285944000, recipient: 'SP20DSY8AGFM6QCY77PDA2TS6HKDMX4TE2H7EKMJ8 }
{ amount: u408043319000, recipient: 'SP2ZH07HDW2FZK021J7A95EAGKFQFYKK22TJNN4FE }
{ amount: u408027886000, recipient: 'SP1TDXFTG5SW5VE8AK073Z4A0PMV58NDCE48BPZQ }
{ amount: u407368108000, recipient: 'SP3NXV0G4DYHD3QJHB66T7XSMNRT35SVQPM59ZJMS }
{ amount: u407005419000, recipient: 'SPVKNKZHADDFEEFDN106KSYMEG5SANNX9KB2AXZK }
{ amount: u406894885000, recipient: 'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E }
{ amount: u406620696000, recipient: 'SP1QN095B9WRC0HPW5E8HVJ61Z723NX16Z6CZCVZ4 }
{ amount: u406495562000, recipient: 'SPXTTNJAWV3CTT0CCF8TAP68K7EAN6DD35D3J8MH }
{ amount: u406254135000, recipient: 'SP1C72PH76WN44KVR72K9RNWN4A1P3QM8JN4KJFPX }
{ amount: u405622678000, recipient: 'SP37XJ2GC2GDS63JWWK6ZJSAAHWVS5E0MMYW4446S }
{ amount: u405513000000, recipient: 'SP1V1Y54NPHQ3D1MX01T3XMJVNW6ACKAXWR9W89GM }
{ amount: u405171447000, recipient: 'SP1XBR06CHHNAHDR9BX736HPBBSY4E13ZA2VW66GK }
{ amount: u405160749000, recipient: 'SP3TK75PVF5284PT1TPHP1M2G219YVPKPPXABBCRX }
{ amount: u404975390000, recipient: 'SP1WRFFK6BPPKV33B1XSHD3Z06JK6DJYGW8W32K1W }
{ amount: u404917000000, recipient: 'SPC4B5E39H43FT4HQRVAQPBKWR0HWXM72P8DANQ6 }
{ amount: u404766386000, recipient: 'SP0C1AKCT9CCZJC95FA53SE41X99ZABB2S11Q56Z }
{ amount: u404447284000, recipient: 'SP3PW2NHM9WAMJ9P1PESW7ZE5JMSCM75JZY3D19BE }
{ amount: u404097000000, recipient: 'SP2XMAP6DNM02H0B9QJDWGRMCRSKDZSX8QTCCVKD0 }
{ amount: u403897417000, recipient: 'SP3BCHWE4S30VGRKSDVRVY8HDWBZXZ3BDCB6K3MSZ }
{ amount: u403868556000, recipient: 'SPBPBGJCTAVKX6PTWZP203K2EZDPZJH13EQK5FJ7 }
{ amount: u403412202000, recipient: 'SP28PD4SQJV6JNPS3AXMREH1A33VBCM522SG6RZZW }
{ amount: u402818104000, recipient: 'SP2TJ5FC1BAK94M8BX6J14GCXA77B90T2RK4XXW73 }
{ amount: u402776852000, recipient: 'SP26C0QK36N664A3D1MVG7WQR8VVQ6PMS3RM4BKSX }
{ amount: u402600010000, recipient: 'SP1RHHYE3ME8VNC144016C47D7R3MCT5MQCJDTKCS }
{ amount: u402297165000, recipient: 'SP15CS9BDGKTJFXYY2F7Q0J03P2EPNGW36VWT6S9A }
{ amount: u401937590000, recipient: 'SP3AGGE0J2SRN4TWX8VCXWNS940VX05P42MGX5VJ7 }
{ amount: u401720595000, recipient: 'SP1A55BCFTK6GQR8B177YWDWNK9C212QK9827KX53 }
{ amount: u401302508000, recipient: 'SPR6B3DCZ2X7D17CG151MAGXXRSAHPK4QY0JXBRE }
{ amount: u401256461000, recipient: 'SP8ZYMY9KR1CHDAGVFTFB8026RGP6E2VS1JGNVP9 }
{ amount: u401139304000, recipient: 'SP1DRWTHTPYCCTM7Z7FREDES0VXH6D5GYTA62JXS }
{ amount: u401128000000, recipient: 'SP18802Y8DK597JR6MPMPKXKBD8R6VJX28A1Y0YW5 }
{ amount: u401081010000, recipient: 'SP3J955FQNB5MFG9PGEK1T545TSTBGAA2534VAAK9 }
{ amount: u401037716000, recipient: 'SP9190ZPHFK9GHY97M98ZVTR9PH6A436FM31E30Q }
{ amount: u401032109000, recipient: 'SP4W5EF5PT5XKJK9HHXP5S6C8NF6C71ZFHT4XMAM }
{ amount: u401001217000, recipient: 'SP33SJYTSBFCYD6RTTMT8FRD2A5DJMY6WEM7CWKD7 }
{ amount: u400770000000, recipient: 'SP5EKFXACDAY2095GMBM4XA97QAKPJZRC4PYDYVA }
{ amount: u400378000000, recipient: 'SPEARAA4JZ26DNC02JB8BB5BYZRBCM876Z6MYFJ3 }
{ amount: u400300000000, recipient: 'SP31936FQSQTSYQGK8XY2SCK5E3PX2KP810YJR4MZ }
{ amount: u400228390000, recipient: 'SP31SXJHBV3YN94HQX7NR7TV9RBM8NSNYAGXG9R6X }
{ amount: u400189565000, recipient: 'SPM1MR3J8MD2NV09ADTDEW8M82Z1B3VJVWZH7RN5 }
{ amount: u400079943000, recipient: 'SPXVJV807GEHG53436T3R1H72DCYHZK5YRPQHA41 }
{ amount: u400000005000, recipient: 'SP7WJB5H0EZFNT1AHB7HB2E3GBP9JFZ4MTXJKYKV } ))
(define-constant batch-15 (list { amount: u399787707000, recipient: 'SP21E9SNGD4B4N9TTMM9FQJHV9BX0KBPQBEW43MBY }
{ amount: u399584901000, recipient: 'SP1N6SYQHVBMKR62RR8JXCBFFX45EPGXEW8NQJV7E }
{ amount: u399000000000, recipient: 'SP1A6MCWMH9RFMV8JGPFQWF606J8X1XE2RPY7M1RM }
{ amount: u398836316000, recipient: 'SPDT3DT88DK481337KPB0NM7322Q8WARN7G5G432 }
{ amount: u398794799000, recipient: 'SP91Q6G84A25HJZBJAD515K85TBV9AE70DPTEFKC }
{ amount: u398759000000, recipient: 'SP2J3MY5939M76SVJ2E0R41BGA2PCZPT0XXVXQAZ6 }
{ amount: u398226840000, recipient: 'SP3XA8SVYSA67P89P6WNNN8C1QCHY6ZJNP5EF4HEA }
{ amount: u397348452000, recipient: 'SP354BE7DVXB5ZAKVB3H749BAY2830KNYM1NNKKFD }
{ amount: u397100406000, recipient: 'SP2BVD4GZMXYNC1VG3C511GCYD6WE7FKH95MSVWNY }
{ amount: u396940268000, recipient: 'SP3QGBQ1F2VEVR3HS7Q5A8CHNN3RYS39184H3PTZ0 }
{ amount: u396739810000, recipient: 'SPE36JXGQ4P29XFHSJT1196H12XDA5Q4H9A2CQ0Z }
{ amount: u396320320000, recipient: 'SP11GCZWE02AZ4NJD1N4R2NXG3XJREMS4EWB7B3WV }
{ amount: u396191822000, recipient: 'SP96M2FT5903YY7QNZS5AG8AGSXTG3P8QX8PQE5Y }
{ amount: u395868375000, recipient: 'SPXDNDN29ZRE3EYWCA9D15TJNG08273JS67RZ28V }
{ amount: u395555000000, recipient: 'SP2Y6FA77N99W5M1SQQB70X051XD5MSXN0KD618XB }
{ amount: u395340415000, recipient: 'SP2BF5T0YM7YSX4A7EYBDB6PFRFVTWJ8B7C990G8S }
{ amount: u394900000000, recipient: 'SP16YT2WWWS8MY3JXM3YVRW6TW1MG8DN22Z3HQRCQ }
{ amount: u394627714000, recipient: 'SP1JG4XH5A7Y4KEVEA187G64NYMAVXFS7Y5TYYN3F }
{ amount: u394206900000, recipient: 'SP1R0ZNQF3DR7WGF9AN42Q9N6XXH4ETW2VQ4EG13K }
{ amount: u394147400000, recipient: 'SP3CV98G6W9B2NPDX3XT7V96BBYKKJ004GYSJAFY0 }
{ amount: u393768230000, recipient: 'SP129SXC2YE4VM9ZXWXF1WSRT8M5BGAEZ0PQK685D }
{ amount: u393704924000, recipient: 'SP2ACWS92ATXRE79KNKADX0FNPAPM3YM08VBPF02D }
{ amount: u393241435000, recipient: 'SPR2G7KQSHQJGH3ZTJ4EJH1N7GS1SHXV10E14JSB }
{ amount: u392794377000, recipient: 'SP3P8QGR2V6TA8WC7703DFEEZEVBKJSB8CQMFZR84 }
{ amount: u392634281000, recipient: 'SP14EF805H10TN06QJVFP7FTTHPZJGB16GBGA8G71 }
{ amount: u392366595000, recipient: 'SP158SVVFP08QWPNMY09RSWTTMTQ8VXF8J0N18453 }
{ amount: u392167924000, recipient: 'SPYJ3Y3JJRJVAD9HEE5F4D5EKA0ZCZNAE1RW8PB3 }
{ amount: u392099448000, recipient: 'SPQCD83WN82B2DNEMMMKTZRS1NVJ80E8F3EZSFET }
{ amount: u392015313000, recipient: 'SP3ZTBC6YYPBAQQFDQ6EJW1MH4DZMZKR77KYW8AE3 }
{ amount: u391945491000, recipient: 'SP10GDQTZ6G9K13FCX0J0TPJM0AF3NPCZ6YZPKJAJ }
{ amount: u391935517000, recipient: 'SP2A1A8FDND7THD29H0RHG78PJFHBB802RDY719XY }
{ amount: u390181472000, recipient: 'SP1Y0R4B0D0PZP5QBFAQ1Q2AC65HM8BYDJBS8SGEW }
{ amount: u390104210000, recipient: 'SP38FPHK1KSNW33S5WS0Z9KEHBCTXWWV4NFVWR958 }
{ amount: u390030499000, recipient: 'SP1HH5GJGBB7S4RYAKNNYYBK42W93FANRX4X8CZ0T }
{ amount: u389438423000, recipient: 'SP29RJQBHQQERHT2CM808EZD2ZBHWXPW0CHGQ1SAG }
{ amount: u389419185000, recipient: 'SP3M107JBV208S7MYDVJN925Q4GY48826Z5WERP89 }
{ amount: u389238063000, recipient: 'SP2QV18K6HB5NBE2RWHKH1HY2A3HKJ4NVW7KYN2SY }
{ amount: u389202616000, recipient: 'SP368Y4FNE6HEH5Y4AHSDWH3DH7DAXJPZS3AR46ZB }
{ amount: u388675330000, recipient: 'SP1N615DW0CQCK1A99V67F1A2PHZJJVJMZ8B7A2PD }
{ amount: u388517629000, recipient: 'SP2VKYP0BVC89F0XPVRHWANEZPZJ9XM2RXRY25QH4 }
{ amount: u388172181000, recipient: 'SPH5TYJ0ZVR8JPZAGD947K4TXGNP3HF7BDENP3WV }
{ amount: u387964909000, recipient: 'SPQQJ3SNW8S0SZANNBGJD4TS7RZY0R0T0DZFE0TJ }
{ amount: u387964909000, recipient: 'SP13PFN7X1Y60YJ6RC2E6KR7HH7RNQ5KQJEM9TCJA }
{ amount: u387946607000, recipient: 'SP12JAP2J9GVDBYMVNEXMZNVZZVB0P2SY2F5BVDE3 }
{ amount: u387878334000, recipient: 'SP3AZ138W5GBASPMNDMY5JC55977Y9GARTZBCHHD3 }
{ amount: u387679000000, recipient: 'SPHN3ZRQ4QY43C233KHHX4VE6K1QRYMEMZ7TTCM5 }
{ amount: u387679000000, recipient: 'SP2PKGZ4GHA152VWSQCH6TVJNQK09MBJDT1JAAN46 }
{ amount: u387679000000, recipient: 'SPKXS2B6B3Q7GNN1B1ENWMXW0C1XHTN5EHC99P27 }
{ amount: u387623844000, recipient: 'SP2R5NNJDT8NHFQRDD9788BHVFR6T29671VXA495A }
{ amount: u387623844000, recipient: 'SP3FHH2RZ9ZHYMC8YNAF0V51QESYE17WCVXE1FNE7 }
{ amount: u387623844000, recipient: 'SP2B78T044MREARTSAN334RZH7537VK3TRNZQDZ5A }
{ amount: u387623844000, recipient: 'SPDM0XPJVW6NFKQYXQPA5PTCKF76SJKAEG77VMCQ }
{ amount: u387623844000, recipient: 'SP33EW9NYKMD0R8F6T0QHR9FFQS95RCCC90M14ZY5 }
{ amount: u387623844000, recipient: 'SP2MB4DCQD1GEV2XQYKT9REABSN4HF90HF2FQ1FJZ }
{ amount: u387623844000, recipient: 'SPCBRG4Y2G8890QSCZCVY2HACT7V31CSE7PAW83P }
{ amount: u387563538000, recipient: 'SP1K54Y8FQP99WVCR2KF0QR9XEXBEMRA3CA4CCNJH }
{ amount: u387535645000, recipient: 'SP2PZCBW2Q2R2PH7J2NKBMGYN9YYVM2JQ2DXRVFX }
{ amount: u387499415000, recipient: 'SP3QHS6FJ2EVCGN0GSSW061MV8RJT9M46S904Z7E6 }
{ amount: u387404387000, recipient: 'SP1X7MME4Y7BQ5244RBKVYJYVH2EFT69A0NB6FDVF }
{ amount: u386887792000, recipient: 'SP2NB3QGX0QGDRKXH9VDWE3YSKF81RJNNB1SJ8C47 }
{ amount: u386887792000, recipient: 'SP15NJWA6BQZ8RHKRRPPEMFG8ZJE09BA2D1TVA8AT }
{ amount: u386872168000, recipient: 'SPP487RT7NSCWAC2GSYBJJT29XRSM8DB759KTDW4 }
{ amount: u386503006000, recipient: 'SP1MMVJHQVB8XPC2QFSXXTT3JSK9HBGXBBQ5KKP52 }
{ amount: u385950153000, recipient: 'SP319SDZ708B1MXDFX7QFV1BQ390S85RA7QYW5Q3P }
{ amount: u385061184000, recipient: 'SP1FCTBKBXV0VG0MF2647Z28DJ8AZXN2G2VHBG2G7 }
{ amount: u384906726000, recipient: 'SP38J43Y370RX7YWX4BT7ZW3JZ24J0D1PJW9EJGEZ }
{ amount: u384820391000, recipient: 'SP2TA4FGB43WVAS8MVS6YCWTSN2BZNQ1ASGEAKSDD }
{ amount: u384759933000, recipient: 'SP2NZFPS4W1MHGAQ34JVYG33C9ZV8ZTCDFP2A83V8 }
{ amount: u384702973000, recipient: 'SP2AAH3SQWN8KR51J4X678P0FHJQT5ATF283VTVR4 }
{ amount: u384322523000, recipient: 'SP1XMK21W863D6GXTPGW7MX5KCHY21DZ5BZY0HY6A }
{ amount: u383754493000, recipient: 'SPPRBMS9W0J4HK5PSY7G4X88M9TR2HCDCDKJYQTD }
{ amount: u383263205000, recipient: 'SP5MX9KTJW1MARJHAQGZM7TM7RD5W8NA6ZBE7E5J }
{ amount: u382685000000, recipient: 'SPFABYA7ZGH38A62P7J5NRWVNHW0YDXF5QM7Z8ZX }
{ amount: u382635015000, recipient: 'SP1Y3KQ53KKGT12SB97KBD4Q3FCFGVFK3DS27ZKZJ }
{ amount: u382486248000, recipient: 'SP1X2F2RRXA893BXMADGK9YAFTVSSRDSZPEJVMFDW }
{ amount: u382361228000, recipient: 'SP1Z8Q0SMHK372GMQ3CSRF2FDZE0AEPX5ZP1FSJA8 }
{ amount: u382156896000, recipient: 'SP10HBR10238MDTDVRDPHYXS4Y658BZRG4W3C7HQ4 }
{ amount: u382058000000, recipient: 'SPYDMBW0H51ZWAFFJWN4SCVX34YNHQQ67834XA3A }
{ amount: u382022657000, recipient: 'SP3F4DXPZSY2NBVNAK2BCXPD5V1G5NHWQJBP8F8XT }
{ amount: u381775347000, recipient: 'SP1P6NPKQCV3WKJP3A9YXZ6NG0VHA2Q8DMSQ53R93 }
{ amount: u380820960000, recipient: 'SPG4AM3P10V8DWNB4CC8XBQDD5244C8Z8HSQQTYJ }
{ amount: u380784730000, recipient: 'SP3KXMH4X6M8ZW5V213XW9VMSP3HH46QDAEYPH620 }
{ amount: u380431787000, recipient: 'SP3RTMSS0K3V3RP0CSNGY03C0NN47SCNTHKFK2608 }
{ amount: u380333000000, recipient: 'SPS9YTPENSYHYY8TRZP8WQHKASW5RTH9QXKWWE18 }
{ amount: u380276709000, recipient: 'SP1M14VR23C74TMMP4GQJ0R1T6DJYHRY7JD35SCT }
{ amount: u379520893000, recipient: 'SPRSN228C16NS16C4PQK8R1WS19T0RTSD1FDKGQ3 }
{ amount: u379278580000, recipient: 'SP1X32E5XNFBDK5TVCB73CZQXY70W39Q1QAFMA8SS }
{ amount: u378961448000, recipient: 'SP43PAB51JRMVR53KPD11J2JET51VYS1MA3XB2B8 }
{ amount: u378747176000, recipient: 'SP2VWKX280PPZZ2TPT6BWP5YZC4XZ6S9CG4SP1JEK }
{ amount: u378519142000, recipient: 'SPRR1BBAK2V9D18SB3TDE9Y994P3K6H4N2BVBBH5 }
{ amount: u378374372000, recipient: 'SPYGBSVRX9E66PG0YNT9NP40C9JPRCAQVAKYX2ZZ }
{ amount: u378371626000, recipient: 'SP1127DJSYE5YYX4GD45V1W62KK47WH1XZD49ZGK6 }
{ amount: u377968771000, recipient: 'SP13MKQ6P274GBWGET4GNM5XKH3H2TAHBVZMEA0A7 }
{ amount: u377948521000, recipient: 'SPRH996DP2H132J2PVVDYH94KBQ25JH5WV30P6N4 }
{ amount: u377646584000, recipient: 'SP35BZ1VJTZDPZ2QPWRB1WE7GS25X4H1KTZADGGBJ }
{ amount: u377398484000, recipient: 'SP6YDN28671MQ48EBS174JVKJVG0ECR9AK936Y3P }
{ amount: u377280397000, recipient: 'SP122Z5K9Q30710JXXYW6YVYVQT8RMNPYDVY8XTNT }
{ amount: u376969325000, recipient: 'SP2H1VF0EV5NW8W7FBB0CSZE1QWW9VMZXZWASM23K }
{ amount: u376886870000, recipient: 'SP3GJSG0A1T11JG1GB6VB7YAD770BXZHQD7CCHR9Y }
{ amount: u376702087000, recipient: 'SPS8ZJH8FZNSD94XFTK9P15P37SCG5XB4855Y80K }
{ amount: u376519937000, recipient: 'SP34YSZKYZ8KYYYZST8FHZNV6A9PDAAD09BWJN6PE }
{ amount: u376313627000, recipient: 'SP1D507TQ9FQQ9M354WN0J02861Y38NHRVJQPVV8K }
{ amount: u375547167000, recipient: 'SP1P1M75KCZTQ3701XSY51RB6QT4H6ET38KZGBWZV }
{ amount: u375247004000, recipient: 'SP3RGEY6P5NDD6WXH04ECYH5RF325DSD6PP1459EK }
{ amount: u375164443000, recipient: 'SPEJJ2ZBXK5K2XPD1F9SAGWK397Z32NY0Z926EGE }
{ amount: u375073231000, recipient: 'SP1E6JK2RBST6EY7TV5MFZW3N6Z7HMPWZNC1RNFRT }
{ amount: u375013617000, recipient: 'SPNPEDDHP4PGWN31E554FX181TZ9YWFQA4NJ77TE }
{ amount: u374226164000, recipient: 'SP3Y4FBG02E39JM2Y9KA6NPTWW4MAP9HEBVYC40SD }
{ amount: u374224788000, recipient: 'SP2K32S1R4V3Y9SNTV21VCPYF7Y9NVAPS9X1MX40J }
{ amount: u374195739000, recipient: 'SP337WP7AQSX8Q9H0TGY8K3RVQBBF82MTZMRE7JDB }
{ amount: u373744266000, recipient: 'SPWMBVG97ATNFMZEBENFVEFBCNYDHFNNQB6JB6AA }
{ amount: u372521134000, recipient: 'SP3V8E5BYMART8SF9T0P4ZXPAW91BXXK25NNW1DHX }
{ amount: u372456487000, recipient: 'SP2GRDEKA0X1B8RPJQW2F47W9QA51AXBY5H122JWM }
{ amount: u372352662000, recipient: 'SP2A4AJG9HAFTXHYEPYFA7DAJZ8RXZZN06GW8E6YB }
{ amount: u372058736000, recipient: 'SPC4FJ9P655HCS2CR1TH993CYHT1ZHFPD2MR8J8M }
{ amount: u371848073000, recipient: 'SP1T1JN77XH55YY8MRA1ZN3AYBV4D1AGSN52FS6KG }
{ amount: u371770497000, recipient: 'SP3R0T11W6ZF6JB6SETSYCKP9SX8BYSRCEBEGVQX3 }
{ amount: u371739411000, recipient: 'SP1TDNS3BM8WDWTR1GG8G2SS0H9VSYRK2ZWRFZQ5R }
{ amount: u371545610000, recipient: 'SP2A7AQQSC8X66F4ASC7GGHJGNY28Z1RF87PKJ1P3 }
{ amount: u371317399000, recipient: 'SP22Q7QRBT8CDYHMPAQZ239CK1Z5JB76J2MC0MJJ }
{ amount: u370958581000, recipient: 'SP103BXR2GBV4WBESM8C4WCGNC9ED3PGT03X4WXTC }
{ amount: u370554319000, recipient: 'SP27Z0K3AKP9S482JKHNNHHKXXW4FSZSNXEEPPZY2 }
{ amount: u370333859000, recipient: 'SP28N2AZ6Y75HD9DM4ES2JCX98S96GT7T70ZYPGJF }
{ amount: u370121091000, recipient: 'SPFZ73NDAX62H32NJ7ZRB0T45NW7DZ7X2FKFV27A }
{ amount: u369771405000, recipient: 'SP1XX6VRW29K0YSD1XW5CVX7ZH07MWS6TG0Z8JDM6 }
{ amount: u369729651000, recipient: 'SP3EFJDA9FXNTA3QAH795EAH0E2JDVFDF1X9B3ZWT }
{ amount: u369696589000, recipient: 'SP3N9XWC5ASXT35HNBKYMZB8XNJZBRCF9T51V8904 }
{ amount: u369620351000, recipient: 'SP066TDQD6PC55SPDTFBWED0303D9SRJY48G797H }
{ amount: u369183140000, recipient: 'SP358PSZ9BJ464CHGK7Q50786D9NJC5P5DBG4M74Q }
{ amount: u368977292000, recipient: 'SP21E57RHEVTV2D4RFB2CH629CNXTEHZDT7QR1MWJ }
{ amount: u368900128000, recipient: 'SP1N6KR7YNPFWMDBCJTKHJE3G51DDXEYVPBXWFGX }
{ amount: u368729319000, recipient: 'SP1PRJKBT43P9G31R8FVNMCTTY1E3520YG8ZWD9BR }
{ amount: u368532664000, recipient: 'SP3722W4GQSW60QPPC9VRMMANGNHQCP07BCPF2FTB }
{ amount: u368428221000, recipient: 'SP36980W19MRVSKJ3J55TQR87KYHCS63HGW2HKT4J }
{ amount: u368417600000, recipient: 'SP1EDK6RCPWSK1Z7WVQVTW5Z9K4YPQME376GTRY26 }
{ amount: u368344890000, recipient: 'SP2ZK763H279QG863DBJP32FTKJ4MD1NR8QSXBK3T }
{ amount: u368071303000, recipient: 'SP2G2ZH9QXK68QHTFT83NMF6RTCS2WDTW17EDMZQE }
{ amount: u367769927000, recipient: 'SP3097QKWQ8MGDF3B8FTRR9YSEA9PT8PJ712572VF }
{ amount: u367710686000, recipient: 'SP3MXAE493G7RZDM19Q0ZPSKBJE7P3VCJPXN2RV5N }
{ amount: u367700000000, recipient: 'SP1PQ1TEQANBMMZKQQ4CBAE44D3NGJ8WMCPZNF5MV }
{ amount: u367433739000, recipient: 'SP34T5PTVXDWT5KH10EKCSWD8GB3RYKH6YY3D620Q }
{ amount: u367287503000, recipient: 'SP11Z7945VRSJ7D5HE0QGRCR3KXQ8RNE41AZS1WB6 }
{ amount: u367220392000, recipient: 'SP1N2N0D77EBSFHNDHFQTVP4PHJHHXYN4MAMKD65T }
{ amount: u367094831000, recipient: 'SP3FQZ1FZJ70576HRGZARBJXJ5P2D3EWZGEWZH41E }
{ amount: u366776316000, recipient: 'SP130ME9EPA7NFRAE11FAPPAP6C1G9VTCKTDBWGN9 }
{ amount: u366707287000, recipient: 'SP354YCC7E9HA2RCK4V8T286R9FXE3ZN2F53JFAY7 }
{ amount: u366621869000, recipient: 'SP2W759AWBSYJ7HCA8K5CRV06DN1WGPH7C926YHJ3 }
{ amount: u366566235000, recipient: 'SP20S23ZB42QAZDM3A5ZQW72YKVHSN0H7N50A4CN5 }
{ amount: u366319755000, recipient: 'SPNG2HD57Q6EMMJHCCX31VKP5HPPVNKFMQ95F3PN }
{ amount: u366236111000, recipient: 'SP2HDAPNKER993ZEWP6QQJ7969HVB85RRKW3CCN73 }
{ amount: u366051134000, recipient: 'SP21G9J21046X421AAMZMMGE8KZ7BCAZJYRFNCP6A }
{ amount: u364988421000, recipient: 'SP214M5BGKFNZ0VERMHE3JQKFHBFHE7WNHTG75D38 }
{ amount: u364681337000, recipient: 'SP363B8T4RNKNXB7PP8KN7N12ZR08BGBT7X5Y5V4F }
{ amount: u364452460000, recipient: 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A }
{ amount: u364412027000, recipient: 'SP2RH3J2MJ4E5RQ4MNQSBCEQMGVS9XCTNCCP2DN2W }
{ amount: u364345167000, recipient: 'SP2J1EX6Y8ZANKZ68ZK3FCPNDDRHT447C1RY7FZTW }
{ amount: u364276064000, recipient: 'SP1XTV8WA9V82B1SPZ354ZNJETEY3MAEFGP4VHEK5 }
{ amount: u364053526000, recipient: 'SP34TB10D74GXAB09QYQ9XJNEM6A244PBE106VD8 }
{ amount: u363954833000, recipient: 'SP2WCRBGHAM6AV1XMJNPT8C8VWYFDJQ7GM2SXB1JX }
{ amount: u363861149000, recipient: 'SP1W8C25TZCXDQTAR7MZQPSNF8C73274DCNT2NWJZ }
{ amount: u363750384000, recipient: 'SP384VJ1T2MSGR115C7TNEPBM4AGH1XGK3ES7JP67 }
{ amount: u363495639000, recipient: 'SPDK6XQJT6621GA7KWD3GM06AA8NHG0T3G380RAA }
{ amount: u363191176000, recipient: 'SPP3JB7NQ7CWXTR07A8WVKP9MQ5PB42TMJSDR821 }
{ amount: u362827716000, recipient: 'SPK5F61MDKS574Z5M9NF50FDVVT2HXB358EAZVAY }
{ amount: u362594064000, recipient: 'SP33SX47HWFYZ61B9YYVXH51573S9D0J6NY2RT238 }
{ amount: u362429768000, recipient: 'SP2BNQGTGXZGCPQC8MMJQYCY5J08GCJTGRARQZJ5H }
{ amount: u362069587000, recipient: 'SP2J82VPYB2G6GABXY1F73ZQ7S76G7Q7VPV8MBDFW }
{ amount: u362063664000, recipient: 'SPQ7EASFP7B91K94ECRVZ8X7FSX5ZHARAHJP4CSG }
{ amount: u361514287000, recipient: 'SP3C91HAECR1D5W58KXZQ8DC4PRD0WBG0B8S8QNJS }
{ amount: u361489404000, recipient: 'SP1BYNAY378A6S592J9WWDAB9BFM8YS5DSYGQTGSD }
{ amount: u361403993000, recipient: 'SP1YGSVXM5PZW4S74W8MRATXJDHVK5MFZS9T0V7VY }
{ amount: u361400805000, recipient: 'SP2A15MGAYDK5JYDF4BTZQZN7MQR29AZ14C2968BH }
{ amount: u361149729000, recipient: 'SP3HBYRKZ31RMA1QRM02FFPQM6FHQ7QB5X5WD46NQ }
{ amount: u361096181000, recipient: 'SP1NEGW735VHFYEB33TQ3MJBCWX0N9K0KZSFSQYBS }
{ amount: u360597093000, recipient: 'SP5H0TQP0YAMN56DB137RBPSP0TPTRDR58KB6957 }
{ amount: u360386804000, recipient: 'SP2KXPQ0N1G2G7YP5YAB0ZNG65R3G01NCW1GCMCK3 }
{ amount: u360349299000, recipient: 'SP37QNMP13EMK8RJY986EQTDDVTT638Q863DT6AT7 }
{ amount: u360277401000, recipient: 'SP1T8Z5NNSGA5YXA4XVFCK1DKB6Q18HWP75HF8H5C }
{ amount: u360253120000, recipient: 'SP2XY81WBP71NAQQKTWFYV85TQRTVNN2NGSM5BF2M }
{ amount: u360051446000, recipient: 'SP3B95X2SDQ6H84B4A4XBM7XDZCSVEYRG6YX785SX }
{ amount: u359865048000, recipient: 'SP2Q7CYX4SGN0W793F789C4AS5KV6WWMKPA6QAPA5 }
{ amount: u359821025000, recipient: 'SP3ZSFSECJ3KYSWZ27DR0BP7XPTCJ2W1KASARDJEC }
{ amount: u359215980000, recipient: 'SP286HM994GB6W53KHANYTXKHKSQQZ4ZQN897PW44 }
{ amount: u358819282000, recipient: 'SP1V21H2HAQ2HKS6K0J44VVJJH7CHK8NY4GE06YQH }
{ amount: u358810137000, recipient: 'SP32XFMNYYQYEDRRVDBABMB17YEKMZ23C4K8JQ8SZ }
{ amount: u358476138000, recipient: 'SP2NYAQ6CJG5VN7NRP9FMBMA6VK6DJ2NZCDPBYAH3 }
{ amount: u358473076000, recipient: 'SPQ1EHP8N65R5WRCAGQNEGBKQN52DC309XATJ710 }
{ amount: u358361104000, recipient: 'SP1FKA0A8SVGD3AN14KCFJVBA9KAX28JVTQ4X6AHH }
{ amount: u358182522000, recipient: 'SP3KR9SGTMN0DRN5WPNN3MEDS4Y6XR795GCGH466K }
{ amount: u358108220000, recipient: 'SP1A25WFXFFENDPA6S3GPNPDTP0B4RC20GVSJTMMW }
{ amount: u357909044000, recipient: 'SP2GN14JS1A1GYXJ8J2XJ358NHJ8K037FYJ4CZBDX }
{ amount: u357804387000, recipient: 'SP18HCFMDAMZRV8321E30BESXY478Y2PAT5NGT6KP }
{ amount: u357575742000, recipient: 'SP3ATB7T3V7P57EYXDBXSBPXTFF0KBBHDJEQ3BDCH }
{ amount: u357508829000, recipient: 'SP1NDXJ0GP9QDE5RQA7A2SBDEND30P58370SRP6H }
{ amount: u357170152000, recipient: 'SP1VZ4K0200CFA8CDD4FMWSYY8W24P7YAGG0G0J20 }
{ amount: u357098766000, recipient: 'SP2737BXBH72G8GPW94K85JGP7GSYWZ1K6BTE4TWV }
{ amount: u357064621000, recipient: 'SP22YPD08DN67VXG0TJNNY02GTQEH45YN0M9QJ2S9 }
{ amount: u356827743000, recipient: 'SP3066Z3ASH01ERT25BSTT69XXK5Z0E3NMSB5SDXW }
{ amount: u356345627000, recipient: 'SP2K6RYGNR9JGSBSV978ATFAH2FFCF8DZDVJMCP93 }
{ amount: u356311332000, recipient: 'SPKZZCB0QGAFAKPF334NB3Z0014XWADBWWCRPKT3 } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-11))
(try! (contract-call? .token-special-vote edg-mint-many batch-12))
(try! (contract-call? .token-special-vote edg-mint-many batch-13))
(try! (contract-call? .token-special-vote edg-mint-many batch-14))
(try! (contract-call? .token-special-vote edg-mint-many batch-15))    
		(ok true)
	)
)