(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-constant MAX_UINT u340282366920938463463374607431768211455)
(define-public (execute (sender principal))
(let (
(bal1 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u10 'SP2VZBR9GCVM33BN0WXA05VJP6QV7CJ3Z3SQKJ5HH)))
(bal2 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u11 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G)))
(bal3 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u7 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1)))
(bal4 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u26 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1)))
(bal5 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u20 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1)))
(bal6 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u11 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7)))
(bal7 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u14 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7)))
(bal8 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u21 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7)))
(bal9 (unwrap-panic (contract-call? .token-amm-pool-v2-01 get-balance-fixed u27 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))))
(try! (contract-call? .amm-pool-v2-01 pause false))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wdiko u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wban u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wusda u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wslm u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx-v2 .token-alex u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.auto-alex-v2 u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt .token-wxusd u5000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-chax u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-ordg u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-ormm u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-ornj u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc .token-wxbtc u5000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-db20 u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-ssko u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-tx20 u100000000 MAX_UINT))
(try! (contract-call? .amm-registry-v2-01 set-start-block 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-abtc 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.brc20-trio u100000000 MAX_UINT))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u10 bal1 'SP2VZBR9GCVM33BN0WXA05VJP6QV7CJ3Z3SQKJ5HH))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u11 bal2 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u7 bal3 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u26 bal4 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u20 bal5 'SP22PCWZ9EJMHV4PHVS0C8H3B3E4Q079ZHY6CXDS1))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u11 bal6 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u14 bal7 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u21 bal8 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 burn-fixed u27 bal9 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u10 bal1 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u11 bal2 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u7 bal3 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u26 bal4 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u20 bal5 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u11 bal6 'SPEJJMSNMD1F74RKVJSGPXJ1839STT5EVY0C64KZ))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u14 bal7 'SPEJJMSNMD1F74RKVJSGPXJ1839STT5EVY0C64KZ))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u21 bal8 'SPEJJMSNMD1F74RKVJSGPXJ1839STT5EVY0C64KZ))
(try! (contract-call? .token-amm-pool-v2-01 mint-fixed u27 bal9 'SPEJJMSNMD1F74RKVJSGPXJ1839STT5EVY0C64KZ))
(ok (not (contract-call? .amm-pool-v2-01 is-paused)))
)
)
(define-private (mul-down (a uint) (b uint))
(/ (* a b) ONE_8))