agp205

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-21 (list { amount: u202938375000, recipient: 'SP3YFS3JTD31WHRPNEYEBJ26K8JSVN2R51BK40DDR }
{ amount: u202847225000, recipient: 'SP1KANZJR4H2N0A02W66GDAS3A0PF0DC7BV3ZFHRD }
{ amount: u202645283000, recipient: 'SPHP7JD4JWHA26Q2VWA1GB2T4F0AAGVK1TBPTEY2 }
{ amount: u202561730000, recipient: 'SPFR6DKM6GPYXSNPKJ0EJ98GXF3XCPMHAMM35Z21 }
{ amount: u202447356000, recipient: 'SP136AA8TX3VC8D8ZWBMWA5RWQ7XWKEHD6DSS1J5J }
{ amount: u202197810000, recipient: 'SP1EMXVNDR76B38G7ZQ12PSKGECMPCAQ000R6H2K4 }
{ amount: u202131343000, recipient: 'SP3N9GSEWX710RE5PSD110APZGKSD1EFMBEWSBZJC }
{ amount: u201987147000, recipient: 'SP2TBTHBA3KQEWN1ACEPASHERWEZR0M3N0G6R5V0J }
{ amount: u201860054000, recipient: 'SP2SGSMY9E033B13MCQ4A5YBA1YF0BTMH5AR87H3X }
{ amount: u201844535000, recipient: 'SP3KYAGCME37WZ5NXCHS6X8D31NQVHATV3W7PB4E1 }
{ amount: u201654156000, recipient: 'SP138Q08PC1FDH032BZHNPFEBDT8MVB3E6CMVYNP3 }
{ amount: u201575632000, recipient: 'SP2BCR9AZ8WA8317ZYM5Q4D75RGVVKCYGYBEBBTF7 }
{ amount: u201242750000, recipient: 'SP39QRHFEHN0PEZ3M35NXC19921EFHNP4TFXGSXRF }
{ amount: u201169453000, recipient: 'SPJ9FHJ3HR6GQKVSJCZMVYZWK52W3MDWSK71YJAD }
{ amount: u201128252000, recipient: 'SP2WGD23MJDJVZVW4ZR9G8AMKYX7D028M9CX0PX31 }
{ amount: u200774482000, recipient: 'SPPTKVGP1HG5ZN33HJAH7T35T7A4SWZGESQPA4VP }
{ amount: u200686276000, recipient: 'SP209X1SNZ2NK744V0ZRTZJ0YGWRW3AVTR4JASNY4 }
{ amount: u200686276000, recipient: 'SP21TF3F45B923A7TMF0XVJ9S6YJ8QNZFK3SGP2KX }
{ amount: u200686276000, recipient: 'SP3AZ2EJPSV97Y89MG4SP8P6FPMEDVVEGXQQV3VBF }
{ amount: u200686276000, recipient: 'SPTSDXJW4SV04AKHEMAXAYT7PFVJREYF7QHGF147 }
{ amount: u200686276000, recipient: 'SP4YGPY1YTEKS3BJHER5H9PEQ0XHPFKKM5FJNWP8 }
{ amount: u200686276000, recipient: 'SP33RZJXKEV6GY63W0XGZXJ2DEPJJA8DM41G85QXX }
{ amount: u200686276000, recipient: 'SPH000795TMH8E0R99Y9CR0Y4J389TJJZKA9W36R }
{ amount: u200686276000, recipient: 'SPXRF7AT65K0GPR3AA4BP92WRC5839G5VG9ZV4F4 }
{ amount: u200686276000, recipient: 'SPC1BW4ZG185C9EBMNAD3G4GZ0FBMNX76XNTDDX4 }
{ amount: u200683878000, recipient: 'SPXGDNKY76MSAA2PQ5S7WWW4WANDH58XZ36MM7HF }
{ amount: u200679480000, recipient: 'SP73J35R6QPPJY8TXCC83QTRH6C88QW6M50HBNXM }
{ amount: u200679480000, recipient: 'SP1BRBMQ2T799ACPTRQ7MAY11J478PHZ9PC240NN3 }
{ amount: u200679480000, recipient: 'SP1NW94ZAC9RZDE94TEV04R0B8AMXG4ZH9VN2EZ5K }
{ amount: u200679480000, recipient: 'SPCHMP2C7Q5X83CV6ZYZ16ECD1MRFTD6GVJ9WQW6 }
{ amount: u200679480000, recipient: 'SP3CQDBTAB4N81CSD8KMZGG1F4M48QDWXDFPGFGQ2 }
{ amount: u200679480000, recipient: 'SP293F480VGQEY4VQMY9NY34S5T2ZDGMAR90JRVVG }
{ amount: u200613279000, recipient: 'SP38A4QEJCHJ33EJYW12BMMJRWAMRG2KZPRHDNE4G }
{ amount: u200600000000, recipient: 'SP1WF8SQNP4TJETEHFJ8NFZQ1Z8CZ7XKAJMHQ5EJ3 }
{ amount: u200496271000, recipient: 'SP1XCXEFQRK97X6H7QMGKA1WWYVMCNH75HM6XSEYB }
{ amount: u200294103000, recipient: 'SP42Q5ZTEHZKXMQ8YT3KJ9AS14FE88ZS0K54XSFK }
{ amount: u200110075000, recipient: 'SP18V15ND91A5NYG1P9ZG6JBH5Q0XYJN2H16DJ6KM }
{ amount: u200086641000, recipient: 'SP1QZ9QKJZHCBP3Y5ZP8SSA97M848QPC06DVJJYKP }
{ amount: u200073487000, recipient: 'SP1NA7GP667PBTWH85T4C87WME9560Y9VGGCBY7Y4 }
{ amount: u200070501000, recipient: 'SP13YJ17T9E27AZZSNBC4ANHMS9A3MPFG14CZJY8Z }
{ amount: u200052958000, recipient: 'SPA8V92TPE61N9E30QMEF7PTY6MGEKH9DV92Z0GR }
{ amount: u200000004000, recipient: 'SP624R5P27FQQJAPGY8BG8DAN8J1ANRH79S60HDD }
{ amount: u200000000000, recipient: 'SP38TZ9EHTP0G99C6RKXWPZ1Y26YYW6TJG3SZWP3W }
{ amount: u200000000000, recipient: 'SP2F61FBK7Y2VYSZTAKN9C8HGYDB6EA0YY5G1X2FB }
{ amount: u200000000000, recipient: 'SP6PWB68EE96YY934ZY9ERW2J1W71K892CQSB5C4 }
{ amount: u199905903000, recipient: 'SP34R0P3XJ5ZDJZZWQW953TZBPVV1AWS3M04YHHBW }
{ amount: u199840694000, recipient: 'SP25QK8T5PS6J8YJYTYX5FEMP6TRPKRYDSMCK0QH3 }
{ amount: u199621809000, recipient: 'SP3NHKBWHGNS5V9KWMQ2HPFRRQT7FN5PTEXJCGV4F }
{ amount: u199401818000, recipient: 'SP2DHTTJ24ZCW4DRZVXMRCJGK9RGQ6BP45VXB4C82 }
{ amount: u199394901000, recipient: 'SP29C53R7K1X4PTMZS7ZJ3WVXZGDEDJ2YSAJ7AKSS }
{ amount: u199265419000, recipient: 'SP3NEX5W6W7ZWVMC68J27F1DF0WJMC0W6J1GB608Z }
{ amount: u199165618000, recipient: 'SP19N1HGJDAV65S2MT0HFGQNNEB44CP4YS1FHZDWJ }
{ amount: u199148783000, recipient: 'SPA43S2PG7JWA014HC7DJ2VCS74GECYEAXYF9X5G }
{ amount: u198791876000, recipient: 'SP1CDNKMQ473VC0TSKTDWZ2AC6CF4Q2E7Q2FFFG9J }
{ amount: u198783556000, recipient: 'SPN4ZVGB9XE19FP80EDND6C3SDE97XEJT18EF30Y }
{ amount: u198674087000, recipient: 'SP13QS5TTDWB00GR579BSYWBRFDB2H4Y7DSQ77V91 }
{ amount: u198645118000, recipient: 'SP2PS2EHM127MCQZYK1YD98GB0BW5NT31SXN2P403 }
{ amount: u198600000000, recipient: 'SPZJJ8KAXJ1PN111ZE2K8GGNJ082RR43Q1RT42JH }
{ amount: u198563390000, recipient: 'SPJY4JWJX1A26QH24PNZT005RTQVY241N0928TEA }
{ amount: u198425312000, recipient: 'SP2W464PHJ9ZRSN059PDCQRZ9MA8J702GPH8K0ZQZ }
{ amount: u198344459000, recipient: 'SP2N0W6YHM5NBXW3VM2X9A8N73QXWAPX8F3K0JNTD }
{ amount: u198258034000, recipient: 'SPF1Y3B4HTGG3056K3QK0V25TENB4NC2ZF1QGKS8 }
{ amount: u198119682000, recipient: 'SP145WAAHDF8TMEYK8SM21APVRCDXS6MSGN47JGGE }
{ amount: u198069686000, recipient: 'SP3PEQE95FRJA415B1EFG4F13Z6V2P515AZ7MQNV3 }
{ amount: u197980406000, recipient: 'SP18BSE8SV8KXT6EZSDCTYR4T0NP3M88PXSFR58QE }
{ amount: u197922921000, recipient: 'SPG8C4QFAGPNH3J8WMZ4GV4YN9WSG0AHVG98XG4X }
{ amount: u197877605000, recipient: 'SP129BVWPY2JQV0HZMGHD201GSWVM6S6MD1JWWGNV }
{ amount: u197733914000, recipient: 'SP1SDYCB1BVVJTFTW513VBY4WFHFJSA9N21KHMVDX }
{ amount: u197710386000, recipient: 'SP2V0GZK5B6KF6HCQK11RQFE8EWF92VQCM0STDKQ4 }
{ amount: u197628312000, recipient: 'SPW22DR7BJH1HP04HW10T31ZD19K26SYR0HFV8DT }
{ amount: u197548505000, recipient: 'SPMGBGCFE9T5FMR1Z34GDSKDA9SSVT65Q19N4P1D }
{ amount: u197397381000, recipient: 'SP2KTD38YK23KJM88D1QPH43R5KYPVKQKAKERAE4J }
{ amount: u197384872000, recipient: 'SP33F5TMX4TTX3SXSS8V3TXE4FNCFX1B1DRF64JJH }
{ amount: u197342156000, recipient: 'SP96DY3S1EKPJW4SXBCZ31QKJSPDH9AHS2M2VP7A }
{ amount: u197283835000, recipient: 'SP15NQJMSVCASV1XG3N6W3DY874HQXMHSWDGTY62F }
{ amount: u197216925000, recipient: 'SP136DNZJ1S3GMM4SSBJWXR59YFBAH62CT3V707PX }
{ amount: u196766110000, recipient: 'SP1MV3MDA8GP80A2G9ZSDWTFGET6WYB1T3RY2AVKR }
{ amount: u196509187000, recipient: 'SP2BHR5MAXK6MVQ1YMEFMTRNQYR1QX5ZCH628HHYQ }
{ amount: u196410375000, recipient: 'SP2SG0518MCPJSGNBQA5RRENRCG4BH6CFZJP61XRW }
{ amount: u196366173000, recipient: 'SP3QAHJYQQ2S3SW59W35RE0805AZCWBWTW7NE9BFC }
{ amount: u196349590000, recipient: 'SP33B2AG7X89KQT8N1E87JCA9XX0EW32EPC81WD6B }
{ amount: u196235289000, recipient: 'SP3TDJPNGBE9JEESG3ZDV1NM15K76FF22WW6DHN5V }
{ amount: u196091556000, recipient: 'SP19BPFA8KS92AXR1NX1B6A8GPXWFEW5YSRA9T0EW }
{ amount: u196067681000, recipient: 'SP275S3ECDEXF3N9T6WQG159GC37T94CZ51QMFKWW }
{ amount: u195853880000, recipient: 'SP30Q89W2F45AYDDBRSR93PPJ54WTZAZV1VA6H35C }
{ amount: u195698722000, recipient: 'SP12Y4PBVJFNJN9RXY2ZZ0Q0TBHHDTRS3JZ2QYFYZ }
{ amount: u195592743000, recipient: 'SP3GMYEKNECVY1EBH263CTJHESSRRCTR8CVK105ZV }
{ amount: u195494322000, recipient: 'SP335PMC107TK8PMRPVM2YD2GS1ZRG6C4RXZZ95TP }
{ amount: u195435892000, recipient: 'SPX7J7BZRHFEMAW1AXF6PPT3WZ29ARZRQEM06043 }
{ amount: u195361000000, recipient: 'SP1JSCAA5R7CGRAKNCY1GMK9X4VSBM0R3C32BECJG }
{ amount: u195327607000, recipient: 'SP3TSGD7T596165FF8YAJV13RVHRMSPHDJ2G2KMHK }
{ amount: u195286609000, recipient: 'SP149BY18DF573TG1DW2P00VWH4ZMVHPRC9CMW2GB }
{ amount: u195269742000, recipient: 'SP2KH1WA95AFF66GJ8XHEHQAAG8FAZ0TX6P3XF6TX }
{ amount: u194923945000, recipient: 'SP1XC9GRVJRV7KK5JJ3DHGD2NYAM6V4VVS6P3EQCB }
{ amount: u194874092000, recipient: 'SP1GF27KKQR481ASDXC92DX3AN7BVY0MTN36ES19N }
{ amount: u194764669000, recipient: 'SP33PTX61K6FQTNHK3J1GH4F3NZGBXG2BCC2P14XE }
{ amount: u194701000000, recipient: 'SP8YX4XZ1GRRZ73YA3MHG4F9BERC2CTPQCP2M1NR }
{ amount: u194629205000, recipient: 'SP2K4NS4MZ1RNGPKC6N9TFRSQ2GSMRN0MHZ2FXY5H }
{ amount: u194335316000, recipient: 'SP2HGR8MRVGMNEJVCEQPVPSZTKV174EHP9TWAKM8D }
{ amount: u194240157000, recipient: 'SP31016R5N84BD5A1F0JQBR6ASAR40H0Z1116RQ6K }
{ amount: u194240157000, recipient: 'SPM2AZVDJD7PF3WXBB15H5BNV1QTVX3Q7YH1MDM0 }
{ amount: u194211266000, recipient: 'SPSGMM5GX5JKTS66H04BH8XDBRGXXRA0DE0PN0R }
{ amount: u194211266000, recipient: 'SP1HW6RB6X2FF97B10JVH6VP9GN7TTVYKK8Y5M49P }
{ amount: u194211266000, recipient: 'SP39S91K20084XVMMWDEB83S1Z0GDY496G7CT8DR6 }
{ amount: u194211266000, recipient: 'SP3DRC819DD1TDXBJ9S6AHSVZZHCDQZ87TZVNCGC }
{ amount: u194211266000, recipient: 'SPHNK966A4NHB496VX66NYC6FS6X67ZC9QTZ1YSQ }
{ amount: u194211266000, recipient: 'SP2AM2A27R0SKTBHAXYEFSKHA85EG97XWEWS90PR8 }
{ amount: u194211266000, recipient: 'SP2J4HVY2ZESP3DM02TDWZEHZES939PCP7W1K3K6R }
{ amount: u194211266000, recipient: 'SP1PEV88KFMYHP7Z696ER8SNXCMN8KD5WFE6RKG5H }
{ amount: u194125383000, recipient: 'SP4D1CF1FG90K9D11AY88EYS36604XRKSFBBPQHN }
{ amount: u193890971000, recipient: 'SP2XQ2Y69BS0C6TYEVEEVY734QWCHFZ1Q4SM0WD47 }
{ amount: u193854348000, recipient: 'SP2ARP4PPNK8TECAS37VMF8MA3N1B846ZP3Q09VMM }
{ amount: u193759370000, recipient: 'SP13FB3K696SRH3QEMH0MPK43MA71XZ95B2RCB0QX }
{ amount: u193672377000, recipient: 'SP2J3H5Y445ZVN2QQ9BR86GZPDTBVMHTNSX0G2AF9 }
{ amount: u193378404000, recipient: 'SP3YCSBWKH4H0WNP5F73KMFP160GBKJ6DH1V1V9NA }
{ amount: u193293366000, recipient: 'SP3XZD3M7D7RNTHMX1VZXX8H1PENRS1036GH8KW1J }
{ amount: u193226264000, recipient: 'SP2PYH0S68192DWJM0WK3YC497DCHKW8NX5YWVGKF }
{ amount: u193145108000, recipient: 'SPAPJXWMNVEF5SBCB9XMQ4HGDHDGSTMNWJP97WT4 }
{ amount: u193124712000, recipient: 'SP94Z42Z4SM1RDS12WQXMXMG8TGEQP1X91N8G5K3 }
{ amount: u193114813000, recipient: 'SPB0BG02B8MZ2ZMQEGE6WRHQZZTAXZHCPB8P2WSM }
{ amount: u192805577000, recipient: 'SP10DX932FN4AXASP0M5J95CAAC22Z0JSCJNFC5BB }
{ amount: u192712004000, recipient: 'SPZD1XMRH4R67A39HPY6PZ9X9102DA1536YJ8S0T }
{ amount: u192414916000, recipient: 'SPTP2Y2TV1R87WKTZK8B6358NYNN2RA1JS1V49YF }
{ amount: u192240344000, recipient: 'SP3XZZKY0CR24Q2R3K17VJWJ2V6KQFWDD4QSCAT90 }
{ amount: u192203247000, recipient: 'SPB72WG117H2CY57ZW8CJJ9Z34DFCR6ZBKTG1PY0 }
{ amount: u191976523000, recipient: 'SP2C9MH9VKV7A4RVEB2SAY9615VX4AM0FSPKDTGZW }
{ amount: u191828369000, recipient: 'SP1BSDYPZ9WJMK65EBS1WA8ZK205W59FA8VGB8D93 }
{ amount: u191755535000, recipient: 'SPBVB728FDX1P862V2JM0GVVN5NMZ3KMB1QAYBV0 }
{ amount: u191566221000, recipient: 'SP39HPNXNF1ZAZ516XPVTXW4Q2NNZAM3HCR87KNQ5 }
{ amount: u191476502000, recipient: 'SPB8R807NP4Y0R7CQZ5W92NRNV6STQT7FSA5EH4B }
{ amount: u191331015000, recipient: 'SP12EG8X6VWJBQ662KA798JN4FFSHJGE861F6GJQE }
{ amount: u191315732000, recipient: 'SP1C0DWMB9HAG444H1WB3WY3V38X2J3DY2GMR7P82 }
{ amount: u191216702000, recipient: 'SP2P88Y5985Y6XCTEFJXV78EZYPAHA749MZJ6RGP5 }
{ amount: u191135053000, recipient: 'SP0BMJ2GZQFK9H6YFCZSGVZ6FYX8E93CBAWPSXT5 }
{ amount: u191019548000, recipient: 'SP11B60GCD12ZNV6MZ06TCC7G1B8W3DSHM9BM0MMM }
{ amount: u191003000000, recipient: 'SPZKZXC9Q0FFZ874WCMEW3S5949WFH4CF3QFBRHM }
{ amount: u191000000000, recipient: 'SP1610S4ZACG7E9BF5TVR1GEDX7Z8BAXSNS6NCPEH }
{ amount: u190861687000, recipient: 'SP31ER8WTA6RM08Z0GNTY786T4PW6SYKFTNMTPRSV }
{ amount: u190852495000, recipient: 'SP1P9P5BZ1RHJB361KCMGH1BCXEA2TQW4H6QPCV2J }
{ amount: u190799323000, recipient: 'SP248KN1F7W1V7W3YXXRS75H5WTY47SMTMWA83BW5 }
{ amount: u190720359000, recipient: 'SP3R2V4GPGK60VHXXCNW7D2W959993F428TJ99V4X }
{ amount: u190637816000, recipient: 'SP3N93M5BNZSYPQEGWVJAE50ETB031AFY01BXNNTJ }
{ amount: u190230778000, recipient: 'SP5X0VKZF2ARPRPFZ3DWBBAGGCBS579TJNJGPK93 }
{ amount: u190122193000, recipient: 'SP2PHSZAX74R1Y3QK7QS2ZMWXVT5DRZXFJWYQKXQQ }
{ amount: u189884699000, recipient: 'SP10F02PYYZ8EHKJSFMXDT7S98GNVVQV0SMJF358K }
{ amount: u189815442000, recipient: 'SPDHYD1VZ5AQ2V6W4DZDCV30S5BD0PW3A4K74HDV }
{ amount: u189732888000, recipient: 'SP1PCV422YE41AHKFD96EYBEWJQKKJFQNDG06WH3Z }
{ amount: u189660000000, recipient: 'SP0ADBSRKK5NHQASEX80D04D1GKPWM0QPMCF80AQ }
{ amount: u189423363000, recipient: 'SP1PVN4ANBKSJMG2JEY2SDA7CCW5RXAAWXEG73WPE }
{ amount: u189331525000, recipient: 'SP20RNSGH6JECJXKM16WMMGQM8D3BZWQAJH0DJZW0 }
{ amount: u189303720000, recipient: 'SP246HMXWGY3WF7VRZB3E5E2YPTM0ZRXXMFTTVZ5S }
{ amount: u189303602000, recipient: 'SP2V9JTX2NH6ZXN5PERPEJWB62C5RCB3QYJRKRGV2 }
{ amount: u189253863000, recipient: 'SPWM03KC7R3AW9GKYRJZZ29V9PJ1A2R4H7JDZYYY }
{ amount: u189207169000, recipient: 'SP3K98C5NCH84A0ZPN112C0VJQ4QYC5MQ0Q575YA0 }
{ amount: u189006297000, recipient: 'SPZE987VW7P2CDEDQ9HFMZVT2R2DGVATZ9QNYQSB }
{ amount: u188857689000, recipient: 'SPMA0EH4FZGPA1FJBQXJREE22CBKYCBBVH8M55TV }
{ amount: u188651577000, recipient: 'SP1DNWH880NNPRS5Q380W91K2AK7TD77TR8E4AFMY }
{ amount: u188648083000, recipient: 'SP13XZH9JAXZGTKS1DWJZDQ8NTX8SNR19WBP374TN }
{ amount: u188548452000, recipient: 'SP3509GS0MYW03BD5MBY2DS97J86B4NJ3163RJXFX }
{ amount: u188505097000, recipient: 'SP2T22D1N1ZSSNCHRKZ37EB1QS5MFSC6BDAZ3JYP3 }
{ amount: u188496692000, recipient: 'SPPDJ8J9BSGJHS1TXFFFSVVE5M1STS7BVC937748 }
{ amount: u188484114000, recipient: 'SP3XXHJJY78C8MKNAKEF97VD0Q0K2CR055Y1MQ4AT }
{ amount: u188458369000, recipient: 'SP32EYQNQV4H8GWNYR3C57E128RJSXJ6SC5W0Q9K0 }
{ amount: u188316039000, recipient: 'SP2KE88XV9AFRFM9ZST1B069K8VCQ7TF91RGEWXAM }
{ amount: u187993147000, recipient: 'SP2XFYAFXF6R3YTWYWXVFQG6W4ZPWVD6CV9TYEHPF }
{ amount: u187940852000, recipient: 'SPMM82PZRSC3W8X3MQSB2E6S3663X69R6G9GZH93 }
{ amount: u187809529000, recipient: 'SPQMHWK90RZQNB7KPT7EM4MJWF7SB2RG77KKARM }
{ amount: u187671126000, recipient: 'SP3KZYNEX6HZSPRNSAWEYB7K8PK72K3CSYT20HB61 }
{ amount: u187649573000, recipient: 'SPGK8NNQZHDKR42ZTEH29K7ZC26QKW9G48TNG8RY }
{ amount: u187601817000, recipient: 'SP3Z51NG7JAKKBB3M5QCPNSKSZB11TZ1TTG5C3SA1 }
{ amount: u187588712000, recipient: 'SPAS6SB39A6YXF85P9EQA02YNYC60VM36H81Y4V5 }
{ amount: u187562691000, recipient: 'SP2VPBVPJQYB8BFBVZNYQM5D4476ZPYBSP5DM61BR }
{ amount: u187446990000, recipient: 'SP183HZJHGM2W5JFKG7QDT8SB7N33XE6GKFR2YD6A }
{ amount: u187414353000, recipient: 'SP1XC1VG380N4ME3WAHZBHW8T1JXFK2F1HC2HR7XP }
{ amount: u187401257000, recipient: 'SP3Z7S7SQZ22B63JK3SX2F2N3ZT7D9BTRSM9S4V1H }
{ amount: u187254038000, recipient: 'SPFVR66HXVTHD9J7DF2AP0ATNNR5DYJYW7B7YY9N }
{ amount: u187161304000, recipient: 'SP1CRBCJX2ARGDC5ZXF16XXCVP5FDGSNCGW3324BK }
{ amount: u187046584000, recipient: 'SP30JM834HR7V93N16S6Z1JWC5HRFY624Q1E0JESW }
{ amount: u187043121000, recipient: 'SP1HGFNVXNPQTZZ64YG9EPW3B5T885SX5DVXAZKWK }
{ amount: u186990097000, recipient: 'SP3139D56SF455EYXPXMXV56T8Z1ZNRB1CTRAAZP1 }
{ amount: u186935795000, recipient: 'SP2W2KXS4FTMFVSVCSV17BBXFWRJYPGPZZK9V5RPH }
{ amount: u186933980000, recipient: 'SP140KEJWT0N4QDCSHSWHE87WB718D1HFEMCSC8NR }
{ amount: u186921984000, recipient: 'SPHQ4A816XM7NNKSHHZQZSCY9S9AP35D8SYRF45K }
{ amount: u186844495000, recipient: 'SP1K9FM0WJZCRAK1EG8K2HADGKFMT5ZP0YS8EMGJ }
{ amount: u186731000000, recipient: 'SP34KSBTH9FQ0CN20AMQG2036QAD778JXTE4XTDW }
{ amount: u186730891000, recipient: 'SP1MN0MWP68PMEA8HCP3RQYT0ZKZ1JXWT0YGVDP3K }
{ amount: u186730471000, recipient: 'SP2JPTFJNF5H2N89A9AER1YB99DC6B6N22E8PMMMW }
{ amount: u186687007000, recipient: 'SP3VCS09GQJQQD02JDBN08WXWK5FZ5BRDW8BKK1XK }
{ amount: u186687007000, recipient: 'SP36164XFSYTQTEKSY7TR4MTPWAKPV0N2KMQ28PAH }
{ amount: u186687007000, recipient: 'SP17NA6KFDV3VSYHER2ZPY2EVDZ8YC8X28EDPS8X5 }
{ amount: u186687007000, recipient: 'SP3XPF173K20633VP9RTYDFRK20T6KVERF06QAW9D }
{ amount: u186553863000, recipient: 'SP3DTRHXJF6HBAT0EY784GDYRHG1YCFZXJXB5ZTNW }
{ amount: u186530430000, recipient: 'SP3X60DDHC9WW0R345QWXD6Q1M91B73KWK76BHPD1 }
{ amount: u186417746000, recipient: 'SP3STFXWJEAE9PRG2X380PKCMJH5ZBYTQ0B2BYX73 }
{ amount: u186239282000, recipient: 'SP3SSQT45YSJ3DT4M1F96RCPNVQEY6D423QBYNNZA }
{ amount: u186207202000, recipient: 'SP1RMZFJEW4QXY64EDEK18KM4MACH06NQACJX9175 }
{ amount: u186175808000, recipient: 'SP2KFVYHJPZN5ZD9XSWY4SD23JMQJBWEP6CDPKP5T }
{ amount: u186174947000, recipient: 'SP2A90STAYBS4X9BDF90TPVV5JYHKE2063STY6AQ1 }
{ amount: u186146880000, recipient: 'SP5YAN15PDYBT856FMC3NAWMF6N2XKE52V24KWMV }
{ amount: u185957918000, recipient: 'SPSRHDZVQG9TAVT1W3CTPSKMBYJJACDNP36SY41V } ))
(define-constant batch-22 (list { amount: u185802090000, recipient: 'SP13CD3HT9T4P3WR8G0QC49QXSFTCSW3S8CX5BBJ9 }
{ amount: u185760617000, recipient: 'SP2P336EM6HGAX7NQJGR0A4W7KP11BNY25YDSTA6W }
{ amount: u185515333000, recipient: 'SPXTDZ8SPF6GA03SNCFVC0ZTR76V8EP79MFZNEG2 }
{ amount: u185509720000, recipient: 'SP2191ZX6A7EHCSFJKTBW6SYF7H5X6XTM3C8YTZ78 }
{ amount: u185492449000, recipient: 'SP1SW0GBGW4YG2EB36PFTZQHS5Q78NCB7XXG1M2S0 }
{ amount: u185444275000, recipient: 'SP3GPV7YEVS2VNFYYXEJA4HWXA0HFX4SMFK9F12P7 }
{ amount: u185391752000, recipient: 'SP32QTYYGG6SWTP198FST4SPM85J0A3JPNB9S2BEA }
{ amount: u185300022000, recipient: 'SP26MY4C3RHJ5TPKFEZVN0YSHCH56VQDDBQNMGF1F }
{ amount: u185294494000, recipient: 'SP28DJWTEQHD7MVGDK56AFTP81CWP04G6PEKST02B }
{ amount: u185287386000, recipient: 'SPMYF8K7Y3HTWPC8T83JRFRVDYJM7M20DB90T3VH }
{ amount: u185281894000, recipient: 'SP1GE5CQNS6RCP5FC5G9AY468VV24S5M7GJPX563G }
{ amount: u185233624000, recipient: 'SP73J38QT5ACGS8219RDDD8YW86004XD2RRF0HMJ }
{ amount: u185143300000, recipient: 'SP31JHACHB2Z9P0QRXG5V2KEWHTET0NBS4S101QEP }
{ amount: u185131345000, recipient: 'SP2YXGABEQP4EFB2TPSC785X3J7YK0MDXC9WM5FMZ }
{ amount: u185119000000, recipient: 'SP2G2VRYFGHRSHWCBEKF3E1823H5N6AJWR69M9ABK }
{ amount: u185052992000, recipient: 'SP1KBJH686YYQ99RHYRH2H4MVXT4JJARSMTZJ7C8R }
{ amount: u184741504000, recipient: 'SP1CX46JNP2276PD6WGCFYVPJ7BXDS5Z8S73PRKGB }
{ amount: u184733625000, recipient: 'SP2A89AA9RDVB3BAE4R5CRARG8FMTJN7K13PGXNR5 }
{ amount: u184586749000, recipient: 'SP3NDMC8SEWMBMXBN5NESA7P0FGSEMRMV70J47D6W }
{ amount: u184387621000, recipient: 'SP32YD1J1GJ6NW1BE7WKTNSQZ9APABXDZDVFJWS6R }
{ amount: u184266322000, recipient: 'SP29714VJVC0RXRQP8G4Q64SQASKR6JR1KV0PSKQM }
{ amount: u184140563000, recipient: 'SP1V0C3C0AK67374WKAVASNKVV0NQA1QF2H8FCG6D }
{ amount: u184057697000, recipient: 'SP37QPZ30ZJ80XHXMA48J5F76AVE33B8WAR4FFC0J }
{ amount: u183899930000, recipient: 'SP3Q3AFA9Y4VWB8JQE9S2BK5GECPGND4RCZD7RVES }
{ amount: u183805932000, recipient: 'SP3AD7R6CWPSE3NSDTD2RZ0KNHVTNAM9FWP3NN2DS }
{ amount: u183697202000, recipient: 'SP3JEGPDXK4ENNSHD64HYTWB0Q2QX9XJFKCBDYXRP }
{ amount: u183603664000, recipient: 'SP2REJXACM37J747D8TRYP423D63CEWAJ0VYSRCGG }
{ amount: u183350000000, recipient: 'SP2ND1C6CJC6875R1CEF7ERG9T1B1CB6BMQWCTPR }
{ amount: u183330989000, recipient: 'SP3MTT84D8J2YYS5N5YZJ3RE91XAMVDXEJ2QZM9SS }
{ amount: u183268930000, recipient: 'SP2XXMKB40G3ZR3YHJHYHS55JYQAXJQFBY59WKQ6Z }
{ amount: u183143185000, recipient: 'SP3VXKHW32B54GAYE01V1KPRKPBQ6E1WK0Z0QW329 }
{ amount: u183138020000, recipient: 'SP2VHVTPAVEAWFFXHWXDN3GHYW2BQJ58JYNFPGDQK }
{ amount: u183000000000, recipient: 'SP1VPJDGTHTAPFRPNM2DAFJ9DCGN244SCGQW689E2 }
{ amount: u182986555000, recipient: 'SP2WP4JPEE0ZEEJF3K2E8R08MNEY1RYDYJMH651WV }
{ amount: u182835750000, recipient: 'SP38YDZGRZSTWJV5R5AVD610R03H04TTEWTB7818C }
{ amount: u182788280000, recipient: 'SP1TSAM67JDB1GRYTAV68HCDSVK7VV15EXZ3RQ1RT }
{ amount: u182719973000, recipient: 'SP3Q4Y8N9T0J28NE5BXGD2CFCW0H64TSS9KGMWXD }
{ amount: u182673728000, recipient: 'SPMVPFX1Y8G3E6DYP4TAEH819XRE0670Q2P22STD }
{ amount: u182659854000, recipient: 'SP2GRTEFDKENS4SEMZMDQ05ZNAQKT3FZJW0YW9QX7 }
{ amount: u182598329000, recipient: 'SP3KNW1V04R9H5CDPBP5P6Y7VTDP2RT4AZ64B7TX4 }
{ amount: u182582166000, recipient: 'SP38VZRVGQPRN6PWGXJPA713RMC0VBXFBABF6Q5ZG }
{ amount: u182572252000, recipient: 'SP26VFM686M2RT6EVRPEFXB5333HJJGT756QZWQBA }
{ amount: u182509815000, recipient: 'SP1NMQ3GBBV2J30ETNM3RXG747D4XR7BKFN8WQA0E }
{ amount: u182394218000, recipient: 'SPXXTFSKGVMMKE9BAP09T0HCSHXBD552YZDZSXCQ }
{ amount: u182318503000, recipient: 'SP3XDN47GQE901AVQXE88KDNWJJSYD59KXV349XVR }
{ amount: u182248107000, recipient: 'SP3D3ZSPHPR90FMK0K9XAGJZGNGTMGEBHT7HTA6Q8 }
{ amount: u182126513000, recipient: 'SP3CQ69909RBGE8G1CC8NQBX6CN44RMYJX2CZ0PGD }
{ amount: u182087466000, recipient: 'SPYV7ZV9P4CXD0Q62TP9AGKTJGF26X9ECMTASKW2 }
{ amount: u182000000000, recipient: 'SPCPE4Y3QE2CAQXANG6E8MR9B3B265KHJD7T6H5W }
{ amount: u181900528000, recipient: 'SP3G6AWW10DSWQT2QWJCGQJCNHA8HF5738QMG9NQJ }
{ amount: u181808419000, recipient: 'SP2E8GXQT1TVSNKEA90YEWCERVQ0G3E2KPMHWKKG3 }
{ amount: u181761756000, recipient: 'SP14EBQ926P4APDDMT6VP1F0X867F7Z2TDW5CV69A }
{ amount: u181652605000, recipient: 'SP3QBDVP816NV03PZRT3FWV99NA9G1PRTQ8E6FM9Z }
{ amount: u181636966000, recipient: 'SP1VSWRXKCMRCR7M5XQPE63XQ0SN8EZ3P5PR82WS }
{ amount: u181522179000, recipient: 'SPEPFFKZRZ9RB7B5BE076B2N0F1CFZ1MNV7QCCP4 }
{ amount: u181444187000, recipient: 'SP1W7F05KJZEY3WQ4ECHVGWKQR6G6YHZYEE6NXH24 }
{ amount: u181436363000, recipient: 'SP277AYQCCZZHEEMDZR9RVEQGBV1N441B86XK2TT3 }
{ amount: u181416169000, recipient: 'SPRJ1WY2YH7F216N9RAQ9X94W88ZD86SX4CPKW1D }
{ amount: u181381911000, recipient: 'SPWSDSE9AJMSENN5DDQ99DXRHSDZ29NXR20Y56G3 }
{ amount: u181372264000, recipient: 'SP2YSFPT19S2S5FGT8WVTRAH02F1KS3QY72WCK45P }
{ amount: u181134806000, recipient: 'SP1MJPQYGT446J63NZ2CS210HVSG8F2KV9BX2ENCV }
{ amount: u181132346000, recipient: 'SP2VX7SFNXASM1SVK68CSWWY2A8HG0ZJ3PVQ78XGB }
{ amount: u181061551000, recipient: 'SP27QJP077EZKT226BMDT9K2H5FTP99N5BCQ8B55M }
{ amount: u181036343000, recipient: 'SP3RZ6T66H4KBJSYEJC0V9HBY8GWMW2G5F2XXX3YM }
{ amount: u181000000000, recipient: 'SP3AGFXA6DGZN2F1AK4TYS050EV6VP1CX35NEM7R8 }
{ amount: u180974527000, recipient: 'SP117X0HRNQTX09FJHRD1DD1RMF1XR8HY53A682WQ }
{ amount: u180881661000, recipient: 'SP25YG2AJ955ZQR5BY9WJBQ54TK4BAKH1ZNS11XDK }
{ amount: u180814389000, recipient: 'SPQXCBGZNSVDED3VBAPB6WX61DPKE6KT48Z2TXWN }
{ amount: u180802385000, recipient: 'SP3VMAHTFVN9ED5FB073MK1B8MGNCZW5VCEHFFD7C }
{ amount: u180737166000, recipient: 'SPSYE0KJ6QC8MMBG8417Y11460X3X94A640CVH8W }
{ amount: u180610443000, recipient: 'SP1B6F1PR0ABHXPJ4JYM56QRWA8B1RNWAAH9F28MC }
{ amount: u180592160000, recipient: 'SP2JQFHEGKPNET8C3CZHWP3AEWMGWBT0QGN4EQ4WB }
{ amount: u180179444000, recipient: 'SP21D1YS2P3VZBA9YC5TTW9N0TMV65ZA0407JZAW2 }
{ amount: u180150395000, recipient: 'SP2DQVDPV8AT7FYE6FBG0HA6D9P0MZD8XCXEM6E6Z }
{ amount: u180000000000, recipient: 'SP1EGCRJV59ZE1T8NSZHKJFMZVN0GNBYRW3A2D4RW }
{ amount: u179987976000, recipient: 'SP6R70K0HAVVTEGTSSEXE6NW55AGVD57C2N0C33T }
{ amount: u179958228000, recipient: 'SP1HTGBMF6C3TCJFNSNC2BMMSFQQMJK0WA149QZ4Z }
{ amount: u179875071000, recipient: 'SP1WGX47AVMCQ0PY5NRYAD50G36YJ4R96GZRN0RF2 }
{ amount: u179869585000, recipient: 'SP2WHGX98J57PV22RG15VSYGYQQJCDWCS4NDCRZS4 }
{ amount: u179849077000, recipient: 'SP2RPE0VD2VFMG6KER4S61TE1WJC46CFJ9M7XRFD3 }
{ amount: u179832561000, recipient: 'SP369MWGV0V2XKKF7T46DD3XYG0BXP6NGPAVBE6Y9 }
{ amount: u179577169000, recipient: 'SPGEZYWGC52WKSDY4EFRZMAATTS28125G82G9CDQ }
{ amount: u179437382000, recipient: 'SP26PXSC06QZZ27XSBEYTEZKZX09FM03ZPY8KPM5P }
{ amount: u179268896000, recipient: 'SP1TDMMAXQH9TP2GREPRA9TX78DK7DKMX8R26VD4N }
{ amount: u179100000000, recipient: 'SP3KM011Z9GZ16FG63FYWCQK31S9CFYQYAZS9TXET }
{ amount: u179001760000, recipient: 'SP232WT6ZW7E3FWBKPP0TD2MGGSEDNMF9GZ9AAM15 }
{ amount: u178930355000, recipient: 'SP20VRJRCZ3FQG7RE4QSPFPQC24J92TKDXJVHWEAW }
{ amount: u178901405000, recipient: 'SP32QHEZ1W5G9ZPFCRHDMEZBMV8X2J5MKHP4XNNX8 }
{ amount: u178858159000, recipient: 'SP27PVJE5AQB022T4KWJXFHVN7FPBDHQYPQWA6MJQ }
{ amount: u178815680000, recipient: 'SP2B2WXQQC1T84455EQN0ADJ45T05TD9NBZCDYGVK }
{ amount: u178792753000, recipient: 'SP189GET0NZW47WNDSQN1XKHPBPGBH8BNYBPTCG7Q }
{ amount: u178686901000, recipient: 'SP24WYXWFWHDYS452KEE1E805K306M2R7J2PJ09Y4 }
{ amount: u178590126000, recipient: 'SPPCTSP697G6N3VGSJ6MS9EDJ988M5PQG9MVHW06 }
{ amount: u178457000000, recipient: 'SP3RKCP25Q9PQT5YEJG3RXE0B4W4SPMC3Y63QS1CT }
{ amount: u178341667000, recipient: 'SP35657FHAFQZYK3EG623FJTEY149GKFTDE7D5XGF }
{ amount: u177980850000, recipient: 'SP3D6V6T2Y14AV8F388Q3C17F1CRV6ZDDW3H3QPS5 }
{ amount: u177956421000, recipient: 'SPJZGGV74XKFDJE3ANKW8VGKRGM7BAFGH1Z6AYFR }
{ amount: u177832000000, recipient: 'SP27T5AM1EQQ9N0QNTQET79N6EK5E9M3F8KK68DRK }
{ amount: u177793933000, recipient: 'SP49HP7B33K7MR572CVRDSX3JX5XYR000HADTE9S }
{ amount: u177509770000, recipient: 'SP2R7S54GFS41PWKVZMEFEKAD4S4SZVPJGXSFTFYV }
{ amount: u177505026000, recipient: 'SP3CW1E3YZD3CMYWTQRC8SS8MWPG3RMRB63ABX0YV }
{ amount: u177390760000, recipient: 'SP36Y664SW5K3CN8MVH1Y6G348CZFHSN480SV7Z93 }
{ amount: u177354753000, recipient: 'SP1SKJP8W7MY4BP0WFJBCEHKCT15TVVAGPKPMTKX1 }
{ amount: u177311552000, recipient: 'SP29VPJ2FP9MBCRC64P52SE5MDA55BBTN87H5S9ZE }
{ amount: u177231137000, recipient: 'SPFRHKXKP7TXYM82S7502D03HA51A08S77J04HJE }
{ amount: u177043000000, recipient: 'SP13AE2CPKTRMGCY2FW0838K6GF8R5355SAJ7X70D }
{ amount: u177020738000, recipient: 'SP1Q59644QV55GK1QB3DQE34PXFWJW40WM34MH83 }
{ amount: u176831507000, recipient: 'SP23Y9WH2KNE9GP4VWSZ68EYHGX3YVKG0Z1E8HTHT }
{ amount: u176705324000, recipient: 'SP1VJ5SX4C6KCYA9EPNZR01RAD39XCCTJ2KD5Z2KE }
{ amount: u176680214000, recipient: 'SP3K85XKAM1JF4F0MBQ266ZXVT64M9MN0Z9QQZ79V }
{ amount: u176507583000, recipient: 'SP26SSJSA1QHJR0RYPBXD5881NNDKC6268QQ04DEX }
{ amount: u176477463000, recipient: 'SP1GP82CGJPZ4MYP41GDH20SQAC7EMT4N0WC40GR0 }
{ amount: u176472973000, recipient: 'SP3SSBZCC5WWVGZ4J2R5TGBPQ1516D91RET96KGE6 }
{ amount: u176404558000, recipient: 'SP7WQTTF6WD55KPP75VZ9VZ7W0JY6AX4YCWH0TT0 }
{ amount: u176382437000, recipient: 'SP34416QNNEY5AYNWWJD0E60GR281731WTQTR8F6R }
{ amount: u176343960000, recipient: 'SP34BGAWK0NMRTT16EH8PJ26FCYB6ZAP598ZJHSQZ }
{ amount: u176156545000, recipient: 'SP3DVZR5AES4J85AJDMPSN5C9V4QDYCS2H8CQ3VBZ }
{ amount: u176150972000, recipient: 'SPCSFJFW0X4CSCMPB4N5V3JH76KXQJS5H8HRFN04 }
{ amount: u175747962000, recipient: 'SPRHVVK1WVEEAXECNJED9P931G8NPSAJB7XZ754N }
{ amount: u175694508000, recipient: 'SP355GPKEV5RBNCXNXT9BXPP1KY18FWVYJSRE7Q5N }
{ amount: u175494000000, recipient: 'SP28V0FZ3TWA8JSEJF72BY8TPTP4NHCNQAM2YPJEX }
{ amount: u175456019000, recipient: 'SP1ECKJA94B0AYTCX51DKAZ631TYKGHBC5HM1RA5G }
{ amount: u175425246000, recipient: 'SP3VHXKHV9YG6CVCNV4R9C21MM6B6G25CYPW6SMZF }
{ amount: u175400000000, recipient: 'SPNB1PKES205YJKJNDQ6GP8G8GKHMQ7ME4CQK90E }
{ amount: u175396970000, recipient: 'SP2THFFVJ3DHBMN7JE3HGXPCMJR6QE8X8C9AM9XV9 }
{ amount: u175253667000, recipient: 'SP97367VS42YJCTWZA7V87GX5WA94Y8Z32PWKYKN }
{ amount: u175180922000, recipient: 'SP2APK7D2FQCDEBXRWEEKYS21ZK3PC750BM9FHR4K }
{ amount: u174956017000, recipient: 'SPTEHKCAED84DTNET0Z4RRCT2K6B8JV7BVY0514D }
{ amount: u174833655000, recipient: 'SP1G539ZC65ENYQWY9M3W2XVPG3R03HZE3A5BJPEW }
{ amount: u174826222000, recipient: 'SP1NHM8MYRGF4CEZKW5Z597FYB467M276GY4PCHCT }
{ amount: u174715589000, recipient: 'SP35PQTA0R41CNAAH9ST3FK5EE48TC4Y09VJ00GCN }
{ amount: u174709802000, recipient: 'SP1ZAFEQGDYYE4E106SCC033ZYPAJVA4YXJDHMZBQ }
{ amount: u174707353000, recipient: 'SP1K5MA5ZZ647PFN8RCZT8773F1XMNRYM0CNAR12D }
{ amount: u174614140000, recipient: 'SP3F6ZG4FQ562A6K7WF8N2VR4PK8W3MJ2EQ1A4PCJ }
{ amount: u174520090000, recipient: 'SP11E02FNGDXWRC1J4DFSW6KRJ5JEATX10AC2A1XB }
{ amount: u174320978000, recipient: 'SP3NZTKWHM9E9GEP5B1HRM3FDJDCMG0AA5QSEVD4C }
{ amount: u174305820000, recipient: 'SP3T1VXZ0D1M222KJ52WAJRECE2AQC7BFVB54R03J }
{ amount: u174220000000, recipient: 'SP27BACHRZ417TEDHDJ3Y0SCPZP4HWE30KBVBB6FA }
{ amount: u174098399000, recipient: 'SP6ZZ0PA2B8VTN22K9XAMQD9ZZEX62J8AXPGBTT8 }
{ amount: u174093929000, recipient: 'SP25R996DN6WKFP6J4HGRDZ3P5DFV4GFATQGZ6CCE }
{ amount: u174067659000, recipient: 'SP3486ZKTPK7SGSBPF8YXQ9B00W5KARM6T8FCDZPM }
{ amount: u174019939000, recipient: 'SP1G6753B8M5YZVNZWQ4H7GZPNCT10GEYMVV8JSDT }
{ amount: u173977529000, recipient: 'SP1WWRG1WBZ9P8V6PA865E6H8C41RZSE0TTGBYJ15 }
{ amount: u173949242000, recipient: 'SP2BNTVQ97Z5A65CYB7ETE29QTVJE6WY8DZ93BBF0 }
{ amount: u173833158000, recipient: 'SP2FX0963689XW5WHNTPQBR10V6T8BSBBNYVD2NAP }
{ amount: u173733297000, recipient: 'SP285RKTAPSCJN4K7N8RR31G66CXA5JEXPBKXWDB0 }
{ amount: u173732989000, recipient: 'SP3RDKN36M2RNSM34WR2NCBHP6TZX0JXV6KJD41SH }
{ amount: u173721372000, recipient: 'SPAHMQC7KZSSGAN9SYC2B1CVH50H7E1KYCNBARB3 }
{ amount: u173654000000, recipient: 'SP3EHFG9RVXDD9GPXYP4SMGKYD2SR223TDYD4ERG3 }
{ amount: u173643338000, recipient: 'SP3J0X4B678MMJW3V7W52MW1KGV1CZAJNGJR6VA0N }
{ amount: u173610000000, recipient: 'SP97YYKS6JW20A6RYKTNT3CTFCKX4NQYT6396039 }
{ amount: u173607544000, recipient: 'SP02VM1NF7NGWRA77QT7Z9FKW2JPVCBGH1FXWV58 }
{ amount: u173512428000, recipient: 'SP2EA3Q3BWP2XPB9FM41CC3RA1CY7MBVVEFGN36MX }
{ amount: u173499315000, recipient: 'SP1B6D8T29WKQ1NPVPQ162KMQ1GA425QWPCR67S0N }
{ amount: u173445041000, recipient: 'SP3GP2BT5RRW0P3YGTZCNPQ5ZWK8YFWPRKJ5AEW0J }
{ amount: u173311649000, recipient: 'SPT9C4RF8ES1BMYC1NG5D5545QGKP2N3AW53MFJW }
{ amount: u173265602000, recipient: 'SP2WG82Q82BEE3PTMN16BPA2G7C4M2B85TD0HKZRA }
{ amount: u173242048000, recipient: 'SP274F12B4RQ2BXJDY7EY47FYW6Q0NJ731BWSKZTB }
{ amount: u173231107000, recipient: 'SP1JZ67X70PDAVEV05Z4ANBR4JXYHTNRJX942MJK3 }
{ amount: u173203944000, recipient: 'SP3DX998RR9NV476N0QD72TX2YXM5JX68T1HR9X3B }
{ amount: u172972025000, recipient: 'SP33NQN7XV21RDD0Y8S9P56B41GQQ3BKY77F8XQJM }
{ amount: u172878002000, recipient: 'SP29EYBAV9E2K9F96PEMB3EX2EGA5WKBMVH6M007C }
{ amount: u172824037000, recipient: 'SP3X6D7CVPMJB32VXNJFJB42WJ9V3Z5YCMGZ80F2C }
{ amount: u172790904000, recipient: 'SP394TMCPCM1B4E3MBVVXGPPB74GP93E9D79AEXDA }
{ amount: u172429932000, recipient: 'SP37PM1Q3VY6KFKCNMB1WMK1W7D0CH1WZMKJVRRSD }
{ amount: u172386005000, recipient: 'SP6A3WSVP16NNCFYVRVVCQHBP7RZ4M2M71MTQJ2Y }
{ amount: u172349886000, recipient: 'SPSNHCNPHKQQ30Q57SQKK3JHF4KA6F1HGNDP7MXS }
{ amount: u172292925000, recipient: 'SP2QHZBTR15ME7MQN1C32H07FB5MNYPPH3E522VG7 }
{ amount: u172130253000, recipient: 'SP3B2ENWNB3RWNYXGT7520TTHGMT11Q306XSCSSD1 }
{ amount: u172100401000, recipient: 'SP3CVHA4YN1GWZ4GVBCCH89V9Z9HJDZYWNT89FGJM }
{ amount: u172039708000, recipient: 'SP2Q9QA7MXSH893611KKWH8AZW67MPW47RYAG9GPX }
{ amount: u172028219000, recipient: 'SP3PRJFZ3NEEFGA88QWWBWXE22ZESR5XEARX2HKKP }
{ amount: u171968868000, recipient: 'SP1BHHG2YZK45SV44FZA6E03RHMZK13HVXEC93GWN }
{ amount: u171933913000, recipient: 'SP31T5MA0BVH682TGCBHP15NSGEXE6Y8A8NE83K45 }
{ amount: u171833955000, recipient: 'SP4NW204056DJT7EKQPE5MFV9PRYWRM9T41554QW }
{ amount: u171819623000, recipient: 'SP2CZBJ5SKN20QM5MYGTF9WR4HEHX298B56F2GTAS }
{ amount: u171818168000, recipient: 'SPY7VJD75V02MNH5KCDA2VXJC8B39KPBZBZESEJK }
{ amount: u171739344000, recipient: 'SPKEP1S8Y897PF3TNE2NRRX2E1BPX524WWN09YJ4 }
{ amount: u171667344000, recipient: 'SP36E0HKSBHPMM0F6T88XFZ9D2TVH3V8AJ7P79AR2 }
{ amount: u171635000000, recipient: 'SP257W8TNY2EZYR5T8D0BTJJY8SF3E574BKWC7D26 }
{ amount: u171553778000, recipient: 'SP3A5K9T6E7Y8D33B2NW7570BCWWTDSM5G5TQYHX0 }
{ amount: u171516600000, recipient: 'SPP8YJ3QXXVVM21Y5STX7R8ZAS18M9VKNPYJ7T5H }
{ amount: u171440354000, recipient: 'SP2ZE9JBWEWH8434YQX7M8E93TR946653FZ297Z1D }
{ amount: u171436456000, recipient: 'SP2CJE5EXDW3AHAS6XZ187WE5GMP0VMZGXN6DD2JT }
{ amount: u171275881000, recipient: 'SP318SWNXWZ4S7Z41FE4MMBM9W8A3C0CEG9HNTC80 }
{ amount: u171273340000, recipient: 'SP33F9GVKH37H4BK9A9Q4F99SG4NEEYESGGMY438T }
{ amount: u171265798000, recipient: 'SPWG39KTZ0SZN2MK51XKFGE2HWF82YMP7H887TR6 }
{ amount: u170808259000, recipient: 'SPSPXCZ8T3KQYVB0YSN7SS46DRPEV60ATHR8F6SW }
{ amount: u170736270000, recipient: 'SP1Q849DX9ER6STVMCWEXACXZF8S21YMSYBTGGDJP }
{ amount: u170677556000, recipient: 'SPF08JRDAXVYRPJ69KK8VTS61G3W447FTC3141CJ }
{ amount: u170664442000, recipient: 'SP1BKQH5CJAW2FG2GVVT4X84JMVX1AX1WEAT794RY }
{ amount: u170551498000, recipient: 'SP3RT1GT0V7GY9Z3QNZDP3VMAFR9HNP7BVSD935MB }
{ amount: u170471376000, recipient: 'SP3E697ENS07QCC01N974GHWX7ZR62ACWPFRM0D65 }
{ amount: u170452075000, recipient: 'SP2JZTPKAJ62RQX5981KXNK6MK3WYT5GY4BJ3BNYC }
{ amount: u170067263000, recipient: 'SP1QFZ7TMBD4QBE3S52G4DPBF663CPNWYJ4V75MFN }
{ amount: u170026969000, recipient: 'SP2YNR06PEHCJRPTP1GW2RJEDGB63QZVX7Q1EGY0T }
{ amount: u169919628000, recipient: 'SP3C3WYA7KW4NM7D02F4AGA6G9Q2SDXYJGYEMTYG6 }
{ amount: u169907821000, recipient: 'SP1EQJEAAZR13WT01RMX726R8FQCT55QYJHRY0S94 }
{ amount: u169873701000, recipient: 'SP1SQ0ZCG97S2E98MZDDC9MRFG1V3W417P67BXGXJ }
{ amount: u169837408000, recipient: 'SP2XAK6CY60ZKTAG468GQRNVKQT5EY57DPZDTZYPV } ))
(define-constant batch-23 (list { amount: u169696477000, recipient: 'SP2TC09BXH4BD60ED9GBF2KZA87CKSFC05VS2NRZE }
{ amount: u169639774000, recipient: 'SP3A5JEVY5CMQHDAPFJ5203S0W3XRMEW3237WN02F }
{ amount: u169541179000, recipient: 'SP3M3Y16J749GBKDP50QEB255H42CB0DJ02FVF4H4 }
{ amount: u169528813000, recipient: 'SP2SXKVV84F1QCJPV4DQGZJES9E5BCAR1XEGTZ06Y }
{ amount: u169525329000, recipient: 'SPCYG5V0Z2SCFD3S9BWK17Q173VFQR1VZ947FQ9W }
{ amount: u169500037000, recipient: 'SP23G2SPTY7J74XD203J2TQM7DNEW8JT3DG5E6RE0 }
{ amount: u169264445000, recipient: 'SP12D6SEAR5B8PDEH08PM2E8ZESY7GGNFX5M5Q19B }
{ amount: u168977052000, recipient: 'SP10KKR9MMVTRXP2Z1R2G3XJ64DBKWDGADW28B90G }
{ amount: u168848720000, recipient: 'SP1Y2A9C7FXEZG98Y2C8YFY850BN3EBZNJ507D327 }
{ amount: u168822891000, recipient: 'SP3H2HMCNTD65TSFP7W5V5XYN2T2EH3TT6P107G8X }
{ amount: u168798527000, recipient: 'SP21FWEA44T5AMK00CRX4TX9A62N64J3V7QK54JKB }
{ amount: u168767199000, recipient: 'SP74NF0R58MK7SESDTPNPGA2YQ1894CQD8HVVZDY }
{ amount: u168665577000, recipient: 'SP1E39AXATX1THRWPJHNSQXM998YD69A5JEQ4DB7G }
{ amount: u168452973000, recipient: 'SPXJGJKNZQH1QMQ3RKMATNZKMVQ10RQ2WJ0E1EFZ }
{ amount: u168326219000, recipient: 'SP3CEHPS4G3M4QCR2S1P04TBHMG2KTB21Z8HEQNST }
{ amount: u168235866000, recipient: 'SP1SG6Q3EXFXXF5QPDKGSZWCP9ZNDREA7M659AJD8 }
{ amount: u168192544000, recipient: 'SP1QJ77ZE4K9RNPWZH779G7H69CRSSTYWD2798NSQ }
{ amount: u168189888000, recipient: 'SP3M8W4GHJV85YYHGFZ7BHRTCAX7WN2ZRDZB17NZ }
{ amount: u168068659000, recipient: 'SP3ZSYJTQKCZNF6VT35BEXTMWRKYMWX4JWJE0BWXG }
{ amount: u168041769000, recipient: 'SPFFJ7EEHP9XGYSW17617CV5XA0WEQV41ZFKRDAD }
{ amount: u167998366000, recipient: 'SP1MZ32FJ40N8VA7YEPNV66PPXES734737PR2EM87 }
{ amount: u167957825000, recipient: 'SP2XVFPX2V7V5NXNNDM7AT6FY4SH8ZCRQ80QFEK2Z }
{ amount: u167660168000, recipient: 'SP11B5XPRHQDRHTNZ4VC7Y13601RZ6ES3B43TZAV3 }
{ amount: u167608421000, recipient: 'SPWYCE9FAMZC15J3HHWB73YQAV4HQR336KTXEXQ }
{ amount: u167554891000, recipient: 'SPGKXNY6J7X936RZ7Q42RMZQHSZWQECHH7RRBRXY }
{ amount: u167468127000, recipient: 'SP3HYFVG35TW1RF47N6RKYYDNPX6T47J6ZJB3B4PE }
{ amount: u167438656000, recipient: 'SP3R2PF3C2AP0SBPX5V02SWM7Y5CQ0NADTR5SP006 }
{ amount: u167080000000, recipient: 'SP2E18R1402QSE03F19BG9PY1QVKHHDZCT16TSYAW }
{ amount: u167066271000, recipient: 'SP3B183T385YDGAEA4WC0JYQGTV1Y6ZB5JCZNR62P }
{ amount: u166909381000, recipient: 'SP3VMEKXRQWHP92Q70M8K24J7SH3QB77V08REERXC }
{ amount: u166811219000, recipient: 'SP25V8V2QQ2K8N3JAS15Z14W4YW7ABFDZHK5ZPGW7 }
{ amount: u166730501000, recipient: 'SP2JMQFAFT5S8Z2QY3XE781E8MEZ59ZC00C2QQQYA }
{ amount: u166686626000, recipient: 'SPNGP2A0KQ5ECB9C8GYT9F6WM1EKYRH8DNHQQ0K1 }
{ amount: u166628572000, recipient: 'SP2BWTFMMRPWCTK5BPVX628EERADTP5RC16R98PKP }
{ amount: u166600000000, recipient: 'SP11ZHHFNWG99BF3SMF5HD3A9RF59FSNXFJK7CYNN }
{ amount: u166560100000, recipient: 'SP3F3TE6NV53A9X0MX9AGC9CP9KJB7H0RWKMV0ZAA }
{ amount: u166513310000, recipient: 'SP3JKJVPR13Q31PKYP357HB6RN40N4N6CJD2MW19X }
{ amount: u166501565000, recipient: 'SPP6763EFTVH056269M4NEQV2PEAVHCAY40TZHBH }
{ amount: u166488862000, recipient: 'SP22WD53ZH87Z0KJNEXM750JQ3W6SNYXWM5FEGXDW }
{ amount: u166428050000, recipient: 'SP1QV56YH9HC6918ZY4A64YTEHMT9NK9CN3WXST1H }
{ amount: u166390069000, recipient: 'SP7YE7JYPYBW93XBJA97KC5ZWNCBVT4FM9PM6WDD }
{ amount: u166349767000, recipient: 'SP247C4SSWAP2BCV7A6W25J29K9FKHSBZKPHKZ68D }
{ amount: u166274934000, recipient: 'SP1J886KE6HCP9P5547YKTQW8HWV4D6MZPECV9ZGA }
{ amount: u166192936000, recipient: 'SP1N3X2XB86G1W6JA4JKGJ1WTENM01F0YFQD7DW4K }
{ amount: u166177534000, recipient: 'SP3GQBTPQGEZ1PDYHKSB5VTEZHSS0GPCMVAFT95RP }
{ amount: u166126685000, recipient: 'SP2ZDPMMCTN8WT119X0XTA97VSHYMC332BDR4X7JN }
{ amount: u166076868000, recipient: 'SP313X8QZ7M6V0EWM0SVQ9XB965EY9YWE71BT63ZY }
{ amount: u166054572000, recipient: 'SPM0Z029MM8D2N0WMR06EKBW3WDYHSEWACKYMXCN }
{ amount: u166048000000, recipient: 'SP1MHV4J0Q9T33PS56R5G2D9WY8VB5PGRKCXWG5XQ }
{ amount: u166002570000, recipient: 'SP23BCYS2ZNEMCRK2QYPTB0RS8PKCN8WDSKP2HT8Q }
{ amount: u165911000000, recipient: 'SP3G89A7DESFSEQGCCG5NFZD5GJATH5V00R7Q4F7V }
{ amount: u165906921000, recipient: 'SP35BGY0Y1NZ1HEC5H20KTWTPJ4XZT09TB92Y860Y }
{ amount: u165864267000, recipient: 'SP1W4A6KRZF8RVYR3844HYJJ9MFJVM7GBFKDS53VH }
{ amount: u165760602000, recipient: 'SP1H6RRVDYQS4D2VEY7AZ1FD7FPBAGVRQ5WJ9RBE0 }
{ amount: u165659933000, recipient: 'SP8WXB5EPYS7XV2J58PDE4VWNPFHB0VKR0NTBSE9 }
{ amount: u165570438000, recipient: 'SP2C52XSMZ1QQ68ED3WHAXF6PZG2RKQVPT3Q8A6A0 }
{ amount: u165436369000, recipient: 'SP3HMMZQ6XG02211EN21V8PV9D9B5K347BKEN5002 }
{ amount: u165432523000, recipient: 'SP37XZWB0DWXNKMT0172HHMWCK35VBBEK19DN2YYT }
{ amount: u165320000000, recipient: 'SP142CARCJNY3EHYW35H6PHZES1AXHN04SH9CWDQ }
{ amount: u165269830000, recipient: 'SP1ED5FWBHYHN32H0MMZRQH0P19TQ48EWAJ9YZ6CW }
{ amount: u165248130000, recipient: 'SP1N8TCESAHT8C51FDT6VW3WEBZY7798FZ012SCS4 }
{ amount: u165237803000, recipient: 'SP1C0D9AW87YT0W2AEEPFMW2DNZEF44907CPP6Q28 }
{ amount: u165166943000, recipient: 'SP1TCR4MYQSV8NM2S3PM43A65FPMM9K29H33G4H0X }
{ amount: u165157006000, recipient: 'SP3H8BBEPJM2B16CPM50NVXGCS1RFK5PAYWW37SWE }
{ amount: u165130014000, recipient: 'SP1TG9V6KDKHP53R6T2P0P1YMEH2KSRMYPPQ1D41Y }
{ amount: u165115606000, recipient: 'SP270SAR0DGSBEYYB81PJEBRKK90P4SNBP4ERDFWK }
{ amount: u165064296000, recipient: 'SPT1BF6G0RF2WGW9G1MGJC0ZRA8MD6YQF6N6N1M1 }
{ amount: u165008198000, recipient: 'SP3C2WZYREATEY115EX2DFEDK2B6ZHCTHDBPJTNRA }
{ amount: u164877552000, recipient: 'SPJ1Z3RHXR69MKWHBS4Q51Q4QW4XXHJQF9609WQE }
{ amount: u164866716000, recipient: 'SPHG16YJHPYS0GTRGN4FDGEQ03B2QHR240SSWYCR }
{ amount: u164820337000, recipient: 'SPAKKMJCZDHE6X33QWJ1A9914C0KAXSHM91SR0QY }
{ amount: u164808283000, recipient: 'SP1521F1V48EDYPWR7NXPKY4J4K4A7GEQP8TMJZM6 }
{ amount: u164729576000, recipient: 'SP29J4HR1DTDCX081RXX09HBVGE807EHPGF0920X6 }
{ amount: u164684005000, recipient: 'SP3KM06FEFEZV69NMBQQPBRNMKCCR7JCW5NGZP8PS }
{ amount: u164560903000, recipient: 'SP3XKJQR4B337A7J6HEPN4SDESNR000N6389WKXB9 }
{ amount: u164544000000, recipient: 'SP24ABEMD9502JD1TQ7ZV1M6474QBT5DB95RCFAH5 }
{ amount: u164478648000, recipient: 'SP8PN6Y4X57DY6HNGD5Z8X12QB0AH1QWPJRVHTM8 }
{ amount: u164448083000, recipient: 'SP21F9X20AXC2KFVSGXHZVZHQ1T7PR2P7WAYYB78E }
{ amount: u164447275000, recipient: 'SP3VXK2P8X0QZSXSWF3K2963ZZRY41M0EE2Z0CBQX }
{ amount: u164415500000, recipient: 'SPDM62RC5X3DBJ208JDKP1129M3H8EACYZZW5F6N }
{ amount: u164396024000, recipient: 'SP2CNFZRRYN73H80A5C6N3NVVZXS6PE54HPQ3NXZF }
{ amount: u164341924000, recipient: 'SP11M538H7XBP9SYFBQ3HJZ570YMJ02A5GH5Q8B8 }
{ amount: u164274450000, recipient: 'SPE0WHQND79B11GR94NQM3Y5FGA4N2YRFAC2RYKQ }
{ amount: u164128031000, recipient: 'SPMZH3CEHNYAV2QAV6YGJFHKWFCDJV2N6QZG1G1Z }
{ amount: u163889563000, recipient: 'SP1YN0PQQPFBX54VSRRZ89J844C5CWV6DBEW47DYD }
{ amount: u163826180000, recipient: 'SP2GB9Y95PSTYCGV31D7A2MB51PHBT6PFEW10N5B }
{ amount: u163690340000, recipient: 'SP2P2FM50WKK9DV9WX4M1N66BBCZJ117D4ESKQN1P }
{ amount: u163513884000, recipient: 'SP1TWMGFHD6KS4Z960MKFBANFN42X5EER8VZ03J40 }
{ amount: u163493616000, recipient: 'SPVA4TAWVV24N6A93VG8KZYK32A0VKP4J88N0QV4 }
{ amount: u163371294000, recipient: 'SP3J8CWK0HBM6MY32CCG2YHNNB1C3GQKZERKPAXC5 }
{ amount: u163329946000, recipient: 'SPQKZZWS80MBHC53WCK821MM2ZWTF2PF4JVMW66S }
{ amount: u163298099000, recipient: 'SP2JVB44M39020KH1RX84JCXC3PZA58VDZ7ZK35GK }
{ amount: u163195708000, recipient: 'SP2E1ZCMNRKQBYYWMFBZAR6XEWDR4KAZZZZSW0NAA }
{ amount: u163133000000, recipient: 'SP3E75GGQJ7TP801BPNM1CBQBHREMK2M3HQ909B0Z }
{ amount: u163123000000, recipient: 'SP37YSX75W114R6HRDH2630J473VQEF32BY9AK73G }
{ amount: u163016476000, recipient: 'SPRS0N4V5AT29AT6KPX9ZEE5G6FRNPA1V7GKATZ9 }
{ amount: u162905673000, recipient: 'SP3HB19DAQX0K4C701JQ20XD6K2M7H94VR34GH6HX }
{ amount: u162869634000, recipient: 'SP268VXKAWK3GC5WEYE17GDEK9PFSPR3RADGAR6NJ }
{ amount: u162788354000, recipient: 'SP3JMYM2NR70G7HNP19P8P595EC17RSHZHPA3WAEP }
{ amount: u162757886000, recipient: 'SP3CTKGE7XZTWT3GD2EK7DTM5JVD60M130MJPW74W }
{ amount: u162743726000, recipient: 'SPHVRRVP4T22ARKXMQDCET5WE88TCAFK4EP0KRA1 }
{ amount: u162602864000, recipient: 'SPZAA0C4P258YJ11ZHRJ986KN8V8X2JAQ0K7J1EF }
{ amount: u162561309000, recipient: 'SP1VJ68V0CWQFJDJZG413DKVKBK66BBKK0TTKBCPG }
{ amount: u162519588000, recipient: 'SP1K8R30VRDGZ4893KE5N323P6A7DNPS6N4K7W2QP }
{ amount: u162458336000, recipient: 'SP2X2N3HT1K1TF1DTYYQ0FFM8YK1SAJJ6WRT156K6 }
{ amount: u162392253000, recipient: 'SP2G8MFSHEEB3W41FQ4H8DBQN2JJNDRMRN12BJBW3 }
{ amount: u161992692000, recipient: 'SPJ8VC4DDR71FPKDD3HM1R4JV10NGAVAWYWMV6VW }
{ amount: u161991854000, recipient: 'SPNFG66D0TYSES82P6WGXCXG6T8R45QDGVH5JKTC }
{ amount: u161989737000, recipient: 'SP1R8F1GVCJNRG3FEY3XVRVPXV9Q8W50MGATCA44H }
{ amount: u161982003000, recipient: 'SP2E5TW2R175S9109ZJBF1C079YBWYDFSNPH2JP1E }
{ amount: u161977000000, recipient: 'SP3PQ4DT37PS5GB3E3GETEWN9206STE1BVSECEZ50 }
{ amount: u161949120000, recipient: 'SP2R9XWJXPZ2QXRQ2ATDJ6QF7S9ZF35N5QYPQPGBC }
{ amount: u161787269000, recipient: 'SP1Q89DHGF4HYV7FM0D87JNVVSRZPE87NBQEJ9BQK }
{ amount: u161775960000, recipient: 'SP3TK8Q0W97GG7MGBXD1BYEG9FFVD8690T7QR409Q }
{ amount: u161748304000, recipient: 'SPJCSG2ZJD95JR4QG9Z0EP786WN7T3CAF7GKBD01 }
{ amount: u161725078000, recipient: 'SP317CC188T3MVRS8RBCHYC9377RP6A8MS3VACS4J }
{ amount: u161689452000, recipient: 'SP33G8J6MA9663A1VNVNR21MXHXXWAQAH41V6P7NB }
{ amount: u161557334000, recipient: 'SP310VPG5A9YN3PS7NTSAEBEPX3E8H0HE8MACVTKZ }
{ amount: u161494927000, recipient: 'SP1Q5F1ESJT31P4DXVEFWW4FTZCY6XVR3HMKJZ545 }
{ amount: u161436402000, recipient: 'SP329CWEYNZA8CRRD7Y0W8SZXYPA1G8FJ0J367NT2 }
{ amount: u161423386000, recipient: 'SP2GCDMA726Z07K7FJVNB7ADZE39F7RX6XC99V600 }
{ amount: u161303741000, recipient: 'SP1NF3Z3Y0YG6X8HM4BXE1D1TXKVEN6VYFAWK0QQM }
{ amount: u161287269000, recipient: 'SP1GZHT2CYJB2E64PYV6FK30WZR1RV3ZVAPCG0EG6 }
{ amount: u161274901000, recipient: 'SP1FCDR945R5FKVJJJYHHVVF4CN603NA9NA9MNYSX }
{ amount: u161191133000, recipient: 'SP3XN1BC1K7MQV4RSJDBX96YVPQDXA5BABF061K2H }
{ amount: u161173681000, recipient: 'SP3RBH6CXRTPSB9JV6CA5QC9JR831QST7KQ12MT60 }
{ amount: u161084000000, recipient: 'SP21F90YWER7KEVGTBPNQWT3KNM02EM3TM8B7MH1M }
{ amount: u161019678000, recipient: 'SP5Y9TPP89TY6SQQ9CTTH262DNV9ZWC3G6HXJH4N }
{ amount: u160869272000, recipient: 'SPG8NB7MFQQJV4VG81QQ45R4E9P71Q9WCNZ1RNS7 }
{ amount: u160825244000, recipient: 'SP7ZGGMQXVFM9W05Z2CMCKNAD5PPEXRTB9TEGKX0 }
{ amount: u160752597000, recipient: 'SP31AM97TJGFE7T9BCPCZSSJH2K4CVZ6SG545V8EB }
{ amount: u160554496000, recipient: 'SPH9ZEXMSZA9JHSAEC4T530Z2SSQVEJGZGNRZFBW }
{ amount: u160527447000, recipient: 'SP6RMA0J287S9X5WZM9P0DY9GCTDFE4ZHNQQJSZ9 }
{ amount: u160486330000, recipient: 'SPZ8E2WXJJF5MV7ZT7JQHHH98QYZVAEDJJWS3WG9 }
{ amount: u160296655000, recipient: 'SP25KT0EDV8C858RHM9AVQ44KZQ0JPT1J2SH21AR9 }
{ amount: u160214005000, recipient: 'SP38PNP5MN91V3AKSTWQ08ZRHCD937112GJ7QX5VN }
{ amount: u160166426000, recipient: 'SP2MKRVAZ7QQZEQF2SC51HEN7BG6Z0XM1BEXJDEZY }
{ amount: u160137735000, recipient: 'SP2F59C2F3S24Z1S9ECS3KDCPF9YYD611APN8KPZA }
{ amount: u160114771000, recipient: 'SP1HPBMCWR8QH4MV3C8BCC0KZJ8N3FMP2HT2GH8G3 }
{ amount: u160028880000, recipient: 'SP33QK1X8J96QV300R580VZ1D8HAWSS0EZ9H9SH06 }
{ amount: u159938610000, recipient: 'SPMD2ES75KVPJZND4V74J9P1AVNEDQDMF32WWBN1 }
{ amount: u159896537000, recipient: 'SPP8RSSBANZV5E42C2W42ZX4B9G0JGAPFVJ276AC }
{ amount: u159216092000, recipient: 'SP1P099H2VZ6E204SWSR1GFT3WJETKR5Q8RTV5V71 }
{ amount: u159179797000, recipient: 'SPB55DK5S0D0HJS13DNADZTZQGQVD5BPTMSTYSKS }
{ amount: u159076820000, recipient: 'SP3N4E59D0XPRZ4PCE3Q0Q2Y24MG2AEJHB921FC7P }
{ amount: u158968654000, recipient: 'SP2WR6DENMV2WAWNQHGKAMK378F6W9N29BG00K06Y }
{ amount: u158961269000, recipient: 'SP3WRCPKH0QAQMQ394273YTH1FZRMG65YMY101C7X }
{ amount: u158703239000, recipient: 'SP3FR66KCG0MG450S181GWNGK3M9D42QCK6N4E55T }
{ amount: u158610497000, recipient: 'SP24A8ATHNT848TV43KK4M9T7QDCXB0T73VSVKGFW }
{ amount: u158442836000, recipient: 'SP38TD0XQWFYQSFJBKAH7HN89XCA6J66HBJH9NCWH }
{ amount: u158381771000, recipient: 'SP80AEPQQN61YAA0088F4PENWCG6HNWZ3WFQFTG1 }
{ amount: u158344861000, recipient: 'SP1TSTAVZH4X0N6YB9J7GZ52Q7AE0YJMHKJZ598TN }
{ amount: u158280616000, recipient: 'SP1NWYH0FBW7JWVKB0D3S5KNAQT6APDZQMTGDGHCH }
{ amount: u158278779000, recipient: 'SP2148Y7446EH8M7NH1J37ZWNPYF7XNT21FRWYE6E }
{ amount: u158262345000, recipient: 'SPG9XC1F7ESXDW3V2XZ5NMV0XKZS0W157MBCNPPM }
{ amount: u158199245000, recipient: 'SP3GMVPF5WSRFVV8WQ6P0M4VZFMC46R5MRA6P34EE }
{ amount: u158198933000, recipient: 'SP1AE5M08M97CQ56W9B3Z7MR6YMWWEVRZX91FQZ29 }
{ amount: u158079952000, recipient: 'SP1RKAJNEPNGZG2N3AA0473EHFSM2ZMY8GAMW8583 }
{ amount: u158052888000, recipient: 'SP331A0ZQGWBQ1PB60TD9G38BE4MY52EXXW337VZX }
{ amount: u158038002000, recipient: 'SP1XBPD9J400WWD556HR4PX4AM7J8KJWQ2XY7AAAJ }
{ amount: u157999857000, recipient: 'SP33ZHJ8ZSD6YS4J6ZKJX3PC3TDP26DSV61EV3HDM }
{ amount: u157977237000, recipient: 'SPS1M4M0R7EQ33FB8QTKQYEK80QBDFG7YHNPVT60 }
{ amount: u157959000000, recipient: 'SP3PK5S161HW53DQJNZYYMA1B2A4026M3MEFQZ5D4 }
{ amount: u157957563000, recipient: 'SP17B09VAFASCVMVZSRXWBPQ48VCBW4J2YBW5A71R }
{ amount: u157927707000, recipient: 'SPP8RSS7WXGNRC9XQXJKGNW1ZY74DW3V0Q5KMDVT }
{ amount: u157772000000, recipient: 'SP29Q69SJ2069XYJ9FS46CM7CYQCY7PQ8KYJY2KED }
{ amount: u157749000000, recipient: 'SP1DKG1CPZ4EQVWKHHAXHAGJGS9EHBEFB3KJCF4QN }
{ amount: u157741985000, recipient: 'SP2SXWVHD4GQX9S9FMC3WP5JZ50JK0JEMS4R87N3H }
{ amount: u157653786000, recipient: 'SP3DPHXR36ZV4GWKEBZVFG6EHX8DRNHAKSYG4KVVE }
{ amount: u157532371000, recipient: 'SP30HTCY5M667AGJAW2RPYGQ8RYSV4XGCT23X9HS8 }
{ amount: u157465000000, recipient: 'SP1Z8N4N4B6CY6NJ3059HHJXXY2TJKSWRHW826JY5 }
{ amount: u157186105000, recipient: 'SPS85TQ0JJ6QGZK5T3K2NY84R1PPN97FA3EK09CW }
{ amount: u157155632000, recipient: 'SPBJTE6CD7RJJQVAVY4XS1FQ0K72DTW2R4KEAVKB }
{ amount: u157150721000, recipient: 'SP3K64NKFF4WHV9JYVFR8DK3BYBZB9H78QS6Z7BT5 }
{ amount: u157144404000, recipient: 'SP3Y7DD17K5XNFZV1BQZC0YEYZZGXVAE6QNJB204A }
{ amount: u157068020000, recipient: 'SP1Y3GN2R1ZDER6SA5F0KG3HZJ67VKS76D6H2HX0X }
{ amount: u156998026000, recipient: 'SP1H8BXDC221FFPF0Y4SEDFJ6EM1BQKQPWZT3CSB }
{ amount: u156942618000, recipient: 'SP3PFZA1M8G964TEPHCWZWNNFV7284WERBJ9CAWK7 }
{ amount: u156850148000, recipient: 'SP3YJS4QAQY92QHB53DX4A9NDK80YKRV49P8X8FA5 }
{ amount: u156802328000, recipient: 'SP2EMYH0XQWJ1GZ036JCS9CA9S97KCN6W8A6RDSFB }
{ amount: u156697366000, recipient: 'SP1Q4BVKN51E3ABV31GPZB835SDXXEY1HNWWXBKDZ }
{ amount: u156676410000, recipient: 'SP2B82MXWDD4Y5XWYWQZKMYESWEE99WHERZQJAMAV }
{ amount: u156591601000, recipient: 'SP1G1K83HYGRDPP238K4ZVQTG6J8NFYZYMSYV2C73 }
{ amount: u156483419000, recipient: 'SP1RX8R5TD6D1D61EGF4RP8CMNYYP13SN9KCJ0AF2 }
{ amount: u156423000000, recipient: 'SP3DPRD1KY7JGGD5ADVVDA90JDWET3V93F2VM3NVS }
{ amount: u156370934000, recipient: 'SP3191G04XQXTJDEDW410RYJZH107W1CFSC74Y3Y9 }
{ amount: u156289359000, recipient: 'SP3A2FH4QMSB82X950AJMNZZRKEJ8642B3WJYT1RA }
{ amount: u156261909000, recipient: 'SP4YRD8180BV77H0FGTX3ZTFF0Z2TKM2NEDQ84TQ }
{ amount: u156255531000, recipient: 'SP38VZ1NFX3MM4ZMKT4K3T25G1KNK7W9F6SFD5KSV }
{ amount: u156052606000, recipient: 'SP3575D3BH7ZPZFW16NTC9GT96RMDXPW0JT56V75Y }
{ amount: u156051073000, recipient: 'SPD5J4A91K45XY18QED577CKPCZD4W5WVQAKE5WP }
{ amount: u156042068000, recipient: 'SP25C9PB9CQPQ7BMQ1JC63JH1Z8NZKTPJJH8BFQZ7 }
{ amount: u155896439000, recipient: 'SP16B1XF2EC4NZRCM7262366H8MMBHSWRT6TRX2S0 }
{ amount: u155772788000, recipient: 'SP1RRDH96VN1PYNN65QKW7GFY4S36PXTX95VQ2FCJ }
{ amount: u155670417000, recipient: 'SP10SFERW4RHR7HRJGRMCNA76EJS68W325GJPGN3W }
{ amount: u155567660000, recipient: 'SP14K6X313CY0ZVPTJACN73AV6J5J24KVFHJ9JN0N }
{ amount: u155508046000, recipient: 'SP3VYQF574C1353661NZ23J1TDBBT88X5ATER72Y }
{ amount: u155507841000, recipient: 'SP2H46BBK7B0ZS1TPHQZ0AQWBYM57HCBQQVKA46KX }
{ amount: u155475901000, recipient: 'SP2EC697ZQBW29QX7GJ0PDVKRQ1ZEMVM6R5F8PCBV }
{ amount: u155404777000, recipient: 'SP1Q9HJV7W0MZ3KSHZ6G4B34SJ3M6KT50KZR9E2PB } ))
(define-constant batch-24 (list { amount: u155401013000, recipient: 'SP8H5F3K4DEHNQKKTE1X8P8S5YKMAPB2X5H6JPJB }
{ amount: u155357553000, recipient: 'SPRFVC3EEQHEH435769XDSPZ4K6JGTD9C8DH571E }
{ amount: u155353686000, recipient: 'SP3AADSP6PKZTJRCR6W9EKVV9P1E2T5X41R9G19AM }
{ amount: u155311050000, recipient: 'SPKM0QP1TXNB6SN5MZSYJ57R68R9JQ86891MZ777 }
{ amount: u155300005000, recipient: 'SP3FWZ6MQGAVAQPQV7Y6NP0NEDYSCV3P1F7RXN7CW }
{ amount: u155261428000, recipient: 'SP1N8BXHWKRQC2DGQT2R0EZ3M649MFTH029X0RJ0T }
{ amount: u154834323000, recipient: 'SP3C48SR82TBEG9MHXF2C6D1GYRP1E72JE7C7EFF8 }
{ amount: u154804261000, recipient: 'SP2R9MEWJX8M2037VVKK3D8WPSQ2YWND2X3R7WJBN }
{ amount: u154724378000, recipient: 'SP29VNFJSECW9KD6MQH2A130Q1DRP26W11HDJA0R3 }
{ amount: u154717894000, recipient: 'SP1ECGPZZPV1HYTGC0H5VJTKCJS1N8CYZCT7CDG86 }
{ amount: u154655873000, recipient: 'SP17YP1HGWK7DP5Q69GRG14W34E078S4D78YM1FA5 }
{ amount: u154649668000, recipient: 'SPNCZEQE8RV2CW0ZVTEYE6QH0R2KB6WW5S6VNKBW }
{ amount: u154625745000, recipient: 'SP29A2QVXKR01S9Q51MNEB69JKZKZMDJ2HQTPBK7P }
{ amount: u154457533000, recipient: 'SP36RRB376JZV5TKCD1JKQ52EX21PXN3E2MZ39WX9 }
{ amount: u154295099000, recipient: 'SP2BVAD6DH63DSA4Q3JGYZF6BWGQXYQGHP34QM99X }
{ amount: u154220511000, recipient: 'SPS38KDTTTFYRN25FRN5P6DHSZR9494Y1HCN9MQH }
{ amount: u154177889000, recipient: 'SP3N65WBGPRG16CKWV6K6ZMANSNM8Q7FW2JWDZBX1 }
{ amount: u154046794000, recipient: 'SP2637J81TYRZDP4MXDQD44REHY1A6NG0W1X2PWBT }
{ amount: u154038018000, recipient: 'SP1TTT06DB5X6JJZZDSWD5W8Z3HCDVDAHGKV4QJ0R }
{ amount: u153978940000, recipient: 'SP2XXWVM3C7HHWXJSXDXEMRTAX74R0JNSVEKM0HKX }
{ amount: u153826333000, recipient: 'SP1QWHXZ5X7MEWP2A902H9G1YHD6R76878XZS7P67 }
{ amount: u153784091000, recipient: 'SP1W1WTTK5P4JJJWXDQEWW4S02TQ276Q3J9KX8107 }
{ amount: u153666958000, recipient: 'SP1QWH6PK6ZAC2GG2DN47V8NB0JEVFPFDQVB9YZ8K }
{ amount: u153363754000, recipient: 'SPGB2AKZ6WQTDJS1Z3C173Y4QKTBAF9Y0DYBH8XY }
{ amount: u153250042000, recipient: 'SP2HY3ZNRF1ZA202KQKW7C59M24QR0NZ2NXWSBBP3 }
{ amount: u153215591000, recipient: 'SP29YCWJ8XX5CX6J24QEVTY45S3HK5XHK2KDXZFYB }
{ amount: u153064167000, recipient: 'SP2STNCT59TDVXKBEWYTS94JAX474VNB5W3FYV1QK }
{ amount: u152865141000, recipient: 'SP2BR695BMDE7FT933B3H159XB0KVVRZ9WNS52V4D }
{ amount: u152564549000, recipient: 'SP1WMHZSGSFDX13SKD4W91J20134ENJEGDZ2DR3MX }
{ amount: u152563255000, recipient: 'SP1NP2ADCQCXE34Q9KM8RBFTK771ET7V3DY5MWHTG }
{ amount: u152479531000, recipient: 'SP10CS5V0697CQXH0EWAEXQ7HR2H1J21PTRGKTG98 }
{ amount: u152429440000, recipient: 'SP39DG4QQZT6GGDYB358N6QN7ZN0FGWQQXD03NVCG }
{ amount: u152281508000, recipient: 'SPHRXNWH5KTZT09W91J9DNCYVSPB5FQ972PHG0XX }
{ amount: u151968140000, recipient: 'SP1NS3FHAZWVBN35XH7FGYTWHXER3MT1JCDJ2KRMR }
{ amount: u151879246000, recipient: 'SP1VX5X6814JNSEW904W28TR4RFNNRCCE471DD8WX }
{ amount: u151872564000, recipient: 'SP1ECA5M0E3NEYGGV8PNY61VEDA20QPVN23P8HTVS }
{ amount: u151731095000, recipient: 'SP3QB6MD2H0F0BK17W12QRN7BY0Y5V8QB4THXTBVG }
{ amount: u151722493000, recipient: 'SP18QWM087PHZ69QYJMNNQC6Q79163XJQVSGBG3ZH }
{ amount: u151596713000, recipient: 'SPF21TC4HMZY5NGKV8PC38CH7XHPC83VA4CVATPJ }
{ amount: u151538840000, recipient: 'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48 }
{ amount: u151405839000, recipient: 'SP7HG5F4MXNRYH3X3ENS9W9MVNB14M1VQ574P0WR }
{ amount: u151259432000, recipient: 'SP3WR087301M0FYZBEERVYM0JHJ64V83AXX9GDRDH }
{ amount: u151255961000, recipient: 'SPV4FCAZZNPRBBESS4761NNCCQC587EXY6QT96PK }
{ amount: u151189144000, recipient: 'SP3Z0BHS0SVP5733GDZ2RWJV1G2EW04PFN2NSX3PK }
{ amount: u151175345000, recipient: 'SP1H8ZCM8D09RADXWZ17EZRPWT8SFD4PRFC2E1JH1 }
{ amount: u151043419000, recipient: 'SP216V3Z043TDM1TGSF2MRGBPRGNE6TNAD3EF8K0X }
{ amount: u150977282000, recipient: 'SP7EBX7WCRV110939WC2S7481D63JB5VFBJTE1ZY }
{ amount: u150960462000, recipient: 'SP3CNCHRNW3PBTDJX90WEVP3SYTD24SKX56BSZYCC }
{ amount: u150757160000, recipient: 'SP3VAM1CP2F0S63MZ8J7EHD4A8DMCB7QXZ9R20MDP }
{ amount: u150604419000, recipient: 'SP35X7WMCVZ7KN1T3PFEMV8ABY7SMB6ZTVJ0WEGYM }
{ amount: u150534729000, recipient: 'SP241SZ8KHEE3E1XW7KSASEAE841T25P7300AXSRT }
{ amount: u150534585000, recipient: 'SP1EGMGWM8SK1RDJ79Y6DZE0MC113AJQ5JJAF551X }
{ amount: u150486031000, recipient: 'SPF0R0TSWBVRVWZH5X2XB5DJ55JQ8EJGBS03REYB }
{ amount: u150480099000, recipient: 'SP2RZMNZA285HZ8QNW1DJX0HWC131VEM4WWH1RB56 }
{ amount: u150326083000, recipient: 'SP2DXQG2WB59GTTRNPK12BFSQTCR039H4MYK8Y1Q5 }
{ amount: u150276933000, recipient: 'SP2EMWG10M1SPZ4HRP4D2N9S7GNHRHC4P0ZZ6HBWB }
{ amount: u150144648000, recipient: 'SP3B7A59TCS2FE4A2Z74AD97TG3PXYSY068Z16AE9 }
{ amount: u150075000000, recipient: 'SP233H0GCYM1WTJAT8ZV317EQAVYWYDAHWWAR7AFS }
{ amount: u149976590000, recipient: 'SP0E97R3G5253QGFCXDJ3Q4NHDTFA6C7CHM2YVMZ }
{ amount: u149776613000, recipient: 'SP1PB67S2KC1G2JNED05T6XS5MHPW1CJPD0C3437 }
{ amount: u149753000000, recipient: 'SPD1NA873NHVM03JWRYN6QGX2VQHR2ZYMCCPEWVS }
{ amount: u149656563000, recipient: 'SP2G6J92Y1EP81PMJWT0DJ8KZ3HR166G806SE9J07 }
{ amount: u149500000000, recipient: 'SP36X7JKM1W9ZAFDB406V6NFKAG3GEK42ZSS4VWW9 }
{ amount: u149486477000, recipient: 'SP329H7WNCV2ZDWVAJBGCB90QEXVD57CEKZR6NJ82 }
{ amount: u149436327000, recipient: 'SP32RPCHDVRF6DZ0CD298T6VGGFFBCG14A4PQMZYX }
{ amount: u149435846000, recipient: 'SP2P7BT3YZ1S1DEQJ2SMEJT6AJNSNRN1QDTAN9TNJ }
{ amount: u149383881000, recipient: 'SP24478XYAB7DZF7850JWVYQRGGRKDWXF7WKKRY30 }
{ amount: u149368972000, recipient: 'SP3AXMP2CSAE0DN5V701R7HRPJ5M9XS8EET31JG9Z }
{ amount: u149275497000, recipient: 'SP2JXPJC6T0EP852YPDCA4V7NBHZ6MYV6GAQ434W3 }
{ amount: u149229893000, recipient: 'SP3A60EFDPKJZRW51K6RYX61PW5KMERHRSPQQWE6C }
{ amount: u149190836000, recipient: 'SP1BHQJ6NECTHRV48J2YBBHWMYA64JGGG7105AD9V }
{ amount: u149161621000, recipient: 'SP1T57BQZ9K2GAFTC8NHTSPVAJB5PX72B8GGVNMK }
{ amount: u149108434000, recipient: 'SP3N7TQTXDSFACCYBD5VG7V6G53RF559W6SZZRJH3 }
{ amount: u148821176000, recipient: 'SP12TBK8MDHDAX0BG6M49ZZGVNCFCM96XK5B7X37Z }
{ amount: u148661148000, recipient: 'SP359T4GZ1ZM9QTDMZD1Z5TS3J5FN23KJA3B9GHX6 }
{ amount: u148642907000, recipient: 'SP32C3WY6TAM32ZXRK3ZQ7S265767V4RS0C90ZQZ2 }
{ amount: u148503757000, recipient: 'SP3JXXEF566CYAAMNT7GVW0YXZW426YMKPZVD6K53 }
{ amount: u148483076000, recipient: 'SP1XMCZK0A0C148WB294BP9CHZRRNGFVN119AVR82 }
{ amount: u148401082000, recipient: 'SP1KC3BEGRFE9CNV1Q6G3H3TBAA36Q4TZGRS6J322 }
{ amount: u148377715000, recipient: 'SP1XFBER21SQ5H7M0VMRZ6P3GMHDWFK4EY4F6VCY3 }
{ amount: u148280504000, recipient: 'SPBNBDF7KMRCHT12EPBJMWGDDSF518WQ3XZZVZV8 }
{ amount: u148273221000, recipient: 'SP2SF32Y4NBH7V4XCQBDTP5TW0KRXE2V2B4M60JYC }
{ amount: u148252738000, recipient: 'SP3JV1AW3MH46E0PFGMF98JGST906YENSYWXTKP0C }
{ amount: u148211839000, recipient: 'SP7CBG2G20N4VWSEK6GAGRHKP0SK7W08WC9F081X }
{ amount: u148182680000, recipient: 'SP1D2530EFJY7PG7EM96ZF6TEQVNVA830Z5Q56Z9A }
{ amount: u148157026000, recipient: 'SP1VKEVK39KZTA7T95XTYX3ACXBSDBDQC3HECH4QA }
{ amount: u148096036000, recipient: 'SP2VYYR578P0J613HFCT1QGVFK8CP8T13ANVXMQ78 }
{ amount: u148048495000, recipient: 'SP302GRJS1ZKSD9ZGXPWZG6Z876CH45B0KBCF7XAC }
{ amount: u148031888000, recipient: 'SPE6M71Z9T87N4GE15AD9AWXRWZXF592AT770FST }
{ amount: u148025555000, recipient: 'SP38KNCFXBRE1X3HJH6KBKKZD40N1VEJ3P6RHEGWG }
{ amount: u148012843000, recipient: 'SP178DCFP9TW38XG40WC8W7E88EF6P7QEW1KWYNVH }
{ amount: u147984163000, recipient: 'SP1AJS1974499X1KD93EPTCVBT0FVM7KBPFT7CMJ3 }
{ amount: u147908294000, recipient: 'SPPY8NYBRVP5X4SKNWB4KFMRGBX499WZZSVKSGQC }
{ amount: u147691871000, recipient: 'SP3PH8F9RVC84W4WZ9K22ZM4DEVZ4VA0EWW1CWWHX }
{ amount: u147685407000, recipient: 'SP2D79VQYTRYHCQZDV66Z8DG5PZJ6HMN7XRK2X6Q7 }
{ amount: u147660448000, recipient: 'SP1S47VD5142TXYTTF9XF1YVAG5JX94HTXKD5PYWM }
{ amount: u147633157000, recipient: 'SP1N3960NY1GRZK2891YZBM0BJ39A8V5M2TWC979H }
{ amount: u147339322000, recipient: 'SPKEFAGMYSZZ6XKCMD25SCYM01ZB2H941ZQVTREZ }
{ amount: u147281507000, recipient: 'SP30Y9TC1Y1XPMJ5GR0N63NW4ANH7B5SRM2KXC572 }
{ amount: u147278529000, recipient: 'SP112M4KNG487TVR5HGBVTBN3JM43E0R2TF18TVDR }
{ amount: u147240432000, recipient: 'SP3QFK1AD9Z9862H08W84X2V6A7Q1F51ES9AAEWDJ }
{ amount: u147223000000, recipient: 'SPTWKQ6R4XWY32Q2WBZFK2D880GG6F75M11JA99D }
{ amount: u147192215000, recipient: 'SP2H40R0GDX82SV2HY7T86TETNHKG2C502712C5K0 }
{ amount: u147022357000, recipient: 'SP3TBEF4JGD8CSANY2APH6ZRKK5V62CQAPDJ3RSZQ }
{ amount: u146902719000, recipient: 'SP3RZHE3EPZMVKJ9090YW1JMS07E231REGTTB2Y6Z }
{ amount: u146845605000, recipient: 'SP1T1Q3R72DW12SARCJKC32SJC7MNXQ8ARETCKAZC }
{ amount: u146823007000, recipient: 'SP1XAVFK2XF7G52RFHJAN5S74EB0VV28V038JGVKP }
{ amount: u146688755000, recipient: 'SP33STBE7SHKH24S61XCESH1QESAH0BH7XAKF6TRJ }
{ amount: u146669807000, recipient: 'SP2QBWGJSP2JQPDVER7CMCNNPQZE44WWSDN4FG72E }
{ amount: u146632913000, recipient: 'SP2G37HWR5QFPA73B3MX471CPKG7R8EFAP907CYTS }
{ amount: u146616710000, recipient: 'SPK96HTX8CGM4HV7TQ9ZZ6XVXW9B0E1Y103KBPZ9 }
{ amount: u146561794000, recipient: 'SP2VS21FY2SK82TT3FWCXVRWPRHRYEW42EDWRV16D }
{ amount: u146463671000, recipient: 'SP2WC112DEJR44WVAX5A2WZ21VCTTVMY000AJKKYT }
{ amount: u146430111000, recipient: 'SP3T9NQEGXH18STZVABD42RJSWC630ZQ9N62XZ09 }
{ amount: u146144729000, recipient: 'SP2DX1D7TJV61PAYQAATZJS7J4VEP4M62TAH1JYAA }
{ amount: u145986596000, recipient: 'SP2V85339342JSF9VSAJFN2WW8Z6SX1PZQ4XD9HKB }
{ amount: u145918600000, recipient: 'SPV3BHCB2HVVQ17FKPX142SY1F05W8EEHF4XZ6DH }
{ amount: u145821484000, recipient: 'SP34ZXP3AX8QNASBCC7HX7XR1WNWYP47J3NS3CPKX }
{ amount: u145805303000, recipient: 'SP3H6XEFGB5CKEKTJ819BP29NCVWXKX427BXD1QCX }
{ amount: u145801940000, recipient: 'SPR47JA8P9FHJ5A9DC3SSH2MDEHY8N82SHY9GEVY }
{ amount: u145455376000, recipient: 'SP1K7MZK8W4QG46CZM02GK9GZXDHT7RJDJAA3WGTP }
{ amount: u145401503000, recipient: 'SP3ZWRT7RFSH95SM7N30HAKPW0JW4EW1E591W1WN9 }
{ amount: u145391879000, recipient: 'SP1YTGXFJMF0A2E2Q8ZPGXHME1WZCPTE52PTJY8BD }
{ amount: u145151934000, recipient: 'SP27GYEP2H3ZG0JM1PH5TH6NVMC3J9FFSM1S4K7R8 }
{ amount: u145111440000, recipient: 'SP1VMXNS6KP3P1HMXA3WHB871XHDCJ467NSC9GZP9 }
{ amount: u145064329000, recipient: 'SP22VG32W1ZE4K45ABG9W40Q8JGMNRBRE65Y9DF3X }
{ amount: u144996137000, recipient: 'SP19V2KHSAAKZM807JJA63XPB1QRDAGBCM0EZ4JSM }
{ amount: u144949729000, recipient: 'SP11F09DT5HFYN7Z5HG15QXW0CMD40T2XJYY0G5AB }
{ amount: u144867873000, recipient: 'SP1DQGH1PVXZBYP0ZACNKEGRDF7025XV4SNG7DE5K }
{ amount: u144845775000, recipient: 'SP08TD05ST2W4WAKWB34DG6HEC3F44NWTK4XQ794 }
{ amount: u144629534000, recipient: 'SP3AN4AK9W2KN9BQAGVQV6MPTCYDP40D4RMNJV8R8 }
{ amount: u144587304000, recipient: 'SP25M7970PKQ26VE9RZN9BPVBFBXQZT42K8MQ436D }
{ amount: u144565664000, recipient: 'SP342806PVW513Z0RJ7Q04TFGK702BNGT36HZDJWM }
{ amount: u144521045000, recipient: 'SP15W9HKM9T1AZVYT2AM21A6RZGW67CGF92RRN2T7 }
{ amount: u144511755000, recipient: 'SP3XB4FH25AD6KX7JMR4ZHSBAZ7NZ8CMGYXD8F05Q }
{ amount: u144274690000, recipient: 'SPJZKJTTSAN2YMXHPF0YZ12HGC8VZ4V82C6VPYHK }
{ amount: u144268088000, recipient: 'SP1PZHQW4NM1526ZHP297N16K4X51D0A62YZHHBVT }
{ amount: u144256385000, recipient: 'SP3RW5PQTCWWWNZG1N55G5CK0YJWQQZBED3XHASFJ }
{ amount: u144090276000, recipient: 'SP104AH42CKHEPH0BYZEXPXQDHPNBW0YB6A3V0QKS }
{ amount: u144018175000, recipient: 'SP16Q2BW44SD55192QGXEZH5G4JC390VVA4CSWW05 }
{ amount: u143971302000, recipient: 'SP2HC3RNCCREASJWFH3M2H6QZZAB1FM85S9XST6MW }
{ amount: u143926133000, recipient: 'SP95DEXW4W04Y4X9EG8BBCRPSC77GGQ6Y7PSTNDV }
{ amount: u143802944000, recipient: 'SP364N4MVNZN500S0WQP7KN4KK897EXFVC51DWX1 }
{ amount: u143779446000, recipient: 'SPTXZ2V1R5QY928KG04P460QN7RY0EZA6D45B6GV }
{ amount: u143703749000, recipient: 'SP29PNEGF12HYZ5R12GSPXD98E13H73NN8NVA6874 }
{ amount: u143679623000, recipient: 'SP1SX6XC7ZF4TCQPEF9MR20P9PXGZZ5M62F3JDBB3 }
{ amount: u143634131000, recipient: 'SP346H4Y8J4MG3E4RMCWT3DJTQ391336Y000SH1V3 }
{ amount: u143533429000, recipient: 'SP36JX4J7QG589HQTRDDR00NDN3MTDPBX7ZS9C1K0 }
{ amount: u143508541000, recipient: 'SPYDBXCA57BEDEN4523D6Q8WJ6JCKFJTYYJEBX60 }
{ amount: u143462860000, recipient: 'SP2R382T1YEHJSXNX3950DGSF5NSGQCXH46V0WE60 }
{ amount: u143359873000, recipient: 'SP2S54H2J6F6WK0RQ30PGRE3W1VMFXBABZ9Z3X348 }
{ amount: u143337550000, recipient: 'SP3JK2PRJQQJPD3RR6JHBWBFMVTEWQ363Z3W5GDXV }
{ amount: u143246926000, recipient: 'SP2VAVF02X1CG20N33S88E8KWG1XEBQF5J92Q8Q4V }
{ amount: u143212903000, recipient: 'SP3Q40E740MF3FW99FW9JNWPBF1JDQZYESN14NKT4 }
{ amount: u143203519000, recipient: 'SP3P31VTQQ07HPSCPAAMA615XAT0JS2FKAT72N6R6 }
{ amount: u143088932000, recipient: 'SPBCR4Q2CB41S2ERXRCPYJ4XYD2D5S2CM81H8JG2 }
{ amount: u143086985000, recipient: 'SP2C9TJ52R4X8A2RJJQNKJ5Q0CFKS78W79AF2WCZM }
{ amount: u143049530000, recipient: 'SP3X0JRR5B9FPFBJPCS9R72TGGF0R2F8XA27XHW30 }
{ amount: u142730509000, recipient: 'SP37H00NQQQ2FCCC9BXK6XN817XXR8975S4QJQ6VC }
{ amount: u142701902000, recipient: 'SP2B9XNMW9CR724NKGFY8W9RRF1NQXFZ0FY97M257 }
{ amount: u142688104000, recipient: 'SP2FFJ305NSDQ461BMFSCF16MCDSNT2K69CRJKR8X }
{ amount: u142632015000, recipient: 'SP3GKR0GHTDNSE1PZYD9AMKWDRNZZ0GT0JRBHHE5Y }
{ amount: u142426679000, recipient: 'SP1B1NN104GTK71C9H57YRCE2G0575H2GCSHW3MD }
{ amount: u142403975000, recipient: 'SP1Y8ADMYHAR439SSJ1SF5ZVTSERJ94QJS8375ZC4 }
{ amount: u142362283000, recipient: 'SP2FY8MV3EZVRTG2Q9J1KMMRVKC86DQ00BGGCQJXQ }
{ amount: u142283019000, recipient: 'SPXGVV3XN53JDZ0DXZTVHGCJREVNY54CPTM30ZMA }
{ amount: u142269145000, recipient: 'SP205QRN3SVFSS23QD3SKM4AHZ3AHTVFFHPVN7W29 }
{ amount: u142151595000, recipient: 'SP17VQTP1T95S4KE74J5FBHWD0M6P8N5FJXJXV9TF }
{ amount: u142121705000, recipient: 'SPG3JZWHGPAPF89S2Q46KGYFC8W8VKYB9N901ZTE }
{ amount: u142074049000, recipient: 'SP1M0Y7V9CCAGWWEWX3EV6GYBEXT9K63CEKEFWFNA }
{ amount: u142006081000, recipient: 'SP5DZKHMSWH9MN6MYSZB4EKETSMD85HVXJWG4G9W }
{ amount: u141987647000, recipient: 'SPCY68ZS2FH37RQQ7FQD6VMK9QWVFK01CNRVV2MD }
{ amount: u141912662000, recipient: 'SPXBVJBBMSVD7AK08ZTZ0RQMPG0AEAEA0TYJRKVZ }
{ amount: u141679376000, recipient: 'SP2012B4FTF45WXJBWHYYV2GE1F7GPS9N93T6KDKG }
{ amount: u141628240000, recipient: 'SP1EAD3K9X0NGHEKQ7SRGMG89JCWXRJSAASQFRRCK }
{ amount: u141605115000, recipient: 'SP1VJ97X9G4MMF6DAF435JM4H46RQKAABE87DSVBK }
{ amount: u141461284000, recipient: 'SP7SJC7E0Q4FZR9CCE41F3PSMR7TM015GKYSCCW5 }
{ amount: u141330470000, recipient: 'SP2Y0F24V0Y3CBXS7AFDHS5JPSK5V80Y3K0NNR347 }
{ amount: u141309269000, recipient: 'SP1JYYS0VX7YF2E1NW7VNZ410J0XEPYFS64WW5HCC }
{ amount: u141292498000, recipient: 'SP3TWPXZF7GHW9XW1BGQ7T6T80CH1CEXC6WTW6P7Y }
{ amount: u141266970000, recipient: 'SP2SBJNG383BHRZG4FNX9GW7VQJJ82DA80Q6PW7JM }
{ amount: u141266089000, recipient: 'SP2QY2JX56M4RCW22D008735ZAVNKV8PQW7YDA9MW }
{ amount: u141240014000, recipient: 'SPNA1JVSEC41PAT9DKDASY2B9HVX8KHSTP01JPBT }
{ amount: u141168631000, recipient: 'SP10H9HXS7C46SDAS2H0WTYSVW94D9P1V9BZ8N7JX }
{ amount: u141108267000, recipient: 'SPX329PF87NS929214ZBN1F15R22PZ751PBR7K05 }
{ amount: u141095344000, recipient: 'SP12588JRHR2WD5N7N10JGT05N1J2FJEBYXSTAFBT }
{ amount: u141077330000, recipient: 'SP136EDT9EZE0QT316WEN0WF16GGH0T3E4ZC9THD8 }
{ amount: u141048990000, recipient: 'SP18HH0HPYBQJJYYHDAMV19YXHFEFYZ6C8YYD4Q7G }
{ amount: u141047379000, recipient: 'SP1E82RY0Y88GJ7QYR548C2YMRDTNXRJACYY3GKBG }
{ amount: u141009508000, recipient: 'SP2VD1KW9M2VHBBZF964Z9M0SZNNGRSC2C2Z4XPYZ }
{ amount: u141005000000, recipient: 'SP5R09AX48B1ZDV2HTS51AYQGA06NC735AT6EB01 }
{ amount: u140820590000, recipient: 'SP2V12FEPZGB5GAM92BM2V8VE9DSSRQGH4FE16CK4 }
{ amount: u140753854000, recipient: 'SPEV669P28Q25QXD4FK6989WPECST50HRBDR37J1 }
{ amount: u140709666000, recipient: 'SP7XZVVXFFHMMTWZ8WNNKNY0TSHM5FQVJDT707CV }
{ amount: u140661613000, recipient: 'SPS97G1VRANV7N4RWKRA1YR2CNBB8M77BKSYP450 }
{ amount: u140614590000, recipient: 'SP7CTNHGKZYAVVFCEGDKCGK9WMX5WACTQDFC8EWF }
{ amount: u140551418000, recipient: 'SPVKJJD7PQQTC3JWH1SZH0E6FDQWMDK6Z1D33VF }
{ amount: u140452534000, recipient: 'SPS1934SMPT6FB8EG36K1QTB05HZ5MTPJR0FPKBT }
{ amount: u140449506000, recipient: 'SP589SZ4DNFHMSJ6F44SY2GP71MD52CDZQRBBTXP }
{ amount: u140404375000, recipient: 'SP1Q9WKV7EPEG1MR0PV25X64F50Q13JA0RBAQBCXG } ))
(define-constant batch-25 (list { amount: u140397581000, recipient: 'SP32MN1216YNZGJCVC6Q7P2ARVJTXSM0SRVF1R4Z1 }
{ amount: u140317969000, recipient: 'SP3VFJBS7PKY949FBKY6AA1YV5K3HDP8Q70E12G6E }
{ amount: u140300000000, recipient: 'SPGVVZ2Y8H8XG6F1S7A6RQT3EWZFDDBEDQY5P0Z1 }
{ amount: u140200734000, recipient: 'SP1PJ2DWMBZNKKFMYCF5K8PZFQEEGBPR40P4JR3HN }
{ amount: u140198326000, recipient: 'SP2JTEK8DPFMJXN8YC8B3B293C3YH8YQ0VT0S97JF }
{ amount: u140075816000, recipient: 'SPYB6J20R2XHCFNT0QZNC2RH2KXHZ5H7T50W7EY5 }
{ amount: u140073457000, recipient: 'SP1TKGVFMCZ152AQ9470AMQKVS8342JV15B0TYC75 }
{ amount: u140065265000, recipient: 'SP2GM2CJBFA5WVNK9X4B8JRX4YQG9A2PYGCAEHDWN }
{ amount: u140000000000, recipient: 'SPADM8SF7FWD90FGWM6GHQZCAASNFNBX2S8DCN4C }
{ amount: u139964793000, recipient: 'SP3WVTT0A4AMNXYXFVSFXTF86T9ZC54FPE1TVTFSR }
{ amount: u139869936000, recipient: 'SP3DCBEPB2C10FN0DV6S5KFJSHJHYNMM9W4MAV2KA }
{ amount: u139707552000, recipient: 'SP3DP7C8W8DDEC0CMSPBGTFPDMDGDMMNXQ22Y8KEB }
{ amount: u139702063000, recipient: 'SP2VRZ0ZR4RMD28FW54ZQ7T9GY77ERRC44SDEXHQ3 }
{ amount: u139575880000, recipient: 'SP3A4F3G4V68VWTE3CV4T8DK4H0PKR07GAE20NPH4 }
{ amount: u139515892000, recipient: 'SP34F0JG6E5S8A8S3MYTP881W321HDDDR0ZYKG14P }
{ amount: u139277878000, recipient: 'SP3YRAM9BHE3F4Q04YKDSY5ENAT9XV4SFQ0BKS478 }
{ amount: u139139927000, recipient: 'SP3YQ03FTWWYQ6ZW3KH6VEN3SHS3Y4FQ35MSADW37 }
{ amount: u139055805000, recipient: 'SP2YYFEFZ5B1Y75SM6YAMMVA5HYAHXS0Y923K5Z7F }
{ amount: u139048151000, recipient: 'SP2PMZKS5ZNNFA3E11D59Q48R7CY9CCG2X0ZSBF4T }
{ amount: u139038789000, recipient: 'SPBG9A7NP9MEDZ3DXF17V59K0HV7THK4XX2SXH3E }
{ amount: u139007524000, recipient: 'SP5CZCM0GZQK4K1XSTGS42QE32HEXND0JAWRNPH6 }
{ amount: u138962958000, recipient: 'SP1EG2T0QBQS40AMW62DEF9G9CRRYDJ8F37Y6FXT5 }
{ amount: u138885136000, recipient: 'SP33FGPNCT98AW4E76309F5ZRRT30BM70KF34H6YV }
{ amount: u138832110000, recipient: 'SP1P8S6Y183EYDPE3BW6G7YTKWABYN9J8HGEYB4VC }
{ amount: u138710412000, recipient: 'SP3XS6DW6KW1XC31QKNAM1P5ZKD42FWKC2P0DEBSP }
{ amount: u138704841000, recipient: 'SP2A7G2VMG2W5ZBMMM0Y8SWRRQD2J0Z9JR9CEAVY8 }
{ amount: u138654706000, recipient: 'SP2GRRK2BVG10QHKKCD82XVK2NYQ87TSCKB90GB9E }
{ amount: u138634511000, recipient: 'SP4YFQ9YWK0V5GRHV5Z7RFJPPW8XBB7YVHFD56W5 }
{ amount: u138609581000, recipient: 'SP29X70NPFB8DZWAR679SFK4RQB7QMQAMNY4839SY }
{ amount: u138603036000, recipient: 'SP1HEQ099H77HRXB5ARPG9ZE0FQHCV00K4VF4W42C }
{ amount: u138329770000, recipient: 'SP1QXBW46ESG7N8GZ0BTJYVZ74Y9YSWS0TE6RG2JT }
{ amount: u138291383000, recipient: 'SP11J1VRXQQCQ8ZEXH4J40D6MHQMHCY88SHVT3A0S }
{ amount: u138254356000, recipient: 'SP7TPNPQWSCXXND8G6QRGSAV7T0JN02DNN7N9QH8 }
{ amount: u138172409000, recipient: 'SP1S4Z42CKQ83WKNVRZES7WH0FBTPQZ0FJ2GHPRQ7 }
{ amount: u138136105000, recipient: 'SPNBYP1MY456K29804XHT4PY5QKMSXNRBHGADTDY }
{ amount: u138127193000, recipient: 'SP1BTN5TWVSTS9WGNNZS509Y6V5X6CN6YANW0YTAX }
{ amount: u138105624000, recipient: 'SP2894NW6CFC55Y5DR8ZECPTE269N856S2X9WJ1G }
{ amount: u138092516000, recipient: 'SP3GCQ32DAZK2RMKKEJNX1ZKHV6930NEWEQPYE55P }
{ amount: u137994290000, recipient: 'SP2C0VTP3SZ11ABKXTRKXKFZSVHW903WZSPT8M596 }
{ amount: u137912103000, recipient: 'SP2XX4SMGHQQEME9BKQJ8JKZ9AJ0HD2AVSVQRE4N0 }
{ amount: u137638362000, recipient: 'SP1W82K606YFZV67RQ12CSCCAH0JQ58G8JANWV6XW }
{ amount: u137444558000, recipient: 'SPBBSS4NAG94M7B2CEJQYKWGS9Z13JZ4R7ACVWJK }
{ amount: u137438440000, recipient: 'SP3MZ7H88AMDE6BN245TRGFG80TYXBXJS6BZC939P }
{ amount: u137304185000, recipient: 'SP1NHC7C55NNZK52EA0N4J453K61V1NTKQ4K5JEJA }
{ amount: u137295030000, recipient: 'SP33MSZ550NPYEYBPH8CF4SCHR57CAVJTVJ59B178 }
{ amount: u137217931000, recipient: 'SP2JEVD9EEC1PT3HTTDSHX2JJDWERG65YCXJCAJVY }
{ amount: u137136077000, recipient: 'SP92BR07YNC1371FRX2M5M5F7ARA63EVYTMKTV6H }
{ amount: u137028286000, recipient: 'SP1GV5DJAEN642KA4NDQWTTCS1M5SXEE2B5C7KAGV }
{ amount: u137000000000, recipient: 'SP3Y16SV5KJHC31T9WBR9AWDHA5PX8R5RJJ6XTAF9 }
{ amount: u136911460000, recipient: 'SP1PPS2YPZKVF4DXS7ZTNS8W6P87X9KEFSKT2QQ56 }
{ amount: u136736140000, recipient: 'SP3YW2M00E6PSAW4M1EMJ2WY4BDZR5J1RN81YMQQB }
{ amount: u136633113000, recipient: 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P }
{ amount: u136522409000, recipient: 'SP2X99QG33CX98GTZFSP3HAAVGGKEPMGA7B85APMN }
{ amount: u136504626000, recipient: 'SP1CACQMDWVEXHREY4GH3HDTFY8KZPE2ZDTT495BX }
{ amount: u136491646000, recipient: 'SP2ZV9W2G1V61HN184KHNB8F4BNK6PP9K8YAHPDZ8 }
{ amount: u136476584000, recipient: 'SP1XTFTRM581192FC7JPZKKGBVVCS8APCYNT7JBKX }
{ amount: u136358814000, recipient: 'SPJNJJ3NBR3D6CH1C5RQ8A50SP69T8MKQK0EP7RP }
{ amount: u136314612000, recipient: 'SP2HZRA3A5ANEH4MYRPFZD9HYJHZVWG7NCRZCPXFQ }
{ amount: u136281875000, recipient: 'SP2BABVT8C644A22347SKS8KFPR90PFP9Z0N06JRS }
{ amount: u136118263000, recipient: 'SP17QQXGDQX5C9SHE2YJ8966N69MMSM4QNBZRNR9B }
{ amount: u136104362000, recipient: 'SP3DJ1YHVANSQKVWYHRQ094AGW8BKEHCTKRC1M82H }
{ amount: u135999528000, recipient: 'SP4BPQJC6868ZB7C2BPP4PYE461VS9HYC0MAP5GN }
{ amount: u135797820000, recipient: 'SPACCQ8K3ZKXNAHTH14VEAFWY9E7BDP72DCNCZWP }
{ amount: u135518776000, recipient: 'SP31P6E737CC2ZEEN8ZJFN618FAEWES74BF1HT6HJ }
{ amount: u135260409000, recipient: 'SP22C5R37DNPGNVTPC556Z2Z4Q6D4PSFTHJ903662 }
{ amount: u135259851000, recipient: 'SP3V8GXH4MN1F5K8J3B2D86PW7TWX5Z2J7Y38C66N }
{ amount: u135222959000, recipient: 'SPS8R33TJ2VR3V838A0M3YPRJ6BWVGM7GGG76A9Z }
{ amount: u135119648000, recipient: 'SP1Q6XKFC339Z3KY8EFKWEJQAM5AFF5R2XAWTX89W }
{ amount: u135118184000, recipient: 'SP2VV5RXVK0MZADX1KQBGCPNTBNJ8KA4GVPWKW2BG }
{ amount: u135115830000, recipient: 'SP3ST78PAMRM1EF2GNDWPH28CQP5MWATWX2QB9HJK }
{ amount: u135078935000, recipient: 'SP3T636CWCC6AYHMM4V5P8HWE4HCWH48E1KJHVXP2 }
{ amount: u135040800000, recipient: 'SP9RQW3YECMAYQ06HP3WFJH7PYABRHYKE86SKW9Q }
{ amount: u135034464000, recipient: 'SP1ZHD36QBDRN42X4X5ZVEVBWKAXTMMA3BKNYWDY1 }
{ amount: u135028000000, recipient: 'SP22YW8ST0H9GMZFRWPV0AQD2W90MY4A7N9XCDJN7 }
{ amount: u135008932000, recipient: 'SP1MP612BHVPAVVRR21SR4TXZEHTGS3P35D0A2KMH }
{ amount: u135006647000, recipient: 'SP211WPQS8NF4HGWQ0E6PGHNJECNZX965AM5VQ0SD }
{ amount: u135002769000, recipient: 'SP1QG2JV0DEFQEXENPGSYV54YZC6YHZ795NZAZBV1 }
{ amount: u134793499000, recipient: 'SP47NJDZ681PR826NTV174HSR8MFF93ZMWA9XSK5 }
{ amount: u134729900000, recipient: 'SP3777JEM0JENTMPSS29NA0RVQNH2T01BEG9N31HB }
{ amount: u134547334000, recipient: 'SPJYA6Y1TDDNK826P1JEGQX2C7WQWDW5FR5R18YH }
{ amount: u134542486000, recipient: 'SPFTGPN4CJDFABHMTGWQS6HW9FHQY19SXXKWEP84 }
{ amount: u134494000000, recipient: 'SP2J7GFXT8MZDFKCZX33FW3G1QKC7F4PG6TW3H0X5 }
{ amount: u134382904000, recipient: 'SPKA7JFFBJMZZJ9TMNPRZ6S1EC98V7PCS6EM8BAH }
{ amount: u134373881000, recipient: 'SP2KMTK85JBAHH0QQ7KPZ1EHEQJF5KSQGMVQZS7AS }
{ amount: u134368705000, recipient: 'SP38K9RHDW3KXWCB4W2CQX9BMKKKW6P87CPGM2A4J }
{ amount: u134367534000, recipient: 'SP11H1VMFAYTS8A15CWMT6SVY71MKMBQ25WFG35KW }
{ amount: u134150039000, recipient: 'SP27GEHTQN5C94V8S9Y452MR1R479M6595YPHDN7N }
{ amount: u134063443000, recipient: 'SP17PC8G8KWE3648BAKXGF7C4XB0QXATK0YWJW2B2 }
{ amount: u133966000000, recipient: 'SP2CT8CPDZMZWAWCVWD07AJW9WGF17YZKW09V6F8E }
{ amount: u133860980000, recipient: 'SP25X39CDTQWTN9HGRTK7HF05HDTF89T3XE05DE4J }
{ amount: u133827036000, recipient: 'SP3P2F02BKN8QV49FEDTGTYTQY7DMNATZDMARHZ80 }
{ amount: u133781760000, recipient: 'SPT9FHW8VNXTASGJ90K6G5FHK61NKZ7PEED0G7VV }
{ amount: u133762036000, recipient: 'SP1BMRNSYGA303Y7M17N2AH4SNYZQ21088JZ9KZCM }
{ amount: u133755136000, recipient: 'SP1VJKP6KRWPB91J3P6TW3GVPMNKPQZJQBXD815KJ }
{ amount: u133753512000, recipient: 'SP1YSMB4JV0TQYG1EJ620J2NYEPV62WSEQZR41GAA }
{ amount: u133710869000, recipient: 'SP3N39ZKR2V62RVPS43K50C1XRQBFXWP7J0GS69D9 }
{ amount: u133680373000, recipient: 'SP3HG9PD2HW78TNYMHSQTY1TG0GR95NZZ05EWZV7D }
{ amount: u133628249000, recipient: 'SPX44YEY5HJTJHJ0HQBB84BH0BSPKDE7V7TX9KVZ }
{ amount: u133500088000, recipient: 'SP19WTPY73W6VPSQVZY9S7DM5DG55VNJT9VN2VHYV }
{ amount: u133220370000, recipient: 'SP2952VADYWV2R01AHR1FA8DMD19AQVQ5981FP7VH }
{ amount: u133079042000, recipient: 'SP1ETA338X12WE74EZT0GXD846MN1FMCD4WV23BW4 }
{ amount: u133077292000, recipient: 'SP17FS0J4BZH56AQ869RM374FX2PG4VZK8EJA1Q1B }
{ amount: u133039403000, recipient: 'SP1H62Y2QA5YQG3SSSG7NETYQ239Z20PWV8H9PHQ5 }
{ amount: u133009182000, recipient: 'SP1MFKZ5TGT5TZBEKT815HW4QDQHTNCW89S61SSP2 }
{ amount: u132935609000, recipient: 'SPPBMF6R5GCX3FNKW12D9PN1148KADYZ4QFBTY34 }
{ amount: u132932752000, recipient: 'SP3ZN9607QWTR8WW0QQB633KR8FKE5CC4421GPK64 }
{ amount: u132911743000, recipient: 'SP1FXCN105J7DGSCNA0H7CSZ27J678G4TA3QMJNSA }
{ amount: u132857810000, recipient: 'SP383NPRFTAE4WRH9CWPB4452BNHGFE6D9S0MMQ95 }
{ amount: u132809210000, recipient: 'SP32VT1W6NR958KAE0TXH61SE9BBEPW0JJ5PDT3VB }
{ amount: u132762441000, recipient: 'SPVJSACN2XN9G3V3ERN65F0RD84YYAABRBRXMH40 }
{ amount: u132720162000, recipient: 'SP1RDD8C2AZZK90K9EDZCXAK1PPW3ZEZSVYJDHYEE }
{ amount: u132633330000, recipient: 'SP2A5TCHS1Z546BSVR43FY6EQNDKGD60KY460Z411 }
{ amount: u132627954000, recipient: 'SPJ4TYZ3CXXD9QVFE8EN1Q9EWQSPSY2R0697KXE4 }
{ amount: u132559030000, recipient: 'SP1PR54M8YSFT0SH8MEBK3X691CH7BZ61WTS3MEWH }
{ amount: u132516105000, recipient: 'SP2THRSAW2NDDRDCDN049AP8CSQ3Z98VQ0BGK0JSW }
{ amount: u132450824000, recipient: 'SPQ8MEQZZYFKB1VTVGF7K670VCGADVE44XQ0H5PY }
{ amount: u132388268000, recipient: 'SPXPX51CFAT9BVMW3BV706YDEE46GT1VD3QAN7T0 }
{ amount: u132205000000, recipient: 'SP3VHABY0R0Y202TWYZ3CZG7DBQS8A9DZEGTMG4Y6 }
{ amount: u132143384000, recipient: 'SP12M0EPQ3FTS5C2873256WWDKJ374M40MT2P8J5C }
{ amount: u132007927000, recipient: 'SPPWEY7DGHQT2WSRW8YG9MKH009D5F0YKJS5SADR }
{ amount: u131983764000, recipient: 'SP19RF4WJTWT149FQB9QGMW9N409GACD9EFVPYHFH }
{ amount: u131955600000, recipient: 'SP3XYC033WYMJF4AMF1ZD89VPXQ224HRM73W59WY0 }
{ amount: u131847662000, recipient: 'SPG5NHRTK1WHMFT82RXZJN0Y92P48CP0G83Q3609 }
{ amount: u131792042000, recipient: 'SP2RMRFH6H0PGNVB3S3QYR40QV65JVB6P8DG17HYC }
{ amount: u131735000000, recipient: 'SPWF7WZ23ZTSPGX3GKSXFH5Q8Y1R1G2K00CAG16J }
{ amount: u131714598000, recipient: 'SPMYK3VZ98G5KJ9183CG0CMXEYWRHHJ420CBMCKA }
{ amount: u131698318000, recipient: 'SP2HAKVMKH1WVWJJE8T6GSHJRVYG2VNFW3B6MMJ33 }
{ amount: u131692275000, recipient: 'SPYYKSV2P4RMT2TXW4YYD3Q7HDZBYXMAC6WWCJW8 }
{ amount: u131623275000, recipient: 'SP2TBT96QPNR7ZJGPH26CWHJ3MH62SFC54QFJ82YS }
{ amount: u131570574000, recipient: 'SP2H4G7DG0QX15DPV0PR47EN8BAH9236ASZCC6MHQ }
{ amount: u131471000000, recipient: 'SPVYJKKPJNDBV38HQFMXGBFVD2Q7N4VWKDX3N6CK }
{ amount: u131470701000, recipient: 'SPJXEE40N7FWGWSJYEP1Z3W43BTA0WCR725WK0NS }
{ amount: u131444007000, recipient: 'SP2Y2ZPEV4ENPWP4KZ4PBQSVGCRXXTSZ85CTGX6ZQ }
{ amount: u131394425000, recipient: 'SP2GMJX06XX3JV83QSARC62954MFHCGD2EBSSTH02 }
{ amount: u131333231000, recipient: 'SPAC6F652P6MGJQAM4AWHDW162TCD4TRP49W68XP }
{ amount: u131312665000, recipient: 'SP1S8RR7HGYMC9PDR7ETR59F598WS25A2PFC8G4D0 }
{ amount: u131298825000, recipient: 'SP1K2ZDEAH8W220NPW26V0KT0SYPR129XYPRC9134 }
{ amount: u131241543000, recipient: 'SP2GP8ESM0DM7R2CHX281K4V4WDXFJV1E5N6W7HXX }
{ amount: u131165446000, recipient: 'SP1REM0ZMCFWY70CXAQMGYDMYCEC1SZKHVQ6ZR8JR }
{ amount: u131133419000, recipient: 'SP1YMCW211Y6KYJ4BH9Z07D9DBEMCR8WCWEY9MSVS }
{ amount: u131035734000, recipient: 'SP2XFFNYJHFH3KMQWXB0XZGX1K6MRZC7YG6MXV1GT }
{ amount: u130964529000, recipient: 'SP71YPA7M4JTA559R4PHQQN3Y3KZ0P9QR1KGDW6Q }
{ amount: u130749493000, recipient: 'SP3TDDJ8JZ01HK3GVTKJHHJGAPCY02A94G2MFGYA6 }
{ amount: u130569000000, recipient: 'SPPRGWMAM4864N7YM0WKHMDZATPCCVASE8Q4H90X }
{ amount: u130277000000, recipient: 'SP1B8S47XG88FNF3XZBJ7TYV0Q60A51JDWY3Z2Q1H }
{ amount: u130148489000, recipient: 'SP1RFCJWZAB84BHK9W1VM017K8NZD9MFHF2FTTCDY }
{ amount: u130043773000, recipient: 'SP2A63DM8TKP377S01BHKA6JG4VTB0A60MFA0S222 }
{ amount: u130027782000, recipient: 'SP9ZHNMSXZCTX02Q4QCVR908954KHN6V6Z3ZVSJA }
{ amount: u130009189000, recipient: 'SPJ5YVQ57MVRCWWS413TZXA27A7BKMVMDMT0KF8F }
{ amount: u129963515000, recipient: 'SP1H258A9NAETFT74JXHGA2W586JKZD67C0DK3VSM }
{ amount: u129908892000, recipient: 'SP206FXJ156SNF96PC7QZM0XFGZH9BA0NVVZ4Y638 }
{ amount: u129795391000, recipient: 'SP21TD0A282HWEDG727QZ45ZEZXMFZ9AC3J0DRP7V }
{ amount: u129754481000, recipient: 'SPV6BJMKY1ANCAD8YVXVNCVQBQA3ZT8BVMGQ79TK }
{ amount: u129740717000, recipient: 'SP29BTET6CAA8EKX5RC6S0A1ZY6K9JMT7EFCQM0RV }
{ amount: u129692052000, recipient: 'SP3TKWN0700JVJ8SW8AK5ERXKJJ0NYN8ZAB12ZQTG }
{ amount: u129676879000, recipient: 'SP265M2220EXF2MQ4JKBKBV1SKX9GBJ88NTVJAPZA }
{ amount: u129623267000, recipient: 'SP1H68DAV0HZZ2NJXD38DK12EXXSR7A39J5HT19N1 }
{ amount: u129586817000, recipient: 'SP3C9T5FMGDP2HSP96NSWVVEWQ9WKR86EC1H3W6BE }
{ amount: u129464257000, recipient: 'SP3HZSNHEB0ZD5DKRQG7SCFPK0TDD4K0CCS2K9FM3 }
{ amount: u129343132000, recipient: 'SP36YBVZ03EA8Z5RY3FWBJPVYREVPREN17MMF2EVG }
{ amount: u129225787000, recipient: 'SPBJHGA0JY21HRV1WQCP3ZFNA15PK8ZGEMG67XP3 }
{ amount: u129159908000, recipient: 'SP2H6AM999YMDCN73B3P3HBVC07AJX8SBYPYYHJD5 }
{ amount: u129159693000, recipient: 'SP1BKCYPZR74V7WGREYGTN6HX40W66NZ51SJ39XWG }
{ amount: u129049634000, recipient: 'SP3AFJYEYMZGEY4MQSP53RRSAWHA3C9GKKB0QJQHP }
{ amount: u129041151000, recipient: 'SP1XEA7BR7TMS53E6PJ8X7KGN9XB9FWDMJ5N6S6DV }
{ amount: u128999269000, recipient: 'SP148F5A8SMXSWKV81MYTG3V6X6FMMSPCH7ZNBVA1 }
{ amount: u128957002000, recipient: 'SP21PHZG77CH703NXKNEJNXZWNW04ACXQMGQMPHQM }
{ amount: u128942250000, recipient: 'SPVPR7XNK90QK7RK8T41G537DNR170RE3NJKDE3J }
{ amount: u128921143000, recipient: 'SP3A0K8XNVPWF28X4155DBYD3HKZDZVGE0M63VQ9B }
{ amount: u128907743000, recipient: 'SP1QH1NV5TJ38M2KGZ9ST79TZEVG2C4BAWR2XH172 }
{ amount: u128884279000, recipient: 'SP1HVMC390BX0JHR042T22FJ93DXAAYF1526GMYXX }
{ amount: u128879559000, recipient: 'SP2K7RY2AND7APX9Y1EJ63MPHAATTBZ6WND1JBT1Z }
{ amount: u128846464000, recipient: 'SPBX25EB7PS3AW33S57PCHWZZAYXCPF5AVSG1NYB }
{ amount: u128739522000, recipient: 'SPFJVEV9VJR74CHP17H669P9SZGKSWF0ZY5PW269 }
{ amount: u128568088000, recipient: 'SP1E4EBC561VQZDVJBTJHZ039BZYBSKPD52N6JPKK }
{ amount: u128521891000, recipient: 'SPRFSNABMK0HENSGCKG9DTDK1R8ZQV5B2BXTQ849 }
{ amount: u128510913000, recipient: 'SP17BYSVNC3YTR3AG5QVA8AS44G0H2VYC99NKWZ7F }
{ amount: u128505045000, recipient: 'SP1QHT3PHXBWTTFXXKN34S2A35C4Y14BCYYEEYEWP }
{ amount: u128498494000, recipient: 'SP35FENXHGJ4XBF39WTCES7F8PGBSDM8HNG87WZE }
{ amount: u128443863000, recipient: 'SP3KBPY4H040N8ZR2QD9WN63BWCSVTW9DF1QFZ7BJ }
{ amount: u128329088000, recipient: 'SP4QPRMVP8YCGGH74ZDYK8QSPDXH17S71SCJ0RFS }
{ amount: u128291299000, recipient: 'SP1S3YB9M60PZZ6RAV40S5WJME34TCK0TQEZEC6FK }
{ amount: u128212215000, recipient: 'SP21SYD4X3VS77ZAN3SHG7H21C3W3SFFYYV5QZNYC }
{ amount: u128110063000, recipient: 'SP1TTM77QQ0MFBP3D1CPX24XKDZZPC68MHN9JCRHX }
{ amount: u127957363000, recipient: 'SP3TMPFYFMH515J5NXBVRJJW5K966VTMWKFJTTHG1 }
{ amount: u127933876000, recipient: 'SP23Q23P3Y1Y4YE5KAS4MRSBDEAJCGMPEER6CMWKS }
{ amount: u127913626000, recipient: 'SP32ZJCN002NE9ZKH98D0ZVN5B427XD6C4F3TDV18 }
{ amount: u127855077000, recipient: 'SP23A8NVZTG0MQJ8Q6EP043DY10TK4M4Q6DCYZQ88 }
{ amount: u127776474000, recipient: 'SPY2BFC7PVBK3KBXEFATX9WKS93QEJNPY2RZESPM }
{ amount: u127466737000, recipient: 'SP1GVBJTR1VJFKXS8E8SAA6XES2DNDC4D66E24EKN }
{ amount: u127401000000, recipient: 'SP2P6NESG3QA2JVNDX54ABS65WQH8697C0Y3GN8S2 }
{ amount: u127337821000, recipient: 'SP3C241W7CY0STJKR4Q1QFHCVFKJRFRW2YPNP6N1Y }
{ amount: u127325450000, recipient: 'SP2H84QZT1V0YZ70RTRZFT7HAZWDK88XK4CSNBMYE }
{ amount: u127299536000, recipient: 'SP1N94P0TGM4J5XHC146HTW1FDBY78D005HFHWSBD }
{ amount: u127290000000, recipient: 'SP3SJN6RSMBZ6KTDHPCEKJ74W17SXVW684PBEY1T3 }
{ amount: u127278624000, recipient: 'SP3YGSTNET48HC4XM0PJE4ZCHJRJ3756N3Q6FJ5AK }
{ amount: u127072203000, recipient: 'SP3Y6TJ7JNRAS2AHYQ2NATE1C4TPXJ7Z15K2MVT8R }
{ amount: u127004252000, recipient: 'SP3KM861HFTQBXX29H8X0ZG5ARKDX5B06G5AJ99G6 }
{ amount: u126974749000, recipient: 'SP3ZWE4SZ1HM72Q83EM3HNW5VM9SVSEWFKW5Z4MMZ }
{ amount: u126940000000, recipient: 'SPENSGNJ0ATFSVTCQW1HABCYH76W9HKWMGPF4NNS } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-21))
(try! (contract-call? .token-special-vote edg-mint-many batch-22))
(try! (contract-call? .token-special-vote edg-mint-many batch-23))
(try! (contract-call? .token-special-vote edg-mint-many batch-24))
(try! (contract-call? .token-special-vote edg-mint-many batch-25))    
		(ok true)
	)
)