parameter (or

            (or

              (or %admin_action

                (or

                  (or (or (list %add_to_accesslist address) (nat %cancel_sale))

                      (or (pair %confirm_mint address nat)

                          (address %confirm_token_admin)))

                  (or

                    (or

                      (pair %create_sale (mutez %price) (address %token_address)

                                         (nat %token_id_start)

                                         (nat %sale_supply)

                                         (nat %reserve_amount)

                                         (timestamp %start_time)

                                         (nat %mint_per_block)

                                         (timestamp %al_start_time)

                                         (int %al_duration)

                                         (nat %al_supply)

                                         (mutez %al_price)

                                         (address %recipient)

                                         (bytes %metadata_base_uri))

                      (pair %mint_reserve (pair address nat) nat))

                    (or

                      (pair %offchain_mint (pair %data (nat %sale_id) (nat %amount))

                                           (nat %nonce)

                                           (pair %permit (key %signerKey)

                                                         (signature %signature)))

                      (bool %pause))))

                (or

                  (or (list %remove_from_accesslist address)

                      (pair %revoke_mint address nat))

                  (or (address %set_admin)

                      (pair %update_sale (nat %sale_id) (mutez %price)

                                         (nat %sale_supply)

                                         (nat %reserve_amount)

                                         (timestamp %start_time)

                                         (timestamp %al_start_time)

                                         (int %al_duration)

                                         (nat %al_supply)

                                         (mutez %al_price)

                                         (address %recipient)

                                         (bytes %metadata_base_uri)))))

              (unit %confirm_admin))

            (pair %mint nat nat));

storage (pair (big_map %metadata string bytes) (nat %next_sale_id)

              (big_map %sales nat

                              (pair (mutez %price) (address %token_address)

                                    (nat %token_id_start)

                                    (nat %sale_supply)

                                    (nat %sold_amount)

                                    (nat %pending_mints)

                                    (nat %reserve_amount)

                                    (nat %reserve_minted)

                                    (timestamp %start_time)

                                    (nat %mint_per_block)

                                    (timestamp %al_start_time)

                                    (int %al_duration)

                                    (nat %al_supply)

                                    (mutez %al_price)

                                    (address %recipient)

                                    (bytes %metadata_base_uri)

                                    (set %minted nat)))

              (big_map %ledger (pair address nat)

                               (pair (nat %minted) (nat %last_block)

                                     (nat %minted_last_block)))

              (big_map %pending_mints (pair address nat)

                                      (pair (pair %data (nat %sale_id) (nat %amount))

                                            (bool %processed)))

              (big_map %accesslist address unit)

              (map %entropy nat bytes)

              (pair %admin (address %address) (option %pending_admin address)

                           (bool %paused)));

