Analysis Run

[codex:331010] OpenAI Codex v0.77.0 (research preview)
[codex:331010] --------
[codex:331010] workdir: /tmp/codex-multi-_d55bce0
[codex:331010] model: gpt-5.2-codex
[codex:331010] provider: openai
[codex:331010] approval: never
[codex:331010] sandbox: read-only
[codex:331010] reasoning effort: xhigh
[codex:331010] reasoning summaries: auto
[codex:331010] session id: 019b8fe6-2713-7910-9bfd-8bcdb207779e
[codex:331010] --------
[codex:331010] user
[codex:331010] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:331010] 
[codex:331010] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:331010] 
[codex:331010] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:331010] - Gas inefficiency, code quality, naming, or best practices
[codex:331010] - Theoretical vulnerabilities without a clear extraction path
[codex:331010] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:331010] - Front-running unless it enables theft beyond MEV
[codex:331010] - DoS, griefing, or issues that don't result in attacker profit
[codex:331010] - Missing events, view function issues, or informational findings
[codex:331010] 
[codex:331010] HIGH-VALUE PATTERNS TO HUNT:
[codex:331010] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:331010] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:331010] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:331010] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:331010] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:331010] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:331010] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:331010] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:331010] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:331010] 
[codex:331010] For each finding, you MUST provide:
[codex:331010] 1. Exact file and line numbers of vulnerable code
[codex:331010] 2. Step-by-step exploit transaction sequence
[codex:331010] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:331010] 
[codex:331010] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:331010] 
[codex:331010] Output MUST be valid JSON matching the provided schema.
[codex:331010] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:331010] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:331010] mcp startup: no servers
[codex:331010] 
[codex:331010] thinking
[codex:331010] **Reading AUDIT_BUNDLE.txt**
[codex:331010] exec
[codex:331010] /bin/bash -lc ls in /tmp/codex-multi-_d55bce0 succeeded in 5ms:
[codex:331010] AUDIT_BUNDLE.txt
[codex:331010] codex-output-schema.json
[codex:331010] contracts
[codex:331010] exec
[codex:331010] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_d55bce0 succeeded in 5ms:
[codex:331010] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:331010] 
[codex:331010] ================================================================================
[codex:331010] FILE: contracts/Contract.sol
[codex:331010] ================================================================================
[codex:331010] pragma solidity ^0.4.24;
[codex:331010] 
[codex:331010] /******************************************************************************\
[codex:331010] *..................................SU SQUARES..................................*
[codex:331010] *.....................Cute squares you own and personalize.....................*
[codex:331010] *..............................................................................*
[codex:331010] * First, I just want to say we are so excited and humbled to get this far and  *
[codex:331010] * that you're even reading this. So thank you!                                 *
[codex:331010] *                                                                              *
[codex:331010] * This file is organized into multiple contracts that separate functionality   *
[codex:331010] * into logical parts. The deployed contract, SuMain, is at the bottom and      *
[codex:331010] * includes the rest of the file using inheritance.                             *
[codex:331010] *                                                                              *
[codex:331010] *  - ERC165, ERC721: These interfaces follow the official EIPs                 *
[codex:331010] *  - AccessControl: A reusable CEO/CFO/COO access model                        *
[codex:331010] 
[codex:331010] thinking
[codex:331010] **Analyzing NFT contract for vulnerabilities**
[codex:331010] 
[codex:331010] I've carefully reviewed the NFT contract logic, focusing on ownership substitutions, access control, transfer mechanisms, and potential reentrancy. After checking possible exploits—like unauthorized transfers, reentrancy through callbacks, financial officer withdraw risks, and payment circumvention—I find no concrete profit path or exploitable vulnerability. The substitution scheme and token enumeration appear consistent, and access controls prevent unauthorized approvals or transfers. I'll prepare a JSON response indicating no findings with a clear summary.
[codex:331010] codex
[codex:331010] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}
[codex:331010] tokens used
[codex:331010] 12,910
[codex:331010] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T20:44:08.802643+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0168
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x15be71
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x016d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x01ffc9a7
00000045: EQ
00000046: PUSH2 0x019e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x05e45546
00000050: EQ
00000051: PUSH2 0x01d4
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x06fdde03
0000005b: EQ
0000005c: PUSH2 0x01fb
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x081812fc
00000066: EQ
00000067: PUSH2 0x0285
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x095ea7b3
00000071: EQ
00000072: PUSH2 0x029d
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x133252a6
0000007c: EQ
0000007d: PUSH2 0x02b6
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x18160ddd
00000087: EQ
00000088: PUSH2 0x02da
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x23b872dd
00000092: EQ
00000093: PUSH2 0x02ef
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x2aad292e
0000009d: EQ
0000009e: PUSH2 0x030c
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x2f745c59
000000a8: EQ
000000a9: PUSH2 0x032d
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x42842e0e
000000b3: EQ
000000b4: PUSH2 0x0351
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x4f6ccce7
000000be: EQ
000000bf: PUSH2 0x036e
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x5fd8c710
000000c9: EQ
000000ca: PUSH2 0x0386
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x6352211e
000000d4: EQ
000000d5: PUSH2 0x039b
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x6bfa5edc
000000df: EQ
000000e0: PUSH2 0x03b3
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x70a08231
000000ea: EQ
000000eb: PUSH2 0x03c8
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x76f14c98
000000f5: EQ
000000f6: PUSH2 0x03e9
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x95d89b41
00000100: EQ
00000101: PUSH2 0x0418
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xa22cb465
0000010b: EQ
0000010c: PUSH2 0x042d
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xabe088a7
00000116: EQ
00000117: PUSH2 0x0453
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xb88d4fde
00000121: EQ
00000122: PUSH2 0x0468
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xc87b56dd
0000012c: EQ
0000012d: PUSH2 0x0494
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xd978a0d3
00000137: EQ
00000138: PUSH2 0x04ac
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xe985e9c5
00000142: EQ
00000143: PUSH2 0x04cd
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xec13df6b
0000014d: EQ
0000014e: PUSH2 0x04f4
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xefef39a1
00000158: EQ
00000159: PUSH2 0x0515
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xffa6ab44
00000163: EQ
00000164: PUSH2 0x0520
00000167: JUMPI
00000168: JUMPDEST
00000169: PUSH1 0x00
0000016b: DUP1
0000016c: REVERT
0000016d: JUMPDEST
0000016e: CALLVALUE
0000016f: DUP1
00000170: ISZERO
00000171: PUSH2 0x0179
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: POP
0000017b: PUSH2 0x0182
0000017e: PUSH2 0x0683
00000181: JUMP
00000182: JUMPDEST
00000183: PUSH1 0x40
00000185: DUP1
00000186: MLOAD
00000187: PUSH1 0x01
00000189: PUSH1 0xa0
0000018b: PUSH1 0x02
0000018d: EXP
0000018e: SUB
0000018f: SWAP1
00000190: SWAP3
00000191: AND
00000192: DUP3
00000193: MSTORE
00000194: MLOAD
00000195: SWAP1
00000196: DUP2
00000197: SWAP1
00000198: SUB
00000199: PUSH1 0x20
0000019b: ADD
0000019c: SWAP1
0000019d: RETURN
0000019e: JUMPDEST
0000019f: CALLVALUE
000001a0: DUP1
000001a1: ISZERO
000001a2: PUSH2 0x01aa
000001a5: JUMPI
000001a6: PUSH1 0x00
000001a8: DUP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: POP
000001ac: PUSH2 0x01c0
000001af: PUSH1 0x01
000001b1: PUSH1 0xe0
000001b3: PUSH1 0x02
000001b5: EXP
000001b6: SUB
000001b7: NOT
000001b8: PUSH1 0x04
000001ba: CALLDATALOAD
000001bb: AND
000001bc: PUSH2 0x0692
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x40
000001c3: DUP1
000001c4: MLOAD
000001c5: SWAP2
000001c6: ISZERO
000001c7: ISZERO
000001c8: DUP3
000001c9: MSTORE
000001ca: MLOAD
000001cb: SWAP1
000001cc: DUP2
000001cd: SWAP1
000001ce: SUB
000001cf: PUSH1 0x20
000001d1: ADD
000001d2: SWAP1
000001d3: RETURN
000001d4: JUMPDEST
000001d5: CALLVALUE
000001d6: DUP1
000001d7: ISZERO
000001d8: PUSH2 0x01e0
000001db: JUMPI
000001dc: PUSH1 0x00
000001de: DUP1
000001df: REVERT
000001e0: JUMPDEST
000001e1: POP
000001e2: PUSH2 0x01e9
000001e5: PUSH2 0x06cb
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: DUP1
000001ed: MLOAD
000001ee: SWAP2
000001ef: DUP3
000001f0: MSTORE
000001f1: MLOAD
000001f2: SWAP1
000001f3: DUP2
000001f4: SWAP1
000001f5: SUB
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: SWAP1
000001fa: RETURN
000001fb: JUMPDEST
000001fc: CALLVALUE
000001fd: DUP1
000001fe: ISZERO
000001ff: PUSH2 0x0207
00000202: JUMPI
00000203: PUSH1 0x00
00000205: DUP1
00000206: REVERT
00000207: JUMPDEST
00000208: POP
00000209: PUSH2 0x0210
0000020c: PUSH2 0x06d2
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH1 0x40
00000213: DUP1
00000214: MLOAD
00000215: PUSH1 0x20
00000217: DUP1
00000218: DUP3
00000219: MSTORE
0000021a: DUP4
0000021b: MLOAD
0000021c: DUP2
0000021d: DUP4
0000021e: ADD
0000021f: MSTORE
00000220: DUP4
00000221: MLOAD
00000222: SWAP2
00000223: SWAP3
00000224: DUP4
00000225: SWAP3
00000226: SWAP1
00000227: DUP4
00000228: ADD
00000229: SWAP2
0000022a: DUP6
0000022b: ADD
0000022c: SWAP1
0000022d: DUP1
0000022e: DUP4
0000022f: DUP4
00000230: PUSH1 0x00
00000232: JUMPDEST
00000233: DUP4
00000234: DUP2
00000235: LT
00000236: ISZERO
00000237: PUSH2 0x024a
0000023a: JUMPI
0000023b: DUP2
0000023c: DUP2
0000023d: ADD
0000023e: MLOAD
0000023f: DUP4
00000240: DUP3
00000241: ADD
00000242: MSTORE
00000243: PUSH1 0x20
00000245: ADD
00000246: PUSH2 0x0232
00000249: JUMP
0000024a: JUMPDEST
0000024b: POP
0000024c: POP
0000024d: POP
0000024e: POP
0000024f: SWAP1
00000250: POP
00000251: SWAP1
00000252: DUP2
00000253: ADD
00000254: SWAP1
00000255: PUSH1 0x1f
00000257: AND
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0277
0000025d: JUMPI
0000025e: DUP1
0000025f: DUP3
00000260: SUB
00000261: DUP1
00000262: MLOAD
00000263: PUSH1 0x01
00000265: DUP4
00000266: PUSH1 0x20
00000268: SUB
00000269: PUSH2 0x0100
0000026c: EXP
0000026d: SUB
0000026e: NOT
0000026f: AND
00000270: DUP2
00000271: MSTORE
00000272: PUSH1 0x20
00000274: ADD
00000275: SWAP2
00000276: POP
00000277: JUMPDEST
00000278: POP
00000279: SWAP3
0000027a: POP
0000027b: POP
0000027c: POP
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: DUP1
00000281: SWAP2
00000282: SUB
00000283: SWAP1
00000284: RETURN
00000285: JUMPDEST
00000286: CALLVALUE
00000287: DUP1
00000288: ISZERO
00000289: PUSH2 0x0291
0000028c: JUMPI
0000028d: PUSH1 0x00
0000028f: DUP1
00000290: REVERT
00000291: JUMPDEST
00000292: POP
00000293: PUSH2 0x0182
00000296: PUSH1 0x04
00000298: CALLDATALOAD
00000299: PUSH2 0x070a
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x02b4
000002a1: PUSH1 0x01
000002a3: PUSH1 0xa0
000002a5: PUSH1 0x02
000002a7: EXP
000002a8: SUB
000002a9: PUSH1 0x04
000002ab: CALLDATALOAD
000002ac: AND
000002ad: PUSH1 0x24
000002af: CALLDATALOAD
000002b0: PUSH2 0x074c
000002b3: JUMP
000002b4: JUMPDEST
000002b5: STOP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02b4
000002c7: PUSH1 0x04
000002c9: CALLDATALOAD
000002ca: PUSH1 0x01
000002cc: PUSH1 0xa0
000002ce: PUSH1 0x02
000002d0: EXP
000002d1: SUB
000002d2: PUSH1 0x24
000002d4: CALLDATALOAD
000002d5: AND
000002d6: PUSH2 0x0832
000002d9: JUMP
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: DUP1
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: POP
000002e8: PUSH2 0x01e9
000002eb: PUSH2 0x08ee
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH2 0x02b4
000002f3: PUSH1 0x01
000002f5: PUSH1 0xa0
000002f7: PUSH1 0x02
000002f9: EXP
000002fa: SUB
000002fb: PUSH1 0x04
000002fd: CALLDATALOAD
000002fe: DUP2
000002ff: AND
00000300: SWAP1
00000301: PUSH1 0x24
00000303: CALLDATALOAD
00000304: AND
00000305: PUSH1 0x44
00000307: CALLDATALOAD
00000308: PUSH2 0x08f4
0000030b: JUMP
0000030c: JUMPDEST
0000030d: CALLVALUE
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: POP
0000031a: PUSH2 0x02b4
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: PUSH1 0x02
00000323: EXP
00000324: SUB
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: AND
00000329: PUSH2 0x09f1
0000032c: JUMP
0000032d: JUMPDEST
0000032e: CALLVALUE
0000032f: DUP1
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH2 0x01e9
0000033e: PUSH1 0x01
00000340: PUSH1 0xa0
00000342: PUSH1 0x02
00000344: EXP
00000345: SUB
00000346: PUSH1 0x04
00000348: CALLDATALOAD
00000349: AND
0000034a: PUSH1 0x24
0000034c: CALLDATALOAD
0000034d: PUSH2 0x0a4c
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH2 0x02b4
00000355: PUSH1 0x01
00000357: PUSH1 0xa0
00000359: PUSH1 0x02
0000035b: EXP
0000035c: SUB
0000035d: PUSH1 0x04
0000035f: CALLDATALOAD
00000360: DUP2
00000361: AND
00000362: SWAP1
00000363: PUSH1 0x24
00000365: CALLDATALOAD
00000366: AND
00000367: PUSH1 0x44
00000369: CALLDATALOAD
0000036a: PUSH2 0x0ae2
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH2 0x01e9
0000037f: PUSH1 0x04
00000381: CALLDATALOAD
00000382: PUSH2 0x0b03
00000385: JUMP
00000386: JUMPDEST
00000387: CALLVALUE
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x0392
0000038d: JUMPI
0000038e: PUSH1 0x00
00000390: DUP1
00000391: REVERT
00000392: JUMPDEST
00000393: POP
00000394: PUSH2 0x02b4
00000397: PUSH2 0x0b1a
0000039a: JUMP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x0182
000003ac: PUSH1 0x04
000003ae: CALLDATALOAD
000003af: PUSH2 0x0b6e
000003b2: JUMP
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: DUP1
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: POP
000003c1: PUSH2 0x0182
000003c4: PUSH2 0x0bb8
000003c7: JUMP
000003c8: JUMPDEST
000003c9: CALLVALUE
000003ca: DUP1
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: POP
000003d6: PUSH2 0x01e9
000003d9: PUSH1 0x01
000003db: PUSH1 0xa0
000003dd: PUSH1 0x02
000003df: EXP
000003e0: SUB
000003e1: PUSH1 0x04
000003e3: CALLDATALOAD
000003e4: AND
000003e5: PUSH2 0x0bc7
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x02b4
000003ed: PUSH1 0x04
000003ef: DUP1
000003f0: CALLDATALOAD
000003f1: SWAP1
000003f2: PUSH1 0x24
000003f4: DUP1
000003f5: CALLDATALOAD
000003f6: DUP1
000003f7: DUP3
000003f8: ADD
000003f9: SWAP3
000003fa: SWAP1
000003fb: DUP2
000003fc: ADD
000003fd: CALLDATALOAD
000003fe: SWAP2
000003ff: PUSH1 0x44
00000401: CALLDATALOAD
00000402: DUP1
00000403: DUP3
00000404: ADD
00000405: SWAP3
00000406: SWAP1
00000407: DUP2
00000408: ADD
00000409: CALLDATALOAD
0000040a: SWAP2
0000040b: PUSH1 0x64
0000040d: CALLDATALOAD
0000040e: SWAP1
0000040f: DUP2
00000410: ADD
00000411: SWAP2
00000412: ADD
00000413: CALLDATALOAD
00000414: PUSH2 0x0bfa
00000417: JUMP
00000418: JUMPDEST
00000419: CALLVALUE
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: PUSH2 0x0210
00000429: PUSH2 0x0d3e
0000042c: JUMP
0000042d: JUMPDEST
0000042e: CALLVALUE
0000042f: DUP1
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: POP
0000043b: PUSH2 0x02b4
0000043e: PUSH1 0x01
00000440: PUSH1 0xa0
00000442: PUSH1 0x02
00000444: EXP
00000445: SUB
00000446: PUSH1 0x04
00000448: CALLDATALOAD
00000449: AND
0000044a: PUSH1 0x24
0000044c: CALLDATALOAD
0000044d: ISZERO
0000044e: ISZERO
0000044f: PUSH2 0x0d75
00000452: JUMP
00000453: JUMPDEST
00000454: CALLVALUE
00000455: DUP1
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: POP
00000461: PUSH2 0x0182
00000464: PUSH2 0x0de3
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH2 0x02b4
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: PUSH1 0x02
00000472: EXP
00000473: SUB
00000474: PUSH1 0x04
00000476: DUP1
00000477: CALLDATALOAD
00000478: DUP3
00000479: AND
0000047a: SWAP2
0000047b: PUSH1 0x24
0000047d: DUP1
0000047e: CALLDATALOAD
0000047f: SWAP1
00000480: SWAP2
00000481: AND
00000482: SWAP2
00000483: PUSH1 0x44
00000485: CALLDATALOAD
00000486: SWAP2
00000487: PUSH1 0x64
00000489: CALLDATALOAD
0000048a: SWAP1
0000048b: DUP2
0000048c: ADD
0000048d: SWAP2
0000048e: ADD
0000048f: CALLDATALOAD
00000490: PUSH2 0x0df2
00000493: JUMP
00000494: JUMPDEST
00000495: CALLVALUE
00000496: DUP1
00000497: ISZERO
00000498: PUSH2 0x04a0
0000049b: JUMPI
0000049c: PUSH1 0x00
0000049e: DUP1
0000049f: REVERT
000004a0: JUMPDEST
000004a1: POP
000004a2: PUSH2 0x0210
000004a5: PUSH1 0x04
000004a7: CALLDATALOAD
000004a8: PUSH2 0x0e2e
000004ab: JUMP
000004ac: JUMPDEST
000004ad: CALLVALUE
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04b8
000004b3: JUMPI
000004b4: PUSH1 0x00
000004b6: DUP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: POP
000004ba: PUSH2 0x02b4
000004bd: PUSH1 0x01
000004bf: PUSH1 0xa0
000004c1: PUSH1 0x02
000004c3: EXP
000004c4: SUB
000004c5: PUSH1 0x04
000004c7: CALLDATALOAD
000004c8: AND
000004c9: PUSH2 0x0fcf
000004cc: JUMP
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: DUP1
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: POP
000004db: PUSH2 0x01c0
000004de: PUSH1 0x01
000004e0: PUSH1 0xa0
000004e2: PUSH1 0x02
000004e4: EXP
000004e5: SUB
000004e6: PUSH1 0x04
000004e8: CALLDATALOAD
000004e9: DUP2
000004ea: AND
000004eb: SWAP1
000004ec: PUSH1 0x24
000004ee: CALLDATALOAD
000004ef: AND
000004f0: PUSH2 0x102a
000004f3: JUMP
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: DUP1
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x02b4
00000505: PUSH1 0x01
00000507: PUSH1 0xa0
00000509: PUSH1 0x02
0000050b: EXP
0000050c: SUB
0000050d: PUSH1 0x04
0000050f: CALLDATALOAD
00000510: AND
00000511: PUSH2 0x1058
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH2 0x02b4
00000519: PUSH1 0x04
0000051b: CALLDATALOAD
0000051c: PUSH2 0x10b3
0000051f: JUMP
00000520: JUMPDEST
00000521: CALLVALUE
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x0538
00000531: PUSH1 0x04
00000533: CALLDATALOAD
00000534: PUSH2 0x1150
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: DUP1
0000053d: DUP6
0000053e: DUP2
0000053f: MSTORE
00000540: PUSH1 0x20
00000542: ADD
00000543: DUP1
00000544: PUSH1 0x20
00000546: ADD
00000547: DUP1
00000548: PUSH1 0x20
0000054a: ADD
0000054b: DUP1
0000054c: PUSH1 0x20
0000054e: ADD
0000054f: DUP5
00000550: DUP2
00000551: SUB
00000552: DUP5
00000553: MSTORE
00000554: DUP8
00000555: DUP2
00000556: DUP2
00000557: MLOAD
00000558: DUP2
00000559: MSTORE
0000055a: PUSH1 0x20
0000055c: ADD
0000055d: SWAP2
0000055e: POP
0000055f: DUP1
00000560: MLOAD
00000561: SWAP1
00000562: PUSH1 0x20
00000564: ADD
00000565: SWAP1
00000566: DUP1
00000567: DUP4
00000568: DUP4
00000569: PUSH1 0x00
0000056b: JUMPDEST
0000056c: DUP4
0000056d: DUP2
0000056e: LT
0000056f: ISZERO
00000570: PUSH2 0x0583
00000573: JUMPI
00000574: DUP2
00000575: DUP2
00000576: ADD
00000577: MLOAD
00000578: DUP4
00000579: DUP3
0000057a: ADD
0000057b: MSTORE
0000057c: PUSH1 0x20
0000057e: ADD
0000057f: PUSH2 0x056b
00000582: JUMP
00000583: JUMPDEST
00000584: POP
00000585: POP
00000586: POP
00000587: POP
00000588: SWAP1
00000589: POP
0000058a: SWAP1
0000058b: DUP2
0000058c: ADD
0000058d: SWAP1
0000058e: PUSH1 0x1f
00000590: AND
00000591: DUP1
00000592: ISZERO
00000593: PUSH2 0x05b0
00000596: JUMPI
00000597: DUP1
00000598: DUP3
00000599: SUB
0000059a: DUP1
0000059b: MLOAD
0000059c: PUSH1 0x01
0000059e: DUP4
0000059f: PUSH1 0x20
000005a1: SUB
000005a2: PUSH2 0x0100
000005a5: EXP
000005a6: SUB
000005a7: NOT
000005a8: AND
000005a9: DUP2
000005aa: MSTORE
000005ab: PUSH1 0x20
000005ad: ADD
000005ae: SWAP2
000005af: POP
000005b0: JUMPDEST
000005b1: POP
000005b2: DUP5
000005b3: DUP2
000005b4: SUB
000005b5: DUP4
000005b6: MSTORE
000005b7: DUP7
000005b8: MLOAD
000005b9: DUP2
000005ba: MSTORE
000005bb: DUP7
000005bc: MLOAD
000005bd: PUSH1 0x20
000005bf: SWAP2
000005c0: DUP3
000005c1: ADD
000005c2: SWAP2
000005c3: DUP9
000005c4: ADD
000005c5: SWAP1
000005c6: DUP1
000005c7: DUP4
000005c8: DUP4
000005c9: PUSH1 0x00
000005cb: JUMPDEST
000005cc: DUP4
000005cd: DUP2
000005ce: LT
000005cf: ISZERO
000005d0: PUSH2 0x05e3
000005d3: JUMPI
000005d4: DUP2
000005d5: DUP2
000005d6: ADD
000005d7: MLOAD
000005d8: DUP4
000005d9: DUP3
000005da: ADD
000005db: MSTORE
000005dc: PUSH1 0x20
000005de: ADD
000005df: PUSH2 0x05cb
000005e2: JUMP
000005e3: JUMPDEST
000005e4: POP
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: SWAP1
000005e9: POP
000005ea: SWAP1
000005eb: DUP2
000005ec: ADD
000005ed: SWAP1
000005ee: PUSH1 0x1f
000005f0: AND
000005f1: DUP1
000005f2: ISZERO
000005f3: PUSH2 0x0610
000005f6: JUMPI
000005f7: DUP1
000005f8: DUP3
000005f9: SUB
000005fa: DUP1
000005fb: MLOAD
000005fc: PUSH1 0x01
000005fe: DUP4
000005ff: PUSH1 0x20
00000601: SUB
00000602: PUSH2 0x0100
00000605: EXP
00000606: SUB
00000607: NOT
00000608: AND
00000609: DUP2
0000060a: MSTORE
0000060b: PUSH1 0x20
0000060d: ADD
0000060e: SWAP2
0000060f: POP
00000610: JUMPDEST
00000611: POP
00000612: DUP5
00000613: DUP2
00000614: SUB
00000615: DUP3
00000616: MSTORE
00000617: DUP6
00000618: MLOAD
00000619: DUP2
0000061a: MSTORE
0000061b: DUP6
0000061c: MLOAD
0000061d: PUSH1 0x20
0000061f: SWAP2
00000620: DUP3
00000621: ADD
00000622: SWAP2
00000623: DUP8
00000624: ADD
00000625: SWAP1
00000626: DUP1
00000627: DUP4
00000628: DUP4
00000629: PUSH1 0x00
0000062b: JUMPDEST
0000062c: DUP4
0000062d: DUP2
0000062e: LT
0000062f: ISZERO
00000630: PUSH2 0x0643
00000633: JUMPI
00000634: DUP2
00000635: DUP2
00000636: ADD
00000637: MLOAD
00000638: DUP4
00000639: DUP3
0000063a: ADD
0000063b: MSTORE
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: PUSH2 0x062b
00000642: JUMP
00000643: JUMPDEST
00000644: POP
00000645: POP
00000646: POP
00000647: POP
00000648: SWAP1
00000649: POP
0000064a: SWAP1
0000064b: DUP2
0000064c: ADD
0000064d: SWAP1
0000064e: PUSH1 0x1f
00000650: AND
00000651: DUP1
00000652: ISZERO
00000653: PUSH2 0x0670
00000656: JUMPI
00000657: DUP1
00000658: DUP3
00000659: SUB
0000065a: DUP1
0000065b: MLOAD
0000065c: PUSH1 0x01
0000065e: DUP4
0000065f: PUSH1 0x20
00000661: SUB
00000662: PUSH2 0x0100
00000665: EXP
00000666: SUB
00000667: NOT
00000668: AND
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: SWAP2
0000066f: POP
00000670: JUMPDEST
00000671: POP
00000672: SWAP8
00000673: POP
00000674: POP
00000675: POP
00000676: POP
00000677: POP
00000678: POP
00000679: POP
0000067a: POP
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: DUP1
0000067f: SWAP2
00000680: SUB
00000681: SWAP1
00000682: RETURN
00000683: JUMPDEST
00000684: PUSH1 0x00
00000686: SLOAD
00000687: PUSH1 0x01
00000689: PUSH1 0xa0
0000068b: PUSH1 0x02
0000068d: EXP
0000068e: SUB
0000068f: AND
00000690: DUP2
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH1 0x01
00000695: PUSH1 0xe0
00000697: PUSH1 0x02
00000699: EXP
0000069a: SUB
0000069b: NOT
0000069c: DUP2
0000069d: AND
0000069e: PUSH1 0x00
000006a0: SWAP1
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x03
000006a5: PUSH1 0x20
000006a7: MSTORE
000006a8: PUSH1 0x40
000006aa: DUP2
000006ab: KECCAK256
000006ac: SLOAD
000006ad: PUSH1 0xff
000006af: AND
000006b0: DUP1
000006b1: ISZERO
000006b2: PUSH2 0x06c5
000006b5: JUMPI
000006b6: POP
000006b7: PUSH1 0x01
000006b9: PUSH1 0xe0
000006bb: PUSH1 0x02
000006bd: EXP
000006be: SUB
000006bf: NOT
000006c0: DUP1
000006c1: DUP4
000006c2: AND
000006c3: EQ
000006c4: ISZERO
000006c5: JUMPDEST
000006c6: SWAP3
000006c7: SWAP2
000006c8: POP
000006c9: POP
000006ca: JUMP
000006cb: JUMPDEST
000006cc: PUSH2 0x9c4d
000006cf: SLOAD
000006d0: DUP2
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x40
000006d5: DUP1
000006d6: MLOAD
000006d7: DUP1
000006d8: DUP3
000006d9: ADD
000006da: SWAP1
000006db: SWAP2
000006dc: MSTORE
000006dd: PUSH1 0x0a
000006df: DUP2
000006e0: MSTORE
000006e1: PUSH32 0x5375205371756172657300000000000000000000000000000000000000000000
00000702: PUSH1 0x20
00000704: DUP3
00000705: ADD
00000706: MSTORE
00000707: JUMPDEST
00000708: SWAP1
00000709: JUMP
0000070a: JUMPDEST
0000070b: PUSH1 0x00
0000070d: DUP2
0000070e: PUSH1 0x01
00000710: DUP2
00000711: LT
00000712: ISZERO
00000713: DUP1
00000714: ISZERO
00000715: PUSH2 0x0720
00000718: JUMPI
00000719: POP
0000071a: PUSH2 0x2710
0000071d: DUP2
0000071e: GT
0000071f: ISZERO
00000720: JUMPDEST
00000721: ISZERO
00000722: ISZERO
00000723: PUSH2 0x072b
00000726: JUMPI
00000727: PUSH1 0x00
00000729: DUP1
0000072a: REVERT
0000072b: JUMPDEST
0000072c: PUSH1 0x00
0000072e: DUP4
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x04
00000733: PUSH1 0x20
00000735: MSTORE
00000736: PUSH1 0x40
00000738: SWAP1
00000739: KECCAK256
0000073a: SLOAD
0000073b: PUSH1 0x01
0000073d: PUSH1 0xa0
0000073f: PUSH1 0x02
00000741: EXP
00000742: SUB
00000743: AND
00000744: SWAP2
00000745: POP
00000746: JUMPDEST
00000747: POP
00000748: SWAP2
00000749: SWAP1
0000074a: POP
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x00
0000074f: DUP2
00000750: DUP2
00000751: MSTORE
00000752: PUSH1 0x06
00000754: PUSH1 0x20
00000756: MSTORE
00000757: PUSH1 0x40
00000759: DUP2
0000075a: KECCAK256
0000075b: SLOAD
0000075c: DUP3
0000075d: SWAP1
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: PUSH1 0x02
00000764: EXP
00000765: SUB
00000766: AND
00000767: CALLER
00000768: DUP2
00000769: EQ
0000076a: DUP1
0000076b: PUSH2 0x0797
0000076e: JUMPI
0000076f: POP
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: PUSH1 0x02
00000776: EXP
00000777: SUB
00000778: DUP2
00000779: AND
0000077a: PUSH1 0x00
0000077c: SWAP1
0000077d: DUP2
0000077e: MSTORE
0000077f: PUSH1 0x05
00000781: PUSH1 0x20
00000783: SWAP1
00000784: DUP2
00000785: MSTORE
00000786: PUSH1 0x40
00000788: DUP1
00000789: DUP4
0000078a: KECCAK256
0000078b: CALLER
0000078c: DUP5
0000078d: MSTORE
0000078e: SWAP1
0000078f: SWAP2
00000790: MSTORE
00000791: SWAP1
00000792: KECCAK256
00000793: SLOAD
00000794: PUSH1 0xff
00000796: AND
00000797: JUMPDEST
00000798: ISZERO
00000799: ISZERO
0000079a: PUSH2 0x07a2
0000079d: JUMPI
0000079e: PUSH1 0x00
000007a0: DUP1
000007a1: REVERT
000007a2: JUMPDEST
000007a3: PUSH1 0x00
000007a5: DUP5
000007a6: DUP2
000007a7: MSTORE
000007a8: PUSH1 0x06
000007aa: PUSH1 0x20
000007ac: MSTORE
000007ad: PUSH1 0x40
000007af: SWAP1
000007b0: KECCAK256
000007b1: SLOAD
000007b2: PUSH1 0x01
000007b4: PUSH1 0xa0
000007b6: PUSH1 0x02
000007b8: EXP
000007b9: SUB
000007ba: AND
000007bb: SWAP3
000007bc: POP
000007bd: DUP3
000007be: ISZERO
000007bf: ISZERO
000007c0: PUSH2 0x07c7
000007c3: JUMPI
000007c4: ADDRESS
000007c5: SWAP3
000007c6: POP
000007c7: JUMPDEST
000007c8: PUSH1 0x00
000007ca: DUP5
000007cb: DUP2
000007cc: MSTORE
000007cd: PUSH1 0x04
000007cf: PUSH1 0x20
000007d1: MSTORE
000007d2: PUSH1 0x40
000007d4: DUP1
000007d5: DUP3
000007d6: KECCAK256
000007d7: DUP1
000007d8: SLOAD
000007d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ee: NOT
000007ef: AND
000007f0: PUSH1 0x01
000007f2: PUSH1 0xa0
000007f4: PUSH1 0x02
000007f6: EXP
000007f7: SUB
000007f8: DUP10
000007f9: DUP2
000007fa: AND
000007fb: SWAP2
000007fc: DUP3
000007fd: OR
000007fe: SWAP1
000007ff: SWAP3
00000800: SSTORE
00000801: SWAP2
00000802: MLOAD
00000803: DUP8
00000804: SWAP4
00000805: SWAP2
00000806: DUP8
00000807: AND
00000808: SWAP2
00000809: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000082a: SWAP2
0000082b: LOG4
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: POP
00000830: POP
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x02
00000835: SLOAD
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: PUSH1 0x02
0000083c: EXP
0000083d: SUB
0000083e: AND
0000083f: CALLER
00000840: EQ
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: DUP2
0000084b: PUSH1 0x01
0000084d: DUP2
0000084e: LT
0000084f: ISZERO
00000850: DUP1
00000851: ISZERO
00000852: PUSH2 0x085d
00000855: JUMPI
00000856: POP
00000857: PUSH2 0x2710
0000085a: DUP2
0000085b: GT
0000085c: ISZERO
0000085d: JUMPDEST
0000085e: ISZERO
0000085f: ISZERO
00000860: PUSH2 0x0868
00000863: JUMPI
00000864: PUSH1 0x00
00000866: DUP1
00000867: REVERT
00000868: JUMPDEST
00000869: DUP3
0000086a: PUSH1 0x00
0000086c: PUSH1 0x01
0000086e: DUP3
0000086f: LT
00000870: ISZERO
00000871: DUP1
00000872: ISZERO
00000873: PUSH2 0x087e
00000876: JUMPI
00000877: POP
00000878: PUSH2 0x2710
0000087b: DUP3
0000087c: GT
0000087d: ISZERO
0000087e: JUMPDEST
0000087f: ISZERO
00000880: ISZERO
00000881: PUSH2 0x0889
00000884: JUMPI
00000885: PUSH1 0x00
00000887: DUP1
00000888: REVERT
00000889: JUMPDEST
0000088a: POP
0000088b: PUSH1 0x00
0000088d: DUP2
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x06
00000892: PUSH1 0x20
00000894: MSTORE
00000895: PUSH1 0x40
00000897: SWAP1
00000898: KECCAK256
00000899: SLOAD
0000089a: PUSH1 0x01
0000089c: PUSH1 0xa0
0000089e: PUSH1 0x02
000008a0: EXP
000008a1: SUB
000008a2: AND
000008a3: DUP1
000008a4: ISZERO
000008a5: DUP1
000008a6: PUSH2 0x08b7
000008a9: JUMPI
000008aa: POP
000008ab: PUSH1 0x01
000008ad: PUSH1 0xa0
000008af: PUSH1 0x02
000008b1: EXP
000008b2: SUB
000008b3: DUP2
000008b4: AND
000008b5: ADDRESS
000008b6: EQ
000008b7: JUMPDEST
000008b8: ISZERO
000008b9: ISZERO
000008ba: PUSH2 0x08c2
000008bd: JUMPI
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: REVERT
000008c2: JUMPDEST
000008c3: PUSH2 0x9c4d
000008c6: SLOAD
000008c7: PUSH2 0x1388
000008ca: GT
000008cb: PUSH2 0x08d3
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: DUP1
000008d2: REVERT
000008d3: JUMPDEST
000008d4: PUSH2 0x9c4d
000008d7: DUP1
000008d8: SLOAD
000008d9: PUSH1 0x01
000008db: ADD
000008dc: SWAP1
000008dd: SSTORE
000008de: PUSH2 0x08e7
000008e1: DUP6
000008e2: DUP6
000008e3: PUSH2 0x131d
000008e6: JUMP
000008e7: JUMPDEST
000008e8: POP
000008e9: POP
000008ea: POP
000008eb: POP
000008ec: POP
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH2 0x2710
000008f2: SWAP1
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH1 0x00
000008f7: DUP2
000008f8: PUSH1 0x01
000008fa: DUP2
000008fb: LT
000008fc: ISZERO
000008fd: DUP1
000008fe: ISZERO
000008ff: PUSH2 0x090a
00000902: JUMPI
00000903: POP
00000904: PUSH2 0x2710
00000907: DUP2
00000908: GT
00000909: ISZERO
0000090a: JUMPDEST
0000090b: ISZERO
0000090c: ISZERO
0000090d: PUSH2 0x0915
00000910: JUMPI
00000911: PUSH1 0x00
00000913: DUP1
00000914: REVERT
00000915: JUMPDEST
00000916: PUSH1 0x00
00000918: DUP4
00000919: DUP2
0000091a: MSTORE
0000091b: PUSH1 0x06
0000091d: PUSH1 0x20
0000091f: MSTORE
00000920: PUSH1 0x40
00000922: SWAP1
00000923: KECCAK256
00000924: SLOAD
00000925: DUP4
00000926: SWAP1
00000927: PUSH1 0x01
00000929: PUSH1 0xa0
0000092b: PUSH1 0x02
0000092d: EXP
0000092e: SUB
0000092f: AND
00000930: CALLER
00000931: DUP2
00000932: EQ
00000933: DUP1
00000934: PUSH2 0x0953
00000937: JUMPI
00000938: POP
00000939: PUSH1 0x00
0000093b: DUP3
0000093c: DUP2
0000093d: MSTORE
0000093e: PUSH1 0x04
00000940: PUSH1 0x20
00000942: MSTORE
00000943: PUSH1 0x40
00000945: SWAP1
00000946: KECCAK256
00000947: SLOAD
00000948: PUSH1 0x01
0000094a: PUSH1 0xa0
0000094c: PUSH1 0x02
0000094e: EXP
0000094f: SUB
00000950: AND
00000951: CALLER
00000952: EQ
00000953: JUMPDEST
00000954: DUP1
00000955: PUSH2 0x0981
00000958: JUMPI
00000959: POP
0000095a: PUSH1 0x01
0000095c: PUSH1 0xa0
0000095e: PUSH1 0x02
00000960: EXP
00000961: SUB
00000962: DUP2
00000963: AND
00000964: PUSH1 0x00
00000966: SWAP1
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x05
0000096b: PUSH1 0x20
0000096d: SWAP1
0000096e: DUP2
0000096f: MSTORE
00000970: PUSH1 0x40
00000972: DUP1
00000973: DUP4
00000974: KECCAK256
00000975: CALLER
00000976: DUP5
00000977: MSTORE
00000978: SWAP1
00000979: SWAP2
0000097a: MSTORE
0000097b: SWAP1
0000097c: KECCAK256
0000097d: SLOAD
0000097e: PUSH1 0xff
00000980: AND
00000981: JUMPDEST
00000982: ISZERO
00000983: ISZERO
00000984: PUSH2 0x098c
00000987: JUMPI
00000988: PUSH1 0x00
0000098a: DUP1
0000098b: REVERT
0000098c: JUMPDEST
0000098d: PUSH1 0x00
0000098f: DUP6
00000990: DUP2
00000991: MSTORE
00000992: PUSH1 0x06
00000994: PUSH1 0x20
00000996: MSTORE
00000997: PUSH1 0x40
00000999: SWAP1
0000099a: KECCAK256
0000099b: SLOAD
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: AND
000009a5: SWAP4
000009a6: POP
000009a7: DUP4
000009a8: ISZERO
000009a9: ISZERO
000009aa: PUSH2 0x09b1
000009ad: JUMPI
000009ae: ADDRESS
000009af: SWAP4
000009b0: POP
000009b1: JUMPDEST
000009b2: PUSH1 0x01
000009b4: PUSH1 0xa0
000009b6: PUSH1 0x02
000009b8: EXP
000009b9: SUB
000009ba: DUP5
000009bb: DUP2
000009bc: AND
000009bd: SWAP1
000009be: DUP9
000009bf: AND
000009c0: EQ
000009c1: PUSH2 0x09c9
000009c4: JUMPI
000009c5: PUSH1 0x00
000009c7: DUP1
000009c8: REVERT
000009c9: JUMPDEST
000009ca: PUSH1 0x01
000009cc: PUSH1 0xa0
000009ce: PUSH1 0x02
000009d0: EXP
000009d1: SUB
000009d2: DUP7
000009d3: AND
000009d4: ISZERO
000009d5: ISZERO
000009d6: PUSH2 0x09de
000009d9: JUMPI
000009da: PUSH1 0x00
000009dc: DUP1
000009dd: REVERT
000009de: JUMPDEST
000009df: PUSH2 0x09e8
000009e2: DUP6
000009e3: DUP8
000009e4: PUSH2 0x131d
000009e7: JUMP
000009e8: JUMPDEST
000009e9: POP
000009ea: POP
000009eb: POP
000009ec: POP
000009ed: POP
000009ee: POP
000009ef: POP
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH1 0x00
000009f4: SLOAD
000009f5: PUSH1 0x01
000009f7: PUSH1 0xa0
000009f9: PUSH1 0x02
000009fb: EXP
000009fc: SUB
000009fd: AND
000009fe: CALLER
000009ff: EQ
00000a00: PUSH2 0x0a08
00000a03: JUMPI
00000a04: PUSH1 0x00
00000a06: DUP1
00000a07: REVERT
00000a08: JUMPDEST
00000a09: PUSH1 0x01
00000a0b: PUSH1 0xa0
00000a0d: PUSH1 0x02
00000a0f: EXP
00000a10: SUB
00000a11: DUP2
00000a12: AND
00000a13: ISZERO
00000a14: ISZERO
00000a15: PUSH2 0x0a1d
00000a18: JUMPI
00000a19: PUSH1 0x00
00000a1b: DUP1
00000a1c: REVERT
00000a1d: JUMPDEST
00000a1e: PUSH1 0x02
00000a20: DUP1
00000a21: SLOAD
00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a37: NOT
00000a38: AND
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xa0
00000a3d: PUSH1 0x02
00000a3f: EXP
00000a40: SUB
00000a41: SWAP3
00000a42: SWAP1
00000a43: SWAP3
00000a44: AND
00000a45: SWAP2
00000a46: SWAP1
00000a47: SWAP2
00000a48: OR
00000a49: SWAP1
00000a4a: SSTORE
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH1 0x00
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: PUSH1 0x02
00000a55: EXP
00000a56: SUB
00000a57: DUP4
00000a58: AND
00000a59: ISZERO
00000a5a: ISZERO
00000a5b: PUSH2 0x0a63
00000a5e: JUMPI
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: PUSH1 0x01
00000a66: PUSH1 0xa0
00000a68: PUSH1 0x02
00000a6a: EXP
00000a6b: SUB
00000a6c: DUP4
00000a6d: AND
00000a6e: PUSH1 0x00
00000a70: SWAP1
00000a71: DUP2
00000a72: MSTORE
00000a73: PUSH1 0x07
00000a75: PUSH1 0x20
00000a77: MSTORE
00000a78: PUSH1 0x40
00000a7a: SWAP1
00000a7b: KECCAK256
00000a7c: SLOAD
00000a7d: DUP3
00000a7e: LT
00000a7f: PUSH2 0x0a87
00000a82: JUMPI
00000a83: PUSH1 0x00
00000a85: DUP1
00000a86: REVERT
00000a87: JUMPDEST
00000a88: PUSH1 0x01
00000a8a: PUSH1 0xa0
00000a8c: PUSH1 0x02
00000a8e: EXP
00000a8f: SUB
00000a90: DUP4
00000a91: AND
00000a92: PUSH1 0x00
00000a94: SWAP1
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x07
00000a99: PUSH1 0x20
00000a9b: MSTORE
00000a9c: PUSH1 0x40
00000a9e: SWAP1
00000a9f: KECCAK256
00000aa0: DUP1
00000aa1: SLOAD
00000aa2: DUP4
00000aa3: SWAP1
00000aa4: DUP2
00000aa5: LT
00000aa6: PUSH2 0x0aab
00000aa9: JUMPI
00000aaa: INVALID
00000aab: JUMPDEST
00000aac: SWAP1
00000aad: PUSH1 0x00
00000aaf: MSTORE
00000ab0: PUSH1 0x20
00000ab2: PUSH1 0x00
00000ab4: KECCAK256
00000ab5: ADD
00000ab6: SLOAD
00000ab7: SWAP1
00000ab8: POP
00000ab9: ADDRESS
00000aba: PUSH1 0x01
00000abc: PUSH1 0xa0
00000abe: PUSH1 0x02
00000ac0: EXP
00000ac1: SUB
00000ac2: AND
00000ac3: DUP4
00000ac4: PUSH1 0x01
00000ac6: PUSH1 0xa0
00000ac8: PUSH1 0x02
00000aca: EXP
00000acb: SUB
00000acc: AND
00000acd: EQ
00000ace: ISZERO
00000acf: PUSH2 0x06c5
00000ad2: JUMPI
00000ad3: DUP1
00000ad4: ISZERO
00000ad5: ISZERO
00000ad6: PUSH2 0x06c5
00000ad9: JUMPI
00000ada: POP
00000adb: PUSH1 0x01
00000add: ADD
00000ade: SWAP2
00000adf: SWAP1
00000ae0: POP
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: PUSH2 0x0afe
00000ae6: DUP4
00000ae7: DUP4
00000ae8: DUP4
00000ae9: PUSH1 0x20
00000aeb: PUSH1 0x40
00000aed: MLOAD
00000aee: SWAP1
00000aef: DUP2
00000af0: ADD
00000af1: PUSH1 0x40
00000af3: MSTORE
00000af4: DUP1
00000af5: PUSH1 0x00
00000af7: DUP2
00000af8: MSTORE
00000af9: POP
00000afa: PUSH2 0x1517
00000afd: JUMP
00000afe: JUMPDEST
00000aff: POP
00000b00: POP
00000b01: POP
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH1 0x00
00000b06: PUSH2 0x2710
00000b09: DUP3
00000b0a: LT
00000b0b: PUSH2 0x0b13
00000b0e: JUMPI
00000b0f: PUSH1 0x00
00000b11: DUP1
00000b12: REVERT
00000b13: JUMPDEST
00000b14: POP
00000b15: PUSH1 0x01
00000b17: ADD
00000b18: SWAP1
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x01
00000b1d: SLOAD
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: PUSH1 0x02
00000b24: EXP
00000b25: SUB
00000b26: AND
00000b27: CALLER
00000b28: EQ
00000b29: PUSH2 0x0b31
00000b2c: JUMPI
00000b2d: PUSH1 0x00
00000b2f: DUP1
00000b30: REVERT
00000b31: JUMPDEST
00000b32: PUSH1 0x01
00000b34: SLOAD
00000b35: PUSH1 0x40
00000b37: MLOAD
00000b38: PUSH1 0x01
00000b3a: PUSH1 0xa0
00000b3c: PUSH1 0x02
00000b3e: EXP
00000b3f: SUB
00000b40: SWAP1
00000b41: SWAP2
00000b42: AND
00000b43: SWAP1
00000b44: ADDRESS
00000b45: BALANCE
00000b46: DUP1
00000b47: ISZERO
00000b48: PUSH2 0x08fc
00000b4b: MUL
00000b4c: SWAP2
00000b4d: PUSH1 0x00
00000b4f: DUP2
00000b50: DUP2
00000b51: DUP2
00000b52: DUP6
00000b53: DUP9
00000b54: DUP9
00000b55: CALL
00000b56: SWAP4
00000b57: POP
00000b58: POP
00000b59: POP
00000b5a: POP
00000b5b: ISZERO
00000b5c: DUP1
00000b5d: ISZERO
00000b5e: PUSH2 0x0b6b
00000b61: JUMPI
00000b62: RETURNDATASIZE
00000b63: PUSH1 0x00
00000b65: DUP1
00000b66: RETURNDATACOPY
00000b67: RETURNDATASIZE
00000b68: PUSH1 0x00
00000b6a: REVERT
00000b6b: JUMPDEST
00000b6c: POP
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: PUSH1 0x00
00000b71: DUP2
00000b72: PUSH1 0x01
00000b74: DUP2
00000b75: LT
00000b76: ISZERO
00000b77: DUP1
00000b78: ISZERO
00000b79: PUSH2 0x0b84
00000b7c: JUMPI
00000b7d: POP
00000b7e: PUSH2 0x2710
00000b81: DUP2
00000b82: GT
00000b83: ISZERO
00000b84: JUMPDEST
00000b85: ISZERO
00000b86: ISZERO
00000b87: PUSH2 0x0b8f
00000b8a: JUMPI
00000b8b: PUSH1 0x00
00000b8d: DUP1
00000b8e: REVERT
00000b8f: JUMPDEST
00000b90: PUSH1 0x00
00000b92: DUP4
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x06
00000b97: PUSH1 0x20
00000b99: MSTORE
00000b9a: PUSH1 0x40
00000b9c: SWAP1
00000b9d: KECCAK256
00000b9e: SLOAD
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0xa0
00000ba3: PUSH1 0x02
00000ba5: EXP
00000ba6: SUB
00000ba7: AND
00000ba8: SWAP2
00000ba9: POP
00000baa: DUP2
00000bab: ISZERO
00000bac: ISZERO
00000bad: PUSH2 0x0746
00000bb0: JUMPI
00000bb1: POP
00000bb2: ADDRESS
00000bb3: SWAP3
00000bb4: SWAP2
00000bb5: POP
00000bb6: POP
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH1 0x02
00000bbb: SLOAD
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: PUSH1 0x02
00000bc2: EXP
00000bc3: SUB
00000bc4: AND
00000bc5: DUP2
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x00
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: PUSH1 0x02
00000bd0: EXP
00000bd1: SUB
00000bd2: DUP3
00000bd3: AND
00000bd4: ISZERO
00000bd5: ISZERO
00000bd6: PUSH2 0x0bde
00000bd9: JUMPI
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: REVERT
00000bde: JUMPDEST
00000bdf: POP
00000be0: PUSH1 0x01
00000be2: PUSH1 0xa0
00000be4: PUSH1 0x02
00000be6: EXP
00000be7: SUB
00000be8: AND
00000be9: PUSH1 0x00
00000beb: SWAP1
00000bec: DUP2
00000bed: MSTORE
00000bee: PUSH1 0x07
00000bf0: PUSH1 0x20
00000bf2: MSTORE
00000bf3: PUSH1 0x40
00000bf5: SWAP1
00000bf6: KECCAK256
00000bf7: SLOAD
00000bf8: SWAP1
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x00
00000bfd: DUP8
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x06
00000c02: PUSH1 0x20
00000c04: MSTORE
00000c05: PUSH1 0x40
00000c07: SWAP1
00000c08: KECCAK256
00000c09: SLOAD
00000c0a: DUP8
00000c0b: SWAP1
00000c0c: PUSH1 0x01
00000c0e: PUSH1 0xa0
00000c10: PUSH1 0x02
00000c12: EXP
00000c13: SUB
00000c14: AND
00000c15: CALLER
00000c16: DUP2
00000c17: EQ
00000c18: PUSH2 0x0c20
00000c1b: JUMPI
00000c1c: PUSH1 0x00
00000c1e: DUP1
00000c1f: REVERT
00000c20: JUMPDEST
00000c21: PUSH1 0x40
00000c23: DUP6
00000c24: GT
00000c25: ISZERO
00000c26: PUSH2 0x0c2e
00000c29: JUMPI
00000c2a: PUSH1 0x00
00000c2c: DUP1
00000c2d: REVERT
00000c2e: JUMPDEST
00000c2f: PUSH1 0x60
00000c31: DUP4
00000c32: GT
00000c33: ISZERO
00000c34: PUSH2 0x0c3c
00000c37: JUMPI
00000c38: PUSH1 0x00
00000c3a: DUP1
00000c3b: REVERT
00000c3c: JUMPDEST
00000c3d: PUSH2 0x012c
00000c40: DUP8
00000c41: EQ
00000c42: PUSH2 0x0c4a
00000c45: JUMPI
00000c46: PUSH1 0x00
00000c48: DUP1
00000c49: REVERT
00000c4a: JUMPDEST
00000c4b: PUSH1 0x09
00000c4d: DUP10
00000c4e: PUSH2 0x2711
00000c51: DUP2
00000c52: LT
00000c53: PUSH2 0x0c58
00000c56: JUMPI
00000c57: INVALID
00000c58: JUMPDEST
00000c59: PUSH1 0x04
00000c5b: MUL
00000c5c: ADD
00000c5d: DUP1
00000c5e: SLOAD
00000c5f: PUSH1 0x01
00000c61: ADD
00000c62: SWAP1
00000c63: SSTORE
00000c64: DUP8
00000c65: DUP8
00000c66: PUSH1 0x09
00000c68: DUP12
00000c69: PUSH2 0x2711
00000c6c: DUP2
00000c6d: LT
00000c6e: PUSH2 0x0c73
00000c71: JUMPI
00000c72: INVALID
00000c73: JUMPDEST
00000c74: PUSH1 0x04
00000c76: MUL
00000c77: ADD
00000c78: PUSH1 0x01
00000c7a: ADD
00000c7b: SWAP2
00000c7c: SWAP1
00000c7d: PUSH2 0x0c87
00000c80: SWAP3
00000c81: SWAP2
00000c82: SWAP1
00000c83: PUSH2 0x17c9
00000c86: JUMP
00000c87: JUMPDEST
00000c88: POP
00000c89: DUP6
00000c8a: DUP6
00000c8b: PUSH1 0x09
00000c8d: DUP12
00000c8e: PUSH2 0x2711
00000c91: DUP2
00000c92: LT
00000c93: PUSH2 0x0c98
00000c96: JUMPI
00000c97: INVALID
00000c98: JUMPDEST
00000c99: PUSH1 0x04
00000c9b: MUL
00000c9c: ADD
00000c9d: PUSH1 0x02
00000c9f: ADD
00000ca0: SWAP2
00000ca1: SWAP1
00000ca2: PUSH2 0x0cac
00000ca5: SWAP3
00000ca6: SWAP2
00000ca7: SWAP1
00000ca8: PUSH2 0x17c9
00000cab: JUMP
00000cac: JUMPDEST
00000cad: POP
00000cae: DUP4
00000caf: DUP4
00000cb0: PUSH1 0x09
00000cb2: DUP12
00000cb3: PUSH2 0x2711
00000cb6: DUP2
00000cb7: LT
00000cb8: PUSH2 0x0cbd
00000cbb: JUMPI
00000cbc: INVALID
00000cbd: JUMPDEST
00000cbe: PUSH1 0x04
00000cc0: MUL
00000cc1: ADD
00000cc2: PUSH1 0x03
00000cc4: ADD
00000cc5: SWAP2
00000cc6: SWAP1
00000cc7: PUSH2 0x0cd1
00000cca: SWAP3
00000ccb: SWAP2
00000ccc: SWAP1
00000ccd: PUSH2 0x17c9
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: POP
00000cd3: PUSH1 0x03
00000cd5: PUSH1 0x09
00000cd7: DUP11
00000cd8: PUSH2 0x2711
00000cdb: DUP2
00000cdc: LT
00000cdd: PUSH2 0x0ce2
00000ce0: JUMPI
00000ce1: INVALID
00000ce2: JUMPDEST
00000ce3: PUSH1 0x04
00000ce5: MUL
00000ce6: ADD
00000ce7: SLOAD
00000ce8: GT
00000ce9: ISZERO
00000cea: PUSH2 0x0d00
00000ced: JUMPI
00000cee: PUSH7 0x2386f26fc10000
00000cf6: CALLVALUE
00000cf7: EQ
00000cf8: PUSH2 0x0d00
00000cfb: JUMPI
00000cfc: PUSH1 0x00
00000cfe: DUP1
00000cff: REVERT
00000d00: JUMPDEST
00000d01: PUSH1 0x40
00000d03: DUP1
00000d04: MLOAD
00000d05: DUP11
00000d06: DUP2
00000d07: MSTORE
00000d08: SWAP1
00000d09: MLOAD
00000d0a: PUSH32 0x95820ed330d949e85d003e7c553aa060e3cdffc1f8af4eb8c9cf988dca787832
00000d2b: SWAP2
00000d2c: DUP2
00000d2d: SWAP1
00000d2e: SUB
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: SWAP1
00000d33: LOG1
00000d34: POP
00000d35: POP
00000d36: POP
00000d37: POP
00000d38: POP
00000d39: POP
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x40
00000d41: DUP1
00000d42: MLOAD
00000d43: DUP1
00000d44: DUP3
00000d45: ADD
00000d46: SWAP1
00000d47: SWAP2
00000d48: MSTORE
00000d49: PUSH1 0x02
00000d4b: DUP2
00000d4c: MSTORE
00000d4d: PUSH32 0x5355000000000000000000000000000000000000000000000000000000000000
00000d6e: PUSH1 0x20
00000d70: DUP3
00000d71: ADD
00000d72: MSTORE
00000d73: SWAP1
00000d74: JUMP
00000d75: JUMPDEST
00000d76: CALLER
00000d77: PUSH1 0x00
00000d79: DUP2
00000d7a: DUP2
00000d7b: MSTORE
00000d7c: PUSH1 0x05
00000d7e: PUSH1 0x20
00000d80: SWAP1
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x40
00000d85: DUP1
00000d86: DUP4
00000d87: KECCAK256
00000d88: PUSH1 0x01
00000d8a: PUSH1 0xa0
00000d8c: PUSH1 0x02
00000d8e: EXP
00000d8f: SUB
00000d90: DUP8
00000d91: AND
00000d92: DUP1
00000d93: DUP6
00000d94: MSTORE
00000d95: SWAP1
00000d96: DUP4
00000d97: MSTORE
00000d98: SWAP3
00000d99: DUP2
00000d9a: SWAP1
00000d9b: KECCAK256
00000d9c: DUP1
00000d9d: SLOAD
00000d9e: PUSH1 0xff
00000da0: NOT
00000da1: AND
00000da2: DUP7
00000da3: ISZERO
00000da4: ISZERO
00000da5: SWAP1
00000da6: DUP2
00000da7: OR
00000da8: SWAP1
00000da9: SWAP2
00000daa: SSTORE
00000dab: DUP2
00000dac: MLOAD
00000dad: SWAP1
00000dae: DUP2
00000daf: MSTORE
00000db0: SWAP1
00000db1: MLOAD
00000db2: SWAP3
00000db3: SWAP4
00000db4: SWAP3
00000db5: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00000dd6: SWAP3
00000dd7: SWAP2
00000dd8: DUP2
00000dd9: SWAP1
00000dda: SUB
00000ddb: SWAP1
00000ddc: SWAP2
00000ddd: ADD
00000dde: SWAP1
00000ddf: LOG3
00000de0: POP
00000de1: POP
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x01
00000de6: SLOAD
00000de7: PUSH1 0x01
00000de9: PUSH1 0xa0
00000deb: PUSH1 0x02
00000ded: EXP
00000dee: SUB
00000def: AND
00000df0: DUP2
00000df1: JUMP
00000df2: JUMPDEST
00000df3: PUSH2 0x08e7
00000df6: DUP6
00000df7: DUP6
00000df8: DUP6
00000df9: DUP6
00000dfa: DUP6
00000dfb: DUP1
00000dfc: DUP1
00000dfd: PUSH1 0x1f
00000dff: ADD
00000e00: PUSH1 0x20
00000e02: DUP1
00000e03: SWAP2
00000e04: DIV
00000e05: MUL
00000e06: PUSH1 0x20
00000e08: ADD
00000e09: PUSH1 0x40
00000e0b: MLOAD
00000e0c: SWAP1
00000e0d: DUP2
00000e0e: ADD
00000e0f: PUSH1 0x40
00000e11: MSTORE
00000e12: DUP1
00000e13: SWAP4
00000e14: SWAP3
00000e15: SWAP2
00000e16: SWAP1
00000e17: DUP2
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x20
00000e1c: ADD
00000e1d: DUP4
00000e1e: DUP4
00000e1f: DUP1
00000e20: DUP3
00000e21: DUP5
00000e22: CALLDATACOPY
00000e23: POP
00000e24: PUSH2 0x1517
00000e27: SWAP5
00000e28: POP
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: POP
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0x60
00000e31: DUP1
00000e32: DUP3
00000e33: PUSH1 0x01
00000e35: DUP2
00000e36: LT
00000e37: ISZERO
00000e38: DUP1
00000e39: ISZERO
00000e3a: PUSH2 0x0e45
00000e3d: JUMPI
00000e3e: POP
00000e3f: PUSH2 0x2710
00000e42: DUP2
00000e43: GT
00000e44: ISZERO
00000e45: JUMPDEST
00000e46: ISZERO
00000e47: ISZERO
00000e48: PUSH2 0x0e50
00000e4b: JUMPI
00000e4c: PUSH1 0x00
00000e4e: DUP1
00000e4f: REVERT
00000e50: JUMPDEST
00000e51: PUSH1 0x40
00000e53: DUP1
00000e54: MLOAD
00000e55: PUSH1 0x60
00000e57: DUP2
00000e58: ADD
00000e59: DUP3
00000e5a: MSTORE
00000e5b: PUSH1 0x2b
00000e5d: DUP2
00000e5e: MSTORE
00000e5f: PUSH32 0x68747470733a2f2f74656e74686f7573616e6473752e636f6d2f657263373231
00000e80: PUSH1 0x20
00000e82: DUP3
00000e83: ADD
00000e84: MSTORE
00000e85: PUSH32 0x2f30303030302e6a736f6e000000000000000000000000000000000000000000
00000ea6: SWAP2
00000ea7: DUP2
00000ea8: ADD
00000ea9: SWAP2
00000eaa: SWAP1
00000eab: SWAP2
00000eac: MSTORE
00000ead: SWAP3
00000eae: POP
00000eaf: DUP3
00000eb0: SWAP2
00000eb1: POP
00000eb2: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00000ed3: PUSH1 0x0a
00000ed5: PUSH2 0x2710
00000ed8: DUP7
00000ed9: DIV
00000eda: MOD
00000edb: PUSH1 0x30
00000edd: ADD
00000ede: PUSH1 0xf8
00000ee0: PUSH1 0x02
00000ee2: EXP
00000ee3: MUL
00000ee4: AND
00000ee5: PUSH1 0x00
00000ee7: DUP2
00000ee8: SWAP1
00000ee9: BYTE
00000eea: PUSH1 0x41
00000eec: DUP5
00000eed: ADD
00000eee: MSTORE8
00000eef: POP
00000ef0: PUSH1 0x0a
00000ef2: PUSH2 0x03e8
00000ef5: DUP6
00000ef6: DIV
00000ef7: MOD
00000ef8: PUSH1 0x30
00000efa: ADD
00000efb: PUSH1 0xf8
00000efd: PUSH1 0x02
00000eff: EXP
00000f00: MUL
00000f01: DUP3
00000f02: PUSH1 0x22
00000f04: DUP2
00000f05: MLOAD
00000f06: DUP2
00000f07: LT
00000f08: ISZERO
00000f09: ISZERO
00000f0a: PUSH2 0x0f0f
00000f0d: JUMPI
00000f0e: INVALID
00000f0f: JUMPDEST
00000f10: SWAP1
00000f11: PUSH1 0x20
00000f13: ADD
00000f14: ADD
00000f15: SWAP1
00000f16: PUSH1 0x01
00000f18: PUSH1 0xf8
00000f1a: PUSH1 0x02
00000f1c: EXP
00000f1d: SUB
00000f1e: NOT
00000f1f: AND
00000f20: SWAP1
00000f21: DUP2
00000f22: PUSH1 0x00
00000f24: BYTE
00000f25: SWAP1
00000f26: MSTORE8
00000f27: POP
00000f28: PUSH1 0x0a
00000f2a: PUSH1 0x64
00000f2c: DUP6
00000f2d: DIV
00000f2e: MOD
00000f2f: PUSH1 0x30
00000f31: ADD
00000f32: PUSH1 0xf8
00000f34: PUSH1 0x02
00000f36: EXP
00000f37: MUL
00000f38: DUP3
00000f39: PUSH1 0x23
00000f3b: DUP2
00000f3c: MLOAD
00000f3d: DUP2
00000f3e: LT
00000f3f: ISZERO
00000f40: ISZERO
00000f41: PUSH2 0x0f46
00000f44: JUMPI
00000f45: INVALID
00000f46: JUMPDEST
00000f47: SWAP1
00000f48: PUSH1 0x20
00000f4a: ADD
00000f4b: ADD
00000f4c: SWAP1
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0xf8
00000f51: PUSH1 0x02
00000f53: EXP
00000f54: SUB
00000f55: NOT
00000f56: AND
00000f57: SWAP1
00000f58: DUP2
00000f59: PUSH1 0x00
00000f5b: BYTE
00000f5c: SWAP1
00000f5d: MSTORE8
00000f5e: POP
00000f5f: PUSH1 0x0a
00000f61: DUP1
00000f62: DUP6
00000f63: DIV
00000f64: MOD
00000f65: PUSH1 0x30
00000f67: ADD
00000f68: PUSH1 0xf8
00000f6a: PUSH1 0x02
00000f6c: EXP
00000f6d: MUL
00000f6e: DUP3
00000f6f: PUSH1 0x24
00000f71: DUP2
00000f72: MLOAD
00000f73: DUP2
00000f74: LT
00000f75: ISZERO
00000f76: ISZERO
00000f77: PUSH2 0x0f7c
00000f7a: JUMPI
00000f7b: INVALID
00000f7c: JUMPDEST
00000f7d: SWAP1
00000f7e: PUSH1 0x20
00000f80: ADD
00000f81: ADD
00000f82: SWAP1
00000f83: PUSH1 0x01
00000f85: PUSH1 0xf8
00000f87: PUSH1 0x02
00000f89: EXP
00000f8a: SUB
00000f8b: NOT
00000f8c: AND
00000f8d: SWAP1
00000f8e: DUP2
00000f8f: PUSH1 0x00
00000f91: BYTE
00000f92: SWAP1
00000f93: MSTORE8
00000f94: POP
00000f95: PUSH1 0x0a
00000f97: DUP5
00000f98: MOD
00000f99: PUSH1 0x30
00000f9b: ADD
00000f9c: PUSH1 0xf8
00000f9e: PUSH1 0x02
00000fa0: EXP
00000fa1: MUL
00000fa2: DUP3
00000fa3: PUSH1 0x25
00000fa5: DUP2
00000fa6: MLOAD
00000fa7: DUP2
00000fa8: LT
00000fa9: ISZERO
00000faa: ISZERO
00000fab: PUSH2 0x0fb0
00000fae: JUMPI
00000faf: INVALID
00000fb0: JUMPDEST
00000fb1: SWAP1
00000fb2: PUSH1 0x20
00000fb4: ADD
00000fb5: ADD
00000fb6: SWAP1
00000fb7: PUSH1 0x01
00000fb9: PUSH1 0xf8
00000fbb: PUSH1 0x02
00000fbd: EXP
00000fbe: SUB
00000fbf: NOT
00000fc0: AND
00000fc1: SWAP1
00000fc2: DUP2
00000fc3: PUSH1 0x00
00000fc5: BYTE
00000fc6: SWAP1
00000fc7: MSTORE8
00000fc8: POP
00000fc9: POP
00000fca: POP
00000fcb: SWAP2
00000fcc: SWAP1
00000fcd: POP
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x00
00000fd2: SLOAD
00000fd3: PUSH1 0x01
00000fd5: PUSH1 0xa0
00000fd7: PUSH1 0x02
00000fd9: EXP
00000fda: SUB
00000fdb: AND
00000fdc: CALLER
00000fdd: EQ
00000fde: PUSH2 0x0fe6
00000fe1: JUMPI
00000fe2: PUSH1 0x00
00000fe4: DUP1
00000fe5: REVERT
00000fe6: JUMPDEST
00000fe7: PUSH1 0x01
00000fe9: PUSH1 0xa0
00000feb: PUSH1 0x02
00000fed: EXP
00000fee: SUB
00000fef: DUP2
00000ff0: AND
00000ff1: ISZERO
00000ff2: ISZERO
00000ff3: PUSH2 0x0ffb
00000ff6: JUMPI
00000ff7: PUSH1 0x00
00000ff9: DUP1
00000ffa: REVERT
00000ffb: JUMPDEST
00000ffc: PUSH1 0x01
00000ffe: DUP1
00000fff: SLOAD
00001000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001015: NOT
00001016: AND
00001017: PUSH1 0x01
00001019: PUSH1 0xa0
0000101b: PUSH1 0x02
0000101d: EXP
0000101e: SUB
0000101f: SWAP3
00001020: SWAP1
00001021: SWAP3
00001022: AND
00001023: SWAP2
00001024: SWAP1
00001025: SWAP2
00001026: OR
00001027: SWAP1
00001028: SSTORE
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x01
0000102d: PUSH1 0xa0
0000102f: PUSH1 0x02
00001031: EXP
00001032: SUB
00001033: SWAP2
00001034: DUP3
00001035: AND
00001036: PUSH1 0x00
00001038: SWAP1
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x05
0000103d: PUSH1 0x20
0000103f: SWAP1
00001040: DUP2
00001041: MSTORE
00001042: PUSH1 0x40
00001044: DUP1
00001045: DUP4
00001046: KECCAK256
00001047: SWAP4
00001048: SWAP1
00001049: SWAP5
0000104a: AND
0000104b: DUP3
0000104c: MSTORE
0000104d: SWAP2
0000104e: SWAP1
0000104f: SWAP2
00001050: MSTORE
00001051: KECCAK256
00001052: SLOAD
00001053: PUSH1 0xff
00001055: AND
00001056: SWAP1
00001057: JUMP
00001058: JUMPDEST
00001059: PUSH1 0x00
0000105b: SLOAD
0000105c: PUSH1 0x01
0000105e: PUSH1 0xa0
00001060: PUSH1 0x02
00001062: EXP
00001063: SUB
00001064: AND
00001065: CALLER
00001066: EQ
00001067: PUSH2 0x106f
0000106a: JUMPI
0000106b: PUSH1 0x00
0000106d: DUP1
0000106e: REVERT
0000106f: JUMPDEST
00001070: PUSH1 0x01
00001072: PUSH1 0xa0
00001074: PUSH1 0x02
00001076: EXP
00001077: SUB
00001078: DUP2
00001079: AND
0000107a: ISZERO
0000107b: ISZERO
0000107c: PUSH2 0x1084
0000107f: JUMPI
00001080: PUSH1 0x00
00001082: DUP1
00001083: REVERT
00001084: JUMPDEST
00001085: PUSH1 0x00
00001087: DUP1
00001088: SLOAD
00001089: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109e: NOT
0000109f: AND
000010a0: PUSH1 0x01
000010a2: PUSH1 0xa0
000010a4: PUSH1 0x02
000010a6: EXP
000010a7: SUB
000010a8: SWAP3
000010a9: SWAP1
000010aa: SWAP3
000010ab: AND
000010ac: SWAP2
000010ad: SWAP1
000010ae: SWAP2
000010af: OR
000010b0: SWAP1
000010b1: SSTORE
000010b2: JUMP
000010b3: JUMPDEST
000010b4: DUP1
000010b5: PUSH1 0x01
000010b7: DUP2
000010b8: LT
000010b9: ISZERO
000010ba: DUP1
000010bb: ISZERO
000010bc: PUSH2 0x10c7
000010bf: JUMPI
000010c0: POP
000010c1: PUSH2 0x2710
000010c4: DUP2
000010c5: GT
000010c6: ISZERO
000010c7: JUMPDEST
000010c8: ISZERO
000010c9: ISZERO
000010ca: PUSH2 0x10d2
000010cd: JUMPI
000010ce: PUSH1 0x00
000010d0: DUP1
000010d1: REVERT
000010d2: JUMPDEST
000010d3: DUP2
000010d4: PUSH1 0x00
000010d6: PUSH1 0x01
000010d8: DUP3
000010d9: LT
000010da: ISZERO
000010db: DUP1
000010dc: ISZERO
000010dd: PUSH2 0x10e8
000010e0: JUMPI
000010e1: POP
000010e2: PUSH2 0x2710
000010e5: DUP3
000010e6: GT
000010e7: ISZERO
000010e8: JUMPDEST
000010e9: ISZERO
000010ea: ISZERO
000010eb: PUSH2 0x10f3
000010ee: JUMPI
000010ef: PUSH1 0x00
000010f1: DUP1
000010f2: REVERT
000010f3: JUMPDEST
000010f4: POP
000010f5: PUSH1 0x00
000010f7: DUP2
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x06
000010fc: PUSH1 0x20
000010fe: MSTORE
000010ff: PUSH1 0x40
00001101: SWAP1
00001102: KECCAK256
00001103: SLOAD
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: PUSH1 0x02
0000110a: EXP
0000110b: SUB
0000110c: AND
0000110d: DUP1
0000110e: ISZERO
0000110f: DUP1
00001110: PUSH2 0x1121
00001113: JUMPI
00001114: POP
00001115: PUSH1 0x01
00001117: PUSH1 0xa0
00001119: PUSH1 0x02
0000111b: EXP
0000111c: SUB
0000111d: DUP2
0000111e: AND
0000111f: ADDRESS
00001120: EQ
00001121: JUMPDEST
00001122: ISZERO
00001123: ISZERO
00001124: PUSH2 0x112c
00001127: JUMPI
00001128: PUSH1 0x00
0000112a: DUP1
0000112b: REVERT
0000112c: JUMPDEST
0000112d: CALLVALUE
0000112e: PUSH8 0x06f05b59d3b20000
00001137: EQ
00001138: PUSH2 0x1140
0000113b: JUMPI
0000113c: PUSH1 0x00
0000113e: DUP1
0000113f: REVERT
00001140: JUMPDEST
00001141: PUSH2 0x114a
00001144: DUP5
00001145: CALLER
00001146: PUSH2 0x131d
00001149: JUMP
0000114a: JUMPDEST
0000114b: POP
0000114c: POP
0000114d: POP
0000114e: POP
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x09
00001153: DUP2
00001154: PUSH2 0x2711
00001157: DUP2
00001158: LT
00001159: PUSH2 0x115e
0000115c: JUMPI
0000115d: INVALID
0000115e: JUMPDEST
0000115f: PUSH1 0x04
00001161: MUL
00001162: ADD
00001163: DUP1
00001164: SLOAD
00001165: PUSH1 0x01
00001167: DUP1
00001168: DUP4
00001169: ADD
0000116a: DUP1
0000116b: SLOAD
0000116c: PUSH1 0x40
0000116e: DUP1
0000116f: MLOAD
00001170: PUSH1 0x20
00001172: PUSH1 0x02
00001174: SWAP6
00001175: DUP5
00001176: AND
00001177: ISZERO
00001178: PUSH2 0x0100
0000117b: MUL
0000117c: PUSH1 0x00
0000117e: NOT
0000117f: ADD
00001180: SWAP1
00001181: SWAP4
00001182: AND
00001183: SWAP5
00001184: SWAP1
00001185: SWAP5
00001186: DIV
00001187: PUSH1 0x1f
00001189: DUP2
0000118a: ADD
0000118b: DUP4
0000118c: SWAP1
0000118d: DIV
0000118e: DUP4
0000118f: MUL
00001190: DUP6
00001191: ADD
00001192: DUP4
00001193: ADD
00001194: SWAP1
00001195: SWAP2
00001196: MSTORE
00001197: DUP1
00001198: DUP5
00001199: MSTORE
0000119a: SWAP4
0000119b: SWAP6
0000119c: POP
0000119d: SWAP2
0000119e: SWAP3
0000119f: SWAP1
000011a0: SWAP2
000011a1: DUP4
000011a2: ADD
000011a3: DUP3
000011a4: DUP3
000011a5: DUP1
000011a6: ISZERO
000011a7: PUSH2 0x11f1
000011aa: JUMPI
000011ab: DUP1
000011ac: PUSH1 0x1f
000011ae: LT
000011af: PUSH2 0x11c6
000011b2: JUMPI
000011b3: PUSH2 0x0100
000011b6: DUP1
000011b7: DUP4
000011b8: SLOAD
000011b9: DIV
000011ba: MUL
000011bb: DUP4
000011bc: MSTORE
000011bd: SWAP2
000011be: PUSH1 0x20
000011c0: ADD
000011c1: SWAP2
000011c2: PUSH2 0x11f1
000011c5: JUMP
000011c6: JUMPDEST
000011c7: DUP3
000011c8: ADD
000011c9: SWAP2
000011ca: SWAP1
000011cb: PUSH1 0x00
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: PUSH1 0x00
000011d2: KECCAK256
000011d3: SWAP1
000011d4: JUMPDEST
000011d5: DUP2
000011d6: SLOAD
000011d7: DUP2
000011d8: MSTORE
000011d9: SWAP1
000011da: PUSH1 0x01
000011dc: ADD
000011dd: SWAP1
000011de: PUSH1 0x20
000011e0: ADD
000011e1: DUP1
000011e2: DUP4
000011e3: GT
000011e4: PUSH2 0x11d4
000011e7: JUMPI
000011e8: DUP3
000011e9: SWAP1
000011ea: SUB
000011eb: PUSH1 0x1f
000011ed: AND
000011ee: DUP3
000011ef: ADD
000011f0: SWAP2
000011f1: JUMPDEST
000011f2: POP
000011f3: POP
000011f4: POP
000011f5: PUSH1 0x02
000011f7: DUP1
000011f8: DUP6
000011f9: ADD
000011fa: DUP1
000011fb: SLOAD
000011fc: PUSH1 0x40
000011fe: DUP1
000011ff: MLOAD
00001200: PUSH1 0x20
00001202: PUSH1 0x1f
00001204: PUSH1 0x00
00001206: NOT
00001207: PUSH2 0x0100
0000120a: PUSH1 0x01
0000120c: DUP8
0000120d: AND
0000120e: ISZERO
0000120f: MUL
00001210: ADD
00001211: SWAP1
00001212: SWAP5
00001213: AND
00001214: SWAP6
00001215: SWAP1
00001216: SWAP6
00001217: DIV
00001218: SWAP3
00001219: DUP4
0000121a: ADD
0000121b: DUP6
0000121c: SWAP1
0000121d: DIV
0000121e: DUP6
0000121f: MUL
00001220: DUP2
00001221: ADD
00001222: DUP6
00001223: ADD
00001224: SWAP1
00001225: SWAP2
00001226: MSTORE
00001227: DUP2
00001228: DUP2
00001229: MSTORE
0000122a: SWAP6
0000122b: SWAP7
0000122c: SWAP6
0000122d: SWAP5
0000122e: POP
0000122f: SWAP1
00001230: SWAP3
00001231: POP
00001232: SWAP1
00001233: DUP4
00001234: ADD
00001235: DUP3
00001236: DUP3
00001237: DUP1
00001238: ISZERO
00001239: PUSH2 0x1283
0000123c: JUMPI
0000123d: DUP1
0000123e: PUSH1 0x1f
00001240: LT
00001241: PUSH2 0x1258
00001244: JUMPI
00001245: PUSH2 0x0100
00001248: DUP1
00001249: DUP4
0000124a: SLOAD
0000124b: DIV
0000124c: MUL
0000124d: DUP4
0000124e: MSTORE
0000124f: SWAP2
00001250: PUSH1 0x20
00001252: ADD
00001253: SWAP2
00001254: PUSH2 0x1283
00001257: JUMP
00001258: JUMPDEST
00001259: DUP3
0000125a: ADD
0000125b: SWAP2
0000125c: SWAP1
0000125d: PUSH1 0x00
0000125f: MSTORE
00001260: PUSH1 0x20
00001262: PUSH1 0x00
00001264: KECCAK256
00001265: SWAP1
00001266: JUMPDEST
00001267: DUP2
00001268: SLOAD
00001269: DUP2
0000126a: MSTORE
0000126b: SWAP1
0000126c: PUSH1 0x01
0000126e: ADD
0000126f: SWAP1
00001270: PUSH1 0x20
00001272: ADD
00001273: DUP1
00001274: DUP4
00001275: GT
00001276: PUSH2 0x1266
00001279: JUMPI
0000127a: DUP3
0000127b: SWAP1
0000127c: SUB
0000127d: PUSH1 0x1f
0000127f: AND
00001280: DUP3
00001281: ADD
00001282: SWAP2
00001283: JUMPDEST
00001284: POP
00001285: POP
00001286: POP
00001287: POP
00001288: PUSH1 0x03
0000128a: DUP4
0000128b: ADD
0000128c: DUP1
0000128d: SLOAD
0000128e: PUSH1 0x40
00001290: DUP1
00001291: MLOAD
00001292: PUSH1 0x20
00001294: PUSH1 0x02
00001296: PUSH1 0x01
00001298: DUP6
00001299: AND
0000129a: ISZERO
0000129b: PUSH2 0x0100
0000129e: MUL
0000129f: PUSH1 0x00
000012a1: NOT
000012a2: ADD
000012a3: SWAP1
000012a4: SWAP5
000012a5: AND
000012a6: SWAP4
000012a7: SWAP1
000012a8: SWAP4
000012a9: DIV
000012aa: PUSH1 0x1f
000012ac: DUP2
000012ad: ADD
000012ae: DUP5
000012af: SWAP1
000012b0: DIV
000012b1: DUP5
000012b2: MUL
000012b3: DUP3
000012b4: ADD
000012b5: DUP5
000012b6: ADD
000012b7: SWAP1
000012b8: SWAP3
000012b9: MSTORE
000012ba: DUP2
000012bb: DUP2
000012bc: MSTORE
000012bd: SWAP5
000012be: SWAP6
000012bf: SWAP5
000012c0: SWAP4
000012c1: POP
000012c2: SWAP1
000012c3: DUP4
000012c4: ADD
000012c5: DUP3
000012c6: DUP3
000012c7: DUP1
000012c8: ISZERO
000012c9: PUSH2 0x1313
000012cc: JUMPI
000012cd: DUP1
000012ce: PUSH1 0x1f
000012d0: LT
000012d1: PUSH2 0x12e8
000012d4: JUMPI
000012d5: PUSH2 0x0100
000012d8: DUP1
000012d9: DUP4
000012da: SLOAD
000012db: DIV
000012dc: MUL
000012dd: DUP4
000012de: MSTORE
000012df: SWAP2
000012e0: PUSH1 0x20
000012e2: ADD
000012e3: SWAP2
000012e4: PUSH2 0x1313
000012e7: JUMP
000012e8: JUMPDEST
000012e9: DUP3
000012ea: ADD
000012eb: SWAP2
000012ec: SWAP1
000012ed: PUSH1 0x00
000012ef: MSTORE
000012f0: PUSH1 0x20
000012f2: PUSH1 0x00
000012f4: KECCAK256
000012f5: SWAP1
000012f6: JUMPDEST
000012f7: DUP2
000012f8: SLOAD
000012f9: DUP2
000012fa: MSTORE
000012fb: SWAP1
000012fc: PUSH1 0x01
000012fe: ADD
000012ff: SWAP1
00001300: PUSH1 0x20
00001302: ADD
00001303: DUP1
00001304: DUP4
00001305: GT
00001306: PUSH2 0x12f6
00001309: JUMPI
0000130a: DUP3
0000130b: SWAP1
0000130c: SUB
0000130d: PUSH1 0x1f
0000130f: AND
00001310: DUP3
00001311: ADD
00001312: SWAP2
00001313: JUMPDEST
00001314: POP
00001315: POP
00001316: POP
00001317: POP
00001318: POP
00001319: SWAP1
0000131a: POP
0000131b: DUP5
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x00
00001320: DUP1
00001321: DUP1
00001322: PUSH1 0x01
00001324: PUSH1 0xa0
00001326: PUSH1 0x02
00001328: EXP
00001329: SUB
0000132a: DUP5
0000132b: AND
0000132c: ISZERO
0000132d: ISZERO
0000132e: PUSH2 0x1336
00001331: JUMPI
00001332: PUSH1 0x00
00001334: DUP1
00001335: REVERT
00001336: JUMPDEST
00001337: PUSH1 0x00
00001339: DUP6
0000133a: DUP2
0000133b: MSTORE
0000133c: PUSH1 0x06
0000133e: PUSH1 0x20
00001340: MSTORE
00001341: PUSH1 0x40
00001343: SWAP1
00001344: KECCAK256
00001345: SLOAD
00001346: PUSH1 0x01
00001348: PUSH1 0xa0
0000134a: PUSH1 0x02
0000134c: EXP
0000134d: SUB
0000134e: AND
0000134f: SWAP3
00001350: POP
00001351: DUP3
00001352: ISZERO
00001353: ISZERO
00001354: PUSH2 0x135b
00001357: JUMPI
00001358: ADDRESS
00001359: SWAP3
0000135a: POP
0000135b: JUMPDEST
0000135c: PUSH1 0x00
0000135e: DUP6
0000135f: DUP2
00001360: MSTORE
00001361: PUSH1 0x08
00001363: PUSH1 0x20
00001365: MSTORE
00001366: PUSH1 0x40
00001368: SWAP1
00001369: KECCAK256
0000136a: SLOAD
0000136b: SWAP2
0000136c: POP
0000136d: DUP2
0000136e: ISZERO
0000136f: ISZERO
00001370: PUSH2 0x137e
00001373: JUMPI
00001374: PUSH1 0x01
00001376: DUP6
00001377: SUB
00001378: SWAP2
00001379: POP
0000137a: PUSH2 0x1385
0000137d: JUMP
0000137e: JUMPDEST
0000137f: PUSH1 0x01
00001381: DUP3
00001382: SUB
00001383: SWAP2
00001384: POP
00001385: JUMPDEST
00001386: PUSH1 0x01
00001388: PUSH1 0xa0
0000138a: PUSH1 0x02
0000138c: EXP
0000138d: SUB
0000138e: DUP4
0000138f: AND
00001390: PUSH1 0x00
00001392: SWAP1
00001393: DUP2
00001394: MSTORE
00001395: PUSH1 0x07
00001397: PUSH1 0x20
00001399: MSTORE
0000139a: PUSH1 0x40
0000139c: SWAP1
0000139d: KECCAK256
0000139e: SLOAD
0000139f: PUSH1 0x00
000013a1: NOT
000013a2: ADD
000013a3: DUP3
000013a4: EQ
000013a5: PUSH2 0x144c
000013a8: JUMPI
000013a9: PUSH1 0x01
000013ab: PUSH1 0xa0
000013ad: PUSH1 0x02
000013af: EXP
000013b0: SUB
000013b1: DUP4
000013b2: AND
000013b3: PUSH1 0x00
000013b5: SWAP1
000013b6: DUP2
000013b7: MSTORE
000013b8: PUSH1 0x07
000013ba: PUSH1 0x20
000013bc: MSTORE
000013bd: PUSH1 0x40
000013bf: SWAP1
000013c0: KECCAK256
000013c1: DUP1
000013c2: SLOAD
000013c3: PUSH1 0x00
000013c5: NOT
000013c6: DUP2
000013c7: ADD
000013c8: SWAP1
000013c9: DUP2
000013ca: LT
000013cb: PUSH2 0x13d0
000013ce: JUMPI
000013cf: INVALID
000013d0: JUMPDEST
000013d1: SWAP1
000013d2: PUSH1 0x00
000013d4: MSTORE
000013d5: PUSH1 0x20
000013d7: PUSH1 0x00
000013d9: KECCAK256
000013da: ADD
000013db: SLOAD
000013dc: SWAP1
000013dd: POP
000013de: DUP1
000013df: PUSH1 0x00
000013e1: EQ
000013e2: ISZERO
000013e3: PUSH2 0x1401
000013e6: JUMPI
000013e7: POP
000013e8: PUSH1 0x01
000013ea: PUSH1 0xa0
000013ec: PUSH1 0x02
000013ee: EXP
000013ef: SUB
000013f0: DUP3
000013f1: AND
000013f2: PUSH1 0x00
000013f4: SWAP1
000013f5: DUP2
000013f6: MSTORE
000013f7: PUSH1 0x07
000013f9: PUSH1 0x20
000013fb: MSTORE
000013fc: PUSH1 0x40
000013fe: SWAP1
000013ff: KECCAK256
00001400: SLOAD
00001401: JUMPDEST
00001402: PUSH1 0x01
00001404: PUSH1 0xa0
00001406: PUSH1 0x02
00001408: EXP
00001409: SUB
0000140a: DUP4
0000140b: AND
0000140c: PUSH1 0x00
0000140e: SWAP1
0000140f: DUP2
00001410: MSTORE
00001411: PUSH1 0x07
00001413: PUSH1 0x20
00001415: MSTORE
00001416: PUSH1 0x40
00001418: SWAP1
00001419: KECCAK256
0000141a: DUP1
0000141b: SLOAD
0000141c: DUP3
0000141d: SWAP2
0000141e: SWAP1
0000141f: DUP5
00001420: SWAP1
00001421: DUP2
00001422: LT
00001423: PUSH2 0x1428
00001426: JUMPI
00001427: INVALID
00001428: JUMPDEST
00001429: PUSH1 0x00
0000142b: SWAP2
0000142c: DUP3
0000142d: MSTORE
0000142e: PUSH1 0x20
00001430: DUP1
00001431: DUP4
00001432: KECCAK256
00001433: SWAP1
00001434: SWAP2
00001435: ADD
00001436: SWAP3
00001437: SWAP1
00001438: SWAP3
00001439: SSTORE
0000143a: DUP3
0000143b: DUP2
0000143c: MSTORE
0000143d: PUSH1 0x08
0000143f: SWAP1
00001440: SWAP2
00001441: MSTORE
00001442: PUSH1 0x40
00001444: SWAP1
00001445: KECCAK256
00001446: PUSH1 0x01
00001448: DUP4
00001449: ADD
0000144a: SWAP1
0000144b: SSTORE
0000144c: JUMPDEST
0000144d: PUSH1 0x01
0000144f: PUSH1 0xa0
00001451: PUSH1 0x02
00001453: EXP
00001454: SUB
00001455: DUP4
00001456: AND
00001457: PUSH1 0x00
00001459: SWAP1
0000145a: DUP2
0000145b: MSTORE
0000145c: PUSH1 0x07
0000145e: PUSH1 0x20
00001460: MSTORE
00001461: PUSH1 0x40
00001463: SWAP1
00001464: KECCAK256
00001465: DUP1
00001466: SLOAD
00001467: SWAP1
00001468: PUSH2 0x1475
0000146b: SWAP1
0000146c: PUSH1 0x00
0000146e: NOT
0000146f: DUP4
00001470: ADD
00001471: PUSH2 0x1847
00001474: JUMP
00001475: JUMPDEST
00001476: POP
00001477: PUSH1 0x01
00001479: PUSH1 0xa0
0000147b: PUSH1 0x02
0000147d: EXP
0000147e: SUB
0000147f: DUP1
00001480: DUP6
00001481: AND
00001482: PUSH1 0x00
00001484: DUP2
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x07
00001489: PUSH1 0x20
0000148b: SWAP1
0000148c: DUP2
0000148d: MSTORE
0000148e: PUSH1 0x40
00001490: DUP1
00001491: DUP4
00001492: KECCAK256
00001493: DUP1
00001494: SLOAD
00001495: PUSH1 0x01
00001497: DUP2
00001498: ADD
00001499: DUP3
0000149a: SSTORE
0000149b: DUP2
0000149c: DUP6
0000149d: MSTORE
0000149e: DUP4
0000149f: DUP6
000014a0: KECCAK256
000014a1: ADD
000014a2: DUP12
000014a3: SWAP1
000014a4: SSTORE
000014a5: SLOAD
000014a6: DUP11
000014a7: DUP5
000014a8: MSTORE
000014a9: PUSH1 0x08
000014ab: DUP4
000014ac: MSTORE
000014ad: DUP2
000014ae: DUP5
000014af: KECCAK256
000014b0: SSTORE
000014b1: PUSH1 0x06
000014b3: DUP3
000014b4: MSTORE
000014b5: DUP1
000014b6: DUP4
000014b7: KECCAK256
000014b8: DUP1
000014b9: SLOAD
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: NOT
000014d0: SWAP1
000014d1: DUP2
000014d2: AND
000014d3: DUP7
000014d4: OR
000014d5: SWAP1
000014d6: SWAP2
000014d7: SSTORE
000014d8: PUSH1 0x04
000014da: SWAP1
000014db: SWAP3
000014dc: MSTORE
000014dd: DUP1
000014de: DUP4
000014df: KECCAK256
000014e0: DUP1
000014e1: SLOAD
000014e2: SWAP1
000014e3: SWAP3
000014e4: AND
000014e5: SWAP1
000014e6: SWAP2
000014e7: SSTORE
000014e8: MLOAD
000014e9: DUP9
000014ea: SWAP4
000014eb: DUP8
000014ec: AND
000014ed: SWAP2
000014ee: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000150f: SWAP2
00001510: LOG4
00001511: POP
00001512: POP
00001513: POP
00001514: POP
00001515: POP
00001516: JUMP
00001517: JUMPDEST
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: PUSH1 0x00
0000151d: DUP5
0000151e: PUSH1 0x01
00001520: DUP2
00001521: LT
00001522: ISZERO
00001523: DUP1
00001524: ISZERO
00001525: PUSH2 0x1530
00001528: JUMPI
00001529: POP
0000152a: PUSH2 0x2710
0000152d: DUP2
0000152e: GT
0000152f: ISZERO
00001530: JUMPDEST
00001531: ISZERO
00001532: ISZERO
00001533: PUSH2 0x153b
00001536: JUMPI
00001537: PUSH1 0x00
00001539: DUP1
0000153a: REVERT
0000153b: JUMPDEST
0000153c: PUSH1 0x00
0000153e: DUP7
0000153f: DUP2
00001540: MSTORE
00001541: PUSH1 0x06
00001543: PUSH1 0x20
00001545: MSTORE
00001546: PUSH1 0x40
00001548: SWAP1
00001549: KECCAK256
0000154a: SLOAD
0000154b: DUP7
0000154c: SWAP1
0000154d: PUSH1 0x01
0000154f: PUSH1 0xa0
00001551: PUSH1 0x02
00001553: EXP
00001554: SUB
00001555: AND
00001556: CALLER
00001557: DUP2
00001558: EQ
00001559: DUP1
0000155a: PUSH2 0x1579
0000155d: JUMPI
0000155e: POP
0000155f: PUSH1 0x00
00001561: DUP3
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x04
00001566: PUSH1 0x20
00001568: MSTORE
00001569: PUSH1 0x40
0000156b: SWAP1
0000156c: KECCAK256
0000156d: SLOAD
0000156e: PUSH1 0x01
00001570: PUSH1 0xa0
00001572: PUSH1 0x02
00001574: EXP
00001575: SUB
00001576: AND
00001577: CALLER
00001578: EQ
00001579: JUMPDEST
0000157a: DUP1
0000157b: PUSH2 0x15a7
0000157e: JUMPI
0000157f: POP
00001580: PUSH1 0x01
00001582: PUSH1 0xa0
00001584: PUSH1 0x02
00001586: EXP
00001587: SUB
00001588: DUP2
00001589: AND
0000158a: PUSH1 0x00
0000158c: SWAP1
0000158d: DUP2
0000158e: MSTORE
0000158f: PUSH1 0x05
00001591: PUSH1 0x20
00001593: SWAP1
00001594: DUP2
00001595: MSTORE
00001596: PUSH1 0x40
00001598: DUP1
00001599: DUP4
0000159a: KECCAK256
0000159b: CALLER
0000159c: DUP5
0000159d: MSTORE
0000159e: SWAP1
0000159f: SWAP2
000015a0: MSTORE
000015a1: SWAP1
000015a2: KECCAK256
000015a3: SLOAD
000015a4: PUSH1 0xff
000015a6: AND
000015a7: JUMPDEST
000015a8: ISZERO
000015a9: ISZERO
000015aa: PUSH2 0x15b2
000015ad: JUMPI
000015ae: PUSH1 0x00
000015b0: DUP1
000015b1: REVERT
000015b2: JUMPDEST
000015b3: PUSH1 0x00
000015b5: DUP9
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x06
000015ba: PUSH1 0x20
000015bc: MSTORE
000015bd: PUSH1 0x40
000015bf: SWAP1
000015c0: KECCAK256
000015c1: SLOAD
000015c2: PUSH1 0x01
000015c4: PUSH1 0xa0
000015c6: PUSH1 0x02
000015c8: EXP
000015c9: SUB
000015ca: AND
000015cb: SWAP6
000015cc: POP
000015cd: DUP6
000015ce: ISZERO
000015cf: ISZERO
000015d0: PUSH2 0x15d7
000015d3: JUMPI
000015d4: ADDRESS
000015d5: SWAP6
000015d6: POP
000015d7: JUMPDEST
000015d8: PUSH1 0x01
000015da: PUSH1 0xa0
000015dc: PUSH1 0x02
000015de: EXP
000015df: SUB
000015e0: DUP7
000015e1: DUP2
000015e2: AND
000015e3: SWAP1
000015e4: DUP12
000015e5: AND
000015e6: EQ
000015e7: PUSH2 0x15ef
000015ea: JUMPI
000015eb: PUSH1 0x00
000015ed: DUP1
000015ee: REVERT
000015ef: JUMPDEST
000015f0: PUSH1 0x01
000015f2: PUSH1 0xa0
000015f4: PUSH1 0x02
000015f6: EXP
000015f7: SUB
000015f8: DUP10
000015f9: AND
000015fa: ISZERO
000015fb: ISZERO
000015fc: PUSH2 0x1604
000015ff: JUMPI
00001600: PUSH1 0x00
00001602: DUP1
00001603: REVERT
00001604: JUMPDEST
00001605: PUSH2 0x160e
00001608: DUP9
00001609: DUP11
0000160a: PUSH2 0x131d
0000160d: JUMP
0000160e: JUMPDEST
0000160f: DUP9
00001610: EXTCODESIZE
00001611: SWAP5
00001612: POP
00001613: DUP5
00001614: ISZERO
00001615: ISZERO
00001616: PUSH2 0x161e
00001619: JUMPI
0000161a: PUSH2 0x17bd
0000161d: JUMP
0000161e: JUMPDEST
0000161f: DUP9
00001620: PUSH1 0x01
00001622: PUSH1 0xa0
00001624: PUSH1 0x02
00001626: EXP
00001627: SUB
00001628: AND
00001629: PUSH4 0x150b7a02
0000162e: CALLER
0000162f: DUP13
00001630: DUP12
00001631: DUP12
00001632: PUSH1 0x40
00001634: MLOAD
00001635: DUP6
00001636: PUSH4 0xffffffff
0000163b: AND
0000163c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000165a: MUL
0000165b: DUP2
0000165c: MSTORE
0000165d: PUSH1 0x04
0000165f: ADD
00001660: DUP1
00001661: DUP6
00001662: PUSH1 0x01
00001664: PUSH1 0xa0
00001666: PUSH1 0x02
00001668: EXP
00001669: SUB
0000166a: AND
0000166b: PUSH1 0x01
0000166d: PUSH1 0xa0
0000166f: PUSH1 0x02
00001671: EXP
00001672: SUB
00001673: AND
00001674: DUP2
00001675: MSTORE
00001676: PUSH1 0x20
00001678: ADD
00001679: DUP5
0000167a: PUSH1 0x01
0000167c: PUSH1 0xa0
0000167e: PUSH1 0x02
00001680: EXP
00001681: SUB
00001682: AND
00001683: PUSH1 0x01
00001685: PUSH1 0xa0
00001687: PUSH1 0x02
00001689: EXP
0000168a: SUB
0000168b: AND
0000168c: DUP2
0000168d: MSTORE
0000168e: PUSH1 0x20
00001690: ADD
00001691: DUP4
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: ADD
00001697: DUP1
00001698: PUSH1 0x20
0000169a: ADD
0000169b: DUP3
0000169c: DUP2
0000169d: SUB
0000169e: DUP3
0000169f: MSTORE
000016a0: DUP4
000016a1: DUP2
000016a2: DUP2
000016a3: MLOAD
000016a4: DUP2
000016a5: MSTORE
000016a6: PUSH1 0x20
000016a8: ADD
000016a9: SWAP2
000016aa: POP
000016ab: DUP1
000016ac: MLOAD
000016ad: SWAP1
000016ae: PUSH1 0x20
000016b0: ADD
000016b1: SWAP1
000016b2: DUP1
000016b3: DUP4
000016b4: DUP4
000016b5: PUSH1 0x00
000016b7: JUMPDEST
000016b8: DUP4
000016b9: DUP2
000016ba: LT
000016bb: ISZERO
000016bc: PUSH2 0x16cf
000016bf: JUMPI
000016c0: DUP2
000016c1: DUP2
000016c2: ADD
000016c3: MLOAD
000016c4: DUP4
000016c5: DUP3
000016c6: ADD
000016c7: MSTORE
000016c8: PUSH1 0x20
000016ca: ADD
000016cb: PUSH2 0x16b7
000016ce: JUMP
000016cf: JUMPDEST
000016d0: POP
000016d1: POP
000016d2: POP
000016d3: POP
000016d4: SWAP1
000016d5: POP
000016d6: SWAP1
000016d7: DUP2
000016d8: ADD
000016d9: SWAP1
000016da: PUSH1 0x1f
000016dc: AND
000016dd: DUP1
000016de: ISZERO
000016df: PUSH2 0x16fc
000016e2: JUMPI
000016e3: DUP1
000016e4: DUP3
000016e5: SUB
000016e6: DUP1
000016e7: MLOAD
000016e8: PUSH1 0x01
000016ea: DUP4
000016eb: PUSH1 0x20
000016ed: SUB
000016ee: PUSH2 0x0100
000016f1: EXP
000016f2: SUB
000016f3: NOT
000016f4: AND
000016f5: DUP2
000016f6: MSTORE
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: SWAP2
000016fb: POP
000016fc: JUMPDEST
000016fd: POP
000016fe: SWAP6
000016ff: POP
00001700: POP
00001701: POP
00001702: POP
00001703: POP
00001704: POP
00001705: PUSH1 0x20
00001707: PUSH1 0x40
00001709: MLOAD
0000170a: DUP1
0000170b: DUP4
0000170c: SUB
0000170d: DUP2
0000170e: PUSH1 0x00
00001710: DUP8
00001711: DUP1
00001712: EXTCODESIZE
00001713: ISZERO
00001714: DUP1
00001715: ISZERO
00001716: PUSH2 0x171e
00001719: JUMPI
0000171a: PUSH1 0x00
0000171c: DUP1
0000171d: REVERT
0000171e: JUMPDEST
0000171f: POP
00001720: GAS
00001721: CALL
00001722: ISZERO
00001723: DUP1
00001724: ISZERO
00001725: PUSH2 0x1732
00001728: JUMPI
00001729: RETURNDATASIZE
0000172a: PUSH1 0x00
0000172c: DUP1
0000172d: RETURNDATACOPY
0000172e: RETURNDATASIZE
0000172f: PUSH1 0x00
00001731: REVERT
00001732: JUMPDEST
00001733: POP
00001734: POP
00001735: POP
00001736: POP
00001737: PUSH1 0x40
00001739: MLOAD
0000173a: RETURNDATASIZE
0000173b: PUSH1 0x20
0000173d: DUP2
0000173e: LT
0000173f: ISZERO
00001740: PUSH2 0x1748
00001743: JUMPI
00001744: PUSH1 0x00
00001746: DUP1
00001747: REVERT
00001748: JUMPDEST
00001749: POP
0000174a: MLOAD
0000174b: PUSH1 0x40
0000174d: DUP1
0000174e: MLOAD
0000174f: PUSH32 0x6f6e455243373231526563656976656428616464726573732c61646472657373
00001770: DUP2
00001771: MSTORE
00001772: PUSH32 0x2c75696e743235362c6279746573290000000000000000000000000000000000
00001793: PUSH1 0x20
00001795: DUP3
00001796: ADD
00001797: MSTORE
00001798: SWAP1
00001799: MLOAD
0000179a: SWAP1
0000179b: DUP2
0000179c: SWAP1
0000179d: SUB
0000179e: PUSH1 0x2f
000017a0: ADD
000017a1: SWAP1
000017a2: KECCAK256
000017a3: SWAP1
000017a4: SWAP5
000017a5: POP
000017a6: PUSH1 0x01
000017a8: PUSH1 0xe0
000017aa: PUSH1 0x02
000017ac: EXP
000017ad: SUB
000017ae: NOT
000017af: DUP1
000017b0: DUP7
000017b1: AND
000017b2: SWAP2
000017b3: AND
000017b4: EQ
000017b5: PUSH2 0x17bd
000017b8: JUMPI
000017b9: PUSH1 0x00
000017bb: DUP1
000017bc: REVERT
000017bd: JUMPDEST
000017be: POP
000017bf: POP
000017c0: POP
000017c1: POP
000017c2: POP
000017c3: POP
000017c4: POP
000017c5: POP
000017c6: POP
000017c7: POP
000017c8: JUMP
000017c9: JUMPDEST
000017ca: DUP3
000017cb: DUP1
000017cc: SLOAD
000017cd: PUSH1 0x01
000017cf: DUP2
000017d0: PUSH1 0x01
000017d2: AND
000017d3: ISZERO
000017d4: PUSH2 0x0100
000017d7: MUL
000017d8: SUB
000017d9: AND
000017da: PUSH1 0x02
000017dc: SWAP1
000017dd: DIV
000017de: SWAP1
000017df: PUSH1 0x00
000017e1: MSTORE
000017e2: PUSH1 0x20
000017e4: PUSH1 0x00
000017e6: KECCAK256
000017e7: SWAP1
000017e8: PUSH1 0x1f
000017ea: ADD
000017eb: PUSH1 0x20
000017ed: SWAP1
000017ee: DIV
000017ef: DUP2
000017f0: ADD
000017f1: SWAP3
000017f2: DUP3
000017f3: PUSH1 0x1f
000017f5: LT
000017f6: PUSH2 0x180a
000017f9: JUMPI
000017fa: DUP3
000017fb: DUP1
000017fc: ADD
000017fd: PUSH1 0xff
000017ff: NOT
00001800: DUP3
00001801: CALLDATALOAD
00001802: AND
00001803: OR
00001804: DUP6
00001805: SSTORE
00001806: PUSH2 0x1837
00001809: JUMP
0000180a: JUMPDEST
0000180b: DUP3
0000180c: DUP1
0000180d: ADD
0000180e: PUSH1 0x01
00001810: ADD
00001811: DUP6
00001812: SSTORE
00001813: DUP3
00001814: ISZERO
00001815: PUSH2 0x1837
00001818: JUMPI
00001819: SWAP2
0000181a: DUP3
0000181b: ADD
0000181c: JUMPDEST
0000181d: DUP3
0000181e: DUP2
0000181f: GT
00001820: ISZERO
00001821: PUSH2 0x1837
00001824: JUMPI
00001825: DUP3
00001826: CALLDATALOAD
00001827: DUP3
00001828: SSTORE
00001829: SWAP2
0000182a: PUSH1 0x20
0000182c: ADD
0000182d: SWAP2
0000182e: SWAP1
0000182f: PUSH1 0x01
00001831: ADD
00001832: SWAP1
00001833: PUSH2 0x181c
00001836: JUMP
00001837: JUMPDEST
00001838: POP
00001839: PUSH2 0x1843
0000183c: SWAP3
0000183d: SWAP2
0000183e: POP
0000183f: PUSH2 0x1867
00001842: JUMP
00001843: JUMPDEST
00001844: POP
00001845: SWAP1
00001846: JUMP
00001847: JUMPDEST
00001848: DUP2
00001849: SLOAD
0000184a: DUP2
0000184b: DUP4
0000184c: SSTORE
0000184d: DUP2
0000184e: DUP2
0000184f: GT
00001850: ISZERO
00001851: PUSH2 0x0afe
00001854: JUMPI
00001855: PUSH1 0x00
00001857: DUP4
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: SWAP1
0000185d: KECCAK256
0000185e: PUSH2 0x0afe
00001861: SWAP2
00001862: DUP2
00001863: ADD
00001864: SWAP1
00001865: DUP4
00001866: ADD
00001867: JUMPDEST
00001868: PUSH2 0x0707
0000186b: SWAP2
0000186c: SWAP1
0000186d: JUMPDEST
0000186e: DUP1
0000186f: DUP3
00001870: GT
00001871: ISZERO
00001872: PUSH2 0x1843
00001875: JUMPI
00001876: PUSH1 0x00
00001878: DUP2
00001879: SSTORE
0000187a: PUSH1 0x01
0000187c: ADD
0000187d: PUSH2 0x186d
00001880: JUMP
00001881: STOP
00001882: LOG1
00001883: PUSH6 0x627a7a723058
0000188a: KECCAK256
0000188b: DIFFICULTY
0000188c: UNKNOWN(0x2B)
0000188d: UNKNOWN(0x25)
0000188e: DUP3
0000188f: POP
00001890: CALLER
00001891: KECCAK256
00001892: PC
00001893: LOG1
00001894: AND
00001895: UNKNOWN(0x0F)
00001896: ADDRESS
00001897: PUSH11 0x40a73245a4d60c6b0bdf77
000018a3: DIFFICULTY
000018a4: UNKNOWN(0xCE)
000018a5: EQ
000018a6: UNKNOWN(0xAC)
000018a7: UNKNOWN(0xC0)
000018a8: EXP
000018a9: UNKNOWN(0x2C)
000018aa: UNKNOWN(0xAC)
000018ab: STOP
000018ac: UNKNOWN(0x29)