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

Analysis Run

c299a548-2646-4c5b-a570-b37650c61142

failed
Chain ID
1
Address
0xabefec93451a2cd5d864ff7b0b1604dfc60e9688
Block Number
—
Created
Sun, Jan 4, 2026 9:52 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
31622 report.consolidate complete 1 / 1 3 months ago
111530 artifact.fetch failed 1 / 3 1 week ago
111531 tool.cast_disasm complete 1 / 3 1 week ago
111532 analysis.bundle complete 1 / 3 1 week ago
111533 capability.graph complete 1 / 3 1 week ago
111534 detector.run complete 1 / 3 1 week ago
111535 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 path to extract ETH/tokens/NFTs found in the provided sources.
View stderr 
[codex:424143] OpenAI Codex v0.77.0 (research preview)
[codex:424143] --------
[codex:424143] workdir: /tmp/codex-multi-p937o5cw
[codex:424143] model: gpt-5.2-codex
[codex:424143] provider: openai
[codex:424143] approval: never
[codex:424143] sandbox: read-only
[codex:424143] reasoning effort: xhigh
[codex:424143] reasoning summaries: auto
[codex:424143] session id: 019b886b-c522-7c41-8f13-98ca9b1db7fb
[codex:424143] --------
[codex:424143] user
[codex:424143] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:424143] 
[codex:424143] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:424143] 
[codex:424143] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:424143] - Gas inefficiency, code quality, naming, or best practices
[codex:424143] - Theoretical vulnerabilities without a clear extraction path
[codex:424143] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:424143] - Front-running unless it enables theft beyond MEV
[codex:424143] - DoS, griefing, or issues that don't result in attacker profit
[codex:424143] - Missing events, view function issues, or informational findings
[codex:424143] 
[codex:424143] HIGH-VALUE PATTERNS TO HUNT:
[codex:424143] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:424143] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:424143] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:424143] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:424143] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:424143] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:424143] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:424143] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:424143] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:424143] 
[codex:424143] For each finding, you MUST provide:
[codex:424143] 1. Exact file and line numbers of vulnerable code
[codex:424143] 2. Step-by-step exploit transaction sequence
[codex:424143] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:424143] 
[codex:424143] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:424143] 
[codex:424143] Output MUST be valid JSON matching the provided schema.
[codex:424143] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:424143] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:424143] mcp startup: no servers
[codex:424143] 
[codex:424143] thinking
[codex:424143] **Reading instructions and audit file**
[codex:424143] exec
[codex:424143] /bin/bash -lc ls in /tmp/codex-multi-p937o5cw succeeded in 6ms:
[codex:424143] AUDIT_BUNDLE.txt
[codex:424143] codex-output-schema.json
[codex:424143] contracts
[codex:424143] exec
[codex:424143] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-p937o5cw succeeded in 5ms:
[codex:424143] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:424143] 
[codex:424143] ================================================================================
[codex:424143] FILE: contracts/Contract.sol
[codex:424143] ================================================================================
[codex:424143] /**
[codex:424143] *    ___  __           _______   _        ____             __
[codex:424143] *   / _ )/ /_ _____   / ___/ /  (_)__    / __/_ _____  ___/ /
[codex:424143] *  / _  / / // / -_) / /__/ _ \/ / _ \  / _// // / _ \/ _  / 
[codex:424143] * /____/_/\_,_/\__/  \___/_//_/_/ .__/ /_/  \_,_/_//_/\_,_/  
[codex:424143] *                              /_/                           
[codex:424143] * 
[codex:424143] * https://bluechip.fund/
[codex:424143] * https://bluechip.fund/exchange
[codex:424143] * 
[codex:424143] * https://discord.gg/aee8BjR
[codex:424143] * https://t.me/bluechipfund
[codex:424143] *  
[codex:424143] * ====================================*
[codex:424143] *
[codex:424143] 
[codex:424143] thinking
[codex:424143] **Evaluating contract for exploits**
[codex:424143] codex
[codex:424143] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}
[codex:424143] tokens used
[codex:424143] 16,887
[codex:424143] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T09:52:39.051683+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
1
Total opcodes
4972
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0169
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x0177
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x01c4
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x0252
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x0289
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x02b2
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x27defa1f
00000072: EQ
00000073: PUSH2 0x02e9
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x313ce567
0000007d: EQ
0000007e: PUSH2 0x0316
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x392efb52
00000088: EQ
00000089: PUSH2 0x0345
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x3ccfd60b
00000093: EQ
00000094: PUSH2 0x0384
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4b750334
0000009e: EQ
0000009f: PUSH2 0x0399
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x563252ae
000000a9: EQ
000000aa: PUSH2 0x03c2
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x56d399e8
000000b4: EQ
000000b5: PUSH2 0x03d7
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x688abbf7
000000bf: EQ
000000c0: PUSH2 0x0400
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x6b2f4632
000000ca: EQ
000000cb: PUSH2 0x0439
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x70a08231
000000d5: EQ
000000d6: PUSH2 0x0462
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8328b610
000000e0: EQ
000000e1: PUSH2 0x04af
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x8620410b
000000eb: EQ
000000ec: PUSH2 0x04d2
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x89135ae9
000000f6: EQ
000000f7: PUSH2 0x04fb
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x949e8acd
00000101: EQ
00000102: PUSH2 0x052d
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x95d89b41
0000010c: EQ
0000010d: PUSH2 0x0556
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa8e04f34
00000117: EQ
00000118: PUSH2 0x05e4
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xa9059cbb
00000122: EQ
00000123: PUSH2 0x05f9
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xb84c8246
0000012d: EQ
0000012e: PUSH2 0x0653
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xc47f0027
00000138: EQ
00000139: PUSH2 0x06b0
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xe4849b32
00000143: EQ
00000144: PUSH2 0x070d
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xe9fad8ee
0000014e: EQ
0000014f: PUSH2 0x0730
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xf088d547
00000159: EQ
0000015a: PUSH2 0x0745
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xfdb5a03e
00000164: EQ
00000165: PUSH2 0x0787
00000168: JUMPI
00000169: JUMPDEST
0000016a: PUSH2 0x0174
0000016d: CALLVALUE
0000016e: PUSH1 0x00
00000170: PUSH2 0x079c
00000173: JUMP
00000174: JUMPDEST
00000175: POP
00000176: STOP
00000177: JUMPDEST
00000178: CALLVALUE
00000179: ISZERO
0000017a: PUSH2 0x0182
0000017d: JUMPI
0000017e: PUSH1 0x00
00000180: DUP1
00000181: REVERT
00000182: JUMPDEST
00000183: PUSH2 0x01ae
00000186: PUSH1 0x04
00000188: DUP1
00000189: DUP1
0000018a: CALLDATALOAD
0000018b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a0: AND
000001a1: SWAP1
000001a2: PUSH1 0x20
000001a4: ADD
000001a5: SWAP1
000001a6: SWAP2
000001a7: SWAP1
000001a8: POP
000001a9: POP
000001aa: PUSH2 0x109b
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: DUP1
000001b3: DUP3
000001b4: DUP2
000001b5: MSTORE
000001b6: PUSH1 0x20
000001b8: ADD
000001b9: SWAP2
000001ba: POP
000001bb: POP
000001bc: PUSH1 0x40
000001be: MLOAD
000001bf: DUP1
000001c0: SWAP2
000001c1: SUB
000001c2: SWAP1
000001c3: RETURN
000001c4: JUMPDEST
000001c5: CALLVALUE
000001c6: ISZERO
000001c7: PUSH2 0x01cf
000001ca: JUMPI
000001cb: PUSH1 0x00
000001cd: DUP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: PUSH2 0x01d7
000001d3: PUSH2 0x113d
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH1 0x40
000001da: MLOAD
000001db: DUP1
000001dc: DUP1
000001dd: PUSH1 0x20
000001df: ADD
000001e0: DUP3
000001e1: DUP2
000001e2: SUB
000001e3: DUP3
000001e4: MSTORE
000001e5: DUP4
000001e6: DUP2
000001e7: DUP2
000001e8: MLOAD
000001e9: DUP2
000001ea: MSTORE
000001eb: PUSH1 0x20
000001ed: ADD
000001ee: SWAP2
000001ef: POP
000001f0: DUP1
000001f1: MLOAD
000001f2: SWAP1
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP1
000001f7: DUP1
000001f8: DUP4
000001f9: DUP4
000001fa: PUSH1 0x00
000001fc: JUMPDEST
000001fd: DUP4
000001fe: DUP2
000001ff: LT
00000200: ISZERO
00000201: PUSH2 0x0217
00000204: JUMPI
00000205: DUP1
00000206: DUP3
00000207: ADD
00000208: MLOAD
00000209: DUP2
0000020a: DUP5
0000020b: ADD
0000020c: MSTORE
0000020d: PUSH1 0x20
0000020f: DUP2
00000210: ADD
00000211: SWAP1
00000212: POP
00000213: PUSH2 0x01fc
00000216: JUMP
00000217: JUMPDEST
00000218: POP
00000219: POP
0000021a: POP
0000021b: POP
0000021c: SWAP1
0000021d: POP
0000021e: SWAP1
0000021f: DUP2
00000220: ADD
00000221: SWAP1
00000222: PUSH1 0x1f
00000224: AND
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x0244
0000022a: JUMPI
0000022b: DUP1
0000022c: DUP3
0000022d: SUB
0000022e: DUP1
0000022f: MLOAD
00000230: PUSH1 0x01
00000232: DUP4
00000233: PUSH1 0x20
00000235: SUB
00000236: PUSH2 0x0100
00000239: EXP
0000023a: SUB
0000023b: NOT
0000023c: AND
0000023d: DUP2
0000023e: MSTORE
0000023f: PUSH1 0x20
00000241: ADD
00000242: SWAP2
00000243: POP
00000244: JUMPDEST
00000245: POP
00000246: SWAP3
00000247: POP
00000248: POP
00000249: POP
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: DUP1
0000024e: SWAP2
0000024f: SUB
00000250: SWAP1
00000251: RETURN
00000252: JUMPDEST
00000253: CALLVALUE
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: PUSH2 0x0273
00000261: PUSH1 0x04
00000263: DUP1
00000264: DUP1
00000265: CALLDATALOAD
00000266: SWAP1
00000267: PUSH1 0x20
00000269: ADD
0000026a: SWAP1
0000026b: SWAP2
0000026c: SWAP1
0000026d: POP
0000026e: POP
0000026f: PUSH2 0x11db
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: MLOAD
00000277: DUP1
00000278: DUP3
00000279: DUP2
0000027a: MSTORE
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: SWAP2
0000027f: POP
00000280: POP
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: SWAP2
00000286: SUB
00000287: SWAP1
00000288: RETURN
00000289: JUMPDEST
0000028a: CALLVALUE
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: PUSH2 0x029c
00000298: PUSH2 0x1213
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: DUP1
000002a1: DUP3
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH1 0x20
000002a6: ADD
000002a7: SWAP2
000002a8: POP
000002a9: POP
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: SWAP2
000002af: SUB
000002b0: SWAP1
000002b1: RETURN
000002b2: JUMPDEST
000002b3: CALLVALUE
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: PUSH2 0x02d3
000002c1: PUSH1 0x04
000002c3: DUP1
000002c4: DUP1
000002c5: CALLDATALOAD
000002c6: SWAP1
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: SWAP1
000002cb: SWAP2
000002cc: SWAP1
000002cd: POP
000002ce: POP
000002cf: PUSH2 0x121d
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: DUP1
000002d8: DUP3
000002d9: DUP2
000002da: MSTORE
000002db: PUSH1 0x20
000002dd: ADD
000002de: SWAP2
000002df: POP
000002e0: POP
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: SWAP2
000002e6: SUB
000002e7: SWAP1
000002e8: RETURN
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: PUSH2 0x02fc
000002f8: PUSH2 0x1266
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: DUP1
00000301: DUP3
00000302: ISZERO
00000303: ISZERO
00000304: ISZERO
00000305: ISZERO
00000306: DUP2
00000307: MSTORE
00000308: PUSH1 0x20
0000030a: ADD
0000030b: SWAP2
0000030c: POP
0000030d: POP
0000030e: PUSH1 0x40
00000310: MLOAD
00000311: DUP1
00000312: SWAP2
00000313: SUB
00000314: SWAP1
00000315: RETURN
00000316: JUMPDEST
00000317: CALLVALUE
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: PUSH2 0x0329
00000325: PUSH2 0x1279
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: DUP3
0000032f: PUSH1 0xff
00000331: AND
00000332: PUSH1 0xff
00000334: AND
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x20
00000339: ADD
0000033a: SWAP2
0000033b: POP
0000033c: POP
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: SWAP2
00000342: SUB
00000343: SWAP1
00000344: RETURN
00000345: JUMPDEST
00000346: CALLVALUE
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: PUSH2 0x036a
00000354: PUSH1 0x04
00000356: DUP1
00000357: DUP1
00000358: CALLDATALOAD
00000359: PUSH1 0x00
0000035b: NOT
0000035c: AND
0000035d: SWAP1
0000035e: PUSH1 0x20
00000360: ADD
00000361: SWAP1
00000362: SWAP2
00000363: SWAP1
00000364: POP
00000365: POP
00000366: PUSH2 0x127e
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: DUP1
0000036f: DUP3
00000370: ISZERO
00000371: ISZERO
00000372: ISZERO
00000373: ISZERO
00000374: DUP2
00000375: MSTORE
00000376: PUSH1 0x20
00000378: ADD
00000379: SWAP2
0000037a: POP
0000037b: POP
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: DUP1
00000380: SWAP2
00000381: SUB
00000382: SWAP1
00000383: RETURN
00000384: JUMPDEST
00000385: CALLVALUE
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: PUSH2 0x0397
00000393: PUSH2 0x129e
00000396: JUMP
00000397: JUMPDEST
00000398: STOP
00000399: JUMPDEST
0000039a: CALLVALUE
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: PUSH2 0x03ac
000003a8: PUSH2 0x143b
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH1 0x40
000003af: MLOAD
000003b0: DUP1
000003b1: DUP3
000003b2: DUP2
000003b3: MSTORE
000003b4: PUSH1 0x20
000003b6: ADD
000003b7: SWAP2
000003b8: POP
000003b9: POP
000003ba: PUSH1 0x40
000003bc: MLOAD
000003bd: DUP1
000003be: SWAP2
000003bf: SUB
000003c0: SWAP1
000003c1: RETURN
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: ISZERO
000003c5: PUSH2 0x03cd
000003c8: JUMPI
000003c9: PUSH1 0x00
000003cb: DUP1
000003cc: REVERT
000003cd: JUMPDEST
000003ce: PUSH2 0x03d5
000003d1: PUSH2 0x1499
000003d4: JUMP
000003d5: JUMPDEST
000003d6: STOP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: PUSH2 0x03ea
000003e6: PUSH2 0x160b
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH1 0x40
000003ed: MLOAD
000003ee: DUP1
000003ef: DUP3
000003f0: DUP2
000003f1: MSTORE
000003f2: PUSH1 0x20
000003f4: ADD
000003f5: SWAP2
000003f6: POP
000003f7: POP
000003f8: PUSH1 0x40
000003fa: MLOAD
000003fb: DUP1
000003fc: SWAP2
000003fd: SUB
000003fe: SWAP1
000003ff: RETURN
00000400: JUMPDEST
00000401: CALLVALUE
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: PUSH2 0x0423
0000040f: PUSH1 0x04
00000411: DUP1
00000412: DUP1
00000413: CALLDATALOAD
00000414: ISZERO
00000415: ISZERO
00000416: SWAP1
00000417: PUSH1 0x20
00000419: ADD
0000041a: SWAP1
0000041b: SWAP2
0000041c: SWAP1
0000041d: POP
0000041e: POP
0000041f: PUSH2 0x1611
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x40
00000426: MLOAD
00000427: DUP1
00000428: DUP3
00000429: DUP2
0000042a: MSTORE
0000042b: PUSH1 0x20
0000042d: ADD
0000042e: SWAP2
0000042f: POP
00000430: POP
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP1
00000435: SWAP2
00000436: SUB
00000437: SWAP1
00000438: RETURN
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: PUSH2 0x044c
00000448: PUSH2 0x167d
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: DUP3
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP2
00000458: POP
00000459: POP
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: CALLVALUE
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: PUSH2 0x0499
00000471: PUSH1 0x04
00000473: DUP1
00000474: DUP1
00000475: CALLDATALOAD
00000476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048b: AND
0000048c: SWAP1
0000048d: PUSH1 0x20
0000048f: ADD
00000490: SWAP1
00000491: SWAP2
00000492: SWAP1
00000493: POP
00000494: POP
00000495: PUSH2 0x169c
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH1 0x40
0000049c: MLOAD
0000049d: DUP1
0000049e: DUP3
0000049f: DUP2
000004a0: MSTORE
000004a1: PUSH1 0x20
000004a3: ADD
000004a4: SWAP2
000004a5: POP
000004a6: POP
000004a7: PUSH1 0x40
000004a9: MLOAD
000004aa: DUP1
000004ab: SWAP2
000004ac: SUB
000004ad: SWAP1
000004ae: RETURN
000004af: JUMPDEST
000004b0: CALLVALUE
000004b1: ISZERO
000004b2: PUSH2 0x04ba
000004b5: JUMPI
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: REVERT
000004ba: JUMPDEST
000004bb: PUSH2 0x04d0
000004be: PUSH1 0x04
000004c0: DUP1
000004c1: DUP1
000004c2: CALLDATALOAD
000004c3: SWAP1
000004c4: PUSH1 0x20
000004c6: ADD
000004c7: SWAP1
000004c8: SWAP2
000004c9: SWAP1
000004ca: POP
000004cb: POP
000004cc: PUSH2 0x16e5
000004cf: JUMP
000004d0: JUMPDEST
000004d1: STOP
000004d2: JUMPDEST
000004d3: CALLVALUE
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: PUSH2 0x04e5
000004e1: PUSH2 0x1779
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: DUP1
000004ea: DUP3
000004eb: DUP2
000004ec: MSTORE
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: SWAP2
000004f1: POP
000004f2: POP
000004f3: PUSH1 0x40
000004f5: MLOAD
000004f6: DUP1
000004f7: SWAP2
000004f8: SUB
000004f9: SWAP1
000004fa: RETURN
000004fb: JUMPDEST
000004fc: CALLVALUE
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: PUSH2 0x052b
0000050a: PUSH1 0x04
0000050c: DUP1
0000050d: DUP1
0000050e: CALLDATALOAD
0000050f: PUSH1 0x00
00000511: NOT
00000512: AND
00000513: SWAP1
00000514: PUSH1 0x20
00000516: ADD
00000517: SWAP1
00000518: SWAP2
00000519: SWAP1
0000051a: DUP1
0000051b: CALLDATALOAD
0000051c: ISZERO
0000051d: ISZERO
0000051e: SWAP1
0000051f: PUSH1 0x20
00000521: ADD
00000522: SWAP1
00000523: SWAP2
00000524: SWAP1
00000525: POP
00000526: POP
00000527: PUSH2 0x17d7
0000052a: JUMP
0000052b: JUMPDEST
0000052c: STOP
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: ISZERO
00000530: PUSH2 0x0538
00000533: JUMPI
00000534: PUSH1 0x00
00000536: DUP1
00000537: REVERT
00000538: JUMPDEST
00000539: PUSH2 0x0540
0000053c: PUSH2 0x1898
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x40
00000543: MLOAD
00000544: DUP1
00000545: DUP3
00000546: DUP2
00000547: MSTORE
00000548: PUSH1 0x20
0000054a: ADD
0000054b: SWAP2
0000054c: POP
0000054d: POP
0000054e: PUSH1 0x40
00000550: MLOAD
00000551: DUP1
00000552: SWAP2
00000553: SUB
00000554: SWAP1
00000555: RETURN
00000556: JUMPDEST
00000557: CALLVALUE
00000558: ISZERO
00000559: PUSH2 0x0561
0000055c: JUMPI
0000055d: PUSH1 0x00
0000055f: DUP1
00000560: REVERT
00000561: JUMPDEST
00000562: PUSH2 0x0569
00000565: PUSH2 0x18ad
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: DUP1
0000056e: DUP1
0000056f: PUSH1 0x20
00000571: ADD
00000572: DUP3
00000573: DUP2
00000574: SUB
00000575: DUP3
00000576: MSTORE
00000577: DUP4
00000578: DUP2
00000579: DUP2
0000057a: MLOAD
0000057b: DUP2
0000057c: MSTORE
0000057d: PUSH1 0x20
0000057f: ADD
00000580: SWAP2
00000581: POP
00000582: DUP1
00000583: MLOAD
00000584: SWAP1
00000585: PUSH1 0x20
00000587: ADD
00000588: SWAP1
00000589: DUP1
0000058a: DUP4
0000058b: DUP4
0000058c: PUSH1 0x00
0000058e: JUMPDEST
0000058f: DUP4
00000590: DUP2
00000591: LT
00000592: ISZERO
00000593: PUSH2 0x05a9
00000596: JUMPI
00000597: DUP1
00000598: DUP3
00000599: ADD
0000059a: MLOAD
0000059b: DUP2
0000059c: DUP5
0000059d: ADD
0000059e: MSTORE
0000059f: PUSH1 0x20
000005a1: DUP2
000005a2: ADD
000005a3: SWAP1
000005a4: POP
000005a5: PUSH2 0x058e
000005a8: JUMP
000005a9: JUMPDEST
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: POP
000005ae: SWAP1
000005af: POP
000005b0: SWAP1
000005b1: DUP2
000005b2: ADD
000005b3: SWAP1
000005b4: PUSH1 0x1f
000005b6: AND
000005b7: DUP1
000005b8: ISZERO
000005b9: PUSH2 0x05d6
000005bc: JUMPI
000005bd: DUP1
000005be: DUP3
000005bf: SUB
000005c0: DUP1
000005c1: MLOAD
000005c2: PUSH1 0x01
000005c4: DUP4
000005c5: PUSH1 0x20
000005c7: SUB
000005c8: PUSH2 0x0100
000005cb: EXP
000005cc: SUB
000005cd: NOT
000005ce: AND
000005cf: DUP2
000005d0: MSTORE
000005d1: PUSH1 0x20
000005d3: ADD
000005d4: SWAP2
000005d5: POP
000005d6: JUMPDEST
000005d7: POP
000005d8: SWAP3
000005d9: POP
000005da: POP
000005db: POP
000005dc: PUSH1 0x40
000005de: MLOAD
000005df: DUP1
000005e0: SWAP2
000005e1: SUB
000005e2: SWAP1
000005e3: RETURN
000005e4: JUMPDEST
000005e5: CALLVALUE
000005e6: ISZERO
000005e7: PUSH2 0x05ef
000005ea: JUMPI
000005eb: PUSH1 0x00
000005ed: DUP1
000005ee: REVERT
000005ef: JUMPDEST
000005f0: PUSH2 0x05f7
000005f3: PUSH2 0x194b
000005f6: JUMP
000005f7: JUMPDEST
000005f8: STOP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: PUSH2 0x0639
00000608: PUSH1 0x04
0000060a: DUP1
0000060b: DUP1
0000060c: CALLDATALOAD
0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000622: AND
00000623: SWAP1
00000624: PUSH1 0x20
00000626: ADD
00000627: SWAP1
00000628: SWAP2
00000629: SWAP1
0000062a: DUP1
0000062b: CALLDATALOAD
0000062c: SWAP1
0000062d: PUSH1 0x20
0000062f: ADD
00000630: SWAP1
00000631: SWAP2
00000632: SWAP1
00000633: POP
00000634: POP
00000635: PUSH2 0x19f2
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH1 0x40
0000063c: MLOAD
0000063d: DUP1
0000063e: DUP3
0000063f: ISZERO
00000640: ISZERO
00000641: ISZERO
00000642: ISZERO
00000643: DUP2
00000644: MSTORE
00000645: PUSH1 0x20
00000647: ADD
00000648: SWAP2
00000649: POP
0000064a: POP
0000064b: PUSH1 0x40
0000064d: MLOAD
0000064e: DUP1
0000064f: SWAP2
00000650: SUB
00000651: SWAP1
00000652: RETURN
00000653: JUMPDEST
00000654: CALLVALUE
00000655: ISZERO
00000656: PUSH2 0x065e
00000659: JUMPI
0000065a: PUSH1 0x00
0000065c: DUP1
0000065d: REVERT
0000065e: JUMPDEST
0000065f: PUSH2 0x06ae
00000662: PUSH1 0x04
00000664: DUP1
00000665: DUP1
00000666: CALLDATALOAD
00000667: SWAP1
00000668: PUSH1 0x20
0000066a: ADD
0000066b: SWAP1
0000066c: DUP3
0000066d: ADD
0000066e: DUP1
0000066f: CALLDATALOAD
00000670: SWAP1
00000671: PUSH1 0x20
00000673: ADD
00000674: SWAP1
00000675: DUP1
00000676: DUP1
00000677: PUSH1 0x1f
00000679: ADD
0000067a: PUSH1 0x20
0000067c: DUP1
0000067d: SWAP2
0000067e: DIV
0000067f: MUL
00000680: PUSH1 0x20
00000682: ADD
00000683: PUSH1 0x40
00000685: MLOAD
00000686: SWAP1
00000687: DUP2
00000688: ADD
00000689: PUSH1 0x40
0000068b: MSTORE
0000068c: DUP1
0000068d: SWAP4
0000068e: SWAP3
0000068f: SWAP2
00000690: SWAP1
00000691: DUP2
00000692: DUP2
00000693: MSTORE
00000694: PUSH1 0x20
00000696: ADD
00000697: DUP4
00000698: DUP4
00000699: DUP1
0000069a: DUP3
0000069b: DUP5
0000069c: CALLDATACOPY
0000069d: DUP3
0000069e: ADD
0000069f: SWAP2
000006a0: POP
000006a1: POP
000006a2: POP
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: SWAP2
000006a7: SWAP1
000006a8: POP
000006a9: POP
000006aa: PUSH2 0x1d24
000006ad: JUMP
000006ae: JUMPDEST
000006af: STOP
000006b0: JUMPDEST
000006b1: CALLVALUE
000006b2: ISZERO
000006b3: PUSH2 0x06bb
000006b6: JUMPI
000006b7: PUSH1 0x00
000006b9: DUP1
000006ba: REVERT
000006bb: JUMPDEST
000006bc: PUSH2 0x070b
000006bf: PUSH1 0x04
000006c1: DUP1
000006c2: DUP1
000006c3: CALLDATALOAD
000006c4: SWAP1
000006c5: PUSH1 0x20
000006c7: ADD
000006c8: SWAP1
000006c9: DUP3
000006ca: ADD
000006cb: DUP1
000006cc: CALLDATALOAD
000006cd: SWAP1
000006ce: PUSH1 0x20
000006d0: ADD
000006d1: SWAP1
000006d2: DUP1
000006d3: DUP1
000006d4: PUSH1 0x1f
000006d6: ADD
000006d7: PUSH1 0x20
000006d9: DUP1
000006da: SWAP2
000006db: DIV
000006dc: MUL
000006dd: PUSH1 0x20
000006df: ADD
000006e0: PUSH1 0x40
000006e2: MLOAD
000006e3: SWAP1
000006e4: DUP2
000006e5: ADD
000006e6: PUSH1 0x40
000006e8: MSTORE
000006e9: DUP1
000006ea: SWAP4
000006eb: SWAP3
000006ec: SWAP2
000006ed: SWAP1
000006ee: DUP2
000006ef: DUP2
000006f0: MSTORE
000006f1: PUSH1 0x20
000006f3: ADD
000006f4: DUP4
000006f5: DUP4
000006f6: DUP1
000006f7: DUP3
000006f8: DUP5
000006f9: CALLDATACOPY
000006fa: DUP3
000006fb: ADD
000006fc: SWAP2
000006fd: POP
000006fe: POP
000006ff: POP
00000700: POP
00000701: POP
00000702: POP
00000703: SWAP2
00000704: SWAP1
00000705: POP
00000706: POP
00000707: PUSH2 0x1dc8
0000070a: JUMP
0000070b: JUMPDEST
0000070c: STOP
0000070d: JUMPDEST
0000070e: CALLVALUE
0000070f: ISZERO
00000710: PUSH2 0x0718
00000713: JUMPI
00000714: PUSH1 0x00
00000716: DUP1
00000717: REVERT
00000718: JUMPDEST
00000719: PUSH2 0x072e
0000071c: PUSH1 0x04
0000071e: DUP1
0000071f: DUP1
00000720: CALLDATALOAD
00000721: SWAP1
00000722: PUSH1 0x20
00000724: ADD
00000725: SWAP1
00000726: SWAP2
00000727: SWAP1
00000728: POP
00000729: POP
0000072a: PUSH2 0x1e6c
0000072d: JUMP
0000072e: JUMPDEST
0000072f: STOP
00000730: JUMPDEST
00000731: CALLVALUE
00000732: ISZERO
00000733: PUSH2 0x073b
00000736: JUMPI
00000737: PUSH1 0x00
00000739: DUP1
0000073a: REVERT
0000073b: JUMPDEST
0000073c: PUSH2 0x0743
0000073f: PUSH2 0x209a
00000742: JUMP
00000743: JUMPDEST
00000744: STOP
00000745: JUMPDEST
00000746: PUSH2 0x0771
00000749: PUSH1 0x04
0000074b: DUP1
0000074c: DUP1
0000074d: CALLDATALOAD
0000074e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000763: AND
00000764: SWAP1
00000765: PUSH1 0x20
00000767: ADD
00000768: SWAP1
00000769: SWAP2
0000076a: SWAP1
0000076b: POP
0000076c: POP
0000076d: PUSH2 0x2101
00000770: JUMP
00000771: JUMPDEST
00000772: PUSH1 0x40
00000774: MLOAD
00000775: DUP1
00000776: DUP3
00000777: DUP2
00000778: MSTORE
00000779: PUSH1 0x20
0000077b: ADD
0000077c: SWAP2
0000077d: POP
0000077e: POP
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: DUP1
00000783: SWAP2
00000784: SUB
00000785: SWAP1
00000786: RETURN
00000787: JUMPDEST
00000788: CALLVALUE
00000789: ISZERO
0000078a: PUSH2 0x0792
0000078d: JUMPI
0000078e: PUSH1 0x00
00000790: DUP1
00000791: REVERT
00000792: JUMPDEST
00000793: PUSH2 0x079a
00000796: PUSH2 0x2113
00000799: JUMP
0000079a: JUMPDEST
0000079b: STOP
0000079c: JUMPDEST
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: PUSH1 0x00
000007a2: DUP1
000007a3: PUSH1 0x00
000007a5: DUP1
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: PUSH1 0x00
000007ab: DUP11
000007ac: PUSH1 0x00
000007ae: CALLER
000007af: SWAP1
000007b0: POP
000007b1: PUSH1 0x0b
000007b3: PUSH1 0x00
000007b5: SWAP1
000007b6: SLOAD
000007b7: SWAP1
000007b8: PUSH2 0x0100
000007bb: EXP
000007bc: SWAP1
000007bd: DIV
000007be: PUSH1 0xff
000007c0: AND
000007c1: DUP1
000007c2: ISZERO
000007c3: PUSH2 0x07dd
000007c6: JUMPI
000007c7: POP
000007c8: PUSH8 0x1bc16d674ec80000
000007d1: DUP3
000007d2: PUSH2 0x07d9
000007d5: PUSH2 0x167d
000007d8: JUMP
000007d9: JUMPDEST
000007da: SUB
000007db: GT
000007dc: ISZERO
000007dd: JUMPDEST
000007de: ISZERO
000007df: PUSH2 0x0ccb
000007e2: JUMPI
000007e3: PUSH1 0x01
000007e5: ISZERO
000007e6: ISZERO
000007e7: PUSH1 0x03
000007e9: PUSH1 0x00
000007eb: DUP4
000007ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000801: AND
00000802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000817: AND
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: SWAP1
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: ADD
00000823: PUSH1 0x00
00000825: KECCAK256
00000826: PUSH1 0x00
00000828: SWAP1
00000829: SLOAD
0000082a: SWAP1
0000082b: PUSH2 0x0100
0000082e: EXP
0000082f: SWAP1
00000830: DIV
00000831: PUSH1 0xff
00000833: AND
00000834: ISZERO
00000835: ISZERO
00000836: EQ
00000837: DUP1
00000838: ISZERO
00000839: PUSH2 0x088b
0000083c: JUMPI
0000083d: POP
0000083e: PUSH8 0x0de0b6b3a7640000
00000847: DUP3
00000848: PUSH1 0x07
0000084a: PUSH1 0x00
0000084c: DUP5
0000084d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000862: AND
00000863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000878: AND
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x20
0000087d: ADD
0000087e: SWAP1
0000087f: DUP2
00000880: MSTORE
00000881: PUSH1 0x20
00000883: ADD
00000884: PUSH1 0x00
00000886: KECCAK256
00000887: SLOAD
00000888: ADD
00000889: GT
0000088a: ISZERO
0000088b: JUMPDEST
0000088c: ISZERO
0000088d: ISZERO
0000088e: PUSH2 0x0896
00000891: JUMPI
00000892: PUSH1 0x00
00000894: DUP1
00000895: REVERT
00000896: JUMPDEST
00000897: PUSH2 0x08df
0000089a: PUSH1 0x07
0000089c: PUSH1 0x00
0000089e: DUP4
0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b4: AND
000008b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ca: AND
000008cb: DUP2
000008cc: MSTORE
000008cd: PUSH1 0x20
000008cf: ADD
000008d0: SWAP1
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: PUSH1 0x00
000008d8: KECCAK256
000008d9: SLOAD
000008da: DUP4
000008db: PUSH2 0x2287
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x07
000008e2: PUSH1 0x00
000008e4: DUP4
000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fa: AND
000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000910: AND
00000911: DUP2
00000912: MSTORE
00000913: PUSH1 0x20
00000915: ADD
00000916: SWAP1
00000917: DUP2
00000918: MSTORE
00000919: PUSH1 0x20
0000091b: ADD
0000091c: PUSH1 0x00
0000091e: KECCAK256
0000091f: DUP2
00000920: SWAP1
00000921: SSTORE
00000922: POP
00000923: CALLER
00000924: SWAP10
00000925: POP
00000926: PUSH2 0x0933
00000929: DUP14
0000092a: PUSH1 0x05
0000092c: PUSH1 0xff
0000092e: AND
0000092f: PUSH2 0x22a5
00000932: JUMP
00000933: JUMPDEST
00000934: SWAP9
00000935: POP
00000936: PUSH2 0x0940
00000939: DUP10
0000093a: PUSH1 0x03
0000093c: PUSH2 0x22a5
0000093f: JUMP
00000940: JUMPDEST
00000941: SWAP8
00000942: POP
00000943: PUSH2 0x094c
00000946: DUP10
00000947: DUP10
00000948: PUSH2 0x22c0
0000094b: JUMP
0000094c: JUMPDEST
0000094d: SWAP7
0000094e: POP
0000094f: PUSH2 0x0958
00000952: DUP14
00000953: DUP11
00000954: PUSH2 0x22c0
00000957: JUMP
00000958: JUMPDEST
00000959: SWAP6
0000095a: POP
0000095b: PUSH2 0x0963
0000095e: DUP7
0000095f: PUSH2 0x22d9
00000962: JUMP
00000963: JUMPDEST
00000964: SWAP5
00000965: POP
00000966: PUSH9 0x010000000000000000
00000970: DUP8
00000971: MUL
00000972: SWAP4
00000973: POP
00000974: PUSH1 0x00
00000976: DUP6
00000977: GT
00000978: DUP1
00000979: ISZERO
0000097a: PUSH2 0x098f
0000097d: JUMPI
0000097e: POP
0000097f: PUSH1 0x08
00000981: SLOAD
00000982: PUSH2 0x098d
00000985: DUP7
00000986: PUSH1 0x08
00000988: SLOAD
00000989: PUSH2 0x2287
0000098c: JUMP
0000098d: JUMPDEST
0000098e: GT
0000098f: JUMPDEST
00000990: ISZERO
00000991: ISZERO
00000992: PUSH2 0x099a
00000995: JUMPI
00000996: PUSH1 0x00
00000998: DUP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: PUSH1 0x00
0000099d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b2: AND
000009b3: DUP13
000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c9: AND
000009ca: EQ
000009cb: ISZERO
000009cc: DUP1
000009cd: ISZERO
000009ce: PUSH2 0x0a03
000009d1: JUMPI
000009d2: POP
000009d3: DUP10
000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e9: AND
000009ea: DUP13
000009eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a00: AND
00000a01: EQ
00000a02: ISZERO
00000a03: JUMPDEST
00000a04: DUP1
00000a05: ISZERO
00000a06: PUSH2 0x0a50
00000a09: JUMPI
00000a0a: POP
00000a0b: PUSH1 0x02
00000a0d: SLOAD
00000a0e: PUSH1 0x04
00000a10: PUSH1 0x00
00000a12: DUP15
00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a28: AND
00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3e: AND
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x20
00000a43: ADD
00000a44: SWAP1
00000a45: DUP2
00000a46: MSTORE
00000a47: PUSH1 0x20
00000a49: ADD
00000a4a: PUSH1 0x00
00000a4c: KECCAK256
00000a4d: SLOAD
00000a4e: LT
00000a4f: ISZERO
00000a50: JUMPDEST
00000a51: ISZERO
00000a52: PUSH2 0x0ae6
00000a55: JUMPI
00000a56: PUSH2 0x0a9e
00000a59: PUSH1 0x05
00000a5b: PUSH1 0x00
00000a5d: DUP15
00000a5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a73: AND
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x20
00000a8e: ADD
00000a8f: SWAP1
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: PUSH1 0x00
00000a97: KECCAK256
00000a98: SLOAD
00000a99: DUP10
00000a9a: PUSH2 0x2287
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: PUSH1 0x05
00000aa1: PUSH1 0x00
00000aa3: DUP15
00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab9: AND
00000aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acf: AND
00000ad0: DUP2
00000ad1: MSTORE
00000ad2: PUSH1 0x20
00000ad4: ADD
00000ad5: SWAP1
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x20
00000ada: ADD
00000adb: PUSH1 0x00
00000add: KECCAK256
00000ade: DUP2
00000adf: SWAP1
00000ae0: SSTORE
00000ae1: POP
00000ae2: PUSH2 0x0b01
00000ae5: JUMP
00000ae6: JUMPDEST
00000ae7: PUSH2 0x0af0
00000aea: DUP8
00000aeb: DUP10
00000aec: PUSH2 0x2287
00000aef: JUMP
00000af0: JUMPDEST
00000af1: SWAP7
00000af2: POP
00000af3: PUSH9 0x010000000000000000
00000afd: DUP8
00000afe: MUL
00000aff: SWAP4
00000b00: POP
00000b01: JUMPDEST
00000b02: PUSH1 0x00
00000b04: PUSH1 0x08
00000b06: SLOAD
00000b07: GT
00000b08: ISZERO
00000b09: PUSH2 0x0b6c
00000b0c: JUMPI
00000b0d: PUSH2 0x0b18
00000b10: PUSH1 0x08
00000b12: SLOAD
00000b13: DUP7
00000b14: PUSH2 0x2287
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH1 0x08
00000b1b: DUP2
00000b1c: SWAP1
00000b1d: SSTORE
00000b1e: POP
00000b1f: PUSH1 0x08
00000b21: SLOAD
00000b22: PUSH9 0x010000000000000000
00000b2c: DUP9
00000b2d: MUL
00000b2e: DUP2
00000b2f: ISZERO
00000b30: ISZERO
00000b31: PUSH2 0x0b36
00000b34: JUMPI
00000b35: INVALID
00000b36: JUMPDEST
00000b37: DIV
00000b38: PUSH1 0x09
00000b3a: PUSH1 0x00
00000b3c: DUP3
00000b3d: DUP3
00000b3e: SLOAD
00000b3f: ADD
00000b40: SWAP3
00000b41: POP
00000b42: POP
00000b43: DUP2
00000b44: SWAP1
00000b45: SSTORE
00000b46: POP
00000b47: PUSH1 0x08
00000b49: SLOAD
00000b4a: PUSH9 0x010000000000000000
00000b54: DUP9
00000b55: MUL
00000b56: DUP2
00000b57: ISZERO
00000b58: ISZERO
00000b59: PUSH2 0x0b5e
00000b5c: JUMPI
00000b5d: INVALID
00000b5e: JUMPDEST
00000b5f: DIV
00000b60: DUP6
00000b61: MUL
00000b62: DUP5
00000b63: SUB
00000b64: DUP5
00000b65: SUB
00000b66: SWAP4
00000b67: POP
00000b68: PUSH2 0x0b74
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: DUP5
00000b6e: PUSH1 0x08
00000b70: DUP2
00000b71: SWAP1
00000b72: SSTORE
00000b73: POP
00000b74: JUMPDEST
00000b75: PUSH2 0x0bbd
00000b78: PUSH1 0x04
00000b7a: PUSH1 0x00
00000b7c: DUP13
00000b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b92: AND
00000b93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba8: AND
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH1 0x20
00000bad: ADD
00000bae: SWAP1
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH1 0x20
00000bb3: ADD
00000bb4: PUSH1 0x00
00000bb6: KECCAK256
00000bb7: SLOAD
00000bb8: DUP7
00000bb9: PUSH2 0x2287
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH1 0x04
00000bc0: PUSH1 0x00
00000bc2: DUP13
00000bc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd8: AND
00000bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bee: AND
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x20
00000bf3: ADD
00000bf4: SWAP1
00000bf5: DUP2
00000bf6: MSTORE
00000bf7: PUSH1 0x20
00000bf9: ADD
00000bfa: PUSH1 0x00
00000bfc: KECCAK256
00000bfd: DUP2
00000bfe: SWAP1
00000bff: SSTORE
00000c00: POP
00000c01: DUP4
00000c02: DUP6
00000c03: PUSH1 0x09
00000c05: SLOAD
00000c06: MUL
00000c07: SUB
00000c08: SWAP3
00000c09: POP
00000c0a: DUP3
00000c0b: PUSH1 0x06
00000c0d: PUSH1 0x00
00000c0f: DUP13
00000c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c25: AND
00000c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c3b: AND
00000c3c: DUP2
00000c3d: MSTORE
00000c3e: PUSH1 0x20
00000c40: ADD
00000c41: SWAP1
00000c42: DUP2
00000c43: MSTORE
00000c44: PUSH1 0x20
00000c46: ADD
00000c47: PUSH1 0x00
00000c49: KECCAK256
00000c4a: PUSH1 0x00
00000c4c: DUP3
00000c4d: DUP3
00000c4e: SLOAD
00000c4f: ADD
00000c50: SWAP3
00000c51: POP
00000c52: POP
00000c53: DUP2
00000c54: SWAP1
00000c55: SSTORE
00000c56: POP
00000c57: DUP12
00000c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6d: AND
00000c6e: DUP11
00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c84: AND
00000c85: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000ca6: DUP16
00000ca7: DUP9
00000ca8: PUSH1 0x40
00000caa: MLOAD
00000cab: DUP1
00000cac: DUP4
00000cad: DUP2
00000cae: MSTORE
00000caf: PUSH1 0x20
00000cb1: ADD
00000cb2: DUP3
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: PUSH1 0x20
00000cb7: ADD
00000cb8: SWAP3
00000cb9: POP
00000cba: POP
00000cbb: POP
00000cbc: PUSH1 0x40
00000cbe: MLOAD
00000cbf: DUP1
00000cc0: SWAP2
00000cc1: SUB
00000cc2: SWAP1
00000cc3: LOG3
00000cc4: DUP5
00000cc5: SWAP11
00000cc6: POP
00000cc7: PUSH2 0x108b
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x00
00000cce: PUSH1 0x0b
00000cd0: PUSH1 0x00
00000cd2: PUSH2 0x0100
00000cd5: EXP
00000cd6: DUP2
00000cd7: SLOAD
00000cd8: DUP2
00000cd9: PUSH1 0xff
00000cdb: MUL
00000cdc: NOT
00000cdd: AND
00000cde: SWAP1
00000cdf: DUP4
00000ce0: ISZERO
00000ce1: ISZERO
00000ce2: MUL
00000ce3: OR
00000ce4: SWAP1
00000ce5: SSTORE
00000ce6: POP
00000ce7: CALLER
00000ce8: SWAP10
00000ce9: POP
00000cea: PUSH2 0x0cf7
00000ced: DUP14
00000cee: PUSH1 0x05
00000cf0: PUSH1 0xff
00000cf2: AND
00000cf3: PUSH2 0x22a5
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: SWAP9
00000cf9: POP
00000cfa: PUSH2 0x0d04
00000cfd: DUP10
00000cfe: PUSH1 0x03
00000d00: PUSH2 0x22a5
00000d03: JUMP
00000d04: JUMPDEST
00000d05: SWAP8
00000d06: POP
00000d07: PUSH2 0x0d10
00000d0a: DUP10
00000d0b: DUP10
00000d0c: PUSH2 0x22c0
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: SWAP7
00000d12: POP
00000d13: PUSH2 0x0d1c
00000d16: DUP14
00000d17: DUP11
00000d18: PUSH2 0x22c0
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: SWAP6
00000d1e: POP
00000d1f: PUSH2 0x0d27
00000d22: DUP7
00000d23: PUSH2 0x22d9
00000d26: JUMP
00000d27: JUMPDEST
00000d28: SWAP5
00000d29: POP
00000d2a: PUSH9 0x010000000000000000
00000d34: DUP8
00000d35: MUL
00000d36: SWAP4
00000d37: POP
00000d38: PUSH1 0x00
00000d3a: DUP6
00000d3b: GT
00000d3c: DUP1
00000d3d: ISZERO
00000d3e: PUSH2 0x0d53
00000d41: JUMPI
00000d42: POP
00000d43: PUSH1 0x08
00000d45: SLOAD
00000d46: PUSH2 0x0d51
00000d49: DUP7
00000d4a: PUSH1 0x08
00000d4c: SLOAD
00000d4d: PUSH2 0x2287
00000d50: JUMP
00000d51: JUMPDEST
00000d52: GT
00000d53: JUMPDEST
00000d54: ISZERO
00000d55: ISZERO
00000d56: PUSH2 0x0d5e
00000d59: JUMPI
00000d5a: PUSH1 0x00
00000d5c: DUP1
00000d5d: REVERT
00000d5e: JUMPDEST
00000d5f: PUSH1 0x00
00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d76: AND
00000d77: DUP13
00000d78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8d: AND
00000d8e: EQ
00000d8f: ISZERO
00000d90: DUP1
00000d91: ISZERO
00000d92: PUSH2 0x0dc7
00000d95: JUMPI
00000d96: POP
00000d97: DUP10
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: DUP13
00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc4: AND
00000dc5: EQ
00000dc6: ISZERO
00000dc7: JUMPDEST
00000dc8: DUP1
00000dc9: ISZERO
00000dca: PUSH2 0x0e14
00000dcd: JUMPI
00000dce: POP
00000dcf: PUSH1 0x02
00000dd1: SLOAD
00000dd2: PUSH1 0x04
00000dd4: PUSH1 0x00
00000dd6: DUP15
00000dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dec: AND
00000ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e02: AND
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH1 0x20
00000e07: ADD
00000e08: SWAP1
00000e09: DUP2
00000e0a: MSTORE
00000e0b: PUSH1 0x20
00000e0d: ADD
00000e0e: PUSH1 0x00
00000e10: KECCAK256
00000e11: SLOAD
00000e12: LT
00000e13: ISZERO
00000e14: JUMPDEST
00000e15: ISZERO
00000e16: PUSH2 0x0eaa
00000e19: JUMPI
00000e1a: PUSH2 0x0e62
00000e1d: PUSH1 0x05
00000e1f: PUSH1 0x00
00000e21: DUP15
00000e22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e37: AND
00000e38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4d: AND
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x20
00000e52: ADD
00000e53: SWAP1
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x20
00000e58: ADD
00000e59: PUSH1 0x00
00000e5b: KECCAK256
00000e5c: SLOAD
00000e5d: DUP10
00000e5e: PUSH2 0x2287
00000e61: JUMP
00000e62: JUMPDEST
00000e63: PUSH1 0x05
00000e65: PUSH1 0x00
00000e67: DUP15
00000e68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7d: AND
00000e7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e93: AND
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x20
00000e98: ADD
00000e99: SWAP1
00000e9a: DUP2
00000e9b: MSTORE
00000e9c: PUSH1 0x20
00000e9e: ADD
00000e9f: PUSH1 0x00
00000ea1: KECCAK256
00000ea2: DUP2
00000ea3: SWAP1
00000ea4: SSTORE
00000ea5: POP
00000ea6: PUSH2 0x0ec5
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH2 0x0eb4
00000eae: DUP8
00000eaf: DUP10
00000eb0: PUSH2 0x2287
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: SWAP7
00000eb6: POP
00000eb7: PUSH9 0x010000000000000000
00000ec1: DUP8
00000ec2: MUL
00000ec3: SWAP4
00000ec4: POP
00000ec5: JUMPDEST
00000ec6: PUSH1 0x00
00000ec8: PUSH1 0x08
00000eca: SLOAD
00000ecb: GT
00000ecc: ISZERO
00000ecd: PUSH2 0x0f30
00000ed0: JUMPI
00000ed1: PUSH2 0x0edc
00000ed4: PUSH1 0x08
00000ed6: SLOAD
00000ed7: DUP7
00000ed8: PUSH2 0x2287
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH1 0x08
00000edf: DUP2
00000ee0: SWAP1
00000ee1: SSTORE
00000ee2: POP
00000ee3: PUSH1 0x08
00000ee5: SLOAD
00000ee6: PUSH9 0x010000000000000000
00000ef0: DUP9
00000ef1: MUL
00000ef2: DUP2
00000ef3: ISZERO
00000ef4: ISZERO
00000ef5: PUSH2 0x0efa
00000ef8: JUMPI
00000ef9: INVALID
00000efa: JUMPDEST
00000efb: DIV
00000efc: PUSH1 0x09
00000efe: PUSH1 0x00
00000f00: DUP3
00000f01: DUP3
00000f02: SLOAD
00000f03: ADD
00000f04: SWAP3
00000f05: POP
00000f06: POP
00000f07: DUP2
00000f08: SWAP1
00000f09: SSTORE
00000f0a: POP
00000f0b: PUSH1 0x08
00000f0d: SLOAD
00000f0e: PUSH9 0x010000000000000000
00000f18: DUP9
00000f19: MUL
00000f1a: DUP2
00000f1b: ISZERO
00000f1c: ISZERO
00000f1d: PUSH2 0x0f22
00000f20: JUMPI
00000f21: INVALID
00000f22: JUMPDEST
00000f23: DIV
00000f24: DUP6
00000f25: MUL
00000f26: DUP5
00000f27: SUB
00000f28: DUP5
00000f29: SUB
00000f2a: SWAP4
00000f2b: POP
00000f2c: PUSH2 0x0f38
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: DUP5
00000f32: PUSH1 0x08
00000f34: DUP2
00000f35: SWAP1
00000f36: SSTORE
00000f37: POP
00000f38: JUMPDEST
00000f39: PUSH2 0x0f81
00000f3c: PUSH1 0x04
00000f3e: PUSH1 0x00
00000f40: DUP13
00000f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f56: AND
00000f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6c: AND
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x20
00000f71: ADD
00000f72: SWAP1
00000f73: DUP2
00000f74: MSTORE
00000f75: PUSH1 0x20
00000f77: ADD
00000f78: PUSH1 0x00
00000f7a: KECCAK256
00000f7b: SLOAD
00000f7c: DUP7
00000f7d: PUSH2 0x2287
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH1 0x04
00000f84: PUSH1 0x00
00000f86: DUP13
00000f87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9c: AND
00000f9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb2: AND
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: PUSH1 0x20
00000fb7: ADD
00000fb8: SWAP1
00000fb9: DUP2
00000fba: MSTORE
00000fbb: PUSH1 0x20
00000fbd: ADD
00000fbe: PUSH1 0x00
00000fc0: KECCAK256
00000fc1: DUP2
00000fc2: SWAP1
00000fc3: SSTORE
00000fc4: POP
00000fc5: DUP4
00000fc6: DUP6
00000fc7: PUSH1 0x09
00000fc9: SLOAD
00000fca: MUL
00000fcb: SUB
00000fcc: SWAP3
00000fcd: POP
00000fce: DUP3
00000fcf: PUSH1 0x06
00000fd1: PUSH1 0x00
00000fd3: DUP13
00000fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe9: AND
00000fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fff: AND
00001000: DUP2
00001001: MSTORE
00001002: PUSH1 0x20
00001004: ADD
00001005: SWAP1
00001006: DUP2
00001007: MSTORE
00001008: PUSH1 0x20
0000100a: ADD
0000100b: PUSH1 0x00
0000100d: KECCAK256
0000100e: PUSH1 0x00
00001010: DUP3
00001011: DUP3
00001012: SLOAD
00001013: ADD
00001014: SWAP3
00001015: POP
00001016: POP
00001017: DUP2
00001018: SWAP1
00001019: SSTORE
0000101a: POP
0000101b: DUP12
0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001031: AND
00001032: DUP11
00001033: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001048: AND
00001049: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
0000106a: DUP16
0000106b: DUP9
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: DUP1
00001070: DUP4
00001071: DUP2
00001072: MSTORE
00001073: PUSH1 0x20
00001075: ADD
00001076: DUP3
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x20
0000107b: ADD
0000107c: SWAP3
0000107d: POP
0000107e: POP
0000107f: POP
00001080: PUSH1 0x40
00001082: MLOAD
00001083: DUP1
00001084: SWAP2
00001085: SUB
00001086: SWAP1
00001087: LOG3
00001088: DUP5
00001089: SWAP11
0000108a: POP
0000108b: JUMPDEST
0000108c: POP
0000108d: POP
0000108e: POP
0000108f: POP
00001090: POP
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: POP
00001096: SWAP3
00001097: SWAP2
00001098: POP
00001099: POP
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH1 0x00
0000109e: PUSH9 0x010000000000000000
000010a8: PUSH1 0x06
000010aa: PUSH1 0x00
000010ac: DUP5
000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c2: AND
000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d8: AND
000010d9: DUP2
000010da: MSTORE
000010db: PUSH1 0x20
000010dd: ADD
000010de: SWAP1
000010df: DUP2
000010e0: MSTORE
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: PUSH1 0x00
000010e6: KECCAK256
000010e7: SLOAD
000010e8: PUSH1 0x04
000010ea: PUSH1 0x00
000010ec: DUP6
000010ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001102: AND
00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001118: AND
00001119: DUP2
0000111a: MSTORE
0000111b: PUSH1 0x20
0000111d: ADD
0000111e: SWAP1
0000111f: DUP2
00001120: MSTORE
00001121: PUSH1 0x20
00001123: ADD
00001124: PUSH1 0x00
00001126: KECCAK256
00001127: SLOAD
00001128: PUSH1 0x09
0000112a: SLOAD
0000112b: MUL
0000112c: SUB
0000112d: DUP2
0000112e: ISZERO
0000112f: ISZERO
00001130: PUSH2 0x1135
00001133: JUMPI
00001134: INVALID
00001135: JUMPDEST
00001136: DIV
00001137: SWAP1
00001138: POP
00001139: SWAP2
0000113a: SWAP1
0000113b: POP
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH1 0x00
00001140: DUP1
00001141: SLOAD
00001142: PUSH1 0x01
00001144: DUP2
00001145: PUSH1 0x01
00001147: AND
00001148: ISZERO
00001149: PUSH2 0x0100
0000114c: MUL
0000114d: SUB
0000114e: AND
0000114f: PUSH1 0x02
00001151: SWAP1
00001152: DIV
00001153: DUP1
00001154: PUSH1 0x1f
00001156: ADD
00001157: PUSH1 0x20
00001159: DUP1
0000115a: SWAP2
0000115b: DIV
0000115c: MUL
0000115d: PUSH1 0x20
0000115f: ADD
00001160: PUSH1 0x40
00001162: MLOAD
00001163: SWAP1
00001164: DUP2
00001165: ADD
00001166: PUSH1 0x40
00001168: MSTORE
00001169: DUP1
0000116a: SWAP3
0000116b: SWAP2
0000116c: SWAP1
0000116d: DUP2
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x20
00001172: ADD
00001173: DUP3
00001174: DUP1
00001175: SLOAD
00001176: PUSH1 0x01
00001178: DUP2
00001179: PUSH1 0x01
0000117b: AND
0000117c: ISZERO
0000117d: PUSH2 0x0100
00001180: MUL
00001181: SUB
00001182: AND
00001183: PUSH1 0x02
00001185: SWAP1
00001186: DIV
00001187: DUP1
00001188: ISZERO
00001189: PUSH2 0x11d3
0000118c: JUMPI
0000118d: DUP1
0000118e: PUSH1 0x1f
00001190: LT
00001191: PUSH2 0x11a8
00001194: JUMPI
00001195: PUSH2 0x0100
00001198: DUP1
00001199: DUP4
0000119a: SLOAD
0000119b: DIV
0000119c: MUL
0000119d: DUP4
0000119e: MSTORE
0000119f: SWAP2
000011a0: PUSH1 0x20
000011a2: ADD
000011a3: SWAP2
000011a4: PUSH2 0x11d3
000011a7: JUMP
000011a8: JUMPDEST
000011a9: DUP3
000011aa: ADD
000011ab: SWAP2
000011ac: SWAP1
000011ad: PUSH1 0x00
000011af: MSTORE
000011b0: PUSH1 0x20
000011b2: PUSH1 0x00
000011b4: KECCAK256
000011b5: SWAP1
000011b6: JUMPDEST
000011b7: DUP2
000011b8: SLOAD
000011b9: DUP2
000011ba: MSTORE
000011bb: SWAP1
000011bc: PUSH1 0x01
000011be: ADD
000011bf: SWAP1
000011c0: PUSH1 0x20
000011c2: ADD
000011c3: DUP1
000011c4: DUP4
000011c5: GT
000011c6: PUSH2 0x11b6
000011c9: JUMPI
000011ca: DUP3
000011cb: SWAP1
000011cc: SUB
000011cd: PUSH1 0x1f
000011cf: AND
000011d0: DUP3
000011d1: ADD
000011d2: SWAP2
000011d3: JUMPDEST
000011d4: POP
000011d5: POP
000011d6: POP
000011d7: POP
000011d8: POP
000011d9: DUP2
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x00
000011de: DUP1
000011df: PUSH1 0x00
000011e1: DUP1
000011e2: PUSH2 0x11ef
000011e5: DUP6
000011e6: PUSH1 0x05
000011e8: PUSH1 0xff
000011ea: AND
000011eb: PUSH2 0x22a5
000011ee: JUMP
000011ef: JUMPDEST
000011f0: SWAP3
000011f1: POP
000011f2: PUSH2 0x11fb
000011f5: DUP6
000011f6: DUP5
000011f7: PUSH2 0x22c0
000011fa: JUMP
000011fb: JUMPDEST
000011fc: SWAP2
000011fd: POP
000011fe: PUSH2 0x1206
00001201: DUP3
00001202: PUSH2 0x22d9
00001205: JUMP
00001206: JUMPDEST
00001207: SWAP1
00001208: POP
00001209: DUP1
0000120a: SWAP4
0000120b: POP
0000120c: POP
0000120d: POP
0000120e: POP
0000120f: SWAP2
00001210: SWAP1
00001211: POP
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x00
00001216: PUSH1 0x08
00001218: SLOAD
00001219: SWAP1
0000121a: POP
0000121b: SWAP1
0000121c: JUMP
0000121d: JUMPDEST
0000121e: PUSH1 0x00
00001220: DUP1
00001221: PUSH1 0x00
00001223: DUP1
00001224: PUSH1 0x08
00001226: SLOAD
00001227: DUP6
00001228: GT
00001229: ISZERO
0000122a: ISZERO
0000122b: ISZERO
0000122c: PUSH2 0x1234
0000122f: JUMPI
00001230: PUSH1 0x00
00001232: DUP1
00001233: REVERT
00001234: JUMPDEST
00001235: PUSH2 0x123d
00001238: DUP6
00001239: PUSH2 0x2366
0000123c: JUMP
0000123d: JUMPDEST
0000123e: SWAP3
0000123f: POP
00001240: PUSH2 0x124d
00001243: DUP4
00001244: PUSH1 0x05
00001246: PUSH1 0xff
00001248: AND
00001249: PUSH2 0x22a5
0000124c: JUMP
0000124d: JUMPDEST
0000124e: SWAP2
0000124f: POP
00001250: PUSH2 0x1259
00001253: DUP4
00001254: DUP4
00001255: PUSH2 0x22c0
00001258: JUMP
00001259: JUMPDEST
0000125a: SWAP1
0000125b: POP
0000125c: DUP1
0000125d: SWAP4
0000125e: POP
0000125f: POP
00001260: POP
00001261: POP
00001262: SWAP2
00001263: SWAP1
00001264: POP
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x0b
00001269: PUSH1 0x00
0000126b: SWAP1
0000126c: SLOAD
0000126d: SWAP1
0000126e: PUSH2 0x0100
00001271: EXP
00001272: SWAP1
00001273: DIV
00001274: PUSH1 0xff
00001276: AND
00001277: DUP2
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH1 0x12
0000127c: DUP2
0000127d: JUMP
0000127e: JUMPDEST
0000127f: PUSH1 0x0a
00001281: PUSH1 0x20
00001283: MSTORE
00001284: DUP1
00001285: PUSH1 0x00
00001287: MSTORE
00001288: PUSH1 0x40
0000128a: PUSH1 0x00
0000128c: KECCAK256
0000128d: PUSH1 0x00
0000128f: SWAP2
00001290: POP
00001291: SLOAD
00001292: SWAP1
00001293: PUSH2 0x0100
00001296: EXP
00001297: SWAP1
00001298: DIV
00001299: PUSH1 0xff
0000129b: AND
0000129c: DUP2
0000129d: JUMP
0000129e: JUMPDEST
0000129f: PUSH1 0x00
000012a1: DUP1
000012a2: PUSH1 0x00
000012a4: PUSH2 0x12ad
000012a7: PUSH1 0x01
000012a9: PUSH2 0x1611
000012ac: JUMP
000012ad: JUMPDEST
000012ae: GT
000012af: ISZERO
000012b0: ISZERO
000012b1: PUSH2 0x12b9
000012b4: JUMPI
000012b5: PUSH1 0x00
000012b7: DUP1
000012b8: REVERT
000012b9: JUMPDEST
000012ba: CALLER
000012bb: SWAP2
000012bc: POP
000012bd: PUSH2 0x12c6
000012c0: PUSH1 0x00
000012c2: PUSH2 0x1611
000012c5: JUMP
000012c6: JUMPDEST
000012c7: SWAP1
000012c8: POP
000012c9: PUSH9 0x010000000000000000
000012d3: DUP2
000012d4: MUL
000012d5: PUSH1 0x06
000012d7: PUSH1 0x00
000012d9: DUP5
000012da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ef: AND
000012f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001305: AND
00001306: DUP2
00001307: MSTORE
00001308: PUSH1 0x20
0000130a: ADD
0000130b: SWAP1
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: ADD
00001311: PUSH1 0x00
00001313: KECCAK256
00001314: PUSH1 0x00
00001316: DUP3
00001317: DUP3
00001318: SLOAD
00001319: ADD
0000131a: SWAP3
0000131b: POP
0000131c: POP
0000131d: DUP2
0000131e: SWAP1
0000131f: SSTORE
00001320: POP
00001321: PUSH1 0x05
00001323: PUSH1 0x00
00001325: DUP4
00001326: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133b: AND
0000133c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001351: AND
00001352: DUP2
00001353: MSTORE
00001354: PUSH1 0x20
00001356: ADD
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: PUSH1 0x00
0000135f: KECCAK256
00001360: SLOAD
00001361: DUP2
00001362: ADD
00001363: SWAP1
00001364: POP
00001365: PUSH1 0x00
00001367: PUSH1 0x05
00001369: PUSH1 0x00
0000136b: DUP5
0000136c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001381: AND
00001382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001397: AND
00001398: DUP2
00001399: MSTORE
0000139a: PUSH1 0x20
0000139c: ADD
0000139d: SWAP1
0000139e: DUP2
0000139f: MSTORE
000013a0: PUSH1 0x20
000013a2: ADD
000013a3: PUSH1 0x00
000013a5: KECCAK256
000013a6: DUP2
000013a7: SWAP1
000013a8: SSTORE
000013a9: POP
000013aa: DUP2
000013ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c0: AND
000013c1: PUSH2 0x08fc
000013c4: DUP3
000013c5: SWAP1
000013c6: DUP2
000013c7: ISZERO
000013c8: MUL
000013c9: SWAP1
000013ca: PUSH1 0x40
000013cc: MLOAD
000013cd: PUSH1 0x00
000013cf: PUSH1 0x40
000013d1: MLOAD
000013d2: DUP1
000013d3: DUP4
000013d4: SUB
000013d5: DUP2
000013d6: DUP6
000013d7: DUP9
000013d8: DUP9
000013d9: CALL
000013da: SWAP4
000013db: POP
000013dc: POP
000013dd: POP
000013de: POP
000013df: ISZERO
000013e0: ISZERO
000013e1: PUSH2 0x13e9
000013e4: JUMPI
000013e5: PUSH1 0x00
000013e7: DUP1
000013e8: REVERT
000013e9: JUMPDEST
000013ea: DUP2
000013eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001400: AND
00001401: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001422: DUP3
00001423: PUSH1 0x40
00001425: MLOAD
00001426: DUP1
00001427: DUP3
00001428: DUP2
00001429: MSTORE
0000142a: PUSH1 0x20
0000142c: ADD
0000142d: SWAP2
0000142e: POP
0000142f: POP
00001430: PUSH1 0x40
00001432: MLOAD
00001433: DUP1
00001434: SWAP2
00001435: SUB
00001436: SWAP1
00001437: LOG2
00001438: POP
00001439: POP
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH1 0x00
0000143e: DUP1
0000143f: PUSH1 0x00
00001441: DUP1
00001442: PUSH1 0x00
00001444: PUSH1 0x08
00001446: SLOAD
00001447: EQ
00001448: ISZERO
00001449: PUSH2 0x1460
0000144c: JUMPI
0000144d: PUSH5 0x02540be400
00001453: PUSH5 0x174876e800
00001459: SUB
0000145a: SWAP4
0000145b: POP
0000145c: PUSH2 0x1493
0000145f: JUMP
00001460: JUMPDEST
00001461: PUSH2 0x1471
00001464: PUSH8 0x0de0b6b3a7640000
0000146d: PUSH2 0x2366
00001470: JUMP
00001471: JUMPDEST
00001472: SWAP3
00001473: POP
00001474: PUSH2 0x1481
00001477: DUP4
00001478: PUSH1 0x05
0000147a: PUSH1 0xff
0000147c: AND
0000147d: PUSH2 0x22a5
00001480: JUMP
00001481: JUMPDEST
00001482: SWAP2
00001483: POP
00001484: PUSH2 0x148d
00001487: DUP4
00001488: DUP4
00001489: PUSH2 0x22c0
0000148c: JUMP
0000148d: JUMPDEST
0000148e: SWAP1
0000148f: POP
00001490: DUP1
00001491: SWAP4
00001492: POP
00001493: JUMPDEST
00001494: POP
00001495: POP
00001496: POP
00001497: SWAP1
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x01
0000149c: PUSH1 0x0a
0000149e: PUSH1 0x00
000014a0: PUSH20 0xfefa15424fd45bafe123163b2ad8d509c1256256
000014b5: PUSH1 0x40
000014b7: MLOAD
000014b8: DUP1
000014b9: DUP3
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: AND
000014d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e5: AND
000014e6: PUSH13 0x01000000000000000000000000
000014f4: MUL
000014f5: DUP2
000014f6: MSTORE
000014f7: PUSH1 0x14
000014f9: ADD
000014fa: SWAP2
000014fb: POP
000014fc: POP
000014fd: PUSH1 0x40
000014ff: MLOAD
00001500: DUP1
00001501: SWAP2
00001502: SUB
00001503: SWAP1
00001504: KECCAK256
00001505: PUSH1 0x00
00001507: NOT
00001508: AND
00001509: PUSH1 0x00
0000150b: NOT
0000150c: AND
0000150d: DUP2
0000150e: MSTORE
0000150f: PUSH1 0x20
00001511: ADD
00001512: SWAP1
00001513: DUP2
00001514: MSTORE
00001515: PUSH1 0x20
00001517: ADD
00001518: PUSH1 0x00
0000151a: KECCAK256
0000151b: PUSH1 0x00
0000151d: PUSH2 0x0100
00001520: EXP
00001521: DUP2
00001522: SLOAD
00001523: DUP2
00001524: PUSH1 0xff
00001526: MUL
00001527: NOT
00001528: AND
00001529: SWAP1
0000152a: DUP4
0000152b: ISZERO
0000152c: ISZERO
0000152d: MUL
0000152e: OR
0000152f: SWAP1
00001530: SSTORE
00001531: POP
00001532: PUSH1 0x01
00001534: PUSH1 0x03
00001536: PUSH1 0x00
00001538: PUSH20 0x895a6e21acc9f4e81b77cf28a6599ff3805dc81e
0000154d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001562: AND
00001563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001578: AND
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x20
0000157d: ADD
0000157e: SWAP1
0000157f: DUP2
00001580: MSTORE
00001581: PUSH1 0x20
00001583: ADD
00001584: PUSH1 0x00
00001586: KECCAK256
00001587: PUSH1 0x00
00001589: PUSH2 0x0100
0000158c: EXP
0000158d: DUP2
0000158e: SLOAD
0000158f: DUP2
00001590: PUSH1 0xff
00001592: MUL
00001593: NOT
00001594: AND
00001595: SWAP1
00001596: DUP4
00001597: ISZERO
00001598: ISZERO
00001599: MUL
0000159a: OR
0000159b: SWAP1
0000159c: SSTORE
0000159d: POP
0000159e: PUSH1 0x01
000015a0: PUSH1 0x03
000015a2: PUSH1 0x00
000015a4: PUSH20 0xfefa15424fd45bafe123163b2ad8d509c1256256
000015b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ce: AND
000015cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e4: AND
000015e5: DUP2
000015e6: MSTORE
000015e7: PUSH1 0x20
000015e9: ADD
000015ea: SWAP1
000015eb: DUP2
000015ec: MSTORE
000015ed: PUSH1 0x20
000015ef: ADD
000015f0: PUSH1 0x00
000015f2: KECCAK256
000015f3: PUSH1 0x00
000015f5: PUSH2 0x0100
000015f8: EXP
000015f9: DUP2
000015fa: SLOAD
000015fb: DUP2
000015fc: PUSH1 0xff
000015fe: MUL
000015ff: NOT
00001600: AND
00001601: SWAP1
00001602: DUP4
00001603: ISZERO
00001604: ISZERO
00001605: MUL
00001606: OR
00001607: SWAP1
00001608: SSTORE
00001609: POP
0000160a: JUMP
0000160b: JUMPDEST
0000160c: PUSH1 0x02
0000160e: SLOAD
0000160f: DUP2
00001610: JUMP
00001611: JUMPDEST
00001612: PUSH1 0x00
00001614: DUP1
00001615: CALLER
00001616: SWAP1
00001617: POP
00001618: DUP3
00001619: PUSH2 0x162a
0000161c: JUMPI
0000161d: PUSH2 0x1625
00001620: DUP2
00001621: PUSH2 0x109b
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH2 0x1675
00001629: JUMP
0000162a: JUMPDEST
0000162b: PUSH1 0x05
0000162d: PUSH1 0x00
0000162f: DUP3
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: AND
00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165b: AND
0000165c: DUP2
0000165d: MSTORE
0000165e: PUSH1 0x20
00001660: ADD
00001661: SWAP1
00001662: DUP2
00001663: MSTORE
00001664: PUSH1 0x20
00001666: ADD
00001667: PUSH1 0x00
00001669: KECCAK256
0000166a: SLOAD
0000166b: PUSH2 0x1673
0000166e: DUP3
0000166f: PUSH2 0x109b
00001672: JUMP
00001673: JUMPDEST
00001674: ADD
00001675: JUMPDEST
00001676: SWAP2
00001677: POP
00001678: POP
00001679: SWAP2
0000167a: SWAP1
0000167b: POP
0000167c: JUMP
0000167d: JUMPDEST
0000167e: PUSH1 0x00
00001680: ADDRESS
00001681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001696: AND
00001697: BALANCE
00001698: SWAP1
00001699: POP
0000169a: SWAP1
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH1 0x00
0000169f: PUSH1 0x04
000016a1: PUSH1 0x00
000016a3: DUP4
000016a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b9: AND
000016ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cf: AND
000016d0: DUP2
000016d1: MSTORE
000016d2: PUSH1 0x20
000016d4: ADD
000016d5: SWAP1
000016d6: DUP2
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: ADD
000016db: PUSH1 0x00
000016dd: KECCAK256
000016de: SLOAD
000016df: SWAP1
000016e0: POP
000016e1: SWAP2
000016e2: SWAP1
000016e3: POP
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH1 0x00
000016e8: CALLER
000016e9: SWAP1
000016ea: POP
000016eb: PUSH1 0x0a
000016ed: PUSH1 0x00
000016ef: DUP3
000016f0: PUSH1 0x40
000016f2: MLOAD
000016f3: DUP1
000016f4: DUP3
000016f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170a: AND
0000170b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001720: AND
00001721: PUSH13 0x01000000000000000000000000
0000172f: MUL
00001730: DUP2
00001731: MSTORE
00001732: PUSH1 0x14
00001734: ADD
00001735: SWAP2
00001736: POP
00001737: POP
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: DUP1
0000173c: SWAP2
0000173d: SUB
0000173e: SWAP1
0000173f: KECCAK256
00001740: PUSH1 0x00
00001742: NOT
00001743: AND
00001744: PUSH1 0x00
00001746: NOT
00001747: AND
00001748: DUP2
00001749: MSTORE
0000174a: PUSH1 0x20
0000174c: ADD
0000174d: SWAP1
0000174e: DUP2
0000174f: MSTORE
00001750: PUSH1 0x20
00001752: ADD
00001753: PUSH1 0x00
00001755: KECCAK256
00001756: PUSH1 0x00
00001758: SWAP1
00001759: SLOAD
0000175a: SWAP1
0000175b: PUSH2 0x0100
0000175e: EXP
0000175f: SWAP1
00001760: DIV
00001761: PUSH1 0xff
00001763: AND
00001764: ISZERO
00001765: ISZERO
00001766: PUSH2 0x176e
00001769: JUMPI
0000176a: PUSH1 0x00
0000176c: DUP1
0000176d: REVERT
0000176e: JUMPDEST
0000176f: DUP2
00001770: PUSH1 0x02
00001772: DUP2
00001773: SWAP1
00001774: SSTORE
00001775: POP
00001776: POP
00001777: POP
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH1 0x00
0000177c: DUP1
0000177d: PUSH1 0x00
0000177f: DUP1
00001780: PUSH1 0x00
00001782: PUSH1 0x08
00001784: SLOAD
00001785: EQ
00001786: ISZERO
00001787: PUSH2 0x179e
0000178a: JUMPI
0000178b: PUSH5 0x02540be400
00001791: PUSH5 0x174876e800
00001797: ADD
00001798: SWAP4
00001799: POP
0000179a: PUSH2 0x17d1
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH2 0x17af
000017a2: PUSH8 0x0de0b6b3a7640000
000017ab: PUSH2 0x2366
000017ae: JUMP
000017af: JUMPDEST
000017b0: SWAP3
000017b1: POP
000017b2: PUSH2 0x17bf
000017b5: DUP4
000017b6: PUSH1 0x05
000017b8: PUSH1 0xff
000017ba: AND
000017bb: PUSH2 0x22a5
000017be: JUMP
000017bf: JUMPDEST
000017c0: SWAP2
000017c1: POP
000017c2: PUSH2 0x17cb
000017c5: DUP4
000017c6: DUP4
000017c7: PUSH2 0x2287
000017ca: JUMP
000017cb: JUMPDEST
000017cc: SWAP1
000017cd: POP
000017ce: DUP1
000017cf: SWAP4
000017d0: POP
000017d1: JUMPDEST
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: SWAP1
000017d6: JUMP
000017d7: JUMPDEST
000017d8: PUSH1 0x00
000017da: CALLER
000017db: SWAP1
000017dc: POP
000017dd: PUSH1 0x0a
000017df: PUSH1 0x00
000017e1: DUP3
000017e2: PUSH1 0x40
000017e4: MLOAD
000017e5: DUP1
000017e6: DUP3
000017e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fc: AND
000017fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001812: AND
00001813: PUSH13 0x01000000000000000000000000
00001821: MUL
00001822: DUP2
00001823: MSTORE
00001824: PUSH1 0x14
00001826: ADD
00001827: SWAP2
00001828: POP
00001829: POP
0000182a: PUSH1 0x40
0000182c: MLOAD
0000182d: DUP1
0000182e: SWAP2
0000182f: SUB
00001830: SWAP1
00001831: KECCAK256
00001832: PUSH1 0x00
00001834: NOT
00001835: AND
00001836: PUSH1 0x00
00001838: NOT
00001839: AND
0000183a: DUP2
0000183b: MSTORE
0000183c: PUSH1 0x20
0000183e: ADD
0000183f: SWAP1
00001840: DUP2
00001841: MSTORE
00001842: PUSH1 0x20
00001844: ADD
00001845: PUSH1 0x00
00001847: KECCAK256
00001848: PUSH1 0x00
0000184a: SWAP1
0000184b: SLOAD
0000184c: SWAP1
0000184d: PUSH2 0x0100
00001850: EXP
00001851: SWAP1
00001852: DIV
00001853: PUSH1 0xff
00001855: AND
00001856: ISZERO
00001857: ISZERO
00001858: PUSH2 0x1860
0000185b: JUMPI
0000185c: PUSH1 0x00
0000185e: DUP1
0000185f: REVERT
00001860: JUMPDEST
00001861: DUP2
00001862: PUSH1 0x0a
00001864: PUSH1 0x00
00001866: DUP6
00001867: PUSH1 0x00
00001869: NOT
0000186a: AND
0000186b: PUSH1 0x00
0000186d: NOT
0000186e: AND
0000186f: DUP2
00001870: MSTORE
00001871: PUSH1 0x20
00001873: ADD
00001874: SWAP1
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x20
00001879: ADD
0000187a: PUSH1 0x00
0000187c: KECCAK256
0000187d: PUSH1 0x00
0000187f: PUSH2 0x0100
00001882: EXP
00001883: DUP2
00001884: SLOAD
00001885: DUP2
00001886: PUSH1 0xff
00001888: MUL
00001889: NOT
0000188a: AND
0000188b: SWAP1
0000188c: DUP4
0000188d: ISZERO
0000188e: ISZERO
0000188f: MUL
00001890: OR
00001891: SWAP1
00001892: SSTORE
00001893: POP
00001894: POP
00001895: POP
00001896: POP
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x00
0000189b: DUP1
0000189c: CALLER
0000189d: SWAP1
0000189e: POP
0000189f: PUSH2 0x18a7
000018a2: DUP2
000018a3: PUSH2 0x169c
000018a6: JUMP
000018a7: JUMPDEST
000018a8: SWAP2
000018a9: POP
000018aa: POP
000018ab: SWAP1
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH1 0x01
000018b0: DUP1
000018b1: SLOAD
000018b2: PUSH1 0x01
000018b4: DUP2
000018b5: PUSH1 0x01
000018b7: AND
000018b8: ISZERO
000018b9: PUSH2 0x0100
000018bc: MUL
000018bd: SUB
000018be: AND
000018bf: PUSH1 0x02
000018c1: SWAP1
000018c2: DIV
000018c3: DUP1
000018c4: PUSH1 0x1f
000018c6: ADD
000018c7: PUSH1 0x20
000018c9: DUP1
000018ca: SWAP2
000018cb: DIV
000018cc: MUL
000018cd: PUSH1 0x20
000018cf: ADD
000018d0: PUSH1 0x40
000018d2: MLOAD
000018d3: SWAP1
000018d4: DUP2
000018d5: ADD
000018d6: PUSH1 0x40
000018d8: MSTORE
000018d9: DUP1
000018da: SWAP3
000018db: SWAP2
000018dc: SWAP1
000018dd: DUP2
000018de: DUP2
000018df: MSTORE
000018e0: PUSH1 0x20
000018e2: ADD
000018e3: DUP3
000018e4: DUP1
000018e5: SLOAD
000018e6: PUSH1 0x01
000018e8: DUP2
000018e9: PUSH1 0x01
000018eb: AND
000018ec: ISZERO
000018ed: PUSH2 0x0100
000018f0: MUL
000018f1: SUB
000018f2: AND
000018f3: PUSH1 0x02
000018f5: SWAP1
000018f6: DIV
000018f7: DUP1
000018f8: ISZERO
000018f9: PUSH2 0x1943
000018fc: JUMPI
000018fd: DUP1
000018fe: PUSH1 0x1f
00001900: LT
00001901: PUSH2 0x1918
00001904: JUMPI
00001905: PUSH2 0x0100
00001908: DUP1
00001909: DUP4
0000190a: SLOAD
0000190b: DIV
0000190c: MUL
0000190d: DUP4
0000190e: MSTORE
0000190f: SWAP2
00001910: PUSH1 0x20
00001912: ADD
00001913: SWAP2
00001914: PUSH2 0x1943
00001917: JUMP
00001918: JUMPDEST
00001919: DUP3
0000191a: ADD
0000191b: SWAP2
0000191c: SWAP1
0000191d: PUSH1 0x00
0000191f: MSTORE
00001920: PUSH1 0x20
00001922: PUSH1 0x00
00001924: KECCAK256
00001925: SWAP1
00001926: JUMPDEST
00001927: DUP2
00001928: SLOAD
00001929: DUP2
0000192a: MSTORE
0000192b: SWAP1
0000192c: PUSH1 0x01
0000192e: ADD
0000192f: SWAP1
00001930: PUSH1 0x20
00001932: ADD
00001933: DUP1
00001934: DUP4
00001935: GT
00001936: PUSH2 0x1926
00001939: JUMPI
0000193a: DUP3
0000193b: SWAP1
0000193c: SUB
0000193d: PUSH1 0x1f
0000193f: AND
00001940: DUP3
00001941: ADD
00001942: SWAP2
00001943: JUMPDEST
00001944: POP
00001945: POP
00001946: POP
00001947: POP
00001948: POP
00001949: DUP2
0000194a: JUMP
0000194b: JUMPDEST
0000194c: PUSH1 0x00
0000194e: CALLER
0000194f: SWAP1
00001950: POP
00001951: PUSH1 0x0a
00001953: PUSH1 0x00
00001955: DUP3
00001956: PUSH1 0x40
00001958: MLOAD
00001959: DUP1
0000195a: DUP3
0000195b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001970: AND
00001971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001986: AND
00001987: PUSH13 0x01000000000000000000000000
00001995: MUL
00001996: DUP2
00001997: MSTORE
00001998: PUSH1 0x14
0000199a: ADD
0000199b: SWAP2
0000199c: POP
0000199d: POP
0000199e: PUSH1 0x40
000019a0: MLOAD
000019a1: DUP1
000019a2: SWAP2
000019a3: SUB
000019a4: SWAP1
000019a5: KECCAK256
000019a6: PUSH1 0x00
000019a8: NOT
000019a9: AND
000019aa: PUSH1 0x00
000019ac: NOT
000019ad: AND
000019ae: DUP2
000019af: MSTORE
000019b0: PUSH1 0x20
000019b2: ADD
000019b3: SWAP1
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x20
000019b8: ADD
000019b9: PUSH1 0x00
000019bb: KECCAK256
000019bc: PUSH1 0x00
000019be: SWAP1
000019bf: SLOAD
000019c0: SWAP1
000019c1: PUSH2 0x0100
000019c4: EXP
000019c5: SWAP1
000019c6: DIV
000019c7: PUSH1 0xff
000019c9: AND
000019ca: ISZERO
000019cb: ISZERO
000019cc: PUSH2 0x19d4
000019cf: JUMPI
000019d0: PUSH1 0x00
000019d2: DUP1
000019d3: REVERT
000019d4: JUMPDEST
000019d5: PUSH1 0x00
000019d7: PUSH1 0x0b
000019d9: PUSH1 0x00
000019db: PUSH2 0x0100
000019de: EXP
000019df: DUP2
000019e0: SLOAD
000019e1: DUP2
000019e2: PUSH1 0xff
000019e4: MUL
000019e5: NOT
000019e6: AND
000019e7: SWAP1
000019e8: DUP4
000019e9: ISZERO
000019ea: ISZERO
000019eb: MUL
000019ec: OR
000019ed: SWAP1
000019ee: SSTORE
000019ef: POP
000019f0: POP
000019f1: JUMP
000019f2: JUMPDEST
000019f3: PUSH1 0x00
000019f5: DUP1
000019f6: PUSH1 0x00
000019f8: DUP1
000019f9: PUSH1 0x00
000019fb: DUP1
000019fc: PUSH2 0x1a03
000019ff: PUSH2 0x1898
00001a02: JUMP
00001a03: JUMPDEST
00001a04: GT
00001a05: ISZERO
00001a06: ISZERO
00001a07: PUSH2 0x1a0f
00001a0a: JUMPI
00001a0b: PUSH1 0x00
00001a0d: DUP1
00001a0e: REVERT
00001a0f: JUMPDEST
00001a10: CALLER
00001a11: SWAP4
00001a12: POP
00001a13: PUSH1 0x0b
00001a15: PUSH1 0x00
00001a17: SWAP1
00001a18: SLOAD
00001a19: SWAP1
00001a1a: PUSH2 0x0100
00001a1d: EXP
00001a1e: SWAP1
00001a1f: DIV
00001a20: PUSH1 0xff
00001a22: AND
00001a23: ISZERO
00001a24: DUP1
00001a25: ISZERO
00001a26: PUSH2 0x1a6e
00001a29: JUMPI
00001a2a: POP
00001a2b: PUSH1 0x04
00001a2d: PUSH1 0x00
00001a2f: DUP6
00001a30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a45: AND
00001a46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5b: AND
00001a5c: DUP2
00001a5d: MSTORE
00001a5e: PUSH1 0x20
00001a60: ADD
00001a61: SWAP1
00001a62: DUP2
00001a63: MSTORE
00001a64: PUSH1 0x20
00001a66: ADD
00001a67: PUSH1 0x00
00001a69: KECCAK256
00001a6a: SLOAD
00001a6b: DUP7
00001a6c: GT
00001a6d: ISZERO
00001a6e: JUMPDEST
00001a6f: ISZERO
00001a70: ISZERO
00001a71: PUSH2 0x1a79
00001a74: JUMPI
00001a75: PUSH1 0x00
00001a77: DUP1
00001a78: REVERT
00001a79: JUMPDEST
00001a7a: PUSH1 0x00
00001a7c: PUSH2 0x1a85
00001a7f: PUSH1 0x01
00001a81: PUSH2 0x1611
00001a84: JUMP
00001a85: JUMPDEST
00001a86: GT
00001a87: ISZERO
00001a88: PUSH2 0x1a94
00001a8b: JUMPI
00001a8c: PUSH2 0x1a93
00001a8f: PUSH2 0x129e
00001a92: JUMP
00001a93: JUMPDEST
00001a94: JUMPDEST
00001a95: PUSH2 0x1aa2
00001a98: DUP7
00001a99: PUSH1 0x05
00001a9b: PUSH1 0xff
00001a9d: AND
00001a9e: PUSH2 0x22a5
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: SWAP3
00001aa4: POP
00001aa5: PUSH2 0x1aae
00001aa8: DUP7
00001aa9: DUP5
00001aaa: PUSH2 0x22c0
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: SWAP2
00001ab0: POP
00001ab1: PUSH2 0x1ab9
00001ab4: DUP4
00001ab5: PUSH2 0x2366
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: SWAP1
00001abb: POP
00001abc: PUSH2 0x1ac7
00001abf: PUSH1 0x08
00001ac1: SLOAD
00001ac2: DUP5
00001ac3: PUSH2 0x22c0
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: PUSH1 0x08
00001aca: DUP2
00001acb: SWAP1
00001acc: SSTORE
00001acd: POP
00001ace: PUSH2 0x1b16
00001ad1: PUSH1 0x04
00001ad3: PUSH1 0x00
00001ad5: DUP7
00001ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aeb: AND
00001aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b01: AND
00001b02: DUP2
00001b03: MSTORE
00001b04: PUSH1 0x20
00001b06: ADD
00001b07: SWAP1
00001b08: DUP2
00001b09: MSTORE
00001b0a: PUSH1 0x20
00001b0c: ADD
00001b0d: PUSH1 0x00
00001b0f: KECCAK256
00001b10: SLOAD
00001b11: DUP8
00001b12: PUSH2 0x22c0
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH1 0x04
00001b19: PUSH1 0x00
00001b1b: DUP7
00001b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b31: AND
00001b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b47: AND
00001b48: DUP2
00001b49: MSTORE
00001b4a: PUSH1 0x20
00001b4c: ADD
00001b4d: SWAP1
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x20
00001b52: ADD
00001b53: PUSH1 0x00
00001b55: KECCAK256
00001b56: DUP2
00001b57: SWAP1
00001b58: SSTORE
00001b59: POP
00001b5a: PUSH2 0x1ba2
00001b5d: PUSH1 0x04
00001b5f: PUSH1 0x00
00001b61: DUP10
00001b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b77: AND
00001b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8d: AND
00001b8e: DUP2
00001b8f: MSTORE
00001b90: PUSH1 0x20
00001b92: ADD
00001b93: SWAP1
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x20
00001b98: ADD
00001b99: PUSH1 0x00
00001b9b: KECCAK256
00001b9c: SLOAD
00001b9d: DUP4
00001b9e: PUSH2 0x2287
00001ba1: JUMP
00001ba2: JUMPDEST
00001ba3: PUSH1 0x04
00001ba5: PUSH1 0x00
00001ba7: DUP10
00001ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbd: AND
00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd3: AND
00001bd4: DUP2
00001bd5: MSTORE
00001bd6: PUSH1 0x20
00001bd8: ADD
00001bd9: SWAP1
00001bda: DUP2
00001bdb: MSTORE
00001bdc: PUSH1 0x20
00001bde: ADD
00001bdf: PUSH1 0x00
00001be1: KECCAK256
00001be2: DUP2
00001be3: SWAP1
00001be4: SSTORE
00001be5: POP
00001be6: DUP6
00001be7: PUSH1 0x09
00001be9: SLOAD
00001bea: MUL
00001beb: PUSH1 0x06
00001bed: PUSH1 0x00
00001bef: DUP7
00001bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c05: AND
00001c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1b: AND
00001c1c: DUP2
00001c1d: MSTORE
00001c1e: PUSH1 0x20
00001c20: ADD
00001c21: SWAP1
00001c22: DUP2
00001c23: MSTORE
00001c24: PUSH1 0x20
00001c26: ADD
00001c27: PUSH1 0x00
00001c29: KECCAK256
00001c2a: PUSH1 0x00
00001c2c: DUP3
00001c2d: DUP3
00001c2e: SLOAD
00001c2f: SUB
00001c30: SWAP3
00001c31: POP
00001c32: POP
00001c33: DUP2
00001c34: SWAP1
00001c35: SSTORE
00001c36: POP
00001c37: DUP2
00001c38: PUSH1 0x09
00001c3a: SLOAD
00001c3b: MUL
00001c3c: PUSH1 0x06
00001c3e: PUSH1 0x00
00001c40: DUP10
00001c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c56: AND
00001c57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6c: AND
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x20
00001c71: ADD
00001c72: SWAP1
00001c73: DUP2
00001c74: MSTORE
00001c75: PUSH1 0x20
00001c77: ADD
00001c78: PUSH1 0x00
00001c7a: KECCAK256
00001c7b: PUSH1 0x00
00001c7d: DUP3
00001c7e: DUP3
00001c7f: SLOAD
00001c80: ADD
00001c81: SWAP3
00001c82: POP
00001c83: POP
00001c84: DUP2
00001c85: SWAP1
00001c86: SSTORE
00001c87: POP
00001c88: PUSH2 0x1cab
00001c8b: PUSH1 0x09
00001c8d: SLOAD
00001c8e: PUSH1 0x08
00001c90: SLOAD
00001c91: PUSH9 0x010000000000000000
00001c9b: DUP5
00001c9c: MUL
00001c9d: DUP2
00001c9e: ISZERO
00001c9f: ISZERO
00001ca0: PUSH2 0x1ca5
00001ca3: JUMPI
00001ca4: INVALID
00001ca5: JUMPDEST
00001ca6: DIV
00001ca7: PUSH2 0x2287
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x09
00001cae: DUP2
00001caf: SWAP1
00001cb0: SSTORE
00001cb1: POP
00001cb2: DUP7
00001cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc8: AND
00001cc9: DUP5
00001cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cdf: AND
00001ce0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001d01: DUP5
00001d02: PUSH1 0x40
00001d04: MLOAD
00001d05: DUP1
00001d06: DUP3
00001d07: DUP2
00001d08: MSTORE
00001d09: PUSH1 0x20
00001d0b: ADD
00001d0c: SWAP2
00001d0d: POP
00001d0e: POP
00001d0f: PUSH1 0x40
00001d11: MLOAD
00001d12: DUP1
00001d13: SWAP2
00001d14: SUB
00001d15: SWAP1
00001d16: LOG3
00001d17: PUSH1 0x01
00001d19: SWAP5
00001d1a: POP
00001d1b: POP
00001d1c: POP
00001d1d: POP
00001d1e: POP
00001d1f: SWAP3
00001d20: SWAP2
00001d21: POP
00001d22: POP
00001d23: JUMP
00001d24: JUMPDEST
00001d25: PUSH1 0x00
00001d27: CALLER
00001d28: SWAP1
00001d29: POP
00001d2a: PUSH1 0x0a
00001d2c: PUSH1 0x00
00001d2e: DUP3
00001d2f: PUSH1 0x40
00001d31: MLOAD
00001d32: DUP1
00001d33: DUP3
00001d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d49: AND
00001d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5f: AND
00001d60: PUSH13 0x01000000000000000000000000
00001d6e: MUL
00001d6f: DUP2
00001d70: MSTORE
00001d71: PUSH1 0x14
00001d73: ADD
00001d74: SWAP2
00001d75: POP
00001d76: POP
00001d77: PUSH1 0x40
00001d79: MLOAD
00001d7a: DUP1
00001d7b: SWAP2
00001d7c: SUB
00001d7d: SWAP1
00001d7e: KECCAK256
00001d7f: PUSH1 0x00
00001d81: NOT
00001d82: AND
00001d83: PUSH1 0x00
00001d85: NOT
00001d86: AND
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: ADD
00001d8c: SWAP1
00001d8d: DUP2
00001d8e: MSTORE
00001d8f: PUSH1 0x20
00001d91: ADD
00001d92: PUSH1 0x00
00001d94: KECCAK256
00001d95: PUSH1 0x00
00001d97: SWAP1
00001d98: SLOAD
00001d99: SWAP1
00001d9a: PUSH2 0x0100
00001d9d: EXP
00001d9e: SWAP1
00001d9f: DIV
00001da0: PUSH1 0xff
00001da2: AND
00001da3: ISZERO
00001da4: ISZERO
00001da5: PUSH2 0x1dad
00001da8: JUMPI
00001da9: PUSH1 0x00
00001dab: DUP1
00001dac: REVERT
00001dad: JUMPDEST
00001dae: DUP2
00001daf: PUSH1 0x01
00001db1: SWAP1
00001db2: DUP1
00001db3: MLOAD
00001db4: SWAP1
00001db5: PUSH1 0x20
00001db7: ADD
00001db8: SWAP1
00001db9: PUSH2 0x1dc3
00001dbc: SWAP3
00001dbd: SWAP2
00001dbe: SWAP1
00001dbf: PUSH2 0x245c
00001dc2: JUMP
00001dc3: JUMPDEST
00001dc4: POP
00001dc5: POP
00001dc6: POP
00001dc7: JUMP
00001dc8: JUMPDEST
00001dc9: PUSH1 0x00
00001dcb: CALLER
00001dcc: SWAP1
00001dcd: POP
00001dce: PUSH1 0x0a
00001dd0: PUSH1 0x00
00001dd2: DUP3
00001dd3: PUSH1 0x40
00001dd5: MLOAD
00001dd6: DUP1
00001dd7: DUP3
00001dd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ded: AND
00001dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e03: AND
00001e04: PUSH13 0x01000000000000000000000000
00001e12: MUL
00001e13: DUP2
00001e14: MSTORE
00001e15: PUSH1 0x14
00001e17: ADD
00001e18: SWAP2
00001e19: POP
00001e1a: POP
00001e1b: PUSH1 0x40
00001e1d: MLOAD
00001e1e: DUP1
00001e1f: SWAP2
00001e20: SUB
00001e21: SWAP1
00001e22: KECCAK256
00001e23: PUSH1 0x00
00001e25: NOT
00001e26: AND
00001e27: PUSH1 0x00
00001e29: NOT
00001e2a: AND
00001e2b: DUP2
00001e2c: MSTORE
00001e2d: PUSH1 0x20
00001e2f: ADD
00001e30: SWAP1
00001e31: DUP2
00001e32: MSTORE
00001e33: PUSH1 0x20
00001e35: ADD
00001e36: PUSH1 0x00
00001e38: KECCAK256
00001e39: PUSH1 0x00
00001e3b: SWAP1
00001e3c: SLOAD
00001e3d: SWAP1
00001e3e: PUSH2 0x0100
00001e41: EXP
00001e42: SWAP1
00001e43: DIV
00001e44: PUSH1 0xff
00001e46: AND
00001e47: ISZERO
00001e48: ISZERO
00001e49: PUSH2 0x1e51
00001e4c: JUMPI
00001e4d: PUSH1 0x00
00001e4f: DUP1
00001e50: REVERT
00001e51: JUMPDEST
00001e52: DUP2
00001e53: PUSH1 0x00
00001e55: SWAP1
00001e56: DUP1
00001e57: MLOAD
00001e58: SWAP1
00001e59: PUSH1 0x20
00001e5b: ADD
00001e5c: SWAP1
00001e5d: PUSH2 0x1e67
00001e60: SWAP3
00001e61: SWAP2
00001e62: SWAP1
00001e63: PUSH2 0x245c
00001e66: JUMP
00001e67: JUMPDEST
00001e68: POP
00001e69: POP
00001e6a: POP
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x00
00001e6f: DUP1
00001e70: PUSH1 0x00
00001e72: DUP1
00001e73: PUSH1 0x00
00001e75: DUP1
00001e76: PUSH1 0x00
00001e78: PUSH2 0x1e7f
00001e7b: PUSH2 0x1898
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: GT
00001e81: ISZERO
00001e82: ISZERO
00001e83: PUSH2 0x1e8b
00001e86: JUMPI
00001e87: PUSH1 0x00
00001e89: DUP1
00001e8a: REVERT
00001e8b: JUMPDEST
00001e8c: CALLER
00001e8d: SWAP6
00001e8e: POP
00001e8f: PUSH1 0x04
00001e91: PUSH1 0x00
00001e93: DUP8
00001e94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea9: AND
00001eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebf: AND
00001ec0: DUP2
00001ec1: MSTORE
00001ec2: PUSH1 0x20
00001ec4: ADD
00001ec5: SWAP1
00001ec6: DUP2
00001ec7: MSTORE
00001ec8: PUSH1 0x20
00001eca: ADD
00001ecb: PUSH1 0x00
00001ecd: KECCAK256
00001ece: SLOAD
00001ecf: DUP8
00001ed0: GT
00001ed1: ISZERO
00001ed2: ISZERO
00001ed3: ISZERO
00001ed4: PUSH2 0x1edc
00001ed7: JUMPI
00001ed8: PUSH1 0x00
00001eda: DUP1
00001edb: REVERT
00001edc: JUMPDEST
00001edd: DUP7
00001ede: SWAP5
00001edf: POP
00001ee0: PUSH2 0x1ee8
00001ee3: DUP6
00001ee4: PUSH2 0x2366
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: SWAP4
00001eea: POP
00001eeb: PUSH2 0x1ef8
00001eee: DUP5
00001eef: PUSH1 0x05
00001ef1: PUSH1 0xff
00001ef3: AND
00001ef4: PUSH2 0x22a5
00001ef7: JUMP
00001ef8: JUMPDEST
00001ef9: SWAP3
00001efa: POP
00001efb: PUSH2 0x1f04
00001efe: DUP5
00001eff: DUP5
00001f00: PUSH2 0x22c0
00001f03: JUMP
00001f04: JUMPDEST
00001f05: SWAP2
00001f06: POP
00001f07: PUSH2 0x1f12
00001f0a: PUSH1 0x08
00001f0c: SLOAD
00001f0d: DUP7
00001f0e: PUSH2 0x22c0
00001f11: JUMP
00001f12: JUMPDEST
00001f13: PUSH1 0x08
00001f15: DUP2
00001f16: SWAP1
00001f17: SSTORE
00001f18: POP
00001f19: PUSH2 0x1f61
00001f1c: PUSH1 0x04
00001f1e: PUSH1 0x00
00001f20: DUP9
00001f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f36: AND
00001f37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4c: AND
00001f4d: DUP2
00001f4e: MSTORE
00001f4f: PUSH1 0x20
00001f51: ADD
00001f52: SWAP1
00001f53: DUP2
00001f54: MSTORE
00001f55: PUSH1 0x20
00001f57: ADD
00001f58: PUSH1 0x00
00001f5a: KECCAK256
00001f5b: SLOAD
00001f5c: DUP7
00001f5d: PUSH2 0x22c0
00001f60: JUMP
00001f61: JUMPDEST
00001f62: PUSH1 0x04
00001f64: PUSH1 0x00
00001f66: DUP9
00001f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7c: AND
00001f7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f92: AND
00001f93: DUP2
00001f94: MSTORE
00001f95: PUSH1 0x20
00001f97: ADD
00001f98: SWAP1
00001f99: DUP2
00001f9a: MSTORE
00001f9b: PUSH1 0x20
00001f9d: ADD
00001f9e: PUSH1 0x00
00001fa0: KECCAK256
00001fa1: DUP2
00001fa2: SWAP1
00001fa3: SSTORE
00001fa4: POP
00001fa5: PUSH9 0x010000000000000000
00001faf: DUP3
00001fb0: MUL
00001fb1: DUP6
00001fb2: PUSH1 0x09
00001fb4: SLOAD
00001fb5: MUL
00001fb6: ADD
00001fb7: SWAP1
00001fb8: POP
00001fb9: DUP1
00001fba: PUSH1 0x06
00001fbc: PUSH1 0x00
00001fbe: DUP9
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: AND
00001fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fea: AND
00001feb: DUP2
00001fec: MSTORE
00001fed: PUSH1 0x20
00001fef: ADD
00001ff0: SWAP1
00001ff1: DUP2
00001ff2: MSTORE
00001ff3: PUSH1 0x20
00001ff5: ADD
00001ff6: PUSH1 0x00
00001ff8: KECCAK256
00001ff9: PUSH1 0x00
00001ffb: DUP3
00001ffc: DUP3
00001ffd: SLOAD
00001ffe: SUB
00001fff: SWAP3
00002000: POP
00002001: POP
00002002: DUP2
00002003: SWAP1
00002004: SSTORE
00002005: POP
00002006: PUSH1 0x00
00002008: PUSH1 0x08
0000200a: SLOAD
0000200b: GT
0000200c: ISZERO
0000200d: PUSH2 0x203b
00002010: JUMPI
00002011: PUSH2 0x2034
00002014: PUSH1 0x09
00002016: SLOAD
00002017: PUSH1 0x08
00002019: SLOAD
0000201a: PUSH9 0x010000000000000000
00002024: DUP7
00002025: MUL
00002026: DUP2
00002027: ISZERO
00002028: ISZERO
00002029: PUSH2 0x202e
0000202c: JUMPI
0000202d: INVALID
0000202e: JUMPDEST
0000202f: DIV
00002030: PUSH2 0x2287
00002033: JUMP
00002034: JUMPDEST
00002035: PUSH1 0x09
00002037: DUP2
00002038: SWAP1
00002039: SSTORE
0000203a: POP
0000203b: JUMPDEST
0000203c: DUP6
0000203d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002052: AND
00002053: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00002074: DUP7
00002075: DUP5
00002076: PUSH1 0x40
00002078: MLOAD
00002079: DUP1
0000207a: DUP4
0000207b: DUP2
0000207c: MSTORE
0000207d: PUSH1 0x20
0000207f: ADD
00002080: DUP3
00002081: DUP2
00002082: MSTORE
00002083: PUSH1 0x20
00002085: ADD
00002086: SWAP3
00002087: POP
00002088: POP
00002089: POP
0000208a: PUSH1 0x40
0000208c: MLOAD
0000208d: DUP1
0000208e: SWAP2
0000208f: SUB
00002090: SWAP1
00002091: LOG2
00002092: POP
00002093: POP
00002094: POP
00002095: POP
00002096: POP
00002097: POP
00002098: POP
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x00
0000209d: DUP1
0000209e: CALLER
0000209f: SWAP2
000020a0: POP
000020a1: PUSH1 0x04
000020a3: PUSH1 0x00
000020a5: DUP4
000020a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020bb: AND
000020bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d1: AND
000020d2: DUP2
000020d3: MSTORE
000020d4: PUSH1 0x20
000020d6: ADD
000020d7: SWAP1
000020d8: DUP2
000020d9: MSTORE
000020da: PUSH1 0x20
000020dc: ADD
000020dd: PUSH1 0x00
000020df: KECCAK256
000020e0: SLOAD
000020e1: SWAP1
000020e2: POP
000020e3: PUSH1 0x00
000020e5: DUP2
000020e6: GT
000020e7: ISZERO
000020e8: PUSH2 0x20f5
000020eb: JUMPI
000020ec: PUSH2 0x20f4
000020ef: DUP2
000020f0: PUSH2 0x1e6c
000020f3: JUMP
000020f4: JUMPDEST
000020f5: JUMPDEST
000020f6: PUSH2 0x20fd
000020f9: PUSH2 0x129e
000020fc: JUMP
000020fd: JUMPDEST
000020fe: POP
000020ff: POP
00002100: JUMP
00002101: JUMPDEST
00002102: PUSH1 0x00
00002104: PUSH2 0x210d
00002107: CALLVALUE
00002108: DUP4
00002109: PUSH2 0x079c
0000210c: JUMP
0000210d: JUMPDEST
0000210e: POP
0000210f: SWAP2
00002110: SWAP1
00002111: POP
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x00
00002116: DUP1
00002117: PUSH1 0x00
00002119: DUP1
0000211a: PUSH2 0x2123
0000211d: PUSH1 0x01
0000211f: PUSH2 0x1611
00002122: JUMP
00002123: JUMPDEST
00002124: GT
00002125: ISZERO
00002126: ISZERO
00002127: PUSH2 0x212f
0000212a: JUMPI
0000212b: PUSH1 0x00
0000212d: DUP1
0000212e: REVERT
0000212f: JUMPDEST
00002130: PUSH2 0x2139
00002133: PUSH1 0x00
00002135: PUSH2 0x1611
00002138: JUMP
00002139: JUMPDEST
0000213a: SWAP3
0000213b: POP
0000213c: CALLER
0000213d: SWAP2
0000213e: POP
0000213f: PUSH9 0x010000000000000000
00002149: DUP4
0000214a: MUL
0000214b: PUSH1 0x06
0000214d: PUSH1 0x00
0000214f: DUP5
00002150: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002165: AND
00002166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217b: AND
0000217c: DUP2
0000217d: MSTORE
0000217e: PUSH1 0x20
00002180: ADD
00002181: SWAP1
00002182: DUP2
00002183: MSTORE
00002184: PUSH1 0x20
00002186: ADD
00002187: PUSH1 0x00
00002189: KECCAK256
0000218a: PUSH1 0x00
0000218c: DUP3
0000218d: DUP3
0000218e: SLOAD
0000218f: ADD
00002190: SWAP3
00002191: POP
00002192: POP
00002193: DUP2
00002194: SWAP1
00002195: SSTORE
00002196: POP
00002197: PUSH1 0x05
00002199: PUSH1 0x00
0000219b: DUP4
0000219c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b1: AND
000021b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c7: AND
000021c8: DUP2
000021c9: MSTORE
000021ca: PUSH1 0x20
000021cc: ADD
000021cd: SWAP1
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x20
000021d2: ADD
000021d3: PUSH1 0x00
000021d5: KECCAK256
000021d6: SLOAD
000021d7: DUP4
000021d8: ADD
000021d9: SWAP3
000021da: POP
000021db: PUSH1 0x00
000021dd: PUSH1 0x05
000021df: PUSH1 0x00
000021e1: DUP5
000021e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f7: AND
000021f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220d: AND
0000220e: DUP2
0000220f: MSTORE
00002210: PUSH1 0x20
00002212: ADD
00002213: SWAP1
00002214: DUP2
00002215: MSTORE
00002216: PUSH1 0x20
00002218: ADD
00002219: PUSH1 0x00
0000221b: KECCAK256
0000221c: DUP2
0000221d: SWAP1
0000221e: SSTORE
0000221f: POP
00002220: PUSH2 0x222a
00002223: DUP4
00002224: PUSH1 0x00
00002226: PUSH2 0x079c
00002229: JUMP
0000222a: JUMPDEST
0000222b: SWAP1
0000222c: POP
0000222d: DUP2
0000222e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002243: AND
00002244: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002265: DUP5
00002266: DUP4
00002267: PUSH1 0x40
00002269: MLOAD
0000226a: DUP1
0000226b: DUP4
0000226c: DUP2
0000226d: MSTORE
0000226e: PUSH1 0x20
00002270: ADD
00002271: DUP3
00002272: DUP2
00002273: MSTORE
00002274: PUSH1 0x20
00002276: ADD
00002277: SWAP3
00002278: POP
00002279: POP
0000227a: POP
0000227b: PUSH1 0x40
0000227d: MLOAD
0000227e: DUP1
0000227f: SWAP2
00002280: SUB
00002281: SWAP1
00002282: LOG2
00002283: POP
00002284: POP
00002285: POP
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x00
0000228a: DUP1
0000228b: DUP3
0000228c: DUP5
0000228d: ADD
0000228e: SWAP1
0000228f: POP
00002290: DUP4
00002291: DUP2
00002292: LT
00002293: ISZERO
00002294: ISZERO
00002295: ISZERO
00002296: PUSH2 0x229b
00002299: JUMPI
0000229a: INVALID
0000229b: JUMPDEST
0000229c: DUP1
0000229d: SWAP2
0000229e: POP
0000229f: POP
000022a0: SWAP3
000022a1: SWAP2
000022a2: POP
000022a3: POP
000022a4: JUMP
000022a5: JUMPDEST
000022a6: PUSH1 0x00
000022a8: DUP1
000022a9: DUP3
000022aa: DUP5
000022ab: DUP2
000022ac: ISZERO
000022ad: ISZERO
000022ae: PUSH2 0x22b3
000022b1: JUMPI
000022b2: INVALID
000022b3: JUMPDEST
000022b4: DIV
000022b5: SWAP1
000022b6: POP
000022b7: DUP1
000022b8: SWAP2
000022b9: POP
000022ba: POP
000022bb: SWAP3
000022bc: SWAP2
000022bd: POP
000022be: POP
000022bf: JUMP
000022c0: JUMPDEST
000022c1: PUSH1 0x00
000022c3: DUP3
000022c4: DUP3
000022c5: GT
000022c6: ISZERO
000022c7: ISZERO
000022c8: ISZERO
000022c9: PUSH2 0x22ce
000022cc: JUMPI
000022cd: INVALID
000022ce: JUMPDEST
000022cf: DUP2
000022d0: DUP4
000022d1: SUB
000022d2: SWAP1
000022d3: POP
000022d4: SWAP3
000022d5: SWAP2
000022d6: POP
000022d7: POP
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH1 0x00
000022dc: DUP1
000022dd: PUSH1 0x00
000022df: PUSH8 0x0de0b6b3a7640000
000022e8: PUSH5 0x174876e800
000022ee: MUL
000022ef: SWAP2
000022f0: POP
000022f1: PUSH1 0x08
000022f3: SLOAD
000022f4: PUSH5 0x02540be400
000022fa: PUSH2 0x234f
000022fd: PUSH2 0x2349
00002300: PUSH1 0x08
00002302: SLOAD
00002303: DUP7
00002304: PUSH5 0x02540be400
0000230a: PUSH1 0x02
0000230c: MUL
0000230d: MUL
0000230e: MUL
0000230f: PUSH1 0x02
00002311: PUSH1 0x08
00002313: SLOAD
00002314: EXP
00002315: PUSH1 0x02
00002317: PUSH5 0x02540be400
0000231d: EXP
0000231e: MUL
0000231f: PUSH8 0x0de0b6b3a7640000
00002328: DUP11
00002329: MUL
0000232a: PUSH8 0x0de0b6b3a7640000
00002333: PUSH5 0x02540be400
00002339: MUL
0000233a: PUSH1 0x02
0000233c: MUL
0000233d: MUL
0000233e: PUSH1 0x02
00002340: DUP10
00002341: EXP
00002342: ADD
00002343: ADD
00002344: ADD
00002345: PUSH2 0x2411
00002348: JUMP
00002349: JUMPDEST
0000234a: DUP6
0000234b: PUSH2 0x22c0
0000234e: JUMP
0000234f: JUMPDEST
00002350: DUP2
00002351: ISZERO
00002352: ISZERO
00002353: PUSH2 0x2358
00002356: JUMPI
00002357: INVALID
00002358: JUMPDEST
00002359: DIV
0000235a: SUB
0000235b: SWAP1
0000235c: POP
0000235d: DUP1
0000235e: SWAP3
0000235f: POP
00002360: POP
00002361: POP
00002362: SWAP2
00002363: SWAP1
00002364: POP
00002365: JUMP
00002366: JUMPDEST
00002367: PUSH1 0x00
00002369: DUP1
0000236a: PUSH1 0x00
0000236c: DUP1
0000236d: PUSH8 0x0de0b6b3a7640000
00002376: DUP6
00002377: ADD
00002378: SWAP3
00002379: POP
0000237a: PUSH8 0x0de0b6b3a7640000
00002383: PUSH1 0x08
00002385: SLOAD
00002386: ADD
00002387: SWAP2
00002388: POP
00002389: PUSH8 0x0de0b6b3a7640000
00002392: PUSH2 0x23fa
00002395: PUSH8 0x0de0b6b3a7640000
0000239e: DUP6
0000239f: SUB
000023a0: PUSH5 0x02540be400
000023a6: PUSH8 0x0de0b6b3a7640000
000023af: DUP7
000023b0: DUP2
000023b1: ISZERO
000023b2: ISZERO
000023b3: PUSH2 0x23b8
000023b6: JUMPI
000023b7: INVALID
000023b8: JUMPDEST
000023b9: DIV
000023ba: PUSH5 0x02540be400
000023c0: MUL
000023c1: PUSH5 0x174876e800
000023c7: ADD
000023c8: SUB
000023c9: MUL
000023ca: PUSH1 0x02
000023cc: PUSH8 0x0de0b6b3a7640000
000023d5: DUP8
000023d6: PUSH1 0x02
000023d8: DUP10
000023d9: EXP
000023da: SUB
000023db: DUP2
000023dc: ISZERO
000023dd: ISZERO
000023de: PUSH2 0x23e3
000023e1: JUMPI
000023e2: INVALID
000023e3: JUMPDEST
000023e4: DIV
000023e5: PUSH5 0x02540be400
000023eb: MUL
000023ec: DUP2
000023ed: ISZERO
000023ee: ISZERO
000023ef: PUSH2 0x23f4
000023f2: JUMPI
000023f3: INVALID
000023f4: JUMPDEST
000023f5: DIV
000023f6: PUSH2 0x22c0
000023f9: JUMP
000023fa: JUMPDEST
000023fb: DUP2
000023fc: ISZERO
000023fd: ISZERO
000023fe: PUSH2 0x2403
00002401: JUMPI
00002402: INVALID
00002403: JUMPDEST
00002404: DIV
00002405: SWAP1
00002406: POP
00002407: DUP1
00002408: SWAP4
00002409: POP
0000240a: POP
0000240b: POP
0000240c: POP
0000240d: SWAP2
0000240e: SWAP1
0000240f: POP
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x00
00002414: DUP1
00002415: PUSH1 0x02
00002417: PUSH1 0x01
00002419: DUP5
0000241a: ADD
0000241b: DUP2
0000241c: ISZERO
0000241d: ISZERO
0000241e: PUSH2 0x2423
00002421: JUMPI
00002422: INVALID
00002423: JUMPDEST
00002424: DIV
00002425: SWAP1
00002426: POP
00002427: DUP3
00002428: SWAP2
00002429: POP
0000242a: JUMPDEST
0000242b: DUP2
0000242c: DUP2
0000242d: LT
0000242e: ISZERO
0000242f: PUSH2 0x2456
00002432: JUMPI
00002433: DUP1
00002434: SWAP2
00002435: POP
00002436: PUSH1 0x02
00002438: DUP2
00002439: DUP3
0000243a: DUP6
0000243b: DUP2
0000243c: ISZERO
0000243d: ISZERO
0000243e: PUSH2 0x2443
00002441: JUMPI
00002442: INVALID
00002443: JUMPDEST
00002444: DIV
00002445: ADD
00002446: DUP2
00002447: ISZERO
00002448: ISZERO
00002449: PUSH2 0x244e
0000244c: JUMPI
0000244d: INVALID
0000244e: JUMPDEST
0000244f: DIV
00002450: SWAP1
00002451: POP
00002452: PUSH2 0x242a
00002455: JUMP
00002456: JUMPDEST
00002457: POP
00002458: SWAP2
00002459: SWAP1
0000245a: POP
0000245b: JUMP
0000245c: JUMPDEST
0000245d: DUP3
0000245e: DUP1
0000245f: SLOAD
00002460: PUSH1 0x01
00002462: DUP2
00002463: PUSH1 0x01
00002465: AND
00002466: ISZERO
00002467: PUSH2 0x0100
0000246a: MUL
0000246b: SUB
0000246c: AND
0000246d: PUSH1 0x02
0000246f: SWAP1
00002470: DIV
00002471: SWAP1
00002472: PUSH1 0x00
00002474: MSTORE
00002475: PUSH1 0x20
00002477: PUSH1 0x00
00002479: KECCAK256
0000247a: SWAP1
0000247b: PUSH1 0x1f
0000247d: ADD
0000247e: PUSH1 0x20
00002480: SWAP1
00002481: DIV
00002482: DUP2
00002483: ADD
00002484: SWAP3
00002485: DUP3
00002486: PUSH1 0x1f
00002488: LT
00002489: PUSH2 0x249d
0000248c: JUMPI
0000248d: DUP1
0000248e: MLOAD
0000248f: PUSH1 0xff
00002491: NOT
00002492: AND
00002493: DUP4
00002494: DUP1
00002495: ADD
00002496: OR
00002497: DUP6
00002498: SSTORE
00002499: PUSH2 0x24cb
0000249c: JUMP
0000249d: JUMPDEST
0000249e: DUP3
0000249f: DUP1
000024a0: ADD
000024a1: PUSH1 0x01
000024a3: ADD
000024a4: DUP6
000024a5: SSTORE
000024a6: DUP3
000024a7: ISZERO
000024a8: PUSH2 0x24cb
000024ab: JUMPI
000024ac: SWAP2
000024ad: DUP3
000024ae: ADD
000024af: JUMPDEST
000024b0: DUP3
000024b1: DUP2
000024b2: GT
000024b3: ISZERO
000024b4: PUSH2 0x24ca
000024b7: JUMPI
000024b8: DUP3
000024b9: MLOAD
000024ba: DUP3
000024bb: SSTORE
000024bc: SWAP2
000024bd: PUSH1 0x20
000024bf: ADD
000024c0: SWAP2
000024c1: SWAP1
000024c2: PUSH1 0x01
000024c4: ADD
000024c5: SWAP1
000024c6: PUSH2 0x24af
000024c9: JUMP
000024ca: JUMPDEST
000024cb: JUMPDEST
000024cc: POP
000024cd: SWAP1
000024ce: POP
000024cf: PUSH2 0x24d8
000024d2: SWAP2
000024d3: SWAP1
000024d4: PUSH2 0x24dc
000024d7: JUMP
000024d8: JUMPDEST
000024d9: POP
000024da: SWAP1
000024db: JUMP
000024dc: JUMPDEST
000024dd: PUSH2 0x24fe
000024e0: SWAP2
000024e1: SWAP1
000024e2: JUMPDEST
000024e3: DUP1
000024e4: DUP3
000024e5: GT
000024e6: ISZERO
000024e7: PUSH2 0x24fa
000024ea: JUMPI
000024eb: PUSH1 0x00
000024ed: DUP2
000024ee: PUSH1 0x00
000024f0: SWAP1
000024f1: SSTORE
000024f2: POP
000024f3: PUSH1 0x01
000024f5: ADD
000024f6: PUSH2 0x24e2
000024f9: JUMP
000024fa: JUMPDEST
000024fb: POP
000024fc: SWAP1
000024fd: JUMP
000024fe: JUMPDEST
000024ff: SWAP1
00002500: JUMP
00002501: STOP
00002502: LOG1
00002503: PUSH6 0x627a7a723058
0000250a: KECCAK256
0000250b: UNKNOWN(0x27)
0000250c: LOG2
0000250d: PUSH17 0xf603bba625dd9875c8f8bfa059ba420ccc
0000251f: PUSH12 0x033449883b77d6bdefd2da00
0000252c: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x1691c67b392b87f96b70228f3615112398fccdc864e8d61bae55dcfb8aedfbec
call_targets: 0xabefec93451a2cd5d864ff7b0b1604dfc60e9688
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1691c67b392b87f96b70228f3615112398fccdc864e8d61bae55dcfb8aedfbec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xabefec93451a2cd5d864ff7b0b1604dfc60e9688"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27defa1f",
            "selector": "0x27defa1f",
            "calldata_variants": [
                "0x27defa1f",
                "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x392efb52",
            "selector": "0x392efb52",
            "calldata_variants": [
                "0x392efb52",
                "0x392efb520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5081,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x1691c67b392b87f96b70228f3615112398fccdc864e8d61bae55dcfb8aedfbec
call_targets: 0xabefec93451a2cd5d864ff7b0b1604dfc60e9688
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1691c67b392b87f96b70228f3615112398fccdc864e8d61bae55dcfb8aedfbec",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xabefec93451a2cd5d864ff7b0b1604dfc60e9688"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27defa1f",
            "selector": "0x27defa1f",
            "calldata_variants": [
                "0x27defa1f",
                "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x392efb52",
            "selector": "0x392efb52",
            "calldata_variants": [
                "0x392efb52",
                "0x392efb520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5081,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}