{ parameter (or

              (or

                (or (address %ChangeAdmin)

                    (or (option %ChangeBakerAddress key_hash) (unit %ChangeLockState)))

                (or (unit %ChangeState)

                    (or (address %ChangeSystem)

                        (pair %add_liquidity (nat %maxCashDeposited)

                                             (pair (nat %minLqtMinted) (address %owner))))))

              (or

                (or

                  (pair %ctez_to_tez (nat %cashSold)

                                     (pair (nat %minTezBought) (address %recipient)))

                  (or (nat %ctez_to_tez_callback) (unit %default)))

                (or

                  (or (pair %forwardFee (nat %epoch) (address %feeDistributor))

                      (pair %remove_liquidity (nat %lqtBurned)

                                              (pair (nat %minCashWithdrawn)

                                                    (nat %minTezWithdrawn))))

                  (or (pair %tez_to_ctez (nat %minCashBought) (address %recipient))

                      (nat %tez_to_ctez_callback))))) ;

  storage (pair

            (pair

              (pair (pair (bool %Locked) (address %admin))

                    (pair (address %ctezAddress) (nat %ctezFee)))

              (pair (pair (nat %ctezPool) (address %ctez_admin))

                    (pair (nat %lpFee) (pair (address %lqtAddress) (nat %lqtTotal)))))

            (pair

              (pair (pair (option %minAmount nat) (bool %paused))

                    (pair (option %recipient address) (option %sender address)))

              (pair (pair (bool %state) (nat %tezPool))

                    (pair (option %tradeAmount nat)

                          (pair (option %voterContract address) (nat %xtzFee)))))) ;

  code { LAMBDA

           nat

           nat

           { DUP ;

             PUSH nat 0 ;

             SWAP ;

             COMPARE ;

             GE ;

             IF {} { PUSH string "FlatSwap_Negative_Value" ; FAILWITH } ;

             DUP ;

             DUP ;

             DUG 2 ;

             SWAP ;

             DUP ;

             DUP ;

             DUG 3 ;

             MUL ;

             COMPARE ;

             GT ;

             LOOP { PUSH nat 2 ;

                    SWAP ;

                    DUP ;

                    DUP 4 ;

                    EDIV ;

                    IF_NONE { PUSH int 128 ; FAILWITH } { CAR } ;

                    ADD ;

                    EDIV ;

                    IF_NONE { PUSH int 128 ; FAILWITH } { CAR } ;

                    SWAP ;

                    DUP ;

                    DUG 2 ;

                    SWAP ;

                    DUP ;

                    DUP ;

                    DUG 3 ;

                    MUL ;

                    COMPARE ;

                    GT } ;

             SWAP ;

             DUP ;

             DUG 2 ;

             SWAP ;

             DUP ;

             DUP ;

             DUG 3 ;

             MUL ;

             COMPARE ;

             LE ;

             IF

               { DUP ; PUSH nat 1 ; ADD ; PUSH nat 1 ; DUP 3 ; ADD ; MUL ; DIG 2 ; COMPARE ; LT }

               { SWAP ; DROP ; PUSH bool False } ;

             IF

               {}

               { PUSH string "WrongCondition: ((y.value * y.value) <= _x0) & (_x0 < ((y.value + 1) * (y.value + 1)))" ;

                 FAILWITH } } ;

         SWAP ;

         UNPAIR ;

         IF_LEFT

           { IF_LEFT

               { IF_LEFT

                   { DIG 2 ;

                     DROP ;

                     SWAP ;

                     DUP ;

                     DUG 2 ;

                     CAR ;

                     CAR ;

                     CAR ;

                     CDR ;

                     SENDER ;

                     COMPARE ;

                     EQ ;

                     IF {} { PUSH string "FlatSwap_Not_Admin" ; FAILWITH } ;

                     SWAP ;

                     UNPAIR ;

                     UNPAIR ;

                     UNPAIR ;

                     CAR ;

                     DIG 4 ;

                     SWAP ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     NIL operation }

                   { IF_LEFT

                       { DIG 2 ;

                         DROP ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         CAR ;

                         CAR ;

                         CAR ;

                         CDR ;

                         SENDER ;

                         COMPARE ;

                         EQ ;

                         IF {} { PUSH string "FlatSwap_Not_Admin" ; FAILWITH } ;

                         SET_DELEGATE ;

                         NIL operation ;

                         SWAP ;

                         CONS }

                       { DROP ;

                         SWAP ;

                         DROP ;

                         DUP ;

                         CAR ;

                         CAR ;

                         CAR ;

                         CDR ;

                         SENDER ;

                         COMPARE ;

                         EQ ;

                         IF {} { PUSH string "FlatSwap_Not_Admin" ; FAILWITH } ;

                         DUP ;

                         UNPAIR ;

                         UNPAIR ;

                         UNPAIR ;

                         CDR ;

                         DIG 4 ;

                         CAR ;

                         CAR ;

                         CAR ;

                         CAR ;

                         NOT ;

                         PAIR ;

                         PAIR ;

                         PAIR ;

                         PAIR ;

                         NIL operation } } }

               { IF_LEFT

                   { DROP ;

                     SWAP ;

                     DROP ;

                     DUP ;

                     CAR ;

                     CAR ;

                     CAR ;

                     CDR ;

                     SENDER ;

                     COMPARE ;

                     EQ ;

                     IF {} { PUSH string "FlatSwap_Not_Admin" ; FAILWITH } ;

                     DUP ;

                     UNPAIR ;

                     SWAP ;

                     UNPAIR ;

                     UNPAIR ;

                     CAR ;

                     DIG 4 ;

                     GET 3 ;

                     CAR ;

                     CDR ;

                     NOT ;

                     SWAP ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     SWAP ;

                     PAIR ;

                     NIL operation }

                   { IF_LEFT

                       { DIG 2 ;

                         DROP ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         CAR ;

                         CAR ;

                         CAR ;

                         CDR ;

                         SENDER ;

                         COMPARE ;

                         EQ ;

                         IF {} { PUSH string "FlatSwap_Not_Admin" ; FAILWITH } ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         CDR ;

                         PUSH bool True ;

                         PAIR ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         SOME ;

                         UPDATE 9 ;

                         NIL operation }

                       { PUSH nat 0 ;

                         PUSH nat 0 ;

                         PUSH nat 0 ;

                         PUSH nat 0 ;

                         DUP 6 ;

                         CAR ;

                         GET 8 ;

                         COMPARE ;

                         NEQ ;

                         IF

                           { DIG 2 ;

                             DROP 3 ;

                             DIG 2 ;

                             DROP ;

                             PUSH mutez 1 ;

                             AMOUNT ;

                             EDIV ;

                             IF_NONE { UNIT ; FAILWITH } {} ;

                             CAR ;

                             DIG 2 ;

                             DUP ;

                             GET 5 ;

                             CDR ;

                             SWAP ;

                             DUP ;

                             DUG 4 ;

                             CAR ;

                             GET 8 ;

                             DUP 3 ;

                             MUL ;

                             EDIV ;

                             IF_NONE { PUSH int 161 ; FAILWITH } {} ;

                             CAR ;

                             DIG 3 ;

                             DUP ;

                             GET 5 ;

                             CDR ;

                             SWAP ;

                             DUP ;

                             DUG 5 ;

                             CAR ;

                             GET 3 ;

                             CAR ;

                             DUP 4 ;

                             MUL ;

                             EDIV ;

                             IF_NONE { PUSH int 162 ; FAILWITH } { CAR } ;

                             SWAP ;

                             PUSH nat 0 ;

                             DUP 4 ;

                             COMPARE ;

                             GT ;

                             IF

                               {}

                               { PUSH string "FlatSwap_Invalid_LP_Ratio" ; FAILWITH } ;

                             PUSH nat 0 ;

                             DUP 3 ;

                             COMPARE ;

                             GT ;

                             IF

                               {}

                               { PUSH string "FlatSwap_Invalid_LP_Ratio" ; FAILWITH } }

                           { DROP 3 ;

                             PUSH nat 1000 ;

                             DIG 3 ;

                             DUP 3 ;

                             CAR ;

                             PUSH mutez 1 ;

                             AMOUNT ;

                             EDIV ;

                             IF_NONE { UNIT ; FAILWITH } {} ;

                             CAR ;

                             MUL ;

                             EXEC ;

                             PUSH nat 2 ;

                             MUL ;

                             SUB ;

                             ISNAT ;

                             IF_NONE { PUSH int 166 ; FAILWITH } {} ;

                             DIG 2 ;

                             UNPAIR ;

                             UNPAIR ;

                             SWAP ;

                             UNPAIR ;

                             SWAP ;

                             UNPAIR ;

                             SWAP ;

                             UNPAIR ;

                             SWAP ;

                             PUSH nat 1000 ;

                             ADD ;

                             SWAP ;

                             PAIR ;

                             SWAP ;

                             PAIR ;

                             SWAP ;

                             PAIR ;

                             SWAP ;

                             PAIR ;

                             PAIR ;

                             DUG 2 ;

                             PUSH mutez 1 ;

                             AMOUNT ;

                             EDIV ;

                             IF_NONE { UNIT ; FAILWITH } {} ;

                             CAR ;

                             SWAP ;

                             DUP 3 ;

                             CAR ;

                             SWAP } ;

                         DUP ;

                         PUSH nat 0 ;

                         COMPARE ;

                         LT ;

                         IF

                           {}

                           { PUSH string "WrongCondition: lqtMinted.value > 0" ;

                             FAILWITH } ;

                         DUP 4 ;

                         CAR ;

                         DUP 3 ;

                         COMPARE ;

                         LE ;

                         IF {} { PUSH string "FlatSwap_Max_Cash_Error" ; FAILWITH } ;

                         DUP 4 ;

                         GET 3 ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         COMPARE ;

                         GE ;

                         IF

                           {}

                           { PUSH string "FlatSwap_Min_Lqt_Minted_Error" ; FAILWITH } ;

                         DIG 4 ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         UNPAIR ;

                         SWAP ;

                         DIG 7 ;

                         ADD ;

                         SWAP ;

                         PAIR ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         UNPAIR ;

                         DUP 7 ;

                         ADD ;

                         PAIR ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         PAIR ;

                         DUG 3 ;

                         NIL operation ;

                         DUP 5 ;

                         CAR ;

                         CAR ;

                         GET 3 ;

                         CONTRACT %transfer (pair (address %from)

                                                  (pair (address %to) (nat %value))) ;

                         IF_NONE { PUSH int 65 ; FAILWITH } {} ;

                         PUSH mutez 0 ;

                         DIG 4 ;

                         SELF_ADDRESS ;

                         SENDER ;

                         PAIR 3 ;

                         TRANSFER_TOKENS ;

                         CONS ;

                         DUP 4 ;

                         CAR ;

                         GET 7 ;

                         CONTRACT %mint (pair (address %address) (nat %value)) ;

                         IF_NONE { PUSH int 73 ; FAILWITH } {} ;

                         PUSH mutez 0 ;

                         DUP 4 ;

                         DIG 5 ;

                         GET 4 ;

                         PAIR ;

                         TRANSFER_TOKENS ;

                         CONS ;

                         DIG 2 ;

                         UNPAIR ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         UNPAIR ;

                         SWAP ;

                         DIG 7 ;

                         ADD ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         SWAP ;

                         PAIR ;

                         PAIR ;

                         SWAP } } } }

           { IF_LEFT

               { IF_LEFT

                   { DIG 2 ;

                     DROP ;

                     DUP ;

                     CAR ;

                     PUSH nat 0 ;

                     COMPARE ;

                     LT ;

                     IF {} { PUSH string "FlatSwap_Zero_Amount_Transfer" ; FAILWITH } ;

                     SWAP ;

                     DUP ;

                     DUG 2 ;

                     GET 3 ;

                     CAR ;

                     CDR ;

                     IF { PUSH string "FlatSwap_Paused_State" ; FAILWITH } {} ;

                     SWAP ;

                     UNPAIR ;

                     SWAP ;

                     UNPAIR ;

                     CAR ;

                     DUP 4 ;

                     GET 4 ;

                     SOME ;

                     SENDER ;

                     SOME ;

                     SWAP ;

                     PAIR ;

                     SWAP ;

                     CDR ;

                     DUP 5 ;

                     GET 3 ;

                     SOME ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     SWAP ;

                     PAIR ;

                     SWAP ;

                     CAR ;

                     SOME ;

                     UPDATE 7 ;

                     DUP ;

                     UNPAIR ;

                     UNPAIR ;

                     UNPAIR ;

                     CDR ;

                     DIG 4 ;

                     CAR ;

                     CAR ;

                     CAR ;

                     CAR ;

                     NOT ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     PAIR ;

                     DUP ;

                     CAR ;

                     GET 3 ;

                     CDR ;

                     CONTRACT %get_target (contract nat) ;

                     IF_NONE { PUSH int 291 ; FAILWITH } {} ;

                     NIL operation ;

                     SWAP ;

                     PUSH mutez 0 ;

                     SELF %ctez_to_tez_callback ;

                     TRANSFER_TOKENS ;

                     CONS }

                   { IF_LEFT

                       { SWAP ;

                         DUP ;

                         DUG 2 ;

                         CAR ;

                         CAR ;

                         CAR ;

                         CAR ;

                         IF

                           {}

                           { PUSH string "WrongCondition: self.data.Locked" ; FAILWITH } ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         GET 3 ;

                         GET 3 ;

                         IF_NONE

                           { PUSH string "WrongCondition: self.data.recipient.is_some()" ;

                             FAILWITH }

                           { DROP } ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         GET 7 ;

                         IF_NONE

                           { PUSH string "WrongCondition: self.data.tradeAmount.is_some()" ;

                             FAILWITH }

                           { DROP } ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         GET 3 ;

                         CAR ;

                         CAR ;

                         IF_NONE

                           { PUSH string "WrongCondition: self.data.minAmount.is_some()" ;

                             FAILWITH }

                           { DROP } ;

                         PUSH int 5 ;

                         PUSH nat 0 ;

                         DUP ;

                         PUSH nat 48 ;

                         DUP 6 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 5 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 5 ;

                         MUL ;

                         DUP 6 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 6 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         PUSH nat 48 ;

                         DUP 7 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 6 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 6 ;

                         MUL ;

                         DUP 7 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 7 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         DUP 3 ;

                         PUSH nat 48 ;

                         DUP 8 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 7 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 7 ;

                         MUL ;

                         DUP 8 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 8 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         MUL ;

                         DUP 3 ;

                         PUSH nat 48 ;

                         DUP 8 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 7 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 7 ;

                         MUL ;

                         DUP 8 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 8 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         DUP 4 ;

                         PUSH nat 48 ;

                         DUP 9 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 8 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 8 ;

                         MUL ;

                         DUP 9 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 9 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         MUL ;

                         DUP 4 ;

                         PUSH nat 48 ;

                         DUP 9 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 8 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 8 ;

                         MUL ;

                         DUP 9 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 9 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         DUP 5 ;

                         PUSH nat 48 ;

                         DUP 10 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 9 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 9 ;

                         MUL ;

                         DUP 10 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 10 ;

                         MUL ;

                         ADD ;

                         ADD ;

                         MUL ;

                         MUL ;

                         MUL ;

                         MUL ;

                         INT ;

                         SWAP ;

                         DUP ;

                         DUG 2 ;

                         PUSH nat 48 ;

                         DUP 7 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 6 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 6 ;

                         MUL ;

                         DUP 7 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 7 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         DUP 3 ;

                         PUSH nat 48 ;

                         DUP 8 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 7 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 7 ;

                         MUL ;

                         DUP 8 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 8 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         DUP 4 ;

                         PUSH nat 48 ;

                         DUP 9 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 8 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 8 ;

                         MUL ;

                         DUP 9 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 9 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         MUL ;

                         DUP 4 ;

                         PUSH nat 48 ;

                         DUP 9 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 8 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 8 ;

                         MUL ;

                         DUP 9 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 9 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         DUP 5 ;

                         PUSH nat 48 ;

                         DUP 10 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 9 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 9 ;

                         MUL ;

                         DUP 10 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 10 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         MUL ;

                         DUP 5 ;

                         PUSH nat 48 ;

                         DUP 10 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 9 ;

                         GET 7 ;

                         IF_NONE { PUSH int 120 ; FAILWITH } {} ;

                         DUP 9 ;

                         MUL ;

                         DUP 10 ;

                         CAR ;

                         GET 3 ;

                         CAR ;

                         DUP 10 ;

                         MUL ;

                         ADD ;

                         SUB ;

                         DUP 6 ;

                         PUSH nat 48 ;

                         DUP 11 ;

                         GET 5 ;

                         CDR ;

                         LSL ;

                         SUB ;

                         ABS ;

                         DUP 10 ;

                         GET 7 ;