(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-51 (list { amount: u5000000000, recipient: 'SP1CSWK0E7PTNYVPH3NP1EPD7BBBNHE8F4WDAVXW1 }
{ amount: u5000000000, recipient: 'SP2ZCEN7M5G5C0SYZGAKVT3C1Z6FNET1YNZX9DDAC }
{ amount: u5000000000, recipient: 'SP2D7XXJ32Y4R82RBXAGVB2G79R1GZTD577NTE77G }
{ amount: u5000000000, recipient: 'SP1JN9EH82X4644FYXN0DY3G60NDEPPD4GM51XJSA }
{ amount: u5000000000, recipient: 'SP2V1Y7048524MXRG6C22VS1WVY0BMVQ6AMBXMYQV }
{ amount: u5000000000, recipient: 'SP131VXNE7HHSF3ZR7M0GG3X3P09SVR89RFZK2KRQ }
{ amount: u5000000000, recipient: 'SP1CANZR5PH26ANQX7WXJWEFGJPZ08EY9YX3TGX4C }
{ amount: u5000000000, recipient: 'SP2J6GBQFXFR9XNNTTWGKQQAQQBEX2APBD7S980S1 }
{ amount: u5000000000, recipient: 'SP15TKFKC20YR49DEKKWMGN78NZF2H1ETF53GYY3D }
{ amount: u5000000000, recipient: 'SP218KZG7W1N25C9BGCETYA5Q802ZSJE6S2ZXVS0F }
{ amount: u5000000000, recipient: 'SP27VV8FK09R9RR8TSS2YPWYT31JST969XXA95GX4 }
{ amount: u5000000000, recipient: 'SP77JEFQERXDHB4CEH4Z9B57NYZVM08VFBKT13PE }
{ amount: u5000000000, recipient: 'SP13356S1SF2Z198ES4230EKG8BDZVC8B5GVJ5BGY }
{ amount: u5000000000, recipient: 'SP3ZQNPGCK81VWZPC1X8SCXSZE9370BANGTGC7QXR }
{ amount: u5000000000, recipient: 'SP13SYBWD6DEHTF9WAFBA1JX53D5SXHN9DZQEHSBT }
{ amount: u5000000000, recipient: 'SPYCJ4MP1WYJP5HQT3H84Z513DPNJ17N8XGNJBP6 }
{ amount: u5000000000, recipient: 'SPR74NAGVEYS54SBNBKTKWKA6NXQH9TC5MM812SW }
{ amount: u5000000000, recipient: 'SPZ93FF0F6751SR0FZGP4ZPV04XAK2JDX1T6R37C }
{ amount: u5000000000, recipient: 'SPCVJEGQ4MS777EBRTK1GQNQ2PJYTY4VAB3F787N }
{ amount: u5000000000, recipient: 'SPNNFAM88J85E3XK17N5HH49ZPEAJQE398JCTDNR }
{ amount: u5000000000, recipient: 'SPRYK96CRX9YKE5ZK8489AHZKC54XG9R2M7A1SSG }
{ amount: u5000000000, recipient: 'SP20BZRPZ0YF8VFGNQ4XT6ZQQ8RVYKQCQAAX1G2XY }
{ amount: u5000000000, recipient: 'SP3AN8KD37Z70JD7H1V89EK2TB408QJFRPZFSDGHC }
{ amount: u5000000000, recipient: 'SP14Q156KJBZKGGKM50QM8P1VQKKHHE6QCP6J43VT }
{ amount: u5000000000, recipient: 'SP2BZWDCCVE5VPH4A2J90R3Q41PYQACB7BDZ55WRW }
{ amount: u5000000000, recipient: 'SP3NKQ6318ZC49XK23DH5CH8BEQT3P5MYEVXWXE43 }
{ amount: u5000000000, recipient: 'SP363KC6AJYQV0SX6PA1M6NKBPDZ9VFQQZ5HFWXCG }
{ amount: u5000000000, recipient: 'SP16D5KX6B2WAJ8CK51A9PW7R0YR9XB6YKB91WZNA }
{ amount: u5000000000, recipient: 'SP3C7AXYKEYS10137PXA7NZTSTE5F7BXFZFM224WE }
{ amount: u5000000000, recipient: 'SPHFTWWHPK0HHQAKHK92ZWFJMHQZTJTBF08KTB2A }
{ amount: u5000000000, recipient: 'SP1WT8MS8FBFTYVR8PA8RN5A3D8K50MBRE962432N }
{ amount: u5000000000, recipient: 'SP2KPR4FAH3D6ZKCEQYWA9F316TXZRSYR9M2E76FG }
{ amount: u5000000000, recipient: 'SP1WARDN75XNKNQKB5VDB2Z13AXG57T8QHW067WB2 }
{ amount: u5000000000, recipient: 'SP1VN0XWWVD11EEH82XYQ4018MXWSSCQFW6E9ANDH }
{ amount: u5000000000, recipient: 'SP2VS63F9GJPR8M04S4E8GT2P0HQVVRJ79B5ERNTS }
{ amount: u5000000000, recipient: 'SPE4KHCQ6MYBP6C2848ZTPPSBSENFQDEPCD8JVBR }
{ amount: u5000000000, recipient: 'SP19G8DYRRV3BEWP7WRWBXY683WYTT4NYE0SJ3FH0 }
{ amount: u5000000000, recipient: 'SP3QSK2RQTVNGM6GQGHWPQ9ZAN0YERCJ0XFN157SR }
{ amount: u5000000000, recipient: 'SP9N0K5A01X44DH1S1P5PRSHY6VTM001YZCH6PMH }
{ amount: u5000000000, recipient: 'SP31T2PBXX6QS063AWXBFSR246N34668RNASMJA5Z }
{ amount: u5000000000, recipient: 'SP232G2660DKE3WWKDMPWCT4BTY9CFFVD6CWFP73T }
{ amount: u5000000000, recipient: 'SP18GS3Q96MHA1EV1GB595PYPT0R5ZTXJD3WG4X17 }
{ amount: u5000000000, recipient: 'SP1NCV10H7FSY8E9NC18K410H4Z8PEM6QHM88QKFC }
{ amount: u5000000000, recipient: 'SP2F742NA943QJTGCSJQCKWBPTQENVQB6E94RXGR3 }
{ amount: u5000000000, recipient: 'SPA5XM76AE0W896XM9NWFAJAEMSR6XX4MA39C7YW }
{ amount: u5000000000, recipient: 'SP174WESDBCENA2KM3Y136B5XRW994AZADNSADW54 }
{ amount: u5000000000, recipient: 'SP39V9F13HY8YTP3CD648MX7BBGYFN293T307D211 }
{ amount: u5000000000, recipient: 'SP1WTQVXR8C87M8JJ2F1SN51NTCY2XKEDP2W35GM6 }
{ amount: u5000000000, recipient: 'SP2RZ45BQ5FTFEJS9W1H85KFBNKGM72TPZSE417XF }
{ amount: u5000000000, recipient: 'SP0B80NQCYE0MMVBK1834N5KT3K0MS1QPEFYSNZ1 }
{ amount: u5000000000, recipient: 'SP3PVNA0ANWEM2WQMQKNEHFGG2DSDZQ690CA7A3XH }
{ amount: u5000000000, recipient: 'SPA6PDKK61M3BQ0WKQXW04HTSHDXGATKRAJGEMHZ }
{ amount: u5000000000, recipient: 'SP15GJPEC2QTZ9SKFYP51QJ4JRPPJBGGNPG9BE583 }
{ amount: u5000000000, recipient: 'SP25DCJJTJGW9P3ZCBKHGRHX06XT648XTQYY6YEV8 }
{ amount: u5000000000, recipient: 'SP7MZGH0TGWPEN16D5B99J79EKTYKKHS5TXAY331 }
{ amount: u5000000000, recipient: 'SP19QKAKJJ09Z4GW0FCCBRSRRNGZM4DZTT1FCVD7A }
{ amount: u5000000000, recipient: 'SP20VDRT9XG900F0CGT350JJJRWYN0KVV50MQFKJW }
{ amount: u5000000000, recipient: 'SP20E3Y207KS1X0JKTD0SB5RM1WPQVR15W8M5E36P }
{ amount: u5000000000, recipient: 'SP2H6Y7FZ7G4J3AX5STX50SNVYXVN19T92DK5RXEK }
{ amount: u5000000000, recipient: 'SP15R091TSXBEV1NT8ANQRSM2HQQSKCCXYHC5TK0X }
{ amount: u5000000000, recipient: 'SP1SJCQ6GV9CJS1BMN3TMZC53CAQBXRSB55V92MZA }
{ amount: u5000000000, recipient: 'SP3XDPSQ0QC5P48C3PJB2TNAK6XBP8Q7ASYEA5MZH }
{ amount: u5000000000, recipient: 'SP217YR27VFCTJ4X7ZCDPYTE4AXSPG30KDH407NWW }
{ amount: u5000000000, recipient: 'SP36J1X2FQTVGJVW4PCPTGDCABTDMV9EEEN5BGBEQ }
{ amount: u5000000000, recipient: 'SP3G0FW6355BGHEVM2A18FQYZHHAMKB4YHHXM2KMA }
{ amount: u5000000000, recipient: 'SP15EXGGY8VC0SEZ4MQHGJEV1EHBK62SBHSMSVYC1 }
{ amount: u5000000000, recipient: 'SP3NBYC3W89ANMNTCY7206VRQB82E3EP411Q2YPXB }
{ amount: u5000000000, recipient: 'SP377B62GYDGWAFYPCA9TZRMF7RSABERY5KBKPBTB }
{ amount: u5000000000, recipient: 'SP2S5RKBMHZZ20NZFSZVMADJNHXJ7MKHY8G3093T0 }
{ amount: u5000000000, recipient: 'SP69ZGJZK3QVRJ643PDRD5SV5XX9NKN1CJPG84ZM }
{ amount: u5000000000, recipient: 'SP2GHA0SYE6J11XCDZJT0GE4TFXZ5BPS7R13TMN0X }
{ amount: u5000000000, recipient: 'SP3SNYQ3PTTQTNKDCY4XG0DG69KD5VBQ8VH575RVD }
{ amount: u5000000000, recipient: 'SPMRKS190Z9SDRNC5XWYF6B4CW1A5TA887S6JMCG }
{ amount: u5000000000, recipient: 'SP2F0DP9Z3KSS0DABDBJN0DA0SHMCVWHXPVTH3PJJ }
{ amount: u5000000000, recipient: 'SP3TMXEVC3FN5C1SKWR8E2VJ9HS6G7A0HKWAKCF2D }
{ amount: u5000000000, recipient: 'SPFRX183RJVFBF5ZPKTAM4ED1GPF0WA8HNN58P7J }
{ amount: u5000000000, recipient: 'SP380QZ6A3CG3CF3JEHXARRBKY7XC2SZTFW773JEZ }
{ amount: u5000000000, recipient: 'SP3QMMR4YYFHQ66MSG8ZRGG9DC1QRNKH4PSZ2E17A }
{ amount: u5000000000, recipient: 'SP25DNGM5T8CV8H7A247H3G70FMDDJSCV6Z42Q7C }
{ amount: u5000000000, recipient: 'SP1HDBY3SXE9DEX3HQHHSBS4664WM7A7MYRAMST5H }
{ amount: u5000000000, recipient: 'SP2PYYP0G4B3MW73DTAYMCJNDFW71XEZMQHS0R12D }
{ amount: u5000000000, recipient: 'SP3A9EHEZVXXGFEGC1H5J5F9R2E0W3R6W71VC26VW }
{ amount: u5000000000, recipient: 'SP2CGDJB1PYBAEM7FJ4J8E4XMV5WDJS1ZFQWYA85R }
{ amount: u5000000000, recipient: 'SP3ZQR1YVPC9YREH6M2T6WFG4XRR42GKCPGTE37PF }
{ amount: u5000000000, recipient: 'SP3NR2E7Q9Y1MFKECCCGV9X4W6N9MC0V5X0JX35BM }
{ amount: u5000000000, recipient: 'SP24Z18WJE98SC7G9VKXXTRZTASMB6XB10Y4AXG80 }
{ amount: u5000000000, recipient: 'SP2GDK7CCA8C15H47CPN2ZSNKK9X140PYX3Q9SCCT }
{ amount: u5000000000, recipient: 'SP3BW5STFQ6Y8EMYF4A02H2MEPXNR60YY03P92SM2 }
{ amount: u5000000000, recipient: 'SP1476GQWY0B5HE9BYY9EDG5F87GB7VDD31BMWTBW }
{ amount: u5000000000, recipient: 'SPE25JKV6MW857AVA8ZR0Q2E0XT7FHDXAK90VW14 }
{ amount: u5000000000, recipient: 'SPHKCX106XGRT0NZ3Q7FRTR1XNGD1RTNZ98B026B }
{ amount: u5000000000, recipient: 'SPMD4M2KV11QXVZZ75KVZKDXDZB3FK6BY72SH7C3 }
{ amount: u5000000000, recipient: 'SP2AR4N3BWYNQDXXK8MPNXXW70WDY2ECZSG485N1F }
{ amount: u5000000000, recipient: 'SP3B25JBNG5TNY8JH1BNX45J3F25EWK70RK884M6C }
{ amount: u5000000000, recipient: 'SP1CFQM0QKHVE82ZHX4RJ9ZC70WQKP25G9E2PHTYR }
{ amount: u5000000000, recipient: 'SP2THR37PM32T0DZDMSJNFZ0W7Z51TYV45YKE5ZBW }
{ amount: u5000000000, recipient: 'SP1AMMFW4FPPYNFWWN2NT033SX57WN2QK7TZ94FT6 }
{ amount: u5000000000, recipient: 'SP14VN13VGWPKCGYDTJRRQ7KD422XX4A1MG1EV4J5 }
{ amount: u5000000000, recipient: 'SPR0TS0J6VJP8PFXJQ1GCPGJ7P9ME9PAY17S80YR }
{ amount: u5000000000, recipient: 'SP3X9W01ZWDSNDM5HMQEPKTSNBEQS11M4YMVJ20KC }
{ amount: u5000000000, recipient: 'SP35ZCCHTHNEP7PTTXY1333QCSRVDPDTEN36CGWC2 }
{ amount: u5000000000, recipient: 'SP1AK68NMZXTZY7W9R30E7Z5PKX28SDCBRHZSB75W }
{ amount: u5000000000, recipient: 'SPX2921YM74BBAT29S4FNW8C3K541H1MBXEVCKB8 }
{ amount: u5000000000, recipient: 'SPSV0E6CNH5CVYMZKH47TNK4ZW07RRPZ9MPZRSSP }
{ amount: u5000000000, recipient: 'SP1NSPPSM5AGYRMN8A01QYTHF0MEAVZC92GCMN45V }
{ amount: u5000000000, recipient: 'SP3HBJ67ZV4MGX6PESH61CFS26VQT5WQNYS3CVV01 }
{ amount: u5000000000, recipient: 'SP3MAASS3HC3AHMZ98M2V0VDTVWSBRZQ1Y8FF1SKW }
{ amount: u5000000000, recipient: 'SP352KHKKHNRKXBBXFM1TCKCH993JP1X8ENJ6E50S }
{ amount: u5000000000, recipient: 'SP33SNNTA2ADMRN82KEVZW2XYRFCP75PCQQHAB8CB }
{ amount: u5000000000, recipient: 'SP2EK8P7Z8DR8SGCVGPDHA274H82NPFJ8VJ8MKT0E }
{ amount: u5000000000, recipient: 'SP3Z7QJ2330E4S775KCZJE7DPA8QPZM54PS25KDD7 }
{ amount: u5000000000, recipient: 'SP31R89DG2T3726E7AKZPBE5Y6HF3WTXZV89ASFV8 }
{ amount: u5000000000, recipient: 'SP55MQHKE7HCTC2HZS8KGKG2V16K3AKN7A7JKFJ3 }
{ amount: u5000000000, recipient: 'SP19AGHFXDN1ZEQTWZXH1H9SCTNM89E4MRQXPZG8R }
{ amount: u5000000000, recipient: 'SP2XCJZ51DDVC1ZNJEE29BF1QGRNTDPF6EDSHBTG2 }
{ amount: u5000000000, recipient: 'SP21VV1GCG5SNHXGHHA67VM5CGGV5JS4WK1KS77ZX }
{ amount: u5000000000, recipient: 'SPCG2DPR9JRJCWF6QJV680YF15G65A3YN654WBG3 }
{ amount: u5000000000, recipient: 'SPX5WPF8A8XVYAVFJ7CPRJ5AMYP9ERQSQDMPW84K }
{ amount: u5000000000, recipient: 'SP1507E1VN0DY1A3CDHWT013VYRSX2GCWKPM1CZXF }
{ amount: u5000000000, recipient: 'SP1W4D740G0F7D4XPE2YZJVQZ3P666710EHQ6V8QT }
{ amount: u5000000000, recipient: 'SP31RKCN5FVKST8453DMXXM8TJ3FB57J8W7BCR27V }
{ amount: u5000000000, recipient: 'SP3ATD4QTH7TRX7PQDPBNSB8A421A7YE4AK74F6JN }
{ amount: u5000000000, recipient: 'SP2B6BGQRX4Z2X13KDTSFEAMJPNXA66JYP3J9045J }
{ amount: u5000000000, recipient: 'SP1XSJ9W6TYPR2DE6X20E6B2SYJ91YARQ6TD4E20K }
{ amount: u5000000000, recipient: 'SPD30F4MS44P0K09SEVRFMY4M47CT4ZCHN2SQ9NE }
{ amount: u5000000000, recipient: 'SP070HH736Z2DSY5P8ZRFN8RD37A7JPN3NQQRHR5 }
{ amount: u5000000000, recipient: 'SP17JPJZ3TC1BHXEZVE70KYP4Z6CPCY4SN6FZC54R }
{ amount: u5000000000, recipient: 'SP1S1D4NPXF03G4CEM29476058DRW9MSD03GNT2FF }
{ amount: u5000000000, recipient: 'SPRA7TJMYKSH51KRPDPM5AH16P4V69HKS2584WE0 }
{ amount: u5000000000, recipient: 'SP3TF341S92BXYQDQN20W3YHVRMNBK1PVZ3XFSFWV }
{ amount: u5000000000, recipient: 'SP1JWW1Z0GBAKJZANQAF79HQXJ5B1ZN8H2JAWJ07X }
{ amount: u5000000000, recipient: 'SP32QG33XQ8K9ZKZ0VXAWW1C1CY7J8APGQW2Z01FT }
{ amount: u5000000000, recipient: 'SP16V9QJTKDJ6CATW11ZAAY1WTBQ6MVT3DY9KCR13 }
{ amount: u5000000000, recipient: 'SP3F4J4BY8R1VFD0EM2ZKSWNS24XZZJ175MFYHA9T }
{ amount: u5000000000, recipient: 'SPEVMECN5595GEZZ3JWX2DJGHATXCNS7SQRBJ0P3 }
{ amount: u5000000000, recipient: 'SPXYTW4DEME76BFEVGAF1YDA7BM0G8HCDVGWE5MK }
{ amount: u5000000000, recipient: 'SP2GEAG904FS4B4K1N7PHSGF09HZWA6CSSF07NRW0 }
{ amount: u5000000000, recipient: 'SPKDBJRR3HNSGMG5BDQANX7C5B2D2H18J8J0PVTW }
{ amount: u5000000000, recipient: 'SPH6ZFB2FNQQRCYDYTD82WH16B9CNHQA18VX6M6A }
{ amount: u5000000000, recipient: 'SP2HY0TCTHHQ4P95YG646Y3N044J12G1XH7A15DPB }
{ amount: u5000000000, recipient: 'SP28B2BA6TNEY2T5SD8PK1J6EW58VBR0PXSB5WJ81 }
{ amount: u5000000000, recipient: 'SP2N8XMMZY0RWB9TN55B106BS4CPCR66SR44Q6QYP }
{ amount: u5000000000, recipient: 'SPVHW7SHBTE8HMMB9DQGK2FH2CC11GJAC7ASGY75 }
{ amount: u5000000000, recipient: 'SP1QKAKC9AXB57HZ38TMT29SCTF5NAPZB3CD8BY24 }
{ amount: u5000000000, recipient: 'SP57JD5DWPRWEYW8VR5PMQH48C77FDSZNX7D4DEV }
{ amount: u5000000000, recipient: 'SP3XX50VDVD3HQZ2BAJ597D7G1HD0DZKQ283680D }
{ amount: u5000000000, recipient: 'SP1SFC4PSRD65RKSFSS8NHAG8C62E9WEJAK3YF8Q }
{ amount: u5000000000, recipient: 'SPTQFM8M7SC6F697RB5AGFPHXZHWEEMHDKPHW786 }
{ amount: u5000000000, recipient: 'SP5GEHS0YHH029FF6JBQPD1Z3T1CJRJ8ZKGGR9CR }
{ amount: u5000000000, recipient: 'SPJ0SSTRGMZ7TYG5PNK7BQJYEE319RZVC31P8NTS }
{ amount: u5000000000, recipient: 'SPM837F62AZVB8V8JBP2RM55CJBJG918TGHQMBXE }
{ amount: u5000000000, recipient: 'SP1XXVQCT44TQXY25B2YCVYZ4XCVJZ7AM85FZ020G }
{ amount: u5000000000, recipient: 'SP17QBQ547N0JPJ9M3EXKHWFGM1Z2QEFZAGP2EBXV }
{ amount: u5000000000, recipient: 'SP2NQQQ9QQ800K4P8Z6A86TMGC7NJE0SG7V66J9SK }
{ amount: u5000000000, recipient: 'SP2ZA5ZSD7RMHWBQ0N0HC3VD37E95XVTGBPS50EB1 }
{ amount: u5000000000, recipient: 'SP2W5AT6FW839WN5VSNCZ6BTTHZRBKC9Y3H2NAZEJ }
{ amount: u5000000000, recipient: 'SP3RRPN7Z0Y906DC295EJZD14B5PZYVMRQRE6SJSZ }
{ amount: u5000000000, recipient: 'SP3KA60B0MG1NC7FX1AJGHWXHW7NF6D0S40XZ3WDE }
{ amount: u5000000000, recipient: 'SPABDN42BHSY4KSYE5VYPHFREQK62Y3345GX7EZ9 }
{ amount: u5000000000, recipient: 'SP34A2S23MQSAF23A9T28VEFD7F79EN48PC7JJVY5 }
{ amount: u5000000000, recipient: 'SP35AHM2G0QMMDYZ5GRHWRA9CNH32J35E95GW5PM9 }
{ amount: u5000000000, recipient: 'SP3E50HC5FCBCS48AW7M64GVQKDAY0DT86RH88TAK }
{ amount: u5000000000, recipient: 'SP3N7PRFJ443QVMFJXEN2RE0P9X1Y54V6FQHW124Q }
{ amount: u5000000000, recipient: 'SPZ3E6MVQBG1CWAJEA3TT81WA3SZ1K9Q053XKE2B }
{ amount: u5000000000, recipient: 'SP12AMFPDDTT5QSA9JZT38DJCH3DHC416BZD4A252 }
{ amount: u5000000000, recipient: 'SP35ED6J5Y1WTSTB53NP90VGKTHP0PNY91G1TD1JP }
{ amount: u5000000000, recipient: 'SPR2RRHSQW6FRECVW4HFREEKWDV102QVN7WT4GVN }
{ amount: u5000000000, recipient: 'SP3RR4ASK46ZCF0K8Y1464Z1DNMPGJZFKBG47SQBF }
{ amount: u5000000000, recipient: 'SP95K0GBP1RSNRD50DYAVDHBS0T9TMC69CS5W75D }
{ amount: u5000000000, recipient: 'SP25XVDJ5QF8WX430H67S210E76747K5F9PZR03XN }
{ amount: u5000000000, recipient: 'SP3J44E38J85A8S2AD2SS5FWE3PGFW0R28YPHA0SB }
{ amount: u5000000000, recipient: 'SP2JCG88JTEM0R7BJJKF1X91VB584VTCC2477DBE9 }
{ amount: u5000000000, recipient: 'SPMKDRM8SCMBGH72PHZ3JD79BRTYXQMXDV3E51HQ }
{ amount: u5000000000, recipient: 'SP14AZB1TJSWJPWHHJANENHDXX3Z57QA1E6VVSX6Q }
{ amount: u5000000000, recipient: 'SPY9DD65DBB1G8MT0052Y8ADT2V2ABQY40ESF8KE }
{ amount: u5000000000, recipient: 'SP1J6X8VRKF7M9NHA65VZSWDMQJ130K7W5CYT0JKT }
{ amount: u5000000000, recipient: 'SP2ZR4Z7TEPQW4B06Y185CE6E238EGY7V7RY7VEBR }
{ amount: u5000000000, recipient: 'SPMFTSYMDJADGR2FN1ARMGNDGXD1SJV369GHMNSM }
{ amount: u5000000000, recipient: 'SP2FE1GKNCNC9Z2PX5CW3H7992PPPQRTJ13G4ADQ4 }
{ amount: u5000000000, recipient: 'SP3Y7HSF2KF2VG94MQ96XMJAY84072N5GX8ENEBAC }
{ amount: u5000000000, recipient: 'SPWWVSKT05RN9D7K436386KHMWZ2FK14WN5F8JMW }
{ amount: u5000000000, recipient: 'SP3EY87CXHGRSK5E17RD06XSSE9K9J0K8VAGASTXB }
{ amount: u5000000000, recipient: 'SP0378DSXZYPPWW6XAHJGKC8GDWC22E9JQ6AQQV1 }
{ amount: u5000000000, recipient: 'SPBM6MBE3ZKVSPBKNVDBETWKB5NACK21MHJMH2Q8 }
{ amount: u5000000000, recipient: 'SP2Z7YW9DWQ0C0DY8VAZ6TV4B36GGZBZYB6F5411F }
{ amount: u5000000000, recipient: 'SP1SJS5Y06ZFGD15J1VHDS25MCFBPDJJHX93S32KC }
{ amount: u5000000000, recipient: 'SP3QGVQBXK9B0XVN9HWZKGCNKH1SDHAQQ7TKHTP5M }
{ amount: u5000000000, recipient: 'SP1HMYJN9T9S1GKCG2FWJER836WEVJCY7J5MKD12B }
{ amount: u5000000000, recipient: 'SPY8RMBWFDQ9S9R8M1XDEAG20GCWFWEW6SHM50E }
{ amount: u5000000000, recipient: 'SPC1NZ470VHB4QQ2J1TFVVE1WDATM5RZSKAHHT1C }
{ amount: u5000000000, recipient: 'SPBV5G272NWX8D0XP3E5SV7XEZBVS0N91SKH8VYK }
{ amount: u5000000000, recipient: 'SP3Y7W9K5PVGZVQQ9V7ZTPCTH04PNFR7AMKYPEXSH }
{ amount: u5000000000, recipient: 'SP1FRE7QRH0ZW36TJNR9F29CCHBPTWFXFTMW2DXV4 }
{ amount: u5000000000, recipient: 'SP3DEXJ4MNEJYH77CNE688GVRSDY14QYE5M6FG9EK }
{ amount: u5000000000, recipient: 'SPJVR2E6NM2KTWJKQMHK06TTZA474D31Q60JAP5W }
{ amount: u5000000000, recipient: 'SP3G7ZJEEVGJ6E2X0TEXDZM4Q531QRPF60QV16DZD }
{ amount: u5000000000, recipient: 'SPTKQZBZ36JJKBMWNBX1VQXK9ZDVKMJQQGQHN5AN }
{ amount: u5000000000, recipient: 'SPA5689DWFGCZ577M4JW94RH2E7R706W2TZD5SCB }
{ amount: u5000000000, recipient: 'SP3C6SA0XY685DA2PSEXA88T9XJ3WCBF200YGMV7W }
{ amount: u5000000000, recipient: 'SP2R9KJYQH6YDMPTJMRW5548BDQBKKV0N9NNGF5AS } ))
(define-constant batch-52 (list { amount: u5000000000, recipient: 'SP1BXC3SK53AHPPTJMPR0Z9RSKGFT59PKP9TFAYY6 }
{ amount: u5000000000, recipient: 'SP1DX001TJJ02TZVP5W98Q8EEWHMT69ZZ7DGH065P }
{ amount: u5000000000, recipient: 'SP23X6T7Y8VAYKFVEDJZ8GWGPM7Q6DK6WSSDZRBYG }
{ amount: u5000000000, recipient: 'SP25EM315SM5DMAAVZ5H7P3QCPXNC6TKC66HFF1K6 }
{ amount: u5000000000, recipient: 'SP34HBB15K9P54ZRK2PEARGG0PW98QGSV92YKQHEW }
{ amount: u5000000000, recipient: 'SP2QX11Q6RJ922N735BN7TTZJG8RNQZTCZW88MKCG }
{ amount: u5000000000, recipient: 'SP139X2QJXKQGEC2V3FBPCNADQ6027MJ57QR52KVX }
{ amount: u5000000000, recipient: 'SP2AM2TPBTZ608VHESK553TFC2E2E91REZ9WPZ5R0 }
{ amount: u5000000000, recipient: 'SP3NQJRGQ7G3RRW9AYQ48RTCXFM8Z2G8203ARA6SW }
{ amount: u4985059790, recipient: 'SP2EE029BE5AQ93RPY57S6BMQT0D3SCWTB9EKJEQA }
{ amount: u4972486070, recipient: 'SP1AMND19V2CT0V4V6P9QWNH4Y6M7X6JYJ47267X6 }
{ amount: u4952610410, recipient: 'SP1AXD41X9ZGANAJYY88XBQTZB7PZQ2FDNC0W9X28 }
{ amount: u4949728150, recipient: 'SP3NYBNF7Z3AHQNE7VQ4GTGK9DH97QEX8AME28NC7 }
{ amount: u4949072000, recipient: 'SP2A8GR05SCY4FYXJ9SQHC25NP68E3TCW1DBRCY4D }
{ amount: u4947090220, recipient: 'SP2PHTKEQ4DCHDMT81XBMPWXZNX694EN8GR1H2E7X }
{ amount: u4943720290, recipient: 'SP2145H79EZ5ECD32MEEGF0PE8VCMXYSN2V9VEA0B }
{ amount: u4933189820, recipient: 'SP38Q6DGC71CEWJ9K8118BYXKPX6SJAPZE8PF6HBK }
{ amount: u4921140360, recipient: 'SP2HA3P15HG2VXCPES3DZ3E1G3A1T5HHANMVMAPJT }
{ amount: u4905617460, recipient: 'SP20PHFCE8HA5GHRR1GNVPJV14WB2J6GQ3BH5JBA1 }
{ amount: u4900000000, recipient: 'SP133DAK71KGCBCT3K2ZY0DDD75WC3HGC6K5510S1 }
{ amount: u4900000000, recipient: 'SP114J51Q6FAT0X1B2WZJZSD9H8QGYSARSK5R7GPV }
{ amount: u4897925460, recipient: 'SP1EK88BKXX8Y7SPWQ4KBVF9E68VYJWNQJ695RWJS }
{ amount: u4896233040, recipient: 'SP3CQRFEZAM4TJVS03HYYYRAB734JABSE8VBJ4FVJ }
{ amount: u4896013060, recipient: 'SP1A12EZC4188934MB0JSF4RY0Q8HS086TXFQAV9X }
{ amount: u4882416730, recipient: 'SPBHTHB57PZD2VCMQF3R8KAE1KZK4J90MZ01AWED }
{ amount: u4835426640, recipient: 'SP3WXHE1Y6R2HFYPRNR8EQFKECHVZPC1H481SC0KY }
{ amount: u4831870080, recipient: 'SP1M8GGV0N0QX8BRDFZ41Y4XHGQ295Z4SPPZ9RBWA }
{ amount: u4830808170, recipient: 'SPGTVA5FHVVQSKAA0X091TVZT27AVPDE32SM2JYZ }
{ amount: u4829547000, recipient: 'SPGR633PR2X0H00B3GFT9R0Y18XKM27SNBYMR4AM }
{ amount: u4819517820, recipient: 'SP38YE4QDHSJNJP9XFW42R0QPVK3QXNQMTA2PN7M0 }
{ amount: u4819123880, recipient: 'SPH5EGVRXQAN9DN2H88WHNRST4DVY8GM8GDD68A0 }
{ amount: u4802658400, recipient: 'SP1X6PQETY5JHF0BJP00GST390ZSJCN2WA18FK8HY }
{ amount: u4800639000, recipient: 'SP876SNZAVQN1YN623WNVSKBZ8WHFYQJMFCC4M7D }
{ amount: u4800000000, recipient: 'SP2NM5A14TPBVTA7BM0YSFJGSKQBB6KJMQPAQQE6H }
{ amount: u4794929940, recipient: 'SP2N1ZXEZJB93HHQSJSD5GFKEV386NG2S7Y52H3YZ }
{ amount: u4793000000, recipient: 'SP1MWDW1B3MHVXC76SWYH0BC3ER06C98NWZBJTPPS }
{ amount: u4791005980, recipient: 'SP3RE03KTR3TARDQN6DMT26FRPDJVC0E1Z746VM2Z }
{ amount: u4787925010, recipient: 'SP49KM9FSRKMXRQGV96A8MNH4PQNR49P9MZTXJ93 }
{ amount: u4787000000, recipient: 'SP119QBJ44W0S70WY7N1EA28258MHJRJZ7E65QAJ5 }
{ amount: u4771325910, recipient: 'SPPSTDJAVK4PD5HKM1CT2K57RQ353DDFXK9RRB20 }
{ amount: u4764885520, recipient: 'SPPMGZTRGMBVCFW3RMEVQJEF26MW9G6EKT51EMD8 }
{ amount: u4764680170, recipient: 'SP1VE7PP3AXV75CMXPJNGJDRG66MWET6ZH58P60F5 }
{ amount: u4755723800, recipient: 'SP1A2JSM4NW94QKGTKEV35ESBJYK043GSJPC1SMFR }
{ amount: u4742949530, recipient: 'SP35CJ78QH0GBSR7FED8CWAQ7JJQ1ATQCJDZ657NX }
{ amount: u4740224620, recipient: 'SP18FEGNAJPHMB1ZCDDRYJ92GCQW4DWWSZ72ZXHZ1 }
{ amount: u4739423440, recipient: 'SP311CGYXD4QFKFM8D1FC45ZF9WX5T57GST8ZEP65 }
{ amount: u4733820100, recipient: 'SP1GV9XBT7TH83GGWAZSC2E7YVX9FYPAS5A6TE05E }
{ amount: u4731657000, recipient: 'SP100SYBZGQY1B0531E91B245FR0WS01FPHVAZ2N5 }
{ amount: u4715391020, recipient: 'SP2DSQ84KHSWVCM6EKVRJFKNGB3A5VW5EP3FX0BA9 }
{ amount: u4708483660, recipient: 'SP7RZBT46XNMBD8YQKABKMWRYKTQTPTZ06F6HX9Q }
{ amount: u4708385760, recipient: 'SPYFZ8Y5W4MSNC98S5G9JZDXG9Z9R9DCRN0KRK1W }
{ amount: u4703000000, recipient: 'SP23TK4ZAZ361CRCAEEJ0Z3QGE503J0XQ149BQ7PR }
{ amount: u4701760150, recipient: 'SP1TAZY9HPNAXXBFNJ5CMNCXNWVZ69C5NSAA29905 }
{ amount: u4695008950, recipient: 'SP1K47RGJYN9FNAZS7YNVV744PAR8VWNWA052CZ0W }
{ amount: u4692708960, recipient: 'SP3AG8J8QPYBWVYZV18P3MPXB0F940BZFW3X93M1T }
{ amount: u4692596890, recipient: 'SP9PEJPSMFMM5P8QQMWNM42M2X7H87K1QXJR7BY9 }
{ amount: u4688780890, recipient: 'SP1E8JZPGCVYTCJDME43XYNYPSHZ78W65BSQ9FCQP }
{ amount: u4688217970, recipient: 'SPW2NFDFEAHG7HRY49ZN261F04JSWY8CHB99N056 }
{ amount: u4687462270, recipient: 'SP100EBGDP7Q57RNGTD7XQTTJE5328Y69AW9GN7X }
{ amount: u4686424050, recipient: 'SP1PPH2BHZYY0TRBTCRW9Q1ZRQB296WXA6YF0BXVS }
{ amount: u4684979000, recipient: 'SP1BF3QXKZWMV6C2QYQYW09NWEHKPQFECCF1Y8EPB }
{ amount: u4684979000, recipient: 'SP3X3F4EA1P43ZGFY0J5CVH3NFNG1CVAKY6CGRV70 }
{ amount: u4681601370, recipient: 'SPPZTRYYGZWA7BY3YX6NSXFE87CWJE0FFVEXCQ9Y }
{ amount: u4677972880, recipient: 'SPPZ2SNVDBKSHZDQ2HBBVMB5HEHAXRC3T8CQ35EA }
{ amount: u4666871110, recipient: 'SP2H091F2297XWNVBHDHT0813SS6KJGEFPGC13ANK }
{ amount: u4656577980, recipient: 'SP3YZDE4N3KP42C42H9DZMFG4B29HPXV4RGD0SFGF }
{ amount: u4652780000, recipient: 'SP2WHK6AT3X09THS8X8QE2F0QB29W2TE8TG8JKVTP }
{ amount: u4650838420, recipient: 'SP3MHJNA7CCJW1N6KCPT4W2PNAN7XPJ0H2R91R4T8 }
{ amount: u4649382700, recipient: 'SP1WFFR771ZVQBHTRKDSB8QS7AZ32GTP81GSSGFWP }
{ amount: u4648805780, recipient: 'SP2VJV0PAY9PP5M38EXZSVQKRDMXXSN8NJW8NFP7T }
{ amount: u4646898860, recipient: 'SP2028KETBGX6T8KVD35Y025V7DZMRS56N9FTSQZ7 }
{ amount: u4628478450, recipient: 'SP26KHP0VJK7X0M7NJRVM7AB8E034VTKPJWZEZ53G }
{ amount: u4627615810, recipient: 'SP66ZAHE4J2A9PW5CJQ0S95G1K8CH59HGPWCTT7R }
{ amount: u4624589570, recipient: 'SP3GNG1X2KH64AXMGGHJWE4Y96FCE3G3RPW52T1BP }
{ amount: u4612021450, recipient: 'SP1C8VPPEDPGRN0KFVVAMP0V8HDSGMTP18B5HARGZ }
{ amount: u4604502570, recipient: 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4 }
{ amount: u4603174190, recipient: 'SP7FVHQBKX5F1AR5732C89GA24YK1PZF7PSBF0CY }
{ amount: u4595439460, recipient: 'SP25XC1EK7S9KY6V1RXJPJ3QX8PERGA8NE12J9S5Q }
{ amount: u4580355830, recipient: 'SPAN3P3RA2QRGM8V1J8JFDX583EFFT2V9RDCVTZC }
{ amount: u4579468560, recipient: 'SP17MQ0V9SKZPTNMGV3YYKD1FWJB2WQZD9SP4DG67 }
{ amount: u4567258800, recipient: 'SP7AWKR5YY3RG3483NKBDHN3RJQ7RB9C8CMR8KD9 }
{ amount: u4561383130, recipient: 'SP35ERY15WMXKE97MZPZJCYPNVGW69TN41VH1WCE4 }
{ amount: u4551000000, recipient: 'SP2Y6AQF72TRQEVVNEQB7HNJ67Z2GVHHPY6T3AC8H }
{ amount: u4550841850, recipient: 'SP1TWPPKPDVFBV4J5D2KJMT4MV18NXX0J9826WBMT }
{ amount: u4550420240, recipient: 'SP103VPQ99S6RH5BV5EV35DDQC3MQ5X41V7FHN5AC }
{ amount: u4543772010, recipient: 'SP3217C1Y3KKY4CAR5HSAZHPC60FWTN29J4ZWPQMA }
{ amount: u4540141540, recipient: 'SP1WQR8GYXEV6V8VGXHEZJQXAMTT01DEY15TTQ5SS }
{ amount: u4529040000, recipient: 'SPMJ8EVB1FA651SRCFG8WC7ZVJTQQYZFWK7KBASG }
{ amount: u4527812280, recipient: 'SP3CR7WN1QR6S632J7YF83NJXWDZYF59E0D10QGQA }
{ amount: u4525534510, recipient: 'SPH0EN21ZF9MTJ7EVR6JYGE0ZHNQW74AGZB5BQBD }
{ amount: u4521720050, recipient: 'SP2FJMXPKJWG2BXJ9W3BEKJ9T6RDYY79K9QBJVPYS }
{ amount: u4518306690, recipient: 'SP2ZYC6S54KW3JJ2FPEXQDXRHZDF9PAXWC3JBXGJJ }
{ amount: u4516470190, recipient: 'SP20G89G29YMM0B0ZRH711EXVWJDF9TBQG7S02D6N }
{ amount: u4513000000, recipient: 'SP3GSZBHGBTZW5WAJ0TBVQ2HM5B065WTJFY8B2C5G }
{ amount: u4501147360, recipient: 'SP3VR2J6A4MWHC7PQJ57P3V2Y945SGRD4VX7W363Z }
{ amount: u4501055100, recipient: 'SP27JGYKJD4V1K6Z1H2TERBRA62JB6D4EG7HR1Y76 }
{ amount: u4500000000, recipient: 'SPGJXDY01T8MNZEJ7JJYD0XQDK5762HC5J5FSTRR }
{ amount: u4500000000, recipient: 'SP9YP1F305MMTSX6AN3TE0Q24MWNR7BAVBQ8ZC71 }
{ amount: u4500000000, recipient: 'SP3K06A72N90SZBGWW8XXHS345EJY9J0A8ZW03V33 }
{ amount: u4500000000, recipient: 'SP1G6D9N4SR9RDNWE988E91ZMZBX17VEV9FP1B6A3 }
{ amount: u4494267600, recipient: 'SP3KHS3D4KP2QAFT4944JZHB82Q03QYFCQ952Y7RF }
{ amount: u4479720840, recipient: 'SP2QJHVTVAMAA0QCVS13D1QHRRRBSRX0XG9RAVGAE }
{ amount: u4479385310, recipient: 'SP3GNMSAKWK5P93B47EMQK4Y0ZKGHY89SGYN95BQM }
{ amount: u4470164490, recipient: 'SP37XA8ZHR8WD0CMAGYZDH5KNJ6D1XG4F4HVF2DY6 }
{ amount: u4467000000, recipient: 'SPFDQTBD9B3P0CA38Z6PE4S38CT03XQ04BGW96MP }
{ amount: u4466140790, recipient: 'SP39VWKRSWSTS00H2JYFD46ZMCXEGZH9YB89GAV1S }
{ amount: u4462626270, recipient: 'SP1S27QDKNVTBTDXW9A6BPXY2454AQTT6XF31VGN2 }
{ amount: u4462020990, recipient: 'SP14FNHYQGR5VJ5MJ2MSN2GP50VEWFX2164SZAX2G }
{ amount: u4457795850, recipient: 'SP3NXCB6WJTHDT4ZSWYW5Q8GDYC29FZAVM94TAA1V }
{ amount: u4456743360, recipient: 'SP2Q6GTFVG5ZQ5P9J191MKEYVMJSY70XFZ8BTVHW8 }
{ amount: u4454836750, recipient: 'SPDPTZM4NM2RBFBQWZZT4GYRDP4TE79H9FGV3EEP }
{ amount: u4454439860, recipient: 'SP10NDYV19RQ5FHYW5R8PND28PR8APCQ8JREDBVKX }
{ amount: u4453629110, recipient: 'SP33931FPW1HH2NGHGYAQ46BQPV79T7RG2B0XN47Q }
{ amount: u4451840000, recipient: 'SP2FTRZ5JSH97T3DSW40ZXEHHPZ526GJ6N1ZR7DGJ }
{ amount: u4450946980, recipient: 'SP3RWBFA2K7MPSXQ9VMZ81FJACNKRDMXNZWE5GT9K }
{ amount: u4439271240, recipient: 'SP20V7739TZEP424HRPS2Z8ZRP0V9GAMCCF5FDZDE }
{ amount: u4437177300, recipient: 'SP2BPRQCP997YQFNA9ANHXWNRGEDPTPC79SQYKK5X }
{ amount: u4434272750, recipient: 'SP1SAC24GV1PANRZJWY8XKPPVMEB5GDXECW1NSZRE }
{ amount: u4432250000, recipient: 'SP3CHVJT8FW18HCFD55BB476XT6Q0N5NDE20VH5GD }
{ amount: u4421001150, recipient: 'SP22BS746J78CJB9QR76W9PRXMDXV1MY77SPV7XSX }
{ amount: u4420714170, recipient: 'SP3SPYAFW2KNK22J4DNC2Q3MVJFHV0BZ2XGVR1AGK }
{ amount: u4416279000, recipient: 'SP115986Y1EVWD3FPEGESHMEPRT47KTTXG8S1CBQV }
{ amount: u4413574110, recipient: 'SP9KMW3657SXBRZ42S4D35BX5NYPBX4X9TAJNJ9E }
{ amount: u4410624250, recipient: 'SP1KHKQJ8431GD01MM4KW82CT9WAC6RSQ6G4G2S7W }
{ amount: u4400000000, recipient: 'SP353P68143GK0SAS95NE45BYFP400QQ0M63RS0MC }
{ amount: u4393000000, recipient: 'SP2ND039ERPPENSSED5FRSZHP8J40AEYVRH4K4R13 }
{ amount: u4392543910, recipient: 'SP3X19NBERT457Z9W7D8S9042HJWYE2RSRQ9RXN7Y }
{ amount: u4375633370, recipient: 'SP2X6RP1WRAQ8DWB065K3MGSFDKEZPYKX0ZQWRWCM }
{ amount: u4359073720, recipient: 'SPTNN5YN3BCWVGT7MGW3XXP7WWBYFJGYMEE7KMRR }
{ amount: u4356855520, recipient: 'SP1PADQYT3MVY0AYN8K49WB5S3CCKPPAQ4FHKSEBK }
{ amount: u4352659740, recipient: 'SP2AY4GQC0E4FKQ8T1ERE9KPPHT021W49R9TE4ZD5 }
{ amount: u4349009410, recipient: 'SP5E89CDE2B6ZQEKE1B6QHBPEJQDAKKK2CSA9HSF }
{ amount: u4345206120, recipient: 'SPHM0ZYE3FJYNT6EPD683A8YDDQV6B2V01W71VKZ }
{ amount: u4344074510, recipient: 'SP1HEG650EG70R6FQCWHZV1YPRHSTSMXMF9A7AVWV }
{ amount: u4340075480, recipient: 'SP2BB2Y38C8EDNEK8JTR126GWEFYKY97AG9HRW9CW }
{ amount: u4337940840, recipient: 'SP5TJM5B2Y7DKQF4RYQ27WFTMA7EKYNAJHVHJXXN }
{ amount: u4331788360, recipient: 'SP3ZN59XEFQ72D46128W2VWY0R3VWKMP1JJG8D93A }
{ amount: u4314213770, recipient: 'SP28AKHY08GQ2J8T4KAMWH4GKPD3NXWPRZEGPC2ZT }
{ amount: u4307305920, recipient: 'SP1R2DHP2TGMY0KR1EBQX6TYWT0Q1ABZ2HB4C049G }
{ amount: u4306195060, recipient: 'SP3FAR9EN5P20BFQR6JWTEVQ5W436MY6BQ0C94C9V }
{ amount: u4302072390, recipient: 'SPFFW334D6FPHBTCBHXTWNR5N9SYFKZWE29B6EA5 }
{ amount: u4300000000, recipient: 'SPR54KTRAJ6XC7JR2WTKJJ2BTNE6TEK3GKN5BGT9 }
{ amount: u4300000000, recipient: 'SP2SGFTSH7S5QF1YQRHT3NK9RJVCCZ40EPVNQ7W63 }
{ amount: u4285727970, recipient: 'SP2RKY3AGKBA5BRW0J1ZKBCYZ1VCT60S60Y4B96WG }
{ amount: u4278701590, recipient: 'SPTQRDX3RCWPC7054M65VFGPERQ2F9XX53RYK5QJ }
{ amount: u4276596010, recipient: 'SP3JG6M9DGWMMG90FYMPFGZV0CZED426K5SWN9PQX }
{ amount: u4272531160, recipient: 'SP9H442VNDGYX12FP5SR5F9BW4SZJ1XYQQ09QYPK }
{ amount: u4272092380, recipient: 'SPXM2MXDXS5R33SJ9J91N1T8Z4YJH9PYH4E8NGVW }
{ amount: u4269756700, recipient: 'SP1RT51E2FZ9YFHAHQ3VWP4KBWZB4NP1AMTWH36QA }
{ amount: u4266046920, recipient: 'SP3WEC9Q4NZA654SMVPX8EPJNF1D890ZS2B21H6FM }
{ amount: u4247085670, recipient: 'SPMK9PAF184CH3MNMY0TP52T9MBQR93Z1Z25KZWV }
{ amount: u4244559820, recipient: 'SP3R11XJVC1VGNTT8YJ895HK5CY6NDXBFN34CBFGZ }
{ amount: u4242613070, recipient: 'SP3P1P2FDG8M157D713GX1CTRVMKTB83HBQSQB8EG }
{ amount: u4240140010, recipient: 'SP26AFASEQC6FNEHMJ5SDZXYNJZXG0R7VP2WYT6K6 }
{ amount: u4230965980, recipient: 'SP2FBVKVDVM94JQDCPD25XPKVWNDHMSMRFC0X64EB }
{ amount: u4230491280, recipient: 'SP3GP9YHBYCSCHV7ZPWVKNC6XS9RXQJZV7B0T97G8 }
{ amount: u4212287190, recipient: 'SP1ENHAWAEQ3K0FXTCS7B7MPJ4Q7XG7HEG3P5VCEM }
{ amount: u4209205890, recipient: 'SP94BESNR3ZXS0TCF7NN14RMWFSW5X1SCDJ2RWKX }
{ amount: u4207602570, recipient: 'SPDWQ460MD466HP1KB8AXJFGP9Y7MQNE1VKRSMPQ }
{ amount: u4207111260, recipient: 'SP27K4G6Y7GXVC9ZS3N00E5JKZD4E0T6GHAXAKMXQ }
{ amount: u4207000000, recipient: 'SP2ZZZ2SGH1R0HG9PQASVRHDCQ78MHMF6Q2ZQD5JT }
{ amount: u4200866150, recipient: 'SP236BC8GENYXZYDT2R7905F9871VBNKCH28QM079 }
{ amount: u4190937900, recipient: 'SP25VSREV75PVVJ4SE7MABPT0A0ME1PMA8663NYE1 }
{ amount: u4186000000, recipient: 'SP1TSB0FBKEN18Z4ZVTY19VV6WT8T4G2611ZB6BCE }
{ amount: u4182751700, recipient: 'SP2TXZQV8MAE1FX0T5ASZ49FA610PR4Y6TEZYCX90 }
{ amount: u4181125680, recipient: 'SP2C0J87BXZGYEKV0PP2QY1HQXCRMNG4AP6QZCH4J }
{ amount: u4164973740, recipient: 'SP3HTRCC908HGXC70N88RMPMH3N7NSFH77K4ZZTPK }
{ amount: u4146821930, recipient: 'SP1C5KM7ZRPP18YMTSRXEYC3RYKTBSFH2FRJH6D3T }
{ amount: u4145519020, recipient: 'SP2XX5DWBA8RTKSFW6GWD4XBVCY8P3TTGKD5CQ0C3 }
{ amount: u4142490040, recipient: 'SP2Y3K1SGRRDV84DHR8SFD3FPQ96Q8Y1Q3N902R0G }
{ amount: u4135524450, recipient: 'SP7NHMG9TRYJPA302PDKTRA99H6ZFF00XCXK1FA7 }
{ amount: u4128659480, recipient: 'SP186ZEG4Z31F3XQMS4MED8VYW9HV2RN9AED1CX5B }
{ amount: u4126727870, recipient: 'SP3XRV1TVM9TZ93GKDWW6B3TKB14B91PGDESMD320 }
{ amount: u4110139150, recipient: 'SP1EKTT9WVMJ90G6GRVV9D2P62J2G8Z4KYTRD043A }
{ amount: u4103366260, recipient: 'SP329VPK9K6N6GHK1QABATNPYJEFDQ4PZTPKM44R }
{ amount: u4100271100, recipient: 'SP1F44RR1WVJDFZ7TF0AQS7245B463ZN6Q4SS9RPQ }
{ amount: u4100004210, recipient: 'SP37GY937JM2R7AZ71XNG5TH6TC27W2GKFGAMN50V }
{ amount: u4100000000, recipient: 'SP13SGZHJPEY098GC9YMSPP53WEX7M7Q7097P6CHY }
{ amount: u4095508940, recipient: 'SPANA7DAQE5QJR0HJKY3J6MFW5H5KYJHXKKCZQ8Z }
{ amount: u4093448470, recipient: 'SP380ANQR0PHRGXQWHN7CYMKC8KSJS2MDBZA4EE7S }
{ amount: u4090646710, recipient: 'SP1GHPH7F219JJ93MRWHGKATNS1XCKP0G4576T4M8 }
{ amount: u4086328050, recipient: 'SP3AEQ3WD68WKGXTWRJPTYBS1D0JV956C4P7PZBFV }
{ amount: u4084876430, recipient: 'SP1VW2ME39PZDY2NN3VCQXW67XFQ4HJJKY87B8Q7W }
{ amount: u4070589430, recipient: 'SP11Z4PE8SKPMZCKQWGE28SERYQ0ZPFBJNREEEGZW }
{ amount: u4066484990, recipient: 'SP1PARRDEP2NNAAK1E7KDXMG8NFJPPB8535A1X3K8 }
{ amount: u4062098180, recipient: 'SP3B9M0RS56PFY0MQ3GQ234QMJ1FZC4BJ2Y154PB1 }
{ amount: u4058420590, recipient: 'SPF236HH35ZAMTS7CV08V75G3DT9B2V8S4H4AQVA }
{ amount: u4056476430, recipient: 'SP2R30XBTW56BYPM5JNSPKGGJ6SXR2C7DHASHK7EN }
{ amount: u4051574720, recipient: 'SP80QVP2QX2X97VCE19ZDPNGXVHWV1JGKCG6TM9W }
{ amount: u4049692820, recipient: 'SPD8EDCFSND7NR8X4DJ0FJ962H843RRRSZRQ1Z1T }
{ amount: u4030152590, recipient: 'SPTV4QZKYDM43GMWQ3DK9KTA1ABXBCW33R1TF3CG }
{ amount: u4030000000, recipient: 'SPR3MM9XBCK54E4DRYNJYD8RDP6YW0M3CC6ECDMN }
{ amount: u4029132630, recipient: 'SP1JQDQ38N4BYA1GSPENG8X5NTJ9Q8VD0D4YZ4FG8 }
{ amount: u4015430680, recipient: 'SP3KB8PHDZSV49GR96NGN5J68R5ARF2BH28T1BH1A }
{ amount: u4011607200, recipient: 'SP3F719NG3WWCMD5HK0HDWJKNC7SJT7NVCBTN895T }
{ amount: u4011601460, recipient: 'SP15PDXH4MEW0NZX7P8NM4K1M81E5CRFH705VBCG6 }
{ amount: u4010087510, recipient: 'SP3PH3YQQQWZ00J70E7JD1Q1XKPB3HRSZAKRTRJNS }
{ amount: u4008756220, recipient: 'SP30DT4PBDDFWH97A59Z22E2Z3R4ZN0WQ7007YDC0 }
{ amount: u4002213250, recipient: 'SP2SYW3N7587AFY9CJBVGQKD7GKM6SY2SCJX8H4Y6 }
{ amount: u4001074340, recipient: 'SP6BE9VJRG7YDAH46FC26FC3YYHNE8FA4E4EADTV } ))
(define-constant batch-53 (list { amount: u4000000000, recipient: 'SP1B9X9HZXQSJC1EM18G96D1DQA9QNPWPT7VWTF55 }
{ amount: u4000000000, recipient: 'SP2XNC5Q9WMV8V5HHB60WW932B18QAJ1ADSN9YKRR }
{ amount: u4000000000, recipient: 'SP18869S3E4Q06SSMDV3B4EN6SPYVE4K3SGYTEGWW }
{ amount: u4000000000, recipient: 'SP2F0VXQF8W5VGP2GNQGYGSNF36GK24KQA64STX1H }
{ amount: u4000000000, recipient: 'SP36Y8TH6CSPH9MTB29ADFJSNWV8RH91XCNQ8GPDM }
{ amount: u4000000000, recipient: 'SP3JYNA8RGPZM00D4VTVC210VZEWC0FK9V618N07W }
{ amount: u3998286090, recipient: 'SP1FV3SN48RVHHQF7456N62G5NW768B8YM44M3AV1 }
{ amount: u3978944030, recipient: 'SPRF120R7QNX5MSN4GE6Y75E0A0MD0D83ZGEV9FK }
{ amount: u3976817550, recipient: 'SP3SJ8S0B8FCV6GD9PMQKV4D3ACJBA8M7D6Y2N9P2 }
{ amount: u3968933060, recipient: 'SP1R6YS229G7TV47ZEZ33CDQBS7AQR3QJSY3MNF4F }
{ amount: u3968741270, recipient: 'SP1H4K14GVGAWEBPGQVPB9TXJS5QZ5TM6J2C1QYBE }
{ amount: u3957852900, recipient: 'SP2C3ZB5HCHJ8A0Z239EB97ZNAJTMNN0879HKMMJW }
{ amount: u3949981210, recipient: 'SP1GC53DMQNNAFYVDJZF3CWDG0WGJ6AW872VTZCA7 }
{ amount: u3949206210, recipient: 'SP18450S697HKZJ47QK9M5GT8SM211BZKRTQYV91Z }
{ amount: u3944967180, recipient: 'SP3P9VH14HVSW1KA33C2NDMMBH4CS7T4QEN859HR3 }
{ amount: u3941944840, recipient: 'SPG1EYQA7TMZSSW2MT8YY81WPYKX59QQZM7MN0K4 }
{ amount: u3935808430, recipient: 'SP3MYVMMV18GE55DKXCBCHAC4M0SG6FC8BAT5FM1A }
{ amount: u3932860680, recipient: 'SP7TG6N3WH092BBRSB0FEVXTTX8KPJPX364SNEK7 }
{ amount: u3931468100, recipient: 'SP1EGJAZTABX4M3F00SMVVYWKJBG9GRJY125JXSS }
{ amount: u3927477930, recipient: 'SPYEZ8BS23YAAQ2360ZP5HVESN5RM6X8K0R0976D }
{ amount: u3924872810, recipient: 'SP32S3A9PN4GEJ2NAP2WFQHAZCC2XPNTN38VG7078 }
{ amount: u3924641520, recipient: 'SPFF2A8ZW5VY5JJES0BY7DNTP6T0E42P9ZKV85VG }
{ amount: u3923600490, recipient: 'SP2TJVCSK96YK9MQWF8FR9Y6MM7C9B9E66Q5GZ5EJ }
{ amount: u3911464080, recipient: 'SP30DS0EZEE8H0DVSTAP5W2HPG70VEYXM6C1FRAZ6 }
{ amount: u3911247950, recipient: 'SPEV0YXTVGXH9CY4VTVVSQR14GFMJ5KSX4GTK4ES }
{ amount: u3910847140, recipient: 'SP1MAQRM7D7M3HH1QBVZHT8NHN6HSZQCDCZ7B53MB }
{ amount: u3904736610, recipient: 'SP3Q4SQY9EP17J3AXDBEQJ4N1RNDDYWB495NJSCKY }
{ amount: u3901869410, recipient: 'SPGRF5FZ6PC6YNPB026ZAAEYYFKSW987KSC1E4GZ }
{ amount: u3898000000, recipient: 'SP17YPDJFFTFBXM1DX536CQ0GXCZ530RMF8CQFG4W }
{ amount: u3897654130, recipient: 'SP1MGC5QMX5ZQ1ZKMCR39S6ZPEMJ16VENJA3M6PES }
{ amount: u3892536230, recipient: 'SP32RXJSH9DX4JGMBSZG0RQS09RG2MHBCGK4H8A7D }
{ amount: u3889571510, recipient: 'SPVS5K8N5A185ZC403E8E5NEQX54GAM3G1KCQGRQ }
{ amount: u3888346310, recipient: 'SP3EZP2Z435HP5PH1JFGYQ2MRY0NSVVCCE0FZQY56 }
{ amount: u3887257120, recipient: 'SP2GG8NEMY69VSSHZYP46T5ZXCB27MCN4N4TGTDQX }
{ amount: u3884947520, recipient: 'SP1ETXE2JZHBWPAPKJDCF9BNC0BBDN01M82HD6081 }
{ amount: u3871328100, recipient: 'SP18RJ966A1V2NTBJ180E1YPEKBD8YE7BR5M38QP7 }
{ amount: u3865000000, recipient: 'SP1VNBSSDY5B3YY46WS0C5T73R5SV3D1GQDVT82TX }
{ amount: u3854603170, recipient: 'SPJ623ZDB1H2170NGQ9HEN095ENK6SZCCN5H0PJW }
{ amount: u3854477600, recipient: 'SP2NV3QY2ZXWNVVWKMVHXXQ8VAXQS4ZDQB320ASMN }
{ amount: u3851100110, recipient: 'SP31R4CHB8V13P1HBZGDGEGV6C82YEQSKYDRYA3CH }
{ amount: u3850545840, recipient: 'SP2VNEM8TM0GRWNP9SY5TJXEKQBTSQVJQP1Y5WEKB }
{ amount: u3849023790, recipient: 'SP1T8Z62H4X97DTQHNA7KVBPCT5F7Y86E7W2CPY4B }
{ amount: u3840467270, recipient: 'SP2KHSACB323ZA3GJ5Z88YVZGYZE0SKSBPQDXMHCR }
{ amount: u3838995390, recipient: 'SPY22SKRD8EABXR48SHQTVED2PS1CV5X0ZJR6T1P }
{ amount: u3834496250, recipient: 'SPKPC9WPM60DHAD1WHTCDC1M55YE0ZYD8J88X54Q }
{ amount: u3833324080, recipient: 'SPBKR1EACXAE6QBH571KZTEGVK6ZY7FYM3GZBRX1 }
{ amount: u3829507020, recipient: 'SP1AB3NPPATD18FPAQT7V5C0AME7HV9QXMTZD98TP }
{ amount: u3829500490, recipient: 'SP3E41W8TRBC9TM0TWSANHS05PJF27H686CDSY89M }
{ amount: u3821907820, recipient: 'SP1DZ2BWQT1K6M79F2QVC5C8Y34M8B9MGYT24BEAW }
{ amount: u3816183550, recipient: 'SPPDMVBTXBEAM61DY2CY4VVEV123R01CHVT02SHJ }
{ amount: u3805070390, recipient: 'SP38ZDKQ0QHTEZABBAJMPJ74F6RXTFH11JNST67JW }
{ amount: u3804049650, recipient: 'SP3ECQKC8QAAJ38KV5DJHGVHYVYQBWWZRH4Y6T3KV }
{ amount: u3802750210, recipient: 'SP1QP6KZBMQQC79F98H12DKAXZK2W6CDYXX8K7CZ9 }
{ amount: u3797081430, recipient: 'SPZBYGHNRPGT32578RTF4A7QG2Y4BF55T0YZ716C }
{ amount: u3796188040, recipient: 'SP3G0FTJARHAF89P14SX1P9E3E9E4HT008VX2PNRZ }
{ amount: u3785861450, recipient: 'SP96CZN974ZRTP57BEJ4XVVHM4XPZSJ99XYDM5CT }
{ amount: u3782262850, recipient: 'SPY8YN3BJBF96FA3T916D5MFQQJ2GMKBNQ9X00PR }
{ amount: u3775199930, recipient: 'SP2FN6XCY6D84YWJQJSBPBDYXPXMAQWP6A61AXE31 }
{ amount: u3771720360, recipient: 'SPCF6BB7DZK2E3P9V0R6G0NKNS0YHQFWW6BXZBTD }
{ amount: u3765061430, recipient: 'SP380DY3EN952PKP2BVQP1A55X7C8PPCGYZ4C4WBD }
{ amount: u3764251330, recipient: 'SP2B5EZQHCNCJ1M4YPV73943DWHT6Z1C99XFTS34A }
{ amount: u3760375640, recipient: 'SP26E13GF86V767W9PFCC65TA43AS1VCEV52HC8RP }
{ amount: u3756666940, recipient: 'SP11QARF2HF9YGZCXV5ZS5SQ99EDS15X6E6EHZZRT }
{ amount: u3754449500, recipient: 'SP3JP876GBPTVPPEDRGXTZB1GAX2R2AS3A3X5WGZB }
{ amount: u3750884870, recipient: 'SP3QMS5TEDBEJSY4C25QBJ1PV4VFTGFWNVF67SF2P }
{ amount: u3746983000, recipient: 'SP2RW5BWK7Y35V9XTASH67RZ2599YC90MVN3NNCK9 }
{ amount: u3746064790, recipient: 'SP1YHTAAKZ4S90CJEZWYJMSN7J272QP8RT7SFZR0F }
{ amount: u3731639800, recipient: 'SP37T58KZ5M8WD7A94M8EREJ3V92KDXTCGC16B8JX }
{ amount: u3725653610, recipient: 'SP1B4EPDBF0T3HGG1DBE4GNB5TRR9SBW2EESHF50Z }
{ amount: u3716666560, recipient: 'SP1RDN6R46W1T1GAG401PY8KBRN97M4DT9SMMS1WY }
{ amount: u3714137430, recipient: 'SP1AVMSYT6NYKRZQWG3693WJC9DZT1F9H5ZRR78RN }
{ amount: u3713340320, recipient: 'SP1AQ9KTG1FPVGY7JGZ4EWRYECGH435JQEM6D5QG4 }
{ amount: u3713105850, recipient: 'SP3XHNGWD5B1MJS2HDVTWFTF5N4RAWKM6GG4BPRK0 }
{ amount: u3710968940, recipient: 'SP2M0Z7E06T177S3MYFJ8GSRWJDFMGMBCZSG8S9Y7 }
{ amount: u3707528660, recipient: 'SP3H3WMAXT4J95H1TH9DXBESNEFF7HP48YY59MMB3 }
{ amount: u3694184440, recipient: 'SP676W0A6YQRBQX5MNGS319TB99G70VVW9HN5YT1 }
{ amount: u3687758740, recipient: 'SP1B1CNQTV5E5X1JG0R0Q6H3X1P72BFXHCC7JWF2B }
{ amount: u3684705650, recipient: 'SP1TCZ7A7146RD8YCJ4QJ4PF9QZNK3VM1R11YYNE }
{ amount: u3684700670, recipient: 'SP2X3W2P96G2MC88J2V79T427D9Q9TYQ2D0ZTPXKM }
{ amount: u3684695700, recipient: 'SP26X0G3744B37HVCKSS9DSS18KSCENCGEK9KBMTE }
{ amount: u3684690720, recipient: 'SP2B2VSVPZPNWG7P1ZM4B0J2G1FSWJAZ6NWCKY5X1 }
{ amount: u3684685750, recipient: 'SP1MT5N8AXCBRA54J9DDM1PK129PJSKJJPVJ7B66G }
{ amount: u3684293390, recipient: 'SP2N2AG2X6ZGR313C75ZXZB7HBS3M22XM7JA1S698 }
{ amount: u3680606150, recipient: 'SP2GTG06H7C989A3TB4HPC54KZ0CQWQZQCZPR9QAB }
{ amount: u3677755000, recipient: 'SP1N7JQRT31NEDJSHTA5XRKXD5TNPJNFQ4HXTSRJP }
{ amount: u3676138170, recipient: 'SP2EXFGX6CSTVGTRBS9AX50MP8BZKZM4XTEB31V5H }
{ amount: u3671812860, recipient: 'SPYHTC0ZTVZ7MWM5XFMJV8QJV57W3WE2ZCEZM9WY }
{ amount: u3670303070, recipient: 'SP1SSM2K91JQVF4QK4PV563W6GMJSTRS09VZW1J31 }
{ amount: u3663455420, recipient: 'SP130V91YNKW5BEZ2JTZR6X9JX9DAS69E7RW48NJH }
{ amount: u3662000530, recipient: 'SPC7Q64GVYSF48FY2552TARYKWPHBS68T85X3X9M }
{ amount: u3660891720, recipient: 'SP3HEJ9WZAE82ZHHS43Z3DTB1QYV5AFD1S3YDEJ21 }
{ amount: u3645218270, recipient: 'SPFX108RDA0XQDZD72QB0V14NCPMYRRGQDSF4RKC }
{ amount: u3641584250, recipient: 'SP24MWJDVZRDRBP2G51MZ7V6VF0KAGW2VZSYXB1Q4 }
{ amount: u3641457030, recipient: 'SP10MSFV30ZEREVDPSN00YQJZ2VXR0BPAGPY0EMYK }
{ amount: u3632454300, recipient: 'SP13RQ1ZF8JM4HRP01K1ST0K5W9RD09GB50DA12ND }
{ amount: u3629155080, recipient: 'SPM4BNX0H8E8C2WSMCTNBSH0V133DQD17RM3RRSN }
{ amount: u3628090430, recipient: 'SP3QM8M4ZMW2XDGFBP006B1ABPD8Y6YPZJ68P6S5K }
{ amount: u3625857470, recipient: 'SP3J4D9RKM8DFXFP2ZM194Z454925NA4FWW1ZWVF3 }
{ amount: u3624982170, recipient: 'SP16H3TQGZFFYE760PXQPEF9MSKZ5VA80RFTK6JAY }
{ amount: u3624015200, recipient: 'SPSWBAERE8QSPTG12Z44X5EDJ4N6SNX88MFH3TGC }
{ amount: u3623958590, recipient: 'SP1GWSA4HZC6SGZWJVEK0MMKCCV1JARTNE9GHZ4H8 }
{ amount: u3623953610, recipient: 'SPJ07E4K0VW0PN8Z23BSBTTWYZNKVY032F0BGSM9 }
{ amount: u3617383560, recipient: 'SP3WJEF5EWQ9DSNGZ25NN801QFGJS6B5TNMK2NPTR }
{ amount: u3615498450, recipient: 'SP3JWG6NKD387PWBQ2MD63YPWEPFDZ4B1DGXPT7K8 }
{ amount: u3608000000, recipient: 'SP3FZ3VJ421QXPC0VZ1WAT5Q78M8D1FSH9WSZYEK3 }
{ amount: u3603880140, recipient: 'SPKFHR2H3TDTYAKXA4CRS7SKB8MJDYG6A4SR8Z8V }
{ amount: u3602717540, recipient: 'SP560G6J5FCV9HKHA5ET2FNQ9WHM04R881599VBS }
{ amount: u3597000000, recipient: 'SP2YQCF4DMRWRPKD0EVNDY3AJ0BBS9FQH548GCHND }
{ amount: u3597000000, recipient: 'SP3NDSCPPY8EETZA4W91H87R1S647S4209FHERMHA }
{ amount: u3597000000, recipient: 'SPSH3362SCW5P6SMEAWD6DHNB81NYS641Q2VMR62 }
{ amount: u3597000000, recipient: 'SP2JD03Z0XC4K6WMT1NCX0EQHTW2A6H4A9S5DZFBG }
{ amount: u3597000000, recipient: 'SP3MCXPH8SAFA3EZD3H3ASF8WN4RRB1ZJ03AED5QW }
{ amount: u3597000000, recipient: 'SP26J2MQBVAS6JQKG59B86CFMDPCA3FYNZ39KA8RC }
{ amount: u3597000000, recipient: 'SP3JJVFJHYF83D3EWEVDHCFXN1AEFM61BN98TA5NP }
{ amount: u3597000000, recipient: 'SP2Q5JKASBA6MX0DNVVZ0XR9XVQ807EHB1N2GD8Y9 }
{ amount: u3593746550, recipient: 'SPN5BCWESP7RA2YQRFTGP4FCJNEJEMJF2X8Y027V }
{ amount: u3576338000, recipient: 'SPHAZWJNYFZQ82115NPREGXBSAHHEEP8Z3NB01AQ }
{ amount: u3575438720, recipient: 'SP27A09VG1SH1J8Z76NXHBGKB0ZWSBZ99DRGAC8NB }
{ amount: u3573310000, recipient: 'SP89E8XP4TE3N6S5ZFNNQQZ8FN91P0SJKNF3VSNM }
{ amount: u3564507020, recipient: 'SP1MNAAXGHHRV9EFYFT0ZXBR8ZFRVSJDXPQ7FCJ3Y }
{ amount: u3563925000, recipient: 'SP1PA2G1QV0DY5GNK3G21DSN8ZFFRJ2T5TAWKT8X8 }
{ amount: u3552102430, recipient: 'SP29CK6A7150F3DAQHEY1ZQ7NM7MY6WCG6EJJ5CXF }
{ amount: u3550624140, recipient: 'SP3A7WT2GJDG8C66D0M18D83THT7HBYBC605QY2X1 }
{ amount: u3548089060, recipient: 'SPKQXPZ92ER817Z6D0599ZPTFJNSZWTY59GW3N63 }
{ amount: u3547783910, recipient: 'SP1414ZSAJGQ5VJK8HNDGSZHGQEHQFM4DVSXE2CEN }
{ amount: u3529147030, recipient: 'SP2TZ241N9JJTEFF7BBB2ASQQMVPK00SMYGJGJRC7 }
{ amount: u3510651290, recipient: 'SP31A0B5K60KHWM3S3JD0B47TG3R43PT1KRV7V53B }
{ amount: u3508088820, recipient: 'SPSV45AEM37J1W33PABQZ1P2PS1TSZ9JVDPSDAD1 }
{ amount: u3505956110, recipient: 'SP1C96MVS6QFV9EWVMYSV2BGSEJN33KDQ5QMHMC4S }
{ amount: u3505850540, recipient: 'SP3AX271XY0BFFBQK7ZV39J1BJMN3QRSBN256PQAZ }
{ amount: u3500000000, recipient: 'SP2H9YMRV0R4N7CSYDP3P02KJQWP2BD7VS7YYKVVM }
{ amount: u3499281290, recipient: 'SP1PBYMWE6ZPWXDDTSSC3BB7SVBBNBT46DK7P5VD6 }
{ amount: u3489840450, recipient: 'SP6434X9MS9EPVP9R53G0ZPEQJQ9H3ZFVKM4WPQS }
{ amount: u3482331600, recipient: 'SPVY2PDVNB6JNR4WJ2A1HRAA0JRZ0HDVHYSS4GMP }
{ amount: u3480300000, recipient: 'SP17SPFZJP8VX82F2FEWKV2DYEW13D54518V9R7E1 }
{ amount: u3479291860, recipient: 'SP1SBTDB4CAHXY4D5GASRV47ARBDQB0TZJ9CB3P6S }
{ amount: u3477846740, recipient: 'SP3663MVYZ2R2D10TG1D6SSESY62V0V651TEBEPAH }
{ amount: u3473663120, recipient: 'SP188XTNGJS7D530Q0M7748DKZY73BGZ1WCT6N7MX }
{ amount: u3472346300, recipient: 'SP19P1R0N3AANXX1FWZHT1T100SN6AJDSDVS5PRWW }
{ amount: u3469483650, recipient: 'SP45H9YE58MG72AMPQHXDTGVQY3NHY9FWSEDQP1N }
{ amount: u3462763560, recipient: 'SP1CNSHD4JF9QKFABJ9MM66NR316APT8C1GTWYAN5 }
{ amount: u3462755350, recipient: 'SP1S31XPWV8QK3TJ4VJ4EDGBQQGEKVJW72ENXG4CG }
{ amount: u3462747140, recipient: 'SP1VV7NW4C6QXAD1SDEQV7MDNQN12JWX39PW20TB0 }
{ amount: u3462738940, recipient: 'SP2H714HGRA0GE4Z756H5YGK9JD4QJXB5NHHM7CHF }
{ amount: u3454521840, recipient: 'SP1JM1HAYZM2JVT6EKCBPVE1AM8WW315TR028SKJY }
{ amount: u3451046290, recipient: 'SP10X9SV2H0MXM0WKCREFQMZ9W5S02N55MKQMF9AM }
{ amount: u3449781440, recipient: 'SP3BZ37538ZZXDHDGGZR5AS106YP2X8ES7G3SZMF }
{ amount: u3445334500, recipient: 'SP12Z5RCKWAXZY8TSZ9EEJTD2Y6PNF7P2KA15A4MX }
{ amount: u3437048030, recipient: 'SP2JAS97JJBR9A1X6HCV9V251K6WQRDSF226B8Q21 }
{ amount: u3436901320, recipient: 'SP0DNCJNDDENVTMTPV8VZB1WMNQVQMHYQFVPYXQF }
{ amount: u3432597670, recipient: 'SPV3JN9SRDKXXNPJC8KHRYSRX65SVTDZWJBPDE6D }
{ amount: u3432569840, recipient: 'SP3JXAXGZA5JJJ4YHTEW6Q46PKX3VMT0Q0F7JDYF7 }
{ amount: u3429434810, recipient: 'SP18ZNR7TWG82KCRKBFYJFW4SBGAB69350ZFP1ETS }
{ amount: u3426048580, recipient: 'SP2T5F0FMTNJVHX4154YQK7YQ6Z4CZE2JKEWZJ3FF }
{ amount: u3420500000, recipient: 'SP1RXQKBBGND02A7NHTKV40FE17488P1GRB5PX2XN }
{ amount: u3417725500, recipient: 'SP2H5D5VDEGGRXT00DXZQPDDQPNSMRETSW7JJJP02 }
{ amount: u3409311240, recipient: 'SP39936RS0CKWG3GRA9S7N1SK95SBPKAS7H99D1BB }
{ amount: u3402130200, recipient: 'SP3QZPC3B98EFZGZT36M340RP78H8VRAVDPGZS3YT }
{ amount: u3401227330, recipient: 'SP18Q554PS648J745RNFFKT90QW7NW8WASQJ06TC8 }
{ amount: u3398692190, recipient: 'SP3JSTY4NWE5KASVAGJ1TCWFZVC772CGMVAB3FM1 }
{ amount: u3398189870, recipient: 'SPY226MZJ3RD6T0W3DPAHS6Y3B4013PTRCRGE7DQ }
{ amount: u3395444290, recipient: 'SP3CW5S1QKQQFMRGZ8JB2FRE397D748SFCP340MPN }
{ amount: u3394156620, recipient: 'SP2N3DE26WDDJ9ZMDEMQ5GHF8DCJE3WW96S00N4TG }
{ amount: u3392607000, recipient: 'SPAJMEDR4VY80W67XW61EK02170N99M9XHFWSDJZ }
{ amount: u3386564490, recipient: 'SPYVBN8DVDJN7DT5S5P293NMJ4H92H52CWKMKFEQ }
{ amount: u3386340190, recipient: 'SP3BGAJCEGDM3HDFH34WXQK7MXGT6V96FRV6KSASN }
{ amount: u3379571960, recipient: 'SP1J37HH3VE2JAHEXM7NHVPC3ZTJBG257YQ20MVVQ }
{ amount: u3373214030, recipient: 'SP13NNTN85B3ART1M48XV664BP41JKQPQ9ZA73XTB }
{ amount: u3363227040, recipient: 'SP1GPKJEEPHNDTYJ14SXV720BWDB8FEYHZ19W9Z79 }
{ amount: u3362526820, recipient: 'SP106NTZX1XW5KS81SJX15CMS8F51HP86SPQA44C7 }
{ amount: u3361753740, recipient: 'SPA1B88BCPC6DD29V12GW7VBZ9H9A99RGE1G6CJW }
{ amount: u3361218950, recipient: 'SP1YFBFQYPXTD0GS180M868YVZ8BXKZYK06QC0WZC }
{ amount: u3360174500, recipient: 'SPHRSPV4VB9GC97P9WHN2MSD5VXFDC23MX0C5M01 }
{ amount: u3358057330, recipient: 'SP1JH1GMA8STE2MM3EB9RREV07T1821BSPPYRG2NK }
{ amount: u3352548150, recipient: 'SP3WZFZRTXDEXXD2JVREK1F234K6ZWC9EQYCPRFKG }
{ amount: u3342690070, recipient: 'SP29PNR1WMDR91W6E1CHWTBBW4K8FHAZWQ0SEW3A9 }
{ amount: u3334029880, recipient: 'SP356HSATTR2329KJZKEBD1JJ5VBAEEBKPFFNDTBA }
{ amount: u3331161880, recipient: 'SP19733N7RRJGAFZVZT5G2Q0NCRRCEXXKSCFXH0WJ }
{ amount: u3329051960, recipient: 'SP2V7MAV8X4KVBY81CE7VNX6A31D89MRW9TZQ70CS }
{ amount: u3327853640, recipient: 'SP3MAFVDXKHE0BS406FQWDVT9TFY4SFKTYA88W5D1 }
{ amount: u3327832830, recipient: 'SP2ZY70DEBJ0FXDQEDZJ96BVYC59QQY7QJKQT2SR2 }
{ amount: u3309843780, recipient: 'SP1YACD9Y1G27FYVJERPXFPMDJH0ZS6N10DENJQ6G }
{ amount: u3302897520, recipient: 'SP31MK8P5TB70MQFS8Z7EV9FGQX78RMZZBE9YK9GS }
{ amount: u3302175210, recipient: 'SP2803S0YB2DJK5SBQX56PCYJVEXT9AJH758BAM4M }
{ amount: u3300982910, recipient: 'SP3NF7GZC1NK5JV924DCF6JJ849JPV5PGN2CKFW25 }
{ amount: u3298212880, recipient: 'SPK7BE4AB4ZBK89DH7FFASZ1QBWJVS4W7AEBV19K }
{ amount: u3293716930, recipient: 'SP120NNCAQYNWNWA99Z101ZWPGCFHZJX7JN4E9A3D }
{ amount: u3290000000, recipient: 'SPGMYW21ZQMTJWRHKHY0D757TMJJCZNB80EB05S1 }
{ amount: u3285913400, recipient: 'SPGAKH27HF1T170QET72C727873H911BKNMPF8YB }
{ amount: u3285823890, recipient: 'SP13FPBGSMS0VE4R34587V0Y7HTEKXCDQZ6M04M2V }
{ amount: u3283089860, recipient: 'SP2CQF529F023JNGY8PF8QHQEC85AHK6ZXWCVDE64 }
{ amount: u3283084770, recipient: 'SP3DFFT4RTZ8VNJ2TQY2RNADG7Z7DY6H195RWD1A7 }
{ amount: u3281830810, recipient: 'SPAQZPZVGFXRY8KH1RVG1D3MV5WXQBX2GQEM3FA7 }
{ amount: u3280580990, recipient: 'SP2GR3234RNA4B6V38WX25HH45N82001CZD995A6T }
{ amount: u3276426470, recipient: 'SP3821694XSQNYWB8RNAWRMJVK0XMGBNE9TFFM9W4 }
{ amount: u3275900940, recipient: 'SP259P2E8GNRBFWPJ9YEC6ZXMNBEY01FYQR020HCA }
{ amount: u3263677230, recipient: 'SP14NSM2BAB9MGMYNXJB93NY4EF4NFRW3G3EFBZDX }
{ amount: u3260703840, recipient: 'SP27817Y26A3SAEJSDF2RSHXAE37BQ2S8QEK05NWK }
{ amount: u3255418160, recipient: 'SP1XXS0FK3FKVWSG6ECDDZNHNWKYWJ66QZ2NSYJNC }
{ amount: u3245476710, recipient: 'SP19BY6015T9VXV8P5WD47ZE3M8NS9GJEHTSWTBS9 } ))
(define-constant batch-54 (list { amount: u3245016700, recipient: 'SP15PCMYQE3X6T06D3WC65C684EDBKYRKMAMT371M }
{ amount: u3244938190, recipient: 'SP20KS0TCKPGPTRHFQE6B4ZK8PWY0R6NBQT0DFXAK }
{ amount: u3240234350, recipient: 'SP33K9XY95TBDWAVXTHE5JYBZ3Q07PV77W8SN2KJM }
{ amount: u3237698900, recipient: 'SPT56QE5G3W3QVRTVN8EBAZ885NC5DF9KP9W71VP }
{ amount: u3232224000, recipient: 'SP2RQ7FK82NPEBW0P55YVF1S0RRB4SF22Y7YZRCFC }
{ amount: u3221249260, recipient: 'SP1BHE3MN48A5ZDQ24510PFBDDC3NDHAPNNYBT482 }
{ amount: u3220234650, recipient: 'SPM8CEA1FVXMNSG6873VG7M3W6YX3DVR39JK9X0A }
{ amount: u3218477000, recipient: 'SP1AF7TH2DDN2XCFFEVXKF15VVYW2X68CDQW3G4MK }
{ amount: u3217419890, recipient: 'SP1JH6C5JN3X64RNKK3NBQ1H7NWJ1YTMFWZFTD507 }
{ amount: u3217385310, recipient: 'SPH3F1C379BKG5X7YXQEZJD215NG1C2SGHA185V6 }
{ amount: u3212293440, recipient: 'SP2ZW9YE2WCWT6ACB4D4NZSM1CHZ578TXKDJ1QQ89 }
{ amount: u3211253450, recipient: 'SP3ZZRXKFA56W0828854Z49E99MNBA4YM1BT88NCE }
{ amount: u3211038730, recipient: 'SPN17BS25HD5PRH1FKS71PETFQ6TC2NNME76G41M }
{ amount: u3209857030, recipient: 'SP240VVT9979XDKMSP2T39WSDZV2SV4H0W2GZ0F5A }
{ amount: u3205573410, recipient: 'SP1FNDS8QG72TQB87YDXEP4Z2V7BQW39XWQRM2TWK }
{ amount: u3203377380, recipient: 'SPA6X9Y13K4P6G57XWDPVFGBQSJ9RAH3WPWB2M48 }
{ amount: u3200041450, recipient: 'SP2FZGP61AMYWZKYZY9F7W76WGKK1XE8F6SMB4G9Z }
{ amount: u3191090000, recipient: 'SP2J46YA7Q6J7QE8ASCYHA40PKZNG05ENW0AC8EJ7 }
{ amount: u3187817530, recipient: 'SP1BWAM3XJCNKYJMH081VRS7CYZ3M36EPFY1BEP6F }
{ amount: u3184608950, recipient: 'SPKPFJCXQ5B9EK4X4VKA0F0VZAP46XHR2WRANSE2 }
{ amount: u3180291710, recipient: 'SPGB42AZZ7JPZK3SZF0CQ2FV4VD5NMD5XYXRYXFA }
{ amount: u3170691390, recipient: 'SP1V422KZ5C1KA199RERAMB1QW996ZE3D9D7J6MP8 }
{ amount: u3170416770, recipient: 'SP2VTW8EPB2P6D0XH5D6GD672XABHGQQ1HVDYKN7D }
{ amount: u3169935020, recipient: 'SP1E5XZB7MVV98K1PA9TZSRSHX43GW05MGV18867R }
{ amount: u3169935020, recipient: 'SP3J6RW18WVTH405MHCYQDT5497C9ARN6CDYQNBVV }
{ amount: u3169935020, recipient: 'SP2RP9TW93EXS0ZFQPW0754587CV8R5SY2J9K71NJ }
{ amount: u3169935020, recipient: 'SP2DA19VY78CWZP5D90DY7EZ6CSZQJYV72XT5PRB6 }
{ amount: u3167000000, recipient: 'SPV8CNBFCKX91E6FD9EENQGKPT5MS1ADTE2RK34G }
{ amount: u3147599220, recipient: 'SPVBX18H5A3Q4JFNQFH4NTH6RWK1R33PF6D3FYFH }
{ amount: u3144794400, recipient: 'SP23SHNY9M0F0XDB1AG5CPFRH9KZC895VMA3SQXKJ }
{ amount: u3122525610, recipient: 'SP37S6ASV5A45JJ9MQWD1GG53W0CYMKXQZ6D9BR2P }
{ amount: u3119493670, recipient: 'SP2KSV144SJTM9XHQ57SY6SVES12FS4N8V20T5WA9 }
{ amount: u3110656920, recipient: 'SP3XQH0SBESEGBF5VNSJHRTMFSRMKNH48G110P4E }
{ amount: u3102169050, recipient: 'SP2SX2D2RB4VRXXNT3K6A5JCJ0E33D7QEZFXR9BE3 }
{ amount: u3087058490, recipient: 'SP1K29KTYMJQ23V1PG43VTTK4XY6SHES4EB3W8YGC }
{ amount: u3084646680, recipient: 'SPGFJAP8WQQWV9EM74FJZTMZPCK6N8VH84C3WYBT }
{ amount: u3084251270, recipient: 'SP19FHVCSAFD25QJMT1CX5WRP5YP16PF31FD7V25S }
{ amount: u3082403270, recipient: 'SP2CPG4BV06MVRFS1SNG0C8R5P25DFBMW5QCDF85Z }
{ amount: u3081161230, recipient: 'SPBXZPFZ1VEB38CF3PT4GD99KY7C7X5YGS07N7F7 }
{ amount: u3070116310, recipient: 'SP1QZ3MEJK71T5T6MM0QFM5XA472P017NG14D2M8J }
{ amount: u3063457180, recipient: 'SP381PY6PY3TBQBX06QF9RQ82AE6T67W5HTD4EF3E }
{ amount: u3062754160, recipient: 'SPM6S54Q6CN426NMNWSMWZZ1YZN899NFDBTGMKR5 }
{ amount: u3055593450, recipient: 'SP20RPRVA8VE9GBVRS3G6JE7D2T51P686CSY2ZCS2 }
{ amount: u3052613520, recipient: 'SPG7TWC4MMC4BKZSWNESX4RRF3DF43F67022PGAR }
{ amount: u3051128200, recipient: 'SP3YVP9DWMYMN33Q4CCW09C9FTPER98MA1R9GY2RF }
{ amount: u3038756600, recipient: 'SP2027SP19MMM3VCSS20VM4V09J4030GGPRVPNFBH }
{ amount: u3037000000, recipient: 'SP18FRCRP4WDHNH0JAKYYJ16FG5D4P4D8Z5J3M7N0 }
{ amount: u3027000000, recipient: 'SP5JYSPE3QTN5A0YNGS424V0F3Z1B7X2TSK3SDHE }
{ amount: u3026090990, recipient: 'SPYNVW2EA6ZN5X691NERQVHS484VW2MS3KPJJ091 }
{ amount: u3021769720, recipient: 'SP11GP597FYNQ95X38T6WEAADE5XGXNT2W3XYKTSM }
{ amount: u3017006260, recipient: 'SP3PCJQK05ME37PPAJH7S9R20D06QSKSQ4K05RGXP }
{ amount: u3016314430, recipient: 'SP3DW4BEHK7V6MJER13MJZ324HSYG24WH9PNCBP55 }
{ amount: u3009610560, recipient: 'SP20FPY5M9H60H3G2H5E0QK56EKB4C46Q052J8FYR }
{ amount: u3000045740, recipient: 'SP3FCZ571653VE8WABSPN5228NT6KEK15BR3T4JSE }
{ amount: u3000009280, recipient: 'SP234PHNEP69VZW0J27H230RXQZKENZX61R1HN732 }
{ amount: u3000000000, recipient: 'SPWS462J742RYEDAC78PDSXC9TPYMEA3DZEAS0RQ }
{ amount: u3000000000, recipient: 'SP2T8F5E8PW6254CSAQB2R30HNSK5ASTMVYCMEW6G }
{ amount: u3000000000, recipient: 'SP3PR5RPDKPX865M4DFSCWA3479JSF12G2PGAQPE }
{ amount: u3000000000, recipient: 'SPHSPME5ZG94C7ZX6DC1T3Y45E2370RMGVDNB6N4 }
{ amount: u3000000000, recipient: 'SP1NYA2B0BA41NME7RDSHCJFWZZQVFBPZ9RQMDWFN }
{ amount: u2995773230, recipient: 'SPG6CHDSFHSXQ3ESBBF2MEDS42GH131SRH6JGFQA }
{ amount: u2985488740, recipient: 'SP1YBDQK4VRJBDHKZT3EP93NNTJQYNZ9RCYF4RF40 }
{ amount: u2980625800, recipient: 'SP1RJS12YK8Q2QSRNZ01TY87GAQPG19AT2DBT9909 }
{ amount: u2979926730, recipient: 'SPJP7RMM7X86S4N37KNTTWASVMV2H4HJ58CD95AF }
{ amount: u2978980300, recipient: 'SP28WZYEQ7JG3FXG99DNKXJS9CSCDCKJF8YDJJJ7D }
{ amount: u2976000000, recipient: 'SP1526AK4MFH7TZ32NXGQ46A19S4Y97S23V3RS25Q }
{ amount: u2975457910, recipient: 'SP332PCH573F58JFH2MYM67WYKF8P1D35YC415WBX }
{ amount: u2974075300, recipient: 'SP30APZJ570WXABDQZN84MFW6JE4EFRAPDA88T383 }
{ amount: u2973482710, recipient: 'SP3W7TKMETR2J28KEXPKM9TBEDVJ04PJ7N0GR5QAC }
{ amount: u2973467200, recipient: 'SP1SSWS6HJT7CJXZGMEK75ZT2DZJFDSKDX368S5VJ }
{ amount: u2973390450, recipient: 'SP1GHYVW3VY9V9YSAQAP3MM37JCY47ER4NCZT5C9D }
{ amount: u2973386060, recipient: 'SP2R9PZR8H080Z7AB4E5CQVRMD87TZG9CT6E45J5F }
{ amount: u2973381660, recipient: 'SP24K47MSNJ35BBVZ3MJJ97Y6GNRHG9ZGH49SKESP }
{ amount: u2973377270, recipient: 'SP2AY0ZV5ZF379CB3WTF28SRH2FMX5XM6JMX50WHZ }
{ amount: u2973372880, recipient: 'SP36MJV77VM22TPWZRMJHZXE7GCPMY0ABWXG8ANQM }
{ amount: u2973368480, recipient: 'SPEPE6ME309KA998JGD7ERDBPH4H240J5P7FAWJH }
{ amount: u2973364090, recipient: 'SP17K7355MRCGJTTZ1VHRT6AVNA21T5XSFEX9C48B }
{ amount: u2967576240, recipient: 'SPFPYP3X11027WYTQGY1FCD70G1EW96PCMD28CZY }
{ amount: u2962208730, recipient: 'SP3HFDR5XAB544G9RG4345G1SN728EHTT8B2EGA0J }
{ amount: u2960652320, recipient: 'SP2AXTRB3Y6QYQQ0RQJZWVKCQZ92GBBYBD4W623HM }
{ amount: u2960514330, recipient: 'SPYRH0MMN44GVKZ1YF7222TV7WG53T4SMJH8NRC }
{ amount: u2957834360, recipient: 'SP3TYSQPJ84W5EC9KDVV991160QSATMB77MKJD3S5 }
{ amount: u2954376600, recipient: 'SP3E6KS5YQPSDNJ1W1TKN4V8911QE84TDP10J2GXP }
{ amount: u2951906540, recipient: 'SP2WYY036HQ95ACZQ9C5YNKVC5EMTJD9R01XTSGX8 }
{ amount: u2948553350, recipient: 'SPND38YNZMCS2W11ET3YQZZC50Q8NJ6KZRRRWSZN }
{ amount: u2947226820, recipient: 'SP215C3QVZGZZW5JJJGKZH35VG4R704MZ5V8H4GF1 }
{ amount: u2946880000, recipient: 'SP2RWR5NXAKPWBBDC4MQ5VC31VCT310D9QR3FAK34 }
{ amount: u2943598760, recipient: 'SP361F4WSMT5M7490Q3M5EHXT3SXCCKE3KKCDMP37 }
{ amount: u2940593020, recipient: 'SP1RBM44JBJECSXB5AS6NBWYVA954M1ME8S5E358F }
{ amount: u2931068680, recipient: 'SP1SRJP9BRZEC6K8SXPNHN2NFTEAT5JWNKQKP28RB }
{ amount: u2928759250, recipient: 'SP2WH1A4KEJ3M6KEBZ475KJ3FMP4Q1QJFKW7N0T7K }
{ amount: u2925538640, recipient: 'SP3QBFQGPQH26CCYCT025PXRTZWCQ7QHYKRD603CJ }
{ amount: u2924186120, recipient: 'SP2M0V9A405D4TMYXT6V8F21JMDFK5B8H3VS2DV0Q }
{ amount: u2922838520, recipient: 'SP1V37WTF2ZXFM7KJ388J7YQJC131W22XMPQECAK0 }
{ amount: u2920063340, recipient: 'SP1WQYSG5P0C4XVAC88H0DTCRSWPQ03SHAR4HADDJ }
{ amount: u2915669440, recipient: 'SP249YKVRV42A8KS9JZP84AKC1RA3EENYMWFTDF1F }
{ amount: u2901867420, recipient: 'SP2AYJHP9H3JM3T26ZBW0SKBCXJ9S4JW03VQBP7K1 }
{ amount: u2897966110, recipient: 'SP3HJ6W508ZMDJGA4952NAMWPX291W8E8YJWN55EC }
{ amount: u2896416910, recipient: 'SPFK9DA9BTA3F0N42MDE9CXA01NJZNHK8W6DTHY9 }
{ amount: u2893748890, recipient: 'SP2DF438XMBD6V5TED8Y7VY9V3ZR7HPP2NPC7T9G6 }
{ amount: u2892681140, recipient: 'SP1VE1EVBCRZ24181NDG4R8S85SX3E7RVE6WN5ACH }
{ amount: u2879536380, recipient: 'SPTDMAVVV3HZ0K51QTAF9JM0G09DB00JT3GCDAR8 }
{ amount: u2870743330, recipient: 'SPJGK8F31QHTDAD216BVDKJ0T2CGABZZNNV0ZZC0 }
{ amount: u2851089330, recipient: 'SP1VKT3RYGT4SETHCN2CET3YNRP9911894PV4XK72 }
{ amount: u2848170890, recipient: 'SP3ESPPK6E6KV83QTMVD1D4BV1GW1QA7E8VQP46W5 }
{ amount: u2839157560, recipient: 'SPX0WE7JE8CWHB1SACVW3DVYG2P3HWS786K7KXF9 }
{ amount: u2835305470, recipient: 'SP2MM2MDNCN2W7696F0ZV65SY48MCATJCAKJ21QPA }
{ amount: u2833289080, recipient: 'SP2R8D4V4NKREF09Z9QBB8Y6190BSRJ2XCJYHPWWX }
{ amount: u2833007220, recipient: 'SPB8VAAM11AB7HZ93V4ZTFF9MB4Z591HJGN9CG82 }
{ amount: u2832823720, recipient: 'SPFBZZEYGBX5CEJP7HHX4RKHT0CC667WFS6J9XDC }
{ amount: u2828343620, recipient: 'SP3MWH3AN1TH7JE1512W5QHJDNVK431W4PRZYXSF9 }
{ amount: u2820430200, recipient: 'SP2CE123JZGQ63MGMN3VPY26QTQ1DS1CCEEYB3TVF }
{ amount: u2817389160, recipient: 'SP3RQCJNR3KDV0QFWR2JJ8HX4MP02ER9AVGW5AMJD }
{ amount: u2813525780, recipient: 'SP2NAQ3MDASD9EANBHAZQ83XEFBF2GH8XAQZCANJV }
{ amount: u2813042030, recipient: 'SP26HK9M84TQRTRGMMCJSA8ZR21J1TZNQ98G7HMQ }
{ amount: u2809487610, recipient: 'SP18ZC1X2SNH2ZY7110FBSAH1KK52F9B2GEVY8DY7 }
{ amount: u2809360980, recipient: 'SP3MZYYPEP11QCK0W3F2KTCEPMGXB0BX0HJ8WGW16 }
{ amount: u2808930000, recipient: 'SP30665CN7TC9N1G4M4ZRSQ6A31MCBXGR9FCH4ZWZ }
{ amount: u2806487030, recipient: 'SP2W60PWEGH91WR4DMGA4A9FAH31XET81Q3D6RJYE }
{ amount: u2806141870, recipient: 'SPWXD62STES9575ZZ6KG4KCP1G67QMC0QKDBS0JK }
{ amount: u2800000000, recipient: 'SP3ZB06F8NQAXW1VD4N7AGKH6AN57PRZHDEP33S3H }
{ amount: u2796340380, recipient: 'SP37825EZJW6PHHTXBXN6RCC2N9X2K62823BSJM7J }
{ amount: u2795978780, recipient: 'SP3DPS03NDASADWM8KX2YB25VMKY4DJ5YAA2147D5 }
{ amount: u2793434340, recipient: 'SPRNFWCJ9PJV0R1GZRKJVMTAE198Q727H8926ZYZ }
{ amount: u2791590000, recipient: 'SPZPSCA0XB98R152QQDW403XYDHVHEWCYQ730N46 }
{ amount: u2791572080, recipient: 'SP3ZCZ5H1086F63RT986SP3ZX4DW9DTE9S61GTZPN }
{ amount: u2791023690, recipient: 'SP3V2BW453KSN8QYWZ19A1XDNZC2WR4FQ6KVJKKRV }
{ amount: u2790862570, recipient: 'SP3Y2NHWXAS5RM7MN095PMNTA7DJPSTB9S1TATWBQ }
{ amount: u2788826790, recipient: 'SPBNVJ8XSNFH1GYX7SKGHDNR2A85QKCCEE38GJ12 }
{ amount: u2788535920, recipient: 'SPJS7TCQVMS5W0KCCN58PPBTZD9548K8WGJY60EX }
{ amount: u2788076060, recipient: 'SP1HYKX20B561GDG5J3ERKMCK0VG7XEPBRK0F95MV }
{ amount: u2788069540, recipient: 'SP26JCN37YPKK4WR269SDF2N880MXY1DQVS9EBRBT }
{ amount: u2788063020, recipient: 'SP37Z39QNEZPHMZ66DQVJ4FTSMFW8DZ5HSF6TN2JR }
{ amount: u2788056500, recipient: 'SP4EDS93F54XJABYFWERTYRHJRDYQ4GPQYA028ST }
{ amount: u2787676510, recipient: 'SPZXBGHH2BHW0CYFWRYG81BT1SZTX088EJA1QTZG }
{ amount: u2787643330, recipient: 'SP1FH70TJRHS3MCZ5JN3WYEZZ8H3VTG4B3FX98JA6 }
{ amount: u2787567360, recipient: 'SP31TNRAWCYD2HHFA8TVHCKSHQK7TRT8XH30F8R3Q }
{ amount: u2787558430, recipient: 'SP28J8GGK9K7CW6R9KBG2G9BP5QDB373ZWSJ7E9D8 }
{ amount: u2787556750, recipient: 'SPG1AY2Z6Q6X99NC4PXPY669SB4MJRRMNMQFNNWX }
{ amount: u2786610440, recipient: 'SPSV04GVRYZ65ZGA2J9QY5P1T21N6C7X27S0W4EZ }
{ amount: u2776101170, recipient: 'SPYFQ80XRRV6HBAW1WJ3YD1TFHVE6X2HFR1FY8C6 }
{ amount: u2776095510, recipient: 'SP1EMY1ED8T071356X14AZR5FEHBZKYHKHW1Y7HAD }
{ amount: u2776094700, recipient: 'SP3M0PNKS3F66TZREF6SZTGY9P59YW2JCN60JMT37 }
{ amount: u2776081770, recipient: 'SPS9B0T3YQGZAZMJS389E0V1TM228HXA0ZB4TXCA }
{ amount: u2776072850, recipient: 'SP1FRPD8TZHXJZWGFHGFGXPR326YKZFHHNPYZFGA9 }
{ amount: u2776067190, recipient: 'SP2TXYGNBT7TZC5Y71X3X6C07GRRZ1FT5ZX0J8TTR }
{ amount: u2776066360, recipient: 'SPVBDRXRZ3S8HW0SDAQCJCJ19EQNY93RZJB0HEBR }
{ amount: u2776055830, recipient: 'SP1B1YPHSTQSGZ88T9KJTYJ79DS6QM5YVTGA3P5Y1 }
{ amount: u2776049360, recipient: 'SP2N9S1910E19VSGAHSE7JY8SAZW0WX1EH1EQQV9F }
{ amount: u2776039760, recipient: 'SP12YVBMW6FKJ9HXRJ9QQJJ7Z14PKQABF3V44XNPH }
{ amount: u2775865750, recipient: 'SPJDM03AVRD05RSBVRVZFZN5XSRHCKB4SRVSQ0HM }
{ amount: u2775865070, recipient: 'SP12Q6WEHW80RTHP6W1GPZ4AJWBW9F31EAC0HG2JF }
{ amount: u2775859290, recipient: 'SP6CT02YWCSC68BM80K74K10DRQ6Q7VNWQE1VK7Q }
{ amount: u2775858620, recipient: 'SP3034ZF2MHYZQHCH8K1RDHGKK4ZGRTND4QJB5ZTV }
{ amount: u2771624790, recipient: 'SP2SE69QX17P9NB9WN51YENQ2G17ZYRGNXYQW83Q8 }
{ amount: u2769109290, recipient: 'SP3CBRG28NQA06XK2C650KK0FCFQ0Z4NXF0JD10FK }
{ amount: u2768478140, recipient: 'SP1T26BEC7A3QCJB2SBT9HB2GEFRCX1HR1C66S6D9 }
{ amount: u2766425510, recipient: 'SP1YF3NVEKRQFFQWP1H10FAD3PRRH1BH5C6531KPK }
{ amount: u2763794150, recipient: 'SP3MC890X74PT0NJWHFP67912P7MG3MN123J6ZYA0 }
{ amount: u2763251450, recipient: 'SP198PG99Q2RN5SWKPWX9BJSPAWJGSY76T7D98BSF }
{ amount: u2762417080, recipient: 'SP2BY7JAXFAXT0QZQNS8SBJJ09E20JHB0FRM48SVH }
{ amount: u2761995860, recipient: 'SP1QVA8M5EFNTMKFFH881RSRY21XJS3KH2WRVKG18 }
{ amount: u2760417980, recipient: 'SP3AQKB94X3A9P980SSNQ8RY30RYQDHRY44ZZ09B5 }
{ amount: u2760238280, recipient: 'SP322YV8TPY1QY2FAZB9F7BXW6ZF8J8G8W1DCWD6V }
{ amount: u2757679350, recipient: 'SPV9HNVRJ6833QJVN3KD9T1FSXRJSN842M9PJ02V }
{ amount: u2755004270, recipient: 'SP15WC07JY4FGTVV9S0PTPKFCFDXWJV1JXBFSN2FD }
{ amount: u2751244400, recipient: 'SP2BK801TYSZ8TV09KC713ZM8JSD03HRX7HBNYW4 }
{ amount: u2750891670, recipient: 'SP6ZCQDY5M3FZM1194986HTQES77ZQWWW372WGE7 }
{ amount: u2736270800, recipient: 'SP11DZ8C7RMYHC3WS0FX1T2N33EN7BFQNFYJ9MDZ }
{ amount: u2734150280, recipient: 'SP2G3HGXKWKWT0NYR9MX9DPM8FE5M3HE32QNS3VHP }
{ amount: u2731101110, recipient: 'SP119ATKFM412X7WB4JTCNHVT02D6X919BZHPQR69 }
{ amount: u2730687380, recipient: 'SP1CKPHYPWK9M8B7JF66VZK25J0HY98P11XRNPMVD }
{ amount: u2730000000, recipient: 'SP11YAQPWTEJE588FVCX9AA1YXP257GH5A071J6DM }
{ amount: u2728667200, recipient: 'SP3KC41YZW8T5CECW0QGQGF29R9XK7GXG6YSYEKM1 }
{ amount: u2724033000, recipient: 'SP2DVDYEB3YB70MAJBPE7C73R6BCRMPWBMBMP2YYC }
{ amount: u2721838680, recipient: 'SP2N33PJ27QS2GN7VGGQ6WYKZQTSMYMRVN108XP0F }
{ amount: u2720119960, recipient: 'SP2SF0X4M0JMS4Y12747K8MA6H7PN74BD8ES9YPDW }
{ amount: u2716651230, recipient: 'SP287AYSB9MCRRG7R7E6Y8ADHWZ5BBWHXWSBJKR6D }
{ amount: u2716331450, recipient: 'SP3KQMZBR9JYZPMZ7GXSP9Z0TZ1755F1C3FQYH4ET.sata-vault }
{ amount: u2706977620, recipient: 'SP2WNEPJ1K7V3GK29AKEZH9N432WQX9FB5147P8QP }
{ amount: u2702832700, recipient: 'SPS9WFJREP3PXE5FT4P0QS7A5DNN1GPXXTCYTCKS }
{ amount: u2700007400, recipient: 'SP2NWGMBV60XJRMTCDBCSE5C6AZWT1RYP1FT192E8 }
{ amount: u2698138960, recipient: 'SP87YTAGGR25M8BXF0S0164X5B5P5D95J4DM3E1M }
{ amount: u2696533050, recipient: 'SP2J6GD4VAE8XR81ZK865ERS95AJ51Z6EVRC57FJG }
{ amount: u2684960380, recipient: 'SP2Q6C8TR5MXPEECKZ3S69NG102S2YPX85WAG876E }
{ amount: u2680167520, recipient: 'SP2VR21RM9Z2XQETEY9G3C6E3789YDFTR7BZDRVFY }
{ amount: u2678719100, recipient: 'SP3WHBH5RB25PZQM5E7Z4T331HXE7S8EYJZ26MN4H }
{ amount: u2675756670, recipient: 'SP2VAX0EY6JFQD34W2HA15CEF8TB3JP1WXJDWJ8SK }
{ amount: u2675571360, recipient: 'SP2ZPTBTDKSKTZK2PJ33AKSZ2TY3J3DHKDMQH4TH0 }
{ amount: u2672848540, recipient: 'SP2E5G8Z70Z05NET3CBX3RKNMZ3984DNTE05BP2S6 }
{ amount: u2671000000, recipient: 'SP2TSB01YG28SSC6CWQCQND89DF142GZR62NPD6KZ }
{ amount: u2670193830, recipient: 'SPE1NPAJJPXEC0S0XYVP4A2FVKGR4DE2V4T1TS3P }
{ amount: u2667886050, recipient: 'SP1MQJFSYEGEEKKKSF79XA6B3RMHAJP84TQRXM2J3 }
{ amount: u2665580000, recipient: 'SP2PPM9HEGQT1ZRERANBD5RNCPGNVV88DXACKBGQF }
{ amount: u2663447420, recipient: 'SP1GHR5KZQZGPMGC7N96DBPX6KGTMFZTMZP1MXR8A }
{ amount: u2663158350, recipient: 'SP9Y9NXC0Y96DKBMPAEY1JT18Y8650NC8HG9P856 }
{ amount: u2661872140, recipient: 'SP1M4TMCJJFA5GRXYVR923GMFEHYY3EGX8WNBAXMZ }
{ amount: u2654000000, recipient: 'SP3ME4Z3WC634Y39DQKPFSNZTKB9YXVFXY7BTRCNQ }
{ amount: u2653862690, recipient: 'SP2230VNZ24CD47795Z21NSYANFND0E6HTKDDR5AY }
{ amount: u2652781840, recipient: 'SP19QWCZF2Q01ACTD8SBNXCAGEYWWMCMY94837Q4H } ))
(define-constant batch-55 (list { amount: u2651715790, recipient: 'SPNECGWNE239QZCFEEA96ET82AKQ9H4A6BWVNKR3 }
{ amount: u2651523570, recipient: 'SP3DNYZK74R0ABTTGD64WH9K53F3DMK3YAK0SEDXN }
{ amount: u2651472260, recipient: 'SPVF7AKN6RKP5983F4Z4V42849V3D3DFW40AEMTJ }
{ amount: u2651472020, recipient: 'SP1PM8R1RJ702TDXT9596RD86XCECHYEENSVSJT6M }
{ amount: u2650440310, recipient: 'SP1ABMANHY9C8XX0P3RSA9WNW78G63ATN256W4AD }
{ amount: u2647964490, recipient: 'SP914CCN76GCR3KW5NT7FZM5YS0A40CC4G7F7PQP }
{ amount: u2646282800, recipient: 'SPQ50NVMRJPMD0JE6JTPR98YQX0C79TAP8YSYTKK }
{ amount: u2644996080, recipient: 'SP23E5SRGM92AGHYKFQ00G2F03SE89PFPAGTNAGMX }
{ amount: u2644692760, recipient: 'SP2TZMGN40A57QWK46YKVYTEBDHMWXHDMCNZB7ZK9 }
{ amount: u2642533500, recipient: 'SP4C6RS7SR4T4SM5GADY8YF6HYZNYFSKCM244JTD }
{ amount: u2639877250, recipient: 'SP1FGZ8C5QWF9HW6T9W5YSWXQXV29FCVWQQE103JS }
{ amount: u2636893650, recipient: 'SPWM25ZVBSPVVMGDPA93NK5V8CQ0E8KTAYS4645G }
{ amount: u2630987090, recipient: 'SPQR221CQKJBW9VE18QJ6N5SPNEG1W1JNNKK053 }
{ amount: u2629087340, recipient: 'SP2JQZHRKSMK8HR736E9NCHPWE79VWGV317SPB12N }
{ amount: u2628224630, recipient: 'SP27244P5PPZ9JENNZ2AQV313AS16AHM3ETQRWEX9 }
{ amount: u2622565030, recipient: 'SP3Q5VRW4TH1M9TRP7HAE0E2BKNZP697KYHX8X42Q }
{ amount: u2620046300, recipient: 'SP21SK3F23JMA5E15R8TQK3AVX6PEZFXEHT6RKNCG }
{ amount: u2614693620, recipient: 'SP3X22A7D4Y7NK6YH3NWBRDHEAAHXCZGVC6ES237M }
{ amount: u2610000000, recipient: 'SP32P3HGJEX4FACJ36QAGW0WK9W1C95WY8T3T6JRR }
{ amount: u2609603720, recipient: 'SPTC0AHSSR58FNM8PN6BW9HZCAVQKPFGT92ZM331 }
{ amount: u2602026690, recipient: 'SP2CGGTQ2M90YJ3P7RATTWMBZV6WMRF87XK0NBKTY }
{ amount: u2600000000, recipient: 'SP17E6GDWMSRP4GN41Z0E30SHQFC87GFKG0ABYFB2 }
{ amount: u2600000000, recipient: 'SP1PJQ6MT9FD8K1XCS8B6YMW931Z4FX3S9YYDQ2E2 }
{ amount: u2595927430, recipient: 'SP2PZSW9865B968H65B6VGTEW2WJ6XH8CHYQ27MCE }
{ amount: u2594472450, recipient: 'SP2DTJ60ZAHVVCNKTM3GGYJ8P6HHGP17HEKBQT98H }
{ amount: u2593997580, recipient: 'SP2ZKNW126YBGDAD6EGW60XS6ZRW3T00HWXWJJJK7 }
{ amount: u2593762480, recipient: 'SP2RQFVJ5XV6JXCQ30JNWF1PEYGRS1M88YE1HSQ1M }
{ amount: u2586257050, recipient: 'SP3THEFW1M9MCYBNH1Z0MQHKPHCH64AF38BAPVCJM }
{ amount: u2585914470, recipient: 'SPZZ77WPBG2FGSJHMRB8B5S2H81NS4XG5CQFXXEZ }
{ amount: u2585418240, recipient: 'SP15FWT10HS00ZW457TG8J0YV7CM0M7EZYG378A8N }
{ amount: u2582939760, recipient: 'SP1DQDPQCTWKJADPM79KE0P6K77WTWKYAQXFXV8K9 }
{ amount: u2582098710, recipient: 'SP2XMRC6XRV6G9NAPMC48NMMP3SX008HH33HFK6KA }
{ amount: u2581798080, recipient: 'SP2BCT3GBT5KAKKMH4EVK5GNDVDFYS71S4E7Z2SRH }
{ amount: u2579839300, recipient: 'SPS8CKF63P16J28AYF7PXW9E5AACH0NZNTEFWSFE }
{ amount: u2572807970, recipient: 'SP1M4TCTW16SX4Y81T5KAQAZSR7Q6AHVN7HGNRG7B }
{ amount: u2570409210, recipient: 'SP156Y08J02RPFYGD8149FEXWE7FS1WTEFJMNWFNQ }
{ amount: u2568847720, recipient: 'SP16C7B7B6ZPXCTT5MHSG00WB0JG0R87YH12PDV6T }
{ amount: u2567420590, recipient: 'SP3HEJ7NB88VF0RBEYWNE5MNV86K0HF7K9JVNY2BP }
{ amount: u2565739640, recipient: 'SP3TS1Q07JYPVFRQJZN8CQD9BJAXQ6KYFBR28FR4M }
{ amount: u2565475720, recipient: 'SP3QTC7RNTY1YBK0WEQD3YW7YJK8MT65YEDF5G32 }
{ amount: u2561059960, recipient: 'SP1XHJVQ8D1610TM9NNSWSFGWT9DAER07QRJCFF9F }
{ amount: u2560693400, recipient: 'SP3K6BVX2BM2WBR3FP5T72S6N40YQ12R8CCEFD051 }
{ amount: u2558575570, recipient: 'SP1QXBC998VG17WEPPD52WFDBZ2E9RHN1NR6ZYVQ }
{ amount: u2558573240, recipient: 'SPH596KN1DNN5BA06GN6SBJSWCDBRV3W414ZF8VT }
{ amount: u2556231710, recipient: 'SP3RM9V19VFNK513MWV7FS14N6SRRVM6HX3N145WQ }
{ amount: u2553538220, recipient: 'SP25WMKFHAW4822094KJYSACQQB5CVQK958F6DS25 }
{ amount: u2545023230, recipient: 'SPB65YMYCSYQW1H2EKMDNPD63Z732XGB059AQ4Y2 }
{ amount: u2544351850, recipient: 'SP2K0XC023AT9D2JPRMBTNA8X3KCFHAX7EANR21MF }
{ amount: u2540006850, recipient: 'SPXR1206QEFCAMRMTJSMKMFGY0TD6FN4V6T874MF }
{ amount: u2537668990, recipient: 'SP219HVS7MR0A1J5GQ6WK37C4D2TN0P6H3YXCCGKH }
{ amount: u2537033590, recipient: 'SP385DH7P31KSVWDTGW22A41Q2JJGVMS472YPKT8F }
{ amount: u2530988170, recipient: 'SP2G70P78F2TR3HCZWDBBTM6K0GEMBCH97P3H07KV }
{ amount: u2518878710, recipient: 'SP3SCCSY7J6EP7A8ZETPE7ZC0S2S2Y3JDGFDHM8TD }
{ amount: u2517840340, recipient: 'SPWMZZ7AS9JT34Q159MS0EK4MVP3HAEGABRKH2R9 }
{ amount: u2516880850, recipient: 'SP375WGGYNW9NGM3XMWT1APH9VFK9NBDXQC2RWD0V }
{ amount: u2506575300, recipient: 'SPDBTVDSXQYRPDZV7ZYXRMCNNW245TKVQYWF1DB7 }
{ amount: u2500005260, recipient: 'SP2JJK5SH040C741A66KD95S6W4YXJMKV7TMS3YNE }
{ amount: u2500000000, recipient: 'SPF3CKD8NRS7HWYYWVAAT8XYGEWC5BQER9BH2G1D }
{ amount: u2500000000, recipient: 'SPMHNG0MGVGY79C1GNSCFJ0F17WRM4G40V82RPES }
{ amount: u2500000000, recipient: 'SP2FR9CBVF3XJ6GHBEQZ0TV6ESJ2BEGNDP8TJ79BB }
{ amount: u2498069910, recipient: 'SP321F7C9FG1WEYVB9E5RV72GF88BE3F411MRME14 }
{ amount: u2495385580, recipient: 'SP2NP1VRQRES6M0GJX2QX6050325V7HCN04TNNG7Q }
{ amount: u2494819810, recipient: 'SP1QSKHTS5K0XP2Y7JQ623M6RHMN6XJCFGTRPSMMW }
{ amount: u2489781210, recipient: 'SP114GWM0E20SDCQYHTWJBH5KZ956GYTJG15ND3J8 }
{ amount: u2481603200, recipient: 'SP394R5A2QNJSYENSCN4C86Z6XZY0WR51AQRRZ30M }
{ amount: u2478206890, recipient: 'SPMT1RRQDWWNQDDRBYQY7VXX3ERPMM5TD67DWTW }
{ amount: u2477662590, recipient: 'SP2DQ5KVD36WVESDM8W5NGRTK2NF4C74JHJ4YYQEJ }
{ amount: u2477662590, recipient: 'SP1ZSVQJ28WC1TNJW3YYA5PYM7HR6HQ0SDR9964ER }
{ amount: u2477662590, recipient: 'SP232C7DHX0S51XMZQSNHDY6GSZG345ZC302NJ65A }
{ amount: u2477662590, recipient: 'SP3MY5D8YZ20W13MSY0X2JYM0ZQ4S0JAW0PW36Z7C }
{ amount: u2477662590, recipient: 'SP2CH1QC0E7ABN7JPRC3PEVFMH9053H0XMGTZWT4N }
{ amount: u2477662590, recipient: 'SP2XFC20ZEKS1NE6C14Y978Q0RSGVA1E7H9DYVH1P }
{ amount: u2477662590, recipient: 'SPQEG9FMRDTWMRQQEXZMH79DAGKKA0A5SPAR438N }
{ amount: u2477662590, recipient: 'SP2R88AGHTXD8BAHJDJM4QHSHGC6Y3GFH15Z1SXF0 }
{ amount: u2477662590, recipient: 'SP3NFB4TYJBBBC8P9A5PRXTZDPSNQJCTWCE9TMC6A }
{ amount: u2476376660, recipient: 'SP2AWMD0R4XF67W4YFDWV65RZE6V2Q2T8DEFKZS6P }
{ amount: u2476376660, recipient: 'SP25EDGSXWC9GYWFXWSQGX9759C1126NGHKX42N3D }
{ amount: u2470434890, recipient: 'SP2HCTE349AT8RKGKKMPFDF2997AHVGEZDT7X5BHX }
{ amount: u2466411710, recipient: 'SP2ECY271K61110ZDSPWJJDWC4Y2KK3X2SGVY95FZ }
{ amount: u2466411710, recipient: 'SP2MWM27MNZEX1KF71DRMCYVE4161GPJBBSHXSXX8 }
{ amount: u2466411710, recipient: 'SP3JZJN7B2FMP1MJDW3GAC5C0K1RX8TEZZ11TW31Y }
{ amount: u2466411710, recipient: 'SP3QCECJ37YGABVVEPV2Y2BBZMSTMT9Y4V9TCQY9K }
{ amount: u2466411710, recipient: 'SP3TW74FBEVM3ZMARAM6XBB8YZX7JXH42CETF5MVV }
{ amount: u2466411710, recipient: 'SP2BJ6AMQGQW79R39SYG8H7H6W72K2959WD249S1K }
{ amount: u2466411710, recipient: 'SP12MSA3RTCZSEXEKS1QP1WH7P15KY7M9HMMDQ3HM }
{ amount: u2466411710, recipient: 'SP3B7WNJ7FQZ33XM63PD6SCQDDNNAT7PEJM059GV4 }
{ amount: u2465970190, recipient: 'SP2TRM63XKAEZWNRSSY99Y3QWNC79KQPR807D8H36 }
{ amount: u2464117330, recipient: 'SP2JCYZ5YV6H5VK5JMH19HXZ7K7TMK1H7742FE8K0 }
{ amount: u2464117330, recipient: 'SP21MD0TW8DNKP6XC1Q6J7VDAXV46XW9TGW91G8XG }
{ amount: u2464095920, recipient: 'SP2H0DN9ME86K8V5JGFT09ECN35QW6KWBZXT3W0XZ }
{ amount: u2464057000, recipient: 'SP2FJYNJ6XDFK6AD91Z3BZZ8WJGV6EGZCN7MW0QYN }
{ amount: u2459352790, recipient: 'SP3ZWTK3M0V6918NXETHJS47QE8MX1EH7RV30WJ8N }
{ amount: u2459136790, recipient: 'SP2F06D7MHQY5PGV3ZSRFTSVSMF1ZF427GGXFG7JP }
{ amount: u2454123030, recipient: 'SPEJ2JKG5SVZD793CEWFZQ0VDPEGZ6QVP39QFAHM }
{ amount: u2443881880, recipient: 'SP33R516ZRNB1QDMJ87NTZR75C9DG6NTWAAVETD0K }
{ amount: u2439477290, recipient: 'SPN6N2V9RQYDRMMSRWA5MRNZTGXJCEJF5CMXR5MT }
{ amount: u2438996910, recipient: 'SP3481N56Y6MK2G5CBDDKAH8H7TWSZGAW12R74Q4B }
{ amount: u2437725320, recipient: 'SPK01SP6S4YD1K58YWGPC64K7R7T3DFZXWAG521S }
{ amount: u2435000000, recipient: 'SP1PD3JXJ990SFCKKEQ1SCB4EG4QJK4TSG1Q8K8RP }
{ amount: u2415257200, recipient: 'SP335TEE4R6VE687T19X1CZDY2W649292CXA2G5M5 }
{ amount: u2414872600, recipient: 'SPDBM1FW6QGDAZNA46GDE1NAFZ0GTF8Q11W4SG6P }
{ amount: u2414417770, recipient: 'SP3DZMFQ9QZ0PNMDFA30W93QVJ0FH9JSXBFGZ054B }
{ amount: u2413901550, recipient: 'SP2BTWRQT4M8G058MQP2QXXBPHPB9TJBE0RA9XY5C }
{ amount: u2407158570, recipient: 'SP3Y3ZY89DT8W15XRSMRNBVMJA6E6FS1Y86VM6R8V }
{ amount: u2405028210, recipient: 'SP3M1P3WXAYWV5FEBVY22Z7Z6HARF5QDJXVGD9W9W }
{ amount: u2401515180, recipient: 'SP3546SSJVXVH1XS65WK3ESKMDZ2RA6K3680H66TE }
{ amount: u2400000000, recipient: 'SP3T6BX3PDRM4CG8GJXJC63P0FW68TFZKAYM2854T }
{ amount: u2399881540, recipient: 'SP1W5VRHAVHEA3AKHMX6SZCWDBG70N4CVK39DP7NB }
{ amount: u2396350040, recipient: 'SP3ZGF33K9BYX9W2RD8DS8T1KJ2WH50D9NR19X0X7 }
{ amount: u2391209890, recipient: 'SP1RTJSWQEC58ZDHAKA31SFMY3E71Y2BMN3A5GM4D }
{ amount: u2387163820, recipient: 'SP1QDGMK42YYKT1AM2QT9B200P3D7SWSKW1888CPM }
{ amount: u2383539390, recipient: 'SPN70WDR0ZG2KD9K61GXS2Y19KCDQMHCNTBT1GRM }
{ amount: u2378991820, recipient: 'SP1DAJS5G7ATMXKYHMCHP6PH8YKMWTPCN5WVHG9ZG }
{ amount: u2378245100, recipient: 'SPRBF0ZP3PAH4MAQA20DQS648M593SQX6V1NFCR7 }
{ amount: u2378191110, recipient: 'SP280VT67E6QEX1TGRGWYTQ01K0VNY670T55FGQXM }
{ amount: u2375452120, recipient: 'SP4YREMDCM2YJEEEFM82G0TJ6WAFAS3XR6W8J9G5 }
{ amount: u2375085010, recipient: 'SP1KR60AC54Y5QVABJASXZTMY77C1G40CZ85NX22Z }
{ amount: u2371871120, recipient: 'SP2KXHHY016P3MVHBFQJ8J3HWSG97TGSSYWEW5KQP }
{ amount: u2371433330, recipient: 'SP3AAE9HCJBZFK4YP49CJ97MF7VEHHXJ5VHV9EPN }
{ amount: u2370958200, recipient: 'SP28J0S7WPSHTD8XA09JGD081AP4T4FMHZ49B81T3 }
{ amount: u2370841310, recipient: 'SP2S7QQ46767XG6HEEQ867RDET8J1F7YRNB1MMHMF }
{ amount: u2370705850, recipient: 'SP2W44RWQTJ74J5YX5AT9GQMJCXFAH23T7HZ75Z6G }
{ amount: u2362580800, recipient: 'SPYX2EM3YE7EH3CE2ZC2NR906RAWA84HCCFVYYB5 }
{ amount: u2360591860, recipient: 'SP30QKYDMMDGPRDN5XBDBR1S6T5FTBV8F20196J0Y }
{ amount: u2360308100, recipient: 'SP1N973K3V574VJ86KM95HFCT1T0V1VCQPDADRGMS }
{ amount: u2359264170, recipient: 'SP2Q8H43GT70ZH8YW7XF0RVVYEYPMXZTH0XR90JTM }
{ amount: u2358953610, recipient: 'SP33NSB1FWHX4E7NK3F9KXR61PGJD02EZQ88FVJPB }
{ amount: u2358088090, recipient: 'SP1B5J1EDTQS2CJV4ZHSS4N2VM1A07JG2W660DY8V }
{ amount: u2355972580, recipient: 'SPXEFFEDX83H40SVVWVEMAKEGE10R3VF1PTQYHF8 }
{ amount: u2352070880, recipient: 'SP2CD4CBM6ZB5Y4YTQFGDVF8GEWYCCT378HVS5QX5 }
{ amount: u2348868380, recipient: 'SPPEJY56P9FBWC6EEV1P8NYAKXD55R18QXMRQ3V5 }
{ amount: u2348812190, recipient: 'SP3E9BKSFYMNC3JVGKMAPZ6B13VR0ANCCG5W3S676 }
{ amount: u2348457990, recipient: 'SPVT27H705XYPRWH40VV576KCYWKBVW5VSZ0CVEJ }
{ amount: u2341520000, recipient: 'SP8AYE3VPZTV99ZRSTBFG7QC0W7BRSH1XNSFNHEG }
{ amount: u2338059820, recipient: 'SP1MQ8DEMEX2JESNJJW2PT8V9DV3546T473VE74NX }
{ amount: u2334425470, recipient: 'SPWY0Q9AZV2663FR2JJ1M6G23R005T8E3SE6WD2X }
{ amount: u2332984720, recipient: 'SP3DD36T2G72TB6GMY79MWVWETNSRGB22W35XGBZ7 }
{ amount: u2329629550, recipient: 'SP3VVK5S423H0F6Y2B1WFN7HFK68H1V4SJF7ZA98D }
{ amount: u2318508620, recipient: 'SP2YW7CT2B3GWP5YQZ5C1AMFP4RXXPWQZMS3N6B33 }
{ amount: u2317248030, recipient: 'SP1BGTQ2NXYGZR77V7SZAKD1W6HW1H35D5ZHKM8Q2 }
{ amount: u2316287370, recipient: 'SP3J0SMD0QPWNTDAH2TFMVDQHS8WNJQ82M3TW784K }
{ amount: u2308999400, recipient: 'SP1ETSB1E85X4MFHM3506RPRHZH0QRMBC2J6W0RD9 }
{ amount: u2306788850, recipient: 'SP12J9DGVQHZW7YCM17SW0JHXA1CNB7QNW1YQVB41 }
{ amount: u2305389450, recipient: 'SP1NA7ZHRHYMJZEPDWJYFV5R9DCN2BCBHFTTE75VP }
{ amount: u2300879180, recipient: 'SP2N7FP4CM8WMCSF4PAX50RT2EH7H37VQC11PY6NQ }
{ amount: u2300000000, recipient: 'SP5M3CN8A227G5REE17GBF6SCM80M439JW68G4YH }
{ amount: u2299819710, recipient: 'SP30DPWAT46SR0WP8WJX8B27BR9S16P4MV083KEBF }
{ amount: u2297652250, recipient: 'SP3SKQKWB8XMEJ01JG76MNPQKT5T7GVHVZEN3JVXM }
{ amount: u2295142990, recipient: 'SP2VCH4RS20EENSM60HTF4GG30STCSV1CKBBTT3H8 }
{ amount: u2291960880, recipient: 'SPFMQW8TH77H8PACSS26J06VD5D9WXQTHF5F35GV }
{ amount: u2288031010, recipient: 'SP2PYF7CANQWEC1NMCZZYH3J81VM2NE5YCBE75DHE }
{ amount: u2287994810, recipient: 'SP1TTJV1HTYE7T1TMCB9FHJ3M624KFWKDK6N4PSCB }
{ amount: u2279730690, recipient: 'SP2TNZP090D4S1AE5C8KN2BNYCZW0VP3D7VC33NNW }
{ amount: u2278634380, recipient: 'SP2ACV0JQKE0T0CNZJ2XXP6ZSSMR9YQ8A2J0J8GDM }
{ amount: u2262774540, recipient: 'SP1PTVHKQVNKKGTY0H1W4PDZ0T0REXY7CJQQA42SH }
{ amount: u2262763250, recipient: 'SPXJ405K82BMG2SRA3DNH9JQDK45GQB05NSHNXXN }
{ amount: u2258153750, recipient: 'SP377JNM64137TMBC6DWWX24CK65M4B05QSQFQNA2 }
{ amount: u2256888950, recipient: 'SP25VJZHNP84HTKB9T20CGF5JDBB8X17X81RHSTWB }
{ amount: u2248172690, recipient: 'SPKK21485T48GZQM0JQZZWGZ2374WK0CZ9JJ39YB }
{ amount: u2248170280, recipient: 'SPXVRPMJBVK9QSP301CHMAGH3JZGQF87AZ6BZF88 }
{ amount: u2248164340, recipient: 'SP1NNCPGZSNBWAZ3Z9YQM638VQHPY200R04ZAM4C6 }
{ amount: u2246669490, recipient: 'SP3FPPW034K562X59PGTF06FBFVW7FSP2WYVQ85A3 }
{ amount: u2245000000, recipient: 'SP3YHCVEMBRH9RCNZ6MVCKD2K1XM4VAKNW8XYDH22 }
{ amount: u2236331880, recipient: 'SPV5X0PMNS8EQD2955M2NFFJ13S6SRNRVAV2X3S4 }
{ amount: u2232776000, recipient: 'SP11WF51EE8JAJYT89TSXV1VQ0FQSACY9QEG9CPQ9 }
{ amount: u2229956590, recipient: 'SP2VDCTHYMJ8VZDM39P304N851HG9FD7FZKRQBAPY }
{ amount: u2224160260, recipient: 'SP1N795J07RQTKKGXN1K1CBRR6PF7D37YBEESTQZ9 }
{ amount: u2216974910, recipient: 'SP1W1ANXBMKKP9PJZVHTYC2TZRMQRXFXTTK7TV29V }
{ amount: u2214004410, recipient: 'SP2RP0TTFV21M2FVCMGB56JFYJ6CSFKWBWZS3QYY2 }
{ amount: u2212814850, recipient: 'SPFRFGD82BS5Y0YK6S4ZT4CAGD5NB315KAQ97EYE }
{ amount: u2210485440, recipient: 'SP39QXE5QY24Y0NEYMRMYD0EYNQYNSSVGWHNTA3FT }
{ amount: u2208089440, recipient: 'SP3D6TXZWG3RV4YP9XN6G8MRBDHVM2JYHFP42C03B }
{ amount: u2206378970, recipient: 'SP1JT44RAW632C35SNVVN3J11G42T6E5P239ZC9DQ }
{ amount: u2200000000, recipient: 'SPEFS5YG59J3SDHKD3EEB0QG809HYB3C1J5AWB21 }
{ amount: u2199387150, recipient: 'SP24N52N3D6JQP2V8HZ1PKYYABTYCRY3T1AZBX9YV }
{ amount: u2198774110, recipient: 'SP1DDG1V7BZRAH7QTZSKD03059F70BXNQ98ZS6A6X }
{ amount: u2198017770, recipient: 'SPP456XFZZ005SYD3DHZZ3GMF1ZE21EA93NX0N6K }
{ amount: u2193591300, recipient: 'SP1P7Z0F1TA398ZFJFZCXSASTXRKSHHV8QQACK2W3 }
{ amount: u2192259900, recipient: 'SP1XXRQ4B8BRBAKQKZ8FNBAKESXSE3BJPE3269287 }
{ amount: u2189104230, recipient: 'SP3XYXX4N50GPPAZ8YE1C9XX5YF3B8BJBQAA9FVTT }
{ amount: u2188596840, recipient: 'SP3757BB244Z4BEHJ8Y1H3FXQ4XMR0CR5DHR0QAAQ }
{ amount: u2187556340, recipient: 'SPSFMC1YGKGCSGF9ZE9CCTKGNSH58D4Z4P22XRC6 }
{ amount: u2187424860, recipient: 'SP3RNCE5KBYJFSR8MB93RWFFR8J568Z7WZDP5S07R }
{ amount: u2186216110, recipient: 'SPH7SXPXTMRYVNYSM24JF5KYME94WVXMETA2AA0J }
{ amount: u2185807150, recipient: 'SP1DY2QDFZAR8VK5S9DMYW2AW0WXQ16NNRG3PJDTX }
{ amount: u2185031120, recipient: 'SP3JHQE4R4PSXJJA191SVJWQ3B5DXETQDDEZ9GVBC }
{ amount: u2182619600, recipient: 'SP1CERWPNVRSW86TK06G8SZMPP1TXHRK9YQDA6EVT }
{ amount: u2180644370, recipient: 'SP3ERB3CKV60Z4SW5R2RZGF6Z0A93AJTN1ATJ3T7P }
{ amount: u2177371000, recipient: 'SPXNFNG7PAQEXTRA55R7ZXHP0XYA1BS6DTV7M6BR }
{ amount: u2176767410, recipient: 'SP20GJ1GJC3C2XNXBFY12EYG0S97NKP9N40J2ATWG }
{ amount: u2176021620, recipient: 'SP3Q7A8C4SZ1ZFRKBNNBQEFVKEWZ678VKHRYP4PEJ }
{ amount: u2174958910, recipient: 'SP21HM8VG3KZR6WHFJ96Y4PAXMFDA66ERWSCPKD2S }
{ amount: u2174280500, recipient: 'SP2M4RNFQ7P5RQBFD8PK2YBB090XW4B7T4MHRKZMZ }
{ amount: u2171712330, recipient: 'SP1WEYFZWY064NM32XCR124SDQE2RYTKWWZ4CR0Q }
{ amount: u2169130840, recipient: 'SP29E5AN16KN5Q1JD8Q425NNKKWT2Y60C51CYYAE0 }
{ amount: u2167770000, recipient: 'SP380D93BKZ26141P6Q74ERZNAHBC7RK4KY4SG9DN }
{ amount: u2167512950, recipient: 'SP3VRQ8MW4KAVADNQX27E47P67YJWV0CKMJFM30K7 }
{ amount: u2164489920, recipient: 'SP2YDH5KQEMWBXQ46K17M8F9BGK5AKVEN2CSAG0RS }
{ amount: u2155038710, recipient: 'SP21M6YDFQZX1JQ3W06ZG41DQ57GDWFQGX1J22HKM }
{ amount: u2151881230, recipient: 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-51))
(try! (contract-call? .token-special-vote edg-mint-many batch-52))
(try! (contract-call? .token-special-vote edg-mint-many batch-53))
(try! (contract-call? .token-special-vote edg-mint-many batch-54))
(try! (contract-call? .token-special-vote edg-mint-many batch-55))
(ok true)
)
)