agp206

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-26 (list { amount: u126925442000, recipient: 'SP3C0NC4A5PYTYXWS1PF96BVA87SY22XGJHB5Z7X2 }
{ amount: u126925330000, recipient: 'SP3BWYWDPKN7WR9C66ZZ2T5JHS6V74SJGPKFEE42H }
{ amount: u126883917000, recipient: 'SP2ANXVJYXNW8N00ZFEZQWT7FXB9J4HWHFRMVDAMT }
{ amount: u126874371000, recipient: 'SP15JCSH2XF7XBEN98SE7Y223ED2H3X61C44WRMBN }
{ amount: u126734923000, recipient: 'SPD8X86ANT0EZY769GM3X872JS8HN9BHV7WCMJM4 }
{ amount: u126628388000, recipient: 'SP2Z2CBMGWB9MQZAF5Z8X56KS69XRV3SJF4WKJ7J9 }
{ amount: u126492000000, recipient: 'SP1AAF3NXC2NC0MVSXFBMMY0SPTN6DC4K998M9TNH }
{ amount: u126472000000, recipient: 'SP3TXS7CXBEH77Y7FNR84JGFF8EJD6G0A2X1ACKE }
{ amount: u126371622000, recipient: 'SPHETM3PQ8WZX3WGFFGVQ91EQ2F23QQQTQ3YE1RY }
{ amount: u126125746000, recipient: 'SP1SD4PDVJ5G3JKFXKC58CQA54N9AG5G3GHN5VERA }
{ amount: u126046515000, recipient: 'SP368FS8694DQ2KEHS7YR74N8XJT9ZPEWQVKABNR0 }
{ amount: u125913105000, recipient: 'SPZ3KG5031TP6JBWY2C085H508F44HH4DG0BZ6RF }
{ amount: u125892151000, recipient: 'SPG7SWXW0X1PBE3CHTV0RWNYP69V7541PNQFXVC0 }
{ amount: u125722000000, recipient: 'SPZFQPTKGVJPT89937CN1E4T9SY2CQ2YXBXTQEP }
{ amount: u125693262000, recipient: 'SP1X8FJ323BTNGP06AJYZQ5J8G6E4CPCQ758A1Z23 }
{ amount: u125691990000, recipient: 'SP2BBQDSJ4KV10VBZX6GA03468PHBHFMCJSNEQEQH }
{ amount: u125667895000, recipient: 'SP1V5PDPRTCYCNFMPP1107KKCX2M8SHW353RXW4Y }
{ amount: u125601410000, recipient: 'SP35JTXYC99Q5XP12B44VMEYEDWWSKAGSF435KTZT }
{ amount: u125586996000, recipient: 'SP2V55AXR9AHJ66EJ9GN73DJH1AC5MHFCCYFMQ09 }
{ amount: u125513702000, recipient: 'SPQ7JCT7QDTXBKG5NDMP1KDW8FNN8EGSYQHWW5RP }
{ amount: u125504101000, recipient: 'SP1VBMYZ3SWF0QQWX7HV7DBTTD3MH3KXC1Q0Z75G0 }
{ amount: u125484845000, recipient: 'SPNF76W0YVXYG6A0RDRCYA16NXNXCCD3KPSJBW8B }
{ amount: u125440366000, recipient: 'SP3GZ0M35TJY9QZ1F9TQMGRE4AR38JQJB63GQBX4G }
{ amount: u125161740000, recipient: 'SP5NPEQVGKZVN65G341KP9R7ACCFE0FYXTP7YMBS }
{ amount: u125150962000, recipient: 'SP2BE23QT2F5WA71J8R4GVVDZ7GG65BCHCSP3FE9T }
{ amount: u125142619000, recipient: 'SPRRQ83Y5DKJ4YCX1C3XMXKY63HH8M3J8875RD4Q }
{ amount: u125110823000, recipient: 'SP3E9FZC0N9G4S467FHZQ4DR6JD4R32BVKJARFET5 }
{ amount: u125076657000, recipient: 'SPEQT31GBTYFPTQXYQNBY79XX4Z8CSYMP4N5PGF7 }
{ amount: u125062891000, recipient: 'SP1XZ5QDJ332ZT06DG1K6NCD9WDC69AN5CCNHPKFZ }
{ amount: u124922425000, recipient: 'SPPECRP42VQ2NXCD9CAFCP0TJ150BP5WPPR739QY }
{ amount: u124894535000, recipient: 'SPN2CWZE6E38N84WZAQ4JYSTFAAKKBPB2DA3Y2H3 }
{ amount: u124868601000, recipient: 'SP865TCWABKRZS3QCZFNY10QTPV2P4TNWB7S5MDS }
{ amount: u124789768000, recipient: 'SPGPKDE4R64DFFS70DWRQW3JBB2JVENF4RRVXXJ2 }
{ amount: u124731521000, recipient: 'SP1HNQDK45KF2SZV9PWCHGPXXJDPFEKCMPGTZ2ST6 }
{ amount: u124504270000, recipient: 'SP28DW32T088C78Q0NATT0CKYGH5CX89B6ADZDPWN }
{ amount: u124493297000, recipient: 'SP2Z6TMF6R7WEWY9HSFGRQ0RRK7QJ33TH48Z3R1T4 }
{ amount: u124437832000, recipient: 'SP11C817W3RQZXJR34CK3HXVFBD9TKE6NW6GQCS2Q }
{ amount: u124400539000, recipient: 'SPA7BGE9Z191QCQ2Y0TCK85GGJCYS32V4DXECGZW }
{ amount: u124250938000, recipient: 'SP17V4Q8AKP29GM4NQ8QSQD6M0JH9DS8C5JNRJHT1 }
{ amount: u124121999000, recipient: 'SP1RTZY005B9TPF4811021C5CFRB51KHJS92EZACK }
{ amount: u123875235000, recipient: 'SP3ME5QGHG0KHJNM88436DG5KEZ49HKYS7CCPJEGJ }
{ amount: u123789213000, recipient: 'SP2C7P94NSSYFXSJ2NTPZKJ081BMQNB38EWM0F2FX }
{ amount: u123689559000, recipient: 'SP3S879RCK1A98YYSB6ZCF8NP7RR4AJTHW8921RS }
{ amount: u123537085000, recipient: 'SP2597TVNC2TTVCSWA1NRW8KY9B44G36R6A1J5PQD }
{ amount: u123494016000, recipient: 'SP193FQFJ61RVMJGDZSPVH94T71CNZKQYSMJX0SFQ }
{ amount: u123456092000, recipient: 'SP277DT34KVMCE8T735DPVSNPQ7JFHTRFWCRRS235 }
{ amount: u123268461000, recipient: 'SP7E83G712RWNJP4JTP1H0ZCG2RBJ3A30B7WGDFX }
{ amount: u123222225000, recipient: 'SP71H19RK01X1WW8DCA6538X2S0F3KP02SR7W0BV }
{ amount: u123046866000, recipient: 'SP23Q62WKQ2476E6DPBX1DSA9027WY1G2Y7MW32FE }
{ amount: u122776187000, recipient: 'SPB549DF34J9R2HHF2Z7QF7YFWEPV55NK20GGC8C }
{ amount: u122624491000, recipient: 'SP26BTQ1G2489DVP2FT3PN342FQFF28GHJTT5GK0Q }
{ amount: u122556172000, recipient: 'SP26WYAXT1KZKMD8WVFD3EV21FWFNDB3T9WN6QMXQ }
{ amount: u122395733000, recipient: 'SP2456YZWAPEDQ083RGJ29V66E1EY6WP8H6FGJSDJ }
{ amount: u122288516000, recipient: 'SP1GRY9QETZFVPACGBT1RMT6GKRMH405FKBGH0FS3 }
{ amount: u122272386000, recipient: 'SP2SK2TFW9Y4DZN96W7QFP76NVDBCCME8FSZT7JS8 }
{ amount: u122260735000, recipient: 'SP3AMRSBX73HTTZS4SJZ8DN25P1BBSDBY2P903NJS }
{ amount: u122207860000, recipient: 'SP267V5RE3CR4S8XEE5N30BYD93RQ6GZZNZEW1VWD }
{ amount: u122193593000, recipient: 'SP3PZGB6ZXH1G9K158H56A6TF26X7K1GGMAGMW0M3 }
{ amount: u122180974000, recipient: 'SPZ0VY1HH029TGG96SC2X118KTJS8NEFZET6911B }
{ amount: u122116042000, recipient: 'SP2BDP72NNCNSGH0Z83BX4HQDBCPBB198QV8M1KH5 }
{ amount: u122100000000, recipient: 'SP2WSYSC34BFDAWY3594EE6QDN8P5TH3MC79BCACS }
{ amount: u121968896000, recipient: 'SP2QDZ1BYKK3BKHQ61F1ND3ATZG0CF9FA9CB7YMEP }
{ amount: u121909142000, recipient: 'SP1R4PVS4FDENCACKV0T17D0GKC4ASGKZD7ND5RNZ }
{ amount: u121853376000, recipient: 'SP2G9V4QA6J5R5Y80SWS0Q9NQC4GHSPSYZ7EZTQEY }
{ amount: u121793839000, recipient: 'SP223CSEFS71VM06337KCFMRK6G9F2SRVGXS54YTG }
{ amount: u121756174000, recipient: 'SP3S9SDX4DTPVB474NF6PCQ3VJJSWTNDQRWFNDQY9 }
{ amount: u121710760000, recipient: 'SPA0SZQ6KCCYMJV5XVKSNM7Y1DGDXH39A11ZX2Y8 }
{ amount: u121702980000, recipient: 'SP1EK2BRHDJ7XWG61GPV638KM0MT7PF1AJYXYTTAG }
{ amount: u121675113000, recipient: 'SP6GJ80KDF6VC66X28WYFJM2DG297W3DDA6ZW7C9 }
{ amount: u121666349000, recipient: 'SPTVCNRVC3VST0FS0Y9ZJ9ERTEW69E59EGYPZKKN }
{ amount: u121655393000, recipient: 'SP2TW2N3KCRGD6YVVC92Q8V3MMAW12X4AX2A926SW }
{ amount: u121637150000, recipient: 'SP30E5XXGS84E1FW5C9F02WP08MFS17733F1RX25X }
{ amount: u121580031000, recipient: 'SP3X23MM26BFWA9QBDTAWD8FR6G3EA14JXNEEMCGM }
{ amount: u121500000000, recipient: 'SP3Z27763AQJ49SXMX2CFKT1ATW9SEYPT3Q9XRVB5 }
{ amount: u121465540000, recipient: 'SPPMD653SEBB3MEKN17TJX8TSGEWHDA98K917ZRS }
{ amount: u121433073000, recipient: 'SP1KX12QPMYBAZDEQVS3FZQ17BCWWCMMB6Z6P8TM }
{ amount: u121351215000, recipient: 'SP1NCG226XTNTTW0H34735VW446WR8AEYCY8Z3YBA }
{ amount: u121340737000, recipient: 'SP37WSDFZ5JD76144XB10F2E700K3SSPQMHMKQN4Z }
{ amount: u121332259000, recipient: 'SP1AE3C9QHMSHHA0SMQXWS53SYT7W6GDXPCNYCB2E }
{ amount: u121311608000, recipient: 'SP2X6RSHSEKB46ANMXRR7TAH03T7762QHY26DYMNS }
{ amount: u121139651000, recipient: 'SP30SNZSPS8SBWK0RCCRH5NSGDFCR2MS0E1DPE22Z }
{ amount: u121101725000, recipient: 'SP1W584VPJTCH5DVBR5XCH0TSHMHG6ASGADPTS6GP }
{ amount: u120750156000, recipient: 'SP1CSHTKVHMMQJ7PRQRFYW6SB4QAW6SR3XY2F81PA }
{ amount: u120735976000, recipient: 'SP3FT0EMGSCTDQF4MYT2ER1T8Z49TM21ZKYB4KBJH }
{ amount: u120731711000, recipient: 'SP3QRJ2AW13AGRCY3SB5Z5TVWPC9D1XC30FEED5BT }
{ amount: u120721897000, recipient: 'SP26E9YQY2DY9D9QPM6X14PMB87M0E0WAJM9BMGHV }
{ amount: u120616392000, recipient: 'SP3Y50GD52K4NWF9AVY79YQKHM198DKSRTEK8TRPB }
{ amount: u120421399000, recipient: 'SP34NB1QH9ABHJ83ZJYJAZHGNBMWQDFEEBRQC6A9D }
{ amount: u120173016000, recipient: 'SP1B1VFTVXTB09DZ014QSR5TZJBJRMR9R6ZAGJB3Y }
{ amount: u120078593000, recipient: 'SP235HSBTQRRX0XFGJ630KQFR9KC415WTGHEZRQHD }
{ amount: u120034497000, recipient: 'SP3H72G6JDPPB2N1WDQP7F79XJ022VC0PCQ35XSG3 }
{ amount: u119854251000, recipient: 'SP1NBAFFB2DTS4KD55W3ZT8M2B7Z9KSVF6K983QBT }
{ amount: u119781988000, recipient: 'SP2V8DBT0PPB383C45DYQCSH8TP6V4ZG465RSH0WT }
{ amount: u119737546000, recipient: 'SP2Y5PWB2T3BYDHHX9T7SJE37Z51T9CNDEHQ51BV5 }
{ amount: u119714931000, recipient: 'SP3E1B0D5ZD92N6ZJKMV5M7KH1VQTFWF1C30F1JYM }
{ amount: u119707410000, recipient: 'SP1GNMVM8AY9TX6140XQ7FCRBZ3MVF1ZJG6VFYHD }
{ amount: u119704574000, recipient: 'SP2PJ5HAMSQW8AT1BHXMZTTXY7HDWM30Z0JJA9W7M }
{ amount: u119699131000, recipient: 'SP1XPS4QZ7KYHYJHT7S8FECJ4T1NBQWVN74C71JGY }
{ amount: u119688619000, recipient: 'SP2X34MVZGQRNBG7S5AT1S44XXA47WVEMTH98CQYN }
{ amount: u119662303000, recipient: 'SP3ZEBFHCC49Y4WNTV4D66MYCC361N13YTSJT0YXS }
{ amount: u119643135000, recipient: 'SP1PSYNK6TC5ZN8VZRRE5FWCDS6WKGYM3HDG20P7S }
{ amount: u119580063000, recipient: 'SP2A04GAVJPGZV7DHT5N5VHFH8P31C1D8ZY6N851G }
{ amount: u119549531000, recipient: 'SP28QR3D8SS34M1822AJ50M81ZDJ56QPVNQQ1YYE6 }
{ amount: u119513019000, recipient: 'SP1BC2SPXP5MW343BFT4T4NTRTEDC6802Z72CDGRJ }
{ amount: u119367200000, recipient: 'SP2KGSJD18SF0Q8VHEC7S2GDSA63G5CDNVKJTVNWQ }
{ amount: u119328140000, recipient: 'SP1WWJEZWWAS2X66JAFQBH3XXBA2MMJTTMAEWDWX7 }
{ amount: u119304551000, recipient: 'SP1WTQWHCFAGVJY3WCJ104SC4X7JS1NQ8EZA8A0TE }
{ amount: u119175948000, recipient: 'SP31JXEB7PKSTW69M8JWDBHH8JQRE5C179Z06K70X }
{ amount: u119159941000, recipient: 'SP3YQDPD32WM1FCMGXXV8KXYQMDSEY8XBW9W47M0K }
{ amount: u119045287000, recipient: 'SPX7946SA52C7TT7KGQEFTBPR3DWH7AP62VPX49T }
{ amount: u119042525000, recipient: 'SP33EXMJ18D5WZ0EN7E8DZ41G66JHBEGCFGDAKWJT }
{ amount: u119032977000, recipient: 'SP2XRE8DXYWAKT4CC1XBS9157ED9C56TSYRW76HXF }
{ amount: u119027722000, recipient: 'SP2WKBYF5Q07BW8V4KH7BFRC141NVHMG1WGWWW4DY }
{ amount: u118980452000, recipient: 'SPWM5GW44TYCBY80RF7SDDZ0MCRFNPXFJPADA2PJ }
{ amount: u118855326000, recipient: 'SP193ZGTCDM7QA0TXXQ4XZ5P3ZEJ23MAE7NDPNXKT }
{ amount: u118715039000, recipient: 'SP2R4T5PDZJKSGP92BVRQJX8QVX2D07JVA9R6YVS }
{ amount: u118647626000, recipient: 'SP2AGZWPPA7QNMMDD6D66S007GSYWB93M6HYZVBZ7 }
{ amount: u118630800000, recipient: 'SP15B24JMC9ZB8HC2Q159Q6DVKBCK363199ZV924W }
{ amount: u118565096000, recipient: 'SP3G34EPD1MEK1644KYW3VXDQ6YSAMQFH33WC11Z1 }
{ amount: u118528712000, recipient: 'SPV1XJKPN1B7CTE7605Q7K28A3R6EC5TPXM6GTXW }
{ amount: u118500859000, recipient: 'SP1WBRC7F4JGHR0Q6K2T2N612HWPDM623G4EE2Q8W }
{ amount: u118468001000, recipient: 'SP3PA54HNBV5XG0TKQJKJGQNMJAB3X61K1S6S1WXB }
{ amount: u118397711000, recipient: 'SPKMXPFMRQD86MH1MEEF5HZPEJC6YVS46PYEAH5V }
{ amount: u118352488000, recipient: 'SP233XSB2ASBJQ0E1A9V49F1FC3B6TT0X4Y3PES0T }
{ amount: u118013763000, recipient: 'SPV31RNPW67NAEN6KNZXRHC81CNDAZT61V7BZBX3 }
{ amount: u118002049000, recipient: 'SP2E6Q7EKQEN9G9M8CXG6XYJQRFDNA5V6RNDJBTEV }
{ amount: u117997303000, recipient: 'SP6J9Z7QJC3EW3JR0P2026DWQXMHAV6QVTSJWAPD }
{ amount: u117996000000, recipient: 'SP1J0AJW43QK3SX82ECZ7407YN0Z7EZZPD9JN5ZPY }
{ amount: u117970795000, recipient: 'SP2FZMJ6MNX9KQR6PGAJFVNF0ND96ZMAVRKVX3F2P }
{ amount: u117970795000, recipient: 'SP2Y3GEA79YK2FVB0RZTDY6XHBRSJWAQ8XZB4VYCJ }
{ amount: u117935252000, recipient: 'SP2GV55SJSD3BXQMGJ9G0RA12G3PC3FMSCP30QMMK }
{ amount: u117855660000, recipient: 'SP3EJC48YEY7HHJCHYY17MQG139C37B4W26GHGA6E }
{ amount: u117840751000, recipient: 'SP1Q322JCN0JBSHVDRZMFDV8RF7WD6P6EJFNKDM5Z }
{ amount: u117755004000, recipient: 'SP1F6KPZPPP36NVQ6FT3SD1TNE54573AMZNH8CXJ1 }
{ amount: u117714000000, recipient: 'SP23HJXVMHRHMG1W9MX7DJKM0D38HBVSRXS90DVAX }
{ amount: u117686004000, recipient: 'SPGGDFGWHSFT4GA9ZG1S9F66GD2HYTNW8VVK2VFF }
{ amount: u117605295000, recipient: 'SP3BY27YZ89TSTK8EJFA1VKTWC0HYCKQB9C23TRKY }
{ amount: u117484982000, recipient: 'SP2N5JSVBE9RZ10HQJ21K9ZP9DEP7032NX2VPE9BW }
{ amount: u117483369000, recipient: 'SP3J21WD868BHPBJ6FEVQ75Z6AKCHK7QCE5121K2S }
{ amount: u117419000000, recipient: 'SP3GEFPHPM19ZCJZYQM5PX3QGG6KD01TADTD3FDY9 }
{ amount: u117309161000, recipient: 'SP15XG705KTEX669GZ4EA45NQPX5FESSXB5C3S163 }
{ amount: u117291592000, recipient: 'SP20SMY4NP6ZPMR74H27MK59HMJ9TA49R0KZ52HV3 }
{ amount: u117267468000, recipient: 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX }
{ amount: u117224919000, recipient: 'SP3H1CCJSC6FF82D18XRZ6YMNKX2P3XZKYBHJDEKD }
{ amount: u117196893000, recipient: 'SP1C7ZNXECGDVRZRTCYSMHBW7XS04TNSC1CXR64S9 }
{ amount: u116803396000, recipient: 'SP1Y0D8YC9GZ858R3F425EK44NWSW4BMPRN0S1XSS }
{ amount: u116800041000, recipient: 'SP2RHCM6K2Z3D40Z4HR5XQ4N86W8GRT4FXDM3WX16 }
{ amount: u116456547000, recipient: 'SP1MJNGPQSC6476ZYG69RRPQBXSN59ZJXPKVQ9W6A }
{ amount: u116430055000, recipient: 'SP3JV7RFN7E57VGJN48CTV1BECZEJ3SNYWJMZV3S9 }
{ amount: u116412194000, recipient: 'SP27G5VH3ED6QWKRVHK3PPG16E8VJ3QWAYBADZY66 }
{ amount: u116306473000, recipient: 'SPA27V30WD3XP16ZYJXZRKCV0HCMFNJK80PH6BDB }
{ amount: u116257735000, recipient: 'SP1P9K14JNEPK2ZRKQ2J9P5ZXWQWV8Q1H6HXEJQHF }
{ amount: u116228753000, recipient: 'SP2WVHE9QCC3GATRBAKBYP85YRARXJ8YWFAQ4M0DS }
{ amount: u116179156000, recipient: 'SPSRAJT20A22SFGWKT4X2WJZ8VCG0CBA24B9BFJT }
{ amount: u116038833000, recipient: 'SPVNKGS6APXSM5V0SHCETFF99WKHS4Y6BHN8XT5A }
{ amount: u116013545000, recipient: 'SP3151T4EEGAF64H5FGZEG8JRJK1Q3N2CQZBT58QF }
{ amount: u115980131000, recipient: 'SP2X839H1AVQQYCZXH11P4AJN5K7KJGS6FSWR0XXS }
{ amount: u115769129000, recipient: 'SP1CECF600Z7WT0HE5M8Q0JR34E6C5PQM1XJR0TM }
{ amount: u115750000000, recipient: 'SP94YN79D00S42WDQT6WG0DH4JVYCSR060ERAQZ2 }
{ amount: u115688374000, recipient: 'SP2NPNHH5ZHC8XQ047EB16NHGJ0VC7XZB00PJ41B1 }
{ amount: u115669829000, recipient: 'SP30S26R8CQENWHD2SVCXCE9517T0W6CKVXZJN08R }
{ amount: u115630528000, recipient: 'SP38QQ6NCVSVVV7CXBCAVGYGSW29776TYY6EERCV9 }
{ amount: u115566871000, recipient: 'SP150DVPJWPM6MNTKHJ7H76ZTHD77CEBQ3KXVDATN }
{ amount: u115557215000, recipient: 'SP1MKSEYQ75X1F41XJ749XTS4R1ZEZ1342FZMES3Q }
{ amount: u115376689000, recipient: 'SP3KKB6EQDBH6HRMVWF1XNA7H1WJ0BGXFXN76PRPQ }
{ amount: u115314000000, recipient: 'SP184Z91JDEKJ8ZYFM5MPEGY61PVWHYBGH2ZZ4J4W }
{ amount: u115264786000, recipient: 'SP2C9XX210H0MNVPPP6PJM24R73GNQNSG24WN25KK }
{ amount: u115254349000, recipient: 'SP26FWAHPBA54CHTB58THQH32341C4QS970YWYTTD }
{ amount: u115166254000, recipient: 'SP1V681WYM8J4TC66EFQT8R9NE1FAX9TFK42BG1P1 }
{ amount: u115157972000, recipient: 'SP5MPQYQ8P45Y78T42FN82WX4YC7NGVWD7QTS5AN }
{ amount: u115138198000, recipient: 'SP16VZW22SAD17WVBQPVTYJBMF88CP3F0P25J65VB }
{ amount: u114937892000, recipient: 'SP2HWHAX4JJZZ8WFE2RF1SPJSWA5FZXMG90NNBSH9 }
{ amount: u114917000000, recipient: 'SP20V75H05EXW2J672A5X2CM0YK1JGHPWDHRZQKK8 }
{ amount: u114630732000, recipient: 'SPJJ5PKQJC0JXRVD4MKJJ1NG8DM6ABTAPK70TSB2 }
{ amount: u114606750000, recipient: 'SPRYFBGAEJ2QNNP76JNYDDAP7G1J4027H98V714Q }
{ amount: u114532314000, recipient: 'SP3M1G086R1D72MJKYAFT8EBFG7ZQR2PRCAQSYYWP }
{ amount: u114514614000, recipient: 'SP2R9F15RSJBKKNHA6369SPR4Q27AV6JVDK13QE6T }
{ amount: u114500000000, recipient: 'SP1XT6ZBFTPMTNS1WYFEW4V0K5Z32C0B2DCYCDXFH }
{ amount: u114484191000, recipient: 'SP2YYBEEPT5ADRZSJJKHF077BTEMNE0YB1FBDC2JE }
{ amount: u114366937000, recipient: 'SP3V2SKA91HCAJMW7HT3HBW4B3B4NKWHXGV21V3AY }
{ amount: u114341986000, recipient: 'SP1N6VE8C5BKY9DN4SVGQCF249T4BM43488SVSQR9 }
{ amount: u114313897000, recipient: 'SP1J7J2SQ2XGBKXZ50CK597DMJKWF5V2ZKBCNJQ4Y }
{ amount: u114293261000, recipient: 'SP25WMGHAFB466NBEWFV3WJBC7QKZ8WXFJVVWA2NW }
{ amount: u114266881000, recipient: 'SP3MTVR17D40ZGRZWGAPKSVRATYZJP66PFDAVNADF }
{ amount: u114237000000, recipient: 'SP1K20PAGM2KXEDJR4HPJMREAWQSBCNJR52VXH2ZF }
{ amount: u114193000000, recipient: 'SP1KWAPPD2TRW8XRMT9Y1S1DPHKYB2VY5W6PBBP04 }
{ amount: u114149643000, recipient: 'SP14046608CB7EHY7C6QDP4J617845K6Y298J09R5 }
{ amount: u114066563000, recipient: 'SP1S44SF5REZ4582J5WYTJ9ZVVG57ER91ZK30JVNZ }
{ amount: u114033472000, recipient: 'SP1WYA9BJ2V0ZER1AAZ24H5KH87KFHYK36G4NT0KB }
{ amount: u113899698000, recipient: 'SP1Y39DMSQDQ5ESWEC9MAPQB04RXNBFAQJ6PC1AQ3 }
{ amount: u113897063000, recipient: 'SP2J875P1DR8GB2A3KTNVMMSENPP34W8G5CXWR5EK }
{ amount: u113835000000, recipient: 'SPXCRZG9B2QF581TG9J16W2C39G178QNJV8SW2X7 }
{ amount: u113766767000, recipient: 'SPH5SAW0ZV5QCMY9X8EGF7EQ3DDVJERHXMZ9PQES }
{ amount: u113728475000, recipient: 'SP3BT04DYBMAP79D533J118W96S1QZDCNVC83F5BR }
{ amount: u113673000000, recipient: 'SPYSPRT8CTAXKJQGFP2G1WY3A11J6CJ21SKTZTW5 }
{ amount: u113647399000, recipient: 'SP3ZDDNE57H8BB7M4BWJ0YG0F9J8W7FWVNPSXNG1Q }
{ amount: u113485245000, recipient: 'SP3Y3NSG6VS9NYQJNM9A1M0DSB22CGTNF2MJT41SS }
{ amount: u113289375000, recipient: 'SP1ASFQJE1GA229ZQG6RCN2R3YNHEAH3GQTKEPXYB }
{ amount: u113254060000, recipient: 'SP1PZZ38NYAGW3EPNBEX6Y30GFP5FNYP4G65RTG23 }
{ amount: u113194838000, recipient: 'SP1SZJGRE03HW7NVEQWXF6BEYBRGHETMSYB3TRA5D } ))
(define-constant batch-27 (list { amount: u113183139000, recipient: 'SPW7TKT537VQSVJ10PPKMRHFTYQPF99GH59B6F75 }
{ amount: u113175000000, recipient: 'SP602S15F45GEFKQA3RB8X30NJ32V0NNYSNFR1QH }
{ amount: u113079835000, recipient: 'SP26RX565DWQ2715XF388VD0RQBFWPR4Y1YJD6J1C }
{ amount: u113049396000, recipient: 'SP2RN1ZA1QHB1B1NXPX9CPK4SDMCQKD5JB9R2HPBE }
{ amount: u113019045000, recipient: 'SP1S8ZH6MSC2D7MEJSW7CYZ99E6SCZKW7QN09GMKC }
{ amount: u112998617000, recipient: 'SP23K3G03H2MEZX88MWMRYKYYY0KHEKZZ5SMN7DSY }
{ amount: u112996386000, recipient: 'SPJRPGJ0MRY6AJCR7R9RXQ9Z034SJ8JZYKC3HQZZ }
{ amount: u112960102000, recipient: 'SP2H3X81YNWB6YXQ4J3A9SG39CVMPCV395FMMKTXV }
{ amount: u112848849000, recipient: 'SPPVK58DASQ46PW10ZSJTF9A79VCH1QEY9PT784Y }
{ amount: u112763266000, recipient: 'SPJB92XE9W0HF4494R84MFD2Q155CZ0QQZ55MY4C }
{ amount: u112528887000, recipient: 'SP369MG1J384MW7WF8WW6BQK7P56KR366TXFA10HK }
{ amount: u112465415000, recipient: 'SP27MSYN49GHFXTN29RJJW2MH3V5XSBCHVEZAD0BY }
{ amount: u112450564000, recipient: 'SP2KWQZR2DVZ2TF1FFX5FFH36KSDB1X1PT83K7ESY }
{ amount: u112418346000, recipient: 'SP28MQVERDN2P4DG6SFGVB7N5KWVAZWSP7J1NX0MW }
{ amount: u112350993000, recipient: 'SP2B6W19X0GT5NHPRG79B3MZ9YXJHNAE24CJFAPCS }
{ amount: u112317392000, recipient: 'SPEEGKTHR5481MGR2NFRFR16ENSF81H0VBNAPQ55 }
{ amount: u112302595000, recipient: 'SP2C91MJKY4199TTZSRWS0KM7ZVTNX0XW634DEQR4 }
{ amount: u112200564000, recipient: 'SPENCS8PG06J7JNC4254MA04F30QPG9D8H592ZCD }
{ amount: u112086980000, recipient: 'SPDT6KRRT7A8R9B4FSSW0P8GJW5C7R48XBP1X3YW }
{ amount: u112039860000, recipient: 'SP3SJZZ12CM2MCXG6MMD6S3CJWZ2PDDHA4Q6HPNMW }
{ amount: u112018732000, recipient: 'SPDN6Q77QNMRG0VPEVYR9GR9BERQ2HBC3F5VCHXG }
{ amount: u112017520000, recipient: 'SPZGKWXK8JSK5FGM41YTX0TC0S9W75HJEGRKDAX6 }
{ amount: u111926753000, recipient: 'SP30Z0C24JH6H73MCAKH4EET0JHZNFTPBDMXHEMYE }
{ amount: u111926746000, recipient: 'SP1G2K7BXC4R3Z2Z6MG4S30HF45VWNEYASAZE5MJ2 }
{ amount: u111858883000, recipient: 'SPN6111VJF2E731DGD5E3Z5QEBR2128N8B6NBGC6 }
{ amount: u111840178000, recipient: 'SP68V8GE1YMCEXGEV28M8NYFM9TRKHED6K2V8T4W }
{ amount: u111820000000, recipient: 'SP3ESKM8Z4E6T3HTDW10KAPSSMSAQH2M13MRARE5D }
{ amount: u111784691000, recipient: 'SPN8GWSNV60A373RGN59WV8G8EVC8PSH69FV69EB }
{ amount: u111773987000, recipient: 'SP1XK818AJ4JKF3JM8PGBC3HP50A6YNZ4YTZ6VRN3 }
{ amount: u111749971000, recipient: 'SP182TCGJN61946AHG0TEY9SYE06Q7T9SXEJE5AEX }
{ amount: u111644129000, recipient: 'SPT17DRX4XM95NR5WJ7DYC8R15VFVR8Z75C5GFY8 }
{ amount: u111623789000, recipient: 'SP39EW2ZVKBK6QT64HGYQG8QHEHXBP1NEBEWZHWFV }
{ amount: u111541082000, recipient: 'SP13PQP4Q277NX9KHAVH845V2WE1NZRNBF1EVGKWA }
{ amount: u111523950000, recipient: 'SP3MMKANXMJY1QNHCSX2TXR00FGFN8PA44VS9W6JV }
{ amount: u111512242000, recipient: 'SP22441QWKAMN20Z16A4BVDC607C45GRH4K5C2AWE }
{ amount: u111498998000, recipient: 'SPV1YMC5M2D2D7NND4JKM1N5239X6XENAQPC4H48 }
{ amount: u111485395000, recipient: 'SP2EWT0H5BQ9CPT2ZDBGC4HG1SCB83FWKYA5STE72 }
{ amount: u111474565000, recipient: 'SPCASW5SY9C03RC3PRZ01H5BXHEQJ9247TCJ4VWS }
{ amount: u111451736000, recipient: 'SP822Z0QFS7882RH7D14DAYV0YV5N72YYSVVA264 }
{ amount: u111378000000, recipient: 'SP15XVCPR2YWZJTPYDV6YMX7XRDZKZ1NKMFBS37SB }
{ amount: u111314597000, recipient: 'SP1DXF0K3309Z60M70PMHEZH6QH1ST4942F21EZXA }
{ amount: u111302485000, recipient: 'SP24BXJ0H3ZT11BC6MPM09MPJABY6TFSKRAAED77Z }
{ amount: u111265345000, recipient: 'SPG8M164KHJT98EWYEYC60G8JP8M7GK78DBZFYEH }
{ amount: u111242359000, recipient: 'SPZ2NAT4EMB9RZ4EJW7A87CV1KE307W1Y7HE8MAH }
{ amount: u111138436000, recipient: 'SP3WN5J9A18D52FT5QRWMGFPS8GH5C83TDW5MBW6J }
{ amount: u111073501000, recipient: 'SP291790V8B9QTKWG12ZZ1KFH3EMDG3RG2WY0B5AJ }
{ amount: u110853458000, recipient: 'SP23YDAYVGR33BF0JHWWT8R92GHD3Y0B1NB5EGQSH }
{ amount: u110845713000, recipient: 'SPBCYX1DTYQKHNZSS6B4EN0NXHCS1D6TA34QT3YJ }
{ amount: u110825727000, recipient: 'SP36GQ80MM4GVA3CX4Q79KA9EC3F6TXQCSZ4RF8YR }
{ amount: u110824056000, recipient: 'SPKMGTEJ2BKH5GB13MH2VYQR96F3A262A09V18HS }
{ amount: u110790820000, recipient: 'SP3GF5TWZ1Q61DYJ6BNDMDTDP4GPM39XA9YD0WZPE }
{ amount: u110758709000, recipient: 'SP1P5MEM0ZA7XJSP44ARS3G5FYM4QSTFT9G0HFP29 }
{ amount: u110750609000, recipient: 'SP34D1D5P3TAYDGMD1W78849ATDQHGHKARR5YCHE6 }
{ amount: u110694283000, recipient: 'SP2SXJ21QS4HDDK2WDRV7SE8A4TTC6ACTCMAESXA6 }
{ amount: u110656386000, recipient: 'SP1BD178MVT9M13TZY2N45DBQEVE0CCXPCSY0TJD }
{ amount: u110636991000, recipient: 'SP332D6G0777P093FRR33VWK8BK91GVP15CQ2ACW7 }
{ amount: u110561036000, recipient: 'SP2WEXQRA16WQX5EJ0S7CG5EP718WZY7SFC2SXSW9 }
{ amount: u110528222000, recipient: 'SP2ENT7AWZDC4WE3W8NYRGGAC89Q9HH98WYSHV7FN }
{ amount: u110483368000, recipient: 'SP3EMDF7E5ESZKK11PBYGYKNECS2ABR64R428PAC7 }
{ amount: u110458418000, recipient: 'SP112ENRZCAY37VMH4E21ZBR7WQ9WQ0ZK6AB31TH7 }
{ amount: u110388788000, recipient: 'SPT41924NCHYNCHZS3Z233Z67RXADSR365Q72RYN }
{ amount: u110387000000, recipient: 'SP3P0M4ATAGJP8221G3MWGM8SM19350MFAEJC68HQ }
{ amount: u110338869000, recipient: 'SP3BVRTYY9KTZGHVW5RVMNW3WG8YXJHQAJ30K8ZKZ }
{ amount: u110250745000, recipient: 'SP9TGPVKW3EJEAETSM59Z50TD918MRBVMZC7CGAH }
{ amount: u110044899000, recipient: 'SP1420JQRXJXBZ7CM15KNE6XP5X6MZ0879D2H0YA4 }
{ amount: u110041293000, recipient: 'SP31ATSC5AHXRJ7SRB3GHA6324D26V3XJ97QE3TSJ }
{ amount: u110000000000, recipient: 'SP2G2D3B7JC9NG2NQWHP804HPS7N7AS51E7QQHE2Z }
{ amount: u109960508000, recipient: 'SPDG547CTNSBQRZ657H5JSR48X14AE59ZT0MVZJY }
{ amount: u109862396000, recipient: 'SPDVPPW23KG8GFQ1J876GJMGVBR29DZHXE6M4V32 }
{ amount: u109822163000, recipient: 'SP2PGMEBQVPJW1Q24HNZJ148HTWGYHKRM415W5F24 }
{ amount: u109750420000, recipient: 'SP8YQ7H9B7BDPEGG1HQP8ZX7N8XNKTG45RQVY5DN }
{ amount: u109721336000, recipient: 'SPV1JJJH0HSMBYXJWDBPBBBQS4J2AT26PSR94FG3 }
{ amount: u109615748000, recipient: 'SP1PR4FCVMVX6SFEBXH7GYM84PH2SC1SEFWG1834T }
{ amount: u109501386000, recipient: 'SP19DSY7CSZ0Z4M25A7H72KN1NCPKE7EK8T34SXT8 }
{ amount: u109491655000, recipient: 'SP1M2RXAS3YQQFEJ5N6BZP4RKJVV7V4AV5YY8EXX6 }
{ amount: u109355310000, recipient: 'SP3K4QFNWE37TA3GRTFCYQXNNNTGSXXG5X2HXEYRF }
{ amount: u109245015000, recipient: 'SPF63YFV9S3CDESW0BQGY7MZW1WZ7SV4ZCFMWCCM }
{ amount: u109236022000, recipient: 'SP2Z5075M2KDHYZC5BMWF9T4JF7TA2RSCXQEX77T0 }
{ amount: u109186532000, recipient: 'SP3A7HKPSBAYSZ2N0SDRYBKJEV9903CM0YN17D0JK }
{ amount: u109155481000, recipient: 'SPN0FEAVZBG6AWZ93P2Z5VNJA901V0S9311JTDY7 }
{ amount: u109084548000, recipient: 'SP1VEMVQA0QFGBXTDXSA487X0FA9J8DZZQMJ0FG44 }
{ amount: u108940384000, recipient: 'SP1DFS6N6F0E70NXWS35H3HE9BQXPVZ91ZZGJ39YA }
{ amount: u108862309000, recipient: 'SP34Q30C0RM7C02TSEBQX75AYYE2SYXA0WJZ40XW }
{ amount: u108834491000, recipient: 'SPGAVAKSZXVQH50QBCMETWM6VEN4PZCCNG5XXMWQ }
{ amount: u108817611000, recipient: 'SPMVRGVCACCJYRT9X3XDDG7QHPPF8JXCX7Q1TE2Q }
{ amount: u108813399000, recipient: 'SPK99CYCH6AB5FYQ71KN8Y8M7SGQPCPWV7C3CFA8 }
{ amount: u108807608000, recipient: 'SP35HDHPZB9VFD7HBA8KNJV9DE61TRBT81KYPTZNZ }
{ amount: u108719680000, recipient: 'SP3Y5TYRF1CFGQZNJGVZFECWCMZWK55BT9WR16RGY }
{ amount: u108715137000, recipient: 'SP5C1MKYWM9CTD93H19SQBJ4CS1AH59SW79GSN6W }
{ amount: u108539091000, recipient: 'SP34SN5EWEW1XMF57VHYZJT2ZJA5NRW3MJ56MEAXM }
{ amount: u108500000000, recipient: 'SP1ABNHBSQD4R67JPTW9P3TVF6EH7YNX12NJ6X66T }
{ amount: u108461551000, recipient: 'SP3AJC728JY0Y43E8RT6K4VDWPT265RDMXJ8M0VH0 }
{ amount: u108436960000, recipient: 'SP1JSDAGAYXCTGVMNTD3H2RHP8XYTFR9Q813TPZK8 }
{ amount: u108356399000, recipient: 'SPVZ7HBGVM8Y9V19MAXY7H021DT4JA9TS2ERSJH }
{ amount: u108245723000, recipient: 'SPM2DRPE94X018R3SSTVENSRE56KMS01099V8ZJH }
{ amount: u108209387000, recipient: 'SP1H5MKH5Z6WC52PM7KBN9QKPYT2R65S0ATNQJY5T }
{ amount: u108191416000, recipient: 'SP1SYZ66K5SN7R39M80KANKA48AHNM7XZV433WEGA }
{ amount: u108111563000, recipient: 'SP2JK6X3585QK76Y07CYRGHS1DZ4M5TE5J7KQZT7Y }
{ amount: u108038299000, recipient: 'SPF6SYNPJBW14CDJC5FPA8ZS3JJ3MGT0NSFKH9C6 }
{ amount: u107955040000, recipient: 'SPDTM3QY9CJN3YJ70BK3K23RBSTY39AJQBY3K3R1 }
{ amount: u107913000000, recipient: 'SPGWW9FCMJVXK2ABNG06SGMGWJP2PD35CFHA6NC6 }
{ amount: u107801080000, recipient: 'SP2CCX46G8T9M2THVG2VYPHN1MGYF9S3SY7YG6T6C }
{ amount: u107742108000, recipient: 'SP1SC52NRYAH62D1R6Y4XW0GDTB8GBJCHYKJ3Q2R0 }
{ amount: u107688176000, recipient: 'SPW2R036FTWZZ25VN87HZTT8D1YSY3KFQ0FE125N }
{ amount: u107640172000, recipient: 'SP3X6KW5CJZKQXPWQV10P9ET2881R48G4MJC03RN6 }
{ amount: u107631227000, recipient: 'SPEQV9A63KE0AT3MS1NCCQV56NNQPPKXBJXT6HM8 }
{ amount: u107558152000, recipient: 'SPJ5S4DE379QXSXQMXTPJKSS1BFRM533PW51NKJX }
{ amount: u107454121000, recipient: 'SPND1SVAJYJF6KZNFADG2DJ3AD0RMEXQCSGX0M4G }
{ amount: u107335225000, recipient: 'SP0BBYYTYXSXP1VXPS7BVJYM25549N1S7R3KN1VM }
{ amount: u107328004000, recipient: 'SP2W96N9Y5C0TJ99JRY0PHP3KM8DYNQ5BEZ8RMV1Y }
{ amount: u107274949000, recipient: 'SP2BMZVJXG2QK31BBZVGBSQ1RFG6FK9VSSA9Z25G4 }
{ amount: u107246186000, recipient: 'SP21KY9H972KG9XP6VB0R5NT9B6KVTTJFAWVK3FV8 }
{ amount: u107246186000, recipient: 'SP3AD5RZYJT71CNDY0AFERAH9F0A0KVK6RG0AZ1ED }
{ amount: u107246177000, recipient: 'SPHYYQVC6Z5H94PE55DJWTB351WG2NJ5PP406FNX }
{ amount: u107246177000, recipient: 'SP1SQ8RQC468TH5M985K6YZ3MYAY9G5E3PA7B9973 }
{ amount: u107246177000, recipient: 'SP2ZJRHVYWYXG83QWB5R6J6A418Y7X0STXRFCN18A }
{ amount: u107246177000, recipient: 'SP1BVH77JSGESTK3ZJDHB0MPJYDPESXRQMDYGY9KX }
{ amount: u107246177000, recipient: 'SP1RT80B6G2SADNGJG1XES0BYC0G4QT48Z13JY5ER }
{ amount: u107187682000, recipient: 'SPGF3ZPR1VFCDSRVZ658PMZCFS1JH4G2EBHZA86H }
{ amount: u107161585000, recipient: 'SP1P6JF904EEMANE8KXG885FNP5E4VB2XX3ZZZAFR }
{ amount: u107110035000, recipient: 'SPTRD7N8CDE68Z2ATYEKAS6E7K40J8WMP3MNWX47 }
{ amount: u107104287000, recipient: 'SP3M7CRXMKVWCPC59M5XFJFK7Q1BF0YPRDMJKYSGF }
{ amount: u107049481000, recipient: 'SP2ERR437ENM9JPXDNBM3CNBZV1F68D6RWDSYY2BN }
{ amount: u106980561000, recipient: 'SP3W7H6HASPRV7GN3342T1FXTZ463VJFYW3PXSD6B }
{ amount: u106960038000, recipient: 'SP30PEN51D5TNEHMKV8DZKQWJJ4DAKZ83GHWNQGFY }
{ amount: u106905533000, recipient: 'SP3D73W072MCMRAE1YXRN9DRGRH01G7ZEZBT4KSWX }
{ amount: u106854370000, recipient: 'SP33YM4CD73DBVXDM1Q0GKGS0DGF8SC9P9SXF4Y7E }
{ amount: u106837934000, recipient: 'SPSC6NFM783JBTNQ2WC62T49FWG3Q23QJDAN8KQY }
{ amount: u106825675000, recipient: 'SP586D8XTTJCX8M007NRF3HEH68ZJBR3WA7EPYQX }
{ amount: u106693562000, recipient: 'SP3PSFE0G7KMYZGYFSX548G0FJ3C23Q5Y616AZCXM }
{ amount: u106662988000, recipient: 'SP14G1S0DFCXQ5BB4N0CJ8QD6F7YB8E1KGCBFHT8R }
{ amount: u106613977000, recipient: 'SP27DJT4QY2H5510NJ9BXGJJ4EK2KPGHYBZ7K8T6N }
{ amount: u106573144000, recipient: 'SP2QSWFBZ5QEFRX2XY8NJXNDEVT509DNNTM8Y6EPQ }
{ amount: u106501429000, recipient: 'SP1R03NG5RNCNZBV0CR94V1C1RRABNEGQW5S011DD }
{ amount: u106490000000, recipient: 'SPNWZ5V2TPWGQGVDR6T7B6RQ4XMGZ4PXTEE0VQ0S }
{ amount: u106456584000, recipient: 'SP3RP03XAVA03EBB2B8X8V1Q2J97WFAZE6DJVMGT8 }
{ amount: u106443229000, recipient: 'SP1XHCH4YMV3M0A4GC3YXABQ6V0M861QXQKKZRECT }
{ amount: u106364984000, recipient: 'SP2NMW6P9QY5RD40ESMBGR2MXBWRNQ3968WN2HH2V }
{ amount: u106350959000, recipient: 'SP1CHXX7NNZGX6PDHKRWAKP2P79SW5KTSE2NCSZ49 }
{ amount: u106342460000, recipient: 'SP2RXGFXTY8JH1AYNPF4V4MW36ET81WGCNVMNSVRF }
{ amount: u106332480000, recipient: 'SP7X3JEJ89NWERTA3B44HXMMC97STQJDD5ZKVW1J }
{ amount: u106316435000, recipient: 'SP2NVXAM398TCGPS366FDCWWQXF8FJFFE252ENN53 }
{ amount: u106261000000, recipient: 'SP1T2XNT1WS170BTA7K8XF943GBFNC1MA13X2BRW7 }
{ amount: u106260068000, recipient: 'SP23CPH5EQAM90DDCST1W7F5V7R8PAR6K4QPNMD5J }
{ amount: u106257774000, recipient: 'SP3DDHVXJ8RHE04VY9CTYKV653EAPWTSXJD2AF2BG }
{ amount: u106199965000, recipient: 'SP80CN7Q4K0HW68JEC3KAZ73FCWSQG43A8YTEZBP }
{ amount: u106169252000, recipient: 'SPN6C5QSHDS8Q5EMVG6ZGN9HTGZYAWEB8YFMD9VD }
{ amount: u106055176000, recipient: 'SP3PR8WPVBC0YXPSEVR78T0NPMT1Y01231QZRQSKK }
{ amount: u106004730000, recipient: 'SPDEHYTG8ZT14EZSF0N2FZE78MK4XRSZH2JR08HE }
{ amount: u105883112000, recipient: 'SP29QCRGB8VHDB0ZHNB2B1KR0PBY55M2KNDH1MQFD }
{ amount: u105878211000, recipient: 'SP3W2TKM05D3S0MADZQNDE6FEPK4JR9T6FPKCD20T }
{ amount: u105849392000, recipient: 'SP3958PS8Z4M9J0K36RHS7CQVFXSGGP0QVEJTQ2N7 }
{ amount: u105774683000, recipient: 'SPKTFS7QGESCFZJ08PCDVZT66601MTFYVTT8MW05 }
{ amount: u105608574000, recipient: 'SP1GB9ZWMZ3J82ZWNZECQV4E9X72TTZ3T3X16NAGG }
{ amount: u105600000000, recipient: 'SP20DCCASR2KAV6JAMPZMWPCJT629GX3R8MPNR34G }
{ amount: u105558000000, recipient: 'SP27ZAJNGB6SVW3HWQ6N1JXF5DEXT27NEB4VZVXYH }
{ amount: u105546608000, recipient: 'SP354TVERPYM474JFACM2QKTTQW4R74MDF4W5JK4H }
{ amount: u105477340000, recipient: 'SP3NW880NAT0N9K35Y0Y3MKE3F3HGKAS2AN2BF697 }
{ amount: u105423180000, recipient: 'SP242A6RYWQ1GDNAQTHWZH5JHT3JYMZH7VB9PSQC }
{ amount: u105351843000, recipient: 'SP37C0GTN1MFMDKV4TTPDV2EPE5B8YVT4JCZ0GJHC }
{ amount: u105264151000, recipient: 'SP1BT6FXERVANSPCGYD8YJAM8BZ38KW48V1HEZ0WP }
{ amount: u105214809000, recipient: 'SP1P8BMW246H2F506YGN1WGX5KJW09C1H2XTMM9ZZ }
{ amount: u105183427000, recipient: 'SP9ZW8HX47GD708KWVXP54EX1SJA8SFH7AKJPCGN }
{ amount: u105074751000, recipient: 'SP311AQC4R96V71GS77V9Q0SFF0731FAGEPKE4PWC }
{ amount: u105049103000, recipient: 'SP3D9W24RZC963EARFK9KNT5ZX1FJHCSDH7P55SSK }
{ amount: u105004822000, recipient: 'SP26F2CV39RJATZ45X78PX0CMQQ8V6GTVBT1NN3ME }
{ amount: u104996631000, recipient: 'SPHGX6G7MNHZYE2HRX8B2QHRVF4N6FXKDM18DAR5 }
{ amount: u104981074000, recipient: 'SPWNGFHYQBYNVEFWMVA47GQE77FP6Q6YV5HSA4XX }
{ amount: u104948632000, recipient: 'SP35T6K7DKPSHW5PD2DYQZEEZWRPJSHG5Q7AA1T0P }
{ amount: u104857420000, recipient: 'SP3PHSQN2PTS6NK2E7DP3JEW0ATPZKVA7YVMDMC2N }
{ amount: u104854808000, recipient: 'SPMQBHN3QGBZMECQG463PA6DD5KPHZWCNVHPKY1A }
{ amount: u104835824000, recipient: 'SP1MAAMAZ7XM1N830MJCNM7FT4P4T93A0SP07BSDS }
{ amount: u104793524000, recipient: 'SP2SAJR1QT04QWEKZ6NXTXK1TN5TW249A5BQPK7TT }
{ amount: u104773217000, recipient: 'SP2NBWMQQ448PFWGBHYFRXBH8C28G6MS0Y7XKKMTS }
{ amount: u104604406000, recipient: 'SP3GJJ13ESVJQRNJ1AGN5VANKNR2E0BB0P0T01444 }
{ amount: u104587000000, recipient: 'SP3FFA6K24MJZ2BDRFGCFMX331978P0A4BHJVACM9 }
{ amount: u104576489000, recipient: 'SP168KQV2ME5PDA6P6KRQ49M7ZED1TYC0JMX2VNDK }
{ amount: u104521875000, recipient: 'SP3P1Z7VTX6E3JM8HH6R6SCBCN2R2AE6NNGTYM8BW }
{ amount: u104511479000, recipient: 'SP1XWEDNGGTEH23H5S24CK6S9V4DYGE4PB33S2XY0 }
{ amount: u104500000000, recipient: 'SP5BAQC8S2T5BW3QGYXHJGQD1KRZABADT7FR4GV6 }
{ amount: u104491852000, recipient: 'SP3J1ZV7W56PTRJV33HCQJB4GQHWJG3H0TV6WW9S0 }
{ amount: u104441105000, recipient: 'SP3BJ8DKVK3VPFKT3XSSZXHJNS793YR8GHJ79XQZQ }
{ amount: u104423120000, recipient: 'SP1M0AA0F41FZ1JYNCT7A3GRC20JRWZ4PYMAMR1BT }
{ amount: u104402749000, recipient: 'SP3RSK457TWPJSGGG31YV2J6PFHXRV32DM2FQ6VX0 }
{ amount: u104349221000, recipient: 'SP2TM1VS3P4Z7R6ZA6GSP6JAXY39VVEVZNG8DKH3K }
{ amount: u104245266000, recipient: 'SP2GBJG5RETYYCQ68NKJZAY7YMNR075BYZHJMBXDX }
{ amount: u104143550000, recipient: 'SP1E1TMGDZW0GCZHERMD9WYDF976GZEZMDYS0RJ9S }
{ amount: u104010440000, recipient: 'SPDV1XKTMBP53HPG64F1H8JNR8D3R00MAMKA004P }
{ amount: u103816403000, recipient: 'SPGER1KG73Q8MDJY9RB0VR97DWHX6P4H2NKF8JNT }
{ amount: u103763643000, recipient: 'SP2443JD5YH6C1Y8W9QSEE1RB42PQ84WCY35BEKBG }
{ amount: u103590113000, recipient: 'SP2BXSEX3KB30NQQJ35RKMQVK3KV903H3V7BPTDMB }
{ amount: u103570333000, recipient: 'SPCGFFWKQBJF33KAZMKGPT2F68DFK5AJNWWDFB5E }
{ amount: u103570220000, recipient: 'SP3CMKZFBTGZYH4V6HF8RRQ2GVGC5Q8WS08YRZ1V7 }
{ amount: u103561222000, recipient: 'SP3A1VG8PYF4H1TKW0SQNB323XMGMZ88RAD67XEP7 }
{ amount: u103555780000, recipient: 'SP91ZAWX0HB7DNVR5DEAPPF9SYBPE58JV3MAX6A0 }
{ amount: u103538519000, recipient: 'SP3QS44MH7E2BH0JT8GFQGSVERPZX3S228PVBYBMK }
{ amount: u103533741000, recipient: 'SPT9APQR7PNNTTGK37M5N1AYXXQNZQPPKNM8202S }
{ amount: u103467981000, recipient: 'SP2ZAPWHR04MB72MZNCKZ7BZFWN49EPZKN5WXK27Y }
{ amount: u103450799000, recipient: 'SP2RP49EM3JF6AD4EQ4C4KWYENCW379VR8QYPHRZ8 }
{ amount: u103401167000, recipient: 'SP3E8KDD4M4KES877AK9NFGBPASNCEFW84MRFVMHN } ))
(define-constant batch-28 (list { amount: u103231150000, recipient: 'SP2M0416G2JG658N7P0VB9NRXASC1ZQ3XTRTKHD7J }
{ amount: u103214755000, recipient: 'SP1ECQJPTA9RREM5RR2TMFPDCE57GX58TR2S86KRT }
{ amount: u103089665000, recipient: 'SP1QQSTANC4PRMSYS5NQV5B7BM1VXFW1T8RR03JVB }
{ amount: u103084377000, recipient: 'SP17Y94H9CBCZGDVY6RKMDX2QH67NBGPKN0PBHMFD }
{ amount: u103015399000, recipient: 'SP36W5HXTMG1FJ5CBX64RJ65X7TA4KYXZA9F3BD63 }
{ amount: u103007990000, recipient: 'SP2P77AX1196K94W78FCMK5XZNZA3TNR1NWGF2P9R }
{ amount: u102961978000, recipient: 'SP3ERBXWZV4N3DD5KMH1TM493D5VSYQHR641CDV4G }
{ amount: u102855000000, recipient: 'SP2YNJ97SYG4C0V30NNDM6YS80JHYK1FH273FF55X }
{ amount: u102839460000, recipient: 'SPTQQE9SEV82CZ3DWCV5AY8ZSX3HK3GK7FTAZNV8 }
{ amount: u102833809000, recipient: 'SP2M2YAWN0SF8WE9Q25ZP2WTMAEA8TJJZE64ZZF6Q }
{ amount: u102781032000, recipient: 'SP31M4985WAFB63J5PAQAHT0HPY8TP5R2Z170X1PE }
{ amount: u102781032000, recipient: 'SP1FV7V9YAQCVJQ5MEZBHR99MZX7KCEPYX842SDFK }
{ amount: u102781032000, recipient: 'SP3W597XNB9STCJDR96QAV4RTPPC4XMVYE53SKM44 }
{ amount: u102781032000, recipient: 'SP2B5ZYS4853TH852Q06NCNQ7JRDZ0RQCHFDAHGYS }
{ amount: u102758269000, recipient: 'SPKC2MQT7G5WRJ0ABK2VE0MSPH1QZWP12BYMSVSF }
{ amount: u102731970000, recipient: 'SP33KZP79A0X4QAN9KQKBS13Q70QC2420W0Z0BX0X }
{ amount: u102679917000, recipient: 'SP178R4ZXGC4DM79QACXYPNG5AXENA46MKJXBVNZ0 }
{ amount: u102679917000, recipient: 'SP2DHCDRQ6G3P30ESM37ES73443YMYE981ZKTJW6D }
{ amount: u102679917000, recipient: 'SP1S92DTKY757GDAPNZ3B38WAFKA0S3GM652TEZRB }
{ amount: u102679917000, recipient: 'SPBTY26GF4J61YPFA9X17Q6FM8R24VJTFM1D6CJ8 }
{ amount: u102679917000, recipient: 'SP3VECGSC6W8465YTNXZTTKW53NHK8K8NAKKDQFZT }
{ amount: u102679917000, recipient: 'SP2Z6QDT3M0JMEP754E1NCQB6W35XZGYAE144CM4W }
{ amount: u102679917000, recipient: 'SP3R7ZNT2YNAR7H8FT8BBQAJR59KHT4TMF2QRNCVK }
{ amount: u102679917000, recipient: 'SPR8DWGA0DKKZEDX02F9ZZP966HJ0SYXJMBH03VN }
{ amount: u102679917000, recipient: 'SP34D3EH3R6DD2J5RBZC1C50SQJBD50VAZJDFVAFE }
{ amount: u102677428000, recipient: 'SP3KJB6505Y4G6RN5ZSNR9PYXSJZ8DFD35FEX63SK }
{ amount: u102651504000, recipient: 'SPE8WC8NBNQXR5RYJCQVS91EK4TJ41BAF54FR5Q8 }
{ amount: u102649092000, recipient: 'SP1GS11W62Z9FKAV7TK6CE0CDVRKQQ4K2P97EGAH6 }
{ amount: u102648423000, recipient: 'SP29D7JW7AN8D1S3PN16V7YRNZP2KJ4FJJYK7H1A7 }
{ amount: u102632757000, recipient: 'SP1AWH39MXC0WGR8Q1YDQR3A7F0Z3F5281ZT260HA }
{ amount: u102627000000, recipient: 'SP1X9JXABZ1EF80Y1M5S57F19D8250YK7TMMX26M2 }
{ amount: u102626772000, recipient: 'SP17EW11XQTETF4V1MEWYD7FFZKXFBE6DEG0AD01K }
{ amount: u102580049000, recipient: 'SP2WT7EWXED474B21BA99S07QT3QKVHGXWRP7DRND }
{ amount: u102578802000, recipient: 'SP38DDQ079H7DRSZ6H3ZEXW8ASJZB8B1DQAT1KVC2 }
{ amount: u102578802000, recipient: 'SP5T55Y9CCKFK7V3R44TXD56J9QJAK5KE613FY95 }
{ amount: u102578802000, recipient: 'SP1DBZAHJFW2RX0F34H19EQ53TD49FZG898QMT4Z4 }
{ amount: u102578802000, recipient: 'SP2295X4H2ZZNZAHEPRP9Y6T2BHG3P0P10HJV19B0 }
{ amount: u102578802000, recipient: 'SPMNPFNA23KH37X8303KHCW4P1GZCXSCM5HJW4JE }
{ amount: u102578802000, recipient: 'SPE6ENDPGV50CJXX13CDP8AG3WZTN858MVYQKYS2 }
{ amount: u102578802000, recipient: 'SP1P77S4H29JV81MNWF9R9ATMM4RSA5Q5CTHZ4H80 }
{ amount: u102578802000, recipient: 'SP1DZSA468CXE8TNBMMRKWEJ5RC19Z2Y5JTP5WYYB }
{ amount: u102578802000, recipient: 'SP2VB89MVAXBPGYPQSF81C1W7F2F7EZZ3BNXDWZW4 }
{ amount: u102542674000, recipient: 'SPVJ44T63GE5AKCJDY3GN8FS82GGQY1VZ8PZM0V4 }
{ amount: u102517646000, recipient: 'SP2R30BCFRQBEB4JT59DJ5RKEW5YNBBEGGHF0RAJN }
{ amount: u102285289000, recipient: 'SP2GAVEGD0NN7GRBRVESDY7H4ZNHNX8XVMY5WAXHD }
{ amount: u102276183000, recipient: 'SPWAHWF4FRNEPQ9P7RK8JZE3Y5KJZW9MTPP3F10X }
{ amount: u102264125000, recipient: 'SPBMA0XGK2EW9SV2R0MC95R74T70JW7Z4BXTP7NR }
{ amount: u102174669000, recipient: 'SP2H8TG5747SSN67CNQSF5QYH4JMK7RSHTDQHQ71D }
{ amount: u102167422000, recipient: 'SP1MM6CQXSXD9MNN5NRY67BTWRXNGD5G9TAA4WC7A }
{ amount: u102159356000, recipient: 'SP2NX0Z22R2ECX269Y7J50HRKPDF4P9FWQ000H371 }
{ amount: u102105475000, recipient: 'SP2V6H5MBX9AB1ZKQA86Y266Q02ZYTAM569Q1JCBH }
{ amount: u102083452000, recipient: 'SP1BVSWMHF1R3WMMWA460ND6A32ENVMJAWZ1AYN9K }
{ amount: u101971177000, recipient: 'SP1V3W70ZKEN4TVA7BV23AHVYXAXGNFYC2TF1GZMQ }
{ amount: u101908666000, recipient: 'SP3PVW08MC7S4HFW20RE9KVJQAASJST53NJN46WMK }
{ amount: u101890095000, recipient: 'SP3E5DYGCWC7KT55S87BXG9C46P986VQZ0ZZEB37C }
{ amount: u101859782000, recipient: 'SP7XZ4WV9SDQS6GXS40D1ESWAV8D5ZR8ZMXPDBAH }
{ amount: u101856766000, recipient: 'SP1S8FSN7JXDJ9B2MEQDG60B3WWHYW01TVM8WRTHP }
{ amount: u101840401000, recipient: 'SP2GKG0YZ1GS50H4GTNFVN2S5C1G8B4E6GMGQ4MFJ }
{ amount: u101731405000, recipient: 'SP1B1D8M9TV8H3BXQVYBYHHZYGFVYK9B7HCY87NA3 }
{ amount: u101721236000, recipient: 'SP2KT8G706P8WJ026V1GBX5JB5ZDWCM1JFV7BA6X9 }
{ amount: u101712380000, recipient: 'SP12BPX5C1X48FF2R5W1JNT6PPVWV6PM42FT8EWK2 }
{ amount: u101689974000, recipient: 'SP2HN2NPFGBKW8F7773RP9NM65BT1G28SJJN2V5AW }
{ amount: u101623629000, recipient: 'SP32G5NZH2KJ7P0SDFC7MEG06MGR6ZJB8FJT449SJ }
{ amount: u101618459000, recipient: 'SP3XG9EF82SV8BH69KNZXM499M572HZDVAM9EDCFJ }
{ amount: u101600000000, recipient: 'SP20ETG02TM8H3QHXZQAT77T67VSFRFCMBD6XJNVV }
{ amount: u101588859000, recipient: 'SP1ZPNK57SVT1151FRBGW44C4DEYZ81FDRESACSPB }
{ amount: u101588859000, recipient: 'SPC4HJH597T6E5XAHTWGVQT5ZP565N234MQJ7QJE }
{ amount: u101588859000, recipient: 'SP7DTXE2Y7BYZ8R9S3MGN6Y4M08TX80HMR6TEZJW }
{ amount: u101588859000, recipient: 'SP3T68ET7WXGN17MKATZC6EV59CJQY8FDZW2REFPJ }
{ amount: u101588859000, recipient: 'SP3Z0ZAX14CYZCDCGQ1D4ABQMW60HM7GKJK6SZ4Y9 }
{ amount: u101588859000, recipient: 'SP175WB2JNYTSVSF0G51MZ4N0Q84HCKRJZTBVHCWD }
{ amount: u101539000000, recipient: 'SPQX15RE6Q46NFQV51DJ81Z9KV7ZB9NNMMRY9H06 }
{ amount: u101513884000, recipient: 'SP9QH56JJ7VD59PYWDA3ZQDZSZ2KFF1EHNEFS3BX }
{ amount: u101501908000, recipient: 'SP16HS1Q6W58AMTR6RAFYEM09TFRXH1JF9S3W077S }
{ amount: u101386629000, recipient: 'SP1BBMFYPDAAYF65BJ8FQK4F7KM6QX8QYVZZ02TVT }
{ amount: u101386629000, recipient: 'SP1AT7AB055WDVZ8X1EJCPKMNCB9ZK81DSJQ44KM3 }
{ amount: u101378292000, recipient: 'SP1357HJQYNNXB92KKW6PMR1KDHYE4ERM8VYWEJRB }
{ amount: u101370855000, recipient: 'SP12VM5F88XAN92P0G0WP43GQEPXWW2EFJPQTQWC8 }
{ amount: u101364850000, recipient: 'SP26Z1R8ESHGZAQ84SEV6HJ6CWRS02WB0NG3S2BNC }
{ amount: u101340513000, recipient: 'SP1BWNGKQ3VAH0V0X98MZ5KF1JRFCT59SE46CEG0M }
{ amount: u101340513000, recipient: 'SP2FKFKXC57QRAXGGRHQQFMFRZRBDSC508FF9F9PB }
{ amount: u101290731000, recipient: 'SP382MD9361748EY4YBCWKK6AMCSDMMVFX4SDB2TJ }
{ amount: u101279722000, recipient: 'SP2M8FQK1VSP2500TP3CBYWEWHZ3CJ16PDX2379ZF }
{ amount: u101248069000, recipient: 'SP3HXTXB9FK3W202KQ80X7MGMB8WGRJDYRQ6ZY3Q3 }
{ amount: u101210766000, recipient: 'SPFF31K9TME900A4CVW4ZH056DKA9XQRKZK7GNK8 }
{ amount: u101193581000, recipient: 'SP3BJCYE7ECWZM7RPYSTA730XBSE4KFR3FMVM1TW9 }
{ amount: u101185737000, recipient: 'SPDQ9CAPCSSYAHN184CKKSNX7HZDPEXVS31N1HRE }
{ amount: u101120204000, recipient: 'SP1ZVHJQAYXSK1ANTCQG49YNANBYVQWBD11QAHDNV }
{ amount: u101115453000, recipient: 'SP3YBDW11S6FDTVQYPR1WQJP32HK6Z7H66DHCJS4M }
{ amount: u101087245000, recipient: 'SP3BXGN8D2WZ83VHT5YNADB37FE20B0G6J9K3BFS6 }
{ amount: u101067842000, recipient: 'SP28BG79ZP78ABEEE6T776G7BKCV9WSSBQNQRFQHY }
{ amount: u101042276000, recipient: 'SPXBACHACB1DGTMWEMCJCJZGP21C1FXX0W0TBFB5 }
{ amount: u100955220000, recipient: 'SP15RR1D8S6P859MK0HFRPND6AG0NZ5PGDEN7DZBB }
{ amount: u100805770000, recipient: 'SP2W9G310X6SN18MH8YAFSSEDXCVAACMRYFB29N5C }
{ amount: u100698851000, recipient: 'SP13HPM316VDVQ64C482C5S2CBY3NTWF8SC6GZN1Q }
{ amount: u100656555000, recipient: 'SP3PPE2Z3F1VNSWW6EJ5SYFXGGXZV4YC4PRN0REGY }
{ amount: u100600008000, recipient: 'SP3198Y4NNT0A26NHBEPGPJHWG1TKHM4XYE8YBYN8 }
{ amount: u100571000000, recipient: 'SP3HCT7Z9C975Q2DGCG6SVQNG2VTMFY5KBAZFGXSC }
{ amount: u100492854000, recipient: 'SP13TQEX3JX84N82V0NSH0R1Q8KKCSJA6JYYY7J8Z }
{ amount: u100429120000, recipient: 'SP3M6V9CA0AV3YH359YDWY70HZDQKQ0ANV8ZSPZA }
{ amount: u100421120000, recipient: 'SP2D3R4PYJWDZ2RG62VPEBFT3T8W5MVJ9409Q4KPH }
{ amount: u100392365000, recipient: 'SP3D4W56Z965EZ7WNM8MT3XMAH1G5044K0VGZ0558 }
{ amount: u100341381000, recipient: 'SP1DHMHZWAZKVR9FK986AK8MKVF3FSC4D1B3G6BEH }
{ amount: u100319188000, recipient: 'SP26R3QJZF4CAMM38MFGQQ6Z1N41HGE4T5C7QCKER }
{ amount: u100316186000, recipient: 'SP11GNVNC4H0WS32TQA1T1MGHFF9MNQT6HMT0HQ1Z }
{ amount: u100292604000, recipient: 'SPXB6QEP90FYYCHA2ES27ZQEE04N21V70NR7DVTH }
{ amount: u100231535000, recipient: 'SP26RFQF9WKQS0AK0RSMYGS6JFXNVZN2707QB0Q5X }
{ amount: u100200549000, recipient: 'SP24WR3YD0B90MFCK3F25NM4CK2AEBQ46MT5358W3 }
{ amount: u100197000000, recipient: 'SPZ08GRDZ34PXD0AKVFEXW48EWRH1X5N2DCP4TEF }
{ amount: u100194213000, recipient: 'SP2NJPP0AKBT7ZV9244ZFER0XQ7XYEWJ0M5CKZ4DT }
{ amount: u100173387000, recipient: 'SPSFVHNMBBXGA6DNXM4HKED4NV92NZY55RH5430G }
{ amount: u100156000000, recipient: 'SP26M87SKF3M8RTFMTVGJS94NBP192J8NPXDVJ0RS }
{ amount: u100116652000, recipient: 'SP1MXQXV9261WBASDJ73REEJP0G8PPBA78CE1YDBM }
{ amount: u100096060000, recipient: 'SP127TKWYVGH5RX78WY0KVHC08ZGJKNZDS9XDE77J }
{ amount: u100095191000, recipient: 'SP3PH5W3YCGH2JBZBC1PAEZ8HBW5MTJ0XWM3TGXYT }
{ amount: u100092131000, recipient: 'SP33SHT21NSWQZJFTDH1K2FYWT22Y185MQ5KPPNR2 }
{ amount: u100089442000, recipient: 'SP1YXTNS1KTE72WFXV59RWTH54VVX498T0HQX8MYW }
{ amount: u100081514000, recipient: 'SP29KGJNWRTHX19MCTR0H26YX3MHPFPT7HK14S6K0 }
{ amount: u100074865000, recipient: 'SP1H5JV87WN4BSM9933JNER4A8T1TR2ERZZBTNRZD }
{ amount: u100054047000, recipient: 'SPZ5XENBTMR38JZYWZKX2HX82CXR4A4GYNE489CZ }
{ amount: u100052948000, recipient: 'SP2BFNQS61DRKMX1KJ94ZMRD76PYXZPWNRPC30JHG }
{ amount: u100023812000, recipient: 'SP2KFDE7QKEHNYR797GCTNW94WE1GTZWS3NRZGKJA }
{ amount: u100000813000, recipient: 'SPKFZ21KXCYMYSKH9806J2PW7GDBVEP6G8DC4KE7 }
{ amount: u100000009000, recipient: 'SP2FHHDH8XM1G34GC7JHCVNY3WXADDASB5BFBTDZG }
{ amount: u100000009000, recipient: 'SP3DQ1DTCNESNSY261E4JNPSPC966W67ZWE0SQHT }
{ amount: u100000006000, recipient: 'SP3D8Y5HMVWXZ3WBDHQP9B3CYKD0R13NSXHNMG00N }
{ amount: u100000000000, recipient: 'SP3MSYTF7R93HW47K94BGPQC8Y8NPA0SHXVRT3V6Q }
{ amount: u100000000000, recipient: 'SP2W8SXYX8HP40V6682F4F5CRKZRPRGREG4HKBMZX }
{ amount: u100000000000, recipient: 'SP36E9DVP7JGYYYTDFFHPPKCR6D71P20PA21RJCBM }
{ amount: u100000000000, recipient: 'SPA53G492PJ4HSKHBX3H3H32Y3MZPGTB348XXYDX }
{ amount: u100000000000, recipient: 'SP2QJZ8NVZG4DYFCD63XQ14NR3W6VP408WYKVQZ4C }
{ amount: u100000000000, recipient: 'SP3PCSV28KYYTN07C0ED9H97V69ECYMH2Y5HXG7JY }
{ amount: u100000000000, recipient: 'SP2KQZ2E1YZ2R37G5N6YZ4VC4ASBV5P14BD2AMCPT }
{ amount: u100000000000, recipient: 'SPNHK85Q6A7PJXPDWA3TAYEGJ2DDS672R7R9TZ9X }
{ amount: u100000000000, recipient: 'SP3DVRE3Y6M8GEEG9KHEGCPMZ3AYQ43QMCN3DVW0K }
{ amount: u100000000000, recipient: 'SP3CB8ZFTJJDTVTN960TJS9FS97YW6FJFBBH1BEM7 }
{ amount: u100000000000, recipient: 'SP25DZPCHNBG48YJ29T051XZ0AEC6WAF878N9GMQ1 }
{ amount: u100000000000, recipient: 'SP31NFJVD6YJQG48AVCMJT0GJM1V96FY64KAVYJN6 }
{ amount: u100000000000, recipient: 'SP1M2PFP86K3DJH98PP46B12BHNE6A7B12VV8Z9FW }
{ amount: u100000000000, recipient: 'SP1DZPVWCZGXBYRVTV2AWDXWPSZQ16FCZRWTVSCCR }
{ amount: u100000000000, recipient: 'SP2VCPEJE77TYQQV1ZG8H1GPR7M8YW7MV3MP190XM }
{ amount: u100000000000, recipient: 'SP3EV6MG2FFME0W395WPS2MHR5917JEJJA6VZ1Q94 }
{ amount: u100000000000, recipient: 'SP19RYZ0YG3H4Z3SJBRVFM02QVNFNSJGDSKA65Y50 }
{ amount: u99970500800, recipient: 'SP5JFY2VYPPNFQXDC32V2C0YWFY2APG27FPVNM3H }
{ amount: u99936856200, recipient: 'SP2MCYDA1Q9P4HP3RFKTYRGXX4P8DSXXF2D5PZGJY }
{ amount: u99932816800, recipient: 'SP24Z7C1VBBEQ8Y988E6CCR42MW8F7D37BVKK01TA }
{ amount: u99932778400, recipient: 'SPT2F2B7D68W5V3PJJJ5FFPGB1ENT1P448YQJPH1 }
{ amount: u99831882000, recipient: 'SP1DMFA6CS35MMQM4ZTS90CCQ9G0J0XZP2WRETGH2 }
{ amount: u99824911700, recipient: 'SP1FKA3RMGV93QRF8ASKF2Z3TT4FHNSRYJB9R76AH }
{ amount: u99796279000, recipient: 'SP7BT06H9SK542E8FXFCG1FWW8J1YRS21DJX14AM }
{ amount: u99790784900, recipient: 'SPTR4D24KE23X2EAB9PFM6FP2NRPE992GTDN0MZF }
{ amount: u99749809100, recipient: 'SP1GMR6DTRDFS5DJNW0750VF5K1T6HRK06GM5C958 }
{ amount: u99733182700, recipient: 'SP17V9DDCDZ8BG9E5W6WSBQXBA68XQ8FNFJWVFNAK }
{ amount: u99700022900, recipient: 'SP1NX9M0Z5YEPG2PCGD8Y0NT3BVBHRVQ4540P3H0X }
{ amount: u99689027700, recipient: 'SPAVDXSCR3KMH31ZJM8NR0TP15R5PQWVW508T9S3 }
{ amount: u99600000000, recipient: 'SP39JWSHKA1QP22M41X655FQW5HVKY6MBCCNQ5PTC }
{ amount: u99556202100, recipient: 'SP73XZYMBBRC5QRKX09MEE024HQNFBHYDZADAJJ0 }
{ amount: u99553661700, recipient: 'SP3D4145F9XTANX7BKQPV0AZHP6ARX8R4WFDC8TDZ }
{ amount: u99530420400, recipient: 'SP1QVGHV1AESEYX6N1P9HCJ94BHSJ7ECWHC3RACMQ }
{ amount: u99512640000, recipient: 'SP1YJG02TJTEPNAG3MM8XMT1HBZNTQHZ2AECZ1KBF }
{ amount: u99500000000, recipient: 'SP1EXMYGHDSCZHAHPJZZ24KMYC714913WHZEM1W7N }
{ amount: u99500000000, recipient: 'SP15GT1NKDPZZVD6QM81BGVNEVC7YC6J891TN256J }
{ amount: u99455897000, recipient: 'SP3VBFNNHQCZPK9NB8PKB63F79FJ13D45Q9EVG15T }
{ amount: u99429590900, recipient: 'SP1HXPWRZYG44SQM16EZYYHFM64DBW3Y60CGHES59 }
{ amount: u99348142900, recipient: 'SP24W4CGTXDVSQY7BAF5VNQNKH0XWQQ9JEMQSAW7E }
{ amount: u99322158100, recipient: 'SP1PA0NWHFMVR275MDQNRYVQ7DCK2BQNERWY6W2Y7 }
{ amount: u99287450000, recipient: 'SP3E8PKSVZ4QAQH70Q7XAYZEMQT2A1EMH52AY5BNW }
{ amount: u99239231500, recipient: 'SPKDK56TFPKKXP3Z3FT0E3QPHNKAC575FZEV00PG }
{ amount: u99212310200, recipient: 'SP3E38187ZH8H1AS59PS0KETJT8GQPHVV3GWT4R6F }
{ amount: u99200000000, recipient: 'SP2Q7QYEAJ4VWYAAFZX18GS9PQTJGBZ16RTXC5E66 }
{ amount: u99191368700, recipient: 'SPKQP0QJZ24FFPVKD8EYM6PJE1NPWGXAPXSPA82E }
{ amount: u99185947800, recipient: 'SP30D5TGBBASSW7K6G79RN8G477XT8ABKNFT8Y7GP }
{ amount: u99157232800, recipient: 'SP16ZJ90MDM1EETDXKMK74NR41FWVWEK5E8CM459Z }
{ amount: u99058058000, recipient: 'SPPMVJT70Y8SCPAFHH6SJR7SPXHD6ME34WW95QS4 }
{ amount: u99006429800, recipient: 'SP1VH6DG5W2QYX7SRG5FDZMPB45C7G2V17DSCY5C7 }
{ amount: u99000000000, recipient: 'SPKPE331D398MWMCDTSYMESG4CW9TXRNMYS0VDHK }
{ amount: u99000000000, recipient: 'SP2ECQPRQEHZJQ923TQ45NEDF5CJRRS18BWF4465Z }
{ amount: u98991487700, recipient: 'SP1NXAHAX1XZJJZ6E7E5FGXYK2GK0T4ZKFN4T4W9E }
{ amount: u98819680400, recipient: 'SP3TR9H98GTF9TY11RGY16VGRFGMQ2J655RVKJZ76 }
{ amount: u98793328200, recipient: 'SP1MK33M6AYEZNAKFQY9Y000G6GZ1F2X3DX2A5NCQ }
{ amount: u98759057000, recipient: 'SP1N5YNEV2RDV1GEFMFW164NHHQH8QR0HX8W6S4GA }
{ amount: u98755000000, recipient: 'SPW70XMCQRYAQ91E9RGN3Z1DMFMK67JRAW51YAM2 }
{ amount: u98749446300, recipient: 'SP5C5J1AVSD63C0PEH965TGFDT1CQWFJY37DTZW5 }
{ amount: u98744672900, recipient: 'SP1EJCQQKB3FVQA1DAWGMHHS3Q00D5MWJY06FJH2X }
{ amount: u98744464200, recipient: 'SP5TK1148EQN4DRX26V84PJR0A9MJ7VS2JPGX2KK }
{ amount: u98730144300, recipient: 'SP37FPAYBQ03NRTST46BZC47BJ221M6KSF23SZX82 }
{ amount: u98700941500, recipient: 'SP3P1EXMYPD2KQ6DXRTF54SANC9A38EQH88W1TWGE }
{ amount: u98692544000, recipient: 'SP2MVAMJ5Y3CX6N33280ZGN41W7JND4N67EQ893W2 }
{ amount: u98686076300, recipient: 'SP2MZEFKDMJDQVQXX6570KKB0CJ97VMKSPXHNNAXA }
{ amount: u98667971200, recipient: 'SP3RQ3V92XD170BSK6B0HAFRMTVQHP2NSSCCZDZP3 }
{ amount: u98595870000, recipient: 'SP3D2JPFCZGZBXWVHD0QTVY00ZP0MDSZFQAWKKR83 }
{ amount: u98566291500, recipient: 'SPZXJJS10EXPSYZZ3RRXFDR00A54KCHSB4KPFS0C }
{ amount: u98429002100, recipient: 'SPCXXYPN134CXM2JWHY05BZWY9WR3HRREPZB7KW1 }
{ amount: u98197822200, recipient: 'SPHQ1KAYJ0BY8PXWBDNAP1B2X591AWSMKFVB6QW5 }
{ amount: u98193922000, recipient: 'SP1KWCYXS5N2C0CWDBXFJWRXXWVGVPDBG008Q1C6D }
{ amount: u97955710200, recipient: 'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK }
{ amount: u97934441100, recipient: 'SP1Q9FNT1EJEGDBS98JYNCW4WCDEK8YNBCVFZQN7X }
{ amount: u97833204100, recipient: 'SPFTAAHNN08NW0FT84FJWMQ27YZA3XF2RFJWH8HJ }
{ amount: u97815588900, recipient: 'SPX2DSQV5F5Y3WRANMEFVVA4KZ4KDKHN8KME2ENE }
{ amount: u97796164900, recipient: 'SP3WEZJRS8AK3XB13Y5059DVV9B66KF4VKHPJJMXE } ))
(define-constant batch-29 (list { amount: u97763159200, recipient: 'SP2SRMGMQAJXTK7VWZCR394EGZD9C4HHRHZETMH5S }
{ amount: u97608233000, recipient: 'SP32SDEX60662QYZR2BAMCGJKPSJGPDXB24HNVZ6Q }
{ amount: u97603000000, recipient: 'SP2SGH3CTHD6B579VJ252XDDX678GBQP91MN40VYZ }
{ amount: u97571374400, recipient: 'SPTYBP88CZZNFWNGYWTM2HF6CW9ABVCJR5FNB6Y6 }
{ amount: u97500969000, recipient: 'SP3V0NPBBAA1VX8YZJ2P3M5A6TYQDC39J6EXPDRF3 }
{ amount: u97406319000, recipient: 'SP16XV5DZ4YV3NG91B4YWF14XTGBZNVZJ92QE6QNZ }
{ amount: u97404068900, recipient: 'SP15TZMYA4BA7B27J8HZDS946Z6G4NYY7R5WW9TMA }
{ amount: u97307329000, recipient: 'SP1NTJ4NRSTGKR1WZQST6XF7QNCZ7T63NT4X2FVJW }
{ amount: u97242601100, recipient: 'SP2GS3PYCBQ6V4MHNRR18T434HEAGTRNK35FDCK8K }
{ amount: u97121271400, recipient: 'SP3HPANEWNWVH0CHFZG0W80ED4HKJYER1A2GQHJSV }
{ amount: u97095028000, recipient: 'SP1GKNSKT05GNSHP6KQ0NTJW0NWDP74C1WNETQ8SQ }
{ amount: u97027346400, recipient: 'SP2YGS8949GY953G7YW5Z5WTAVBYF6KJ8AQCACZ4E }
{ amount: u96969757100, recipient: 'SP13RJCND1DTSBH0MH4TRSTV29EJ065AJ3W1DYY5Z }
{ amount: u96969301900, recipient: 'SPG31R93AQEZPSXRG788DTPFY9V3X0ZSWPAQGGAE }
{ amount: u96956740000, recipient: 'SP22EE8V6G6D83G2ZFDZ4MG1EQN9YAH1WBEG766CR }
{ amount: u96836203400, recipient: 'SPWYVK9SAP24S7W460KA3827HZ71KDGSY6XGBNY9 }
{ amount: u96795871900, recipient: 'SP1JBVHG45JQJJCKQ282T99JAKVGWCNDZNT060SK3 }
{ amount: u96724920800, recipient: 'SPMA5BCYTM0CANNRGVPSEY073FZ035M3J0G7TH5E }
{ amount: u96679698500, recipient: 'SP2E23WHM0SSVDC57JQF3B4Z1T52W81KBA4W9XN59 }
{ amount: u96568559200, recipient: 'SPXSBQ12VZ37SHZ2FWK3AH0FQJ87SEPK8CC4DECN }
{ amount: u96545691300, recipient: 'SPKKPYAZPK4STT97PM00SQN1RDAHZPBX49ZXT703 }
{ amount: u96530435300, recipient: 'SP3SEWVFDDSF3DDBDCPBJPJMATHX6VNB4QMHVR8NE }
{ amount: u96461851500, recipient: 'SP31V25E7DP38546R6K5NDJ4Y4996DSMVBP1RS2V6 }
{ amount: u96426930400, recipient: 'SP380B7RPXPHMP34KV4RWRG7YKCH5RDK4F19DXSTA }
{ amount: u96373128200, recipient: 'SPYH7GR8CKJ2S28GF55FAFQ1EG5B69EAWVEBHXKT }
{ amount: u96217209300, recipient: 'SPRMKEEW51J4GZXCS2TAE38Y2629MHBVDVET0XTH }
{ amount: u96140243100, recipient: 'SP1XNN9PDDD4WHHWRX5PRZX89HFNWE2Y453YVP3S2 }
{ amount: u96138049800, recipient: 'SP3WM003WSVEQE2A2PM4XSZD0W7PVEHP4CXBQPMZ4 }
{ amount: u96131483600, recipient: 'SPBSC9BG4RCAHHG10G23CWV1ZTK9FSVSWBRTP8Y9 }
{ amount: u96127177100, recipient: 'SPAJWZPK9JDYXD4NBSRCH4ZPAHTSR1FC10SBDB87 }
{ amount: u96059680100, recipient: 'SP280WQWZT2MMNDKY5N39T7VEGQ24MR4R10MBEZC5 }
{ amount: u96022344100, recipient: 'SP2E736QCS7GFZ1SVD8BD2TJR029NBX87YB7XD5HF }
{ amount: u95995180000, recipient: 'SP1W2ZYVWM974TFQBQ0QKM8CG6YHACJKVSA47K0GC }
{ amount: u95875970500, recipient: 'SP1KKXW9DQD1H2ABZMB7JJQNNM9WX41JQEG49SDQ3 }
{ amount: u95853729300, recipient: 'SP1KRYGSHTWW03CMX2CCPZ6C4J3FCG94EMSPXM9C5 }
{ amount: u95839847600, recipient: 'SPS41XCN6RWAWA77K2QKWHPQ9XGTSP1CDKZ3ZWHS }
{ amount: u95780353300, recipient: 'SP17RE9M6ZZ4SRWNGPSQ2J438320WYCAMPC2RXHCX }
{ amount: u95725026200, recipient: 'SP3C9K74N4R4S0BWRXDX4P4PE2W6TMB3GQ7NNQ48R }
{ amount: u95677178800, recipient: 'SP2BQ98DMQMFCNJAKMVA8RCHF2D3X68YAXEKE8CP6 }
{ amount: u95633865900, recipient: 'SP2NYTQWKMJGR86FN9GQMRBF9FGEFXB0PV6BXWS32 }
{ amount: u95555000000, recipient: 'SP3ZVN8AFX6Z3X8S493A9QYMJTHJX4DQ6YZ5VTM52 }
{ amount: u95547222300, recipient: 'SP16FKF910W37P8KRD252VR7XFP3VTWH2PNB0N816 }
{ amount: u95521763600, recipient: 'SP25V7V4XYNJFP0SXSWB7YJMRF6RJTJ8R053FTBAP }
{ amount: u95512000000, recipient: 'SP19SPRSXGFBW8YQPDG095ZEFRH4DNAAQF6WMBHPJ }
{ amount: u95501003600, recipient: 'SP1VFTXPFH4S8T99NHWQBJ8BECKZFQ3YFXRN4NJY8 }
{ amount: u95491275800, recipient: 'SP1MAZQP7G9HE197SMA1NHTBTC3MA8WMPBR40FN0B }
{ amount: u95448105000, recipient: 'SP2G1FAZD5ZNEB3VQ54VT5ZX55WX44SS067Z4TN8V }
{ amount: u95446741300, recipient: 'SP117T65CQSED7XA0Q850ZVJ4TG3XMKH5784MM0NP }
{ amount: u95419972900, recipient: 'SP1NWT4G0T5RFR5PV499CR590H36MPGE9GPSV13J7 }
{ amount: u95408494300, recipient: 'SPGXWVJBR59RP1XK7H94AYCQFJHNZ7FSPJ1P9814 }
{ amount: u95116676100, recipient: 'SP1C6WQ9KTV3769S8X8YNAWBXKDG2Y65P5EEDRWR6 }
{ amount: u95100000000, recipient: 'SP2K7Z0EBNZ5BDN1RFXC7PJDY51MQB80CJ4Z7QG61 }
{ amount: u95014306300, recipient: 'SP203M3V38AMQKD971GBQ5GPEHHEMW1RBTVNEWH8X }
{ amount: u94976896900, recipient: 'SPBJC65JEMMMG0YQ9786N7SKPQPEVJ861M2EGBWK }
{ amount: u94950714500, recipient: 'SP1WYHPJJVN3P0PS32BMF33P6WVVK1SNRRS28ZF0G }
{ amount: u94914025000, recipient: 'SP3MMTBK3R3AVJDA49CFQEJ8EZ4GHNJV6DQDFC7QY }
{ amount: u94865228700, recipient: 'SP24F1CS7J5YSDNC9QH829MSF9040WNXW7G449WBX }
{ amount: u94688095400, recipient: 'SP2SCT94T2QG5J4CVBVBMPKPZAEGG8TKQ22SYEKQC }
{ amount: u94595970000, recipient: 'SP1M4ZB279FQRGWA4NS6AX3FAZ7F3RY4KKN8J320Z }
{ amount: u94595164900, recipient: 'SP2GZQCKMZ0WS6APSMMSJCJAA5CSXVPHR8RAT4K7H }
{ amount: u94555205100, recipient: 'SP19Z7PTK7RPK11MYQXHYCE1YQERQ0FA092SX8YTZ }
{ amount: u94548594300, recipient: 'SP1H9JYVE3M37GJ4DPTR4E16WQJVM5BBV5GEK684E }
{ amount: u94470454400, recipient: 'SPGGQCBGPQJSJS5PQKYM1RESEX5V6WHA5S73E1MD }
{ amount: u94457901600, recipient: 'SPYYFCR9PAR3JW39324K8SDXKMGZMR61HDFCBH26 }
{ amount: u94401861500, recipient: 'SP1YV4X0P76B8066ZASJDAC3Q7D81EW98D8X6JMAP }
{ amount: u94384498900, recipient: 'SP1YB3C66SSPSCF5MZAVC5RR83PXZ334377BPG387 }
{ amount: u94296000000, recipient: 'SP1B4PTCX573VZQQK2T2PZD24F1E7TYQAGFG6YHZ0 }
{ amount: u94244456900, recipient: 'SP2GVJ9TNGKMA20SB31W27N1C87NF8B5YKWHYFTFM }
{ amount: u94204376200, recipient: 'SPZMB5KZ1J5TASVW4EFXXV04N6Q0V3KC3NPWMGRW }
{ amount: u94203142800, recipient: 'SP10TBX5SZ5KYAKW9WT2QV2D1P070062H9KCY1Z4E }
{ amount: u94134450000, recipient: 'SP2PYQS6NQFGFJK36HGBZRDE86BF30R0M18Q3Y9FX }
{ amount: u94050347000, recipient: 'SPFW2GN3FJPZRS7G2WS3VHJSGKKAWX2TS9BHKVHW }
{ amount: u94040727000, recipient: 'SP2V4V1T2H7JEJ6GCVSS0CWSPADH7VYPJNH8FHWRZ }
{ amount: u94032516700, recipient: 'SP2BGKQMZKFAR2XWFDFQFRG5YK3799WN3DEQCWZWK }
{ amount: u93967491700, recipient: 'SP1HD9HZER6WMZC8S4Q0M25CKD9YFF2MD4V6D5948 }
{ amount: u93947118200, recipient: 'SP2TZTE9M3D2S5NP7AHEVKQECRH3FQ02W93PE1WWF }
{ amount: u93942859600, recipient: 'SP2D6K5YTZTEBJHWZ5HW4WT38DC32621YRZH4QMFK }
{ amount: u93831927600, recipient: 'SPPZMCGHKHG4APZHB4AG5B5D8XJP0V63NH7JG3RD }
{ amount: u93806719400, recipient: 'SP1RJH0JNGB7T0ZCV1NXVNXG556BWFESVMVY6Q3C1 }
{ amount: u93743529100, recipient: 'SP29JJBRTPJBX4RVZWPJRXYXKEXTEZD6RZXDMW73C }
{ amount: u93627000000, recipient: 'SP1NXF4YP1D8TKE8XJS0AMVCNA93CJRAR8AXK84Z1 }
{ amount: u93550585300, recipient: 'SP2YHBWVX87JBEH7CDWEJQ9M3ZJA8G9N1P4CHSX2H }
{ amount: u93500000000, recipient: 'SP1K4YRGTBFYYA6F96SCGM4V52CZ6R8QE6P7PWD8F }
{ amount: u93440425800, recipient: 'SP2JZQM703EJZQXN46M0XMVHZ8CNS1JBAZ2WN1SWW }
{ amount: u93433112200, recipient: 'SP1360JPSB6683GZEP8FV9QZCXTSD2GJPCQ6AF5TF }
{ amount: u93425192700, recipient: 'SP2W9RG2Y2SZDQT4XM44E970JW9FX7TFKERXQ7Y7N }
{ amount: u93362640000, recipient: 'SPD5KDFEEGQG2EY43RA3KWS18C12HYVGECKDW34R }
{ amount: u93195712500, recipient: 'SP17K699AW4D5QZMFG71H63C372K5EYPJF6ZHSG9A }
{ amount: u93090328800, recipient: 'SPAY5J2B1F0AQZPZ2FY77BA29VE9BGN63FS44QPG }
{ amount: u93084274900, recipient: 'SP1Z5RC677WG2HRNWQRH1G3VAGFV2K4ZPD0F97CVZ }
{ amount: u93057357100, recipient: 'SPCXWMVB5PS8WXM3XE17KTBFZVDDN9CTBMM1K3CC }
{ amount: u92928472800, recipient: 'SPP43E496P3G7Q1GCQDD3D4ZJKBJ4BBQ5HCWM0TG }
{ amount: u92882803100, recipient: 'SP1TF2HA3NM141AYFKCTGME1SWA2DH4BH03DNZ13C }
{ amount: u92744865600, recipient: 'SP3DTPAN7J66J1X5JPMWN21ZZ9MN26JGKKZG8A69T }
{ amount: u92714739900, recipient: 'SP3DPFJP1QGMJ8W8WA9YT5CDN8EK0KH7DMXANN3BW }
{ amount: u92661977500, recipient: 'SPXAMFRA1WR3BHG0SHS7ES2ZXARBE400Q76XKT6Y }
{ amount: u92638460300, recipient: 'SPGSK3Z3D4SZADKC6QVJDYJGK182H4J968GPZ65Z }
{ amount: u92600402700, recipient: 'SP1BP32ATSJF707M516337HB11G4DJ6CS5W2FQG3F }
{ amount: u92561362500, recipient: 'SP2GR613AZ5YAMRCAPNME2TSHRSN824QF7MCJKPJH }
{ amount: u92498300300, recipient: 'SP2F133XZHVSTHDJM1FE5426M8ZEFE93BEB1RTA39 }
{ amount: u92218423300, recipient: 'SP20ZJKGTC551AX9AXD4YHCJSQ13QBBM8STP91S76 }
{ amount: u92095033300, recipient: 'SPTWHANH7WJCEFQB8FPDS00AZV6PDPGNNSTGQBBH }
{ amount: u92034903900, recipient: 'SP1K84657S17PF4VQB0M5XJAXZK7NYR236HYNFNZN }
{ amount: u91995141400, recipient: 'SP254FHREFSM215P65Y89WN4W8B9WB2ZSNQ9S7F18 }
{ amount: u91900000000, recipient: 'SP1RRPFTTVX6422N81RAMKTGG7G3NYGAZ6W89F45T }
{ amount: u91867000000, recipient: 'SP2MGHPMVE1T050RB11MWECY32GRE1AP0GPYY78KP }
{ amount: u91857700200, recipient: 'SP1NPX5ZQHCPFH3J5W750N29J6ABNBBDTWQ9QYG5Y }
{ amount: u91663883700, recipient: 'SP24HD09YVXHG2554PPHSS5REYBY4234R2QTCB820 }
{ amount: u91525866800, recipient: 'SP9CMJ7S8XR25H6ZKAJXT4M7KSPQ1B8PPVSYJRTC }
{ amount: u91505840100, recipient: 'SP2M7BKD7P78EASC8X2BV6928XAPBEX7JCS2E951J }
{ amount: u91501796800, recipient: 'SP3GX2GT3082W6508NVGX9S3XXCXJ83CC3EAC4SK9 }
{ amount: u91462100600, recipient: 'SP6G2CDJ7GZW4ADXGAZ3V1G3DF6MYS59E9NNCR1M }
{ amount: u91457741000, recipient: 'SPNMDMXJF6FN21RJ3DTF3VPPH3Q914VC6ZTE35X7 }
{ amount: u91385981100, recipient: 'SPN4TDFYFKDBCHR83GYCG4MEME556KF29HP1WGT5 }
{ amount: u91364595000, recipient: 'SP2F6E58W1NTRTCNP2PT12A42Z5DCA5QS0P7S5FT1 }
{ amount: u91349734800, recipient: 'SP16VBDDT3EW8JNSFSTK2NT3AXZ3SFXH3HB6YEFSQ }
{ amount: u91287780700, recipient: 'SP25WA6JDSB3F0N70HKYYZHRAHEYSD4DBP022ARBZ }
{ amount: u91259373500, recipient: 'SP357YCV4918KMNQY75TYDMTV54W11GVZX7KMYQPM }
{ amount: u91144525700, recipient: 'SP33WTXN0QP0KB4CD808M7JM58R4T1CV0CP7SVTQ6 }
{ amount: u90920253200, recipient: 'SP3WN8F5FBJ86HBK1PD460XR247EA2G4WSPB6845H }
{ amount: u90845477300, recipient: 'SP2PA5NHZK7M9BT280NH7MD2FSKVJZY85JY89JN5T }
{ amount: u90803247400, recipient: 'SP3F4PCYBXED1Y7TWY1DHDKE1E8Z6E81NNSDT8A6X }
{ amount: u90717953200, recipient: 'SP37BAXYFWS7FKN4QK52424DMQ5XPJBSRGPAHFMFP }
{ amount: u90663047600, recipient: 'SP1E21CGVZHMWZKMXJ3T4CX3ZYKHDZN2DR54EZ13F }
{ amount: u90419572300, recipient: 'SP135TAMFCYQV1MDG4PAMJSJ71X1FR6YKCCFFAWC1 }
{ amount: u90416341900, recipient: 'SP22MW21AYBEP40QXC6FN8BETMHGA1M7VQX1N18T9 }
{ amount: u90413423200, recipient: 'SP1V4933FD3MT8V5WK1HP3JEB7DYBAMXFJEJXBRVN }
{ amount: u90407352500, recipient: 'SP318Q55DEKHRXJK696033DQN5C54D9K2EE6DHRWP }
{ amount: u90389177700, recipient: 'SP3JFR11D4199TWCWHJKRAHZHSE1N6GMDGH0PE7H6 }
{ amount: u90374043800, recipient: 'SP1DXRXJ2GJ6RCJYEVXX5X0JJCXWF9GJBHNJP6DY3 }
{ amount: u90232419100, recipient: 'SP3AFPR9FPPPYACTSKJ1M85N467A3YAAVZ6PT44EH }
{ amount: u90224000000, recipient: 'SP3KZ1GYNMEYFMNJ347N9D8YVGR8GA5XVQQGCTNMF }
{ amount: u90208556100, recipient: 'SP2CDY5S7VD4Z4RT93Z1RTXAS1ZXGTVMPHKNKZ27S }
{ amount: u90172854100, recipient: 'SP9XCG5JD1Q3VN5QRKBCVXZP3GPX7BNXJQK0Z1CV }
{ amount: u90170233600, recipient: 'SP3540B1AWV6DWDHGT1D8QEWE46TE1P328BR2N4J3 }
{ amount: u90123638700, recipient: 'SP14G080R1D0DS34FYJ2P2CMKNFBB0ZQNR7EBSPNS }
{ amount: u90104930600, recipient: 'SPG34S51QV6YTZQGVRPZY9323MY4BTCFAFP1HR25 }
{ amount: u90053615300, recipient: 'SP3M3HGSTPTJ9JKX1GX0NPNPDK2NFMM1TPEMNDSR3 }
{ amount: u90045519700, recipient: 'SP21Q1CKHQ3EVAWYTJW8DGH73A7QQ465358HS4RAT }
{ amount: u90000004000, recipient: 'SPV81QXCKT389JVY6XFV5VVDRJTZMCPC9702JY58 }
{ amount: u89965730600, recipient: 'SP649JQNJK4SZSGG7D0KNK7V60C0WVBKV6S38MCP }
{ amount: u89962015500, recipient: 'SP20B4ZY05AMR2G37JQGF1N03E3E2VNA4G9GTAR0Q }
{ amount: u89928736100, recipient: 'SP2NZCDG12CPVMN2KJ96CVT3DH32GTW247NC72SMD }
{ amount: u89897000000, recipient: 'SP39FZTQCCRV3BWJ83DP57C6BY0S1X63WMFYA1BDZ }
{ amount: u89825732000, recipient: 'SP2P6T9D3PNKB0BEJ54YAW8KJ38VW77W6WKW7XP54 }
{ amount: u89766871100, recipient: 'SPDH661DXCHPF861TT4HV9MDDKPVWY302AEP2A8T }
{ amount: u89741121600, recipient: 'SP1V0MWV8V9Z7MRVJAABWR4XPSFJZ67R4FMN011HE }
{ amount: u89715452800, recipient: 'SP2Q1SZSETS27AZ9FE0BH6C6B7MVC25E4N6C2VE7D }
{ amount: u89593183400, recipient: 'SP1DX0FRZ175Q5TM7QD5KGSPPT1R3WKFJHN1AS9FM }
{ amount: u89557763800, recipient: 'SP17MB8KD2MQQVMVZT98702GS0W1QA6N0KNRH51KD }
{ amount: u89433638800, recipient: 'SP22SNNS7FZ2D7EPFGPT4ECJ9Q1WYGMQY2W4ZEF2K }
{ amount: u89384888700, recipient: 'SP3AMFMGC8QW6AKNY92KAPV1047ZQJ0S004X6N6DQ }
{ amount: u89321522200, recipient: 'SPP92CNGX9WN08RBY1G8Q0THGSAH0JYAV09M8EJB }
{ amount: u89291860000, recipient: 'SP3CYXJEQJ8B1CH7RE2E097NR6DF1NJQZJPNBF4X7 }
{ amount: u89270282900, recipient: 'SP14CKFBPX3ZGHPGM89GVR3NPGMPENTXQGKARN8Z4 }
{ amount: u89147404100, recipient: 'SP3MEGYH04BQ31P2M42A1V1QNG3V3DEH1RP7ZMQG6 }
{ amount: u89075138500, recipient: 'SP35S5YNB67KKN0BCMTFKFDJQDC0XEA5GFV0HQFA6 }
{ amount: u88993931700, recipient: 'SPH3TM2Y2727BNB5C2FZ10KX57CN5W4TYHGWVFA6 }
{ amount: u88979443300, recipient: 'SP3VJCMXAGTVF4BJ81JGTYVEBCXWZARFN60D8VSKG }
{ amount: u88960989100, recipient: 'SP3GQFK8MRFMVCSZ5SJT23FW3G1YVS66XDJQSYSD }
{ amount: u88957631900, recipient: 'SPVFPVHH3EP74QVYB7ZQFFPJ9H75MSY96HZXYHJN }
{ amount: u88767935000, recipient: 'SP3SSTJAQDZT0RFGWQX5YKQ9XG9Z2YJZZN40K5018 }
{ amount: u88756852400, recipient: 'SP372S8M4V8565GT5HKSMM737JG0QCQW4APATEBD0 }
{ amount: u88727000000, recipient: 'SPZ9EW229BHQVGFDSD8JNY682QEX0Z3ZZNZE3SEW }
{ amount: u88668918100, recipient: 'SPN4GYV2P05BS90CF8SCYZ9007EVXYKC6E43SJYY }
{ amount: u88588657800, recipient: 'SP3FQ2HPJ63E6F9059DC382YFPY1B0Q3KQFPJF6SE }
{ amount: u88319934400, recipient: 'SPHTN7R1RYXPAVX1CM20FAJ254F78HFAGEXKH280 }
{ amount: u88258242900, recipient: 'SPM10ZVNJP23GSQA819ZSXC6AGPMSMDH2369HR6J }
{ amount: u88239952000, recipient: 'SP36CX5PJTN1JST1M755TJYZSHJ8NEKNTQKB69SFS }
{ amount: u88230008900, recipient: 'SP189D8MCH5HEG38QAV4G9MCXX7MRPRFK2KKNH453 }
{ amount: u88091488800, recipient: 'SP2SQ3A4E3BR0D8QJ10K7HE1NS28935GHAN4GBCA2 }
{ amount: u88078676000, recipient: 'SP2RDNYTQHMX6MJB61HFFMC63AS0FSZV5K067PWGF }
{ amount: u88057829300, recipient: 'SP3VV72CHJFRDVC0V4C41JF6NVMVAD1JFBX24CQM4 }
{ amount: u88043741900, recipient: 'SP382ZZ89G7GFDX5SN781VBFCYSR3KW8Y9MQ0MF5X }
{ amount: u87931200500, recipient: 'SP2DSWZEYPRPJ5P302NME2V4D9GP77FG0NGW97F1P }
{ amount: u87875301000, recipient: 'SP27GFR8PSMHER0WZNT1869M8N3G8G00RW4FHM8NH }
{ amount: u87863794300, recipient: 'SPYE75XWENKT49J3QHJWWA41K5A4DW6WSYA5X6XA }
{ amount: u87798114500, recipient: 'SP32X7SVPK2GB3YBT5FZHAECNPKMPCM1FCH864PJF }
{ amount: u87777801000, recipient: 'SP326AZ831GERPX9Z9YDQ9B3WRBFATM3WS03Q5Y2K }
{ amount: u87760696300, recipient: 'SP1F9MGZ769YYD7KR6MNEZ3QB3VZ3GQX7AW4GN850 }
{ amount: u87756925700, recipient: 'SP1T1V682SNQV3HCR0XEK4J47MD3G666HDJ5N5A7G }
{ amount: u87749658500, recipient: 'SPHHGNDTW70J1VC3W31HVAQN4FW0CPT4WWXF6KK9 }
{ amount: u87636799800, recipient: 'SP2XMCX1AST1PM21CWDHW5YBSSKXG0TXAB45JCS6 }
{ amount: u87521917400, recipient: 'SP141XTZMCY50RPRNDQT24HX3CT935HZ5BJXPWY79 }
{ amount: u87291433800, recipient: 'SP8C0TC047XDZHFQJRHYXGX1G3MYP24ND9CGEKYJ }
{ amount: u87283010000, recipient: 'SPHNW3BPFWMSDG788DDPR6TK9R4CWHH3GZH732E2 }
{ amount: u87250715400, recipient: 'SPPMF34SKXFPD8G085BMTWG4GV7HY919NJXN1RYG }
{ amount: u87222738600, recipient: 'SP3KD6047CY8HMW2P1Y9Q4HZHDRB748C1Q3KPVT79 }
{ amount: u87220001000, recipient: 'SP1FSVXCJPVTMBBX09M2E80ZJRSNQFEVNSB132M4F }
{ amount: u87214696900, recipient: 'SP3XW3SHK1WABB0ZGGX61SSK31Y7XBY5N1ZYQMF8M }
{ amount: u87169827000, recipient: 'SP285XV79W3C830Q1D9WFGR9XWQRK57VBX9Q4351B }
{ amount: u87146771900, recipient: 'SP2DPKGT9EHZ0A37EVQ65DG9011M4Q4003PSN3EYT }
{ amount: u87142770600, recipient: 'SP3TNME008GYBBER5KJX8RKDRC8RSWV14CD5SNJHV }
{ amount: u87136554700, recipient: 'SPGT93WR562X18T9WVQ5KR2YQP8VXWZCY4VY6NS9 }
{ amount: u87091425300, recipient: 'SPY34KFP8HNNANRH1G71YK6BY0PJWAA75ADERMGX }
{ amount: u87016322800, recipient: 'SP3950HGKQXYDB83XWX1CWYAR1M1MVTSSZXM6EC90 }
{ amount: u87016158700, recipient: 'SPBVCVXVV99RRS28E20E6CKFDW2JJ0225D2MCMQS }
{ amount: u86996151400, recipient: 'SP1K8427A2XZC2XJDX7QSGBGZ9MXZKDEKY4DNE25D }
{ amount: u86931774200, recipient: 'SP2TTW6MJKNW23MG69ZTWWMG1GQ6Q1K4TBNM3GPR5 }
{ amount: u86883154200, recipient: 'SP2BCSPRRH0Q7HG3QYXT76GTMK2VZA60CED315P0G } ))
(define-constant batch-30 (list { amount: u86802213100, recipient: 'SP25AXAEVHZ9H9XD5EN52B5R0NR2NXPGZJ4X5BCM0 }
{ amount: u86744487200, recipient: 'SP2MFFGM3HBMSCSQ4KEGX97SGQ4Q33AHM8TFNWS3F }
{ amount: u86642203900, recipient: 'SP1FM1RPP57HE0E7H4GSP9K3M5CQ0KJGZW31RK1S7 }
{ amount: u86614413000, recipient: 'SP12Z9NKWTDPEFTXMXEV3VM7KKTJXY8CREY54N8E }
{ amount: u86556881600, recipient: 'SP13D897M552CDQG2A5QH9XD3SDS3WM3CMBNRCRSR }
{ amount: u86528103500, recipient: 'SP3F4Y8GYWP1DG41TFE7NWW1H1W37ZE9EABQF230Q }
{ amount: u86433536000, recipient: 'SP10GFYQMKA1D7QAM3H9TA8QMD4WP6DGCB2F20839 }
{ amount: u86353988100, recipient: 'SP13650N71KNFXDKYGG3BV82YAQ3ASKH1KMSYJ759 }
{ amount: u86247613300, recipient: 'SP36ERZDHSNGHSQHKVEA31DPQMNMKGP6AGM37H0FP }
{ amount: u86139860500, recipient: 'SP1DB3STZBGMH31K60TQXF75QND3SSJ1DBNVGRBW }
{ amount: u86129108800, recipient: 'SP395MHAH03TGDMPMEBSYY9DKDRA0D565PE1X7CS1 }
{ amount: u86111908300, recipient: 'SP1XP3AG0MDQF52DJ7Z5D9532GR2WC7DZAHM82FYD }
{ amount: u86111027700, recipient: 'SP2RKVQW7DC57NRMBSMWZQ5P15DYBT9Z0G02P662N }
{ amount: u86093788900, recipient: 'SP3G1WFHD5AHP2V5H0CT4RW4BS0NVE7A0H66VH1H6 }
{ amount: u86081528600, recipient: 'SP3YSFFR7Q3CYPV9DMDCXB88TQC7ZBX6A01MM49R6 }
{ amount: u86016318400, recipient: 'SP3Z4PXFDWRK6K36KNBQPDDRNAEA49VP7185KHF88 }
{ amount: u86010696800, recipient: 'SP1FJP3QBR1VAR5H0W0RPG0AQXMEBM3VGRPTBBA12 }
{ amount: u85999630500, recipient: 'SP64E50P8C8MMQ6EJ22RS1G6EXGEKY1TBGB5BRX5 }
{ amount: u85998974500, recipient: 'SP3936JR6Z76RHDS8V6MG9TZWP5532BS53V9P3XCV }
{ amount: u85981683200, recipient: 'SP3XZAF4DCZ64K8WZSAT5KGK8XXY10W210986W9FG }
{ amount: u85903163500, recipient: 'SP3Z983B9VE5E7XAHFTH661WT173EKEGRPDF9PFPR }
{ amount: u85847945300, recipient: 'SP2MVTS227Z3QA4DKSB2PDWE5AX4SZNEK66A965E }
{ amount: u85818908700, recipient: 'SPV0B5N6GVSK0YNCMFTF3260DZKSKW6K43G5N1TG }
{ amount: u85796948800, recipient: 'SPR49MY8PTF7Q41KG6H30V35Y97S2NSFNK5G39NA }
{ amount: u85765044500, recipient: 'SP2Z1DYBFFYN0F8BGP1XW2EQYSQHABYMXC1AKNY7M }
{ amount: u85740380300, recipient: 'SP1HEBZ0HZG376Q109AGH0YQANTDBTSC1JSFR39EJ }
{ amount: u85685945200, recipient: 'SP3TYPNA4T9ZFYE5JZS9AFAAHXMRZQ9MNAY6F1P0X }
{ amount: u85677188400, recipient: 'SP1F2NTA7NPNY2TJTZF0QPJ8JJSF36ZQ31KCHCHE7 }
{ amount: u85667380100, recipient: 'SP3JPVAAJZV5KZ0X4P5NN1WSZZ5PM8Q6M91EBRR9 }
{ amount: u85654161700, recipient: 'SP1TQ3KRQYD2D2TJM74Y1VS3GJVVWT50HYD4G892A }
{ amount: u85606821400, recipient: 'SP6MY2Q22X2AZ450CFNB3EZNR3VTSV9HAP7ED495 }
{ amount: u85538936100, recipient: 'SP2FN8WMTKBV9J0XX70816QJ5K2GS12JTS5E5GAES }
{ amount: u85528539300, recipient: 'SP2Y1FQZ129JE7SFR53CPVTJ4HNP18GFSKYVGRC31 }
{ amount: u85456753200, recipient: 'SP302CYKKZ5808A53QEW7XBGEA2FR5HA2S3QYSRD2 }
{ amount: u85425860000, recipient: 'SP1Z0EX70835WYS4P73P9XYWJBDXZMTJY4FJWANCQ }
{ amount: u85366956800, recipient: 'SP3FSWA83H12S843GCEAM7F7TBD3RSKW2C4M4ZYY5 }
{ amount: u85339109700, recipient: 'SP1GJG3T4B181ZAYQ85EZHSPP7Y3A1NPRD3QRYQ8M }
{ amount: u85312539800, recipient: 'SP15DAN7QY4EHV36W8BQ7WY2HZBY96MNEHVK3KA8V }
{ amount: u85276942800, recipient: 'SPT673CK7F71G90J9AVW7PM8YVKQRNY879J4EH3V }
{ amount: u85220541300, recipient: 'SP8XKFCA54GVMYD7ZA9DJ9VR3XY9AHN8E2D5MG3W }
{ amount: u85194423900, recipient: 'SP23T6RQVZFJT08R2THT373ZKEJEHS3SWJY5FT4GC }
{ amount: u85075265800, recipient: 'SPBGX7PWC5719ZSPCMA8YJGXM08HVV93SR5PQ102 }
{ amount: u85030586800, recipient: 'SP7171A23HDYWZ4VYVY8XHTPHCDDGVDPPAYBHWVX }
{ amount: u85023741100, recipient: 'SP3X3V1FB8SVA9XGDNFYWZZWNXES6YRRQ7M7VN7JD }
{ amount: u84930550600, recipient: 'SP38Y9HMXB1RAAXMTWEWP95345KWPGG8JMHPAHJ4H }
{ amount: u84929816500, recipient: 'SP1KY14483RGRCT5TVW3ADH7AG54M6QY5QYT1S0TW }
{ amount: u84880989400, recipient: 'SP12GKCWQ85MVMS8N4WGXA12S8SYJY5NQ8258PF3B }
{ amount: u84862955500, recipient: 'SP2A08PP50CW7TGP78F16HAT8R03T6JWXCNPD60BH }
{ amount: u84843000000, recipient: 'SPJ7HW7Y1SCNP51X1HQQ41W0ZFP2NJS2SF9J30GG }
{ amount: u84828654900, recipient: 'SP1CSFTZ6B4XPK89QGB592EE505CACT5HJV3YY6QA }
{ amount: u84804559000, recipient: 'SPX38AEBMVQ4WDFMQ3JWXDE7A38JFDH5MB51HMV1 }
{ amount: u84754648900, recipient: 'SP2XXJXJ9Z3GA10FQAEEGGS8BF76YRXEH7TATR50E }
{ amount: u84727345400, recipient: 'SP1A3ZYCHKVDRTBY831Z4JDHG9E835A9QCWDV3DK9 }
{ amount: u84700262000, recipient: 'SPDCGCFJ992FVT45DDCZWTPW0DKV041JKSD5NMN2 }
{ amount: u84699516700, recipient: 'SP10DW4SMJK57RJN0DV30YGZYB96HK9EGVTSXK080 }
{ amount: u84512636500, recipient: 'SP2Z0QB4BEHA8ERJ0J8W84VERWVQEQ8VBZYTENMH6 }
{ amount: u84395803400, recipient: 'SPEAMAZRY03H5ZM7PW4VRY17PT9TW4BCHCPNCMR1 }
{ amount: u84362012600, recipient: 'SP3F1K2BAW03PQRVQJ84BAYM48Q36803Y3QM2HF0J }
{ amount: u84328981500, recipient: 'SP28BGQ5P5J4MBAVV39SD6JHKRHJHXFEMHPT5WCEC }
{ amount: u84282937300, recipient: 'SP17FX0Q89A9D9BX4K3MPE7BDZ8FB5TSFA3AYRBDV }
{ amount: u84270003800, recipient: 'SP1QHCNQP0PYJ72H550Z85CZDX400SKT938D1KHKZ }
{ amount: u84236360100, recipient: 'SP23ZDWC6SR7029RECJK4GSGE267NFP4SNPPBQ8ZS }
{ amount: u84161908600, recipient: 'SP4KBNZW2XCVBCWRDZR2476XGHYRB56WCPJGVZDV }
{ amount: u84137000000, recipient: 'SP1YEC3DMB07HSTP30V62NC5DMS5P76FZT3MT7JQM }
{ amount: u84054099200, recipient: 'SP1VV2EGJ23Q8Y18ZA8PC4A4CH4ZFKC6DD6J1J19Y }
{ amount: u84041074000, recipient: 'SP2JN6TVYJM0G7QY374AYD8ETTWD6RS89XJZXYB5R }
{ amount: u84024851500, recipient: 'SP3QD8N8G1BRZASW9ZEW5TBY7F115X4M2FM71K85 }
{ amount: u84001699000, recipient: 'SP28SBRVCM01V0Y8STMX2PA42EK750N2NSAQDEM46 }
{ amount: u83980000000, recipient: 'SPJA5YKR1W5WHPV0MKDN64B5D1F308Q27MTJTR49 }
{ amount: u83962427100, recipient: 'SP3YA3PWF348HGAGY7HGH97MFX0EBCBPXA878T5ZZ }
{ amount: u83931250000, recipient: 'SP335AZWAERGSJ9TWZG7QEP9NDHEA8M01A67GPDCT }
{ amount: u83923860200, recipient: 'SP1N2YPB36H8B49YHCSYRTEMATBX7TFND2N013J9E }
{ amount: u83910706400, recipient: 'SP1CN6FQDATVK5826KVAXXKZJ9CHW3E3R582BPJRP }
{ amount: u83758080900, recipient: 'SPM31MHENK1M5B11DA2SA540ZCEGAE0W5KRY5W1W }
{ amount: u83539731500, recipient: 'SP1HC70G3FTBN6B4KBSDBGFG7MAY1KFT1P3TXZ1C8 }
{ amount: u83502978600, recipient: 'SP23T0SZRHABYY5RRSFD8YDNCKA4818R7EPSCD55Z }
{ amount: u83372182600, recipient: 'SP2FZCEG6MV4PJQW2J72A3CVXWB2YAEQDG0SJM7JK }
{ amount: u83368000000, recipient: 'SPJE97T751FT3G6BCR9XC9NYKEDPC43VWSS5XH02 }
{ amount: u83330000000, recipient: 'SP168WCWGDWZJ31CEFCTQ7RA423WX4MPTT2CAR7Y9 }
{ amount: u83115490400, recipient: 'SP2NSKD2R9N8JAVRBVYKW3DA0CSSVMEJYRKNDZFB4 }
{ amount: u83102316100, recipient: 'SP2JVMG3ZZZD9ADMQQPBQ8FWHW09XTZV1ZEVM62FK }
{ amount: u83008332700, recipient: 'SP11P09BQ2BQ4XP3B9A1XBK3RQZFAQ187TASB3ZWH }
{ amount: u82995765100, recipient: 'SPEVCC2C4BYEHW91W6350F35KPPJ3P3XBSK2YP5D }
{ amount: u82933393000, recipient: 'SPHME9N74CJCDGZW2Y4MAPG83CJNRTGNXNAZWGSC }
{ amount: u82920100200, recipient: 'SP2RH8FCFB484D9JPJ0JTQ9K4PS0C0PA0TN5WGYQH }
{ amount: u82892252100, recipient: 'SP3WA6XEZH5FEYWBE4WWEJAAPPNHC2T2GHW3EB471 }
{ amount: u82884352200, recipient: 'SP1K508H6XF4RHX2CH99M5W36J6KJSATRDX8E1MZC }
{ amount: u82790363500, recipient: 'SP22V7FYKVK2G93J8YH3H9H9VP0RBAG92GAG5H9QG }
{ amount: u82724642400, recipient: 'SP3B6H5M2WC9K0A8B3KVSBMD5Z36P35JXG0EFWXMJ }
{ amount: u82711901300, recipient: 'SP2Q1DQ47WMRPN3KJFC5AC6ZF985N6H49PQ4RXPAP }
{ amount: u82552370700, recipient: 'SP1493FD73RTADYCS7T6XKJJET9VSBDNKQ16N1JMP }
{ amount: u82422454200, recipient: 'SP22HXPF4FW4SGEM3VJ753EJKC049RHEFT66KWT78 }
{ amount: u82296000000, recipient: 'SPESJT7Y29AB050C58MJNTA71XNVJBJFXDK919S2 }
{ amount: u82216762000, recipient: 'SPZHCRB6K4FR6Z2NB6QEAWB7WCADB8V32VMRMYQH }
{ amount: u82102145600, recipient: 'SP1Q0VRQP703EHYMA0F2CN7WK6S730CHTTC6ZW7M }
{ amount: u82090676100, recipient: 'SP03M953WFP4K7FDVSAJB267DHXPHE3J8Y7H9867 }
{ amount: u82083064700, recipient: 'SP23R5RRMN5J2543FSJKDCWM1YPFXFY0NYJ66D74V }
{ amount: u82012376300, recipient: 'SP3ZAR7YSNYWS9WP344ZZ9Q6T84F01SQFQZXGS1XD }
{ amount: u82008500800, recipient: 'SP2PZSCTAJ4HEWH429B3MQDK2A8MAWF62FV0WKW1V }
{ amount: u81988759100, recipient: 'SP3QV6PA9EJJ6W0YZRCPRMCX2G72QZAJX5W8PQR63 }
{ amount: u81986440700, recipient: 'SPMEMF40Z253YV2KEN486G94DHNNWZZ38T1T2473 }
{ amount: u81985263500, recipient: 'SP9S55PW5P6VMRCNPTVY5J5EWT19R2Y9QC2G99W0 }
{ amount: u81981591100, recipient: 'SP274JYGEQHMBJWC0S925CT3CNX4WPWD8Z303BCG9 }
{ amount: u81962795000, recipient: 'SP1FKKJ242YTNAXJH21MRBQJ974RAQ15M87JGY4G2 }
{ amount: u81956962000, recipient: 'SP3VCX5NFQ8VCHFS9M6N40ZJNVTRT4HZ62WFH5C4Q }
{ amount: u81916683800, recipient: 'SP13888E513272048R5VFNQZ1HVWNHKX0K2Q4N6MA }
{ amount: u81880000000, recipient: 'SPTQ1BP5KPMQJC69J5XEP4G3WBE3J2NMCFMQ1PKC }
{ amount: u81876000000, recipient: 'SP1TCY7Q71YVQ551P0X3E5G73EM8AT59SC483KCPG }
{ amount: u81800000000, recipient: 'SP3QK8S7K80750N6WWJTBYP5JKYANP8KG968D14KC }
{ amount: u81740451500, recipient: 'SP355B3MMKG4VGT12CT0BBJYY59J8NBH3EAA8K12M }
{ amount: u81654845100, recipient: 'SP1MN0F9JVRH6B4XMCCQFH5EW5D66J4916WKTXN7S }
{ amount: u81642109700, recipient: 'SP32TWR2VRM319ZCX8Z7704PBY81ZJDRVHSSDDDTD }
{ amount: u81594940500, recipient: 'SP2TQQ9E931PYD4J7X1G4PPTQHTGEC81YQNXB9ZXP }
{ amount: u81583420500, recipient: 'SP2FTDD2BSK1DZWQ7B6VB6GBBB3W6HAXXEZJY7KBE }
{ amount: u81580771700, recipient: 'SP3HKDA7AETHXFH4F9QS2FAJXQ814ZCSSEDKPPMQ2 }
{ amount: u81569232600, recipient: 'SPSV8N0RCX2FXK0F832PMQ0BD89CGSRJVNJSRDM8 }
{ amount: u81561340700, recipient: 'SP2FYCGYK9D9KE0BBX2BPY1P1Y63BDR1ST78N862R }
{ amount: u81552652600, recipient: 'SP3BMAPY4B1G22RG4WXHHGJB5JK3G69236TBSYCM0 }
{ amount: u81541850600, recipient: 'SP2ABCV8V4TB2HG99C9D7XGEHJ914AQJBZZYFDABX }
{ amount: u81502176100, recipient: 'SP1GM5KGK1RC59J8EHJRJNCNNZ7ZQEN6TEB1JYY2P }
{ amount: u81490000000, recipient: 'SP296SH8EFM3VX22A3WYPM248Z00XBWJADS1P3H7Q }
{ amount: u81484935900, recipient: 'SP1BD682SJRN7GZPSXGCY21223EGS4XMV9YD9CG6E }
{ amount: u81469455600, recipient: 'SPAYT7ZZHT0HN07J0RE5RG2BDRTJEZJAXXKQYN7K }
{ amount: u81420897700, recipient: 'SP2JPZE6SZPS1BG6CDSTDPHY4CJKDBPX0ZSATEXPN }
{ amount: u81372490800, recipient: 'SP3HMAK222CNRMK4T70H9ZVAX4658FZ9ESD63DY4W }
{ amount: u81323103200, recipient: 'SPT6NFQZ2QQKFNP8VQJXH4NNVEQJCNT9D6S8T7W2 }
{ amount: u81301805700, recipient: 'SP1TEYE1QXZNGA31WA93MEDG3G2P3CQXWTM7J6VSW }
{ amount: u81291738200, recipient: 'SP1ND7T981ERAA3F4WK9H1GBFNNPGMHJXJC4F17Z3 }
{ amount: u81282827000, recipient: 'SP2ZFD9HBAB0XXKQ0DFAGHR8GZR2TY6H7Q0F0TSJR }
{ amount: u81170467700, recipient: 'SPEVX3S74JXC7JWHEWRYKGXNP4DYPTWVDMQD83RS }
{ amount: u81148796400, recipient: 'SP1NVRFGCABR2H7C5Z05JCN2FE1P4A3K2J73CC9WW }
{ amount: u81018177200, recipient: 'SPBEEPR854J5RHDSH8WCJVJQ0VE7BW94NB7CG0Y6 }
{ amount: u80926000000, recipient: 'SP1JNG2J533ZKN8GZY8VPEJ3PA9JFS7BR9HX7TS4 }
{ amount: u80888966800, recipient: 'SP1NSWY2A26350FN914664YCXR8KC0TA12X6VSEC }
{ amount: u80858954400, recipient: 'SP32K1XA9J16H43W7843G3FD40B9SZND37CE9424G }
{ amount: u80791418700, recipient: 'SP3ES3ZFCJMPXRSERDZ2DAXMMZJN9FRCAPCZGR9J5 }
{ amount: u80788556700, recipient: 'SP1AHY8Z2R1GTT4RTHRRQZ294ERNR5EVJ9VBFZSZE }
{ amount: u80773430000, recipient: 'SP24427W8G9EPFK07R9ZAATK7V5FMAPXBT26D5DEJ }
{ amount: u80762298400, recipient: 'SP2Z84GJ5Q01XCC3AMPPPJ5TJ4DY4GRCG4N8RTVJ6 }
{ amount: u80759783500, recipient: 'SP2YHSH4Q6DSVY1AZT0ZF8RPVWV2GEGQ789C45MWT }
{ amount: u80745001000, recipient: 'SP292TYQ49QYABWJ58N7XEH8AXZAZ656STHJ66VSW }
{ amount: u80743351100, recipient: 'SP176VT2DM8Z0Y07W0HKXPEY2H3J91B0X8X2Q24KC }
{ amount: u80726933700, recipient: 'SP2M63AXV9862ZEXEC3K0KNND50YHNK4BAMFW0AAJ }
{ amount: u80718683900, recipient: 'SP6S0TN2SD167XJ48EGFAHYEYY36VV06KDGNQ6DQ }
{ amount: u80645397000, recipient: 'SP2K82ATJVQA6KW2RNJTR69M8X456C964DKV7S0RB }
{ amount: u80628430300, recipient: 'SP37FG6TBSYCXT97GCSR76SCGK23ZN31G8ECN9Q6V }
{ amount: u80609706800, recipient: 'SP33M793WRK2Q7CKV8T93JRB942KPJGXQ0H1DA9J3 }
{ amount: u80573077900, recipient: 'SP17RP5SGZHSE6TRSH3KE5FEDMDMF2RXB92B1Z879 }
{ amount: u80570064100, recipient: 'SP27TVFDS8FQSP1AVHFJ07QRB23H0PQ948G306AJ9 }
{ amount: u80511650000, recipient: 'SP2N9K4RJ5Z44JZZ6NPP9B5G2F6105VG5JX2HJ6SR }
{ amount: u80506393400, recipient: 'SP2VMESV8KES505RTXJ68GXRBZWK1VT0CEJ8941XR }
{ amount: u80478822000, recipient: 'SP9MDT96EC87Y55VDYB74M47NXGQHESAE3K597JP }
{ amount: u80472000000, recipient: 'SP2CTQRXBTAN7CP7BGZK991NHSJZWYSWTQ87NZ4ZE }
{ amount: u80436143800, recipient: 'SP3KWTY6K9S2257A2FF3QM10WAPNVHX3EYWR0GHW5 }
{ amount: u80415333000, recipient: 'SP2WM00H5G2MZ8HPP0N83H2DD94KV3NKZBJJGK737 }
{ amount: u80368926800, recipient: 'SP1RA6WARWYJHYZN36DVBXBGPJQV0T3PA3X1CMNS8 }
{ amount: u80352030000, recipient: 'SP13X5JZ2986CR054AQ4J99Z741MRNB9QXFD732JE }
{ amount: u80343860000, recipient: 'SP135ABKC59D1WNFQJDW25X0KCFSPFYPYQG780SD7 }
{ amount: u80331320600, recipient: 'SP3D5301X1FS6F7STKBC91P5N2A5Y74GZWFM419KY }
{ amount: u80329933900, recipient: 'SP6G5JYVJ335H97QVV3NHNFYJ36S8VKZHY9P29QZ }
{ amount: u80168000000, recipient: 'SP28TC8WBESPESHYJB85WMDE51JZA417CGYZDT99R }
{ amount: u80142009100, recipient: 'SP3PNR8K5Q3NK7E9YFFC987TZ1TWAK5M4X58YXM7C }
{ amount: u80132438300, recipient: 'SPHFE6N86GH7JGP978ADGA95P4SGKGVPSCPG5Z6H }
{ amount: u80093969300, recipient: 'SP3CZCF7H1AFSX1AZX2R0BHPEAMP8QX9NHC8KRNR6 }
{ amount: u80052129200, recipient: 'SP54YVYSV9DZG9356HCCWGX58HJCTNZES2YDFWE2 }
{ amount: u80003000000, recipient: 'SP3B8CPEGHJE8BSKM2Q8PW0TKT69PF5F7R1HR1CM1 }
{ amount: u80000000000, recipient: 'SP3YTE23KT3BAJX2JXYG9B2WGE40VX9WAKR2F9WVQ }
{ amount: u79985586300, recipient: 'SP1TDKV7MTF2SVGJ8VGX64PT96ECBNEZCZE5NWD25 }
{ amount: u79977167200, recipient: 'SP2MBWH3WT71GTW3WGE64Q6X27J78HVD2Q57YFV9S }
{ amount: u79975436500, recipient: 'SP2MYSKCK2VZSM0MP183CPX804BHRS9EE8HQFF81C }
{ amount: u79947137700, recipient: 'SP1Y9H1TDPY0QVV740GHMM1Z0KNEVVJ19W84J20MQ }
{ amount: u79854367200, recipient: 'SP3FJC98HRM60AX7N2W3BVG1SDNRA7TCM5SJ91CT1 }
{ amount: u79844082600, recipient: 'SP1N1FCZ4M7GXJMWW7GVA838F19P6XBZEFXRAGF43 }
{ amount: u79781995100, recipient: 'SP9Q2Q5G18HN0XC2CB8G9XFFYWN42P5SNDBYDRWD }
{ amount: u79763691500, recipient: 'SP21X1GTS9PWQM812AXPK4779CNRPDDS9XF1N3VBS }
{ amount: u79609417500, recipient: 'SP3M88VCWVMY5R5CH6ET4H0E8ERHFK4JP1J7HDE9E }
{ amount: u79602448800, recipient: 'SP1CYMQAVEKY29CX2XQ3Y0MNSG853YPPDGT3XYF7N }
{ amount: u79584287600, recipient: 'SP3P978EWKREAE4CVAA62Z4HYJFPZ8D25H90S84FV }
{ amount: u79544488600, recipient: 'SP1WBYNGP0JDQGP7F5TRBT1DRMPHDE56D5JNPZM66 }
{ amount: u79504600600, recipient: 'SP3Y53FPHW0QXKX3ANFE0TT6G4ZV13PWS1VRVQJRK }
{ amount: u79490605900, recipient: 'SP3VMTBGXF5KHNZ5YGA7R04DDJJ5MJMFYJ1H3Y71G }
{ amount: u79436409700, recipient: 'SP3FTT16QXR715NDRW8FG7B82QD7QEVF6741Q43SV }
{ amount: u79313863300, recipient: 'SPZCFP3486BF968TPQ3H6DBRK70YKKSAW3FBD2E0 }
{ amount: u79307249700, recipient: 'SP2RJNRT1SFM6XJZ4TRP3EMKYDFTWY15Z1D9Q3X0B }
{ amount: u79307143200, recipient: 'SP3V62ZH377PBZ8EHKETJF4H4PKE76VAPG5JPZAYJ }
{ amount: u79252379600, recipient: 'SP2CNNPBW935DFQ2CVT2H97S3XZAPA41EHSKM7NQH }
{ amount: u79150000000, recipient: 'SP2V52R4AMVQA8111PBVKG3FZZSM6BDC7NEKV29H7 }
{ amount: u79118887800, recipient: 'SP99WZ9MQHGKP87SZC3Y561PSPVEP52WSEJ0Y2K4 }
{ amount: u79110527400, recipient: 'SP1K373MRQTRNPVJQJH9YAZ6YZZZR3HYAMHS1BD7 }
{ amount: u79071023700, recipient: 'SP2GR6PAE4RHAC98XPJRC7336ZD6W11FYQSW4EDKN }
{ amount: u79068545400, recipient: 'SP3MXNBD726SXE6D9RAG2X3MVT9QADJ0SDQQJMQ08 }
{ amount: u79014460000, recipient: 'SPR70TB4D14975HFCHMMM25THM5SHX1RK19TX4S2 }
{ amount: u78954973900, recipient: 'SP299FMFK1V8G2NCCX9C8TA55KKDGT5G615Z847BT }
{ amount: u78943240700, recipient: 'SP1B9TW0JE9QBTPBDFJ5YPHECVJQ5KH4VD2E7B6PK }
{ amount: u78847477300, recipient: 'SP20BNTPM69A4N30KVM0H6R2JV01NCYZNTVEQDY89 }
{ amount: u78846441000, recipient: 'SP2KS70FZJG8G159TKVTTMS908CT7XXZQCJ0NAFAK }
{ amount: u78757227200, recipient: 'SPX7PXB44WR1X2BV5F1WYXMTBYJ52SW4G46JDF20 }
{ amount: u78658894000, recipient: 'SP3WR6WEKC91WSPVTXPH0ZX388CV0K68B9HCRM5GA }
{ amount: u78563825000, recipient: 'SP122TDVV9TXAZ6Y6PQ1X7S6AX5CPQ50VQWYK5N97 }
{ amount: u78510032900, recipient: 'SPYBA93YDHTYB43YPT14FMTGAGZSFJB1QY0RCFWW } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-26))
(try! (contract-call? .token-special-vote edg-mint-many batch-27))
(try! (contract-call? .token-special-vote edg-mint-many batch-28))
(try! (contract-call? .token-special-vote edg-mint-many batch-29))
(try! (contract-call? .token-special-vote edg-mint-many batch-30))    
		(ok true)
	)
)