agp201

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-1 (list { amount: u6826740540000000, recipient: 'SP1PXP8EBZ17XH9W71CQCTS9ZXCNMYM4N8QXGX5NA }
{ amount: u3083076390000000, recipient: 'SP33XEHK2SXXH625VG6W6665WBBPX1ENQVKNEYCYY }
{ amount: u1229156700000000, recipient: 'SP28TC4FHYSX63N7FTV56A6GJE5B0W79W1WXJ9262 }
{ amount: u2267245060000000, recipient: 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S }
{ amount: u1563342190000000, recipient: 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1 }
{ amount: u1539018580000000, recipient: 'SPK2EDKHZ3F2M28E5V9V7TZAQ0HJ6KP2KA6FPPYC }
{ amount: u1520593850000000, recipient: 'SP29ZQS3THKEFGHNSZK57NGHM64V41VC26W6JED18 }
{ amount: u1229186930000000, recipient: 'SP110Q04S6G8RASE5YKFC7YY30CDK1J6S667Q6GDE }
{ amount: u1229023990000000, recipient: 'SP10YVDN6V000EJYQHW6FFC5NA8EW77Y76PC2QENM }
{ amount: u1229023990000000, recipient: 'SPF9M816Y6A8DZHE562B05201HZAS7NAPAMJN1WH }
{ amount: u1222227290000000, recipient: 'SP2VMEV7C42Q62DANR8VVM5BQECKZKTZGC6MPCZQA }
{ amount: u1100979200000000, recipient: 'SP3AP6DRSQ6P4FETB5M33D082Q2ABGJW60MT6103Q }
{ amount: u872756384000000, recipient: 'SPT1HAT59929W0WYFWK7YJM7F40HZQHNBNHY9AKQ }
{ amount: u844023649000000, recipient: 'SP2G4JFB3WWBWPVGEDNBTMEVJB6DNDR468G0S03AX }
{ amount: u670508300000000, recipient: 'SP13F0C8HFJC9H1FR7S7WFZ9FEMNV1PBEG3GWS5N0 }
{ amount: u655366800000000, recipient: 'SP1QSYZ0TY2SM6GKNF7SKN0BRD5GFM4HN5KXZNHG5 }
{ amount: u644698700000000, recipient: 'SPVZB7A41TMC654VEKGN8YF5SH6THP4CYHZDHW10 }
{ amount: u640810000000000, recipient: 'SP2XE79SP3TQK67M50C44G1N021RJCMG0PPHFXWPN }
{ amount: u488741694000000, recipient: 'SPNS0FK0R8SYY3Z0J4VMJVAEV91ENECRM4ZY70EE }
{ amount: u437896081000000, recipient: 'SP1THSVCQSKRCGTNYYKYS58054N2K0MV5D5X09MBP }
{ amount: u422626822000000, recipient: 'SP3Y6P2B33Y448WGCV6VR8CA8GCDXY6QBY5ZBZ13B }
{ amount: u385009932000000, recipient: 'SP3MHM9HFXX3ZJT4B43C2Q6A4HJ287S70GDTTC6XY }
{ amount: u362583159000000, recipient: 'SP21JT88EA5Q6VPEXSMETAQFHSE1ZCJE8SY8YNY10 }
{ amount: u336958672000000, recipient: 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53 }
{ amount: u304613130000000, recipient: 'SP1XZAVJA5D1SFSEZTCQ239S137WRGX3B4DECA8JC }
{ amount: u303904565000000, recipient: 'SP22TYSCADAKM5K57E949HFP5ZVQ06PRAVJ700X3 }
{ amount: u297863217000000, recipient: 'SPJR2TBNW6BRSRPDQAATM0K7H8RXYMDMZ2XDG17 }
{ amount: u294115600000000, recipient: 'SPZN0SK6Y4JP96S342KR3HA108RGJBJJGE266CC0 }
{ amount: u283388074000000, recipient: 'SP63V0CMBQX63TYVY0HX8RWJRFGACGVV5NNR58NG }
{ amount: u281446192000000, recipient: 'SP27WEWFJ3R3A8P20SRZHYJT1RP7GQRSB995CZMC3 }
{ amount: u276198633000000, recipient: 'SP153Q7RENB60JY2V6CGVD778MBTFAJBVKJY1PDZ2 }
{ amount: u262984548000000, recipient: 'SP1S2EN7AHYH41P9DSYW0VM8FRHSDD77CFA3A7H3T }
{ amount: u250442207000000, recipient: 'SP2GZS95CS79KQQC9JJYP4TD239R6DQJX2XMTB24 }
{ amount: u224630892000000, recipient: 'SP2ZR3TM9E4YE6S1ABRJ2YEWRH07M5G6WFEPJK2RS }
{ amount: u213495700000000, recipient: 'SP15SC7G0PBTS0WPDC0ZX96X1CXE76Y22E9XFH4G3 }
{ amount: u201534747000000, recipient: 'SPCHFHJ3RT4K54RP4QEESFH2FFEB580XPRDFHFSN }
{ amount: u194115859000000, recipient: 'SP38Y5QTE7B0NG452JRBV2V5HHN8ED8X5D97S2BXC }
{ amount: u160745246000000, recipient: 'SP2EFH89NZXBMF4B3508VKT2521P8NT40C6G5Z6SC }
{ amount: u151515152000000, recipient: 'SP249DJCXA25EVG4B0CWP974YBWC6JFTXRNV6FJ4N }
{ amount: u149844717000000, recipient: 'SP1MVJMXV9B0XMQ0SBH9MNRR529886XMQTWVF3D1V }
{ amount: u145761897000000, recipient: 'SP2GRTYEG5J4N86HYXM95PB0VYM9JE2E9RDV7EV7H }
{ amount: u136681672000000, recipient: 'SPJ8DSPTG60SMV4DZ88TZNJFAKAEAFFW25YKNPH6 }
{ amount: u136422782000000, recipient: 'SPNVZTEEV6V02P6A9KF5N6S6NA7FXTX2BMRRTF9 }
{ amount: u135706200000000, recipient: 'SP2S2WHJB2B2Y9W5HM86C614YZKBD707TP6JZB0HW }
{ amount: u135706200000000, recipient: 'SP2Y2ESDPX8DANECV26XJCRPD57ZVTZNHAHZW4HCP }
{ amount: u135310219000000, recipient: 'SPVD8NSYQ72BPNM93C3G8EA1B8TET1F8KDP3HKGE }
{ amount: u129475715000000, recipient: 'SPKT90W9Z44B76FM2BYYYY8G0PD5E7R3DMRNRQAJ }
{ amount: u127083056000000, recipient: 'SP125ZXAFYQM1G6VADFMQ0F920HE2C8JESQ4S4RJK }
{ amount: u125145271000000, recipient: 'SP14F96M7AEDVMXK4W4S83PDXEYM4R56MV3E4PDWD }
{ amount: u122104352000000, recipient: 'SP1YR8XPY3JJZXQ91MMFTE1FT7RA7DF6NAWMQ2C84 }
{ amount: u121822786000000, recipient: 'SPBDCE0KCWY56SX6XE7MB6DVVETABYM2WRDK6PCB }
{ amount: u121375108000000, recipient: 'SP3GS0VZBE15D528128G7FN3HXJQ20BXCG4CNPG64 }
{ amount: u113248549000000, recipient: 'SP2WEPZY2CGGPZRBRF47ZX9J2MD2NWN8F9JTMPDZK }
{ amount: u109736578000000, recipient: 'SP3BF8B35TTF4362EJG7JZ4YAEXZNQ8RD20NW6GEX }
{ amount: u107978937000000, recipient: 'SP3K5B7F2AMN2HTB1PK2B7VD1DNDETTT4JPBMJWEB }
{ amount: u107209314000000, recipient: 'SP3KMAWBZAFV2E13EEMFAV860JP31F2VX9J5XH6PT }
{ amount: u99892262200000, recipient: 'SP1C2SWHPCF7AEHXN7H55G3Y7MMB75ZPA8FJXNEN7 }
{ amount: u99830614300000, recipient: 'SP1A8BYHW976NKTDM2J4ZE03DW5R7SWX37YKNC89G }
{ amount: u98295452600000, recipient: 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7 }
{ amount: u97847505300000, recipient: 'SP12C6V7SMTTM4DK87FX4FDAA9WPCV7P83EP4EMD1 }
{ amount: u90694544000000, recipient: 'SP2DRM5DKDJX6ECFJH9XDT66DZV8FK2H1A27JZHCA }
{ amount: u87753649000000, recipient: 'SP13AC1JF3RVH4PMB3CDM8Y6AK9K24XRY20XYCRZT }
{ amount: u83781834000000, recipient: 'SPZ0DKG5ZHVXFAQJ2KJJ075EDCJG94NDDH78GMKB }
{ amount: u83646276700000, recipient: 'SP3K1F72W4CFG1H15JDYF6FAN3YMBC6T04C5ZG0N1 }
{ amount: u82928791600000, recipient: 'SP3M7E3Q35Q7167EHBZF7P69VZ5NQHZEGN8VQSWR5 }
{ amount: u78172425500000, recipient: 'SP3KPRE6KAQSSK3189X58SJQRNPF5JSM03WMD5RSB }
{ amount: u77880605900000, recipient: 'SP269JP3G889KNWD6HYNWHRYXWMCA1XF1DSTXS5R9 }
{ amount: u77831527600000, recipient: 'SP328BD8TMVPJ42DQDX4T5VTXZBGR0PAJ4K2FTVKT }
{ amount: u77748099700000, recipient: 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH }
{ amount: u77129792100000, recipient: 'SP3X47GEWY38MT4NB7YDC9J79A808WGGYV1GX3GT8 }
{ amount: u75581245000000, recipient: 'SP1FECFVC2H0GJPMDQNPEMGYTF2MG7NA1AH23BES0 }
{ amount: u75098200000000, recipient: 'SP1YMSMZQ8XSNKWHEXPWJ03T18E6ZTFJD3SH40FBZ }
{ amount: u75088274500000, recipient: 'SP3AJATW7TWKV8ZWEXSV3JEHQ02FWWEA2HNCGVPE4 }
{ amount: u74380946300000, recipient: 'SP12M48BAG78F6E9W1X3GTF90PQCQ6NY56KCQ1HFV }
{ amount: u73833472900000, recipient: 'SPP6WJZ23EPKJVGW1F8PDKAF9AE59K10E6CFNQJ8 }
{ amount: u72063491400000, recipient: 'SP2EDH1PAAK6Z60Z8AJD2A4AJNWB2AMC5Y1ZHRA6N }
{ amount: u69913893100000, recipient: 'SP2PPFX7YNCMBAFRV1SJWC6SDHYZ3B62J6968A0VS }
{ amount: u68322870600000, recipient: 'SP1VVEQH5B6Y31ES6W88G1VENJFB1AYZE6VX7F2WB }
{ amount: u67649063100000, recipient: 'SP16GTCRTTVS1N3V822DJPCJ9W470VET16HSVV36E }
{ amount: u65832833600000, recipient: 'SP19SM9Z06A40WBEQZTN9MA5N2TB64HXHY8Y3ANT4 }
{ amount: u64534133400000, recipient: 'SP36ZKTQ9JYXP869KRYZQR6QFVJZ8ZZJNZ0Z10775 }
{ amount: u61927874500000, recipient: 'SP19857DVTGR8XSN2PN8HS3WNMZ7DBMVMZCDYBTJN }
{ amount: u53938847100000, recipient: 'SP2VZBR9GCVM33BN0WXA05VJP6QV7CJ3Z3SQKJ5HH }
{ amount: u53654727400000, recipient: 'SP1RTCCPW9GDH3KC3N1MQ59AJFNCFCSHC4E69JWQ5 }
{ amount: u51552549800000, recipient: 'SP26JANC54SG8Q1JKVZK5R89Z35S60J2AF8ZJKGMR }
{ amount: u51351945900000, recipient: 'SP7S0VEJ4FW96NEJPQ7ME36CZVKQQZ2AWVK45GTD }
{ amount: u50872954200000, recipient: 'SP9JEQARNAT4S88MJ0Y9242JVN4M8GQXJ0TNKPAF }
{ amount: u50549480700000, recipient: 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T }
{ amount: u50281571800000, recipient: 'SP1YHV9AZAV1Q61N2Z26DE8A7ASCBC10FBNHX67X0 }
{ amount: u50000000000000, recipient: 'SP2NVAW1KGJZ110DCF96899ZCCJX6DVJC31ZG3PXC }
{ amount: u49359392200000, recipient: 'SP2JGMY4A3Z7HQCMQF8704PK371F3HAPC1VVWSNKJ }
{ amount: u48591914000000, recipient: 'SP307BHDXSX759Z2XFAM405REWVFJK05HKG7BWRQB }
{ amount: u47875936800000, recipient: 'SP20QZBHD8QZKS9NGV9FQ76KQ6AD98SGQKXYQ2ZPG }
{ amount: u47658147700000, recipient: 'SP1P6HG0SRCF9M4FH46BHZDWFWWMJPTN29WNJ4KHW }
{ amount: u47388087700000, recipient: 'SP2M11A4TRN98SEEAB62HF91MVZR0G2R9HMPR45QN }
{ amount: u46649503000000, recipient: 'SP1RJ9M7YTC2H8DAYGTAQGEYHNQ7SATF0SJMQJX59 }
{ amount: u45717218500000, recipient: 'SP25XKSAVWGS7FEJ9QPR9TAZYH0BDZMJT9R3H47P0 }
{ amount: u45242720800000, recipient: 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G }
{ amount: u45196203800000, recipient: 'SP13D03DQ5V2QV7CGAQSC7DWM3XSP9GZT1W7SGV8N }
{ amount: u44212812500000, recipient: 'SP2MPEQATWSTFQQXNHF1MS2HRFBK7T1Y841K18CAY }
{ amount: u42550037300000, recipient: 'SP4HBG4BANN3AMN70DA4MSN6PX6YTESVR396Q6FF }
{ amount: u41847081900000, recipient: 'SPQQV2QN22NAT45PREHH73T5RHF9HZJS7MC3EWCE }
{ amount: u41686564200000, recipient: 'SP1NXKD1ZR95KGJD840541QZCDM2PQHBF1XNETYQ0 }
{ amount: u41281407000000, recipient: 'SP9T9R0PZV2A47SCNS9JVK1B9QWV3Y398HPP12KX }
{ amount: u41269200900000, recipient: 'SP2AZKTAJ60P2N0CA0Y3YTFPB2RMY802HTGC4FV8X }
{ amount: u41231859800000, recipient: 'SP3HP8DGJ3V0HEDABC3YDGW86ECQFJGX3DDXXMP9N }
{ amount: u41129381600000, recipient: 'SP3P53SWHSWPDBZ3P5DHGXWJCK16RG3FZKPQ308JX }
{ amount: u41041193700000, recipient: 'SP4PCYSF8Z36123NXB2KT8H6HX78VT9QCXHK8YJ8 }
{ amount: u40644223600000, recipient: 'SPWXYC9X18PGYCCHE2V43J0C0JYJMG2D2YH90WFX }
{ amount: u39861794600000, recipient: 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV }
{ amount: u39846813200000, recipient: 'SPVN25K5182K2P7JVAAG6A5ASYKSQCJA7GXXTZAC }
{ amount: u39584587500000, recipient: 'SP3HM756ZBN71F492RN55G2CEFH0S6XQK1H1QGWSJ }
{ amount: u39509593400000, recipient: 'SP3AFTJ38PSZQBXZGNCDGM05GR0SFY7HBPZD2ACR2 }
{ amount: u39443600000000, recipient: 'SP3NCDQN5EEP6GA7M2KD8QNZC6CKAK980N4PAXXGG }
{ amount: u38946100100000, recipient: 'SP2K1QW076PZT0VT9M3DX7GPJ088XYB5GH0G5V2QY }
{ amount: u38171169700000, recipient: 'SP1X351Q7A4SWXW2XJW745GQF71CCMV2W9ET1KD50 }
{ amount: u38052620300000, recipient: 'SPQZB84K0ZW6BNAVWETXHY6THQT1RYEMF930QZS2 }
{ amount: u37765840000000, recipient: 'SP1RYSBKCZCTERP7R1J9CAQJVV1JSC2ENHT3V1CNX }
{ amount: u37540494400000, recipient: 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK }
{ amount: u37273913000000, recipient: 'SPVHHRF0SWTFZHGWJSXC0QXRFH45CH56EMSB2PK9 }
{ amount: u36738877400000, recipient: 'SP3CCY2HKJ5SK0SRH4BKH0TVV47RW271Y30P8Q9N1 }
{ amount: u36711868300000, recipient: 'SP124KKQ8KN417TBM43JN9EEQPWGXNDMYW6MWSYJJ }
{ amount: u36649231100000, recipient: 'SP3F2FFV2HP3E3ZFE1YGZ1RN5122W1XBT7EDYBKSD }
{ amount: u36380612600000, recipient: 'SP10FYJ5QT74YC9C7JPPX4PMD3S563DP4DYFH0ESG }
{ amount: u36313304800000, recipient: 'SP27X3G1QT3ZRD5GFDK8H3CR1N1FWX92934K1YHV6 }
{ amount: u35650207200000, recipient: 'SP3BKB4Y28MY7M7WB825NXDYE29QPS4TJ1C59RBK9 }
{ amount: u35590437800000, recipient: 'SP31QRVP2DJB1Q4MNGT9934SPBC3FKAGKZENZ4WMG }
{ amount: u34245349300000, recipient: 'SP2ZNGJ85ENDY6QRHQ5P2D4FXKGZWCKTB2T0Z55KS }
{ amount: u33864539800000, recipient: 'SP1HJN7GJRZT6GEYNPKXW0S319Z5JAKP0QBE7Q83N }
{ amount: u33502933600000, recipient: 'SP29B6HXCE34H5JZNPK7RBJYW7M81HN7C48RJ3X0K }
{ amount: u33303714900000, recipient: 'SP2N718HM783CA5W6DH1V3B1DSPNE1YWT9CNHT9S0 }
{ amount: u33230178900000, recipient: 'SPPSZ184H3GRTXT7AKZZDYCZQVTAV2146G90CYW7 }
{ amount: u33072369700000, recipient: 'SP2M714CQ41BDAZKRKVZYPPR1SW4FGTCX3AK4KE0K }
{ amount: u32748572900000, recipient: 'SP2BBZNE2TZ5A56P3094JKTQCWCT13R61F8B8GXH8 }
{ amount: u32710877000000, recipient: 'SP1ZJHN74VH26SPHHJB4YP6NSEYVKFZD1W0ZK5K9H }
{ amount: u32513591000000, recipient: 'SP0AKBNFK695BA26KDNW9HR9BFHDNHFBMMS51277 }
{ amount: u32201911100000, recipient: 'SP2G52KJHH94FDMWW75B9EEB3TRCPXD4NKMBT3NXG }
{ amount: u32174001700000, recipient: 'SP3SQJFZMR65FJ1GRNT5KPCBE16DZBRJKJPRRD7X1 }
{ amount: u32173853100000, recipient: 'SP6P2H3RPPJM5FRR5QYV4DQMJ37SPHESMRXVZXWP }
{ amount: u31722549800000, recipient: 'SPGZRPG97X81CZE5AJAN4PYS4NFDG1Z1K4Z2RXNT }
{ amount: u31031053100000, recipient: 'SP3S5H5TXCWWKXTAD40JEZM1Q0E4F41HTSV6FX3H3 }
{ amount: u30503956400000, recipient: 'SP2PK7GJ73G9V9XZ5JYEMMTG36VQRCJ3AT7SW1GN4 }
{ amount: u30048581800000, recipient: 'SP339GS5B7JA1DFTVX3SH2VWXMP4QR8RM5KF4ZZA }
{ amount: u29878026900000, recipient: 'SP3NFZSXW19MRE7G86R9EF3P6JCANJ43YW49RK7SK }
{ amount: u29177452700000, recipient: 'SPDR1QD7D1B5XFQDVJDRN1QXA9SKH0TXVRDXAXDS }
{ amount: u28832890600000, recipient: 'SP34DRJ76X1EX28G20MDHB7J7RD9ZTYJSYTFWRCE5 }
{ amount: u28564319100000, recipient: 'SP18K5C7T5JDYPM3PHPF1HGDPGP044D17MGZF0Z9K }
{ amount: u27977490000000, recipient: 'SP3AVRRDM73VW4EB2CY94406BZ8QPNSF3GSEBJ8H9 }
{ amount: u27712357800000, recipient: 'SP3B86WR1GKJZQ226G4N26M8JVQF7J3F7XWMX94H0 }
{ amount: u27518183300000, recipient: 'SP3EDGTJHXKMJTCTW863JDK1QJWEX77RWZK27YW9G }
{ amount: u27392103900000, recipient: 'SP32VD9WJRS7C1CCWZY6PBHZ3DWGDVZ7Z2K0NS2ZJ }
{ amount: u27068320100000, recipient: 'SP3V5DY757XADMFXSSSWCJ4NSDCBJSYB92N6BXCKQ }
{ amount: u27044369200000, recipient: 'SPKRDNFX7KR3P4Z79WN4DRFPWHGQ1G4J10G59VZR }
{ amount: u26540313400000, recipient: 'SP1VV0X7M75EY32K81TADWZX872JBZPH20TD2MYG8 }
{ amount: u26369989300000, recipient: 'SPS0E5CNN42D1C9ACCQVRVRZQSGWNZDKM6DH0BHW }
{ amount: u26030471900000, recipient: 'SP2TW47X5MVTCAQ1DEMCJE81XKGS9RTE322VNX20Q }
{ amount: u25916923100000, recipient: 'SP26528MWZTPCQN25FTTM7PBS8HM41J5KE4XCARAD }
{ amount: u25807400000000, recipient: 'SM3Q5F3JFF5TGW61T9W8MG06K8XBYC1EQ0VVR5370 }
{ amount: u25680000000000, recipient: 'SP1JGAW4KJS31AEQFGVB2Z4M7Y95NNRA8GBMMN515 }
{ amount: u25522514700000, recipient: 'SP1FV4FZ8D32S7GKYRPFWK6YHRJE5BZEYKABK72Q3 }
{ amount: u24458177100000, recipient: 'SP20BHTXF4B95A71PXYHM0TWNZ9SM94VPJ5GA71Y1 }
{ amount: u24224492900000, recipient: 'SP1BBH05FYNZQGC8FAN9N7H0648KZAMC7E8G64T3 }
{ amount: u23646983900000, recipient: 'SP35ZVMPF33QP7G1D9SMYJ0W4AZECFGARRYC8M9WA }
{ amount: u23540909700000, recipient: 'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH }
{ amount: u22617733600000, recipient: 'SP1H6SQ5825ZP4EYGA9Q79DYSZB46SB7T7CRMB4Q0 }
{ amount: u22560364900000, recipient: 'SP1H1DJSH3QMP1WJ6G5EK8BCG8BKPP17DBAD4Q55S }
{ amount: u22556633000000, recipient: 'SP3FQA6S5WF255DC67DY85Y6H5FFPWNBSQRK0W7Y4 }
{ amount: u22463098100000, recipient: 'SPERC07JHV00Q7F2MJJWPJX5KAP7VRPBW68H5WH5 }
{ amount: u22305935200000, recipient: 'SP3B5NZ9T7MF80WJ4WGMM2AHC5KH0D160Y036MRRT }
{ amount: u21449235400000, recipient: 'SM2Y4QPN3JKB8KYX4QRFMP7VJ126DGJKPSFAWDHD2 }
{ amount: u21433568500000, recipient: 'SP3JTYTBEVZF30HFSNE2T3VC03WQPYXXNFHC737H1 }
{ amount: u21293605200000, recipient: 'SP3XN2TJE7CPAFB2D79D3RWN03GA4RTHC58VSZD5P }
{ amount: u21051033500000, recipient: 'SP1B246XWM83NRE1Z1J4TGZDVFA7KFW5E3H32RZCV }
{ amount: u20901602400000, recipient: 'SP12YGGACNA4R43DB1HAQ3AE03PKPJGXZ1BX96CYB }
{ amount: u20889301100000, recipient: 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9 }
{ amount: u20882799000000, recipient: 'SP19EF64JX70RZSFSXCCYB4NKWJD14THMKQ6GRSS2 }
{ amount: u20800427000000, recipient: 'SP2BQY4GY0VHN9B6W0YG87XS2SE5TNGWNZ2AWJN8D }
{ amount: u20774616500000, recipient: 'SP3M6D6M2BS7FNEFV111ZF6WQYATNJZ89Q7MXSPAE }
{ amount: u20639836100000, recipient: 'SPPV8FN67M28FRGAHKR5P2YJKJ41R6CSD55MZE94 }
{ amount: u20621766200000, recipient: 'SPC108HG46YD67MTWK4NBN3FK28TK4KZXVPARZQN }
{ amount: u20544868700000, recipient: 'SP16ESG0STV1YE553GK3C9FZ0YRBA5YVBYDAXC6X5 }
{ amount: u20366388700000, recipient: 'SP3H6CMNWC992YNHJJ100CNFXBYRQT5G3DJDFCBSM }
{ amount: u20327651700000, recipient: 'SP3PW9AFNYMM4CNW9MB2M560RBWM1GKGSTNDTX44 }
{ amount: u20207976300000, recipient: 'SP30HSKC24MTTAA9A9PE043WS9SM357EK0CRAF6VH }
{ amount: u20189389000000, recipient: 'SP3X7JGA5JY6SK2AGG76GD99P9Y0GD90FBGQZBZVS }
{ amount: u19963672200000, recipient: 'SP8TMF4Z37HY5NFJ8NGCVF16FREE7F2ACB6T1K1J }
{ amount: u19805276000000, recipient: 'SP1PT529M5X3PW36G96P32KP49BJ6CDS3676MXJFS }
{ amount: u19674437900000, recipient: 'SP24WE3BZTDPH2M5RF0H8HDETG3V7424R3YR5BSNM }
{ amount: u19584947700000, recipient: 'SP1EVTVMRKYXYV04HJH3XJPHK5Z540M8AGK8Y2FE4 }
{ amount: u19290156300000, recipient: 'SP3J6G5CHGDNMVDKZ5X55QTZ5C6SRXQGNXSHKNX0Y }
{ amount: u19199842100000, recipient: 'SP497CTNSDDG0SVB95G7GHQZ45FSWDEDZPQENJC6 }
{ amount: u19191418600000, recipient: 'SP13KWBHG40T4M9DT7CTPAN3NMSZ1VHPQD9C02ZNN }
{ amount: u18974577400000, recipient: 'SP4GR5SN9SAH7GJ5GPZ0FV1RN050QNJZV9EGDBHR }
{ amount: u18840919000000, recipient: 'SP3XZ9HR0101GG0YMF2N5BHP7SNAP7FX7Q1DR2RFP }
{ amount: u18704509800000, recipient: 'SPQ80CNH90Z9F0NTRPS0045YPVD6A797FFF1MK13 }
{ amount: u18632241800000, recipient: 'SP2CRDAZWP4QSXE0FRPXQVJ5Z5EKE0N6VBDJZBZC7 }
{ amount: u18571707400000, recipient: 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH }
{ amount: u18484690600000, recipient: 'SP33QP4N5WNV44GWGYMC55JZYRCPJVVC0KWN3NVZW }
{ amount: u17835836900000, recipient: 'SP1P8SSM0TJDXH4JB9YC5CWMFR530QRWECZ598R3T }
{ amount: u17746943800000, recipient: 'SP32ABRNH9PA9PDSNQQKGRVXDF91JF5VZ3BWW0BFW } ))
(define-constant batch-2 (list { amount: u17721834200000, recipient: 'SPGYSJ8VNSX0NREAC0HS5X1P8SF81XX051EVRMSW }
{ amount: u17640311200000, recipient: 'SP10XVP5DG3Z62B52T4VRHK4Q2FW8Y115XJ3ZXRRS }
{ amount: u17599331800000, recipient: 'SP1ST9NA85RZQX2D3P5VEXDKE9WXDZRGKHB88A5CF }
{ amount: u17517859700000, recipient: 'SPNKJYR4XQN5W47JVK5B6ABETH46WY9ZB9H1Q5MW }
{ amount: u17418797800000, recipient: 'SP3MBWGMCVC9KZ5DTAYFMG1D0AEJCR7NENTM3FTK5.reverse-bonds-v1-3 }
{ amount: u17323534700000, recipient: 'SP3ANPTPEQE72PNE31WE8BEV4VCKB2C38P48TPH0Q }
{ amount: u17303886700000, recipient: 'SP3FFH1MKXXRF66WDTDWJZKXG13V8DVNXG8R9AZJE }
{ amount: u17210000000000, recipient: 'SPYHAWKFKGRMMYCAPZ695T9D9AENTV7W7B116XYV }
{ amount: u17182789700000, recipient: 'SP28T3SNY86D5AW62JJVP0TQR1H7TBZMP8R6B65RA }
{ amount: u17141062500000, recipient: 'SP1A9K9FA1WJ0AD2GRSPHGT5CKNM6KM2BYV32FF5Z }
{ amount: u16878930200000, recipient: 'SP3EM74GQYGDCQCXKJ46DNXNMMJYGG7SNJP8FMWEK }
{ amount: u16865750000000, recipient: 'SP3CE58W2NEKY7ZZV5HN2NGFVEK2MTZ6RMVD273SH }
{ amount: u16781393000000, recipient: 'SP2CRF4BSC0HN76MYM6D09F03K63AY02FWBNAS3HC }
{ amount: u16626483600000, recipient: 'SP390ATGDGQFHE5YEWKXHCGQVXNAQP25JAXXZMWSC }
{ amount: u16477286300000, recipient: 'SP399DK5DZ3Q9ME894KEFZB4C7BPJRT4FYH08YPNZ }
{ amount: u16465388900000, recipient: 'SP1VXN4BA26VD2SPGNAPDTPWYJRVK79560JXFK6ZJ }
{ amount: u16262863100000, recipient: 'SP1RZC7K2A6RERF1F5ZCT5A0BS2YS3Y9JPAWFJYBH }
{ amount: u16133635400000, recipient: 'SPBYRP84WTRP96J0B0GRBYGPTD65EFFT78HGEZRJ }
{ amount: u16092288900000, recipient: 'SP3RHM457A67RTBT2XQFMY4HH5W4DFRMEZV3C7XBE }
{ amount: u16082221400000, recipient: 'SP2RS0YJZ2QH5VYXQ91X06B9QYR90BNGJETWP0V69 }
{ amount: u16037392400000, recipient: 'SP1YD46GGHX5ANF869BTZ5DGE6Q5KVGD8DJHQ9S1D }
{ amount: u16034335000000, recipient: 'SPJTFCPJX0KKVQTAJSB85TVMYGFNSA488D7XY8ZF }
{ amount: u16004226000000, recipient: 'SP1T8E8P4DV409KCXZM4MC23X24714E8BK5KQ2960 }
{ amount: u15993255400000, recipient: 'SP3FAM6NWV6AQ1RYG6THQ1YTD5B6KZJS2S3QX2W2G }
{ amount: u15541529900000, recipient: 'SPW55TDQY2H8329B9AMPCVM0FW7R0RP9YZBHGE6E }
{ amount: u15426617000000, recipient: 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9 }
{ amount: u15313547400000, recipient: 'SP23A1FJTDSBVJC56R2M8MZCABXMJVZ39R6DFK3DA }
{ amount: u15313182200000, recipient: 'SPDJBA2WGZKB5J9F5J311G87WFA12QGTFBDD9B8V }
{ amount: u15236844500000, recipient: 'SP1HRTXQ54HHHEDV5QGBMWXB9N5T1GJ5DMQ6FMC1F }
{ amount: u15129712600000, recipient: 'SP3ZN9DCJQKYXCMRJ767KPAZ1AVB3QZ1BBXC0D78Q }
{ amount: u14982702100000, recipient: 'SPC7TY5JGGGA8HS4HGTTWXBN8NJ28XH2JR9HCXN4 }
{ amount: u14979000000000, recipient: 'SP28V4T92SPPB67HX20SGMAFTW983YBRR354S2XNK }
{ amount: u14813272800000, recipient: 'SPNFF5TR083QHCG5KD0AJ44G0XBCDEB3WDK12B3H }
{ amount: u14690457500000, recipient: 'SP1205H06A9QF25EPTAYR7Z9TZKNZ9BBX8CPHSYQR }
{ amount: u14682342700000, recipient: 'SP1HM6XBD5ZWR82HXKN48Y6M7KGFZMM08PKXZBM4N }
{ amount: u14522431000000, recipient: 'SP31PJZ7TZVPWFQRWYST7WNCGMH35VRTGYRXPQV3 }
{ amount: u14502128900000, recipient: 'SP2Q8TC8QK1QGQEJFT24S4GBD6TQJ0HDC17RWNDQ8 }
{ amount: u14456200200000, recipient: 'SP1CBK056RX55RKE984W2FG5G1R7K0RP2XYZWDYEQ }
{ amount: u14277050100000, recipient: 'SP3EDR15AH9VN8B0V2KCQ6REK62PB52PWYM641916 }
{ amount: u14197191200000, recipient: 'SP22DBWRJS3ZJWNYB75B8H1B7R2YNEDEBGP6X2GDX }
{ amount: u14187460200000, recipient: 'SPAT5C1SWCEPE5YCSZE5Q53N4DF37Y0VWDKQGRTC }
{ amount: u14109098900000, recipient: 'SPYWAG7J5WFFSN4B64SXPS8QDWF3Q8PGBWYMMCNH }
{ amount: u13940604900000, recipient: 'SP85VPB576ZEES83YJP09E4FJXDPJJT5SNCP6FEB }
{ amount: u13899666100000, recipient: 'SP98HDVTX71PSG3VZDNXCPX1XD9TSH47H42H3AXD }
{ amount: u13897817800000, recipient: 'SPEE8SPQ7HDRXFX81AYJWX29AFK1VK0FE9M194XA }
{ amount: u13817330000000, recipient: 'SP2N947F5F1KYDVZTZ2G9Z08MG5XZN65ZMMRHWK2D }
{ amount: u13787618600000, recipient: 'SP3QVXMZWR9T5RZVFGJ838BDH4S96BZKDWHBX52EK }
{ amount: u13784649600000, recipient: 'SP23WWYV1MZRX6BBQ49YAR1MFSZCRTJ3MEC5F9H75 }
{ amount: u13721461700000, recipient: 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB }
{ amount: u13669360600000, recipient: 'SPCGBQY37XJK557CFQBG20Q7SHZQYZ14F6JG0VEM }
{ amount: u13443807400000, recipient: 'SP2TZE09GHARKG0B8NTT9X77QXBTQPQ2J1579T0D8 }
{ amount: u13079080900000, recipient: 'SP2M7K3YM8813404G1R7AXV106CPWH0Z5ZA80JVAV }
{ amount: u12972443600000, recipient: 'SP9GVRQ4H9181E0RK20C4GMGQ9GEV7RZ8552BZWJ }
{ amount: u12966585800000, recipient: 'SP2MAE1ARW7SACWKFJT49895752EBWHFWRMT08K1T }
{ amount: u12917612900000, recipient: 'SP32M78XH97ZJDJF95E7RGXKXH2QCMQ6JFDF1XZ7F }
{ amount: u12669004700000, recipient: 'SP2QE986VF16WNWH7CY5NV975H0Y7JGJ59C89MEJD }
{ amount: u12544028700000, recipient: 'SP1GSKE5XCDM1ECM176EY83F7NJZMXPW9SAQKZK9N }
{ amount: u12371925400000, recipient: 'SP374NMC5E8A46CBC32KYA0NY5CBQ40RHDW8Y8XWE }
{ amount: u12293396700000, recipient: 'SP3AWV4666ZCQ4AYARX93D0ZQY0YC6HW17A25QFD7 }
{ amount: u12284759000000, recipient: 'SP2DNFRC5TW5R4B2AHGY69ETEN1YJ6WTZSKWNWC2D }
{ amount: u12247086100000, recipient: 'SPH7P46DMTTFNSHDD33N6G8GFE1MQB2R0QW176B1 }
{ amount: u12224915600000, recipient: 'SP1AEH23SPFE9VR3PJJ8YX93WMV7BC1YXK9V49V52 }
{ amount: u12133552000000, recipient: 'SPZSHSZVBD8K6WDAVT9K89JRP1F7F4P2V8P0JFZD }
{ amount: u12117707900000, recipient: 'SP3445X1QB2XVHYXW6K4TV846PW4E9PMF1RYFH60T }
{ amount: u12084857200000, recipient: 'SP3N8ZJBY5R6V4QNW7GR7GA6VG73WAYXAFPEMF69X }
{ amount: u11973219200000, recipient: 'SP3K76QHJ9WVN34HNRW29FFHGXDEWG4XAHE40AWQM }
{ amount: u11936035800000, recipient: 'SP3C9JPPGYZV04QF3J0N3ME7KN5NDVF79AZ96HR1 }
{ amount: u11879771400000, recipient: 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV }
{ amount: u11846191400000, recipient: 'SP1GBHYEDWD3WDAQSS5DHTSG8DQFMVEA4GR34ME6Y }
{ amount: u11594690600000, recipient: 'SP30GWFX38R2RK8F2G55PE71DPA2RR3XEPAJHKGF7 }
{ amount: u11588243600000, recipient: 'SP3R58QTC8KX0286BS37TYTM1B11MNYF6G7Y07K79 }
{ amount: u11454252400000, recipient: 'SP3TF26QFS3YMYHC9N3ZZTZQKCM4AFYMVW1WMFRTT }
{ amount: u11300758200000, recipient: 'SP2W16EEC4T8YY3ETT9Y5YK6J4QEPEB3TPMV5CVRQ }
{ amount: u11228478200000, recipient: 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0 }
{ amount: u11149604700000, recipient: 'SP2GSEVPVKX2PX027NMCQK74XH5Z4FK3M7K62SVCE }
{ amount: u11043689100000, recipient: 'SPJC24T8MTF3CGDHMPVZK30H5A52M0NYTG75XG2Z }
{ amount: u11012167400000, recipient: 'SPNSX52H79HVKKSD5Q70GHW4WQWSVTTPPR3QBXT2 }
{ amount: u10931005500000, recipient: 'SP3B8W1S6YE0Y46VSSF1MFEVCATPN9HHQ9VPVSBD8 }
{ amount: u10875276000000, recipient: 'SP2J823ZZ5YZW9YPCRJKF26W8A8YDPDSDXRJRGN42 }
{ amount: u10856517300000, recipient: 'SP3HQ69JM9MSWAKGJ07HRQ5PAV1XEFE2ATV51PFMZ }
{ amount: u10790451200000, recipient: 'SP17D9TS19C786GJSM32Y55WBCM80JA73H1DXPYDA }
{ amount: u10787968400000, recipient: 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK }
{ amount: u10746064200000, recipient: 'SP3MSTGJ71AKSZT84BY4YHHVBG2P2G5ETYDRXQFY7 }
{ amount: u10724658200000, recipient: 'SP17CXRDR9C62BD41TS5XNXKPZ0P97JBEFSSKMJC9 }
{ amount: u10724650400000, recipient: 'SP2Q7A2E08G2XD5YPVGTWHAB4TXPNE1CWB2M2JTS }
{ amount: u10626061000000, recipient: 'SP32MGBTBEEQDV1Q4WEF5NR5R78GCFTKM0FTAM96P }
{ amount: u10597633900000, recipient: 'SPD0VFPKA445QDQGX9DVZ1K1HJZDFP5PY1N5EAHW }
{ amount: u10508170100000, recipient: 'SP3DXBEH3TVFFME3V3CF7BMYEGJNSMWNFHBF47D6Q }
{ amount: u10457253100000, recipient: 'SP29W9K4Q05781WEBPBNRVC0B05WC7QV1F3CDA12G }
{ amount: u10411522300000, recipient: 'SP24Y2GC98E7ND0YN6B737BZN3WMRAWEF6XXDNTV }
{ amount: u10395619400000, recipient: 'SP1ZXG5GF4A0GEHHV6AEQ7RKY5ZKW79TDSZJPB1V9 }
{ amount: u10372767300000, recipient: 'SP2G7ZGCB125A9WHEN9G1BS3WMDCKJ5EMCH797JDB }
{ amount: u10341045300000, recipient: 'SP3W7TKRDGKTK41M7Z99D8P2EJ724VEWEN5880386 }
{ amount: u10326101000000, recipient: 'SP1FC76GM7MC631CSW65M80ZZ4PMWKPGQD4PVG68Z }
{ amount: u10317942100000, recipient: 'SP78CPCN2ADAKDT6K0X7X833W6AWQQWMESBWGMNF }
{ amount: u10294352100000, recipient: 'SP150WAXJ4RWQ1KN34C0EQ08AJSQTYZF7KAS0WCM2 }
{ amount: u10273091400000, recipient: 'SP1M9M6YNP05M7BVRYYNVFZ7Y04Z48X0BN87H80BG }
{ amount: u10258165800000, recipient: 'SPFF6TZK4Y9YZ1Y9K0K6ZDNX1HWQ8MYPMFZAY6N0 }
{ amount: u10228804300000, recipient: 'SPYXFR09C9KREVYYV9QKFCAWV33M1T73Q243ZAMQ }
{ amount: u10223091000000, recipient: 'SP9HG5ZR3677T3MAA7WYDFD3J7A9EH2JC2N4PJJJ }
{ amount: u10212208200000, recipient: 'SP3Y2WWB569PE5KZDZRS702WQRJ94HEBK72BSF6QR }
{ amount: u10211533100000, recipient: 'SP3KVVHRWM90Y8WE0C10PJJV17R6YDDWTN4Z6X543 }
{ amount: u10193048400000, recipient: 'SP2XHGP0P45WDJ1XZPZZT2Q0MV3WBAP7SN7ZWCGN5 }
{ amount: u10175530400000, recipient: 'SP3SRGX2YQ9ZVVQM8P62NG5ZZ35FZX1RRJHTD05C8 }
{ amount: u10101636600000, recipient: 'SP2BC8VKF2K4DGBVA300R4JY211K20MF4A0KTG3XR }
{ amount: u10079330900000, recipient: 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP }
{ amount: u10054685600000, recipient: 'SP3T83GTFHDHPXCJ4EMBX24MAK0W14NQZKAQW8JJX }
{ amount: u10032846600000, recipient: 'SP7EP9EVK1ZDVDR8T079PSFBYK4V6MBRSM7D9SVN }
{ amount: u10019925800000, recipient: 'SP2ADXHR7XVJS4EDX983CPDC7DZMBVPXQ962ZYBNC }
{ amount: u10017193500000, recipient: 'SP20954BTWJMMDYTS6Z15TC2ZCK6JB0VH98TNYS5D }
{ amount: u10005352100000, recipient: 'SP1HHENF2BX4HDJ6YEZJTJPCA0K366A57ZPH8M853 }
{ amount: u10000053300000, recipient: 'SP3DAKDZJAQFSATMWMQ2DJ4CW7BPXVB2M2MNDZVBV }
{ amount: u10000000000000, recipient: 'SP1VD5FJKCZM1PX46C6TTTR7ZWXXP5PYKSW4R8B9R }
{ amount: u9925110920000, recipient: 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G }
{ amount: u9905235340000, recipient: 'SP1CA9W3C35F6WH2MH1D5Z1XQG9595Q1C3P7Z2NYY }
{ amount: u9826803940000, recipient: 'SP3N31KSKGTG6S3AESCYHE9N3RDKSQNZZG6MB434M }
{ amount: u9814168610000, recipient: 'SP2RWVYPRJAJY35179GS0JNXXX2K9K380J7F563N0 }
{ amount: u9781502530000, recipient: 'SP2ZVQJZG5H5PV8RM56EP6QFZD7MKZDSMSFEQT25D }
{ amount: u9673407320000, recipient: 'SP8PM9VX7FVD4V02CJR64MXJ38T207V167EY48D9 }
{ amount: u9642084860000, recipient: 'SP33YV1AR5H9M7YPWYNR6FHFHG49MP8MEF49JPHQX }
{ amount: u9593372020000, recipient: 'SP213476CCYBPEN784GPAPNYTHFCGGP11V5MZV04D }
{ amount: u9500000000000, recipient: 'SP3BY5Q40G6156S2X7DCV6YEAE8WN6CPJHTZGT5EV }
{ amount: u9381428450000, recipient: 'SP2K8KMB5KFZHHPEGDH0X7Y8KVQSG3CYHJVSX3FHQ }
{ amount: u9227404730000, recipient: 'SPH6X5VT9JJ2366C8Q3MAPVGAZWZE9FZHXWQGYW5 }
{ amount: u9171784460000, recipient: 'SP25CYRX1VHNN8HKSQ9Y9JVPGRCWEJPQMY6JQYQD7 }
{ amount: u9147975680000, recipient: 'SP374RMXRCP8SZCWYT21KX7ETY3V2WSQPNGEZ7GF8 }
{ amount: u9102219490000, recipient: 'SP39TQP1B176VESQVB5K4QYAK7FKX3YC3NJG4136Q }
{ amount: u9081774300000, recipient: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV }
{ amount: u9003420430000, recipient: 'SP1P2Y5B3WH26PWVDM2GSN69MXBXV2037QKCJZG70 }
{ amount: u8979630640000, recipient: 'SP2Y4BKW6JABFQ7XBA82JGGY4Z1HWRBQPHQ59TTE3 }
{ amount: u8931623100000, recipient: 'SP37FFFCKYG03HGS4DTRE2CGPP1RWMNN8R18M6K83 }
{ amount: u8912836510000, recipient: 'SP3XEW2B2HNPF9YRVX7E4PHBD4SVPYTEWTTT6Y9TT }
{ amount: u8845034010000, recipient: 'SP3CWQEWH6P8JA5FS67TJAM6TGYTDY1GZGJPRQFYD }
{ amount: u8830393040000, recipient: 'SPWZVZW56PX1ZJW6CSD12N0EGP9AVGCTZT1CXQPX }
{ amount: u8794194030000, recipient: 'SPVQRRSSK4MDZENBJ5A23A3F0QK73P5QRFVWPVHS }
{ amount: u8787510960000, recipient: 'SP8S9H142CBSQPESKAK9ET052BF8H6XEASTCQ0DE }
{ amount: u8770039020000, recipient: 'SPETP9FFCS2CREY4374H39ZCE7SGHJ78GASW0EFV }
{ amount: u8752310830000, recipient: 'SP3HASVTZPPQX205RK9ZA0F7N6KS3AVRAFMM0T3ED }
{ amount: u8695732260000, recipient: 'SPFJTSM2W1GVCFG93DESDSNXGZ0SYKZY4NFS4MKT }
{ amount: u8663681730000, recipient: 'SP2C9626NVF86VWFFND7HJ65DGEK5P84Y52RQ05CB }
{ amount: u8657183580000, recipient: 'SP1KX403GCQP573B9JS058NB56VQ6MMYC3105W47J }
{ amount: u8614806390000, recipient: 'SP24YJDP5R2F4BJNR3EMMFE3QVR1HJ2T6XPGC1N7S }
{ amount: u8579694160000, recipient: 'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4 }
{ amount: u8488752480000, recipient: 'SP1BF5FG7HNWG6MW4WB3ZVMW82A6KWN9RK630DVHQ }
{ amount: u8459214000000, recipient: 'SPTM340SC9FM3XK7DBN7PHCTRFMQJJ7TTYNE82D2 }
{ amount: u8438683580000, recipient: 'SP32BAPXBRZSJM7PJBKQN09XBZS35CN14FQ80EW8P }
{ amount: u8425149310000, recipient: 'SP2XKH0WZ5E862SMYRKRYJFRXSRPM2FBFJC0MCYSC }
{ amount: u8383296570000, recipient: 'SP2A069BM3FFW8668B24Q7HAEW7J32YC4CEFKPB7C }
{ amount: u8325948330000, recipient: 'SP1ZW56W69Y6WHE2Y7P3G5GSB3B9WZV0X1W467BKF }
{ amount: u8316474520000, recipient: 'SP3188CJTN5YDY77KPT90AJJKHJKDSSMZ5T1PFF4D }
{ amount: u8289933950000, recipient: 'SP2AMR324RX3E2E63CNDB453QQ10VXAPE6GJ8Y0HX }
{ amount: u8208734120000, recipient: 'SPB1J0PM265A990K8PY4TS74G0D9FDBWWAV98X7P }
{ amount: u8208561470000, recipient: 'SP2GRK6BHG184M0MB2GW9MF9CKTB8CF4TANHC18Q0 }
{ amount: u8207830510000, recipient: 'SPS43TC9JK0XEV84ST0X854DN166P7XKV1QK5SWJ }
{ amount: u8201710350000, recipient: 'SP1GZHKN0ZRVQ9X9RXK72HDWTJNKZ994QQ9D4S4KB }
{ amount: u8200086450000, recipient: 'SPJQ7ZXXTGHWFWA61RK81GW7386YNNX3942HPFW0 }
{ amount: u8177388880000, recipient: 'SP28ZTJS8Q58ERK8MDNFGQA85CHQRP4SYH85B95SG }
{ amount: u8165408370000, recipient: 'SPTXKYRSKQQMZXTGZP8086RDB1Q8YJYY0ZH2B5EZ }
{ amount: u8149299000000, recipient: 'SP3PMZXDTF0GECRZGZZQ12Z4DK2F2XZK38TXHXAQG }
{ amount: u8147592260000, recipient: 'SP9469CHQ3SZB16XX7YNM0QFEQCD3WA3D85CP6C0 }
{ amount: u8132550600000, recipient: 'SP3DYKW246G4FQVE8T05AHA5WN942NKB7DZZ2BD1M }
{ amount: u8089348710000, recipient: 'SP3YSS1RJJF8CA39NBGAZMWBEYRMRAFJ72RBSN1TM }
{ amount: u8024152990000, recipient: 'SP2128VP1DQYNAWJH1CGNVG0QXKXWB57B9ZE24MKP }
{ amount: u8019143270000, recipient: 'SP2FZ6G0YGD5JN9Q7GVH2WBC1B2GJ550H99PQ2GN6 }
{ amount: u7956834180000, recipient: 'SP1818NZSR92MYTFJCHFYR1WZSM52BWNBNP1PDE49 }
{ amount: u7936991210000, recipient: 'SP1B0Y9NJ0F53GGKACEGDC4KFZMDJJCECSTJAC7JK }
{ amount: u7919074760000, recipient: 'SP3RQXM3QDHKTZAZFFCMA8J3ZE6EZ42N8KR26WNPX }
{ amount: u7909849060000, recipient: 'SPZ7YBW5J8Z43T6VKR4JSY4GV222RM5QXETBWA6Z }
{ amount: u7908958330000, recipient: 'SPQ04916MM73QMYG0V6P4T2NZ3R9C4AAFFQ14B4W }
{ amount: u7760815080000, recipient: 'SP44CQNCB72GGVRAMXKFS3Z9TSQKQKXPMCSXTSGX }
{ amount: u7720428000000, recipient: 'SP3J1CCK22GFQ8VE3TKCMP7ASNQ0N9G7BYF9HB5S }
{ amount: u7658833060000, recipient: 'SPYK7WJCM4PMCEH4CCM4FHA3RTG946QKJBNN5553 }
{ amount: u7657459650000, recipient: 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB }
{ amount: u7630393040000, recipient: 'SP7TYMCHNJJ0F8FQPXSN2B7TT90V9798G2PQ2CN3 }
{ amount: u7590316890000, recipient: 'SP20JNPQ5GN5SH1Q1AM8PA48B145N0FH8AGS2X822 }
{ amount: u7585503700000, recipient: 'SP1XT9EBFCE1WQWW5RXKK4PGSC5F8WP0Z32Z47GN6 }
{ amount: u7577670920000, recipient: 'SP1MR1MN3ZXH0XRF3B9K3ZP3J9X6PT4EPE7JV0SC9 }
{ amount: u7507061270000, recipient: 'SP1150ZYYJQ7V0TX14FW2QQ5DSPRV5YJFATJ58PSD }
{ amount: u7491352450000, recipient: 'SPSE66H734989AC6PD3X3M8CZZ34GAV9ZWVPCMNQ }
{ amount: u7454675150000, recipient: 'SP285YTW49X1G4FZ4TVVT3RHETJN6KCARJQ26TZZG }
{ amount: u7447698800000, recipient: 'SP1PJGVT8Y8XF5MQ3SY5FFWPTMZNGA69MRBSEAXY2 }
{ amount: u7433524910000, recipient: 'SP3JQ5HPF0JMS738D9RJYVNSD82BBWVZX94WX8PRV }
{ amount: u7377642170000, recipient: 'SPEWSKE9MY6VP30MF14B6WT6XX4WBTEA3F02XA4T }
{ amount: u7366133460000, recipient: 'SP194M9B6BZ6KGVJSMBFGQ5YW64RJSAVAECHF5Q01 }
{ amount: u7365952360000, recipient: 'SP15J40GW8SNEWSRNCZ10QHGS4P2QFSJZ2DY1AKQT }
{ amount: u7356459240000, recipient: 'SP1BF9YY7648YBM3KCXPRB2E490AWV6Y37TXBH4R6 }
{ amount: u7349471730000, recipient: 'SP1CTCBPM2QMWZHQTNXGEXFZEYHCVM21DYRPFY9BA }
{ amount: u7271655140000, recipient: 'SP3DH2F2K80EP2GNC18MBJEAWWS08CKDWCB77HE0V }
{ amount: u7200000000000, recipient: 'SP2Q95PDBPDXXMCS7064SQGR3HHE9J44K533Z8VWR }
{ amount: u7097958010000, recipient: 'SP3NKSPVD9RAHZ8AJ7492MRMFCS40JRTWMCYVWM6 }
{ amount: u7037745730000, recipient: 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS }
{ amount: u7006283090000, recipient: 'SP2GCF9TGVFEZEEAQ0QBER37QZ336J8PVVHCC16W9 }
{ amount: u7005354210000, recipient: 'SP35MFFY1YZ3AV5H8ATFG1V56WZMK496JW8QAKY6W }
{ amount: u7005037480000, recipient: 'SP3SSFEDCVS5JGF972A8JP4WFGBGJ6C8M7H1S1E8E }
{ amount: u7000000000000, recipient: 'SP1E45D5D5M2YVVKN1Y6A8KNRQC7H0VRN4G566SZ0 }
{ amount: u6982190820000, recipient: 'SP3KSQV74SJ669TB364J8M59DQC6ZTXE2NX28J6JW }
{ amount: u6913951520000, recipient: 'SP3YKW86T1VWS24S23PF1DM6BN090YP9Z3JB6ZVSF }
{ amount: u6870440710000, recipient: 'SP17RCWTVTKK3934YX9TAEAMT7ZCPWKBCTY25TWM7 }
{ amount: u6863391360000, recipient: 'SPKZD017GPPC4ZGA335WT2YEPD25DGN10Z823C7V }
{ amount: u6852121310000, recipient: 'SP1VNSQN2Q4VKEA4PTJRN7F3RW9VH9JAE1NBFTWXW } ))
(define-constant batch-3 (list { amount: u6836933050000, recipient: 'SP31MSB4TNSZW3V957KTZVYRRJ8PAFSVTFM3AYZ2W }
{ amount: u6794575910000, recipient: 'SPM5BVEBYCN2Z1AR2E06A69HF1W70G7V5GZFDNPR }
{ amount: u6785426730000, recipient: 'SP289ZXJ05GRVS5GPK65AC5Y0WFVK08D74C8X31WX }
{ amount: u6704612910000, recipient: 'SP2N09T3P0H87ZA6CG2TH8RT6GFMSK8T4P2NS5WF8 }
{ amount: u6602324740000, recipient: 'SP277VXTHQ3E283BGBPFC148T2TH5ZRXA9HR1TJ30 }
{ amount: u6593638000000, recipient: 'SP22J3HS6EKKWG628TTV22DFGAH032CSVM1GFVSRH }
{ amount: u6584272790000, recipient: 'SP2YAN94WWP0CVNDB4GM5SC8CGVYYBFRWCH8PRR0E }
{ amount: u6524288400000, recipient: 'SPWZTKKPKGRB4E7TETR5R26E6NVR83E6YB3TDPWW }
{ amount: u6515596960000, recipient: 'SP2B8T6XZKDH8W1TSW0WZ45TYNWSEGHMKVNN0NGJB }
{ amount: u6515322860000, recipient: 'SPJ1F5VK1JTXP0CGR0TAPNRT7QQ63MFW4BZ3J5V7 }
{ amount: u6503518380000, recipient: 'SP26BAY6JYEVXVHRPC0SWM7NM5DZJ9MVEZN8YGV7T }
{ amount: u6403167800000, recipient: 'SP14M3FJP2S6CJXVVV3NDW10W5JBKFPR7BR6HE2Y4 }
{ amount: u6398355050000, recipient: 'SP39QMCAN545Q2VEA2M9JJQJ4J2GJNRRBWXQVWRBK }
{ amount: u6337063800000, recipient: 'SP1MBYHW0DMH9DCW90WRCP1VRW4WA36P9T71S4M89 }
{ amount: u6327089710000, recipient: 'SPR7SM8DPEK2KVTQACBNWXGWJFP81YEENJ9E4ECF }
{ amount: u6266113300000, recipient: 'SP2HF5D9FKA393DCCPCZANZPD4K2FSDBBSSDN2440 }
{ amount: u6253015250000, recipient: 'SP3M18HDHYZWT6B6DGYPHF15YC9NZPJ7HRH1YSHN6 }
{ amount: u6248781090000, recipient: 'SPYCKVJK4BNMGBKE2HDZCC8AFP80EVSB5FNBMD6S }
{ amount: u6173352680000, recipient: 'SP2YYMDCRAG1YJVA1FD1GDHE15XZ0YF6KVTK1E4BR }
{ amount: u6159322400000, recipient: 'SP2NTXWC72CQRBA1DD5JDAH4T8D5Y673AXDPWXZQA }
{ amount: u6100505400000, recipient: 'SP39PZSMWYDPENM1TV1H9Z79399SNK5G50BEC0T43 }
{ amount: u6082911200000, recipient: 'SP12B3TDFAM4J9H336PGSG95ZW44JRY3A8DPFV379 }
{ amount: u6079195740000, recipient: 'SP3EV7DWHMVJJNF9Q64YVXVQH69SKHVED89R3SR5Z }
{ amount: u6071303910000, recipient: 'SP2WRX7ZAR4Z1SJ5V1NHBXZHWX2112HATSDV4R0Y5 }
{ amount: u6042590540000, recipient: 'SP2BYDTPWXGMVY8M729ZYTRT8AS1EB7JEQS691W7R }
{ amount: u6035339690000, recipient: 'SP1PQA37F02VMRWPDKH2M0DWQNHKP2ZYTWCHBBQ5Z }
{ amount: u6016513920000, recipient: 'SP2V4GKQ28G0J1640870FNJWQ5F7WCJMFKT16X1TQ }
{ amount: u6011515210000, recipient: 'SP2CZP0VGN4DA08VX9N2EM0G1TDNHZD65TRBWDHE5 }
{ amount: u5985500120000, recipient: 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG }
{ amount: u5959442090000, recipient: 'SP3WME8GN520XQZTAQPN2DE7TFJ1BMFF1DNT3MFDC }
{ amount: u5937588710000, recipient: 'SP30RZ9KC3TZKX7V3KAP3DJAZ6YNXG6TBB7GNEBYT }
{ amount: u5926724070000, recipient: 'SP2CTPNYMWC1CKW07JYVAWQ7PNM6Q17GMA8BB5PNE }
{ amount: u5926000000000, recipient: 'SP36G3TRN0EB1FJXT72MZTH64DX75REYJKB9G79CZ }
{ amount: u5905869800000, recipient: 'SPWF15F212MS06SHKJGG20AKET2WH26CRR5V4NAV }
{ amount: u5889401880000, recipient: 'SP3WT5CD94VBK6796HXVMDDT1F4VR2DAGF1ME551H }
{ amount: u5870664030000, recipient: 'SP2YVAMCHSN233DGBWZHK824QDJ89XABZ9FMM72RH }
{ amount: u5863698700000, recipient: 'SP6GWDY5WNAKARE4HQRT98XBAT4BWVQZJXXY5AHA }
{ amount: u5857159720000, recipient: 'SP1E05DMPT0DGEZNR1EKV95B6XR78Q8QFRG7798KC }
{ amount: u5845807510000, recipient: 'SP2EXMN550VDB61DNKZJC62DWBN7AW2F0A9PFPQVA }
{ amount: u5841267090000, recipient: 'SP1M8DW48NVBT08CM2E69SXEWXXV66F5EREY1K2J }
{ amount: u5814169850000, recipient: 'SPG4YX7Q4ZFWZQ2AP4G9SKWC06HQS2Y55FW6WMWZ }
{ amount: u5810850400000, recipient: 'SP38BRTH6N2Q7N3H38Z4BN69H4JEX4A1DDJ0VE2C }
{ amount: u5795810840000, recipient: 'SP3F46YJPD2A24QEEZYKDC17XQ2NWM8T62RNRACDR }
{ amount: u5794557370000, recipient: 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654 }
{ amount: u5767221940000, recipient: 'SP1AF9R3GCMFN280M3MVKSJ4XYC6EFTSCBQ6ZC3NT }
{ amount: u5766912000000, recipient: 'SP3A3KP3GY76CT4WSF8XV86GPJPEXNDYPSGW6XRP9 }
{ amount: u5741408200000, recipient: 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M }
{ amount: u5732221990000, recipient: 'SP32NNRPJ50PA454W9N1J7H2BQYNDQARFY2BVFG57 }
{ amount: u5702662700000, recipient: 'SP2380FEKW8D9RKJS9APFY3HHFQPWT37JFP28E4YG }
{ amount: u5699822830000, recipient: 'SPG79KHNGFFV0B1CYRMT9SC8TXTT6V0A7W6JZ8C9 }
{ amount: u5697822340000, recipient: 'SP3XYP0HYZHKHJ96THQX8AV7TQYJWMF8PP30K0RX5 }
{ amount: u5695223930000, recipient: 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW }
{ amount: u5685922440000, recipient: 'SP3DRZ310TZVJDQEB6Q7JBSF77ETBK5ZDJ7ZBHE3H }
{ amount: u5664188720000, recipient: 'SPK23S8ZAQY0ACBZJP7SNY0W20P2SR976Y7KJZNZ }
{ amount: u5664180940000, recipient: 'SPN3RFQPYPQQPF03M92KM2R666VWR6A9DKZJ849V }
{ amount: u5641081110000, recipient: 'SPVTDTFCT8TYFDZ8RSTN2BPFFB814B62VABG6H06 }
{ amount: u5606906000000, recipient: 'SP37PYXCEQWSWF181GWEBP866FBV8FSXTTRY2FRG5 }
{ amount: u5550172070000, recipient: 'SP1HRRFS1MDZ0ZK0FMBAW468KYHN0VZQQVQQ4A67S }
{ amount: u5539000000000, recipient: 'SP212ETGJ5HV7B147Z8MV9416596YDKDRTVW15W0X }
{ amount: u5512728130000, recipient: 'SPDBCT835MPD9HTDTN56WZX9J2STSQXY5M3JJ5G2 }
{ amount: u5500200170000, recipient: 'SP1EWDHG1MGM7S69NR6W052M81PHMPCTBKA7YT8P1 }
{ amount: u5493998660000, recipient: 'SP2YTGQK34RX0G1GAKTRQN8W33CGJQ3F2PKTKE2PZ }
{ amount: u5473394800000, recipient: 'SP1DGRJNP3FYQPBXWWAAM7345M9P5305T57VHP455 }
{ amount: u5469096450000, recipient: 'SP172QQY5W9WPA4YF9YBD9VETDKCN09Z05MJ7KXCV }
{ amount: u5466271850000, recipient: 'SP16X0C17F3K639EG2M4HBNDW7B56Q19K8DSJVS0X }
{ amount: u5465667780000, recipient: 'SP22K5P66PH4Q2R2ZX6WCFHNCWTD55FX4K1GB23S1 }
{ amount: u5457045650000, recipient: 'SP426EVNEX3G16NXS4PGVTA5F6NS3W7KBKVNG8GZ }
{ amount: u5443179400000, recipient: 'SP2B5ZHPPK7HZPK3GNMXJ5J6YS0XM1TJJ6HHXA1A8 }
{ amount: u5441385060000, recipient: 'SPZ3GYS7M9AAT6K37Y6ZB3FYY5P25X6ZNG390BJR }
{ amount: u5438942930000, recipient: 'SP2VSH4C78AZ98Y13RB0RTFQPR7DSBJZXVBFCHV8H }
{ amount: u5437871780000, recipient: 'SP3G9N6XXHTYFTRCGA1DB2926HYTRGHQ8CH4E9EZJ }
{ amount: u5437574900000, recipient: 'SPKYPVMY0FAMZW9DPVQDNGNVGFD4RQFBARGRMW11 }
{ amount: u5394302170000, recipient: 'SP367FZQBQTAQH7CJWGY1EGX5QCDW4GMEW8S1P3MC }
{ amount: u5386638220000, recipient: 'SP21GTVTEEDQBBQSK6FPEG4G4XGQRJGJDQV41CAD }
{ amount: u5371596000000, recipient: 'SP2T25R00YTCBKEXSRX1Z7TENAZWA4JS0E3SX13SV }
{ amount: u5370549700000, recipient: 'SP8A85JKWM678B987NMST7XDK33Z1K2WDEWB5SP2 }
{ amount: u5366810860000, recipient: 'SP34BD9Y4F4VVJSVJSET42CWKW6K0A81D1YBC0NVH }
{ amount: u5362469890000, recipient: 'SP2DV6ZV3QBQPXWN7NNZ4EJZWXXWWBYF4PG72TN28 }
{ amount: u5362312640000, recipient: 'SP2MMESN19ZP6JN08ZWTTKJQB7XFY6K9RN62YFEVP }
{ amount: u5362308850000, recipient: 'SP3PRY86YR8HBW2J50EB91JJAFBP1HSWVMWZRSX2X }
{ amount: u5362308850000, recipient: 'SP2G8J9XFKMPG838EQRGM00AXN107Z9GZ5M06F622 }
{ amount: u5344998050000, recipient: 'SP2RPTD5Q3XZG1KTQYWT8FNEJ9Y7Z60659R6DAAP6 }
{ amount: u5337073360000, recipient: 'SP2N0WVB6AP5A9FA7XN1Q6FH6PBG641GHMPYJ41N5 }
{ amount: u5337034030000, recipient: 'SP11M2T45YCQM29CPXZ94ZR0NTWEJ9DYN3M0XT9PD }
{ amount: u5336336360000, recipient: 'SP2JP9NPB6SVYGDDRDFRZAXCZVK7W9ZHHVTSGS27 }
{ amount: u5332251610000, recipient: 'SP3SPBHEFP4M6AAQM16WF8YCXDP01RSN1J6QKZ16X }
{ amount: u5322988510000, recipient: 'SP335ZC3W6M308ZKTSCCBMR54GWA20RSXCKJPZC59 }
{ amount: u5295038830000, recipient: 'SPJ6V19WVXGVGT81XK2J91ZBKMJ44XPZ0GAC0AK7 }
{ amount: u5290482590000, recipient: 'SPWC89A8X1QC23N0ASRRHTEN4ABPEM9W7VMGKJE9 }
{ amount: u5260141640000, recipient: 'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM }
{ amount: u5234582980000, recipient: 'SP3BVJ0KRTAAJKFW5WY5Y4AD7HK0NAPFT6WTPDNDV }
{ amount: u5234503450000, recipient: 'SP3K4JD2ZYVZ88BAD9K1A7PKGM0PS7KEA194JSJW }
{ amount: u5223536000000, recipient: 'SP2CWDEZ3APNPMK1AD1RJ7X1KAQ1JD1ZP0WRJB91V }
{ amount: u5201188930000, recipient: 'SP3JMWGH54DNFHCRZ82QQVX64XFY7P0CQPQMVKRD7 }
{ amount: u5199775250000, recipient: 'SP13EASTN4ZCNFE635X6SNQ58H4NGHST1EBTHG0SF }
{ amount: u5197213740000, recipient: 'SP1FZKAJ5V0QSV19RB5T2DG1PJQ6R6MKSB5ZJF5A5 }
{ amount: u5186305240000, recipient: 'SP39DZ2NHX4WRBGDWW9QGZF5988SM9NKGMAJSTWCV }
{ amount: u5161526290000, recipient: 'SP7KK7ZYCSA34JEWS18XSRCK5KMSKQR4745GSGZS }
{ amount: u5147910410000, recipient: 'SP1EEASZG7WCDQ8SFX9X24PG86DPFSM6VEXXH487W }
{ amount: u5112386870000, recipient: 'SP3X5XGHQR6TZ6G5A62HBHKM7D51YN4SJHR77X6FY }
{ amount: u5107934970000, recipient: 'SP34V1RENZZVPSE69ARAYZWMVJCFZ0A4BRFM6KMJC }
{ amount: u5092431820000, recipient: 'SP25K0J9N1A5MH1SZ7JDR0RZEJ1AX6KM11FZ46KFC }
{ amount: u5087157060000, recipient: 'SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H }
{ amount: u5068736740000, recipient: 'SP3XTRRBJHEMVY2SF77DJKDXV5Q09MRZXYM431P3S }
{ amount: u5067838350000, recipient: 'SPMHWNPMYFQ7R13M1QX4MSH94TYT60KM5GBXW6KF }
{ amount: u5043714840000, recipient: 'SPKHZXV6K1C8F43GA469QYB7R12C6W1NKNX6R5YS }
{ amount: u5040997540000, recipient: 'SP39GTB1RRRQ7DX5P5456JKK4G9TERD8B8YFFTDBW }
{ amount: u5035753130000, recipient: 'SP61BMYZVSG7YZ4R8R4KX2NHS8NPG3X6HP5GWMNQ }
{ amount: u5035753130000, recipient: 'SPBAWCPB562B3N6KWNY41BWP2913J31C542VW3CZ }
{ amount: u5035753130000, recipient: 'SP3J3MKQD150P942EN31GHX8BY3892THB0JHHJQE8 }
{ amount: u5035753130000, recipient: 'SP3TJ6RDAXN2Y2Z3DPB9HEQG9M0QGKPR9XXESXGRC }
{ amount: u5035753130000, recipient: 'SP3WX3Y7SWJT5738BC9GPSSVSFHMXMCQC4VHF56HA }
{ amount: u5027448760000, recipient: 'SP2N41S4YDR2AFC6M0RYX98D7GN3YFQRZ9A9SMN7N }
{ amount: u5022921230000, recipient: 'SP1B7Z5QNNQ2X6W0YBSA1ZKJ29BHB9E93RTFDQFR4 }
{ amount: u5000051520000, recipient: 'SP1VA9HEH5VJFBCGJ6F8VF9BGS8WF6DJE9AD7856 }
{ amount: u5000011300000, recipient: 'SP3J4B23R4RSDES4T0S9CTCQBKSBH89D3J8HHY4D2 }
{ amount: u5000000010000, recipient: 'SP1FPVT5DH41T5RA844NNQYX2PRZH2KMBNBVJQJT7 }
{ amount: u4999342110000, recipient: 'SP3AEXSMQAGA660DE94GR35W48P6N2GFD1A21Y5JQ }
{ amount: u4998465060000, recipient: 'SPW7PE0S743C0562Y21XE2ZGWXVZPE26VC1N9G8Z }
{ amount: u4996342110000, recipient: 'SP2K24ZCJAMNEB6DK8NFRYH4XFVDK22JH16PY4JHV }
{ amount: u4991641390000, recipient: 'SP3NZYE2BYESG18ZMV02SWT2YYPTEA3PJZVWF611M }
{ amount: u4981200300000, recipient: 'SP19SGRETVZCDBX4FC7MN7HR7CQZZPN917SFA7VDN }
{ amount: u4975538490000, recipient: 'SPRQD9BBPCAHFJYT52M581X18X5C807WTD5VBEX7 }
{ amount: u4971303910000, recipient: 'SP26A8HH1ZJWVJ044RW6S37AR573GNHJFDRRXWKD3 }
{ amount: u4968417380000, recipient: 'SP2W6YP0Z5P9N8E22HKJHEHJ37S0HJP7MQ95QW1XA }
{ amount: u4948345040000, recipient: 'SPXR5M7YV6B45G11KSXEGK3P3S6DMPT3TNC0FBE6 }
{ amount: u4925742410000, recipient: 'SPE5HDPQGE360QSRTA7TQAVVX3DTV44530J1WH1X }
{ amount: u4886799730000, recipient: 'SP1HPJRVNHX4BJ7YYM3PZKEZEQMWEJVJHEC805WCS }
{ amount: u4882796660000, recipient: 'SP2MNDCB6DAN4NRS377N9WSS70F9NCQBZM29ZX50S }
{ amount: u4864112000000, recipient: 'SPXVATX5Q80SRN2SBBTT1CZVC9ABQXRY8E4Z459B }
{ amount: u4860127170000, recipient: 'SPT08KMYH99PJ5ENJK4RDRQA9H9ZVG29BY55GQXV }
{ amount: u4843634810000, recipient: 'SP1HHSDYJ0SGAM6K2W01ZF5K7AJFKWMJNH365ZWS9 }
{ amount: u4838693480000, recipient: 'SPDXRNJ3DHVXMM1DHVCNDY7ZG8BENGEA0DHXPATT }
{ amount: u4835340350000, recipient: 'SP1W6KDFV923MJ8N21ERW9XF6AF8D5209S8G3XTR0 }
{ amount: u4834409010000, recipient: 'SP371DN10NEWXV1358VV36C9ZE9F59JT2VDRT3CAV }
{ amount: u4820195310000, recipient: 'SP17D32T9HAC1J9Y3F4R3R3Y6SC1JAH4GMDH3JEBN }
{ amount: u4816035840000, recipient: 'SPMH787PZM864PZY2AFVDDW9W9NMWMFXN5A8TQVZ }
{ amount: u4811157320000, recipient: 'SP19J34B0X3XQM4KV41X3BF3NX50PE41JPSMNXT6M }
{ amount: u4802693040000, recipient: 'SP2NK8MMBBH7Y0CY3DJ15DD2NXAG9MTCBS775NJQT }
{ amount: u4797311550000, recipient: 'SP3J03PP7CW33BVC37Z7B08N0CR4Y80D0S1CPVCNA }
{ amount: u4794782250000, recipient: 'SP350D99ZGHXBQ2V15Z54Q9T9M2MHH0HNRJ6CN83T }
{ amount: u4793496980000, recipient: 'SPPVT05YQ1YYCXAZW972ASJHASXP5DCVY4X90B88 }
{ amount: u4771232060000, recipient: 'SP3JD1P6KSMHFC2Q08YF4QYHZKKKPQ0XE1069F4X6 }
{ amount: u4759175000000, recipient: 'SP32BWENYAXGS6T2Z5041Q2NZ48HWXRNCE2SZ95MC }
{ amount: u4750569760000, recipient: 'SP2XNSW4DSWVY0E7WRXVGW6K353QBTE2J0T14CBMC }
{ amount: u4736205760000, recipient: 'SP3D119D24CHPNQVM8DC8F7H68P5Z5E9Y8N367A8S }
{ amount: u4731255470000, recipient: 'SP3JMZ639CGRTF7HPJQFZTSY4QV774RZNA066JAVQ }
{ amount: u4718991660000, recipient: 'SP3YTE5D8VX7MM9H212SQJ21CK54ZNE59343BV610 }
{ amount: u4718870860000, recipient: 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9 }
{ amount: u4715836360000, recipient: 'SP3WXWMD8NC947EASJCMCVT11YDDMBHPXT8WE9WMF }
{ amount: u4696764810000, recipient: 'SP1XNVE589XS82ZACC48H6813643WTFFK8TCK3MAP }
{ amount: u4696299610000, recipient: 'SPDBB2HY62JDR1KS4RH5KF0M37Y2F30KSSPXCFAA }
{ amount: u4683453210000, recipient: 'SP314228TP77PCRCDM0JXD5H7W9FV9QPK4XJ6HGGX }
{ amount: u4681829010000, recipient: 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ }
{ amount: u4677321790000, recipient: 'SPK752G0EKKQFTEVSEJK6AFNN501RMEMHHQ6KWJC }
{ amount: u4663537000000, recipient: 'SP9H6RW69EM0APP2EMXC1C8ZFXEQF7P0H5D6BMX4 }
{ amount: u4653676280000, recipient: 'SP3XD84X3PE79SHJAZCDW1V5E9EA8JSKRBPEKAEK7 }
{ amount: u4642466550000, recipient: 'SP7G47424441N1WCJFDFYMT9XWC0XRHD8KMS2T7R }
{ amount: u4599448700000, recipient: 'SP3H7M6W4938YA3807K32KB2CEV7JHEADYQKA3W4E }
{ amount: u4578631930000, recipient: 'SP3E0V68X6RKTK7T04T2FTBAT73GX5GF5C3YFC4KM }
{ amount: u4559677000000, recipient: 'SP1EV1P9X9XK4MKA749DH5JQ30Q5FG8EWDCC5X812 }
{ amount: u4555777140000, recipient: 'SP1VZSRD93EZ9AYMJJGC93S6ARG7WDV382Y81P8R0 }
{ amount: u4555467300000, recipient: 'SP1CWP6KEGA8NNRS50G2A0V1B53NBQDPZ1AY30FE }
{ amount: u4541300370000, recipient: 'SP1Y6AHH1HYYCFPYYQDCSPJ8XCZTWJ5A94XJERXM8 }
{ amount: u4527979350000, recipient: 'SP10M8GT7PEG3VKFN6VPJQA49MSRMNZWW6RASE5RF }
{ amount: u4526272560000, recipient: 'SP1DF301EQC86SK9M0TYD50WTR48A4K261B3ZFQC6 }
{ amount: u4525174160000, recipient: 'SP1T2SS3KZG63GC68DNQRE2JKWE42STT6S4NJ61EK }
{ amount: u4503459000000, recipient: 'SP2AECGV9DQFTMX2AJ1QW9WCQGYB9DVNN0AHYWGV6 }
{ amount: u4469001440000, recipient: 'SPGW81QCQDB5RJYCPMDMY9K8DRSD8KGPFEM4799Z }
{ amount: u4452654000000, recipient: 'SP2K7MYKVDX0HGEBT5PWT81KX93569T72MXNMSTN6 }
{ amount: u4451477080000, recipient: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC }
{ amount: u4449820010000, recipient: 'SP2R126DG40EJ788NMERJANVD5KZDMHGCCJVCJEKG }
{ amount: u4427804670000, recipient: 'SP1DW2D361PXVM0VC3Z0MPTGAVC8RQYPAG19YSBVG }
{ amount: u4405503300000, recipient: 'SP29K40XKYX85CHXJ5Z02WR73FE44RY0GP5SP9G4G }
{ amount: u4386862490000, recipient: 'SPZF8ND868RS4917EKM04950BTY2X1HQZVQW8F8T }
{ amount: u4338271860000, recipient: 'SP1SYSKX2DEBRCR1BB6A6KF02TR17880XA1ESW82Y }
{ amount: u4333825470000, recipient: 'SPAV0VQHN75HVZ8XX24CHM17N7PJN94YSENZHRT0 }
{ amount: u4330402060000, recipient: 'SP32ZYEZGWHHFQ5RX2WMFVDXR77C5WWQP4EK7E6HC }
{ amount: u4329461810000, recipient: 'SP1BF7ZPYNMW2SXWV2NC9VDWQ0WW6NNV54GBK046T }
{ amount: u4302796740000, recipient: 'SP3J3TP12HJVF5A9F1NMH4YBTF1TQXT8BDVYQN75J }
{ amount: u4295568320000, recipient: 'SPD5PDE0DWD5DBYMNBWA0BK4CTAAKPNP8SGSN48X }
{ amount: u4290905870000, recipient: 'SP3DQ02X331H87XVD5DGHQWH02EDZZD52CCSFZ66N }
{ amount: u4275901310000, recipient: 'SPKDV1RDPK1843N6V6QVB79BEEHF95HP9VJ4JGTD }
{ amount: u4275725060000, recipient: 'SPPWNXEKGZ7NDKBWPHGHBYKE0YA4JS8K7NBPB0VD }
{ amount: u4253237640000, recipient: 'SPEVQ3ZNDM8G20YWBR8P2BYPGWHKSR84ZS7JWWYB }
{ amount: u4244351270000, recipient: 'SP2Q64AGTZ3H13G3DA463WBMNNBM5G63FT74JA48K }
{ amount: u4236394150000, recipient: 'SPD68MY3K1EMKMES68VHDTTBQNGMXVS82ER75W2E }
{ amount: u4228715420000, recipient: 'SP8P1DTT2S6WZDDMZHQYMM2EJPZ8X9SWS23R1E0Q }
{ amount: u4219480830000, recipient: 'SP2D1GJ9HZ3JH66V38450H7N9EKV0RGC5ZQYVXJ36 }
{ amount: u4219341190000, recipient: 'SP3P8ZZGXDD3BF4YK8Z6FWZX9JG97P5XA0676661Z }
{ amount: u4203620560000, recipient: 'SPXK7ZSTZ2ZJZ74ZCVGKQ6K98PTTGAHF0DEY69BW }
{ amount: u4201140690000, recipient: 'SP34A3VFFHHJ13DAKMBGB2QWXA5CJ51CFF8YPBPJG }
{ amount: u4200754540000, recipient: 'SP31N0R8GGBY9320JYN213BNQ0RXZMYDKC2Q9J6M }
{ amount: u4197701110000, recipient: 'SP7GS93E2RY8SSZHHVF3XDP0Y5R9RF18TYZG0M56 }
{ amount: u4192532120000, recipient: 'SP1SHXFCWQ04JA1EBCF62E05FN9B21KEA5TH180RD }
{ amount: u4186046580000, recipient: 'SPNXFZ7B52GMPGPGET9BF25HEE2G5BG3HRV5CKK5 }
{ amount: u4166700000000, recipient: 'SPT479DPJ7QHEZCWMEJ32BFEXJ4G41W803BFVCSF }
{ amount: u4148235910000, recipient: 'SP1K3FNTGVSTP64ATP57GDRCZFEH20TZRE19F7V89 }
{ amount: u4145036980000, recipient: 'SPWB869VGPD9PQ9D54B7P2Q5QBCF9K3ZBS2QHQXR }
{ amount: u4143413080000, recipient: 'SP3ZW40EN0XN0JVEKJ20656MSDV1JB4Z80DG6FEK3 } ))
(define-constant batch-4 (list { amount: u4139647500000, recipient: 'SP1YRFYPSPTPQJFDE07CNHQQ998QMAHG4K39HG71A }
{ amount: u4129718000000, recipient: 'SP110MDCB25ZK3ZF35ZFDN39XP0FB5BKB3A54WJER }
{ amount: u4099981890000, recipient: 'SP1J7GEBS8B863VX9Z1RC082EDD3J44ZSEPF0EVGT }
{ amount: u4085910970000, recipient: 'SP1RF8HQKYXRQEAKA0YR5TJCJRGG7KWMNBNXB1TWB }
{ amount: u4074978470000, recipient: 'SP38Z83DJEWXASQBN6ZMK0ZVGGPM9PKE7MNBXCJRV }
{ amount: u4074815540000, recipient: 'SP3CKZS49XZJR4XYNM6J3BC87E3ZY62KJJTTPBFJJ }
{ amount: u4062351870000, recipient: 'SP2ZWP1808CN0SW7J2JEEMBQRGMJDBCNCC1PTTKS4 }
{ amount: u4052638160000, recipient: 'SP1AW8SV4KTYP70GEC6BN82NMNNA1B20W3HQ1EZHT }
{ amount: u4041970760000, recipient: 'SP3V2MRZ98GV5MBEN3S0773KQ3050BVJH0PR933Z5 }
{ amount: u4041241120000, recipient: 'SP2AJVW26E2SX2WF3D9K6G7WBC3B82RRBATX0Y1JF }
{ amount: u4038215810000, recipient: 'SP3VHXYBKV995JZA7V41ND0CWQB3RMYDW8H94W513 }
{ amount: u4007009370000, recipient: 'SP1643H7WV3CPFQDYERT4N35ASKJBZ5PEAX1KXNPJ }
{ amount: u4006575430000, recipient: 'SPQNP3YBC8ACYZYH5S6MT1RW6297YG8MKZ7BE226 }
{ amount: u4005292650000, recipient: 'SP1PSWPPQ47REMV0DD2RV18VJX6R3W4CMAM64ZDDF }
{ amount: u4000011310000, recipient: 'SP1T4CHZ7691HSJ6XYQM430YMA0KGGG8Q6B118RY1 }
{ amount: u3980000010000, recipient: 'SP3G4PMTKD5QKVGANHXP7TDZZ26Y31VDT08E1VH66 }
{ amount: u3977860990000, recipient: 'SP3JC3EKSBWF35EAJN5FXAMRHMG0XAV6TPQYJME1T }
{ amount: u3974241000000, recipient: 'SP1G8APQZZ13XCE09VKMTSP051XNTWEPZPKM2K5JG }
{ amount: u3965608790000, recipient: 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD }
{ amount: u3959890890000, recipient: 'SP29Q8SY22JJ7PT7A3W2F01E7Q87D5TBY3SAYD205 }
{ amount: u3958589030000, recipient: 'SP7246886VMT1J3SHRD6JD7EWT9N9CXNG935302J }
{ amount: u3956798230000, recipient: 'SP3BYPEZZK38WA8GDZ88ZZ6Q310PTVQP93KADZC4Q }
{ amount: u3947924960000, recipient: 'SP3M36ZF1R49STZJ2RYNJR8WVC9KN3NVMV9QJ9H1A }
{ amount: u3945315000000, recipient: 'SP353KQ79D24G2Y30XYMFBXY312S9JAP3X4CT049Z }
{ amount: u3927834990000, recipient: 'SP3QGFZJMSY1R5T3P8PGJAXKX8PY904CKK67ZYDWJ }
{ amount: u3909241970000, recipient: 'SPKWD18XA6HDQPDXFJXRXW9QVGSQVX50PMN21BQV }
{ amount: u3897901710000, recipient: 'SP1GQKBVX6TTP1NRGB5FZXBG9CTJ011N5H7HH19V6 }
{ amount: u3895160780000, recipient: 'SP3MPWHT7T4TK8RCTGXEYWZGK2KEXQTS6KEX570CN }
{ amount: u3892203140000, recipient: 'SP39WTKHH436QV6BTS9EKCW64CFT2AYV7XMVTCY0N }
{ amount: u3876046670000, recipient: 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ }
{ amount: u3857484580000, recipient: 'SP21Y1DGHAYPHNK0B7WCN8CSV3D749FBHYY1PC2N }
{ amount: u3853140450000, recipient: 'SPQCZBJTACACZ64DWX7Q94N7JJES213Q8VZBXED7 }
{ amount: u3852895520000, recipient: 'SP2AAF9N3HS8E8Q81K91EGGVDTEWFBQCSWB1GKPF1 }
{ amount: u3839708090000, recipient: 'SP7JJDXRF775D5P5EZG3J64A64A2PYTPMPTWEK0Z }
{ amount: u3833889450000, recipient: 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25 }
{ amount: u3832500950000, recipient: 'SPZHYXAH8M0QB9E0CPZ2W7HRYT90WHMPW9PSJBJK }
{ amount: u3830255220000, recipient: 'SP1KTS13TBJ40A7CBQY2ZVX8GEHSY9YV4A4JWAR3H }
{ amount: u3825713040000, recipient: 'SP31GV34YVDR5A9QC2FGRSBP4FNCKZ094FDBFZXYX }
{ amount: u3821122630000, recipient: 'SP1BN3EQG74K8V9GDYZGC1YBM2YEEZ8S3JQ2Y48FS }
{ amount: u3820707660000, recipient: 'SP3679F31ETNS36KMG250SE3PJPT91B5Q3VVPPZYR }
{ amount: u3811271090000, recipient: 'SP29HP2KG28CMQ6K6GB8Y91MPSNR50WJXAADFJNHZ }
{ amount: u3801990710000, recipient: 'SPZ1T71H4KZ7DGGQED3VWT9BP58VFQS9RGQMT104 }
{ amount: u3799860690000, recipient: 'SP2HG965STSHPXKJE033E810RZFHGC63NY484YRD5 }
{ amount: u3787540630000, recipient: 'SPATA46R16BZ1ABDNEWX9W4G63KZKWPV66212X4Q }
{ amount: u3786864000000, recipient: 'SP27PMQWPBDV1XK9HK259XZNHW8B6XZJJXMNQCV6Y }
{ amount: u3768407190000, recipient: 'SP1CSWBBEXKF4GH170P90FXJS100KXW9YK42K5EB4 }
{ amount: u3748356400000, recipient: 'SP2YER0QBSPTXNYSH86RPP5Z9FH780169ET2WTQNJ }
{ amount: u3746135450000, recipient: 'SPG8MHQMABPKC01FV5VDHG67V25GYKYD53G149EG }
{ amount: u3740365730000, recipient: 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0 }
{ amount: u3729242060000, recipient: 'SP275SG72039J9S53FETA6WC2DNEXSBS6NYX215YJ }
{ amount: u3719839360000, recipient: 'SPJ9PDP577WG0242A47Z4QWYPATBVF02YVWXR28X }
{ amount: u3700330000000, recipient: 'SP1DDAVW26H74Y6C9KJAE1DA2QFNWJS3W1FCFR4W3 }
{ amount: u3697871760000, recipient: 'SP3N2WF4DGGDFH39QJM3HCPFWAB78PAA1W2JKGZ7B }
{ amount: u3693623660000, recipient: 'SP2ZJRAZHQ8ATSH1HS12THRFY6TPCS337ZN4GWPAC }
{ amount: u3692587380000, recipient: 'SP3P0PYJ5X74PTF48DVN9TJEDB15H4AS320F7QRA1 }
{ amount: u3688634280000, recipient: 'SP16PHRA6EYY8HBVQJ3N587N7S550HJ2G51H0XA3T }
{ amount: u3686416870000, recipient: 'SP01MP50C1M4F11REFE4N1THD3DY405D2DJKM919 }
{ amount: u3679383640000, recipient: 'SP1C8ATSH596GE9C2TA7KWDHNJJW2KH47J75W725P }
{ amount: u3678454420000, recipient: 'SP2A26R9X3S77D17T23WSZZGRE4127710XYKBVC48 }
{ amount: u3676021740000, recipient: 'SP17CWC8DXXA5293ZD8RS5SM9CKAFBH3234VC8G26 }
{ amount: u3669672270000, recipient: 'SPMYWTCQF2NKATKYYXMWXK440CE8A4Q1FSWRZ68R }
{ amount: u3650728970000, recipient: 'SPPVB3397H0ACS1DCPY3GDDR4S9R2E4FPMM693PT }
{ amount: u3644261580000, recipient: 'SPN6CM2SGNT7Q62PZ1PHFHGSSCS6PK3A8STYTE3C }
{ amount: u3637083800000, recipient: 'SP29RKAMSY8HNDC1VNBPWJVAN9C4CKG5J3GA8XJB }
{ amount: u3624214000000, recipient: 'SP3KA9ZX0Q789VEYQPT4BPQ6F95ESHAB0KXXTQA76 }
{ amount: u3614029510000, recipient: 'SPV3ABNM9XSCKPHC8SBA2Z0FZ6978DE7NVCCNAFW }
{ amount: u3595818260000, recipient: 'SP3W201PF93T9NVBBXAJ85GERXC3XYDW8Q07M17T3 }
{ amount: u3594421800000, recipient: 'SP18TXE53HRYQM1KW6961V4FS1C0VQ1JCABE09JCD }
{ amount: u3593076160000, recipient: 'SP2EWAKAGGPBD5P5S5A8TPJRG8SBWGJWP3MWCTAAE }
{ amount: u3590606890000, recipient: 'SP31XERSQDEADYRCBPG5B0JQJ1CWTX8PEFAX1AV25 }
{ amount: u3566497420000, recipient: 'SP3M58N61BB287VKDFNJJ0JTE7HFSV2WDRG42KMR1 }
{ amount: u3564476600000, recipient: 'SP2DF7QD87JQCMN4FWC130FJ03JMTQYXY6DDS4XXB }
{ amount: u3558266000000, recipient: 'SP1CH1E0MM4X8CQEXT3CG7ZV74CV6942M24SJMPE9 }
{ amount: u3550787210000, recipient: 'SP1BS038ANJVMES7JHZZWXFWJX2EEZ6NC4XN19VG1 }
{ amount: u3541663330000, recipient: 'SP31QXJ9N3P0HW7TVFPGXKGRY7FVV83JFBM08WHFA }
{ amount: u3539131360000, recipient: 'SP2JPCDDB900AEH4MY3X0KNAJRHSPDN78TN91HZFM }
{ amount: u3539123840000, recipient: 'SP1CSK89KJ79A399MVQ19B2EXVTDQSMB32S2J89NT }
{ amount: u3537100000000, recipient: 'SP2N9D84XSRMKS38R2JAYB1AAHY7Q6WCNEN64SN4W }
{ amount: u3522941500000, recipient: 'SP3F7B21T0T3XR3DWQJD0YFEAQ82WTZ25YYBNTKPH }
{ amount: u3511868400000, recipient: 'SP3SKH6YB515J76KVDHDHBTE2GQ4CV6QJHC5GJKRF }
{ amount: u3511007620000, recipient: 'SP9BEX97E4SC9NDCGS90Z3G8YCQ87PYVJC9340DS }
{ amount: u3494056180000, recipient: 'SP38J9VXM2B6WF0SKSSYMPK8Z9H39BQFP614KAG8F }
{ amount: u3460574090000, recipient: 'SPSP4RVA7Z3BDCJX6E6REBSJGV156NJJTB7HYVB0 }
{ amount: u3458461680000, recipient: 'SP1FW01SCC3F3X4382836R64CVG9ZN2YDTJS0H5D }
{ amount: u3454904930000, recipient: 'SPFZS2YTF3B6D3095C10B8S6RFF7W1RSC7VMGSX0 }
{ amount: u3454402550000, recipient: 'SP210FKEA0QAPK2TWNZMW2NPS92VQY4EGV4Y9QV0A }
{ amount: u3453992740000, recipient: 'SP2JF8CR9NPH53NXKQ4D45J0TBCPPVDH7TM8E84EV }
{ amount: u3447622070000, recipient: 'SPKYTNGA9GGY9VCXXWAG7KBA78M6HER1D4SZZJ3E }
{ amount: u3442658740000, recipient: 'SP3WK3ZTJ0GT56YK3W5DKHKVE6W862RFNM79SWK8H }
{ amount: u3430746060000, recipient: 'SP2DRXMBC6VKVCSSSJCM42G73BP56MNXNAEM6XFVQ }
{ amount: u3413940710000, recipient: 'SP2Z8QAAQ34SM0K1NEMMGX18FBVXG5JZ5HTMV0MX }
{ amount: u3404504060000, recipient: 'SP2JJK0REF9FW2A24JKHBVSPRX0XF80846WHYGPYP }
{ amount: u3399001530000, recipient: 'SP1NTYFH1RYT2Y38VKA7JHP7C09PW3ZEF1QG765YF }
{ amount: u3395840350000, recipient: 'SP3PG6WX96X2QAYCA70WVVZHBSQHMECW50W9AMCV6 }
{ amount: u3384973500000, recipient: 'SP1XY856KJQYT8WS72W6N0ZRZQB5AG35T08W6S8GS }
{ amount: u3379132500000, recipient: 'SPQNVCTRSRARV9TEBF74T6TTDWFPAFB2KXDBTJB3 }
{ amount: u3360301650000, recipient: 'SP9X50Z52TX1EYHGRAM9B12J567W0XBEPK0151X1 }
{ amount: u3351312100000, recipient: 'SPQ59ER2P1ZY75Y2SD67FF62BGB5BH7NSS39S2YE }
{ amount: u3313614630000, recipient: 'SP27AHXHBJG034FNRNS4AW8S8ES3N6KDTC6PHP8HZ }
{ amount: u3304974330000, recipient: 'SP1FED84NZYQVTNVB729A2Z85NJV46BMQG09XZ45T }
{ amount: u3303722900000, recipient: 'SP1MAVN1K5D9JJDVFK6RMJABE6NAV4K67G2SG34ZN }
{ amount: u3303583170000, recipient: 'SP2SWKTYYWC1FEYVMG59NWGC9Q95DW50SDTE8JEBH }
{ amount: u3287605090000, recipient: 'SP37F7Y92KRKEWWX20WN345MF5TEBNVW5JRSTFT4M }
{ amount: u3284563280000, recipient: 'SP16575P68HYHJSRC72D0PHG9214P86599XVSVVY8 }
{ amount: u3280584080000, recipient: 'SP1XBRF5Y408KCVCWNMEAB6NQZ6NDF1JWBJQKMVZJ }
{ amount: u3273643890000, recipient: 'SPZFZK2FGBW7C55H61Y2TT654JBJ7PYE6V7VKQ52 }
{ amount: u3264235800000, recipient: 'SP30YR08ZAC7X7DGAYY7E9F39JKS5E3NBRYGWYKTT }
{ amount: u3263126580000, recipient: 'SP3TXM2X6GH6GZW3CNYMC4WXAYNVB4RQ29400K65X }
{ amount: u3260237970000, recipient: 'SP3VDCA23YAZ2WGYXQX7ZA453J4TS28HHP15RCAH7 }
{ amount: u3259337330000, recipient: 'SP2DTTVV8GAJAECQRW48HAX3GCBS39CJR1MKC7YKW }
{ amount: u3259193610000, recipient: 'SP123BVJK1R23F8GXXW8A456YF4F7F44SD45N2ERE }
{ amount: u3255115480000, recipient: 'SP30EETKXBCSKG4AHJSKVKZ5C14VP674GNVZTQCER }
{ amount: u3252826030000, recipient: 'SP8EY6C8FHMGE91PA8J9WRXG8ZS30JSBY73MC6Y9 }
{ amount: u3249398020000, recipient: 'SP2JF9JVQ6AYYG3VDYYSM7B87DZTK2QAX783H3T5R }
{ amount: u3246812280000, recipient: 'SP3D9KYHRPCES6TM2KXNEB5HSQ0TXC2QBBMECSBY5 }
{ amount: u3241726980000, recipient: 'SPCG9P5R7TDKZ18TBA2PNGK64VQ2WNZ199ST41HM }
{ amount: u3240058800000, recipient: 'SP32FP7XPXT62A9BTFR3DDPRXYY9JF93JHR2SJR5K }
{ amount: u3232630430000, recipient: 'SP1STJXVXQZQ1PW5T5BDKF5FKDZH9TGZE0P5EDX03 }
{ amount: u3222976910000, recipient: 'SPRA74ZC3Z0MVHCDHJKGNMHWETD5GGA598WX7DRK }
{ amount: u3217511100000, recipient: 'SP3JPT2EP270B9K2DDXN37SD1K0X5YYWGWSRJVMTB }
{ amount: u3217385310000, recipient: 'SP12MDYKG67C4VEXBEEMPD2HWNAXTZ60NZV2HWWAX }
{ amount: u3217385310000, recipient: 'SP2HRBN4RHATYCQYH7CY25B82HBS2B3GSXANPJQKX }
{ amount: u3216170000000, recipient: 'SPSKVD357G8NVXM162WHQS81RQMKDYBH84S17XKR }
{ amount: u3209730000000, recipient: 'SP2EF3NTAYR82W4NZZZ64PY6KWHF60SXB5MTFNGQN }
{ amount: u3203982210000, recipient: 'SP18DW9VJ3XEXAW7B3X70Z4FHSB38QB13JYXX921K }
{ amount: u3194664110000, recipient: 'SP2K548MV7NBPRHDDW6SR6CWHSTPQE1DFB917D0XK }
{ amount: u3191924360000, recipient: 'SP355ZMJYBWWS5D7T1449WX84R8WR7WM4R69TY7X1 }
{ amount: u3190532380000, recipient: 'SP1TRTMMQ8Q9BS7WNYSZX4SW4ANMQR9M73R450VAV }
{ amount: u3175039740000, recipient: 'SP1RDK39WANP8FV784SHZRGCM9QJJEHVP3SA3NXTW }
{ amount: u3169966490000, recipient: 'SP3JD4KSXYDSQQS9T43JSGAWTFKE7QH7CA2CEDWP }
{ amount: u3167804750000, recipient: 'SP2KEWTPZC71SFAWPZM0FK946BQ84NF059XKW5FWA }
{ amount: u3149980060000, recipient: 'SPSDZZWCSQVF1K4X31A2MR5RYK30XN4QHGF5GQ38 }
{ amount: u3131714840000, recipient: 'SPAS1KMJXQNXMKBVZRPJTBBDQSXK01JDQ1MFK6N0 }
{ amount: u3128069720000, recipient: 'SP3YCZK8XQJ3WSZEK5VVM8XEX5A44CCH4A9DVNP12 }
{ amount: u3118989970000, recipient: 'SP297PNXJFZ3ZS9RDCXN9DT0YQWX0GJES2N5FZZAF }
{ amount: u3112867630000, recipient: 'SP3NAQQDESAA4044YS5RVZ0M59ZV2Z1CZ05WJQ3Q2 }
{ amount: u3112185870000, recipient: 'SP35V5E6GWMJEM7BMT8WK1ZHGPVP5NT9DZKV23D51 }
{ amount: u3105579330000, recipient: 'SP2ZKKMVY535QW0K63HKZ2AG9VR18PV72NMXQ1Z0A }
{ amount: u3100920520000, recipient: 'SPSYX3YF9EBMQ84PQERQ27E5EGNZTHHQCHKC6PYE }
{ amount: u3091419780000, recipient: 'SP315Q9B5A9WYX1EZ9B27BB3ZAR6YZYXMAG6AP5B6 }
{ amount: u3083895890000, recipient: 'SP1MRA7ZXQF2EH2QS7VPDYG0GH7NXQ9T3T0ZHG936 }
{ amount: u3083337160000, recipient: 'SP27GWJM8WGG1KNQT5F68GH2E0JXJ47FHD4HXEJ5N }
{ amount: u3075427000000, recipient: 'SP2DACDFFCHW2TX42R54EVVH3JCCMZ6MRV2TJWK13 }
{ amount: u3073819410000, recipient: 'SP35T3VRATM64YWPVVTJJ494FY184MY7XBDRT668 }
{ amount: u3073079780000, recipient: 'SPMNBH2M8NY3RM1G3ETGDXH35858VZWS6DTWFR7F }
{ amount: u3065597950000, recipient: 'SP15FWFKQ9G1PSMFNJSWQKD91GQBBD546W2GFSG13 }
{ amount: u3061939840000, recipient: 'SPRR18ME5P3ZEB7VSYFM1J3G2GGYVR2QYR9CBZA8 }
{ amount: u3044998820000, recipient: 'SP3YNSKA7PC6FGD6BYP032AW5X82ZNPAYGX89X7J1 }
{ amount: u3040957270000, recipient: 'SP2PC7XTMR1CBP1KWXEWWDGEQRCFGZS9MD40SRY08 }
{ amount: u3040591220000, recipient: 'SP1ZQ04T0FSJY3EA23JWB6GQA6EYA2QB9DSJWF48T }
{ amount: u3040300800000, recipient: 'SP12W70BZD2M0PXA4SW1BY3XM23NGEXKQQJBH6EFH }
{ amount: u3034670280000, recipient: 'SP5ZF3KWQVH5V60WM58F6T5D9MQV1731789P9J6K }
{ amount: u3034047470000, recipient: 'SP2XJCFE0MZB33AAP91ZY8TXJ03HMXCJPJD71AJCM }
{ amount: u3033571120000, recipient: 'SP2YE97WPR9C184MQ4RVM6AP1J629750Z1N48N82S }
{ amount: u3032456910000, recipient: 'SP3A5G45ZY5SZFSTGCJXM731RM8EJDAB672RHDBZQ }
{ amount: u3029791740000, recipient: 'SP17HVH4F9FYX990P8GZG87RA4G8X1ZJEZ3E54B0R }
{ amount: u3028105550000, recipient: 'SP2GQ6TYH9MHBRN0XQKPMC0EMV0878PKEMEM1SHYQ }
{ amount: u3027358940000, recipient: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3 }
{ amount: u3019408870000, recipient: 'SP160ZZ9QG10QM7JV5YBC0AWZXQH5CED7EJDKZSCG }
{ amount: u3019366640000, recipient: 'SPJWYNHNRN1MJCX4185R7GNSX6V4WTSX9SN7DHBH }
{ amount: u3013491310000, recipient: 'SP3DJGW188X2VF24A4CD1AMDKXZQRCVP0JEW89BWY }
{ amount: u3005527960000, recipient: 'SP3KG9D3ZYEHD3GBB3TWETT0F2TJ3ZDKBNZMV8APW }
{ amount: u3000500000000, recipient: 'SP2F95WN29EZSACQTSAEZH7GEEXCXD8FBET0XAAFC }
{ amount: u3000080950000, recipient: 'SP24ED3A64CEBW1Z23V86AP95EAYXTQ4BQN5GRXVC }
{ amount: u3000000010000, recipient: 'SPJBCDJ4ET2QMP5TV5VERSKY51PZTV19Y94SRMVT }
{ amount: u2992635000000, recipient: 'SP3ATDNV57KH1MGFSENFPX6YNXGXPTPNWZ3K0RSY2 }
{ amount: u2985142520000, recipient: 'SPZZ2YDFNRZXP6QNWBX4F7WZHY7X9S67K44G2D3G }
{ amount: u2978833550000, recipient: 'SP13T9WAF02JGKSDFXDVT96F26XHAT7ADPHTCSXCR }
{ amount: u2975714120000, recipient: 'SP7KNBWF1R1S5NFC73K8TP5Q6SHVC3XDXNESVHP6 }
{ amount: u2973474110000, recipient: 'SP5GX6PQVGYQKBFA3E9EWWVPM65SN5Z0XDDX3YW7 }
{ amount: u2972456840000, recipient: 'SP3DQTPXG5QQ6Y2AP8MMKCYJ9RJGG2CG3VQSKET3T }
{ amount: u2967909060000, recipient: 'SP34MZ759FBTA0YHWHQQJQEJ8G6C6B5MKKKZJTJV }
{ amount: u2964245530000, recipient: 'SP3CQKDTCWDEDFRP8F0D0RNY86ZA497BZJX9DPTEX }
{ amount: u2960129580000, recipient: 'SP2AMCQWW5NB480T9KFTZQHN335HWQBN9H72E3TAN }
{ amount: u2960031920000, recipient: 'SPRV332WRRQ6NB0PQH7NP9RE2N1JS10SHH4R1443 }
{ amount: u2951049760000, recipient: 'SP2C60TP6Q10HKC775ERXBKK96A2HC9BB5ZJBQ7N6 }
{ amount: u2941857880000, recipient: 'SP1YM02A75G983KE8W66A8Y5FV42DGWXZYEE3DTRS }
{ amount: u2925208950000, recipient: 'SPDKC8P5SDT96HD8BEBN8WX73RHBSAG2WRVCEXXF }
{ amount: u2923213400000, recipient: 'SP2ZDYA6KCDVD7TWDK6HMQFFKRY5PA74R9F33TG40 }
{ amount: u2920196160000, recipient: 'SP37SYR52VDP4BBVGN5JC7VXN6Z2QVRETD557FAA9 }
{ amount: u2904945860000, recipient: 'SP3C5W9RSSYG3SVP192DCQY4Z2WQWPJ9YEERKTPSY }
{ amount: u2903219090000, recipient: 'SPMWT5HT2GKETVG0CT429QNR1V8HEGA52AKG17R7 }
{ amount: u2899321810000, recipient: 'SP1VVR95BWF35KY592602WX1YH0YG302CBT8AJWZZ }
{ amount: u2898887190000, recipient: 'SP3CKA4G83GN1YW34GEFBKD608CHN6XJ9ZT16M0Z }
{ amount: u2870936130000, recipient: 'SP1V179F8W6DH069JXD7EYAYCSJWA2DKVMP783TC5 }
{ amount: u2850373400000, recipient: 'SP31PQMNWCG3EZ7SQ7BJNHDAXVFCVTMMS0SXMEVNM }
{ amount: u2848168210000, recipient: 'SPQHKHJAHZQPS2Z1QCR5Y003RV58TPQMQQPQPNNR }
{ amount: u2837518800000, recipient: 'SP1856YEM4C1PK2GM8MY7RN1NKB202VTERSE9VABD }
{ amount: u2837195480000, recipient: 'SP13FQRKXBE6HG0FBQXCV6Q6SB27FMGQNXCPEHKYS }
{ amount: u2825540140000, recipient: 'SP13QHRBET3ECDC97DQRH17T67SY3WQAQ3VJNPNBG }
{ amount: u2818770050000, recipient: 'SP3WFZMNXB3GPCPJNYH8FTWEB4KBKPTCZGAHB16S8 }
{ amount: u2816810450000, recipient: 'SPQFREJH26M4P3M8CTWE7CBPJ5X40H5R616FWQEM }
{ amount: u2814336160000, recipient: 'SP2WQ9F115GXZ2WT9JKVT48605C64JPV3MFXVX6QR }
{ amount: u2806715640000, recipient: 'SP1C2ZKC435C17A306CXKV60H556TPNPXRCK3VDGP }
{ amount: u2803107280000, recipient: 'SP22BEY5NCV2GRS16J9MT97E4GZWCXT48XNCCB1BS }
{ amount: u2802854480000, recipient: 'SP3NJ4BR35W8002J0PWZY0QNG9FTYZ32H38Z0PV17 }
{ amount: u2802495850000, recipient: 'SP2TK3WW67WS1DRZG3DSFDGE4MQW94Q4JXE1PD4CN }
{ amount: u2801279570000, recipient: 'SP1DRA6MWEWR2H1PDNFTGTBXXA04RQEKGAG0GQF4Z }
{ amount: u2798679280000, recipient: 'SP1C5YMHVE4ARYYKR2J93XT6FMCW3PW9TA3A2V075 }
{ amount: u2793078170000, recipient: 'SP182A5TQC0E1BNPKKXQW5Y17ACJC0PNM007AKY4Q } ))
(define-constant batch-5 (list { amount: u2792737280000, recipient: 'SP2AEEWM4XAPN9CTAGRRTT10JTE4VQ1YS1M07MG4E }
{ amount: u2788077860000, recipient: 'SP3DCV25CKJAGQ0KG7EATN43RV9CPQ3WM8X36VYY7 }
{ amount: u2779658860000, recipient: 'SP1KY1NPHY9AZRBXRFT72YZHDH0KA72RE8HG8BAJ8 }
{ amount: u2776284900000, recipient: 'SPSSBCHRPNEKJ2DV5YAZMPRKDHDS657Q8XYK6QYK }
{ amount: u2776107100000, recipient: 'SPWVF66KVNJX5CAAJ2THVV0DNFQDXDY1FXTAGM58 }
{ amount: u2775005380000, recipient: 'SP3S1B0A5A4HAS9NR5ZCRJYAZ1DNS5DF7ZR022C1T }
{ amount: u2774345130000, recipient: 'SP285C0MZEMWJ1PDPKBSRRCXRBB9ZDTAH547SPMBN }
{ amount: u2770600840000, recipient: 'SP3P5ZAX4JBD68DZ8T952E7782HTWSP8TX7H3DVMZ }
{ amount: u2760743320000, recipient: 'SP33YVGF9QZAX4KEZTZW219T7HCVKJ0N32AMYB9TQ }
{ amount: u2759360400000, recipient: 'SP33W6M66PB599HZ2WHGHY2GX45DN8Z1STWSENQVM }
{ amount: u2759003510000, recipient: 'SP2AXVCYC9NGM4GW7AADM3YTQBXKCN13P5CK400WW }
{ amount: u2743328560000, recipient: 'SP3JPPQZF2GY8ER99S2Q8HFHDAC7APZNSM0SH9SJH }
{ amount: u2738910000000, recipient: 'SP3Z4F5CSDC7G5Y4WGH4NM49KRMPM2TEJYDWCAADW }
{ amount: u2737946560000, recipient: 'SP7Z9GE9516X571DXWH4TYXPS38WZ6HFX7A1R88J }
{ amount: u2733563400000, recipient: 'SP1WECEZR38WHAZWKZDA28D9E23AE74DW83ADAE49 }
{ amount: u2733469470000, recipient: 'SP19JXPQPJ7PS9P12Z07CCJCN8KKH500YKTAKN8YS }
{ amount: u2732015240000, recipient: 'SP39MAVBMDPYENJJXZ8JA559P0EZXA1SDXHB0EWSP }
{ amount: u2731700150000, recipient: 'SP2EVAQVD20M1GGB8YVN4XCFXM2NH3FQVZ4R7P44V }
{ amount: u2730002130000, recipient: 'SP2QWSZETA3T9RYSQ9QFRZGWWY62TSFJEZZDXES7G }
{ amount: u2726713180000, recipient: 'SP17W8FC4KSR4RJ43T3YJ9KDRF1821QRE8EE6C40G }
{ amount: u2718918730000, recipient: 'SP2E78ADX6J7304S39RKBRPEACHDXP9KA9570SC1Z }
{ amount: u2716799740000, recipient: 'SPVYNW5P3SS28JYKHRQGTH1TNGNGZ22JY8EZV2HS }
{ amount: u2716217510000, recipient: 'SP1SXQQ8W8YQ4AC0P7VP0D5K09D118HY29SDFQGQA }
{ amount: u2710169000000, recipient: 'SPT5E6JJEFAKZZHMJJ4P0N6M6DRT9DPX48ENX139 }
{ amount: u2708711300000, recipient: 'SP88VYYXB6WHM1NRPNJBP9ZMB4TPVJWNCAY3R1X8 }
{ amount: u2708514720000, recipient: 'SP3GJTZDD8XH41G1MR62PNPNFCM99JKZ11FE0CKZ5 }
{ amount: u2704582310000, recipient: 'SPQG1DJ5KAE0Q8PBZK1J3XC71JYC740MECGBRPSJ }
{ amount: u2702661800000, recipient: 'SP3WRAFEVWEJAYPE67P7R0A5FRNG1R0ZZC805PP26 }
{ amount: u2694782000000, recipient: 'SP330EMRAK5X2JWDS5KE70T9FVS3NDGFYP2A4AZX5 }
{ amount: u2692977620000, recipient: 'SP1NP8CYY1XE9ZB132WFY33HS0EA692Y0V2XBNWPF }
{ amount: u2689905220000, recipient: 'SP12XXNK164C3DJANZ73X2YDNYW0RXEFEJEN3V1X9 }
{ amount: u2684525600000, recipient: 'SPADFSEZ94D06AWBFV2HVW1Q0RJYRAYE5YW84G3Y }
{ amount: u2680383590000, recipient: 'SP4AJK2HBJGNAFQPF6QBED7M6J0K1AE4DZ72VPYX }
{ amount: u2677770640000, recipient: 'SP1GV4Y9FNA5QX47YGVVNNGT16X9579TKPX7MQ3E7 }
{ amount: u2673667720000, recipient: 'SP2A0AHSWNYPAS1KRNMEFQMV8WQ2KZRRW8DZC8Z3K }
{ amount: u2667707910000, recipient: 'SP2Z97ZM8R2DMANMZJZ0CVVCR0T8VF0JNEYHZW3MN }
{ amount: u2654971180000, recipient: 'SP4TR8NE28PGGSXP1A1KR7FQAXTDP71KF6HFW7XR }
{ amount: u2642525160000, recipient: 'SPRBAVNG30G7FH1KMJV87HXNWKRAWEEXRA3CEQTP }
{ amount: u2635772400000, recipient: 'SPACF33TFVV8BWYFW63GB06RZ5TVCKY4Q1NP0C6Y }
{ amount: u2632667020000, recipient: 'SP1X4873A1RPDW55HEHS6G1FFBE6PF42R52Z87FP5 }
{ amount: u2629836710000, recipient: 'SP31K6FESWWC6914YQ0CJV6C1CR772JFJAHNQDKMD }
{ amount: u2629469690000, recipient: 'SPD3CD6NJ2369XJJA173TS9S8YM2NC2Z42APAQ90 }
{ amount: u2628018180000, recipient: 'SP198DXVH653AFXYC620ZJXQ5HYCFXMWJ3YZDBWWF }
{ amount: u2621810390000, recipient: 'SP3BG3BB81Q38Y5MKN3XV440Y4VDNF46SZ6MX8Z98 }
{ amount: u2619620240000, recipient: 'SP2082R1TBJZF3BDVCB6103KYRH30EEW7SEQPH2S4 }
{ amount: u2619370300000, recipient: 'SP1V7FCDSS0G426B6TW8WVHGSE7KG4KY854EP74HM }
{ amount: u2611580550000, recipient: 'SP3XDG4DDWZSBMQZA5WNVZPR034GCGVHB1KBVPRXF }
{ amount: u2611472330000, recipient: 'SPG231PKMJT92BF4GF7YKXZ0GJBN6X3FFN6XYSPV }
{ amount: u2598534990000, recipient: 'SP2Q3VWQQDWR469QS44NF466GS6JCZ1D1Z4EF0KK }
{ amount: u2587618270000, recipient: 'SP2Q9J8G9DY83MD0BAXWPK97YPKMSV7Z7KRZZMMS5 }
{ amount: u2586490030000, recipient: 'SPC9YQ34Q1XCCC7XPRZ5CB2XF22JV3WNM7BMMARD }
{ amount: u2582560210000, recipient: 'SP3V3VNB5FMX5QCKRHBBHEEBFJBKQTKA4GQG0EMZ1 }
{ amount: u2582245950000, recipient: 'SP2RT43ZVG5VH12BTBS85RD8K8X9S2K04AZWGAP6W }
{ amount: u2577309020000, recipient: 'SP21ZXQHV9EVNQERT3FF676S5RRFF77CHQ9TK5FE8 }
{ amount: u2573567060000, recipient: 'SP2Z1WVYGECD7JY0SA9HKR10RDJBBQW9YGDK3PQ4P }
{ amount: u2563044760000, recipient: 'SP1S0DYH92QRY2A3KJRMDJ0XFXJP94MNMDEE32EKS }
{ amount: u2559665820000, recipient: 'SP1VGNTE6YZTWFQAE3J7WC8E2V2W6HQNM6NS1S3MG }
{ amount: u2558525420000, recipient: 'SPMC6KEAK0VBMF5NY687CBDD09DAWDPWVBHNBGSK }
{ amount: u2556828180000, recipient: 'SPHDWQH9H6QKV24Q8K9BZJ7JS0JSHF5ATKPJ9V03 }
{ amount: u2545434460000, recipient: 'SPBDB2Y6NNGWGA4ZDPR1FCSDGTN91S38TEBAXSP4 }
{ amount: u2539403100000, recipient: 'SP3D2JPP9369KN99S7H7652XH437MRAB4C2MEHV4H }
{ amount: u2535600000000, recipient: 'SP1K7RR1HEN2TD6Q9NYTECYSC11JDQ7R4GB1HSAHX }
{ amount: u2533166780000, recipient: 'SP3ZKR29VHTM9MDKT9G1KRBC0A8ZDCDMH8P8Q98M2 }
{ amount: u2526777290000, recipient: 'SPB53WFGQP7G2B05YRW0D3AQVFY3T7AJ5VH43V24 }
{ amount: u2520044730000, recipient: 'SP3AAKCYZQMVHPXTY1V122HS9SW7APB8ZFTQ4YKME }
{ amount: u2518983440000, recipient: 'SP26MB8Z1B8Y4ZGHP69XSXS8VNXFTMM8C3JJ2E4P6 }
{ amount: u2518689910000, recipient: 'SP1WNCJQSZXAW34CN1ESVP3BDJQQB4CS2RTX4JJ9G }
{ amount: u2516780940000, recipient: 'SPD7J8S5ZB6MPRRC4XKGAH2T969R3YCHQYKXKGG6 }
{ amount: u2513611200000, recipient: 'SP2JN8DJ2MS5K5QESFTQWSTDP79QYYYH2YSZDYVA9 }
{ amount: u2510351540000, recipient: 'SP3SRFPAW2MXEVQFZ1XT7QF79YCN9EQY9J3CH4X29 }
{ amount: u2509914930000, recipient: 'SPGD5A9FSHJXBF3NT2P6374W4KQHG2F95ZRHAZ7T }
{ amount: u2499600000000, recipient: 'SP2KGSME69C8KAF1RFHERTYPHHPQYQ922M1CZ5A3D }
{ amount: u2490023790000, recipient: 'SP2X5X4HSR9ABHSY60SR3JQXE7SDXQQVEKKKVAVP1 }
{ amount: u2478668040000, recipient: 'SP1M26JGHGZKGSTGMABA6HJH97DCN8ASVBP0SRF82 }
{ amount: u2477158910000, recipient: 'SP3QZQNWZTVMGQSQHN479DY49VZD949R162QDZ37X }
{ amount: u2476581790000, recipient: 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ }
{ amount: u2461335170000, recipient: 'SP1V4Z5ZGPME6M2SYVJATHJJ1T51MARWQ4AF3N5ST }
{ amount: u2456113250000, recipient: 'SP1GY63N98FWMVGRVSE1F7F2Q93N89YK137SKMQ5K }
{ amount: u2453057560000, recipient: 'SP10S3Z95TVDM9DEBGPS88WA4WWXG2CX4B4ZKQHEG }
{ amount: u2452425320000, recipient: 'SP1S3YMQTD1PRDKVZ7J5T03B162YW2B3AWMSRDCQ3 }
{ amount: u2452250920000, recipient: 'SP2ZNF0AW8YAJF0PJT5XK1MDE04PSGCSE39ZGSDX2 }
{ amount: u2450622890000, recipient: 'SP1Y07H03RX7DN1GCAGEN6W1S7W960HRH2P3S38RN }
{ amount: u2449285580000, recipient: 'SP2KD44XNHAXEPY4WXDQDCM596DNM68N29EGWJJ52 }
{ amount: u2448188110000, recipient: 'SP2EKKME6PTMAJC9ND4XB7QNQSQ61C0P4AFX84GTY }
{ amount: u2446736990000, recipient: 'SP3RZF2W4YMMQX0ZFEQY8ANW73WTYNFKCD9BACCCH }
{ amount: u2444087840000, recipient: 'SP2TB9BR1WQ8TZTACRY4MWM27KGR85VQAM8BK49NE }
{ amount: u2433865560000, recipient: 'SPWYD8Q03Y2ZP082NTTSSEHHBKM8H7ZC4FERZKB5 }
{ amount: u2432612760000, recipient: 'SP2WE5WTKEJ3KT8JD9HW8CKJ4EMZQ0DE8EQM1HP1T }
{ amount: u2405576140000, recipient: 'SP1Z0JAG083DEE8VQ5H1D5RJDCT5DVEGS212N4XX8 }
{ amount: u2399422150000, recipient: 'SP2PDBT3ZSPJ2M5F70SH0CDYAQW16BJTVF7BH35XF }
{ amount: u2397711740000, recipient: 'SP20F5HAX0W3AEG8M5C9J2880132CQTP6TYHSP04M }
{ amount: u2394977000000, recipient: 'SP1A4BPKR8S3ZDKT99101940GE2KFH3K25M03CXXP }
{ amount: u2393171680000, recipient: 'SP22DGADCDARESGJ1A9TJ1B8VMRW5BBSNGTW6P95N }
{ amount: u2379345650000, recipient: 'SP2YXD14QR1C3T3862W0VKDVG8P3XKMA2HV4Q5ESM }
{ amount: u2379153500000, recipient: 'SP23CK419ER1CPD7VRK5ZD07ZXPCKWKN9MM7X8C2K }
{ amount: u2372871510000, recipient: 'SP24668X0J4ARY872XTA62FP0DJK7E3ADJN9VE915 }
{ amount: u2371181170000, recipient: 'SP3GRXM2ZSE56Z4QAWN79ZA6ERST5N5RTG4AZZ2FS }
{ amount: u2370674800000, recipient: 'SP2MQKV2NHE3T26JT65D5N8X4R73V1R0KAR4X5Z5M }
{ amount: u2368300290000, recipient: 'SP2135K0Z51WN5WWXGYZSN35YWQCE6WDHYDXZGQKT }
{ amount: u2353644900000, recipient: 'SP9BZJYW2JRBP3BHHG3SWNNSYWFQ1QH4MD0XWG9R }
{ amount: u2344781250000, recipient: 'SP2NXAY0K6XNJJTN6QRYHQ7ZQ3C7E10D0FC2P179P }
{ amount: u2338597070000, recipient: 'SP3V6FVEWHH69QCWFAR561AN03QA0GM70VZA4D2WJ }
{ amount: u2334451270000, recipient: 'SP29NN7QVHTFH0T5JXK39HXZAX6B8KGQRC6H2PRSY }
{ amount: u2331163050000, recipient: 'SP3T6C7VT9GJAT0NE4XZR0K54JWWXJ52B9DFWWJK3 }
{ amount: u2327456200000, recipient: 'SP23P38R4GCMNNRATHEJWFJ7Y31J58GFW16F81REC }
{ amount: u2325294040000, recipient: 'SP1QZPX9AV99W0GQA9BN3H2KJSD562V03GSV7S2P8 }
{ amount: u2323378700000, recipient: 'SP9J6H2E4QWYQZPPQ6G8312F99C7GHHS89YA1QSG }
{ amount: u2320790060000, recipient: 'SP13A10ZABE5225C0KSWSR5MA2JPBVVK504R3VBT9 }
{ amount: u2317750510000, recipient: 'SPRS965VCPENNB30SEA30D06PY5WKRGXWACT23N8 }
{ amount: u2316674290000, recipient: 'SP3HPQXR8YCV2CEHPZ80V7PD6GM651VGYWYFZ02EG }
{ amount: u2315198930000, recipient: 'SP1VS5VBC354J2MAQWCMGYW1RDQ5RSRBYTC02WVR8 }
{ amount: u2314013150000, recipient: 'SP25SF2MPZZS8Q20QA3VTYJXTHAHCRNM5MSZYDNB0 }
{ amount: u2311916230000, recipient: 'SP15E1WRRB1W9N13V6WYAZFW7V7PRHMA7Q96J48T4 }
{ amount: u2310000000000, recipient: 'SP2YSHJZJ3TWNCCD1ECCYTAQJTAK6B3N67MYMF0X0 }
{ amount: u2309901490000, recipient: 'SP1MKQKDN5FS2XTWNXV107SGJTAXXSMC5332BHR0 }
{ amount: u2305601770000, recipient: 'SP2CTJ9YXY20QFGFTWRTQSGX1B94G7M4JDP8XN98Z }
{ amount: u2304595270000, recipient: 'SP1M23EDJ7T5TYCP7847F2KKD77GV29C8RFX35S5F }
{ amount: u2299237960000, recipient: 'SP2Z35HEZGTXWK4ZR4CAXJE41MF8NC5733AZYN8B1 }
{ amount: u2297161300000, recipient: 'SP109P69CX6CDKQMZ0ZNHF1T83X32X5HXZ7S3SNHJ }
{ amount: u2291205660000, recipient: 'SP2MV2YYRABTMK176E2CSJP1R3CVC7MS4HCN799T1 }
{ amount: u2290814350000, recipient: 'SP1JGPW1B6QYT8R5QJSZAY6SYGN0Z94D1P4PEA5R6 }
{ amount: u2288760000000, recipient: 'SP2XHWCYFA00BS5SFKB2C12EJ8GD3FYA0K844MBFM }
{ amount: u2288270540000, recipient: 'SP20D0488W9JE84DEMD4MBF4R692A5CZPZMX3BC2F }
{ amount: u2287113600000, recipient: 'SP27Z33TS7J7N6XRMQ2XNWE543WHXS249B9W1J874 }
{ amount: u2282787540000, recipient: 'SPCZCNW5MCZD42FWKWGGH9FH06TSC1CCYSF1959P }
{ amount: u2281530340000, recipient: 'SP2YGB4A94956QVRC21AY5JBXMH7Q7WBK7ZNAAFJ }
{ amount: u2281239350000, recipient: 'SP18DG3R5BV8ETK5N81PP6TFTX2G289GDVGJ4XR9E }
{ amount: u2279079000000, recipient: 'SP11C1SXK6P1F68GV1YHFFXWZTYGVA256MAZQMCB2 }
{ amount: u2278156450000, recipient: 'SP89DBRRDP9YSV76AH06ZJRS08EVJ4MRYBAPKPCR }
{ amount: u2277847550000, recipient: 'SP3291C3H0DC9SVZSS23TQDNB4WN88YPXDXJ4CMER }
{ amount: u2268829460000, recipient: 'SP1ATPETNNCVQ9GBH41B7K5654YN5YXNZJQHG6M3 }
{ amount: u2266767620000, recipient: 'SP7E41AV45WFZM6P01EF7CR996G91XZY5CZKWS6C }
{ amount: u2262099040000, recipient: 'SP2Y92G4K7T5YE55AYRE1HT03P86226SBPYB07WXJ }
{ amount: u2259645790000, recipient: 'SP2V21ZWCDVRTW1WHVWZ991D0WWHGCS2EWH725MZX }
{ amount: u2258444840000, recipient: 'SP1D573WHQ64HPJ9EFXNJCJ7V57MHMJWKX8SAKBE3 }
{ amount: u2256894650000, recipient: 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3 }
{ amount: u2252360690000, recipient: 'SP2T0KQAPPNVZZ072TPRBWAXBE5QDAWYYSGJY7VDH }
{ amount: u2252169720000, recipient: 'SPBH4W6YMGHFMJ1D8DVT19CG4SR0B95140W3XHGZ }
{ amount: u2237168070000, recipient: 'SP359R4N83V6M8WSR3CTE4XR5GEQFAA43FS0NQVYD }
{ amount: u2237168070000, recipient: 'SP2HJZ9573HDN6A374XSHX83VY52MB5W6GET56QH4 }
{ amount: u2237168070000, recipient: 'SPQBW1GG42D2JXVR2Y794EYZJD5K03VGJC6DKMS7 }
{ amount: u2237168070000, recipient: 'SP3CY3XQ1TJS1X4PAM6MGMXV6CDWFH1HM6EQWYQ3G }
{ amount: u2236706020000, recipient: 'SP1E262HTYKW0ZBAN2NNJDGKRP8NPR73739MZ3C5S }
{ amount: u2236320630000, recipient: 'SP2AGG1PGJAECMC4TYVSAETAV5A8D8JP71FS4V0GE }
{ amount: u2228713040000, recipient: 'SP3WC5TJ5B3S7V7YJJVKGC6APDXNTV9KBHGDQZF8K }
{ amount: u2218447360000, recipient: 'SP1BJKWZ618EJHDRC4RV6XXE72MZCKDAEWDMAJATZ }
{ amount: u2213584160000, recipient: 'SP2T1QF8EHK7N54ZC6Q07S65X38XFDKBZ780K512Z }
{ amount: u2210201370000, recipient: 'SP3RRQEH68JYNTVMJDC0W58PWQRGKDVATETPHCFGX }
{ amount: u2209849450000, recipient: 'SP121E3MM9MH4BEFYWZ3J0GM0526XJ6QEKTF5A282 }
{ amount: u2206631190000, recipient: 'SPA7VPTDQ054Y4YX9SB9BTA2Z40GBPVK9Q41QVPW }
{ amount: u2201344690000, recipient: 'SP21KD9F8MSBB6THP7FCEP15XE2RH3PVCXA7PBY9K }
{ amount: u2200092680000, recipient: 'SP3YZ6JJQG0W6G5CDK9YW2NK5TTGZCQV4ASSJC8R8 }
{ amount: u2196621750000, recipient: 'SPKADNRAH1R5YX16SFAR0M1NV9ZT7TNR2YE9TJDQ }
{ amount: u2191135060000, recipient: 'SP5M83S2EKT5QB06T20JG1VQS9WN6YVPW0JSK19N }
{ amount: u2186938520000, recipient: 'SPZH8SKGW4Y87PMV00AC0A5QCZSQ83GSHECB876E }
{ amount: u2184588520000, recipient: 'SP1HK2ATVYDZVQ150JQES25TGVN4QSV7RQGQEVMS5 }
{ amount: u2184412770000, recipient: 'SP2B4M6D4NBEJDDAX22SS34MEPJPPJ3T920V7RHYE }
{ amount: u2183922500000, recipient: 'SP362A9J3X48BCXPFMJZPB5YTBN7T06QJPTFMM4PK }
{ amount: u2183797290000, recipient: 'SP1VRK62JHHERJC68XK1AQJWCB64TKYWSYG0GN714 }
{ amount: u2183429840000, recipient: 'SP31T6E7HP4FB19VEWXQXE0ZB9E5JWX72JFPKPNTY }
{ amount: u2179879440000, recipient: 'SP3T01YZJWMQ2VDG20MGX23WKHE1XT12PHJGPJBAB }
{ amount: u2176074450000, recipient: 'SP2SNQHT55ZM0TBF7DD0TA39XM652QZ97E3CXN2SJ }
{ amount: u2173136070000, recipient: 'SP2P1F3ZG5GN9TG8WD4B2K0V0Q26WBXNB2W1S9A1F }
{ amount: u2171792370000, recipient: 'SP1KH10QFT0T9VWV6MZ0HS37CWDVBZ34GW7KN15DA }
{ amount: u2171609150000, recipient: 'SP2NBM0GJHND0F2YJAZA5SRK5VJHSA76TVEXM7WRS }
{ amount: u2171307330000, recipient: 'SP2DZW1E6R5NEYXRHXW1RS1M4Y55Y4M52T9633M45 }
{ amount: u2169597330000, recipient: 'SP20QPWFP553X3G9HAYKB31NJY2VVM52CAYPHP1GN }
{ amount: u2168268080000, recipient: 'SP2E74NZ3AEBR532CGTTA66SADGTN7XVHJZB9F9GR }
{ amount: u2165897610000, recipient: 'SP9R1DTP15B10S5WFPZVM8W2FDS6VXP27VA96CEZ }
{ amount: u2165146870000, recipient: 'SP39VM6P63X20JZ6WP0V8XJGBJAEBBP0SJS4CMFMJ }
{ amount: u2164020930000, recipient: 'SP3RHH6MRYNMDRWVVEZ0AW20CY6ACX9H90XMK8DZA }
{ amount: u2162589380000, recipient: 'SP23ZSH34VFD9WC6FVWYNKJAVME1SN89ZWHHR5NCC }
{ amount: u2161932590000, recipient: 'SP3NZCXR27Y7RWAHT6BNNKQKW7VH7D1E4CYE2NVVM }
{ amount: u2161805950000, recipient: 'SP2E0BGKYVPX1MVNECTKM6J7VP2JYH4TRN3KXA950 }
{ amount: u2158853100000, recipient: 'SP3HQWVGGWNRE7ZTQ5X2QA70BKKCDH0ZD5WFMVC1Y }
{ amount: u2158626790000, recipient: 'SPCFE2CM0H7BGVMYSPXBW9RD5TTHSBGPAEGS1Q5Q }
{ amount: u2158480260000, recipient: 'SP26HNVR9X0ECTZFS4449S4623G87ZBQW6HMT8QVK }
{ amount: u2148548320000, recipient: 'SPAGZQFY5APS8W8QBXNGGGFRZC8S5QCACH1Z1J68 }
{ amount: u2147386860000, recipient: 'SPJYG3K6ASHD9JGFAHKNCH5A9DYFNPET8P7XGX14 }
{ amount: u2147234120000, recipient: 'SP180H0HHZH7NV748CN9BXZ53YBTSKG0WDD0BZ4PA }
{ amount: u2145281320000, recipient: 'SP2VS41C9A89KXKS23J7B3SZ46H8SY1595KJHS6W3 }
{ amount: u2144986180000, recipient: 'SP16C5F4Y5HKMPA2DF9RN1V7AEVMT16GRPJ8QHNDZ }
{ amount: u2144932170000, recipient: 'SP35ZPRFSCA52PW0P9N52D2AWP9QWTFH8RFM23G44 }
{ amount: u2144923550000, recipient: 'SP3JYTEYFKCY12WTY7TNRCQ392D1WF0YTPV71P0EM }
{ amount: u2144923540000, recipient: 'SP2V6GA6NG02B6PEWAXRR00DX8QAJ7CYS2TAZ2323 }
{ amount: u2142912210000, recipient: 'SP3SYN4DHFRER6JV6N31AKGHY7G7PJDZF8CKX1BEX }
{ amount: u2135757630000, recipient: 'SPNWKTEVFDBD3F2RJSSHSVW9DEPWJCBD9QYSHCQ5 }
{ amount: u2125277230000, recipient: 'SP1BV81K6653323QQ50S3ZYJMRATX59MT0P3HZGBC }
{ amount: u2120538200000, recipient: 'SP3NR1PEQ4MTN18R2C3HRWC7ZZVNWRTVQPW1MBY60 }
{ amount: u2119741290000, recipient: 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD }
{ amount: u2114947830000, recipient: 'SP13VHAWRTVPWTDB44XE0M3FNMXNT9GWWVR3JBSED }
{ amount: u2113938650000, recipient: 'SP3DWG5RCJHWNGJDMZQKK7Q26J67AW7K1V1F4GRP3 }
{ amount: u2109545000000, recipient: 'SP1JGCHKT1D07TH7KNGT1R58EPKNEHSMD6P189TKQ }
{ amount: u2109200000000, recipient: 'SP1VR249R8JDEJWR5SHNS665WWBXZPPPDKF81S2SY }
{ amount: u2108656920000, recipient: 'SP1P6EWTWF1VGGGV7YSB9YD4CS1ZBWET4ZHZ1RYFR }
{ amount: u2108012550000, recipient: 'SPK9D1KEEAYZGPYNP83TSKZ8EA1JKMNQZSE58E0H }
{ amount: u2106472620000, recipient: 'SP19QEN22M9DFX73M45Z9EVHMFXFEBPNB8WWBB9HX }
{ amount: u2105998360000, recipient: 'SPTESP9WB2MNVS6XX6YETT3AYW9TQ51DGENPN5Q }
{ amount: u2097685940000, recipient: 'SP5CHCJ4VF3W1H6V81QHV5SPZ5VPA66JQ0JSVS2E }
{ amount: u2094668640000, recipient: 'SPWXGENRZTTV3AVXCR36A6NBEY9Y474A0A7V8N8S } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-1))
(try! (contract-call? .token-special-vote edg-mint-many batch-2))
(try! (contract-call? .token-special-vote edg-mint-many batch-3))
(try! (contract-call? .token-special-vote edg-mint-many batch-4))
(try! (contract-call? .token-special-vote edg-mint-many batch-5))
		(ok true)
	)
)