(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-61 (list { amount: u989779972, recipient: 'SP213FZ10D2TSGKYDNFDJPKJYZ4ACMVEA56GDNFAT }
{ amount: u989779634, recipient: 'SP3YY0YANM3R898T2GQVF8YB40E2YFW3RJB0HG9J1 }
{ amount: u989779278, recipient: 'SP39G1EGX3QX1GA3RQEJR5N10E8N8WVNJ87Y1MFA9 }
{ amount: u989757379, recipient: 'SPKVTQW2PDCRFJ4JSFNGYPTZFEC55JGAVN6H47GT }
{ amount: u989757040, recipient: 'SPZXYKJSKVBYCF6AFNJE4V8DAZGT438SQBSHXGDF }
{ amount: u989756702, recipient: 'SP3DM87GFAH750E4VVNYK0ZEBMMFFWZSEFYPQYZDS }
{ amount: u989660620, recipient: 'SP8TV5B6WD38QY3AV7HSK1TW0KE109GB67A1TQVF }
{ amount: u989431066, recipient: 'SPVT4MGHG64YB4J8XH2HDTFMPEC7YKGY546CVW0B }
{ amount: u988473885, recipient: 'SP1G0WKPRPJN66KJ6AK9ZFEECFZ5D5NRPR553CRF4 }
{ amount: u986000000, recipient: 'SP3G9V6NCQ21W0R0EQSHTE4FQPFS5NQE266ZT553B }
{ amount: u985121806, recipient: 'SP3PAHCREDNQEC0XC3VTCFYZ9S6H0TY0WT4XVYXMP }
{ amount: u984911260, recipient: 'SP17V4Q2H13JWQ76YSDHC5MA8N9N12896B4CZ1YVA }
{ amount: u983379784, recipient: 'SP31VF19KFN3TNFGVA8081MM5AVGB6WSA6SFSV410 }
{ amount: u979320964, recipient: 'SP1VNMNR648X21HFTC8ECAHY8ZKZ0S503RZSSHYAY }
{ amount: u978146008, recipient: 'SP17JYAH09RRND2Y9ZTK8EJAH7HR8423PGQM01JJM }
{ amount: u978092134, recipient: 'SPP4TW2D6YE3F44JYTQRKPWXT19DJND5JH0NRGFQ }
{ amount: u977007128, recipient: 'SP3DV14KP6MRPWHK2R4S9YMCHQ65MQQCQVV31QZJC }
{ amount: u973476557, recipient: 'SPJ91D5H247SCNRHTDKRBZYXXQ8M5BM6DT3RHTT6 }
{ amount: u973449999, recipient: 'SP24EK98DFRNCSR5NC1FEZ4YA59JXPGH709QH5E9N }
{ amount: u972273722, recipient: 'SP9KW0PH3G4AMCZ5Q5Q8HQBXMV55BX6Q0ND6TE3C }
{ amount: u971991605, recipient: 'SP2VCZJDTT5TJ7A3QPPJPTEF7A9CD8FRG2BEEJF3D }
{ amount: u971506556, recipient: 'SP1GWVJ1030CDJ0CA9TGTMTVZH873C4MADNFY2Q10 }
{ amount: u964480887, recipient: 'SP2CS11V6K0PVKTKF1Q2JK7TX78SKQNBA1A4FAKAP }
{ amount: u963755488, recipient: 'SP21JJ6B042BK44XFESY5SY4H9DTWXEMJ2SAF1879 }
{ amount: u963688030, recipient: 'SP2CWX40S8WZPSF9ACQZF5GX52BXDCGEDHERGSEQ2 }
{ amount: u963688030, recipient: 'SP4S5MKK9DGHVPFE1X83GGC61H93ANR4NN5VZN4Q }
{ amount: u963688030, recipient: 'SP38M16YGJT8Q9S8TKDSQ373XYVN3Z20WCAB29CC1 }
{ amount: u963688030, recipient: 'SP3F6QQ6ZNWSTH0VJ9B6DPP52K2GQS7X0GQ58SX6R }
{ amount: u963688030, recipient: 'SP2CM23NPNYC54B96K3KD9JE5V3YTYBD78H4G6Q9B }
{ amount: u963688030, recipient: 'SPT29NYV9D6029WTJEM7S1AYP8RSXJY8Z8CWWP4A }
{ amount: u963688030, recipient: 'SP1YF54448956KFJZ6FVBBGCVWY1WHTJ0S6Q67GRJ }
{ amount: u963219669, recipient: 'SP3CPXWNM900TBFVSFJ3RECVHCEP3S7Q074WMB4T7 }
{ amount: u963184311, recipient: 'SPNSN6T5BN1SJF7PQ92WCNBRTHKTSGTCKGS42KMX }
{ amount: u962957109, recipient: 'SP10K788HJDX89FHT8B4AJMACPN6TVTY9ST2Q1YK1 }
{ amount: u962957109, recipient: 'SP286A8J1ZPP0VCHZM4KCH028BDRCSMPT4AGZEP1P }
{ amount: u962000000, recipient: 'SP307GGVHB747YGP6H377K3ZZ96J1MP6D4DJMVRKW }
{ amount: u960643811, recipient: 'SP3HXPS1KT1CC49E0JE7CC06HHHTW7MD7S9Y39VR1 }
{ amount: u960220000, recipient: 'SP3ABD5P50831KB1FY51NDGADKBGB7QV1S18E70NX }
{ amount: u957706136, recipient: 'SP2FEEP0RRCAKWD1Z988HTSKBCK0CGFQ46995A9A2 }
{ amount: u957538882, recipient: 'SP3TSDZ2JZB44ND6VGW3HXB3S3FZSYRSCWCDB7YCY }
{ amount: u955574615, recipient: 'SP1H1P3Y19Z1AV39RNCEVPFKBD42XVNCRRAG3YZTV }
{ amount: u955222335, recipient: 'SPYAAK2P6Y7BV7Z6ZW5HKG6E5TJXG81TRS071MAR }
{ amount: u955192255, recipient: 'SP369EZEQ8M6KHD43VQEHGJ56Z8GNAKY1MXBYPKSG }
{ amount: u954191911, recipient: 'SPFMSVHCMAT1KWBAKK2NBN0BK98XVTYC2Q595BRS }
{ amount: u954000000, recipient: 'SP3QBSHXS51YMGFFJV40HZM36KV2NG3RMKJP8P5D5 }
{ amount: u952959260, recipient: 'SP2AKQBSFTB17RYECX98VAP5V86ESQHQ1Z7SNJK0J }
{ amount: u950545059, recipient: 'SP1P6BAJYMHV02XTV421E3ZWNEAM7VVSXBNW8PJ5G }
{ amount: u950541418, recipient: 'SP24VTSRG8BHYXF71Q1N21HK7ZFRPQB1GNC2DHEKA }
{ amount: u950534761, recipient: 'SP2G7W0HK06GCXFD10G7KE8RJ8SJN780MXNK1D1ZX }
{ amount: u950534225, recipient: 'SPEA1CBN0APYCY0W038BN2JEH3KFPSF07WRQJGKT }
{ amount: u950528898, recipient: 'SP2ZFN0NB18BXFX6PP5WQN8V0MBWZT1QTER2B1R30 }
{ amount: u950523571, recipient: 'SP32NP3M4AZH0Y65765BG5VXE7TZ4RFXVHWGP4CDY }
{ amount: u950518246, recipient: 'SPTQHTXZTBZN897S2PJ87FZQWC68RJX85Z9CQK5Y }
{ amount: u950512919, recipient: 'SP2REJ0QQST236C4XT9XY3TYR6C8YZ7SGSX8E76Q4 }
{ amount: u950000000, recipient: 'SP8RHEK5CRZAZNNZB7Q6H85SQGHY7ZYQWBV86E1W }
{ amount: u949199337, recipient: 'SP3R063YHJ0J70MXJN92M8JGT74W2VEJ9DWBACEPT }
{ amount: u948139500, recipient: 'SP3C3FB3M0J510NTK08QH75GNZH4HCWCHFFKWPME }
{ amount: u945918816, recipient: 'SPASNM7MTH341AC9F2DD08FDT0MCGQKK477EK2QF }
{ amount: u945151060, recipient: 'SP2QWKPR0ZKPGPJGG7BZFN1X2F3HJZP272ZE3KGW2 }
{ amount: u945043196, recipient: 'SP2BNY1ZE7NMH4EY7WW78EEVFRXVNWB8WQBZ30PEY }
{ amount: u945037915, recipient: 'SP30HVDHTDZ4SH5JZEERWXJY060TV3AHX9PN8DH55 }
{ amount: u944629099, recipient: 'SP3YJPGX6QDFMNEPAHFYTKBHFVRK9JV409RSYHN3F }
{ amount: u944562715, recipient: 'SPCS147PECVCJSCZ26K09053K5Y0RXM03J198WMK }
{ amount: u944105135, recipient: 'SP2Y1G02Y5BZHKWTHWYAA385TZN66JJNFQGQV5YH0 }
{ amount: u943107946, recipient: 'SPWYF1XP6ZK53B9G5PHDPGZJKP9N4T56ERGB13TT }
{ amount: u942823974, recipient: 'SP1WZZ5A5KCBCPPS4RH54R87V34DF94HM7RAWX8FE }
{ amount: u942100770, recipient: 'SP7JDZ0XAJAW9WCR8AQEG34G3XKNTRP8N73QXK7B }
{ amount: u941696611, recipient: 'SP2M2Z9ZSDJ7SY5FD9TJTEMBKY5533WQ7YZZRZB1X }
{ amount: u940162955, recipient: 'SP3PRA4ESZ8YRPHNJ5F12FPCEGRP9VYAWHTX5SZ06 }
{ amount: u938551272, recipient: 'SP2V9V892HTN3R6TFR3YHN6ZY6BQ8MXXF4SB1WV6D }
{ amount: u937968751, recipient: 'SPGR2K6FW95AK7AB3QAXDZCCVXV2YJ03C14FK82A }
{ amount: u937893482, recipient: 'SP38YQFNSVJRG2V54TAD4M293SPJ560JWSWMRK4VY }
{ amount: u937104361, recipient: 'SPDVGD55G7SGREA0Y5GXN1QH0BF9FP7T9XFWPMMG }
{ amount: u936545861, recipient: 'SP3TFQECEF5PMECM34B0TQR8FYKFZPHTMAFMDGHHQ }
{ amount: u936327966, recipient: 'SP1SN1HZCY0MYR4PJJ0JP651BCJEF58H10VPS2WKX }
{ amount: u936062139, recipient: 'SP291EA8E3QE56MK9Q4GJSKJCWMD516M9EKN6AQV1 }
{ amount: u935417034, recipient: 'SP1RG1ZZZ11129872GJDFYN4F4359WBK6EQ8FFZXM }
{ amount: u933731516, recipient: 'SP3PMR0CWRBKPPJFM0RT44Z0V8W0HHQ5PQ6YETSHP }
{ amount: u932677491, recipient: 'SP32728WFVK74FQXC0BD48QD6BNW5A3MJ8HB5YADR }
{ amount: u929105266, recipient: 'SP1KJQ58KJBEHTBCD9P4E8KHHYWR3CMBQSYDGCWMV }
{ amount: u927695179, recipient: 'SP39ANTBHY2CJBEMX6BN6RV5FZZ4VRH7CFR1H2QQ4 }
{ amount: u927394610, recipient: 'SP1SQ84NQZYN7MCCDB3Y9TN13NEDTZ287E769YSQA }
{ amount: u926014399, recipient: 'SP2HVSASZMJHHNCHYBNV0Z7TWNBCQ5S63BPXS187D }
{ amount: u924574113, recipient: 'SP210AQW1DPYTTJ5P3XNMDFSF6FM52R68XZMR51W2 }
{ amount: u924554311, recipient: 'SP3M16X85R7ED2RR70ANNB3X0HXPHGSAXBEGGZKK0 }
{ amount: u923884240, recipient: 'SP2KR527N0D8YHEM2RZN1E5FXFBE39Y9Y3E16WREB }
{ amount: u923447771, recipient: 'SP1Q68JYFG3GYRYD231G8CTVWDZYGWP7C4KMJBNBK }
{ amount: u923246064, recipient: 'SP16F5R5K5TARS7RV35S8JQNKJ5DKPP8H9F0KXWGS }
{ amount: u922705537, recipient: 'SP2YHTBNDHJVJR4EYSBZ8TC9BNA79PZT1RRSHY9ZX }
{ amount: u919095064, recipient: 'SP3BBRXB1PKQXKEH7YNER4AHP1EJ7W5CTDQSB5V4X }
{ amount: u916945241, recipient: 'SP17YYQFGN8M6G8HD96TW6BAT8VNNRKG2WSENF2AS }
{ amount: u915374500, recipient: 'SP1CK4HGJ76MV1EVHQVT68VZN5VVS7PPD8SDDD7JE }
{ amount: u915196509, recipient: 'SP2MXDKJG8K7QH2ANGY6RXK2PNA29Q5J1NEVBY3R3 }
{ amount: u915014483, recipient: 'SP20EAW3PNR8DKB52ZZ01MBKBTY6QEEQ4ACP4CREK }
{ amount: u914755905, recipient: 'SP2T69A8J6R5G5V542E4MD7GF6180NEJ9GASBDHBE }
{ amount: u914239117, recipient: 'SP374Y6TQDPD2C7XQHSVP9P744BCYQMWBZ4NENC34 }
{ amount: u911593105, recipient: 'SP39TW8SBGK0Y42WYWJ9150A5E6R8E4JYVRD8ZWSE }
{ amount: u910149806, recipient: 'SP8N8ESH65370V7YE8AD821GPFQTNRCFYQKKW9B1 }
{ amount: u909847323, recipient: 'SP3N7YV23ZNSRS9W4WAZBB8RN71FTRVB2847QSM1W }
{ amount: u908842351, recipient: 'SP1YVPFJZ2GP901VQWY0WQQ8F6C2NDD878KH1EDCP }
{ amount: u907990801, recipient: 'SPPWY4PEWGH78C6D9EY7PY103GFA0DCDNT9HCGWG }
{ amount: u905147615, recipient: 'SP2X5E8CJ926XJCKJENPRDHN6XB9MMV5802BJ9GWP }
{ amount: u903407238, recipient: 'SP27SCHQXMV5NN3QCG973K3EKDRNJQQAS9XFZCD85 }
{ amount: u903312890, recipient: 'SP2PAS5TS9VVM45NETHEFDRDYCRVVP5764H9VWAJC }
{ amount: u902045830, recipient: 'SP3QTKSB26DY2JTB7AARK99SB8A35SB2A5GDTJRDS }
{ amount: u901699406, recipient: 'SP1XRCYRXQ3QXV15BWT5PEP4ZF969026TE568F1Y1 }
{ amount: u901527613, recipient: 'SP1X6SQWCS0B6DA866HMFB3SXQSJ8SARM9NMSQ2RZ }
{ amount: u900000000, recipient: 'SP2PW86PXYFDMBCAJPC190DAKHY8X20BBYKW5M0C1 }
{ amount: u900000000, recipient: 'SP2R57EA6SRPDXNNNEDQT660K8WP0560WHDXAFVE }
{ amount: u900000000, recipient: 'SP1RC2BBM9TF159MH7A0976F1JSCGSQ07PW33H2W7 }
{ amount: u900000000, recipient: 'SP1GT3CRQMTT9TNFF75BA5XANT5XD2NT94KYH6MQT }
{ amount: u900000000, recipient: 'SP3T08MBGJXY6X6KJ0V7TVY9QDB2N494SC84AE09A }
{ amount: u900000000, recipient: 'SP2A9MB3DTBR5R83EAXVJ43J126RT5SHNF6GCEBER }
{ amount: u900000000, recipient: 'SPTVM368N1VEBSX5XS9Y67J01MHCMRSE3RFCP4SX }
{ amount: u900000000, recipient: 'SP35BH3D9NA4V5RXV0G0STX6Z4VCE3C2Q3HF4MRR2 }
{ amount: u900000000, recipient: 'SP11V6PJY30TDSNQ69YTZ3MZW7JG0FGKH53MNV8NY }
{ amount: u900000000, recipient: 'SPSTHYJ0DJXN8SDHRFDAK2B879GPVPT4WZQHWRK7 }
{ amount: u900000000, recipient: 'SP2J76H2SR6CDZNJSCYJ1HBQQ26FYDSNS9YVW0YB9 }
{ amount: u900000000, recipient: 'SP3VJXS6CRZJYZSATSWTH8W487ZZTPZZ0J4A5V7SG }
{ amount: u900000000, recipient: 'SP253T4PYXQRVPA6HCFT5KB9ZVY2TF9W6YJ5JVC5C }
{ amount: u900000000, recipient: 'SP24JVE0DHC5T2WNB6W126MX00WZPANZAG420MFFX }
{ amount: u900000000, recipient: 'SP1JF73JBJ9MFNGZXVQRKKT8ARB65CJ0T63B785H0 }
{ amount: u900000000, recipient: 'SP1RM83BCRH7P9DWAHHTJPNBKD6JECPQDGRWP4TPP }
{ amount: u900000000, recipient: 'SPZ50B7BYRZJQGWFM3RG8A4RKSNAB97XTP596PYE }
{ amount: u899909105, recipient: 'SP2SWHSK0FDRPYKC3547CMVBFP1ZR915WQ3PBGHKH }
{ amount: u899883610, recipient: 'SP1EEESNJDTFMHV6BWWTZE1S3WSGM2Y5PYF916DHE }
{ amount: u897652903, recipient: 'SP2QKYH8Y3KA9QQNBPQQ0XWXNCMH3VGZHC8CFJVDA }
{ amount: u895396272, recipient: 'SP95RD0P9BANN19802P9NBEX0FVJVPY4XFKT84H3 }
{ amount: u895156648, recipient: 'SPH511DADSZ85FYA1S64BM7W37KNNT4M3XRPY3YS }
{ amount: u895079284, recipient: 'SP2149Z3RWT1MKC4WTQDMFK29F4K19E0WPA00P4H7 }
{ amount: u891739945, recipient: 'SP22V8VF2GKSHR83HJ0N7441EZKXGNHZPSW6CK013 }
{ amount: u890512071, recipient: 'SPR8HY8P32BTQ3ZF2GT5M09XKT6NX77PWMQBPH52 }
{ amount: u888692818, recipient: 'SPHX0RR097K0HJ6YK0ED0D1NXHSPJWZGDZVYWJJS }
{ amount: u887620733, recipient: 'SP250ZHDDJ6KRD5HPCN4QQDZK64A49FJ8FRM42RWQ }
{ amount: u886000000, recipient: 'SPXZFGHRKFBQGHDFFJF1EX2BT7THWEQW3SQW39NG }
{ amount: u885596586, recipient: 'SP3PGGJRRD6N18DSF82JPVZCTXHCMKNV71RB641R2 }
{ amount: u885159631, recipient: 'SP3R2MVCS9B4JB82NXG56QBQXEX4Q9DYMT57KRCKW }
{ amount: u884475082, recipient: 'SP3NGABQF5DQZ9NE860SNJT3WVVZSKVH2EQ1WDE1Z }
{ amount: u884018159, recipient: 'SP39BKGA450XFT9D6P3VXGW57PJV8FECXF3YW7MW8 }
{ amount: u882585575, recipient: 'SPZ8X8BCB8DBJ3JXDVHFGH2ZV22QAFX3K7HPPF3M }
{ amount: u881921947, recipient: 'SP3H3KH1WYGNVDK1KF2ZPTQHY6NJ5ZTVTR4CXPDMN }
{ amount: u881863526, recipient: 'SP2AB8Q2MMPP1S2NM13N3NNBE0KA6CG94FK7MZ41H }
{ amount: u880785329, recipient: 'SP1FP0721MZN9PGSNA000STBACHDFPC6XHPPT8R33 }
{ amount: u880689524, recipient: 'SP3GC0C27BHNR8EQRDW1ETV3DC3YAYN80NHJ4QPZ4 }
{ amount: u880628598, recipient: 'SP2RS0NKS5RT5MTS17J5X7N2N5D2Q82CQZS58J6EN }
{ amount: u880200616, recipient: 'SP22ZKFYZ7GVGG6K5W4RV3FAPVRPP4RN9WQM742MM }
{ amount: u878757040, recipient: 'SP2SZGJBGRKYQ4TCQY708VT1JVS3SEBZ637NGBRMP }
{ amount: u878642868, recipient: 'SP7B9RASHKC2S0E020WCHVK83HMMYHGVHS7Y7KTM }
{ amount: u878026872, recipient: 'SP1EDTTFH3ZCGW8XRY2YZKK3XF0RJ8V5RWNPXFJ0V }
{ amount: u877132805, recipient: 'SP36FT7RM9CH6PVF2PMT9WGY1HAS289B4NBZX07SH }
{ amount: u876001417, recipient: 'SP2S8CB3STYS096T0DH8RYYWJ7GD182485XP6DRTD }
{ amount: u875998155, recipient: 'SP1MXYJGJPZDXGRFVGR6NYTSS1FM1A4JGTNPGT2WT }
{ amount: u875900452, recipient: 'SPQ44CHX76R99C7GV7EBPHVKYTCY5K5ESBT1Z2MZ }
{ amount: u873870117, recipient: 'SP34AFGZRY30S9B50D8RAXM5A6K3N98ZVFS24NDY1 }
{ amount: u872563384, recipient: 'SP35GS64EC0NA31V1E7WBM3D7FV0T9KGZVR5GXET8 }
{ amount: u872497857, recipient: 'SP3XB6DAFHSY1BQ18YFGVA8YJEGCD8EKB1Q0TKQ50 }
{ amount: u872413168, recipient: 'SP3FNB5VRF1YD4B87KEA9QNRCMFB2JYP1486E5Y6M }
{ amount: u870598884, recipient: 'SPHV81FZG4N04DVJ9XCN61HNBM454Q3V8YX6EEQ1 }
{ amount: u869328418, recipient: 'SPWGTJTMY29GWRZ259G918NKDG2GMCFN269AVZMC }
{ amount: u868247894, recipient: 'SP3AZJJV9CBMETAG2TFB858NS8NMHJCKMWT25ZN9R }
{ amount: u868134127, recipient: 'SPW1MTFSRA29C2BNC23XJYJWXAKYEQCJ8TDCTPD6 }
{ amount: u867874417, recipient: 'SP3JGTGX86B3E36776SXGEHGCHCFQ51P9MX9G7078 }
{ amount: u867319227, recipient: 'SP1146GT84WEPSCRJ4XR8X5C3E8ZJPWA4RPJAH4XC }
{ amount: u867319227, recipient: 'SP2JQPEWF3SAX171YN1RDM83N2JZNW2R04CF09563 }
{ amount: u866589813, recipient: 'SP12PC8VFZAJETD861BZJBB6JJ290CH6GXVGC3BE1 }
{ amount: u866000000, recipient: 'SP2KR49H0SF1ZZBJPK1VR16ZBHPED4737WFCQH7CF }
{ amount: u865170795, recipient: 'SP1KCK57B2DVCQXP2YTVH8G0ENT62XFZVJAD7AV5J }
{ amount: u864330660, recipient: 'SP3WYENVG0RSDSP2HFHHDGS4CAQZY6T7M8PJYR70P }
{ amount: u863304409, recipient: 'SP31QY2ZX2EEK2H0F482MKSQANQSZEQS2786KV5T }
{ amount: u862367966, recipient: 'SP3DKJSSWMT1H9KED7SAQEXXBBE8DJ18XJE7BA80J }
{ amount: u861443800, recipient: 'SP116RRQZ2RZPG3E7FXW822FCJ176W2B3R5C7WSK0 }
{ amount: u861286699, recipient: 'SP1PTTMCA03BRNBG7AJQBFYQSRH7F0ZG0QHGXN4A2 }
{ amount: u860142648, recipient: 'SPKWDC64A5ED5TJ2DD5SF8ZED20Y14MX55HN17EQ }
{ amount: u858962616, recipient: 'SP2GWMPP7T5PJB9V7C0WN13QE7JXP8E7ZG543F89X }
{ amount: u858792286, recipient: 'SP92GDMQQTW6YXKQY5QNNWRM37Y03KVD7CCZZQ0E }
{ amount: u858314918, recipient: 'SP1N9M9J5R61P3BZGH6M8TV02X067NXVAR660T81X }
{ amount: u857444947, recipient: 'SP1KC86ZXD9EQYFPMMDNAC9Z4RM46C90ZZFA5VY24 }
{ amount: u856612777, recipient: 'SP1CZZNH37QXJY2ZR8JQBB9EXTHK1V4DZG9RM8920 }
{ amount: u856611883, recipient: 'SP2X98VTRDDP9491G6H95P35MCG4SFPPH968A2P21 }
{ amount: u856611583, recipient: 'SP1MP58ND276QBR82Q3BK8R7453QH92N3SE835H0N }
{ amount: u856611583, recipient: 'SP34Q1AR34XTVJCP1T5ARYG3ZMJM3B8A05NW8Z952 }
{ amount: u856611583, recipient: 'SP21AVFKMCX3HSQ751YX2YTPF2YMQACNMST7CYGQG }
{ amount: u856611583, recipient: 'SP2CBB5MSVV2GER3CP5FE1B4DR8PGPYGJQ4VKCVVB }
{ amount: u856611583, recipient: 'SP3EZV0SW7HB4H6JTA6J91D2BQH98E0SB3TPGEWQ1 }
{ amount: u856210283, recipient: 'SPN5HTEPZ8A2JWQ1C3PMH6EHBPT4Q21RKPHFM36D }
{ amount: u855913063, recipient: 'SP3V4ECH1Q85SR1V71Q91S7XD2SE2PCC53V4NYPHX }
{ amount: u855666234, recipient: 'SP27K1498HEGJSSVMFH64NTRJXSWEQN5H22S9TZ8M }
{ amount: u855552761, recipient: 'SP2XMYHVCCP7SY27E3MMTBX0GAT54JDRZDDTY5ACT }
{ amount: u854088922, recipient: 'SP2E2M113C3VGPDVDNP3463D31S5REY1MGTWCN723 }
{ amount: u853448000, recipient: 'SP3PWRC0XKT28W2H5T3H4KE8S7A657RP34ESBTJVD }
{ amount: u852786851, recipient: 'SPC3JVB7MS7T8SYVM0GCGGGDZFJEPMQHSYXK05ZD }
{ amount: u852000000, recipient: 'SP1H2PXJ8V1KZNGM8KBW4XPQZ3KA82N0RFJWG0EE1 }
{ amount: u852000000, recipient: 'SP5NERMCEQ8GJ2KEW8G27PP2B5A518K0FZ6H267W }
{ amount: u851167555, recipient: 'SP3RTH3H1A8Y5J7DF8F4TBXMY9AEB7Y4WM8ZM45VC }
{ amount: u850937147, recipient: 'SP2XMKR7G83A1YTPS4AXFVPWMZEG1CXJ3CN2QT7B5 }
{ amount: u850044356, recipient: 'SP314Z376ST4TWQ697T292FM7SCCQ54D1BAPPGBPS }
{ amount: u850023542, recipient: 'SP3Z93SDYWT3X7VVEDVQ9B7WE9HKSZA5RF1J6TW6 }
{ amount: u850000000, recipient: 'SP12Q710HTJG2JENYAKTH580PA3387GY33DR6NVYN }
{ amount: u849940298, recipient: 'SPEJHGWDBD3YBFD7E984QR1CYYAPCE2FH6GBQ6PJ }
{ amount: u849407667, recipient: 'SP3E0Y9AKAZ95J97XMVZA7CQN2YTK4912BVZ26C1J } ))
(define-constant batch-62 (list { amount: u849407181, recipient: 'SP2WP3D7T8D5QTF3NPCHMXT78JNHJTMCSWBY5MH2Z }
{ amount: u848846245, recipient: 'SP3E0CZCCK8TDHNC2RB4AYM2DBPSS9Z5FYS6DHK18 }
{ amount: u845938053, recipient: 'SP3ZPS1GGYQC0RD0H2YXC4H2B9MAS2HQMR07Q9HNB }
{ amount: u845367419, recipient: 'SP1843KM1SPSMM8MHE4YFDFKFNKC8FFK8BTM47W1X }
{ amount: u844107382, recipient: 'SP9870TJVFCDZE9SVPCRQXTRNEPAJS3DVJ7GY506 }
{ amount: u843600160, recipient: 'SP2D9YQ24WZB8RNPFWM3EZYP5MMPBYX4B5BW1YZD7 }
{ amount: u843404885, recipient: 'SP2J22Q10P49C83AAZDCM7AFDV98DFV3TF2B1A0TF }
{ amount: u843000000, recipient: 'SP2Q60SH7P2ECR8KVS3A3KB7H1GMHCQ5GZY7X340M }
{ amount: u841790744, recipient: 'SP3Y6RVST8PCW0790BZ0PCNKTFSSBQJ6AHHYJF8MV }
{ amount: u841700534, recipient: 'SP2AYX9FE0JKGE6TGFJNPJ2MWD380TX60MDW9R0ZC }
{ amount: u841699753, recipient: 'SP88R5N6BHGH9SYHAQ4AEEFQ58BDF9ZYXN93FTJA }
{ amount: u841699493, recipient: 'SP2VFW0X5G9H4WA84T6M4ZPAS8M3Q4A5MFVHM71BM }
{ amount: u841699233, recipient: 'SP2TWAN6GS0RG0329GGBXEH691ZCNDFCD0EVWJBVV }
{ amount: u841698972, recipient: 'SP3DT37PHEYTAZ02JACRD8DVX9BWEED4ACXAK96P4 }
{ amount: u841633492, recipient: 'SP4CNX09PX7X0QCDHXZBA4FY2CDPY88C7QS4REDA }
{ amount: u841413134, recipient: 'SP2N7VZSJ7PTXEX96NHCX14H91SZQAP9E2NPV30TS }
{ amount: u841000000, recipient: 'SP2GZECCK4QDB3422S7K56XJ91W3PM8RD02V9JD9B }
{ amount: u840860000, recipient: 'SP2DTQW6VP43HXZ43X7196KF4KVZYEYRA8YJYVQFQ }
{ amount: u837204542, recipient: 'SP3MZM9WJ34Y4311XBJDBKQ41SXX5DY68424HSED2 }
{ amount: u835838208, recipient: 'SP1KX6PR0Q2AQJEHE28B7BVXQRX1994X3KKJJPW1E }
{ amount: u835295641, recipient: 'SP21VM88VH4R9KPWV39MA2J1B2ZB314GS2XF1J0PS }
{ amount: u834052998, recipient: 'SP2R8KHZR38QAF02SMHK4ST46ZSTWSSYPN05BETPN }
{ amount: u833900000, recipient: 'SP1JRGSKN76086C4MXCPZRB9C9ZHKKYJ0FZNKX749 }
{ amount: u833832514, recipient: 'SP292V4C906WFRW9QW4DNMEET92DEAMYHF19CQBVD }
{ amount: u833243426, recipient: 'SP377WNVJF2JC5B8GSD1AS3YH0H8N9JEXT8Z1W3P6 }
{ amount: u832947325, recipient: 'SPZQY7ZR5VZ9QNYZPRHQFX81BF1V09VAQTSGBB9E }
{ amount: u832505516, recipient: 'SP1JFEVF14HAG2BT5V1VKTDH2Z5K1BFTF2KAD4SVW }
{ amount: u832195565, recipient: 'SPS9T4W740F6XFG8VH53G8Y8A8SYH6YVXMK6TJZ2 }
{ amount: u830900862, recipient: 'SP364MSKDE0190066VAHNZN8TTRQPBQKYNWYG4E6F }
{ amount: u829365469, recipient: 'SP3V613CEKHJ199Z6N11PFB2HQ6WST6M0Q2XBRB1A }
{ amount: u829360775, recipient: 'SP3C11NXZT7PD0ZDRCMW2GHNDCFH9XMKBRDQ04CJN }
{ amount: u827400001, recipient: 'SP2HGAV5NA5PXFFCFZCJGTTYF1A5H76KTBZX76DWF }
{ amount: u827274439, recipient: 'SPCHJDT87CJ44WJ6F2T6N92YB102ZDJWK0R4BEQ1 }
{ amount: u827087308, recipient: 'SP2PH0BJE476XYNGH03G7MRY1F0K6ZB0Q04SEJWM7 }
{ amount: u826252054, recipient: 'SPF8HBDY38N0X0DH8SEPPGFRMBE6TMCYE7JB3NVC }
{ amount: u826251150, recipient: 'SP2QPFKQ4DSHHT1FX2FMGBHN249DRQ1W3VWX49YQ2 }
{ amount: u826169184, recipient: 'SP108G1XMVKK15XBDBK5QPD4MW4TB8CR732VJEVRR }
{ amount: u825617160, recipient: 'SPE2G85PGHBFRHX0AZBQ7JPTQK3F8HNWMMXG4HCH }
{ amount: u825411333, recipient: 'SP3WWSKQZD6W7XFFQYPAJV5PQ3JXC5F9VTA8HPVYK }
{ amount: u824798116, recipient: 'SP12REQH9SN9DPBNVY3M822HRN07ZJ3PDRVF700CY }
{ amount: u823762337, recipient: 'SP2PJPVMCA18JQ7F6SH1QK54YCGPFC2DWS8SNS673 }
{ amount: u822499298, recipient: 'SP3V82RKJ918Y4TGT63SY1Y6B5HAQ3BCN7SQHNPAE }
{ amount: u819379994, recipient: 'SP2AYAE9WNH20YX6MXXEKCQDMJ6Y3EG9K3AG4Y6K9 }
{ amount: u819297486, recipient: 'SP2NYJBWSRX6JHWR20CSMTHPPKSTQE5KDJ0GX7WGJ }
{ amount: u819000000, recipient: 'SPNW4YR1GZN5P3T4D49H5BNR1DWM7SMCV6S5RF0S }
{ amount: u818151810, recipient: 'SP11SHJMCZC5J6EBPC9TDAEVR2BRY5NTWNACJNR87 }
{ amount: u816921513, recipient: 'SP7T6MEK67SRMV8FTG0YVZ5QV6464QP3C3F4Q0WC }
{ amount: u816538011, recipient: 'SP2NZGVEQ5F95WW59JBRWBRV1DB6G1C56J1PJGC9E }
{ amount: u816279553, recipient: 'SPVWKHRXME9PHWPZDYP7HVMRHBV4S6VEMT3D9D03 }
{ amount: u814042850, recipient: 'SP1YQN7B9ZH8DY9X46DC13D3PCRJNZGKMCPJNEVJR }
{ amount: u812400000, recipient: 'SP2VK9TBG8E20A0YW228PC70GBMSBFHE7BNVMKB57 }
{ amount: u810534061, recipient: 'SP22M8TRMS6XA2WAT1555TTX29Y6BMWXBHFM57T24 }
{ amount: u809779706, recipient: 'SP3RZ8KN0VS6PJ433N1R4P7FJ6R4FANPNQJS6Z6BY }
{ amount: u808312901, recipient: 'SP95NXE5T10VAHPJPYN43Q3K9VG8GBNM0G1DRZDF }
{ amount: u806963777, recipient: 'SP3FS08MTB57D9BFEX4GMP2PNE0MFBS9FZRMBKRZ4 }
{ amount: u805745345, recipient: 'SP3TT73481WZQ49J0VEZNHZP0J8EPAVGD1HXW4F5 }
{ amount: u805689829, recipient: 'SP1353CTXA3DHFWFTQPEHCKBKDMYTJQWWK03RFFFN }
{ amount: u805440895, recipient: 'SP14J6929ZD60WB3HAMAY6FEKAZR8XS2P8VNEVFBS }
{ amount: u804543781, recipient: 'SP2CE45TK6V0G8E30TQ8534TB73X965CMQ81W7B4F }
{ amount: u804491563, recipient: 'SP348H7JCQQZ4RN30WT5TEPWVE1BTAZGC3KFV3CMQ }
{ amount: u804418308, recipient: 'SP39DT4Z4XXZR5CTR0ZF1SX2A754B4K34832FNCDY }
{ amount: u804390181, recipient: 'SP107Y0E3X1862WMRADAVADR5X35S1242HY2YCNHR }
{ amount: u804297722, recipient: 'SP35318T5TNAGJY7XKWQBS2D29VC10SSJ3V1RYKBW }
{ amount: u804000000, recipient: 'SP3NX9HTJDEMENQJ5Q89XJ61WJHD7Y2R08378R3SG }
{ amount: u803989555, recipient: 'SP2B7F2HNAT9EXQ2PVWCFS3K4B7E4CVX081VAB0X7 }
{ amount: u803102669, recipient: 'SP2NWTECZTCG37BERAZH5DKXG3F4543CWXTY5XBKZ }
{ amount: u802528452, recipient: 'SP3ZCDEJYGFZQ61K64NN5E3E0GSGMFK96SX86H5DQ }
{ amount: u802197618, recipient: 'SP1PTKK0ZJGRVVN8Z6E7PG2SZQ3CTCT5FY21MDBVP }
{ amount: u802028134, recipient: 'SPES375XG9PF3CJVHKVCXXMY60EV3BCDYSYE5569 }
{ amount: u801743021, recipient: 'SP1HWMQTG9DWGJ1NQ49ZP83VXYKRKP2TNRSDWMJET }
{ amount: u800754174, recipient: 'SP1XFQKR2G6BENFSKENE6640FXRC2FX6FYYYJMEEK }
{ amount: u800649198, recipient: 'SP2D8M4A9YM3PKXEJR95VHNE94MAVT3D50RKBYY0H }
{ amount: u800000000, recipient: 'SP1C5CJAZ4C68ZS72EWDKW219MA0J3W7878A634C3 }
{ amount: u800000000, recipient: 'SP3AG6B20J98SXJY594NTWS81B17J32TS6W0W2FQX }
{ amount: u800000000, recipient: 'SP2M2YFFN215PGHQV8KK50D8XNW46B6DJ0VQ3NJ8A }
{ amount: u800000000, recipient: 'SP1B4B2MAG8HW2GDS7ES1YRDZ5X66KCMC9F0ABFA1 }
{ amount: u800000000, recipient: 'SP2XFA4EJBFNDJ94FX5ZRK6PS6SBM9PFS5W4QJ7WW }
{ amount: u800000000, recipient: 'SP3BMQEMH8R6M2DTSZVRBK3XS48XCNNPZJZXYTSRP }
{ amount: u799488407, recipient: 'SP11623R0S0M18CM2GSK3THSZKSGY4R6QKC4HGRQ5 }
{ amount: u799000000, recipient: 'SP25RWE35Z358JGJPWCZPJ3HZ0Y2FPY8BVFV4MRPN }
{ amount: u797204546, recipient: 'SP0CXPG7EQ8D4CK8HX1PRHTX05VGF1G9QY5FVZW2 }
{ amount: u795240693, recipient: 'SP1D6P3R3T6T12QXXNK1WTT8YMC1TFRKBM6R0Q2KD }
{ amount: u794893528, recipient: 'SP2CF731GXSH0QTAS21STJE8KGRFRW87QDZ7KECNC }
{ amount: u793429476, recipient: 'SP2N7FTSJYX9XN22F8EE3X2W2X6KB680W8F2J71QV }
{ amount: u793382687, recipient: 'SP3A4YXDX1SHD002Z5Q5PPZ0077910G7MSHD62QG3 }
{ amount: u791847560, recipient: 'SP7DY0P9HDDCRWMWX9GH8M298R2285J9YHSTF7RN }
{ amount: u790910941, recipient: 'SP1JG775AC1X8271T7E7JRZKF4V0J2PNJPV8X99RD }
{ amount: u790387711, recipient: 'SP3W628C9224ARXEVW0WFG3JJ3P3W4718FHQNTRJB }
{ amount: u789559629, recipient: 'SP1EV2M48PPB9A5C3GFSYG2W67MY8BHXVRZX8WXQ7 }
{ amount: u788735175, recipient: 'SP31K4K4RNCXM6K6P7WK6EVZDWNMFM8A635NM5180 }
{ amount: u787621310, recipient: 'SP3CX89VSVR1R0JNWF71QHKVCW9QJ2JAWHAD414M8 }
{ amount: u787208162, recipient: 'SP2S1BNP9PFBT93PNGMNX20Q4JET7PYCXS2411YXJ }
{ amount: u786731567, recipient: 'SP13TS78ZJQDABDQ7RGW7MBQQ6KQ256GHX8AZZCRJ }
{ amount: u786720000, recipient: 'SPPV1VWYNSX6E0C2H6S7Z8GVDMRTG2DKE8E8SV9D }
{ amount: u785596237, recipient: 'SP15X5V3WQHK7WZ61YSFHPYQGRC5AR6B50B7TECCJ }
{ amount: u785287950, recipient: 'SP28ZXMYQS37D4AHPEBBB9CAN3MYMHZA9AYK5MBJP }
{ amount: u783465335, recipient: 'SPN1ZPAY4NZSJXDRRR4MNPSR6C55MC8MGYZGJ82E }
{ amount: u779226102, recipient: 'SP2DMFMJW2JPP0Z7V7C0X3CZH9K1GEW9K7A0T9ZEK }
{ amount: u777529459, recipient: 'SP3837JYNEN45AZWJF95M27H60671009Y54EHV953 }
{ amount: u777418135, recipient: 'SP3ZX8K6NE4NPC3H0PA7D1R24TZ3DWRQE02BTG12Y }
{ amount: u776508221, recipient: 'SP28QVXE2QT78X17G0FNBDS2QGNT4J1JH9RJKJ65V }
{ amount: u776261238, recipient: 'SP3ZZ0N47YDC8S5XMKV540B33JASQPS63JZH7R0J }
{ amount: u775571419, recipient: 'SP3DEATXD7QT0X65YVAX75Q56SZQRQJNTHQJXZBWE }
{ amount: u773033157, recipient: 'SP7M46J05P450RNB7ZVGQFSYBMPAHWAFK3T11QEN }
{ amount: u771855693, recipient: 'SP63QBD7Q014Q82ZS0S1P2J1R5328PYAF0GAEYZH }
{ amount: u771855466, recipient: 'SP3AZMABQ8PXA1YVJG6MMCJ9VCGYA0QRN7NDGSK6D }
{ amount: u771855238, recipient: 'SP2ND7NRNE7GHWPT0T83GH4X0A8B74GXQHPHJ910T }
{ amount: u771239835, recipient: 'SP35DN28W22V2VPGKV5C7ZT6P5RFF0KENFZ6WZNWQ }
{ amount: u770961520, recipient: 'SP2F8KTBS7BVQ1MVCEX1Z23F387CPFRKD16HCFYBM }
{ amount: u770961293, recipient: 'SP1028HAWRCNB7NN0QXR0PV6EQADNP4YQX8GTSHBT }
{ amount: u770961067, recipient: 'SP2D6S7Q3Q94C317EANGHMC6J7624SJP2VHR86N2 }
{ amount: u770869368, recipient: 'SP3KQK6K3XQMJSCQ71ZRJN1Q38G27K2NTK1MA4FCH }
{ amount: u770818369, recipient: 'SP3M5XW5ATT9N8XVBDFME0SC4W704J2F90QWNKXER }
{ amount: u770697302, recipient: 'SP1YN7GXMSGEQMVXZMSHRC8YRGC6XDJK6B8NZ7ZAB }
{ amount: u770309869, recipient: 'SPD90K3YVYYNXSA99TTE96BQWVW1FSWYNBNSY9ZM }
{ amount: u770234625, recipient: 'SP3RK871QNV80SBSJAQCKPC2JDC83PDXBFFV1RM4P }
{ amount: u769068336, recipient: 'SP2WEFZ035F8BFVZR9RYW19MBS4V8QPK5YVY4T0G0 }
{ amount: u768835319, recipient: 'SP11Q7JBQKH60JC9E92X94BJCWKPBC6H2519Q9GAJ }
{ amount: u766943418, recipient: 'SP1RFNJBATVPGKVB9NVSVERV4NGTFPGTNB3ES85KP }
{ amount: u766467659, recipient: 'SP2WMFGA0X4PFK45GMBM6JJ88V6RZY2DSCJNNMWAJ }
{ amount: u765732872, recipient: 'SP3YJFPDKNWRHNZENSNJ456EG3X12V0DA12QN0NKG }
{ amount: u765511842, recipient: 'SP243M3N33XKP6146FH3VYM5FPRX611BKANT272W5 }
{ amount: u765332601, recipient: 'SP2KCT8MH5GBAZ1B4AQ4ECEQPWTQBHXV5TYD4JQPH }
{ amount: u763882424, recipient: 'SP321W5FRXRRFFXC1ZMDFG3PTKC436XS7Z3G40VJ4 }
{ amount: u761511003, recipient: 'SP1V5H1ETX0JMB9V1FBRE0K7B02A4R6MFTQCY8V63 }
{ amount: u760853904, recipient: 'SPYB1V6X628DV4776TFT2DGFBX69HZW34QAVJXGQ }
{ amount: u760589749, recipient: 'SPQ7XBV6WM6MX22YXT6K0SCJZR5FE2W7QYJGB7YD }
{ amount: u760379014, recipient: 'SP14QCZSCP0HAEBBGC8H6SW044EHJFGPKP7HKB5P0 }
{ amount: u759612700, recipient: 'SP12VC5QX7ZAMMG577WA8WVCKE8GKM326BRGK115Z }
{ amount: u758743084, recipient: 'SP1AGAJKWZ1MGYDC36H0TJ8C1R61VSGB2GN7QDVYR }
{ amount: u758205656, recipient: 'SPB3H90CV9GVAVP3FG62H961YY2F5REQ2MV1FE2J }
{ amount: u757304466, recipient: 'SP1N09KQRJVP1VB5MXPF6CK0H4T0YV16AZHASM7X }
{ amount: u757000000, recipient: 'SP1M3C7DYBGSAFEDWEHXEV3ZS6ZWNGMDH57V01T6K }
{ amount: u756979139, recipient: 'SP17PEDZMNMPAHQH6KY9BQ65PN37YWY3F2W44YXEP }
{ amount: u755846566, recipient: 'SP20WTE45HSCJAEZ5VBEVGNPJH68RSWDQHDE2XV20 }
{ amount: u754257692, recipient: 'SP3DG53Z3E2S0WFKKPB9GVGVKXR8H5TR87PQWD6TY }
{ amount: u754254901, recipient: 'SPY6VB4K69XC077E6E1TK7P2YV9HHKVZD4MKBCQK }
{ amount: u750000000, recipient: 'SP2QVM3ND7ZM60ZBDPSPN83JFZ00792E7Q9BEMHND }
{ amount: u749611472, recipient: 'SP1HVWASWDGZPXGT0G6SYQSZ9ATY8PEH0W08KQD0Z }
{ amount: u749535135, recipient: 'SPR1Q6XB6QW7ZFWJ18757BV7NGRT1W8KEPT5K4W1 }
{ amount: u746262319, recipient: 'SP1P6XE2GG0MBSQMQ6EKQVFND46RKHYQKH92VKBSY }
{ amount: u744679306, recipient: 'SP2KWB794Q2XNMZBV0ZN9WH08FC81V8FZDJK47XC1 }
{ amount: u744662491, recipient: 'SP3KQJNAJCAX32ZX92TSGG8ATCFF6PXP30Z28HDCT }
{ amount: u744091149, recipient: 'SP2DA6VX0SRPJG3MD10NGNX65ZD5A82VWHYHEB83W }
{ amount: u743929171, recipient: 'SP3J11AV9NXE22JHQ58PGDZVPA7TWY449JG1R844F }
{ amount: u743611238, recipient: 'SP2YP9RK8H87XJ1DWR67991YGKFNM4GD0X5M7D058 }
{ amount: u743167065, recipient: 'SP2K45NDE8Z1C2CVXNXV9GF4KDAE0QP5K7N5BW3Y }
{ amount: u742889188, recipient: 'SP1HFY2NV2C666NY5XA47YTSMJ9YY4DRKY3QJ77G }
{ amount: u742415869, recipient: 'SP29PBH92R16WZR8B5DRDKNC206ZY8TKD91BCQ7D7 }
{ amount: u742144657, recipient: 'SP32ZN81ESSG0KX6CDBZN4G6XBYVVQ3PCZWDSR9ZG }
{ amount: u742068815, recipient: 'SP1QEE5TZJAAJJG0V6GR1S0AT4XWN59XK60NHZSM0 }
{ amount: u741602005, recipient: 'SPC4YZXT5T7MQE5J1E26MJ14N55PN8HW51FKYQKX }
{ amount: u741521414, recipient: 'SP1019HHYMH7619HGRZM9PKRJMAG0256EBBC3NZ6E }
{ amount: u741379780, recipient: 'SPG2NJ3S2Q61QFS97NNWXA3GS50RDJSXYZ5J5T42 }
{ amount: u740562910, recipient: 'SP3QR9G3XJ2J0HH1EEER1V648HDJQN2W46HP9R2SE }
{ amount: u740257932, recipient: 'SP2883E4S2CFTMD3ZDRDNX5T557A4AG28Q4S8JT8C }
{ amount: u739877736, recipient: 'SP16Q1PDVYMNA9R08YEAANMKHPMYS6CV66Z186GBG }
{ amount: u739673971, recipient: 'SP3HHMXH5A696YS2BK854PMK13PD945QYKR4JWAY8 }
{ amount: u738298045, recipient: 'SP1BVAHARC65HFDPBFGTJ3NHTQ7ZW7PNW34424R9N }
{ amount: u736202774, recipient: 'SP370KQGNAF0TM1B6MXZEH91CXSZZEY9V6YBTD0Q1 }
{ amount: u735895136, recipient: 'SP205M4Z3WGJVM7TAJBZV8BGCJVKPYZK25FE8C5C8 }
{ amount: u735739247, recipient: 'SPVWS59J0ZCGXC2J9N1XK9HJ9NXXKSWPAV756NMY }
{ amount: u735142674, recipient: 'SP3C6EKTAG6RZ8JN6BRJESB9AQWJ1DCY6SJEDNR7T }
{ amount: u734590934, recipient: 'SP2HCVD2YFYX0A5J07V6D7WY1XQDP58QZWEVMR6TW }
{ amount: u733621946, recipient: 'SP11ENHY6EPA1JJ028P6XF0F5791TAG0YYY9DWAHH }
{ amount: u733399841, recipient: 'SP1NM06QCM58ZEJGMMYD1QHNKCN2YDY5YCBAGWCMJ }
{ amount: u730775929, recipient: 'SP2GEP37WGW6QRFHVDAM3XW9Z716SRS94FJXPZFT3 }
{ amount: u730649967, recipient: 'SP24QJNV6RVYVEQRR8QJVMEA1E91FSW3C1CFCWQKW }
{ amount: u730148028, recipient: 'SP2P5S4G433Q15W61HRJCVRD00BX016BNYW6F7VM1 }
{ amount: u729729462, recipient: 'SP2BN06MWJEQ5QZHEEWYGBS2486YYDGZD46Z8GCVT }
{ amount: u729562937, recipient: 'SP38VQMZ358CQEM25PKERW8FG7QZ9K3YB1GSB0RRZ }
{ amount: u729147427, recipient: 'SP2TXPRCN05FFRKV5YPQP4AZKQV06H5H1Y5GP7365 }
{ amount: u726030060, recipient: 'SP31S0NABWWYPC0B3V2YV647PCDNGJHSVXZ4W0XZQ }
{ amount: u725850058, recipient: 'SP3SXZEV9KGEF5VM9N1CVHY9482XJ50MNS4KPSSCD }
{ amount: u725070354, recipient: 'SP2Q6STKVDVPSW3REBHJHE6QW90VNBZBYW83BHMGG }
{ amount: u723535607, recipient: 'SP7M56FSB1MWS8MAMJADXJ2Z1N8D3BWPMCTTYMWG }
{ amount: u723292742, recipient: 'SP17Y9WATE6NN55C3E9NQR7JHFABT015MHPQJP0HM }
{ amount: u720526252, recipient: 'SP11K79CCFAB2WVHM90HA6VTMJYCMJVG5RWEYG29Q }
{ amount: u720189479, recipient: 'SP1Q20XJGD765G8MCX3GHC9NC3D0P9QFT1AEQMHHS }
{ amount: u717725872, recipient: 'SP2E333DERJY039B7XB1RTN4WJT1PRSJHASNKWZ48 }
{ amount: u714494588, recipient: 'SPTPCT29NZ54TGP7XKE0G89A0WHS1CRF5067MPH1 }
{ amount: u713845809, recipient: 'SPKJZVY7PSAGC1QANAJKFWJ4CYYT3SH0NA4V0852 }
{ amount: u710064276, recipient: 'SP3PNW6E1V8CWK4MYQHM7ZQ33Z6YKE70RMTCAN0D0 }
{ amount: u710008825, recipient: 'SP1VHMF45FDCDQZKTSGF6KN4S72H6ZY3QHPG4JB8N }
{ amount: u709238006, recipient: 'SPCDCWBEZ9ZEK49BNMDE2MDMJ0E01W02H9SA4TVZ }
{ amount: u708223634, recipient: 'SPEBR1Y9E7ATJD6RK8EWXEH96B2AYQ1XVCX41DM1 }
{ amount: u707355071, recipient: 'SP3MN5X14H051ZYKWZYTKKHTHNS0DFY5782M1WE7H }
{ amount: u707196132, recipient: 'SP2SQ4WAM99T9PRFVKXPGQZY0M9JYPRJWSG28RFBY }
{ amount: u706183366, recipient: 'SPSB6PN15X97031SMTJBERZ8T2H0TXG255XCV59V }
{ amount: u705565203, recipient: 'SPJM2NKHNGEZ4G4J65FWP7VEH1T7R5ZW9JSP8JS6 }
{ amount: u704499117, recipient: 'SP1QPBM0EMX1JN67H158TVFA8SZVE1E4TW4FR51TY }
{ amount: u702895222, recipient: 'SPM90JDHVSMXE33Q7AJNGS8TB6NTH73F5N97VKW3 }
{ amount: u700090303, recipient: 'SP36CXE7AAMBY46MMWYZMJ5AAX7BVP7V7WR1F4T98 }
{ amount: u700009013, recipient: 'SP35DEHN47MZWEGESCVXXSX54NE03XHBMA7GC6QFX }
{ amount: u700000000, recipient: 'SP5YH66MPRH906G2JNE24HWCA4N671KF4AKC0KC1 }
{ amount: u700000000, recipient: 'SPWSPH3KRM3BHVR5FFJ253KYT3VCM5E3E5767E6K }
{ amount: u700000000, recipient: 'SP26G3083A6FCCR1H4X17KPF59FV8HKZGB2T0QYHY }
{ amount: u700000000, recipient: 'SP3XWNVT9GYAYZ798JBR6FVJ0G8TB7K4D9385QPF5 }
{ amount: u700000000, recipient: 'SP1TS2M2VSW0QPK2ZWZ2015P38H2CX36ATRFJSN5 }
{ amount: u700000000, recipient: 'SPKB6M3K8Q8WDP79GJFMX10MM25FZ7MNSCPVS8A2 } ))
(define-constant batch-63 (list { amount: u700000000, recipient: 'SP1D9RSJ6M14EBQTD2HJSCG363DSE3VQVJ73V6K0H }
{ amount: u699600000, recipient: 'SP3F814ZDYJYDVTAC47BRFYH9WM5721TDGBTARGDX }
{ amount: u697155574, recipient: 'SP1J7MP8VN7S4Q7YZM7HEA8H8NTPCY9VWV54YYT2W }
{ amount: u695905513, recipient: 'SP3BMTZXHYBH4XJPKCQJDMEQV5MHQT7J77EVZKY0P }
{ amount: u695752169, recipient: 'SP2FFKBX9W56V10KWNCBT99M4MS2HD7T4TQKV7FX5 }
{ amount: u695697250, recipient: 'SP2T5EZVVZS1B25WCVEPGN5B6THR5TVMMA1ZPJ2V9 }
{ amount: u694822380, recipient: 'SP15A2WQS4HCHCWTG3K46VSQYM747CJDKF7D439CE }
{ amount: u694086583, recipient: 'SPRJNYBH8879EXQ6TSN836SNC541D6K4A5044MX4 }
{ amount: u694083813, recipient: 'SP25VX80NQGVZTN2F7H78VT6G2WB0PZXQS17KXEHQ }
{ amount: u693648636, recipient: 'SP31J0483W5PCC0TS5JE3TPVA0EVHYYANQEDP998R }
{ amount: u692652424, recipient: 'SP2GZ4XVPZA7FNC2AA4PJ401VHQKZQKACVXPCSY23 }
{ amount: u692176746, recipient: 'SP18QHEPV4KHE72ZKWJ6MQD9APZQFTTH68R7RH7FG }
{ amount: u691535542, recipient: 'SP2AE86Q1NJ0EXBP30XJTS8X6NY2DTKNCMH5Z6P00 }
{ amount: u690129098, recipient: 'SP1BD22V44VR9RAP3NPBXA7W3M0XYPQKNRTWJCD1R }
{ amount: u688855596, recipient: 'SP2WB6F7FCECQE3T66P644F5GEEVDGWWXHN979MMC }
{ amount: u688231271, recipient: 'SPGJ44AS707731GSSA8R6GCNFT0FG130P7VF9365 }
{ amount: u688188409, recipient: 'SP2VEYXC5E7YT0AV4XESKTHKTG1TA8SY8XGV2PQM }
{ amount: u687485877, recipient: 'SP7KSM72N9VFYD2CDZSCT682K6PT0HZFB84TCQ91 }
{ amount: u686552304, recipient: 'SP3PKC86MNWY7XYVSFZNPGVH1AFVRGKE5TQHD5410 }
{ amount: u686427306, recipient: 'SP1N3FCECM15RESP8J6WGFXTYMHYWPZY86EWTK3QQ }
{ amount: u686384561, recipient: 'SP1DK0Y2WS2JEN0EDRNT2K60C5F20FGHAF06VTP6P }
{ amount: u686004405, recipient: 'SPHWB7M37EWYE2R81JJNDAP96E8H2DBFT7NQHBNM }
{ amount: u686004188, recipient: 'SP3JA09KFEF8SMZ8J5GC369G4H62S7ZA987AXV78J }
{ amount: u685977279, recipient: 'SP1BN4AEHJDBFD9W1CEHAX3S5VKZZW3H13J1NJEVG }
{ amount: u685315259, recipient: 'SP199E4M9V1GFQAR8F402SZ56G41H43VE10298XD0 }
{ amount: u680618064, recipient: 'SP242TNNFX0G0V6K7E3XXCWKK8HZ7HMCZZBZYJ8BF }
{ amount: u680469882, recipient: 'SP3B9H5WYAAMQBG07WDJZV8H0QRT0DETCXNM2QJZT }
{ amount: u678153814, recipient: 'SPWDDKPMJHZW2QRQQR3H1JHRM0YS3WTQKSQZTAJ1 }
{ amount: u677794758, recipient: 'SP279X3F51M2N9FXTFWXCRJQ2BBQNFHGGKBBQCE6Y }
{ amount: u676000000, recipient: 'SPPYAN4J6PMF11PH8C7FPC61TCMSAXTTANNKNBFD }
{ amount: u674477027, recipient: 'SP2MTGRK5MMT4PXE4X9KMNBRA7MAZZPDCQ1689PXD }
{ amount: u673960146, recipient: 'SPJBBFMWT7P436JW7MAJVM4534T2AMKSPTGYZ7TJ }
{ amount: u670675062, recipient: 'SP1FKHYEMV9CT82YQK7J3FMCVEKN4R1D3H3ET6HEA }
{ amount: u670071236, recipient: 'SP3NJ75TVWR9ES3H1TPXWSCC04WW6PT6SHZ8F21G5 }
{ amount: u669292542, recipient: 'SP1HCGRG5G8ME965WVXM8G69SDBVEWXWYQDXVHZCC }
{ amount: u668827516, recipient: 'SP119JG3J5PNVZ3C2T3A3E228G5S3C28HNTN42SSV }
{ amount: u668000000, recipient: 'SP1X3QTB854X6207H6EXFS67P8YES5X8F89Z534T8 }
{ amount: u665717263, recipient: 'SP3XBCE7R73W9TPWSM3B1NYKHYY9P5K81HE0TWPRP }
{ amount: u665622574, recipient: 'SP1XJFNDTAAZ2R83T6K2Z0GEG0V1Q6W8TK8ACTM4C }
{ amount: u665393863, recipient: 'SP30614413ZQ0WD5R4CNSH5T6BBD9B972E34JCD3T }
{ amount: u665293629, recipient: 'SPX9AVXYA6JW4DK6DNW3XJZECR74MBPGB5X4PSF5 }
{ amount: u665186761, recipient: 'SP1V6B34V5HNKKR3ZZ1CY8Q4CJ6GA33EA4KRCNQFZ }
{ amount: u664939050, recipient: 'SP3DZXH3W5GTJGHRQGK3GNDJAGD07BZT0T1359YH4 }
{ amount: u663706075, recipient: 'SP3P1C7NBBG6E0AVZAZ3NR6VSFGP610EKTHS5STKZ }
{ amount: u663264561, recipient: 'SP3BHYZXA49VN1ARMAN698BSV972KG1MCNJF086C }
{ amount: u661971554, recipient: 'SPT9VDYB94JF1X3KJTHBERHZPY15VQCB5B6058JQ }
{ amount: u660216025, recipient: 'SP3BFNAAXCK7TDBYS12EK4MWP56RBKX19KZP2A3FM }
{ amount: u660000000, recipient: 'SP2GG3Z0NF16AH49AYGW4QF3DE6BFBAGERJCWSRMZ }
{ amount: u659900000, recipient: 'SP3F1KGVHH82B1JC3WWK1CK03AQWDA53TPEPMSR2Z }
{ amount: u659863295, recipient: 'SP3Z2J6ERAX1ENNDNGC9N8MB0HPTQAFJWYGS0GMGV }
{ amount: u657999988, recipient: 'SP1NZ82WV0V7C6CPB0ZAWCAXG84AWFBD20ZT1AYJR }
{ amount: u657840154, recipient: 'SP2JYAH4T9B9ZPP60F61SSTVTX8RBBZS20PRN5ZDC }
{ amount: u656823711, recipient: 'SP2KWNFVAVQMHDN8ZE8H6EZBHP6EWK5GBBAXRGB4H }
{ amount: u656618581, recipient: 'SP2JXAERN0QBHW5KW9CHZPR3G8PGPEZ3FB8KM06D9 }
{ amount: u656187977, recipient: 'SPJ9T4Y2XQ5VFQRTM2KK3WF3BACPTTR0W0QZR9MC }
{ amount: u654423026, recipient: 'SP3S3QBWEW075BPTET18MCKRB652A40TZFFCZB6YY }
{ amount: u652411484, recipient: 'SPMFGP1WFF8E70EPCJGRGBDZBSM2Z43X4KJM3N48 }
{ amount: u650407938, recipient: 'SP1B69VV39A0AWNHRVCBC4YW9GPT18XVBSVTQ9151 }
{ amount: u650401530, recipient: 'SP3A9Z3058CWQ3489K12Q9H6XSZ72YSETRRHRDCKF }
{ amount: u648806032, recipient: 'SP26RPXKQ08RRYRPE32EABPYTCEVZ3RBA4GE9WS9F }
{ amount: u644902916, recipient: 'SP15KE0NYH3GG8PQDD3KSQ6KGA59HVVAPHCVHCKW4 }
{ amount: u644708126, recipient: 'SP7FAYXR2M47J49WZV4WSCTX4TXJFAVDDTNPR306 }
{ amount: u644486390, recipient: 'SP21Q4A816SX16QC04EQAJWQTQBTE27X4MF0WZDWT }
{ amount: u643426145, recipient: 'SP2WW9Z13GTBAMEJ4BJ2K3J6S22F1P358130B5HHJ }
{ amount: u642458687, recipient: 'SP3SMXJAC755X82W9PEB2FKWRR2AAC6204X42XXV8 }
{ amount: u638265875, recipient: 'SP1QC9B2G8C11SBGNF8NDH0052DMKDND92SQBSHC2 }
{ amount: u638229830, recipient: 'SP2TMBVJ6WBD33M960ZKV1WC4A3TJTHRB148KAW0V }
{ amount: u637751915, recipient: 'SP2MT33NPPCQEJ2T0HCHS6VAXE9M80ZR4G48VH1Z9 }
{ amount: u636047229, recipient: 'SP3S4RTHBWFPDPHHAMGK4T1SM2170V5R0D70RFAJH }
{ amount: u635475364, recipient: 'SP16RNM927XDAXP8VN62M6MB3QPJW0YNAASZ342RQ }
{ amount: u634404000, recipient: 'SPPE9Q1X1HSR2JSXZB9JB9C5DD4Q3AEQCTV8P1ZW }
{ amount: u634261203, recipient: 'SP6PTQM1340GQRDWMREXD13N5R1Z9J6YR3F0ETZZ }
{ amount: u631431801, recipient: 'SP235MSK90XM2EFH90VSESPRJKXFPCHMXBDNCM1WX }
{ amount: u630393722, recipient: 'SP1JBQGRHASX9FFJG9RYP87RFZHJ2K2RG6CAWNAZX }
{ amount: u630307409, recipient: 'SPHW0EJK5KPDMK03ZX792EMP0Q5J3A39ZMTVZZCY }
{ amount: u629427574, recipient: 'SP2A3EJRZ1AB3ETRRFBKQW9QCX5CYGE7PZ0S2X94C }
{ amount: u629008343, recipient: 'SP2MT3TZQAAZHNGVGJACTWM6TVKPK0JN99QGXS070 }
{ amount: u627019864, recipient: 'SP25ZE60G8Z1MQ1JNYY7HR1JWTHF0SFJ10PVBY3F3 }
{ amount: u627017732, recipient: 'SPH5KHY9K8E4D63KTP7KX7Y1GSW3N8JTCYT4BEGE }
{ amount: u625887654, recipient: 'SP332AB1W2M38WAFDWXVHC6K48H9K4G3RVQ3CX1CG }
{ amount: u624702374, recipient: 'SP1F9J8FNRK2TTSFVEPBTAQC9EZ3KNQM5QGN4MA7J }
{ amount: u623582519, recipient: 'SP3M7GJBK924NTWPPBQ1NCQ4MGRSMH8V599C02XGR }
{ amount: u622046717, recipient: 'SPX9R6BKKNPDT2Y9T5DH5P6QJTPF33P4M1EXF0A7 }
{ amount: u620923128, recipient: 'SP3WNC2JW68X2TEAF3267JZDYC2B70FQ94BYYK3H4 }
{ amount: u620199258, recipient: 'SPN3XQ9NGKJFPRBXCP5P6YBMQ6X905YATBZ3E5M2 }
{ amount: u619208690, recipient: 'SP1TCEGETF68S2KA9ZNEPPY6B87DGWGSTADN75S18 }
{ amount: u618522151, recipient: 'SP1MMWCHSY2R58KNASM35W6X49C0EDT93HP4EN5GF }
{ amount: u617474200, recipient: 'SP2PWBJD6TFBBWECRE9EAM31G5RMCMMS8M5Z09NNH }
{ amount: u616997183, recipient: 'SPZ41QHXX9HD64ZXHTW098C6RYV8NR4S0SG8FJ40 }
{ amount: u616050268, recipient: 'SP3VNG0X4SQDKTT2EFVB68MT7YCE0H05D8434S8VK }
{ amount: u615461498, recipient: 'SP30BFYSDAQZBM51GTZCZAVERWVNDS9YZF60N8J9D }
{ amount: u612867846, recipient: 'SP2P8MXHKJD67J8V30B4H8ZEP74DDBG21X9PH4B3R }
{ amount: u610100101, recipient: 'SP3XAEF35FHTRXJQ32G3CX32AARY43KX5SSZH7K5T }
{ amount: u608221741, recipient: 'SP20JGV69RTT19B89YRFGKX469Q6X1K2TC125QGW2 }
{ amount: u607008854, recipient: 'SP359YWYCCN0S3EKC0GSREVZZER6FEKCGA9FG78XE }
{ amount: u606721466, recipient: 'SP13Y52H9TXACJQCSYHS4HSBZZBYKDM1B83WSPETP }
{ amount: u605876032, recipient: 'SP3CWK9DTEMBC754879AX3Q95HPGJHK3A1Y2RA0HK }
{ amount: u602165832, recipient: 'SP3V5Z6BZ9HX8K73PFW6FK37EVSJSZT2E6HMV9S72 }
{ amount: u600000000, recipient: 'SP37SRKEJKFQXMKFRAF6FG10T0GTV3QWK8XV59CS4 }
{ amount: u600000000, recipient: 'SP3JAYYCYSP27ZEGN6CW3BJ5VJX9MEAXMF8A11CGH }
{ amount: u600000000, recipient: 'SP1RY2GSQ1EEEWQEG86S5EBR4B8C2M4A0AZR02YQD }
{ amount: u600000000, recipient: 'SP2WM9YX8V19T8QAY2VJSVWVWJ7JCM0GYZQYR8N4A }
{ amount: u600000000, recipient: 'SPR21BT848VBJZTSSAVAZP4P46GS5C5YGTEJG5V1 }
{ amount: u600000000, recipient: 'SP3GMYSKX5S4XXTDTW6D1XBWPEXT7DK10ABAE1VX6 }
{ amount: u600000000, recipient: 'SP1718ENNZT69YZEPCK5YXS6WM1202TKGRXQ4KK1N }
{ amount: u600000000, recipient: 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y }
{ amount: u600000000, recipient: 'SP37EJ4BGY5WXCD8EWTC3BA87HPGFYQCDNTAE91KP }
{ amount: u600000000, recipient: 'SPF9WXDWNHVW6PMRAZYRBRXC709T6TTNPFSVK1FJ }
{ amount: u600000000, recipient: 'SP9ZCYETTYBP6DHENGYYYBXBPB97T5ZNAA5XBF2M }
{ amount: u600000000, recipient: 'SP2QD8KJTZW7B873KJH4JVVGHGA4JRZCEY55R6W1T }
{ amount: u600000000, recipient: 'SP3N55ZRJPTEBK06AW52Y8NN57R8GH36VH9155EJ8 }
{ amount: u600000000, recipient: 'SP3SR55MTKR3EMHPD57D73DX5GXCGZ35BF39NRSWT }
{ amount: u600000000, recipient: 'SP1HXAFP5ZJ8WQDVPCNJK3H70D0S9CWM2850467GY }
{ amount: u600000000, recipient: 'SP2HQBAN96J0YMG0G7W8Q0B5BRQY3J0C58CVANPM0 }
{ amount: u600000000, recipient: 'SP1WYN2DRQP6Q1EC4R3GP8PDDERWD7S9TZ1EM5MTK }
{ amount: u600000000, recipient: 'SP344936GHBHSAQNC2PEY3CAFZ3W5VGTE432XTC64 }
{ amount: u600000000, recipient: 'SP10WNM9J4YAQV0PVMZ7JX9V3CH64Z88G1V38CTNQ }
{ amount: u600000000, recipient: 'SP2HCA89YWXKN992MS0PZX58NZJWJZWW250NEQW5 }
{ amount: u600000000, recipient: 'SP31QD97JVWXK9E5PYPJHDFT89C43YRYR6TJ52EA0 }
{ amount: u600000000, recipient: 'SP3XNK31HFD307TKVNFCXVHBB7E9VZ4YJTMBYE4Z4 }
{ amount: u600000000, recipient: 'SP1TSPSAP8AX8N1JSQH19QDCEYKS5YK2DRZ1215K9 }
{ amount: u600000000, recipient: 'SP2WM9J9HA2CB316YWMQ0F6NK3WYVGRQ0F8VSHACZ }
{ amount: u600000000, recipient: 'SP1HHV3PC9CGFAWJ5PQM1EM3823VEBDPNWQ91DTD3 }
{ amount: u600000000, recipient: 'SPSCCCKBDRH6JX2JTEBYS6YD9SZZ2D5TXZ7ES9MT }
{ amount: u600000000, recipient: 'SPMD8NWCQWPP1M4XQ4H73YAP6KA9277Q3EH9SQB5 }
{ amount: u600000000, recipient: 'SP36AKJ3TNDJM9SDPYPX6PPV6MX3RTQQ8TZ968BT2 }
{ amount: u599321558, recipient: 'SP15MZX898YFPPE913PGMEX7SC5JWSKWRG9S5HQS }
{ amount: u599134000, recipient: 'SP1XZK5S56EAEW0K6KM1QZF1M3SS63EGHE177CM7Q }
{ amount: u597757085, recipient: 'SP20ZRNYRTQ87K67HK71R7WAPWGY8S8HZMMXNCFE4 }
{ amount: u596758008, recipient: 'SP2GJSXW3JN9GSS6SGC2JTNP8GHDPNJ9C6FD1WATC }
{ amount: u595963993, recipient: 'SP3GBCZAYVMYVAC5GN5MJXTK1PJ3XVYKYD25R0FJJ }
{ amount: u595930321, recipient: 'SP2H8CEZRSK22DR7APBSZ689SBKCQ6NXKWWFKA6E9 }
{ amount: u595907588, recipient: 'SP2ZCSZNDFWX1JB705ZR7SRB67CQ3SHCW1RPXF6RT }
{ amount: u595477189, recipient: 'SPPXAMMWNZCY0GHV1KTP2AHSFNEQYN625WJZ8YWH }
{ amount: u594933568, recipient: 'SP8H1JPB3VWRXNS8ZWYZK09WRBXD9308Z88MBEC1 }
{ amount: u594711428, recipient: 'SP07YRQ6RM34VSE5M368SPYJ1E199TXZMN0T3P40 }
{ amount: u594121322, recipient: 'SP27CJ2HCB0KZX1V43ZD6KZZXYVKSMJKWS2QEDEQ7 }
{ amount: u592657829, recipient: 'SP2FF3M47FVY2PGE71MCEZ5DEAKK80R3AHDTH3PK7 }
{ amount: u592420206, recipient: 'SP299824PYMX3VK4TASGXP074A6QXR0V5VN72V2A0 }
{ amount: u591665934, recipient: 'SP3TN6Z5AQ97E6YGKE2FYMYAV6AZA7Y6NKMA12RXC }
{ amount: u591366415, recipient: 'SP2NVS3144H65F4X6MG8MBXMB8SMA631D5346BTCD }
{ amount: u591073688, recipient: 'SPGT6TQ9A5AB7W3Q05PBVCAR9J53WZAADN0FYNTN }
{ amount: u590865229, recipient: 'SP39DFX9TFMQF72S0TS5F5ZZ2HAHAH5K861JV2MG4 }
{ amount: u590581964, recipient: 'SPQ1TR2553QKZXHX4KNB8TXNE0T4AXG4G99V6ECT }
{ amount: u590000000, recipient: 'SP1WAAHRBZXP22W7JJA8QS1YA0X3261ESW3YVZ9KX }
{ amount: u589715255, recipient: 'SPRG8DNSPZ3VBK442JYND1PDEGP9QV50SE2SSNR3 }
{ amount: u588237681, recipient: 'SP2WDW7RV7HZSKCE1CTZCW98ZFQTHNAS23PZPVPM5 }
{ amount: u587461960, recipient: 'SP2T57JBFH3X9KB8K3R7GTSGPFA79P6W2BBPF5EP7 }
{ amount: u587086758, recipient: 'SP59Q2PGMT0BM4ZFTCMQQH8SSDMBQ8BJ8RDSNZDF }
{ amount: u586808543, recipient: 'SP2SRA68NJ8288X7HVGNEPR9ZEK75GYRQ27R23H6B }
{ amount: u586513272, recipient: 'SP1340X2T2HPG7MDR4CJATDHP4X9YEBZ5YXWY95X7 }
{ amount: u586496058, recipient: 'SPAQ7HBAT6X804RT323MC3A7JB34YYS39H6PRQNQ }
{ amount: u585439049, recipient: 'SP3V7WAAE772J9TWHHE4QJ6MZ903YJQ50C6MH0H7D }
{ amount: u584924284, recipient: 'SP1EQPJS15JMH6YHA079SH15E77ZZB321NQBR5RZ1 }
{ amount: u584710986, recipient: 'SP1SAYQSW76Z072K0PTAPCX7QBH71JNRY0ZJPA20C }
{ amount: u584710641, recipient: 'SP14ZVP3VPF4S0E0M18RX289EGRN0JNF1J9HJMJ9V }
{ amount: u584694627, recipient: 'SP3CQ0N659BM9KDQZ1K5W1W03AVJBRJNA2J80ST3D }
{ amount: u584527456, recipient: 'SP152CGECH11CBS16N55WKKDRAWFMYK1XN3MNBZFP }
{ amount: u584514023, recipient: 'SP1GQZW8DM7VMT3Q5QHD2HZ54XD6DHWGRPMSZW6EV }
{ amount: u584513850, recipient: 'SP275N9VQZE9QNVXY625WQFXXMJ2M4WJAFE8V45AD }
{ amount: u584513677, recipient: 'SP1E0RT2NR4PDAWTTV4SBRQNHHFDV8FY25AQF5TVK }
{ amount: u583426392, recipient: 'SP28J1FWP9SR3XGYVPFXA608KA9QBD1DPV6FFXVF4 }
{ amount: u582858670, recipient: 'SP1KG8BPQPPVMVT4X0MXYA6HBYSF12AEA2DDH762C }
{ amount: u582307432, recipient: 'SP1TJBMBTNPBTTZ5ZPYTXRPZRAT7NSY6XC2XMZ7BR }
{ amount: u581618074, recipient: 'SPXFEN3WAQ4X1CSA7DTZ3NQ6NF4RGCVQYFMNPZ1B }
{ amount: u577894841, recipient: 'SP6GYRKYMZP8FGGTHHFREZP4E3NZ4NC6HX88D6XH }
{ amount: u577516008, recipient: 'SP1HN0JG9MBCXSCA7601QSBBWEHGPDSB0ZB78A502 }
{ amount: u576608744, recipient: 'SP1C4Z1NXBX4QYTFN58DY6FVAHYQ0TMJ1W4MSVMG9 }
{ amount: u575494618, recipient: 'SPYHMMQXMJDTRC90TPZRP25JG7FWNNDD1JE3QE3Q }
{ amount: u575217085, recipient: 'SP336NRP1XKCEAWYV4EMMXFJT2HBE4RNCPPZZ8JDB }
{ amount: u574860512, recipient: 'SP18H7ACXPHZFGJZ7DW6JCQ28B0XQB7E2D9XK5V8X }
{ amount: u574648209, recipient: 'SP2HMHVJK2EBPV4QDFJ0524W6PSYV9QHDFNKNZ97Y }
{ amount: u572214989, recipient: 'SP2JK33VBSECG34VDD9FEVG1Y47EEVWXFJ3EXBPTC }
{ amount: u572000000, recipient: 'SP2PSMKVPJ1CAJMNPE611PS6SFECW8GFQJVQA9B8A }
{ amount: u569248223, recipient: 'SP2TY6PV9EHPJKDKK373MV9YCTH4N158EV1M2NGBQ }
{ amount: u568950251, recipient: 'SP1BF1VPFZTHJ2D90EDXFCXNGZ6G63SNMYQJH1KRT }
{ amount: u568751232, recipient: 'SP3WR5719TYHMA5W8K8K4K3GYRTXCTG6T6084Z6HG }
{ amount: u567620690, recipient: 'SP3NPYG8KDHVG8Z702QTE7SXTFTV9BSEJN1J3FE9T }
{ amount: u567406944, recipient: 'SP1EZKYD6VXJS9YB5BKZJFQR0KJJZN0ZQGAXKX7GY }
{ amount: u567105204, recipient: 'SP3MKXNCHFZ5VQ9NG2VKMM0GHF93XX96S8SVQ38W8 }
{ amount: u566839583, recipient: 'SPMZM409DH598QYEWQ268P76E8NDDBZNTMBRH7EQ }
{ amount: u566406870, recipient: 'SP3NPYM4DR461RQBXTX3Q0K1V4X0NVGTCM193MY6K }
{ amount: u566353602, recipient: 'SP14TMXN3KHKG1YADQWQCNZFH66VVTSVEVC7WQENJ }
{ amount: u566000000, recipient: 'SP3Y04YSMQP1W4TT0HBNXKD18TT8FQDF9Q7YET2EQ }
{ amount: u565059501, recipient: 'SP26S1RM13VP3FAFK0BEM4MXJ611JT1AQZZ89A1CK }
{ amount: u563735800, recipient: 'SP2SS3PKTZQ8TZ713AZ47J4VJW45PGHYZMXGVVEKY }
{ amount: u563248679, recipient: 'SP3J8THHYPW3PWBTX916S8TSZ3AYYYABFGEPW08TJ }
{ amount: u562892011, recipient: 'SP32D8JQZJ6YBSMQ5WJ7W2TRWDG9AVKSG96VS7SNV }
{ amount: u562653682, recipient: 'SP2XYEWTJKVPP5V4N4A3NZKGSFV6JN5F1G7K4ESSN }
{ amount: u561967285, recipient: 'SP2S1YPAX5HVS0R04CZEC476SQHPR4QFPV0FAV350 }
{ amount: u560701525, recipient: 'SP3E6397TYMGKKP7JAV4BM5CH4EVEE0KXRX67QN1E }
{ amount: u559761127, recipient: 'SP2M04XYQAKR6H2RMY6076KAXRJ4T9WVPH85SB18N }
{ amount: u559311834, recipient: 'SP2KJK0M5ZRQTFPD0WMFYH2ZMH79M7RYW7HMN80RA }
{ amount: u556059450, recipient: 'SP08C7R7X4VM7P2CKEE5YNGYJEZWWNYZ882WW2W }
{ amount: u555915252, recipient: 'SP3K6XATZ91SVQBFSVQRZW6Z27AKAFT5NV0FWF128 }
{ amount: u555874423, recipient: 'SP3YANZD54VX1SJEHNXPQKDQGZCWN6W7VK4VE8ZGK }
{ amount: u555833495, recipient: 'SPX00J90PDJPP4N94ZG3VNPDN234Y8GK9BJ2CM5N }
{ amount: u555811833, recipient: 'SP2C19SKWC9BG44AMNKRZA2BJQJXH9HS45DPFR2PR }
{ amount: u555752815, recipient: 'SP3ET9K2C3WY64C9Q8RMC1Q1M6AT01N03YFD0QZG3 }
{ amount: u555400749, recipient: 'SP3TQ0PXHDF51HW2Q8YDZ0J7K00B99A3C3164C2HG } ))
(define-constant batch-64 (list { amount: u555149214, recipient: 'SP1EQ4S4YWEEXC69Q0BYP6N91R4DWHG9JTKP0RP6Q }
{ amount: u553366904, recipient: 'SP213FCK4QPHW1PMRXCVWYJX2KXW79WF6847XZVBZ }
{ amount: u553122351, recipient: 'SP1H3F2PC8SB60R50Z9P9EFJ776V5HFWR833YPPP5 }
{ amount: u552724683, recipient: 'SP1XP167C7ZB3XMDT68H3M6QDFW40CDCGWMPPQPR7 }
{ amount: u552692193, recipient: 'SP4QSBN4VK5BD6R14FKXBB7FK5VFV77PRQPBTJQ0 }
{ amount: u552112175, recipient: 'SP3PTH8R9P7TABGMCCP3X7N8DYZAEQJBB8WC44CV7 }
{ amount: u551456147, recipient: 'SPTAABSZJ32XZ83ZAB0HKWQGZP4QFSN5TG18BGQR }
{ amount: u550534390, recipient: 'SP2X3755VRDZQPZCZ72PMH260J4NQ4J55GA9GAE9W }
{ amount: u550447523, recipient: 'SP68ZBMK5ABVV30DA5X9HVFXC517ZD178R46WHNF }
{ amount: u550325623, recipient: 'SPK3CJ8YVQRVDC9WCK9KQAHWX5PZBZGNY7P09NTP }
{ amount: u550313929, recipient: 'SP3SJR5EAKKG1MJ4046BAB7R93X44C9KYBYMN8JEQ }
{ amount: u550000000, recipient: 'SP2WJHKF573XDRFHT66NVE38BYWKHTH1M9SGEAFNG }
{ amount: u549818524, recipient: 'SP3E9ZVSZ99ZTJXB7MMF1DPD28SRPWTTFPQD3J3QV }
{ amount: u549486532, recipient: 'SP19Z7BVRED6K2Z5X4030EFFJAGJS6S1CV67AVQK3 }
{ amount: u549454943, recipient: 'SP17P595MJE36QCWEA1DDHKKG6EK90GF7WJBPBKP1 }
{ amount: u548208820, recipient: 'SP19Q1NE93YQZC95Y6DDZR6CA43T2G6CC99PZ2JTD }
{ amount: u547989419, recipient: 'SP1RTG4XDFEN55NA6A23JXG7D89QAMEJPNTN89WYE }
{ amount: u546114289, recipient: 'SP1KFS5FKGGN31G50J2W1NVQZQ8SMR4MD4V5P7Z50 }
{ amount: u546000000, recipient: 'SP1C15G3B5KFWXHMWYQJ2HEAZW1F8X3HWDKD0F4S9 }
{ amount: u545109594, recipient: 'SP3DFGMPFR0XXRTYKENY7BT6FRGH2R0Z5H77J7ZT2 }
{ amount: u543940309, recipient: 'SP1R0NF85DAXPRFGV39QGXJ16KKS1Y13ZANVKBW0D }
{ amount: u543034679, recipient: 'SP33AGAV8FVZVDHN1EWDV56MEPTXC6D7M8QM4TSTV }
{ amount: u543005493, recipient: 'SPZA53FJJ7W4T099G1AF48AJPTNVE4VZR8X7VADB }
{ amount: u542957319, recipient: 'SP3D31VBH4NMV8GBAJNDQPQNQAR8KQZFHF0NGY2W7 }
{ amount: u542387453, recipient: 'SP1QBPQTN4DDQ046265G1C9E14R545T6QFZT7RH4B }
{ amount: u541474740, recipient: 'SP2HJ03315Z3BT1GRVNNJPHRESP8HZS0YYJKZTWF }
{ amount: u541375582, recipient: 'SPTHZZKC1Y6AZ32B1P58WAC2TWCMHJ56EB2PRDEW }
{ amount: u541372565, recipient: 'SPNKJMEC17VDF0WDYABKHXKAEHFNB6KAA073XSMY }
{ amount: u540933529, recipient: 'SP3V0M7MMHBAHBV0XNQQ5M8J6GVZZEQDDZT2J79QA }
{ amount: u540422556, recipient: 'SPX75V54BH1JH6RTNSKJJJSSEMF5NNXPFYR8HF0R }
{ amount: u540362496, recipient: 'SPBWE100S76R8WYAJE050EHEERRFQEQ4MC0P1BR7 }
{ amount: u539346629, recipient: 'SP3JT9A70WZT0SKFSS00W78C6XPS36PFJWKMKJ29Z }
{ amount: u539229217, recipient: 'SP1PHNVXGDWBTD4GZQ9S6R1G5TS4GPDSYQGPXXW4C }
{ amount: u539130660, recipient: 'SP381XN50HRCBE9ZB2W4SCRW91E9BVGWB1FR80WEG }
{ amount: u539015711, recipient: 'SP3SV8T5YA8JFYWNKWP91VEYQJGZ17YWWC8KR2D7A }
{ amount: u538282233, recipient: 'SP35841AW6HFGPCEMAZ134JW92241XHS8JHJZDNWS }
{ amount: u537858903, recipient: 'SPFV1ANFVMC16E74VMMV8HDH6595SE0DVBN3MKZN }
{ amount: u536863091, recipient: 'SP3MFRY3CC0SXXCJ3JG73WPE156ZJECY730YKB8YV }
{ amount: u536241070, recipient: 'SP1P8NFZ9JPWVJD1FRVX4R5T9GDG6K3GBSDX05J9S }
{ amount: u536230885, recipient: 'SP362399GEK01KADHBQWVKGEDEM1XNRCBK6G7AQVJ }
{ amount: u536230885, recipient: 'SP19PNRWAH01X3VQ42DJYV5H61J9EWM398KST9AZF }
{ amount: u536230885, recipient: 'SP16Z0QBF0A6TWDCM53FK1CNS7BQMAET75VWY9JB6 }
{ amount: u536111097, recipient: 'SP25MCX61AWW163QBTW2NC7TS6WE3JKM4967MDZ2F }
{ amount: u535974479, recipient: 'SP3KAPF27SFVE4KTEDNV597EZYWDWQBF3JPJDM9W5 }
{ amount: u535520039, recipient: 'SP2VNVQR3B9GGATP6WQP54ZBKJBQSB8AJKJXCQWCE }
{ amount: u535382238, recipient: 'SP1VWMBB5EZTWXG98SEXCG42054KJ0CJQAVY6A7PH }
{ amount: u535044550, recipient: 'SP10PJYR3H49M8MQ241T9A78N6997FRD75DHXD8DY }
{ amount: u534868887, recipient: 'SP17NA54EPVBNRR1MYQYSK04ZRBP3MZ28JSNQRTZD }
{ amount: u534318022, recipient: 'SP3FBERYAS43A0HZ5D6FY5RXW6C06Q5YHYHNSQJP3 }
{ amount: u534310246, recipient: 'SPT0CRF7PYZ8W8RYF0AHWJXBEAKF8AK5PP4R9FN7 }
{ amount: u532626490, recipient: 'SP3J3TTAZP0RWECF6SQVNSVAFQNR04A1J624W47B4 }
{ amount: u531547700, recipient: 'SP2WKQTR7K0EYE7TSM201DE5HF6D03A29FKPCB61B }
{ amount: u531190771, recipient: 'SPW09T7P3JJBQKYQWFASYREY0P30HRMXK1QSNTMQ }
{ amount: u530636807, recipient: 'SP38YYTSPABYY11FSBHT1GVYT4Z4T0SF3P0EQCTHZ }
{ amount: u530139735, recipient: 'SP1JAP56SYY9QKHSGZAZY8FJWX139QNNFN9QR9RFW }
{ amount: u530000000, recipient: 'SP1719RPA1XX26GM1NZWKJ2VZZPCRX6XNDRW3N9XT }
{ amount: u530000000, recipient: 'SP3HB2MJCMQ08PT3S9JA98Q0H1ETYYZ4SYJM5VP2S }
{ amount: u530000000, recipient: 'SP166WPSQG2ZDRERX55PVS8VCTT6MKMD18PST88XT }
{ amount: u528940921, recipient: 'SP1C455RW50S6P3Y1QCV1S70ADSDFZD7YYAA49G4E }
{ amount: u528043400, recipient: 'SPDWJH7KYJXRXR3H1W8TFY4V8J1WRYJ3WTFT5JJR }
{ amount: u525640447, recipient: 'SP1BBJEHTCN1RYFQVQQBVBG8HW6PAYTHHA3QFETCS }
{ amount: u523378624, recipient: 'SP3KE1G3NCQ73F0CN7R7APSVHXYMHZ7B25G434BF2 }
{ amount: u521703686, recipient: 'SP1A2ZWARD6QQ52R42M3K79KXRSS32S7B8PBP0YA2 }
{ amount: u521276418, recipient: 'SPX5D7VZ6TPCZ4G3BBWEBNZR1MC4WW1J3TA4BVNP }
{ amount: u520074672, recipient: 'SP1E9VE7NP6RHV558HPSW4K6ZVCFGXVNEE94C7DK3 }
{ amount: u519496789, recipient: 'SPPJCH26XJW6JB8XP5FCQ0B8R6MNVR6HDRNP6G3Q }
{ amount: u519000000, recipient: 'SP16MP9X0311JQF33RGBZ202A7MZJ4P4BF1B315PN }
{ amount: u518342831, recipient: 'SM3Z71G89S1TPV1EJHB02AAXWD8C3PKGS1TE6TMFM }
{ amount: u518271180, recipient: 'SPW1VT9DB4J1BC849SYHDAHAKBGZV96ATW2VS5M8 }
{ amount: u518097680, recipient: 'SP3HDPGP48JQ948Y7S41RFHJ703BHEBTD8ZZ3V7MS }
{ amount: u517417643, recipient: 'SP2T0M7CJXKC7MP1FQMBEY187J69JGHH1QBYXVD5N }
{ amount: u516421618, recipient: 'SP2R3E2998FNRNRMR2RQQC598B7JTYVXE8QYRMDCV }
{ amount: u515805955, recipient: 'SP213GZHCE12CCNGCNKM36W31QCV53KTY5AHT2VZ7 }
{ amount: u515107735, recipient: 'SP3JBH8QJV20KGJYZ5EZHB99T660736TN4FYASHQY }
{ amount: u514429520, recipient: 'SPCRQF951MS44CNRK76PJ28CWGDDSGTRGND6BTYF }
{ amount: u514317137, recipient: 'SP2MEPCD9WTQRRZJSMJRXMZ68WBRKXNYWCRCEV0B }
{ amount: u514162302, recipient: 'SP23RZAQ5FJJ0R5EF82PF8X58EGSGKN4QXJMX5P1D }
{ amount: u513915793, recipient: 'SP1XZ2MP9A0NMBARXVEWVW05VTJTCFBDQZP1GK7QP }
{ amount: u513746646, recipient: 'SP1B6E45XVXJPNQVZQXZYJ864TPTJNSY746KGZ94 }
{ amount: u513141444, recipient: 'SP18BFDC1MKYX2RJ8JEAY4RWTBMCMB21N5FZMJK6P }
{ amount: u512816793, recipient: 'SP2570NQ78VN06CHJ90WE2FE390DKXEYBKZXFV8FR }
{ amount: u511724948, recipient: 'SP1Y1J568CANW75K185QVV1W1Z6J4SEMN32KYC39G }
{ amount: u511569184, recipient: 'SP2VSKATAC75RH66ZYJJFRDDMETBBGN7FCB824X2F }
{ amount: u511140388, recipient: 'SP2Y6M12Q5PYZ04WTSYJMMCHVZ1GJ2VX5665DAKPW }
{ amount: u511128864, recipient: 'SP2EFRJFK8QFBXVCGFXH20N9VKD14RK5KXVKHVKE }
{ amount: u510799522, recipient: 'SPX9AKZF9EF8Y4D74GV67YKJ4A41WAAX14CGPP7T }
{ amount: u510000000, recipient: 'SP36X98WYQ6RKBA0D1X90BP2D8WVVAT65S55VXJAJ }
{ amount: u509708659, recipient: 'SPFV9ZDYP7ATDYHTVB47D7HQH5TNHSP0PZTZQZW0 }
{ amount: u509643956, recipient: 'SP15SCS1DVM1E3PWJH6AADX9RNWA3BYRQY2XPSWAG }
{ amount: u509431959, recipient: 'SP3CYH7HJ9HPSA73PFNX9Z1T91AR2ESFS6YRPMSFG }
{ amount: u509405040, recipient: 'SP2KZF5C4M9XAZ0YX4B8MCRGDZC4NHPB68MTSZZSS }
{ amount: u509165683, recipient: 'SP8KY6Y41VKEX40DTZXZF2WHVMVGDVY7M7JEA9BH }
{ amount: u509062375, recipient: 'SP3N2E5RX1F6521QM8R1S1NYFW59Z2XRT56VXSZ2R }
{ amount: u508976244, recipient: 'SP3WZXKTAZ2SKPRFGTB8MH5GBY431F0M2EF69V2FF }
{ amount: u508309927, recipient: 'SP374XSWMZE2VPMHSKJWZJTYVEN0C2W3EM90QTK06 }
{ amount: u508098781, recipient: 'SP3J74X9NVB4FRG1KQJBCZWCEY0JNJJD61G66M30Q }
{ amount: u507584057, recipient: 'SP1PHZVZMXKG69BF23MF44E5QE7F9B0MFH4EJ3FSD }
{ amount: u505910188, recipient: 'SP2S35TW8YC13Z2CR8RH08ADADDF1BVN0XJVRVA7W }
{ amount: u503469706, recipient: 'SP2DFX28F1S3CB46B5XH9M5JQ7N4SMCE7CQY1TNYS }
{ amount: u503033187, recipient: 'SP2QNMN7DV11264YYVD5T0M136YCWWEDVXM58EBCV }
{ amount: u501694714, recipient: 'SPVJP2Y4FCR5XHF32X725QZYKC8C73FJ24QWRNJW }
{ amount: u500007875, recipient: 'SPQ3WPARZXMYBVW4ES6ABG47EXT4TP0GPPFRAXAD }
{ amount: u500001771, recipient: 'SP33S75A3N08WGFRDC172JZ8N8BWN8FC6MKVS02PF }
{ amount: u500000654, recipient: 'SP11BP9XVZ5BKXFEZQ1WJWZ0RNH9VE0CHGHZCT8J0 }
{ amount: u500000000, recipient: 'SPJWC972PNY1VPN3HC05Z699WKGTZRM2DAA9FPXP }
{ amount: u500000000, recipient: 'SP21Y60VHRKN5B8M8FQ01PC4AWCH8C6QC1G41TR69 }
{ amount: u500000000, recipient: 'SPC079W7KAS6K62CASG4QGS8ES08MZSXV42NKPF8 }
{ amount: u500000000, recipient: 'SP2DT279DMWG5W6S7JX04Y7H1JM5VGJ7DTGVRYZPR }
{ amount: u500000000, recipient: 'SP2ZSV7ZRA0BKVN501J95JQ1X2BH33SC7BXFWKR8T }
{ amount: u500000000, recipient: 'SP192FJ3ZT893ETXW5HZPN8TBGX5B5YTHBH2YGHT9 }
{ amount: u500000000, recipient: 'SP3KG2YT58P7DCW0PWFYY09SANTNYW69HRYY3TQZ2 }
{ amount: u500000000, recipient: 'SP2X81JSEVXD61J6G2QRBSDDMH2BABFSEP5VHNRFV }
{ amount: u500000000, recipient: 'SPXWZV0EJNMNBTDNNJGZ107B0C930CGEBRDSJJH1 }
{ amount: u500000000, recipient: 'SP79DN66QV1MNHP7RWRS5FT1A137MJ1VY66JPFRP }
{ amount: u500000000, recipient: 'SPBB09RTEA2XKGD06VDA2TNKFAEQETDBQNY6QRWJ }
{ amount: u500000000, recipient: 'SP2E4Z3NC2RGS4TYGEM7HA008BME03BZH086X8N4A }
{ amount: u500000000, recipient: 'SP20WERD493FGYGCEKZTH8R5P52ZFYTF5E2CD03DB }
{ amount: u500000000, recipient: 'SP2PETBTSZJEYFN66W32R4FEWVFC8EGSZGP5MFH8E }
{ amount: u500000000, recipient: 'SP1N1VN05DSP7B92VXTTRFA5Y0PDB7MAE7P9V4NYP }
{ amount: u500000000, recipient: 'SP235A51844WC7SGX0BYBY2QB4SH87SSAH2HQEM8E }
{ amount: u500000000, recipient: 'SP3A4WXD9N2ECQX7EGN3T1V411YQ8SV05XAGPNCD0 }
{ amount: u500000000, recipient: 'SP2XK8RKW3N070RD3D3A339C4PHXSA3NXEJH7GS9F }
{ amount: u500000000, recipient: 'SP31METAERKFX1JD6V72A2K46H5AHNXAR53XK0QGV }
{ amount: u500000000, recipient: 'SP3NS2YDWZ72X8SFSDDPV7W16FF35W4NEM0XHPHVJ }
{ amount: u500000000, recipient: 'SPZBQC1P08PART4S9PJB6416EFSHXVGXFK7BY0WM }
{ amount: u500000000, recipient: 'SP3CWNWHFR359T92Z24A04TJ44DZCHD3C0455D544 }
{ amount: u500000000, recipient: 'SP1Z4C5BD1HQ40FAEX3GXQN0MBSM9VB05WMY7E5SE }
{ amount: u500000000, recipient: 'SP2H8G8TM32WW54VRCY738VTZH89YTQHBYHJPKTB5 }
{ amount: u500000000, recipient: 'SP30XE31XBS0QFNV84JV4ZPWVH5N8SNDS2T2RBJ9E }
{ amount: u500000000, recipient: 'SP1GNGBERJYN1KBM42RAMMQ41AMZ86QQK8KM39ZR4 }
{ amount: u500000000, recipient: 'SPR2MS703FEBFZJF1M6408N2AV4C7G2YCTCDE70B }
{ amount: u500000000, recipient: 'SP181DVNHTGGSGTSGR32CEM1T5S3VMZR257KH0JZJ }
{ amount: u500000000, recipient: 'SP3RFJAZJVGQQ5DBZYN4CCE2DFE7MHWZ30AHGB2J2 }
{ amount: u500000000, recipient: 'SP1RWJ0FZPN52FZGGBR22HCEG7M6PSSAX1VDNGXGM }
{ amount: u500000000, recipient: 'SP3QG7XDVH3JTZEMA21CE0QSZ7NXNH27BDFN594BZ }
{ amount: u500000000, recipient: 'SP2D715XKBPP2YFFXGZDX94N7NSAGE91TKA7Y7GKG }
{ amount: u500000000, recipient: 'SP17BJY8724A61MNW0HB5W3592SZ46H0JQHGD85E }
{ amount: u500000000, recipient: 'SP146R08WAV50SRG8T3F0AG66HBVYQDE4T3QAVVN1 }
{ amount: u500000000, recipient: 'SP32E02P89J56EG2FMVM0BBSHZT7EGCTR5QF08W6P }
{ amount: u500000000, recipient: 'SP3CPD6WJ0KNXETHH093PVS8PK1WE1J3H214FH02J }
{ amount: u500000000, recipient: 'SP2VMZCNWQV04HDTE6PTZ1M7W79RRMKP673QE96K }
{ amount: u500000000, recipient: 'SPP12Z7YHFZHFXBX854ZW5AE8XF6HVYBYR7XC61T }
{ amount: u500000000, recipient: 'SP2CBEA62WQ82ZQRQWSPVRTR35F9PTFZFP001RSPQ }
{ amount: u500000000, recipient: 'SP3J6RPQ1AKGKYZRKCVMBH3J1RX7EY8SN8XMHN2SV }
{ amount: u500000000, recipient: 'SPN3JVHQA04AZ0JN2JD2TNRR45FR86AG4BEDJMJE }
{ amount: u500000000, recipient: 'SP9BC6JY6CAF8H6T2YD75A6M89VTZVNBR405GM8H }
{ amount: u500000000, recipient: 'SP2K349ZCH3B01DVGTF8J881ZSEQBFC45VJDE0P7H }
{ amount: u500000000, recipient: 'SP5KPPRBE3E26W7CSVN0H70FANGVCZTMCG2Y0DWF }
{ amount: u500000000, recipient: 'SPPKBVZZH36TGZ7D34980PD2NCHRQP8EZ5F7FP2H }
{ amount: u500000000, recipient: 'SP1WDKSR72QPWNNSQS46E8EC3CRV2WXVC457FJQK7 }
{ amount: u500000000, recipient: 'SPE8KA7844XFR8E82ZJ4PTREVJHCBJ91XNAB1RP0 }
{ amount: u500000000, recipient: 'SP39J4W04KGN0E9SVY6WBN2T9BT9HNNSJ9023PDDH }
{ amount: u500000000, recipient: 'SP3J9N09GXA3AM4JCSXGWZB1VW1J8BFN96J1FG318 }
{ amount: u500000000, recipient: 'SP23TFNY3B7DG4NR8TY0H7GV9KAYCACPJCNBRWH6C }
{ amount: u500000000, recipient: 'SPTTRC2AQJJZNY729GXKT8YR3KFWRBE31NQN1Q8F }
{ amount: u500000000, recipient: 'SP1S4N0FMGVA6CZG0GD4FMW02FMV8RMPN01S13GVT }
{ amount: u500000000, recipient: 'SP2VVGCQYXVHA4AB64MDKENRG0E2S876YG66RVWCB }
{ amount: u500000000, recipient: 'SP2YJEV0V9P6M2E0X4CEJ7A4CBSBPZ0GF0W1F3ZZE }
{ amount: u500000000, recipient: 'SP7ABBF909AZFMDP11DK7GXJFR5Z5GTT0HK4PA6Y }
{ amount: u500000000, recipient: 'SP1S7Y5AZK5GC4XWXKZEDJRABVZ0J9H5749S0MCY0 }
{ amount: u500000000, recipient: 'SP3B1D6X20A4C2RKS9TSFCZAXABJJR5P8TZMKHVQK }
{ amount: u500000000, recipient: 'SP199NQY3051937K6AWJT8QYTYTEYVFGM1WDMXJSJ }
{ amount: u500000000, recipient: 'SPE7DGQ18F3KC85X9H2JPHMCMJ9PZ1K2VZQG8V99 }
{ amount: u500000000, recipient: 'SPDK8HZBX4ZJ6AHFTX6GZ7210HDEMQFTZZ6W1M3P }
{ amount: u500000000, recipient: 'SP18VTQJAA2D1SWHSFRP5E6YCE4HCGMZ8T22SJYJN }
{ amount: u500000000, recipient: 'SP1FYZNZ73KXH29009JW5X8HRW890KTBKJA3F6K2X }
{ amount: u500000000, recipient: 'SP335H82ZBBMX3HB4CBJ8KW3DJ4Y9PGGK4KR4Y6NH }
{ amount: u500000000, recipient: 'SP2CWK2Q36J7HCH8J1DFQ50ZPNN2Z54CNCZV63Y5W }
{ amount: u500000000, recipient: 'SP3415TYEBJ4H1CVNJSA8S23EMW4ZP5GFTVRBP0WK }
{ amount: u500000000, recipient: 'SP3SY5WJ5FFDBDRTK0MYZJ8P9K45RT4R9ZKVX707M }
{ amount: u500000000, recipient: 'SP3Z0TPFKAKYAVZ2QWZBE37N5FXTYQMJ3P2W9JZ5A }
{ amount: u500000000, recipient: 'SP05QPY7ZZYFPYTG6JA0M378J14VDTQ0PNXVHM6 }
{ amount: u500000000, recipient: 'SP26JS3CAB1EF54PYX2CWYQ91NAE8G5TPNS3VRG3T }
{ amount: u499700000, recipient: 'SP2Z1VBQWVQSEAAGBHXFCDXYNFA6Z1F677RZ0TTBP }
{ amount: u498230884, recipient: 'SP3N4HWWZZ513KPWP2WXRQP8T4GS56D58XTT6B08K }
{ amount: u497407058, recipient: 'SP1EKGEE996816J3W9CHV6WTAVWYNV3A026TVQ11G }
{ amount: u493686427, recipient: 'SPF4DDR5JJ5QYQ1S8T4Z8WYAS8PDN1JPZXGMZQVY }
{ amount: u492875800, recipient: 'SP3EERYYETAH3DM910S9MPXNY245FV189QZECC4TC }
{ amount: u492358963, recipient: 'SP3ZP2CN5158FNKJNJ2ZXNDHZJ5ZF4N4QW0RVEE2E }
{ amount: u490099921, recipient: 'SPE9Q5SNZ9Q20D37G3S2WPCGF48XJ61TBYDG7F6S }
{ amount: u489899899, recipient: 'SP21R9AF0XA9TM89ZJ5DEMJTPK1WR5FRYYC92ZYDC }
{ amount: u488485093, recipient: 'SP1NF4Y579FVTMQ2T8ZASYEV3HK2V10GSVDBRSRA8 }
{ amount: u487730213, recipient: 'SP2HZEPQE06AEJGYBYC101QC8JH0JY47BV54YSS2S }
{ amount: u487699197, recipient: 'SP3CNRFM8JF28GHCK4N1NMMA662Q18MKWY7NNYG8C }
{ amount: u486734947, recipient: 'SPBY4QB3MRCCYKWRS2H7E6VFAGSSJAGC3647CBVJ }
{ amount: u485631989, recipient: 'SPE85GJQ045P79D4VZPGGM36S5485ZV87DBHPCYA }
{ amount: u484613088, recipient: 'SP11H25GECZ7VE365WZ9DP046T9DF02VR4NBS03DW }
{ amount: u481738702, recipient: 'SP361RYBQY98FXBC5BDT3TPAZWNQNHQKT2GCE9C3S }
{ amount: u481708790, recipient: 'SP1G0DCEP30D21QKZ3FTF03T2XFVK81HH1A135V9G }
{ amount: u481442562, recipient: 'SP20WA0W4BB6GDQAE6D785BH4W3R9NK09SRYGBVPF }
{ amount: u480556495, recipient: 'SP2QK197NC1SWGBJP2TJDT3KP24RZFX7FYHM1BWDA }
{ amount: u480371345, recipient: 'SP18B8X9J5DMKT79H8W4RTHKMHAXMKRZM5G5Z9JQS }
{ amount: u480002727, recipient: 'SP3GDYG55S3CEP1PJXYYJQHN63TR4ECKYM5E1Z1M5 }
{ amount: u476404405, recipient: 'SP1YBQ4T7PNRM7GZN284HCZFP46G8MFW1JB293V0F }
{ amount: u476359633, recipient: 'SP3RENJPFP5J6DN8W55SB2AFMYGE7JEJ80NQDTAF6 }
{ amount: u475397750, recipient: 'SP13KDSQSPCPAFVGMKXAKK9SXG8D91B53CA5362Q8 }
{ amount: u474646391, recipient: 'SPN4HP0Y2SPF8SF8A0NE12RKN8MA5MQMV20NY5FT }
{ amount: u470828828, recipient: 'SP3DW89R6Z0JF2ARWEVGTQT6BGA6NNYZQ8NQ6M63M }
{ amount: u470806701, recipient: 'SPWSHZJ7N8VCWYTVG37TF569FA12AFER55YV6812 }
{ amount: u470692591, recipient: 'SP2Y2CE2KQP3SWTMJEPZWX51PK95Z7ZMP3AN7TTAQ } ))
(define-constant batch-65 (list { amount: u470503770, recipient: 'SP1CTD1JD7RJ1EQWZ7N630RDQQRYSH4M6HRV43FDC }
{ amount: u469217003, recipient: 'SPRA622VR3K1BBTTJKTNF3C00MYDETER1E5BMK4M }
{ amount: u467740623, recipient: 'SP2KMYZ9YTYC9E3RJK37V05C9N2E91KM2CJR2WTCW }
{ amount: u466873079, recipient: 'SP2F2M9B9X10A0RSRKEZEZ1KJ323PTZQ2YMFZGVXG }
{ amount: u466227594, recipient: 'SP3ZYJ3SG96ZPP1FRKCGB88PF195A8Q6YF76CTGHJ }
{ amount: u464834507, recipient: 'SP1AE5VB3Z06R6P4D06WVNCZZ530W7BT14TQF2Z6Z }
{ amount: u464655268, recipient: 'SP2ADW332S32T4PGRNJ5JRQZ2DECS11HDY1GGPZPK }
{ amount: u464401868, recipient: 'SP3366A6NSYVXMVTZF6NNXPQF1VGQPZYW40J8V49E }
{ amount: u463037000, recipient: 'SP6JAY5FEN3TPNGVPSHXBGTPM6A421MZWPZVAYCZ }
{ amount: u462376722, recipient: 'SP1P4JM3KYHYPV7G8VYT2QDPXW2X8FHRAY62CP0SE }
{ amount: u459732357, recipient: 'SPCXZMB170SEXX2HEK510GBFZ88N4VNYP6ZMRNEX }
{ amount: u459047224, recipient: 'SP3BGESDYF9GB9BB1ABDTFAZGRWN16A5BR89HD19Z }
{ amount: u456687193, recipient: 'SPB6QWYFHZK0V7HNQGPK2HPBAQG0QST173HB3XT1 }
{ amount: u456632192, recipient: 'SP5BBGM01P32NKVS4083A1S9GNXE0K73DF2FN9FR }
{ amount: u450698547, recipient: 'SP1RNK99E0R4HYAJHQVZB48ZQABKHEWGY2316CE1B }
{ amount: u450461482, recipient: 'SP1PNYGD0E3AMA6WDZNQ2H9XDE005Y61GA80WK46D }
{ amount: u450000000, recipient: 'SP3B72M7A4828M2H38MB575FTTGDWH883T28XYRM4 }
{ amount: u449676569, recipient: 'SP1Q9SC2P66BRTPPGAASSX8WNSZ38C3XF9XPRFSAT }
{ amount: u447880750, recipient: 'SP3X352WTK1ZFR8R04WM4SXQ6PGTSH3S4C2B0CZQW }
{ amount: u447762969, recipient: 'SPK5F6VPGYY8X7F8B1F4XS85884NV0AJ6W13CHGP }
{ amount: u447504824, recipient: 'SP288MJ3DN4P5VFFNNV2TDS08GZC2X3638WF3TB35 }
{ amount: u444637029, recipient: 'SP284FQVBEN5H2S7SQ8CPJWDJYEYTQ4WV278NKKGK }
{ amount: u442000000, recipient: 'SP3JWPDX0DGB9Y4NMDJ3RS6XKSYVF94104NZ6DPR5 }
{ amount: u441413824, recipient: 'SPDRSEJVK2JZMMWCSDDGVZ8BZ98MTNKYRDTGQG95 }
{ amount: u441183367, recipient: 'SP1T8JEBW8J44X2VNYA0EPZY1MVTZ1GB2N6EQXH8P }
{ amount: u440697629, recipient: 'SP2FAMGMZB8FHA0HNK8K6X75VM7XG0AM31N1P0QPN }
{ amount: u440390185, recipient: 'SPH9QDHXXTETWMPXTA2RMRYDKHV5DF2PWEH7TES4 }
{ amount: u438241189, recipient: 'SP10SJDJKEWGJ69QFACPFP43MNR9RPNQFS4WF3D6B }
{ amount: u438207464, recipient: 'SP3DTK0MVYWGE1X97Y8GJAPXEKEFV94GQGF6SCAMQ }
{ amount: u438191825, recipient: 'SP15R755DAS9VZ4BMR5RG0TVMKPEN30X2QE74PMF7 }
{ amount: u438164739, recipient: 'SP3MBZ8M7D6QWMY6D39Y5C6J18VRQ4P2QNJV513P9 }
{ amount: u438160512, recipient: 'SP14Q2ZKEK4Y659TEV667KR3G2ADW67F30H0NMAA1 }
{ amount: u437869341, recipient: 'SP120JMM3V89ZYZ1QDPKR9VA1GSV57T0G3ZF40NW }
{ amount: u436750682, recipient: 'SP3DPRW9Q6SP4ETS2ES0W1J1WFF23KNPYW0Q95914 }
{ amount: u435649525, recipient: 'SP1CEAGDCK8P3VAJPKFSCRRGJF4WRC2XSENRR8N8P }
{ amount: u435364057, recipient: 'SP2W9QYAHJNS7YTQY9EK2MSTQGX9E2NDMV766JP9Z }
{ amount: u434098359, recipient: 'SPQH35WKTXWJBKKY177WPC666HFXBDKSZ6QXEMT5 }
{ amount: u433690465, recipient: 'SPJDCXQ360X8GSQ7VMYT3WD876ZGSPWD60F1FKF3 }
{ amount: u433000141, recipient: 'SM291J5NSND0EFJ8NFM1FX6TTZH0B6MEJDBZY0MPK }
{ amount: u432772527, recipient: 'SPFPY3CCTA987D2W87CKRAJAHW7MGPRJAFGFRF27 }
{ amount: u432027128, recipient: 'SP3YJAMTEHYWQYTVNG8YRK6ADFZPNN0KYZ3MPZ702 }
{ amount: u430339979, recipient: 'SP11RGYTSAP1F5B9NHD5K420GQBZYXX2RQGX2SGGG }
{ amount: u430331904, recipient: 'SPPPAWCDMZPKGFCG1PC1788G9J0AGYHYVMNA3QCB }
{ amount: u429398521, recipient: 'SPNFF27AP5JWJD64HBW62J7T884R3E5G8A4CNHKC }
{ amount: u428650207, recipient: 'SP2NFRCR8XDRSR6KR5G5SR0K5TMXQGRECJBHHW2SC }
{ amount: u428634276, recipient: 'SP385CPQJG5PG160XDFEB92692W2YB6FHAMQHD889 }
{ amount: u428052065, recipient: 'SP2R3CHRAP1HE4M64X1NZXHZT41JG3XGNHJW4HX2W }
{ amount: u427660685, recipient: 'SPZW5VA2G9KWZG1SWSMEJ9QWJ0E4ADAFD3N1S6EP }
{ amount: u425326625, recipient: 'SP21Z4N0CDEH5DR1QGKZK9BJ3H4VS0SMJNK1EDYC8 }
{ amount: u424952456, recipient: 'SP3ECPYV9X7DNGNJ9JK2T79PY9GXH4APPZSNCRBW1 }
{ amount: u424485447, recipient: 'SP25P5EE0GPFB9XZR01JM6PA9RXX6TQ2EPYSY04XE }
{ amount: u424252727, recipient: 'SP3GQAHAGJQAPF3KH0TB3FHFCTBV6M0PCWSXYGJCN }
{ amount: u422429774, recipient: 'SP1RBEQ1DKB6QBNJ32TYPGWMT36EQARYT5CQ2XQ3A }
{ amount: u422313061, recipient: 'SP2RQ2E7CWNWG7D0VRSZ156D3AWM98VYYQW4W0FR6 }
{ amount: u422000000, recipient: 'SP2RCQV7EXVJEGX7WBGNGZZVVMRSBZ5S5YPCWS2AM }
{ amount: u421928464, recipient: 'SPGS5GPDVENT15PW0BHYE60M6DH372JK6C7NMTRY }
{ amount: u421802787, recipient: 'SPDV4C9T6407CXCJ7C580CC71GV9ERGFFZ5K9AR8 }
{ amount: u421798665, recipient: 'SP2CDKC0YC3VCTJY89HQYS20QBX3QC5GDC0P814RQ }
{ amount: u421661207, recipient: 'SP24A4PXBAF6ETNC06EA23NDQVWDM37X4W9G6EMFX }
{ amount: u421475707, recipient: 'SP5DG1JZ635Z93BBHSTCSNXB04D5X5GZ9XXYZ9WG }
{ amount: u421229343, recipient: 'SP2100DHPVSVVC5XT2W079SDE33Q3T03T4ETQAF5W }
{ amount: u421225247, recipient: 'SP1JYY23PASFCWFQMS7APXRYCESY5RDFDNMPQC84C }
{ amount: u421000000, recipient: 'SP1SBDY79ZRB8KGFCS2SMH15S2J84BWY24S6BQ482 }
{ amount: u420000000, recipient: 'SP3NXP5R30V08Y6W8ZFBCPR4DZSPR2HC7G75MCKSY }
{ amount: u418050000, recipient: 'SP6F5T20NHGQCPPKX4888V2HT2A7NCCN4YK67R94 }
{ amount: u417727969, recipient: 'SP18QXRKJZC6J3CABJ4YTNPNYVP5BG3H60QRD59ZW }
{ amount: u417511843, recipient: 'SP2F3NN846SXWM60VZ2KE8EFMERFR1KYJBJZQW32N }
{ amount: u416118610, recipient: 'SPKFJFP5RSP9AG7EEP9QWXT7FT6RK3XFSQRJZW84 }
{ amount: u415798172, recipient: 'SP1F2XAYHRRSDMRFS1C1M5DRZXT42WPZPAABQV86X }
{ amount: u415378852, recipient: 'SP3C6DJKPFS2KKM5AJ1Z7GVBG1RB03EET5WZ8KFC1 }
{ amount: u415237865, recipient: 'SP2HRJ0PA3FXC6ZYQSW4YZ7HZC60DR20ZMQP8P62A }
{ amount: u413995930, recipient: 'SP3ZBTBZGT7Z48EXYQGYJXYMT6JHFC3CH79HBGZ71 }
{ amount: u413793316, recipient: 'SP3W0X7BREYBX8FNE64QDZ85K4H2J9Y7MPPM9TQTR }
{ amount: u412288697, recipient: 'SP1Y59X6GZ8RHVBWSMK4Z8ZX9JV8W77Z2S4Q69XSW }
{ amount: u412126542, recipient: 'SP2GDR3P0FFR6M0J9FH5NHH8PVFAXRSRXTMW0PF3Y }
{ amount: u411469758, recipient: 'SP2E2ECMKEJGZHEH5KKB3XE70QX992RQ87R1PY8P7 }
{ amount: u409739545, recipient: 'SP1H4BDM768BD821AW61XJZB5S6M0S293RGKQFZWC }
{ amount: u408225505, recipient: 'SP2F2K0KWMZRY0ANHEKG822E8A3N527N7DKBVSZFQ }
{ amount: u407958082, recipient: 'SP1GRJG5XNVBRX0WQ70ZH7CYM1TD0N8TQB0QHZ2SE }
{ amount: u407621432, recipient: 'SP31WVG89KK4R4R93EE3VYSEPDQJ8A27EDZHN6SBN }
{ amount: u406701166, recipient: 'SPHSBSB2SYPC12N09ZSPCYD4RN0AC1QP05W7C93T }
{ amount: u406181255, recipient: 'SP39SJC2AZAZKN622VMGFWMYG1PWH6MBQ409YZCQ8 }
{ amount: u405878303, recipient: 'SP1J4NY92WWVXGJN4C4TFHQF266BHZNAKSXGFQ2SN }
{ amount: u405874961, recipient: 'SP1NWFA7T1PCD7AQ8GKWMQRV9Q4SQ6SP89FC5WF9N }
{ amount: u405529164, recipient: 'SP1QB7G1DBGGMG9RKAZ0ZTK7DPNK4NZ53VDXJKE3F }
{ amount: u404457024, recipient: 'SP29FNZ19DT7XN7Y7BRMJGPH5B55FTE4HYXGVTXPM }
{ amount: u403400639, recipient: 'SP22HAPBEXVD0A9MBX9AK2V7TVF4BQWC26PRPVAND }
{ amount: u401643922, recipient: 'SPFEKN10TS34PCSYFSXPCSZPTGJJB2G4ZC2M0SFC }
{ amount: u401252304, recipient: 'SP1449P9T5JP3F71SBYRCA3HKC89VNA7YA8S7ZWW8 }
{ amount: u400937525, recipient: 'SP3SFF1GKJCHMDF8WAQ87HQ56QZ0KAJGM1BYD4N3C }
{ amount: u400469123, recipient: 'SP1G866Y9W4DMYXY3Y0KP6EBDKEZP4PJP69A4BRRH }
{ amount: u400000000, recipient: 'SP1VWZ87JH5QVYB1FZ9274Q597XR1ZAQ99KGCTEFS }
{ amount: u400000000, recipient: 'SP2KWZJ80QFPHD6KGBJF33SWAPN7AZDSANWXPWYMM }
{ amount: u400000000, recipient: 'SP3ZGWHB6QYYS2S9NR9HZJT580V6DZ73YTDWBVSVK }
{ amount: u400000000, recipient: 'SP693TWWXJXVY586MKCJ8V10WAYBT27C5J22KAW9 }
{ amount: u400000000, recipient: 'SP31K8TNAN0BQ6PP5ZFQ3NNVX6AWD9VV26WS5P2VW }
{ amount: u400000000, recipient: 'SP3P23HJCNTEFJ4S7451TE2FYP1TEEKJE306W3YQE }
{ amount: u400000000, recipient: 'SP3MAJHDA2JDH4NHYCGTW7DS3K137VS2KSH87F7T9 }
{ amount: u400000000, recipient: 'SP3T3TZEK6JPJF58KS7KWVPTTZ2RJNZFR08H5EM6W }
{ amount: u400000000, recipient: 'SP1MX66VYDZ5T6N4H3DCA8D7E72720J7320RP5QY }
{ amount: u400000000, recipient: 'SPH26J4NMMKMMS2VNW0RDRWB0BGGZK0VPVKHMXHK }
{ amount: u400000000, recipient: 'SP2E556CEBJGGXT80YFAGXHQMVMCAAE8797ZJ8KR9 }
{ amount: u400000000, recipient: 'SP3FWP7FADYPXF8SAAW2685E48C8AVPF0A569AS37 }
{ amount: u400000000, recipient: 'SPPA7GM95N1ZVTHH1DXKE3B1XFNJFGF7647DP04Z }
{ amount: u400000000, recipient: 'SP1H4DTBE3TZRC21VRDNCB828050CTTDDXTATP5EJ }
{ amount: u400000000, recipient: 'SP3PX333ZT2SR2RSG0TJNWPJYN74QH3PPAXSEJNKA }
{ amount: u400000000, recipient: 'SP24BAV2VYCXR4ZVQ4XFK2PFZ9KMW2NKSDFJN8Q8K }
{ amount: u400000000, recipient: 'SP3VG81TN0ETYP427677N15ZERJ4NNABQ7NTWDAK2 }
{ amount: u400000000, recipient: 'SP389PPJX8YEKE9SHDCZYZ3NRBZTX9WWN6HEN17A3 }
{ amount: u400000000, recipient: 'SP1KYZZ2TQVJYJYZ5HEVACYYND77PTCVJSDQ2QGNA }
{ amount: u400000000, recipient: 'SP2GKRCGHPZT84GYRB5AE2FK7554TRH1ZZ4Z5A1PM }
{ amount: u400000000, recipient: 'SP23ZBEVREP8VY4PYMY3B8Y3PM907A8MGRS1YJCS3 }
{ amount: u400000000, recipient: 'SP2AKG3R60WB5CH5YJE9MX994D3ACNGQT3BRF0Z9 }
{ amount: u400000000, recipient: 'SP3XPM355QCAJJR75A9350YS5443R9MQEYW11VCPM }
{ amount: u400000000, recipient: 'SP135Q114XEYQYSE2H0V4HW8PXMH0AG9W0CXRSV4 }
{ amount: u400000000, recipient: 'SP14EYH7QSB95F7XW059STDQRRF2C66R47AGP45FV }
{ amount: u400000000, recipient: 'SP1N7QFZ3F6Y15VZZYJQ7HXY0TB1HQNYY88SYA7CG }
{ amount: u400000000, recipient: 'SP34F10T8XAFKRYX8CT310DEQR6JZWY4KGPPYJYFP }
{ amount: u400000000, recipient: 'SP3MG5QBWZEJ5C50Y1MRQSMD111BPQBQK90X17JT5 }
{ amount: u400000000, recipient: 'SPTBYDTZS8H812G1T4139C9V9Q4KZE1AEAPC9J7T }
{ amount: u400000000, recipient: 'SP3JJYFMAYSVQ2KK7VDSXHEQ4WY7G23GKPNXGZGXJ }
{ amount: u400000000, recipient: 'SP26CRRM9PF639J3EE5GW9VF7K70CNNFV04NADV1C }
{ amount: u400000000, recipient: 'SP2BX8H70EZXR9188HKCF8APRDEN3228A7XYR9SXT }
{ amount: u400000000, recipient: 'SP3SBKKQGDW6T6GN9EJCGYHJCCCEVRA1B5XGQPWR1 }
{ amount: u400000000, recipient: 'SP23Z8R93YCQBZH44S5H0PJ6315N4Z6CH1QMFPBMF }
{ amount: u400000000, recipient: 'SP1W0NJ46YNFYDE6X35TKRAE0GCGEHEDDZ2TKQYAA }
{ amount: u400000000, recipient: 'SP2H3PB4R41C0Q0FE53VGJDP63A3MQJ1H16S7805A }
{ amount: u400000000, recipient: 'SP1Z5Q3P9BY4X3HRJK5PX3H1MXT65E8QYE6H5W8NF }
{ amount: u400000000, recipient: 'SP11DM3TQ1B7A9S7WSKV57M6SXJHBNHXR9QSBFCRK }
{ amount: u400000000, recipient: 'SP19Z37R67ZK7FQ0MRS4PCTB99BVX7G9TQRYT6JTZ }
{ amount: u400000000, recipient: 'SP1BGB3MPNYH8KJ6DHXXRRQY3XK19EXRA1FKT3P4B }
{ amount: u400000000, recipient: 'SP3E798QFKAAP5PHEKCZYD5AY5HW15AW7R4142V6A }
{ amount: u400000000, recipient: 'SP1SKKY9DQ8QWPWD7XC0YPPSJ0YK1BMKK2SE718VQ }
{ amount: u400000000, recipient: 'SP3HQVC4A570HJ59QNNDYMNR0YTKV9A3RRW7W7E2B }
{ amount: u400000000, recipient: 'SPADD31ZYMCJFWVVA9M0EFEPQYKJ0FYYSZGQFBSZ }
{ amount: u400000000, recipient: 'SP2TFD0ATTGQAFHNFN5J4R11FCB7W5HRHDAXFNV59 }
{ amount: u400000000, recipient: 'SPADNVXQRAHNN2RSBXJZ9HM9N28XZM7R9VQ3KYYC }
{ amount: u400000000, recipient: 'SP2SWWEF5C8XCNW9NJNVS773ZC331X3PGN9TQZD74 }
{ amount: u400000000, recipient: 'SP149YNY9T0KDHZH7MANC81D925ZXKZBYXXX593YP }
{ amount: u400000000, recipient: 'SP1VN6PNGX3M3B3DG91R8QDVSRVJKD2F969M6KPGP }
{ amount: u400000000, recipient: 'SP1WKYQ9MRXWKBD7VZ05TGEMPQT75S14DAG4RZA5M }
{ amount: u400000000, recipient: 'SP164T2HX8GKXM65DWZP3YX8Y0TAE0RB1NGY2X7Q5 }
{ amount: u400000000, recipient: 'SP2WA4Q26REZCNPQB2ZZT3P2GXFHJT3FD5X44QRNB }
{ amount: u400000000, recipient: 'SP24E9WJ2WJ8TK3A33XGG3AC608QPVF1QE28KNT54 }
{ amount: u400000000, recipient: 'SP18SPB61RQP6QH3DX3EQTS0J3ZNECAPDPVCWQT66 }
{ amount: u400000000, recipient: 'SP3NJEXS2QSZBY95FFPNN40FPJT70W9SG6FNXY6QA }
{ amount: u400000000, recipient: 'SP3EXM7W42BEP3PGFJMS7X2XJD9W5810BZ9N097ZC }
{ amount: u400000000, recipient: 'SP2F7DZXGFWM7MSN14DN7EC9Q1N81TTK7Q0CND0RA }
{ amount: u400000000, recipient: 'SP2ZM98KBGETA3EW8PQAEW0SZX3MKK72ZXQB1MYH2 }
{ amount: u400000000, recipient: 'SP1TDKC9KYMTABJH9P1BQZW36XCW38ZBTV5477F0Y }
{ amount: u400000000, recipient: 'SPT87187FVY7CEDNKZBXE8F3YHQFBF6MJ1SGEYJN }
{ amount: u400000000, recipient: 'SP3DDCGKWZXWQR69DEWV80JCCJJ2FC4H7V1RNBARE }
{ amount: u400000000, recipient: 'SPS6T9Z141T1W46Z6SQ8B3EREYASXKRV1PTQQAK6 }
{ amount: u400000000, recipient: 'SP3MXK9W29DZK3MWPG4RME13FR72RER1AANZ8FTFE }
{ amount: u400000000, recipient: 'SP1SR1CY3518HK95J3SVJXJ37RJD1TC8V3K4Z709X }
{ amount: u400000000, recipient: 'SP1WS4AHXZWZ9SSTVTPGNG0NHNFJJ4NR538W5B937 }
{ amount: u400000000, recipient: 'SP221DGP76RHQ36EK573W0HKGDEZYTAQ9H85610BK }
{ amount: u400000000, recipient: 'SP3D5QDZPKQHNMYEDZ3QPJJJF5CXWAFVWBM993HBB }
{ amount: u400000000, recipient: 'SPXX3BGRW1Z52GWP2Q1JZ73RFXNDFXQSCC2MJ0M1 }
{ amount: u400000000, recipient: 'SP3WAA16HB6S6VFVPSMFJ2MH1WKKMP2VRJYFA4CDN }
{ amount: u400000000, recipient: 'SP1QY7NXWJJAH5R8WQ50A8WAKCTSFH7HQPPQNV7D6 }
{ amount: u400000000, recipient: 'SP22C1KQQWVNZ32RFJMRFZMN6G038P64AKJPQKK8C }
{ amount: u400000000, recipient: 'SP2E0MTD0Y2QMEV9ZNHWQZ20MA3BVMSHQMHEZXS1X }
{ amount: u400000000, recipient: 'SP8CBMZTXQ4BJ3B751N4DY3FY7FEQF7W3M93XSRH }
{ amount: u400000000, recipient: 'SPQ2CWBJDSWY90N3G4TKNK8P474CRQBYWR9T1035 }
{ amount: u400000000, recipient: 'SP32H835CDGFSGKRKDGB92B4D3T1NM73PMCKYY7A5 }
{ amount: u400000000, recipient: 'SPXMK2CHX6JRT6FG7PD51053326Z2EQ6Y31JEQE9 }
{ amount: u400000000, recipient: 'SP26YHN76SPRMF4CBNH04W0YEW1BEKKAAZGJGMB5P }
{ amount: u400000000, recipient: 'SP292959JHVZWST7B8M8FESEB9RHWN21X4490Z877 }
{ amount: u400000000, recipient: 'SP3N3W9S7RRY2BVAW6RA63KN9T1RC33TVVF26NE69 }
{ amount: u400000000, recipient: 'SP3NYY02E181ZSEKVYAJCSH0WK9MX09SPSD5VGQ99 }
{ amount: u400000000, recipient: 'SPMJG58HB2SZAN79W2VTMFP3BHSFGPCAG3MKKS3W }
{ amount: u400000000, recipient: 'SP2V2BGKTY99SBBT24K4Q9S1TQ5FWGTNTE7EMRADV }
{ amount: u400000000, recipient: 'SPR4KGNDMYHCBYDXCPNKWZG68P3CZK8C09FEHPPC }
{ amount: u400000000, recipient: 'SP27R2VW4KP8NRBDSF1CJTAE665MF9YY0R1T67R69 }
{ amount: u400000000, recipient: 'SPG5QZR6GR201A9JSJQE20HY47Y1BA02GYMC313E }
{ amount: u400000000, recipient: 'SP2RW0ZJQGAYM61KC47291TKEPYAJCDEV725F58V8 }
{ amount: u400000000, recipient: 'SPPWX1X4KMCPBBT3ADF9VR9H1B4784CMJVJ4W19S }
{ amount: u400000000, recipient: 'SP1F1S8WAT6M5ZZR2NWCSZEEMMF3KW930PQFZ2R02 }
{ amount: u400000000, recipient: 'SP3GQBP4R6K2WH6ZCY5FK4KG39EG3KPW2QR7TB6FC }
{ amount: u400000000, recipient: 'SP3MAB49DSDDKNTGS877FAZKXVFH6REJSQSYP170Z }
{ amount: u400000000, recipient: 'SPPJ99FJX31REGAZDQ2P2HH7DVXKTS1FC9NHS368 }
{ amount: u400000000, recipient: 'SP3FHCKWA6XGBF5SK1X10PT834222PYRTM6H1DBE3 }
{ amount: u400000000, recipient: 'SP372Y3DA0XN9J9Q98RTVZ8SD65BRD8Y2S6P8K6Y7 }
{ amount: u400000000, recipient: 'SP22T5HWMDZMHNKHHGV8MA06ND9N4CW3ME0VCMVKW }
{ amount: u400000000, recipient: 'SPQFQZDF2MDP21DEX7KP4CG2ZX0HNPMC7PG5HEYF }
{ amount: u400000000, recipient: 'SP2D71GNC19XFZ760BZPME5ARCWEYXS0RXPW4AEYA }
{ amount: u400000000, recipient: 'SP2SH0RBAJCF1JMZKX7RGMCARJCE5JGBYFD1BT8YB }
{ amount: u400000000, recipient: 'SP1M4PBH5ZM0D1P01YQG1VY5KWKNE17HP2HQQMAWJ }
{ amount: u400000000, recipient: 'SP29ESDQ63VNAWW9EPX9NWEXDTY14G5P2H4P5VHQZ }
{ amount: u400000000, recipient: 'SP2RS6FW6HKNG1R48T6SPHJGSKHZFTABHQNKH2BBK }
{ amount: u400000000, recipient: 'SP3H16YE1M4CBTHPP1EQCH5JD0Q3A15F3AGKRK3BX }
{ amount: u400000000, recipient: 'SP1YA3YKX9D1MEF2N3KCYH4HJBET69BGCEGVV87Z8 }
{ amount: u400000000, recipient: 'SP2SNAJHQ52N2H0DRT201N27MTY6F06R439WS4RF2 }
{ amount: u400000000, recipient: 'SPZSFSY4FTTVG4X96KN2K9DFAVPK9ZKDP2M1SVWA }
{ amount: u400000000, recipient: 'SP2AY70Q9VSPZHMJCJVQDF9BZG0VC7AEHCFMDQJHH }
{ amount: u400000000, recipient: 'SP1K377YC19RZX2EKAKKT4JQPMV8KK1KYC28SHQC0 }
{ amount: u400000000, recipient: 'SP3DE0YTFW3KT6DEJP01X4X49AQ5P6NWJBG8HJ3KZ }
{ amount: u400000000, recipient: 'SP2E1EHMZK4GR9J4QWH4SAS34N1KM03AHZKEBAZR0 }
{ amount: u400000000, recipient: 'SP2TZTM8J6DK4SV9C98MAT1T85ZBGE41C63BDVVBP } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-61))
(try! (contract-call? .token-special-vote edg-mint-many batch-62))
(try! (contract-call? .token-special-vote edg-mint-many batch-63))
(try! (contract-call? .token-special-vote edg-mint-many batch-64))
(try! (contract-call? .token-special-vote edg-mint-many batch-65))
(ok true)
)
)