(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-71 (list { amount: u247397086, recipient: 'SP32VTJA32WVZZQADFRGVB3ZJA8Q4NV77FYGTPNSX }
{ amount: u246933016, recipient: 'SP2104CM600S8GW8B5DZS8RNYR9ZTH10861QTH8CY }
{ amount: u245927303, recipient: 'SP2PQTMYYTCF04ECWF1BW8RMC0G4S276G4BRJANB1 }
{ amount: u245815861, recipient: 'SP1GNPVK73ABBHTBW96CFR9AHSB26C57T2QT10EC1 }
{ amount: u245410736, recipient: 'SP1GN04YSRGM6MZRP2QKD99N2T4P3JE2F90EZ4MZX }
{ amount: u245295907, recipient: 'SP39XX5W6W445B1QK1FCJYCF8V1GRV3EMCQYS0H1W }
{ amount: u241246783, recipient: 'SP1TT4XB6TQFV0SJHB7X0TCFDV46VA7HRY6P4QSVQ }
{ amount: u241092371, recipient: 'SP3MH995F7GNJGR2YVJ526AEGVWW8KTPEEY5KJAY7 }
{ amount: u241092133, recipient: 'SP3ZRDT0P4ZA618SX975WA7Q6J3SE6BNC6DCV01Q9 }
{ amount: u241021925, recipient: 'SPE57NHFJ25V931VPY5F6V41BAGHY66TG1MH7A4K }
{ amount: u240720256, recipient: 'SP21ZT3WXZ9118786X6899E001AZ671E8QHNRA99W }
{ amount: u240395571, recipient: 'SP1Z85PYZP8077GN0PEAZ1GEPS28EY4M08A8TY4G4 }
{ amount: u239226109, recipient: 'SP1F5VZSNY75J4V0KJVSS0JSY2GGG6SDP2DCAF13H }
{ amount: u239217328, recipient: 'SP176APK6S50KXBFFXXEBP5C4JRCS7V7FRPEA2NW4 }
{ amount: u238215811, recipient: 'SPDCS4923SFTC4VB8YN8G5QCMGH9WSDVJZW7AX7K }
{ amount: u235896764, recipient: 'SP1ETKTCFG84PJYV5F8ED3X1EGNXFXKSEGJFD2D6J }
{ amount: u235642629, recipient: 'SP3WHBHC4S8D4CXDQANTH6K0FQGVA4BSGD9PZV3RA }
{ amount: u235394374, recipient: 'SP9R2XZWT156NN77BSDM9XE7ADYKFYE938B3EYZF }
{ amount: u234797109, recipient: 'SP611WRAE0Q8KV0ESJH812R1SJBQ30WFCQGT706G }
{ amount: u234100920, recipient: 'SP219TPVF8FNYR8SZGPB9918F8FAFM8FF4CFN6EAX }
{ amount: u234052179, recipient: 'SP27SBY7M6XKDRRK5RYRMS4G6C508M8X2Q9YFXA86 }
{ amount: u234036306, recipient: 'SP38SX99Q49FCZ7XRN8P4JDEV270W122JHACT0J36 }
{ amount: u234036038, recipient: 'SPCVYVVCW4M2MMGM1DN78M40RM10CEKR9ZYXRD4D }
{ amount: u234035919, recipient: 'SP7FPFSWRRMRPXHCN3MJ77YRJ39SHN4AYG1MHEGR }
{ amount: u234035814, recipient: 'SPN3M4XMK0H5CZPWBV1V9H81KJ748WJDDGQEBBTE }
{ amount: u233949410, recipient: 'SP1BDQATCVKCRVGZPZ0YV5KSH1N6ZYZ4PHWTBR6WJ }
{ amount: u233786286, recipient: 'SPCQX4H1B2H0TR600TRJ1GGPCVV5S70DP4NYFTEQ }
{ amount: u233484777, recipient: 'SP3AWYBE02FMRHBVKRCWRJ0MW3SJS8WT2B5G45Y19 }
{ amount: u233223348, recipient: 'SP39WTVA66VXXYRWA747Z6BZ25DYY4C3T3QCAP2EK }
{ amount: u231428281, recipient: 'SP242WZDSRHYE0839DSNSEDCC86TD3190B2QB7FP5 }
{ amount: u231405596, recipient: 'SP2J9HAJ7WH62HCAPABMEHHJSM0XFMYVG5YAP9078 }
{ amount: u231000000, recipient: 'SP35DWTME0E08BB4674MZWT6ZNTPDJ5XZNT0JQAZ8 }
{ amount: u230967516, recipient: 'SP3TJD881SH6RSPTEEG5Z2MJZ8VAWWJ0GNJ5R7X8Z }
{ amount: u230729286, recipient: 'SPRW9TX8XV1N0ZVC3VZ0YBSWCJ911BV5TDX7Z1E8 }
{ amount: u229066617, recipient: 'SP11PCPY417KZPSYVG0P98XAPAKH5C68VPP0SV61B }
{ amount: u228667439, recipient: 'SP3HH362D85VFQZQW242XJBD4NVWKNP0TF678RSNB }
{ amount: u228667418, recipient: 'SP3ZZ0MR8C26QWXE92NK0MR52KHMBZE3KHANX3E1G }
{ amount: u228234000, recipient: 'SP34Q6V7FT9DT4MJJQRE0Y3696CT3PXQJTY8S9EZA }
{ amount: u228152053, recipient: 'SP11CJX3NEVEE6RZD1M6V06A6Q20B553RJECZY6Q2 }
{ amount: u228152033, recipient: 'SP1R3516EDV2QB10HQX6ACKYGYP7A4BQ77M0CVKZB }
{ amount: u228151945, recipient: 'SPZQCNS2PDJ0GNR9NJ043VT1NN6JSZMFF3FRXG63 }
{ amount: u227098163, recipient: 'SPKG2ETZQ3Q7X24NJ7EJREKDE6T7R784TQGVK4R6 }
{ amount: u226722520, recipient: 'SPMH5GE9MHX0JQKPG4JZHK8KQA5X245CGGMRCCCA }
{ amount: u226636330, recipient: 'SP3Z7511VWR5WG9J3MAKER3NRZYKWT83K2XTP36EV }
{ amount: u226613962, recipient: 'SP14S9DNTQWFERQ2VHCY4E7ENSMQFCMJ60NAB2GMV }
{ amount: u226058010, recipient: 'SP1QH5WC5X8V925FQPZTKQ5RPQHN1RFMW04724Y1N }
{ amount: u224860540, recipient: 'SPAMVB55P5D1JE1STX5MYE99XPAXJV2R5MSZNVHQ }
{ amount: u224547763, recipient: 'SP14JZXHA5ZPEG32K0GJ2A2DJPAKQQKCNQ0K1B4S4 }
{ amount: u223581505, recipient: 'SPE5VK5HE0ANTK8EABQB760S2V253KRVW78T9Q1V }
{ amount: u223572281, recipient: 'SM2CXEGQ21MG4BPC7JZRMFND61WNJ50ES3ZCNRZKP }
{ amount: u222549619, recipient: 'SP2DQMBHQVVF0KNDG837H7BT47WDEDH9HQRQ740SS }
{ amount: u221160745, recipient: 'SP2J9Q760RSTJ1NXKD0KZ5DM8WRQS6Z4VWN82AK85 }
{ amount: u219513974, recipient: 'SP33RQ6VKRSMC7KSDP2AS38XHCYPDX9T5K1WKHQ12 }
{ amount: u219174859, recipient: 'SP30KEC9GD72QK8TM4BBTT044283Q9P5RQ7T254JT }
{ amount: u217468032, recipient: 'SP2SVNZ31ED94NSJHPSS1VH06JFJ4SQZX9VRTZDKH }
{ amount: u216036831, recipient: 'SP2W0KA9EXH9GB7WNAXQPA3J17QH0VMHX6NXSHAVB }
{ amount: u215969870, recipient: 'SPQBE1278M5QXMQV9BR9BN79B215F78D2926D853 }
{ amount: u215952978, recipient: 'SP1V7EZBFXNHQQG18WYKAF251MEVX0BSN9KTXQV0J }
{ amount: u215461367, recipient: 'SP1EG6P32F688TVYK4A9BNZKRM1QXBGQD03QBWE1A }
{ amount: u215207245, recipient: 'SP3VWZ73BVGCY503QB71AGN27Y8DQRDXBM56BHHZE }
{ amount: u215065094, recipient: 'SP2Q1CQJ0PPZXBC8G8BM5ETWR4DPYE39H1BWZKFYR }
{ amount: u214586514, recipient: 'SP6TZQTVN0Q8YYX08NGQHQ55KM909PPNC3ZSPKE4 }
{ amount: u214510059, recipient: 'SP1BBDC820CA42RPZKFXT960GYDFE6A8G4BHJZ25E }
{ amount: u214496105, recipient: 'SP3THQFW5Y7N19HND4KAAYQBK988AYEX7HAYEX516 }
{ amount: u214317137, recipient: 'SP20DXBMNXV0ZEZXCTEN8YNPJGWRZTYR5SBZRA5MT }
{ amount: u214317137, recipient: 'SP1D9ZA5NKNPYFD4HRBQK2HEH40V2Q7TQ85ZP7H25 }
{ amount: u214161586, recipient: 'SP126BNYE5B1MCWGY0R8SFQBJ0PFFY5CPSZGXCWDG }
{ amount: u214155606, recipient: 'SP2M0DAEXJRYGZC95V24F3GEY6Q5Z84XSTZ95PV6S }
{ amount: u214152895, recipient: 'SPXC4R7G3D0M6CQM18BR583FDC3FR542XFG5969Q }
{ amount: u214152895, recipient: 'SP3WH38XDP9Z8KHDTJH9867X99T8XAC7BCHWY4GFD }
{ amount: u214103025, recipient: 'SP38BW5W1SG5FBRGVZ4E5NQ9B62HQBQ9RSKFPAJHD }
{ amount: u213990468, recipient: 'SP37QBJPHEZBM0V5KJ0NPWA8S9J1XMCKN8XPZGS18 }
{ amount: u213990468, recipient: 'SPCN1HCSPBHP93PQKVJR0PXTQ5H5PZ4VSV9GGWPQ }
{ amount: u213990468, recipient: 'SPFKVTKF9P12Z9GSGQWQ6G2F1XNAG1GKCFEFWWHV }
{ amount: u213830343, recipient: 'SPS0WQAKRVSZHJHD0X4GTTDEPQCF8545ZQSD71VX }
{ amount: u213830343, recipient: 'SP17FFHA3J1D1TZMT28CCCZ58N83VQMEGT5VCTJHA }
{ amount: u213737799, recipient: 'SP1X05Y62TCRP7ZNXCJ42MH2KV6HMDDHFAJN8HQXB }
{ amount: u211540652, recipient: 'SP1C3AKNY08JHMPCT1SEB430ECV8SC4DB5SCRK9BS }
{ amount: u211329479, recipient: 'SP2F3Y61VTK36FZGEZ20HE47BSXC454RRP6PWJBH7 }
{ amount: u211156995, recipient: 'SP3XPRGMSNH8PFKK8VYT5X2Z98R5D0NSYGZMKXEWP }
{ amount: u211156975, recipient: 'SP2B2VV4Q03JCM42A5CQ7A221CK689N8VMZZ3F9SM }
{ amount: u211156956, recipient: 'SP3H0XX8ZZEQYRDR1NRX1MDWPPCC2H16Q2MSE9TBM }
{ amount: u211156936, recipient: 'SP2H67KPZHDDY93GDN5J4XEGHRT9EPEQ4Y6FPC8Y5 }
{ amount: u211156896, recipient: 'SP2G0Q0C0Q88BRMGRWPMQB4WS94EQ8DQ14DVCKBNE }
{ amount: u211156877, recipient: 'SP127GPB72915WY33CKCKVPDFFA730SM02DJV6KQN }
{ amount: u211156857, recipient: 'SPVD9BAH500RM63F74DWVJAZ1A7AQH6ZCQXZ8NFZ }
{ amount: u211156837, recipient: 'SP2XGMJQ8QJGGH655VM11QRAT4BWTE0PZRKA1ND1M }
{ amount: u211156817, recipient: 'SP3NMWWBMERMN3RGAYPS9BD35Z2ETAV18XGNM1YN8 }
{ amount: u211156797, recipient: 'SP19N1Y67C8A0Z868CYJMPXHYR462972JGJFGVWY8 }
{ amount: u211156778, recipient: 'SPNCXXF3WRZBSYQR5DNRMEFS8XF1WC5589ZE4NS1 }
{ amount: u211156758, recipient: 'SP2B61TC74BTF6SP4K0WM3SJBDQQB7AK9QBDDEAV9 }
{ amount: u211156738, recipient: 'SP2BQ1DGR4A9HXFQCM9F733WMJB1YNMAH6CT20WNZ }
{ amount: u211156718, recipient: 'SP181MJ4BCCY32QD0ZRCS92SMWXBPFGFPFN3TS8MH }
{ amount: u211156698, recipient: 'SP73AZRPQ1YM9HQWSK0DGD5BWKZR48CJ7SMKQH40 }
{ amount: u211156679, recipient: 'SP3YWPNA7Z6E296M4CRHEAA1GA9JTFSWHN36AFCEB }
{ amount: u211156659, recipient: 'SP2MAAD5GR8F39RKEQ6NR7472EKWPW837JHT6BCKG }
{ amount: u211156639, recipient: 'SP1P88MBWH64A1SNVD2XCZNM320G7RK92C2E4X8K0 }
{ amount: u211156620, recipient: 'SP3AW714QYZNSAAPWT8P1QGB5BG6R08G79T8DJPPS }
{ amount: u211156600, recipient: 'SP4VYJPM0FVK809S2R2PADD2HS88XYZWPFN21XN2 }
{ amount: u211156580, recipient: 'SP37VMPHQZZANWKDFJD1F2WJCCWBD61V0WC3XSP10 }
{ amount: u211156560, recipient: 'SP1H8ZDH46XCDAMY2BV0XGWVX6H0SYAMM89PC347G }
{ amount: u210991502, recipient: 'SP12VCCGEY7E2BEXHZNWBP1010PBAJDR9HRSXJQHB }
{ amount: u210797967, recipient: 'SP33JXASZ3E0EZ6NM4D39DC9XF4M9P2H5BC4H5T85 }
{ amount: u210797947, recipient: 'SP9CNQ0WK9K8WS0R6RV9XJGTNRAWRFBN6S9TKQ6Q }
{ amount: u210797928, recipient: 'SP3MK75Z5AC30G28FBM19QYZ52EF2115WXNQY2BJK }
{ amount: u210629132, recipient: 'SP2Z6QJRRK71W3M3CRAFYBM5VWD0NRVW9BA2JNXWD }
{ amount: u209599370, recipient: 'SPFQSQ5QR2YZTFH6T3CRHQHHMW81BE32NBVX1BQM }
{ amount: u208992517, recipient: 'SPH25773JJYHYVEHW6KKWCMGNZKKWTCGW1VPZ35X }
{ amount: u208950951, recipient: 'SPNM4D3YTY76Y4YSGCZWJQ3RGT0KY6FR3ERCV8X }
{ amount: u208340931, recipient: 'SP3S09SJ9SX505WY07VBMEPZDQQ6QY2ZKXWGHYNA9 }
{ amount: u208067454, recipient: 'SP1MKW2F1YHW05MQTC2BNMSJDAE2H7C2CXZVKG40A }
{ amount: u208000000, recipient: 'SP9VVA4X3JMXP3SHBX1N3AEN7846XM921SKF6JRE }
{ amount: u207158569, recipient: 'SPMHCPQ8A6KK3KJ9TZ9BS225826CGM33EEJWPP15 }
{ amount: u207158569, recipient: 'SP3K7M0B31P7TEPEBJNK5B1C01MY0MFS844ZFTCCZ }
{ amount: u207158569, recipient: 'SP181BT8T6JFDGR9JH3KCPH25CK850J6E2NPGSY4T }
{ amount: u207158569, recipient: 'SPSDQVV1CD2QY3RSY6RM9HRF26Q2TT2G4MZWEN6T }
{ amount: u207158569, recipient: 'SPXMK4TJCMJTH8R6D9S0HCEG9VVFVANRHTZCNKB }
{ amount: u207151164, recipient: 'SP2BM6AQSMQ04CX8KDE62QBFVZTDZ2ZX80GZJSBZ4 }
{ amount: u207083735, recipient: 'SP27HYSDWRCYABMMF1A4Z6041PMT499S0XFXRKGQF }
{ amount: u206925983, recipient: 'SP11ENJ9JAD3XG1CHG0R9ATZWSTYB7ZB8A8KAR6JF }
{ amount: u206774348, recipient: 'SP3J7HD9ZT4TP3KHHTYMCJ7ASNJ7YEZ5BWK9NK498 }
{ amount: u206364589, recipient: 'SPHKWR1C6N84SAW40TC9389D9EYDVW7RT1NBCBBW }
{ amount: u205443546, recipient: 'SP1SGNR4H5SRXW8AQV8NT8K2QH3F08JMAYAB23B0C }
{ amount: u205249536, recipient: 'SP20YXBV8ZKYPFPGHP4QC3MNPKM7W8DMAHTW0Y3JW }
{ amount: u204802752, recipient: 'SP2FMY1A1CZKYEPJ2MTV7VXTA75XN8TRQG6348ECQ }
{ amount: u204402557, recipient: 'SPZ08P4G5JD6EMKHJ73PANE34T3J8GFMRDKG5CEM }
{ amount: u204205626, recipient: 'SP17FK835NDBHJNMWQ4KPY5BGG62KPN2M5JWQGG20 }
{ amount: u204167428, recipient: 'SP16CB8VZD7RZEFXVZH22Y9ZY2S24TQQF0A5P7YJX }
{ amount: u203000000, recipient: 'SP1M4SF1MF5H8JXSZD9GVVF7PGAPTFZS9M0X7HSWK }
{ amount: u202442634, recipient: 'SP2DRNB8JNG3F03YVB3AK6TGAX4NEMCS8D4E464DZ }
{ amount: u202062585, recipient: 'SP3M96TQDTS0V6MZ8X4QJK9M3MVQ781D23ZPG7KZB }
{ amount: u201978916, recipient: 'SP35GN8KN63CB87DGPF7T1C6P07RHNTFCC1T4TWCV }
{ amount: u201827897, recipient: 'SP1RCAZRSGZFTQNW95Y3WW21NRJB7ECD548G4J1Y8 }
{ amount: u201300000, recipient: 'SP21VAJ17RXXZFK2J97P11NDT93KHCE0GH35RK7JP }
{ amount: u200412085, recipient: 'SP2B0ZFCA7H93SPPQQBX6856HC16BTW0Y2N832PTZ }
{ amount: u200096346, recipient: 'SP8SS4P16871W2XWV2D7QHRAP3YBHKRCRRQ33H1X }
{ amount: u200026572, recipient: 'SPPM1WWFC3Q66ZVKPSEYZ6M7KQM9KAZ7DYXQJA77 }
{ amount: u200007466, recipient: 'SP1FDSXWF64C9DNP6MBEQ9KPDW1MP2TJ48M9Q3CZF }
{ amount: u200000300, recipient: 'SP35NCEF82H2ZHWPMDP2CN5W0Z7WM1882BS9YS9SB }
{ amount: u200000000, recipient: 'SP1BN5P2E6PX873Q85BAWS0PYH5WFXM4RKFWN0FBX }
{ amount: u200000000, recipient: 'SP2VTVAWK0B1CMAVG7SEATAHWMQ1X8K3CZY51AK5D }
{ amount: u200000000, recipient: 'SPXESSVMDEKYTHSRHGK7YXM3PVJ8K7FFTQVNPA0W }
{ amount: u200000000, recipient: 'SPR14Q9JQFMRCVJTA8MTYHXQXGHVE55779T9128A }
{ amount: u200000000, recipient: 'SP3JNFS6B4YGCPSM8H785XK00T51S56XV3095S1F1 }
{ amount: u200000000, recipient: 'SP70Q02Y25YNQ15NYSPK5TV72X8BKQ6JAX4E72PK }
{ amount: u200000000, recipient: 'SP2K68GCN8KAJT9G9RD199ZK57J7VEYAAVXRTNT1P }
{ amount: u200000000, recipient: 'SP3FFNR15JNVJ6DMT12XMK88MR9JFCVB44ZDF025C }
{ amount: u200000000, recipient: 'SP3HX2V46STM42GPHFS8QZD26Q8926KACR3Y2TASD }
{ amount: u200000000, recipient: 'SP1QTN8G9BG6AVBMC5G3F7Y1BGF1NTHYPE3XBKY1Z }
{ amount: u200000000, recipient: 'SP3QVA5QS3QT5V9H9AEA5RTCQ8VSYCQ00GS0EBJFP }
{ amount: u200000000, recipient: 'SP1FGM3P2BGJ7WNXS6610EYEVD93PT135KBF23CQC }
{ amount: u200000000, recipient: 'SPBTHEEBXWX544YHPCD9BZAFJ9F0PGNDREZXYTX9 }
{ amount: u200000000, recipient: 'SP19PE2V31SYHZR8V13C72SP9QZ7B2HEYA3HNCS4J }
{ amount: u200000000, recipient: 'SP35XVARK7H1E72NQAJZNKJZX05J1ECK0XSP4SJPA }
{ amount: u200000000, recipient: 'SP1BYGVEYCB7N8GRXKZBR7KX8NZAWQJEM5ADZ26RA }
{ amount: u200000000, recipient: 'SP1N5NE5P6M5VWATB460HH5JBZ0ZJXMY839HBREQP }
{ amount: u200000000, recipient: 'SP3641CZ7HBX5XT1MB4N0GQ4CX44XE894MXKWKRWP }
{ amount: u200000000, recipient: 'SP2TCSDXHN6ZMQ45MSPMQ1YF8208CHT2E9B0F63K9 }
{ amount: u200000000, recipient: 'SP1FS4B47E0KEE28R0DAGZASXMYKW3XMSA43BBKV6 }
{ amount: u200000000, recipient: 'SP26HPZ3G5AHV5DAKR7CR2A7N48ZFKT6ZJJE1D5FE }
{ amount: u200000000, recipient: 'SPB9RAR7EB7VK7P43MZX7WBN6K77MP7MQTA7G9HP }
{ amount: u200000000, recipient: 'SP16ESQEPX7Z934NHTHKDTHET847XF9XFNEJ8DYB5 }
{ amount: u200000000, recipient: 'SP2W3ANVTVRXQQDMTSKQ30W0VYFCKTC8HWES4W0RH }
{ amount: u200000000, recipient: 'SPG67SQBE9MFCDGHM4667NGYV67BBVY5Q24BZJ4Z }
{ amount: u200000000, recipient: 'SP1QPXW67A1ZS833985YK39KE3M7Y4K53ADPHJJV6 }
{ amount: u200000000, recipient: 'SP20XBFE8NCV91DM2RGBGZSME2V06ADX748SGDAF7 }
{ amount: u200000000, recipient: 'SP1A84S4SBJDVCWPJYSNJ709Z2BDQDT2CGF4CSBRS }
{ amount: u200000000, recipient: 'SP32ET1RTV2PM1M7VZXN1THFEYDQABHNGH0QCJH8Z }
{ amount: u200000000, recipient: 'SPQAJDTQ8Y7J2Z67SVHAMYN4WX1QMZZ7YTE6WYJ7 }
{ amount: u200000000, recipient: 'SP2QF6JS3328V0V04WVXSNPEH3A5362RJ8X6FED83 }
{ amount: u200000000, recipient: 'SP3HZCKGPTPMAA2DCRQPSGDCHBKR3BY40KN233YW7 }
{ amount: u200000000, recipient: 'SP2999P64RF97DK0SZ8XYV3332QMH5MN4PE21N0M6 }
{ amount: u200000000, recipient: 'SP35FZV10V77F04X1HJ0Q30FC253SBXXQTYXC3RJM }
{ amount: u199000000, recipient: 'SP2DNDR8PAC9HJ6RKB645BEKZF8X0TZ5H06YQHPHA }
{ amount: u198484517, recipient: 'SP17CRHA8AQH4ERTSK2DBGH1P55H8TH4PWHAMFNG1 }
{ amount: u198454996, recipient: 'SP184TV3EQE88ZA2W8EXY0NHS2A42V50ZAFC6Z90F }
{ amount: u197731794, recipient: 'SP23B0XMZSJW3EX5TSPZZ7D6X9EPT3CA7K2TZFSPB }
{ amount: u197569693, recipient: 'SP2E7VX194J33W0GK836CEMRFB7YSAF0MXEV0TSYD }
{ amount: u195340742, recipient: 'SP3GGX5ETTQJA4VZ64ZZSTWCM2TNFBPNM10TP7C6B }
{ amount: u195313014, recipient: 'SP2XMMWCQY902QE55CBG6N9DYN072WP1R7QT4DAE3 }
{ amount: u194000000, recipient: 'SP24FWHX3AJRXWK1YRNN92R0S7FFEST2M2CDQYB90 }
{ amount: u192794186, recipient: 'SP3ZGS28NM5P2CDCVF4MD11TSV9NKEW5EM13D8KRC }
{ amount: u190387552, recipient: 'SP3X2HMJ00RSXAC5R7X4DBNT4D5MWPYKFRPAXP4AS }
{ amount: u190000000, recipient: 'SM2J6CDNQJ95GMWMA1S6WYWV72TMBDD6A1NH56RKB }
{ amount: u189707044, recipient: 'SP1HY0N1KDDFBS994Q6YADJ4N5J0RV7TWKM7XZKGJ }
{ amount: u188783519, recipient: 'SP3KHD67DCXV8X4KV4AGVBXB3ESEEJ7TME9S9825K }
{ amount: u187657057, recipient: 'SP2DT97DEWF560GVBKTDYH8Z2VPBTEHGK7ZKEK9DC }
{ amount: u187000900, recipient: 'SPD0FSWB5C8KXWN5DVYP5KRS5ZNZ9FKQQEFH77DX }
{ amount: u186320834, recipient: 'SP3WHSAYC4A5GAS5HTYAS6A9Y8TGHG21GXXV2NY5Y }
{ amount: u185293700, recipient: 'SP2TRB7QT4FKYWQDWDCM4BYWY86PWFD7NRC3VP166 }
{ amount: u184189071, recipient: 'SP2NJSSAX6Z3KX69A7JSATQ4GBJSBXX3JXS0N3HTZ }
{ amount: u183009486, recipient: 'SP2JT7KC3HXZR10CBSHJTHKN5Q15MNY6G6NMS1FA6 }
{ amount: u183000000, recipient: 'SP199FJAC7ZNNKEVEZXKARRB7P7G7W9F9MEGZJD3B }
{ amount: u182401747, recipient: 'SP2MGAZRCSY45VP4H1XCPAMJJE4YA44TV9CGDGWXV }
{ amount: u181147379, recipient: 'SP35YFX1541A2BJ9TS2CY1HM3Y41V4WQJW8P9Q546 }
{ amount: u180659362, recipient: 'SPJSPEPD6D8R8W2CKHC4XNSM1EM0GEGBS53CWVD3 }
{ amount: u180621442, recipient: 'SP25KA1RNTEA1YDWWPTMZH2DRYC0SHRR7Z9ZA29QT }
{ amount: u180199175, recipient: 'SP39SSW2QDW1V61PT4MM960BFF7GHTVY4SH5R2XH0 }
{ amount: u180000000, recipient: 'SP2QRYJNF1J21XT0KB5MYF50V0Y8VQ3M0V08R3D4W }
{ amount: u179025298, recipient: 'SM2KEKY51T5R9T9YFNKHP2WKA4V82P95SJYNYHTB6 } ))
(define-constant batch-72 (list { amount: u178051057, recipient: 'SPMGKSX7RXS9ME5TPXSK8ZMFWES0APE4W5SWKRAA }
{ amount: u177979444, recipient: 'SPNZAG5EFCKQS61DT5ZMQE047TZ62E2J3NJ4E1NH }
{ amount: u177850203, recipient: 'SP3H5ATX1XQ77G82H5HBBRWEKKGWQ794VC6JZNHCZ }
{ amount: u176591447, recipient: 'SP12MYD9SEKN9ZS93480QKT86YHQ49D4Y70JWTJ7R }
{ amount: u176488346, recipient: 'SP1H4YTJQWQXS83CY8GBH6VFQYVN3H906HAGQVXP1 }
{ amount: u176000000, recipient: 'SP2GWEEGDF0GTJF8RKNXEVWSYTSNG0A8AM0MF0V3P }
{ amount: u176000000, recipient: 'SP2Y79GJ21BRV70953XKYCXWCE9YWZ14DSQ8314FB }
{ amount: u174104317, recipient: 'SPSMMW7G0GQXFYASJT1BB0WQDYCP8NHDBBCBBQPQ }
{ amount: u173716476, recipient: 'SPH8X54K9V90AFS2TQN2GQWWZ43S67MYWE8YT4B6 }
{ amount: u173647692, recipient: 'SP26M2WRP0F96AS5BPVVXGVHSC1A4648Q2BFM2TJW }
{ amount: u173554000, recipient: 'SP3T051GY4M4Y8D8KFA3V72T67D9T11HNW8DAQ0H1 }
{ amount: u173158788, recipient: 'SP2TBESJ1PBNCJ8HMS36SE658G8RKW6KXREQ0DXQT }
{ amount: u172948939, recipient: 'SPFYCW64HTSKS1MRZDWQ4KMXHRQGWMEK4894ZWWP }
{ amount: u172888850, recipient: 'SP34GE35HK58Z1KV4FSEGJ8TP2MB34SYR3DDTHWQZ }
{ amount: u172875172, recipient: 'SP3B90BGNW98P6H74TD2419WENJBBCTZNZ11FKNSP }
{ amount: u172775921, recipient: 'SP3JFZ34C5AV9EYM8BMTGE2YBCT1E2ZF4GB3KM4MX }
{ amount: u171777233, recipient: 'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N }
{ amount: u171369529, recipient: 'SP30A5QYGBG69PQT7Y2CVW9SAX3VTWA3QY5DST080 }
{ amount: u170974585, recipient: 'SP3VGW166SS86J7BBQ0RNC1M6HPW4SSX7D0N8KANX }
{ amount: u170780927, recipient: 'SP346PZP55YDAVXRFN88DH9FHWPG3CHZTNYVHK1JF }
{ amount: u169881445, recipient: 'SP2YQ5CC54JBW2GRTXT1A4KEPBGBPMDJT5RCNYK6A }
{ amount: u169422784, recipient: 'SP2SHRR3XGX570J2BHVVVP31XHA48BRSN8RKQKATF }
{ amount: u169242924, recipient: 'SP22MK07QXAV1HV168SGYHQYP6YWBNEFTG71852YG }
{ amount: u168542209, recipient: 'SP3G3S67B9ZC3GHEZ58BVTVQBEDH54QJJRPAXYC52 }
{ amount: u167545444, recipient: 'SPZNDFVQHVWH9C4PAV3Z9W52RPADDSEJ9R1PX4BT }
{ amount: u166928944, recipient: 'SP39YPTAD6FRVZSCK42DKDNAE6HY76CCXW1V50Z78 }
{ amount: u166819671, recipient: 'SP3F1NBAHS4MYC4RPHKXM31FZNXCHK2VC94APWKD5 }
{ amount: u166292754, recipient: 'SP24DCYN42YBH8M893BSP0VMNKBX5PJBGZFDWBD0B }
{ amount: u165287538, recipient: 'SP2PTWNN2M2XTZF7CA89J7JEN0WGFQ3SXE4CHEGMX }
{ amount: u165220448, recipient: 'SP313FW47A0XR7HCBFQ0ZZHS47Q265AEBMPK1GD4N }
{ amount: u165000000, recipient: 'SP3AZ60CMJVFZFYE33TB4QHE4X17S1VE1MW4TQWB0 }
{ amount: u164867615, recipient: 'SP1Q296HPPSYN6XMG6RXWBS6F6GRXSWWHSNKXTNDB }
{ amount: u164027848, recipient: 'SP2BQRNXZ9JBP5X82MKSP5QAT9WQH8SQ1811FN705 }
{ amount: u162966464, recipient: 'SP3RF2FC5C2XDB1G6265P5DWK09XYV4VKCWMX32S2 }
{ amount: u162809042, recipient: 'SP3TN8N9NTBD9EJW42R4G75N4GNB51XW2BY9YF2DG }
{ amount: u162775169, recipient: 'SP14XZRA4HZKK2WRYJYRX97P1CTZ69D3HZ87N4WSP }
{ amount: u162253031, recipient: 'SP1ZCJBKFBD2MGSBSVE6XZDS3M7AQG4P0EZE3RAAZ }
{ amount: u162097179, recipient: 'SP2C1P7NBNZ9Y4FX9R22VWGA1D5HVKC99CNK9N5M7 }
{ amount: u161674293, recipient: 'SP1R0X4XT4B3731JYXM52BZ7HSYHNREFCGY12W9N0 }
{ amount: u161606271, recipient: 'SPDMS03WC4Q669M49SHHEAF62RNZK2ER8NCCJY6M }
{ amount: u161320519, recipient: 'SP35HVQJBPC0EFDK5MK2GVQAQX0199DPQBP90Z0C9 }
{ amount: u161243591, recipient: 'SP3SGMDFG3TSR97M62SAG8YBR2BNFBVG6EA7KQBKM }
{ amount: u161203578, recipient: 'SP3QKAQS3J0YS3ZAZPSZM5ZSZZRYRYV72N6A9ZPZT }
{ amount: u161000000, recipient: 'SPE9GNZWWYRJ3ZM2TMXSKYEPDP9MQ8QMZVX89BHD }
{ amount: u160878085, recipient: 'SP1YJWB0BJ5Y4AV5D7B4EA4K4GVYDAVSNMVA3RBN5 }
{ amount: u160614672, recipient: 'SP2WZ81H1KFYPDZ1VH6VCPAB5RJPPPVPCFMGH4Q8P }
{ amount: u160257779, recipient: 'SP1GJM3TCJ88NFFF0M36A7N617PVZV88XE6E0P81Y }
{ amount: u160063445, recipient: 'SPWSQHWT9498D5BYXZR6JEQK9F2BRPTC377GPWJ1 }
{ amount: u159849327, recipient: 'SP2MPTCVRBCDHTJCQSYB51K3HFPA9S784XJS158MP }
{ amount: u159133784, recipient: 'SP1VMQN8WFRCD3XBR24R4BJN566PEF1HMH1F2CSB4 }
{ amount: u157966752, recipient: 'SP1M61F5K5JM5JNW3B5CG8E5KHF2RKZZRKHVEQP7T }
{ amount: u157872709, recipient: 'SP2ASW42VTDDFDCVC74XHVNTKY9JDXYPWRM8ZEMC7 }
{ amount: u157590102, recipient: 'SP2VBD4MN0WFBASGFCYP2QB3XGABFD64ZRBNW85AK }
{ amount: u157584758, recipient: 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E }
{ amount: u156491580, recipient: 'SP31690V74NSKPP1TDEPK4VE0Q72TCQWS1AH2CE41 }
{ amount: u156238365, recipient: 'SP1JNCVSG5MA4NW908PKR4DSSGCQFVQV64212APZG }
{ amount: u156127132, recipient: 'SP203W29PCNB40P1X06CN37ZRWXZVXG55MQFCYQDY }
{ amount: u155502809, recipient: 'SP2CBAFPVQH6GXYKZ749CN4CK6VP6NQNGX953JH4Z }
{ amount: u155369270, recipient: 'SPS33RR0R0R28N4V42AKRAFE2VWM4C3XFB283DJ7 }
{ amount: u154792063, recipient: 'SP28JP1FEVX7G3YFDJ59GKKQTZEVQQ49YDM0FDFK4 }
{ amount: u154582975, recipient: 'SP3VFRR6NRVQ9CE61TMNRD8BTR3F7AB9MH2KHA05 }
{ amount: u153711102, recipient: 'SP2CTWGSZVDR4H878D5RRRD6186FFJ2CWK9XWY7RD }
{ amount: u153202442, recipient: 'SP2FQ9RB2EVMJW7T8S5X1XVGS4F774S594E3D52WH }
{ amount: u152474858, recipient: 'SPYXRTPK9XVMME9Q5F1255N84NNRVZJZ5B9CCT7Z }
{ amount: u152384528, recipient: 'SP32GAZVVWHE930BQ3NMHEFJAG1X9C46W013B724B }
{ amount: u151389795, recipient: 'SP3X7Z9X82YVW6TCDAQ5W94C00PG1TT13SGEW93K6 }
{ amount: u151277172, recipient: 'SPRYBMPFT75XBFAH6YJ2YKTGC5P2E3KM6Y1F6NYK }
{ amount: u150672437, recipient: 'SP1YFDD6S0Y0ACZ8KJEEVR64HAEEZR8F72Q0TVCQ6 }
{ amount: u150485646, recipient: 'SP1PXS6RYZVDV2Z4Y7DM9SQZ2VXKZNK1J9HJMB12Z }
{ amount: u150231828, recipient: 'SP3F0PMG8EV8PDFR73SHMF6J2SQWHMYTPMCMDFX7X }
{ amount: u150000000, recipient: 'SP4WEETYBFSSJ88TV6H2AW04MGNBPVEWMZZEVH7W }
{ amount: u150000000, recipient: 'SP1183NA0P4Y2NFP3N6C0X4JAEC4KNZZ76PJ7661D }
{ amount: u148806032, recipient: 'SP3FCP2X4VZ2AAKG40YT44KF5CF50MA4E4DPEBTB3 }
{ amount: u148317333, recipient: 'SP2J9F4HHRJE75K7DS13N1F35AD9YMJXBYNB3QXYN }
{ amount: u148088923, recipient: 'SP2H6GY5TBSNVE5K2327S706V6Y9Y49GG39D0Z4ZR }
{ amount: u147747872, recipient: 'SP3GRRR7F2XRP6B6VJ0PCVPT2K5MT7SJ6TWD4M8MQ }
{ amount: u147598710, recipient: 'SP1AC9GJVV0ZR5PJ32V7Y6WRV8TBD2Z1MB914ZMX3 }
{ amount: u147226660, recipient: 'SPGYM479J0WH3FZXAA43CC2SQEQVK14E21TE5CGY }
{ amount: u147111941, recipient: 'SP16SVQ3V6ETB58N9V5EB4SNQRWJCHG7PD46YPE5W }
{ amount: u147000000, recipient: 'SP1XY002ACK5FJ0WTEADWMDX00BGED257ZY2Q8KJZ }
{ amount: u146698235, recipient: 'SP1NCMJ1QFNXY8ETHWCQYADK7V0QVSJ0BKZM8YP5K }
{ amount: u146606162, recipient: 'SPR4Q4W7Z25H1ASGQW69Z7Q4VVKSFM89C8RQ5NWH }
{ amount: u146508750, recipient: 'SP3KMGHQ0AZY23G1RABGD8VT0BY8P2C91J604AA8G }
{ amount: u146454599, recipient: 'SP2GC0HWSV0ZP4EV3FJBTZ13ZXAQRNKKD49HYTG6N }
{ amount: u146272399, recipient: 'SPX4CXMDHVW2DACKPK241TMSRXEE7A2Q4JB82BHY }
{ amount: u146124965, recipient: 'SP721PHQ1KMMAR1NJC4P8PCVX3P5S42VA2KZVKBX }
{ amount: u146000000, recipient: 'SPGH3ZRZP9G6C35K1ZHQJDXW4WHEC5W4XAE27GPR }
{ amount: u145659561, recipient: 'SP33V8XNV5HBTYXKS1VRQFYVQDV9B2VBNB0KH6850 }
{ amount: u145014894, recipient: 'SP12ZAFG99CC4W9WPY58C398GW44XSSK0T3PYG31 }
{ amount: u144907390, recipient: 'SP2YCVYVZ9RW97AA9CWTSQ1BNM72R37CBVMEYKF0M }
{ amount: u144662474, recipient: 'SP18N0JFNZRZMSW37947DVWBADVY3A6MMG2CRB1S6 }
{ amount: u143713766, recipient: 'SP18P831TBGKSGMJEMJM0V29CMKJP650ZT21YJ3XX }
{ amount: u143640459, recipient: 'SP38Q6367732Y30SK9HQWPGPAY6JF3PCV038BXV1Z }
{ amount: u143409569, recipient: 'SPWKFHFGN4S05B3ZDKBV7XH5CNDM39VY51369RMM }
{ amount: u143231488, recipient: 'SP3EK3SERXRPJTHRPBWQ7SQ8MYBE02ZJQDH08D3HT }
{ amount: u142689279, recipient: 'SP124B2R06BQK9BD17WA4P39NGNRCYT1GMN9PYMBR }
{ amount: u142489728, recipient: 'SP2MR484HB9H5G8JVQKX63ZKM99KKWWFQF1ZYMR5K }
{ amount: u142351442, recipient: 'SPKDEYD8FEA47X3ZEQ035YX5ZRGWCY0CNZDX2TJQ }
{ amount: u142344223, recipient: 'SP2NGEBRSS4K64STNPRR87E9NJAYESCWM5E726RV9 }
{ amount: u142187042, recipient: 'SP30GW4JGRDRGKNR0T4318YANYVD1WFHX4495FCDM }
{ amount: u142000000, recipient: 'SP12SNDVVZ3RFW451SNRAMQV3ZMZ9DMP4T808829E }
{ amount: u141231205, recipient: 'SP3SMT10XH6H5ECT6D1TMHBM1AEMJMQ0VVRK0E00A }
{ amount: u140041568, recipient: 'SP2HER43N8VR9EJH6X8W3KP9SVA9WNPSSMWFF3HY5 }
{ amount: u139848030, recipient: 'SPP7KY5MQC05DNS0MJQN37JGG50RX0ZDARV25642 }
{ amount: u139450570, recipient: 'SP2XSY4AH4WCC87Y26ZHQHRF4FHERA791F7S1GW4E }
{ amount: u139289848, recipient: 'SP1FTGPX20GQSRJPJ8TRRGV1N3E3DPCD3RSFFGGAB }
{ amount: u138864686, recipient: 'SP3HXJJMJQ06GNAZ8XWDN1QM48JEDC6PP6W3YZPZJ }
{ amount: u138863481, recipient: 'SP1D68MVFF39Z3205QASAKZQ5S8A7AG74B8YN97XP }
{ amount: u137727960, recipient: 'SPPXBD8ETR0HTBBKY6MMGC7HFV5T5S3N0K78M8C }
{ amount: u137638399, recipient: 'SP18Z4TGRN1FAKFMBS98YZC589W4XB47J9C9SFZ0A }
{ amount: u137576789, recipient: 'SPHAZC1C86Y4ZD8W1FGB446KX501FQYAAJN7AB19 }
{ amount: u136452559, recipient: 'SP2BZH1TVR77PZE1D8QPZRQS3S6CQTQFZ38AVEQB1 }
{ amount: u136355822, recipient: 'SP1TQQX84B34Y8YA1F5D3TPME220TASG8KNEVQ6H }
{ amount: u135905232, recipient: 'SP1B4Y13T193EDND9SJ29GB4KFE73QNXKHRYD6EDZ }
{ amount: u135905162, recipient: 'SP3BTGP5VQGPCBMTMZQ260GQRXJ2TDVPWWG1W9MNJ }
{ amount: u135687447, recipient: 'SP3KA130MKDY173FGJ6DY4FX8XZ0JVHW77G2KDHS8 }
{ amount: u135381528, recipient: 'SP264TMYBZV6NMVBGMBBH36D1BDJEATVYWN78E4NV }
{ amount: u133781723, recipient: 'SP2JCF3ME5QC779DQ2X1CM9S62VNJF44GC23MKQXK }
{ amount: u133340703, recipient: 'SP1F70CZDGBFYZ6W46YM7EP3791HY3HF7MEXGTP3A }
{ amount: u132873365, recipient: 'SP2R1Q1V7C34MXBEMHWVM7EMA094HZ44R8KWZHTQ8 }
{ amount: u132456998, recipient: 'SP1V60JNK9RD612ZZDGSNFM0ANZYAC19Z6CJJZ4A5 }
{ amount: u130197271, recipient: 'SP35EQVKRRHW3P3JDAQNW8YSW2P1JG7DHH39383TY }
{ amount: u129662154, recipient: 'SP2SWB6WH763AJ91G02DHT4QQ8Q1PT75WASWHZH7 }
{ amount: u129604750, recipient: 'SPA00X1H9WQ0K5MKEZ3P5W52KQ1F1ZH5M1SJ0QSY }
{ amount: u128720000, recipient: 'SP13H831AYFZWGHZBEGK2E2EA8MB09YTXZJ72A44J }
{ amount: u128027211, recipient: 'SP2KQCEWJTM6KRCR1CKPY1B9E9CDM0TFDQ1VQN1WT }
{ amount: u125582378, recipient: 'SP3NHSH1PBS64QRDX10ZD3GRX834SG72TJDE32AGE }
{ amount: u124883057, recipient: 'SP1HF6Z0FRDFAP8WP2341HFBXTQS1JK581GDKFAYZ }
{ amount: u124665942, recipient: 'SPAB4ZHEQ4BMN32XS5X76XQ9CG8DXEAH8CY84TG4 }
{ amount: u124638152, recipient: 'SP272A2XX6NQ94J6VFX7D3X68PV5F3XEK1QXKD8X8 }
{ amount: u123916437, recipient: 'SP214PK8WQHK0FJWY1T16JRX5MZRQQRV82WSKKGAS }
{ amount: u123326687, recipient: 'SP39ZC29G8W00FM120JPPRDP9VX5ZWC2C1FNCJ8MT }
{ amount: u123000000, recipient: 'SPBMNJ7TZAXW3BDN940DH2JZ6ZEPJK89TGTPWDWK }
{ amount: u122593779, recipient: 'SP3VY4213X1ARVP9BQ0VMGVM34HM87FWQYCM4QJWG }
{ amount: u122256646, recipient: 'SP1YBDCWWEFV00J45NETQK83NJG6JY6GGAXEJVSVK }
{ amount: u122000000, recipient: 'SP2XVJJ7QS1ENT4F795G4Z2TW2YXTVW5WCA78M584 }
{ amount: u121845185, recipient: 'SP2BEGN6NFH9V4J9H386S6K4ZPGPEXH0GQH2C8M63 }
{ amount: u121368444, recipient: 'SPKKYPM4WSN5EJ0Z81ZDTM4DJQHPVV8DBAD0G3VN }
{ amount: u121171982, recipient: 'SPA0P1B6F3DHBKPPZJ54MT8Z0EE46RX6VC2TCETX }
{ amount: u121054267, recipient: 'SPXADEYM37B58GPG0XBC86JGN26948N992FE18PG }
{ amount: u120884140, recipient: 'SP3VS32Y4S61KYDZ4WBPBX6VSGFAWPJF33RWECG51 }
{ amount: u120610000, recipient: 'SP11F7CC7ZVHAA0H2N60H7EAD3T2VY4PGPMQ2P6R9 }
{ amount: u120424829, recipient: 'SP357SFYG0ZQ4A055EDFKTPCHMXQ39AQEPDSTGDT9 }
{ amount: u120211211, recipient: 'SP2NDX4KH5R78SE8PYJSM4TF85R2D3TZ9FCKH5H59 }
{ amount: u120000000, recipient: 'SP348HYAPVJJD8PQM6BTD3C6XPMEADN6X289NMH66 }
{ amount: u119940944, recipient: 'SP3TQVZQ1C1V9FF028G2SEVE30ZZHZWY1J1FS1XC8 }
{ amount: u119000000, recipient: 'SP15KYTKPQSFYJC4E3T6K11CAWHSMH3FQN08V42DE }
{ amount: u118896251, recipient: 'SP1YSRE5CMDJ8W06TSZH53MY1W8DWMYRZX84XYD81 }
{ amount: u118423819, recipient: 'SP4A6B4KS1770RFKX7FVZ1W1EKT5PBX5THMQDSVR }
{ amount: u118173389, recipient: 'SP2AZGEH9BCE2TNZFDRCY6ZP0HMXZNDB0RZEFRKKH }
{ amount: u117891303, recipient: 'SP2WWQMN93GDJYB55Q4HRF9S80AJNV6K4JT305YNE }
{ amount: u117276509, recipient: 'SP8M1M90D5CKRAW7CHG55HX8MJ59ZH3C4XMN29PX }
{ amount: u117276504, recipient: 'SP3BT54GE972B4G7Z95NYST12AG53QBKD4GPVX6ZG }
{ amount: u117276499, recipient: 'SP22VW8FV3Y47C7FRDB9J89XEF53AYHGA3TZHCH32 }
{ amount: u117276494, recipient: 'SP1996G722DVGWBDBGHSQ6J8YJN2VJY25VH2BXNXJ }
{ amount: u117276489, recipient: 'SPZ706QM79J28317ZYY2T9CJJJ7VVQ3NFDY0W1CH }
{ amount: u117252883, recipient: 'SP1DDBQF4VYSFS9XJDN3SPR1YJA6MD65WK2A39CJQ }
{ amount: u117252878, recipient: 'SP3JRZKN4N3NGBV345WYGY0T2WE1CKWT8KF4Y9GAE }
{ amount: u117252873, recipient: 'SP2X2EQMB9TA07G7GC8B39FWF5C6K1PCEM35JCN8N }
{ amount: u117252868, recipient: 'SP2KER5XZHNP9W0KW8AEQE5EKSHKJWQ3FZCG55F9W }
{ amount: u117252863, recipient: 'SP330NKT42T8YAMPY2APZ8ESS50159P2XJXBTWD04 }
{ amount: u117252858, recipient: 'SP2XFV2SK9FC2DNET10CN1AZ11XBFSM4MTS1X9EH4 }
{ amount: u117252853, recipient: 'SP18X8PW9BE4F5N2FHKDVYDXHA7D31NH7C3NXGC8V }
{ amount: u117252847, recipient: 'SP2WREMJ0X0CZW0N48836T1058MS3YAPRGFKWYBYC }
{ amount: u117252842, recipient: 'SP1995S5EH862NMV72DQ15P1F6FYP7ADZDZKG75M8 }
{ amount: u117252837, recipient: 'SP1THT4VXQ4Z843WCDZWM36R2X7T64JFNQX46MEP3 }
{ amount: u117252832, recipient: 'SP3CSCEF057MECSN0YZNYP3477M4HJG1K3XWG1JB4 }
{ amount: u117252827, recipient: 'SP1X9HAM930KHKPKHF3F44J30T3HAVXDXJBT0BX4W }
{ amount: u117252822, recipient: 'SPE2X9X6VRYX2872PWQV7RGTXM3YH9B80TQ8NZBJ }
{ amount: u117252816, recipient: 'SP3EBHKH2V5ZBS98VZDK5QCKSEG3THTZ074SMERCD }
{ amount: u117252812, recipient: 'SPNTV728XNNR3KRZFD2FAFBR2DVPA39BB2GRPTVX }
{ amount: u117252807, recipient: 'SP1TJGR2Q7FVZ4QDHJK8ZDRBE8C7FYDNS1K0DZ6CT }
{ amount: u117236690, recipient: 'SP2KX24YS22G5W1MM31XPP3DX6TJV3EFWEBPANE68 }
{ amount: u117083828, recipient: 'SP3J95YEPWX205DGN80G08NBDWAKX2THSWJ4F5ACY }
{ amount: u117039562, recipient: 'SP25AD8H1038JCRG7HJTTC042CHX43299C15DFSV4 }
{ amount: u116817561, recipient: 'SP37G57APVTZK2HYTH0ZYAX0HYPHNSCQ879GHWWA7 }
{ amount: u116815717, recipient: 'SP1BKHDENHW6BK0QE49X46V5W1ZA6C0G43GJYTKWP }
{ amount: u115941738, recipient: 'SP2WJ0CNQ7N75Z8RV8PB8H39T9CN1WQH4YARS63Z2 }
{ amount: u115373997, recipient: 'SP2G13G9TVT6MN9GYWKQMQ2Y0CVDR7WTCJGJ6286W }
{ amount: u115199286, recipient: 'SP204BM9W0NNDBNFE3THM8DMP33R1X19MWXZ79DVB }
{ amount: u114440379, recipient: 'SPZSX5YH5GAS36VHWCQGWDGV0P971K1JVXWBP98E }
{ amount: u114438647, recipient: 'SP11F48AARDK3A7V7YW9G4PKP3FY57DXXSYXXCX5D }
{ amount: u114438566, recipient: 'SPS3E820PHM2MDT7H3P7VEVVTJT74525YCCCTFBZ }
{ amount: u114438484, recipient: 'SP3DX0K469D52XVS52QFR22CJZG1X8YS0C8DZKVMW }
{ amount: u114336183, recipient: 'SPMMAH5135BRS4KP04QHB9NFFQWZP4EAEVWZFBVN }
{ amount: u114330822, recipient: 'SP27MBBEZXW13EJ2GBSC852Q554WERQ4M6MHG9MA1 }
{ amount: u114330741, recipient: 'SP2BVTKSE3FPM7VV494ZVVZ9ZQS8Q39BHZ9RXMVQP }
{ amount: u113389059, recipient: 'SP2N1TX89S2W5JXX1KXJ6TY63W9JES96N8PC6SVRY }
{ amount: u113348359, recipient: 'SP198DJ3HEN63F2TPMQ2G0Y8P5FHWGKYW7KTFE9X2 }
{ amount: u113236750, recipient: 'SP3KP50ZZC5TZJSQD1ABSQ8A0FNXVHX0QM8M6CNSW }
{ amount: u113224659, recipient: 'SP26E1VYEVNT3DBNSFK7MJP7DN2C817M3X7NWW0Q7 }
{ amount: u112582876, recipient: 'SP1SXKW2NQQMXVHZXJNZANVECEXQBVBREBKDBE5X8 }
{ amount: u112350292, recipient: 'SP3WGSCRKK87WCQWP8F8D4YY1V2YH1P5D3YWKZMKV }
{ amount: u112127851, recipient: 'SP38K22YH7BTE3SRJYDYBFECHFFC2WSGAJ5N8SVZ2 }
{ amount: u111873000, recipient: 'SPDHQQGZ4QA8HFSVNKGF0T2AQM3FT72CKDDY3J10 }
{ amount: u111289629, recipient: 'SP1TC21ASZ57YQFC9THB85HSMDH6P1BNVPACWATRB }
{ amount: u111100000, recipient: 'SP175NDWPGWP4H33G077ERCRF9Y11RN58JJ2SR83 }
{ amount: u110692720, recipient: 'SP9RV75K77F7G8HKKKVS3438JEH8ZBEW36PEVNW9 }
{ amount: u110692714, recipient: 'SP2R0T61X06QHGQ67SNTF6M533QB21FBYWY4JFG1B }
{ amount: u110692710, recipient: 'SP3M69BX3YPWVBYVBWDWAP3FQ16H1GDR7TK8KQV18 } ))
(define-constant batch-73 (list { amount: u110451160, recipient: 'SP1FVM08EGJYVHVSK1APDTQPA8HWTQHTZNHY438RB }
{ amount: u110294563, recipient: 'SPPCPS9VWGK1C028RQ72ZZKTHA075EKN509F2923 }
{ amount: u110008445, recipient: 'SP5SSDMPF51Q2B9VS4F8HH52249AKAEDDBWYZ678 }
{ amount: u109292372, recipient: 'SP1H6R0QXWNPRCG9Q6Z2V4S0Z9VNKW1Y2ZXNARBXH }
{ amount: u109179359, recipient: 'SP3M6N7JH85WETT4RCYF28KS83671PAHVHFQQ15KZ }
{ amount: u109166102, recipient: 'SP26PGK20VWFTSH300EBX06JF23J17E93ERFGY024 }
{ amount: u109059071, recipient: 'SP3BJZHB13J2CPJWWFWW377WVXWZWQ1KB8JAB4WNT }
{ amount: u109059066, recipient: 'SP1G2ZMNH1ZCW7BWTE61BFVKXSFVE6DXPQX31HNAA }
{ amount: u109059061, recipient: 'SP9W74G2PDMS315HGFPTD5KHSCHZETE88WEMEA25 }
{ amount: u109059056, recipient: 'SP3WTDE2SJQT0V51S2K383B0BDNGBBAX5DJJ39B09 }
{ amount: u108773990, recipient: 'SP2SWA52581Y918W8FVD8FEA0FQ7GM1WZ75QBH038 }
{ amount: u108736074, recipient: 'SP1ACH08CD1FGTR0P7X1E7JNK5HYMYJPZF48X1NAE }
{ amount: u108674553, recipient: 'SP1K7QPJKTKJX3W6C97W3S6RV1845JGXCTNB1PJBK }
{ amount: u108563861, recipient: 'SP12K7SD08ZPMGZAN30AJ37FG4TNY57Y75XETEV1A }
{ amount: u108444099, recipient: 'SP2A6F802MTTNE4P2Z6WG8SXMKBH4JXMX5JR2CZB6 }
{ amount: u108276927, recipient: 'SP2CNFTZG44C2ED4ZEP1V3XYVD5SHWNEZ4RJFMTMV }
{ amount: u107813450, recipient: 'SP2Z0AW4TK4ZBSE3WQBXSX14QMF6WS3CS1RRAXYMZ }
{ amount: u107780458, recipient: 'SP21RQ7QNCS2N7Z60KR006GPBPHR48EGAM9HTKCJN }
{ amount: u107755878, recipient: 'SPX7QXE1Y03A4HG599V9WB8Y9AC8DJEVMJZB0KQW }
{ amount: u107246177, recipient: 'SP2RVGTP0PS62ZVTGPJWQVCDGNBDQT26R3WGD9T8X }
{ amount: u107165781, recipient: 'SP3E9WJYWCZETWS93T3TDEM5FVZDTADDJBN1T41FM }
{ amount: u107081553, recipient: 'SP251M85YMK1ACSNT7ZHX9KRWRJ91AQE864XS1WT8 }
{ amount: u107076447, recipient: 'SP3KBYPCAPZ3PDDC75M9SMA42RXDZRH7HQ5EQ6P9G }
{ amount: u107076447, recipient: 'SP3JRKBATJ5441MCYP2NYQTC356712J5T26VTF25R }
{ amount: u107076447, recipient: 'SPSKMK6R0QRQ9RK8XRV4JKGGHS8AA7A38VSTTQ8M }
{ amount: u107076447, recipient: 'SP2KT5T57NB346F2JZ961SRMJSKFE3NXTRECZF8C0 }
{ amount: u107076447, recipient: 'SP2SHPBNATSXN175ERN4XX1Q36BG11G449EP0WC7R }
{ amount: u107003508, recipient: 'SP73KG0EDJ1DGH80H0T6P8XXV0W6TYBKSY8W1A00 }
{ amount: u106711312, recipient: 'SP3841J71KW7PE3CK00YD436TT555CC9J14J6BPBS }
{ amount: u106585934, recipient: 'SP2SYW0SVQNB1ZR4VFKVM47NDGCAGZGEKCK5WHNN4 }
{ amount: u105821415, recipient: 'SP2MS7TNWWGTSHFP24CPFX8G3BWTD66M3T88N2TPF }
{ amount: u105723060, recipient: 'SP2XXHDHS6N7TB82A70AYXY93F132K37YYCZYSRA3 }
{ amount: u105597399, recipient: 'SP1P487ZAVV5S5BW4W3XTPTRV2CBTFD2QP6DN2ERJ }
{ amount: u105298724, recipient: 'SP57VERF6SXF4KBMH3ERQDQM7GRVM64F7YT00FYZ }
{ amount: u105128819, recipient: 'SP2F1059H0X622810XB377KWEGH37PC7P7J1EPK5H }
{ amount: u104757700, recipient: 'SP3HTFZ50KK0PFE27XA9V163SKQYPK4BB5K0DS4ZQ }
{ amount: u104106674, recipient: 'SPDS616MG62JYMZNH2QD36AWWV3CDN7RE7K8XSER }
{ amount: u103918391, recipient: 'SP3RM6V7AXR82YRGS80M2TD0S6T49PGBN2JWGMQRZ }
{ amount: u103505620, recipient: 'SPKVDR47JJDVB06VEMHGTNJYC0XKZKCKHVAQPR81 }
{ amount: u102838147, recipient: 'SP3QAE6MF75M9WPNDHZWV2DCJ33DDJ2NES5051JCT }
{ amount: u102790759, recipient: 'SP3021NP5JA3K7AT8DRR29NMQZ1Q90NWGZ80T9EBV }
{ amount: u102693342, recipient: 'SP1GYYGZ8G8KV6DRH1PQ5PS3EQ3FN3XEVDCNE1R7J }
{ amount: u102679643, recipient: 'SP2Y4VJNWBKBBEXFCY3N39VP9AHS68JAWDJ87HZNK }
{ amount: u102642247, recipient: 'SP2BVE28BZNS3PJTGK2ZB90954FVH4Q1H9PGT35Q3 }
{ amount: u102485194, recipient: 'SP1H151DVWV5QSY3FPJZAGTVQ9Y5M0ATZGKDWCKG6 }
{ amount: u102335928, recipient: 'SP1CJ0DCW5AW4BQEQZJ7RNM0X6S55PW3A4W8CRZ1Z }
{ amount: u102131631, recipient: 'SP1JQXR7ZFVZDT68V3VWC65J4WMX7SJY2GCVGNPCK }
{ amount: u101987553, recipient: 'SP3TKHE80QVGN062V6GE355S0KYHXTJ4FNPTRNGRW }
{ amount: u101573298, recipient: 'SP13SEETRT82E73VN0FPGA81J2HFNS68G6CZXHGR0 }
{ amount: u101079483, recipient: 'SP2Q58EA1NMT3FV2SHCAQ6C05BKX60ATGACTHRVA3 }
{ amount: u100939294, recipient: 'SP3N269CZWC3JS0YEW9JCNMPY2AGB8FPVAACB6K34 }
{ amount: u100902330, recipient: 'SP1CECPVFBHGMEYPF5TYPESYPG8969NFN0V13ZM7G }
{ amount: u100661907, recipient: 'SPP4DTMJRYM61E0AMR7DDHYPBCYKMHWG76S7AC0N }
{ amount: u100207109, recipient: 'SP20QS7KY62WGEM8JBS49H2WNHX096X1C63XKQJES }
{ amount: u100120637, recipient: 'SP1QMY9APF344RQM9YMGGNTMEWDCN067S3M2G7TWJ }
{ amount: u100120579, recipient: 'SP2PW8JQD87EFTDSYG8WW1E50S75Y8EQX77YP37QE }
{ amount: u100022609, recipient: 'SP1FNZ4PHCWQ9B8A9X8J4ZX6642FZBHRKJEQQAA54 }
{ amount: u100006975, recipient: 'SP4Q15DZ6PVDZS44MJR15DNNF9E3NG90NXTDHCMD }
{ amount: u100004104, recipient: 'SP1MSH9RB966H87BCMXPTRXNKZ5ANE4K405RN2M64 }
{ amount: u100002336, recipient: 'SP7JR9EY0SFSSZADRC1ECD0F7C96PFHTPCY2MY0D }
{ amount: u100000000, recipient: 'SP35ED5SK1TZ9QMZ6SPMS2YK52K6E1MC5MKW2GQGV } ))
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-71))
(try! (contract-call? .token-special-vote edg-mint-many batch-72))
(try! (contract-call? .token-special-vote edg-mint-many batch-73))
(ok true)
)
)