x
708
1622
parameter (or (or (or (list %addToWhitelist (pair address nat)) (nat %mint)) (or (pair %mintReserve address nat) (bool %pauseSale))) (or (list %removeFromWhitelist address) (pair %reveal (pair bytes nat) nat)));storage (pair (big_map %metadata string bytes) (pair (pair %sale (bool %paused) (pair (address %tokenAddress) (pair (mutez %price) (pair (nat %soldAmount) (pair (nat %saleSupply) (pair (nat %reserveAmount) (pair (nat %reserveMinted) (pair (timestamp %startTime) (pair (timestamp %whitelistStartTime) (pair (int %whitelistDuration) (pair (mutez %whitelistPrice) (pair (nat %maxPerBlock) (pair (nat %maxPerWallet) (pair (bytes %placeholderIpfs) (pair (bytes %provenanceHash) (set %minted nat)))))))))))))))) (pair (big_map %ledger address (pair (nat %minted) (pair (nat %lastBlock) (nat %blockMinted)))) (pair (big_map %whitelist address nat) (pair (map %recipients address nat) (pair (map %entropy nat bytes) (address %admin)))))));code { NIL operation ; LAMBDA (pair nat (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) bytes { UNPAIR ; SWAP ; GET 11 ; SWAP ; DUP ; DUG 2 ; GET ; IF_NONE { PACK ; SENDER ; PACK ; NOW ; PACK ; CONCAT ; CONCAT ; BLAKE2B } { SWAP ; DROP } } ; LAMBDA (pair (lambda (pair nat (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) bytes) (pair (pair address nat) (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address)))))))) (pair (list operation) (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) { UNPAIR ; SWAP ; UNPAIR ; UNPAIR ; PUSH int 1 ; DIG 3 ; NIL operation ; PAIR ; PAIR ; DUG 3 ; PAIR 3 ; LAMBDA (pair (pair address (pair nat (lambda (pair nat (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) bytes))) (pair (pair (list operation) (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) int)) (pair bool (pair (pair (list operation) (pair (big_map string bytes) (pair (pair bool (pair address (pair mutez (pair nat (pair nat (pair nat (pair nat (pair timestamp (pair timestamp (pair int (pair mutez (pair nat (pair nat (pair bytes (pair bytes (set nat)))))))))))))))) (pair (big_map address (pair nat (pair nat nat))) (pair (big_map address nat) (pair (map address nat) (pair (map nat bytes) address))))))) int)) { UNPAIR ; UNPAIR 3 ; DIG 3 ; DUP ; CDR ; DIG 3 ; INT ; SWAP ; DUP ; DUG 2 ; COMPARE ; LE ; IF { SWAP ; DUP ; DUG 2 ; CAR ; CDR ; DUP ; GET 3 ; GET 9 ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 30 ; PUSH int 1 ; EMPTY_MAP nat nat ; PUSH nat 0 ; PAIR ; PAIR ; DUP 3 ; DUP 3 ; PAIR ; LAMBDA (pair (pair (set nat) nat) (pair (pair nat (map nat nat)) int)) (pair bool (pair (pair nat (map nat nat)) int)) { UNPAIR ; UNPAIR ; DIG 2 ; DUP ; CDR ; DIG 3 ; INT ; SWAP ; DUP ; DUG 2 ; COMPARE ; LE ; IF { SWAP ; DUP ; DUG 2 ; CAR ; CDR ; DIG 2 ; CAR ; CAR ; DUP 3 ; ABS ; PUSH bool False ; DIG 5 ; DUP 3 ; MEM ; COMPARE ; EQ ; IF { PUSH nat 1 ; DUP 3 ; ADD ; DIG 3 ; DIG 2 ; DIG 3 ; SWAP ; SOME ; SWAP ; UPDATE ; SWAP ; PAIR } { DROP ; PAIR } ; PUSH int 1 ; DIG 2 ; ADD ; SWAP ; PAIR ; PUSH bool True ; PAIR } { DIG 2 ; DROP 2 ; PUSH bool False ; PAIR } } ; SWAP ; APPLY ; SWAP ; PUSH bool True ; LOOP { DIP { DUP } ; EXEC ; UNPAIR } ; SWAP ; DROP ; SWAP ; DUP ; DUG 2 ; SIZE ; DIG 3 ; SUB ; ABS ; DUP 4 ; PUSH nat 2 ; PAIR ; DUP 9 ; SWAP ; EXEC ; DUP 5 ; PUSH nat 1 ; PAIR ; DUP 10 ; SWAP ; EXEC ; DUP 6 ; PUSH nat 0 ; PAIR ; DUP 11 ; 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 int 0 ; PUSH nat 0 ; DIG 2 ; PAIR ; PAIR ; DUG 2 ; PAIR ; LAMBDA (pair (pair nat bytes) (pair (pair int nat) int)) (pair bool (pair (pair int nat) int)) { UNPAIR ; UNPAIR ; DIG 2 ; DUP ; CAR ; CAR ; SWAP ; DUP ; DUG 2 ; CAR ; CDR ; DIG 3 ; SWAP ; DUP ; DUG 2 ; COMPARE ; LT ; IF { SWAP ; DUP ; DUG 2 ; PUSH int 16 ; PUSH int 1 ; PUSH int 0 ; PAIR ; DUG 2 ; PAIR ; LAMBDA (pair (pair int int) (pair int int)) (pair bool (pair int int)) { UNPAIR ; UNPAIR ; DIG 2 ; DUP ; CAR ; DIG 3 ; SWAP ; DUP ; DUG 2 ; COMPARE ; LT ; IF { DUG 2 ; CDR ; MUL ; PUSH int 1 ; DIG 2 ; ADD ; PAIR ; PUSH bool True ; PAIR } { DIG 2 ; DROP 2 ; PUSH bool False ; PAIR } } ; SWAP ; APPLY ; SWAP ; PUSH bool True ; LOOP { DIP { DUP } ; EXEC ; UNPAIR } ; SWAP ; DROP ; CDR ; 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 ; PUSH int 172 ; SOME ; PUSH bytes 0xac ; UPDATE ; PUSH int 171 ; SOME ; PUSH bytes 0xab ; UPDATE ; PUSH int 170 ; SOME ; PUSH bytes 0xaa ; UPDATE ; PUSH int 169 ; SOME ; PUSH bytes 0xa9 ; UPDATE ; PUSH int 168 ; SOME ; PUSH bytes 0xa8 ; UPDATE ; PUSH int 167 ; SOME ; PUSH bytes 0xa7 ; UPDATE ; PUSH int 166 ; SOME ; PUSH bytes 0xa6 ; UPDATE ; PUSH int 165 ; SOME ; PUSH bytes 0xa5 ; UPDATE ; PUSH int 164 ; SOME ; PUSH bytes 0xa4 ; UPDATE ; PUSH int 163 ; SOME ; PUSH bytes 0xa3 ; UPDATE ; PUSH int 162 ; SOME ; PUSH bytes 0xa2 ; UPDATE ; PUSH int 161 ; SOME ; PUSH bytes 0xa1 ; UPDATE ; PUSH int 160 ; SOME ; PUSH bytes 0xa0 ; UPDATE ; PUSH int 159 ; SOME ; PUSH bytes 0x9f ; UPDATE ; PUSH int 158 ; SOME ; PUSH bytes 0x9e ; UPDATE ; PUSH int 157 ; SOME ; PUSH bytes 0x9d ; UPDATE ; PUSH int 156 ; SOME ; PUSH bytes 0x9c ; UPDATE ; PUSH int 155 ; SOME ; PUSH bytes 0x9b ; UPDATE ; PUSH int 154 ; SOME ; PUSH bytes 0x9a ; UPDATE ; PUSH int 153 ; SOME ; PUSH bytes 0x99 ; UPDATE ; PUSH int 152 ; SOME ; PUSH bytes 0x98 ; UPDATE ; PUSH int 151 ; SOME ; PUSH bytes 0x97 ; UPDATE ; PUSH int 150 ; SOME ; PUSH bytes 0x96 ; UPDATE ; PUSH int 149 ; SOME ; PUSH bytes 0x95 ; UPDATE ; PUSH int 148 ; SOME ; PUSH bytes 0x94 ; UPDATE ; PUSH int 147 ; SOME ; PUSH bytes 0x93 ; UPDATE ; PUSH int 146 ; SOME ; PUSH bytes 0x92 ; UPDATE ; PUSH int 145 ; SOME ; PUSH bytes 0x91 ; UPDATE ; PUSH int 144 ; SOME ; PUSH bytes 0x90 ; UPDATE ; PUSH int 143 ; SOME ; PUSH bytes 0x8f ; UPDATE ; PUSH int 142 ; SOME ; PUSH bytes 0x8e ; UPDATE ; PUSH int 141 ; SOME ; PUSH bytes 0x8d ; UPDATE ; PUSH int 140 ; SOME ; PUSH bytes 0x8c ; UPDATE ; PUSH int 139 ; SOME ; PUSH bytes 0x8b ; UPDATE ; PUSH int 138 ; SOME ; PUSH bytes 0x8a ; UPDATE ; PUSH int 137 ; SOME ; PUSH bytes 0x89 ; UPDATE ; PUSH int 136 ; SOME ; PUSH bytes 0x88 ; UPDATE ; PUSH int 135 ; SOME ; PUSH bytes 0x87 ; UPDATE ; PUSH int 134 ; SOME ; PUSH bytes 0x86 ; UPDATE ; PUSH int 133 ; SOME ; PUSH bytes 0x85 ; UPDATE ; PUSH int 132 ; SOME ; PUSH bytes 0x84 ; UPDATE ; PUSH int 131 ; SOME ; PUSH bytes 0x83 ; UPDATE ; PUSH int 130 ; SOME ; PUSH bytes 0x82 ; UPDATE ; PUSH int 129 ; SOME ; PUSH bytes 0x81 ; UPDATE ; PUSH int 128 ; SOME ; PUSH bytes 0x80 ; UPDATE ; PUSH int 127 ; SOME ; PUSH bytes 0x7f ; UPDATE ; PUSH int 126 ; SOME ; PUSH bytes 0x7e ; UPDATE ; PUSH int 125 ; SOME ; PUSH bytes 0x7d ; UPDATE ; PUSH int 124 ; SOME ; PUSH bytes 0x7c ; UPDATE ; PUSH int 123 ; SOME ; PUSH bytes 0x7b ; UPDATE ; PUSH int 122 ; SOME ; PUSH bytes 0x7a ; UPDATE ; PUSH int 121 ; SOME ; PUSH bytes 0x79 ; UPDATE ; PUSH int 120 ; SOME ; PUSH bytes 0x78 ; UPDATE ; PUSH int 119 ; SOME ; PUSH bytes 0x77 ; UPDATE ; PUSH int 118 ; SOME ; PUSH bytes 0x76 ; UPDATE ; PUSH int 117 ; SOME ; PUSH bytes 0x75 ; UPDATE ; PUSH int 116 ; SOME ; PUSH bytes 0x74 ; UPDATE ; PUSH int 115 ; SOME ; PUSH bytes 0x73 ; UPDATE ; PUSH int 114 ; SOME ; PUSH bytes 0x72 ; UPDATE ; PUSH int 113 ; SOME ; PUSH bytes 0x71 ; UPDATE ; PUSH int 112 ; SOME ; PUSH bytes 0x70 ; UPDATE ; PUSH int 111 ; SOME ; PUSH bytes 0x6f ; UPDATE ; PUSH int 110 ; SOME ; PUSH bytes 0x6e ; UPDATE ; PUSH int 109 ; SOME ; PUSH bytes 0x6d ; UPDATE ; PUSH int 108 ; SOME ; PUSH bytes 0x6c ; UPDATE ; PUSH int 107 ; SOME ; PUSH bytes 0x6b ; UPDATE ; PUSH int 106 ; SOME ; PUSH bytes 0x6a ; UPDATE ; PUSH int 105 ; SOME ; PUSH bytes 0x69 ; UPDATE ; PUSH int 104 ; SOME ; PUSH bytes 0x68 ; UPDATE ; PUSH int 103 ; SOME ; PUSH bytes 0x67 ; UPDATE ; PUSH int 102 ; SOME ; PUSH bytes 0x66 ; UPDATE ; PUSH int 101 ; SOME ; PUSH bytes 0x65 ; UPDATE ; PUSH int 100 ; SOME ; PUSH bytes 0x64 ; UPDATE ; PUSH int 99 ; SOME ; PUSH bytes 0x63 ; UPDATE ; PUSH int 98 ; SOME ; PUSH bytes 0x62 ; UPDATE ; PUSH int 97 ; SOME ; PUSH bytes 0x61 ; UPDATE ; PUSH int 96 ; SOME ; PUSH bytes 0x60 ; UPDATE ; PUSH int 95 ; SOME ; PUSH bytes 0x5f ; UPDATE ; PUSH int 94 ; SOME ; PUSH bytes 0x5e ; UPDATE ; PUSH int 93 ; SOME ; PUSH bytes 0x5d ; UPDATE ; PUSH int 92 ; SOME ; PUSH bytes 0x5c ; UPDATE ; PUSH int 91 ; SOME ; PUSH bytes 0x5b ; UPDATE ; PUSH int 90 ; SOME ; PUSH bytes 0x5a ; UPDATE ; PUSH int 89 ; SOME ; PUSH bytes 0x59 ; UPDATE ; PUSH int 88 ; SOME ; PUSH bytes 0x58 ; UPDATE ; PUSH int 87 ; SOME ; PUSH bytes 0x57 ; UPDATE ; PUSH int 86 ; SOME ; PUSH bytes 0x56 ; UPDATE ; PUSH int 85 ; SOME ; PUSH bytes 0x55 ; UPDATE ; PUSH int 84 ; SOME ; PUSH bytes 0x54 ; UPDATE ; PUSH int 83 ; SOME ; PUSH bytes 0x53 ; UPDATE ; PUSH int 82 ; SOME ; PUSH bytes 0x52 ; UPDATE ; PUSH int 81 ; SOME ; PUSH bytes 0x51 ; UPDATE ; PUSH int 80 ; SOME ; PUSH bytes 0x50 ; UPDATE ; PUSH int 79 ; SOME ; PUSH bytes 0x4f ; UPDATE ; PUSH int 78 ; SOME ; PUSH bytes 0x4e ; UPDATE ; PUSH int 77 ; SOME ; PUSH bytes 0x4d ; UPDATE ; PUSH int 76 ; SOME ; PUSH bytes 0x4c ; UPDATE ; PUSH int 75 ; SOME ; PUSH bytes 0x4b ; UPDATE ; PUSH int 74 ; SOME ; PUSH bytes 0x4a ; UPDATE ; PUSH int 73 ; SOME ; PUSH bytes 0x49 ; UPDATE ; PUSH int 72 ; SOME ; PUSH bytes 0x48 ; UPDATE ; PUSH int 71 ; SOME ; PUSH bytes 0x47 ; UPDATE ; PUSH int 70 ; SOME ; PUSH bytes 0x46 ; UPDATE ; PUSH int 69 ; SOME ; PUSH bytes 0x45 ; UPDATE ; PUSH int 68 ; SOME ; PUSH bytes 0x44 ; UPDATE ; PUSH int 67 ; SOME ; PUSH bytes 0x43 ; UPDATE ; PUSH int 66 ; SOME ; PUSH bytes 0x42 ; UPDATE ; PUSH int 65 ; SOME ; PUSH bytes 0x41 ; UPDATE ; PUSH int 64 ; SOME ; PUSH bytes 0x40 ; UPDATE ; PUSH int 63 ; SOME ; PUSH bytes 0x3f ; UPDATE ; PUSH int 62 ; SOME ; PUSH bytes 0x3e ; UPDATE ; PUSH int 61 ; SOME ; PUSH bytes 0x3d ; UPDATE ; PUSH int 60 ; SOME ; PUSH bytes 0x3c ; UPDATE ; PUSH int 59 ; SOME ; PUSH bytes 0x3b ; UPDATE ; PUSH int 58 ; SOME ; PUSH bytes 0x3a ; UPDATE ; PUSH int 57 ; SOME ; PUSH bytes 0x39 ; UPDATE ; PUSH int 56 ; SOME ; PUSH bytes 0x38 ; UPDATE ; PUSH int 55 ; SOME ; PUSH bytes 0x37 ; UPDATE ; PUSH int 54 ; SOME ; PUSH bytes 0x36 ; UPDATE ; PUSH int 53 ; SOME ; PUSH bytes 0x35 ; UPDATE ; PUSH int 52 ; SOME ; PUSH bytes 0x34 ; UPDATE ; PUSH int 51 ; SOME ; PUSH bytes 0x33 ; UPDATE ; PUSH int 50 ; SOME ; PUSH bytes 0x32 ; UPDATE ; PUSH int 49 ; SOME ; PUSH bytes 0x31 ; UPDATE ; PUSH int 48 ; SOME ; PUSH bytes 0x30 ; UPDATE ; PUSH int 47 ; SOME ; PUSH bytes 0x2f ; UPDATE ; PUSH int 46 ; SOME ; PUSH bytes 0x2e ; UPDATE ; PUSH int 45 ; SOME ; PUSH bytes 0x2d ; UPDATE ; PUSH int 44 ; SOME ; PUSH bytes 0x2c ; UPDATE ; PUSH int 43 ; SOME ; PUSH bytes 0x2b ; UPDATE ; PUSH int 42 ; SOME ; PUSH bytes 0x2a ; UPDATE ; PUSH int 41 ; SOME ; PUSH bytes 0x29 ; UPDATE ; PUSH int 40 ; SOME ; PUSH bytes 0x28 ; UPDATE ; PUSH int 39 ; SOME ; PUSH bytes 0x27 ; UPDATE ; PUSH int 38 ; SOME ; PUSH bytes 0x26 ; UPDATE ; PUSH int 37 ; SOME ; PUSH bytes 0x25 ; UPDATE ; PUSH int 36 ; SOME ; PUSH bytes 0x24 ; UPDATE ; PUSH int 35 ; SOME ; PUSH bytes 0x23 ; UPDATE ; PUSH int 34 ; SOME ; PUSH bytes 0x22 ; UPDATE ; PUSH int 33 ; SOME ; PUSH bytes 0x21 ; UPDATE ; PUSH int 32 ; SOME ; PUSH bytes 0x20 ; UPDATE ; PUSH int 31 ; SOME ; PUSH bytes 0x1f ; UPDATE ; PUSH int 30 ; SOME ; PUSH bytes 0x1e ; UPDATE ; PUSH int 29 ; SOME ; PUSH bytes 0x1d ; UPDATE ; PUSH int 28 ; SOME ; PUSH bytes 0x1c ; UPDATE ; PUSH int 27 ; SOME ; PUSH bytes 0x1b ; UPDATE ; PUSH int 26 ; SOME ; PUSH bytes 0x1a ; UPDATE ; PUSH int 25 ; SOME ; PUSH bytes 0x19 ; UPDATE ; PUSH int 24 ; SOME ; PUSH bytes 0x18 ; UPDATE ; PUSH int 23 ; SOME ; PUSH bytes 0x17 ; UPDATE ; PUSH int 22 ; SOME ; PUSH bytes 0x16 ; UPDATE ; PUSH int 21 ; SOME ; PUSH bytes 0x15 ; UPDATE ; PUSH int 20 ; SOME ; PUSH bytes 0x14 ; UPDATE ; PUSH int 19 ; SOME ; PUSH bytes 0x13 ; UPDATE ; PUSH int 18 ; SOME ; PUSH bytes 0x12 ; UPDATE ; PUSH int 17 ; SOME ; PUSH bytes 0x11 ; UPDATE ; PUSH int 16 ; SOME ; PUSH bytes 0x10 ; UPDATE ; PUSH int 15 ; SOME ; PUSH bytes 0x0f ; UPDATE ; PUSH int 14 ; SOME ; PUSH bytes 0x0e ; UPDATE ; PUSH int 13 ; SOME ; PUSH bytes 0x0d ; UPDATE ; PUSH int 12 ; SOME ; PUSH bytes 0x0c ; UPDATE ; PUSH int 11 ; SOME ; PUSH bytes 0x0b ; UPDATE ; PUSH int 10 ; SOME ; PUSH bytes 0x0a ; UPDATE ; PUSH int 9 ; SOME ; PUSH bytes 0x09 ; UPDATE ; PUSH int 8 ; SOME ; PUSH bytes 0x08 ; UPDATE ; PUSH int 7 ; SOME ; PUSH bytes 0x07 ; UPDATE ; PUSH int 6 ; SOME ; PUSH bytes 0x06 ; UPDATE ; PUSH int 5 ; SOME ; PUSH bytes 0x05 ; UPDATE ; PUSH int 4 ; SOME ; PUSH bytes 0x04 ; UPDATE ; PUSH int 3 ; SOME ; PUSH bytes 0x03 ; UPDATE ; PUSH int 2 ; SOME ; PUSH bytes 0x02 ; UPDATE ; PUSH int 1 ; SOME ; PUSH bytes 0x01 ; UPDATE ; PUSH int 0 ; SOME ; PUSH bytes 0x00 ; UPDATE ; DIG 5 ; PUSH nat 1 ; DUP 5 ; SLICE ; IF_NONE { PUSH string "SLICE" ; FAILWITH } {} ; GET ; IF_NONE { PUSH string "INVALID_BYTE" ; FAILWITH } {} ; MUL ; DUP 4 ; CDR ; ADD ; PUSH nat 1 ; DIG 2 ; ADD ; PUSH int 2 ; DIG 3 ; SUB ; DIG 2 ; DIG 3 ; CAR ; PAIR ; DUP ; CDR ; DIG 3 ; DIG 2 ; CAR ; CAR ; PAIR ; CDR ; DIG 2 ; PAIR ; PAIR ; PUSH bool True ; PAIR } { SWAP ; DIG 3 ; DROP 3 ; PUSH bool False ; PAIR } } ; SWAP ; APPLY ; SWAP ; PUSH bool True ; LOOP { DIP { DUP } ; EXEC ; UNPAIR } ; SWAP ; DROP ; CDR ; ABS ; EDIV ; IF_NONE { PUSH string "MOD by 0" ; FAILWITH } {} ; CDR ; SWAP ; CAR ; CDR ; SWAP ; GET ; IF_NONE { PUSH string "OUT_OF_BOUNDS" ; FAILWITH } {} ; PUSH bool True ; DUP 3 ; DUP 3 ; MEM ; COMPARE ; EQ ; IF { PUSH string "DUPE_MINT" ; FAILWITH } {} ; DIG 2 ; DUP ; DUP ; DUG 4 ; GET 11 ; DIG 4 ; PUSH nat 1 ; PAIR ; DUP 9 ; SWAP ; EXEC ; SOME ; PUSH nat 0 ; UPDATE ; UPDATE 11 ; DUP ; DUP ; DUG 2 ; GET 11 ; DIG 2 ; PUSH nat 2 ; PAIR ; DIG 8 ; SWAP ; EXEC ; SOME ; PUSH nat 1 ; UPDATE ; UPDATE 11 ; DUP ; GET 11 ; DUP 3 ; PACK ; SENDER ; PACK ; NOW ; PACK ; CONCAT ; CONCAT ; BLAKE2B ; SOME ; PUSH nat 2 ; UPDATE ; UPDATE 11 ; DUP ; GET 3 ; DIG 3 ; DUP 4 ; PUSH bool True ; SWAP ; UPDATE ; UPDATE 30 ; UPDATE 3 ; PUSH string ".json" ; PUSH string "" ; DUP 4 ; PAIR ; LAMBDA (pair nat string) (pair bool (pair nat string)) { DUP ; CAR ; PUSH nat 0 ; SWAP ; DUP ; DUG 2 ; COMPARE ; GT ; IF { SWAP ; CDR ; PUSH nat 10 ; DUP 3 ; EDIV ; IF_NONE { PUSH string "MOD by 0" ; FAILWITH } {} ; CDR ; EMPTY_MAP nat string ; PUSH string "9" ; SOME ; PUSH nat 9 ; UPDATE ; PUSH string "8" ; SOME ; PUSH nat 8 ; UPDATE ; PUSH string "7" ; SOME ; PUSH nat 7 ; UPDATE ; PUSH string "6" ; SOME ; PUSH nat 6 ; UPDATE ; PUSH string "5" ; SOME ; PUSH nat 5 ; UPDATE ; PUSH string "4" ; SOME ; PUSH nat 4 ; UPDATE ; PUSH string "3" ; SOME ; PUSH nat 3 ; UPDATE ; PUSH string "2" ; SOME ; PUSH nat 2 ; UPDATE ; PUSH string "1" ; SOME ; PUSH nat 1 ; UPDATE ; PUSH string "0" ; SOME ; PUSH nat 0 ; UPDATE ; SWAP ; GET ; IF_NONE { PUSH string "INVALID_NAT" ; FAILWITH } {} ; CONCAT ; PUSH nat 10 ; DIG 2 ; EDIV ; IF_NONE { PUSH string "DIV by 0" ; FAILWITH } {} ; CAR ; PAIR ; PUSH bool True ; PAIR } { DROP ; PUSH bool False ; PAIR } } ; SWAP ; PUSH bool True ; LOOP { DIP { DUP } ; EXEC ; UNPAIR } ; SWAP ; DROP ; CDR ; PUSH string "" ; SWAP ; DUP ; DUG 2 ; COMPARE ; EQ ; IF { DROP ; PUSH string "0" } {} ; CONCAT ; PACK ; DIG 5 ; PUSH nat 1 ; DIG 4 ; EMPTY_MAP string bytes ; DUP 5 ; PUSH nat 6 ; DIG 6 ; SIZE ; SUB ; ABS ; PUSH nat 6 ; SLICE ; IF_NONE { PUSH string "SLICE" ; FAILWITH } {} ; DUP 6 ; GET 3 ; GET 27 ; CONCAT ; SOME ; PUSH string "" ; UPDATE ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; PAIR ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 3 ; CONTRACT %mint (pair (address %address) (pair (nat %amount) (pair (nat %token_id) (map %metadata string bytes)))) ; IF_NONE { PUSH string "CANNOT_INVOKE_FA2_MINT" ; FAILWITH } {} ; PUSH mutez 0 ; DIG 2 ; TRANSFER_TOKENS ; SWAP ; DUP ; DUP ; DUG 3 ; GET 3 ; PUSH nat 1 ; DIG 4 ; GET 3 ; GET 7 ; ADD ; UPDATE 7 ; UPDATE 3 ; PUSH int 1 ; DIG 3 ; ADD ; SWAP ; DIG 3 ; CAR ; CAR ; DIG 3 ; CONS ; PAIR ; PAIR ; PUSH bool True ; PAIR } { DIG 2 ; DIG 3 ; DROP 3 ; PUSH bool False ; PAIR } } ; SWAP ; APPLY ; SWAP ; PUSH bool True ; LOOP { DIP { DUP } ; EXEC ; UNPAIR } ; SWAP ; DROP ; CAR } ; SWAP ; APPLY ; DIG 2 ; UNPAIR ; IF_LEFT { IF_LEFT { IF_LEFT { DIG 2 ; DROP ; SWAP ; DUP ; DUG 2 ; GET 12 ; SENDER ; COMPARE ; NEQ ; IF { PUSH string "INVALID_ACCESS" ; FAILWITH } {} ; ITER { SWAP ; DUP ; GET 7 ; DUP 3 ; CDR ; DIG 3 ; CAR ; SWAP ; SOME ; SWAP ; UPDATE ; UPDATE 7 } ; SWAP ; PAIR } { DIG 3 ; DROP ; PUSH bool True ; DUP 3 ; GET 3 ; CAR ; COMPARE ; EQ ; IF { PUSH string "SALE_PAUSED" ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 19 ; DUP 3 ; GET 3 ; GET 17 ; ADD ; NOW ; COMPARE ; LE ; DUP 3 ; GET 3 ; GET 17 ; NOW ; COMPARE ; GE ; AND ; DUP 3 ; GET 3 ; GET 15 ; NOW ; COMPARE ; GE ; PUSH bool False ; SWAP ; COMPARE ; EQ ; PUSH bool False ; DUP 3 ; COMPARE ; EQ ; AND ; IF { PUSH string "SALE_NOT_STARTED" ; FAILWITH } {} ; DUP 3 ; GET 3 ; GET 13 ; DUP 4 ; GET 3 ; GET 11 ; SUB ; ABS ; DUP 4 ; GET 3 ; GET 9 ; SUB ; ABS ; DUP 3 ; DUP 5 ; GET 3 ; GET 7 ; ADD ; COMPARE ; GT ; IF { PUSH string "SOLD_OUT" ; FAILWITH } {} ; PUSH bool True ; SWAP ; DUP ; DUG 2 ; COMPARE ; EQ ; IF { DUP 3 ; GET 7 ; SENDER ; GET ; IF_NONE { PUSH string "NOT_WHITELISTED" ; FAILWITH } {} } { DUP 3 ; GET 3 ; GET 25 } ; DUP 3 ; PUSH bool True ; DIG 3 ; COMPARE ; EQ ; IF { DUP 4 ; GET 3 ; GET 21 } { DUP 4 ; GET 3 ; GET 5 } ; MUL ; AMOUNT ; COMPARE ; NEQ ; IF { PUSH string "INVALID_AMOUNT" ; FAILWITH } {} ; DUP 3 ; SENDER ; SWAP ; GET 5 ; SWAP ; GET ; IF_NONE { PUSH nat 0 ; PUSH nat 0 ; PUSH nat 0 ; SWAP ; PAIR ; SWAP ; PAIR } {} ; SWAP ; DUP ; DUG 2 ; DUP 4 ; DUP 3 ; CAR ; ADD ; COMPARE ; GT ; PUSH nat 0 ; DIG 3 ; COMPARE ; GT ; AND ; IF { PUSH string "MAX_MINT_PER_WALLET_EXCEEDED" ; FAILWITH } {} ; LEVEL ; SWAP ; DUP ; DUG 2 ; GET 3 ; COMPARE ; NEQ ; IF { PUSH nat 0 ; UPDATE 4 ; LEVEL ; UPDATE 3 } {} ; DUP 3 ; GET 3 ; GET 23 ; DUP 3 ; DUP 3 ; GET 4 ; ADD ; COMPARE ; GT ; PUSH nat 0 ; DUP 5 ; GET 3 ; GET 23 ; COMPARE ; GT ; AND ; IF { PUSH string "MAX_MINT_PER_BLOCK_EXCEEDED" ; FAILWITH } {} ; DUG 2 ; DUP ; DUG 3 ; SENDER ; PAIR ; PAIR ; DIG 3 ; SWAP ; EXEC ; UNPAIR ; SWAP ; DUP ; DUG 2 ; GET 9 ; ITER { SWAP ; PAIR ; PUSH nat 10000 ; SWAP ; DUP ; DUG 2 ; CDR ; CDR ; AMOUNT ; MUL ; EDIV ; IF_NONE { PUSH string "DIV by 0" ; FAILWITH } {} ; CAR ; SWAP ; DUP ; DUG 2 ; CDR ; CAR ; CONTRACT unit ; IF_NONE { PUSH string "INVALID_TEZ_DESTINATION" ; FAILWITH } {} ; SWAP ; UNIT ; TRANSFER_TOKENS ; SWAP ; CAR ; SWAP ; CONS } ; DUP 3 ; DUP 5 ; DIG 4 ; CAR ; ADD ; UPDATE 1 ; DUP ; DIG 4 ; DIG 2 ; GET 4 ; ADD ; UPDATE 4 ; DIG 2 ; DUP ; GET 5 ; DIG 2 ; SOME ; SENDER ; UPDATE ; UPDATE 5 ; SWAP ; PAIR } } { IF_LEFT { DIG 3 ; DROP ; UNPAIR ; DUP 3 ; GET 12 ; SENDER ; COMPARE ; NEQ ; IF { PUSH string "INVALID_ACCESS" ; FAILWITH } {} ; DUP 3 ; GET 3 ; GET 11 ; DUP 3 ; DUP 5 ; GET 3 ; GET 13 ; ADD ; COMPARE ; GT ; IF { PUSH string "INVALID_AMOUNT" ; FAILWITH } {} ; DUG 2 ; DUP ; DUG 3 ; DIG 2 ; PAIR ; PAIR ; DIG 2 ; SWAP ; EXEC ; DUP ; CDR ; DUP ; DUP ; DUG 2 ; GET 3 ; DIG 4 ; DIG 3 ; GET 3 ; GET 13 ; ADD ; UPDATE 13 ; UPDATE 3 ; SWAP ; CAR ; PAIR } { DIG 2 ; DROP ; SWAP ; DUP ; DUG 2 ; GET 12 ; SENDER ; COMPARE ; NEQ ; IF { PUSH string "INVALID_ACCESS" ; FAILWITH } {} ; SWAP ; DUP ; GET 3 ; DIG 2 ; UPDATE 1 ; UPDATE 3 ; SWAP ; PAIR } } } { DIG 2 ; DROP ; IF_LEFT { SWAP ; DUP ; DUG 2 ; GET 12 ; SENDER ; COMPARE ; NEQ ; IF { PUSH string "INVALID_ACCESS" ; FAILWITH } {} ; ITER { SWAP ; PAIR ; DUP ; CAR ; DUP ; GET 7 ; DIG 2 ; CDR ; NONE nat ; SWAP ; UPDATE ; UPDATE 7 } ; SWAP ; PAIR } { DIG 2 ; DROP ; SWAP ; DUP ; DUG 2 ; GET 12 ; SENDER ; COMPARE ; NEQ ; IF { PUSH string "INVALID_ACCESS" ; FAILWITH } {} ; SWAP ; DUP ; DUG 2 ; GET 3 ; GET 3 ; CONTRACT %reveal (pair (pair bytes nat) nat) ; IF_NONE { PUSH string "CANNOT_INVOKE_FA2_REVEAL" ; FAILWITH } {} ; PUSH mutez 0 ; DIG 2 ; TRANSFER_TOKENS ; SWAP ; NIL operation ; DIG 2 ; CONS ; PAIR } } }