parameter (or

            (or

              (or (address %AddAccount)

                  (or (address %ChangeAdmin)

                      (pair %ChangeExchangeFee (address %exchangeAddress)

                                               (pair (nat %lpFee) (nat %systemFee)))))

              (or (address %RemoveAccount)

                  (or (unit %ResetVoting) (address %WithdrawExchangeFee))))

            (or

              (or

                (pair %changeExchangeAdmin (address %exchangeAddress)

                                           (address %newExchangeAdmin))

                (or

                  (pair %changeExchangeMaxSwap (nat %SwapLimit)

                                               (address %exchangeAddress))

                  (address %changeExchangeState)))

              (or (address %changeVaultAddress)

                  (or (unit %executeChangeAdmin) (unit %executeChangeExchangeAdmin)))));

storage (pair

          (pair (pair (set %Accounts address) (nat %Operation))

                (pair (nat %SwapLimit)

                      (pair (map %Votes address bool) (address %adminAddress))))

          (pair (pair (option %exchangeAddress address) (nat %lpFee))

                (pair (nat %systemFee)

                      (pair (option %tempAddress address) (address %vaultContract)))));

code { LAMBDA

         (pair unit

               (pair

                 (pair (pair (set address) nat)

                       (pair nat (pair (map address bool) address)))

                 (pair (pair (option address) nat)

                       (pair nat (pair (option address) address)))))

         (pair (list operation)

               (pair bool

                     (pair

                       (pair (pair (set address) nat)

                             (pair nat (pair (map address bool) address)))

                       (pair (pair (option address) nat)

                             (pair nat (pair (option address) address))))))

         { NIL operation ;

           SWAP ;

           CDR ;

           DUP ;

           CAR ;

           CAR ;

           CAR ;

           NIL address ;

           SWAP ;

           ITER { CONS } ;

           NIL address ;

           SWAP ;

           ITER { CONS } ;

           SIZE ;

           NIL address ;

           DUP 3 ;

           CAR ;

           GET 5 ;

           ITER { CAR ; CONS } ;

           NIL address ;

           SWAP ;

           ITER { CONS } ;

           SIZE ;

           COMPARE ;

           EQ ;

           IF { PUSH bool True } { PUSH bool False } ;

           DIG 2 ;

           PAIR 3 } ;

       SWAP ;

       UNPAIR ;

       IF_LEFT

         { IF_LEFT

             { IF_LEFT

                 { SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   SENDER ;

                   MEM ;

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

                   PUSH nat 0 ;

                   DUP 3 ;

                   CAR ;

                   CAR ;

                   CDR ;

                   COMPARE ;

                   EQ ;

                   IF

                     { SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 7 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       SOME ;

                       UPDATE 7 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       PUSH (option bool) (Some True) ;

                       SENDER ;

                       UPDATE ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR }

                     { PUSH nat 7 ;

                       DUP 3 ;

                       CAR ;

                       CAR ;

                       CDR ;

                       COMPARE ;

                       EQ ;

                       IF

                         {}

                         { PUSH string "PLentySwapAdmin_Invalid_Voting" ; FAILWITH } ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       GET 5 ;

                       SENDER ;

                       MEM ;

                       IF

                         { DROP }

                         { SWAP ;

                           DUP ;

                           DUG 2 ;

                           GET 7 ;

                           IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                           COMPARE ;

                           EQ ;

                           IF

                             { UNPAIR ;

                               UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               PUSH (option bool) (Some True) ;

                               SENDER ;

                               UPDATE ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               PAIR }

                             { UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               CDR ;

                               NONE address ;

                               PAIR ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               NONE address ;

                               UPDATE 7 ;

                               UNPAIR ;

                               UNPAIR ;

                               CAR ;

                               PUSH nat 0 ;

                               SWAP ;

                               PAIR ;

                               PAIR ;

                               PAIR ;

                               PUSH nat 0 ;

                               UPDATE 5 ;

                               UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               CAR ;

                               PUSH nat 0 ;

                               SWAP ;

                               PAIR ;

                               PAIR ;

                               SWAP ;

                               UNPAIR ;

                               SWAP ;

                               CDR ;

                               PUSH nat 0 ;

                               SWAP ;

                               CDR ;

                               EMPTY_MAP address bool ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               PAIR } } } ;

                   UNIT ;

                   PAIR ;

                   EXEC ;

                   DUP ;

                   GET 4 ;

                   SWAP ;

                   DUP ;

                   CAR ;

                   SWAP ;

                   GET 3 ;

                   IF

                     { SWAP ;

                       DUP ;

                       DUG 2 ;

                       UNPAIR ;

                       UNPAIR ;

                       UNPAIR ;

                       PUSH bool True ;

                       DIG 6 ;

                       GET 7 ;

                       IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                       UPDATE ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       UNPAIR ;

                       CDR ;

                       NONE address ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       NONE address ;

                       UPDATE 7 ;

                       UNPAIR ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       PUSH nat 0 ;

                       UPDATE 5 ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       CDR ;

                       PUSH nat 0 ;

                       SWAP ;

                       CDR ;

                       EMPTY_MAP address bool ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP }

                     {} }

                 { IF_LEFT

                     { DIG 2 ;

                       DROP ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       CAR ;

                       CAR ;

                       SENDER ;

                       MEM ;

                       IF

                         {}

                         { PUSH string "PLentySwapAdmin_Invalid_Account" ; FAILWITH } ;

                       PUSH nat 0 ;

                       DUP 3 ;

                       CAR ;

                       CAR ;

                       CDR ;

                       COMPARE ;

                       EQ ;

                       IF

                         { SWAP ;

                           UNPAIR ;

                           UNPAIR ;

                           CAR ;

                           PUSH nat 6 ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           PAIR ;

                           SWAP ;

                           SOME ;

                           UPDATE 7 ;

                           UNPAIR ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           PUSH (option bool) (Some True) ;

                           SENDER ;

                           UPDATE ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           PAIR }

                         { PUSH nat 6 ;

                           DUP 3 ;

                           CAR ;

                           CAR ;

                           CDR ;

                           COMPARE ;

                           EQ ;

                           IF

                             {}

                             { PUSH string "PLentySwapAdmin_Invalid_Voting" ; FAILWITH } ;

                           SWAP ;

                           DUP ;

                           DUG 2 ;

                           CAR ;

                           GET 5 ;

                           SENDER ;

                           MEM ;

                           IF

                             { DROP }

                             { SWAP ;

                               DUP ;

                               DUG 2 ;

                               GET 7 ;

                               IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                               COMPARE ;

                               EQ ;

                               IF

                                 { UNPAIR ;

                                   UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   PUSH (option bool) (Some True) ;

                                   SENDER ;

                                   UPDATE ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   PAIR }

                                 {} } } ;

                       NIL operation }

                     { SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       CAR ;

                       CAR ;

                       SENDER ;

                       MEM ;

                       IF

                         {}

                         { PUSH string "PLentySwapAdmin_Invalid_Account" ; FAILWITH } ;

                       PUSH nat 0 ;

                       DUP 3 ;

                       CAR ;

                       CAR ;

                       CDR ;

                       COMPARE ;

                       EQ ;

                       IF

                         { SWAP ;

                           UNPAIR ;

                           UNPAIR ;

                           CAR ;

                           PUSH nat 2 ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP ;

                           CDR ;

                           DUP 3 ;

                           CAR ;

                           SOME ;

                           DUP 4 ;

                           GET 3 ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           GET 4 ;

                           UPDATE 5 ;

                           UNPAIR ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           PUSH (option bool) (Some True) ;

                           SENDER ;

                           UPDATE ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           PAIR }

                         { PUSH nat 2 ;

                           DUP 3 ;

                           CAR ;

                           CAR ;

                           CDR ;

                           COMPARE ;

                           EQ ;

                           IF

                             {}

                             { PUSH string "PLentySwapAdmin_Invalid_Voting" ; FAILWITH } ;

                           SWAP ;

                           DUP ;

                           DUG 2 ;

                           CAR ;

                           GET 5 ;

                           SENDER ;

                           MEM ;

                           IF

                             { DROP }

                             { DUP ;

                               GET 3 ;

                               DUP 3 ;

                               GET 3 ;

                               CDR ;

                               COMPARE ;

                               EQ ;

                               IF

                                 { DUP ; GET 4 ; DUP 3 ; GET 5 ; COMPARE ; EQ }

                                 { PUSH bool False } ;

                               IF

                                 { SWAP ;

                                   DUP ;

                                   DUG 2 ;

                                   GET 3 ;

                                   CAR ;

                                   IF_NONE { PUSH int 169 ; FAILWITH } {} ;

                                   SWAP ;

                                   CAR ;

                                   COMPARE ;

                                   EQ }

                                 { DROP ; PUSH bool False } ;

                               IF

                                 { UNPAIR ;

                                   UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   PUSH (option bool) (Some True) ;

                                   SENDER ;

                                   UPDATE ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   PAIR }

                                 { UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   CDR ;

                                   NONE address ;

                                   PAIR ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   NONE address ;

                                   UPDATE 7 ;

                                   UNPAIR ;

                                   UNPAIR ;

                                   CAR ;

                                   PUSH nat 0 ;

                                   SWAP ;

                                   PAIR ;

                                   PAIR ;

                                   PAIR ;

                                   PUSH nat 0 ;

                                   UPDATE 5 ;

                                   UNPAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   CAR ;

                                   PUSH nat 0 ;

                                   SWAP ;

                                   PAIR ;

                                   PAIR ;

                                   SWAP ;

                                   UNPAIR ;

                                   SWAP ;

                                   CDR ;

                                   PUSH nat 0 ;

                                   SWAP ;

                                   CDR ;

                                   EMPTY_MAP address bool ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   SWAP ;

                                   PAIR ;

                                   PAIR } } } ;

                       UNIT ;

                       PAIR ;

                       EXEC ;

                       DUP ;

                       GET 4 ;

                       SWAP ;

                       DUP ;

                       CAR ;

                       SWAP ;

                       GET 3 ;

                       IF

                         { SWAP ;

                           DUP ;

                           DUG 2 ;

                           GET 3 ;

                           CAR ;

                           IF_NONE { PUSH int 169 ; FAILWITH } {} ;

                           CONTRACT %ModifyFee (pair nat nat) ;

                           IF_NONE { PUSH int 181 ; FAILWITH } {} ;

                           PUSH mutez 0 ;

                           DIG 3 ;

                           DUP ;

                           GET 5 ;

                           SWAP ;

                           DUP ;

                           DUG 5 ;

                           GET 3 ;

                           CDR ;

                           PAIR ;

                           TRANSFER_TOKENS ;

                           CONS ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           CDR ;

                           NONE address ;

                           PAIR ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           NONE address ;

                           UPDATE 7 ;

                           UNPAIR ;

                           UNPAIR ;

                           CAR ;

                           PUSH nat 0 ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           PAIR ;

                           PUSH nat 0 ;

                           UPDATE 5 ;

                           UNPAIR ;

                           SWAP ;

                           UNPAIR ;

                           CAR ;

                           PUSH nat 0 ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP ;

                           UNPAIR ;

                           SWAP ;

                           CDR ;

                           PUSH nat 0 ;

                           SWAP ;

                           CDR ;

                           EMPTY_MAP address bool ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           SWAP ;

                           PAIR ;

                           PAIR ;

                           SWAP }

                         {} } } }

             { IF_LEFT

                 { DIG 2 ;

                   DROP ;

                   SWAP ;

                   DUP ;

                   DUG 2 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   SENDER ;

                   MEM ;

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

                   PUSH nat 0 ;

                   DUP 3 ;

                   CAR ;

                   CAR ;

                   CDR ;

                   COMPARE ;

                   EQ ;

                   IF

                     { SWAP ;

                       UNPAIR ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 8 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       SOME ;

                       UPDATE 7 ;

                       UNPAIR ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       PUSH (option bool) (Some True) ;

                       SENDER ;

                       UPDATE ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR }

                     { PUSH nat 8 ;

                       DUP 3 ;

                       CAR ;

                       CAR ;

                       CDR ;

                       COMPARE ;

                       EQ ;

                       IF

                         {}

                         { PUSH string "PLentySwapAdmin_Invalid_Voting" ; FAILWITH } ;

                       SWAP ;

                       DUP ;

                       DUG 2 ;

                       CAR ;

                       GET 5 ;

                       SENDER ;

                       MEM ;

                       IF

                         { DROP }

                         { SWAP ;

                           DUP ;

                           DUG 2 ;

                           GET 7 ;

                           IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                           COMPARE ;

                           EQ ;

                           IF

                             { UNPAIR ;

                               UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               SWAP ;

                               UNPAIR ;

                               PUSH (option bool) (Some True) ;

                               SENDER ;

                               UPDATE ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               SWAP ;

                               PAIR ;

                               PAIR }

                             {} } } ;

                   PUSH nat 2 ;

                   NIL address ;

                   DUP 3 ;

                   CAR ;

                   CAR ;

                   CAR ;

                   ITER { CONS } ;

                   NIL address ;

                   SWAP ;

                   ITER { CONS } ;

                   SIZE ;

                   MUL ;

                   PUSH nat 3 ;

                   NIL address ;

                   DUP 4 ;

                   CAR ;

                   GET 5 ;

                   ITER { CAR ; CONS } ;

                   NIL address ;

                   SWAP ;

                   ITER { CONS } ;

                   SIZE ;

                   MUL ;

                   COMPARE ;

                   GE ;

                   IF

                     { DUP ;

                       UNPAIR ;

                       UNPAIR ;

                       UNPAIR ;

                       PUSH bool False ;

                       DIG 5 ;

                       GET 7 ;

                       IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                       UPDATE ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       UNPAIR ;

                       CDR ;

                       NONE address ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       NONE address ;

                       UPDATE 7 ;

                       UNPAIR ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       PUSH nat 0 ;

                       UPDATE 5 ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       CDR ;

                       PUSH nat 0 ;

                       SWAP ;

                       CDR ;

                       EMPTY_MAP address bool ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR }

                     {} ;

                   NIL operation }

                 { IF_LEFT

                     { DROP ;

                       SWAP ;

                       DROP ;

                       DUP ;

                       CAR ;

                       CAR ;

                       CAR ;

                       SENDER ;

                       MEM ;

                       IF

                         {}

                         { PUSH string "PLentySwapAdmin_Invalid_Account" ; FAILWITH } ;

                       DUP ;

                       CAR ;

                       CAR ;

                       CDR ;

                       PUSH nat 8 ;

                       COMPARE ;

                       EQ ;

                       IF

                         { DUP ;

                           GET 7 ;

                           IF_NONE { PUSH int 421 ; FAILWITH } {} ;

                           SENDER ;

                           COMPARE ;

                           NEQ ;

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

                         {} ;

                       DUP ;

                       CAR ;

                       CAR ;

                       CDR ;

                       PUSH nat 6 ;

                       COMPARE ;

                       EQ ;

                       IF

                         { DUP ;

                           CAR ;

                           GET 6 ;

                           SENDER ;

                           COMPARE ;

                           NEQ ;

                           IF

                             {}

                             { PUSH string "Admin cannot Reset changeAdmin Operation" ;

                               FAILWITH } }

                         {} ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       CDR ;

                       NONE address ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       NONE address ;

                       UPDATE 7 ;

                       UNPAIR ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       PAIR ;

                       PUSH nat 0 ;

                       UPDATE 5 ;

                       UNPAIR ;

                       SWAP ;

                       UNPAIR ;

                       CAR ;

                       PUSH nat 0 ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       SWAP ;

                       UNPAIR ;

                       SWAP ;

                       CDR ;

                       PUSH nat 0 ;

                       SWAP ;

                       CDR ;

                       EMPTY_MAP address bool ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       SWAP ;

                       PAIR ;

                       PAIR ;

                       NIL operation }

                     { DIG 2 ;

                       DROP ;

                       CONTRACT %WithdrawSystemFee address ;

                       IF_NONE { PUSH int 488 ; FAILWITH } {} ;

                       NIL operation ;

                       SWAP ;

                       PUSH mutez 0 ;

                       DUP 4 ;

                       GET 8 ;

                       TRANSFER_TOKENS ;

                       CONS } } } }

         { IF_LEFT

             { IF_LEFT

                 { DIG 2 ;

                   DROP ;

                   SWAP ;

                   DUP ;