agp202

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-6 (list { amount: u2094167000000, recipient: 'SP2TK8B4QRFXEG3EB6RT3H56KTC5PTWEB05CZZKY0 }
{ amount: u2093110220000, recipient: 'SP1HMGPDHRYRM4QFV3FJYD3JE2MMKMQX8G4134N0K }
{ amount: u2092642180000, recipient: 'SPXH4RFHRWC6FGGSZ64M3EFVY6XBS8VR8ATTXAV7 }
{ amount: u2092556260000, recipient: 'SPF54B05KSEZE69CYJ7NDADK0FYPYP3DVQQ8ANFG }
{ amount: u2091976000000, recipient: 'SP2NSJM765ZM12Y32S3X02185T6SH41N5RC3WJ9FZ }
{ amount: u2077324520000, recipient: 'SP3SZFGPKV4G45JGPNPHPKB8PNE07SSEQSBD2P0NX }
{ amount: u2072344270000, recipient: 'SP15MRJZ86B0EJ5Q2P6BVECH5SCTDJWN7P7003GB8 }
{ amount: u2071610130000, recipient: 'SP1WWJKCB0DN5BSEHNYBE1PBH28ZKG6EMM8FS9G3F }
{ amount: u2070017360000, recipient: 'SP12F5H16HM28TVHJGDH7ZHRGHBE55RG9KMYGPHQJ }
{ amount: u2068361880000, recipient: 'SP1ZMABX8CRGD6AVHBEJNM1YJBPTHWC09WPWJ14HG }
{ amount: u2065330110000, recipient: 'SP3KDA7K8E21AYA46V8RSSEJN8NG7EB0E62E1SCXJ }
{ amount: u2063250790000, recipient: 'SP2SSHDSGHHEQN1A7Z0RP0YJ6QECE8TGQTYN594PM }
{ amount: u2052527140000, recipient: 'SP30749Y28HS1FA2FKCK7PQVRS502RKA7HG8Q730H }
{ amount: u2047322920000, recipient: 'SP2SP4WSVR0RSKN2614Y7TFM7SG0CX42H9NF43RWK }
{ amount: u2045776670000, recipient: 'SP1V212JWVG5XDE2NGKH02SYV2N5BET0390Z9P3JF }
{ amount: u2045565890000, recipient: 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS }
{ amount: u2036039150000, recipient: 'SPF6BZE9WC6CVJ5YRE4B86R4H3FH0SQ97CMYJSNW }
{ amount: u2035425340000, recipient: 'SP17A677J158X6W39S6921Z75DCRY3M1MSJNYE12C }
{ amount: u2034848030000, recipient: 'SP3G8XE5SSKWCD1DRWVDVHE6Z69EBAPVZ457F1G27 }
{ amount: u2031729070000, recipient: 'SP1YK1X9ZD6MK2MR5KA8F2W8N3JAJNB503FW2CBF6 }
{ amount: u2031076130000, recipient: 'SP06SAEZZAD0WWMPCWZH6WBYVEP0K3P2QGB8WFH1 }
{ amount: u2028854570000, recipient: 'SPJYH7C2F7SJH13E5JB5T6HV21KY4BAYEKSF1AV3 }
{ amount: u2028684510000, recipient: 'SP217EBGRWV1W42AZ4803NSCGRZRA6VECAZJZY6X2 }
{ amount: u2024126980000, recipient: 'SP1C6ESZS04TZ1X6XR34VFRTB0372MEKG31YFNGRR }
{ amount: u2023731680000, recipient: 'SP12D6749B9NJ28ZPHENHPD727V9ZTKM2ABNMAQEK }
{ amount: u2021218800000, recipient: 'SP36VW9RNZV667DFP2KZEC055ZJ8XSEZDX3W8WS0F }
{ amount: u2018370050000, recipient: 'SP1TZKGQRDDTRDRD4KN8FS55EJDEA5X9R30GNK53P }
{ amount: u2017162030000, recipient: 'SP1S55CA3CHVV6JQRG0610FM9XA1ZQ1DXKH7BNVJX }
{ amount: u2014460920000, recipient: 'SPZ6XY3B0G2Y8V5JWN9M43SJ2ZV7Q7YETA650JM7 }
{ amount: u2014108220000, recipient: 'SP232QFVZSJRNFP43B2NE4AC79Z1KNZ421W9FHH1N }
{ amount: u2011838440000, recipient: 'SP1WX03C1S7C2VPNRH4CKS8P7TNKKNVXFQ3YEE2RP }
{ amount: u2010200000000, recipient: 'SP1GC33YTB1ZMX9CKMKX5QJFQV690N8HFEJ81BX59 }
{ amount: u2006315980000, recipient: 'SP240D4CTKWQZYC1HSXWD53ANFHFTB74QQDXVAA9D }
{ amount: u2002418500000, recipient: 'SP2CP23BC2QVXX02SZ6ZVCW7DHHHPEXRHZ6DHBZHZ }
{ amount: u2001860640000, recipient: 'SP882H4CPHYRT03VQFSSH05YQT8K4JYHY10D11WF }
{ amount: u2001500000000, recipient: 'SPDV3X6AEB4CG6R1C49PXZPP45RCHJ39VYMBVZHB }
{ amount: u2001479910000, recipient: 'SP1AAVWCYP1H5Y2EJ4K76J7CKEEZKDPWCFFBH9RMM }
{ amount: u2001086740000, recipient: 'SP3QHB006J0WHTPNKKTAS0CTB1M3X7QA039322P9Q }
{ amount: u2001045230000, recipient: 'SP1CHQ8QJFWB7Z1HMNFZH5ZEC32SZS1G3QK4KH7RN }
{ amount: u2000277400000, recipient: 'SP1SPDFA1J359PCE6P5G80E884E8DCX8K3TSC6A4S }
{ amount: u2000200000000, recipient: 'SP3GT29VT7J9HGN1TNN9950FMZ0FV6RAMKJHN10TG }
{ amount: u2000053460000, recipient: 'SP1D2KXCHTZ6Z1JFZZSPZZY0N0AM3PE759NSHFD7Y }
{ amount: u1999408690000, recipient: 'SP34Q8C4PBZW96XVQABXP4ZGHE63F5XCXHT1DS8ES }
{ amount: u1996264920000, recipient: 'SP2BKKGW19DC0308YGHK5KEY88M9KT3W4HKJGSQT2 }
{ amount: u1994953910000, recipient: 'SP2ZR3MD6VBM689M1ZHQT495ZNX4EZ36P4WT8JANY }
{ amount: u1993984660000, recipient: 'SP2R9YZS9TM55B1KPAGZNHGKVSZJTBBV6E7DTBMJ4 }
{ amount: u1993150800000, recipient: 'SP2A4QSS2HQJTF5Y8BGB9VXF5F6MPEP28SJYMF719 }
{ amount: u1988817940000, recipient: 'SP1BX0DFW81MJJ42F38EJ0FVP0EVAD08R3C2HW95W }
{ amount: u1982198180000, recipient: 'SP10Y5VMTPD60VVWN9H2482C29HB66QQG07QQW93J }
{ amount: u1977228420000, recipient: 'SP3BJYQ43DP6FAWW70ASXNKTZ6JWQNXEMANYYCDK1 }
{ amount: u1977092000000, recipient: 'SP2Y7XKC0KY2TCBBBZX5TR43VEY2YWC7E7E8Y7JAP }
{ amount: u1968637700000, recipient: 'SP2BNZSEHBF8FE14E8Q50YBNEREXWK7P3AWAKETF1 }
{ amount: u1968298770000, recipient: 'SP1M5B543XDP7VEF5QVCPJN212PJMKRYTW4SC9KWE }
{ amount: u1968061610000, recipient: 'SP3MKYQV2FAF88BAKTBE65D76J3GGVBC4VM0TWP8P }
{ amount: u1962566170000, recipient: 'SPTQ9T2HW28Q3RKD2TWE19R8FZP0TYWSZE8K4BXA }
{ amount: u1961430000000, recipient: 'SP1T1X045WEHTPJ95PWS1D1BS7Y9BFMWEYMMMTYJ6 }
{ amount: u1952313790000, recipient: 'SP3563KRPN66MEGFZ0ZHP58FVRCT35Q01QMBW9CMY }
{ amount: u1935999410000, recipient: 'SP1F03XYQSMVTC8RMZBF8AH84EGAMGRX2XT0RX256 }
{ amount: u1934571760000, recipient: 'SP1TDXFAN0GVPEP1B387JG0FS8V65NDKK4A8K514C }
{ amount: u1931303300000, recipient: 'SP21EY37VZHJHK575MV261PCGXK1E682Y7HFPWD4E }
{ amount: u1930432060000, recipient: 'SP38SQNV5HTF199R1SYB2K4ZVQBWZKRNPGTZ6HSB2 }
{ amount: u1930052300000, recipient: 'SP3JZYJ4DH0DT518P8H0EQ22QXXD6FCN7C8CQ0YKS }
{ amount: u1929193680000, recipient: 'SPWEPF0K0HP97QZYAVW6GVECN66Q8RDTE9YW1H0D }
{ amount: u1927585520000, recipient: 'SPA00TD5X07RP1MDB8XP25KM55P5QGRYZ7FS3DRY }
{ amount: u1926471180000, recipient: 'SP31JC3J4ZY5VGWTA23NVNN70NFY9K96R5JGKB35A }
{ amount: u1924838050000, recipient: 'SP1WM0RVW9XKDPXPJCK4MAG03RBN0YY1ECE4JVZMA }
{ amount: u1924257890000, recipient: 'SP13NM378P79G4MVS1WMZ7XTJDSYM2X8V8928A8QG }
{ amount: u1922933560000, recipient: 'SPQ8ZS8QQNE4ZBQCQRGMZAPKSGXJXJ7VHGBBZPMV }
{ amount: u1922908560000, recipient: 'SP27BXA2D542853R1RFXV9RK2ZMT6TES7QPDZ8Q9Y }
{ amount: u1920366570000, recipient: 'SP1T7QT0MZZ318GW7HJ91JNTQG5BX438PNH7B5Y1J }
{ amount: u1919933450000, recipient: 'SP1BN2V664W50A1HAWDHT2M83M3NMN0AG3B16R2SA }
{ amount: u1919751470000, recipient: 'SP3JRF6P91R4MYZBABSDTHYNCKKMVVE269V6NF9PV }
{ amount: u1919230150000, recipient: 'SP21RBWNVS70HDMW497QVFB3CX6KR9E2NC29YK1MD }
{ amount: u1918241830000, recipient: 'SP2H2HWM3JN0E060R0AVA64HV2Y6PD9H2YZPPV7P0 }
{ amount: u1915510950000, recipient: 'SP3EVXKT7773AQ441JH330Z27NTN5ZCWJVBRP4Z2H }
{ amount: u1913699180000, recipient: 'SP1EHG5M8H61ACV1JYRD9Z9TC8BKSW519YZ4WE5Z4 }
{ amount: u1913561670000, recipient: 'SP34HFC0RH26WZTVNTAABHR5CR6E1207FGQ07RJJ9 }
{ amount: u1911796110000, recipient: 'SPEQB0BDR5Y2G58VGP1PMQG411KM92J176ZPT3QA }
{ amount: u1909792870000, recipient: 'SP1V8X5BRA1APFHNRX5RMNVMF5NEQ3HG584R051ZV }
{ amount: u1907063350000, recipient: 'SP3RRGMNH6NVP2NNKTN9QQBVXWZJ2H9XDP6Y38GMG }
{ amount: u1906569130000, recipient: 'SP18NZ195TR6DP01W3HCSWYXGG877MH9P88HBH0KV }
{ amount: u1904436270000, recipient: 'SP26V6ZTH6WDK972Y653W0X6YY0ZY51JGKCTQ8J4 }
{ amount: u1897833990000, recipient: 'SPJBK3X8EM79RTHCKN2FGXYSNDQYT86YXWB25TW3 }
{ amount: u1896729480000, recipient: 'SP3ZC4WMR6EE3E7BDQH5T8JP63CQSWAFW3BHC84EK }
{ amount: u1896208160000, recipient: 'SP1FWF3WRJ1TM4QH2FD7D5S0MZN70K4WGEDM35AD3 }
{ amount: u1894694730000, recipient: 'SP3VP65DBWXE6MHH6SKG2A7ZRRPWX4K69JZKWPEH9 }
{ amount: u1893695190000, recipient: 'SPW50Z285AS00R538X2WQW78NZSHWQ2GFRAQZ8T7 }
{ amount: u1883707270000, recipient: 'SP102N07E18AHV4ZZYVGW4TF7GV34AS0GFT64AGW5 }
{ amount: u1883032150000, recipient: 'SP2WAECNMFAJVHXG2ESG7BKT41Z71MR01PEDR9KT8 }
{ amount: u1879512550000, recipient: 'SP3K1TT2ZW4ENTSQYA0AVFX6TFF8XXYWBVT1M07SN }
{ amount: u1875947760000, recipient: 'SP2CXS7BHKF7B5MFQ6FBDQ0TW2AMHJRK68W1W8PBF }
{ amount: u1874209200000, recipient: 'SP3R25PG4NR250B3AZHV5XJYXD0YRNQTQZZHQTZ2 }
{ amount: u1869970960000, recipient: 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ }
{ amount: u1869082190000, recipient: 'SP1N4RJNMF1ZW1PSDCNNV37GPX2GA2ZEZF5ZMSSTX }
{ amount: u1855461230000, recipient: 'SPPPSQQDFEVXZ7DKE82QJNM3HWNH7H33TN6QXB1A }
{ amount: u1852916010000, recipient: 'SP27JR1BD7Y5VR2V4AATBHCXMWVA2B0W7THMKA9KS }
{ amount: u1851800000000, recipient: 'SPTCRRFDBEJMXZMCMP91CT1K7QZW3HYW3KB3DGEF }
{ amount: u1851236800000, recipient: 'SP8SW57KSRRH1R0X5BDGNBZ8Z67KFEW74Z9KVVZ5 }
{ amount: u1850301820000, recipient: 'SPDE2ZWWYYS3M1XRX3PZKYABZHNTSCS7WWFRF24V }
{ amount: u1841173340000, recipient: 'SP1YTFC80VQM2YXFNRERHF8WA0RERDT9T971GA0T0 }
{ amount: u1835536200000, recipient: 'SP2J9JNX7TKXB89VQ9767R9AY4VT5W78BZC3H76XF }
{ amount: u1831977740000, recipient: 'SP3TS5KG1P6SY4CMNHPH2N241PTBY87WAT6QRW3XB }
{ amount: u1831590910000, recipient: 'SP1P6T63FYQQW217AETBV7N7MGZ6RA43W5AG2YS9A }
{ amount: u1828016960000, recipient: 'SP1CW0HGGZ554TVQW0VM2Z336DPMBTRJTG7QRDYTS }
{ amount: u1827849080000, recipient: 'SPZMZ0DH85S280JRWK6R1WKFC5549A1PE2K8TNYY }
{ amount: u1827138260000, recipient: 'SP3PPER5FV94XBJXNWH9VAH8DE4ATW786T40PR453 }
{ amount: u1826101330000, recipient: 'SP3DYT2FWN042DXNP4FH7DZB8SHT1MH06773KKXZR }
{ amount: u1825470640000, recipient: 'SP3KYNBCYJV50F0JZ9JWJW7D5D9CJ4JBFMMR99PG4 }
{ amount: u1824055000000, recipient: 'SP1P36H5CQV121SM6RRP839NDPSG5QA5JA098KJ4M }
{ amount: u1822369790000, recipient: 'SP1386044X5N01AJAGN50NGKE87K4Q72P7DHVXF3F }
{ amount: u1812247100000, recipient: 'SP12E9DE7KZBMH4KPYK94JA54KDBCMNR255DRZAXJ }
{ amount: u1808070100000, recipient: 'SP1EVDA2XDA0PC56W0XFMWXWX7F3TC4HY35XXM88G }
{ amount: u1807700000000, recipient: 'SP290HKX9PWEQ7C3T3MFH3GZ4MXDP10F68HVWNR5X }
{ amount: u1798903160000, recipient: 'SP3AES94M2RWYY3D49WXQYPWDPB9VFVP59DWP156N }
{ amount: u1795139760000, recipient: 'SP2X0ZM1XEDJVXSGTBFRD8NZBXE5WFBX6CJVF517H }
{ amount: u1792628330000, recipient: 'SP2DFGG84SB8WW55AQEZBPXTZQ8FZZXBVXZ6YNP2R }
{ amount: u1791274730000, recipient: 'SP2FBRDBKDE1CAH9Q5VKT7TZMGAEWQ9EWT284RA9A }
{ amount: u1785714000000, recipient: 'SP16BCQDWTYX5W3KMD1SN0QH24XEDS625204DW864 }
{ amount: u1784027730000, recipient: 'SP46RQJH26D55NEPZ3BXJFCZVWF2HK1SC5TEA09J }
{ amount: u1783708010000, recipient: 'SP3CBJC11R2PHNP8JQ8DQV2RF2VD1RRNYZRG4GVK9 }
{ amount: u1783266830000, recipient: 'SP3ZVNT529TP9S98DQECN2SX670QYWN6S8D7YQC6Y }
{ amount: u1781683080000, recipient: 'SP2E4W8QJBKE85W4W5965GX13JB3G1PXVE9667G5R }
{ amount: u1778705810000, recipient: 'SP3JKJA3V4KGGER3DSMHAQD79WEF6VEDBF47PZP1C }
{ amount: u1778027320000, recipient: 'SPZFK7F854SRDAJ0TY69ES22TT448TQ416WEJHVH }
{ amount: u1777194140000, recipient: 'SP1RCKFJ0JB8ZFJBPZBSRB553AZKVSA1GTBKARGCA }
{ amount: u1776923070000, recipient: 'SP22G83S8SXE5823ZGK5KD0RKFD9861P9TJ1D87B2 }
{ amount: u1775694220000, recipient: 'SPZY0ARX4B7CGVNTTD9Q3BY9R7HASNC7JZXXTEJ0 }
{ amount: u1773666340000, recipient: 'SP3ANZY9ENCJJN6QCQW0TBYAQN7W37A6CMYEGB282 }
{ amount: u1768525000000, recipient: 'SP17XB0Y3BAAQKEQZF1TZTA6F5A0BN5WB116RME2A }
{ amount: u1767139340000, recipient: 'SP2KW7JS1S4F4FQD869JCCKS2QC8NZJWBPFFMW6R4 }
{ amount: u1763408640000, recipient: 'SP78064ZF3TDWDNX3AZ293DW0QJ6EX3TJVWENYPA }
{ amount: u1760804110000, recipient: 'SPESX70CQ02M27QR0153AM1PG6P6VVF1HD73XGCC }
{ amount: u1757478000000, recipient: 'SP0YDAB0RSZK8Y4PGMKSKHWF0BQYN0TJZN95DWX }
{ amount: u1752689300000, recipient: 'SP3FZSBX2TN9H961FH1P4C5J3NYD4GWM136VVXXTE }
{ amount: u1752413080000, recipient: 'SP31C2P0X1AGZKTNYP6AS8V8G8S7XGT1543PEPCDP }
{ amount: u1748803360000, recipient: 'SP3A1MZV2MBMN76JPXS8631Q2YJBTZ2SA77WAQH0X }
{ amount: u1746434180000, recipient: 'SPVMKK8WC9FB93973DYD3SWWT4X4BHDN5XNFHH29 }
{ amount: u1741811300000, recipient: 'SP21Z93DS76MXQBJ8KEC4P7YDVP4GTF24231KAJNT }
{ amount: u1741161360000, recipient: 'SP2CENTECQ7E56WPVAAAS1BC8NYMBYMA60PTGH8N6 }
{ amount: u1734670020000, recipient: 'SP1SDGCGHYTSTY83V4P19QP86H2G2R22NR3HXDF2 }
{ amount: u1732269300000, recipient: 'SP3305JQ19VECFP35WF0FMG9QY7HP63YPVP7DZKFM }
{ amount: u1725384540000, recipient: 'SP1G9PZMQSFRQ7Q98XP7JMNE2C22RXK1W61RXTNKP }
{ amount: u1725158490000, recipient: 'SP7B66J6YWRK0V4RPVC7CTAR05V021139VVNX7C7 }
{ amount: u1724821610000, recipient: 'SPBJ2JB5DFF644DFXEVXA1EHJX3RWZP9VB4CZ8NR }
{ amount: u1721858490000, recipient: 'SP3YS47N9JQSP57R3CHNW28M0GD3D067YCAP4ZB7J }
{ amount: u1720766890000, recipient: 'SP13EZ58DXARG85WFX41KKSPZ9G8BTADRZCTZEZMM }
{ amount: u1718064900000, recipient: 'SP24GE0F7NRQ8VFTQZ025N94STXW7PGSVBEH2ZRZ7 }
{ amount: u1717708070000, recipient: 'SP1QNF9CYKXPP6XCMSTFC0CAK4CA5ATRP9ZATNEXJ }
{ amount: u1717066780000, recipient: 'SP257WVF4PWJ7ZC885AVYDMFHM6KYSWB38VQK27MD }
{ amount: u1708390060000, recipient: 'SPMKQW2BTN5EE4YGMA3PYVDG2XAXD07AGKYSPSRR }
{ amount: u1702726160000, recipient: 'SP2R9Z0CPD3TPBVCRRHV5TD53TRYFHSG2S6536HNN }
{ amount: u1702672800000, recipient: 'SP3KVRE3RDYYSJ3JDGXKA0K15CC4JEA2ZGX4TJ5EC }
{ amount: u1701315390000, recipient: 'SP16AZ9829ABNJ8TXV57DCDP6Q67VBSA43RYXC1F0 }
{ amount: u1700795030000, recipient: 'SP1R0R6DC3K9E1N7FW8K0C78KE2QBGXRRK80KTBFN }
{ amount: u1700400100000, recipient: 'SP6JV0G402QJWPEGNR6GDATN050NQD01CYBJ6S1H }
{ amount: u1699218090000, recipient: 'SP3NQG8HHEYPMQ57BW81VDPXBH8DMMAASMMB4X7QB }
{ amount: u1698426420000, recipient: 'SP1BEGJHKXSJ7W3K34V3NSCDJTF4FRDPABFWR4VNM }
{ amount: u1698290030000, recipient: 'SP32B9GJXBGAPWBQB1VVER8KCG75HBZV3FFCH5R4F }
{ amount: u1697728310000, recipient: 'SP3V540F0YRSZAJXEV4W53G8AQWA1JPDWNJQSRMHA }
{ amount: u1694739000000, recipient: 'SP1VY550QT01SN3W273CZ00KDZT6R6S25KRNQTV74 }
{ amount: u1690282060000, recipient: 'SP143YHR805B8S834BWJTMZVFR1WP5FFC03WZE4BF }
{ amount: u1689565510000, recipient: 'SP3G4JJ4JWZTCSHD0QP9M1AV86X6XRPSD1P3X2QS4 }
{ amount: u1686191940000, recipient: 'SP39D10442K7N819X1WFKYGXJQ4V4RVYZ13ZQ71KB }
{ amount: u1683342320000, recipient: 'SP2R1GMTC9Q6GZG02QKJ3M7Q9J0HEVZSNGRGQ4556 }
{ amount: u1678472350000, recipient: 'SP3CPJKY5DZFMQZ9600SBNGTN2BC202SCXFNH90YV }
{ amount: u1676641810000, recipient: 'SP2XV2G7H7DC97ESZGFKWADTYZWNQH1QHZWGDDVS1 }
{ amount: u1674607380000, recipient: 'SP1JZK500DD7REE6BV1Z06F9477PS80WAVZ558C6R }
{ amount: u1670868170000, recipient: 'SPVNJYX7D3TYQQ6ESTXYYYD9BS4RKJAVV5QTPQ36 }
{ amount: u1669044300000, recipient: 'SP3PV242VHWEHXJYNFMAM8ERG7CRPPWHJMPA93JNQ }
{ amount: u1665881060000, recipient: 'SP3YWJF2YN1F88NQTBNRRCFVS7DY7FED0WMVGJPWP }
{ amount: u1664180820000, recipient: 'SPV6H9CGNZWRBA9PEFMNQAJWZBZCX0SFV4J0FQF2 }
{ amount: u1660180000000, recipient: 'SP3VPC4K1DM7WSGMEKGVZYCAMS5YBCT69Q7Z5HJ2D }
{ amount: u1656718000000, recipient: 'SP20TCNASEG27EM0NN3X74V7NASSSETVWMM1PY3RS }
{ amount: u1656423850000, recipient: 'SP2H1VQKGDEMY4D2JMC9E4GJJDVZH1H4WC2HCJ1W9 }
{ amount: u1656353930000, recipient: 'SP1JE0MYDFYNVD7XYS8D2AQ9NNWA3FYAKXX175BDW }
{ amount: u1656217340000, recipient: 'SP6D3P4NFSCHWM9GE457X83CH70N3B8ACDTN3B1M }
{ amount: u1652980550000, recipient: 'SP172ZXH6NM1C47HA60APXRFMKFFHS9MFMEM7XT0G }
{ amount: u1651458540000, recipient: 'SP2YZG1FYE3R31AMJV72WXWHCV2A3J477D5A5MCJH }
{ amount: u1650514840000, recipient: 'SPGR0ZRYE9P63PXGEE0KH1888JHNBEXDFRCVG0HC }
{ amount: u1649240370000, recipient: 'SP2RS7XNASNDQP8KCCGD1QSZ9G7Y1TWN3NFV9ZD5T }
{ amount: u1649041750000, recipient: 'SP2ZNESKVAN6P9WYNXY0TCNMPFSKCMP0XP82ZE3BW }
{ amount: u1646822780000, recipient: 'SP37EDWCKEJVYS42Z730CY2GTYFJCWT3V8MN0EZKA }
{ amount: u1643889260000, recipient: 'SP188EN60Z6B3D74MCBGFVB63W3AV7R11PQNTA0X5 }
{ amount: u1643168060000, recipient: 'SP1F4ZAANXVT8ZQ7WYQY4VW5K5DGMC30J7WMZ4FE3 }
{ amount: u1641350730000, recipient: 'SP2046MFQHDG7K0EZ2V2RF2QNG9GW6RDASEX1EME8 }
{ amount: u1635817350000, recipient: 'SP35TNJ2NKH7W2JF4K22NDQNVMY34MRPGB5KASE6Q }
{ amount: u1634867550000, recipient: 'SP2MYQF316JWNY0M6MBGRFPZS17GJKRA26ZPB35HM }
{ amount: u1633339880000, recipient: 'SP3MJSNG2DPSBPPCCBFKJF6MFFPH0M8HCVKMVGPXF }
{ amount: u1633296120000, recipient: 'SP3VZY0N0135W8GFQHE43YQ22K72KB4Z0AZKDE46T }
{ amount: u1632534150000, recipient: 'SP1B3DCGZ0A0WDM1TAM162M6QDNS8CMQ3ZKQ5GWD5 }
{ amount: u1630423990000, recipient: 'SP3GMSTDB947863RJM48WBA96AY1ZG18REVVSQ28W }
{ amount: u1630117200000, recipient: 'SP3WVEW3DJCYBN04RMZDBVR9Y778HJJRHCG6Y8S6 }
{ amount: u1629594710000, recipient: 'SP32HD2H8QHCHYY1VRD142165ZW9PN504KN8YGM6G }
{ amount: u1628162000000, recipient: 'SPF0Y419TGBGAYSRCQ7EN2GXCZK3A1RGKZGTECM1 }
{ amount: u1628109370000, recipient: 'SP105MPZ49FRZ77N652B37BQ68NR37ZB96NV5QYPG }
{ amount: u1624834790000, recipient: 'SP1N3WKPS7PQKD837CTGSWEQ8QXTK061CHH2CKM3J }
{ amount: u1623591630000, recipient: 'SP23X8JVMHN2A9N1PWSGNW83Q0VV5T7NF2N6PJW9J }
{ amount: u1622999750000, recipient: 'SP3CWWEQH347NEQ05WEBRVHK20JWW8QRZW0GFSWJ4 }
{ amount: u1620147620000, recipient: 'SP1Z346E5A6SA22RRFDYXMXRZDC7ADNK7MQ2F1Z93 }
{ amount: u1619698150000, recipient: 'SP2GZBAPG13T1JNH48NKCSJV24XFRTYWQFN37K7C5 } ))
(define-constant batch-7 (list { amount: u1619197140000, recipient: 'SP1DMQV4AYVQ2HNMFFYEEJ9N9CX97ZJRG7CF9YTHM }
{ amount: u1617012730000, recipient: 'SP2QRT4JMAPR3JRZP427BGP8RJJ4VDTP79TBVCNT }
{ amount: u1612702910000, recipient: 'SP3P2J02H9KKR2D57870VY4GZCYY231XV3T4D7FM6 }
{ amount: u1612047110000, recipient: 'SP271DTS1TX5YHQXEXHQY4RWSVBHQX896V98XY4Z8 }
{ amount: u1608357280000, recipient: 'SP1PHYMYN05WNJ4W8JRN4FB4HCVYYD8C1AVWTJS5Z }
{ amount: u1607513880000, recipient: 'SPJ8D85AK4VPB1H34MGF69TM1YT0BZ3Z61VD7JGB }
{ amount: u1603174260000, recipient: 'SP1V4GBJ6TMGA03B66SNAJMWEN6BCGYQVF6JSJDDP }
{ amount: u1602863600000, recipient: 'SPC5XDPYK8ZXNDS0FNP31RKG5P7K4JT8JMY3XAJ1 }
{ amount: u1601322800000, recipient: 'SP1N9YPXE1Q6KRA0QDZ4777V5GS8EH5TRH7MNNF6E }
{ amount: u1596575330000, recipient: 'SP8C9M9H5SHBMNMCRGE9T3F80MPV9CH41TDPCRJC }
{ amount: u1594500000000, recipient: 'SP391GXPBPCTAZ13P9HW6CXAY8D91MYPFVN97X9QD }
{ amount: u1594161570000, recipient: 'SP3APR2NE8RJGWRM0E0PSKHKMYAPXPR2WD1SJH534 }
{ amount: u1592268830000, recipient: 'SP1M3QE4FVKXFDERG82QNHE79CPQRNYRHGZKZGYY }
{ amount: u1591630110000, recipient: 'SP3C0J5P1K7KX3QG4TFGJNB34W59XDY3435YFCF9E }
{ amount: u1591453020000, recipient: 'SP3P33VZM63MY2SFNE2Y38E3SA96DWTXCYNKK7V5V }
{ amount: u1590405000000, recipient: 'SP344QR95ZP7TZHKC24AJ8HE8MJ3THP3NDFTQ7QV3 }
{ amount: u1590402240000, recipient: 'SPM2BGGS3EZVPSKFGWHGNE3QDJQNKMAKJSC1TFQF }
{ amount: u1585815660000, recipient: 'SP14W211ZSY5DA3M5DTXVZRXY437E4RWHWXAB6X7P }
{ amount: u1584170230000, recipient: 'SP8Z58ZB4XQ3GPB9K1V7E8DRY93716D3SQ9CW10S }
{ amount: u1583869110000, recipient: 'SPHH7JF7SF98X9JTZ2NVSS6EYAZ9C76GW1GPJZ13 }
{ amount: u1581641020000, recipient: 'SP372XHC9TCXYBWTZ2VJW0J1HZNGGCKYV8QWRJZRS }
{ amount: u1579938660000, recipient: 'SP2TQCSFY0ATZH5FNGQQNVZT8NQJ32SFFAWCAJH2E }
{ amount: u1578759980000, recipient: 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM }
{ amount: u1578600000000, recipient: 'SP272EEY9YXV0RCA5NZWB3RQ44CD905YVSQPE6NN7 }
{ amount: u1574328630000, recipient: 'SPF56DS1NVDJK7M7TRJERRBMBACX197X0WD487VN }
{ amount: u1572544590000, recipient: 'SPHGZDMNEJGZNE6HEVC6V26DQF7TD5PTJC54CXQ4 }
{ amount: u1569988000000, recipient: 'SP3EHD6SZ1XPYNGXBWBX7WNSQK79KFR774MZW1CDR }
{ amount: u1561837520000, recipient: 'SP60EC74B4J7E894CXCSCRHXX0EKSX6P0BSWN1R7 }
{ amount: u1560566210000, recipient: 'SPT4GV83945AYKR9MS1QQHT20D2KQJ65NT3CPE44 }
{ amount: u1556875170000, recipient: 'SP13WJ6BG9QA85C9HB02SC34274XJARQY9X7S7Q3X }
{ amount: u1553584490000, recipient: 'SP1MEZNJCCNKZKY64S7D1XK0BCH4HXPM0A7E57Y55 }
{ amount: u1552211350000, recipient: 'SPJNSPGT59ERRD0QSTPAQGGJYYF7JAXVGBD36TBT }
{ amount: u1551533710000, recipient: 'SP3HXH8YZAFY0PBSY3F30YP01R2BGFRGZ6QJGVB4R }
{ amount: u1546896610000, recipient: 'SP1KYM24WR82VRAP9N465P012FR1SNKGKJ7NK6K27 }
{ amount: u1544510550000, recipient: 'SP2KEZ7NVHK63VAP4M5V2V3T46ME67XXRG5XXTP77 }
{ amount: u1540807920000, recipient: 'SP3GXRSVBWTVS7DNK466APX88XZKAB8FT52ZQ8WG4 }
{ amount: u1539867840000, recipient: 'SP2B1VFQ39QNCE7J691PTGJ5WDQBVGA751B2F1ZJJ }
{ amount: u1537563540000, recipient: 'SP27XNNX25FC1C3GW5DRMNKPBD48ZH65BPW1KYPR1 }
{ amount: u1536385390000, recipient: 'SP32TC51TNZ2ETPFVTAH87ERX5P49KRCPH5NJSBS }
{ amount: u1536381620000, recipient: 'SP2ECM6NXFD3HNZ7F5JFJ4WECXZYXKGXXTVFCN2NY }
{ amount: u1536259180000, recipient: 'SP12H4H2GT04MGBZXM3ZKQCMDV8425WB77AKQ82F1 }
{ amount: u1535912020000, recipient: 'SP16N9WMJ2J85MDV4X00RSC7Q8SWE85QS4RF2AXQZ }
{ amount: u1534778420000, recipient: 'SP28GNANHJNETNAT20CT3RYVMPQ21BZ2NXNM1RK7T }
{ amount: u1532031810000, recipient: 'SP23S20TNKTFJ73AWC0WDWQ9XQPT89S08957DP0PM }
{ amount: u1531868680000, recipient: 'SP1SVASYRNWS6YSXA8T0SZQGXMFVKDQ397WY5CCNQ }
{ amount: u1531818380000, recipient: 'SP3ES75PG3TGRYFKYK0V3JJ8A6XBB62K4C5NW3HN7 }
{ amount: u1531753000000, recipient: 'SP1JSZ2ZJNE5F1ZG37JWF04678J2SZ5J27BF9HC1Z }
{ amount: u1527989090000, recipient: 'SP3W0XZ9KXGXA9P9YCBS1RV92F7X06PJ4FZ13EPYW }
{ amount: u1523697830000, recipient: 'SPP7DTQAPWMT80239BZ1M1GVY227MYTGRFA6W7R1 }
{ amount: u1523204550000, recipient: 'SP1EKDMMG508FY96RSEQ1EFGGZ6J8T8DCDPAM12HS }
{ amount: u1522670250000, recipient: 'SP1TZ49AD4HSMEPJFAQ64MSF5RWS6F7V0B84C43VK }
{ amount: u1520343900000, recipient: 'SP3AWE771HSHKVAWXJKEFRFP79SB8FK3H8E6YMSRZ }
{ amount: u1517413140000, recipient: 'SP2TGDR7E7EW5PKYV2XDN5CE4WNRGKGJ6WW5AQ1NW }
{ amount: u1517351930000, recipient: 'SP3BSX57ZEH2KA2FKE3NVNA7SZ4QXEGZN29TC6BZT }
{ amount: u1514879860000, recipient: 'SPJ7P9TS90KMPGV6DJ76WARRH8M5QWTEEPHXZPZ2 }
{ amount: u1514829830000, recipient: 'SP2HJ0QSVEA1C1AGDGPSD4HD7J54HZWCY189F6SQS }
{ amount: u1512525170000, recipient: 'SPZAXJC0XJ10HJ7GK54TW5KQS6TY7P2C6M2HWJ65 }
{ amount: u1510631900000, recipient: 'SPCTM2ZW4GG196JVRHY4SZK4FSM2JW0XXGK8BEGM }
{ amount: u1510452710000, recipient: 'SP3ANMQ34BE5C5E1KB11KCJTCK7FV7P7AE6YF1WQ }
{ amount: u1510152640000, recipient: 'SP1QX2Q8FC5KJMHA0GY3GJPCNWRM5NH43YGYBQ73W }
{ amount: u1509270320000, recipient: 'SP1XQ62X9WJTMZSBTVZN2DZV9WDVM60X2SK5DTFZ5 }
{ amount: u1509007970000, recipient: 'SP20ED669KT0BYH69HPDKP7TWHQ34KXA00DGB2S1E }
{ amount: u1508650630000, recipient: 'SP201VQDZD54J2RM07N8283D80X7SY15ZBGCMRB8T }
{ amount: u1508573250000, recipient: 'SP2G3KJD2QJD169TYWE589KDBBZPEVBPX2BZXFTHN }
{ amount: u1507323660000, recipient: 'SP2PXD7AH66QHXBA1TTAHH0BG5VZWKJDK27EVJYRF }
{ amount: u1506128000000, recipient: 'SP1D5MSG0TH3AVGQS3926PAPYND3H31KYCW4E6Z58 }
{ amount: u1505236180000, recipient: 'SPWDXXNHYRRDJJ7BQW6FQRF9Q070T80ZK15SP9PB }
{ amount: u1504308050000, recipient: 'SP10X3DVVE0VVYVHKZ3GMT7P3T1YWBZBWBRMN0EW3 }
{ amount: u1501628050000, recipient: 'SP6HMADYRFJQVV0CZWR7G2G4FRKPN1TM9C0QG43F }
{ amount: u1500000000000, recipient: 'SP2JKR9SC0VF0H49W2JVX6MNZN22NR60JGVDJSJEW }
{ amount: u1495033000000, recipient: 'SP13GC8J3HAQNAH28N0H3TTTTRJZ3ZPYSQ17XTZ9N }
{ amount: u1494007060000, recipient: 'SP3Y98FPVYN1V2772XNYNQNY9ATVA7KA737ZP5HXF }
{ amount: u1492744450000, recipient: 'SP2F4M27NWAPKWYKXQHYHRBDN9X97V3KGNKBT2JZZ }
{ amount: u1490344380000, recipient: 'SP1EQYPXMNJ91D2GK404B45TB1QZPT8PX1QYT72GC }
{ amount: u1485043440000, recipient: 'SP27MDFZXXS35PJ2ZKNBXGYE83S4N102A2SHPG6YZ }
{ amount: u1480975350000, recipient: 'SPB6X1NWQ1VW5B8E8KCT5WAVE5XF0C76MPNHZ1PP }
{ amount: u1480850170000, recipient: 'SP24K07AQQR9ZXSYD3W6B2NA07TB85YB01S5TQH79 }
{ amount: u1476837350000, recipient: 'SP262F10X1HMTEGYFJ9N7VAG1VEWZ2Y2MY9B9Y35P }
{ amount: u1475439630000, recipient: 'SP1C592HV14E8JNZKT3ZARP82C5EMA26Q8ARZ4YYJ }
{ amount: u1468722420000, recipient: 'SP18GMCS6WTGBPQ0HS02QEMKQ1CWQXHZ7YW67BF6W }
{ amount: u1468384370000, recipient: 'SPV991N9W4W9VH6FV9VDFP23TGQJ0QKY1SP6ZAZP }
{ amount: u1468177040000, recipient: 'SP1MXRW1VBQ2V49J9M6Q5S1ZX9CBGAYQRH2G2V4DH }
{ amount: u1463229070000, recipient: 'SP16JSP1JMTBNV3GN5Y3JYEEPG5WK3SGSYDZSM7VJ }
{ amount: u1460155050000, recipient: 'SP76Q16TS3Y6DD0S9HV6RB774KNRPBCBKZM9CGHQ }
{ amount: u1459365010000, recipient: 'SP2HW3HV6KT1AE8K1WTY9C517CK9C5X7D6GPB97RM }
{ amount: u1457414520000, recipient: 'SPSXGQ6H2T9MVSWZWQF190YDGZRBGSNHNZN082R3 }
{ amount: u1450039990000, recipient: 'SPMAYG63JQ913VA1FHG92QD30SYQW7TRJ4KBT2JC }
{ amount: u1449720560000, recipient: 'SP1BV9GFPGK939EZGRY9VQB900C3R55ZCKCRPM5C1 }
{ amount: u1449536260000, recipient: 'SP31CTGCZ2HQ4HW11EXRFGTXZDRXCC493JWXEMCV1 }
{ amount: u1445731410000, recipient: 'SPDM6RZZ3BMB3EFMCK8QQ7XBM6FGYHW5X3QKA462 }
{ amount: u1445680330000, recipient: 'SP3F0G1QZ7SGHFFB29XA7F6WQPJ15Z8XRWMJXAE22 }
{ amount: u1445210430000, recipient: 'SP3V9FWMASAC7552X2RTHG9DQYEPHMM4WSBJM2Y6B }
{ amount: u1444809550000, recipient: 'SP2YSJH4FDSYSG8MQF5W21KD40NJNWBFV8JV0678V }
{ amount: u1443229650000, recipient: 'SP37BD0B1QVD70D854P7RFE04JSJ6NGWSFWQWCCR5 }
{ amount: u1438366170000, recipient: 'SP1G8KYWJRCBMHANEZ1Q9QDXWPCEG7QWZWPZF4K8T }
{ amount: u1438146930000, recipient: 'SP3WZQKZ0FG42R2M615PNVEYMG9W4YCH85XYMX36K }
{ amount: u1437401200000, recipient: 'SP2QGANKWN742KV4XPV1T6MMWC9FZ7GVAABFCGT2N }
{ amount: u1435213490000, recipient: 'SP375AE4B6EWDCE852X1RJNQ5NDNQ01RF9WRC05SJ }
{ amount: u1434497860000, recipient: 'SP237M2ARRT6S49PSKBJ9MSZMBQ58T4XWWYQK96VF }
{ amount: u1433021700000, recipient: 'SP3ATPX57BE3SM2AN7VA9HH3FQX1B8SARGAF6ZMM9 }
{ amount: u1426117030000, recipient: 'SP1HP0A6WQD7TM4Q26VCT3JRXJZ9PYQC22RRFYSMN }
{ amount: u1422507780000, recipient: 'SP5RVPAAYQYCZ6FP42V7ZTCWAG3YTKPXE5PWNS16 }
{ amount: u1421144300000, recipient: 'SP1HD036W5Y1YNQJA1057YEHA0P28NMXKSMQB31RG }
{ amount: u1421039190000, recipient: 'SP1GDS7A4HY9NRSH8F485VHNAHCZVV9CK9E2T1FSA }
{ amount: u1420432850000, recipient: 'SPE9FA0GRQRJWC4M69ZE8AB547TQMTGJ71T0ZCN2 }
{ amount: u1420382370000, recipient: 'SPRPA3QHDFRRYNE7TP0DF44EP6XPTFVPDCCPN6BR }
{ amount: u1416600000000, recipient: 'SP2KN49C3NJMJDDA1XATSY8F6M7GE02Q06D5C8PXG }
{ amount: u1416124970000, recipient: 'SP1E2GBZR3AC7956RSN6E12EN32EGYM64XP3HC1B9 }
{ amount: u1413890150000, recipient: 'SP6ETZMX8PZ5WG8HE47WZ9M3M6XJ4AR8V221ENNH }
{ amount: u1413738460000, recipient: 'SP1F442NTXDKNA9XWK933DQEVM7EJ0VCSBP0CSNRC }
{ amount: u1412655100000, recipient: 'SP1R2TDXQ2J2D2A5T6VKDW5V6F8DJ6QH2ZHPWR1FD }
{ amount: u1410331640000, recipient: 'SP2518AM3SS47QTCD31GH6Y25Z7WCGQ23CPGDS1HK }
{ amount: u1409873000000, recipient: 'SP3M7FZ4KB1AB9XE3XMMAX8J35GGHACG3Z0EDCQ3V }
{ amount: u1409497550000, recipient: 'SP36RBBMH2KTHE9KW799S7FAVSXW3CHP7HRY4H59E }
{ amount: u1407214060000, recipient: 'SP2C54ANWWBGA0624EW6R1VSK2ZEHE8W0G450BKNS }
{ amount: u1404403360000, recipient: 'SP3YFT5Z36P4T3GYMHD7VVZCAJ7Y6HBDCHCYSBX0A }
{ amount: u1404166800000, recipient: 'SP2AKBW1SN09KW6TWG0WA93NWVHWVBAYWBYP4MCJN }
{ amount: u1403603780000, recipient: 'SP3TN1PVTV4D87174SYZ0TQSC6F72XXKE26TTB4XG }
{ amount: u1403069800000, recipient: 'SP2KM0CM9RD5P7HBMJVN900GR6VSMKMSQXFXA973B }
{ amount: u1400958110000, recipient: 'SP2EC3HNZZ8V7J9FC52VMRX3TQ3ASAY57K0FPAMEN }
{ amount: u1400537010000, recipient: 'SP17D53Q46P5A5KX70Y3E7X86GBAAC2AHZ8FJC5MN }
{ amount: u1400494280000, recipient: 'SPQ9SRN7M225V6JE9RT272ZT6KE8NZHWEH6VHF2V }
{ amount: u1399993260000, recipient: 'SP95WJB3XCA4ZNANXB4GF29JWRAG3ZTJYE5ZAVHR }
{ amount: u1398698850000, recipient: 'SP2BVSFK18B2JWX90CK30NMQNXRH6HCMPR0E74AFG }
{ amount: u1397000910000, recipient: 'SP2QE3SKKZAY68Z3KN4TTJN41BVE3B5QVJMNKJAZB }
{ amount: u1392725140000, recipient: 'SP2ENFJCA4BGFQA7DBQ0HYZZ8A1ZB2BR7Y9NE1W9T }
{ amount: u1391592000000, recipient: 'SP399W7Z9WS0GMSNQGJGME5JADNKN56R65RC2E8B9 }
{ amount: u1390764470000, recipient: 'SP1W6GST6975BMTVHN3H95XWMSRGJNN1VPVA4B4QG }
{ amount: u1390574080000, recipient: 'SP19DM8GCYR75AE00HDYXMKX79M5WCJWHA0EECY4Q }
{ amount: u1390244330000, recipient: 'SP37XV2Z5C0734XHJ91FGR5JQ8YSSZFARHBKM914P }
{ amount: u1387124120000, recipient: 'SP23AM6H63S9XN4FZ64930K93Y5XW9DS7SAPEQ6JY }
{ amount: u1386873850000, recipient: 'SP7NNFSTEVPMDS8NKRGFRTEQ79DMW8BJ98A20D50 }
{ amount: u1384884620000, recipient: 'SPP0WVQ15JY65761EF9BKP6PZAH035MNJRCVEWJ2 }
{ amount: u1384393260000, recipient: 'SP2022PJ05WB4VXP8HTVFAFE186AM94A4WYQ1RQY2 }
{ amount: u1384324950000, recipient: 'SP31ZXFAT2XCVC1R071A1NMRH1Q3BT816DH0QWSZQ }
{ amount: u1383900000000, recipient: 'SP3SHD49Q2EWE5RR246EE96GG862MPKQA3912A4ZT }
{ amount: u1382950400000, recipient: 'SP1W5V0GVS1X09WM7ZP2SZERQRGJJF283X7TDAV7R }
{ amount: u1382407660000, recipient: 'SP3K28W26GHNNH1JKSPAKV1FRDTRE3MVNBFKX2YM2 }
{ amount: u1380000010000, recipient: 'SP11XHVM0W4B7BW88HZ1WD0ZPYDE90EYXQJXTFMZ5 }
{ amount: u1377670460000, recipient: 'SPB2DKB2DHXZ30A8JVD3X6303WNWGCC88JHH0B36 }
{ amount: u1377592560000, recipient: 'SP1RAMTBBC3FKBY4Z490AXCTEERC93D1WZ184FYNR }
{ amount: u1373897490000, recipient: 'SP2C7BCAP2NH3EYWCCVHJ6K0DMZBXDFKQ56KR7QN2 }
{ amount: u1373326580000, recipient: 'SP1X946EMEVRK174CWXP24SA1Z0PQSSHG5YGGD0HZ }
{ amount: u1371890000000, recipient: 'SP2P4R0WMZQZX6BQ338DEBTJCMJBRGY5ERA5XN0GC }
{ amount: u1367579330000, recipient: 'SP1KH4ZK5G7VXFC7E3QQKMKJV4X2X715SYET8PTTA }
{ amount: u1366084400000, recipient: 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8 }
{ amount: u1365196440000, recipient: 'SP2MEZYDCP10CD6QB393ZDGWDS8JY7FPDTCZ3FNRA }
{ amount: u1364380800000, recipient: 'SP3PR3ETRNRY4MRTCPAGG2VF7HBC577Q87R0GXQV6 }
{ amount: u1362549240000, recipient: 'SP13VTZ2FZDZQSDEPPQKADSRB47W644GFNCAQKD75 }
{ amount: u1359939810000, recipient: 'SP2GE17XAYEFE5S3MP0QKKPWG7FWXKMC9K6HCH91J }
{ amount: u1357508220000, recipient: 'SP1KN03ZNGPY37HSF3HJVXEBBDCVYF2MJ3987NANY }
{ amount: u1356293750000, recipient: 'SP2ZXN5XPKAVZMGPSVHH4PREM5HBZBJTQSH11MY91 }
{ amount: u1353650830000, recipient: 'SP2ZZNBTZGVVGRBE737Q31N7CDD6NNQSBRWVMRSGR }
{ amount: u1353237170000, recipient: 'SP18RVHVEN3YFEQT7FB412Q2YCTR6CCJGECV8KEK9 }
{ amount: u1352651000000, recipient: 'SP39TAEWH0DYMK8DZ00D61DMA4D4N544HVGQHVJR7 }
{ amount: u1352526380000, recipient: 'SPR643E2Z21Z638ZFGHPR8VDVNRSSF990MBYFZJR }
{ amount: u1351338730000, recipient: 'SPRFWW9FY9B8D3G7T6ZDDZ7ZRK1Z6GDTYAF6YN1Z }
{ amount: u1350950740000, recipient: 'SP34J7HP28X0XA1V6NX3VR3H6AF0ATTZ6PCHFSK37 }
{ amount: u1350484880000, recipient: 'SP2E47FTH7A69B04JVR5EE228C6GH8CSPAYBQKWHK }
{ amount: u1350385150000, recipient: 'SP24TRMDXF95387W48E8RME5981BJ13QETNC4666H }
{ amount: u1349876230000, recipient: 'SP39KXYNHMJ7TE4J54BS4DBWGJCPZ69Q8A903T9TD }
{ amount: u1346162790000, recipient: 'SP8QP1K71XFKRX9QK6VEMZ1VJX85YCQ2SRAN2J5S }
{ amount: u1345625000000, recipient: 'SP2R5GMZFVGV0Z9AB4FJJKA4R6HQ4PWZNPRN69KVQ }
{ amount: u1343649000000, recipient: 'SP33J1M58TXCFMYQBM1WSX6AZ4NXYYA459AFSKA26 }
{ amount: u1343362660000, recipient: 'SP2C2MTNC2KVC2XS3GS8ECMJMN8YQMG9B197M6PPF }
{ amount: u1338917750000, recipient: 'SP19HEA9K1C88HFD6FH02C6XEFQZNZERD1CXRF14D }
{ amount: u1338822710000, recipient: 'SP3C0RMDZZJE4NM7W79F7Z7T5XB13D1W9NYR24894 }
{ amount: u1337156030000, recipient: 'SP3P2GNN9A4N1WYHR7GGG8G283NV358MR2628WNNP }
{ amount: u1335540650000, recipient: 'SPQ9KDVVFJVCM3H9NTVFXC7K3QMHJCKJP1FD65JE }
{ amount: u1335362530000, recipient: 'SP2VN2KKWQ8SFF3346E1NAE7JTNQCAQ3RQ52AXXMD }
{ amount: u1334246050000, recipient: 'SP2H1HWW2ZWRAFM8PEYG1NZNEGYJMXNSGJMRXMB76 }
{ amount: u1333866550000, recipient: 'SP2MZB9A4JAX3QXSCF63F93HP3FVXJHTZJKY8N7K8 }
{ amount: u1332466010000, recipient: 'SP356D76JPPZ643BD1FKTHNK6YB478JPPNTS07S0R }
{ amount: u1330581160000, recipient: 'SPXKVSQTJDF8DX7EAT14WMNHE0WH9PZA47GWFH4 }
{ amount: u1329467690000, recipient: 'SP1P1321M5AZT5PGDCY376CWRMB5AAP8XS65QS31S }
{ amount: u1329427600000, recipient: 'SP3EDA6N9V3QQ5JKY17G8HZCYMGKE9RY4A9A1RVTH }
{ amount: u1329384360000, recipient: 'SP3F9FYVZMXB057TB08EKAJWQ8X1JPK2C7YY1CK1D }
{ amount: u1328639410000, recipient: 'SP3AHCYGMY6B1Q31Y6XDV2DSSZHY3P25XHYS0ZGXM }
{ amount: u1327544340000, recipient: 'SP2163DR7S42CZBN02K75JDNJ2RMB93X5W8FA2KWJ }
{ amount: u1322017020000, recipient: 'SP3WA7G7V0Y8QK74E3XAWJ50S9W1Q69VAGJJ4GVZ6 }
{ amount: u1321633670000, recipient: 'SP7JZM8YSEPBVCJZ82WTWTW1YAVPTK14WY5J7Z82 }
{ amount: u1319016090000, recipient: 'SP12JM4Z7YFYZ8PMANHV0R1HCQNC4FGQSK95C9DE6 }
{ amount: u1318510010000, recipient: 'SP1RVPREZZ5Z4CD637WKVQABHF88G1KW1VXHJ6GQD }
{ amount: u1318391510000, recipient: 'SP1T07GK9H4M0WP4N1DSSA7NJ7GNTQZ0GBZM0GAR2 }
{ amount: u1316679170000, recipient: 'SP335ZBYEW9K9DGJKQH8HPKWYJZB34WSCMZ386TFC }
{ amount: u1315361190000, recipient: 'SP2N1RYZR4BP226AE7MA48XBBNNMAAHG403T34RJ1 }
{ amount: u1313914330000, recipient: 'SP14RYBAM4ZMT5AZBXD3DGB7V7AGAM3SKAGHWNFXZ }
{ amount: u1313178810000, recipient: 'SP2DJK086C7675WTB6TN2JSWRZG5KWFMJD4VY7GXV }
{ amount: u1312834200000, recipient: 'SP2F3MG3DQB1NT3V1SQRJ038TMT4CWY4T0JNB41MW }
{ amount: u1306351860000, recipient: 'SP3491VJH5DHG6C592K632KSAYWSYEDKB4SQQXHSS }
{ amount: u1305751000000, recipient: 'SP3J73CYADWN61B5V4FXWPX1PY7JQ65RF3989X3KG }
{ amount: u1304120060000, recipient: 'SP2W06ZR4DFKHE15PY9F6KN8RGY7V16WWX6X1VNBT }
{ amount: u1302160950000, recipient: 'SPKXD7DCPNP65BJJBEB65BVAZTDDV96M232S28CD }
{ amount: u1300062310000, recipient: 'SP1T7NX14XWZT5AAW72S9FPF2TWW9AM802S0FFVZ6 }
{ amount: u1300062140000, recipient: 'SP1XS9FHP1HGPRWTQ9JED1HGRK6XVYBJFNVAQ6XYP }
{ amount: u1299327310000, recipient: 'SPMYW766HEERCDHWYAHR83NW4VR2YC89ZN7CQ5BG }
{ amount: u1298723180000, recipient: 'SPY0WCZP24SH3JG8ERC1C5JP702ZP6P1HB7MV99W }
{ amount: u1298329850000, recipient: 'SP22CEEEERWENJXRNBAPTVSR5AP0KT1YMMAMFZT8B }
{ amount: u1297383550000, recipient: 'SPA4NG9VP4TR67TBBM42JZMY58FKRSTB3BKBMZXJ }
{ amount: u1294222420000, recipient: 'SP1VHN3AMWYPR72RA1FRCWV2R5AGWQZ04CA40N6YF } ))
(define-constant batch-8 (list { amount: u1293592630000, recipient: 'SP16XF2S6JYFNKXFHY99X9XRVJ0AR4NJYFR9ZY759 }
{ amount: u1292996000000, recipient: 'SP1PZM3TA0WB3QGGSMNSSB3H46YBJ7914GQ5EP54M }
{ amount: u1292048900000, recipient: 'SP3EDWSTVSXJ60Z37H8F29NG4C6W9YVCRCZ7KS43D }
{ amount: u1287856000000, recipient: 'SP2V28E4YZAV1Y9B1Z901YBRZWP09E6WS5APZZ9QN }
{ amount: u1287187180000, recipient: 'SP2Q08P9HP0KKCVMADZ9AQ11MN751R75QAE6ST6T1 }
{ amount: u1287020010000, recipient: 'SP189S0AFM4P1WQ1RQJH5F2N7PSP708RESADM1WJ9 }
{ amount: u1285406720000, recipient: 'SP151ZN8AJVGVJDDTH2WN46RNM4Q0BC175FECQMAG }
{ amount: u1284731610000, recipient: 'SP1QHQHC9ZD605NET1E2ERGCZ465NVN0JNT4MDHB8 }
{ amount: u1284319940000, recipient: 'SP3XMVDGA24KTAMT777YHBJ9DY3P3ABWZ39466NWY }
{ amount: u1284318310000, recipient: 'SP2FQSNJ7V64JS90GTCHHB7W6NMYTRR4RYX1HKW7N }
{ amount: u1280917590000, recipient: 'SP25YK92Q7R6WBA5S8FN291KQ10WWDCHVNQR4JWT4 }
{ amount: u1276985000000, recipient: 'SP3FN3QM5TBKDYJHH3KCHEX6C2Q7H40HYQ070W09B }
{ amount: u1276807140000, recipient: 'SP20CN4BQTFMW1EQH3BGH4NA5B1E0TXA992JBBC66 }
{ amount: u1275402680000, recipient: 'SP5R0ATD48XM2X6HP92MZ7ENGHDBHW785H8EPTAP }
{ amount: u1270584900000, recipient: 'SP1ZJ6ZJNT8X8KZWTTN9C090Z6QED1FNCBN5DCT14 }
{ amount: u1267642890000, recipient: 'SP3KKC6R0B75CVF7F5PMRJTRRVQ8J3BFTZAJZGHAE }
{ amount: u1264545700000, recipient: 'SP1ANK87M9190FSZCFZBR8EYYQ9SERFKHYATY7NKN }
{ amount: u1264545150000, recipient: 'SP2F79WM0KA67R3KNBHJCP9A27EV9DAVSP4TGZV5Y }
{ amount: u1264506360000, recipient: 'SP2V1XT3A8ZWHR7F6MXD076XQPEPS795WWQ6PVRTP }
{ amount: u1262121610000, recipient: 'SPDD2PYX9QCZGMKJ5Y96NRCRABX632V6FM5GW83H }
{ amount: u1260537670000, recipient: 'SP3JY4JXZFTW0AR2TRMWNPSFHBVXXZ8Q05E09YNR7 }
{ amount: u1259368950000, recipient: 'SPVQW7M5BBPP05C36SZPYACHZ3NZ62N58BNNGEDA }
{ amount: u1258854810000, recipient: 'SP3RKZ71KM6W12DKM2ZTDZ79ZGPTCAJDMHGR1T3AN }
{ amount: u1258048150000, recipient: 'SPQNFYZVJD8JRA1KARZQYT9BTJ1N6AHDB86TMWRN }
{ amount: u1256239660000, recipient: 'SP1PFS43AGRF3KFJCRYJZESJY1TT1ZYHQ7QAH5YRP }
{ amount: u1255321850000, recipient: 'SP36MCQHXPP0DZ2KPC1KEY6ERC8GKB6QVCAK0PQYG }
{ amount: u1255072860000, recipient: 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW }
{ amount: u1254534700000, recipient: 'SPXMKY8QJ4DG3MSJEQ4NP64A72RX1HP835Z675VS }
{ amount: u1253899000000, recipient: 'SP3NMHVZGA8EH7KAWMF1S63V417WEGFA6HKAK2CKM }
{ amount: u1252360560000, recipient: 'SP2AEY9QJD5MGDEEYYTNYBVVS7S97W2S0302HQ7S1 }
{ amount: u1251898550000, recipient: 'SPX3AY54Z46NDDXXYYQQ5BH0FEN7V9T3HRNB0E8F }
{ amount: u1245642850000, recipient: 'SP851XRTRVADZHAWCQ6WJMXWSP0XT2WYJS6KG5JE }
{ amount: u1240227050000, recipient: 'SP27ZS0WT2SQEF83CVFGDXD20NMBPN8VP08SVHDV9 }
{ amount: u1238746820000, recipient: 'SP3ZQ324JA8CPZ5X38S7Q7ZCC0MM9F3PKRDJA0PC3 }
{ amount: u1237597000000, recipient: 'SP2PTJSM1WKAD285FJQ768XN2NXKH20ZTJS6TM96Q }
{ amount: u1236707840000, recipient: 'SP2WTF589V34J2EMPGM00KEGBGARTG09M9D6ZD95R }
{ amount: u1236329060000, recipient: 'SP3GB3PH0T9HSDESX0F88YQEXD4ZA0G4SCWHRM86Q }
{ amount: u1235932250000, recipient: 'SP2X5SF8NKFFJXN7FFTMM15VJXZ9GCS5BJF1J7CC9 }
{ amount: u1235126220000, recipient: 'SP3EB76Z6BFJ0MZYEHRZ43ZWDRS23D6G9MDJ2CCNK }
{ amount: u1233805760000, recipient: 'SPC482BA462B1NJQZ3WG9CG7A06DDBT8WQHG3W2Q }
{ amount: u1233447800000, recipient: 'SP3GT6YMNTGNZ50RBFAPR5WWJMQ2XKJCJAY6KQTFD }
{ amount: u1232870290000, recipient: 'SP1ND6SGNX16Z68NZR32PPN934KV9CDSRNF5XQ64R }
{ amount: u1230723930000, recipient: 'SP3731FXN86HFJ5SH525315DD37AA9NV5TBZ2ZKWX }
{ amount: u1229807320000, recipient: 'SPWA9EN2NNW156GEQEKTMCVJN1XKTYH82K1Z7TEY }
{ amount: u1229787830000, recipient: 'SPHKFR7YCBASQXCCXJKHN3J6E9J4156KVF98RAJE }
{ amount: u1229444670000, recipient: 'SP1D799V7FK8Y1CWRNHRFBEFDMDAN21QCN44PTR1E }
{ amount: u1228384240000, recipient: 'SP18RPE4HV1397F61C0QN4JV3SGQMH5AZ06GMCCYA }
{ amount: u1226596370000, recipient: 'SP21ZWK956YT492M6427J0PYFR21JBXC0C1RD7ZNS }
{ amount: u1225740630000, recipient: 'SP1VGCMHKXYGZ4Y0DWZR6449M0EJY3PZV2XX61EMH }
{ amount: u1224032250000, recipient: 'SP2ZED9VGPQ4T22YN057NVSMF17VDTN5KEF3FAP34 }
{ amount: u1223443280000, recipient: 'SP2A2GE9ZV2BWHBVM5MJ2J21AX8BRXEGX4TDP5DJ2 }
{ amount: u1221703440000, recipient: 'SP1ZS374W4GN8YEPXVR5FPZE00MZKQ6AYXD28SWGV }
{ amount: u1219855930000, recipient: 'SP2R7HA42FBVPE9QYP77XYY90C0NR6Y09KTPACQ3Y }
{ amount: u1218575050000, recipient: 'SP1J9610W1ZEQW91BFC0NZVNE1G6SJG6EX3MS1E7K }
{ amount: u1215931370000, recipient: 'SP32SC5AP3E94VCV7B757NN5XBBPW203JPQR4FJM0 }
{ amount: u1214906770000, recipient: 'SP13ZNFC1422XKPQRJYBP5M23VNEVEBE9CDT6CJ1T }
{ amount: u1213839160000, recipient: 'SP296Y0AC0ZY58BBZMC6JJPFJH2A0DWBRNW7VFV8X }
{ amount: u1212646270000, recipient: 'SP1AQZX0Q9NDMC5GR0TYRX6Y4W3DNYGD3T83S3QRY }
{ amount: u1211500000000, recipient: 'SP1FS9ERDTXYA3NHN0KRE8XH3Y01DDTRSBK31Z1ZZ }
{ amount: u1206989770000, recipient: 'SP3CZQRTGFQH5RVSD3JVJ489C2HHXS5YAKJT979AZ }
{ amount: u1205956060000, recipient: 'SP16RK9NB1GZES42QE56NVH1RZP7R850Z0C9HC9XF }
{ amount: u1205083590000, recipient: 'SPS92T226FZFPK9MKPS8VA4MRZW9F93SYG148JZF }
{ amount: u1204556190000, recipient: 'SP3JK45ZMNEQBH4RYJKRJW3AV6EVNRFA7Y422HQH2 }
{ amount: u1200772850000, recipient: 'SP2ENVTSV6JYQY3M3ABBG9B0RHZAGH2PS40GV5TAR }
{ amount: u1199269320000, recipient: 'SPYJZMM6AE675XSG1CRKEF0AYSSY1DQTC9JPP3F3 }
{ amount: u1196173770000, recipient: 'SP3K3MCR7ZDDDGPZMGE6R5SJG9BVY7KXWJHAM0JEH }
{ amount: u1196096770000, recipient: 'SPRY4GZYFWXPZM09P3ETG5T766MTPHY4028F158N }
{ amount: u1194647180000, recipient: 'SP8J65V6Q6KQHK05W06ZQD2NY2XNG8BPG5M9YZFP }
{ amount: u1194309150000, recipient: 'SP2R68YQT7K0GA062XPZMWVNHJ50H867BW728VANV }
{ amount: u1192814690000, recipient: 'SP3DX0TB75XZA8TXH2Q2TT460BJAT5X02NKC1A441 }
{ amount: u1192785690000, recipient: 'SPW0PX7VCEB10RBWBB2J5KJEKMRAPAYQB2C3PX9P }
{ amount: u1191819050000, recipient: 'SP1KWE0HH2WDZE6AJF0QPHFZ061TKQR1AG1HBXSPN }
{ amount: u1186995210000, recipient: 'SP86S1NKVVV75S591GST2GMWF8E7Z1TCTFHVMV5T }
{ amount: u1185887350000, recipient: 'SP1J9DZGTZXB2810FE75VJHSJ1TFM94CHCWB1WD7Q }
{ amount: u1185342730000, recipient: 'SP3GPVV7MXP8P9E74MBM9BR90BKVV0HHDHEHNVDAF }
{ amount: u1185010090000, recipient: 'SP3EBSKD8Y36B9EFV1N6K5G9Y6DYTV2VZ6KBBSD6P }
{ amount: u1184885570000, recipient: 'SP21XN24KB9BPNHE8BFKKV3716C96QD6TTD86CB1R }
{ amount: u1182701490000, recipient: 'SP2089TH5B0143QTJ204T1FSKZ7VWNR43JD8RXT44 }
{ amount: u1179302000000, recipient: 'SP2YX2MQ9M02NS8A5KBQHH4EC67ABP1FVH99EHB67 }
{ amount: u1174944020000, recipient: 'SP2NHYQCG8GMGK3NHSKY4CTXR6XYKCMB6SRBWGX67 }
{ amount: u1172846880000, recipient: 'SP18N8BRYEG8NZZ66F4AVP30G0QYKWTT3XPE8BRW3 }
{ amount: u1172841510000, recipient: 'SP3DQQNGQJBPVSEWPVWHH7FQ7J3AE81WRPK1FN1WB }
{ amount: u1172376620000, recipient: 'SP3TZHPYHKBG7RSMJFK72EQQ9N9JD5ZM614QASC0J }
{ amount: u1172224400000, recipient: 'SP2KQB6S2KJ02W87XMY1C4SNVTP6BABXM6ANPXBM5 }
{ amount: u1171300980000, recipient: 'SP1DNNM2VFF0RNAR92A0Q6WWYBQ34NSCYDHZ8VQ98 }
{ amount: u1170543620000, recipient: 'SP11S9QA482A3ZCE63998SXSTZ2VEQZ9E4J034PAB }
{ amount: u1169006050000, recipient: 'SPF6NXR1DGCSXYQ6BY253J75KD168V8BZNGNZ4EM }
{ amount: u1168954860000, recipient: 'SP2X08PRF910EH5PET93110KY64Z3SYKGVT9M41D6 }
{ amount: u1168950000000, recipient: 'SP23G7NT1J9H48R87HB3MKTK0NXMH9F97BTGD6F7M }
{ amount: u1168442200000, recipient: 'SP2FW4KFSSX901E8CPGDQXXHZHY6FXXT1FJN6WCFK }
{ amount: u1167467920000, recipient: 'SP1V46Y5CNKPK766GR0N9N032ZJ8Y0VDHGQ575QNY }
{ amount: u1160983160000, recipient: 'SP3373GTYMB3CKWK7CYB7GY8A4TP0GAWZP5D397M2 }
{ amount: u1160669850000, recipient: 'SP21TA8GMAH56PSNZ8EJPPY6HSN5DDV0S3GQ2XDQP }
{ amount: u1159005320000, recipient: 'SP2STN8CSRTAB66JK6243NY2DEWV7AYH517ZRC3C0 }
{ amount: u1157030260000, recipient: 'SP37BZ44M9PBED00HF7MWSV97ACBA6ENZDWRJAKH9 }
{ amount: u1152747510000, recipient: 'SP112D45N71SKKPJ94ET6ZRJ20EZMDDM1KBS21Y26 }
{ amount: u1152365480000, recipient: 'SP3C7Y6C7CQT0K6BKJCYBGJ301BP8G43SKE8616J6 }
{ amount: u1151904090000, recipient: 'SP245RYQHC7TZH2VDQ95KHG4CNKMYYX9Z8A08BGTE }
{ amount: u1151855600000, recipient: 'SP3VCWNTQFBEAC5EVQ9DPBBYEBQBDXM9PTZQ3HF6 }
{ amount: u1151758520000, recipient: 'SPXVXZZZYY7Z96DAAHK5QTSNF7AHR0BS0EPGV1YM }
{ amount: u1150186740000, recipient: 'SPVV95A807JQE61KNJ0ZB7NW3DV6SWT8WZR6RASE }
{ amount: u1149016260000, recipient: 'SP1NGMS9Z48PRXFAG2MKBSP0PWERF07C0KV9SPJ66 }
{ amount: u1147354960000, recipient: 'SP1WFYBVD2SKQQE2TXBKAP23GXY7Q7GP1SBJP0K2Y }
{ amount: u1146601710000, recipient: 'SP2MKG2PRWF159EJ5BCVS3WS9KVHQVX385CGRB381 }
{ amount: u1146574280000, recipient: 'SP1TPBV9A05YH0N4PJ2E9Q245TSW1VBFY8ZDSK81C }
{ amount: u1144245890000, recipient: 'SPFRW1TFXVN28TRFDKHS71EQ0706R4Q6WH661DGD }
{ amount: u1144232480000, recipient: 'SPPTQW31EDXSQJ4N3774H03PK447C7YN6KBY43J8 }
{ amount: u1143734000000, recipient: 'SP2M1R9EJA7Z85NXFCS9AGG5NFC60P3PDAM69AP1M }
{ amount: u1143261400000, recipient: 'SP28T9FE5DK238Q7MJZXWW6GZRYB4KMK5FWSTF73B }
{ amount: u1142500680000, recipient: 'SP2C36BDDSXMB97T01450M14H2R1YQ4SY6F9M11N2 }
{ amount: u1142496000000, recipient: 'SPBPAAPGW654ST4ZZ9KMHY1TPG8BQ0EJB4VPSH5X }
{ amount: u1141618710000, recipient: 'SPARK7R24Y65X53R9T9FHB8H412N2DFCYTMH688S }
{ amount: u1138926800000, recipient: 'SP3CP3N0JRA9W69RRGE4KH0HWNAJ65VGN0C6A6KM5 }
{ amount: u1138639330000, recipient: 'SP9RFM6VW0D2QHKZMHB5GX7P07EM0FYGZMEP481K }
{ amount: u1134511640000, recipient: 'SP731WKTNJWHGBVQP63KPJZ88EMMYVQ5GXN9EC9E }
{ amount: u1134379370000, recipient: 'SP3JK5K3QX2W4XP9TQK8FNQVT69F0KGNCD815BR5K }
{ amount: u1132567000000, recipient: 'SPQ76PNCTERT3RSB2THNJR0FX74X5NFBWFHT8T3C }
{ amount: u1132111110000, recipient: 'SP33A8X66WM5J3SP0BSJH8100Q8N8MRNZGQHS0XM1 }
{ amount: u1130211320000, recipient: 'SP1779T6BNQ853MTF39HHJAR5E7WVJQZEBGZ2B9VB }
{ amount: u1129265500000, recipient: 'SPA7396SQ3TDK4RWBCRK98G24JVV0ECY1QEVFX3D }
{ amount: u1129001980000, recipient: 'SP1NQ0WG5PTB7M2N3PNNPG5XFD7N14VXKHZ9NQP08 }
{ amount: u1128727440000, recipient: 'SP2FY19D9RCRD3CHENAE44B7Y36HJP52H02R9ZJW2 }
{ amount: u1126724270000, recipient: 'SP3CA3WGSEEY7FDN93920187NN6JZAFWWGA09D63S }
{ amount: u1126536760000, recipient: 'SP17T4MMXV5CT0MNNZSZ6Q353EKDGH0SQ6HDAQG1Q }
{ amount: u1126106980000, recipient: 'SP3VHP5FZDEC2WGF5QCJCXBYKDPXNY1BB7JP8TCGS }
{ amount: u1123215180000, recipient: 'SP25DP4A9QDM42KC40EXTYQPMQCT1P0R5243GWEGS }
{ amount: u1121225980000, recipient: 'SPVXRFB75MFWJVJG9SDNQ17WJY3VQCB4EEEHX1S0 }
{ amount: u1118675210000, recipient: 'SP3BZEVK82JSY4V7CH9P6P6YS0A1CAXM0X6SSYT4P }
{ amount: u1118434500000, recipient: 'SP3G9PTDQ03M7DM10HJXAAJWKFY0GED64690PH2RS }
{ amount: u1116282570000, recipient: 'SPHKPJXTXJ67E195R4Q7R5XWY4AJFNGW7300F5SP }
{ amount: u1115152870000, recipient: 'SP34FF1VH76RPQCZVMS7Q7KCZB02VNK2W8GRVPY3X }
{ amount: u1111550540000, recipient: 'SP1C9VHDNE5CJAN7FN45ERZWP5X9AST6A3M7JNC6G }
{ amount: u1111374800000, recipient: 'SP2PHKFRAQCP0NGEY9EC1VZ4ECVWSZP7MN2E08AGK }
{ amount: u1105590650000, recipient: 'SP2E6TT4ES2R1W5YZ5MEW0VER9GQ1R8ECPV4CHT70 }
{ amount: u1101263860000, recipient: 'SP1S9NMJEEMV9R8FWYZAX98S90FJNJV7H5V9HGFX }
{ amount: u1100666650000, recipient: 'SP107VKWNEFGZVS8P1K18XEQVW45SH74VM2DZQMEZ }
{ amount: u1099909980000, recipient: 'SPCH541VERBT26D8X97NY7YJ83BPKWFV5N4765XQ }
{ amount: u1099102580000, recipient: 'SP17CVMRV229RZSYAG272TANPT914ZW1SPDCDXRVG }
{ amount: u1097377400000, recipient: 'SPKWHMS0V6A4YAYXJZZMZ767R83943AVNTJY4MN4 }
{ amount: u1096394660000, recipient: 'SPGNXS634N3165QEX9WTYPSZAFEP9SAD0QE826YE }
{ amount: u1096100000000, recipient: 'SP2YZV0M6EM9CA8JJE4V1RRQ2452NC7JRTRNCBYM5 }
{ amount: u1095673670000, recipient: 'SP20EFCP1M2W97AC2K261546V3VRHPFW0KJ5HAKVX }
{ amount: u1095098620000, recipient: 'SP3F1M73YX0TA9Q5AKGA06TEB3MQE5WRC6CZ891PA }
{ amount: u1095000450000, recipient: 'SP1SCY6RS1W4R9JZ3Z362T1P76ZDZ6Q1WW8BRXDTQ }
{ amount: u1094932340000, recipient: 'SP2GCKX8R4DV6PQCM8XZWYDECN1AKNQ4SBT3XDCR6 }
{ amount: u1094595970000, recipient: 'SP37J0C84GSHD35YBF5739FY2S8VRJC9K13JGCDJY }
{ amount: u1094115590000, recipient: 'SP2X17Y718NA9VS2RD3JW60VV7TMWT1BG7A0M2KK9 }
{ amount: u1092897020000, recipient: 'SP1WK1ND5KB3H0DYYJASSVHRHARBZK1FEV5ZJM9EY }
{ amount: u1091606480000, recipient: 'SP19EHG2SJQ6C9BDNMC4CMKQV7Q3DHM8V48QS7N43 }
{ amount: u1091095570000, recipient: 'SP164ERMDNBT15W1E33VC6XK8V9G8GR1EZN682VAC }
{ amount: u1090732720000, recipient: 'SPEC924ZY2PNHZCYNZ21NVHWV5M8MSBRTPN82389 }
{ amount: u1090023450000, recipient: 'SP326M15WGYD6HYWG64VMFX3JKHFV1TCM6TJE3PYJ }
{ amount: u1089801330000, recipient: 'SP3EXTRKM97577JFSC11TER2B8HTXJPQJB94MJ31S }
{ amount: u1089329440000, recipient: 'SP24H6Y2D2A7CKVF3TNFGB1BT5TEQKMVVVE458D3C }
{ amount: u1085760430000, recipient: 'SP25ZYJ9YQXFDF3ZYXV8CRWZN7TK0D809M6JBTTGK }
{ amount: u1085519340000, recipient: 'SP23JVTY5WRTSHH6V0KSKZM5JNWVCNTJXZ1PWPA47 }
{ amount: u1084430950000, recipient: 'SP2GGK5N1R2NTHDJTM2ZGDK21XQFEYHPZJ9ZMJCY1 }
{ amount: u1083897260000, recipient: 'SPHKP403QPZCRF4HYW9GBPWG2ZHGFSTMAFZBX6V5 }
{ amount: u1083042650000, recipient: 'SP2CE3GBX019J73FZGQ2D3Y0T4R7NV5RS0NQZ83FB }
{ amount: u1082163060000, recipient: 'SP1ZY96D201J8DFC3KM39V0N68SQGBM72CX5P9JY0 }
{ amount: u1082117360000, recipient: 'SP3QE8XY1MAC43WBJY2Y295ERFSV44XD6SPHYYN6Q }
{ amount: u1081220050000, recipient: 'SP3K95YG8F25HE0KVMR5E8H58DHNZTRT307YKQ7TB }
{ amount: u1080963660000, recipient: 'SPFC73QA2K226EJMSCR2MYPNES5JDDN7QWGD7ZCR }
{ amount: u1079061500000, recipient: 'SP28HK87YCFC84BD44R24FM78550TE1MWGYARHBYR }
{ amount: u1078669330000, recipient: 'SP3VZAMNT4Q4KJS1KC85NRGE4KJYGFTGQSPGVVZRW }
{ amount: u1077671430000, recipient: 'SP2X3X3JDDNAQAB6J8VSD7985CPVSRNJQC258HAZN }
{ amount: u1076797910000, recipient: 'SP3B3WN2JJ96ER78BZXB16JF72J20M0213H1P6M8G }
{ amount: u1076513770000, recipient: 'SP1FXCKY6E03H7HYKWX8Z0DGJ54YDK5CQH1EDSAJM }
{ amount: u1076120180000, recipient: 'SP3DAHSJJFH32VAN7AP4EZCVKFCP77WYWDT69K9KZ }
{ amount: u1074118510000, recipient: 'SP35RFAW9W9Z95NE4H02TANYFWSKFMVGJE303V55N }
{ amount: u1074031130000, recipient: 'SP1ZRTHK2HERS7AR0WS6JN73VQX3HHDFMY5EQWJBN }
{ amount: u1072545930000, recipient: 'SP371BWCYQSWAGG8Y592WF32YF7CJQ4K6ATSS5YV2 }
{ amount: u1072461780000, recipient: 'SP1FRV07JWJCK8EJ37GM5SP92C9FXR5AND211HQC3 }
{ amount: u1072461770000, recipient: 'SP3Z7SS9WF7NJ9N286TBSJNTSY2DBS71GNV7S33YC }
{ amount: u1070979460000, recipient: 'SP3469291CJZ7TCEYXY0GMMS2CWMNGHMDW9KRM2JK }
{ amount: u1070482910000, recipient: 'SPDY98XSXA80HW4EMAPDG5ZVA3TJVGSJWRPF9HNA }
{ amount: u1069108970000, recipient: 'SP1PE209DGAS3MFQJB5JRTMFTYT7C0R4331K22XEB }
{ amount: u1066684940000, recipient: 'SP1PBZQ1W1S49QVCBS4VGM62WMQ6EFZ75Y9G3AGYQ }
{ amount: u1066436020000, recipient: 'SP3F8N5YQ6RJEF61F6TY3N3R8300S1F4BT6XHE74X }
{ amount: u1066219810000, recipient: 'SP1EYT8D1XW6QKEYGEHS6BGGZZX9XYFDW7M29A3QJ }
{ amount: u1064399000000, recipient: 'SP2CQT9TA4ZA942G1P0VCFP49SE3NKXYVT1MHYAW9 }
{ amount: u1063050470000, recipient: 'SP2N7HYR3G9EMG41XEZ04F9ED6XZAW02CG0YK15W1 }
{ amount: u1062749330000, recipient: 'SP1XNNKSD9PMTPQEQVXCX3CT1SGGXRWB21P9K36K4 }
{ amount: u1062093450000, recipient: 'SP37ADEAETWXCV3BS9YRRG5VXW5VKN6H94CQD6EE0 }
{ amount: u1061052570000, recipient: 'SP1Y7DMPFQ7WY6XZM6NDZ72KMKRHG0H3KVC14FTRE }
{ amount: u1058628480000, recipient: 'SP119GBPAF81GXA1JF03EGE7G3BRCW8RKZS9S7P0 }
{ amount: u1058431790000, recipient: 'SP6K8AQEGJH1AWBQRNN5ZMH9E2J1KFECA7J127Z5 }
{ amount: u1057944910000, recipient: 'SPH7N70QBPS38VK36EPPM237W6JH2K67AMMDEP0Y }
{ amount: u1056319210000, recipient: 'SPY6NR5CY0W9VRY8G4NQ8N5TG9VT6DQS0XKF5B4S }
{ amount: u1056166290000, recipient: 'SP2YYA6Q0ZC4846XJQA47GD1MWW9JJ78EH2W6TK8D }
{ amount: u1055948780000, recipient: 'SP2J0WP7HH2KDTM59WXP7K0GDQAK8T4KSDCQ3R9PX }
{ amount: u1055844660000, recipient: 'SP37XKB3F5DAVH432TW8BWC825A7MXCXKVDYHC8P8 }
{ amount: u1054639410000, recipient: 'SP1WJCXZY9JENE8DMN1D9FMPB776QQ7VCX1WXZQ09 }
{ amount: u1054511970000, recipient: 'SP2RT9J3FYQXRG8V3YCT8P85QJ9XWNNS2Z19EYCNV }
{ amount: u1054139000000, recipient: 'SPDP7NHC8Q3NR3DSHVRT90SPRDVNWTCWQ8BVZ8NM }
{ amount: u1052678280000, recipient: 'SP7QXF69DV4B5TV0GJGJFED2JBRED62BAX24R086 }
{ amount: u1052143920000, recipient: 'SP11PCG5ZBB8Q6JV0AWJQFAZQYJJSY0SZGYADC1BH }
{ amount: u1048413780000, recipient: 'SP2866QG8B5P9YM14X71HYTPYZ7DTJ0ZW6Z17YDJW }
{ amount: u1047992760000, recipient: 'SP3VEF4XJGQPYGVCCY0FVY7XVG3H16N95ZMAM3B5Z }
{ amount: u1047697370000, recipient: 'SP3QHH92XXAZ2W6D135BKZXQCR1ZP7CANA0RRG6CM } ))
(define-constant batch-9 (list { amount: u1046073210000, recipient: 'SPCY14Z30JNT2B2M5G4ZY8C5W95C5A4P1WHVWY5J }
{ amount: u1045756760000, recipient: 'SP2KHXM37MJ8N8H1QCK4NJV0377EK253NQPCB5K33 }
{ amount: u1044830690000, recipient: 'SP2CQTA4FDFGZ1570DSEAMGHXNPKVM9JQ8J1KSJ9P }
{ amount: u1044728960000, recipient: 'SP3HTQNR9221S4B3YDJABMFZDYBGJY68K1H8RVJ2 }
{ amount: u1044360230000, recipient: 'SP1ZZS0C10TK0SKJP918MW3BESJ87X95WR4JTR0YC }
{ amount: u1044116100000, recipient: 'SP23MDNANPJDANJ5ZBN8YJW9V6DRCGSENM9NHKDQK }
{ amount: u1042319920000, recipient: 'SPXT96Y3FAEAQKD2VBM0VYT060S07R1TXPCN5AJC }
{ amount: u1041649620000, recipient: 'SPJ7J3KS0CG7MD4EZ1VXWTG9EVW00E1RFVRW0PWE }
{ amount: u1040867500000, recipient: 'SPD7XFA3W1TNG95SQ65KFWA98YTME7FT86383W75 }
{ amount: u1039596320000, recipient: 'SP2N5SWZ64FGVQKRWBWC367M08CNDJJWAPPV3B537 }
{ amount: u1036648250000, recipient: 'SP3F5X5DQECZ44A64ZAMCQWX90FXBVJHSMK4SA9BB }
{ amount: u1035677760000, recipient: 'SPZANS6T2FAVR0XBVVXK0KJHZKP7DCA93F6HMGWK }
{ amount: u1035070080000, recipient: 'SP19NFFWW9VA185CY36CS4K4KCJ7Q43AP9V5ZA51S }
{ amount: u1033132930000, recipient: 'SP11B1XWK3GAHP17V04Y60KD81ZZGJ5NHR2QP32Q1 }
{ amount: u1032858380000, recipient: 'SP15C64JRQNDCP8BYMMG8FBN4FD53K4NZM71BPW9T }
{ amount: u1031965480000, recipient: 'SPP9SAVYN1RHXPMDJZVNAYSVSA6FATYTKW7GYZAH }
{ amount: u1031885240000, recipient: 'SP2A8AA8AH6K5MX46996YNFGBWQXT3QAMG5MMXXFE }
{ amount: u1031568680000, recipient: 'SP350N1A4GTDTKKJ5SMR105FRTT59GF016NS5PVTW }
{ amount: u1031257270000, recipient: 'SP2FPFACHEAVM7M0E2W8G9ZGGD8QDAS536AX8XMBS }
{ amount: u1028709610000, recipient: 'SP3SKDQARF5VTQAX5VJ4MKF96ZRNMGF28K3GWZJ5 }
{ amount: u1028510710000, recipient: 'SP3B3DJG50VDS8MER8RQ2Y0SH6553BNFPSF4BXGS9 }
{ amount: u1028464020000, recipient: 'SP2FGKZZCWE7KW51FA32XCKM86HY4NQ7AWGFRNK1V }
{ amount: u1026316520000, recipient: 'SP349MG93AJK17YJ22CFP94X3QSQ1ZT4WCDTAXQAY }
{ amount: u1025399050000, recipient: 'SP2YF4C13EVEA2V7AJFYHEBW44TSQQRDYE9FFP86Q }
{ amount: u1024970050000, recipient: 'SPWC45P8JQP1VG9NDNPJ6ZXPVZ4XXGK06GXR5XN3 }
{ amount: u1021541420000, recipient: 'SP2WPTFTP17PGJM8328QWG3SNV9EZ9W1C7EGTD5BQ }
{ amount: u1021303330000, recipient: 'SPFWSPMT4TKXBH3M8A7DVQY3AFW5PYKH18424G0B }
{ amount: u1020529670000, recipient: 'SP2TAFXK7G9N4HHNX2QPDCZF1MJCKJ6B4MVC8VBXN }
{ amount: u1019191440000, recipient: 'SP27RG7J4KZSKBS0K11B1RMRPGX8W7SJ45E83G8CR }
{ amount: u1019015350000, recipient: 'SP11T4BP1MGFXS80B8YRFD5RP9EPCGA73FQHZ02ZH }
{ amount: u1015944140000, recipient: 'SPJRW4D4JACQQQQ5DK09P1K7M2TE8PGZJ638HCW1 }
{ amount: u1015187610000, recipient: 'SP1QEQNT45GP9TQ7KW9YF3T575NAX62GC726QNV32 }
{ amount: u1014804150000, recipient: 'SP3NWS0XNR5DZZJWMVBA4SC2KM3CJKE6YKDTE2JX8 }
{ amount: u1014762220000, recipient: 'SPF05CQ22Q2M80A68VRTAQEPM7F679E463VGYWWX }
{ amount: u1014519360000, recipient: 'SP3W6HB7CC1SJJV57ZABRX5RKPPB5NNNNP4C2BHTH }
{ amount: u1012602250000, recipient: 'SP3N66VSF1HAH9BP36XEAT2JZWZ45TDJXWENGS7Y5 }
{ amount: u1010707510000, recipient: 'SP359695E3Y3XQ8QZ1638NBMJQHKQNH89MYNRV6E0 }
{ amount: u1010065290000, recipient: 'SP2M5BEX90DFAE0W01N2F8248Z4YCM11S2YHZBQDA }
{ amount: u1009814340000, recipient: 'SP1V2B0P5EKCH8WG21W364PH48VMS7KB96GPGX75F }
{ amount: u1008532380000, recipient: 'SP2QFMQ6Z34C6ZV3FRYE3WP1KQNSSJXHDNJJEG6BF }
{ amount: u1008512000000, recipient: 'SP2H8RK8G729YREKX4KX6S4MKT6BDAWEZYQM0STS4 }
{ amount: u1008061630000, recipient: 'SPP95MSJC26ZXP48GKQ718FXZ7E21BZP0X0FHVB3 }
{ amount: u1007385610000, recipient: 'SP3Y4AWG42E2AQCTJMZB86C012RM441XN82NV90CQ }
{ amount: u1006878950000, recipient: 'SP2M5HY1A1RMV2P35GSBW1A4J686X34QXS0AWT626 }
{ amount: u1005718590000, recipient: 'SP13G16F89CXQ950ZNY22XMFD65HCFEXEQC4YQFNE }
{ amount: u1005342640000, recipient: 'SPFS7G36JKF80N3M47H5MDENH3S4MCN13CF3TJHD }
{ amount: u1005062000000, recipient: 'SP3TDBARFK9YFXXPH94KAZK0H9EMMHAVG2GFV4XDJ }
{ amount: u1004600080000, recipient: 'SP3X5ZA9XKSDBVWA5BKW1TZ25SNXFZPY3R2A8A2J9 }
{ amount: u1004473330000, recipient: 'SP1A02Z9HE18BXC2800RWXDQW4N7Y128CQHYKG8T5 }
{ amount: u1003935000000, recipient: 'SP2SKCS1H9JDDEDH0ZNPK8A8HMGA399G2JQ3X4232 }
{ amount: u1003757260000, recipient: 'SP1YBBJ44TA7MAKEXFF5VY2KWCSXPAXKKJN5T756V }
{ amount: u1003428680000, recipient: 'SPWW99M5V10TAZQRADX5S2XXABXE6EHD93TWV8QD }
{ amount: u1002319730000, recipient: 'SP3X20ACMB3MNS9YNX0YPDWDA86RE6R12M46JY6HW }
{ amount: u1001870000000, recipient: 'SP3WHC4MCDY3543QB9SRWA3ZG8PV3CDCZ02NQCE6D }
{ amount: u1001668210000, recipient: 'SP3YZCVSG5AH9W39CWQF6ECZ64RBM7JKWPF5509JS }
{ amount: u1001389990000, recipient: 'SPJ621DSFX2SD1A4WEE958NQXYC0JTYD92ZP1T4Z }
{ amount: u1001340680000, recipient: 'SP24ZCMEVR62NNFHCW6Q3BSB781HAH9HENQQ6RA5D }
{ amount: u1000797040000, recipient: 'SP1QX1AGA0SQ0YKZQB4RQQXMJQK06RESX6ASDJ845 }
{ amount: u1000789700000, recipient: 'SP1E9SFQ6SHXD58B7RC9C41CEWXKDMQBSVNEAX9J6 }
{ amount: u1000722000000, recipient: 'SP3XFW2QA7NS69W3MC9W4K450HTSPA8ZBFZKMGB2S }
{ amount: u1000297510000, recipient: 'SP35A70EAFQSWDH7033CN3Z5QZ30K8VVRMZQMR8JG }
{ amount: u1000000000000, recipient: 'SP4R19YJW9PG9EJ824BTAMVEA551PTYT2EBZ9JTQ }
{ amount: u1000000000000, recipient: 'SP3ZG74QSXXV4RJ4HWQ5M54V6EE08Y5KYDR07VXEC }
{ amount: u999564173000, recipient: 'SPPRYM212NP92HA7CKY7ZBQSQJ44AXD533NA30G }
{ amount: u999183723000, recipient: 'SP3QGGC1XRCSHR5QCKBPP0B6S2NWGTWM1BX0GGDZ8 }
{ amount: u999122041000, recipient: 'SP474X63WBVWZNBSHR2CZB7182TBBD0E86WFZ485 }
{ amount: u999069990000, recipient: 'SP2EM5T1YJNVDRKXC4M7J1EJV9NTN84K9PN1ZS8GE }
{ amount: u999025326000, recipient: 'SPBBGPZ05MTGC2YDAM2AMEYG1RCX5V6ZW5P1VK6Y }
{ amount: u998678020000, recipient: 'SPXRFJMYDGVXYK77BAVV35EM3GPR1A4PJCCJPDXV }
{ amount: u998639283000, recipient: 'SP39SRKGH3HP3GP48DGCFCCNDRB1XMPVANBPPX0NG }
{ amount: u998518716000, recipient: 'SP1X8N6J3WB4E9F4KT9G0NFQTATJPQWC19Q72BQAP }
{ amount: u998053655000, recipient: 'SPV3KF5YV0SXVEQ6V50SW2K93YQYKXHGD3SHFV35 }
{ amount: u997863821000, recipient: 'SP1HASZ2WHWKG099B1BJWSZKGXBB62BMA8ZQ4M982 }
{ amount: u997445782000, recipient: 'SPXC1RTGE55ZBYW9M50TVVA5E3AYJDH5MM1KQJQ3 }
{ amount: u996936352000, recipient: 'SP13CEKCFRA3CC9F07SH4N770SR9NYHNACZTM8R7F }
{ amount: u996437957000, recipient: 'SP3KBQKWQXAH2S86EZZ48TDQM1WTSK7PNV5JMZDA }
{ amount: u994710507000, recipient: 'SP3ET97MF1079J77YKDEXA9JEPT26PGN09VXV3V3N }
{ amount: u993337184000, recipient: 'SP3ZRNE7ETDKCZFG07DR9XBYMZ89E7HTHF2PBSXS7 }
{ amount: u991469467000, recipient: 'SP22N9QPP8PH94XSCYJXTSP9ZYGWMVDDS5NQJZ3WN }
{ amount: u991091348000, recipient: 'SP13XH8XSSM55GYS0S749HGWBSGNPKJGQVWTY3SH9 }
{ amount: u991066025000, recipient: 'SP1VTHJJ6JAW586Y58KYXJPNTX4D2QCWS75YZZ57G }
{ amount: u990066900000, recipient: 'SPEARSQWBDXAY1138PDYNPPEC0W9R4FRX478JAB7 }
{ amount: u989741491000, recipient: 'SP3XZ00Q2Q6NYGXBBY2AXKXMGBKY9E2BYGBXY76F6 }
{ amount: u987752381000, recipient: 'SPC7M5BS09G0MEX6FZ4WAKK6JFZ4AVZMZB8FXDEP }
{ amount: u987345678000, recipient: 'SP371XCNMB1RABNH4FP2175GAJ9P5W16V4AE8766A }
{ amount: u984271188000, recipient: 'SP10VNYTAACHWW5CG5EQRQDGR7R221FHARFK38YZE }
{ amount: u980849365000, recipient: 'SP7B99BCDW8042JC463GZZ4BGT3TG34TKYM4TT9A }
{ amount: u980677178000, recipient: 'SP3VK9DH155GYF4QRDJZ653EZ7J25C9PAA36A1WV3 }
{ amount: u980364723000, recipient: 'SP6WR2253KTK78TNKYJZ42AE2ZFGTKQ69B0P0PV8 }
{ amount: u979845933000, recipient: 'SP1RX7ED28850SNBVART38NDVMPNC61JR3J0XVY5X }
{ amount: u979567438000, recipient: 'SP53J18BK5RERM7RZSPV4GS0S08S3ZE8GNEFEYHJ }
{ amount: u978189048000, recipient: 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB }
{ amount: u976523000000, recipient: 'SP2QZBG21ZHVHJ3TNF93NN87SP4YRRKZ88S1PQ8VY }
{ amount: u976190638000, recipient: 'SP2BKN7482BJF4J7P42BZDF5W1H70QFXWKFWTKCF9 }
{ amount: u975749661000, recipient: 'SP1ESDQDWR41724GEPC1R0KNR3209MNJHRK3TME91 }
{ amount: u975720961000, recipient: 'SP13Q3KNSPZCP7WFEDJAP474G8X6E3HVY0EPPXCRM }
{ amount: u974689238000, recipient: 'SP3J55KF83W99JS5Q8KYPR79GMQV9F38A4YD2F1GD }
{ amount: u973830548000, recipient: 'SP1WPENJB5T27PV4FXGN401GSP35JES74VMHJCBTQ }
{ amount: u973109030000, recipient: 'SP30M1TKQPRCR8BNM64ZSVCE15DF3E9FGH6XE0EDB }
{ amount: u969729224000, recipient: 'SP2W3BS3RPA91E1DJJ54WZY1BGXXA00A6W4NFK5GM }
{ amount: u969633234000, recipient: 'SP2EV31SMG1FTAB89CVRXXZEWWE0M9AXB9ZP8S4NB }
{ amount: u969200000000, recipient: 'SP2TXMXRK09XMFN3K3HSX12J60XS3Y7MN8T27ZK6G }
{ amount: u968969443000, recipient: 'SP1NS3NTG8FXRS7KW7BCJY5SM24AK64VWX1JMT22B }
{ amount: u968221710000, recipient: 'SP3QV25F727Q74NY2T7J9ZA0M8RERK6M9R9W1ZAXE }
{ amount: u967045204000, recipient: 'SP281DHYZ11K3B0BQHPWBBH5SRB457270073RVVES }
{ amount: u966612924000, recipient: 'SP3HQ5SF3NX2N8QTJMFAXPP45FN3TW4TWE3NM5YYR }
{ amount: u966313953000, recipient: 'SPFW1EJKYY1CZ4MM5AJBWF9FAK52SX89ESG83CB2 }
{ amount: u966288366000, recipient: 'SP1CSBAWZE59W7Q78EBN2WXCJYS9QVH7F116PB7E }
{ amount: u965215593000, recipient: 'SP25JG4FQ3F4NNM4FVGK5DJRSM8B8VBMYFAEJQCNS }
{ amount: u965148195000, recipient: 'SP3VM2X9R6PC1QGA4Z3PEM07DVDY69CBCANH2RZXD }
{ amount: u965006504000, recipient: 'SP3607GTY9SQHQRB9GA6KF62GYEFKJAQDKG254KAM }
{ amount: u964927130000, recipient: 'SP3HHB16ZZC09Z2Y4TKRW62YDEZQ06JWEXJW25NZ4 }
{ amount: u964126715000, recipient: 'SP1EJE3RVVXW4MXCJVT92KA99SRHW49SVC0BX446S }
{ amount: u963781441000, recipient: 'SP2APNHGVV6HW8TCDB5RJFH8HSNY50K26K3P5AFJV }
{ amount: u963114660000, recipient: 'SP3SBXEWESD6EHZ4BWBGZRTDV202JMJ9G6B5X1ZDV }
{ amount: u962516138000, recipient: 'SP1ZMG8Z5Z5CTT3B9FCZ50XPYBZDY4JC4STP5D4HM }
{ amount: u960219497000, recipient: 'SPQDAHZ6QQMXN79HFSH5TX87G07S5WQEWHXKD68G }
{ amount: u953161133000, recipient: 'SP128EZ34PQQ878WTH8TFBNXS4BHVP7MZXD4RDP8 }
{ amount: u952380501000, recipient: 'SP3V2SJMMGWAQBXJQM5K71NB2MPWT0WBK6P4XCH34 }
{ amount: u950805305000, recipient: 'SP1X2Y5YF0VZ2VMDNQJ6YQ11EQHNTX40T38MS988S }
{ amount: u950641308000, recipient: 'SP3QWGGH5NADGTF1BDMS8228PM0D0507D5G5G9R3J }
{ amount: u949333310000, recipient: 'SP12T2K6TXWQR2SHM3YQQPV9EEN5QT4N2MCV1WKBB }
{ amount: u947138784000, recipient: 'SP3E85QMW2D6MCCXCYQ7S5GG8R8RTWKGAB6C54CDB }
{ amount: u946567627000, recipient: 'SPPAS0TEH4NP5A0J3QHC5TYZJ8NMRTEG118TQ2T7 }
{ amount: u943768140000, recipient: 'SP3K20Q5P78CTPG4BK8STDTNPKWB3387RYA7CZH7C }
{ amount: u943762638000, recipient: 'SPV33GEYEKNYADD9WZ64WAWJ9AN0S9NP9DT5P8G0 }
{ amount: u943586425000, recipient: 'SP3M86M96Y7EAZTF1RF7FEAYJ4F69KP4GGBHT8GXR }
{ amount: u942355360000, recipient: 'SP23NWKT741QZ3X5CQQ94DN1DQD3C7XET1GBS5R9 }
{ amount: u941946679000, recipient: 'SPCG7704GZS6XP7EC96CPHFMPZNA8DS9SYFECTVM }
{ amount: u936647890000, recipient: 'SP2WE5KPP2ECX3N1A4308D9RM54NNJ818ZJ2CK72R }
{ amount: u936076283000, recipient: 'SP6MPS5WNJSXRDCRJ45N92V9RDGVNQN0QMFN7D4S }
{ amount: u934488000000, recipient: 'SP39F03KFV4J2HTSG9CFV9E2MTVQ9N9YE0X1RQE8K }
{ amount: u934344037000, recipient: 'SP110TAR7RZE8ZTHMTMZYN76KT4440CS1KADFCG2B }
{ amount: u934227791000, recipient: 'SP1RR9SC25RCA7H09950PS3ZBRMJ0YEQK9SWA7RGW }
{ amount: u929383929000, recipient: 'SP19CNWZEV2AQEE0FK8261AVJ71EDNGYSMW7NRXQN }
{ amount: u929301507000, recipient: 'SP34WSE26P3ZM5DHR1M5B7B8E7K9EBYZ2BMJ0YBCB }
{ amount: u928466572000, recipient: 'SP3FD2FTXP9STWKSSND8YXHTS2X1NT8DKPQGD0VD6 }
{ amount: u928410496000, recipient: 'SP341WVZD8CMS3YEBP65V7Z9SF6NJ8KWE0ZEZPKPW }
{ amount: u927935508000, recipient: 'SP1FHC2XXJW3CQFNFZX60633E5WPWST4DBW8JFP66 }
{ amount: u927455806000, recipient: 'SP31QR9YZWBA6S3TB32PEQRHD9D9T4VD8MAX0T4PW }
{ amount: u926264097000, recipient: 'SPWQ66P601M3M154QENJHPS3M6VK4QASJP5EE70J }
{ amount: u925756989000, recipient: 'SPFGVND1JWCMFVA343BGRRS15XR9RSZQ0R6YBF16 }
{ amount: u925663200000, recipient: 'SP20Q20GQ66RVFT5650H9J6N8NERTN2WX4C8VSDJR }
{ amount: u925073566000, recipient: 'SP3PP9R6A9E4F1NKM2PBF896ZSACZ2N1J562BJ98 }
{ amount: u924094669000, recipient: 'SP2F3MNT2TFHPAJR39A0WAWB029TEFJ0KB9NDZ37V }
{ amount: u924020271000, recipient: 'SP3T20F0B86MHNPQATNNCMY9A531QC948NVZ1TSPG }
{ amount: u923491235000, recipient: 'SP31V0SYYH6XYCX38KJQYKJQAREGP89F6HK5HWD78 }
{ amount: u922421628000, recipient: 'SP292V4NVXFG3NKMFKJFPZCN3SMY5HT9NY392Z8QA }
{ amount: u920839217000, recipient: 'SPV0B8GKWYJ9618EH3KQ99W3MYQH0P06510TTA4G }
{ amount: u920004611000, recipient: 'SP332BJS8PKSVHCDHN4BVTYV9XEH09G4W4QR3VDH4 }
{ amount: u919405279000, recipient: 'SP63NQ4G9496708B0CYDHJACD3BQ78BW92CQTMAN }
{ amount: u917910482000, recipient: 'SP1K9J3NWF5Q8F28PDRTRE3EZZDCVC09MB662R79X }
{ amount: u917834430000, recipient: 'SP3NGGR8R2J01Y2V9TQRZZ6RKYK5STT52FR148SCY }
{ amount: u915123093000, recipient: 'SPF5VC4PPKY9MYZMJEAXA5M9JWJQY9HBPKQVQTYV }
{ amount: u914218315000, recipient: 'SP1PJPCZNTFM63SEE4CDPZ75EWNPNYVP0JMVX83V1 }
{ amount: u912354190000, recipient: 'SP3KDQ9XMFBB3HVBFEW59EBEZPHC0HHRJ99Q6763G }
{ amount: u910623508000, recipient: 'SP25SSP7C8N8ZE6F2DJ72RVM04GRRZE803XHCNB83 }
{ amount: u909756441000, recipient: 'SP3H14DC8HT0SM4QCC462CFQKFWXM5PRJAWXBWNGV }
{ amount: u909673698000, recipient: 'SP3NAZ8JMDF3DQDTP0Z97DT9JAVH595ZXS99506MR }
{ amount: u908095523000, recipient: 'SP2B6K2GZHWWK5H8DG8HJBD4MJ1C6SEYNNAD4QDWD }
{ amount: u907899863000, recipient: 'SPHKNB2BHPZZJZAQND4ND16P9N5WRK4JCXDEBNEW }
{ amount: u907869436000, recipient: 'SPKDS0SFYRY0DYYFBJJPRGP44CVB7YRBJKNCHQXV }
{ amount: u904632721000, recipient: 'SP1MZWJ3WM6N7V6047PY15ZEZ5SZ5919EET1Q5M7S }
{ amount: u904546000000, recipient: 'SP2NYX1THN9FQNGE15AEA1N434HXF1S5K8S2B71AS }
{ amount: u902590000000, recipient: 'SP2KCCV6SPCK138DESM2MB6SGB3FWF1C7DX0NMF1B }
{ amount: u900984563000, recipient: 'SP1M339P5ACFWP6JVZBKYN6SK5BNNCYY20AWXTG16 }
{ amount: u900900000000, recipient: 'SP4NMJVVJSDB04YZSHBCXVFKS7C132H35GXX60Y0 }
{ amount: u900900000000, recipient: 'SP3FQWJYANJ090MB9B0T3J62SVJQZZCJ95YGQ96RB }
{ amount: u900555614000, recipient: 'SP53RP6FXNAG0HQD84S03NWQ8FYAA74N7WE4768P }
{ amount: u898706977000, recipient: 'SP3V567AAKNFNWNZZQ6J22HJQSNSP1GM2K9A56Z3C }
{ amount: u898436970000, recipient: 'SP2Y98BBS4RA3HHYC1RR99773B1DWM5CTY3TGYZMH }
{ amount: u897415604000, recipient: 'SP3PTFGPJJS2D40N1TXG6WD7NTQNXZZK7NA0WTDTX }
{ amount: u896708905000, recipient: 'SP2D199GY9W8FM7R0AFS4BH1BCSVW03FYPHMW5Q1G }
{ amount: u896046565000, recipient: 'SP1TYGSDQXSJPGCHKY0K5YT7WFMTTFW3KMH8A0XPP }
{ amount: u895429010000, recipient: 'SPB003T5JRAVMFSKEHJZQEP10VMH2HR1PDEH9Y60 }
{ amount: u895070919000, recipient: 'SP2W7YWSWFMW9D4GCCAYSA9DYYX98Y6ANMMX1WTXC }
{ amount: u894347141000, recipient: 'SP2H5XEY37PC8HR617SMZMMA7KFQADDFYCCW4BWYX }
{ amount: u894175990000, recipient: 'SPFBRG16DCV1TGG0MRVRWK5Y8Z8YNVNJNZVCCXZZ }
{ amount: u892333460000, recipient: 'SP3R5TCK97NMBS1V1MARCK0YTDFWG1FKJ94EFQTF4 }
{ amount: u891911836000, recipient: 'SPGJ2471BGDC4QKAHBEBJSXXR82QEMHCSWCCVCBA }
{ amount: u891546263000, recipient: 'SP3NPXKC8VEDN29YRWTEC1RYTMP8VQA600X7KB0Q4 }
{ amount: u888467933000, recipient: 'SP1A8EXQY32R966Z0WM5V9WJN8HADN4C3VZRZZCHM }
{ amount: u886779709000, recipient: 'SP2E1H1K5YPF8RBBCP3VT36PATGHA6GPYCZN6T2VX }
{ amount: u885245678000, recipient: 'SP1TNNA6G0YAHNR6R5JMRDPY57K125YA7JA4MEEXT }
{ amount: u885100230000, recipient: 'SP3P7YWZNBY5G446PZWWDC9Z12TQXY0S085P9HTSC }
{ amount: u883523184000, recipient: 'SP1QE2YJTE2SYC8V98QBSVM68FNNT34A1FNA76CNF }
{ amount: u879410514000, recipient: 'SP3TG3EW2VN3EV9AYY12CMZJPF28DKGXWYMYDBZJP }
{ amount: u877542987000, recipient: 'SP2T2KES962E7GEX6RDZ1REM3BEAKTMSCSXYGYGVK }
{ amount: u876753584000, recipient: 'SP2P1HE3HRTT6DQC7BVSHTNFYSAX4JXA63DCPXRHF }
{ amount: u874633914000, recipient: 'SP3C57GRVW334M5BPYBM3CQ074YQRMED6FMK9NC3J }
{ amount: u873613182000, recipient: 'SP2VYWX01HPEQFYYQQ513CNVVKXT726PEG7NE5WPK }
{ amount: u872228373000, recipient: 'SP0B0CY82YY9KB7FN72DEJEFFNK1EBB818TT07Q4 }
{ amount: u871108680000, recipient: 'SP3BPB30CSNHF29C1SEZZV3ADWWS6131V6TFYAPG1 }
{ amount: u869661411000, recipient: 'SP1RSAN8VBBWP2ADSF27BYAY3PNHYHBMSP3CQWEXG }
{ amount: u869248528000, recipient: 'SP2QDPA9K4S5M63M1GRPAPEKYTXFJ7YB48RNEWZDN }
{ amount: u867535271000, recipient: 'SP7RHAGSV5K6BQSNFZ79HVCAYVYP84DJHHVPXTQA }
{ amount: u866563051000, recipient: 'SP1PT5FDS4GP3518R3XE1CZ3DCBWPJQAVCZK4X876 }
{ amount: u866233365000, recipient: 'SP2ED4RYZRWX1EYG5GQN6KF46PSNTP10NXF8ZJ997 }
{ amount: u866151856000, recipient: 'SP22M5MDV73FJ3YJ49C2R35XYD7P4VD078J004RRV }
{ amount: u865397544000, recipient: 'SP34SYKT08GSP4ECNRWR7B3QWWS6WX7PN5YZHQ95F } ))
(define-constant batch-10 (list { amount: u865350947000, recipient: 'SP2Q5WHA9NAGWQV500HSV93SEG8PJDNC6FAH88EP4 }
{ amount: u863719479000, recipient: 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R }
{ amount: u862661908000, recipient: 'SP29PEMEJRT2DKGKB5W0TZ5W07YS0RWHA9Y1N6ZDW }
{ amount: u860918554000, recipient: 'SP2TAQ0T17X50DZCGJ0Q8TZAX2AX981HNQN1J7N3P }
{ amount: u860125000000, recipient: 'SP3WBTEN3V878SNYRKFWK4ZWBY00GY6MKEQ2FP0RX }
{ amount: u860042182000, recipient: 'SP22WHSQ6NSNGBNAH299K3RQQ88HP195ZB8JQGHQE }
{ amount: u859866831000, recipient: 'SPEZVHYGAEKFAWQKPWGSPYWTN1S6W1TJVDB78NCY }
{ amount: u858706925000, recipient: 'SP2M9G97WQ1ZJE0JBHK45FPDYEGDP379VZ5MQBY28 }
{ amount: u858427970000, recipient: 'SP15KKNHVSNHCFKZAVBEHN5E0G2EEEVZY6B3K841W }
{ amount: u858263487000, recipient: 'SP2K7TJH9VVP36750SA27SAJW7H8KJ8HB551BGSKX }
{ amount: u858205793000, recipient: 'SPBBVHJH679PA4AJQB561AC8Y8Q9E2420CDHTHXZ }
{ amount: u858048014000, recipient: 'SP1YT7C700Y96362KB9X1BH578ERCG5890ACB9ENJ }
{ amount: u857346100000, recipient: 'SP1X995N7VWY785ZFT1T7EAK2A93TXWA5ZZ0ANCWN }
{ amount: u856636495000, recipient: 'SP1FDWQHXS9CFJ5Z9DZCZDD394Q6FYPJ82G6ZVCDP }
{ amount: u856168752000, recipient: 'SP2GM1H2ZR662MVK6Q2R8F9T0QXK5EGEZE7RQZX95 }
{ amount: u854585884000, recipient: 'SPQK31W67GMPXMSYYQ3XXEQRP9SFE9F3FJQCWKYY }
{ amount: u854373909000, recipient: 'SP23HPZGZKB032V8787A447DR5MMTBGWSHMVBRRCC }
{ amount: u853832146000, recipient: 'SP17CZV26FKDV4NDHCCPKRZTFA5NP66K2NC6AAY1N }
{ amount: u850664800000, recipient: 'SP2GANZAFGX1E9HCEECZB84ADJ1WQMDW0E7THCZQA }
{ amount: u850465740000, recipient: 'SP30CB5XX8XC6027GH9FZMGG712NBYHKRNK81YPTM }
{ amount: u849926727000, recipient: 'SP32SCFJ05BN6EEH3SAC7AC9M9TXE33XY8K3H990J }
{ amount: u848153661000, recipient: 'SP2V9F2EBH6VDGK3XFW2ZWBNB6MRV5NGMX37240CQ }
{ amount: u846500000000, recipient: 'SP2Z181SQ70X27CYKV8HKDDQQ3WBV1HXDW7ACH91M }
{ amount: u845271112000, recipient: 'SP2XR93CDSHRTV6YH45RWQB35A8N96N0464G6ZAEP }
{ amount: u845202501000, recipient: 'SP3H7KSR67TAGWW78JCHVGA3N2RSG7B5YCBS1FEQ }
{ amount: u843810396000, recipient: 'SPGQHFJ28A9A6PZ56KGBYY4YAWWA0CNDZ0YWX1BS }
{ amount: u843661475000, recipient: 'SP29902VVK134BEFGP0F3QT7W2H5CFY2BVWAKSN7E }
{ amount: u840922662000, recipient: 'SP3XX56D99GP86PMFCE3T1NZFCFDNN08TDKKXT1WT }
{ amount: u839320488000, recipient: 'SP2S4VS3X2KTP00GJ10D3WP7NAFGQDZAVCYYGS3WN }
{ amount: u839128586000, recipient: 'SP1CTBHKHSFEXEQSMW5YT2CJW1VS8K50TK85BS35M }
{ amount: u839070671000, recipient: 'SP1BA03ZEJXMJSB8ACT79KEPTC5ZJSEF3F5SN6W6E }
{ amount: u837762804000, recipient: 'SP24NFH54BR5Y8EDF8SWVRV3Q9QY7M83DQKERVA5A }
{ amount: u836859610000, recipient: 'SPHH0ZGPEHXFETJYEXK7JTFZDAWKQT20F180CBD1 }
{ amount: u836857143000, recipient: 'SPPYBCRDE9HFKN68GCRKEPZRGWS2JZSMV49GS228 }
{ amount: u836442153000, recipient: 'SP18HNXPK049JJH7QY460Q3AF9MCCEFMQQKZ2AGTA }
{ amount: u835216688000, recipient: 'SP2RTR6EVV7CAB2FB4KPSJZ8ENETHRPT788QP9MB3 }
{ amount: u835168169000, recipient: 'SP1MX49VX1K525JGBHABKGB4F37C1QMREM9H4VWJH }
{ amount: u834475000000, recipient: 'SP13NCEMGPPMY8XJQ955S1GT585SXKZS5KEEV1039 }
{ amount: u834033012000, recipient: 'SP30XQ5MS14T6225KXN5DQ7ZVRQ01FJGW8HV4T9SE }
{ amount: u833522556000, recipient: 'SP23QVH1RTFJ67B8AF8BH8AZNMXMHT0AK32PZ8Q4S }
{ amount: u833035596000, recipient: 'SP3QXY1G9T71Z4MBNQ5M574YV7NXW45AMYTRWETFP }
{ amount: u832944313000, recipient: 'SPBT8D9F4RRYFE8H25XMCWSQ4M9PE6PNSCJ2Q150 }
{ amount: u832927434000, recipient: 'SP1SGSW8M204HNPRYCM695VJ5H4365GXDBA7VTZ8E }
{ amount: u832633980000, recipient: 'SP3WND9WS49A2MKYAPA01HQKSPRB713PGEAK0ADE6 }
{ amount: u832020850000, recipient: 'SP2SX7C4WP0YNRSHHGNNF9A9R1TD85KVV701GJYMA }
{ amount: u831903367000, recipient: 'SP2NKT0A03E9TF3XAQGX6NK01GWQH0H7TG3F9J2WE }
{ amount: u829429000000, recipient: 'SP33738FJWJSS6SXQKKHD1K2GG8XFGVMX30KMG0PM }
{ amount: u829371658000, recipient: 'SP33ABZ860YXPQYHR4CSJZMH7DERM55CMQ0X9PNN4 }
{ amount: u826492753000, recipient: 'SP22EDZS007Y9Z3WTJRK1S9VFP8YEYD5DGVFZ2XM0 }
{ amount: u826195494000, recipient: 'SP1B6531CHBQBHP4PQ0QV2MRFW2VHXBQX0DFVCYZ6 }
{ amount: u825470000000, recipient: 'SP2CS5404GHD0WE3D51JNV4KW823WMQHR38SSVB0H }
{ amount: u822975871000, recipient: 'SP21NAZV3MJQX3XRH0H2TSY848JRWPNQH5X3TQNKA }
{ amount: u822066939000, recipient: 'SPBDTNEE7WZBNAND82C0DF5D69EMZA17JFVFKG68 }
{ amount: u821408019000, recipient: 'SP1215S1MBFPKZAXFPKSW58S008BQYG6X8XQ10SQR }
{ amount: u819765127000, recipient: 'SP2YS9JYN20GWX975X328PNVX3BBYR8HE02X6D0X5 }
{ amount: u819259996000, recipient: 'SP20FK0JS61ZRG04EC6BR3547SN88TR6JNV9DA70M }
{ amount: u818290354000, recipient: 'SP82C2PMNWPK0SHVJWDV13R56QD6NKGAHJ5N3N47 }
{ amount: u816696000000, recipient: 'SP13WYDPZPDFKDME9WCQ10X3M7ACENJ7CZVV6CH3Q }
{ amount: u816300000000, recipient: 'SP1CK18V8H97NQAWV4WD98FY2DSZ6DD86DGRXZCKR }
{ amount: u816086300000, recipient: 'SP3085BM6Y1GH3NGJPFJFZXC4GRAVMRHH34607F18 }
{ amount: u815208201000, recipient: 'SP2XWX4NG57E24V4TPD9F6FJV634Z4WCFGFT9JV6W }
{ amount: u815180640000, recipient: 'SP1767NFXV9T359S66ME0ND0FTZ51ZSW9EKC45D8H }
{ amount: u815140221000, recipient: 'SP3TA3HH7HTJNGZ6PG6YJKCQ81HHRSN5HHY56DD3F }
{ amount: u814495575000, recipient: 'SPWFVN4TSQET8Z5CWZ86X2282S9B4H4N7KHVR6N3 }
{ amount: u814258477000, recipient: 'SP230VCB4XRKG4Q2ZRQT0238EDBV9HEN3PEEXMQE3 }
{ amount: u814059516000, recipient: 'SP1Y364MNQ7Z3ZJVZ43JP8A6KXWPZ1NEHQ6DANH2J }
{ amount: u812886918000, recipient: 'SP3SD5YR8GNDRT77Y36BQ3XANG5HRYRQP0X5MXAB0 }
{ amount: u811326103000, recipient: 'SP1YYYFKXFJJYBV865KFJ1TVQAWCRW59V8B77RA3M }
{ amount: u810135998000, recipient: 'SP36GSEC1W1P101YMCJG2S9P2J2VHQ8Q384H7VK0V }
{ amount: u808230649000, recipient: 'SP1ABN4ABFF4W12SXCX4JA7FXPXZ7ZN9GBXFGDSHE }
{ amount: u807495012000, recipient: 'SP3Y9CH9VQ30X2HS21FCD95QMJT1J03MJMTCY8FCB }
{ amount: u806885491000, recipient: 'SP3V88PSZ9H7N72GT5XZVC882AR339YJQJYP0ZK61 }
{ amount: u806849290000, recipient: 'SP3CHC5CKZGPZ3W4Q4JASMM5ZSMD3P7TQWNSE6BQ8 }
{ amount: u806507748000, recipient: 'SP3G99W3MTDHZ4PK5QW8XN0011E3B19PEZECN10DK }
{ amount: u805168000000, recipient: 'SP1EY0SQJCVT0CEHHV2V1NJ6HVSHKGSTNDTMGS36T }
{ amount: u803532608000, recipient: 'SP21RCXT7C1G543ZF1S0027K6YKF8RA3QBF1H1JWN }
{ amount: u802613736000, recipient: 'SP1HTDHET1KWTT4XKW5E7ZSAPXP8D0JS0N9MEQJWH }
{ amount: u802216235000, recipient: 'SP1SVHNZ651A0V35N0BKWGH4N93QRDTVNNBST1HD0 }
{ amount: u801381717000, recipient: 'SPHH0CYA2GSG0A53VFZY0TJWBR5S5VHD1JB12SR }
{ amount: u801187404000, recipient: 'SP2FWHBQJVS1P3HGVVM4DXRMXRVXTYNQNCGX48QZW }
{ amount: u800325237000, recipient: 'SP2J952JNEFACT1FV9GAG4WY42VKBV872ZW0P0D2X }
{ amount: u799603126000, recipient: 'SP2061CHMH1Z4GS0KM1YHXMHQC9MT0538YT4KS51K }
{ amount: u797437050000, recipient: 'SP2FQBMFDH9Z0PSPH9K0R1AQRKQ5BGGQFJ8M6GRWM }
{ amount: u796711365000, recipient: 'SP17Q8MQJNAZEQHNM00VFM3KGYBN9KPWZ7WDF0EFS }
{ amount: u794619367000, recipient: 'SP1XNFHEAPTGSDT1TXHVZDXC4SN208JE6G3RZDA1R }
{ amount: u794573983000, recipient: 'SP1PQKGM33SZ978MSVMH8DREZDTGE1VGH5PNNJ5Y8 }
{ amount: u793926174000, recipient: 'SP1K4AT7KDB9AE2EBRNFQ7M5VK4AW4N3EECR114Y0 }
{ amount: u793776059000, recipient: 'SPQZ94RC1JB4YQYDD17WSH397G83RP21G8Z9CHSM }
{ amount: u793590887000, recipient: 'SP3B3AFHCEBSPHFKQAFJXP5MRZCSJ2GMBKBT0SFSX }
{ amount: u792606733000, recipient: 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67 }
{ amount: u790965639000, recipient: 'SP3H98AJ7FMSMZVPZ2YP694NKSYWBW6ZP8E7XSBQP }
{ amount: u790937398000, recipient: 'SP237VQWFFVMHA1DENKEW3N2ZDMNTWVHSBJKQY5HD }
{ amount: u788837088000, recipient: 'SP2FYNJVHG0CJDMYCCVK4AB0WBD561TW0YP7M4PVA }
{ amount: u788554204000, recipient: 'SPGATZ86JD8WNE6CR5H157ERWD3QG10KMY9SDHYH }
{ amount: u788198687000, recipient: 'SP3Z2YV12ZXH50T21Y75YER236YE88F3Q7QCCD5W8 }
{ amount: u786297626000, recipient: 'SP1V8VCE8041Q2DENWG3J800WYK89BXGF1HPHR3F }
{ amount: u784739567000, recipient: 'SP2DZPK8EHGBGRKZEPW0MSXTVF7PHSG3NZJ2FD8F }
{ amount: u783952000000, recipient: 'SP2DFTN73GKSGWT59BYHPYQXBKFK2QQYM410NAYA1 }
{ amount: u783555001000, recipient: 'SPAGJ79WHYNT2KPHKXKTBC2ERXZJPNFP0ZAXH11S }
{ amount: u782811429000, recipient: 'SP3NP8ZYBK9AWB0KPZZ6YD9XMACX7NMQKEMM26JQ9 }
{ amount: u782795467000, recipient: 'SP2KMZ7GQASRPXW5K5KS20PMV6WVHC5HGKA4XZR5D }
{ amount: u782695933000, recipient: 'SP2YZ2EB1G2W887P977CFTXNMNGXBK5NQZMDNAEP6 }
{ amount: u782046398000, recipient: 'SP34MZKN8RGCY9YR2VWMPY5VD06SSFPVY3YA2JGFY }
{ amount: u781783733000, recipient: 'SP31EEX40MW4N0JCRQESC2AVHSZGMW9JJVNP9KJS8 }
{ amount: u780974858000, recipient: 'SPRBFVFT1G10087HBZ6B8ZVRZ94NHE65J4Q5KZS1 }
{ amount: u780924569000, recipient: 'SP26EEARNH7Z9B5REHTYW03QFF8NSD5A1KX287Q9K }
{ amount: u780442316000, recipient: 'SP3RVYH2XF4H4P1QA2T0CVZW7JF8S282JARDHV9NA }
{ amount: u780157408000, recipient: 'SP3YP6MJQ3WXGXF5ZZ1BG5564G9TJ8QYC7Q2XY3YK }
{ amount: u777867648000, recipient: 'SP1YPK4WZDZX7SREGDH73GAP3N3XZKCTR4RM3WYJ4 }
{ amount: u775509904000, recipient: 'SP2QD9CBPAWT6H5HBNYFMMM4FNE1T4VNXR7XGSSGP }
{ amount: u775106901000, recipient: 'SP8P3A9HTE5TC8NE3H0GQ75C003SQF1MWC0BG2K9 }
{ amount: u775092671000, recipient: 'SP4TH5RH19FSBNC54JA8S1V5N9G1GRNPCX39HK5P }
{ amount: u774908627000, recipient: 'SP27JJS3774KPR0MMB5FH77VWBD8KD0SVNZ4QNX5X }
{ amount: u774849771000, recipient: 'SPPBTKHEP6CVT9XBG1JY9X9V2A25PW8R3YZ3SPE3 }
{ amount: u774436654000, recipient: 'SP1ST9HGEQ4FZ6C29ZRHH5EHPRFTEF3PJS4CEXXNW }
{ amount: u774272362000, recipient: 'SP326H2T31PKEBR5VDPDG0FCHCGCBKFCN61Y5V8Z0 }
{ amount: u773297067000, recipient: 'SP2C2YFP12AJZB4MABJBAJ55XECVS7E4PMMZ89YZR.arkadiko-sip10-reserve-v2-1 }
{ amount: u772068645000, recipient: 'SP036C0WPPMVZ9J6S67E6P7B0D31JPZF3BWGH914 }
{ amount: u771950928000, recipient: 'SPSG2JQXFF0NHHV2W78F3ANN8R18Z78VBA5YSFQ4 }
{ amount: u771804206000, recipient: 'SP3EJ8PV3C7DMT0XCT3CTDXKMNMKSJE0DY35Z2PKS }
{ amount: u771474729000, recipient: 'SP3EP41MXR28AC57B22NKNKH9R0GA8MNWH04X25JV }
{ amount: u771223619000, recipient: 'SP2VNWBGYCVNTB8HSVXW31PJAGAC48GJ82FVA1CPP }
{ amount: u770106094000, recipient: 'SP5W6MTS8JPN6TJRBJFB5SR5SY4GW7YHXAJ5VZAM }
{ amount: u770042167000, recipient: 'SPQVNRGHTZBVJHYVV73MX61XMM9TPH0MVAZJ57RQ }
{ amount: u769985063000, recipient: 'SP3P6YZXBQSNR6AGCCNGHA8F2H2TPZK7F6RDAQ1F8 }
{ amount: u769155648000, recipient: 'SP3N7355VG2KZM6BAXA9H8V6S4B6695HXPP4XSEST }
{ amount: u768905302000, recipient: 'SP18ZWQMEX1K741ZXQ6FZ1J6RMZ4NWNR08YTH8HK4 }
{ amount: u768652612000, recipient: 'SP15BANN7GCJCS5JM4KV04EQSTF222QMG9M2G8CPA }
{ amount: u768541960000, recipient: 'SP2P939KFJYB6497B8HS18FE2XW66RHJ19GQ0AFN1 }
{ amount: u768413444000, recipient: 'SP32AED569Y5XJHQV7PM03B9XYBEQX93TTN8WAGE2 }
{ amount: u767276600000, recipient: 'SP33JHTDRWY9VH51TRCP8E3C1R5Y4F8V1QBCDRV8R }
{ amount: u767205213000, recipient: 'SP2YPN10XSWXWDV4NMVNBP9W4XSDAJ5GK64G3SNRS }
{ amount: u766020781000, recipient: 'SP2XWTM23CGF03RBJYGAN2CQKV90P5DD69W2RHGTV }
{ amount: u765707700000, recipient: 'SP1B4HK9T39Y7FF219HTY2X61FF1YWBZSNR7VZBH0 }
{ amount: u764464000000, recipient: 'SP3JC811KXJY6PBE7097E4WRJ79R4S6SDBRXEK5V4 }
{ amount: u763266038000, recipient: 'SP1VWYE4XT0DV6B56SC93YST18NT3HQM6RYQZBRNW }
{ amount: u763245114000, recipient: 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A }
{ amount: u763218573000, recipient: 'SPYMVP2HBBNAH28AZK0H5BSXT48BKWQTMRSBQZFR }
{ amount: u763159526000, recipient: 'SPEGMDATZGNBSYP39HVP1GWFQ5VSF2PGJ5ANPVEJ }
{ amount: u761943047000, recipient: 'SP1Z35T1E0TXXMMX4A04APZWYFBTEQV7V1ARETDS1 }
{ amount: u761434178000, recipient: 'SP3HWNS8SWN1GPVBWGSSYC9JREEFKGJZ2R87JGYN }
{ amount: u761097010000, recipient: 'SP1QDS5N7Z9XNF3XZ46TE0G3QEZDCVQQJBHPXEAMA }
{ amount: u760000007000, recipient: 'SP3TQX16Z57H14ESARCC454JY3N6ZWNYDBN0HTMRY }
{ amount: u759915224000, recipient: 'SP3J12D2GYRPTASGY8EHT2T96WYTZBYGWWTMJ8Y25 }
{ amount: u759667905000, recipient: 'SP17PTFNRNARQP270PT476572SF7JKNVKBZE7AJMD }
{ amount: u757716606000, recipient: 'SP3SHZEJ4581B954G7GTXVXBGNPZN3FTX9MZRZ08P }
{ amount: u756827450000, recipient: 'SP2BXDPSBKEYAH79CWKTN5D8CABH3CF588PHKPJJH }
{ amount: u756680304000, recipient: 'SP1KVWVB0W4SGT37KJVT6HPRMJAFQDHSK4FX6ENYP }
{ amount: u756024844000, recipient: 'SP3WGHEQEXD8HSNKPAAEH97W4XQPB9TZ0P7TVDGZZ }
{ amount: u755142612000, recipient: 'SPT4R2874246R4W3CTMXB2M0YRGZG04S9NDX8T7A }
{ amount: u753843081000, recipient: 'SP1249AQGHXS4TD4BK800196SG0Q5DVT66H7EMSYF }
{ amount: u753695570000, recipient: 'SP1VH8TRT0KCJG3C746N04NGGH92SFHGDSKXP4EKZ }
{ amount: u753563144000, recipient: 'SP1A86KJF53EC46XKJ1M8PP48T3TNNAXCVTWZ73SV }
{ amount: u751659837000, recipient: 'SP19HDF1FF8GEX91YJ38E2F07AS7CK8HHBR38NERC }
{ amount: u750996134000, recipient: 'SP1ERD3KDJ1RKXE5XPQ1GAJS68DX82KXTNSX546NK }
{ amount: u750784683000, recipient: 'SPB6PM8M7BGT2P3V25SE3T1G0G4MS4GQCEQ8R8D7 }
{ amount: u750635104000, recipient: 'SP354DR1F6KDGPCM625D8HEE1T1XBTRANMWTVCNKQ }
{ amount: u750000000000, recipient: 'SPW07HTC9SAHFHFHJN2TJS8V6DW09DE570WBFG9T }
{ amount: u749710586000, recipient: 'SP15QMX6JGHBY0S9A9YTB95X0DK3RYYRR0W2CJF36 }
{ amount: u749673301000, recipient: 'SP19B7JPCGVBP2TEZ32FYHVQPWD9JGVGVBWZJNFCX }
{ amount: u749270459000, recipient: 'SP1TKXDTV2WMNQDW88RPXGP6BNDXEJN0GPP9ZZWS }
{ amount: u748956446000, recipient: 'SP17QHEV326MGZWEFXY5VK9M2ZKJY0FJQG1W44TH9 }
{ amount: u748658565000, recipient: 'SP1AQXR82HA95M9VSHTSNNEFWER5ZRSWVAK0M7PHX }
{ amount: u748409268000, recipient: 'SPRWAG56YDCCY1HXDVH9K66AJKN1EWPM5F9Y28A6 }
{ amount: u747877019000, recipient: 'SP28MATCGY5K7XPXMCF5NSJB8YDAMVYY1S79QQ2MA }
{ amount: u747700966000, recipient: 'SPCE9XD8QDYGM7QVAXMXYEHG0RKT56X1M4RTZJY3 }
{ amount: u747168744000, recipient: 'SP3J9J71T02XB5C4PJJT3FZ1FASYJ4V8XMR6QY8D0 }
{ amount: u746944195000, recipient: 'SP2NCEHR81ZBYC0145MHCK4X67JD5FQZCWFZ0F1S8 }
{ amount: u745715215000, recipient: 'SP32DMP3CRH2DE17M897KZQ7NNK5Y9NWYANDNF34B }
{ amount: u744813844000, recipient: 'SP1B6A48SH266M2SFBSNCNA61HSMN787V968BBEDJ }
{ amount: u744728776000, recipient: 'SPYXBP5VDHXE6FZGR439D7RNH0CEHAA0C4KAG1Y3 }
{ amount: u744312165000, recipient: 'SP3WH56DQ9DD5CWC2DMKP16WC9N560KW3R7PAG6TJ }
{ amount: u743994705000, recipient: 'SP1BBWBS456KX16K19XRV62CR5226QT3S8P4R38YG }
{ amount: u743934669000, recipient: 'SP2DV3JASF9FD1GAGP17FWQTSPWF5ZDDGWP30GFKN }
{ amount: u743396078000, recipient: 'SP2JWXVBMB0DW53KC1PJ80VC7T6N2ZQDBGCDJDMNR }
{ amount: u742974528000, recipient: 'SP2TWDJZK2C257R9Y761K890B6A7DR25XPRQ2W4F6 }
{ amount: u742326707000, recipient: 'SP27Q4HGE46AKYJGC0FG9YR9SGT6CKRCYPCJE4FZE }
{ amount: u742009425000, recipient: 'SP1ACBV6GT5PEYYYM95A1FW81091GRGYCD5GFP1BD }
{ amount: u741923454000, recipient: 'SP98YA05SRS9H3XK9K02862GDBYVX0AJ1K03N8X1 }
{ amount: u741521940000, recipient: 'SP29PVJB0B6XN2X1YE21PWRTTPNKHEXNQ8FGVV0FK }
{ amount: u741182870000, recipient: 'SP3SP759CN6ZKP7PMTVN849NKEET4VXZ6WHKCTT8V }
{ amount: u738926053000, recipient: 'SP8B25TQC2XDAKSFWMD1C4VN2PWHG75SV1R7RR01 }
{ amount: u738586000000, recipient: 'SP1C29DS5V8K49D3MCHK9SNFT2CA0K8467R5ZVJGN }
{ amount: u737294472000, recipient: 'SP3SW6P1YBZKNXAW08R7N2QKVQFKMVKQ1FCT0BKS5 }
{ amount: u737238748000, recipient: 'SP3PZ1TD5QBKAK55MTPWJR288W7VMPXA2WNM2SHKT }
{ amount: u735000000000, recipient: 'SP31PSKME2EP6HAJGT9N2W7N5PRXH7E8YN0H55C2M }
{ amount: u734195876000, recipient: 'SP2P2YQFAYF7WTFR7XZKJCFWY5FDNGFYKXPW4N4VH }
{ amount: u733525628000, recipient: 'SP3VW9111940JFRS8S8812WDBSFZ5S1QMH2RKT020 }
{ amount: u733490372000, recipient: 'SP1XTG7WM9VTKPS9NCX26D9QAB7VB60TPK9Z9CK6S }
{ amount: u733253049000, recipient: 'SP1ZZ0YBRQAR7BQTM8JYEC422ERQJJG1KDK6P18S3 }
{ amount: u733136953000, recipient: 'SP3G9BMCJ0858Y68MM35R6HA0WAZDNYXWZBN4RYK1 }
{ amount: u732950545000, recipient: 'SP2ZGXB09V8T0TV1Q75PKA8YVMQBC0ZPFYAE18972 }
{ amount: u732738000000, recipient: 'SP28R632X1KDJH0VRZB04Q5FDCJEBTZ61EFRVDBYX }
{ amount: u731826278000, recipient: 'SPNZMHZ55RGYZF27534AYSVND54H8PKSHW9RD577 }
{ amount: u730873659000, recipient: 'SP10KVY3BSHDBETA03NFX7X7RGVP5S3DM074CS0J8 }
{ amount: u730607877000, recipient: 'SP5FHPGB84A47HK3C5R2Y2133EK6V6Z19DN3F3Z2 }
{ amount: u729833576000, recipient: 'SPPHSJE1CGH41SBDNC8FHT6CS2TXYJ4JRDSQZD3Y }
{ amount: u729830296000, recipient: 'SP31JH4SXR2F5Q0XSAY87BJ8SADRKZATP0F7G3TR0 }
{ amount: u729405409000, recipient: 'SP5EC7P6QCN1EFDY81ZGRHAEPYAXN03Z9A6KX26K }
{ amount: u729337905000, recipient: 'SP2RSV8RE5J2KVTJ3FJTAFPKB8E6AMACVS9MBEWNH } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-6))
(try! (contract-call? .token-special-vote edg-mint-many batch-7))
(try! (contract-call? .token-special-vote edg-mint-many batch-8))
(try! (contract-call? .token-special-vote edg-mint-many batch-9))
(try! (contract-call? .token-special-vote edg-mint-many batch-10))    
		(ok true)
	)
)