(impl-trait .proposal-trait.proposal-trait)
(define-public (execute (sender principal))
(let (
(amount (unwrap-panic (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-ssl-STXOSHI-RNTJY get-balance-fixed tx-sender))))
(try! (contract-call? 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.token-ssl-STXOSHI-RNTJY transfer-fixed amount tx-sender 'SP3K8BC0PPEVCV7NZ6QSRWPQ2JE9E5B6N3PA0KBR9.executor-dao none))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP3GMSTDB947863RJM48WBA96AY1ZG18REVVSQ28W))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SPHQZKVTQCJJQ5R5PHKF4E6GVHX3G03E7QB80E7Z))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SPJ8DSPTG60SMV4DZ88TZNJFAKAEAFFW25YKNPH6))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP27AV5HSA8MDK9VY39BZN528Z48W39ZNE5KDPEPR))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP2JBM7JE960C2GHRKZG01G3Q0WMCEZ7HQA9P863B))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP3WK3ZTJ0GT56YK3W5DKHKVE6W862RFNM79SWK8H))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SPX4Z02ES9XPAVQZC15ZQMQV5MWXE7PE518P9ZW1))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP2S2WHJB2B2Y9W5HM86C614YZKBD707TP6JZB0HW))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP3986H07FV4R0JEHEXYAXPATCBTGS7WZSMEQ1J7C))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP3DYKW246G4FQVE8T05AHA5WN942NKB7DZZ2BD1M))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP1T1X045WEHTPJ95PWS1D1BS7Y9BFMWEYMMMTYJ6))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP1QX2Q8FC5KJMHA0GY3GJPCNWRM5NH43YGYBQ73W))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SPM5BVEBYCN2Z1AR2E06A69HF1W70G7V5GZFDNPR))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP1X351Q7A4SWXW2XJW745GQF71CCMV2W9ET1KD50))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP2Y2ESDPX8DANECV26XJCRPD57ZVTZNHAHZW4HCP))
(try! (contract-call? .migrate-legacy-v2-wl finalise-migrate 'SP2AKBW1SN09KW6TWG0WA93NWVHWVBAYWBYP4MCJN))
(ok true)))