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

Analysis Run

0def5d24-557a-4dd7-88b9-1fb3014380b2

failed
Chain ID
1
Address
0x00674045bb7c17f0aa1cde34780d6c51af548728
Block Number
—
Created
Fri, Jan 2, 2026 11:24 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31385 report.consolidate complete 1 / 1 3 months ago
111308 artifact.fetch failed 1 / 3 1 week ago
111309 tool.cast_disasm complete 1 / 3 1 week ago
111310 analysis.bundle complete 1 / 3 1 week ago
111311 capability.graph complete 1 / 3 1 week ago
111312 detector.run complete 1 / 3 1 week ago
111313 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths identified in the provided contract.
View stderr 
[codex:97832] OpenAI Codex v0.77.0 (research preview)
[codex:97832] --------
[codex:97832] workdir: /tmp/codex-multi-towr99j1
[codex:97832] model: gpt-5.2-codex
[codex:97832] provider: openai
[codex:97832] approval: never
[codex:97832] sandbox: read-only
[codex:97832] reasoning effort: xhigh
[codex:97832] reasoning summaries: auto
[codex:97832] session id: 019b8105-0f9d-75f0-ba57-593089b4772a
[codex:97832] --------
[codex:97832] user
[codex:97832] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:97832] 
[codex:97832] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:97832] 
[codex:97832] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:97832] - Gas inefficiency, code quality, naming, or best practices
[codex:97832] - Theoretical vulnerabilities without a clear extraction path
[codex:97832] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:97832] - Front-running unless it enables theft beyond MEV
[codex:97832] - DoS, griefing, or issues that don't result in attacker profit
[codex:97832] - Missing events, view function issues, or informational findings
[codex:97832] 
[codex:97832] HIGH-VALUE PATTERNS TO HUNT:
[codex:97832] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:97832] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:97832] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:97832] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:97832] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:97832] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:97832] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:97832] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:97832] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:97832] 
[codex:97832] For each finding, you MUST provide:
[codex:97832] 1. Exact file and line numbers of vulnerable code
[codex:97832] 2. Step-by-step exploit transaction sequence
[codex:97832] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:97832] 
[codex:97832] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:97832] 
[codex:97832] Output MUST be valid JSON matching the provided schema.
[codex:97832] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:97832] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:97832] mcp startup: no servers
[codex:97832] 
[codex:97832] thinking
[codex:97832] **Planning initial exploration**
[codex:97832] exec
[codex:97832] /bin/bash -lc ls in /tmp/codex-multi-towr99j1 succeeded in 5ms:
[codex:97832] AUDIT_BUNDLE.txt
[codex:97832] codex-output-schema.json
[codex:97832] contracts
[codex:97832] 
[codex:97832] thinking
[codex:97832] **Reading AUDIT_BUNDLE.txt**
[codex:97832] exec
[codex:97832] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-towr99j1 succeeded in 5ms:
[codex:97832] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:97832] 
[codex:97832] ================================================================================
[codex:97832] FILE: contracts/Contract.sol
[codex:97832] ================================================================================
[codex:97832] pragma solidity 0.4.14;
[codex:97832] 
[codex:97832] 
[codex:97832] /// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
[codex:97832] /// @author Stefan George - <stefan.george@consensys.net>
[codex:97832] contract MultiSigWallet {
[codex:97832] 
[codex:97832]     uint constant public MAX_OWNER_COUNT = 50;
[codex:97832] 
[codex:97832]     event Confirmation(address indexed sender, uint indexed transactionId);
[codex:97832]     event Revocation(address indexed sender, uint indexed transactionId);
[codex:97832]     event Submission(uint indexed transactionId);
[codex:97832]     event Execution(uint indexed transactionId);
[codex:97832]     event ExecutionFailure(uint indexed transactionId);
[codex:97832]     event Deposit(address indexed sender, uint value);
[codex:97832] 
[codex:97832] 
[codex:97832] thinking
[codex:97832] **Analyzing multisig contract for exploits**
[codex:97832] thinking
[codex:97832] **Reviewing transaction execution and ownership logic**
[codex:97832] 
[codex:97832] I'll assess confirmations, owner checks, reentrancy risks, and storage handling in transaction execution, especially around daily limits and potential edge cases with wallet as owner, to confirm if any exploitable paths exist. There's a lot of nuance about owner contracts and fallback calls, but no clear profit path emerges yet.
[codex:97832] codex
[codex:97832] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contract.","findings":[]}
[codex:97832] tokens used
[codex:97832] 12,041
[codex:97832] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided contract.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-02T23:24:25.343394+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4353
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0151
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x00
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x025e7c27
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0x019c
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x173825d9
00000044: EQ
00000045: PUSH2 0x01ce
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x20ea8d86
0000004f: EQ
00000050: PUSH2 0x01ef
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2f54bf6e
0000005a: EQ
0000005b: PUSH2 0x0207
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x3411c81c
00000065: EQ
00000066: PUSH2 0x023a
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x4bc9fdc2
00000070: EQ
00000071: PUSH2 0x0270
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x54741525
0000007b: EQ
0000007c: PUSH2 0x0295
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x67eeba0c
00000086: EQ
00000087: PUSH2 0x02c4
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x6b0c932d
00000091: EQ
00000092: PUSH2 0x02e9
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x7065cb48
0000009c: EQ
0000009d: PUSH2 0x030e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x784547a7
000000a7: EQ
000000a8: PUSH2 0x032f
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8b51d13f
000000b2: EQ
000000b3: PUSH2 0x0359
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9ace38c2
000000bd: EQ
000000be: PUSH2 0x0381
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa0e67e2b
000000c8: EQ
000000c9: PUSH2 0x0440
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa8abe69a
000000d3: EQ
000000d4: PUSH2 0x04a7
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb5dc40c3
000000de: EQ
000000df: PUSH2 0x051e
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb77bf600
000000e9: EQ
000000ea: PUSH2 0x0588
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xba51a6df
000000f4: EQ
000000f5: PUSH2 0x05ad
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xc01a8c84
000000ff: EQ
00000100: PUSH2 0x05c5
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xc6427474
0000010a: EQ
0000010b: PUSH2 0x05dd
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xcea08621
00000115: EQ
00000116: PUSH2 0x0654
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0xd74f8edd
00000120: EQ
00000121: PUSH2 0x066c
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0xdc8452cd
0000012b: EQ
0000012c: PUSH2 0x0691
0000012f: JUMPI
00000130: DUP1
00000131: PUSH4 0xe20056e6
00000136: EQ
00000137: PUSH2 0x06b6
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0xee22610b
00000141: EQ
00000142: PUSH2 0x06dd
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0xf059cf2b
0000014c: EQ
0000014d: PUSH2 0x06f5
00000150: JUMPI
00000151: JUMPDEST
00000152: JUMPDEST
00000153: PUSH1 0x00
00000155: CALLVALUE
00000156: GT
00000157: ISZERO
00000158: PUSH2 0x0199
0000015b: JUMPI
0000015c: CALLER
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: PUSH1 0x02
00000163: EXP
00000164: SUB
00000165: AND
00000166: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000187: CALLVALUE
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: SWAP1
0000018c: DUP2
0000018d: MSTORE
0000018e: PUSH1 0x20
00000190: ADD
00000191: PUSH1 0x40
00000193: MLOAD
00000194: DUP1
00000195: SWAP2
00000196: SUB
00000197: SWAP1
00000198: LOG2
00000199: JUMPDEST
0000019a: JUMPDEST
0000019b: STOP
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: PUSH2 0x01b2
000001ab: PUSH1 0x04
000001ad: CALLDATALOAD
000001ae: PUSH2 0x071a
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: SWAP1
000001bf: SWAP2
000001c0: AND
000001c1: DUP2
000001c2: MSTORE
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: DUP1
000001ca: SWAP2
000001cb: SUB
000001cc: SWAP1
000001cd: RETURN
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: ISZERO
000001d1: PUSH2 0x01d9
000001d4: JUMPI
000001d5: PUSH1 0x00
000001d7: DUP1
000001d8: REVERT
000001d9: JUMPDEST
000001da: PUSH2 0x0199
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: PUSH1 0x02
000001e3: EXP
000001e4: SUB
000001e5: PUSH1 0x04
000001e7: CALLDATALOAD
000001e8: AND
000001e9: PUSH2 0x074c
000001ec: JUMP
000001ed: JUMPDEST
000001ee: STOP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: PUSH2 0x0199
000001fe: PUSH1 0x04
00000200: CALLDATALOAD
00000201: PUSH2 0x08fd
00000204: JUMP
00000205: JUMPDEST
00000206: STOP
00000207: JUMPDEST
00000208: CALLVALUE
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: PUSH2 0x0226
00000216: PUSH1 0x01
00000218: PUSH1 0xa0
0000021a: PUSH1 0x02
0000021c: EXP
0000021d: SUB
0000021e: PUSH1 0x04
00000220: CALLDATALOAD
00000221: AND
00000222: PUSH2 0x09df
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: SWAP1
0000022b: ISZERO
0000022c: ISZERO
0000022d: DUP2
0000022e: MSTORE
0000022f: PUSH1 0x20
00000231: ADD
00000232: PUSH1 0x40
00000234: MLOAD
00000235: DUP1
00000236: SWAP2
00000237: SUB
00000238: SWAP1
00000239: RETURN
0000023a: JUMPDEST
0000023b: CALLVALUE
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: PUSH2 0x0226
00000249: PUSH1 0x04
0000024b: CALLDATALOAD
0000024c: PUSH1 0x01
0000024e: PUSH1 0xa0
00000250: PUSH1 0x02
00000252: EXP
00000253: SUB
00000254: PUSH1 0x24
00000256: CALLDATALOAD
00000257: AND
00000258: PUSH2 0x09f4
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: SWAP1
00000261: ISZERO
00000262: ISZERO
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: DUP1
0000026c: SWAP2
0000026d: SUB
0000026e: SWAP1
0000026f: RETURN
00000270: JUMPDEST
00000271: CALLVALUE
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: PUSH2 0x0283
0000027f: PUSH2 0x0a14
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x40
00000286: MLOAD
00000287: SWAP1
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: DUP1
00000291: SWAP2
00000292: SUB
00000293: SWAP1
00000294: RETURN
00000295: JUMPDEST
00000296: CALLVALUE
00000297: ISZERO
00000298: PUSH2 0x02a0
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: PUSH2 0x0283
000002a4: PUSH1 0x04
000002a6: CALLDATALOAD
000002a7: ISZERO
000002a8: ISZERO
000002a9: PUSH1 0x24
000002ab: CALLDATALOAD
000002ac: ISZERO
000002ad: ISZERO
000002ae: PUSH2 0x0a3a
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: SWAP1
000002b7: DUP2
000002b8: MSTORE
000002b9: PUSH1 0x20
000002bb: ADD
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: SWAP2
000002c1: SUB
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: PUSH2 0x0283
000002d3: PUSH2 0x0aa9
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: SWAP1
000002dc: DUP2
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: ADD
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: SWAP2
000002e6: SUB
000002e7: SWAP1
000002e8: RETURN
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: PUSH2 0x0283
000002f8: PUSH2 0x0aaf
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: SWAP1
00000301: DUP2
00000302: MSTORE
00000303: PUSH1 0x20
00000305: ADD
00000306: PUSH1 0x40
00000308: MLOAD
00000309: DUP1
0000030a: SWAP2
0000030b: SUB
0000030c: SWAP1
0000030d: RETURN
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: PUSH2 0x0199
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: PUSH1 0x02
00000323: EXP
00000324: SUB
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: AND
00000329: PUSH2 0x0ab5
0000032c: JUMP
0000032d: JUMPDEST
0000032e: STOP
0000032f: JUMPDEST
00000330: CALLVALUE
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: PUSH2 0x0226
0000033e: PUSH1 0x04
00000340: CALLDATALOAD
00000341: PUSH2 0x0bea
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH1 0x40
00000348: MLOAD
00000349: SWAP1
0000034a: ISZERO
0000034b: ISZERO
0000034c: DUP2
0000034d: MSTORE
0000034e: PUSH1 0x20
00000350: ADD
00000351: PUSH1 0x40
00000353: MLOAD
00000354: DUP1
00000355: SWAP2
00000356: SUB
00000357: SWAP1
00000358: RETURN
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: ISZERO
0000035c: PUSH2 0x0364
0000035f: JUMPI
00000360: PUSH1 0x00
00000362: DUP1
00000363: REVERT
00000364: JUMPDEST
00000365: PUSH2 0x0283
00000368: PUSH1 0x04
0000036a: CALLDATALOAD
0000036b: PUSH2 0x0c7e
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH1 0x40
00000372: MLOAD
00000373: SWAP1
00000374: DUP2
00000375: MSTORE
00000376: PUSH1 0x20
00000378: ADD
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: DUP1
0000037d: SWAP2
0000037e: SUB
0000037f: SWAP1
00000380: RETURN
00000381: JUMPDEST
00000382: CALLVALUE
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: PUSH2 0x0397
00000390: PUSH1 0x04
00000392: CALLDATALOAD
00000393: PUSH2 0x0cfd
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa0
0000039f: PUSH1 0x02
000003a1: EXP
000003a2: SUB
000003a3: DUP6
000003a4: AND
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x20
000003a9: DUP2
000003aa: ADD
000003ab: DUP5
000003ac: SWAP1
000003ad: MSTORE
000003ae: DUP2
000003af: ISZERO
000003b0: ISZERO
000003b1: PUSH1 0x60
000003b3: DUP3
000003b4: ADD
000003b5: MSTORE
000003b6: PUSH1 0x80
000003b8: PUSH1 0x40
000003ba: DUP3
000003bb: ADD
000003bc: DUP2
000003bd: DUP2
000003be: MSTORE
000003bf: DUP5
000003c0: SLOAD
000003c1: PUSH1 0x02
000003c3: PUSH1 0x00
000003c5: NOT
000003c6: PUSH2 0x0100
000003c9: PUSH1 0x01
000003cb: DUP5
000003cc: AND
000003cd: ISZERO
000003ce: MUL
000003cf: ADD
000003d0: SWAP1
000003d1: SWAP2
000003d2: AND
000003d3: DIV
000003d4: SWAP2
000003d5: DUP4
000003d6: ADD
000003d7: DUP3
000003d8: SWAP1
000003d9: MSTORE
000003da: SWAP1
000003db: PUSH1 0xa0
000003dd: DUP4
000003de: ADD
000003df: SWAP1
000003e0: DUP6
000003e1: SWAP1
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x042e
000003e7: JUMPI
000003e8: DUP1
000003e9: PUSH1 0x1f
000003eb: LT
000003ec: PUSH2 0x0403
000003ef: JUMPI
000003f0: PUSH2 0x0100
000003f3: DUP1
000003f4: DUP4
000003f5: SLOAD
000003f6: DIV
000003f7: MUL
000003f8: DUP4
000003f9: MSTORE
000003fa: SWAP2
000003fb: PUSH1 0x20
000003fd: ADD
000003fe: SWAP2
000003ff: PUSH2 0x042e
00000402: JUMP
00000403: JUMPDEST
00000404: DUP3
00000405: ADD
00000406: SWAP2
00000407: SWAP1
00000408: PUSH1 0x00
0000040a: MSTORE
0000040b: PUSH1 0x20
0000040d: PUSH1 0x00
0000040f: KECCAK256
00000410: SWAP1
00000411: JUMPDEST
00000412: DUP2
00000413: SLOAD
00000414: DUP2
00000415: MSTORE
00000416: SWAP1
00000417: PUSH1 0x01
00000419: ADD
0000041a: SWAP1
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: DUP1
0000041f: DUP4
00000420: GT
00000421: PUSH2 0x0411
00000424: JUMPI
00000425: DUP3
00000426: SWAP1
00000427: SUB
00000428: PUSH1 0x1f
0000042a: AND
0000042b: DUP3
0000042c: ADD
0000042d: SWAP2
0000042e: JUMPDEST
0000042f: POP
00000430: POP
00000431: SWAP6
00000432: POP
00000433: POP
00000434: POP
00000435: POP
00000436: POP
00000437: POP
00000438: PUSH1 0x40
0000043a: MLOAD
0000043b: DUP1
0000043c: SWAP2
0000043d: SUB
0000043e: SWAP1
0000043f: RETURN
00000440: JUMPDEST
00000441: CALLVALUE
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: PUSH2 0x0453
0000044f: PUSH2 0x0d31
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x40
00000456: MLOAD
00000457: PUSH1 0x20
00000459: DUP1
0000045a: DUP3
0000045b: MSTORE
0000045c: DUP2
0000045d: SWAP1
0000045e: DUP2
0000045f: ADD
00000460: DUP4
00000461: DUP2
00000462: DUP2
00000463: MLOAD
00000464: DUP2
00000465: MSTORE
00000466: PUSH1 0x20
00000468: ADD
00000469: SWAP2
0000046a: POP
0000046b: DUP1
0000046c: MLOAD
0000046d: SWAP1
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP1
00000472: PUSH1 0x20
00000474: MUL
00000475: DUP1
00000476: DUP4
00000477: DUP4
00000478: PUSH1 0x00
0000047a: JUMPDEST
0000047b: DUP4
0000047c: DUP2
0000047d: LT
0000047e: ISZERO
0000047f: PUSH2 0x0493
00000482: JUMPI
00000483: DUP1
00000484: DUP3
00000485: ADD
00000486: MLOAD
00000487: DUP2
00000488: DUP5
00000489: ADD
0000048a: MSTORE
0000048b: JUMPDEST
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: PUSH2 0x047a
00000492: JUMP
00000493: JUMPDEST
00000494: POP
00000495: POP
00000496: POP
00000497: POP
00000498: SWAP1
00000499: POP
0000049a: ADD
0000049b: SWAP3
0000049c: POP
0000049d: POP
0000049e: POP
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP1
000004a3: SWAP2
000004a4: SUB
000004a5: SWAP1
000004a6: RETURN
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x0453
000004b6: PUSH1 0x04
000004b8: CALLDATALOAD
000004b9: PUSH1 0x24
000004bb: CALLDATALOAD
000004bc: PUSH1 0x44
000004be: CALLDATALOAD
000004bf: ISZERO
000004c0: ISZERO
000004c1: PUSH1 0x64
000004c3: CALLDATALOAD
000004c4: ISZERO
000004c5: ISZERO
000004c6: PUSH2 0x0d9a
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: PUSH1 0x20
000004d0: DUP1
000004d1: DUP3
000004d2: MSTORE
000004d3: DUP2
000004d4: SWAP1
000004d5: DUP2
000004d6: ADD
000004d7: DUP4
000004d8: DUP2
000004d9: DUP2
000004da: MLOAD
000004db: DUP2
000004dc: MSTORE
000004dd: PUSH1 0x20
000004df: ADD
000004e0: SWAP2
000004e1: POP
000004e2: DUP1
000004e3: MLOAD
000004e4: SWAP1
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: PUSH1 0x20
000004eb: MUL
000004ec: DUP1
000004ed: DUP4
000004ee: DUP4
000004ef: PUSH1 0x00
000004f1: JUMPDEST
000004f2: DUP4
000004f3: DUP2
000004f4: LT
000004f5: ISZERO
000004f6: PUSH2 0x0493
000004f9: JUMPI
000004fa: DUP1
000004fb: DUP3
000004fc: ADD
000004fd: MLOAD
000004fe: DUP2
000004ff: DUP5
00000500: ADD
00000501: MSTORE
00000502: JUMPDEST
00000503: PUSH1 0x20
00000505: ADD
00000506: PUSH2 0x047a
00000509: JUMP
0000050a: JUMPDEST
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: SWAP1
00000510: POP
00000511: ADD
00000512: SWAP3
00000513: POP
00000514: POP
00000515: POP
00000516: PUSH1 0x40
00000518: MLOAD
00000519: DUP1
0000051a: SWAP2
0000051b: SUB
0000051c: SWAP1
0000051d: RETURN
0000051e: JUMPDEST
0000051f: CALLVALUE
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: PUSH2 0x0453
0000052d: PUSH1 0x04
0000052f: CALLDATALOAD
00000530: PUSH2 0x0ec8
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x40
00000537: MLOAD
00000538: PUSH1 0x20
0000053a: DUP1
0000053b: DUP3
0000053c: MSTORE
0000053d: DUP2
0000053e: SWAP1
0000053f: DUP2
00000540: ADD
00000541: DUP4
00000542: DUP2
00000543: DUP2
00000544: MLOAD
00000545: DUP2
00000546: MSTORE
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP2
0000054b: POP
0000054c: DUP1
0000054d: MLOAD
0000054e: SWAP1
0000054f: PUSH1 0x20
00000551: ADD
00000552: SWAP1
00000553: PUSH1 0x20
00000555: MUL
00000556: DUP1
00000557: DUP4
00000558: DUP4
00000559: PUSH1 0x00
0000055b: JUMPDEST
0000055c: DUP4
0000055d: DUP2
0000055e: LT
0000055f: ISZERO
00000560: PUSH2 0x0493
00000563: JUMPI
00000564: DUP1
00000565: DUP3
00000566: ADD
00000567: MLOAD
00000568: DUP2
00000569: DUP5
0000056a: ADD
0000056b: MSTORE
0000056c: JUMPDEST
0000056d: PUSH1 0x20
0000056f: ADD
00000570: PUSH2 0x047a
00000573: JUMP
00000574: JUMPDEST
00000575: POP
00000576: POP
00000577: POP
00000578: POP
00000579: SWAP1
0000057a: POP
0000057b: ADD
0000057c: SWAP3
0000057d: POP
0000057e: POP
0000057f: POP
00000580: PUSH1 0x40
00000582: MLOAD
00000583: DUP1
00000584: SWAP2
00000585: SUB
00000586: SWAP1
00000587: RETURN
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: PUSH2 0x0283
00000597: PUSH2 0x104a
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH1 0x40
0000059e: MLOAD
0000059f: SWAP1
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x20
000005a4: ADD
000005a5: PUSH1 0x40
000005a7: MLOAD
000005a8: DUP1
000005a9: SWAP2
000005aa: SUB
000005ab: SWAP1
000005ac: RETURN
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: PUSH2 0x0199
000005bc: PUSH1 0x04
000005be: CALLDATALOAD
000005bf: PUSH2 0x1050
000005c2: JUMP
000005c3: JUMPDEST
000005c4: STOP
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: PUSH2 0x0199
000005d4: PUSH1 0x04
000005d6: CALLDATALOAD
000005d7: PUSH2 0x10de
000005da: JUMP
000005db: JUMPDEST
000005dc: STOP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: PUSH2 0x0283
000005ec: PUSH1 0x04
000005ee: DUP1
000005ef: CALLDATALOAD
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: PUSH1 0x02
000005f6: EXP
000005f7: SUB
000005f8: AND
000005f9: SWAP1
000005fa: PUSH1 0x24
000005fc: DUP1
000005fd: CALLDATALOAD
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH1 0x64
00000602: SWAP1
00000603: PUSH1 0x44
00000605: CALLDATALOAD
00000606: SWAP1
00000607: DUP2
00000608: ADD
00000609: SWAP1
0000060a: DUP4
0000060b: ADD
0000060c: CALLDATALOAD
0000060d: DUP1
0000060e: PUSH1 0x20
00000610: PUSH1 0x1f
00000612: DUP3
00000613: ADD
00000614: DUP2
00000615: SWAP1
00000616: DIV
00000617: DUP2
00000618: MUL
00000619: ADD
0000061a: PUSH1 0x40
0000061c: MLOAD
0000061d: SWAP1
0000061e: DUP2
0000061f: ADD
00000620: PUSH1 0x40
00000622: MSTORE
00000623: DUP2
00000624: DUP2
00000625: MSTORE
00000626: SWAP3
00000627: SWAP2
00000628: SWAP1
00000629: PUSH1 0x20
0000062b: DUP5
0000062c: ADD
0000062d: DUP4
0000062e: DUP4
0000062f: DUP1
00000630: DUP3
00000631: DUP5
00000632: CALLDATACOPY
00000633: POP
00000634: SWAP5
00000635: SWAP7
00000636: POP
00000637: PUSH2 0x11d0
0000063a: SWAP6
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: POP
00000640: POP
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: MLOAD
00000646: SWAP1
00000647: DUP2
00000648: MSTORE
00000649: PUSH1 0x20
0000064b: ADD
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: DUP1
00000650: SWAP2
00000651: SUB
00000652: SWAP1
00000653: RETURN
00000654: JUMPDEST
00000655: CALLVALUE
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: PUSH2 0x0199
00000663: PUSH1 0x04
00000665: CALLDATALOAD
00000666: PUSH2 0x11f0
00000669: JUMP
0000066a: JUMPDEST
0000066b: STOP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: ISZERO
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: PUSH2 0x0283
0000067b: PUSH2 0x124d
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0x40
00000682: MLOAD
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x20
00000688: ADD
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: DUP1
0000068d: SWAP2
0000068e: SUB
0000068f: SWAP1
00000690: RETURN
00000691: JUMPDEST
00000692: CALLVALUE
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: PUSH2 0x0283
000006a0: PUSH2 0x1252
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: SWAP1
000006a9: DUP2
000006aa: MSTORE
000006ab: PUSH1 0x20
000006ad: ADD
000006ae: PUSH1 0x40
000006b0: MLOAD
000006b1: DUP1
000006b2: SWAP2
000006b3: SUB
000006b4: SWAP1
000006b5: RETURN
000006b6: JUMPDEST
000006b7: CALLVALUE
000006b8: ISZERO
000006b9: PUSH2 0x06c1
000006bc: JUMPI
000006bd: PUSH1 0x00
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: PUSH2 0x0199
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: PUSH1 0x04
000006cf: CALLDATALOAD
000006d0: DUP2
000006d1: AND
000006d2: SWAP1
000006d3: PUSH1 0x24
000006d5: CALLDATALOAD
000006d6: AND
000006d7: PUSH2 0x1258
000006da: JUMP
000006db: JUMPDEST
000006dc: STOP
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: PUSH2 0x0199
000006ec: PUSH1 0x04
000006ee: CALLDATALOAD
000006ef: PUSH2 0x1419
000006f2: JUMP
000006f3: JUMPDEST
000006f4: STOP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH2 0x0283
00000704: PUSH2 0x15db
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: SWAP1
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: PUSH1 0x40
00000714: MLOAD
00000715: DUP1
00000716: SWAP2
00000717: SUB
00000718: SWAP1
00000719: RETURN
0000071a: JUMPDEST
0000071b: PUSH1 0x03
0000071d: DUP1
0000071e: SLOAD
0000071f: DUP3
00000720: SWAP1
00000721: DUP2
00000722: LT
00000723: PUSH2 0x0728
00000726: JUMPI
00000727: INVALID
00000728: JUMPDEST
00000729: SWAP1
0000072a: PUSH1 0x00
0000072c: MSTORE
0000072d: PUSH1 0x20
0000072f: PUSH1 0x00
00000731: KECCAK256
00000732: SWAP1
00000733: ADD
00000734: PUSH1 0x00
00000736: JUMPDEST
00000737: SWAP2
00000738: POP
00000739: SLOAD
0000073a: SWAP1
0000073b: PUSH2 0x0100
0000073e: EXP
0000073f: SWAP1
00000740: DIV
00000741: PUSH1 0x01
00000743: PUSH1 0xa0
00000745: PUSH1 0x02
00000747: EXP
00000748: SUB
00000749: AND
0000074a: DUP2
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x00
0000074f: ADDRESS
00000750: PUSH1 0x01
00000752: PUSH1 0xa0
00000754: PUSH1 0x02
00000756: EXP
00000757: SUB
00000758: AND
00000759: CALLER
0000075a: PUSH1 0x01
0000075c: PUSH1 0xa0
0000075e: PUSH1 0x02
00000760: EXP
00000761: SUB
00000762: AND
00000763: EQ
00000764: ISZERO
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: PUSH1 0x02
00000775: EXP
00000776: SUB
00000777: DUP3
00000778: AND
00000779: PUSH1 0x00
0000077b: SWAP1
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x02
00000780: PUSH1 0x20
00000782: MSTORE
00000783: PUSH1 0x40
00000785: SWAP1
00000786: KECCAK256
00000787: SLOAD
00000788: DUP3
00000789: SWAP1
0000078a: PUSH1 0xff
0000078c: AND
0000078d: ISZERO
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: PUSH1 0x01
0000079a: PUSH1 0xa0
0000079c: PUSH1 0x02
0000079e: EXP
0000079f: SUB
000007a0: DUP4
000007a1: AND
000007a2: PUSH1 0x00
000007a4: SWAP1
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x02
000007a9: PUSH1 0x20
000007ab: MSTORE
000007ac: PUSH1 0x40
000007ae: DUP2
000007af: KECCAK256
000007b0: DUP1
000007b1: SLOAD
000007b2: PUSH1 0xff
000007b4: NOT
000007b5: AND
000007b6: SWAP1
000007b7: SSTORE
000007b8: SWAP2
000007b9: POP
000007ba: JUMPDEST
000007bb: PUSH1 0x03
000007bd: SLOAD
000007be: PUSH1 0x00
000007c0: NOT
000007c1: ADD
000007c2: DUP3
000007c3: LT
000007c4: ISZERO
000007c5: PUSH2 0x0892
000007c8: JUMPI
000007c9: DUP3
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: PUSH1 0x02
000007d0: EXP
000007d1: SUB
000007d2: AND
000007d3: PUSH1 0x03
000007d5: DUP4
000007d6: DUP2
000007d7: SLOAD
000007d8: DUP2
000007d9: LT
000007da: ISZERO
000007db: ISZERO
000007dc: PUSH2 0x07e1
000007df: JUMPI
000007e0: INVALID
000007e1: JUMPDEST
000007e2: SWAP1
000007e3: PUSH1 0x00
000007e5: MSTORE
000007e6: PUSH1 0x20
000007e8: PUSH1 0x00
000007ea: KECCAK256
000007eb: SWAP1
000007ec: ADD
000007ed: PUSH1 0x00
000007ef: JUMPDEST
000007f0: SWAP1
000007f1: SLOAD
000007f2: SWAP1
000007f3: PUSH2 0x0100
000007f6: EXP
000007f7: SWAP1
000007f8: DIV
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: AND
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: PUSH1 0x02
00000808: EXP
00000809: SUB
0000080a: AND
0000080b: EQ
0000080c: ISZERO
0000080d: PUSH2 0x0886
00000810: JUMPI
00000811: PUSH1 0x03
00000813: DUP1
00000814: SLOAD
00000815: PUSH1 0x00
00000817: NOT
00000818: DUP2
00000819: ADD
0000081a: SWAP1
0000081b: DUP2
0000081c: LT
0000081d: PUSH2 0x0822
00000820: JUMPI
00000821: INVALID
00000822: JUMPDEST
00000823: SWAP1
00000824: PUSH1 0x00
00000826: MSTORE
00000827: PUSH1 0x20
00000829: PUSH1 0x00
0000082b: KECCAK256
0000082c: SWAP1
0000082d: ADD
0000082e: PUSH1 0x00
00000830: JUMPDEST
00000831: SWAP1
00000832: SLOAD
00000833: SWAP1
00000834: PUSH2 0x0100
00000837: EXP
00000838: SWAP1
00000839: DIV
0000083a: PUSH1 0x01
0000083c: PUSH1 0xa0
0000083e: PUSH1 0x02
00000840: EXP
00000841: SUB
00000842: AND
00000843: PUSH1 0x03
00000845: DUP4
00000846: DUP2
00000847: SLOAD
00000848: DUP2
00000849: LT
0000084a: ISZERO
0000084b: ISZERO
0000084c: PUSH2 0x0851
0000084f: JUMPI
00000850: INVALID
00000851: JUMPDEST
00000852: SWAP1
00000853: PUSH1 0x00
00000855: MSTORE
00000856: PUSH1 0x20
00000858: PUSH1 0x00
0000085a: KECCAK256
0000085b: SWAP1
0000085c: ADD
0000085d: PUSH1 0x00
0000085f: JUMPDEST
00000860: PUSH2 0x0100
00000863: EXP
00000864: DUP2
00000865: SLOAD
00000866: DUP2
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: PUSH1 0x02
0000086d: EXP
0000086e: SUB
0000086f: MUL
00000870: NOT
00000871: AND
00000872: SWAP1
00000873: DUP4
00000874: PUSH1 0x01
00000876: PUSH1 0xa0
00000878: PUSH1 0x02
0000087a: EXP
0000087b: SUB
0000087c: AND
0000087d: MUL
0000087e: OR
0000087f: SWAP1
00000880: SSTORE
00000881: POP
00000882: PUSH2 0x0892
00000885: JUMP
00000886: JUMPDEST
00000887: JUMPDEST
00000888: PUSH1 0x01
0000088a: SWAP1
0000088b: SWAP2
0000088c: ADD
0000088d: SWAP1
0000088e: PUSH2 0x07ba
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x03
00000895: DUP1
00000896: SLOAD
00000897: PUSH1 0x00
00000899: NOT
0000089a: ADD
0000089b: SWAP1
0000089c: PUSH2 0x08a5
0000089f: SWAP1
000008a0: DUP3
000008a1: PUSH2 0x1728
000008a4: JUMP
000008a5: JUMPDEST
000008a6: POP
000008a7: PUSH1 0x03
000008a9: SLOAD
000008aa: PUSH1 0x04
000008ac: SLOAD
000008ad: GT
000008ae: ISZERO
000008af: PUSH2 0x08be
000008b2: JUMPI
000008b3: PUSH1 0x03
000008b5: SLOAD
000008b6: PUSH2 0x08be
000008b9: SWAP1
000008ba: PUSH2 0x1050
000008bd: JUMP
000008be: JUMPDEST
000008bf: JUMPDEST
000008c0: DUP3
000008c1: PUSH1 0x01
000008c3: PUSH1 0xa0
000008c5: PUSH1 0x02
000008c7: EXP
000008c8: SUB
000008c9: AND
000008ca: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000008eb: PUSH1 0x40
000008ed: MLOAD
000008ee: PUSH1 0x40
000008f0: MLOAD
000008f1: DUP1
000008f2: SWAP2
000008f3: SUB
000008f4: SWAP1
000008f5: LOG2
000008f6: JUMPDEST
000008f7: JUMPDEST
000008f8: POP
000008f9: JUMPDEST
000008fa: POP
000008fb: POP
000008fc: JUMP
000008fd: JUMPDEST
000008fe: CALLER
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: PUSH1 0x02
00000905: EXP
00000906: SUB
00000907: DUP2
00000908: AND
00000909: PUSH1 0x00
0000090b: SWAP1
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x02
00000910: PUSH1 0x20
00000912: MSTORE
00000913: PUSH1 0x40
00000915: SWAP1
00000916: KECCAK256
00000917: SLOAD
00000918: PUSH1 0xff
0000091a: AND
0000091b: ISZERO
0000091c: ISZERO
0000091d: PUSH2 0x0925
00000920: JUMPI
00000921: PUSH1 0x00
00000923: DUP1
00000924: REVERT
00000925: JUMPDEST
00000926: PUSH1 0x00
00000928: DUP3
00000929: DUP2
0000092a: MSTORE
0000092b: PUSH1 0x01
0000092d: PUSH1 0x20
0000092f: SWAP1
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x40
00000934: DUP1
00000935: DUP4
00000936: KECCAK256
00000937: CALLER
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: PUSH1 0x02
0000093e: EXP
0000093f: SUB
00000940: DUP2
00000941: AND
00000942: DUP6
00000943: MSTORE
00000944: SWAP3
00000945: MSTORE
00000946: SWAP1
00000947: SWAP2
00000948: KECCAK256
00000949: SLOAD
0000094a: DUP4
0000094b: SWAP2
0000094c: SWAP1
0000094d: PUSH1 0xff
0000094f: AND
00000950: ISZERO
00000951: ISZERO
00000952: PUSH2 0x095a
00000955: JUMPI
00000956: PUSH1 0x00
00000958: DUP1
00000959: REVERT
0000095a: JUMPDEST
0000095b: PUSH1 0x00
0000095d: DUP5
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x20
00000962: DUP2
00000963: SWAP1
00000964: MSTORE
00000965: PUSH1 0x40
00000967: SWAP1
00000968: KECCAK256
00000969: PUSH1 0x03
0000096b: ADD
0000096c: SLOAD
0000096d: DUP5
0000096e: SWAP1
0000096f: PUSH1 0xff
00000971: AND
00000972: ISZERO
00000973: PUSH2 0x097b
00000976: JUMPI
00000977: PUSH1 0x00
00000979: DUP1
0000097a: REVERT
0000097b: JUMPDEST
0000097c: PUSH1 0x00
0000097e: DUP6
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x01
00000983: PUSH1 0x20
00000985: SWAP1
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x40
0000098a: DUP1
0000098b: DUP4
0000098c: KECCAK256
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: PUSH1 0x02
00000993: EXP
00000994: SUB
00000995: CALLER
00000996: AND
00000997: DUP1
00000998: DUP6
00000999: MSTORE
0000099a: SWAP3
0000099b: MSTORE
0000099c: SWAP2
0000099d: DUP3
0000099e: SWAP1
0000099f: KECCAK256
000009a0: DUP1
000009a1: SLOAD
000009a2: PUSH1 0xff
000009a4: NOT
000009a5: AND
000009a6: SWAP1
000009a7: SSTORE
000009a8: DUP7
000009a9: SWAP2
000009aa: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
000009cb: SWAP1
000009cc: MLOAD
000009cd: PUSH1 0x40
000009cf: MLOAD
000009d0: DUP1
000009d1: SWAP2
000009d2: SUB
000009d3: SWAP1
000009d4: LOG3
000009d5: JUMPDEST
000009d6: JUMPDEST
000009d7: POP
000009d8: JUMPDEST
000009d9: POP
000009da: POP
000009db: JUMPDEST
000009dc: POP
000009dd: POP
000009de: JUMP
000009df: JUMPDEST
000009e0: PUSH1 0x02
000009e2: PUSH1 0x20
000009e4: MSTORE
000009e5: PUSH1 0x00
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x40
000009ec: SWAP1
000009ed: KECCAK256
000009ee: SLOAD
000009ef: PUSH1 0xff
000009f1: AND
000009f2: DUP2
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH1 0x01
000009f7: PUSH1 0x20
000009f9: SWAP1
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x00
000009fe: SWAP3
000009ff: DUP4
00000a00: MSTORE
00000a01: PUSH1 0x40
00000a03: DUP1
00000a04: DUP5
00000a05: KECCAK256
00000a06: SWAP1
00000a07: SWAP2
00000a08: MSTORE
00000a09: SWAP1
00000a0a: DUP3
00000a0b: MSTORE
00000a0c: SWAP1
00000a0d: KECCAK256
00000a0e: SLOAD
00000a0f: PUSH1 0xff
00000a11: AND
00000a12: DUP2
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x00
00000a17: PUSH1 0x07
00000a19: SLOAD
00000a1a: PUSH3 0x015180
00000a1e: ADD
00000a1f: TIMESTAMP
00000a20: GT
00000a21: ISZERO
00000a22: PUSH2 0x0a2e
00000a25: JUMPI
00000a26: POP
00000a27: PUSH1 0x06
00000a29: SLOAD
00000a2a: PUSH2 0x0a37
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: POP
00000a30: PUSH1 0x08
00000a32: SLOAD
00000a33: PUSH1 0x06
00000a35: SLOAD
00000a36: SUB
00000a37: JUMPDEST
00000a38: SWAP1
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x00
00000a3d: DUP1
00000a3e: JUMPDEST
00000a3f: PUSH1 0x05
00000a41: SLOAD
00000a42: DUP2
00000a43: LT
00000a44: ISZERO
00000a45: PUSH2 0x0aa1
00000a48: JUMPI
00000a49: DUP4
00000a4a: DUP1
00000a4b: ISZERO
00000a4c: PUSH2 0x0a67
00000a4f: JUMPI
00000a50: POP
00000a51: PUSH1 0x00
00000a53: DUP2
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: DUP2
00000a59: SWAP1
00000a5a: MSTORE
00000a5b: PUSH1 0x40
00000a5d: SWAP1
00000a5e: KECCAK256
00000a5f: PUSH1 0x03
00000a61: ADD
00000a62: SLOAD
00000a63: PUSH1 0xff
00000a65: AND
00000a66: ISZERO
00000a67: JUMPDEST
00000a68: DUP1
00000a69: PUSH2 0x0a8b
00000a6c: JUMPI
00000a6d: POP
00000a6e: DUP3
00000a6f: DUP1
00000a70: ISZERO
00000a71: PUSH2 0x0a8b
00000a74: JUMPI
00000a75: POP
00000a76: PUSH1 0x00
00000a78: DUP2
00000a79: DUP2
00000a7a: MSTORE
00000a7b: PUSH1 0x20
00000a7d: DUP2
00000a7e: SWAP1
00000a7f: MSTORE
00000a80: PUSH1 0x40
00000a82: SWAP1
00000a83: KECCAK256
00000a84: PUSH1 0x03
00000a86: ADD
00000a87: SLOAD
00000a88: PUSH1 0xff
00000a8a: AND
00000a8b: JUMPDEST
00000a8c: JUMPDEST
00000a8d: ISZERO
00000a8e: PUSH2 0x0a98
00000a91: JUMPI
00000a92: PUSH1 0x01
00000a94: DUP3
00000a95: ADD
00000a96: SWAP2
00000a97: POP
00000a98: JUMPDEST
00000a99: JUMPDEST
00000a9a: PUSH1 0x01
00000a9c: ADD
00000a9d: PUSH2 0x0a3e
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: JUMPDEST
00000aa3: POP
00000aa4: SWAP3
00000aa5: SWAP2
00000aa6: POP
00000aa7: POP
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: PUSH1 0x06
00000aac: SLOAD
00000aad: DUP2
00000aae: JUMP
00000aaf: JUMPDEST
00000ab0: PUSH1 0x07
00000ab2: SLOAD
00000ab3: DUP2
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: ADDRESS
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0xa0
00000abb: PUSH1 0x02
00000abd: EXP
00000abe: SUB
00000abf: AND
00000ac0: CALLER
00000ac1: PUSH1 0x01
00000ac3: PUSH1 0xa0
00000ac5: PUSH1 0x02
00000ac7: EXP
00000ac8: SUB
00000ac9: AND
00000aca: EQ
00000acb: ISZERO
00000acc: ISZERO
00000acd: PUSH2 0x0ad5
00000ad0: JUMPI
00000ad1: PUSH1 0x00
00000ad3: DUP1
00000ad4: REVERT
00000ad5: JUMPDEST
00000ad6: PUSH1 0x01
00000ad8: PUSH1 0xa0
00000ada: PUSH1 0x02
00000adc: EXP
00000add: SUB
00000ade: DUP2
00000adf: AND
00000ae0: PUSH1 0x00
00000ae2: SWAP1
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x02
00000ae7: PUSH1 0x20
00000ae9: MSTORE
00000aea: PUSH1 0x40
00000aec: SWAP1
00000aed: KECCAK256
00000aee: SLOAD
00000aef: DUP2
00000af0: SWAP1
00000af1: PUSH1 0xff
00000af3: AND
00000af4: ISZERO
00000af5: PUSH2 0x0afd
00000af8: JUMPI
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: REVERT
00000afd: JUMPDEST
00000afe: DUP2
00000aff: PUSH1 0x01
00000b01: PUSH1 0xa0
00000b03: PUSH1 0x02
00000b05: EXP
00000b06: SUB
00000b07: DUP2
00000b08: AND
00000b09: ISZERO
00000b0a: ISZERO
00000b0b: PUSH2 0x0b13
00000b0e: JUMPI
00000b0f: PUSH1 0x00
00000b11: DUP1
00000b12: REVERT
00000b13: JUMPDEST
00000b14: PUSH1 0x03
00000b16: DUP1
00000b17: SLOAD
00000b18: SWAP1
00000b19: POP
00000b1a: PUSH1 0x01
00000b1c: ADD
00000b1d: PUSH1 0x04
00000b1f: SLOAD
00000b20: PUSH1 0x32
00000b22: DUP3
00000b23: GT
00000b24: DUP1
00000b25: PUSH2 0x0b2d
00000b28: JUMPI
00000b29: POP
00000b2a: DUP2
00000b2b: DUP2
00000b2c: GT
00000b2d: JUMPDEST
00000b2e: DUP1
00000b2f: PUSH2 0x0b36
00000b32: JUMPI
00000b33: POP
00000b34: DUP1
00000b35: ISZERO
00000b36: JUMPDEST
00000b37: DUP1
00000b38: PUSH2 0x0b3f
00000b3b: JUMPI
00000b3c: POP
00000b3d: DUP2
00000b3e: ISZERO
00000b3f: JUMPDEST
00000b40: ISZERO
00000b41: PUSH2 0x0b49
00000b44: JUMPI
00000b45: PUSH1 0x00
00000b47: DUP1
00000b48: REVERT
00000b49: JUMPDEST
00000b4a: PUSH1 0x01
00000b4c: PUSH1 0xa0
00000b4e: PUSH1 0x02
00000b50: EXP
00000b51: SUB
00000b52: DUP6
00000b53: AND
00000b54: PUSH1 0x00
00000b56: SWAP1
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x02
00000b5b: PUSH1 0x20
00000b5d: MSTORE
00000b5e: PUSH1 0x40
00000b60: SWAP1
00000b61: KECCAK256
00000b62: DUP1
00000b63: SLOAD
00000b64: PUSH1 0xff
00000b66: NOT
00000b67: AND
00000b68: PUSH1 0x01
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: OR
00000b6d: SWAP1
00000b6e: SWAP2
00000b6f: SSTORE
00000b70: PUSH1 0x03
00000b72: DUP1
00000b73: SLOAD
00000b74: SWAP1
00000b75: SWAP2
00000b76: DUP2
00000b77: ADD
00000b78: PUSH2 0x0b81
00000b7b: DUP4
00000b7c: DUP3
00000b7d: PUSH2 0x1728
00000b80: JUMP
00000b81: JUMPDEST
00000b82: SWAP2
00000b83: PUSH1 0x00
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: PUSH1 0x00
00000b8a: KECCAK256
00000b8b: SWAP1
00000b8c: ADD
00000b8d: PUSH1 0x00
00000b8f: JUMPDEST
00000b90: DUP2
00000b91: SLOAD
00000b92: PUSH1 0x01
00000b94: PUSH1 0xa0
00000b96: PUSH1 0x02
00000b98: EXP
00000b99: SUB
00000b9a: DUP1
00000b9b: DUP11
00000b9c: AND
00000b9d: PUSH2 0x0100
00000ba0: SWAP4
00000ba1: SWAP1
00000ba2: SWAP4
00000ba3: EXP
00000ba4: DUP4
00000ba5: DUP2
00000ba6: MUL
00000ba7: SWAP2
00000ba8: MUL
00000ba9: NOT
00000baa: SWAP1
00000bab: SWAP2
00000bac: AND
00000bad: OR
00000bae: SWAP1
00000baf: SWAP2
00000bb0: SSTORE
00000bb1: SWAP1
00000bb2: POP
00000bb3: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000bd4: PUSH1 0x40
00000bd6: MLOAD
00000bd7: PUSH1 0x40
00000bd9: MLOAD
00000bda: DUP1
00000bdb: SWAP2
00000bdc: SUB
00000bdd: SWAP1
00000bde: LOG2
00000bdf: JUMPDEST
00000be0: JUMPDEST
00000be1: POP
00000be2: POP
00000be3: JUMPDEST
00000be4: POP
00000be5: JUMPDEST
00000be6: POP
00000be7: JUMPDEST
00000be8: POP
00000be9: JUMP
00000bea: JUMPDEST
00000beb: PUSH1 0x00
00000bed: DUP1
00000bee: DUP1
00000bef: JUMPDEST
00000bf0: PUSH1 0x03
00000bf2: SLOAD
00000bf3: DUP2
00000bf4: LT
00000bf5: ISZERO
00000bf6: PUSH2 0x0c76
00000bf9: JUMPI
00000bfa: PUSH1 0x00
00000bfc: DUP5
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x01
00000c01: PUSH1 0x20
00000c03: MSTORE
00000c04: PUSH1 0x40
00000c06: DUP2
00000c07: KECCAK256
00000c08: PUSH1 0x03
00000c0a: DUP1
00000c0b: SLOAD
00000c0c: SWAP2
00000c0d: SWAP3
00000c0e: SWAP2
00000c0f: DUP5
00000c10: SWAP1
00000c11: DUP2
00000c12: LT
00000c13: PUSH2 0x0c18
00000c16: JUMPI
00000c17: INVALID
00000c18: JUMPDEST
00000c19: SWAP1
00000c1a: PUSH1 0x00
00000c1c: MSTORE
00000c1d: PUSH1 0x20
00000c1f: PUSH1 0x00
00000c21: KECCAK256
00000c22: SWAP1
00000c23: ADD
00000c24: PUSH1 0x00
00000c26: JUMPDEST
00000c27: SWAP1
00000c28: SLOAD
00000c29: PUSH1 0x01
00000c2b: PUSH1 0xa0
00000c2d: PUSH1 0x02
00000c2f: EXP
00000c30: SUB
00000c31: PUSH2 0x0100
00000c34: SWAP3
00000c35: SWAP1
00000c36: SWAP3
00000c37: EXP
00000c38: SWAP1
00000c39: DIV
00000c3a: AND
00000c3b: DUP2
00000c3c: MSTORE
00000c3d: PUSH1 0x20
00000c3f: DUP2
00000c40: ADD
00000c41: SWAP2
00000c42: SWAP1
00000c43: SWAP2
00000c44: MSTORE
00000c45: PUSH1 0x40
00000c47: ADD
00000c48: PUSH1 0x00
00000c4a: KECCAK256
00000c4b: SLOAD
00000c4c: PUSH1 0xff
00000c4e: AND
00000c4f: ISZERO
00000c50: PUSH2 0x0c5a
00000c53: JUMPI
00000c54: PUSH1 0x01
00000c56: DUP3
00000c57: ADD
00000c58: SWAP2
00000c59: POP
00000c5a: JUMPDEST
00000c5b: PUSH1 0x04
00000c5d: SLOAD
00000c5e: DUP3
00000c5f: EQ
00000c60: ISZERO
00000c61: PUSH2 0x0c6d
00000c64: JUMPI
00000c65: PUSH1 0x01
00000c67: SWAP3
00000c68: POP
00000c69: PUSH2 0x0c76
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: JUMPDEST
00000c6f: PUSH1 0x01
00000c71: ADD
00000c72: PUSH2 0x0bef
00000c75: JUMP
00000c76: JUMPDEST
00000c77: JUMPDEST
00000c78: POP
00000c79: POP
00000c7a: SWAP2
00000c7b: SWAP1
00000c7c: POP
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: PUSH1 0x00
00000c81: DUP1
00000c82: JUMPDEST
00000c83: PUSH1 0x03
00000c85: SLOAD
00000c86: DUP2
00000c87: LT
00000c88: ISZERO
00000c89: PUSH2 0x0cf6
00000c8c: JUMPI
00000c8d: PUSH1 0x00
00000c8f: DUP4
00000c90: DUP2
00000c91: MSTORE
00000c92: PUSH1 0x01
00000c94: PUSH1 0x20
00000c96: MSTORE
00000c97: PUSH1 0x40
00000c99: DUP2
00000c9a: KECCAK256
00000c9b: PUSH1 0x03
00000c9d: DUP1
00000c9e: SLOAD
00000c9f: SWAP2
00000ca0: SWAP3
00000ca1: SWAP2
00000ca2: DUP5
00000ca3: SWAP1
00000ca4: DUP2
00000ca5: LT
00000ca6: PUSH2 0x0cab
00000ca9: JUMPI
00000caa: INVALID
00000cab: JUMPDEST
00000cac: SWAP1
00000cad: PUSH1 0x00
00000caf: MSTORE
00000cb0: PUSH1 0x20
00000cb2: PUSH1 0x00
00000cb4: KECCAK256
00000cb5: SWAP1
00000cb6: ADD
00000cb7: PUSH1 0x00
00000cb9: JUMPDEST
00000cba: SWAP1
00000cbb: SLOAD
00000cbc: PUSH1 0x01
00000cbe: PUSH1 0xa0
00000cc0: PUSH1 0x02
00000cc2: EXP
00000cc3: SUB
00000cc4: PUSH2 0x0100
00000cc7: SWAP3
00000cc8: SWAP1
00000cc9: SWAP3
00000cca: EXP
00000ccb: SWAP1
00000ccc: DIV
00000ccd: AND
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x20
00000cd2: DUP2
00000cd3: ADD
00000cd4: SWAP2
00000cd5: SWAP1
00000cd6: SWAP2
00000cd7: MSTORE
00000cd8: PUSH1 0x40
00000cda: ADD
00000cdb: PUSH1 0x00
00000cdd: KECCAK256
00000cde: SLOAD
00000cdf: PUSH1 0xff
00000ce1: AND
00000ce2: ISZERO
00000ce3: PUSH2 0x0ced
00000ce6: JUMPI
00000ce7: PUSH1 0x01
00000ce9: DUP3
00000cea: ADD
00000ceb: SWAP2
00000cec: POP
00000ced: JUMPDEST
00000cee: JUMPDEST
00000cef: PUSH1 0x01
00000cf1: ADD
00000cf2: PUSH2 0x0c82
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: JUMPDEST
00000cf8: POP
00000cf9: SWAP2
00000cfa: SWAP1
00000cfb: POP
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: PUSH1 0x00
00000d00: PUSH1 0x20
00000d02: DUP2
00000d03: SWAP1
00000d04: MSTORE
00000d05: SWAP1
00000d06: DUP2
00000d07: MSTORE
00000d08: PUSH1 0x40
00000d0a: SWAP1
00000d0b: KECCAK256
00000d0c: DUP1
00000d0d: SLOAD
00000d0e: PUSH1 0x01
00000d10: DUP3
00000d11: ADD
00000d12: SLOAD
00000d13: PUSH1 0x03
00000d15: DUP4
00000d16: ADD
00000d17: SLOAD
00000d18: PUSH1 0x01
00000d1a: PUSH1 0xa0
00000d1c: PUSH1 0x02
00000d1e: EXP
00000d1f: SUB
00000d20: SWAP1
00000d21: SWAP3
00000d22: AND
00000d23: SWAP3
00000d24: SWAP1
00000d25: SWAP2
00000d26: PUSH1 0x02
00000d28: SWAP1
00000d29: SWAP2
00000d2a: ADD
00000d2b: SWAP1
00000d2c: PUSH1 0xff
00000d2e: AND
00000d2f: DUP5
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH2 0x0d39
00000d35: PUSH2 0x177c
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: PUSH1 0x03
00000d3c: DUP1
00000d3d: SLOAD
00000d3e: DUP1
00000d3f: PUSH1 0x20
00000d41: MUL
00000d42: PUSH1 0x20
00000d44: ADD
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: SWAP1
00000d49: DUP2
00000d4a: ADD
00000d4b: PUSH1 0x40
00000d4d: MSTORE
00000d4e: DUP1
00000d4f: SWAP3
00000d50: SWAP2
00000d51: SWAP1
00000d52: DUP2
00000d53: DUP2
00000d54: MSTORE
00000d55: PUSH1 0x20
00000d57: ADD
00000d58: DUP3
00000d59: DUP1
00000d5a: SLOAD
00000d5b: DUP1
00000d5c: ISZERO
00000d5d: PUSH2 0x0d8f
00000d60: JUMPI
00000d61: PUSH1 0x20
00000d63: MUL
00000d64: DUP3
00000d65: ADD
00000d66: SWAP2
00000d67: SWAP1
00000d68: PUSH1 0x00
00000d6a: MSTORE
00000d6b: PUSH1 0x20
00000d6d: PUSH1 0x00
00000d6f: KECCAK256
00000d70: SWAP1
00000d71: JUMPDEST
00000d72: DUP2
00000d73: SLOAD
00000d74: PUSH1 0x01
00000d76: PUSH1 0xa0
00000d78: PUSH1 0x02
00000d7a: EXP
00000d7b: SUB
00000d7c: AND
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x01
00000d81: SWAP1
00000d82: SWAP2
00000d83: ADD
00000d84: SWAP1
00000d85: PUSH1 0x20
00000d87: ADD
00000d88: DUP1
00000d89: DUP4
00000d8a: GT
00000d8b: PUSH2 0x0d71
00000d8e: JUMPI
00000d8f: JUMPDEST
00000d90: POP
00000d91: POP
00000d92: POP
00000d93: POP
00000d94: POP
00000d95: SWAP1
00000d96: POP
00000d97: JUMPDEST
00000d98: SWAP1
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH2 0x0da2
00000d9e: PUSH2 0x177c
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH2 0x0daa
00000da6: PUSH2 0x177c
00000da9: JUMP
00000daa: JUMPDEST
00000dab: PUSH1 0x00
00000dad: DUP1
00000dae: PUSH1 0x05
00000db0: SLOAD
00000db1: PUSH1 0x40
00000db3: MLOAD
00000db4: DUP1
00000db5: MSIZE
00000db6: LT
00000db7: PUSH2 0x0dbd
00000dba: JUMPI
00000dbb: POP
00000dbc: MSIZE
00000dbd: JUMPDEST
00000dbe: SWAP1
00000dbf: DUP1
00000dc0: DUP3
00000dc1: MSTORE
00000dc2: DUP1
00000dc3: PUSH1 0x20
00000dc5: MUL
00000dc6: PUSH1 0x20
00000dc8: ADD
00000dc9: DUP3
00000dca: ADD
00000dcb: PUSH1 0x40
00000dcd: MSTORE
00000dce: JUMPDEST
00000dcf: POP
00000dd0: SWAP3
00000dd1: POP
00000dd2: PUSH1 0x00
00000dd4: SWAP2
00000dd5: POP
00000dd6: PUSH1 0x00
00000dd8: SWAP1
00000dd9: POP
00000dda: JUMPDEST
00000ddb: PUSH1 0x05
00000ddd: SLOAD
00000dde: DUP2
00000ddf: LT
00000de0: ISZERO
00000de1: PUSH2 0x0e55
00000de4: JUMPI
00000de5: DUP6
00000de6: DUP1
00000de7: ISZERO
00000de8: PUSH2 0x0e03
00000deb: JUMPI
00000dec: POP
00000ded: PUSH1 0x00
00000def: DUP2
00000df0: DUP2
00000df1: MSTORE
00000df2: PUSH1 0x20
00000df4: DUP2
00000df5: SWAP1
00000df6: MSTORE
00000df7: PUSH1 0x40
00000df9: SWAP1
00000dfa: KECCAK256
00000dfb: PUSH1 0x03
00000dfd: ADD
00000dfe: SLOAD
00000dff: PUSH1 0xff
00000e01: AND
00000e02: ISZERO
00000e03: JUMPDEST
00000e04: DUP1
00000e05: PUSH2 0x0e27
00000e08: JUMPI
00000e09: POP
00000e0a: DUP5
00000e0b: DUP1
00000e0c: ISZERO
00000e0d: PUSH2 0x0e27
00000e10: JUMPI
00000e11: POP
00000e12: PUSH1 0x00
00000e14: DUP2
00000e15: DUP2
00000e16: MSTORE
00000e17: PUSH1 0x20
00000e19: DUP2
00000e1a: SWAP1
00000e1b: MSTORE
00000e1c: PUSH1 0x40
00000e1e: SWAP1
00000e1f: KECCAK256
00000e20: PUSH1 0x03
00000e22: ADD
00000e23: SLOAD
00000e24: PUSH1 0xff
00000e26: AND
00000e27: JUMPDEST
00000e28: JUMPDEST
00000e29: ISZERO
00000e2a: PUSH2 0x0e4c
00000e2d: JUMPI
00000e2e: DUP1
00000e2f: DUP4
00000e30: DUP4
00000e31: DUP2
00000e32: MLOAD
00000e33: DUP2
00000e34: LT
00000e35: PUSH2 0x0e3a
00000e38: JUMPI
00000e39: INVALID
00000e3a: JUMPDEST
00000e3b: PUSH1 0x20
00000e3d: SWAP1
00000e3e: DUP2
00000e3f: MUL
00000e40: SWAP1
00000e41: SWAP2
00000e42: ADD
00000e43: ADD
00000e44: MSTORE
00000e45: PUSH1 0x01
00000e47: SWAP2
00000e48: SWAP1
00000e49: SWAP2
00000e4a: ADD
00000e4b: SWAP1
00000e4c: JUMPDEST
00000e4d: JUMPDEST
00000e4e: PUSH1 0x01
00000e50: ADD
00000e51: PUSH2 0x0dda
00000e54: JUMP
00000e55: JUMPDEST
00000e56: DUP8
00000e57: DUP8
00000e58: SUB
00000e59: PUSH1 0x40
00000e5b: MLOAD
00000e5c: DUP1
00000e5d: MSIZE
00000e5e: LT
00000e5f: PUSH2 0x0e65
00000e62: JUMPI
00000e63: POP
00000e64: MSIZE
00000e65: JUMPDEST
00000e66: SWAP1
00000e67: DUP1
00000e68: DUP3
00000e69: MSTORE
00000e6a: DUP1
00000e6b: PUSH1 0x20
00000e6d: MUL
00000e6e: PUSH1 0x20
00000e70: ADD
00000e71: DUP3
00000e72: ADD
00000e73: PUSH1 0x40
00000e75: MSTORE
00000e76: JUMPDEST
00000e77: POP
00000e78: SWAP4
00000e79: POP
00000e7a: DUP8
00000e7b: SWAP1
00000e7c: POP
00000e7d: JUMPDEST
00000e7e: DUP7
00000e7f: DUP2
00000e80: LT
00000e81: ISZERO
00000e82: PUSH2 0x0ebc
00000e85: JUMPI
00000e86: DUP3
00000e87: DUP2
00000e88: DUP2
00000e89: MLOAD
00000e8a: DUP2
00000e8b: LT
00000e8c: PUSH2 0x0e91
00000e8f: JUMPI
00000e90: INVALID
00000e91: JUMPDEST
00000e92: SWAP1
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: SWAP1
00000e97: PUSH1 0x20
00000e99: MUL
00000e9a: ADD
00000e9b: MLOAD
00000e9c: DUP5
00000e9d: DUP10
00000e9e: DUP4
00000e9f: SUB
00000ea0: DUP2
00000ea1: MLOAD
00000ea2: DUP2
00000ea3: LT
00000ea4: PUSH2 0x0ea9
00000ea7: JUMPI
00000ea8: INVALID
00000ea9: JUMPDEST
00000eaa: PUSH1 0x20
00000eac: SWAP1
00000ead: DUP2
00000eae: MUL
00000eaf: SWAP1
00000eb0: SWAP2
00000eb1: ADD
00000eb2: ADD
00000eb3: MSTORE
00000eb4: JUMPDEST
00000eb5: PUSH1 0x01
00000eb7: ADD
00000eb8: PUSH2 0x0e7d
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: JUMPDEST
00000ebe: POP
00000ebf: POP
00000ec0: POP
00000ec1: SWAP5
00000ec2: SWAP4
00000ec3: POP
00000ec4: POP
00000ec5: POP
00000ec6: POP
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: PUSH2 0x0ed0
00000ecc: PUSH2 0x177c
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: PUSH2 0x0ed8
00000ed4: PUSH2 0x177c
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: PUSH1 0x03
00000edb: SLOAD
00000edc: PUSH1 0x00
00000ede: SWAP1
00000edf: DUP2
00000ee0: SWAP1
00000ee1: PUSH1 0x40
00000ee3: MLOAD
00000ee4: DUP1
00000ee5: MSIZE
00000ee6: LT
00000ee7: PUSH2 0x0eed
00000eea: JUMPI
00000eeb: POP
00000eec: MSIZE
00000eed: JUMPDEST
00000eee: SWAP1
00000eef: DUP1
00000ef0: DUP3
00000ef1: MSTORE
00000ef2: DUP1
00000ef3: PUSH1 0x20
00000ef5: MUL
00000ef6: PUSH1 0x20
00000ef8: ADD
00000ef9: DUP3
00000efa: ADD
00000efb: PUSH1 0x40
00000efd: MSTORE
00000efe: JUMPDEST
00000eff: POP
00000f00: SWAP3
00000f01: POP
00000f02: PUSH1 0x00
00000f04: SWAP2
00000f05: POP
00000f06: PUSH1 0x00
00000f08: SWAP1
00000f09: POP
00000f0a: JUMPDEST
00000f0b: PUSH1 0x03
00000f0d: SLOAD
00000f0e: DUP2
00000f0f: LT
00000f10: ISZERO
00000f11: PUSH2 0x0fd0
00000f14: JUMPI
00000f15: PUSH1 0x00
00000f17: DUP6
00000f18: DUP2
00000f19: MSTORE
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0x20
00000f1e: MSTORE
00000f1f: PUSH1 0x40
00000f21: DUP2
00000f22: KECCAK256
00000f23: PUSH1 0x03
00000f25: DUP1
00000f26: SLOAD
00000f27: SWAP2
00000f28: SWAP3
00000f29: SWAP2
00000f2a: DUP5
00000f2b: SWAP1
00000f2c: DUP2
00000f2d: LT
00000f2e: PUSH2 0x0f33
00000f31: JUMPI
00000f32: INVALID
00000f33: JUMPDEST
00000f34: SWAP1
00000f35: PUSH1 0x00
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: PUSH1 0x00
00000f3c: KECCAK256
00000f3d: SWAP1
00000f3e: ADD
00000f3f: PUSH1 0x00
00000f41: JUMPDEST
00000f42: SWAP1
00000f43: SLOAD
00000f44: PUSH1 0x01
00000f46: PUSH1 0xa0
00000f48: PUSH1 0x02
00000f4a: EXP
00000f4b: SUB
00000f4c: PUSH2 0x0100
00000f4f: SWAP3
00000f50: SWAP1
00000f51: SWAP3
00000f52: EXP
00000f53: SWAP1
00000f54: DIV
00000f55: AND
00000f56: DUP2
00000f57: MSTORE
00000f58: PUSH1 0x20
00000f5a: DUP2
00000f5b: ADD
00000f5c: SWAP2
00000f5d: SWAP1
00000f5e: SWAP2
00000f5f: MSTORE
00000f60: PUSH1 0x40
00000f62: ADD
00000f63: PUSH1 0x00
00000f65: KECCAK256
00000f66: SLOAD
00000f67: PUSH1 0xff
00000f69: AND
00000f6a: ISZERO
00000f6b: PUSH2 0x0fc7
00000f6e: JUMPI
00000f6f: PUSH1 0x03
00000f71: DUP1
00000f72: SLOAD
00000f73: DUP3
00000f74: SWAP1
00000f75: DUP2
00000f76: LT
00000f77: PUSH2 0x0f7c
00000f7a: JUMPI
00000f7b: INVALID
00000f7c: JUMPDEST
00000f7d: SWAP1
00000f7e: PUSH1 0x00
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: PUSH1 0x00
00000f85: KECCAK256
00000f86: SWAP1
00000f87: ADD
00000f88: PUSH1 0x00
00000f8a: JUMPDEST
00000f8b: SWAP1
00000f8c: SLOAD
00000f8d: SWAP1
00000f8e: PUSH2 0x0100
00000f91: EXP
00000f92: SWAP1
00000f93: DIV
00000f94: PUSH1 0x01
00000f96: PUSH1 0xa0
00000f98: PUSH1 0x02
00000f9a: EXP
00000f9b: SUB
00000f9c: AND
00000f9d: DUP4
00000f9e: DUP4
00000f9f: DUP2
00000fa0: MLOAD
00000fa1: DUP2
00000fa2: LT
00000fa3: PUSH2 0x0fa8
00000fa6: JUMPI
00000fa7: INVALID
00000fa8: JUMPDEST
00000fa9: PUSH1 0x01
00000fab: PUSH1 0xa0
00000fad: PUSH1 0x02
00000faf: EXP
00000fb0: SUB
00000fb1: SWAP1
00000fb2: SWAP3
00000fb3: AND
00000fb4: PUSH1 0x20
00000fb6: SWAP3
00000fb7: DUP4
00000fb8: MUL
00000fb9: SWAP1
00000fba: SWAP2
00000fbb: ADD
00000fbc: SWAP1
00000fbd: SWAP2
00000fbe: ADD
00000fbf: MSTORE
00000fc0: PUSH1 0x01
00000fc2: SWAP2
00000fc3: SWAP1
00000fc4: SWAP2
00000fc5: ADD
00000fc6: SWAP1
00000fc7: JUMPDEST
00000fc8: JUMPDEST
00000fc9: PUSH1 0x01
00000fcb: ADD
00000fcc: PUSH2 0x0f0a
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: DUP2
00000fd2: PUSH1 0x40
00000fd4: MLOAD
00000fd5: DUP1
00000fd6: MSIZE
00000fd7: LT
00000fd8: PUSH2 0x0fde
00000fdb: JUMPI
00000fdc: POP
00000fdd: MSIZE
00000fde: JUMPDEST
00000fdf: SWAP1
00000fe0: DUP1
00000fe1: DUP3
00000fe2: MSTORE
00000fe3: DUP1
00000fe4: PUSH1 0x20
00000fe6: MUL
00000fe7: PUSH1 0x20
00000fe9: ADD
00000fea: DUP3
00000feb: ADD
00000fec: PUSH1 0x40
00000fee: MSTORE
00000fef: JUMPDEST
00000ff0: POP
00000ff1: SWAP4
00000ff2: POP
00000ff3: PUSH1 0x00
00000ff5: SWAP1
00000ff6: POP
00000ff7: JUMPDEST
00000ff8: DUP2
00000ff9: DUP2
00000ffa: LT
00000ffb: ISZERO
00000ffc: PUSH2 0x1041
00000fff: JUMPI
00001000: DUP3
00001001: DUP2
00001002: DUP2
00001003: MLOAD
00001004: DUP2
00001005: LT
00001006: PUSH2 0x100b
00001009: JUMPI
0000100a: INVALID
0000100b: JUMPDEST
0000100c: SWAP1
0000100d: PUSH1 0x20
0000100f: ADD
00001010: SWAP1
00001011: PUSH1 0x20
00001013: MUL
00001014: ADD
00001015: MLOAD
00001016: DUP5
00001017: DUP3
00001018: DUP2
00001019: MLOAD
0000101a: DUP2
0000101b: LT
0000101c: PUSH2 0x1021
0000101f: JUMPI
00001020: INVALID
00001021: JUMPDEST
00001022: PUSH1 0x01
00001024: PUSH1 0xa0
00001026: PUSH1 0x02
00001028: EXP
00001029: SUB
0000102a: SWAP1
0000102b: SWAP3
0000102c: AND
0000102d: PUSH1 0x20
0000102f: SWAP3
00001030: DUP4
00001031: MUL
00001032: SWAP1
00001033: SWAP2
00001034: ADD
00001035: SWAP1
00001036: SWAP2
00001037: ADD
00001038: MSTORE
00001039: JUMPDEST
0000103a: PUSH1 0x01
0000103c: ADD
0000103d: PUSH2 0x0ff7
00001040: JUMP
00001041: JUMPDEST
00001042: JUMPDEST
00001043: POP
00001044: POP
00001045: POP
00001046: SWAP2
00001047: SWAP1
00001048: POP
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH1 0x05
0000104d: SLOAD
0000104e: DUP2
0000104f: JUMP
00001050: JUMPDEST
00001051: ADDRESS
00001052: PUSH1 0x01
00001054: PUSH1 0xa0
00001056: PUSH1 0x02
00001058: EXP
00001059: SUB
0000105a: AND
0000105b: CALLER
0000105c: PUSH1 0x01
0000105e: PUSH1 0xa0
00001060: PUSH1 0x02
00001062: EXP
00001063: SUB
00001064: AND
00001065: EQ
00001066: ISZERO
00001067: ISZERO
00001068: PUSH2 0x1070
0000106b: JUMPI
0000106c: PUSH1 0x00
0000106e: DUP1
0000106f: REVERT
00001070: JUMPDEST
00001071: PUSH1 0x03
00001073: SLOAD
00001074: DUP2
00001075: PUSH1 0x32
00001077: DUP3
00001078: GT
00001079: DUP1
0000107a: PUSH2 0x1082
0000107d: JUMPI
0000107e: POP
0000107f: DUP2
00001080: DUP2
00001081: GT
00001082: JUMPDEST
00001083: DUP1
00001084: PUSH2 0x108b
00001087: JUMPI
00001088: POP
00001089: DUP1
0000108a: ISZERO
0000108b: JUMPDEST
0000108c: DUP1
0000108d: PUSH2 0x1094
00001090: JUMPI
00001091: POP
00001092: DUP2
00001093: ISZERO
00001094: JUMPDEST
00001095: ISZERO
00001096: PUSH2 0x109e
00001099: JUMPI
0000109a: PUSH1 0x00
0000109c: DUP1
0000109d: REVERT
0000109e: JUMPDEST
0000109f: PUSH1 0x04
000010a1: DUP4
000010a2: SWAP1
000010a3: SSTORE
000010a4: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000010c5: DUP4
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: SWAP1
000010ca: DUP2
000010cb: MSTORE
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: PUSH1 0x40
000010d1: MLOAD
000010d2: DUP1
000010d3: SWAP2
000010d4: SUB
000010d5: SWAP1
000010d6: LOG1
000010d7: JUMPDEST
000010d8: JUMPDEST
000010d9: POP
000010da: POP
000010db: JUMPDEST
000010dc: POP
000010dd: JUMP
000010de: JUMPDEST
000010df: CALLER
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: PUSH1 0x02
000010e6: EXP
000010e7: SUB
000010e8: DUP2
000010e9: AND
000010ea: PUSH1 0x00
000010ec: SWAP1
000010ed: DUP2
000010ee: MSTORE
000010ef: PUSH1 0x02
000010f1: PUSH1 0x20
000010f3: MSTORE
000010f4: PUSH1 0x40
000010f6: SWAP1
000010f7: KECCAK256
000010f8: SLOAD
000010f9: PUSH1 0xff
000010fb: AND
000010fc: ISZERO
000010fd: ISZERO
000010fe: PUSH2 0x1106
00001101: JUMPI
00001102: PUSH1 0x00
00001104: DUP1
00001105: REVERT
00001106: JUMPDEST
00001107: PUSH1 0x00
00001109: DUP3
0000110a: DUP2
0000110b: MSTORE
0000110c: PUSH1 0x20
0000110e: DUP2
0000110f: SWAP1
00001110: MSTORE
00001111: PUSH1 0x40
00001113: SWAP1
00001114: KECCAK256
00001115: SLOAD
00001116: DUP3
00001117: SWAP1
00001118: PUSH1 0x01
0000111a: PUSH1 0xa0
0000111c: PUSH1 0x02
0000111e: EXP
0000111f: SUB
00001120: AND
00001121: ISZERO
00001122: ISZERO
00001123: PUSH2 0x112b
00001126: JUMPI
00001127: PUSH1 0x00
00001129: DUP1
0000112a: REVERT
0000112b: JUMPDEST
0000112c: PUSH1 0x00
0000112e: DUP4
0000112f: DUP2
00001130: MSTORE
00001131: PUSH1 0x01
00001133: PUSH1 0x20
00001135: SWAP1
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x40
0000113a: DUP1
0000113b: DUP4
0000113c: KECCAK256
0000113d: CALLER
0000113e: PUSH1 0x01
00001140: PUSH1 0xa0
00001142: PUSH1 0x02
00001144: EXP
00001145: SUB
00001146: DUP2
00001147: AND
00001148: DUP6
00001149: MSTORE
0000114a: SWAP3
0000114b: MSTORE
0000114c: SWAP1
0000114d: SWAP2
0000114e: KECCAK256
0000114f: SLOAD
00001150: DUP5
00001151: SWAP2
00001152: SWAP1
00001153: PUSH1 0xff
00001155: AND
00001156: ISZERO
00001157: PUSH2 0x115f
0000115a: JUMPI
0000115b: PUSH1 0x00
0000115d: DUP1
0000115e: REVERT
0000115f: JUMPDEST
00001160: PUSH1 0x00
00001162: DUP6
00001163: DUP2
00001164: MSTORE
00001165: PUSH1 0x01
00001167: PUSH1 0x20
00001169: DUP2
0000116a: DUP2
0000116b: MSTORE
0000116c: PUSH1 0x40
0000116e: DUP1
0000116f: DUP5
00001170: KECCAK256
00001171: PUSH1 0x01
00001173: PUSH1 0xa0
00001175: PUSH1 0x02
00001177: EXP
00001178: SUB
00001179: CALLER
0000117a: AND
0000117b: DUP1
0000117c: DUP7
0000117d: MSTORE
0000117e: SWAP3
0000117f: MSTORE
00001180: SWAP3
00001181: DUP4
00001182: SWAP1
00001183: KECCAK256
00001184: DUP1
00001185: SLOAD
00001186: PUSH1 0xff
00001188: NOT
00001189: AND
0000118a: SWAP1
0000118b: SWAP3
0000118c: OR
0000118d: SWAP1
0000118e: SWAP2
0000118f: SSTORE
00001190: DUP7
00001191: SWAP2
00001192: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000011b3: SWAP1
000011b4: MLOAD
000011b5: PUSH1 0x40
000011b7: MLOAD
000011b8: DUP1
000011b9: SWAP2
000011ba: SUB
000011bb: SWAP1
000011bc: LOG3
000011bd: PUSH2 0x09d5
000011c0: DUP6
000011c1: PUSH2 0x1419
000011c4: JUMP
000011c5: JUMPDEST
000011c6: JUMPDEST
000011c7: JUMPDEST
000011c8: POP
000011c9: POP
000011ca: JUMPDEST
000011cb: POP
000011cc: JUMPDEST
000011cd: POP
000011ce: POP
000011cf: JUMP
000011d0: JUMPDEST
000011d1: PUSH1 0x00
000011d3: PUSH2 0x11dd
000011d6: DUP5
000011d7: DUP5
000011d8: DUP5
000011d9: PUSH2 0x15e1
000011dc: JUMP
000011dd: JUMPDEST
000011de: SWAP1
000011df: POP
000011e0: PUSH2 0x11e8
000011e3: DUP2
000011e4: PUSH2 0x10de
000011e7: JUMP
000011e8: JUMPDEST
000011e9: JUMPDEST
000011ea: SWAP4
000011eb: SWAP3
000011ec: POP
000011ed: POP
000011ee: POP
000011ef: JUMP
000011f0: JUMPDEST
000011f1: ADDRESS
000011f2: PUSH1 0x01
000011f4: PUSH1 0xa0
000011f6: PUSH1 0x02
000011f8: EXP
000011f9: SUB
000011fa: AND
000011fb: CALLER
000011fc: PUSH1 0x01
000011fe: PUSH1 0xa0
00001200: PUSH1 0x02
00001202: EXP
00001203: SUB
00001204: AND
00001205: EQ
00001206: ISZERO
00001207: ISZERO
00001208: PUSH2 0x1210
0000120b: JUMPI
0000120c: PUSH1 0x00
0000120e: DUP1
0000120f: REVERT
00001210: JUMPDEST
00001211: PUSH1 0x06
00001213: DUP2
00001214: SWAP1
00001215: SSTORE
00001216: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2
00001237: DUP2
00001238: PUSH1 0x40
0000123a: MLOAD
0000123b: SWAP1
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x20
00001240: ADD
00001241: PUSH1 0x40
00001243: MLOAD
00001244: DUP1
00001245: SWAP2
00001246: SUB
00001247: SWAP1
00001248: LOG1
00001249: JUMPDEST
0000124a: JUMPDEST
0000124b: POP
0000124c: JUMP
0000124d: JUMPDEST
0000124e: PUSH1 0x32
00001250: DUP2
00001251: JUMP
00001252: JUMPDEST
00001253: PUSH1 0x04
00001255: SLOAD
00001256: DUP2
00001257: JUMP
00001258: JUMPDEST
00001259: PUSH1 0x00
0000125b: ADDRESS
0000125c: PUSH1 0x01
0000125e: PUSH1 0xa0
00001260: PUSH1 0x02
00001262: EXP
00001263: SUB
00001264: AND
00001265: CALLER
00001266: PUSH1 0x01
00001268: PUSH1 0xa0
0000126a: PUSH1 0x02
0000126c: EXP
0000126d: SUB
0000126e: AND
0000126f: EQ
00001270: ISZERO
00001271: ISZERO
00001272: PUSH2 0x127a
00001275: JUMPI
00001276: PUSH1 0x00
00001278: DUP1
00001279: REVERT
0000127a: JUMPDEST
0000127b: PUSH1 0x01
0000127d: PUSH1 0xa0
0000127f: PUSH1 0x02
00001281: EXP
00001282: SUB
00001283: DUP4
00001284: AND
00001285: PUSH1 0x00
00001287: SWAP1
00001288: DUP2
00001289: MSTORE
0000128a: PUSH1 0x02
0000128c: PUSH1 0x20
0000128e: MSTORE
0000128f: PUSH1 0x40
00001291: SWAP1
00001292: KECCAK256
00001293: SLOAD
00001294: DUP4
00001295: SWAP1
00001296: PUSH1 0xff
00001298: AND
00001299: ISZERO
0000129a: ISZERO
0000129b: PUSH2 0x12a3
0000129e: JUMPI
0000129f: PUSH1 0x00
000012a1: DUP1
000012a2: REVERT
000012a3: JUMPDEST
000012a4: PUSH1 0x01
000012a6: PUSH1 0xa0
000012a8: PUSH1 0x02
000012aa: EXP
000012ab: SUB
000012ac: DUP4
000012ad: AND
000012ae: PUSH1 0x00
000012b0: SWAP1
000012b1: DUP2
000012b2: MSTORE
000012b3: PUSH1 0x02
000012b5: PUSH1 0x20
000012b7: MSTORE
000012b8: PUSH1 0x40
000012ba: SWAP1
000012bb: KECCAK256
000012bc: SLOAD
000012bd: DUP4
000012be: SWAP1
000012bf: PUSH1 0xff
000012c1: AND
000012c2: ISZERO
000012c3: PUSH2 0x12cb
000012c6: JUMPI
000012c7: PUSH1 0x00
000012c9: DUP1
000012ca: REVERT
000012cb: JUMPDEST
000012cc: PUSH1 0x00
000012ce: SWAP3
000012cf: POP
000012d0: JUMPDEST
000012d1: PUSH1 0x03
000012d3: SLOAD
000012d4: DUP4
000012d5: LT
000012d6: ISZERO
000012d7: PUSH2 0x1373
000012da: JUMPI
000012db: DUP5
000012dc: PUSH1 0x01
000012de: PUSH1 0xa0
000012e0: PUSH1 0x02
000012e2: EXP
000012e3: SUB
000012e4: AND
000012e5: PUSH1 0x03
000012e7: DUP5
000012e8: DUP2
000012e9: SLOAD
000012ea: DUP2
000012eb: LT
000012ec: ISZERO
000012ed: ISZERO
000012ee: PUSH2 0x12f3
000012f1: JUMPI
000012f2: INVALID
000012f3: JUMPDEST
000012f4: SWAP1
000012f5: PUSH1 0x00
000012f7: MSTORE
000012f8: PUSH1 0x20
000012fa: PUSH1 0x00
000012fc: KECCAK256
000012fd: SWAP1
000012fe: ADD
000012ff: PUSH1 0x00
00001301: JUMPDEST
00001302: SWAP1
00001303: SLOAD
00001304: SWAP1
00001305: PUSH2 0x0100
00001308: EXP
00001309: SWAP1
0000130a: DIV
0000130b: PUSH1 0x01
0000130d: PUSH1 0xa0
0000130f: PUSH1 0x02
00001311: EXP
00001312: SUB
00001313: AND
00001314: PUSH1 0x01
00001316: PUSH1 0xa0
00001318: PUSH1 0x02
0000131a: EXP
0000131b: SUB
0000131c: AND
0000131d: EQ
0000131e: ISZERO
0000131f: PUSH2 0x1367
00001322: JUMPI
00001323: DUP4
00001324: PUSH1 0x03
00001326: DUP5
00001327: DUP2
00001328: SLOAD
00001329: DUP2
0000132a: LT
0000132b: ISZERO
0000132c: ISZERO
0000132d: PUSH2 0x1332
00001330: JUMPI
00001331: INVALID
00001332: JUMPDEST
00001333: SWAP1
00001334: PUSH1 0x00
00001336: MSTORE
00001337: PUSH1 0x20
00001339: PUSH1 0x00
0000133b: KECCAK256
0000133c: SWAP1
0000133d: ADD
0000133e: PUSH1 0x00
00001340: JUMPDEST
00001341: PUSH2 0x0100
00001344: EXP
00001345: DUP2
00001346: SLOAD
00001347: DUP2
00001348: PUSH1 0x01
0000134a: PUSH1 0xa0
0000134c: PUSH1 0x02
0000134e: EXP
0000134f: SUB
00001350: MUL
00001351: NOT
00001352: AND
00001353: SWAP1
00001354: DUP4
00001355: PUSH1 0x01
00001357: PUSH1 0xa0
00001359: PUSH1 0x02
0000135b: EXP
0000135c: SUB
0000135d: AND
0000135e: MUL
0000135f: OR
00001360: SWAP1
00001361: SSTORE
00001362: POP
00001363: PUSH2 0x1373
00001366: JUMP
00001367: JUMPDEST
00001368: JUMPDEST
00001369: PUSH1 0x01
0000136b: SWAP1
0000136c: SWAP3
0000136d: ADD
0000136e: SWAP2
0000136f: PUSH2 0x12d0
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x01
00001376: PUSH1 0xa0
00001378: PUSH1 0x02
0000137a: EXP
0000137b: SUB
0000137c: DUP1
0000137d: DUP7
0000137e: AND
0000137f: PUSH1 0x00
00001381: DUP2
00001382: DUP2
00001383: MSTORE
00001384: PUSH1 0x02
00001386: PUSH1 0x20
00001388: MSTORE
00001389: PUSH1 0x40
0000138b: DUP1
0000138c: DUP3
0000138d: KECCAK256
0000138e: DUP1
0000138f: SLOAD
00001390: PUSH1 0xff
00001392: NOT
00001393: SWAP1
00001394: DUP2
00001395: AND
00001396: SWAP1
00001397: SWAP2
00001398: SSTORE
00001399: SWAP4
0000139a: DUP9
0000139b: AND
0000139c: DUP3
0000139d: MSTORE
0000139e: SWAP1
0000139f: DUP2
000013a0: SWAP1
000013a1: KECCAK256
000013a2: DUP1
000013a3: SLOAD
000013a4: SWAP1
000013a5: SWAP4
000013a6: AND
000013a7: PUSH1 0x01
000013a9: OR
000013aa: SWAP1
000013ab: SWAP3
000013ac: SSTORE
000013ad: SWAP1
000013ae: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000013cf: SWAP1
000013d0: MLOAD
000013d1: PUSH1 0x40
000013d3: MLOAD
000013d4: DUP1
000013d5: SWAP2
000013d6: SUB
000013d7: SWAP1
000013d8: LOG2
000013d9: DUP4
000013da: PUSH1 0x01
000013dc: PUSH1 0xa0
000013de: PUSH1 0x02
000013e0: EXP
000013e1: SUB
000013e2: AND
000013e3: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001404: PUSH1 0x40
00001406: MLOAD
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: DUP1
0000140b: SWAP2
0000140c: SUB
0000140d: SWAP1
0000140e: LOG2
0000140f: JUMPDEST
00001410: JUMPDEST
00001411: POP
00001412: JUMPDEST
00001413: POP
00001414: JUMPDEST
00001415: POP
00001416: POP
00001417: POP
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x00
0000141c: DUP2
0000141d: DUP2
0000141e: MSTORE
0000141f: PUSH1 0x20
00001421: DUP2
00001422: SWAP1
00001423: MSTORE
00001424: PUSH1 0x40
00001426: DUP2
00001427: KECCAK256
00001428: PUSH1 0x03
0000142a: ADD
0000142b: SLOAD
0000142c: DUP2
0000142d: SWAP1
0000142e: DUP4
0000142f: SWAP1
00001430: PUSH1 0xff
00001432: AND
00001433: ISZERO
00001434: PUSH2 0x143c
00001437: JUMPI
00001438: PUSH1 0x00
0000143a: DUP1
0000143b: REVERT
0000143c: JUMPDEST
0000143d: PUSH1 0x00
0000143f: DUP5
00001440: DUP2
00001441: MSTORE
00001442: PUSH1 0x20
00001444: DUP2
00001445: SWAP1
00001446: MSTORE
00001447: PUSH1 0x40
00001449: SWAP1
0000144a: KECCAK256
0000144b: SWAP3
0000144c: POP
0000144d: PUSH2 0x1455
00001450: DUP5
00001451: PUSH2 0x0bea
00001454: JUMP
00001455: JUMPDEST
00001456: SWAP2
00001457: POP
00001458: DUP2
00001459: DUP1
0000145a: PUSH2 0x1488
0000145d: JUMPI
0000145e: POP
0000145f: PUSH1 0x02
00001461: DUP1
00001462: DUP5
00001463: ADD
00001464: SLOAD
00001465: PUSH1 0x00
00001467: NOT
00001468: PUSH2 0x0100
0000146b: PUSH1 0x01
0000146d: DUP4
0000146e: AND
0000146f: ISZERO
00001470: MUL
00001471: ADD
00001472: AND
00001473: DIV
00001474: ISZERO
00001475: DUP1
00001476: ISZERO
00001477: PUSH2 0x1488
0000147a: JUMPI
0000147b: POP
0000147c: PUSH2 0x1488
0000147f: DUP4
00001480: PUSH1 0x01
00001482: ADD
00001483: SLOAD
00001484: PUSH2 0x16e0
00001487: JUMP
00001488: JUMPDEST
00001489: JUMPDEST
0000148a: JUMPDEST
0000148b: ISZERO
0000148c: PUSH2 0x09d8
0000148f: JUMPI
00001490: PUSH1 0x03
00001492: DUP4
00001493: ADD
00001494: DUP1
00001495: SLOAD
00001496: PUSH1 0xff
00001498: NOT
00001499: AND
0000149a: PUSH1 0x01
0000149c: OR
0000149d: SWAP1
0000149e: SSTORE
0000149f: DUP2
000014a0: ISZERO
000014a1: ISZERO
000014a2: PUSH2 0x14b4
000014a5: JUMPI
000014a6: PUSH1 0x01
000014a8: DUP4
000014a9: ADD
000014aa: SLOAD
000014ab: PUSH1 0x08
000014ad: DUP1
000014ae: SLOAD
000014af: SWAP1
000014b0: SWAP2
000014b1: ADD
000014b2: SWAP1
000014b3: SSTORE
000014b4: JUMPDEST
000014b5: DUP3
000014b6: SLOAD
000014b7: PUSH1 0x01
000014b9: DUP5
000014ba: ADD
000014bb: SLOAD
000014bc: PUSH1 0x01
000014be: PUSH1 0xa0
000014c0: PUSH1 0x02
000014c2: EXP
000014c3: SUB
000014c4: SWAP1
000014c5: SWAP2
000014c6: AND
000014c7: SWAP1
000014c8: PUSH1 0x02
000014ca: DUP6
000014cb: ADD
000014cc: PUSH1 0x40
000014ce: MLOAD
000014cf: DUP1
000014d0: DUP3
000014d1: DUP1
000014d2: SLOAD
000014d3: PUSH1 0x01
000014d5: DUP2
000014d6: PUSH1 0x01
000014d8: AND
000014d9: ISZERO
000014da: PUSH2 0x0100
000014dd: MUL
000014de: SUB
000014df: AND
000014e0: PUSH1 0x02
000014e2: SWAP1
000014e3: DIV
000014e4: DUP1
000014e5: ISZERO
000014e6: PUSH2 0x1530
000014e9: JUMPI
000014ea: DUP1
000014eb: PUSH1 0x1f
000014ed: LT
000014ee: PUSH2 0x1505
000014f1: JUMPI
000014f2: PUSH2 0x0100
000014f5: DUP1
000014f6: DUP4
000014f7: SLOAD
000014f8: DIV
000014f9: MUL
000014fa: DUP4
000014fb: MSTORE
000014fc: SWAP2
000014fd: PUSH1 0x20
000014ff: ADD
00001500: SWAP2
00001501: PUSH2 0x1530
00001504: JUMP
00001505: JUMPDEST
00001506: DUP3
00001507: ADD
00001508: SWAP2
00001509: SWAP1
0000150a: PUSH1 0x00
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: PUSH1 0x00
00001511: KECCAK256
00001512: SWAP1
00001513: JUMPDEST
00001514: DUP2
00001515: SLOAD
00001516: DUP2
00001517: MSTORE
00001518: SWAP1
00001519: PUSH1 0x01
0000151b: ADD
0000151c: SWAP1
0000151d: PUSH1 0x20
0000151f: ADD
00001520: DUP1
00001521: DUP4
00001522: GT
00001523: PUSH2 0x1513
00001526: JUMPI
00001527: DUP3
00001528: SWAP1
00001529: SUB
0000152a: PUSH1 0x1f
0000152c: AND
0000152d: DUP3
0000152e: ADD
0000152f: SWAP2
00001530: JUMPDEST
00001531: POP
00001532: POP
00001533: SWAP2
00001534: POP
00001535: POP
00001536: PUSH1 0x00
00001538: PUSH1 0x40
0000153a: MLOAD
0000153b: DUP1
0000153c: DUP4
0000153d: SUB
0000153e: DUP2
0000153f: DUP6
00001540: DUP8
00001541: PUSH2 0x8796
00001544: GAS
00001545: SUB
00001546: CALL
00001547: SWAP3
00001548: POP
00001549: POP
0000154a: POP
0000154b: ISZERO
0000154c: PUSH2 0x1581
0000154f: JUMPI
00001550: DUP4
00001551: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001572: PUSH1 0x40
00001574: MLOAD
00001575: PUSH1 0x40
00001577: MLOAD
00001578: DUP1
00001579: SWAP2
0000157a: SUB
0000157b: SWAP1
0000157c: LOG2
0000157d: PUSH2 0x09d8
00001580: JUMP
00001581: JUMPDEST
00001582: DUP4
00001583: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: DUP1
000015ab: SWAP2
000015ac: SUB
000015ad: SWAP1
000015ae: LOG2
000015af: PUSH1 0x03
000015b1: DUP4
000015b2: ADD
000015b3: DUP1
000015b4: SLOAD
000015b5: PUSH1 0xff
000015b7: NOT
000015b8: AND
000015b9: SWAP1
000015ba: SSTORE
000015bb: DUP2
000015bc: ISZERO
000015bd: ISZERO
000015be: PUSH2 0x09d8
000015c1: JUMPI
000015c2: PUSH1 0x01
000015c4: DUP4
000015c5: ADD
000015c6: SLOAD
000015c7: PUSH1 0x08
000015c9: DUP1
000015ca: SLOAD
000015cb: SWAP2
000015cc: SWAP1
000015cd: SWAP2
000015ce: SUB
000015cf: SWAP1
000015d0: SSTORE
000015d1: JUMPDEST
000015d2: JUMPDEST
000015d3: JUMPDEST
000015d4: JUMPDEST
000015d5: JUMPDEST
000015d6: POP
000015d7: POP
000015d8: POP
000015d9: POP
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH1 0x08
000015de: SLOAD
000015df: DUP2
000015e0: JUMP
000015e1: JUMPDEST
000015e2: PUSH1 0x00
000015e4: DUP4
000015e5: PUSH1 0x01
000015e7: PUSH1 0xa0
000015e9: PUSH1 0x02
000015eb: EXP
000015ec: SUB
000015ed: DUP2
000015ee: AND
000015ef: ISZERO
000015f0: ISZERO
000015f1: PUSH2 0x15f9
000015f4: JUMPI
000015f5: PUSH1 0x00
000015f7: DUP1
000015f8: REVERT
000015f9: JUMPDEST
000015fa: PUSH1 0x05
000015fc: SLOAD
000015fd: SWAP2
000015fe: POP
000015ff: PUSH1 0x80
00001601: PUSH1 0x40
00001603: MLOAD
00001604: SWAP1
00001605: DUP2
00001606: ADD
00001607: PUSH1 0x40
00001609: SWAP1
0000160a: DUP2
0000160b: MSTORE
0000160c: PUSH1 0x01
0000160e: PUSH1 0xa0
00001610: PUSH1 0x02
00001612: EXP
00001613: SUB
00001614: DUP8
00001615: AND
00001616: DUP3
00001617: MSTORE
00001618: PUSH1 0x20
0000161a: DUP1
0000161b: DUP4
0000161c: ADD
0000161d: DUP8
0000161e: SWAP1
0000161f: MSTORE
00001620: DUP2
00001621: DUP4
00001622: ADD
00001623: DUP7
00001624: SWAP1
00001625: MSTORE
00001626: PUSH1 0x00
00001628: PUSH1 0x60
0000162a: DUP5
0000162b: ADD
0000162c: DUP2
0000162d: SWAP1
0000162e: MSTORE
0000162f: DUP6
00001630: DUP2
00001631: MSTORE
00001632: SWAP1
00001633: DUP2
00001634: SWAP1
00001635: MSTORE
00001636: KECCAK256
00001637: DUP2
00001638: MLOAD
00001639: DUP2
0000163a: SLOAD
0000163b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001650: NOT
00001651: AND
00001652: PUSH1 0x01
00001654: PUSH1 0xa0
00001656: PUSH1 0x02
00001658: EXP
00001659: SUB
0000165a: SWAP2
0000165b: SWAP1
0000165c: SWAP2
0000165d: AND
0000165e: OR
0000165f: DUP2
00001660: SSTORE
00001661: PUSH1 0x20
00001663: DUP3
00001664: ADD
00001665: MLOAD
00001666: DUP2
00001667: PUSH1 0x01
00001669: ADD
0000166a: SSTORE
0000166b: PUSH1 0x40
0000166d: DUP3
0000166e: ADD
0000166f: MLOAD
00001670: DUP2
00001671: PUSH1 0x02
00001673: ADD
00001674: SWAP1
00001675: DUP1
00001676: MLOAD
00001677: PUSH2 0x1684
0000167a: SWAP3
0000167b: SWAP2
0000167c: PUSH1 0x20
0000167e: ADD
0000167f: SWAP1
00001680: PUSH2 0x17a0
00001683: JUMP
00001684: JUMPDEST
00001685: POP
00001686: PUSH1 0x60
00001688: DUP3
00001689: ADD
0000168a: MLOAD
0000168b: PUSH1 0x03
0000168d: SWAP2
0000168e: SWAP1
0000168f: SWAP2
00001690: ADD
00001691: DUP1
00001692: SLOAD
00001693: PUSH1 0xff
00001695: NOT
00001696: AND
00001697: SWAP2
00001698: ISZERO
00001699: ISZERO
0000169a: SWAP2
0000169b: SWAP1
0000169c: SWAP2
0000169d: OR
0000169e: SWAP1
0000169f: SSTORE
000016a0: POP
000016a1: PUSH1 0x05
000016a3: DUP1
000016a4: SLOAD
000016a5: PUSH1 0x01
000016a7: ADD
000016a8: SWAP1
000016a9: SSTORE
000016aa: DUP2
000016ab: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
000016cc: PUSH1 0x40
000016ce: MLOAD
000016cf: PUSH1 0x40
000016d1: MLOAD
000016d2: DUP1
000016d3: SWAP2
000016d4: SUB
000016d5: SWAP1
000016d6: LOG2
000016d7: JUMPDEST
000016d8: JUMPDEST
000016d9: POP
000016da: SWAP4
000016db: SWAP3
000016dc: POP
000016dd: POP
000016de: POP
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x00
000016e3: PUSH1 0x07
000016e5: SLOAD
000016e6: PUSH3 0x015180
000016ea: ADD
000016eb: TIMESTAMP
000016ec: GT
000016ed: ISZERO
000016ee: PUSH2 0x16fb
000016f1: JUMPI
000016f2: TIMESTAMP
000016f3: PUSH1 0x07
000016f5: SSTORE
000016f6: PUSH1 0x00
000016f8: PUSH1 0x08
000016fa: SSTORE
000016fb: JUMPDEST
000016fc: PUSH1 0x06
000016fe: SLOAD
000016ff: DUP3
00001700: PUSH1 0x08
00001702: SLOAD
00001703: ADD
00001704: GT
00001705: DUP1
00001706: PUSH2 0x1712
00001709: JUMPI
0000170a: POP
0000170b: PUSH1 0x08
0000170d: SLOAD
0000170e: DUP3
0000170f: DUP2
00001710: ADD
00001711: LT
00001712: JUMPDEST
00001713: ISZERO
00001714: PUSH2 0x171f
00001717: JUMPI
00001718: POP
00001719: PUSH1 0x00
0000171b: PUSH2 0x1723
0000171e: JUMP
0000171f: JUMPDEST
00001720: POP
00001721: PUSH1 0x01
00001723: JUMPDEST
00001724: SWAP2
00001725: SWAP1
00001726: POP
00001727: JUMP
00001728: JUMPDEST
00001729: DUP2
0000172a: SLOAD
0000172b: DUP2
0000172c: DUP4
0000172d: SSTORE
0000172e: DUP2
0000172f: DUP2
00001730: ISZERO
00001731: GT
00001732: PUSH2 0x08f6
00001735: JUMPI
00001736: PUSH1 0x00
00001738: DUP4
00001739: DUP2
0000173a: MSTORE
0000173b: PUSH1 0x20
0000173d: SWAP1
0000173e: KECCAK256
0000173f: PUSH2 0x08f6
00001742: SWAP2
00001743: DUP2
00001744: ADD
00001745: SWAP1
00001746: DUP4
00001747: ADD
00001748: PUSH2 0x181f
0000174b: JUMP
0000174c: JUMPDEST
0000174d: JUMPDEST
0000174e: POP
0000174f: POP
00001750: POP
00001751: JUMP
00001752: JUMPDEST
00001753: DUP2
00001754: SLOAD
00001755: DUP2
00001756: DUP4
00001757: SSTORE
00001758: DUP2
00001759: DUP2
0000175a: ISZERO
0000175b: GT
0000175c: PUSH2 0x08f6
0000175f: JUMPI
00001760: PUSH1 0x00
00001762: DUP4
00001763: DUP2
00001764: MSTORE
00001765: PUSH1 0x20
00001767: SWAP1
00001768: KECCAK256
00001769: PUSH2 0x08f6
0000176c: SWAP2
0000176d: DUP2
0000176e: ADD
0000176f: SWAP1
00001770: DUP4
00001771: ADD
00001772: PUSH2 0x181f
00001775: JUMP
00001776: JUMPDEST
00001777: JUMPDEST
00001778: POP
00001779: POP
0000177a: POP
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x20
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: SWAP1
00001783: DUP2
00001784: ADD
00001785: PUSH1 0x40
00001787: MSTORE
00001788: PUSH1 0x00
0000178a: DUP2
0000178b: MSTORE
0000178c: SWAP1
0000178d: JUMP
0000178e: JUMPDEST
0000178f: PUSH1 0x20
00001791: PUSH1 0x40
00001793: MLOAD
00001794: SWAP1
00001795: DUP2
00001796: ADD
00001797: PUSH1 0x40
00001799: MSTORE
0000179a: PUSH1 0x00
0000179c: DUP2
0000179d: MSTORE
0000179e: SWAP1
0000179f: JUMP
000017a0: JUMPDEST
000017a1: DUP3
000017a2: DUP1
000017a3: SLOAD
000017a4: PUSH1 0x01
000017a6: DUP2
000017a7: PUSH1 0x01
000017a9: AND
000017aa: ISZERO
000017ab: PUSH2 0x0100
000017ae: MUL
000017af: SUB
000017b0: AND
000017b1: PUSH1 0x02
000017b3: SWAP1
000017b4: DIV
000017b5: SWAP1
000017b6: PUSH1 0x00
000017b8: MSTORE
000017b9: PUSH1 0x20
000017bb: PUSH1 0x00
000017bd: KECCAK256
000017be: SWAP1
000017bf: PUSH1 0x1f
000017c1: ADD
000017c2: PUSH1 0x20
000017c4: SWAP1
000017c5: DIV
000017c6: DUP2
000017c7: ADD
000017c8: SWAP3
000017c9: DUP3
000017ca: PUSH1 0x1f
000017cc: LT
000017cd: PUSH2 0x17e1
000017d0: JUMPI
000017d1: DUP1
000017d2: MLOAD
000017d3: PUSH1 0xff
000017d5: NOT
000017d6: AND
000017d7: DUP4
000017d8: DUP1
000017d9: ADD
000017da: OR
000017db: DUP6
000017dc: SSTORE
000017dd: PUSH2 0x180e
000017e0: JUMP
000017e1: JUMPDEST
000017e2: DUP3
000017e3: DUP1
000017e4: ADD
000017e5: PUSH1 0x01
000017e7: ADD
000017e8: DUP6
000017e9: SSTORE
000017ea: DUP3
000017eb: ISZERO
000017ec: PUSH2 0x180e
000017ef: JUMPI
000017f0: SWAP2
000017f1: DUP3
000017f2: ADD
000017f3: JUMPDEST
000017f4: DUP3
000017f5: DUP2
000017f6: GT
000017f7: ISZERO
000017f8: PUSH2 0x180e
000017fb: JUMPI
000017fc: DUP3
000017fd: MLOAD
000017fe: DUP3
000017ff: SSTORE
00001800: SWAP2
00001801: PUSH1 0x20
00001803: ADD
00001804: SWAP2
00001805: SWAP1
00001806: PUSH1 0x01
00001808: ADD
00001809: SWAP1
0000180a: PUSH2 0x17f3
0000180d: JUMP
0000180e: JUMPDEST
0000180f: JUMPDEST
00001810: POP
00001811: PUSH2 0x181b
00001814: SWAP3
00001815: SWAP2
00001816: POP
00001817: PUSH2 0x181f
0000181a: JUMP
0000181b: JUMPDEST
0000181c: POP
0000181d: SWAP1
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH2 0x0a37
00001823: SWAP2
00001824: SWAP1
00001825: JUMPDEST
00001826: DUP1
00001827: DUP3
00001828: GT
00001829: ISZERO
0000182a: PUSH2 0x181b
0000182d: JUMPI
0000182e: PUSH1 0x00
00001830: DUP2
00001831: SSTORE
00001832: PUSH1 0x01
00001834: ADD
00001835: PUSH2 0x1825
00001838: JUMP
00001839: JUMPDEST
0000183a: POP
0000183b: SWAP1
0000183c: JUMP
0000183d: JUMPDEST
0000183e: SWAP1
0000183f: JUMP
00001840: STOP
00001841: LOG1
00001842: PUSH6 0x627a7a723058
00001849: KECCAK256
0000184a: PUSH20 0x3256192738661f370609b99e4960c3a7d4e2171b
0000185f: UNKNOWN(0xA6)
00001860: PUSH15

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xd94d61282514fd8c9a3a0792ceb87692ab69e2e9bd6e2bbe8069132fd94eed1f
call_targets: 0x00674045bb7c17f0aa1cde34780d6c51af548728
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd94d61282514fd8c9a3a0792ceb87692ab69e2e9bd6e2bbe8069132fd94eed1f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00674045bb7c17f0aa1cde34780d6c51af548728"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bc9fdc2",
            "selector": "0x4bc9fdc2",
            "calldata_variants": [
                "0x4bc9fdc2",
                "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67eeba0c",
            "selector": "0x67eeba0c",
            "calldata_variants": [
                "0x67eeba0c",
                "0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5446,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd94d61282514fd8c9a3a0792ceb87692ab69e2e9bd6e2bbe8069132fd94eed1f
call_targets: 0x00674045bb7c17f0aa1cde34780d6c51af548728
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd94d61282514fd8c9a3a0792ceb87692ab69e2e9bd6e2bbe8069132fd94eed1f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x00674045bb7c17f0aa1cde34780d6c51af548728"
    ],
    "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": "0x025e7c27",
            "selector": "0x025e7c27",
            "calldata_variants": [
                "0x025e7c27",
                "0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x20ea8d86",
            "selector": "0x20ea8d86",
            "calldata_variants": [
                "0x20ea8d86",
                "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3411c81c",
            "selector": "0x3411c81c",
            "calldata_variants": [
                "0x3411c81c",
                "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bc9fdc2",
            "selector": "0x4bc9fdc2",
            "calldata_variants": [
                "0x4bc9fdc2",
                "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54741525",
            "selector": "0x54741525",
            "calldata_variants": [
                "0x54741525",
                "0x547415250000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x67eeba0c",
            "selector": "0x67eeba0c",
            "calldata_variants": [
                "0x67eeba0c",
                "0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5446,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}