(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-46 (list { amount: u11211554500, recipient: 'SP3JGTJEWXJM3H74RVCWNJZGSCW4V48Y7A7PRD7M8 }
{ amount: u11205196100, recipient: 'SP19E8KN4565S1QYS650672YVEHPNA3V3V5QVSVC6 }
{ amount: u11197310900, recipient: 'SP1J97HF7KW8AAW1MPKFDMPJVACM6005TBH1MP1ZB }
{ amount: u11188981700, recipient: 'SP3M34E748X20XSF2ERAQ8DV7RD4VZ793G8YW9M0W }
{ amount: u11181809400, recipient: 'SPFAGK68CBP1Z0C86JSBXEWMHBWN0NVAWH5K99SN }
{ amount: u11178105700, recipient: 'SP3PQ5336D2VD37T4JCHS497DY61Z8R2RASRZ3X4N }
{ amount: u11167480700, recipient: 'SP2A9A4ART4EMP2AHK6EKNEDJWS5CFSWCZM4VC15 }
{ amount: u11152020200, recipient: 'SP5K9H2RV68VGC4SMTFX8ZR53VPG462D9PM61GK6 }
{ amount: u11151344400, recipient: 'SPTSFK9FQ4JXQ2F43003MZPFDH033Z8XTG9YVSRD }
{ amount: u11145982900, recipient: 'SP2XNPP7RQT4Q776BTQJP04RXZZTW06PRF4A0AA27 }
{ amount: u11134918400, recipient: 'SPSFP3ZN23X3FKSTV3BRC3PEBQB46S23HC7TVNSP }
{ amount: u11131697100, recipient: 'SPXRH5EMY3QMD19PNGS5KXP9G6NG3HMC8E36R2PP }
{ amount: u11106533100, recipient: 'SP2EPC5N50JTBRJX5ZY0ZZEB23FG1GCSZBKQWN5BZ }
{ amount: u11101119100, recipient: 'SP1RXPS7ZHZGBTWVS9THY7PVJ49JT3EAAKYD0C2G4 }
{ amount: u11089091800, recipient: 'SPZF9JX34G4ZEYEJAB2C6KNP7ES17W4YD8AYVD2K }
{ amount: u11082686900, recipient: 'SPFP2QSMATN57J77HWNEPB5DTRC8R5HT3WSXD0H9 }
{ amount: u11080831300, recipient: 'SPS60SW4209MWZR6RPQ67VYCRE6S34NS2RSCV4X }
{ amount: u11080125900, recipient: 'SP1E9P7QZDD4JJC6P5X1MYH4DVAP4Q9QZ9HMVKCQ5 }
{ amount: u11074446500, recipient: 'SP1QQACEKFYKHXPZC4FXX9PZPHWG19BV7BVW8Y21Q }
{ amount: u11070032900, recipient: 'SP2WXNC24W62N86GAQ6TN2501DBT0RXCHN2VZQ7YW }
{ amount: u11057580400, recipient: 'SP2XRTY2A8C0G642RAF1MPZQ1MQ2WFZDK2D7ZXAKT }
{ amount: u11056717800, recipient: 'SP25E7Z8H2ANKJ14TFGZ0DYARVXS9TR978FMH9N4F }
{ amount: u11056363200, recipient: 'SP2M5ZSGP5GJE63KD5G0D6A07WZ0Q74ASY5PP1855 }
{ amount: u11056354000, recipient: 'SP32TH28R30D9FJF17HV4MDT4DNY0MVPPVYQ2YSDZ }
{ amount: u11054522900, recipient: 'SPFR53QXA4WE772QXE3R96AF2ESAAKAA4TK054KR }
{ amount: u11050753600, recipient: 'SPTNAQZWRMPFR9HPGN27VE1J722J3726YPY8693S }
{ amount: u11049807500, recipient: 'SP34THPNDD9WSPGM7CM2WWSS6NAT906WR41NPAYXZ }
{ amount: u11048193300, recipient: 'SP2Y7K8GZ2PFSFE7MCQ21A1XZH5NPFQXAYPETECJV }
{ amount: u11046638300, recipient: 'SP3M8HEDAN878JJVG22MW48C2DVANTZWZ8820P7GN }
{ amount: u11041613800, recipient: 'SP25BSWYRPHEDACSS9S1PV33V2C7KMH84EXY4P2JX }
{ amount: u11035846800, recipient: 'SPKXH9814AV5H5H73G638ARZ04CVKYYXQ15K2GXJ }
{ amount: u11023956300, recipient: 'SPBSQE72P0G86XT2N5KM8CZMS9TX9XEDPAWKEHD2 }
{ amount: u11018514000, recipient: 'SP3856SQX1X2KDVQK38Z209CJBMS4R07X7S4GDK9X }
{ amount: u11016410000, recipient: 'SPCD88N3NT04J232FXRFPWN596NZKJA4PMVFZ6Q4 }
{ amount: u11016207300, recipient: 'SP3M5460BQ7VSZQ29YEG6188AF2290FMVAWRSGC6 }
{ amount: u11010333300, recipient: 'SP2X71H3QFQF6E5C0FEFQ5ZBCH6H9A7KRW47CANGY }
{ amount: u10990150900, recipient: 'SPEV7DGMCVEF1Z4CYDYKATBNWSYZPZSZ49Y51WCW }
{ amount: u10983886900, recipient: 'SPDNQC0MHWHP6QFG6H086P1P23YJ2VNTBWG6A6D9 }
{ amount: u10983282000, recipient: 'SPTJKQW239PVYB012C60Z60N4HD9YN7RA1ZDGS3H }
{ amount: u10975614400, recipient: 'SP2GKJ99WNQRP94JM8HTK7H59G114YH2ZNPQRVPPK }
{ amount: u10962422100, recipient: 'SP793M85NG0JYBTS51G1ZXJ3ME4G8AEJFC5PAF17 }
{ amount: u10950000000, recipient: 'SP3MWPVN63EGNK3W3V11BRMDSVGQ4ABEKB4Y6WP1W }
{ amount: u10948407000, recipient: 'SPHDN375JDERBEBKSZ61D4J677FQNQ6VSAER51H6 }
{ amount: u10932731600, recipient: 'SP2XXPBASYWKAZWQM0121DD2TRDXSAF5J6AS4BK3T }
{ amount: u10900196900, recipient: 'SP1FR6197WXKHD7X286S1BFX6E3SBFFW9FFB2XTNC }
{ amount: u10900000000, recipient: 'SP1MQ0GHRWYVHF5EC951AMB2W7PFFY1MMVAQDS6HY }
{ amount: u10899732600, recipient: 'SP11QZRK4RFQTT3166AT5PSHVY2VMZF5DH33PF7XN }
{ amount: u10894389500, recipient: 'SP3N2RARPZ4FZP7JHJTXF30NAHQ0T9EYG4QZG4DJ5 }
{ amount: u10889780200, recipient: 'SP28WGCB2DK311HWDVSWQ0JY87X6G1WSMXCGRVK2Z }
{ amount: u10880010000, recipient: 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ }
{ amount: u10873951500, recipient: 'SP100F8KCK00HC7TP6V3SYEVJ640WZ08CZH6QBSZ8 }
{ amount: u10873054500, recipient: 'SP1XFGE60XJGH6202GTJV5RHWE13WP907Y3DSANM }
{ amount: u10845488900, recipient: 'SP25C9ZW80347XQ19K0NXW2PRGRZH2F76GN4TX82D }
{ amount: u10840816200, recipient: 'SP8PGZM7AZAA4BB82T2D6X5ZP5XEXPTYCAMPAMF5 }
{ amount: u10832041400, recipient: 'SP3X5TGW7M6SN0R25GV4MCZ45XZBK4PGQYV40TV95 }
{ amount: u10822974300, recipient: 'SP8HHTB8AFAMVZYJFZW9Q42WNM9F5FV5WCFZMDV8 }
{ amount: u10809605200, recipient: 'SP7ZWSV4M7NRSWKWRA904AVDZXVXGKA814C5HJ6Z }
{ amount: u10806221300, recipient: 'SPWJV0TEPSTF1WFP19Q2TA3AQ94SAJXPX4VS14HY }
{ amount: u10789696000, recipient: 'SP372757V7QYK392BE4G27S8B354KW7Q1BRSXSQY2 }
{ amount: u10787123800, recipient: 'SP109FDG2PG3RDC5GH9EQ975JX8NGBHJTR3P055ZB }
{ amount: u10776566200, recipient: 'SP24CKHH8QBJ276K83HR0RC01A0E4HENVKC46P6P8 }
{ amount: u10768253100, recipient: 'SP2P3JXBQF0RQT2JYGV6TPGT2SQM0WFC6BF1NDA4A }
{ amount: u10766713000, recipient: 'SPDW3PJV6C69FES10HY97Y1RC2PZ4PWDF3958DTB }
{ amount: u10766057300, recipient: 'SP1VQFHERDY5CBWCK5QEFKKYJD9JVE7WFDBWTP4TT }
{ amount: u10762616900, recipient: 'SP26JBBD9T53Y4YD5MDHWAC80CJRNS6TZRG5ZR921 }
{ amount: u10750802200, recipient: 'SPM4Q7YVE8S7R33H474MWG2CYE4G6827S7DVAC9Q }
{ amount: u10740613800, recipient: 'SP2P04425Q1SARA2T90SAM6YAXAZZX96K6X248S1D }
{ amount: u10736440000, recipient: 'SP15GB7FQAWPCJ79R17D2H4XSD77P5VQD77VT5TP1 }
{ amount: u10725844400, recipient: 'SPGM0TNCHH60N84E9F3730GV9TKTN8BS8NT3M9P8 }
{ amount: u10724621900, recipient: 'SP22DBW6ZVZJYJ5W697RB22ZZPW2T5RG1MDGXR9GT }
{ amount: u10724617700, recipient: 'SP2Z9G7XHHBGMWD4TYQC01102EKB6K08NAZ1Q7C4W }
{ amount: u10724617700, recipient: 'SP3EXRZFMDQ4EJFWKB4EEME15VVBNTKS3P09XN28J }
{ amount: u10724617700, recipient: 'SPCCVPPR0Q8HBSZ1X7CHFQESJ9F4ZRSMG7SPKVCQ }
{ amount: u10724617700, recipient: 'SP1W9B60RP3CM50NMSD01A689DHB2QTZQNSHZTCD0 }
{ amount: u10724474700, recipient: 'SP23MS57X2WH3YSXE8MJ1R0STD1EG2K5EWF78EGXD }
{ amount: u10715819900, recipient: 'SP3RJJTZY19WP6DMFNXWAJ2E6MNPNRW3VB7T8H78H }
{ amount: u10700000000, recipient: 'SP3RN3B13QWS4XE4YJG467018H9AYSJRXZG9JXHH3 }
{ amount: u10700000000, recipient: 'SP2T11N6JAYJ0HMF339R6VTTAPPC0C02TE4F5AB8S }
{ amount: u10699102100, recipient: 'SP31EGA305AKWDCRC6Q287NHBQ1ZVR8KH9K28PKAY }
{ amount: u10687392400, recipient: 'SP1WPPFYFE5WRQJ0BMN509V1ZWSZM2JF62ZGPAS8H }
{ amount: u10680487800, recipient: 'SPX9Q4FW803M0EPQR0E7N74T49RWV1GWPF76V24J }
{ amount: u10660160200, recipient: 'SP1XP1NYZDM0HVKS7TD4FP3ZBRVTT5BEP533X0RAW }
{ amount: u10659631200, recipient: 'SP38J4Z5EWKMXEAJ9WPDN2T25Q6TPDB9EXH3TW12 }
{ amount: u10655000000, recipient: 'SP3W5PH699F4GVQDQSFS3KKSEVJ3HFXCYMBM4NH8Z }
{ amount: u10649200500, recipient: 'SPB1QVK2XDXWJPSRHW1TC59X9GMXJT6VB5WSNN7S }
{ amount: u10646825400, recipient: 'SPTDX8RRVHECHGET0A5AVD1XTVFHSA2KTMMCQPVM }
{ amount: u10640419800, recipient: 'SP3BAEVJZAYBD3F5WJCSEBT0TAX2G8XTKEH6FG6X9 }
{ amount: u10626089600, recipient: 'SP3AGQ5WH5GHA1J18B5AMVQVVT5D1JKNB8QQ6A2SR }
{ amount: u10622512900, recipient: 'SP2MFWXGECVK9KVT0P2CTXKT04A0WTXH1KVVB5TT1 }
{ amount: u10615365200, recipient: 'SP3X35B5W03X9Z57EB8H0EDPB5SP64B9VXEYJNM12 }
{ amount: u10609784300, recipient: 'SP3DPA267RZNHSPJFM0MYZF25W7GPT8CYDSCSVWEC }
{ amount: u10605623400, recipient: 'SP21587ZFWVNJ1VCM680PMG58D6MFXXMSE7SDAAZ3 }
{ amount: u10577775900, recipient: 'SP3H4EA56DKXVNDCM6YY25HFVR50QGJE7TG7Z068D }
{ amount: u10574267700, recipient: 'SP25VMQ9FT1MFGES0ZD3X8BS4CQ0WEK33PD3SJ2E0 }
{ amount: u10554402500, recipient: 'SP2324C0T7Q6T5NB2TMS9HMRQR0TWK4P0B7XMG3XD }
{ amount: u10546930400, recipient: 'SP2JZHCVPVRDW4B78A1TM89JW4N9QZMGBGF7TMS34 }
{ amount: u10544960000, recipient: 'SP2SDTZ268KX8VJSV647RT6CMBY0F05QR8FS5AGJY }
{ amount: u10544960000, recipient: 'SP239XC5YVAB6YFSSC19HS3NR1YZDPRC7RW0S7KZN }
{ amount: u10544960000, recipient: 'SPKGV2EB045K32CH79T4XPW4CG2MPWRXJ9MJXS2Z }
{ amount: u10539921100, recipient: 'SP3G9F71CM3ERDVFEXJMTVH0VN6BMAMXHBH8J95RX }
{ amount: u10532015400, recipient: 'SP2XH6ERS5C88YHE9P7BWZKT4V5J01Y7FWV0DM2NQ }
{ amount: u10526637500, recipient: 'SP3J7XJ806G6TC71ZB3E0297C7VMCSWJHF4375XDV }
{ amount: u10520732100, recipient: 'SP285KAX3WR4GWPB7B7QE82RAW9YX7H4K0BWJBX2T }
{ amount: u10514539100, recipient: 'SPK6S5RTT2C9KJAZ8WNE6WB22E158T8P1YBQC9YB }
{ amount: u10513492000, recipient: 'SP3Q1RTRXG4EECQ2BZGNS7J6JZRMQVXE45FFFPE7R }
{ amount: u10507409100, recipient: 'SP2G20TST2FWX2CVDWN1H3NMNMM9SWMT5ZHQJJYTF }
{ amount: u10506397500, recipient: 'SP3BE2G4V0Y0SRQ71W1QKX677ZES83HFE0XGPY4WZ }
{ amount: u10502227700, recipient: 'SP2Q4RDME267H16ET3QEP5S9J834D6Y9SQMW2GHD7 }
{ amount: u10501455600, recipient: 'SP2W1GRXNWTV9HHATX2Z409HED0V60GERRR6JTAJD }
{ amount: u10500000000, recipient: 'SP21NX2H6DR5F3RCR0A0HWHNRKZANN1AARZZTGJ34 }
{ amount: u10482993600, recipient: 'SP3JK5W1PGPBAV7E350PBWYE3D0XH5Y2B3SPWSZQN }
{ amount: u10477163900, recipient: 'SP3KWWDH9192VSK5PMX3M3C0QBGJKETR3CND0PBZB }
{ amount: u10474816800, recipient: 'SP18ZAQ7PG5TT63QAAYS5FWBEH6GAV5WX2503RWKE }
{ amount: u10473699100, recipient: 'SP19FPTFZMPTAJ3X4E91Y867MTEEY4TC8P193AJ1N }
{ amount: u10462919400, recipient: 'SP308BFX7YNMR0DHKB429326VJC0VXQ5B0KN1ZD6V }
{ amount: u10460000000, recipient: 'SP286ZR7TWXMFD102E95CRRAKPCYRHFKXDBN0MVZ2 }
{ amount: u10456639500, recipient: 'SP29RHWX5SKVV65K4BN870Y923M7YCFY0DY8RJS3S }
{ amount: u10452082500, recipient: 'SP353JJEWJFZ7DWTB4JAZED6HEH8492XMPB680YXD }
{ amount: u10449000000, recipient: 'SP1XGGHXD06Q2S9XXZKTV3V24Y4TM8W5KYV6HR3V2 }
{ amount: u10447339600, recipient: 'SP1QNDFD2PW70WTRKNP697YEAF6QJE60PJPCTW4CN }
{ amount: u10436551200, recipient: 'SP2GGPNSME28MQ14D69MV78KGSM5NBCBDE8AAV70R }
{ amount: u10420801600, recipient: 'SP2MT5EMC5348Q6Y16TPSB63M0SBA680S23XSNPSH }
{ amount: u10407409900, recipient: 'SPJPXJMGS2VSTRE012NH9FKTNZG3W7WQC0BKG9AG }
{ amount: u10403000000, recipient: 'SP2FBRRV0RY4NZW3T50S2MRTFS231BGMPZTJ11RP8 }
{ amount: u10393605100, recipient: 'SP2R1A5TY5WP4DZQ5DTRNYZQNCXD41NWZCNHDWHDP }
{ amount: u10393599800, recipient: 'SP21H8GV01CRSESFYKNRCH1M20RDD0R7TYHD73RWH }
{ amount: u10391385400, recipient: 'SP3M7RPEPEG5HDKK2949T09Q5H9KS2FJCW82TVPBQ }
{ amount: u10366432900, recipient: 'SP8XQGBHQVHKHBS4R1X4CFPFXGCHH594N9KENYWQ }
{ amount: u10365000000, recipient: 'SP3XBHTG7JMZST5HZNW5BDY5QH7D256JSE6JNGDYR }
{ amount: u10343843100, recipient: 'SP2X4ABCGATGPPPDDBJX315881YYP4EEFG47JWW2V }
{ amount: u10337975400, recipient: 'SP8EBJK02DPWWNP5YJXPY31GCVDBM065M8WV1TDG }
{ amount: u10337027000, recipient: 'SP24G17K759PWNQ1N9A1060QN5ZEMHB9J1SHXYA61 }
{ amount: u10326970300, recipient: 'SP13403J34CHYRC7RAKMNB8YEKPQCKHHWB74508MK }
{ amount: u10301573500, recipient: 'SP22JFTGT22E97VFX0ZS5KBPC6FACJJMR03J8YZWE }
{ amount: u10299415600, recipient: 'SP2ER94NC0P7R9X8Y2J5YSVP876F9NRZPCB9PG9AA }
{ amount: u10299088000, recipient: 'SPC0VJWCTMNYVZCS7NK297Q9MP2TG2GZZDJRXMGV }
{ amount: u10298359700, recipient: 'SP150GJWQXH1M8DHWM38T0AHFVAFN4SC2NJHDR1HH }
{ amount: u10290785100, recipient: 'SP3NGG2JMEACMYBG00TV4GF16ND919Q0XFN6A5ZY }
{ amount: u10279924000, recipient: 'SP1R0QC5YQK9T9G8VH2CCZXW6FC6K3S84JGHWAVXZ }
{ amount: u10278038200, recipient: 'SP1ZZPWV2H32M5D902TW7MNAPXKX2RBQ6NZDX9TYC }
{ amount: u10264864000, recipient: 'SP16FGN9DPZTA8YWWFKJE65C0S5ADV4A77HW65RJZ }
{ amount: u10261329100, recipient: 'SPPR5DSVJ55REJYNRQ5W21JXP3D8V2SQWFXTAM11 }
{ amount: u10245360500, recipient: 'SP91QE7P53SNV6N1R974GGDYA57946CR1N1TPR59 }
{ amount: u10243030000, recipient: 'SP14YJ7PKAAPP541Q27EP97RECCB14K3W60K7D844 }
{ amount: u10227650200, recipient: 'SP3FM9Q8KMFQ4M8CG004SENXP1HDXP0NV3XP1HM67 }
{ amount: u10227048000, recipient: 'SP5HP07QMBKG3GQSWJ8FN1D8M927VXF06033F0B0 }
{ amount: u10222227800, recipient: 'SPCJYN83R1YZ5156RKPZFHVZ8Z4PJ30KX4B902R3 }
{ amount: u10219324600, recipient: 'SPFK1T6MRQQ6NW6TTJYXQQEQYDMHCV7H4BKZT8DA }
{ amount: u10201818900, recipient: 'SP107SBMS0KQ4P0EFTD7VZGDC53GTKGV8PC9R17CW }
{ amount: u10200000000, recipient: 'SP3KB3BWPB010KW10TDMED69PJRTJXB7JBR2QM1FP }
{ amount: u10191541500, recipient: 'SPFZ13P90XA0N7K62T71MDDD6RZWC35E34B3CMVM }
{ amount: u10189006800, recipient: 'SPTC3DHHRF19K45X2Q2VRAV1WHJF6RD1WNAKEFB4 }
{ amount: u10187000000, recipient: 'SP1G7JGXCDDVG6TJG1EYD6TE02A0AKGSK7J26CM76 }
{ amount: u10171336500, recipient: 'SP2X674EGGN554GMD6HPKHC19AF48NN0VH944X6GC }
{ amount: u10168000000, recipient: 'SPWCGZ1XRHTMWFQWS6JKF9438PVWEB2C60W50RC1 }
{ amount: u10147657000, recipient: 'SP1VFQY4W4Q9Z7F7R4MX30XKCRVR17JQ323CT22PJ }
{ amount: u10147439400, recipient: 'SP3NDSJ16RCBE43GTYX3HPRGDR27JNXGDMR8421DR }
{ amount: u10137656300, recipient: 'SP2JXVVRRCENZKFWE63BCXKSGVAE5SRW6PQEFKXQW }
{ amount: u10137218600, recipient: 'SP2009N95GZJWQ7W6QFN4CXKVVCM3HKCY050ZM97Y }
{ amount: u10113760000, recipient: 'SP32CG63HRWCH78298H0WXQ3RMXEP9VSCV473X9YB }
{ amount: u10110405100, recipient: 'SP29B5ZK9TR3YR9EG4DM8N8SS0DA6MNGCZQBBNP66 }
{ amount: u10100652900, recipient: 'SP2R6KC39J7GCK8SRHCYJADMMX9JWAN3ZG39WCFS8 }
{ amount: u10100003600, recipient: 'SP3SVCBDQMXCRMHF1V7RYKZH5AW700G4JCHH7AXRJ }
{ amount: u10095383200, recipient: 'SPMG34NX8X7KX1HSASQSHJ1MQ1YR17FFRH4TZ320 }
{ amount: u10094612800, recipient: 'SP3VA2TGNPV3FX0CMG2W3XFE2NBC4AWQFD19ZWA89 }
{ amount: u10077343300, recipient: 'SP13JHNW6NJ89ZGRBGDRC7ZC0C8M42NJD5F072NF9 }
{ amount: u10071807300, recipient: 'SP3C2QX4AW5P1F4KBDW0Z1WAJ28CHNWSZ5P9EFPZV }
{ amount: u10070840600, recipient: 'SP3X2WBN8EX9Z7E336MJYVPS2NETTJQEEKBCQ76TG }
{ amount: u10066950700, recipient: 'SP20AS6RQ78SKR5WQY3VQZF73M6HRPDX2246XWCAZ }
{ amount: u10064738600, recipient: 'SPKRF80ERDT5N1QJKACFMDKVH2G2H0M9AZ8ZB52X }
{ amount: u10058803900, recipient: 'SP134NRMB3VPNN6HX862CW72XRJC8C6KSGKYXYXGD }
{ amount: u10058712200, recipient: 'SP2MMAV7YY42GQY03P0XTCKKJS4FMCWGT0XPG2WGK }
{ amount: u10058143700, recipient: 'SP6FAY4D6D9KNNH36TKP697JRPTAQXYPKQW87ET6 }
{ amount: u10049233100, recipient: 'SP1MRV9PCXYWYSYXWS6HB3DTJ5227Q9EM5VAEY46Z }
{ amount: u10046904000, recipient: 'SP25YJ9V4885M3HMYJ589HH225NYY43AFWGYR779Y }
{ amount: u10045582400, recipient: 'SP3MXRW8BM4SZ3AWH4PWT7ZW5CWE3V0ERCTRX6V7M }
{ amount: u10035000000, recipient: 'SPYPSN6QXZM1YH9DPJWVKZNJ6DA0306XMHHMPS0H }
{ amount: u10029143400, recipient: 'SPSEAXTXX69DJENP7799DGFXHC6F1FXA0083MFF0 }
{ amount: u10026553600, recipient: 'SP2A6ER4CKRKM6YBCCPV6A7J9Z14KVMZHHM7NSM5K }
{ amount: u10026298100, recipient: 'SP3ZK4ETRZHH28A813DSA50DAGHZT03GM1RBEHFE2 }
{ amount: u10022555000, recipient: 'SP33M3A0EFE52SRXSG7XXEF0B688ETMA2R7EVQNQK }
{ amount: u10022000000, recipient: 'SP2VQRS3HPGTDB68WAJS24SDT139N8KEVGHWA8TX4 }
{ amount: u10016065600, recipient: 'SP2C7NEV88NEKNKTPK7DJX3H8S4V1G4KPF4QGV1BC }
{ amount: u10015767800, recipient: 'SP3XQAD8A41R0KSGXMXZM2CGPSY20JVK7N8RC6H3Z }
{ amount: u10012950300, recipient: 'SP25R4ES6Q78AS16AC8GPW5CMN0QS1Z61GRRSE9Q1 }
{ amount: u10012217000, recipient: 'SP34PF1KTE3SEYCGQPXFAM4F5RHS38KCDCW90V9Q3 }
{ amount: u10011696300, recipient: 'SP32H2ZT412Z4RNR85J6ZSHNRGJ665SP1AAY3K25N }
{ amount: u10006173700, recipient: 'SP38RSFQ6SC77VFHB8TZ39M6EK7Q25BE8M73ZY3NW }
{ amount: u10000000300, recipient: 'SPXWASA6WA26X8VQ8NFD8ND4M3K0DXH3DMBT7DH9 }
{ amount: u10000000000, recipient: 'SPDK5T5C0Q49RG1SZCYM5CKMYYHPXC44GR6WDPX1 }
{ amount: u10000000000, recipient: 'SPZFXWY5EG0Z5X15WZYPA74W0CG8JPCGARHAP787 }
{ amount: u10000000000, recipient: 'SP7C6JCVYWHJKDHBAATZYWFBSCEGR89B72J8CJJ6 }
{ amount: u10000000000, recipient: 'SP9RDPXDNJZ54H6YWT8FV7VZ99Y5JCMZ8KTXY8JE }
{ amount: u10000000000, recipient: 'SP1PEP6EFZGWT1PG1TTD1GZ63DD19MNKY6F7F5NST }
{ amount: u10000000000, recipient: 'SPMFMZE6F8CXTHDPYQQ9QV0SCGP6XXMECYF34S4A }
{ amount: u10000000000, recipient: 'SP2J0QK1B7XE9TT0JXZSDPW2DC525GWAM8F23Y5VT }
{ amount: u10000000000, recipient: 'SP324ZM6FMH0A38NKGBH4KPS7S2975AHGM6AE87H0 }
{ amount: u10000000000, recipient: 'SPAKKY4BT5VJTHCBTTNH2ZDRCBQY8V8EBQM9JY1W }
{ amount: u10000000000, recipient: 'SP2J1ZFZ5BYTD7H7F84CCZ2B4HEJSBV060XW79G1X }
{ amount: u10000000000, recipient: 'SP2SM0Y2D5JR71NCCC94X101KNBQMF4CR678WZ9F4 } ))
(define-constant batch-47 (list { amount: u10000000000, recipient: 'SP3YW8ECKM23V24MV85P3TQS2MBCN8MM7D8M7J9R }
{ amount: u10000000000, recipient: 'SP1TGK8RKS20E80MY46MKCRY2S055E19HVQCPKJZQ }
{ amount: u10000000000, recipient: 'SP3GMQPEWSYSDFJGBXG24VNDRKAWHX57RC094X1A }
{ amount: u10000000000, recipient: 'SP8FDCX2K2MBFZ4MTFZTN68QQZ8245CEG9Q3DE2T }
{ amount: u10000000000, recipient: 'SP2828Q58V7AZZKCSW2JV2PGS3TTJ44YGRPGM2234 }
{ amount: u9999999040, recipient: 'SP3EPS563XJNK170J902C78ZPDPNXVZFWWCN7DGWH }
{ amount: u9996436090, recipient: 'SP3Q9A37TYWRWG2PAGR7NR5JWN61S36RR18KAGCFJ }
{ amount: u9991999590, recipient: 'SP5PPYM6NZWKW00VFQPY2RMDJ1QXXH5ZQCH0YQ83 }
{ amount: u9988498650, recipient: 'SP2GRMBMC8P34HDA8Y99H2A0G8PHVXN1BP8BK9KVC }
{ amount: u9987936770, recipient: 'SP10AX8FSYEG1P5GDZSA6C3MAWVAA8W05WD1C8WJQ }
{ amount: u9946880390, recipient: 'SP2ZFQK45QEHTSMK0PM27NRFH1EJX6484WZTMRQ00 }
{ amount: u9932312600, recipient: 'SP2VMGBH5JRH0V3S7QV6HQRASDTK0XEP3S1RCHC6 }
{ amount: u9930504130, recipient: 'SP113TQYRKXN2VJY69HYZ28CDBP83NFF8EAD4G4T8 }
{ amount: u9924682900, recipient: 'SP2M2JP7HZZJ1KJPSE3MC4SYW0XWN5RJ1Q3PJRZ3K }
{ amount: u9917435410, recipient: 'SP2W1G9TJPW2W21M6DXJKBFDX7Z8KQYB2S19SP4BX }
{ amount: u9909307780, recipient: 'SP1X0GB1ZJ93BMWMES92PRJ5K38AYZNF7EPD4GJDB }
{ amount: u9900000000, recipient: 'SP3XKP17E9FVYV5X050E8NPA3F1M41XG3VQVKGME5 }
{ amount: u9900000000, recipient: 'SPFBERG09B9WFRRG4P42KMZ5HWT58A671R2BT6JS }
{ amount: u9900000000, recipient: 'SP3H9YY3A769E2MERFRF02ZFJQEWW8AC6059TEF9D }
{ amount: u9884986600, recipient: 'SP1FB11C3QERHKSRD1J1D4J83TMPPSSC92HR91W35 }
{ amount: u9882657680, recipient: 'SP2ZN0HD4VM65K9381WV8WDP5SBQ2STE4194ZFZT0 }
{ amount: u9871916000, recipient: 'SP3126VBEJ2VSXGBD0HT920CWFSB3HSYYE85DG3WS }
{ amount: u9854626950, recipient: 'SP31Z6ZERB2JPX9BXMF5FVZKH8QNDTG4EJMB3DY2H }
{ amount: u9851023340, recipient: 'SPQXNKDBPDK3378YG4GAM3EW109T6Y8M67J5Z510 }
{ amount: u9840566580, recipient: 'SP1HNH3B7JMY8Q282YKTFTA14AQP2ZX2CQ374WRPB }
{ amount: u9839312590, recipient: 'SP249D88WABTZST719P24AQ0DBFSFN1W8EM78SJ29 }
{ amount: u9836564470, recipient: 'SPMNM4PET76RKHYGHKZGJ8MRZ0NAXXZKY5AH2RE4 }
{ amount: u9828087000, recipient: 'SP1EBPKACEAEBMF6SY8NZ54W709BFY39NCK1WK956 }
{ amount: u9811808470, recipient: 'SP11GH8SNBNWGEDV7BXB20R0M36SF3MG9SGYS9J0C }
{ amount: u9810391610, recipient: 'SP2C22P7AJTZ5N931TEEARCHMR72Q5EKCNQ38ZVC5 }
{ amount: u9808227100, recipient: 'SPGC3FE201PJQ8NWAMKE3MJ3M227BQPKVHW2MP1X }
{ amount: u9802674000, recipient: 'SP2H2DS84PX10S52SSJZ95D54WRCKJP4YY15QGC5H }
{ amount: u9800000000, recipient: 'SPBRCX7VZ559A20A3JF2P6RBSRFZ9MDSN6ZSRDTM }
{ amount: u9800000000, recipient: 'SP3H8DZ5PV4XGA4ZZ2ZXZXN3XSNNANATZKMB7AJ9V }
{ amount: u9784204790, recipient: 'SP39ZFP7ESENRWB1EC61KY0B2R2TXNAFCMN6SRVV6 }
{ amount: u9773560790, recipient: 'SPBBRXNR9ZDDSBGJ8N2GF0C477927TK8J7AVFPTG }
{ amount: u9772319790, recipient: 'SP1ZBS8MWX704AWG94YPJ4SXMZQHRBB5VPHQV5GGH }
{ amount: u9771000000, recipient: 'SP3Q1VW36FD1HF4J0EFRF2E486QGYNYJASB9PKDKF }
{ amount: u9770638710, recipient: 'SP6G65ZRFNX2RJ019PB11C8KA5FZ6GPXAYDPRA2Q }
{ amount: u9768808630, recipient: 'SPWKM6BVN637CSQV5QA421PNCRHQM9SM6S7TR5T1 }
{ amount: u9768453300, recipient: 'SP2EXT2XVXJFS5K9S0XXE1ZA9TRA0N6CZ80JWKD2H }
{ amount: u9761632440, recipient: 'SP3D2W2D7RCC4M8BPQY0XT1QWJR61WN45R2B29WZA }
{ amount: u9711109690, recipient: 'SP32ZD583PMAC87WWBAYDD3R5T8BB4SJFRV82K2SG }
{ amount: u9692639430, recipient: 'SP315EB701CA5WCQN9YD5PW8C3NBHR6PH8Y6T1K5T }
{ amount: u9691000000, recipient: 'SP1YFP0ZZR63QT7VCT2T9JC6FX27WQS0FEDQHXZH8 }
{ amount: u9690056800, recipient: 'SP3XJM36S86RB4MXP710KSD3TS9B17529QKEESJR6 }
{ amount: u9679747580, recipient: 'SP6R1EKY8QYG4MPWXT6NZHXCDZDF1RVMJMKMYN7R }
{ amount: u9675082230, recipient: 'SP3GYYTACRBB4DBKZG4C36Z0A8ETGX3A2PXVT72JZ }
{ amount: u9644139640, recipient: 'SP1K8CX5EEC7BT3FE5WZWQREHN09DN2K4K5VS93AF }
{ amount: u9638702190, recipient: 'SP18GXHXT6S0VAV360HV9S8YY0K1ZVDMW0CSC55V }
{ amount: u9632598260, recipient: 'SP20KVTXKBP807X77VYJXGYWZN9A5A2Z0HX54YMB8 }
{ amount: u9632290700, recipient: 'SP29A5W6DNAHWBZ1AW051K7CMJKX4SDBDB5D36M26 }
{ amount: u9614224640, recipient: 'SP8KTWT9ZS5X6Y5534MGCM4MD9VQZTG6AQF17T97 }
{ amount: u9607414820, recipient: 'SP1ADYV2DB7DHC80ATEW344HTNZ04SQGV56D40BFF }
{ amount: u9607389260, recipient: 'SPKN4EDZTDQQWJPF6TZ8PZ4CHPDC3R2A56DCYRS4 }
{ amount: u9604290280, recipient: 'SPM3FHN0FX79MBDYCZ6QWKHF5J43V8VDK6EFHY4Q }
{ amount: u9600000000, recipient: 'SP2KR9M4YV81BQJE7GKB94GS21G2Y8YE7P8BFK9JQ }
{ amount: u9600000000, recipient: 'SP8MN0GJ5YFPAV19ERR4HXBXH0VFZHA8QHSFR2VF }
{ amount: u9590002060, recipient: 'SP2C30YR0EG2EDGH79AW693BYE67YF72CGKVEXRG9 }
{ amount: u9577910060, recipient: 'SP3CFDAQNF40TDXRW0EF42DSJZREX369GB6ZYW7KS }
{ amount: u9576000000, recipient: 'SP1J33NSY3XTVTEXXPG6VQVQ75HCN7HP9ZQ7EM1VP }
{ amount: u9571904400, recipient: 'SP2T0JRRJEKYREQYSMY30990DJ4XCKGNZ7C7FMNV6 }
{ amount: u9566000000, recipient: 'SP3E3TCFQ6EKN36ZDSW9CPD1TFT309DZB7224WREE }
{ amount: u9558422770, recipient: 'SP21F8CKRFQVF2NX1QKJ3YR5GKB5MDCVEDBY4JGMR }
{ amount: u9557332750, recipient: 'SP2CB5BV53QC3ADZBX35RVN44WK8SVWRD9C4A72P9 }
{ amount: u9538221770, recipient: 'SP2F7F4HNBEFNQMREJH45X5CAN01ZZ714YKRKPN97 }
{ amount: u9537432300, recipient: 'SP28K776S51TXRAPSBNBE65TR8QVXQF2FGX1J1Z12 }
{ amount: u9535762300, recipient: 'SP13CNX2ASFHJ74EVAZ186060VP41PSAV3J7WR4HX }
{ amount: u9533729720, recipient: 'SP33NSKNGY8H65CCK538GY5JS5XYJC1NWPDP3B372 }
{ amount: u9517603930, recipient: 'SP1AHR7EQ1T6Y1GK757GSD4H4D6V75AV850C81SSA }
{ amount: u9500046880, recipient: 'SPY2NS41H1RKGZRT84Y8796RBPCY2HBD3HKNRWKH }
{ amount: u9500000000, recipient: 'SPKDEMDN8ECHFHWW25GV0174NMQ5DYNCC27EJ9PG }
{ amount: u9500000000, recipient: 'SP3EYWFCZSPWCQAVQH0PW4RBNGAKS2S43YT0D77YH }
{ amount: u9500000000, recipient: 'SP21M3JM9SGV70G59QNM2Y752NESAY0NZ0M95M2QX }
{ amount: u9485416500, recipient: 'SP1SH17VS7QAH27QMYR7DR8455K2JNC6ZCDSG7493 }
{ amount: u9484714280, recipient: 'SP18B0SYETQJJB4P6PTQEQXDBS7R5QCQW246ERTV1 }
{ amount: u9478186560, recipient: 'SP1DYA3DX9MMJEC2VD13VDDYS5DN7BXFW57GSMWA0 }
{ amount: u9473945830, recipient: 'SPWSYVPT86RVM0NRBDQE9595NCVE0WMG3BSYVMMK }
{ amount: u9473838300, recipient: 'SPJFNXD9FQ4SYV57NGVJSTCWZ1QAHZ6J8RP56SFD }
{ amount: u9451165180, recipient: 'SP3NS750QWR5NV4M5X7FSYVCH22TBKC2TD45AY8ST }
{ amount: u9444761750, recipient: 'SP1YKC7GJRPP5AT5YTHWRG34PZJRWR9HYX69GMNZ6 }
{ amount: u9438621760, recipient: 'SP3ZE6FB2HZ4FF7QK8EVMPXYE50BN3C7C2WWQ30FY }
{ amount: u9426248190, recipient: 'SP1KQ95CJPQY4Y7DS6ED7700DHZM2ZC1D4YGXPWDV }
{ amount: u9420266870, recipient: 'SP2PCBFFTR6JG9KJM9WTYEWAQCE8QTWBFEW0HQGQZ }
{ amount: u9403400440, recipient: 'SP3YS1FTQ14HM1BT1KZR7T801HTT09PZ259KZPAB0 }
{ amount: u9400000000, recipient: 'SP3156ZC7J8744RXGGMP2YHMR1ZYDKN1NQ45F7VKC }
{ amount: u9393000000, recipient: 'SP37XWWBYAGF52EMC92WT8255Q4XVFF02NMWEZFRR }
{ amount: u9389619090, recipient: 'SP1HN1XWY40T9A0J2M4MGH09DX8MA51Z3SES3HCKC }
{ amount: u9389312420, recipient: 'SP3FZ6FZ3HN0WRQN9VAPE0CSPCS53ZYKAPGE8WHR7 }
{ amount: u9368515680, recipient: 'SP1GH363GZRPV70MXH6Q51TKJRG8FV3V5Y2FB8S9A }
{ amount: u9365786370, recipient: 'SP2CXXSX6D1VXBAN6PPXZ2PGHFPJ5A0900EMA61MR }
{ amount: u9363000000, recipient: 'SP1JJCRGCZY8GHH7J74DBGZGNMD4S9JSB9PHEKVCY }
{ amount: u9333523010, recipient: 'SP1ZN8GF3DY8CGS73DXKJ4B37HDDJSC93VSGPZWEQ }
{ amount: u9331994930, recipient: 'SP39EAPE6KNPBB9N6AHK6VKA89WNQ2HNV2K40XCXZ }
{ amount: u9327954410, recipient: 'SP2K03XNS0ESSCY4MP3HR79J0YBGH9F7KG4NKRE19 }
{ amount: u9316676210, recipient: 'SP1G18KGVMP2RF5S2387DBC4VRZGK2T9ETMMVT7BB }
{ amount: u9310977100, recipient: 'SP3TVDTHDZ3PVM1Q5454B98WQR9GRKEAQJ3P3GYKP }
{ amount: u9300000000, recipient: 'SP22K6Q3AZX1TJJT1P94GGTVZHMQVH9E8ESZK7JJM }
{ amount: u9300000000, recipient: 'SP33V5W4A16M8JS7K6JGE4CE3Q5YHA9V7D1SK90CT }
{ amount: u9300000000, recipient: 'SP354EY7GTBAFTPB4V08J50RQZXAAKZ5VP8MFZYKM }
{ amount: u9300000000, recipient: 'SP2H0HZXNGRREXQB91PC71B8DPD8D0E2JRCQY1ZZ }
{ amount: u9264010640, recipient: 'SP75HVRGX95A4WF0YH1B8NAEA529E02A8DFYW1YZ }
{ amount: u9263168460, recipient: 'SP3HZDHMXEECN8666TWR17MFXJ950EN5AZNB2J10A }
{ amount: u9249528200, recipient: 'SP3JGK0FNAN84DY1N9P4MKPRSENMVFE5ZW1PMKSJ7 }
{ amount: u9247869820, recipient: 'SP24KHGKGP069YTR68NVV1V9S3KT077QKMQ9GTFNE }
{ amount: u9223573000, recipient: 'SP31J18R1XFN4GSRTNXH64XYBSYPX56073HXR7DD5 }
{ amount: u9219897830, recipient: 'SP1TTZBYVZTQ734ZSQA16HPAHJ1RXP4DD8N42KVMP }
{ amount: u9219013120, recipient: 'SP3BJ08VXWY1KDW3W5GRT0Y4CVV78YEJJRQHH5FD3 }
{ amount: u9203507210, recipient: 'SP3N30K3FZXQAN1PRRVN32N7R63KBQDGTQ447KXZV }
{ amount: u9203162890, recipient: 'SP2X6B6K45BZA7KFXET8AKC2W4S1YH7T279P46PEN }
{ amount: u9194333220, recipient: 'SP2HN2CQVXEV441JYJ73G1HQKVG9QCTCMY7VCZZXE }
{ amount: u9187729740, recipient: 'SPSK1XWGVACQQJX98FZV10C4RGKHF4MYN50GQN6N }
{ amount: u9183124960, recipient: 'SP1FMDB98JJQZJSNF4GQM4G8RXHGAS82SK4PPXTRH }
{ amount: u9178958140, recipient: 'SP22MKMM5KASD5E7VPKJ18650K05MJNQDHENY7BKF }
{ amount: u9176367000, recipient: 'SP231KVQG943PB7N0D68N6BTEGZ8AT5TB287EF12F }
{ amount: u9171135000, recipient: 'SP3F74JF10NFECPKPBWA8ZR2RK7N20XP49FT1XRE9 }
{ amount: u9146710900, recipient: 'SP3GXY1CV66QNQ39F6P5RCBGFR84CSKQ76V7MFRKY }
{ amount: u9144343000, recipient: 'SP1S7NXBWDEK7MD2FK7BGB42YK6WGEA8S78G3R4ZW }
{ amount: u9134240550, recipient: 'SP3XP7QWBMFBBVPBAAAW6KRGRHFCSAP57227V2CA9 }
{ amount: u9129863710, recipient: 'SP37FW4WK2CZ0E9ESMHYJ2XS6D5T2EY5Y4GTTHVDY }
{ amount: u9122000000, recipient: 'SP2V3NGR0P6YSZVYK0FSW7PTWB3CRY9C9KGSS6JFN }
{ amount: u9110538920, recipient: 'SP2R2X0QZVJJAEA0CMK83G09PM171HR0BENFY4CHS }
{ amount: u9098495480, recipient: 'SP1J96K52FC97M0YJBV07PSRRA20V80350WV9K04V }
{ amount: u9072564460, recipient: 'SPSSXED2APCR3STTD64CD9KK3Q63GVV5H03QHEAE }
{ amount: u9072000000, recipient: 'SPNBQYM47SY2VZZFCAN6KCPZXMA8YGT2HXHVQY6J }
{ amount: u9060000500, recipient: 'SP3QM6NBG14EWJ4QV6FJVXXVYN4T8YEKEAY5Q775M }
{ amount: u9057257280, recipient: 'SP5V06FFDE7B90X9RTQRCPEM4GN9TKBYBC1641RB }
{ amount: u9054334250, recipient: 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV }
{ amount: u9037513600, recipient: 'SP3SM72BS3133BTNYSWSTEQ1EP44F05YJW0JT0WNB }
{ amount: u9029223970, recipient: 'SP1Z7CX60EARVPPYGD61FY0NZGFF046YAR16RM93N }
{ amount: u9027068580, recipient: 'SP2898AE1EFB6NDC3WNR0A0J6CXTY7W58G979D2V0 }
{ amount: u9025045610, recipient: 'SP2R6EDTT4NCT0YCVE2N16DZNC352Z0B8JYM9H1Z0 }
{ amount: u9017308250, recipient: 'SP2Z15QWHZF2V68RB99DBD2RTSBBNPNMJXZSKZGET }
{ amount: u9005069750, recipient: 'SPFCNRB5BXJHHEWE7WJE1EWFP4FXFAK9Q39G114H }
{ amount: u9000000000, recipient: 'SP1KZCF64KCBWSSYPQSRQ7CQA973F3DWFTAZYDMRS }
{ amount: u9000000000, recipient: 'SPE6ZTFNG9ZMC6FGX49JG60B70A8HW9D9QEF71KZ }
{ amount: u9000000000, recipient: 'SPD0KA83S5EKF87Q4Y5WVP1VFYHJZ64C704J6S4C }
{ amount: u9000000000, recipient: 'SP1GGNPPMXFWCX7WP9E0G0494EN96QSPP1DW8VGR2 }
{ amount: u9000000000, recipient: 'SP3WJD9A8XQXA41SKXK97QA1TYGJ81GQSJ6NW1FKB }
{ amount: u8996390000, recipient: 'SP2RDMQFMHMFDWCGDNAW23C1FGWESFH8XT9H4TB7N }
{ amount: u8987212110, recipient: 'SP20AKT1E6F0H347PBPM0A90R1R80W62JDED5RQV3 }
{ amount: u8982000000, recipient: 'SP17J4SB9MNWQWTNAJAMZGS0KB5G6SBRTDHB57EDX }
{ amount: u8966694630, recipient: 'SP1SA697H9R0YDQDK1E7EW1Z0E1SGB1TBB20ZND21 }
{ amount: u8902348220, recipient: 'SPFGYRJ87S51A8JZTFGDV635MRWR5BPF0PJ0N5VZ }
{ amount: u8900000000, recipient: 'SP2TWS7AM0Q2AEG80Q2CRQNKARPN195K8MHZAZV5Z }
{ amount: u8897034100, recipient: 'SPNS21CPY4Q1XQYKKS2V6XGXC73WVE3A23BR73F }
{ amount: u8891080970, recipient: 'SPXV2FN8G1KANSG91SRYH5EC06W2ZVCVB9XBJBAJ }
{ amount: u8872000000, recipient: 'SP2K1G71VSZWX9PJS7RP8XGEGMXMRNJKX0CWRVS9V }
{ amount: u8860812840, recipient: 'SP37WD8QKG08RCNNABS5JNPEPA9XYEGWJ64JNFKJT }
{ amount: u8846580000, recipient: 'SP1X1JD1CZ1RW0T67NQYT1KRYSNR69ST365A4MXEN }
{ amount: u8846496610, recipient: 'SP1SF3KC6K5JMATTK4R6NVBKWR6B21CE7EZJPEKYP }
{ amount: u8838033620, recipient: 'SP1916AXWW9XDQ5MCGTQ0NZAD4KBM0JQM7834RFDF }
{ amount: u8800000000, recipient: 'SP30MQAYD5S817F2PQT61JBA324PJZ0GW14CAP2NW }
{ amount: u8796272970, recipient: 'SP3S2YEYR5NCJ046731ZWV47Y6NRVQW8K2C880HEH }
{ amount: u8795714940, recipient: 'SP1J1RKVXV49YC3HCCPFEDKBH41ZQ52CB4V34APA4 }
{ amount: u8779617390, recipient: 'SP38Y2HC33RYVGBXT0WVSQ6RK9D1KHF6W8YFSPKQE }
{ amount: u8761099290, recipient: 'SP360FYHNRED6SBSM5F849YM6NHBAGXEETE6X5079 }
{ amount: u8757681470, recipient: 'SP9E4GJ3JYZ8C2P77FD9ENTMV2QRGZ02AW6CW3N9 }
{ amount: u8753365660, recipient: 'SP2E5Q1DV1PJY6NTJ5N2TZ5RTES4K26922M0H4M3E }
{ amount: u8722257900, recipient: 'SP22K8V74VDB43SZ3W6PQQJVJHTCVG8M4B38MBJ4J }
{ amount: u8710408020, recipient: 'SP17JHC8ZYBVGREZGD344J0TDTMK318HR865C58HA }
{ amount: u8704952400, recipient: 'SP27D4D509FGK86P8PMD63T1R70C1947KEHD3E144 }
{ amount: u8700008180, recipient: 'SP2KKRNB5NDD68F7XGQNFD5HRPJXG8PQ5ZRMBNWHE }
{ amount: u8698706190, recipient: 'SP1NAW6FR4G72F2SSNTDFPV8XN3P0W1AYEQVYM2WM }
{ amount: u8678089250, recipient: 'SP3FK97NRJJS8T18FDY1ZMYHVKEXMRJ3FMBCPFC9A }
{ amount: u8668626770, recipient: 'SPKW35K22P1X970RWWV7VG7P6H1R2E8S3WPK4ZZF }
{ amount: u8666833960, recipient: 'SP353PBTPCJBGT38WEHTRJ66B5KGM7R91CJ18QP82 }
{ amount: u8662271750, recipient: 'SPB2PMG9B3WREMK9QCEAQAFF77EW3JR79R0B43SC }
{ amount: u8661598420, recipient: 'SP2QBNR6KWA5Y3CFJV1567SQ7HKCKNZJGM1VFCZ53 }
{ amount: u8656954880, recipient: 'SP2EJPQJF5RJWWW68R6S9B8TNTPA736YZ6WNDEXMB }
{ amount: u8642815590, recipient: 'SP3GC5NKQQ6N30H9TMDNPWCQ2JWNRDF9MAYSWFG2S }
{ amount: u8630488420, recipient: 'SP3A0N3VJWEGR0DZZNXD15FMRYRMBKNPXDK61NHG6 }
{ amount: u8629824430, recipient: 'SP3GE33M9QNY3JJH8RWTK6AYD0NXHDDR77Q80HDV6 }
{ amount: u8624117000, recipient: 'SP3RG112ECTFX0PE8Q9739Y5VRBDQMMXMRB3REKG7 }
{ amount: u8623090860, recipient: 'SP3XMS4TS2KKH31KG18FAT4HDMRQTMXCN8RB96VA8 }
{ amount: u8620347470, recipient: 'SP30Y844WC3QHA28HQYKJDAD9QWC20XD4B7JNZCSF }
{ amount: u8612209370, recipient: 'SP2CCHYFAN2FDXSWZVPHGJ2GBWGCJ6SW64TE1Q95F }
{ amount: u8607862610, recipient: 'SP33J92X7HEW9WPWSYQEP1GW919E1VTH5NJ50FNYR }
{ amount: u8605423930, recipient: 'SPNDMZQY1N07MWYWS85YC24ESFSHR6TAQ33PTVP0 }
{ amount: u8604339480, recipient: 'SP174T259308VFVT2P99TV29NF4XA4271XYFSFRK }
{ amount: u8604176260, recipient: 'SP10J7B6QD5QARX371XRPGNAFF2415TR9WEAGHG2B }
{ amount: u8600000000, recipient: 'SPHSGQPEPZ7X5EFGV59MFXBZW66G4RP4X84Y8F9T }
{ amount: u8590642500, recipient: 'SP27YJ4ATAB5WK4SP3ZESV2AXXGSTNJT9HMFEKS0N }
{ amount: u8584138370, recipient: 'SP2RRKBEM0MSS5V0VV4VPWTJ5DXYGTEEN6MHGWB2Q }
{ amount: u8582391920, recipient: 'SP1TNCWCF06Z1B8XNETKFJ2EK96VNSR07Y13WW642 }
{ amount: u8558051860, recipient: 'SP23DT8RY54SZM58V2PYBRCG8BBV93MGY29X6GXCT }
{ amount: u8535714450, recipient: 'SP2T385BZFDWPZK6S355ACX2CYWWWM34CM20Z3096 }
{ amount: u8532864330, recipient: 'SP3PF1HZG1Z44CGDZNVAQSPAPC2TWXF0MH3QRH6RT }
{ amount: u8527544590, recipient: 'SP3FGSESM4HYKCVHSDCRADRA90ZWSYKRE3QJFTDZH }
{ amount: u8505352870, recipient: 'SPJ6SMAEB2GKBAVNYC4852NS3ZR1QD080B3WD8VS }
{ amount: u8502713800, recipient: 'SP3Z5Y0X8V49KT2QGCS0ANQ27K0EGFTP8WRGV268N }
{ amount: u8490357830, recipient: 'SP1MPCBFF12EWEN52NQCGVA0SY7FZS3JJNSP6BG9K }
{ amount: u8480208610, recipient: 'SP3F9C08AG8HN8A5K6NSPGGC7X08AR0SSX1G78JF7 }
{ amount: u8478017850, recipient: 'SPMNKBFG1S3JT61S6834K5ZJWW1V8J262EA9PVTF }
{ amount: u8465310190, recipient: 'SP1K8W10NW1Q21HSM2Y1X838E0WCC6MNVMJ7YA04N }
{ amount: u8463116240, recipient: 'SP3JKZ87BZ1C11M7HJ22ZEDXFP7KCXMDWQGTKGAWM }
{ amount: u8462566970, recipient: 'SP2M7CAA5SAAYQP1PA579GB76X7B4X8M8CGWVZDVN }
{ amount: u8458955410, recipient: 'SP2VYP183HNSMQYQR9MGPQZMW668T7RSF5HZBVVJ1 }
{ amount: u8457284270, recipient: 'SP2772J1S7Y6EP8EZ3ES4JQ87VMMJT7EZ7DYYX3VD }
{ amount: u8442788690, recipient: 'SP2C6QACMACPBH7ND8VAVCC9V79WMMW568XN3TVD8 } ))
(define-constant batch-48 (list { amount: u8420755740, recipient: 'SP2EGJVYFXJQMRPEG6HY8QAN1Q5E42G4WFA82YENH }
{ amount: u8410000000, recipient: 'SP2AX15HR5AJSRFHZHPSF2PKT36H7DQD517Z01JH7 }
{ amount: u8399871020, recipient: 'SP2KVKTGQZ6GE5ND1MRTJHTHATG980AK7Y80048KR }
{ amount: u8392048090, recipient: 'SP2S9V8ZT15D633DG9K57NKZRCYHN6EC7YYT0XBCD }
{ amount: u8387068900, recipient: 'SP3Q5XEM3WRZQTX4TZNS8X38BQ8C6HV2HEJ6KR2Z0 }
{ amount: u8381062840, recipient: 'SPP3RD4AWN5Z98BE052C19VTAWTKSRTK3B2PARV2 }
{ amount: u8375863080, recipient: 'SP2HSM9TTVX4S289RHJWFSSECRP00Y41CV509C7S2 }
{ amount: u8355990020, recipient: 'SP2PWSJ3FMKPQ3XYDRVY5TZPAJC5P91AHJFRZQGSJ }
{ amount: u8355000000, recipient: 'SP3NYQQFWBM00M27PFZMX88P5XQEFE8429E531M1Z }
{ amount: u8346606610, recipient: 'SP36XZDY557Y1CQ6H5DZ1NGZP1Y943RBTY0KBWAKG }
{ amount: u8345629120, recipient: 'SP2WG2GZM8ZKGYGB1EZVENW9SSCBJ5NE0YTZKW29R }
{ amount: u8344285120, recipient: 'SP37PNPNHSTBTB08H1NXDJ7P8SENEB7VKE0D95FE2 }
{ amount: u8344000000, recipient: 'SP1GYWNDB25MRT7YBX11VZW0C1Y6BWME65ZFJJPK2 }
{ amount: u8342293440, recipient: 'SP22B8YVKK20Y53B2XZQVP84C9WM2SZ91K8EMSY4T }
{ amount: u8337864220, recipient: 'SPEZ2Z9RBEQRW405N40V603V3NKY6RK6X6A9WJ5P }
{ amount: u8323508040, recipient: 'SP3Z8H3GFHRKD4ZMXP6T7G0B7E347BRBZ8W1CCATF }
{ amount: u8306864250, recipient: 'SP99B9SNEY20XZ5PDCR30VC520QPWCEAAVHHEC2W }
{ amount: u8292757940, recipient: 'SPRAV41Z0QZ7MSW1G5TW1K5G475YJTRRDN9VRXNK }
{ amount: u8292379100, recipient: 'SPCK86303KZN7NWDGT18SW8NBG0GGFKRZSQN6JK3 }
{ amount: u8290255960, recipient: 'SP24MJK18QKHF9HR7Y1XR0VEQG7YVHZ66AXFJC313 }
{ amount: u8276350390, recipient: 'SP2T1SMWYJ7HPWTX47PAB6ER673YP0G6A7KYWCP5G }
{ amount: u8274657430, recipient: 'SP33DQYE0E3VZYJ85625YAQGZYZ1MS6P4CCBQ5RK4 }
{ amount: u8269790420, recipient: 'SP3DPCAWT3Q1P9DSYHD266JEDS077H79SNRB16NES }
{ amount: u8264971900, recipient: 'SPSWZ780PDK15F28ERT3YW7WHZVHS5D02TGQJNXR }
{ amount: u8264148850, recipient: 'SP1H0TMRTDJ65RR395M3CQZBM7J0KVESS671ZYKNY }
{ amount: u8251242170, recipient: 'SP3FPE7G61376EAPPN4FTH8RB1MCSFECE8BAJXND7 }
{ amount: u8248458720, recipient: 'SP3VKWS0HZPK955113KV4TQ69JR6446MW4ZE51H19 }
{ amount: u8246830840, recipient: 'SP24REP7S7DVBFVTFCMPH1V48Z6MS5Q0ZF3VHDXJA }
{ amount: u8243982400, recipient: 'SP10P8KD06B3P6Q99B4G0GJJSFD70K9D6Z782DXCW }
{ amount: u8234961960, recipient: 'SP3JC8YMP8Z944RB2HWNK3DR58C477CFVK7MNA501 }
{ amount: u8222172260, recipient: 'SP3NP920TZ0FAH0PQ3PCR4NDZQ9GK94ZJ8EK7V4YN }
{ amount: u8217903000, recipient: 'SPKM05NS37TV3CQ55VRCTJ1NWXJG9S4184D0JM2H }
{ amount: u8215962360, recipient: 'SP2RXZG8ZWG5Y3WQG7CW5ADWXDWQZTHB49G3JYFP6 }
{ amount: u8214111080, recipient: 'SP18H2E211S174E4A0JD4MHARXSZXJPDR1BD27SGH }
{ amount: u8207367200, recipient: 'SP142W2JWH0RQD28S9WYQAGNDR2FY9EK577S691DR }
{ amount: u8206515480, recipient: 'SP25MSEKRM97BHKB2B8ANMGA8AFFY90XESJ7P2K4C }
{ amount: u8200000000, recipient: 'SP3YJHC8TKEXDGD5VB0RJS4BAGKJ5JM8K7M2CK4ME }
{ amount: u8198418080, recipient: 'SP1VMQKZW5S4RGVEPS4BQF4WEGY06BQWZS6SZEZ7R }
{ amount: u8197854800, recipient: 'SP2DVABYEDCBVC265EX2HQSAY4534MZZ4D4JX3XVY }
{ amount: u8196919180, recipient: 'SP125A3HV7R4YCCJGZY45EJQY4J34MDR4BKJX23YP }
{ amount: u8190000000, recipient: 'SP1FP4DJQGBYFJWPB467JPE71HZ6MCY8VMYR086F3 }
{ amount: u8184131760, recipient: 'SP2DH5T9DJ30ECVT5G2XR9RMPAM8KN09HQR98STC5 }
{ amount: u8180881750, recipient: 'SPYW79XTFF6N4AN3ATVG9TJJQBHGBCDFK5B4Q006 }
{ amount: u8173000000, recipient: 'SP21AXZEPJH1SKEQ0PG4E835J11G3VRD39MCZRR4X }
{ amount: u8154754630, recipient: 'SP3VJ5D4AH0ETFR746SDPM12EHFCDBKWF8HKAMZAJ }
{ amount: u8144345390, recipient: 'SPVCNFDFMEAFSX7JFDHAGGY8C13YTKH0PZ8K2VDH }
{ amount: u8128819390, recipient: 'SPCJFSWGZ7383JMZ8GAW0V4B6438VV3BM79QKKYW }
{ amount: u8120000000, recipient: 'SP3ZEXX2RNJ9037CSVC98VEJ861M0FV1BG82B647X }
{ amount: u8119767990, recipient: 'SPV22M1XNJAJ5ZDFY2VRR4T5HJY23VMY0X8311NA }
{ amount: u8107949930, recipient: 'SP1TPNAH6B1KCFA9ZTW1Q204F8Y7J3RXHDGKT2D97 }
{ amount: u8100798140, recipient: 'SP18H76M5F6D75D1XT0ABWCDCFAJ84XBT25BSJ3X4 }
{ amount: u8084335950, recipient: 'SP22FHSRNG3CMC7HEN2DBXPNFR09GX3CY7X27GYGA }
{ amount: u8083918660, recipient: 'SP3DW2YR31HWKR70630ZPFM88F1Y5M490AX13QC19 }
{ amount: u8082794000, recipient: 'SP41778BCAK4K773STBP9HGWBASS4W10DKG2622Z }
{ amount: u8081288670, recipient: 'SP3W522878N21MMP67VGC28PT4RRMBVSB9KR3B08K }
{ amount: u8080522280, recipient: 'SP25T8KJPT7VJBEXSQ0WB6VGDM9K71TEVQV9FPKH9 }
{ amount: u8078554060, recipient: 'SPW3Z5KDQKA0DACF679M9DDY9F5RGYTA40H1CEW1 }
{ amount: u8066302820, recipient: 'SP4JG6PDJ083ZB53Z070HAGF1320YKC9KV16ZJC0 }
{ amount: u8064043840, recipient: 'SP1XM0M9FFQ9Q927Z01AV3K73W53E2H1D6WS2YY55 }
{ amount: u8056799190, recipient: 'SP1SE88Q5TQ316TB1SBS8NSGDVNTPCSAART4XZANY }
{ amount: u8052557690, recipient: 'SP2J6C8HJZHD48F5FZQDG6A7D32D68SNQ24PNFQ7A }
{ amount: u8044483900, recipient: 'SP3SRMJT09NVPB6DGBDRVQC9RFQQ3HEH421ZWDEDD }
{ amount: u8034424200, recipient: 'SP6YMVESEFCX1YA5PNKC7GBD68WV8038Q0RYY7RK }
{ amount: u8000000000, recipient: 'SP2S3RB9AV8MMCGAYPW7YWVJ31Y595PYYCHB08K67 }
{ amount: u8000000000, recipient: 'SPFKTHY84XZQWQAQZVV0FY0JV5TSH9ERHKG42TK9 }
{ amount: u8000000000, recipient: 'SP3HXDD46Y0FP3QWYQX0WXDZTTXHB7M27RJP2SS94 }
{ amount: u7999347890, recipient: 'SP3YAZ86ZBJWHFRP1A87FY4Y28S82K5PKFP63M28E }
{ amount: u7997000000, recipient: 'SP84JV3AYERR35449TWM706WWZX6QHYSHSKQHSTN }
{ amount: u7986348610, recipient: 'SP3BD1EFF1S0WMAH3M96PVR4GTV2K778MC065ZS0W }
{ amount: u7984500510, recipient: 'SP21EFNQ2EKJ7FY5JF687RF51G1EPHN26Q4NR8XZ5 }
{ amount: u7983591800, recipient: 'SP33XQMB23GSJZHXG2P6PMV2DGZS5P9JYVW18XW52 }
{ amount: u7971820180, recipient: 'SP164EEKSKP2K6G4N97553SZTFPS33FMJ3PS1BQGT }
{ amount: u7959778120, recipient: 'SP3H8PGCGC2CFMW1EYBQT21CD6Q0794ETT5SSW6HS }
{ amount: u7957726540, recipient: 'SPJ8CE2KQ2WM0AAPC7VT8KVC4FNV73DCBR69SBDS }
{ amount: u7957677020, recipient: 'SP24XHYDAEFK9GPTASA1SXTA3B2YB1H2FBFG0HAV4 }
{ amount: u7947165040, recipient: 'SP3XN9B70RSA5DASA3KZ5YCAHAHDQG8VA04498TPH }
{ amount: u7939795600, recipient: 'SP39VVPVN5RYWR7QTT5R5RPBN6A5JCBFX0SJBSGX5 }
{ amount: u7935731280, recipient: 'SP1WY75E0WWY6DKCNNWJCYFW9XKED61DHGQC1CE4F }
{ amount: u7918935440, recipient: 'SP1NWJBKVDA8QS0CP2DZ1DVX6EQX3Z6F2BTC912AK }
{ amount: u7915202730, recipient: 'SP1N57AYNYV09E4ZKPJWB8JQTNSZXPW7Y9HC1PSPV }
{ amount: u7899997660, recipient: 'SP31S4SSP2HQ6STXGXF5W3XTJV71T1DE98JAQ7YD5 }
{ amount: u7880223660, recipient: 'SP1MN61R1SWM7AMDZHAMR3ZRFK3V3BEEM01Y35A04 }
{ amount: u7879187640, recipient: 'SP2MHK4FTARY3SBVY3A8VD465KCR434MPVF9SYPGN }
{ amount: u7860413170, recipient: 'SPVHN7DDA6NVVP0F8979DSN60DKJJNSSXGPKZ6GP }
{ amount: u7856411770, recipient: 'SP3GY8C8TH9QHZFHGTPYXTX5QKVZA3PMFAJPMDVYW }
{ amount: u7852740430, recipient: 'SPZ51HG5CKYNT0TWQ4JVE3RE7P7VDWG8N4GHEMA5 }
{ amount: u7846585070, recipient: 'SP2SPGJRGE2DMJ6NTY6GXDJGPMAW9G7MHAGW8G47Z }
{ amount: u7841616990, recipient: 'SP1TKF7R49A13YHR7WG1K0C2TW3E57BNYFBGQV9JX }
{ amount: u7835047540, recipient: 'SP33DHFF07T424DM1R74TX8TXYMGF53DWTXFNZ272 }
{ amount: u7821475050, recipient: 'SPSWV1HTQ1W3SR73RY7JDDJQEKFBWA6DFQYRCW18 }
{ amount: u7801156060, recipient: 'SP2P5X6ND4W2XDREMJPSX6MWZFE4MHH086ZG6P9GP }
{ amount: u7779000000, recipient: 'SPSNAS73804HD7SS9B9354C15792TK0N2936W4FH }
{ amount: u7776858540, recipient: 'SPZ8C69FJZQMGCADT24FG4A2166TD5C0SWFH98Q4 }
{ amount: u7764900220, recipient: 'SP1SWJFW0KNC3340WXFZWFS3RCFE7FZ9CPREE8V48 }
{ amount: u7755706460, recipient: 'SP91VP3SBDMMKJ5BKC10JZC4Z4RPAVA5GH9REYA9 }
{ amount: u7751556360, recipient: 'SP2RZT24E603NED6GNARGV8C0MQ8HVAYVD2ZTXMPY }
{ amount: u7747191610, recipient: 'SP20X10JYTQ2T4T9SG39FD701XMY021794MDX44MV }
{ amount: u7733440830, recipient: 'SP33V8QFCFF18VFYAKHN8NPS998683P1N510RAD7W }
{ amount: u7733408890, recipient: 'SP2WHJZ8CQ89BT1V7MJZVAK40AMC6PQT5S46NMR5 }
{ amount: u7726308340, recipient: 'SP1Y3PDGXZFFV69HRHKJPG0RWW4F11N4DAXP3PWRY }
{ amount: u7716034310, recipient: 'SP1369V29RBYT29KM5RWGE6V23YH0WP410QDAXX48 }
{ amount: u7714571620, recipient: 'SP2M9YYPEADK83M8N97YEQZA7WZ5G5NZDP5BZGXF2 }
{ amount: u7714532750, recipient: 'SP1SF5XZXVMCVVJM9FDJP4K0DWKXSCNMJKPRYP222 }
{ amount: u7713784510, recipient: 'SP2A5QJ9G951VGF6WBSXZ45TEQBPD3RF5M6NQACFJ }
{ amount: u7712602470, recipient: 'SPW60BP8XT8D9V1W6S5CGBED0VXGEYC5Y3C0S0NF }
{ amount: u7707215040, recipient: 'SP1QQT6D00NARYTAFFC5KGFM8HD3REP7E6S0CSNW3 }
{ amount: u7706708370, recipient: 'SP3C5M7D156MFQM8F703MYAEZJ98T5K2R71HGV5M0 }
{ amount: u7704130510, recipient: 'SP2Z7MHNTKGXKDW67TVN7H6DWHJ7S3MPQ4DDZK68X }
{ amount: u7704119760, recipient: 'SP20MZ7V3SETH5AFEJJG9ZX1WFNGBFJW6AB265HRV }
{ amount: u7702708830, recipient: 'SP2VS4QXQET4QNSX6R16YN589FCKSN4B67EXEZHRQ }
{ amount: u7697241470, recipient: 'SP1WD2MPY3X30375E2BN9JEWQFNDCZXH0PXPHH2PF }
{ amount: u7696230360, recipient: 'SP13WENTWXZKZ9NRNMY14JQAWQ03CRDKW88XY4BX1 }
{ amount: u7682093500, recipient: 'SP6Q0DN1XMD8VVM98D452SVH76V0RZ013V27ME4Y }
{ amount: u7671250730, recipient: 'SP16A3KQ132FRSBJVT2VEFRE45E8T8M2Y4129XBD7 }
{ amount: u7665302590, recipient: 'SP27DWSZ0SASJ5S7GGXD3EB47Q7JDZ0RCRX16051G }
{ amount: u7662087850, recipient: 'SP2P35N8VYNRNQYX2QKV7A63MZ6JDCPRN6N3S5SZH }
{ amount: u7657037420, recipient: 'SPGVVCXJ7A3EPP46D3VZ7CGNJC0VG7Z1ME4EF5D7 }
{ amount: u7644035530, recipient: 'SP2H8ZQSFCE81AH7K5GXQWGDXXEV0CMNKTAEEDH4D }
{ amount: u7641903120, recipient: 'SP1JGG41WZ8ZJQN6SQBFGN23K2SFS7GS22HHZCZCY }
{ amount: u7638627920, recipient: 'SP2WTMSS20TP00QTW6DJ6DFQV1JP9V016BW565W61 }
{ amount: u7627669070, recipient: 'SP3EV6WWVYMY26YECRTFZTYQ82X843KC12KAFSDJ5 }
{ amount: u7619407990, recipient: 'SP1KX4GB9Y57Z2G00NVQWMX4CNVDSQ9HQJSJ7EM1D }
{ amount: u7611726270, recipient: 'SP1P8KNDX47X1GC5FVK1ZW19FNMWQJGB3NNWYT9GR }
{ amount: u7611625220, recipient: 'SP1ZTHKGAY1WEC35VE5ZS4B7E519Q4NSKSJCFNSR3 }
{ amount: u7611286750, recipient: 'SP2BEHPR1D9WP4DR2JESVR4K02740DD0XK3C4K1PF }
{ amount: u7607488530, recipient: 'SP1NHSZ5A5WQ59CNP1M0NEKYW1SKRNZF35CGXJSZK }
{ amount: u7605806100, recipient: 'SP2VWFWPYB25T8MMM5VVWCJ9NVEWA6VH54X13A0Z4 }
{ amount: u7604646430, recipient: 'SP231XSST4HGW8HTNSSFXKSJ2KV9PAHMFYJE5J4WJ }
{ amount: u7604526920, recipient: 'SP183TVR3NQQTZ73BSKKAEK8G8J9JSH1T3CWBVS7P }
{ amount: u7604180660, recipient: 'SPR90E369QNB14W9RJ6X2ZMTGAK2YN9BJ1617BXC }
{ amount: u7592392930, recipient: 'SP1QHZYR0RX9EWJ2ENTXX0P2GNQVM9TH1YFX2635N }
{ amount: u7575378910, recipient: 'SP369GGXY72DXES50J2QN0R1F4BEXF2C1QEDMASD0 }
{ amount: u7574000000, recipient: 'SP1BZETY7YC9QYV12ZFYPA8ZVCYCD65WTNWGNCKHV }
{ amount: u7568938710, recipient: 'SP2E7PK3P626HQZSBKDDYPCPF9XQ1SA88EGEVA5MX }
{ amount: u7567882860, recipient: 'SP2VS09GPZ1SYFT0FVW1HR10FGYEE4DQCRFKBK7T2 }
{ amount: u7566700940, recipient: 'SP3GJGEB6AJAA22DNCVXYGYNK6P9NB5XRGS3R2S73 }
{ amount: u7563754690, recipient: 'SP19ZKA3X5K5EPPA810SQ9SRJCPKT7CRQJ9E8T222 }
{ amount: u7563273120, recipient: 'SP1D7NN1FG8WJ5BE87YNJSHD12Q27JJGEX2VWXGP4 }
{ amount: u7560993250, recipient: 'SPNWS8N7HKQAM5EBBBE0HSN1938CT41YWB4XV7GS }
{ amount: u7540009310, recipient: 'SP15SWTQ2SFZPTJ8W1ZQX6T9AFJYG7JB2J5Z3BGBJ }
{ amount: u7538013660, recipient: 'SP20MC37BYQ6SKR986ZGMKFM65JMYJS5A5H0XVQSZ }
{ amount: u7525358660, recipient: 'SP3S0N138VZM6ESRR87KJKA6K9K1BRN00P56SKG0S }
{ amount: u7520503050, recipient: 'SPAAK6Y47DK99NA2WX2MK027Y83610P6F1SK6YB4 }
{ amount: u7512067770, recipient: 'SPHZHC5D5300HSDFA6AS2P50SJHD794BY6YZW7T5 }
{ amount: u7500000000, recipient: 'SP3FKHHAPAC08VCYEHGT4PPM53EM0JWQB0XNW37S }
{ amount: u7495353340, recipient: 'SP2R1PBPFVTPRMCQATCRY0GY84TWVY69CTV7MREQZ }
{ amount: u7494415460, recipient: 'SPRWPV2WZHC2094FCMCPBJP56GYHYXSF4G5EACY5 }
{ amount: u7494000000, recipient: 'SP2VQP7EV5TAVPVVABKZE2X7GX9H7GF9VXHHX17ZQ }
{ amount: u7486945650, recipient: 'SP2D3RWCJEB13VNMXKQXPTGTANJPXWZQXA4ZYK3AR }
{ amount: u7483662100, recipient: 'SP2PZCNFPHFN6DJPM06WX4QPX4GGBFZG34YC12QJ7 }
{ amount: u7476255290, recipient: 'SP2T2MHZ8ARCV2XS1SXV0CVHDXQQRV7XMT0VN6567 }
{ amount: u7476001090, recipient: 'SP1XFXTPZ38KM08RQHTM3FD4S7JZYVHPSFY8B6DHJ }
{ amount: u7471404850, recipient: 'SP1H6H46K9FK911YVK17BWRCTEPAA0QC7SSCXVFRG }
{ amount: u7465620460, recipient: 'SP3A3YTFN97YFDG447DHMHCZB8EGFV1XHEHQC0VJP }
{ amount: u7459790340, recipient: 'SP2RJMB3DHPHAN2NT6RQCTQ7D52FW5592FB3V6Y57 }
{ amount: u7446243860, recipient: 'SP3WJNVY2RGEKFCJSBGGVSKQD9GB449G5KW113FDX }
{ amount: u7430892230, recipient: 'SP2WX5BNJCCD5TDAWY3CVRH8NND6PEZA470EGGST1 }
{ amount: u7427611580, recipient: 'SP2Y583XH0EEP60VNE6K2KSJK03BP0G3B033TD7Y7 }
{ amount: u7423515830, recipient: 'SP78ZE0PGE1EHJCQVP9QJH5NVKMRVZTSG5GSXXY4 }
{ amount: u7422037090, recipient: 'SP1CDVEQ50FBXYWCQCW5W3NZD2RTC5MQC1D94YF70 }
{ amount: u7411638110, recipient: 'SP2936DT8MF06402CBVDJDAPE17DEH694VHPGMGT6 }
{ amount: u7400000000, recipient: 'SP3RR8CP9W89Y24AH2AJCVY1GQ8V1N7909CDKPJ8M }
{ amount: u7395337750, recipient: 'SP3ARRS1GZ4MHJ6SSAD796KT826TNTQJQEFQVQKWE }
{ amount: u7386501920, recipient: 'SP9GZ2T8T9KFQ5PXHNG6GFT5REDN3M14J3VRTG42 }
{ amount: u7375333920, recipient: 'SP15Y07R2BGYAG2WX67TJ3T27TQXQYA0MNK1Q45P2 }
{ amount: u7371494410, recipient: 'SP2PEYGHY1M2P8QBMFD40Y12PSVC1BE20XRWFK3H }
{ amount: u7349734100, recipient: 'SP1S47PTVDM2YARZVC68A3ZKHKBWS4RWKZTN60YSA }
{ amount: u7343465510, recipient: 'SP33J432FCENZDBKX5F3AJBFTANRJQGJPPFQN2JKE }
{ amount: u7328000000, recipient: 'SP18YN401M6WPGZ6SCCQ2SRMG8K2ZV0A7TW9B2G38 }
{ amount: u7319635200, recipient: 'SP23KP265B53WED6C4XK3VA5QFH0N4184ZK558ANW }
{ amount: u7318836300, recipient: 'SP2Y6E2N3PWZZFRQ5PPMPT2E6ZGTXAEQG2GF385A9 }
{ amount: u7318745240, recipient: 'SP17KPGGQVW495RXW3RVC2G1Y0PYX6P0AJYVDB336 }
{ amount: u7314536890, recipient: 'SPDTTRTGHDMBC5QGX2H94AVN6V9F9VBRPQPVC9BS }
{ amount: u7310132430, recipient: 'SP33BZ7A5TTNTWCSCMWRWCNSYKR03WBVVM5BS221P }
{ amount: u7299000000, recipient: 'SP2J0FAMADQ57T76AZ145SGC2NZ2WMTPP3BB44J2T }
{ amount: u7296927520, recipient: 'SPNWZRPKCHA84X2DFYF4CVSXD9WVEHXVCEKBH3EF }
{ amount: u7289530010, recipient: 'SP27PBZW78H5W0BF65877CMRQKM0ZZ7PE1K1CGYVN }
{ amount: u7262525080, recipient: 'SP3T1WNBW9JDGARVPJQ023C7G466FF1QH8TNY3V15 }
{ amount: u7259084040, recipient: 'SP1Q7S2GGE9XJQHX6WFY683HEGGAPTVPCKTX15H1Y }
{ amount: u7256936380, recipient: 'SPD7VC14QR43Y02VGKAAZC7XR68G4S4JREYZ48FT }
{ amount: u7242234170, recipient: 'SP3TB1GW4R1FSR8EDWZ6W6XXG1RW0Q33YVW7WXE43 }
{ amount: u7241670790, recipient: 'SP2BBP1J8AV90GHM4RZHX79EXQSSAPJVNK977X0HR }
{ amount: u7229386290, recipient: 'SPPT92J35DFRDWJFFG15F4X9DKKGCZYRBAE5XGRK }
{ amount: u7228511130, recipient: 'SP3Y55W354VTM2C87VJE70BMMACSDJMP7ARWBBS7P }
{ amount: u7221287820, recipient: 'SP1S9TGE8G390NKKAAPPMA7NQ0G0GJCGME0TXD6P9 }
{ amount: u7207340320, recipient: 'SP2C5ERGDV2WKJ0XP80HG661YR80TRWHRZESW86ZK }
{ amount: u7206788180, recipient: 'SP3AQ1C3J9V6AZH7T6P9JXPC13ESDHYVJMWVDFT1F }
{ amount: u7201907280, recipient: 'SP320Y62595Z2N93CVQ1CS323Y7D6GY35AQB43RVS }
{ amount: u7199248090, recipient: 'SPM4S4SBG3MZGB5T1PM817T3FDHJ0GNG3PH60PPM }
{ amount: u7198554570, recipient: 'SP20SZTX927EXMBAZH6ZQ0REQS98K201J1A0AAXEH }
{ amount: u7198431170, recipient: 'SP1HGP6E8ZHZBRA91NME5MPCC1ZQA6VTREQD723GP }
{ amount: u7194000000, recipient: 'SPXCWKFV4CPCFRRD125XBG6KME7DJ82YJ6M7D4D8 }
{ amount: u7185002110, recipient: 'SP18QR6EF0XP4NB70Q6SZZB02NYPHNB942QF9VN4K }
{ amount: u7173658520, recipient: 'SP5PN09QHGV5598YEDTS4Y74Z1V9810JV7QAW6Q5 }
{ amount: u7161369190, recipient: 'SP2RW9D7EB46RN72H3VZG2C8B4F04HA9EPHBRB4VM }
{ amount: u7150386560, recipient: 'SP2A0C3R5Z9SR3MBS149QYZYG0KY8NCW83FQBAXSF }
{ amount: u7137349520, recipient: 'SP19S5GPM2TH4N359CGGT9SZGRYGV6Q9J5KMW363P }
{ amount: u7123873920, recipient: 'SP19VPV1E9AG6YQ8KSF3A16XBY7YSMYGZ80FGKMJW }
{ amount: u7121320930, recipient: 'SP1HG109J0156G3YGYE0FG4N5V64RDF96ZE0BHP94 }
{ amount: u7111171020, recipient: 'SP35QADY6GM4J2ETTQS3VQW0H2PTTC5WCP9H6T1JX } ))
(define-constant batch-49 (list { amount: u7108372700, recipient: 'SPS6MHTQ56Q1YXYJEAB9NKJBPDH9518JKSDQBKGC }
{ amount: u7102821000, recipient: 'SP2S75SDVMPWA4VD017SZRW1BFZP1TD6Y8MECZCZT }
{ amount: u7100000000, recipient: 'SP16CB1TDTN8DGJ4RHSZ3APDF54CYXRSK3VMTDQ8M }
{ amount: u7096180690, recipient: 'SP2R4AG5JN8VQVNK9XVBHMHDNRAPG8925K60TBTYM }
{ amount: u7071218250, recipient: 'SP21MF9CK7EXWE76VZKH5109FNVD795NQJZ0GMSG }
{ amount: u7069658700, recipient: 'SP20SE1JNR7YH8JJHFH1E6EJB62MHHZQC53EWQHN7 }
{ amount: u7062414270, recipient: 'SP156J734ADGWXNJ7ASWV4FDKG96VHCVHPJTJQXRR }
{ amount: u7059371340, recipient: 'SP39BG6ACR6M3P0G35KV36AG9ZSR1077AQBERCVD7 }
{ amount: u7047487380, recipient: 'SP3TJNARP8V8PBTXBH9ZAA68WCMF3JEEN9W07S5DP }
{ amount: u7038865540, recipient: 'SP2R3K3V5XBTK9EXR28KM0H71SKFJSTTBHPP32R4 }
{ amount: u7035296820, recipient: 'SP3G1WFQPW6N7T70M4CE085MFBSN2R8RZBQ8SDQ9F }
{ amount: u7024377840, recipient: 'SP3S6NYPVDJGV8T7WMT20V85RN85HZX3HDCDVWB5J }
{ amount: u7016514240, recipient: 'SP2CWK04JJJKN70XWSW20K2FHNRNERV1ZF4SCETV4 }
{ amount: u7000000000, recipient: 'SP19BW8FGQ88W831YS6GQ73ZV4HBV69AVVMEFNQMT }
{ amount: u7000000000, recipient: 'SP3HGAQQ6NS034R47V0KDHA146M88WBBHN5TDWG7Y }
{ amount: u6995107170, recipient: 'SP2RT46QZWQ3NBQNYEP0YTPAZSXKBKWYGPP2V8S3H }
{ amount: u6985960000, recipient: 'SP14B0F4B9AB9C5Z5C91YJ0WX4G7S81B15FVW7HAT }
{ amount: u6984708000, recipient: 'SP12AVJF1HX3JR04FMAK6T039J2HSWZMSJXGE8X9W }
{ amount: u6978568730, recipient: 'SP3AFR4XCDQHZ105HDAF1VHHBXKBJX20M3VQWVK9E }
{ amount: u6974497870, recipient: 'SP2WCDVKTWWFK3F8JPNDA5S1D9T5GQHDE31FXB8XJ }
{ amount: u6974392200, recipient: 'SP17K65QJ5FY4VS86QFHYPQCQ2M13NJJ9V3H363Y4 }
{ amount: u6971001510, recipient: 'SP1FHA1EN5CAR7ZY6J8Q323Q8CV9HQC1BCW2795CY }
{ amount: u6964000000, recipient: 'SP7SE64ECD2K03XY6GXDBTDHAJ7NTCRMRVFKSTXM }
{ amount: u6954754260, recipient: 'SP1SMFMEDREFWFSSXH6RMTSQ74A4QKTXCBMT89NJ0 }
{ amount: u6944414440, recipient: 'SP226AR9PCF2SAD1AKGPTTVYZW0VBV4SGT7SQXXVF }
{ amount: u6934067270, recipient: 'SP387RAPJS50WBKKWGE3SX7FT93VAKXWBC62YSQMZ }
{ amount: u6929810390, recipient: 'SPHJF6YNXV15Q76MVA51YNBV2PKGYFPMSSYYPJ86 }
{ amount: u6909968750, recipient: 'SPE8YKV4EASHBTV4XTHWPXM5SB9HP4DV4QAVBWKR }
{ amount: u6908507420, recipient: 'SP3NXJZZNBHHNTC5B0KCDA9XYFGKPXQJ6YMHS3EW4 }
{ amount: u6900000000, recipient: 'SP30RVEM0DSW0ATJ9S2K3KEB1YND7K0MXAJWYQSB6 }
{ amount: u6894940490, recipient: 'SP1BYJ154HZ6P0GWTKR4A563Q203JERC1NM4H2B8D }
{ amount: u6891634600, recipient: 'SP1SBRS1T1Q28TFTS71ACQ61X2YPG5TW8NS2FEYTW }
{ amount: u6881554170, recipient: 'SP3FJH30TBR7BHY154MN1CR277J80EY0J9P46GN1G }
{ amount: u6874987510, recipient: 'SP1792JRFMN520ZJE5QPZA4FGJA55MM5WSM1B1MPM }
{ amount: u6868208050, recipient: 'SP1X6HSRR1C59V7RPEFMYCJHWHE697TXVFZRF94T1 }
{ amount: u6858328670, recipient: 'SP2BVE5F3A240ASTMQWH6GCQKG29GDK81C80CMT58 }
{ amount: u6856398680, recipient: 'SP1FCCM4AGQPK093WZNAQGGRX1ZHP3W2VJNAWWZ4R }
{ amount: u6847103950, recipient: 'SP2G2616Y6MF239ZCWMJRT6RX1HBAY1ND5BDDRKTW }
{ amount: u6846443550, recipient: 'SP1MR0J31AZP5DBPPF4CVGNE75Q14NMYBXDEM80Z9 }
{ amount: u6844500540, recipient: 'SP3Q91H6X1GF8QE1GWR9FNT7GYT9XHBH1YSRDT3FT }
{ amount: u6835727060, recipient: 'SPXR2V01CBQ8HMEYCECRQG3E841GB1X6RR983DBW }
{ amount: u6826475740, recipient: 'SP1P5SFTWG9ZGE55P1XARDCQFG2AYKXAWPETK56BN }
{ amount: u6821021150, recipient: 'SP19R89P6EQ3XE8B2KC4K5M1FE909XWCZCYEN18P6 }
{ amount: u6806693240, recipient: 'SP3FQRGJCPF1V5BT45BQ5S96V8PR5F0JFJQ9ARYYW }
{ amount: u6799163350, recipient: 'SPM923TSGVG4VZ8BJJSC6VS4PTWBT2KPG5FRNKHW }
{ amount: u6781455490, recipient: 'SP2ZHPZZBS25E4S1QVD5PJQ764ST8NYJQ14FWX5BB }
{ amount: u6775972620, recipient: 'SP2F9C1YKYMV372YV6WADK29KSS5FS97MCTKQAE85 }
{ amount: u6773741290, recipient: 'SP30VYZ66J6KCBAX0R81G6T652SKE2YY476XBW33J }
{ amount: u6769298390, recipient: 'SP2QESA7KX4C702G1WJKMW5XPVDJMBPBSHFSKDMK5 }
{ amount: u6767508050, recipient: 'SPSS7WAYA17Y8Z5Q6GJTMH4FH4MRJ7HZZ6JPGAGR }
{ amount: u6761000000, recipient: 'SPJ4C56QR526T9Y9SX1JMRB2EE6QQJ0YWGXAJ65F }
{ amount: u6752344780, recipient: 'SP2WKWZ4GX344MTGJEZEN44H40S2HXD09V2QCPERG }
{ amount: u6752105470, recipient: 'SP3XEW6MTY8GVR1EQA995B60KSZPXZMTHQ3XGS31K }
{ amount: u6719455800, recipient: 'SP261SNWYYK0BF1BNHVXMQT7D03BKEQ370VY1WGAC }
{ amount: u6708743990, recipient: 'SP176Z3VWHTA9BYJZGE7KPQNE1S61B6BFMD0A29HH }
{ amount: u6707931340, recipient: 'SP2G4D8SXDN3BMN0MS1ZAH66SAT6XK1KMBPHA5RZR }
{ amount: u6704836410, recipient: 'SP1AVZDCAFBYGY0Y320ETPM00N3NB3W2XKK6GR6Z0 }
{ amount: u6702764930, recipient: 'SP32T97PTRZ9VMJEVQYC4QFK35R8PQ2ZMFNZBE3S2 }
{ amount: u6697521650, recipient: 'SP1V49K4QQTZR78Z42JG445VNQKCGDMTQ37CZKQ6V }
{ amount: u6694185430, recipient: 'SP2Z6069E2YF5Z5FKQ5HH92W32SEG44JME3QYXN2V }
{ amount: u6690770000, recipient: 'SPFPHNHWF5WJS0ZF0ZEG9KSDQP3YY2BE6BE6ENS9 }
{ amount: u6672350580, recipient: 'SP119F3JPW5AKFFKKTWEXE1RVD3TYQP8SG4GW80PT }
{ amount: u6662398760, recipient: 'SP3J7Y4C6XGJ5DAWMAKVDT4YTSH5FJP1THCZ2NYY4 }
{ amount: u6659791070, recipient: 'SP2K1XATFRWWBECH1RBJJ34FFZ1C2CZW301GB2KPR }
{ amount: u6654614970, recipient: 'SP1M07HW2GAFA6KXNZMC20MMPEAPBZH4JNA2NZHFP }
{ amount: u6623795100, recipient: 'SP8KEMEC73Y58GGW2GK5YRJNH4WF9QG9XTY1JTV5 }
{ amount: u6601461970, recipient: 'SP1MTS5CGTPQWYVSAWWY6GXTAC2MA93FATVMVPZAP }
{ amount: u6583276690, recipient: 'SP2DX91KQQMSJ100Y7HTPBXYDGDQRA1YC528NA86E }
{ amount: u6579495750, recipient: 'SP3YYG7ATM42EQQ5SDGS6100K6EYARK8FYGYD3V9S }
{ amount: u6572187800, recipient: 'SP2GS2CKZ5PMQAVMQQ1TKYYZAEVZWAC6AFV7Z77W1 }
{ amount: u6559865180, recipient: 'SP3DK3T5KNJM4HMCKEA2QE70EKQ7FQSS2T6EG27RX }
{ amount: u6554864310, recipient: 'SP244SDQJRJCAWS009FTGV645XJDTHQ0Q6XW2ZHFY }
{ amount: u6552244910, recipient: 'SP1R20VE5FECBGY79NR1KF6NR0J8A2EMDNEK70X08 }
{ amount: u6550448530, recipient: 'SP35MEYYBHSFCFXY296YGP7NAT6Y4XBJW2VETR8AV }
{ amount: u6548158120, recipient: 'SP3WFBZJRSWBT320R35BM53TQB5HCZ93VVBJN12JG }
{ amount: u6532068720, recipient: 'SP1K5HFK9XVTPTAMAWZ8VAWDD975PMHT9RTZ7G7X5 }
{ amount: u6504100240, recipient: 'SP1S1X6Q79H7MR0Q4NCXAH7P9T5SGPR21D30BMSEZ }
{ amount: u6500854850, recipient: 'SP16XD8Q7JD8Y2Y93S0WZC6WGN421R57V0Q56R7CX }
{ amount: u6491269890, recipient: 'SP3P11E5Y4M0QKMT8NXKA3HG3ZNTXK39J3JEAB51Q }
{ amount: u6481497000, recipient: 'SP19MSN3C4J2APVEWHBFGGW4BMNNMJ5FBV5XC0GZV }
{ amount: u6479413040, recipient: 'SP27SAJ9Y60ZHCD7HBKHXY5CWVNCME57V1JHM3EBQ }
{ amount: u6475587180, recipient: 'SP2PT7KM6BDP0553M4T9TQQ4FKMJNK7EBK7J23WCX }
{ amount: u6466438220, recipient: 'SP3A3C7MQD56VXXF4FVBCZYRMD0NMX9N2GABW0DV7 }
{ amount: u6462954000, recipient: 'SP3DP66E2JB3XAJSWPKFNSAESAEF35VJC4RBDTPYM }
{ amount: u6457635920, recipient: 'SPG9E627HE3AGJE07Q7F4JM1XTMKX6TTB9YT9B3S }
{ amount: u6423655370, recipient: 'SP2MEN2ZRQCYTSVM9ZSMNX9Q1MMX94VERN4FPXMS6 }
{ amount: u6415018950, recipient: 'SP2RN84RQTJ08CW4T0GP6HKQTZPGB6JN9X413D75E }
{ amount: u6410850730, recipient: 'SP3NVJC3ZN16MWCRBR95KCJRN2RNWHT8G566Z73VA }
{ amount: u6408313170, recipient: 'SP2THRYZRPYKMGMQ0126VGM0BRF7Z8B72M0VQWK17 }
{ amount: u6397883660, recipient: 'SP1FRA7JBZVE22EYR6W2VQDHJKZJRAEWAEN5XVWAW }
{ amount: u6397748340, recipient: 'SPQKN1RCM32X6SCBQFM6B0TVNR3HDMQWXRM7N7JX }
{ amount: u6392528000, recipient: 'SP283DX8M9ZG6C8MBGPH81949SGQSX2ZAVM59J0VA }
{ amount: u6387815320, recipient: 'SPXW2CTZ5CMZ9TR0G7QHEAH2TFFTH7MWFSQH4123 }
{ amount: u6387343710, recipient: 'SP28AVQDYECQ593JW6CYJRP11MZVTM8P08RWA848F }
{ amount: u6384638000, recipient: 'SPFPPDSYNWXCHGGHW44KTJ15SV0Z09HQZ2REN37J }
{ amount: u6369462300, recipient: 'SP22AYBXBFZSAJN1JZ7N5EJ11T7N2VBE1Q2FMMVTY }
{ amount: u6362400000, recipient: 'SP3PBZ28WNWJGNMMSBJBYZ815YE6S7VJHCK4262BW }
{ amount: u6360336370, recipient: 'SP3J1GKCYR60QCB1DJNWD03FP65ZEPZK3EZ5C9W98 }
{ amount: u6345236320, recipient: 'SP3SG2SXHSCQKN838RD9FM3MT7H99MM5Q74XRF7WH }
{ amount: u6337883390, recipient: 'SP2CM5Q4ZDN84YEQXRY6KH00FGMJT9MHKZAV6FDEC }
{ amount: u6335407130, recipient: 'SP1V4JY32QYB31DSV8HKN5J7T3EFVD284AZQK4N6Z }
{ amount: u6323354310, recipient: 'SPER2WZE3TXCZYVR8Z75K7CR6MHYJZFEAGM895M0 }
{ amount: u6307091400, recipient: 'SP3C7NS4CV1Z4K8HZ1YHE183TC8A1ZV8DM14EGTV3 }
{ amount: u6300000000, recipient: 'SP2RSBR3BPDVW5MYFGFJSTV45P0KP76D4S5FRV47R }
{ amount: u6289858560, recipient: 'SPT2MV9H04WS9DJWMRQCGTMAXMPM59177B2HM4M2 }
{ amount: u6257705210, recipient: 'SP1MF7ZJ60QKX8SNKCVPCJPA5M1AEMY81V7AH4JP1 }
{ amount: u6254488860, recipient: 'SP1R35BRVK822EGWHTSFJBNESKCQ80SZVTZNFSPTQ }
{ amount: u6244478520, recipient: 'SP240ZAHHEGGABFCSDMVXMTRB6ZQJ6XM4PPHFTF9A }
{ amount: u6235964550, recipient: 'SP3RAHHACDESVCBZ25XR6XECYYVVKND5Q7M7G63E3 }
{ amount: u6235421560, recipient: 'SP2RZ48CG5S4S79C2A3GRNP7M9NETMBWW2346MFHM }
{ amount: u6231523050, recipient: 'SP3E362CDP2Z7MZH8K4QD2S8C081CTSB5ZJC000HN }
{ amount: u6228655220, recipient: 'SP2AQS03MFK9R8DWT1A342DY8QV6TG87M760KN4KH }
{ amount: u6227509970, recipient: 'SP3H5DQDWB1Y951WTMSNHJNWCCFD4F10KKNSDPVM5 }
{ amount: u6225967810, recipient: 'SP1670MKT45KGCGQGGHHK0V082RPTM1JXJXAAYVGH }
{ amount: u6217090010, recipient: 'SPDAG9C3RQ0ADTZ4VARYJVX848JVTB7PWMHV8WNX }
{ amount: u6207050620, recipient: 'SP2HAMXSFVDEBA77PG8JMQ7GD9EFQ0XYXMA15GRH5 }
{ amount: u6197000000, recipient: 'SP2PZ5TFMJ7JE4F43ARY3QX1P6ZWYE7AZNETRMCE7 }
{ amount: u6181934700, recipient: 'SP1P7344SD5YXKAMMDC140N6M7TBVX0R7C681R0WW }
{ amount: u6180201010, recipient: 'SPQ691WM7P5VBKANB58TQ7BG8QYYNHN1CQC08TZF }
{ amount: u6165305560, recipient: 'SP2WTBSWN1SFSXV0K8T1PMFFESQM1HVQVAVMV3875 }
{ amount: u6164000000, recipient: 'SP3Q1XSPNTQS4EQACDGKQ9WRS3G41324WFC74XDQK }
{ amount: u6161975370, recipient: 'SP20QWEPBQJP86N4FQP0S8MZ70HVNY4Z5NDGM6VAR }
{ amount: u6144937950, recipient: 'SP17ZEPWXBCQQ8ZHB1XDJHS0VYY6ZSF464YFG6P2P }
{ amount: u6136937690, recipient: 'SP15GJJGP1N06J1N4748FRB5FNF9V4WQAEFYK2B96 }
{ amount: u6124210890, recipient: 'SP2JT598PVV7JRBVD9K9JMTZB2W464380G1HFQHK7 }
{ amount: u6121981540, recipient: 'SP1RFN0SAJAPCPGY37YHHDZB8YH1RH8DP4ZVHMFR6 }
{ amount: u6100000000, recipient: 'SP3CFQS4H0Y545JB791DXZJ5W1463NDX3ACVG9YJR }
{ amount: u6100000000, recipient: 'SPXHT7R2J29GB9KN41HCCPY38VECZYBT4DM8Q2HQ }
{ amount: u6097324150, recipient: 'SP2ZGVBG9REZJ6SD8GYWQTFZ6RKQDW0MXVS697MT9 }
{ amount: u6083812980, recipient: 'SP34FEN3PXATWAWGZ47CW1NA61R76YF1ZNP97R5FN }
{ amount: u6070386720, recipient: 'SP1H8N5QQ816HTWS7HM241R28W6XCA6H427RCNF5Z }
{ amount: u6058454290, recipient: 'SP1H6CR307F645F634ZV7G38XV1GGJGTQ9MRQMHGC }
{ amount: u6052310000, recipient: 'SP27GDJC8R2GCVST2BT6X7P8QQKBN4ZVG481JQEV1 }
{ amount: u6045730220, recipient: 'SPN4EZBCCETG5GF07BMDWCFE4N09QJAFJDQ4WXR0 }
{ amount: u6042831670, recipient: 'SP2934WSPAKEE4W32YNB1PQZ2VT7RA3SRE9T9WKW9 }
{ amount: u6041239590, recipient: 'SP3TQ9R980MXH6CTKFZCBV5Q74AWF47VBXGEN99AV }
{ amount: u6039215070, recipient: 'SP2J5RR0H00CHP7A1P85K5JNVEPKV9DHDS7A2HSRZ }
{ amount: u6026241450, recipient: 'SP236403YM4Y7KMFT2V9DZVVXR2ZEHG9CT5MKAD5Q }
{ amount: u6024465330, recipient: 'SP1EVT08E2CAKK0C0RWP2D264GAN275VDWNRQ1ZK }
{ amount: u6024000000, recipient: 'SP985XD7S3SDGW89NN7SHGH8JTNGMKQKTNPAC0WH }
{ amount: u6002202750, recipient: 'SP2AN88MVFJSW8YQKCRE1D55PAT5WS22EA65SJ5TJ }
{ amount: u6000004220, recipient: 'SPC4E5BJV4YFAW064Y3YV12VSQS7XQ8H2066KAC3 }
{ amount: u6000000000, recipient: 'SP10MF64R7DXCKV5YF4P7YW2033R8YPVMBK2BFWCQ }
{ amount: u6000000000, recipient: 'SP1BDWNRYE5DT04Q0JBTR9ZSJE47DBYG2N84SZ1D2 }
{ amount: u6000000000, recipient: 'SP1S0F66MQHPYP7TZDGSTA4JS8P7M6XKN63Y3W7BQ }
{ amount: u6000000000, recipient: 'SP23THVS6S4RXZ7BWY87JM02JWW98D067PV5199W5 }
{ amount: u6000000000, recipient: 'SP3PRW8G7DMPED3M2J86347QXAME7HEBMKGMGAX6J }
{ amount: u6000000000, recipient: 'SP3A90Q09W59ZZ0K5GRZJSC5J6X2ZMGMFC490Z8G0 }
{ amount: u5978713170, recipient: 'SP1YKY801KBZADQWQRKZ7Q23C69TDJ42ASBR0AXJE }
{ amount: u5970063220, recipient: 'SP11BM4N515NM88M87WWCB74RV739VWNH11D6E3JC }
{ amount: u5928461050, recipient: 'SP3XCYWZV85MKTW9ESN60A008DC5HZBG0ABT3Z498 }
{ amount: u5924480250, recipient: 'SPKG1APB20YRA7CP8FGH39K84XGAE2SM0K0X4V2K }
{ amount: u5924194240, recipient: 'SP3AGAGE617TEG8Q3FJNSSZH2WX0RAY7SYRXRXV0Z }
{ amount: u5900000000, recipient: 'SP1E8XR01PJQCY539F5RR0E97416G0PR732X1GA1S }
{ amount: u5897726220, recipient: 'SP32VK5AXW7BXGSKZ02AY6749D7BA7HP1A56EAG79 }
{ amount: u5885218000, recipient: 'SP3ZPDVTQE6HEMSBF9FSD2AMTNM6E277EV3XS9ES6 }
{ amount: u5871000000, recipient: 'SP3R5S20DF3B8GFRVS0P6KQGEFTY1Q8K562V9J5P1 }
{ amount: u5866421620, recipient: 'SP3FYF460W752XFR450AEARC30Y6EVPRRKJX3ZXMV }
{ amount: u5863000000, recipient: 'SP15AA577MFXZC4XGMW2JEXR1M3KCXT20H410DFZ2 }
{ amount: u5862507980, recipient: 'SPT13ETBZS8XSG5VTHP0CSGAAX1AGD2M00WFE1VA }
{ amount: u5862311030, recipient: 'SP16JVMRMK0ZNRMMRMQ1CFD08P5XCYB44VJ74GJKP }
{ amount: u5859350000, recipient: 'SP3CSE6T1KBC1CF535AE04Q66XYHKJJEST5Z0MYQ6 }
{ amount: u5847265890, recipient: 'SP2TPEYV9XWMQ6S0K48NRAKDASPB613AFGBSCCYZQ }
{ amount: u5842689210, recipient: 'SPWS3Q5BSV3G22D33B1D72CHDPFFS5FHDW4Z8GGZ }
{ amount: u5813057000, recipient: 'SPDBX927QTGF6HHN4MM2N1FDV5FGZ45JM1ACJ7MK }
{ amount: u5806162250, recipient: 'SP215RVKF78GCTNPJA5HEPNHW1EB16HETH5P6KBAA }
{ amount: u5802238460, recipient: 'SPY0PS5CYV12EBGH7CMCD98RGAP3CW24W2CNQN4G }
{ amount: u5800000000, recipient: 'SP39PKXM2JYWKX32NVXXJWKH8TXS85XSR09DBJMEN }
{ amount: u5800000000, recipient: 'SP39ED2NKGRAAN2TJN8QXQ4D6P7XJ0V4RYKV44BJC }
{ amount: u5795889460, recipient: 'SPGGZDAHMY21WV30MJHPY9KR6B1EEYW6RBRB3Y1Z }
{ amount: u5789194140, recipient: 'SP2FQJWGNGGPK3XPSDJ4DMAQQYQ4CKMS3B4TCM37M }
{ amount: u5779013700, recipient: 'SP2MY71BCRCD0XPPT6Y94K576W4Z27DR92GYD6EQ1 }
{ amount: u5772848580, recipient: 'SP1DBWQZK539XVZZX4PS0Z13J22D3MHMC090QN6XC }
{ amount: u5772334100, recipient: 'SP3A3TN725G8ZYVF049SYT5W2NYER1P0Y5HKJNKK8 }
{ amount: u5771185870, recipient: 'SP34PZRM3AJG88SS5WR3G1F7HDBWMM9ARASHM5R4X }
{ amount: u5759059880, recipient: 'SP1H8CFEKA36BN75R5TEAQH0ZZPKAQVCFZVRB1MVX }
{ amount: u5757480000, recipient: 'SP14PYXRMMH0VDAF2BZ5NEYGZJV5SENC8RMAJYM03 }
{ amount: u5750000000, recipient: 'SP2YSNFZTD7XBG6CQVND4YB49X0M0SFN9X6QS4WD3 }
{ amount: u5746401120, recipient: 'SP17AETY5B70QN9PKMTH7C0HSZVZ5BR6GPQBQDH47 }
{ amount: u5739279720, recipient: 'SPGR3Y05EXD0F6BKZKCWBXQEM26HAX46TTD1BYY3 }
{ amount: u5715689790, recipient: 'SP1YAJKK93HG8XKQR45JMKVAXD3XJHGWM3AEXX4RC }
{ amount: u5714594080, recipient: 'SP2APBCHA5YWSB4MBRHN4KAVPM6EM84B4YFS88CHB }
{ amount: u5706888680, recipient: 'SP1DMAMEAP234XRYTD9C7RGW2GQP2MVYX0252XRYS }
{ amount: u5700438620, recipient: 'SP2S0FA48TV7FDS2MBMVEKCGS868JRNY97KWHQDJ4 }
{ amount: u5690218400, recipient: 'SP31BJS72Z602YRYSR0Y2YZSVWF7ANY2DHNVGQCN3 }
{ amount: u5685737590, recipient: 'SP2HEYKCSWF7M91PQQQR3MAHPHNSAA1E8DNNQXE0S }
{ amount: u5672630950, recipient: 'SP2BFPCMH88SXHN1T31M5W0A805GSE4FS5HVRGBE6 }
{ amount: u5667791010, recipient: 'SP2439VF5MVD3XHKCB3YVPM21VKA69FAYYX6AHF3C }
{ amount: u5663302850, recipient: 'SP191Z9N6CBQCSBRXQR9Z71NZ9JPYHV1DTYD9EFQM }
{ amount: u5655017430, recipient: 'SP2XJAWTQH9MJ1FV1QGP12KP3Q1SZAYT3RTBJBDPK }
{ amount: u5651892070, recipient: 'SP39A09RKB56SBYZ15SPP3WHW0K4TX2E3HDP6YMJ }
{ amount: u5643838980, recipient: 'SP1GDRM1565PRSSK2GZJ1XXAQZYEQPSD5J079DMTF }
{ amount: u5638272860, recipient: 'SPG09YETYD4CXTHX8JHMA6WFQZPD6V0WKP6RZ4Y2 }
{ amount: u5629002380, recipient: 'SPGR5FVR6AH9A1MKY86F5QK95A3BRST37CSRCFR4 }
{ amount: u5622221280, recipient: 'SP2P6T31NEJ1JCMC3PT15FCWRMQ8FN8K1535WD6ZT }
{ amount: u5622206190, recipient: 'SP2VQDWHNNEFWNREEPEF70ZH4T8AZ6JT8D4FT2WTJ }
{ amount: u5622176030, recipient: 'SP1PQSDGZTV1Y59JGX81CTMSZVRRWWH35EDCDCK6 }
{ amount: u5621856000, recipient: 'SPY1TTKSGDGW03J6EK8JMH2TNFXGRARCF3YHGEFP }
{ amount: u5620619350, recipient: 'SP46W6EE0VJK5W0FS36HZP53VZ7FC8P00S9CW6BW }
{ amount: u5619965180, recipient: 'SP2Q1A3TKH9E3F6MEF37HNNNRBMGZFBNEHPM598BC } ))
(define-constant batch-50 (list { amount: u5612967330, recipient: 'SP3PC0HVC4AX9BVWZFJNSVHFVZCZGCP0V3W56FNMW }
{ amount: u5606028760, recipient: 'SP1FS8Y2EVJ9E5SK456EGT90RTF7W5W52JPA17Q97 }
{ amount: u5603713750, recipient: 'SP39AC58SMKCRRX6AKJGP53EQY6ARQV12KTK3B2N5 }
{ amount: u5602870800, recipient: 'SP37D8MDAZRZ335GT4YRZS4PJWVE85W2E09ZFPPCE }
{ amount: u5589295020, recipient: 'SP3E6F58EKANN80WVAYJR777B1JCF571M3DRR2D1P }
{ amount: u5584098940, recipient: 'SPFZ03FNTQB3YGSFJN9FSAJDVJ0F9QF3JT8PR0K3 }
{ amount: u5584033240, recipient: 'SP1G71WA6NPVKFQDGQGXKZH46W5E9P3FPRD6J4P33 }
{ amount: u5583972400, recipient: 'SP1Y3GY39PXMA14WTZH05F1PXYPZ6YKYKBR8787DR }
{ amount: u5583592200, recipient: 'SP9APQXEGTPP4PYH96G702NKG5EMBANA50SQRVNW }
{ amount: u5583090000, recipient: 'SP1ND76TTNPSYZ3GJ47BBTN2PJ8JYHZD8K81P9HV6 }
{ amount: u5580962330, recipient: 'SP813GZDDZACVA27BPVVPMGRP2YQ17FBS202QV72 }
{ amount: u5580054530, recipient: 'SP3N5GEP9R6WZEETAXFM87MSZH1J387MC7W6SHD87 }
{ amount: u5576771510, recipient: 'SP2R48V871FPAWWW407G317TWD6JS8BAW9BPSDWCW }
{ amount: u5574215650, recipient: 'SP3T1DJJJYSKG43Z767SK012YXX2DP1GBMQS0MTPW }
{ amount: u5566704230, recipient: 'SPXJPRB47N1RW12JTA2K51XBT45C4670BR812G4Y }
{ amount: u5562492210, recipient: 'SP20JKH58ZDPD0KSBK2MF5ZM8AWD82TQD530BYYZD }
{ amount: u5555897000, recipient: 'SPFX3JQM3D4AKRH24QY3KSBNFWDH2JRARSYM5WPB }
{ amount: u5554076750, recipient: 'SP3J4VWVMNMQ841D6A1HWFCXHWQG0CB58CF3DF3TW }
{ amount: u5531110350, recipient: 'SP33QMQXG1G8200FYJQD484E2SWA8J11Z3MSRMA8W }
{ amount: u5527474000, recipient: 'SP1EQCPYGXFH7JH62MXCBPNCVN3DE1E93MT59HAYR }
{ amount: u5524488990, recipient: 'SP3KQA58EWB4A1EDVAYWC53D5HJCZHB0VV071KZ9J }
{ amount: u5522799360, recipient: 'SP2SXRKJF7GN13VV9KK4FJ5N1718BWA8VPFSM8PRN }
{ amount: u5521065870, recipient: 'SP302KE669R1APKV29JQVZVSSAAEHA8RS42G79A2Y }
{ amount: u5519726670, recipient: 'SP1HV17ETS6EPAVZ7CCE3PEWJ8FAMR360FNXP8R94 }
{ amount: u5516834890, recipient: 'SP1RVDCPH2XMB8WJCS70YH5D1VFGDH1SF63945BSP }
{ amount: u5514040160, recipient: 'SP1EHC2CHFXX191Z0EPHEST2KJNHVG4TKAA90APTD }
{ amount: u5509754980, recipient: 'SP2Y738VAEMGCMJ8BR4Q94A74EY7DHQEEG31KH078 }
{ amount: u5508316240, recipient: 'SP3TXBAXRYG3J6P89VJ2413HQN5MRFQV3FRWHZ3PY }
{ amount: u5502861000, recipient: 'SP3BB5SG4390377FH510XQYWJXQ7ANEEK5ZGJ4GC }
{ amount: u5500000000, recipient: 'SPZCNZ38YNSGTMSSY6WPP5C5AT130G197P0W6M0H }
{ amount: u5493445960, recipient: 'SP1CFSYD8EA7H6ASDVBT3GRAHGKRZ3Y6169EQZNFC }
{ amount: u5491553380, recipient: 'SP1R9E1PDW89RH1C5BZ4R5GA2ZZBFVASQRTFN269V }
{ amount: u5484159920, recipient: 'SP3M5GT4HVK24TQX7AWNH6M14W5G6282NV821AQEZ }
{ amount: u5483877150, recipient: 'SP1RSREAVN9MRG992W7EJSQ7ME8HVZG28KEVXZCBS }
{ amount: u5471490460, recipient: 'SP3HEV0XCX28JXZX9CQWRSHVDWV5C4F7SF2P401X7 }
{ amount: u5469195920, recipient: 'SP24C3B3DA0HSDXPRKR3GVJQ10B82XSCPPPFW2ZJV }
{ amount: u5468017540, recipient: 'SPPTF68BKDPJ1DW6A1N30PTHD8F7XV37CJRPB8M9 }
{ amount: u5465926230, recipient: 'SP5RSBQSNCBB8SJGN0CEQB36Z13SACQSZ464T40B }
{ amount: u5464382510, recipient: 'SPHD5P0QFDSS1RA4PV0J084YC88XKHJVNWDMJ7T1 }
{ amount: u5460427210, recipient: 'SP12H4CSVCVE68D8KJHVV3ZMKVQABPTEM1YE07SCG }
{ amount: u5456786420, recipient: 'SP2G8WRMTW89WBCTG6NRNK674JV93EAJQ46234DBX }
{ amount: u5453474980, recipient: 'SP30V6KXPVY4HA2B5FY82N1G4M16V0SDSJQXEGM50 }
{ amount: u5451181720, recipient: 'SP3DGG833YN9JAWYXHY0D31ZR157JSJ3TJ74WET58 }
{ amount: u5451180710, recipient: 'SP1XJGSEVF6QP0B3E9Q4DX84RXZYMFRNK18ZKT4EZ }
{ amount: u5450912310, recipient: 'SPPT3C9G47CPTYD8KTJV2JWYR0RDFZDMZFKMF17 }
{ amount: u5448594840, recipient: 'SPT3Z9N3KY1ZN0KN3CCJEM1YJ0PK0D4V8ZW0H858 }
{ amount: u5448195440, recipient: 'SP13G1WYRNJH65ADHW126JC5Z7TEYJJZGQ52S4RC4 }
{ amount: u5448069950, recipient: 'SPN7DS7CQHSNZESWR17KVY0PH1D0RPCGRJDW0MFM }
{ amount: u5445967680, recipient: 'SP1D5FVJGVG5VDJET6HHBMRW0P1YNSGWS2TQFRYTV }
{ amount: u5441782370, recipient: 'SP3PC6PJWATA3RCKQRH7GBM3XY456VQD0FFDA4KA8 }
{ amount: u5439202690, recipient: 'SP652TVQSW2SEJJVXTGEWYP6RGY8NP4E1KM3FXRK }
{ amount: u5438538000, recipient: 'SP23CFBGB8940BS50XHNBPDWK6DTMSX9PHD7THJZ9 }
{ amount: u5432362620, recipient: 'SP25646S24CXBTGX6N7MFY0WTWG65V6HFVXNB6KHF }
{ amount: u5423341930, recipient: 'SPGJSD7GSJ2K8T6QF8Z83F9J4NE48E625NSZS0MP }
{ amount: u5419313700, recipient: 'SP9PVKVVDWFT7Z5TG59X0HQ9JBMQ37REDTPR6E3D }
{ amount: u5417001410, recipient: 'SPT7WNS47514VTT4NEZHXS8W59NTG54JWHVQFWX7 }
{ amount: u5414009010, recipient: 'SP2K9PKTM9R0C4ZBXJVMCQT99ZJV661NYT90Z2YY7 }
{ amount: u5404259260, recipient: 'SP3KWCZ3J6V68G8NFXNCC1ZB39YBKG105HR6F1Q9N }
{ amount: u5403810500, recipient: 'SP3W5NMVQFXSFVG13NJEEKAEYFGPKZZYNP9R29J5S }
{ amount: u5403810500, recipient: 'SPCA1KK1K9TDT9DR2QQ0ZKX1D3M44S2C0T32AEQJ }
{ amount: u5403810500, recipient: 'SPAABGTN7GW96M2TF68CD6E5KRHETMPHF1JAH1RR }
{ amount: u5403810500, recipient: 'SP93YAQMJHV1F49CWP97SKRSC3QSVSN7ZJMGTP4P }
{ amount: u5403810500, recipient: 'SP4K7HX3BVP2KTGCCVFYKEXXQPGE7T5PT0TV5AKV }
{ amount: u5403810500, recipient: 'SP32ZDTGC4M2RHRYHPNYJPCDBBJP5PQ6YAC4CK0QP }
{ amount: u5403810500, recipient: 'SP2N7Y3N7W8SB6PZ1HDVPXTKXMVG8606N3D2R0AVR }
{ amount: u5403810500, recipient: 'SP1VZ8M3WCTAN2ZYBHECF8YHJCH7P9SAA8AXM9M17 }
{ amount: u5403810500, recipient: 'SPGKS9EFHMC1QZTK116AEAA1FCBAWTPMC90ZQE3B }
{ amount: u5403810500, recipient: 'SP33KQHTWK49MJ5YQ135DJMKW7RNKE8GJ8N3J2QBC }
{ amount: u5403810500, recipient: 'SP31VNTESY663MXYTW9QVAKMW53NKPBWP4YFSCZW0 }
{ amount: u5400000000, recipient: 'SP2Y774SWN1DM4ZES7F3BDQMP2A1FJ6QDNRHAQ044 }
{ amount: u5400000000, recipient: 'SP2R6Z0SY68T5ZSHA2T4CFWDB9EQAYQXEVAZFBBC8 }
{ amount: u5400000000, recipient: 'SP2MNNV8F3FJ5EE947AAWMQ1C89YBMR401C7CWGFD }
{ amount: u5400000000, recipient: 'SPBT1SFD23KRE6W3EYHKPRNT976F5B4G597B8S2C }
{ amount: u5400000000, recipient: 'SP1T7MGR3MV2EHDB7DFHEFDFPWW5B356TS8KBJNWE }
{ amount: u5399161120, recipient: 'SP338KM09BCTP574B7J75XG07XT6SC5NHPASVVD3G }
{ amount: u5398862160, recipient: 'SP6C4VE7801VRBQP94HQMTR5DB3XCBHN00J7W3YC }
{ amount: u5398861730, recipient: 'SPK5B0SXGM8GQXW30HE4NCJJ16JF7T3X1CBQ6WKD }
{ amount: u5396121730, recipient: 'SP32Y42EGDWZFG9QYH6J35TSM4NPSZZYWA0W8N9Y4 }
{ amount: u5392411370, recipient: 'SP6ZEVD34N5EDVF5VK3M8J6QJAGX66X4JAMVMK8M }
{ amount: u5392118860, recipient: 'SP3C7DWX25GSJ6C5MPE2DDT13E8S68MD9SSWCG5E4 }
{ amount: u5388645990, recipient: 'SPC76H9HET4B82W3EP8B5BCM86MP66QKZMFMDZTY }
{ amount: u5381085980, recipient: 'SP13CFENX1Q6AWD2TJBFV3XBV12CTG3RYW03KFB0G }
{ amount: u5373254860, recipient: 'SP1J3MAG7PN6AYABSTCWFQES10R2QZTJ637911XVQ }
{ amount: u5367594020, recipient: 'SP38XFYGV62QTTXMKYAEBW7VFP3P6Z7349Q54FSHG }
{ amount: u5366044360, recipient: 'SP318TS0M6VXGKBKY479SV2CH75PM29BSRVZAVTSE }
{ amount: u5363034740, recipient: 'SP14PP38FPFKJ5ZRNSKKYT04Q1M63FM57MGJJNZFP }
{ amount: u5362308850, recipient: 'SPWVKHWDQCPCS3QFYTWGNQYA72WZKQKR41S1N1XF }
{ amount: u5360082890, recipient: 'SP1EQGZT0WN75N5AMJH2C40N5GBJTEVY9E6ZY8EH3 }
{ amount: u5353822390, recipient: 'SPCWAAXQDKQTBMH97XA8C3XJRDCSFV604AJAQ4TN }
{ amount: u5337365420, recipient: 'SPAFPBD7M89973WDEN68FKYW761RQVYNHSEFQZB9 }
{ amount: u5334477000, recipient: 'SP13Y8V0XAMMFJBJQ198NH6Q82734JXEQ6ZRVGA29 }
{ amount: u5332429980, recipient: 'SP2WE58TMVME488KP3D1YW5MZP6H8DT8QAKPPX7HY }
{ amount: u5331637070, recipient: 'SP34DMYAY9A39BF14ZW6A3GBDSEESMPENF1KPT5SX }
{ amount: u5330906140, recipient: 'SP2MT66AZX8R9C1CT4FHMZ8W0P7CR306FS5N3EJ5M }
{ amount: u5329931130, recipient: 'SP1V1TBVQXSMV4G9XE03BMTNCEB1BSG8JY0X7SDX7 }
{ amount: u5327579190, recipient: 'SP2C874FMY5B3J4ADXA4XMZRQPSTE40AF468HZX99 }
{ amount: u5327000000, recipient: 'SP65M8GV1NKW21APF3RWFNJ49XFXW8JSETDNHC1Z }
{ amount: u5314895850, recipient: 'SP1EXK0P4VGTHN81P3F46JGY0P1WA69MM488WFPMW }
{ amount: u5308820070, recipient: 'SP2YMBAA5YD1DJ5H9C3WEVFAM6S2PTSNWBTRVDVPG }
{ amount: u5306155230, recipient: 'SP3ZZBA4SQ2V4QCWKKNZZ3QXT02C0ZJAHSVDQXV3X }
{ amount: u5302211180, recipient: 'SP2FCXF62FXQ4GFJ97JMFA57C2FZWCKCGC5Q406H5 }
{ amount: u5300000000, recipient: 'SP21R05VQM49AVPWB956ASCZKKR9Z34G3W1Y1H1Y2 }
{ amount: u5300000000, recipient: 'SP2WXEPN5T927BRDP7HFXQ6ZD61764GME9XHHQ9K1 }
{ amount: u5300000000, recipient: 'SP3XZJGZD5515VVJNG1KB2MMMWWCRBYWGAH3XK3RS }
{ amount: u5299437110, recipient: 'SP3ZPQ3QWH2V5CT69A9G6WPYXKDKZP6D1YV1ZVT6G }
{ amount: u5296841060, recipient: 'SP26H9QJSDA86BD6PXQHM37SC41FSCGMVDJBB0XFD }
{ amount: u5294996690, recipient: 'SP3C1J9WRTGN1CYP6QBQ4SV83ZKXZZJAS61JCZ5CC }
{ amount: u5291151900, recipient: 'SP4TSR7RRW87BB0W4KJEP8K7AHZZSR2SJ36MFDJ5 }
{ amount: u5283994070, recipient: 'SPCKNEE8CGK25HA0X6VWQ48QRTWKVA3XP64A0C28 }
{ amount: u5281261530, recipient: 'SP18S4TZ7ZGZHC7PF543X71P22PJZ19QPM3HYJM5D }
{ amount: u5281261530, recipient: 'SP1C3XM028ZQRRXTWA21W75RHMSJ6AXD94A1S2GX }
{ amount: u5281261530, recipient: 'SP1SR11PVVHT5NEGAJ35KCJ5H70E4P182HQRXE7GQ }
{ amount: u5281261530, recipient: 'SP2J4E3BAB4SZFN1H180FC2DZTMMXER4HX5R28CZK }
{ amount: u5281261530, recipient: 'SP17X6WRVV13X2WSSYYRW5D8XET03EEQYHN70FZFE }
{ amount: u5278305960, recipient: 'SP2PBNSAS0X9YEWKBD8EGA5DSQFV6TKGZ6DEXY3X6 }
{ amount: u5277655970, recipient: 'SP2JKX7KEQEQ77P2S21WFDS7TZAHX72RDDN0Z747Y }
{ amount: u5275636300, recipient: 'SP2A2DV6MY8YXATWWPRZ9T3ANSB5DM4W80XVNK8JP }
{ amount: u5269843200, recipient: 'SP2H3PFH6W7ZV090GZER77RC23T2C2YF5382WGPKP }
{ amount: u5266739670, recipient: 'SP184Y6MF9SPV78S9VMA2ZVBEV5QVKRNW4537FP6 }
{ amount: u5266564410, recipient: 'SP33FYYEG9MZS5W5RJRR5TJBR4SFQMSGTYRKT1Q1G }
{ amount: u5265720610, recipient: 'SP3STCG6T8D53W0KSCMA1ZKE0YA8D8884N0DNW0CH }
{ amount: u5264501390, recipient: 'SP3D23QJG4S1G6TBXSPFR0N3PMF53WXA50XTX9W0M }
{ amount: u5250517940, recipient: 'SP1Z2AGR9FJ8HTA7QDE1V3MNNCBG5Y3FFW5ME3H8Z }
{ amount: u5246745950, recipient: 'SPW5ZFZHP197PXNT6RENMCBTD6TZ8MN4FCDHKHTN }
{ amount: u5246745950, recipient: 'SP39ZP5J0BQQPRR6K910B6AXZ90WJT3XYRQP21D0M }
{ amount: u5239697250, recipient: 'SPHH2AAZFD9KP1CPXHW4QYTK78M25Y4K22B9WSAS }
{ amount: u5233756280, recipient: 'SP3GAZ5BJXRA15V9FTP44T60WCJDQEV5D20FDHC56 }
{ amount: u5227070060, recipient: 'SP3KY129SBX3GGJYXW2BMBTNFWBYX5B5W263W0DGS }
{ amount: u5226070750, recipient: 'SPY01GYJZP5TGQWNSFE5TTKBF6HVC70JB6DRH7DR }
{ amount: u5225877220, recipient: 'SP51DKKXD3Q28A237XJ69AETW02MH0TJHVJED445 }
{ amount: u5225009220, recipient: 'SPY4FJV7CCMKTPMJSJZQH5HACVW3BYGY9A2C0YS5 }
{ amount: u5221998530, recipient: 'SP1K8QCH131TK7YDR32S176QGXWQPDAFGXYFN5FX9 }
{ amount: u5220521570, recipient: 'SP1M6ZD3WRBHSECG8XCPS306XN7A7NEC5HVY26V6T }
{ amount: u5213171980, recipient: 'SP374GAHVH3ABVAR2NDGKKFKRKRGWPBRXB89FBE60 }
{ amount: u5210834920, recipient: 'SP7T65FCSB8G0SKP771QTN1T3PYJY1FKCNKPX1X5 }
{ amount: u5208789320, recipient: 'SP1E0H14ZVSJSP32PCWPZPPTJXGWPPCTWRN1B299R }
{ amount: u5207750110, recipient: 'SP2KK65Q588PQNCJSQ91KSM6PP69GDGYBNXES04A0 }
{ amount: u5206312010, recipient: 'SP32FAFPPA90MFSQHCEB422HD27M36Y1SJANE6TZR }
{ amount: u5205352650, recipient: 'SP1C79GYRX7XXTEAQKY9KDKBQKQFMDRRCBPVD65PR }
{ amount: u5204439640, recipient: 'SP1QF33CQESD5K623HDG9CW19SBDRTW17N13WGXVR }
{ amount: u5203900500, recipient: 'SP344QZFQPHJXS2R5E25HYT628W81VWE0NAZXN5CA }
{ amount: u5200000000, recipient: 'SP3E9FA71KAYF48C0KWEGPDAJJGDP11Z1ADZTRMMH }
{ amount: u5200000000, recipient: 'SP1HK51PX8MG8EBRP8NF5YHWV4F80M0NGFRHGTBQV }
{ amount: u5200000000, recipient: 'SPTFR7XEHKSHVC3EHEW4S23N1VZ1ENWBKMA701QC }
{ amount: u5200000000, recipient: 'SPR6KFHY9AV7P1VZ3V56JTJMRDTPD6EJW4D051DW }
{ amount: u5199128440, recipient: 'SP3VFN2C8R314NTT00EAFQM87W57YH1EGTWV8PD6Q }
{ amount: u5193155180, recipient: 'SPR70WVCMKA9NV3YC69PBYZVW9VC4Z0MSF90PPMH }
{ amount: u5190160740, recipient: 'SPESTEQN5P2QE0D8CAWBREYAZPWWGG2RDR294J5Q }
{ amount: u5182000000, recipient: 'SP1WDKYTXER7WQVAAWMBPVE8VY5G9FQAP270TRFJ8 }
{ amount: u5181271400, recipient: 'SP385TWSNVJQ2X6AP28H68PVQDG62VVZZ5C305M0H }
{ amount: u5174351350, recipient: 'SP3P6C824R97XC07YBPYPZYYHQP08RYCNDAX4D97G }
{ amount: u5171355900, recipient: 'SPCHPABZC77BVDCTYGANZWCZG0Z2RJ5XDSR5VSJA }
{ amount: u5158904200, recipient: 'SPW2EJ61TGP5FHYGP5GGVHR0XD0HNJ5Z8TDNR5DF }
{ amount: u5158838270, recipient: 'SPWNT84YFW80WK05BBD9NCDJHDBCAQYRSTFEBZT9 }
{ amount: u5153853980, recipient: 'SP26KJMM67EACD4K8NKBZ4P8NSQVDZ0QYNPWKX0E7 }
{ amount: u5152284560, recipient: 'SP3AT9XQK4NM1A8ZFXH938CB861GPBZPTVA4P1XWZ }
{ amount: u5150801310, recipient: 'SP2JRTPVP5RQ7VR8AQ3H6CB870SR19T6XCG6N4BER }
{ amount: u5143172790, recipient: 'SP1GVAY6Q2RSEVNCN1MEZ678DMV2C1238DA6AYSP7 }
{ amount: u5141617750, recipient: 'SP37QWB914V3RXPCHSEQ8N2RXTJ7V07KB64WFHZYN }
{ amount: u5136724860, recipient: 'SP1WFAPHXKWD46A0809TG1VV9E8FBD2F4HH56JY2K }
{ amount: u5131567360, recipient: 'SP17AEHKGX440VESW7DNNEYK49GNT6YBZ4K636J35 }
{ amount: u5114870540, recipient: 'SP163X87T8VD4QEJSHMPG7QN4XAHDWM9FRHFAQNF3 }
{ amount: u5112269080, recipient: 'SPAG2K3KNB1V1MWKP161NAQ623BMMDP914ASPF4J }
{ amount: u5110288270, recipient: 'SP1F3JX3WBK30F55HEJ769C838998H49XCFMQMTBF }
{ amount: u5102300020, recipient: 'SP1J9HYR034E7A7GT2WD8NA9255JTG09AB98C9YSN }
{ amount: u5094198980, recipient: 'SP11JJ5RT71B3S5V02WGA77A5TW5SD15A5QZ2WT0F }
{ amount: u5091437230, recipient: 'SPH32W39PGRYS0EEAT26B340TWB9XBJ0B76W6WDN }
{ amount: u5089303760, recipient: 'SPEH21DTN67ECXDRXG858XHBZMEBEBFE2FV79DEG }
{ amount: u5087827890, recipient: 'SP2DYBJ8Q2P0TCACE12CPMH9CG5KPNGGW94MY1X71 }
{ amount: u5084940370, recipient: 'SP18YN2VA90SV937BAWTVN0VZCM3Z4HY2KNYNQM07 }
{ amount: u5084566090, recipient: 'SP2BN6W873KBTM991AQ0HWEWF4R27C1SJ5QRKDKYF }
{ amount: u5081017870, recipient: 'SP25102VHYYXBK182M824Q1H4X7VW7K11S93V92VM }
{ amount: u5080783950, recipient: 'SP2HF5KV3NNR0GDA8WETQ1Z29PXPCDVHGTXXNXTG9 }
{ amount: u5077265370, recipient: 'SP109XZ34VRKXJDMZD0PZFWFCSCTBM8NY27DJH7JB }
{ amount: u5075839740, recipient: 'SP1067TA0GQ347XRJVR8XCH3ZEGS4C0EMX3J1YRCA }
{ amount: u5075264020, recipient: 'SP1XFVT6E1789QTSX7DBT9JCRBB8YNV9BXS70Z4K7 }
{ amount: u5072222560, recipient: 'SP2M8EKH624S9HFY5Y84HQQ58CY9E3MBCM0FCGVX2 }
{ amount: u5068425780, recipient: 'SP3ZZ94Y4QZA6H0Y20DMAEANX9WW1VVBNW6ESEEGP }
{ amount: u5061891320, recipient: 'SPQ7RWTNJT9WAKJ5TBASC1A4991KX0Q3D5P11T6J }
{ amount: u5059723530, recipient: 'SP31R72B1YG883PCBTJ552ASE4T8J45QBC72TM453 }
{ amount: u5057733390, recipient: 'SP39JZ0RM74EYJXH0A54XDAT3FT3V72XSRN40A0A9 }
{ amount: u5057400280, recipient: 'SP3PFCVGYMG17MXP0F5MPCX6DBKP6Z1GT8W3VC48V }
{ amount: u5055351980, recipient: 'SP1SZ0BKC5DPKGE9BKPE49M5WA5Z31SWTEVPTXY10 }
{ amount: u5044908310, recipient: 'SPF3PQN9066ARQNDV7EV31CTQMG2A59EZQ2N11RV }
{ amount: u5039806930, recipient: 'SP1D11X198XEBNNCTXAX97KVNEWAHQZ6R83M9GHMV }
{ amount: u5034391030, recipient: 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0 }
{ amount: u5027003010, recipient: 'SPMV7AARVYK85FY4GB9Q4G0DKM2MX12MVFTTHHXX }
{ amount: u5024587830, recipient: 'SPKE16W177V89G0526ZZGNA4JV4VYT8M0F4ZJ862 }
{ amount: u5020690560, recipient: 'SP1DHA3RYT3P9AHTD8Z0NF6WPNFANSZ9E8TABXT65 }
{ amount: u5020200250, recipient: 'SP8M9HPZDQNENK24D54HQ7W9T39PTD93RV7E58JC }
{ amount: u5014054100, recipient: 'SPMBMNXB1J9Q8J1XTH80EYW6PBEJZJ3N05G15276 }
{ amount: u5013571140, recipient: 'SP31DZQNXM9RC9KEFBXNRKNC6CBG6N9TKBZQ239A5 }
{ amount: u5007548760, recipient: 'SP18DRKVBXQCE8TDZ2A80NX6MVQF3SYW2SR1GK0YC }
{ amount: u5005613550, recipient: 'SP3CJ2CD7ASCKHA6Y6GZJ1JPQ6TAQEDYMN9ZAP7X1 }
{ amount: u5000000000, recipient: 'SP2V9J2M40D9SQ2193ZGKB1EPRSCF7XJVYJMK5C6S }
{ amount: u5000000000, recipient: 'SP9NWPJE2780K5QG1VM8HGWW3NZPP7BWWBV5E3VC }
{ amount: u5000000000, recipient: 'SP2Y112A9MN0FCNWGQMY0KEKE4N8GQZKA7AAWDEP1 }
{ amount: u5000000000, recipient: 'SP2JTDM5GZDBVFWB6GTQF5RQXE99653CS9QPZWY03 }
{ amount: u5000000000, recipient: 'SP1TMHXJE8PBWK1M58KAXHZ2QWSNQ99326XY3C6C0 }
{ amount: u5000000000, recipient: 'SP2C9P9PQQV0TG2QPMY7GBVSDC3XTPCAC2G6MQM97 } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-46))
(try! (contract-call? .token-special-vote edg-mint-many batch-47))
(try! (contract-call? .token-special-vote edg-mint-many batch-48))
(try! (contract-call? .token-special-vote edg-mint-many batch-49))
(try! (contract-call? .token-special-vote edg-mint-many batch-50))
(ok true)
)
)