code { NIL operation ;

       LAMBDA

         (pair nat (big_map string bytes) nat

               (big_map nat

                        (pair mutez address nat nat nat nat nat nat timestamp nat

                              timestamp

                              int

                              nat

                              mutez

                              address

                              bytes

                              (set nat)))

               (big_map (pair address nat) (pair nat nat nat))

               (big_map (pair address nat) (pair (pair nat nat) bool))

               (big_map address unit)

               (map nat bytes)

               (pair address (option address) bool))

         (pair mutez address nat nat nat nat nat nat timestamp nat timestamp int nat

               mutez

               address

               bytes

               (set nat))

         { UNPAIR ; SWAP ; GET 5 ; SWAP ; GET ; IF_NONE { PUSH string "INVALID_SALE" ; FAILWITH } {} } ;

       LAMBDA

         (pair (pair address nat) (big_map string bytes) nat

               (big_map nat

                        (pair mutez address nat nat nat nat nat nat timestamp nat

                              timestamp

                              int

                              nat

                              mutez

                              address

                              bytes

                              (set nat)))

               (big_map (pair address nat) (pair nat nat nat))

               (big_map (pair address nat) (pair (pair nat nat) bool))

               (big_map address unit)

               (map nat bytes)

               (pair address (option address) bool))

         (pair (pair nat nat) bool)

         { UNPAIR ;

           UNPAIR ;

           DIG 2 ;

           GET 9 ;

           DUG 2 ;

           PAIR ;

           GET ;

           IF_NONE { PUSH string "INVALID_PENDING_MINT" ; FAILWITH } {} } ;

       LAMBDA

         (pair nat (big_map string bytes) nat

               (big_map nat

                        (pair mutez address nat nat nat nat nat nat timestamp nat

                              timestamp

                              int

                              nat

                              mutez

                              address

                              bytes

                              (set nat)))

               (big_map (pair address nat) (pair nat nat nat))

               (big_map (pair address nat) (pair (pair nat nat) bool))

               (big_map address unit)

               (map nat bytes)

               (pair address (option address) bool))

         bytes

         { UNPAIR ;

           SWAP ;

           GET 13 ;

           DUP 2 ;

           GET ;

           IF_NONE

             { PACK ; SENDER ; PACK ; NOW ; PACK ; CONCAT ; CONCAT ; BLAKE2B }

             { SWAP ; DROP } } ;

       LAMBDA

         (pair

           (lambda

             (pair nat (big_map string bytes) nat

                   (big_map nat

                            (pair mutez address nat nat nat nat nat nat timestamp nat

                                  timestamp

                                  int

                                  nat

                                  mutez

                                  address

                                  bytes

                                  (set nat)))

                   (big_map (pair address nat) (pair nat nat nat))

                   (big_map (pair address nat) (pair (pair nat nat) bool))

                   (big_map address unit)

                   (map nat bytes)

                   (pair address (option address) bool))

             bytes)

           (pair

             (pair

               (pair nat mutez address nat nat nat nat nat nat timestamp nat timestamp

                     int

                     nat

                     mutez

                     address

                     bytes

                     (set nat))

               address

               nat)

             (big_map string bytes)

             nat

             (big_map nat

                      (pair mutez address nat nat nat nat nat nat timestamp nat

                            timestamp

                            int

                            nat

                            mutez

                            address

                            bytes

                            (set nat)))

             (big_map (pair address nat) (pair nat nat nat))

             (big_map (pair address nat) (pair (pair nat nat) bool))

             (big_map address unit)

             (map nat bytes)

             (pair address (option address) bool)))

         (pair (list operation) (big_map string bytes) nat

               (big_map nat

                        (pair mutez address nat nat nat nat nat nat timestamp nat

                              timestamp

                              int

                              nat

                              mutez

                              address

                              bytes

                              (set nat)))

               (big_map (pair address nat) (pair nat nat nat))

               (big_map (pair address nat) (pair (pair nat nat) bool))

               (big_map address unit)

               (map nat bytes)

               (pair address (option address) bool))

         { UNPAIR ;

           SWAP ;

           UNPAIR ;

           UNPAIR ;

           UNPAIR ;

           DIG 2 ;

           UNPAIR ;

           PUSH int 1 ;

           DIG 4 ;

           DIG 5 ;

           NIL (pair (pair nat (map string bytes)) address) ;

           PAIR ;

           PAIR ;

           PAIR ;

           LEFT (pair

                  (pair

                    (pair (list (pair (pair nat (map string bytes)) address))

                          (big_map string bytes)

                          nat

                          (big_map nat

                                   (pair mutez address nat nat nat nat nat nat timestamp

                                         nat

                                         timestamp

                                         int

                                         nat

                                         mutez

                                         address

                                         bytes

                                         (set nat)))

                          (big_map (pair address nat) (pair nat nat nat))

                          (big_map (pair address nat) (pair (pair nat nat) bool))

                          (big_map address unit)

                          (map nat bytes)

                          (pair address (option address) bool))

                    mutez

                    address

                    nat

                    nat

                    nat

                    nat

                    nat

                    nat

                    timestamp

                    nat

                    timestamp

                    int

                    nat

                    mutez

                    address

                    bytes

                    (set nat))

                  unit) ;

           LOOP_LEFT { UNPAIR ;

                       UNPAIR ;

                       UNPAIR ;

                       DUP 6 ;

                       INT ;

                       DUP 5 ;

                       COMPARE ;

                       LE ;

                       IF

                         { DUP 3 ;

                           GET 32 ;

                           DUP 4 ;

                           GET 5 ;

                           INT ;

                           DUP 2 ;

                           EMPTY_MAP nat nat ;

                           PUSH nat 0 ;

                           PAIR ;

                           PAIR ;

                           PAIR ;

                           LEFT (pair (pair nat (map nat nat)) unit) ;

                           LOOP_LEFT { UNPAIR ;

                                       UNPAIR ;

                                       UNPAIR ;

                                       PUSH nat 1 ;

                                       DUP 9 ;

                                       GET 7 ;

                                       DUP 10 ;

                                       GET 5 ;

                                       ADD ;

                                       SUB ;

                                       DUP 5 ;

                                       COMPARE ;

                                       LE ;

                                       IF

                                         { DUP 4 ;

                                           ABS ;

                                           PUSH bool False ;

                                           DUP 5 ;

                                           DUP 3 ;

                                           MEM ;

                                           COMPARE ;

                                           EQ ;

                                           IF

                                             { PUSH nat 1 ;

                                               DUP 3 ;

                                               ADD ;

                                               UNIT ;

                                               DIG 4 ;

                                               DIG 3 ;

                                               DIG 4 ;

                                               SWAP ;

                                               SOME ;

                                               SWAP ;

                                               UPDATE }

                                             { DROP ; UNIT ; DIG 2 } ;

                                           DIG 2 ;

                                           PAIR ;

                                           SWAP ;

                                           DROP ;

                                           UNPAIR ;

                                           PUSH int 1 ;

                                           DIG 4 ;

                                           ADD ;

                                           DUG 3 ;

                                           PAIR ;

                                           PAIR ;

                                           PAIR ;

                                           LEFT (pair (pair nat (map nat nat)) unit) }

                                         { DIG 2 ;

                                           DIG 3 ;

                                           DROP 2 ;

                                           UNIT ;

                                           DUG 2 ;

                                           PAIR ;

                                           PAIR ;

                                           RIGHT (pair

                                                   (pair (pair nat (map nat nat))

                                                         (set nat))

                                                   int) } } ;

                           CAR ;

                           CDR ;

                           DUP ;

                           SIZE ;

                           DUP 5 ;

                           PUSH nat 2 ;

                           PAIR ;

                           DUP 12 ;

                           SWAP ;

                           EXEC ;

                           DUP 6 ;

                           PUSH nat 1 ;

                           PAIR ;

                           DUP 13 ;

                           SWAP ;

                           EXEC ;

                           DUP 7 ;

                           PUSH nat 0 ;

                           PAIR ;

                           DUP 14 ;

                           SWAP ;

                           EXEC ;

                           CONCAT ;

                           CONCAT ;

                           BLAKE2B ;

                           PUSH nat 8 ;

                           PUSH nat 0 ;

                           SLICE ;

                           IF_NONE { PUSH string "SLICE" ; FAILWITH } {} ;

                           { DUP ;

                             SIZE ;

                             PUSH int 2 ;

                             PUSH int 1 ;

                             DUP 3 ;

                             SUB ;

                             MUL ;

                             PUSH nat 0 ;

                             PUSH int 0 ;

                             PAIR ;

                             PAIR ;

                             LEFT (pair (pair int nat) int) ;

                             LOOP_LEFT { DUP ;

                                         CAR ;

                                         CDR ;

                                         SWAP ;

                                         DUP ;

                                         DUG 2 ;

                                         CDR ;

                                         DUP 4 ;

                                         DUP 3 ;

                                         COMPARE ;

                                         LT ;

                                         IF

                                           { DUP ;

                                             PUSH int 16 ;

                                             PUSH int 0 ;

                                             PUSH int 1 ;

                                             PAIR ;

                                             LEFT (pair int int) ;

                                             LOOP_LEFT { DUP ;

                                                         CDR ;

                                                         DUP 4 ;

                                                         SWAP ;

                                                         DUP ;

                                                         DUG 2 ;

                                                         COMPARE ;

                                                         LT ;

                                                         IF

                                                           { DUP 3 ;

                                                             DIG 2 ;

                                                             CAR ;

                                                             MUL ;

                                                             PUSH int 1 ;

                                                             DIG 2 ;

                                                             ADD ;

                                                             SWAP ;

                                                             PAIR ;

                                                             LEFT (pair int int) }

                                                           { DROP ; RIGHT (pair int int) } } ;

                                             SWAP ;

                                             DIG 2 ;

                                             DROP 2 ;

                                             CAR ;

                                             EMPTY_MAP bytes int ;

                                             PUSH int 255 ;

                                             SOME ;

                                             PUSH bytes 0xff ;

                                             UPDATE ;

                                             PUSH int 254 ;

                                             SOME ;

                                             PUSH bytes 0xfe ;

                                             UPDATE ;

                                             PUSH int 253 ;

                                             SOME ;

                                             PUSH bytes 0xfd ;

                                             UPDATE ;

                                             PUSH int 252 ;

                                             SOME ;

                                             PUSH bytes 0xfc ;

                                             UPDATE ;

                                             PUSH int 251 ;

                                             SOME ;

                                             PUSH bytes 0xfb ;

                                             UPDATE ;

                                             PUSH int 250 ;

                                             SOME ;

                                             PUSH bytes 0xfa ;

                                             UPDATE ;

                                             PUSH int 249 ;

                                             SOME ;

                                             PUSH bytes 0xf9 ;

                                             UPDATE ;

                                             PUSH int 248 ;

                                             SOME ;

                                             PUSH bytes 0xf8 ;

                                             UPDATE ;

                                             PUSH int 247 ;

                                             SOME ;

                                             PUSH bytes 0xf7 ;

                                             UPDATE ;

                                             PUSH int 246 ;

                                             SOME ;

                                             PUSH bytes 0xf6 ;

                                             UPDATE ;

                                             PUSH int 245 ;

                                             SOME ;

                                             PUSH bytes 0xf5 ;

                                             UPDATE ;

                                             PUSH int 244 ;

                                             SOME ;

                                             PUSH bytes 0xf4 ;

                                             UPDATE ;

                                             PUSH int 243 ;

                                             SOME ;

                                             PUSH bytes 0xf3 ;

                                             UPDATE ;

                                             PUSH int 242 ;

                                             SOME ;

                                             PUSH bytes 0xf2 ;

                                             UPDATE ;

                                             PUSH int 241 ;

                                             SOME ;

                                             PUSH bytes 0xf1 ;

                                             UPDATE ;

                                             PUSH int 240 ;

                                             SOME ;

                                             PUSH bytes 0xf0 ;

                                             UPDATE ;

                                             PUSH int 239 ;

                                             SOME ;

                                             PUSH bytes 0xef ;

                                             UPDATE ;

                                             PUSH int 238 ;

                                             SOME ;

                                             PUSH bytes 0xee ;

                                             UPDATE ;

                                             PUSH int 237 ;

                                             SOME ;

                                             PUSH bytes 0xed ;

                                             UPDATE ;

                                             PUSH int 236 ;

                                             SOME ;

                                             PUSH bytes 0xec ;

                                             UPDATE ;

                                             PUSH int 235 ;

                                             SOME ;

                                             PUSH bytes 0xeb ;

                                             UPDATE ;

                                             PUSH int 234 ;

                                             SOME ;

                                             PUSH bytes 0xea ;

                                             UPDATE ;

                                             PUSH int 233 ;

                                             SOME ;

                                             PUSH bytes 0xe9 ;

                                             UPDATE ;

                                             PUSH int 232 ;

                                             SOME ;

                                             PUSH bytes 0xe8 ;

                                             UPDATE ;

                                             PUSH int 231 ;

                                             SOME ;

                                             PUSH bytes 0xe7 ;

                                             UPDATE ;

                                             PUSH int 230 ;

                                             SOME ;

                                             PUSH bytes 0xe6 ;

                                             UPDATE ;

                                             PUSH int 229 ;

                                             SOME ;

                                             PUSH bytes 0xe5 ;

                                             UPDATE ;

                                             PUSH int 228 ;

                                             SOME ;

                                             PUSH bytes 0xe4 ;

                                             UPDATE ;

                                             PUSH int 227 ;

                                             SOME ;

                                             PUSH bytes 0xe3 ;

                                             UPDATE ;

                                             PUSH int 226 ;

                                             SOME ;

                                             PUSH bytes 0xe2 ;

                                             UPDATE ;

                                             PUSH int 225 ;

                                             SOME ;

                                             PUSH bytes 0xe1 ;

                                             UPDATE ;

                                             PUSH int 224 ;

                                             SOME ;

                                             PUSH bytes 0xe0 ;

                                             UPDATE ;

                                             PUSH int 223 ;

                                             SOME ;

                                             PUSH bytes 0xdf ;

                                             UPDATE ;

                                             PUSH int 222 ;

                                             SOME ;

                                             PUSH bytes 0xde ;

                                             UPDATE ;

                                             PUSH int 221 ;

                                             SOME ;

                                             PUSH bytes 0xdd ;

                                             UPDATE ;

                                             PUSH int 220 ;

                                             SOME ;

                                             PUSH bytes 0xdc ;

                                             UPDATE ;

                                             PUSH int 219 ;

                                             SOME ;

                                             PUSH bytes 0xdb ;

                                             UPDATE ;

                                             PUSH int 218 ;

                                             SOME ;

                                             PUSH bytes 0xda ;

                                             UPDATE ;

                                             PUSH int 217 ;

                                             SOME ;

                                             PUSH bytes 0xd9 ;

                                             UPDATE ;

                                             PUSH int 216 ;

                                             SOME ;

                                             PUSH bytes 0xd8 ;

                                             UPDATE ;

                                             PUSH int 215 ;

                                             SOME ;

                                             PUSH bytes 0xd7 ;

                                             UPDATE ;

                                             PUSH int 214 ;

                                             SOME ;

                                             PUSH bytes 0xd6 ;

                                             UPDATE ;

                                             PUSH int 213 ;

                                             SOME ;

                                             PUSH bytes 0xd5 ;

                                             UPDATE ;

                                             PUSH int 212 ;

                                             SOME ;

                                             PUSH bytes 0xd4 ;

                                             UPDATE ;

                                             PUSH int 211 ;

                                             SOME ;

                                             PUSH bytes 0xd3 ;

                                             UPDATE ;

                                             PUSH int 210 ;

                                             SOME ;

                                             PUSH bytes 0xd2 ;

                                             UPDATE ;

                                             PUSH int 209 ;

                                             SOME ;

                                             PUSH bytes 0xd1 ;

                                             UPDATE ;

                                             PUSH int 208 ;

                                             SOME ;

                                             PUSH bytes 0xd0 ;

                                             UPDATE ;

                                             PUSH int 207 ;

                                             SOME ;

                                             PUSH bytes 0xcf ;

                                             UPDATE ;

                                             PUSH int 206 ;

                                             SOME ;

                                             PUSH bytes 0xce ;

                                             UPDATE ;

                                             PUSH int 205 ;

                                             SOME ;

                                             PUSH bytes 0xcd ;

                                             UPDATE ;

                                             PUSH int 204 ;

                                             SOME ;

                                             PUSH bytes 0xcc ;

                                             UPDATE ;

                                             PUSH int 203 ;

                                             SOME ;

                                             PUSH bytes 0xcb ;

                                             UPDATE ;

                                             PUSH int 202 ;

                                             SOME ;

                                             PUSH bytes 0xca ;

                                             UPDATE ;

                                             PUSH int 201 ;

                                             SOME ;

                                             PUSH bytes 0xc9 ;

                                             UPDATE ;

                                             PUSH int 200 ;

                                             SOME ;

                                             PUSH bytes 0xc8 ;

                                             UPDATE ;

                                             PUSH int 199 ;

                                             SOME ;

                                             PUSH bytes 0xc7 ;

                                             UPDATE ;

                                             PUSH int 198 ;

                                             SOME ;

                                             PUSH bytes 0xc6 ;

                                             UPDATE ;

                                             PUSH int 197 ;

                                             SOME ;

                                             PUSH bytes 0xc5 ;

                                             UPDATE ;

                                             PUSH int 196 ;

                                             SOME ;

                                             PUSH bytes 0xc4 ;

                                             UPDATE ;

                                             PUSH int 195 ;

                                             SOME ;

                                             PUSH bytes 0xc3 ;

                                             UPDATE ;

                                             PUSH int 194 ;

                                             SOME ;

                                             PUSH bytes 0xc2 ;

                                             UPDATE ;

                                             PUSH int 193 ;

                                             SOME ;

                                             PUSH bytes 0xc1 ;

                                             UPDATE ;

                                             PUSH int 192 ;

                                             SOME ;

                                             PUSH bytes 0xc0 ;

                                             UPDATE ;

                                             PUSH int 191 ;

                                             SOME ;

                                             PUSH bytes 0xbf ;

                                             UPDATE ;

                                             PUSH int 190 ;

                                             SOME ;

                                             PUSH bytes 0xbe ;

                                             UPDATE ;

                                             PUSH int 189 ;

                                             SOME ;

                                             PUSH bytes 0xbd ;

                                             UPDATE ;

                                             PUSH int 188 ;

                                             SOME ;

                                             PUSH bytes 0xbc ;

                                             UPDATE ;

                                             PUSH int 187 ;

                                             SOME ;

                                             PUSH bytes 0xbb ;

                                             UPDATE ;

                                             PUSH int 186 ;

                                             SOME ;

                                             PUSH bytes 0xba ;

                                             UPDATE ;

                                             PUSH int 185 ;

                                             SOME ;

                                             PUSH bytes 0xb9 ;

                                             UPDATE ;

                                             PUSH int 184 ;

                                             SOME ;

                                             PUSH bytes 0xb8 ;

                                             UPDATE ;

                                             PUSH int 183 ;

                                             SOME ;

                                             PUSH bytes 0xb7 ;

                                             UPDATE ;

                                             PUSH int 182 ;

                                             SOME ;

                                             PUSH bytes 0xb6 ;

                                             UPDATE ;

                                             PUSH int 181 ;

                                             SOME ;

                                             PUSH bytes 0xb5 ;

                                             UPDATE ;

                                             PUSH int 180 ;

                                             SOME ;

                                             PUSH bytes 0xb4 ;

                                             UPDATE ;

                                             PUSH int 179 ;

                                             SOME ;

                                             PUSH bytes 0xb3 ;

                                             UPDATE ;

                                             PUSH int 178 ;

                                             SOME ;

                                             PUSH bytes 0xb2 ;

                                             UPDATE ;

                                             PUSH int 177 ;

                                             SOME ;

                                             PUSH bytes 0xb1 ;

                                             UPDATE ;

                                             PUSH int 176 ;

                                             SOME ;

                                             PUSH bytes 0xb0 ;

                                             UPDATE ;

                                             PUSH int 175 ;

                                             SOME ;

                                             PUSH bytes 0xaf ;

                                             UPDATE ;

                                             PUSH int 174 ;

                                             SOME ;

                                             PUSH bytes 0xae ;

                                             UPDATE ;

                                             PUSH int 173 ;

                                             SOME ;

                                             PUSH bytes 0xad ;

                                             UPDATE ;