x
615
1353
{ parameter (or (or (or (or (or (pair %_burn_tokens (list %burn_items (pair (address %from_) (pair (nat %token_id) (nat %amount)))) (address %fa2)) (pair %_create_token (address %fa2) (map %metadata string bytes))) (or (pair %_increase_mint_capacity (set %creators address) (nat %mint_invite_id)) (or (pair %_lock_token (pair (address %fa2) (bool %lock_metadata)) (pair (bool %lock_mint) (nat %token_id))) (pair %_mint_tokens (address %fa2) (pair (list %mint_items (pair (nat %amount) (address %to_))) (nat %token_id)))))) (or (or (pair %_update_sales (nat %amount) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (pair %_update_token_metadata (address %fa2) (list %token_updates (pair (nat %token_id) (map %token_info string bytes))))) (or (unit %accept_admin) (or (pair %accept_list_invite (pair (option %condition_extra bytes) (nat %invite_id)) (pair (map %split address nat) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id))))) (pair %accept_offer (option %condition_extra bytes) (pair (nat %offer_id) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id))))))))) (or (or (or (address %add_gallerist) (address %add_mint_module)) (or (pair %airdrop_tokens (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id))) (list %txs (pair (nat %amount) (address %to_)))) (or (pair %burn_le (nat %editions) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (unit %default)))) (or (or (pair %eject_fa2 (address %fa2) (address %new_admin)) (pair %init_external (pair (map %collaborators address nat) (pair (option %condition_extra bytes) (address %contract))) (pair (bytes %data) (pair (nat %invite_id) (address %mint_module))))) (or (pair %invite_list (pair (pair (nat %airdrop_capacity) (pair (bool %allow_gallery_list) (bool %allow_holder_list))) (pair (option %capacity nat) (pair (option %condition (pair (address %address) (bytes %id))) (nat %editions)))) (pair (pair (nat %exhibition_id) (pair (option %expiry timestamp) (set %holders address))) (pair (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat)) (pair (pair %sales_split (pair (nat %curators) (nat %gallery)) (pair (nat %holder) (pair (map %other address nat) (map %royalties address nat)))) (map %tokens address (option nat)))))) (or (pair %invite_mint (pair (pair (nat %airdrop_capacity) (pair (bool %allow_creator_list) (bool %allow_gallery_list))) (pair (pair (set %artists address) (option %capacity nat)) (pair (option %condition (pair (address %address) (bytes %id))) (set %contracts address)))) (pair (pair (nat %exhibition_id) (pair (option %expiry timestamp) (option %individual_capacity nat))) (pair (pair (pair %mint_types (option %external (map address (option bytes))) (option %limited_edition nat)) (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat))) (pair (option %royalty_split (pair (pair (option %creators nat) (option %curators nat)) (pair (option %gallery nat) (option %other (map address nat))))) (option %sales_split (pair (pair (nat %creators) (nat %curators)) (pair (nat %gallery) (map %other address nat)))))))) (pair %list_auction (pair (pair (option %condition (pair (address %address) (bytes %id))) (or %currency (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez)))) (pair (nat %duration) (nat %extension_time))) (pair (pair (nat %price_increment) (nat %reserve)) (pair (option %start_time timestamp) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id))))))))))) (or (or (or (or (pair %list_token (pair (option %condition (pair (address %address) (bytes %id))) (pair (or %currency (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) (nat %editions))) (pair (nat %price) (pair (option %start_time timestamp) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))))) (pair %lock_token_metadata (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (or (pair %mint_le (pair (nat %amount) (pair (map %collaborators address nat) (option %condition_extra bytes))) (pair (address %contract) (pair (nat %invite_id) (map %metadata string bytes)))) (or (address %remove_gallerist) (address %remove_mint_module)))) (or (or (nat %retract_list_invite) (nat %retract_mint_invite)) (or (pair %retrieve_token (nat %editions) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (or (pair %set_exhibition (pair (map %assigned_curators address nat) (pair (set %contracts address) (option %exhibition_id nat))) (pair (pair (bytes %metadata) (bool %paused)) (pair (pair %royalty_split (pair (option %creators nat) (option %curators nat)) (pair (option %gallery nat) (option %other (map address nat)))) (pair %sales_split (pair (nat %creators) (nat %curators)) (pair (nat %gallery) (map %other address nat)))))) (pair %set_exhibition_metadata (nat %exhibition_id) (bytes %metadata)))))) (or (or (or (pair %set_fa2_metadata (address %fa2) (big_map %metadata string bytes)) (big_map %set_metadata string bytes)) (or (address %set_treasury) (or (pair %sign_token (address %address) (pair (nat %exhibition_id) (nat %token_id))) (address %suggest_admin)))) (or (or (pair %unlist_auction (nat %auction_id) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (or (pair %unlist_token (nat %ask_id) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))) (address %update_auction_contract))) (or (address %update_fee_sharing_registry) (or (address %update_marketplace_contract) (pair %update_token_metadata (map %metadata string bytes) (pair %token (address %address) (pair (nat %exhibition_id) (nat %token_id)))))))))) ; storage (pair (pair (pair (pair (address %admin) (address %auction_contract)) (pair (big_map %exhibitions nat (pair (pair (map %assigned_curators address nat) (set %contracts address)) (pair (bytes %metadata) (pair (bool %paused) (pair %sales_split (pair (nat %creators) (nat %curators)) (pair (nat %gallery) (map %other address nat))))))) (address %fee_sharing_registry))) (pair (pair (big_map %gallerists address unit) (big_map %list_invites nat (pair (pair (pair (nat %airdrop_capacity) (pair (bool %allow_gallery_list) (bool %allow_holder_list))) (pair (option %capacity nat) (pair (option %condition (pair (address %address) (bytes %id))) (nat %editions)))) (pair (pair (nat %exhibition_id) (pair (option %expiry timestamp) (set %holders address))) (pair (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat)) (pair (pair %sales_split (pair (nat %curators) (nat %gallery)) (pair (nat %holder) (pair (map %other address nat) (map %royalties address nat)))) (map %tokens address (option nat)))))))) (pair (address %marketplace_contract) (pair (big_map %metadata string bytes) (big_map %mint_invites nat (pair (pair (pair (nat %airdrop_capacity) (pair (bool %allow_creator_list) (bool %allow_gallery_list))) (pair (pair (set %artists address) (option %capacity nat)) (pair (option %condition (pair (address %address) (bytes %id))) (set %contracts address)))) (pair (pair (nat %exhibition_id) (pair (option %expiry timestamp) (option %individual_capacity nat))) (pair (pair (pair %mint_types (option %external (map address (option bytes))) (option %limited_edition nat)) (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat))) (pair (bool %retracted) (pair %sales_split (pair (nat %creators) (nat %curators)) (pair (nat %gallery) (map %other address nat)))))))))))) (pair (pair (pair (address %mint_module_registry) (big_map %mint_modules address unit)) (pair (nat %next_exhibition_id) (pair (nat %next_list_invite_id) (nat %next_mint_invite_id)))) (pair (pair (address %permission_module) (address %suggested_admin)) (pair (big_map %token_metas (pair (address %address) (pair (nat %exhibition_id) (nat %token_id))) (pair (pair (pair (nat %airdrop_capacity) (pair (bool %allow_creator_holder_list) (bool %allow_gallery_list))) (pair (pair (set %auctions nat) (set %creators address)) (pair (bool %external) (nat %invite_id)))) (pair (pair (nat %listed_editions) (pair (set %listings nat) (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat)))) (pair (pair (map %sales_split address nat) (set %signed address)) (pair (nat %sold_editions) (nat %unlisted_editions)))))) (pair (address %treasury) (big_map %used_mint_capacities (pair (address %artist) (nat %mint_invite_id)) nat)))))) ; code { UNPAIR ; IF_LEFT { IF_LEFT { IF_LEFT { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1449 ; FAILWITH } ; DUP ; CDR ; CONTRACT %burn (list (pair (address %from_) (pair (nat %token_id) (nat %amount)))) ; IF_NONE { PUSH int 1457 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; CAR ; TRANSFER_TOKENS ; CONS } { SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1332 ; FAILWITH } ; DUP ; CAR ; CONTRACT %create_token (map string bytes) ; IF_NONE { PUSH int 1340 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; CDR ; TRANSFER_TOKENS ; CONS } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 1393 ; FAILWITH } {} ; DUP ; GET 3 ; GET 4 ; IF_NONE {} { DUP 3 ; CAR ; ITER { DUP 4 ; CDR ; SWAP ; PAIR ; DUP 5 ; DUP ; GET 10 ; PUSH nat 1 ; DIG 7 ; GET 10 ; DUP 5 ; GET ; IF_NONE { PUSH int 1399 ; FAILWITH } {} ; SUB ; ISNAT ; IF_NONE { PUSH int 1399 ; FAILWITH } {} ; SOME ; DIG 3 ; UPDATE ; UPDATE 10 ; DUG 3 } ; DROP } ; CAR ; GET 3 ; CDR ; IF_NONE { DROP } { DIG 2 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DUP ; DIG 8 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1403 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CAR ; PUSH nat 1 ; DIG 12 ; ADD ; SOME ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR } ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1378 ; FAILWITH } ; DUP ; CAR ; CAR ; CONTRACT %lock (pair (bool %metadata) (pair (bool %mint) (nat %token_id))) ; IF_NONE { PUSH int 1409 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; DUP ; GET 4 ; SWAP ; DUP ; GET 3 ; SWAP ; CAR ; CDR ; PAIR 3 ; TRANSFER_TOKENS ; CONS } { SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1425 ; FAILWITH } ; DUP ; CAR ; CONTRACT %mint (pair (list %mint_items (pair (nat %amount) (address %to_))) (nat %token_id)) ; IF_NONE { PUSH int 1432 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; DUP ; GET 4 ; SWAP ; GET 3 ; PAIR ; TRANSFER_TOKENS ; CONS } } } } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; GET 5 ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CDR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 1041 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; DUP ; GET 7 ; DUP ; DUP 4 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1042 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; CDR ; DUP 7 ; CAR ; DIG 8 ; GET 7 ; DUP 9 ; CDR ; GET ; IF_NONE { PUSH int 1042 ; FAILWITH } {} ; GET 3 ; CAR ; SUB ; ISNAT ; IF_NONE { PUSH int 1042 ; FAILWITH } {} ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 4 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1043 ; FAILWITH } {} ; DUP ; GET 7 ; DIG 5 ; CAR ; ADD ; UPDATE 7 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; NIL operation } { SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1362 ; FAILWITH } ; DUP ; CAR ; CONTRACT %update_token_metadata (list (pair (nat %token_id) (map %token_info string bytes))) ; IF_NONE { PUSH int 1350 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; CDR ; TRANSFER_TOKENS ; CONS } } { IF_LEFT { DROP ; DUP ; GET 5 ; CDR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1104 ; FAILWITH } ; DUP ; UNPAIR ; UNPAIR ; UNPAIR ; CDR ; DIG 4 ; GET 5 ; CDR ; PAIR ; PAIR ; PAIR ; PAIR ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET 4 ; MEM ; IF { PUSH int 446 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; SWAP ; DUP ; DUG 2 ; CAR ; CDR ; GET ; IF_NONE { PUSH int 447 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 448 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 449 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 3 ; IF_NONE {} { NOW ; COMPARE ; LT ; IF {} { PUSH int 453 ; FAILWITH } } ; PUSH nat 0 ; DUP 3 ; GET 3 ; GET 4 ; SIZE ; COMPARE ; GT ; IF { SWAP ; DUP ; DUG 2 ; GET 3 ; GET 4 ; SENDER ; MEM ; IF {} { PUSH int 457 ; FAILWITH } } {} ; SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; IF_NONE {} { DUP ; PUSH nat 0 ; COMPARE ; LT ; IF {} { PUSH int 461 ; FAILWITH } ; DIG 4 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; DUP ; DUP 10 ; CAR ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 464 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; CDR ; PUSH nat 1 ; DIG 10 ; SUB ; ISNAT ; IF_NONE { PUSH int 464 ; FAILWITH } {} ; SOME ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; DUG 3 } ; SWAP ; DUP ; DUG 2 ; GET 8 ; DUP 4 ; GET 5 ; MEM ; IF {} { PUSH int 467 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 8 ; DUP 4 ; GET 5 ; GET ; IF_NONE { PUSH int 468 ; FAILWITH } {} ; IF_NONE {} { DUP 4 ; GET 8 ; COMPARE ; EQ ; IF {} { PUSH int 469 ; FAILWITH } } ; EMPTY_MAP address nat ; DUP 3 ; GET 7 ; CAR ; CDR ; SOME ; DUP 6 ; GET 9 ; UPDATE ; DUP 3 ; GET 7 ; CAR ; CAR ; DUP 3 ; CAR ; CAR ; ITER { DUP 3 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 480 ; FAILWITH } { CAR } ; DIG 4 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; SWAP } ; DUP 4 ; GET 7 ; GET 3 ; DUP 6 ; GET 3 ; ITER { DUP 4 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 485 ; FAILWITH } { CAR } ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; DUP 5 ; GET 7 ; GET 6 ; ITER { DUP 4 ; SWAP ; DUP ; DUG 2 ; CDR ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; DUP 5 ; GET 7 ; GET 5 ; ITER { DUP 4 ; SWAP ; DUP ; DUG 2 ; CDR ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; DROP 2 ; DUP 3 ; CAR ; GET 5 ; IF_NONE { SWAP ; DROP ; NIL operation } { DIG 2 ; DROP ; DUP ; CAR ; CONTRACT %enforce_conditions (list (pair (pair (nat %amount) (pair (address %claimer) (bytes %condition_id))) (pair (address %creator) (pair (option %extra bytes) (pair %token (address %address) (nat %token_id)))))) ; IF_NONE { PUSH int 517 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; NIL (pair (pair nat (pair address bytes)) (pair address (pair (option bytes) (pair address nat)))) ; DIG 7 ; DUP ; GET 8 ; SWAP ; DUP ; DUG 9 ; GET 5 ; PAIR ; DUP 9 ; CAR ; CAR ; PAIR ; DUP 10 ; CAR ; CAR ; CAR ; CAR ; PAIR ; DIG 5 ; CDR ; SENDER ; PAIR ; PUSH nat 1 ; PAIR ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS } ; DUP 4 ; GET 5 ; CONTRACT %transfer (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))) ; IF_NONE { PUSH int 1468 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair address (list (pair address (pair nat nat)))) ; NIL (pair address (pair nat nat)) ; DUP 7 ; CAR ; GET 6 ; DUP 9 ; GET 8 ; SELF_ADDRESS ; PAIR 3 ; CONS ; SENDER ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS ; DIG 4 ; DUP ; GET 7 ; DUP 5 ; CAR ; GET 6 ; PUSH nat 0 ; PAIR ; EMPTY_SET address ; PUSH bool True ; SENDER ; UPDATE ; DIG 5 ; PAIR ; PAIR ; DUP 5 ; GET 5 ; EMPTY_SET nat ; PAIR ; PUSH nat 0 ; PAIR ; PAIR ; DUP 6 ; CAR ; CDR ; PUSH bool True ; PAIR ; EMPTY_SET address ; PUSH bool True ; SENDER ; UPDATE ; EMPTY_SET nat ; PAIR ; PAIR ; DIG 5 ; DUP ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 7 ; CAR ; CAR ; GET 4 ; PAIR ; DIG 6 ; CAR ; CAR ; CAR ; PAIR ; PAIR ; PAIR ; SOME ; DIG 4 ; GET 4 ; UPDATE ; UPDATE 7 ; SWAP } { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET 4 ; GET ; IF_NONE { PUSH int 1015 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 7 ; GET ; IF_NONE { PUSH int 1016 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 1017 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; SENDER ; MEM } { PUSH bool False } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 4 ; IF { DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 4 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } } { PUSH bool False } } ; IF {} { PUSH int 1607 ; FAILWITH } ; NIL operation ; DUP 4 ; GET 5 ; CONTRACT %update_operators (list (or (pair %add_operator (address %owner) (pair (address %operator) (nat %token_id))) (pair %remove_operator (address %owner) (pair (address %operator) (nat %token_id))))) ; IF_NONE { PUSH int 1482 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (or (pair address (pair address nat)) (pair address (pair address nat))) ; DUP 7 ; GET 8 ; DUP 9 ; CAR ; GET 5 ; SELF_ADDRESS ; PAIR 3 ; LEFT (pair address (pair address nat)) ; CONS ; TRANSFER_TOKENS ; CONS ; DUP ; DUP 6 ; CAR ; GET 5 ; CONTRACT %fulfill_offer_gallery (pair (nat %offer_id) (pair (nat %exhibition_id) (pair (option %token_id nat) (pair (option %condition_extra bytes) (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat)))))) ; IF_NONE { PUSH int 1540 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 6 ; GET 3 ; GET 4 ; DIG 7 ; DUP ; CAR ; SWAP ; DUP ; DUG 9 ; GET 8 ; SOME ; DIG 9 ; DUP ; GET 7 ; SWAP ; DUP ; DUG 11 ; GET 3 ; PAIR 5 ; DIG 4 ; DROP ; DIG 4 ; DROP ; TRANSFER_TOKENS ; CONS ; PUSH nat 1 ; DIG 2 ; GET 8 ; COMPARE ; GE ; IF {} { PUSH int 1025 ; FAILWITH } ; DUP 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 4 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1026 ; FAILWITH } {} ; PUSH nat 1 ; DIG 7 ; GET 7 ; DUP 8 ; GET 4 ; GET ; IF_NONE { PUSH int 1026 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 1026 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DIG 4 ; GET 4 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1027 ; FAILWITH } {} ; DUP ; GET 7 ; PUSH nat 1 ; ADD ; UPDATE 7 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } } } } } { IF_LEFT { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; PUSH (option unit) (Some Unit) ; DIG 6 ; UPDATE ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; CAR ; SWAP ; DUP ; DUG 2 ; VIEW "is_allowed_mint_adapter" bool ; IF_NONE { PUSH int 51 ; FAILWITH } {} ; IF {} { PUSH int 1307 ; FAILWITH } ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; PUSH (option unit) (Some Unit) ; DIG 6 ; UPDATE ; SWAP ; PAIR ; PAIR ; PAIR ; SWAP ; PAIR } ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CAR ; GET ; IF_NONE { PUSH int 835 ; FAILWITH } {} ; DUP 3 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; CAR ; GET 6 ; GET ; IF_NONE { PUSH int 836 ; FAILWITH } {} ; DUP 4 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 837 ; FAILWITH } {} ; PUSH nat 0 ; NIL (pair address (pair nat nat)) ; DUP 6 ; CDR ; ITER { DUP ; DUG 2 ; CAR ; DUP 8 ; CAR ; GET 4 ; DUP 4 ; CDR ; PAIR 3 ; CONS ; SWAP ; DIG 2 ; SWAP ; CAR ; ADD ; SWAP } ; SWAP ; DUP ; DUG 2 ; DUP 6 ; GET 8 ; COMPARE ; GE ; IF {} { PUSH int 845 ; FAILWITH } ; DUP 5 ; CAR ; CAR ; GET 3 ; IF { DUP 5 ; CAR ; GET 3 ; CDR ; SENDER ; MEM } { PUSH bool False } ; IF { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; PUSH bool True } { DUP 5 ; CAR ; CAR ; GET 4 ; IF { DIG 3 ; DROP ; DIG 3 ; DROP ; DIG 2 ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 4 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; PUSH bool False } } ; IF {} { PUSH int 1607 ; FAILWITH } ; NIL operation ; DUP 4 ; CAR ; CAR ; CONTRACT %transfer (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))) ; IF_NONE { PUSH int 1468 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair address (list (pair address (pair nat nat)))) ; DIG 4 ; SELF_ADDRESS ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS ; DUP 4 ; DUP ; GET 7 ; DUP ; DUP 6 ; CAR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 850 ; FAILWITH } {} ; DUP 6 ; DIG 8 ; GET 7 ; DUP 9 ; CAR ; GET ; IF_NONE { PUSH int 850 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 850 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DIG 5 ; CAR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 851 ; FAILWITH } {} ; DUP ; GET 7 ; DIG 6 ; ADD ; UPDATE 7 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 798 ; FAILWITH } {} ; DUP 3 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; CAR ; GET 6 ; GET ; IF_NONE { PUSH int 799 ; FAILWITH } {} ; DUP 4 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 800 ; FAILWITH } {} ; DUP 3 ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF { PUSH bool True } { DUP ; CAR ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 5 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 6 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } ; IF {} { PUSH int 803 ; FAILWITH } ; DUP 3 ; CAR ; GET 5 ; IF { PUSH int 805 ; FAILWITH } {} ; DUP 4 ; CAR ; DUP 4 ; GET 8 ; COMPARE ; GE ; IF {} { PUSH int 807 ; FAILWITH } ; NIL operation ; DUP 5 ; GET 3 ; CONTRACT %burn (list (pair (address %from_) (pair (nat %token_id) (nat %amount)))) ; IF_NONE { PUSH int 1457 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair address (pair nat nat)) ; DIG 7 ; DUP ; CAR ; SWAP ; DUP ; DUG 9 ; GET 6 ; SELF_ADDRESS ; PAIR 3 ; CONS ; TRANSFER_TOKENS ; CONS ; PUSH nat 0 ; DIG 4 ; DUP ; GET 7 ; SWAP ; DUP ; DUG 6 ; GET 3 ; CAR ; ADD ; COMPARE ; EQ ; IF { DUP 4 ; GET 8 ; DUP 6 ; CAR ; COMPARE ; EQ } { PUSH bool False } ; IF { DUP 3 ; GET 3 ; GET 4 ; IF_NONE {} { DUP 5 ; CAR ; GET 3 ; CDR ; ITER { DUP 6 ; CAR ; GET 6 ; SWAP ; PAIR ; DUP 8 ; DUP ; GET 10 ; PUSH nat 1 ; DIG 10 ; GET 10 ; DUP 5 ; GET ; IF_NONE { PUSH int 817 ; FAILWITH } {} ; SUB ; ISNAT ; IF_NONE { PUSH int 817 ; FAILWITH } {} ; SOME ; DIG 3 ; UPDATE ; UPDATE 10 ; DUG 6 } ; DROP } ; DUP 3 ; CAR ; GET 3 ; CDR ; IF_NONE { SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 4 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DUP ; DIG 9 ; CAR ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 821 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CAR ; PUSH nat 1 ; DIG 12 ; ADD ; SOME ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; DUG 2 } ; DIG 2 ; DUP ; GET 7 ; NONE (pair (pair (pair nat (pair bool bool)) (pair (pair (set nat) (set address)) (pair bool nat))) (pair (pair nat (pair (set nat) (option (map (or address (or (pair address nat) unit)) nat)))) (pair (pair (map address nat) (set address)) (pair nat nat)))) ; DIG 4 ; CDR ; UPDATE ; UPDATE 7 ; SWAP } { SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; DUP 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 826 ; FAILWITH } {} ; DUP 6 ; CAR ; DIG 7 ; GET 7 ; DIG 7 ; CDR ; GET ; IF_NONE { PUSH int 826 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 826 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } } { DROP ; DUP ; GET 9 ; CONTRACT unit ; IF_NONE { PUSH int 130 ; FAILWITH } {} ; NIL operation ; SWAP ; AMOUNT ; UNIT ; TRANSFER_TOKENS ; CONS } } } } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; DUP ; CAR ; CONTRACT %set_administrator address ; IF_NONE { PUSH int 203 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; CDR ; TRANSFER_TOKENS ; CONS } { SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; GET 5 ; GET ; IF_NONE { PUSH int 583 ; FAILWITH } {} ; DUP ; GET 7 ; IF { PUSH int 584 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 585 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 586 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 3 ; IF_NONE {} { NOW ; COMPARE ; LT ; IF {} { PUSH int 590 ; FAILWITH } } ; SWAP ; DUP ; DUG 2 ; CAR ; GET 6 ; DUP 4 ; CAR ; GET 4 ; MEM ; IF {} { PUSH int 593 ; FAILWITH } ; PUSH nat 0 ; DUP 3 ; CAR ; GET 3 ; CAR ; SIZE ; COMPARE ; GT ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 5 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } } ; IF {} { PUSH int 597 ; FAILWITH } ; DUP 3 ; CAR ; CAR ; ITER { CAR ; DUP 3 ; CAR ; GET 3 ; CAR ; SWAP ; MEM ; IF {} { PUSH int 600 ; FAILWITH } } } {} ; EMPTY_MAP address nat ; DUP 3 ; GET 11 ; SOME ; DUP 6 ; GET 9 ; UPDATE ; DUP 3 ; GET 9 ; CDR ; DUP 3 ; CAR ; CAR ; ITER { DUP 3 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 609 ; FAILWITH } { CAR } ; DIG 4 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; SWAP } ; DUP 4 ; GET 9 ; CAR ; DUP 6 ; CAR ; CAR ; ITER { DUP 4 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 613 ; FAILWITH } { CAR } ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; DUP 5 ; GET 12 ; ITER { DUP 4 ; SWAP ; DUP ; DUG 2 ; CDR ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; EMPTY_SET address ; DUP 7 ; CAR ; CAR ; ITER { CAR ; SWAP ; PUSH bool True ; DIG 2 ; UPDATE } ; NIL operation ; DUP 8 ; GET 6 ; CONTRACT %init_mint (pair (pair (pair (nat %airdrop_capacity) (set %creators address)) (pair (bytes %data) (option %extra bytes))) (pair (pair (address %fa2) (nat %mint_invite_id)) (pair (option %price_minimum (map (or (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) nat)) (map %sales_split address nat)))) ; IF_NONE { PUSH int 1294 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 7 ; DUP 10 ; GET 5 ; CDR ; PAIR ; DIG 10 ; DUP ; GET 5 ; SWAP ; DUP ; DUG 12 ; CAR ; GET 4 ; PAIR ; PAIR ; DUP 10 ; GET 5 ; CAR ; CAR ; IF_NONE { PUSH int 623 ; FAILWITH } {} ; DUP 12 ; GET 6 ; GET ; IF_NONE { PUSH int 624 ; FAILWITH } {} ; DUP 12 ; GET 3 ; PAIR ; DUP 6 ; DUP 12 ; CAR ; CAR ; CAR ; PAIR ; PAIR ; PAIR ; TRANSFER_TOKENS ; CONS ; DUP 7 ; GET 3 ; GET 4 ; IF_NONE {} { DUP 9 ; CAR ; CAR ; ITER { CAR ; DUP 10 ; GET 5 ; SWAP ; PAIR ; DUP 11 ; GET 10 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH nat 0 } {} ; DUP 3 ; SWAP ; DUP ; DUG 2 ; COMPARE ; LT ; IF {} { PUSH int 631 ; FAILWITH } ; DIG 11 ; DUP ; GET 10 ; PUSH nat 1 ; DIG 3 ; ADD ; SOME ; DIG 3 ; UPDATE ; UPDATE 10 ; DUG 9 } ; DROP } ; DUP 7 ; CAR ; GET 3 ; CDR ; IF_NONE {} { DUP ; PUSH nat 0 ; COMPARE ; LT ; IF {} { PUSH int 636 ; FAILWITH } ; DIG 9 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DUP ; DUP 16 ; GET 5 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 637 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CAR ; PUSH nat 1 ; DIG 12 ; SUB ; ISNAT ; IF_NONE { PUSH int 637 ; FAILWITH } {} ; SOME ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; DUG 8 } ; DUP 7 ; CAR ; GET 5 ; IF_NONE { SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DUP ; DUG 2 ; CAR ; CONTRACT %enforce_conditions (list (pair (pair (nat %amount) (pair (address %claimer) (bytes %condition_id))) (pair (address %creator) (pair (option %extra bytes) (pair %token (address %address) (nat %token_id)))))) ; IF_NONE { PUSH int 517 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair (pair nat (pair address bytes)) (pair address (pair (option bytes) (pair address nat)))) ; PUSH (pair address nat) (Pair 0x0000b28066369a8ed09ba9d3d47f19598440266013f0 0) ; DIG 6 ; CAR ; GET 3 ; PAIR ; DUP 7 ; CAR ; CAR ; CAR ; CAR ; PAIR ; DIG 5 ; CDR ; SENDER ; PAIR ; PUSH nat 0 ; PAIR ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS } } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 383 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 384 ; FAILWITH } {} ; SWAP ; DUP ; GET 7 ; CAR ; CDR ; SWAP ; DUP ; DUG 3 ; GET 7 ; CAR ; CAR ; ADD ; DUP 3 ; GET 7 ; GET 3 ; ADD ; DUP 3 ; GET 7 ; GET 6 ; ITER { CDR ; ADD } ; DUP 3 ; GET 7 ; GET 5 ; ITER { CDR ; ADD } ; DUP 4 ; CAR ; CAR ; GET 4 ; UNIT ; VIEW "get_management_fee" nat ; IF_NONE { PUSH int 1584 ; FAILWITH } {} ; PUSH nat 10000 ; SUB ; ISNAT ; IF_NONE { PUSH int 396 ; FAILWITH } {} ; COMPARE ; EQ ; IF {} { PUSH int 396 ; FAILWITH } ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 399 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; DIG 5 ; DUP ; GET 8 ; SWAP ; DUP ; DUG 7 ; GET 7 ; PAIR ; DUP 7 ; GET 5 ; PAIR ; DIG 6 ; DUP ; GET 3 ; GET 4 ; SWAP ; DUP ; DUG 8 ; GET 3 ; GET 3 ; PAIR ; DUP 8 ; GET 3 ; CAR ; PAIR ; PAIR ; DIG 6 ; DUP ; CAR ; GET 6 ; SWAP ; DUP ; DUG 8 ; CAR ; GET 5 ; PAIR ; DUP 8 ; CAR ; GET 3 ; PAIR ; DIG 7 ; DUP ; CAR ; CAR ; GET 4 ; SWAP ; DUP ; DUG 9 ; CAR ; CAR ; GET 3 ; PAIR ; DIG 8 ; CAR ; CAR ; CAR ; PAIR ; PAIR ; PAIR ; SOME ; DIG 6 ; GET 3 ; GET 5 ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; PUSH nat 1 ; ADD ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 307 ; FAILWITH } {} ; DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 3 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 3 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 308 ; FAILWITH } ; DUP ; GET 5 ; IF { PUSH int 309 ; FAILWITH } {} ; PUSH nat 0 ; DUP 3 ; CAR ; GET 6 ; SIZE ; COMPARE ; GT ; IF {} { PUSH int 311 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; CAR ; GET 6 ; ITER { SWAP ; DUP ; DUG 2 ; CAR ; CDR ; SWAP ; MEM ; IF {} { PUSH int 313 ; FAILWITH } } ; DUP ; GET 6 ; DUP 3 ; GET 5 ; CAR ; CAR ; IF_NONE {} { DUP ; ITER { CAR ; DUP 6 ; GET 3 ; CAR ; CDR ; SWAP ; MEM ; IF {} { PUSH int 320 ; FAILWITH } } ; DROP } ; DUP 3 ; GET 8 ; IF_NONE { SWAP ; DROP } { SWAP ; DROP ; SWAP ; DROP ; DUP 3 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { DUP 3 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; DUP ; GET 3 ; SWAP ; DUP ; DUG 2 ; CAR ; CDR ; ADD ; SWAP ; DUP ; DUG 2 ; CAR ; CAR ; ADD ; SWAP ; DUP ; DUG 2 ; GET 4 ; ITER { CDR ; ADD } ; DUP 4 ; CAR ; CAR ; GET 4 ; UNIT ; VIEW "get_management_fee" nat ; IF_NONE { PUSH int 1584 ; FAILWITH } {} ; PUSH nat 10000 ; SUB ; ISNAT ; IF_NONE { PUSH int 1627 ; FAILWITH } {} ; COMPARE ; EQ ; IF {} { PUSH int 1627 ; FAILWITH } } ; DUP 3 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DIG 6 ; PUSH bool False ; PAIR ; DIG 7 ; DUP ; GET 5 ; CDR ; SWAP ; DUP ; DUG 9 ; GET 5 ; CAR ; PAIR ; PAIR ; DIG 7 ; DUP ; GET 3 ; GET 4 ; SWAP ; DUP ; DUG 9 ; GET 3 ; GET 3 ; PAIR ; DUP 9 ; GET 3 ; CAR ; PAIR ; PAIR ; DIG 7 ; DUP ; CAR ; GET 6 ; SWAP ; DUP ; DUG 9 ; CAR ; GET 5 ; PAIR ; DIG 8 ; DUP ; CAR ; GET 3 ; CDR ; SWAP ; DUP ; DUG 10 ; CAR ; GET 3 ; CAR ; PAIR ; PAIR ; DIG 8 ; DUP ; CAR ; CAR ; GET 4 ; SWAP ; DUP ; DUG 10 ; CAR ; CAR ; GET 3 ; PAIR ; DIG 9 ; CAR ; CAR ; CAR ; PAIR ; PAIR ; PAIR ; SOME ; DIG 7 ; GET 3 ; GET 6 ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; PUSH nat 1 ; ADD ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; NIL operation } { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET 6 ; GET ; IF_NONE { PUSH int 960 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 9 ; GET ; IF_NONE { PUSH int 961 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 962 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; SENDER ; MEM } { PUSH bool False } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 4 ; IF { DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 4 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } } { PUSH bool False } } ; IF {} { PUSH int 1607 ; FAILWITH } ; PUSH nat 1 ; DUP 3 ; GET 8 ; COMPARE ; GE ; IF {} { PUSH int 967 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 4 ; IF_NONE {} { DUP ; DUP 5 ; CAR ; CAR ; CDR ; MEM ; IF {} { PUSH int 971 ; FAILWITH } ; DUP 4 ; CAR ; CAR ; CDR ; GET ; IF_NONE { PUSH int 972 ; FAILWITH } {} ; DUP 4 ; GET 3 ; CDR ; COMPARE ; GE ; IF {} { PUSH int 972 ; FAILWITH } } ; DUP 3 ; CAR ; CAR ; CDR ; IF_LEFT { LEFT (pair address nat) } { IF_LEFT { RIGHT address } { PUSH int 982 ; FAILWITH } } ; NIL operation ; DUP 5 ; GET 7 ; CONTRACT %update_operators (list (or (pair %add_operator (address %owner) (pair (address %operator) (nat %token_id))) (pair %remove_operator (address %owner) (pair (address %operator) (nat %token_id))))) ; IF_NONE { PUSH int 1482 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (or (pair address (pair address nat)) (pair address (pair address nat))) ; DUP 8 ; GET 10 ; DUP 10 ; CAR ; CAR ; CAR ; CDR ; SELF_ADDRESS ; PAIR 3 ; LEFT (pair address (pair address nat)) ; CONS ; TRANSFER_TOKENS ; CONS ; DUP ; DUP 7 ; CAR ; CAR ; CAR ; CDR ; CONTRACT %create_auction_gallery (pair (pair %token (address %address) (nat %token_id)) (pair (nat %exhibition_id) (pair (or %currency (address %fa12) (pair %fa2 (address %address) (nat %token_id))) (pair (nat %reserve) (pair (option %start_time timestamp) (pair (nat %duration) (pair (nat %extension_time) (pair (nat %price_increment) (pair (map %shares address nat) (pair (nat %referral_bonus) (option %condition (pair (address %address) (bytes %id))))))))))))) ; IF_NONE { PUSH int 1203 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 8 ; CAR ; CAR ; CAR ; PUSH nat 0 ; DUP 9 ; GET 5 ; CAR ; DIG 10 ; DUP ; GET 3 ; CAR ; SWAP ; DUP ; CAR ; GET 4 ; SWAP ; DUP ; CAR ; GET 3 ; SWAP ; DUP ; GET 5 ; SWAP ; DUP ; DUG 15 ; GET 3 ; CDR ; DUP 13 ; DIG 16 ; DUP ; GET 9 ; SWAP ; DUP ; GET 10 ; SWAP ; DUP ; DUG 19 ; GET 7 ; PAIR ; PAIR 11 ; DIG 4 ; DROP ; DIG 4 ; DROP ; DIG 4 ; DROP ; DIG 4 ; DROP ; TRANSFER_TOKENS ; CONS ; DIG 2 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 998 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; PUSH nat 1 ; ADD ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; DUG 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 999 ; FAILWITH } {} ; PUSH nat 1 ; DIG 7 ; GET 7 ; DUP 8 ; GET 6 ; GET ; IF_NONE { PUSH int 999 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 999 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; DUG 3 ; DUP ; GET 7 ; DUP ; DIG 4 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1000 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; PUSH bool True ; DIG 10 ; CAR ; CAR ; CAR ; CDR ; UNIT ; VIEW "get_next_auction_id" nat ; IF_NONE { PUSH int 1597 ; FAILWITH } {} ; UPDATE ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } } } } } } { IF_LEFT { IF_LEFT { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET 6 ; GET ; IF_NONE { PUSH int 868 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 9 ; GET ; IF_NONE { PUSH int 869 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 870 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; SENDER ; MEM } { PUSH bool False } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 4 ; IF { DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 4 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } } { PUSH bool False } } ; IF {} { PUSH int 1607 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 8 ; DUP 4 ; CAR ; GET 4 ; COMPARE ; LE ; IF {} { PUSH int 876 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 4 ; IF_NONE {} { DUP ; DUP 5 ; CAR ; GET 3 ; MEM ; IF {} { PUSH int 880 ; FAILWITH } ; DUP 4 ; CAR ; GET 3 ; GET ; IF_NONE { PUSH int 881 ; FAILWITH } {} ; DUP 4 ; GET 3 ; COMPARE ; GE ; IF {} { PUSH int 881 ; FAILWITH } } ; NIL operation ; DUP 4 ; GET 7 ; CONTRACT %update_operators (list (or (pair %add_operator (address %owner) (pair (address %operator) (nat %token_id))) (pair %remove_operator (address %owner) (pair (address %operator) (nat %token_id))))) ; IF_NONE { PUSH int 1482 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (or (pair address (pair address nat)) (pair address (pair address nat))) ; DUP 7 ; GET 10 ; DUP 9 ; CAR ; GET 5 ; SELF_ADDRESS ; PAIR 3 ; LEFT (pair address (pair address nat)) ; CONS ; TRANSFER_TOKENS ; CONS ; DUP ; DUP 6 ; CAR ; GET 5 ; CONTRACT %ask_gallery (pair (pair %token (address %address) (nat %token_id)) (pair (nat %exhibition_id) (pair (or %currency (address %fa12) (or (pair %fa2 (address %address) (nat %token_id)) (unit %tez))) (pair (nat %amount) (pair (nat %editions) (pair (map %shares address nat) (pair (option %start_time timestamp) (pair (option %expiry_time timestamp) (pair (nat %referral_bonus) (option %condition (pair (address %address) (bytes %id)))))))))))) ; IF_NONE { PUSH int 1263 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 7 ; CAR ; CAR ; PUSH nat 0 ; NONE timestamp ; DUP 10 ; GET 5 ; DUP 10 ; GET 5 ; CAR ; DIG 11 ; DUP ; CAR ; GET 4 ; SWAP ; DUP ; GET 3 ; SWAP ; DUP ; CAR ; GET 3 ; SWAP ; DUP ; GET 9 ; SWAP ; DUP ; GET 10 ; SWAP ; DUP ; DUG 17 ; GET 7 ; PAIR ; PAIR 10 ; DIG 4 ; DROP ; DIG 4 ; DROP ; DIG 4 ; DROP ; TRANSFER_TOKENS ; CONS ; DUP 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 894 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; PUSH bool True ; DIG 11 ; CAR ; GET 5 ; UNIT ; VIEW "get_next_ask_id" nat ; IF_NONE { PUSH int 1603 ; FAILWITH } {} ; UPDATE ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 895 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; DUP 9 ; CAR ; GET 4 ; ADD ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; DUG 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 896 ; FAILWITH } {} ; DUP 6 ; CAR ; GET 4 ; DIG 7 ; GET 7 ; DIG 7 ; GET 6 ; GET ; IF_NONE { PUSH int 896 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 896 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1079 ; FAILWITH } {} ; DUP ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1080 ; FAILWITH } ; DUP ; CAR ; GET 3 ; CDR ; ITER { SWAP ; DUP ; DUG 2 ; GET 5 ; CDR ; SWAP ; MEM ; IF {} { PUSH int 1083 ; FAILWITH } } ; DROP ; DUP ; CAR ; CONTRACT %lock (pair (bool %metadata) (pair (bool %mint) (nat %token_id))) ; IF_NONE { PUSH int 1409 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; GET 4 ; PUSH bool False ; PUSH bool True ; PAIR 3 ; TRANSFER_TOKENS ; CONS } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; GET 5 ; GET ; IF_NONE { PUSH int 670 ; FAILWITH } {} ; DUP ; GET 7 ; IF { PUSH int 671 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 672 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 673 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 3 ; IF_NONE {} { NOW ; COMPARE ; LT ; IF {} { PUSH int 677 ; FAILWITH } } ; SWAP ; DUP ; DUG 2 ; CAR ; GET 6 ; DUP 4 ; GET 3 ; MEM ; IF {} { PUSH int 680 ; FAILWITH } ; PUSH nat 0 ; DUP 3 ; CAR ; GET 3 ; CAR ; SIZE ; COMPARE ; GT ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 5 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } } ; IF {} { PUSH int 684 ; FAILWITH } ; DUP 3 ; CAR ; GET 3 ; ITER { CAR ; DUP 3 ; CAR ; GET 3 ; CAR ; SWAP ; MEM ; IF {} { PUSH int 687 ; FAILWITH } } } {} ; PUSH nat 0 ; DUP 3 ; GET 5 ; CAR ; CDR ; IF_NONE { PUSH int 690 ; FAILWITH } {} ; COMPARE ; GT ; IF { SWAP ; DUP ; DUG 2 ; GET 5 ; CAR ; CDR ; IF_NONE { PUSH int 690 ; FAILWITH } {} ; DUP 4 ; CAR ; CAR ; COMPARE ; EQ ; IF {} { PUSH int 692 ; FAILWITH } } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 4 ; IF_NONE {} { DUP 4 ; CAR ; GET 3 ; ITER { CAR ; DUP 5 ; GET 5 ; SWAP ; PAIR ; DUP 6 ; GET 10 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH nat 0 } {} ; DUP 3 ; SWAP ; DUP ; DUG 2 ; COMPARE ; LT ; IF {} { PUSH int 699 ; FAILWITH } ; DIG 6 ; DUP ; GET 10 ; PUSH nat 1 ; DIG 3 ; ADD ; SOME ; DIG 3 ; UPDATE ; UPDATE 10 ; DUG 4 } ; DROP } ; SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; IF_NONE {} { DUP ; PUSH nat 0 ; COMPARE ; LT ; IF {} { PUSH int 704 ; FAILWITH } ; DIG 4 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DUP ; DUP 11 ; GET 5 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 705 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; CAR ; PUSH nat 1 ; DIG 12 ; SUB ; ISNAT ; IF_NONE { PUSH int 705 ; FAILWITH } {} ; SOME ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; DUG 3 } ; NIL operation ; DUP 4 ; GET 3 ; CONTRACT %create_token (map string bytes) ; IF_NONE { PUSH int 1340 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 6 ; GET 6 ; TRANSFER_TOKENS ; CONS ; DUP 4 ; GET 3 ; CONTRACT %mint (pair (list %mint_items (pair (nat %amount) (address %to_))) (nat %token_id)) ; IF_NONE { PUSH int 1432 ; FAILWITH } {} ; PUSH mutez 0 ; PUSH nat 1 ; DUP 7 ; GET 3 ; UNIT ; VIEW "get_last_token_id" nat ; IF_NONE { PUSH int 1618 ; FAILWITH } {} ; ADD ; NIL (pair nat address) ; SELF_ADDRESS ; DUP 9 ; CAR ; CAR ; PAIR ; CONS ; PAIR ; TRANSFER_TOKENS ; CONS ; DUP 4 ; GET 3 ; CONTRACT %lock (pair (bool %metadata) (pair (bool %mint) (nat %token_id))) ; IF_NONE { PUSH int 1409 ; FAILWITH } {} ; PUSH mutez 0 ; PUSH nat 1 ; DUP 7 ; GET 3 ; UNIT ; VIEW "get_last_token_id" nat ; IF_NONE { PUSH int 1618 ; FAILWITH } {} ; ADD ; PUSH bool True ; PUSH bool False ; PAIR 3 ; TRANSFER_TOKENS ; CONS ; PUSH nat 0 ; DUP 5 ; CAR ; GET 3 ; ITER { CDR ; ADD } ; DUP ; PUSH nat 10000 ; COMPARE ; EQ ; IF {} { PUSH int 716 ; FAILWITH } ; EMPTY_MAP address nat ; DUP 5 ; GET 11 ; SOME ; DUP 8 ; GET 9 ; UPDATE ; DUP 5 ; GET 9 ; CDR ; DUP 5 ; CAR ; CAR ; ITER { DUP 3 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 725 ; FAILWITH } { CAR } ; DIG 4 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; SWAP } ; DUP 6 ; GET 9 ; CAR ; DUP 8 ; CAR ; GET 3 ; ITER { DUP 4 ; PUSH nat 10000 ; DUP 3 ; CDR ; DUP 5 ; MUL ; EDIV ; IF_NONE { PUSH int 729 ; FAILWITH } { CAR } ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; DUP 7 ; GET 12 ; ITER { DUP 4 ; SWAP ; DUP ; DUG 2 ; CDR ; DIG 5 ; DUP 4 ; CAR ; GET ; IF_NONE { PUSH nat 0 } {} ; ADD ; SOME ; DIG 2 ; CAR ; UPDATE ; DUG 2 } ; EMPTY_SET address ; DUP 9 ; CAR ; GET 3 ; ITER { CAR ; SWAP ; PUSH bool True ; DIG 2 ; UPDATE } ; DUP 8 ; CAR ; GET 5 ; IF_NONE { SWAP ; DROP ; SWAP ; DROP ; DIG 2 ; DROP ; DIG 3 ; DROP } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 3 ; DROP ; DIG 4 ; DROP ; DUP ; DIG 4 ; SWAP ; CAR ; CONTRACT %enforce_conditions (list (pair (pair (nat %amount) (pair (address %claimer) (bytes %condition_id))) (pair (address %creator) (pair (option %extra bytes) (pair %token (address %address) (nat %token_id)))))) ; IF_NONE { PUSH int 517 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair (pair nat (pair address bytes)) (pair address (pair (option bytes) (pair address nat)))) ; PUSH nat 1 ; DUP 10 ; GET 3 ; UNIT ; VIEW "get_last_token_id" nat ; IF_NONE { PUSH int 1618 ; FAILWITH } {} ; ADD ; DUP 10 ; GET 3 ; PAIR ; DUP 10 ; CAR ; GET 4 ; PAIR ; DUP 11 ; CAR ; CAR ; CAR ; CAR ; PAIR ; DIG 5 ; CDR ; SENDER ; PAIR ; DUP 10 ; CAR ; CAR ; PAIR ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS ; DUG 2 } ; DIG 5 ; DUP ; GET 7 ; DUP 7 ; CAR ; CAR ; PUSH nat 0 ; PAIR ; EMPTY_SET address ; PUSH bool True ; SENDER ; UPDATE ; DIG 5 ; PAIR ; PAIR ; DUP 6 ; GET 5 ; CDR ; EMPTY_SET nat ; PAIR ; PUSH nat 0 ; PAIR ; PAIR ; DUP 7 ; GET 5 ; PUSH bool False ; PAIR ; DIG 4 ; EMPTY_SET nat ; PAIR ; PAIR ; DIG 5 ; DUP ; CAR ; CAR ; GET 4 ; SWAP ; DUP ; DUG 7 ; CAR ; CAR ; GET 3 ; PAIR ; DUP 7 ; CAR ; CAR ; CAR ; PAIR ; PAIR ; PAIR ; SOME ; PUSH nat 1 ; DUP 7 ; GET 3 ; UNIT ; VIEW "get_last_token_id" nat ; IF_NONE { PUSH int 1618 ; FAILWITH } {} ; ADD ; DIG 5 ; GET 3 ; CAR ; DIG 6 ; GET 3 ; PAIR 3 ; UPDATE ; UPDATE 7 ; SWAP } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; NONE unit ; DIG 6 ; UPDATE ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; NONE unit ; DIG 6 ; UPDATE ; SWAP ; PAIR ; PAIR ; PAIR ; SWAP ; PAIR } ; NIL operation } } } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CDR ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 423 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 424 ; FAILWITH } {} ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 3 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } ; IF {} { PUSH int 425 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; NONE (pair (pair (pair nat (pair bool bool)) (pair (option nat) (pair (option (pair address bytes)) nat))) (pair (pair nat (pair (option timestamp) (set address))) (pair (option (map (or address (or (pair address nat) unit)) nat)) (pair (pair (pair nat nat) (pair nat (pair (map address nat) (map address nat)))) (map address (option nat)))))) ; DIG 6 ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR } { SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 355 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 356 ; FAILWITH } {} ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 3 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } ; IF {} { PUSH int 357 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; DUP ; DIG 7 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 358 ; FAILWITH } {} ; PUSH bool True ; UPDATE 7 ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR } ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; MEM ; IF {} { PUSH int 543 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 544 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 5 ; GET ; IF_NONE { PUSH int 545 ; FAILWITH } {} ; SENDER ; NIL address ; DUP 4 ; CAR ; GET 3 ; CDR ; ITER { CONS } ; NIL address ; SWAP ; ITER { CONS } ; IF_CONS { SWAP ; DROP ; SWAP ; DROP } {} ; DUP 5 ; CAR ; GET 3 ; CDR ; DUP 4 ; CAR ; GET 6 ; GET ; IF_NONE { PUSH int 550 ; FAILWITH } {} ; DUP 5 ; CAR ; DUP 5 ; GET 8 ; COMPARE ; GE ; IF {} { PUSH int 552 ; FAILWITH } ; NIL operation ; DUP 6 ; GET 3 ; CONTRACT %transfer (list (pair (address %from_) (list %txs (pair (address %to_) (pair (nat %token_id) (nat %amount)))))) ; IF_NONE { PUSH int 1468 ; FAILWITH } {} ; PUSH mutez 0 ; NIL (pair address (list (pair address (pair nat nat)))) ; NIL (pair address (pair nat nat)) ; DIG 9 ; DUP ; CAR ; SWAP ; DUP ; DUG 11 ; GET 6 ; DUP 9 ; PAIR 3 ; CONS ; SELF_ADDRESS ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS ; DUP 5 ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF { PUSH bool True } { DUP 4 ; CAR ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 7 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { DUP 7 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 1612 ; FAILWITH } ; PUSH nat 0 ; DIG 5 ; DUP ; GET 3 ; CAR ; SWAP ; DUP ; DUG 7 ; GET 7 ; ADD ; COMPARE ; EQ ; IF { DUP 5 ; GET 8 ; DUP 7 ; CAR ; COMPARE ; EQ } { PUSH bool False } ; IF { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; IF_NONE { SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP } { DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 2 ; DROP ; DIG 4 ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; DUP ; DIG 8 ; CAR ; GET 6 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 559 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; CDR ; PUSH nat 1 ; DIG 10 ; ADD ; SOME ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; DUG 2 } ; DIG 2 ; DUP ; GET 7 ; NONE (pair (pair (pair nat (pair bool bool)) (pair (pair (set nat) (set address)) (pair bool nat))) (pair (pair nat (pair (set nat) (option (map (or address (or (pair address nat) unit)) nat)))) (pair (pair (map address nat) (set address)) (pair nat nat)))) ; DIG 4 ; CDR ; UPDATE ; UPDATE 7 ; SWAP } { SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; SWAP ; DROP ; DUP 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 563 ; FAILWITH } {} ; DUP 6 ; CAR ; DIG 7 ; GET 7 ; DIG 7 ; CDR ; GET ; IF_NONE { PUSH int 563 ; FAILWITH } {} ; GET 8 ; SUB ; ISNAT ; IF_NONE { PUSH int 563 ; FAILWITH } {} ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; DUP ; CAR ; CAR ; SIZE ; PUSH nat 0 ; COMPARE ; EQ ; IF { DUP ; GET 7 ; CDR ; PUSH nat 0 ; COMPARE ; EQ ; IF {} { PUSH int 259 ; FAILWITH } } {} ; DUP ; GET 9 ; SWAP ; DUP ; DUG 2 ; GET 7 ; CDR ; ADD ; SWAP ; DUP ; DUG 2 ; GET 7 ; CAR ; ADD ; SWAP ; DUP ; DUG 2 ; GET 10 ; ITER { CDR ; ADD } ; DUP 3 ; CAR ; CAR ; GET 4 ; UNIT ; VIEW "get_management_fee" nat ; IF_NONE { PUSH int 1584 ; FAILWITH } {} ; PUSH nat 10000 ; SUB ; ISNAT ; IF_NONE { PUSH int 1627 ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; COMPARE ; EQ ; IF {} { PUSH int 1627 ; FAILWITH } ; DUP 3 ; GET 3 ; GET 3 ; DUP 3 ; CAR ; GET 4 ; IF_NONE { SWAP ; DROP ; DIG 2 ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; PUSH nat 1 ; ADD ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; DUG 2 } { SWAP ; DROP ; SWAP ; DROP ; DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; MEM ; IF {} { PUSH int 267 ; FAILWITH } } ; DIG 2 ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; DIG 6 ; DUP ; GET 6 ; SWAP ; DUP ; DUG 8 ; GET 3 ; CDR ; PAIR ; DUP 8 ; GET 3 ; CAR ; PAIR ; DIG 7 ; DUP ; CAR ; GET 3 ; SWAP ; CAR ; CAR ; PAIR ; PAIR ; SOME ; DIG 6 ; UPDATE ; PAIR ; SWAP ; PAIR ; PAIR ; PAIR } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; GET 3 ; SWAP ; DUP ; DUG 2 ; CAR ; GET ; IF_NONE { PUSH int 233 ; FAILWITH } {} ; DUP ; GET 5 ; IF { PUSH int 234 ; FAILWITH } {} ; CAR ; CAR ; SENDER ; MEM ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SENDER ; DUP 3 ; CAR ; CAR ; CAR ; CAR ; COMPARE ; EQ } ; IF {} { PUSH int 235 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; DUP ; DUP 7 ; CAR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 236 ; FAILWITH } {} ; DIG 7 ; CDR ; UPDATE 3 ; SOME ; SWAP ; UPDATE ; PAIR ; SWAP ; PAIR ; PAIR ; PAIR } ; NIL operation } } } } { IF_LEFT { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; DUP ; CAR ; CONTRACT %set_metadata (big_map string bytes) ; IF_NONE { PUSH int 219 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; DIG 3 ; CDR ; TRANSFER_TOKENS ; CONS } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; CDR ; DIG 5 ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; NIL operation } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF {} { PUSH int 1139 ; FAILWITH } ; UPDATE 9 } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 782 ; FAILWITH } {} ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF { SWAP ; DUP ; GET 7 ; DUP ; DIG 3 ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 783 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; PUSH bool True ; SENDER ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 } { PUSH int 785 ; FAILWITH } } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1094 ; FAILWITH } ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; CAR ; DIG 4 ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR } } ; NIL operation } } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 933 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 5 ; GET ; IF_NONE { PUSH int 934 ; FAILWITH } {} ; SWAP ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF { DROP ; PUSH bool True } { CAR ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 1612 ; FAILWITH } ; NIL operation ; DUP 3 ; CAR ; CAR ; CAR ; CDR ; CONTRACT %cancel_auction nat ; IF_NONE { PUSH int 1573 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 4 ; CAR ; TRANSFER_TOKENS ; CONS ; DUP 3 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 939 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; CDR ; PUSH nat 1 ; DIG 9 ; GET 7 ; DUP 10 ; CDR ; GET ; IF_NONE { PUSH int 939 ; FAILWITH } {} ; GET 3 ; CAR ; SUB ; ISNAT ; IF_NONE { PUSH int 939 ; FAILWITH } {} ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 940 ; FAILWITH } {} ; DUP ; GET 8 ; PUSH nat 1 ; ADD ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 941 ; FAILWITH } {} ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; PUSH bool False ; DIG 10 ; CAR ; UPDATE ; PAIR ; PAIR ; SWAP ; PAIR ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } { IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 909 ; FAILWITH } {} ; DUP 3 ; CAR ; CAR ; GET 3 ; DUP 3 ; GET 5 ; GET ; IF_NONE { PUSH int 910 ; FAILWITH } {} ; SWAP ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF { DROP ; PUSH bool True } { CAR ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SENDER ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ } ; IF {} { PUSH int 1612 ; FAILWITH } ; SWAP ; DUP ; DUG 2 ; CAR ; GET 5 ; SWAP ; DUP ; DUG 2 ; CAR ; VIEW "get_remaining_editions" nat ; IF_NONE { PUSH int 1505 ; FAILWITH } {} ; NIL operation ; DUP 4 ; CAR ; GET 5 ; CONTRACT %retract_ask nat ; IF_NONE { PUSH int 1560 ; FAILWITH } {} ; PUSH mutez 0 ; DUP 5 ; CAR ; TRANSFER_TOKENS ; CONS ; DUP 4 ; DUP ; GET 7 ; DUP ; DUP 6 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 918 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; CDR ; DUP 8 ; DIG 10 ; GET 7 ; DUP 11 ; CDR ; GET ; IF_NONE { PUSH int 918 ; FAILWITH } {} ; GET 3 ; CAR ; SUB ; ISNAT ; IF_NONE { PUSH int 918 ; FAILWITH } {} ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 6 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 919 ; FAILWITH } {} ; DUP ; GET 8 ; DIG 6 ; ADD ; UPDATE 8 ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; DUP ; GET 7 ; DUP ; DUP 5 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 920 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; PUSH bool False ; DIG 10 ; CAR ; UPDATE ; PAIR ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; CAR ; DIG 4 ; SWAP ; PAIR ; PAIR ; PAIR ; PAIR ; NIL operation } } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; UNPAIR ; SWAP ; CAR ; DIG 4 ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; PAIR ; NIL operation } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH int 1144 ; FAILWITH } ; SWAP ; UNPAIR ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; CDR ; DIG 4 ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; PAIR ; NIL operation } { SWAP ; DUP ; DUG 2 ; GET 7 ; SWAP ; DUP ; DUG 2 ; CDR ; GET ; IF_NONE { PUSH int 1059 ; FAILWITH } {} ; CAR ; GET 3 ; CDR ; SENDER ; MEM ; IF {} { PUSH int 1060 ; FAILWITH } ; DUP ; GET 3 ; CONTRACT %update_token_metadata (list (pair (nat %token_id) (map %token_info string bytes))) ; IF_NONE { PUSH int 1350 ; FAILWITH } {} ; NIL operation ; SWAP ; PUSH mutez 0 ; NIL (pair nat (map string bytes)) ; DIG 4 ; DUP ; CAR ; SWAP ; DUP ; DUG 6 ; GET 6 ; PAIR ; CONS ; TRANSFER_TOKENS ; CONS ; DIG 2 ; DUP ; GET 7 ; DUP ; DIG 4 ; CDR ; DUP ; DUG 2 ; GET ; IF_NONE { PUSH int 1064 ; FAILWITH } {} ; UNPAIR ; SWAP ; UNPAIR ; SWAP ; UNPAIR ; CAR ; EMPTY_SET address ; PUSH bool True ; SENDER ; UPDATE ; SWAP ; PAIR ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SOME ; SWAP ; UPDATE ; UPDATE 7 ; SWAP } } } } } } ; NIL operation ; SWAP ; ITER { CONS } ; PAIR } ; view "_chk_lp" (pair (address %address) (pair (set %creators address) (nat %mint_invite_id))) bool { UNPAIR ; SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; GET 4 ; GET ; IF_NONE { PUSH int 1637 ; FAILWITH } {} ; DUP ; CAR ; CAR ; GET 3 ; IF { SWAP ; DUP ; GET 3 ; SWAP ; DUP ; DUG 3 ; CAR ; MEM } { PUSH bool False } ; IF { DROP 3 ; PUSH bool True } { DUP ; CAR ; CAR ; GET 4 ; IF { DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 1638 ; FAILWITH } {} ; CAR ; CAR ; SWAP ; DUP ; DUG 2 ; CAR ; MEM ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SWAP ; DUP ; DUG 2 ; CAR ; MEM } ; IF { DROP 2 ; PUSH bool True } { SWAP ; CAR ; CAR ; CAR ; CAR ; SWAP ; CAR ; COMPARE ; EQ } } { DROP 3 ; PUSH bool False } } } ; view "_chk_ulp" (pair (address %address) (pair (set %creators address) (nat %mint_invite_id))) bool { UNPAIR ; SWAP ; DUP ; DUG 2 ; CAR ; GET 8 ; SWAP ; DUP ; DUG 2 ; GET 4 ; GET ; IF_NONE { PUSH int 1651 ; FAILWITH } {} ; SWAP ; DUP ; GET 3 ; SWAP ; DUP ; DUG 3 ; CAR ; MEM ; IF { DROP ; PUSH bool True } { DUP 3 ; CAR ; CAR ; GET 3 ; SWAP ; GET 3 ; CAR ; GET ; IF_NONE { PUSH int 1652 ; FAILWITH } {} ; CAR ; CAR ; SWAP ; DUP ; DUG 2 ; CAR ; MEM } ; IF { PUSH bool True } { SWAP ; DUP ; DUG 2 ; CAR ; GET 3 ; CAR ; SWAP ; DUP ; DUG 2 ; CAR ; MEM } ; IF { DROP 2 ; PUSH bool True } { SWAP ; CAR ; CAR ; CAR ; CAR ; SWAP ; CAR ; COMPARE ; EQ } } ; view "_get_shares" (pair (address %address) (pair (nat %exhibition_id) (nat %token_id))) (map address nat) { UNPAIR ; SWAP ; GET 7 ; SWAP ; GET ; IF_NONE { PUSH int 1659 ; FAILWITH } {} ; GET 5 ; CAR } }