TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

28921ed5-3991-46d2-bcd8-a59aae5ca21c

failed
Chain ID
1
Address
0x88ae96845e157558ef59e9ff90e766e22e480390
Block Number
—
Created
Sat, Jan 3, 2026 1:26 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31417 report.consolidate complete 1 / 1 3 months ago
77128 artifact.fetch failed 1 / 3 1 week ago
77129 tool.cast_disasm complete 1 / 3 1 week ago
77130 analysis.bundle complete 1 / 3 1 week ago
77131 capability.graph complete 1 / 3 1 week ago
77132 detector.run complete 1 / 3 1 week ago
77133 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths found in contracts/Contract.sol.
View stderr 
[codex:125698] OpenAI Codex v0.77.0 (research preview)
[codex:125698] --------
[codex:125698] workdir: /tmp/codex-multi-nni4vbfl
[codex:125698] model: gpt-5.2-codex
[codex:125698] provider: openai
[codex:125698] approval: never
[codex:125698] sandbox: read-only
[codex:125698] reasoning effort: xhigh
[codex:125698] reasoning summaries: auto
[codex:125698] session id: 019b8172-a82a-70d3-8c69-dd1c0b1c8811
[codex:125698] --------
[codex:125698] user
[codex:125698] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:125698] 
[codex:125698] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:125698] 
[codex:125698] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:125698] - Gas inefficiency, code quality, naming, or best practices
[codex:125698] - Theoretical vulnerabilities without a clear extraction path
[codex:125698] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:125698] - Front-running unless it enables theft beyond MEV
[codex:125698] - DoS, griefing, or issues that don't result in attacker profit
[codex:125698] - Missing events, view function issues, or informational findings
[codex:125698] 
[codex:125698] HIGH-VALUE PATTERNS TO HUNT:
[codex:125698] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:125698] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:125698] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:125698] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:125698] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:125698] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:125698] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:125698] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:125698] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:125698] 
[codex:125698] For each finding, you MUST provide:
[codex:125698] 1. Exact file and line numbers of vulnerable code
[codex:125698] 2. Step-by-step exploit transaction sequence
[codex:125698] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:125698] 
[codex:125698] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:125698] 
[codex:125698] Output MUST be valid JSON matching the provided schema.
[codex:125698] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:125698] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:125698] mcp startup: no servers
[codex:125698] 
[codex:125698] thinking
[codex:125698] **Preparing to read instructions**
[codex:125698] exec
[codex:125698] /bin/bash -lc ls in /tmp/codex-multi-nni4vbfl succeeded in 6ms:
[codex:125698] AUDIT_BUNDLE.txt
[codex:125698] codex-output-schema.json
[codex:125698] contracts
[codex:125698] 
[codex:125698] thinking
[codex:125698] **Reading AUDIT_BUNDLE.txt**
[codex:125698] exec
[codex:125698] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-nni4vbfl succeeded in 5ms:
[codex:125698] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:125698] 
[codex:125698] ================================================================================
[codex:125698] FILE: contracts/Contract.sol
[codex:125698] ================================================================================
[codex:125698] //      IKB TOKEN
[codex:125698] //      By Mitchell F. Chan
[codex:125698] 
[codex:125698] 
[codex:125698] /*
[codex:125698] OVERVIEW:
[codex:125698]     This contract manages the purchase and transferral of Digital Zones of Immaterial Pictorial Sensibility.
[codex:125698]     It reproduces the rules originally created by Yves Klein which governed the transferral of his original Zones of Immaterial Pictorial Sensibility.
[codex:125698] 
[codex:125698]     The project is described in full in the Blue Paper included in this repository.
[codex:125698] */
[codex:125698] 
[codex:125698] pragma solidity ^0.4.15;
[codex:125698] 
[codex:125698] // interface for ERC20 standard token
[codex:125698] 
[codex:125698] 
[codex:125698] 
[codex:125698] 
[codex:125698] thinking
[codex:125698] **Evaluating potential contract vulnerabilities**
[codex:125698] 
[codex:125698] I'm carefully analyzing this old Solidity contract for exploitable profit paths, focusing on potential reentrancy, arithmetic bugs, and storage access issues. I’m checking if token balances and records can be desynced to allow token or ETH theft, plus inspecting array indexing risks that might corrupt storage or bypass protections. So far, defensive mechanisms like safe math and transfer gas limits seem to block common exploits, though subtle logic inconsistencies could still exist.
[codex:125698] thinking
[codex:125698] **Assessing advanced attack scenarios and storage layout**
[codex:125698] 
[codex:125698] I'm diving deep into potential exploits involving price manipulation, overflow, array bounds, and storage collisions. The analysis includes how fixed-size arrays and mappings are stored; I’m exploring if out-of-bounds writes could let an attacker overwrite critical state like the owner address. So far, protection mechanisms and constructor logic seem solid, but I’m testing edge cases around token issuance, approvals, and burning to identify any overlooked profit paths.
[codex:125698] thinking
[codex:125698] **Evaluating token resale and record overflow risks**
[codex:125698] 
[codex:125698] I'm carefully checking if reselling tokens back to the contract can cause totalSold to exceed the records array size, possibly leading to out-of-bounds writes or transaction reverts. This might block further purchases or, in a worst case, cause storage corruption, but no direct profit exploit emerges. I'm weighing these resale mechanics and updating balances closely to see their impact on contract behavior.
[codex:125698] thinking
[codex:125698] **Analyzing records and balances mismatch risks**
[codex:125698] 
[codex:125698] I'm exploring how reselling tokens by transferring them back to the contract can cause inconsistencies between balances and records, potentially allowing transfers without corresponding record updates. This could lead to tokens circulating without proper tracking but doesn't directly create profit avenues. I'm carefully assessing if these state mismatches could expose exploits or just cause bookkeeping irregularities.
[codex:125698] codex
[codex:125698] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in contracts/Contract.sol.","findings":[]}
[codex:125698] tokens used
[codex:125698] 19,350
[codex:125698] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in contracts/Contract.sol.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-03T01:26:09.033342+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in contracts/Contract.sol.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in contracts/Contract.sol.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
2
Total opcodes
5677
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0189
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x03b8a24e
0000003a: EQ
0000003b: PUSH2 0x0196
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x06fdde03
00000045: EQ
00000046: PUSH2 0x01d1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x095ea7b3
00000050: EQ
00000051: PUSH2 0x0260
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x11c7d6bd
0000005b: EQ
0000005c: PUSH2 0x02ba
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x18160ddd
00000066: EQ
00000067: PUSH2 0x02e7
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x1d0806ae
00000071: EQ
00000072: PUSH2 0x0310
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x23b872dd
0000007c: EQ
0000007d: PUSH2 0x0339
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x313ce567
00000087: EQ
00000088: PUSH2 0x03b2
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x34461067
00000092: EQ
00000093: PUSH2 0x03db
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x350f4270
0000009d: EQ
0000009e: PUSH2 0x0450
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x4ebab5cf
000000a8: EQ
000000a9: PUSH2 0x04aa
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x57f86b6a
000000b3: EQ
000000b4: PUSH2 0x0504
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x5caa0dec
000000be: EQ
000000bf: PUSH2 0x0559
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x6531a708
000000c9: EQ
000000ca: PUSH2 0x0582
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x65ce5222
000000d4: EQ
000000d5: PUSH2 0x0611
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x70a08231
000000df: EQ
000000e0: PUSH2 0x068a
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x89fe141a
000000ea: EQ
000000eb: PUSH2 0x06d7
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x8da5cb5b
000000f5: EQ
000000f6: PUSH2 0x0700
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x9106d7ba
00000100: EQ
00000101: PUSH2 0x0755
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x95d89b41
0000010b: EQ
0000010c: PUSH2 0x077e
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa2a84a5d
00000116: EQ
00000117: PUSH2 0x080d
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xa6f2ae3a
00000121: EQ
00000122: PUSH2 0x089c
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xa9059cbb
0000012c: EQ
0000012d: PUSH2 0x08be
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xb60d4288
00000137: EQ
00000138: PUSH2 0x0918
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xca55954c
00000142: EQ
00000143: PUSH2 0x093a
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xcf195e34
0000014d: EQ
0000014e: PUSH2 0x099d
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xdc22cb6a
00000158: EQ
00000159: PUSH2 0x09c6
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0xdd62ed3e
00000163: EQ
00000164: PUSH2 0x0a04
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0xe621b5df
0000016e: EQ
0000016f: PUSH2 0x0a70
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0xf2fde38b
00000179: EQ
0000017a: PUSH2 0x0a9d
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0xf6cabaa0
00000184: EQ
00000185: PUSH2 0x0ad6
00000188: JUMPI
00000189: JUMPDEST
0000018a: JUMPDEST
0000018b: PUSH2 0x0192
0000018e: PUSH2 0x0aff
00000191: JUMP
00000192: JUMPDEST
00000193: POP
00000194: JUMPDEST
00000195: STOP
00000196: JUMPDEST
00000197: CALLVALUE
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: PUSH2 0x01b7
000001a5: PUSH1 0x04
000001a7: DUP1
000001a8: DUP1
000001a9: CALLDATALOAD
000001aa: SWAP1
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: SWAP1
000001af: SWAP2
000001b0: SWAP1
000001b1: POP
000001b2: POP
000001b3: PUSH2 0x0fbf
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: DUP1
000001bc: DUP3
000001bd: ISZERO
000001be: ISZERO
000001bf: ISZERO
000001c0: ISZERO
000001c1: DUP2
000001c2: MSTORE
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: SWAP2
000001c7: POP
000001c8: POP
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: DUP1
000001cd: SWAP2
000001ce: SUB
000001cf: SWAP1
000001d0: RETURN
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: ISZERO
000001d4: PUSH2 0x01dc
000001d7: JUMPI
000001d8: PUSH1 0x00
000001da: DUP1
000001db: REVERT
000001dc: JUMPDEST
000001dd: PUSH2 0x01e4
000001e0: PUSH2 0x1245
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: DUP1
000001e9: DUP1
000001ea: PUSH1 0x20
000001ec: ADD
000001ed: DUP3
000001ee: DUP2
000001ef: SUB
000001f0: DUP3
000001f1: MSTORE
000001f2: DUP4
000001f3: DUP2
000001f4: DUP2
000001f5: MLOAD
000001f6: DUP2
000001f7: MSTORE
000001f8: PUSH1 0x20
000001fa: ADD
000001fb: SWAP2
000001fc: POP
000001fd: DUP1
000001fe: MLOAD
000001ff: SWAP1
00000200: PUSH1 0x20
00000202: ADD
00000203: SWAP1
00000204: DUP1
00000205: DUP4
00000206: DUP4
00000207: PUSH1 0x00
00000209: JUMPDEST
0000020a: DUP4
0000020b: DUP2
0000020c: LT
0000020d: ISZERO
0000020e: PUSH2 0x0225
00000211: JUMPI
00000212: DUP1
00000213: DUP3
00000214: ADD
00000215: MLOAD
00000216: DUP2
00000217: DUP5
00000218: ADD
00000219: MSTORE
0000021a: JUMPDEST
0000021b: PUSH1 0x20
0000021d: DUP2
0000021e: ADD
0000021f: SWAP1
00000220: POP
00000221: PUSH2 0x0209
00000224: JUMP
00000225: JUMPDEST
00000226: POP
00000227: POP
00000228: POP
00000229: POP
0000022a: SWAP1
0000022b: POP
0000022c: SWAP1
0000022d: DUP2
0000022e: ADD
0000022f: SWAP1
00000230: PUSH1 0x1f
00000232: AND
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x0252
00000238: JUMPI
00000239: DUP1
0000023a: DUP3
0000023b: SUB
0000023c: DUP1
0000023d: MLOAD
0000023e: PUSH1 0x01
00000240: DUP4
00000241: PUSH1 0x20
00000243: SUB
00000244: PUSH2 0x0100
00000247: EXP
00000248: SUB
00000249: NOT
0000024a: AND
0000024b: DUP2
0000024c: MSTORE
0000024d: PUSH1 0x20
0000024f: ADD
00000250: SWAP2
00000251: POP
00000252: JUMPDEST
00000253: POP
00000254: SWAP3
00000255: POP
00000256: POP
00000257: POP
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: SWAP2
0000025d: SUB
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: CALLVALUE
00000262: ISZERO
00000263: PUSH2 0x026b
00000266: JUMPI
00000267: PUSH1 0x00
00000269: DUP1
0000026a: REVERT
0000026b: JUMPDEST
0000026c: PUSH2 0x02a0
0000026f: PUSH1 0x04
00000271: DUP1
00000272: DUP1
00000273: CALLDATALOAD
00000274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000289: AND
0000028a: SWAP1
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: SWAP1
0000028f: SWAP2
00000290: SWAP1
00000291: DUP1
00000292: CALLDATALOAD
00000293: SWAP1
00000294: PUSH1 0x20
00000296: ADD
00000297: SWAP1
00000298: SWAP2
00000299: SWAP1
0000029a: POP
0000029b: POP
0000029c: PUSH2 0x12a5
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: MLOAD
000002a4: DUP1
000002a5: DUP3
000002a6: ISZERO
000002a7: ISZERO
000002a8: ISZERO
000002a9: ISZERO
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP2
000002b0: POP
000002b1: POP
000002b2: PUSH1 0x40
000002b4: MLOAD
000002b5: DUP1
000002b6: SWAP2
000002b7: SUB
000002b8: SWAP1
000002b9: RETURN
000002ba: JUMPDEST
000002bb: CALLVALUE
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: PUSH2 0x02cd
000002c9: PUSH2 0x1398
000002cc: JUMP
000002cd: JUMPDEST
000002ce: PUSH1 0x40
000002d0: MLOAD
000002d1: DUP1
000002d2: DUP3
000002d3: ISZERO
000002d4: ISZERO
000002d5: ISZERO
000002d6: ISZERO
000002d7: DUP2
000002d8: MSTORE
000002d9: PUSH1 0x20
000002db: ADD
000002dc: SWAP2
000002dd: POP
000002de: POP
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: SWAP2
000002e4: SUB
000002e5: SWAP1
000002e6: RETURN
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: PUSH2 0x02fa
000002f6: PUSH2 0x15c2
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH1 0x40
000002fd: MLOAD
000002fe: DUP1
000002ff: DUP3
00000300: DUP2
00000301: MSTORE
00000302: PUSH1 0x20
00000304: ADD
00000305: SWAP2
00000306: POP
00000307: POP
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: DUP1
0000030c: SWAP2
0000030d: SUB
0000030e: SWAP1
0000030f: RETURN
00000310: JUMPDEST
00000311: CALLVALUE
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: PUSH2 0x0323
0000031f: PUSH2 0x15d1
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH1 0x40
00000326: MLOAD
00000327: DUP1
00000328: DUP3
00000329: DUP2
0000032a: MSTORE
0000032b: PUSH1 0x20
0000032d: ADD
0000032e: SWAP2
0000032f: POP
00000330: POP
00000331: PUSH1 0x40
00000333: MLOAD
00000334: DUP1
00000335: SWAP2
00000336: SUB
00000337: SWAP1
00000338: RETURN
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: PUSH2 0x0398
00000348: PUSH1 0x04
0000034a: DUP1
0000034b: DUP1
0000034c: CALLDATALOAD
0000034d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000362: AND
00000363: SWAP1
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: SWAP2
00000369: SWAP1
0000036a: DUP1
0000036b: CALLDATALOAD
0000036c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000381: AND
00000382: SWAP1
00000383: PUSH1 0x20
00000385: ADD
00000386: SWAP1
00000387: SWAP2
00000388: SWAP1
00000389: DUP1
0000038a: CALLDATALOAD
0000038b: SWAP1
0000038c: PUSH1 0x20
0000038e: ADD
0000038f: SWAP1
00000390: SWAP2
00000391: SWAP1
00000392: POP
00000393: POP
00000394: PUSH2 0x15d7
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH1 0x40
0000039b: MLOAD
0000039c: DUP1
0000039d: DUP3
0000039e: ISZERO
0000039f: ISZERO
000003a0: ISZERO
000003a1: ISZERO
000003a2: DUP2
000003a3: MSTORE
000003a4: PUSH1 0x20
000003a6: ADD
000003a7: SWAP2
000003a8: POP
000003a9: POP
000003aa: PUSH1 0x40
000003ac: MLOAD
000003ad: DUP1
000003ae: SWAP2
000003af: SUB
000003b0: SWAP1
000003b1: RETURN
000003b2: JUMPDEST
000003b3: CALLVALUE
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: PUSH2 0x03c5
000003c1: PUSH2 0x1b09
000003c4: JUMP
000003c5: JUMPDEST
000003c6: PUSH1 0x40
000003c8: MLOAD
000003c9: DUP1
000003ca: DUP3
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: SWAP2
000003d1: POP
000003d2: POP
000003d3: PUSH1 0x40
000003d5: MLOAD
000003d6: DUP1
000003d7: SWAP2
000003d8: SUB
000003d9: SWAP1
000003da: RETURN
000003db: JUMPDEST
000003dc: CALLVALUE
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: PUSH2 0x03fc
000003ea: PUSH1 0x04
000003ec: DUP1
000003ed: DUP1
000003ee: CALLDATALOAD
000003ef: SWAP1
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP1
000003f4: SWAP2
000003f5: SWAP1
000003f6: POP
000003f7: POP
000003f8: PUSH2 0x1b0e
000003fb: JUMP
000003fc: JUMPDEST
000003fd: PUSH1 0x40
000003ff: MLOAD
00000400: DUP1
00000401: DUP5
00000402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000417: AND
00000418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042d: AND
0000042e: DUP2
0000042f: MSTORE
00000430: PUSH1 0x20
00000432: ADD
00000433: DUP4
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: ADD
00000439: DUP3
0000043a: ISZERO
0000043b: ISZERO
0000043c: ISZERO
0000043d: ISZERO
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x20
00000442: ADD
00000443: SWAP4
00000444: POP
00000445: POP
00000446: POP
00000447: POP
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: DUP1
0000044c: SWAP2
0000044d: SUB
0000044e: SWAP1
0000044f: RETURN
00000450: JUMPDEST
00000451: CALLVALUE
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: PUSH2 0x0490
0000045f: PUSH1 0x04
00000461: DUP1
00000462: DUP1
00000463: CALLDATALOAD
00000464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000479: AND
0000047a: SWAP1
0000047b: PUSH1 0x20
0000047d: ADD
0000047e: SWAP1
0000047f: SWAP2
00000480: SWAP1
00000481: DUP1
00000482: CALLDATALOAD
00000483: SWAP1
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP1
00000488: SWAP2
00000489: SWAP1
0000048a: POP
0000048b: POP
0000048c: PUSH2 0x1b6b
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: DUP1
00000495: DUP3
00000496: ISZERO
00000497: ISZERO
00000498: ISZERO
00000499: ISZERO
0000049a: DUP2
0000049b: MSTORE
0000049c: PUSH1 0x20
0000049e: ADD
0000049f: SWAP2
000004a0: POP
000004a1: POP
000004a2: PUSH1 0x40
000004a4: MLOAD
000004a5: DUP1
000004a6: SWAP2
000004a7: SUB
000004a8: SWAP1
000004a9: RETURN
000004aa: JUMPDEST
000004ab: CALLVALUE
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: PUSH2 0x04ea
000004b9: PUSH1 0x04
000004bb: DUP1
000004bc: DUP1
000004bd: CALLDATALOAD
000004be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d3: AND
000004d4: SWAP1
000004d5: PUSH1 0x20
000004d7: ADD
000004d8: SWAP1
000004d9: SWAP2
000004da: SWAP1
000004db: DUP1
000004dc: CALLDATALOAD
000004dd: SWAP1
000004de: PUSH1 0x20
000004e0: ADD
000004e1: SWAP1
000004e2: SWAP2
000004e3: SWAP1
000004e4: POP
000004e5: POP
000004e6: PUSH2 0x1ecb
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: DUP1
000004ef: DUP3
000004f0: ISZERO
000004f1: ISZERO
000004f2: ISZERO
000004f3: ISZERO
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x20
000004f8: ADD
000004f9: SWAP2
000004fa: POP
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: SWAP2
00000501: SUB
00000502: SWAP1
00000503: RETURN
00000504: JUMPDEST
00000505: CALLVALUE
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: PUSH2 0x0517
00000513: PUSH2 0x1fd9
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP1
0000051c: DUP3
0000051d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000532: AND
00000533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000548: AND
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP2
0000054f: POP
00000550: POP
00000551: PUSH1 0x40
00000553: MLOAD
00000554: DUP1
00000555: SWAP2
00000556: SUB
00000557: SWAP1
00000558: RETURN
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: PUSH2 0x056c
00000568: PUSH2 0x1ff1
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH1 0x40
0000056f: MLOAD
00000570: DUP1
00000571: DUP3
00000572: DUP2
00000573: MSTORE
00000574: PUSH1 0x20
00000576: ADD
00000577: SWAP2
00000578: POP
00000579: POP
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: SWAP2
0000057f: SUB
00000580: SWAP1
00000581: RETURN
00000582: JUMPDEST
00000583: CALLVALUE
00000584: ISZERO
00000585: PUSH2 0x058d
00000588: JUMPI
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: REVERT
0000058d: JUMPDEST
0000058e: PUSH2 0x05b9
00000591: PUSH1 0x04
00000593: DUP1
00000594: DUP1
00000595: CALLDATALOAD
00000596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ab: AND
000005ac: SWAP1
000005ad: PUSH1 0x20
000005af: ADD
000005b0: SWAP1
000005b1: SWAP2
000005b2: SWAP1
000005b3: POP
000005b4: POP
000005b5: PUSH2 0x1ff7
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: DUP1
000005be: DUP1
000005bf: PUSH1 0x20
000005c1: ADD
000005c2: DUP3
000005c3: DUP2
000005c4: SUB
000005c5: DUP3
000005c6: MSTORE
000005c7: DUP4
000005c8: DUP2
000005c9: DUP2
000005ca: MLOAD
000005cb: DUP2
000005cc: MSTORE
000005cd: PUSH1 0x20
000005cf: ADD
000005d0: SWAP2
000005d1: POP
000005d2: DUP1
000005d3: MLOAD
000005d4: SWAP1
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP1
000005d9: PUSH1 0x20
000005db: MUL
000005dc: DUP1
000005dd: DUP4
000005de: DUP4
000005df: PUSH1 0x00
000005e1: JUMPDEST
000005e2: DUP4
000005e3: DUP2
000005e4: LT
000005e5: ISZERO
000005e6: PUSH2 0x05fd
000005e9: JUMPI
000005ea: DUP1
000005eb: DUP3
000005ec: ADD
000005ed: MLOAD
000005ee: DUP2
000005ef: DUP5
000005f0: ADD
000005f1: MSTORE
000005f2: JUMPDEST
000005f3: PUSH1 0x20
000005f5: DUP2
000005f6: ADD
000005f7: SWAP1
000005f8: POP
000005f9: PUSH2 0x05e1
000005fc: JUMP
000005fd: JUMPDEST
000005fe: POP
000005ff: POP
00000600: POP
00000601: POP
00000602: SWAP1
00000603: POP
00000604: ADD
00000605: SWAP3
00000606: POP
00000607: POP
00000608: POP
00000609: PUSH1 0x40
0000060b: MLOAD
0000060c: DUP1
0000060d: SWAP2
0000060e: SUB
0000060f: SWAP1
00000610: RETURN
00000611: JUMPDEST
00000612: CALLVALUE
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: PUSH2 0x0670
00000620: PUSH1 0x04
00000622: DUP1
00000623: DUP1
00000624: CALLDATALOAD
00000625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063a: AND
0000063b: SWAP1
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: SWAP1
00000640: SWAP2
00000641: SWAP1
00000642: DUP1
00000643: CALLDATALOAD
00000644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000659: AND
0000065a: SWAP1
0000065b: PUSH1 0x20
0000065d: ADD
0000065e: SWAP1
0000065f: SWAP2
00000660: SWAP1
00000661: DUP1
00000662: CALLDATALOAD
00000663: SWAP1
00000664: PUSH1 0x20
00000666: ADD
00000667: SWAP1
00000668: SWAP2
00000669: SWAP1
0000066a: POP
0000066b: POP
0000066c: PUSH2 0x2127
0000066f: JUMP
00000670: JUMPDEST
00000671: PUSH1 0x40
00000673: MLOAD
00000674: DUP1
00000675: DUP3
00000676: ISZERO
00000677: ISZERO
00000678: ISZERO
00000679: ISZERO
0000067a: DUP2
0000067b: MSTORE
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: SWAP2
00000680: POP
00000681: POP
00000682: PUSH1 0x40
00000684: MLOAD
00000685: DUP1
00000686: SWAP2
00000687: SUB
00000688: SWAP1
00000689: RETURN
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: ISZERO
0000068d: PUSH2 0x0695
00000690: JUMPI
00000691: PUSH1 0x00
00000693: DUP1
00000694: REVERT
00000695: JUMPDEST
00000696: PUSH2 0x06c1
00000699: PUSH1 0x04
0000069b: DUP1
0000069c: DUP1
0000069d: CALLDATALOAD
0000069e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b3: AND
000006b4: SWAP1
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: SWAP1
000006b9: SWAP2
000006ba: SWAP1
000006bb: POP
000006bc: POP
000006bd: PUSH2 0x25d4
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH1 0x40
000006c4: MLOAD
000006c5: DUP1
000006c6: DUP3
000006c7: DUP2
000006c8: MSTORE
000006c9: PUSH1 0x20
000006cb: ADD
000006cc: SWAP2
000006cd: POP
000006ce: POP
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: DUP1
000006d3: SWAP2
000006d4: SUB
000006d5: SWAP1
000006d6: RETURN
000006d7: JUMPDEST
000006d8: CALLVALUE
000006d9: ISZERO
000006da: PUSH2 0x06e2
000006dd: JUMPI
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: REVERT
000006e2: JUMPDEST
000006e3: PUSH2 0x06ea
000006e6: PUSH2 0x261e
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: DUP1
000006ef: DUP3
000006f0: DUP2
000006f1: MSTORE
000006f2: PUSH1 0x20
000006f4: ADD
000006f5: SWAP2
000006f6: POP
000006f7: POP
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: RETURN
00000700: JUMPDEST
00000701: CALLVALUE
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: PUSH2 0x0713
0000070f: PUSH2 0x2624
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH1 0x40
00000716: MLOAD
00000717: DUP1
00000718: DUP3
00000719: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072e: AND
0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000744: AND
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x20
00000749: ADD
0000074a: SWAP2
0000074b: POP
0000074c: POP
0000074d: PUSH1 0x40
0000074f: MLOAD
00000750: DUP1
00000751: SWAP2
00000752: SUB
00000753: SWAP1
00000754: RETURN
00000755: JUMPDEST
00000756: CALLVALUE
00000757: ISZERO
00000758: PUSH2 0x0760
0000075b: JUMPI
0000075c: PUSH1 0x00
0000075e: DUP1
0000075f: REVERT
00000760: JUMPDEST
00000761: PUSH2 0x0768
00000764: PUSH2 0x2649
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH1 0x40
0000076b: MLOAD
0000076c: DUP1
0000076d: DUP3
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH1 0x20
00000772: ADD
00000773: SWAP2
00000774: POP
00000775: POP
00000776: PUSH1 0x40
00000778: MLOAD
00000779: DUP1
0000077a: SWAP2
0000077b: SUB
0000077c: SWAP1
0000077d: RETURN
0000077e: JUMPDEST
0000077f: CALLVALUE
00000780: ISZERO
00000781: PUSH2 0x0789
00000784: JUMPI
00000785: PUSH1 0x00
00000787: DUP1
00000788: REVERT
00000789: JUMPDEST
0000078a: PUSH2 0x0791
0000078d: PUSH2 0x264f
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH1 0x40
00000794: MLOAD
00000795: DUP1
00000796: DUP1
00000797: PUSH1 0x20
00000799: ADD
0000079a: DUP3
0000079b: DUP2
0000079c: SUB
0000079d: DUP3
0000079e: MSTORE
0000079f: DUP4
000007a0: DUP2
000007a1: DUP2
000007a2: MLOAD
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x20
000007a7: ADD
000007a8: SWAP2
000007a9: POP
000007aa: DUP1
000007ab: MLOAD
000007ac: SWAP1
000007ad: PUSH1 0x20
000007af: ADD
000007b0: SWAP1
000007b1: DUP1
000007b2: DUP4
000007b3: DUP4
000007b4: PUSH1 0x00
000007b6: JUMPDEST
000007b7: DUP4
000007b8: DUP2
000007b9: LT
000007ba: ISZERO
000007bb: PUSH2 0x07d2
000007be: JUMPI
000007bf: DUP1
000007c0: DUP3
000007c1: ADD
000007c2: MLOAD
000007c3: DUP2
000007c4: DUP5
000007c5: ADD
000007c6: MSTORE
000007c7: JUMPDEST
000007c8: PUSH1 0x20
000007ca: DUP2
000007cb: ADD
000007cc: SWAP1
000007cd: POP
000007ce: PUSH2 0x07b6
000007d1: JUMP
000007d2: JUMPDEST
000007d3: POP
000007d4: POP
000007d5: POP
000007d6: POP
000007d7: SWAP1
000007d8: POP
000007d9: SWAP1
000007da: DUP2
000007db: ADD
000007dc: SWAP1
000007dd: PUSH1 0x1f
000007df: AND
000007e0: DUP1
000007e1: ISZERO
000007e2: PUSH2 0x07ff
000007e5: JUMPI
000007e6: DUP1
000007e7: DUP3
000007e8: SUB
000007e9: DUP1
000007ea: MLOAD
000007eb: PUSH1 0x01
000007ed: DUP4
000007ee: PUSH1 0x20
000007f0: SUB
000007f1: PUSH2 0x0100
000007f4: EXP
000007f5: SUB
000007f6: NOT
000007f7: AND
000007f8: DUP2
000007f9: MSTORE
000007fa: PUSH1 0x20
000007fc: ADD
000007fd: SWAP2
000007fe: POP
000007ff: JUMPDEST
00000800: POP
00000801: SWAP3
00000802: POP
00000803: POP
00000804: POP
00000805: PUSH1 0x40
00000807: MLOAD
00000808: DUP1
00000809: SWAP2
0000080a: SUB
0000080b: SWAP1
0000080c: RETURN
0000080d: JUMPDEST
0000080e: CALLVALUE
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: PUSH2 0x0820
0000081c: PUSH2 0x2688
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH1 0x40
00000823: MLOAD
00000824: DUP1
00000825: DUP1
00000826: PUSH1 0x20
00000828: ADD
00000829: DUP3
0000082a: DUP2
0000082b: SUB
0000082c: DUP3
0000082d: MSTORE
0000082e: DUP4
0000082f: DUP2
00000830: DUP2
00000831: MLOAD
00000832: DUP2
00000833: MSTORE
00000834: PUSH1 0x20
00000836: ADD
00000837: SWAP2
00000838: POP
00000839: DUP1
0000083a: MLOAD
0000083b: SWAP1
0000083c: PUSH1 0x20
0000083e: ADD
0000083f: SWAP1
00000840: DUP1
00000841: DUP4
00000842: DUP4
00000843: PUSH1 0x00
00000845: JUMPDEST
00000846: DUP4
00000847: DUP2
00000848: LT
00000849: ISZERO
0000084a: PUSH2 0x0861
0000084d: JUMPI
0000084e: DUP1
0000084f: DUP3
00000850: ADD
00000851: MLOAD
00000852: DUP2
00000853: DUP5
00000854: ADD
00000855: MSTORE
00000856: JUMPDEST
00000857: PUSH1 0x20
00000859: DUP2
0000085a: ADD
0000085b: SWAP1
0000085c: POP
0000085d: PUSH2 0x0845
00000860: JUMP
00000861: JUMPDEST
00000862: POP
00000863: POP
00000864: POP
00000865: POP
00000866: SWAP1
00000867: POP
00000868: SWAP1
00000869: DUP2
0000086a: ADD
0000086b: SWAP1
0000086c: PUSH1 0x1f
0000086e: AND
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x088e
00000874: JUMPI
00000875: DUP1
00000876: DUP3
00000877: SUB
00000878: DUP1
00000879: MLOAD
0000087a: PUSH1 0x01
0000087c: DUP4
0000087d: PUSH1 0x20
0000087f: SUB
00000880: PUSH2 0x0100
00000883: EXP
00000884: SUB
00000885: NOT
00000886: AND
00000887: DUP2
00000888: MSTORE
00000889: PUSH1 0x20
0000088b: ADD
0000088c: SWAP2
0000088d: POP
0000088e: JUMPDEST
0000088f: POP
00000890: SWAP3
00000891: POP
00000892: POP
00000893: POP
00000894: PUSH1 0x40
00000896: MLOAD
00000897: DUP1
00000898: SWAP2
00000899: SUB
0000089a: SWAP1
0000089b: RETURN
0000089c: JUMPDEST
0000089d: PUSH2 0x08a4
000008a0: PUSH2 0x0aff
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: DUP1
000008a9: DUP3
000008aa: ISZERO
000008ab: ISZERO
000008ac: ISZERO
000008ad: ISZERO
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x20
000008b2: ADD
000008b3: SWAP2
000008b4: POP
000008b5: POP
000008b6: PUSH1 0x40
000008b8: MLOAD
000008b9: DUP1
000008ba: SWAP2
000008bb: SUB
000008bc: SWAP1
000008bd: RETURN
000008be: JUMPDEST
000008bf: CALLVALUE
000008c0: ISZERO
000008c1: PUSH2 0x08c9
000008c4: JUMPI
000008c5: PUSH1 0x00
000008c7: DUP1
000008c8: REVERT
000008c9: JUMPDEST
000008ca: PUSH2 0x08fe
000008cd: PUSH1 0x04
000008cf: DUP1
000008d0: DUP1
000008d1: CALLDATALOAD
000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e7: AND
000008e8: SWAP1
000008e9: PUSH1 0x20
000008eb: ADD
000008ec: SWAP1
000008ed: SWAP2
000008ee: SWAP1
000008ef: DUP1
000008f0: CALLDATALOAD
000008f1: SWAP1
000008f2: PUSH1 0x20
000008f4: ADD
000008f5: SWAP1
000008f6: SWAP2
000008f7: SWAP1
000008f8: POP
000008f9: POP
000008fa: PUSH2 0x26e8
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH1 0x40
00000901: MLOAD
00000902: DUP1
00000903: DUP3
00000904: ISZERO
00000905: ISZERO
00000906: ISZERO
00000907: ISZERO
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: ADD
0000090d: SWAP2
0000090e: POP
0000090f: POP
00000910: PUSH1 0x40
00000912: MLOAD
00000913: DUP1
00000914: SWAP2
00000915: SUB
00000916: SWAP1
00000917: RETURN
00000918: JUMPDEST
00000919: PUSH2 0x0920
0000091c: PUSH2 0x2a88
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x40
00000923: MLOAD
00000924: DUP1
00000925: DUP3
00000926: ISZERO
00000927: ISZERO
00000928: ISZERO
00000929: ISZERO
0000092a: DUP2
0000092b: MSTORE
0000092c: PUSH1 0x20
0000092e: ADD
0000092f: SWAP2
00000930: POP
00000931: POP
00000932: PUSH1 0x40
00000934: MLOAD
00000935: DUP1
00000936: SWAP2
00000937: SUB
00000938: SWAP1
00000939: RETURN
0000093a: JUMPDEST
0000093b: CALLVALUE
0000093c: ISZERO
0000093d: PUSH2 0x0945
00000940: JUMPI
00000941: PUSH1 0x00
00000943: DUP1
00000944: REVERT
00000945: JUMPDEST
00000946: PUSH2 0x095b
00000949: PUSH1 0x04
0000094b: DUP1
0000094c: DUP1
0000094d: CALLDATALOAD
0000094e: SWAP1
0000094f: PUSH1 0x20
00000951: ADD
00000952: SWAP1
00000953: SWAP2
00000954: SWAP1
00000955: POP
00000956: POP
00000957: PUSH2 0x2aee
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x40
0000095e: MLOAD
0000095f: DUP1
00000960: DUP3
00000961: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000976: AND
00000977: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098c: AND
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x20
00000991: ADD
00000992: SWAP2
00000993: POP
00000994: POP
00000995: PUSH1 0x40
00000997: MLOAD
00000998: DUP1
00000999: SWAP2
0000099a: SUB
0000099b: SWAP1
0000099c: RETURN
0000099d: JUMPDEST
0000099e: CALLVALUE
0000099f: ISZERO
000009a0: PUSH2 0x09a8
000009a3: JUMPI
000009a4: PUSH1 0x00
000009a6: DUP1
000009a7: REVERT
000009a8: JUMPDEST
000009a9: PUSH2 0x09b0
000009ac: PUSH2 0x2b33
000009af: JUMP
000009b0: JUMPDEST
000009b1: PUSH1 0x40
000009b3: MLOAD
000009b4: DUP1
000009b5: DUP3
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x20
000009ba: ADD
000009bb: SWAP2
000009bc: POP
000009bd: POP
000009be: PUSH1 0x40
000009c0: MLOAD
000009c1: DUP1
000009c2: SWAP2
000009c3: SUB
000009c4: SWAP1
000009c5: RETURN
000009c6: JUMPDEST
000009c7: CALLVALUE
000009c8: ISZERO
000009c9: PUSH2 0x09d1
000009cc: JUMPI
000009cd: PUSH1 0x00
000009cf: DUP1
000009d0: REVERT
000009d1: JUMPDEST
000009d2: PUSH2 0x09e7
000009d5: PUSH1 0x04
000009d7: DUP1
000009d8: DUP1
000009d9: CALLDATALOAD
000009da: SWAP1
000009db: PUSH1 0x20
000009dd: ADD
000009de: SWAP1
000009df: SWAP2
000009e0: SWAP1
000009e1: POP
000009e2: POP
000009e3: PUSH2 0x2b39
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: DUP1
000009ec: DUP4
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x20
000009f1: ADD
000009f2: DUP3
000009f3: DUP2
000009f4: MSTORE
000009f5: PUSH1 0x20
000009f7: ADD
000009f8: SWAP3
000009f9: POP
000009fa: POP
000009fb: POP
000009fc: PUSH1 0x40
000009fe: MLOAD
000009ff: DUP1
00000a00: SWAP2
00000a01: SUB
00000a02: SWAP1
00000a03: RETURN
00000a04: JUMPDEST
00000a05: CALLVALUE
00000a06: ISZERO
00000a07: PUSH2 0x0a0f
00000a0a: JUMPI
00000a0b: PUSH1 0x00
00000a0d: DUP1
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: PUSH2 0x0a5a
00000a13: PUSH1 0x04
00000a15: DUP1
00000a16: DUP1
00000a17: CALLDATALOAD
00000a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2d: AND
00000a2e: SWAP1
00000a2f: PUSH1 0x20
00000a31: ADD
00000a32: SWAP1
00000a33: SWAP2
00000a34: SWAP1
00000a35: DUP1
00000a36: CALLDATALOAD
00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4c: AND
00000a4d: SWAP1
00000a4e: PUSH1 0x20
00000a50: ADD
00000a51: SWAP1
00000a52: SWAP2
00000a53: SWAP1
00000a54: POP
00000a55: POP
00000a56: PUSH2 0x2b63
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: DUP1
00000a5f: DUP3
00000a60: DUP2
00000a61: MSTORE
00000a62: PUSH1 0x20
00000a64: ADD
00000a65: SWAP2
00000a66: POP
00000a67: POP
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: DUP1
00000a6c: SWAP2
00000a6d: SUB
00000a6e: SWAP1
00000a6f: RETURN
00000a70: JUMPDEST
00000a71: CALLVALUE
00000a72: ISZERO
00000a73: PUSH2 0x0a7b
00000a76: JUMPI
00000a77: PUSH1 0x00
00000a79: DUP1
00000a7a: REVERT
00000a7b: JUMPDEST
00000a7c: PUSH2 0x0a83
00000a7f: PUSH2 0x2beb
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: DUP1
00000a88: DUP3
00000a89: ISZERO
00000a8a: ISZERO
00000a8b: ISZERO
00000a8c: ISZERO
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x20
00000a91: ADD
00000a92: SWAP2
00000a93: POP
00000a94: POP
00000a95: PUSH1 0x40
00000a97: MLOAD
00000a98: DUP1
00000a99: SWAP2
00000a9a: SUB
00000a9b: SWAP1
00000a9c: RETURN
00000a9d: JUMPDEST
00000a9e: CALLVALUE
00000a9f: ISZERO
00000aa0: PUSH2 0x0aa8
00000aa3: JUMPI
00000aa4: PUSH1 0x00
00000aa6: DUP1
00000aa7: REVERT
00000aa8: JUMPDEST
00000aa9: PUSH2 0x0ad4
00000aac: PUSH1 0x04
00000aae: DUP1
00000aaf: DUP1
00000ab0: CALLDATALOAD
00000ab1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac6: AND
00000ac7: SWAP1
00000ac8: PUSH1 0x20
00000aca: ADD
00000acb: SWAP1
00000acc: SWAP2
00000acd: SWAP1
00000ace: POP
00000acf: POP
00000ad0: PUSH2 0x2cc9
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: STOP
00000ad6: JUMPDEST
00000ad7: CALLVALUE
00000ad8: ISZERO
00000ad9: PUSH2 0x0ae1
00000adc: JUMPI
00000add: PUSH1 0x00
00000adf: DUP1
00000ae0: REVERT
00000ae1: JUMPDEST
00000ae2: PUSH2 0x0ae9
00000ae5: PUSH2 0x2d69
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: PUSH1 0x40
00000aec: MLOAD
00000aed: DUP1
00000aee: DUP3
00000aef: DUP2
00000af0: MSTORE
00000af1: PUSH1 0x20
00000af3: ADD
00000af4: SWAP2
00000af5: POP
00000af6: POP
00000af7: PUSH1 0x40
00000af9: MLOAD
00000afa: DUP1
00000afb: SWAP2
00000afc: SUB
00000afd: SWAP1
00000afe: RETURN
00000aff: JUMPDEST
00000b00: PUSH1 0x00
00000b02: DUP1
00000b03: PUSH1 0x00
00000b05: DUP1
00000b06: PUSH1 0x00
00000b08: DUP1
00000b09: PUSH1 0x01
00000b0b: PUSH1 0x00
00000b0d: ADDRESS
00000b0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b23: AND
00000b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b39: AND
00000b3a: DUP2
00000b3b: MSTORE
00000b3c: PUSH1 0x20
00000b3e: ADD
00000b3f: SWAP1
00000b40: DUP2
00000b41: MSTORE
00000b42: PUSH1 0x20
00000b44: ADD
00000b45: PUSH1 0x00
00000b47: KECCAK256
00000b48: SLOAD
00000b49: GT
00000b4a: ISZERO
00000b4b: ISZERO
00000b4c: PUSH2 0x0b54
00000b4f: JUMPI
00000b50: PUSH1 0x00
00000b52: DUP1
00000b53: REVERT
00000b54: JUMPDEST
00000b55: PUSH1 0x0b
00000b57: PUSH1 0x06
00000b59: SLOAD
00000b5a: PUSH1 0x08
00000b5c: DUP2
00000b5d: LT
00000b5e: ISZERO
00000b5f: ISZERO
00000b60: PUSH2 0x0b65
00000b63: JUMPI
00000b64: INVALID
00000b65: JUMPDEST
00000b66: PUSH1 0x02
00000b68: MUL
00000b69: ADD
00000b6a: PUSH1 0x00
00000b6c: JUMPDEST
00000b6d: POP
00000b6e: PUSH1 0x00
00000b70: ADD
00000b71: SLOAD
00000b72: CALLVALUE
00000b73: LT
00000b74: ISZERO
00000b75: ISZERO
00000b76: ISZERO
00000b77: PUSH2 0x0b7f
00000b7a: JUMPI
00000b7b: PUSH1 0x00
00000b7d: DUP1
00000b7e: REVERT
00000b7f: JUMPDEST
00000b80: PUSH1 0x0b
00000b82: PUSH1 0x06
00000b84: SLOAD
00000b85: PUSH1 0x08
00000b87: DUP2
00000b88: LT
00000b89: ISZERO
00000b8a: ISZERO
00000b8b: PUSH2 0x0b90
00000b8e: JUMPI
00000b8f: INVALID
00000b90: JUMPDEST
00000b91: PUSH1 0x02
00000b93: MUL
00000b94: ADD
00000b95: PUSH1 0x00
00000b97: JUMPDEST
00000b98: POP
00000b99: PUSH1 0x00
00000b9b: ADD
00000b9c: SLOAD
00000b9d: CALLVALUE
00000b9e: DUP2
00000b9f: ISZERO
00000ba0: ISZERO
00000ba1: PUSH2 0x0ba6
00000ba4: JUMPI
00000ba5: INVALID
00000ba6: JUMPDEST
00000ba7: DIV
00000ba8: SWAP4
00000ba9: POP
00000baa: CALLVALUE
00000bab: SWAP3
00000bac: POP
00000bad: DUP4
00000bae: PUSH1 0x01
00000bb0: PUSH1 0x00
00000bb2: ADDRESS
00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc8: AND
00000bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bde: AND
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: SWAP1
00000be5: DUP2
00000be6: MSTORE
00000be7: PUSH1 0x20
00000be9: ADD
00000bea: PUSH1 0x00
00000bec: KECCAK256
00000bed: SLOAD
00000bee: LT
00000bef: ISZERO
00000bf0: PUSH2 0x0ce9
00000bf3: JUMPI
00000bf4: PUSH2 0x0c58
00000bf7: PUSH1 0x01
00000bf9: PUSH1 0x00
00000bfb: ADDRESS
00000bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c11: AND
00000c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c27: AND
00000c28: DUP2
00000c29: MSTORE
00000c2a: PUSH1 0x20
00000c2c: ADD
00000c2d: SWAP1
00000c2e: DUP2
00000c2f: MSTORE
00000c30: PUSH1 0x20
00000c32: ADD
00000c33: PUSH1 0x00
00000c35: KECCAK256
00000c36: SLOAD
00000c37: PUSH1 0x0b
00000c39: PUSH1 0x06
00000c3b: SLOAD
00000c3c: PUSH1 0x08
00000c3e: DUP2
00000c3f: LT
00000c40: ISZERO
00000c41: ISZERO
00000c42: PUSH2 0x0c47
00000c45: JUMPI
00000c46: INVALID
00000c47: JUMPDEST
00000c48: PUSH1 0x02
00000c4a: MUL
00000c4b: ADD
00000c4c: PUSH1 0x00
00000c4e: JUMPDEST
00000c4f: POP
00000c50: PUSH1 0x00
00000c52: ADD
00000c53: SLOAD
00000c54: PUSH2 0x2d6f
00000c57: JUMP
00000c58: JUMPDEST
00000c59: SWAP3
00000c5a: POP
00000c5b: PUSH2 0x0c64
00000c5e: CALLVALUE
00000c5f: DUP5
00000c60: PUSH2 0x2da3
00000c63: JUMP
00000c64: JUMPDEST
00000c65: SWAP2
00000c66: POP
00000c67: PUSH1 0x01
00000c69: PUSH1 0x00
00000c6b: ADDRESS
00000c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c81: AND
00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c97: AND
00000c98: DUP2
00000c99: MSTORE
00000c9a: PUSH1 0x20
00000c9c: ADD
00000c9d: SWAP1
00000c9e: DUP2
00000c9f: MSTORE
00000ca0: PUSH1 0x20
00000ca2: ADD
00000ca3: PUSH1 0x00
00000ca5: KECCAK256
00000ca6: SLOAD
00000ca7: SWAP4
00000ca8: POP
00000ca9: CALLER
00000caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbf: AND
00000cc0: PUSH2 0x08fc
00000cc3: DUP4
00000cc4: SWAP1
00000cc5: DUP2
00000cc6: ISZERO
00000cc7: MUL
00000cc8: SWAP1
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: PUSH1 0x00
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: DUP1
00000cd2: DUP4
00000cd3: SUB
00000cd4: DUP2
00000cd5: DUP6
00000cd6: DUP9
00000cd7: DUP9
00000cd8: CALL
00000cd9: SWAP4
00000cda: POP
00000cdb: POP
00000cdc: POP
00000cdd: POP
00000cde: ISZERO
00000cdf: ISZERO
00000ce0: PUSH2 0x0ce8
00000ce3: JUMPI
00000ce4: PUSH1 0x00
00000ce6: DUP1
00000ce7: REVERT
00000ce8: JUMPDEST
00000ce9: JUMPDEST
00000cea: PUSH1 0x00
00000cec: PUSH1 0x0b
00000cee: PUSH1 0x06
00000cf0: SLOAD
00000cf1: PUSH1 0x08
00000cf3: DUP2
00000cf4: LT
00000cf5: ISZERO
00000cf6: ISZERO
00000cf7: PUSH2 0x0cfc
00000cfa: JUMPI
00000cfb: INVALID
00000cfc: JUMPDEST
00000cfd: PUSH1 0x02
00000cff: MUL
00000d00: ADD
00000d01: PUSH1 0x00
00000d03: JUMPDEST
00000d04: POP
00000d05: PUSH1 0x00
00000d07: ADD
00000d08: SLOAD
00000d09: DUP5
00000d0a: DUP2
00000d0b: ISZERO
00000d0c: ISZERO
00000d0d: PUSH2 0x0d12
00000d10: JUMPI
00000d11: INVALID
00000d12: JUMPDEST
00000d13: MOD
00000d14: GT
00000d15: ISZERO
00000d16: PUSH2 0x0d2b
00000d19: JUMPI
00000d1a: PUSH2 0x0d22
00000d1d: DUP4
00000d1e: PUSH2 0x2dc2
00000d21: JUMP
00000d22: JUMPDEST
00000d23: ISZERO
00000d24: ISZERO
00000d25: PUSH2 0x0d2a
00000d28: JUMPI
00000d29: INVALID
00000d2a: JUMPDEST
00000d2b: JUMPDEST
00000d2c: PUSH2 0x0d74
00000d2f: PUSH1 0x01
00000d31: PUSH1 0x00
00000d33: CALLER
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: AND
00000d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5f: AND
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x20
00000d64: ADD
00000d65: SWAP1
00000d66: DUP2
00000d67: MSTORE
00000d68: PUSH1 0x20
00000d6a: ADD
00000d6b: PUSH1 0x00
00000d6d: KECCAK256
00000d6e: SLOAD
00000d6f: DUP6
00000d70: PUSH2 0x2e3a
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x01
00000d77: PUSH1 0x00
00000d79: CALLER
00000d7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8f: AND
00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da5: AND
00000da6: DUP2
00000da7: MSTORE
00000da8: PUSH1 0x20
00000daa: ADD
00000dab: SWAP1
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x20
00000db0: ADD
00000db1: PUSH1 0x00
00000db3: KECCAK256
00000db4: DUP2
00000db5: SWAP1
00000db6: SSTORE
00000db7: POP
00000db8: PUSH2 0x0e00
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0x00
00000dbf: ADDRESS
00000dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd5: AND
00000dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000deb: AND
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x20
00000df0: ADD
00000df1: SWAP1
00000df2: DUP2
00000df3: MSTORE
00000df4: PUSH1 0x20
00000df6: ADD
00000df7: PUSH1 0x00
00000df9: KECCAK256
00000dfa: SLOAD
00000dfb: DUP6
00000dfc: PUSH2 0x2da3
00000dff: JUMP
00000e00: JUMPDEST
00000e01: PUSH1 0x01
00000e03: PUSH1 0x00
00000e05: ADDRESS
00000e06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1b: AND
00000e1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e31: AND
00000e32: DUP2
00000e33: MSTORE
00000e34: PUSH1 0x20
00000e36: ADD
00000e37: SWAP1
00000e38: DUP2
00000e39: MSTORE
00000e3a: PUSH1 0x20
00000e3c: ADD
00000e3d: PUSH1 0x00
00000e3f: KECCAK256
00000e40: DUP2
00000e41: SWAP1
00000e42: SSTORE
00000e43: POP
00000e44: CALLER
00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5a: AND
00000e5b: ADDRESS
00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e71: AND
00000e72: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000e93: DUP7
00000e94: PUSH1 0x40
00000e96: MLOAD
00000e97: DUP1
00000e98: DUP3
00000e99: DUP2
00000e9a: MSTORE
00000e9b: PUSH1 0x20
00000e9d: ADD
00000e9e: SWAP2
00000e9f: POP
00000ea0: POP
00000ea1: PUSH1 0x40
00000ea3: MLOAD
00000ea4: DUP1
00000ea5: SWAP2
00000ea6: SUB
00000ea7: SWAP1
00000ea8: LOG3
00000ea9: PUSH1 0x00
00000eab: SWAP1
00000eac: POP
00000ead: JUMPDEST
00000eae: DUP4
00000eaf: DUP2
00000eb0: LT
00000eb1: ISZERO
00000eb2: PUSH2 0x0fb3
00000eb5: JUMPI
00000eb6: PUSH1 0x60
00000eb8: PUSH1 0x40
00000eba: MLOAD
00000ebb: SWAP1
00000ebc: DUP2
00000ebd: ADD
00000ebe: PUSH1 0x40
00000ec0: MSTORE
00000ec1: DUP1
00000ec2: CALLER
00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed8: AND
00000ed9: DUP2
00000eda: MSTORE
00000edb: PUSH1 0x20
00000edd: ADD
00000ede: PUSH1 0x0b
00000ee0: PUSH1 0x06
00000ee2: SLOAD
00000ee3: PUSH1 0x08
00000ee5: DUP2
00000ee6: LT
00000ee7: ISZERO
00000ee8: ISZERO
00000ee9: PUSH2 0x0eee
00000eec: JUMPI
00000eed: INVALID
00000eee: JUMPDEST
00000eef: PUSH1 0x02
00000ef1: MUL
00000ef2: ADD
00000ef3: PUSH1 0x00
00000ef5: JUMPDEST
00000ef6: POP
00000ef7: PUSH1 0x00
00000ef9: ADD
00000efa: SLOAD
00000efb: DUP2
00000efc: MSTORE
00000efd: PUSH1 0x20
00000eff: ADD
00000f00: PUSH1 0x00
00000f02: ISZERO
00000f03: ISZERO
00000f04: DUP2
00000f05: MSTORE
00000f06: POP
00000f07: PUSH1 0x1b
00000f09: PUSH1 0x08
00000f0b: SLOAD
00000f0c: PUSH1 0x65
00000f0e: DUP2
00000f0f: LT
00000f10: ISZERO
00000f11: ISZERO
00000f12: PUSH2 0x0f17
00000f15: JUMPI
00000f16: INVALID
00000f17: JUMPDEST
00000f18: PUSH1 0x03
00000f1a: MUL
00000f1b: ADD
00000f1c: PUSH1 0x00
00000f1e: JUMPDEST
00000f1f: POP
00000f20: PUSH1 0x00
00000f22: DUP3
00000f23: ADD
00000f24: MLOAD
00000f25: DUP2
00000f26: PUSH1 0x00
00000f28: ADD
00000f29: PUSH1 0x00
00000f2b: PUSH2 0x0100
00000f2e: EXP
00000f2f: DUP2
00000f30: SLOAD
00000f31: DUP2
00000f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f47: MUL
00000f48: NOT
00000f49: AND
00000f4a: SWAP1
00000f4b: DUP4
00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f61: AND
00000f62: MUL
00000f63: OR
00000f64: SWAP1
00000f65: SSTORE
00000f66: POP
00000f67: PUSH1 0x20
00000f69: DUP3
00000f6a: ADD
00000f6b: MLOAD
00000f6c: DUP2
00000f6d: PUSH1 0x01
00000f6f: ADD
00000f70: SSTORE
00000f71: PUSH1 0x40
00000f73: DUP3
00000f74: ADD
00000f75: MLOAD
00000f76: DUP2
00000f77: PUSH1 0x02
00000f79: ADD
00000f7a: PUSH1 0x00
00000f7c: PUSH2 0x0100
00000f7f: EXP
00000f80: DUP2
00000f81: SLOAD
00000f82: DUP2
00000f83: PUSH1 0xff
00000f85: MUL
00000f86: NOT
00000f87: AND
00000f88: SWAP1
00000f89: DUP4
00000f8a: ISZERO
00000f8b: ISZERO
00000f8c: MUL
00000f8d: OR
00000f8e: SWAP1
00000f8f: SSTORE
00000f90: POP
00000f91: SWAP1
00000f92: POP
00000f93: POP
00000f94: PUSH1 0x08
00000f96: PUSH1 0x00
00000f98: DUP2
00000f99: SLOAD
00000f9a: DUP1
00000f9b: SWAP3
00000f9c: SWAP2
00000f9d: SWAP1
00000f9e: PUSH1 0x01
00000fa0: ADD
00000fa1: SWAP2
00000fa2: SWAP1
00000fa3: POP
00000fa4: SSTORE
00000fa5: POP
00000fa6: JUMPDEST
00000fa7: DUP1
00000fa8: DUP1
00000fa9: PUSH1 0x01
00000fab: ADD
00000fac: SWAP2
00000fad: POP
00000fae: POP
00000faf: PUSH2 0x0ead
00000fb2: JUMP
00000fb3: JUMPDEST
00000fb4: PUSH1 0x01
00000fb6: SWAP5
00000fb7: POP
00000fb8: JUMPDEST
00000fb9: POP
00000fba: POP
00000fbb: POP
00000fbc: POP
00000fbd: SWAP1
00000fbe: JUMP
00000fbf: JUMPDEST
00000fc0: PUSH1 0x00
00000fc2: DUP1
00000fc3: CALLER
00000fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd9: AND
00000fda: PUSH1 0x1b
00000fdc: DUP5
00000fdd: PUSH1 0x65
00000fdf: DUP2
00000fe0: LT
00000fe1: ISZERO
00000fe2: ISZERO
00000fe3: PUSH2 0x0fe8
00000fe6: JUMPI
00000fe7: INVALID
00000fe8: JUMPDEST
00000fe9: PUSH1 0x03
00000feb: MUL
00000fec: ADD
00000fed: PUSH1 0x00
00000fef: JUMPDEST
00000ff0: POP
00000ff1: PUSH1 0x00
00000ff3: ADD
00000ff4: PUSH1 0x00
00000ff6: SWAP1
00000ff7: SLOAD
00000ff8: SWAP1
00000ff9: PUSH2 0x0100
00000ffc: EXP
00000ffd: SWAP1
00000ffe: DIV
00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001014: AND
00001015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102a: AND
0000102b: EQ
0000102c: ISZERO
0000102d: ISZERO
0000102e: PUSH2 0x1036
00001031: JUMPI
00001032: PUSH1 0x00
00001034: DUP1
00001035: REVERT
00001036: JUMPDEST
00001037: PUSH1 0x1b
00001039: DUP4
0000103a: PUSH1 0x65
0000103c: DUP2
0000103d: LT
0000103e: ISZERO
0000103f: ISZERO
00001040: PUSH2 0x1045
00001043: JUMPI
00001044: INVALID
00001045: JUMPDEST
00001046: PUSH1 0x03
00001048: MUL
00001049: ADD
0000104a: PUSH1 0x00
0000104c: JUMPDEST
0000104d: POP
0000104e: PUSH1 0x02
00001050: ADD
00001051: PUSH1 0x00
00001053: SWAP1
00001054: SLOAD
00001055: SWAP1
00001056: PUSH2 0x0100
00001059: EXP
0000105a: SWAP1
0000105b: DIV
0000105c: PUSH1 0xff
0000105e: AND
0000105f: ISZERO
00001060: ISZERO
00001061: ISZERO
00001062: PUSH2 0x106a
00001065: JUMPI
00001066: PUSH1 0x00
00001068: DUP1
00001069: REVERT
0000106a: JUMPDEST
0000106b: PUSH1 0x02
0000106d: PUSH1 0x1b
0000106f: DUP5
00001070: PUSH1 0x65
00001072: DUP2
00001073: LT
00001074: ISZERO
00001075: ISZERO
00001076: PUSH2 0x107b
00001079: JUMPI
0000107a: INVALID
0000107b: JUMPDEST
0000107c: PUSH1 0x03
0000107e: MUL
0000107f: ADD
00001080: PUSH1 0x00
00001082: JUMPDEST
00001083: POP
00001084: PUSH1 0x01
00001086: ADD
00001087: SLOAD
00001088: DUP2
00001089: ISZERO
0000108a: ISZERO
0000108b: PUSH2 0x1090
0000108e: JUMPI
0000108f: INVALID
00001090: JUMPDEST
00001091: DIV
00001092: SWAP1
00001093: POP
00001094: DUP1
00001095: ADDRESS
00001096: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ab: AND
000010ac: BALANCE
000010ad: LT
000010ae: ISZERO
000010af: ISZERO
000010b0: ISZERO
000010b1: PUSH2 0x10b9
000010b4: JUMPI
000010b5: PUSH1 0x00
000010b7: DUP1
000010b8: REVERT
000010b9: JUMPDEST
000010ba: PUSH2 0xdead
000010bd: PUSH1 0x1b
000010bf: DUP5
000010c0: PUSH1 0x65
000010c2: DUP2
000010c3: LT
000010c4: ISZERO
000010c5: ISZERO
000010c6: PUSH2 0x10cb
000010c9: JUMPI
000010ca: INVALID
000010cb: JUMPDEST
000010cc: PUSH1 0x03
000010ce: MUL
000010cf: ADD
000010d0: PUSH1 0x00
000010d2: JUMPDEST
000010d3: POP
000010d4: PUSH1 0x00
000010d6: ADD
000010d7: PUSH1 0x00
000010d9: PUSH2 0x0100
000010dc: EXP
000010dd: DUP2
000010de: SLOAD
000010df: DUP2
000010e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f5: MUL
000010f6: NOT
000010f7: AND
000010f8: SWAP1
000010f9: DUP4
000010fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110f: AND
00001110: MUL
00001111: OR
00001112: SWAP1
00001113: SSTORE
00001114: POP
00001115: PUSH1 0x01
00001117: PUSH1 0x1b
00001119: DUP5
0000111a: PUSH1 0x65
0000111c: DUP2
0000111d: LT
0000111e: ISZERO
0000111f: ISZERO
00001120: PUSH2 0x1125
00001123: JUMPI
00001124: INVALID
00001125: JUMPDEST
00001126: PUSH1 0x03
00001128: MUL
00001129: ADD
0000112a: PUSH1 0x00
0000112c: JUMPDEST
0000112d: POP
0000112e: PUSH1 0x02
00001130: ADD
00001131: PUSH1 0x00
00001133: PUSH2 0x0100
00001136: EXP
00001137: DUP2
00001138: SLOAD
00001139: DUP2
0000113a: PUSH1 0xff
0000113c: MUL
0000113d: NOT
0000113e: AND
0000113f: SWAP1
00001140: DUP4
00001141: ISZERO
00001142: ISZERO
00001143: MUL
00001144: OR
00001145: SWAP1
00001146: SSTORE
00001147: POP
00001148: PUSH1 0x09
0000114a: PUSH1 0x00
0000114c: DUP2
0000114d: SLOAD
0000114e: DUP1
0000114f: SWAP3
00001150: SWAP2
00001151: SWAP1
00001152: PUSH1 0x01
00001154: ADD
00001155: SWAP2
00001156: SWAP1
00001157: POP
00001158: SSTORE
00001159: POP
0000115a: PUSH2 0x11a3
0000115d: PUSH1 0x01
0000115f: PUSH1 0x00
00001161: CALLER
00001162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001177: AND
00001178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118d: AND
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x20
00001192: ADD
00001193: SWAP1
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x20
00001198: ADD
00001199: PUSH1 0x00
0000119b: KECCAK256
0000119c: SLOAD
0000119d: PUSH1 0x01
0000119f: PUSH2 0x2da3
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH1 0x01
000011a6: PUSH1 0x00
000011a8: CALLER
000011a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011be: AND
000011bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d4: AND
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x20
000011d9: ADD
000011da: SWAP1
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: ADD
000011e0: PUSH1 0x00
000011e2: KECCAK256
000011e3: DUP2
000011e4: SWAP1
000011e5: SSTORE
000011e6: POP
000011e7: PUSH20 0x8ade9bcda847852de70bada69bbc9358c1c7b747
000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001211: AND
00001212: PUSH2 0x08fc
00001215: DUP3
00001216: SWAP1
00001217: DUP2
00001218: ISZERO
00001219: MUL
0000121a: SWAP1
0000121b: PUSH1 0x40
0000121d: MLOAD
0000121e: PUSH1 0x00
00001220: PUSH1 0x40
00001222: MLOAD
00001223: DUP1
00001224: DUP4
00001225: SUB
00001226: DUP2
00001227: DUP6
00001228: DUP9
00001229: DUP9
0000122a: CALL
0000122b: SWAP4
0000122c: POP
0000122d: POP
0000122e: POP
0000122f: POP
00001230: ISZERO
00001231: ISZERO
00001232: PUSH2 0x123a
00001235: JUMPI
00001236: PUSH1 0x00
00001238: DUP1
00001239: REVERT
0000123a: JUMPDEST
0000123b: PUSH1 0x01
0000123d: SWAP2
0000123e: POP
0000123f: JUMPDEST
00001240: POP
00001241: SWAP2
00001242: SWAP1
00001243: POP
00001244: JUMP
00001245: JUMPDEST
00001246: PUSH1 0x60
00001248: PUSH1 0x40
0000124a: MLOAD
0000124b: SWAP1
0000124c: DUP2
0000124d: ADD
0000124e: PUSH1 0x40
00001250: MSTORE
00001251: DUP1
00001252: PUSH1 0x30
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x20
00001258: ADD
00001259: PUSH32 0x4469676974616c205a6f6e65206f6620496d6d6174657269616c20506963746f
0000127a: DUP2
0000127b: MSTORE
0000127c: PUSH1 0x20
0000127e: ADD
0000127f: PUSH32 0x7269616c2053656e736962696c69747900000000000000000000000000000000
000012a0: DUP2
000012a1: MSTORE
000012a2: POP
000012a3: DUP2
000012a4: JUMP
000012a5: JUMPDEST
000012a6: PUSH1 0x00
000012a8: DUP2
000012a9: PUSH1 0x02
000012ab: PUSH1 0x00
000012ad: CALLER
000012ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c3: AND
000012c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d9: AND
000012da: DUP2
000012db: MSTORE
000012dc: PUSH1 0x20
000012de: ADD
000012df: SWAP1
000012e0: DUP2
000012e1: MSTORE
000012e2: PUSH1 0x20
000012e4: ADD
000012e5: PUSH1 0x00
000012e7: KECCAK256
000012e8: PUSH1 0x00
000012ea: DUP6
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001316: AND
00001317: DUP2
00001318: MSTORE
00001319: PUSH1 0x20
0000131b: ADD
0000131c: SWAP1
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: ADD
00001322: PUSH1 0x00
00001324: KECCAK256
00001325: DUP2
00001326: SWAP1
00001327: SSTORE
00001328: POP
00001329: DUP3
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: CALLER
00001341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001356: AND
00001357: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001378: DUP5
00001379: PUSH1 0x40
0000137b: MLOAD
0000137c: DUP1
0000137d: DUP3
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x20
00001382: ADD
00001383: SWAP2
00001384: POP
00001385: POP
00001386: PUSH1 0x40
00001388: MLOAD
00001389: DUP1
0000138a: SWAP2
0000138b: SUB
0000138c: SWAP1
0000138d: LOG3
0000138e: PUSH1 0x01
00001390: SWAP1
00001391: POP
00001392: JUMPDEST
00001393: SWAP3
00001394: SWAP2
00001395: POP
00001396: POP
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x00
0000139b: DUP1
0000139c: PUSH1 0x00
0000139e: SWAP1
0000139f: SLOAD
000013a0: SWAP1
000013a1: PUSH2 0x0100
000013a4: EXP
000013a5: SWAP1
000013a6: DIV
000013a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bc: AND
000013bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d2: AND
000013d3: CALLER
000013d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e9: AND
000013ea: EQ
000013eb: ISZERO
000013ec: ISZERO
000013ed: PUSH2 0x13f5
000013f0: JUMPI
000013f1: PUSH1 0x00
000013f3: DUP1
000013f4: REVERT
000013f5: JUMPDEST
000013f6: PUSH1 0x00
000013f8: PUSH1 0x01
000013fa: PUSH1 0x00
000013fc: ADDRESS
000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001412: AND
00001413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001428: AND
00001429: DUP2
0000142a: MSTORE
0000142b: PUSH1 0x20
0000142d: ADD
0000142e: SWAP1
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x20
00001433: ADD
00001434: PUSH1 0x00
00001436: KECCAK256
00001437: SLOAD
00001438: GT
00001439: ISZERO
0000143a: ISZERO
0000143b: ISZERO
0000143c: PUSH2 0x1444
0000143f: JUMPI
00001440: PUSH1 0x00
00001442: DUP1
00001443: REVERT
00001444: JUMPDEST
00001445: PUSH1 0x07
00001447: PUSH1 0x06
00001449: SLOAD
0000144a: LT
0000144b: ISZERO
0000144c: ISZERO
0000144d: PUSH2 0x1455
00001450: JUMPI
00001451: PUSH1 0x00
00001453: DUP1
00001454: REVERT
00001455: JUMPDEST
00001456: PUSH1 0x0a
00001458: PUSH1 0x00
0000145a: SWAP1
0000145b: SLOAD
0000145c: SWAP1
0000145d: PUSH2 0x0100
00001460: EXP
00001461: SWAP1
00001462: DIV
00001463: PUSH1 0xff
00001465: AND
00001466: ISZERO
00001467: ISZERO
00001468: PUSH2 0x1482
0000146b: JUMPI
0000146c: PUSH1 0x06
0000146e: PUSH1 0x00
00001470: DUP2
00001471: SLOAD
00001472: DUP1
00001473: SWAP3
00001474: SWAP2
00001475: SWAP1
00001476: PUSH1 0x01
00001478: ADD
00001479: SWAP2
0000147a: SWAP1
0000147b: POP
0000147c: SSTORE
0000147d: POP
0000147e: PUSH2 0x14b4
00001481: JUMP
00001482: JUMPDEST
00001483: PUSH1 0x0a
00001485: PUSH1 0x00
00001487: SWAP1
00001488: SLOAD
00001489: SWAP1
0000148a: PUSH2 0x0100
0000148d: EXP
0000148e: SWAP1
0000148f: DIV
00001490: PUSH1 0xff
00001492: AND
00001493: ISZERO
00001494: PUSH2 0x14b3
00001497: JUMPI
00001498: PUSH1 0x00
0000149a: PUSH1 0x0a
0000149c: PUSH1 0x00
0000149e: PUSH2 0x0100
000014a1: EXP
000014a2: DUP2
000014a3: SLOAD
000014a4: DUP2
000014a5: PUSH1 0xff
000014a7: MUL
000014a8: NOT
000014a9: AND
000014aa: SWAP1
000014ab: DUP4
000014ac: ISZERO
000014ad: ISZERO
000014ae: MUL
000014af: OR
000014b0: SWAP1
000014b1: SSTORE
000014b2: POP
000014b3: JUMPDEST
000014b4: JUMPDEST
000014b5: PUSH2 0x1519
000014b8: PUSH1 0x01
000014ba: PUSH1 0x00
000014bc: ADDRESS
000014bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d2: AND
000014d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e8: AND
000014e9: DUP2
000014ea: MSTORE
000014eb: PUSH1 0x20
000014ed: ADD
000014ee: SWAP1
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x20
000014f3: ADD
000014f4: PUSH1 0x00
000014f6: KECCAK256
000014f7: SLOAD
000014f8: PUSH1 0x0b
000014fa: PUSH1 0x06
000014fc: SLOAD
000014fd: PUSH1 0x08
000014ff: DUP2
00001500: LT
00001501: ISZERO
00001502: ISZERO
00001503: PUSH2 0x1508
00001506: JUMPI
00001507: INVALID
00001508: JUMPDEST
00001509: PUSH1 0x02
0000150b: MUL
0000150c: ADD
0000150d: PUSH1 0x00
0000150f: JUMPDEST
00001510: POP
00001511: PUSH1 0x01
00001513: ADD
00001514: SLOAD
00001515: PUSH2 0x2e3a
00001518: JUMP
00001519: JUMPDEST
0000151a: PUSH1 0x01
0000151c: PUSH1 0x00
0000151e: ADDRESS
0000151f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001534: AND
00001535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154a: AND
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: ADD
00001550: SWAP1
00001551: DUP2
00001552: MSTORE
00001553: PUSH1 0x20
00001555: ADD
00001556: PUSH1 0x00
00001558: KECCAK256
00001559: DUP2
0000155a: SWAP1
0000155b: SSTORE
0000155c: POP
0000155d: PUSH2 0x1584
00001560: PUSH1 0x07
00001562: SLOAD
00001563: PUSH1 0x0b
00001565: PUSH1 0x06
00001567: SLOAD
00001568: PUSH1 0x08
0000156a: DUP2
0000156b: LT
0000156c: ISZERO
0000156d: ISZERO
0000156e: PUSH2 0x1573
00001571: JUMPI
00001572: INVALID
00001573: JUMPDEST
00001574: PUSH1 0x02
00001576: MUL
00001577: ADD
00001578: PUSH1 0x00
0000157a: JUMPDEST
0000157b: POP
0000157c: PUSH1 0x01
0000157e: ADD
0000157f: SLOAD
00001580: PUSH2 0x2e3a
00001583: JUMP
00001584: JUMPDEST
00001585: PUSH1 0x07
00001587: DUP2
00001588: SWAP1
00001589: SSTORE
0000158a: POP
0000158b: PUSH1 0x06
0000158d: SLOAD
0000158e: PUSH32 0x0d1a94de7718b697a5b4a1ef754fe8d19d6c6bf3d3189fc196e0df8751c2d466
000015af: PUSH1 0x40
000015b1: MLOAD
000015b2: PUSH1 0x40
000015b4: MLOAD
000015b5: DUP1
000015b6: SWAP2
000015b7: SUB
000015b8: SWAP1
000015b9: LOG2
000015ba: PUSH1 0x01
000015bc: SWAP1
000015bd: POP
000015be: JUMPDEST
000015bf: JUMPDEST
000015c0: SWAP1
000015c1: JUMP
000015c2: JUMPDEST
000015c3: PUSH1 0x00
000015c5: PUSH1 0x09
000015c7: SLOAD
000015c8: PUSH1 0x07
000015ca: SLOAD
000015cb: SUB
000015cc: SWAP1
000015cd: POP
000015ce: JUMPDEST
000015cf: SWAP1
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH1 0x05
000015d4: SLOAD
000015d5: DUP2
000015d6: JUMP
000015d7: JUMPDEST
000015d8: PUSH1 0x00
000015da: DUP1
000015db: PUSH1 0x00
000015dd: DUP4
000015de: PUSH1 0x01
000015e0: PUSH1 0x00
000015e2: DUP9
000015e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f8: AND
000015f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160e: AND
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x20
00001613: ADD
00001614: SWAP1
00001615: DUP2
00001616: MSTORE
00001617: PUSH1 0x20
00001619: ADD
0000161a: PUSH1 0x00
0000161c: KECCAK256
0000161d: SLOAD
0000161e: LT
0000161f: ISZERO
00001620: ISZERO
00001621: ISZERO
00001622: PUSH2 0x162a
00001625: JUMPI
00001626: PUSH1 0x00
00001628: DUP1
00001629: REVERT
0000162a: JUMPDEST
0000162b: DUP4
0000162c: PUSH1 0x02
0000162e: PUSH1 0x00
00001630: DUP9
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165c: AND
0000165d: DUP2
0000165e: MSTORE
0000165f: PUSH1 0x20
00001661: ADD
00001662: SWAP1
00001663: DUP2
00001664: MSTORE
00001665: PUSH1 0x20
00001667: ADD
00001668: PUSH1 0x00
0000166a: KECCAK256
0000166b: PUSH1 0x00
0000166d: CALLER
0000166e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001683: AND
00001684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001699: AND
0000169a: DUP2
0000169b: MSTORE
0000169c: PUSH1 0x20
0000169e: ADD
0000169f: SWAP1
000016a0: DUP2
000016a1: MSTORE
000016a2: PUSH1 0x20
000016a4: ADD
000016a5: PUSH1 0x00
000016a7: KECCAK256
000016a8: SLOAD
000016a9: LT
000016aa: ISZERO
000016ab: ISZERO
000016ac: ISZERO
000016ad: PUSH2 0x16b5
000016b0: JUMPI
000016b1: PUSH1 0x00
000016b3: DUP1
000016b4: REVERT
000016b5: JUMPDEST
000016b6: PUSH1 0x00
000016b8: DUP5
000016b9: GT
000016ba: ISZERO
000016bb: ISZERO
000016bc: PUSH2 0x16c4
000016bf: JUMPI
000016c0: PUSH1 0x00
000016c2: DUP1
000016c3: REVERT
000016c4: JUMPDEST
000016c5: PUSH1 0x00
000016c7: SWAP2
000016c8: POP
000016c9: PUSH1 0x00
000016cb: SWAP1
000016cc: POP
000016cd: JUMPDEST
000016ce: PUSH1 0x65
000016d0: DUP2
000016d1: LT
000016d2: ISZERO
000016d3: PUSH2 0x1878
000016d6: JUMPI
000016d7: DUP6
000016d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ed: AND
000016ee: PUSH1 0x1b
000016f0: DUP3
000016f1: PUSH1 0x65
000016f3: DUP2
000016f4: LT
000016f5: ISZERO
000016f6: ISZERO
000016f7: PUSH2 0x16fc
000016fa: JUMPI
000016fb: INVALID
000016fc: JUMPDEST
000016fd: PUSH1 0x03
000016ff: MUL
00001700: ADD
00001701: PUSH1 0x00
00001703: JUMPDEST
00001704: POP
00001705: PUSH1 0x00
00001707: ADD
00001708: PUSH1 0x00
0000170a: SWAP1
0000170b: SLOAD
0000170c: SWAP1
0000170d: PUSH2 0x0100
00001710: EXP
00001711: SWAP1
00001712: DIV
00001713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001728: AND
00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173e: AND
0000173f: EQ
00001740: DUP1
00001741: ISZERO
00001742: PUSH2 0x174a
00001745: JUMPI
00001746: POP
00001747: DUP4
00001748: DUP3
00001749: LT
0000174a: JUMPDEST
0000174b: ISZERO
0000174c: PUSH2 0x186a
0000174f: JUMPI
00001750: DUP5
00001751: PUSH1 0x1b
00001753: DUP3
00001754: PUSH1 0x65
00001756: DUP2
00001757: LT
00001758: ISZERO
00001759: ISZERO
0000175a: PUSH2 0x175f
0000175d: JUMPI
0000175e: INVALID
0000175f: JUMPDEST
00001760: PUSH1 0x03
00001762: MUL
00001763: ADD
00001764: PUSH1 0x00
00001766: JUMPDEST
00001767: POP
00001768: PUSH1 0x00
0000176a: ADD
0000176b: PUSH1 0x00
0000176d: PUSH2 0x0100
00001770: EXP
00001771: DUP2
00001772: SLOAD
00001773: DUP2
00001774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001789: MUL
0000178a: NOT
0000178b: AND
0000178c: SWAP1
0000178d: DUP4
0000178e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a3: AND
000017a4: MUL
000017a5: OR
000017a6: SWAP1
000017a7: SSTORE
000017a8: POP
000017a9: DUP2
000017aa: DUP1
000017ab: PUSH1 0x01
000017ad: ADD
000017ae: SWAP3
000017af: POP
000017b0: POP
000017b1: DUP1
000017b2: PUSH32 0x686da8ab505305dea46a4a41c4f06e7d07efd52dd1a016a942b0455bf7290c18
000017d3: DUP7
000017d4: PUSH1 0x1b
000017d6: DUP5
000017d7: PUSH1 0x65
000017d9: DUP2
000017da: LT
000017db: ISZERO
000017dc: ISZERO
000017dd: PUSH2 0x17e2
000017e0: JUMPI
000017e1: INVALID
000017e2: JUMPDEST
000017e3: PUSH1 0x03
000017e5: MUL
000017e6: ADD
000017e7: PUSH1 0x00
000017e9: JUMPDEST
000017ea: POP
000017eb: PUSH1 0x01
000017ed: ADD
000017ee: SLOAD
000017ef: PUSH1 0x1b
000017f1: DUP6
000017f2: PUSH1 0x65
000017f4: DUP2
000017f5: LT
000017f6: ISZERO
000017f7: ISZERO
000017f8: PUSH2 0x17fd
000017fb: JUMPI
000017fc: INVALID
000017fd: JUMPDEST
000017fe: PUSH1 0x03
00001800: MUL
00001801: ADD
00001802: PUSH1 0x00
00001804: JUMPDEST
00001805: POP
00001806: PUSH1 0x02
00001808: ADD
00001809: PUSH1 0x00
0000180b: SWAP1
0000180c: SLOAD
0000180d: SWAP1
0000180e: PUSH2 0x0100
00001811: EXP
00001812: SWAP1
00001813: DIV
00001814: PUSH1 0xff
00001816: AND
00001817: PUSH1 0x40
00001819: MLOAD
0000181a: DUP1
0000181b: DUP5
0000181c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001831: AND
00001832: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001847: AND
00001848: DUP2
00001849: MSTORE
0000184a: PUSH1 0x20
0000184c: ADD
0000184d: DUP4
0000184e: DUP2
0000184f: MSTORE
00001850: PUSH1 0x20
00001852: ADD
00001853: DUP3
00001854: ISZERO
00001855: ISZERO
00001856: ISZERO
00001857: ISZERO
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: SWAP4
0000185e: POP
0000185f: POP
00001860: POP
00001861: POP
00001862: PUSH1 0x40
00001864: MLOAD
00001865: DUP1
00001866: SWAP2
00001867: SUB
00001868: SWAP1
00001869: LOG2
0000186a: JUMPDEST
0000186b: JUMPDEST
0000186c: DUP1
0000186d: DUP1
0000186e: PUSH1 0x01
00001870: ADD
00001871: SWAP2
00001872: POP
00001873: POP
00001874: PUSH2 0x16cd
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH2 0x18c1
0000187c: PUSH1 0x01
0000187e: PUSH1 0x00
00001880: DUP9
00001881: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001896: AND
00001897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ac: AND
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH1 0x20
000018b1: ADD
000018b2: SWAP1
000018b3: DUP2
000018b4: MSTORE
000018b5: PUSH1 0x20
000018b7: ADD
000018b8: PUSH1 0x00
000018ba: KECCAK256
000018bb: SLOAD
000018bc: DUP6
000018bd: PUSH2 0x2da3
000018c0: JUMP
000018c1: JUMPDEST
000018c2: PUSH1 0x01
000018c4: PUSH1 0x00
000018c6: DUP9
000018c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018dc: AND
000018dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f2: AND
000018f3: DUP2
000018f4: MSTORE
000018f5: PUSH1 0x20
000018f7: ADD
000018f8: SWAP1
000018f9: DUP2
000018fa: MSTORE
000018fb: PUSH1 0x20
000018fd: ADD
000018fe: PUSH1 0x00
00001900: KECCAK256
00001901: DUP2
00001902: SWAP1
00001903: SSTORE
00001904: POP
00001905: PUSH2 0x198a
00001908: PUSH1 0x02
0000190a: PUSH1 0x00
0000190c: DUP9
0000190d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001922: AND
00001923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001938: AND
00001939: DUP2
0000193a: MSTORE
0000193b: PUSH1 0x20
0000193d: ADD
0000193e: SWAP1
0000193f: DUP2
00001940: MSTORE
00001941: PUSH1 0x20
00001943: ADD
00001944: PUSH1 0x00
00001946: KECCAK256
00001947: PUSH1 0x00
00001949: CALLER
0000194a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195f: AND
00001960: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001975: AND
00001976: DUP2
00001977: MSTORE
00001978: PUSH1 0x20
0000197a: ADD
0000197b: SWAP1
0000197c: DUP2
0000197d: MSTORE
0000197e: PUSH1 0x20
00001980: ADD
00001981: PUSH1 0x00
00001983: KECCAK256
00001984: SLOAD
00001985: DUP6
00001986: PUSH2 0x2da3
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH1 0x02
0000198d: PUSH1 0x00
0000198f: DUP9
00001990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a5: AND
000019a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bb: AND
000019bc: DUP2
000019bd: MSTORE
000019be: PUSH1 0x20
000019c0: ADD
000019c1: SWAP1
000019c2: DUP2
000019c3: MSTORE
000019c4: PUSH1 0x20
000019c6: ADD
000019c7: PUSH1 0x00
000019c9: KECCAK256
000019ca: PUSH1 0x00
000019cc: CALLER
000019cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e2: AND
000019e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f8: AND
000019f9: DUP2
000019fa: MSTORE
000019fb: PUSH1 0x20
000019fd: ADD
000019fe: SWAP1
000019ff: DUP2
00001a00: MSTORE
00001a01: PUSH1 0x20
00001a03: ADD
00001a04: PUSH1 0x00
00001a06: KECCAK256
00001a07: DUP2
00001a08: SWAP1
00001a09: SSTORE
00001a0a: POP
00001a0b: PUSH2 0x1a53
00001a0e: PUSH1 0x01
00001a10: PUSH1 0x00
00001a12: DUP8
00001a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a28: AND
00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3e: AND
00001a3f: DUP2
00001a40: MSTORE
00001a41: PUSH1 0x20
00001a43: ADD
00001a44: SWAP1
00001a45: DUP2
00001a46: MSTORE
00001a47: PUSH1 0x20
00001a49: ADD
00001a4a: PUSH1 0x00
00001a4c: KECCAK256
00001a4d: SLOAD
00001a4e: DUP6
00001a4f: PUSH2 0x2e3a
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x01
00001a56: PUSH1 0x00
00001a58: DUP8
00001a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6e: AND
00001a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a84: AND
00001a85: DUP2
00001a86: MSTORE
00001a87: PUSH1 0x20
00001a89: ADD
00001a8a: SWAP1
00001a8b: DUP2
00001a8c: MSTORE
00001a8d: PUSH1 0x20
00001a8f: ADD
00001a90: PUSH1 0x00
00001a92: KECCAK256
00001a93: DUP2
00001a94: SWAP1
00001a95: SSTORE
00001a96: POP
00001a97: DUP5
00001a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aad: AND
00001aae: DUP7
00001aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac4: AND
00001ac5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ae6: DUP7
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: DUP1
00001aeb: DUP3
00001aec: DUP2
00001aed: MSTORE
00001aee: PUSH1 0x20
00001af0: ADD
00001af1: SWAP2
00001af2: POP
00001af3: POP
00001af4: PUSH1 0x40
00001af6: MLOAD
00001af7: DUP1
00001af8: SWAP2
00001af9: SUB
00001afa: SWAP1
00001afb: LOG3
00001afc: PUSH1 0x01
00001afe: SWAP3
00001aff: POP
00001b00: JUMPDEST
00001b01: POP
00001b02: POP
00001b03: SWAP4
00001b04: SWAP3
00001b05: POP
00001b06: POP
00001b07: POP
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: PUSH1 0x00
00001b0c: DUP2
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: PUSH1 0x1b
00001b11: DUP2
00001b12: PUSH1 0x65
00001b14: DUP2
00001b15: LT
00001b16: ISZERO
00001b17: ISZERO
00001b18: PUSH2 0x1b1d
00001b1b: JUMPI
00001b1c: INVALID
00001b1d: JUMPDEST
00001b1e: PUSH1 0x03
00001b20: MUL
00001b21: ADD
00001b22: PUSH1 0x00
00001b24: JUMPDEST
00001b25: SWAP2
00001b26: POP
00001b27: SWAP1
00001b28: POP
00001b29: DUP1
00001b2a: PUSH1 0x00
00001b2c: ADD
00001b2d: PUSH1 0x00
00001b2f: SWAP1
00001b30: SLOAD
00001b31: SWAP1
00001b32: PUSH2 0x0100
00001b35: EXP
00001b36: SWAP1
00001b37: DIV
00001b38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4d: AND
00001b4e: SWAP1
00001b4f: DUP1
00001b50: PUSH1 0x01
00001b52: ADD
00001b53: SLOAD
00001b54: SWAP1
00001b55: DUP1
00001b56: PUSH1 0x02
00001b58: ADD
00001b59: PUSH1 0x00
00001b5b: SWAP1
00001b5c: SLOAD
00001b5d: SWAP1
00001b5e: PUSH2 0x0100
00001b61: EXP
00001b62: SWAP1
00001b63: DIV
00001b64: PUSH1 0xff
00001b66: AND
00001b67: SWAP1
00001b68: POP
00001b69: DUP4
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH1 0x00
00001b6e: DUP1
00001b6f: PUSH1 0x01
00001b71: PUSH1 0x00
00001b73: CALLER
00001b74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b89: AND
00001b8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9f: AND
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x20
00001ba4: ADD
00001ba5: SWAP1
00001ba6: DUP2
00001ba7: MSTORE
00001ba8: PUSH1 0x20
00001baa: ADD
00001bab: PUSH1 0x00
00001bad: KECCAK256
00001bae: SLOAD
00001baf: GT
00001bb0: ISZERO
00001bb1: ISZERO
00001bb2: PUSH2 0x1bba
00001bb5: JUMPI
00001bb6: PUSH1 0x00
00001bb8: DUP1
00001bb9: REVERT
00001bba: JUMPDEST
00001bbb: CALLER
00001bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd1: AND
00001bd2: PUSH1 0x1b
00001bd4: DUP4
00001bd5: PUSH1 0x65
00001bd7: DUP2
00001bd8: LT
00001bd9: ISZERO
00001bda: ISZERO
00001bdb: PUSH2 0x1be0
00001bde: JUMPI
00001bdf: INVALID
00001be0: JUMPDEST
00001be1: PUSH1 0x03
00001be3: MUL
00001be4: ADD
00001be5: PUSH1 0x00
00001be7: JUMPDEST
00001be8: POP
00001be9: PUSH1 0x00
00001beb: ADD
00001bec: PUSH1 0x00
00001bee: SWAP1
00001bef: SLOAD
00001bf0: SWAP1
00001bf1: PUSH2 0x0100
00001bf4: EXP
00001bf5: SWAP1
00001bf6: DIV
00001bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0c: AND
00001c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c22: AND
00001c23: EQ
00001c24: ISZERO
00001c25: ISZERO
00001c26: PUSH2 0x1c2e
00001c29: JUMPI
00001c2a: PUSH1 0x00
00001c2c: DUP1
00001c2d: REVERT
00001c2e: JUMPDEST
00001c2f: PUSH2 0x1c78
00001c32: PUSH1 0x01
00001c34: PUSH1 0x00
00001c36: CALLER
00001c37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4c: AND
00001c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c62: AND
00001c63: DUP2
00001c64: MSTORE
00001c65: PUSH1 0x20
00001c67: ADD
00001c68: SWAP1
00001c69: DUP2
00001c6a: MSTORE
00001c6b: PUSH1 0x20
00001c6d: ADD
00001c6e: PUSH1 0x00
00001c70: KECCAK256
00001c71: SLOAD
00001c72: PUSH1 0x01
00001c74: PUSH2 0x2da3
00001c77: JUMP
00001c78: JUMPDEST
00001c79: PUSH1 0x01
00001c7b: PUSH1 0x00
00001c7d: CALLER
00001c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c93: AND
00001c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca9: AND
00001caa: DUP2
00001cab: MSTORE
00001cac: PUSH1 0x20
00001cae: ADD
00001caf: SWAP1
00001cb0: DUP2
00001cb1: MSTORE
00001cb2: PUSH1 0x20
00001cb4: ADD
00001cb5: PUSH1 0x00
00001cb7: KECCAK256
00001cb8: DUP2
00001cb9: SWAP1
00001cba: SSTORE
00001cbb: POP
00001cbc: PUSH2 0x1d05
00001cbf: PUSH1 0x01
00001cc1: PUSH1 0x00
00001cc3: DUP6
00001cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd9: AND
00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cef: AND
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x20
00001cf4: ADD
00001cf5: SWAP1
00001cf6: DUP2
00001cf7: MSTORE
00001cf8: PUSH1 0x20
00001cfa: ADD
00001cfb: PUSH1 0x00
00001cfd: KECCAK256
00001cfe: SLOAD
00001cff: PUSH1 0x01
00001d01: PUSH2 0x2e3a
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH1 0x01
00001d08: PUSH1 0x00
00001d0a: DUP6
00001d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d20: AND
00001d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d36: AND
00001d37: DUP2
00001d38: MSTORE
00001d39: PUSH1 0x20
00001d3b: ADD
00001d3c: SWAP1
00001d3d: DUP2
00001d3e: MSTORE
00001d3f: PUSH1 0x20
00001d41: ADD
00001d42: PUSH1 0x00
00001d44: KECCAK256
00001d45: DUP2
00001d46: SWAP1
00001d47: SSTORE
00001d48: POP
00001d49: DUP3
00001d4a: PUSH1 0x1b
00001d4c: DUP4
00001d4d: PUSH1 0x65
00001d4f: DUP2
00001d50: LT
00001d51: ISZERO
00001d52: ISZERO
00001d53: PUSH2 0x1d58
00001d56: JUMPI
00001d57: INVALID
00001d58: JUMPDEST
00001d59: PUSH1 0x03
00001d5b: MUL
00001d5c: ADD
00001d5d: PUSH1 0x00
00001d5f: JUMPDEST
00001d60: POP
00001d61: PUSH1 0x00
00001d63: ADD
00001d64: PUSH1 0x00
00001d66: PUSH2 0x0100
00001d69: EXP
00001d6a: DUP2
00001d6b: SLOAD
00001d6c: DUP2
00001d6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d82: MUL
00001d83: NOT
00001d84: AND
00001d85: SWAP1
00001d86: DUP4
00001d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9c: AND
00001d9d: MUL
00001d9e: OR
00001d9f: SWAP1
00001da0: SSTORE
00001da1: POP
00001da2: DUP3
00001da3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db8: AND
00001db9: CALLER
00001dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dcf: AND
00001dd0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001df1: PUSH1 0x01
00001df3: PUSH1 0x40
00001df5: MLOAD
00001df6: DUP1
00001df7: DUP3
00001df8: DUP2
00001df9: MSTORE
00001dfa: PUSH1 0x20
00001dfc: ADD
00001dfd: SWAP2
00001dfe: POP
00001dff: POP
00001e00: PUSH1 0x40
00001e02: MLOAD
00001e03: DUP1
00001e04: SWAP2
00001e05: SUB
00001e06: SWAP1
00001e07: LOG3
00001e08: DUP2
00001e09: PUSH32 0x686da8ab505305dea46a4a41c4f06e7d07efd52dd1a016a942b0455bf7290c18
00001e2a: DUP5
00001e2b: PUSH1 0x1b
00001e2d: DUP6
00001e2e: PUSH1 0x65
00001e30: DUP2
00001e31: LT
00001e32: ISZERO
00001e33: ISZERO
00001e34: PUSH2 0x1e39
00001e37: JUMPI
00001e38: INVALID
00001e39: JUMPDEST
00001e3a: PUSH1 0x03
00001e3c: MUL
00001e3d: ADD
00001e3e: PUSH1 0x00
00001e40: JUMPDEST
00001e41: POP
00001e42: PUSH1 0x01
00001e44: ADD
00001e45: SLOAD
00001e46: PUSH1 0x1b
00001e48: DUP7
00001e49: PUSH1 0x65
00001e4b: DUP2
00001e4c: LT
00001e4d: ISZERO
00001e4e: ISZERO
00001e4f: PUSH2 0x1e54
00001e52: JUMPI
00001e53: INVALID
00001e54: JUMPDEST
00001e55: PUSH1 0x03
00001e57: MUL
00001e58: ADD
00001e59: PUSH1 0x00
00001e5b: JUMPDEST
00001e5c: POP
00001e5d: PUSH1 0x02
00001e5f: ADD
00001e60: PUSH1 0x00
00001e62: SWAP1
00001e63: SLOAD
00001e64: SWAP1
00001e65: PUSH2 0x0100
00001e68: EXP
00001e69: SWAP1
00001e6a: DIV
00001e6b: PUSH1 0xff
00001e6d: AND
00001e6e: PUSH1 0x40
00001e70: MLOAD
00001e71: DUP1
00001e72: DUP5
00001e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e88: AND
00001e89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9e: AND
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x20
00001ea3: ADD
00001ea4: DUP4
00001ea5: DUP2
00001ea6: MSTORE
00001ea7: PUSH1 0x20
00001ea9: ADD
00001eaa: DUP3
00001eab: ISZERO
00001eac: ISZERO
00001ead: ISZERO
00001eae: ISZERO
00001eaf: DUP2
00001eb0: MSTORE
00001eb1: PUSH1 0x20
00001eb3: ADD
00001eb4: SWAP4
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: DUP1
00001ebd: SWAP2
00001ebe: SUB
00001ebf: SWAP1
00001ec0: LOG2
00001ec1: PUSH1 0x01
00001ec3: SWAP1
00001ec4: POP
00001ec5: JUMPDEST
00001ec6: SWAP3
00001ec7: SWAP2
00001ec8: POP
00001ec9: POP
00001eca: JUMP
00001ecb: JUMPDEST
00001ecc: PUSH1 0x00
00001ece: PUSH1 0x01
00001ed0: PUSH1 0x03
00001ed2: PUSH1 0x00
00001ed4: CALLER
00001ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eea: AND
00001eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f00: AND
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x20
00001f05: ADD
00001f06: SWAP1
00001f07: DUP2
00001f08: MSTORE
00001f09: PUSH1 0x20
00001f0b: ADD
00001f0c: PUSH1 0x00
00001f0e: KECCAK256
00001f0f: PUSH1 0x00
00001f11: DUP6
00001f12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f27: AND
00001f28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3d: AND
00001f3e: DUP2
00001f3f: MSTORE
00001f40: PUSH1 0x20
00001f42: ADD
00001f43: SWAP1
00001f44: DUP2
00001f45: MSTORE
00001f46: PUSH1 0x20
00001f48: ADD
00001f49: PUSH1 0x00
00001f4b: KECCAK256
00001f4c: PUSH1 0x00
00001f4e: DUP5
00001f4f: DUP2
00001f50: MSTORE
00001f51: PUSH1 0x20
00001f53: ADD
00001f54: SWAP1
00001f55: DUP2
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: ADD
00001f5a: PUSH1 0x00
00001f5c: KECCAK256
00001f5d: PUSH1 0x00
00001f5f: PUSH2 0x0100
00001f62: EXP
00001f63: DUP2
00001f64: SLOAD
00001f65: DUP2
00001f66: PUSH1 0xff
00001f68: MUL
00001f69: NOT
00001f6a: AND
00001f6b: SWAP1
00001f6c: DUP4
00001f6d: ISZERO
00001f6e: ISZERO
00001f6f: MUL
00001f70: OR
00001f71: SWAP1
00001f72: SSTORE
00001f73: POP
00001f74: DUP2
00001f75: DUP4
00001f76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8b: AND
00001f8c: CALLER
00001f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa2: AND
00001fa3: PUSH32 0xc21fb125aad48df1c2e06ac3c462d3772fe147e0f33d8e031d619eb51776f60f
00001fc4: PUSH1 0x40
00001fc6: MLOAD
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: DUP1
00001fcb: SWAP2
00001fcc: SUB
00001fcd: SWAP1
00001fce: LOG4
00001fcf: PUSH1 0x01
00001fd1: SWAP1
00001fd2: POP
00001fd3: JUMPDEST
00001fd4: SWAP3
00001fd5: SWAP2
00001fd6: POP
00001fd7: POP
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH20 0x8ade9bcda847852de70bada69bbc9358c1c7b747
00001fef: DUP2
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH1 0x06
00001ff4: SLOAD
00001ff5: DUP2
00001ff6: JUMP
00001ff7: JUMPDEST
00001ff8: PUSH2 0x1fff
00001ffb: PUSH2 0x2e65
00001ffe: JUMP
00001fff: JUMPDEST
00002000: PUSH2 0x2007
00002003: PUSH2 0x2e65
00002006: JUMP
00002007: JUMPDEST
00002008: PUSH1 0x00
0000200a: DUP1
0000200b: PUSH1 0x01
0000200d: PUSH1 0x00
0000200f: DUP7
00002010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002025: AND
00002026: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000203b: AND
0000203c: DUP2
0000203d: MSTORE
0000203e: PUSH1 0x20
00002040: ADD
00002041: SWAP1
00002042: DUP2
00002043: MSTORE
00002044: PUSH1 0x20
00002046: ADD
00002047: PUSH1 0x00
00002049: KECCAK256
0000204a: SLOAD
0000204b: PUSH1 0x40
0000204d: MLOAD
0000204e: DUP1
0000204f: MSIZE
00002050: LT
00002051: PUSH2 0x2057
00002054: JUMPI
00002055: POP
00002056: MSIZE
00002057: JUMPDEST
00002058: SWAP1
00002059: DUP1
0000205a: DUP3
0000205b: MSTORE
0000205c: DUP1
0000205d: PUSH1 0x20
0000205f: MUL
00002060: PUSH1 0x20
00002062: ADD
00002063: DUP3
00002064: ADD
00002065: PUSH1 0x40
00002067: MSTORE
00002068: JUMPDEST
00002069: POP
0000206a: SWAP3
0000206b: POP
0000206c: PUSH1 0x00
0000206e: SWAP1
0000206f: POP
00002070: JUMPDEST
00002071: PUSH1 0x65
00002073: DUP2
00002074: LT
00002075: ISZERO
00002076: PUSH2 0x211b
00002079: JUMPI
0000207a: DUP5
0000207b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002090: AND
00002091: PUSH1 0x1b
00002093: DUP3
00002094: PUSH1 0x65
00002096: DUP2
00002097: LT
00002098: ISZERO
00002099: ISZERO
0000209a: PUSH2 0x209f
0000209d: JUMPI
0000209e: INVALID
0000209f: JUMPDEST
000020a0: PUSH1 0x03
000020a2: MUL
000020a3: ADD
000020a4: PUSH1 0x00
000020a6: JUMPDEST
000020a7: POP
000020a8: PUSH1 0x00
000020aa: ADD
000020ab: PUSH1 0x00
000020ad: SWAP1
000020ae: SLOAD
000020af: SWAP1
000020b0: PUSH2 0x0100
000020b3: EXP
000020b4: SWAP1
000020b5: DIV
000020b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020cb: AND
000020cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e1: AND
000020e2: EQ
000020e3: ISZERO
000020e4: PUSH2 0x210d
000020e7: JUMPI
000020e8: DUP1
000020e9: DUP4
000020ea: DUP4
000020eb: DUP2
000020ec: MLOAD
000020ed: DUP2
000020ee: LT
000020ef: ISZERO
000020f0: ISZERO
000020f1: PUSH2 0x20f6
000020f4: JUMPI
000020f5: INVALID
000020f6: JUMPDEST
000020f7: SWAP1
000020f8: PUSH1 0x20
000020fa: ADD
000020fb: SWAP1
000020fc: PUSH1 0x20
000020fe: MUL
000020ff: ADD
00002100: DUP2
00002101: DUP2
00002102: MSTORE
00002103: POP
00002104: POP
00002105: DUP2
00002106: DUP1
00002107: PUSH1 0x01
00002109: ADD
0000210a: SWAP3
0000210b: POP
0000210c: POP
0000210d: JUMPDEST
0000210e: JUMPDEST
0000210f: DUP1
00002110: DUP1
00002111: PUSH1 0x01
00002113: ADD
00002114: SWAP2
00002115: POP
00002116: POP
00002117: PUSH2 0x2070
0000211a: JUMP
0000211b: JUMPDEST
0000211c: DUP3
0000211d: SWAP4
0000211e: POP
0000211f: JUMPDEST
00002120: POP
00002121: POP
00002122: POP
00002123: SWAP2
00002124: SWAP1
00002125: POP
00002126: JUMP
00002127: JUMPDEST
00002128: PUSH1 0x00
0000212a: DUP1
0000212b: PUSH1 0x01
0000212d: PUSH1 0x00
0000212f: DUP7
00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002145: AND
00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215b: AND
0000215c: DUP2
0000215d: MSTORE
0000215e: PUSH1 0x20
00002160: ADD
00002161: SWAP1
00002162: DUP2
00002163: MSTORE
00002164: PUSH1 0x20
00002166: ADD
00002167: PUSH1 0x00
00002169: KECCAK256
0000216a: SLOAD
0000216b: GT
0000216c: ISZERO
0000216d: ISZERO
0000216e: PUSH2 0x2176
00002171: JUMPI
00002172: PUSH1 0x00
00002174: DUP1
00002175: REVERT
00002176: JUMPDEST
00002177: DUP4
00002178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000218d: AND
0000218e: PUSH1 0x1b
00002190: DUP4
00002191: PUSH1 0x65
00002193: DUP2
00002194: LT
00002195: ISZERO
00002196: ISZERO
00002197: PUSH2 0x219c
0000219a: JUMPI
0000219b: INVALID
0000219c: JUMPDEST
0000219d: PUSH1 0x03
0000219f: MUL
000021a0: ADD
000021a1: PUSH1 0x00
000021a3: JUMPDEST
000021a4: POP
000021a5: PUSH1 0x00
000021a7: ADD
000021a8: PUSH1 0x00
000021aa: SWAP1
000021ab: SLOAD
000021ac: SWAP1
000021ad: PUSH2 0x0100
000021b0: EXP
000021b1: SWAP1
000021b2: DIV
000021b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c8: AND
000021c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021de: AND
000021df: EQ
000021e0: ISZERO
000021e1: ISZERO
000021e2: PUSH2 0x21ea
000021e5: JUMPI
000021e6: PUSH1 0x00
000021e8: DUP1
000021e9: REVERT
000021ea: JUMPDEST
000021eb: PUSH1 0x03
000021ed: PUSH1 0x00
000021ef: DUP6
000021f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002205: AND
00002206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221b: AND
0000221c: DUP2
0000221d: MSTORE
0000221e: PUSH1 0x20
00002220: ADD
00002221: SWAP1
00002222: DUP2
00002223: MSTORE
00002224: PUSH1 0x20
00002226: ADD
00002227: PUSH1 0x00
00002229: KECCAK256
0000222a: PUSH1 0x00
0000222c: CALLER
0000222d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002242: AND
00002243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002258: AND
00002259: DUP2
0000225a: MSTORE
0000225b: PUSH1 0x20
0000225d: ADD
0000225e: SWAP1
0000225f: DUP2
00002260: MSTORE
00002261: PUSH1 0x20
00002263: ADD
00002264: PUSH1 0x00
00002266: KECCAK256
00002267: PUSH1 0x00
00002269: DUP4
0000226a: DUP2
0000226b: MSTORE
0000226c: PUSH1 0x20
0000226e: ADD
0000226f: SWAP1
00002270: DUP2
00002271: MSTORE
00002272: PUSH1 0x20
00002274: ADD
00002275: PUSH1 0x00
00002277: KECCAK256
00002278: PUSH1 0x00
0000227a: SWAP1
0000227b: SLOAD
0000227c: SWAP1
0000227d: PUSH2 0x0100
00002280: EXP
00002281: SWAP1
00002282: DIV
00002283: PUSH1 0xff
00002285: AND
00002286: ISZERO
00002287: ISZERO
00002288: PUSH2 0x2290
0000228b: JUMPI
0000228c: PUSH1 0x00
0000228e: DUP1
0000228f: REVERT
00002290: JUMPDEST
00002291: PUSH2 0x22da
00002294: PUSH1 0x01
00002296: PUSH1 0x00
00002298: DUP7
00002299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ae: AND
000022af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c4: AND
000022c5: DUP2
000022c6: MSTORE
000022c7: PUSH1 0x20
000022c9: ADD
000022ca: SWAP1
000022cb: DUP2
000022cc: MSTORE
000022cd: PUSH1 0x20
000022cf: ADD
000022d0: PUSH1 0x00
000022d2: KECCAK256
000022d3: SLOAD
000022d4: PUSH1 0x01
000022d6: PUSH2 0x2da3
000022d9: JUMP
000022da: JUMPDEST
000022db: PUSH1 0x01
000022dd: PUSH1 0x00
000022df: DUP7
000022e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f5: AND
000022f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000230b: AND
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x20
00002310: ADD
00002311: SWAP1
00002312: DUP2
00002313: MSTORE
00002314: PUSH1 0x20
00002316: ADD
00002317: PUSH1 0x00
00002319: KECCAK256
0000231a: DUP2
0000231b: SWAP1
0000231c: SSTORE
0000231d: POP
0000231e: PUSH2 0x2367
00002321: PUSH1 0x01
00002323: PUSH1 0x00
00002325: DUP6
00002326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000233b: AND
0000233c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002351: AND
00002352: DUP2
00002353: MSTORE
00002354: PUSH1 0x20
00002356: ADD
00002357: SWAP1
00002358: DUP2
00002359: MSTORE
0000235a: PUSH1 0x20
0000235c: ADD
0000235d: PUSH1 0x00
0000235f: KECCAK256
00002360: SLOAD
00002361: PUSH1 0x01
00002363: PUSH2 0x2e3a
00002366: JUMP
00002367: JUMPDEST
00002368: PUSH1 0x01
0000236a: PUSH1 0x00
0000236c: DUP6
0000236d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002382: AND
00002383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002398: AND
00002399: DUP2
0000239a: MSTORE
0000239b: PUSH1 0x20
0000239d: ADD
0000239e: SWAP1
0000239f: DUP2
000023a0: MSTORE
000023a1: PUSH1 0x20
000023a3: ADD
000023a4: PUSH1 0x00
000023a6: KECCAK256
000023a7: DUP2
000023a8: SWAP1
000023a9: SSTORE
000023aa: POP
000023ab: PUSH1 0x00
000023ad: PUSH1 0x03
000023af: PUSH1 0x00
000023b1: DUP7
000023b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023c7: AND
000023c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023dd: AND
000023de: DUP2
000023df: MSTORE
000023e0: PUSH1 0x20
000023e2: ADD
000023e3: SWAP1
000023e4: DUP2
000023e5: MSTORE
000023e6: PUSH1 0x20
000023e8: ADD
000023e9: PUSH1 0x00
000023eb: KECCAK256
000023ec: PUSH1 0x00
000023ee: CALLER
000023ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002404: AND
00002405: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241a: AND
0000241b: DUP2
0000241c: MSTORE
0000241d: PUSH1 0x20
0000241f: ADD
00002420: SWAP1
00002421: DUP2
00002422: MSTORE
00002423: PUSH1 0x20
00002425: ADD
00002426: PUSH1 0x00
00002428: KECCAK256
00002429: PUSH1 0x00
0000242b: DUP5
0000242c: DUP2
0000242d: MSTORE
0000242e: PUSH1 0x20
00002430: ADD
00002431: SWAP1
00002432: DUP2
00002433: MSTORE
00002434: PUSH1 0x20
00002436: ADD
00002437: PUSH1 0x00
00002439: KECCAK256
0000243a: PUSH1 0x00
0000243c: PUSH2 0x0100
0000243f: EXP
00002440: DUP2
00002441: SLOAD
00002442: DUP2
00002443: PUSH1 0xff
00002445: MUL
00002446: NOT
00002447: AND
00002448: SWAP1
00002449: DUP4
0000244a: ISZERO
0000244b: ISZERO
0000244c: MUL
0000244d: OR
0000244e: SWAP1
0000244f: SSTORE
00002450: POP
00002451: DUP3
00002452: PUSH1 0x1b
00002454: DUP4
00002455: PUSH1 0x65
00002457: DUP2
00002458: LT
00002459: ISZERO
0000245a: ISZERO
0000245b: PUSH2 0x2460
0000245e: JUMPI
0000245f: INVALID
00002460: JUMPDEST
00002461: PUSH1 0x03
00002463: MUL
00002464: ADD
00002465: PUSH1 0x00
00002467: JUMPDEST
00002468: POP
00002469: PUSH1 0x00
0000246b: ADD
0000246c: PUSH1 0x00
0000246e: PUSH2 0x0100
00002471: EXP
00002472: DUP2
00002473: SLOAD
00002474: DUP2
00002475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248a: MUL
0000248b: NOT
0000248c: AND
0000248d: SWAP1
0000248e: DUP4
0000248f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a4: AND
000024a5: MUL
000024a6: OR
000024a7: SWAP1
000024a8: SSTORE
000024a9: POP
000024aa: DUP3
000024ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c0: AND
000024c1: CALLER
000024c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d7: AND
000024d8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024f9: PUSH1 0x01
000024fb: PUSH1 0x40
000024fd: MLOAD
000024fe: DUP1
000024ff: DUP3
00002500: DUP2
00002501: MSTORE
00002502: PUSH1 0x20
00002504: ADD
00002505: SWAP2
00002506: POP
00002507: POP
00002508: PUSH1 0x40
0000250a: MLOAD
0000250b: DUP1
0000250c: SWAP2
0000250d: SUB
0000250e: SWAP1
0000250f: LOG3
00002510: DUP2
00002511: PUSH32 0x686da8ab505305dea46a4a41c4f06e7d07efd52dd1a016a942b0455bf7290c18
00002532: DUP5
00002533: PUSH1 0x1b
00002535: DUP6
00002536: PUSH1 0x65
00002538: DUP2
00002539: LT
0000253a: ISZERO
0000253b: ISZERO
0000253c: PUSH2 0x2541
0000253f: JUMPI
00002540: INVALID
00002541: JUMPDEST
00002542: PUSH1 0x03
00002544: MUL
00002545: ADD
00002546: PUSH1 0x00
00002548: JUMPDEST
00002549: POP
0000254a: PUSH1 0x01
0000254c: ADD
0000254d: SLOAD
0000254e: PUSH1 0x1b
00002550: DUP7
00002551: PUSH1 0x65
00002553: DUP2
00002554: LT
00002555: ISZERO
00002556: ISZERO
00002557: PUSH2 0x255c
0000255a: JUMPI
0000255b: INVALID
0000255c: JUMPDEST
0000255d: PUSH1 0x03
0000255f: MUL
00002560: ADD
00002561: PUSH1 0x00
00002563: JUMPDEST
00002564: POP
00002565: PUSH1 0x02
00002567: ADD
00002568: PUSH1 0x00
0000256a: SWAP1
0000256b: SLOAD
0000256c: SWAP1
0000256d: PUSH2 0x0100
00002570: EXP
00002571: SWAP1
00002572: DIV
00002573: PUSH1 0xff
00002575: AND
00002576: PUSH1 0x40
00002578: MLOAD
00002579: DUP1
0000257a: DUP5
0000257b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002590: AND
00002591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a6: AND
000025a7: DUP2
000025a8: MSTORE
000025a9: PUSH1 0x20
000025ab: ADD
000025ac: DUP4
000025ad: DUP2
000025ae: MSTORE
000025af: PUSH1 0x20
000025b1: ADD
000025b2: DUP3
000025b3: ISZERO
000025b4: ISZERO
000025b5: ISZERO
000025b6: ISZERO
000025b7: DUP2
000025b8: MSTORE
000025b9: PUSH1 0x20
000025bb: ADD
000025bc: SWAP4
000025bd: POP
000025be: POP
000025bf: POP
000025c0: POP
000025c1: PUSH1 0x40
000025c3: MLOAD
000025c4: DUP1
000025c5: SWAP2
000025c6: SUB
000025c7: SWAP1
000025c8: LOG2
000025c9: PUSH1 0x01
000025cb: SWAP1
000025cc: POP
000025cd: JUMPDEST
000025ce: SWAP4
000025cf: SWAP3
000025d0: POP
000025d1: POP
000025d2: POP
000025d3: JUMP
000025d4: JUMPDEST
000025d5: PUSH1 0x00
000025d7: PUSH1 0x01
000025d9: PUSH1 0x00
000025db: DUP4
000025dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025f1: AND
000025f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002607: AND
00002608: DUP2
00002609: MSTORE
0000260a: PUSH1 0x20
0000260c: ADD
0000260d: SWAP1
0000260e: DUP2
0000260f: MSTORE
00002610: PUSH1 0x20
00002612: ADD
00002613: PUSH1 0x00
00002615: KECCAK256
00002616: SLOAD
00002617: SWAP1
00002618: POP
00002619: JUMPDEST
0000261a: SWAP2
0000261b: SWAP1
0000261c: POP
0000261d: JUMP
0000261e: JUMPDEST
0000261f: PUSH1 0x04
00002621: SLOAD
00002622: DUP2
00002623: JUMP
00002624: JUMPDEST
00002625: PUSH1 0x00
00002627: DUP1
00002628: SWAP1
00002629: SLOAD
0000262a: SWAP1
0000262b: PUSH2 0x0100
0000262e: EXP
0000262f: SWAP1
00002630: DIV
00002631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002646: AND
00002647: DUP2
00002648: JUMP
00002649: JUMPDEST
0000264a: PUSH1 0x08
0000264c: SLOAD
0000264d: DUP2
0000264e: JUMP
0000264f: JUMPDEST
00002650: PUSH1 0x40
00002652: DUP1
00002653: MLOAD
00002654: SWAP1
00002655: DUP2
00002656: ADD
00002657: PUSH1 0x40
00002659: MSTORE
0000265a: DUP1
0000265b: PUSH1 0x03
0000265d: DUP2
0000265e: MSTORE
0000265f: PUSH1 0x20
00002661: ADD
00002662: PUSH32 0x494b420000000000000000000000000000000000000000000000000000000000
00002683: DUP2
00002684: MSTORE
00002685: POP
00002686: DUP2
00002687: JUMP
00002688: JUMPDEST
00002689: PUSH1 0x60
0000268b: PUSH1 0x40
0000268d: MLOAD
0000268e: SWAP1
0000268f: DUP2
00002690: ADD
00002691: PUSH1 0x40
00002693: MSTORE
00002694: DUP1
00002695: PUSH1 0x40
00002697: DUP2
00002698: MSTORE
00002699: PUSH1 0x20
0000269b: ADD
0000269c: PUSH32 0x3061353266323635643864363061383964653431613635303639666134373261
000026bd: DUP2
000026be: MSTORE
000026bf: PUSH1 0x20
000026c1: ADD
000026c2: PUSH32 0x6333623133306332363962343738383831313232306236353436373834393230
000026e3: DUP2
000026e4: MSTORE
000026e5: POP
000026e6: DUP2
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: DUP1
000026ec: PUSH1 0x00
000026ee: DUP4
000026ef: PUSH1 0x01
000026f1: PUSH1 0x00
000026f3: CALLER
000026f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002709: AND
0000270a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271f: AND
00002720: DUP2
00002721: MSTORE
00002722: PUSH1 0x20
00002724: ADD
00002725: SWAP1
00002726: DUP2
00002727: MSTORE
00002728: PUSH1 0x20
0000272a: ADD
0000272b: PUSH1 0x00
0000272d: KECCAK256
0000272e: SLOAD
0000272f: LT
00002730: ISZERO
00002731: ISZERO
00002732: ISZERO
00002733: PUSH2 0x273b
00002736: JUMPI
00002737: PUSH1 0x00
00002739: DUP1
0000273a: REVERT
0000273b: JUMPDEST
0000273c: PUSH1 0x00
0000273e: DUP5
0000273f: GT
00002740: ISZERO
00002741: ISZERO
00002742: PUSH2 0x274a
00002745: JUMPI
00002746: PUSH1 0x00
00002748: DUP1
00002749: REVERT
0000274a: JUMPDEST
0000274b: PUSH1 0x00
0000274d: SWAP2
0000274e: POP
0000274f: PUSH1 0x00
00002751: SWAP1
00002752: POP
00002753: JUMPDEST
00002754: PUSH1 0x65
00002756: DUP2
00002757: LT
00002758: ISZERO
00002759: PUSH2 0x28fe
0000275c: JUMPI
0000275d: CALLER
0000275e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002773: AND
00002774: PUSH1 0x1b
00002776: DUP3
00002777: PUSH1 0x65
00002779: DUP2
0000277a: LT
0000277b: ISZERO
0000277c: ISZERO
0000277d: PUSH2 0x2782
00002780: JUMPI
00002781: INVALID
00002782: JUMPDEST
00002783: PUSH1 0x03
00002785: MUL
00002786: ADD
00002787: PUSH1 0x00
00002789: JUMPDEST
0000278a: POP
0000278b: PUSH1 0x00
0000278d: ADD
0000278e: PUSH1 0x00
00002790: SWAP1
00002791: SLOAD
00002792: SWAP1
00002793: PUSH2 0x0100
00002796: EXP
00002797: SWAP1
00002798: DIV
00002799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ae: AND
000027af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c4: AND
000027c5: EQ
000027c6: DUP1
000027c7: ISZERO
000027c8: PUSH2 0x27d0
000027cb: JUMPI
000027cc: POP
000027cd: DUP4
000027ce: DUP3
000027cf: LT
000027d0: JUMPDEST
000027d1: ISZERO
000027d2: PUSH2 0x28f0
000027d5: JUMPI
000027d6: DUP5
000027d7: PUSH1 0x1b
000027d9: DUP3
000027da: PUSH1 0x65
000027dc: DUP2
000027dd: LT
000027de: ISZERO
000027df: ISZERO
000027e0: PUSH2 0x27e5
000027e3: JUMPI
000027e4: INVALID
000027e5: JUMPDEST
000027e6: PUSH1 0x03
000027e8: MUL
000027e9: ADD
000027ea: PUSH1 0x00
000027ec: JUMPDEST
000027ed: POP
000027ee: PUSH1 0x00
000027f0: ADD
000027f1: PUSH1 0x00
000027f3: PUSH2 0x0100
000027f6: EXP
000027f7: DUP2
000027f8: SLOAD
000027f9: DUP2
000027fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000280f: MUL
00002810: NOT
00002811: AND
00002812: SWAP1
00002813: DUP4
00002814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002829: AND
0000282a: MUL
0000282b: OR
0000282c: SWAP1
0000282d: SSTORE
0000282e: POP
0000282f: DUP2
00002830: DUP1
00002831: PUSH1 0x01
00002833: ADD
00002834: SWAP3
00002835: POP
00002836: POP
00002837: DUP1
00002838: PUSH32 0x686da8ab505305dea46a4a41c4f06e7d07efd52dd1a016a942b0455bf7290c18
00002859: DUP7
0000285a: PUSH1 0x1b
0000285c: DUP5
0000285d: PUSH1 0x65
0000285f: DUP2
00002860: LT
00002861: ISZERO
00002862: ISZERO
00002863: PUSH2 0x2868
00002866: JUMPI
00002867: INVALID
00002868: JUMPDEST
00002869: PUSH1 0x03
0000286b: MUL
0000286c: ADD
0000286d: PUSH1 0x00
0000286f: JUMPDEST
00002870: POP
00002871: PUSH1 0x01
00002873: ADD
00002874: SLOAD
00002875: PUSH1 0x1b
00002877: DUP6
00002878: PUSH1 0x65
0000287a: DUP2
0000287b: LT
0000287c: ISZERO
0000287d: ISZERO
0000287e: PUSH2 0x2883
00002881: JUMPI
00002882: INVALID
00002883: JUMPDEST
00002884: PUSH1 0x03
00002886: MUL
00002887: ADD
00002888: PUSH1 0x00
0000288a: JUMPDEST
0000288b: POP
0000288c: PUSH1 0x02
0000288e: ADD
0000288f: PUSH1 0x00
00002891: SWAP1
00002892: SLOAD
00002893: SWAP1
00002894: PUSH2 0x0100
00002897: EXP
00002898: SWAP1
00002899: DIV
0000289a: PUSH1 0xff
0000289c: AND
0000289d: PUSH1 0x40
0000289f: MLOAD
000028a0: DUP1
000028a1: DUP5
000028a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b7: AND
000028b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028cd: AND
000028ce: DUP2
000028cf: MSTORE
000028d0: PUSH1 0x20
000028d2: ADD
000028d3: DUP4
000028d4: DUP2
000028d5: MSTORE
000028d6: PUSH1 0x20
000028d8: ADD
000028d9: DUP3
000028da: ISZERO
000028db: ISZERO
000028dc: ISZERO
000028dd: ISZERO
000028de: DUP2
000028df: MSTORE
000028e0: PUSH1 0x20
000028e2: ADD
000028e3: SWAP4
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: PUSH1 0x40
000028ea: MLOAD
000028eb: DUP1
000028ec: SWAP2
000028ed: SUB
000028ee: SWAP1
000028ef: LOG2
000028f0: JUMPDEST
000028f1: JUMPDEST
000028f2: DUP1
000028f3: DUP1
000028f4: PUSH1 0x01
000028f6: ADD
000028f7: SWAP2
000028f8: POP
000028f9: POP
000028fa: PUSH2 0x2753
000028fd: JUMP
000028fe: JUMPDEST
000028ff: PUSH2 0x2947
00002902: PUSH1 0x01
00002904: PUSH1 0x00
00002906: CALLER
00002907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000291c: AND
0000291d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002932: AND
00002933: DUP2
00002934: MSTORE
00002935: PUSH1 0x20
00002937: ADD
00002938: SWAP1
00002939: DUP2
0000293a: MSTORE
0000293b: PUSH1 0x20
0000293d: ADD
0000293e: PUSH1 0x00
00002940: KECCAK256
00002941: SLOAD
00002942: DUP6
00002943: PUSH2 0x2da3
00002946: JUMP
00002947: JUMPDEST
00002948: PUSH1 0x01
0000294a: PUSH1 0x00
0000294c: CALLER
0000294d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002962: AND
00002963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002978: AND
00002979: DUP2
0000297a: MSTORE
0000297b: PUSH1 0x20
0000297d: ADD
0000297e: SWAP1
0000297f: DUP2
00002980: MSTORE
00002981: PUSH1 0x20
00002983: ADD
00002984: PUSH1 0x00
00002986: KECCAK256
00002987: DUP2
00002988: SWAP1
00002989: SSTORE
0000298a: POP
0000298b: PUSH2 0x29d3
0000298e: PUSH1 0x01
00002990: PUSH1 0x00
00002992: DUP8
00002993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a8: AND
000029a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029be: AND
000029bf: DUP2
000029c0: MSTORE
000029c1: PUSH1 0x20
000029c3: ADD
000029c4: SWAP1
000029c5: DUP2
000029c6: MSTORE
000029c7: PUSH1 0x20
000029c9: ADD
000029ca: PUSH1 0x00
000029cc: KECCAK256
000029cd: SLOAD
000029ce: DUP6
000029cf: PUSH2 0x2e3a
000029d2: JUMP
000029d3: JUMPDEST
000029d4: PUSH1 0x01
000029d6: PUSH1 0x00
000029d8: DUP8
000029d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ee: AND
000029ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a04: AND
00002a05: DUP2
00002a06: MSTORE
00002a07: PUSH1 0x20
00002a09: ADD
00002a0a: SWAP1
00002a0b: DUP2
00002a0c: MSTORE
00002a0d: PUSH1 0x20
00002a0f: ADD
00002a10: PUSH1 0x00
00002a12: KECCAK256
00002a13: DUP2
00002a14: SWAP1
00002a15: SSTORE
00002a16: POP
00002a17: DUP5
00002a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a2d: AND
00002a2e: CALLER
00002a2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a44: AND
00002a45: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002a66: DUP7
00002a67: PUSH1 0x40
00002a69: MLOAD
00002a6a: DUP1
00002a6b: DUP3
00002a6c: DUP2
00002a6d: MSTORE
00002a6e: PUSH1 0x20
00002a70: ADD
00002a71: SWAP2
00002a72: POP
00002a73: POP
00002a74: PUSH1 0x40
00002a76: MLOAD
00002a77: DUP1
00002a78: SWAP2
00002a79: SUB
00002a7a: SWAP1
00002a7b: LOG3
00002a7c: PUSH1 0x01
00002a7e: SWAP3
00002a7f: POP
00002a80: JUMPDEST
00002a81: POP
00002a82: POP
00002a83: SWAP3
00002a84: SWAP2
00002a85: POP
00002a86: POP
00002a87: JUMP
00002a88: JUMPDEST
00002a89: PUSH1 0x00
00002a8b: DUP1
00002a8c: PUSH1 0x00
00002a8e: SWAP1
00002a8f: SLOAD
00002a90: SWAP1
00002a91: PUSH2 0x0100
00002a94: EXP
00002a95: SWAP1
00002a96: DIV
00002a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aac: AND
00002aad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac2: AND
00002ac3: CALLER
00002ac4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad9: AND
00002ada: EQ
00002adb: ISZERO
00002adc: ISZERO
00002add: PUSH2 0x2ae5
00002ae0: JUMPI
00002ae1: PUSH1 0x00
00002ae3: DUP1
00002ae4: REVERT
00002ae5: JUMPDEST
00002ae6: PUSH1 0x01
00002ae8: SWAP1
00002ae9: POP
00002aea: JUMPDEST
00002aeb: JUMPDEST
00002aec: SWAP1
00002aed: JUMP
00002aee: JUMPDEST
00002aef: PUSH1 0x00
00002af1: PUSH1 0x1b
00002af3: DUP3
00002af4: PUSH1 0x65
00002af6: DUP2
00002af7: LT
00002af8: ISZERO
00002af9: ISZERO
00002afa: PUSH2 0x2aff
00002afd: JUMPI
00002afe: INVALID
00002aff: JUMPDEST
00002b00: PUSH1 0x03
00002b02: MUL
00002b03: ADD
00002b04: PUSH1 0x00
00002b06: JUMPDEST
00002b07: POP
00002b08: PUSH1 0x00
00002b0a: ADD
00002b0b: PUSH1 0x00
00002b0d: SWAP1
00002b0e: SLOAD
00002b0f: SWAP1
00002b10: PUSH2 0x0100
00002b13: EXP
00002b14: SWAP1
00002b15: DIV
00002b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b2b: AND
00002b2c: SWAP1
00002b2d: POP
00002b2e: JUMPDEST
00002b2f: SWAP2
00002b30: SWAP1
00002b31: POP
00002b32: JUMP
00002b33: JUMPDEST
00002b34: PUSH1 0x07
00002b36: SLOAD
00002b37: DUP2
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: PUSH1 0x0b
00002b3c: DUP2
00002b3d: PUSH1 0x08
00002b3f: DUP2
00002b40: LT
00002b41: ISZERO
00002b42: ISZERO
00002b43: PUSH2 0x2b48
00002b46: JUMPI
00002b47: INVALID
00002b48: JUMPDEST
00002b49: PUSH1 0x02
00002b4b: MUL
00002b4c: ADD
00002b4d: PUSH1 0x00
00002b4f: JUMPDEST
00002b50: SWAP2
00002b51: POP
00002b52: SWAP1
00002b53: POP
00002b54: DUP1
00002b55: PUSH1 0x00
00002b57: ADD
00002b58: SLOAD
00002b59: SWAP1
00002b5a: DUP1
00002b5b: PUSH1 0x01
00002b5d: ADD
00002b5e: SLOAD
00002b5f: SWAP1
00002b60: POP
00002b61: DUP3
00002b62: JUMP
00002b63: JUMPDEST
00002b64: PUSH1 0x00
00002b66: PUSH1 0x02
00002b68: PUSH1 0x00
00002b6a: DUP5
00002b6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b80: AND
00002b81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b96: AND
00002b97: DUP2
00002b98: MSTORE
00002b99: PUSH1 0x20
00002b9b: ADD
00002b9c: SWAP1
00002b9d: DUP2
00002b9e: MSTORE
00002b9f: PUSH1 0x20
00002ba1: ADD
00002ba2: PUSH1 0x00
00002ba4: KECCAK256
00002ba5: PUSH1 0x00
00002ba7: DUP4
00002ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bbd: AND
00002bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bd3: AND
00002bd4: DUP2
00002bd5: MSTORE
00002bd6: PUSH1 0x20
00002bd8: ADD
00002bd9: SWAP1
00002bda: DUP2
00002bdb: MSTORE
00002bdc: PUSH1 0x20
00002bde: ADD
00002bdf: PUSH1 0x00
00002be1: KECCAK256
00002be2: SLOAD
00002be3: SWAP1
00002be4: POP
00002be5: JUMPDEST
00002be6: SWAP3
00002be7: SWAP2
00002be8: POP
00002be9: POP
00002bea: JUMP
00002beb: JUMPDEST
00002bec: PUSH1 0x00
00002bee: DUP1
00002bef: PUSH1 0x00
00002bf1: SWAP1
00002bf2: SLOAD
00002bf3: SWAP1
00002bf4: PUSH2 0x0100
00002bf7: EXP
00002bf8: SWAP1
00002bf9: DIV
00002bfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c0f: AND
00002c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c25: AND
00002c26: CALLER
00002c27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c3c: AND
00002c3d: EQ
00002c3e: ISZERO
00002c3f: ISZERO
00002c40: PUSH2 0x2c48
00002c43: JUMPI
00002c44: PUSH1 0x00
00002c46: DUP1
00002c47: REVERT
00002c48: JUMPDEST
00002c49: PUSH1 0x00
00002c4b: DUP1
00002c4c: SWAP1
00002c4d: SLOAD
00002c4e: SWAP1
00002c4f: PUSH2 0x0100
00002c52: EXP
00002c53: SWAP1
00002c54: DIV
00002c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c6a: AND
00002c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c80: AND
00002c81: PUSH2 0x08fc
00002c84: ADDRESS
00002c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c9a: AND
00002c9b: BALANCE
00002c9c: SWAP1
00002c9d: DUP2
00002c9e: ISZERO
00002c9f: MUL
00002ca0: SWAP1
00002ca1: PUSH1 0x40
00002ca3: MLOAD
00002ca4: PUSH1 0x00
00002ca6: PUSH1 0x40
00002ca8: MLOAD
00002ca9: DUP1
00002caa: DUP4
00002cab: SUB
00002cac: DUP2
00002cad: DUP6
00002cae: DUP9
00002caf: DUP9
00002cb0: CALL
00002cb1: SWAP4
00002cb2: POP
00002cb3: POP
00002cb4: POP
00002cb5: POP
00002cb6: ISZERO
00002cb7: ISZERO
00002cb8: PUSH2 0x2cc0
00002cbb: JUMPI
00002cbc: PUSH1 0x00
00002cbe: DUP1
00002cbf: REVERT
00002cc0: JUMPDEST
00002cc1: PUSH1 0x01
00002cc3: SWAP1
00002cc4: POP
00002cc5: JUMPDEST
00002cc6: JUMPDEST
00002cc7: SWAP1
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: PUSH1 0x00
00002ccc: DUP1
00002ccd: SWAP1
00002cce: SLOAD
00002ccf: SWAP1
00002cd0: PUSH2 0x0100
00002cd3: EXP
00002cd4: SWAP1
00002cd5: DIV
00002cd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ceb: AND
00002cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d01: AND
00002d02: CALLER
00002d03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d18: AND
00002d19: EQ
00002d1a: ISZERO
00002d1b: ISZERO
00002d1c: PUSH2 0x2d24
00002d1f: JUMPI
00002d20: PUSH1 0x00
00002d22: DUP1
00002d23: REVERT
00002d24: JUMPDEST
00002d25: DUP1
00002d26: PUSH1 0x00
00002d28: DUP1
00002d29: PUSH2 0x0100
00002d2c: EXP
00002d2d: DUP2
00002d2e: SLOAD
00002d2f: DUP2
00002d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d45: MUL
00002d46: NOT
00002d47: AND
00002d48: SWAP1
00002d49: DUP4
00002d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5f: AND
00002d60: MUL
00002d61: OR
00002d62: SWAP1
00002d63: SSTORE
00002d64: POP
00002d65: JUMPDEST
00002d66: JUMPDEST
00002d67: POP
00002d68: JUMP
00002d69: JUMPDEST
00002d6a: PUSH1 0x09
00002d6c: SLOAD
00002d6d: DUP2
00002d6e: JUMP
00002d6f: JUMPDEST
00002d70: PUSH1 0x00
00002d72: DUP1
00002d73: DUP3
00002d74: DUP5
00002d75: MUL
00002d76: SWAP1
00002d77: POP
00002d78: PUSH1 0x00
00002d7a: DUP5
00002d7b: EQ
00002d7c: DUP1
00002d7d: PUSH2 0x2d90
00002d80: JUMPI
00002d81: POP
00002d82: DUP3
00002d83: DUP5
00002d84: DUP3
00002d85: DUP2
00002d86: ISZERO
00002d87: ISZERO
00002d88: PUSH2 0x2d8d
00002d8b: JUMPI
00002d8c: INVALID
00002d8d: JUMPDEST
00002d8e: DIV
00002d8f: EQ
00002d90: JUMPDEST
00002d91: ISZERO
00002d92: ISZERO
00002d93: PUSH2 0x2d98
00002d96: JUMPI
00002d97: INVALID
00002d98: JUMPDEST
00002d99: DUP1
00002d9a: SWAP2
00002d9b: POP
00002d9c: JUMPDEST
00002d9d: POP
00002d9e: SWAP3
00002d9f: SWAP2
00002da0: POP
00002da1: POP
00002da2: JUMP
00002da3: JUMPDEST
00002da4: PUSH1 0x00
00002da6: DUP1
00002da7: DUP3
00002da8: DUP5
00002da9: LT
00002daa: ISZERO
00002dab: ISZERO
00002dac: ISZERO
00002dad: PUSH2 0x2db2
00002db0: JUMPI
00002db1: INVALID
00002db2: JUMPDEST
00002db3: DUP3
00002db4: DUP5
00002db5: SUB
00002db6: SWAP1
00002db7: POP
00002db8: DUP1
00002db9: SWAP2
00002dba: POP
00002dbb: JUMPDEST
00002dbc: POP
00002dbd: SWAP3
00002dbe: SWAP2
00002dbf: POP
00002dc0: POP
00002dc1: JUMP
00002dc2: JUMPDEST
00002dc3: PUSH1 0x00
00002dc5: DUP1
00002dc6: PUSH1 0x0b
00002dc8: PUSH1 0x06
00002dca: SLOAD
00002dcb: PUSH1 0x08
00002dcd: DUP2
00002dce: LT
00002dcf: ISZERO
00002dd0: ISZERO
00002dd1: PUSH2 0x2dd6
00002dd4: JUMPI
00002dd5: INVALID
00002dd6: JUMPDEST
00002dd7: PUSH1 0x02
00002dd9: MUL
00002dda: ADD
00002ddb: PUSH1 0x00
00002ddd: JUMPDEST
00002dde: POP
00002ddf: PUSH1 0x00
00002de1: ADD
00002de2: SLOAD
00002de3: DUP4
00002de4: DUP2
00002de5: ISZERO
00002de6: ISZERO
00002de7: PUSH2 0x2dec
00002dea: JUMPI
00002deb: INVALID
00002dec: JUMPDEST
00002ded: MOD
00002dee: SWAP1
00002def: POP
00002df0: CALLER
00002df1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e06: AND
00002e07: PUSH2 0x08fc
00002e0a: DUP3
00002e0b: SWAP1
00002e0c: DUP2
00002e0d: ISZERO
00002e0e: MUL
00002e0f: SWAP1
00002e10: PUSH1 0x40
00002e12: MLOAD
00002e13: PUSH1 0x00
00002e15: PUSH1 0x40
00002e17: MLOAD
00002e18: DUP1
00002e19: DUP4
00002e1a: SUB
00002e1b: DUP2
00002e1c: DUP6
00002e1d: DUP9
00002e1e: DUP9
00002e1f: CALL
00002e20: SWAP4
00002e21: POP
00002e22: POP
00002e23: POP
00002e24: POP
00002e25: ISZERO
00002e26: ISZERO
00002e27: PUSH2 0x2e2f
00002e2a: JUMPI
00002e2b: PUSH1 0x00
00002e2d: DUP1
00002e2e: REVERT
00002e2f: JUMPDEST
00002e30: PUSH1 0x01
00002e32: SWAP2
00002e33: POP
00002e34: JUMPDEST
00002e35: POP
00002e36: SWAP2
00002e37: SWAP1
00002e38: POP
00002e39: JUMP
00002e3a: JUMPDEST
00002e3b: PUSH1 0x00
00002e3d: DUP1
00002e3e: DUP3
00002e3f: DUP5
00002e40: ADD
00002e41: SWAP1
00002e42: POP
00002e43: DUP4
00002e44: DUP2
00002e45: LT
00002e46: ISZERO
00002e47: DUP1
00002e48: ISZERO
00002e49: PUSH2 0x2e52
00002e4c: JUMPI
00002e4d: POP
00002e4e: DUP3
00002e4f: DUP2
00002e50: LT
00002e51: ISZERO
00002e52: JUMPDEST
00002e53: ISZERO
00002e54: ISZERO
00002e55: PUSH2 0x2e5a
00002e58: JUMPI
00002e59: INVALID
00002e5a: JUMPDEST
00002e5b: DUP1
00002e5c: SWAP2
00002e5d: POP
00002e5e: JUMPDEST
00002e5f: POP
00002e60: SWAP3
00002e61: SWAP2
00002e62: POP
00002e63: POP
00002e64: JUMP
00002e65: JUMPDEST
00002e66: PUSH1 0x20
00002e68: PUSH1 0x40
00002e6a: MLOAD
00002e6b: SWAP1
00002e6c: DUP2
00002e6d: ADD
00002e6e: PUSH1 0x40
00002e70: MSTORE
00002e71: DUP1
00002e72: PUSH1 0x00
00002e74: DUP2
00002e75: MSTORE
00002e76: POP
00002e77: SWAP1
00002e78: JUMP
00002e79: STOP
00002e7a: LOG1
00002e7b: PUSH6 0x627a7a723058
00002e82: KECCAK256
00002e83: UNKNOWN(0xAF)
00002e84: DUP5
00002e85: MSTORE8
00002e86: UNKNOWN(0xDC)
00002e87: CODESIZE
00002e88: UNKNOWN(0xAE)
00002e89: UNKNOWN(0xB8)
00002e8a: UNKNOWN(0x0D)
00002e8b: PUSH11 0x68fdd7532a6c464fcc691b
00002e97: UNKNOWN(0xB1)
00002e98: SDIV
00002e99: CALLDATALOAD
00002e9a: UNKNOWN(0xBD)
00002e9b: UNKNOWN(0xD7)
00002e9c: BASEFEE
00002e9d: DUP3
00002e9e: MLOAD
00002e9f: UNKNOWN(0xD2)
00002ea0: UNKNOWN(0x0D)
00002ea1: SMOD
00002ea2: UNKNOWN(0xCE)
00002ea3: STOP
00002ea4: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x2eaf8f55061ce0136b3244e7eda528b3cee8872fb76e30e780b870808fee982c
call_targets: 0x88ae96845e157558ef59e9ff90e766e22e480390
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2eaf8f55061ce0136b3244e7eda528b3cee8872fb76e30e780b870808fee982c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x88ae96845e157558ef59e9ff90e766e22e480390"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x03b8a24e",
            "selector": "0x03b8a24e",
            "calldata_variants": [
                "0x03b8a24e",
                "0x03b8a24e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11c7d6bd",
            "selector": "0x11c7d6bd",
            "calldata_variants": [
                "0x11c7d6bd",
                "0x11c7d6bd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d0806ae",
            "selector": "0x1d0806ae",
            "calldata_variants": [
                "0x1d0806ae",
                "0x1d0806ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3288,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4650,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 5075,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10947,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11302,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11522,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x2eaf8f55061ce0136b3244e7eda528b3cee8872fb76e30e780b870808fee982c
call_targets: 0x88ae96845e157558ef59e9ff90e766e22e480390
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x2eaf8f55061ce0136b3244e7eda528b3cee8872fb76e30e780b870808fee982c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x88ae96845e157558ef59e9ff90e766e22e480390"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x03b8a24e",
            "selector": "0x03b8a24e",
            "calldata_variants": [
                "0x03b8a24e",
                "0x03b8a24e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x11c7d6bd",
            "selector": "0x11c7d6bd",
            "calldata_variants": [
                "0x11c7d6bd",
                "0x11c7d6bd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1d0806ae",
            "selector": "0x1d0806ae",
            "calldata_variants": [
                "0x1d0806ae",
                "0x1d0806ae0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3288,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4650,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 11440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 5075,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 10947,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11302,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 11522,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}