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

Analysis Run

c3d689f6-facd-4241-b1c2-f6f0264eb526

failed
Chain ID
1
Address
0x7ee41a4c66e92fe28abd5bde30ad644a2dc8b15f
Block Number
—
Created
Mon, Jan 5, 2026 2:32 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
ETH value transfer possible
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
31659 report.consolidate complete 1 / 1 3 months ago
95377 artifact.fetch failed 1 / 3 1 week ago
95378 tool.cast_disasm complete 1 / 3 1 week ago
95379 analysis.bundle complete 1 / 3 1 week ago
95380 capability.graph complete 1 / 3 1 week ago
95381 detector.run complete 1 / 3 1 week ago
95382 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 path found in `contracts/Contract.sol`; any extraction would require privileged roles (owner/allowedSpender/securityGuard) or external contract bugs, which are out of scope.
View stderr 
[codex:11393] OpenAI Codex v0.77.0 (research preview)
[codex:11393] --------
[codex:11393] workdir: /tmp/codex-multi-4yst6tgk
[codex:11393] model: gpt-5.2-codex
[codex:11393] provider: openai
[codex:11393] approval: never
[codex:11393] sandbox: read-only
[codex:11393] reasoning effort: xhigh
[codex:11393] reasoning summaries: auto
[codex:11393] session id: 019b8bff-09c4-7751-a414-f806fc7954a4
[codex:11393] --------
[codex:11393] user
[codex:11393] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:11393] 
[codex:11393] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:11393] 
[codex:11393] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:11393] - Gas inefficiency, code quality, naming, or best practices
[codex:11393] - Theoretical vulnerabilities without a clear extraction path
[codex:11393] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:11393] - Front-running unless it enables theft beyond MEV
[codex:11393] - DoS, griefing, or issues that don't result in attacker profit
[codex:11393] - Missing events, view function issues, or informational findings
[codex:11393] 
[codex:11393] HIGH-VALUE PATTERNS TO HUNT:
[codex:11393] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:11393] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:11393] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:11393] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:11393] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:11393] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:11393] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:11393] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:11393] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:11393] 
[codex:11393] For each finding, you MUST provide:
[codex:11393] 1. Exact file and line numbers of vulnerable code
[codex:11393] 2. Step-by-step exploit transaction sequence
[codex:11393] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:11393] 
[codex:11393] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:11393] 
[codex:11393] Output MUST be valid JSON matching the provided schema.
[codex:11393] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:11393] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:11393] mcp startup: no servers
[codex:11393] 
[codex:11393] thinking
[codex:11393] **Listing files to start**
[codex:11393] exec
[codex:11393] /bin/bash -lc 'rg --files' in /tmp/codex-multi-4yst6tgk succeeded in 9ms:
[codex:11393] codex-output-schema.json
[codex:11393] AUDIT_BUNDLE.txt
[codex:11393] contracts/Contract.sol
[codex:11393] 
[codex:11393] thinking
[codex:11393] **Reviewing AUDIT_BUNDLE.txt**
[codex:11393] exec
[codex:11393] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-4yst6tgk succeeded in 6ms:
[codex:11393] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:11393] 
[codex:11393] ================================================================================
[codex:11393] FILE: contracts/Contract.sol
[codex:11393] ================================================================================
[codex:11393] pragma solidity ^0.4.6;
[codex:11393] 
[codex:11393] 
[codex:11393] /*
[codex:11393]     Copyright 2016, Jordi Baylina
[codex:11393] 
[codex:11393]     This program is free software: you can redistribute it and/or modify
[codex:11393]     it under the terms of the GNU General Public License as published by
[codex:11393]     the Free Software Foundation, either version 3 of the License, or
[codex:11393]     (at your option) any later version.
[codex:11393] 
[codex:11393]     This program is distributed in the hope that it will be useful,
[codex:11393]     but WITHOUT ANY WARRANTY; without even the implied warranty of
[codex:11393]     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
[codex:11393]     GNU General Public License for more details.
[codex:11393] 
[codex:11393] thinking
[codex:11393] **Analyzing Solidity vault contract for exploits**
[codex:11393] 
[codex:11393] I'm carefully reviewing an old Solidity 0.4.6 vault contract, focusing on possible profit-extracting exploits without privileged roles. I'm verifying storage semantics around struct assignments to avoid reentrancy or repeated payment issues, checking access controls on allowedSpenders and recipients, and assessing risk of arithmetic overflows and external calls. After a thorough audit of these on-chain logic paths, I find no concrete vulnerabilities enabling unauthorized profit extraction, assuming trusted privileged roles. I'll summarize this with a JSON output reporting no findings and mention residual risks related to privileged accounts.
[codex:11393] codex
[codex:11393] {"no_findings":true,"summary":"No concrete, exploitable profit path found in `contracts/Contract.sol`; any extraction would require privileged roles (owner/allowedSpender/securityGuard) or external contract bugs, which are out of scope.","findings":[]}
[codex:11393] tokens used
[codex:11393] 11,603
[codex:11393] {"no_findings":true,"summary":"No concrete, exploitable profit path found in `contracts/Contract.sol`; any extraction would require privileged roles (owner/allowedSpender/securityGuard) or external contract bugs, which are out of scope.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-05T02:32:51.870901+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path found in `contracts/Contract.sol`; any extraction would require privileged roles (owner/allowedSpender/securityGuard) or external contract bugs, which are out of scope.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path found in `contracts/Contract.sol`; any extraction would require privileged roles (owner/allowedSpender/securityGuard) or external contract bugs, which are out of scope.",
        "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
2378
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x010c
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0b2e7423
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x011d
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x1554611f
0000002b: EQ
0000002c: PUSH2 0x013c
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x1e891c0a
00000036: EQ
00000037: PUSH2 0x014b
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x681617c7
00000041: EQ
00000042: PUSH2 0x015d
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x68b8c5a1
0000004c: EQ
0000004d: PUSH2 0x0178
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x793c0fd4
00000057: EQ
00000058: PUSH2 0x0197
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x8422927d
00000062: EQ
00000063: PUSH2 0x01b7
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x846a5dde
0000006d: EQ
0000006e: PUSH2 0x01c9
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x8da5cb5b
00000078: EQ
00000079: PUSH2 0x01de
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x8e637a33
00000083: EQ
00000084: PUSH2 0x0207
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x92e4b8a4
0000008e: EQ
0000008f: PUSH2 0x0282
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xa0927a6a
00000099: EQ
0000009a: PUSH2 0x0294
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xa3912ec8
000000a4: EQ
000000a5: PUSH2 0x0370
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xa6f9dae1
000000af: EQ
000000b0: PUSH2 0x037a
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xb2ca3ec4
000000ba: EQ
000000bb: PUSH2 0x0395
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xbb2a51d1
000000c5: EQ
000000c6: PUSH2 0x03be
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xc7238af7
000000d0: EQ
000000d1: PUSH2 0x03d9
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xd085835a
000000db: EQ
000000dc: PUSH2 0x0402
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0xd8528af0
000000e6: EQ
000000e7: PUSH2 0x0421
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0xda4793ac
000000f1: EQ
000000f2: PUSH2 0x044e
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xea8a66c7
000000fc: EQ
000000fd: PUSH2 0x0460
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xf17f6f8a
00000107: EQ
00000108: PUSH2 0x047f
0000010b: JUMPI
0000010c: JUMPDEST
0000010d: PUSH2 0x011b
00000110: JUMPDEST
00000111: PUSH2 0x0118
00000114: PUSH2 0x04a8
00000117: JUMP
00000118: JUMPDEST
00000119: JUMPDEST
0000011a: JUMP
0000011b: JUMPDEST
0000011c: STOP
0000011d: JUMPDEST
0000011e: CALLVALUE
0000011f: PUSH2 0x0000
00000122: JUMPI
00000123: PUSH2 0x012a
00000126: PUSH2 0x04ea
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: DUP1
0000012e: MLOAD
0000012f: SWAP2
00000130: DUP3
00000131: MSTORE
00000132: MLOAD
00000133: SWAP1
00000134: DUP2
00000135: SWAP1
00000136: SUB
00000137: PUSH1 0x20
00000139: ADD
0000013a: SWAP1
0000013b: RETURN
0000013c: JUMPDEST
0000013d: CALLVALUE
0000013e: PUSH2 0x0000
00000141: JUMPI
00000142: PUSH2 0x011b
00000145: PUSH2 0x04f0
00000148: JUMP
00000149: JUMPDEST
0000014a: STOP
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: PUSH2 0x0000
00000150: JUMPI
00000151: PUSH2 0x011b
00000154: PUSH1 0x04
00000156: CALLDATALOAD
00000157: PUSH2 0x059b
0000015a: JUMP
0000015b: JUMPDEST
0000015c: STOP
0000015d: JUMPDEST
0000015e: CALLVALUE
0000015f: PUSH2 0x0000
00000162: JUMPI
00000163: PUSH2 0x011b
00000166: PUSH1 0x01
00000168: PUSH1 0xa0
0000016a: PUSH1 0x02
0000016c: EXP
0000016d: SUB
0000016e: PUSH1 0x04
00000170: CALLDATALOAD
00000171: AND
00000172: PUSH2 0x05cf
00000175: JUMP
00000176: JUMPDEST
00000177: STOP
00000178: JUMPDEST
00000179: CALLVALUE
0000017a: PUSH2 0x0000
0000017d: JUMPI
0000017e: PUSH2 0x012a
00000181: PUSH2 0x0627
00000184: JUMP
00000185: JUMPDEST
00000186: PUSH1 0x40
00000188: DUP1
00000189: MLOAD
0000018a: SWAP2
0000018b: DUP3
0000018c: MSTORE
0000018d: MLOAD
0000018e: SWAP1
0000018f: DUP2
00000190: SWAP1
00000191: SUB
00000192: PUSH1 0x20
00000194: ADD
00000195: SWAP1
00000196: RETURN
00000197: JUMPDEST
00000198: CALLVALUE
00000199: PUSH2 0x0000
0000019c: JUMPI
0000019d: PUSH2 0x011b
000001a0: PUSH1 0x01
000001a2: PUSH1 0xa0
000001a4: PUSH1 0x02
000001a6: EXP
000001a7: SUB
000001a8: PUSH1 0x04
000001aa: CALLDATALOAD
000001ab: AND
000001ac: PUSH1 0x24
000001ae: CALLDATALOAD
000001af: ISZERO
000001b0: ISZERO
000001b1: PUSH2 0x062e
000001b4: JUMP
000001b5: JUMPDEST
000001b6: STOP
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: PUSH2 0x0000
000001bc: JUMPI
000001bd: PUSH2 0x011b
000001c0: PUSH1 0x04
000001c2: CALLDATALOAD
000001c3: PUSH2 0x06ab
000001c6: JUMP
000001c7: JUMPDEST
000001c8: STOP
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: PUSH2 0x0000
000001ce: JUMPI
000001cf: PUSH2 0x011b
000001d2: PUSH1 0x04
000001d4: CALLDATALOAD
000001d5: PUSH1 0x24
000001d7: CALLDATALOAD
000001d8: PUSH2 0x075f
000001db: JUMP
000001dc: JUMPDEST
000001dd: STOP
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: PUSH2 0x0000
000001e3: JUMPI
000001e4: PUSH2 0x01eb
000001e7: PUSH2 0x07fe
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH1 0x40
000001ee: DUP1
000001ef: MLOAD
000001f0: PUSH1 0x01
000001f2: PUSH1 0xa0
000001f4: PUSH1 0x02
000001f6: EXP
000001f7: SUB
000001f8: SWAP1
000001f9: SWAP3
000001fa: AND
000001fb: DUP3
000001fc: MSTORE
000001fd: MLOAD
000001fe: SWAP1
000001ff: DUP2
00000200: SWAP1
00000201: SUB
00000202: PUSH1 0x20
00000204: ADD
00000205: SWAP1
00000206: RETURN
00000207: JUMPDEST
00000208: CALLVALUE
00000209: PUSH2 0x0000
0000020c: JUMPI
0000020d: PUSH2 0x012a
00000210: PUSH1 0x04
00000212: DUP1
00000213: DUP1
00000214: CALLDATALOAD
00000215: SWAP1
00000216: PUSH1 0x20
00000218: ADD
00000219: SWAP1
0000021a: DUP3
0000021b: ADD
0000021c: DUP1
0000021d: CALLDATALOAD
0000021e: SWAP1
0000021f: PUSH1 0x20
00000221: ADD
00000222: SWAP1
00000223: DUP1
00000224: DUP1
00000225: PUSH1 0x1f
00000227: ADD
00000228: PUSH1 0x20
0000022a: DUP1
0000022b: SWAP2
0000022c: DIV
0000022d: MUL
0000022e: PUSH1 0x20
00000230: ADD
00000231: PUSH1 0x40
00000233: MLOAD
00000234: SWAP1
00000235: DUP2
00000236: ADD
00000237: PUSH1 0x40
00000239: MSTORE
0000023a: DUP1
0000023b: SWAP4
0000023c: SWAP3
0000023d: SWAP2
0000023e: SWAP1
0000023f: DUP2
00000240: DUP2
00000241: MSTORE
00000242: PUSH1 0x20
00000244: ADD
00000245: DUP4
00000246: DUP4
00000247: DUP1
00000248: DUP3
00000249: DUP5
0000024a: CALLDATACOPY
0000024b: POP
0000024c: SWAP5
0000024d: SWAP7
0000024e: POP
0000024f: POP
00000250: PUSH1 0x01
00000252: PUSH1 0xa0
00000254: PUSH1 0x02
00000256: EXP
00000257: SUB
00000258: DUP6
00000259: CALLDATALOAD
0000025a: AND
0000025b: SWAP5
0000025c: PUSH1 0x20
0000025e: DUP2
0000025f: ADD
00000260: CALLDATALOAD
00000261: SWAP5
00000262: POP
00000263: PUSH1 0x40
00000265: ADD
00000266: CALLDATALOAD
00000267: SWAP3
00000268: POP
00000269: PUSH2 0x080d
0000026c: SWAP2
0000026d: POP
0000026e: POP
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH1 0x40
00000273: DUP1
00000274: MLOAD
00000275: SWAP2
00000276: DUP3
00000277: MSTORE
00000278: MLOAD
00000279: SWAP1
0000027a: DUP2
0000027b: SWAP1
0000027c: SUB
0000027d: PUSH1 0x20
0000027f: ADD
00000280: SWAP1
00000281: RETURN
00000282: JUMPDEST
00000283: CALLVALUE
00000284: PUSH2 0x0000
00000287: JUMPI
00000288: PUSH2 0x011b
0000028b: PUSH1 0x04
0000028d: CALLDATALOAD
0000028e: PUSH2 0x0ac3
00000291: JUMP
00000292: JUMPDEST
00000293: STOP
00000294: JUMPDEST
00000295: CALLVALUE
00000296: PUSH2 0x0000
00000299: JUMPI
0000029a: PUSH2 0x02a4
0000029d: PUSH1 0x04
0000029f: CALLDATALOAD
000002a0: PUSH2 0x0c3f
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH1 0x40
000002a7: DUP1
000002a8: MLOAD
000002a9: PUSH1 0x01
000002ab: PUSH1 0xa0
000002ad: PUSH1 0x02
000002af: EXP
000002b0: SUB
000002b1: DUP1
000002b2: DUP11
000002b3: AND
000002b4: PUSH1 0x20
000002b6: DUP4
000002b7: ADD
000002b8: MSTORE
000002b9: SWAP2
000002ba: DUP2
000002bb: ADD
000002bc: DUP9
000002bd: SWAP1
000002be: MSTORE
000002bf: DUP7
000002c0: ISZERO
000002c1: ISZERO
000002c2: PUSH1 0x60
000002c4: DUP3
000002c5: ADD
000002c6: MSTORE
000002c7: DUP6
000002c8: ISZERO
000002c9: ISZERO
000002ca: PUSH1 0x80
000002cc: DUP3
000002cd: ADD
000002ce: MSTORE
000002cf: SWAP1
000002d0: DUP5
000002d1: AND
000002d2: PUSH1 0xa0
000002d4: DUP3
000002d5: ADD
000002d6: MSTORE
000002d7: PUSH1 0xc0
000002d9: DUP2
000002da: ADD
000002db: DUP4
000002dc: SWAP1
000002dd: MSTORE
000002de: PUSH1 0xe0
000002e0: DUP2
000002e1: ADD
000002e2: DUP3
000002e3: SWAP1
000002e4: MSTORE
000002e5: PUSH2 0x0100
000002e8: DUP1
000002e9: DUP3
000002ea: MSTORE
000002eb: DUP10
000002ec: SLOAD
000002ed: PUSH1 0x02
000002ef: PUSH1 0x00
000002f1: NOT
000002f2: PUSH1 0x01
000002f4: DUP4
000002f5: AND
000002f6: ISZERO
000002f7: DUP5
000002f8: MUL
000002f9: ADD
000002fa: SWAP1
000002fb: SWAP2
000002fc: AND
000002fd: DIV
000002fe: SWAP1
000002ff: DUP3
00000300: ADD
00000301: DUP2
00000302: SWAP1
00000303: MSTORE
00000304: DUP2
00000305: SWAP1
00000306: PUSH2 0x0120
00000309: DUP3
0000030a: ADD
0000030b: SWAP1
0000030c: DUP12
0000030d: SWAP1
0000030e: DUP1
0000030f: ISZERO
00000310: PUSH2 0x035a
00000313: JUMPI
00000314: DUP1
00000315: PUSH1 0x1f
00000317: LT
00000318: PUSH2 0x032f
0000031b: JUMPI
0000031c: PUSH2 0x0100
0000031f: DUP1
00000320: DUP4
00000321: SLOAD
00000322: DIV
00000323: MUL
00000324: DUP4
00000325: MSTORE
00000326: SWAP2
00000327: PUSH1 0x20
00000329: ADD
0000032a: SWAP2
0000032b: PUSH2 0x035a
0000032e: JUMP
0000032f: JUMPDEST
00000330: DUP3
00000331: ADD
00000332: SWAP2
00000333: SWAP1
00000334: PUSH1 0x00
00000336: MSTORE
00000337: PUSH1 0x20
00000339: PUSH1 0x00
0000033b: KECCAK256
0000033c: SWAP1
0000033d: JUMPDEST
0000033e: DUP2
0000033f: SLOAD
00000340: DUP2
00000341: MSTORE
00000342: SWAP1
00000343: PUSH1 0x01
00000345: ADD
00000346: SWAP1
00000347: PUSH1 0x20
00000349: ADD
0000034a: DUP1
0000034b: DUP4
0000034c: GT
0000034d: PUSH2 0x033d
00000350: JUMPI
00000351: DUP3
00000352: SWAP1
00000353: SUB
00000354: PUSH1 0x1f
00000356: AND
00000357: DUP3
00000358: ADD
00000359: SWAP2
0000035a: JUMPDEST
0000035b: POP
0000035c: POP
0000035d: SWAP10
0000035e: POP
0000035f: POP
00000360: POP
00000361: POP
00000362: POP
00000363: POP
00000364: POP
00000365: POP
00000366: POP
00000367: POP
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: DUP1
0000036c: SWAP2
0000036d: SUB
0000036e: SWAP1
0000036f: RETURN
00000370: JUMPDEST
00000371: PUSH2 0x011b
00000374: PUSH2 0x04a8
00000377: JUMP
00000378: JUMPDEST
00000379: STOP
0000037a: JUMPDEST
0000037b: CALLVALUE
0000037c: PUSH2 0x0000
0000037f: JUMPI
00000380: PUSH2 0x011b
00000383: PUSH1 0x01
00000385: PUSH1 0xa0
00000387: PUSH1 0x02
00000389: EXP
0000038a: SUB
0000038b: PUSH1 0x04
0000038d: CALLDATALOAD
0000038e: AND
0000038f: PUSH2 0x0ca4
00000392: JUMP
00000393: JUMPDEST
00000394: STOP
00000395: JUMPDEST
00000396: CALLVALUE
00000397: PUSH2 0x0000
0000039a: JUMPI
0000039b: PUSH2 0x01eb
0000039e: PUSH2 0x0cdf
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x40
000003a5: DUP1
000003a6: MLOAD
000003a7: PUSH1 0x01
000003a9: PUSH1 0xa0
000003ab: PUSH1 0x02
000003ad: EXP
000003ae: SUB
000003af: SWAP1
000003b0: SWAP3
000003b1: AND
000003b2: DUP3
000003b3: MSTORE
000003b4: MLOAD
000003b5: SWAP1
000003b6: DUP2
000003b7: SWAP1
000003b8: SUB
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP1
000003bd: RETURN
000003be: JUMPDEST
000003bf: CALLVALUE
000003c0: PUSH2 0x0000
000003c3: JUMPI
000003c4: PUSH2 0x011b
000003c7: PUSH1 0x01
000003c9: PUSH1 0xa0
000003cb: PUSH1 0x02
000003cd: EXP
000003ce: SUB
000003cf: PUSH1 0x04
000003d1: CALLDATALOAD
000003d2: AND
000003d3: PUSH2 0x0cee
000003d6: JUMP
000003d7: JUMPDEST
000003d8: STOP
000003d9: JUMPDEST
000003da: CALLVALUE
000003db: PUSH2 0x0000
000003de: JUMPI
000003df: PUSH2 0x01eb
000003e2: PUSH2 0x0d29
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH1 0x40
000003e9: DUP1
000003ea: MLOAD
000003eb: PUSH1 0x01
000003ed: PUSH1 0xa0
000003ef: PUSH1 0x02
000003f1: EXP
000003f2: SUB
000003f3: SWAP1
000003f4: SWAP3
000003f5: AND
000003f6: DUP3
000003f7: MSTORE
000003f8: MLOAD
000003f9: SWAP1
000003fa: DUP2
000003fb: SWAP1
000003fc: SUB
000003fd: PUSH1 0x20
000003ff: ADD
00000400: SWAP1
00000401: RETURN
00000402: JUMPDEST
00000403: CALLVALUE
00000404: PUSH2 0x0000
00000407: JUMPI
00000408: PUSH2 0x012a
0000040b: PUSH2 0x0d38
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH1 0x40
00000412: DUP1
00000413: MLOAD
00000414: SWAP2
00000415: DUP3
00000416: MSTORE
00000417: MLOAD
00000418: SWAP1
00000419: DUP2
0000041a: SWAP1
0000041b: SUB
0000041c: PUSH1 0x20
0000041e: ADD
0000041f: SWAP1
00000420: RETURN
00000421: JUMPDEST
00000422: CALLVALUE
00000423: PUSH2 0x0000
00000426: JUMPI
00000427: PUSH2 0x043a
0000042a: PUSH1 0x01
0000042c: PUSH1 0xa0
0000042e: PUSH1 0x02
00000430: EXP
00000431: SUB
00000432: PUSH1 0x04
00000434: CALLDATALOAD
00000435: AND
00000436: PUSH2 0x0d3e
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x40
0000043d: DUP1
0000043e: MLOAD
0000043f: SWAP2
00000440: ISZERO
00000441: ISZERO
00000442: DUP3
00000443: MSTORE
00000444: MLOAD
00000445: SWAP1
00000446: DUP2
00000447: SWAP1
00000448: SUB
00000449: PUSH1 0x20
0000044b: ADD
0000044c: SWAP1
0000044d: RETURN
0000044e: JUMPDEST
0000044f: CALLVALUE
00000450: PUSH2 0x0000
00000453: JUMPI
00000454: PUSH2 0x011b
00000457: PUSH1 0x04
00000459: CALLDATALOAD
0000045a: PUSH2 0x0d53
0000045d: JUMP
0000045e: JUMPDEST
0000045f: STOP
00000460: JUMPDEST
00000461: CALLVALUE
00000462: PUSH2 0x0000
00000465: JUMPI
00000466: PUSH2 0x012a
00000469: PUSH2 0x0d78
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH1 0x40
00000470: DUP1
00000471: MLOAD
00000472: SWAP2
00000473: DUP3
00000474: MSTORE
00000475: MLOAD
00000476: SWAP1
00000477: DUP2
00000478: SWAP1
00000479: SUB
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: SWAP1
0000047e: RETURN
0000047f: JUMPDEST
00000480: CALLVALUE
00000481: PUSH2 0x0000
00000484: JUMPI
00000485: PUSH2 0x01eb
00000488: PUSH2 0x0d7e
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x40
0000048f: DUP1
00000490: MLOAD
00000491: PUSH1 0x01
00000493: PUSH1 0xa0
00000495: PUSH1 0x02
00000497: EXP
00000498: SUB
00000499: SWAP1
0000049a: SWAP3
0000049b: AND
0000049c: DUP3
0000049d: MSTORE
0000049e: MLOAD
0000049f: SWAP1
000004a0: DUP2
000004a1: SWAP1
000004a2: SUB
000004a3: PUSH1 0x20
000004a5: ADD
000004a6: SWAP1
000004a7: RETURN
000004a8: JUMPDEST
000004a9: PUSH1 0x40
000004ab: DUP1
000004ac: MLOAD
000004ad: CALLVALUE
000004ae: DUP2
000004af: MSTORE
000004b0: SWAP1
000004b1: MLOAD
000004b2: PUSH1 0x01
000004b4: PUSH1 0xa0
000004b6: PUSH1 0x02
000004b8: EXP
000004b9: SUB
000004ba: CALLER
000004bb: AND
000004bc: SWAP2
000004bd: PUSH32 0x1e57e3bb474320be3d2c77138f75b7c3941292d647f5f9634e33a8e94e0e069b
000004de: SWAP2
000004df: SWAP1
000004e0: DUP2
000004e1: SWAP1
000004e2: SUB
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: SWAP1
000004e7: LOG2
000004e8: JUMPDEST
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH1 0x07
000004ed: SLOAD
000004ee: DUP2
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH1 0x01
000004f3: SLOAD
000004f4: PUSH1 0x00
000004f6: SWAP1
000004f7: CALLER
000004f8: PUSH1 0x01
000004fa: PUSH1 0xa0
000004fc: PUSH1 0x02
000004fe: EXP
000004ff: SUB
00000500: SWAP1
00000501: DUP2
00000502: AND
00000503: SWAP2
00000504: AND
00000505: EQ
00000506: DUP1
00000507: ISZERO
00000508: SWAP1
00000509: PUSH2 0x0521
0000050c: JUMPI
0000050d: POP
0000050e: PUSH1 0x00
00000510: SLOAD
00000511: CALLER
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: PUSH1 0x02
00000518: EXP
00000519: SUB
0000051a: SWAP1
0000051b: DUP2
0000051c: AND
0000051d: SWAP2
0000051e: AND
0000051f: EQ
00000520: ISZERO
00000521: JUMPDEST
00000522: ISZERO
00000523: PUSH2 0x052b
00000526: JUMPI
00000527: PUSH2 0x0000
0000052a: JUMP
0000052b: JUMPDEST
0000052c: POP
0000052d: PUSH1 0x02
0000052f: SLOAD
00000530: PUSH1 0x40
00000532: MLOAD
00000533: PUSH1 0x01
00000535: PUSH1 0xa0
00000537: PUSH1 0x02
00000539: EXP
0000053a: SUB
0000053b: ADDRESS
0000053c: DUP2
0000053d: AND
0000053e: BALANCE
0000053f: SWAP3
00000540: AND
00000541: SWAP1
00000542: DUP3
00000543: ISZERO
00000544: PUSH2 0x08fc
00000547: MUL
00000548: SWAP1
00000549: DUP4
0000054a: SWAP1
0000054b: PUSH1 0x00
0000054d: DUP2
0000054e: DUP2
0000054f: DUP2
00000550: DUP6
00000551: DUP9
00000552: DUP9
00000553: CALL
00000554: SWAP4
00000555: POP
00000556: POP
00000557: POP
00000558: POP
00000559: ISZERO
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH2 0x0000
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x40
00000566: DUP1
00000567: MLOAD
00000568: DUP3
00000569: DUP2
0000056a: MSTORE
0000056b: SWAP1
0000056c: MLOAD
0000056d: PUSH32 0x2a3ef566ae160e22f4c547c4a751e6dabd0c266b98b091a909eb729b609ea186
0000058e: SWAP2
0000058f: DUP2
00000590: SWAP1
00000591: SUB
00000592: PUSH1 0x20
00000594: ADD
00000595: SWAP1
00000596: LOG1
00000597: JUMPDEST
00000598: JUMPDEST
00000599: POP
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH1 0x00
0000059e: SLOAD
0000059f: CALLER
000005a0: PUSH1 0x01
000005a2: PUSH1 0xa0
000005a4: PUSH1 0x02
000005a6: EXP
000005a7: SUB
000005a8: SWAP1
000005a9: DUP2
000005aa: AND
000005ab: SWAP2
000005ac: AND
000005ad: EQ
000005ae: PUSH2 0x05b6
000005b1: JUMPI
000005b2: PUSH2 0x0000
000005b5: JUMP
000005b6: JUMPDEST
000005b7: PUSH1 0x05
000005b9: SLOAD
000005ba: DUP2
000005bb: LT
000005bc: ISZERO
000005bd: PUSH2 0x05c5
000005c0: JUMPI
000005c1: PUSH2 0x0000
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x06
000005c8: DUP2
000005c9: SWAP1
000005ca: SSTORE
000005cb: JUMPDEST
000005cc: JUMPDEST
000005cd: POP
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH1 0x01
000005d2: SLOAD
000005d3: CALLER
000005d4: PUSH1 0x01
000005d6: PUSH1 0xa0
000005d8: PUSH1 0x02
000005da: EXP
000005db: SUB
000005dc: SWAP1
000005dd: DUP2
000005de: AND
000005df: SWAP2
000005e0: AND
000005e1: EQ
000005e2: DUP1
000005e3: ISZERO
000005e4: SWAP1
000005e5: PUSH2 0x05fd
000005e8: JUMPI
000005e9: POP
000005ea: PUSH1 0x00
000005ec: SLOAD
000005ed: CALLER
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: PUSH1 0x02
000005f4: EXP
000005f5: SUB
000005f6: SWAP1
000005f7: DUP2
000005f8: AND
000005f9: SWAP2
000005fa: AND
000005fb: EQ
000005fc: ISZERO
000005fd: JUMPDEST
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH2 0x0000
00000606: JUMP
00000607: JUMPDEST
00000608: PUSH1 0x01
0000060a: DUP1
0000060b: SLOAD
0000060c: PUSH1 0x01
0000060e: PUSH1 0xa0
00000610: PUSH1 0x02
00000612: EXP
00000613: SUB
00000614: NOT
00000615: AND
00000616: PUSH1 0x01
00000618: PUSH1 0xa0
0000061a: PUSH1 0x02
0000061c: EXP
0000061d: SUB
0000061e: DUP4
0000061f: AND
00000620: OR
00000621: SWAP1
00000622: SSTORE
00000623: JUMPDEST
00000624: JUMPDEST
00000625: POP
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x03
0000062a: SLOAD
0000062b: JUMPDEST
0000062c: SWAP1
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH1 0x00
00000631: SLOAD
00000632: CALLER
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: PUSH1 0x02
00000639: EXP
0000063a: SUB
0000063b: SWAP1
0000063c: DUP2
0000063d: AND
0000063e: SWAP2
0000063f: AND
00000640: EQ
00000641: PUSH2 0x0649
00000644: JUMPI
00000645: PUSH2 0x0000
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH1 0x01
0000064c: PUSH1 0xa0
0000064e: PUSH1 0x02
00000650: EXP
00000651: SUB
00000652: DUP3
00000653: AND
00000654: PUSH1 0x00
00000656: DUP2
00000657: DUP2
00000658: MSTORE
00000659: PUSH1 0x08
0000065b: PUSH1 0x20
0000065d: SWAP1
0000065e: DUP2
0000065f: MSTORE
00000660: PUSH1 0x40
00000662: SWAP2
00000663: DUP3
00000664: SWAP1
00000665: KECCAK256
00000666: DUP1
00000667: SLOAD
00000668: PUSH1 0xff
0000066a: NOT
0000066b: AND
0000066c: DUP6
0000066d: ISZERO
0000066e: ISZERO
0000066f: SWAP1
00000670: DUP2
00000671: OR
00000672: SWAP1
00000673: SWAP2
00000674: SSTORE
00000675: DUP3
00000676: MLOAD
00000677: SWAP1
00000678: DUP2
00000679: MSTORE
0000067a: SWAP2
0000067b: MLOAD
0000067c: PUSH32 0x801f568efbc3346a6ae3d0c3eb335a30d64e0d3cf08f1c39626d62cd5c827281
0000069d: SWAP3
0000069e: DUP2
0000069f: SWAP1
000006a0: SUB
000006a1: SWAP1
000006a2: SWAP2
000006a3: ADD
000006a4: SWAP1
000006a5: LOG2
000006a6: JUMPDEST
000006a7: JUMPDEST
000006a8: POP
000006a9: POP
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: SLOAD
000006b0: CALLER
000006b1: PUSH1 0x01
000006b3: PUSH1 0xa0
000006b5: PUSH1 0x02
000006b7: EXP
000006b8: SUB
000006b9: SWAP1
000006ba: DUP2
000006bb: AND
000006bc: SWAP2
000006bd: AND
000006be: EQ
000006bf: PUSH2 0x06c7
000006c2: JUMPI
000006c3: PUSH2 0x0000
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH1 0x03
000006ca: SLOAD
000006cb: DUP3
000006cc: LT
000006cd: PUSH2 0x06d5
000006d0: JUMPI
000006d1: PUSH2 0x0000
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH1 0x03
000006d8: DUP3
000006d9: DUP2
000006da: SLOAD
000006db: DUP2
000006dc: LT
000006dd: ISZERO
000006de: PUSH2 0x0000
000006e1: JUMPI
000006e2: SWAP1
000006e3: PUSH1 0x00
000006e5: MSTORE
000006e6: PUSH1 0x20
000006e8: PUSH1 0x00
000006ea: KECCAK256
000006eb: SWAP1
000006ec: PUSH1 0x06
000006ee: MUL
000006ef: ADD
000006f0: PUSH1 0x00
000006f2: JUMPDEST
000006f3: POP
000006f4: PUSH1 0x03
000006f6: DUP2
000006f7: ADD
000006f8: SLOAD
000006f9: SWAP1
000006fa: SWAP2
000006fb: POP
000006fc: PUSH1 0xff
000006fe: AND
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH2 0x0000
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x03
0000070b: DUP2
0000070c: ADD
0000070d: SLOAD
0000070e: PUSH2 0x0100
00000711: SWAP1
00000712: DIV
00000713: PUSH1 0xff
00000715: AND
00000716: ISZERO
00000717: PUSH2 0x071f
0000071a: JUMPI
0000071b: PUSH2 0x0000
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x03
00000722: DUP2
00000723: ADD
00000724: DUP1
00000725: SLOAD
00000726: PUSH1 0xff
00000728: NOT
00000729: AND
0000072a: PUSH1 0x01
0000072c: OR
0000072d: SWAP1
0000072e: SSTORE
0000072f: PUSH1 0x40
00000731: MLOAD
00000732: DUP3
00000733: SWAP1
00000734: PUSH32 0xfdf197ed54809861dafe0b4d391843652730ac67274c1e9e46db7687dccaa301
00000755: SWAP1
00000756: PUSH1 0x00
00000758: SWAP1
00000759: LOG2
0000075a: JUMPDEST
0000075b: JUMPDEST
0000075c: POP
0000075d: POP
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x04
00000762: SLOAD
00000763: PUSH1 0x00
00000765: SWAP1
00000766: CALLER
00000767: PUSH1 0x01
00000769: PUSH1 0xa0
0000076b: PUSH1 0x02
0000076d: EXP
0000076e: SUB
0000076f: SWAP1
00000770: DUP2
00000771: AND
00000772: SWAP2
00000773: AND
00000774: EQ
00000775: PUSH2 0x077d
00000778: JUMPI
00000779: PUSH2 0x0000
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x03
00000780: SLOAD
00000781: DUP4
00000782: LT
00000783: PUSH2 0x078b
00000786: JUMPI
00000787: PUSH2 0x0000
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH1 0x03
0000078e: DUP4
0000078f: DUP2
00000790: SLOAD
00000791: DUP2
00000792: LT
00000793: ISZERO
00000794: PUSH2 0x0000
00000797: JUMPI
00000798: SWAP1
00000799: PUSH1 0x00
0000079b: MSTORE
0000079c: PUSH1 0x20
0000079e: PUSH1 0x00
000007a0: KECCAK256
000007a1: SWAP1
000007a2: PUSH1 0x06
000007a4: MUL
000007a5: ADD
000007a6: PUSH1 0x00
000007a8: JUMPDEST
000007a9: POP
000007aa: SWAP1
000007ab: POP
000007ac: PUSH1 0x07
000007ae: SLOAD
000007af: DUP3
000007b0: DUP3
000007b1: PUSH1 0x05
000007b3: ADD
000007b4: SLOAD
000007b5: ADD
000007b6: GT
000007b7: DUP1
000007b8: PUSH2 0x07ca
000007bb: JUMPI
000007bc: POP
000007bd: PUSH1 0x03
000007bf: DUP2
000007c0: ADD
000007c1: SLOAD
000007c2: PUSH2 0x0100
000007c5: SWAP1
000007c6: DIV
000007c7: PUSH1 0xff
000007c9: AND
000007ca: JUMPDEST
000007cb: DUP1
000007cc: PUSH2 0x07d9
000007cf: JUMPI
000007d0: POP
000007d1: PUSH1 0x03
000007d3: DUP2
000007d4: ADD
000007d5: SLOAD
000007d6: PUSH1 0xff
000007d8: AND
000007d9: JUMPDEST
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH2 0x0000
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x05
000007e6: DUP2
000007e7: ADD
000007e8: DUP1
000007e9: SLOAD
000007ea: DUP4
000007eb: ADD
000007ec: SWAP1
000007ed: SSTORE
000007ee: PUSH1 0x02
000007f0: DUP2
000007f1: ADD
000007f2: DUP1
000007f3: SLOAD
000007f4: DUP4
000007f5: ADD
000007f6: SWAP1
000007f7: SSTORE
000007f8: JUMPDEST
000007f9: JUMPDEST
000007fa: POP
000007fb: POP
000007fc: POP
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x00
00000801: SLOAD
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: PUSH1 0x02
00000808: EXP
00000809: SUB
0000080a: AND
0000080b: DUP2
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x01
00000810: PUSH1 0xa0
00000812: PUSH1 0x02
00000814: EXP
00000815: SUB
00000816: CALLER
00000817: AND
00000818: PUSH1 0x00
0000081a: SWAP1
0000081b: DUP2
0000081c: MSTORE
0000081d: PUSH1 0x08
0000081f: PUSH1 0x20
00000821: MSTORE
00000822: PUSH1 0x40
00000824: DUP2
00000825: KECCAK256
00000826: SLOAD
00000827: DUP2
00000828: SWAP1
00000829: DUP2
0000082a: SWAP1
0000082b: PUSH1 0xff
0000082d: AND
0000082e: ISZERO
0000082f: ISZERO
00000830: PUSH2 0x0838
00000833: JUMPI
00000834: PUSH2 0x0000
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x03
0000083b: DUP1
0000083c: SLOAD
0000083d: PUSH1 0x01
0000083f: DUP2
00000840: ADD
00000841: DUP1
00000842: DUP4
00000843: SSTORE
00000844: SWAP1
00000845: SWAP4
00000846: POP
00000847: DUP4
00000848: SWAP2
00000849: SWAP1
0000084a: DUP3
0000084b: DUP1
0000084c: ISZERO
0000084d: DUP3
0000084e: SWAP1
0000084f: GT
00000850: PUSH2 0x092a
00000853: JUMPI
00000854: PUSH1 0x06
00000856: MUL
00000857: DUP2
00000858: PUSH1 0x06
0000085a: MUL
0000085b: DUP4
0000085c: PUSH1 0x00
0000085e: MSTORE
0000085f: PUSH1 0x20
00000861: PUSH1 0x00
00000863: KECCAK256
00000864: SWAP2
00000865: DUP3
00000866: ADD
00000867: SWAP2
00000868: ADD
00000869: PUSH2 0x092a
0000086c: SWAP2
0000086d: SWAP1
0000086e: JUMPDEST
0000086f: DUP1
00000870: DUP3
00000871: GT
00000872: ISZERO
00000873: PUSH2 0x08cf
00000876: JUMPI
00000877: PUSH1 0x00
00000879: PUSH1 0x00
0000087b: DUP3
0000087c: ADD
0000087d: DUP1
0000087e: SLOAD
0000087f: PUSH1 0x01
00000881: DUP2
00000882: PUSH1 0x01
00000884: AND
00000885: ISZERO
00000886: PUSH2 0x0100
00000889: MUL
0000088a: SUB
0000088b: AND
0000088c: PUSH1 0x02
0000088e: SWAP1
0000088f: DIV
00000890: PUSH1 0x00
00000892: DUP3
00000893: SSTORE
00000894: DUP1
00000895: PUSH1 0x1f
00000897: LT
00000898: PUSH2 0x08a1
0000089b: JUMPI
0000089c: POP
0000089d: PUSH2 0x08d3
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x1f
000008a4: ADD
000008a5: PUSH1 0x20
000008a7: SWAP1
000008a8: DIV
000008a9: SWAP1
000008aa: PUSH1 0x00
000008ac: MSTORE
000008ad: PUSH1 0x20
000008af: PUSH1 0x00
000008b1: KECCAK256
000008b2: SWAP1
000008b3: DUP2
000008b4: ADD
000008b5: SWAP1
000008b6: PUSH2 0x08d3
000008b9: SWAP2
000008ba: SWAP1
000008bb: JUMPDEST
000008bc: DUP1
000008bd: DUP3
000008be: GT
000008bf: ISZERO
000008c0: PUSH2 0x08cf
000008c3: JUMPI
000008c4: PUSH1 0x00
000008c6: DUP2
000008c7: SSTORE
000008c8: PUSH1 0x01
000008ca: ADD
000008cb: PUSH2 0x08bb
000008ce: JUMP
000008cf: JUMPDEST
000008d0: POP
000008d1: SWAP1
000008d2: JUMP
000008d3: JUMPDEST
000008d4: JUMPDEST
000008d5: POP
000008d6: POP
000008d7: PUSH1 0x01
000008d9: DUP2
000008da: ADD
000008db: DUP1
000008dc: SLOAD
000008dd: PUSH1 0x01
000008df: PUSH1 0xa0
000008e1: PUSH1 0x02
000008e3: EXP
000008e4: SUB
000008e5: NOT
000008e6: AND
000008e7: SWAP1
000008e8: SSTORE
000008e9: PUSH1 0x00
000008eb: PUSH1 0x02
000008ed: DUP3
000008ee: ADD
000008ef: DUP2
000008f0: SWAP1
000008f1: SSTORE
000008f2: PUSH1 0x03
000008f4: DUP3
000008f5: ADD
000008f6: DUP1
000008f7: SLOAD
000008f8: PUSH22 0xffffffffffffffffffffffffffffffffffffffffffff
0000090f: NOT
00000910: AND
00000911: SWAP1
00000912: SSTORE
00000913: PUSH1 0x04
00000915: DUP3
00000916: ADD
00000917: DUP2
00000918: SWAP1
00000919: SSTORE
0000091a: PUSH1 0x05
0000091c: DUP3
0000091d: ADD
0000091e: SSTORE
0000091f: PUSH1 0x06
00000921: ADD
00000922: PUSH2 0x086e
00000925: JUMP
00000926: JUMPDEST
00000927: POP
00000928: SWAP1
00000929: JUMP
0000092a: JUMPDEST
0000092b: JUMPDEST
0000092c: POP
0000092d: POP
0000092e: POP
0000092f: POP
00000930: PUSH1 0x03
00000932: DUP3
00000933: DUP2
00000934: SLOAD
00000935: DUP2
00000936: LT
00000937: ISZERO
00000938: PUSH2 0x0000
0000093b: JUMPI
0000093c: SWAP1
0000093d: PUSH1 0x00
0000093f: MSTORE
00000940: PUSH1 0x20
00000942: PUSH1 0x00
00000944: KECCAK256
00000945: SWAP1
00000946: PUSH1 0x06
00000948: MUL
00000949: ADD
0000094a: PUSH1 0x00
0000094c: JUMPDEST
0000094d: POP
0000094e: PUSH1 0x01
00000950: DUP2
00000951: ADD
00000952: DUP1
00000953: SLOAD
00000954: PUSH1 0x01
00000956: PUSH1 0xa0
00000958: PUSH1 0x02
0000095a: EXP
0000095b: SUB
0000095c: NOT
0000095d: AND
0000095e: CALLER
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: PUSH1 0x02
00000965: EXP
00000966: SUB
00000967: AND
00000968: OR
00000969: SWAP1
0000096a: SSTORE
0000096b: PUSH1 0x06
0000096d: SLOAD
0000096e: SWAP1
0000096f: SWAP2
00000970: POP
00000971: DUP5
00000972: LT
00000973: ISZERO
00000974: PUSH2 0x0981
00000977: JUMPI
00000978: PUSH1 0x06
0000097a: SLOAD
0000097b: TIMESTAMP
0000097c: ADD
0000097d: PUSH2 0x0985
00000980: JUMP
00000981: JUMPDEST
00000982: DUP4
00000983: TIMESTAMP
00000984: ADD
00000985: JUMPDEST
00000986: PUSH1 0x02
00000988: DUP1
00000989: DUP4
0000098a: ADD
0000098b: SWAP2
0000098c: SWAP1
0000098d: SWAP2
0000098e: SSTORE
0000098f: PUSH1 0x03
00000991: DUP3
00000992: ADD
00000993: DUP1
00000994: SLOAD
00000995: PUSH1 0x01
00000997: PUSH1 0xa0
00000999: PUSH1 0x02
0000099b: EXP
0000099c: SUB
0000099d: DUP10
0000099e: AND
0000099f: PUSH3 0x010000
000009a3: MUL
000009a4: PUSH22 0xffffffffffffffffffffffffffffffffffffffff0000
000009bb: NOT
000009bc: SWAP1
000009bd: SWAP2
000009be: AND
000009bf: OR
000009c0: SWAP1
000009c1: SSTORE
000009c2: PUSH1 0x04
000009c4: DUP3
000009c5: ADD
000009c6: DUP7
000009c7: SWAP1
000009c8: SSTORE
000009c9: DUP8
000009ca: MLOAD
000009cb: DUP3
000009cc: SLOAD
000009cd: PUSH1 0x00
000009cf: DUP5
000009d0: DUP2
000009d1: MSTORE
000009d2: PUSH1 0x20
000009d4: SWAP1
000009d5: DUP2
000009d6: SWAP1
000009d7: KECCAK256
000009d8: DUP6
000009d9: SWAP5
000009da: PUSH1 0x1f
000009dc: PUSH1 0x01
000009de: DUP6
000009df: AND
000009e0: ISZERO
000009e1: PUSH2 0x0100
000009e4: MUL
000009e5: PUSH1 0x00
000009e7: NOT
000009e8: ADD
000009e9: SWAP1
000009ea: SWAP5
000009eb: AND
000009ec: DIV
000009ed: DUP4
000009ee: ADD
000009ef: DUP3
000009f0: SWAP1
000009f1: DIV
000009f2: DUP2
000009f3: ADD
000009f4: SWAP4
000009f5: SWAP3
000009f6: SWAP1
000009f7: SWAP2
000009f8: DUP13
000009f9: ADD
000009fa: SWAP1
000009fb: DUP4
000009fc: SWAP1
000009fd: LT
000009fe: PUSH2 0x0a12
00000a01: JUMPI
00000a02: DUP1
00000a03: MLOAD
00000a04: PUSH1 0xff
00000a06: NOT
00000a07: AND
00000a08: DUP4
00000a09: DUP1
00000a0a: ADD
00000a0b: OR
00000a0c: DUP6
00000a0d: SSTORE
00000a0e: PUSH2 0x0a3f
00000a11: JUMP
00000a12: JUMPDEST
00000a13: DUP3
00000a14: DUP1
00000a15: ADD
00000a16: PUSH1 0x01
00000a18: ADD
00000a19: DUP6
00000a1a: SSTORE
00000a1b: DUP3
00000a1c: ISZERO
00000a1d: PUSH2 0x0a3f
00000a20: JUMPI
00000a21: SWAP2
00000a22: DUP3
00000a23: ADD
00000a24: JUMPDEST
00000a25: DUP3
00000a26: DUP2
00000a27: GT
00000a28: ISZERO
00000a29: PUSH2 0x0a3f
00000a2c: JUMPI
00000a2d: DUP3
00000a2e: MLOAD
00000a2f: DUP3
00000a30: SSTORE
00000a31: SWAP2
00000a32: PUSH1 0x20
00000a34: ADD
00000a35: SWAP2
00000a36: SWAP1
00000a37: PUSH1 0x01
00000a39: ADD
00000a3a: SWAP1
00000a3b: PUSH2 0x0a24
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: JUMPDEST
00000a41: POP
00000a42: PUSH2 0x0a60
00000a45: SWAP3
00000a46: SWAP2
00000a47: POP
00000a48: JUMPDEST
00000a49: DUP1
00000a4a: DUP3
00000a4b: GT
00000a4c: ISZERO
00000a4d: PUSH2 0x08cf
00000a50: JUMPI
00000a51: PUSH1 0x00
00000a53: DUP2
00000a54: SSTORE
00000a55: PUSH1 0x01
00000a57: ADD
00000a58: PUSH2 0x08bb
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: POP
00000a5e: SWAP1
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: POP
00000a62: POP
00000a63: PUSH1 0x03
00000a65: DUP2
00000a66: ADD
00000a67: SLOAD
00000a68: PUSH1 0x04
00000a6a: DUP3
00000a6b: ADD
00000a6c: SLOAD
00000a6d: PUSH1 0x40
00000a6f: DUP1
00000a70: MLOAD
00000a71: SWAP2
00000a72: DUP3
00000a73: MSTORE
00000a74: MLOAD
00000a75: PUSH1 0x01
00000a77: PUSH1 0xa0
00000a79: PUSH1 0x02
00000a7b: EXP
00000a7c: SUB
00000a7d: PUSH3 0x010000
00000a81: SWAP1
00000a82: SWAP4
00000a83: DIV
00000a84: SWAP3
00000a85: SWAP1
00000a86: SWAP3
00000a87: AND
00000a88: SWAP2
00000a89: DUP5
00000a8a: SWAP2
00000a8b: PUSH32 0x47e9633c99dd05fabd1b937e7c85f9e00d6866bfd2e5885e0091f40a173be3d3
00000aac: SWAP2
00000aad: SWAP1
00000aae: DUP2
00000aaf: SWAP1
00000ab0: SUB
00000ab1: PUSH1 0x20
00000ab3: ADD
00000ab4: SWAP1
00000ab5: LOG3
00000ab6: DUP2
00000ab7: SWAP3
00000ab8: POP
00000ab9: JUMPDEST
00000aba: POP
00000abb: POP
00000abc: SWAP5
00000abd: SWAP4
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: POP
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: PUSH1 0x03
00000ac6: SLOAD
00000ac7: PUSH1 0x00
00000ac9: SWAP1
00000aca: DUP3
00000acb: LT
00000acc: PUSH2 0x0ad4
00000acf: JUMPI
00000ad0: PUSH2 0x0000
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: PUSH1 0x03
00000ad7: DUP3
00000ad8: DUP2
00000ad9: SLOAD
00000ada: DUP2
00000adb: LT
00000adc: ISZERO
00000add: PUSH2 0x0000
00000ae0: JUMPI
00000ae1: SWAP1
00000ae2: PUSH1 0x00
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: PUSH1 0x00
00000ae9: KECCAK256
00000aea: SWAP1
00000aeb: PUSH1 0x06
00000aed: MUL
00000aee: ADD
00000aef: PUSH1 0x00
00000af1: JUMPDEST
00000af2: POP
00000af3: PUSH1 0x03
00000af5: DUP2
00000af6: ADD
00000af7: SLOAD
00000af8: SWAP1
00000af9: SWAP2
00000afa: POP
00000afb: CALLER
00000afc: PUSH1 0x01
00000afe: PUSH1 0xa0
00000b00: PUSH1 0x02
00000b02: EXP
00000b03: SUB
00000b04: SWAP1
00000b05: DUP2
00000b06: AND
00000b07: PUSH3 0x010000
00000b0b: SWAP1
00000b0c: SWAP3
00000b0d: DIV
00000b0e: AND
00000b0f: EQ
00000b10: PUSH2 0x0b18
00000b13: JUMPI
00000b14: PUSH2 0x0000
00000b17: JUMP
00000b18: JUMPDEST
00000b19: PUSH1 0x01
00000b1b: DUP2
00000b1c: ADD
00000b1d: SLOAD
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: PUSH1 0x02
00000b24: EXP
00000b25: SUB
00000b26: AND
00000b27: PUSH1 0x00
00000b29: SWAP1
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x08
00000b2e: PUSH1 0x20
00000b30: MSTORE
00000b31: PUSH1 0x40
00000b33: SWAP1
00000b34: KECCAK256
00000b35: SLOAD
00000b36: PUSH1 0xff
00000b38: AND
00000b39: ISZERO
00000b3a: ISZERO
00000b3b: PUSH2 0x0b43
00000b3e: JUMPI
00000b3f: PUSH2 0x0000
00000b42: JUMP
00000b43: JUMPDEST
00000b44: DUP1
00000b45: PUSH1 0x02
00000b47: ADD
00000b48: SLOAD
00000b49: TIMESTAMP
00000b4a: LT
00000b4b: ISZERO
00000b4c: PUSH2 0x0b54
00000b4f: JUMPI
00000b50: PUSH2 0x0000
00000b53: JUMP
00000b54: JUMPDEST
00000b55: PUSH1 0x03
00000b57: DUP2
00000b58: ADD
00000b59: SLOAD
00000b5a: PUSH1 0xff
00000b5c: AND
00000b5d: ISZERO
00000b5e: PUSH2 0x0b66
00000b61: JUMPI
00000b62: PUSH2 0x0000
00000b65: JUMP
00000b66: JUMPDEST
00000b67: PUSH1 0x03
00000b69: DUP2
00000b6a: ADD
00000b6b: SLOAD
00000b6c: PUSH2 0x0100
00000b6f: SWAP1
00000b70: DIV
00000b71: PUSH1 0xff
00000b73: AND
00000b74: ISZERO
00000b75: PUSH2 0x0b7d
00000b78: JUMPI
00000b79: PUSH2 0x0000
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: DUP1
00000b7f: PUSH1 0x04
00000b81: ADD
00000b82: SLOAD
00000b83: ADDRESS
00000b84: PUSH1 0x01
00000b86: PUSH1 0xa0
00000b88: PUSH1 0x02
00000b8a: EXP
00000b8b: SUB
00000b8c: AND
00000b8d: BALANCE
00000b8e: LT
00000b8f: ISZERO
00000b90: PUSH2 0x0b98
00000b93: JUMPI
00000b94: PUSH2 0x0000
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH1 0x03
00000b9b: DUP2
00000b9c: ADD
00000b9d: DUP1
00000b9e: SLOAD
00000b9f: PUSH2 0x0100
00000ba2: PUSH2 0xff00
00000ba5: NOT
00000ba6: SWAP1
00000ba7: SWAP2
00000ba8: AND
00000ba9: OR
00000baa: SWAP1
00000bab: DUP2
00000bac: SWAP1
00000bad: SSTORE
00000bae: PUSH1 0x04
00000bb0: DUP3
00000bb1: ADD
00000bb2: SLOAD
00000bb3: PUSH1 0x40
00000bb5: MLOAD
00000bb6: PUSH3 0x010000
00000bba: SWAP1
00000bbb: SWAP3
00000bbc: DIV
00000bbd: PUSH1 0x01
00000bbf: PUSH1 0xa0
00000bc1: PUSH1 0x02
00000bc3: EXP
00000bc4: SUB
00000bc5: AND
00000bc6: SWAP2
00000bc7: PUSH2 0x08fc
00000bca: DUP3
00000bcb: ISZERO
00000bcc: MUL
00000bcd: SWAP2
00000bce: SWAP1
00000bcf: PUSH1 0x00
00000bd1: DUP2
00000bd2: DUP2
00000bd3: DUP2
00000bd4: DUP6
00000bd5: DUP9
00000bd6: DUP9
00000bd7: CALL
00000bd8: SWAP4
00000bd9: POP
00000bda: POP
00000bdb: POP
00000bdc: POP
00000bdd: ISZERO
00000bde: ISZERO
00000bdf: PUSH2 0x0be7
00000be2: JUMPI
00000be3: PUSH2 0x0000
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x03
00000bea: DUP2
00000beb: ADD
00000bec: SLOAD
00000bed: PUSH1 0x04
00000bef: DUP3
00000bf0: ADD
00000bf1: SLOAD
00000bf2: PUSH1 0x40
00000bf4: DUP1
00000bf5: MLOAD
00000bf6: SWAP2
00000bf7: DUP3
00000bf8: MSTORE
00000bf9: MLOAD
00000bfa: PUSH1 0x01
00000bfc: PUSH1 0xa0
00000bfe: PUSH1 0x02
00000c00: EXP
00000c01: SUB
00000c02: PUSH3 0x010000
00000c06: SWAP1
00000c07: SWAP4
00000c08: DIV
00000c09: SWAP3
00000c0a: SWAP1
00000c0b: SWAP3
00000c0c: AND
00000c0d: SWAP2
00000c0e: DUP5
00000c0f: SWAP2
00000c10: PUSH32 0x7f5bfe3018715b26a7067888a5c42912fbb3485170b8154ea9a448661f2f0de2
00000c31: SWAP2
00000c32: SWAP1
00000c33: DUP2
00000c34: SWAP1
00000c35: SUB
00000c36: PUSH1 0x20
00000c38: ADD
00000c39: SWAP1
00000c3a: LOG3
00000c3b: JUMPDEST
00000c3c: POP
00000c3d: POP
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: PUSH1 0x03
00000c42: DUP2
00000c43: DUP2
00000c44: SLOAD
00000c45: DUP2
00000c46: LT
00000c47: ISZERO
00000c48: PUSH2 0x0000
00000c4b: JUMPI
00000c4c: SWAP1
00000c4d: PUSH1 0x00
00000c4f: MSTORE
00000c50: PUSH1 0x20
00000c52: PUSH1 0x00
00000c54: KECCAK256
00000c55: SWAP1
00000c56: PUSH1 0x06
00000c58: MUL
00000c59: ADD
00000c5a: PUSH1 0x00
00000c5c: JUMPDEST
00000c5d: POP
00000c5e: PUSH1 0x01
00000c60: DUP2
00000c61: ADD
00000c62: SLOAD
00000c63: PUSH1 0x02
00000c65: DUP3
00000c66: ADD
00000c67: SLOAD
00000c68: PUSH1 0x03
00000c6a: DUP4
00000c6b: ADD
00000c6c: SLOAD
00000c6d: PUSH1 0x04
00000c6f: DUP5
00000c70: ADD
00000c71: SLOAD
00000c72: PUSH1 0x05
00000c74: DUP6
00000c75: ADD
00000c76: SLOAD
00000c77: SWAP5
00000c78: SWAP6
00000c79: POP
00000c7a: PUSH1 0x01
00000c7c: PUSH1 0xa0
00000c7e: PUSH1 0x02
00000c80: EXP
00000c81: SUB
00000c82: SWAP4
00000c83: DUP5
00000c84: AND
00000c85: SWAP5
00000c86: SWAP3
00000c87: SWAP4
00000c88: PUSH1 0xff
00000c8a: DUP1
00000c8b: DUP5
00000c8c: AND
00000c8d: SWAP5
00000c8e: PUSH2 0x0100
00000c91: DUP6
00000c92: DIV
00000c93: SWAP1
00000c94: SWAP2
00000c95: AND
00000c96: SWAP4
00000c97: PUSH3 0x010000
00000c9b: SWAP1
00000c9c: DIV
00000c9d: SWAP1
00000c9e: SWAP2
00000c9f: AND
00000ca0: SWAP2
00000ca1: SWAP1
00000ca2: DUP9
00000ca3: JUMP
00000ca4: JUMPDEST
00000ca5: PUSH1 0x00
00000ca7: SLOAD
00000ca8: CALLER
00000ca9: PUSH1 0x01
00000cab: PUSH1 0xa0
00000cad: PUSH1 0x02
00000caf: EXP
00000cb0: SUB
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: AND
00000cb4: SWAP2
00000cb5: AND
00000cb6: EQ
00000cb7: PUSH2 0x0cbf
00000cba: JUMPI
00000cbb: PUSH2 0x0000
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: SLOAD
00000cc4: PUSH1 0x01
00000cc6: PUSH1 0xa0
00000cc8: PUSH1 0x02
00000cca: EXP
00000ccb: SUB
00000ccc: NOT
00000ccd: AND
00000cce: PUSH1 0x01
00000cd0: PUSH1 0xa0
00000cd2: PUSH1 0x02
00000cd4: EXP
00000cd5: SUB
00000cd6: DUP4
00000cd7: AND
00000cd8: OR
00000cd9: SWAP1
00000cda: SSTORE
00000cdb: JUMPDEST
00000cdc: JUMPDEST
00000cdd: POP
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: PUSH1 0x04
00000ce2: SLOAD
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0xa0
00000ce7: PUSH1 0x02
00000ce9: EXP
00000cea: SUB
00000ceb: AND
00000cec: DUP2
00000ced: JUMP
00000cee: JUMPDEST
00000cef: PUSH1 0x00
00000cf1: SLOAD
00000cf2: CALLER
00000cf3: PUSH1 0x01
00000cf5: PUSH1 0xa0
00000cf7: PUSH1 0x02
00000cf9: EXP
00000cfa: SUB
00000cfb: SWAP1
00000cfc: DUP2
00000cfd: AND
00000cfe: SWAP2
00000cff: AND
00000d00: EQ
00000d01: PUSH2 0x0d09
00000d04: JUMPI
00000d05: PUSH2 0x0000
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x04
00000d0c: DUP1
00000d0d: SLOAD
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xa0
00000d12: PUSH1 0x02
00000d14: EXP
00000d15: SUB
00000d16: NOT
00000d17: AND
00000d18: PUSH1 0x01
00000d1a: PUSH1 0xa0
00000d1c: PUSH1 0x02
00000d1e: EXP
00000d1f: SUB
00000d20: DUP4
00000d21: AND
00000d22: OR
00000d23: SWAP1
00000d24: SSTORE
00000d25: JUMPDEST
00000d26: JUMPDEST
00000d27: POP
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: PUSH1 0x02
00000d2c: SLOAD
00000d2d: PUSH1 0x01
00000d2f: PUSH1 0xa0
00000d31: PUSH1 0x02
00000d33: EXP
00000d34: SUB
00000d35: AND
00000d36: DUP2
00000d37: JUMP
00000d38: JUMPDEST
00000d39: PUSH1 0x06
00000d3b: SLOAD
00000d3c: DUP2
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x08
00000d41: PUSH1 0x20
00000d43: MSTORE
00000d44: PUSH1 0x00
00000d46: SWAP1
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x40
00000d4b: SWAP1
00000d4c: KECCAK256
00000d4d: SLOAD
00000d4e: PUSH1 0xff
00000d50: AND
00000d51: DUP2
00000d52: JUMP
00000d53: JUMPDEST
00000d54: PUSH1 0x00
00000d56: SLOAD
00000d57: CALLER
00000d58: PUSH1 0x01
00000d5a: PUSH1 0xa0
00000d5c: PUSH1 0x02
00000d5e: EXP
00000d5f: SUB
00000d60: SWAP1
00000d61: DUP2
00000d62: AND
00000d63: SWAP2
00000d64: AND
00000d65: EQ
00000d66: PUSH2 0x0d6e
00000d69: JUMPI
00000d6a: PUSH2 0x0000
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x07
00000d71: DUP2
00000d72: SWAP1
00000d73: SSTORE
00000d74: JUMPDEST
00000d75: JUMPDEST
00000d76: POP
00000d77: JUMP
00000d78: JUMPDEST
00000d79: PUSH1 0x05
00000d7b: SLOAD
00000d7c: DUP2
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH1 0x01
00000d81: SLOAD
00000d82: PUSH1 0x01
00000d84: PUSH1 0xa0
00000d86: PUSH1 0x02
00000d88: EXP
00000d89: SUB
00000d8a: AND
00000d8b: DUP2
00000d8c: JUMP
00000d8d: STOP
00000d8e: LOG1
00000d8f: PUSH6 0x627a7a723058
00000d96: KECCAK256
00000d97: MULMOD
00000d98: CALLVALUE
00000d99: UNKNOWN(0x0E)
00000d9a: UNKNOWN(0xDA)
00000d9b: UNKNOWN(0x4E)
00000d9c: PUSH22 0x43f2c2b50032a5b1cf03af72bfeb188a0f378b9ea423
00000db3: BLOBHASH
00000db4: PUSH12

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x1d0758969e8375ad69c192e9e6d4c5362e4d771517acd75e54db34b059f47e7c
call_targets: 0x7ee41a4c66e92fe28abd5bde30ad644a2dc8b15f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1d0758969e8375ad69c192e9e6d4c5362e4d771517acd75e54db34b059f47e7c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ee41a4c66e92fe28abd5bde30ad644a2dc8b15f"
    ],
    "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": "0x0b2e7423",
            "selector": "0x0b2e7423",
            "calldata_variants": [
                "0x0b2e7423",
                "0x0b2e74230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1554611f",
            "selector": "0x1554611f",
            "calldata_variants": [
                "0x1554611f",
                "0x1554611f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e891c0a",
            "selector": "0x1e891c0a",
            "calldata_variants": [
                "0x1e891c0a",
                "0x1e891c0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x681617c7",
            "selector": "0x681617c7",
            "calldata_variants": [
                "0x681617c7",
                "0x681617c70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x68b8c5a1",
            "selector": "0x68b8c5a1",
            "calldata_variants": [
                "0x68b8c5a1",
                "0x68b8c5a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x793c0fd4",
            "selector": "0x793c0fd4",
            "calldata_variants": [
                "0x793c0fd4",
                "0x793c0fd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8422927d",
            "selector": "0x8422927d",
            "calldata_variants": [
                "0x8422927d",
                "0x8422927d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x846a5dde",
            "selector": "0x846a5dde",
            "calldata_variants": [
                "0x846a5dde",
                "0x846a5dde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3031,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x1d0758969e8375ad69c192e9e6d4c5362e4d771517acd75e54db34b059f47e7c
call_targets: 0x7ee41a4c66e92fe28abd5bde30ad644a2dc8b15f
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1d0758969e8375ad69c192e9e6d4c5362e4d771517acd75e54db34b059f47e7c",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7ee41a4c66e92fe28abd5bde30ad644a2dc8b15f"
    ],
    "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": "0x0b2e7423",
            "selector": "0x0b2e7423",
            "calldata_variants": [
                "0x0b2e7423",
                "0x0b2e74230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1554611f",
            "selector": "0x1554611f",
            "calldata_variants": [
                "0x1554611f",
                "0x1554611f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1e891c0a",
            "selector": "0x1e891c0a",
            "calldata_variants": [
                "0x1e891c0a",
                "0x1e891c0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x681617c7",
            "selector": "0x681617c7",
            "calldata_variants": [
                "0x681617c7",
                "0x681617c70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x68b8c5a1",
            "selector": "0x68b8c5a1",
            "calldata_variants": [
                "0x68b8c5a1",
                "0x68b8c5a10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x793c0fd4",
            "selector": "0x793c0fd4",
            "calldata_variants": [
                "0x793c0fd4",
                "0x793c0fd40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8422927d",
            "selector": "0x8422927d",
            "calldata_variants": [
                "0x8422927d",
                "0x8422927d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x846a5dde",
            "selector": "0x846a5dde",
            "calldata_variants": [
                "0x846a5dde",
                "0x846a5dde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3031,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}