(impl-trait .proposal-trait.proposal-trait)
(define-constant ONE_8 u100000000)
(define-public (execute (sender principal))
(let (
(unpause-amm (try! (contract-call? .amm-pool-v2-01 pause false)))
(amt-token-wstx-v2-token-wcorgi (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx-v2 .token-wcorgi u100000000 .executor-dao u42200018344257 u38617079916804146))))
(id-token-wstx-v2-token-wcorgi u18)
(oracle-enabled-8 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx-v2 .token-wcorgi u100000000 true)))
(fee-rate-x-8 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx-v2 .token-wcorgi u100000000 u500000)))
(fee-rate-y-8 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx-v2 .token-wcorgi u100000000 u500000)))
(max-in-ratio-8 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx-v2 .token-wcorgi u100000000 u60000000)))
(max-out-ratio-8 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx-v2 .token-wcorgi u100000000 u60000000)))
(oracle-average-8 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx-v2 .token-wcorgi u100000000 u99000000)))
(fee-rebate-8 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx-v2 .token-wcorgi u100000000 u50000000)))
(start-block-8 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx-v2 .token-wcorgi u100000000 u0)))
(amt-token-wstx-v2-token-susdt (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 .executor-dao u49674261069 u94549424031))))
(id-token-wstx-v2-token-susdt u19)
(oracle-enabled-10 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 true)))
(fee-rate-x-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u500000)))
(fee-rate-y-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u500000)))
(max-in-ratio-10 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u60000000)))
(max-out-ratio-10 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u60000000)))
(oracle-average-10 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u99000000)))
(fee-rebate-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u50000000)))
(start-block-10 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-wstx-v2 'SP2XD7417HGPRTREMKF748VNEQPDRR0RMANB7X1NK.token-susdt u100000000 u0))))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u27614 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP38Y2HC33RYVGBXT0WVSQ6RK9D1KHF6W8YFSPKQE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1911 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u2064 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP30RVJ9BGX465Y4N0GFR5JQEQ99CFN8752RKCDP2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u2076 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u307 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2RN84RQTJ08CW4T0GP6HKQTZPGB6JN9X413D75E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u83758 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2F96E13TN1S10HJZRC87B7V2887DFSAHC04S051))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1270427 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2C23HDNC67QJZX8QWQ2YXT77YXNVMXQ10WNQ00J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u11243 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPW2NNDEWM9V8770YK23KVQNG54F30VKDYNWWQ33))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u31916 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPDW1RQ2B3XTG6VAHC2WGP72NC82SJ7KHX2R0GA8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u16468 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP17XFW0963E9WG8484ZGFYS1EX9YGRGNEYGJKHZH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u4560 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3Q7JJ8GCGJWTYAHE4VAQXAJGZWFPERZGP7BS0AY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u15626 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPAZQ2FHMPY9WGXSRAQ6B4EYDDHE3NVC2X8XP2WT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u45265 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP19J4Q874ZXH2DZC3C5X5B8FGSX8SNXPYXMHCFEV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u98 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1J72PWC3SWZCG56FE9YJGKSK7KFTVQC7E8VHSD3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u68520 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPZAWXC98MMWKK1HZ9R03J6ZDGY1B2JT2KXDPXE8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u978 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2J70HDMYDMKGJ9GNDVVV0FBW2ESWD259X024ZZA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u9411 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPG6Q93SSJX1YDBHEV0X67TDENDCTCQMC00M5E2M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u5328 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3RCW6VMA83Z42WGJJ1G10T9NSN4VM88P27CAD0M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u41818 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2G6HCPVW1PPTRTDQW7DZGN0TZVXX27PNQVFZG6K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u31773 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1CGA69BWQT389EQ6KPN20RCE7104RXRXSQ9G4QC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u114183 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPCC1YWY8Y0Z783VMZKA5B9T3YAKZT4N5PC0H12K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u14826 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP13RRPM66HJVXBS3SHXMGEC0DPZ3KJVSA3MQBRQ2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u7569 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPNX0RD7AD4N7QD138FR2ASH2C4E8J21GJ990H8Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u17433 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP30JAYYJP8GK4D8M78CFG0DXDBS5MMCS3PG4ATT3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u75 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2T0KQAPPNVZZ072TPRBWAXBE5QDAWYYSGJY7VDH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u63063 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3ADRR0VVM13P6FGGX0QDQ8MS7KNBE03EWE4JW0S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u148 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPS7CTNCNC98QJK669E5FA3SPVPHZZR0BKX6KQ4Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u899 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP25FTG9BJK6ZTGBSTRECK7QX44QHKQE8ACGVWNC0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u187 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2A8GR05SCY4FYXJ9SQHC25NP68E3TCW1DBRCY4D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1870 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1FHTZW36ENSM1N92Q4PC4JT3DFQGN9BCYYPMR8K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1899 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3YJFPDKNWRHNZENSNJ456EG3X12V0DA12QN0NKG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u26 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1H0E04NRGCDCHNHSNN3BKV0JE2TTGDK74DKVX33))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u63238 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP10JM6QBZNCB1V5FP4NS88VWJXFKZMD6GRRRF48K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u844 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP39FHD7A5C50DW631HBR85FWH1YE9NBSFNAQT2VP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u440 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP19RCXWA9YGSTPNFZ99173B4KKXQ09S1BCDNBCCA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u6372 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1XCXEFQRK97X6H7QMGKA1WWYVMCNH75HM6XSEYB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1139 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP240ZAHHEGGABFCSDMVXMTRB6ZQJ6XM4PPHFTF9A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u8970 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1VBMYZ3SWF0QQWX7HV7DBTTD3MH3KXC1Q0Z75G0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u7539 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPCYD0RNYJ9A4P2X8XK91A5ST34WKHC2JTN5636Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u30711 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP105MPZ49FRZ77N652B37BQ68NR37ZB96NV5QYPG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u67910 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPD1R753H3962VCBMWYQ23ZGKRG03EBP0WVYMH1X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u9361 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP12RR3Q6P9RAM5C4MJNFQ2PP17QRNNJ81VC9MEW2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u24035 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPNCZEQE8RV2CW0ZVTEYE6QH0R2KB6WW5S6VNKBW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u25356 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP19V2KHSAAKZM807JJA63XPB1QRDAGBCM0EZ4JSM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u2427 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPPBMF6R5GCX3FNKW12D9PN1148KADYZ4QFBTY34))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u45438 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1WQ89E75192KGKY06TD3QASA58MXARQD4HG5JR6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u541 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1GFYAR57AZFEWHMKRQD83HHW5G42VSPSW8JE1YG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u249 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP38D3077Y3X898RD3R64QT8QH5BFCREZMXRY1Z5Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u18086 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP16Z6Y12PBKHQNB4HZEFDVE6VP2GYENJN8V1P9QK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u20897 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1EJZFQ4M933ZCNBCFSPD7RK72455HY63QFRZ97P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u7305 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP263BX0WF7DS1V5B13SBX64V8YRFDV295MVVWBYS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u18005 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP23B8E2568CFNWEMACX4D5PKV5VV9HGG8HVKPT55))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u43 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPHRSPV4VB9GC97P9WHN2MSD5VXFDC23MX0C5M01))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u153481 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2D2M4G94PBW4QTZZ5VPXJMJT25AKNVB5GNC6N88))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u10528 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1PJY6BZKW5JXT4PY7JZNX27BVAR4ADHV4MX07AM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u5916 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1A11S3P177BCR1YKSCPCNP8C2WH7MWWF0TXR39T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u2544 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP304P7P1BCPWDDY8C4RPNFQS2TREZM32KJPVDZHS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u138 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP33YKGBQQQPW3E09P23GWQD59BJBMBMSKJRR0F7W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u6280 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP17QHEV326MGZWEFXY5VK9M2ZKJY0FJQG1W44TH9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u166 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPWZSCRGTJGF1MAF4ZMQ7PECRCA1S90530KR8W6W))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u6904 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1N1FCZ4M7GXJMWW7GVA838F19P6XBZEFXRAGF43))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2VYW731HZF8JD62K063A3698X3PAW99NSEFNZNS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1481 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3H4EA56DKXVNDCM6YY25HFVR50QGJE7TG7Z068D))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u221 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2XDGBMJ1H59GZRMFEWQAYZ6H4C42MBNSVWCRCTX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP32KKJJFFPRFEEY6TCMDJTV3PM5P30QF2J0GWXWC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u8901 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP586D8XTTJCX8M007NRF3HEH68ZJBR3WA7EPYQX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u158 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP35A70EAFQSWDH7033CN3Z5QZ30K8VVRMZQMR8JG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u46092 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2R9MEWJX8M2037VVKK3D8WPSQ2YWND2X3R7WJBN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1283 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1SAC24GV1PANRZJWY8XKPPVMEB5GDXECW1NSZRE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u93287 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1NN1WZYAFK2P381MYBRASAW7X4GF3AXZ555N6E8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u3539 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1HRS5JCC39XEW80XG5XQYSA1RRP4F0B0WPBBRCJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u394 amt-token-wstx-v2-token-wcorgi) tx-sender 'SPCHPABZC77BVDCTYGANZWCZG0Z2RJ5XDSR5VSJA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u447 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP4M8WXB7MA5XYDQMPB5N5ZMGZ6M2M681FGH266K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u11175 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP25WA6JDSB3F0N70HKYYZHRAHEYSD4DBP022ARBZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u19 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1SVJQ8B0M5JE5F2HNFQW6YYX8QB41BFVQMQ5YK5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u1454 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1MSEDHYPWWS46VDC8JSKM7AMRB22J240Y91N67Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u12484 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1JC4S54YG0FQ71FJ8BC1BM8JWR3968ZHVKRVXBK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u5037 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2J34YJC85ATXR0C9PQVNT9FT33TP6EN9EER94Z2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u171 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP3017A7G0RWTVG0DMCN4S0JCA774MK44WHV775BW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u42 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP2X86MZ1HFTACTYE59PRNN9EF3A2GNKFZMB3STSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u2041 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP1X78FZ0MX7DGEWZEX2CM8RE5BT6H9EY8X80345K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u6136 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP182A5TQC0E1BNPKKXQW5Y17ACJC0PNM007AKY4Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-wcorgi (mul-down u276 amt-token-wstx-v2-token-wcorgi) tx-sender 'SP188XTNGJS7D530Q0M7748DKZY73BGZ1WCT6N7MX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u1536867 amt-token-wstx-v2-token-susdt) tx-sender 'SPB07FJS1EGMS5SJG1BY51RY3HBWMK528P5ZA100))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u15005536 amt-token-wstx-v2-token-susdt) tx-sender 'SP2A7G2VMG2W5ZBMMM0Y8SWRRQD2J0Z9JR9CEAVY8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u2164422 amt-token-wstx-v2-token-susdt) tx-sender 'SP1GN04YSRGM6MZRP2QKD99N2T4P3JE2F90EZ4MZX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u14903597 amt-token-wstx-v2-token-susdt) tx-sender 'SP2X929QB6AXQKF8ACK2ZFQEG545WEGV50G690B28))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u2958900 amt-token-wstx-v2-token-susdt) tx-sender 'SP2DFN7Y61F95KXEVA6D2KJX8G8KR8VSG31SY0JRD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-wstx-v2-token-susdt (mul-down u63430676 amt-token-wstx-v2-token-susdt) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .amm-pool-v2-01 pause true))
(ok true)
)
)
(define-private (mul-down (a uint) (b uint))
(/ (* a b) ONE_8))