(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 (pow u10 u8))
(define-constant recipients
(list
{amount: (* u20 ONE_8), recipient: 'SPHGWKA20R1VMA4GWT6WHJ6BYF2SA6TMGT941FDN}
{amount: (* u20 ONE_8), recipient: 'SPFVJ61YTWJA76PB8QH8F2XNP88FM3X7EMDMQFH3}
{amount: (* u20 ONE_8), recipient: 'SP1H4XQ5ZD9TMX3V9SRFRNDPR3PCX8KMH4BQSH6PG}
{amount: (* u20 ONE_8), recipient: 'SP3GDZ8P094M16XA5ECQ5XMCNX8VZFDA3K3W3PPFM}
{amount: (* u20 ONE_8), recipient: 'SP3Y4DWNK7PG9YM46SMXA870JX5K9CQ6DTHKMAPMJ}
{amount: (* u20 ONE_8), recipient: 'SP10R5AF1KW494VN06QAMWZ92X7YFCHQR51H541D7}
{amount: (* u20 ONE_8), recipient: 'SPM5TD54NQHR2NJ81TSWK16CVH8CCTYBS258D69S}
{amount: (* u20 ONE_8), recipient: 'SP3J5RHZ1XQB59VTV52RC8B46YNPJY0NM4FNXD6Y0}
{amount: (* u20 ONE_8), recipient: 'SP3T39DR06MZ4G1VGXXCP0Z4RM1T1SYEDGEX3EKZ3}
{amount: (* u20 ONE_8), recipient: 'SPHPQS3EK1KXRN3R454QK9F86AKRKA1TKC9VEMK1}
{amount: (* u20 ONE_8), recipient: 'SPS98J27XQ2RP12HAH8FNRW0C3A0HKH8MFWW97X4}
{amount: (* u20 ONE_8), recipient: 'SP3ZWAPBJD07D1KWAAM3P3XB2B1R0YFCCEHZ35X21}
{amount: (* u20 ONE_8), recipient: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR}
{amount: (* u20 ONE_8), recipient: 'SP2WT0N48VR9VGVDM373W71P1BZX7E0VJRHEZGAH}
{amount: (* u20 ONE_8), recipient: 'SP3NPXKC8VEDN29YRWTEC1RYTMP8VQA600X7KB0Q4}
{amount: (* u20 ONE_8), recipient: 'SPPREEMM2PZ3900RSD2Y9RWX5D1SEHXCY3YZ1VTE}
{amount: (* u20 ONE_8), recipient: 'SP2VFRPK61M5MQAFSHBJ4QWXYGDD20RV55FMZ63HM}
{amount: (* u20 ONE_8), recipient: 'SP1ZAJHPXBQ6084C9ZC7Z0XDN086XW5V5FEVBNCWW}
{amount: (* u20 ONE_8), recipient: 'SPRWE838CR3N0SB75YG15XVDRNEVN68XMKXQVVBR}
{amount: (* u20 ONE_8), recipient: 'SP2ABXSRYRTCSP5TRWQMB42R2DJVA4XDZHAH0Q8B2}
{amount: (* u20 ONE_8), recipient: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE}
{amount: (* u20 ONE_8), recipient: 'SP1A39HQ34AJM7ZK90J356GWM5HHT82P05CPF4V9F}
{amount: (* u20 ONE_8), recipient: 'SP8FP29MAJ450JT7C91G3N6XRQE2XFAJ8QQB4YTY}
{amount: (* u20 ONE_8), recipient: 'SP15MCWY21M2PBAYHP3WVH84GSV6B7AWGX49ZVN6N}
{amount: (* u20 ONE_8), recipient: 'SP1M09JX0BXVT05RYM6SN6XBVTEM4BCP3N2GGPFQ1}
{amount: (* u20 ONE_8), recipient: 'SPX9QNB7HJ0J7KESD5JVGF1YE6TAR4ABAAHN9RJZ}
{amount: (* u20 ONE_8), recipient: 'SPX6AXG4ZXGEJP0PCHW3Z5BPR38S4ES6TD2DZPQS}
{amount: (* u20 ONE_8), recipient: 'SP1JAQ9STNPHPWSFVP05A6942Z79JT4105DWDEE9N}
{amount: (* u20 ONE_8), recipient: 'SP38ZXGQPE8NEN2PJFNMZ0W2EVBJZ8ND08CAHEC4M}
{amount: (* u20 ONE_8), recipient: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3}
{amount: (* u20 ONE_8), recipient: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC}
{amount: (* u20 ONE_8), recipient: 'SPCKA43F8ZQ2ZGG0RXPY93C6XFMVD7YPEVKF031H}
{amount: (* u20 ONE_8), recipient: 'SP2A4QSS2HQJTF5Y8BGB9VXF5F6MPEP28SJYMF719}
{amount: (* u20 ONE_8), recipient: 'SP3E5VXZ255NRQA173JWR0KZ4N9CAHAMPER6R768C}
{amount: (* u20 ONE_8), recipient: 'SP2XXX96JY91ST208QSJXGEF4NVABHTGAZ6AXW14K}
{amount: (* u20 ONE_8), recipient: 'SP1FECFVC2H0GJPMDQNPEMGYTF2MG7NA1AH23BES0}
{amount: (* u20 ONE_8), recipient: 'SP30A5KWFY7JW4Z7SV9V6N6WQMGX5180GJD0THN0S}
{amount: (* u20 ONE_8), recipient: 'SP39Z3FB65AW5JVR48YYJ7F6X9924TDC4SYDX70KD}
{amount: (* u20 ONE_8), recipient: 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ}
{amount: (* u20 ONE_8), recipient: 'SP2ZGTR3XJCVZKYFZNBPJMYRD50RVJHJEWFKFFJJZ}
{amount: (* u20 ONE_8), recipient: 'SP2R0GVEKYXEMXASC1HQBT8QAAFBW312MJDPKWDGR}
{amount: (* u20 ONE_8), recipient: 'SP2QACKR09W713JW27NXYX4JNEHKB9S43P6NN4YWH}
{amount: (* u20 ONE_8), recipient: 'SP2SPGJRGE2DMJ6NTY6GXDJGPMAW9G7MHAGW8G47Z}
{amount: (* u20 ONE_8), recipient: 'SP1R8V7HSW9CT02P9S7KDR1F18DRPR0YS743TMBF1}
{amount: (* u20 ONE_8), recipient: 'SP1VP4M9E057TV6ZXCQBMYH5FJ74BV1H1GB5PFJPR}
{amount: (* u20 ONE_8), recipient: 'SP1RS99KX1GRHBGEWRRHVN16CMQ3DGVRHRQ8PBM2T}
{amount: (* u20 ONE_8), recipient: 'SP39Z3K059S8G2KYQAD3Z9GP2H3HKMXZB3A22GQ40}
{amount: (* u20 ONE_8), recipient: 'SP3F6CSB0PQQJEHSR2FGWX8GS8ANMTYNGZ7PYMX35}
{amount: (* u20 ONE_8), recipient: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV}
{amount: (* u20 ONE_8), recipient: 'SPPDDH5T5275Y8ZA8PE6D90BHZJ3EGTNVSGN5QB0}
)
)
(define-constant apower-recipients
(list
{amount: (* u100 ONE_8), recipient: 'SPHGWKA20R1VMA4GWT6WHJ6BYF2SA6TMGT941FDN}
{amount: (* u100 ONE_8), recipient: 'SPFVJ61YTWJA76PB8QH8F2XNP88FM3X7EMDMQFH3}
{amount: (* u100 ONE_8), recipient: 'SP1H4XQ5ZD9TMX3V9SRFRNDPR3PCX8KMH4BQSH6PG}
{amount: (* u100 ONE_8), recipient: 'SP3GDZ8P094M16XA5ECQ5XMCNX8VZFDA3K3W3PPFM}
{amount: (* u100 ONE_8), recipient: 'SP3Y4DWNK7PG9YM46SMXA870JX5K9CQ6DTHKMAPMJ}
{amount: (* u100 ONE_8), recipient: 'SP10R5AF1KW494VN06QAMWZ92X7YFCHQR51H541D7}
{amount: (* u100 ONE_8), recipient: 'SPM5TD54NQHR2NJ81TSWK16CVH8CCTYBS258D69S}
{amount: (* u100 ONE_8), recipient: 'SP3J5RHZ1XQB59VTV52RC8B46YNPJY0NM4FNXD6Y0}
{amount: (* u100 ONE_8), recipient: 'SP3T39DR06MZ4G1VGXXCP0Z4RM1T1SYEDGEX3EKZ3}
{amount: (* u100 ONE_8), recipient: 'SPHPQS3EK1KXRN3R454QK9F86AKRKA1TKC9VEMK1}
{amount: (* u100 ONE_8), recipient: 'SPS98J27XQ2RP12HAH8FNRW0C3A0HKH8MFWW97X4}
{amount: (* u100 ONE_8), recipient: 'SP3ZWAPBJD07D1KWAAM3P3XB2B1R0YFCCEHZ35X21}
{amount: (* u100 ONE_8), recipient: 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR}
{amount: (* u100 ONE_8), recipient: 'SP2WT0N48VR9VGVDM373W71P1BZX7E0VJRHEZGAH}
{amount: (* u100 ONE_8), recipient: 'SP3NPXKC8VEDN29YRWTEC1RYTMP8VQA600X7KB0Q4}
{amount: (* u100 ONE_8), recipient: 'SPPREEMM2PZ3900RSD2Y9RWX5D1SEHXCY3YZ1VTE}
{amount: (* u100 ONE_8), recipient: 'SP2VFRPK61M5MQAFSHBJ4QWXYGDD20RV55FMZ63HM}
{amount: (* u100 ONE_8), recipient: 'SP1ZAJHPXBQ6084C9ZC7Z0XDN086XW5V5FEVBNCWW}
{amount: (* u100 ONE_8), recipient: 'SPRWE838CR3N0SB75YG15XVDRNEVN68XMKXQVVBR}
{amount: (* u100 ONE_8), recipient: 'SP2ABXSRYRTCSP5TRWQMB42R2DJVA4XDZHAH0Q8B2}
{amount: (* u100 ONE_8), recipient: 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE}
{amount: (* u100 ONE_8), recipient: 'SP1A39HQ34AJM7ZK90J356GWM5HHT82P05CPF4V9F}
{amount: (* u100 ONE_8), recipient: 'SP8FP29MAJ450JT7C91G3N6XRQE2XFAJ8QQB4YTY}
{amount: (* u100 ONE_8), recipient: 'SP15MCWY21M2PBAYHP3WVH84GSV6B7AWGX49ZVN6N}
{amount: (* u100 ONE_8), recipient: 'SP1M09JX0BXVT05RYM6SN6XBVTEM4BCP3N2GGPFQ1}
{amount: (* u100 ONE_8), recipient: 'SPX9QNB7HJ0J7KESD5JVGF1YE6TAR4ABAAHN9RJZ}
{amount: (* u100 ONE_8), recipient: 'SPX6AXG4ZXGEJP0PCHW3Z5BPR38S4ES6TD2DZPQS}
{amount: (* u100 ONE_8), recipient: 'SP1JAQ9STNPHPWSFVP05A6942Z79JT4105DWDEE9N}
{amount: (* u100 ONE_8), recipient: 'SP38ZXGQPE8NEN2PJFNMZ0W2EVBJZ8ND08CAHEC4M}
{amount: (* u100 ONE_8), recipient: 'SP19KPWZDPBD13N07C7Q1BENQMEPRTNA6J6ACBJB3}
{amount: (* u100 ONE_8), recipient: 'SP10VD0X3X2MBYZF52M25Q79QSM3JAB6HBADQRAVC}
{amount: (* u100 ONE_8), recipient: 'SPCKA43F8ZQ2ZGG0RXPY93C6XFMVD7YPEVKF031H}
{amount: (* u100 ONE_8), recipient: 'SP2A4QSS2HQJTF5Y8BGB9VXF5F6MPEP28SJYMF719}
{amount: (* u100 ONE_8), recipient: 'SP3E5VXZ255NRQA173JWR0KZ4N9CAHAMPER6R768C}
{amount: (* u100 ONE_8), recipient: 'SP2XXX96JY91ST208QSJXGEF4NVABHTGAZ6AXW14K}
{amount: (* u100 ONE_8), recipient: 'SP1FECFVC2H0GJPMDQNPEMGYTF2MG7NA1AH23BES0}
{amount: (* u100 ONE_8), recipient: 'SP30A5KWFY7JW4Z7SV9V6N6WQMGX5180GJD0THN0S}
{amount: (* u100 ONE_8), recipient: 'SP39Z3FB65AW5JVR48YYJ7F6X9924TDC4SYDX70KD}
{amount: (* u100 ONE_8), recipient: 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ}
{amount: (* u100 ONE_8), recipient: 'SP2ZGTR3XJCVZKYFZNBPJMYRD50RVJHJEWFKFFJJZ}
{amount: (* u100 ONE_8), recipient: 'SP2R0GVEKYXEMXASC1HQBT8QAAFBW312MJDPKWDGR}
{amount: (* u100 ONE_8), recipient: 'SP2QACKR09W713JW27NXYX4JNEHKB9S43P6NN4YWH}
{amount: (* u100 ONE_8), recipient: 'SP2SPGJRGE2DMJ6NTY6GXDJGPMAW9G7MHAGW8G47Z}
{amount: (* u100 ONE_8), recipient: 'SP1R8V7HSW9CT02P9S7KDR1F18DRPR0YS743TMBF1}
{amount: (* u100 ONE_8), recipient: 'SP1VP4M9E057TV6ZXCQBMYH5FJ74BV1H1GB5PFJPR}
{amount: (* u100 ONE_8), recipient: 'SP1RS99KX1GRHBGEWRRHVN16CMQ3DGVRHRQ8PBM2T}
{amount: (* u100 ONE_8), recipient: 'SP39Z3K059S8G2KYQAD3Z9GP2H3HKMXZB3A22GQ40}
{amount: (* u100 ONE_8), recipient: 'SP3F6CSB0PQQJEHSR2FGWX8GS8ANMTYNGZ7PYMX35}
{amount: (* u100 ONE_8), recipient: 'SP1FW0F2ZYZHXT1BVV8HX8ZXG3MRM0ZVH73QE9VSV}
{amount: (* u100 ONE_8), recipient: 'SPPDDH5T5275Y8ZA8PE6D90BHZJ3EGTNVSGN5QB0}
)
)
(define-public (execute (sender principal))
(begin
(try! (contract-call? .age000-governance-token edg-mint-many recipients))
(try! (contract-call? .token-apower mint-fixed-many apower-recipients))
(ok true)
)
)