(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-66 (list { amount: u400000000, recipient: 'SPWJHE1HQE0EFAR6EC1RVX58ZX636R7F0WSEBAK }
{ amount: u400000000, recipient: 'SP3B9J77QKV3G30FJVKMMSBYXBXS2VYY8Y02K80X5 }
{ amount: u400000000, recipient: 'SPFP1RHARJFBYV2ACJC9PY0HYS7GGJZTMYADAY1D }
{ amount: u400000000, recipient: 'SP1JREEVXDSE4SQTPTX8N07XTGK3Y97SP3N51S53N }
{ amount: u400000000, recipient: 'SP39GYH4TQ4H3FF2H48Q5MEN5GGE3PYNMX2MPKNG1 }
{ amount: u400000000, recipient: 'SP12HQGTTBBJKJHE1KJT6SH1RZZV2Y9CAB7S1W3QY }
{ amount: u400000000, recipient: 'SP1QYVEZTGHE77BYXQMVK61PFF6MMD9DHBSEKYGC4 }
{ amount: u400000000, recipient: 'SPT9XB8YK39Z5818M0K0S1CMWMQ4K94QN05H1CAC }
{ amount: u400000000, recipient: 'SP11KS3GAVM5BH6FQG689DK0P8AFKNCXH4JQXH5HF }
{ amount: u400000000, recipient: 'SP641BZZ2YDBGQYX5FWRR43JZF3YKQ2TV45BSEKA }
{ amount: u400000000, recipient: 'SP1GG95VNA1KVX922KBC04HN7N1VW9BW0PB0NAHDR }
{ amount: u400000000, recipient: 'SP2EKA4RQ58SBG3D569ZR9VGPWA1X42APH18GB0EA }
{ amount: u400000000, recipient: 'SP3M597SX0843NACWCZNCRNJD62WFE3Z7JSSTPMVD }
{ amount: u400000000, recipient: 'SP35DZ21CC9KT39Q0BP5PV8BV7EXTRNVXXX05TQRQ }
{ amount: u400000000, recipient: 'SP1GN5P9B0BHZRNYWKDGM32MHNJ6FV216YE27R6GA }
{ amount: u400000000, recipient: 'SP33YBFPFNQVP554CMAYNJPNXMGTZ2KS6DDR8A74S }
{ amount: u400000000, recipient: 'SP1J2KPTQCTEHGDKCX1D5R8T4C1XKA1F73HARBWN0 }
{ amount: u400000000, recipient: 'SP22WJ2B55E737S5F0RTGPR7KTGM3C0JG2WKWMXB1 }
{ amount: u400000000, recipient: 'SP2QS2YK067BEEH6B6YFTG531CNVTGMKRM9PXV84F }
{ amount: u400000000, recipient: 'SP24ST74994FG11E8QKDABYV4JJ8KPK8RMJAZXV7B }
{ amount: u400000000, recipient: 'SPWPSB0DHN38VXHJDAGRNNRBS02TT13KQSGJ2Y8W }
{ amount: u400000000, recipient: 'SP2NXARYGV3F4540193E2PFW9C7G5ZDXV4973SYY1 }
{ amount: u400000000, recipient: 'SP23WSDRYS3R96BHHY7SW7536JRV86BN6ZBSAREZZ }
{ amount: u400000000, recipient: 'SPSR66WZNHAGCKYYZ1MHF9CFQS0F680CJMKM6MQ5 }
{ amount: u400000000, recipient: 'SPYVKS6M8RTAQVNWT67ZBDQB3PVGXS0PAZH8R3KJ }
{ amount: u400000000, recipient: 'SP10F43NWV830ZQ0KS1QAHBFDVWTPXZ4DDG6YCC23 }
{ amount: u400000000, recipient: 'SP2V6CQHZRK89VASZX8QQXKH9M2SF5ZWNAK8F0GE2 }
{ amount: u400000000, recipient: 'SP3QWZ1QWMB6MBB9Z1BH86GX07JMQX0R4QGQ32ZYV }
{ amount: u400000000, recipient: 'SP2S91P6S159M63YVKK9TC6N5CTWYK9ESRVQFJ2T6 }
{ amount: u400000000, recipient: 'SP3YS996Y27JGC9FDQRPJG3AZWWBT3N9T99F7PDK7 }
{ amount: u400000000, recipient: 'SP3PE4HQWFSA6ZX4KX9YG6ANTMWXCSNS6DR23WST4 }
{ amount: u400000000, recipient: 'SP1Y79QVN7AFGQ62XRTE7XZTXXX3J0BDB82SXVN73 }
{ amount: u400000000, recipient: 'SPX3EWMTTAH4FRZ13G5EXYVJBXJHNDV65WT7S0TF }
{ amount: u400000000, recipient: 'SP8E8Z7GXB9K3HCQZ5980VZ9VJJ7BGK1FV7C7YX4 }
{ amount: u400000000, recipient: 'SP1J886TAPQ6DK0RE62FPZRBJYGEJN0N1BS0TZVWP }
{ amount: u400000000, recipient: 'SP14H7JZEA8KDN9RF5FX06173KJHZ8APF8A05S9SD }
{ amount: u400000000, recipient: 'SP21KZK5EN9EW7CGYB4XSGNAQQH83P80B2JZWMF2H }
{ amount: u400000000, recipient: 'SP1A7E8NGXACG2YPKMG11W5Y7NZ98VCHS1BCD1FBC }
{ amount: u400000000, recipient: 'SP168Q8QB8FYRF3WJHAF20Z853PB8RYG49K2VZKW1 }
{ amount: u400000000, recipient: 'SP2Z99YRQ8X263KR67SNR8NJ5J2881HEGJDYQBWF4 }
{ amount: u400000000, recipient: 'SP1RT9S7YD08K44CA5F2GT5BARKG55SBYXKR0PW7Q }
{ amount: u400000000, recipient: 'SP12ESBTVY1B7BEVD6XHD22T1NFXDAQV6B5PBTZNH }
{ amount: u400000000, recipient: 'SP3450Z03C5PHDPP6X4Z6J1AFZREGPE130MA04WNZ }
{ amount: u400000000, recipient: 'SP165AGCAZ6Q21400SSGF1ZG93R5A5C4WSED806G2 }
{ amount: u400000000, recipient: 'SP72TV5D71S3R570D0TQPXPTNQNY7YEQXGXG1JR0 }
{ amount: u400000000, recipient: 'SP3YN27KHPGMT9KXZJQE47G3NF5APVYKQQ5V6YBX0 }
{ amount: u400000000, recipient: 'SP1JBCHKMV8EBY04WDCZ83WM0V15AZ192TF151Q3Q }
{ amount: u400000000, recipient: 'SP3Q5T679K0QWD0G6FSA6BM70B6PPZY3GWT974N9Z }
{ amount: u400000000, recipient: 'SP3K2YEW2RG276V0CBQN48V7M5DDY550AJB92PYYX }
{ amount: u400000000, recipient: 'SP2ET0AESCSQFC7SH56P4BYEC4H2ZZVGXY1CTWCSS }
{ amount: u400000000, recipient: 'SP3S9GXR018XD9GYHSEVJQRFJK6YD3SYGXMZKG12C }
{ amount: u400000000, recipient: 'SP2D67FM158FV4FRWSYHT0RQ6R14S3MPM6E7E635G }
{ amount: u400000000, recipient: 'SP2GA633RW271E06JBC28VWWH4M7WSPWN5JENH2PJ }
{ amount: u400000000, recipient: 'SP2HY735VWYPCFW5A5T8EB01P392SB6TAK4GTGD42 }
{ amount: u400000000, recipient: 'SP1QKQSM9SX78HHW1EKMG7M3QK531TEYCSR252B3G }
{ amount: u400000000, recipient: 'SP2C18SZ3CNNKRYTN2KQJRBBZA6CQ0XXF3HH7FGF3 }
{ amount: u400000000, recipient: 'SPY60XHGPMA9AC6SHTF4D76Q15RD7BNR52Q6QKCP }
{ amount: u400000000, recipient: 'SP3SS9DT6HKFAFXBTM4C2VAQWJFQEH4SPVK3EK2S5 }
{ amount: u400000000, recipient: 'SPCWP8W93Y0XAN3E57ETCH8WVMZ02Y3BWPYQ04C4 }
{ amount: u400000000, recipient: 'SP3SBQNNE5SZ8WH11GVR5ZES55AN39CSN7H61YB7A }
{ amount: u400000000, recipient: 'SPP6JCM7WWFFWVV8KDA19MEPKMESXABQ8X7W1YTD }
{ amount: u400000000, recipient: 'SP9RJNSE465G286A8ZTZBXAAATYX9V7TCAXCVHNT }
{ amount: u400000000, recipient: 'SP3HBQDC0JFM607SZE1BQFB8T1YJE8WHQXXFPR8P3 }
{ amount: u400000000, recipient: 'SP2N9QFTPEWRGYBN56DK3X38ARG2AZ38R02Q41VNN }
{ amount: u400000000, recipient: 'SP3T0PZB1NQSFXJBD8A1N02Z4TV9B35FG6YY4Z1H0 }
{ amount: u400000000, recipient: 'SP2B4C247PY679C7H8FVXF9QBGPWS6MNMB3Z3ZHAM }
{ amount: u400000000, recipient: 'SP2A7MY33EKSNZQST9A16D2GPGWXGTYX4R4EZMTAY }
{ amount: u400000000, recipient: 'SP1232KBE4HXVG2T5RXDSBHHHM6N6EZCDJJXT6ED }
{ amount: u400000000, recipient: 'SP17XKN8GKH3RVBSXB9MFV7QC44X0ZK2FJ24EVD7S }
{ amount: u400000000, recipient: 'SPD7PZGGR43XZBACFGHA2DVVBCPFY87KGCXZKJ77 }
{ amount: u400000000, recipient: 'SP0F0T98WYJ6S93TTK96GSAQRFMZ6TJQAK5M7MJ2 }
{ amount: u400000000, recipient: 'SPGZNFFSVG0YY1KGFMC2H6M8E9RJ580RCB0MJ74H }
{ amount: u400000000, recipient: 'SP30P6ZSN6VW1JV7HRP663CQJBATQ5HDREVBGPTX8 }
{ amount: u400000000, recipient: 'SP0FV6446WATRHT4V72RCMXP686JPNJR6CJAWGXX }
{ amount: u400000000, recipient: 'SP28D514MZBX6EVDGEGH034GYWZVAER6FQ0V4B7KG }
{ amount: u400000000, recipient: 'SP2VVV58S3GTMEPTQKQZKC3CM1V15XRGHFXMKSCMC }
{ amount: u400000000, recipient: 'SP3E1W3F8DKZ8V1A7C8WHQ3TJMRJVR2CM1T1J95TM }
{ amount: u400000000, recipient: 'SP2GMXRVXXMSBR24D0C88BY8VVM3TZX4X95M76Z8Y }
{ amount: u400000000, recipient: 'SP2JMWXB0CVP8C1CEJPD8J7DXQGQFYPGNNT4S2JA1 }
{ amount: u400000000, recipient: 'SP2QBBAVKK0QYJ2958CXPTXQ1GZV9W85BAATY8VGQ }
{ amount: u400000000, recipient: 'SP67FHS1NMHD972MTPASDPZWTYF53KEXXGMWHPNN }
{ amount: u400000000, recipient: 'SP2QZBSQ4GVPD7J8DY1JQS7KRTPBFCA2W185M8AAW }
{ amount: u400000000, recipient: 'SPTHD6XF3GYA1E56TB32VTGJX34PNZAZNFHM232T }
{ amount: u400000000, recipient: 'SP1YT3P38R6WXX0MVAH96MA3FPX5QN1N6D92FX0RC }
{ amount: u400000000, recipient: 'SP1066NVJTYEMTWJ9JKK2MMTTB8FQE6EH9YM9WNZH }
{ amount: u400000000, recipient: 'SP3H9PSCFFTE2T4BX837KHPWXAMZMXGKCSAGMJTSV }
{ amount: u400000000, recipient: 'SP37E51S45J4CQTBNXBQA1DYJJXYY0EKZCRNR5NCD }
{ amount: u400000000, recipient: 'SP1SMT6QBY3NYWX84Q7VPDTAE4PHZ2RXFHRBBGKEV }
{ amount: u400000000, recipient: 'SP28RRSA19GC3JEN2XDHQ6DD4Q3TANCCTM07MN5SB }
{ amount: u400000000, recipient: 'SPVGHCR4MNDBWQF9Z2E8SCE1GRQY38G8JGAAXMAG }
{ amount: u400000000, recipient: 'SP1W6SV3GQ6MAPKRJV2WGV9SDQZRKA3DKEHADH95A }
{ amount: u400000000, recipient: 'SP19D6WGHNZDQPJWM5R3GY25AV816H5VYQGA7GV04 }
{ amount: u400000000, recipient: 'SPQ213CQVM4ZX18F3NG3AXAA724G3NHAPSBYVH65 }
{ amount: u400000000, recipient: 'SP2F232WZHB6WWWHFZAH368TF8RTSQGCPQ9XCK314 }
{ amount: u400000000, recipient: 'SP2BPJ15SRV7GYA7V895NWRDC45VTC6DTBHCNSW68 }
{ amount: u400000000, recipient: 'SP3710FJH8QGGW184J896E40Z0M8B8P3G2QCAXTR }
{ amount: u400000000, recipient: 'SP3YE2QZVVSSNNCG2CYAPSNDM0SDMZ8QW1FJFNVV5 }
{ amount: u400000000, recipient: 'SP32C74WRQQPKE3JXP80R60GX287GJGMTMBV8EMDS }
{ amount: u400000000, recipient: 'SPPE40HWXRDTVEMBXFKZ61FKEN41SY412P1ZDXF9 }
{ amount: u400000000, recipient: 'SP2KYYPYJYKZ1ZPW6M93EDF6BSDWPQ540B9SD0VKB }
{ amount: u400000000, recipient: 'SP1MNWER5ZT0KKYX8TKY3A6ADQDT1M0AHT8JEX9MG }
{ amount: u400000000, recipient: 'SP35Z3Z2T50G3BZDVHGMNZ6RGJMM0FCCG13HEC1RX }
{ amount: u400000000, recipient: 'SP24BWS72SP5HA7DV07QT7XKWEJGZ1KX4QXHF6F08 }
{ amount: u400000000, recipient: 'SP299P7NJ78ZF6PRVWT0RZ68PKYC7XR6W9FXTNQ05 }
{ amount: u400000000, recipient: 'SP2SD8SZ6BGFHR97WFM7HTKDQTYHTNWYJQY85019C }
{ amount: u400000000, recipient: 'SP2VC3TG3E9XKAM73DP1WW13CN8V2JM8DBRP7PKF9 }
{ amount: u400000000, recipient: 'SPFH89TA6E41K4TNJ912081WXGAAWBGCDXKWJM8N }
{ amount: u400000000, recipient: 'SP1B511FGHN8KRCXMP74C7BF94YSSM9MAY344X8EW }
{ amount: u400000000, recipient: 'SP9SF0G00WE8G5TXEF2VPFY3EVEKXY38BH1YN8BT }
{ amount: u400000000, recipient: 'SP35NYVXN21TNT8Q2YFJ1SHT8B1X8SG1Z6FB0AGNT }
{ amount: u400000000, recipient: 'SP1MXEJCCWJHJK7B4N585TREE0J9YDAACMMS8ZQX }
{ amount: u400000000, recipient: 'SP1CZ5CQJ26YQ4ERDN5G0C1NJ5FK0P6PBV8RDYJSX }
{ amount: u400000000, recipient: 'SP353D8ME3T427VDFBZYPE481C8K4QBPBBME0H230 }
{ amount: u400000000, recipient: 'SP1XSRBZP6YDDZ46X2TSCKQJJGKJNKK37ZS29SKNG }
{ amount: u400000000, recipient: 'SP1D34CV14M9T3RM1R9A9JJRV5XFK3EGQ7C1979Y2 }
{ amount: u400000000, recipient: 'SP1G5KVWGGM2D6XSFFSZWEB1EPX9GRQ3TP9KP2H60 }
{ amount: u400000000, recipient: 'SP11YTH2CAAAS4SYBTCBHSPKAYS4EZEKK5GAWEZ5X }
{ amount: u400000000, recipient: 'SP1WA76PR667AABYESZAAEA3APYPMAA30724W17K9 }
{ amount: u400000000, recipient: 'SP3VSS5HMRG5B9Y8G748S9X22CXX9WK98P5EDJD03 }
{ amount: u400000000, recipient: 'SP33MHFN2VWCSMSVER4SKG794J0DXW6M0B5EQC7MW }
{ amount: u400000000, recipient: 'SP1T6EWH62BBYBW8JQ762RRT0SW9QD2T0288AQRRQ }
{ amount: u400000000, recipient: 'SP32622PBMDMVN0EA2GJ3GYZ33DPFDPNJYVDHDMBQ }
{ amount: u400000000, recipient: 'SP3FZWRFP55JX4PY87XHE9TXM8Z0ZX9M4MN3B6QX2 }
{ amount: u400000000, recipient: 'SPQ3ZARSR5FSEAAF6XKSJFZNZ9KKDX7W3X65K5QS }
{ amount: u400000000, recipient: 'SP1Q1KYVX8WBPYPB5TF073DWV52SQT4ARWY9NQHAA }
{ amount: u400000000, recipient: 'SP2M0QCQP0WKG54ES64Z1NSAFSKSD85QEPHEKA9WP }
{ amount: u400000000, recipient: 'SP1SCJ2AJ8EQ0YS3WBCXYG6K1PSZ2KW9Z5YNW3RES }
{ amount: u400000000, recipient: 'SP3EQJ4T1PK4KC1BEN9RNHA3JG21Y9VKJ9B2TJCY7 }
{ amount: u400000000, recipient: 'SPACSZNEXMS7XWTCK5G4JVBR6QEPPMXFM20CEW3T }
{ amount: u400000000, recipient: 'SP7Y9V4TFZQ18K7YYSQ58T2KYW5MKY5AQ45R3YJ0 }
{ amount: u400000000, recipient: 'SP07977F5WK2GRF434K04FWV2ZDEQZD4T7C6C78W }
{ amount: u400000000, recipient: 'SP36MKXT5WWJ34JMN4KETTNZDP0CS6WA90CBSVW52 }
{ amount: u400000000, recipient: 'SP2B3JQQF1P8GZZQ83K3HP0SHQCN8BWCENHD8FNMV }
{ amount: u400000000, recipient: 'SPDRYHZRH170ED4C98VCFDGT4P173CM1KYPGWXK6 }
{ amount: u400000000, recipient: 'SP3NJ5YK9HHZ78XD92669HR5RPXV5MGBVZ4BCQ0A4 }
{ amount: u400000000, recipient: 'SP2R0S8KK8C2B9S3DAXCEXCBNN41Z945SYWXWB7JZ }
{ amount: u400000000, recipient: 'SP3V42YJ4SHC2EBTSDP5NGPX9YGTJK9DCDXRWPVQK }
{ amount: u400000000, recipient: 'SPYHQVC6X0ND6MQ81NQ5FWS8HPFA3NS7Q04P3DMP }
{ amount: u400000000, recipient: 'SP317P6JH6N97D8RRAPXM3663F55S3VYXY6T7MQRN }
{ amount: u400000000, recipient: 'SP8359YXBY6WBKWPK65N3DXGMNTTSWM70QY1N7P9 }
{ amount: u400000000, recipient: 'SPM99EXRNZA56N8H3W5PE7WFVVB3YZDEMWFZS215 }
{ amount: u400000000, recipient: 'SP23NQVTTWCB5SZ4NSZX8N46E4W57N9J4WCZJ1FAA }
{ amount: u400000000, recipient: 'SPJFEW8QHAM4NC7WJVV74RFWEXB73B8BCAGGWCKK }
{ amount: u400000000, recipient: 'SPC8RXNWSZCRVQ3Y99W0C4YFQCT5TV7BV2HSPR1X }
{ amount: u400000000, recipient: 'SP02PNERXT2YJ4XE8B6WG2K8DJBB46TQPR4ZDWSC }
{ amount: u400000000, recipient: 'SP1CMDB0JB1MNTJ3J3ZNFYAR0AAWM1H03XD8VEX7S }
{ amount: u400000000, recipient: 'SPEVRXK4C2CH31Z8G1H1FXF1XARDND0ZF42W3KEF }
{ amount: u400000000, recipient: 'SP1YQW4M0H5QXZ8JYECJ2FT3396JJPZESMJM62HY7 }
{ amount: u400000000, recipient: 'SP1QBJQ5FE1TEAR282QY425ZB5KZFY5TART1RW4D5 }
{ amount: u400000000, recipient: 'SP3J308K0HWDQ10PDETZ3DF8Y197S3QYJXS13VWZP }
{ amount: u400000000, recipient: 'SP3MQWP15DMPGEHHRKSY7FQ0DMQ8T223724DGMKRW }
{ amount: u400000000, recipient: 'SPESMJBK4PX7ZS3W686YT7B4P57BS2PNW7PVYS43 }
{ amount: u400000000, recipient: 'SP2GGS15YJN1669WN9AGFSD0YQ3BAWDCXM3C8ATS5 }
{ amount: u400000000, recipient: 'SP1SRS2RTM3QQAC5GK0D0D88KHPE84Q1S0BX01633 }
{ amount: u400000000, recipient: 'SPGX2GQ5DKZFZVY15NC1SF95MQGN0WC8H1VN8M9D }
{ amount: u400000000, recipient: 'SP3CCSPRFX5B3M50PJPJ2MX561996W42YAE7NAW8H }
{ amount: u400000000, recipient: 'SPWZBS3ZTKCVN9DZHMSHKQRME1PQC8R85MKYCH1F }
{ amount: u400000000, recipient: 'SP2EFD5E83GCF34BR45W56GQRD8N3S85X9QQFD3CV }
{ amount: u400000000, recipient: 'SP2R0Z8Y0BVC6JRCMT1FVPT62AR61DD4XGMNES6F8 }
{ amount: u400000000, recipient: 'SP2WMTYRPAKWMG4PMEF73KEBZ8RGTXBP5NNPBFP4Y }
{ amount: u400000000, recipient: 'SP21K1RWW54ZTYJB3ANR580NVY787CHTTXF7PDF5K }
{ amount: u400000000, recipient: 'SPFKXVTCXEN7RRSYEZV0X4KHG1V0R5W3CMQS3J0Y }
{ amount: u400000000, recipient: 'SP1Q9P3P4GJC0QWJ892S2SF58VTA9NNMDS0PN2PP1 }
{ amount: u400000000, recipient: 'SP3H9PWVBAYCDJJ5TB346MTE5PNNXPZGB65GME4J9 }
{ amount: u400000000, recipient: 'SP1EPTMBVNNATF85NEW2W6V1Y36CP4SARBTBD78WD }
{ amount: u400000000, recipient: 'SP2819VM7R7WNJB7T3VVFEDKB9WFNV7M9Z7X8N8KG }
{ amount: u400000000, recipient: 'SP3ZK5CYFMY1CP2RW8DBBTA9D30RMXCQS0HH931RB }
{ amount: u400000000, recipient: 'SP3M6WY2XQGDKR79RSQ3VRNXK12AVPKQ92X7807WP }
{ amount: u400000000, recipient: 'SPT7BTG0T6NN9Z341TCQV9KYW7DKT5FW94116BPN }
{ amount: u400000000, recipient: 'SP32XKARHM1WGMHSK5TN16H4HT48483ZPXQCRSPZV }
{ amount: u400000000, recipient: 'SP1GHQNZT4TF9SNNEK6BKMC2J2D1EPWKX4PJDQYSG }
{ amount: u400000000, recipient: 'SPT4Y616Y9TFDTJFJ2QGQM8XPYSB40VZC1HZ51A }
{ amount: u400000000, recipient: 'SP24PJ35J31QS86J4XQMMQ0DTC4F0ZCS2CCJ7VG4S }
{ amount: u400000000, recipient: 'SP3MR0V9E0YWD0HNBCF3QABBQJ64FKVGZ7JJZB3ZQ }
{ amount: u400000000, recipient: 'SPZ09YWCC4TRWERBH56XQ24ZPH1RV60MAKK1M7NP }
{ amount: u400000000, recipient: 'SP1MCKCCTCRSBSGVFV1WYWJNNA7RW2AA0MB28KRRN }
{ amount: u400000000, recipient: 'SP1PTMA3850XT2QDMG92TCQQF5Z6PAHRR1CBS3ZE }
{ amount: u400000000, recipient: 'SP05PFSP4VJ4TN4K5ZSXCG0234X4ZFKPD34HF4AK }
{ amount: u400000000, recipient: 'SP36XEY9116CK7WWS3ND8QQK8H0KAKH0QMACBBSDS }
{ amount: u400000000, recipient: 'SP17KY715A5PYVRVDV1F8Y72PXZJZTPDAM9WNJY6S }
{ amount: u400000000, recipient: 'SPTZ8ETDRDZ32QFV8AZW6KZ8N4BVNT64RW8R3MZ2 }
{ amount: u400000000, recipient: 'SP2WEWN73WTG92S0Y5KTBQJYR5DWRP1WP5X8679G3 }
{ amount: u400000000, recipient: 'SPTY354GM7ARVN1XW8G06M88Q4J6T036C75ASKGA }
{ amount: u400000000, recipient: 'SP2M9SY5HFFH7ES5V3KX8F0X59PP8WZPCA4P79AS5 }
{ amount: u400000000, recipient: 'SP178HZDRFFFKJ48NFKFNHAFN7FVJZW7J5HMZXZQR }
{ amount: u400000000, recipient: 'SP3FZGXAHNRXN89D0HX5PBJF1YW0SRRTHKS9A2JQK }
{ amount: u400000000, recipient: 'SP3V1MS48HCX4AKXA3RBJ3T7G4597SYDA57FQ3C2V }
{ amount: u400000000, recipient: 'SP382CTTPEVCF1VYSJ7J42651CHQ92ZRWQS8DCF8F }
{ amount: u400000000, recipient: 'SP31MMFVWRCFVXPC32YANYHYSQMCB72XD9T5Q8XRN }
{ amount: u400000000, recipient: 'SP26XJYRY97PN5KYM03C6KZNBFK4NJ3N25ZRFDNVG }
{ amount: u400000000, recipient: 'SP3XDVBGH6QGDAXERFS6TS33W1SCJPBKB95R5M4MT }
{ amount: u400000000, recipient: 'SP1RJF7RVB2NTQN5WFQMPT9N3D4BYFVV6HMF2JNNR }
{ amount: u400000000, recipient: 'SPBZP190F8DMW2G38GN6BGJW8M27PX6N1S99MXMN }
{ amount: u400000000, recipient: 'SP18XN3NH47GCD803ZF4F34QQKCABRQKK934W2SRN }
{ amount: u400000000, recipient: 'SP2MCQ9BZDM9NEKW3P0XGSN4C7SSSCM08PD71YM8T }
{ amount: u400000000, recipient: 'SPV5B900VMNB18RBZYFM1P20207RWR84YVMPKMB8 }
{ amount: u400000000, recipient: 'SP3VRCXCQRJ24HE9GTD6BGZ75G891QHSN7SERKZDV }
{ amount: u400000000, recipient: 'SP36RV7VQTW5JVTFAR2PZP78NCMZNNXVBN8MCZDFW }
{ amount: u400000000, recipient: 'SP1EFJ3BN2FG370HTG29QT10642FMNG0SGAMQEJP7 }
{ amount: u400000000, recipient: 'SPASACA6WJ2W43DJB90EF63CZZBZHTWZJF35YKRV } ))
(define-constant batch-67 (list { amount: u400000000, recipient: 'SP2ZB62A2M0ZQR0CJN8TAKE6GK3AZ43X7T1YHZ5P3 }
{ amount: u400000000, recipient: 'SP21T4B0FCH82ZFDXW4120N8P1CNNAYSE1SWDPR8C }
{ amount: u400000000, recipient: 'SP3J8XS5HF19SSC96P3VTR7D2G5NCNX6CSQC0QACB }
{ amount: u400000000, recipient: 'SP2XAP0XN8V773M3VKT9JB7SJFB469JXX1V5YCVAW }
{ amount: u400000000, recipient: 'SP1SQZB56VW27698P16DT7RYAYGVDYZPX1VD1Y87W }
{ amount: u400000000, recipient: 'SP2Q83FY4KWVRBGZXPCE3R7X4HJRA03K9XJR57QEX }
{ amount: u400000000, recipient: 'SP33E790XGCZMZMRMMGEFRT5KV0V8SZFZEJ8EMX6V }
{ amount: u400000000, recipient: 'SP2EDSZC06GZBT293BFHJ6B97445HQGCJWZFHDVYY }
{ amount: u400000000, recipient: 'SP20P9PFD7MEVHY91PHP9MY64PBNX7ZNTEJF56RKN }
{ amount: u400000000, recipient: 'SP1KEY4ZWW21M6P7ZQHK2W2NRVQE0ZVMA5ANV2KNV }
{ amount: u400000000, recipient: 'SP1YQZSER4X1PGJ16CTCWT2GKGG3FA7ZVCJFCWCQM }
{ amount: u400000000, recipient: 'SPG07RZVPPCV2WVNNT71VVP0R3QSH6982FV52PDF }
{ amount: u400000000, recipient: 'SP23VK2JRSMEW1QPFC9Q97W8Z0QSMPZR5EATS07S2 }
{ amount: u400000000, recipient: 'SP3J0J8DX8ZPGHJ5P96NF1JKASP3ZN8H2EP3E5XCK }
{ amount: u400000000, recipient: 'SP3SFN2XDNQ7E2EH62XXKMB7MPA5MVMA31VKEK8AV }
{ amount: u400000000, recipient: 'SP10SFNGAGK9TPD5EZMDX41Y0PQACM8BVNV6VYBSC }
{ amount: u400000000, recipient: 'SP2320MVKTD5C659Y4PYEY5WZRC054V05T3SVY4Z4 }
{ amount: u400000000, recipient: 'SP29H2B16P3AEWQJ63FSAPW86Q22RQE9RWTB1MGFM }
{ amount: u400000000, recipient: 'SP2T1KZH7VQ5JPZ1MGMFRWJ7R5J7V4KQ7X8K3KNW0 }
{ amount: u400000000, recipient: 'SPWXSXA0ZE34BC7S2TW4XH6BRCJK3J0076T8PTKK }
{ amount: u400000000, recipient: 'SP175V80TW5TV9FAH0X9B42ZGWTVDF7CPY4F908JZ }
{ amount: u400000000, recipient: 'SP1S2A2M7M9G88B6VQKPVJYWC5DJ7Z5QKZ29QTK7V }
{ amount: u400000000, recipient: 'SP3K1RVH27KPVTCEDVWNKRQBTC8TGC6SBAZ6FJG8J }
{ amount: u400000000, recipient: 'SP3AVE49S14HMDHNQ9PP7GAF44GD5F307T4TS83E4 }
{ amount: u400000000, recipient: 'SPRJZXXXFJ3S7QWVDY50QBNNQ84Z28504PY8P9ZQ }
{ amount: u400000000, recipient: 'SPJ76JVTFZYZGZQZNQT8BWX8WC4H44ZZ618REEBC }
{ amount: u400000000, recipient: 'SP9QSVBSZNM6DT97XZCB8NRV5QYQDQKC68BZ1ZH8 }
{ amount: u400000000, recipient: 'SP3FPKQXQ369Q658NZ8DFMX7TD1V3WGM42N42GRKB }
{ amount: u400000000, recipient: 'SP24J36XDCBHCG9ZV6M5P19MCYXG81JMFDEES6VAN }
{ amount: u400000000, recipient: 'SP1Y8P8T64Q469WTSR4HRD02A6WEVPMV0QE7CETQ5 }
{ amount: u400000000, recipient: 'SP161EQEN1Z6T8MDSBH6ZBWFTXKCMEJM6BCGTSS0P }
{ amount: u400000000, recipient: 'SP1NQDT8GENS6RAEQ3FR5N1ZDNF78A29YYWTX64WW }
{ amount: u400000000, recipient: 'SP12QYW9Y83CSRER5Q5ARFKZ22N5ACKK70N29STXD }
{ amount: u400000000, recipient: 'SPP5YTH09Z01495AKTQ7C5APJVZF39HMJ7YCV0PF }
{ amount: u400000000, recipient: 'SP6S5QDKGRF4Y2VYR6HWB6Z8R2F34CQGBP4E6189 }
{ amount: u400000000, recipient: 'SP1PWZV90TW28EEWCST1TC2C0ND8W3E7SEPWE7A8Q }
{ amount: u400000000, recipient: 'SP2PRMDJW1CYYCY33JGG5TC2QY400TMRWS0G080EK }
{ amount: u400000000, recipient: 'SP1DPXF1FQ4DNH1QXHP6QCCMS0G1VXZ4CHTSQBS0G }
{ amount: u400000000, recipient: 'SP1ESQTQRVGGCZWD534X41WV1BV293Y01M2YXA7JZ }
{ amount: u400000000, recipient: 'SP1Z9205F7ZDCZHM5X0350VTE5V1ADMXYCTTJ5CV2 }
{ amount: u400000000, recipient: 'SP5MQGYXDF2Z76EGJJ6MS9TPVJA8V3EYDSPQJD96 }
{ amount: u400000000, recipient: 'SP91RNSDJ621NJW3H3GH65TSB1WRW72CX2EETGN8 }
{ amount: u400000000, recipient: 'SP17VGD6GTFYCKT7AS1CYHF4VRX6KFMY12WD93KZN }
{ amount: u400000000, recipient: 'SP2Q6TGAPYWVKSK4CCP2TR557M7F260QH4T546ME8 }
{ amount: u400000000, recipient: 'SPYKVABF93Y355RDJ3ZJW68XSV7T33GX69D10V18 }
{ amount: u400000000, recipient: 'SP388Y7SJ0821348QJJFMFBKGXG6KDVC5JDD4XED4 }
{ amount: u400000000, recipient: 'SPHQ1V5ZFBAMAH1C5C6C8K16TPSWB0XH258Q1N0K }
{ amount: u400000000, recipient: 'SP2HP26KE5CB3PGKCR795BVP09XQ8WGG19K1H6EV7 }
{ amount: u400000000, recipient: 'SP15Q6ZR89VPVRDA9QF5K9YBJMFBNC86GTSRN437V }
{ amount: u400000000, recipient: 'SP108F259XQ9VA2P4N4GQGFQ3F8GQGKK8B538QWYB }
{ amount: u400000000, recipient: 'SP9KGXTYGP4P7MFVR9S60Y3MQRFQAKQEP33NCQF2 }
{ amount: u400000000, recipient: 'SPRRTZJ0NTGDG573QE0S85Z1Y6A4WDJ72MAF92YX }
{ amount: u400000000, recipient: 'SP14ZP4GXKK33YW58XFX5B9Z5VAYBDQJH36VE5PT7 }
{ amount: u400000000, recipient: 'SP3AJ73XSFD27X1VC9T51NQ8DEPG36XPCYNXKGHMZ }
{ amount: u400000000, recipient: 'SP2R398ZFR85X5447C1YSQ16KEXDZZKGDZ4WEGJ14 }
{ amount: u400000000, recipient: 'SP3RB915Y12NAZX7VRE6V19A3NF56FVJJPP4XAG5S }
{ amount: u400000000, recipient: 'SP1CFGTBPHG4NW1VF45PYR8JBW0WBQGAJK02TJFHM }
{ amount: u400000000, recipient: 'SPCQP8YZ8WDFHT4KRFEP8GWYJDTT43VZ4199DEKA }
{ amount: u400000000, recipient: 'SP3ZFG6Y893XXHD6MKDT2GR75NFVEQ81GYWXTCT0V }
{ amount: u400000000, recipient: 'SP13TCWKT3Z8M1PCBAV3HXAEHZ380PE9QMDSX2DNF }
{ amount: u400000000, recipient: 'SPKQ23NX6ZCWS3PG3F5GNK4FHQD6WN19XEEYBQGJ }
{ amount: u400000000, recipient: 'SP3YW511YWEN155E5X7JXW0XKF5H9BKBZ3Q6XVKKJ }
{ amount: u400000000, recipient: 'SP2FZC0H9NA6Y4CG49ZWKF98JSKN6WNY1CQNCC5VD }
{ amount: u400000000, recipient: 'SPNV4BQJXCVDRKS3BKN0PN0DEDVFV6SATFKFYWGW }
{ amount: u400000000, recipient: 'SP79GP9CFKC3RE8TH5ARRXR1R8NKQPC4K3R9M5A0 }
{ amount: u400000000, recipient: 'SPAFBGYZY9MK4W7A44X6BV9ANTAAAKQWDWJYKC8X }
{ amount: u400000000, recipient: 'SP2S4QV02Z8G5PCCYXCHX2EBFMGSGWTFPT8Z5KC0T }
{ amount: u400000000, recipient: 'SPDQW1GKKK2HSW6611S1QSBM3RQN9JA603ZMR5X0 }
{ amount: u400000000, recipient: 'SP3P9274FEMMGXRT332AY7DD6FSKJQZDBGVSMN96T }
{ amount: u400000000, recipient: 'SPV8DKXB3BB6ZQSS5PQJ8BCKVZWA0RRN3EYR2ENC }
{ amount: u400000000, recipient: 'SP2P7KNXNE20PGQV6AM302DXESKKM1ANX7GA21CHJ }
{ amount: u400000000, recipient: 'SP2C0VRV3ZE7M3KM4XGCMC9QT6TGETKTMMY6W4Q84 }
{ amount: u400000000, recipient: 'SP1F7SW59C1RFSMG14B376CX5FTVJPGZA7D5C80DK }
{ amount: u400000000, recipient: 'SP34QHCE1BTFYGSF04BND0543D8EHDG5R0Q29W9SY }
{ amount: u400000000, recipient: 'SP3QR53WSAY019GS01H8FP4Y7SS96RWA0Y04TVJ74 }
{ amount: u400000000, recipient: 'SP8W0J12H8TBBM3SKXPZYG2EY3CMQ19CNQZRPBG9 }
{ amount: u400000000, recipient: 'SP73GTFEZWG950RNK0QEA3ZGZ5PSN5GWTYE4EDR1 }
{ amount: u400000000, recipient: 'SP3WV1NJZFN0E9Q46VE6HVK25HC7Y4F3XC3QEG5BK }
{ amount: u400000000, recipient: 'SP1EQTXTVDVXRFE3XZTZBW2HRFV7G4DA6YYS67T14 }
{ amount: u400000000, recipient: 'SPCK73GMVPR2C7GQT5308EAT1TFEG4R2A470GSFR }
{ amount: u400000000, recipient: 'SP3MKJTEWQ1PMN8B1MF75P6SPNR5QN9JZRZ3R4CG0 }
{ amount: u400000000, recipient: 'SP2FT41227WTW8M8YZS3MX2JEA601JA7202SKKEWF }
{ amount: u400000000, recipient: 'SP2QJ11QZY44EFVE6NYPXCFVMD116VETY823B2VT9 }
{ amount: u400000000, recipient: 'SP1GZ0DDK0SFDVBEMPSDW2DWTRYC69HTXFKGTMF5F }
{ amount: u400000000, recipient: 'SP163XQ1AAVKJKFFQFY1J7WAQCZ1CZ4CC8JYM2VCA }
{ amount: u400000000, recipient: 'SPM2KJS5D3KVG9SZTKNC7QWPZQS330Y9JD9GPFTG }
{ amount: u400000000, recipient: 'SP3WB2YEGK3KJH6Y7DPDD4HSSQZQCNKKHNQ0JF6RM }
{ amount: u400000000, recipient: 'SP3TCTDEDWAYGX3YPYEJV6GC0S0647Z55PT2H0KKM }
{ amount: u400000000, recipient: 'SP3SGCYX51F66WXC2MWEG9NXYNBER97VHT0MGAZ3T }
{ amount: u400000000, recipient: 'SP1FRENXNR7V066QBGQBA0MQJSCAHXSFYF6HAF1EV }
{ amount: u400000000, recipient: 'SPMW4JKPD40T7C06Z3Y2J3G6BBS1YRQCWFVQHAD5 }
{ amount: u400000000, recipient: 'SP2ZMK0ZPBDNGJ2DFD25NKXCSNX6VFS6GG7FHE133 }
{ amount: u400000000, recipient: 'SP3WE42SDY7AQHNYHECE31SYW09J2946N9NRRQ0CQ }
{ amount: u400000000, recipient: 'SPN0WN5806MMCE8WBN4VM5ANE7RDQ5YYT28SYR96 }
{ amount: u400000000, recipient: 'SP3Y7BAFXQY5B7Y4HY6CEMHGQ5X7K0H106A0YSWM9 }
{ amount: u400000000, recipient: 'SP3YAA4T9TPVXZDR9RW0WKG29TN4STCDP46101Q3C }
{ amount: u400000000, recipient: 'SP18F0C2HBSHYYHH0Y54EGZW5WF4BKD4JY38W4GJZ }
{ amount: u400000000, recipient: 'SP3WY5KM5263NRQP03R80JQN524BRA5YBYP1GDBTH }
{ amount: u400000000, recipient: 'SP1N0XP4TF3YGTFP8TXQKT1CG7S7NRR6H07JY9JW9 }
{ amount: u400000000, recipient: 'SPCG05H5QGQBSWTB8JBHQJNJJ8KVQRB5YSEFSNH2 }
{ amount: u400000000, recipient: 'SPV6DYCVEHWA81ZFBTS2VJBTPPK0MHD9PJ9CHZZ5 }
{ amount: u400000000, recipient: 'SP25MCE3ZFSSGZVGRJB5G36YAH7RFT3FBQ9HJACYP }
{ amount: u400000000, recipient: 'SP2AZMV6DGFZQHVGYVV8YR8JEZZ6M6FBXDF3DA6S3 }
{ amount: u400000000, recipient: 'SP1S0AR8W3BNB7GCD9Z70KTT0SJHB3W8MVF80W66J }
{ amount: u400000000, recipient: 'SP1Q9DG69F46PFHXTXJV78ZZH519HV5P1NCDCFSVT }
{ amount: u400000000, recipient: 'SP3YCN20HQMJGHE795BFW7ZTE1QSBMPV6CDQ4T1GW }
{ amount: u400000000, recipient: 'SPYGCXHQ6PACXR3J8J7Y7NT5QEJGMQTGMW56PCAC }
{ amount: u400000000, recipient: 'SP36FP18J9RTDGW67ND3XFT752ZX83VWCBJKJKWWA }
{ amount: u400000000, recipient: 'SP1DNQJ74Q3P15QQY7MYWQGC0K21F1WTV73GNMXVE }
{ amount: u400000000, recipient: 'SPCWGDZ8EFXBE7WWVGW24YKXER2AF0STAMBQV53R }
{ amount: u400000000, recipient: 'SP1GMCNG72G09YY8FN37VR35QRHY2N57ANYBZ5HJ9 }
{ amount: u400000000, recipient: 'SP2RB6RYAA3X0S4552BKTPFEMKE5AMJZVA4GB20FT }
{ amount: u400000000, recipient: 'SP3S2AATN0S31RJ2DDCSHEBCV1823HDZF95R3Q20F }
{ amount: u400000000, recipient: 'SP1H5TM8XWJF4DNFR34HHX48YFJBFWM0HN7R36HS5 }
{ amount: u400000000, recipient: 'SP2EHA83BR54KKZDEGZREC16MGHHQ4H40BPZ7FKW8 }
{ amount: u400000000, recipient: 'SPCR6AMSS554N3TPF43QTHJQ6KXK5XSSQJ416FEP }
{ amount: u400000000, recipient: 'SPX9K0R72KJV81GV63D1YVQHJDJVT1PTG9A5RDZ8 }
{ amount: u400000000, recipient: 'SP23GTSXBH8AJTEMGB3EGWHXW2K0QZ3DZBSMSQ887 }
{ amount: u400000000, recipient: 'SP38KSGCFW099FR3Z9YXX1TCA5CAG1Y18XHJ904XW }
{ amount: u400000000, recipient: 'SP6C7BVR8V51FP4XRJGQ1QJ9R8M12XJCKVY6A635 }
{ amount: u400000000, recipient: 'SP2A9DEHP8AN4C2WPSAKPN1556ZEDV9KK3SPCYKM0 }
{ amount: u400000000, recipient: 'SP2BNR55NAX8F1R6P1W04ZCFHRV9MSQ10KYS69S9C }
{ amount: u400000000, recipient: 'SPE9RVYZX5SKVW9E3C4ETT197EHFN8YDT1QJB5PR }
{ amount: u400000000, recipient: 'SP12ZDM8G31HHWJWHDBRF2HBWAAMDH7RVFV66R9VR }
{ amount: u400000000, recipient: 'SP3CH99DAB8GPDJB88QXY8H6QQVJ7BDE6E6NT3WSJ }
{ amount: u400000000, recipient: 'SP2WRSV9758FRQTX6BXR517PFC13727MCBECXQ726 }
{ amount: u400000000, recipient: 'SP1SYB2KPB8TSB9N0PP4627G5YX3JNB86HJDPY8KM }
{ amount: u400000000, recipient: 'SP3Z1WVCAHNM3K7FZRP64B1ANRMHKS8BJPWTGVA51 }
{ amount: u400000000, recipient: 'SP26V2RD3E1WMA37XD4WKSFWMAPV67WMR4D2EJTBV }
{ amount: u400000000, recipient: 'SP1J35A9GX06YX7PXN0KRVW0PWWVW42667GT9B1Y6 }
{ amount: u400000000, recipient: 'SP3WVWGYZ9NPFJ44Q0D1MNQ3P1XCQAQ0A1KEFKSQD }
{ amount: u400000000, recipient: 'SP3EXXSZR665F9T9TDBMG45XJFRCNJFA8X94KW5TW }
{ amount: u400000000, recipient: 'SP1R1P7QYPJSTK6SXXB56SJMTB2PS6APEC29J1C5F }
{ amount: u400000000, recipient: 'SP3ZPDYRD23813RSM4NBZ98F9AN8HZMAJSFA8G8WE }
{ amount: u400000000, recipient: 'SP1HA4E426NKA6F9S1CTCB0VM50SF0EBXGGDZ51Z6 }
{ amount: u400000000, recipient: 'SP3XEN4NBX2TXFECRP3QMNJYKH4YR1ATP4RZE1SYW }
{ amount: u400000000, recipient: 'SP35K6K1F0CZ3J56MF469YGTB70BZ34AB9RCJKYGM }
{ amount: u400000000, recipient: 'SP34ZCHQZ5A9E067CFC50G177NY4NGQCS063BEFFD }
{ amount: u400000000, recipient: 'SP2GWDCHC371D066BEGQMKH4D79H9D00XTSQGDKZB }
{ amount: u400000000, recipient: 'SP2GFVXWTC5Y8ZBSA3VN9GEN8EBAN8BBMDTAJ9SHV }
{ amount: u400000000, recipient: 'SPXZRHASWMK62EQP3CESC3VQ2GQWN71CG7SY9S5S }
{ amount: u400000000, recipient: 'SP1C2VGP0CVHT2V9ZTKVGPWVRQBVT647RYRNRPCZ6 }
{ amount: u400000000, recipient: 'SP1QAXNNCX27WE14DWKRAAAET0FHB94DZNWHN30VB }
{ amount: u400000000, recipient: 'SP2N0VHG2P6KJR179ZX063D7SJ9CK7CPEREV5ZEYM }
{ amount: u400000000, recipient: 'SP3S08C3FKCY6D71VRAZ8NCJ5NBPKP5MBSHC20ZZ9 }
{ amount: u400000000, recipient: 'SP1N1KHXA1C7V12RZ074WTTGZQ2DNFZJTZ7P4QM5X }
{ amount: u400000000, recipient: 'SPJFG9DN5KXQF2G096RN3KCH27CHK73WANYY2J44 }
{ amount: u400000000, recipient: 'SP18ZQRE3N8RNMYGMASDZXV4XGYEZMA8JSHAK31Q8 }
{ amount: u400000000, recipient: 'SP1RSGJ1GHN26M850SBFQHB2JAHX8GNSCY8F3R8S2 }
{ amount: u400000000, recipient: 'SPMKTXHJHW6Z77KJSR052W8QE4NBJB6CAYJ2XSHC }
{ amount: u400000000, recipient: 'SP2EAD99DJAEAXN2TDJXA02FSWBQAGBW20W1FMX6K }
{ amount: u400000000, recipient: 'SP3CNPNY51NPK65N5CRZY5XT6FQW3SS9F47BWXXS2 }
{ amount: u400000000, recipient: 'SP11SSN4FKPFTS8JCQ4YBYCHW3V80HBKRV745V5Y3 }
{ amount: u400000000, recipient: 'SP14A35NX246MBJB996DES8FS6S8RD5MN5JZ7RQKW }
{ amount: u400000000, recipient: 'SPK566307SD068TKPWGKJA3RK5VQ8G27ANF3PEC }
{ amount: u400000000, recipient: 'SPZ1R9SRMVGZ71GHXB5E9C2N5NRCZD38FEZ2WFJ1 }
{ amount: u400000000, recipient: 'SP4V7SWD52RPNE2RQZWKW428AK07E70QE0SEYNF4 }
{ amount: u400000000, recipient: 'SP1D5R8SBW9GGD19HFYFGYT0ZAWZSAPNTNWRNJRED }
{ amount: u400000000, recipient: 'SP3JYGBHVQTKZKRFA54F3Z9Z8KMY6QFY169VMC1WZ }
{ amount: u400000000, recipient: 'SP2N9NMG4PNJ8W0B0VV20ZWHY2V6VVK3YM5S2HAZR }
{ amount: u400000000, recipient: 'SPXX2GQA8HXS0X6A8HVVHRRCHMMZ0GP8Q9AGMWF5 }
{ amount: u400000000, recipient: 'SP2NW29QTD0JDQQ44XVMFDJZ12WPEW44PRACHV82S }
{ amount: u400000000, recipient: 'SP1GPV1JQYPCSQX60KS456TFAFEQDR4T7SJY94JCZ }
{ amount: u400000000, recipient: 'SP2FED7FSMXXGB84D6TBTC0TV4RN54N12PENPKTMA }
{ amount: u400000000, recipient: 'SP1GNT2S0QHMH8RV29WWPNWD7ABRW1TKAEDDZ2S4P }
{ amount: u400000000, recipient: 'SP20HSVPTGC4ZNWK4MKMY6MAFW8N613YE8RNQD78 }
{ amount: u400000000, recipient: 'SPCJ3ZRT67W0XSYHF15H7CE1EBCADRNMRQ9EYN6W }
{ amount: u400000000, recipient: 'SP1887JC6VA38WKNHHN7KA078J78BK5P0FFYVBPZD }
{ amount: u400000000, recipient: 'SP1KBQ25SBXBAPG8WF9GDT83ZYZTRDZ0AGYWSMN9H }
{ amount: u400000000, recipient: 'SP1QHQCDN3JRFPNWVGW6SG56J2P91DS99B6BHCHQ1 }
{ amount: u400000000, recipient: 'SP1K1JPH6C6FNXQE2P7N82J7DBXSJQ1J5BJKTGZKV }
{ amount: u400000000, recipient: 'SPWQSZBGZWW6B8DM1BXN3DBTGY7ES8J3JCJT6M6M }
{ amount: u400000000, recipient: 'SP202YB85K5APZ5TJ91VC9REETERA8M3C8KSDSFR1 }
{ amount: u400000000, recipient: 'SP1ZC153VDDQBTAAQ8VY0RA2KQ9F54XY8DKA3XVF6 }
{ amount: u400000000, recipient: 'SP3DHJR439EP3FAZR865SY5VPRM86R3P6SD6GEYFT }
{ amount: u400000000, recipient: 'SP3W6T3EYVW3DXDXN4PCYEWXX51GDTBS0T96DYQR7 }
{ amount: u400000000, recipient: 'SP4H4ACKABR54Y0D0MF30G11NE82BD4YRFF09QKW }
{ amount: u400000000, recipient: 'SP1W75M0RK4BRZND83MSWFYQT9QDXT02YY5DE8G7T }
{ amount: u400000000, recipient: 'SP1BJMSKV5W4HWDK971FAXCCXG3CNXK1R59TBMA2E }
{ amount: u400000000, recipient: 'SP1FRDGJK6JTBA8RS5S4FH2N4BDMFPKZYJ864TAAC }
{ amount: u400000000, recipient: 'SP328JS1F4J33S85VQG3VK9C9HKXRSCFYMC44237X }
{ amount: u400000000, recipient: 'SP1AMXCKN9GPEE2577TSHB25C0P25ZYY742GGFEQH }
{ amount: u400000000, recipient: 'SP561WK7E6FYE0EP6MAX7MQ61QVR67WKMPVN5EFW }
{ amount: u400000000, recipient: 'SP3M3B2FD34Y0180MB1VNFEFDD6HDKPNVGQC0BJCS }
{ amount: u400000000, recipient: 'SP1KPV5ZZFSMYQ1R8MYF69HSYFF9BD60DY4H60SCJ }
{ amount: u400000000, recipient: 'SP1447N9PDJXDH06D2H93KBTQJ9ZTPDYK5WYPWM76 }
{ amount: u400000000, recipient: 'SP1TBJPRTW28XF8N7CNC5VWTFRQPB7GX59ST8T23G }
{ amount: u400000000, recipient: 'SP315TCG3D16P1J2DV7N8JXMYQMJVB7D0X7T8AZ0K }
{ amount: u400000000, recipient: 'SP184CBSCQ0T4Y96DP1BAD5PAN05Q20HPW0TVMCTT }
{ amount: u400000000, recipient: 'SPT80YFSBSD0KA9P2GJZJZ5XK4362Y8FM2MHCRPF }
{ amount: u400000000, recipient: 'SP36563MBH5VFYY4MK46MGGBFAPWNSW8K4R0MT8YX }
{ amount: u400000000, recipient: 'SPX1K6FW08EWE3YB3H1QC9W2NRPVZKY2WHAMV6WF }
{ amount: u400000000, recipient: 'SP2N0BFWJEHYK31HNXPSMT3K990D9SA327QM51S85 }
{ amount: u400000000, recipient: 'SPCEG1RKSNPN5NATM2TFBPCBQJTA11T5QC8FDKP6 }
{ amount: u400000000, recipient: 'SP1AM2AJE7JKK5A5Q807JKAPQQ83CF51S7SBTFKG8 }
{ amount: u400000000, recipient: 'SP11GMECM4SQCMRKK8NZYVRBDPYB892XD0Q1XG76E }
{ amount: u400000000, recipient: 'SP3JJ5WT3DMASBQVEHMG03473QA3AT38CEZDVCVZ2 }
{ amount: u400000000, recipient: 'SP1KKPR144TJJ4B46GY9HGP07XEFN6F1REK1CW353 }
{ amount: u400000000, recipient: 'SPFD6F4ATBFF4H98HG36GNG41C78G5SSHK6PCQC8 }
{ amount: u400000000, recipient: 'SP2AXJ24V3SN9WN9HACCYVHJCY537SB109Q129X11 } ))
(define-constant batch-68 (list { amount: u400000000, recipient: 'SP2RZKVMZ6X5RK0K53Q1X1QZZ59S1DK6ZZ596HA4D }
{ amount: u400000000, recipient: 'SP2QJQZT4XBKCRRPY8Y1RTTB5QB8M0P2G2NYB7QQN }
{ amount: u400000000, recipient: 'SPDYAGQNNJCFFYM20A542PSQ4DQA1SRZ871WF85X }
{ amount: u400000000, recipient: 'SP2K4ZWHKKDZHKKM28NW47Y3XD3V99NYFSBKEM1FE }
{ amount: u400000000, recipient: 'SPVFE3XPRZ79385H5X0WB9PFDJ4FNVREB3SG0VFG }
{ amount: u400000000, recipient: 'SP3TZ9CQH9KG7SEBK7XB51Z27KHDX4HN93PAWVZMB }
{ amount: u400000000, recipient: 'SPV8P2DJ5ETV3M140G2JAAM439072QEX3QET5WRS }
{ amount: u400000000, recipient: 'SP20NKHQASBFMKZ2VP6NKBAXF3AFPKERCHN0P81F3 }
{ amount: u400000000, recipient: 'SP37PF5R1D1E46PNGA5BB2HKCG50DM8BTD5FHE2XB }
{ amount: u400000000, recipient: 'SP37J7K9AJTXNPKQKZYMHJ6FTTKKJXERZR24RYVP4 }
{ amount: u400000000, recipient: 'SP1C3N0VY9KBJK9P8NZ1YSDCFZBDV6BBF54GWSEHS }
{ amount: u400000000, recipient: 'SP3AGXFSNR3AQCWB7HPKX4CJHXR8YYV7DZZRD0WX1 }
{ amount: u400000000, recipient: 'SP1DGQ7A8PDBYDM2B7GPWDYF6MA2VF5P7V124Y39J }
{ amount: u400000000, recipient: 'SP1TVT6MTTCEZBG84YPYTJ29RMGX37PX2N2VPCXXZ }
{ amount: u400000000, recipient: 'SP2RTE8W3QG1HHY9MSQ3GNHSR9H47KXW3PR7FK30Z }
{ amount: u400000000, recipient: 'SPGAE1V02VYKK4ZEG1QHKJ5MXXZAGT2XYFK3VVXG }
{ amount: u400000000, recipient: 'SP3E7W4CDTKPJBNACYVH0ZMMFTY6S0CK3MHA0R0M7 }
{ amount: u400000000, recipient: 'SP346M8C4APNBEBHZ83D7GZ6H6MF17Q906BX8FA1P }
{ amount: u400000000, recipient: 'SP2XYQPJJMMQPZPYEVWE2ESWHA5SVE8KKAF89VCSG }
{ amount: u400000000, recipient: 'SP3YE8VY61ZAHAYBGYMHXRB8SR64D748BZY3JCGKJ }
{ amount: u400000000, recipient: 'SP2NXT088Z3AHAXWWDB3BEBNDNEGBRRTHDV7FSFED }
{ amount: u400000000, recipient: 'SPVBMC95CJS103NRXNPPAX2QX2QT4HMMC05MNFJ2 }
{ amount: u400000000, recipient: 'SPYHBNB5T6NHWR6V814ZD16VC9RABQPWS6GMTPFC }
{ amount: u400000000, recipient: 'SPRCJ8SRE915E19W8WJKWW3ANNF4PYNK3RWXZ66M }
{ amount: u400000000, recipient: 'SP3SW2NB1RQ664XDEQS8C97KTYSFS1G0G4SK0PP0P }
{ amount: u400000000, recipient: 'SP3K6PDC4B1B9SYT4N93H7REZEE4QZ7T7BMZ7SBXC }
{ amount: u400000000, recipient: 'SPXYZHVDB0VA8SZMAS2B48DCA1F9RHAY5J46CR44 }
{ amount: u400000000, recipient: 'SP32NRZAJGDG49J2YA93TWQADPMMTBJNFGG9A27HN }
{ amount: u400000000, recipient: 'SP1VN6YP979XVTCX97MB2BA5EFZZEHRT2MVWPFY6A }
{ amount: u400000000, recipient: 'SP38ZPJHQDFE31EFYXHRT33P2CH2B02VKQ6YBZAMB }
{ amount: u400000000, recipient: 'SP2HFQR0PYTHZJQT3337W9XK4EPFSX5CYVZRVQ3A5 }
{ amount: u400000000, recipient: 'SP5T82FW6WRMB8XBJG20NVASMR9MGCWGETKBYE6P }
{ amount: u400000000, recipient: 'SP3ZMKA06KT87Q1MHGDAGE1B0YDGNYKKQPXYA9ZFF }
{ amount: u400000000, recipient: 'SP3ZPVDFQDWQGEXQ08YYY8ST4DN9K15AWVRDG5MPF }
{ amount: u400000000, recipient: 'SP1JGNMNPHRBRJA0TQG5WXE0NPKDJ1K8WYZB77P55 }
{ amount: u400000000, recipient: 'SP1REGZZEWYNTMPP2B0SY78NP9RD5RN1EV4CAAXYG }
{ amount: u400000000, recipient: 'SP1673NT6HWDKSPSFFYX8YWQGA88V26BNNJR50F7M }
{ amount: u400000000, recipient: 'SP1BMG32STN7Z833FTPXETAKCQ8M1PGT33VN8QKNZ }
{ amount: u400000000, recipient: 'SPX98CPFHE2MA3W699X93GZXEFBH9AVVFFYR8Y0S }
{ amount: u400000000, recipient: 'SP2EV542N22F743J9AAR64MYFC7F6Q84MH34P19G0 }
{ amount: u400000000, recipient: 'SP1J8XHF446D47FAW12ZXS08E5AKXXD11PXYTV3H3 }
{ amount: u400000000, recipient: 'SP3J2Y9BX0FTGFHDF30ECGQ1RDGG5FNB6P8A8P5Z6 }
{ amount: u400000000, recipient: 'SP8PVCZX62B3JA90SCGJZC13TDB3C8WVG2Z0K37V }
{ amount: u400000000, recipient: 'SP9VQCEQ1RM1XATA3KWRAS7SNWA7TPQ79D1ABZND }
{ amount: u400000000, recipient: 'SP26NP4RACSWNZJJTHR2GT3Z8E396FNX7VG2WJ05G }
{ amount: u400000000, recipient: 'SP3T247AB6TW9N0NDY5JN4G4WA0W4Y139MCS5EA84 }
{ amount: u400000000, recipient: 'SP1SAMH28BGFV0MKBFB6Z3PMNHC3B809ZSD7PRKPG }
{ amount: u400000000, recipient: 'SPEHR1HXJEVH6ZE18AWYA3EE6J18GGTFAAQA4AFA }
{ amount: u400000000, recipient: 'SP360NH9TYSYDC8SCSPYTP58VA7017YNXWBTCF8QZ }
{ amount: u400000000, recipient: 'SP2NWXQJ5C0X7HJEA8XAQR4WENRE81FEPZZ2FHMM2 }
{ amount: u400000000, recipient: 'SP1TGGSSRZAJQA13E74C4Y6RY1DXV26XVKZ81PYVV }
{ amount: u400000000, recipient: 'SP3T5F5HWE4HMJKC1MKZ5AZNBMTGXSA7DTXJYTTFS }
{ amount: u400000000, recipient: 'SP2GSDBXZJQ6H3CNA8YX8BA7HTKX1XZ5V85FAF0M0 }
{ amount: u400000000, recipient: 'SP33724R3PMT2GBCPBJ4509HV4PQSD0A15PJFQRFN }
{ amount: u400000000, recipient: 'SP3HN1TNBT6Y1217XRQ5QE22GN5A08XNS29X4VJN9 }
{ amount: u400000000, recipient: 'SP2WXNBAPJKAWG3267T1VJPPXWTEB5R9J6752GBQK }
{ amount: u400000000, recipient: 'SP3QTK5E0TP5TD2VXVRQMGDT6KZPD9HXRSP5TCS70 }
{ amount: u400000000, recipient: 'SP158SP59Q8QGN23VC8E3AY408KKW03SXBSQPSHJM }
{ amount: u400000000, recipient: 'SP2SWY90A53RF4V23WEP042Y7QAJX9ZWPKZ85AD5D }
{ amount: u400000000, recipient: 'SP1CEEW937W1BAJG2DXN9RV173J0RE4N4ZZE667AD }
{ amount: u400000000, recipient: 'SP2TZ6DMXKBH734MXFF5VD7N6078H6EYDF0PNF8SE }
{ amount: u400000000, recipient: 'SP2FV5YK0X81G1Q518J4NGGTWJ3HNQS38MRZYA8JM }
{ amount: u400000000, recipient: 'SP1ZQCMPRC6AYJQHQ8A9TA1C3XZMS8BT9XQFF1G9T }
{ amount: u400000000, recipient: 'SP4AM4RVX6QBVCBJ4BQX3699F6ZMRC789WCJT972 }
{ amount: u400000000, recipient: 'SP1PN2QVE0FXFRNVGX5YJCQFV2V1DJ3GAYZ2FQTTF }
{ amount: u400000000, recipient: 'SP123MZ96K0ZS87A6DMZB9PPM4PRHQDHJRGWAGZYW }
{ amount: u400000000, recipient: 'SP3X13MQQ9DNGR0F05CEAVHJ3H8TBSGGSSF02R04 }
{ amount: u400000000, recipient: 'SP2QF5F3SGV70TG0QFEA10MRNZ1XVRB5MFGHVW77V }
{ amount: u400000000, recipient: 'SP3WAS2D7ZCA0QTDZ9QHTNVR2D1F5MNA1VZWV8ADT }
{ amount: u400000000, recipient: 'SP2V16P4AS9HQZN8A1BPWP8GX94QBPPHDQCH8D88 }
{ amount: u400000000, recipient: 'SP7EB893T73EHGM8KV684WHJ4NEZPXB8H5ZZ13Z6 }
{ amount: u400000000, recipient: 'SPSZ1FGP7KB6969YNCD7NWXX08WGK3Z9JB58JJZ6 }
{ amount: u400000000, recipient: 'SPDKRGD1VKXARM1PAGVCXKKM2V2H5GDFXTBV9BPH }
{ amount: u400000000, recipient: 'SPSFKVZ7AT2KQRRM9M2RVM2RP9P43EXBK8WW4A3W }
{ amount: u400000000, recipient: 'SP3TQMJT04KRGQ11QM3QMGH8Z0SJ1PM1651H7N16R }
{ amount: u400000000, recipient: 'SP13W72Q7JJPXK7YEQ4QN58PQTCXEH8E59GMNGNGZ }
{ amount: u400000000, recipient: 'SP3XFNJX8AN7CJWQVE1P2MGHB96VS779WNHYW78H3 }
{ amount: u400000000, recipient: 'SP22WKNCX8N7CZJ9QJ70PP5RCK068E9DC5V1RNCT0 }
{ amount: u400000000, recipient: 'SP2FQ1HH4SME0A9MCSZ653XH1DMWV4ZEVC85SRFNB }
{ amount: u400000000, recipient: 'SP2MSGQYPF3HNQFKJTBYDYKS04SAKS97VHEM1QDZJ }
{ amount: u400000000, recipient: 'SP375CHEBNC1TXCPTAGR2SCZSBWZ3Y1SVR0PX27D1 }
{ amount: u400000000, recipient: 'SP1A2H2YSRH6ENHRBSMGH2BJ8SW84B4E73YN4A04Q }
{ amount: u400000000, recipient: 'SP3C3RKA5KM6WCPNZSTGKXVBGC4H1KAZE91QECJC6 }
{ amount: u400000000, recipient: 'SP1QVRJYJP9V8AJ4DSMB98EHFY5RGHCK7X8X725A0 }
{ amount: u400000000, recipient: 'SPXXEJ5CYNW6HAG00G68NPB4ERR2QN3MSH5PG0SP }
{ amount: u400000000, recipient: 'SPN02VPQ31EH98171NB8HWKNGZ7EX18D7C640RK9 }
{ amount: u400000000, recipient: 'SP2KQB8TCZ2RZETECC7BPPPS5JSJ2RF4APMMAA3VN }
{ amount: u400000000, recipient: 'SP1RGA2S48X93CCJB77TG439MR0EAYCTGA1CCHQBE }
{ amount: u400000000, recipient: 'SP1WPMVHBYECT5H48RRNK5BMN9EVX6F9S09WY3CGC }
{ amount: u400000000, recipient: 'SP3JCSMR6HZ02PD9H7AMK1WMN8D1XF1HRTK6JBMK3 }
{ amount: u400000000, recipient: 'SP1MD9E7H5TFKFJGRRPPNHWH6ZMVAGR5CMPZFM7DS }
{ amount: u400000000, recipient: 'SPWJNJGY0ZW5EDTHRA2KDPZHS54W2THW5C9CEV3Y }
{ amount: u400000000, recipient: 'SP36JVZSXW41NYR9X1GS7W5GKG1XDH5EP7CF20BDQ }
{ amount: u400000000, recipient: 'SP1XJTJ65QJHVK79SZKKQTWCV6BPPMMRHKXWD8PD0 }
{ amount: u400000000, recipient: 'SP2353VZB87GDBQJYNWVHC67FB0ZA8FA4TTXV8BGV }
{ amount: u400000000, recipient: 'SP1N3AZRXKSPFE8KG2J5E0EHQ0BP9GHJDK93E4JJ4 }
{ amount: u400000000, recipient: 'SP1EPPK7DDJ660GJH64YVWMY6RQP7DD61C2C5GXAR }
{ amount: u400000000, recipient: 'SPEH6KAFVSZY5JTCMGDJZCF40DM5Y2P8X233WY5N }
{ amount: u400000000, recipient: 'SP1G2HBDG3T1B3FG6NFK47QH7HV5CPCVA34Q3J1Z0 }
{ amount: u400000000, recipient: 'SP2ZGMNBNFMSJVSNX098SZ91V2A6W9CVYM0JCA8ZV }
{ amount: u400000000, recipient: 'SP36HTAJ06EK0CFVYVG7KAWTX7ZT3HW9J97GYFJ2P }
{ amount: u400000000, recipient: 'SP1CJGTSAR3E5WB2SZWGFH1D28FCH91JS8258XEEP }
{ amount: u400000000, recipient: 'SP38GMC68255DB9QE9D8GE2RWCT86Y0EGWSMDPZG6 }
{ amount: u400000000, recipient: 'SP3SQ3TZVV3PK9PMF2ZQ46YJXAPB93P0CBDRT0PAF }
{ amount: u400000000, recipient: 'SP33JFCXVQF8570J2V3Z336324FABZRES7JX6EC9C }
{ amount: u400000000, recipient: 'SP10PM4B1F5CF4Q7E28M4DH14NWY1RGS89QK9AF39 }
{ amount: u400000000, recipient: 'SP1BAE7BZT7F3R3NRCZ339QD67DG46MG8CZKWMDXD }
{ amount: u400000000, recipient: 'SP3C6G2VQEVH9P2EB5WDVE4X0VCAXRP87WBKRF98C }
{ amount: u400000000, recipient: 'SP1S5NPAC3774KVA643NXDSEZC9YKAHPK2CA2E4XE }
{ amount: u400000000, recipient: 'SP14H5SDP84MJZX83HMQAMEZ96D9KX1AXHPZ5GYKB }
{ amount: u400000000, recipient: 'SP3P52YWD7ZFRQ8K48NZR0YZTAP4EKHDY2C4AXFCJ }
{ amount: u400000000, recipient: 'SP3A9JHFYT5XJ3CBH62PKTBRZHSA2X7Y25V5YSBMK }
{ amount: u400000000, recipient: 'SP276272END2ZXSF15KTTZ8RNGXW9XCRKSAKCN40H }
{ amount: u400000000, recipient: 'SP12HR4QNVF19EV4NRAVF9GZRSQBYH8F80063HWZ }
{ amount: u400000000, recipient: 'SP38M4HA7WWNVNEGMY9YJCDG4ESADHW22CRZT2SEV }
{ amount: u400000000, recipient: 'SPJMMKASBC7T2C4PFXW2GTC5GC91VW2JZJYYCRD0 }
{ amount: u400000000, recipient: 'SP1GK5HFF9S56Z9YMC1NFZDEE4BYGTN3XPXD2ZJX }
{ amount: u400000000, recipient: 'SP3R9MKE03NDGXFBZRPDME717N5NSQEH3PMB3354E }
{ amount: u400000000, recipient: 'SP3XFRCTQMY45K01XWE0BBF5XJZ4AMRMGNVGQKAJW }
{ amount: u400000000, recipient: 'SPJCRP76083Z7TM1AQ2X3P42BPM8JPYY9EE35J05 }
{ amount: u400000000, recipient: 'SP47BJEQ89NS023N8XRZR8ZNXSAGTZKZ99PQ7JZ2 }
{ amount: u400000000, recipient: 'SP6W1YK6YJZEFEJ1830Z64B0C6SKP22RPJ5Q2FNJ }
{ amount: u400000000, recipient: 'SP1Q1JNWSPV7KZEJNRJBD92RZPTVY0G0EFSEFYRJ6 }
{ amount: u400000000, recipient: 'SP17B1KXQ19ZJTEQ9N9JZRA3K8YDFM1QK7AWS40YX }
{ amount: u400000000, recipient: 'SP2S4ZFF36MF9HZ024YH5TTG2JNK3G1ASR6AE349P }
{ amount: u400000000, recipient: 'SP20F3APF0GXMCG96ZMYCPCEC5A02WVARE8XYFAAB }
{ amount: u400000000, recipient: 'SP18TYDTQH8XE9Z0FGZXYQ48C3H024ZRPBWZVRDY6 }
{ amount: u400000000, recipient: 'SP3WE7NGTFDPYQ1R927ZPYG4RMVQAVCCVJ39W47D9 }
{ amount: u400000000, recipient: 'SP2MY41FNNMMV8D127BEN563GX8NK0BZ79KJZWY9G }
{ amount: u400000000, recipient: 'SP1SEDX53AJH89KNMD05ZRP7G4N5T2Q52MFFBPNFF }
{ amount: u400000000, recipient: 'SP99PF2EWRWAFWZCM5SQN6WKEKNSJN0CWW8343T0 }
{ amount: u400000000, recipient: 'SP1WPHWY2BQWXQ3WWN77AEQF3PT2NN1APA7GP526M }
{ amount: u400000000, recipient: 'SP6CNTKCP1EP1GHCJA83BKS5GW5D4DZ6Y0SQNV0X }
{ amount: u400000000, recipient: 'SP1Y0RDPVC13WAG1F4VWVH8379SDER14689YV0JSW }
{ amount: u400000000, recipient: 'SP1496EYEMX7AP67PV6AK567GAD1NA96YYMTGH09W }
{ amount: u400000000, recipient: 'SP1F1FX4P1WHRCFQEDZCJHFB2ZFZT0XS39ZS93ZGK }
{ amount: u400000000, recipient: 'SP3W1VZ92T8PFCJ8ARKWY01XKKHY3JDFJGSZ025EJ }
{ amount: u400000000, recipient: 'SP2F4PWA7K73DGZE7JE2N1CA5ES4S3YJVKCWJJSGM }
{ amount: u400000000, recipient: 'SPTRMD8SFWW3NQS6Z5TQ0DEHBNXQC92FZYTA6Z9J }
{ amount: u400000000, recipient: 'SP1Y71SA58FJA0GWDYG4DHCHCC8SGYMHAD9M59VA }
{ amount: u400000000, recipient: 'SP2PRYBJ1BDJ33S5TW598CSK3SKGA1P0A4F8CDDY8 }
{ amount: u400000000, recipient: 'SPM6PV9HYKEY495AKZE0WEYZ54RHH6BJKKAN6XC4 }
{ amount: u400000000, recipient: 'SP3XS44N60Z6BQ6R3MQMXDTQBW0HDDQYH226Y32A5 }
{ amount: u400000000, recipient: 'SPN3HK0VG82HERE3GTE0095T2W89BT17QR9PVVY0 }
{ amount: u400000000, recipient: 'SP38JDWRE88K92RCG4PZ484ZZA78E56X825T6FHP5 }
{ amount: u400000000, recipient: 'SP1BT747NQEM8K0RADDB31GZCCRJHDKJCVSN9MERB }
{ amount: u400000000, recipient: 'SPD0E0C7PHQ7ZZJ465P0376QGEME6EQE6VSAK7VJ }
{ amount: u400000000, recipient: 'SPJV5KX6AQDG97E005ZP7YVPG6149MDYE54VZ6SH }
{ amount: u400000000, recipient: 'SP3Z911QKTGWBT56JNCB2MP77X6BAN3WN4PRH5E56 }
{ amount: u400000000, recipient: 'SP39W4XQMA174RAHZFQ2V0M2NJCDHANVVDT5H3FAF }
{ amount: u400000000, recipient: 'SP3GR2BW1B2XR2FRWT67QT4PDBEFR9EBFET08F5Q4 }
{ amount: u400000000, recipient: 'SP1JMFDWJT486BKS69T3BYN6QVG0BVSS2FMKVFMZB }
{ amount: u400000000, recipient: 'SP20N4GZBJWAF8F47W72VNZZN651Y04A8Z8V62Z5M }
{ amount: u400000000, recipient: 'SPQR5BFADQJWQ4SKXD6DT9YN0BKEQMX9YFAA5QT5 }
{ amount: u400000000, recipient: 'SP31N0V1ZB6N89P15BZADY3SFF9SDDXQYX4R6PFFN }
{ amount: u400000000, recipient: 'SP3A62YKRCCPQG64RVG83QHM08XW267F5MY1J7KM }
{ amount: u400000000, recipient: 'SP1AVKMTFQ4NE6PZ63R2DQT5HSQ52TS8AVETJJT87 }
{ amount: u400000000, recipient: 'SP29NF65X0BBXXS8HX7AZGNZSG9F84X4TAVTMSKB4 }
{ amount: u400000000, recipient: 'SP2NF02FTAE03VT25AV80Z0D0C8RCBKEWKBNMPGRK }
{ amount: u400000000, recipient: 'SP2P9YWJY0BYFFNMGVCPYG4HVYVQT58Q2RZGR3RNN }
{ amount: u400000000, recipient: 'SP3XT70H0ETSMKNNR1JVZNMGTW992C4NC2ER5QET8 }
{ amount: u400000000, recipient: 'SPEZVNKC9GRDZ9F4D7G326C79BX1NHK3S5HPCK52 }
{ amount: u400000000, recipient: 'SPBZAMYZ8W5KA5B89YQ6C8GHMWFAD6SR76J6A4Y0 }
{ amount: u400000000, recipient: 'SP3E4WAGQ6Z3HW802H4X8X2TEP7R64KSD949W076S }
{ amount: u400000000, recipient: 'SP3SZTWECFMN02RFGJCERG8WCE5HEKHQZPX133MHE }
{ amount: u400000000, recipient: 'SP24BHQ9VP15M0HRVXEQTWATN2ANDZVE2EPWJV1PF }
{ amount: u400000000, recipient: 'SP1M3P85DJW5K7G6VWZK2VNQAM6131QXK4D3XQ164 }
{ amount: u400000000, recipient: 'SPA9JBZYEM7Q8CNXPV4AG4GX28P06ZA8MPA9SJ2G }
{ amount: u400000000, recipient: 'SP3WSZ1YR28BY0KX8G6S3JXYGABTD4R8FAGWB5A7C }
{ amount: u400000000, recipient: 'SP1WY6WBW6F1KA9PHWHB4S5GZDVQQCFM0R0BTKG5T }
{ amount: u400000000, recipient: 'SP25HZXKHGGZ2ASKXPF7R7QMG3QPYMQ6ZTGBSCVPS }
{ amount: u400000000, recipient: 'SP15YWD1JZHSMBP2ASPFD9MGNX7EECNQH7J266TWW }
{ amount: u400000000, recipient: 'SP4WJFSMX63YPK8A051TN0X5MRNKVT6YQQ7HRJV0 }
{ amount: u400000000, recipient: 'SP3A26NW1T0YN6WHEC6SNNY19ZVH9X6FM2J2TAT2G }
{ amount: u400000000, recipient: 'SP3YJDM06PY274K2QX5ED1905S6BZM3T8JAWN5D8E }
{ amount: u400000000, recipient: 'SP347N5ZNFCMPBSBQCVTHFV6Q7S7YM6VNR790B67J }
{ amount: u400000000, recipient: 'SP2DQXEE9HHHTAN365TS8YSWAVZXKFT5KGB7M3ZR }
{ amount: u400000000, recipient: 'SP32ZAX9M387NBS1N4ZW6617ZX0G4GZEA1GF6HF0H }
{ amount: u400000000, recipient: 'SP1EGB40F5RMMNFAQV6B8KT72ZF13B7D3R8VAE19N }
{ amount: u400000000, recipient: 'SP131XYJW5P3DKKC9D2E2KK0PCYEQ3GPCBFVB0R9M }
{ amount: u400000000, recipient: 'SPJKB2V2PJYTCVEK7ZQTRHB9Y1QVZ4SBNTKHYY93 }
{ amount: u400000000, recipient: 'SP1HZ000YBJRR4H5PJQJDGME09Z95M2ZA2PGWJTDS }
{ amount: u400000000, recipient: 'SP32V5ME1W7ZKN9ED2GN31C1A4PG0AK02H0CWBDTE }
{ amount: u400000000, recipient: 'SP2DTAHH7Z1E8DD8VR4PEE37WCPB6N1R1QR4YHE1H }
{ amount: u400000000, recipient: 'SPTBVYPX2M8MM6JV7231TK4H49R0233GDDJYRS9S }
{ amount: u400000000, recipient: 'SP36WA6M2TRDP60H6YFR36FA2SBDXE1RB543JPEW1 }
{ amount: u400000000, recipient: 'SP2TW9K5VZ64D5D333SX3YXGVPXBPAVEAX8QV1DEE }
{ amount: u400000000, recipient: 'SP2EK8K1B62FAR7P36H6F1HQC4JBHXVM764H8TBTP }
{ amount: u400000000, recipient: 'SP2Q3FQ6VZT7CWVN09DMDZBJ0SV36MD3M2ZACKC8H }
{ amount: u400000000, recipient: 'SP3Y5CJSK41EB9VVPM3YZTFWXFVHANW9G6TS1TF3W }
{ amount: u400000000, recipient: 'SPQYQ17FBG2XR7YXHSHKDP50KG8A5FFHB4P03R9V }
{ amount: u400000000, recipient: 'SP157AF7ZXFKGMZF3XX0NFQFSBVC4HMQA1GZ8VXZ0 }
{ amount: u400000000, recipient: 'SP191CE72Y1073H5BC9RRWBWJHCYGYR7AMHTB5KTA }
{ amount: u400000000, recipient: 'SPKPGR106MBBY701VSY22AYMCVETCKW7Y0B5JD34 }
{ amount: u400000000, recipient: 'SPZ7CXE5GXPYPGT00N44CCM2X1GMXWJEGHG3WJF7 }
{ amount: u400000000, recipient: 'SP1MRQ1QYK90A61RC80PFT80JM0P4JZQRQ3N7QFZQ }
{ amount: u400000000, recipient: 'SP28K5ACESEB5ZR3753S4RPV32ZKJNTHSWG3KBJWQ }
{ amount: u400000000, recipient: 'SP3EKA7QE5962X08P4RGZ4AW73WSRVYEZSY316AGE }
{ amount: u400000000, recipient: 'SP2HVGTSVQECDYZM4R915V61XNH6YSN5GMA6S870Y }
{ amount: u400000000, recipient: 'SP1MMJPFP712Z1E9JQPZAW79E4X5V1CJZ8N8EPFYM } ))
(define-constant batch-69 (list { amount: u400000000, recipient: 'SP2GRND8Y0KN2W9MPE6ZHTXB5EF214ST9ZXHBGHJC }
{ amount: u400000000, recipient: 'SP1W7XXXH2HS5AHABBK4AFEGNY985E966325EMG53 }
{ amount: u400000000, recipient: 'SP33K941BAEN9P0MWN1KEDKQ6NDREHV79ZBWFMD2G }
{ amount: u400000000, recipient: 'SP1PQWDQN59704VA2XC12R643WKY5RF9SVD3FAYA0 }
{ amount: u400000000, recipient: 'SP13VR4QFY2FJ8H8KJBBNE5A1PQXZQJWNP2T732MN }
{ amount: u400000000, recipient: 'SP1ASVX67XT3BY2NYB45W5GG0X7B7QEK8WBBWXB1F }
{ amount: u400000000, recipient: 'SP13667CET42S47PY4EPW2M19RF0T2WRSWTDCQ6Y0 }
{ amount: u400000000, recipient: 'SP3DAYJ64XHK2Z2P9GEJH5QBVH9FT8MN90S2ERWKB }
{ amount: u400000000, recipient: 'SP1DX9KA3TJHSFNKBR40VHASPT57K24Q5Q3YC8PP0 }
{ amount: u400000000, recipient: 'SP3M1A4KPC0X76YM546PT4ZWT1Q0DDTCV2MMZTNP }
{ amount: u400000000, recipient: 'SP21FCYYWC0JHGCA293JV9ADATQGPM07639306X80 }
{ amount: u400000000, recipient: 'SP2FQCVSSQMV55NZH714P6SDWMAE35FHYDZE30ZYE }
{ amount: u400000000, recipient: 'SP1DW812KNCBF0VAXFX3HF234WP2MGDAN8PBMX88G }
{ amount: u400000000, recipient: 'SPGBRPPW1VJDDZ25E78PJX60ARF6CXTKPN2MTGW8 }
{ amount: u400000000, recipient: 'SP2QX2D0B68Y5S4C2Z5HSR719M5MFR89HW4J9H8QQ }
{ amount: u400000000, recipient: 'SP1YNZ6RAEMFT3HASR2YZM172H01QBRP9MP1V2B78 }
{ amount: u400000000, recipient: 'SPQPX6ZB6RH2XP61R1SX3FFNFJPF887X565QT2CZ }
{ amount: u400000000, recipient: 'SP7SGVRB47Y2CP0WHRX75RJ1AGE9YBFS44CKSD5K }
{ amount: u400000000, recipient: 'SP3KJTHRGPZ9F78NC8YRYSHJ35YR739QT3QEW6YAX }
{ amount: u400000000, recipient: 'SPJ6W0AP3649M8CB1XT2VCV4725H6JXWH9TX3HT }
{ amount: u400000000, recipient: 'SP30WXSA9FQDDRHSMB6FRF9NK7KD99YKCT1XZ1G5A }
{ amount: u400000000, recipient: 'SP2AZPWPQWBWEA6G5KMD0YQPG626PNSE4J06R5E1B }
{ amount: u400000000, recipient: 'SP2S8YTKJ3PA64CPRQMGZQQP55MMQKXFGS39Y4VEP }
{ amount: u400000000, recipient: 'SP1QX24FFVG4SPDDDYNHPXCZGS8PZSQ6ZMB4WK7A6 }
{ amount: u400000000, recipient: 'SP2FQD01EH9CY83VRHMP6XFA2GFY32YD77D9MCZTF }
{ amount: u400000000, recipient: 'SPJXRV4TP25X4AB8GNH3PJAGKHFEYEQ5NA10D8CD }
{ amount: u400000000, recipient: 'SP19NMCAG0TBQ0Q0FN8J8KWX5SNK7QCFPHY0QX386 }
{ amount: u400000000, recipient: 'SP1224DK9WPR7J0S67M6H6NAE7ZT3K7K2PN2JJAZG }
{ amount: u400000000, recipient: 'SP11XNHRV1H4TMX8HHKJRM4JZWNAAQJ0SE5E28AZA }
{ amount: u400000000, recipient: 'SP38EFMV4VW5HQ6QA1Y3FKK502ZTFCAYAJXY3R1H0 }
{ amount: u400000000, recipient: 'SP1RMM1JY5AZ1YBMVPJ1KGN9RDWHSVGDN64MZWCNZ }
{ amount: u400000000, recipient: 'SP1J31S1X0Q3ADYBMK9J10D2DF3VN23660ZTFYSHE }
{ amount: u400000000, recipient: 'SPVAAK0BJTM3XW3MW8ABR4TG399BZ4RWXTB6DBSE }
{ amount: u400000000, recipient: 'SP2SP4GXN3TY8TJ7VJXHYYRN456WG9ND2FZEMCA2R }
{ amount: u400000000, recipient: 'SP2KYXKG7SYGBCNP1VR40SH7JE8S5DK04EN5B5K1G }
{ amount: u400000000, recipient: 'SP2X2CZMB015CKRH8PHWHKXTXB0MER7JAXM3JST6N }
{ amount: u400000000, recipient: 'SP2JH3J81HAXFF3GRGCQSJEY06FN0WH7WKHK1Y3VP }
{ amount: u400000000, recipient: 'SP3W990VCZ52QY8QVFCB5VABJN68HYJKC06TM3XJG }
{ amount: u400000000, recipient: 'SP2A1S7MZ1Y58BTC8HQNT4HYW11D95SKJ9047WS5S }
{ amount: u400000000, recipient: 'SPXGQB85HWFY85QZPW0RFTESBA73FF83D8VG3SBJ }
{ amount: u400000000, recipient: 'SP2P31TP55MTXXRQJ82N0EJ0FVPAM6NXAJEESXS72 }
{ amount: u400000000, recipient: 'SP3565HDSKX403N18QQHWHM1A44Y45ZCNY6Z87M67 }
{ amount: u400000000, recipient: 'SP1A0N2QBSHRFWY17H5M8CWH6SD232Y71D14NFY54 }
{ amount: u400000000, recipient: 'SP10K97JEF56K9QHYDD73S2SZHE240YXCEDGZ7V92 }
{ amount: u400000000, recipient: 'SP25ASYRRCV0WJ6E8M16JWKKX0BPX5PCSTHG8Y4WS }
{ amount: u400000000, recipient: 'SP3Z800ZYD8Z55C23J3NZ8GG1KFHMY04JX9MVVC1D }
{ amount: u400000000, recipient: 'SP25WF078JD08EN899DB1M4ZS0CB8N6KYK8YM6WMX }
{ amount: u400000000, recipient: 'SP31JT68C0VVEQHSKX2MYVR8FY8PC6DYN1G5JA6FQ }
{ amount: u400000000, recipient: 'SP1ERN47XHYJCQ59Z9Y2FWG1CG93BBE2DB583S379 }
{ amount: u400000000, recipient: 'SP59G02KSRCBTG2YSEMA66AWB4YVBW6Q3A85H2DH }
{ amount: u400000000, recipient: 'SP2WG4SYFFJSB424CFTCJMMP3VBPA786RM7SG1D64 }
{ amount: u400000000, recipient: 'SP232XVHE81EPWF7EK7VEKSASK3SSRHTBBRWW46WB }
{ amount: u400000000, recipient: 'SP1TME7WHQQWV678TWS76H9YYD54HSBY5ZFZPWQ4 }
{ amount: u400000000, recipient: 'SP33QS4YETRMKSPNFR1R7W7GRSA6XY3E4YD9G10CT }
{ amount: u400000000, recipient: 'SPW3X7S6JRP5MVHW9XM1BG03H6SB9WVH357RG75N }
{ amount: u400000000, recipient: 'SP1EEWY8WH6HSAH2F7RW38TE6R8B4MK0NQGWZKX10 }
{ amount: u400000000, recipient: 'SP1A3EY8V5RFF9G4XFS9NHX3XCYJCH1V6WZ8GJP4N }
{ amount: u400000000, recipient: 'SP15BD46V4M8WE4MEZJ467E9FG4BCEDRSHC63K9JR }
{ amount: u400000000, recipient: 'SP2G4RMDRYR5Y4D9PS9GQ5257XMW50Q0PP1FG4CFX }
{ amount: u400000000, recipient: 'SP32NPXVCFFX0A58RWKTB9T0N1ZAZ7H55H2QAACH8 }
{ amount: u400000000, recipient: 'SP1DD0BH2Q7VTXN06AQDDAY5N1YQRJAXYAZX3YM29 }
{ amount: u400000000, recipient: 'SP1N6TEK9JM1JEE1NZJB5QPZDP7GSH2D525JD30PV }
{ amount: u400000000, recipient: 'SP2Q86AMTBYG305TAHYSASX1T1PTWBTMF88CMCTKX }
{ amount: u400000000, recipient: 'SP2DZTW9FQSYFF17EP84W7MVQFQ3GT5EAKP0X6DWX }
{ amount: u400000000, recipient: 'SP14FS285M61X16QBC27HV74GTX642XSY5SHXBQ1E }
{ amount: u400000000, recipient: 'SP2RZJJ6Q16ZABSQTH4F22GRR6P3JCE011ZRBRDQM }
{ amount: u400000000, recipient: 'SP2DJB5KACBZYV1CF2C7J62QQ1B49VZEHENG7HN3F }
{ amount: u400000000, recipient: 'SP1H7Q3BD48D5W8GW6KZW5VYF1H6YSDREEF29YGAS }
{ amount: u400000000, recipient: 'SP30MKF76HAQAWV8RZST0Y966WKCSHZ6XA9G2BG32 }
{ amount: u400000000, recipient: 'SP1YMXBJMBZW879BDJ8F45E4TTZ7AEN7KFGEA6MZJ }
{ amount: u400000000, recipient: 'SP29TXBQZTZQNDDA2WRS9CN9B89WZCQ81W0TG9FT9 }
{ amount: u400000000, recipient: 'SP808TA1S7H978010HK59QSS2B68ZZKKHNCD4G76 }
{ amount: u400000000, recipient: 'SP39NN35F0PN71FKKGEB5X2DEDB1QN539EP49VJNP }
{ amount: u400000000, recipient: 'SP3SFGVBAGH0M7S2VK1WHGH6N3B7MG0VSRNM3S5B8 }
{ amount: u400000000, recipient: 'SP1X15KVXTSP8H0ASJBQ0BHAGE5GR8DDW8GEGD1R4 }
{ amount: u400000000, recipient: 'SP23S9VTGFK8522NSSN34QTCTW6B0DXY197H87HHY }
{ amount: u400000000, recipient: 'SP11DCGPJQGYY3ZZ70M2XSQEH2G0FKMQ6A48YDBKC }
{ amount: u400000000, recipient: 'SPAGGXPBNJA80TEV3PWANVVK56Z2BR5YEJEDFPNR }
{ amount: u400000000, recipient: 'SPMAJN7E64AGSYGSJ8SAFAK5MFTDV39D75GGXS19 }
{ amount: u400000000, recipient: 'SP3BX5C44X3PSDEY52XQYHRW56HHJ8P3BRKCZGE8K }
{ amount: u400000000, recipient: 'SP148YZK2TB608PZ5KG4CQ4WNDNNKYBW1ZPQPZNZ9 }
{ amount: u400000000, recipient: 'SP2KSSKBD2WCZP5ETQVF206P0SJGVHN1868T93XYB }
{ amount: u400000000, recipient: 'SP1GSE0YJZ7YS2E7F3DTJ1ZF1P9YS19X69TTTZ20C }
{ amount: u400000000, recipient: 'SPN8895W4AVF2MZE6YJYCA83GVG4B2J0RJ7NQPVS }
{ amount: u400000000, recipient: 'SP1Q10T6QDD2JJ814FVF246AXT9DB89GK29E9QTGB }
{ amount: u400000000, recipient: 'SP19QEJA852V1Q6AN8W7M67K3JSDKHJYMFJ2BD77R }
{ amount: u400000000, recipient: 'SPD91G951WG176T417JYJGNBCG7MR0MQA7QGYK0Y }
{ amount: u400000000, recipient: 'SP2SRNVRKMP7VM0DTSTEEDWB6DJANG4YHGDCRXWP1 }
{ amount: u400000000, recipient: 'SP9KBKXVTJBVBEY5YQE4FCBSCFB4CX091BCWR3BT }
{ amount: u400000000, recipient: 'SP2M6S7T0KFR50C7WC8R1202RAEV3YGY25CGFSE98 }
{ amount: u400000000, recipient: 'SP3958GDWK96C9M9HH75JR1DZWVRFGJ9XWR83GCWX }
{ amount: u400000000, recipient: 'SP265038ZFYVA0SKK6JSESKCX54CV99SBNPEAC284 }
{ amount: u400000000, recipient: 'SPRTCKCAPA9PAV4DPVXHNST0H0NACV6T5A8F9Q68 }
{ amount: u400000000, recipient: 'SPE37A9VZQ7SHX6CWYXVGQXWRRYTPP1M2TRK4KE3 }
{ amount: u399271710, recipient: 'SP1303THFHPBD51NBKFSRC5ZYDMAJ0FSQ610DVFVA }
{ amount: u398926168, recipient: 'SPZC1531SK1YW7NKZBSTR5Q97NWDZZASJ8BNV4FE }
{ amount: u395948271, recipient: 'SPBWMJRXWXWGR95AVJ05Y8XCJ8GVVT1JVCW1X9NP }
{ amount: u395724211, recipient: 'SP2MDG296DAPJYEFKEEB638HCNCNH3W63QAAJC9M8 }
{ amount: u392604396, recipient: 'SM9RZJ7MKS24RX0CXFQS9G6N9ES8T9HJ8KE0XCQW }
{ amount: u390781292, recipient: 'SP2DT2ADF7FYXJ35R1KGS635V2R0VNJMBKZYRKJBZ }
{ amount: u390645324, recipient: 'SP3BE0GF811BCK3D57RK0EGK3TDVKJCHV2BFB72M9 }
{ amount: u388996816, recipient: 'SP7XSVPCEZFNDWVMQ7F2W5TDQDDHBQZ04NSBFZYE }
{ amount: u388831400, recipient: 'SP3479JZB7EMGN9KZWTZ1P2CJK5VZ3MB8C8DXYESX }
{ amount: u388619850, recipient: 'SP1K36BM81WW0QJ4KM4SSV94C03V6GRG551HVHF8R }
{ amount: u387321591, recipient: 'SP307ZEST2SWRSJXS9MHEN43VA18FX8G6J9ZHACW1 }
{ amount: u385423745, recipient: 'SP1MRXCVZMG1T75E92TXKWEMR00RA2EP3DZTXZG8Z }
{ amount: u381159869, recipient: 'SP25QPDYH7DE12CE9ZV0KJ4XPCMHB271N37FMKCWY }
{ amount: u381147677, recipient: 'SPPFDF8S70NAYZ5CKH524DDHZAJE8Q50X41HBXJH }
{ amount: u380476277, recipient: 'SP3CM6QAKN4TM3JG0VPVKAVE1RYAM76SP6JQC3Y69 }
{ amount: u380193662, recipient: 'SP12XN3YC82FDZ2HQ9ZWHNSWY6ZNVYCA6AKDQYSY0 }
{ amount: u380000000, recipient: 'SP74952XKEW5HSFZD8V292ADNMJ3T13WVEWP5X38 }
{ amount: u379099111, recipient: 'SPT336EH9V1017NBYM1F2ASC5KVQF3TWSAFD1NQ1 }
{ amount: u377164420, recipient: 'SP1HRR0NK7K43JJMQM4TRQN10412RQY50WY2XQN2Z }
{ amount: u377057452, recipient: 'SP14R0J6NJCY3200937DD85SDW5VE2FA861HNWG4T }
{ amount: u375989062, recipient: 'SP372DBEZ00T68ZFA04GMESX7HVZEDFXDBQM4W3YX }
{ amount: u375183765, recipient: 'SPMB074E9KMN6DE9AMQC4QV08JC7MQR4FERV63H8 }
{ amount: u374497547, recipient: 'SP17T82MV8XRVWAVACNYVBA8FMWZGXB7FVBAMDTP0 }
{ amount: u371783652, recipient: 'SP2FA1H3K9FMY2CQ80WWT2JYMHZ5Z2B810AT41APW }
{ amount: u371660517, recipient: 'SP2VS900MWAP4S1R0KT15REDHWMVVZ62PBKGXBNTH }
{ amount: u371559976, recipient: 'SPVJPAZCYWTAA3H5VPZXQS06BW0X5Q8EJDDQYKQP }
{ amount: u370234625, recipient: 'SP3R7JY2HNYJSFXE7H60QTM3EPP6JV2FTE8V30WRG }
{ amount: u369934018, recipient: 'SP3Y44552H9AAJG3KNB841V3X0XP58HZ2792GJN1Y }
{ amount: u369850000, recipient: 'SP37GWNWQP315X4J4873CN1S70NN5HAQGBQ996APP }
{ amount: u369429514, recipient: 'SPPJP916MVR1KARQ13R2PGPHZ0M1FYTCDHNYYYVC }
{ amount: u369417690, recipient: 'SPF4AT7BK6WE7B2M9DPCBG6HAGS4VZQY5A44CEV3 }
{ amount: u369416709, recipient: 'SP3HQNA33WF0TJGFNAG0XRBYGAWX870ZJNQ85GRK1 }
{ amount: u368985269, recipient: 'SP2N5GPD1JDCKJV5PHZJB2486CEYR23JA4MBEXAXZ }
{ amount: u368924350, recipient: 'SP2SH9QQ04NXBEDJ3C63XJH5NQ9F1C6NF4R33HT62 }
{ amount: u368866491, recipient: 'SP37ST7B9KKCK68D9A21NVV737C3DG9VJZR1R7MAG }
{ amount: u368859511, recipient: 'SP2AYSFYGP2980X15F43RTJ3TA77308J50QPZ7PDY }
{ amount: u368853987, recipient: 'SP14RWV64148J7EKB2FHQ0KDD6FZ8PXE1V2XP07MC }
{ amount: u368622660, recipient: 'SP3K0RX1V0PRV6ZDR5ZGQME3VKPQJ0YFPDVRK2EH }
{ amount: u368467727, recipient: 'SP3ZXGHYPAZYHGZ6DH87T0CAYH2MDYRY1CMTG3N5Y }
{ amount: u368207075, recipient: 'SP32THCS836DGJ8JN6PMAB06ASXPNC4FW0P4ZRM2J }
{ amount: u366954832, recipient: 'SP3FS89G865AAK8Q2VAGQKY99PZQTZZXZWZMJQDZS }
{ amount: u366277465, recipient: 'SP2S2QYRP0AM0EF018PSJ5QWPD5VKP7FWSAG827RZ }
{ amount: u365680463, recipient: 'SP1Z0CHCCBSDA5VKYZ7FPV0V06VQ702K62BVPRDYG }
{ amount: u365680405, recipient: 'SP160WT7QZSBJMCDD9AWQ5KFT1Z9PBVV35FWA54QZ }
{ amount: u363445351, recipient: 'SP3K56FKA65F4AVTA69N02M02B9N1M8AARJMS49N2 }
{ amount: u363421160, recipient: 'SP1925VWV9PQR5JWMM9KNFNYEPTV03X5Y0WVWYW1R }
{ amount: u362930063, recipient: 'SP3T57CAVT2N21HZEQMW9ASNNMQQ7F9F1ASV5ME9Q }
{ amount: u362550534, recipient: 'SP8C31Q0BXR3JN4DQF2ZXRYFFASGEFP5BE5DR62N }
{ amount: u362400000, recipient: 'SPVGTSBG0JBQSK9DE4VTANFRJG3C9VCQ5PWHJ723 }
{ amount: u360482740, recipient: 'SP22ZC49DVSWN2P1TZSTKCHX02X02JSS33ZAPXNXM }
{ amount: u358367911, recipient: 'SPFN3WXQNEA3W1CEE0T5TA6BJY3R9XXTK39K16E2 }
{ amount: u357985570, recipient: 'SP3BG2GXS85EAGQT5CQY9PTMBRW42K66KMJ7SMR6B }
{ amount: u357985344, recipient: 'SPTDZX808WAVK35H4FQRNP65ZNHTR3HNHQ69BZ1A }
{ amount: u357985167, recipient: 'SPR0XBNW7EH8SE3AHJK0ERXVSF6X9VWHA2FW2J56 }
{ amount: u357195432, recipient: 'SP3MB74HT9SDNGENKFDA3AKZEXEMBZWB1FTFSHWBJ }
{ amount: u357128364, recipient: 'SP2JH9NAXFH30ZJPG3ZM2QE8XG5CGBJCDPNTV1X9S }
{ amount: u356863607, recipient: 'SP13V6C0KTAFQZWHJ3074TEKQE40Z2ZK6PDMX9M4F }
{ amount: u356579345, recipient: 'SP5JA76QJF0FW7TAYZFXCBY09MEJ581ASR2XA7S6 }
{ amount: u356372089, recipient: 'SPCF3AYZ1B0NRM04EVSB8N28FJ4JKNNERW707F00 }
{ amount: u356000000, recipient: 'SP10K37W8RC07A65E9FQP3V7YX6PD2NGMMJBSXTBH }
{ amount: u355331566, recipient: 'SPCKAX67HQFJQC6X8GR6EM1E7BWNK04562356GT3 }
{ amount: u355000441, recipient: 'SP23CXNHAZRMN8NBRGRVJZ4JFEB673P8MXNNWYXZG }
{ amount: u354680579, recipient: 'SP5XJXCQ7CTNTFCX69D8G89TQ5QR0MEZ9CAVCN1K }
{ amount: u354367604, recipient: 'SP39RMFQP7JJ2M8E4S31AW1B3JFG0BSN8EARNQX82 }
{ amount: u354126896, recipient: 'SP3A08KY8PP77EMCC7HJ98WKKKYN2G84ZG63XJ55D }
{ amount: u354057727, recipient: 'SP3AWTSKVR1XX94KRR48JY0P1JZ4QW166BAHC99TG }
{ amount: u354057389, recipient: 'SP2AP3WJNA16QJ4NZK0WYRRN4D1ZST3VPHGVWJFAW }
{ amount: u353830810, recipient: 'SP1AE8DNRBYTCDB67Q3CY8RMWEJK9NFNSFTBM226Q }
{ amount: u353453958, recipient: 'SP3Y321NXXS9X272Y550EG2TS9ZQPK0M1REVQRN33 }
{ amount: u352172257, recipient: 'SPBD0NMG9NZY0D0G25Y7ZXJBDM2RJASN7F2EVE94 }
{ amount: u352051328, recipient: 'SP33NTQX7X4X9C4K88V2JV9W8EG3J61MYJXCMAXDR }
{ amount: u351573030, recipient: 'SP2ENN5847KTS2VVMZYB6J57FPH3YRAAE6P4HHF31 }
{ amount: u351368659, recipient: 'SP1094VKSE2NK746X8RMY62F27XRXNMEKW2JQJY5 }
{ amount: u350927818, recipient: 'SP3WAY7BYY1FVSF6Z8V981C1XJ5E0BKW68NT7VBXP }
{ amount: u349917172, recipient: 'SP19GEVKEJP2CAZD3C18FP58B41C2B9DA2KEAQ769 }
{ amount: u349913832, recipient: 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG }
{ amount: u349912461, recipient: 'SP3Z6N2VWAA7QPVGHFRYXKWDPPWQMND061W53HMFJ }
{ amount: u349738736, recipient: 'SPY64DW831AG9VRSVR31QXKXVA5X8Y5H8JGPZTFA }
{ amount: u349437582, recipient: 'SP16SZP45KQX9X8KMJ7Y5X23MTA4T0Q7GQ4QYG9YG }
{ amount: u347197778, recipient: 'SP3VM3HB1HC05PQE02YCRTS1255JMCKB0ZFV2NE57 }
{ amount: u345490343, recipient: 'SP1VGYSPMFSYNGX7JTM162E3GFY853B9J1ZKPFREA }
{ amount: u344630126, recipient: 'SP13RS1BC0CVGGYJM6F6P77BFD4MD4XCAQJZ1BF25 }
{ amount: u344549715, recipient: 'SP2H1175XMMB112M1KFFBEDRP18ZQWPE105N7ABK0 }
{ amount: u343933874, recipient: 'SP1J1ZR43VZP4T1V0YNZPVYXG32JMXZ43XZN6S0H4 }
{ amount: u343092850, recipient: 'SP2QN6TCBAZYK1M9M65TW5SCCYAXAVKY5K5S7K3XX }
{ amount: u342996554, recipient: 'SP2PVFQMM0Z6V0AZK6BXGDANQYQ6X96Y49XFG1T75 }
{ amount: u342202768, recipient: 'SPG527HATQQJYWT75NY78BKWV99SXBR8TQEP8G04 }
{ amount: u341760121, recipient: 'SP1YM65DNXYHEKMCWDN9WJ60NV00Y91ZNC74J84VA }
{ amount: u340382773, recipient: 'SP3G20AK0163847KM9JKFKPWYRKZ45R3DB5XVHZD8 }
{ amount: u339762958, recipient: 'SP1YPN6J69B3CD7SES837604YX7HS0H1EM6AJ7XH9 }
{ amount: u336449393, recipient: 'SP2A692DY6N6H72S13ZRYVRVKDFE659XBC538253M }
{ amount: u336427156, recipient: 'SP2TM1S9N395Y3NYNM9QHZSS4KA6XPTH8NJF8QZSP }
{ amount: u336298649, recipient: 'SP1VJVSC53685ZJRS0429F5S002JBZ6XXGJYY35J5 }
{ amount: u335979522, recipient: 'SP14E2TE6QH7BJKFZPE8FETFFSWXQXQQ1EM1X124R }
{ amount: u335849185, recipient: 'SP3FJB3ZMXTGYQRK6ZB7CYPBCKMT38CK3JN2RAMDA }
{ amount: u334882822, recipient: 'SP1GZWT3V4VW41R8NA16D3CXKCPGX6T3FXGXZDNYV }
{ amount: u334693740, recipient: 'SP22QRQFMZJBEB1CAMA5BC310CNNYNHQ787HGPV95 }
{ amount: u333925615, recipient: 'SPSR8THZK8YM777MBAKQHQTQAP96V2XAR1H5W6FK }
{ amount: u333816177, recipient: 'SPHDWXCECHXC6MYHEJT9CAGWW2T5FXND7SRRB5JH }
{ amount: u333799133, recipient: 'SP18MN86TWNMKRKM7V6E2W0EMW54J3RDCJ32ENBBF }
{ amount: u332725358, recipient: 'SPR8S8ED6307M4P4X2C204SRJZE85JMMS41AACP6 }
{ amount: u332413369, recipient: 'SP2TM6QM58YKA5R05K5WMFT6P5GT06GKYG8V59WM8 }
{ amount: u332277174, recipient: 'SP37W2Q9H7ZAWBZKAXM9XFFHXTMR1JWFBHKPQ22M3 }
{ amount: u332090063, recipient: 'SP1QF5NCYD401E4K9FMD2CNW2TM7G9VQBE2ERBFMY }
{ amount: u332089683, recipient: 'SP1GBDWQR4G20Y2TNXW9DXJHWQ1NQ0SZ8HPHY13H0 }
{ amount: u330972502, recipient: 'SP352EKKQCPX1R7CFH3QF8617GC4W5YMKNRNDR6N6 } ))
(define-constant batch-70 (list { amount: u329323876, recipient: 'SP1BGYWXGXFWGM4XYAENTEN1QTCEG88Q9T8H4HSKH }
{ amount: u329113474, recipient: 'SP1F41DYRC66YP8TXXK254JGV3F2QWJKDAHS340ZA }
{ amount: u328762207, recipient: 'SPYFYJCMRQEJFB4X4G2QPEY58PZJEDWN9KY171G6 }
{ amount: u327805863, recipient: 'SPRBP4PRWH2M4ZH95W1R117JCD7PS072ZQ1MC2KK }
{ amount: u327496248, recipient: 'SP2SZ08ZQ0RY75XDZ0XBRWMGA9TXJCFHETT3APDA8 }
{ amount: u326302274, recipient: 'SP2833FS6YG1MMFXDK3RFZ2ZRC5SMZTARQFZTGW8Y }
{ amount: u326271122, recipient: 'SP1VJA57M6PDV5QHKK3Q0BQ23CH4RQN3KM32V9VB6 }
{ amount: u326229902, recipient: 'SP23DKZV0TS1KP05RMB669RFB3Z2SDESEK1H53WBQ }
{ amount: u325354426, recipient: 'SP27NKT6K1Z4YBNDKWRZV6NMV0MB8N5WR1MCBMGH8 }
{ amount: u323561253, recipient: 'SP3ZW6E34BG7FFBART3RTBEEADNY6QPJ12AGTXNZH }
{ amount: u322552447, recipient: 'SP2HAG6YMCPPBGCFACSGSRMQFNK7RXX4ZTDJF1ESN }
{ amount: u321926773, recipient: 'SP35F05N3KSNS8E7MSG8CC1MA350BZ6R1X9S610VQ }
{ amount: u321799634, recipient: 'SP3PG17HQTAWCWJR6GDNDCNBTDHRN124APNX0VR9E }
{ amount: u321799434, recipient: 'SP3CEQDY5Y4X9VT5SS8GPAX03HPNFTB0AFX8P73QX }
{ amount: u321798972, recipient: 'SP152SCDYJ8R0V32HSBAYVBDENAYVTTQ8R76Z1D0C }
{ amount: u320000000, recipient: 'SP3Y9SAWM8H4ANCWCYSJ634W8N01DNXPM2R2SWD8P }
{ amount: u319733549, recipient: 'SP2ZQHE63FTBDAD7999F7EBYHEW820K75XF2CRMKQ }
{ amount: u317963344, recipient: 'SP2DVM8MV52QSNMNVTGPMRN6EK694JV7JJ0854TYG }
{ amount: u317407600, recipient: 'SP2N2H0Y9CYD8WKSVDJES7JTE1FDN9ZZ589NVGX0T }
{ amount: u317000000, recipient: 'SPY2D2BNJ5HG0VA5DJM6Y4CQ4QHRW3S837GA3610 }
{ amount: u314527275, recipient: 'SP3622FSWH2M8DWEPKGG115DDZSPAE3PS2ANH26EJ }
{ amount: u314505605, recipient: 'SPH9KVECYR501TA41CV7P00YXQZ03CPC64NEFFYY }
{ amount: u314485593, recipient: 'SP1M43360B8NFREY75CE67EPD4FQ7XF390Q6H1FJK }
{ amount: u314485281, recipient: 'SP27BVRXS3NT6RWZ2W765EGC9Y6V5ADA5VMBYHSTC }
{ amount: u314324450, recipient: 'SP3933NYXAPG5PZPA6G2SHBQEPK6CHVT980ACC088 }
{ amount: u314164640, recipient: 'SP1GK804MGHS150GSKC0FZD4GG0DG8C2N6Y791V5D }
{ amount: u314150199, recipient: 'SPZ9Q6C2XE8ZEHG98P6FX8GF7NS09DFPBC7ZV8FY }
{ amount: u314149899, recipient: 'SP2EY3NNR55K1JC97MQ9N6QYH4D5F05JB4PJM4AJJ }
{ amount: u313898119, recipient: 'SP2M3P1FCAKXXJGX6FY9FSZQH3YWN6FVH3DS7HHJ5 }
{ amount: u313425883, recipient: 'SP10JW55DC55CMT9M2GZZ40E35DKNJE9AXXSDM1AF }
{ amount: u311471420, recipient: 'SP3WSVSHYXW3X40QQ4TZ4836MFVS03CTJZEY4TER2 }
{ amount: u310869295, recipient: 'SP1GDVVPH1DZHG05X2Q0380X5PB15N3ZMJZFGN4JB }
{ amount: u310129023, recipient: 'SPEK8MR8H5MMMWA1CMAEEAVKDB9CPNR304HNFMK4 }
{ amount: u310000000, recipient: 'SP3RZH7GCF7T29G99YTDJAXFNPY7PTAMGBJAXW5C8 }
{ amount: u308956686, recipient: 'SP1GDGHZ5NPPZJG6NWZM57RJEMVDQ8GVSDDR62CAV }
{ amount: u308093119, recipient: 'SP2PZ37S2T1KBQV66AP9DAK0ER3V0K5C0YYSSNEXP }
{ amount: u307385609, recipient: 'SP3V2EHC80624DY6V0PS6HN8B2A2KE02PTHD71NJ }
{ amount: u307172693, recipient: 'SP1W4JQ5VG2NKP9D6KVA7BPJXAC3MZXPEVS3NXV60 }
{ amount: u307172269, recipient: 'SP39F32JP8SQM3RHN3SKXJGCYN3AHQ3ZD4P77CNVE }
{ amount: u307171933, recipient: 'SPPMSDE54285TSNCVQPGG7NT6CK20EJM77SMCQ64 }
{ amount: u307171787, recipient: 'SPX2T8Y1KFWEJTQWQ64ETFB458S5BD1Q06K7KTF7 }
{ amount: u307011470, recipient: 'SP2GXX96X5VEGF50C28Q0M09MPP58FKH9DCBN6PT2 }
{ amount: u306819041, recipient: 'SPGQ4JVYZBEJW6CHV8KK153GM15HHQ0TMP5S7SKP }
{ amount: u306549161, recipient: 'SP31MR2G1Q39TA285ZDXR5Z8TH1HD71998KBXF65N }
{ amount: u306530991, recipient: 'SP2P85G2MBX998NH7K68T6D6TD443K7A0TTM8SCNN }
{ amount: u305666372, recipient: 'SP2NTRBRRTDR05RH42W4VE2VDSWY2RJBFA2NMC2R0 }
{ amount: u302007280, recipient: 'SP1MQ3CABF5J3Q3JNKAHFEE5M97JK3S784062GF6P }
{ amount: u300702203, recipient: 'SPE231JH0TX4CD0TXJMS414RBRZ2S51NQTBYHYQF }
{ amount: u300614550, recipient: 'SP1PK4WKN233HPXEP9KVC7E5A58D3TBDFAEB5FT0H }
{ amount: u300008621, recipient: 'SP1EDCGYRQ7R6N2BW81E0RK0ESX9P5GWCQS2QRZTV }
{ amount: u300004482, recipient: 'SP1RQ5XHR3N1BGC1583J67NQ80VJPNHYNPABV2N71 }
{ amount: u300000000, recipient: 'SP3V3C2ZS14KX38GFNQ73CB7HJEJYNKM4MVBMP7MT }
{ amount: u300000000, recipient: 'SPNJBHGW2P7RPPQRPKN4M31JB9503KM6W730B9FN }
{ amount: u300000000, recipient: 'SP2RXCNMX9Y3KY2VFJNS2C363ZYTZNJMD31CV8X59 }
{ amount: u300000000, recipient: 'SP1SPVX2NDMWA7TZBQZM7X14VR3NK92ZG1ZTBN8JD }
{ amount: u300000000, recipient: 'SP14QC1GSA0KB4MFV81QYGMQ6G4RXKEA0B9N95WAZ }
{ amount: u300000000, recipient: 'SP1SJ58PQM4B2EKDPN7Z5RVM0DYDTCW2VV885B6VT }
{ amount: u300000000, recipient: 'SPZFBGX3N2YXBNW1QZPRB2V9SAGP4PMGKCJGQSR2 }
{ amount: u300000000, recipient: 'SP1BV0C5BK5A5YSZMSBQ1H1TY67KG7APAV6GCJDT9 }
{ amount: u300000000, recipient: 'SP2X0Z00RYQRPFYBYZBQ6KC2CARAMTTCK8JW3HP6D }
{ amount: u300000000, recipient: 'SP3MRXV1W00CP3E9CBYNQ98AZKGB3WBW493JHR8FV }
{ amount: u300000000, recipient: 'SP1BF4B8SE8NH7RHJ3Q1WV68KWZ0BBT40KWV5DQN0 }
{ amount: u300000000, recipient: 'SPMTPECPS1Y51NA73WZV3CB2JB2EV2YZCA7MTG0G }
{ amount: u300000000, recipient: 'SP1A2ZSZZD8XZGY3A5EWG9PR80QNG6BR4C9M8M6WN }
{ amount: u300000000, recipient: 'SP2EJ2W479XQP0B11Y5PRD55GGPR90APS38T27E1W }
{ amount: u300000000, recipient: 'SP1JFW5WZW7Q13NFRPE41QN1MFEY1ST4SPJ5WB6D8 }
{ amount: u300000000, recipient: 'SP5G1J5QRT85PSH1WZTXY0D7A9JZTT5GA95VRRR9 }
{ amount: u300000000, recipient: 'SP2JXJJQHBRPN87QY5QJ8EYJ1R8FA76A2T722QNM }
{ amount: u300000000, recipient: 'SP3EJM8X9YYPXZS59ZMEC7SQ72GWKH0B7RWSBN4SE }
{ amount: u300000000, recipient: 'SP1H610RK4SH4AH47F028RFP2D1ZRRG0F5NK6B3B4 }
{ amount: u300000000, recipient: 'SPXHP7ZZWN031WH6H6M3K8Q4N9BBZJ4TD1SJ9E78 }
{ amount: u300000000, recipient: 'SPWWW5V03YN2N2YCDAK670K52W8QPNANQXDNN5SV }
{ amount: u300000000, recipient: 'SPH9RX2Z7SY3XC66HC44S43K6X8ZBSP9B22KJ348 }
{ amount: u300000000, recipient: 'SPEQFAKYTHKR9G2RXTNEZP0YN2TSXSHMCVEHQKWQ }
{ amount: u300000000, recipient: 'SP1PFC1NK2KSFESA584SZBX8PB1XYG4G0756T3C2P }
{ amount: u300000000, recipient: 'SPZ124Q1K3QRCDJ7CG62TFTCQ4V91BTES62ZKJP3 }
{ amount: u300000000, recipient: 'SP23QVDQYVXW52BYQ0S5JGBMHCTYTRBAEGWVW5G84 }
{ amount: u300000000, recipient: 'SP33FQ8QXW36VBX9BATEJK74MXJ4GDAZ51ZQCBR62 }
{ amount: u300000000, recipient: 'SP3VCAHV6G1GB49KJ3VV6APYS53WKDC8CH2RW2ZD8 }
{ amount: u300000000, recipient: 'SP2MGXXTN1V4E1N07X2MRZ6CTNFV5ZV9VGN71BT33 }
{ amount: u300000000, recipient: 'SPGJ9CEAZM09D7WMTHD5MDMBNHR9YJDCPCQAB15X }
{ amount: u300000000, recipient: 'SPYTYNAXQ5ZM0J685W3F4N8P26B8ZJ0Q7TEN3FT3 }
{ amount: u300000000, recipient: 'SPM7AP057ACVAPTKBNYWV8AEEMJ74EDHR48D96J }
{ amount: u300000000, recipient: 'SP11MBC862BC2DT68111PFN89ERRVZA5WECH2R4CF }
{ amount: u300000000, recipient: 'SP2QX28J3H8JWVTR3TSZDKETHVM0BQM7YK1HT3WRD }
{ amount: u300000000, recipient: 'SP3ZGX3ES6F1APD7MC06RKC410ERMJWYER2GTCEMA }
{ amount: u299858603, recipient: 'SP111T77DPR72TSSTVA81B75W1XRK1AZTRVJFR45F }
{ amount: u299797898, recipient: 'SP2C1RT4VEP0NDK3B15NGPRZFM0633E7K5Q4B5JKC }
{ amount: u299618505, recipient: 'SP1XQFTEBSPT8EWN3DCN55DYTKN3JV8JJPAH25VBD }
{ amount: u299538648, recipient: 'SP2Q7C2QB8SZ2VMM7MHB3HCADBREBAJEYS2AB6VMK }
{ amount: u299525882, recipient: 'SP3FAD4312J126W7SFQ2W3JY9XZWK2TQZGF67FZ79 }
{ amount: u299175250, recipient: 'SP36S02JK15VKAX7KEW15ZN96BAJD1GGYRJMCD81C }
{ amount: u298800000, recipient: 'SPGPJEVHZJ65K38XR6AWFKB017WA4ZQETAXV0Z35 }
{ amount: u298162833, recipient: 'SPXE4CC9QNP0VVVMWHQDAQ3DZ8WCFTV5J2RZWRM0 }
{ amount: u297104187, recipient: 'SPG2CGB4AH2ETKVCFRMHXXCEHAM02M14PT04S848 }
{ amount: u297089158, recipient: 'SP1SFR4HHFF3PFTT6015Q3Q7P304T05KP9ABGRYW4 }
{ amount: u296539535, recipient: 'SP349ZYPPFZ47BPP5SDX4YYT3A178ZBTNS75C6JQN }
{ amount: u295006598, recipient: 'SP1CET0PQVNS8ANGB51P73CXGWHA12NK4EVJQPFJ0 }
{ amount: u294943245, recipient: 'SP3G100Z5B0Y8MM73P1T5G6D9XZFNAJ7YJMAQM25S }
{ amount: u294310159, recipient: 'SP1HDKSPPCEGY1PGFEDDGXXVY7SW7S3GVKMNYAV6T }
{ amount: u292544407, recipient: 'SP3KMSQSSHR8352KC6YN3SCH6P1BCHM3ZH88PD0ZX }
{ amount: u291433014, recipient: 'SP6HD751A3T7KSZKAHRVPY22N1YR748QM9JSP2PG }
{ amount: u290771199, recipient: 'SPHAEYJF1X3J9T4NBK62WVPPYC95BN2BC2FTXR6J }
{ amount: u290343544, recipient: 'SP1YXWDE8SBHWYJRF9T4HS7F9DCZK5R2T8Y5YA4PJ }
{ amount: u289779655, recipient: 'SP39VDGM02VMDTAAXC0DC1HB7GX1QQJBEGMMMZA8Z }
{ amount: u289618798, recipient: 'SPSXZA7WDSWBQ0PFN2EMQFBTQ51EAXRRX60D9R54 }
{ amount: u289462610, recipient: 'SP3C2XA9D04H7M4C84W4X6XMHJ6WYE0SRQ4XHTPPJ }
{ amount: u289166982, recipient: 'SP269SCF1F53M5DFZAQVPF27H0NKR4JW2WQZDZQ53 }
{ amount: u286591275, recipient: 'SP1XF1JCS0BJFNX3Q7XHVPNVQR8XCBPCTFB1AXQDD }
{ amount: u285879697, recipient: 'SP2ASWY2ES1MZMWB6VT11AHEZJGFQEKX5G21QJKAT }
{ amount: u285468551, recipient: 'SP11V20HS67GJRN1MBGBGXY2CD5KT0M30YWJT9CQF }
{ amount: u285429900, recipient: 'SP35WQG2NWNWYH98HPVQMG0ANZC1WJG7BJPH1TV6V }
{ amount: u285231529, recipient: 'SP9MV1SBCF8ZJAF8XCD0Y92JZ6PN7ECQ2HXV5HQ0 }
{ amount: u285231216, recipient: 'SP27MEK275E1MP59E38TKRY7871Q1FY5RP7XFMP3X }
{ amount: u285000000, recipient: 'SP3PQ8CYXMMYKRH7V2SR4KE3JTYWCV1P53JTXAGYQ }
{ amount: u284875173, recipient: 'SP6HD9ZC9EJZGD9MH2BZJ2GMFFNSNFBKH214W3V1 }
{ amount: u283554022, recipient: 'SP1EEA5Z72SANNWGJ7WGY3V0RS3XC1RH016SX8QY7 }
{ amount: u283371135, recipient: 'SP3JEYH26H3AW1NN00S29ACVVBRR3H4S1ZD0EVC6H }
{ amount: u283242479, recipient: 'SP1QBAFWDNSM7CQ5N54KABMBJEH2RT5KQCQFPC95V }
{ amount: u282860952, recipient: 'SP2GSP289A77GEAHSKR67JJBZ126QGRDGA6G62JWY }
{ amount: u282302600, recipient: 'SPVXWRD48EN2PJM0FZ5RSCYFGXVKGMQ06P19BNCA }
{ amount: u281878782, recipient: 'SP2ATZ97ETYZ5ZFNRD7GKTQ9M6NNXYKTE31D3V2ZN }
{ amount: u281278364, recipient: 'SP2GKPE80TGCB85R5HPAM8T2G5JEBWP1E89WPB0HQ }
{ amount: u281059984, recipient: 'SP1K7HGTP6HSFPRSVWNZCWEN0BXKX3Y76Q76E1ADX }
{ amount: u280927387, recipient: 'SP2CDJ70KAQM56ETHXD51C0BM344PM20H3M8F9H94 }
{ amount: u280176666, recipient: 'SP1JJHDWEX8TWDKANC2ZGR3R17P2JP07S8JPW1R5B }
{ amount: u280005187, recipient: 'SP1ABFCC41WKN0Y7VEFVT6YZG7PSH8DYZ8XNC46Q6 }
{ amount: u278199633, recipient: 'SP29WJDWSV2FSHQ0WZ8GX1ZR6ZMK3R9NSYT3WASX2 }
{ amount: u278199599, recipient: 'SP3ZZDPJZ09394K714A113H5XQ16WZTXZJEH5CMVS }
{ amount: u277918185, recipient: 'SP2J741DMZ2HMVKKQA5VWCBWCH8XVSWZD9XPBNC0B }
{ amount: u277918005, recipient: 'SP1YB6JZCM5YKGAZW0MKBZP350J0DD03GEFMNZ64J }
{ amount: u276850000, recipient: 'SP3AJHWWFXM303HR3NJ1141WVJK5H4N8ZT106BPCX }
{ amount: u276625216, recipient: 'SP1S0QRYFR2J9WR6M6BPPC7K2S3ENAMW3W44JPPV7 }
{ amount: u276033100, recipient: 'SP1HHWM6FJN443E196CSX0FE2BV3GDTMD5GPS1890 }
{ amount: u275098848, recipient: 'SPA3K1ZW5WRQ719BZHKR3ENANBF4ZMXT3ST3QNEM }
{ amount: u273980203, recipient: 'SPMBEPXTQRF19HGWV2A6JM39KJ9MRSZHZ8TM7PE7 }
{ amount: u273575652, recipient: 'SPE1KRPM2FTCRZCRTDHX39SEQ71V2SK63C9G8FQ0 }
{ amount: u273463100, recipient: 'SP43Z57K4YG45JV4G1M3JP6JCZG46QW8T67RMK8D }
{ amount: u272595615, recipient: 'SP1MES8GV834HB09CWG6B38YCRZX7EPE26Q8P9Z79 }
{ amount: u271796814, recipient: 'SP4CTMG5G02QT096M041DQBMG0DKPAGEZH3SX36F }
{ amount: u270878622, recipient: 'SPZ6XSWTQFXF4K3M0CW013ZJFWMBM50X90BNQ74H }
{ amount: u270603779, recipient: 'SP12P5D021QSDP7Z9SKDAWH97MWDAWDYK5FM1C00S }
{ amount: u270315524, recipient: 'SP3NRT76TSGM8KR2Y2T29CJSMBCG6JZY6AW0M5CDE }
{ amount: u269247063, recipient: 'SP2FWKNPJEFDD30YX1WM11PAQ3E51EW2N5CGTVA7M }
{ amount: u266205053, recipient: 'SPSG97KXE3GHAAK2TMFC9VKE9KB0JBM47YY84Y8C }
{ amount: u265989765, recipient: 'SP1C2ETP0ZVVPPNMVVAAS0SRYE6N2QVQAW1FJM620 }
{ amount: u265645958, recipient: 'SP148DKD8Y83GR4VPTWT3D9KXQ78E0YBE27GX8H86 }
{ amount: u265578313, recipient: 'SP3KJG3FDM72Y2WXES4FSXH9FDW3Z7GWTCQECBK59 }
{ amount: u264672936, recipient: 'SPDPR2Z8QV98GWQNZ4BD15MX75NKAC7S407NEBP1 }
{ amount: u264672936, recipient: 'SP212XZ4NC615KEC714J29WR9FY76GM1F69GY31ST }
{ amount: u264664338, recipient: 'SPM5274BJYEM4ZWEKPA4319RM1HD5344RF4JZEEG }
{ amount: u264664335, recipient: 'SP2V3RT7YN42AZKKS3WV96EFP7F45FRNR7J0MERS9 }
{ amount: u264664014, recipient: 'SP1MRGEAA1JD0FBAQWHBNSGP1SX73Y3ZG3EX676MN }
{ amount: u264403043, recipient: 'SP24PJEW9X8A6M8BAMBQYAP408HJNV4SZTC1W9629 }
{ amount: u264064692, recipient: 'SP2P6P72K4C2DMMH5V4ESYEFTEYGMP8D4RQ000W5R }
{ amount: u263290942, recipient: 'SP1G0MZHDZT0T1RJ73HX1G8FA1D0JBFXZT3FMMDJ8 }
{ amount: u263290573, recipient: 'SP1X3R4K4ZFMHE7NYVPQA6GFX1Y3RG9DB3X6A8Z8R }
{ amount: u263290193, recipient: 'SP18P3J2EPBH6ENGWW55C5G71411PS0ZPN04S8YRT }
{ amount: u263144725, recipient: 'SP1B2ARSZ1P05JKMJ6CXV1S3ADYDE1GQ3AP35J6KK }
{ amount: u261379723, recipient: 'SP7383KRJA9AQAY9WS1AKAPG4KAR9ERQM3586AZ3 }
{ amount: u261345038, recipient: 'SP17ABH7YE33YNV71SJZJQE4KCBAA9KXNWBKNZK51 }
{ amount: u261334403, recipient: 'SP2PYYXA656AKNPM4KSJ89MVR2JFNH7EF97BR1KBN }
{ amount: u261314914, recipient: 'SP358DRHGWZ71X9V7TPACQD7RNHX2XZRWW0EB60Y8 }
{ amount: u261304024, recipient: 'SP3Y5818JMN9QH02DWMJY6PBRY3G8W594CCVF5TAE }
{ amount: u261294893, recipient: 'SPJW3SYDRGK8WD2TMVWD3FWG86Y51V7MX3YHSM7B }
{ amount: u261113142, recipient: 'SP10GQZWNFSJECAGA1YXGC55EM3XMGMVMC0MQY1BE }
{ amount: u261103930, recipient: 'SP2NW8B538A2A9M15K4T1W7FCRX39956NFPC5JSWR }
{ amount: u260483468, recipient: 'SP3S7S32DS28SZT4YZQJNFFW09GVS9VFZ9AZXZR24 }
{ amount: u260392408, recipient: 'SP3239N02GQDVRNHM5FSAJPMW8ZV90SYB207DME2 }
{ amount: u260320033, recipient: 'SP2BT7T2FQY4VRCKD91NCXR8W0DTMETTQWA68YGKR }
{ amount: u260250044, recipient: 'SP2A9TW9TNJHBQ4VDBP72RGS5718A754RX874P80 }
{ amount: u259727908, recipient: 'SP24E8EYY57V2GHDWFP6YMXKW11WSWPWHMZAR4J4N }
{ amount: u259163866, recipient: 'SP1YV08E53J8MK8AJHQRX6W1A69DTPCA9Z4D80CXM }
{ amount: u257379708, recipient: 'SP3N8QTZR6M9E5V7BY53XE7XMB75CCN05X4SYQZ8E }
{ amount: u257364903, recipient: 'SP21BSBV82TGJJNB4E7EWENAMEGF0JJ4TVFEJ627Q }
{ amount: u257268468, recipient: 'SP23PKRDZM7VD7T6693H7KM97QA8CVAHNX2CQ88RY }
{ amount: u257214213, recipient: 'SP3N633F87CSDRWERHC36TVY4SX8TF6809ENC6HZ0 }
{ amount: u256921766, recipient: 'SP2N8254C6SWM9XVFMCEDZVE0W6NQMZ9HTDMGM5N1 }
{ amount: u256799429, recipient: 'SP1HTD142XBQNTC7NG2MHSYTKJMDM6915VXHWBTHE }
{ amount: u256656757, recipient: 'SP2PAYE9GGH4JYAFSV4S8RHBM9QXJNZXKP2RP9P20 }
{ amount: u256330377, recipient: 'SP2KQS34DREQW5F5RJ03QF9B17A52E77VFQAMB1GP }
{ amount: u255976761, recipient: 'SPHTEPCYXAH8FEPYN55T275CTG1RMB9MDC2D7FG }
{ amount: u255976701, recipient: 'SP1S77YJ8C7TRVA8EXR4NGFX2EN9K1T1K01MPKQQS }
{ amount: u254011696, recipient: 'SP2ZHCY96B1KEAPHCGRTMW213JQ4GQ2ZRM5AHZ07J }
{ amount: u253085143, recipient: 'SP2T1CZF3XXZ8TFP62ESRQ68M9VDJE6BR9M7EWZRT }
{ amount: u252805903, recipient: 'SP1HQJ977TNX4JNPP1FPFB9FYX6SBFJCQDGP7KHYT }
{ amount: u252534383, recipient: 'SP3E7CMYS1R5T3SMVRKJRYPMAW2336W777G9N627P }
{ amount: u252165352, recipient: 'SP2BGXX7W5C5K5NAP0FYCTJP7G9M5FBND5BBT05S7 }
{ amount: u251309106, recipient: 'SP146SRFHXR3468TSW3MF3NVAYXH8ESR5M5142S12 }
{ amount: u250691233, recipient: 'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ }
{ amount: u250287681, recipient: 'SPS8PA865RK9YC2AMZ1X3QCF51X6QZ9JRX1066R6 }
{ amount: u249648670, recipient: 'SPQX3MHAJNQAHP0WY0R84MMVBQ03Z68DX5YJ8W8H }
{ amount: u249139999, recipient: 'SP1257VNAJ6RSP66VYXPQPPQ9GW8566RP3QTG2M66 }
{ amount: u248867898, recipient: 'SP20GF1736RRJ0R70JC2CDDZHV8967EMTQXCWMWVD }
{ amount: u248662902, recipient: 'SP1FWZFVY1K98RYZVV1Z0AQAH4339YCCB27Q8JW1K }
{ amount: u248662807, recipient: 'SP38YNXJ23Q9WY2DM2WAQXV2D5GXQFXD94TWXFH6Z }
{ amount: u248398076, recipient: 'SP22NJFQ99HR3VQWG43K4644VYVQ2REZ8MT2PHVMD }
{ amount: u248398020, recipient: 'SP2J302PT6ZEBBSV418GEATG63GHVBQ95H2NT5GHH }
{ amount: u247962700, recipient: 'SPCGCKV5KRD6XV0GETEQAYYY8CTY6YTKC5XBE13A }
{ amount: u247863427, recipient: 'SPA1V2EPXWJPWQ1QY2NC04SA03EX075EKCW0HXA5 } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-66))
(try! (contract-call? .token-special-vote edg-mint-many batch-67))
(try! (contract-call? .token-special-vote edg-mint-many batch-68))
(try! (contract-call? .token-special-vote edg-mint-many batch-69))
(try! (contract-call? .token-special-vote edg-mint-many batch-70))
(ok true)
)
)