e5681ea4-44ca-49af-86a6-1e47f6de7b2b
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31485 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 77536 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 77537 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 77538 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 77539 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 77540 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 77541 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:8840] OpenAI Codex v0.77.0 (research preview)
[codex:8840] --------
[codex:8840] workdir: /tmp/codex-multi-4h8wiwaq
[codex:8840] model: gpt-5.2-codex
[codex:8840] provider: openai
[codex:8840] approval: never
[codex:8840] sandbox: read-only
[codex:8840] reasoning effort: xhigh
[codex:8840] reasoning summaries: auto
[codex:8840] session id: 019b863f-edec-7921-86fa-d82ad60de13a
[codex:8840] --------
[codex:8840] user
[codex:8840] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:8840]
[codex:8840] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:8840]
[codex:8840] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:8840] - Gas inefficiency, code quality, naming, or best practices
[codex:8840] - Theoretical vulnerabilities without a clear extraction path
[codex:8840] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:8840] - Front-running unless it enables theft beyond MEV
[codex:8840] - DoS, griefing, or issues that don't result in attacker profit
[codex:8840] - Missing events, view function issues, or informational findings
[codex:8840]
[codex:8840] HIGH-VALUE PATTERNS TO HUNT:
[codex:8840] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:8840] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:8840] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:8840] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:8840] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:8840] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:8840] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:8840] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:8840] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:8840]
[codex:8840] For each finding, you MUST provide:
[codex:8840] 1. Exact file and line numbers of vulnerable code
[codex:8840] 2. Step-by-step exploit transaction sequence
[codex:8840] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:8840]
[codex:8840] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:8840]
[codex:8840] Output MUST be valid JSON matching the provided schema.
[codex:8840] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:8840] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:8840] mcp startup: no servers
[codex:8840]
[codex:8840] thinking
[codex:8840] **Preparing to audit AUDIT_BUNDLE.txt**
[codex:8840] exec
[codex:8840] /bin/bash -lc ls in /tmp/codex-multi-4h8wiwaq succeeded in 5ms:
[codex:8840] AUDIT_BUNDLE.txt
[codex:8840] codex-output-schema.json
[codex:8840] contracts
[codex:8840]
[codex:8840] thinking
[codex:8840] **Reading audit bundle file**
[codex:8840] exec
[codex:8840] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-4h8wiwaq succeeded in 5ms:
[codex:8840] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:8840]
[codex:8840] ================================================================================
[codex:8840] FILE: contracts/Contract.sol
[codex:8840] ================================================================================
[codex:8840] // , ; , .-'"""'-. , ; ,
[codex:8840] // \\|/ .' '. \|//
[codex:8840] // \-;-/ () () \-;-/
[codex:8840] // // ; ; \\
[codex:8840] // //__; :. .; ;__\\
[codex:8840] // `-----\'.'-.....-'.'/-----'
[codex:8840] // '.'.-.-,_.'.'
[codex:8840] // '( (..-'
[codex:8840] // '-'
[codex:8840] // ROULETH
[codex:8840] //
[codex:8840] // Play the Roulette on ethereum blockchain !
[codex:8840] // (or become a member of Rouleth's Decentralized Organisation and contribute to the bankroll.)
[codex:8840] //
[codex:8840] //
[codex:8840]
[codex:8840]
[codex:8840]
[codex:8840]
[codex:8840]
[codex:8840] thinking
[codex:8840] **Analyzing exploit potential in roulette DAO**
[codex:8840] thinking
[codex:8840] **Evaluating edge cases and access control**
[codex:8840]
[codex:8840] I’m checking for overlooked vulnerabilities like reentrancy, refund handling, max bet miscalculations, and whether forced ETH inflates contract balance improperly. I see no clear profit exploit beyond miner-influenced randomness bias, with all other potential issues either locked behind access or economically impractical.
[codex:8840] thinking
[codex:8840] **Discovering underflow vulnerability in profits tracking**
[codex:8840]
[codex:8840] I found that if a bet’s wager value is zero, the contract underflows profitSinceChange on loss, wrapping to a huge number that can disrupt balance calculations later. This can cause updateBalances to revert due to impossible payout amounts, effectively locking invest and withdraw operations—but it doesn’t let anyone profit directly.
[codex:8840] thinking
[codex:8840] **Analyzing miner influence on RNG and potential exploits**
[codex:8840]
[codex:8840] I’m exploring how miners could bias roulette outcomes by controlling or rejecting blocks to improve their betting odds, plus how blockDelay settings impact result timing and spinning strategy. There’s also a look into complex underflows in payroll and casino state that might let investors manipulate balances, though these require careful conditions and potentially miner power to exploit.
[codex:8840] thinking
[codex:8840] **Summarizing contract audit results**
[codex:8840]
[codex:8840] I reviewed the entire contract carefully looking for exploitable profit paths like unauthorized withdrawals, integer overflows, reentrancy, or balance manipulation. After thorough checks including investor account transfers and bet logic, I found no concrete way to extract value beyond normal gameplay. Given the evidence, I conclude no exploitable profit vulnerabilities exist under the stated threat model.
[codex:8840] codex
[codex:8840] {"no_findings":true,"summary":"Reviewed contracts/Contract.sol from AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found under the given threat model.","findings":[]}
[codex:8840] tokens used
[codex:8840] 31,098
[codex:8840] {"no_findings":true,"summary":"Reviewed contracts/Contract.sol from AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found under the given threat model.","findings":[]}
{
"codex": {
"ran_at": "2026-01-03T23:49:25.788849+00:00",
"returncode": 0
},
"summary": "Reviewed contracts/Contract.sol from AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found under the given threat model.",
"raw_final": {
"summary": "Reviewed contracts/Contract.sol from AUDIT_BUNDLE.txt; no concrete, exploitable profit paths found under the given threat model.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0148 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1c5d9faa 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0157 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x2037fcbf 00000025: EQ 00000026: PUSH2 0x01aa 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x266710ca 00000030: EQ 00000031: PUSH2 0x01c4 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x2c6b2c92 0000003b: EQ 0000003c: PUSH2 0x01d5 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2e0ef395 00000046: EQ 00000047: PUSH2 0x01e8 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x33ce7787 00000051: EQ 00000052: PUSH2 0x01fc 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x402e6230 0000005c: EQ 0000005d: PUSH2 0x0217 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x580bdf3c 00000067: EQ 00000068: PUSH2 0x0221 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x5b7d47a9 00000072: EQ 00000073: PUSH2 0x0232 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6ad50ed4 0000007d: EQ 0000007e: PUSH2 0x0254 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x6e1b6bcc 00000088: EQ 00000089: PUSH2 0x0270 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6ed43eb0 00000093: EQ 00000094: PUSH2 0x042c 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x750cae6a 0000009e: EQ 0000009f: PUSH2 0x047a 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7c9cd7df 000000a9: EQ 000000aa: PUSH2 0x048b 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x85b4bb53 000000b4: EQ 000000b5: PUSH2 0x049f 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x942385eb 000000bf: EQ 000000c0: PUSH2 0x04c5 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xadaccd74 000000ca: EQ 000000cb: PUSH2 0x04d0 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xadf54e0c 000000d5: EQ 000000d6: PUSH2 0x054f 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xb400d149 000000e0: EQ 000000e1: PUSH2 0x0570 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xb738169c 000000eb: EQ 000000ec: PUSH2 0x0589 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xbb84d362 000000f6: EQ 000000f7: PUSH2 0x05aa 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xbcb3b5d2 00000101: EQ 00000102: PUSH2 0x05c3 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xbfe8c107 0000010c: EQ 0000010d: PUSH2 0x077f 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xc7144269 00000117: EQ 00000118: PUSH2 0x07ac 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xe548cf13 00000122: EQ 00000123: PUSH2 0x07dd 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xe56c8552 0000012d: EQ 0000012e: PUSH2 0x07f6 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xe8b5e51f 00000138: EQ 00000139: PUSH2 0x080a 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xf7ae9421 00000143: EQ 00000144: PUSH2 0x084f 00000147: JUMPI 00000148: JUMPDEST 00000149: PUSH2 0x0874 0000014c: PUSH2 0x08dc 0000014f: PUSH1 0x01 00000151: PUSH1 0x00 00000153: PUSH2 0x023c 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH1 0x40 0000015a: DUP1 0000015b: MLOAD 0000015c: PUSH1 0x20 0000015e: PUSH1 0x04 00000160: DUP1 00000161: CALLDATALOAD 00000162: DUP1 00000163: DUP3 00000164: ADD 00000165: CALLDATALOAD 00000166: PUSH1 0x1f 00000168: DUP2 00000169: ADD 0000016a: DUP5 0000016b: SWAP1 0000016c: DIV 0000016d: DUP5 0000016e: MUL 0000016f: DUP6 00000170: ADD 00000171: DUP5 00000172: ADD 00000173: SWAP1 00000174: SWAP6 00000175: MSTORE 00000176: DUP5 00000177: DUP5 00000178: MSTORE 00000179: PUSH2 0x0874 0000017c: SWAP5 0000017d: SWAP2 0000017e: SWAP4 0000017f: PUSH1 0x24 00000181: SWAP4 00000182: SWAP1 00000183: SWAP3 00000184: SWAP2 00000185: DUP5 00000186: ADD 00000187: SWAP2 00000188: SWAP1 00000189: DUP2 0000018a: SWAP1 0000018b: DUP5 0000018c: ADD 0000018d: DUP4 0000018e: DUP3 0000018f: DUP1 00000190: DUP3 00000191: DUP5 00000192: CALLDATACOPY 00000193: POP 00000194: SWAP5 00000195: SWAP7 00000196: POP 00000197: POP 00000198: POP 00000199: POP 0000019a: POP 0000019b: POP 0000019c: POP 0000019d: PUSH1 0x00 0000019f: CALLVALUE 000001a0: GT 000001a1: ISZERO 000001a2: PUSH2 0x0b22 000001a5: JUMPI 000001a6: PUSH2 0x0002 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH2 0x0874 000001ae: PUSH1 0x04 000001b0: CALLDATALOAD 000001b1: PUSH1 0x00 000001b3: PUSH1 0x00 000001b5: PUSH1 0x00 000001b7: PUSH1 0x00 000001b9: CALLVALUE 000001ba: GT 000001bb: ISZERO 000001bc: PUSH2 0x0bf9 000001bf: JUMPI 000001c0: PUSH2 0x0002 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x0874 000001c8: PUSH1 0x00 000001ca: CALLVALUE 000001cb: GT 000001cc: ISZERO 000001cd: PUSH2 0x0e34 000001d0: JUMPI 000001d1: PUSH2 0x0002 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH2 0x08de 000001d9: PUSH1 0x20 000001db: SLOAD 000001dc: PUSH1 0x21 000001de: SLOAD 000001df: PUSH2 0x063c 000001e2: SLOAD 000001e3: JUMPDEST 000001e4: SWAP1 000001e5: SWAP2 000001e6: SWAP3 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x0874 000001ec: PUSH1 0x04 000001ee: CALLDATALOAD 000001ef: PUSH1 0x00 000001f1: CALLVALUE 000001f2: GT 000001f3: ISZERO 000001f4: PUSH2 0x0e58 000001f7: JUMPI 000001f8: PUSH2 0x0002 000001fb: JUMP 000001fc: JUMPDEST 000001fd: PUSH2 0x0874 00000200: PUSH1 0x04 00000202: CALLDATALOAD 00000203: PUSH1 0x24 00000205: CALLDATALOAD 00000206: PUSH1 0x00 00000208: PUSH1 0x00 0000020a: PUSH1 0x00 0000020c: CALLVALUE 0000020d: GT 0000020e: ISZERO 0000020f: PUSH2 0x0e9d 00000212: JUMPI 00000213: PUSH2 0x0002 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH2 0x08fc 0000021b: PUSH1 0x08 0000021d: SLOAD 0000021e: JUMPDEST 0000021f: SWAP1 00000220: JUMP 00000221: JUMPDEST 00000222: PUSH2 0x0874 00000225: PUSH1 0x00 00000227: CALLVALUE 00000228: GT 00000229: ISZERO 0000022a: PUSH2 0x0fc5 0000022d: JUMPI 0000022e: PUSH2 0x0002 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH2 0x0874 00000236: PUSH1 0x04 00000238: CALLDATALOAD 00000239: PUSH1 0x24 0000023b: CALLDATALOAD 0000023c: JUMPDEST 0000023d: PUSH1 0x0b 0000023f: SLOAD 00000240: PUSH1 0x00 00000242: SWAP1 00000243: DUP2 00000244: SWAP1 00000245: PUSH1 0xff 00000247: AND 00000248: PUSH1 0x01 0000024a: EQ 0000024b: ISZERO 0000024c: PUSH2 0x0a5a 0000024f: JUMPI 00000250: PUSH2 0x0002 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x08de 00000258: PUSH2 0x0634 0000025b: SLOAD 0000025c: PUSH2 0x063b 0000025f: SLOAD 00000260: PUSH2 0x0636 00000263: SLOAD 00000264: PUSH2 0xffff 00000267: SWAP1 00000268: SWAP3 00000269: AND 0000026a: SWAP2 0000026b: SWAP1 0000026c: PUSH2 0x01e3 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH2 0x090e 00000274: PUSH1 0x04 00000276: CALLDATALOAD 00000277: PUSH1 0x01 00000279: PUSH1 0xa0 0000027b: PUSH1 0x02 0000027d: EXP 0000027e: SUB 0000027f: DUP2 00000280: AND 00000281: PUSH1 0x00 00000283: SWAP1 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x0a 00000288: PUSH1 0x20 0000028a: SWAP1 0000028b: DUP2 0000028c: MSTORE 0000028d: PUSH1 0x40 0000028f: DUP1 00000290: DUP4 00000291: KECCAK256 00000292: SLOAD 00000293: PUSH1 0x09 00000295: SWAP1 00000296: SWAP3 00000297: MSTORE 00000298: DUP3 00000299: KECCAK256 0000029a: SLOAD 0000029b: PUSH1 0x07 0000029d: DUP1 0000029e: SLOAD 0000029f: PUSH1 0xff 000002a1: SWAP4 000002a2: SWAP1 000002a3: SWAP4 000002a4: AND 000002a5: SWAP4 000002a6: SWAP3 000002a7: DUP4 000002a8: SWAP3 000002a9: DUP4 000002aa: SWAP3 000002ab: DUP4 000002ac: SWAP3 000002ad: DUP4 000002ae: SWAP3 000002af: DUP4 000002b0: SWAP3 000002b1: DUP4 000002b2: SWAP3 000002b3: DUP4 000002b4: SWAP3 000002b5: DUP4 000002b6: SWAP3 000002b7: SWAP2 000002b8: DUP2 000002b9: LT 000002ba: ISZERO 000002bb: PUSH2 0x0002 000002be: JUMPI 000002bf: DUP2 000002c0: SLOAD 000002c1: PUSH1 0x05 000002c3: DUP3 000002c4: MUL 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: MLOAD 000002c9: PUSH1 0x20 000002cb: PUSH2 0x28f0 000002ce: DUP4 000002cf: CODECOPY 000002d0: DUP2 000002d1: MLOAD 000002d2: SWAP2 000002d3: MSTORE 000002d4: ADD 000002d5: SLOAD 000002d6: PUSH1 0xb0 000002d8: PUSH1 0x02 000002da: EXP 000002db: SWAP1 000002dc: DIV 000002dd: PUSH1 0xff 000002df: AND 000002e0: SWAP12 000002e1: POP 000002e2: DUP2 000002e3: LT 000002e4: ISZERO 000002e5: PUSH2 0x0002 000002e8: JUMPI 000002e9: DUP2 000002ea: SLOAD 000002eb: PUSH1 0x05 000002ed: DUP3 000002ee: MUL 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: MLOAD 000002f3: PUSH1 0x20 000002f5: PUSH2 0x28f0 000002f8: DUP4 000002f9: CODECOPY 000002fa: DUP2 000002fb: MLOAD 000002fc: SWAP2 000002fd: MSTORE 000002fe: ADD 000002ff: SLOAD 00000300: PUSH1 0xb8 00000302: PUSH1 0x02 00000304: EXP 00000305: SWAP1 00000306: DIV 00000307: PUSH1 0xff 00000309: AND 0000030a: SWAP11 0000030b: POP 0000030c: DUP2 0000030d: LT 0000030e: ISZERO 0000030f: PUSH2 0x0002 00000312: JUMPI 00000313: DUP2 00000314: SLOAD 00000315: PUSH1 0x05 00000317: DUP3 00000318: MUL 00000319: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c689 0000033a: ADD 0000033b: SLOAD 0000033c: SWAP10 0000033d: POP 0000033e: DUP2 0000033f: LT 00000340: ISZERO 00000341: PUSH2 0x0002 00000344: JUMPI 00000345: DUP2 00000346: SLOAD 00000347: PUSH1 0x05 00000349: DUP3 0000034a: MUL 0000034b: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68c 0000036c: ADD 0000036d: SLOAD 0000036e: PUSH1 0xff 00000370: AND 00000371: SWAP9 00000372: POP 00000373: DUP2 00000374: LT 00000375: ISZERO 00000376: PUSH2 0x0002 00000379: JUMPI 0000037a: DUP2 0000037b: SLOAD 0000037c: PUSH1 0x05 0000037e: DUP3 0000037f: MUL 00000380: PUSH1 0x00 00000382: DUP1 00000383: MLOAD 00000384: PUSH1 0x20 00000386: PUSH2 0x28f0 00000389: DUP4 0000038a: CODECOPY 0000038b: DUP2 0000038c: MLOAD 0000038d: SWAP2 0000038e: MSTORE 0000038f: ADD 00000390: SLOAD 00000391: PUSH1 0xa0 00000393: PUSH1 0x02 00000395: EXP 00000396: SWAP1 00000397: DIV 00000398: PUSH1 0xff 0000039a: AND 0000039b: SWAP8 0000039c: POP 0000039d: DUP2 0000039e: LT 0000039f: ISZERO 000003a0: PUSH2 0x0002 000003a3: JUMPI 000003a4: DUP2 000003a5: SLOAD 000003a6: PUSH1 0x05 000003a8: DUP3 000003a9: MUL 000003aa: PUSH1 0x00 000003ac: DUP1 000003ad: MLOAD 000003ae: PUSH1 0x20 000003b0: PUSH2 0x28f0 000003b3: DUP4 000003b4: CODECOPY 000003b5: DUP2 000003b6: MLOAD 000003b7: SWAP2 000003b8: MSTORE 000003b9: ADD 000003ba: SLOAD 000003bb: PUSH1 0xa8 000003bd: PUSH1 0x02 000003bf: EXP 000003c0: SWAP1 000003c1: DIV 000003c2: PUSH1 0xff 000003c4: AND 000003c5: SWAP7 000003c6: POP 000003c7: DUP2 000003c8: LT 000003c9: ISZERO 000003ca: PUSH2 0x0002 000003cd: JUMPI 000003ce: DUP2 000003cf: SLOAD 000003d0: PUSH1 0x05 000003d2: DUP3 000003d3: MUL 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: MLOAD 000003d8: PUSH1 0x20 000003da: PUSH2 0x28d0 000003dd: DUP4 000003de: CODECOPY 000003df: DUP2 000003e0: MLOAD 000003e1: SWAP2 000003e2: MSTORE 000003e3: ADD 000003e4: SLOAD 000003e5: SWAP6 000003e6: POP 000003e7: DUP2 000003e8: LT 000003e9: ISZERO 000003ea: PUSH2 0x0002 000003ed: JUMPI 000003ee: PUSH1 0x05 000003f0: DUP2 000003f1: MUL 000003f2: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68b 00000413: ADD 00000414: SLOAD 00000415: SWAP12 00000416: SWAP14 00000417: SWAP11 00000418: SWAP13 00000419: POP 0000041a: SWAP9 0000041b: SWAP11 0000041c: SWAP8 0000041d: SWAP10 0000041e: SWAP7 0000041f: SWAP9 00000420: SWAP6 00000421: SWAP8 00000422: SWAP5 00000423: SWAP7 00000424: SWAP4 00000425: SWAP6 00000426: SWAP4 00000427: SWAP3 00000428: POP 00000429: POP 0000042a: POP 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH2 0x0969 00000430: PUSH1 0x04 00000432: CALLDATALOAD 00000433: PUSH1 0x00 00000435: DUP1 00000436: PUSH1 0x22 00000438: DUP4 00000439: PUSH2 0x0309 0000043c: DUP2 0000043d: LT 0000043e: ISZERO 0000043f: PUSH2 0x0002 00000442: JUMPI 00000443: POP 00000444: PUSH2 0x0636 00000447: SLOAD 00000448: PUSH1 0x02 0000044a: DUP6 0000044b: MUL 0000044c: DUP3 0000044d: ADD 0000044e: SLOAD 0000044f: PUSH1 0x01 00000451: PUSH1 0xa0 00000453: PUSH1 0x02 00000455: EXP 00000456: SUB 00000457: AND 00000458: SWAP4 00000459: POP 0000045a: SWAP1 0000045b: DUP5 0000045c: PUSH2 0x0309 0000045f: DUP2 00000460: LT 00000461: ISZERO 00000462: PUSH2 0x0002 00000465: JUMPI 00000466: SWAP1 00000467: SWAP1 00000468: PUSH1 0x02 0000046a: MUL 0000046b: ADD 0000046c: PUSH1 0x00 0000046e: POP 0000046f: PUSH1 0x01 00000471: ADD 00000472: SLOAD 00000473: ADD 00000474: SWAP1 00000475: POP 00000476: SWAP2 00000477: POP 00000478: SWAP2 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH2 0x0874 0000047e: PUSH1 0x00 00000480: CALLVALUE 00000481: GT 00000482: ISZERO 00000483: PUSH2 0x0ff0 00000486: JUMPI 00000487: PUSH2 0x0002 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH2 0x0874 0000048f: PUSH1 0x04 00000491: CALLDATALOAD 00000492: PUSH1 0x00 00000494: CALLVALUE 00000495: GT 00000496: ISZERO 00000497: PUSH2 0x1018 0000049a: JUMPI 0000049b: PUSH2 0x0002 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x00 000004a2: SLOAD 000004a3: PUSH1 0x40 000004a5: DUP1 000004a6: MLOAD 000004a7: PUSH1 0x06 000004a9: SLOAD 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0xa0 000004ae: PUSH1 0x02 000004b0: EXP 000004b1: SWAP1 000004b2: SWAP3 000004b3: DIV 000004b4: PUSH1 0xff 000004b6: AND 000004b7: PUSH1 0x20 000004b9: DUP4 000004ba: ADD 000004bb: MSTORE 000004bc: DUP1 000004bd: MLOAD 000004be: SWAP2 000004bf: DUP3 000004c0: SWAP1 000004c1: SUB 000004c2: ADD 000004c3: SWAP1 000004c4: RETURN 000004c5: JUMPDEST 000004c6: PUSH2 0x08fc 000004c9: PUSH1 0x1f 000004cb: SLOAD 000004cc: PUSH2 0x021e 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH2 0x098f 000004d4: PUSH1 0x04 000004d6: CALLDATALOAD 000004d7: PUSH1 0x40 000004d9: DUP1 000004da: MLOAD 000004db: PUSH1 0x20 000004dd: DUP2 000004de: DUP2 000004df: ADD 000004e0: DUP4 000004e1: MSTORE 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: DUP4 000004e6: MSTORE 000004e7: PUSH1 0x01 000004e9: PUSH1 0xa0 000004eb: PUSH1 0x02 000004ed: EXP 000004ee: SUB 000004ef: DUP6 000004f0: AND 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x0c 000004f5: DUP3 000004f6: MSTORE 000004f7: DUP4 000004f8: MLOAD 000004f9: SWAP1 000004fa: DUP5 000004fb: SWAP1 000004fc: KECCAK256 000004fd: DUP1 000004fe: SLOAD 000004ff: PUSH1 0x02 00000501: PUSH1 0x01 00000503: DUP3 00000504: AND 00000505: ISZERO 00000506: PUSH2 0x0100 00000509: MUL 0000050a: PUSH1 0x00 0000050c: NOT 0000050d: ADD 0000050e: SWAP1 0000050f: SWAP2 00000510: AND 00000511: DIV 00000512: PUSH1 0x1f 00000514: DUP2 00000515: ADD 00000516: DUP5 00000517: SWAP1 00000518: DIV 00000519: DUP5 0000051a: MUL 0000051b: DUP4 0000051c: ADD 0000051d: DUP5 0000051e: ADD 0000051f: SWAP1 00000520: SWAP6 00000521: MSTORE 00000522: DUP5 00000523: DUP3 00000524: MSTORE 00000525: SWAP3 00000526: SWAP4 00000527: SWAP1 00000528: SWAP3 00000529: SWAP2 0000052a: DUP4 0000052b: ADD 0000052c: DUP3 0000052d: DUP3 0000052e: DUP1 0000052f: ISZERO 00000530: PUSH2 0x1074 00000533: JUMPI 00000534: DUP1 00000535: PUSH1 0x1f 00000537: LT 00000538: PUSH2 0x1049 0000053b: JUMPI 0000053c: PUSH2 0x0100 0000053f: DUP1 00000540: DUP4 00000541: SLOAD 00000542: DIV 00000543: MUL 00000544: DUP4 00000545: MSTORE 00000546: SWAP2 00000547: PUSH1 0x20 00000549: ADD 0000054a: SWAP2 0000054b: PUSH2 0x1074 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x0874 00000553: PUSH1 0x04 00000555: CALLDATALOAD 00000556: PUSH1 0x24 00000558: CALLDATALOAD 00000559: PUSH1 0x0b 0000055b: SLOAD 0000055c: PUSH1 0x00 0000055e: SWAP1 0000055f: DUP2 00000560: SWAP1 00000561: PUSH1 0xff 00000563: AND 00000564: PUSH1 0x01 00000566: EQ 00000567: ISZERO 00000568: PUSH2 0x1082 0000056b: JUMPI 0000056c: PUSH2 0x0002 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH2 0x0874 00000574: PUSH1 0x04 00000576: CALLDATALOAD 00000577: PUSH1 0x0b 00000579: SLOAD 0000057a: PUSH1 0xff 0000057c: AND 0000057d: PUSH1 0x01 0000057f: EQ 00000580: ISZERO 00000581: PUSH2 0x111d 00000584: JUMPI 00000585: PUSH2 0x0002 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH2 0x0874 0000058d: PUSH1 0x04 0000058f: CALLDATALOAD 00000590: PUSH1 0x24 00000592: CALLDATALOAD 00000593: PUSH1 0x0b 00000595: SLOAD 00000596: PUSH1 0x00 00000598: SWAP1 00000599: DUP2 0000059a: SWAP1 0000059b: PUSH1 0xff 0000059d: AND 0000059e: PUSH1 0x01 000005a0: EQ 000005a1: ISZERO 000005a2: PUSH2 0x119e 000005a5: JUMPI 000005a6: PUSH2 0x0002 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH2 0x0874 000005ae: PUSH1 0x00 000005b0: PUSH1 0x00 000005b2: PUSH1 0x00 000005b4: PUSH1 0x00 000005b6: PUSH1 0x00 000005b8: CALLVALUE 000005b9: GT 000005ba: ISZERO 000005bb: PUSH2 0x1239 000005be: JUMPI 000005bf: PUSH2 0x0002 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x09fd 000005c7: PUSH1 0x04 000005c9: CALLDATALOAD 000005ca: PUSH1 0x00 000005cc: PUSH1 0x00 000005ce: PUSH1 0x00 000005d0: PUSH1 0x00 000005d2: PUSH1 0x00 000005d4: PUSH1 0x00 000005d6: PUSH1 0x00 000005d8: PUSH1 0x00 000005da: PUSH1 0x00 000005dc: PUSH1 0x07 000005de: PUSH1 0x00 000005e0: POP 000005e1: DUP11 000005e2: DUP2 000005e3: SLOAD 000005e4: DUP2 000005e5: LT 000005e6: ISZERO 000005e7: PUSH2 0x0002 000005ea: JUMPI 000005eb: DUP2 000005ec: SLOAD 000005ed: DUP3 000005ee: DUP5 000005ef: MSTORE 000005f0: PUSH1 0x05 000005f2: DUP3 000005f3: MUL 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: MLOAD 000005f8: PUSH1 0x20 000005fa: PUSH2 0x28f0 000005fd: DUP4 000005fe: CODECOPY 000005ff: DUP2 00000600: MLOAD 00000601: SWAP2 00000602: MSTORE 00000603: ADD 00000604: SLOAD 00000605: PUSH1 0x01 00000607: PUSH1 0xa0 00000609: PUSH1 0x02 0000060b: EXP 0000060c: SUB 0000060d: AND 0000060e: SWAP12 0000060f: POP 00000610: DUP2 00000611: LT 00000612: ISZERO 00000613: PUSH2 0x0002 00000616: JUMPI 00000617: SWAP1 00000618: PUSH1 0x00 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: PUSH1 0x00 0000061f: KECCAK256 00000620: SWAP1 00000621: PUSH1 0x05 00000623: MUL 00000624: ADD 00000625: PUSH1 0x00 00000627: POP 00000628: SLOAD 00000629: PUSH1 0x07 0000062b: DUP1 0000062c: SLOAD 0000062d: PUSH1 0xb0 0000062f: PUSH1 0x02 00000631: EXP 00000632: SWAP1 00000633: SWAP3 00000634: DIV 00000635: PUSH1 0xff 00000637: AND 00000638: SWAP10 00000639: POP 0000063a: SWAP1 0000063b: DUP12 0000063c: SWAP1 0000063d: DUP2 0000063e: LT 0000063f: ISZERO 00000640: PUSH2 0x0002 00000643: JUMPI 00000644: SWAP1 00000645: PUSH1 0x00 00000647: MSTORE 00000648: PUSH1 0x20 0000064a: PUSH1 0x00 0000064c: KECCAK256 0000064d: SWAP1 0000064e: PUSH1 0x05 00000650: MUL 00000651: ADD 00000652: PUSH1 0x00 00000654: POP 00000655: SLOAD 00000656: PUSH1 0x07 00000658: DUP1 00000659: SLOAD 0000065a: PUSH1 0xb8 0000065c: PUSH1 0x02 0000065e: EXP 0000065f: SWAP1 00000660: SWAP3 00000661: DIV 00000662: PUSH1 0xff 00000664: AND 00000665: SWAP9 00000666: POP 00000667: SWAP1 00000668: DUP12 00000669: SWAP1 0000066a: DUP2 0000066b: LT 0000066c: ISZERO 0000066d: PUSH2 0x0002 00000670: JUMPI 00000671: SWAP1 00000672: PUSH1 0x00 00000674: MSTORE 00000675: PUSH1 0x20 00000677: PUSH1 0x00 00000679: KECCAK256 0000067a: SWAP1 0000067b: PUSH1 0x05 0000067d: MUL 0000067e: ADD 0000067f: PUSH1 0x00 00000681: POP 00000682: PUSH1 0x07 00000684: DUP1 00000685: SLOAD 00000686: PUSH1 0x01 00000688: SWAP3 00000689: SWAP1 0000068a: SWAP3 0000068b: ADD 0000068c: SLOAD 0000068d: SWAP8 0000068e: POP 0000068f: SWAP1 00000690: DUP12 00000691: SWAP1 00000692: DUP2 00000693: LT 00000694: ISZERO 00000695: PUSH2 0x0002 00000698: JUMPI 00000699: SWAP1 0000069a: PUSH1 0x00 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: PUSH1 0x00 000006a1: KECCAK256 000006a2: SWAP1 000006a3: PUSH1 0x05 000006a5: MUL 000006a6: ADD 000006a7: PUSH1 0x00 000006a9: POP 000006aa: PUSH1 0x07 000006ac: DUP1 000006ad: SLOAD 000006ae: PUSH1 0x04 000006b0: SWAP3 000006b1: SWAP1 000006b2: SWAP3 000006b3: ADD 000006b4: SLOAD 000006b5: PUSH1 0xff 000006b7: AND 000006b8: SWAP7 000006b9: POP 000006ba: SWAP1 000006bb: DUP12 000006bc: SWAP1 000006bd: DUP2 000006be: LT 000006bf: ISZERO 000006c0: PUSH2 0x0002 000006c3: JUMPI 000006c4: SWAP1 000006c5: PUSH1 0x00 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: PUSH1 0x00 000006cc: KECCAK256 000006cd: SWAP1 000006ce: PUSH1 0x05 000006d0: MUL 000006d1: ADD 000006d2: PUSH1 0x00 000006d4: POP 000006d5: SLOAD 000006d6: PUSH1 0x07 000006d8: DUP1 000006d9: SLOAD 000006da: PUSH1 0xa0 000006dc: PUSH1 0x02 000006de: EXP 000006df: SWAP1 000006e0: SWAP3 000006e1: DIV 000006e2: PUSH1 0xff 000006e4: AND 000006e5: SWAP6 000006e6: POP 000006e7: SWAP1 000006e8: DUP12 000006e9: SWAP1 000006ea: DUP2 000006eb: LT 000006ec: ISZERO 000006ed: PUSH2 0x0002 000006f0: JUMPI 000006f1: SWAP1 000006f2: PUSH1 0x00 000006f4: MSTORE 000006f5: PUSH1 0x20 000006f7: PUSH1 0x00 000006f9: KECCAK256 000006fa: SWAP1 000006fb: PUSH1 0x05 000006fd: MUL 000006fe: ADD 000006ff: PUSH1 0x00 00000701: POP 00000702: SLOAD 00000703: PUSH1 0x07 00000705: DUP1 00000706: SLOAD 00000707: PUSH1 0xa8 00000709: PUSH1 0x02 0000070b: EXP 0000070c: SWAP1 0000070d: SWAP3 0000070e: DIV 0000070f: PUSH1 0xff 00000711: AND 00000712: SWAP5 00000713: POP 00000714: SWAP1 00000715: DUP12 00000716: SWAP1 00000717: DUP2 00000718: LT 00000719: ISZERO 0000071a: PUSH2 0x0002 0000071d: JUMPI 0000071e: SWAP1 0000071f: PUSH1 0x00 00000721: MSTORE 00000722: PUSH1 0x20 00000724: PUSH1 0x00 00000726: KECCAK256 00000727: SWAP1 00000728: PUSH1 0x05 0000072a: MUL 0000072b: ADD 0000072c: PUSH1 0x00 0000072e: POP 0000072f: PUSH1 0x02 00000731: ADD 00000732: SLOAD 00000733: PUSH1 0x07 00000735: DUP1 00000736: SLOAD 00000737: SWAP2 00000738: SWAP4 00000739: POP 0000073a: SWAP1 0000073b: DUP12 0000073c: SWAP1 0000073d: DUP2 0000073e: LT 0000073f: ISZERO 00000740: PUSH2 0x0002 00000743: JUMPI 00000744: POP 00000745: POP 00000746: POP 00000747: PUSH1 0x05 00000749: SWAP9 0000074a: SWAP1 0000074b: SWAP9 0000074c: MUL 0000074d: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68b 0000076e: ADD 0000076f: SLOAD 00000770: SWAP7 00000771: SWAP9 00000772: SWAP6 00000773: SWAP8 00000774: SWAP5 00000775: SWAP7 00000776: SWAP4 00000777: SWAP6 00000778: SWAP3 00000779: SWAP5 0000077a: SWAP2 0000077b: SWAP4 0000077c: SWAP1 0000077d: SWAP3 0000077e: JUMP 0000077f: JUMPDEST 00000780: PUSH2 0x0874 00000783: PUSH1 0x04 00000785: CALLDATALOAD 00000786: PUSH1 0x24 00000788: CALLDATALOAD 00000789: PUSH1 0x44 0000078b: CALLDATALOAD 0000078c: PUSH2 0x0bbf 0000078f: DUP4 00000790: DUP4 00000791: DUP4 00000792: PUSH1 0x03 00000794: JUMPDEST 00000795: PUSH1 0x0b 00000797: SLOAD 00000798: PUSH1 0x00 0000079a: SWAP1 0000079b: DUP2 0000079c: SWAP1 0000079d: PUSH1 0xff 0000079f: AND 000007a0: PUSH1 0x01 000007a2: EQ 000007a3: ISZERO 000007a4: PUSH2 0x1c44 000007a7: JUMPI 000007a8: PUSH2 0x0002 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH2 0x0874 000007b0: PUSH1 0x04 000007b2: CALLDATALOAD 000007b3: PUSH1 0x24 000007b5: CALLDATALOAD 000007b6: PUSH1 0x44 000007b8: CALLDATALOAD 000007b9: PUSH1 0x64 000007bb: CALLDATALOAD 000007bc: PUSH1 0x84 000007be: CALLDATALOAD 000007bf: PUSH1 0xa4 000007c1: CALLDATALOAD 000007c2: PUSH1 0xc4 000007c4: CALLDATALOAD 000007c5: PUSH1 0xe4 000007c7: CALLDATALOAD 000007c8: PUSH2 0x0104 000007cb: CALLDATALOAD 000007cc: PUSH2 0x0124 000007cf: CALLDATALOAD 000007d0: PUSH1 0x00 000007d2: CALLVALUE 000007d3: GT 000007d4: ISZERO 000007d5: PUSH2 0x13d8 000007d8: JUMPI 000007d9: PUSH2 0x0002 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH2 0x0874 000007e1: PUSH1 0x04 000007e3: CALLDATALOAD 000007e4: PUSH1 0x24 000007e6: CALLDATALOAD 000007e7: PUSH1 0x44 000007e9: CALLDATALOAD 000007ea: PUSH2 0x0bbf 000007ed: DUP4 000007ee: DUP4 000007ef: DUP4 000007f0: PUSH1 0x04 000007f2: PUSH2 0x0794 000007f5: JUMP 000007f6: JUMPDEST 000007f7: PUSH2 0x0874 000007fa: PUSH1 0x04 000007fc: CALLDATALOAD 000007fd: PUSH1 0x00 000007ff: CALLVALUE 00000800: GT 00000801: ISZERO 00000802: PUSH2 0x158d 00000805: JUMPI 00000806: PUSH2 0x0002 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH2 0x0874 0000080e: PUSH1 0x00 00000810: PUSH1 0x00 00000812: PUSH1 0x00 00000814: PUSH1 0x00 00000816: PUSH1 0x00 00000818: PUSH1 0x00 0000081a: PUSH1 0x00 0000081c: PUSH2 0x15d8 0000081f: JUMPDEST 00000820: PUSH1 0x00 00000822: PUSH1 0x00 00000824: PUSH1 0x00 00000826: PUSH1 0x00 00000828: PUSH1 0x00 0000082a: PUSH1 0x00 0000082c: PUSH1 0x00 0000082e: PUSH1 0x00 00000830: PUSH1 0x20 00000832: PUSH1 0x00 00000834: POP 00000835: SLOAD 00000836: PUSH1 0x00 00000838: EQ 00000839: DUP1 0000083a: ISZERO 0000083b: PUSH2 0x0845 0000083e: JUMPI 0000083f: POP 00000840: PUSH1 0x21 00000842: SLOAD 00000843: DUP2 00000844: EQ 00000845: JUMPDEST 00000846: ISZERO 00000847: PUSH2 0x1a7e 0000084a: JUMPI 0000084b: PUSH2 0x1b19 0000084e: JUMP 0000084f: JUMPDEST 00000850: PUSH2 0x08fc 00000853: PUSH1 0x04 00000855: CALLDATALOAD 00000856: PUSH1 0x01 00000858: PUSH1 0xa0 0000085a: PUSH1 0x02 0000085c: EXP 0000085d: SUB 0000085e: DUP2 0000085f: AND 00000860: PUSH1 0x00 00000862: SWAP1 00000863: DUP2 00000864: MSTORE 00000865: PUSH2 0x0635 00000868: PUSH1 0x20 0000086a: MSTORE 0000086b: PUSH1 0x40 0000086d: SWAP1 0000086e: KECCAK256 0000086f: SLOAD 00000870: PUSH2 0x107d 00000873: JUMP 00000874: JUMPDEST 00000875: STOP 00000876: JUMPDEST 00000877: PUSH1 0x40 00000879: DUP1 0000087a: MLOAD 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: PUSH1 0x02 00000881: EXP 00000882: SUB 00000883: CALLER 00000884: AND 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: DUP2 0000088a: ADD 0000088b: DUP4 0000088c: SWAP1 0000088d: MSTORE 0000088e: DUP2 0000088f: MLOAD 00000890: PUSH32 0xf3fef3a3f44f9c277339b67d54f015748bd8d6b77a985b0ab6e71126b018c34a 000008b1: SWAP3 000008b2: SWAP2 000008b3: DUP2 000008b4: SWAP1 000008b5: SUB 000008b6: SWAP1 000008b7: SWAP2 000008b8: ADD 000008b9: SWAP1 000008ba: LOG1 000008bb: JUMPDEST 000008bc: PUSH2 0x0b1c 000008bf: JUMPDEST 000008c0: PUSH1 0x01 000008c2: SLOAD 000008c3: PUSH1 0x05 000008c5: SLOAD 000008c6: PUSH1 0x1f 000008c8: SLOAD 000008c9: PUSH1 0x23 000008cb: SWAP1 000008cc: SWAP2 000008cd: MUL 000008ce: SWAP1 000008cf: DIV 000008d0: GT 000008d1: ISZERO 000008d2: PUSH2 0x1c31 000008d5: JUMPI 000008d6: PUSH1 0x01 000008d8: SLOAD 000008d9: PUSH1 0x06 000008db: SSTORE 000008dc: JUMPDEST 000008dd: JUMP 000008de: JUMPDEST 000008df: PUSH1 0x40 000008e1: DUP1 000008e2: MLOAD 000008e3: SWAP4 000008e4: DUP5 000008e5: MSTORE 000008e6: PUSH1 0x20 000008e8: DUP5 000008e9: ADD 000008ea: SWAP3 000008eb: SWAP1 000008ec: SWAP3 000008ed: MSTORE 000008ee: DUP3 000008ef: DUP3 000008f0: ADD 000008f1: MSTORE 000008f2: MLOAD 000008f3: SWAP1 000008f4: DUP2 000008f5: SWAP1 000008f6: SUB 000008f7: PUSH1 0x60 000008f9: ADD 000008fa: SWAP1 000008fb: RETURN 000008fc: JUMPDEST 000008fd: PUSH1 0x40 000008ff: DUP1 00000900: MLOAD 00000901: SWAP2 00000902: DUP3 00000903: MSTORE 00000904: MLOAD 00000905: SWAP1 00000906: DUP2 00000907: SWAP1 00000908: SUB 00000909: PUSH1 0x20 0000090b: ADD 0000090c: SWAP1 0000090d: RETURN 0000090e: JUMPDEST 0000090f: PUSH1 0x40 00000911: DUP1 00000912: MLOAD 00000913: SWAP11 00000914: DUP12 00000915: MSTORE 00000916: PUSH1 0x20 00000918: DUP12 00000919: ADD 0000091a: SWAP10 0000091b: SWAP1 0000091c: SWAP10 0000091d: MSTORE 0000091e: PUSH1 0xff 00000920: SWAP8 00000921: DUP9 00000922: AND 00000923: DUP11 00000924: DUP11 00000925: ADD 00000926: MSTORE 00000927: PUSH1 0x60 00000929: DUP11 0000092a: ADD 0000092b: SWAP7 0000092c: SWAP1 0000092d: SWAP7 0000092e: MSTORE 0000092f: SWAP4 00000930: SWAP1 00000931: SWAP6 00000932: AND 00000933: PUSH1 0x80 00000935: DUP9 00000936: ADD 00000937: MSTORE 00000938: SWAP1 00000939: ISZERO 0000093a: ISZERO 0000093b: PUSH1 0xa0 0000093d: DUP8 0000093e: ADD 0000093f: MSTORE 00000940: ISZERO 00000941: ISZERO 00000942: PUSH1 0xc0 00000944: DUP7 00000945: ADD 00000946: MSTORE 00000947: PUSH1 0xe0 00000949: DUP6 0000094a: ADD 0000094b: SWAP3 0000094c: SWAP1 0000094d: SWAP3 0000094e: MSTORE 0000094f: PUSH2 0x0100 00000952: DUP5 00000953: ADD 00000954: SWAP2 00000955: SWAP1 00000956: SWAP2 00000957: MSTORE 00000958: PUSH2 0x0120 0000095b: DUP4 0000095c: ADD 0000095d: MSTORE 0000095e: MLOAD 0000095f: SWAP1 00000960: DUP2 00000961: SWAP1 00000962: SUB 00000963: PUSH2 0x0140 00000966: ADD 00000967: SWAP1 00000968: RETURN 00000969: JUMPDEST 0000096a: PUSH1 0x40 0000096c: MLOAD 0000096d: DUP1 0000096e: DUP4 0000096f: PUSH1 0x01 00000971: PUSH1 0xa0 00000973: PUSH1 0x02 00000975: EXP 00000976: SUB 00000977: AND 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP3 0000097e: DUP2 0000097f: MSTORE 00000980: PUSH1 0x20 00000982: ADD 00000983: SWAP3 00000984: POP 00000985: POP 00000986: POP 00000987: PUSH1 0x40 00000989: MLOAD 0000098a: DUP1 0000098b: SWAP2 0000098c: SUB 0000098d: SWAP1 0000098e: RETURN 0000098f: JUMPDEST 00000990: PUSH1 0x40 00000992: MLOAD 00000993: DUP1 00000994: DUP1 00000995: PUSH1 0x20 00000997: ADD 00000998: DUP3 00000999: DUP2 0000099a: SUB 0000099b: DUP3 0000099c: MSTORE 0000099d: DUP4 0000099e: DUP2 0000099f: DUP2 000009a0: MLOAD 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH1 0x20 000009a5: ADD 000009a6: SWAP2 000009a7: POP 000009a8: DUP1 000009a9: MLOAD 000009aa: SWAP1 000009ab: PUSH1 0x20 000009ad: ADD 000009ae: SWAP1 000009af: DUP1 000009b0: DUP4 000009b1: DUP4 000009b2: DUP3 000009b3: SWAP1 000009b4: PUSH1 0x00 000009b6: PUSH1 0x04 000009b8: PUSH1 0x20 000009ba: DUP5 000009bb: PUSH1 0x1f 000009bd: ADD 000009be: DIV 000009bf: PUSH1 0x0f 000009c1: MUL 000009c2: PUSH1 0x03 000009c4: ADD 000009c5: CALL 000009c6: POP 000009c7: SWAP1 000009c8: POP 000009c9: SWAP1 000009ca: DUP2 000009cb: ADD 000009cc: SWAP1 000009cd: PUSH1 0x1f 000009cf: AND 000009d0: DUP1 000009d1: ISZERO 000009d2: PUSH2 0x09ef 000009d5: JUMPI 000009d6: DUP1 000009d7: DUP3 000009d8: SUB 000009d9: DUP1 000009da: MLOAD 000009db: PUSH1 0x01 000009dd: DUP4 000009de: PUSH1 0x20 000009e0: SUB 000009e1: PUSH2 0x0100 000009e4: EXP 000009e5: SUB 000009e6: NOT 000009e7: AND 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x20 000009ec: ADD 000009ed: SWAP2 000009ee: POP 000009ef: JUMPDEST 000009f0: POP 000009f1: SWAP3 000009f2: POP 000009f3: POP 000009f4: POP 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: DUP1 000009f9: SWAP2 000009fa: SUB 000009fb: SWAP1 000009fc: RETURN 000009fd: JUMPDEST 000009fe: PUSH1 0x40 00000a00: DUP1 00000a01: MLOAD 00000a02: PUSH1 0x01 00000a04: PUSH1 0xa0 00000a06: PUSH1 0x02 00000a08: EXP 00000a09: SUB 00000a0a: SWAP11 00000a0b: SWAP1 00000a0c: SWAP11 00000a0d: AND 00000a0e: DUP11 00000a0f: MSTORE 00000a10: PUSH1 0x20 00000a12: DUP11 00000a13: ADD 00000a14: SWAP9 00000a15: SWAP1 00000a16: SWAP9 00000a17: MSTORE 00000a18: PUSH1 0xff 00000a1a: SWAP7 00000a1b: DUP8 00000a1c: AND 00000a1d: DUP10 00000a1e: DUP10 00000a1f: ADD 00000a20: MSTORE 00000a21: PUSH1 0x60 00000a23: DUP10 00000a24: ADD 00000a25: SWAP6 00000a26: SWAP1 00000a27: SWAP6 00000a28: MSTORE 00000a29: SWAP3 00000a2a: SWAP1 00000a2b: SWAP5 00000a2c: AND 00000a2d: PUSH1 0x80 00000a2f: DUP8 00000a30: ADD 00000a31: MSTORE 00000a32: ISZERO 00000a33: ISZERO 00000a34: PUSH1 0xa0 00000a36: DUP7 00000a37: ADD 00000a38: MSTORE 00000a39: SWAP2 00000a3a: ISZERO 00000a3b: ISZERO 00000a3c: PUSH1 0xc0 00000a3e: DUP6 00000a3f: ADD 00000a40: MSTORE 00000a41: PUSH1 0xe0 00000a43: DUP5 00000a44: ADD 00000a45: SWAP2 00000a46: SWAP1 00000a47: SWAP2 00000a48: MSTORE 00000a49: PUSH2 0x0100 00000a4c: DUP4 00000a4d: ADD 00000a4e: MSTORE 00000a4f: MLOAD 00000a50: SWAP1 00000a51: DUP2 00000a52: SWAP1 00000a53: SUB 00000a54: PUSH2 0x0120 00000a57: ADD 00000a58: SWAP1 00000a59: RETURN 00000a5a: JUMPDEST 00000a5b: PUSH1 0x07 00000a5d: SLOAD 00000a5e: PUSH1 0x00 00000a60: EQ 00000a61: DUP1 00000a62: ISZERO 00000a63: SWAP1 00000a64: PUSH2 0x0a96 00000a67: JUMPI 00000a68: POP 00000a69: PUSH1 0x07 00000a6b: DUP1 00000a6c: SLOAD 00000a6d: PUSH1 0x00 00000a6f: NOT 00000a70: DUP2 00000a71: ADD 00000a72: SWAP1 00000a73: DUP2 00000a74: LT 00000a75: ISZERO 00000a76: PUSH2 0x0002 00000a79: JUMPI 00000a7a: PUSH1 0x00 00000a7c: SWAP2 00000a7d: SWAP1 00000a7e: SWAP2 00000a7f: MSTORE 00000a80: PUSH1 0x05 00000a82: MUL 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: MLOAD 00000a87: PUSH1 0x20 00000a89: PUSH2 0x28d0 00000a8c: DUP4 00000a8d: CODECOPY 00000a8e: DUP2 00000a8f: MLOAD 00000a90: SWAP2 00000a91: MSTORE 00000a92: ADD 00000a93: SLOAD 00000a94: NUMBER 00000a95: EQ 00000a96: JUMPDEST 00000a97: ISZERO 00000a98: PUSH2 0x0aa9 00000a9b: JUMPI 00000a9c: PUSH1 0x04 00000a9e: DUP1 00000a9f: SLOAD 00000aa0: PUSH1 0x01 00000aa2: ADD 00000aa3: SWAP1 00000aa4: SSTORE 00000aa5: PUSH2 0x0aaf 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: PUSH1 0x00 00000aac: PUSH1 0x04 00000aae: SSTORE 00000aaf: JUMPDEST 00000ab0: PUSH1 0x03 00000ab2: SLOAD 00000ab3: PUSH1 0x04 00000ab5: SLOAD 00000ab6: LT 00000ab7: PUSH2 0x0abf 00000aba: JUMPI 00000abb: PUSH2 0x0002 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: DUP4 00000ac1: ISZERO 00000ac2: PUSH2 0x0acc 00000ac5: JUMPI 00000ac6: POP 00000ac7: PUSH1 0x01 00000ac9: ADD 00000aca: PUSH1 0x00 00000acc: JUMPDEST 00000acd: DUP3 00000ace: ISZERO 00000acf: PUSH2 0x0ada 00000ad2: JUMPI 00000ad3: POP 00000ad4: PUSH1 0x01 00000ad6: SWAP1 00000ad7: DUP2 00000ad8: ADD 00000ad9: SWAP1 00000ada: JUMPDEST 00000adb: PUSH1 0xff 00000add: DUP3 00000ade: AND 00000adf: PUSH1 0x01 00000ae1: EQ 00000ae2: PUSH2 0x0aea 00000ae5: JUMPI 00000ae6: PUSH2 0x0002 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH2 0x0b1c 00000aee: PUSH1 0x01 00000af0: DUP3 00000af1: JUMPDEST 00000af2: PUSH1 0x01 00000af4: PUSH1 0xa0 00000af6: PUSH1 0x02 00000af8: EXP 00000af9: SUB 00000afa: CALLER 00000afb: AND 00000afc: PUSH1 0x00 00000afe: SWAP1 00000aff: DUP2 00000b00: MSTORE 00000b01: PUSH1 0x0a 00000b03: PUSH1 0x20 00000b05: MSTORE 00000b06: PUSH1 0x40 00000b08: DUP2 00000b09: KECCAK256 00000b0a: SLOAD 00000b0b: PUSH1 0xff 00000b0d: AND 00000b0e: DUP2 00000b0f: EQ 00000b10: PUSH2 0x1881 00000b13: JUMPI 00000b14: PUSH2 0x1881 00000b17: CALLER 00000b18: PUSH2 0x1592 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: POP 00000b1e: POP 00000b1f: POP 00000b20: POP 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH1 0x02 00000b25: DUP2 00000b26: MLOAD 00000b27: LT 00000b28: ISZERO 00000b29: DUP1 00000b2a: ISZERO 00000b2b: PUSH2 0x0b36 00000b2e: JUMPI 00000b2f: POP 00000b30: PUSH1 0x1e 00000b32: DUP2 00000b33: MLOAD 00000b34: GT 00000b35: ISZERO 00000b36: JUMPDEST 00000b37: ISZERO 00000b38: PUSH2 0x0bc2 00000b3b: JUMPI 00000b3c: DUP1 00000b3d: PUSH1 0x0c 00000b3f: PUSH1 0x00 00000b41: POP 00000b42: PUSH1 0x00 00000b44: CALLER 00000b45: PUSH1 0x01 00000b47: PUSH1 0xa0 00000b49: PUSH1 0x02 00000b4b: EXP 00000b4c: SUB 00000b4d: AND 00000b4e: DUP2 00000b4f: MSTORE 00000b50: PUSH1 0x20 00000b52: ADD 00000b53: SWAP1 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x20 00000b58: ADD 00000b59: PUSH1 0x00 00000b5b: KECCAK256 00000b5c: PUSH1 0x00 00000b5e: POP 00000b5f: SWAP1 00000b60: DUP1 00000b61: MLOAD 00000b62: SWAP1 00000b63: PUSH1 0x20 00000b65: ADD 00000b66: SWAP1 00000b67: DUP3 00000b68: DUP1 00000b69: SLOAD 00000b6a: PUSH1 0x01 00000b6c: DUP2 00000b6d: PUSH1 0x01 00000b6f: AND 00000b70: ISZERO 00000b71: PUSH2 0x0100 00000b74: MUL 00000b75: SUB 00000b76: AND 00000b77: PUSH1 0x02 00000b79: SWAP1 00000b7a: DIV 00000b7b: SWAP1 00000b7c: PUSH1 0x00 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: PUSH1 0x00 00000b83: KECCAK256 00000b84: SWAP1 00000b85: PUSH1 0x1f 00000b87: ADD 00000b88: PUSH1 0x20 00000b8a: SWAP1 00000b8b: DIV 00000b8c: DUP2 00000b8d: ADD 00000b8e: SWAP3 00000b8f: DUP3 00000b90: PUSH1 0x1f 00000b92: LT 00000b93: PUSH2 0x0bc5 00000b96: JUMPI 00000b97: DUP1 00000b98: MLOAD 00000b99: PUSH1 0xff 00000b9b: NOT 00000b9c: AND 00000b9d: DUP4 00000b9e: DUP1 00000b9f: ADD 00000ba0: OR 00000ba1: DUP6 00000ba2: SSTORE 00000ba3: JUMPDEST 00000ba4: POP 00000ba5: PUSH2 0x0bbf 00000ba8: SWAP3 00000ba9: SWAP2 00000baa: POP 00000bab: JUMPDEST 00000bac: DUP1 00000bad: DUP3 00000bae: GT 00000baf: ISZERO 00000bb0: PUSH2 0x0bf5 00000bb3: JUMPI 00000bb4: PUSH1 0x00 00000bb6: DUP2 00000bb7: SSTORE 00000bb8: PUSH1 0x01 00000bba: ADD 00000bbb: PUSH2 0x0bab 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: POP 00000bc1: POP 00000bc2: JUMPDEST 00000bc3: POP 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: DUP3 00000bc7: DUP1 00000bc8: ADD 00000bc9: PUSH1 0x01 00000bcb: ADD 00000bcc: DUP6 00000bcd: SSTORE 00000bce: DUP3 00000bcf: ISZERO 00000bd0: PUSH2 0x0ba3 00000bd3: JUMPI 00000bd4: SWAP2 00000bd5: DUP3 00000bd6: ADD 00000bd7: JUMPDEST 00000bd8: DUP3 00000bd9: DUP2 00000bda: GT 00000bdb: ISZERO 00000bdc: PUSH2 0x0ba3 00000bdf: JUMPI 00000be0: DUP3 00000be1: MLOAD 00000be2: DUP3 00000be3: PUSH1 0x00 00000be5: POP 00000be6: SSTORE 00000be7: SWAP2 00000be8: PUSH1 0x20 00000bea: ADD 00000beb: SWAP2 00000bec: SWAP1 00000bed: PUSH1 0x01 00000bef: ADD 00000bf0: SWAP1 00000bf1: PUSH2 0x0bd7 00000bf4: JUMP 00000bf5: JUMPDEST 00000bf6: POP 00000bf7: SWAP1 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: DUP4 00000bfb: PUSH1 0x00 00000bfd: EQ 00000bfe: ISZERO 00000bff: DUP1 00000c00: ISZERO 00000c01: PUSH2 0x0c10 00000c04: JUMPI 00000c05: POP 00000c06: PUSH2 0x0637 00000c09: SLOAD 00000c0a: PUSH1 0x0a 00000c0c: SWAP1 00000c0d: DIV 00000c0e: DUP5 00000c0f: LT 00000c10: JUMPDEST 00000c11: ISZERO 00000c12: PUSH2 0x0c1a 00000c15: JUMPI 00000c16: PUSH2 0x0002 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: PUSH2 0x0c22 00000c1e: PUSH2 0x081f 00000c21: JUMP 00000c22: JUMPDEST 00000c23: PUSH1 0x01 00000c25: PUSH1 0xa0 00000c27: PUSH1 0x02 00000c29: EXP 00000c2a: SUB 00000c2b: CALLER 00000c2c: AND 00000c2d: PUSH1 0x00 00000c2f: SWAP1 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH2 0x0635 00000c35: PUSH1 0x20 00000c37: MSTORE 00000c38: PUSH1 0x40 00000c3a: SWAP1 00000c3b: KECCAK256 00000c3c: SLOAD 00000c3d: DUP5 00000c3e: GT 00000c3f: ISZERO 00000c40: PUSH2 0x0c48 00000c43: JUMPI 00000c44: PUSH2 0x0002 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH2 0x03e7 00000c4c: SWAP3 00000c4d: POP 00000c4e: PUSH1 0x00 00000c50: SWAP2 00000c51: POP 00000c52: JUMPDEST 00000c53: PUSH2 0x0634 00000c56: SLOAD 00000c57: PUSH2 0xffff 00000c5a: SWAP1 00000c5b: DUP2 00000c5c: AND 00000c5d: SWAP1 00000c5e: DUP4 00000c5f: AND 00000c60: LT 00000c61: ISZERO 00000c62: PUSH2 0x0c9a 00000c65: JUMPI 00000c66: PUSH1 0x01 00000c68: PUSH1 0xa0 00000c6a: PUSH1 0x02 00000c6c: EXP 00000c6d: SUB 00000c6e: CALLER 00000c6f: AND 00000c70: PUSH1 0x22 00000c72: PUSH2 0xffff 00000c75: DUP5 00000c76: AND 00000c77: PUSH2 0x0309 00000c7a: DUP2 00000c7b: LT 00000c7c: ISZERO 00000c7d: PUSH2 0x0002 00000c80: JUMPI 00000c81: PUSH1 0x02 00000c83: MUL 00000c84: ADD 00000c85: SLOAD 00000c86: PUSH1 0x01 00000c88: PUSH1 0xa0 00000c8a: PUSH1 0x02 00000c8c: EXP 00000c8d: SUB 00000c8e: AND 00000c8f: EQ 00000c90: ISZERO 00000c91: PUSH2 0x0cad 00000c94: JUMPI 00000c95: DUP2 00000c96: SWAP3 00000c97: POP 00000c98: DUP3 00000c99: POP 00000c9a: JUMPDEST 00000c9b: DUP3 00000c9c: PUSH2 0xffff 00000c9f: AND 00000ca0: PUSH2 0x03e7 00000ca3: EQ 00000ca4: ISZERO 00000ca5: PUSH2 0x0cb9 00000ca8: JUMPI 00000ca9: PUSH2 0x0002 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x01 00000cb0: SWAP2 00000cb1: SWAP1 00000cb2: SWAP2 00000cb3: ADD 00000cb4: SWAP1 00000cb5: PUSH2 0x0c52 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH2 0x0636 00000cbd: SLOAD 00000cbe: TIMESTAMP 00000cbf: SWAP1 00000cc0: PUSH1 0x22 00000cc2: PUSH2 0xffff 00000cc5: DUP7 00000cc6: AND 00000cc7: PUSH2 0x0309 00000cca: DUP2 00000ccb: LT 00000ccc: ISZERO 00000ccd: PUSH2 0x0002 00000cd0: JUMPI 00000cd1: PUSH1 0x02 00000cd3: MUL 00000cd4: ADD 00000cd5: PUSH1 0x00 00000cd7: POP 00000cd8: PUSH1 0x01 00000cda: ADD 00000cdb: SLOAD 00000cdc: ADD 00000cdd: GT 00000cde: ISZERO 00000cdf: PUSH2 0x0ce7 00000ce2: JUMPI 00000ce3: PUSH2 0x0002 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH2 0x0637 00000ceb: SLOAD 00000cec: PUSH1 0x01 00000cee: PUSH1 0xa0 00000cf0: PUSH1 0x02 00000cf2: EXP 00000cf3: SUB 00000cf4: CALLER 00000cf5: AND 00000cf6: PUSH1 0x00 00000cf8: SWAP1 00000cf9: DUP2 00000cfa: MSTORE 00000cfb: PUSH2 0x0635 00000cfe: PUSH1 0x20 00000d00: MSTORE 00000d01: PUSH1 0x40 00000d03: SWAP1 00000d04: KECCAK256 00000d05: SLOAD 00000d06: DUP6 00000d07: SWAP1 00000d08: SUB 00000d09: LT 00000d0a: DUP1 00000d0b: ISZERO 00000d0c: SWAP1 00000d0d: PUSH2 0x0d17 00000d10: JUMPI 00000d11: POP 00000d12: DUP4 00000d13: PUSH1 0x00 00000d15: EQ 00000d16: ISZERO 00000d17: JUMPDEST 00000d18: ISZERO 00000d19: PUSH2 0x0d65 00000d1c: JUMPI 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0xa0 00000d21: PUSH1 0x02 00000d23: EXP 00000d24: SUB 00000d25: CALLER 00000d26: AND 00000d27: PUSH1 0x00 00000d29: DUP2 00000d2a: DUP2 00000d2b: MSTORE 00000d2c: PUSH2 0x0635 00000d2f: PUSH1 0x20 00000d31: MSTORE 00000d32: PUSH1 0x40 00000d34: DUP1 00000d35: DUP3 00000d36: KECCAK256 00000d37: DUP1 00000d38: SLOAD 00000d39: DUP9 00000d3a: SWAP1 00000d3b: SUB 00000d3c: SWAP1 00000d3d: SSTORE 00000d3e: PUSH1 0x1f 00000d40: DUP1 00000d41: SLOAD 00000d42: DUP9 00000d43: SWAP1 00000d44: SUB 00000d45: SWAP1 00000d46: SSTORE 00000d47: MLOAD 00000d48: DUP7 00000d49: SWAP1 00000d4a: DUP3 00000d4b: DUP2 00000d4c: DUP2 00000d4d: DUP2 00000d4e: DUP6 00000d4f: DUP9 00000d50: DUP4 00000d51: CALL 00000d52: ISZERO 00000d53: ISZERO 00000d54: SWAP1 00000d55: SWAP3 00000d56: EQ 00000d57: ISZERO 00000d58: SWAP3 00000d59: POP 00000d5a: PUSH2 0x0deb 00000d5d: SWAP2 00000d5e: POP 00000d5f: POP 00000d60: JUMPI 00000d61: PUSH2 0x0002 00000d64: JUMP 00000d65: JUMPDEST 00000d66: POP 00000d67: PUSH1 0x01 00000d69: PUSH1 0xa0 00000d6b: PUSH1 0x02 00000d6d: EXP 00000d6e: SUB 00000d6f: CALLER 00000d70: AND 00000d71: PUSH1 0x00 00000d73: SWAP1 00000d74: DUP2 00000d75: MSTORE 00000d76: PUSH2 0x0635 00000d79: PUSH1 0x20 00000d7b: MSTORE 00000d7c: PUSH1 0x40 00000d7e: DUP2 00000d7f: KECCAK256 00000d80: DUP1 00000d81: SLOAD 00000d82: PUSH1 0x1f 00000d84: DUP1 00000d85: SLOAD 00000d86: DUP3 00000d87: SWAP1 00000d88: SUB 00000d89: SWAP1 00000d8a: SSTORE 00000d8b: SWAP2 00000d8c: SWAP1 00000d8d: SSTORE 00000d8e: PUSH1 0x22 00000d90: PUSH2 0xffff 00000d93: DUP5 00000d94: AND 00000d95: PUSH2 0x0309 00000d98: DUP2 00000d99: LT 00000d9a: ISZERO 00000d9b: PUSH2 0x0002 00000d9e: JUMPI 00000d9f: PUSH1 0x02 00000da1: MUL 00000da2: ADD 00000da3: PUSH1 0x00 00000da5: POP 00000da6: DUP1 00000da7: SLOAD 00000da8: PUSH1 0x01 00000daa: PUSH1 0xa0 00000dac: PUSH1 0x02 00000dae: EXP 00000daf: SUB 00000db0: NOT 00000db1: AND 00000db2: DUP2 00000db3: SSTORE 00000db4: PUSH1 0x00 00000db6: PUSH1 0x01 00000db8: SWAP2 00000db9: SWAP1 00000dba: SWAP2 00000dbb: ADD 00000dbc: DUP2 00000dbd: SWAP1 00000dbe: SSTORE 00000dbf: PUSH1 0x40 00000dc1: MLOAD 00000dc2: PUSH1 0x01 00000dc4: PUSH1 0xa0 00000dc6: PUSH1 0x02 00000dc8: EXP 00000dc9: SUB 00000dca: CALLER 00000dcb: AND 00000dcc: SWAP2 00000dcd: SWAP1 00000dce: DUP4 00000dcf: SWAP1 00000dd0: DUP3 00000dd1: DUP2 00000dd2: DUP2 00000dd3: DUP2 00000dd4: DUP6 00000dd5: DUP9 00000dd6: DUP4 00000dd7: CALL 00000dd8: ISZERO 00000dd9: ISZERO 00000dda: SWAP1 00000ddb: SWAP3 00000ddc: EQ 00000ddd: ISZERO 00000dde: SWAP3 00000ddf: POP 00000de0: PUSH2 0x0876 00000de3: SWAP2 00000de4: POP 00000de5: POP 00000de6: JUMPI 00000de7: PUSH2 0x0002 00000dea: JUMP 00000deb: JUMPDEST 00000dec: PUSH1 0x40 00000dee: DUP1 00000def: MLOAD 00000df0: PUSH1 0x01 00000df2: PUSH1 0xa0 00000df4: PUSH1 0x02 00000df6: EXP 00000df7: SUB 00000df8: CALLER 00000df9: AND 00000dfa: DUP2 00000dfb: MSTORE 00000dfc: PUSH1 0x20 00000dfe: DUP2 00000dff: ADD 00000e00: DUP7 00000e01: SWAP1 00000e02: MSTORE 00000e03: DUP2 00000e04: MLOAD 00000e05: PUSH32 0xf3fef3a3f44f9c277339b67d54f015748bd8d6b77a985b0ab6e71126b018c34a 00000e26: SWAP3 00000e27: SWAP2 00000e28: DUP2 00000e29: SWAP1 00000e2a: SUB 00000e2b: SWAP1 00000e2c: SWAP2 00000e2d: ADD 00000e2e: SWAP1 00000e2f: LOG1 00000e30: PUSH2 0x08bb 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH1 0x00 00000e37: SLOAD 00000e38: PUSH1 0x01 00000e3a: PUSH1 0xa0 00000e3c: PUSH1 0x02 00000e3e: EXP 00000e3f: SUB 00000e40: SWAP1 00000e41: DUP2 00000e42: AND 00000e43: CALLER 00000e44: SWAP1 00000e45: SWAP2 00000e46: AND 00000e47: EQ 00000e48: PUSH2 0x0e50 00000e4b: JUMPI 00000e4c: PUSH2 0x0002 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: PUSH2 0x08dc 00000e54: PUSH2 0x081f 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH1 0x01 00000e5b: DUP2 00000e5c: PUSH1 0xff 00000e5e: AND 00000e5f: LT 00000e60: DUP1 00000e61: PUSH2 0x0e6d 00000e64: JUMPI 00000e65: POP 00000e66: PUSH1 0x63 00000e68: DUP2 00000e69: PUSH1 0xff 00000e6b: AND 00000e6c: GT 00000e6d: JUMPDEST 00000e6e: ISZERO 00000e6f: PUSH2 0x0e77 00000e72: JUMPI 00000e73: PUSH2 0x0002 00000e76: JUMP 00000e77: JUMPDEST 00000e78: PUSH1 0x01 00000e7a: PUSH1 0xa0 00000e7c: PUSH1 0x02 00000e7e: EXP 00000e7f: SUB 00000e80: CALLER 00000e81: AND 00000e82: PUSH1 0x00 00000e84: SWAP1 00000e85: DUP2 00000e86: MSTORE 00000e87: PUSH2 0x0639 00000e8a: PUSH1 0x20 00000e8c: MSTORE 00000e8d: PUSH1 0x40 00000e8f: SWAP1 00000e90: KECCAK256 00000e91: PUSH1 0x64 00000e93: DUP3 00000e94: SWAP1 00000e95: SUB 00000e96: PUSH1 0xff 00000e98: AND 00000e99: SWAP1 00000e9a: SSTORE 00000e9b: POP 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x01 00000ea0: PUSH1 0xa0 00000ea2: PUSH1 0x02 00000ea4: EXP 00000ea5: SUB 00000ea6: DUP5 00000ea7: DUP2 00000ea8: AND 00000ea9: SWAP1 00000eaa: DUP5 00000eab: AND 00000eac: EQ 00000ead: PUSH2 0x0eb5 00000eb0: JUMPI 00000eb1: PUSH2 0x0002 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: DUP4 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0xa0 00000ebb: PUSH1 0x02 00000ebd: EXP 00000ebe: SUB 00000ebf: AND 00000ec0: PUSH1 0x00 00000ec2: EQ 00000ec3: ISZERO 00000ec4: PUSH2 0x0ecc 00000ec7: JUMPI 00000ec8: PUSH2 0x0002 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: POP 00000ece: PUSH2 0x03e7 00000ed1: SWAP1 00000ed2: POP 00000ed3: PUSH1 0x00 00000ed5: JUMPDEST 00000ed6: PUSH2 0x0634 00000ed9: SLOAD 00000eda: PUSH2 0xffff 00000edd: SWAP1 00000ede: DUP2 00000edf: AND 00000ee0: SWAP1 00000ee1: DUP3 00000ee2: AND 00000ee3: LT 00000ee4: ISZERO 00000ee5: PUSH2 0x0f1c 00000ee8: JUMPI 00000ee9: PUSH1 0x01 00000eeb: PUSH1 0xa0 00000eed: PUSH1 0x02 00000eef: EXP 00000ef0: SUB 00000ef1: DUP5 00000ef2: AND 00000ef3: PUSH1 0x22 00000ef5: PUSH2 0xffff 00000ef8: DUP4 00000ef9: AND 00000efa: PUSH2 0x0309 00000efd: DUP2 00000efe: LT 00000eff: ISZERO 00000f00: PUSH2 0x0002 00000f03: JUMPI 00000f04: PUSH1 0x02 00000f06: MUL 00000f07: ADD 00000f08: SLOAD 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: PUSH1 0x02 00000f0f: EXP 00000f10: SUB 00000f11: AND 00000f12: EQ 00000f13: ISZERO 00000f14: PUSH2 0x0f2f 00000f17: JUMPI 00000f18: PUSH2 0x0002 00000f1b: JUMP 00000f1c: JUMPDEST 00000f1d: DUP2 00000f1e: PUSH2 0xffff 00000f21: AND 00000f22: PUSH2 0x03e7 00000f25: EQ 00000f26: ISZERO 00000f27: PUSH2 0x0f6a 00000f2a: JUMPI 00000f2b: PUSH2 0x0002 00000f2e: JUMP 00000f2f: JUMPDEST 00000f30: PUSH1 0x01 00000f32: PUSH1 0xa0 00000f34: PUSH1 0x02 00000f36: EXP 00000f37: SUB 00000f38: CALLER 00000f39: AND 00000f3a: PUSH1 0x22 00000f3c: PUSH2 0xffff 00000f3f: DUP4 00000f40: AND 00000f41: PUSH2 0x0309 00000f44: DUP2 00000f45: LT 00000f46: ISZERO 00000f47: PUSH2 0x0002 00000f4a: JUMPI 00000f4b: PUSH1 0x02 00000f4d: MUL 00000f4e: ADD 00000f4f: SLOAD 00000f50: PUSH1 0x01 00000f52: PUSH1 0xa0 00000f54: PUSH1 0x02 00000f56: EXP 00000f57: SUB 00000f58: AND 00000f59: EQ 00000f5a: ISZERO 00000f5b: PUSH2 0x0f62 00000f5e: JUMPI 00000f5f: SWAP1 00000f60: POP 00000f61: DUP1 00000f62: JUMPDEST 00000f63: PUSH1 0x01 00000f65: ADD 00000f66: PUSH2 0x0ed5 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: PUSH1 0x01 00000f6d: PUSH1 0xa0 00000f6f: PUSH1 0x02 00000f71: EXP 00000f72: SUB 00000f73: CALLER 00000f74: DUP2 00000f75: AND 00000f76: PUSH1 0x00 00000f78: DUP2 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH2 0x0635 00000f7e: PUSH1 0x20 00000f80: MSTORE 00000f81: PUSH1 0x40 00000f83: DUP1 00000f84: DUP3 00000f85: KECCAK256 00000f86: DUP1 00000f87: SLOAD 00000f88: SWAP5 00000f89: DUP10 00000f8a: AND 00000f8b: DUP4 00000f8c: MSTORE 00000f8d: SWAP1 00000f8e: DUP3 00000f8f: KECCAK256 00000f90: SWAP4 00000f91: SWAP1 00000f92: SWAP4 00000f93: SSTORE 00000f94: SWAP1 00000f95: DUP2 00000f96: MSTORE 00000f97: SWAP1 00000f98: SSTORE 00000f99: DUP4 00000f9a: PUSH1 0x22 00000f9c: PUSH2 0xffff 00000f9f: DUP5 00000fa0: AND 00000fa1: PUSH2 0x0309 00000fa4: DUP2 00000fa5: LT 00000fa6: ISZERO 00000fa7: PUSH2 0x0002 00000faa: JUMPI 00000fab: PUSH1 0x02 00000fad: MUL 00000fae: ADD 00000faf: DUP1 00000fb0: SLOAD 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0xa0 00000fb5: PUSH1 0x02 00000fb7: EXP 00000fb8: SUB 00000fb9: NOT 00000fba: AND 00000fbb: SWAP1 00000fbc: SWAP2 00000fbd: OR 00000fbe: SWAP1 00000fbf: SSTORE 00000fc0: POP 00000fc1: POP 00000fc2: POP 00000fc3: POP 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: PUSH1 0x00 00000fc8: SLOAD 00000fc9: PUSH1 0x01 00000fcb: PUSH1 0xa0 00000fcd: PUSH1 0x02 00000fcf: EXP 00000fd0: SUB 00000fd1: SWAP1 00000fd2: DUP2 00000fd3: AND 00000fd4: CALLER 00000fd5: SWAP1 00000fd6: SWAP2 00000fd7: AND 00000fd8: EQ 00000fd9: PUSH2 0x0fe1 00000fdc: JUMPI 00000fdd: PUSH2 0x0002 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH1 0x0b 00000fe4: DUP1 00000fe5: SLOAD 00000fe6: PUSH1 0xff 00000fe8: NOT 00000fe9: AND 00000fea: PUSH1 0x01 00000fec: OR 00000fed: SWAP1 00000fee: SSTORE 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH1 0x00 00000ff3: SLOAD 00000ff4: PUSH1 0x01 00000ff6: PUSH1 0xa0 00000ff8: PUSH1 0x02 00000ffa: EXP 00000ffb: SUB 00000ffc: SWAP1 00000ffd: DUP2 00000ffe: AND 00000fff: CALLER 00001000: SWAP1 00001001: SWAP2 00001002: AND 00001003: EQ 00001004: PUSH2 0x100c 00001007: JUMPI 00001008: PUSH2 0x0002 0000100b: JUMP 0000100c: JUMPDEST 0000100d: PUSH1 0x0b 0000100f: DUP1 00001010: SLOAD 00001011: PUSH1 0xff 00001013: NOT 00001014: AND 00001015: SWAP1 00001016: SSTORE 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH1 0x00 0000101b: SLOAD 0000101c: PUSH1 0x01 0000101e: PUSH1 0xa0 00001020: PUSH1 0x02 00001022: EXP 00001023: SUB 00001024: SWAP1 00001025: DUP2 00001026: AND 00001027: CALLER 00001028: SWAP1 00001029: SWAP2 0000102a: AND 0000102b: EQ 0000102c: PUSH2 0x1034 0000102f: JUMPI 00001030: PUSH2 0x0002 00001033: JUMP 00001034: JUMPDEST 00001035: PUSH1 0x00 00001037: DUP1 00001038: SLOAD 00001039: PUSH1 0x01 0000103b: PUSH1 0xa0 0000103d: PUSH1 0x02 0000103f: EXP 00001040: SUB 00001041: NOT 00001042: AND 00001043: DUP3 00001044: OR 00001045: SWAP1 00001046: SSTORE 00001047: POP 00001048: JUMP 00001049: JUMPDEST 0000104a: DUP3 0000104b: ADD 0000104c: SWAP2 0000104d: SWAP1 0000104e: PUSH1 0x00 00001050: MSTORE 00001051: PUSH1 0x20 00001053: PUSH1 0x00 00001055: KECCAK256 00001056: SWAP1 00001057: JUMPDEST 00001058: DUP2 00001059: SLOAD 0000105a: DUP2 0000105b: MSTORE 0000105c: SWAP1 0000105d: PUSH1 0x01 0000105f: ADD 00001060: SWAP1 00001061: PUSH1 0x20 00001063: ADD 00001064: DUP1 00001065: DUP4 00001066: GT 00001067: PUSH2 0x1057 0000106a: JUMPI 0000106b: DUP3 0000106c: SWAP1 0000106d: SUB 0000106e: PUSH1 0x1f 00001070: AND 00001071: DUP3 00001072: ADD 00001073: SWAP2 00001074: JUMPDEST 00001075: POP 00001076: SWAP4 00001077: SWAP5 00001078: POP 00001079: POP 0000107a: POP 0000107b: POP 0000107c: POP 0000107d: JUMPDEST 0000107e: SWAP2 0000107f: SWAP1 00001080: POP 00001081: JUMP 00001082: JUMPDEST 00001083: PUSH1 0x07 00001085: SLOAD 00001086: PUSH1 0x00 00001088: EQ 00001089: DUP1 0000108a: ISZERO 0000108b: SWAP1 0000108c: PUSH2 0x10be 0000108f: JUMPI 00001090: POP 00001091: PUSH1 0x07 00001093: DUP1 00001094: SLOAD 00001095: PUSH1 0x00 00001097: NOT 00001098: DUP2 00001099: ADD 0000109a: SWAP1 0000109b: DUP2 0000109c: LT 0000109d: ISZERO 0000109e: PUSH2 0x0002 000010a1: JUMPI 000010a2: PUSH1 0x00 000010a4: SWAP2 000010a5: SWAP1 000010a6: SWAP2 000010a7: MSTORE 000010a8: PUSH1 0x05 000010aa: MUL 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: MLOAD 000010af: PUSH1 0x20 000010b1: PUSH2 0x28d0 000010b4: DUP4 000010b5: CODECOPY 000010b6: DUP2 000010b7: MLOAD 000010b8: SWAP2 000010b9: MSTORE 000010ba: ADD 000010bb: SLOAD 000010bc: NUMBER 000010bd: EQ 000010be: JUMPDEST 000010bf: ISZERO 000010c0: PUSH2 0x10d1 000010c3: JUMPI 000010c4: PUSH1 0x04 000010c6: DUP1 000010c7: SLOAD 000010c8: PUSH1 0x01 000010ca: ADD 000010cb: SWAP1 000010cc: SSTORE 000010cd: PUSH2 0x10d7 000010d0: JUMP 000010d1: JUMPDEST 000010d2: PUSH1 0x00 000010d4: PUSH1 0x04 000010d6: SSTORE 000010d7: JUMPDEST 000010d8: PUSH1 0x03 000010da: SLOAD 000010db: PUSH1 0x04 000010dd: SLOAD 000010de: LT 000010df: PUSH2 0x10e7 000010e2: JUMPI 000010e3: PUSH2 0x0002 000010e6: JUMP 000010e7: JUMPDEST 000010e8: DUP4 000010e9: ISZERO 000010ea: PUSH2 0x10f4 000010ed: JUMPI 000010ee: POP 000010ef: PUSH1 0x01 000010f1: ADD 000010f2: PUSH1 0x00 000010f4: JUMPDEST 000010f5: DUP3 000010f6: ISZERO 000010f7: PUSH2 0x1102 000010fa: JUMPI 000010fb: POP 000010fc: PUSH1 0x01 000010fe: SWAP1 000010ff: DUP2 00001100: ADD 00001101: SWAP1 00001102: JUMPDEST 00001103: PUSH1 0xff 00001105: DUP3 00001106: AND 00001107: PUSH1 0x01 00001109: EQ 0000110a: PUSH2 0x1112 0000110d: JUMPI 0000110e: PUSH2 0x0002 00001111: JUMP 00001112: JUMPDEST 00001113: PUSH2 0x0b1c 00001116: PUSH1 0x05 00001118: DUP3 00001119: PUSH2 0x0af1 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x07 00001120: SLOAD 00001121: PUSH1 0x00 00001123: EQ 00001124: DUP1 00001125: ISZERO 00001126: SWAP1 00001127: PUSH2 0x1159 0000112a: JUMPI 0000112b: POP 0000112c: PUSH1 0x07 0000112e: DUP1 0000112f: SLOAD 00001130: PUSH1 0x00 00001132: NOT 00001133: DUP2 00001134: ADD 00001135: SWAP1 00001136: DUP2 00001137: LT 00001138: ISZERO 00001139: PUSH2 0x0002 0000113c: JUMPI 0000113d: PUSH1 0x00 0000113f: SWAP2 00001140: SWAP1 00001141: SWAP2 00001142: MSTORE 00001143: PUSH1 0x05 00001145: MUL 00001146: PUSH1 0x00 00001148: DUP1 00001149: MLOAD 0000114a: PUSH1 0x20 0000114c: PUSH2 0x28d0 0000114f: DUP4 00001150: CODECOPY 00001151: DUP2 00001152: MLOAD 00001153: SWAP2 00001154: MSTORE 00001155: ADD 00001156: SLOAD 00001157: NUMBER 00001158: EQ 00001159: JUMPDEST 0000115a: ISZERO 0000115b: PUSH2 0x116c 0000115e: JUMPI 0000115f: PUSH1 0x04 00001161: DUP1 00001162: SLOAD 00001163: PUSH1 0x01 00001165: ADD 00001166: SWAP1 00001167: SSTORE 00001168: PUSH2 0x1172 0000116b: JUMP 0000116c: JUMPDEST 0000116d: PUSH1 0x00 0000116f: PUSH1 0x04 00001171: SSTORE 00001172: JUMPDEST 00001173: PUSH1 0x03 00001175: SLOAD 00001176: PUSH1 0x04 00001178: SLOAD 00001179: LT 0000117a: PUSH2 0x1182 0000117d: JUMPI 0000117e: PUSH2 0x0002 00001181: JUMP 00001182: JUMPDEST 00001183: PUSH1 0x24 00001185: DUP2 00001186: PUSH1 0xff 00001188: AND 00001189: GT 0000118a: ISZERO 0000118b: PUSH2 0x1193 0000118e: JUMPI 0000118f: PUSH2 0x0002 00001192: JUMP 00001193: JUMPDEST 00001194: PUSH2 0x0bc2 00001197: PUSH1 0x00 00001199: DUP3 0000119a: PUSH2 0x0af1 0000119d: JUMP 0000119e: JUMPDEST 0000119f: PUSH1 0x07 000011a1: SLOAD 000011a2: PUSH1 0x00 000011a4: EQ 000011a5: DUP1 000011a6: ISZERO 000011a7: SWAP1 000011a8: PUSH2 0x11da 000011ab: JUMPI 000011ac: POP 000011ad: PUSH1 0x07 000011af: DUP1 000011b0: SLOAD 000011b1: PUSH1 0x00 000011b3: NOT 000011b4: DUP2 000011b5: ADD 000011b6: SWAP1 000011b7: DUP2 000011b8: LT 000011b9: ISZERO 000011ba: PUSH2 0x0002 000011bd: JUMPI 000011be: PUSH1 0x00 000011c0: SWAP2 000011c1: SWAP1 000011c2: SWAP2 000011c3: MSTORE 000011c4: PUSH1 0x05 000011c6: MUL 000011c7: PUSH1 0x00 000011c9: DUP1 000011ca: MLOAD 000011cb: PUSH1 0x20 000011cd: PUSH2 0x28d0 000011d0: DUP4 000011d1: CODECOPY 000011d2: DUP2 000011d3: MLOAD 000011d4: SWAP2 000011d5: MSTORE 000011d6: ADD 000011d7: SLOAD 000011d8: NUMBER 000011d9: EQ 000011da: JUMPDEST 000011db: ISZERO 000011dc: PUSH2 0x11ed 000011df: JUMPI 000011e0: PUSH1 0x04 000011e2: DUP1 000011e3: SLOAD 000011e4: PUSH1 0x01 000011e6: ADD 000011e7: SWAP1 000011e8: SSTORE 000011e9: PUSH2 0x11f3 000011ec: JUMP 000011ed: JUMPDEST 000011ee: PUSH1 0x00 000011f0: PUSH1 0x04 000011f2: SSTORE 000011f3: JUMPDEST 000011f4: PUSH1 0x03 000011f6: SLOAD 000011f7: PUSH1 0x04 000011f9: SLOAD 000011fa: LT 000011fb: PUSH2 0x1203 000011fe: JUMPI 000011ff: PUSH2 0x0002 00001202: JUMP 00001203: JUMPDEST 00001204: DUP3 00001205: ISZERO 00001206: PUSH2 0x1210 00001209: JUMPI 0000120a: POP 0000120b: PUSH1 0x01 0000120d: ADD 0000120e: PUSH1 0x00 00001210: JUMPDEST 00001211: DUP4 00001212: ISZERO 00001213: PUSH2 0x121e 00001216: JUMPI 00001217: POP 00001218: PUSH1 0x01 0000121a: SWAP1 0000121b: DUP2 0000121c: ADD 0000121d: SWAP1 0000121e: JUMPDEST 0000121f: PUSH1 0xff 00001221: DUP3 00001222: AND 00001223: PUSH1 0x01 00001225: EQ 00001226: PUSH2 0x122e 00001229: JUMPI 0000122a: PUSH2 0x0002 0000122d: JUMP 0000122e: JUMPDEST 0000122f: PUSH2 0x0b1c 00001232: PUSH1 0x02 00001234: DUP3 00001235: PUSH2 0x0af1 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH1 0x00 0000123c: SLOAD 0000123d: PUSH1 0x01 0000123f: PUSH1 0xa0 00001241: PUSH1 0x02 00001243: EXP 00001244: SUB 00001245: SWAP1 00001246: DUP2 00001247: AND 00001248: CALLER 00001249: SWAP1 0000124a: SWAP2 0000124b: AND 0000124c: EQ 0000124d: PUSH2 0x1255 00001250: JUMPI 00001251: PUSH2 0x0002 00001254: JUMP 00001255: JUMPDEST 00001256: PUSH1 0x00 00001258: PUSH2 0x063a 0000125b: DUP2 0000125c: SWAP1 0000125d: SSTORE 0000125e: SWAP4 0000125f: POP 00001260: JUMPDEST 00001261: PUSH1 0x4d 00001263: DUP5 00001264: PUSH1 0xff 00001266: AND 00001267: LT 00001268: ISZERO 00001269: PUSH2 0x1297 0000126c: JUMPI 0000126d: PUSH1 0x22 0000126f: PUSH1 0xff 00001271: DUP6 00001272: AND 00001273: PUSH2 0x0309 00001276: DUP2 00001277: LT 00001278: ISZERO 00001279: PUSH2 0x0002 0000127c: JUMPI 0000127d: PUSH1 0x02 0000127f: MUL 00001280: ADD 00001281: SLOAD 00001282: PUSH1 0x01 00001284: PUSH1 0xa0 00001286: PUSH1 0x02 00001288: EXP 00001289: SUB 0000128a: AND 0000128b: PUSH1 0x00 0000128d: EQ 0000128e: ISZERO 0000128f: PUSH2 0x12d3 00001292: JUMPI 00001293: PUSH2 0x130e 00001296: JUMP 00001297: JUMPDEST 00001298: PUSH1 0x00 0000129a: SWAP2 0000129b: POP 0000129c: JUMPDEST 0000129d: PUSH1 0x4d 0000129f: DUP3 000012a0: PUSH1 0xff 000012a2: AND 000012a3: LT 000012a4: ISZERO 000012a5: PUSH2 0x131a 000012a8: JUMPI 000012a9: PUSH1 0x22 000012ab: PUSH1 0xff 000012ad: DUP4 000012ae: AND 000012af: PUSH2 0x0309 000012b2: DUP2 000012b3: LT 000012b4: ISZERO 000012b5: PUSH2 0x0002 000012b8: JUMPI 000012b9: PUSH1 0x02 000012bb: MUL 000012bc: ADD 000012bd: SLOAD 000012be: PUSH1 0x01 000012c0: PUSH1 0xa0 000012c2: PUSH1 0x02 000012c4: EXP 000012c5: SUB 000012c6: AND 000012c7: PUSH1 0x00 000012c9: EQ 000012ca: ISZERO 000012cb: PUSH2 0x1355 000012ce: JUMPI 000012cf: PUSH2 0x13cc 000012d2: JUMP 000012d3: JUMPDEST 000012d4: PUSH2 0x0635 000012d7: PUSH1 0x00 000012d9: PUSH1 0x22 000012db: PUSH1 0xff 000012dd: DUP8 000012de: AND 000012df: PUSH2 0x0309 000012e2: DUP2 000012e3: LT 000012e4: ISZERO 000012e5: PUSH2 0x0002 000012e8: JUMPI 000012e9: PUSH1 0x02 000012eb: MUL 000012ec: ADD 000012ed: SLOAD 000012ee: PUSH1 0x01 000012f0: PUSH1 0xa0 000012f2: PUSH1 0x02 000012f4: EXP 000012f5: SUB 000012f6: AND 000012f7: DUP2 000012f8: MSTORE 000012f9: PUSH1 0x20 000012fb: SWAP2 000012fc: SWAP1 000012fd: SWAP2 000012fe: MSTORE 000012ff: PUSH1 0x40 00001301: SWAP1 00001302: KECCAK256 00001303: SLOAD 00001304: PUSH2 0x063a 00001307: DUP1 00001308: SLOAD 00001309: SWAP1 0000130a: SWAP2 0000130b: ADD 0000130c: SWAP1 0000130d: SSTORE 0000130e: JUMPDEST 0000130f: PUSH1 0x01 00001311: SWAP4 00001312: SWAP1 00001313: SWAP4 00001314: ADD 00001315: SWAP3 00001316: PUSH2 0x1260 00001319: JUMP 0000131a: JUMPDEST 0000131b: PUSH2 0x063c 0000131e: DUP1 0000131f: SLOAD 00001320: PUSH1 0x00 00001322: DUP1 00001323: SLOAD 00001324: PUSH1 0x01 00001326: PUSH1 0xa0 00001328: PUSH1 0x02 0000132a: EXP 0000132b: SUB 0000132c: AND 0000132d: DUP2 0000132e: MSTORE 0000132f: PUSH2 0x0635 00001332: PUSH1 0x20 00001334: MSTORE 00001335: PUSH1 0x40 00001337: DUP2 00001338: KECCAK256 00001339: DUP1 0000133a: SLOAD 0000133b: SWAP3 0000133c: DUP8 0000133d: SWAP1 0000133e: SUB 0000133f: SWAP1 00001340: SWAP3 00001341: ADD 00001342: SWAP1 00001343: SWAP2 00001344: SSTORE 00001345: PUSH1 0x1f 00001347: DUP1 00001348: SLOAD 00001349: DUP4 0000134a: SLOAD 0000134b: ADD 0000134c: SWAP1 0000134d: SSTORE 0000134e: SWAP1 0000134f: SSTORE 00001350: POP 00001351: POP 00001352: POP 00001353: POP 00001354: JUMP 00001355: JUMPDEST 00001356: PUSH2 0x063a 00001359: SLOAD 0000135a: PUSH2 0x063c 0000135d: SLOAD 0000135e: PUSH2 0x0635 00001361: PUSH1 0x00 00001363: PUSH1 0x22 00001365: PUSH1 0xff 00001367: DUP8 00001368: AND 00001369: PUSH2 0x0309 0000136c: DUP2 0000136d: LT 0000136e: ISZERO 0000136f: PUSH2 0x0002 00001372: JUMPI 00001373: PUSH1 0x02 00001375: MUL 00001376: DUP2 00001377: ADD 00001378: SLOAD 00001379: PUSH1 0x01 0000137b: PUSH1 0xa0 0000137d: PUSH1 0x02 0000137f: EXP 00001380: SUB 00001381: AND 00001382: DUP3 00001383: MSTORE 00001384: PUSH1 0x20 00001386: DUP4 00001387: SWAP1 00001388: MSTORE 00001389: PUSH1 0x40 0000138b: DUP3 0000138c: KECCAK256 0000138d: SLOAD 0000138e: SWAP4 0000138f: SWAP1 00001390: SWAP4 00001391: MUL 00001392: SWAP4 00001393: SWAP1 00001394: SWAP4 00001395: DIV 00001396: SWAP4 00001397: POP 00001398: DUP4 00001399: SWAP3 0000139a: SWAP1 0000139b: SWAP2 0000139c: PUSH1 0xff 0000139e: DUP7 0000139f: AND 000013a0: PUSH2 0x0309 000013a3: DUP2 000013a4: LT 000013a5: ISZERO 000013a6: PUSH2 0x0002 000013a9: JUMPI 000013aa: PUSH1 0x02 000013ac: MUL 000013ad: ADD 000013ae: SLOAD 000013af: PUSH1 0x01 000013b1: PUSH1 0xa0 000013b3: PUSH1 0x02 000013b5: EXP 000013b6: SUB 000013b7: AND 000013b8: DUP2 000013b9: MSTORE 000013ba: PUSH1 0x40 000013bc: SWAP1 000013bd: KECCAK256 000013be: DUP1 000013bf: SLOAD 000013c0: SWAP3 000013c1: SWAP1 000013c2: SWAP3 000013c3: ADD 000013c4: SWAP1 000013c5: SWAP2 000013c6: SSTORE 000013c7: POP 000013c8: SWAP2 000013c9: DUP3 000013ca: ADD 000013cb: SWAP2 000013cc: JUMPDEST 000013cd: PUSH1 0x01 000013cf: SWAP2 000013d0: SWAP1 000013d1: SWAP2 000013d2: ADD 000013d3: SWAP1 000013d4: PUSH2 0x129c 000013d7: JUMP 000013d8: JUMPDEST 000013d9: PUSH1 0x00 000013db: SLOAD 000013dc: PUSH1 0x01 000013de: PUSH1 0xa0 000013e0: PUSH1 0x02 000013e2: EXP 000013e3: SUB 000013e4: SWAP1 000013e5: DUP2 000013e6: AND 000013e7: CALLER 000013e8: SWAP1 000013e9: SWAP2 000013ea: AND 000013eb: EQ 000013ec: PUSH2 0x13f4 000013ef: JUMPI 000013f0: PUSH2 0x0002 000013f3: JUMP 000013f4: JUMPDEST 000013f5: PUSH1 0x64 000013f7: DUP11 000013f8: LT 000013f9: ISZERO 000013fa: PUSH2 0x1402 000013fd: JUMPI 000013fe: PUSH2 0x0002 00001401: JUMP 00001402: JUMPDEST 00001403: PUSH1 0x05 00001405: DUP11 00001406: SWAP1 00001407: SSTORE 00001408: PUSH1 0x03 0000140a: DUP10 0000140b: SWAP1 0000140c: SSTORE 0000140d: DUP8 0000140e: DUP8 0000140f: LT 00001410: ISZERO 00001411: PUSH2 0x1419 00001414: JUMPI 00001415: PUSH2 0x0002 00001418: JUMP 00001419: JUMPDEST 0000141a: PUSH1 0x01 0000141c: DUP8 0000141d: SWAP1 0000141e: SSTORE 0000141f: PUSH1 0x00 00001421: DUP9 00001422: LT 00001423: ISZERO 00001424: PUSH2 0x142c 00001427: JUMPI 00001428: PUSH2 0x0002 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH1 0x02 0000142f: DUP9 00001430: SWAP1 00001431: SSTORE 00001432: PUSH2 0x0634 00001435: SLOAD 00001436: PUSH2 0xffff 00001439: DUP1 0000143a: DUP9 0000143b: AND 0000143c: SWAP2 0000143d: AND 0000143e: EQ 0000143f: DUP1 00001440: ISZERO 00001441: SWAP1 00001442: PUSH2 0x144f 00001445: JUMPI 00001446: POP 00001447: PUSH1 0x07 00001449: SLOAD 0000144a: PUSH2 0x61a8 0000144d: SWAP1 0000144e: LT 0000144f: JUMPDEST 00001450: ISZERO 00001451: PUSH2 0x1459 00001454: JUMPI 00001455: PUSH2 0x0002 00001458: JUMP 00001459: JUMPDEST 0000145a: PUSH2 0x0634 0000145d: SLOAD 0000145e: PUSH2 0xffff 00001461: SWAP1 00001462: DUP2 00001463: AND 00001464: SWAP1 00001465: DUP8 00001466: AND 00001467: LT 00001468: DUP1 00001469: PUSH2 0x1477 0000146c: JUMPI 0000146d: POP 0000146e: PUSH2 0x0309 00001471: PUSH2 0xffff 00001474: DUP8 00001475: AND 00001476: GT 00001477: JUMPDEST 00001478: ISZERO 00001479: PUSH2 0x1481 0000147c: JUMPI 0000147d: PUSH2 0x0002 00001480: JUMP 00001481: JUMPDEST 00001482: PUSH2 0x0634 00001485: DUP1 00001486: SLOAD 00001487: PUSH2 0xffff 0000148a: NOT 0000148b: AND 0000148c: DUP8 0000148d: OR 0000148e: SWAP1 0000148f: SSTORE 00001490: PUSH2 0x14d8 00001493: PUSH1 0x00 00001495: PUSH2 0x063a 00001498: DUP2 00001499: SWAP1 0000149a: SSTORE 0000149b: PUSH2 0x063b 0000149e: DUP2 0000149f: SWAP1 000014a0: SSTORE 000014a1: JUMPDEST 000014a2: PUSH1 0x4d 000014a4: DUP2 000014a5: PUSH1 0xff 000014a7: AND 000014a8: LT 000014a9: ISZERO 000014aa: PUSH2 0x1cf3 000014ad: JUMPI 000014ae: PUSH1 0x22 000014b0: PUSH1 0xff 000014b2: DUP3 000014b3: AND 000014b4: PUSH2 0x0309 000014b7: DUP2 000014b8: LT 000014b9: ISZERO 000014ba: PUSH2 0x0002 000014bd: JUMPI 000014be: PUSH1 0x02 000014c0: MUL 000014c1: ADD 000014c2: SLOAD 000014c3: PUSH1 0x01 000014c5: PUSH1 0xa0 000014c7: PUSH1 0x02 000014c9: EXP 000014ca: SUB 000014cb: AND 000014cc: PUSH1 0x00 000014ce: EQ 000014cf: ISZERO 000014d0: PUSH2 0x1d13 000014d3: JUMPI 000014d4: PUSH2 0x1de7 000014d7: JUMP 000014d8: JUMPDEST 000014d9: DUP5 000014da: DUP5 000014db: LT 000014dc: ISZERO 000014dd: PUSH2 0x14e5 000014e0: JUMPI 000014e1: PUSH2 0x0002 000014e4: JUMP 000014e5: JUMPDEST 000014e6: PUSH2 0x0637 000014e9: DUP6 000014ea: SWAP1 000014eb: SSTORE 000014ec: PUSH2 0x0638 000014ef: DUP5 000014f0: SWAP1 000014f1: SSTORE 000014f2: PUSH2 0x0636 000014f5: SLOAD 000014f6: PUSH4 0x01da9c00 000014fb: SWAP1 000014fc: GT 000014fd: ISZERO 000014fe: PUSH2 0x1506 00001501: JUMPI 00001502: PUSH2 0x0002 00001505: JUMP 00001506: JUMPDEST 00001507: PUSH2 0x0636 0000150a: DUP4 0000150b: SWAP1 0000150c: SSTORE 0000150d: PUSH1 0x00 0000150f: DUP1 00001510: SLOAD 00001511: PUSH21 0xff0000000000000000000000000000000000000000 00001527: NOT 00001528: AND 00001529: PUSH1 0xa0 0000152b: PUSH1 0x02 0000152d: EXP 0000152e: DUP5 0000152f: DUP2 00001530: MUL 00001531: SWAP2 00001532: SWAP1 00001533: SWAP2 00001534: OR 00001535: SWAP2 00001536: DUP3 00001537: SWAP1 00001538: SSTORE 00001539: SWAP1 0000153a: DIV 0000153b: PUSH1 0xff 0000153d: SWAP1 0000153e: DUP2 0000153f: AND 00001540: PUSH1 0x14 00001542: ADD 00001543: DUP2 00001544: AND 00001545: SWAP1 00001546: DUP3 00001547: AND 00001548: LT 00001549: ISZERO 0000154a: PUSH2 0x1552 0000154d: JUMPI 0000154e: PUSH2 0x0002 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH1 0x00 00001555: DUP1 00001556: SLOAD 00001557: PUSH22 0xff000000000000000000000000000000000000000000 0000156e: NOT 0000156f: AND 00001570: PUSH1 0xa8 00001572: PUSH1 0x02 00001574: EXP 00001575: DUP4 00001576: MUL 00001577: OR 00001578: SWAP1 00001579: SSTORE 0000157a: PUSH2 0x1581 0000157d: PUSH2 0x08bf 00001580: JUMP 00001581: JUMPDEST 00001582: POP 00001583: POP 00001584: POP 00001585: POP 00001586: POP 00001587: POP 00001588: POP 00001589: POP 0000158a: POP 0000158b: POP 0000158c: JUMP 0000158d: JUMPDEST 0000158e: PUSH2 0x0bc2 00001591: DUP2 00001592: JUMPDEST 00001593: PUSH1 0x00 00001595: PUSH1 0x00 00001597: PUSH1 0x00 00001599: PUSH1 0x00 0000159b: DUP5 0000159c: PUSH1 0x01 0000159e: PUSH1 0xa0 000015a0: PUSH1 0x02 000015a2: EXP 000015a3: SUB 000015a4: AND 000015a5: PUSH1 0x00 000015a7: EQ 000015a8: ISZERO 000015a9: PUSH2 0x15b0 000015ac: JUMPI 000015ad: CALLER 000015ae: SWAP5 000015af: POP 000015b0: JUMPDEST 000015b1: PUSH1 0x01 000015b3: PUSH1 0xa0 000015b5: PUSH1 0x02 000015b7: EXP 000015b8: SUB 000015b9: DUP6 000015ba: AND 000015bb: PUSH1 0x00 000015bd: SWAP1 000015be: DUP2 000015bf: MSTORE 000015c0: PUSH1 0x0a 000015c2: PUSH1 0x20 000015c4: MSTORE 000015c5: PUSH1 0x40 000015c7: SWAP1 000015c8: KECCAK256 000015c9: SLOAD 000015ca: PUSH1 0xff 000015cc: AND 000015cd: PUSH1 0x01 000015cf: EQ 000015d0: PUSH2 0x1def 000015d3: JUMPI 000015d4: PUSH2 0x0002 000015d7: JUMP 000015d8: JUMPDEST 000015d9: PUSH2 0x03e7 000015dc: SWAP5 000015dd: POP 000015de: PUSH1 0x00 000015e0: SWAP3 000015e1: POP 000015e2: JUMPDEST 000015e3: PUSH2 0x0634 000015e6: SLOAD 000015e7: PUSH2 0xffff 000015ea: SWAP1 000015eb: DUP2 000015ec: AND 000015ed: SWAP1 000015ee: DUP5 000015ef: AND 000015f0: LT 000015f1: ISZERO 000015f2: PUSH2 0x1662 000015f5: JUMPI 000015f6: PUSH1 0x22 000015f8: PUSH2 0xffff 000015fb: DUP5 000015fc: AND 000015fd: PUSH2 0x0309 00001600: DUP2 00001601: LT 00001602: ISZERO 00001603: PUSH2 0x0002 00001606: JUMPI 00001607: PUSH1 0x02 00001609: MUL 0000160a: ADD 0000160b: SLOAD 0000160c: PUSH1 0x01 0000160e: PUSH1 0xa0 00001610: PUSH1 0x02 00001612: EXP 00001613: SUB 00001614: AND 00001615: PUSH1 0x00 00001617: EQ 00001618: ISZERO 00001619: PUSH2 0x162e 0000161c: JUMPI 0000161d: DUP3 0000161e: SWAP5 0000161f: POP 00001620: DUP5 00001621: POP 00001622: JUMPDEST 00001623: PUSH1 0x01 00001625: SWAP3 00001626: SWAP1 00001627: SWAP3 00001628: ADD 00001629: SWAP2 0000162a: PUSH2 0x15e2 0000162d: JUMP 0000162e: JUMPDEST 0000162f: PUSH1 0x01 00001631: PUSH1 0xa0 00001633: PUSH1 0x02 00001635: EXP 00001636: SUB 00001637: CALLER 00001638: AND 00001639: PUSH1 0x22 0000163b: PUSH2 0xffff 0000163e: DUP6 0000163f: AND 00001640: PUSH2 0x0309 00001643: DUP2 00001644: LT 00001645: ISZERO 00001646: PUSH2 0x0002 00001649: JUMPI 0000164a: PUSH1 0x02 0000164c: MUL 0000164d: ADD 0000164e: SLOAD 0000164f: PUSH1 0x01 00001651: PUSH1 0xa0 00001653: PUSH1 0x02 00001655: EXP 00001656: SUB 00001657: AND 00001658: EQ 00001659: ISZERO 0000165a: PUSH2 0x1622 0000165d: JUMPI 0000165e: PUSH1 0x01 00001660: SWAP4 00001661: POP 00001662: JUMPDEST 00001663: DUP4 00001664: ISZERO 00001665: ISZERO 00001666: PUSH2 0x1679 00001669: JUMPI 0000166a: PUSH2 0x0637 0000166d: SLOAD 0000166e: CALLVALUE 0000166f: LT 00001670: ISZERO 00001671: PUSH2 0x16a7 00001674: JUMPI 00001675: PUSH2 0x0002 00001678: JUMP 00001679: JUMPDEST 0000167a: PUSH2 0x0638 0000167d: SLOAD 0000167e: PUSH1 0x01 00001680: PUSH1 0xa0 00001682: PUSH1 0x02 00001684: EXP 00001685: SUB 00001686: CALLER 00001687: AND 00001688: PUSH1 0x00 0000168a: SWAP1 0000168b: DUP2 0000168c: MSTORE 0000168d: PUSH2 0x0635 00001690: PUSH1 0x20 00001692: MSTORE 00001693: PUSH1 0x40 00001695: SWAP1 00001696: KECCAK256 00001697: SLOAD 00001698: CALLVALUE 00001699: SWAP9 0000169a: POP 0000169b: DUP9 0000169c: ADD 0000169d: GT 0000169e: ISZERO 0000169f: PUSH2 0x1785 000016a2: JUMPI 000016a3: PUSH2 0x0002 000016a6: JUMP 000016a7: JUMPDEST 000016a8: PUSH2 0x0638 000016ab: SLOAD 000016ac: CALLVALUE 000016ad: GT 000016ae: ISZERO 000016af: PUSH2 0x16c3 000016b2: JUMPI 000016b3: PUSH2 0x0638 000016b6: SLOAD 000016b7: SWAP7 000016b8: POP 000016b9: CALLVALUE 000016ba: DUP8 000016bb: SWAP1 000016bc: SUB 000016bd: SWAP6 000016be: POP 000016bf: PUSH2 0x16c7 000016c2: JUMP 000016c3: JUMPDEST 000016c4: CALLVALUE 000016c5: SWAP7 000016c6: POP 000016c7: JUMPDEST 000016c8: PUSH2 0x0634 000016cb: SLOAD 000016cc: PUSH1 0x4d 000016ce: PUSH2 0xffff 000016d1: SWAP1 000016d2: SWAP2 000016d3: AND 000016d4: GT 000016d5: DUP1 000016d6: ISZERO 000016d7: PUSH2 0x16e4 000016da: JUMPI 000016db: POP 000016dc: PUSH1 0x4d 000016de: DUP6 000016df: PUSH2 0xffff 000016e2: AND 000016e3: LT 000016e4: JUMPDEST 000016e5: ISZERO 000016e6: PUSH2 0x16ee 000016e9: JUMPI 000016ea: PUSH2 0x0002 000016ed: JUMP 000016ee: JUMPDEST 000016ef: PUSH2 0x03e7 000016f2: PUSH2 0xffff 000016f5: DUP7 000016f6: AND 000016f7: EQ 000016f8: PUSH2 0x1780 000016fb: JUMPI 000016fc: PUSH1 0x40 000016fe: DUP1 000016ff: MLOAD 00001700: DUP1 00001701: DUP3 00001702: ADD 00001703: SWAP1 00001704: SWAP2 00001705: MSTORE 00001706: CALLER 00001707: DUP2 00001708: MSTORE 00001709: TIMESTAMP 0000170a: PUSH1 0x20 0000170c: DUP3 0000170d: ADD 0000170e: MSTORE 0000170f: PUSH1 0x22 00001711: PUSH2 0xffff 00001714: DUP8 00001715: AND 00001716: PUSH2 0x0309 00001719: DUP2 0000171a: LT 0000171b: ISZERO 0000171c: PUSH2 0x0002 0000171f: JUMPI 00001720: PUSH1 0x02 00001722: MUL 00001723: SWAP1 00001724: DUP2 00001725: ADD 00001726: DUP1 00001727: SLOAD 00001728: PUSH1 0x01 0000172a: PUSH1 0xa0 0000172c: PUSH1 0x02 0000172e: EXP 0000172f: SUB 00001730: NOT 00001731: AND 00001732: CALLER 00001733: OR 00001734: SWAP1 00001735: SSTORE 00001736: TIMESTAMP 00001737: PUSH1 0x23 00001739: SWAP2 0000173a: SWAP1 0000173b: SWAP2 0000173c: ADD 0000173d: SSTORE 0000173e: POP 0000173f: JUMPDEST 00001740: PUSH1 0x00 00001742: DUP1 00001743: SLOAD 00001744: PUSH1 0x40 00001746: MLOAD 00001747: PUSH1 0x64 00001749: PUSH1 0x0a 0000174b: DUP12 0000174c: MUL 0000174d: DIV 0000174e: SWAP10 0000174f: DUP11 00001750: SWAP1 00001751: SUB 00001752: SWAP10 00001753: SWAP5 00001754: POP 00001755: PUSH1 0x01 00001757: PUSH1 0xa0 00001759: PUSH1 0x02 0000175b: EXP 0000175c: SUB 0000175d: SWAP2 0000175e: SWAP1 0000175f: SWAP2 00001760: AND 00001761: SWAP2 00001762: SWAP1 00001763: DUP5 00001764: SWAP1 00001765: DUP3 00001766: DUP2 00001767: DUP2 00001768: DUP2 00001769: DUP6 0000176a: DUP9 0000176b: DUP4 0000176c: CALL 0000176d: ISZERO 0000176e: ISZERO 0000176f: SWAP1 00001770: SWAP3 00001771: EQ 00001772: ISZERO 00001773: SWAP3 00001774: POP 00001775: PUSH2 0x1799 00001778: SWAP2 00001779: POP 0000177a: POP 0000177b: JUMPI 0000177c: PUSH2 0x0002 0000177f: JUMP 00001780: JUMPDEST 00001781: PUSH2 0x0002 00001784: JUMP 00001785: JUMPDEST 00001786: PUSH2 0x0637 00001789: SLOAD 0000178a: PUSH1 0x05 0000178c: SWAP1 0000178d: DIV 0000178e: CALLVALUE 0000178f: LT 00001790: ISZERO 00001791: PUSH2 0x173f 00001794: JUMPI 00001795: PUSH2 0x0002 00001798: JUMP 00001799: JUMPDEST 0000179a: PUSH2 0x0634 0000179d: SLOAD 0000179e: PUSH1 0x4d 000017a0: PUSH2 0xffff 000017a3: SWAP1 000017a4: SWAP2 000017a5: AND 000017a6: GT 000017a7: ISZERO 000017a8: PUSH2 0x17c9 000017ab: JUMPI 000017ac: POP 000017ad: PUSH2 0x063b 000017b0: SLOAD 000017b1: PUSH2 0x063c 000017b4: DUP1 000017b5: SLOAD 000017b6: PUSH1 0x64 000017b8: SWAP3 000017b9: DUP10 000017ba: MUL 000017bb: SWAP3 000017bc: SWAP1 000017bd: SWAP3 000017be: DIV 000017bf: SWAP2 000017c0: DUP3 000017c1: ADD 000017c2: SWAP1 000017c3: SSTORE 000017c4: SWAP6 000017c5: DUP7 000017c6: SWAP1 000017c7: SUB 000017c8: SWAP6 000017c9: JUMPDEST 000017ca: PUSH1 0x40 000017cc: DUP1 000017cd: MLOAD 000017ce: PUSH1 0x01 000017d0: PUSH1 0xa0 000017d2: PUSH1 0x02 000017d4: EXP 000017d5: SUB 000017d6: CALLER 000017d7: AND 000017d8: DUP2 000017d9: MSTORE 000017da: CALLVALUE 000017db: PUSH1 0x20 000017dd: DUP3 000017de: ADD 000017df: MSTORE 000017e0: DUP1 000017e1: DUP3 000017e2: ADD 000017e3: DUP10 000017e4: SWAP1 000017e5: MSTORE 000017e6: SWAP1 000017e7: MLOAD 000017e8: PUSH32 0x7acd04125f685c90097481d254317c7cd6b69a6c8eb0d0eb375f6a98ad268732 00001809: SWAP2 0000180a: DUP2 0000180b: SWAP1 0000180c: SUB 0000180d: PUSH1 0x60 0000180f: ADD 00001810: SWAP1 00001811: LOG1 00001812: PUSH1 0x01 00001814: PUSH1 0xa0 00001816: PUSH1 0x02 00001818: EXP 00001819: SUB 0000181a: CALLER 0000181b: AND 0000181c: PUSH1 0x00 0000181e: SWAP1 0000181f: DUP2 00001820: MSTORE 00001821: PUSH2 0x0635 00001824: PUSH1 0x20 00001826: MSTORE 00001827: PUSH1 0x40 00001829: SWAP1 0000182a: KECCAK256 0000182b: DUP1 0000182c: SLOAD 0000182d: DUP9 0000182e: ADD 0000182f: SWAP1 00001830: SSTORE 00001831: PUSH1 0x1f 00001833: DUP1 00001834: SLOAD 00001835: DUP9 00001836: ADD 00001837: SWAP1 00001838: SSTORE 00001839: PUSH2 0x1840 0000183c: PUSH2 0x08bf 0000183f: JUMP 00001840: JUMPDEST 00001841: PUSH1 0x00 00001843: DUP7 00001844: GT 00001845: ISZERO 00001846: PUSH2 0x1878 00001849: JUMPI 0000184a: PUSH1 0x40 0000184c: MLOAD 0000184d: PUSH1 0x01 0000184f: PUSH1 0xa0 00001851: PUSH1 0x02 00001853: EXP 00001854: SUB 00001855: CALLER 00001856: AND 00001857: SWAP1 00001858: PUSH1 0x00 0000185a: SWAP1 0000185b: DUP9 0000185c: SWAP1 0000185d: DUP3 0000185e: DUP2 0000185f: DUP2 00001860: DUP2 00001861: DUP6 00001862: DUP9 00001863: DUP4 00001864: CALL 00001865: ISZERO 00001866: ISZERO 00001867: SWAP1 00001868: SWAP3 00001869: EQ 0000186a: ISZERO 0000186b: SWAP3 0000186c: POP 0000186d: PUSH2 0x1878 00001870: SWAP2 00001871: POP 00001872: POP 00001873: JUMPI 00001874: PUSH2 0x0002 00001877: JUMP 00001878: JUMPDEST 00001879: POP 0000187a: POP 0000187b: POP 0000187c: POP 0000187d: POP 0000187e: POP 0000187f: POP 00001880: JUMP 00001881: JUMPDEST 00001882: PUSH1 0x01 00001884: PUSH1 0xa0 00001886: PUSH1 0x02 00001888: EXP 00001889: SUB 0000188a: CALLER 0000188b: AND 0000188c: PUSH1 0x00 0000188e: SWAP1 0000188f: DUP2 00001890: MSTORE 00001891: PUSH1 0x0a 00001893: PUSH1 0x20 00001895: SWAP1 00001896: DUP2 00001897: MSTORE 00001898: PUSH1 0x40 0000189a: DUP1 0000189b: DUP4 0000189c: KECCAK256 0000189d: DUP1 0000189e: SLOAD 0000189f: PUSH1 0xff 000018a1: NOT 000018a2: AND 000018a3: PUSH1 0x01 000018a5: SWAP1 000018a6: DUP2 000018a7: OR 000018a8: SWAP1 000018a9: SWAP2 000018aa: SSTORE 000018ab: PUSH1 0x07 000018ad: SLOAD 000018ae: PUSH1 0x09 000018b0: SWAP1 000018b1: SWAP4 000018b2: MSTORE 000018b3: SWAP3 000018b4: KECCAK256 000018b5: SSTORE 000018b6: PUSH1 0x08 000018b8: DUP1 000018b9: SLOAD 000018ba: SWAP1 000018bb: SWAP2 000018bc: ADD 000018bd: SWAP1 000018be: SSTORE 000018bf: PUSH2 0x18d3 000018c2: PUSH1 0x02 000018c4: SLOAD 000018c5: PUSH1 0x00 000018c7: SWAP1 000018c8: CALLVALUE 000018c9: LT 000018ca: ISZERO 000018cb: PUSH2 0x2287 000018ce: JUMPI 000018cf: PUSH2 0x0002 000018d2: JUMP 000018d3: JUMPDEST 000018d4: SWAP1 000018d5: POP 000018d6: PUSH1 0x07 000018d8: PUSH1 0x00 000018da: POP 000018db: DUP1 000018dc: SLOAD 000018dd: DUP1 000018de: PUSH1 0x01 000018e0: ADD 000018e1: DUP3 000018e2: DUP2 000018e3: DUP2 000018e4: SLOAD 000018e5: DUP2 000018e6: DUP4 000018e7: SSTORE 000018e8: DUP2 000018e9: DUP2 000018ea: ISZERO 000018eb: GT 000018ec: PUSH2 0x1964 000018ef: JUMPI 000018f0: PUSH1 0x00 000018f2: DUP4 000018f3: SWAP1 000018f4: MSTORE 000018f5: PUSH2 0x1964 000018f8: SWAP1 000018f9: PUSH1 0x05 000018fb: SWAP1 000018fc: DUP2 000018fd: MUL 000018fe: PUSH1 0x00 00001900: DUP1 00001901: MLOAD 00001902: PUSH1 0x20 00001904: PUSH2 0x28f0 00001907: DUP4 00001908: CODECOPY 00001909: DUP2 0000190a: MLOAD 0000190b: SWAP2 0000190c: MSTORE 0000190d: SWAP1 0000190e: DUP2 0000190f: ADD 00001910: SWAP2 00001911: DUP5 00001912: MUL 00001913: ADD 00001914: JUMPDEST 00001915: DUP1 00001916: DUP3 00001917: GT 00001918: ISZERO 00001919: PUSH2 0x0bf5 0000191c: JUMPI 0000191d: DUP1 0000191e: SLOAD 0000191f: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00001938: NOT 00001939: AND 0000193a: DUP2 0000193b: SSTORE 0000193c: PUSH1 0x00 0000193e: PUSH1 0x01 00001940: DUP3 00001941: ADD 00001942: DUP2 00001943: SWAP1 00001944: SSTORE 00001945: PUSH1 0x02 00001947: DUP3 00001948: ADD 00001949: DUP2 0000194a: SWAP1 0000194b: SSTORE 0000194c: PUSH1 0x03 0000194e: DUP3 0000194f: ADD 00001950: SSTORE 00001951: PUSH1 0x04 00001953: DUP2 00001954: ADD 00001955: DUP1 00001956: SLOAD 00001957: PUSH1 0xff 00001959: NOT 0000195a: AND 0000195b: SWAP1 0000195c: SSTORE 0000195d: PUSH1 0x05 0000195f: ADD 00001960: PUSH2 0x1914 00001963: JUMP 00001964: JUMPDEST 00001965: POP 00001966: POP 00001967: POP 00001968: PUSH1 0x00 0000196a: SWAP3 0000196b: DUP4 0000196c: MSTORE 0000196d: POP 0000196e: PUSH1 0x40 00001970: DUP1 00001971: MLOAD 00001972: PUSH1 0x20 00001974: DUP1 00001975: DUP6 00001976: KECCAK256 00001977: PUSH2 0x0120 0000197a: DUP4 0000197b: ADD 0000197c: DUP5 0000197d: MSTORE 0000197e: CALLER 0000197f: DUP1 00001980: DUP5 00001981: MSTORE 00001982: SWAP2 00001983: DUP4 00001984: ADD 00001985: DUP7 00001986: SWAP1 00001987: MSTORE 00001988: SWAP3 00001989: DUP3 0000198a: ADD 0000198b: DUP6 0000198c: SWAP1 0000198d: MSTORE 0000198e: PUSH1 0x60 00001990: DUP3 00001991: ADD 00001992: DUP9 00001993: SWAP1 00001994: MSTORE 00001995: PUSH1 0x80 00001997: DUP3 00001998: ADD 00001999: DUP8 0000199a: SWAP1 0000199b: MSTORE 0000199c: PUSH1 0xa0 0000199e: DUP3 0000199f: ADD 000019a0: DUP7 000019a1: SWAP1 000019a2: MSTORE 000019a3: NUMBER 000019a4: PUSH1 0xc0 000019a6: DUP4 000019a7: ADD 000019a8: DUP2 000019a9: SWAP1 000019aa: MSTORE 000019ab: PUSH1 0xe0 000019ad: DUP4 000019ae: ADD 000019af: DUP7 000019b0: SWAP1 000019b1: MSTORE 000019b2: PUSH1 0x25 000019b4: PUSH2 0x0100 000019b7: SWAP4 000019b8: SWAP1 000019b9: SWAP4 000019ba: ADD 000019bb: DUP4 000019bc: SWAP1 000019bd: MSTORE 000019be: PUSH1 0x05 000019c0: SWAP5 000019c1: SWAP1 000019c2: SWAP5 000019c3: MUL 000019c4: SWAP1 000019c5: SWAP3 000019c6: ADD 000019c7: DUP1 000019c8: SLOAD 000019c9: PUSH1 0x01 000019cb: PUSH1 0xa0 000019cd: PUSH1 0x02 000019cf: EXP 000019d0: SUB 000019d1: NOT 000019d2: AND 000019d3: SWAP1 000019d4: SWAP3 000019d5: OR 000019d6: PUSH23 0xffffff0000000000000000000000000000000000000000 000019ee: NOT 000019ef: AND 000019f0: PUSH1 0xb0 000019f2: PUSH1 0x02 000019f4: EXP 000019f5: DUP9 000019f6: MUL 000019f7: OR 000019f8: PUSH24 0xff0000000000000000000000000000000000000000000000 00001a11: NOT 00001a12: AND 00001a13: PUSH1 0xb8 00001a15: PUSH1 0x02 00001a17: EXP 00001a18: DUP8 00001a19: MUL 00001a1a: OR 00001a1b: DUP3 00001a1c: SSTORE 00001a1d: PUSH1 0x01 00001a1f: DUP3 00001a20: ADD 00001a21: DUP6 00001a22: SWAP1 00001a23: SSTORE 00001a24: PUSH1 0x02 00001a26: DUP3 00001a27: ADD 00001a28: SWAP3 00001a29: SWAP1 00001a2a: SWAP3 00001a2b: SSTORE 00001a2c: PUSH1 0x03 00001a2e: DUP2 00001a2f: ADD 00001a30: SWAP3 00001a31: SWAP1 00001a32: SWAP3 00001a33: SSTORE 00001a34: PUSH1 0x04 00001a36: SWAP2 00001a37: SWAP1 00001a38: SWAP2 00001a39: ADD 00001a3a: DUP1 00001a3b: SLOAD 00001a3c: PUSH1 0xff 00001a3e: NOT 00001a3f: AND 00001a40: SWAP1 00001a41: SWAP2 00001a42: OR 00001a43: SWAP1 00001a44: SSTORE 00001a45: CALLVALUE 00001a46: DUP2 00001a47: LT 00001a48: ISZERO 00001a49: PUSH2 0x0bbf 00001a4c: JUMPI 00001a4d: PUSH1 0x40 00001a4f: MLOAD 00001a50: PUSH1 0x01 00001a52: PUSH1 0xa0 00001a54: PUSH1 0x02 00001a56: EXP 00001a57: SUB 00001a58: CALLER 00001a59: AND 00001a5a: SWAP1 00001a5b: PUSH1 0x00 00001a5d: SWAP1 00001a5e: CALLVALUE 00001a5f: DUP5 00001a60: SWAP1 00001a61: SUB 00001a62: SWAP1 00001a63: DUP3 00001a64: DUP2 00001a65: DUP2 00001a66: DUP2 00001a67: DUP6 00001a68: DUP9 00001a69: DUP4 00001a6a: CALL 00001a6b: ISZERO 00001a6c: ISZERO 00001a6d: SWAP1 00001a6e: SWAP3 00001a6f: EQ 00001a70: ISZERO 00001a71: SWAP3 00001a72: POP 00001a73: PUSH2 0x0bbf 00001a76: SWAP2 00001a77: POP 00001a78: POP 00001a79: JUMPI 00001a7a: PUSH2 0x0002 00001a7d: JUMP 00001a7e: JUMPDEST 00001a7f: PUSH1 0x20 00001a81: SLOAD 00001a82: PUSH1 0x21 00001a84: SLOAD 00001a85: SWAP1 00001a86: GT 00001a87: ISZERO 00001a88: PUSH2 0x1b23 00001a8b: JUMPI 00001a8c: PUSH1 0x20 00001a8e: SLOAD 00001a8f: PUSH1 0x21 00001a91: SLOAD 00001a92: PUSH1 0x00 00001a94: DUP1 00001a95: SLOAD 00001a96: PUSH1 0x40 00001a98: MLOAD 00001a99: PUSH1 0x64 00001a9b: SWAP4 00001a9c: SWAP1 00001a9d: SWAP5 00001a9e: SUB 00001a9f: PUSH1 0x14 00001aa1: DUP2 00001aa2: MUL 00001aa3: SWAP4 00001aa4: SWAP1 00001aa5: SWAP4 00001aa6: DIV 00001aa7: SWAP3 00001aa8: DUP4 00001aa9: SWAP1 00001aaa: SUB 00001aab: SWAP12 00001aac: POP 00001aad: SWAP2 00001aae: SWAP9 00001aaf: POP 00001ab0: PUSH1 0x01 00001ab2: PUSH1 0xa0 00001ab4: PUSH1 0x02 00001ab6: EXP 00001ab7: SUB 00001ab8: SWAP2 00001ab9: SWAP1 00001aba: SWAP2 00001abb: AND 00001abc: SWAP2 00001abd: DUP9 00001abe: SWAP1 00001abf: DUP3 00001ac0: DUP2 00001ac1: DUP2 00001ac2: DUP2 00001ac3: DUP6 00001ac4: DUP9 00001ac5: DUP4 00001ac6: CALL 00001ac7: ISZERO 00001ac8: ISZERO 00001ac9: SWAP1 00001aca: SWAP3 00001acb: EQ 00001acc: ISZERO 00001acd: SWAP3 00001ace: POP 00001acf: PUSH2 0x1b74 00001ad2: SWAP2 00001ad3: POP 00001ad4: POP 00001ad5: JUMPI 00001ad6: PUSH2 0x0002 00001ad9: JUMP 00001ada: JUMPDEST 00001adb: PUSH1 0x00 00001add: DUP8 00001ade: EQ 00001adf: PUSH2 0x1b0e 00001ae2: JUMPI 00001ae3: PUSH1 0x1f 00001ae5: DUP1 00001ae6: SLOAD 00001ae7: DUP9 00001ae8: SWAP1 00001ae9: SUB 00001aea: SWAP1 00001aeb: SSTORE 00001aec: PUSH1 0x00 00001aee: DUP1 00001aef: SLOAD 00001af0: PUSH1 0x01 00001af2: PUSH1 0xa0 00001af4: PUSH1 0x02 00001af6: EXP 00001af7: SUB 00001af8: AND 00001af9: DUP2 00001afa: MSTORE 00001afb: PUSH2 0x0635 00001afe: PUSH1 0x20 00001b00: MSTORE 00001b01: PUSH1 0x40 00001b03: SWAP1 00001b04: KECCAK256 00001b05: DUP1 00001b06: SLOAD 00001b07: DUP7 00001b08: DUP10 00001b09: SUB 00001b0a: SWAP1 00001b0b: SUB 00001b0c: SWAP1 00001b0d: SSTORE 00001b0e: JUMPDEST 00001b0f: PUSH1 0x00 00001b11: PUSH1 0x20 00001b13: DUP2 00001b14: SWAP1 00001b15: SSTORE 00001b16: PUSH1 0x21 00001b18: SSTORE 00001b19: JUMPDEST 00001b1a: POP 00001b1b: POP 00001b1c: POP 00001b1d: POP 00001b1e: POP 00001b1f: POP 00001b20: POP 00001b21: POP 00001b22: JUMP 00001b23: JUMPDEST 00001b24: PUSH1 0x20 00001b26: SLOAD 00001b27: PUSH1 0x21 00001b29: SLOAD 00001b2a: SUB 00001b2b: SWAP7 00001b2c: POP 00001b2d: JUMPDEST 00001b2e: PUSH1 0x00 00001b30: SWAP4 00001b31: POP 00001b32: JUMPDEST 00001b33: PUSH2 0x0634 00001b36: SLOAD 00001b37: PUSH2 0xffff 00001b3a: SWAP1 00001b3b: DUP2 00001b3c: AND 00001b3d: SWAP1 00001b3e: DUP6 00001b3f: AND 00001b40: LT 00001b41: ISZERO 00001b42: PUSH2 0x1b79 00001b45: JUMPI 00001b46: PUSH1 0x22 00001b48: PUSH2 0xffff 00001b4b: DUP6 00001b4c: AND 00001b4d: PUSH2 0x0309 00001b50: DUP2 00001b51: LT 00001b52: ISZERO 00001b53: PUSH2 0x0002 00001b56: JUMPI 00001b57: PUSH1 0x02 00001b59: MUL 00001b5a: ADD 00001b5b: SLOAD 00001b5c: PUSH1 0x01 00001b5e: PUSH1 0xa0 00001b60: PUSH1 0x02 00001b62: EXP 00001b63: SUB 00001b64: AND 00001b65: SWAP3 00001b66: POP 00001b67: PUSH1 0x00 00001b69: DUP4 00001b6a: EQ 00001b6b: ISZERO 00001b6c: PUSH2 0x1baf 00001b6f: JUMPI 00001b70: PUSH2 0x1c25 00001b73: JUMP 00001b74: JUMPDEST 00001b75: PUSH2 0x1b2d 00001b78: JUMP 00001b79: JUMPDEST 00001b7a: PUSH1 0x00 00001b7c: DUP9 00001b7d: EQ 00001b7e: PUSH2 0x1ada 00001b81: JUMPI 00001b82: PUSH1 0x1f 00001b84: DUP1 00001b85: SLOAD 00001b86: DUP10 00001b87: ADD 00001b88: SWAP1 00001b89: SSTORE 00001b8a: PUSH1 0x00 00001b8c: DUP1 00001b8d: SLOAD 00001b8e: PUSH1 0x01 00001b90: PUSH1 0xa0 00001b92: PUSH1 0x02 00001b94: EXP 00001b95: SUB 00001b96: AND 00001b97: DUP2 00001b98: MSTORE 00001b99: PUSH2 0x0635 00001b9c: PUSH1 0x20 00001b9e: MSTORE 00001b9f: PUSH1 0x40 00001ba1: SWAP1 00001ba2: KECCAK256 00001ba3: DUP1 00001ba4: SLOAD 00001ba5: DUP7 00001ba6: DUP11 00001ba7: SUB 00001ba8: ADD 00001ba9: SWAP1 00001baa: SSTORE 00001bab: PUSH2 0x1b0e 00001bae: JUMP 00001baf: JUMPDEST 00001bb0: PUSH1 0x00 00001bb2: DUP9 00001bb3: EQ 00001bb4: PUSH2 0x1bec 00001bb7: JUMPI 00001bb8: PUSH1 0x1f 00001bba: SLOAD 00001bbb: PUSH1 0x01 00001bbd: PUSH1 0xa0 00001bbf: PUSH1 0x02 00001bc1: EXP 00001bc2: SUB 00001bc3: DUP5 00001bc4: AND 00001bc5: PUSH1 0x00 00001bc7: SWAP1 00001bc8: DUP2 00001bc9: MSTORE 00001bca: PUSH2 0x0635 00001bcd: PUSH1 0x20 00001bcf: MSTORE 00001bd0: PUSH1 0x40 00001bd2: SWAP1 00001bd3: KECCAK256 00001bd4: DUP1 00001bd5: SLOAD 00001bd6: DUP11 00001bd7: DUP2 00001bd8: MUL 00001bd9: SWAP3 00001bda: SWAP1 00001bdb: SWAP3 00001bdc: DIV 00001bdd: SWAP2 00001bde: DUP3 00001bdf: ADD 00001be0: SWAP1 00001be1: SSTORE 00001be2: SWAP5 00001be3: DUP6 00001be4: ADD 00001be5: SWAP5 00001be6: SWAP2 00001be7: POP 00001be8: PUSH2 0x1c25 00001beb: JUMP 00001bec: JUMPDEST 00001bed: PUSH1 0x00 00001bef: DUP8 00001bf0: EQ 00001bf1: PUSH2 0x1c25 00001bf4: JUMPI 00001bf5: POP 00001bf6: PUSH1 0x1f 00001bf8: SLOAD 00001bf9: PUSH1 0x01 00001bfb: PUSH1 0xa0 00001bfd: PUSH1 0x02 00001bff: EXP 00001c00: SUB 00001c01: DUP4 00001c02: AND 00001c03: PUSH1 0x00 00001c05: SWAP1 00001c06: DUP2 00001c07: MSTORE 00001c08: PUSH2 0x0635 00001c0b: PUSH1 0x20 00001c0d: MSTORE 00001c0e: PUSH1 0x40 00001c10: SWAP1 00001c11: KECCAK256 00001c12: DUP1 00001c13: SLOAD 00001c14: DUP1 00001c15: DUP10 00001c16: MUL 00001c17: SWAP3 00001c18: SWAP1 00001c19: SWAP3 00001c1a: DIV 00001c1b: SWAP2 00001c1c: DUP3 00001c1d: SWAP1 00001c1e: SUB 00001c1f: SWAP1 00001c20: SSTORE 00001c21: SWAP4 00001c22: DUP5 00001c23: ADD 00001c24: SWAP4 00001c25: JUMPDEST 00001c26: PUSH1 0x01 00001c28: SWAP4 00001c29: SWAP1 00001c2a: SWAP4 00001c2b: ADD 00001c2c: SWAP3 00001c2d: PUSH2 0x1b32 00001c30: JUMP 00001c31: JUMPDEST 00001c32: PUSH1 0x05 00001c34: SLOAD 00001c35: PUSH1 0x1f 00001c37: SLOAD 00001c38: PUSH1 0x23 00001c3a: SWAP2 00001c3b: SWAP1 00001c3c: SWAP2 00001c3d: MUL 00001c3e: SWAP1 00001c3f: DIV 00001c40: PUSH1 0x06 00001c42: SSTORE 00001c43: JUMP 00001c44: JUMPDEST 00001c45: PUSH1 0x07 00001c47: SLOAD 00001c48: PUSH1 0x00 00001c4a: EQ 00001c4b: DUP1 00001c4c: ISZERO 00001c4d: SWAP1 00001c4e: PUSH2 0x1c80 00001c51: JUMPI 00001c52: POP 00001c53: PUSH1 0x07 00001c55: DUP1 00001c56: SLOAD 00001c57: PUSH1 0x00 00001c59: NOT 00001c5a: DUP2 00001c5b: ADD 00001c5c: SWAP1 00001c5d: DUP2 00001c5e: LT 00001c5f: ISZERO 00001c60: PUSH2 0x0002 00001c63: JUMPI 00001c64: PUSH1 0x00 00001c66: SWAP2 00001c67: SWAP1 00001c68: SWAP2 00001c69: MSTORE 00001c6a: PUSH1 0x05 00001c6c: MUL 00001c6d: PUSH1 0x00 00001c6f: DUP1 00001c70: MLOAD 00001c71: PUSH1 0x20 00001c73: PUSH2 0x28d0 00001c76: DUP4 00001c77: CODECOPY 00001c78: DUP2 00001c79: MLOAD 00001c7a: SWAP2 00001c7b: MSTORE 00001c7c: ADD 00001c7d: SLOAD 00001c7e: NUMBER 00001c7f: EQ 00001c80: JUMPDEST 00001c81: ISZERO 00001c82: PUSH2 0x1c93 00001c85: JUMPI 00001c86: PUSH1 0x04 00001c88: DUP1 00001c89: SLOAD 00001c8a: PUSH1 0x01 00001c8c: ADD 00001c8d: SWAP1 00001c8e: SSTORE 00001c8f: PUSH2 0x1c99 00001c92: JUMP 00001c93: JUMPDEST 00001c94: PUSH1 0x00 00001c96: PUSH1 0x04 00001c98: SSTORE 00001c99: JUMPDEST 00001c9a: PUSH1 0x03 00001c9c: SLOAD 00001c9d: PUSH1 0x04 00001c9f: SLOAD 00001ca0: LT 00001ca1: PUSH2 0x1ca9 00001ca4: JUMPI 00001ca5: PUSH2 0x0002 00001ca8: JUMP 00001ca9: JUMPDEST 00001caa: DUP6 00001cab: ISZERO 00001cac: PUSH2 0x1cb6 00001caf: JUMPI 00001cb0: POP 00001cb1: PUSH1 0x01 00001cb3: ADD 00001cb4: PUSH1 0x00 00001cb6: JUMPDEST 00001cb7: DUP5 00001cb8: ISZERO 00001cb9: PUSH2 0x1cc4 00001cbc: JUMPI 00001cbd: POP 00001cbe: PUSH1 0x01 00001cc0: SWAP1 00001cc1: DUP2 00001cc2: ADD 00001cc3: SWAP1 00001cc4: JUMPDEST 00001cc5: DUP4 00001cc6: ISZERO 00001cc7: PUSH2 0x1cd1 00001cca: JUMPI 00001ccb: POP 00001ccc: PUSH1 0x01 00001cce: ADD 00001ccf: PUSH1 0x02 00001cd1: JUMPDEST 00001cd2: PUSH1 0xff 00001cd4: DUP3 00001cd5: AND 00001cd6: PUSH1 0x01 00001cd8: EQ 00001cd9: PUSH2 0x1ce1 00001cdc: JUMPI 00001cdd: PUSH2 0x0002 00001ce0: JUMP 00001ce1: JUMPDEST 00001ce2: PUSH2 0x1ceb 00001ce5: DUP4 00001ce6: DUP3 00001ce7: PUSH2 0x0af1 00001cea: JUMP 00001ceb: JUMPDEST 00001cec: POP 00001ced: POP 00001cee: POP 00001cef: POP 00001cf0: POP 00001cf1: POP 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH2 0x063a 00001cf7: SLOAD 00001cf8: PUSH1 0x00 00001cfa: EQ 00001cfb: PUSH2 0x0bc2 00001cfe: JUMPI 00001cff: PUSH2 0x063a 00001d02: SLOAD 00001d03: PUSH2 0x063b 00001d06: DUP1 00001d07: SLOAD 00001d08: SWAP2 00001d09: SWAP1 00001d0a: SWAP2 00001d0b: DIV 00001d0c: PUSH1 0x64 00001d0e: SUB 00001d0f: SWAP1 00001d10: SSTORE 00001d11: POP 00001d12: JUMP 00001d13: JUMPDEST 00001d14: PUSH2 0x0639 00001d17: PUSH1 0x00 00001d19: PUSH1 0x22 00001d1b: PUSH1 0xff 00001d1d: DUP5 00001d1e: AND 00001d1f: PUSH2 0x0309 00001d22: DUP2 00001d23: LT 00001d24: ISZERO 00001d25: PUSH2 0x0002 00001d28: JUMPI 00001d29: PUSH1 0x02 00001d2b: MUL 00001d2c: ADD 00001d2d: SLOAD 00001d2e: PUSH1 0x01 00001d30: PUSH1 0xa0 00001d32: PUSH1 0x02 00001d34: EXP 00001d35: SUB 00001d36: AND 00001d37: DUP2 00001d38: MSTORE 00001d39: PUSH1 0x20 00001d3b: SWAP2 00001d3c: SWAP1 00001d3d: SWAP2 00001d3e: MSTORE 00001d3f: PUSH1 0x40 00001d41: DUP2 00001d42: KECCAK256 00001d43: SLOAD 00001d44: EQ 00001d45: ISZERO 00001d46: PUSH2 0x1d4e 00001d49: JUMPI 00001d4a: PUSH2 0x1de7 00001d4d: JUMP 00001d4e: JUMPDEST 00001d4f: PUSH2 0x0635 00001d52: PUSH1 0x00 00001d54: PUSH1 0x22 00001d56: PUSH1 0xff 00001d58: DUP5 00001d59: AND 00001d5a: PUSH2 0x0309 00001d5d: DUP2 00001d5e: LT 00001d5f: ISZERO 00001d60: PUSH2 0x0002 00001d63: JUMPI 00001d64: PUSH1 0x02 00001d66: MUL 00001d67: DUP2 00001d68: ADD 00001d69: SLOAD 00001d6a: PUSH1 0x01 00001d6c: PUSH1 0xa0 00001d6e: PUSH1 0x02 00001d70: EXP 00001d71: SUB 00001d72: AND 00001d73: DUP3 00001d74: MSTORE 00001d75: PUSH1 0x20 00001d77: DUP4 00001d78: SWAP1 00001d79: MSTORE 00001d7a: PUSH2 0x063a 00001d7d: DUP1 00001d7e: SLOAD 00001d7f: PUSH1 0x40 00001d81: DUP5 00001d82: KECCAK256 00001d83: SLOAD 00001d84: ADD 00001d85: SWAP1 00001d86: SSTORE 00001d87: PUSH1 0xff 00001d89: DUP5 00001d8a: AND 00001d8b: PUSH2 0x0309 00001d8e: DUP2 00001d8f: LT 00001d90: ISZERO 00001d91: PUSH2 0x0002 00001d94: JUMPI 00001d95: PUSH1 0x02 00001d97: MUL 00001d98: DUP2 00001d99: ADD 00001d9a: SLOAD 00001d9b: PUSH1 0x01 00001d9d: PUSH1 0xa0 00001d9f: PUSH1 0x02 00001da1: EXP 00001da2: SUB 00001da3: AND 00001da4: DUP3 00001da5: MSTORE 00001da6: PUSH1 0x40 00001da8: DUP3 00001da9: KECCAK256 00001daa: SLOAD 00001dab: SWAP3 00001dac: POP 00001dad: PUSH2 0x0639 00001db0: SWAP2 00001db1: SWAP1 00001db2: PUSH1 0xff 00001db4: DUP6 00001db5: AND 00001db6: PUSH2 0x0309 00001db9: DUP2 00001dba: LT 00001dbb: ISZERO 00001dbc: PUSH2 0x0002 00001dbf: JUMPI 00001dc0: PUSH1 0x02 00001dc2: MUL 00001dc3: ADD 00001dc4: SLOAD 00001dc5: PUSH1 0x01 00001dc7: PUSH1 0xa0 00001dc9: PUSH1 0x02 00001dcb: EXP 00001dcc: SUB 00001dcd: AND 00001dce: DUP2 00001dcf: MSTORE 00001dd0: PUSH1 0x20 00001dd2: SWAP2 00001dd3: SWAP1 00001dd4: SWAP2 00001dd5: MSTORE 00001dd6: PUSH1 0x40 00001dd8: SWAP1 00001dd9: KECCAK256 00001dda: SLOAD 00001ddb: PUSH2 0x063b 00001dde: DUP1 00001ddf: SLOAD 00001de0: SWAP2 00001de1: SWAP1 00001de2: SWAP3 00001de3: MUL 00001de4: ADD 00001de5: SWAP1 00001de6: SSTORE 00001de7: JUMPDEST 00001de8: PUSH1 0x01 00001dea: ADD 00001deb: PUSH2 0x14a1 00001dee: JUMP 00001def: JUMPDEST 00001df0: PUSH1 0x01 00001df2: PUSH1 0xa0 00001df4: PUSH1 0x02 00001df6: EXP 00001df7: SUB 00001df8: DUP6 00001df9: AND 00001dfa: PUSH1 0x00 00001dfc: SWAP1 00001dfd: DUP2 00001dfe: MSTORE 00001dff: PUSH1 0x09 00001e01: PUSH1 0x20 00001e03: MSTORE 00001e04: PUSH1 0x40 00001e06: SWAP1 00001e07: KECCAK256 00001e08: SLOAD 00001e09: PUSH1 0x07 00001e0b: DUP1 00001e0c: SLOAD 00001e0d: SWAP1 00001e0e: SWAP2 00001e0f: SWAP1 00001e10: DUP2 00001e11: LT 00001e12: ISZERO 00001e13: PUSH2 0x0002 00001e16: JUMPI 00001e17: PUSH1 0x00 00001e19: SWAP2 00001e1a: SWAP1 00001e1b: SWAP2 00001e1c: MSTORE 00001e1d: PUSH1 0x05 00001e1f: MUL 00001e20: PUSH1 0x00 00001e22: DUP1 00001e23: MLOAD 00001e24: PUSH1 0x20 00001e26: PUSH2 0x28f0 00001e29: DUP4 00001e2a: CODECOPY 00001e2b: DUP2 00001e2c: MLOAD 00001e2d: SWAP2 00001e2e: MSTORE 00001e2f: ADD 00001e30: SLOAD 00001e31: PUSH1 0xa0 00001e33: PUSH1 0x02 00001e35: EXP 00001e36: SWAP1 00001e37: DIV 00001e38: PUSH1 0xff 00001e3a: AND 00001e3b: ISZERO 00001e3c: ISZERO 00001e3d: PUSH1 0x01 00001e3f: EQ 00001e40: ISZERO 00001e41: PUSH2 0x1e49 00001e44: JUMPI 00001e45: PUSH2 0x0002 00001e48: JUMP 00001e49: JUMPDEST 00001e4a: PUSH1 0x01 00001e4c: PUSH1 0xa0 00001e4e: PUSH1 0x02 00001e50: EXP 00001e51: SUB 00001e52: DUP6 00001e53: AND 00001e54: PUSH1 0x00 00001e56: SWAP1 00001e57: DUP2 00001e58: MSTORE 00001e59: PUSH1 0x09 00001e5b: PUSH1 0x20 00001e5d: MSTORE 00001e5e: PUSH1 0x40 00001e60: SWAP1 00001e61: KECCAK256 00001e62: SLOAD 00001e63: PUSH1 0x07 00001e65: DUP1 00001e66: SLOAD 00001e67: SWAP1 00001e68: SWAP2 00001e69: SWAP1 00001e6a: DUP2 00001e6b: LT 00001e6c: ISZERO 00001e6d: PUSH2 0x0002 00001e70: JUMPI 00001e71: PUSH1 0x00 00001e73: SWAP2 00001e74: DUP3 00001e75: MSTORE 00001e76: SWAP1 00001e77: SLOAD 00001e78: PUSH1 0x05 00001e7a: SWAP2 00001e7b: SWAP1 00001e7c: SWAP2 00001e7d: MUL 00001e7e: PUSH1 0x00 00001e80: DUP1 00001e81: MLOAD 00001e82: PUSH1 0x20 00001e84: PUSH2 0x28d0 00001e87: DUP4 00001e88: CODECOPY 00001e89: DUP2 00001e8a: MLOAD 00001e8b: SWAP2 00001e8c: MSTORE 00001e8d: ADD 00001e8e: SLOAD 00001e8f: SWAP5 00001e90: POP 00001e91: PUSH1 0xa0 00001e93: PUSH1 0x02 00001e95: EXP 00001e96: SWAP1 00001e97: DIV 00001e98: PUSH1 0xff 00001e9a: AND 00001e9b: DUP5 00001e9c: ADD 00001e9d: NUMBER 00001e9e: GT 00001e9f: PUSH2 0x1ea7 00001ea2: JUMPI 00001ea3: PUSH2 0x0002 00001ea6: JUMP 00001ea7: JUMPDEST 00001ea8: PUSH1 0x00 00001eaa: SLOAD 00001eab: PUSH1 0xa8 00001ead: PUSH1 0x02 00001eaf: EXP 00001eb0: SWAP1 00001eb1: DIV 00001eb2: PUSH1 0xff 00001eb4: AND 00001eb5: DUP5 00001eb6: ADD 00001eb7: NUMBER 00001eb8: GT 00001eb9: ISZERO 00001eba: PUSH2 0x1ece 00001ebd: JUMPI 00001ebe: PUSH2 0x1eed 00001ec1: DUP6 00001ec2: PUSH1 0xff 00001ec4: PUSH1 0x00 00001ec6: PUSH1 0x01 00001ec8: DUP2 00001ec9: DUP1 00001eca: PUSH2 0x1fe9 00001ecd: JUMP 00001ece: JUMPDEST 00001ecf: PUSH1 0x00 00001ed1: DUP1 00001ed2: SLOAD 00001ed3: PUSH1 0xa0 00001ed5: PUSH1 0x02 00001ed7: EXP 00001ed8: SWAP1 00001ed9: DIV 00001eda: PUSH1 0xff 00001edc: AND 00001edd: DUP6 00001ede: ADD 00001edf: BLOCKHASH 00001ee0: SWAP3 00001ee1: POP 00001ee2: DUP3 00001ee3: EQ 00001ee4: ISZERO 00001ee5: PUSH2 0x1ef4 00001ee8: JUMPI 00001ee9: PUSH2 0x0002 00001eec: JUMP 00001eed: JUMPDEST 00001eee: POP 00001eef: POP 00001ef0: POP 00001ef1: POP 00001ef2: POP 00001ef3: JUMP 00001ef4: JUMPDEST 00001ef5: POP 00001ef6: PUSH1 0x40 00001ef8: DUP1 00001ef9: MLOAD 00001efa: PUSH1 0x01 00001efc: PUSH1 0xa0 00001efe: PUSH1 0x02 00001f00: EXP 00001f01: SUB 00001f02: DUP7 00001f03: AND 00001f04: PUSH13 0x01000000000000000000000000 00001f12: MUL 00001f13: DUP2 00001f14: MSTORE 00001f15: PUSH1 0x14 00001f17: DUP2 00001f18: ADD 00001f19: DUP4 00001f1a: SWAP1 00001f1b: MSTORE 00001f1c: SWAP1 00001f1d: MLOAD 00001f1e: SWAP1 00001f1f: DUP2 00001f20: SWAP1 00001f21: SUB 00001f22: PUSH1 0x34 00001f24: ADD 00001f25: SWAP1 00001f26: KECCAK256 00001f27: PUSH1 0x25 00001f29: DUP2 00001f2a: MOD 00001f2b: SWAP3 00001f2c: POP 00001f2d: PUSH2 0x1eed 00001f30: DUP4 00001f31: DUP7 00001f32: DUP5 00001f33: DUP5 00001f34: PUSH1 0x01 00001f36: PUSH1 0xa0 00001f38: PUSH1 0x02 00001f3a: EXP 00001f3b: SUB 00001f3c: DUP4 00001f3d: AND 00001f3e: PUSH1 0x00 00001f40: SWAP1 00001f41: DUP2 00001f42: MSTORE 00001f43: PUSH1 0x09 00001f45: PUSH1 0x20 00001f47: MSTORE 00001f48: PUSH1 0x07 00001f4a: DUP1 00001f4b: SLOAD 00001f4c: PUSH1 0x40 00001f4e: DUP4 00001f4f: KECCAK256 00001f50: SLOAD 00001f51: SWAP1 00001f52: DUP2 00001f53: LT 00001f54: ISZERO 00001f55: PUSH2 0x0002 00001f58: JUMPI 00001f59: SWAP1 00001f5a: DUP3 00001f5b: MSTORE 00001f5c: PUSH1 0x05 00001f5e: MUL 00001f5f: PUSH1 0x00 00001f61: DUP1 00001f62: MLOAD 00001f63: PUSH1 0x20 00001f65: PUSH2 0x28f0 00001f68: DUP4 00001f69: CODECOPY 00001f6a: DUP2 00001f6b: MLOAD 00001f6c: SWAP2 00001f6d: MSTORE 00001f6e: ADD 00001f6f: SLOAD 00001f70: PUSH1 0xb0 00001f72: PUSH1 0x02 00001f74: EXP 00001f75: SWAP1 00001f76: DIV 00001f77: PUSH1 0xff 00001f79: AND 00001f7a: SWAP1 00001f7b: DUP2 00001f7c: EQ 00001f7d: ISZERO 00001f7e: PUSH2 0x2357 00001f81: JUMPI 00001f82: PUSH2 0x23e4 00001f85: DUP6 00001f86: DUP6 00001f87: DUP6 00001f88: DUP6 00001f89: PUSH1 0x01 00001f8b: PUSH1 0xa0 00001f8d: PUSH1 0x02 00001f8f: EXP 00001f90: SUB 00001f91: DUP4 00001f92: AND 00001f93: PUSH1 0x00 00001f95: SWAP1 00001f96: DUP2 00001f97: MSTORE 00001f98: PUSH1 0x09 00001f9a: PUSH1 0x20 00001f9c: MSTORE 00001f9d: PUSH1 0x40 00001f9f: DUP2 00001fa0: KECCAK256 00001fa1: SLOAD 00001fa2: PUSH1 0x07 00001fa4: DUP1 00001fa5: SLOAD 00001fa6: SWAP1 00001fa7: SWAP2 00001fa8: SWAP1 00001fa9: DUP2 00001faa: LT 00001fab: ISZERO 00001fac: PUSH2 0x0002 00001faf: JUMPI 00001fb0: SWAP1 00001fb1: DUP3 00001fb2: MSTORE 00001fb3: PUSH1 0x05 00001fb5: MUL 00001fb6: PUSH1 0x00 00001fb8: DUP1 00001fb9: MLOAD 00001fba: PUSH1 0x20 00001fbc: PUSH2 0x28f0 00001fbf: DUP4 00001fc0: CODECOPY 00001fc1: DUP2 00001fc2: MLOAD 00001fc3: SWAP2 00001fc4: MSTORE 00001fc5: ADD 00001fc6: SLOAD 00001fc7: PUSH1 0xff 00001fc9: DUP7 00001fca: DUP2 00001fcb: AND 00001fcc: PUSH1 0xb8 00001fce: PUSH1 0x02 00001fd0: EXP 00001fd1: SWAP1 00001fd2: SWAP3 00001fd3: DIV 00001fd4: AND 00001fd5: EQ 00001fd6: ISZERO 00001fd7: PUSH2 0x1fde 00001fda: JUMPI 00001fdb: POP 00001fdc: PUSH1 0x01 00001fde: JUMPDEST 00001fdf: PUSH2 0x1eed 00001fe2: DUP5 00001fe3: DUP7 00001fe4: DUP4 00001fe5: PUSH1 0x24 00001fe7: DUP8 00001fe8: DUP8 00001fe9: JUMPDEST 00001fea: PUSH1 0x01 00001fec: PUSH1 0xa0 00001fee: PUSH1 0x02 00001ff0: EXP 00001ff1: SUB 00001ff2: DUP7 00001ff3: AND 00001ff4: PUSH1 0x00 00001ff6: SWAP1 00001ff7: DUP2 00001ff8: MSTORE 00001ff9: PUSH1 0x0a 00001ffb: PUSH1 0x20 00001ffd: SWAP1 00001ffe: DUP2 00001fff: MSTORE 00002000: PUSH1 0x40 00002002: DUP1 00002003: DUP4 00002004: KECCAK256 00002005: DUP1 00002006: SLOAD 00002007: PUSH1 0xff 00002009: NOT 0000200a: AND 0000200b: SWAP1 0000200c: SSTORE 0000200d: PUSH1 0x09 0000200f: SWAP1 00002010: SWAP2 00002011: MSTORE 00002012: PUSH1 0x07 00002014: DUP1 00002015: SLOAD 00002016: SWAP2 00002017: DUP4 00002018: KECCAK256 00002019: SLOAD 0000201a: DUP4 0000201b: SWAP3 0000201c: DUP10 0000201d: SWAP3 0000201e: SWAP2 0000201f: SWAP1 00002020: DUP2 00002021: LT 00002022: ISZERO 00002023: PUSH2 0x0002 00002026: JUMPI 00002027: PUSH1 0x40 00002029: DUP5 0000202a: KECCAK256 0000202b: PUSH1 0x05 0000202d: SWAP2 0000202e: SWAP1 0000202f: SWAP2 00002030: MUL 00002031: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c68c 00002052: ADD 00002053: DUP1 00002054: SLOAD 00002055: PUSH1 0xff 00002057: NOT 00002058: AND 00002059: SWAP4 0000205a: SWAP1 0000205b: SWAP4 0000205c: OR 0000205d: SWAP1 0000205e: SWAP3 0000205f: SSTORE 00002060: PUSH1 0x01 00002062: PUSH1 0xa0 00002064: PUSH1 0x02 00002066: EXP 00002067: SUB 00002068: DUP11 00002069: AND 0000206a: DUP4 0000206b: MSTORE 0000206c: DUP1 0000206d: SLOAD 0000206e: SWAP2 0000206f: SLOAD 00002070: PUSH1 0x01 00002072: SWAP3 00002073: DUP2 00002074: LT 00002075: ISZERO 00002076: PUSH2 0x0002 00002079: JUMPI 0000207a: PUSH1 0x00 0000207c: SWAP2 0000207d: DUP3 0000207e: MSTORE 0000207f: PUSH1 0x05 00002081: MUL 00002082: PUSH1 0x00 00002084: DUP1 00002085: MLOAD 00002086: PUSH1 0x20 00002088: PUSH2 0x28f0 0000208b: DUP4 0000208c: CODECOPY 0000208d: DUP2 0000208e: MLOAD 0000208f: SWAP2 00002090: MSTORE 00002091: ADD 00002092: SWAP1 00002093: POP 00002094: DUP1 00002095: SLOAD 00002096: PUSH1 0xa0 00002098: PUSH1 0x02 0000209a: EXP 0000209b: SWAP3 0000209c: SWAP1 0000209d: SWAP3 0000209e: MUL 0000209f: PUSH21 0xff0000000000000000000000000000000000000000 000020b5: NOT 000020b6: SWAP3 000020b7: SWAP1 000020b8: SWAP3 000020b9: AND 000020ba: SWAP2 000020bb: SWAP1 000020bc: SWAP2 000020bd: OR 000020be: SWAP1 000020bf: SSTORE 000020c0: PUSH1 0x01 000020c2: PUSH1 0xa0 000020c4: PUSH1 0x02 000020c6: EXP 000020c7: SUB 000020c8: DUP9 000020c9: AND 000020ca: PUSH1 0x00 000020cc: SWAP1 000020cd: DUP2 000020ce: MSTORE 000020cf: PUSH1 0x09 000020d1: PUSH1 0x20 000020d3: MSTORE 000020d4: PUSH1 0x40 000020d6: SWAP1 000020d7: KECCAK256 000020d8: SLOAD 000020d9: PUSH1 0x07 000020db: DUP1 000020dc: SLOAD 000020dd: NUMBER 000020de: SWAP3 000020df: SWAP1 000020e0: DUP2 000020e1: LT 000020e2: ISZERO 000020e3: PUSH2 0x0002 000020e6: JUMPI 000020e7: PUSH1 0x00 000020e9: SWAP2 000020ea: DUP3 000020eb: MSTORE 000020ec: PUSH1 0x05 000020ee: MUL 000020ef: PUSH1 0x00 000020f1: DUP1 000020f2: MLOAD 000020f3: PUSH1 0x20 000020f5: PUSH2 0x28f0 000020f8: DUP4 000020f9: CODECOPY 000020fa: DUP2 000020fb: MLOAD 000020fc: SWAP2 000020fd: MSTORE 000020fe: ADD 000020ff: SWAP1 00002100: POP 00002101: PUSH1 0x03 00002103: ADD 00002104: SSTORE 00002105: PUSH1 0x01 00002107: PUSH1 0xa0 00002109: PUSH1 0x02 0000210b: EXP 0000210c: SUB 0000210d: DUP9 0000210e: AND 0000210f: PUSH1 0x00 00002111: SWAP1 00002112: DUP2 00002113: MSTORE 00002114: PUSH1 0x09 00002116: PUSH1 0x20 00002118: MSTORE 00002119: PUSH1 0x40 0000211b: SWAP1 0000211c: KECCAK256 0000211d: SLOAD 0000211e: PUSH1 0x07 00002120: DUP1 00002121: SLOAD 00002122: SWAP1 00002123: SWAP2 00002124: SWAP1 00002125: DUP2 00002126: LT 00002127: ISZERO 00002128: PUSH2 0x0002 0000212b: JUMPI 0000212c: SWAP1 0000212d: DUP3 0000212e: MSTORE 0000212f: PUSH1 0x05 00002131: MUL 00002132: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c689 00002153: ADD 00002154: SLOAD 00002155: SWAP2 00002156: POP 00002157: DUP6 00002158: ISZERO 00002159: PUSH2 0x22a2 0000215c: JUMPI 0000215d: PUSH1 0x01 0000215f: PUSH1 0xa0 00002161: PUSH1 0x02 00002163: EXP 00002164: SUB 00002165: DUP9 00002166: AND 00002167: PUSH1 0x00 00002169: SWAP1 0000216a: DUP2 0000216b: MSTORE 0000216c: PUSH1 0x09 0000216e: PUSH1 0x20 00002170: MSTORE 00002171: PUSH1 0x40 00002173: SWAP1 00002174: KECCAK256 00002175: SLOAD 00002176: PUSH1 0x07 00002178: DUP1 00002179: SLOAD 0000217a: PUSH1 0x01 0000217c: SWAP3 0000217d: SWAP1 0000217e: DUP2 0000217f: LT 00002180: ISZERO 00002181: PUSH2 0x0002 00002184: JUMPI 00002185: PUSH1 0x00 00002187: SWAP2 00002188: DUP3 00002189: MSTORE 0000218a: PUSH1 0x05 0000218c: MUL 0000218d: PUSH1 0x00 0000218f: DUP1 00002190: MLOAD 00002191: PUSH1 0x20 00002193: PUSH2 0x28f0 00002196: DUP4 00002197: CODECOPY 00002198: DUP2 00002199: MLOAD 0000219a: SWAP2 0000219b: MSTORE 0000219c: ADD 0000219d: SWAP1 0000219e: POP 0000219f: DUP1 000021a0: SLOAD 000021a1: PUSH1 0xa8 000021a3: PUSH1 0x02 000021a5: EXP 000021a6: SWAP3 000021a7: SWAP1 000021a8: SWAP3 000021a9: MUL 000021aa: PUSH22 0xff000000000000000000000000000000000000000000 000021c1: NOT 000021c2: SWAP3 000021c3: SWAP1 000021c4: SWAP3 000021c5: AND 000021c6: SWAP2 000021c7: SWAP1 000021c8: SWAP2 000021c9: OR 000021ca: SWAP1 000021cb: SSTORE 000021cc: POP 000021cd: PUSH1 0x21 000021cf: DUP1 000021d0: SLOAD 000021d1: PUSH1 0x00 000021d3: NOT 000021d4: DUP7 000021d5: ADD 000021d6: PUSH1 0xff 000021d8: SWAP1 000021d9: DUP2 000021da: AND 000021db: DUP5 000021dc: MUL 000021dd: SWAP2 000021de: DUP3 000021df: ADD 000021e0: SWAP1 000021e1: SWAP3 000021e2: SSTORE 000021e3: PUSH1 0x01 000021e5: PUSH1 0xa0 000021e7: PUSH1 0x02 000021e9: EXP 000021ea: SUB 000021eb: DUP10 000021ec: AND 000021ed: PUSH1 0x00 000021ef: DUP2 000021f0: DUP2 000021f1: MSTORE 000021f2: PUSH1 0x09 000021f4: PUSH1 0x20 000021f6: SWAP1 000021f7: DUP2 000021f8: MSTORE 000021f9: PUSH1 0x40 000021fb: SWAP2 000021fc: DUP3 000021fd: SWAP1 000021fe: KECCAK256 000021ff: SLOAD 00002200: DUP3 00002201: MLOAD 00002202: SWAP4 00002203: DUP5 00002204: MSTORE 00002205: SWAP5 00002206: DUP12 00002207: AND 00002208: SWAP1 00002209: DUP4 0000220a: ADD 0000220b: MSTORE 0000220c: DUP2 0000220d: DUP2 0000220e: ADD 0000220f: DUP4 00002210: SWAP1 00002211: MSTORE 00002212: PUSH1 0x60 00002214: DUP3 00002215: ADD 00002216: DUP8 00002217: SWAP1 00002218: MSTORE 00002219: PUSH1 0x80 0000221b: DUP3 0000221c: ADD 0000221d: DUP7 0000221e: SWAP1 0000221f: MSTORE 00002220: PUSH1 0xa0 00002222: DUP3 00002223: ADD 00002224: SWAP4 00002225: SWAP1 00002226: SWAP4 00002227: MSTORE 00002228: SWAP2 00002229: MLOAD 0000222a: SWAP1 0000222b: SWAP2 0000222c: PUSH32 0x2d405b4396de541fd8b7448de00c152385ac44ad14f9eb281de4262f1243a735 0000224d: SWAP2 0000224e: SWAP1 0000224f: DUP2 00002250: SWAP1 00002251: SUB 00002252: PUSH1 0xc0 00002254: ADD 00002255: SWAP1 00002256: LOG1 00002257: PUSH1 0x40 00002259: MLOAD 0000225a: PUSH1 0x01 0000225c: PUSH1 0xa0 0000225e: PUSH1 0x02 00002260: EXP 00002261: SUB 00002262: DUP10 00002263: AND 00002264: SWAP1 00002265: PUSH1 0x00 00002267: SWAP1 00002268: DUP4 00002269: DUP6 0000226a: ADD 0000226b: SWAP1 0000226c: DUP3 0000226d: DUP2 0000226e: DUP2 0000226f: DUP2 00002270: DUP6 00002271: DUP9 00002272: DUP4 00002273: CALL 00002274: ISZERO 00002275: ISZERO 00002276: SWAP1 00002277: SWAP3 00002278: EQ 00002279: ISZERO 0000227a: SWAP3 0000227b: POP 0000227c: PUSH2 0x2352 0000227f: SWAP2 00002280: POP 00002281: POP 00002282: JUMPI 00002283: PUSH2 0x0002 00002286: JUMP 00002287: JUMPDEST 00002288: PUSH1 0x06 0000228a: SLOAD 0000228b: CALLVALUE 0000228c: GT 0000228d: ISZERO 0000228e: PUSH2 0x229a 00002291: JUMPI 00002292: POP 00002293: PUSH1 0x06 00002295: SLOAD 00002296: PUSH2 0x229d 00002299: JUMP 0000229a: JUMPDEST 0000229b: POP 0000229c: CALLVALUE 0000229d: JUMPDEST 0000229e: PUSH2 0x021e 000022a1: JUMP 000022a2: JUMPDEST 000022a3: PUSH1 0x01 000022a5: PUSH1 0xa0 000022a7: PUSH1 0x02 000022a9: EXP 000022aa: SUB 000022ab: DUP9 000022ac: AND 000022ad: PUSH1 0x00 000022af: DUP2 000022b0: DUP2 000022b1: MSTORE 000022b2: PUSH1 0x09 000022b4: PUSH1 0x20 000022b6: SWAP1 000022b7: DUP2 000022b8: MSTORE 000022b9: PUSH1 0x40 000022bb: SWAP2 000022bc: DUP3 000022bd: SWAP1 000022be: KECCAK256 000022bf: SLOAD 000022c0: DUP3 000022c1: MLOAD 000022c2: SWAP4 000022c3: DUP5 000022c4: MSTORE 000022c5: PUSH1 0xff 000022c7: DUP12 000022c8: AND 000022c9: SWAP2 000022ca: DUP5 000022cb: ADD 000022cc: SWAP2 000022cd: SWAP1 000022ce: SWAP2 000022cf: MSTORE 000022d0: PUSH1 0x00 000022d2: NOT 000022d3: DUP6 000022d4: ADD 000022d5: DUP4 000022d6: DUP4 000022d7: ADD 000022d8: MSTORE 000022d9: PUSH1 0x60 000022db: DUP4 000022dc: ADD 000022dd: DUP8 000022de: SWAP1 000022df: MSTORE 000022e0: PUSH1 0x80 000022e2: DUP4 000022e3: ADD 000022e4: DUP7 000022e5: SWAP1 000022e6: MSTORE 000022e7: PUSH1 0xa0 000022e9: DUP4 000022ea: ADD 000022eb: MSTORE 000022ec: MLOAD 000022ed: PUSH32 0x48156d9ccd5f1a9d70cfcbc377888e2b2b5d40f87ce4e3d83708a065a50743d9 0000230e: SWAP2 0000230f: DUP2 00002310: SWAP1 00002311: SUB 00002312: PUSH1 0xc0 00002314: ADD 00002315: SWAP1 00002316: LOG1 00002317: PUSH1 0x40 00002319: MLOAD 0000231a: PUSH1 0x20 0000231c: DUP1 0000231d: SLOAD 0000231e: DUP5 0000231f: ADD 00002320: PUSH1 0x00 00002322: NOT 00002323: ADD 00002324: SWAP1 00002325: SSTORE 00002326: PUSH1 0x01 00002328: PUSH1 0xa0 0000232a: PUSH1 0x02 0000232c: EXP 0000232d: SUB 0000232e: DUP10 0000232f: AND 00002330: SWAP1 00002331: PUSH1 0x00 00002333: SWAP1 00002334: PUSH1 0x01 00002336: SWAP1 00002337: DUP3 00002338: DUP2 00002339: DUP2 0000233a: DUP2 0000233b: DUP6 0000233c: DUP9 0000233d: DUP4 0000233e: CALL 0000233f: ISZERO 00002340: ISZERO 00002341: SWAP1 00002342: SWAP3 00002343: EQ 00002344: ISZERO 00002345: SWAP3 00002346: POP 00002347: PUSH2 0x1b19 0000234a: SWAP2 0000234b: POP 0000234c: POP 0000234d: JUMPI 0000234e: PUSH2 0x0002 00002351: JUMP 00002352: JUMPDEST 00002353: PUSH2 0x1b19 00002356: JUMP 00002357: JUMPDEST 00002358: PUSH1 0x02 0000235a: DUP2 0000235b: EQ 0000235c: ISZERO 0000235d: PUSH2 0x23ec 00002360: JUMPI 00002361: PUSH2 0x23e4 00002364: DUP6 00002365: DUP6 00002366: DUP6 00002367: DUP6 00002368: PUSH1 0x01 0000236a: PUSH1 0xa0 0000236c: PUSH1 0x02 0000236e: EXP 0000236f: SUB 00002370: DUP4 00002371: AND 00002372: PUSH1 0x00 00002374: SWAP1 00002375: DUP2 00002376: MSTORE 00002377: PUSH1 0x09 00002379: PUSH1 0x20 0000237b: MSTORE 0000237c: PUSH1 0x40 0000237e: DUP2 0000237f: KECCAK256 00002380: SLOAD 00002381: PUSH1 0x07 00002383: DUP1 00002384: SLOAD 00002385: SWAP1 00002386: SWAP2 00002387: SWAP1 00002388: DUP2 00002389: LT 0000238a: ISZERO 0000238b: PUSH2 0x0002 0000238e: JUMPI 0000238f: SWAP1 00002390: DUP3 00002391: MSTORE 00002392: PUSH1 0x05 00002394: MUL 00002395: PUSH1 0x00 00002397: DUP1 00002398: MLOAD 00002399: PUSH1 0x20 0000239b: PUSH2 0x28f0 0000239e: DUP4 0000239f: CODECOPY 000023a0: DUP2 000023a1: MLOAD 000023a2: SWAP2 000023a3: MSTORE 000023a4: ADD 000023a5: SLOAD 000023a6: PUSH1 0x02 000023a8: PUSH1 0xff 000023aa: DUP8 000023ab: DUP2 000023ac: AND 000023ad: SWAP2 000023ae: SWAP1 000023af: SWAP2 000023b0: MOD 000023b1: DUP2 000023b2: AND 000023b3: PUSH1 0xb8 000023b5: PUSH1 0x02 000023b7: EXP 000023b8: SWAP1 000023b9: SWAP3 000023ba: DIV 000023bb: AND 000023bc: EQ 000023bd: DUP1 000023be: ISZERO 000023bf: PUSH2 0x23cc 000023c2: JUMPI 000023c3: POP 000023c4: DUP5 000023c5: PUSH1 0xff 000023c7: AND 000023c8: PUSH1 0x00 000023ca: EQ 000023cb: ISZERO 000023cc: JUMPDEST 000023cd: ISZERO 000023ce: PUSH2 0x23d5 000023d1: JUMPI 000023d2: POP 000023d3: PUSH1 0x01 000023d5: JUMPDEST 000023d6: PUSH2 0x1eed 000023d9: DUP5 000023da: DUP7 000023db: DUP4 000023dc: PUSH1 0x02 000023de: DUP8 000023df: DUP8 000023e0: PUSH2 0x1fe9 000023e3: JUMP 000023e4: JUMPDEST 000023e5: PUSH2 0x1eed 000023e8: PUSH2 0x08bf 000023eb: JUMP 000023ec: JUMPDEST 000023ed: PUSH1 0x01 000023ef: DUP2 000023f0: EQ 000023f1: ISZERO 000023f2: PUSH2 0x250b 000023f5: JUMPI 000023f6: PUSH2 0x23e4 000023f9: DUP6 000023fa: DUP6 000023fb: DUP6 000023fc: DUP6 000023fd: PUSH1 0x00 000023ff: PUSH1 0x00 00002401: PUSH1 0x00 00002403: JUMPDEST 00002404: PUSH1 0x12 00002406: DUP3 00002407: PUSH1 0xff 00002409: AND 0000240a: LT 0000240b: ISZERO 0000240c: PUSH2 0x2432 0000240f: JUMPI 00002410: DUP7 00002411: PUSH1 0xff 00002413: AND 00002414: PUSH1 0x0d 00002416: PUSH1 0x00 00002418: POP 00002419: DUP4 0000241a: PUSH1 0xff 0000241c: AND 0000241d: PUSH1 0x12 0000241f: DUP2 00002420: LT 00002421: ISZERO 00002422: PUSH2 0x0002 00002425: JUMPI 00002426: ADD 00002427: SLOAD 00002428: EQ 00002429: ISZERO 0000242a: PUSH2 0x28c4 0000242d: JUMPI 0000242e: PUSH1 0x01 00002430: SWAP3 00002431: POP 00002432: JUMPDEST 00002433: DUP7 00002434: PUSH1 0xff 00002436: AND 00002437: PUSH1 0x00 00002439: EQ 0000243a: ISZERO 0000243b: DUP1 0000243c: ISZERO 0000243d: PUSH2 0x24f3 00002440: JUMPI 00002441: POP 00002442: PUSH1 0x01 00002444: PUSH1 0xa0 00002446: PUSH1 0x02 00002448: EXP 00002449: SUB 0000244a: DUP7 0000244b: AND 0000244c: PUSH1 0x00 0000244e: SWAP1 0000244f: DUP2 00002450: MSTORE 00002451: PUSH1 0x09 00002453: PUSH1 0x20 00002455: MSTORE 00002456: PUSH1 0x40 00002458: SWAP1 00002459: KECCAK256 0000245a: SLOAD 0000245b: PUSH1 0x07 0000245d: DUP1 0000245e: SLOAD 0000245f: SWAP1 00002460: SWAP2 00002461: SWAP1 00002462: DUP2 00002463: LT 00002464: ISZERO 00002465: PUSH2 0x0002 00002468: JUMPI 00002469: PUSH1 0x00 0000246b: SWAP2 0000246c: DUP3 0000246d: MSTORE 0000246e: PUSH1 0x05 00002470: MUL 00002471: PUSH1 0x00 00002473: DUP1 00002474: MLOAD 00002475: PUSH1 0x20 00002477: PUSH2 0x28f0 0000247a: DUP4 0000247b: CODECOPY 0000247c: DUP2 0000247d: MLOAD 0000247e: SWAP2 0000247f: MSTORE 00002480: ADD 00002481: SLOAD 00002482: PUSH1 0xb8 00002484: PUSH1 0x02 00002486: EXP 00002487: SWAP1 00002488: DIV 00002489: PUSH1 0xff 0000248b: AND 0000248c: EQ 0000248d: DUP1 0000248e: ISZERO 0000248f: PUSH2 0x2495 00002492: JUMPI 00002493: POP 00002494: DUP3 00002495: JUMPDEST 00002496: DUP1 00002497: PUSH2 0x24f3 0000249a: JUMPI 0000249b: POP 0000249c: PUSH1 0x01 0000249e: PUSH1 0xa0 000024a0: PUSH1 0x02 000024a2: EXP 000024a3: SUB 000024a4: DUP7 000024a5: AND 000024a6: PUSH1 0x00 000024a8: SWAP1 000024a9: DUP2 000024aa: MSTORE 000024ab: PUSH1 0x09 000024ad: PUSH1 0x20 000024af: MSTORE 000024b0: PUSH1 0x40 000024b2: SWAP1 000024b3: KECCAK256 000024b4: SLOAD 000024b5: PUSH1 0x07 000024b7: DUP1 000024b8: SLOAD 000024b9: SWAP1 000024ba: SWAP2 000024bb: SWAP1 000024bc: DUP2 000024bd: LT 000024be: ISZERO 000024bf: PUSH2 0x0002 000024c2: JUMPI 000024c3: PUSH1 0x00 000024c5: SWAP2 000024c6: SWAP1 000024c7: SWAP2 000024c8: MSTORE 000024c9: PUSH1 0x05 000024cb: MUL 000024cc: PUSH1 0x00 000024ce: DUP1 000024cf: MLOAD 000024d0: PUSH1 0x20 000024d2: PUSH2 0x28f0 000024d5: DUP4 000024d6: CODECOPY 000024d7: DUP2 000024d8: MLOAD 000024d9: SWAP2 000024da: MSTORE 000024db: ADD 000024dc: SLOAD 000024dd: PUSH1 0xb8 000024df: PUSH1 0x02 000024e1: EXP 000024e2: SWAP1 000024e3: DIV 000024e4: PUSH1 0xff 000024e6: AND 000024e7: PUSH1 0x01 000024e9: EQ 000024ea: DUP1 000024eb: ISZERO 000024ec: PUSH2 0x24f3 000024ef: JUMPI 000024f0: POP 000024f1: DUP3 000024f2: ISZERO 000024f3: JUMPDEST 000024f4: ISZERO 000024f5: PUSH2 0x24fc 000024f8: JUMPI 000024f9: POP 000024fa: PUSH1 0x01 000024fc: JUMPDEST 000024fd: PUSH2 0x1878 00002500: DUP7 00002501: DUP9 00002502: DUP4 00002503: PUSH1 0x02 00002505: DUP10 00002506: DUP10 00002507: PUSH2 0x1fe9 0000250a: JUMP 0000250b: JUMPDEST 0000250c: PUSH1 0x05 0000250e: DUP2 0000250f: EQ 00002510: ISZERO 00002511: PUSH2 0x25fb 00002514: JUMPI 00002515: PUSH2 0x23e4 00002518: DUP6 00002519: DUP6 0000251a: DUP6 0000251b: DUP6 0000251c: PUSH1 0x00 0000251e: DUP5 0000251f: PUSH1 0xff 00002521: AND 00002522: PUSH1 0x00 00002524: EQ 00002525: ISZERO 00002526: DUP1 00002527: ISZERO 00002528: PUSH2 0x23cc 0000252b: JUMPI 0000252c: POP 0000252d: PUSH1 0x13 0000252f: DUP6 00002530: PUSH1 0xff 00002532: AND 00002533: LT 00002534: DUP1 00002535: ISZERO 00002536: PUSH2 0x2582 00002539: JUMPI 0000253a: POP 0000253b: PUSH1 0x01 0000253d: PUSH1 0xa0 0000253f: PUSH1 0x02 00002541: EXP 00002542: SUB 00002543: DUP5 00002544: AND 00002545: DUP2 00002546: MSTORE 00002547: PUSH1 0x09 00002549: PUSH1 0x20 0000254b: MSTORE 0000254c: PUSH1 0x40 0000254e: DUP2 0000254f: KECCAK256 00002550: SLOAD 00002551: PUSH1 0x07 00002553: DUP1 00002554: SLOAD 00002555: SWAP1 00002556: SWAP2 00002557: SWAP1 00002558: DUP2 00002559: LT 0000255a: ISZERO 0000255b: PUSH2 0x0002 0000255e: JUMPI 0000255f: SWAP1 00002560: DUP3 00002561: MSTORE 00002562: PUSH1 0x05 00002564: MUL 00002565: PUSH1 0x00 00002567: DUP1 00002568: MLOAD 00002569: PUSH1 0x20 0000256b: PUSH2 0x28f0 0000256e: DUP4 0000256f: CODECOPY 00002570: DUP2 00002571: MLOAD 00002572: SWAP2 00002573: MSTORE 00002574: ADD 00002575: SLOAD 00002576: PUSH1 0xb8 00002578: PUSH1 0x02 0000257a: EXP 0000257b: SWAP1 0000257c: DIV 0000257d: PUSH1 0xff 0000257f: AND 00002580: DUP2 00002581: EQ 00002582: JUMPDEST 00002583: DUP1 00002584: PUSH2 0x23cc 00002587: JUMPI 00002588: POP 00002589: PUSH1 0x12 0000258b: DUP6 0000258c: PUSH1 0xff 0000258e: AND 0000258f: GT 00002590: DUP1 00002591: ISZERO 00002592: PUSH2 0x23cc 00002595: JUMPI 00002596: POP 00002597: PUSH1 0x01 00002599: PUSH1 0xa0 0000259b: PUSH1 0x02 0000259d: EXP 0000259e: SUB 0000259f: DUP5 000025a0: AND 000025a1: PUSH1 0x00 000025a3: SWAP1 000025a4: DUP2 000025a5: MSTORE 000025a6: PUSH1 0x09 000025a8: PUSH1 0x20 000025aa: MSTORE 000025ab: PUSH1 0x40 000025ad: SWAP1 000025ae: KECCAK256 000025af: SLOAD 000025b0: PUSH1 0x07 000025b2: DUP1 000025b3: SLOAD 000025b4: SWAP1 000025b5: SWAP2 000025b6: SWAP1 000025b7: DUP2 000025b8: LT 000025b9: ISZERO 000025ba: PUSH2 0x0002 000025bd: JUMPI 000025be: PUSH1 0x00 000025c0: SWAP2 000025c1: SWAP1 000025c2: SWAP2 000025c3: MSTORE 000025c4: PUSH1 0x05 000025c6: MUL 000025c7: PUSH1 0x00 000025c9: DUP1 000025ca: MLOAD 000025cb: PUSH1 0x20 000025cd: PUSH2 0x28f0 000025d0: DUP4 000025d1: CODECOPY 000025d2: DUP2 000025d3: MLOAD 000025d4: SWAP2 000025d5: MSTORE 000025d6: ADD 000025d7: SLOAD 000025d8: PUSH1 0xb8 000025da: PUSH1 0x02 000025dc: EXP 000025dd: SWAP1 000025de: DIV 000025df: PUSH1 0xff 000025e1: AND 000025e2: PUSH1 0x01 000025e4: EQ 000025e5: ISZERO 000025e6: PUSH2 0x23d5 000025e9: JUMPI 000025ea: POP 000025eb: PUSH1 0x01 000025ed: PUSH2 0x1eed 000025f0: DUP5 000025f1: DUP7 000025f2: DUP4 000025f3: PUSH1 0x02 000025f5: DUP8 000025f6: DUP8 000025f7: PUSH2 0x1fe9 000025fa: JUMP 000025fb: JUMPDEST 000025fc: PUSH1 0x03 000025fe: DUP2 000025ff: EQ 00002600: ISZERO 00002601: PUSH2 0x275f 00002604: JUMPI 00002605: PUSH2 0x23e4 00002608: DUP6 00002609: DUP6 0000260a: DUP6 0000260b: DUP6 0000260c: PUSH1 0x00 0000260e: DUP5 0000260f: PUSH1 0xff 00002611: AND 00002612: PUSH1 0x00 00002614: EQ 00002615: ISZERO 00002616: DUP1 00002617: ISZERO 00002618: PUSH2 0x2747 0000261b: JUMPI 0000261c: POP 0000261d: PUSH1 0x0d 0000261f: DUP6 00002620: PUSH1 0xff 00002622: AND 00002623: LT 00002624: DUP1 00002625: ISZERO 00002626: PUSH2 0x2672 00002629: JUMPI 0000262a: POP 0000262b: PUSH1 0x01 0000262d: PUSH1 0xa0 0000262f: PUSH1 0x02 00002631: EXP 00002632: SUB 00002633: DUP5 00002634: AND 00002635: DUP2 00002636: MSTORE 00002637: PUSH1 0x09 00002639: PUSH1 0x20 0000263b: MSTORE 0000263c: PUSH1 0x40 0000263e: DUP2 0000263f: KECCAK256 00002640: SLOAD 00002641: PUSH1 0x07 00002643: DUP1 00002644: SLOAD 00002645: SWAP1 00002646: SWAP2 00002647: SWAP1 00002648: DUP2 00002649: LT 0000264a: ISZERO 0000264b: PUSH2 0x0002 0000264e: JUMPI 0000264f: SWAP1 00002650: DUP3 00002651: MSTORE 00002652: PUSH1 0x05 00002654: MUL 00002655: PUSH1 0x00 00002657: DUP1 00002658: MLOAD 00002659: PUSH1 0x20 0000265b: PUSH2 0x28f0 0000265e: DUP4 0000265f: CODECOPY 00002660: DUP2 00002661: MLOAD 00002662: SWAP2 00002663: MSTORE 00002664: ADD 00002665: SLOAD 00002666: PUSH1 0xb8 00002668: PUSH1 0x02 0000266a: EXP 0000266b: SWAP1 0000266c: DIV 0000266d: PUSH1 0xff 0000266f: AND 00002670: DUP2 00002671: EQ 00002672: JUMPDEST 00002673: DUP1 00002674: PUSH2 0x26e4 00002677: JUMPI 00002678: POP 00002679: PUSH1 0x0c 0000267b: DUP6 0000267c: PUSH1 0xff 0000267e: AND 0000267f: GT 00002680: DUP1 00002681: ISZERO 00002682: PUSH2 0x268e 00002685: JUMPI 00002686: POP 00002687: PUSH1 0x19 00002689: DUP6 0000268a: PUSH1 0xff 0000268c: AND 0000268d: LT 0000268e: JUMPDEST 0000268f: DUP1 00002690: ISZERO 00002691: PUSH2 0x26e4 00002694: JUMPI 00002695: POP 00002696: PUSH1 0x01 00002698: PUSH1 0xa0 0000269a: PUSH1 0x02 0000269c: EXP 0000269d: SUB 0000269e: DUP5 0000269f: AND 000026a0: PUSH1 0x00 000026a2: SWAP1 000026a3: DUP2 000026a4: MSTORE 000026a5: PUSH1 0x09 000026a7: PUSH1 0x20 000026a9: MSTORE 000026aa: PUSH1 0x40 000026ac: SWAP1 000026ad: KECCAK256 000026ae: SLOAD 000026af: PUSH1 0x07 000026b1: DUP1 000026b2: SLOAD 000026b3: SWAP1 000026b4: SWAP2 000026b5: SWAP1 000026b6: DUP2 000026b7: LT 000026b8: ISZERO 000026b9: PUSH2 0x0002 000026bc: JUMPI 000026bd: PUSH1 0x00 000026bf: SWAP2 000026c0: SWAP1 000026c1: SWAP2 000026c2: MSTORE 000026c3: PUSH1 0x05 000026c5: MUL 000026c6: PUSH1 0x00 000026c8: DUP1 000026c9: MLOAD 000026ca: PUSH1 0x20 000026cc: PUSH2 0x28f0 000026cf: DUP4 000026d0: CODECOPY 000026d1: DUP2 000026d2: MLOAD 000026d3: SWAP2 000026d4: MSTORE 000026d5: ADD 000026d6: SLOAD 000026d7: PUSH1 0xb8 000026d9: PUSH1 0x02 000026db: EXP 000026dc: SWAP1 000026dd: DIV 000026de: PUSH1 0xff 000026e0: AND 000026e1: PUSH1 0x01 000026e3: EQ 000026e4: JUMPDEST 000026e5: DUP1 000026e6: PUSH2 0x2747 000026e9: JUMPI 000026ea: POP 000026eb: PUSH1 0x18 000026ed: DUP6 000026ee: PUSH1 0xff 000026f0: AND 000026f1: GT 000026f2: DUP1 000026f3: ISZERO 000026f4: PUSH2 0x2747 000026f7: JUMPI 000026f8: POP 000026f9: PUSH1 0x01 000026fb: PUSH1 0xa0 000026fd: PUSH1 0x02 000026ff: EXP 00002700: SUB 00002701: DUP5 00002702: AND 00002703: PUSH1 0x00 00002705: SWAP1 00002706: DUP2 00002707: MSTORE 00002708: PUSH1 0x09 0000270a: PUSH1 0x20 0000270c: MSTORE 0000270d: PUSH1 0x40 0000270f: SWAP1 00002710: KECCAK256 00002711: SLOAD 00002712: PUSH1 0x07 00002714: DUP1 00002715: SLOAD 00002716: SWAP1 00002717: SWAP2 00002718: SWAP1 00002719: DUP2 0000271a: LT 0000271b: ISZERO 0000271c: PUSH2 0x0002 0000271f: JUMPI 00002720: PUSH1 0x00 00002722: SWAP2 00002723: SWAP1 00002724: SWAP2 00002725: MSTORE 00002726: PUSH1 0x05 00002728: MUL 00002729: PUSH1 0x00 0000272b: DUP1 0000272c: MLOAD 0000272d: PUSH1 0x20 0000272f: PUSH2 0x28f0 00002732: DUP4 00002733: CODECOPY 00002734: DUP2 00002735: MLOAD 00002736: SWAP2 00002737: MSTORE 00002738: ADD 00002739: SLOAD 0000273a: PUSH1 0xb8 0000273c: PUSH1 0x02 0000273e: EXP 0000273f: SWAP1 00002740: DIV 00002741: PUSH1 0xff 00002743: AND 00002744: PUSH1 0x02 00002746: EQ 00002747: JUMPDEST 00002748: ISZERO 00002749: PUSH2 0x2750 0000274c: JUMPI 0000274d: POP 0000274e: PUSH1 0x01 00002750: JUMPDEST 00002751: PUSH2 0x1eed 00002754: DUP5 00002755: DUP7 00002756: DUP4 00002757: PUSH1 0x03 00002759: DUP8 0000275a: DUP8 0000275b: PUSH2 0x1fe9 0000275e: JUMP 0000275f: JUMPDEST 00002760: PUSH1 0x04 00002762: DUP2 00002763: EQ 00002764: ISZERO 00002765: PUSH2 0x23e4 00002768: JUMPI 00002769: PUSH2 0x23e4 0000276c: DUP6 0000276d: DUP6 0000276e: DUP6 0000276f: DUP6 00002770: PUSH1 0x00 00002772: DUP5 00002773: PUSH1 0xff 00002775: AND 00002776: PUSH1 0x00 00002778: EQ 00002779: ISZERO 0000277a: DUP1 0000277b: ISZERO 0000277c: PUSH2 0x2747 0000277f: JUMPI 00002780: POP 00002781: PUSH1 0x01 00002783: PUSH1 0xa0 00002785: PUSH1 0x02 00002787: EXP 00002788: SUB 00002789: DUP5 0000278a: AND 0000278b: DUP2 0000278c: MSTORE 0000278d: PUSH1 0x09 0000278f: PUSH1 0x20 00002791: MSTORE 00002792: PUSH1 0x40 00002794: DUP2 00002795: KECCAK256 00002796: SLOAD 00002797: PUSH1 0x07 00002799: DUP1 0000279a: SLOAD 0000279b: SWAP1 0000279c: SWAP2 0000279d: SWAP1 0000279e: DUP2 0000279f: LT 000027a0: ISZERO 000027a1: PUSH2 0x0002 000027a4: JUMPI 000027a5: SWAP1 000027a6: DUP3 000027a7: MSTORE 000027a8: PUSH1 0x05 000027aa: MUL 000027ab: PUSH1 0x00 000027ad: DUP1 000027ae: MLOAD 000027af: PUSH1 0x20 000027b1: PUSH2 0x28f0 000027b4: DUP4 000027b5: CODECOPY 000027b6: DUP2 000027b7: MLOAD 000027b8: SWAP2 000027b9: MSTORE 000027ba: ADD 000027bb: SLOAD 000027bc: PUSH1 0xb8 000027be: PUSH1 0x02 000027c0: EXP 000027c1: SWAP1 000027c2: DIV 000027c3: PUSH1 0xff 000027c5: AND 000027c6: DUP2 000027c7: EQ 000027c8: DUP1 000027c9: ISZERO 000027ca: PUSH2 0x27dc 000027cd: JUMPI 000027ce: POP 000027cf: PUSH1 0x03 000027d1: DUP6 000027d2: PUSH1 0xff 000027d4: AND 000027d5: MOD 000027d6: PUSH1 0xff 000027d8: AND 000027d9: PUSH1 0x01 000027db: EQ 000027dc: JUMPDEST 000027dd: DUP1 000027de: PUSH2 0x2845 000027e1: JUMPI 000027e2: POP 000027e3: PUSH1 0x01 000027e5: PUSH1 0xa0 000027e7: PUSH1 0x02 000027e9: EXP 000027ea: SUB 000027eb: DUP5 000027ec: AND 000027ed: PUSH1 0x00 000027ef: SWAP1 000027f0: DUP2 000027f1: MSTORE 000027f2: PUSH1 0x09 000027f4: PUSH1 0x20 000027f6: MSTORE 000027f7: PUSH1 0x40 000027f9: SWAP1 000027fa: KECCAK256 000027fb: SLOAD 000027fc: PUSH1 0x07 000027fe: DUP1 000027ff: SLOAD 00002800: SWAP1 00002801: SWAP2 00002802: SWAP1 00002803: DUP2 00002804: LT 00002805: ISZERO 00002806: PUSH2 0x0002 00002809: JUMPI 0000280a: PUSH1 0x00 0000280c: SWAP2 0000280d: SWAP1 0000280e: SWAP2 0000280f: MSTORE 00002810: PUSH1 0x05 00002812: MUL 00002813: PUSH1 0x00 00002815: DUP1 00002816: MLOAD 00002817: PUSH1 0x20 00002819: PUSH2 0x28f0 0000281c: DUP4 0000281d: CODECOPY 0000281e: DUP2 0000281f: MLOAD 00002820: SWAP2 00002821: MSTORE 00002822: ADD 00002823: SLOAD 00002824: PUSH1 0xb8 00002826: PUSH1 0x02 00002828: EXP 00002829: SWAP1 0000282a: DIV 0000282b: PUSH1 0xff 0000282d: AND 0000282e: PUSH1 0x01 00002830: EQ 00002831: DUP1 00002832: ISZERO 00002833: PUSH2 0x2845 00002836: JUMPI 00002837: POP 00002838: PUSH1 0x03 0000283a: DUP6 0000283b: PUSH1 0xff 0000283d: AND 0000283e: MOD 0000283f: PUSH1 0xff 00002841: AND 00002842: PUSH1 0x02 00002844: EQ 00002845: JUMPDEST 00002846: DUP1 00002847: PUSH2 0x2747 0000284a: JUMPI 0000284b: POP 0000284c: PUSH1 0x01 0000284e: PUSH1 0xa0 00002850: PUSH1 0x02 00002852: EXP 00002853: SUB 00002854: DUP5 00002855: AND 00002856: PUSH1 0x00 00002858: SWAP1 00002859: DUP2 0000285a: MSTORE 0000285b: PUSH1 0x09 0000285d: PUSH1 0x20 0000285f: MSTORE 00002860: PUSH1 0x40 00002862: SWAP1 00002863: KECCAK256 00002864: SLOAD 00002865: PUSH1 0x07 00002867: DUP1 00002868: SLOAD 00002869: SWAP1 0000286a: SWAP2 0000286b: SWAP1 0000286c: DUP2 0000286d: LT 0000286e: ISZERO 0000286f: PUSH2 0x0002 00002872: JUMPI 00002873: PUSH1 0x00 00002875: SWAP2 00002876: SWAP1 00002877: SWAP2 00002878: MSTORE 00002879: PUSH1 0x05 0000287b: MUL 0000287c: PUSH1 0x00 0000287e: DUP1 0000287f: MLOAD 00002880: PUSH1 0x20 00002882: PUSH2 0x28f0 00002885: DUP4 00002886: CODECOPY 00002887: DUP2 00002888: MLOAD 00002889: SWAP2 0000288a: MSTORE 0000288b: ADD 0000288c: SLOAD 0000288d: PUSH1 0xb8 0000288f: PUSH1 0x02 00002891: EXP 00002892: SWAP1 00002893: DIV 00002894: PUSH1 0xff 00002896: AND 00002897: PUSH1 0x02 00002899: EQ 0000289a: DUP1 0000289b: ISZERO 0000289c: PUSH2 0x2747 0000289f: JUMPI 000028a0: POP 000028a1: PUSH1 0x03 000028a3: DUP6 000028a4: PUSH1 0xff 000028a6: AND 000028a7: MOD 000028a8: PUSH1 0xff 000028aa: AND 000028ab: PUSH1 0x00 000028ad: EQ 000028ae: ISZERO 000028af: PUSH2 0x2750 000028b2: JUMPI 000028b3: POP 000028b4: PUSH1 0x01 000028b6: PUSH2 0x1eed 000028b9: DUP5 000028ba: DUP7 000028bb: DUP4 000028bc: PUSH1 0x03 000028be: DUP8 000028bf: DUP8 000028c0: PUSH2 0x1fe9 000028c3: JUMP 000028c4: JUMPDEST 000028c5: PUSH1 0x01 000028c7: SWAP2 000028c8: SWAP1 000028c9: SWAP2 000028ca: ADD 000028cb: SWAP1 000028cc: PUSH2 0x2403 000028cf: JUMP 000028d0: UNKNOWN(0xA6) 000028d1: PUSH13 0xc928b5edb82af9bd4992295415 000028df: GAS 000028e0: UNKNOWN(0xB7) 000028e1: UNKNOWN(0xB0) 000028e2: SWAP5 000028e3: UNKNOWN(0x26) 000028e4: SWAP5 000028e5: UNKNOWN(0xBE) 000028e6: LOG4 000028e7: UNKNOWN(0xCE) 000028e8: DIFFICULTY 000028e9: PUSH7 0x1d9a8736c68aa6 000028f1: PUSH13 0xc928b5edb82af9bd4992295415 000028ff: GAS 00002900: UNKNOWN(0xB7) 00002901: UNKNOWN(0xB0) 00002902: SWAP5 00002903: UNKNOWN(0x26) 00002904: SWAP5 00002905: UNKNOWN(0xBE) 00002906: LOG4 00002907: UNKNOWN(0xCE) 00002908: DIFFICULTY 00002909: PUSH7
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x3c0e50415d697282f2c2a63ad779a74bbf5e0de31cff26be4a614ddd047e4830
call_targets:
0x18a672e11d637fffadccc99b152f4895da069601
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3c0e50415d697282f2c2a63ad779a74bbf5e0de31cff26be4a614ddd047e4830",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x18a672e11d637fffadccc99b152f4895da069601"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x1c5d9faa",
"selector": "0x1c5d9faa",
"calldata_variants": [
"0x1c5d9faa",
"0x1c5d9faa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2037fcbf",
"selector": "0x2037fcbf",
"calldata_variants": [
"0x2037fcbf",
"0x2037fcbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x266710ca",
"selector": "0x266710ca",
"calldata_variants": [
"0x266710ca",
"0x266710ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c6b2c92",
"selector": "0x2c6b2c92",
"calldata_variants": [
"0x2c6b2c92",
"0x2c6b2c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e0ef395",
"selector": "0x2e0ef395",
"calldata_variants": [
"0x2e0ef395",
"0x2e0ef3950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33ce7787",
"selector": "0x33ce7787",
"calldata_variants": [
"0x33ce7787",
"0x33ce77870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x402e6230",
"selector": "0x402e6230",
"calldata_variants": [
"0x402e6230",
"0x402e62300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x580bdf3c",
"selector": "0x580bdf3c",
"calldata_variants": [
"0x580bdf3c",
"0x580bdf3c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2501,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3409,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3543,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x3c0e50415d697282f2c2a63ad779a74bbf5e0de31cff26be4a614ddd047e4830
call_targets:
0x18a672e11d637fffadccc99b152f4895da069601
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3c0e50415d697282f2c2a63ad779a74bbf5e0de31cff26be4a614ddd047e4830",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x18a672e11d637fffadccc99b152f4895da069601"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x1c5d9faa",
"selector": "0x1c5d9faa",
"calldata_variants": [
"0x1c5d9faa",
"0x1c5d9faa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2037fcbf",
"selector": "0x2037fcbf",
"calldata_variants": [
"0x2037fcbf",
"0x2037fcbf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x266710ca",
"selector": "0x266710ca",
"calldata_variants": [
"0x266710ca",
"0x266710ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c6b2c92",
"selector": "0x2c6b2c92",
"calldata_variants": [
"0x2c6b2c92",
"0x2c6b2c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e0ef395",
"selector": "0x2e0ef395",
"calldata_variants": [
"0x2e0ef395",
"0x2e0ef3950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33ce7787",
"selector": "0x33ce7787",
"calldata_variants": [
"0x33ce7787",
"0x33ce77870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x402e6230",
"selector": "0x402e6230",
"calldata_variants": [
"0x402e6230",
"0x402e62300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x580bdf3c",
"selector": "0x580bdf3c",
"calldata_variants": [
"0x580bdf3c",
"0x580bdf3c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2501,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3409,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3543,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|