(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-alex-token-wban (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-alex .token-wban u100000000 .executor-dao u3902045757399 u10016161144690))))
(id-token-alex-token-wban u10)
(approve-token-alex (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-alex true)))
(approve-token-wban (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wban true)))
(oracle-enabled-10 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-alex .token-wban u100000000 true)))
(fee-rate-x-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-alex .token-wban u100000000 u500000)))
(fee-rate-y-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-alex .token-wban u100000000 u500000)))
(max-in-ratio-10 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex .token-wban u100000000 u0)))
(max-out-ratio-10 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex .token-wban u100000000 u0)))
(oracle-average-10 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-alex .token-wban u100000000 u99000000)))
(fee-rebate-10 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-alex .token-wban u100000000 u50000000)))
(start-block-10 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wban u100000000 u0)))
(amt-token-alex-token-wusda (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-alex .token-wusda u100000000 .executor-dao u73413702377299 u11212583524195))))
(id-token-alex-token-wusda u11)
(approve-token-wusda (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wusda true)))
(oracle-enabled-11 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-alex .token-wusda u100000000 true)))
(fee-rate-x-11 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-alex .token-wusda u100000000 u500000)))
(fee-rate-y-11 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-alex .token-wusda u100000000 u500000)))
(max-in-ratio-11 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex .token-wusda u100000000 u0)))
(max-out-ratio-11 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex .token-wusda u100000000 u0)))
(oracle-average-11 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-alex .token-wusda u100000000 u99000000)))
(fee-rebate-11 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-alex .token-wusda u100000000 u50000000)))
(start-block-11 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wusda u100000000 u0)))
(amt-token-alex-token-wslm (get supply (try! (contract-call? .amm-pool-v2-01 create-pool .token-alex .token-wslm u100000000 .executor-dao u4118359792473 u101424336729740))))
(id-token-alex-token-wslm u12)
(approve-token-wslm (try! (contract-call? .amm-vault-v2-01 set-approved-token .token-wslm true)))
(oracle-enabled-12 (try! (contract-call? .amm-registry-v2-01 set-oracle-enabled .token-alex .token-wslm u100000000 true)))
(fee-rate-x-12 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-x .token-alex .token-wslm u100000000 u500000)))
(fee-rate-y-12 (try! (contract-call? .amm-registry-v2-01 set-fee-rate-y .token-alex .token-wslm u100000000 u500000)))
(max-in-ratio-12 (try! (contract-call? .amm-registry-v2-01 set-max-in-ratio .token-alex .token-wslm u100000000 u0)))
(max-out-ratio-12 (try! (contract-call? .amm-registry-v2-01 set-max-out-ratio .token-alex .token-wslm u100000000 u0)))
(oracle-average-12 (try! (contract-call? .amm-registry-v2-01 set-oracle-average .token-alex .token-wslm u100000000 u99000000)))
(fee-rebate-12 (try! (contract-call? .amm-registry-v2-01 set-fee-rebate .token-alex .token-wslm u100000000 u50000000)))
(start-block-12 (try! (contract-call? .amm-registry-v2-01 set-start-block .token-alex .token-wslm u100000000 u0))))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u678270 amt-token-alex-token-wban) tx-sender 'SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u38807 amt-token-alex-token-wban) tx-sender 'SP3D5EHK8SMJ3MMJWYCAKWJ2H4F1JQX85E33ZJDB9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u63646 amt-token-alex-token-wban) tx-sender 'SP1SJKGJRR5XXPJB5MGNE0HH437813VRW02CKRRPZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u96324 amt-token-alex-token-wban) tx-sender 'SP3ZWD38S48NFMKB61KCEHZVX198JTG2TV6XX7NP7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u1427059 amt-token-alex-token-wban) tx-sender 'SP2R7HA42FBVPE9QYP77XYY90C0NR6Y09KTPACQ3Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u163657 amt-token-alex-token-wban) tx-sender 'SP2RTRFHEJW876FDC3R2HBXXSJ11GADG2208QR51H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u970854 amt-token-alex-token-wban) tx-sender 'SP110TAR7RZE8ZTHMTMZYN76KT4440CS1KADFCG2B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u167558 amt-token-alex-token-wban) tx-sender 'SP3W7H6HASPRV7GN3342T1FXTZ463VJFYW3PXSD6B))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u156645 amt-token-alex-token-wban) tx-sender 'SP23FNY3QXS59HH0V4E5S31S6H8Z6P9M54PEN7ECB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u59183 amt-token-alex-token-wban) tx-sender 'SP3H2JP9T026CVK8FFE8THYQBA0DVPQN48RXJ7SRT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u279355 amt-token-alex-token-wban) tx-sender 'SP150DVPJWPM6MNTKHJ7H76ZTHD77CEBQ3KXVDATN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u167061 amt-token-alex-token-wban) tx-sender 'SP23F07QZH8TGPCFJT0QJR8H9MMQGQB20H6FF1BF6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u5076 amt-token-alex-token-wban) tx-sender 'SP3RM6V7AXR82YRGS80M2TD0S6T49PGBN2JWGMQRZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u2951921 amt-token-alex-token-wban) tx-sender 'SP295QANJTGHJJ9TSHJ4WH28Z52VDKWDW68VT8KAH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u401952 amt-token-alex-token-wban) tx-sender 'SP3NPXKC8VEDN29YRWTEC1RYTMP8VQA600X7KB0Q4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u391207 amt-token-alex-token-wban) tx-sender 'SP1VZGNXFYPJH15X9KTB3E41J04XXNTDBQBCSVR0J))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u7956 amt-token-alex-token-wban) tx-sender 'SP2G51DZCK7DQNHKSD532MGPX3Q8ZEJN1812SS9KR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u6449 amt-token-alex-token-wban) tx-sender 'SPEAMAZRY03H5ZM7PW4VRY17PT9TW4BCHCPNCMR1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u70102 amt-token-alex-token-wban) tx-sender 'SP2C3ZB5HCHJ8A0Z239EB97ZNAJTMNN0879HKMMJW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u157118 amt-token-alex-token-wban) tx-sender 'SP8KM4MBEFFZPG3J0BXHRFEWRPDMFFPHEKPDPKVN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u449382 amt-token-alex-token-wban) tx-sender 'SP1PS8F8KCW6NAQZBPRXMV9MJYT90CBRMY8K38Y67))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u89049 amt-token-alex-token-wban) tx-sender 'SP1EGNJ00EGRG7T7HQWWY22SG6PFGDX9A4G2WVKP2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u17211 amt-token-alex-token-wban) tx-sender 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u495578 amt-token-alex-token-wban) tx-sender 'SPHPGBNFA4PK7NCVWXZ75CPPRA9Y8W0P6G7GV8KA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u18431 amt-token-alex-token-wban) tx-sender 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u175357 amt-token-alex-token-wban) tx-sender 'SP1J5PS54EC4M9WN7CVNFRP5J88DB9K0MS06PZ7R6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u100178 amt-token-alex-token-wban) tx-sender 'SP33M793WRK2Q7CKV8T93JRB942KPJGXQ0H1DA9J3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u545516 amt-token-alex-token-wban) tx-sender 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u44758 amt-token-alex-token-wban) tx-sender 'SP1WK0GA0MT48G4TMTRCF7731Q1AGZ7R8EYG68W0Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u329720 amt-token-alex-token-wban) tx-sender 'SP31YA1ZJFR9D2S8QDCPFM212FVCV6P3S5EB12T53))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u151762 amt-token-alex-token-wban) tx-sender 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u105716 amt-token-alex-token-wban) tx-sender 'SP35JN1Z0BQ5EJEZ7KZARMP8BZ142QJCZ5DD4WP43))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u364043 amt-token-alex-token-wban) tx-sender 'SP71N7X6G8KYGQPHZW7TB4PD1JZ6ND9AESF9JPZ8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u1138486 amt-token-alex-token-wban) tx-sender 'SP3EV7DWHMVJJNF9Q64YVXVQH69SKHVED89R3SR5Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u39381 amt-token-alex-token-wban) tx-sender 'SPMNM4PET76RKHYGHKZGJ8MRZ0NAXXZKY5AH2RE4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u167193 amt-token-alex-token-wban) tx-sender 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u758173 amt-token-alex-token-wban) tx-sender 'SP3JEGPDXK4ENNSHD64HYTWB0Q2QX9XJFKCBDYXRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u148572 amt-token-alex-token-wban) tx-sender 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u30129 amt-token-alex-token-wban) tx-sender 'SP2DG03SMAV8Q8JTDHF9F32Y7B3523ZJYM0Q3MK3Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u177780 amt-token-alex-token-wban) tx-sender 'SP2BB2Y38C8EDNEK8JTR126GWEFYKY97AG9HRW9CW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u140323 amt-token-alex-token-wban) tx-sender 'SP3X0N9RZRQWFZX85SRN69TVF863D4J661JT0BXAM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u81294 amt-token-alex-token-wban) tx-sender 'SP2D248W0GC1DADV985XJXV5TZHE7RR0F54B3BDTA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u144101 amt-token-alex-token-wban) tx-sender 'SPRE8XH8H6QWRZMCFME46N64K5A08K4VAG7K346C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u3513 amt-token-alex-token-wban) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u5298 amt-token-alex-token-wban) tx-sender 'SPXE4CC9QNP0VVVMWHQDAQ3DZ8WCFTV5J2RZWRM0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u88971 amt-token-alex-token-wban) tx-sender 'SPA87XRA9ZRT5KCZ9B5PZYAQEKCVS60DQVN0BHDX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u474986 amt-token-alex-token-wban) tx-sender 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u19606 amt-token-alex-token-wban) tx-sender 'SP1FGM5QJ87VZSZNR65FHG3C2F8Q05Z519GDARGHW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u431881 amt-token-alex-token-wban) tx-sender 'SP1WXMX9PYKSH86XW29Y30PKKSEAS4MKX9XJQ4GTG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u1139214 amt-token-alex-token-wban) tx-sender 'SPC5XDPYK8ZXNDS0FNP31RKG5P7K4JT8JMY3XAJ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u1257653 amt-token-alex-token-wban) tx-sender 'SPK03A217BWRJBWKQ4EKNGAAK92PNN1NGJY6YGNA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u554224 amt-token-alex-token-wban) tx-sender 'SP2DZW1E6R5NEYXRHXW1RS1M4Y55Y4M52T9633M45))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u1181689 amt-token-alex-token-wban) tx-sender 'SP2MYQF316JWNY0M6MBGRFPZS17GJKRA26ZPB35HM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u300042 amt-token-alex-token-wban) tx-sender 'SP2GSV08GFJDGZTGBHWV79V27AA83X3EYQMH89VRQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u327380 amt-token-alex-token-wban) tx-sender 'SP1XFVT6E1789QTSX7DBT9JCRBB8YNV9BXS70Z4K7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u10412021 amt-token-alex-token-wban) tx-sender 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u10197 amt-token-alex-token-wban) tx-sender 'SP3QTD08SC98ANWMZSQ645TVG600QVT2NXE4J6QHR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u3316168 amt-token-alex-token-wban) tx-sender 'SP19SGRETVZCDBX4FC7MN7HR7CQZZPN917SFA7VDN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u4466689 amt-token-alex-token-wban) tx-sender 'SPQNVCTRSRARV9TEBF74T6TTDWFPAFB2KXDBTJB3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u37839738 amt-token-alex-token-wban) tx-sender 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u14399221 amt-token-alex-token-wban) tx-sender 'SP1X351Q7A4SWXW2XJW745GQF71CCMV2W9ET1KD50))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u297558 amt-token-alex-token-wban) tx-sender 'SPDN0KSAMXYZVACXMM1RDNR8ZH6NQ4Z55K6TCY7Q))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u64222 amt-token-alex-token-wban) tx-sender 'SP1XQKQ75J5YZ9GPB2Q65E91QHPKSEAGBFGJ9WTTJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u2237669 amt-token-alex-token-wban) tx-sender 'SP32JWMMTWGYFSB5BJCYPT1RJSD5W1R0GF7ZDT23C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u89420 amt-token-alex-token-wban) tx-sender 'SP2VZBR9GCVM33BN0WXA05VJP6QV7CJ3Z3SQKJ5HH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u49295 amt-token-alex-token-wban) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u97438 amt-token-alex-token-wban) tx-sender 'SP15QCM7NJDMDJEMD3H1RDR2PV7JH0B4EMNYT9T69))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u171768 amt-token-alex-token-wban) tx-sender 'SP34BKWJTQRE4TZ7CWTYW9RJVWBDVB8RDESPMPZ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u412532 amt-token-alex-token-wban) tx-sender 'SP2W759AWBSYJ7HCA8K5CRV06DN1WGPH7C926YHJ3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u273596 amt-token-alex-token-wban) tx-sender 'SP1WYHPJJVN3P0PS32BMF33P6WVVK1SNRRS28ZF0G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u17453 amt-token-alex-token-wban) tx-sender 'SPCK86303KZN7NWDGT18SW8NBG0GGFKRZSQN6JK3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u150033 amt-token-alex-token-wban) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u3918688 amt-token-alex-token-wban) tx-sender 'SP2JP9NPB6SVYGDDRDFRZAXCZVK7W9ZHHVTSGS27))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u85038 amt-token-alex-token-wban) tx-sender 'SP1SSF31YH31HQ5VPJ7ZRB17ZT5TBPG79YQZPXKW8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u497054 amt-token-alex-token-wban) tx-sender 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u93956 amt-token-alex-token-wban) tx-sender 'SP3BABF1YC7GCCNMXGYP509QY85VS62PGSNEFDHQ4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u320032 amt-token-alex-token-wban) tx-sender 'SP3H2HMCNTD65TSFP7W5V5XYN2T2EH3TT6P107G8X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u137953 amt-token-alex-token-wban) tx-sender 'SP3S1B0A5A4HAS9NR5ZCRJYAZ1DNS5DF7ZR022C1T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u161626 amt-token-alex-token-wban) tx-sender 'SPNK3DAMEBBK5TF97B3XR9KED32BMYHJP76AM9MJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u21278 amt-token-alex-token-wban) tx-sender 'SP2DCWWWXX50RHJDRQM33F36G6WPBM83VAA9HVJ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u154818 amt-token-alex-token-wban) tx-sender 'SPD3T9C6WBMDSA9STTSJ13Y2ZV7C7Z26W7J0RNZT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u58390 amt-token-alex-token-wban) tx-sender 'SP1E5KVXXSSBT5D3ZRBPCT33PNR9EDEN5341XGQ70))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u143834 amt-token-alex-token-wban) tx-sender 'SP27WZRNZVDBZVH6S97YQJNB4BMPKWHKS5QY41QQB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u7007 amt-token-alex-token-wban) tx-sender 'SPQQV2QN22NAT45PREHH73T5RHF9HZJS7MC3EWCE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u114560 amt-token-alex-token-wban) tx-sender 'SP25WBCHR3M1R6NZB0698KKKKRV8KKFC6W1B84E8F))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u86452 amt-token-alex-token-wban) tx-sender 'SP3XRPJ492YBM3EWA1ASCC6R7BR37Q7VVJG8CTZCY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wban (mul-down u137463 amt-token-alex-token-wban) tx-sender 'SP2E94XG0KFS92X23MQR2X9FRV1AP9T6FPFPQMPKB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u757881 amt-token-alex-token-wusda) tx-sender 'SP2EE029BE5AQ93RPY57S6BMQT0D3SCWTB9EKJEQA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u298355 amt-token-alex-token-wusda) tx-sender 'SP23E5SRGM92AGHYKFQ00G2F03SE89PFPAGTNAGMX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u958991 amt-token-alex-token-wusda) tx-sender 'SPEFCW4DY382E1YGJFZD4DQARNWASE5CT9P3V6YV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3459340 amt-token-alex-token-wusda) tx-sender 'SP3KPRE6KAQSSK3189X58SJQRNPF5JSM03WMD5RSB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u263805 amt-token-alex-token-wusda) tx-sender 'SP1Q322JCN0JBSHVDRZMFDV8RF7WD6P6EJFNKDM5Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u30995 amt-token-alex-token-wusda) tx-sender 'SP3YHVAR9CP9QD2D2HNJ5RH7NT5GXE2X4GXNX4YPX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u45889 amt-token-alex-token-wusda) tx-sender 'SP12588JRHR2WD5N7N10JGT05N1J2FJEBYXSTAFBT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u24304 amt-token-alex-token-wusda) tx-sender 'SP2CNNPBW935DFQ2CVT2H97S3XZAPA41EHSKM7NQH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u408965 amt-token-alex-token-wusda) tx-sender 'SP3RQXM3QDHKTZAZFFCMA8J3ZE6EZ42N8KR26WNPX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1024001 amt-token-alex-token-wusda) tx-sender 'SP1HRWQ1NB3QP80AWCSNFP7HV7MC9T0D85MTFXJRW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u157332 amt-token-alex-token-wusda) tx-sender 'SP2FR86EKQ5YGFY7Y905TFCBRSJDZ1G9W1JVXWZ78))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u12466 amt-token-alex-token-wusda) tx-sender 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u76008 amt-token-alex-token-wusda) tx-sender 'SP160QD6AGGK09P5GBWT7QR32F31H5CGHHSYXKHP7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u49 amt-token-alex-token-wusda) tx-sender 'SP3BQ65DRM8DMTYDD5HWMN60EYC0JFS5NC2V5CWW7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u164843 amt-token-alex-token-wusda) tx-sender 'SP3T7WAB5DMJ3JSRMCQF6SC7CG50DYYJVS4C303CN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u125581 amt-token-alex-token-wusda) tx-sender 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u4281 amt-token-alex-token-wusda) tx-sender 'SP3JEGPDXK4ENNSHD64HYTWB0Q2QX9XJFKCBDYXRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u65523 amt-token-alex-token-wusda) tx-sender 'SP103BXR2GBV4WBESM8C4WCGNC9ED3PGT03X4WXTC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u140427 amt-token-alex-token-wusda) tx-sender 'SP1R9E1PDW89RH1C5BZ4R5GA2ZZBFVASQRTFN269V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u121524 amt-token-alex-token-wusda) tx-sender 'SP3ABSF9S18MM5MXK1C9MEDA19VZC0VXYK2SBDAN6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u13692 amt-token-alex-token-wusda) tx-sender 'SPW2MP32C1YTGKBEWBBPZ8HYHN4V63ZSK3WSP9CM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u12785 amt-token-alex-token-wusda) tx-sender 'SP3BWAHYMTHQZHSB8N49AXQNTYWBACQBAN8Z4QFRD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u31121 amt-token-alex-token-wusda) tx-sender 'SP2XMCX1AST1PM21CWDHW5YBSSKXG0TXAB45JCS6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u110224 amt-token-alex-token-wusda) tx-sender 'SPK9Q5XK2ZFEKZW64BR8K6YFDZDM667Q16NJ72TN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u295105 amt-token-alex-token-wusda) tx-sender 'SP3KZ1XDJT57BK81JWX1VFT3V70DYSZA8SQYQPAK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u19895 amt-token-alex-token-wusda) tx-sender 'SP15W9F3KC39ZHXS6Q3HA4J3VMXSVDWF4DSND7GAK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u21187 amt-token-alex-token-wusda) tx-sender 'SP3GD9W8CX9V7CVY01WNTHT94H6K07EDFHRC89QP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u804482 amt-token-alex-token-wusda) tx-sender 'SP16JSP1JMTBNV3GN5Y3JYEEPG5WK3SGSYDZSM7VJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u94253 amt-token-alex-token-wusda) tx-sender 'SP1Y5X4DZ2MT3V5MT0KPYSX60D7AXXHDFJNRM25KQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u11407 amt-token-alex-token-wusda) tx-sender 'SPNFG66D0TYSES82P6WGXCXG6T8R45QDGVH5JKTC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u19466 amt-token-alex-token-wusda) tx-sender 'SP38EZHDHJCJ94BJSDVWR655NGWWCJHJBRHB7Y79T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u190681 amt-token-alex-token-wusda) tx-sender 'SP262V6XJAHKMGZ254W06WMH3HF21EH8KH6967H5A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u115181 amt-token-alex-token-wusda) tx-sender 'SP3ZMEFW7VH796ZQAH1JMAJT4WC4VPEZZFB6W5CAD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u111650 amt-token-alex-token-wusda) tx-sender 'SP1PKK6KJPM826D0X6AMCJ63KEH2M456M4T22WAPQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u18682 amt-token-alex-token-wusda) tx-sender 'SP35JN1Z0BQ5EJEZ7KZARMP8BZ142QJCZ5DD4WP43))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1799 amt-token-alex-token-wusda) tx-sender 'SP2S4MJPRJR711MGHFAMQMZ665RTXNW820HNEVG1P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u7438 amt-token-alex-token-wusda) tx-sender 'SP2ASWQQEMQWVEYBQMDSXNEZBQGC1X7FFXNJMFYEE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1859 amt-token-alex-token-wusda) tx-sender 'SP1NP8CYY1XE9ZB132WFY33HS0EA692Y0V2XBNWPF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u47567 amt-token-alex-token-wusda) tx-sender 'SP32V5EAKRWZ66VVA67XGDK18VYMZM5NT7NP98M9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1272 amt-token-alex-token-wusda) tx-sender 'SP2ZGVSV6JDJ6SCGJETE3ZT0PNRSB90FM01P830D4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3659 amt-token-alex-token-wusda) tx-sender 'SP1FGM5QJ87VZSZNR65FHG3C2F8Q05Z519GDARGHW))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u40844 amt-token-alex-token-wusda) tx-sender 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1054 amt-token-alex-token-wusda) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u409 amt-token-alex-token-wusda) tx-sender 'SP3W83KG17KJZZXPDZQDTRQKQRGHNFZN410R9P02E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u22159 amt-token-alex-token-wusda) tx-sender 'SP3DADFZ5M352BV2XZY1RSPV307QH0JPKKEQMFAP3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2650075 amt-token-alex-token-wusda) tx-sender 'SP2YADQRAJ4468KEX4CYD4MQPF0S6QYFT5BRA22J0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u68925 amt-token-alex-token-wusda) tx-sender 'SP36F2MPDM5ZXW0MVH330NYQNJNNHHM36RZ1XX22E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2165982 amt-token-alex-token-wusda) tx-sender 'SPA6DVSF7S0DEXE4NWG6JQBX3BEA5AS5PEE2NQXP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2054 amt-token-alex-token-wusda) tx-sender 'SP1WK0GA0MT48G4TMTRCF7731Q1AGZ7R8EYG68W0Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u52503 amt-token-alex-token-wusda) tx-sender 'SP15REJDTKC4Q9FSNFWFPZH7XX650127YZ43NATYQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u263698 amt-token-alex-token-wusda) tx-sender 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u177002 amt-token-alex-token-wusda) tx-sender 'SP3VMRGPSFSRJJW3TDXD1HMYRK8NJR33E7SBQ9H9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u20834 amt-token-alex-token-wusda) tx-sender 'SP1EVZP9AMTH1044MZXF99GSZ9DJ5600G0VQSX95Y))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u40111 amt-token-alex-token-wusda) tx-sender 'SP2CZP0VGN4DA08VX9N2EM0G1TDNHZD65TRBWDHE5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u27145 amt-token-alex-token-wusda) tx-sender 'SPBCMGYYPQ2E7YQ6SKXV1BEDJ1MV217WC6THYAZV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u167255 amt-token-alex-token-wusda) tx-sender 'SP2J0WP7HH2KDTM59WXP7K0GDQAK8T4KSDCQ3R9PX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u4230 amt-token-alex-token-wusda) tx-sender 'SPPX7YKGN9X7BVDE0ZYDDJCEM9677VD2TQNFWY1M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u14935 amt-token-alex-token-wusda) tx-sender 'SP3HDPGP48JQ948Y7S41RFHJ703BHEBTD8ZZ3V7MS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u448 amt-token-alex-token-wusda) tx-sender 'SPKFHR2H3TDTYAKXA4CRS7SKB8MJDYG6A4SR8Z8V))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1638 amt-token-alex-token-wusda) tx-sender 'SPHSJ8X8NM1B59FRR9H643J93TC8G75F3TGWNRJ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u112078 amt-token-alex-token-wusda) tx-sender 'SPEBN6J7BZHKR2B3DXMY4QTJVB75KF1JDG3K1J51))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2795252 amt-token-alex-token-wusda) tx-sender 'SP1MAVN1K5D9JJDVFK6RMJABE6NAV4K67G2SG34ZN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u682132 amt-token-alex-token-wusda) tx-sender 'SP2DZW1E6R5NEYXRHXW1RS1M4Y55Y4M52T9633M45))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2328721 amt-token-alex-token-wusda) tx-sender 'SPR6QJ56S0T7DNJXSDWRW9NCY073EWWGNR39QHFT))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u950601 amt-token-alex-token-wusda) tx-sender 'SP19SGRETVZCDBX4FC7MN7HR7CQZZPN917SFA7VDN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1565 amt-token-alex-token-wusda) tx-sender 'SP1TT3TCC5KS2DN8H462H944FK4RK0CYHEG4BJZ9C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u852280 amt-token-alex-token-wusda) tx-sender 'SP1CM0AWD5FCT7RMNCQJ29XTX7ANXH4HMDDY3QW9H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u234027 amt-token-alex-token-wusda) tx-sender 'SPRBP4PRWH2M4ZH95W1R117JCD7PS072ZQ1MC2KK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u59 amt-token-alex-token-wusda) tx-sender 'SP3QTD08SC98ANWMZSQ645TVG600QVT2NXE4J6QHR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u10368 amt-token-alex-token-wusda) tx-sender 'SP3CKRWP1QSXY6D8C3Q59MMYV92GT65SH0QXJ4QR2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u70264 amt-token-alex-token-wusda) tx-sender 'SP20PQ9WP8NWDDKY6S8AX3STE2XBZKSD46WXGE582))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u328718 amt-token-alex-token-wusda) tx-sender 'SP1NPDHF9CQ8B9Q045CCQS1MR9M9SGJ5TT6WFFCD2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u148690 amt-token-alex-token-wusda) tx-sender 'SP13H3FN4Q2F1ACVAEX7CY93T11A7364SAVS68ZXK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3500 amt-token-alex-token-wusda) tx-sender 'SP20F5HAX0W3AEG8M5C9J2880132CQTP6TYHSP04M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u9518 amt-token-alex-token-wusda) tx-sender 'SP39WTKHH436QV6BTS9EKCW64CFT2AYV7XMVTCY0N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u16928 amt-token-alex-token-wusda) tx-sender 'SP32HHG3K2HKYAWE5VZJZB40EHV6T28G7YDHCTPSV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u7453 amt-token-alex-token-wusda) tx-sender 'SP822Z0QFS7882RH7D14DAYV0YV5N72YYSVVA264))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u4461 amt-token-alex-token-wusda) tx-sender 'SP1GX7PSED4ENYZM4G7ZFAK4FWDDSQR0GFTTQQ9G9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u48775 amt-token-alex-token-wusda) tx-sender 'SPVRT58MVAXSX7CKYQ0ZTR4SY5R47DK6Q0Q2GD7G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u23088 amt-token-alex-token-wusda) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u64967 amt-token-alex-token-wusda) tx-sender 'SP45RYP4W83SMSCG5C7MZCM1EFVRJY4K6D0E05Z6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u920 amt-token-alex-token-wusda) tx-sender 'SP3199T1F2QGJPF1KRARHV62Q948DCBSYKWZZX1QX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u130267 amt-token-alex-token-wusda) tx-sender 'SP4JNHJB6B953T1S2GZTNYGJ3PZAHG12NFZY8GPF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u283148 amt-token-alex-token-wusda) tx-sender 'SP1WY102H26RKKV4WKHH3ZB9KGVBE925HP6PH3WE5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u336355 amt-token-alex-token-wusda) tx-sender 'SP38Y2HC33RYVGBXT0WVSQ6RK9D1KHF6W8YFSPKQE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u496892 amt-token-alex-token-wusda) tx-sender 'SP2W759AWBSYJ7HCA8K5CRV06DN1WGPH7C926YHJ3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u125658 amt-token-alex-token-wusda) tx-sender 'SPJS64R9SZ63NPEPZSA49FPK002KVX4Y982BK1B3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u8958 amt-token-alex-token-wusda) tx-sender 'SP20GWX9NRK175G17NY4TRH8JHHSNPAGRY2FVNHTR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1177752 amt-token-alex-token-wusda) tx-sender 'SP2CDY5S7VD4Z4RT93Z1RTXAS1ZXGTVMPHKNKZ27S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u582250 amt-token-alex-token-wusda) tx-sender 'SPD4J8VAN93R5XFVBJTRW1GB5XFNH7C2KA3RRF01))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u58803 amt-token-alex-token-wusda) tx-sender 'SP3CA3WGSEEY7FDN93920187NN6JZAFWWGA09D63S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u328 amt-token-alex-token-wusda) tx-sender 'SP2QZ1GNJGY76R0GAFEZ6EDDMWYB988HNFP1GPDRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u39125 amt-token-alex-token-wusda) tx-sender 'SP34JF2JYEVZERQAMDZ7WSR40ZF9ERG5362F9CH9P))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u87164 amt-token-alex-token-wusda) tx-sender 'SP2F0AHP4Y35AF74YK0VZN5AEZCXQK4REKBC0D8M6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u7668 amt-token-alex-token-wusda) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u8243 amt-token-alex-token-wusda) tx-sender 'SP1C5KM7ZRPP18YMTSRXEYC3RYKTBSFH2FRJH6D3T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u97 amt-token-alex-token-wusda) tx-sender 'SP318TS0M6VXGKBKY479SV2CH75PM29BSRVZAVTSE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u18154 amt-token-alex-token-wusda) tx-sender 'SP39KW7PHTAC7MKDZJT64ZVFS141B4G7KQKEG7MG3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1811563 amt-token-alex-token-wusda) tx-sender 'SP2JP9NPB6SVYGDDRDFRZAXCZVK7W9ZHHVTSGS27))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u31083 amt-token-alex-token-wusda) tx-sender 'SP103BZSXCX2YF8HXMN8DDP5Z46DN4A0HPRDYJXDD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u532690 amt-token-alex-token-wusda) tx-sender 'SP29ZMK7G0PNSY1FVBP8DB6PZ3B14FK2H9J8EEZBP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2229294 amt-token-alex-token-wusda) tx-sender 'SP328C499MR96NTY2NRFXRMM4ASG0V9M10YKV9RER))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u9253 amt-token-alex-token-wusda) tx-sender 'SP1ZJHN74VH26SPHHJB4YP6NSEYVKFZD1W0ZK5K9H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u628495 amt-token-alex-token-wusda) tx-sender 'SP1Z0JAG083DEE8VQ5H1D5RJDCT5DVEGS212N4XX8))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u147383 amt-token-alex-token-wusda) tx-sender 'SP2X6RP1WRAQ8DWB065K3MGSFDKEZPYKX0ZQWRWCM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u57262 amt-token-alex-token-wusda) tx-sender 'SP1F8ZX6BFSTG8SVR3GXV2DM3417E8XWQ8ZTEV3GK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u99843 amt-token-alex-token-wusda) tx-sender 'SP28S4B855DXCVXE58V83EMS23QM3R7RJ3BQA6EHY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u360615 amt-token-alex-token-wusda) tx-sender 'SPN3AV2KQ8HYFHGKC34SGVSS9TNMJXG56GXRSR70))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u12627 amt-token-alex-token-wusda) tx-sender 'SP3ZVASJCNQ44A4YA5A1GPFFY0NDT77W8FV73QV30))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u26722 amt-token-alex-token-wusda) tx-sender 'SP1636JWMGP08V6A63PV0SDY2B0NEYQ61PFV200A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u89574 amt-token-alex-token-wusda) tx-sender 'SP1WYHPJJVN3P0PS32BMF33P6WVVK1SNRRS28ZF0G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u204346 amt-token-alex-token-wusda) tx-sender 'SP17D2C9PE4WAV8J8GAY1DBWZ9G4KQY68KKMFC9CD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u114189 amt-token-alex-token-wusda) tx-sender 'SP2028KETBGX6T8KVD35Y025V7DZMRS56N9FTSQZ7))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u552971 amt-token-alex-token-wusda) tx-sender 'SP37WP07K6M2FEBEDB7W97QQ5WVC0JWXQZ94DVCJB))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u17490245 amt-token-alex-token-wusda) tx-sender 'SPQQV2QN22NAT45PREHH73T5RHF9HZJS7MC3EWCE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u89600 amt-token-alex-token-wusda) tx-sender 'SP38YE4QDHSJNJP9XFW42R0QPVK3QXNQMTA2PN7M0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u56792 amt-token-alex-token-wusda) tx-sender 'SP274JYGEQHMBJWC0S925CT3CNX4WPWD8Z303BCG9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u257803 amt-token-alex-token-wusda) tx-sender 'SP3Y4FBG02E39JM2Y9KA6NPTWW4MAP9HEBVYC40SD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u50058 amt-token-alex-token-wusda) tx-sender 'SP3GQFK8MRFMVCSZ5SJT23FW3G1YVS66XDJQSYSD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u20816 amt-token-alex-token-wusda) tx-sender 'SP297NVTM4G5QT5EH9QF9XE58R0DTKKS0BJR2BN5K))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u16428 amt-token-alex-token-wusda) tx-sender 'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u123613 amt-token-alex-token-wusda) tx-sender 'SPDR1QD7D1B5XFQDVJDRN1QXA9SKH0TXVRDXAXDS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u4667114 amt-token-alex-token-wusda) tx-sender 'SP2HP0DA4G75QM1K9S5W06GAD15MABJ6M11YQS7SV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u57274 amt-token-alex-token-wusda) tx-sender 'SP3BJHX5N5AE3J8BCXH5CND9F0V8RG2FRCRB7TAMM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2462757 amt-token-alex-token-wusda) tx-sender 'SPC108HG46YD67MTWK4NBN3FK28TK4KZXVPARZQN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u38195 amt-token-alex-token-wusda) tx-sender 'SP2BCSPRRH0Q7HG3QYXT76GTMK2VZA60CED315P0G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u685310 amt-token-alex-token-wusda) tx-sender 'SP3TF77S4XWBMZ455YTYWRMRMHTM7AZDM6258ACR3))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u31315 amt-token-alex-token-wusda) tx-sender 'SPKN65R26G0217PQB64YMKSXSDRDV6B57F3VHMQV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u91689 amt-token-alex-token-wusda) tx-sender 'SP1DSVQNVYNF46XW828KM1DGZ174YSVQM2VK7V06M))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u316744 amt-token-alex-token-wusda) tx-sender 'SP2W9QYAHJNS7YTQY9EK2MSTQGX9E2NDMV766JP9Z))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u291 amt-token-alex-token-wusda) tx-sender 'SP2S2AYBASR4PQ0DB0SS45KHJ89G8Z4P2GFRETEP4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u13071 amt-token-alex-token-wusda) tx-sender 'SP3RJJTZY19WP6DMFNXWAJ2E6MNPNRW3VB7T8H78H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u6024 amt-token-alex-token-wusda) tx-sender 'SP3HY81SNXYTWFJ9YHMNR8T1H0AS3ME97NBKGBQQ9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u16629 amt-token-alex-token-wusda) tx-sender 'SP3JVRD6M1S38P3Z21X2YWJMV0EVS0A9JMB5N8GXV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u4944 amt-token-alex-token-wusda) tx-sender 'SP9870TJVFCDZE9SVPCRQXTRNEPAJS3DVJ7GY506))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u163413 amt-token-alex-token-wusda) tx-sender 'SP307ZEST2SWRSJXS9MHEN43VA18FX8G6J9ZHACW1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u224503 amt-token-alex-token-wusda) tx-sender 'SP3GXPJAJY660N38FKQBBBDFRAEE9Y4TWC3V3PS0A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u564674 amt-token-alex-token-wusda) tx-sender 'SP1C7AC7GJ16TKDS3HMNPD8RDXTZ0TB2Y951EVGWH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u85398 amt-token-alex-token-wusda) tx-sender 'SPNVK4X5RM6TNKA1S0TPVYPT3GNHSJ887B5CWCTH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u44918 amt-token-alex-token-wusda) tx-sender 'SP1E0EAG94S5Y4M64TM41BG0NB10C6SXCYXF78BFZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u44748 amt-token-alex-token-wusda) tx-sender 'SP3VMTBGXF5KHNZ5YGA7R04DDJJ5MJMFYJ1H3Y71G))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u61388 amt-token-alex-token-wusda) tx-sender 'SPSAQVX01P4BWSRCHAACFY6DQP3G1367A578XWTM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u55933 amt-token-alex-token-wusda) tx-sender 'SP2P2YQFAYF7WTFR7XZKJCFWY5FDNGFYKXPW4N4VH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u341354 amt-token-alex-token-wusda) tx-sender 'SPYQZBR1RKVCPXAF2AYECPETEV9X6R91ZS4HH8CH))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u180113 amt-token-alex-token-wusda) tx-sender 'SP20BRQYA0YMF1E41W485TB0PXSGKWV07DAWP0T03))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u648662 amt-token-alex-token-wusda) tx-sender 'SPGRC64F3HRWYJ3SV2KM9DFPKQJ0YRK8KZ89NQ93))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1090411 amt-token-alex-token-wusda) tx-sender 'SP2277PPJAZDPPN9MH9ZDA1AJ2GGAEY2BDW09H1Z0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u22789301 amt-token-alex-token-wusda) tx-sender 'SPDHYD1VZ5AQ2V6W4DZDCV30S5BD0PW3A4K74HDV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u139282 amt-token-alex-token-wusda) tx-sender 'SP3AGX0J22QKCEMFVASY22A5F44HF19ZR5JQNSW01))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u389627 amt-token-alex-token-wusda) tx-sender 'SP3VMAHTFVN9ED5FB073MK1B8MGNCZW5VCEHFFD7C))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u7251 amt-token-alex-token-wusda) tx-sender 'SP3BSNDWN9SC195GP7XQWE9M35JX609ARKNT12RAX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u85919 amt-token-alex-token-wusda) tx-sender 'SP1D11X198XEBNNCTXAX97KVNEWAHQZ6R83M9GHMV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u187981 amt-token-alex-token-wusda) tx-sender 'SP2P6T9D3PNKB0BEJ54YAW8KJ38VW77W6WKW7XP54))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1377867 amt-token-alex-token-wusda) tx-sender 'SPHG0Q9Y9PG8J15F0M2XSD5EMNRD1RK7J5X0CN9R))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2239768 amt-token-alex-token-wusda) tx-sender 'SP1C6WQ9KTV3769S8X8YNAWBXKDG2Y65P5EEDRWR6))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u70 amt-token-alex-token-wusda) tx-sender 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u740055 amt-token-alex-token-wusda) tx-sender 'SP3731FXN86HFJ5SH525315DD37AA9NV5TBZ2ZKWX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3203 amt-token-alex-token-wusda) tx-sender 'SP1SAC24GV1PANRZJWY8XKPPVMEB5GDXECW1NSZRE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u236234 amt-token-alex-token-wusda) tx-sender 'SP220VFEDEMB2P25THWHE3CZGSYD0W0E8WX1CYKE2))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2735 amt-token-alex-token-wusda) tx-sender 'SPKFD4ZQ1HYJF53AK93V9FB7MQ0W0NSSV9QNAS37))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u240712 amt-token-alex-token-wusda) tx-sender 'SPVV95A807JQE61KNJ0ZB7NW3DV6SWT8WZR6RASE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u229367 amt-token-alex-token-wusda) tx-sender 'SP1KVWVB0W4SGT37KJVT6HPRMJAFQDHSK4FX6ENYP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u152744 amt-token-alex-token-wusda) tx-sender 'SPHKPJXTXJ67E195R4Q7R5XWY4AJFNGW7300F5SP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u171359 amt-token-alex-token-wusda) tx-sender 'SP13QS5TTDWB00GR579BSYWBRFDB2H4Y7DSQ77V91))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1895 amt-token-alex-token-wusda) tx-sender 'SPKGHQ38CMH7TXC2ADYKDNT663Q682ZB5Y3G1RBC))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u6 amt-token-alex-token-wusda) tx-sender 'SP2FMBPYKA1YTNJAGW6R9FKNTWP48MH7QVY4KRKCP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1945479 amt-token-alex-token-wusda) tx-sender 'SP2KAM4A6W2F7NNSA8W21WABP0QW5WANZ4QK67RNR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u9870 amt-token-alex-token-wusda) tx-sender 'SP229J1J82R448099E50CXEJZTV83V8KSR95FTA8E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u36509 amt-token-alex-token-wusda) tx-sender 'SP3C1W3BG1BQWGHXS5SWCKWW2N7ARTWVHAWC0E7WG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u961458 amt-token-alex-token-wusda) tx-sender 'SP3DPXHEAQ34YVNC7NADP1BSYXWSDTW9KW6PGTAM0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u25053 amt-token-alex-token-wusda) tx-sender 'SPB3WS3WVZ3RNJSM3V7NWFFMRRW0T2KYAK2Q7G3H))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2486 amt-token-alex-token-wusda) tx-sender 'SP22ZKFYZ7GVGG6K5W4RV3FAPVRPP4RN9WQM742MM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u522371 amt-token-alex-token-wusda) tx-sender 'SPQ38H0MG7GCZYSY9PTW4T9JCCNZSFJX0C6RHREP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u365320 amt-token-alex-token-wusda) tx-sender 'SPFZS2YTF3B6D3095C10B8S6RFF7W1RSC7VMGSX0))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u46400 amt-token-alex-token-wusda) tx-sender 'SP2NY0CFMGFHACQ7NNYY1WABXEJ0A7TEQ476K63KZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u273506 amt-token-alex-token-wusda) tx-sender 'SP39QMCAN545Q2VEA2M9JJQJ4J2GJNRRBWXQVWRBK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u11839 amt-token-alex-token-wusda) tx-sender 'SP101B76X5WHDRSX57HPGYD6V9DD2VNXG4CHAT3Z1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u113725 amt-token-alex-token-wusda) tx-sender 'SP3ZSV5B3H547NFTMMPGNZRSAM06GEQ9GEC116AAD))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u31698 amt-token-alex-token-wusda) tx-sender 'SP3EZFTNCP7JP2GJ40NYPY202G2V63KPNYA61R043))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u1291691 amt-token-alex-token-wusda) tx-sender 'SP1311761KH21MH5C44S3TM37697X79QP30AMZBVF))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u13272 amt-token-alex-token-wusda) tx-sender 'SPFQCV70T2Q7HYX65KCJ4YVFAMSXAFMEZBF13C2N))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u6759 amt-token-alex-token-wusda) tx-sender 'SPY64DW831AG9VRSVR31QXKXVA5X8Y5H8JGPZTFA))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3164 amt-token-alex-token-wusda) tx-sender 'SP2QESA7KX4C702G1WJKMW5XPVDJMBPBSHFSKDMK5))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u47400 amt-token-alex-token-wusda) tx-sender 'SPEW25Y6T22DQ58KE0J8CVGDZGTF6GCZNE4ZG7MK))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u52023 amt-token-alex-token-wusda) tx-sender 'SP1PCJ92G70A48949236JGDYWH0RMJ6ET85EV9JJV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u14157 amt-token-alex-token-wusda) tx-sender 'SP3SNQ7ZWTD4XMSH5FCDC4E82NB0K398EA51QGPVM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u49289 amt-token-alex-token-wusda) tx-sender 'SP5TN2MP8EW41ECDDS9R10AZJAACV5RFBVP6PR6X))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u3031 amt-token-alex-token-wusda) tx-sender 'SP3XRPJ492YBM3EWA1ASCC6R7BR37Q7VVJG8CTZCY))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u113290 amt-token-alex-token-wusda) tx-sender 'SP381PY6PY3TBQBX06QF9RQ82AE6T67W5HTD4EF3E))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u2243 amt-token-alex-token-wusda) tx-sender 'SP2N0N9B7R5X4Q50907GQR7J952GCPM31Y5NBAJZG))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wusda (mul-down u301866 amt-token-alex-token-wusda) tx-sender 'SP3XSJTFWPX8G7Z68M6N0ENJ012FXED25P1BAXV2A))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u2289 amt-token-alex-token-wslm) tx-sender 'SP2ZFPT5E7YGZ4P3E14TDEX6PSQ9YWMZRCA720FG4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u315835 amt-token-alex-token-wslm) tx-sender 'SPC5XDPYK8ZXNDS0FNP31RKG5P7K4JT8JMY3XAJ1))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u1250569 amt-token-alex-token-wslm) tx-sender 'SP2791RKSYJJ39MVHC09J8NARWBMK5G9C79EJB0RV))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u19869611 amt-token-alex-token-wslm) tx-sender 'SP23DZ9XYT3YNF70MHAV9Y3622H8B3DX10WMWT2T9))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u59978 amt-token-alex-token-wslm) tx-sender 'SP3TS3D8ZVKTP7ABXDQ201GBP2AED3TSX0WKW5G85))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u6312 amt-token-alex-token-wslm) tx-sender 'SP2S7AE08KCDQQ7S7JF4W6FH0GZ9920ENC3ET9ATP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u29805 amt-token-alex-token-wslm) tx-sender 'SP3YWXEJY6Y7S54DWA2FKQW3DBGETBVGA44YTQGWR))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u26939 amt-token-alex-token-wslm) tx-sender 'SP3DVNQ3VAAYCE12XQ2GTYMCRQAS1EY7YD5J83WZQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u97590 amt-token-alex-token-wslm) tx-sender 'SPNK3DAMEBBK5TF97B3XR9KED32BMYHJP76AM9MJ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u4011 amt-token-alex-token-wslm) tx-sender 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u39153 amt-token-alex-token-wslm) tx-sender 'SP1SVK3YQV3S1NA2DCJG2NGADDT34H9SYRGYKD6GX))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u21204 amt-token-alex-token-wslm) tx-sender 'SP1E5KVXXSSBT5D3ZRBPCT33PNR9EDEN5341XGQ70))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u8520 amt-token-alex-token-wslm) tx-sender 'SPQQV2QN22NAT45PREHH73T5RHF9HZJS7MC3EWCE))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u77686150 amt-token-alex-token-wslm) tx-sender 'SPFD5XBCJWX0RJP35N6YF4S32JWRVXKGZCQ0BX7S))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u37312 amt-token-alex-token-wslm) tx-sender 'SP2MYQF316JWNY0M6MBGRFPZS17GJKRA26ZPB35HM))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u39513 amt-token-alex-token-wslm) tx-sender 'SP3JEGPDXK4ENNSHD64HYTWB0Q2QX9XJFKCBDYXRP))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u12480 amt-token-alex-token-wslm) tx-sender 'SP2QB4MT1501Q0XZJS641ZYK4TMWYKTS5PF18NXDN))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u248052 amt-token-alex-token-wslm) tx-sender 'SP3S1B0A5A4HAS9NR5ZCRJYAZ1DNS5DF7ZR022C1T))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u26715 amt-token-alex-token-wslm) tx-sender 'SPEXAF3YRNCR01Z4DFZ567Z0FB4RKPHM88DMKJSQ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u108351 amt-token-alex-token-wslm) tx-sender 'SP304P7P1BCPWDDY8C4RPNFQS2TREZM32KJPVDZHS))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed id-token-alex-token-wslm (mul-down u109600 amt-token-alex-token-wslm) tx-sender 'SP214M5BGKFNZ0VERMHE3JQKFHBFHE7WNHTG75D38))
(try! (contract-call? .amm-pool-v2-01 pause true))
(ok true)
)
)
(define-private (mul-down (a uint) (b uint))
(/ (* a b) ONE_8))