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

Analysis Run

63a55d13-78c9-4860-925d-37d8710c5417

failed
Chain ID
1
Address
0xc46188a5a7c1dfb04a99903544660ea83f986fb8
Block Number
—
Created
Sun, Dec 28, 2025 2:30 AM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
30275 report.consolidate complete 1 / 1 3 months ago
73834 artifact.fetch failed 1 / 3 2 weeks ago
73835 tool.cast_disasm complete 1 / 3 2 weeks ago
73836 analysis.bundle complete 1 / 3 2 weeks ago
73837 capability.graph complete 1 / 3 2 weeks ago
73838 detector.run complete 1 / 3 2 weeks ago
73839 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.
View stderr 
[codex:487814] OpenAI Codex v0.77.0 (research preview)
[codex:487814] --------
[codex:487814] workdir: /tmp/codex-multi-_9goj91r
[codex:487814] model: gpt-5.2-codex
[codex:487814] provider: openai
[codex:487814] approval: never
[codex:487814] sandbox: read-only
[codex:487814] reasoning effort: xhigh
[codex:487814] reasoning summaries: auto
[codex:487814] session id: 019b62c8-ef1e-79c1-ac97-6ed33c5105f0
[codex:487814] --------
[codex:487814] user
[codex:487814] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:487814] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:487814] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:487814] 
[codex:487814] Scope rules:
[codex:487814] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:487814] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:487814] 
[codex:487814] Output MUST be valid JSON matching the provided schema.
[codex:487814] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:487814] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:487814] 
[codex:487814] Output constraints (IMPORTANT):
[codex:487814] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:487814] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:487814] mcp startup: no servers
[codex:487814] 
[codex:487814] thinking
[codex:487814] **Preparing to read AUDIT_BUNDLE.txt**
[codex:487814] exec
[codex:487814] /bin/bash -lc ls in /tmp/codex-multi-_9goj91r succeeded in 6ms:
[codex:487814] AUDIT_BUNDLE.txt
[codex:487814] codex-output-schema.json
[codex:487814] contracts
[codex:487814] 
[codex:487814] thinking
[codex:487814] **Reading AUDIT_BUNDLE.txt**
[codex:487814] exec
[codex:487814] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_9goj91r succeeded in 6ms:
[codex:487814] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:487814] 
[codex:487814] ================================================================================
[codex:487814] FILE: contracts/Contract.sol
[codex:487814] ================================================================================
[codex:487814] // File: @openzeppelin/contracts/math/Math.sol
[codex:487814] 
[codex:487814] pragma solidity 0.5.16;
[codex:487814] 
[codex:487814] /**
[codex:487814]  * @dev Standard math utilities missing in the Solidity language.
[codex:487814]  */
[codex:487814] library Math {
[codex:487814]     /**
[codex:487814]      * @dev Returns the largest of two numbers.
[codex:487814]      */
[codex:487814]     function max(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:487814]         return a >= b ? a : b;
[codex:487814]     }
[codex:487814] 
[codex:487814] 
[codex:487814] 
[codex:487814] thinking
[codex:487814] **Reviewing Contract Security and Logic**
[codex:487814] thinking
[codex:487814] **Summarizing Security Assessment Results**
[codex:487814] 
[codex:487814] I’ve reviewed the contract focusing on reentrancy, access control, external calls, accounting invariants, and other key risk areas. After careful evaluation, there appear to be no exploitable vulnerabilities or significant security flaws in the contract’s logic or external interactions. Some minor edge cases and admin operational quirks exist but don’t pose attacker risks. Overall, the contract’s design enforces proper state updates before external calls, uses SafeERC20 for token transfers, and restricts sensitive functions appropriately.
[codex:487814] codex
[codex:487814] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.","findings":[]}
[codex:487814] tokens used
[codex:487814] 18,154
[codex:487814] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2025-12-28T02:30:37.398907+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the first-party contracts within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
2
Total opcodes
4331
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01c3
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7b0a47ee
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc8f33c91
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xdf136d65
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xdf136d65
00000047: EQ
00000048: PUSH2 0x064c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xe9fad8ee
00000052: EQ
00000053: PUSH2 0x066a
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xebe2b12b
0000005d: EQ
0000005e: PUSH2 0x0674
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf2fde38b
00000068: EQ
00000069: PUSH2 0x0692
0000006c: JUMPI
0000006d: PUSH2 0x01c3
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xc8f33c91
00000078: EQ
00000079: PUSH2 0x05f2
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xcb17d14f
00000083: EQ
00000084: PUSH2 0x0610
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xcd3daf9d
0000008e: EQ
0000008f: PUSH2 0x062e
00000092: JUMPI
00000093: PUSH2 0x01c3
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x8da5cb5b
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8da5cb5b
000000a9: EQ
000000aa: PUSH2 0x050e
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8f32d59b
000000b4: EQ
000000b5: PUSH2 0x0558
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa694fc3a
000000bf: EQ
000000c0: PUSH2 0x057a
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc25904fd
000000ca: EQ
000000cb: PUSH2 0x05a8
000000ce: JUMPI
000000cf: PUSH2 0x01c3
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x7b0a47ee
000000da: EQ
000000db: PUSH2 0x047a
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x80faa57d
000000e5: EQ
000000e6: PUSH2 0x0498
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8b876347
000000f0: EQ
000000f1: PUSH2 0x04b6
000000f4: JUMPI
000000f5: PUSH2 0x01c3
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x3d18b912
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x6fdca5e0
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x6fdca5e0
00000116: EQ
00000117: PUSH2 0x03ca
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x70a08231
00000121: EQ
00000122: PUSH2 0x03fa
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x715018a6
0000012c: EQ
0000012d: PUSH2 0x0452
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x78e97925
00000137: EQ
00000138: PUSH2 0x045c
0000013b: JUMPI
0000013c: PUSH2 0x01c3
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x3d18b912
00000147: EQ
00000148: PUSH2 0x0354
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x47535d7b
00000152: EQ
00000153: PUSH2 0x035e
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x51ed6a30
0000015d: EQ
0000015e: PUSH2 0x0380
00000161: JUMPI
00000162: PUSH2 0x01c3
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x18160ddd
0000016d: GT
0000016e: PUSH2 0x01a2
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x18160ddd
00000178: EQ
00000179: PUSH2 0x02bc
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x1be05289
00000183: EQ
00000184: PUSH2 0x02da
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x2e1a7d4d
0000018e: EQ
0000018f: PUSH2 0x02f8
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x3c6b16ab
00000199: EQ
0000019a: PUSH2 0x0326
0000019d: JUMPI
0000019e: PUSH2 0x01c3
000001a1: JUMP
000001a2: JUMPDEST
000001a3: DUP1
000001a4: PUSH3 0x8cc262
000001a8: EQ
000001a9: PUSH2 0x01c8
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x0700037d
000001b3: EQ
000001b4: PUSH2 0x0220
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x0d68b761
000001be: EQ
000001bf: PUSH2 0x0278
000001c2: JUMPI
000001c3: JUMPDEST
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: PUSH2 0x020a
000001cc: PUSH1 0x04
000001ce: DUP1
000001cf: CALLDATASIZE
000001d0: SUB
000001d1: PUSH1 0x20
000001d3: DUP2
000001d4: LT
000001d5: ISZERO
000001d6: PUSH2 0x01de
000001d9: JUMPI
000001da: PUSH1 0x00
000001dc: DUP1
000001dd: REVERT
000001de: JUMPDEST
000001df: DUP2
000001e0: ADD
000001e1: SWAP1
000001e2: DUP1
000001e3: DUP1
000001e4: CALLDATALOAD
000001e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fa: AND
000001fb: SWAP1
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP1
00000200: SWAP3
00000201: SWAP2
00000202: SWAP1
00000203: POP
00000204: POP
00000205: POP
00000206: PUSH2 0x06d6
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: DUP1
0000020f: DUP3
00000210: DUP2
00000211: MSTORE
00000212: PUSH1 0x20
00000214: ADD
00000215: SWAP2
00000216: POP
00000217: POP
00000218: PUSH1 0x40
0000021a: MLOAD
0000021b: DUP1
0000021c: SWAP2
0000021d: SUB
0000021e: SWAP1
0000021f: RETURN
00000220: JUMPDEST
00000221: PUSH2 0x0262
00000224: PUSH1 0x04
00000226: DUP1
00000227: CALLDATASIZE
00000228: SUB
00000229: PUSH1 0x20
0000022b: DUP2
0000022c: LT
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: DUP2
00000238: ADD
00000239: SWAP1
0000023a: DUP1
0000023b: DUP1
0000023c: CALLDATALOAD
0000023d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000252: AND
00000253: SWAP1
00000254: PUSH1 0x20
00000256: ADD
00000257: SWAP1
00000258: SWAP3
00000259: SWAP2
0000025a: SWAP1
0000025b: POP
0000025c: POP
0000025d: POP
0000025e: PUSH2 0x07bd
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x40
00000265: MLOAD
00000266: DUP1
00000267: DUP3
00000268: DUP2
00000269: MSTORE
0000026a: PUSH1 0x20
0000026c: ADD
0000026d: SWAP2
0000026e: POP
0000026f: POP
00000270: PUSH1 0x40
00000272: MLOAD
00000273: DUP1
00000274: SWAP2
00000275: SUB
00000276: SWAP1
00000277: RETURN
00000278: JUMPDEST
00000279: PUSH2 0x02ba
0000027c: PUSH1 0x04
0000027e: DUP1
0000027f: CALLDATASIZE
00000280: SUB
00000281: PUSH1 0x20
00000283: DUP2
00000284: LT
00000285: ISZERO
00000286: PUSH2 0x028e
00000289: JUMPI
0000028a: PUSH1 0x00
0000028c: DUP1
0000028d: REVERT
0000028e: JUMPDEST
0000028f: DUP2
00000290: ADD
00000291: SWAP1
00000292: DUP1
00000293: DUP1
00000294: CALLDATALOAD
00000295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002aa: AND
000002ab: SWAP1
000002ac: PUSH1 0x20
000002ae: ADD
000002af: SWAP1
000002b0: SWAP3
000002b1: SWAP2
000002b2: SWAP1
000002b3: POP
000002b4: POP
000002b5: POP
000002b6: PUSH2 0x07d5
000002b9: JUMP
000002ba: JUMPDEST
000002bb: STOP
000002bc: JUMPDEST
000002bd: PUSH2 0x02c4
000002c0: PUSH2 0x0893
000002c3: JUMP
000002c4: JUMPDEST
000002c5: PUSH1 0x40
000002c7: MLOAD
000002c8: DUP1
000002c9: DUP3
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x20
000002ce: ADD
000002cf: SWAP2
000002d0: POP
000002d1: POP
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: DUP1
000002d6: SWAP2
000002d7: SUB
000002d8: SWAP1
000002d9: RETURN
000002da: JUMPDEST
000002db: PUSH2 0x02e2
000002de: PUSH2 0x089d
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: DUP1
000002e7: DUP3
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: PUSH2 0x0324
000002fc: PUSH1 0x04
000002fe: DUP1
000002ff: CALLDATASIZE
00000300: SUB
00000301: PUSH1 0x20
00000303: DUP2
00000304: LT
00000305: ISZERO
00000306: PUSH2 0x030e
00000309: JUMPI
0000030a: PUSH1 0x00
0000030c: DUP1
0000030d: REVERT
0000030e: JUMPDEST
0000030f: DUP2
00000310: ADD
00000311: SWAP1
00000312: DUP1
00000313: DUP1
00000314: CALLDATALOAD
00000315: SWAP1
00000316: PUSH1 0x20
00000318: ADD
00000319: SWAP1
0000031a: SWAP3
0000031b: SWAP2
0000031c: SWAP1
0000031d: POP
0000031e: POP
0000031f: POP
00000320: PUSH2 0x08a4
00000323: JUMP
00000324: JUMPDEST
00000325: STOP
00000326: JUMPDEST
00000327: PUSH2 0x0352
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: CALLDATASIZE
0000032e: SUB
0000032f: PUSH1 0x20
00000331: DUP2
00000332: LT
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: DUP2
0000033e: ADD
0000033f: SWAP1
00000340: DUP1
00000341: DUP1
00000342: CALLDATALOAD
00000343: SWAP1
00000344: PUSH1 0x20
00000346: ADD
00000347: SWAP1
00000348: SWAP3
00000349: SWAP2
0000034a: SWAP1
0000034b: POP
0000034c: POP
0000034d: POP
0000034e: PUSH2 0x0ab5
00000351: JUMP
00000352: JUMPDEST
00000353: STOP
00000354: JUMPDEST
00000355: PUSH2 0x035c
00000358: PUSH2 0x0f3f
0000035b: JUMP
0000035c: JUMPDEST
0000035d: STOP
0000035e: JUMPDEST
0000035f: PUSH2 0x0366
00000362: PUSH2 0x1197
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: DUP1
0000036b: DUP3
0000036c: ISZERO
0000036d: ISZERO
0000036e: ISZERO
0000036f: ISZERO
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x20
00000374: ADD
00000375: SWAP2
00000376: POP
00000377: POP
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: DUP1
0000037c: SWAP2
0000037d: SUB
0000037e: SWAP1
0000037f: RETURN
00000380: JUMPDEST
00000381: PUSH2 0x0388
00000384: PUSH2 0x11ae
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: DUP3
0000038e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a3: AND
000003a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b9: AND
000003ba: DUP2
000003bb: MSTORE
000003bc: PUSH1 0x20
000003be: ADD
000003bf: SWAP2
000003c0: POP
000003c1: POP
000003c2: PUSH1 0x40
000003c4: MLOAD
000003c5: DUP1
000003c6: SWAP2
000003c7: SUB
000003c8: SWAP1
000003c9: RETURN
000003ca: JUMPDEST
000003cb: PUSH2 0x03f8
000003ce: PUSH1 0x04
000003d0: DUP1
000003d1: CALLDATASIZE
000003d2: SUB
000003d3: PUSH1 0x20
000003d5: DUP2
000003d6: LT
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: DUP2
000003e2: ADD
000003e3: SWAP1
000003e4: DUP1
000003e5: DUP1
000003e6: CALLDATALOAD
000003e7: ISZERO
000003e8: ISZERO
000003e9: SWAP1
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: SWAP1
000003ee: SWAP3
000003ef: SWAP2
000003f0: SWAP1
000003f1: POP
000003f2: POP
000003f3: POP
000003f4: PUSH2 0x11d3
000003f7: JUMP
000003f8: JUMPDEST
000003f9: STOP
000003fa: JUMPDEST
000003fb: PUSH2 0x043c
000003fe: PUSH1 0x04
00000400: DUP1
00000401: CALLDATASIZE
00000402: SUB
00000403: PUSH1 0x20
00000405: DUP2
00000406: LT
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: DUP2
00000412: ADD
00000413: SWAP1
00000414: DUP1
00000415: DUP1
00000416: CALLDATALOAD
00000417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000042c: AND
0000042d: SWAP1
0000042e: PUSH1 0x20
00000430: ADD
00000431: SWAP1
00000432: SWAP3
00000433: SWAP2
00000434: SWAP1
00000435: POP
00000436: POP
00000437: POP
00000438: PUSH2 0x12a5
0000043b: JUMP
0000043c: JUMPDEST
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: DUP1
00000441: DUP3
00000442: DUP2
00000443: MSTORE
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP2
00000448: POP
00000449: POP
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: SWAP2
0000044f: SUB
00000450: SWAP1
00000451: RETURN
00000452: JUMPDEST
00000453: PUSH2 0x045a
00000456: PUSH2 0x12ee
00000459: JUMP
0000045a: JUMPDEST
0000045b: STOP
0000045c: JUMPDEST
0000045d: PUSH2 0x0464
00000460: PUSH2 0x1429
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH1 0x40
00000467: MLOAD
00000468: DUP1
00000469: DUP3
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x20
0000046e: ADD
0000046f: SWAP2
00000470: POP
00000471: POP
00000472: PUSH1 0x40
00000474: MLOAD
00000475: DUP1
00000476: SWAP2
00000477: SUB
00000478: SWAP1
00000479: RETURN
0000047a: JUMPDEST
0000047b: PUSH2 0x0482
0000047e: PUSH2 0x1431
00000481: JUMP
00000482: JUMPDEST
00000483: PUSH1 0x40
00000485: MLOAD
00000486: DUP1
00000487: DUP3
00000488: DUP2
00000489: MSTORE
0000048a: PUSH1 0x20
0000048c: ADD
0000048d: SWAP2
0000048e: POP
0000048f: POP
00000490: PUSH1 0x40
00000492: MLOAD
00000493: DUP1
00000494: SWAP2
00000495: SUB
00000496: SWAP1
00000497: RETURN
00000498: JUMPDEST
00000499: PUSH2 0x04a0
0000049c: PUSH2 0x1437
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: DUP1
000004a5: DUP3
000004a6: DUP2
000004a7: MSTORE
000004a8: PUSH1 0x20
000004aa: ADD
000004ab: SWAP2
000004ac: POP
000004ad: POP
000004ae: PUSH1 0x40
000004b0: MLOAD
000004b1: DUP1
000004b2: SWAP2
000004b3: SUB
000004b4: SWAP1
000004b5: RETURN
000004b6: JUMPDEST
000004b7: PUSH2 0x04f8
000004ba: PUSH1 0x04
000004bc: DUP1
000004bd: CALLDATASIZE
000004be: SUB
000004bf: PUSH1 0x20
000004c1: DUP2
000004c2: LT
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: DUP2
000004ce: ADD
000004cf: SWAP1
000004d0: DUP1
000004d1: DUP1
000004d2: CALLDATALOAD
000004d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e8: AND
000004e9: SWAP1
000004ea: PUSH1 0x20
000004ec: ADD
000004ed: SWAP1
000004ee: SWAP3
000004ef: SWAP2
000004f0: SWAP1
000004f1: POP
000004f2: POP
000004f3: POP
000004f4: PUSH2 0x144a
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: DUP1
000004fd: DUP3
000004fe: DUP2
000004ff: MSTORE
00000500: PUSH1 0x20
00000502: ADD
00000503: SWAP2
00000504: POP
00000505: POP
00000506: PUSH1 0x40
00000508: MLOAD
00000509: DUP1
0000050a: SWAP2
0000050b: SUB
0000050c: SWAP1
0000050d: RETURN
0000050e: JUMPDEST
0000050f: PUSH2 0x0516
00000512: PUSH2 0x1462
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH1 0x40
00000519: MLOAD
0000051a: DUP1
0000051b: DUP3
0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000531: AND
00000532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000547: AND
00000548: DUP2
00000549: MSTORE
0000054a: PUSH1 0x20
0000054c: ADD
0000054d: SWAP2
0000054e: POP
0000054f: POP
00000550: PUSH1 0x40
00000552: MLOAD
00000553: DUP1
00000554: SWAP2
00000555: SUB
00000556: SWAP1
00000557: RETURN
00000558: JUMPDEST
00000559: PUSH2 0x0560
0000055c: PUSH2 0x148c
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH1 0x40
00000563: MLOAD
00000564: DUP1
00000565: DUP3
00000566: ISZERO
00000567: ISZERO
00000568: ISZERO
00000569: ISZERO
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: SWAP2
00000570: POP
00000571: POP
00000572: PUSH1 0x40
00000574: MLOAD
00000575: DUP1
00000576: SWAP2
00000577: SUB
00000578: SWAP1
00000579: RETURN
0000057a: JUMPDEST
0000057b: PUSH2 0x05a6
0000057e: PUSH1 0x04
00000580: DUP1
00000581: CALLDATASIZE
00000582: SUB
00000583: PUSH1 0x20
00000585: DUP2
00000586: LT
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: DUP2
00000592: ADD
00000593: SWAP1
00000594: DUP1
00000595: DUP1
00000596: CALLDATALOAD
00000597: SWAP1
00000598: PUSH1 0x20
0000059a: ADD
0000059b: SWAP1
0000059c: SWAP3
0000059d: SWAP2
0000059e: SWAP1
0000059f: POP
000005a0: POP
000005a1: POP
000005a2: PUSH2 0x14eb
000005a5: JUMP
000005a6: JUMPDEST
000005a7: STOP
000005a8: JUMPDEST
000005a9: PUSH2 0x05b0
000005ac: PUSH2 0x179b
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: DUP1
000005b5: DUP3
000005b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005cb: AND
000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e1: AND
000005e2: DUP2
000005e3: MSTORE
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP2
000005e8: POP
000005e9: POP
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: DUP1
000005ee: SWAP2
000005ef: SUB
000005f0: SWAP1
000005f1: RETURN
000005f2: JUMPDEST
000005f3: PUSH2 0x05fa
000005f6: PUSH2 0x17c1
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH1 0x40
000005fd: MLOAD
000005fe: DUP1
000005ff: DUP3
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: SWAP2
00000606: POP
00000607: POP
00000608: PUSH1 0x40
0000060a: MLOAD
0000060b: DUP1
0000060c: SWAP2
0000060d: SUB
0000060e: SWAP1
0000060f: RETURN
00000610: JUMPDEST
00000611: PUSH2 0x0618
00000614: PUSH2 0x17c7
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH1 0x40
0000061b: MLOAD
0000061c: DUP1
0000061d: DUP3
0000061e: DUP2
0000061f: MSTORE
00000620: PUSH1 0x20
00000622: ADD
00000623: SWAP2
00000624: POP
00000625: POP
00000626: PUSH1 0x40
00000628: MLOAD
00000629: DUP1
0000062a: SWAP2
0000062b: SUB
0000062c: SWAP1
0000062d: RETURN
0000062e: JUMPDEST
0000062f: PUSH2 0x0636
00000632: PUSH2 0x17d1
00000635: JUMP
00000636: JUMPDEST
00000637: PUSH1 0x40
00000639: MLOAD
0000063a: DUP1
0000063b: DUP3
0000063c: DUP2
0000063d: MSTORE
0000063e: PUSH1 0x20
00000640: ADD
00000641: SWAP2
00000642: POP
00000643: POP
00000644: PUSH1 0x40
00000646: MLOAD
00000647: DUP1
00000648: SWAP2
00000649: SUB
0000064a: SWAP1
0000064b: RETURN
0000064c: JUMPDEST
0000064d: PUSH2 0x0654
00000650: PUSH2 0x1869
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: PUSH2 0x0672
0000066e: PUSH2 0x186f
00000671: JUMP
00000672: JUMPDEST
00000673: STOP
00000674: JUMPDEST
00000675: PUSH2 0x067c
00000678: PUSH2 0x188a
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: DUP1
00000681: DUP3
00000682: DUP2
00000683: MSTORE
00000684: PUSH1 0x20
00000686: ADD
00000687: SWAP2
00000688: POP
00000689: POP
0000068a: PUSH1 0x40
0000068c: MLOAD
0000068d: DUP1
0000068e: SWAP2
0000068f: SUB
00000690: SWAP1
00000691: RETURN
00000692: JUMPDEST
00000693: PUSH2 0x06d4
00000696: PUSH1 0x04
00000698: DUP1
00000699: CALLDATASIZE
0000069a: SUB
0000069b: PUSH1 0x20
0000069d: DUP2
0000069e: LT
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: DUP2
000006aa: ADD
000006ab: SWAP1
000006ac: DUP1
000006ad: DUP1
000006ae: CALLDATALOAD
000006af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c4: AND
000006c5: SWAP1
000006c6: PUSH1 0x20
000006c8: ADD
000006c9: SWAP1
000006ca: SWAP3
000006cb: SWAP2
000006cc: SWAP1
000006cd: POP
000006ce: POP
000006cf: POP
000006d0: PUSH2 0x1890
000006d3: JUMP
000006d4: JUMPDEST
000006d5: STOP
000006d6: JUMPDEST
000006d7: PUSH1 0x00
000006d9: PUSH2 0x07b6
000006dc: PUSH1 0x0c
000006de: PUSH1 0x00
000006e0: DUP5
000006e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f6: AND
000006f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000070c: AND
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: SWAP1
00000713: DUP2
00000714: MSTORE
00000715: PUSH1 0x20
00000717: ADD
00000718: PUSH1 0x00
0000071a: KECCAK256
0000071b: SLOAD
0000071c: PUSH2 0x07a8
0000071f: PUSH8 0x0de0b6b3a7640000
00000728: PUSH2 0x079a
0000072b: PUSH2 0x0783
0000072e: PUSH1 0x0b
00000730: PUSH1 0x00
00000732: DUP10
00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000748: AND
00000749: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075e: AND
0000075f: DUP2
00000760: MSTORE
00000761: PUSH1 0x20
00000763: ADD
00000764: SWAP1
00000765: DUP2
00000766: MSTORE
00000767: PUSH1 0x20
00000769: ADD
0000076a: PUSH1 0x00
0000076c: KECCAK256
0000076d: SLOAD
0000076e: PUSH2 0x0775
00000771: PUSH2 0x17d1
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH2 0x1916
00000779: SWAP1
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH4 0xffffffff
00000781: AND
00000782: JUMP
00000783: JUMPDEST
00000784: PUSH2 0x078c
00000787: DUP9
00000788: PUSH2 0x12a5
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH2 0x1960
00000790: SWAP1
00000791: SWAP2
00000792: SWAP1
00000793: PUSH4 0xffffffff
00000798: AND
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x19e6
0000079e: SWAP1
0000079f: SWAP2
000007a0: SWAP1
000007a1: PUSH4 0xffffffff
000007a6: AND
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH2 0x1a30
000007ac: SWAP1
000007ad: SWAP2
000007ae: SWAP1
000007af: PUSH4 0xffffffff
000007b4: AND
000007b5: JUMP
000007b6: JUMPDEST
000007b7: SWAP1
000007b8: POP
000007b9: SWAP2
000007ba: SWAP1
000007bb: POP
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH1 0x0c
000007c0: PUSH1 0x20
000007c2: MSTORE
000007c3: DUP1
000007c4: PUSH1 0x00
000007c6: MSTORE
000007c7: PUSH1 0x40
000007c9: PUSH1 0x00
000007cb: KECCAK256
000007cc: PUSH1 0x00
000007ce: SWAP2
000007cf: POP
000007d0: SWAP1
000007d1: POP
000007d2: SLOAD
000007d3: DUP2
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x07dd
000007d9: PUSH2 0x148c
000007dc: JUMP
000007dd: JUMPDEST
000007de: PUSH2 0x084f
000007e1: JUMPI
000007e2: PUSH1 0x40
000007e4: MLOAD
000007e5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x04
0000080a: ADD
0000080b: DUP1
0000080c: DUP1
0000080d: PUSH1 0x20
0000080f: ADD
00000810: DUP3
00000811: DUP2
00000812: SUB
00000813: DUP3
00000814: MSTORE
00000815: PUSH1 0x20
00000817: DUP2
00000818: MSTORE
00000819: PUSH1 0x20
0000081b: ADD
0000081c: DUP1
0000081d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000083e: DUP2
0000083f: MSTORE
00000840: POP
00000841: PUSH1 0x20
00000843: ADD
00000844: SWAP2
00000845: POP
00000846: POP
00000847: PUSH1 0x40
00000849: MLOAD
0000084a: DUP1
0000084b: SWAP2
0000084c: SUB
0000084d: SWAP1
0000084e: REVERT
0000084f: JUMPDEST
00000850: DUP1
00000851: PUSH1 0x04
00000853: PUSH1 0x00
00000855: PUSH2 0x0100
00000858: EXP
00000859: DUP2
0000085a: SLOAD
0000085b: DUP2
0000085c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000871: MUL
00000872: NOT
00000873: AND
00000874: SWAP1
00000875: DUP4
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: AND
0000088c: MUL
0000088d: OR
0000088e: SWAP1
0000088f: SSTORE
00000890: POP
00000891: POP
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH1 0x00
00000896: PUSH1 0x01
00000898: SLOAD
00000899: SWAP1
0000089a: POP
0000089b: SWAP1
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH3 0x093a80
000008a2: DUP2
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH4 0x5f58c3c0
000008aa: TIMESTAMP
000008ab: GT
000008ac: PUSH2 0x091d
000008af: JUMPI
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008d4: DUP2
000008d5: MSTORE
000008d6: PUSH1 0x04
000008d8: ADD
000008d9: DUP1
000008da: DUP1
000008db: PUSH1 0x20
000008dd: ADD
000008de: DUP3
000008df: DUP2
000008e0: SUB
000008e1: DUP3
000008e2: MSTORE
000008e3: PUSH1 0x19
000008e5: DUP2
000008e6: MSTORE
000008e7: PUSH1 0x20
000008e9: ADD
000008ea: DUP1
000008eb: PUSH32 0x476f6c66662d4554482d504f4f4c3a204e6f7420737461727400000000000000
0000090c: DUP2
0000090d: MSTORE
0000090e: POP
0000090f: PUSH1 0x20
00000911: ADD
00000912: SWAP2
00000913: POP
00000914: POP
00000915: PUSH1 0x40
00000917: MLOAD
00000918: DUP1
00000919: SWAP2
0000091a: SUB
0000091b: SWAP1
0000091c: REVERT
0000091d: JUMPDEST
0000091e: CALLER
0000091f: PUSH2 0x0926
00000922: PUSH2 0x17d1
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x09
00000929: DUP2
0000092a: SWAP1
0000092b: SSTORE
0000092c: POP
0000092d: PUSH2 0x0934
00000930: PUSH2 0x1437
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x08
00000937: DUP2
00000938: SWAP1
00000939: SSTORE
0000093a: POP
0000093b: PUSH1 0x00
0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000952: AND
00000953: DUP2
00000954: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000969: AND
0000096a: EQ
0000096b: PUSH2 0x0a01
0000096e: JUMPI
0000096f: PUSH2 0x0977
00000972: DUP2
00000973: PUSH2 0x06d6
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH1 0x0c
0000097a: PUSH1 0x00
0000097c: DUP4
0000097d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000992: AND
00000993: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a8: AND
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x20
000009ad: ADD
000009ae: SWAP1
000009af: DUP2
000009b0: MSTORE
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: PUSH1 0x00
000009b6: KECCAK256
000009b7: DUP2
000009b8: SWAP1
000009b9: SSTORE
000009ba: POP
000009bb: PUSH1 0x09
000009bd: SLOAD
000009be: PUSH1 0x0b
000009c0: PUSH1 0x00
000009c2: DUP4
000009c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d8: AND
000009d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ee: AND
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: ADD
000009f4: SWAP1
000009f5: DUP2
000009f6: MSTORE
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: PUSH1 0x00
000009fc: KECCAK256
000009fd: DUP2
000009fe: SWAP1
000009ff: SSTORE
00000a00: POP
00000a01: JUMPDEST
00000a02: PUSH1 0x00
00000a04: DUP3
00000a05: GT
00000a06: PUSH2 0x0a5a
00000a09: JUMPI
00000a0a: PUSH1 0x40
00000a0c: MLOAD
00000a0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x04
00000a32: ADD
00000a33: DUP1
00000a34: DUP1
00000a35: PUSH1 0x20
00000a37: ADD
00000a38: DUP3
00000a39: DUP2
00000a3a: SUB
00000a3b: DUP3
00000a3c: MSTORE
00000a3d: PUSH1 0x21
00000a3f: DUP2
00000a40: MSTORE
00000a41: PUSH1 0x20
00000a43: ADD
00000a44: DUP1
00000a45: PUSH2 0x2472
00000a48: PUSH1 0x21
00000a4a: SWAP2
00000a4b: CODECOPY
00000a4c: PUSH1 0x40
00000a4e: ADD
00000a4f: SWAP2
00000a50: POP
00000a51: POP
00000a52: PUSH1 0x40
00000a54: MLOAD
00000a55: DUP1
00000a56: SWAP2
00000a57: SUB
00000a58: SWAP1
00000a59: REVERT
00000a5a: JUMPDEST
00000a5b: PUSH2 0x0a63
00000a5e: DUP3
00000a5f: PUSH2 0x1ab8
00000a62: JUMP
00000a63: JUMPDEST
00000a64: CALLER
00000a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7a: AND
00000a7b: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000a9c: DUP4
00000a9d: PUSH1 0x40
00000a9f: MLOAD
00000aa0: DUP1
00000aa1: DUP3
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x20
00000aa6: ADD
00000aa7: SWAP2
00000aa8: POP
00000aa9: POP
00000aaa: PUSH1 0x40
00000aac: MLOAD
00000aad: DUP1
00000aae: SWAP2
00000aaf: SUB
00000ab0: SWAP1
00000ab1: LOG2
00000ab2: POP
00000ab3: POP
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: PUSH1 0x04
00000ab8: PUSH1 0x00
00000aba: SWAP1
00000abb: SLOAD
00000abc: SWAP1
00000abd: PUSH2 0x0100
00000ac0: EXP
00000ac1: SWAP1
00000ac2: DIV
00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad8: AND
00000ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aee: AND
00000aef: PUSH2 0x0af6
00000af2: PUSH2 0x1bb7
00000af5: JUMP
00000af6: JUMPDEST
00000af7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0c: AND
00000b0d: EQ
00000b0e: PUSH2 0x0b62
00000b11: JUMPI
00000b12: PUSH1 0x40
00000b14: MLOAD
00000b15: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b36: DUP2
00000b37: MSTORE
00000b38: PUSH1 0x04
00000b3a: ADD
00000b3b: DUP1
00000b3c: DUP1
00000b3d: PUSH1 0x20
00000b3f: ADD
00000b40: DUP3
00000b41: DUP2
00000b42: SUB
00000b43: DUP3
00000b44: MSTORE
00000b45: PUSH1 0x21
00000b47: DUP2
00000b48: MSTORE
00000b49: PUSH1 0x20
00000b4b: ADD
00000b4c: DUP1
00000b4d: PUSH2 0x24b4
00000b50: PUSH1 0x21
00000b52: SWAP2
00000b53: CODECOPY
00000b54: PUSH1 0x40
00000b56: ADD
00000b57: SWAP2
00000b58: POP
00000b59: POP
00000b5a: PUSH1 0x40
00000b5c: MLOAD
00000b5d: DUP1
00000b5e: SWAP2
00000b5f: SUB
00000b60: SWAP1
00000b61: REVERT
00000b62: JUMPDEST
00000b63: PUSH1 0x0a
00000b65: PUSH1 0x00
00000b67: SWAP1
00000b68: SLOAD
00000b69: SWAP1
00000b6a: PUSH2 0x0100
00000b6d: EXP
00000b6e: SWAP1
00000b6f: DIV
00000b70: PUSH1 0xff
00000b72: AND
00000b73: PUSH2 0x0be4
00000b76: JUMPI
00000b77: PUSH1 0x40
00000b79: MLOAD
00000b7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x04
00000b9f: ADD
00000ba0: DUP1
00000ba1: DUP1
00000ba2: PUSH1 0x20
00000ba4: ADD
00000ba5: DUP3
00000ba6: DUP2
00000ba7: SUB
00000ba8: DUP3
00000ba9: MSTORE
00000baa: PUSH1 0x1e
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x20
00000bb0: ADD
00000bb1: DUP1
00000bb2: PUSH32 0x476f6c66662d4554482d504f4f4c3a20506f6f6c20697320636c6f7365640000
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: POP
00000bd6: PUSH1 0x20
00000bd8: ADD
00000bd9: SWAP2
00000bda: POP
00000bdb: POP
00000bdc: PUSH1 0x40
00000bde: MLOAD
00000bdf: DUP1
00000be0: SWAP2
00000be1: SUB
00000be2: SWAP1
00000be3: REVERT
00000be4: JUMPDEST
00000be5: PUSH1 0x00
00000be7: PUSH2 0x0bee
00000bea: PUSH2 0x17d1
00000bed: JUMP
00000bee: JUMPDEST
00000bef: PUSH1 0x09
00000bf1: DUP2
00000bf2: SWAP1
00000bf3: SSTORE
00000bf4: POP
00000bf5: PUSH2 0x0bfc
00000bf8: PUSH2 0x1437
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x08
00000bff: DUP2
00000c00: SWAP1
00000c01: SSTORE
00000c02: POP
00000c03: PUSH1 0x00
00000c05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1a: AND
00000c1b: DUP2
00000c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c31: AND
00000c32: EQ
00000c33: PUSH2 0x0cc9
00000c36: JUMPI
00000c37: PUSH2 0x0c3f
00000c3a: DUP2
00000c3b: PUSH2 0x06d6
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH1 0x0c
00000c42: PUSH1 0x00
00000c44: DUP4
00000c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5a: AND
00000c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c70: AND
00000c71: DUP2
00000c72: MSTORE
00000c73: PUSH1 0x20
00000c75: ADD
00000c76: SWAP1
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: ADD
00000c7c: PUSH1 0x00
00000c7e: KECCAK256
00000c7f: DUP2
00000c80: SWAP1
00000c81: SSTORE
00000c82: POP
00000c83: PUSH1 0x09
00000c85: SLOAD
00000c86: PUSH1 0x0b
00000c88: PUSH1 0x00
00000c8a: DUP4
00000c8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca0: AND
00000ca1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb6: AND
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x20
00000cbb: ADD
00000cbc: SWAP1
00000cbd: DUP2
00000cbe: MSTORE
00000cbf: PUSH1 0x20
00000cc1: ADD
00000cc2: PUSH1 0x00
00000cc4: KECCAK256
00000cc5: DUP2
00000cc6: SWAP1
00000cc7: SSTORE
00000cc8: POP
00000cc9: JUMPDEST
00000cca: PUSH4 0x5f58c3c0
00000ccf: TIMESTAMP
00000cd0: GT
00000cd1: ISZERO
00000cd2: PUSH2 0x0df2
00000cd5: JUMPI
00000cd6: PUSH1 0x06
00000cd8: SLOAD
00000cd9: TIMESTAMP
00000cda: LT
00000cdb: PUSH2 0x0d86
00000cde: JUMPI
00000cdf: PUSH1 0x00
00000ce1: PUSH2 0x0d1f
00000ce4: PUSH1 0x01
00000ce6: PUSH2 0x0d11
00000ce9: PUSH3 0x093a80
00000ced: PUSH2 0x0d03
00000cf0: PUSH4 0x5f58c3c0
00000cf5: TIMESTAMP
00000cf6: PUSH2 0x1916
00000cf9: SWAP1
00000cfa: SWAP2
00000cfb: SWAP1
00000cfc: PUSH4 0xffffffff
00000d01: AND
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH2 0x19e6
00000d07: SWAP1
00000d08: SWAP2
00000d09: SWAP1
00000d0a: PUSH4 0xffffffff
00000d0f: AND
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH2 0x1a30
00000d15: SWAP1
00000d16: SWAP2
00000d17: SWAP1
00000d18: PUSH4 0xffffffff
00000d1d: AND
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: SWAP1
00000d21: POP
00000d22: PUSH2 0x0d4d
00000d25: PUSH2 0x0d3a
00000d28: PUSH3 0x093a80
00000d2c: DUP4
00000d2d: PUSH2 0x1960
00000d30: SWAP1
00000d31: SWAP2
00000d32: SWAP1
00000d33: PUSH4 0xffffffff
00000d38: AND
00000d39: JUMP
00000d3a: JUMPDEST
00000d3b: PUSH4 0x5f58c3c0
00000d40: PUSH2 0x1a30
00000d43: SWAP1
00000d44: SWAP2
00000d45: SWAP1
00000d46: PUSH4 0xffffffff
00000d4b: AND
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x06
00000d50: DUP2
00000d51: SWAP1
00000d52: SSTORE
00000d53: POP
00000d54: PUSH2 0x0d7a
00000d57: PUSH2 0x0d6b
00000d5a: TIMESTAMP
00000d5b: PUSH1 0x06
00000d5d: SLOAD
00000d5e: PUSH2 0x1916
00000d61: SWAP1
00000d62: SWAP2
00000d63: SWAP1
00000d64: PUSH4 0xffffffff
00000d69: AND
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: DUP5
00000d6d: PUSH2 0x19e6
00000d70: SWAP1
00000d71: SWAP2
00000d72: SWAP1
00000d73: PUSH4 0xffffffff
00000d78: AND
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH1 0x07
00000d7d: DUP2
00000d7e: SWAP1
00000d7f: SSTORE
00000d80: POP
00000d81: POP
00000d82: PUSH2 0x0de6
00000d85: JUMP
00000d86: JUMPDEST
00000d87: PUSH1 0x00
00000d89: PUSH2 0x0d9d
00000d8c: TIMESTAMP
00000d8d: PUSH1 0x06
00000d8f: SLOAD
00000d90: PUSH2 0x1916
00000d93: SWAP1
00000d94: SWAP2
00000d95: SWAP1
00000d96: PUSH4 0xffffffff
00000d9b: AND
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: SWAP1
00000d9f: POP
00000da0: PUSH1 0x00
00000da2: PUSH2 0x0db6
00000da5: PUSH1 0x07
00000da7: SLOAD
00000da8: DUP4
00000da9: PUSH2 0x1960
00000dac: SWAP1
00000dad: SWAP2
00000dae: SWAP1
00000daf: PUSH4 0xffffffff
00000db4: AND
00000db5: JUMP
00000db6: JUMPDEST
00000db7: SWAP1
00000db8: POP
00000db9: PUSH2 0x0ddd
00000dbc: DUP3
00000dbd: PUSH2 0x0dcf
00000dc0: DUP4
00000dc1: DUP8
00000dc2: PUSH2 0x1a30
00000dc5: SWAP1
00000dc6: SWAP2
00000dc7: SWAP1
00000dc8: PUSH4 0xffffffff
00000dcd: AND
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: PUSH2 0x19e6
00000dd3: SWAP1
00000dd4: SWAP2
00000dd5: SWAP1
00000dd6: PUSH4 0xffffffff
00000ddb: AND
00000ddc: JUMP
00000ddd: JUMPDEST
00000dde: PUSH1 0x07
00000de0: DUP2
00000de1: SWAP1
00000de2: SSTORE
00000de3: POP
00000de4: POP
00000de5: POP
00000de6: JUMPDEST
00000de7: TIMESTAMP
00000de8: PUSH1 0x08
00000dea: DUP2
00000deb: SWAP1
00000dec: SSTORE
00000ded: POP
00000dee: PUSH2 0x0e3a
00000df1: JUMP
00000df2: JUMPDEST
00000df3: PUSH2 0x0e08
00000df6: PUSH3 0x093a80
00000dfa: DUP4
00000dfb: PUSH2 0x19e6
00000dfe: SWAP1
00000dff: SWAP2
00000e00: SWAP1
00000e01: PUSH4 0xffffffff
00000e06: AND
00000e07: JUMP
00000e08: JUMPDEST
00000e09: PUSH1 0x07
00000e0b: DUP2
00000e0c: SWAP1
00000e0d: SSTORE
00000e0e: POP
00000e0f: PUSH2 0x0e28
00000e12: PUSH3 0x093a80
00000e16: PUSH4 0x5f58c3c0
00000e1b: PUSH2 0x1a30
00000e1e: SWAP1
00000e1f: SWAP2
00000e20: SWAP1
00000e21: PUSH4 0xffffffff
00000e26: AND
00000e27: JUMP
00000e28: JUMPDEST
00000e29: PUSH1 0x06
00000e2b: DUP2
00000e2c: SWAP1
00000e2d: SSTORE
00000e2e: POP
00000e2f: PUSH4 0x5f58c3c0
00000e34: PUSH1 0x08
00000e36: DUP2
00000e37: SWAP1
00000e38: SSTORE
00000e39: POP
00000e3a: JUMPDEST
00000e3b: PUSH1 0x05
00000e3d: PUSH1 0x00
00000e3f: SWAP1
00000e40: SLOAD
00000e41: SWAP1
00000e42: PUSH2 0x0100
00000e45: EXP
00000e46: SWAP1
00000e47: DIV
00000e48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5d: AND
00000e5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e73: AND
00000e74: PUSH4 0x40c10f19
00000e79: ADDRESS
00000e7a: DUP5
00000e7b: PUSH1 0x40
00000e7d: MLOAD
00000e7e: DUP4
00000e7f: PUSH4 0xffffffff
00000e84: AND
00000e85: PUSH1 0xe0
00000e87: SHL
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x04
00000e8c: ADD
00000e8d: DUP1
00000e8e: DUP4
00000e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea4: AND
00000ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eba: AND
00000ebb: DUP2
00000ebc: MSTORE
00000ebd: PUSH1 0x20
00000ebf: ADD
00000ec0: DUP3
00000ec1: DUP2
00000ec2: MSTORE
00000ec3: PUSH1 0x20
00000ec5: ADD
00000ec6: SWAP3
00000ec7: POP
00000ec8: POP
00000ec9: POP
00000eca: PUSH1 0x00
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: DUP1
00000ed0: DUP4
00000ed1: SUB
00000ed2: DUP2
00000ed3: PUSH1 0x00
00000ed5: DUP8
00000ed6: DUP1
00000ed7: EXTCODESIZE
00000ed8: ISZERO
00000ed9: DUP1
00000eda: ISZERO
00000edb: PUSH2 0x0ee3
00000ede: JUMPI
00000edf: PUSH1 0x00
00000ee1: DUP1
00000ee2: REVERT
00000ee3: JUMPDEST
00000ee4: POP
00000ee5: GAS
00000ee6: CALL
00000ee7: ISZERO
00000ee8: DUP1
00000ee9: ISZERO
00000eea: PUSH2 0x0ef7
00000eed: JUMPI
00000eee: RETURNDATASIZE
00000eef: PUSH1 0x00
00000ef1: DUP1
00000ef2: RETURNDATACOPY
00000ef3: RETURNDATASIZE
00000ef4: PUSH1 0x00
00000ef6: REVERT
00000ef7: JUMPDEST
00000ef8: POP
00000ef9: POP
00000efa: POP
00000efb: POP
00000efc: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00000f1d: DUP3
00000f1e: PUSH1 0x40
00000f20: MLOAD
00000f21: DUP1
00000f22: DUP3
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x20
00000f27: ADD
00000f28: SWAP2
00000f29: POP
00000f2a: POP
00000f2b: PUSH1 0x40
00000f2d: MLOAD
00000f2e: DUP1
00000f2f: SWAP2
00000f30: SUB
00000f31: SWAP1
00000f32: LOG1
00000f33: PUSH2 0x0f3a
00000f36: PUSH2 0x1bbf
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: POP
00000f3c: POP
00000f3d: POP
00000f3e: JUMP
00000f3f: JUMPDEST
00000f40: PUSH4 0x5f58c3c0
00000f45: TIMESTAMP
00000f46: GT
00000f47: PUSH2 0x0fb8
00000f4a: JUMPI
00000f4b: PUSH1 0x40
00000f4d: MLOAD
00000f4e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x04
00000f73: ADD
00000f74: DUP1
00000f75: DUP1
00000f76: PUSH1 0x20
00000f78: ADD
00000f79: DUP3
00000f7a: DUP2
00000f7b: SUB
00000f7c: DUP3
00000f7d: MSTORE
00000f7e: PUSH1 0x19
00000f80: DUP2
00000f81: MSTORE
00000f82: PUSH1 0x20
00000f84: ADD
00000f85: DUP1
00000f86: PUSH32 0x476f6c66662d4554482d504f4f4c3a204e6f7420737461727400000000000000
00000fa7: DUP2
00000fa8: MSTORE
00000fa9: POP
00000faa: PUSH1 0x20
00000fac: ADD
00000fad: SWAP2
00000fae: POP
00000faf: POP
00000fb0: PUSH1 0x40
00000fb2: MLOAD
00000fb3: DUP1
00000fb4: SWAP2
00000fb5: SUB
00000fb6: SWAP1
00000fb7: REVERT
00000fb8: JUMPDEST
00000fb9: CALLER
00000fba: PUSH2 0x0fc1
00000fbd: PUSH2 0x17d1
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: PUSH1 0x09
00000fc4: DUP2
00000fc5: SWAP1
00000fc6: SSTORE
00000fc7: POP
00000fc8: PUSH2 0x0fcf
00000fcb: PUSH2 0x1437
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x08
00000fd2: DUP2
00000fd3: SWAP1
00000fd4: SSTORE
00000fd5: POP
00000fd6: PUSH1 0x00
00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fed: AND
00000fee: DUP2
00000fef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001004: AND
00001005: EQ
00001006: PUSH2 0x109c
00001009: JUMPI
0000100a: PUSH2 0x1012
0000100d: DUP2
0000100e: PUSH2 0x06d6
00001011: JUMP
00001012: JUMPDEST
00001013: PUSH1 0x0c
00001015: PUSH1 0x00
00001017: DUP4
00001018: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102d: AND
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x20
00001048: ADD
00001049: SWAP1
0000104a: DUP2
0000104b: MSTORE
0000104c: PUSH1 0x20
0000104e: ADD
0000104f: PUSH1 0x00
00001051: KECCAK256
00001052: DUP2
00001053: SWAP1
00001054: SSTORE
00001055: POP
00001056: PUSH1 0x09
00001058: SLOAD
00001059: PUSH1 0x0b
0000105b: PUSH1 0x00
0000105d: DUP4
0000105e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001073: AND
00001074: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001089: AND
0000108a: DUP2
0000108b: MSTORE
0000108c: PUSH1 0x20
0000108e: ADD
0000108f: SWAP1
00001090: DUP2
00001091: MSTORE
00001092: PUSH1 0x20
00001094: ADD
00001095: PUSH1 0x00
00001097: KECCAK256
00001098: DUP2
00001099: SWAP1
0000109a: SSTORE
0000109b: POP
0000109c: JUMPDEST
0000109d: PUSH1 0x00
0000109f: PUSH2 0x10a7
000010a2: CALLER
000010a3: PUSH2 0x06d6
000010a6: JUMP
000010a7: JUMPDEST
000010a8: SWAP1
000010a9: POP
000010aa: PUSH1 0x00
000010ac: DUP2
000010ad: GT
000010ae: ISZERO
000010af: PUSH2 0x1193
000010b2: JUMPI
000010b3: PUSH1 0x00
000010b5: PUSH1 0x0c
000010b7: PUSH1 0x00
000010b9: CALLER
000010ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cf: AND
000010d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e5: AND
000010e6: DUP2
000010e7: MSTORE
000010e8: PUSH1 0x20
000010ea: ADD
000010eb: SWAP1
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: PUSH1 0x00
000010f3: KECCAK256
000010f4: DUP2
000010f5: SWAP1
000010f6: SSTORE
000010f7: POP
000010f8: PUSH2 0x1144
000010fb: CALLER
000010fc: DUP3
000010fd: PUSH1 0x05
000010ff: PUSH1 0x00
00001101: SWAP1
00001102: SLOAD
00001103: SWAP1
00001104: PUSH2 0x0100
00001107: EXP
00001108: SWAP1
00001109: DIV
0000110a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111f: AND
00001120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001135: AND
00001136: PUSH2 0x1bf8
00001139: SWAP1
0000113a: SWAP3
0000113b: SWAP2
0000113c: SWAP1
0000113d: PUSH4 0xffffffff
00001142: AND
00001143: JUMP
00001144: JUMPDEST
00001145: CALLER
00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115b: AND
0000115c: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
0000117d: DUP3
0000117e: PUSH1 0x40
00001180: MLOAD
00001181: DUP1
00001182: DUP3
00001183: DUP2
00001184: MSTORE
00001185: PUSH1 0x20
00001187: ADD
00001188: SWAP2
00001189: POP
0000118a: POP
0000118b: PUSH1 0x40
0000118d: MLOAD
0000118e: DUP1
0000118f: SWAP2
00001190: SUB
00001191: SWAP1
00001192: LOG2
00001193: JUMPDEST
00001194: POP
00001195: POP
00001196: JUMP
00001197: JUMPDEST
00001198: PUSH1 0x00
0000119a: PUSH1 0x0a
0000119c: PUSH1 0x00
0000119e: SWAP1
0000119f: SLOAD
000011a0: SWAP1
000011a1: PUSH2 0x0100
000011a4: EXP
000011a5: SWAP1
000011a6: DIV
000011a7: PUSH1 0xff
000011a9: AND
000011aa: SWAP1
000011ab: POP
000011ac: SWAP1
000011ad: JUMP
000011ae: JUMPDEST
000011af: PUSH1 0x00
000011b1: DUP1
000011b2: SWAP1
000011b3: SLOAD
000011b4: SWAP1
000011b5: PUSH2 0x0100
000011b8: EXP
000011b9: SWAP1
000011ba: DIV
000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d0: AND
000011d1: DUP2
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH2 0x11db
000011d7: PUSH2 0x148c
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH2 0x124d
000011df: JUMPI
000011e0: PUSH1 0x40
000011e2: MLOAD
000011e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001204: DUP2
00001205: MSTORE
00001206: PUSH1 0x04
00001208: ADD
00001209: DUP1
0000120a: DUP1
0000120b: PUSH1 0x20
0000120d: ADD
0000120e: DUP3
0000120f: DUP2
00001210: SUB
00001211: DUP3
00001212: MSTORE
00001213: PUSH1 0x20
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x20
00001219: ADD
0000121a: DUP1
0000121b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000123c: DUP2
0000123d: MSTORE
0000123e: POP
0000123f: PUSH1 0x20
00001241: ADD
00001242: SWAP2
00001243: POP
00001244: POP
00001245: PUSH1 0x40
00001247: MLOAD
00001248: DUP1
00001249: SWAP2
0000124a: SUB
0000124b: SWAP1
0000124c: REVERT
0000124d: JUMPDEST
0000124e: DUP1
0000124f: PUSH1 0x0a
00001251: PUSH1 0x00
00001253: PUSH2 0x0100
00001256: EXP
00001257: DUP2
00001258: SLOAD
00001259: DUP2
0000125a: PUSH1 0xff
0000125c: MUL
0000125d: NOT
0000125e: AND
0000125f: SWAP1
00001260: DUP4
00001261: ISZERO
00001262: ISZERO
00001263: MUL
00001264: OR
00001265: SWAP1
00001266: SSTORE
00001267: POP
00001268: PUSH32 0x294847065aeb5e8e788661acfc7dbcb26c7f0454406268fce96109d7136928af
00001289: DUP2
0000128a: PUSH1 0x40
0000128c: MLOAD
0000128d: DUP1
0000128e: DUP3
0000128f: ISZERO
00001290: ISZERO
00001291: ISZERO
00001292: ISZERO
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x20
00001297: ADD
00001298: SWAP2
00001299: POP
0000129a: POP
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: DUP1
0000129f: SWAP2
000012a0: SUB
000012a1: SWAP1
000012a2: LOG1
000012a3: POP
000012a4: JUMP
000012a5: JUMPDEST
000012a6: PUSH1 0x00
000012a8: PUSH1 0x02
000012aa: PUSH1 0x00
000012ac: DUP4
000012ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c2: AND
000012c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d8: AND
000012d9: DUP2
000012da: MSTORE
000012db: PUSH1 0x20
000012dd: ADD
000012de: SWAP1
000012df: DUP2
000012e0: MSTORE
000012e1: PUSH1 0x20
000012e3: ADD
000012e4: PUSH1 0x00
000012e6: KECCAK256
000012e7: SLOAD
000012e8: SWAP1
000012e9: POP
000012ea: SWAP2
000012eb: SWAP1
000012ec: POP
000012ed: JUMP
000012ee: JUMPDEST
000012ef: PUSH2 0x12f6
000012f2: PUSH2 0x148c
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH2 0x1368
000012fa: JUMPI
000012fb: PUSH1 0x40
000012fd: MLOAD
000012fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000131f: DUP2
00001320: MSTORE
00001321: PUSH1 0x04
00001323: ADD
00001324: DUP1
00001325: DUP1
00001326: PUSH1 0x20
00001328: ADD
00001329: DUP3
0000132a: DUP2
0000132b: SUB
0000132c: DUP3
0000132d: MSTORE
0000132e: PUSH1 0x20
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: ADD
00001335: DUP1
00001336: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001357: DUP2
00001358: MSTORE
00001359: POP
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: SWAP2
0000135e: POP
0000135f: POP
00001360: PUSH1 0x40
00001362: MLOAD
00001363: DUP1
00001364: SWAP2
00001365: SUB
00001366: SWAP1
00001367: REVERT
00001368: JUMPDEST
00001369: PUSH1 0x00
0000136b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001380: AND
00001381: PUSH1 0x03
00001383: PUSH1 0x00
00001385: SWAP1
00001386: SLOAD
00001387: SWAP1
00001388: PUSH2 0x0100
0000138b: EXP
0000138c: SWAP1
0000138d: DIV
0000138e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a3: AND
000013a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b9: AND
000013ba: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: PUSH1 0x40
000013e0: MLOAD
000013e1: DUP1
000013e2: SWAP2
000013e3: SUB
000013e4: SWAP1
000013e5: LOG3
000013e6: PUSH1 0x00
000013e8: PUSH1 0x03
000013ea: PUSH1 0x00
000013ec: PUSH2 0x0100
000013ef: EXP
000013f0: DUP2
000013f1: SLOAD
000013f2: DUP2
000013f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001408: MUL
00001409: NOT
0000140a: AND
0000140b: SWAP1
0000140c: DUP4
0000140d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001422: AND
00001423: MUL
00001424: OR
00001425: SWAP1
00001426: SSTORE
00001427: POP
00001428: JUMP
00001429: JUMPDEST
0000142a: PUSH4 0x5f58c3c0
0000142f: DUP2
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH1 0x07
00001434: SLOAD
00001435: DUP2
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH1 0x00
0000143a: PUSH2 0x1445
0000143d: TIMESTAMP
0000143e: PUSH1 0x06
00001440: SLOAD
00001441: PUSH2 0x1cc9
00001444: JUMP
00001445: JUMPDEST
00001446: SWAP1
00001447: POP
00001448: SWAP1
00001449: JUMP
0000144a: JUMPDEST
0000144b: PUSH1 0x0b
0000144d: PUSH1 0x20
0000144f: MSTORE
00001450: DUP1
00001451: PUSH1 0x00
00001453: MSTORE
00001454: PUSH1 0x40
00001456: PUSH1 0x00
00001458: KECCAK256
00001459: PUSH1 0x00
0000145b: SWAP2
0000145c: POP
0000145d: SWAP1
0000145e: POP
0000145f: SLOAD
00001460: DUP2
00001461: JUMP
00001462: JUMPDEST
00001463: PUSH1 0x00
00001465: PUSH1 0x03
00001467: PUSH1 0x00
00001469: SWAP1
0000146a: SLOAD
0000146b: SWAP1
0000146c: PUSH2 0x0100
0000146f: EXP
00001470: SWAP1
00001471: DIV
00001472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001487: AND
00001488: SWAP1
00001489: POP
0000148a: SWAP1
0000148b: JUMP
0000148c: JUMPDEST
0000148d: PUSH1 0x00
0000148f: PUSH1 0x03
00001491: PUSH1 0x00
00001493: SWAP1
00001494: SLOAD
00001495: SWAP1
00001496: PUSH2 0x0100
00001499: EXP
0000149a: SWAP1
0000149b: DIV
0000149c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b1: AND
000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c7: AND
000014c8: PUSH2 0x14cf
000014cb: PUSH2 0x1bb7
000014ce: JUMP
000014cf: JUMPDEST
000014d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e5: AND
000014e6: EQ
000014e7: SWAP1
000014e8: POP
000014e9: SWAP1
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH1 0x0a
000014ee: PUSH1 0x00
000014f0: SWAP1
000014f1: SLOAD
000014f2: SWAP1
000014f3: PUSH2 0x0100
000014f6: EXP
000014f7: SWAP1
000014f8: DIV
000014f9: PUSH1 0xff
000014fb: AND
000014fc: PUSH2 0x156d
000014ff: JUMPI
00001500: PUSH1 0x40
00001502: MLOAD
00001503: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001524: DUP2
00001525: MSTORE
00001526: PUSH1 0x04
00001528: ADD
00001529: DUP1
0000152a: DUP1
0000152b: PUSH1 0x20
0000152d: ADD
0000152e: DUP3
0000152f: DUP2
00001530: SUB
00001531: DUP3
00001532: MSTORE
00001533: PUSH1 0x1e
00001535: DUP2
00001536: MSTORE
00001537: PUSH1 0x20
00001539: ADD
0000153a: DUP1
0000153b: PUSH32 0x476f6c66662d4554482d504f4f4c3a20506f6f6c20697320636c6f7365640000
0000155c: DUP2
0000155d: MSTORE
0000155e: POP
0000155f: PUSH1 0x20
00001561: ADD
00001562: SWAP2
00001563: POP
00001564: POP
00001565: PUSH1 0x40
00001567: MLOAD
00001568: DUP1
00001569: SWAP2
0000156a: SUB
0000156b: SWAP1
0000156c: REVERT
0000156d: JUMPDEST
0000156e: PUSH4 0x5f58c3c0
00001573: TIMESTAMP
00001574: GT
00001575: PUSH2 0x15e6
00001578: JUMPI
00001579: PUSH1 0x40
0000157b: MLOAD
0000157c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000159d: DUP2
0000159e: MSTORE
0000159f: PUSH1 0x04
000015a1: ADD
000015a2: DUP1
000015a3: DUP1
000015a4: PUSH1 0x20
000015a6: ADD
000015a7: DUP3
000015a8: DUP2
000015a9: SUB
000015aa: DUP3
000015ab: MSTORE
000015ac: PUSH1 0x19
000015ae: DUP2
000015af: MSTORE
000015b0: PUSH1 0x20
000015b2: ADD
000015b3: DUP1
000015b4: PUSH32 0x476f6c66662d4554482d504f4f4c3a204e6f7420737461727400000000000000
000015d5: DUP2
000015d6: MSTORE
000015d7: POP
000015d8: PUSH1 0x20
000015da: ADD
000015db: SWAP2
000015dc: POP
000015dd: POP
000015de: PUSH1 0x40
000015e0: MLOAD
000015e1: DUP1
000015e2: SWAP2
000015e3: SUB
000015e4: SWAP1
000015e5: REVERT
000015e6: JUMPDEST
000015e7: CALLER
000015e8: PUSH2 0x15ef
000015eb: PUSH2 0x17d1
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH1 0x09
000015f2: DUP2
000015f3: SWAP1
000015f4: SSTORE
000015f5: POP
000015f6: PUSH2 0x15fd
000015f9: PUSH2 0x1437
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x08
00001600: DUP2
00001601: SWAP1
00001602: SSTORE
00001603: POP
00001604: PUSH1 0x00
00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161b: AND
0000161c: DUP2
0000161d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001632: AND
00001633: EQ
00001634: PUSH2 0x16ca
00001637: JUMPI
00001638: PUSH2 0x1640
0000163b: DUP2
0000163c: PUSH2 0x06d6
0000163f: JUMP
00001640: JUMPDEST
00001641: PUSH1 0x0c
00001643: PUSH1 0x00
00001645: DUP4
00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165b: AND
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: DUP2
00001673: MSTORE
00001674: PUSH1 0x20
00001676: ADD
00001677: SWAP1
00001678: DUP2
00001679: MSTORE
0000167a: PUSH1 0x20
0000167c: ADD
0000167d: PUSH1 0x00
0000167f: KECCAK256
00001680: DUP2
00001681: SWAP1
00001682: SSTORE
00001683: POP
00001684: PUSH1 0x09
00001686: SLOAD
00001687: PUSH1 0x0b
00001689: PUSH1 0x00
0000168b: DUP4
0000168c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a1: AND
000016a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b7: AND
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x20
000016bc: ADD
000016bd: SWAP1
000016be: DUP2
000016bf: MSTORE
000016c0: PUSH1 0x20
000016c2: ADD
000016c3: PUSH1 0x00
000016c5: KECCAK256
000016c6: DUP2
000016c7: SWAP1
000016c8: SSTORE
000016c9: POP
000016ca: JUMPDEST
000016cb: PUSH1 0x00
000016cd: DUP3
000016ce: GT
000016cf: PUSH2 0x1740
000016d2: JUMPI
000016d3: PUSH1 0x40
000016d5: MLOAD
000016d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016f7: DUP2
000016f8: MSTORE
000016f9: PUSH1 0x04
000016fb: ADD
000016fc: DUP1
000016fd: DUP1
000016fe: PUSH1 0x20
00001700: ADD
00001701: DUP3
00001702: DUP2
00001703: SUB
00001704: DUP3
00001705: MSTORE
00001706: PUSH1 0x1e
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x20
0000170c: ADD
0000170d: DUP1
0000170e: PUSH32 0x476f6c66662d4554482d504f4f4c3a2043616e6e6f74207374616b6520300000
0000172f: DUP2
00001730: MSTORE
00001731: POP
00001732: PUSH1 0x20
00001734: ADD
00001735: SWAP2
00001736: POP
00001737: POP
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: DUP1
0000173c: SWAP2
0000173d: SUB
0000173e: SWAP1
0000173f: REVERT
00001740: JUMPDEST
00001741: PUSH2 0x1749
00001744: DUP3
00001745: PUSH2 0x1ce2
00001748: JUMP
00001749: JUMPDEST
0000174a: CALLER
0000174b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001760: AND
00001761: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00001782: DUP4
00001783: PUSH1 0x40
00001785: MLOAD
00001786: DUP1
00001787: DUP3
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x20
0000178c: ADD
0000178d: SWAP2
0000178e: POP
0000178f: POP
00001790: PUSH1 0x40
00001792: MLOAD
00001793: DUP1
00001794: SWAP2
00001795: SUB
00001796: SWAP1
00001797: LOG2
00001798: POP
00001799: POP
0000179a: JUMP
0000179b: JUMPDEST
0000179c: PUSH1 0x05
0000179e: PUSH1 0x00
000017a0: SWAP1
000017a1: SLOAD
000017a2: SWAP1
000017a3: PUSH2 0x0100
000017a6: EXP
000017a7: SWAP1
000017a8: DIV
000017a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017be: AND
000017bf: DUP2
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x08
000017c4: SLOAD
000017c5: DUP2
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH1 0x00
000017ca: PUSH1 0x06
000017cc: SLOAD
000017cd: SWAP1
000017ce: POP
000017cf: SWAP1
000017d0: JUMP
000017d1: JUMPDEST
000017d2: PUSH1 0x00
000017d4: DUP1
000017d5: PUSH2 0x17dc
000017d8: PUSH2 0x0893
000017db: JUMP
000017dc: JUMPDEST
000017dd: EQ
000017de: ISZERO
000017df: PUSH2 0x17ec
000017e2: JUMPI
000017e3: PUSH1 0x09
000017e5: SLOAD
000017e6: SWAP1
000017e7: POP
000017e8: PUSH2 0x1866
000017eb: JUMP
000017ec: JUMPDEST
000017ed: PUSH2 0x1863
000017f0: PUSH2 0x1852
000017f3: PUSH2 0x17fa
000017f6: PUSH2 0x0893
000017f9: JUMP
000017fa: JUMPDEST
000017fb: PUSH2 0x1844
000017fe: PUSH8 0x0de0b6b3a7640000
00001807: PUSH2 0x1836
0000180a: PUSH1 0x07
0000180c: SLOAD
0000180d: PUSH2 0x1828
00001810: PUSH1 0x08
00001812: SLOAD
00001813: PUSH2 0x181a
00001816: PUSH2 0x1437
00001819: JUMP
0000181a: JUMPDEST
0000181b: PUSH2 0x1916
0000181e: SWAP1
0000181f: SWAP2
00001820: SWAP1
00001821: PUSH4 0xffffffff
00001826: AND
00001827: JUMP
00001828: JUMPDEST
00001829: PUSH2 0x1960
0000182c: SWAP1
0000182d: SWAP2
0000182e: SWAP1
0000182f: PUSH4 0xffffffff
00001834: AND
00001835: JUMP
00001836: JUMPDEST
00001837: PUSH2 0x1960
0000183a: SWAP1
0000183b: SWAP2
0000183c: SWAP1
0000183d: PUSH4 0xffffffff
00001842: AND
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH2 0x19e6
00001848: SWAP1
00001849: SWAP2
0000184a: SWAP1
0000184b: PUSH4 0xffffffff
00001850: AND
00001851: JUMP
00001852: JUMPDEST
00001853: PUSH1 0x09
00001855: SLOAD
00001856: PUSH2 0x1a30
00001859: SWAP1
0000185a: SWAP2
0000185b: SWAP1
0000185c: PUSH4 0xffffffff
00001861: AND
00001862: JUMP
00001863: JUMPDEST
00001864: SWAP1
00001865: POP
00001866: JUMPDEST
00001867: SWAP1
00001868: JUMP
00001869: JUMPDEST
0000186a: PUSH1 0x09
0000186c: SLOAD
0000186d: DUP2
0000186e: JUMP
0000186f: JUMPDEST
00001870: PUSH2 0x1880
00001873: PUSH2 0x187b
00001876: CALLER
00001877: PUSH2 0x12a5
0000187a: JUMP
0000187b: JUMPDEST
0000187c: PUSH2 0x08a4
0000187f: JUMP
00001880: JUMPDEST
00001881: PUSH2 0x1888
00001884: PUSH2 0x0f3f
00001887: JUMP
00001888: JUMPDEST
00001889: JUMP
0000188a: JUMPDEST
0000188b: PUSH1 0x06
0000188d: SLOAD
0000188e: DUP2
0000188f: JUMP
00001890: JUMPDEST
00001891: PUSH2 0x1898
00001894: PUSH2 0x148c
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH2 0x190a
0000189c: JUMPI
0000189d: PUSH1 0x40
0000189f: MLOAD
000018a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018c1: DUP2
000018c2: MSTORE
000018c3: PUSH1 0x04
000018c5: ADD
000018c6: DUP1
000018c7: DUP1
000018c8: PUSH1 0x20
000018ca: ADD
000018cb: DUP3
000018cc: DUP2
000018cd: SUB
000018ce: DUP3
000018cf: MSTORE
000018d0: PUSH1 0x20
000018d2: DUP2
000018d3: MSTORE
000018d4: PUSH1 0x20
000018d6: ADD
000018d7: DUP1
000018d8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000018f9: DUP2
000018fa: MSTORE
000018fb: POP
000018fc: PUSH1 0x20
000018fe: ADD
000018ff: SWAP2
00001900: POP
00001901: POP
00001902: PUSH1 0x40
00001904: MLOAD
00001905: DUP1
00001906: SWAP2
00001907: SUB
00001908: SWAP1
00001909: REVERT
0000190a: JUMPDEST
0000190b: PUSH2 0x1913
0000190e: DUP2
0000190f: PUSH2 0x1de3
00001912: JUMP
00001913: JUMPDEST
00001914: POP
00001915: JUMP
00001916: JUMPDEST
00001917: PUSH1 0x00
00001919: PUSH2 0x1958
0000191c: DUP4
0000191d: DUP4
0000191e: PUSH1 0x40
00001920: MLOAD
00001921: DUP1
00001922: PUSH1 0x40
00001924: ADD
00001925: PUSH1 0x40
00001927: MSTORE
00001928: DUP1
00001929: PUSH1 0x1e
0000192b: DUP2
0000192c: MSTORE
0000192d: PUSH1 0x20
0000192f: ADD
00001930: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001951: DUP2
00001952: MSTORE
00001953: POP
00001954: PUSH2 0x1f29
00001957: JUMP
00001958: JUMPDEST
00001959: SWAP1
0000195a: POP
0000195b: SWAP3
0000195c: SWAP2
0000195d: POP
0000195e: POP
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH1 0x00
00001963: DUP1
00001964: DUP4
00001965: EQ
00001966: ISZERO
00001967: PUSH2 0x1973
0000196a: JUMPI
0000196b: PUSH1 0x00
0000196d: SWAP1
0000196e: POP
0000196f: PUSH2 0x19e0
00001972: JUMP
00001973: JUMPDEST
00001974: PUSH1 0x00
00001976: DUP3
00001977: DUP5
00001978: MUL
00001979: SWAP1
0000197a: POP
0000197b: DUP3
0000197c: DUP5
0000197d: DUP3
0000197e: DUP2
0000197f: PUSH2 0x1984
00001982: JUMPI
00001983: INVALID
00001984: JUMPDEST
00001985: DIV
00001986: EQ
00001987: PUSH2 0x19db
0000198a: JUMPI
0000198b: PUSH1 0x40
0000198d: MLOAD
0000198e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019af: DUP2
000019b0: MSTORE
000019b1: PUSH1 0x04
000019b3: ADD
000019b4: DUP1
000019b5: DUP1
000019b6: PUSH1 0x20
000019b8: ADD
000019b9: DUP3
000019ba: DUP2
000019bb: SUB
000019bc: DUP3
000019bd: MSTORE
000019be: PUSH1 0x21
000019c0: DUP2
000019c1: MSTORE
000019c2: PUSH1 0x20
000019c4: ADD
000019c5: DUP1
000019c6: PUSH2 0x2493
000019c9: PUSH1 0x21
000019cb: SWAP2
000019cc: CODECOPY
000019cd: PUSH1 0x40
000019cf: ADD
000019d0: SWAP2
000019d1: POP
000019d2: POP
000019d3: PUSH1 0x40
000019d5: MLOAD
000019d6: DUP1
000019d7: SWAP2
000019d8: SUB
000019d9: SWAP1
000019da: REVERT
000019db: JUMPDEST
000019dc: DUP1
000019dd: SWAP2
000019de: POP
000019df: POP
000019e0: JUMPDEST
000019e1: SWAP3
000019e2: SWAP2
000019e3: POP
000019e4: POP
000019e5: JUMP
000019e6: JUMPDEST
000019e7: PUSH1 0x00
000019e9: PUSH2 0x1a28
000019ec: DUP4
000019ed: DUP4
000019ee: PUSH1 0x40
000019f0: MLOAD
000019f1: DUP1
000019f2: PUSH1 0x40
000019f4: ADD
000019f5: PUSH1 0x40
000019f7: MSTORE
000019f8: DUP1
000019f9: PUSH1 0x1a
000019fb: DUP2
000019fc: MSTORE
000019fd: PUSH1 0x20
000019ff: ADD
00001a00: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001a21: DUP2
00001a22: MSTORE
00001a23: POP
00001a24: PUSH2 0x1fe9
00001a27: JUMP
00001a28: JUMPDEST
00001a29: SWAP1
00001a2a: POP
00001a2b: SWAP3
00001a2c: SWAP2
00001a2d: POP
00001a2e: POP
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: PUSH1 0x00
00001a33: DUP1
00001a34: DUP3
00001a35: DUP5
00001a36: ADD
00001a37: SWAP1
00001a38: POP
00001a39: DUP4
00001a3a: DUP2
00001a3b: LT
00001a3c: ISZERO
00001a3d: PUSH2 0x1aae
00001a40: JUMPI
00001a41: PUSH1 0x40
00001a43: MLOAD
00001a44: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x04
00001a69: ADD
00001a6a: DUP1
00001a6b: DUP1
00001a6c: PUSH1 0x20
00001a6e: ADD
00001a6f: DUP3
00001a70: DUP2
00001a71: SUB
00001a72: DUP3
00001a73: MSTORE
00001a74: PUSH1 0x1b
00001a76: DUP2
00001a77: MSTORE
00001a78: PUSH1 0x20
00001a7a: ADD
00001a7b: DUP1
00001a7c: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001a9d: DUP2
00001a9e: MSTORE
00001a9f: POP
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: SWAP2
00001aa4: POP
00001aa5: POP
00001aa6: PUSH1 0x40
00001aa8: MLOAD
00001aa9: DUP1
00001aaa: SWAP2
00001aab: SUB
00001aac: SWAP1
00001aad: REVERT
00001aae: JUMPDEST
00001aaf: DUP1
00001ab0: SWAP2
00001ab1: POP
00001ab2: POP
00001ab3: SWAP3
00001ab4: SWAP2
00001ab5: POP
00001ab6: POP
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH2 0x1acd
00001abc: DUP2
00001abd: PUSH1 0x01
00001abf: SLOAD
00001ac0: PUSH2 0x1916
00001ac3: SWAP1
00001ac4: SWAP2
00001ac5: SWAP1
00001ac6: PUSH4 0xffffffff
00001acb: AND
00001acc: JUMP
00001acd: JUMPDEST
00001ace: PUSH1 0x01
00001ad0: DUP2
00001ad1: SWAP1
00001ad2: SSTORE
00001ad3: POP
00001ad4: PUSH2 0x1b25
00001ad7: DUP2
00001ad8: PUSH1 0x02
00001ada: PUSH1 0x00
00001adc: CALLER
00001add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af2: AND
00001af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b08: AND
00001b09: DUP2
00001b0a: MSTORE
00001b0b: PUSH1 0x20
00001b0d: ADD
00001b0e: SWAP1
00001b0f: DUP2
00001b10: MSTORE
00001b11: PUSH1 0x20
00001b13: ADD
00001b14: PUSH1 0x00
00001b16: KECCAK256
00001b17: SLOAD
00001b18: PUSH2 0x1916
00001b1b: SWAP1
00001b1c: SWAP2
00001b1d: SWAP1
00001b1e: PUSH4 0xffffffff
00001b23: AND
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH1 0x02
00001b28: PUSH1 0x00
00001b2a: CALLER
00001b2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b40: AND
00001b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b56: AND
00001b57: DUP2
00001b58: MSTORE
00001b59: PUSH1 0x20
00001b5b: ADD
00001b5c: SWAP1
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x20
00001b61: ADD
00001b62: PUSH1 0x00
00001b64: KECCAK256
00001b65: DUP2
00001b66: SWAP1
00001b67: SSTORE
00001b68: POP
00001b69: PUSH2 0x1bb4
00001b6c: CALLER
00001b6d: DUP3
00001b6e: PUSH1 0x00
00001b70: DUP1
00001b71: SWAP1
00001b72: SLOAD
00001b73: SWAP1
00001b74: PUSH2 0x0100
00001b77: EXP
00001b78: SWAP1
00001b79: DIV
00001b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8f: AND
00001b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ba5: AND
00001ba6: PUSH2 0x1bf8
00001ba9: SWAP1
00001baa: SWAP3
00001bab: SWAP2
00001bac: SWAP1
00001bad: PUSH4 0xffffffff
00001bb2: AND
00001bb3: JUMP
00001bb4: JUMPDEST
00001bb5: POP
00001bb6: JUMP
00001bb7: JUMPDEST
00001bb8: PUSH1 0x00
00001bba: CALLER
00001bbb: SWAP1
00001bbc: POP
00001bbd: SWAP1
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x00
00001bc2: PUSH2 0x1bf3
00001bc5: PUSH8 0x0de0b6b3a7640000
00001bce: PUSH2 0x1be5
00001bd1: PUSH1 0x07
00001bd3: SLOAD
00001bd4: PUSH3 0x093a80
00001bd8: PUSH2 0x1960
00001bdb: SWAP1
00001bdc: SWAP2
00001bdd: SWAP1
00001bde: PUSH4 0xffffffff
00001be3: AND
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH2 0x1960
00001be9: SWAP1
00001bea: SWAP2
00001beb: SWAP1
00001bec: PUSH4 0xffffffff
00001bf1: AND
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: SWAP1
00001bf5: POP
00001bf6: SWAP1
00001bf7: JUMP
00001bf8: JUMPDEST
00001bf9: PUSH2 0x1cc4
00001bfc: DUP4
00001bfd: DUP5
00001bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c13: AND
00001c14: PUSH4 0xa9059cbb
00001c19: SWAP1
00001c1a: POP
00001c1b: PUSH1 0xe0
00001c1d: SHL
00001c1e: DUP5
00001c1f: DUP5
00001c20: PUSH1 0x40
00001c22: MLOAD
00001c23: PUSH1 0x24
00001c25: ADD
00001c26: DUP1
00001c27: DUP4
00001c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3d: AND
00001c3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c53: AND
00001c54: DUP2
00001c55: MSTORE
00001c56: PUSH1 0x20
00001c58: ADD
00001c59: DUP3
00001c5a: DUP2
00001c5b: MSTORE
00001c5c: PUSH1 0x20
00001c5e: ADD
00001c5f: SWAP3
00001c60: POP
00001c61: POP
00001c62: POP
00001c63: PUSH1 0x40
00001c65: MLOAD
00001c66: PUSH1 0x20
00001c68: DUP2
00001c69: DUP4
00001c6a: SUB
00001c6b: SUB
00001c6c: DUP2
00001c6d: MSTORE
00001c6e: SWAP1
00001c6f: PUSH1 0x40
00001c71: MSTORE
00001c72: SWAP1
00001c73: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c90: NOT
00001c91: AND
00001c92: PUSH1 0x20
00001c94: DUP3
00001c95: ADD
00001c96: DUP1
00001c97: MLOAD
00001c98: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001cb5: DUP4
00001cb6: DUP2
00001cb7: DUP4
00001cb8: AND
00001cb9: OR
00001cba: DUP4
00001cbb: MSTORE
00001cbc: POP
00001cbd: POP
00001cbe: POP
00001cbf: POP
00001cc0: PUSH2 0x20af
00001cc3: JUMP
00001cc4: JUMPDEST
00001cc5: POP
00001cc6: POP
00001cc7: POP
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH1 0x00
00001ccc: DUP2
00001ccd: DUP4
00001cce: LT
00001ccf: PUSH2 0x1cd8
00001cd2: JUMPI
00001cd3: DUP2
00001cd4: PUSH2 0x1cda
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: DUP3
00001cda: JUMPDEST
00001cdb: SWAP1
00001cdc: POP
00001cdd: SWAP3
00001cde: SWAP2
00001cdf: POP
00001ce0: POP
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: PUSH2 0x1cf7
00001ce6: DUP2
00001ce7: PUSH1 0x01
00001ce9: SLOAD
00001cea: PUSH2 0x1a30
00001ced: SWAP1
00001cee: SWAP2
00001cef: SWAP1
00001cf0: PUSH4 0xffffffff
00001cf5: AND
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x01
00001cfa: DUP2
00001cfb: SWAP1
00001cfc: SSTORE
00001cfd: POP
00001cfe: PUSH2 0x1d4f
00001d01: DUP2
00001d02: PUSH1 0x02
00001d04: PUSH1 0x00
00001d06: CALLER
00001d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d1c: AND
00001d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d32: AND
00001d33: DUP2
00001d34: MSTORE
00001d35: PUSH1 0x20
00001d37: ADD
00001d38: SWAP1
00001d39: DUP2
00001d3a: MSTORE
00001d3b: PUSH1 0x20
00001d3d: ADD
00001d3e: PUSH1 0x00
00001d40: KECCAK256
00001d41: SLOAD
00001d42: PUSH2 0x1a30
00001d45: SWAP1
00001d46: SWAP2
00001d47: SWAP1
00001d48: PUSH4 0xffffffff
00001d4d: AND
00001d4e: JUMP
00001d4f: JUMPDEST
00001d50: PUSH1 0x02
00001d52: PUSH1 0x00
00001d54: CALLER
00001d55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d6a: AND
00001d6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d80: AND
00001d81: DUP2
00001d82: MSTORE
00001d83: PUSH1 0x20
00001d85: ADD
00001d86: SWAP1
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: ADD
00001d8c: PUSH1 0x00
00001d8e: KECCAK256
00001d8f: DUP2
00001d90: SWAP1
00001d91: SSTORE
00001d92: POP
00001d93: PUSH2 0x1de0
00001d96: CALLER
00001d97: ADDRESS
00001d98: DUP4
00001d99: PUSH1 0x00
00001d9b: DUP1
00001d9c: SWAP1
00001d9d: SLOAD
00001d9e: SWAP1
00001d9f: PUSH2 0x0100
00001da2: EXP
00001da3: SWAP1
00001da4: DIV
00001da5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dba: AND
00001dbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd0: AND
00001dd1: PUSH2 0x22fa
00001dd4: SWAP1
00001dd5: SWAP4
00001dd6: SWAP3
00001dd7: SWAP2
00001dd8: SWAP1
00001dd9: PUSH4 0xffffffff
00001dde: AND
00001ddf: JUMP
00001de0: JUMPDEST
00001de1: POP
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x00
00001de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfb: AND
00001dfc: DUP2
00001dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e12: AND
00001e13: EQ
00001e14: ISZERO
00001e15: PUSH2 0x1e69
00001e18: JUMPI
00001e19: PUSH1 0x40
00001e1b: MLOAD
00001e1c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e3d: DUP2
00001e3e: MSTORE
00001e3f: PUSH1 0x04
00001e41: ADD
00001e42: DUP1
00001e43: DUP1
00001e44: PUSH1 0x20
00001e46: ADD
00001e47: DUP3
00001e48: DUP2
00001e49: SUB
00001e4a: DUP3
00001e4b: MSTORE
00001e4c: PUSH1 0x26
00001e4e: DUP2
00001e4f: MSTORE
00001e50: PUSH1 0x20
00001e52: ADD
00001e53: DUP1
00001e54: PUSH2 0x244c
00001e57: PUSH1 0x26
00001e59: SWAP2
00001e5a: CODECOPY
00001e5b: PUSH1 0x40
00001e5d: ADD
00001e5e: SWAP2
00001e5f: POP
00001e60: POP
00001e61: PUSH1 0x40
00001e63: MLOAD
00001e64: DUP1
00001e65: SWAP2
00001e66: SUB
00001e67: SWAP1
00001e68: REVERT
00001e69: JUMPDEST
00001e6a: DUP1
00001e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e80: AND
00001e81: PUSH1 0x03
00001e83: PUSH1 0x00
00001e85: SWAP1
00001e86: SLOAD
00001e87: SWAP1
00001e88: PUSH2 0x0100
00001e8b: EXP
00001e8c: SWAP1
00001e8d: DIV
00001e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea3: AND
00001ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb9: AND
00001eba: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001edb: PUSH1 0x40
00001edd: MLOAD
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: DUP1
00001ee2: SWAP2
00001ee3: SUB
00001ee4: SWAP1
00001ee5: LOG3
00001ee6: DUP1
00001ee7: PUSH1 0x03
00001ee9: PUSH1 0x00
00001eeb: PUSH2 0x0100
00001eee: EXP
00001eef: DUP2
00001ef0: SLOAD
00001ef1: DUP2
00001ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f07: MUL
00001f08: NOT
00001f09: AND
00001f0a: SWAP1
00001f0b: DUP4
00001f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f21: AND
00001f22: MUL
00001f23: OR
00001f24: SWAP1
00001f25: SSTORE
00001f26: POP
00001f27: POP
00001f28: JUMP
00001f29: JUMPDEST
00001f2a: PUSH1 0x00
00001f2c: DUP4
00001f2d: DUP4
00001f2e: GT
00001f2f: ISZERO
00001f30: DUP3
00001f31: SWAP1
00001f32: PUSH2 0x1fd6
00001f35: JUMPI
00001f36: PUSH1 0x40
00001f38: MLOAD
00001f39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f5a: DUP2
00001f5b: MSTORE
00001f5c: PUSH1 0x04
00001f5e: ADD
00001f5f: DUP1
00001f60: DUP1
00001f61: PUSH1 0x20
00001f63: ADD
00001f64: DUP3
00001f65: DUP2
00001f66: SUB
00001f67: DUP3
00001f68: MSTORE
00001f69: DUP4
00001f6a: DUP2
00001f6b: DUP2
00001f6c: MLOAD
00001f6d: DUP2
00001f6e: MSTORE
00001f6f: PUSH1 0x20
00001f71: ADD
00001f72: SWAP2
00001f73: POP
00001f74: DUP1
00001f75: MLOAD
00001f76: SWAP1
00001f77: PUSH1 0x20
00001f79: ADD
00001f7a: SWAP1
00001f7b: DUP1
00001f7c: DUP4
00001f7d: DUP4
00001f7e: PUSH1 0x00
00001f80: JUMPDEST
00001f81: DUP4
00001f82: DUP2
00001f83: LT
00001f84: ISZERO
00001f85: PUSH2 0x1f9b
00001f88: JUMPI
00001f89: DUP1
00001f8a: DUP3
00001f8b: ADD
00001f8c: MLOAD
00001f8d: DUP2
00001f8e: DUP5
00001f8f: ADD
00001f90: MSTORE
00001f91: PUSH1 0x20
00001f93: DUP2
00001f94: ADD
00001f95: SWAP1
00001f96: POP
00001f97: PUSH2 0x1f80
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: POP
00001f9d: POP
00001f9e: POP
00001f9f: POP
00001fa0: SWAP1
00001fa1: POP
00001fa2: SWAP1
00001fa3: DUP2
00001fa4: ADD
00001fa5: SWAP1
00001fa6: PUSH1 0x1f
00001fa8: AND
00001fa9: DUP1
00001faa: ISZERO
00001fab: PUSH2 0x1fc8
00001fae: JUMPI
00001faf: DUP1
00001fb0: DUP3
00001fb1: SUB
00001fb2: DUP1
00001fb3: MLOAD
00001fb4: PUSH1 0x01
00001fb6: DUP4
00001fb7: PUSH1 0x20
00001fb9: SUB
00001fba: PUSH2 0x0100
00001fbd: EXP
00001fbe: SUB
00001fbf: NOT
00001fc0: AND
00001fc1: DUP2
00001fc2: MSTORE
00001fc3: PUSH1 0x20
00001fc5: ADD
00001fc6: SWAP2
00001fc7: POP
00001fc8: JUMPDEST
00001fc9: POP
00001fca: SWAP3
00001fcb: POP
00001fcc: POP
00001fcd: POP
00001fce: PUSH1 0x40
00001fd0: MLOAD
00001fd1: DUP1
00001fd2: SWAP2
00001fd3: SUB
00001fd4: SWAP1
00001fd5: REVERT
00001fd6: JUMPDEST
00001fd7: POP
00001fd8: PUSH1 0x00
00001fda: DUP4
00001fdb: DUP6
00001fdc: SUB
00001fdd: SWAP1
00001fde: POP
00001fdf: DUP1
00001fe0: SWAP2
00001fe1: POP
00001fe2: POP
00001fe3: SWAP4
00001fe4: SWAP3
00001fe5: POP
00001fe6: POP
00001fe7: POP
00001fe8: JUMP
00001fe9: JUMPDEST
00001fea: PUSH1 0x00
00001fec: DUP1
00001fed: DUP4
00001fee: GT
00001fef: DUP3
00001ff0: SWAP1
00001ff1: PUSH2 0x2095
00001ff4: JUMPI
00001ff5: PUSH1 0x40
00001ff7: MLOAD
00001ff8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002019: DUP2
0000201a: MSTORE
0000201b: PUSH1 0x04
0000201d: ADD
0000201e: DUP1
0000201f: DUP1
00002020: PUSH1 0x20
00002022: ADD
00002023: DUP3
00002024: DUP2
00002025: SUB
00002026: DUP3
00002027: MSTORE
00002028: DUP4
00002029: DUP2
0000202a: DUP2
0000202b: MLOAD
0000202c: DUP2
0000202d: MSTORE
0000202e: PUSH1 0x20
00002030: ADD
00002031: SWAP2
00002032: POP
00002033: DUP1
00002034: MLOAD
00002035: SWAP1
00002036: PUSH1 0x20
00002038: ADD
00002039: SWAP1
0000203a: DUP1
0000203b: DUP4
0000203c: DUP4
0000203d: PUSH1 0x00
0000203f: JUMPDEST
00002040: DUP4
00002041: DUP2
00002042: LT
00002043: ISZERO
00002044: PUSH2 0x205a
00002047: JUMPI
00002048: DUP1
00002049: DUP3
0000204a: ADD
0000204b: MLOAD
0000204c: DUP2
0000204d: DUP5
0000204e: ADD
0000204f: MSTORE
00002050: PUSH1 0x20
00002052: DUP2
00002053: ADD
00002054: SWAP1
00002055: POP
00002056: PUSH2 0x203f
00002059: JUMP
0000205a: JUMPDEST
0000205b: POP
0000205c: POP
0000205d: POP
0000205e: POP
0000205f: SWAP1
00002060: POP
00002061: SWAP1
00002062: DUP2
00002063: ADD
00002064: SWAP1
00002065: PUSH1 0x1f
00002067: AND
00002068: DUP1
00002069: ISZERO
0000206a: PUSH2 0x2087
0000206d: JUMPI
0000206e: DUP1
0000206f: DUP3
00002070: SUB
00002071: DUP1
00002072: MLOAD
00002073: PUSH1 0x01
00002075: DUP4
00002076: PUSH1 0x20
00002078: SUB
00002079: PUSH2 0x0100
0000207c: EXP
0000207d: SUB
0000207e: NOT
0000207f: AND
00002080: DUP2
00002081: MSTORE
00002082: PUSH1 0x20
00002084: ADD
00002085: SWAP2
00002086: POP
00002087: JUMPDEST
00002088: POP
00002089: SWAP3
0000208a: POP
0000208b: POP
0000208c: POP
0000208d: PUSH1 0x40
0000208f: MLOAD
00002090: DUP1
00002091: SWAP2
00002092: SUB
00002093: SWAP1
00002094: REVERT
00002095: JUMPDEST
00002096: POP
00002097: PUSH1 0x00
00002099: DUP4
0000209a: DUP6
0000209b: DUP2
0000209c: PUSH2 0x20a1
0000209f: JUMPI
000020a0: INVALID
000020a1: JUMPDEST
000020a2: DIV
000020a3: SWAP1
000020a4: POP
000020a5: DUP1
000020a6: SWAP2
000020a7: POP
000020a8: POP
000020a9: SWAP4
000020aa: SWAP3
000020ab: POP
000020ac: POP
000020ad: POP
000020ae: JUMP
000020af: JUMPDEST
000020b0: PUSH2 0x20ce
000020b3: DUP3
000020b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c9: AND
000020ca: PUSH2 0x2400
000020cd: JUMP
000020ce: JUMPDEST
000020cf: PUSH2 0x2140
000020d2: JUMPI
000020d3: PUSH1 0x40
000020d5: MLOAD
000020d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020f7: DUP2
000020f8: MSTORE
000020f9: PUSH1 0x04
000020fb: ADD
000020fc: DUP1
000020fd: DUP1
000020fe: PUSH1 0x20
00002100: ADD
00002101: DUP3
00002102: DUP2
00002103: SUB
00002104: DUP3
00002105: MSTORE
00002106: PUSH1 0x1f
00002108: DUP2
00002109: MSTORE
0000210a: PUSH1 0x20
0000210c: ADD
0000210d: DUP1
0000210e: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
0000212f: DUP2
00002130: MSTORE
00002131: POP
00002132: PUSH1 0x20
00002134: ADD
00002135: SWAP2
00002136: POP
00002137: POP
00002138: PUSH1 0x40
0000213a: MLOAD
0000213b: DUP1
0000213c: SWAP2
0000213d: SUB
0000213e: SWAP1
0000213f: REVERT
00002140: JUMPDEST
00002141: PUSH1 0x00
00002143: PUSH1 0x60
00002145: DUP4
00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215b: AND
0000215c: DUP4
0000215d: PUSH1 0x40
0000215f: MLOAD
00002160: DUP1
00002161: DUP3
00002162: DUP1
00002163: MLOAD
00002164: SWAP1
00002165: PUSH1 0x20
00002167: ADD
00002168: SWAP1
00002169: DUP1
0000216a: DUP4
0000216b: DUP4
0000216c: JUMPDEST
0000216d: PUSH1 0x20
0000216f: DUP4
00002170: LT
00002171: PUSH2 0x218f
00002174: JUMPI
00002175: DUP1
00002176: MLOAD
00002177: DUP3
00002178: MSTORE
00002179: PUSH1 0x20
0000217b: DUP3
0000217c: ADD
0000217d: SWAP2
0000217e: POP
0000217f: PUSH1 0x20
00002181: DUP2
00002182: ADD
00002183: SWAP1
00002184: POP
00002185: PUSH1 0x20
00002187: DUP4
00002188: SUB
00002189: SWAP3
0000218a: POP
0000218b: PUSH2 0x216c
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x01
00002192: DUP4
00002193: PUSH1 0x20
00002195: SUB
00002196: PUSH2 0x0100
00002199: EXP
0000219a: SUB
0000219b: DUP1
0000219c: NOT
0000219d: DUP3
0000219e: MLOAD
0000219f: AND
000021a0: DUP2
000021a1: DUP5
000021a2: MLOAD
000021a3: AND
000021a4: DUP1
000021a5: DUP3
000021a6: OR
000021a7: DUP6
000021a8: MSTORE
000021a9: POP
000021aa: POP
000021ab: POP
000021ac: POP
000021ad: POP
000021ae: POP
000021af: SWAP1
000021b0: POP
000021b1: ADD
000021b2: SWAP2
000021b3: POP
000021b4: POP
000021b5: PUSH1 0x00
000021b7: PUSH1 0x40
000021b9: MLOAD
000021ba: DUP1
000021bb: DUP4
000021bc: SUB
000021bd: DUP2
000021be: PUSH1 0x00
000021c0: DUP7
000021c1: GAS
000021c2: CALL
000021c3: SWAP2
000021c4: POP
000021c5: POP
000021c6: RETURNDATASIZE
000021c7: DUP1
000021c8: PUSH1 0x00
000021ca: DUP2
000021cb: EQ
000021cc: PUSH2 0x21f1
000021cf: JUMPI
000021d0: PUSH1 0x40
000021d2: MLOAD
000021d3: SWAP2
000021d4: POP
000021d5: PUSH1 0x1f
000021d7: NOT
000021d8: PUSH1 0x3f
000021da: RETURNDATASIZE
000021db: ADD
000021dc: AND
000021dd: DUP3
000021de: ADD
000021df: PUSH1 0x40
000021e1: MSTORE
000021e2: RETURNDATASIZE
000021e3: DUP3
000021e4: MSTORE
000021e5: RETURNDATASIZE
000021e6: PUSH1 0x00
000021e8: PUSH1 0x20
000021ea: DUP5
000021eb: ADD
000021ec: RETURNDATACOPY
000021ed: PUSH2 0x21f6
000021f0: JUMP
000021f1: JUMPDEST
000021f2: PUSH1 0x60
000021f4: SWAP2
000021f5: POP
000021f6: JUMPDEST
000021f7: POP
000021f8: SWAP2
000021f9: POP
000021fa: SWAP2
000021fb: POP
000021fc: DUP2
000021fd: PUSH2 0x226e
00002200: JUMPI
00002201: PUSH1 0x40
00002203: MLOAD
00002204: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002225: DUP2
00002226: MSTORE
00002227: PUSH1 0x04
00002229: ADD
0000222a: DUP1
0000222b: DUP1
0000222c: PUSH1 0x20
0000222e: ADD
0000222f: DUP3
00002230: DUP2
00002231: SUB
00002232: DUP3
00002233: MSTORE
00002234: PUSH1 0x20
00002236: DUP2
00002237: MSTORE
00002238: PUSH1 0x20
0000223a: ADD
0000223b: DUP1
0000223c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000225d: DUP2
0000225e: MSTORE
0000225f: POP
00002260: PUSH1 0x20
00002262: ADD
00002263: SWAP2
00002264: POP
00002265: POP
00002266: PUSH1 0x40
00002268: MLOAD
00002269: DUP1
0000226a: SWAP2
0000226b: SUB
0000226c: SWAP1
0000226d: REVERT
0000226e: JUMPDEST
0000226f: PUSH1 0x00
00002271: DUP2
00002272: MLOAD
00002273: GT
00002274: ISZERO
00002275: PUSH2 0x22f4
00002278: JUMPI
00002279: DUP1
0000227a: DUP1
0000227b: PUSH1 0x20
0000227d: ADD
0000227e: SWAP1
0000227f: MLOAD
00002280: PUSH1 0x20
00002282: DUP2
00002283: LT
00002284: ISZERO
00002285: PUSH2 0x228d
00002288: JUMPI
00002289: PUSH1 0x00
0000228b: DUP1
0000228c: REVERT
0000228d: JUMPDEST
0000228e: DUP2
0000228f: ADD
00002290: SWAP1
00002291: DUP1
00002292: DUP1
00002293: MLOAD
00002294: SWAP1
00002295: PUSH1 0x20
00002297: ADD
00002298: SWAP1
00002299: SWAP3
0000229a: SWAP2
0000229b: SWAP1
0000229c: POP
0000229d: POP
0000229e: POP
0000229f: PUSH2 0x22f3
000022a2: JUMPI
000022a3: PUSH1 0x40
000022a5: MLOAD
000022a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022c7: DUP2
000022c8: MSTORE
000022c9: PUSH1 0x04
000022cb: ADD
000022cc: DUP1
000022cd: DUP1
000022ce: PUSH1 0x20
000022d0: ADD
000022d1: DUP3
000022d2: DUP2
000022d3: SUB
000022d4: DUP3
000022d5: MSTORE
000022d6: PUSH1 0x2a
000022d8: DUP2
000022d9: MSTORE
000022da: PUSH1 0x20
000022dc: ADD
000022dd: DUP1
000022de: PUSH2 0x24d5
000022e1: PUSH1 0x2a
000022e3: SWAP2
000022e4: CODECOPY
000022e5: PUSH1 0x40
000022e7: ADD
000022e8: SWAP2
000022e9: POP
000022ea: POP
000022eb: PUSH1 0x40
000022ed: MLOAD
000022ee: DUP1
000022ef: SWAP2
000022f0: SUB
000022f1: SWAP1
000022f2: REVERT
000022f3: JUMPDEST
000022f4: JUMPDEST
000022f5: POP
000022f6: POP
000022f7: POP
000022f8: POP
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH2 0x23fa
000022fe: DUP5
000022ff: DUP6
00002300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002315: AND
00002316: PUSH4 0x23b872dd
0000231b: SWAP1
0000231c: POP
0000231d: PUSH1 0xe0
0000231f: SHL
00002320: DUP6
00002321: DUP6
00002322: DUP6
00002323: PUSH1 0x40
00002325: MLOAD
00002326: PUSH1 0x24
00002328: ADD
00002329: DUP1
0000232a: DUP5
0000232b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002340: AND
00002341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002356: AND
00002357: DUP2
00002358: MSTORE
00002359: PUSH1 0x20
0000235b: ADD
0000235c: DUP4
0000235d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002372: AND
00002373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002388: AND
00002389: DUP2
0000238a: MSTORE
0000238b: PUSH1 0x20
0000238d: ADD
0000238e: DUP3
0000238f: DUP2
00002390: MSTORE
00002391: PUSH1 0x20
00002393: ADD
00002394: SWAP4
00002395: POP
00002396: POP
00002397: POP
00002398: POP
00002399: PUSH1 0x40
0000239b: MLOAD
0000239c: PUSH1 0x20
0000239e: DUP2
0000239f: DUP4
000023a0: SUB
000023a1: SUB
000023a2: DUP2
000023a3: MSTORE
000023a4: SWAP1
000023a5: PUSH1 0x40
000023a7: MSTORE
000023a8: SWAP1
000023a9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023c6: NOT
000023c7: AND
000023c8: PUSH1 0x20
000023ca: DUP3
000023cb: ADD
000023cc: DUP1
000023cd: MLOAD
000023ce: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023eb: DUP4
000023ec: DUP2
000023ed: DUP4
000023ee: AND
000023ef: OR
000023f0: DUP4
000023f1: MSTORE
000023f2: POP
000023f3: POP
000023f4: POP
000023f5: POP
000023f6: PUSH2 0x20af
000023f9: JUMP
000023fa: JUMPDEST
000023fb: POP
000023fc: POP
000023fd: POP
000023fe: POP
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH1 0x00
00002403: DUP1
00002404: PUSH1 0x00
00002406: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002427: PUSH1 0x00
00002429: SHL
0000242a: SWAP1
0000242b: POP
0000242c: DUP4
0000242d: EXTCODEHASH
0000242e: SWAP2
0000242f: POP
00002430: PUSH1 0x00
00002432: DUP1
00002433: SHL
00002434: DUP3
00002435: EQ
00002436: ISZERO
00002437: DUP1
00002438: ISZERO
00002439: PUSH2 0x2442
0000243c: JUMPI
0000243d: POP
0000243e: DUP1
0000243f: DUP3
00002440: EQ
00002441: ISZERO
00002442: JUMPDEST
00002443: SWAP3
00002444: POP
00002445: POP
00002446: POP
00002447: SWAP2
00002448: SWAP1
00002449: POP
0000244a: JUMP
0000244b: INVALID
0000244c: UNKNOWN(0x4F)
0000244d: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002466: PUSH27 0x65726f2061646472657373476f6c66662d4554482d504f4f4c3a20
00002482: NUMBER
00002483: PUSH2 0x6e6e
00002486: PUSH16 0x74207769746864726177203053616665
00002497: UNKNOWN(0x4D)
00002498: PUSH2 0x7468
0000249b: GASPRICE
0000249c: KECCAK256
0000249d: PUSH14 0x756c7469706c69636174696f6e20
000024ac: PUSH16 0x766572666c6f7743616c6c6572206973
000024bd: KECCAK256
000024be: PUSH15 0x6f7420726577617264206469737472
000024ce: PUSH10 0x627574696f6e53616665
000024d9: GASLIMIT
000024da: MSTORE
000024db: NUMBER
000024dc: ORIGIN
000024dd: ADDRESS
000024de: GASPRICE
000024df: KECCAK256
000024e0: GASLIMIT
000024e1: MSTORE
000024e2: NUMBER
000024e3: ORIGIN
000024e4: ADDRESS
000024e5: KECCAK256
000024e6: PUSH16 0x7065726174696f6e20646964206e6f74
000024f7: KECCAK256
000024f8: PUSH20 0x756363656564a265627a7a72315820ddbb951d85
0000250d: DIV
0000250e: UNKNOWN(0xDF)
0000250f: UNKNOWN(0xB4)
00002510: UNKNOWN(0xB2)
00002511: TIMESTAMP
00002512: CODESIZE
00002513: LT
00002514: UNKNOWN(0xDC)
00002515: UNKNOWN(0x25)
00002516: PUSH3 0x59f443
0000251a: UNKNOWN(0x23)
0000251b: TSTORE
0000251c: UNKNOWN(0xCD)
0000251d: UNKNOWN(0xA9)
0000251e: UNKNOWN(0x28)
0000251f: PUSH19 0x2c327dd743745cfe64736f6c63430005100032

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb17d14f",
            "selector": "0xcb17d14f",
            "calldata_variants": [
                "0xcb17d14f",
                "0xcb17d14f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 9436,
            "type": "tx_origin_used"
        },
        {
            "pc": 9443,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xbc9a33cbc88c611bfcb096b899c29196eaadb15d3762c928dcaa1567b659362b
call_targets: 0xc46188a5a7c1dfb04a99903544660ea83f986fb8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc9a33cbc88c611bfcb096b899c29196eaadb15d3762c928dcaa1567b659362b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc46188a5a7c1dfb04a99903544660ea83f986fb8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb17d14f",
            "selector": "0xcb17d14f",
            "calldata_variants": [
                "0xcb17d14f",
                "0xcb17d14f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3814,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8642,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 9436,
            "type": "tx_origin_used"
        },
        {
            "pc": 9443,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xbc9a33cbc88c611bfcb096b899c29196eaadb15d3762c928dcaa1567b659362b
call_targets: 0xc46188a5a7c1dfb04a99903544660ea83f986fb8
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc9a33cbc88c611bfcb096b899c29196eaadb15d3762c928dcaa1567b659362b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc46188a5a7c1dfb04a99903544660ea83f986fb8"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8f33c91",
            "selector": "0xc8f33c91",
            "calldata_variants": [
                "0xc8f33c91",
                "0xc8f33c910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcb17d14f",
            "selector": "0xcb17d14f",
            "calldata_variants": [
                "0xcb17d14f",
                "0xcb17d14f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3814,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8642,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 9436,
            "type": "tx_origin_used"
        },
        {
            "pc": 9443,
            "type": "tx_origin_used"
        }
    ]
}