(impl-trait .proposal-trait.proposal-trait)
(define-public (execute (sender principal))
(begin
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u1 u398979520568947 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u2 u75367078 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u3 u1222239530014 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u4 u50607260460681 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u5 u108354054680596 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u6 u29928 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u7 u2218963736 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u8 u10918597921968227 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u9 u939337 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u10 u168059132173 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u11 u7819994062488 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u12 u459472101414 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u13 u398979520568947 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u14 u75367078 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u15 u1222239530014 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u16 u50607260460681 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u17 u108354054680596 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u18 u274 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u19 u939337 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u20 u21949056129041651 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u21 u5262305 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u22 u4419998876140 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u23 u6471734 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u24 u140526944 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u25 u1998685 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u26 u109 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u27 u3797 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u28 u312201 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u29 u195085 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u30 u3146 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u31 u34837267227804467259996 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u32 u3654832025855925900353 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u33 u1039200781363486007856194 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u34 u4319430615324911857743440 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u35 u14752303424105788589896 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u36 u117719284966929933 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u37 u269670776566075855420413 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u38 u41983669424907856562716 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u39 u53037617735200221641528080 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u40 u199999990 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u41 u14922230006277792751058 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u42 u17017968071330713757 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u43 u41205912528274736121818 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u44 u922680746 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(try! (contract-call? .token-amm-pool-v2-01 transfer-fixed u45 u30752727741593 tx-sender 'SP11M99GX0YGHMBFCA7W4952AHFQTT9XEX33BFQSZ))
(ok true)))