(impl-trait .proposal-trait.proposal-trait)
(define-public (execute (sender principal))
(let (
(amt-token-alex-token-wwif (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-alex .token-wwif u100000000 .executor-dao u7158152146200 u208464834240767800))))
(approve-token-wwif (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wwif true)))
(oracle-enabled-0 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-alex .token-wwif u100000000 true)))
(fee-rate-x-0 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-alex .token-wwif u100000000 u500000)))
(fee-rate-y-0 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-alex .token-wwif u100000000 u500000)))
(max-in-ratio-0 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex .token-wwif u100000000 u60000000)))
(max-out-ratio-0 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex .token-wwif u100000000 u60000000)))
(oracle-average-0 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-alex .token-wwif u100000000 u99000000)))
(fee-rebate-0 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-alex .token-wwif u100000000 u50000000)))
(start-block-0 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wwif u100000000 u0)))
(token-id (get pool-id (try! (contract-call? .amm-pool-v2-01 get-pool-details .token-alex .token-wwif u100000000))))
(add-token-1 (try! (contract-call? .alex-farming add-token .token-amm-pool-v2-01 token-id)))
(set-activation (try! (contract-call? .alex-farming set-activation-block .token-amm-pool-v2-01 token-id u46601)))
(set-apower (try! (contract-call? .alex-farming set-apower-multiplier-in-fixed .token-amm-pool-v2-01 token-id u30000000)))
(set-coinbase (try! (contract-call? .alex-farming set-coinbase-amount .token-amm-pool-v2-01 token-id u100000000 u100000000 u100000000 u100000000 u0)))
(add-token-2 (try! (contract-call? .dual-farming add-token .token-amm-pool-v2-01 token-id .token-wwif u2000000000000000 u206 u236)))
(transfer (try! (contract-call? .token-wwif transfer-fixed u62000000000000000 tx-sender .dual-farming none))))
(ok true)))