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

Analysis Run

019b477e-ae8b-7030-8cf5-89e7ab41269c

complete
Chain ID
1
Address
0xa52c8371d379d7036a862673b08bd73faf4660fd
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
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
2
Validated
2
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
21607 artifact.fetch complete 1 / 3 3 months ago
21608 tool.cast_disasm complete 1 / 3 3 months ago
65038 analysis.bundle complete 1 / 3 1 week ago
65039 capability.graph complete 1 / 3 1 week ago
65040 detector.run complete 1 / 3 1 week ago
65041 validation.fork complete 1 / 3 1 week ago
113486 report.consolidate complete 1 / 6 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 / 6
Findings
0
No findings?
—
View stderr 
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-fxevwyyf
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c95-6c17-7a83-bf6a-0fbaa36604c6
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
Metadata 
{
    "codex": {
        "ran_at": "2026-04-05T07:39:51.320737+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
13
Total opcodes
5241
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x05fefda7
0000003c: EQ
0000003d: PUSH2 0x01cc
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x06fdde03
00000047: EQ
00000048: PUSH2 0x0203
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x095ea7b3
00000052: EQ
00000053: PUSH2 0x0293
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x1573e8a5
0000005d: EQ
0000005e: PUSH2 0x02f8
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x18160ddd
00000068: EQ
00000069: PUSH2 0x0381
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x23b872dd
00000073: EQ
00000074: PUSH2 0x03ac
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x282b065a
0000007e: EQ
0000007f: PUSH2 0x0431
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x2e1a7d4d
00000089: EQ
0000008a: PUSH2 0x04b2
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x313ce567
00000094: EQ
00000095: PUSH2 0x04df
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x4b750334
0000009f: EQ
000000a0: PUSH2 0x0510
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x5c4fb1c5
000000aa: EQ
000000ab: PUSH2 0x053b
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x60659a92
000000b5: EQ
000000b6: PUSH2 0x0592
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x66d16cc3
000000c0: EQ
000000c1: PUSH2 0x05bd
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x70a08231
000000cb: EQ
000000cc: PUSH2 0x05e8
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x773c5049
000000d6: EQ
000000d7: PUSH2 0x063f
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x79c65068
000000e1: EQ
000000e2: PUSH2 0x066a
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x7ef5b6ea
000000ec: EQ
000000ed: PUSH2 0x06b7
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x814b3fe0
000000f7: EQ
000000f8: PUSH2 0x06e4
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x8620410b
00000102: EQ
00000103: PUSH2 0x0725
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x8da5cb5b
0000010d: EQ
0000010e: PUSH2 0x0750
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x95d89b41
00000118: EQ
00000119: PUSH2 0x07a7
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x9fb52b6e
00000123: EQ
00000124: PUSH2 0x0837
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xa6f2ae3a
0000012e: EQ
0000012f: PUSH2 0x087c
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xa9059cbb
00000139: EQ
0000013a: PUSH2 0x0886
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xb3c2eac1
00000144: EQ
00000145: PUSH2 0x08d3
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xb414d4b6
0000014f: EQ
00000150: PUSH2 0x090e
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xba83c970
0000015a: EQ
0000015b: PUSH2 0x0969
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xc6ab5cdc
00000165: EQ
00000166: PUSH2 0x0998
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xcb2da07c
00000170: EQ
00000171: PUSH2 0x09c7
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xcca00971
0000017b: EQ
0000017c: PUSH2 0x0a83
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xd0e30db0
00000186: EQ
00000187: PUSH2 0x0ae4
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xdd62ed3e
00000191: EQ
00000192: PUSH2 0x0b06
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xe4849b32
0000019c: EQ
0000019d: PUSH2 0x0b7d
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0xe724529c
000001a7: EQ
000001a8: PUSH2 0x0baa
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0xf2fde38b
000001b2: EQ
000001b3: PUSH2 0x0bf9
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0xfaad4a49
000001bd: EQ
000001be: PUSH2 0x0c3c
000001c1: JUMPI
000001c2: JUMPDEST
000001c3: PUSH2 0x01ca
000001c6: PUSH2 0x0c8b
000001c9: JUMP
000001ca: JUMPDEST
000001cb: STOP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: DUP1
000001cf: ISZERO
000001d0: PUSH2 0x01d8
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: POP
000001da: PUSH2 0x0201
000001dd: PUSH1 0x04
000001df: DUP1
000001e0: CALLDATASIZE
000001e1: SUB
000001e2: DUP2
000001e3: ADD
000001e4: SWAP1
000001e5: DUP1
000001e6: DUP1
000001e7: CALLDATALOAD
000001e8: SWAP1
000001e9: PUSH1 0x20
000001eb: ADD
000001ec: SWAP1
000001ed: SWAP3
000001ee: SWAP2
000001ef: SWAP1
000001f0: DUP1
000001f1: CALLDATALOAD
000001f2: SWAP1
000001f3: PUSH1 0x20
000001f5: ADD
000001f6: SWAP1
000001f7: SWAP3
000001f8: SWAP2
000001f9: SWAP1
000001fa: POP
000001fb: POP
000001fc: POP
000001fd: PUSH2 0x0e17
00000200: JUMP
00000201: JUMPDEST
00000202: STOP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0218
00000214: PUSH2 0x0e84
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: DUP1
0000021d: DUP1
0000021e: PUSH1 0x20
00000220: ADD
00000221: DUP3
00000222: DUP2
00000223: SUB
00000224: DUP3
00000225: MSTORE
00000226: DUP4
00000227: DUP2
00000228: DUP2
00000229: MLOAD
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: SWAP2
00000230: POP
00000231: DUP1
00000232: MLOAD
00000233: SWAP1
00000234: PUSH1 0x20
00000236: ADD
00000237: SWAP1
00000238: DUP1
00000239: DUP4
0000023a: DUP4
0000023b: PUSH1 0x00
0000023d: JUMPDEST
0000023e: DUP4
0000023f: DUP2
00000240: LT
00000241: ISZERO
00000242: PUSH2 0x0258
00000245: JUMPI
00000246: DUP1
00000247: DUP3
00000248: ADD
00000249: MLOAD
0000024a: DUP2
0000024b: DUP5
0000024c: ADD
0000024d: MSTORE
0000024e: PUSH1 0x20
00000250: DUP2
00000251: ADD
00000252: SWAP1
00000253: POP
00000254: PUSH2 0x023d
00000257: JUMP
00000258: JUMPDEST
00000259: POP
0000025a: POP
0000025b: POP
0000025c: POP
0000025d: SWAP1
0000025e: POP
0000025f: SWAP1
00000260: DUP2
00000261: ADD
00000262: SWAP1
00000263: PUSH1 0x1f
00000265: AND
00000266: DUP1
00000267: ISZERO
00000268: PUSH2 0x0285
0000026b: JUMPI
0000026c: DUP1
0000026d: DUP3
0000026e: SUB
0000026f: DUP1
00000270: MLOAD
00000271: PUSH1 0x01
00000273: DUP4
00000274: PUSH1 0x20
00000276: SUB
00000277: PUSH2 0x0100
0000027a: EXP
0000027b: SUB
0000027c: NOT
0000027d: AND
0000027e: DUP2
0000027f: MSTORE
00000280: PUSH1 0x20
00000282: ADD
00000283: SWAP2
00000284: POP
00000285: JUMPDEST
00000286: POP
00000287: SWAP3
00000288: POP
00000289: POP
0000028a: POP
0000028b: PUSH1 0x40
0000028d: MLOAD
0000028e: DUP1
0000028f: SWAP2
00000290: SUB
00000291: SWAP1
00000292: RETURN
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02de
000002a4: PUSH1 0x04
000002a6: DUP1
000002a7: CALLDATASIZE
000002a8: SUB
000002a9: DUP2
000002aa: ADD
000002ab: SWAP1
000002ac: DUP1
000002ad: DUP1
000002ae: CALLDATALOAD
000002af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c4: AND
000002c5: SWAP1
000002c6: PUSH1 0x20
000002c8: ADD
000002c9: SWAP1
000002ca: SWAP3
000002cb: SWAP2
000002cc: SWAP1
000002cd: DUP1
000002ce: CALLDATALOAD
000002cf: SWAP1
000002d0: PUSH1 0x20
000002d2: ADD
000002d3: SWAP1
000002d4: SWAP3
000002d5: SWAP2
000002d6: SWAP1
000002d7: POP
000002d8: POP
000002d9: POP
000002da: PUSH2 0x0f22
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: DUP3
000002e4: ISZERO
000002e5: ISZERO
000002e6: ISZERO
000002e7: ISZERO
000002e8: DUP2
000002e9: MSTORE
000002ea: PUSH1 0x20
000002ec: ADD
000002ed: SWAP2
000002ee: POP
000002ef: POP
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: DUP1
000002f4: SWAP2
000002f5: SUB
000002f6: SWAP1
000002f7: RETURN
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH2 0x037f
00000309: PUSH1 0x04
0000030b: DUP1
0000030c: CALLDATASIZE
0000030d: SUB
0000030e: DUP2
0000030f: ADD
00000310: SWAP1
00000311: DUP1
00000312: DUP1
00000313: CALLDATALOAD
00000314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000329: AND
0000032a: SWAP1
0000032b: PUSH1 0x20
0000032d: ADD
0000032e: SWAP1
0000032f: SWAP3
00000330: SWAP2
00000331: SWAP1
00000332: DUP1
00000333: CALLDATALOAD
00000334: SWAP1
00000335: PUSH1 0x20
00000337: ADD
00000338: SWAP1
00000339: DUP3
0000033a: ADD
0000033b: DUP1
0000033c: CALLDATALOAD
0000033d: SWAP1
0000033e: PUSH1 0x20
00000340: ADD
00000341: SWAP1
00000342: DUP1
00000343: DUP1
00000344: PUSH1 0x1f
00000346: ADD
00000347: PUSH1 0x20
00000349: DUP1
0000034a: SWAP2
0000034b: DIV
0000034c: MUL
0000034d: PUSH1 0x20
0000034f: ADD
00000350: PUSH1 0x40
00000352: MLOAD
00000353: SWAP1
00000354: DUP2
00000355: ADD
00000356: PUSH1 0x40
00000358: MSTORE
00000359: DUP1
0000035a: SWAP4
0000035b: SWAP3
0000035c: SWAP2
0000035d: SWAP1
0000035e: DUP2
0000035f: DUP2
00000360: MSTORE
00000361: PUSH1 0x20
00000363: ADD
00000364: DUP4
00000365: DUP4
00000366: DUP1
00000367: DUP3
00000368: DUP5
00000369: CALLDATACOPY
0000036a: DUP3
0000036b: ADD
0000036c: SWAP2
0000036d: POP
0000036e: POP
0000036f: POP
00000370: POP
00000371: POP
00000372: POP
00000373: SWAP2
00000374: SWAP3
00000375: SWAP2
00000376: SWAP3
00000377: SWAP1
00000378: POP
00000379: POP
0000037a: POP
0000037b: PUSH2 0x0faf
0000037e: JUMP
0000037f: JUMPDEST
00000380: STOP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x0396
00000392: PUSH2 0x10b0
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x40
00000399: MLOAD
0000039a: DUP1
0000039b: DUP3
0000039c: DUP2
0000039d: MSTORE
0000039e: PUSH1 0x20
000003a0: ADD
000003a1: SWAP2
000003a2: POP
000003a3: POP
000003a4: PUSH1 0x40
000003a6: MLOAD
000003a7: DUP1
000003a8: SWAP2
000003a9: SUB
000003aa: SWAP1
000003ab: RETURN
000003ac: JUMPDEST
000003ad: CALLVALUE
000003ae: DUP1
000003af: ISZERO
000003b0: PUSH2 0x03b8
000003b3: JUMPI
000003b4: PUSH1 0x00
000003b6: DUP1
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: PUSH2 0x0417
000003bd: PUSH1 0x04
000003bf: DUP1
000003c0: CALLDATASIZE
000003c1: SUB
000003c2: DUP2
000003c3: ADD
000003c4: SWAP1
000003c5: DUP1
000003c6: DUP1
000003c7: CALLDATALOAD
000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003dd: AND
000003de: SWAP1
000003df: PUSH1 0x20
000003e1: ADD
000003e2: SWAP1
000003e3: SWAP3
000003e4: SWAP2
000003e5: SWAP1
000003e6: DUP1
000003e7: CALLDATALOAD
000003e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fd: AND
000003fe: SWAP1
000003ff: PUSH1 0x20
00000401: ADD
00000402: SWAP1
00000403: SWAP3
00000404: SWAP2
00000405: SWAP1
00000406: DUP1
00000407: CALLDATALOAD
00000408: SWAP1
00000409: PUSH1 0x20
0000040b: ADD
0000040c: SWAP1
0000040d: SWAP3
0000040e: SWAP2
0000040f: SWAP1
00000410: POP
00000411: POP
00000412: POP
00000413: PUSH2 0x10b6
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: DUP1
0000041c: DUP3
0000041d: ISZERO
0000041e: ISZERO
0000041f: ISZERO
00000420: ISZERO
00000421: DUP2
00000422: MSTORE
00000423: PUSH1 0x20
00000425: ADD
00000426: SWAP2
00000427: POP
00000428: POP
00000429: PUSH1 0x40
0000042b: MLOAD
0000042c: DUP1
0000042d: SWAP2
0000042e: SUB
0000042f: SWAP1
00000430: RETURN
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: POP
0000043f: PUSH2 0x0498
00000442: PUSH1 0x04
00000444: DUP1
00000445: CALLDATASIZE
00000446: SUB
00000447: DUP2
00000448: ADD
00000449: SWAP1
0000044a: DUP1
0000044b: DUP1
0000044c: CALLDATALOAD
0000044d: SWAP1
0000044e: PUSH1 0x20
00000450: ADD
00000451: SWAP1
00000452: DUP3
00000453: ADD
00000454: DUP1
00000455: CALLDATALOAD
00000456: SWAP1
00000457: PUSH1 0x20
00000459: ADD
0000045a: SWAP1
0000045b: DUP1
0000045c: DUP1
0000045d: PUSH1 0x1f
0000045f: ADD
00000460: PUSH1 0x20
00000462: DUP1
00000463: SWAP2
00000464: DIV
00000465: MUL
00000466: PUSH1 0x20
00000468: ADD
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: SWAP1
0000046d: DUP2
0000046e: ADD
0000046f: PUSH1 0x40
00000471: MSTORE
00000472: DUP1
00000473: SWAP4
00000474: SWAP3
00000475: SWAP2
00000476: SWAP1
00000477: DUP2
00000478: DUP2
00000479: MSTORE
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: DUP4
0000047e: DUP4
0000047f: DUP1
00000480: DUP3
00000481: DUP5
00000482: CALLDATACOPY
00000483: DUP3
00000484: ADD
00000485: SWAP2
00000486: POP
00000487: POP
00000488: POP
00000489: POP
0000048a: POP
0000048b: POP
0000048c: SWAP2
0000048d: SWAP3
0000048e: SWAP2
0000048f: SWAP3
00000490: SWAP1
00000491: POP
00000492: POP
00000493: POP
00000494: PUSH2 0x1291
00000497: JUMP
00000498: JUMPDEST
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: DUP1
0000049d: DUP3
0000049e: ISZERO
0000049f: ISZERO
000004a0: ISZERO
000004a1: ISZERO
000004a2: DUP2
000004a3: MSTORE
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: SWAP2
000004a8: POP
000004a9: POP
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: DUP1
000004ae: SWAP2
000004af: SUB
000004b0: SWAP1
000004b1: RETURN
000004b2: JUMPDEST
000004b3: CALLVALUE
000004b4: DUP1
000004b5: ISZERO
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: POP
000004c0: PUSH2 0x04dd
000004c3: PUSH1 0x04
000004c5: DUP1
000004c6: CALLDATASIZE
000004c7: SUB
000004c8: DUP2
000004c9: ADD
000004ca: SWAP1
000004cb: DUP1
000004cc: DUP1
000004cd: CALLDATALOAD
000004ce: SWAP1
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: SWAP1
000004d3: SWAP3
000004d4: SWAP2
000004d5: SWAP1
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: PUSH2 0x133d
000004dc: JUMP
000004dd: JUMPDEST
000004de: STOP
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x149b
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH1 0x40
000004f7: MLOAD
000004f8: DUP1
000004f9: DUP3
000004fa: PUSH1 0xff
000004fc: AND
000004fd: PUSH1 0xff
000004ff: AND
00000500: DUP2
00000501: MSTORE
00000502: PUSH1 0x20
00000504: ADD
00000505: SWAP2
00000506: POP
00000507: POP
00000508: PUSH1 0x40
0000050a: MLOAD
0000050b: DUP1
0000050c: SWAP2
0000050d: SUB
0000050e: SWAP1
0000050f: RETURN
00000510: JUMPDEST
00000511: CALLVALUE
00000512: DUP1
00000513: ISZERO
00000514: PUSH2 0x051c
00000517: JUMPI
00000518: PUSH1 0x00
0000051a: DUP1
0000051b: REVERT
0000051c: JUMPDEST
0000051d: POP
0000051e: PUSH2 0x0525
00000521: PUSH2 0x14ae
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: DUP3
0000052b: DUP2
0000052c: MSTORE
0000052d: PUSH1 0x20
0000052f: ADD
00000530: SWAP2
00000531: POP
00000532: POP
00000533: PUSH1 0x40
00000535: MLOAD
00000536: DUP1
00000537: SWAP2
00000538: SUB
00000539: SWAP1
0000053a: RETURN
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x0550
0000054c: PUSH2 0x14b4
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH1 0x40
00000553: MLOAD
00000554: DUP1
00000555: DUP3
00000556: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056b: AND
0000056c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000581: AND
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: ADD
00000587: SWAP2
00000588: POP
00000589: POP
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: DUP1
0000058e: SWAP2
0000058f: SUB
00000590: SWAP1
00000591: RETURN
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x05a7
000005a3: PUSH2 0x14da
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH1 0x40
000005aa: MLOAD
000005ab: DUP1
000005ac: DUP3
000005ad: DUP2
000005ae: MSTORE
000005af: PUSH1 0x20
000005b1: ADD
000005b2: SWAP2
000005b3: POP
000005b4: POP
000005b5: PUSH1 0x40
000005b7: MLOAD
000005b8: DUP1
000005b9: SWAP2
000005ba: SUB
000005bb: SWAP1
000005bc: RETURN
000005bd: JUMPDEST
000005be: CALLVALUE
000005bf: DUP1
000005c0: ISZERO
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: POP
000005cb: PUSH2 0x05d2
000005ce: PUSH2 0x14e0
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: DUP1
000005d7: DUP3
000005d8: DUP2
000005d9: MSTORE
000005da: PUSH1 0x20
000005dc: ADD
000005dd: SWAP2
000005de: POP
000005df: POP
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: SWAP2
000005e5: SUB
000005e6: SWAP1
000005e7: RETURN
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH2 0x0629
000005f9: PUSH1 0x04
000005fb: DUP1
000005fc: CALLDATASIZE
000005fd: SUB
000005fe: DUP2
000005ff: ADD
00000600: SWAP1
00000601: DUP1
00000602: DUP1
00000603: CALLDATALOAD
00000604: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000619: AND
0000061a: SWAP1
0000061b: PUSH1 0x20
0000061d: ADD
0000061e: SWAP1
0000061f: SWAP3
00000620: SWAP2
00000621: SWAP1
00000622: POP
00000623: POP
00000624: POP
00000625: PUSH2 0x14e6
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: DUP1
0000062e: DUP3
0000062f: DUP2
00000630: MSTORE
00000631: PUSH1 0x20
00000633: ADD
00000634: SWAP2
00000635: POP
00000636: POP
00000637: PUSH1 0x40
00000639: MLOAD
0000063a: DUP1
0000063b: SWAP2
0000063c: SUB
0000063d: SWAP1
0000063e: RETURN
0000063f: JUMPDEST
00000640: CALLVALUE
00000641: DUP1
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: POP
0000064d: PUSH2 0x0654
00000650: PUSH2 0x14fe
00000653: JUMP
00000654: JUMPDEST
00000655: PUSH1 0x40
00000657: MLOAD
00000658: DUP1
00000659: DUP3
0000065a: DUP2
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: ADD
0000065f: SWAP2
00000660: POP
00000661: POP
00000662: PUSH1 0x40
00000664: MLOAD
00000665: DUP1
00000666: SWAP2
00000667: SUB
00000668: SWAP1
00000669: RETURN
0000066a: JUMPDEST
0000066b: CALLVALUE
0000066c: DUP1
0000066d: ISZERO
0000066e: PUSH2 0x0676
00000671: JUMPI
00000672: PUSH1 0x00
00000674: DUP1
00000675: REVERT
00000676: JUMPDEST
00000677: POP
00000678: PUSH2 0x06b5
0000067b: PUSH1 0x04
0000067d: DUP1
0000067e: CALLDATASIZE
0000067f: SUB
00000680: DUP2
00000681: ADD
00000682: SWAP1
00000683: DUP1
00000684: DUP1
00000685: CALLDATALOAD
00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069b: AND
0000069c: SWAP1
0000069d: PUSH1 0x20
0000069f: ADD
000006a0: SWAP1
000006a1: SWAP3
000006a2: SWAP2
000006a3: SWAP1
000006a4: DUP1
000006a5: CALLDATALOAD
000006a6: SWAP1
000006a7: PUSH1 0x20
000006a9: ADD
000006aa: SWAP1
000006ab: SWAP3
000006ac: SWAP2
000006ad: SWAP1
000006ae: POP
000006af: POP
000006b0: POP
000006b1: PUSH2 0x1504
000006b4: JUMP
000006b5: JUMPDEST
000006b6: STOP
000006b7: JUMPDEST
000006b8: CALLVALUE
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: POP
000006c5: PUSH2 0x06e2
000006c8: PUSH1 0x04
000006ca: DUP1
000006cb: CALLDATASIZE
000006cc: SUB
000006cd: DUP2
000006ce: ADD
000006cf: SWAP1
000006d0: DUP1
000006d1: DUP1
000006d2: CALLDATALOAD
000006d3: SWAP1
000006d4: PUSH1 0x20
000006d6: ADD
000006d7: SWAP1
000006d8: SWAP3
000006d9: SWAP2
000006da: SWAP1
000006db: POP
000006dc: POP
000006dd: POP
000006de: PUSH2 0x16bd
000006e1: JUMP
000006e2: JUMPDEST
000006e3: STOP
000006e4: JUMPDEST
000006e5: CALLVALUE
000006e6: DUP1
000006e7: ISZERO
000006e8: PUSH2 0x06f0
000006eb: JUMPI
000006ec: PUSH1 0x00
000006ee: DUP1
000006ef: REVERT
000006f0: JUMPDEST
000006f1: POP
000006f2: PUSH2 0x070f
000006f5: PUSH1 0x04
000006f7: DUP1
000006f8: CALLDATASIZE
000006f9: SUB
000006fa: DUP2
000006fb: ADD
000006fc: SWAP1
000006fd: DUP1
000006fe: DUP1
000006ff: CALLDATALOAD
00000700: SWAP1
00000701: PUSH1 0x20
00000703: ADD
00000704: SWAP1
00000705: SWAP3
00000706: SWAP2
00000707: SWAP1
00000708: POP
00000709: POP
0000070a: POP
0000070b: PUSH2 0x1726
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x40
00000712: MLOAD
00000713: DUP1
00000714: DUP3
00000715: DUP2
00000716: MSTORE
00000717: PUSH1 0x20
00000719: ADD
0000071a: SWAP2
0000071b: POP
0000071c: POP
0000071d: PUSH1 0x40
0000071f: MLOAD
00000720: DUP1
00000721: SWAP2
00000722: SUB
00000723: SWAP1
00000724: RETURN
00000725: JUMPDEST
00000726: CALLVALUE
00000727: DUP1
00000728: ISZERO
00000729: PUSH2 0x0731
0000072c: JUMPI
0000072d: PUSH1 0x00
0000072f: DUP1
00000730: REVERT
00000731: JUMPDEST
00000732: POP
00000733: PUSH2 0x073a
00000736: PUSH2 0x173e
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH1 0x40
0000073d: MLOAD
0000073e: DUP1
0000073f: DUP3
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x20
00000744: ADD
00000745: SWAP2
00000746: POP
00000747: POP
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: DUP1
0000074c: SWAP2
0000074d: SUB
0000074e: SWAP1
0000074f: RETURN
00000750: JUMPDEST
00000751: CALLVALUE
00000752: DUP1
00000753: ISZERO
00000754: PUSH2 0x075c
00000757: JUMPI
00000758: PUSH1 0x00
0000075a: DUP1
0000075b: REVERT
0000075c: JUMPDEST
0000075d: POP
0000075e: PUSH2 0x0765
00000761: PUSH2 0x1744
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: DUP3
0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000780: AND
00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000796: AND
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x20
0000079b: ADD
0000079c: SWAP2
0000079d: POP
0000079e: POP
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: DUP1
000007a3: SWAP2
000007a4: SUB
000007a5: SWAP1
000007a6: RETURN
000007a7: JUMPDEST
000007a8: CALLVALUE
000007a9: DUP1
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: POP
000007b5: PUSH2 0x07bc
000007b8: PUSH2 0x1769
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: DUP1
000007c1: DUP1
000007c2: PUSH1 0x20
000007c4: ADD
000007c5: DUP3
000007c6: DUP2
000007c7: SUB
000007c8: DUP3
000007c9: MSTORE
000007ca: DUP4
000007cb: DUP2
000007cc: DUP2
000007cd: MLOAD
000007ce: DUP2
000007cf: MSTORE
000007d0: PUSH1 0x20
000007d2: ADD
000007d3: SWAP2
000007d4: POP
000007d5: DUP1
000007d6: MLOAD
000007d7: SWAP1
000007d8: PUSH1 0x20
000007da: ADD
000007db: SWAP1
000007dc: DUP1
000007dd: DUP4
000007de: DUP4
000007df: PUSH1 0x00
000007e1: JUMPDEST
000007e2: DUP4
000007e3: DUP2
000007e4: LT
000007e5: ISZERO
000007e6: PUSH2 0x07fc
000007e9: JUMPI
000007ea: DUP1
000007eb: DUP3
000007ec: ADD
000007ed: MLOAD
000007ee: DUP2
000007ef: DUP5
000007f0: ADD
000007f1: MSTORE
000007f2: PUSH1 0x20
000007f4: DUP2
000007f5: ADD
000007f6: SWAP1
000007f7: POP
000007f8: PUSH2 0x07e1
000007fb: JUMP
000007fc: JUMPDEST
000007fd: POP
000007fe: POP
000007ff: POP
00000800: POP
00000801: SWAP1
00000802: POP
00000803: SWAP1
00000804: DUP2
00000805: ADD
00000806: SWAP1
00000807: PUSH1 0x1f
00000809: AND
0000080a: DUP1
0000080b: ISZERO
0000080c: PUSH2 0x0829
0000080f: JUMPI
00000810: DUP1
00000811: DUP3
00000812: SUB
00000813: DUP1
00000814: MLOAD
00000815: PUSH1 0x01
00000817: DUP4
00000818: PUSH1 0x20
0000081a: SUB
0000081b: PUSH2 0x0100
0000081e: EXP
0000081f: SUB
00000820: NOT
00000821: AND
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x20
00000826: ADD
00000827: SWAP2
00000828: POP
00000829: JUMPDEST
0000082a: POP
0000082b: SWAP3
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: PUSH1 0x40
00000831: MLOAD
00000832: DUP1
00000833: SWAP2
00000834: SUB
00000835: SWAP1
00000836: RETURN
00000837: JUMPDEST
00000838: CALLVALUE
00000839: DUP1
0000083a: ISZERO
0000083b: PUSH2 0x0843
0000083e: JUMPI
0000083f: PUSH1 0x00
00000841: DUP1
00000842: REVERT
00000843: JUMPDEST
00000844: POP
00000845: PUSH2 0x0862
00000848: PUSH1 0x04
0000084a: DUP1
0000084b: CALLDATASIZE
0000084c: SUB
0000084d: DUP2
0000084e: ADD
0000084f: SWAP1
00000850: DUP1
00000851: DUP1
00000852: CALLDATALOAD
00000853: SWAP1
00000854: PUSH1 0x20
00000856: ADD
00000857: SWAP1
00000858: SWAP3
00000859: SWAP2
0000085a: SWAP1
0000085b: POP
0000085c: POP
0000085d: POP
0000085e: PUSH2 0x1807
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x40
00000865: MLOAD
00000866: DUP1
00000867: DUP3
00000868: ISZERO
00000869: ISZERO
0000086a: ISZERO
0000086b: ISZERO
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x20
00000870: ADD
00000871: SWAP2
00000872: POP
00000873: POP
00000874: PUSH1 0x40
00000876: MLOAD
00000877: DUP1
00000878: SWAP2
00000879: SUB
0000087a: SWAP1
0000087b: RETURN
0000087c: JUMPDEST
0000087d: PUSH2 0x0884
00000880: PUSH2 0x0c8b
00000883: JUMP
00000884: JUMPDEST
00000885: STOP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: DUP1
00000889: ISZERO
0000088a: PUSH2 0x0892
0000088d: JUMPI
0000088e: PUSH1 0x00
00000890: DUP1
00000891: REVERT
00000892: JUMPDEST
00000893: POP
00000894: PUSH2 0x08d1
00000897: PUSH1 0x04
00000899: DUP1
0000089a: CALLDATASIZE
0000089b: SUB
0000089c: DUP2
0000089d: ADD
0000089e: SWAP1
0000089f: DUP1
000008a0: DUP1
000008a1: CALLDATALOAD
000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b7: AND
000008b8: SWAP1
000008b9: PUSH1 0x20
000008bb: ADD
000008bc: SWAP1
000008bd: SWAP3
000008be: SWAP2
000008bf: SWAP1
000008c0: DUP1
000008c1: CALLDATALOAD
000008c2: SWAP1
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: SWAP1
000008c7: SWAP3
000008c8: SWAP2
000008c9: SWAP1
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: PUSH2 0x1a52
000008d0: JUMP
000008d1: JUMPDEST
000008d2: STOP
000008d3: JUMPDEST
000008d4: CALLVALUE
000008d5: DUP1
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: POP
000008e1: PUSH2 0x090c
000008e4: PUSH1 0x04
000008e6: DUP1
000008e7: CALLDATASIZE
000008e8: SUB
000008e9: DUP2
000008ea: ADD
000008eb: SWAP1
000008ec: DUP1
000008ed: DUP1
000008ee: CALLDATALOAD
000008ef: ISZERO
000008f0: ISZERO
000008f1: SWAP1
000008f2: PUSH1 0x20
000008f4: ADD
000008f5: SWAP1
000008f6: SWAP3
000008f7: SWAP2
000008f8: SWAP1
000008f9: DUP1
000008fa: CALLDATALOAD
000008fb: ISZERO
000008fc: ISZERO
000008fd: SWAP1
000008fe: PUSH1 0x20
00000900: ADD
00000901: SWAP1
00000902: SWAP3
00000903: SWAP2
00000904: SWAP1
00000905: POP
00000906: POP
00000907: POP
00000908: PUSH2 0x1b0f
0000090b: JUMP
0000090c: JUMPDEST
0000090d: STOP
0000090e: JUMPDEST
0000090f: CALLVALUE
00000910: DUP1
00000911: ISZERO
00000912: PUSH2 0x091a
00000915: JUMPI
00000916: PUSH1 0x00
00000918: DUP1
00000919: REVERT
0000091a: JUMPDEST
0000091b: POP
0000091c: PUSH2 0x094f
0000091f: PUSH1 0x04
00000921: DUP1
00000922: CALLDATASIZE
00000923: SUB
00000924: DUP2
00000925: ADD
00000926: SWAP1
00000927: DUP1
00000928: DUP1
00000929: CALLDATALOAD
0000092a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093f: AND
00000940: SWAP1
00000941: PUSH1 0x20
00000943: ADD
00000944: SWAP1
00000945: SWAP3
00000946: SWAP2
00000947: SWAP1
00000948: POP
00000949: POP
0000094a: POP
0000094b: PUSH2 0x1ba2
0000094e: JUMP
0000094f: JUMPDEST
00000950: PUSH1 0x40
00000952: MLOAD
00000953: DUP1
00000954: DUP3
00000955: ISZERO
00000956: ISZERO
00000957: ISZERO
00000958: ISZERO
00000959: DUP2
0000095a: MSTORE
0000095b: PUSH1 0x20
0000095d: ADD
0000095e: SWAP2
0000095f: POP
00000960: POP
00000961: PUSH1 0x40
00000963: MLOAD
00000964: DUP1
00000965: SWAP2
00000966: SUB
00000967: SWAP1
00000968: RETURN
00000969: JUMPDEST
0000096a: CALLVALUE
0000096b: DUP1
0000096c: ISZERO
0000096d: PUSH2 0x0975
00000970: JUMPI
00000971: PUSH1 0x00
00000973: DUP1
00000974: REVERT
00000975: JUMPDEST
00000976: POP
00000977: PUSH2 0x097e
0000097a: PUSH2 0x1bc2
0000097d: JUMP
0000097e: JUMPDEST
0000097f: PUSH1 0x40
00000981: MLOAD
00000982: DUP1
00000983: DUP3
00000984: ISZERO
00000985: ISZERO
00000986: ISZERO
00000987: ISZERO
00000988: DUP2
00000989: MSTORE
0000098a: PUSH1 0x20
0000098c: ADD
0000098d: SWAP2
0000098e: POP
0000098f: POP
00000990: PUSH1 0x40
00000992: MLOAD
00000993: DUP1
00000994: SWAP2
00000995: SUB
00000996: SWAP1
00000997: RETURN
00000998: JUMPDEST
00000999: CALLVALUE
0000099a: DUP1
0000099b: ISZERO
0000099c: PUSH2 0x09a4
0000099f: JUMPI
000009a0: PUSH1 0x00
000009a2: DUP1
000009a3: REVERT
000009a4: JUMPDEST
000009a5: POP
000009a6: PUSH2 0x09ad
000009a9: PUSH2 0x1bd5
000009ac: JUMP
000009ad: JUMPDEST
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: DUP1
000009b2: DUP3
000009b3: ISZERO
000009b4: ISZERO
000009b5: ISZERO
000009b6: ISZERO
000009b7: DUP2
000009b8: MSTORE
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: SWAP2
000009bd: POP
000009be: POP
000009bf: PUSH1 0x40
000009c1: MLOAD
000009c2: DUP1
000009c3: SWAP2
000009c4: SUB
000009c5: SWAP1
000009c6: RETURN
000009c7: JUMPDEST
000009c8: CALLVALUE
000009c9: DUP1
000009ca: ISZERO
000009cb: PUSH2 0x09d3
000009ce: JUMPI
000009cf: PUSH1 0x00
000009d1: DUP1
000009d2: REVERT
000009d3: JUMPDEST
000009d4: POP
000009d5: PUSH2 0x0a08
000009d8: PUSH1 0x04
000009da: DUP1
000009db: CALLDATASIZE
000009dc: SUB
000009dd: DUP2
000009de: ADD
000009df: SWAP1
000009e0: DUP1
000009e1: DUP1
000009e2: CALLDATALOAD
000009e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f8: AND
000009f9: SWAP1
000009fa: PUSH1 0x20
000009fc: ADD
000009fd: SWAP1
000009fe: SWAP3
000009ff: SWAP2
00000a00: SWAP1
00000a01: POP
00000a02: POP
00000a03: POP
00000a04: PUSH2 0x1be8
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: DUP1
00000a0d: DUP1
00000a0e: PUSH1 0x20
00000a10: ADD
00000a11: DUP3
00000a12: DUP2
00000a13: SUB
00000a14: DUP3
00000a15: MSTORE
00000a16: DUP4
00000a17: DUP2
00000a18: DUP2
00000a19: MLOAD
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: SWAP2
00000a20: POP
00000a21: DUP1
00000a22: MLOAD
00000a23: SWAP1
00000a24: PUSH1 0x20
00000a26: ADD
00000a27: SWAP1
00000a28: DUP1
00000a29: DUP4
00000a2a: DUP4
00000a2b: PUSH1 0x00
00000a2d: JUMPDEST
00000a2e: DUP4
00000a2f: DUP2
00000a30: LT
00000a31: ISZERO
00000a32: PUSH2 0x0a48
00000a35: JUMPI
00000a36: DUP1
00000a37: DUP3
00000a38: ADD
00000a39: MLOAD
00000a3a: DUP2
00000a3b: DUP5
00000a3c: ADD
00000a3d: MSTORE
00000a3e: PUSH1 0x20
00000a40: DUP2
00000a41: ADD
00000a42: SWAP1
00000a43: POP
00000a44: PUSH2 0x0a2d
00000a47: JUMP
00000a48: JUMPDEST
00000a49: POP
00000a4a: POP
00000a4b: POP
00000a4c: POP
00000a4d: SWAP1
00000a4e: POP
00000a4f: SWAP1
00000a50: DUP2
00000a51: ADD
00000a52: SWAP1
00000a53: PUSH1 0x1f
00000a55: AND
00000a56: DUP1
00000a57: ISZERO
00000a58: PUSH2 0x0a75
00000a5b: JUMPI
00000a5c: DUP1
00000a5d: DUP3
00000a5e: SUB
00000a5f: DUP1
00000a60: MLOAD
00000a61: PUSH1 0x01
00000a63: DUP4
00000a64: PUSH1 0x20
00000a66: SUB
00000a67: PUSH2 0x0100
00000a6a: EXP
00000a6b: SUB
00000a6c: NOT
00000a6d: AND
00000a6e: DUP2
00000a6f: MSTORE
00000a70: PUSH1 0x20
00000a72: ADD
00000a73: SWAP2
00000a74: POP
00000a75: JUMPDEST
00000a76: POP
00000a77: SWAP3
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: PUSH1 0x40
00000a7d: MLOAD
00000a7e: DUP1
00000a7f: SWAP2
00000a80: SUB
00000a81: SWAP1
00000a82: RETURN
00000a83: JUMPDEST
00000a84: CALLVALUE
00000a85: DUP1
00000a86: ISZERO
00000a87: PUSH2 0x0a8f
00000a8a: JUMPI
00000a8b: PUSH1 0x00
00000a8d: DUP1
00000a8e: REVERT
00000a8f: JUMPDEST
00000a90: POP
00000a91: PUSH2 0x0ace
00000a94: PUSH1 0x04
00000a96: DUP1
00000a97: CALLDATASIZE
00000a98: SUB
00000a99: DUP2
00000a9a: ADD
00000a9b: SWAP1
00000a9c: DUP1
00000a9d: DUP1
00000a9e: CALLDATALOAD
00000a9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab4: AND
00000ab5: SWAP1
00000ab6: PUSH1 0x20
00000ab8: ADD
00000ab9: SWAP1
00000aba: SWAP3
00000abb: SWAP2
00000abc: SWAP1
00000abd: DUP1
00000abe: CALLDATALOAD
00000abf: SWAP1
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: SWAP1
00000ac4: SWAP3
00000ac5: SWAP2
00000ac6: SWAP1
00000ac7: POP
00000ac8: POP
00000ac9: POP
00000aca: PUSH2 0x1c98
00000acd: JUMP
00000ace: JUMPDEST
00000acf: PUSH1 0x40
00000ad1: MLOAD
00000ad2: DUP1
00000ad3: DUP3
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: PUSH1 0x20
00000ad8: ADD
00000ad9: SWAP2
00000ada: POP
00000adb: POP
00000adc: PUSH1 0x40
00000ade: MLOAD
00000adf: DUP1
00000ae0: SWAP2
00000ae1: SUB
00000ae2: SWAP1
00000ae3: RETURN
00000ae4: JUMPDEST
00000ae5: PUSH2 0x0aec
00000ae8: PUSH2 0x1cc8
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: PUSH1 0x40
00000aef: MLOAD
00000af0: DUP1
00000af1: DUP3
00000af2: ISZERO
00000af3: ISZERO
00000af4: ISZERO
00000af5: ISZERO
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x20
00000afa: ADD
00000afb: SWAP2
00000afc: POP
00000afd: POP
00000afe: PUSH1 0x40
00000b00: MLOAD
00000b01: DUP1
00000b02: SWAP2
00000b03: SUB
00000b04: SWAP1
00000b05: RETURN
00000b06: JUMPDEST
00000b07: CALLVALUE
00000b08: DUP1
00000b09: ISZERO
00000b0a: PUSH2 0x0b12
00000b0d: JUMPI
00000b0e: PUSH1 0x00
00000b10: DUP1
00000b11: REVERT
00000b12: JUMPDEST
00000b13: POP
00000b14: PUSH2 0x0b67
00000b17: PUSH1 0x04
00000b19: DUP1
00000b1a: CALLDATASIZE
00000b1b: SUB
00000b1c: DUP2
00000b1d: ADD
00000b1e: SWAP1
00000b1f: DUP1
00000b20: DUP1
00000b21: CALLDATALOAD
00000b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b37: AND
00000b38: SWAP1
00000b39: PUSH1 0x20
00000b3b: ADD
00000b3c: SWAP1
00000b3d: SWAP3
00000b3e: SWAP2
00000b3f: SWAP1
00000b40: DUP1
00000b41: CALLDATALOAD
00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b57: AND
00000b58: SWAP1
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP1
00000b5d: SWAP3
00000b5e: SWAP2
00000b5f: SWAP1
00000b60: POP
00000b61: POP
00000b62: POP
00000b63: PUSH2 0x1da5
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x40
00000b6a: MLOAD
00000b6b: DUP1
00000b6c: DUP3
00000b6d: DUP2
00000b6e: MSTORE
00000b6f: PUSH1 0x20
00000b71: ADD
00000b72: SWAP2
00000b73: POP
00000b74: POP
00000b75: PUSH1 0x40
00000b77: MLOAD
00000b78: DUP1
00000b79: SWAP2
00000b7a: SUB
00000b7b: SWAP1
00000b7c: RETURN
00000b7d: JUMPDEST
00000b7e: CALLVALUE
00000b7f: DUP1
00000b80: ISZERO
00000b81: PUSH2 0x0b89
00000b84: JUMPI
00000b85: PUSH1 0x00
00000b87: DUP1
00000b88: REVERT
00000b89: JUMPDEST
00000b8a: POP
00000b8b: PUSH2 0x0ba8
00000b8e: PUSH1 0x04
00000b90: DUP1
00000b91: CALLDATASIZE
00000b92: SUB
00000b93: DUP2
00000b94: ADD
00000b95: SWAP1
00000b96: DUP1
00000b97: DUP1
00000b98: CALLDATALOAD
00000b99: SWAP1
00000b9a: PUSH1 0x20
00000b9c: ADD
00000b9d: SWAP1
00000b9e: SWAP3
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: POP
00000ba2: POP
00000ba3: POP
00000ba4: PUSH2 0x1dca
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: STOP
00000baa: JUMPDEST
00000bab: CALLVALUE
00000bac: DUP1
00000bad: ISZERO
00000bae: PUSH2 0x0bb6
00000bb1: JUMPI
00000bb2: PUSH1 0x00
00000bb4: DUP1
00000bb5: REVERT
00000bb6: JUMPDEST
00000bb7: POP
00000bb8: PUSH2 0x0bf7
00000bbb: PUSH1 0x04
00000bbd: DUP1
00000bbe: CALLDATASIZE
00000bbf: SUB
00000bc0: DUP2
00000bc1: ADD
00000bc2: SWAP1
00000bc3: DUP1
00000bc4: DUP1
00000bc5: CALLDATALOAD
00000bc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bdb: AND
00000bdc: SWAP1
00000bdd: PUSH1 0x20
00000bdf: ADD
00000be0: SWAP1
00000be1: SWAP3
00000be2: SWAP2
00000be3: SWAP1
00000be4: DUP1
00000be5: CALLDATALOAD
00000be6: ISZERO
00000be7: ISZERO
00000be8: SWAP1
00000be9: PUSH1 0x20
00000beb: ADD
00000bec: SWAP1
00000bed: SWAP3
00000bee: SWAP2
00000bef: SWAP1
00000bf0: POP
00000bf1: POP
00000bf2: POP
00000bf3: PUSH2 0x1f13
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: STOP
00000bf9: JUMPDEST
00000bfa: CALLVALUE
00000bfb: DUP1
00000bfc: ISZERO
00000bfd: PUSH2 0x0c05
00000c00: JUMPI
00000c01: PUSH1 0x00
00000c03: DUP1
00000c04: REVERT
00000c05: JUMPDEST
00000c06: POP
00000c07: PUSH2 0x0c3a
00000c0a: PUSH1 0x04
00000c0c: DUP1
00000c0d: CALLDATASIZE
00000c0e: SUB
00000c0f: DUP2
00000c10: ADD
00000c11: SWAP1
00000c12: DUP1
00000c13: DUP1
00000c14: CALLDATALOAD
00000c15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2a: AND
00000c2b: SWAP1
00000c2c: PUSH1 0x20
00000c2e: ADD
00000c2f: SWAP1
00000c30: SWAP3
00000c31: SWAP2
00000c32: SWAP1
00000c33: POP
00000c34: POP
00000c35: POP
00000c36: PUSH2 0x2038
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: STOP
00000c3c: JUMPDEST
00000c3d: CALLVALUE
00000c3e: DUP1
00000c3f: ISZERO
00000c40: PUSH2 0x0c48
00000c43: JUMPI
00000c44: PUSH1 0x00
00000c46: DUP1
00000c47: REVERT
00000c48: JUMPDEST
00000c49: POP
00000c4a: PUSH2 0x0c71
00000c4d: PUSH1 0x04
00000c4f: DUP1
00000c50: CALLDATASIZE
00000c51: SUB
00000c52: DUP2
00000c53: ADD
00000c54: SWAP1
00000c55: DUP1
00000c56: DUP1
00000c57: CALLDATALOAD
00000c58: SWAP1
00000c59: PUSH1 0x20
00000c5b: ADD
00000c5c: SWAP1
00000c5d: SWAP3
00000c5e: SWAP2
00000c5f: SWAP1
00000c60: DUP1
00000c61: CALLDATALOAD
00000c62: SWAP1
00000c63: PUSH1 0x20
00000c65: ADD
00000c66: SWAP1
00000c67: SWAP3
00000c68: SWAP2
00000c69: SWAP1
00000c6a: POP
00000c6b: POP
00000c6c: POP
00000c6d: PUSH2 0x20d6
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x40
00000c74: MLOAD
00000c75: DUP1
00000c76: DUP3
00000c77: ISZERO
00000c78: ISZERO
00000c79: ISZERO
00000c7a: ISZERO
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: SWAP2
00000c81: POP
00000c82: POP
00000c83: PUSH1 0x40
00000c85: MLOAD
00000c86: DUP1
00000c87: SWAP2
00000c88: SUB
00000c89: SWAP1
00000c8a: RETURN
00000c8b: JUMPDEST
00000c8c: PUSH1 0x00
00000c8e: DUP1
00000c8f: PUSH1 0x00
00000c91: DUP1
00000c92: PUSH1 0x09
00000c94: PUSH1 0x00
00000c96: SWAP1
00000c97: SLOAD
00000c98: SWAP1
00000c99: PUSH2 0x0100
00000c9c: EXP
00000c9d: SWAP1
00000c9e: DIV
00000c9f: PUSH1 0xff
00000ca1: AND
00000ca2: ISZERO
00000ca3: ISZERO
00000ca4: ISZERO
00000ca5: PUSH2 0x0cad
00000ca8: JUMPI
00000ca9: PUSH1 0x00
00000cab: DUP1
00000cac: REVERT
00000cad: JUMPDEST
00000cae: PUSH1 0x08
00000cb0: SLOAD
00000cb1: CALLVALUE
00000cb2: DUP2
00000cb3: ISZERO
00000cb4: ISZERO
00000cb5: PUSH2 0x0cba
00000cb8: JUMPI
00000cb9: INVALID
00000cba: JUMPDEST
00000cbb: DIV
00000cbc: SWAP4
00000cbd: POP
00000cbe: PUSH1 0x08
00000cc0: SLOAD
00000cc1: DUP5
00000cc2: MUL
00000cc3: SWAP3
00000cc4: POP
00000cc5: PUSH2 0x03e8
00000cc8: PUSH1 0x04
00000cca: DUP5
00000ccb: MUL
00000ccc: DUP2
00000ccd: ISZERO
00000cce: ISZERO
00000ccf: PUSH2 0x0cd4
00000cd2: JUMPI
00000cd3: INVALID
00000cd4: JUMPDEST
00000cd5: DIV
00000cd6: SWAP2
00000cd7: POP
00000cd8: DUP2
00000cd9: PUSH1 0x07
00000cdb: SLOAD
00000cdc: DUP6
00000cdd: MUL
00000cde: DUP5
00000cdf: SUB
00000ce0: SUB
00000ce1: SWAP1
00000ce2: POP
00000ce3: DUP2
00000ce4: ADDRESS
00000ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cfa: AND
00000cfb: BALANCE
00000cfc: LT
00000cfd: ISZERO
00000cfe: ISZERO
00000cff: ISZERO
00000d00: PUSH2 0x0d08
00000d03: JUMPI
00000d04: PUSH1 0x00
00000d06: DUP1
00000d07: REVERT
00000d08: JUMPDEST
00000d09: PUSH1 0x0d
00000d0b: PUSH1 0x00
00000d0d: SWAP1
00000d0e: SLOAD
00000d0f: SWAP1
00000d10: PUSH2 0x0100
00000d13: EXP
00000d14: SWAP1
00000d15: DIV
00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2b: AND
00000d2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d41: AND
00000d42: PUSH2 0x08fc
00000d45: DUP4
00000d46: SWAP1
00000d47: DUP2
00000d48: ISZERO
00000d49: MUL
00000d4a: SWAP1
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: PUSH1 0x00
00000d50: PUSH1 0x40
00000d52: MLOAD
00000d53: DUP1
00000d54: DUP4
00000d55: SUB
00000d56: DUP2
00000d57: DUP6
00000d58: DUP9
00000d59: DUP9
00000d5a: CALL
00000d5b: SWAP4
00000d5c: POP
00000d5d: POP
00000d5e: POP
00000d5f: POP
00000d60: ISZERO
00000d61: DUP1
00000d62: ISZERO
00000d63: PUSH2 0x0d70
00000d66: JUMPI
00000d67: RETURNDATASIZE
00000d68: PUSH1 0x00
00000d6a: DUP1
00000d6b: RETURNDATACOPY
00000d6c: RETURNDATASIZE
00000d6d: PUSH1 0x00
00000d6f: REVERT
00000d70: JUMPDEST
00000d71: POP
00000d72: PUSH2 0x0d7c
00000d75: ADDRESS
00000d76: CALLER
00000d77: DUP7
00000d78: PUSH2 0x217b
00000d7b: JUMP
00000d7c: JUMPDEST
00000d7d: PUSH2 0x0d9e
00000d80: DUP2
00000d81: ADDRESS
00000d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d97: AND
00000d98: BALANCE
00000d99: SUB
00000d9a: PUSH2 0x247b
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH2 0x0da9
00000da2: DUP2
00000da3: PUSH1 0x01
00000da5: PUSH2 0x2485
00000da8: JUMP
00000da9: JUMPDEST
00000daa: PUSH1 0x00
00000dac: DUP1
00000dad: SWAP1
00000dae: SLOAD
00000daf: SWAP1
00000db0: PUSH2 0x0100
00000db3: EXP
00000db4: SWAP1
00000db5: DIV
00000db6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcb: AND
00000dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de1: AND
00000de2: PUSH2 0x08fc
00000de5: DUP3
00000de6: SWAP1
00000de7: DUP2
00000de8: ISZERO
00000de9: MUL
00000dea: SWAP1
00000deb: PUSH1 0x40
00000ded: MLOAD
00000dee: PUSH1 0x00
00000df0: PUSH1 0x40
00000df2: MLOAD
00000df3: DUP1
00000df4: DUP4
00000df5: SUB
00000df6: DUP2
00000df7: DUP6
00000df8: DUP9
00000df9: DUP9
00000dfa: CALL
00000dfb: SWAP4
00000dfc: POP
00000dfd: POP
00000dfe: POP
00000dff: POP
00000e00: ISZERO
00000e01: DUP1
00000e02: ISZERO
00000e03: PUSH2 0x0e10
00000e06: JUMPI
00000e07: RETURNDATASIZE
00000e08: PUSH1 0x00
00000e0a: DUP1
00000e0b: RETURNDATACOPY
00000e0c: RETURNDATASIZE
00000e0d: PUSH1 0x00
00000e0f: REVERT
00000e10: JUMPDEST
00000e11: POP
00000e12: POP
00000e13: POP
00000e14: POP
00000e15: POP
00000e16: JUMP
00000e17: JUMPDEST
00000e18: PUSH1 0x00
00000e1a: DUP1
00000e1b: SWAP1
00000e1c: SLOAD
00000e1d: SWAP1
00000e1e: PUSH2 0x0100
00000e21: EXP
00000e22: SWAP1
00000e23: DIV
00000e24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e39: AND
00000e3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4f: AND
00000e50: CALLER
00000e51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e66: AND
00000e67: EQ
00000e68: ISZERO
00000e69: ISZERO
00000e6a: PUSH2 0x0e72
00000e6d: JUMPI
00000e6e: PUSH1 0x00
00000e70: DUP1
00000e71: REVERT
00000e72: JUMPDEST
00000e73: DUP2
00000e74: PUSH1 0x07
00000e76: DUP2
00000e77: SWAP1
00000e78: SSTORE
00000e79: POP
00000e7a: DUP1
00000e7b: PUSH1 0x08
00000e7d: DUP2
00000e7e: SWAP1
00000e7f: SSTORE
00000e80: POP
00000e81: POP
00000e82: POP
00000e83: JUMP
00000e84: JUMPDEST
00000e85: PUSH1 0x01
00000e87: DUP1
00000e88: SLOAD
00000e89: PUSH1 0x01
00000e8b: DUP2
00000e8c: PUSH1 0x01
00000e8e: AND
00000e8f: ISZERO
00000e90: PUSH2 0x0100
00000e93: MUL
00000e94: SUB
00000e95: AND
00000e96: PUSH1 0x02
00000e98: SWAP1
00000e99: DIV
00000e9a: DUP1
00000e9b: PUSH1 0x1f
00000e9d: ADD
00000e9e: PUSH1 0x20
00000ea0: DUP1
00000ea1: SWAP2
00000ea2: DIV
00000ea3: MUL
00000ea4: PUSH1 0x20
00000ea6: ADD
00000ea7: PUSH1 0x40
00000ea9: MLOAD
00000eaa: SWAP1
00000eab: DUP2
00000eac: ADD
00000ead: PUSH1 0x40
00000eaf: MSTORE
00000eb0: DUP1
00000eb1: SWAP3
00000eb2: SWAP2
00000eb3: SWAP1
00000eb4: DUP2
00000eb5: DUP2
00000eb6: MSTORE
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: DUP3
00000ebb: DUP1
00000ebc: SLOAD
00000ebd: PUSH1 0x01
00000ebf: DUP2
00000ec0: PUSH1 0x01
00000ec2: AND
00000ec3: ISZERO
00000ec4: PUSH2 0x0100
00000ec7: MUL
00000ec8: SUB
00000ec9: AND
00000eca: PUSH1 0x02
00000ecc: SWAP1
00000ecd: DIV
00000ece: DUP1
00000ecf: ISZERO
00000ed0: PUSH2 0x0f1a
00000ed3: JUMPI
00000ed4: DUP1
00000ed5: PUSH1 0x1f
00000ed7: LT
00000ed8: PUSH2 0x0eef
00000edb: JUMPI
00000edc: PUSH2 0x0100
00000edf: DUP1
00000ee0: DUP4
00000ee1: SLOAD
00000ee2: DIV
00000ee3: MUL
00000ee4: DUP4
00000ee5: MSTORE
00000ee6: SWAP2
00000ee7: PUSH1 0x20
00000ee9: ADD
00000eea: SWAP2
00000eeb: PUSH2 0x0f1a
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: DUP3
00000ef1: ADD
00000ef2: SWAP2
00000ef3: SWAP1
00000ef4: PUSH1 0x00
00000ef6: MSTORE
00000ef7: PUSH1 0x20
00000ef9: PUSH1 0x00
00000efb: KECCAK256
00000efc: SWAP1
00000efd: JUMPDEST
00000efe: DUP2
00000eff: SLOAD
00000f00: DUP2
00000f01: MSTORE
00000f02: SWAP1
00000f03: PUSH1 0x01
00000f05: ADD
00000f06: SWAP1
00000f07: PUSH1 0x20
00000f09: ADD
00000f0a: DUP1
00000f0b: DUP4
00000f0c: GT
00000f0d: PUSH2 0x0efd
00000f10: JUMPI
00000f11: DUP3
00000f12: SWAP1
00000f13: SUB
00000f14: PUSH1 0x1f
00000f16: AND
00000f17: DUP3
00000f18: ADD
00000f19: SWAP2
00000f1a: JUMPDEST
00000f1b: POP
00000f1c: POP
00000f1d: POP
00000f1e: POP
00000f1f: POP
00000f20: DUP2
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x00
00000f25: DUP2
00000f26: PUSH1 0x06
00000f28: PUSH1 0x00
00000f2a: CALLER
00000f2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f40: AND
00000f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f56: AND
00000f57: DUP2
00000f58: MSTORE
00000f59: PUSH1 0x20
00000f5b: ADD
00000f5c: SWAP1
00000f5d: DUP2
00000f5e: MSTORE
00000f5f: PUSH1 0x20
00000f61: ADD
00000f62: PUSH1 0x00
00000f64: KECCAK256
00000f65: PUSH1 0x00
00000f67: DUP6
00000f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7d: AND
00000f7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f93: AND
00000f94: DUP2
00000f95: MSTORE
00000f96: PUSH1 0x20
00000f98: ADD
00000f99: SWAP1
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x20
00000f9e: ADD
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: DUP2
00000fa3: SWAP1
00000fa4: SSTORE
00000fa5: POP
00000fa6: PUSH1 0x01
00000fa8: SWAP1
00000fa9: POP
00000faa: SWAP3
00000fab: SWAP2
00000fac: POP
00000fad: POP
00000fae: JUMP
00000faf: JUMPDEST
00000fb0: PUSH1 0x00
00000fb2: DUP1
00000fb3: SWAP1
00000fb4: SLOAD
00000fb5: SWAP1
00000fb6: PUSH2 0x0100
00000fb9: EXP
00000fba: SWAP1
00000fbb: DIV
00000fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd1: AND
00000fd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe7: AND
00000fe8: CALLER
00000fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffe: AND
00000fff: EQ
00001000: ISZERO
00001001: ISZERO
00001002: PUSH2 0x100a
00001005: JUMPI
00001006: PUSH1 0x00
00001008: DUP1
00001009: REVERT
0000100a: JUMPDEST
0000100b: PUSH1 0x00
0000100d: PUSH1 0x05
0000100f: PUSH1 0x00
00001011: DUP5
00001012: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001027: AND
00001028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103d: AND
0000103e: DUP2
0000103f: MSTORE
00001040: PUSH1 0x20
00001042: ADD
00001043: SWAP1
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x20
00001048: ADD
00001049: PUSH1 0x00
0000104b: KECCAK256
0000104c: SLOAD
0000104d: GT
0000104e: ISZERO
0000104f: ISZERO
00001050: PUSH2 0x1058
00001053: JUMPI
00001054: PUSH1 0x00
00001056: DUP1
00001057: REVERT
00001058: JUMPDEST
00001059: DUP1
0000105a: PUSH1 0x0e
0000105c: PUSH1 0x00
0000105e: DUP5
0000105f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001074: AND
00001075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108a: AND
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: SWAP1
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: PUSH1 0x00
00001098: KECCAK256
00001099: SWAP1
0000109a: DUP1
0000109b: MLOAD
0000109c: SWAP1
0000109d: PUSH1 0x20
0000109f: ADD
000010a0: SWAP1
000010a1: PUSH2 0x10ab
000010a4: SWAP3
000010a5: SWAP2
000010a6: SWAP1
000010a7: PUSH2 0x25ac
000010aa: JUMP
000010ab: JUMPDEST
000010ac: POP
000010ad: POP
000010ae: POP
000010af: JUMP
000010b0: JUMPDEST
000010b1: PUSH1 0x04
000010b3: SLOAD
000010b4: DUP2
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x00
000010b9: DUP1
000010ba: PUSH1 0x00
000010bc: PUSH1 0x06
000010be: PUSH1 0x00
000010c0: DUP8
000010c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d6: AND
000010d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ec: AND
000010ed: DUP2
000010ee: MSTORE
000010ef: PUSH1 0x20
000010f1: ADD
000010f2: SWAP1
000010f3: DUP2
000010f4: MSTORE
000010f5: PUSH1 0x20
000010f7: ADD
000010f8: PUSH1 0x00
000010fa: KECCAK256
000010fb: PUSH1 0x00
000010fd: CALLER
000010fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001113: AND
00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001129: AND
0000112a: DUP2
0000112b: MSTORE
0000112c: PUSH1 0x20
0000112e: ADD
0000112f: SWAP1
00001130: DUP2
00001131: MSTORE
00001132: PUSH1 0x20
00001134: ADD
00001135: PUSH1 0x00
00001137: KECCAK256
00001138: SLOAD
00001139: DUP5
0000113a: GT
0000113b: ISZERO
0000113c: ISZERO
0000113d: ISZERO
0000113e: PUSH2 0x1146
00001141: JUMPI
00001142: PUSH1 0x00
00001144: DUP1
00001145: REVERT
00001146: JUMPDEST
00001147: PUSH1 0x07
00001149: SLOAD
0000114a: DUP5
0000114b: MUL
0000114c: SWAP2
0000114d: POP
0000114e: PUSH2 0x03e8
00001151: PUSH1 0x04
00001153: DUP4
00001154: MUL
00001155: DUP2
00001156: ISZERO
00001157: ISZERO
00001158: PUSH2 0x115d
0000115b: JUMPI
0000115c: INVALID
0000115d: JUMPDEST
0000115e: DIV
0000115f: SWAP1
00001160: POP
00001161: DUP1
00001162: ADDRESS
00001163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001178: AND
00001179: BALANCE
0000117a: LT
0000117b: ISZERO
0000117c: ISZERO
0000117d: ISZERO
0000117e: PUSH2 0x1186
00001181: JUMPI
00001182: PUSH1 0x00
00001184: DUP1
00001185: REVERT
00001186: JUMPDEST
00001187: PUSH1 0x0d
00001189: PUSH1 0x00
0000118b: SWAP1
0000118c: SLOAD
0000118d: SWAP1
0000118e: PUSH2 0x0100
00001191: EXP
00001192: SWAP1
00001193: DIV
00001194: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a9: AND
000011aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bf: AND
000011c0: PUSH2 0x08fc
000011c3: DUP3
000011c4: SWAP1
000011c5: DUP2
000011c6: ISZERO
000011c7: MUL
000011c8: SWAP1
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: PUSH1 0x00
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: DUP1
000011d2: DUP4
000011d3: SUB
000011d4: DUP2
000011d5: DUP6
000011d6: DUP9
000011d7: DUP9
000011d8: CALL
000011d9: SWAP4
000011da: POP
000011db: POP
000011dc: POP
000011dd: POP
000011de: ISZERO
000011df: DUP1
000011e0: ISZERO
000011e1: PUSH2 0x11ee
000011e4: JUMPI
000011e5: RETURNDATASIZE
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: RETURNDATACOPY
000011ea: RETURNDATASIZE
000011eb: PUSH1 0x00
000011ed: REVERT
000011ee: JUMPDEST
000011ef: POP
000011f0: DUP4
000011f1: PUSH1 0x06
000011f3: PUSH1 0x00
000011f5: DUP9
000011f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120b: AND
0000120c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001221: AND
00001222: DUP2
00001223: MSTORE
00001224: PUSH1 0x20
00001226: ADD
00001227: SWAP1
00001228: DUP2
00001229: MSTORE
0000122a: PUSH1 0x20
0000122c: ADD
0000122d: PUSH1 0x00
0000122f: KECCAK256
00001230: PUSH1 0x00
00001232: CALLER
00001233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001248: AND
00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125e: AND
0000125f: DUP2
00001260: MSTORE
00001261: PUSH1 0x20
00001263: ADD
00001264: SWAP1
00001265: DUP2
00001266: MSTORE
00001267: PUSH1 0x20
00001269: ADD
0000126a: PUSH1 0x00
0000126c: KECCAK256
0000126d: PUSH1 0x00
0000126f: DUP3
00001270: DUP3
00001271: SLOAD
00001272: SUB
00001273: SWAP3
00001274: POP
00001275: POP
00001276: DUP2
00001277: SWAP1
00001278: SSTORE
00001279: POP
0000127a: PUSH2 0x1284
0000127d: DUP7
0000127e: DUP7
0000127f: DUP7
00001280: PUSH2 0x217b
00001283: JUMP
00001284: JUMPDEST
00001285: PUSH1 0x01
00001287: SWAP3
00001288: POP
00001289: POP
0000128a: POP
0000128b: SWAP4
0000128c: SWAP3
0000128d: POP
0000128e: POP
0000128f: POP
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH1 0x00
00001294: DUP1
00001295: PUSH1 0x05
00001297: PUSH1 0x00
00001299: CALLER
0000129a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012af: AND
000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c5: AND
000012c6: DUP2
000012c7: MSTORE
000012c8: PUSH1 0x20
000012ca: ADD
000012cb: SWAP1
000012cc: DUP2
000012cd: MSTORE
000012ce: PUSH1 0x20
000012d0: ADD
000012d1: PUSH1 0x00
000012d3: KECCAK256
000012d4: SLOAD
000012d5: GT
000012d6: ISZERO
000012d7: ISZERO
000012d8: PUSH2 0x12e0
000012db: JUMPI
000012dc: PUSH1 0x00
000012de: DUP1
000012df: REVERT
000012e0: JUMPDEST
000012e1: DUP2
000012e2: PUSH1 0x0e
000012e4: PUSH1 0x00
000012e6: CALLER
000012e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fc: AND
000012fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001312: AND
00001313: DUP2
00001314: MSTORE
00001315: PUSH1 0x20
00001317: ADD
00001318: SWAP1
00001319: DUP2
0000131a: MSTORE
0000131b: PUSH1 0x20
0000131d: ADD
0000131e: PUSH1 0x00
00001320: KECCAK256
00001321: SWAP1
00001322: DUP1
00001323: MLOAD
00001324: SWAP1
00001325: PUSH1 0x20
00001327: ADD
00001328: SWAP1
00001329: PUSH2 0x1333
0000132c: SWAP3
0000132d: SWAP2
0000132e: SWAP1
0000132f: PUSH2 0x25ac
00001332: JUMP
00001333: JUMPDEST
00001334: POP
00001335: PUSH1 0x01
00001337: SWAP1
00001338: POP
00001339: SWAP2
0000133a: SWAP1
0000133b: POP
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x00
00001340: DUP1
00001341: SWAP1
00001342: SLOAD
00001343: SWAP1
00001344: PUSH2 0x0100
00001347: EXP
00001348: SWAP1
00001349: DIV
0000134a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135f: AND
00001360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001375: AND
00001376: CALLER
00001377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138c: AND
0000138d: EQ
0000138e: ISZERO
0000138f: ISZERO
00001390: PUSH2 0x1398
00001393: JUMPI
00001394: PUSH1 0x00
00001396: DUP1
00001397: REVERT
00001398: JUMPDEST
00001399: PUSH32 0xb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91
000013ba: CALLER
000013bb: DUP3
000013bc: PUSH1 0x40
000013be: MLOAD
000013bf: DUP1
000013c0: DUP4
000013c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d6: AND
000013d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ec: AND
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x20
000013f1: ADD
000013f2: DUP3
000013f3: DUP2
000013f4: MSTORE
000013f5: PUSH1 0x20
000013f7: ADD
000013f8: SWAP3
000013f9: POP
000013fa: POP
000013fb: POP
000013fc: PUSH1 0x40
000013fe: MLOAD
000013ff: DUP1
00001400: SWAP2
00001401: SUB
00001402: SWAP1
00001403: LOG1
00001404: PUSH2 0x1425
00001407: DUP2
00001408: ADDRESS
00001409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141e: AND
0000141f: BALANCE
00001420: SUB
00001421: PUSH2 0x247b
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH2 0x1430
00001429: DUP2
0000142a: PUSH1 0x01
0000142c: PUSH2 0x2485
0000142f: JUMP
00001430: JUMPDEST
00001431: PUSH1 0x00
00001433: DUP1
00001434: SWAP1
00001435: SLOAD
00001436: SWAP1
00001437: PUSH2 0x0100
0000143a: EXP
0000143b: SWAP1
0000143c: DIV
0000143d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001452: AND
00001453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001468: AND
00001469: PUSH2 0x08fc
0000146c: DUP3
0000146d: SWAP1
0000146e: DUP2
0000146f: ISZERO
00001470: MUL
00001471: SWAP1
00001472: PUSH1 0x40
00001474: MLOAD
00001475: PUSH1 0x00
00001477: PUSH1 0x40
00001479: MLOAD
0000147a: DUP1
0000147b: DUP4
0000147c: SUB
0000147d: DUP2
0000147e: DUP6
0000147f: DUP9
00001480: DUP9
00001481: CALL
00001482: SWAP4
00001483: POP
00001484: POP
00001485: POP
00001486: POP
00001487: ISZERO
00001488: DUP1
00001489: ISZERO
0000148a: PUSH2 0x1497
0000148d: JUMPI
0000148e: RETURNDATASIZE
0000148f: PUSH1 0x00
00001491: DUP1
00001492: RETURNDATACOPY
00001493: RETURNDATASIZE
00001494: PUSH1 0x00
00001496: REVERT
00001497: JUMPDEST
00001498: POP
00001499: POP
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH1 0x03
0000149e: PUSH1 0x00
000014a0: SWAP1
000014a1: SLOAD
000014a2: SWAP1
000014a3: PUSH2 0x0100
000014a6: EXP
000014a7: SWAP1
000014a8: DIV
000014a9: PUSH1 0xff
000014ab: AND
000014ac: DUP2
000014ad: JUMP
000014ae: JUMPDEST
000014af: PUSH1 0x07
000014b1: SLOAD
000014b2: DUP2
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x0d
000014b7: PUSH1 0x00
000014b9: SWAP1
000014ba: SLOAD
000014bb: SWAP1
000014bc: PUSH2 0x0100
000014bf: EXP
000014c0: SWAP1
000014c1: DIV
000014c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d7: AND
000014d8: DUP2
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x0a
000014dd: SLOAD
000014de: DUP2
000014df: JUMP
000014e0: JUMPDEST
000014e1: PUSH1 0x0c
000014e3: SLOAD
000014e4: DUP2
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH1 0x05
000014e9: PUSH1 0x20
000014eb: MSTORE
000014ec: DUP1
000014ed: PUSH1 0x00
000014ef: MSTORE
000014f0: PUSH1 0x40
000014f2: PUSH1 0x00
000014f4: KECCAK256
000014f5: PUSH1 0x00
000014f7: SWAP2
000014f8: POP
000014f9: SWAP1
000014fa: POP
000014fb: SLOAD
000014fc: DUP2
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x0b
00001501: SLOAD
00001502: DUP2
00001503: JUMP
00001504: JUMPDEST
00001505: PUSH1 0x00
00001507: DUP1
00001508: SWAP1
00001509: SLOAD
0000150a: SWAP1
0000150b: PUSH2 0x0100
0000150e: EXP
0000150f: SWAP1
00001510: DIV
00001511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001526: AND
00001527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153c: AND
0000153d: CALLER
0000153e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001553: AND
00001554: EQ
00001555: ISZERO
00001556: ISZERO
00001557: PUSH2 0x155f
0000155a: JUMPI
0000155b: PUSH1 0x00
0000155d: DUP1
0000155e: REVERT
0000155f: JUMPDEST
00001560: DUP1
00001561: PUSH1 0x05
00001563: PUSH1 0x00
00001565: DUP5
00001566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157b: AND
0000157c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001591: AND
00001592: DUP2
00001593: MSTORE
00001594: PUSH1 0x20
00001596: ADD
00001597: SWAP1
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x20
0000159c: ADD
0000159d: PUSH1 0x00
0000159f: KECCAK256
000015a0: PUSH1 0x00
000015a2: DUP3
000015a3: DUP3
000015a4: SLOAD
000015a5: ADD
000015a6: SWAP3
000015a7: POP
000015a8: POP
000015a9: DUP2
000015aa: SWAP1
000015ab: SSTORE
000015ac: POP
000015ad: DUP1
000015ae: PUSH1 0x04
000015b0: PUSH1 0x00
000015b2: DUP3
000015b3: DUP3
000015b4: SLOAD
000015b5: ADD
000015b6: SWAP3
000015b7: POP
000015b8: POP
000015b9: DUP2
000015ba: SWAP1
000015bb: SSTORE
000015bc: POP
000015bd: PUSH2 0x1604
000015c0: PUSH1 0x05
000015c2: PUSH1 0x00
000015c4: ADDRESS
000015c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015da: AND
000015db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f0: AND
000015f1: DUP2
000015f2: MSTORE
000015f3: PUSH1 0x20
000015f5: ADD
000015f6: SWAP1
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0x20
000015fb: ADD
000015fc: PUSH1 0x00
000015fe: KECCAK256
000015ff: SLOAD
00001600: PUSH2 0x24c3
00001603: JUMP
00001604: JUMPDEST
00001605: ADDRESS
00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161b: AND
0000161c: PUSH1 0x00
0000161e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000163f: DUP4
00001640: PUSH1 0x40
00001642: MLOAD
00001643: DUP1
00001644: DUP3
00001645: DUP2
00001646: MSTORE
00001647: PUSH1 0x20
00001649: ADD
0000164a: SWAP2
0000164b: POP
0000164c: POP
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: DUP1
00001651: SWAP2
00001652: SUB
00001653: SWAP1
00001654: LOG3
00001655: DUP2
00001656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166b: AND
0000166c: ADDRESS
0000166d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001682: AND
00001683: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000016a4: DUP4
000016a5: PUSH1 0x40
000016a7: MLOAD
000016a8: DUP1
000016a9: DUP3
000016aa: DUP2
000016ab: MSTORE
000016ac: PUSH1 0x20
000016ae: ADD
000016af: SWAP2
000016b0: POP
000016b1: POP
000016b2: PUSH1 0x40
000016b4: MLOAD
000016b5: DUP1
000016b6: SWAP2
000016b7: SUB
000016b8: SWAP1
000016b9: LOG3
000016ba: POP
000016bb: POP
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH1 0x00
000016c0: DUP1
000016c1: SWAP1
000016c2: SLOAD
000016c3: SWAP1
000016c4: PUSH2 0x0100
000016c7: EXP
000016c8: SWAP1
000016c9: DIV
000016ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016df: AND
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: CALLER
000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170c: AND
0000170d: EQ
0000170e: ISZERO
0000170f: ISZERO
00001710: PUSH2 0x1718
00001713: JUMPI
00001714: PUSH1 0x00
00001716: DUP1
00001717: REVERT
00001718: JUMPDEST
00001719: PUSH2 0x1723
0000171c: CALLER
0000171d: ADDRESS
0000171e: DUP4
0000171f: PUSH2 0x217b
00001722: JUMP
00001723: JUMPDEST
00001724: POP
00001725: JUMP
00001726: JUMPDEST
00001727: PUSH1 0x0f
00001729: PUSH1 0x20
0000172b: MSTORE
0000172c: DUP1
0000172d: PUSH1 0x00
0000172f: MSTORE
00001730: PUSH1 0x40
00001732: PUSH1 0x00
00001734: KECCAK256
00001735: PUSH1 0x00
00001737: SWAP2
00001738: POP
00001739: SWAP1
0000173a: POP
0000173b: SLOAD
0000173c: DUP2
0000173d: JUMP
0000173e: JUMPDEST
0000173f: PUSH1 0x08
00001741: SLOAD
00001742: DUP2
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH1 0x00
00001747: DUP1
00001748: SWAP1
00001749: SLOAD
0000174a: SWAP1
0000174b: PUSH2 0x0100
0000174e: EXP
0000174f: SWAP1
00001750: DIV
00001751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001766: AND
00001767: DUP2
00001768: JUMP
00001769: JUMPDEST
0000176a: PUSH1 0x02
0000176c: DUP1
0000176d: SLOAD
0000176e: PUSH1 0x01
00001770: DUP2
00001771: PUSH1 0x01
00001773: AND
00001774: ISZERO
00001775: PUSH2 0x0100
00001778: MUL
00001779: SUB
0000177a: AND
0000177b: PUSH1 0x02
0000177d: SWAP1
0000177e: DIV
0000177f: DUP1
00001780: PUSH1 0x1f
00001782: ADD
00001783: PUSH1 0x20
00001785: DUP1
00001786: SWAP2
00001787: DIV
00001788: MUL
00001789: PUSH1 0x20
0000178b: ADD
0000178c: PUSH1 0x40
0000178e: MLOAD
0000178f: SWAP1
00001790: DUP2
00001791: ADD
00001792: PUSH1 0x40
00001794: MSTORE
00001795: DUP1
00001796: SWAP3
00001797: SWAP2
00001798: SWAP1
00001799: DUP2
0000179a: DUP2
0000179b: MSTORE
0000179c: PUSH1 0x20
0000179e: ADD
0000179f: DUP3
000017a0: DUP1
000017a1: SLOAD
000017a2: PUSH1 0x01
000017a4: DUP2
000017a5: PUSH1 0x01
000017a7: AND
000017a8: ISZERO
000017a9: PUSH2 0x0100
000017ac: MUL
000017ad: SUB
000017ae: AND
000017af: PUSH1 0x02
000017b1: SWAP1
000017b2: DIV
000017b3: DUP1
000017b4: ISZERO
000017b5: PUSH2 0x17ff
000017b8: JUMPI
000017b9: DUP1
000017ba: PUSH1 0x1f
000017bc: LT
000017bd: PUSH2 0x17d4
000017c0: JUMPI
000017c1: PUSH2 0x0100
000017c4: DUP1
000017c5: DUP4
000017c6: SLOAD
000017c7: DIV
000017c8: MUL
000017c9: DUP4
000017ca: MSTORE
000017cb: SWAP2
000017cc: PUSH1 0x20
000017ce: ADD
000017cf: SWAP2
000017d0: PUSH2 0x17ff
000017d3: JUMP
000017d4: JUMPDEST
000017d5: DUP3
000017d6: ADD
000017d7: SWAP2
000017d8: SWAP1
000017d9: PUSH1 0x00
000017db: MSTORE
000017dc: PUSH1 0x20
000017de: PUSH1 0x00
000017e0: KECCAK256
000017e1: SWAP1
000017e2: JUMPDEST
000017e3: DUP2
000017e4: SLOAD
000017e5: DUP2
000017e6: MSTORE
000017e7: SWAP1
000017e8: PUSH1 0x01
000017ea: ADD
000017eb: SWAP1
000017ec: PUSH1 0x20
000017ee: ADD
000017ef: DUP1
000017f0: DUP4
000017f1: GT
000017f2: PUSH2 0x17e2
000017f5: JUMPI
000017f6: DUP3
000017f7: SWAP1
000017f8: SUB
000017f9: PUSH1 0x1f
000017fb: AND
000017fc: DUP3
000017fd: ADD
000017fe: SWAP2
000017ff: JUMPDEST
00001800: POP
00001801: POP
00001802: POP
00001803: POP
00001804: POP
00001805: DUP2
00001806: JUMP
00001807: JUMPDEST
00001808: PUSH1 0x00
0000180a: DUP1
0000180b: PUSH1 0x00
0000180d: PUSH1 0x11
0000180f: PUSH1 0x00
00001811: CALLER
00001812: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001827: AND
00001828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183d: AND
0000183e: DUP2
0000183f: MSTORE
00001840: PUSH1 0x20
00001842: ADD
00001843: SWAP1
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x20
00001848: ADD
00001849: PUSH1 0x00
0000184b: KECCAK256
0000184c: PUSH1 0x00
0000184e: SWAP1
0000184f: SLOAD
00001850: SWAP1
00001851: PUSH2 0x0100
00001854: EXP
00001855: SWAP1
00001856: DIV
00001857: PUSH1 0xff
00001859: AND
0000185a: ISZERO
0000185b: ISZERO
0000185c: ISZERO
0000185d: PUSH2 0x1865
00001860: JUMPI
00001861: PUSH1 0x00
00001863: DUP1
00001864: REVERT
00001865: JUMPDEST
00001866: PUSH1 0x00
00001868: PUSH1 0x05
0000186a: PUSH1 0x00
0000186c: CALLER
0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001882: AND
00001883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001898: AND
00001899: DUP2
0000189a: MSTORE
0000189b: PUSH1 0x20
0000189d: ADD
0000189e: SWAP1
0000189f: DUP2
000018a0: MSTORE
000018a1: PUSH1 0x20
000018a3: ADD
000018a4: PUSH1 0x00
000018a6: KECCAK256
000018a7: SLOAD
000018a8: GT
000018a9: ISZERO
000018aa: ISZERO
000018ab: PUSH2 0x18b3
000018ae: JUMPI
000018af: PUSH1 0x00
000018b1: DUP1
000018b2: REVERT
000018b3: JUMPDEST
000018b4: PUSH1 0x00
000018b6: PUSH1 0x0f
000018b8: PUSH1 0x00
000018ba: DUP7
000018bb: DUP2
000018bc: MSTORE
000018bd: PUSH1 0x20
000018bf: ADD
000018c0: SWAP1
000018c1: DUP2
000018c2: MSTORE
000018c3: PUSH1 0x20
000018c5: ADD
000018c6: PUSH1 0x00
000018c8: KECCAK256
000018c9: SLOAD
000018ca: GT
000018cb: ISZERO
000018cc: ISZERO
000018cd: PUSH2 0x18d5
000018d0: JUMPI
000018d1: PUSH1 0x00
000018d3: DUP1
000018d4: REVERT
000018d5: JUMPDEST
000018d6: PUSH1 0x00
000018d8: PUSH1 0x10
000018da: PUSH1 0x00
000018dc: CALLER
000018dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f2: AND
000018f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001908: AND
00001909: DUP2
0000190a: MSTORE
0000190b: PUSH1 0x20
0000190d: ADD
0000190e: SWAP1
0000190f: DUP2
00001910: MSTORE
00001911: PUSH1 0x20
00001913: ADD
00001914: PUSH1 0x00
00001916: KECCAK256
00001917: DUP6
00001918: DUP2
00001919: SLOAD
0000191a: DUP2
0000191b: LT
0000191c: ISZERO
0000191d: ISZERO
0000191e: PUSH2 0x1923
00001921: JUMPI
00001922: INVALID
00001923: JUMPDEST
00001924: SWAP1
00001925: PUSH1 0x00
00001927: MSTORE
00001928: PUSH1 0x20
0000192a: PUSH1 0x00
0000192c: KECCAK256
0000192d: ADD
0000192e: SLOAD
0000192f: EQ
00001930: ISZERO
00001931: ISZERO
00001932: PUSH2 0x193a
00001935: JUMPI
00001936: PUSH1 0x00
00001938: DUP1
00001939: REVERT
0000193a: JUMPDEST
0000193b: PUSH2 0x2710
0000193e: PUSH1 0x04
00001940: SLOAD
00001941: PUSH1 0x05
00001943: PUSH1 0x00
00001945: CALLER
00001946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195b: AND
0000195c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001971: AND
00001972: DUP2
00001973: MSTORE
00001974: PUSH1 0x20
00001976: ADD
00001977: SWAP1
00001978: DUP2
00001979: MSTORE
0000197a: PUSH1 0x20
0000197c: ADD
0000197d: PUSH1 0x00
0000197f: KECCAK256
00001980: SLOAD
00001981: DUP2
00001982: ISZERO
00001983: ISZERO
00001984: PUSH2 0x1989
00001987: JUMPI
00001988: INVALID
00001989: JUMPDEST
0000198a: DIV
0000198b: MUL
0000198c: SWAP2
0000198d: POP
0000198e: PUSH2 0x2710
00001991: PUSH1 0x0f
00001993: PUSH1 0x00
00001995: DUP7
00001996: DUP2
00001997: MSTORE
00001998: PUSH1 0x20
0000199a: ADD
0000199b: SWAP1
0000199c: DUP2
0000199d: MSTORE
0000199e: PUSH1 0x20
000019a0: ADD
000019a1: PUSH1 0x00
000019a3: KECCAK256
000019a4: SLOAD
000019a5: DUP4
000019a6: MUL
000019a7: DUP2
000019a8: ISZERO
000019a9: ISZERO
000019aa: PUSH2 0x19af
000019ad: JUMPI
000019ae: INVALID
000019af: JUMPDEST
000019b0: DIV
000019b1: SWAP1
000019b2: POP
000019b3: DUP1
000019b4: ADDRESS
000019b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ca: AND
000019cb: BALANCE
000019cc: LT
000019cd: ISZERO
000019ce: ISZERO
000019cf: ISZERO
000019d0: PUSH2 0x19d8
000019d3: JUMPI
000019d4: PUSH1 0x00
000019d6: DUP1
000019d7: REVERT
000019d8: JUMPDEST
000019d9: DUP1
000019da: PUSH1 0x10
000019dc: PUSH1 0x00
000019de: CALLER
000019df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f4: AND
000019f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0a: AND
00001a0b: DUP2
00001a0c: MSTORE
00001a0d: PUSH1 0x20
00001a0f: ADD
00001a10: SWAP1
00001a11: DUP2
00001a12: MSTORE
00001a13: PUSH1 0x20
00001a15: ADD
00001a16: PUSH1 0x00
00001a18: KECCAK256
00001a19: DUP6
00001a1a: DUP2
00001a1b: SLOAD
00001a1c: DUP2
00001a1d: LT
00001a1e: ISZERO
00001a1f: ISZERO
00001a20: PUSH2 0x1a25
00001a23: JUMPI
00001a24: INVALID
00001a25: JUMPDEST
00001a26: SWAP1
00001a27: PUSH1 0x00
00001a29: MSTORE
00001a2a: PUSH1 0x20
00001a2c: PUSH1 0x00
00001a2e: KECCAK256
00001a2f: ADD
00001a30: DUP2
00001a31: SWAP1
00001a32: SSTORE
00001a33: POP
00001a34: PUSH2 0x1a3c
00001a37: DUP2
00001a38: PUSH2 0x24cd
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: ISZERO
00001a3e: ISZERO
00001a3f: PUSH2 0x1a47
00001a42: JUMPI
00001a43: PUSH1 0x00
00001a45: DUP1
00001a46: REVERT
00001a47: JUMPDEST
00001a48: PUSH1 0x01
00001a4a: SWAP3
00001a4b: POP
00001a4c: POP
00001a4d: POP
00001a4e: SWAP2
00001a4f: SWAP1
00001a50: POP
00001a51: JUMP
00001a52: JUMPDEST
00001a53: PUSH1 0x00
00001a55: DUP1
00001a56: PUSH1 0x07
00001a58: SLOAD
00001a59: DUP4
00001a5a: MUL
00001a5b: SWAP2
00001a5c: POP
00001a5d: PUSH2 0x03e8
00001a60: PUSH1 0x04
00001a62: DUP4
00001a63: MUL
00001a64: DUP2
00001a65: ISZERO
00001a66: ISZERO
00001a67: PUSH2 0x1a6c
00001a6a: JUMPI
00001a6b: INVALID
00001a6c: JUMPDEST
00001a6d: DIV
00001a6e: SWAP1
00001a6f: POP
00001a70: DUP1
00001a71: ADDRESS
00001a72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a87: AND
00001a88: BALANCE
00001a89: LT
00001a8a: ISZERO
00001a8b: ISZERO
00001a8c: ISZERO
00001a8d: PUSH2 0x1a95
00001a90: JUMPI
00001a91: PUSH1 0x00
00001a93: DUP1
00001a94: REVERT
00001a95: JUMPDEST
00001a96: PUSH1 0x0d
00001a98: PUSH1 0x00
00001a9a: SWAP1
00001a9b: SLOAD
00001a9c: SWAP1
00001a9d: PUSH2 0x0100
00001aa0: EXP
00001aa1: SWAP1
00001aa2: DIV
00001aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab8: AND
00001ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ace: AND
00001acf: PUSH2 0x08fc
00001ad2: DUP3
00001ad3: SWAP1
00001ad4: DUP2
00001ad5: ISZERO
00001ad6: MUL
00001ad7: SWAP1
00001ad8: PUSH1 0x40
00001ada: MLOAD
00001adb: PUSH1 0x00
00001add: PUSH1 0x40
00001adf: MLOAD
00001ae0: DUP1
00001ae1: DUP4
00001ae2: SUB
00001ae3: DUP2
00001ae4: DUP6
00001ae5: DUP9
00001ae6: DUP9
00001ae7: CALL
00001ae8: SWAP4
00001ae9: POP
00001aea: POP
00001aeb: POP
00001aec: POP
00001aed: ISZERO
00001aee: DUP1
00001aef: ISZERO
00001af0: PUSH2 0x1afd
00001af3: JUMPI
00001af4: RETURNDATASIZE
00001af5: PUSH1 0x00
00001af7: DUP1
00001af8: RETURNDATACOPY
00001af9: RETURNDATASIZE
00001afa: PUSH1 0x00
00001afc: REVERT
00001afd: JUMPDEST
00001afe: POP
00001aff: PUSH2 0x1b09
00001b02: CALLER
00001b03: DUP6
00001b04: DUP6
00001b05: PUSH2 0x217b
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: POP
00001b0b: POP
00001b0c: POP
00001b0d: POP
00001b0e: JUMP
00001b0f: JUMPDEST
00001b10: PUSH1 0x00
00001b12: DUP1
00001b13: SWAP1
00001b14: SLOAD
00001b15: SWAP1
00001b16: PUSH2 0x0100
00001b19: EXP
00001b1a: SWAP1
00001b1b: DIV
00001b1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b31: AND
00001b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b47: AND
00001b48: CALLER
00001b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5e: AND
00001b5f: EQ
00001b60: ISZERO
00001b61: ISZERO
00001b62: PUSH2 0x1b6a
00001b65: JUMPI
00001b66: PUSH1 0x00
00001b68: DUP1
00001b69: REVERT
00001b6a: JUMPDEST
00001b6b: DUP2
00001b6c: PUSH1 0x09
00001b6e: PUSH1 0x00
00001b70: PUSH2 0x0100
00001b73: EXP
00001b74: DUP2
00001b75: SLOAD
00001b76: DUP2
00001b77: PUSH1 0xff
00001b79: MUL
00001b7a: NOT
00001b7b: AND
00001b7c: SWAP1
00001b7d: DUP4
00001b7e: ISZERO
00001b7f: ISZERO
00001b80: MUL
00001b81: OR
00001b82: SWAP1
00001b83: SSTORE
00001b84: POP
00001b85: DUP1
00001b86: PUSH1 0x09
00001b88: PUSH1 0x01
00001b8a: PUSH2 0x0100
00001b8d: EXP
00001b8e: DUP2
00001b8f: SLOAD
00001b90: DUP2
00001b91: PUSH1 0xff
00001b93: MUL
00001b94: NOT
00001b95: AND
00001b96: SWAP1
00001b97: DUP4
00001b98: ISZERO
00001b99: ISZERO
00001b9a: MUL
00001b9b: OR
00001b9c: SWAP1
00001b9d: SSTORE
00001b9e: POP
00001b9f: POP
00001ba0: POP
00001ba1: JUMP
00001ba2: JUMPDEST
00001ba3: PUSH1 0x11
00001ba5: PUSH1 0x20
00001ba7: MSTORE
00001ba8: DUP1
00001ba9: PUSH1 0x00
00001bab: MSTORE
00001bac: PUSH1 0x40
00001bae: PUSH1 0x00
00001bb0: KECCAK256
00001bb1: PUSH1 0x00
00001bb3: SWAP2
00001bb4: POP
00001bb5: SLOAD
00001bb6: SWAP1
00001bb7: PUSH2 0x0100
00001bba: EXP
00001bbb: SWAP1
00001bbc: DIV
00001bbd: PUSH1 0xff
00001bbf: AND
00001bc0: DUP2
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH1 0x09
00001bc5: PUSH1 0x01
00001bc7: SWAP1
00001bc8: SLOAD
00001bc9: SWAP1
00001bca: PUSH2 0x0100
00001bcd: EXP
00001bce: SWAP1
00001bcf: DIV
00001bd0: PUSH1 0xff
00001bd2: AND
00001bd3: DUP2
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: PUSH1 0x09
00001bd8: PUSH1 0x00
00001bda: SWAP1
00001bdb: SLOAD
00001bdc: SWAP1
00001bdd: PUSH2 0x0100
00001be0: EXP
00001be1: SWAP1
00001be2: DIV
00001be3: PUSH1 0xff
00001be5: AND
00001be6: DUP2
00001be7: JUMP
00001be8: JUMPDEST
00001be9: PUSH1 0x0e
00001beb: PUSH1 0x20
00001bed: MSTORE
00001bee: DUP1
00001bef: PUSH1 0x00
00001bf1: MSTORE
00001bf2: PUSH1 0x40
00001bf4: PUSH1 0x00
00001bf6: KECCAK256
00001bf7: PUSH1 0x00
00001bf9: SWAP2
00001bfa: POP
00001bfb: SWAP1
00001bfc: POP
00001bfd: DUP1
00001bfe: SLOAD
00001bff: PUSH1 0x01
00001c01: DUP2
00001c02: PUSH1 0x01
00001c04: AND
00001c05: ISZERO
00001c06: PUSH2 0x0100
00001c09: MUL
00001c0a: SUB
00001c0b: AND
00001c0c: PUSH1 0x02
00001c0e: SWAP1
00001c0f: DIV
00001c10: DUP1
00001c11: PUSH1 0x1f
00001c13: ADD
00001c14: PUSH1 0x20
00001c16: DUP1
00001c17: SWAP2
00001c18: DIV
00001c19: MUL
00001c1a: PUSH1 0x20
00001c1c: ADD
00001c1d: PUSH1 0x40
00001c1f: MLOAD
00001c20: SWAP1
00001c21: DUP2
00001c22: ADD
00001c23: PUSH1 0x40
00001c25: MSTORE
00001c26: DUP1
00001c27: SWAP3
00001c28: SWAP2
00001c29: SWAP1
00001c2a: DUP2
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x20
00001c2f: ADD
00001c30: DUP3
00001c31: DUP1
00001c32: SLOAD
00001c33: PUSH1 0x01
00001c35: DUP2
00001c36: PUSH1 0x01
00001c38: AND
00001c39: ISZERO
00001c3a: PUSH2 0x0100
00001c3d: MUL
00001c3e: SUB
00001c3f: AND
00001c40: PUSH1 0x02
00001c42: SWAP1
00001c43: DIV
00001c44: DUP1
00001c45: ISZERO
00001c46: PUSH2 0x1c90
00001c49: JUMPI
00001c4a: DUP1
00001c4b: PUSH1 0x1f
00001c4d: LT
00001c4e: PUSH2 0x1c65
00001c51: JUMPI
00001c52: PUSH2 0x0100
00001c55: DUP1
00001c56: DUP4
00001c57: SLOAD
00001c58: DIV
00001c59: MUL
00001c5a: DUP4
00001c5b: MSTORE
00001c5c: SWAP2
00001c5d: PUSH1 0x20
00001c5f: ADD
00001c60: SWAP2
00001c61: PUSH2 0x1c90
00001c64: JUMP
00001c65: JUMPDEST
00001c66: DUP3
00001c67: ADD
00001c68: SWAP2
00001c69: SWAP1
00001c6a: PUSH1 0x00
00001c6c: MSTORE
00001c6d: PUSH1 0x20
00001c6f: PUSH1 0x00
00001c71: KECCAK256
00001c72: SWAP1
00001c73: JUMPDEST
00001c74: DUP2
00001c75: SLOAD
00001c76: DUP2
00001c77: MSTORE
00001c78: SWAP1
00001c79: PUSH1 0x01
00001c7b: ADD
00001c7c: SWAP1
00001c7d: PUSH1 0x20
00001c7f: ADD
00001c80: DUP1
00001c81: DUP4
00001c82: GT
00001c83: PUSH2 0x1c73
00001c86: JUMPI
00001c87: DUP3
00001c88: SWAP1
00001c89: SUB
00001c8a: PUSH1 0x1f
00001c8c: AND
00001c8d: DUP3
00001c8e: ADD
00001c8f: SWAP2
00001c90: JUMPDEST
00001c91: POP
00001c92: POP
00001c93: POP
00001c94: POP
00001c95: POP
00001c96: DUP2
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x10
00001c9b: PUSH1 0x20
00001c9d: MSTORE
00001c9e: DUP2
00001c9f: PUSH1 0x00
00001ca1: MSTORE
00001ca2: PUSH1 0x40
00001ca4: PUSH1 0x00
00001ca6: KECCAK256
00001ca7: DUP2
00001ca8: DUP2
00001ca9: SLOAD
00001caa: DUP2
00001cab: LT
00001cac: ISZERO
00001cad: ISZERO
00001cae: PUSH2 0x1cb3
00001cb1: JUMPI
00001cb2: INVALID
00001cb3: JUMPDEST
00001cb4: SWAP1
00001cb5: PUSH1 0x00
00001cb7: MSTORE
00001cb8: PUSH1 0x20
00001cba: PUSH1 0x00
00001cbc: KECCAK256
00001cbd: ADD
00001cbe: PUSH1 0x00
00001cc0: SWAP2
00001cc1: POP
00001cc2: SWAP2
00001cc3: POP
00001cc4: POP
00001cc5: SLOAD
00001cc6: DUP2
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: PUSH1 0x00
00001ccb: ADDRESS
00001ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce1: AND
00001ce2: BALANCE
00001ce3: CALLVALUE
00001ce4: ADDRESS
00001ce5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfa: AND
00001cfb: BALANCE
00001cfc: ADD
00001cfd: GT
00001cfe: ISZERO
00001cff: ISZERO
00001d00: PUSH2 0x1d08
00001d03: JUMPI
00001d04: PUSH1 0x00
00001d06: DUP1
00001d07: REVERT
00001d08: JUMPDEST
00001d09: PUSH2 0x1d28
00001d0c: ADDRESS
00001d0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d22: AND
00001d23: BALANCE
00001d24: PUSH2 0x247b
00001d27: JUMP
00001d28: JUMPDEST
00001d29: PUSH2 0x1d33
00001d2c: CALLVALUE
00001d2d: PUSH1 0x00
00001d2f: PUSH2 0x2485
00001d32: JUMP
00001d33: JUMPDEST
00001d34: PUSH32 0x1b851e1031ef35a238e6c67d0c7991162390df915f70eaf9098dbf0b175a6198
00001d55: CALLER
00001d56: CALLVALUE
00001d57: PUSH1 0x40
00001d59: MLOAD
00001d5a: DUP1
00001d5b: DUP4
00001d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d71: AND
00001d72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d87: AND
00001d88: DUP2
00001d89: MSTORE
00001d8a: PUSH1 0x20
00001d8c: ADD
00001d8d: DUP3
00001d8e: DUP2
00001d8f: MSTORE
00001d90: PUSH1 0x20
00001d92: ADD
00001d93: SWAP3
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: PUSH1 0x40
00001d99: MLOAD
00001d9a: DUP1
00001d9b: SWAP2
00001d9c: SUB
00001d9d: SWAP1
00001d9e: LOG1
00001d9f: PUSH1 0x01
00001da1: SWAP1
00001da2: POP
00001da3: SWAP1
00001da4: JUMP
00001da5: JUMPDEST
00001da6: PUSH1 0x06
00001da8: PUSH1 0x20
00001daa: MSTORE
00001dab: DUP2
00001dac: PUSH1 0x00
00001dae: MSTORE
00001daf: PUSH1 0x40
00001db1: PUSH1 0x00
00001db3: KECCAK256
00001db4: PUSH1 0x20
00001db6: MSTORE
00001db7: DUP1
00001db8: PUSH1 0x00
00001dba: MSTORE
00001dbb: PUSH1 0x40
00001dbd: PUSH1 0x00
00001dbf: KECCAK256
00001dc0: PUSH1 0x00
00001dc2: SWAP2
00001dc3: POP
00001dc4: SWAP2
00001dc5: POP
00001dc6: POP
00001dc7: SLOAD
00001dc8: DUP2
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x00
00001dcd: DUP1
00001dce: PUSH1 0x00
00001dd0: PUSH1 0x09
00001dd2: PUSH1 0x01
00001dd4: SWAP1
00001dd5: SLOAD
00001dd6: SWAP1
00001dd7: PUSH2 0x0100
00001dda: EXP
00001ddb: SWAP1
00001ddc: DIV
00001ddd: PUSH1 0xff
00001ddf: AND
00001de0: ISZERO
00001de1: ISZERO
00001de2: ISZERO
00001de3: PUSH2 0x1deb
00001de6: JUMPI
00001de7: PUSH1 0x00
00001de9: DUP1
00001dea: REVERT
00001deb: JUMPDEST
00001dec: PUSH1 0x07
00001dee: SLOAD
00001def: DUP5
00001df0: MUL
00001df1: SWAP3
00001df2: POP
00001df3: PUSH2 0x03e8
00001df6: PUSH1 0x04
00001df8: DUP5
00001df9: MUL
00001dfa: DUP2
00001dfb: ISZERO
00001dfc: ISZERO
00001dfd: PUSH2 0x1e02
00001e00: JUMPI
00001e01: INVALID
00001e02: JUMPDEST
00001e03: DIV
00001e04: SWAP2
00001e05: POP
00001e06: DUP2
00001e07: DUP4
00001e08: ADD
00001e09: SWAP1
00001e0a: POP
00001e0b: DUP1
00001e0c: ADDRESS
00001e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e22: AND
00001e23: BALANCE
00001e24: LT
00001e25: ISZERO
00001e26: ISZERO
00001e27: ISZERO
00001e28: PUSH2 0x1e30
00001e2b: JUMPI
00001e2c: PUSH1 0x00
00001e2e: DUP1
00001e2f: REVERT
00001e30: JUMPDEST
00001e31: PUSH1 0x0d
00001e33: PUSH1 0x00
00001e35: SWAP1
00001e36: SLOAD
00001e37: SWAP1
00001e38: PUSH2 0x0100
00001e3b: EXP
00001e3c: SWAP1
00001e3d: DIV
00001e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e53: AND
00001e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e69: AND
00001e6a: PUSH2 0x08fc
00001e6d: DUP4
00001e6e: SWAP1
00001e6f: DUP2
00001e70: ISZERO
00001e71: MUL
00001e72: SWAP1
00001e73: PUSH1 0x40
00001e75: MLOAD
00001e76: PUSH1 0x00
00001e78: PUSH1 0x40
00001e7a: MLOAD
00001e7b: DUP1
00001e7c: DUP4
00001e7d: SUB
00001e7e: DUP2
00001e7f: DUP6
00001e80: DUP9
00001e81: DUP9
00001e82: CALL
00001e83: SWAP4
00001e84: POP
00001e85: POP
00001e86: POP
00001e87: POP
00001e88: ISZERO
00001e89: DUP1
00001e8a: ISZERO
00001e8b: PUSH2 0x1e98
00001e8e: JUMPI
00001e8f: RETURNDATASIZE
00001e90: PUSH1 0x00
00001e92: DUP1
00001e93: RETURNDATACOPY
00001e94: RETURNDATASIZE
00001e95: PUSH1 0x00
00001e97: REVERT
00001e98: JUMPDEST
00001e99: POP
00001e9a: PUSH2 0x1ea4
00001e9d: CALLER
00001e9e: ADDRESS
00001e9f: DUP7
00001ea0: PUSH2 0x217b
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: PUSH2 0x1ec6
00001ea8: DUP2
00001ea9: ADDRESS
00001eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebf: AND
00001ec0: BALANCE
00001ec1: SUB
00001ec2: PUSH2 0x247b
00001ec5: JUMP
00001ec6: JUMPDEST
00001ec7: CALLER
00001ec8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001edd: AND
00001ede: PUSH2 0x08fc
00001ee1: DUP5
00001ee2: SWAP1
00001ee3: DUP2
00001ee4: ISZERO
00001ee5: MUL
00001ee6: SWAP1
00001ee7: PUSH1 0x40
00001ee9: MLOAD
00001eea: PUSH1 0x00
00001eec: PUSH1 0x40
00001eee: MLOAD
00001eef: DUP1
00001ef0: DUP4
00001ef1: SUB
00001ef2: DUP2
00001ef3: DUP6
00001ef4: DUP9
00001ef5: DUP9
00001ef6: CALL
00001ef7: SWAP4
00001ef8: POP
00001ef9: POP
00001efa: POP
00001efb: POP
00001efc: ISZERO
00001efd: DUP1
00001efe: ISZERO
00001eff: PUSH2 0x1f0c
00001f02: JUMPI
00001f03: RETURNDATASIZE
00001f04: PUSH1 0x00
00001f06: DUP1
00001f07: RETURNDATACOPY
00001f08: RETURNDATASIZE
00001f09: PUSH1 0x00
00001f0b: REVERT
00001f0c: JUMPDEST
00001f0d: POP
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: POP
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: DUP1
00001f17: SWAP1
00001f18: SLOAD
00001f19: SWAP1
00001f1a: PUSH2 0x0100
00001f1d: EXP
00001f1e: SWAP1
00001f1f: DIV
00001f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f35: AND
00001f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4b: AND
00001f4c: CALLER
00001f4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f62: AND
00001f63: EQ
00001f64: ISZERO
00001f65: ISZERO
00001f66: PUSH2 0x1f6e
00001f69: JUMPI
00001f6a: PUSH1 0x00
00001f6c: DUP1
00001f6d: REVERT
00001f6e: JUMPDEST
00001f6f: DUP1
00001f70: PUSH1 0x11
00001f72: PUSH1 0x00
00001f74: DUP5
00001f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8a: AND
00001f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa0: AND
00001fa1: DUP2
00001fa2: MSTORE
00001fa3: PUSH1 0x20
00001fa5: ADD
00001fa6: SWAP1
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: PUSH1 0x20
00001fab: ADD
00001fac: PUSH1 0x00
00001fae: KECCAK256
00001faf: PUSH1 0x00
00001fb1: PUSH2 0x0100
00001fb4: EXP
00001fb5: DUP2
00001fb6: SLOAD
00001fb7: DUP2
00001fb8: PUSH1 0xff
00001fba: MUL
00001fbb: NOT
00001fbc: AND
00001fbd: SWAP1
00001fbe: DUP4
00001fbf: ISZERO
00001fc0: ISZERO
00001fc1: MUL
00001fc2: OR
00001fc3: SWAP1
00001fc4: SSTORE
00001fc5: POP
00001fc6: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5
00001fe7: DUP3
00001fe8: DUP3
00001fe9: PUSH1 0x40
00001feb: MLOAD
00001fec: DUP1
00001fed: DUP4
00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002003: AND
00002004: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002019: AND
0000201a: DUP2
0000201b: MSTORE
0000201c: PUSH1 0x20
0000201e: ADD
0000201f: DUP3
00002020: ISZERO
00002021: ISZERO
00002022: ISZERO
00002023: ISZERO
00002024: DUP2
00002025: MSTORE
00002026: PUSH1 0x20
00002028: ADD
00002029: SWAP3
0000202a: POP
0000202b: POP
0000202c: POP
0000202d: PUSH1 0x40
0000202f: MLOAD
00002030: DUP1
00002031: SWAP2
00002032: SUB
00002033: SWAP1
00002034: LOG1
00002035: POP
00002036: POP
00002037: JUMP
00002038: JUMPDEST
00002039: PUSH1 0x00
0000203b: DUP1
0000203c: SWAP1
0000203d: SLOAD
0000203e: SWAP1
0000203f: PUSH2 0x0100
00002042: EXP
00002043: SWAP1
00002044: DIV
00002045: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205a: AND
0000205b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002070: AND
00002071: CALLER
00002072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002087: AND
00002088: EQ
00002089: ISZERO
0000208a: ISZERO
0000208b: PUSH2 0x2093
0000208e: JUMPI
0000208f: PUSH1 0x00
00002091: DUP1
00002092: REVERT
00002093: JUMPDEST
00002094: DUP1
00002095: PUSH1 0x00
00002097: DUP1
00002098: PUSH2 0x0100
0000209b: EXP
0000209c: DUP2
0000209d: SLOAD
0000209e: DUP2
0000209f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b4: MUL
000020b5: NOT
000020b6: AND
000020b7: SWAP1
000020b8: DUP4
000020b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ce: AND
000020cf: MUL
000020d0: OR
000020d1: SWAP1
000020d2: SSTORE
000020d3: POP
000020d4: POP
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH1 0x00
000020d9: DUP1
000020da: PUSH1 0x00
000020dc: SWAP1
000020dd: SLOAD
000020de: SWAP1
000020df: PUSH2 0x0100
000020e2: EXP
000020e3: SWAP1
000020e4: DIV
000020e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fa: AND
000020fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002110: AND
00002111: CALLER
00002112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002127: AND
00002128: EQ
00002129: ISZERO
0000212a: ISZERO
0000212b: PUSH2 0x2133
0000212e: JUMPI
0000212f: PUSH1 0x00
00002131: DUP1
00002132: REVERT
00002133: JUMPDEST
00002134: DUP2
00002135: ADDRESS
00002136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214b: AND
0000214c: BALANCE
0000214d: LT
0000214e: ISZERO
0000214f: ISZERO
00002150: ISZERO
00002151: PUSH2 0x2159
00002154: JUMPI
00002155: PUSH1 0x00
00002157: DUP1
00002158: REVERT
00002159: JUMPDEST
0000215a: DUP2
0000215b: PUSH1 0x0f
0000215d: PUSH1 0x00
0000215f: DUP6
00002160: DUP2
00002161: MSTORE
00002162: PUSH1 0x20
00002164: ADD
00002165: SWAP1
00002166: DUP2
00002167: MSTORE
00002168: PUSH1 0x20
0000216a: ADD
0000216b: PUSH1 0x00
0000216d: KECCAK256
0000216e: DUP2
0000216f: SWAP1
00002170: SSTORE
00002171: POP
00002172: PUSH1 0x01
00002174: SWAP1
00002175: POP
00002176: SWAP3
00002177: SWAP2
00002178: POP
00002179: POP
0000217a: JUMP
0000217b: JUMPDEST
0000217c: PUSH1 0x00
0000217e: DUP3
0000217f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002194: AND
00002195: EQ
00002196: ISZERO
00002197: ISZERO
00002198: ISZERO
00002199: PUSH2 0x21a1
0000219c: JUMPI
0000219d: PUSH1 0x00
0000219f: DUP1
000021a0: REVERT
000021a1: JUMPDEST
000021a2: DUP1
000021a3: PUSH1 0x05
000021a5: PUSH1 0x00
000021a7: DUP6
000021a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021bd: AND
000021be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d3: AND
000021d4: DUP2
000021d5: MSTORE
000021d6: PUSH1 0x20
000021d8: ADD
000021d9: SWAP1
000021da: DUP2
000021db: MSTORE
000021dc: PUSH1 0x20
000021de: ADD
000021df: PUSH1 0x00
000021e1: KECCAK256
000021e2: SLOAD
000021e3: LT
000021e4: ISZERO
000021e5: ISZERO
000021e6: ISZERO
000021e7: PUSH2 0x21ef
000021ea: JUMPI
000021eb: PUSH1 0x00
000021ed: DUP1
000021ee: REVERT
000021ef: JUMPDEST
000021f0: PUSH1 0x05
000021f2: PUSH1 0x00
000021f4: DUP4
000021f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000220a: AND
0000220b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002220: AND
00002221: DUP2
00002222: MSTORE
00002223: PUSH1 0x20
00002225: ADD
00002226: SWAP1
00002227: DUP2
00002228: MSTORE
00002229: PUSH1 0x20
0000222b: ADD
0000222c: PUSH1 0x00
0000222e: KECCAK256
0000222f: SLOAD
00002230: DUP2
00002231: PUSH1 0x05
00002233: PUSH1 0x00
00002235: DUP6
00002236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224b: AND
0000224c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002261: AND
00002262: DUP2
00002263: MSTORE
00002264: PUSH1 0x20
00002266: ADD
00002267: SWAP1
00002268: DUP2
00002269: MSTORE
0000226a: PUSH1 0x20
0000226c: ADD
0000226d: PUSH1 0x00
0000226f: KECCAK256
00002270: SLOAD
00002271: ADD
00002272: GT
00002273: ISZERO
00002274: ISZERO
00002275: PUSH2 0x227d
00002278: JUMPI
00002279: PUSH1 0x00
0000227b: DUP1
0000227c: REVERT
0000227d: JUMPDEST
0000227e: PUSH1 0x11
00002280: PUSH1 0x00
00002282: DUP5
00002283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002298: AND
00002299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ae: AND
000022af: DUP2
000022b0: MSTORE
000022b1: PUSH1 0x20
000022b3: ADD
000022b4: SWAP1
000022b5: DUP2
000022b6: MSTORE
000022b7: PUSH1 0x20
000022b9: ADD
000022ba: PUSH1 0x00
000022bc: KECCAK256
000022bd: PUSH1 0x00
000022bf: SWAP1
000022c0: SLOAD
000022c1: SWAP1
000022c2: PUSH2 0x0100
000022c5: EXP
000022c6: SWAP1
000022c7: DIV
000022c8: PUSH1 0xff
000022ca: AND
000022cb: ISZERO
000022cc: ISZERO
000022cd: ISZERO
000022ce: PUSH2 0x22d6
000022d1: JUMPI
000022d2: PUSH1 0x00
000022d4: DUP1
000022d5: REVERT
000022d6: JUMPDEST
000022d7: PUSH1 0x11
000022d9: PUSH1 0x00
000022db: DUP4
000022dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f1: AND
000022f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002307: AND
00002308: DUP2
00002309: MSTORE
0000230a: PUSH1 0x20
0000230c: ADD
0000230d: SWAP1
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x20
00002312: ADD
00002313: PUSH1 0x00
00002315: KECCAK256
00002316: PUSH1 0x00
00002318: SWAP1
00002319: SLOAD
0000231a: SWAP1
0000231b: PUSH2 0x0100
0000231e: EXP
0000231f: SWAP1
00002320: DIV
00002321: PUSH1 0xff
00002323: AND
00002324: ISZERO
00002325: ISZERO
00002326: ISZERO
00002327: PUSH2 0x232f
0000232a: JUMPI
0000232b: PUSH1 0x00
0000232d: DUP1
0000232e: REVERT
0000232f: JUMPDEST
00002330: DUP1
00002331: PUSH1 0x05
00002333: PUSH1 0x00
00002335: DUP6
00002336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234b: AND
0000234c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002361: AND
00002362: DUP2
00002363: MSTORE
00002364: PUSH1 0x20
00002366: ADD
00002367: SWAP1
00002368: DUP2
00002369: MSTORE
0000236a: PUSH1 0x20
0000236c: ADD
0000236d: PUSH1 0x00
0000236f: KECCAK256
00002370: PUSH1 0x00
00002372: DUP3
00002373: DUP3
00002374: SLOAD
00002375: SUB
00002376: SWAP3
00002377: POP
00002378: POP
00002379: DUP2
0000237a: SWAP1
0000237b: SSTORE
0000237c: POP
0000237d: DUP1
0000237e: PUSH1 0x05
00002380: PUSH1 0x00
00002382: DUP5
00002383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002398: AND
00002399: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ae: AND
000023af: DUP2
000023b0: MSTORE
000023b1: PUSH1 0x20
000023b3: ADD
000023b4: SWAP1
000023b5: DUP2
000023b6: MSTORE
000023b7: PUSH1 0x20
000023b9: ADD
000023ba: PUSH1 0x00
000023bc: KECCAK256
000023bd: PUSH1 0x00
000023bf: DUP3
000023c0: DUP3
000023c1: SLOAD
000023c2: ADD
000023c3: SWAP3
000023c4: POP
000023c5: POP
000023c6: DUP2
000023c7: SWAP1
000023c8: SSTORE
000023c9: POP
000023ca: PUSH2 0x2411
000023cd: PUSH1 0x05
000023cf: PUSH1 0x00
000023d1: ADDRESS
000023d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023e7: AND
000023e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023fd: AND
000023fe: DUP2
000023ff: MSTORE
00002400: PUSH1 0x20
00002402: ADD
00002403: SWAP1
00002404: DUP2
00002405: MSTORE
00002406: PUSH1 0x20
00002408: ADD
00002409: PUSH1 0x00
0000240b: KECCAK256
0000240c: SLOAD
0000240d: PUSH2 0x24c3
00002410: JUMP
00002411: JUMPDEST
00002412: DUP2
00002413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002428: AND
00002429: DUP4
0000242a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000243f: AND
00002440: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002461: DUP4
00002462: PUSH1 0x40
00002464: MLOAD
00002465: DUP1
00002466: DUP3
00002467: DUP2
00002468: MSTORE
00002469: PUSH1 0x20
0000246b: ADD
0000246c: SWAP2
0000246d: POP
0000246e: POP
0000246f: PUSH1 0x40
00002471: MLOAD
00002472: DUP1
00002473: SWAP2
00002474: SUB
00002475: SWAP1
00002476: LOG3
00002477: POP
00002478: POP
00002479: POP
0000247a: JUMP
0000247b: JUMPDEST
0000247c: DUP1
0000247d: PUSH1 0x0b
0000247f: DUP2
00002480: SWAP1
00002481: SSTORE
00002482: POP
00002483: POP
00002484: JUMP
00002485: JUMPDEST
00002486: DUP1
00002487: ISZERO
00002488: PUSH2 0x249b
0000248b: JUMPI
0000248c: DUP2
0000248d: PUSH1 0x0c
0000248f: SLOAD
00002490: ADD
00002491: PUSH1 0x0c
00002493: DUP2
00002494: SWAP1
00002495: SSTORE
00002496: POP
00002497: PUSH2 0x24bf
0000249a: JUMP
0000249b: JUMPDEST
0000249c: PUSH1 0x0c
0000249e: SLOAD
0000249f: DUP3
000024a0: GT
000024a1: ISZERO
000024a2: PUSH2 0x24b2
000024a5: JUMPI
000024a6: PUSH1 0x00
000024a8: PUSH1 0x0c
000024aa: DUP2
000024ab: SWAP1
000024ac: SSTORE
000024ad: POP
000024ae: PUSH2 0x24be
000024b1: JUMP
000024b2: JUMPDEST
000024b3: DUP2
000024b4: PUSH1 0x0c
000024b6: SLOAD
000024b7: SUB
000024b8: PUSH1 0x0c
000024ba: DUP2
000024bb: SWAP1
000024bc: SSTORE
000024bd: POP
000024be: JUMPDEST
000024bf: JUMPDEST
000024c0: POP
000024c1: POP
000024c2: JUMP
000024c3: JUMPDEST
000024c4: DUP1
000024c5: PUSH1 0x0a
000024c7: DUP2
000024c8: SWAP1
000024c9: SSTORE
000024ca: POP
000024cb: POP
000024cc: JUMP
000024cd: JUMPDEST
000024ce: PUSH1 0x00
000024d0: PUSH32 0xb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91
000024f1: CALLER
000024f2: DUP4
000024f3: PUSH1 0x40
000024f5: MLOAD
000024f6: DUP1
000024f7: DUP4
000024f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000250d: AND
0000250e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002523: AND
00002524: DUP2
00002525: MSTORE
00002526: PUSH1 0x20
00002528: ADD
00002529: DUP3
0000252a: DUP2
0000252b: MSTORE
0000252c: PUSH1 0x20
0000252e: ADD
0000252f: SWAP3
00002530: POP
00002531: POP
00002532: POP
00002533: PUSH1 0x40
00002535: MLOAD
00002536: DUP1
00002537: SWAP2
00002538: SUB
00002539: SWAP1
0000253a: LOG1
0000253b: PUSH2 0x255c
0000253e: DUP3
0000253f: ADDRESS
00002540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002555: AND
00002556: BALANCE
00002557: SUB
00002558: PUSH2 0x247b
0000255b: JUMP
0000255c: JUMPDEST
0000255d: CALLER
0000255e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002573: AND
00002574: PUSH2 0x08fc
00002577: DUP4
00002578: SWAP1
00002579: DUP2
0000257a: ISZERO
0000257b: MUL
0000257c: SWAP1
0000257d: PUSH1 0x40
0000257f: MLOAD
00002580: PUSH1 0x00
00002582: PUSH1 0x40
00002584: MLOAD
00002585: DUP1
00002586: DUP4
00002587: SUB
00002588: DUP2
00002589: DUP6
0000258a: DUP9
0000258b: DUP9
0000258c: CALL
0000258d: SWAP4
0000258e: POP
0000258f: POP
00002590: POP
00002591: POP
00002592: ISZERO
00002593: DUP1
00002594: ISZERO
00002595: PUSH2 0x25a2
00002598: JUMPI
00002599: RETURNDATASIZE
0000259a: PUSH1 0x00
0000259c: DUP1
0000259d: RETURNDATACOPY
0000259e: RETURNDATASIZE
0000259f: PUSH1 0x00
000025a1: REVERT
000025a2: JUMPDEST
000025a3: POP
000025a4: PUSH1 0x01
000025a6: SWAP1
000025a7: POP
000025a8: SWAP2
000025a9: SWAP1
000025aa: POP
000025ab: JUMP
000025ac: JUMPDEST
000025ad: DUP3
000025ae: DUP1
000025af: SLOAD
000025b0: PUSH1 0x01
000025b2: DUP2
000025b3: PUSH1 0x01
000025b5: AND
000025b6: ISZERO
000025b7: PUSH2 0x0100
000025ba: MUL
000025bb: SUB
000025bc: AND
000025bd: PUSH1 0x02
000025bf: SWAP1
000025c0: DIV
000025c1: SWAP1
000025c2: PUSH1 0x00
000025c4: MSTORE
000025c5: PUSH1 0x20
000025c7: PUSH1 0x00
000025c9: KECCAK256
000025ca: SWAP1
000025cb: PUSH1 0x1f
000025cd: ADD
000025ce: PUSH1 0x20
000025d0: SWAP1
000025d1: DIV
000025d2: DUP2
000025d3: ADD
000025d4: SWAP3
000025d5: DUP3
000025d6: PUSH1 0x1f
000025d8: LT
000025d9: PUSH2 0x25ed
000025dc: JUMPI
000025dd: DUP1
000025de: MLOAD
000025df: PUSH1 0xff
000025e1: NOT
000025e2: AND
000025e3: DUP4
000025e4: DUP1
000025e5: ADD
000025e6: OR
000025e7: DUP6
000025e8: SSTORE
000025e9: PUSH2 0x261b
000025ec: JUMP
000025ed: JUMPDEST
000025ee: DUP3
000025ef: DUP1
000025f0: ADD
000025f1: PUSH1 0x01
000025f3: ADD
000025f4: DUP6
000025f5: SSTORE
000025f6: DUP3
000025f7: ISZERO
000025f8: PUSH2 0x261b
000025fb: JUMPI
000025fc: SWAP2
000025fd: DUP3
000025fe: ADD
000025ff: JUMPDEST
00002600: DUP3
00002601: DUP2
00002602: GT
00002603: ISZERO
00002604: PUSH2 0x261a
00002607: JUMPI
00002608: DUP3
00002609: MLOAD
0000260a: DUP3
0000260b: SSTORE
0000260c: SWAP2
0000260d: PUSH1 0x20
0000260f: ADD
00002610: SWAP2
00002611: SWAP1
00002612: PUSH1 0x01
00002614: ADD
00002615: SWAP1
00002616: PUSH2 0x25ff
00002619: JUMP
0000261a: JUMPDEST
0000261b: JUMPDEST
0000261c: POP
0000261d: SWAP1
0000261e: POP
0000261f: PUSH2 0x2628
00002622: SWAP2
00002623: SWAP1
00002624: PUSH2 0x262c
00002627: JUMP
00002628: JUMPDEST
00002629: POP
0000262a: SWAP1
0000262b: JUMP
0000262c: JUMPDEST
0000262d: PUSH2 0x264e
00002630: SWAP2
00002631: SWAP1
00002632: JUMPDEST
00002633: DUP1
00002634: DUP3
00002635: GT
00002636: ISZERO
00002637: PUSH2 0x264a
0000263a: JUMPI
0000263b: PUSH1 0x00
0000263d: DUP2
0000263e: PUSH1 0x00
00002640: SWAP1
00002641: SSTORE
00002642: POP
00002643: PUSH1 0x01
00002645: ADD
00002646: PUSH2 0x2632
00002649: JUMP
0000264a: JUMPDEST
0000264b: POP
0000264c: SWAP1
0000264d: JUMP
0000264e: JUMPDEST
0000264f: SWAP1
00002650: JUMP
00002651: STOP
00002652: LOG1
00002653: PUSH6 0x627a7a723058
0000265a: KECCAK256
0000265b: PUSH30 0x156bdf955308b9257834fb74099854ce56d717f56b2fe0614ac88a070de1
0000267a: SSTORE
0000267b: STOP
0000267c: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 yes yes
view
trace_id: 0xb363c7772d832ca2e15733cb21ee5ff20229b295b2c60ac3f425ae7a977c4e40
call_targets: 0x70b593f89dacf6e3bd3e5bd867113fef0b2ee7ad, 0xa52c8371d379d7036a862673b08bd73faf4660fd
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xb363c7772d832ca2e15733cb21ee5ff20229b295b2c60ac3f425ae7a977c4e40",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x70b593f89dacf6e3bd3e5bd867113fef0b2ee7ad",
        "0xa52c8371d379d7036a862673b08bd73faf4660fd"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x05fefda7",
            "selector": "0x05fefda7",
            "calldata_variants": [
                "0x05fefda7",
                "0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1573e8a5",
            "selector": "0x1573e8a5",
            "calldata_variants": [
                "0x1573e8a5",
                "0x1573e8a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x282b065a",
            "selector": "0x282b065a",
            "calldata_variants": [
                "0x282b065a",
                "0x282b065a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3578,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4568,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [
        {
            "pc": 3664,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4072,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4982,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5437,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5878,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6984,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8012,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8305,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8465,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 8
}
medium other detector ETH value transfer possible 40 yes yes
view
trace_id: 0xb363c7772d832ca2e15733cb21ee5ff20229b295b2c60ac3f425ae7a977c4e40
call_targets: 0x70b593f89dacf6e3bd3e5bd867113fef0b2ee7ad, 0xa52c8371d379d7036a862673b08bd73faf4660fd
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xb363c7772d832ca2e15733cb21ee5ff20229b295b2c60ac3f425ae7a977c4e40",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x70b593f89dacf6e3bd3e5bd867113fef0b2ee7ad",
        "0xa52c8371d379d7036a862673b08bd73faf4660fd"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x05fefda7",
            "selector": "0x05fefda7",
            "calldata_variants": [
                "0x05fefda7",
                "0x05fefda70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1573e8a5",
            "selector": "0x1573e8a5",
            "calldata_variants": [
                "0x1573e8a5",
                "0x1573e8a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x282b065a",
            "selector": "0x282b065a",
            "calldata_variants": [
                "0x282b065a",
                "0x282b065a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3418,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3578,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4568,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": [
        {
            "pc": 3664,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4072,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4982,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5437,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5878,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6984,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8012,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8305,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8465,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}