x
549
parameter (or (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (or (or (lambda %_create_artist_collection (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))))) (or (lambda %_create_global_collection (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))))) (lambda %_mint_artist (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))))))) (or (or (lambda %_mint_global (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))))) (lambda %_toggle_global_collection_lock (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))))) (or (lambda %_update_artist_metadata (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))))) (lambda %_update_global_metadata (pair (or (or (or (nat %accept_invitation) (or (address %add_mod) (bytes %create_artist_collection))) (or (or (bytes %create_global_collection) (pair %invite_collaborator (address %collaborator) (nat %collection_id))) (or (pair %mint_artist (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target))) (pair %mint_global (pair (nat %collection_id) (nat %editions)) (pair (bytes %metadata_cid) (address %target)))))) (or (or (pair %remove_collaborator (address %collaborator) (nat %collection_id)) (or (address %remove_mod) (nat %revoke_invitation))) (or (or (pair %set_metadata string bytes) (nat %toggle_global_collection_lock)) (or (pair %update_artist_metadata (nat %collection_id) (bytes %metadata_cid)) (pair %update_global_metadata (nat %collection_id) (bytes %metadata_cid)))))) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))) (pair (list operation) (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address))))))))));storage (pair (pair (pair (pair (address %admin) (nat %artist_collection_id)) (pair (big_map %artist_collections nat (pair (address %contract) (pair (address %creator) (nat %token_id)))) (big_map %collaborators (pair nat address) bool))) (pair (pair (nat %global_collection_id) (big_map %global_collections nat (pair (address %contract) (pair (bool %lock) (nat %token_id))))) (pair (big_map %metadata string bytes) (set %mods address)))) (big_map nat (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))))));code { CAST (pair (or (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (or (or (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))) (or (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))) (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))))) (or (or (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))) (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))))) (or (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))) (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))))))))) (pair (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address)))) (big_map nat (lambda (pair (or (or (or nat (or address bytes)) (or (or bytes (pair address nat)) (or (pair (pair nat nat) (pair bytes address)) (pair (pair nat nat) (pair bytes address))))) (or (or (pair address nat) (or address nat)) (or (or (pair string bytes) nat) (or (pair nat bytes) (pair nat bytes))))) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))) (pair (list operation) (pair (pair (pair address nat) (pair (big_map nat (pair address (pair address nat))) (big_map (pair nat address) bool))) (pair (pair nat (big_map nat (pair address (pair bool nat)))) (pair (big_map string bytes) (set address))))))))) ; UNPAIR 3 ; IF_LEFT { DUP ; IF_LEFT { IF_LEFT { IF_LEFT { DROP ; PUSH nat 0 } { IF_LEFT { DROP ; PUSH nat 1 } { DROP ; PUSH nat 2 } } } { IF_LEFT { IF_LEFT { DROP ; PUSH nat 3 } { DROP ; PUSH nat 4 } } { IF_LEFT { DROP ; PUSH nat 5 } { DROP ; PUSH nat 6 } } } } { IF_LEFT { IF_LEFT { DROP ; PUSH nat 7 } { IF_LEFT { DROP ; PUSH nat 8 } { DROP ; PUSH nat 9 } } } { IF_LEFT { IF_LEFT { DROP ; PUSH nat 10 } { DROP ; PUSH nat 11 } } { IF_LEFT { DROP ; PUSH nat 12 } { DROP ; PUSH nat 13 } } } } ; DUP 4 ; SWAP ; GET ; IF_NONE { PUSH int -1 ; FAILWITH } {} ; DUG 2 ; PAIR ; EXEC ; UNPAIR } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } } } { IF_LEFT { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } } { IF_LEFT { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } { SWAP ; DUP ; DUG 2 ; CAR ; CAR ; CAR ; SENDER ; COMPARE ; EQ ; IF {} { PUSH string "WrongCondition: sp.sender == self.data.admin" ; FAILWITH } ; DIG 2 ; SWAP ; SOME ; PUSH nat 5 ; UPDATE ; SWAP } } } ; NIL operation } ; NIL operation ; SWAP ; ITER { CONS } ; DUG 2 ; PAIR ; SWAP ; PAIR }