agp207

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-31 (list { amount: u78428892600, recipient: 'SP2P675NMZHZJ7B7TFRN0NQA3JQ15EFH7WFYEG9DW }
{ amount: u78384139600, recipient: 'SP1GFPXA26H0EJ8V48ZE2T04CFABZMKG3QFC0BD7H }
{ amount: u78329396200, recipient: 'SP17B5SG0HQE28WMF6DN2PR6ASV5BB238J2YK3H99 }
{ amount: u78316000000, recipient: 'SPGEB4244PV5C0YKFV6ZNCFW981GWYYWNCKAQRYE }
{ amount: u78285607700, recipient: 'SP2QB4MT1501Q0XZJS641ZYK4TMWYKTS5PF18NXDN }
{ amount: u78256151600, recipient: 'SP2E40H4ZN921M5XCR69F28RXRT0G3CCB4PEJC240 }
{ amount: u78192957800, recipient: 'SPHTZ4DDG06923WRXKHRSZ6DMQMJ911AJ0N8WT83 }
{ amount: u78146134900, recipient: 'SP3M6R48T13FC1RPPBFYXQXJZS2BP1K4E1VSZ7JQZ }
{ amount: u78084624700, recipient: 'SP2D9YE3YWCFC1BGKXBD2D9ERFYR1Q8E569CHFKG5 }
{ amount: u78023854600, recipient: 'SPP6TX1NNVT34BTJT275VK1VSGB6R5TZJ5V397TR }
{ amount: u78015890000, recipient: 'SP6FP2DC4JG5GVVWHSAF3S89JNY9WX7MQMKES0XK }
{ amount: u77926269300, recipient: 'SPEZKJFK7SP7HYZTXQW07XYXD0WVHJ2WMJFCM7ZC }
{ amount: u77903575400, recipient: 'SP2NSXJKKJBG0T5WX7RTCQ9SA6DAGZZB17BY4C6RM }
{ amount: u77897591800, recipient: 'SPSZZQRRPCCHY15NV1TJ4KH96F5XM64SVAPSN9SA }
{ amount: u77893000000, recipient: 'SP1SPD8ZEAJVQPH9AB0GFY9ZZZZN3CWKHKRR3T3K9 }
{ amount: u77846555400, recipient: 'SP2TC8N8Z8PMADNNTNKHJF87YVDY28FBSMDTDK38J }
{ amount: u77845171600, recipient: 'SP2V902FBWM1G7GKBJPVBDB21X97HAARCK7WZHRMF }
{ amount: u77833701500, recipient: 'SPM6362RT7T1216M6R5TTAHZQDKVV9A3VXJ3HT1S }
{ amount: u77698686200, recipient: 'SPYT6VKFYP62TJF6N5F97XH1P8BVNSWJEJNDFX0E }
{ amount: u77681693500, recipient: 'SP2WJDBTWS4PXYN07798PBHVTY8H2DN6QVQ13ES7N }
{ amount: u77673185900, recipient: 'SP23MKFNCZQPFPZYCG3XF25GFS8EYAT8WB726X2D }
{ amount: u77664468300, recipient: 'SP2GPZ0S63BPN7CKJNG4ZZ8HX5N2RX0MVB8N1QWW9 }
{ amount: u77654610000, recipient: 'SPCADDS7MT2DFWRN8K979PM46KAENCZJH6H21GJC }
{ amount: u77639777800, recipient: 'SP3TB81AWKEFDC2S1P9601HRXAHN2JGPK4WZEF1HP }
{ amount: u77534236300, recipient: 'SP3RBMGTRD92F0S8DTDJ4FVP3D76SM4A27EV93106 }
{ amount: u77530000000, recipient: 'SP01W1FVSZ7HMNDDWT4JWK7Q04Q5DRPVRMDTZ2ZQ }
{ amount: u77497725000, recipient: 'SP23RXPZE4SG4Q109ACHT3D5TCYHQZG18TWYXQ9BW }
{ amount: u77445017000, recipient: 'SP375QA3HZN6CBM0DG2NGY7X3W9NBBQ0DS6S5NH9V }
{ amount: u77429823900, recipient: 'SPS8VQ4N6C8PQ7EZAKKAQ3V6VJWKFZG8E2TRZG17 }
{ amount: u77427892500, recipient: 'SP342M2782ADK24AGNPSAM9X24AACY0T6CQ53WEQW }
{ amount: u77356580400, recipient: 'SP1SVQQ84F7VD6X2G6MVY0BBBRXM2FB84FJHRHKCX }
{ amount: u77332842300, recipient: 'SPQ41PTX7CN0PWPEC4B92KY5R39M3MP887G4QGKN }
{ amount: u77223702000, recipient: 'SP2DD26WNTJF179AWCQT80ZMCK5EFB25A0QJP4SVX }
{ amount: u77200636300, recipient: 'SPF9DATSD5DBT09FQDJ3QTD10W62T00F97GQRT91 }
{ amount: u77183597400, recipient: 'SP2VSGC6AZD5N3RN35P78NFATY7KT9DFYS3SSC46Y }
{ amount: u77156858300, recipient: 'SP2C40XADGBRD90M80T3VTCQBY1RE8WY18M5885EC }
{ amount: u77110257300, recipient: 'SP38PZX3BKRRTG3950PSHYMJRVZ5PBC9Y57GKYNS8 }
{ amount: u77063528900, recipient: 'SP2XW7WQ3K0VG41SZBQQ4ZRBF1R6V8F5829A341KF }
{ amount: u77051226300, recipient: 'SPZS56ANT46Q20C63N92E5XZ44B71H9PKQXBZYKZ }
{ amount: u77021092800, recipient: 'SP28G18WASCMRJ3DQ8V0YQ8WX07CJFJ5K3VMCG28K }
{ amount: u77012642400, recipient: 'SPHTTBFNPRSYSBG91KAP5KT6DKDB0A9K3KV94Z59 }
{ amount: u76978862300, recipient: 'SP2XJSF8PPVESWYXAY6QY84FM9Q50WXQPQ4EKYZPJ }
{ amount: u76978054800, recipient: 'SP3488HWK0YYT9ESRKH2YAW5FDFJPYYS0BTXYDK42 }
{ amount: u76935715100, recipient: 'SP3R7DV5NSSK1TC91QQ54BV1A87DAQ9Y6CHMA0S7V }
{ amount: u76834894800, recipient: 'SP233MP5478BVR6RMD70ZG55B3JC3N0T76AN7N06Z }
{ amount: u76823090500, recipient: 'SP05JSNM0XHYKH853B2M7VWT47830QSW9C71M6Z1 }
{ amount: u76794010300, recipient: 'SP2QH8G651GXJR2VSYMFFK2X32YTTK2AMGN2D6NVB }
{ amount: u76708692800, recipient: 'SP30DZ54SJHFKDJ4AJ19KPSM1H4SYMWAAF19JRNH8 }
{ amount: u76685156500, recipient: 'SP2QSZG0TKH63K20X79AQ2J9T2WMRMQDRHP42TN63 }
{ amount: u76626931100, recipient: 'SPDA3AN3QVX38CWHG62CRQ8F8Y65RJT8ZNVHCBN7 }
{ amount: u76573770400, recipient: 'SP3XGDZ0AZ32KD75R9SZV56K6DNMV5G5G3M0RDTKC }
{ amount: u76573770400, recipient: 'SP1G3BYR25HPC8SA2HPSCNTARD947H3V2H2VPPSVZ }
{ amount: u76573770400, recipient: 'SP14JH0V56M4EN5GMC4M4P0D3ZGBNB9BR3HQZ79Y8 }
{ amount: u76573770400, recipient: 'SP34R64CCWCR2ZS8VCH06YFY842R0P27XCV54647G }
{ amount: u76573770400, recipient: 'SP1JV2VDFQV3DXB52XJKRC37W0W5E27BDRWQSAJH6 }
{ amount: u76573770400, recipient: 'SPPV0XPG3BG8CFYPST9Y74RA9QW5GKG7TA2TDHVS }
{ amount: u76573770400, recipient: 'SP1G6XSM7Y9Y9JFKBMEJ663D3H16MW096J2QFKQ0B }
{ amount: u76573770400, recipient: 'SP2TAD14GZHQQZWT65NFHFZWNK1PHVWP1X4RWXD93 }
{ amount: u76573770400, recipient: 'SP2A9K4ZGJV4MXADY6NDEPP5Y7RZ6QD2D2B6XD9VB }
{ amount: u76573770400, recipient: 'SP280YD5K77V57EJ6AF5SBDARA1TPN97JR39BX5JN }
{ amount: u76573770400, recipient: 'SP2HHHQF223ZARGW0C2QH7FYAZE9EH4T223K36H2W }
{ amount: u76573770400, recipient: 'SP3WJT7Z4WEBBDJDT0BZDBW7QZB95H5ZD5J1N1VHF }
{ amount: u76573770400, recipient: 'SP150EKYM4DKC96WP3BE2RRWG0Q065MEBSRZVB9C7 }
{ amount: u76573770400, recipient: 'SP31F1MMYKX69Z73P4YDR82PKA6NEAJCZT0QYGAD2 }
{ amount: u76501474300, recipient: 'SP53X8M458FXETSMSYNYTZDSWPN27HTJWXSNVG92 }
{ amount: u76436938300, recipient: 'SPC8HP2BGJBNE9SM8T65NKBGBAZKJYQQABW1DWS2 }
{ amount: u76424180500, recipient: 'SP1AXVHRZMNPE4621HWPSKD18FS4GM96KSAC82RER }
{ amount: u76406003300, recipient: 'SP3DD7AN4AG4ZPTQM53P37H6RW8TW07C0227FCNB }
{ amount: u76384799600, recipient: 'SP1TBQ10ATGPTBENHKY2TQ5SQ6K3GSBEBWWWJ2BTA }
{ amount: u76250000000, recipient: 'SP2RFEFVC6FR2W1AAN9NMYJFEGDRCGV0SAD6547JS }
{ amount: u76224057800, recipient: 'SPHYMWY8YJP03CEP8Y5C3BXMCC9J0BF5H8D7ZW3G }
{ amount: u76186805000, recipient: 'SP3F7ZS7ZT9ETZ2CZW0CSE6F1PKN1CRW5H5JF8QFH }
{ amount: u76181802400, recipient: 'SP3DY9A3W6J4E1Z4C1NNA9J1BE5K71BSQ62BAR9EZ }
{ amount: u76166867700, recipient: 'SP3BGNH94X5GXG4JSGZEM3WRJWSX97X2YVD3XVNZX }
{ amount: u76041219800, recipient: 'SP3BBCCQ1AAATB084H7SNY90CEC2SXGQMSBWKYMNR }
{ amount: u76008447400, recipient: 'SP2W964YR1E6W6AAEXDF6ZS8WPWB52P4Y5PAQ2WT0 }
{ amount: u75955000000, recipient: 'SPC9YZ5XHTD927PENN39R8TFFD22TG8D9XS5YFT0 }
{ amount: u75935792900, recipient: 'SP3CBJ2JYAKJN6VSKNWX60HRNG5DH5HZS4DFC4Y29 }
{ amount: u75934525000, recipient: 'SP3E5P4WF88MJNAD78F0Q1WEWDME0A383MWT928S3 }
{ amount: u75897021600, recipient: 'SP3EPST0E68YT24TQ7M9DQNYZ9FQK8JXY9M4FBP2H }
{ amount: u75859168000, recipient: 'SP296JDGE44PKVRS3TH1XKXE6WK9FDBVHTW8X179V }
{ amount: u75803162900, recipient: 'SP83G37VB1BK1VKAY4WSFHQWJ485JG6MA563RFJ9 }
{ amount: u75749771100, recipient: 'SP2FQPY9AS0DF21FG5XH37RH02AGC8R2M27X4KAZN }
{ amount: u75717848400, recipient: 'SPC1R555YCKXPT1R34W0DXA8WZYTC0AQ6HZB1AM1 }
{ amount: u75704148100, recipient: 'SPW2MP32C1YTGKBEWBBPZ8HYHN4V63ZSK3WSP9CM }
{ amount: u75670274900, recipient: 'SP1BJ9G9J2AS4JZBPY0C82F1PA4N1RTCGHF9FVBJD }
{ amount: u75634953800, recipient: 'SP1MQA3X4BSP1YQZNVMGKXDRMPEET2YG8K8GVGZH9 }
{ amount: u75609662100, recipient: 'SP1ZQ2GFJ7MCKRBQDE63QXBNH13D8F2Y77QQ4AW17 }
{ amount: u75600508600, recipient: 'SP21QH3M20H8Y93TXPW59EBQDXCQ70Y693FQ0ZPFZ }
{ amount: u75542191400, recipient: 'SP3GT04R6M9FPSQVMGBAJVH3P914CD5WHMF2EC4TK }
{ amount: u75523890700, recipient: 'SPYSJYQ7FX43HE3SQRJQ399Z63Z5J227T53FHSKX }
{ amount: u75500789600, recipient: 'SP3R1E9Q1K00V2423VF2C17K8E0Z8W12N7HFJF4R1 }
{ amount: u75471433000, recipient: 'SP70RDZYSEN1VMHS5NTATA5X59EFPSH6RQ90A8KB }
{ amount: u75471433000, recipient: 'SP30P6AKVXTCYS1RCX0PY7388DE1QAEZYN69XFRVS }
{ amount: u75418712600, recipient: 'SP1T4CQ7HN9ET815YD3RFVV29HK4ADKC4AKTZ1ZPR }
{ amount: u75391259900, recipient: 'SP1RASDP7SH25884XC34G3BQ7TTZDH781T3AN77D4 }
{ amount: u75310930000, recipient: 'SP10D7QHYWKXKN5GDK4YH2J14DYMP64SRJZRMPXDY }
{ amount: u75240186100, recipient: 'SP3JQFAXHFENDVHTR47VTQJZ052DRW5FC1HYP7W1Y }
{ amount: u75163633400, recipient: 'SP9M5S19PE4GM1VG87B09JTD50748517SJ4R0Z9V }
{ amount: u75096309200, recipient: 'SP17JG4PAPZZXEJG1FB2NDP231ZVXVW60PEXR4340 }
{ amount: u75092677000, recipient: 'SP3QW202CR4A80C1BCD6ZDP9N2YNAC7EQJT1S7E1Q }
{ amount: u75083470500, recipient: 'SP1ATWCW5KSE20VYAV13AXK7KTTFJ7QP3VEW31A21 }
{ amount: u75071634600, recipient: 'SP185VYVFK1R9EKZCN2SKJ7HDG9XC2BXKPRD8GVQ8 }
{ amount: u75064170800, recipient: 'SP103BZSXCX2YF8HXMN8DDP5Z46DN4A0HPRDYJXDD }
{ amount: u75024460400, recipient: 'SP17XFW0963E9WG8484ZGFYS1EX9YGRGNEYGJKHZH }
{ amount: u75000000000, recipient: 'SP1MTKBQPA8C4KPJQSCD7MC4QQM7KQV4F0QZT0TJZ }
{ amount: u74957263800, recipient: 'SP6FSZ841ZN4X340W51AZXBEW942B8CEFRYBP3M3 }
{ amount: u74933618400, recipient: 'SPFBBGYWKXSMZ0HKZ56D1YR77CC7RZTXVMG45VNH }
{ amount: u74890957500, recipient: 'SP35TFX2KPDEK9XXF2QTP5GPTW8JJYAZKT2X7SMV0 }
{ amount: u74886911900, recipient: 'SP1W2KYB5PRFWMTG4JC9YMCQRKHEVH0R5E8PG5VFK }
{ amount: u74877724900, recipient: 'SP3NRR1FRHYF7GX7NP3FBKDW80EJ7R1R3VGNPBFA2 }
{ amount: u74867073300, recipient: 'SP353XTSYH74HRWKCSH7CXS67X3HKP8K6FWVTZCZA }
{ amount: u74818620400, recipient: 'SPMTZ1JK69JSE6VFRFQJM5WPY967XPJZFGTDHTXP }
{ amount: u74787109000, recipient: 'SP26B21KAN99PTNSMNYN6KKJ3PBFSJ48D9CDNRWMJ }
{ amount: u74684555100, recipient: 'SPBP09QGDWX8WQG3R1FA5P7V3ZVZGW0G7WMM6J1T }
{ amount: u74616241100, recipient: 'SP8EE4HJ8MX6MA9P2SD9C885VS1BDEY55WGG39JD }
{ amount: u74578622300, recipient: 'SP2Z3M2FEAQ7G5EZQSXBM6YY5TE7WMNG3WF77581M }
{ amount: u74570637600, recipient: 'SP3BABF1YC7GCCNMXGYP509QY85VS62PGSNEFDHQ4 }
{ amount: u74471433000, recipient: 'SP2MYNPYP7B039EMGPKXDRY98EJ7J19RGWGK7MD96 }
{ amount: u74459927300, recipient: 'SP90WY392SVRW6K11H2FC1AC6NJTYTG4DCMP6GHB }
{ amount: u74449544700, recipient: 'SP3JY616PMJP1Q63D9XWB41YBV6CMHM1M2EKKMN7J }
{ amount: u74429774000, recipient: 'SP3YQNS5RNT5RFB6G6GNMG1T3C2AFM6X18E86JX5V }
{ amount: u74391250300, recipient: 'SP3KW2SDQHYQ8STJTKRFP6ZXZ83H2R0Z2DPYQVAH5 }
{ amount: u74388069800, recipient: 'SP7W69RJCEQY5VMKDFWTMTX2J5ED9FFYWJVQAZJX }
{ amount: u74357700500, recipient: 'SP3J8A5SM1R2S4A6FJWXR84D2DE73VTFP2Z6SY419 }
{ amount: u74296924000, recipient: 'SP1QTEFSMCPT6PS92RBS5WQSKT2R6C56YCK175YM6 }
{ amount: u74266212900, recipient: 'SP6N2WR27DXTKY1YTKMQJASX6VHQZYF9W6QGXN7A }
{ amount: u74179785500, recipient: 'SP2JBA5A23JDWAMEP7THA7T4PV1GKTCXT9QQ22G87 }
{ amount: u74149772300, recipient: 'SP3JXWWBJ4K06EZ2G6F7KCYEDPGAJD9SEJF521PEQ }
{ amount: u74147400000, recipient: 'SP84DTPEV4VEXH2QKRJ33ZDGQ0RZVHVPH02G1F6M }
{ amount: u74131737600, recipient: 'SPY4291B58FBV7NWRM6E112H8296CEKS9CVKWQM1 }
{ amount: u74127740600, recipient: 'SP2YVGTZJNJCPJWQRZBQ573M2KTVP1M1PD0JEX4ET }
{ amount: u74127096700, recipient: 'SP3NSV0DFSHEMMZ3Z9CAJ30BYVK3QP304VY2XK0J5 }
{ amount: u74050761900, recipient: 'SP33S7DWPJJ02HEQ03GCKG5X7G5K52TPR8XS8E9A7 }
{ amount: u74030962700, recipient: 'SP3FWNCQFZ1V79S28EAZY7MYENS3BQS9HVZ0G495 }
{ amount: u73962000000, recipient: 'SPDN4GW6A3BZ2GBECYGHF1K2Y3TMM57TYNV60X4P }
{ amount: u73950361000, recipient: 'SP3F0Z7QSRDR8GK66A714DPBDSE429N9RKV4MR0J0 }
{ amount: u73922086200, recipient: 'SP27V9VTG837TF9075GRHJ7C3CVJZAA87C9ZGJC7W }
{ amount: u73914077700, recipient: 'SP1W5SQ4WCQ7VCSY3Y5NQAC328K63YFB5YYRBGQJ2 }
{ amount: u73900000000, recipient: 'SP3XTH3VPNKNNAS5TQN2AXQJN7H04Q6MF357BXND1 }
{ amount: u73874241800, recipient: 'SP2HC29FQK36H4DKX2Y3HPNZG56GY0J3NQ34WTMH }
{ amount: u73838208800, recipient: 'SP1E5KVXXSSBT5D3ZRBPCT33PNR9EDEN5341XGQ70 }
{ amount: u73836374300, recipient: 'SP19R3TDZZ27G7H77YCPBBSDWX0AFR15R26T1W6VV }
{ amount: u73796109700, recipient: 'SP2DPJC725GJX0DC1XBC7YRDCA190TX3EJFT8P628 }
{ amount: u73792266900, recipient: 'SP2NBZ8EZX77AMR1SCAV18YWXZCB1S00CTBKMHQVE }
{ amount: u73776534000, recipient: 'SP3QM52FA7SMZR76C1CSCSSZSTCK47FBVSTH7K0DR }
{ amount: u73747000000, recipient: 'SPZGNCY32T36QS8Z0A2JA3GMJPRDT9BEVNEWP3AS }
{ amount: u73706493800, recipient: 'SP2GKA8RM5RQ7CME31G7N11SC6GA2DW2TJ3QHYWA3 }
{ amount: u73674621400, recipient: 'SPQSXRJTMPJHWCS6W3N5S36GHK226H8MDX0WB02W }
{ amount: u73647473500, recipient: 'SP15F8JMC6HM274XDY3BPYWMPPP9DPNNG863CJPN5 }
{ amount: u73544565500, recipient: 'SP37E2YXMBBP31VHDSXH0N01DKCENNJ5KGD9S84QW }
{ amount: u73455276200, recipient: 'SP1YCXRB3M1T0P1CPBWGG2YM37BZ02DSVM5RZKHW9 }
{ amount: u73439754000, recipient: 'SP153MA9YCYW2QWCDKSWM7J8EY3SK8E1GJD0A8TZE }
{ amount: u73423454100, recipient: 'SP3QYTS8VPFDQBH36C00NZSCTMST6JNV2XST2B0MY }
{ amount: u73350506900, recipient: 'SP3HXK85YR9JMVK6B9GK5E6PWH7HW7EY46KNT6FWD }
{ amount: u73317570000, recipient: 'SP2X435MHPM804P72BFK9MW8M9EH2WXFTDZMR8Y3Z }
{ amount: u73241068300, recipient: 'SP20WBM3XRHF3YFYR1FNZCWZTZBP3W1829BH5DXE6 }
{ amount: u73202683000, recipient: 'SP3JZWRATXE231GW99X9N3CKK5AWFKEN2GJ2K0A46 }
{ amount: u73183878400, recipient: 'SP1EV6F9HD44392865ZVG536TCC2BYJ1PYBQHX71Y }
{ amount: u73174000000, recipient: 'SP2B3GQ6YD5ZBVX915JBQVVBMSYWB3TGFZPA16KX5 }
{ amount: u73143000000, recipient: 'SPJFE3V4Y4CY8TQ6AM0NFJ83P8ZDJFD1BXHSSYFX }
{ amount: u73060490000, recipient: 'SPNZ6Q8AATEFF6P6GZ7RNR2WMCDF7Y2DZP8X96AB }
{ amount: u73048617800, recipient: 'SP10XZ8EG2MR3HRF5609Q71FW1BMHER6RHD6AY90G }
{ amount: u72983639000, recipient: 'SPVSMB6DJ5WCA14GTGYJE1X22JS6KVE7V071GN6R }
{ amount: u72977451800, recipient: 'SPM4EMBCQK0Y7QVDGT77QXF395JTVMKHG4KY5ED3 }
{ amount: u72945733000, recipient: 'SPBEF7J4B90G7JTBVJ7GERCMX2ZMJXP9KZCTFKV7 }
{ amount: u72941654100, recipient: 'SP5AEQHW5CQQKFBFWH9P9B0M961GNSAXZVD01NV5 }
{ amount: u72904282300, recipient: 'SP3ZTY2CAGNRRDE9RJNNF849S5B4TAVMPA7RNVA0X }
{ amount: u72887876100, recipient: 'SP3FQJ9YTZ7GCRBYX4FQY0GM2VJSC1DN7B0C78S0Z }
{ amount: u72793318400, recipient: 'SP8V0Y768ZXTAKC5X6J9JQGF8EHREMHXCV08J5P7 }
{ amount: u72787950000, recipient: 'SP217FZ9QZ84AXT9JKZ7ZNHS6Q2B64KGE25DDN9J8 }
{ amount: u72772000000, recipient: 'SP23DPFYC9TJQ36XE1DKFCNNZG78BX9W3N0JVWW3H }
{ amount: u72745380000, recipient: 'SP1MMWRCCGSPXC49VVTCJ821DJE8FCSHC510E8N9B }
{ amount: u72728980000, recipient: 'SP4SRN5HBS2A6W20QWRAGAQB5VZC38R4XWJ8S51M }
{ amount: u72706035800, recipient: 'SPXZP8H4C5KSZ2PTKTYTYMPTXQ2ADE9HQYPQKDWD }
{ amount: u72683782200, recipient: 'SP379CCXV0CS8MVFR9HPH779RKQHJ2M4H5T9WMVDQ }
{ amount: u72648853900, recipient: 'SP225G3VFQWCTX1FWXPGXCT2Z61HZ6871VJJCQAJF }
{ amount: u72638974000, recipient: 'SP3PSVVJG7SVYT7JHV5CY875KNN060H93XNWZP631 }
{ amount: u72594416300, recipient: 'SP1WK0GA0MT48G4TMTRCF7731Q1AGZ7R8EYG68W0Y }
{ amount: u72593362900, recipient: 'SP1Y46BMZF5QH5CZ4KV1ZE0KAYN65GTR1CFAXHXZG }
{ amount: u72585591300, recipient: 'SP1ZAYQG7D89VKCE0HMST402X06KCDBDC4DPW6WTD }
{ amount: u72556716300, recipient: 'SP2PKTT7JX8EX9A46XEET4ZVSFXTSBJ1KG5X9YC9Q }
{ amount: u72512564500, recipient: 'SPY2AHTQDSVM3KW1E2JXMT98MCVF2E9NTTPKR4FK }
{ amount: u72492568800, recipient: 'SPZHESSCG3ATDR8T4AFMB08X82995S40GDZTHGT8 }
{ amount: u72453878000, recipient: 'SP299EWYXSCWDZJGKH6SA45GB5R5ZR27NJE1180WX }
{ amount: u72447790000, recipient: 'SPQY7ET9RYEEDWSCYVD2GR4B3RKMSR5ES27JXYQW }
{ amount: u72347857800, recipient: 'SPX6TX9J89B7KCWMWKK28BMBQ87CYVD4DBRARPEK }
{ amount: u72152054600, recipient: 'SP1CDHY3TGNZW0XW6J4WRBG5AW5G80YS161KPMS5D }
{ amount: u72148543700, recipient: 'SP3W2HWWGPF9HGPTQQAKB6SEGR9H2TDC71RAVWZKR }
{ amount: u72142735800, recipient: 'SP3BPSTCVMDJQST3166CJ20S1RNJVN3VVANR7R0JS }
{ amount: u72127143900, recipient: 'SP1JVKJN1T1FD9NKMTC5HBX7BRY3ZJR3C3ZHCXX3Y }
{ amount: u72122409500, recipient: 'SP268DQ86WDS4W8CDHK42054NM9PJ7E5F7Z9BFJ55 }
{ amount: u72113001300, recipient: 'SP1HXVYG71K90BCW2VGBDV6Q6AVT539WKAAKWARK5 }
{ amount: u72081454600, recipient: 'SP3XRPJ492YBM3EWA1ASCC6R7BR37Q7VVJG8CTZCY }
{ amount: u71957416800, recipient: 'SP3RXQH7WBQ3ST81ERRSDNZJBZ70HKE8ANWTYEEPW }
{ amount: u71945374300, recipient: 'SPHSKEGYS44KSDZB0MJHEBGM1P0VWSJD6XARCH9C }
{ amount: u71930246900, recipient: 'SP21H2SDASBPXT1DB83BW5PMV51D15J359X6CVQ8 }
{ amount: u71895083000, recipient: 'SP1HY8QXM7PGNFC3EFMY36Z74GFZX5RNCJEKTRA86 }
{ amount: u71845078700, recipient: 'SP36TDQZTXVFGP3H1PQX7VJCSRQW6F9QDM5APHMQC }
{ amount: u71746031500, recipient: 'SP2MEQJ00CR6N138QW1FBK3NES8FF0QJ48Z8WQ7F1 } ))
(define-constant batch-32 (list { amount: u71724970100, recipient: 'SP1YJ2QQ558J63J1YPTQSEXGF7GX3KEW006A8ZDK0 }
{ amount: u71704437400, recipient: 'SPCNHNNFKP2ZDKTTFBRW8DZRKEVXC7589DA912MA }
{ amount: u71673244600, recipient: 'SP136CVS52V5MKEGZGA8H0MV082E8M0CEXQ95AWM2 }
{ amount: u71651285000, recipient: 'SP2SVKB9TY892S4R9RJF2AGQNPWJKYJ7YQN22Y1WB }
{ amount: u71599258800, recipient: 'SP3GYRP29VBVY3P4VPE0MVEPXR96XEV0ABGXWFP3 }
{ amount: u71568122000, recipient: 'SP2DJ5M8RVYCW22VZX0EQGN2SJH8C7P1H3CN72Q25 }
{ amount: u71500000000, recipient: 'SPVWXNGD1YS0323FTS0KTKB5R5VGBMRZT0SNKR9V }
{ amount: u71460378200, recipient: 'SPK2AQFNVRCJFMC5ZZV9PQQPHSA0Q8NWWTNJASXA }
{ amount: u71411052500, recipient: 'SP3KVQ9CP8N80VPFY8CKNKWWHFQQNMMN58BARKFQ6 }
{ amount: u71409197900, recipient: 'SP144K9EMGS4YZE18GNT0RVVF5DG29MVFQV07TTHD }
{ amount: u71385902400, recipient: 'SP8D5TTV41247FN2N87E86SBTZK2J40N07N8JDPX }
{ amount: u71368801000, recipient: 'SP3D24H3ZQ1RM909VG5EVNPWE9FJJNEYTY6Y98QNG }
{ amount: u71360075400, recipient: 'SP1PPZ97S03HMYNBMAJAN2JZCKSNN9D7AXPD8ANC8 }
{ amount: u71325123900, recipient: 'SP3BTCK8ES8KD53Y08W5E3YHS9B48EDWS551XH2NN }
{ amount: u71312873600, recipient: 'SPT5HPEP03K1Z11PEDJZ2266SZGFX8QRBE51Y2B8 }
{ amount: u71275314000, recipient: 'SP1DJSEC1BRQ8S4PCK98AKJTFGFM2D273M4P8BC6S }
{ amount: u71258924700, recipient: 'SP2DM2R9YQQ2A8C6NP1XV3VCKF647D0S9MSEFR81G }
{ amount: u71198976000, recipient: 'SP2PHX9CTKGHBQWAXBF4T2EQ6EH834DTKRB6SNK3E }
{ amount: u71198306300, recipient: 'SP1XGSX3BFAGV7T8XFVKK1G87H4JGCTA20B3ZM7D }
{ amount: u71181000000, recipient: 'SP2Y8ED0EDXY9JRTJ9AXD0VCY3AM0C1GYZPGBK6NQ }
{ amount: u71111066500, recipient: 'SP3FV06JNM9Q4HQ9ZWGT2895FDJ1NVVBDXYA3YH4A }
{ amount: u71087004800, recipient: 'SP3T1YEJ9FAJZFYG1K0M1DSYV15MC6X8EP2B7VGPD }
{ amount: u71062133600, recipient: 'SP2X5K5PT62CE5S66YY7CNNETW7D4C2SCH05N83H0 }
{ amount: u71039000000, recipient: 'SP1V1SAZNB767NDYSK6AXXK59CT9PVEY63K0BM5RJ }
{ amount: u70987934200, recipient: 'SP3ABPRSPD9S4NVBE7KAQZB4C72Y5DZ6WVAFQP9SK }
{ amount: u70978418700, recipient: 'SP3AK2MEEN3YA9124C5WSB7NHY53AD9P1N6D4NS0Y }
{ amount: u70926742300, recipient: 'SP3YXWBX4MXCKQ97NJF7KYM4FGQBMXC0BX529KJJ5 }
{ amount: u70925597600, recipient: 'SP12FCTJT6W599DF6ASZPE7DE9WF55B83C2043Z14 }
{ amount: u70880924200, recipient: 'SP1VSVSZ1R8W3ZJZ10V33BPEF00QYG8ZP6P2NXY4H }
{ amount: u70871409700, recipient: 'SP2QZKKXD8CD97TBKVX603EZ5E4J8PRH2W9QTP7NG }
{ amount: u70853421400, recipient: 'SP39Q7ET44MNDM5FPS0PJ32E9Y6DAK6BQRNX8A9B3 }
{ amount: u70788336300, recipient: 'SP125N2ZQRFBHTT80ZKPXA2KZBJ9A3QG8H5VCXPRB }
{ amount: u70763795700, recipient: 'SP2EZ264MW9600A4J9XWGRH7B5TZ3MD4XGZ4AYNX }
{ amount: u70741857600, recipient: 'SP1VY32CS02TZ64S39R1J9H65HSVEVWK8XA53RGQC }
{ amount: u70735246700, recipient: 'SPVQ9SNZGB07N37P8WDKMDP7CP97KT37H6QABBE9 }
{ amount: u70658000000, recipient: 'SP01HVETBF7CNAB61WYTJ9YS5YF8C7CTEE5Z7G79 }
{ amount: u70650450100, recipient: 'SPCCMYEK5JFHPTC9DW9WVB212ZFK22PV9BJKN1ET }
{ amount: u70645630500, recipient: 'SP2P3SQ934D044W6NSMMBZ6NX8RMZ0X3MJMJDQ2XH }
{ amount: u70613222300, recipient: 'SP283BQ9PC3WW1TME4FK65SBDKPTRDM89QSWCHN3J }
{ amount: u70598214100, recipient: 'SP1HNK3FCTC73K1Q1R1Y4700EGXB5E9AKCE4W30EM }
{ amount: u70536000000, recipient: 'SP1CD8DT76ANV1VNXH95FE1P68NHCZGCEPDESRFDH }
{ amount: u70521018900, recipient: 'SP2TK8RSW7NVMEV56WCD5TQHSYC8ZHG36G5D527BY }
{ amount: u70480198400, recipient: 'SP3XH7ZENHTJSPQX9KV13EHQ57784ZB6FWGHC070B }
{ amount: u70464040800, recipient: 'SP1PSVX3SNG7PK07YMKKVE9HSPESAXP2XKXV0229G }
{ amount: u70448546600, recipient: 'SP3DV12F249YPTA3BFQ9QG0ZMS2P3X2V50KPBKQ5Q }
{ amount: u70442391700, recipient: 'SP1PHGZ5NM1ANM649M2G5BK0W06ZP2T75A4JQXE7V }
{ amount: u70425816100, recipient: 'SP2DFPRBHSQQ433W1WP8J3VXD804SGKT87PQG6VV3 }
{ amount: u70424280900, recipient: 'SP3HC48G5AVKD09AW5V4DZC10ZH8B1MS46CZYPQ24 }
{ amount: u70386507200, recipient: 'SP39M0VDTGTR5PKTWN9TSQPJZMSK3870B3WJYEM1K }
{ amount: u70363423200, recipient: 'SP3Q8PWSVZWEP5B2VX3734P2XH3583X8HJ6PJQ37B }
{ amount: u70344766400, recipient: 'SP1F5K9HYZXW75M6QDF5J4642RJ1JK6YZHGMQSVJ3 }
{ amount: u70340762800, recipient: 'SPDFCNMFV54HH2ZP2GN23TQEJVGM9EARBS872RHM }
{ amount: u70323000000, recipient: 'SP21MV1WSMKK90T5TWA4XNTHNEN5FEPHTRN6FFSFR }
{ amount: u70320909100, recipient: 'SP27A72E7X0KHCM4NXV6FN0A85AVTTJADB9HJH4N6 }
{ amount: u70277730300, recipient: 'SP15PPHPBR9N0350VY4BWZCAHKEP3E4E6P1GC8M63 }
{ amount: u70277513900, recipient: 'SP1HNS1QE5Y2S9E09MV9WZSKYWAXE5FGMM6RDYB4E }
{ amount: u70255913100, recipient: 'SP19TSSA4YAGM47M4M3DA2H5R098895NG8MVQCWSQ }
{ amount: u70252805600, recipient: 'SP329M6CS0S3738Z0T268FXQXBSX0ZD1FZVBZS037 }
{ amount: u70230034400, recipient: 'SPKZVPQN76RA9Q333F4N1GKBQZGBT0P5CRT1RB1G }
{ amount: u70224547300, recipient: 'SP32W17519Q38SG2JB67EV8M5G9TGJR669GNQSG27 }
{ amount: u70183474500, recipient: 'SP30PHG5N2B8Q7D915BFQ43EDE9XTE75HWT3XV011 }
{ amount: u70142764700, recipient: 'SP3WSWGB4Y5NJ5E28TBQ5WVS1Z1W66KVEN6AFWWEJ }
{ amount: u70135474100, recipient: 'SP1B6VAG82GMM5WW7C3A497M2GAEKWJXM1Z6RWSRQ }
{ amount: u70123777800, recipient: 'SPXB4QJTF1PBRBVN12QP6SNV842C1XT5F1MYDBC1 }
{ amount: u70050979900, recipient: 'SPGSMDERSHPXESVR9QPANFW911JKZN1ZZZDMRBM1 }
{ amount: u70030734000, recipient: 'SP258D88RV774YRJA991C852GVDX0BQVMS19XHDX4 }
{ amount: u70000413400, recipient: 'SPE022KG4PN4HX2KBEHZ6YJH5H1TV82C6A6486RB }
{ amount: u69984539300, recipient: 'SP1XEXE40EF0V4FB2HWB46Z77G4QJHHE0NEKWBS0R }
{ amount: u69933380400, recipient: 'SP304P7P1BCPWDDY8C4RPNFQS2TREZM32KJPVDZHS }
{ amount: u69869360200, recipient: 'SP2AN1HZ9DQNA618CXY85QJ6R5Q1W0S2R18MP8DX1 }
{ amount: u69858859200, recipient: 'SP1PXR9Z5NZWF8Z7B6DG3W3HH0MMMB6744DHJCAMD }
{ amount: u69853455200, recipient: 'SPP109EJ986AG6DM4DAKQEXQG5MRQ72GGH35R0RF }
{ amount: u69800000000, recipient: 'SPDEVP1CJB2FXN3D5W4G6PH7WF5HHK6N9TMJY58D }
{ amount: u69799000000, recipient: 'SP34EFJ5KM5VKRWQXGBC6V43ZMH1ESS5ERJ641PPD }
{ amount: u69704203700, recipient: 'SP2YY8V44JE1GF3TAEH52AFCBCF9G7BVMAZRBKGNH }
{ amount: u69657274500, recipient: 'SP2FXB6AW37VTZX6RF4Y6SHA2RG5CAY3M219ZACHP }
{ amount: u69581826900, recipient: 'SP2MYQ4N12PBWF6QQPAD0Q7DABV3KGYFB5XF3YHSW }
{ amount: u69574579100, recipient: 'SP3PB8H2DNY7461SWZ0Z6MXN6JA9DMQWQ1HAC6EGY }
{ amount: u69559206500, recipient: 'SP1HB33JWTSQVX8X8ANQ294VWTPX0C8HR9Y1FXD77 }
{ amount: u69440829000, recipient: 'SPQDXZFRHWBF5SAQCH5MY26CA12V60FXZP3M3S94 }
{ amount: u69393568000, recipient: 'SP2N59WY9SBXZH9TN4ZAHNE0FBTNY3E4ZF5Z5FW7V }
{ amount: u69387519500, recipient: 'SP24M2EA6EJ34RQ5JNFJSGNC9X5SZJF70X9A7WRWZ }
{ amount: u69380901300, recipient: 'SP24XBCCMDZ8Z6FCS5QJDR8MMMXBAMW67586K9F6B }
{ amount: u69375148700, recipient: 'SPCBTD4SX5ZX7M80PNHNHKJ4CXASDEXS7ARRFD0X }
{ amount: u69352119400, recipient: 'SP2TPSRXGX59V24YA87FGF4A98KZ6V28J15CPHPNT }
{ amount: u69334239100, recipient: 'SP1BE8AATB6X1FYQVYX7QK2MXX3K8TS6NCKE75T6N }
{ amount: u69233947000, recipient: 'SP35R4DXWZRPMPTSNK0FFW714H9HPWH3R35Z4GVJC }
{ amount: u69224663600, recipient: 'SP31H5Z1RFH858BK10XMGXEAESHHYKC8J3ZXT0GF4 }
{ amount: u69223307000, recipient: 'SP2QQGVFWMPBTYS7S7G2S4VF5G1YEH2HQXQFD193A }
{ amount: u69181647600, recipient: 'SP1F1G1ECH4M2SP2GA716C1MMY4HVSASJP3MBV6WV }
{ amount: u69058595800, recipient: 'SPH436SHQRX6ZPGNT24PSSK5GS18B4136KJHEKDA }
{ amount: u69049103900, recipient: 'SP138W04HWCV0JVE8F1XPFE2DE1KAXN9550C7BN9K }
{ amount: u69042090700, recipient: 'SP35MNQZAR2PB0D22F28NMPRH8AXQBQBYWTSHQN03 }
{ amount: u68971000000, recipient: 'SP20EQ2XK5D8X314MYMDW91Z03AZGKX7T18MDR41F }
{ amount: u68915733400, recipient: 'SP3FC5MMQMZMYX6E9746ADJWS3H27DJWW0NT6BRN3 }
{ amount: u68914763000, recipient: 'SP1EC0PR51VNTKXQ79S8WQ3Z2D77AMR7NGKSWH0KS }
{ amount: u68906368100, recipient: 'SP1CHZPRKYEX9CKKAQZPT0WMVHT8R14947W7Y1Q6W }
{ amount: u68901905800, recipient: 'SP16VXZJJG3M878N6F29KWJF0RGJ5NH59DR6FZQ5F }
{ amount: u68872228300, recipient: 'SP71S5NJVD0K3PZZ6DGF7Q291HAFYSC18925TTF0 }
{ amount: u68790172200, recipient: 'SP3K6T3HS3TSEVVWF2KWRHV5KP8ZRFMFR711N30M3 }
{ amount: u68783517800, recipient: 'SP2P3W2V3DRP3V2GVVG09NMYGS5BTP072340E9HHV }
{ amount: u68753407000, recipient: 'SP1CK8MGZWGESXETJYQ3XQSE5S3ARVS2VF90AH29X }
{ amount: u68734000000, recipient: 'SP3QWRVCJ3YVQS8NC86875GWZWA4FCPBBG3N6K2FE }
{ amount: u68726353700, recipient: 'SP1Q7DKQ4SM5GT2E8BWQPNH3EY8GZ0MNCSFFF6F9 }
{ amount: u68700000000, recipient: 'SP7Q6DDXMVB8WGKCM3B742APFJBH37JFP43YXX9H }
{ amount: u68586502200, recipient: 'SP35VA2VVN4W8DA63GZ1KCB2RNTYRRKR3F4HDN5B5 }
{ amount: u68580560800, recipient: 'SPYF0V7HVEHNFNKX3WBPJZEVY40AHJR2ATXD7HWN }
{ amount: u68471481300, recipient: 'SP18Y3AYBP8M295DN7VTN3FNQ0QRNJQYERNJS2Y8C }
{ amount: u68463566000, recipient: 'SP7QGRYXF3X0ZVG7W1W5DKDY8EAEKKM16GARVMTJ }
{ amount: u68251326100, recipient: 'SP233WYAM4H36NFKMK4XG6P65RE430X14XTSR6DH2 }
{ amount: u68245921500, recipient: 'SP2853HY4KRF6RC375X3F7TE55K2BYCS7MCMJPMZ4 }
{ amount: u68233972700, recipient: 'SP38KNQZVNQ5HZKKMHPK5H8VQ1JENQ0V8C947XD3S }
{ amount: u68187191700, recipient: 'SP2FEP7DZ5VPHH3GSN1YY2VCX2GNXF7073BZJEZGV }
{ amount: u68165011600, recipient: 'SP3FYT64JQWZ5CQ1Q0F5EX5282VC3KYJW187YRMFX }
{ amount: u67929155000, recipient: 'SPW8MEQ74RT0ZEEZPG6124CMPD73MAR7VJSBPPFF }
{ amount: u67864695600, recipient: 'SP1P917BQT34D7PAMTQKTTH6YDW4186B0MCCF7AV }
{ amount: u67783982000, recipient: 'SP3F1VRKCKXM1ERDFJSBMH0Z126X1VX3PN6QXCMSD }
{ amount: u67773474700, recipient: 'SP2JV4YBDG2E6FVE72X2B9625WMCAB5P652RXJJ4Z }
{ amount: u67718077000, recipient: 'SP3VA2XV62FXX57G95FQ65AMGR0FCE1THTPYVBBE1 }
{ amount: u67672695200, recipient: 'SP23G4C5NE7CA9S580098BG1P2DFXAZX0WS76GBZ7 }
{ amount: u67530269500, recipient: 'SPXBM6GBH7M0E7GSKHZ7CD2EZWFHZTHCHH2PZ6AB }
{ amount: u67473284900, recipient: 'SP2AFQYV8W4YN1ZYSJEJ2F23N70MM8ERP1SC32D96 }
{ amount: u67461953000, recipient: 'SP2Z925WAJ481EB6C4KEQ5JH67V7XH468ZKVF7EHE }
{ amount: u67452812300, recipient: 'SP34N5WWPHWTVJVYPE368HYDEXMZWKPVF639B3P5T }
{ amount: u67386127500, recipient: 'SP2KYG3JWPGAME956MPJFPP3MHTV6FHJB77SXDTSV }
{ amount: u67380694100, recipient: 'SP3ENJMS4575FBC6MD658TV9V61N39Z5A3NY605DY }
{ amount: u67368872000, recipient: 'SP31AK9ZCDNR0WFYV9DKG36GJHZSZYSDTY424VZC9 }
{ amount: u67356595000, recipient: 'SP2BE8MMDD00GATA1TMA6E8S852FGSFP4N25HK5AK }
{ amount: u67332761900, recipient: 'SP19V7FNZFWNNJV89E6AVWMQ59YT5RGJZFJRHSCHX }
{ amount: u67322903200, recipient: 'SP3C9EHKCM9EHYBQ63PV40ZJHPEXNXHDBCN52KN8T }
{ amount: u67309597500, recipient: 'SP11CHM2F3Y072JBRVXC47ZW0H5MCG9H2RXB4KDAW }
{ amount: u67301130000, recipient: 'SPX6GNHBBHFEZAFXA6089DPG3X04AD3ZEYR9VJQS }
{ amount: u67297152100, recipient: 'SP1JWGNNT4232YZDJAZBP3NV4HD3RVF4X4R9G2C4N }
{ amount: u67295012000, recipient: 'SP341JE6DVY8C8XZW7DTC1QEJW8CS722J2E99X5RZ }
{ amount: u67236663400, recipient: 'SP3AYWGX8CK2MZGKBNMQTJNCW4DD5GQT3NQCK4BSH }
{ amount: u67233296700, recipient: 'SP2PE4BQV2TJGW04BA4G4HA64J4NFJWMBG7W2R8N8 }
{ amount: u67210863700, recipient: 'SPSZKW3RDATC4SHS7VV6Z8SRYSYK26S5WJ25ET2T }
{ amount: u67210079100, recipient: 'SP3GXHB35HYKMQ2GM07G1H8E7MBJ9J53XAV1027Q0 }
{ amount: u67203918500, recipient: 'SPFP4D69GNJ9QYCGK8QRRQKDDBSMYC261XYM014R }
{ amount: u67135565100, recipient: 'SP1H8BVW40XYDFN1QGQYXB4NV78NVZQQ8J7SM96Q5 }
{ amount: u67062726500, recipient: 'SPFZJAWND9GDB2QC54524J73DGBQ07XJ6JM1E3GN }
{ amount: u67056454100, recipient: 'SPBJ0Q5VZ7203PNRJ25KS7JPSE0DEJHHK3XHDZEE }
{ amount: u67019293100, recipient: 'SPW4N9KS9PJNC7Q8J3NDP1TX52413T82CJ65WFBE }
{ amount: u66883146800, recipient: 'SP3DGKHPV0BQXDBS21VEWKJT0DZZZ4TAFHT3W2ZG9 }
{ amount: u66821584900, recipient: 'SP2YWXY6MZQ5W4GYQF49M9GRD8JBQCVGJDT657NTM }
{ amount: u66816530300, recipient: 'SP1FW1NA5Y021TJRQ0A84EA0HSSQNJEW3S8215FQZ }
{ amount: u66812136400, recipient: 'SP8ZVD9PQ9VP657P670KBCB5ZHMJM9QMNJNFVBS6 }
{ amount: u66801799100, recipient: 'SP2NVA115XJZNNQ0R25GJVX2V9S3ZRB39BBKVFTEM }
{ amount: u66800262200, recipient: 'SPYVW2NTM8VMMSDKFN3W4M3GK9WY6TKAAG1AZHP8 }
{ amount: u66728107800, recipient: 'SP36KYYZ276PBCDZAE84W55Q55SMDPCSZ5PC01F6P }
{ amount: u66707848800, recipient: 'SP11Z7DZ6V21XNCSBED9RE5TYKE50SVDYC7KWCAST }
{ amount: u66701234200, recipient: 'SP21X44M5SY29S07WTZBP5W16159TAR762MPKZ45R }
{ amount: u66697371500, recipient: 'SP3K984YQWDVAJJ6MTWME38VCE7MYA7MV62AMSTWN }
{ amount: u66671884000, recipient: 'SPMKAE32ZFDT4F6T13KJN5JG853B6MQF6A4S495Q }
{ amount: u66638004000, recipient: 'SP2KRWAGMVJV3YM5KTAGS8PMCJFQDMR7TPRF13TCB }
{ amount: u66615070100, recipient: 'SP1W5RTJSXVS30MDKA72BSN9XP9VGZ1P9NA9ADHAM }
{ amount: u66568866900, recipient: 'SP3RXQ0PJD8DXVEPHKBESB56YAWF8YWDQF4ST19YG }
{ amount: u66508462900, recipient: 'SP3A9VTJJF8A05SKTJ8F2XNK0EM0T6JMBS23ZZR4V }
{ amount: u66507853300, recipient: 'SP3DPDADPSA0JTP71HMY323VGM24AXGQMNEPBF7ZB }
{ amount: u66488092700, recipient: 'SP1AP5VRSCGKRW0M913D7HH3SXD59CSK8S0J3RM8Q }
{ amount: u66402000000, recipient: 'SP36QP9FBYFTVYSNPS09FDWWE0T4WHJT1RC6ANPHS }
{ amount: u66401765600, recipient: 'SP2P2QXKAH4RJS4F9W2JDF595PE8ETJDM1NVBZW4V }
{ amount: u66323424900, recipient: 'SP3J1PCVGVBP039HSFMFJ573XH0CTMH9KGEGB1NV9 }
{ amount: u66323268100, recipient: 'SP1V94PC666ZZNBQDXG9CV18PPRB94C944XSS10S2 }
{ amount: u66318921400, recipient: 'SP1E8X68C135Y1G7DQVF36E2JEE5CACHNHHPF0R84 }
{ amount: u66298333100, recipient: 'SPA1ADZ34GWE2DSKW0NY1JQNQ6Q453W9NKH7FWR1 }
{ amount: u66254847100, recipient: 'SP10F1MF1PHVJVH030HBWRR8JZH2VHW59SQ4MGZTZ }
{ amount: u66211000000, recipient: 'SP1SYPJT44R1KA1B7GHZ79M0P5C4NYFVX0NCX36EM }
{ amount: u66160000000, recipient: 'SPKRFTHF2Q6548PADZ1CWEFV2WKS8T4KRPQRSXVY }
{ amount: u66140350100, recipient: 'SP3XYMKSSE71KQQ4KCQ9G19AQFGCHT9TDSA2M0YEX }
{ amount: u66104830900, recipient: 'SP13N00GX7A9F935FQSAZ36GHHSEVKRF6GTDDAHAS }
{ amount: u66100000000, recipient: 'SP3FEB3Z4Z358HFX0N2CSJZ7HFR7SJZJXYB9H4EZW }
{ amount: u66070932800, recipient: 'SP3K5MW6HW5KE59P6ZJWVGS1CTV35K4XBXDDC93HB }
{ amount: u66058792200, recipient: 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD }
{ amount: u66054788500, recipient: 'SP1B9VAKYHSRVES08DHS75FMAVRC8S9XPT1ZDDA54 }
{ amount: u66028226700, recipient: 'SP3DGCZHS9AZ0T4PSFNXNRXK2GGTK7436E718QTC2 }
{ amount: u66014620400, recipient: 'SP3KYGEFQ51JTA351S5M0MB4HWS0D9NFZ06VNFZCX }
{ amount: u66002861100, recipient: 'SP17N6M9WTQE4RXZB0CSAFYQ33GX8W7C6HH4MFVQW }
{ amount: u65927772300, recipient: 'SP3ZGE3XC1YKT76K662BZ2HHWB9EPF38JP52452EX }
{ amount: u65906000000, recipient: 'SP1PDKJVPBM7TQS65CC7E6AHR5EDEXRETFK8G088K }
{ amount: u65906000000, recipient: 'SP30G12SSMQBEXDVC0ERS6MDC55G8FT79Y7JCJS4P }
{ amount: u65894247900, recipient: 'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ }
{ amount: u65884997700, recipient: 'SPGC6TXAK7ECFVCSXWS9B7ZY9PTH1DCFDA4SB65F }
{ amount: u65785187000, recipient: 'SP33T1JW917EWWX1K42GDB12531R4BF8PSS1TG5SV }
{ amount: u65706569500, recipient: 'SP2N0N9B7R5X4Q50907GQR7J952GCPM31Y5NBAJZG }
{ amount: u65691458700, recipient: 'SP56TJRJYGGDE9N577Q2XJQVE78CPSA3NHD48JJB }
{ amount: u65603377000, recipient: 'SP1C129AFTJA60TVCSFAZDBPW27NS3TY8Y5D4CREX }
{ amount: u65598677000, recipient: 'SP1J0DRQ6VYPAKZYQM8EYT3JQE63JC3X6GXM9S59F }
{ amount: u65596620400, recipient: 'SP1HR66Q4CQEHW0FVJZRH2H2DRQTS9QHZBWPWS1YS }
{ amount: u65457398500, recipient: 'SP31AT6S5YJQ75SB144A169GQMRS1WB5ZGRDC7493 }
{ amount: u65336588500, recipient: 'SP17GME3SAAK08W946RD3CG8G2ZK9QP1B77AQJPSV }
{ amount: u65294809200, recipient: 'SPDEBB6P0FYDXXH50TPGRMS5GA2XH7Z10VW4PDDG }
{ amount: u65294152100, recipient: 'SP2E7BQEXADN6F5GR8735XXHQFF21QY9BGJQ16W3B }
{ amount: u65288383100, recipient: 'SP2H0DQ524BKSEB7XF5RMKA7MX6DS76MGZKAQWSPQ }
{ amount: u65195147600, recipient: 'SP28HSKVZX00CH4W9Q9K4Z8QPSJVKV10HGHJSZ0TP }
{ amount: u65129953100, recipient: 'SPD1V7WXRE4XNCXWED36M9KSN22TSBNP34K7HXC1 }
{ amount: u65119805900, recipient: 'SP2K5DCNRHKSWHWX8CGHZ3CWDVFXEH89A8XD3V8NE }
{ amount: u65025048500, recipient: 'SP36G4GJX55CTGM4TJ2CY3V5S1G87524XQS67AM9 }
{ amount: u65017711800, recipient: 'SP3Z5S5KJAE7G6Q7Z926T40Y5CVBHX0X12PHE8EJ1 }
{ amount: u64993235000, recipient: 'SP1TS2JXJHAESWHBXKY2K3BVK2GPKR8FG231NRAFW } ))
(define-constant batch-33 (list { amount: u64987134700, recipient: 'SP1TSPWWFXRMQATZ5VW6HMA7NE7QHFATQ2JJYJC22 }
{ amount: u64981119900, recipient: 'SP1CVMKPQ735JQ5RG62KJSHW7B6CV2MKVWQQ1QMFY }
{ amount: u64888000000, recipient: 'SP3MWR3Z084K3491TBP1Y7CH73828R8A69KKVF6BC }
{ amount: u64729892900, recipient: 'SP1VT70DSCQN0G2FCG2MHYGKKVB5ZYJMQYPRDBZ9C }
{ amount: u64693140500, recipient: 'SP30VABWSHZHXFC81XW77F8NAZ1YCDMCE6CZVXP70 }
{ amount: u64548959700, recipient: 'SP3RKS4FD9PWZ0Q12P7W2YKM3455CF17XHA8XQDHH }
{ amount: u64547280400, recipient: 'SP1QEZH6YQGS52MAGSDK8HGK24YH1MQ4R0FDFS7W2 }
{ amount: u64532077900, recipient: 'SP2DKTTGR427YK85P31HRAR27J753MB26A9QAB1B5 }
{ amount: u64490018000, recipient: 'SP1B3HS4XPH14R0JZ48K5QZVJGQ2SXEWMNGWBSBV5 }
{ amount: u64450197600, recipient: 'SP2SCBTFAK66PDKJ0DC2A6190WFDPTXWMHGB9QMYK }
{ amount: u64394324700, recipient: 'SP273X2J7BH660NQJ45N521KRHQ2V90EK3CM9873R }
{ amount: u64380521500, recipient: 'SP2P1C5GJ1VKC2F45QVD97E717RBCZNW655ZJ8HGT }
{ amount: u64314540000, recipient: 'SP370KV6GF79TYRN3PXJENS3G3S4PQ2PY4RPCK8SC }
{ amount: u64226085300, recipient: 'SP16VQJVNCVT8ZCD4BK77RP8ZT3QYVM5FX1JHS4JB }
{ amount: u64199904000, recipient: 'SPNGEXF7SDCSF20EGNW19VTX24TN7SEN63BVDFRQ }
{ amount: u64145496900, recipient: 'SPQ2J2HAAQ2KYX1S87SYTHBM91PWZV8NSBBMH3HD }
{ amount: u64130370000, recipient: 'SP803EB7G429G5P2C1QBW7P5VXRA4GCY1AVRJJQ1 }
{ amount: u64121883000, recipient: 'SP2NX5F99G3XT0M9898QV0F46AA00HJ9R8Q5EC32E }
{ amount: u64102885000, recipient: 'SP1Z702EF42KPCX5FPWBA6DAZ27Z7N52ZBWF5ZGYW }
{ amount: u64083747000, recipient: 'SP3J45MYEZPYB57ZT9F2WG8N0FGNF298WZCXZXZP7 }
{ amount: u64064249200, recipient: 'SP1PY9RPSMS0STZKX6JM91NRPMRCKN428BSRJJEXV }
{ amount: u63985520000, recipient: 'SPZ9E4AJBWA7581NDWB00J9Z869P8X3PRZ0VKE58 }
{ amount: u63922287800, recipient: 'SP4N28CZMEV5AQ0XW6D6V9BBXRCQS0QNEEPYMZ58 }
{ amount: u63715023900, recipient: 'SP3VSV4XCZQ3J2NEKRENW6FNNJ46WSVQCTYS6QME1 }
{ amount: u63711883800, recipient: 'SPW0CHYR5S4J0DM03ACH2PH9ZHPFJ776Z1EQBPSV }
{ amount: u63569319500, recipient: 'SP1TVWWX86YT9KPT29KVSQNR1JQ222NJNRXEM609Y }
{ amount: u63542194400, recipient: 'SP20AMF5TTH0XGTBNATXCA1RXZDJ1DG400CY2G282 }
{ amount: u63534692800, recipient: 'SPP1K5TQ3MSMQ7TA0KMGH8S9P3DMCGM6GR345440 }
{ amount: u63386039100, recipient: 'SP37RB5B6NM82BNQ01886NZPMZNF6WZE7C6XFCJXD }
{ amount: u63279027700, recipient: 'SPD406CPAW2K2RDJSSVY3C83PWP0S848WEYAXTZG }
{ amount: u63274456000, recipient: 'SP1Q777MNKVS4CM1AJTZBD2HCN68MPJ114T3HGPTG }
{ amount: u63200000000, recipient: 'SP17EE2BKEFJ39RBHQBGPCDB5KVXE66P791131ADS }
{ amount: u63144000000, recipient: 'SP35MNZ8NHQEP2XD62SM1B4K800SEWV1S7E11JXDD }
{ amount: u63136373700, recipient: 'SP1GP7NHPRF72GRJCV60R2VXK0S8SV3ZJ7H7A0F9S }
{ amount: u63128234400, recipient: 'SP3J2G7N9N5CE8JR5SZ7Y95ZR4EQXFVNTF222CYEF }
{ amount: u63120487800, recipient: 'SP1Z3KPCEY3PYY03A9BZ3RVYKTG0G8J7G8587NKV4 }
{ amount: u63105210000, recipient: 'SP2G6F4AB2VRZJ55KXGAWBPQR4PB2BC9VK1NP1FWQ }
{ amount: u63036632700, recipient: 'SP14XTZAEXGTAYY625B5K6G10B56NS8MMAN8WZ9TD }
{ amount: u63031757200, recipient: 'SP1NPDHF9CQ8B9Q045CCQS1MR9M9SGJ5TT6WFFCD2 }
{ amount: u63025521000, recipient: 'SP1BQYPEW7WZ0PA665BK9SAAEE0FWVJS5HC1PXR7V }
{ amount: u63006714300, recipient: 'SP28PKVZSWRYRKCP10FTS2FXK3DN3F76VPYPVHMSE }
{ amount: u63000000000, recipient: 'SP38AXX9GCH0W9RZZ28V9MPMRACZGMRDAWNK5XZKZ }
{ amount: u62984000000, recipient: 'SPCTB9MXAB453ET72FFJHF7Q3Y02J0MPEAJ0ZACR }
{ amount: u62933843900, recipient: 'SP1RWWPH1DMKVHK22ZHC008T5RARCZMM4GCBA78TX }
{ amount: u62915961700, recipient: 'SP19XBMHHPVYS0Y82AJWP381B8SE9RV58GV42HC10 }
{ amount: u62839231200, recipient: 'SP3X244SHTGBFDE437E1MSBQQQ4Q0ZQM7NJXKFDJ9 }
{ amount: u62817471500, recipient: 'SP14EVFRXYJSC4DBPT1ZY4CHT95XW1BMCVYM2NYWK }
{ amount: u62812899100, recipient: 'SP5JPPSJHBYT2CF0QWADZJJT8HJN1RTMTBXE9A95 }
{ amount: u62795976000, recipient: 'SP34DJWXSQNBQD7RB78Y3JPJ10HSEP1DR8M02JGZ }
{ amount: u62784865200, recipient: 'SP3ASKFRKP14M5ZMJ9PZBT4B4ARE3GR2S3TGBHY6C }
{ amount: u62743345600, recipient: 'SP1BNQGRB6NFSK57K9BPGKN3R9W4YDTB3DW3TAKM2 }
{ amount: u62726460000, recipient: 'SP18F24PCWXR26DY9ADSJA2ESBB839NS0C4W2F3PS }
{ amount: u62569261600, recipient: 'SP10TRDNW4VVW85Y2F17X5EB1K90DD0XKG3WTDJMM }
{ amount: u62492951100, recipient: 'SP2T62Z2Z09D9TTHPY520SWX2BKXEB9WPVA5EP0A0 }
{ amount: u62396912800, recipient: 'SP1MDVVGGNMEFHDKQHDH9GY47X66YNMNV0F4S4WTS }
{ amount: u62355000000, recipient: 'SPXK9S6KNW6NK2K716J1ZFQNY9J98K0KGGP82MZD }
{ amount: u62319181700, recipient: 'SPR0MCKQM3A8B6JZDJHRA24W0FT6KA47G9ZB3536 }
{ amount: u62228937200, recipient: 'SP1AKV8JTRJ2M8E9HEGDDFG05A3ME3P13PP5KVAFT }
{ amount: u62165265100, recipient: 'SP3RT2D2VN21S8T2DEQ7T0Y50EE8FYMTT1ZGZ1XAD }
{ amount: u62140696500, recipient: 'SP1GE06V7QHRXF6GHEEZZN194HQ43HV5E8P0F9TQK }
{ amount: u62117006400, recipient: 'SP3KMJJTXJTHG74C2XTRSCQB2XDY9EVATKM7GJ40B }
{ amount: u62106790700, recipient: 'SP2F2MH2JYWQ8HYB9FKP55XB31CJA84GN6RT6CGYD }
{ amount: u62098873600, recipient: 'SP1KVVSY1CNJ6QW7BCJBDY7VXE9F3DZPPR9TRRR4N }
{ amount: u62071830300, recipient: 'SP2VP49HP6VVPAK43ZQSGQRTG514C0TRAQJEV12TS }
{ amount: u62047673600, recipient: 'SPXHHSEHP8XZSPTWG86964DMZJTQBA5SX4BJHPFF }
{ amount: u62008343900, recipient: 'SP3TYCRBB8AGV4CNE35M5QC5Y95WN3S191TJGMG2J }
{ amount: u61991486800, recipient: 'SP3GESVPMYSJBMQ0HHEKF1W411ZSSQ13ZBNNGHG9A }
{ amount: u61887840000, recipient: 'SP3TYCED68WAXW1JFMG13ZW2M7HBK30G8J02NH0DW }
{ amount: u61784604100, recipient: 'SP2PKNWZR8FMDQG8YKECK3MXCCV5MEM97WF187H6D }
{ amount: u61764901000, recipient: 'SP28A5AR9K14B0N2HFNW6HCCJYCP47TFY75S9VPN }
{ amount: u61706158200, recipient: 'SPXJDWQ73TNFAF1YND51W2VFVHK3ZY9F13HEMDDB }
{ amount: u61700000000, recipient: 'SP37SE3P6RHC8FKDZC46E8C2A39S7ZSFKS569AJV4 }
{ amount: u61618093000, recipient: 'SP3Y01J7E34TGS06DK5K9JGTRQN2TXTR2SFD0Y3WZ }
{ amount: u61617554900, recipient: 'SP2QBRXZME4V8P3KHBJFXX953R1G4JVQEC7977DR5 }
{ amount: u61567513800, recipient: 'SP2R3YKTB23MB7DFV4QWX9XYW5NWF4EMQ281VS67Q }
{ amount: u61546996900, recipient: 'SP3C7X6RQJZTN54VTCTFPTWG9AKZ37PF6V18HAK93 }
{ amount: u61523000000, recipient: 'SP208XME8Z4SEGZ2Z4B8Q71DXCD4MHAMJ63XKM1H0 }
{ amount: u61486204300, recipient: 'SP3NPG8ZJYVQG291ZTK6V8X2DMBNWVTDSMF0ZZQ0P }
{ amount: u61427778400, recipient: 'SPM8N5XBNN4BV1NC2Y8SPAAS3NV2PMZ2PKH21KH3 }
{ amount: u61426270600, recipient: 'SP13A407VG25M3A6PXND6EYCZJYBF7PNJRXX76DVZ }
{ amount: u61394562500, recipient: 'SP3R4Y6ESMXAYC7XHZSH85DFAP4DBZEDX2AGYSPRP }
{ amount: u61369197400, recipient: 'SP2BFCKMGRGBEH3VDHXDHCMR2F312TQYYR7WYPJAD }
{ amount: u61332002500, recipient: 'SP3R7Q3QMTYC4QR0RFDR9HZBWNBNBNDA7S549CR6Y }
{ amount: u61320954200, recipient: 'SP36RQFJ2Z4C5SV20BH9RPNZHPH3XHCG23CCV8YH7 }
{ amount: u61268419200, recipient: 'SP2KP0JM3XQZP92QRZ66WM97GQQGG4EWF86DGHTMP }
{ amount: u61177374100, recipient: 'SP3D6GXZC63PPZ69QXWA09P50CWYMCJCNCFYJ263D }
{ amount: u61169811400, recipient: 'SP74MYCJ1TDMF2E4X1MMMAPA1KZ31SXM38AYDXZS }
{ amount: u61159242300, recipient: 'SP2RPJYQ2HZVFQMA7S8J2D6T4NNQ523YDNWERQ1V7 }
{ amount: u61136137700, recipient: 'SP2NYA5TEN4W3S8MFTZ8983ZYQHQB87SAHAA7R9D7 }
{ amount: u61092492200, recipient: 'SPS1WJG6TK3XRKYNQP01HWD9NXJK5KPP6XY7JN75 }
{ amount: u61089015000, recipient: 'SP1XNKNDRVV6JEWT2DS8H1F5Y1QKVDZD4B9ADYFZY }
{ amount: u61087936600, recipient: 'SP38C2WY49XT6GDWB0YFRDMJ3XKAXWMDQ4BQHRR0W }
{ amount: u61067270600, recipient: 'SPY08RJT3M2SKY76GQQ3ZGR1HSASSBF6TBSP6T2K }
{ amount: u61066443800, recipient: 'SP246HRDDD63TWR37QE1261JRCTBA86QJRSFHV0R9 }
{ amount: u61055313400, recipient: 'SP2QP8258WH32PK7HH1DNNEYXMKVFXNR7W1409R4N }
{ amount: u61046322700, recipient: 'SPK1Y9EYYJ9EPZE14YAV3GYAQEHTH175Q1DCA0MQ }
{ amount: u61025629200, recipient: 'SP15EX1SE0QC4G8NG2S7ECBT59GHYTHZBD5Z09N2C }
{ amount: u60996388500, recipient: 'SPRTGGX3PRNP6MVCHX3P486JZHCFXZRQ8YS5QJ7K }
{ amount: u60790165400, recipient: 'SP2VHK8HS0BGZBPCW0J4XME6M1QEFGVZMMC8TRD14 }
{ amount: u60761172300, recipient: 'SPHKE0VA7ABZ818EGYCYEVQHTYGPJC3MYD6HTTYP }
{ amount: u60761012600, recipient: 'SP1BKKGG36P1KXZKKT1T5NF5NM0GWZH30X5DPQ4ZG }
{ amount: u60760441400, recipient: 'SPZYARQK04SAFCEW3TAXZVGC22R5SEWG93R38JX8 }
{ amount: u60678151700, recipient: 'SPXC9CMWXM4GHYJJD213ZHHMT2MCH4HPFY7ERJ6Y }
{ amount: u60652681700, recipient: 'SP3RSB98G7B57AWK9E3A11V4FWHCRT4738CZ62H4Z }
{ amount: u60637349800, recipient: 'SP27HP4CGDGK6MXS03ENAS64DN0NYNZFDXTXA16VM }
{ amount: u60635940600, recipient: 'SPSD2H8MXP6BF60D43HHD6NS395JHH7HKCATEQM1 }
{ amount: u60612019700, recipient: 'SP37KA6CNGY559TSTH0X1QF1K7S6S11XNX8HT49J }
{ amount: u60554548200, recipient: 'SP3GQ9GJ5Y31ESRGW17KCDR40XRGWBFCCER8P1AGC }
{ amount: u60550182700, recipient: 'SP1NM4QDW5R44VV0829W07JDA5VCJCBS0BPQ7VCK7 }
{ amount: u60548086100, recipient: 'SP26VMJQSA3XB4CEJAGJR5SB6YGT69N2CCDYWZD97 }
{ amount: u60479703400, recipient: 'SPRKWC7C3E648GFMBKMTPSAHKYY77GDVEP8FPN81 }
{ amount: u60479191800, recipient: 'SP1E1GGA0QZPZWQP67Z5WNKQNB57TTYET2GZM1W7R }
{ amount: u60461216100, recipient: 'SP10WBJWDFW53WJYVESWB78F628VJ7T4MXGN5HZMQ }
{ amount: u60195601300, recipient: 'SP3K6WYSDK2TDG8KAMDNRQC07G1K0X66ESJTMC8XP }
{ amount: u60110083400, recipient: 'SP2T7TN4K8AKB1V66WE6MC50YJ1PH72C8WYYWFHRZ }
{ amount: u60084629200, recipient: 'SP2JZNETFJGCMG0AE4ZBAWYQE1VE59W8GFMCJWEN6 }
{ amount: u60084558700, recipient: 'SP1P5HBK1A4S46GP15SCDMX2BY403662QRR78P20P }
{ amount: u60051780000, recipient: 'SP3FHHVX76VVC9HMY7FZSGVH3MKQC9VKZ2VKP2MYZ }
{ amount: u60041843700, recipient: 'SP3EVJ8TTV476SFZ8HT8PNMTGAPANB47G0W1A5DMW }
{ amount: u60022797400, recipient: 'SP2Q5Q339KYZ5A5Q8J0R93XRD0EQ5CS004WMBX4SW }
{ amount: u60016086500, recipient: 'SP29ZMVD6D9DDJ0XA24P5DY6YESE3W2PDP3YN159K }
{ amount: u60000001000, recipient: 'SPQ6QZ5DSYTJMAQWYKQ7E5T6VJDXZXMDKXSSXXGD }
{ amount: u60000000000, recipient: 'SP3SPNCNKY049ZHCRKFN26R1J7E9NTY6AT7ARDG4Z }
{ amount: u60000000000, recipient: 'SP19AHM38S0QS572VTBR2X3HE77RNRJYVJA0MV9RW }
{ amount: u60000000000, recipient: 'SP3N7Y3K01Y24G9JC1XXA13RQXXCY721WAVBMMD38 }
{ amount: u60000000000, recipient: 'SPCQ8KMQQDC4VEX6SZ726932D6Z2H7RXV5Y17M51 }
{ amount: u59972767200, recipient: 'SP3892VKXVTVN46PXJ5Z1GZS1KBXFGKYF6FS4JAMD }
{ amount: u59969301900, recipient: 'SP166CZRG0WZCXEWZ6J7S6FG5E35FAE1W1NVRCNCK }
{ amount: u59909922300, recipient: 'SP264DRW4WZPR14715KRJFCK33239851G2FXEWQ3X }
{ amount: u59899613600, recipient: 'SPB56HTR3SQN7S31459BF9K7WEK86P82YHS1FR1W }
{ amount: u59800001300, recipient: 'SP1DEM9PZ2YMC39FENEQEZBP8DSACBVH9B3JZEHQN }
{ amount: u59789453100, recipient: 'SP1DNZZQRN4TFHRB12YKA3Q4NXT7CVCXY67A2B2ZJ }
{ amount: u59764807900, recipient: 'SP19830FZXZ4CXYSX8KWQMMB2NTVCGGP97TJ45YD6 }
{ amount: u59750838400, recipient: 'SPFBTVHND6EBFH6J06CCWP9WXEP1C1S4N5VPA850 }
{ amount: u59711760800, recipient: 'SP24XDBNB1A7P401H833RG7RPVAPCVFG6E6521MD2 }
{ amount: u59688565000, recipient: 'SP23GE83SFHNCB3KR62DP4MZKAV49ZK6MPHF9M3R0 }
{ amount: u59676546500, recipient: 'SP3JYT3DT5ZVZJX3QHHRYK2VXA480SXTSKRW34C0N }
{ amount: u59666692100, recipient: 'SP2ZSMGTD1N0HTPZ8X7YG9FVDYBT2KTYWSA8YPVFW }
{ amount: u59646717000, recipient: 'SP1BAVJFWWJC1ZRA0WPH88F2XC4V6HKGH7B7ZC0RY }
{ amount: u59589577300, recipient: 'SP18MDZNS9RDW6TSC85FKPMWA1VGX652DHACVB5XE }
{ amount: u59587389700, recipient: 'SP47KBTN19628QE11RQ2N4NWW0BD6VVXM1W345E4 }
{ amount: u59565325600, recipient: 'SPJ99W6N62WXRWEWAK84WXDG0FE3PZ9SH8REP3QN }
{ amount: u59545270000, recipient: 'SP3E98A7VKVF9SJAR72W500JHZ8JMG4NCW99NT5QE }
{ amount: u59482240400, recipient: 'SP2C50P7RJY2NZGC73PSVA2TBSEFWVMFSNS2YRNTK }
{ amount: u59456702500, recipient: 'SP1668SK645C4NCFK1B5CCTJEB88Y2BEJDKCV05VD }
{ amount: u59454244500, recipient: 'SP2YPMSZ9W2V4W10Z0TY2G65CKJ4R4XRRRNJ531F0 }
{ amount: u59430936000, recipient: 'SP189XY7EYCZXCGP2EMHYMJQ5FDZFCJRFS0HTTDEV }
{ amount: u59416824600, recipient: 'SP31XMVY9F38S9Z5A2KFKVM3HW804XPYZG7DQ5RYW }
{ amount: u59410850000, recipient: 'SPWKFXA13SJQDHCBKQKKRSYSW590200C9NRYK4G7 }
{ amount: u59382909700, recipient: 'SP81YRG7422DP66HK9XNBMNFH8ZXVXT1PKE5YHJ6 }
{ amount: u59373887100, recipient: 'SP1CRZXR2HPQBVY4SM4Q9F50HMPRE4CARAMF5RN2P }
{ amount: u59321366700, recipient: 'SP2RBHVQZ152CW4AXEHA4EAYGXXG8NNKW51H09RME }
{ amount: u59316504300, recipient: 'SP2ZHA8JGGH0F1YE6387T4S7Y7SSCXWMR154T6XGB }
{ amount: u59315226400, recipient: 'SP12EMFB89CVMMG2Q0TF0CGX7T29Q4V41PAJ93WY4 }
{ amount: u59300000000, recipient: 'SP36JV5GW8JP4K1H9Q80ZJDJM1G0059JD0Y8W3ZA2 }
{ amount: u59270050100, recipient: 'SP3NTWTD312RYYB1YWJEK9M0SX9MQQAWV1BFB7NJG }
{ amount: u59267701600, recipient: 'SP2BRRWNG73M3V79M1B3N89TB6S9Z6ZZVXMQ4CENH }
{ amount: u59231722800, recipient: 'SP12DFH506FSSWWFS0XVJGPSR239C592FQZYW5Y1Z }
{ amount: u59231374700, recipient: 'SP2PMVN95314DPBXVZ75804VF4599PE3VXSGMSC4E }
{ amount: u59225960000, recipient: 'SP121Q4F1W0DR8XYMMGVAQ6ZMXSBN04N9TA6NJ2JD }
{ amount: u59217387900, recipient: 'SP3T4M4ATHJSKY00HP1GYB95AH2076WN71KMMVAXZ }
{ amount: u59187525400, recipient: 'SP29TZGR9MSQ0ZT0NVCMNRQ35FKYNT62QQA9AQQ5Z }
{ amount: u59110479900, recipient: 'SP2REN29VXAHPE55WTGY2ZDHF7JYC7SWGAHZJYTWN }
{ amount: u59067920700, recipient: 'SP3ARCMGXP82KQZN9WDAP3N05HTX2FC35NTZBVFPN }
{ amount: u59043747400, recipient: 'SP39W5V2M794Y7PZNXMZAPD3Q0XTQV3H10D1820NR }
{ amount: u59041629900, recipient: 'SP16K2S2107KAE01BXQBNRJMQP158Z6ZHATCJ7W6J }
{ amount: u58977209100, recipient: 'SP30WJ7YY1RH6P0P2HAP3X6CXQZ3Z39B62AXB63H3 }
{ amount: u58955070700, recipient: 'SP30BDE56A1H3GYA8WVE3AJ837CJXTZBDF640MXVH }
{ amount: u58869864700, recipient: 'SP3P99CW22SAB7D814849QXWZ8WDG47SRVGQ7SVZE }
{ amount: u58853021600, recipient: 'SPXAMPNNNPDQXA3W84A7KCZDCJ5XCXTDTG9ESQ36 }
{ amount: u58801957200, recipient: 'SP361JJRR1SV6CGTG5ECY6J3719Q5TZ5X7K28RRJW }
{ amount: u58712536600, recipient: 'SP187MC36EXW4C1GKK3QXW15S8K18EJGS6R412X5B }
{ amount: u58686279600, recipient: 'SP2QJ0H7YPZACQ693J0P7PDYCA9BESAA4EQYSN7D1 }
{ amount: u58675695500, recipient: 'SP39HFM3JB380B0GGS1TA3FZAEYPFP4M47FYFSZ50 }
{ amount: u58669283100, recipient: 'SP10GV62MJJK201RR2T9PXSN8Y9CYPQ3SHYJH0EJC }
{ amount: u58603379000, recipient: 'SP2RZZ7QS237J9YZ1N1DPKBASJB3QE4ZFHH8RMBD0 }
{ amount: u58566877700, recipient: 'SP1RDM49SHXEZKXGJZRBT87W0ENVEGTA4CZZ0XM25 }
{ amount: u58500000000, recipient: 'SP2QVV4GE1WYTWTNWKZ4WJXTJ1ZTZ7QQVME9FZ080 }
{ amount: u58496827000, recipient: 'SP1A6F9ABHQMVP92GH7T9ZBF029T1WG3SHPNMKT0D }
{ amount: u58337057300, recipient: 'SP315DGMYY1GQ4YDJ2GT07W67WPPYGY3XNEPNCEHX }
{ amount: u58320231700, recipient: 'SP2FHRXHTZBFGPFKSNWFGYPNBQXKSXC2JFJZ7BY7D }
{ amount: u58278940100, recipient: 'SP2ZRS0YZNHC9HF7VXWBVZYY43DGT4WSRBNT4MBYK }
{ amount: u58227999300, recipient: 'SP3JGV6BXTKH9R49JVVFM2CTA946R4X1E42VBW3E1 }
{ amount: u58171601700, recipient: 'SP1A999TMVDBQKA9R71T7M1S7KMRZBR7E02SJ2EYX }
{ amount: u58158065000, recipient: 'SP3BJHX5N5AE3J8BCXH5CND9F0V8RG2FRCRB7TAMM }
{ amount: u58141644500, recipient: 'SP1B8X7M0ESCYYJ8DNKBYTCE4MSZ6FWY7STXFQXJ0 }
{ amount: u58134202800, recipient: 'SP1Z7DARFT1PPY586TRYW4BDGHT7SGSTD4Q0863CV }
{ amount: u58122980400, recipient: 'SP1H7SF70Y9H5V70S8CWR1XQMFJEBNJ3X9YC0FZA5 }
{ amount: u58096002000, recipient: 'SP1D77TZ95C28FVRXV3K8B4TQ7VP9Z1538B5HFN46 }
{ amount: u58096002000, recipient: 'SP37SWJJW9WBM32XKZC0DA7CKZ3MT9SZGWDKSRJNE }
{ amount: u58091320100, recipient: 'SPFH9SNWMPRT06AT77DPRPCJ0SM4Z7RAENBDASXV }
{ amount: u58089050600, recipient: 'SP8DEQXYDKXH17B02A5FXX0HSRBQENQ7KZ0PMT9K }
{ amount: u58088517600, recipient: 'SPWR6S7M570MSHF3VDRZAZP6N6YPB2D3GVBCTZCG }
{ amount: u58076252100, recipient: 'SP2AFC5123TK3DCV7ENPMYAE6SB3G76J6B7VS3G0E }
{ amount: u58046226300, recipient: 'SPSDF36009G1973AX5MPKVAQZ9EQKH14G35KTMDW }
{ amount: u58039660300, recipient: 'SPSJ38GJK8GZDG3TPXNDX9K7M8X0QD6AE8TGAYRD }
{ amount: u58029000000, recipient: 'SP3S9319FJ6M59FX2MNXSW2CVVE65D32RBTVW5AFE }
{ amount: u58008226500, recipient: 'SPGZQKP50Z73XJS5DHWAG2CJE868CEYMW3HD272J }
{ amount: u57805000000, recipient: 'SPZ6V1QPH0CSA3NWPK9BMTC6KF8RQQP931SZCNZK }
{ amount: u57773856400, recipient: 'SP5A3S2QV9PH3G994ZHZWRNGTR32PFJP08G75NM7 } ))
(define-constant batch-34 (list { amount: u57759279500, recipient: 'SP14PM0CMFR0G8K6K1EXPASPYRHXFQ9DTF0QNGP0H }
{ amount: u57700590700, recipient: 'SPCRZAAV4F6KNPCC7DWSZA01A99ZYBC66TG5CEZC }
{ amount: u57665115300, recipient: 'SPDWWW5A4DFWTGYS6BC3TBX3210HEC8JZ93Y8EMC }
{ amount: u57644419400, recipient: 'SP13J0QK2R4X75QH6E3FDY5GBSPA9X8Q0VBC4PDDZ }
{ amount: u57642716100, recipient: 'SP2HD6YZQPNKK4JCD89GZ9HAZHSWTHT4ZK2A0WAVF }
{ amount: u57580738700, recipient: 'SP6SF59TP876N336NVXQHE3WP9ADX7V49R9VE4G8 }
{ amount: u57570859100, recipient: 'SP1936PKEVDSZ6GNYXX7K4KZMSJ7GCADNXMMAKBXC }
{ amount: u57502274000, recipient: 'SP3PCSW20N2DXZVPNDQ001Q9RGXS2RD17AVN764GH }
{ amount: u57480716400, recipient: 'SPRXT3BC13RQNVCNEJFESK7H0HSP9BG16GKXE8GW }
{ amount: u57459945800, recipient: 'SP2Y6PN1W5F97RZ2ENNSAADVWBFDF3GCVC4YZ71CN }
{ amount: u57404944000, recipient: 'SPST8K5E39TWMHP7WGZQCZPFA09GHN5B4ZHXW5X0 }
{ amount: u57370843900, recipient: 'SPHFNT5EKP2E29NVBC6YFMQ9GPSC2BDBBQMG4CCK }
{ amount: u57338281100, recipient: 'SP3P7WQADNXQ4PZ049Q44FXN73YSNNCFCB4T0RMKC }
{ amount: u57275201000, recipient: 'SP2C8A9J5TS151WQVGKJV77ASQ6XCTVDG5THVQET1 }
{ amount: u57268249300, recipient: 'SP35XW986Y6NDG0X38A2XJRXRH45QVYTFS950CR4S }
{ amount: u57249808600, recipient: 'SP3HF8HQC8Q1T7MZGX8B9KWC0MVDE3QWBHWBS2FBY }
{ amount: u57225057700, recipient: 'SP6M67NX2MHH7KXAEG53XDWF0BYYVZK5K75NEXZQ }
{ amount: u57146130800, recipient: 'SP10KWJD60YG751FA074D84HY627P07MWSFR1Y6CC }
{ amount: u57101814200, recipient: 'SP10NCYH1F98QQ2CXMAE44MCY61H3FHN9A1H7VVZ8 }
{ amount: u57084117000, recipient: 'SPGJF90CB6ESZXVSCCAVPQ97Q4H3ZSG6NY0ASRG5 }
{ amount: u57073000000, recipient: 'SP1VHH2JYD8JFMTHSSPHP4JK59KGJQF4E0PG2E3TN }
{ amount: u57059904300, recipient: 'SP22GC1Y6JGV7996WY5SJPY7CC163K7JTNBQZ779R }
{ amount: u57036710500, recipient: 'SPF1DT69NH5ENRC2DKNNHFQRA5K0RYR7Z85YJGA7 }
{ amount: u57019557700, recipient: 'SP2MR6TBVFWVAYY3547MPASQXVJPER06DZGZT180D }
{ amount: u57000000000, recipient: 'SP1AH7RSVV07KSDJTFFART80P045YNZRRKZ719EME }
{ amount: u57000000000, recipient: 'SP3256JA24GGCHXDN4QMMMQZA9B2WF84YDZN971B }
{ amount: u56950000000, recipient: 'SP307D92S8E4X14MB1T5EZ4DAX3434G0F4HNN2C3V }
{ amount: u56943227100, recipient: 'SP2TCK7FW9B0QE1KCV2GVC5TM7SGW94GSYKR42793 }
{ amount: u56924867800, recipient: 'SP20NZZ0ZBAWN69Y82ABT140DS8DBG43H4YR7B5F }
{ amount: u56911223100, recipient: 'SP2NXG1GGQV1919ATAWZNX1F7ACXK8YY9WT5BEB4V }
{ amount: u56816836400, recipient: 'SP3GV3PVAYG6DR0RAZTCA0F9SE117YNTDBDEVNK08 }
{ amount: u56808877600, recipient: 'SPT8WNGNP1VHKZ3NZ9ZE7M9PM71H04DZ8RHKEM1K }
{ amount: u56801164800, recipient: 'SPH1W4JFW1EV1G2JB7ERNWA9YT7DMDNHBDJFYBSX }
{ amount: u56786075700, recipient: 'SP1ZCYG0D3HCK2F7SY8VH9ZREB0JWCBSAPFNS8V5Z }
{ amount: u56785200400, recipient: 'SP115B4PY38WKMZ8R113CHVNDBBT1MRTTKX2XTQVK }
{ amount: u56720405100, recipient: 'SP1BW5S936RYJY9GDZV4H674SND00AZ6362WM4532 }
{ amount: u56713864100, recipient: 'SPJAZA0F330CP5ACBY2GY9E4928Q2C1A2QPWYV78 }
{ amount: u56681627100, recipient: 'SPQP9A7RVRRR6ZYXE2PAYBYBWJX0E3XTP4QZHD5D }
{ amount: u56662287700, recipient: 'SP3J0E8P576KYGRWJTBVNHHCCAMF6AGHAEWHEX4J7 }
{ amount: u56659558100, recipient: 'SP2C9TNCK3RWHP7F34F2MJ7VA4HP5YNKTHGJGCC0D }
{ amount: u56545607400, recipient: 'SPMPYSY6J2B4D477001KT89R1T5M4XPZDS9SMEH5 }
{ amount: u56544977400, recipient: 'SP1VB2S4951BC9RABDM9PYT7FCA712PDKJ87882ME }
{ amount: u56511755800, recipient: 'SPK8FJB28AYQ2R8TKZFF4FN161EQGMNJ6XAGZXS6 }
{ amount: u56445129800, recipient: 'SP3FABKA4RNJTB52M5AKGEBG2DDYNCDXNQ1YGZJXG }
{ amount: u56362363100, recipient: 'SP3XN5Y6J6C0ZXHEY4A4XZ8P28DPY1S4YBG4G3CH1 }
{ amount: u56300533500, recipient: 'SP2ZS9KBXT6PHY5DV46C6Q0M2QFQMTZ8HRQDG38HB }
{ amount: u56261648700, recipient: 'SP3FYXF01SD9C4ZFQ83Q2KPFJG27JNBCJ3D88982G }
{ amount: u56254707800, recipient: 'SP34G4J49E3GXH8SN8CZYNATQRH9P8ZT6YGAFGGK9 }
{ amount: u56190895400, recipient: 'SP2AEKG5K5SJ9444A4E0HS674WNR4NGBCN9M0QS45 }
{ amount: u56190093300, recipient: 'SPAVEHMSTBG1D29PSAQKQ3E2JKR3J2GAPS871HGK }
{ amount: u56156967700, recipient: 'SP11W53JZFRFGB58Y8GJAZW48YAHM9JM27MSJ863W }
{ amount: u56127699300, recipient: 'SP3VTC5TNYC9ZJ5NZ9DG4HHZP5Z21ZM5JRSF6M5MD }
{ amount: u56123053600, recipient: 'SP3YMYDEHRY5SQZEMF49PBKE3TQ1P2ZTZDSBWJ3G5 }
{ amount: u56100000000, recipient: 'SP2WJF6C1S99747RG6D30SXS7Z5Z8QTKG6T07TW95 }
{ amount: u56000000000, recipient: 'SP1NP43YXSZE5Z4F5F9P3HZJ523R87A110G6Y7E4P }
{ amount: u55992035700, recipient: 'SP2JS7C7MBXWQFFZYGGPZ9YK0NVJ7PMVAA2MVW3A9 }
{ amount: u55987441000, recipient: 'SPCQSHPWNNXNMB1DDHFZA9SRQH9Y6010PQCKJDVM }
{ amount: u55949711800, recipient: 'SPA2VT7XDQ625B1AFB2FNB8XBTSTNH34G9CYBEGN }
{ amount: u55928741400, recipient: 'SP3J1VSNG0P5RYSMH2CAAJDNGWQE3H76P9X88DRKE }
{ amount: u55818841200, recipient: 'SP3SS41B35D60T0SNCR0NJCZX23MV50GF16F6T6NG }
{ amount: u55807112700, recipient: 'SPDZSWDJ4MZSVFKFV0PKHT59GP04FASTFE5CD5QX }
{ amount: u55777888800, recipient: 'SP2Q4NN5S5MHFRK5K0Z5DY0CD6MZTN90DYWECC052 }
{ amount: u55768012000, recipient: 'SP1WGWEMYDC11X3D0XFW5XF847V2S8RPK3QP7GAJ8 }
{ amount: u55695424500, recipient: 'SP2CGDD91WJRCXFWQK8F8R0G8A3H9RD86SFB42VXX }
{ amount: u55581748700, recipient: 'SP2REA4BNX3F4A5ARQXEB4Y5HM3JN9KCC5MKKEZB7 }
{ amount: u55566832300, recipient: 'SP2D1A30D35C8YZMMDHFW7EKNVM81XK670546RSRP }
{ amount: u55560466700, recipient: 'SP396JJJ7XWR35VR6TNJ38ES0X1JPETGYEKAD5SNC }
{ amount: u55522155100, recipient: 'SP3C1W3BG1BQWGHXS5SWCKWW2N7ARTWVHAWC0E7WG }
{ amount: u55483272100, recipient: 'SP2H5M25AB0QZVC32YM9E6GAR9RX4B99AY6QYKR26 }
{ amount: u55479806200, recipient: 'SPR72PCHPK5KATVA5A7DD2MZ0TSKKBR3QZDRZQ2J }
{ amount: u55467204500, recipient: 'SP1E1S2C0AAS12XFXCSXEPPPFB5KMPN2HBPRSVK2P }
{ amount: u55440012400, recipient: 'SP381FBRR8NGAGDACH059JSYZR8D0GQHJM12GNYZE }
{ amount: u55352167300, recipient: 'SP18TMHKPGW4RZF2CE63NCZFNEAKW9P1XS3EZJQVA }
{ amount: u55335663900, recipient: 'SP1HFXYDRZ3V6WK68CVZQ3A1EFEQB9QMBEYTSD1FS }
{ amount: u55318000000, recipient: 'SPQ04QSCDT41JRGBT4RSG5V5FCX1H5NFA572C65D }
{ amount: u55299463000, recipient: 'SP364RXA2QN5YNRDRN09YH2NYHWZY1ZZ5H2YFHCAX }
{ amount: u55249178100, recipient: 'SP1Y0M9TM169NASMWZC1680HEGWSVGQH9J0ZS3H12 }
{ amount: u55246316400, recipient: 'SP3H0TNMC2GBRZRA1TX04012Y0P1D7QX18ND4PT6X }
{ amount: u55212171800, recipient: 'SP2593KS89RQF8GTH83X0KVVNWKR046RWV4MFFKK0 }
{ amount: u55200000000, recipient: 'SPX8T06E8FJQ33CX8YVR9CC6D9DSTF6JE0Y8R7DS }
{ amount: u55200000000, recipient: 'SPSD7CJT9RTR5PG7VRWE69F7GATHFXD1WT3WMABW }
{ amount: u55147624700, recipient: 'SP37YHHZD0C91JHETYV5HHMJJDVNPZYJ706J0NCXA }
{ amount: u55135058400, recipient: 'SP220Z69YMB8S33AZH7WDTZK5MH921Q8QGV2K0T8K }
{ amount: u55123930000, recipient: 'SP3MQD5M6RWXPANQ2TDYKPQVEC09TXB1WSTXKJQ73 }
{ amount: u55121199400, recipient: 'SP3QG3TNQXX3V2KJQNW02NJ7DZ72MQP8DQ68F2VAJ }
{ amount: u55099019600, recipient: 'SP2BMH1SK80DRA9XZZEPKW057RVHGA0C2B9VZXHBC }
{ amount: u55069653000, recipient: 'SPV9SGRH0EWS9EJ8D4Q090PH84M2JG4T7FW1EGK }
{ amount: u55055000000, recipient: 'SPYQ0G4ZV6XEFGX8SJBKHGFTY8C5NJ4V1Z9TMJ34 }
{ amount: u54999523000, recipient: 'SP2C266A8ZQAMTZ20Y1QDXQ0A8CV00AMRT9R7A24W }
{ amount: u54932929400, recipient: 'SP409HW67N6MHN6BX1RX151HHBHBJ97J6RBXKYTJ }
{ amount: u54928315600, recipient: 'SP1C707B7WR0SP9NY2YPWTPMVBYMXFGCWJFMPEA4K }
{ amount: u54919546100, recipient: 'SP13H73J4P1VKR5K8ADMR98FDSX1DSEHTZ9B80XTW }
{ amount: u54915133000, recipient: 'SPXBRVZYNH4XNXZVA06BQ55B6VP0TCCB47RVH6B1 }
{ amount: u54910254100, recipient: 'SP28XCJN7K6BXN6CZT5S0HZW36G6K7MCBD54NJSJG }
{ amount: u54901106000, recipient: 'SP3223ZCR60T9V81AHSJW0BV0NTYY86BV6H8HG5J5 }
{ amount: u54866235000, recipient: 'SP2A4R43TCNHZ19AKK44WEBP4R16X7DV4093GQ0X4 }
{ amount: u54861757000, recipient: 'SP3G1JN1H0JG3B2DY729F6QVHJF39YMRCN4NGDF0P }
{ amount: u54860790700, recipient: 'SP3EZ966208V3YVSWW8R7S14DCNWB34420RQY8Y5W }
{ amount: u54850067700, recipient: 'SP3DVNQ3VAAYCE12XQ2GTYMCRQAS1EY7YD5J83WZQ }
{ amount: u54800000000, recipient: 'SP2BHCK5RYK64JN6XS0SBZ0DSP37Z2ETVKN192E80 }
{ amount: u54779801300, recipient: 'SP3YBDJN4148FZA6PMFHDX02M8CG7A329DWYQTP2S }
{ amount: u54713761800, recipient: 'SP7S3EY6FS1PJHJN6S3NV71RYQ7CKGABE5SDAT9N }
{ amount: u54713602200, recipient: 'SP211TX2VEX4BZWSADR3S9MRANB5TEERXV2SN8RP }
{ amount: u54628249900, recipient: 'SPGW84QTY4VS546YB3DQSW1KK6S7VKPGT2HB9Z14 }
{ amount: u54611411700, recipient: 'SP28FEY9QYN0A3SK68A09B39E97F5SMNJJBP6MXHM }
{ amount: u54604999700, recipient: 'SP11HPKQ8BMWQY3KT26613718PBJT6B2F88XCJQGW }
{ amount: u54600000000, recipient: 'SP35VXC6F65VGZF29SQND0ME7BAPV68GKB6GWT68G }
{ amount: u54580975900, recipient: 'SP63HMSEJX3XVVYW9V4FDE4PPHQHXEASGBSBXB25 }
{ amount: u54544353100, recipient: 'SP2TYMJBW95PPKTH0M3C3XYD9RZR5XDZDYXGXBZT7 }
{ amount: u54518538700, recipient: 'SP2CY6SS12XPHRPKCY5P8EZ513TBQGHJVGKS5RPQN }
{ amount: u54502335600, recipient: 'SPCXC0GVKNJE6NPHPQAQT6DCQ87RVHK8QC7PRNK5 }
{ amount: u54491637500, recipient: 'SP36V0PDBB918V6EZ1KTB6MM2GT2A8HKCGGGGYVBG }
{ amount: u54487079400, recipient: 'SP3R6QVNZ5B7MQHQ1V0CARW20WWZ7XTCWPRX17T67 }
{ amount: u54453353500, recipient: 'SP3E88SN7NFPVB4XWG83QQPRN981P6QWPMV4R3ZJM }
{ amount: u54414918300, recipient: 'SP2DCFHTZSY5YKSRHC7YRD1AD6HRA9CBZENCM4NGV }
{ amount: u54373349500, recipient: 'SP2JP367DGTKY3F4J0XF76DK1EX3P19078V25KYSS }
{ amount: u54347986600, recipient: 'SP16YA5N2VE52JRDYXKFZ2TF7T2CBRB4SH8NYKJX1 }
{ amount: u54330750400, recipient: 'SP4R8R6P0YN9TC1Y88SZCP891T02VWQXEFX1S7SR }
{ amount: u54298915400, recipient: 'SP39HDB0SGCTQ38Y4S6R2XYG15P5AN3YP68KQV8YP }
{ amount: u54291401400, recipient: 'SP34S2N0DZDC4VPHGEYWA9N4XJQM3ZJ9X0KFYMJC7 }
{ amount: u54233407100, recipient: 'SP33KS75NQXA1X84C6JRY7H8292DP3ARWFCS7V6VB }
{ amount: u54200000000, recipient: 'SP1V5W80ZYB81H8Y9NMW7KRRM6XG206FGWDJFK709 }
{ amount: u54198993100, recipient: 'SP23H1T6G9SF4W41S6HSHEHSMWKB0VB2D225K1BF6 }
{ amount: u54146864600, recipient: 'SP302RNGHMC93ZGP9TNK2TVJT81CVH9BHX4HTN8MG }
{ amount: u54142329600, recipient: 'SP7YMQQCAR74CYXG54Z0XM7QJG7T9YCQ3KX31KYE }
{ amount: u54112119700, recipient: 'SP1YEK4BTVJRC146DF7KCVQFCNPMJ39FVDB2TJ0MQ }
{ amount: u54100000000, recipient: 'SP26R7D9APS7EGGEZ54K3K1T62MWMDNMK1M830X0B }
{ amount: u54048796600, recipient: 'SP23F07QZH8TGPCFJT0QJR8H9MMQGQB20H6FF1BF6 }
{ amount: u54047891200, recipient: 'SP3TG2HDH5TAVN5566SZCV30FYBHCQTN2EXZ2J915 }
{ amount: u54025057300, recipient: 'SP1HTMQJEZ31WB8XKFPVZJNAXXY1H97GPRE0W7QXZ }
{ amount: u54000000000, recipient: 'SP6A9DG2K1QW22G5EK4WD7V175SX6V0BCAMNP9P9 }
{ amount: u53996935800, recipient: 'SP3Z659T239EBMKNK5CFR75JND5TGCQD0TYKCMTER }
{ amount: u53991058300, recipient: 'SP6XXTDQGXXG48E4ZQ32QXE8JM9V0TJDVJAAJ666 }
{ amount: u53928342700, recipient: 'SPZPJTSD7DYE3E3AW9C9C8EBEKHQE8CTY4NYXF6K }
{ amount: u53892284300, recipient: 'SP2ATTQA1AHE6KDKE9B4SXS2RZW5AH92HD27F5RN4 }
{ amount: u53887553600, recipient: 'SP3S8DWFBR02BA3YQ1HBV0N3PX14AD21YK3JT6S80 }
{ amount: u53800845000, recipient: 'SP267K079NBFM3MHJN9V92X6A9NW60HPDEBAQG33J }
{ amount: u53800000000, recipient: 'SP2RN571R3B0JJSHNCV404K0XKV6Z6D8ZENMSDKA9 }
{ amount: u53774340600, recipient: 'SPY41A4D11Q46SEJBFWK9M9ZPCY0CHC2NV6ADB16 }
{ amount: u53746091200, recipient: 'SPQ6HPF568VM627MBP7K58S42BQGY59AS4C7FARS }
{ amount: u53741236400, recipient: 'SP268FRVSBD81J9SCKY9PPNW94WHXE7TP897EERGJ }
{ amount: u53732019400, recipient: 'SP1SGWYFVJGHJDVHP90MM89W563DBQGK5N1QJ52T }
{ amount: u53720637900, recipient: 'SP3YQXJB53M3XA6TBNZ9GDBRXKM9BY6B8M4SS7JT6 }
{ amount: u53716171900, recipient: 'SP1B0B8BW0BRHEZ28G27XE2JHK540HCG44TR2MQMM }
{ amount: u53691000000, recipient: 'SP1K8BYAQCEDP38J58YYQ4SMPJS8467HFSXZF91KF }
{ amount: u53663000000, recipient: 'SP208WBV0X9CCKJVQ6S5JDYAC0GFCP2QY2YZCKYAJ }
{ amount: u53623093000, recipient: 'SPNS7P0ZMBY105WXT1MV3R6XC1NG6QRF6Q5MN9G5 }
{ amount: u53623088500, recipient: 'SP1YP3RVGRKV3F0PBC1ZQHGV1ACZT05087ZTPRZAQ }
{ amount: u53620044300, recipient: 'SP16YGBC7HZDKQAFKJNHNZV1AMEYFANRYCTJ4ZFAC }
{ amount: u53538525700, recipient: 'SP2RA1N5Y8QSTRKV7GTZM01354YVXD1YNVWGT6Q7D }
{ amount: u53513175400, recipient: 'SPV2AJNGXGFF7EZY0G43MMBTJV3TF9GYB26N3SG1 }
{ amount: u53500000000, recipient: 'SP2KYZJRZWA69YPF92MS3FPY9ZZPESF6XAVHRSBEF }
{ amount: u53394850900, recipient: 'SP144BWRHC6QCW506NWMPNCK7DHNTGF1BXXJDNC2B }
{ amount: u53344788400, recipient: 'SP329QD8Q92GSN42GXC4ZF11VTHX268NMX8TH5KM1 }
{ amount: u53342308300, recipient: 'SP21STDE17PJ0VCRF8KFWKSBBKNMNP5CHT9N6H403 }
{ amount: u53301196800, recipient: 'SP3PG598J2WSX7Y24HKN30TXD3GT1SP3CDXDQVHFK }
{ amount: u53279126800, recipient: 'SP1BX2EA05JQWE2Q54V367TSMJJQ6GTXVT0QXZNXX }
{ amount: u53258959500, recipient: 'SP2PVCVSJC149WM9F5T0TWYN7RFXVD1R4A3Z51EVC }
{ amount: u53240750900, recipient: 'SPASEAYPZ42PR2VWWCT1KX35K3HFV874J7Z4JYS8 }
{ amount: u53225659600, recipient: 'SP25PBRWMX86WX7TW7Z5ZVTGGMQCFEPEQNGQ5YAH9 }
{ amount: u53214446600, recipient: 'SP3K1KCBGZ6EWJ5GPPHXEN986EFC1P55J06YBSB5H }
{ amount: u53209058700, recipient: 'SP3Y91V5MYVP535QEX1JGF7CS9MH38S39TK4PGJHW }
{ amount: u53204317000, recipient: 'SP2PSH1ZS7KD3YWMKSQP6JA6CJPEQW9R3S0C17JJQ }
{ amount: u53191154300, recipient: 'SP20N4QV531DYAW19YG7744S2PXFRZ8823HK5HH1B }
{ amount: u53169328000, recipient: 'SP3A1AWYBH6NXJ65HJYTEXBY3HV25Y2V0NZDPG0V0 }
{ amount: u53130798800, recipient: 'SP3KMDEKCTW38VREB14JWMHNW20FTXMPV1F83AD1S }
{ amount: u53100851000, recipient: 'SP18Z9DYBYWKQSDJ0ER0ECEDKBK0Q07VEHE58KGKA }
{ amount: u53088557300, recipient: 'SP2BW900DWJF2HA7FHZV7HGKD4EYX3RSRX5FPT7AK }
{ amount: u53078723500, recipient: 'SP3JC49FTK716JV08MHB22FH6RTS3E9DHS557JBWT }
{ amount: u53070918300, recipient: 'SP2V7BV6BGJ75PZFMTHX2MDN4K3ZR1R95821XAWGB }
{ amount: u53057924100, recipient: 'SPAEG9VEQ8ESNA43EXKVDGQFVP5NDB7Q377SBSM3 }
{ amount: u53030806000, recipient: 'SPXCD5T4FFJWZD887KRZQ3Z4K8RG3N6HYQ9EVKDC }
{ amount: u53026725000, recipient: 'SP33KBYN3Q8ZPH4H4T54ZPQSAVY5FCGG8E3ZCY3WN }
{ amount: u52966103800, recipient: 'SP2RJZTNKRDMQS9YS91PXEA917XZEM0R3X4WTDBGM }
{ amount: u52959686700, recipient: 'SP27T4FF5ATTCN3HDY1QTD2PKNJSP1ACCCEGTW8S1 }
{ amount: u52943678100, recipient: 'SP3K0EE25S57TK269WJDYX9ZBEY763RFBX47TA69W }
{ amount: u52921133100, recipient: 'SP3S1JWFYY1DFHDHXHR6KK9W5X8JF7KWRZM26Q2G4 }
{ amount: u52914920000, recipient: 'SP1GPKZK0GQK1VXRC2H5Z2S7D5M46K5MVCQDG8GEF }
{ amount: u52899000000, recipient: 'SP1VG6TGYGHJ2JNA6GP1PA46JSRFHNCD8KNEV8TV1 }
{ amount: u52892412500, recipient: 'SP1F8ZDT9JXPD5DY3J0RC54DWZSAXETD6QZ98KC4C }
{ amount: u52866122800, recipient: 'SP2F74K4NXDEKWH739744MC6BGH0M99Z02RHTHE84 }
{ amount: u52838558000, recipient: 'SP2DE8B2SN47TD3TG1MER1X81JHARTZ9ET76MK2YW }
{ amount: u52820933100, recipient: 'SP13X09H92DMK61XPX6YNNVESHXDQTCHR13FSCJB }
{ amount: u52819688400, recipient: 'SPNTHKXPG979RN4D5R4WDFF1EVG5X3NCHGZCR3J3 }
{ amount: u52818658000, recipient: 'SP1SZVBJMAVF0FGJXC50DBJ2TNKHJPTHNJ5GE1ADE }
{ amount: u52802016800, recipient: 'SP1RQ3D1EYMWJSE9YSR9BS6WRAG9PW3WJY52NJGDT }
{ amount: u52781390700, recipient: 'SP34BKWJTQRE4TZ7CWTYW9RJVWBDVB8RDESPMPZ9 }
{ amount: u52779470000, recipient: 'SP0E1CTP627CHTEDWCPE8Q8ZH7SM1E5DHJ78592V }
{ amount: u52724800000, recipient: 'SP2MWQ9SRSVPEKCV8FDRD4VRSMPD5WWMX2C1P0N0E }
{ amount: u52683390200, recipient: 'SP2FE20ESBWRQ7Q5QYX18KAPGRPDXHD3QNRCE6V4V }
{ amount: u52614467500, recipient: 'SP3SF21T9XVEKTYZX4MJ82NGWYKXK2GX70Y15DTXX }
{ amount: u52598556200, recipient: 'SP3FJ8A7CR5084FB07JWEBM70TBTJCT89YNRM8B7V }
{ amount: u52576892600, recipient: 'SPN7R5QK5GY7R81EGET33B03TCFFMEN8D8JQJYHJ }
{ amount: u52558694900, recipient: 'SP1RFHZDY6H6D6PXE4PDQ2XM7WJQYD2JGNTX0JGAS }
{ amount: u52555173400, recipient: 'SP2VF1TG9R5WH0W8V97P6H68CZWVJAZM3MHWGSVGT }
{ amount: u52504992900, recipient: 'SPD00HADPZ6TR5VYYFYB32VHS5HYTCQVRK97BEYQ }
{ amount: u52473769900, recipient: 'SP2ZPBXPZVJ4BVMWA0S53B60FK9JES0QJTMCKK92V }
{ amount: u52459125800, recipient: 'SP32Y4JF9MEBCJ0EHSGH9T778NN4AJB325CB9V6ER }
{ amount: u52441855000, recipient: 'SP1469C031RRJHJXX2T57JP15W89X8CQNRYKQZ4N7 }
{ amount: u52409451800, recipient: 'SP19827K21495F4B327A040RCR61BB8R5TC76K4CM } ))
(define-constant batch-35 (list { amount: u52356173000, recipient: 'SP36GBTDFV45BY8S242EARDQ7RHCY6F1C8RT3JRX5 }
{ amount: u52346021500, recipient: 'SPTQD705GT1B4RD9EZXSSDJNPSKQ00WN34FJDPJR }
{ amount: u52286124300, recipient: 'SP3RVHCNTJYQZ1FY6V1YXR3JTCGKP1M36N6QTH734 }
{ amount: u52270415000, recipient: 'SPSKEG9VTW3YSBHS6X28Z1X8R4YPQRAZWP5Y9SCF }
{ amount: u52261645400, recipient: 'SP3MAXZXD2P11ZX765HV99BCWVQ0558JNRN0FG10B }
{ amount: u52208000000, recipient: 'SP2M32VFHFRP827HAA167TD8X8QCC5FQQR0BB1CCC }
{ amount: u52181910700, recipient: 'SP3MAPJHY1B2QVZWZTJTHY9MZNB76VZ1K7G1CZ5JS }
{ amount: u52162278000, recipient: 'SPP08HY7YEXZJMG6421J21FA9TEJZXJD05DXB34D }
{ amount: u52128542500, recipient: 'SPCF3VV7926J9EHJ6ACSVXJKXB8Y2WJKZVVXWR26 }
{ amount: u52086688700, recipient: 'SP1CP95B5XJ8657KX2XRJ7HQK2BMJS3J47946MJXJ }
{ amount: u52082393900, recipient: 'SP1HCZ337TAFT1CTTDBF2J9VM7N518JD0G2AE36M0 }
{ amount: u52079920600, recipient: 'SP18PVXFK47P55JBD1EH7N6SQ8YP7JH3RPWFNW27R }
{ amount: u52079667000, recipient: 'SP3NEGYC3VWYPWFTMF4NK40BEVHHRWN3JW2VAFVJG }
{ amount: u52048428800, recipient: 'SP231TW471YCMYD2K6H1W6V2SF472TDP00WG2HNCW }
{ amount: u52030183700, recipient: 'SP3YVFH0AY4H0FFHWQB10V1X9NZ5Y00WKE16PH246 }
{ amount: u51970766300, recipient: 'SP26H23FMWCJ614MNXPGWGR8J20PAM062YC345MBE }
{ amount: u51960450000, recipient: 'SP3BE4XX4SH3BAJ08D60VGHP79HSAHHZPCHDF5KAS }
{ amount: u51899517400, recipient: 'SP39DBQRFCM3DSDZ39S0WGPR492VHXGZJCCKM6968 }
{ amount: u51899517400, recipient: 'SP3ZBEFWGJBKDRGH4WE4SH9GWKEDK6Z4D4H91F3JK }
{ amount: u51809114800, recipient: 'SP3XSH513DJF60CK93AXZVTXTQWZSQXSB2H57CNZ4 }
{ amount: u51790137300, recipient: 'SP1Z92MPDQEWZXW36VX71Q25HKF5K2EPCJ304F275.liquidity-token-v5k2658uqsb }
{ amount: u51702399400, recipient: 'SPDZTR8DTV7M0JS4FMHB6W1H9GR5PSM5NKFEKW78 }
{ amount: u51600000000, recipient: 'SP2PASP20QMYX6R2BEAHP7J7FXV51ZMN1WP96E73Z }
{ amount: u51575893200, recipient: 'SPT2FDJNRS51KYB70JT76PPF954YT0M5G13R67HN }
{ amount: u51555214700, recipient: 'SP317NXKERZERMQQ7ZC8ZWHJ6C9M33GQP3GK2QSQX }
{ amount: u51533473500, recipient: 'SP2E3KDS0CBN841SG2NTY2TS3KDGQ6C1DN14EFC0K }
{ amount: u51528926500, recipient: 'SPCGYWGKWZ9P21Y31H3GC1BYDEFQ1MJJYM3G34EK }
{ amount: u51514525100, recipient: 'SP1DNDQF2EPA022NWBN090W863X992WAGTW84ZG4F }
{ amount: u51505556200, recipient: 'SP2HMFJHMZPV3NXD3ERVN6E2R18APWGE4VFYC5HAF }
{ amount: u51494251300, recipient: 'SP1Y6MEKVK2094Q7A4PH0RGC452P3HPMEC2DQHPN3 }
{ amount: u51373050500, recipient: 'SP3JZ4CDBEWNZEA8EXXNWFQ98FQ0VMZS453VJB2TF }
{ amount: u51352000000, recipient: 'SPPXM3TJFR947DA7G8AXA906W5Q6T772TZQTEVJ7 }
{ amount: u51320143900, recipient: 'SP2ZG52CK7F6X22PXF6RENDDANECQ2HC90VA1V3PC }
{ amount: u51298790600, recipient: 'SP11Z0M9SXMXM2BGQHDPT0B9Z03TDE56WFSF6EEX8 }
{ amount: u51271466600, recipient: 'SP1TNFEVQQSWZGVBJVK75J9DPMBF1N4E3WM3B6KNH }
{ amount: u51262237000, recipient: 'SP1P4AKY97BSX9J6RV4QX851AMAWMQ4PCN2QPN58S }
{ amount: u51253309800, recipient: 'SP3VTSNNQ1VVZGJHH99A1BNQTWGJT0SXWYKD97WES }
{ amount: u51114235500, recipient: 'SP3MK7FMJA8W2H26FNGB6J2XT9DWN7R37A52HMX0N }
{ amount: u51100118100, recipient: 'SP362EH73ME2PV7ANNSYZFS9MZGMWHX858WADSRSC }
{ amount: u51100000000, recipient: 'SP2ZKT3C5R76512ACSA1C0R1HJ21ASG8ZESPCT3ZC }
{ amount: u51076635200, recipient: 'SP2AS2EW9SC8A4BAD8NGKF1RGYCP04VX5KXHFRT06 }
{ amount: u51064607800, recipient: 'SP2GK00EC041P8P2ZKTVGSQYHE73XAZN9GBVPECP9 }
{ amount: u51064607800, recipient: 'SP3JZ9Y67R8NMGNVG5TP2G2H863ZB1FDM83SFF60T }
{ amount: u51064607800, recipient: 'SP7TMZ2XRD7GY21B9Z3C0VMHVV64PGEVXGP0953Y }
{ amount: u51064607800, recipient: 'SP2KE12PNSYFPCT5PER6RNZH2H3ZVKV00C3378K51 }
{ amount: u51064607800, recipient: 'SP2TZYKMMQDB1B9CS5QQDKH7QDC8Y6XWWTGE17JB8 }
{ amount: u51064607800, recipient: 'SP3RXD6PYJABVW9BBXJRMZBHHTR2RMW0CNHQ4SSPM }
{ amount: u51038763000, recipient: 'SP3NAWPX55SC4P8KB48V4Y90193NQAZD67JQF7YPA }
{ amount: u50991353000, recipient: 'SP3SK9FHGXZ8V7WKCG5Q3BR8EMGWWATW67ZHQTP56 }
{ amount: u50948608900, recipient: 'SP1X6P1KHKAM1H4C2ZMGVF16TGDQ79W9EP01PDQN3 }
{ amount: u50939187000, recipient: 'SPX8T5S4DSA2ENS0K0498TB6KS2NX49QZAX5GWA7 }
{ amount: u50930755500, recipient: 'SP32JWMMTWGYFSB5BJCYPT1RJSD5W1R0GF7ZDT23C }
{ amount: u50920131200, recipient: 'SP1DV1TA86BZ5HC92F0F25FY0631SKQTZZC5HWKX5 }
{ amount: u50879264300, recipient: 'SP2D0VZM9NQA2BAE7S9ZVA1NCNAJTJWHY9A4RN9VM }
{ amount: u50850000000, recipient: 'SP1DD8AA10EERJA43XZ2B8JJC7M901XNS0YQ82K8B }
{ amount: u50789771400, recipient: 'SP2C5CYWNF7E3WZ23DN5FB95EJ34XKG6T1E7YHN1J }
{ amount: u50757102000, recipient: 'SP1E14CD7ZBRH2WA0NHM8SXKJ1YGMQ9M8BSV4MNX3 }
{ amount: u50739805700, recipient: 'SP2DVN83WJ25JMR2YWJQRZP2H34N85K29180EAQF8 }
{ amount: u50727000000, recipient: 'SP2PV62GWZV5Q2QS01FHMQR6BKCWX1TG4HE35KET4 }
{ amount: u50705000000, recipient: 'SP3H1ZBFPWPA8KG6EP835JVHTW2V1KB5R86FD57V3 }
{ amount: u50687186000, recipient: 'SPJJXR6MVJ8CZMFW9PBYRHSP1FA801BBVS0ESRGN }
{ amount: u50642000000, recipient: 'SP2VHZ6KT6NWPP56H4Z7MT5S7JG3K03GVJBA9AVZB }
{ amount: u50611000000, recipient: 'SP1ZB4VBVR0BFEGB4BXR755E9J79WWH605AH1BF3P }
{ amount: u50548845000, recipient: 'SP2D4JG2J2JK230CYEZC6VHNF5GF2W4M4VWRRAKCK }
{ amount: u50495054600, recipient: 'SP2EK04G2Y7Z3Z6HS23JSXR5Y2HWGSK3P2FBNDFTZ }
{ amount: u50473838200, recipient: 'SP3D2265BDRXTKDFMZ04RJ220BJX857TEDT26M3D6 }
{ amount: u50422554200, recipient: 'SP2B8MNG39PJS2B1SY979873PK9K5VJQFTDS9A364 }
{ amount: u50406675600, recipient: 'SP3E5V4QX23EKJW2T20M07GMVJFN5QABS5QEJPW8Q }
{ amount: u50355989000, recipient: 'SP20BXX5K9KDHS3R5TYEV3NG8R61J3F3WZC63W849 }
{ amount: u50353624100, recipient: 'SPJBFARDMHPQ3BZ9DV2HHE9V5BWS3E7YBBETVZPG }
{ amount: u50324247000, recipient: 'SPSTE5R54386QDCDNJJWH2EXQFST44QYZW3RPMD3 }
{ amount: u50317856300, recipient: 'SPC3ASR7R6W42W2Z854GX4Q32SZJCR6C3DGM7PMV }
{ amount: u50298660500, recipient: 'SP3J7AJRTT8755R92E1CSAPDM98AETYG7Z1GED1S6 }
{ amount: u50268000000, recipient: 'SP3R7WTC7F83RG2V8B247GTJHPSYP6KAR8P7J4WG3 }
{ amount: u50212957900, recipient: 'SP2K6ACQ05FB0KXKQE66TKWWERGE16YD77MCWAN3T }
{ amount: u50207235100, recipient: 'SP13T201A8D2AA13WN17N6W09151FTX0NBHR2VCDE }
{ amount: u50162555300, recipient: 'SP18Y0MKH4SVVDGDVT26QXMV9GB52J67VRBJC698K }
{ amount: u50162555300, recipient: 'SP2SM0YJW67ZRFGVBRJ1HAB20XD0851CCRBP0KY39 }
{ amount: u50162555300, recipient: 'SP35KN1VD8PKBT95J21WKBZKANXFYH4KSPNP83C5S }
{ amount: u50162555300, recipient: 'SP8R3259QWEVBJ7VWTZV3QQTR4KYVJ33Y5APQ0D9 }
{ amount: u50162555300, recipient: 'SPCAP02GSAHPP3A6H0MV21YWCZET68DSZGTKS130 }
{ amount: u50162555300, recipient: 'SP21289MG3Y4BB387E96WXC68485VQZXJ4BK8459M }
{ amount: u50162555300, recipient: 'SP2DP1JNG3BBXCA4KYE3MRZ7Y71ATEMFWGG9R4VTN }
{ amount: u50162555300, recipient: 'SP2S6R2FN6YC9QFV79QXKJA2RFKBQ2849B7NH05FA }
{ amount: u50162555300, recipient: 'SP49Z5MYNV1NTAH2DVXSGNN1N8CED87PSAGYV96Y }
{ amount: u50162555300, recipient: 'SP3PA90F4Y9K0FF505WHRCKA303ZWPZG4CYNSPJ82 }
{ amount: u50162555300, recipient: 'SP3W1DE4XCWT2MGPVEVG51NRGWJ47RYG5JT2Q58AZ }
{ amount: u50162555300, recipient: 'SP2JQNP285Y9MAKQCRMD10KCBP86Q6ZYR36WQZ5X5 }
{ amount: u50162555300, recipient: 'SP264058FTMTDS4FBX7SJ99DTRE61E4Q53PT4BA3R }
{ amount: u50162555300, recipient: 'SP3X1CZHAZ0MWE5XQNZM6KEM0NKYTDR9M35PW2C24 }
{ amount: u50162555300, recipient: 'SP9EEP2WGR12GEEV472HV3JMP5DBH8QVCEPKFT9S }
{ amount: u50162555300, recipient: 'SPPQS987K4YJNC54FS6D4MXHX6K8EXYTY4KD4RGT }
{ amount: u50157581100, recipient: 'SP18ZQQJ1V5D8167C7056JBBYMQ9EKJVZ92F0Y6E9 }
{ amount: u50157581100, recipient: 'SP32A6KYQQ22TC9HJXPMSXDBTYM9XMW3HTZ9YZF1M }
{ amount: u50142401000, recipient: 'SP1NGYN9CN14QFNT2P24P1GHVW2NHCQ9GGPPV4WGA }
{ amount: u50138648300, recipient: 'SP1CAQWK9FMYFEX56YX6QDDJ1HTY7EVAYDNT919SD }
{ amount: u50127741300, recipient: 'SP2NGF32FDBRC2FXYDNRYFX60B97N2FZGYK0MEYX9 }
{ amount: u50071751500, recipient: 'SP1YQ24CEJC0MTTRDS1CBPKCA651CMWY3MMTK0E57 }
{ amount: u50065763300, recipient: 'SPC4336HBDQA592Z3BE7FRJM995WRMP1C23EN5JH }
{ amount: u50065259100, recipient: 'SPP146PQGYJ8A8JAM6DBA78D71XBBTQVNVG6G8VP }
{ amount: u50064408600, recipient: 'SP1D6RHC1CNZCW7A17HCP16ZY4FPZ3ME1FS3X2F98 }
{ amount: u50054614300, recipient: 'SP34K9MCX39CS26TNDS5DXQCRT638YE7THRQWEGMA }
{ amount: u50039302400, recipient: 'SPYFR2591RS6WCQE9PBFRGS5SV1MN9AR8AAER83H }
{ amount: u50021801200, recipient: 'SP3A04FQM8HQBM5YGG2SZXJC0A07RYK45K76V77KS }
{ amount: u50010000000, recipient: 'SP2K4XN7DPDCYCDX13Q779HXMNF1HWFJ0MSD8R8Y4 }
{ amount: u50000000000, recipient: 'SP2J6METYDXEYPT0481HAWXYR1KX4QGF25FFGJBHW }
{ amount: u50000000000, recipient: 'SP2M4HFDBPQDN6R3FHGBFH50KTPAESENJCE1K1M91 }
{ amount: u50000000000, recipient: 'SP3KJEZ2D4BNWX51TW62R0C8J968F7MCGFA04XC0Q }
{ amount: u50000000000, recipient: 'SP1B6NHGJZZH6EWZNBGFYES8D9Z4179BWPCWK01ZR }
{ amount: u50000000000, recipient: 'SP3KRMYKMFPV5YSX77KC8PXCWRKGGH5FRYXV1JJM3 }
{ amount: u50000000000, recipient: 'SP3XYSQDBBXK1PHJW1HHEQHDCG4R171QTP3P6R686 }
{ amount: u50000000000, recipient: 'SP1NSPTB41J015MFSK3W3JG3SAGK6WTNX8KB0KH26 }
{ amount: u49984159700, recipient: 'SP1B4W3AZVM1HXV6S39S645Y2W675S6A17W3E5BJB }
{ amount: u49956905600, recipient: 'SP2W9R12E5BJ96YS7VGW329JV94KM9JPSSGTARTQY }
{ amount: u49919372900, recipient: 'SP3CEAVWW938V8Z2KV08W940RCVG4PG9WJND4WMVC }
{ amount: u49916841300, recipient: 'SP28J8XBNDCE2S98ZWJQ8YRYQMWK919N3PXAKMD9Y }
{ amount: u49900000000, recipient: 'SP2QSH7MT7FZYADGAXC35HDH5VH0HMFD5VF71ZC2W }
{ amount: u49884077200, recipient: 'SP2ND057V3RK6RDAWF4CKBV2VXNCT6ZXY3VM9B1CY }
{ amount: u49838712600, recipient: 'SP7CD8EB3GT9N5PFW8TPY9CMF84208V7KB0EPAPR }
{ amount: u49831864600, recipient: 'SP3R3E4AAEWC7B0HY1K0SNXMXX500T1RR2S20HF09 }
{ amount: u49823000000, recipient: 'SPP2VNFN04XZJAQSM9Y1322V5KSH9WDS1H9Y6H55 }
{ amount: u49822775200, recipient: 'SP1D1BY9K2CTTYXXSB256387RW0V67J2WV23BS7CZ }
{ amount: u49800004600, recipient: 'SP3WB0HY9XDBC3K85ZVH06S3ZNM8B3A8MJVN9ZGV }
{ amount: u49800000000, recipient: 'SP7FBF6W6V480DA97PRNFPSZGYY0SERJ4655EP7Q }
{ amount: u49791334700, recipient: 'SP1K9EJBEWRDEKAYERKQ0DPTEPBFAB09C3CRJXFV3 }
{ amount: u49723143500, recipient: 'SP3FHABTXFH819WTJPYY6YE2K2AX7S8Q5HVKH6XC8 }
{ amount: u49677907200, recipient: 'SP3J91GF4D73F15MK5ERP2ND5KWY7Z0YXJBHET96G }
{ amount: u49670098400, recipient: 'SP1DNV0QG0KSSYPVMZVGZ6PBMN5GS9NE5FHJY5SV4 }
{ amount: u49652229600, recipient: 'SP1N7NDX9HCY732HRMKQNBMQ9WQQGJ3TVNMJV5BCA }
{ amount: u49648924500, recipient: 'SP11A1G2F86SSPERF0KA3M5KTSKCTKR5Q23SFEMQQ }
{ amount: u49596331500, recipient: 'SPRNDBGKTHN9DPNWSTX13VEEV59NP4FB5JGPFY58 }
{ amount: u49560670500, recipient: 'SP3J2ZYFWMCGS2YTJH3N1DT6FSHADQ51CSG7BNZ2F }
{ amount: u49550000000, recipient: 'SP183QEN76V5RFP15HJE93CP6ZFZ2W7E5KVBTEK57 }
{ amount: u49450388200, recipient: 'SP08WXNZDPVTFMMNTRVG5P1CPV745H0TXAP1GTXP }
{ amount: u49448002300, recipient: 'SP2MKSDTZGTP6A1YR7M1616M0MQ7H9B184DDSXSZH }
{ amount: u49446000000, recipient: 'SPBVY6SYGQF5NDG164XRRDBR7NXSFFG722FYEA0N }
{ amount: u49439088900, recipient: 'SP19XMTER6QGKPYTXXV0EQREA08GQJYY8ES1SC69Y }
{ amount: u49430852100, recipient: 'SP3WWNGH8PJTBXS1YNBSPJPCEV6WH8Y83FBHYCCSP }
{ amount: u49386398100, recipient: 'SP2Y9DTVZSS4HPZAWNNQ6T49ZTS474ZRY21B9HA7Z }
{ amount: u49380157300, recipient: 'SP27EE2337N8E1S7WMAV8YTV6BTFG9YC8G38C3154 }
{ amount: u49341749600, recipient: 'SP116B62TZCNVYP9VBCY6AJ4CGETG9ER4SD86D0ZH }
{ amount: u49289550400, recipient: 'SP16W3E2W0VXRG3FZ8TN2SWMXA3JB55RTDBFM9P5J }
{ amount: u49280812100, recipient: 'SP20R581FHVH7XCV2NSVGW30JHB2Y5B46R1R1BGB0 }
{ amount: u49279413100, recipient: 'SP2DMQCAWMRNDY7CYPCS2GY8C57JV82T8SXWDQEYK }
{ amount: u49258176000, recipient: 'SP28R593JKNFH8PTWNECR84A83EESKC3CC5P826R5 }
{ amount: u49254796500, recipient: 'SP3K2E632WJ0SFHS6NCPBKVR42B84RPWPQ7BHKT59 }
{ amount: u49247730000, recipient: 'SPABZ6SD85HPVQATHTSZWJ4GYKWPEG66CNHWBYQK }
{ amount: u49220050500, recipient: 'SP1HHW6DQ1TAZWEKB5DM26E49A1B7G0YJFJYC43RF }
{ amount: u49183872700, recipient: 'SP3EQN280XFQY6QQ693A739TP64DDVCN7RQGZ5GXJ }
{ amount: u49137352600, recipient: 'SPVS85MX63F81CBXN1E36GCMK6KP1SD7AVG3S5X4 }
{ amount: u49108314300, recipient: 'SP2VPE06358TNP7GWM804BXTV0X2SRF8F4E8N7KBA }
{ amount: u49100000000, recipient: 'SP2J4QDXTS3SBPNFDY01C2H2GR6TWCPWTG3CQVCWK }
{ amount: u49056173300, recipient: 'SP1YX0RD3W2R27XS9YMZZ56CSC1QE1YZT61E61VC8 }
{ amount: u49053387100, recipient: 'SP3ZGH32VKMJCJ2KJTY46E8FCKA4MFYDXCQ8PFX2P }
{ amount: u49002075100, recipient: 'SP20M883T8FJ6S63VJQEXE5ZMP91ZMKVR5RN5N0DR }
{ amount: u49000088000, recipient: 'SPPTVCCXZM0D3MEQTBEJFXHJPP9VX0XZ8XXNTTRR }
{ amount: u48994579600, recipient: 'SP2GFJXDVAARK7JF6T5SZJGVW8DR7TA65KXPHAKX2 }
{ amount: u48949328800, recipient: 'SP1GHQXTHAHKYTJ0F9NZJW0RB19RARB94VB42JGSR }
{ amount: u48926617900, recipient: 'SP1TCA7QER9J9NKCKBB78K48TADDFC2GXYM3QQV3X }
{ amount: u48900000000, recipient: 'SP3VV1SJCAPEB32HERD4WJWT0PC4HETAAFBMQTRNN }
{ amount: u48899323600, recipient: 'SP3XX480477C0JV62HFFXC40JWV191TFSRN7ET5ED }
{ amount: u48869347000, recipient: 'SP1BMDZKAWNRGXKDMGYDVYE26Y365TPZDQB4EA59G }
{ amount: u48865060000, recipient: 'SP2EVJEMRMKMVYWYRH5K8JYVJH4J8M8CWJHT5NX64 }
{ amount: u48863070400, recipient: 'SP3V6FBBVN9FG7PTR39ZPQC3KQ3SS1MFPWWH14JRJ }
{ amount: u48762948200, recipient: 'SP1HSXRHEPECM536H3BZVQQTNH54EVAJWWFRQWBGJ }
{ amount: u48743689000, recipient: 'SP287HCP8ZF098VG89QBP9XY2VC3MZ9Z5KT414QSB }
{ amount: u48681097900, recipient: 'SP2H8FMY0TTYZDDTN24XSFGT0SPWN5NMFJ6DZPRD4 }
{ amount: u48536002700, recipient: 'SP2ZZEYG5YXRV0GC6BGZSZY0EG4JN2X8D7ZKCDT5X }
{ amount: u48382766900, recipient: 'SP3W5KN5XC7RQ5M0TMFGEZANE4P80Z7KQF1PJJB55 }
{ amount: u48377838500, recipient: 'SPHQF4EG3BXJA3PZQKABTJ8XPE7XGZC59HN5KZF3 }
{ amount: u48342683600, recipient: 'SP1V6HX0PGGSYR8CGNVZCXKZSVBY03SFV022J4W1K }
{ amount: u48331321800, recipient: 'SP3J2M874D0HP8WWXZ2CC7YWGD57Y44TEHH1AD8E0 }
{ amount: u48223670000, recipient: 'SP2AE7P0B9KBZRP216AZ1W9FZ4JR7NMAZWFES5B3R }
{ amount: u48220387800, recipient: 'SPNN3XYNY083K1VSR20G5KH3HK9RJP9DP5PDS1D2 }
{ amount: u48192429400, recipient: 'SP3APCYG6P9S2HC0Q3F97R8NKMZNW4ZBZRPSGSDVJ }
{ amount: u48157489900, recipient: 'SPVJQT0ANS8CBRF1FC57VMWSBNGSMXSQXYW2PE7H }
{ amount: u48154305400, recipient: 'SP3P2S1XKY6RXQD0C3859E0F7Y5M15WCF214X1W17 }
{ amount: u48141649800, recipient: 'SP3J3XP8TW2ENWZM3ZKDA3PFT46GSTZ3ZTTFSWZDK }
{ amount: u48096598500, recipient: 'SP39YHECSBWJ4VC2Z48KMD0D22ED9P5VJ46M9YBR9 }
{ amount: u48038085200, recipient: 'SP2G91Y1166PBB4K6V0GYGQDYKX68Z1GZ91BDTXJF }
{ amount: u47942217400, recipient: 'SPM894RC02MH4R2PK8GHRS93DG18SFP1J1R1C901 }
{ amount: u47851535200, recipient: 'SP317SHW9WKFG3GS9YHWM9FK0XFGCD6MXVHYP63HM }
{ amount: u47819000800, recipient: 'SPX063PG7PK976PZEBC7H35G46HNK3AXXTZMJ7ET }
{ amount: u47768129300, recipient: 'SP2JGYFJHJJ917YNPKD6ZBBK2R5K6CWADZPBZQ7P4 }
{ amount: u47714876700, recipient: 'SP1GK1YMVRYZAFQ5BCMZ8KQDXGGFRZ8V3GF1PX0KH }
{ amount: u47713801200, recipient: 'SP1M8R0PAG43R0NGKJ7P734ZYEPA51JX8H3EGF6K6 }
{ amount: u47709353600, recipient: 'SP3135R7RDPP7JM8FR76NYFHY71E3HWFGYXZB71S9 }
{ amount: u47613756100, recipient: 'SP163M67SWNFS1R98YWEXC03GCV8GWXN9DD2B7JD9 }
{ amount: u47565850000, recipient: 'SPZ8XVGVFSQXXM5ZN7VQWCX19TDQ36QDPFW4P83R }
{ amount: u47521612000, recipient: 'SP20HW50KMW9T5SJW25T21YHBS8AH84QYV0GNKNR9 }
{ amount: u47478022200, recipient: 'SP21665394YPPDZ40SMC8F6NX9R5KZKF0YSRFGX8C }
{ amount: u47471592800, recipient: 'SP22NM802XYG3CMKSY1F7GJF7F5DZQQ98V5DWFKXW }
{ amount: u47464282600, recipient: 'SP8WDJGDGDRG8MP1HP9GE3A2P3A5DFA3QVM5YHEF }
{ amount: u47419863600, recipient: 'SP1YZXE4VE5AACSV24H3C780KKRD1RW45JCCVCKKF }
{ amount: u47418801900, recipient: 'SP35B51YXANZMBK41VDJZDQ33R5PYF5877ETG4QYF }
{ amount: u47358889600, recipient: 'SP32VE3RH5QSGZNCRF7N27ATG4V60EQDM97CW8476 }
{ amount: u47350000000, recipient: 'SPEKB70574JGQMVB78414N9C8CXYPV8B6WXH82AQ }
{ amount: u47344320000, recipient: 'SP20KC1VW806ZHVA4WJDC6P411WZWQNBJPZTEET39 }
{ amount: u47293587100, recipient: 'SP142CABNW8MASXP6MXTSVJJ0Y7QGD07A76XBTV84 }
{ amount: u47230181100, recipient: 'SP101XE1SVBN33BJP32TGH02X8ESF2J76Q3AT6HK5 } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-31))
(try! (contract-call? .token-special-vote edg-mint-many batch-32))
(try! (contract-call? .token-special-vote edg-mint-many batch-33))
(try! (contract-call? .token-special-vote edg-mint-many batch-34))
(try! (contract-call? .token-special-vote edg-mint-many batch-35))    
		(ok true)
	)
)