agp208

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-36 (list { amount: u47190495900, recipient: 'SP36TJ2VHWRRQE4N49E40026P197Z9HJ8TMST8YB7 }
{ amount: u47174594300, recipient: 'SP10TKZCM6G0P93XTCW55GV37Q0WY0HBJTMRBW4NJ }
{ amount: u47129000000, recipient: 'SP3CTV5JT1PTG9RS6KXHAHBF8HXZGHM2BRQ0560TX }
{ amount: u47100709900, recipient: 'SP1431H5CVHHRAGNZR2PH41J0FMWH3N6TJYYBYDRZ }
{ amount: u47097288200, recipient: 'SP1V7VVAPVJNQH15RP3Q738YYQM4Z041W6PV5B92D }
{ amount: u47084641100, recipient: 'SP1V4B4EB7P9Q3C8S0XE0ATV49RS112S79SWD8SZ2 }
{ amount: u47044054200, recipient: 'SP15ZW0X5BTDGPPPFJTV6Q3G4C2TRT85YSG5B449J }
{ amount: u47000525000, recipient: 'SP1B6SRJYD3WGWKZW7ZH9XY815QME67QD8DE78MC4 }
{ amount: u46888000000, recipient: 'SPSRP68GQF32MW8XGKX1BWREWXVNW4960JZB74XT }
{ amount: u46843991800, recipient: 'SP33Q455Y21C1R8VZRXKTYR0J76WZZNY4H23CJ01B }
{ amount: u46821811700, recipient: 'SPJ7D21ZMCWBBSCKV0P50T24GT8C76CD9XP89PBX }
{ amount: u46819000000, recipient: 'SP2QVQ6PZ53D4PN6M3YRPBXVH5NWP38VY87074X9Q }
{ amount: u46810639100, recipient: 'SP5AG622Z0CFDX6GS24TNC6MGBE70MN25GDG2EGT }
{ amount: u46786271400, recipient: 'SP36Z6QPYA86SVE2YEEYZFNGZ6NZV46J8ZQGT235S }
{ amount: u46768769000, recipient: 'SP1PN944TZY06602036V2MQM1WEDX9JPMPN521TEE }
{ amount: u46764615600, recipient: 'SP2549FPEVTDXSRBCJKHX0ZXK7J7KJN9AZ8YJPQKA }
{ amount: u46764615600, recipient: 'SP3V8RAF26YZWND888NH465DGSW4YFFHCCWRGJ0KR }
{ amount: u46735924900, recipient: 'SP1HYHXZTNWAHTDWAH6Y1YMDJG2SWSCHJW7H5SJV9 }
{ amount: u46686902100, recipient: 'SP1HJAWNNJ4VK1D0XB8R5W15PAGKWWN0CJSAK8SJ4 }
{ amount: u46681644200, recipient: 'SP3VQMFJTCW7YE7SYRWD3PWRJJ42G87BMJ4DMNJC6 }
{ amount: u46611267600, recipient: 'SP3P4KEHEX4J1ZQT663JXF2QCPT2ATW32JBKXFAYX }
{ amount: u46573573300, recipient: 'SP5B6B69WDEWSDPWENY67MRQNERQQ6H7M9RRDZ42 }
{ amount: u46546836200, recipient: 'SP5NSFTWED17R0HG8K44YBS4QZ3WW1N9WXGA167P }
{ amount: u46500516000, recipient: 'SP2FHKMX1NQ2W3K6VWKRX4RMMVB45C6E3855Z8F1V }
{ amount: u46332000000, recipient: 'SP2SGFBEXYN9D2TY1Y0MTQKS4SNQ3PNNVZHBSNQ4V }
{ amount: u46258922800, recipient: 'SP3J7F5YFH1H1Z5AXRW3E68TMK6YTMEB6A7D0JT01 }
{ amount: u46190000000, recipient: 'SP3J404Z76YNJYW4E6DEQQRGE0DCXXZ2229E446SR }
{ amount: u46165368900, recipient: 'SP1A6FV9C7QPVET7Z6X26QPYYEVN10PB1R0EZ6W3T }
{ amount: u46104461800, recipient: 'SP281B7BC5PCS8BYPAEKX49ZWEM9QNNPC6WXVZA2P }
{ amount: u46100150300, recipient: 'SP1V7BP94AXS1PP8ZK2XXSCZE7821BJ6QCTHGH889 }
{ amount: u46095863600, recipient: 'SP1ETGZJSZAMPA7FT0BPNJ4WEACNDZS3AJN6BNSJB }
{ amount: u46079420600, recipient: 'SP1XAHP3Z1YQX0NPBXKQA7G1MPFV65ZRVN7A05Z09 }
{ amount: u46045663000, recipient: 'SP2GRWBEPFWY56F7S98FCNWDSJT2ZDMQYS7XVJJKT }
{ amount: u46018030200, recipient: 'SP399N9R0BK23SZD8QNS8KF2V90M7FVHNCRDHNMP3 }
{ amount: u45953430000, recipient: 'SP3Q9F8P464PSNANRZCGMW6PH5WJYTDGV3PHY8X4 }
{ amount: u45948643400, recipient: 'SP2S5PAPSQKP8SF8NPRTXZCKKTGZ49BXD7WQHC68M }
{ amount: u45936430800, recipient: 'SP3V6CT0QC1FWADSKCE96VJPJBE1N4FT781D58TRW }
{ amount: u45859362400, recipient: 'SP3JVDNVBMM6Y6W1PFZN7NR7QB0ZNRED1MEVBKX6T }
{ amount: u45847558600, recipient: 'SP3SBZP5M16EAMN6Z89PNSNAMNF07526M09NY74A3 }
{ amount: u45843883800, recipient: 'SP3SFKHDQM8ADYF446Y5Z5EA1VBBRH7K4RPX8PCGD }
{ amount: u45800000000, recipient: 'SP33RAC6VH4MHD8KVGG0M6P7ZRV4XCZ4Y90XQDGK2 }
{ amount: u45796718500, recipient: 'SP3V15SCB5071EA91DQYE8N11K9VYM49A9Z3MVSPJ }
{ amount: u45795409400, recipient: 'SPDQNZ145BZXZS1JXXWTNHS73BR245YYZ7JQDNNY }
{ amount: u45743669500, recipient: 'SPX5NQ1WYYG3QARN2G0RHJZGK5JVHZHCT4AM8GAC }
{ amount: u45736048700, recipient: 'SP3KJW2STCYNP3NX6Z80GDEYJWRNV22Z1R9SWKQT7 }
{ amount: u45572661100, recipient: 'SP2HKPG0V9EP5GNT91C8NGNKEKDJCFQ1EEE2YCZND }
{ amount: u45562501800, recipient: 'SPDEG7T9JA2QBCQTNQS6FPNQ7W7TF7WMXDWAGC7N }
{ amount: u45555891600, recipient: 'SP14TGZ8M5YVC0SM6NMF01D9JJ21T16A684NGSJ97 }
{ amount: u45544965500, recipient: 'SP86XXF6BYQVADB6RDXNPEWNHD2F933W1CJVDV6G }
{ amount: u45518424900, recipient: 'SP1WAQJTCW8EPNHGEDGSTS1W7G8SJHXXMEXTSTTP7 }
{ amount: u45482732100, recipient: 'SP3BSB50PZV8FSJ5S6GSCBP1VP1T2QF279EF3JHGS }
{ amount: u45476475000, recipient: 'SP29YC68GDQYR1ECDRT8B80TN9HF6YJVFCNH2N1KA }
{ amount: u45425544800, recipient: 'SP2JB7WMQCASVC2RDYC1VYS6PXCCR6MEX1FFXBDWE }
{ amount: u45425535200, recipient: 'SP1TR2K4HZ7D368M51AHE3EVTBMC6R1ZX9ZM5P3F2 }
{ amount: u45421592000, recipient: 'SPEMPPHW8B8KT5CYNR4XQJR29YSCFN9ZM0ESC50K }
{ amount: u45418080700, recipient: 'SP5X0WMZE3B1SNKBZMKEGHRKX00PQHZ3QZJZEH0Z }
{ amount: u45295510000, recipient: 'SP38AM9YC37NQC0D7SVK09CYJH68QC3GNBVHXFJJK }
{ amount: u45223465800, recipient: 'SP3HBBDK0RFPE3TFWEGR7HNHKAZT9SY4NGXQM1W9W }
{ amount: u45222171500, recipient: 'SP1Z4YV8FJENSWBRGEYEGH9WHAQJCZ4014RCMBK81 }
{ amount: u45220755200, recipient: 'SP374G2MEAZYK3TCWTQ1C9T2YN6PJCBBHX86YXAT0 }
{ amount: u45206985500, recipient: 'SPHPFDCEJT8CN33SS2E273T9NXEAVP4PGS5BYGSK }
{ amount: u45205232200, recipient: 'SPP96RTM53XTT2W2WBJESDQFM9BGDHG39RD8WQ4G }
{ amount: u45199064600, recipient: 'SP19T53VENTQMM2C1Z4JREKX6DXRT582Z9B0E5JF7 }
{ amount: u45148500700, recipient: 'SP2F222NB5JMA6S9PE67XWRPEDR056T1JP8EC6X4E }
{ amount: u45136000000, recipient: 'SP3E8VEGKEAACTHD5XB48AF5T9YYWC30R5BNXPY4Q }
{ amount: u45024764200, recipient: 'SP2N6BS9F9D94XQEPMGBWR7E0B90W30TGQ09KC4SN }
{ amount: u45000000000, recipient: 'SP3V552VKZJ4C0SCM3E0MWMTFTAPYH4NB91820WY9 }
{ amount: u44988674600, recipient: 'SP2ZKTV9JX39R6Y4NSV4VN5D2PJ45ZM3G8VNS0XYC }
{ amount: u44944000000, recipient: 'SP2BM1K06N72C8TTGVC80Y0XJYF8ZS7PT3T9YENY1 }
{ amount: u44939359500, recipient: 'SP34K7CBZA1EP75TQ63FXR5K2N2NA1ZA4ZFYB4X85 }
{ amount: u44884370600, recipient: 'SP3JZ29WQ21CMVVKTSPAHTC1ZW8YWZA8JCMEMPH1B }
{ amount: u44860000000, recipient: 'SP1Z3HM2AKPNFDQREY7G8NYFG6TP18BEPWHNNYC6E }
{ amount: u44840614200, recipient: 'SP3PJKXP36SZZK0NBJXYB2N4T2J1W4ZGG3HHZGAXB }
{ amount: u44831088600, recipient: 'SP2YMKSFMXNM53H2Q7A9JMNXEP6FSWR8ZJ3YXF5QW }
{ amount: u44829389800, recipient: 'SP1BP0YQPCWTXTV7V6F363FCB1H4QC1NVP1Y4MRF4 }
{ amount: u44829000700, recipient: 'SP1JAB0Y0KGTZ9VWE3R97719A9M6E6XPKMT7Q8JNG }
{ amount: u44823463600, recipient: 'SP3HBF951PQK1CGF4VME6R4NY6F1SQ23DWRDJBBQK }
{ amount: u44822465000, recipient: 'SP3P8CGDPBAF0TYGZCN1SDJ0760VS0R1RTA1R7V6K }
{ amount: u44815156400, recipient: 'SP2MD3PSYE7ADGW3MBMCG0SZYXT75VFHSYTNRASAH }
{ amount: u44807556600, recipient: 'SP1NP34W5JW94BVQ7GSR04PHHQRRNTT1MEDMVHJ6T }
{ amount: u44776855200, recipient: 'SP32BSPXEWHV885N4N9H6K9QGBQ7TWC2R5C2VSTZD }
{ amount: u44769885500, recipient: 'SPVYXB9P1JC8G19C8GWYWNT67N6R8FMAVPA68ZN4 }
{ amount: u44737282500, recipient: 'SP113HX5HCPJFS1GZX4QFFZNW59SZJS6N0N3PZWMH }
{ amount: u44734343200, recipient: 'SP575S3J8VF9W18SKMYMES1ARPHZFVW1AG4C7MX1 }
{ amount: u44726032200, recipient: 'SP3QYK14T8E86M87F0GB5BQD42BJKBNX790G7ZVSJ }
{ amount: u44651333800, recipient: 'SPV6W61SNS5GD8QMWNGREEY2K43HMJNA7MWW3V0 }
{ amount: u44616392400, recipient: 'SP34JPGYSF9VTYEYFG2WTG91MF4NRFMZ84V4PZZ2D }
{ amount: u44603094400, recipient: 'SP2XE4K93R9TKP4H1AJBJH84P1X2FCXE4BYKR174C }
{ amount: u44602485100, recipient: 'SP3NDX6RVFBYW97BTKK0PE20SABAYPFVZ282ZY4KJ }
{ amount: u44575449100, recipient: 'SP1378VE1PBMGYJASM6794BQF5T779MX9JGQP035C }
{ amount: u44567830800, recipient: 'SPD2T8XZNCK8NWJFNQ2JA1KMDV6HJ00FGSH7AR1V }
{ amount: u44549700900, recipient: 'SP20YSC4DVT2344K9FJQ0NYAGMBZ019TZ3AWAE1EG }
{ amount: u44497771500, recipient: 'SP1YH3JCHZG9E4HXWMXW9F9YZNTXVKNZ38RVWYA2G }
{ amount: u44482518900, recipient: 'SP1NTPATM6R6EPYZVM2BZ5BHT04J3CAKD5FK57MBT }
{ amount: u44453367700, recipient: 'SP2J0X5N7ZA8AEKC5ZYJV9CSBCHQB02E6V335F98A }
{ amount: u44417000000, recipient: 'SP39RE78643HF5XXDRRNWN3W2DB92JKD0Z56FD4CV }
{ amount: u44322870200, recipient: 'SP21GMSFGMF113P2YHS9GKP68EJBA6FZPM5PYFY8Q }
{ amount: u44317822300, recipient: 'SP3NDFMPFT1F0D253R58Y9CV4JKT145VTC578CB35 }
{ amount: u44292332800, recipient: 'SP3QFQCFZTATAW6ASNGJ0SKP30R7Y7CWGMPTRP1QZ }
{ amount: u44284303700, recipient: 'SP1BWQ2FRTGEQVNBV9MCSN21DVHW9JAPWMPCQDRD2 }
{ amount: u44268517200, recipient: 'SP397A2TKR27E5CQ09Q1BRG6CQ5ASRDN0J67W7EBV }
{ amount: u44231283700, recipient: 'SP31DFRJ0QZ07AK7JHH5P47KNRETMV0W564Y8VB2C }
{ amount: u44230685600, recipient: 'SPPFHSTT5S55DQ8WQQX9HHNM38SY3G51XX3G2T15 }
{ amount: u44229713200, recipient: 'SP9T89Q7X3HVS5XQ4PC4W2690MF3Y635NF38YS82 }
{ amount: u44228740900, recipient: 'SP1W866JVKEKQ00GPS0W9SH1S8TZ0AKESV3M231ZK }
{ amount: u44227768500, recipient: 'SPT5RXAV8H8J7QCQVQT9MHDVR1S7AVYQ347RCHRQ }
{ amount: u44226796300, recipient: 'SPH527FXGX36B04N6B8DHN41V1W5N7JYN0S8GVGN }
{ amount: u44223864300, recipient: 'SP7S5C6EV4MJPYQ6M2C6TRWTDXWB6TN3RHTY67GM }
{ amount: u44223853300, recipient: 'SP3XMS0QKECJWDCQQ2G59BSN6RRXX52CVAQ148XJV }
{ amount: u44200584900, recipient: 'SPPJT145RRMWTVH5WSBWBHBZS5KQXQGX8WGBMYHS }
{ amount: u44123039700, recipient: 'SP2T9VXQXT6013HB1V2NDDZ91M0SY51WJNRZYHPN5 }
{ amount: u44118918500, recipient: 'SP1PDD0Q5MKQN792ZZNTD9MFZN4MK883B44YQVZFA }
{ amount: u44089417900, recipient: 'SP2470N2A31DGDHX541MK2FKJSRHSCW907S5KKYTR }
{ amount: u44088752200, recipient: 'SP4QD1JAAT5Y2A2STM9EN5WT3Z8PHBX6ZVVEFTQ3 }
{ amount: u44013697500, recipient: 'SP192P38P8HSWDYKBB4AXN1AXW2MDRMSNCXBEMAD8 }
{ amount: u44008747400, recipient: 'SP2PECVWDMAXF1MAZEPXQW9A2T67JGYDSYDQZEGS4 }
{ amount: u43971400100, recipient: 'SP36V8CEAZ7RWC31VFFQWJ1Y6H802GXRJ0YCC24XY }
{ amount: u43840519800, recipient: 'SP123GA5TV8FX9F2DPN7HGVRJAMM4RZYCD1KHQQVB }
{ amount: u43829544800, recipient: 'SP10843N29F2G4F1ZQJRV63N7PV1MVQZKZGW6JD38 }
{ amount: u43803607900, recipient: 'SP3Y8HQ17JSR3THK2EFRND9H6H4S5XMJ9P520WK8D }
{ amount: u43741948100, recipient: 'SP3C7HFT6W5PCGSSNP5HQC4G3HNKFCWVT2VK90K69 }
{ amount: u43729099100, recipient: 'SP1S2BXVEF6ZMDT0691PAZM8YKD3JG62XG00KT3PG }
{ amount: u43721000000, recipient: 'SP22Z18RQ2G761SKZJEX8ZNCE9DBA69X4GM36Y688 }
{ amount: u43685039000, recipient: 'SPWBKF5CXWQX9V1D5Z4WDQS9P2BT6JBAM01KVNS9 }
{ amount: u43670185100, recipient: 'SP101BE5NDVHQ3YSYYKPE899FD2SR54A5BAFNBNFP }
{ amount: u43650286200, recipient: 'SP3H4MX3H4M6QQGWGXJT9HYGSNWP8N7XWBDS3Q7WE }
{ amount: u43637784300, recipient: 'SPW5J4GMXAQTMFCXHMBYH80FW7WY383WA6KYYSCQ }
{ amount: u43620323200, recipient: 'SP1PN9KMMAXYEYNVYRG26K0GXFZQZ9JSJZDTWE34X }
{ amount: u43568371400, recipient: 'SP11ZPMFH5M5TAHQ7PBFGYPJ94WWNRFP769DW71ZY }
{ amount: u43541897200, recipient: 'SP168X2TZYA9BC0WNQMZHKVGAEZXY8QRQVWKTB7A9 }
{ amount: u43488384300, recipient: 'SP9W9WPTQ1P1WNEDKSR8HS4G05WFD5SDAZB0PQTQ }
{ amount: u43423926100, recipient: 'SP3VC50B82X4TA30N8C6D47JDBYQYQV162XKHJQNX }
{ amount: u43396719200, recipient: 'SP3HKHHMPZXM9QET04KZJXQECVFTHKCBW64NFWCK }
{ amount: u43361217100, recipient: 'SP352FR22PRMWG4EYV0EJE0JXGCS3GWTZMB6HD6S7 }
{ amount: u43359178200, recipient: 'SP3GCZXGFVMJFDZ47T1CEPQC9Z6YZ38C9ZEVMDTTE }
{ amount: u43291234600, recipient: 'SP10BK5Y55HRBN89RB06EPKFX73SMZF2SCKJ5Z2JX }
{ amount: u43241540700, recipient: 'SP1XP51MEERM3BB68GMAP93N57WAZ0CP3PKTNP4D8 }
{ amount: u43197766000, recipient: 'SP33X71EA6QMMCCBF7EN8V4YB1XYMNAPV9CDXCZ3M }
{ amount: u43195874400, recipient: 'SP3HK9ZR4Z0RZTF9K6B03APPF80MPMBRFZXA4EDBG }
{ amount: u43148024300, recipient: 'SPMVPAEH6477A7HNXEMGR0WVKXBSWN7FWNK7P9Y5 }
{ amount: u43124227000, recipient: 'SP31XW1QMP38G0M994AT4240Y17E66RFFY3RM9Y1A }
{ amount: u43082151300, recipient: 'SPRQWWPCVKBVZYMVQVWZTKHMB7PN6GD7KP7EV099 }
{ amount: u43076396300, recipient: 'SP3X84FWC4V41VKZGGFMPPVM4HD0HC0E6BEKPJY56 }
{ amount: u43073649300, recipient: 'SPCWZ45MRGHCAW9EAT8Z1P8RT5Z2Z43E1RQS5H42 }
{ amount: u43045604000, recipient: 'SP1QBPPTQ8PT5MZDN6FSTQQEWPNRCSXWBF3G26J3X }
{ amount: u43042938400, recipient: 'SP2HX46F5NXXVG60BDKDGQ3044SX0NPE7HPF611NF }
{ amount: u42969849800, recipient: 'SPZH1BSMN0EH5Q5P7EZD4N521Z7TZ1DV266X6FN8 }
{ amount: u42962987500, recipient: 'SP181CM2JQX7D3FR3K22FE299XKJWAY2HFCCNE8Y4 }
{ amount: u42946169500, recipient: 'SP1KXTHRJVGV1PV5VF6F59D69YV8X7XZ1J2R7SKM }
{ amount: u42945087200, recipient: 'SP17AMXKCDMA11WRD4SBQTG6ZFQEKZ291JNN04T26 }
{ amount: u42937373200, recipient: 'SPXWKHBYG0QR3SRMXXMBDT0440G79KWM5CHZ8TKS }
{ amount: u42930673000, recipient: 'SP1MTPCEPW6ERR3NFW2CHSQJZHFX24XGJQ7XVBTZ0 }
{ amount: u42898474000, recipient: 'SP3V318ZJRRSE8NTKTCXQ6GWA1RMFGHHW4P7NBRP1 }
{ amount: u42842463800, recipient: 'SP28BMXDTBHQBSGQY9V7ENWRHRRWJT4QKSEF4K6EY }
{ amount: u42841345000, recipient: 'SP2J70HDMYDMKGJ9GNDVVV0FBW2ESWD259X024ZZA }
{ amount: u42835088300, recipient: 'SP2GQ1V62D47N6ZWJN8Q8AMG0D1VTXAXNMBKAHJKF }
{ amount: u42670359000, recipient: 'SP1H160VRG1D2MXEFJXB2821FAF4WDZTXXMCW187C }
{ amount: u42611531200, recipient: 'SP30Q4KHKJF4BDTK6AAEH6RB7Q3XK6SKR7W7K9Q90 }
{ amount: u42577987000, recipient: 'SP2EW3BNMDFYANC27A9P70TJ01P160ES4B6MHX6JG }
{ amount: u42568000000, recipient: 'SP2HGCNQY5G90NARF6BW784SDE5YK3GWC9PHNZ2PX }
{ amount: u42562313600, recipient: 'SP2G90NGF279BY0GZTVD4YNSCQTDP5JB51KQBF7A2 }
{ amount: u42485399300, recipient: 'SP1BTA5Y9TTZNTRA1GW8QNTEGPZBKPWQEX1T8S3XA }
{ amount: u42457149000, recipient: 'SPJEGE8WDSRF414YNKAJ58FDVT9EGS1AHYE6MNVZ }
{ amount: u42419623300, recipient: 'SP2C4RJRAEWDFXFP3CSKJ7B696KM492VX632Z6JJB }
{ amount: u42409015900, recipient: 'SP3B3989B383FDG6XX2WM7QDJ6TYRQX5N3WB8E7W5 }
{ amount: u42398353600, recipient: 'SP1BFZTJEM757909Z2EZTE69ZHY32HE8S2X7945ZJ }
{ amount: u42342078100, recipient: 'SP162Y29KZKEYDAK8STYG69AK08DZSNDTTTG5PC2B }
{ amount: u42336935000, recipient: 'SP39YRFESTW0C76TY0PXFNJ149HE32MYRV6KQDG9C }
{ amount: u42327487300, recipient: 'SP3J5KGR8XDR09PMFM2554RHVPGFJRR2BGDR29AQ0 }
{ amount: u42299172700, recipient: 'SP1KF22FMF2FKA8GNNPEREK9QQSF57B253Z684ZWC }
{ amount: u42259550900, recipient: 'SPY79Z43NM713XTJ07JCW7MEH3RTD67R2PNGX0E7 }
{ amount: u42250328100, recipient: 'SP2CYSHS4FXFJ5KSZ8VF35PCD80H0BPTQS1653523 }
{ amount: u42218956600, recipient: 'SP3TPG05HKNVHCF378T14VTGR17EKEG73CMZXJNFC }
{ amount: u42122184900, recipient: 'SPAJVEBRBPW761ZDJDNY2MQDWBC6AFJABS5ZP0R6 }
{ amount: u42097444500, recipient: 'SP19WVWM8S602R90QGBK29Z60DB3W32S6A7SYT55A }
{ amount: u42053002300, recipient: 'SP21XT9DS59ZE77QES5JJE6EJE46X6QBKXRAD8XWS }
{ amount: u42039214600, recipient: 'SP1HR8A3T64SWJ2ESPZ68WHTMBCX2TPTQZQSN54AG }
{ amount: u42037000000, recipient: 'SPFFY4BQ1Y8JBM0F76DNV0DNC4R6ZFQQRHZT8GXY }
{ amount: u42018058600, recipient: 'SP12JPMW8QCBFY9YQWJYFRMERZWYJVCPKWS9P7Y11 }
{ amount: u41908395400, recipient: 'SP2EVJBZF1TP9JPG0JF6Y1ZR3M4E003ZNDSXBSE1X }
{ amount: u41904427400, recipient: 'SP1R5BFBPXNCAA81MB0SNFMQEGCNK2GQNGJK2WFSG }
{ amount: u41896656700, recipient: 'SP20QDPX5Y42E8610AMV4N2GZTE7XJN34H75T7HNW }
{ amount: u41894439800, recipient: 'SP191YVTE569RSDQHYP4HM7WKW25CKM1W3W88ZDTS }
{ amount: u41885067800, recipient: 'SPKNXXMPJ8EXWVH00Y9DQA3575PBRGAA4JH8H9WJ }
{ amount: u41867699100, recipient: 'SP3K23P3SQCBVZQTC0JM02YFWNTYKJNT1PB9GHGW4 }
{ amount: u41860077000, recipient: 'SP1D28BFP3VKDVZ1F0K7812S9CZER6KFWDPG8SB12 }
{ amount: u41855175600, recipient: 'SP1N4KB47189M8TE6Z2SW63T2FDY60D50ZGGAJ5GD }
{ amount: u41799037200, recipient: 'SPME14F1HM52KV4MFRW05GY6N5P1XRGASQTTN4CH }
{ amount: u41751124300, recipient: 'SP3TXXR90R3MB22VE5EMG0FQ5P8874AWGWZXTFDVZ }
{ amount: u41735730900, recipient: 'SP348TFC5V9R1HS22T8HHFN3S5JGYK60FE9MBHJ68 }
{ amount: u41729000000, recipient: 'SP2FAGY411BFYRQ9F1NB32GTF8JM8SCSC40P049ZG }
{ amount: u41727526800, recipient: 'SP2K0KP3SCDBP2KJ03S343W9Y2TE4FPJNVCVSE4G7 }
{ amount: u41708900000, recipient: 'SP1WW7BS0YX5FGN0WQD8AA63HJRK8S2ZRRNR4DXGD }
{ amount: u41669872000, recipient: 'SP2C3BT94220MS7V0AQ4B0MJTZPZ5FV59T76HAF8B }
{ amount: u41664671400, recipient: 'SP370FDJJJD7XGR6RPZ5M7DYGMFMR7696QG4VJ2HQ }
{ amount: u41659622600, recipient: 'SP3MVAPDHHZVGK4X7TNG07VE7ZRY5FHRM02D6R9G2 }
{ amount: u41649000000, recipient: 'SP3S1MCJGN43YEKSADE4EM24C4YDSV0AJB9X5KWJG }
{ amount: u41646162800, recipient: 'SP3TDMGG7JXKDKKJQZCXWRSKJD0MPGSZ0NGT6ZVJM }
{ amount: u41634358100, recipient: 'SP2D86EYKZ4TFB7RPRYY0Q9C60T6BH3ST0S4PS82A }
{ amount: u41631419300, recipient: 'SP1C5F1WS6X76KF7RXFC72VNR6N64GWMQ0PNYA7PB } ))
(define-constant batch-37 (list { amount: u41622958400, recipient: 'SP1J55SAHG2DWK86D2H546ZMNHCPGY52PD6EWZ3T5 }
{ amount: u41617000000, recipient: 'SP3ZWB5PH6JEE6ATKTX63P783DZPGJE6S615EPRZ2 }
{ amount: u41590270000, recipient: 'SPW7J81VXQM6AKR21Q5BNEZYFR9Z9E8J1SE7C9AG }
{ amount: u41580410000, recipient: 'SP2J4SVNASFJ28JPQ8K6V9A9FF0SVT9G66TKK94JN }
{ amount: u41524934700, recipient: 'SP1TY7NQJ1HVS68MEZ4B3QB4AJWSJX9KFWMMPV2D7 }
{ amount: u41503555100, recipient: 'SPK3GNG4BTK6PYT2N1WA7N52M4PYN2DE6FPPAHY6 }
{ amount: u41462640500, recipient: 'SPKWQM17S8111SGMMED6JXPARN2QJJFVXGK21DSH }
{ amount: u41360911800, recipient: 'SPV9TZ0MPMHQM4QYY484E1ACF88N8FG3D5M8PC64 }
{ amount: u41359921200, recipient: 'SP3K0F3RMY4N3DR9J9SHRNW4ZFSVW0CKPMC00Q0CZ }
{ amount: u41349377800, recipient: 'SP10V79N0CCPE3BGPXVNKD8X0F278W5X4G5G10A84 }
{ amount: u41332125700, recipient: 'SP39W56DTTWZNT4PN96RY7HNBQ0KH8QQZ9QPNNVNN }
{ amount: u41317695300, recipient: 'SP10DXWDP1B47Z0FWAGH7XJFGXZQX4WDPRFA2P3YP }
{ amount: u41317695300, recipient: 'SP3QJNJH2CC40SXYVX737D1VH8Q5YG7X6QBBYK3GZ }
{ amount: u41314884400, recipient: 'SP38S972063H4Z0Q601KT4FGS3QPR8EMCSY8FNNSH }
{ amount: u41308113400, recipient: 'SPHNJ3WA819RVA2MXEB5TRSS0NYY0D41TGSRT6CD }
{ amount: u41307362700, recipient: 'SP1XT3KS1JGBAD5JFEAC0MBYDGA61NAV64HXW5706 }
{ amount: u41297653900, recipient: 'SP1GGC3XA8HTJY97PZCXZQQ5JHJHJDDGFH8WH4B58 }
{ amount: u41287401900, recipient: 'SPS1BZ7XDEP906VS8FGF13YV47AA4HZDTM1MT3C8 }
{ amount: u41264187300, recipient: 'SP1W3H2JQNSDPJ4Z53J9039ZH3B5C870QBZ9RRT8H }
{ amount: u41263653300, recipient: 'SPN67BQNSQYQKYTCYH8WT6PJ32HH52WJ3HEK253Z }
{ amount: u41166199100, recipient: 'SP3ZSV5B3H547NFTMMPGNZRSAM06GEQ9GEC116AAD }
{ amount: u41151246700, recipient: 'SP23VM5NPTJXD1WEW9SAVZCZWTVW6NZZK6ST8VN3Y }
{ amount: u41144379700, recipient: 'SP3P4ZT3G1AKNNN8H4WHHK435BPZ6KDD71H0TN7F1 }
{ amount: u41109663400, recipient: 'SP32RKGF316PX4TZNB7H8RCKX9BH56V4YXHDJMG1W }
{ amount: u41042492200, recipient: 'SP35T4H8D091BC3RGQ6S66DSDBVY2EVP920QHZKNW }
{ amount: u41025183500, recipient: 'SP1MME554KF07J9QJ5YTMR84Z7THM0D3Q35BG0VV7 }
{ amount: u41010318300, recipient: 'SP3CPAVEGK9XJ9EK83RVT068AQQHG9MMWYX4X8HDB }
{ amount: u40996170000, recipient: 'SP2DZDK6VRK8NBRWMCHY3AY2Y9C58GVEFPZ16JX5E }
{ amount: u40977083000, recipient: 'SP1AFFK0ZM96RFRWZK7A9ES5B8C2FA956TPG4QAEV }
{ amount: u40976430800, recipient: 'SP2CC782P2K8HRPD6T9AB32YZ1PJK9SCR9SSSK4BG }
{ amount: u40968370700, recipient: 'SPYK333RF00HJN5X7AS18Z0WZ0AQAF5Y53QGN5K5 }
{ amount: u40942484500, recipient: 'SP1KT0PDT07E5SNNBN3PBB459A21GTBTA43S2E571 }
{ amount: u40908902000, recipient: 'SPGED0GZQFAG5867GB2X4NVW4AZ2N7X01H1TXMSV }
{ amount: u40882099200, recipient: 'SPSV4TXVP768KRDHRHZBDHENG29M920A9G30R4BX }
{ amount: u40870227700, recipient: 'SP14R19XFVK5N7028ZDGN3C22PJT7KKJN7HFNQWSN }
{ amount: u40794371700, recipient: 'SP2SB8RF2MTHV1BDAQG0N0V61QA6WDY65K656XQ6G }
{ amount: u40785090400, recipient: 'SP2R62167DKFM8MNHGFF3BW3K8V6Y6ANXWWRGMEYT }
{ amount: u40763892400, recipient: 'SP2CV2396A35VVN23K49B9KG2G13SXMDQCD9CZ5TT }
{ amount: u40749863400, recipient: 'SP9T6E5269VSZW08Y4W8F7GBE0NMDDSHCSE6HABH }
{ amount: u40686375600, recipient: 'SP1Q9MRNZQ3ZK1HPG7Q7JYAKBTP8NEVHGHT8G8FFR }
{ amount: u40656245900, recipient: 'SP1M63MXY0MT59TKXNYXB2F0DZ0JKTKE7HYDPJBG7 }
{ amount: u40639399200, recipient: 'SP37FBXTRYHDJRFDF9CTZP4GF4SKGGYRASECMGC87 }
{ amount: u40588288100, recipient: 'SP1PJ6FG587CQK586VSZNHDK60H724F7XJY6SBBG3 }
{ amount: u40573496800, recipient: 'SP24T9VTN64TGZYES2H91V9SP7HMNGV2J13Y46RCT }
{ amount: u40573221000, recipient: 'SP1V8WYZVB23YA8E6CJMQS4P4FZK8Q0KT5SDFKWXN }
{ amount: u40567274500, recipient: 'SP1B58CDKCQC0549S66CQSESMPZ85QTY7W7Y2XCY5 }
{ amount: u40562366600, recipient: 'SP2FKJVYETN8SCSBFBD0WKQWQXCBEQ1WW5KGWMY8R }
{ amount: u40546161700, recipient: 'SP1DVN61RGSZSNTT1QVQPP7KF7CFEBYVV4YDE2B0P }
{ amount: u40542668200, recipient: 'SP3VDYZXV2X2PMZRC5H95C0156XD0049FC1NVRG8G }
{ amount: u40500000000, recipient: 'SP1G7ECBMCVV3SYHVMKB2CHP22Q4ABN3RX4PBVXKS }
{ amount: u40500000000, recipient: 'SPRJYAYK3780MR5K2CJJN2FF9EYXDD3F6AVQBR4Z }
{ amount: u40499921900, recipient: 'SP1CTHYWPMJCGVD4QR3TDQFNN5E0VDRN5AQWJ5WDG }
{ amount: u40464859100, recipient: 'SP3VTF4V6G3VA34AZNHBE6G6KH3YG19ATFYZ1X6DY }
{ amount: u40451545100, recipient: 'SPAK46F21GZ589D93MS548A0G6QFZJWY8B3ZCKKW }
{ amount: u40392415100, recipient: 'SPAFRYT831WS7ZRHGZBPMNCBJRBC0ZT884HFXERA }
{ amount: u40322314100, recipient: 'SP30FZGZFDDEKYTDM4GDDPMABCP22BVXTJ3TA5G13 }
{ amount: u40313790000, recipient: 'SP3AHS3GZ2166H5M2GCPHW7B82SH6WEJNM9M5QJ1R }
{ amount: u40276409900, recipient: 'SP2B1XN1BXS9J4T0DPTR5EAWVS9VPRYZ3RHFDV6A9 }
{ amount: u40265551900, recipient: 'SP2HJA54TZ1JRSBC9SFNP3B5N31H54WZXE975N6N9 }
{ amount: u40187706300, recipient: 'SP3JTPR2S326PAX62DYHSJSK8J04713W1E7MG7EJ0 }
{ amount: u40109099300, recipient: 'SP1D984ZYF9FS2Q7QKWTK5ZA882BCFKGP3GAT0PG8 }
{ amount: u40099809800, recipient: 'SP2F47VRE78JNV4K73NR5FBSJG38RC6WXNZAMM9C }
{ amount: u40058873100, recipient: 'SP69H8C9R1VWW2QEBJXVD79CPNZENW3ZMFH6G182 }
{ amount: u40039590600, recipient: 'SP1SSF31YH31HQ5VPJ7ZRB17ZT5TBPG79YQZPXKW8 }
{ amount: u40016384700, recipient: 'SP3BRZD3AYFWSRGNB4HQ66N9X45HD8FFNQN6JVJ70 }
{ amount: u40000000000, recipient: 'SP1TR46FRRNATACWKD49VMSC8ZQZ968BCTVT66FFZ }
{ amount: u40000000000, recipient: 'SP1AE6F3CV40G3RBMNRF76ADRXYAKBVVQRAZJT4B9 }
{ amount: u40000000000, recipient: 'SP1Y0Q4DQ2EZ1SZ15AZGFW2K821PZSFZS8X1TJYYQ }
{ amount: u40000000000, recipient: 'SP3B75EF8CTXCVKVZPA32BPKKK54X044YKAEZBXTS }
{ amount: u40000000000, recipient: 'SPG7Q82AJB073GW14AEDJSXM1YXW2TC4HJ2XT9PJ }
{ amount: u39988981400, recipient: 'SP2521CV0MJWG3T1RWSK3Z6A49QQRN6W9XTXZJYC4 }
{ amount: u39979356800, recipient: 'SP169XG7AN0F08NCH85F2NM6ECWQH8QRZ7K3RYZY1 }
{ amount: u39968336700, recipient: 'SP12H0NXBA2ZDP043KQ8SWPMENCY423X6MWCYQCW0 }
{ amount: u39965501300, recipient: 'SP3TV191E06GK2VPM722SBCTKMT1C5MKY42H2PAHE }
{ amount: u39960544700, recipient: 'SP1P9H14GW8PSX101F5MSP8TJ4F57QJM735294HMB }
{ amount: u39902947900, recipient: 'SP2B206BP0N3R1N8YKR8KNYW1X916W4VTBQA3HXCT }
{ amount: u39895370800, recipient: 'SPJCCF055D1757Y7WF9SYSVDTK9C7X5NRC3V004G }
{ amount: u39826611400, recipient: 'SP1EEZW2RS25RTFYSVA713CVAXFGSN3JKNKAR23H0 }
{ amount: u39794147100, recipient: 'SP3BKZ1RW7RYFB95VSR0W1699W8X013F807QX3SRD }
{ amount: u39717474800, recipient: 'SP3Y3RQR7SJTT0B4FTDEKWC5F7CBS0YP5RPGY2Z7V }
{ amount: u39672033100, recipient: 'SP3ZZCZZPV51QHETZVDE8KSZTHPWFS99J1J6HWX7C }
{ amount: u39653474000, recipient: 'SPXKE67672R5D3AP8Z2VFG8S2SC0HQWWPE0CRJ5M }
{ amount: u39550353400, recipient: 'SPFD0Z2W50QMWRQ27ERW7KNGNHK6Q74EPD4C4TNQ }
{ amount: u39472744200, recipient: 'SP8HKNXE3F5WB7FGV33XBCTYFJ5FJP8CWKTWVTW9 }
{ amount: u39276898900, recipient: 'SP1WXMX9PYKSH86XW29Y30PKKSEAS4MKX9XJQ4GTG }
{ amount: u39247000000, recipient: 'SP2AF474V6SB7VTPCBRM6MJRVC0WFNHJ2DQRG1KDM }
{ amount: u39223005700, recipient: 'SP8KM4MBEFFZPG3J0BXHRFEWRPDMFFPHEKPDPKVN }
{ amount: u39194031600, recipient: 'SP240Q43GSBEGWNZBNNK6ZHEJAZMW6E57A1YS83ZB }
{ amount: u39111363400, recipient: 'SP2XFT8CR6P0JYRTCF49XW9AN53DGK6BNY5D98D2C }
{ amount: u39051353000, recipient: 'SP2H2NJYK8V8B0PC3SRF0T2MSE010W1RNT3Q410V8 }
{ amount: u38996077200, recipient: 'SPQK1361A522A2SY6BAF8M9WD9TE3NEM2MXTYC64 }
{ amount: u38990000000, recipient: 'SP2N7H8ZZZXZJ6BVFQ7MZJG02TNVYK47GBZ88CSYQ }
{ amount: u38983348900, recipient: 'SP5BDXD6NQE356G1VWHZQJTYRQCJPM9CJNJY0096 }
{ amount: u38933972600, recipient: 'SP3E3P98471BVV17EACXXHJK4SN0KMDXXZCXWZXJ3 }
{ amount: u38927067400, recipient: 'SP7N20A2M382VKV7RH5V84J9MKT05WG8PZZD46KC }
{ amount: u38920123800, recipient: 'SP2V4AMHZ957CC0J5Q845HXSXZRF9FGT4VVHBTE9P }
{ amount: u38890916200, recipient: 'SP3HH5N56HCGZEBK6H5EAJK8TWFRR4AMKM5VA4EFR }
{ amount: u38890250300, recipient: 'SP1GG36CKKDTASSEVXFKQ2FBBRDMHRHKJR4MHRAX6 }
{ amount: u38875442100, recipient: 'SP274BCSYJ9EF5MJQ7EDN4YWVA3HZSR5SC7G11MCB }
{ amount: u38872639900, recipient: 'SP1K94HH1Z8E9QEMXSE4KQ3BHQVYS8B002D5S59DP }
{ amount: u38872439400, recipient: 'SP3BSNDWN9SC195GP7XQWE9M35JX609ARKNT12RAX }
{ amount: u38866288200, recipient: 'SP6VV2AFXM7ZMT5V3ZAE8M6JXK9EA5N1GPFHJC4M }
{ amount: u38857740600, recipient: 'SP43T5H8RGSA6MHNMQEKGC1NMS10YP7T47X7XZT6 }
{ amount: u38818695200, recipient: 'SP2JSREEZYRVPFSZZJ214G4Q2Z3CD94GAYDXPTMFM }
{ amount: u38816807300, recipient: 'SP24E4V1MZG5MM2VZWTG4R8K5N4NK05PXQB5EYAMR }
{ amount: u38756781600, recipient: 'SP28P7QS0H4WR8K235Z3XZTJJXF7JNM7FGC1DS96R }
{ amount: u38743740200, recipient: 'SP2HEHMC38QSTQ849D1Y86GAQPATWC4JCXYFXR3HK }
{ amount: u38743733400, recipient: 'SP29R8MZETXCKD6S7ERJJD9YCCBDWRHQG8N60YAJT }
{ amount: u38577504400, recipient: 'SP3MJ8E80Y07CG8V3Q44XRJGP7S95K3H06VAZVT3E }
{ amount: u38563684700, recipient: 'SP20ZE8X4R8A3E4JCVJBBJZGD145YAW59X2FK648A }
{ amount: u38530316300, recipient: 'SP19EFHJDC9C4RX064BPJ7SFXXD5CQRFCF199129M }
{ amount: u38524521900, recipient: 'SPVQYWSCQV5M8TB51VQXWPZ2JH748W97HJPKW65R }
{ amount: u38521006500, recipient: 'SP24SRZ577F4VQZ9HGCHTGN45YHTX0KREG3V5HYCC }
{ amount: u38517058100, recipient: 'SP19BJX7HWGJN1D71WN9ZH691N148TNZJMY7443AA }
{ amount: u38502015200, recipient: 'SP1M5YRCB7D51AYMRHTBSFDCR2XZ62MHNXH33SNZG }
{ amount: u38384247700, recipient: 'SP1XXDAEVHY9C9BYPAVEEB56VET0YXSE1EHGTY64F }
{ amount: u38295011100, recipient: 'SP2WN5ZV57N1GDM7SNXVKPR6MX6MFW1KBMKF2QDQ }
{ amount: u38245778500, recipient: 'SP3QC0PEF14N7HJB403T6KFY32PGKKSWDK197EFPB }
{ amount: u38225497300, recipient: 'SP1AAYDKB68SPAHNX6XGZ5XSETQVENJZ0ABFQF89E }
{ amount: u38222091400, recipient: 'SP39A7W5R15WA5PFS7TSPYHHAR1RE26433W06EF0N }
{ amount: u38138912700, recipient: 'SP1THGFTXNWNVJSJJPGR0J880JWQZPXEPJVMRPPZA }
{ amount: u38116981600, recipient: 'SP1Z89KPM65BKKP7NF9Y2T639QMKBG71TJ1N5PHAF }
{ amount: u38106726100, recipient: 'SP9YRTM94GXP457RTHCDCNGTS851VXFNBV9TZXY9 }
{ amount: u38103968000, recipient: 'SPYNRS0500KVNE2YSCJ8VSBSDQK6NJBBQN779559 }
{ amount: u38098531900, recipient: 'SP1MEWJPW7H2VCGV9P1H7SC2N2ZQ1GNHSQW24PXKW }
{ amount: u38094511600, recipient: 'SP3E5JF3P28Q75GCNS3TV3GJF3D4257V6FNJFFSZX }
{ amount: u38093889000, recipient: 'SPNM29FD4F330TF62YPMZHAK6MJ4A0ASW70VW2YH }
{ amount: u38080466800, recipient: 'SP2Q6VJ1WW047PB4SS449FSWJM4TQQ6GKHG5289HF }
{ amount: u38070804400, recipient: 'SPX25FBVGM7XZC2QF5AV8J3Z1VVA1CWBXC0W8QES }
{ amount: u38049683600, recipient: 'SP3BCPA56J0SC2083YJ5VXPC1X51HP51A0HFG6WJM }
{ amount: u38034128100, recipient: 'SP3RVFFQ1EMCN51W0D8VDWYP58QYAYKYV7XRED1SJ }
{ amount: u38023850900, recipient: 'SP1ZM2R45M99Q3VT6YNTAJNE7ASHX97V1R6BDPB8E }
{ amount: u38023234500, recipient: 'SP1Y6ZAD2ZZFKNWN58V8EA42R3VRWFJSGWFAD9C36 }
{ amount: u38012655600, recipient: 'SP2SWNHT2Z548J90EY7M5QCW1GXSZ0PH0CR954SXB }
{ amount: u37964615900, recipient: 'SP29HR2WTSA76PH8M370W356ZWTYASYSMCT2JKK69 }
{ amount: u37949807600, recipient: 'SP33RZ093HX25M4HJJ51QY02W66V834D1ZPRTR1CP }
{ amount: u37925241900, recipient: 'SP276GKWN7R12Z0CE92SH30BD4X8H8WV8NZ6A6H6 }
{ amount: u37916058300, recipient: 'SPGXERZDS6SGQ8HYSTP3EV3S6RDRMVBY2PK9QSRH }
{ amount: u37913644400, recipient: 'SPFKAHAWAHG1HDRV110YGYRZ6Z9218MC827B50AY }
{ amount: u37900000000, recipient: 'SP2QF54H6CVEPASPWH6H4QC052082Z8S30WES5HNF }
{ amount: u37864133300, recipient: 'SP769C4MSSE25ADQTD3ANNE4VETTC0ZEARD1BX8E }
{ amount: u37863000000, recipient: 'SP2DYE52FJJW9128PJT5G0FE1VY4R5C4QBKYPE86V }
{ amount: u37860026600, recipient: 'SPJEBYXCHVZY48KRXE17HXD0VWJEE3RFXN38HM2M }
{ amount: u37828125700, recipient: 'SP32H79D450CQT34N839R53Q0HGXMVRVTMZ6G7FTY }
{ amount: u37827027300, recipient: 'SPE9R5TQCEPNQR8H8H08GWKWEW40E8FM2EY50BZY }
{ amount: u37826465300, recipient: 'SP1SAMMBF2TZEZQDH95495NR7Q6F510KKP2KMPBY9 }
{ amount: u37823652200, recipient: 'SP3CG8X5XK8JK45KQNE6WE9ZDFKPFGDH4WKWHCJW7 }
{ amount: u37822860800, recipient: 'SP2CXY2RSY2VE29GN8B8V758C3WKCKXA99F71J691 }
{ amount: u37787682100, recipient: 'SPPEW140YTSGCAP40K1VEX9JVQDSKF4G2PM4DMY8 }
{ amount: u37772835400, recipient: 'SP2TFBWDFE6YFESBJXG9FM2M00ZPRS2EF01X1YKCT }
{ amount: u37720848900, recipient: 'SP2DVH2G43CMFCZP1N9KQZFP10Y90MJVXJ82GR2TG }
{ amount: u37719929100, recipient: 'SP2SSF1F715CHHZ1BSADY8N6DT9W3BNJG99P7H25 }
{ amount: u37719009300, recipient: 'SP29ZBNGZZYJYGV5VRSBPV6SRGXW7Y5YXZQMVW9ZT }
{ amount: u37718089600, recipient: 'SP2CQKQS28XVHQXBGGJNK6P2W1XWS5FVSM2SWKT2M }
{ amount: u37717169900, recipient: 'SP2TVR2X4ED51DQM2HYRJF5343TED719EZKA9DM39 }
{ amount: u37716250200, recipient: 'SP21DPYWKC3FHEFKJ9ZP4GR3NM35D8VWQ68E9GJNJ }
{ amount: u37674465900, recipient: 'SP3EZ4DHHRVPWF2C47E96MFEF1VKMZ6S4N3C1PSTH }
{ amount: u37659855600, recipient: 'SP123K9CAQEK5Q77MR8VKNGJPMJKZDKV11T8G7HJN }
{ amount: u37606342800, recipient: 'SPCM0QH6AY221WBJ340QBHY5AHXYQVQTFTAKZS8W }
{ amount: u37588280300, recipient: 'SP1YH3FVH2XDJTVRSF8NP61ZPAAZVDYT5YARY3483 }
{ amount: u37518599800, recipient: 'SP3D03ZB6GTX1SRDXF8C000FTD61E1XDT6QPZ52SX }
{ amount: u37515988800, recipient: 'SP2W5HPYCDJKRJZZS0S8TJMXKHSN5ZE1CW2N2T799 }
{ amount: u37500000000, recipient: 'SP3836QSBCE03439M2XNH76RC78360Z4C69XQX9C1 }
{ amount: u37478209300, recipient: 'SP23878XVX27Z96YVWJNANFW4GP2GRCH7T2MSC4SM }
{ amount: u37470433600, recipient: 'SP1JRRD8W7PTYJB025P8BRFD3MR55X2WVMTQTSH0V }
{ amount: u37446504500, recipient: 'SP22QYJQZ2PQAZRW1P4Z79FGBCSX9GRTA87T3PKB5 }
{ amount: u37414167800, recipient: 'SP18RAG0JAQJHY7PAK2HQWQ2AXY0H47XSKZSJR758 }
{ amount: u37400433600, recipient: 'SP2SNTYWP996EJZM1QDFP19GCJ035D4A67X2NWNYB }
{ amount: u37394986800, recipient: 'SP1RXWK3FX4RDKTH2R2SAM0NSMCXX6DVWZWFEH320 }
{ amount: u37378172400, recipient: 'SP1CKF60HVZ4CQYJQZRGWYNB8RCS3Q7YPCZ0YVTC8 }
{ amount: u37342203300, recipient: 'SP22506R7KAJCRWTNWW7MM83ARYEE1GVSAXEADF8J }
{ amount: u37340466400, recipient: 'SP3YPBSRHXX6ACPD4TS06T97FZ1VTMVEYZTH0B6S1 }
{ amount: u37336450400, recipient: 'SP232XX3Q5R4WE0A1Y4KTY4HM9MMGTNXPA6VS814Z }
{ amount: u37316248300, recipient: 'SP31SWEY9R4WF82E6689YN4M9KPWVRPW9W054T7TD }
{ amount: u37285145800, recipient: 'SP3TSS69VMXYP787KYEPZDDB49WS39PEFNECYKE8W }
{ amount: u37278147200, recipient: 'SP2TA2YZFYRT77GMEFBE5X94X92S15DAWVK1KBYKD }
{ amount: u37272586300, recipient: 'SP1J8FWP15C5PZBZEXS1SG1T3E814EFENWXA9DA0F }
{ amount: u37254992000, recipient: 'SP2HMAXVAMSW6Q64G3BZVSP5ZQQPC3FM90FZ89SQN }
{ amount: u37216007200, recipient: 'SP3AA6361GZDFRGDPQ8YYYH35DTV438JRCVNAHBR6 }
{ amount: u37209202800, recipient: 'SPEW25Y6T22DQ58KE0J8CVGDZGTF6GCZNE4ZG7MK }
{ amount: u37192440000, recipient: 'SP29VZZXM3MGGHS6YK45QK41VEBY0Z8TZWEMQZK2C }
{ amount: u37162535500, recipient: 'SP68EDH6QQ0C39SAD8J5YDED0EGEVAX35011F8BW }
{ amount: u37130000000, recipient: 'SP3RNSQTBRNJJN7ST1Z0JBFMHQ7N41PYQ8KFP6VH8 }
{ amount: u37100000000, recipient: 'SP2Z5PWV70F1R1DQJSW3V2HK20KED19GHD7R8AFP }
{ amount: u37100000000, recipient: 'SP64EYZWQ7H0TXK7EM1CC39KPAT0KX7K2F9ESJ6P }
{ amount: u37100000000, recipient: 'SP1NN38JE275YDM402DJCM8XE22QFQBX177049CEG }
{ amount: u37100000000, recipient: 'SP2WWVHS6DZGGHVRGVRRSS1K32WHK8BRNJD9668EA }
{ amount: u37084759100, recipient: 'SP1CBYSN3HAPBTV14QNMDZRBRJB16E0FS5MCV2Y0V }
{ amount: u37040202600, recipient: 'SP184VX5F3AC5QT1TTEDDW4T1FRCX3Q9JK6VECF3S }
{ amount: u37023708000, recipient: 'SP1CCNBJY5WHGR42CXSQ3P9161NDRAWZHM5MJJ8QN }
{ amount: u37005249300, recipient: 'SP3MNSMTHRST0WJZF1X8B5JPKTZ09M24CHSW8XYN7 }
{ amount: u37000000000, recipient: 'SP2DQ4WJPP06DNS081H62NKJRF3RBB7PQ6841KBH8 }
{ amount: u36999788200, recipient: 'SP1E435XD8AGME0479VNZCSRHHGBSDS7245TSC37R }
{ amount: u36976607900, recipient: 'SP2DEYJE6FYWWBYE0XCJME48379J6SJ654TNJWWG7 }
{ amount: u36889813400, recipient: 'SP351KHZ7X8BC6ANNQNVA6AW8YET93G68JQXR33TM }
{ amount: u36857892200, recipient: 'SPWWY336T0BMDZ5E0D1B8QM5CPM8TE0J99PYY20E }
{ amount: u36834648900, recipient: 'SP3N3JXAAFPHGHB7HDYZA8GCESF2G9W0B51W8YN79 }
{ amount: u36819185700, recipient: 'SP12WWAENT8PHFA7JNDK2M0Q644EZNDGMJSHVJ9S9 }
{ amount: u36814960000, recipient: 'SP39ZZ10APSSWDFMZVWH3PEJAZECRJYVKBDMRMVXW }
{ amount: u36809356500, recipient: 'SP1R38W8ANH0KBW5ASC6DV3456J623K4Q0V4GCWT3 } ))
(define-constant batch-38 (list { amount: u36800000000, recipient: 'SP5GS1B27T2CV7JSVPY6H2XY7QWY5W0R23DSYYEV }
{ amount: u36759295500, recipient: 'SP1QASTB5W0BVBPWPHTDPDK0SYFF6Y5BVCRAXHZHR }
{ amount: u36738000000, recipient: 'SPPNA91KKHE38MG9Z0F25DBSMKCY22YJTKS5VZBF }
{ amount: u36727651800, recipient: 'SPJ0ERDET12E9SA4X09G4SF9BFAQB7490EJC6QAH }
{ amount: u36718878700, recipient: 'SP2ZYD5BYCMP5YY43N4C18731MXVHG3TKY3XS0BYD }
{ amount: u36708137100, recipient: 'SP1JTQ988GYBQKZARR03XNKQBGTTB181VNAQDEM1E }
{ amount: u36708017700, recipient: 'SP195G9SFA68RR0SWZJW9ZYWSVVFTN7QPRTKTFEH9 }
{ amount: u36703247900, recipient: 'SP1H8135WY0HB7DY3SYCB4NF2H4A882XHGWESWTEV }
{ amount: u36628180000, recipient: 'SP2T4TG9DYPYBPX2JMB2JJV2ZPJD59652A1JS3460 }
{ amount: u36605357000, recipient: 'SPAPBGG340JYMFQCTWSYXS7G304Z6T05FNF05SRC }
{ amount: u36568442300, recipient: 'SP1HPX754NE0H6GRY27TCW52PJ5XJ2DN9K0S54J0K }
{ amount: u36534583900, recipient: 'SP31KBGD3CYC5FFADFDH1H5H18QZ8T5P74HM9NH3Q }
{ amount: u36528755800, recipient: 'SP1YW1YWM53EW6VGWX8C20QETAK57YXEBZTZ0C9NC }
{ amount: u36396895300, recipient: 'SP3V49RD5EPQ7DVPH10VX1QABQ7KJBN48B2CGV0HR }
{ amount: u36367120700, recipient: 'SP3FYANEPQWPMB6AC6QF65Y78X2HRAE1YKTFA4P0A }
{ amount: u36352971000, recipient: 'SPCFA8CY7MGEVWP3QBAV8EK93J5NF79EBQVADB4V }
{ amount: u36315660300, recipient: 'SP1DZJ3P3XEZPQ3WRESFG4A1ZB0DQ1XXBT07542JP }
{ amount: u36300747200, recipient: 'SP2G01D0STSPR9Q9A0RB0DJ6ST0ABWVV81ZYCGWSN }
{ amount: u36280425600, recipient: 'SP181BY5DXKKBWZ7609DKEFZ3A7CPGBBHA0CVDFSM }
{ amount: u36268509200, recipient: 'SP3G74N2RR2EV7JJ2D4BH76SF2MFVVZSK0DCD94AY }
{ amount: u36267000000, recipient: 'SP2C7T6WZ9DKBFKW3G11936Q2GBRDEYT7TM6RSYV4 }
{ amount: u36240816600, recipient: 'SP29C5KZCCGX342DY9G9RWQ1GZVJF6E3ZY9Z72D7Z }
{ amount: u36237913200, recipient: 'SP3CJ1NCKCF58JQ634451A803V1HBW1HGGB9AKS7 }
{ amount: u36229473400, recipient: 'SP33AYXNNT2FRG5K9N11YK9RDYAS5E3DH7XT673AT }
{ amount: u36176473800, recipient: 'SP24VASRH4QEMR2MH2FC6NCWP062JGEA28HHFF8TF }
{ amount: u36174281700, recipient: 'SP21125B3JZM6FQ7VSC1YXNPED2HMN7C7HEERGV8D }
{ amount: u36143373600, recipient: 'SP3R7E4WZCECZYDC6JEDR4MRFC0KW88PRAAKQK3Y }
{ amount: u36113432500, recipient: 'SPCXVZZAM5TQP487REB34ZZYQP3MCJ8DCSBBKFPX }
{ amount: u36096972800, recipient: 'SP2FB1N6G6SPHMG8PWG1K4FF8D4V5A10S95VJS0M5 }
{ amount: u36077206000, recipient: 'SPXZ1BGSTPZ7RD1S8S7MQ3JFP8JGZ9WJJ8KSE3HQ }
{ amount: u36073239500, recipient: 'SP3YPW9ME7VJJBR0K1S71F92P0E8BW7GNZ9MAYRA2 }
{ amount: u36071361400, recipient: 'SP3E4A5GB0XK0YE0HPT1YY2BMWTAYK04W9C9DZDQK }
{ amount: u36025567000, recipient: 'SP2C55CWV0GSXT3W3QXCNNCZ3VRRJ925TX83ZP7W6 }
{ amount: u35971000000, recipient: 'SP2727H8TGM3F5GCJARDHGQ0K0YGTTH6RFKN714TR }
{ amount: u35969514100, recipient: 'SP1JFB33JFX1V7KZ7JGJXG6NYM51RYSEMSWREQM5H }
{ amount: u35883090200, recipient: 'SP2BFWCGWFF3VHD9E4YZXPTAPC3SSK9BMD0JXKZ5T }
{ amount: u35832459200, recipient: 'SP2DVFKQ3SQ6YDBC51CCGYYVYQYSWD8E9D5VE4QTQ }
{ amount: u35801647100, recipient: 'SP3FSFNBRZZY29BFH22YC3N01SJZGXABEWVMHTDTA }
{ amount: u35764000000, recipient: 'SP3S4H74N6Q0R77SJACZJ5AP3WFMRGY4JMCYVXAB3 }
{ amount: u35751297700, recipient: 'SP3CX9HWGVQY04FZBRM0XTD0XS4GN538STMKNZA2Z }
{ amount: u35740127500, recipient: 'SP14YD0K5WY9TNK2R2S4G044BVJP9678QKXVFMMWR }
{ amount: u35720670000, recipient: 'SP28HD045XXF8TV03PYDMWPY1N5KF7DX8FJ4P09Q5 }
{ amount: u35718481900, recipient: 'SP3SSBX8ZCXDY90DX9MRT3JHF7AGSCVRW2Q82K25A }
{ amount: u35701000000, recipient: 'SP3HK7EXXT9S0G6MKQXDX1DSWF64Z86ZBNJK2YMYH }
{ amount: u35684234500, recipient: 'SPF8MJ3GJHT6GTJ9JMZWTVJQ0AKNNHXJZ7AXTVT6 }
{ amount: u35675422800, recipient: 'SPAC8F25W830Y2SCJ6BJW3Y8EBS6ATVQED0JJ3XF }
{ amount: u35630072200, recipient: 'SP110Z26H4WA5BFB1D9MQXJP7J3071CF4FBS85FRF }
{ amount: u35617584800, recipient: 'SP1JB3EWPSA4H6FYNW6SJ42XCAKBVED427WQB19SH }
{ amount: u35592489800, recipient: 'SP156DD4YJVBF1B8HQY25NEEZM1Q6JK0ZG82AW35P }
{ amount: u35589301500, recipient: 'SP40G6PCDVTNBFHEMAH3XJAV4SKQDAH1M7N1FM9W }
{ amount: u35587318000, recipient: 'SP253EXNSKASJXZ1DY965JECH9E5ESFF2RZMTAW6F }
{ amount: u35553000000, recipient: 'SP3SR0201BZC2WG05CVQJHKKKD3XVPTXH7FQEEBDG }
{ amount: u35529456200, recipient: 'SPEBN6J7BZHKR2B3DXMY4QTJVB75KF1JDG3K1J51 }
{ amount: u35529081800, recipient: 'SPQXBBH08X7F89NQ56XHA079TTDJ5PSSM1CRJ5J4 }
{ amount: u35434515600, recipient: 'SPR96YPQ2V87SSWS6RW2R8G1ZTVWTG42GMK0NSZF }
{ amount: u35424602300, recipient: 'SP10DEDAFV1F0MHGA86FCKH2TR6GW9N03Y4PRZDFK }
{ amount: u35417154800, recipient: 'SP3S8Y78E95T1J210GB6GC72M9A8EV4Y99XMK9ZBJ }
{ amount: u35386698400, recipient: 'SP1R1B4MAR50M0MYGFRCY77B2XJ5S0M57NYX8FT9N }
{ amount: u35383000000, recipient: 'SP16AYQKBPEXR4CHH4B68K0Z956PH2J7YK24XSGZA }
{ amount: u35373770600, recipient: 'SP3GK1BRHABP8ETF0WWATDE3QN04XYQ0ZD6JHMWRM }
{ amount: u35343091700, recipient: 'SPN5QFWNVPNWZPWNG70M4481R6XPEJPSCXPMYNBF }
{ amount: u35329263600, recipient: 'SP12DM7CPCHCA61SFA28THNJ443NHAVSSN0QKTC2C }
{ amount: u35302636100, recipient: 'SPB8F2K9S69A60XZZ5J7YBZ0V6KPWR5XR9207XKS }
{ amount: u35258511900, recipient: 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4 }
{ amount: u35242366400, recipient: 'SP17T7GQPMP8MT2CZPE48FFFSE6WTZJ4G00EM6R07 }
{ amount: u35221430900, recipient: 'SPPD61272KMQ5RGK8YYWFW84XVY721T6B14J80PS }
{ amount: u35197627200, recipient: 'SP1PCANWDFK4CYN0EVC8B1FSX3VEQMNRHZSG2D0VY }
{ amount: u35196260100, recipient: 'SP3P48W7SNKZ42VQRGRC7Q9C4YPZYBBV7EGX1QQKG }
{ amount: u35130747900, recipient: 'SP2ESAK4XZ56E6JQ2NE1YE7G6Q1YBVQHQ1E0DSEH2 }
{ amount: u35113718300, recipient: 'SP20KNGNKR1C58N9R63E4JCDDQPVAQ1937B35D9JA }
{ amount: u35107127000, recipient: 'SPMEMGD61DJE0GA527VCESDHGAKT5GHVRKGECH1Z }
{ amount: u35104361400, recipient: 'SP3Z486S34CECR4W1NXDSJC2YFG175AB7M753VMH8 }
{ amount: u35044038000, recipient: 'SP1BDHMRPKD6MWYHXPVGYP9P3VMV5ZE9EFHN85G8K }
{ amount: u35005896600, recipient: 'SP3DHYRHJ1999ZB1NZV7DQ5FGY1WYV6BZJP78E7QA }
{ amount: u35004700400, recipient: 'SP1M9B1STXED0CECY4PYK6SG0CVPN934SWKRJN8AQ }
{ amount: u34949829400, recipient: 'SP3ZWD38S48NFMKB61KCEHZVX198JTG2TV6XX7NP7 }
{ amount: u34912664700, recipient: 'SPEJH2SXG301WRA98HXGVQ6VE09E9WBZE0SJ1T9X }
{ amount: u34888960600, recipient: 'SP3WTQXHMSC2RNPCSZ98RHWRR51DSBHAZA61D6DB0 }
{ amount: u34859839600, recipient: 'SP1JH7MN029C04YV8ZQS3VH5TMN012PDC4S4C66A9 }
{ amount: u34822970200, recipient: 'SP1H0E04NRGCDCHNHSNN3BKV0JE2TTGDK74DKVX33 }
{ amount: u34820000000, recipient: 'SP262PDQ7VA401X7FSP8PHH3F0W6YTWA7YW9A6R4K }
{ amount: u34800000000, recipient: 'SP3W6XD5C60EXQWQN17K7D42V5WG5B22JJBRNRYR0 }
{ amount: u34795855900, recipient: 'SPBCNRR40JZASVSWQNQ071KZ1XSYCG9VR4T83KXK }
{ amount: u34772243400, recipient: 'SP26AS6M96BBTFMX8665R7DH3B72ZX7GQ5W4G4FM1 }
{ amount: u34767478000, recipient: 'SP3G1GW7KDGMS3XCYSR04GCP0KATYWRPDYTH38VBG }
{ amount: u34757066300, recipient: 'SP3S1K0MJH08FPKWR27HTH5QZHFZG72EXCKBZKSHM }
{ amount: u34706516900, recipient: 'SP35MER4PHM6XGB99YDRQAK0M0JQ8F9CVF04VZ1VX }
{ amount: u34677756000, recipient: 'SP22YXXPCZ35C7WBCPA72FPRXGW38EBHTCA1NBFMR }
{ amount: u34672449100, recipient: 'SP18R80SX4XMEKN855STR9XYY0DW3YTKF9BEDV5DB }
{ amount: u34658257000, recipient: 'SP2G356T0FHC5PQH1RPAS4G50RS9F6WR7FQARXMCR }
{ amount: u34656898200, recipient: 'SPS0V2YQ005K85B1QECNNWZEK1EHWNAX5ZZBF148 }
{ amount: u34650289000, recipient: 'SP1HJGSR6VFC09H0FP2RJKC0TGAZA16VYYD9A8JGW }
{ amount: u34642738600, recipient: 'SP2WAP6AS9GMKTNX8R7S3XJ4J5NAJXKA69J1BJ4PQ }
{ amount: u34634909000, recipient: 'SP1KZFDNDH5PZGCRHV70PMP4Z55EGTBGXYT2GAWS9 }
{ amount: u34590324700, recipient: 'SP3RZX4G6078CZFXRSW3FE79EEFW4X6QZ2HJMBD5P }
{ amount: u34530333000, recipient: 'SP1GF1NNDBAR7361KNDQDJDPWEJHBNSAZTKJH4WBR }
{ amount: u34462832700, recipient: 'SP3EZFTNCP7JP2GJ40NYPY202G2V63KPNYA61R043 }
{ amount: u34461792100, recipient: 'SPQP14VGJJZ8SA2MH739Z29QJZWZYM7BWYF7J3MP }
{ amount: u34389853000, recipient: 'SPWHW8DJAB1HRDTDXX073M4043NB23TJ7KW4Y80C }
{ amount: u34377497500, recipient: 'SP2QY04BFRF0DNFVPNCS373HCDDRCSKRHGW18WXBC }
{ amount: u34371000000, recipient: 'SPEEE2W3CBRHTR7MA8J39FQYCNBBD5JB86W4NBB7 }
{ amount: u34353000000, recipient: 'SP1NVDHJQYF7FE7C1013CTST4168A25VXSMA19E96 }
{ amount: u34320857900, recipient: 'SPRRV3T7GSEXC6CADPCTV02C9951R7XHT1PEQ0X }
{ amount: u34283866700, recipient: 'SP1TJSFJXSPBMQCFCHSTSGE7VYGJQKX8HGWSP7FY0 }
{ amount: u34251220000, recipient: 'SP102Z3JK6JV0N9KFWP0RJRC7ZB08YWQCDV3P65SE }
{ amount: u34236050600, recipient: 'SP2P5EDTZ5HZ0M2GF6AHR5MSYM6K8JX7MEBFM9V82 }
{ amount: u34234509600, recipient: 'SPN5RX85FFWJ6WEQM0BE3RAC98JGRR8AX7NXFCZ9 }
{ amount: u34221853900, recipient: 'SP1N96Z5T8MVJPTC1AS7X177G0BFY70ZJQ01Q15GM }
{ amount: u34167100500, recipient: 'SP32V4QRQSV9C3MH41RZ1FCAR1CVS29DGV6GVXYVD }
{ amount: u34160820900, recipient: 'SP1WPGGAZ96CC6C85K86SYZNDRRDBF6CGMYWAFSHR }
{ amount: u34107841500, recipient: 'SP2F997HTN66FZ2QFT7G13JM40QD53Y1PX3SFBAPF }
{ amount: u34105770400, recipient: 'SPYNAD65T2EFJG0YVNP76J7XATJHSQC343K2MSFG }
{ amount: u34076670400, recipient: 'SP256AJK6PV017G452G6QQV20WTWCA5VHNSYKR62F }
{ amount: u34070549100, recipient: 'SP2K6SZ90TRHVW7WTEC7TTZHH1B3KMXJ6218ZX87J }
{ amount: u34061000000, recipient: 'SP2EJM7YSE502MZ2M2RCGGD843QAV8YYE1RZABVDN }
{ amount: u34041586800, recipient: 'SP1SM8FEZ0PAE1S96M74NND9HNJZNXB15TG99672G }
{ amount: u34000007800, recipient: 'SP3YGM352P1QEHC7GR8AB5DJ3A29KVN7X1VA2A96V }
{ amount: u33913016400, recipient: 'SP2ZGGGQWCST3F7V6GRW2FVYCMYVWKC59TGT9TR5Z }
{ amount: u33892477000, recipient: 'SP1CF0YHWE6R3KN0XKE7YM6GRHX7CCN5168P74S5H }
{ amount: u33888993800, recipient: 'SPR2P4T251Z5MVPZDYNNZJX1NPC4YQM8T32HHRFD }
{ amount: u33866000000, recipient: 'SPXAQ6YFZK0K5B6BET5SZBRJDWQBKSZFCC2TQYZ2 }
{ amount: u33841680500, recipient: 'SP3V0BBSJM6YPG07EFZQ4PJX71EJKW7D5MDW19NWX }
{ amount: u33832027900, recipient: 'SP1CXADFJ100FMV390H2FX7HZ3JQQQ42B3N2J0ERF }
{ amount: u33795242900, recipient: 'SP366KB4QVQP68D2JD9K2RJF074V1ZNSAVPA4YT70 }
{ amount: u33730873400, recipient: 'SP216XPAHYM8ZX92NVFN66KQSMRA2YMX2ZKEHX2J4 }
{ amount: u33678743000, recipient: 'SPR8MZGMJMCA2JRKJEP8S2D37FMRQDWW6Q7R2NZR }
{ amount: u33646696500, recipient: 'SP2FY5HKS5C5RX3MWAPBNK5XXS6NC10F4BA1ZDS0F }
{ amount: u33640905800, recipient: 'SP3J59ZWT507P0PQ04ZT78KFEWP8H8DHKZND9MAF0 }
{ amount: u33576879100, recipient: 'SP7GZBKEBTZ6J7BGGKKGB3S9FFY5K92HV8QVVMJX }
{ amount: u33544096100, recipient: 'SP1HZQJQ17AXMV364JB9Y9CWCS1QYKMPB848DEWXS }
{ amount: u33528000000, recipient: 'SP2W2JJ8YK4C2D2V7668FFVWDZMRJ9J0E83F671B3 }
{ amount: u33515214600, recipient: 'SPAB0367RBY5TMJKQX6V345BT6N72WV1R2HP8KP6 }
{ amount: u33511823500, recipient: 'SP1QTF38A6KHBVA7VFJRM4N5M4M9AKF595ZYJX3MW }
{ amount: u33459000000, recipient: 'SP32GPTNAB13E9978EEN03HGDEN1KHYT3EY0BYSS5 }
{ amount: u33449263500, recipient: 'SP28J8587HVH4V5QEDDHCBH3S4BSG9EJVW2HAC3SR }
{ amount: u33414897500, recipient: 'SP30G9R1TVT147SX6M9JNVZ9DCVXHEG4WT8K27E0P }
{ amount: u33383947300, recipient: 'SP1XS9E70E81FGEEDMSXCEEPQ2XY94TNVFV1CRJVP }
{ amount: u33371696400, recipient: 'SPP6AJ6RMAJA5XCQ1RKEY6Q6MH5AGW3TDE2HFSVR }
{ amount: u33360469900, recipient: 'SP1KFG66YNN0NBK578H2KDQ202SMMNTY7X1SN4PVG }
{ amount: u33356690300, recipient: 'SPM5EJYMCP3HFJDFWBMW9GGQ6EC1J6H30G6XWNQE }
{ amount: u33328234400, recipient: 'SP26NFHMNBQ5136M4F61NHKW5408YZDKP515DFYVV }
{ amount: u33324082900, recipient: 'SPWFHPPSBR26AGTF7QF7NC7M8KPJBT3WZ52425R4 }
{ amount: u33316756500, recipient: 'SP1DF8DV34V83K2X07H40M141927R4A3Q4SC3TDGZ }
{ amount: u33304840500, recipient: 'SP1G36XJ5727MBB4YC7AZTW8V9RCM8ABXWQGT97RY }
{ amount: u33280688700, recipient: 'SPH8W15FH2PG87MQE1NDZCEFQ3NC11CFCSP8EMXB }
{ amount: u33272756500, recipient: 'SP3F50PNGA4PY5PVB590SKY4WE8NHZEYQKRDBSJX8 }
{ amount: u33237785900, recipient: 'SP3VT4RSGKS16AQE7W7WKM4V3BVRJJ36EHN7M1BYB }
{ amount: u33225692900, recipient: 'SP38XSJ91XTY6ARN2W58AKKPBJAJ0AM02W1QJ497F }
{ amount: u33205092400, recipient: 'SP2ZXQJMSYJR7J568R7GC7R41YYV9ESF9MHHQKWG0 }
{ amount: u33199469700, recipient: 'SP101B76X5WHDRSX57HPGYD6V9DD2VNXG4CHAT3Z1 }
{ amount: u33194802700, recipient: 'SPQZFN3N5S4GQRHKE2DPB5V57BHZJWM9GRKK6HT8 }
{ amount: u33175970000, recipient: 'SP27ANV45PCAG98PGFA2GVN9K7QYY1KWWS1V6RFSX }
{ amount: u33160104800, recipient: 'SP3ZC556G8MY761PSX6MTH3J9MR6T40DYDZZXPZK6 }
{ amount: u33105603300, recipient: 'SP1SZN6VYFJ32EYCMW8EJ7J9WRKAYMCQ204GV1PJ0 }
{ amount: u33102784600, recipient: 'SP16DR5PP3K1CV6G1K510Y4MR7XTB40Z5W73B2BZG }
{ amount: u33096857900, recipient: 'SP3C75B3NWXMQYN6JNVBF5KJ5X5DQV69B7W757MR7 }
{ amount: u33043772000, recipient: 'SP2P5WV8TFPPNQGP2X2CKS3NEP0M360GPRZ4XFAWZ }
{ amount: u33027865700, recipient: 'SP3C7PABWJ0ZKY3G1V1M7BJY8NPS76GX3E7V4W2BX }
{ amount: u33027640000, recipient: 'SP2RHRPYSC7761MV21W1YNFEZ8KMKKBMKGWY61909 }
{ amount: u33014605500, recipient: 'SP2W3MGK5FR36RV2B29BFWT5ZX1DJTNVNSXQZH6CM }
{ amount: u33009647100, recipient: 'SP3JDFWBEB6A5NYZG3D6EA8WCPJEQKGJ39X86EKCY }
{ amount: u33002111400, recipient: 'SP3G5P3ZJ4PTG8K5R6J0CNFYJCYAVQ1R8AKDJ8THA }
{ amount: u32951642000, recipient: 'SP219V8PZ6DFECVH4WQM7W83PV62VBER86SXZRXX7 }
{ amount: u32949982600, recipient: 'SP236K8NKF5X6V3Y9Q5ADZCT8RGSRRMHJ86PZR7FN }
{ amount: u32931000000, recipient: 'SP1X5JWK2VJ5KSADGXZYPGGZG9X91WFH85K2MR471 }
{ amount: u32900000000, recipient: 'SP1VF0YPY4A9ZSMA0JVNXPBXKMV16J3Z4HQQGVMY7 }
{ amount: u32834911400, recipient: 'SPFJJVF6THWSKNZPQ8CM0CPQB6AFGN0ME1FBE4KB }
{ amount: u32817000000, recipient: 'SP09D1EXN2XX1WW9TJY25GF5YT8WXCTQTVE55R7Z }
{ amount: u32754542600, recipient: 'SP3RS8SJMKKSS32BQT4KK5SCM7CD5S506EDMPEPP2 }
{ amount: u32736501600, recipient: 'SP27PBV40RBFTJWGV996R3QBV0PWNNZ79KJVDGCGK }
{ amount: u32731000000, recipient: 'SPNWY98STNS5FJQN2ENP8WMZ9GSVTNMGA9CWK2WZ }
{ amount: u32711228900, recipient: 'SP3HHSDSGB47RCA82BMWKMKFZSJT36SBNTRFYZD8 }
{ amount: u32709584400, recipient: 'SPVSSQ734Y6E73322Y84HDR7TAHG9TFBRCH2HCVD }
{ amount: u32692552700, recipient: 'SP38DG4KPQE5BYFJ9TTFJV2VVY0QVW7JJ5Z80Z5H4 }
{ amount: u32667226300, recipient: 'SP3BVZD8NWZ3MNK9KHYPEYWZE5K5SE1MNVJR0QDC8 }
{ amount: u32656964000, recipient: 'SP2F71AG2PY8WT325T8M34FTXJ8VDTP6TT934DDAC }
{ amount: u32600000000, recipient: 'SPP330QYTKMR2W91BDS4AZSQR01S28NSDWJ3FC6S }
{ amount: u32600000000, recipient: 'SP35XEJCQNX4ZGWBCX6A336G0KY7138JD8ZT2F6WP }
{ amount: u32600000000, recipient: 'SP1PCXZAR1F0CFVR62KDV1BNQ41MX9GVKA13R4RWT }
{ amount: u32593116600, recipient: 'SP1QHVMCYN6K7JADQHX07E9Y0YS40JCRN6EJGP634 }
{ amount: u32500636100, recipient: 'SP10XREM09HH647H2897VXEZ9KVM3ZT2JBHJDGHHM }
{ amount: u32478850700, recipient: 'SP2JKNAM02A37AEG1GF27FQZA6CWYHGCGB0MBVCG6 }
{ amount: u32426794300, recipient: 'SP2WP0GXE1AH3ZS2BBHTF1HF9HF6TZHKG5M4F8WEE }
{ amount: u32392425000, recipient: 'SP31616XVEWGX76KKBBAJEVJJV36202DGHN9F3EZ8 }
{ amount: u32348491700, recipient: 'SPBB2EX5DA1NYAP4M2A2XS2BAQ5Y4VCZ89XDCPY7 }
{ amount: u32334939300, recipient: 'SP4DQHVX11XXG4XN97HR845G9V51GKGS05Y86NH6 }
{ amount: u32250592300, recipient: 'SP3X6QG6ZHB7HNP3RMQFXYRMF2TWBHN0CWG3GYZ5N }
{ amount: u32241074500, recipient: 'SP162D87CY84QVVCMJKNKGHC7GGXFGA0TAR9D0XJW }
{ amount: u32209042400, recipient: 'SP1CJP5SG6B80DJW2XYJAG6A042SY5B98FSDN77SM }
{ amount: u32192357200, recipient: 'SP33G7X5EB4ZBW6Z31RTKMN3Y6TZ9HF96CJG1QAVN }
{ amount: u32173854100, recipient: 'SP3TSPDCXE7DFC4ZP0CMYWC1F7Z186ACPCPQ24D47 }
{ amount: u32173853100, recipient: 'SPXJKX5JZ3E573DAQD3XBPPC0VQKE0JKR5JCE4NP }
{ amount: u32173853100, recipient: 'SP1QWSRR7ZP9695F3Z2Y56KHW6GZK4JD2W35XX56N }
{ amount: u32173853100, recipient: 'SP20880S41WCKX3FDP4B14N93DK43FZG6JA2CF3QJ }
{ amount: u32164930000, recipient: 'SP1C7GNK9NX9ZV50HWNTWJX87Q3Z0R8KVF99NJJJW }
{ amount: u32144570800, recipient: 'SP2ZV5SJK2VJDKDS1Y7RG0HHDAVG2ZGMVJ9FA8BJ4 }
{ amount: u32118668900, recipient: 'SP3VMEPAWVF6ZWF61R1YASRHQF6GTVMQTQX79K91T }
{ amount: u32112230000, recipient: 'SP2E8DQ57C2KRNENTBX08EF947XVW2VT7K8EPP7DZ }
{ amount: u32111787900, recipient: 'SPM80756MNPVV2213EJM625NSR2EEP173G5SM1XT }
{ amount: u32111787900, recipient: 'SP2PDGAA6G51HPM9T4JAGCFQEZV63DD382DX2D59K } ))
(define-constant batch-39 (list { amount: u32111787900, recipient: 'SPNZQ3PSRERVXKDVF941M84GKA3XS718Z0NXWKR7 }
{ amount: u32097579500, recipient: 'SP29584DT1A00SJSWKPF9PDW9DE8GQ6RDFYY53AJ8 }
{ amount: u32082108100, recipient: 'SP35F2WARNPHVC77BM55G7BX1M8DGCYQ9EF3BZKT5 }
{ amount: u32059999200, recipient: 'SP1CHF6TKCGPEAREDFQA5Y0K8K2DHWG9V6H77DA1Q }
{ amount: u32034080900, recipient: 'SP12J5QTT8P5RZ2HRK263VEJKG4YSB79EZEAM9FJ4 }
{ amount: u32030486400, recipient: 'SP21N59SNYW9DYBWXC91EM91TQSAM5ET3AKEQF9F7 }
{ amount: u31962247700, recipient: 'SP2VM5F97Y3C5ZANH88TG1XVR8ZRDG5M9SQAZ47ZT }
{ amount: u31903386900, recipient: 'SPKT5QM31YHSDT8TWS48A98Q06TCN7PASVNRKHM2 }
{ amount: u31897210300, recipient: 'SP16MD6YJN25PKRKTA347PKEP62C95RWFKNXG241W }
{ amount: u31879941800, recipient: 'SP25BCEWMM84KFJBS1CF640H7AQ83TGP245QAK5F }
{ amount: u31878000000, recipient: 'SP14FD5K5V42J6C2JTA7E8D2DMPCND7QR4GVFJGB7 }
{ amount: u31834173900, recipient: 'SP1W1KE3GGR07YB576P8KMA83TTKWPV8K9DJX01H1 }
{ amount: u31832234100, recipient: 'SP1V5JHZK64JB2RD2VXVH2T5MS5WE8J3T33YEJTQJ }
{ amount: u31831489300, recipient: 'SP5NS20VA2ZEB6FXGVY24BWTJXZWXJ0WTZKDHP6N }
{ amount: u31828468300, recipient: 'SP2R2MCC529N1AJ71FY8GJMPMAZRK29JNZC6Y1264 }
{ amount: u31823665200, recipient: 'SP1SKGC103P2KFRABY00WHQNJ0X3YAQYCP1KTAK6X }
{ amount: u31778750100, recipient: 'SP2JAW1EH7T14EQ74BMKZC30QN85SRTQ9RNVG5S54 }
{ amount: u31759042800, recipient: 'SP1M22S0STT6VTTSMWWRBSDS5ADQ8QSGAFBD0GJJT }
{ amount: u31750758900, recipient: 'SPZA7EXQX7219D2H0ES9PS156Y01G40V12E3E032 }
{ amount: u31747000000, recipient: 'SP21YDHH6VPY9N0Z7XR515K8R8TR76VC7H1EAPKFT }
{ amount: u31726000000, recipient: 'SP1FP848CA06XBJMWW0Y1SFV1R3PZ6533M6DZMH7X }
{ amount: u31712907300, recipient: 'SPWZQ8YP6FFQGRZX72APQKEEQMXK4RF7A3Q7T4HY }
{ amount: u31700000000, recipient: 'SP1TQ34RMY6TDZKFV4JQ56WGEEGZ6BT1X55Z95YSW }
{ amount: u31697125000, recipient: 'SP1XP73JQB75VGEFKYWXEKS7A4Q9ZSQCKHG3M05N5 }
{ amount: u31671260000, recipient: 'SP1VQR10WBTWJKPT1S769E4P9AX6WQDBA1W8EJGHY }
{ amount: u31669816000, recipient: 'SP2KAM4A6W2F7NNSA8W21WABP0QW5WANZ4QK67RNR }
{ amount: u31638290000, recipient: 'SP2RH6PX26VNSAZN8FSFF6TA4YD9R2634K0SFS0AR }
{ amount: u31632474400, recipient: 'SP1PWKZ3BX7S3EDPWMQN2DQTHVHVC0Q26RF09MFYP }
{ amount: u31575567100, recipient: 'SP1PCJ92G70A48949236JGDYWH0RMJ6ET85EV9JJV }
{ amount: u31520530600, recipient: 'SPVTDX4ZVJVZVNQN1WDCWTMNT75MZT6EFC287C40 }
{ amount: u31508121500, recipient: 'SP18926SG30TFMFJDE2MYVZWWA1RHTHDD203NE6FZ }
{ amount: u31500630600, recipient: 'SP2C1VGBW6Q7EEQBCV74EM9EP8DDVF2P88K6ERWAP }
{ amount: u31426788500, recipient: 'SPGM79Z1DZ85P0JRTS4VY8BP12G2RKPVH9YV0FHP }
{ amount: u31414353700, recipient: 'SPXMSRS88V4YP5YQEBA7WE5HZW4VE82PPS0P490S }
{ amount: u31370328700, recipient: 'SP3YMJ7EXMVST7K8D9S54R0HC5XRMQNR17AE0AE3Z }
{ amount: u31311344700, recipient: 'SP1ZQW7QTJ7YDZ64RZ3C9Z8B887QJ8Q7BGKEV691S }
{ amount: u31282967000, recipient: 'SP3V9BARGK0PSJMRDCZQKA7TQ62J62PKVR66C1B9P }
{ amount: u31277519000, recipient: 'SP37MWTCWXEBPKGFMT3PSH99AX404C6KGVJS5079Y }
{ amount: u31273832000, recipient: 'SP3WVXYYT6QQKXQPQW8D1Q4YNM9WY8WQYN96MMZZS }
{ amount: u31270206500, recipient: 'SPHD7EDR059S3K48D3XFQ4TKGPXXSA0HBQ7HNKWF }
{ amount: u31210000000, recipient: 'SPYJ3A13H8H7KD4KQP2WTD8Q9FEB4S7KGDVX8HNF }
{ amount: u31202494900, recipient: 'SP3HPK41DWVP0QVBAHKWVDBGAYXWJA7R2NMQZMW6G }
{ amount: u31200588700, recipient: 'SP3XXBZNPKG1A0MY5GQ9BSWWAN6N6T9NRY3QGSXDE }
{ amount: u31200561300, recipient: 'SP2M99SXCG64W66DJ9TS1WYZFHSVFY352PG27YEC5 }
{ amount: u31197119700, recipient: 'SP3SKDTHSRZTZJP8VBBXEX52CGEPHHV9ER1GW551X }
{ amount: u31104639900, recipient: 'SP2GW18TVQR75W1VT53HYGBRGKFRV5BFYNAF5SS5J }
{ amount: u31088054900, recipient: 'SP8TPBXWR9NRAC0DZ9EC4745MW66F1SX59G4EDQC }
{ amount: u31087467300, recipient: 'SP3QX9QPZZRZC79HRA4NTDMN8GSCFY1HZJW876QZC }
{ amount: u31073785400, recipient: 'SP28NYYQC6EJ2MRXGPJ2776NGPQBNDT4SD8HT6XWK }
{ amount: u31000251600, recipient: 'SPC4RXWZCV0M0YG2JB42NZ9H3PA806NY7M9P42KE }
{ amount: u30975949800, recipient: 'SP3S3RSKEQT2FANMAM5KE20ZYY7M5Y99N5D8E5D8G }
{ amount: u30968912900, recipient: 'SPBQNXCXEFFQDDQSXD0RD93AHSVCQ76QJ3QFRFZ7 }
{ amount: u30925183000, recipient: 'SP2VZMCHSX1RMBETQ8ZECCX9WRH65MFMP18V2GS6N }
{ amount: u30885515800, recipient: 'SP8S7NKNY2AVBY6QT5HA67BFHDVXQCYDYSN7QEH9 }
{ amount: u30848175900, recipient: 'SP343B30FRNJR7RKN5M97W43MR9412K8HETKEF32S }
{ amount: u30847034500, recipient: 'SP3QQMF5JEQTNW2HFAQ52JGH7BHDKKP25PSHXJBG9 }
{ amount: u30841732500, recipient: 'SP2ZM1B6RMCK224M2C49GY85XPFJG93SGFPHKFQ9S }
{ amount: u30839475900, recipient: 'SP2T4HQ2SES24E2FFW0J89W9NWVKSZ5QBTDR45TWN }
{ amount: u30791312600, recipient: 'SP3KA4JX83AY6XWREH0KJQ5F1DCBQRX5V50Z2Q02A }
{ amount: u30707193900, recipient: 'SP2M6F06G4CYDT40CZEBS718HVDG2GZXHJ6XQXV1T }
{ amount: u30698807900, recipient: 'SP1BHNCAMAE5RADAZWZVVQCRT59JZTHZ9SB6EPDQN }
{ amount: u30698207100, recipient: 'SP11MZNWTX86GGY52GDWXF5HKXHBF0SKBV2JBZA3C }
{ amount: u30656098500, recipient: 'SP2PAX8DJGQBHJFCJ16X0AY2NCKP5CGJSFAM2ZJNR }
{ amount: u30622801600, recipient: 'SPNVK4X5RM6TNKA1S0TPVYPT3GNHSJ887B5CWCTH }
{ amount: u30621807800, recipient: 'SP22X6HKEY6248VNSY2BYR8PDXT2DPR79VMNCA3WZ }
{ amount: u30612827600, recipient: 'SPA82CWG42Q7X0BAFPR7KVSDCKJ7G7P38XFMRP91 }
{ amount: u30584681700, recipient: 'SP1XJEHAXPQ37QKQTX8WKXPD9PFEE0HHA5WR1TF7A }
{ amount: u30555384700, recipient: 'SP23XK3VFJK7ZAKHPPJ751PY0DYKAEFV6MAAT8QJ7 }
{ amount: u30548840200, recipient: 'SPFF2Z95PBK76NZAS9ZAPJSTPVZ1QPY9KC2YYB2G }
{ amount: u30539270000, recipient: 'SP2JYET2C21VWM6RCP58R1ZYMKYVDGEXB11J9VPWT }
{ amount: u30441940000, recipient: 'SP13H02HN3T1QSHXE4YMWDPMVKGXHPNECWJVBZSNW }
{ amount: u30431985600, recipient: 'SPYN2PJ88CS0SGNDWSQJJNT5GCVH0ZGWSTBQS0GC }
{ amount: u30408740000, recipient: 'SP2F29FC8073GC665ZGPWKJ1F2ZQ9Q92FQ743RM4K }
{ amount: u30400000000, recipient: 'SP1C7V7A9HVWQT5SWDV8P3WNR1FVDPB9PS3TBYTN2 }
{ amount: u30399214600, recipient: 'SP1W3RFP4V2YAHFCV17VMM97DWMQKT8V9P5J7Q51T }
{ amount: u30397137300, recipient: 'SP2R3N08VW0P8SJF6YF5V229YG23F2DE3M71KSXF9 }
{ amount: u30389924400, recipient: 'SP1NEAEVY2E1MF1MDKB0K2RZ7K9W1NWCGST83PKAA }
{ amount: u30369413700, recipient: 'SP1RGWZXAFYJM3QMYQ17J03P8AF95Q82BEA3CFSQ }
{ amount: u30312494400, recipient: 'SP2RN4MYP5WKP8WC2262YBXZ0D0Z9XX38B5DA13BK }
{ amount: u30306867700, recipient: 'SP1BDY36RVVG58Z45X3AYGACWPVA7GER1G8H10A7G }
{ amount: u30297185000, recipient: 'SP10MTQMW470TZFSKVEJVZ5PJZ4AXN5B44GS1EQDS }
{ amount: u30291639000, recipient: 'SP1G63MW4MPM6HK4JCDB7TWDVMDTM1CV0M3KZZK4Z }
{ amount: u30288846500, recipient: 'SPEXRA92V0H67ETCVGCX89D3Q4YRCV40T3DB001S }
{ amount: u30269267200, recipient: 'SPC5SYNRTQJ725G7TX4YQTGJ3VRZ1DJFZ4EFPZN0 }
{ amount: u30254544600, recipient: 'SPA7XQDFVB5EC3JKXAMY1XAG0GBDQBG614JD5S09 }
{ amount: u30233552300, recipient: 'SP27HX2WF8EHYVS5992H8DPJ7KP9V1TB78E69C931 }
{ amount: u30229120200, recipient: 'SP2REHE61H6PW68CRGXRY8R0XG24PMW6425V9WY9X }
{ amount: u30226794500, recipient: 'SPP7BZZK4GJ5QYJZY6JBAEFPK13M3972R0K4VH08 }
{ amount: u30219233400, recipient: 'SPZ6PH5F3FPWTCA896KQV5ZC7F8F8VH204GEXEW3 }
{ amount: u30096347100, recipient: 'SP3DMTFJ1NTBKW3KDZZ14AYY1H1GA0CP5VBW4QPSF }
{ amount: u30090076700, recipient: 'SP2ERETN0DR3GMV7M6GMAFFVNZD4ZJKKCR90X2C76 }
{ amount: u30074449400, recipient: 'SP38Y5CQCEAV7WYKM72KZNAP03HN1QQM2ZMMY1FQ6 }
{ amount: u30072890000, recipient: 'SP21PA1WGM99W6VZDM1PMK28TP0FP7CBB5015XFMK }
{ amount: u30032650700, recipient: 'SP47VWF5DAX335BA40GV0F0PK0MJRGKK5Y05CBJ1 }
{ amount: u30030370000, recipient: 'SP28FPVXFMAJBNBDK7TQEW5ZKDQG59TAGD0HHNH3 }
{ amount: u30028931800, recipient: 'SPYKBNS8ZYQVEXES3M42Z5NJ8HNZ6N9D87NH8WQX }
{ amount: u30013613700, recipient: 'SP5DVZVQETC9AV0NKKBHTQJ3XY45W4W1HJ8J1ZKF }
{ amount: u30000006400, recipient: 'SP2641RC7FCEBDV6113C7PKSXRXB7C8WJY259GWJ0 }
{ amount: u30000000000, recipient: 'SP1RARQ9ZQPH1MN580MGD64BP0F115208J3JZV6G7 }
{ amount: u30000000000, recipient: 'SP18Y77260J7PJJRRM5MAYJAQX2VAB77C20D2ZVYF }
{ amount: u30000000000, recipient: 'SP31SAHQAY59GAVH4Z7RTW511YEEFA423KHYZJ9H1 }
{ amount: u30000000000, recipient: 'SP2FCPRPGC70BSY2Q0K2PVZZQ1M0E7X88B83KZTFY }
{ amount: u30000000000, recipient: 'SPGFGKV8FFQ41F6A5GKMX38QAMZAJJTGTNZ15VDD }
{ amount: u30000000000, recipient: 'SPCQB00KS4PTPTD14H79DMFEGSBKW3VFVRK3F5HS }
{ amount: u30000000000, recipient: 'SP1HEMAM60WJW83DWA98H3QVEX9M1TC106WP5DBSZ }
{ amount: u30000000000, recipient: 'SP1KGN4BKN0JE9HDJA4GN3283HWHTESES2VB1PQ0A }
{ amount: u30000000000, recipient: 'SP15Z6EE2HWYNXT256K89A5R75XRV2RH0E5PE5TVG }
{ amount: u30000000000, recipient: 'SP1RN7K8AX9V2VAEWQQE00K6ZC67V0PG4Q7YX1GFJ }
{ amount: u30000000000, recipient: 'SP1F82KPGWFN3XM7CS5YZKKEPSGCKQRD8QVWESC3F }
{ amount: u30000000000, recipient: 'SP0DY6RTFVPVNGH5JK7X7D0V1HEP2W8SQVDF3V84 }
{ amount: u30000000000, recipient: 'SP3ZJS4YR5XJBXF45VFVVR8Y2JHYACPENHK1JRYHZ }
{ amount: u30000000000, recipient: 'SP2FZA6CRF2RPYT3YJS1M1NBWZJZQGCD4G5KR3CJG }
{ amount: u30000000000, recipient: 'SP20GQWH1B3G6TQJTYMBSQY4R4EHHHW1YGREESMNP }
{ amount: u30000000000, recipient: 'SP3847E5HTEJCRV91G02XYWHT2GPH9R9Y5Z7DY2N5 }
{ amount: u30000000000, recipient: 'SP37ZDFNQG0EVP4V4ZPQGQJEJMEFN0RY8VS7ZAEGF }
{ amount: u30000000000, recipient: 'SPAQTQ9BB81CP8WHQYZ8WMGNKZX244YNNQA0V0GC }
{ amount: u30000000000, recipient: 'SP25EWS8M9Q0EVENYR4V8PSZ7Y9RZMZ0ZF2ECZY04 }
{ amount: u30000000000, recipient: 'SP363TQF4CAKAK18WKVSXZQ9DHA6KSXXPJXHM0FHG }
{ amount: u29939040000, recipient: 'SPB27JR8JKVR6EG5G6VT83EW062JAWG4QRHA5KKW }
{ amount: u29936918700, recipient: 'SPSYGX3JE7VHAP5NG3X8M04849G5N69SC171GBY3 }
{ amount: u29916000000, recipient: 'SP2HDTBSB1XZZVR9FAY2GK1VJ8HVPTW1VT02R89T6 }
{ amount: u29914534000, recipient: 'SP3AM1GR8MXAS1X0N5PFVV1HDXNHJPWD85BW2C225 }
{ amount: u29905302400, recipient: 'SP3WCH0KVPB6AEKJEFC8GXDAW3Q7GETK3CC4VD77Y }
{ amount: u29900000000, recipient: 'SP3S4RDVKFV3XVPCSR6831DEFGNSEH0DTJERKACBG }
{ amount: u29900000000, recipient: 'SP3634P0G62MQ1FZH1RGEFQ99SN13JPXTX8VD9AAP }
{ amount: u29900000000, recipient: 'SP3CBRRAW8HS7ANGCFRCYC2T1E5CK0AF83TXC8JHV }
{ amount: u29878450700, recipient: 'SP1VRYN3NA31GQY42AAGTAR5Q0VX2XMR1ZV8JBQF6 }
{ amount: u29877512900, recipient: 'SP0D6BZ897R3E6SV8SSSP36BE9ZRZM40KJ7P2H8E }
{ amount: u29873900300, recipient: 'SP3R1KX6EKR3R58BGQ3KRS2XNB93TPMEXGMBV5N2 }
{ amount: u29834000000, recipient: 'SPKWJ231AANGEF3K8ARNR1CR58M87ZMTBW0XZ3WC }
{ amount: u29833833500, recipient: 'SP2C54FBGVDJEY9DFR8ADWRMBP42PKMSGB6ZGP8TE }
{ amount: u29829325900, recipient: 'SP2GPDRNJF04GEE3NRFS61E7ZJFQR19X7JF4119ZK }
{ amount: u29784008700, recipient: 'SPXQGJK7ZVMSW3RF7P0A5ENGJVN22MX8XY8G8WA4 }
{ amount: u29780262900, recipient: 'SPV8X2TR9T6RMD5QC971MCFBAT2NG0YQNDVSM1VZ }
{ amount: u29772203400, recipient: 'SP1ECGDETBKAZ8QK2ZQMXGZQQ1HPCQZ20TCE6ADP9 }
{ amount: u29743469600, recipient: 'SP11Q5BNMKNKPWD23TRMAX35ZP5XDB89QS3M7D2JK }
{ amount: u29735795800, recipient: 'SP1SVTYECK8S9SNMSSNHHMRPHY905VTCY9SH0XTXF }
{ amount: u29692540600, recipient: 'SP38A71YB31ABB9TKN1ATZANGQ0N5924ETX4NDDSQ }
{ amount: u29638854800, recipient: 'SP3039RP477BMSAWR82H1TR26C2CE8W99DMF11Y75 }
{ amount: u29623368200, recipient: 'SP2WGW0QEAQAJEA204TBNKTGZATFP55WDFYRKN6HC }
{ amount: u29575963500, recipient: 'SP2NBWVDNHWJ3H5ABB97CDG15T3J9VXQJ0ZGX79GM }
{ amount: u29559931000, recipient: 'SP2D97H3N4G47511HGV0M9NFE20E755D35K8HD1Z1 }
{ amount: u29539699100, recipient: 'SP3QVVB0VGH42J548994ANFM20WEET09SZ7T2N4T5 }
{ amount: u29533833500, recipient: 'SPZCY64MG4J3BNCMPE8THZST36QV5EYTEWAVR4C6 }
{ amount: u29503000000, recipient: 'SP1CWC44ZNPNMKFBKTBZFQ1KBSE0HD7334MZ656GE }
{ amount: u29500000000, recipient: 'SPAXDPFB9WDB3WEN1QJ4X0WPKJMPSEB0S6K2BBJY }
{ amount: u29488101300, recipient: 'SP3HAQKT5ADEZN9WH6C1SZQGJ1ZJE37J5JQK0WGYE }
{ amount: u29440550800, recipient: 'SP360Y101T1VE41P39BKB7VJE3NJY5Q6ADEBJV80S }
{ amount: u29408922600, recipient: 'SP290ARKKHXNZ375MVKSGXS9RMN2Y8N9GQYEGDVXD }
{ amount: u29393750000, recipient: 'SPFZN1E9SM3KDTT4NKQBEM3X8RBRJK1QWRGPPCQ6 }
{ amount: u29384606200, recipient: 'SP3A47322H88J2VBQYN615PFFVG7J983GRCPXCN0E }
{ amount: u29368018700, recipient: 'SP1TDMG9T5M2EHSW9KP0DMH81AX0VXY9CYC34QEBB }
{ amount: u29315265200, recipient: 'SP2FJ76ZKRYTJNNHY7QJF2VAC4K11TN46A1JZEVVN }
{ amount: u29286865500, recipient: 'SP3SRVNS46ZNFPN3WP9VBGWBGKQRJFX5VVZ6TT2NQ }
{ amount: u29230009700, recipient: 'SP2V61ZF5DPYX69HCXN9HSTAEA5JHWJYHHFSJZ40N }
{ amount: u29198376400, recipient: 'SP3VKPR2J44CRMXGJ165CTZEYYCPHJGJYB72RA56D }
{ amount: u29196845100, recipient: 'SP3ZJZ1NG92BDKPMPTPD1BD4XWMYS95D6N7W4Q42J }
{ amount: u29161480100, recipient: 'SPYD3HVFASAPF4N9WF45PRF5FPN0C67F2F4BK7Z1 }
{ amount: u29075737500, recipient: 'SP20SVP5KR76E6Z93NVGXE5S36JF4MZT7TEBXGW9Y }
{ amount: u29074104600, recipient: 'SP3Z5Z51BXWC92ZJEQSXFTQJ522RZQKQT21FRRSFZ }
{ amount: u29058319900, recipient: 'SP2SKF0RMP39PKFRZ79GETBHZ4JF1JN6ZN4TRXCSF }
{ amount: u29040000000, recipient: 'SP3RTHSNV9QJZ5EJC21W90FK2R8Z01N84R03XZ5G8 }
{ amount: u29000000000, recipient: 'SPXNQ1SMYST5PQ88XJ3DBF2J20CM7FSVZ2M7ETRX }
{ amount: u28970193100, recipient: 'SP1HS4FZ9Z3A8EFA8XS1KQFWK6JMGBH5D7TBTQNQG }
{ amount: u28958052600, recipient: 'SPF3CW81P3V30YPY4AGN5HJNR1R9BSNE32F5B7MW }
{ amount: u28926000000, recipient: 'SP2S2FD4PSRYFWHR671Z27QJ7CS70VTTM5YK3V51J }
{ amount: u28919232000, recipient: 'SP3J8CTAC29MQ3TVJS5K5C74XW65N43NJHM6CQMSW }
{ amount: u28873208100, recipient: 'SP1FWW464A8YVYBHYSDQSR1QVXTM7PR361STNT68C }
{ amount: u28843560000, recipient: 'SP2ARXEMWRHYY6BT8EMMQ4M53KBBMCNY2Z4DXPE8Z }
{ amount: u28843412300, recipient: 'SP2YC35P1G5XBZC7QW9KQCZDAA6KARHYJC7GY4XS6 }
{ amount: u28823137000, recipient: 'SPPGYHX17S79MJS0EZW1ZT7A9TC173YZ435ZTH84 }
{ amount: u28785060900, recipient: 'SP6TSZDRD04G61P81G99471TJM86T5A4NAYJRKTB }
{ amount: u28782634700, recipient: 'SP1K7BSV77QCT1G4HXE7MJ2RDQAEQ5TRT89C14EWY }
{ amount: u28777888300, recipient: 'SP314G3CPDZYWYM48ECB5Z5X5BKA326MMF8DQMGDE }
{ amount: u28763000000, recipient: 'SP16Y3CWF7N263VXYEZ5ZF94W4PEBMCXF8RF2QW3K }
{ amount: u28762458800, recipient: 'SP3F45NPPV3WCRG6CC0199534M5Y652H1WBRH9BR5 }
{ amount: u28738468600, recipient: 'SP97VRJQWTJTS5D77KA3CMJ9YEPCZ42NXEBMFRKS }
{ amount: u28702092700, recipient: 'SPFS703JNMMKKHY33SXZ98JGA1FKV1MZHC18VM3H }
{ amount: u28694818900, recipient: 'SP2XMPAWJ6RCPH6QQ37FRS58YGYQ01942MDN2D5ZG }
{ amount: u28692007400, recipient: 'SP2QP89JZACDW214Q5H2N3WJWXV5N5GKMA7HNPZ41 }
{ amount: u28680039600, recipient: 'SP3RANDZ4GD56QBRE3HZG838AM359EYW9CN37XRYE }
{ amount: u28626911400, recipient: 'SPJVTFT8X5AZCYRGE5AEZAAWXYY4RDYFRGXFA777 }
{ amount: u28605911200, recipient: 'SP1FHJ9C8DMGP8P1JTHY2M068BBD89CHZC61YB9PY }
{ amount: u28583183700, recipient: 'SP34WV0JQS0AYWSRK5W31VXTC5169QJNVNBBB4X2P }
{ amount: u28581438900, recipient: 'SP23Y440SDC7FSJV92TDW9Y8ZTK6B598YPMMTM8KT }
{ amount: u28571041900, recipient: 'SP3EBGMSY9CQ1083D20975NKQPFFJFYK8PFW1SM43 }
{ amount: u28533097700, recipient: 'SPTTVZW1VQNEXHD7DN7RDAHHSMRVMXT9AAJ908GG }
{ amount: u28530390000, recipient: 'SP3T2S33TT0DYVYH5KCCBWZT8Q6HQH3SGRGKSBCRQ }
{ amount: u28529292100, recipient: 'SP34PE0J96B9C1FZJPC8J86XSD7H3DHX27G9TB5BR }
{ amount: u28508030000, recipient: 'SP3ME50XV4Z13PGS21XNSF394HT0FCP4PGD2RWEH4 }
{ amount: u28500000000, recipient: 'SP27B5CQVK2N8NJ29RQKQQE7YB2DW9SP37352Y8VG }
{ amount: u28500000000, recipient: 'SP3GRA4VX9WGSN4SCBZAJM94HNRTMEYEXBZBD0BAP }
{ amount: u28487000000, recipient: 'SP20KBAVS4H4W0SM8BC68GTT5JYEG898F1TDC5P07 }
{ amount: u28433732200, recipient: 'SP1PGKHS9G4M7BMY1F4WWT157N9HZXPXS7MVED86V }
{ amount: u28415712000, recipient: 'SP2WW904G6RFZKA83PS2GETH231G5FV2QRP5CB6TY }
{ amount: u28408262000, recipient: 'SP34GM2EYKX183YHY2RDQ15PQDC47VS1CYS8YKYEC }
{ amount: u28393334600, recipient: 'SP2KFZH6JA47SG0E2W2NFDQ09JC4BTKA4209QYDC8 }
{ amount: u28378026100, recipient: 'SP24XR95KKHP55EHNJEFGCFNTS6DSTNHSATD6GQ4J }
{ amount: u28335168800, recipient: 'SP2J0VMZMNE6R2QE37BF1Z10JBMF24CD4VAWZM11T }
{ amount: u28327316500, recipient: 'SPXVMCC1PVGPAX3HH708V10C9XZCTHKG1PHPQN4X } ))
(define-constant batch-40 (list { amount: u28291568000, recipient: 'SP22GHHC9XQD7QGF896D2T1TBQP3ZKFT1F67698GE }
{ amount: u28261162300, recipient: 'SP2BK6CMTHHF7WMXQF1VJ4RDXW20FZM9BT5Z6YWF9 }
{ amount: u28260486500, recipient: 'SPKQJV7HTGC196ZB9QJP48TP39B0YAPKGZHSVT05 }
{ amount: u28244808800, recipient: 'SP32KFFTGJRVQYGC96FKJSCJ96A55ACB4MPNY31SK }
{ amount: u28216503100, recipient: 'SP1RXNW492YFJJDV5PR25ADP6EXB2ZTBJHVYDNF95 }
{ amount: u28163202600, recipient: 'SP2Q47GCQM502RN984NNG466DVFX3C35NDSFM5YNV }
{ amount: u28141294000, recipient: 'SP2KJBT5CGRMMYHPAZVD9X6DXXS2RT5B7RYGD4BMK }
{ amount: u28105612500, recipient: 'SP10T3XNE29ZTP4WF68FA581CM8A9KJY9X2E9HWK3 }
{ amount: u28005477300, recipient: 'SP1NXQXWVXD7VRNCCS8B48PBEP8FPQ7R8ZHAC83RT }
{ amount: u28000000000, recipient: 'SPCEEQ0SYYFZDVS9K4HAYM8R1CHE42BBFV46TJ1J }
{ amount: u27978167100, recipient: 'SP2WXW7WJBSW0CHPG1KPS6S3HKDXGPJRGZ1X4XZJP }
{ amount: u27922521500, recipient: 'SP3WT2J6WV96JVXED80029M00A0M11DG881TVXCA1 }
{ amount: u27875058900, recipient: 'SPF4ENSZQYBEXME0A4GTXRENFDA78H82T9MK64V2 }
{ amount: u27866584700, recipient: 'SP9C4EPEQFQEFWR0D48NW8JKBP1PGS6MJD0KBX14 }
{ amount: u27866197100, recipient: 'SP2YSHDARF3GFDP574RWX0GZ2CS3939ZC6W18DPFE }
{ amount: u27835385100, recipient: 'SP2CS8HQT85F2775MFAP62MQY25TK0RJZHD0JAS2M }
{ amount: u27822977800, recipient: 'SPPQ541FWNDJTB6T0FRHPHM6EG4KFFRPKTFXT744 }
{ amount: u27816332300, recipient: 'SP2E852RZJ5QX4ASNGT1N1Q1A7Z3Y1MZWSHQK0MEB }
{ amount: u27784250400, recipient: 'SPG8926YTN48FR4TN8KH6QBW1DZCXC3YF5QKCZRE }
{ amount: u27760552200, recipient: 'SP3QFHSAM4M8E99YRVC5JQY4J734QBHY4B8R944B1 }
{ amount: u27753014800, recipient: 'SP2XYKKWSBTKGR3ZBFV2WYB05JR4VF7NWDAFCM9YF }
{ amount: u27742213000, recipient: 'SP3ZTMR66TFAE7FHJ4FAZVXE8XZ390TAQG0G1NGMK }
{ amount: u27733658700, recipient: 'SP2DD50Z2MMWQM0RTZP2PGK12NFRHN7MWN2GY4BPT }
{ amount: u27712756000, recipient: 'SP10GHXJ97EEH70JATCT11VYZXCECB9EZFD4YD4FW }
{ amount: u27689000000, recipient: 'SP3CDP65WSFKSM9PX1399B56NWQW40408T3Y157X2 }
{ amount: u27673113900, recipient: 'SP2K029FNVVQRGC1N148SBX6C7A4HYD801NZ3N1ZG }
{ amount: u27667939000, recipient: 'SPM8CGZART0BXZW6PT1Q82NPX04WW48TFHD7J9KF }
{ amount: u27581280900, recipient: 'SP1Z56DYX13NK2M909NBQ3C0PARKPXNWKD174EH1M }
{ amount: u27575217700, recipient: 'SP2NKBQJEEKPN0C824V05NRKKBHCXGHXMP4NP6B39 }
{ amount: u27551284800, recipient: 'SPX4AYZFKR93969BV35VPCDKDBD6DVVDQVQN6WVH }
{ amount: u27546160000, recipient: 'SP32R783DGR5A26NJNY69PMZZ22KP4R4SF2GF9GDZ }
{ amount: u27535506000, recipient: 'SP265BPW1T9Y9FXEVZVFZJQ2MTVW4A0V8BDNNZXJM }
{ amount: u27529768600, recipient: 'SPXV0FTAB8P6DV4EMX2X0KD8P68WJBGAT83YDMWZ }
{ amount: u27515023800, recipient: 'SP197S46WVEA2N2J7TK7SDQCNN4GDM3956EEB9HFY }
{ amount: u27483753500, recipient: 'SP32HN7ASZ45RGXM4SAEE2K5557P8CGAATP6NBEVX }
{ amount: u27462620000, recipient: 'SP2Z7YPJV1MAZDG8CGR9TZH32HG7GDGHRSTQ4541Z }
{ amount: u27399403900, recipient: 'SP1TWMXZB83X6KJAYEHNYVPAGX60Q9C2NVXBQCJMY }
{ amount: u27394785800, recipient: 'SPDJ6017CZTA1QY1EFX7504123E9BN0DSFS4VB83 }
{ amount: u27344525300, recipient: 'SP39GH7V1NX1TM5EV7D20X9YXPYCX2VD0GZ2CMD90 }
{ amount: u27279086300, recipient: 'SP1P01GM3SQ68RFG8D43GAC53VAYQPVRMBED2RB4T }
{ amount: u27277176200, recipient: 'SP2DH0WAMJ13BGGRDVEVYKDXMDDKXJYX79305GY1K }
{ amount: u27275635900, recipient: 'SPJ4ZMQS20ETD7S4623QZCWRV38EVA3H5JTT7E95 }
{ amount: u27245972900, recipient: 'SP2WZY9Q0YDGRC9Q324YQ2JPAYTA791H63ZW6YTA8 }
{ amount: u27229108100, recipient: 'SP2BK5X8BTDPM1RJ7GMJDYWFFXEQ6JGM03EH3FB4G }
{ amount: u27229013300, recipient: 'SP1ZG28009FBFVQ1HJWNXKA609Z9X84F9WBHVAP1X }
{ amount: u27194824000, recipient: 'SP15EWJJ9YWJKEWQ6Y3XT2EAXMWHW1YA6GF0S3X05 }
{ amount: u27170895900, recipient: 'SP12X8ZBZJHEKZQWTJ293A0ASG8Q3P8ZC8MPYPAST }
{ amount: u27133466200, recipient: 'SP3FM922C0YRJDBYER232PYX78YRTGVWKD325QHHQ }
{ amount: u27105307300, recipient: 'SP1J0K08765ZY60ASCC08DG0RZPR5GRD8QBVZRVTK }
{ amount: u27045000000, recipient: 'SP1JPSN1XK3HH1XNYKAM2K6YEFVS50MXZHNGF4V9C }
{ amount: u27042853600, recipient: 'SP38VXKEJ7R8PZGQWC0CT0ZWTN4FF8C5J76AM5A9Q }
{ amount: u27040305800, recipient: 'SP3K4PSHMKKWFA9AN2SQMYCS8REVQYFEMEK9PN9PA }
{ amount: u27034596000, recipient: 'SP7S03CKHAP3WFC94H7A9RYMKKQKWEN283D464BB }
{ amount: u27019114900, recipient: 'SP3KWRGZJYYJCMPN6T4GHRWT6D51G56FPGGSXHD4Y }
{ amount: u27015810300, recipient: 'SP3738ZGD182VV37PATZFJE3YV3XZ7BKGP9197CGX }
{ amount: u27010437400, recipient: 'SP1T1G28F9V0FZ0W40H6XQ57T0PZC40KTA3V8BKTH }
{ amount: u26926882200, recipient: 'SP6T0F8JN1WJAWREX4Z19GX36RBSM1AH4MQJ42EH }
{ amount: u26920612200, recipient: 'SP2YZ3EW2PD1N8PH1QETHPP8KK7EPYV760M677AFD }
{ amount: u26918000000, recipient: 'SPDHB5W9H6XMRVN4MMQ0HVGNZBFN9RDNP20VSJWZ }
{ amount: u26894312200, recipient: 'SP2HJHFK47Z51WFR56BYN14B6AH4SJAS7WVJHYFJE }
{ amount: u26859519800, recipient: 'SP39MEVG2G36Q7P8C6E923TPM2M0JBNJ429MC5YE }
{ amount: u26815770000, recipient: 'SP2DN1ESH6HYYM0WFBY9YBVPKABD4FXQFKHMTMSAJ }
{ amount: u26764858200, recipient: 'SP2M5YGRBM1WD9PNFCS0SX2S15PAVEGN9B8VAAR0J }
{ amount: u26754135400, recipient: 'SP1JDJ1GYWFKA70FN7BK6TEP974XKR1ERFHGA2ZYM }
{ amount: u26747338000, recipient: 'SP1FY6EQNMMF3RTYGJ8AWE4DSZCTJKMRNXH6BMT6F }
{ amount: u26735695300, recipient: 'SPWT2E7JE9HZBMH6VDVJY397RZDZ6N9Z55AJ9A8C }
{ amount: u26720194200, recipient: 'SP11ABWWREB6VFZ67QERF7MXKPT1NPW8AFMC0XZF6 }
{ amount: u26710194300, recipient: 'SP3NM346MJB2DZC3830X0581TT38NGAZW007JPH70 }
{ amount: u26705687800, recipient: 'SP327AN4BHSQGQV7NDQB2C7A9XFV2G6417HNWAT97 }
{ amount: u26688304900, recipient: 'SP1M1203DZQKDFD32B5GPWS295ZXR7K4RXTN9NKB5 }
{ amount: u26679150800, recipient: 'SP3Q4XYPW498Z8SVF5H9KNRKNF1C6WW9DH76RTT1F }
{ amount: u26667260000, recipient: 'SP13BT7NNJ4SKBR3AE6JY15EZ49MEWG4KRG4GGCEP }
{ amount: u26656438200, recipient: 'SP2NZ7FADCBDCRPYSZJCHFPCVZY2NSM8BYHMSW6Q8 }
{ amount: u26621584300, recipient: 'SP2X4VNFZJ86G1VBE86XG2Z0B4F1PVRTFD8SYZF4Z }
{ amount: u26618000000, recipient: 'SP1756TER3KC4PVVVXZH0AAWQV6XSM76FSGX6T704 }
{ amount: u26600890300, recipient: 'SP3AAZM8743YYGY82GF5BBRQV54D3VZWCV7K41SB9 }
{ amount: u26585353600, recipient: 'SPKMDV2NW572XRSP68Q2FR9FX0PCC7HVEJA3F16 }
{ amount: u26521448400, recipient: 'SP259Z8XNH8X9ZCWPA8NTFQRX5GK74DX0BD59XDW1 }
{ amount: u26508702400, recipient: 'SP3TY4K8XQAVVKA0KMRKBZ6K2KF14YNFT6KDBGBPP }
{ amount: u26507621900, recipient: 'SP2E5333XWK8XGF0D7EHT5MYYMW2X6Q08NFPQN5WK }
{ amount: u26490237100, recipient: 'SP19P2N79RVWDRPQ4WDZZWSD3VKSBB5KD18XZ6A5 }
{ amount: u26489805700, recipient: 'SP3JQBENCS4C3MJQM38D8S185DK1JBNYZT91T2HJX }
{ amount: u26484644700, recipient: 'SP2MZEF9RG575SDNPWGSDQ5XYR99HCXP5QVN5TTM7 }
{ amount: u26441796800, recipient: 'SP1JSHBCXQ42ENR4V0NNCF1H5XK75YC8497M44GEX }
{ amount: u26436995500, recipient: 'SP2CXW7WMJSJ86CF8NSGW9H6NDE4HXMEA9AY51WV7 }
{ amount: u26422544600, recipient: 'SP2DKS2V9ZJAHZCSG77013HN2DPYC36R80TYFEQRT }
{ amount: u26421676000, recipient: 'SP2A4HQT987E8VQRB2M30A6XY5TF7Q55S5KS39TJH }
{ amount: u26398970000, recipient: 'SP2H43P8RECNVRKEATSX4XAQFNQEZX60HEPCPDGYJ }
{ amount: u26381535400, recipient: 'SPEFDVSWT3XQ9Q3810T12AWZ388EDYBPSXYDG8YM }
{ amount: u26362400000, recipient: 'SP1HCA0BF4PX3G7064MA5JW0Q8Q8R6KYMG4DWQAZN }
{ amount: u26362400000, recipient: 'SP1A967GSS8V1HCGQWTWDHFRQP51K1Z7S8CA4YJYR }
{ amount: u26362400000, recipient: 'SP1Q2CJBBNBYPG0XJB6996FEA0S4GMHQGP9K11NCC }
{ amount: u26362400000, recipient: 'SP2HV5TJS89ZGQG44SSGW3DPVA081D8QY25G27KQS }
{ amount: u26362400000, recipient: 'SP18BDHNCCT6DMKJCKPDTPQR7J2635NRE5ETY2V20 }
{ amount: u26362400000, recipient: 'SP2TH0ZEF2AKBVH93A4ST0GNWKFTXDQ34YSR1CA42 }
{ amount: u26351033000, recipient: 'SP2GF7KBJW61MVC0BJCQF1VGNBJCGJCYTZP225FHF }
{ amount: u26342000000, recipient: 'SP7VPZBJ9TG8BY4TD7CSC5F157TXH0NRSE6YMKZH }
{ amount: u26336322700, recipient: 'SP2AF993KD800V9M8ATKDE043W8BBYNAST4EG7JN8 }
{ amount: u26326687100, recipient: 'SP3TN6TTRAD6M6X3Q8M946TN06ZTQ00VNXMXY5351 }
{ amount: u26300196400, recipient: 'SPJ65PQBJGAV2KN58W53RCKDB8RTG36HBKMXHKQ9 }
{ amount: u26286467100, recipient: 'SP114STBEGG0PBWKQ521ND21SX93Q9PK8S8XZT76D }
{ amount: u26224707700, recipient: 'SPK3CQ0Z6WC62MD6JFBV2KTE5S945CCD143CGPZW }
{ amount: u26217000000, recipient: 'SP38E5B3RD3XVTQCAQKKMN1TK222FQ2293HQPC6K3 }
{ amount: u26207612300, recipient: 'SP2TR12FX4QMT6P7BPRSZPPAD2ZS6WZYVRFB08TZE }
{ amount: u26198112300, recipient: 'SP28KA8EASEGKVNM5X3D6M72DMNV6MJ9GDHR7ZZ6V }
{ amount: u26119000000, recipient: 'SPBE7T31RMVVFWBPXYPK662NXHYTA7MMJ1XYNZ5F }
{ amount: u26099563600, recipient: 'SP09V2QV7SQRZ4MY8RMNAEHGZW45XAXBA7ZDYVB1 }
{ amount: u26041517700, recipient: 'SP25MP8N4CDN5ZZBMR7JAS09PMWC1R4JDZS3ZKG2Y }
{ amount: u26029687100, recipient: 'SP3030XNDFEF3CWG6P28RAY3QF7VHR8ZDYQ0WHM4S }
{ amount: u26023397300, recipient: 'SPJASS1NWD1RT051QJZMWKTBBN4SPW6SYHFTDRJ1 }
{ amount: u25981550900, recipient: 'SP2PJ0DCGEFPA5MHGNRJ5DDQVV98H84Y2XM4TMS9E }
{ amount: u25971453900, recipient: 'SP20CMPV5V18SJSAA8FBW2C1GDBCCAH5T0A2ZJYYD }
{ amount: u25956664800, recipient: 'SP1P31EA7YTP8VXQPPBEZAMJSE7GPY0VJ99J8J2EM }
{ amount: u25917153600, recipient: 'SP3TVDV2ZAAZQ9GJSFDBPET8NPJ5FA01AV9MJCMY5 }
{ amount: u25911617800, recipient: 'SP3E1S3QYRCKJPDAZCRR9JVJKSKGA83NQCC9FFWSJ }
{ amount: u25908389700, recipient: 'SP2WHGWQJF59E9PHBVYXYPDHGC7QC7G567A1BBZ8J }
{ amount: u25880914100, recipient: 'SP14FA5F6ZQH4Q379Q7Q3B3SN7QK753AWA2YBNXNS }
{ amount: u25849939000, recipient: 'SP33DTJ4ARP70HS5BKP1XQWCSST06ZDZ89KT2PF1N }
{ amount: u25836651200, recipient: 'SP3TDFH09JNECH72JRYD29WQZC5YKZ2HEKCF62DNB }
{ amount: u25801280000, recipient: 'SP3A57GS6GYEK7ZCV6XWV9KAFX6FERX9NMBKD7TSD }
{ amount: u25795601800, recipient: 'SP3G3AB3V0Z3A2ZYDDCPA4JFFDXR6NCQSXCB4SESZ }
{ amount: u25761667100, recipient: 'SPDB5FSSZEKFBKYSSF2PEJT64N41S2S23Y20XW6F }
{ amount: u25752396800, recipient: 'SP24E4736VRRKZV5QJJ48HZ5QTS41JJT3HNFFQ6D4 }
{ amount: u25705808700, recipient: 'SP1ZXF5EQHDDGWY58AXCF0MBGXH07QENA757DPVMV }
{ amount: u25687393800, recipient: 'SP3JCN7W79KNRJBBPBRPKJZ7TRCVAK1NGV2FX4ZH }
{ amount: u25684819000, recipient: 'SP3MCTJN1T28BNRZMDX96SCYWVBX42C4ZZGWHD41X }
{ amount: u25671448000, recipient: 'SP146DKQA60R47522ABBERDDSWEEGJ4J12K0WZTMJ }
{ amount: u25665785600, recipient: 'SP1ZA0NPPJCSF57BZ7NB9K0SJ8G6PQX0F28N310V9 }
{ amount: u25616465900, recipient: 'SP3GK06CKDRH2R5KDGSXWJM39HXX5VNYCEGA9Q745 }
{ amount: u25604520200, recipient: 'SPTSW1JAF84861F9NAVWTJSPY5AHYZWQYC4AWTQE }
{ amount: u25560120700, recipient: 'SP18CM0XKX6R07E5R7Z51E1D2M1TM3309KCBYBDJZ }
{ amount: u25544601000, recipient: 'SP1Z6KHK9DYAMVN8Z5GYEX5J3VV084Y5S8RZ1AFTE }
{ amount: u25537393600, recipient: 'SP34DY6G1YVGF95V1RTBNEQFXMBR5JY0CNTYDHJRH }
{ amount: u25516161300, recipient: 'SP3DKN33SCCERTMZP5PH4SKXS4GDGH0BAY23AWB9G }
{ amount: u25507303400, recipient: 'SP2ZNVQRDZYNGC0W1S28YSHTH46808MHY1WH2NZG9 }
{ amount: u25476911000, recipient: 'SP754BYKFDC71QZK18KK6S4MGKX14DQSNKBQ87C2 }
{ amount: u25469030100, recipient: 'SP16CX264VS53K9625GM92XN47K1BA0056ZBVDXQS }
{ amount: u25449793300, recipient: 'SP2Q409YS903S7K3CD775QAV3BG7AX0B31GBHZ76H }
{ amount: u25427766400, recipient: 'SP3WVMJJ7ANMDRE09H0YHXG5BBA0YHE0V09ZN0YW0 }
{ amount: u25417000000, recipient: 'SP33AT0NXYSYEK977M3S4WB270T3K4BY513FYGNFD }
{ amount: u25383808900, recipient: 'SP254YDAYQAX6Q62BDHJ8Q72HF9BVVBG06KQFQHJE }
{ amount: u25364930900, recipient: 'SP2T48J62YHEGW1VWMJ5H1708QZG5S6KPH6N6GHNF }
{ amount: u25343502800, recipient: 'SPYMCFW7CG08C9SCFAK5ZNS0PXGYX86CSR94H0C3 }
{ amount: u25281625000, recipient: 'SP22MZNKCB9GHK1025TAH0AY6XVE14V1DFWFYT5Q6 }
{ amount: u25276013200, recipient: 'SP26KCCABRXE8BYBNH04Q4M46B19DG8F00SV1JXZM }
{ amount: u25236331300, recipient: 'SP3FQRAT3NCNFV3HVRX0R40CF47YMKPNXHH7ZM9H8 }
{ amount: u25169080300, recipient: 'SP3AJ9ZR71KB9NXMJ9BVZ2Q8WQ9DPFZ06MG4W8BC2 }
{ amount: u25168336300, recipient: 'SP3Q9YCBC2VX1VNVCY1E5JTRJH8M2QGW1KFPBV9CJ }
{ amount: u25159905700, recipient: 'SPHC2RB5D2AKMZP7ESEVGFPQYWYM3HQ5NVBEBPW5 }
{ amount: u25159041900, recipient: 'SPT67RMC0Q7BAR34JSKMT9HGXY0HDJH1YZW2NBZ6 }
{ amount: u25157177500, recipient: 'SPD627JJ6SA13SMGE8FP8XX4AC1RR35TWKCGJ9FG }
{ amount: u25150091200, recipient: 'SP1PBR4KEKXATB79K1K4BRCD6ZGQ1SSBX8KGWSHD9 }
{ amount: u25143893700, recipient: 'SP22HZ3RF9P0YSRTZXZV405GXXPJ9Y3GEBMYHYNK9 }
{ amount: u25114000000, recipient: 'SP1ZW735HNG5AGN9M87QCHAWRXX2MXR7WQAEJJH0R }
{ amount: u25113218900, recipient: 'SPB35NYNPZXAE5S7QCZM49H0CK70Q3D2JRSMC0SZ }
{ amount: u25093327300, recipient: 'SP105EQEZBS3K3MQ5M76AC9FGD6MMWDK4MM0CEZZ0 }
{ amount: u25070957100, recipient: 'SPXZB39M8PQP3Z57GEYYZX43ND44BAXHFN88GS51 }
{ amount: u25062860300, recipient: 'SP3B4Z25GXKKMSSDZBVSN6GCAA6505JKMKMN4P38K }
{ amount: u25028977300, recipient: 'SP3HE897VKSFC5YAH0YTQ74M3R11762NQ6SVMJ14H }
{ amount: u25016737100, recipient: 'SP1TGCVGEQQDAQDMDC7T93JCRJ33XV1AJQ3ZBZG14 }
{ amount: u25005422600, recipient: 'SP21Q4WS6EW52TH0Q8TVVWJ6HN13H0X5WJMFFJNF8 }
{ amount: u24994420000, recipient: 'SP2MCS7YGM16EC7XK29VS00MZY9V61GDDBP7V1XEJ }
{ amount: u24988688900, recipient: 'SP2E94XG0KFS92X23MQR2X9FRV1AP9T6FPFPQMPKB }
{ amount: u24984000000, recipient: 'SP1TSZTHNZTRM4CNZHX0349E2GMPX3N5TPVNFM1RJ }
{ amount: u24979091400, recipient: 'SP1H00JHVT93P1TA3CRYTJJXE9R3F1XNMXP34383J }
{ amount: u24932095900, recipient: 'SP2F5G73XGYNKNV1FKBMY19SWZR3EYZCST8XKVE9C }
{ amount: u24930661500, recipient: 'SP1ERYC8CBD61T84NV7AMH830JXSC6TWSP37NEVWD }
{ amount: u24891476800, recipient: 'SP3J0N2964S5X78JV21EGQHJWSMSZKZ9EABGM8TN6 }
{ amount: u24865170600, recipient: 'SP2QN5KCK9ZBJWG3YXBHPP8X61MWWS4VX8P21ERVK }
{ amount: u24852811100, recipient: 'SP2NXENE1XZZTYB2S8F3V7GGS5TF4VWG5YXXXPYYK }
{ amount: u24836933500, recipient: 'SP3SYHDV5JPS18AJ4SDTQE17YG10W0QTA142BBD7T }
{ amount: u24768012900, recipient: 'SPX7W015WQZBA9SMBKZZB3J74HGAJTR9G4422GA0 }
{ amount: u24751808100, recipient: 'SPB6NQD6PPGSP4E4RSGGRGVD0M04B5BKJKDXTA04 }
{ amount: u24702164200, recipient: 'SPVY2GAP2225VFPA4EKQD2KP500T0KWF33W8ETV1 }
{ amount: u24694869400, recipient: 'SP3TW268TY5NPEBV4K8WKN80T5WKR0D080YH1DH6T }
{ amount: u24692823700, recipient: 'SP23MRA2JENT0SH48DBGCD4Z0YJPTBTKV6BHW6JK4 }
{ amount: u24680923700, recipient: 'SP3C9GCKV4GESS54EGS7PQCVPVVKSMADWP0AR4N1S }
{ amount: u24667780600, recipient: 'SP12CSX5GDBVSXPHES3KCQF4AQDYPVCVM5076ENYZ }
{ amount: u24664724100, recipient: 'SP3S5YM9T4JQCYQSN5B9MYB3YXJPG3MTAV9QV9HYF }
{ amount: u24606889300, recipient: 'SP13K420PA2SNP0CR1Y5RNYE2TC6GSS63N085KK9X }
{ amount: u24577000000, recipient: 'SP2FSTHE7Z8MRH4PQ3G2DETRF7Q4DGFY6FHSXZXRS }
{ amount: u24563418000, recipient: 'SP10F5W11YT4HH62VSKA7R9TY1PAXC2JPKNN8ZD5A }
{ amount: u24558674400, recipient: 'SP1WXXQMEJMFXCB7PXH4D74EETHP53N1MNTEKKP0F }
{ amount: u24548079600, recipient: 'SPW6QWB50SFWP57YFK7EEVTDQR7SXYR7C9XCAHFC }
{ amount: u24522507500, recipient: 'SP2SS810XCWN9167FHSEGQTZRMR8DZW5ZG7T5KW5X }
{ amount: u24500000000, recipient: 'SP3KVABDR0FVVECR1BBWDQ4NBGBA7M0B4EE5QRRNQ }
{ amount: u24483616600, recipient: 'SP139MCJR9TR30VNFQV9M4D4YD83MXW32GRBCDZ8D }
{ amount: u24471534400, recipient: 'SP9ECZKFRE571YWV8P49VZ28TAHHFS0M5CBWZNCE }
{ amount: u24470481700, recipient: 'SP2ZWKT6XCA0PMQM1WYX08WR7H4JCERN5GXJPN1HP }
{ amount: u24463728300, recipient: 'SP3X0N9RZRQWFZX85SRN69TVF863D4J661JT0BXAM }
{ amount: u24444090800, recipient: 'SPGSQRQEFJZZCNEY0FMAP259G16ESPEWS0VJ4HS }
{ amount: u24433485900, recipient: 'SP5NV6J0MN4MPEPR7KBDQ4R9HJ15ND19AMSKN0BV }
{ amount: u24432465100, recipient: 'SPSEX2VVQSDZYZ5CHBCZD0840S52PK5D0QPWPXC3 }
{ amount: u24422649100, recipient: 'SP9HY0J6TE25GJVDEK1THY0SJDRCEWF0GGY3YSSQ }
{ amount: u24399725400, recipient: 'SP1EJ6YKNWZH8EFKCCM476YNMNZ12QFK81M5SS615 }
{ amount: u24379124700, recipient: 'SP3EBNHSGK3WPYGNP3C5KNN54V6H24BJ1H8BVPQ15 }
{ amount: u24351817800, recipient: 'SP2YSS7QERS531FC05DY9YZF470FY01DMKEVQ30WG }
{ amount: u24327259700, recipient: 'SP263Z06P1XNM9N02PMWMCKGFD73N9TNTZ1PRTXD1 }
{ amount: u24300000000, recipient: 'SP1BS7J8C53T8J97CZYG9BCY7CKNTGEHKDAVRGQCW }
{ amount: u24299932000, recipient: 'SP1PP386VVPRJHV7REMVMRZ2YH6ZJBNB1EAYB3ABC } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-36))
(try! (contract-call? .token-special-vote edg-mint-many batch-37))
(try! (contract-call? .token-special-vote edg-mint-many batch-38))
(try! (contract-call? .token-special-vote edg-mint-many batch-39))
(try! (contract-call? .token-special-vote edg-mint-many batch-40))    
		(ok true)
	)
)