(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 (pow u10 u8))
(define-constant amount (* u4 ONE_8))
(define-private (recipients-iter (recipient principal))
{ amount: amount, recipient: recipient }
)
(define-public (execute (sender principal))
(begin
(try! (contract-call? .age000-governance-token edg-mint-many (map recipients-iter recipients-1)))
(try! (contract-call? .age000-governance-token edg-mint-many (map recipients-iter recipients-2)))
(try! (contract-call? .age000-governance-token edg-mint-many (map recipients-iter recipients-3)))
(try! (contract-call? .age000-governance-token edg-mint-many (map recipients-iter recipients-4)))
(try! (contract-call? .age000-governance-token edg-mint-many (map recipients-iter recipients-5)))
(ok true)
)
)
(define-constant recipients-1
(list
'SPEVRXK4C2CH31Z8G1H1FXF1XARDND0ZF42W3KEF
'SP24BWS72SP5HA7DV07QT7XKWEJGZ1KX4QXHF6F08
'SP1SEDX53AJH89KNMD05ZRP7G4N5T2Q52MFFBPNFF
'SP28B56NWNRQ0HAZ577XP1F66K7F87H4946C3NNEB
'SPAFBGYZY9MK4W7A44X6BV9ANTAAAKQWDWJYKC8X
'SP14H7JZEA8KDN9RF5FX06173KJHZ8APF8A05S9SD
'SP36FP18J9RTDGW67ND3XFT752ZX83VWCBJKJKWWA
'SPPWX1X4KMCPBBT3ADF9VR9H1B4784CMJVJ4W19S
'SP1RR9SC25RCA7H09950PS3ZBRMJ0YEQK9SWA7RGW
'SPE37A9VZQ7SHX6CWYXVGQXWRRYTPP1M2TRK4KE3
'SP2K3CGSS8EBATFKG421JMTEBM98AM5NXBTQ4Q0BT
'SP26X8EVEHYZYGB3NAPTERCYEMGX6QSTA95MPV5VN
'SPXX2GQA8HXS0X6A8HVVHRRCHMMZ0GP8Q9AGMWF5
'SP8E8Z7GXB9K3HCQZ5980VZ9VJJ7BGK1FV7C7YX4
'SP233DQ184TJ6QEVS6C40D364D74P82SG289MHHPK
'SP1M4PBH5ZM0D1P01YQG1VY5KWKNE17HP2HQQMAWJ
'SP2SH0RBAJCF1JMZKX7RGMCARJCE5JGBYFD1BT8YB
'SP2MNNV8F3FJ5EE947AAWMQ1C89YBMR401C7CWGFD
'SPQ2CWBJDSWY90N3G4TKNK8P474CRQBYWR9T1035
'SP32H835CDGFSGKRKDGB92B4D3T1NM73PMCKYY7A5
'SP3Z800ZYD8Z55C23J3NZ8GG1KFHMY04JX9MVVC1D
'SPXMK2CHX6JRT6FG7PD51053326Z2EQ6Y31JEQE9
'SP2HRHRW0J3PCW9B9CMY77HRDQWV4CQ4H0WGJPZ13
'SPWQSZBGZWW6B8DM1BXN3DBTGY7ES8J3JCJT6M6M
'SP3MAB49DSDDKNTGS877FAZKXVFH6REJSQSYP170Z
'SP3MSSVGZTW4TGZ7WXJQZXYX1FJZRV30F0YDTVS5Z
'SPN02VPQ31EH98171NB8HWKNGZ7EX18D7C640RK9
'SP1MX66VYDZ5T6N4H3DCA8D7E72720J7320RP5QY
'SP1A2ZSZZD8XZGY3A5EWG9PR80QNG6BR4C9M8M6WN
'SPKQ23NX6ZCWS3PG3F5GNK4FHQD6WN19XEEYBQGJ
'SP2X2VKC5MGT86J31YNA0CQFZVHJ9FRH4TB1J2QRQ
'SPMJG58HB2SZAN79W2VTMFP3BHSFGPCAG3MKKS3W
'SP13TCWKT3Z8M1PCBAV3HXAEHZ380PE9QMDSX2DNF
'SP3AGXFSNR3AQCWB7HPKX4CJHXR8YYV7DZZRD0WX1
'SP1ESQTQRVGGCZWD534X41WV1BV293Y01M2YXA7JZ
'SPX3EWMTTAH4FRZ13G5EXYVJBXJHNDV65WT7S0TF
'SP2Q83FY4KWVRBGZXPCE3R7X4HJRA03K9XJR57QEX
'SP1F0R5Y6Y1FXHZ3RQ0H1QXKPE0CTKGYWZVDBP3TK
'SPPJ99FJX31REGAZDQ2P2HH7DVXKTS1FC9NHS368
'SPFRSYFZ53TY87FBAMT3WBWX8BX9D34TKEV9A4E2
'SP2EDSZC06GZBT293BFHJ6B97445HQGCJWZFHDVYY
'SP3D5QDZPKQHNMYEDZ3QPJJJF5CXWAFVWBM993HBB
'SP3ZFG6Y893XXHD6MKDT2GR75NFVEQ81GYWXTCT0V
'SP38KSGCFW099FR3Z9YXX1TCA5CAG1Y18XHJ904XW
'SP2SC3WMHKS3EPHJ4RKC1HP9AY1AGT5H1WV57HA31
'SP1DX9KA3TJHSFNKBR40VHASPT57K24Q5Q3YC8PP0
'SPCWGDZ8EFXBE7WWVGW24YKXER2AF0STAMBQV53R
'SP11XYJZWXZE8SHZFEG73G11GFHYEHHSC21C2PRK
'SP3WE7NGTFDPYQ1R927ZPYG4RMVQAVCCVJ39W47D9
'SPADNPE7F1T7CQ6PT74PY79E2B0SBPZ4V4AERDMB
'SP1YQZSER4X1PGJ16CTCWT2GKGG3FA7ZVCJFCWCQM
'SP1GMCNG72G09YY8FN37VR35QRHY2N57ANYBZ5HJ9
'SP18TYDTQH8XE9Z0FGZXYQ48C3H024ZRPBWZVRDY6
'SP2C2JDPY8XJKG5VYP5YCWS2100N6JFXM5M6JQNZC
'SPVAAK0BJTM3XW3MW8ABR4TG399BZ4RWXTB6DBSE
'SP2J48KRT1FV7QP5PFN9FYV51Q2ZG0CP3ETS0AQ84
'SP20F3APF0GXMCG96ZMYCPCEC5A02WVARE8XYFAAB
'SPV33GEYEKNYADD9WZ64WAWJ9AN0S9NP9DT5P8G0
'SP1G5KVWGGM2D6XSFFSZWEB1EPX9GRQ3TP9KP2H60
'SP1FPKB6APWE8HAQK0AS2V0Y9SNGQ8TNPX3KCCKZ1
'SP2S4ZFF36MF9HZ024YH5TTG2JNK3G1ASR6AE349P
'SP1KEY4ZWW21M6P7ZQHK2W2NRVQE0ZVMA5ANV2KNV
'SP1CJGTSAR3E5WB2SZWGFH1D28FCH91JS8258XEEP
'SP2SRNVRKMP7VM0DTSTEEDWB6DJANG4YHGDCRXWP1
'SP3YS996Y27JGC9FDQRPJG3AZWWBT3N9T99F7PDK7
'SPG5QZR6GR201A9JSJQE20HY47Y1BA02GYMC313E
'SP1Q10T6QDD2JJ814FVF246AXT9DB89GK29E9QTGB
'SP2V2BGKTY99SBBT24K4Q9S1TQ5FWGTNTE7EMRADV
'SPFD6F4ATBFF4H98HG36GNG41C78G5SSHK6PCQC8
'SP38GMC68255DB9QE9D8GE2RWCT86Y0EGWSMDPZG6
'SP3R4NKXMGW6YXA44X2ESZPKJNV25X4ZN7DPW0RXR
'SP2SP4GXN3TY8TJ7VJXHYYRN456WG9ND2FZEMCA2R
'SP3P23HJCNTEFJ4S7451TE2FYP1TEEKJE306W3YQE
'SP3GQBP4R6K2WH6ZCY5FK4KG39EG3KPW2QR7TB6FC
'SP2RZKVMZ6X5RK0K53Q1X1QZZ59S1DK6ZZ596HA4D
'SPCQP8YZ8WDFHT4KRFEP8GWYJDTT43VZ4199DEKA
'SP2S91P6S159M63YVKK9TC6N5CTWYK9ESRVQFJ2T6
'SPJFEW8QHAM4NC7WJVV74RFWEXB73B8BCAGGWCKK
'SP1CFGTBPHG4NW1VF45PYR8JBW0WBQGAJK02TJFHM
'SPFH89TA6E41K4TNJ912081WXGAAWBGCDXKWJM8N
'SP3X13MQQ9DNGR0F05CEAVHJ3H8TBSGGSSF02R04
'SP20P9PFD7MEVHY91PHP9MY64PBNX7ZNTEJF56RKN
'SP1B511FGHN8KRCXMP74C7BF94YSSM9MAY344X8EW
'SP1WS4AHXZWZ9SSTVTPGNG0NHNFJJ4NR538W5B937
'SP2FQCVSSQMV55NZH714P6SDWMAE35FHYDZE30ZYE
'SP3W6T3EYVW3DXDXN4PCYEWXX51GDTBS0T96DYQR7
'SP2367MMRNDP8JYC1Q7AM03Q4X9BSSHZ6NFHGXBGC
'SP1T7MGR3MV2EHDB7DFHEFDFPWW5B356TS8KBJNWE
'SP3QWZ1QWMB6MBB9Z1BH86GX07JMQX0R4QGQ32ZYV
'SP1WA76PR667AABYESZAAEA3APYPMAA30724W17K9
'SP3RB915Y12NAZX7VRE6V19A3NF56FVJJPP4XAG5S
'SP2V6CQHZRK89VASZX8QQXKH9M2SF5ZWNAK8F0GE2
'SP1FN1TZBGKYK7MDCFR1EJH9R1GWP5WGV5180RSTX
'SP33E790XGCZMZMRMMGEFRT5KV0V8SZFZEJ8EMX6V
'SP3VSS5HMRG5B9Y8G748S9X22CXX9WK98P5EDJD03
'SP17B1KXQ19ZJTEQ9N9JZRA3K8YDFM1QK7AWS40YX
'SP1PCYMCF9PXFEA7YMN8YMJZVQHGG8YNHTBFSMR95
'SP2RS6FW6HKNG1R48T6SPHJGSKHZFTABHQNKH2BBK
'SPSR66WZNHAGCKYYZ1MHF9CFQS0F680CJMKM6MQ5
'SP3Y5CJSK41EB9VVPM3YZTFWXFVHANW9G6TS1TF3W
'SP1N3AZRXKSPFE8KG2J5E0EHQ0BP9GHJDK93E4JJ4
'SP3SFN2XDNQ7E2EH62XXKMB7MPA5MVMA31VKEK8AV
'SP13AG3M4C9KQRMNG3ZBJT18ZHRJC5RGY7N6FC1Q5
'SP3AJ73XSFD27X1VC9T51NQ8DEPG36XPCYNXKGHMZ
'SP372Y3DA0XN9J9Q98RTVZ8SD65BRD8Y2S6P8K6Y7
'SP1T6EWH62BBYBW8JQ762RRT0SW9QD2T0288AQRRQ
'SPM99EXRNZA56N8H3W5PE7WFVVB3YZDEMWFZS215
'SP388Y7SJ0821348QJJFMFBKGXG6KDVC5JDD4XED4
'SP2EK8K1B62FAR7P36H6F1HQC4JBHXVM764H8TBTP
'SP1YA3YKX9D1MEF2N3KCYH4HJBET69BGCEGVV87Z8
'SP3565HDSKX403N18QQHWHM1A44Y45ZCNY6Z87M67
'SPV8P2DJ5ETV3M140G2JAAM439072QEX3QET5WRS
'SP22T5HWMDZMHNKHHGV8MA06ND9N4CW3ME0VCMVKW
'SP2QJQZT4XBKCRRPY8Y1RTTB5QB8M0P2G2NYB7QQN
'SPX9K0R72KJV81GV63D1YVQHJDJVT1PTG9A5RDZ8
'SP2HP26KE5CB3PGKCR795BVP09XQ8WGG19K1H6EV7
'SP5XJXCQ7CTNTFCX69D8G89TQ5QR0MEZ9CAVCN1K
'SP15Q6ZR89VPVRDA9QF5K9YBJMFBNC86GTSRN437V
'SP32622PBMDMVN0EA2GJ3GYZ33DPFDPNJYVDHDMBQ
'SP3HN1TNBT6Y1217XRQ5QE22GN5A08XNS29X4VJN9
'SP1MXEJCCWJHJK7B4N585TREE0J9YDAACMMS8ZQX
'SP8CBMZTXQ4BJ3B751N4DY3FY7FEQF7W3M93XSRH
'SP7SGVRB47Y2CP0WHRX75RJ1AGE9YBFS44CKSD5K
'SPS6T9Z141T1W46Z6SQ8B3EREYASXKRV1PTQQAK6
'SP122B63TZG0NY3C7EJDAXZDSCKNX9K2G68THMBEN
'SPT87187FVY7CEDNKZBXE8F3YHQFBF6MJ1SGEYJN
'SP2K4ZWHKKDZHKKM28NW47Y3XD3V99NYFSBKEM1FE
'SP31K8TNAN0BQ6PP5ZFQ3NNVX6AWD9VV26WS5P2VW
'SP23TW17KA31W8A4TS185C6E41YK15VMPNXE5R556
'SP1G2HBDG3T1B3FG6NFK47QH7HV5CPCVA34Q3J1Z0
'SP2PD7DBZWDC0YSTHF9B7WD510SY2AS40YXK97CY1
'SPZSFSY4FTTVG4X96KN2K9DFAVPK9ZKDP2M1SVWA
'SP29ESDQ63VNAWW9EPX9NWEXDTY14G5P2H4P5VHQZ
'SP9KGXTYGP4P7MFVR9S60Y3MQRFQAKQEP33NCQF2
'SP2XAP0XN8V773M3VKT9JB7SJFB469JXX1V5YCVAW
'SP28RRSA19GC3JEN2XDHQ6DD4Q3TANCCTM07MN5SB
'SP29H2B16P3AEWQJ63FSAPW86Q22RQE9RWTB1MGFM
'SPJ6W0AP3649M8CB1XT2VCV4725H6JXWH9TX3HT
'SP30WXSA9FQDDRHSMB6FRF9NK7KD99YKCT1XZ1G5A
'SP14ZP4GXKK33YW58XFX5B9Z5VAYBDQJH36VE5PT7
'SPCR6AMSS554N3TPF43QTHJQ6KXK5XSSQJ416FEP
'SP2SNAJHQ52N2H0DRT201N27MTY6F06R439WS4RF2
'SP1K377YC19RZX2EKAKKT4JQPMV8KK1KYC28SHQC0
'SP3ZGWHB6QYYS2S9NR9HZJT580V6DZ73YTDWBVSVK
'SPDAV1G8FQ0TMEWKVE0A9WS8RNDJ7K808X2MY22E
'SP2AZPWPQWBWEA6G5KMD0YQPG626PNSE4J06R5E1B
'SP27G1H83X1CF24XD87BSYH6J3GYDACS6HHRTCRHQ
'SP2DTAHH7Z1E8DD8VR4PEE37WCPB6N1R1QR4YHE1H
'SP2RZJJ6Q16ZABSQTH4F22GRR6P3JCE011ZRBRDQM
'SP2EHA83BR54KKZDEGZREC16MGHHQ4H40BPZ7FKW8
'SPD91G951WG176T417JYJGNBCG7MR0MQA7QGYK0Y
'SP2E1EHMZK4GR9J4QWH4SAS34N1KM03AHZKEBAZR0
'SP2GHCPM134Y28EZKNKEMF7SBK0BQ1QW1QASYWS6Z
'SP24ST74994FG11E8QKDABYV4JJ8KPK8RMJAZXV7B
'SP221DGP76RHQ36EK573W0HKGDEZYTAQ9H85610BK
'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ
'SP2R398ZFR85X5447C1YSQ16KEXDZZKGDZ4WEGJ14
'SPDYAGQNNJCFFYM20A542PSQ4DQA1SRZ871WF85X
'SP6W1YK6YJZEFEJ1830Z64B0C6SKP22RPJ5Q2FNJ
'SP2B3JQQF1P8GZZQ83K3HP0SHQCN8BWCENHD8FNMV
'SPEHR1HXJEVH6ZE18AWYA3EE6J18GGTFAAQA4AFA
'SP1SMT6QBY3NYWX84Q7VPDTAE4PHZ2RXFHRBBGKEV
'SP1DD0BH2Q7VTXN06AQDDAY5N1YQRJAXYAZX3YM29
'SP1RVJTMTA3SMRRMAXYRZB46KVM5DY513Q927EVHG
'SP3K2PRTYMAYWSQM6WFPH8P7BNB0QMHZBF8T31HVM
'SP37J7K9AJTXNPKQKZYMHJ6FTTKKJXERZR24RYVP4
'SP3YW511YWEN155E5X7JXW0XKF5H9BKBZ3Q6XVKKJ
'SP21T4B0FCH82ZFDXW4120N8P1CNNAYSE1SWDPR8C
'SP3T247AB6TW9N0NDY5JN4G4WA0W4Y139MCS5EA84
'SP9VQCEQ1RM1XATA3KWRAS7SNWA7TPQ79D1ABZND
'SP19QEJA852V1Q6AN8W7M67K3JSDKHJYMFJ2BD77R
'SP1QX24FFVG4SPDDDYNHPXCZGS8PZSQ6ZMB4WK7A6
'SP3J2Y9BX0FTGFHDF30ECGQ1RDGG5FNB6P8A8P5Z6
'SP1R26DG3KS6RFHNX4M9FSGH4CHG7JMCAYCQ6X3Z6
'SP2DK9JB3938WMDXYSP3J347RJX5PZCGXV1KM90H4
'SP1S2A2M7M9G88B6VQKPVJYWC5DJ7Z5QKZ29QTK7V
'SP2P31TP55MTXXRQJ82N0EJ0FVPAM6NXAJEESXS72
'SP2GNSHJ1AMYEHG40JAC4E2CSSDC6FVQ082KKAC48
'SP2E556CEBJGGXT80YFAGXHQMVMCAAE8797ZJ8KR9
'SP3NJEXS2QSZBY95FFPNN40FPJT70W9SG6FNXY6QA
'SPX98CPFHE2MA3W699X93GZXEFBH9AVVFFYR8Y0S
'SP1BMG32STN7Z833FTPXETAKCQ8M1PGT33VN8QKNZ
'SP2QF5F3SGV70TG0QFEA10MRNZ1XVRB5MFGHVW77V
'SP2ZRVG3JVHPMAFYRCANDSFGDTXBZF1Y7W5AZ9ADH
'SP3FWP7FADYPXF8SAAW2685E48C8AVPF0A569AS37
'SP3KK4MMCCW8X7Q2JJ3C93CHDBT9KGF1WHE191DV1
'SP15CE44AWJY9MKJR2T2929ZHN6P8676FE1W3FMBF
'SP2A1S7MZ1Y58BTC8HQNT4HYW11D95SKJ9047WS5S
'SP28WQTN7CBKTHDJPGQAGQA7SDSAPC4KQHCR8FYKA
'SPHQ1V5ZFBAMAH1C5C6C8K16TPSWB0XH258Q1N0K
'SP283G2XR472XYD5QPHC60GVR174RMMN6FZG5DCFH
'SP1A0N2QBSHRFWY17H5M8CWH6SD232Y71D14NFY54
'SP1QYVEZTGHE77BYXQMVK61PFF6MMD9DHBSEKYGC4
'SP2KSSKBD2WCZP5ETQVF206P0SJGVHN1868T93XYB
'SPT222PGY8ZP01X5JJ8CJ2T192VJ6YDF60RTW568
'SP9QSVBSZNM6DT97XZCB8NRV5QYQDQKC68BZ1ZH8
'SPX9AKZF9EF8Y4D74GV67YKJ4A41WAAX14CGPP7T
'SP2N0BFWJEHYK31HNXPSMT3K990D9SA327QM51S85
'SP1Z6ZSX70QCHMF2E9E019QJZVMAMPSQ4X619RJ2V
'SP317P6JH6N97D8RRAPXM3663F55S3VYXY6T7MQRN
)
)
(define-constant recipients-2
(list
'SPJCRP76083Z7TM1AQ2X3P42BPM8JPYY9EE35J05
'SPCEG1RKSNPN5NATM2TFBPCBQJTA11T5QC8FDKP6
'SPT8KV5Y0HERPQQ4H4PZX7XP6QMW2Q5V22ZVH314
'SP148YZK2TB608PZ5KG4CQ4WNDNNKYBW1ZPQPZNZ9
'SP1BAE7BZT7F3R3NRCZ339QD67DG46MG8CZKWMDXD
'SP18SPB61RQP6QH3DX3EQTS0J3ZNECAPDPVCWQT66
'SP12HQGTTBBJKJHE1KJT6SH1RZZV2Y9CAB7S1W3QY
'SP1H4DTBE3TZRC21VRDNCB828050CTTDDXTATP5EJ
'SP641BZZ2YDBGQYX5FWRR43JZF3YKQ2TV45BSEKA
'SP3E7W4CDTKPJBNACYVH0ZMMFTY6S0CK3MHA0R0M7
'SP23NQVTTWCB5SZ4NSZX8N46E4W57N9J4WCZJ1FAA
'SP2S4QV02Z8G5PCCYXCHX2EBFMGSGWTFPT8Z5KC0T
'SPTHD6XF3GYA1E56TB32VTGJX34PNZAZNFHM232T
'SPYKVABF93Y355RDJ3ZJW68XSV7T33GX69D10V18
'SP25KXZ44C54ZJ6C4K213AV2CTRS6674EEEDVC18C
'SP3W990VCZ52QY8QVFCB5VABJN68HYJKC06TM3XJG
'SP1SCJ2AJ8EQ0YS3WBCXYG6K1PSZ2KW9Z5YNW3RES
'SP2N5FCYAK0F48QT65PQBYMAENRX1S9KPTP4CEBT6
'SP2AD6P7HZT9ME14FAPVRFVHECDST8S7B33K12HKA
'SP38EFMV4VW5HQ6QA1Y3FKK502ZTFCAYAJXY3R1H0
'SP1AM2AJE7JKK5A5Q807JKAPQQ83CF51S7SBTFKG8
'SP2100DHPVSVVC5XT2W079SDE33Q3T03T4ETQAF5W
'SP347N5ZNFCMPBSBQCVTHFV6Q7S7YM6VNR790B67J
'SP346M8C4APNBEBHZ83D7GZ6H6MF17Q906BX8FA1P
'SP2Q6TGAPYWVKSK4CCP2TR557M7F260QH4T546ME8
'SP1GK5HFF9S56Z9YMC1NFZDEE4BYGTN3XPXD2ZJX
'SP1KKPR144TJJ4B46GY9HGP07XEFN6F1REK1CW353
'SP11GMECM4SQCMRKK8NZYVRBDPYB892XD0Q1XG76E
'SP14H5SDP84MJZX83HMQAMEZ96D9KX1AXHPZ5GYKB
'SP25WF078JD08EN899DB1M4ZS0CB8N6KYK8YM6WMX
'SP3JJ5WT3DMASBQVEHMG03473QA3AT38CEZDVCVZ2
'SP17VGD6GTFYCKT7AS1CYHF4VRX6KFMY12WD93KZN
'SP3P52YWD7ZFRQ8K48NZR0YZTAP4EKHDY2C4AXFCJ
'SP3YJDM06PY274K2QX5ED1905S6BZM3T8JAWN5D8E
'SP3A26NW1T0YN6WHEC6SNNY19ZVH9X6FM2J2TAT2G
'SP1GYWMYK320ASBBAERSC40TA3PA99ZHV3GF256T8
'SPXGQB85HWFY85QZPW0RFTESBA73FF83D8VG3SBJ
'SPACSZNEXMS7XWTCK5G4JVBR6QEPPMXFM20CEW3T
'SP1GG95VNA1KVX922KBC04HN7N1VW9BW0PB0NAHDR
'SP3M597SX0843NACWCZNCRNJD62WFE3Z7JSSTPMVD
'SP2XYQPJJMMQPZPYEVWE2ESWHA5SVE8KKAF89VCSG
'SP1ZQCMPRC6AYJQHQ8A9TA1C3XZMS8BT9XQFF1G9T
'SP20AJ6K44ETQKJRVQ7KPWY70NV1QDGJCDR5ER9Z2
'SP23RS2V3BAWHNQ3RHVZHK10F51RA99C1FHQKY9QH
'SP3MKGP6SAG7PKW5TKWFY0PZFJ8RX0EYGKYQFESNT
'SP2JH3J81HAXFF3GRGCQSJEY06FN0WH7WKHK1Y3VP
'SP1SYB2KPB8TSB9N0PP4627G5YX3JNB86HJDPY8KM
'SP1EFJ3BN2FG370HTG29QT10642FMNG0SGAMQEJP7
'SP1GN5P9B0BHZRNYWKDGM32MHNJ6FV216YE27R6GA
'SP11SSN4FKPFTS8JCQ4YBYCHW3V80HBKRV745V5Y3
'SP28KYD8TQC1QHTZ7T0B84AK5NYPFS4SH8WZMZ5A4
'SP36MKXT5WWJ34JMN4KETTNZDP0CS6WA90CBSVW52
'SP10CSH73MQVY6CZ8FGCECFJN5KME1GTRJYAZHXPX
'SP59FETT2G6EY3C530BGR7561Z5B3DHG6YBDB7B9
'SP2X2CZMB015CKRH8PHWHKXTXB0MER7JAXM3JST6N
'SP2EKA4RQ58SBG3D569ZR9VGPWA1X42APH18GB0EA
'SPYHQVC6X0ND6MQ81NQ5FWS8HPFA3NS7Q04P3DMP
'SP35DZ21CC9KT39Q0BP5PV8BV7EXTRNVXXX05TQRQ
'SP1Y8P8T64Q469WTSR4HRD02A6WEVPMV0QE7CETQ5
'SPHDWKKTX509XSJ92R14C54208S6EYPQJEE6BVVX
'SP2AXJ24V3SN9WN9HACCYVHJCY537SB109Q129X11
'SPCS1C4A0WVNQPCXEVRQP0SVJP2AXHY8BF9BMZ0A
'SP2JDXNHK076TTTJ14WK1WN1D35GYYP8RZ3X81907
'SPCK73GMVPR2C7GQT5308EAT1TFEG4R2A470GSFR
'SP3MKJTEWQ1PMN8B1MF75P6SPNR5QN9JZRZ3R4CG0
'SPDRYHZRH170ED4C98VCFDGT4P173CM1KYPGWXK6
'SP11KS3GAVM5BH6FQG689DK0P8AFKNCXH4JQXH5HF
'SPW3X7S6JRP5MVHW9XM1BG03H6SB9WVH357RG75N
'SPM2KJS5D3KVG9SZTKNC7QWPZQS330Y9JD9GPFTG
'SP1SQZB56VW27698P16DT7RYAYGVDYZPX1VD1Y87W
'SP276272END2ZXSF15KTTZ8RNGXW9XCRKSAKCN40H
'SP3CNPNY51NPK65N5CRZY5XT6FQW3SS9F47BWXXS2
'SP38M4HA7WWNVNEGMY9YJCDG4ESADHW22CRZT2SEV
'SP3NJ5YK9HHZ78XD92669HR5RPXV5MGBVZ4BCQ0A4
'SP1VXQQC17MCQZSV2EVXB0VP1FBN8VEBYRD4Z1PXD
'SP6YAN6MV4SS2YJRMA3HQ2PYVQGVHV4W08D8HZ3V
'SPRCJ8SRE915E19W8WJKWW3ANNF4PYNK3RWXZ66M
'SP9XKFETDDVXCACG4501SDWGV3R8AEDRMKZNHP4Y
'SP2QZBSQ4GVPD7J8DY1JQS7KRTPBFCA2W185M8AAW
'SPT9XB8YK39Z5818M0K0S1CMWMQ4K94QN05H1CAC
'SP3XPM355QCAJJR75A9350YS5443R9MQEYW11VCPM
'SPAGGXPBNJA80TEV3PWANVVK56Z2BR5YEJEDFPNR
'SP135Q114XEYQYSE2H0V4HW8PXMH0AG9W0CXRSV4
'SP26V2RD3E1WMA37XD4WKSFWMAPV67WMR4D2EJTBV
'SP149YNY9T0KDHZH7MANC81D925ZXKZBYXXX593YP
'SP2KWZJ80QFPHD6KGBJF33SWAPN7AZDSANWXPWYMM
'SP2EAD99DJAEAXN2TDJXA02FSWBQAGBW20W1FMX6K
'SP1J2KPTQCTEHGDKCX1D5R8T4C1XKA1F73HARBWN0
'SPJMMKASBC7T2C4PFXW2GTC5GC91VW2JZJYYCRD0
'SP25HZXKHGGZ2ASKXPF7R7QMG3QPYMQ6ZTGBSCVPS
'SP3E798QFKAAP5PHEKCZYD5AY5HW15AW7R4142V6A
'SP2TZ6DMXKBH734MXFF5VD7N6078H6EYDF0PNF8SE
'SP25XD9T063CVH34FH0QYF6NETRNRT7HFD7C8GA7T
'SP3V42YJ4SHC2EBTSDP5NGPX9YGTJK9DCDXRWPVQK
'SPP5YTH09Z01495AKTQ7C5APJVZF39HMJ7YCV0PF
'SP2R0S8KK8C2B9S3DAXCEXCBNN41Z945SYWXWB7JZ
'SP16CNZGZ20Y85GMWG01A9GYJ3ZHN4XFQJMSTEG8
'SP2QS2YK067BEEH6B6YFTG531CNVTGMKRM9PXV84F
'SP39Z3K059S8G2KYQAD3Z9GP2H3HKMXZB3A22GQ40
'SP3H88PG7FRTD0NPM2SR0SK40XT8V2Q39QFD0S2XH
'SP1Z9205F7ZDCZHM5X0350VTE5V1ADMXYCTTJ5CV2
'SP3YJA41VAY2S0A3CM9VAJHR7A5BFE7V60NXDVFYV
'SPKJDTA43T5P1G1JWDGB6FF8CM0WA6MGRSDCRZYR
'SP3TZ9CQH9KG7SEBK7XB51Z27KHDX4HN93PAWVZMB
'SP67FHS1NMHD972MTPASDPZWTYF53KEXXGMWHPNN
'SPV5B900VMNB18RBZYFM1P20207RWR84YVMPKMB8
'SP1EEWY8WH6HSAH2F7RW38TE6R8B4MK0NQGWZKX10
'SP3B9J77QKV3G30FJVKMMSBYXBXS2VYY8Y02K80X5
'SP2MCQ9BZDM9NEKW3P0XGSN4C7SSSCM08PD71YM8T
'SPXYZHVDB0VA8SZMAS2B48DCA1F9RHAY5J46CR44
'SP20NKHQASBFMKZ2VP6NKBAXF3AFPKERCHN0P81F3
'SP23WSDRYS3R96BHHY7SW7536JRV86BN6ZBSAREZZ
'SPMW4JKPD40T7C06Z3Y2J3G6BBS1YRQCWFVQHAD5
'SP1SRS2RTM3QQAC5GK0D0D88KHPE84Q1S0BX01633
'SP2KYXKG7SYGBCNP1VR40SH7JE8S5DK04EN5B5K1G
'SP1WD4NZQ0B6THFTFDHT4V6NB4SJBAJMDRTV91RCN
'SP2SWY90A53RF4V23WEP042Y7QAJX9ZWPKZ85AD5D
'SP2QBBAVKK0QYJ2958CXPTXQ1GZV9W85BAATY8VGQ
'SP3YCN20HQMJGHE795BFW7ZTE1QSBMPV6CDQ4T1GW
'SP12VTBRY3M9X3HKZH1ST668METTXR452V29XF7QJ
'SP2JMWXB0CVP8C1CEJPD8J7DXQGQFYPGNNT4S2JA1
'SP37JGDJSKPGPAB61YX7R2T1S1VSGRKWRE7YSZNKD
'SP47BJEQ89NS023N8XRZR8ZNXSAGTZKZ99PQ7JZ2
'SP34F10T8XAFKRYX8CT310DEQR6JZWY4KGPPYJYFP
'SPWJHE1HQE0EFAR6EC1RVX58ZX636R7F0WSEBAK
'SP1Q9DG69F46PFHXTXJV78ZZH519HV5P1NCDCFSVT
'SP158SP59Q8QGN23VC8E3AY408KKW03SXBSQPSHJM
'SPWPSB0DHN38VXHJDAGRNNRBS02TT13KQSGJ2Y8W
'SP37PF5R1D1E46PNGA5BB2HKCG50DM8BTD5FHE2XB
'SPBZP190F8DMW2G38GN6BGJW8M27PX6N1S99MXMN
'SP3A9JHFYT5XJ3CBH62PKTBRZHSA2X7Y25V5YSBMK
'SP25XC1EK7S9KY6V1RXJPJ3QX8PERGA8NE12J9S5Q
'SP1AECJGWCYDH3JBVM566GCSP26M7H4GPZ7N8MZVE
'SP2NXARYGV3F4540193E2PFW9C7G5ZDXV4973SYY1
'SP2G4RMDRYR5Y4D9PS9GQ5257XMW50Q0PP1FG4CFX
'SP2PRMDJW1CYYCY33JGG5TC2QY400TMRWS0G080EK
'SP1DPXF1FQ4DNH1QXHP6QCCMS0G1VXZ4CHTSQBS0G
'SP3WE42SDY7AQHNYHECE31SYW09J2946N9NRRQ0CQ
'SP3E1W3F8DKZ8V1A7C8WHQ3TJMRJVR2CM1T1J95TM
'SPA9JBZYEM7Q8CNXPV4AG4GX28P06ZA8MPA9SJ2G
'SP3H9PWVBAYCDJJ5TB346MTE5PNNXPZGB65GME4J9
'SP178HZDRFFFKJ48NFKFNHAFN7FVJZW7J5HMZXZQR
'SP2R1Y405D9KPKPGZC0DY10X8DJMK2G3WZWV5BAKH
'SP2WXNBAPJKAWG3267T1VJPPXWTEB5R9J6752GBQK
'SP1C3N0VY9KBJK9P8NZ1YSDCFZBDV6BBF54GWSEHS
'SP25MCE3ZFSSGZVGRJB5G36YAH7RFT3FBQ9HJACYP
'SP2SWWEF5C8XCNW9NJNVS773ZC331X3PGN9TQZD74
'SP24TAX3BHKJPZ3W1WFX4SHN23T92J90SSX88A819
'SPADNVXQRAHNN2RSBXJZ9HM9N28XZM7R9VQ3KYYC
'SP8359YXBY6WBKWPK65N3DXGMNTTSWM70QY1N7P9
'SP07977F5WK2GRF434K04FWV2ZDEQZD4T7C6C78W
'SPYVKS6M8RTAQVNWT67ZBDQB3PVGXS0PAZH8R3KJ
'SP10F43NWV830ZQ0KS1QAHBFDVWTPXZ4DDG6YCC23
'SP34ZCHQZ5A9E067CFC50G177NY4NGQCS063BEFFD
'SP2TV9WT5FM6TEDCS5C10X7P7R813MTA3W5GAGJHQ
'SP3PSANATD6VACR80D29WDZXQR0GPX04D980N480J
'SP2MY41FNNMMV8D127BEN563GX8NK0BZ79KJZWY9G
'SP2GWDCHC371D066BEGQMKH4D79H9D00XTSQGDKZB
'SP33PMHPXYM5X3EK3VWBJN2T758T3P5EN22JH2QVB
'SP1A7E8NGXACG2YPKMG11W5Y7NZ98VCHS1BCD1FBC
'SP2TFD0ATTGQAFHNFN5J4R11FCB7W5HRHDAXFNV59
'SP3E4WAGQ6Z3HW802H4X8X2TEP7R64KSD949W076S
'SP3TYSYRMNJECEV91F6JC0EHPM2DGTEEWKJXAWSXC
'SP5MQGYXDF2Z76EGJJ6MS9TPVJA8V3EYDSPQJD96
'SP168Q8QB8FYRF3WJHAF20Z853PB8RYG49K2VZKW1
'SP18QZTPXVBWBQ0J5KTG5VWT6B0D9YDTZHTBM7F61
'SP1N6TEK9JM1JEE1NZJB5QPZDP7GSH2D525JD30PV
'SP3M40M3ZB79RF44Z2CSWAZN05EAVSRPECGXCYCZ1
'SP1MRXCVZMG1T75E92TXKWEMR00RA2EP3DZTXZG8Z
'SP6CNTKCP1EP1GHCJA83BKS5GW5D4DZ6Y0SQNV0X
'SP3M6WY2XQGDKR79RSQ3VRNXK12AVPKQ92X7807WP
'SPC8RXNWSZCRVQ3Y99W0C4YFQCT5TV7BV2HSPR1X
'SP1S5NPAC3774KVA643NXDSEZC9YKAHPK2CA2E4XE
'SP02PNERXT2YJ4XE8B6WG2K8DJBB46TQPR4ZDWSC
'SP2N7YX3T6FAN2WYNC1P09JD2J5K1H340P34RXS77
'SP1J8XHF446D47FAW12ZXS08E5AKXXD11PXYTV3H3
'SP1N1KHXA1C7V12RZ074WTTGZQ2DNFZJTZ7P4QM5X
'SPCG05H5QGQBSWTB8JBHQJNJJ8KVQRB5YSEFSNH2
'SP2GRND8Y0KN2W9MPE6ZHTXB5EF214ST9ZXHBGHJC
'SP8PVCZX62B3JA90SCGJZC13TDB3C8WVG2Z0K37V
'SP2J76H2SR6CDZNJSCYJ1HBQQ26FYDSNS9YVW0YB9
'SP2HVGTSVQECDYZM4R915V61XNH6YSN5GMA6S870Y
'SPRXFXMKV963K9960TZCTBKTSZ6TGNDBPCR19AHX
'SP3EKA7QE5962X08P4RGZ4AW73WSRVYEZSY316AGE
'SP1QBJQ5FE1TEAR282QY425ZB5KZFY5TART1RW4D5
'SP2HZXS80T418CMA6RF4PM8G8V77GFQCSBWHKD99C
'SP1K6W1QST3KKJHM4KGG2BN2WZQTD86PC8H9STN1B
'SP36563MBH5VFYY4MK46MGGBFAPWNSW8K4R0MT8YX
'SP1Y0RDPVC13WAG1F4VWVH8379SDER14689YV0JSW
'SPBZAMYZ8W5KA5B89YQ6C8GHMWFAD6SR76J6A4Y0
'SP0FV6446WATRHT4V72RCMXP686JPNJR6CJAWGXX
'SP1Y79QVN7AFGQ62XRTE7XZTXXX3J0BDB82SXVN73
'SP32XKARHM1WGMHSK5TN16H4HT48483ZPXQCRSPZV
'SP3C6G2VQEVH9P2EB5WDVE4X0VCAXRP87WBKRF98C
'SP3MQWP15DMPGEHHRKSY7FQ0DMQ8T223724DGMKRW
'SP14FS285M61X16QBC27HV74GTX642XSY5SHXBQ1E
'SPADD31ZYMCJFWVVA9M0EFEPQYKJ0FYYSZGQFBSZ
'SP3T3TZEK6JPJF58KS7KWVPTTZ2RJNZFR08H5EM6W
'SP39NN35F0PN71FKKGEB5X2DEDB1QN539EP49VJNP
'SP1Q9P3P4GJC0QWJ892S2SF58VTA9NNMDS0PN2PP1
)
)
(define-constant recipients-3
(list
'SP2GSDBXZJQ6H3CNA8YX8BA7HTKX1XZ5V85FAF0M0
'SP10K97JEF56K9QHYDD73S2SZHE240YXCEDGZ7V92
'SP1J31S1X0Q3ADYBMK9J10D2DF3VN23660ZTFYSHE
'SP382CTTPEVCF1VYSJ7J42651CHQ92ZRWQS8DCF8F
'SP1B4B2MAG8HW2GDS7ES1YRDZ5X66KCMC9F0ABFA1
'SP3Y7BAFXQY5B7Y4HY6CEMHGQ5X7K0H106A0YSWM9
'SPEZVNKC9GRDZ9F4D7G326C79BX1NHK3S5HPCK52
'SP25ASYRRCV0WJ6E8M16JWKKX0BPX5PCSTHG8Y4WS
'SP144GVK7G61EDF8XC407AXXJWA86YZJSHDB10G0Y
'SP1EEM8NJ27A8SDDH2R0D0XGX1W7BHV6YGDFKWYYF
'SP2593KS89RQF8GTH83X0KVVNWKR046RWV4MFFKK0
'SP1DNQJ74Q3P15QQY7MYWQGC0K21F1WTV73GNMXVE
'SP1496EYEMX7AP67PV6AK567GAD1NA96YYMTGH09W
'SPK7DM45HAY3PFN33Q4GKHW4MA230NZGTEDM25FQ
'SP2FQKKJR60JWZGST76QYP4WB5H7B5P26QZBPKDSC
'SP3FZGXAHNRXN89D0HX5PBJF1YW0SRRTHKS9A2JQK
'SP13WGKTHAJA75DA72XZMK0WDY1KDYTFP4DY8M9NK
'SP3MAJHDA2JDH4NHYCGTW7DS3K137VS2KSH87F7T9
'SP1J886TAPQ6DK0RE62FPZRBJYGEJN0N1BS0TZVWP
'SP3DE0YTFW3KT6DEJP01X4X49AQ5P6NWJBG8HJ3KZ
'SP108F259XQ9VA2P4N4GQGFQ3F8GQGKK8B538QWYB
'SPSYX818KZQJPDQVS5M0R16F6KEDSCSH4X87PC1J
'SP3XT70H0ETSMKNNR1JVZNMGTW992C4NC2ER5QET8
'SP1YMXBJMBZW879BDJ8F45E4TTZ7AEN7KFGEA6MZJ
'SPRRTZJ0NTGDG573QE0S85Z1Y6A4WDJ72MAF92YX
'SP2M0QCQP0WKG54ES64Z1NSAFSKSD85QEPHEKA9WP
'SPGX2GQ5DKZFZVY15NC1SF95MQGN0WC8H1VN8M9D
'SP3CCSPRFX5B3M50PJPJ2MX561996W42YAE7NAW8H
'SP2AY70Q9VSPZHMJCJVQDF9BZG0VC7AEHCFMDQJHH
'SP3S2AATN0S31RJ2DDCSHEBCV1823HDZF95R3Q20F
'SP2A62AXCYMR9EKMQFETCTJGDGDVQBHXDBNX99Q17
'SP1SKKY9DQ8QWPWD7XC0YPPSJ0YK1BMKK2SE718VQ
'SP693TWWXJXVY586MKCJ8V10WAYBT27C5J22KAW9
'SP3223ZCR60T9V81AHSJW0BV0NTYY86BV6H8HG5J5
'SP19Z37R67ZK7FQ0MRS4PCTB99BVX7G9TQRYT6JTZ
'SPT80YFSBSD0KA9P2GJZJZ5XK4362Y8FM2MHCRPF
'SP33JFCXVQF8570J2V3Z336324FABZRES7JX6EC9C
'SP1QAXNNCX27WE14DWKRAAAET0FHB94DZNWHN30VB
'SP561WK7E6FYE0EP6MAX7MQ61QVR67WKMPVN5EFW
'SP30MKF76HAQAWV8RZST0Y966WKCSHZ6XA9G2BG32
'SP3SQ3TZVV3PK9PMF2ZQ46YJXAPB93P0CBDRT0PAF
'SP3W2PWNM6ZJCWPARNPB4S46130CDXDV4MHN6AFYG
'SP29CTZ201803G68N0CF2JNGHF065TF3R22T0SQMP
'SP2F4PWA7K73DGZE7JE2N1CA5ES4S3YJVKCWJJSGM
'SP17KY715A5PYVRVDV1F8Y72PXZJZTPDAM9WNJY6S
'SP1H7Q3BD48D5W8GW6KZW5VYF1H6YSDREEF29YGAS
'SP2Z2AQM22D9AZ5YZKZPWYBFWKJ7YGVVWT1C5M66P
'SP12QYW9Y83CSRER5Q5ARFKZ22N5ACKK70N29STXD
'SPTZ8ETDRDZ32QFV8AZW6KZ8N4BVNT64RW8R3MZ2
'SP1BGB3MPNYH8KJ6DHXXRRQY3XK19EXRA1FKT3P4B
'SPWZBS3ZTKCVN9DZHMSHKQRME1PQC8R85MKYCH1F
'SP29NF65X0BBXXS8HX7AZGNZSG9F84X4TAVTMSKB4
'SPXBP8B1BBWW8S3S2EK6G8NP3J45GE8APR9BP99G
'SP2JS7JYG7SK02J9Q9R5MQ1K0YDMYETG023A3A2G1
'SP3HQVC4A570HJ59QNNDYMNR0YTKV9A3RRW7W7E2B
'SP315TCG3D16P1J2DV7N8JXMYQMJVB7D0X7T8AZ0K
'SP1AVKMTFQ4NE6PZ63R2DQT5HSQ52TS8AVETJJT87
'SP3581S6SG40900XBF1T0V49SMZD241GR1NV5S66J
'SPH26J4NMMKMMS2VNW0RDRWB0BGGZK0VPVKHMXHK
'SPYHBNB5T6NHWR6V814ZD16VC9RABQPWS6GMTPFC
'SP1ZC153VDDQBTAAQ8VY0RA2KQ9F54XY8DKA3XVF6
'SP6C7BVR8V51FP4XRJGQ1QJ9R8M12XJCKVY6A635
'SP360NH9TYSYDC8SCSPYTP58VA7017YNXWBTCF8QZ
'SP1QKQSM9SX78HHW1EKMG7M3QK531TEYCSR252B3G
'SP3450Z03C5PHDPP6X4Z6J1AFZREGPE130MA04WNZ
'SP29TXBQZTZQNDDA2WRS9CN9B89WZCQ81W0TG9FT9
'SP1CMDB0JB1MNTJ3J3ZNFYAR0AAWM1H03XD8VEX7S
'SP3A62YKRCCPQG64RVG83QHM08XW267F5MY1J7KM
'SP2WEWN73WTG92S0Y5KTBQJYR5DWRP1WP5X8679G3
'SP2C18SZ3CNNKRYTN2KQJRBBZA6CQ0XXF3HH7FGF3
'SP1M3P85DJW5K7G6VWZK2VNQAM6131QXK4D3XQ164
'SP808TA1S7H978010HK59QSS2B68ZZKKHNCD4G76
'SP3H16YE1M4CBTHPP1EQCH5JD0Q3A15F3AGKRK3BX
'SP3K6PDC4B1B9SYT4N93H7REZEE4QZ7T7BMZ7SBXC
'SPPA7GM95N1ZVTHH1DXKE3B1XFNJFGF7647DP04Z
'SPJ25PPMNNVYSHRP9ZG6D6KXN4R7B4JFKQPRSFK3
'SP36XEY9116CK7WWS3ND8QQK8H0KAKH0QMACBBSDS
'SP36HTAJ06EK0CFVYVG7KAWTX7ZT3HW9J97GYFJ2P
'SP32NRZAJGDG49J2YA93TWQADPMMTBJNFGG9A27HN
'SP38JDWRE88K92RCG4PZ484ZZA78E56X825T6FHP5
'SPN0WN5806MMCE8WBN4VM5ANE7RDQ5YYT28SYR96
'SP3PX333ZT2SR2RSG0TJNWPJYN74QH3PPAXSEJNKA
'SP3SBQNNE5SZ8WH11GVR5ZES55AN39CSN7H61YB7A
'SP11XNHRV1H4TMX8HHKJRM4JZWNAAQJ0SE5E28AZA
'SP2GFVXWTC5Y8ZBSA3VN9GEN8EBAN8BBMDTAJ9SHV
'SP1ERN47XHYJCQ59Z9Y2FWG1CG93BBE2DB583S379
'SP2HFQR0PYTHZJQT3337W9XK4EPFSX5CYVZRVQ3A5
'SP14A35NX246MBJB996DES8FS6S8RD5MN5JZ7RQKW
'SPK566307SD068TKPWGKJA3RK5VQ8G27ANF3PEC
'SP2DJB5KACBZYV1CF2C7J62QQ1B49VZEHENG7HN3F
'SP05PFSP4VJ4TN4K5ZSXCG0234X4ZFKPD34HF4AK
'SP7KMG0021B0CYJ0C7D2AWX142B21YXKKG28JD5N
'SP161EQEN1Z6T8MDSBH6ZBWFTXKCMEJM6BCGTSS0P
'SP11DM3TQ1B7A9S7WSKV57M6SXJHBNHXR9QSBFCRK
'SP262CK3VPG6PDF4S96TTXFBVV9Y9Z75F51A6G83N
'SP1Q1KYVX8WBPYPB5TF073DWV52SQT4ARWY9NQHAA
'SP3VX5T1D4ZT2HD35VXEVBTXGFTW31HNA1WQYZKS5
'SP3HBQDC0JFM607SZE1BQFB8T1YJE8WHQXXFPR8P3
'SP24BAV2VYCXR4ZVQ4XFK2PFZ9KMW2NKSDFJN8Q8K
'SP3VG81TN0ETYP427677N15ZERJ4NNABQ7NTWDAK2
'SP2FEEP0RRCAKWD1Z988HTSKBCK0CGFQ46995A9A2
'SP3JC49FTK716JV08MHB22FH6RTS3E9DHS557JBWT
'SP59G02KSRCBTG2YSEMA66AWB4YVBW6Q3A85H2DH
'SP1REGZZEWYNTMPP2B0SY78NP9RD5RN1EV4CAAXYG
'SPXQV5DX4CZ0CYARQC74CXA16N59BF2TGZ5DMV75
'SP3FPKQXQ369Q658NZ8DFMX7TD1V3WGM42N42GRKB
'SP1GNT2S0QHMH8RV29WWPNWD7ABRW1TKAEDDZ2S4P
'SP3QTK5E0TP5TD2VXVRQMGDT6KZPD9HXRSP5TCS70
'SP1X15KVXTSP8H0ASJBQ0BHAGE5GR8DDW8GEGD1R4
'SP389PPJX8YEKE9SHDCZYZ3NRBZTX9WWN6HEN17A3
'SP3Q5T679K0QWD0G6FSA6BM70B6PPZY3GWT974N9Z
'SP2A9DEHP8AN4C2WPSAKPN1556ZEDV9KK3SPCYKM0
'SP1224DK9WPR7J0S67M6H6NAE7ZT3K7K2PN2JJAZG
'SP7Y9V4TFZQ18K7YYSQ58T2KYW5MKY5AQ45R3YJ0
'SP2ZGMNBNFMSJVSNX098SZ91V2A6W9CVYM0JCA8ZV
'SP31MMFVWRCFVXPC32YANYHYSQMCB72XD9T5Q8XRN
'SP19NMCAG0TBQ0Q0FN8J8KWX5SNK7QCFPHY0QX386
'SP3K2YEW2RG276V0CBQN48V7M5DDY550AJB92PYYX
'SP20N4GZBJWAF8F47W72VNZZN651Y04A8Z8V62Z5M
'SP2P9YWJY0BYFFNMGVCPYG4HVYVQT58Q2RZGR3RNN
'SP3EQJ4T1PK4KC1BEN9RNHA3JG21Y9VKJ9B2TJCY7
'SPZ09YWCC4TRWERBH56XQ24ZPH1RV60MAKK1M7NP
'SP2GKRCGHPZT84GYRB5AE2FK7554TRH1ZZ4Z5A1PM
'SP3TY5APBE5WC708C4YY0DNRY86ZWS9KHX0E8V8HQ
'SP1TME7WHQQWV678TWS76H9YYD54HSBY5ZFZPWQ4
'SP10D2DKB39NGJTHGVNMZNJZDDTS1E9SKRHYG01EW
'SP1PZFJPS1GZDKADW9QWZSZSRYEX9KR50Q73PJ0JW
'SPJXRV4TP25X4AB8GNH3PJAGKHFEYEQ5NA10D8CD
'SP1EPTMBVNNATF85NEW2W6V1Y36CP4SARBTBD78WD
'SP35K6K1F0CZ3J56MF469YGTB70BZ34AB9RCJKYGM
'SP2N98RWEMZMBGC6K12XZ1HTGCGCWG1QGRF0BV4AY
'SPEH6KAFVSZY5JTCMGDJZCF40DM5Y2P8X233WY5N
'SP1VN6PNGX3M3B3DG91R8QDVSRVJKD2F969M6KPGP
'SPQR5BFADQJWQ4SKXD6DT9YN0BKEQMX9YFAA5QT5
'SP3FZWRFP55JX4PY87XHE9TXM8Z0ZX9M4MN3B6QX2
'SP31N0V1ZB6N89P15BZADY3SFF9SDDXQYX4R6PFFN
'SP1WKYQ9MRXWKBD7VZ05TGEMPQT75S14DAG4RZA5M
'SPT4Y616Y9TFDTJFJ2QGQM8XPYSB40VZC1HZ51A
'SP1D5R8SBW9GGD19HFYFGYT0ZAWZSAPNTNWRNJRED
'SP26NP4RACSWNZJJTHR2GT3Z8E396FNX7VG2WJ05G
'SPN6PAC55GK7B314ZX43X1BV4JNJ4187NANN1NA5
'SP8398GKXKWGZYM97AY52GEATYXNCCZE2V3XJZRS
'SP5BE4QGXAXM8HDCB5YGFMG1ENGF5ZEJC9CNVAQ1
'SP1XSRBZP6YDDZ46X2TSCKQJJGKJNKK37ZS29SKNG
'SP17XKN8GKH3RVBSXB9MFV7QC44X0ZK2FJ24EVD7S
'SP1SAMH28BGFV0MKBFB6Z3PMNHC3B809ZSD7PRKPG
'SP33MHFN2VWCSMSVER4SKG794J0DXW6M0B5EQC7MW
'SP1JMFDWJT486BKS69T3BYN6QVG0BVSS2FMKVFMZB
'SP3W7H6HASPRV7GN3342T1FXTZ463VJFYW3PXSD6B
'SPWAX6453FEWDBS94JAT0VV8Y0DCWJRPTKM9A80T
'SP3ZPDYRD23813RSM4NBZ98F9AN8HZMAJSFA8G8WE
'SP2Y774SWN1DM4ZES7F3BDQMP2A1FJ6QDNRHAQ044
'SP3SM72BS3133BTNYSWSTEQ1EP44F05YJW0JT0WNB
'SP2VC3TG3E9XKAM73DP1WW13CN8V2JM8DBRP7PKF9
'SP1GSE0YJZ7YS2E7F3DTJ1ZF1P9YS19X69TTTZ20C
'SP2EV542N22F743J9AAR64MYFC7F6Q84MH34P19G0
'SP2WA4Q26REZCNPQB2ZZT3P2GXFHJT3FD5X44QRNB
'SP3GR2BW1B2XR2FRWT67QT4PDBEFR9EBFET08F5Q4
'SP1673NT6HWDKSPSFFYX8YWQGA88V26BNNJR50F7M
'SP23ZBEVREP8VY4PYMY3B8Y3PM907A8MGRS1YJCS3
'SP4AM4RVX6QBVCBJ4BQX3699F6ZMRC789WCJT972
'SP2D71GNC19XFZ760BZPME5ARCWEYXS0RXPW4AEYA
'SP3SZTWECFMN02RFGJCERG8WCE5HEKHQZPX133MHE
'SP2VK9TBG8E20A0YW228PC70GBMSBFHE7BNVMKB57
'SPQFQZDF2MDP21DEX7KP4CG2ZX0HNPMC7PG5HEYF
'SP39W4XQMA174RAHZFQ2V0M2NJCDHANVVDT5H3FAF
'SP3Z911QKTGWBT56JNCB2MP77X6BAN3WN4PRH5E56
'SP32BTY0P05FG040NGGMZSQXGK0WG5P9YJS5FFGVD
'SP1232KBE4HXVG2T5RXDSBHHHM6N6EZCDJJXT6ED
'SP1N7QFZ3F6Y15VZZYJQ7HXY0TB1HQNYY88SYA7CG
'SP0F0T98WYJ6S93TTK96GSAQRFMZ6TJQAK5M7MJ2
'SP2FQD01EH9CY83VRHMP6XFA2GFY32YD77D9MCZTF
'SP3M3B2FD34Y0180MB1VNFEFDD6HDKPNVGQC0BJCS
'SP3MG5QBWZEJ5C50Y1MRQSMD111BPQBQK90X17JT5
'SP9RJNSE465G286A8ZTZBXAAATYX9V7TCAXCVHNT
'SPJV5KX6AQDG97E005ZP7YVPG6149MDYE54VZ6SH
'SP2ZMK0ZPBDNGJ2DFD25NKXCSNX6VFS6GG7FHE133
'SP1JJR5AGT0GJHX7SF4N0GAWGXE8GGTS5K44EX49K
'SP1WY6WBW6F1KA9PHWHB4S5GZDVQQCFM0R0BTKG5T
'SP2G7JGWMRJFHKTJ3KXCSM4MDYBFQJ96G1B64PW1G
'SP3FHCKWA6XGBF5SK1X10PT834222PYRTM6H1DBE3
'SP2N9QFTPEWRGYBN56DK3X38ARG2AZ38R02Q41VNN
'SPD0E0C7PHQ7ZZJ465P0376QGEME6EQE6VSAK7VJ
'SP1WYZJ53D3MD7FCASYMCM8HFRCA31Z41E0ZPAWXB
'SP2DZTW9FQSYFF17EP84W7MVQFQ3GT5EAKP0X6DWX
'SPDQW1GKKK2HSW6611S1QSBM3RQN9JA603ZMR5X0
'SPXZRHASWMK62EQP3CESC3VQ2GQWN71CG7SY9S5S
'SP2S8YTKJ3PA64CPRQMGZQQP55MMQKXFGS39Y4VEP
'SP2Q86AMTBYG305TAHYSASX1T1PTWBTMF88CMCTKX
'SP36RV7VQTW5JVTFAR2PZP78NCMZNNXVBN8MCZDFW
'SP2NWXQJ5C0X7HJEA8XAQR4WENRE81FEPZZ2FHMM2
'SP2NF02FTAE03VT25AV80Z0D0C8RCBKEWKBNMPGRK
'SP19D6WGHNZDQPJWM5R3GY25AV816H5VYQGA7GV04
'SP1Z5Q3P9BY4X3HRJK5PX3H1MXT65E8QYE6H5W8NF
'SP1GHQNZT4TF9SNNEK6BKMC2J2D1EPWKX4PJDQYSG
'SP3SBKKQGDW6T6GN9EJCGYHJCCCEVRA1B5XGQPWR1
'SP1TGGSSRZAJQA13E74C4Y6RY1DXV26XVKZ81PYVV
'SP4WJFSMX63YPK8A051TN0X5MRNKVT6YQQ7HRJV0
'SP20TKEME46RF6FFXRZCYM55EEWN8FVPMNSY79WED
'SP37E51S45J4CQTBNXBQA1DYJJXYY0EKZCRNR5NCD
)
)
(define-constant recipients-4
(list
'SP1A3EY8V5RFF9G4XFS9NHX3XCYJCH1V6WZ8GJP4N
'SP1J35A9GX06YX7PXN0KRVW0PWWVW42667GT9B1Y6
'SP1HA4E426NKA6F9S1CTCB0VM50SF0EBXGGDZ51Z6
'SP2353VZB87GDBQJYNWVHC67FB0ZA8FA4TTXV8BGV
'SPT7BTG0T6NN9Z341TCQV9KYW7DKT5FW94116BPN
'SP3ZPVDFQDWQGEXQ08YYY8ST4DN9K15AWVRDG5MPF
'SP1BT747NQEM8K0RADDB31GZCCRJHDKJCVSN9MERB
'SP3T5F5HWE4HMJKC1MKZ5AZNBMTGXSA7DTXJYTTFS
'SP2DV7YAT5TPZ6C8BZ1X2FF72K8WY062BQ2380KFT
'SPN3HK0VG82HERE3GTE0095T2W89BT17QR9PVVY0
'SPV8DKXB3BB6ZQSS5PQJ8BCKVZWA0RRN3EYR2ENC
'SP15BD46V4M8WE4MEZJ467E9FG4BCEDRSHC63K9JR
'SP2P7KNXNE20PGQV6AM302DXESKKM1ANX7GA21CHJ
'SP24PJ35J31QS86J4XQMMQ0DTC4F0ZCS2CCJ7VG4S
'SP3B5AFS808XWA67QAB9NV9BX1BK214E08ATBSKPV
'SP11YTH2CAAAS4SYBTCBHSPKAYS4EZEKK5GAWEZ5X
'SP3BZB479DBKAH9YS110GP7FMY3CJZAMA0WNVRN3C
'SP2H3PB4R41C0Q0FE53VGJDP63A3MQJ1H16S7805A
'SP3EXXSZR665F9T9TDBMG45XJFRCNJFA8X94KW5TW
'SP33724R3PMT2GBCPBJ4509HV4PQSD0A15PJFQRFN
'SP1PCEAP62X5BZSMH257ZHAPGAPSX3BDT3TDVCN4M
'SPJ76JVTFZYZGZQZNQT8BWX8WC4H44ZZ618REEBC
'SP3ZMKA06KT87Q1MHGDAGE1B0YDGNYKKQPXYA9ZFF
'SP1XJTJ65QJHVK79SZKKQTWCV6BPPMMRHKXWD8PD0
'SP1AMXCKN9GPEE2577TSHB25C0P25ZYY742GGFEQH
'SP5T82FW6WRMB8XBJG20NVASMR9MGCWGETKBYE6P
'SP2DQXEE9HHHTAN365TS8YSWAVZXKFT5KGB7M3ZR
'SP1R1P7QYPJSTK6SXXB56SJMTB2PS6APEC29J1C5F
'SP2B4C247PY679C7H8FVXF9QBGPWS6MNMB3Z3ZHAM
'SP2RW0ZJQGAYM61KC47291TKEPYAJCDEV725F58V8
'SP1FRENXNR7V066QBGQBA0MQJSCAHXSFYF6HAF1EV
'SP1EGNJ00EGRG7T7HQWWY22SG6PFGDX9A4G2WVKP2
'SP1W0NJ46YNFYDE6X35TKRAE0GCGEHEDDZ2TKQYAA
'SP1D34CV14M9T3RM1R9A9JJRV5XFK3EGQ7C1979Y2
'SP3XS44N60Z6BQ6R3MQMXDTQBW0HDDQYH226Y32A5
'SP2M6S7T0KFR50C7WC8R1202RAEV3YGY25CGFSE98
'SPRJZXXXFJ3S7QWVDY50QBNNQ84Z28504PY8P9ZQ
'SP309519DMY535JX2K0MN2WRC14AVDS0HC5CMFX0E
'SP24E9WJ2WJ8TK3A33XGG3AC608QPVF1QE28KNT54
'SP3T0PZB1NQSFXJBD8A1N02Z4TV9B35FG6YY4Z1H0
'SP3KJTHRGPZ9F78NC8YRYSHJ35YR739QT3QEW6YAX
'SP23Z8R93YCQBZH44S5H0PJ6315N4Z6CH1QMFPBMF
'SP3XMYSS7VHPQV9YP2083D3VN8VDH8ZYZYD7XAR6E
'SP2FED7FSMXXGB84D6TBTC0TV4RN54N12PENPKTMA
'SP3EXM7W42BEP3PGFJMS7X2XJD9W5810BZ9N097ZC
'SP3MR0V9E0YWD0HNBCF3QABBQJ64FKVGZ7JJZB3ZQ
'SP328JS1F4J33S85VQG3VK9C9HKXRSCFYMC44237X
'SP353D8ME3T427VDFBZYPE481C8K4QBPBBME0H230
'SP3SA8J40VPGGCFHTXZ25YW6PKT170TJR56BXEE3S
'SP32NPXVCFFX0A58RWKTB9T0N1ZAZ7H55H2QAACH8
'SP3SGCYX51F66WXC2MWEG9NXYNBER97VHT0MGAZ3T
'SP3EKEF2WK35VK887JM1H3Q40D2CC3M3A22BK3AXT
'SP1EGB40F5RMMNFAQV6B8KT72ZF13B7D3R8VAE19N
'SP1CZ5CQJ26YQ4ERDN5G0C1NJ5FK0P6PBV8RDYJSX
'SP1YNZ6RAEMFT3HASR2YZM172H01QBRP9MP1V2B78
'SPM6PV9HYKEY495AKZE0WEYZ54RHH6BJKKAN6XC4
'SP3AVE49S14HMDHNQ9PP7GAF44GD5F307T4TS83E4
'SPEKNAG0VEJP69X8FQH9Q87D2T86BKPKDAE798VV
'SP2BX8H70EZXR9188HKCF8APRDEN3228A7XYR9SXT
'SP7EB893T73EHGM8KV684WHJ4NEZPXB8H5ZZ13Z6
'SP1MCKCCTCRSBSGVFV1WYWJNNA7RW2AA0MB28KRRN
'SP3TCTDEDWAYGX3YPYEJV6GC0S0647Z55PT2H0KKM
'SPD7PZGGR43XZBACFGHA2DVVBCPFY87KGCXZKJ77
'SPJKB2V2PJYTCVEK7ZQTRHB9Y1QVZ4SBNTKHYY93
'SP3QR53WSAY019GS01H8FP4Y7SS96RWA0Y04TVJ74
'SP26CRRM9PF639J3EE5GW9VF7K70CNNFV04NADV1C
'SP3WVWGYZ9NPFJ44Q0D1MNQ3P1XCQAQ0A1KEFKSQD
'SP1PTMA3850XT2QDMG92TCQQF5Z6PAHRR1CBS3ZE
'SPDKRGD1VKXARM1PAGVCXKKM2V2H5GDFXTBV9BPH
'SP3XEN4NBX2TXFECRP3QMNJYKH4YR1ATP4RZE1SYW
'SP35NYVXN21TNT8Q2YFJ1SHT8B1X8SG1Z6FB0AGNT
'SP117DHM9N5AWMCBDEHWY78HMVBQER8X92E4VWSGF
'SP38ZPJHQDFE31EFYXHRT33P2CH2B02VKQ6YBZAMB
'SP20VT7T824PA2M78K5AA73N09ADT3YVCYB9GZGZW
'SP3WB2YEGK3KJH6Y7DPDD4HSSQZQCNKKHNQ0JF6RM
'SP3V13RAR3GEZT3MF8F0CQHVA41X5H847SVV2TFVF
'SP2QX2D0B68Y5S4C2Z5HSR719M5MFR89HW4J9H8QQ
'SP1CEEW937W1BAJG2DXN9RV173J0RE4N4ZZE667AD
'SP4H4ACKABR54Y0D0MF30G11NE82BD4YRFF09QKW
'SPGBRPPW1VJDDZ25E78PJX60ARF6CXTKPN2MTGW8
'SP24BHQ9VP15M0HRVXEQTWATN2ANDZVE2EPWJV1PF
'SPCWP8W93Y0XAN3E57ETCH8WVMZ02Y3BWPYQ04C4
'SP3ZK5CYFMY1CP2RW8DBBTA9D30RMXCQS0HH931RB
'SP28D514MZBX6EVDGEGH034GYWZVAER6FQ0V4B7KG
'SP2FV5YK0X81G1Q518J4NGGTWJ3HNQS38MRZYA8JM
'SP1DW812KNCBF0VAXFX3HF234WP2MGDAN8PBMX88G
'SP1C2VGP0CVHT2V9ZTKVGPWVRQBVT647RYRNRPCZ6
'SP3WSZ1YR28BY0KX8G6S3JXYGABTD4R8FAGWB5A7C
'SP30P6ZSN6VW1JV7HRP663CQJBATQ5HDREVBGPTX8
'SP3SS9DT6HKFAFXBTM4C2VAQWJFQEH4SPVK3EK2S5
'SP36WA6M2TRDP60H6YFR36FA2SBDXE1RB543JPEW1
'SP3VMRGPSFSRJJW3TDXD1HMYRK8NJR33E7SBQ9H9P
'SP2HSDXN6PT3ZFSGJ222VBEM7CWY73GAFPK5S7M5J
'SP1GZ0DDK0SFDVBEMPSDW2DWTRYC69HTXFKGTMF5F
'SP3CBXYVRS65AGHZQBXGEKPMHTX5A6S1VX6BX7CQG
'SP1EQTXTVDVXRFE3XZTZBW2HRFV7G4DA6YYS67T14
'SPG07RZVPPCV2WVNNT71VVP0R3QSH6982FV52PDF
'SP1MQ3CABF5J3Q3JNKAHFEE5M97JK3S784062GF6P
'SP2QJ11QZY44EFVE6NYPXCFVMD116VETY823B2VT9
'SP1Q1JNWSPV7KZEJNRJBD92RZPTVY0G0EFSEFYRJ6
'SPSFKVZ7AT2KQRRM9M2RVM2RP9P43EXBK8WW4A3W
'SP2TW9K5VZ64D5D333SX3YXGVPXBPAVEAX8QV1DEE
'SP2VVV58S3GTMEPTQKQZKC3CM1V15XRGHFXMKSCMC
'SPQYQ17FBG2XR7YXHSHKDP50KG8A5FFHB4P03R9V
'SP27R2VW4KP8NRBDSF1CJTAE665MF9YY0R1T67R69
'SP3DHJR439EP3FAZR865SY5VPRM86R3P6SD6GEYFT
'SP2819VM7R7WNJB7T3VVFEDKB9WFNV7M9Z7X8N8KG
'SP26S4ZJYPF6HTK1H7X8V08X0R3TBGQZJWRV64W0D
'SP12XE8YX5S7ZGA578AP3HB98PKCCVQCSSWJKGSQX
'SP3WNB62W7ZKZ9947XHDC4AR617D6FWDV434QEJVQ
'SPR4KGNDMYHCBYDXCPNKWZG68P3CZK8C09FEHPPC
'SP3Z1WVCAHNM3K7FZRP64B1ANRMHKS8BJPWTGVA51
'SP1QHQCDN3JRFPNWVGW6SG56J2P91DS99B6BHCHQ1
'SP3SW2NB1RQ664XDEQS8C97KTYSFS1G0G4SK0PP0P
'SP2GMXRVXXMSBR24D0C88BY8VVM3TZX4X95M76Z8Y
'SP353P68143GK0SAS95NE45BYFP400QQ0M63RS0MC
'SP1PN2QVE0FXFRNVGX5YJCQFV2V1DJ3GAYZ2FQTTF
'SP2PRYBJ1BDJ33S5TW598CSK3SKGA1P0A4F8CDDY8
'SP3DDCGKWZXWQR69DEWV80JCCJJ2FC4H7V1RNBARE
'SP1Y71SA58FJA0GWDYG4DHCHCC8SGYMHAD9M59VA
'SP2FZ154ESZ8NB34RZ3RS147GD6DSEYNE8DQD0XDM
'SP3J47H5ABNMKCJC61GJRGT425AZEP5GWM22GQ1VH
'SPTRMD8SFWW3NQS6Z5TQ0DEHBNXQC92FZYTA6Z9J
'SP15YWD1JZHSMBP2ASPFD9MGNX7EECNQH7J266TWW
'SP21FCYYWC0JHGCA293JV9ADATQGPM07639306X80
'SP3MXK9W29DZK3MWPG4RME13FR72RER1AANZ8FTFE
'SPWEYPNV9E7FVAM87DSBDYB4NT4QBW2DEA32TRZK
'SP2N0VHG2P6KJR179ZX063D7SJ9CK7CPEREV5ZEYM
'SP2HY735VWYPCFW5A5T8EB01P392SB6TAK4GTGD42
'SP2SXYW069Z8110KVFVWV5BST9QXMPY19PATH5VRA
'SPTBYDTZS8H812G1T4139C9V9Q4KZE1AEAPC9J7T
'SP3WV1NJZFN0E9Q46VE6HVK25HC7Y4F3XC3QEG5BK
'SP123MZ96K0ZS87A6DMZB9PPM4PRHQDHJRGWAGZYW
'SP299P7NJ78ZF6PRVWT0RZ68PKYC7XR6W9FXTNQ05
'SP18ZC09NV4MHYXCF63WQYMDYEYETSARKDP1BTPJX
'SPBT1SFD23KRE6W3EYHKPRNT976F5B4G597B8S2C
'SP3V33ANNMB2GXJERH0JP7S57D01WMJ9P7JCEPFA9
'SPZ7CXE5GXPYPGT00N44CCM2X1GMXWJEGHG3WJF7
'SP2A7MY33EKSNZQST9A16D2GPGWXGTYX4R4EZMTAY
'SP3NX54B0VA0G002FBJE44C1ZJTV7F34VTPS7NB4J
'SP2M9SY5HFFH7ES5V3KX8F0X59PP8WZPCA4P79AS5
'SP163XQ1AAVKJKFFQFY1J7WAQCZ1CZ4CC8JYM2VCA
'SP3W1VZ92T8PFCJ8ARKWY01XKKHY3JDFJGSZ025EJ
'SP3B4NEC5EFGZGCSK4V68GWY5CC5VQN3FD9DN07AF
'SP202YB85K5APZ5TJ91VC9REETERA8M3C8KSDSFR1
'SP32ZAX9M387NBS1N4ZW6617ZX0G4GZEA1GF6HF0H
'SP3XFRCTQMY45K01XWE0BBF5XJZ4AMRMGNVGQKAJW
'SP3JCSMR6HZ02PD9H7AMK1WMN8D1XF1HRTK6JBMK3
'SPWXSXA0ZE34BC7S2TW4XH6BRCJK3J0076T8PTKK
'SP2GA633RW271E06JBC28VWWH4M7WSPWN5JENH2PJ
'SPP6JCM7WWFFWVV8KDA19MEPKMESXABQ8X7W1YTD
'SP131XYJW5P3DKKC9D2E2KK0PCYEQ3GPCBFVB0R9M
'SP18ZQRE3N8RNMYGMASDZXV4XGYEZMA8JSHAK31Q8
'SP375CHEBNC1TXCPTAGR2SCZSBWZ3Y1SVR0PX27D1
'SP1H5TM8XWJF4DNFR34HHX48YFJBFWM0HN7R36HS5
'SP3R9MKE03NDGXFBZRPDME717N5NSQEH3PMB3354E
'SP1F1FX4P1WHRCFQEDZCJHFB2ZFZT0XS39ZS93ZGK
'SP2RB6RYAA3X0S4552BKTPFEMKE5AMJZVA4GB20FT
'SPY60XHGPMA9AC6SHTF4D76Q15RD7BNR52Q6QKCP
'SP3V1MS48HCX4AKXA3RBJ3T7G4597SYDA57FQ3C2V
'SP1RSGJ1GHN26M850SBFQHB2JAHX8GNSCY8F3R8S2
'SP1066NVJTYEMTWJ9JKK2MMTTB8FQE6EH9YM9WNZH
'SP1HZ000YBJRR4H5PJQJDGME09Z95M2ZA2PGWJTDS
'SPMKTXHJHW6Z77KJSR052W8QE4NBJB6CAYJ2XSHC
'SPFKXVTCXEN7RRSYEZV0X4KHG1V0R5W3CMQS3J0Y
'SP3H9PSCFFTE2T4BX837KHPWXAMZMXGKCSAGMJTSV
'SPVBMC95CJS103NRXNPPAX2QX2QT4HMMC05MNFJ2
'SP3NYY02E181ZSEKVYAJCSH0WK9MX09SPSD5VGQ99
'SP138EZA2WY5AF24D54P9KQ7VEFTX4SRTGE6PH1M8
'SP3N3W9S7RRY2BVAW6RA63KN9T1RC33TVVF26NE69
'SP3NK3PHHGGT3RZTW12C0TQK83F6Z0S4K48S6H2R0
'SP3M1A4KPC0X76YM546PT4ZWT1Q0DDTCV2MMZTNP
'SP8W0J12H8TBBM3SKXPZYG2EY3CMQ19CNQZRPBG9
'SP2T1KZH7VQ5JPZ1MGMFRWJ7R5J7V4KQ7X8K3KNW0
'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB
'SP1PQWDQN59704VA2XC12R643WKY5RF9SVD3FAYA0
'SP2NXT088Z3AHAXWWDB3BEBNDNEGBRRTHDV7FSFED
'SP3S9GXR018XD9GYHSEVJQRFJK6YD3SYGXMZKG12C
'SP32V5ME1W7ZKN9ED2GN31C1A4PG0AK02H0CWBDTE
'SP3C3RKA5KM6WCPNZSTGKXVBGC4H1KAZE91QECJC6
'SP14EYH7QSB95F7XW059STDQRRF2C66R47AGP45FV
'SP1QY7NXWJJAH5R8WQ50A8WAKCTSFH7HQPPQNV7D6
'SP3WAS2D7ZCA0QTDZ9QHTNVR2D1F5MNA1VZWV8ADT
'SP1VWZ87JH5QVYB1FZ9274Q597XR1ZAQ99KGCTEFS
'SP1RGA2S48X93CCJB77TG439MR0EAYCTGA1CCHQBE
'SP1W75M0RK4BRZND83MSWFYQT9QDXT02YY5DE8G7T
'SP1MNWER5ZT0KKYX8TKY3A6ADQDT1M0AHT8JEX9MG
'SP1BJMSKV5W4HWDK971FAXCCXG3CNXK1R59TBMA2E
'SP1YB256SGKB6ASHG7N4F58ZR0VXT47FCASDG3H10
'SP2V16P4AS9HQZN8A1BPWP8GX94QBPPHDQCH8D88
'SP2ET0AESCSQFC7SH56P4BYEC4H2ZZVGXY1CTWCSS
'SP1W6SV3GQ6MAPKRJV2WGV9SDQZRKA3DKEHADH95A
'SP26YHN76SPRMF4CBNH04W0YEW1BEKKAAZGJGMB5P
'SP21K1RWW54ZTYJB3ANR580NVY787CHTTXF7PDF5K
'SPTBVYPX2M8MM6JV7231TK4H49R0233GDDJYRS9S
'SP2R0Z8Y0BVC6JRCMT1FVPT62AR61DD4XGMNES6F8
'SP2WMTYRPAKWMG4PMEF73KEBZ8RGTXBP5NNPBFP4Y
'SP1FRDGJK6JTBA8RS5S4FH2N4BDMFPKZYJ864TAAC
'SP2E0MTD0Y2QMEV9ZNHWQZ20MA3BVMSHQMHEZXS1X
'SP1X16Q7ZYKD33KR8AYWFN5CK791WN1GSQXZPWFDZ
)
)
(define-constant recipients-5
(list
'SP3YE8VY61ZAHAYBGYMHXRB8SR64D748BZY3JCGKJ
'SP2AKG3R60WB5CH5YJE9MX994D3ACNGQT3BRF0Z9
'SP3SFGVBAGH0M7S2VK1WHGH6N3B7MG0VSRNM3S5B8
'SP3CH99DAB8GPDJB88QXY8H6QQVJ7BDE6E6NT3WSJ
'SPG34S51QV6YTZQGVRPZY9323MY4BTCFAFP1HR25
'SPZ1R9SRMVGZ71GHXB5E9C2N5NRCZD38FEZ2WFJ1
'SP2EFD5E83GCF34BR45W56GQRD8N3S85X9QQFD3CV
'SP12ZDM8G31HHWJWHDBRF2HBWAAMDH7RVFV66R9VR
'SP2Q3FQ6VZT7CWVN09DMDZBJ0SV36MD3M2ZACKC8H
'SP3DAYJ64XHK2Z2P9GEJH5QBVH9FT8MN90S2ERWKB
'SPE9RVYZX5SKVW9E3C4ETT197EHFN8YDT1QJB5PR
'SP4V7SWD52RPNE2RQZWKW428AK07E70QE0SEYNF4
'SP164T2HX8GKXM65DWZP3YX8Y0TAE0RB1NGY2X7Q5
'SP1KBQ25SBXBAPG8WF9GDT83ZYZTRDZ0AGYWSMN9H
'SPSZ1FGP7KB6969YNCD7NWXX08WGK3Z9JB58JJZ6
'SP33QS4YETRMKSPNFR1R7W7GRSA6XY3E4YD9G10CT
'SP3EEK42K7CVYW3RC77TY86KM4AY95BSWTMBQWHF7
'SP1JBCHKMV8EBY04WDCZ83WM0V15AZ192TF151Q3Q
'SP3K1RVH27KPVTCEDVWNKRQBTC8TGC6SBAZ6FJG8J
'SP72TV5D71S3R570D0TQPXPTNQNY7YEQXGXG1JR0
'SP2KQB8TCZ2RZETECC7BPPPS5JSJ2RF4APMMAA3VN
'SP1EF1PKR40XW37GDC0BP7SN4V4JCVSHSDVG71YTH
'SPRTCKCAPA9PAV4DPVXHNST0H0NACV6T5A8F9Q68
'SP3XDVBGH6QGDAXERFS6TS33W1SCJPBKB95R5M4MT
'SP3PE4HQWFSA6ZX4KX9YG6ANTMWXCSNS6DR23WST4
'SP1RJF7RVB2NTQN5WFQMPT9N3D4BYFVV6HMF2JNNR
'SP1KT5PXXW5C6YX30KAZXX8G47WNM40B5K76RJ4A5
'SP1SJFW3TTRJ9QZM2J53GSNV7C6SDJKCSE32HT9XK
'SP13667CET42S47PY4EPW2M19RF0T2WRSWTDCQ6Y0
'SP23S9VTGFK8522NSSN34QTCTW6B0DXY197H87HHY
'SP22WJ2B55E737S5F0RTGPR7KTGM3C0JG2WKWMXB1
'SP33YBFPFNQVP554CMAYNJPNXMGTZ2KS6DDR8A74S
'SP13VR4QFY2FJ8H8KJBBNE5A1PQXZQJWNP2T732MN
'SP1QVRJYJP9V8AJ4DSMB98EHFY5RGHCK7X8X725A0
'SP2320MVKTD5C659Y4PYEY5WZRC054V05T3SVY4Z4
'SPHQNCW4XYSJ5Q1K3SY55P0G0V5ZXD6JH94WC909
'SP1F7SW59C1RFSMG14B376CX5FTVJPGZA7D5C80DK
'SP157AF7ZXFKGMZF3XX0NFQFSBVC4HMQA1GZ8VXZ0
'SP232XVHE81EPWF7EK7VEKSASK3SSRHTBBRWW46WB
'SP2WG4SYFFJSB424CFTCJMMP3VBPA786RM7SG1D64
'SP1WPMVHBYECT5H48RRNK5BMN9EVX6F9S09WY3CGC
'SP2GGS15YJN1669WN9AGFSD0YQ3BAWDCXM3C8ATS5
'SP3YAA4T9TPVXZDR9RW0WKG29TN4STCDP46101Q3C
'SP2F7DZXGFWM7MSN14DN7EC9Q1N81TTK7Q0CND0RA
'SP18XN3NH47GCD803ZF4F34QQKCABRQKK934W2SRN
'SP2C0VRV3ZE7M3KM4XGCMC9QT6TGETKTMMY6W4Q84
'SP3JYGBHVQTKZKRFA54F3Z9Z8KMY6QFY169VMC1WZ
'SP2F232WZHB6WWWHFZAH368TF8RTSQGCPQ9XCK314
'SP3T2Q8PK118V7A1NF0BS4TH7R2DQHPDSNZ99R5CB
'SP265038ZFYVA0SKK6JSESKCX54CV99SBNPEAC284
'SP36JVZSXW41NYR9X1GS7W5GKG1XDH5EP7CF20BDQ
'SP1KPV5ZZFSMYQ1R8MYF69HSYFF9BD60DY4H60SCJ
'SP1447N9PDJXDH06D2H93KBTQJ9ZTPDYK5WYPWM76
'SP11DCGPJQGYY3ZZ70M2XSQEH2G0FKMQ6A48YDBKC
'SP3VRCXCQRJ24HE9GTD6BGZ75G891QHSN7SERKZDV
'SP0E29Z3VGVQCWR9MPPFDTQABHT03QWNWPZCKG2S
'SP24J36XDCBHCG9ZV6M5P19MCYXG81JMFDEES6VAN
'SP3TQMJT04KRGQ11QM3QMGH8Z0SJ1PM1651H7N16R
'SP2N9NMG4PNJ8W0B0VV20ZWHY2V6VVK3YM5S2HAZR
'SP3P9274FEMMGXRT332AY7DD6FSKJQZDBGVSMN96T
'SP12172V0RAAB2M79CS96Z9WEKYPW8BZNQ1KXPPP1
'SP3YE2QZVVSSNNCG2CYAPSNDM0SDMZ8QW1FJFNVV5
'SP2ZM98KBGETA3EW8PQAEW0SZX3MKK72ZXQB1MYH2
'SP846WE71C41Q2KHDSQ9P7MSJ274DB7D3B9GSFVG
'SP1JREEVXDSE4SQTPTX8N07XTGK3Y97SP3N51S53N
'SP1QCMFS4X8RM65FQP02M7WGDHBZR5BXN8NJ741ME
'SP1TDKC9KYMTABJH9P1BQZW36XCW38ZBTV5477F0Y
'SP1MD9E7H5TFKFJGRRPPNHWH6ZMVAGR5CMPZFM7DS
'SP3X94H32FMS0G9JKKB7FB0TR98FW9HDY107F0SXR
'SPGAE1V02VYKK4ZEG1QHKJ5MXXZAGT2XYFK3VVXG
'SP2RTE8W3QG1HHY9MSQ3GNHSR9H47KXW3PR7FK30Z
'SP1NQDT8GENS6RAEQ3FR5N1ZDNF78A29YYWTX64WW
'SP3WY5KM5263NRQP03R80JQN524BRA5YBYP1GDBTH
'SP1B7FFVFHHBCB466DVJR02BQ7PS9TNW02YA29DR3
'SP165AGCAZ6Q21400SSGF1ZG93R5A5C4WSED806G2
'SP191CE72Y1073H5BC9RRWBWJHCYGYR7AMHTB5KTA
'SP1KYZZ2TQVJYJYZ5HEVACYYND77PTCVJSDQ2QGNA
'SP1SR1CY3518HK95J3SVJXJ37RJD1TC8V3K4Z709X
'SPKPGR106MBBY701VSY22AYMCVETCKW7Y0B5JD34
'SPWJNJGY0ZW5EDTHRA2KDPZHS54W2THW5C9CEV3Y
'SP13W72Q7JJPXK7YEQ4QN58PQTCXEH8E59GMNGNGZ
'SP1TBJPRTW28XF8N7CNC5VWTFRQPB7GX59ST8T23G
'SP2RWVYPRJAJY35179GS0JNXXX2K9K380J7F563N0
'SPASACA6WJ2W43DJB90EF63CZZBZHTWZJF35YKRV
'SP1A2H2YSRH6ENHRBSMGH2BJ8SW84B4E73YN4A04Q
'SP292959JHVZWST7B8M8FESEB9RHWN21X4490Z877
'SP12ESBTVY1B7BEVD6XHD22T1NFXDAQV6B5PBTZNH
'SP3958GDWK96C9M9HH75JR1DZWVRFGJ9XWR83GCWX
'SP2FT41227WTW8M8YZS3MX2JEA601JA7202SKKEWF
'SP1MRQ1QYK90A61RC80PFT80JM0P4JZQRQ3N7QFZQ
'SP1N0XP4TF3YGTFP8TXQKT1CG7S7NRR6H07JY9JW9
'SP3Z6A9JYBTA9QN2BW6Y8TY1WTSRWX5RWWF3ZX8BT
'SP1TVT6MTTCEZBG84YPYTJ29RMGX37PX2N2VPCXXZ
'SPMAJN7E64AGSYGSJ8SAFAK5MFTDV39D75GGXS19
'SP12SFT6JH0Q3JVXYZCM501GDWWR0X4CXHVA68FGV
'SP33K941BAEN9P0MWN1KEDKQ6NDREHV79ZBWFMD2G
'SP1MMJPFP712Z1E9JQPZAW79E4X5V1CJZ8N8EPFYM
'SP31JT68C0VVEQHSKX2MYVR8FY8PC6DYN1G5JA6FQ
'SP31595NG2S4MCQRNMVST27GBAC23JPHVZBK5HKZE
'SPQPX6ZB6RH2XP61R1SX3FFNFJPF887X565QT2CZ
'SP2ZB62A2M0ZQR0CJN8TAKE6GK3AZ43X7T1YHZ5P3
'SP184CBSCQ0T4Y96DP1BAD5PAN05Q20HPW0TVMCTT
'SPV6DYCVEHWA81ZFBTS2VJBTPPK0MHD9PJ9CHZZ5
'SPQ213CQVM4ZX18F3NG3AXAA724G3NHAPSBYVH65
'SPESMJBK4PX7ZS3W686YT7B4P57BS2PNW7PVYS43
'SP1J5MH53H3H1E91RFCZA8QMZBTMN8WV9NBXQ6HRN
'SP20HSVPTGC4ZNWK4MKMY6MAFW8N613YE8RNQD78
'SPHSJ8X8NM1B59FRR9H643J93TC8G75F3TGWNRJ1
'SPCJ3ZRT67W0XSYHF15H7CE1EBCADRNMRQ9EYN6W
'SP79GP9CFKC3RE8TH5ARRXR1R8NKQPC4K3R9M5A0
'SP3J308K0HWDQ10PDETZ3DF8Y197S3QYJXS13VWZP
'SP23WHQJB9PDWNX3V6DYR1RS5SCM3SDKTRSBES0F6
'SP1WPHWY2BQWXQ3WWN77AEQF3PT2NN1APA7GP526M
'SP3WAA16HB6S6VFVPSMFJ2MH1WKKMP2VRJYFA4CDN
'SP28K5ACESEB5ZR3753S4RPV32ZKJNTHSWG3KBJWQ
'SP3BX5C44X3PSDEY52XQYHRW56HHJ8P3BRKCZGE8K
'SP3T32670FWXZ98NFPAEGVW83TNWT4ZSTPG5W7P9M
'SPNV4BQJXCVDRKS3BKN0PN0DEDVFV6SATFKFYWGW
'SP34QHCE1BTFYGSF04BND0543D8EHDG5R0Q29W9SY
'SP1C1Z1T5GC1G2SVED3SPK89TQ0N6J1088P141RQR
'SP2TZTM8J6DK4SV9C98MAT1T85ZBGE41C63BDVVBP
'SP6S5QDKGRF4Y2VYR6HWB6Z8R2F34CQGBP4E6189
'SP2BMWHJMV40VKYNZRNFA53YRZY6W6BJEVCX4DDRP
'SP1PWZV90TW28EEWCST1TC2C0ND8W3E7SEPWE7A8Q
'SP3710FJH8QGGW184J896E40Z0M8B8P3G2QCAXTR
'SPPE40HWXRDTVEMBXFKZ61FKEN41SY412P1ZDXF9
'SP3BZHG88721DS6GV6WKGMJ1SQW3482C6MN4V46M1
'SP2AZMV6DGFZQHVGYVV8YR8JEZZ6M6FBXDF3DA6S3
'SP1GPV1JQYPCSQX60KS456TFAFEQDR4T7SJY94JCZ
'SP3EB0SP8C7J6SFDXC3ASVY5P744YFCTJMG8VPXGM
'SP2FZC0H9NA6Y4CG49ZWKF98JSKN6WNY1CQNCC5VD
'SP1S0AR8W3BNB7GCD9Z70KTT0SJHB3W8MVF80W66J
'SP1W7XXXH2HS5AHABBK4AFEGNY985E966325EMG53
'SP1RT9S7YD08K44CA5F2GT5BARKG55SBYXKR0PW7Q
'SP2TGDR7E7EW5PKYV2XDN5CE4WNRGKGJ6WW5AQ1NW
'SP2Z99YRQ8X263KR67SNR8NJ5J2881HEGJDYQBWF4
'SP99PF2EWRWAFWZCM5SQN6WKEKNSJN0CWW8343T0
'SP1887JC6VA38WKNHHN7KA078J78BK5P0FFYVBPZD
'SP10SFNGAGK9TPD5EZMDX41Y0PQACM8BVNV6VYBSC
'SP3J0J8DX8ZPGHJ5P96NF1JKASP3ZN8H2EP3E5XCK
'SPN8895W4AVF2MZE6YJYCA83GVG4B2J0RJ7NQPVS
'SP23VK2JRSMEW1QPFC9Q97W8Z0QSMPZR5EATS07S2
'SP2BPJ15SRV7GYA7V895NWRDC45VTC6DTBHCNSW68
'SP1YQW4M0H5QXZ8JYECJ2FT3396JJPZESMJM62HY7
'SP2NW29QTD0JDQQ44XVMFDJZ12WPEW44PRACHV82S
'SP1EPPK7DDJ660GJH64YVWMY6RQP7DD61C2C5GXAR
'SP1DGQ7A8PDBYDM2B7GPWDYF6MA2VF5P7V124Y39J
'SP32C74WRQQPKE3JXP80R60GX287GJGMTMBV8EMDS
'SP3J8XS5HF19SSC96P3VTR7D2G5NCNX6CSQC0QACB
'SP2FQ1HH4SME0A9MCSZ653XH1DMWV4ZEVC85SRFNB
'SPCXZMB170SEXX2HEK510GBFZ88N4VNYP6ZMRNEX
'SP22WKNCX8N7CZJ9QJ70PP5RCK068E9DC5V1RNCT0
'SP336FFKRPGH8CMTEJ5JMWMM0DR0JHFKVNQG6CRR7
'SP3XFNJX8AN7CJWQVE1P2MGHB96VS779WNHYW78H3
'SP21KZK5EN9EW7CGYB4XSGNAQQH83P80B2JZWMF2H
'SP22C1KQQWVNZ32RFJMRFZMN6G038P64AKJPQKK8C
)
)