{ parameter (or (or (address %propose_administrator) (address %remove_administrator))

                (or (unit %set_administrator)

                    (pair %set_slippage (nat %slippage_numerator)

                                        (nat %slippage_denominator)))) ;

  storage (pair (big_map %administrators address int)

                (pair (nat %slippage_denominator) (nat %slippage_numerator))) ;

  code { LAMBDA

           (pair unit (pair (big_map address int) (pair nat nat)))

           (pair unit (pair (big_map address int) (pair nat nat)))

           { CDR ;

             DUP ;

             CAR ;

             PUSH int 1 ;

             SWAP ;

             SENDER ;

             GET ;

             IF_NONE { PUSH int 21 ; FAILWITH } {} ;

             COMPARE ;

             EQ ;

             IF {} { PUSH int 401 ; FAILWITH } ;

             UNIT ;

             PAIR } ;

         SWAP ;

         UNPAIR ;

         IF_LEFT

           { IF_LEFT

               { AMOUNT ;

                 PUSH mutez 0 ;

                 COMPARE ;

                 EQ ;

                 IF {} { AMOUNT ; FAILWITH } ;

                 DIG 2 ;

                 UNIT ;

                 SWAP ;

                 DIG 3 ;

                 DIG 2 ;

                 PAIR ;

                 EXEC ;

                 CDR ;

                 DUP ;

                 CAR ;

                 PUSH (option int) (Some 0) ;

                 DIG 3 ;

                 UPDATE ;

                 UPDATE 1 }

               { AMOUNT ;

                 PUSH mutez 0 ;

                 COMPARE ;

                 EQ ;

                 IF {} { AMOUNT ; FAILWITH } ;

                 DIG 2 ;

                 UNIT ;

                 SWAP ;

                 DIG 3 ;

                 DIG 2 ;

                 PAIR ;

                 EXEC ;

                 CDR ;

                 DUP ;

                 CAR ;

                 NONE int ;

                 DIG 3 ;

                 UPDATE ;

                 UPDATE 1 } }

           { IF_LEFT

               { DROP ;

                 SWAP ;

                 DROP ;

                 AMOUNT ;

                 PUSH mutez 0 ;

                 COMPARE ;

                 EQ ;

                 IF {} { AMOUNT ; FAILWITH } ;

                 DUP ;

                 CAR ;

                 PUSH int 0 ;

                 SWAP ;

                 SENDER ;

                 GET ;

                 IF_NONE { PUSH int 46 ; FAILWITH } {} ;

                 COMPARE ;

                 EQ ;

                 IF {} { PUSH int 405 ; FAILWITH } ;

                 DUP ;

                 CAR ;

                 PUSH (option int) (Some 1) ;

                 SENDER ;

                 UPDATE ;

                 UPDATE 1 }

               { AMOUNT ;

                 PUSH mutez 0 ;

                 COMPARE ;

                 EQ ;

                 IF {} { AMOUNT ; FAILWITH } ;

                 DIG 2 ;

                 UNIT ;

                 SWAP ;

                 DIG 3 ;

                 DIG 2 ;

                 PAIR ;

                 EXEC ;

                 CDR ;

                 SWAP ;

                 DUP ;

                 DUG 2 ;

                 CAR ;

                 UPDATE 4 ;

                 SWAP ;

                 CDR ;

                 UPDATE 3 } } ;

         NIL operation ;

         PAIR } ;

  view "get_min_out" nat nat

        { UNPAIR ;

          SWAP ;

          DUP ;

          DUG 2 ;

          GET 3 ;

          PUSH nat 1000000000000 ;

          MUL ;

          DIG 2 ;

          GET 4 ;

          PUSH nat 1000000 ;

          DIG 3 ;

          MUL ;

          MUL ;

          EDIV ;

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