agp209

(impl-trait .proposal-trait.proposal-trait)
(define-constant batch-41 (list { amount: u24266374300, recipient: 'SP3XZHWBG2684JFZBVXTC18RSXX37X5YZ7912Z6BJ }
{ amount: u24244698800, recipient: 'SP21ERN3KWHAR3A0M1107KXJBFDP2G661KHVW2RRH }
{ amount: u24236825600, recipient: 'SP3D6094WSMFHH99V9GBRNYKAAEFJ0WT9F53Y08GX }
{ amount: u24227100100, recipient: 'SP3SGXKB4QC12SDCV2SEK2MS0F5T6FRRHWBC7G6V1 }
{ amount: u24197503900, recipient: 'SP19BMJY9VTWK7CZPPZ1HT55SQRRXA9DGZGJ2XGSR }
{ amount: u24183342700, recipient: 'SP35MJCNBAM1YAZ30458W178ZQT8C8FG9VRR6GB0A }
{ amount: u24182063200, recipient: 'SP34PAWV6H0P7X06MQ2KJXARDR895NV559TS9VHHW }
{ amount: u24181078600, recipient: 'SPYSD1H95R1XF86BXQ2407G058DGW6RV9WFPV4BD }
{ amount: u24162626900, recipient: 'SP2517YP6FCWGSRPHDFDWRPC2F5ZGSBWX1H1W4Q4S }
{ amount: u24132000000, recipient: 'SP1K9VMFCSPM3TNJ6FDTVP834EVE17BHM8FX2HYGN }
{ amount: u24120288800, recipient: 'SP1AS0DT6KMRW6NSC7M8FTE2WV12N6NRS7Y9547YN }
{ amount: u24101187100, recipient: 'SP1FV37MR66MW71VXW08M0DC10QER8RX8236B48KR }
{ amount: u24095444600, recipient: 'SP1NTQXXR6K1A8F6H5G89GQ9KAG5WVR6MNZACH231 }
{ amount: u24092756700, recipient: 'SP3K1BD9JNZCEEHCY3VTF09GX3NKSPB01NRSPP0G }
{ amount: u24088261400, recipient: 'SP3VYCKS11684SPB5M73AVS692B1GR35XBQPSYS2Z }
{ amount: u24076122200, recipient: 'SP1YG4TZZGAYSAPCMHSAVCYQQ87V8JN7R7EW2XTJ9 }
{ amount: u24060796000, recipient: 'SP15FFNHMYS833EN3RJKPYASRG2G6NJ9D47V2Y0W8 }
{ amount: u24038611500, recipient: 'SP1FECE9QBZTMMDMF59E5RYSXADYAN9YVP7TZCJ1V }
{ amount: u24020705000, recipient: 'SP1KCX8NF3XHVX4JQ0EKK1CQZGBTQWBJDWERD0HEZ }
{ amount: u23986764500, recipient: 'SP78KKF6WZNFQF6R7NGT7WGPFGG4S3TZ46RH0H83 }
{ amount: u23981000000, recipient: 'SP1BM142M18T0V0QVD1RPGM0NY1VA345HJ9DDHTG7 }
{ amount: u23980069900, recipient: 'SP36RJYFG3BSA8EVS19ARCDQ4WH3CCYBX8PWFAE5Z }
{ amount: u23952928300, recipient: 'SP1XN9VK6TDJKFSF01FHFGC59GX5NW6HZXB3354T7 }
{ amount: u23948215100, recipient: 'SP2HVJRHKHYZYJWD8RPMJAP1SPXCS5ZE2KXA70DN2 }
{ amount: u23932524200, recipient: 'SP3K25Q080H39N3P839SV8AB5FQ4SYJ2ZG38EB0P9 }
{ amount: u23925664400, recipient: 'SPH6FZ3TGS22E23RBMHXGAH6RK08JP1GQZD15J4K }
{ amount: u23900000000, recipient: 'SP22C6HEXNWVEF56AHM6GKP5QDQK2996PNZ6R333S }
{ amount: u23899032000, recipient: 'SP2SQQCD84VE4Z44Y8DCMJQSYDG1TDYC7813W4RJ4 }
{ amount: u23890000000, recipient: 'SP368X6QYCTGB0FHE6N3TYYCTAS8TBFADH34RYRHP }
{ amount: u23838288000, recipient: 'SP3PDACM0SZGF7TJYG2074XVJDSZST8TC755T2JT }
{ amount: u23781839700, recipient: 'SPEBFJKY4S74E7B6620K47NWFES7WDRMRPMGAJVK }
{ amount: u23749334900, recipient: 'SP308P32JTNAF7H88X6PYRDVVTFBK81QNBWKTW4B1 }
{ amount: u23737626200, recipient: 'SP2K7W3MR91C0CNYTJ2DHGYQ83MPKJT3B27STHHMF }
{ amount: u23721155200, recipient: 'SP1Y5PP22DETZ2ZS1KN8NB158Z7B3NH2FY48JM2RG }
{ amount: u23711698500, recipient: 'SP1AH2EPY4YWTR0BV3PDX9DGTCRH5488SKZGH3C8P }
{ amount: u23700000000, recipient: 'SP1AZCMWTQKPFPHJ535Z8TCZ25EWM8V77BT3KC2TX }
{ amount: u23677656900, recipient: 'SP3H97D396YCYPR4CB88Z044BK4K4YAXDYZXT8P0B }
{ amount: u23628856100, recipient: 'SPR1N1QM750W2D5F15DR9BVYSMC96R9G3VQJTXFG }
{ amount: u23615006700, recipient: 'SP12Y1MXE5MFDSN0K811A3E0JQJ1QJZVDX43EHSF8 }
{ amount: u23591137000, recipient: 'SP3GPDHDDP76PD9DHPWZWXH90R71TJR603X3HK9HW }
{ amount: u23570467400, recipient: 'SP3YAMW3P3Z1MW59RETYM6AVQ0BJZFWY5P4R1GW16 }
{ amount: u23563559900, recipient: 'SP3Q032WEASTACET4C4QM063QY2YXWHD0K254AXC4 }
{ amount: u23559549900, recipient: 'SP1TXNDK4CH2SB794Z390G7P28WZ0S7JY9VWAAWBK }
{ amount: u23558551900, recipient: 'SP123HVV7TRMNSDFW0JD0FJXS2CD7V5NKZ5BN02M4 }
{ amount: u23555693000, recipient: 'SP3GTD2T0VMK937NH444K3EKDZEW1XGHHN9BAAMH8 }
{ amount: u23553011800, recipient: 'SP3RZV27VNCS2AFYZ3W8PGGG6HMGJJM6GGPSEG6AX }
{ amount: u23486498900, recipient: 'SP3C9Y7B5X2QXVFY7AAGV8PZGS6G7BT0BZQM77WZ2 }
{ amount: u23471677100, recipient: 'SP3TBRCQG3MWMPVBKDEZ0B3WGM8DD4CEXJDEWDH44 }
{ amount: u23471677100, recipient: 'SP3R9DHQE10YE0PPCRZEHQ06QZ708FNSDFC1GT1MH }
{ amount: u23471677100, recipient: 'SP1G19R9XERMWG1A6E44ZMMQC05SS7CYEWBRESK9C }
{ amount: u23465776300, recipient: 'SP35E5FP84ZYCMAN9V1TKQG5YSA0XJESZ1448NWWW }
{ amount: u23465776300, recipient: 'SP3QKPKS1HS35J84R1053S10FX65ZRZ586C4DG4QY }
{ amount: u23461279600, recipient: 'SP3RDC4C9B0A2FG8B7DQ9MBTFPYQZNDAVCBME8Q41 }
{ amount: u23460165700, recipient: 'SP2H004KM1J7CDKHFD5NWNERPYFPZBS4NKGXJZ7W4 }
{ amount: u23451820000, recipient: 'SP1HRKFEMQKT6BY4ZJD112FTV1K5CMNVHR5PWW848 }
{ amount: u23440579800, recipient: 'SP2F9MT8CF6D5GZJNVMDJ1S9SC9X1MBRCPQY0B7KJ }
{ amount: u23435000000, recipient: 'SPDMZAJJQ7QG8F1EM66CE64G58RV7D7T92MHY097 }
{ amount: u23414977500, recipient: 'SP249FW0PZF4Q7T74RD2401WVAZCJ5JXB3X9K4ZKB }
{ amount: u23402734400, recipient: 'SP1KT5PXXW5C6YX30KAZXX8G47WNM40B5K76RJ4A5 }
{ amount: u23338807900, recipient: 'SP17YWRB7D3K0DEGG7Q3BPWRGPQG8TCK48JD9RAW8 }
{ amount: u23321610900, recipient: 'SP2NHWPW9HE9VHM0BXPT41AAJXC1FCCAS9XTNG0DT }
{ amount: u23321610900, recipient: 'SPKVVY6TFWA1YWM48JSF0WMX81GBJ7VEJD60Y4VE }
{ amount: u23321610900, recipient: 'SP33X6M21QVD2V7NPY8QMVGVF60S2FDAD14RZ22NW }
{ amount: u23321610900, recipient: 'SP2D727TWRMMC89NNR9FRRJYMWPTHY2TMK2XQW3FE }
{ amount: u23321610900, recipient: 'SPXRXXYDSYF4VKJG5XEXCZ62E4EW39AWBQSW9FWW }
{ amount: u23314805300, recipient: 'SP28AZ92PH8Y9EV5ZE14CKCB6EW8K6PR6H19PN5Q7 }
{ amount: u23283888100, recipient: 'SP10AT21GJNRYSJW9H1M22N5J3AQ3CSV2H1BS3Q2D }
{ amount: u23282554800, recipient: 'SP1C0EGYWYDZ2JVJVCGASH1G5HJ2GE2KB2SMN54D }
{ amount: u23277648700, recipient: 'SPEGZG7A2V8D0BDC7DVNYGNXRN35CV80AJB0CJQD }
{ amount: u23275553500, recipient: 'SPHGWKA20R1VMA4GWT6WHJ6BYF2SA6TMGT941FDN }
{ amount: u23252929600, recipient: 'SP3NM5PVP70S877HQHQTC876PH4529WDGZ1MDEHEP }
{ amount: u23239928400, recipient: 'SP3VY2FQ6583TVX66BABZTZ5P1B3Y2JGZYFV9ZZTA }
{ amount: u23226248500, recipient: 'SPZY4QK6PJD11GQ84QPWEBFRHFG1Z7H366WJGTWN }
{ amount: u23151788400, recipient: 'SP15XHNTNEPKYG1ADGG7AYBZ2DM4QX31X87QN9N9S }
{ amount: u23121403900, recipient: 'SP2RD342PSXE1QWJTTH7RRRZWDCYS3XPDFC0Z3C02 }
{ amount: u23110000600, recipient: 'SP19V9VRVC00TXJQYNQ3FGP4V1PKNFH5HPS3F32JN }
{ amount: u23107090200, recipient: 'SP1KP46QGXB55V6WVKF30GD76SXE8YY4R49MFJJ68 }
{ amount: u23036305200, recipient: 'SP21XR35NMCZ0HWV3MNJ9VPM50NJS6PXBK6NSKNMK }
{ amount: u23029219500, recipient: 'SP2N6M6T52R2ZE64PRASE77S7Y7S62TYHMXWKTGS7 }
{ amount: u23007796900, recipient: 'SP2CQ1BSGKCVQ0VPAC0CQEH46RN68WKA2H1Z4MJZG }
{ amount: u23000000000, recipient: 'SP23P4B4TT0CFBXZQDBAG9WEMVYB99XYQ1G6XJG40 }
{ amount: u22993096000, recipient: 'SP3Z56ZZ7GQPT7WBH4MTHG11G0HCT3PPZV0BKXFZY }
{ amount: u22991049500, recipient: 'SP38H9WG2YWR0GX7K57FECQJC6AA27C76DV73J0N3 }
{ amount: u22927273600, recipient: 'SP2TYK0GHD1SJ8A9ASPENA54PJYTXE1HQKKE363H6 }
{ amount: u22904124500, recipient: 'SP1C8MBXK4CHCKC1M8DWWRVGWQPPJKF526ZTY6VPT }
{ amount: u22901082300, recipient: 'SPZ02VNW1E5MD3T01M3RAPXQWMF1KXSXM7Y2T0Q }
{ amount: u22847080000, recipient: 'SPN6CBB316FM61G2MFAJBW2FN24RZK79DXT2BC7 }
{ amount: u22844742300, recipient: 'SP1TR85ZHDRT91AK07AKC9PDNGQ8T63RQM249J6VQ }
{ amount: u22826097100, recipient: 'SPCBGW3V460JRBJ0J95M6NN24XBGHT49GWBMXK7D }
{ amount: u22820903200, recipient: 'SP28H7EM65E8A80BA06MQJ5QM4297DPEVHRW8CA3Y }
{ amount: u22804547500, recipient: 'SPW8WZZ6BQM4BP2XTPVQHHAA4HY9RNM2VX48JQ97 }
{ amount: u22779366500, recipient: 'SP1JTGA4YX9T7R5QG2R5VKZRR5XE0GZBK8MPQ5815 }
{ amount: u22779366500, recipient: 'SP1R3J6RSK7VNCMYYATXZ6SYQS5SQ2QYGPCG2XV6 }
{ amount: u22779366500, recipient: 'SP8VTVAMXFYF3KSF941WZ3K87WWKSWBZH60SKBT9 }
{ amount: u22779366500, recipient: 'SP1CT814WWZAGDNGZGG4R2GK5KG20WXMZQQE2SA0P }
{ amount: u22779366500, recipient: 'SP2FR5QCR0GE3W9944P3B08SYK8F9WHM21K9YM0BB }
{ amount: u22779366500, recipient: 'SP2WXHV3F9NACXX09KFS5WA7DJ3X8YXH7MJ0G3G4 }
{ amount: u22779366500, recipient: 'SP3GVFAWR99E3F156GRDZM2HGMCGK7CEPNZQY9DF8 }
{ amount: u22767042700, recipient: 'SP2PEAWH19VRD941Z6CYCZCD0F694VQMCRDJ4ZNFR }
{ amount: u22764216700, recipient: 'SP1EVF128KTFYD2H0DRSN0XZMFTRN8XEYSKKPY8NW }
{ amount: u22749841600, recipient: 'SP3SSQ80MX20VRN1SJ1YHMVMYMB6DG1V925GAT7NA }
{ amount: u22717638600, recipient: 'SP2J575HV82VAWD8NHKR1SHQZ06DVJ9ZQWBAXP6NH }
{ amount: u22714206700, recipient: 'SP14EC2HB138R5Z30GS0C9M3Y804D7MHXYCPY5HXB }
{ amount: u22673106500, recipient: 'SP2NSWYY981YTN9CXJXH5NR4TRNXZNTH7MBMMDXVQ }
{ amount: u22657600000, recipient: 'SP2D2BAYQGBTM01PVJ6Z1CM3QZTRSBHB04ER10BYN }
{ amount: u22634694500, recipient: 'SP2MWAGPDT5QVHR48K8TPQ3KFZ7JY63JVMYEKJX6E }
{ amount: u22603985400, recipient: 'SP3DYDDE2QX2PAQ26462D6SZ8R1D6DNNEHDF1Q6KV }
{ amount: u22582374500, recipient: 'SPEJF12HJMFTK7NZA0DZNHMM4XW2QTK2T61J4TPG }
{ amount: u22578596200, recipient: 'SPD4QA81GKZPSJGC3EFWWD3ZCKN67VGN435VYJR7 }
{ amount: u22571936000, recipient: 'SP2SWWP7HMKFTG78BJJVRJG4D9T36MNJ58SC2GS3H }
{ amount: u22570844300, recipient: 'SPD3F43EQRA538PG6HXYJ3JPM4W4E9KPKFRQJN5W }
{ amount: u22569904700, recipient: 'SP19ABGPHMYDK6PA9D9NE0FCCG8NF0TYEM74MVQQ8 }
{ amount: u22564000000, recipient: 'SP3AFD30247Z17Q0X1W64M1TABW81B0736CJY1EG1 }
{ amount: u22542590200, recipient: 'SP1FZ221978V376YJQXYH3HH8EC09WW06B4ACMRWR }
{ amount: u22540853600, recipient: 'SPEA7GFJDK58BDG4YT2BGQTCKMJZBS9F1E5AZM45 }
{ amount: u22536933000, recipient: 'SP3EP4DD9GPEJEYPT4920J2SP8SQW6S9PV3GG0P71 }
{ amount: u22535028600, recipient: 'SP3RPANJ8NXS88WPW0QVYST9P9D7TC5Q8190VXXE }
{ amount: u22523444800, recipient: 'SP2QWQXA0RH5ZXKEAPR1QD26WFKG7PW4D4SEH7W4 }
{ amount: u22523011500, recipient: 'SP2BN3HK9SBG242BT87XWMTY9PT4X19KEMBK3BKTW }
{ amount: u22514205400, recipient: 'SPQCP85P5F9SVM5R5JMW4JHJZSE5RSGSAFHW50TQ }
{ amount: u22507581500, recipient: 'SP19EAWF70EM7SF17YYRNM7KJ5JYPJW7C5AXT35KY }
{ amount: u22503000000, recipient: 'SP3QVYZXQJF4K87BE6428Z3FM3KHFHGZ4FSGD5P7Q }
{ amount: u22480394100, recipient: 'SPMQJK8PZ58TVJA9Y1KM52E5T1XX9HBMBW2GERXH }
{ amount: u22469116000, recipient: 'SP3HEB2GR57EENPEMWVY518K4YEFGVN7ENYDC9X1D }
{ amount: u22446262200, recipient: 'SPJJMN2PFT18G11DW06C7J4HZ7X953RB5DAGWH21 }
{ amount: u22444909900, recipient: 'SP2WQ30MNA18K7A55C0AJW5M3KHPQFXSMV84NZGFR }
{ amount: u22430294900, recipient: 'SP3Z366JTG6GXWFPEAW1NPBY6KDBTT7772P4YEDFH }
{ amount: u22419822300, recipient: 'SP2EEXQZESXV3AKA5535QXT5HNAGZKH4G5C40ZSVP }
{ amount: u22407339500, recipient: 'SP41KMVSHFMGJ8WQHVJBQW8E68F489XGX7GG1Q1K }
{ amount: u22406556300, recipient: 'SP1J45AKRT3JWHNX545WKRGDSWC9D301VH7PDMYBH }
{ amount: u22400541000, recipient: 'SP2T41XXYMC011GM1VWVTSBE4PWCMGJ2SH3T3E1GB }
{ amount: u22386575900, recipient: 'SPVRKVESQNY174GAV236EQBKT4D6TJJA8SC2C7VQ }
{ amount: u22385377800, recipient: 'SP11QFX8NAJME20ZDFNG8CH9Q997A2DY1E3T8WN3J }
{ amount: u22375061400, recipient: 'SP8TH8WV8EZSXKN9BCT4RX7DNV3E7E8QRY1D8YJ6 }
{ amount: u22374710900, recipient: 'SP1EXMGJ5Q1BZ6D3VPBPB6RG087FXMSMY5YCDMFT8 }
{ amount: u22364899700, recipient: 'SP23JJTS97F6P99TPG00QNFHWRSAPA3X0FYP5CYH4 }
{ amount: u22351679800, recipient: 'SPTTSGVP5S4EXDH1X5BRMMJCDZNQP46DGRJB8M2Q }
{ amount: u22290000000, recipient: 'SP2V9JM261SVANV72HTV1FN22KFQ7HJVFVKMQMJMX }
{ amount: u22276296900, recipient: 'SP2Q03CCZ5E0YQSH1FHMBR428638EPANZ1AHZ6D5Q }
{ amount: u22241512100, recipient: 'SPFZ9EABFJ556TMV657GW8TSWZHGRADAMKT4W0PK }
{ amount: u22227000000, recipient: 'SP2K13XC1QYGMK34EHZNCTZNKRJ559PJBJNBQHXFY }
{ amount: u22212868300, recipient: 'SP2Y9RX6HJP38QHMBBAGKSC48P1V9QM64HXWF4NJ2 }
{ amount: u22175533200, recipient: 'SP1DSVQNVYNF46XW828KM1DGZ174YSVQM2VK7V06M }
{ amount: u22169571200, recipient: 'SP1KP4Y3FY4EFV1REZ8M8FKME85JTDAHZM00S3BHT }
{ amount: u22159609000, recipient: 'SPC36PPSF783W1J7CPGXGTYZNV8PV5H7ZCTY3JE0 }
{ amount: u22139415800, recipient: 'SP326ERJC123G76ADZS6SB39TQ89NR49WDSARJFRZ }
{ amount: u22114301300, recipient: 'SP21XM03VGSHBCKEXZ0JP1VER8JBPQJTQG1KQYKFS }
{ amount: u22105212200, recipient: 'SP328GVA3JGNP7441NN8Y20H10DC93WT2SXY1KYDA }
{ amount: u22099852600, recipient: 'SPXE1G3CY823J3EHANJZ4D7AE750ATAPAC3MGZAS }
{ amount: u22077592500, recipient: 'SPXRW4MN0F7V3878XJMWMDEDT5CHTQYKF8SSQAFG }
{ amount: u22076498200, recipient: 'SP3FR23DH0SV0SNH6AVCNWBS96PF5E3F5MRQAC4W8 }
{ amount: u22067105600, recipient: 'SP3TGFYX55G2TA18S49D023P1X7CXBS93A48JYTQK }
{ amount: u22033612700, recipient: 'SPS9GXKFC8KAKPHRE3BCKR1KRYFBGBPX6Q3N9GCG }
{ amount: u22012078100, recipient: 'SP204VDFMMQNYXKN726YNFHCFCWD5PGYEG0NTD726 }
{ amount: u22003295800, recipient: 'SP347GTDQQV5Y1A4W3VYBJPAR8CK5B7ZPWN5CEVK3 }
{ amount: u21998049300, recipient: 'SP3EVQNZVKPRB5P8K7VNSPQBVG246ME16WSRSRTEH }
{ amount: u21945861700, recipient: 'SP3ERTTPA119XG31779ZFBZT6RE88MBSFG4DG646D }
{ amount: u21923689400, recipient: 'SP31F9D0334RH72YSNTMPEM56JEG6KBTV4NVY9T40 }
{ amount: u21913917400, recipient: 'SP3QE9XP2PHW76KZA0K3W17T3QR5Z0VPBMKZBDTD0 }
{ amount: u21912756300, recipient: 'SP2JJTE1JWR0BH8RQH8W43J4P6WH47BWG1ANSGDYD }
{ amount: u21896074500, recipient: 'SP3Y33CJV5YTP8WKJ1R7QM7RDJ6S8KVXWF3B4S0ZG }
{ amount: u21890872100, recipient: 'SP1D49J1N5ZRR1HHKY0TZ7GPAYWTHTMS9HKDBESQ7 }
{ amount: u21880947100, recipient: 'SP4S1A468KESBBFWNPTWVMFD4TFX59VSRHFD8KF7 }
{ amount: u21877109400, recipient: 'SP2XJW3MDFAC5ZT2KW9ZA94KKP8GE8YWGF5HDR7N4 }
{ amount: u21874000000, recipient: 'SP2HD1ZH9VB8JS2P0KE9RMDQD9KT7WA4X21G4838X }
{ amount: u21831874600, recipient: 'SP13YFSBPF4W2G4HMGVSHHRPDQDX9CMB816BYAZZ3 }
{ amount: u21829853600, recipient: 'SP3WTE0GDQ0DR82BFEZGMKH4NKV1QEN8VCWEP7TEZ }
{ amount: u21795996400, recipient: 'SP1SZC23RFMEDCZT4FKWFZABG42FVMBQWKV2SSB01 }
{ amount: u21772286500, recipient: 'SP20ME3BWN8BY18WCKJ9PH2GKQ099A7Z1G11NKRZT }
{ amount: u21771194200, recipient: 'SP3MQWTZTFFTN01N94MBAAJQQGG0QA3FZV84YT7FV }
{ amount: u21770301800, recipient: 'SP82V4V5ZT5DH5YG894F9174R7GY8BFZ2BA3025T }
{ amount: u21761626300, recipient: 'SPZN40B0C4Y6AJ0WE1JZ7YTH0JJHP7K0Z5SKBXR6 }
{ amount: u21746231200, recipient: 'SPX5C28BRZD6EX280ZXBNC7N1JAT6KK65MD8TDQS }
{ amount: u21725477300, recipient: 'SP200YKDBR5FA0JMJ1T3YE6K4HJRCM2QT5K8BV3FV }
{ amount: u21706706200, recipient: 'SP304MDTNQSB1KJNF6Q65M5A25KF1EQ5S198XP4Q7 }
{ amount: u21700441900, recipient: 'SPD8XM5P52AEM24R0K1HY089Q1EWNDGXDVE6TZ54 }
{ amount: u21694896600, recipient: 'SP1RVZGP4TYSRJ4KQXWKGR1M9ED89T91WD9ATPYHX }
{ amount: u21677824900, recipient: 'SP4H0SW06J22933QB8M63DGD4EZF9HY9Z23FW6DP }
{ amount: u21668816400, recipient: 'SP2NX4XE8JSZZYTZZ683GZ5DGPM00JV3DNYFCV8CV }
{ amount: u21649419800, recipient: 'SP3TJMHD5Q829EFDA44MZRBWQ27SW283PZ1REV5VR }
{ amount: u21531862500, recipient: 'SPY044C44JSN9GSN92X2R6KQQ0ANW71P1WZMY16E }
{ amount: u21506000000, recipient: 'SP31ZNCVSE2XEBNMZYFWENWM0DZ4QWZKX1T5FRT09 }
{ amount: u21459159500, recipient: 'SP384NMNEH76S3QZ65DE0TWYMJ44JCSJDMX5DA09H }
{ amount: u21438179100, recipient: 'SP2J70J5KPRHSZ9K80SSN2EJCBV6CG8MCSZKB2W83 }
{ amount: u21428442500, recipient: 'SP182A20P3EJ4DXFXZNG76GFA8FGE0YP77GPBM692 }
{ amount: u21421306200, recipient: 'SP3307SZ5NAEVBA51M20AF6R3BW6VXTBJ3YG26TW5 }
{ amount: u21408869500, recipient: 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4 }
{ amount: u21392688900, recipient: 'SP2PJTD0MSVS03F4MW72DK1XH5WH1MTW4NVDZMS5E }
{ amount: u21389221100, recipient: 'SP45RYP4W83SMSCG5C7MZCM1EFVRJY4K6D0E05Z6 }
{ amount: u21381105000, recipient: 'SPCEH1Q2G1V66H3W3PYTQSJPQWXJ2RS5VTBEBKJR }
{ amount: u21376503100, recipient: 'SP1JC3RG47HQDQCRJZ9JX42VTR2S6A1M6FQPX6ZP3 }
{ amount: u21370810200, recipient: 'SP1QZWEY4AKGAM5YDBYNTJ4848RQPRM63SD8K3VPM }
{ amount: u21355773400, recipient: 'SP0DHQRG1EFJ5V91BEJ23YMGYPN5KSQDVPP65T5C }
{ amount: u21354322000, recipient: 'SP130B8QMC3NY7M0G2MJ03ZP1ZK1T5KK8526VPDJE }
{ amount: u21319545900, recipient: 'SP2AFKXZQ2YT1RSHEKS2GC3P8JHP6WDHN43D882VD }
{ amount: u21318920000, recipient: 'SP17MVDJT37DGB5QRRS1H4HQ4MKVFKA3KAAE18P2R }
{ amount: u21300567300, recipient: 'SP27K852ACG0NBH1EMGNEDT3Z3F1JZ6WSFFG8K1S9 }
{ amount: u21297000000, recipient: 'SP30FZTHEX8J8XHFVS9M8RHC4FC0CT6455EGSSHGX }
{ amount: u21285718600, recipient: 'SP31SQWGK47PNV4BSHC9KJY486M24JBWECVENZCJ8 }
{ amount: u21280793300, recipient: 'SP3J9KKE2XRGH9TZR3N1B5M3G05D1AV5GH388PTFE } ))
(define-constant batch-42 (list { amount: u21240178800, recipient: 'SP28CFR543HA69G4F4Q1B0AQK33D8V09CMNA6CTR6 }
{ amount: u21237209600, recipient: 'SP3NCFR5SW185SCXY99DPBWYGTTXTT9ZZJG2QCGQT }
{ amount: u21225287200, recipient: 'SP1WPPJ4QFQBNF0N7W1R1MQWE21ME2RSJE4AQDDQ1 }
{ amount: u21211540000, recipient: 'SP2M7AC6FZ31YC8DJZY5BJ9Z5DJQ4JTZ99DZB6C38 }
{ amount: u21194143000, recipient: 'SP3MVNVNNCVBQPNDXGETAEX65PNGQGHQBBGB4496T }
{ amount: u21188992800, recipient: 'SP2S3FNSYH5KG5MVS01ZC5EW0FFWNXM89V2YYY4D1 }
{ amount: u21129317600, recipient: 'SP24E1PTS7B7EJ4N45ZJXSDT86HZAFE8CD73E97AG }
{ amount: u21097362100, recipient: 'SPGV73V5N67NHTXRNPNZVEKG3WKG6D6R45HW5E0M }
{ amount: u21097362100, recipient: 'SP3G687DJYTQR3EKC4CS0H5DBCRW0D2DZND77EG6A }
{ amount: u21097362100, recipient: 'SP3R08QTJPA8H4KR1QYGBS0RX9DK40X2R7X1C9ZZ2 }
{ amount: u21051652000, recipient: 'SP9N4WA3AZE97YGWERBVVRMNWXJ67ST367R4FHMD }
{ amount: u21040934200, recipient: 'SP2TC9QR04SYRKDZC6TY0T1KR4CYE67EVZHXV9K1P }
{ amount: u21036359300, recipient: 'SP1VRW1DFE4YVMEP23FK55GS33C5T1C4BYQPHAKH6 }
{ amount: u21033975500, recipient: 'SPM4T04AZCDV3A4109K7JC3VX4Y00NBF7JA2P0NF }
{ amount: u20991398100, recipient: 'SP3S3MDRQ4YVQDDQ92CJXT8FTZ5KWFMB66CD8GAXB }
{ amount: u20990251200, recipient: 'SP1VTEGNYRYE2XXY8R2WK9CF50PD2315TS7CF3ZBE }
{ amount: u20978185800, recipient: 'SP22E1D6HV79NHZT961GY3WQWPVYZQEWRXTPX4VAF }
{ amount: u20965885900, recipient: 'SPP5KZXDTQKQ9E3QEDYCF4H7A1WSXSBCPZ9J4WRH }
{ amount: u20955406300, recipient: 'SP1Y7P5Y2VBWQBH3W12W736AA9X0BKSB2TQYZA39 }
{ amount: u20952136800, recipient: 'SP3N2S5DSR9P7WR41P56V5X0PA3J5X88TTS6AD4D8 }
{ amount: u20929027000, recipient: 'SP1T8VQVGZDCC7XTF5FBEHMQ3RJB2FZ06GS3T6YQN }
{ amount: u20927462900, recipient: 'SPMTVAAQN41QJQJJR08WYEZ4V5X6QH2TJYD410F5 }
{ amount: u20910000000, recipient: 'SP1D5B52F633PH5SC8EZXRE29T20PH1FK81B852VX }
{ amount: u20899215700, recipient: 'SP226M0KTDZKARF5CJQ2CP63P2SM4FQM56H5TRNWN }
{ amount: u20878293900, recipient: 'SP16RY4880624WAFHBFM86D04M6YFFMR8SX932YNH }
{ amount: u20868907800, recipient: 'SP1W12YAJ4E3G31PX863QF1SZDEZCB687XSGZQX5P }
{ amount: u20849876900, recipient: 'SPDYN7ZFZA28PVXAD688T50J1P3QJT2HYEC0BZJM }
{ amount: u20821960100, recipient: 'SP3ZETY46J32ZXCN51RJMJ8F28KHM0D22FFQHE2PM }
{ amount: u20820759100, recipient: 'SP2S8F4T5PJ8QRWSC1JYHK7JS2KKXZA2HQEW5G357 }
{ amount: u20776134700, recipient: 'SPK9Q5XK2ZFEKZW64BR8K6YFDZDM667Q16NJ72TN }
{ amount: u20717100600, recipient: 'SP156CPYZP5VV2C09NWYWQT4CP0T9EWJP76Y18E3T }
{ amount: u20716852600, recipient: 'SP1K96254R3KP5TRT5N2X64FB12VMHX6MYS0BQGYQ }
{ amount: u20683481900, recipient: 'SPPDATY6HP827AA3JH6J7ZSFX0YYQ9NVPXVSX962 }
{ amount: u20672910900, recipient: 'SP6Y66J7VF88JDQ1G062W8HH75ZF781Y3KAQ1DGM }
{ amount: u20648365300, recipient: 'SP1X2JC1EPJ2GKQT5QZA2RX554PMJ6H1QEKZC2A3C }
{ amount: u20646843600, recipient: 'SP21Y3KSRJRDF39WBSDAFRYAEH8G9ZW3EWDQ2YSB9 }
{ amount: u20629000000, recipient: 'SP3MRVRM2BD8N8R0Q7DJ0N1W8KN0GX1XFEBMX6CYH }
{ amount: u20622336200, recipient: 'SP2ZCMREBFCDH3AR2DR5N6F0NV9RT1K1Y06HEN693 }
{ amount: u20616713700, recipient: 'SP07QWHCYQ0WX02RA232Q0BAC0QHNG8Q7H8Z90YJ }
{ amount: u20595351800, recipient: 'SP3F6KDJTVDVJ9R431P690TEB3V48WAKS7WS4QGAS }
{ amount: u20593082900, recipient: 'SP31YB1E2VCAGW2DKGGNH82ZEYCF7V3P7CZ61N89P }
{ amount: u20551074600, recipient: 'SP3T30KDQDJ3WR8G9DC02S414HX49KM5PVCK0AA6N }
{ amount: u20550909900, recipient: 'SP3MMFGNAWW26XQGZZ5Q48RD0JB1HR4PJ624SE3K7 }
{ amount: u20541000000, recipient: 'SP2N5YDPDXCCS7KG9C1QZXF4XWVDN14P9A594CRKX }
{ amount: u20536523800, recipient: 'SP3HKZ73H5ZMY5715N9M5DRS4808VHPQZHPBMX3S5 }
{ amount: u20503634300, recipient: 'SPEZRBH917H20YTHF61GEAJYAWCZDAD4KEEXHGQJ }
{ amount: u20477213100, recipient: 'SPEWFFHC1ZZ2YZ608016GG5RC12KB7RWGVVK70FS }
{ amount: u20469647300, recipient: 'SP3376BTN9HZNBKHNBZR72N07X11MXBHJYA9CTM4T }
{ amount: u20442485000, recipient: 'SPZWS37JH1EK6MACV7ATSN7VW038KQEVQARY270W }
{ amount: u20428745200, recipient: 'SP29JDBZVBA1NVN40R4RZJ2H4CXZJ75B51FJ7DXAP }
{ amount: u20404353300, recipient: 'SP2CD0RH3KH8SSXE37T24S189W0DJPKT6G202SJBC }
{ amount: u20404334100, recipient: 'SP37YXBED47YVZHAWTFTWBBP5NXMTHYEBCZ0FC41D }
{ amount: u20375568400, recipient: 'SP25ZD9H455D2DMMPVGBADB0JDBFHJS1BTSGD9KYS }
{ amount: u20374182000, recipient: 'SP3WXFSD7CMM8BYHES3MGV8WYSY327G7ZAYFRP1E4 }
{ amount: u20350551400, recipient: 'SPJ7KENF334J8VG28Z3XH8F37HQJTP274GHFBBHE }
{ amount: u20321063500, recipient: 'SP24HX1K1QNEGRR7YZ7MYMV6C23N2JTY0NNWJRQBD }
{ amount: u20307809100, recipient: 'SPX44BVMXDH2SG3DXNAJK7QPP4S46353XG83PKX4 }
{ amount: u20299750000, recipient: 'SP31DB3FGDA1APHTNNS60HDGFXD5GPJQQHAKDM0DH }
{ amount: u20287234200, recipient: 'SP36850681QABR13ZDNQ641H7BR7TVMNSK427PBCB }
{ amount: u20283471800, recipient: 'SP1MB7Y65Q5EA4HMV0WREGQQVWX2BSVGD3JSA0SCX }
{ amount: u20279268900, recipient: 'SP3YPC5FMRSJM7APGRK6KB2ZJCVAEEZXEP2HDF0D2 }
{ amount: u20274573600, recipient: 'SP1MCE717YT4RDRKG45EPSRTEP0WVV3SSS4DCN8E8 }
{ amount: u20264528200, recipient: 'SP34TJDPFKGT0B4WKDG6X6FAFAEKCR82FJEVXYS5Q }
{ amount: u20228172600, recipient: 'SPWGQGSFTH7C7KA9BXXJQNZ2AGNZQ1KEZV5B826 }
{ amount: u20200769300, recipient: 'SPYHNN13PAWWA82TK0GZPGSF89T8YSNCJDHENJC8 }
{ amount: u20182782900, recipient: 'SP299H6P62QYXAK2TSEYV2VQ1B5N6D7966N8RP03Y }
{ amount: u20168544600, recipient: 'SPWW81K0CVVQ9BZD9PPZQ8A405CBJWNTFAQ8547R }
{ amount: u20160600300, recipient: 'SP1QHVEE7H159CVCQ166VA6ECJXD3Y81DHC0J13AF }
{ amount: u20153709000, recipient: 'SP2SC2VY9XYKTHDJ98E0W8Y1MKZFCG3ZNZ6411J9E }
{ amount: u20137201900, recipient: 'SP3QR5NTZ6WHBSWHAS059AS5X93TMCTETJA3A92G }
{ amount: u20135611900, recipient: 'SP380WYDKAB86C0WPK6FZFRCB3DDZTWKETDWQ9T54 }
{ amount: u20100000000, recipient: 'SP28S6834V7160JZCNC1EWR6R848DTDHE3Q7P51N7 }
{ amount: u20081869400, recipient: 'SP1KXZE10ZVXPQFM9BSGHD2NC5S2AYW4VG7VF2FR8 }
{ amount: u20072433400, recipient: 'SP1Q8TH019HZKP8YMH6NRKPYY745DS4WQTGKKK3RR }
{ amount: u20060013500, recipient: 'SP159PHBY18X9FWY2XQXWW4H6WF78ZWA4CYVC87Y8 }
{ amount: u20043000000, recipient: 'SP6Z0C59T9GM4VZY8CP5PBDCR7DEQV98CTDJDZN6 }
{ amount: u20042000000, recipient: 'SP1RZ3B5JBGYRQN1P06ARQVR9B6MEQAVDHTF9Q9B }
{ amount: u20036539000, recipient: 'SP1ZZS2FFKXQP4VV19Z7KT6YJAJW2Z5D2SQ0GBEV0 }
{ amount: u20031385100, recipient: 'SP19YY8NQYYW81NWVSHXQAPASMWPZG4QRY5GE2RGK }
{ amount: u20008815700, recipient: 'SP2QCY0F14HW6AWBQSGYMPNMPP9NDZTBQGPNXC46B }
{ amount: u20000117600, recipient: 'SP180WJRC7SFKK6K7JY2JJAATRWWR2RSSEVGRFGBH }
{ amount: u20000005700, recipient: 'SP45J6RCQ87MZYSDEPWB5CCN1QVJJ4JWXHMF2YYA }
{ amount: u20000000000, recipient: 'SP2SNNGTZVBX62Z0S7HB17931G9BQV8SB26VBRFN7 }
{ amount: u20000000000, recipient: 'SP2NQ3N0HJRHA3SGTHPAR99FAGMYZZAYK396WFZYA }
{ amount: u20000000000, recipient: 'SPKW1VQ6NWP3QJF7BYMBS1VCZ40VA1E27B9WJDT7 }
{ amount: u20000000000, recipient: 'SPNNXMY01SNT92EEK9DRRG2QW1FA256MCNBPPSRX }
{ amount: u20000000000, recipient: 'SP5NV68RSZ7W8ZPPMTX2YNRZCQJYVSY1BFQVD50D }
{ amount: u20000000000, recipient: 'SP3NKVM39AAK0HV34CBP3G36KJ3N9N4C4SPTJETB7 }
{ amount: u20000000000, recipient: 'SP34Q0ZP567TF39E3NQDEJ94MR05BP2SQAD4DJ9SC }
{ amount: u20000000000, recipient: 'SP3CYH0YBXZH6HAPVZJYXCC56P34EXYQXVKNEMRGY }
{ amount: u20000000000, recipient: 'SP395B7H47AQFZAXHAA7RQ1Q8WQ2G5Z5P7AE8JTJB }
{ amount: u20000000000, recipient: 'SP2EF3C3YBK9HCTBQTQG1883V2TSZQ3T2M13FDXR8 }
{ amount: u20000000000, recipient: 'SP26YNVPVW4VGMG8P0RX8A575GR452YF7SX3PDENX }
{ amount: u19979077700, recipient: 'SPBZ1K54KS3VDGANYJDAD1K40N9CW7R45DH7J542 }
{ amount: u19948488900, recipient: 'SP1K7EBCQZFZ3EWC6C41RHMHH45DD24E4HXWSHF3X }
{ amount: u19937131200, recipient: 'SP3JR1X8SXKP216ZFD3PMZA3PZ4PGERVQY7N55YWT }
{ amount: u19924960900, recipient: 'SPX7PYKYZQYEJNPYVNTCK3KVFVW05FNQZMA38Q52 }
{ amount: u19900000000, recipient: 'SPXQN4G3JQTKS5GD1QMQ0KN1ECH2J6XZB8FDD4GM }
{ amount: u19897804100, recipient: 'SP1XFGJY076GM3KTVN9PB6PQG93XSPCXGZZGJ8RBY }
{ amount: u19895009900, recipient: 'SP2ADCJ6606CFHERS3HKABWB6PF5XBANXBQ4GSE86 }
{ amount: u19886000000, recipient: 'SP1D94S8J00KPT5YFMN0RNF5S3KQH92JH6VP4J885 }
{ amount: u19865979400, recipient: 'SP8N0KMNX4ZZV1VNTMV9ZSGEYCX2RAJJXGZ0NND3 }
{ amount: u19844233300, recipient: 'SP1G8T1BD104GZDCR9MNRQC2ACCXGP5YD6H67B18N }
{ amount: u19809560900, recipient: 'SP350MG5KFD9NB42E17X5C9QSCY975Z25AKDJAPRA }
{ amount: u19756516600, recipient: 'SP3GQSP0T73DQMR1K7B1313W9N6NJQAQH3TKFRWFR }
{ amount: u19730844800, recipient: 'SPBPMZXDJGTM11JFQ7TAW6C3JB8715MN7WWGTA5T }
{ amount: u19718272000, recipient: 'SP3AC6MMXH829E9V8DY5T0NWR98XAEBV15EHTB6VA }
{ amount: u19711766500, recipient: 'SP2DP70FRC4FFCZR5B2F6S112NK79WAFWHCWPYKQZ }
{ amount: u19705831400, recipient: 'SP3F0CS2F6G1CFN6NCKZ292HQEHPF8KFE0K18P9E4 }
{ amount: u19697072500, recipient: 'SP2F6TGWWXA6FSZR5933X9FNZAD01DCEQF3JJB6MQ }
{ amount: u19680526000, recipient: 'SPYN4BAJABZXCESC2AEBFNRJ1NAJXRBQPQYW9FBH }
{ amount: u19670373200, recipient: 'SPVR93E9J8FM5GA68273VHWKC2393557Y836NX8X }
{ amount: u19605974700, recipient: 'SP9XD6041FFN5BW6ZR9J3FSESR4S442JPYZJVXBW }
{ amount: u19591071000, recipient: 'SP3DB4Q97YB4P7V2Q7FQDQ8EQF9CHKP6YERS701KK }
{ amount: u19582570500, recipient: 'SPRXA8BP4NPJEXTFXXZPQ7BM3ZA6Y8MD9G4DR17Z }
{ amount: u19576217400, recipient: 'SP1PFYRSG3RY0E73FGGC9NEVTETNMVMPDZET6Y7T1 }
{ amount: u19567478700, recipient: 'SP9JA5G5QYJXYBJEP4FSCZE4Q2JV5DB6GFSQHV6G }
{ amount: u19534237400, recipient: 'SP334RNE1M86TC3A460NB848NET14EACXQ2260CXM }
{ amount: u19508347400, recipient: 'SP2J6C14203YE1BPKVC5JFDBJKHVN2N69D6FRRXXT }
{ amount: u19500000000, recipient: 'SP11HW0TCRHMVW75C89FKBHJ19GZWYSNPBN6GM0MQ }
{ amount: u19494747000, recipient: 'SPKFD4ZQ1HYJF53AK93V9FB7MQ0W0NSSV9QNAS37 }
{ amount: u19469695400, recipient: 'SP3Z5176SRTSN9T1PFMYNAYWGK75PWYEQTFA6RXKZ }
{ amount: u19431440600, recipient: 'SP2PYCZDVPEH30RJM9V12WBGNT1HP6F0519FRA7R }
{ amount: u19398774200, recipient: 'SP19EEVB1NY23C1JK9WMTN0BK0DBJ4X6A9SRR7TPR }
{ amount: u19383321500, recipient: 'SPBFNT8921EFZNDEK37BD1PGGHF3BFE7MKDC5CX6 }
{ amount: u19360054700, recipient: 'SP37294EACXFBANH363WACP7VEC7M6ZJVH7ABYSZH }
{ amount: u19351309200, recipient: 'SP32EMGVD6VAZQAHM16Y82W08KCVN8THQSKNVXE4R }
{ amount: u19331431000, recipient: 'SP3B7K6EG5BAQWQYS2TKW5V78HN2S5J8KHTRG1BAX }
{ amount: u19303232700, recipient: 'SPGRC64F3HRWYJ3SV2KM9DFPKQJ0YRK8KZ89NQ93 }
{ amount: u19282063100, recipient: 'SP1FGM5QJ87VZSZNR65FHG3C2F8Q05Z519GDARGHW }
{ amount: u19270534600, recipient: 'SP2BDQ0W3ZPWXJN8RTDXKV5HHJK8JDZSQAQ55J504 }
{ amount: u19262000000, recipient: 'SPM4758T6WKG7WSER8VBCESR7AASF0KGB538CVJ3 }
{ amount: u19247427000, recipient: 'SP19RHDHVXWGVKCC3RSSBYS1D04AX4GTJZPN8B73Y }
{ amount: u19235173400, recipient: 'SPDF8PAPK15D9W1W0J4GAZ2EEGM773HV7WRMKJNX }
{ amount: u19198934000, recipient: 'SP21TW4JRVDK2YE4MP8ZH6KHP1VBF88CJQB2EX1H4 }
{ amount: u19194039400, recipient: 'SP1KVHVY3Z9F4NQ96TW75S0JQZ9Z7T0V5JJ3KFZQA }
{ amount: u19173146100, recipient: 'SP2FK4856MA99MEE96JM1XC87X2WH7N0Y6TE4K3S8 }
{ amount: u19160810000, recipient: 'SP2C44N3RDN6914QRSKFGDD85GQ2VBVHZ3NN7CB7S }
{ amount: u19141466700, recipient: 'SPA856JBKXRPKC7TQPAPVF670JGKQJ1HEGA75QXE }
{ amount: u19127663000, recipient: 'SP3Y41W15WPJMF8VRJ9J87SFAE61TDW6D5299D0ZT }
{ amount: u19100000000, recipient: 'SP1QKSY1PCRHTBSPPC0KZDB6X3HXX2MYZFAN0G7JQ }
{ amount: u19085641500, recipient: 'SP3R316CNP0FJEVENYZMC93V87ET8XEB6DXMF228W }
{ amount: u19083269500, recipient: 'SP1A5MHCM7XV1RNQKYNEPPCFZDX6Z92YNFNAEZJZK }
{ amount: u19022785500, recipient: 'SP12WTK2GE14KFQEGCZ94VAXSZZRHH3MWCRF6P1HE }
{ amount: u19000000000, recipient: 'SPCPHT3CSG525B665XYBEDHKWMBQH6T671YRVF89 }
{ amount: u19000000000, recipient: 'SP9P0W88NGJB2CD55XCJ0T19J5J0SZ3798NJVG1K }
{ amount: u18995685100, recipient: 'SP1TVR3X96NWX6906AP2C70WJWVE8JC9HBT0E35Y7 }
{ amount: u18979761000, recipient: 'SP1GWTYCEQPYRAYT5PTAKBH7S2X3S4YHQMWD9M3GY }
{ amount: u18973956600, recipient: 'SP1T5Q45P74BD1YX55X45Q5727TZFQF005KWMSBQ6 }
{ amount: u18956646000, recipient: 'SP3CNRBCEKTF3VKZ2587ZCPAZKQYW96APDMHGTBJ3 }
{ amount: u18943286100, recipient: 'SP1FDG5ZNFFB39DDWCSV8GX60R8QM4Y4MSXD719QS }
{ amount: u18933593700, recipient: 'SPYC77ARZFZSTNJ3FG4B4XEZZ9X7A8NSYV6C4RAZ }
{ amount: u18915912700, recipient: 'SPTCMVZV3HZXE4KB15Q0JT5NMVTA8MW1BWC57NPT }
{ amount: u18869110800, recipient: 'SP26GZCVY8FYHNZ6C73W68TCFJHS8F8C9E772XX7X }
{ amount: u18865609300, recipient: 'SP2Q5Z9MZPR6PSAJ6F00S6GQACSRJW53TH4T7BXDN }
{ amount: u18844898000, recipient: 'SP2QM363M7H21VAD42NQE10SYJ1NYDSYMZMT2RNHG }
{ amount: u18814001800, recipient: 'SP16YA32QRMM3EHBG716G2YJH3DV5JE2RV6VVJTB6 }
{ amount: u18808338500, recipient: 'SP2RQM04PKCVMSK0W3RVK9PBVBBWAQRF6MDNEMAY8 }
{ amount: u18773660800, recipient: 'SPBQR5R0PYYVWE42T7VRQ9SBQ8AQC5NRWWR0E1NR }
{ amount: u18773288000, recipient: 'SPN8R4JTKBDZGDBR4HET99XF55M7MYH668M3J3RW }
{ amount: u18727681500, recipient: 'SPSGQW1N546EY96EDTCBZC7SWV2FFH1J58MCYBR3 }
{ amount: u18717400000, recipient: 'SP3DECB5VRNC73M5KAWPCSB7NW40VJ087SSFG8TPT }
{ amount: u18699541200, recipient: 'SP32AEEF6WW5Y0NMJ1S8SBSZDAY8R5J32NBZFPKKZ }
{ amount: u18658588200, recipient: 'SP35PAYQX7V6JPHNVCJKKW2JH9FM12TYTSN7Q8T17 }
{ amount: u18652469000, recipient: 'SP2P0M0ETKGQ21JSCD94768SYES0SBZ8VFMX8AS98 }
{ amount: u18629260600, recipient: 'SP26A4FJBXGHFQD5EXVAS1FW33WC4T8EP2FMXV9HX }
{ amount: u18600000000, recipient: 'SP1GEC3S741639EKQYZHKMKA4X7N1YG1JFVJ6TBF9 }
{ amount: u18588333300, recipient: 'SP2MMWKMVZY3NDMWAAAAF0V5XNVWH5TAHACE4H06X }
{ amount: u18564438000, recipient: 'SP3CG9D1RWRNCV48TJ8GSZ5HG7GSKXAFJHP3N7JYH }
{ amount: u18556000000, recipient: 'SP28PR5G9NGNH0J2D6AE8TRKDP6V51WAD6XDWZV97 }
{ amount: u18536633400, recipient: 'SP2ZRBWWWK61NZHYVH4V4KTK6Y658XKV1ME9EFV0C }
{ amount: u18527104300, recipient: 'SP2YZQC2JZCVSE3GPDY6KNCY9PRSASC382RQKQ2PM }
{ amount: u18407071300, recipient: 'SP2K0EGNX9XFG706VMZY9W7A0KHF0Q5AB2XH0V76D }
{ amount: u18384216500, recipient: 'SP2PX6340DH8HYCXG66VQWHAAD5VF9S2VRPJ8KWBQ }
{ amount: u18367982600, recipient: 'SP3HT94466SMKC3VV5NB7BFQM8QQ8KYGYFPDEYFQ3 }
{ amount: u18355808800, recipient: 'SP3VVZATFM9A6BTBY28Z7EEEGS665R5X90J5VN7W }
{ amount: u18351832100, recipient: 'SPT51R3D78SW2SZVTVDVSQK5AEMFC0GAKRKBBF3V }
{ amount: u18319177500, recipient: 'SP1K046HMGMNVPD5PD2HBTYGDDD949JCWPF3B3G5J }
{ amount: u18318811600, recipient: 'SPKH27JDH8Z4F2CFY0KQ1QF3V8RN31S8E1S0YFPQ }
{ amount: u18292340000, recipient: 'SP9X934720YW0Y00CJK1Z7HH66XVPTN5S144K6P9 }
{ amount: u18285279000, recipient: 'SP3SGG4P7W61ZVSQNGMTDXNHMVF6ZFFKB7J6NSZ9 }
{ amount: u18255506800, recipient: 'SP4WJMM747N47HVNDZDPKMT61D22CT0KSJH971Q2 }
{ amount: u18249282200, recipient: 'SP2SH4XF12EG38P7XXVVTPFSPTH7QTG279CVWR860 }
{ amount: u18195977300, recipient: 'SPCZ26B1YXQ830GNYCYMCEBCY48DHNCZZS2W5Z46 }
{ amount: u18179598900, recipient: 'SP11K759VZD02E1HVP8QN1G2ZBHS2DDZ8YW9BBDX4 }
{ amount: u18147310400, recipient: 'SP309R6R8EXGZVGXD7K8YBZ6EQQAAMVBQCDHKPFDN }
{ amount: u18131475300, recipient: 'SP268MFXTK67F2PP5W5YZEQE0G1TFSD20841YR3C8 }
{ amount: u18122534200, recipient: 'SPY16NAS8EGPE5CR59DWAX8AAY50Q0WM6H2BZ3YB }
{ amount: u18105832000, recipient: 'SP39D7XT4YD2HV3QRJ9G361VCWXSPQFGPMW4CDQ7M }
{ amount: u18103151300, recipient: 'SP3Y3GPE1Z5MS97AQMW83BV1YA68APTTH0MFMVPXW }
{ amount: u18101981600, recipient: 'SP2RXB2QCA9GDX3YTMQCD1J2X6NWM272FHP2D4N67 }
{ amount: u18058896300, recipient: 'SP34HB7NRVE3ENQ3P3J578T68P9BYYCVJFMZZJF7V }
{ amount: u18058360400, recipient: 'SPFQCV70T2Q7HYX65KCJ4YVFAMSXAFMEZBF13C2N }
{ amount: u18049475000, recipient: 'SPCTY4KV5558HBZ309F9DQ45J2MX278B9R7S4SN6 }
{ amount: u18018000000, recipient: 'SP3ZCDD5W72AF8JH11YAS97D4WECWCCQ6Z0HW2MBB }
{ amount: u18000000000, recipient: 'SP33HVQ8NX3Z474RVSS94Y8K1ZA0ZBG4TD7XP240F }
{ amount: u17957000000, recipient: 'SP3R5W6R6RT8D2YBTKED0SYM22R79X2949ZB63BV6 }
{ amount: u17936751100, recipient: 'SP2R8M9NZ992CDXFDGNJ8CVDTW9C62B6FHN3GGAT }
{ amount: u17904371700, recipient: 'SP2JAP5C40X5KKWZ60GX7PABSEYF6WYDBSTYBDHZW }
{ amount: u17901320800, recipient: 'SP2WB7NTDMVFVHQPY3MD6NW2ZEF2AHW7SHPFJHCBB } ))
(define-constant batch-43 (list { amount: u17894963100, recipient: 'SP2XTNZRESHZGN3Z9NC5QQ68X17YJ0SQ7MQN28G62 }
{ amount: u17867589600, recipient: 'SP24B7N9SB16T2AD82RK1KW8KG982FMGQRFEY9B97 }
{ amount: u17866680400, recipient: 'SP1347CAGP7RYA6Q5MKCDE1H28T7X0M5Y1AEWDK56 }
{ amount: u17835177900, recipient: 'SP1WY102H26RKKV4WKHH3ZB9KGVBE925HP6PH3WE5 }
{ amount: u17792532400, recipient: 'SP1RK28T3A0FGKEP7BVJNK7J51NSJN4DD54EBSD56 }
{ amount: u17788000000, recipient: 'SP3ZT88XSJVDG96FDM27SP3HD0VG6JXYHDHWEK2FX }
{ amount: u17750261800, recipient: 'SPVCQ1Z82Y8ZFGH1P40VHFBWGDWNYX2WV4FFY3V0 }
{ amount: u17749790700, recipient: 'SP1VFX4SG423YQYR4RX9WDD9N2TYDXPW8ZQVN8G5G }
{ amount: u17729440000, recipient: 'SP2KQJJ4M6A5X79CC6A8DFPM1G0NVHS8ZEKHSHG0V }
{ amount: u17723494300, recipient: 'SP1E0EAG94S5Y4M64TM41BG0NB10C6SXCYXF78BFZ }
{ amount: u17708940400, recipient: 'SP1JV9S1TN747QSRGW41VGBBK76J77CK5HXS0DWRA }
{ amount: u17699998200, recipient: 'SP1M5XE7YDTB611NVT6TQ9BRMB999NK4G6XDT5PTN }
{ amount: u17676188300, recipient: 'SP13YWZZVV2MSD7PMR2HHRMYWWYPQGZH9RWMX1DZ5 }
{ amount: u17662071700, recipient: 'SP3XDE7YPKZ3GJGBEJRFZCAHFX960ZXX4WMW9A9MZ }
{ amount: u17626488800, recipient: 'SP11QMWB55RA3ZK8S1EVRW9J627S46XAFW1HHB5MF }
{ amount: u17625400000, recipient: 'SP274VQB50E9NMV6531T4MACWBMTBDEKMKKX740N1 }
{ amount: u17616738300, recipient: 'SPF7S9JGX49RZ8J2K3911PSMWQ3ETTPHJ6QR4JJ1 }
{ amount: u17615589500, recipient: 'SP29TPVBT3CXBQQXMGEFXVP558TPQVYXE6S6ZSM6N }
{ amount: u17600910000, recipient: 'SP1B94DGB6DWC863AWNGTGHZZ0H9RZGG5FP81ENEW }
{ amount: u17587185300, recipient: 'SPR9C8JZ8KQMME0FMHP9R0GKV1WBNMRSGVZ44WVX }
{ amount: u17571425900, recipient: 'SPM1ER8RC9PNK6QKX640EZQ34QZZKZA9ZJYBBYKT }
{ amount: u17546504700, recipient: 'SP36NC0KX6RZGPQXR73AMW8R0CXXHS06DRM487A5G }
{ amount: u17434892200, recipient: 'SP1P9JZMVXPAER7HSPV13K0WTK3558YM9SJVW297H }
{ amount: u17426000000, recipient: 'SP710XF4AW507EYFZ2NVMMF0VH3A0JHW3C1R0G75 }
{ amount: u17410239000, recipient: 'SPV9QBDXNXTAP7D3M24CMMQQ1NPJY1BHR4GH4MXC }
{ amount: u17404486300, recipient: 'SP3ZWMPSA9JGQSDXTFN5317SEA8X440T380ZE6AX }
{ amount: u17341020000, recipient: 'SPJN8NG6AVKJRX6MN3YFGMMKZJ8D0EWDAZ4GP2FF }
{ amount: u17337543700, recipient: 'SP226P36Y2SKGZXE1WQ1MD7PHTXZYA59J3CKDYENR }
{ amount: u17312322600, recipient: 'SP2Q487MC050Q0J9TNN1BFKD27WZ5VB67BB8Q61FK }
{ amount: u17298234600, recipient: 'SP1VN8VBTR3DYJVZ3QJAWHPMK2Q1A2KQQNMMJPY6H }
{ amount: u17285692500, recipient: 'SPYWT8DN54ZWSJ6D3CM9PD67JE51DDHHW27FTVCK }
{ amount: u17282802400, recipient: 'SP2QZP9PSMWC51R2QXJPCH0NFVGFXGKQHXCWA63ZZ }
{ amount: u17249955300, recipient: 'SPR89D7H3SN18CXAY16JWF57TQ1XY32HQYFQZJJP }
{ amount: u17231895100, recipient: 'SP3ZZT6P125ZACEW2YE1N988DAWWSB8T33M40W631 }
{ amount: u17230168600, recipient: 'SPM54WHDWXPN4R08MHWG1S7188YH2R12C28CKRKK }
{ amount: u17228658600, recipient: 'SP27EB334MZNGZHA1T78MHGMM19V1FZ0HGSAP7EE5 }
{ amount: u17209140200, recipient: 'SP3A82PV89A7PXJ75TZ5ET3N5FNMQ8AYA7GZME86N }
{ amount: u17208783800, recipient: 'SPJJQGK1AHGQF6W6EMKPMC504P6JSCPSCC3PQN0F }
{ amount: u17207702100, recipient: 'SP12814H4REMY5AEEW3FM2JYBRWHEGYS6AQHKXYV2 }
{ amount: u17201719400, recipient: 'SP2W8WKF4C1RACPAG5H8EP7VBG55Q0C52NDZDG6A0 }
{ amount: u17196926200, recipient: 'SP16Y8VYWVPNSXM161PEEYHH99YJ21KBTXPQKVCJG }
{ amount: u17190108800, recipient: 'SP3VMMDVBGHKCGM2C39T5540R69WDRATG7WPSJN30 }
{ amount: u17182668300, recipient: 'SP1EA9BNBF4HPMZ6N48634675CTHVKXB9YEPGWN03 }
{ amount: u17168616700, recipient: 'SPDBJPNMXDBC619YFJDYBTGQQJVMHT2VA3DM1RXZ }
{ amount: u17161572400, recipient: 'SP2X7J2XK5V4ENWTBCA1CTP0Q5Y3TJPYPRWT0TZCH }
{ amount: u17139180400, recipient: 'SP3BGKBVDVDRSE1X1KJX8JB03MHYC7JP1N59QYJTE }
{ amount: u17138840300, recipient: 'SP3EHACEYVBB6FV16P0Q3XS07JP04WG4CXNGC7GRH }
{ amount: u17134856200, recipient: 'SPJR0HPJJA8G15K06ZYQ8XSZZ8XTZEHR6KQF5M8 }
{ amount: u17133987800, recipient: 'SP6BEKZKMCG421JTVT6Y66G7H78XWJERNQ06HX0K }
{ amount: u17106199700, recipient: 'SP2ZX27YR795E6540RPZQRCFPHWMV2NYYQDF6DPEM }
{ amount: u17098880700, recipient: 'SP2JVVNXTQATD2P9QGEN6MN7ZSTBGY4ZZ8EWJ2ZN2 }
{ amount: u17082637900, recipient: 'SP3DADFZ5M352BV2XZY1RSPV307QH0JPKKEQMFAP3 }
{ amount: u17068258900, recipient: 'SP2S79YMQYHQTD3FCSNYYJH3B0F3GMT33Q20BZ8MQ }
{ amount: u17045219900, recipient: 'SP16H95WXEVMB8CAT043ESE21CVH26WY84WW9ZWFP }
{ amount: u17034042400, recipient: 'SP2MJB42HM9BG3JD5JRV2V2RRZAQ9E8C28KWH2NF7 }
{ amount: u17014685100, recipient: 'SP1Y2K37WAGBR017WH74T89780RFNZC9N92BJRBH4 }
{ amount: u17013229500, recipient: 'SP36Y9K0XWM18NV6VH91ZRJJ46XVGNJEHW56VJ8NC }
{ amount: u17000000000, recipient: 'SP2JG5CHZKS5DC8XT59NE58TTYB3RQWERFRS6YQDJ }
{ amount: u16969181000, recipient: 'SPYWAXB1DQ6NE6Z30R1QJ5QMXSZMQHK8PG6MCQP }
{ amount: u16952742900, recipient: 'SP28JQX5BWSHN9VE4D68YZ37KQJE9Y1GWKAAZ6JPE }
{ amount: u16951466100, recipient: 'SP3KAJEVGXA55BV23X9PV3VY9MCN2SH3DXYC685PY }
{ amount: u16947808800, recipient: 'SP2HRJN95ERWZDA1MBC70F1DRZX55XGH1VD9GFVF }
{ amount: u16942680700, recipient: 'SP21970BW4RK41ARPJX7N1VMZMZ4DE2B9CT5ZM7MB }
{ amount: u16936317300, recipient: 'SPYWNWHVHRTT5R5XVNZSV984QA35MZBN8B4RV0EY }
{ amount: u16916206100, recipient: 'SPCPNDEEHPFSBSC6JX7YYARZREM29MRAQZ351MV5 }
{ amount: u16901363100, recipient: 'SP3DWZPRE8DW3TCV6HXA38FZ1KVVHV9ATSMM47N3C }
{ amount: u16890229600, recipient: 'SP39WR7DRCPK9AHRFC0YF96S43QMZ0S8XWQKTJP0X }
{ amount: u16869766600, recipient: 'SP6G75Z0Z5EVR6P9YZ4A35ZWKNGMBZ6ZYF45N6N4 }
{ amount: u16858672300, recipient: 'SP1F0V07VFHRVN8QKYC0CK48RQF4RFZZVJMX5JQFW }
{ amount: u16851729500, recipient: 'SP2MJE03SMTN1ACZF2PMA5HT1Q7R02WN514Y04YE9 }
{ amount: u16837893400, recipient: 'SP3HJS8DW35EAJN5B4VDYJV4JAQ66G5MWP2SY21RX }
{ amount: u16830269200, recipient: 'SP3VAZPZ39TM8SXX8DCWZN7SQ21A7AFQBMPN8PQ4T }
{ amount: u16811772300, recipient: 'SP228K6EC7AAQX9QE3PY0S02TNNYFAJGTEPJ55EZA }
{ amount: u16788462800, recipient: 'SP1T1FA7WR64000PRW83H8ZPWTJNDPV1D1T9KS5SA }
{ amount: u16783897000, recipient: 'SP3CP0NR2XX06Z4H97EVZRXXZ8TSWT7JP056QTQ9C }
{ amount: u16747373500, recipient: 'SP226P4V1G7T6KVD39VMAGQV6HXKDM97T009AV579 }
{ amount: u16741925700, recipient: 'SP30XMT9HJRF67TYHDYAX38R6YN9BNG92EJ9M1E12 }
{ amount: u16702944100, recipient: 'SP1HB6HT2Z4N81M84RGCH1DGY8T4HJCHZQ7EHMCT1 }
{ amount: u16693983200, recipient: 'SP3GTFMJ69QAV2KD730C3HFYMXMTGFCHWEN1P5GRC }
{ amount: u16688472800, recipient: 'SP13Q1T579E33KYV96SS8RZ3K7CAT3T6PB0C8TA6Z }
{ amount: u16687196700, recipient: 'SP1AXZ177J67Y9ZHK7QAY6THB8T27J9DKF997SHA5 }
{ amount: u16595254400, recipient: 'SP34YH2TC1RVDS079FBS3P5C8G9D8N9CJJPAQEKQ2 }
{ amount: u16594405300, recipient: 'SPJ413JFG55EVC2AK13BE3AV5NR38PT8VMXBCDE0 }
{ amount: u16586010200, recipient: 'SP3F5VVRV7V7M8XQPZW2GTF7D4622NE307QAAN09G }
{ amount: u16572208000, recipient: 'SP3Z2SEHGX5GGP7R0KZZTJTTFYTC27XRXESD7166C }
{ amount: u16569982500, recipient: 'SPPDT199V3Y60J998AF4G9HEA9FZKC8NGJPBG4BT }
{ amount: u16565505800, recipient: 'SP3HV2V4X0YMVMS890VR9689GYWG30T761WEYTM69 }
{ amount: u16550415400, recipient: 'SPN4GA8JFE5TT7Y2HV9DCD2G6V2PEWQZ4JCQF6ZH }
{ amount: u16532467700, recipient: 'SP2JDKWQ77WN7S0PRCS872HFJ21ZT78P6G1WCW2B }
{ amount: u16516323600, recipient: 'SP3DTG6Q3ZJCV6JMMVVNVESF1CN84NZP5EW58DPH1 }
{ amount: u16513431000, recipient: 'SP1GG8HH4VW9Z1PZABZETMT1M3QNH0HM9HP1ZPPET }
{ amount: u16502520800, recipient: 'SP3F4QCACHJQ5E17N100A96TV8SGJKHNX8K8HG57T }
{ amount: u16500000000, recipient: 'SPW93HEKFQGC58MP6HF4FH9H1S4K0W4F7KHSJ85C }
{ amount: u16500000000, recipient: 'SPXVFV07F2T31CVC59EZTVDT53W3SAFF5B72AHZ5 }
{ amount: u16500000000, recipient: 'SPJQWW0PN0M96XVX57RCKVHEYQS2PKACZHYKV0WQ }
{ amount: u16500000000, recipient: 'SP2J4M1478902E1A4WPVX99FECDYSEHEMZW249K27 }
{ amount: u16500000000, recipient: 'SP2J3GXNJ7J9NFJE2V7XWF8VAVTH7HHJYS7MHKGWR }
{ amount: u16498215800, recipient: 'SP5KX2VEDCG3PYD4D4V2EYEFESB5MNN94JTJJK9E }
{ amount: u16482289900, recipient: 'SPZXWDA3F4BMVBGEHDR8KM35BDJMFZSBMG99S0WE }
{ amount: u16476567000, recipient: 'SPT3MYR5JC4RKHENSVFP66TTGESZBETTS0QK6E39 }
{ amount: u16476500000, recipient: 'SP4AP9W4X7W4D9TB7HPD6DG10QZSH232B7DEG1BN }
{ amount: u16467671300, recipient: 'SP15DP7F52XA0HR3XRKFSYZ2H9CVQ3JG4Z9BYG9JV }
{ amount: u16448688800, recipient: 'SP2SFC4D83JV1C958WEBPJX2QTRZP32BD5NHTQWS0 }
{ amount: u16425692000, recipient: 'SP32QX3C157PZ9SYPJXJVE4EA2V6KZ3A5E2CGW3KE }
{ amount: u16387405000, recipient: 'SP1CEZ7Z22S79R4RPWJNTTBWAD92DJWJ2GBPXP6CY }
{ amount: u16372433700, recipient: 'SP1KX23AAP40SC286N4JXWSD3VTV5BARGKMCK730M }
{ amount: u16371755300, recipient: 'SPT82NHYPCR6F9FHZY27AWHPE6PM5TS639WK3A2Y }
{ amount: u16371093900, recipient: 'SPKQHX9HQR9CSY9F18VS9XD63RNN4WVNQGVZDPPJ }
{ amount: u16370495800, recipient: 'SP2FE3T4DCZ3J0KGM2570G0EXTANMV61G0DRXX2K0 }
{ amount: u16365203900, recipient: 'SPHHA3Z0AZ4TAV4T17SZ4TWNMMFEWS8J3PSSKYSS }
{ amount: u16347000000, recipient: 'SP1FJY3NH0WKMW850MYW7F7758PGP8S5TMS7EJ2D5 }
{ amount: u16344836200, recipient: 'SP10QGZY9BBCQXNTF6RJ70GTBD411V2ENE61E7PKB }
{ amount: u16310967100, recipient: 'SP3Z503HSG2FXQAA9PJYXHEXTF2T1RA4SN44JZ3BP }
{ amount: u16289614900, recipient: 'SP2EFQY509Z8TBJ8XXZ9XQEX20V4C7M25Y49CF4YB }
{ amount: u16252000000, recipient: 'SP1FPFRKQ9V2P20PM5ARJDH75KSY2ZPMTNDS5DHFE }
{ amount: u16227560800, recipient: 'SPHM1KDQVM1164KFJV8ZFVDTEHE3T4HDSKC16ESF }
{ amount: u16220458400, recipient: 'SP2D6KTSRE0A4RCYK4XNXB4ZK8GCDXARFY9B7QXRW }
{ amount: u16218907100, recipient: 'SP3DH3JZZTPEVVY0HS8471GY0G0M5JFHZPDHEDKFN }
{ amount: u16201902800, recipient: 'SP4M8WXB7MA5XYDQMPB5N5ZMGZ6M2M681FGH266K }
{ amount: u16189710000, recipient: 'SP3F1CWZNHQ1BAN9M8VDXXV8B31Y5PMADP8VFKZ0W }
{ amount: u16179616700, recipient: 'SPGSDWYMSA6FTYPMV542D19FTZ73A7WPYXKF1QWE }
{ amount: u16171943700, recipient: 'SP3THQ8YMTJKD2S6DS0ZEW919WW2DYGZSMRDAS0Q6 }
{ amount: u16156095500, recipient: 'SP8727FE5BFXV6PSSA2WHPWJN7HQKAHB3G9BYBSC }
{ amount: u16147694200, recipient: 'SP4V5Y19S1QDHFMRGS30RP8VS7JX0NTS7C4B2VC2 }
{ amount: u16105389600, recipient: 'SP2ZJ80688KRVD1408GEEGGX6DNSHMZNK3D4HB8PM }
{ amount: u16097763900, recipient: 'SP3D3WJHDGV3ZJMQAVKRVSNCH5WNPJ1KAF1J2PWZF }
{ amount: u16088925200, recipient: 'SP1AHR7ZDYBJR7DXAQ9YNNYT4RGNHYBP27335KYNM }
{ amount: u16053100000, recipient: 'SP3VRCDNE3PAEYPBHH8AK8RDJKSK4X78JBEACT0XG }
{ amount: u16049417200, recipient: 'SP26R61VV3THCRAP87B70E6QDDEV7BSQEZ85BRPES }
{ amount: u16025721200, recipient: 'SP3WXMEF73E0TCQP58NK3Q37AM0BZXZGZ7E9ZNM8Y }
{ amount: u16017841300, recipient: 'SPQYZMGG6XAZ99MJNAVH7G5F5PQTKERFSFK7C9S0 }
{ amount: u15991811500, recipient: 'SP1FSHY9HDKM5X16551FDSYB8CJETTQ9NZBREKA5C }
{ amount: u15963378500, recipient: 'SP1EDC9C44PK0R6RS19QQD5GP3B9GE4NYVNDZ0BHS }
{ amount: u15962226600, recipient: 'SPDV6C7WRKYKQ66SZ809KJA5PCP3JFH024CNEW4J }
{ amount: u15959062400, recipient: 'SP21P697VNEB6GCHPPZ0RRNKQEASXXGDG1KE61G5Z }
{ amount: u15945143000, recipient: 'SP3QDHYWHZFXMFV69K6TB3THC19CS36C4B87T7N7K }
{ amount: u15913002000, recipient: 'SP1Z9QG11G8ZCS960MCBS8TZ3GR4WFC2AD9Q5R2ES }
{ amount: u15901000000, recipient: 'SP368Y67R19HTDD6C81JSDSVHYBFZ56BTJ4C30SW8 }
{ amount: u15900000000, recipient: 'SPBEXKV3HT92CYHVFV9DTXPTWBWNH55Y43BYZ5H8 }
{ amount: u15898615300, recipient: 'SP2NC3CNDTAWBX7RY739TK03XF7H8Y6N05MV10BYJ }
{ amount: u15891625700, recipient: 'SP1JNJF7GY0ZCJBTS1CBFB2TTH5E1Y2PGJRRW1AM5 }
{ amount: u15890000000, recipient: 'SP37CR90WR0BZCY31WYWC582K1WA3FPZMJJAQH9FZ }
{ amount: u15889599100, recipient: 'SP36743YCK0M4FQND9TG3RHSCHYXH2FV1GG72VTG5 }
{ amount: u15882164600, recipient: 'SP2R10RCJ2MXFEQ93D4EGDTGVQ6TJVCXAPTAXESX2 }
{ amount: u15873461700, recipient: 'SP3XCNMA3VVB2VGM5NXN9W0F8YXWXACHV8JRDA0ZQ }
{ amount: u15873316700, recipient: 'SP1T5K6ZK96EM03AHMYA83VXE8PDZT737W4TXE16T }
{ amount: u15871537000, recipient: 'SP2T04RQY3SP5V24233ABVX9G5CV14NMSB1ZF83NQ }
{ amount: u15864852000, recipient: 'SP3M31C2BVSN8AZ1HA78X5G5MDHHBYQFTFGS0YJXK }
{ amount: u15855161700, recipient: 'SP1157703587DEC3XB9AT2FTR2P5C2HJCQ762DKHN }
{ amount: u15813058900, recipient: 'SP3FANPVMD0YW33T5G6AA9CKH55FV09PF3MBNSA0Z }
{ amount: u15805654100, recipient: 'SP3TK34NAHX89WST4WJZWZS0VKRY1TZ8E77Q9M18H }
{ amount: u15797744200, recipient: 'SPNY14P555YKSQ12NWQNY15CGZNY872ZZ3HPM1G6 }
{ amount: u15789551900, recipient: 'SPTJG8VQ3J9N9X4WHD5C42VTVR1YJPWFX996TGPB }
{ amount: u15770133400, recipient: 'SP2KAQKDYA6N4NN0GF3EFXYWT42S74W93K62TPT5Q }
{ amount: u15767332100, recipient: 'SP7HZ36ZGPWGJ5WD0DF8REGSA33D9P42XMA94PG3 }
{ amount: u15763088000, recipient: 'SP30JAYYJP8GK4D8M78CFG0DXDBS5MMCS3PG4ATT3 }
{ amount: u15744381000, recipient: 'SP3ZFWDS6529FN0RD6JF3KV6V5SSWGCG91TR4P22 }
{ amount: u15743026200, recipient: 'SP1YZFDEF199WQXQG6D3HF31PJNMFSF85MV1JPW10 }
{ amount: u15728051200, recipient: 'SP7GZTAVG2A4ZTZV4AJF0W1QG4GDPVD54WTJJXNY }
{ amount: u15702841600, recipient: 'SP2ERCA7P4D54K16BDEZAD2DAZ8QAT8760ERCQ24W }
{ amount: u15679855000, recipient: 'SP1TSRM9Y1QX710HJECHW7DMSPRZ5WKQSS2M208WR }
{ amount: u15664059700, recipient: 'SP2T93SPWARYH3RPCBJBVR4DJ92QKXHH6SWBFY1Q1 }
{ amount: u15653908200, recipient: 'SP3CEZ9G0H28RGFX4K7CDGABD4739C0ZQPQT3Q0KY }
{ amount: u15648464700, recipient: 'SP3CFT2KBYZDHBQDTM267638NP1TAVMNMH4A7590E }
{ amount: u15609521000, recipient: 'SP2M85GQGSHFKJ3H5PQ3Y5V1QQ7FEF8MWYSP51V03 }
{ amount: u15609179400, recipient: 'SP3C3WPZ47KTRA7X2VPJBPW8JMDWVEQW95C0GHWK3 }
{ amount: u15595182600, recipient: 'SP2DRYJW9NYWHM5RH54EAYR8BQACXJN48KFZYAN4W }
{ amount: u15542158400, recipient: 'SP1XSN92WX1PXRH1MRYFGHWP2YVT75WJKYTB15Z8P }
{ amount: u15516881900, recipient: 'SP2NP858DFV9TASQ1FQF5ZHQ6JBXCFTZ0D3DE44K3 }
{ amount: u15501230000, recipient: 'SP2BQ97S8QEA6QMKJ4V9VW8G46SFSDAGXSMPJMMKY }
{ amount: u15469791700, recipient: 'SP1VH34XPQ4VKA2E8Z2Z42F2PNCNS3G678VH9M9Y2 }
{ amount: u15438423900, recipient: 'SP37CR9VGGNW31VJC8C833C6P94BZSTW0PWKWH292 }
{ amount: u15434374600, recipient: 'SP16P22FR1X88MRP52F4W6QED4W4GBS72Z1VP33DR }
{ amount: u15429598500, recipient: 'SP2HAV2VPYKXN87X045X9JNQV4KBZHQSQ0P2APHJ6 }
{ amount: u15421655900, recipient: 'SP1P6RCQHJ4NDEJCY9DGGNACYJY45KEV235VDCP2F }
{ amount: u15421461100, recipient: 'SP2T4TRDQJPGPEMK2WDJ9NW4T14Q7GM5BWN9629F4 }
{ amount: u15406490800, recipient: 'SP283CTW8NN4TEWZR3WHW4EDWGE2PEG5WQHBQBK7C }
{ amount: u15400686000, recipient: 'SP3J0D9PEQT15YJ7G9HXCFEPSDAQSS7JSFFV01KP5 }
{ amount: u15398920000, recipient: 'SP337QFQMGGBJADY8BKFQHBG7MEEQYY4T7NYTMD3H }
{ amount: u15398193000, recipient: 'SPVAR6X6NP833JFW5B2GC783NNS73VY3CFSKAEHA }
{ amount: u15376920000, recipient: 'SP2R7RVCXA13DZ6TEHX7YJF3YWRGRK4T813S4EVTY }
{ amount: u15317090900, recipient: 'SP1CPD5TY9HH05MPTFEJ3FMW9DA7XH1FHEXH1C6W4 }
{ amount: u15296214700, recipient: 'SP2V121HSKNK648Z69QJRZBAPEX0YB6X0FBKKPHN4 }
{ amount: u15293244400, recipient: 'SP39R3G9AKHRJGYJD7YW2V7X5VED8STQMW26YKB36 }
{ amount: u15291971600, recipient: 'SP160TXFF7E884VYFBP58N2N8XYP0ZB9BV6N0160M }
{ amount: u15279216800, recipient: 'SP21CNG406KFN1DMDV7ZFRSEG6CY8SXB73Y8JE9Z5 }
{ amount: u15262181200, recipient: 'SP1HYM5BWQM31CWQRTX8X8PF19S97WBN2Z1XD2FH3 }
{ amount: u15255964300, recipient: 'SP2X33G9RNPS4NV7S476YTY7CWHB402F0SCTEE1C8 }
{ amount: u15239112100, recipient: 'SP10Z3JH5H5WBSYT20PB855WBBX0MYZWER61SJMYW }
{ amount: u15233149400, recipient: 'SP13H3NFMWKTSA755K4DEHE8WHNFMA7X14R8JSGSH }
{ amount: u15190281600, recipient: 'SP3VWHJ49KVHNEXRHVPVN00W3D9DF7FDWE4B6NFRG }
{ amount: u15186532300, recipient: 'SP3TTKA1M6XH00DZXEZK3B77TA957DBDPY1K6321W }
{ amount: u15180800900, recipient: 'SP2SY571GC9GSJEHSW1W7M9KF1EACC5NZ60KPRDBQ }
{ amount: u15179410800, recipient: 'SP1BY9K0EX3DX25R1S98DDGDZW6VPK91J2YXV83CP }
{ amount: u15145266600, recipient: 'SP2YF292RZH1A1QNEQ1HXHR9PNBBRKH8TMQW6DCYG }
{ amount: u15136901300, recipient: 'SP3PSB23G6R3CD11AMWGBE57154Q3BFYGK3VD36C }
{ amount: u15100434900, recipient: 'SP30B6BG1J76HWDYGXPNGSNY8H1KR98WGG4EA1A6G }
{ amount: u15075692400, recipient: 'SPR6QJ56S0T7DNJXSDWRW9NCY073EWWGNR39QHFT }
{ amount: u15070317400, recipient: 'SP31ZFDYAXQENNTPH65ACEM5TVVTP1QQYYXRBXHZZ }
{ amount: u15059132600, recipient: 'SP1B96RA5NBE9Y6S1W6APH3DZJ0QMJFSA90WGMAP3 } ))
(define-constant batch-44 (list { amount: u15054707900, recipient: 'SP3QK7CB97R2Z884AAF81QCNHYJY8BTRVW6WCRG71 }
{ amount: u15050302600, recipient: 'SPB235V6PBX89QRTR7N0TJY40W1HHSR7WZCZ308Y }
{ amount: u15043268200, recipient: 'SP1DFB0ZV74VMSF9SSNS95V49Y3AK5H9SS6Y4FS65 }
{ amount: u15023034600, recipient: 'SP250T71VBB3HR5GDY4D0K3JXPF46YMTZJ1AJAJ1T }
{ amount: u15014254000, recipient: 'SP2EXHYFY4B2YDAV4V7908165H2TW327BKG1A4PAV }
{ amount: u15011169800, recipient: 'SPYNT7BCNGFA0BMEFQD54PBSE3MKQ1E83FVXK2TP }
{ amount: u15000000000, recipient: 'SP2443KEDZA83CHK5ED8A44Q6MCE3DC8K5RG3C7EA }
{ amount: u15000000000, recipient: 'SP2T8W3YJYN0AHG653ZCE1SMH4AVPYQVAC78SKH0X }
{ amount: u15000000000, recipient: 'SP3D8KHP8QR6JJ6HNBV8RQHX2R0G4BR3259RPT06 }
{ amount: u14988671400, recipient: 'SPBEWF6ZQARXH2CKJ0T12R5BRTCHSNHSGEHCNE2F }
{ amount: u14976097000, recipient: 'SPGMAXJHXV7RKPEWW1Z9XZHDKBWFWYEZZZ1MYPG4 }
{ amount: u14947161100, recipient: 'SP3V80GN25CQZE4BD55SNS7E55GDPFFQN5AWWCPZX }
{ amount: u14942934000, recipient: 'SP3E3PCH2VQ7MNNMCQWN3XASP537FJ8CQ73WBV53N }
{ amount: u14939082500, recipient: 'SP3N157TSVP2A8QNVVHW6858Z2JK0R3BER4GT6A32 }
{ amount: u14915918700, recipient: 'SPBPK6QYEWFKSVFJSKSV3EXJDP8W5NZPD8J7SSTG }
{ amount: u14890226400, recipient: 'SP28S4B855DXCVXE58V83EMS23QM3R7RJ3BQA6EHY }
{ amount: u14878147500, recipient: 'SP10T69HQZVFEV1X83DN1K7H70B1N81D98RCAFG88 }
{ amount: u14873341500, recipient: 'SP1P3HD8Z6F8EBFP4CGN2MFP0V3JGN5A31NT3GDHQ }
{ amount: u14800508300, recipient: 'SP3M7ZKXXPG5HBTHP6TDKG9FRVT2FP9WCHSE8WF40 }
{ amount: u14800000000, recipient: 'SP3TAWMCWFCJ5BPYVFJSDMC8WGN3AKPPEDGHAV6Q1 }
{ amount: u14775278300, recipient: 'SPP9F4J6M8JKHEGQ24N2Q8PM76Y8WDR7DHZ2A1T3 }
{ amount: u14767533700, recipient: 'SPP4CG0SS2S5BHPPP4SJ6215J0SQBEJV2E5THYHY }
{ amount: u14767144900, recipient: 'SP1C3S5K14ZSE6EYFC6W1F4NVKX72N8REARKMC23C }
{ amount: u14756657600, recipient: 'SP33PVACBQ2QN17P00VK38D70EZRT9M0Y2FGVT51K }
{ amount: u14754100100, recipient: 'SP12VKQPNTB29ME5WKP8HXE9655XSE87TFSTZGKN6 }
{ amount: u14718619600, recipient: 'SP2H095XH3NW73BGBQPCABXJVZZTR5P7CCJWMM18Y }
{ amount: u14703209400, recipient: 'SP3X3E3P6ANW2ZRV0NDJNTNAAMXHVW096NMYXEHQD }
{ amount: u14685247900, recipient: 'SP25NB9AXH5T0H3PXWY5HJEMQXXSH4SMR5P51BZY }
{ amount: u14667722200, recipient: 'SP2Y3E9R1J6PT58029FS1TSZAFW3XXHK3THSXS7QY }
{ amount: u14657537200, recipient: 'SP35A24189Z7CH46WP6QR5TY82J7NHY48KKJPWZ2V }
{ amount: u14644830500, recipient: 'SP12KDR3W4SMZ2WQQT9D3YDAGVSX231T47AK30TW5 }
{ amount: u14638630000, recipient: 'SP2NJ3D844ZR8K0X03JC2JGE0JXK3RYZ0HM760EHR }
{ amount: u14636252000, recipient: 'SP347Q20N5EJY8S8GSP8582S6733WWNNC1TWMWK4S }
{ amount: u14610820100, recipient: 'SP1QHJ31YE5KBMG0JJBBBYNVZ37R50WVV8VYZ33ZN }
{ amount: u14609561600, recipient: 'SP3M6TAF5ZP02FB158AEB1AKQST7S3BRX9RBSTX61 }
{ amount: u14600000000, recipient: 'SPHFYNJ6PV1V3BCRFFZ6AZ2QQK0AJQMWJ47Z58HR }
{ amount: u14600000000, recipient: 'SP3MMRNNQXG9EKJ250FM3ZXKE7WPEGX9T2MB1GVQD }
{ amount: u14586178400, recipient: 'SP3BXSV5P45APSKVFZ09C1J2NT4FBP8QPJK4E65FY }
{ amount: u14580881200, recipient: 'SP2QFZFBRMWW9KFNEBREAH0TWHHAJYPF4QK0W46ZP }
{ amount: u14548747200, recipient: 'SP2TPNKDQ66NSTFQ2ZYK74NC0E31DPX5KDBSN5JYK }
{ amount: u14545984700, recipient: 'SP9T6ST442QJTQ1FN24AKJQ8GX9TDS3C9TSXQXP0 }
{ amount: u14545867400, recipient: 'SP3CTYGSJ629JB513TWZXDFV7RV431K7H78W9CQMA }
{ amount: u14519428000, recipient: 'SP33HMBB9TCPQSEBP7BJZT13HV3WATZQ1HWDCX4SB }
{ amount: u14511080800, recipient: 'SP2W1DEC7JA3BJZR0TJR1ABC02VB82AX1V5DNYE02 }
{ amount: u14508147400, recipient: 'SP1C80N7Y9PE2TY4KG6KSPYN7JS2T76GATZFB4X72 }
{ amount: u14505340900, recipient: 'SP27Z5RS8KEV43B37DDAVM49JZ52X3V5BV5F33FDK }
{ amount: u14503095300, recipient: 'SP2X9944YAQX2QVBCE2CCZP0ZB732RA5HW79J84M7 }
{ amount: u14494347200, recipient: 'SP25X4DMW7QBASM7SF4M00CD3GP1PNHM230HFYPEV }
{ amount: u14491339200, recipient: 'SP1DMPD0JNAVDRCTY17S2MNHX8F6502NB0Z25RVR }
{ amount: u14474737600, recipient: 'SP3FQY63EHC34PJ5254MYH28Q0B79EJJSP3Q7RJ5W }
{ amount: u14472000000, recipient: 'SP1DMBZ5QNPXVF1VFTF3EV0FZ76Q47XV4BK76AMDV }
{ amount: u14464138700, recipient: 'SPJS1SKAZ9TNVV9BB5H5GCXCQ8DMRCGY3SG9F8TA }
{ amount: u14458753600, recipient: 'SP1C64PJH0SGSBPY49AJWWTQ5CWDQY197S8ZJ6TK1 }
{ amount: u14456280100, recipient: 'SP10Z6DJGS4M0KR0B736A8ZGSH5R88PZRX27CWK0S }
{ amount: u14451923200, recipient: 'SP2BYZSP4NT5Y120FETKJ7VK3DRR67NBPFJ0XX59R }
{ amount: u14425813200, recipient: 'SP3XKRHW9CZADV2R21TKEZRS65RAAF0WPWVQ9PFZP }
{ amount: u14408814200, recipient: 'SP2PF3QS8RBED06SJW90HA47C8PAG88Q45VA7892Q }
{ amount: u14400000000, recipient: 'SP2KAFD55JN1V2SE5SFDDC111C121RR40GJ8M2Y2S }
{ amount: u14373980500, recipient: 'SP11HNNHGXHEW1RB6TCQVJ1CV43B4TG1AY2BTX5FJ }
{ amount: u14368000000, recipient: 'SP2NR7NXPHHPEXKC1PE8475G9NDB47MKHY7B81FA6 }
{ amount: u14362705500, recipient: 'SP1JF39JN759PYZTE8DC9FFYKTT7AJWA6CFGDSM61 }
{ amount: u14360430400, recipient: 'SP3XVYCCT1MKWVARBS1R94WZCM84WVSHSYM1DVE3 }
{ amount: u14355275700, recipient: 'SPS5ZWT21BD76NR5X77D0CW9W0R1GTG9H069C129 }
{ amount: u14338606000, recipient: 'SP17AAQ2WAV4THSVXEQQVSYPW044ZFX975JRQB13 }
{ amount: u14295000000, recipient: 'SPR9M61WWJC28EQ1RMN5SJG2KM2HS6P5F2CKQGM }
{ amount: u14293158300, recipient: 'SP1NJ99BKR8DZD51T36RQVWAJEBWKRE89E6BSHVHQ }
{ amount: u14271259900, recipient: 'SP30VWAQBEEC5H214QZHSYFPJB813B4D666RJ2GAA }
{ amount: u14260438200, recipient: 'SPSPYE55P7CHP442H6C51JG667AYT90WS91JTVRH }
{ amount: u14248496000, recipient: 'SP6M89BWB6C5G0NBB7TXQ0TB5KEMHBSJXP2MSY45 }
{ amount: u14236089200, recipient: 'SP3ZY51K23M753B7S2CG823Y47EE80RC3ZMYJ78X }
{ amount: u14232699500, recipient: 'SP2VP1FCQEJD4NVBZRVG90XPCYCKK9K03FE4E64HQ }
{ amount: u14229128200, recipient: 'SPPX40RMG5FB213A60D7QWDYVDRYNPXMRBZ5RT8X }
{ amount: u14216790900, recipient: 'SPF3NV3WXPQ8GVTB0AXN70MZN9P01K33C1DE9JAB }
{ amount: u14197746900, recipient: 'SP5B74M05QDTZV6XW7NVNE5SKS8N3DS7NTV4605R }
{ amount: u14195079000, recipient: 'SPK03A217BWRJBWKQ4EKNGAAK92PNN1NGJY6YGNA }
{ amount: u14173800000, recipient: 'SP1GH4Z9ZTSYGFH6PN95JVA5VQAXA86HN6MC19D3D }
{ amount: u14166764100, recipient: 'SP235HVBDBH3KGD6XZ193S1R6Q9201A4254PN7406 }
{ amount: u14148326000, recipient: 'SP34KNBHSMHMXMW8TSN4P1MNDDDHD3ABMD5XBFEVX }
{ amount: u14135653100, recipient: 'SP15GMZ3S2M9QFKP1BM5194KN8MHEZW69R0C8EV4R }
{ amount: u14135270500, recipient: 'SP3HKWW21Y42WY9E729DBQA2H0VR77QGKSATNH6EA }
{ amount: u14114640600, recipient: 'SP3KS5N7EFC04M5QXWF7RJASN5771SH6HWHHWNT8D }
{ amount: u14097087500, recipient: 'SP3BZ1H1B86MR81WGBSXT5Q56E5RMZFCKMEEQ9W2F }
{ amount: u14088264700, recipient: 'SP15G6WMB8AW6EFTEB9WEYK8MY3GA50HD4BDDYJFP }
{ amount: u14079919600, recipient: 'SP199KW83T5R7TTKEVFD1X7VQF06ZQAG9NPJD1S2C }
{ amount: u14070000000, recipient: 'SP2DY95CJFBZ2CHBVX354JFDAAEGWXKECWHVY1DDF }
{ amount: u14056309000, recipient: 'SP1DKM0JBMJW8NQE9HNK3BHFR7M1EZ1728R7G7NTC }
{ amount: u14049851700, recipient: 'SP9AT74TYZMYRS17KS1121F3P3M8S6YWB4ZHD5YC }
{ amount: u14040951500, recipient: 'SP2FB951H8AM8RHJYKCZ46GYCSQC6DTQJYFY0KQ27 }
{ amount: u14027520400, recipient: 'SP1WWTY9SBKA7GTB4CCTWR4H855MQ7MNSBN5XH8Z8 }
{ amount: u14023808600, recipient: 'SP1588N5JYA1C8RVT7Y5WDH9R6NAKRNG16YBF7S8Y }
{ amount: u14022737500, recipient: 'SPJWPGRC8WEKHQ9C4RNWRB50SEHZFC82Z2AK00FJ }
{ amount: u14022146200, recipient: 'SP3ZK5PYM4FDNQ7TQXNKHHZX372Q893W87FGBX8N1 }
{ amount: u13995278000, recipient: 'SP3VT1DBCSS9HAV39G0ZZF8S7QENPEERXNAXDC1ZR }
{ amount: u13992645900, recipient: 'SP35NM7C4DJ4E84Z49RYQT4RC953RFMG688JQQCGE }
{ amount: u13970000000, recipient: 'SP3VHK8W1ZTJPKTKYQQ1R8JXZM1R4CQ2A5T0XK93W }
{ amount: u13968001000, recipient: 'SPRTQQGG222XDN3VWZJ4N6JSF4SAWYTDHHCKYKJM }
{ amount: u13946541000, recipient: 'SP3TYFQYK2RJ39HX6K4HKWWKSWP5W2DDMKTN8X7GY }
{ amount: u13938118600, recipient: 'SP2W9WJ561V4JKA9N8NSNXYBXR18SKEKB6GT1RA5M }
{ amount: u13936808700, recipient: 'SP24BKZZJ5MRWMYQZMQETZBKQ43AGG67V0CDF2PD3 }
{ amount: u13934518900, recipient: 'SP3D0VXYW7N1Q8TM2EYQQH9X4H7WJXV8W6YAZ2NPT }
{ amount: u13928446700, recipient: 'SPN1EH9Q8P8KQ14J77KR3E4GE6EWRNAQSA8E3E95 }
{ amount: u13913221700, recipient: 'SP2BET17PE5VREZEXXT1MJKXXH2P7YKNJD0QDVBDR }
{ amount: u13911039600, recipient: 'SPVXVTS2VKJP6JSJ9AZNP675HC50VKBMAMRC5TWW }
{ amount: u13900000000, recipient: 'SP212ETC25AYDDPTN75R6V2FZ29VMVWTFZ7FW4WKP }
{ amount: u13898307300, recipient: 'SP1X11HKCJ46PT9GSRS1PRYA53NB1VZ5P2B7KGASE }
{ amount: u13885000000, recipient: 'SP21ZJ16SKZJYXHYVBQXPB6BKX5QP5SRRSYA62Q8N }
{ amount: u13884689000, recipient: 'SP1HNB3SD6GQP3N7Y8ZXHJ1YP580NG3QV0H3ZF094 }
{ amount: u13884264300, recipient: 'SP35AQRSABJN89JJEA5VMYWGTXS4X6K4EZ9NPW9HQ }
{ amount: u13884162300, recipient: 'SP2VJBTV81HW5NJCR132WTJKW3WPAPXPSXBN1JE2Q }
{ amount: u13884060200, recipient: 'SPP8544WFN5VR48ENJYF2DM66FV05WY7H1JHP67Z }
{ amount: u13883856100, recipient: 'SP3WTQN8K3J30WW2QH3MENM8CMQWGJ54Q1CW0C19V }
{ amount: u13883754100, recipient: 'SP5Y56RVYPJJBYCAXCS5VQRAKJ9S5JTPNB09GX4K }
{ amount: u13865731900, recipient: 'SP1YTV2BA5T7D6YMACJA6H8BY7FFK3ZJ1DXWGN85V }
{ amount: u13861113900, recipient: 'SPZJSY1EQ6P4KMX1NX5CDFYJBEPWECFM4V58XB2G }
{ amount: u13858593700, recipient: 'SP8370ER9FKQ45P92835K0NMRDTCD8QSPYWYJ708 }
{ amount: u13858389300, recipient: 'SP31SMQGH2J1Y7BC9Y1XPGSBWGCHC9CZT8591H3ST }
{ amount: u13858289200, recipient: 'SP1X4T57663TYVA33HZANG7G4QFJYHPDMXM8307BW }
{ amount: u13858287800, recipient: 'SP1X08SQH4D5YQER3J2E4CJGTRKMDGZQHPSGDNR2Z }
{ amount: u13856787400, recipient: 'SP26ZJYW50VBZ90T8DPMCJY57KFR42SYE822Z3X4V }
{ amount: u13856279900, recipient: 'SP1P6SNNYJ3W15Z3XVX47KQ0QFCBKZX7Y2NDYD500 }
{ amount: u13856178400, recipient: 'SP28WFCJZ9S4RR175V8Z8S4KVNGPCEP5T4VWWPM6X }
{ amount: u13856076900, recipient: 'SPAQ9804M7PW9QK36KTZMR2A4MHSV7WD3TN6C2SM }
{ amount: u13855975500, recipient: 'SP3J369Y7DF3QFV6AA0EWD6ZGWQRS2MPSWE75VJ2J }
{ amount: u13855874000, recipient: 'SP1QRBSPA7BY11GEM8HSJRT41E31QG3FKDB43J8R2 }
{ amount: u13855772500, recipient: 'SP3BEYJJ3AFBDCTHDNNSAWNG7DYM637CJ0C3VMG68 }
{ amount: u13855671000, recipient: 'SP38XNYR7F12TC86H99725N8159QPSKV63RJKDVEH }
{ amount: u13855569500, recipient: 'SP1RD89M7NJ9N66BJC0V83514V32T6FFDSXYVTN3 }
{ amount: u13855468100, recipient: 'SP3NZPZ5NE138QCY8K38CSMN0M4ZQ41V0S1847T60 }
{ amount: u13855460400, recipient: 'SPZVK8F1QFFZ93J7PQ7THWR7RWM4FFKSHFJJ8Z2X }
{ amount: u13855366600, recipient: 'SP13QJW1MKQC1NHWV94Q7TD2TMK0TPK8V67W0F33X }
{ amount: u13855265100, recipient: 'SP3PNZZHN1FDZQSFRENS30MX8CBVRHHVM3MP1SRG8 }
{ amount: u13855257500, recipient: 'SPXZ6YGNJAHNTGWYBR83Y79FHYH3VCRVQSC2SVH1 }
{ amount: u13855163700, recipient: 'SP3BYKD2K84F0YV7SHH1EJGB4S37HSXCHATJ4ERG8 }
{ amount: u13855156000, recipient: 'SP2NRM1ENZG984HGTBE0VZV744ZNQTSBJS4EKXS1X }
{ amount: u13854953100, recipient: 'SP17WYCN97D7SE0FC5B90N2P9QD769TPBJZR47B0H }
{ amount: u13854905400, recipient: 'SPJR5CS5HX4R79XKBM90SBWBYAWTA2Z005A975Q4 }
{ amount: u13854601100, recipient: 'SP26DYYZP57D3WXZ7QJ7Y1QZKRYJPDX08NRDH3WED }
{ amount: u13854420200, recipient: 'SP2XZHVR3A250APPM4ZM4JW795FZT5S2VQFMG48ZJ }
{ amount: u13854318700, recipient: 'SP36J1DDQYCYC463SW4DYZJWWDJ76PRHR18N71W54 }
{ amount: u13854217300, recipient: 'SP7ATAZYGQP3PEQFG8S3825ECC9BAHP60PXQPP0R }
{ amount: u13854115900, recipient: 'SPXNRYNEK9J9H90ZTPKCPTQWHQ3WJBW6TN28FNGE }
{ amount: u13854014400, recipient: 'SP1V7PQGYC2W1W33M1PPTS4WTRSYXMAVH6BKV0AZ3 }
{ amount: u13853913000, recipient: 'SP2A7KSNA90DMHATRDAV5RB6EDG7FVXDQH3T9M5V7 }
{ amount: u13853811600, recipient: 'SP32NM4ZX4M0RAN5QG2B1QR93C5V6DTK8JKR8ZYSR }
{ amount: u13853710200, recipient: 'SP1R9SKX96QF0NR3DHEPEG216X1M35X809PFDH5KD }
{ amount: u13853608700, recipient: 'SP2Y8K375XJ8VEGT03J3GBV96ZQV5HCRDHP5VA50Q }
{ amount: u13853507300, recipient: 'SP3VQJVAH6FQW84XQHVP4WQDTGNC25A3CXYNQ1KKV }
{ amount: u13850000000, recipient: 'SP3TDV46EM52EDE0V0MBVMB98GJS8BK62NNTT9F56 }
{ amount: u13847285400, recipient: 'SP3R3M5G9XN960SDX9N7CQGMBJ6TMPS2NW1B7J849 }
{ amount: u13844927200, recipient: 'SP3BKTJRP5S8X2019F3RSDR78R3PSX4WH1YTD7VF1 }
{ amount: u13815465500, recipient: 'SP36DJA50GM92GCG343SQZSXZB3JQJR7TP30VP06G }
{ amount: u13812767300, recipient: 'SP3EFA62215W12G5XEA6K6MFWDJY70Y305FWQ559E }
{ amount: u13790584200, recipient: 'SP3A8AVK2R7KKQ5E8Q1REHNS7WSNPZR3PGVVREAQS }
{ amount: u13774578400, recipient: 'SP3MC40WG5JTJFGK9REARAXDX18D502VPA8WK8SKY }
{ amount: u13769496900, recipient: 'SPX01HF2VAR69JEP35K1KRSH1FXSWH3E5JXC3JKF }
{ amount: u13757936100, recipient: 'SP343PX7QRZMPH7X4WD4R15YZ99HRB0P6P50RGGEM }
{ amount: u13756787000, recipient: 'SPWZSCRGTJGF1MAF4ZMQ7PECRCA1S90530KR8W6W }
{ amount: u13749124000, recipient: 'SP3YWCMB0Y6F4N9WAK91NNQ9GWBJWHZED2G0GYWW9 }
{ amount: u13732073200, recipient: 'SP1W6PTFG2BEZ4ZFKTBTK9W4Z7X5YHQCR41WN67N9 }
{ amount: u13726524400, recipient: 'SP3RRA0RQDNGRQYM0K64EVX8E0MBH0DEPPPN4KQG8 }
{ amount: u13724362000, recipient: 'SPCHYNSA4QQ6AKGPQ0NBPQ42B55MJKBHPN3KRPB0 }
{ amount: u13704240300, recipient: 'SP35BNTXVHV49T63VCZR4G3E390E4Q85WAS1XE01N }
{ amount: u13694760300, recipient: 'SPKY1KMA0ZRW4B30KMQ7E5G1W72HXFWV209W0EYH }
{ amount: u13694746200, recipient: 'SP1AD26YZ9GDYQN7BWEFPSG53C3TRA78JZ2H890CM }
{ amount: u13693376600, recipient: 'SP2REQXFZ00Y8WRNWQKSNPGB4E3Y4SJKEV9PT4HMS }
{ amount: u13682000000, recipient: 'SP3MR3MSF1DTWSV21JNTR3B18654SHK9EZNCAA4EN }
{ amount: u13679207500, recipient: 'SP3SMPBXFR2438ZDM50EH67QGVBARG0KA75H87WC6 }
{ amount: u13668189500, recipient: 'SP1R5GCJAYJXPF5M2P5C9MYJ1S852NXFTQGWM3YM }
{ amount: u13666275300, recipient: 'SP2417H88DQFN7FNDMSKM9N0B3Q6GNGEM40W7ZAZW }
{ amount: u13666025400, recipient: 'SP106SSD67RFWEC75M8ZWHEZ6BWXFVKB1G9A8DTG6 }
{ amount: u13644622300, recipient: 'SP1ZAJHPXBQ6084C9ZC7Z0XDN086XW5V5FEVBNCWW }
{ amount: u13630465800, recipient: 'SP2PMM689D3W61VK9TSXJFEF4P0FVXEKFVQ1J1CCV }
{ amount: u13619510200, recipient: 'SP2Y2MKSMA8ZZ19CFNWTG2HYJVH4E5S6P80Y5VQFE }
{ amount: u13613151100, recipient: 'SP11W21Q5ZDRZ18P9MW0C8FFBT515TJ93NH03WNWM }
{ amount: u13609681600, recipient: 'SPZCZ175QG842N4B7XE8CTDSCDTECD4GQG28KJ97 }
{ amount: u13598961400, recipient: 'SP3G9E9ARWZY6YTRCXP5BNGHNEA8TB2B5PYW7KJFR }
{ amount: u13598819400, recipient: 'SPE68951PZPW5ADRH23BAQ5E0P0HXM8XTH2AHGKB }
{ amount: u13535652200, recipient: 'SP1YVF9EWSK6HM0JZR4B3KCM7V3NKVE18VVNFSQV5 }
{ amount: u13533654000, recipient: 'SPG14CN3W34W52TH4Y6V6HVCKP7Q3GR3WVFWQ0VZ }
{ amount: u13523166200, recipient: 'SP261MAHTH4ZVREFTKMBSZ9ZX64K8PR4GDWC0YEV4 }
{ amount: u13521000000, recipient: 'SP17KZC6HNMC4X60PZCSNBZMJ9TRTRXPSFDDDV12T }
{ amount: u13510299200, recipient: 'SP2PGHAYRW5FHAPCAQX85T63RGE804D50AS8ZKZBS }
{ amount: u13497846900, recipient: 'SP2G0Z67YQJ2CXVT07XRNV230F606D3TVSPY9HC38 }
{ amount: u13452985000, recipient: 'SP20Z5W6XSP2YCTF4ZT323ED0RC052YQKX1JR2M8Q }
{ amount: u13451164900, recipient: 'SP3WFDDDXYF7250KPN1QBH5JTXD36EP29156896XE }
{ amount: u13449666700, recipient: 'SP31JF9FZT219N9EQY4718MEVN0GZKHM4PMEKNQCV }
{ amount: u13446744500, recipient: 'SP2DR6JEER8FDBSZTMMQWQMY40M0W8RFRAP6ZBQM }
{ amount: u13359758700, recipient: 'SP3RT7RXDNY7VKX4CEZB8SRV3E6F6WW4SNEGDS6SM }
{ amount: u13338187100, recipient: 'SP1N8E9PY7MY9KZEX8AHT4QT27X7RD8NW6FTX9TAJ }
{ amount: u13322827900, recipient: 'SP12BNRJE808TYZ48466V8TXWTF1ZT8V98BCA1DAG }
{ amount: u13311957200, recipient: 'SP1YW4F3SVYQR98M7P2J20Z315SFMKYP9KEZAHE7M }
{ amount: u13299258400, recipient: 'SP3SNA9J7XY4MVHQ9FRHE54XMX966MJR9N27VKV19 }
{ amount: u13258384500, recipient: 'SP28VVJV8JR9P1PSQRM6EJNMFEAZ80YVN1S4G2V65 }
{ amount: u13254151300, recipient: 'SPAZ27Y0MTVCYPMK02BJHCHM1JHWJPQ3B6TDC1DA }
{ amount: u13244813100, recipient: 'SP12C0JF98XT3GAPVZ28SEKM8W0412H5P1NE23AFE }
{ amount: u13238095600, recipient: 'SPV6GERT5KHXH396T3T9ZG0D7Q638FRTWRP1JBM3 }
{ amount: u13231903900, recipient: 'SP5CTPJATXG00HYEXQYTDRFYA6BJ6C6RCTXYEPTF }
{ amount: u13211704500, recipient: 'SPK2BAMXBRVM2HTW6MV2YF810D3409VEDB0KRWFH }
{ amount: u13207117100, recipient: 'SP2CEBH7PWF2SJ1CBH94TMT0D08P462HRGBKHFM6D }
{ amount: u13189958100, recipient: 'SP26K9RTQSAR24AFKB2N8NEJNPC10HTPFCA77THEB } ))
(define-constant batch-45 (list { amount: u13181243100, recipient: 'SP2T9X222MBHC1QZ8QKAN07JA0955N3X672AJ7CYZ }
{ amount: u13127412800, recipient: 'SP3N3E8H3Q67H7VTS7MD1ZFXAFFVE4ZJXWTH1ZCV7 }
{ amount: u13101000000, recipient: 'SP2ENJTF2CDS8DJJYP8C5ZQ12RBE3VF2S3NEBMWDS }
{ amount: u13073220700, recipient: 'SP1S9QM2MBN9GR29VQ4VPJ86QJ9SBVP2H22682P8D }
{ amount: u13063217700, recipient: 'SP30G3V50R0FMH1KS0GSV8C5YB58ZWC934T6SNP1N }
{ amount: u13053168300, recipient: 'SP3QSXZR0F1838B81ZK6M0JXF4BNYNX2TSMST1K9 }
{ amount: u13046412600, recipient: 'SPHMPYWAFJN1CX95Z5850NHBBRZ7XGQGZPMMEHHQ }
{ amount: u13019706700, recipient: 'SPPZQY78CZBJH2D9ZPYA961FBFHWQT49318VKEP0 }
{ amount: u13000000000, recipient: 'SP6C1RTJWQM29350M2F4MYQNR5Y819G0SAPK6AMY }
{ amount: u12960606000, recipient: 'SP16Q3AFXJB8A893M3605HNR53PVSKKF6BB1Q7G51 }
{ amount: u12958036300, recipient: 'SP1PZ02AW45AB9036NWQ5ZD4BJ9Y4R9QT7WA18ET }
{ amount: u12955416500, recipient: 'SP1A04SSSM986373VEHFFN20NAM2CBVADN04DABMQ }
{ amount: u12945173800, recipient: 'SP1X1F350G8XD05B8NR3WTVFTZKTBXA1Y96Y80TQP }
{ amount: u12940477100, recipient: 'SP20D787DPN3B7159886VWESH4P8VTZZTWGS7JPMV }
{ amount: u12931145300, recipient: 'SP11M5XSC1C37PJ3BC6NEW81ND2PR5SA5Q0C8NS11 }
{ amount: u12922643800, recipient: 'SP2E66TCCB8K7PZRG95MGX3N3031VWK1V8MJ5K0M1 }
{ amount: u12908660000, recipient: 'SP14E544B2FY8BSKTV5V7W8NCRYX2B7NXRQ7B7NJ9 }
{ amount: u12879990900, recipient: 'SP1BRSCJ4JN5VVYFH84B01ZTVRV04GF2HQD9VR8EY }
{ amount: u12877879000, recipient: 'SP306V4E1DS2NE9XTBRQ52B0NVQRTBM4W9G0ZX6J7 }
{ amount: u12874903400, recipient: 'SP15DNCQ4APB5K5YQ4NPK06KRMEMPQMMRSGZ6MBSY }
{ amount: u12867000000, recipient: 'SP2866T35BA8QPE6ZKY6WZ183M0CKY154HG7FG38K }
{ amount: u12862183400, recipient: 'SP30VVBX9X2YVPN52TP3RCQ33SGSNXNA04M4971PB }
{ amount: u12854976100, recipient: 'SP2N4WGPGJ1KAR0TGB6XMGMDNM1274EPQEX48APKH }
{ amount: u12845711800, recipient: 'SP35V2JV2R5W1EZ15M4RNM7T7SRQ1N879HBPATWFB }
{ amount: u12841043600, recipient: 'SP36F2MPDM5ZXW0MVH330NYQNJNNHHM36RZ1XX22E }
{ amount: u12837000000, recipient: 'SP359KWBDD8B7ET8063ZMCAR21S04NHWTJRDHQ11C }
{ amount: u12829967900, recipient: 'SP2RVVFDFVVM8NHBCHVV9JSQRN9TSH7F5M3R531DT }
{ amount: u12817052200, recipient: 'SP3WHW6HB40M400F9DQHP1TVQC0KBEJRHGSG888NH }
{ amount: u12796574800, recipient: 'SP2KX4ZWQ31WRSFK3M3310RW0SK8T49HFAA98BHE0 }
{ amount: u12774570300, recipient: 'SP1AR84RMK9AVAGT6WGGE2VK8R9GHQSG3WJQH7C1S }
{ amount: u12753045400, recipient: 'SP1F155BGR3JZSAD8ACQ2G55BZX0VFJDNFFEEX0CW }
{ amount: u12732482000, recipient: 'SP25WBCHR3M1R6NZB0698KKKKRV8KKFC6W1B84E8F }
{ amount: u12727271100, recipient: 'SPPWSYZ852ADS3F29G87V7Q28FFMG0EVC6CDG8J2 }
{ amount: u12700000000, recipient: 'SP3SAS6VH1WKSK8FJ77XTKB4AJE7A5HBMYRDWDWWE }
{ amount: u12631712500, recipient: 'SP202WV4MXDRSTGWWSM61KRKBZVAQSCWH6C3BZV6G }
{ amount: u12615006800, recipient: 'SP1QJ4T5CGC89WP953BRF7SSW694QSYD879FSBBHW }
{ amount: u12611993700, recipient: 'SP196CMNNFA89TY7S1GMSPNEWK00ZWGF7FJ0780A1 }
{ amount: u12594235900, recipient: 'SP12MSW1HDK56NQTSJJGCE8JCT7GBWHPF6YWT65Y5 }
{ amount: u12588243900, recipient: 'SP3RHW89M1CQJGDGJD5VJS6AH51XFSKTD6P614PQH }
{ amount: u12582833500, recipient: 'SP1DZJ0877W09Q947KSFMDGM1GYRZDD322M5STKY0 }
{ amount: u12552489100, recipient: 'SP1GJ5AQ9MR1CX02GGTRFT7YF33GY7GGZ4WC70S0E }
{ amount: u12543711100, recipient: 'SP1ZKZSBWZZJBM8ZERQ5P95VS29QGTX4XXW2DYV6F }
{ amount: u12519058500, recipient: 'SP3X6HVNWV0RZ82MYYY7CFCN2MA53CVN4VX6HPJFV }
{ amount: u12515553400, recipient: 'SP3C04D3KK50BAA5YKP0FW2XBZ720C2Y8BTNTKPK1 }
{ amount: u12511939000, recipient: 'SP7TZ3CWG1VWATNN4P4YPM258K2XTEBDKX42461N }
{ amount: u12504689900, recipient: 'SP297SP7K6VJPXNHBSBNQMG79ASCW6RN1G6CNGNTN }
{ amount: u12490218800, recipient: 'SPDS6T6E5PTNK7VB5TN0S9P26P8A43P0R6M8T8XD }
{ amount: u12477397500, recipient: 'SP2QFSC9W9FKE9A6VCCYFNS8A2M7RD1SA8CJ858TF }
{ amount: u12476836200, recipient: 'SP2YWG37YFSRFX4YZ0EBPC3WSC549G8DSRS3ZXRS }
{ amount: u12459785200, recipient: 'SP194AAWA67TPW68338QZWEDZR375DKAEHTGPPYAF }
{ amount: u12432377900, recipient: 'SP1EHQMFPT4DHJRV807G35ND2NTEKES2AWKY612CS }
{ amount: u12422982800, recipient: 'SP252170JY5C6NYDR8JNVW0A6MCDDYMNSF6GQ52VA }
{ amount: u12404795400, recipient: 'SP113TPPQJ22J87YHD5W51CCHT158HEH2P95547AE }
{ amount: u12387709000, recipient: 'SP3ED852JAT64ZM7RW2MHZ3PQSB4NRTH9QZ6TGA90 }
{ amount: u12356571600, recipient: 'SP2G2SCXWD4Y3JNMDV8RM8TAYQGWMVXT7VZ0HP89 }
{ amount: u12349000000, recipient: 'SP34X5SJP8XASDWTQ374BNDPXWSMWTQZWHK487A2M }
{ amount: u12333310400, recipient: 'SPX07NCXDJT7BE0F64R284C9ERZSRMPMKMT4K2CP }
{ amount: u12333310400, recipient: 'SP194HBSWEQ1VK2X41ER6EYT30YY27W85NEZ20VFA }
{ amount: u12333310400, recipient: 'SP16Z8YV29VEC6G171KY7WNVVD7DT59TJEYJ1V5MZ }
{ amount: u12333310400, recipient: 'SP30K9NM1T47PRGFFS681CVX84RTGSF5ADS97SAR5 }
{ amount: u12321720700, recipient: 'SP3TYVR9M4ZFYMM427NG90KYKS2ZG91QF3FQQPEXQ }
{ amount: u12320674000, recipient: 'SP1S9FRC77Q6P7MFABWF88S712K7RY5Q7C2YKE85M }
{ amount: u12308978300, recipient: 'SP3SV4SM251V68PNS6914H8P6NA4KGRMYS8YC3VFX }
{ amount: u12300000000, recipient: 'SP1RWW86QN0KKZYZAZ5K4NJX4BQQCVWVSR7CXW5XA }
{ amount: u12290446100, recipient: 'SP1CPD7VQA3TXZHQEESAEV09P514E2D3VYW15CV6V }
{ amount: u12277000000, recipient: 'SPQ57R3EP8X67W3Y7G94QEP03E6KCB77R5M4FSTV }
{ amount: u12273564200, recipient: 'SP070EYQXRGYXH2T8Q77P8TYB42RQG0AHFJ8VJAV }
{ amount: u12260000000, recipient: 'SP12S7GRKD3ZMBNWPVH4MEADYCPE69682RXMZ4Y5V }
{ amount: u12249012600, recipient: 'SP22SY99K49EA14YVY9FSJGNZ1XJ8BE19NJKDQFRG }
{ amount: u12226064200, recipient: 'SP11ZEE8YHV8X33Y5WTR622MA7PEH1R7975T61AJF }
{ amount: u12224795000, recipient: 'SP1P60NW7XT2QHTFXK0C00B64ZH21WEHC2ZMRV50X }
{ amount: u12206887800, recipient: 'SP6JPABW47WGA85W4WE1VHEAJ6J0FMC036N3F7WK }
{ amount: u12196269700, recipient: 'SP2F804HS5987TBG4YP6FXF1QNQTM348CXHJXTF62 }
{ amount: u12191407400, recipient: 'SP1ZPW4Y1P68TEWCSAMJXCF0ZZ9FCMYSTPRCPC2R6 }
{ amount: u12180752800, recipient: 'SP3APM7H2R3F9YCHKCCJ98XPQEK7Z2QC8WXT52MF9 }
{ amount: u12152806100, recipient: 'SP1RNP3Q5GRWS95RZ9NRVS4W2DCV862TH0KQXFP8B }
{ amount: u12146441700, recipient: 'SP3H6K2ZGCXZPF110TT9XSPC2SPV2NWF8SPGBM932 }
{ amount: u12145515100, recipient: 'SP25H503P3MNA798ABBR44PVZSNCVH2ZB1J18W49 }
{ amount: u12124816600, recipient: 'SP1ZCQ2QRKN821TZ4XNPQG6CQCKGRVGPAP8G81QGR }
{ amount: u12118818000, recipient: 'SP37018RCPV4G7CV1D22TNP9MDQH4V68YMEDTYMEX }
{ amount: u12116012000, recipient: 'SP1NB7N2HJDDB3HC5J4TX4SQZSQZV692SXAV16DB2 }
{ amount: u12109313200, recipient: 'SP3ZZHE800SM6W0C1YQ2HF58QCW82TWFCXJ9ESD9Z }
{ amount: u12086514900, recipient: 'SP8760CPF2N83QC6F247TTW81N0DD74WXSSPP3GH }
{ amount: u12063391100, recipient: 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85 }
{ amount: u12053188900, recipient: 'SPX9M6XC9A3FQF96ARTW0PZ2W64PZ5C8JHV9T60X }
{ amount: u12048618100, recipient: 'SPG9YC7ES1ERESDX96TT6H64B76HMCP1X4CXS2PN }
{ amount: u12033904100, recipient: 'SP1FGY3BV4MH69F5B02570731ZQ39RB05QPQ39X3B }
{ amount: u12029886900, recipient: 'SP3JW0EYZEDFK2VJXZVDJA42NZC7HY3700QFBGZC6 }
{ amount: u12003234000, recipient: 'SP2NT72Q30V7R4Y4E13G76FFF9R7FXZCCQV73WNYD }
{ amount: u11996730000, recipient: 'SP182BBAYCD1FNHWTKACW0G7W1M59TG2NN7GSX42 }
{ amount: u11995000000, recipient: 'SPZ684SAVDA226YXPE835MH601894HMQNZ8A81M3 }
{ amount: u11988373500, recipient: 'SPTHDT7DJ6DNDEEVFRSN28BVRWRCYA10C4A1EBXF }
{ amount: u11965140300, recipient: 'SP1GVEZNSMC5TNXDKCKP0XGXS0XQ717CYHDMNWR7Z }
{ amount: u11963993700, recipient: 'SP1HCJP1P1RSMAQNWZ28HA0EARDF78C2FFXCQACMA }
{ amount: u11961698400, recipient: 'SP7YQW0HXDSE9B46B5A8M7PBYY9PRZ4382613YVC }
{ amount: u11959798700, recipient: 'SP2H41D02G9KY14MHZCVDP8ZH56WB8ERSZFCFQMJ8 }
{ amount: u11936297000, recipient: 'SP192DQ6TRJQ82SDS8WNTNXKNKA4T5ZJK9PES3C4Z }
{ amount: u11890924700, recipient: 'SP3XHDS8Z5AEHMKHDYRZE5H3SPP31N42J90GFNQTX }
{ amount: u11867870400, recipient: 'SP19Q93BS9ZJJTYHJAW1DG4SS0JYZ6A3VD4T41707 }
{ amount: u11853000000, recipient: 'SP2QVJ9RECXVQ8Y6YS551425FRFYMYMKVHRT93KZN }
{ amount: u11850336500, recipient: 'SP37ETB1GVNCFJJKVPAZE0C6MFRPATKB71XN5D1ZY }
{ amount: u11843187700, recipient: 'SP3QB8DWAWXHJZCV9A5882Y2QY4ZM8Y3QZNEN5189 }
{ amount: u11842542000, recipient: 'SPHTJXJ7XJ0PA5MA4FX3CJETMEQVGKCG19KSTNM }
{ amount: u11842194200, recipient: 'SPB247TDMK4KEZYZCSYD5DG4EAMYKAA9JKMNHTRK }
{ amount: u11841846400, recipient: 'SP3HHB1H49JF53K85RZ0YMH053TKVCT09G8300N2Q }
{ amount: u11841498600, recipient: 'SP2KGYR8A2RGQS6G31ZPMA69EZ501A2ZV6CYQN1KF }
{ amount: u11841150800, recipient: 'SP2W7NYAQT6PK8TTRFEYAYF780V78E11ARH04WV02 }
{ amount: u11840803000, recipient: 'SP21RDTG7WNC2DER00S90MSYP978D0YQSXF0JWDC7 }
{ amount: u11839317900, recipient: 'SPXJN8CC4FRDEGC841XA04RF8QAQMDR36DX89Q5J }
{ amount: u11837082600, recipient: 'SP13Z9KCY34Y3B26C0D7HTNSFEFWH8RSP2X1XBB1A }
{ amount: u11836974900, recipient: 'SP25RQZNZQ0K3JJ1MMBX65M1XDTS5K0KDSPXD1SJV }
{ amount: u11826313100, recipient: 'SP60KS2M48M8BMFTWS29MGGZQ6JY9K67DD06W4SE }
{ amount: u11822562200, recipient: 'SP1SNSMP4BQAD506PQM5VQN790GH38VM5WCRP81Y }
{ amount: u11814530900, recipient: 'SPPZW4SQHNZAYWWZR6T8YHNSE1YD3CA920Y2HV0S }
{ amount: u11808113900, recipient: 'SP13NP2JR39PKGX0BBTVEPMPBKYGN1AAV6C6GA02D }
{ amount: u11795793900, recipient: 'SP1NHKT2M72WSBWRQFRS3H2A3W5BGWFZZJEXYWZ6Q }
{ amount: u11785000000, recipient: 'SP2Y1FYZS3DMM26SVW2VS0H72S1B0BCKZ8XX9B2DT }
{ amount: u11780569100, recipient: 'SP251W2AJJPS3MFR9ZN2M7GA1NRENT3AB7YWEZB0Y }
{ amount: u11773429500, recipient: 'SP1YM51NW37YNAK0EXERN8J0Y390TDTZ6AC6EZ4T9 }
{ amount: u11758029500, recipient: 'SP3QBGHHYM1HN6SJB5CFEF7Y31QJ3K676X7MT7AND }
{ amount: u11754345200, recipient: 'SPGN1MV1HR1ECZYYQENGWFS57QEF0PCR2B05EJFD }
{ amount: u11744717300, recipient: 'SP1VDCM9FZH5DCDA21M06PV216S0DDECV0G62AEZM }
{ amount: u11712658400, recipient: 'SP28NCDY6V4T7NJBMYGTJ55NHMXMC0GG806JW1ZTB }
{ amount: u11682007500, recipient: 'SP2CGED7TF0N4N2BA1BS1J5QA1FJ41ZB6SZV3QJNE }
{ amount: u11681917400, recipient: 'SPH8A7Z2H1T5RQ82Z315P3X71SJ05GEFQRY8QMWY }
{ amount: u11674966800, recipient: 'SP3TJ2582PZ29XRA93WGHQG0AECXKV1K5FR3RDEY3 }
{ amount: u11652858700, recipient: 'SP1EPS9F809S8KZ1SR5XM4M4A0WBVCNTY1SXRTC9Q }
{ amount: u11652521600, recipient: 'SP2P15EPWHVBVF5HP27JWTTSFKE0AD4A8QC1ZRGAQ }
{ amount: u11651261500, recipient: 'SPTC950K46SE299PC2AKRV6WHFYKZF6VP5FGVH9B }
{ amount: u11650571900, recipient: 'SP3P73JFZ2E50B4JMFA3Z8SPD9NQRBRG45Z65NT23 }
{ amount: u11649882400, recipient: 'SP2BPMB5SSERNCYKBCWBK65E2CZ01PSYK4BDZ5XC2 }
{ amount: u11649192900, recipient: 'SPDVNFAYSH187QVNWMXRNQ0GDMYYHKCFT67RP35S }
{ amount: u11648533500, recipient: 'SP3H257Q6S8W3NAJAEBRBPCCYF53YA377WKG3BZGK }
{ amount: u11647814100, recipient: 'SP29GJY063S5HQJ8CPTW78PHE849W1GTVB8X0F8WW }
{ amount: u11645795000, recipient: 'SPJM51CA1JDNH8E086YSV77JABWQH5KJNNVHDRAS }
{ amount: u11645268000, recipient: 'SP1BFP6VD94QXNEH6QYQS483Z6N3FSJT8T1P4TD82 }
{ amount: u11641862200, recipient: 'SP3Z02C0EXK23HFE8983MXTG5EY8CNYHNDZ5T13T }
{ amount: u11640024700, recipient: 'SP2HS1EVN4G54ESR3H0WY12RKER74BNT93YD121NE }
{ amount: u11632784300, recipient: 'SP2RVZEY74SDS40WFTMTG9F9TZBWVVP9A8DQDAGW6 }
{ amount: u11625428500, recipient: 'SP22GM1S220FMZXXH04WFCN6YVJKWY6DDV7C4GW1V }
{ amount: u11625092300, recipient: 'SP2A3CZWKE44PXX2TXZ2PP16N2TNKAGGA4YZMJCGA }
{ amount: u11624756200, recipient: 'SP2GPAZER127S5C5F50F7R727S62P8W8HXRPH25X7 }
{ amount: u11624420000, recipient: 'SP31FJ1JJJW8C8YRZ9P8662GHFBN92F6MK8EM4ST3 }
{ amount: u11624083900, recipient: 'SP3H4RDKMTB85GW01SPZ3FN9VJZ4XP2F28RJQ4H4C }
{ amount: u11620788000, recipient: 'SP2GB10DZ2FB0NWCT6QD3F394N6B191CMJ7BTAZCE }
{ amount: u11613057800, recipient: 'SP2TC4ZHYRQX28RRFE2S2KQ9JXK9TPZE4M7B6M1M }
{ amount: u11612722300, recipient: 'SP1M3ANRV9QAJRGTGG4F6CXERCY2Z1B2W9KKP3TVY }
{ amount: u11612386700, recipient: 'SP1DKME7XQ1K3NSEKAEMDEVM83PAWNEQ44XJKRHH }
{ amount: u11612051300, recipient: 'SP2NVKD781W55MFWZ27CH8JQQ9G0MA6TP24D4QWAW }
{ amount: u11608398900, recipient: 'SP3DNVSQBYVJDSZXMCFTWZP3DHAC01PGG8RWNRQ3E }
{ amount: u11608032200, recipient: 'SP3SNQ7ZWTD4XMSH5FCDC4E82NB0K398EA51QGPVM }
{ amount: u11601545600, recipient: 'SPK3C83EAB6ETR74WG3XVNTV1Y853TNBKTFT41YP }
{ amount: u11591172300, recipient: 'SP1G9CC4RMCZ7G65M78WD7CRS4QM6193Q1RNKWS95 }
{ amount: u11589564600, recipient: 'SPJS1QSCZH9X1M3GF6P6YE8382F49947VM15MHCZ }
{ amount: u11573379800, recipient: 'SPA7PJWFKPPYQ2BDPCXAG0WB9C52G06B2Q50QDJ5 }
{ amount: u11569979000, recipient: 'SPFCGB9PBCEF86SEM1XAQFE8CCFY96MT8ZKY1G9C }
{ amount: u11560112600, recipient: 'SP2W5ACMBPAHA4VTAQNBGYBEFFVFF5F80TMWMVS8G }
{ amount: u11559779700, recipient: 'SP34F70YX0PZ9EKAVGQ360NYRGX57HJ3RGY7X6QQM }
{ amount: u11558966400, recipient: 'SP3F474HVANPFKC6W1A2THXBTEBKXBGK8J6PCFBN2 }
{ amount: u11556568000, recipient: 'SP3E56Y339CBK4FREN7GYRJYD97C472GVJD8EWW8Y }
{ amount: u11550570400, recipient: 'SP2RHA3V4C936ZA8M7MRDKCV201T66R7NN1B24DCG }
{ amount: u11549660500, recipient: 'SP2X8DK2FC41ZBVV89NEDWPDVTDDJ6HKX3VP26W0V }
{ amount: u11531633900, recipient: 'SPA9V8SP7R14YRXB9CHK9YGHPZ260ESNAMHEP6Q6 }
{ amount: u11530631400, recipient: 'SP3AMCMDZ0NWDZQ4X6J06JSPXPTHCF1WB3E59ZMWP }
{ amount: u11527974400, recipient: 'SP2G9367BPBJ7DNBNJXRE1CEBWMHXD6MYV7F9G3FQ }
{ amount: u11525251300, recipient: 'SP3K842PHZHYAJP6TNFT1RZ9MPW56Y5GSGSPP2AE4 }
{ amount: u11500871900, recipient: 'SP1X0YEJ1KD97AZTFVETT32TX5405QDVX0R754SX3 }
{ amount: u11497571000, recipient: 'SP3BKN10YB20Z2S8QCSHC0BXQVPKBJVBJAZMTGK5S }
{ amount: u11495000000, recipient: 'SP384J4W9E3APYYEKAMC21C47HEHKY4Y8QB8E58J7 }
{ amount: u11467534000, recipient: 'SP3A92CJPH8WZFHD5B5TRKDPJGQG14B4WC3J4V4AG }
{ amount: u11459175100, recipient: 'SP3NBYV36A16KERTNSW8RJK44Q8DDRY8XXRCZYBBV }
{ amount: u11440132300, recipient: 'SP17V9P5WP0BHJG66F77Z4WCN8ZVER4X68JBZCRW4 }
{ amount: u11439847300, recipient: 'SP1HD18HQ55DHXP1B7EEG55ERYNNTDHA07C1ENSQC }
{ amount: u11439635600, recipient: 'SP1QDFQWQDA8C3KRG0TC0AHAFSV8GPJ9VRNYVC2C6 }
{ amount: u11439000000, recipient: 'SPT26E85VQKZ8WS443XK5FG675VYH54RHW73NWKE }
{ amount: u11421984400, recipient: 'SP3DVTP0NZVPHSZ0PQ5QCHPA5VDGQ8XW7BRSVYVDC }
{ amount: u11400000000, recipient: 'ST1HSYS6EBM2RSFM0WYH9H576JRK9ZFB7D1MF2QQE }
{ amount: u11390712400, recipient: 'SP39KW7PHTAC7MKDZJT64ZVFS141B4G7KQKEG7MG3 }
{ amount: u11388338000, recipient: 'SP2Z79QDH638S73F8P94PC9DPRSJ58TAC94NXZKTT }
{ amount: u11382701100, recipient: 'SPVQD8DH7G6VG8NC7DMTZE62R7DZ47N3RMH9DER5 }
{ amount: u11381924800, recipient: 'SP2VRN7ZPG74P8SPGR32EH33TCEMTPSSKYDAYSTYM }
{ amount: u11375609000, recipient: 'SP2SXPB878WE2M3RX76QRXZVPGKN3QQMRBT74665X }
{ amount: u11367376900, recipient: 'SP2FYSWRV9BNEJ7FDS785YJV825N6YMDWS3BGGQHN }
{ amount: u11340000000, recipient: 'SP12SS6DZHF4MWBNRJCF5FVWQHHQ1F4D8C773VVMN }
{ amount: u11322137800, recipient: 'SP2QGKDMFM9P96QMHTW7MD0SEBP9QM85TJZYX4CAM }
{ amount: u11320599900, recipient: 'SP339Z49WJ989JHNRHZFY8G10YH0KY08F29N3Y0TV }
{ amount: u11312990500, recipient: 'SP269MTKVXSHN64EGMEMP3XJT847AVA7GDR9PEZH1 }
{ amount: u11300000000, recipient: 'SP2TES0P3GSWSCNJ3QVMWYVC2HPTFG9DA1BAT6VQG }
{ amount: u11295797800, recipient: 'SP3P5AKAD30JJ4A6V66Z5N1HEGD2RBY23HEWJRVCZ }
{ amount: u11282363400, recipient: 'SP2PD0KH4ZNAG26QX2KERC08024XMJVBBQ106MF1X }
{ amount: u11277869000, recipient: 'SPTEP8RKWZSSBGSPG0EVVKQEJAEMTNH8BZSTEDPP }
{ amount: u11272446300, recipient: 'SP20BG6DH4NEVAADQX5FMWQMGPYWMVKVAM4VA9P1P }
{ amount: u11270629100, recipient: 'SP3Z8DHXYCETNFX959QSKVCD3WP0T5E9HRVD05S4M }
{ amount: u11270144500, recipient: 'SP2WVQXF8KN2ZXNFYNFHM2KH2D1DF8KMKWMFZEW36 }
{ amount: u11269814900, recipient: 'SP1CKS8V76NQ9KDZETK4GA7XEWWP1VVDXKR9B0QE0 }
{ amount: u11245085800, recipient: 'SP28V7K7AJX74RD3RAKFMJ1TGFFKXHMJA51RC3RNN }
{ amount: u11239044300, recipient: 'SP2MTNS67BY4KVK8EZEJ50TRFPKCCRE7DP9MWZPT5 }
{ amount: u11238990300, recipient: 'SPHR1EHXXQ3B93WD772RKHTJC5E90Z4CX5XFKCWP }
{ amount: u11219356400, recipient: 'SP5J9ZM2J11QVPB5ARYGW7WMVA72QWJ13TT827Z4 }
{ amount: u11214361300, recipient: 'SP1HVTVZ2ZYY0AA4HGV4JDE96NPFQ5BWWS635JZ66 } ))
(define-public (execute (sender principal))
	(begin
(try! (contract-call? .token-special-vote edg-mint-many batch-41))
(try! (contract-call? .token-special-vote edg-mint-many batch-42))
(try! (contract-call? .token-special-vote edg-mint-many batch-43))
(try! (contract-call? .token-special-vote edg-mint-many batch-44))
(try! (contract-call? .token-special-vote edg-mint-many batch-45))    
		(ok true)
	)
)