65b0ec45-d081-4bda-8aa2-b2068280218d
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31462 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 77398 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 77399 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 77400 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 77401 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 77402 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 77403 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:656525] OpenAI Codex v0.77.0 (research preview)
[codex:656525] --------
[codex:656525] workdir: /tmp/codex-multi-86fhfhll
[codex:656525] model: gpt-5.2-codex
[codex:656525] provider: openai
[codex:656525] approval: never
[codex:656525] sandbox: read-only
[codex:656525] reasoning effort: xhigh
[codex:656525] reasoning summaries: auto
[codex:656525] session id: 019b85c6-b481-7a81-b82f-4fff52729f50
[codex:656525] --------
[codex:656525] user
[codex:656525] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:656525]
[codex:656525] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:656525]
[codex:656525] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:656525] - Gas inefficiency, code quality, naming, or best practices
[codex:656525] - Theoretical vulnerabilities without a clear extraction path
[codex:656525] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:656525] - Front-running unless it enables theft beyond MEV
[codex:656525] - DoS, griefing, or issues that don't result in attacker profit
[codex:656525] - Missing events, view function issues, or informational findings
[codex:656525]
[codex:656525] HIGH-VALUE PATTERNS TO HUNT:
[codex:656525] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:656525] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:656525] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:656525] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:656525] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:656525] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:656525] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:656525] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:656525] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:656525]
[codex:656525] For each finding, you MUST provide:
[codex:656525] 1. Exact file and line numbers of vulnerable code
[codex:656525] 2. Step-by-step exploit transaction sequence
[codex:656525] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:656525]
[codex:656525] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:656525]
[codex:656525] Output MUST be valid JSON matching the provided schema.
[codex:656525] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:656525] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:656525] mcp startup: no servers
[codex:656525]
[codex:656525] thinking
[codex:656525] **Preparing to read audit file**
[codex:656525] exec
[codex:656525] /bin/bash -lc ls in /tmp/codex-multi-86fhfhll succeeded in 5ms:
[codex:656525] AUDIT_BUNDLE.txt
[codex:656525] codex-output-schema.json
[codex:656525] contracts
[codex:656525] exec
[codex:656525] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-86fhfhll succeeded in 5ms:
[codex:656525] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:656525]
[codex:656525] ================================================================================
[codex:656525] FILE: contracts/Contract.sol
[codex:656525] ================================================================================
[codex:656525] // SPDX-License-Identifier: MIT
[codex:656525] pragma solidity >=0.8.0 <0.9.0;
[codex:656525]
[codex:656525] /**
[codex:656525] * @title Remove Putin Bounty
[codex:656525] * @dev This contract is made to incentivize Russians to remove Putin from power by any mean necessary.
[codex:656525] * It is also made to incentivize Putin to stop his agression against Ukraine.
[codex:656525] * It is not affiliated with the state of Ukraine nor any other nation state.
[codex:656525] * This contract is made only as a legitimate defense mean (see a discussion on this right of legitimate defense: https://scholarship.law.cornell.edu/cgi/viewcontent.cgi?article=2562&context=facpub).
[codex:656525] * - The fear of harm is geniune. Putin already attacked Ukraine leading to thousands of deaths.
[codex:656525] * - The threat is imminent. The bounty shall be cancelled if Putin recalls its troop or if he is removed from power during a ceasefire.
[codex:656525] * - The response is proportional. Thousands people (in both sides) already died.
[codex:656525] * One could argue that heads of state are special and "worth" more than regular citizens, we do not share this point of view, but for those who do, Putin already tried to eliminate the president of Ukraine multiple times https://www.msn.com/en-us/news/world/volodymyr-zelensky-survives-three-assassination-attempts-in-one-week/ar-AAUBwac
[codex:656525] * The bounty only targets the individual responsible.
[codex:656525] * This individual is a military target: The Supreme Commander-in-Chief of the Russian Armed Forces (https://en.wikipedia.org/wiki/Supreme_Commander-in-Chief_of_the_Russian_Armed_Forces).
[codex:656525]
[codex:656525] thinking
[codex:656525] **Analyzing contract for exploitable profit paths**
[codex:656525]
[codex:656525] I'm carefully reviewing the contract for any vulnerabilities that could allow attackers to profit, focusing on reentrancy, arithmetic errors, and token manipulations. After checking withdraw, redeem, reveal, and other functions along with state changes and token transfers, I find no concrete exploit paths that would enable stealing funds or causing unintended payouts. The contract uses safe Solidity 0.8 arithmetic, transfer calls limit reentrancy risk, and logic prevents withdrawing when total shares are zero. Overall, no exploitable profit vulnerabilities stand out.
[codex:656525] codex
[codex:656525] {"no_findings":true,"summary":"No concrete, exploitable profit path to extract ETH/tokens/NFTs from the contract was found after reviewing AUDIT_BUNDLE.txt.","findings":[]}
[codex:656525] tokens used
[codex:656525] 14,243
[codex:656525] {"no_findings":true,"summary":"No concrete, exploitable profit path to extract ETH/tokens/NFTs from the contract was found after reviewing AUDIT_BUNDLE.txt.","findings":[]}
{
"codex": {
"ran_at": "2026-01-03T21:33:15.333468+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path to extract ETH/tokens/NFTs from the contract was found after reviewing AUDIT_BUNDLE.txt.",
"raw_final": {
"summary": "No concrete, exploitable profit path to extract ETH/tokens/NFTs from the contract was found after reviewing AUDIT_BUNDLE.txt.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x01db 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc9c3d42e 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xee38db95 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xee38db95 0000003a: EQ 0000003b: PUSH2 0x0624 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf19d96eb 00000045: EQ 00000046: PUSH2 0x0639 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf4d78ae2 00000050: EQ 00000051: PUSH2 0x0397 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf61d9192 0000005b: EQ 0000005c: PUSH2 0x064f 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc9c3d42e 0000006b: EQ 0000006c: PUSH2 0x05ab 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd80103e1 00000076: EQ 00000077: PUSH2 0x05c1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdd62ed3e 00000081: EQ 00000082: PUSH2 0x05d7 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xea8a1af0 0000008c: EQ 0000008d: PUSH2 0x060f 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xa9059cbb 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa9059cbb 000000a7: EQ 000000a8: PUSH2 0x0533 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbe040fb0 000000b2: EQ 000000b3: PUSH2 0x0553 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc19d93fb 000000bd: EQ 000000be: PUSH2 0x0568 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc3c476fe 000000c8: EQ 000000c9: PUSH2 0x0594 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8da5cb5b 000000d8: EQ 000000d9: PUSH2 0x04a6 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x95d89b41 000000e3: EQ 000000e4: PUSH2 0x04de 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x969b1cdb 000000ee: EQ 000000ef: PUSH2 0x04f3 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xa6f9dae1 000000f9: EQ 000000fa: PUSH2 0x0513 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x23b872dd 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4e5bd4d0 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x4e5bd4d0 0000011f: EQ 00000120: PUSH2 0x03ef 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x556b6b90 0000012a: EQ 0000012b: PUSH2 0x0405 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x70a08231 00000135: EQ 00000136: PUSH2 0x0432 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x7164f0d6 00000140: EQ 00000141: PUSH2 0x045f 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x23b872dd 00000150: EQ 00000151: PUSH2 0x0377 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x2d913bfb 0000015b: EQ 0000015c: PUSH2 0x0397 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x313ce567 00000166: EQ 00000167: PUSH2 0x03ae 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x3ccfd60b 00000171: EQ 00000172: PUSH2 0x03da 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x095ea7b3 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x095ea7b3 0000018c: EQ 0000018d: PUSH2 0x02fa 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x0b2aa147 00000197: EQ 00000198: PUSH2 0x032a 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x17b65dba 000001a2: EQ 000001a3: PUSH2 0x033d 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x18160ddd 000001ad: EQ 000001ae: PUSH2 0x0361 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH3 0x4fbbb0 000001bc: EQ 000001bd: PUSH2 0x0272 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x01415e16 000001c7: EQ 000001c8: PUSH2 0x02c1 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x06fdde03 000001d2: EQ 000001d3: PUSH2 0x02d8 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: CALLDATASIZE 000001dd: PUSH2 0x026d 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: PUSH1 0x06 000001e5: SLOAD 000001e6: PUSH2 0x0100 000001e9: SWAP1 000001ea: DIV 000001eb: PUSH1 0xff 000001ed: AND 000001ee: PUSH1 0x02 000001f0: DUP2 000001f1: GT 000001f2: ISZERO 000001f3: PUSH2 0x01fe 000001f6: JUMPI 000001f7: PUSH2 0x01fe 000001fa: PUSH2 0x0f69 000001fd: JUMP 000001fe: JUMPDEST 000001ff: EQ 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: CALLER 0000020a: PUSH1 0x00 0000020c: SWAP1 0000020d: DUP2 0000020e: MSTORE 0000020f: PUSH1 0x02 00000211: PUSH1 0x20 00000213: MSTORE 00000214: PUSH1 0x40 00000216: DUP2 00000217: KECCAK256 00000218: DUP1 00000219: SLOAD 0000021a: CALLVALUE 0000021b: SWAP3 0000021c: SWAP1 0000021d: PUSH2 0x0227 00000220: SWAP1 00000221: DUP5 00000222: SWAP1 00000223: PUSH2 0x0f95 00000226: JUMP 00000227: JUMPDEST 00000228: SWAP3 00000229: POP 0000022a: POP 0000022b: DUP2 0000022c: SWAP1 0000022d: SSTORE 0000022e: POP 0000022f: CALLVALUE 00000230: PUSH1 0x01 00000232: PUSH1 0x00 00000234: DUP3 00000235: DUP3 00000236: SLOAD 00000237: PUSH2 0x0240 0000023a: SWAP2 0000023b: SWAP1 0000023c: PUSH2 0x0f95 0000023f: JUMP 00000240: JUMPDEST 00000241: SWAP1 00000242: SWAP2 00000243: SSTORE 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: CALLVALUE 0000024a: DUP2 0000024b: MSTORE 0000024c: CALLER 0000024d: SWAP1 0000024e: PUSH1 0x00 00000250: SWAP1 00000251: PUSH1 0x00 00000253: DUP1 00000254: MLOAD 00000255: PUSH1 0x20 00000257: PUSH2 0x123e 0000025a: DUP4 0000025b: CODECOPY 0000025c: DUP2 0000025d: MLOAD 0000025e: SWAP2 0000025f: MSTORE 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: PUSH1 0x40 00000266: MLOAD 00000267: DUP1 00000268: SWAP2 00000269: SUB 0000026a: SWAP1 0000026b: LOG3 0000026c: STOP 0000026d: JUMPDEST 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x0292 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x0fad 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x066f 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: DUP1 00000296: MLOAD 00000297: PUSH1 0x01 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: SHL 0000029e: SUB 0000029f: SWAP1 000002a0: SWAP6 000002a1: AND 000002a2: DUP6 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: DUP6 000002a7: ADD 000002a8: SWAP4 000002a9: SWAP1 000002aa: SWAP4 000002ab: MSTORE 000002ac: SWAP2 000002ad: DUP4 000002ae: ADD 000002af: MSTORE 000002b0: PUSH1 0x60 000002b2: DUP3 000002b3: ADD 000002b4: MSTORE 000002b5: PUSH1 0x80 000002b7: ADD 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: SWAP2 000002be: SUB 000002bf: SWAP1 000002c0: RETURN 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: POP 000002cf: PUSH2 0x02d6 000002d2: PUSH2 0x06b3 000002d5: JUMP 000002d6: JUMPDEST 000002d7: STOP 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x02ed 000002e9: PUSH2 0x071a 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: PUSH2 0x02b8 000002f4: SWAP2 000002f5: SWAP1 000002f6: PUSH2 0x0fc6 000002f9: JUMP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x031a 0000030b: PUSH2 0x0315 0000030e: CALLDATASIZE 0000030f: PUSH1 0x04 00000311: PUSH2 0x1037 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH2 0x07a8 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: SWAP1 0000031f: ISZERO 00000320: ISZERO 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH2 0x02b8 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x02d6 0000032e: PUSH2 0x0338 00000331: CALLDATASIZE 00000332: PUSH1 0x04 00000334: PUSH2 0x0fad 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x0814 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x0353 0000034e: PUSH1 0x09 00000350: SLOAD 00000351: DUP2 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: MLOAD 00000357: SWAP1 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: PUSH2 0x02b8 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x0353 00000372: PUSH1 0x01 00000374: SLOAD 00000375: DUP2 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x031a 00000388: PUSH2 0x0392 0000038b: CALLDATASIZE 0000038c: PUSH1 0x04 0000038e: PUSH2 0x1061 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x098f 00000396: JUMP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: DUP1 0000039a: ISZERO 0000039b: PUSH2 0x03a3 0000039e: JUMPI 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: POP 000003a5: PUSH2 0x0353 000003a8: PUSH3 0x83d600 000003ac: DUP2 000003ad: JUMP 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03ba 000003b5: JUMPI 000003b6: PUSH1 0x00 000003b8: DUP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: POP 000003bc: PUSH1 0x06 000003be: SLOAD 000003bf: PUSH2 0x03c8 000003c2: SWAP1 000003c3: PUSH1 0xff 000003c5: AND 000003c6: DUP2 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: PUSH1 0xff 000003ce: SWAP1 000003cf: SWAP2 000003d0: AND 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x20 000003d5: ADD 000003d6: PUSH2 0x02b8 000003d9: JUMP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x02d6 000003eb: PUSH2 0x0a6a 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x0353 00000400: PUSH1 0x08 00000402: SLOAD 00000403: DUP2 00000404: JUMP 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x0353 00000416: PUSH2 0x0420 00000419: CALLDATASIZE 0000041a: PUSH1 0x04 0000041c: PUSH2 0x109d 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH1 0x0a 00000423: PUSH1 0x20 00000425: MSTORE 00000426: PUSH1 0x00 00000428: SWAP1 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x40 0000042d: SWAP1 0000042e: KECCAK256 0000042f: SLOAD 00000430: DUP2 00000431: JUMP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0353 00000443: PUSH2 0x044d 00000446: CALLDATASIZE 00000447: PUSH1 0x04 00000449: PUSH2 0x109d 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH1 0x02 00000450: PUSH1 0x20 00000452: MSTORE 00000453: PUSH1 0x00 00000455: SWAP1 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x40 0000045a: SWAP1 0000045b: KECCAK256 0000045c: SLOAD 0000045d: DUP2 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0353 00000470: PUSH2 0x047a 00000473: CALLDATASIZE 00000474: PUSH1 0x04 00000476: PUSH2 0x10bf 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x40 0000047d: DUP1 0000047e: MLOAD 0000047f: PUSH1 0x20 00000481: DUP1 00000482: DUP3 00000483: ADD 00000484: SWAP5 00000485: SWAP1 00000486: SWAP5 00000487: MSTORE 00000488: DUP1 00000489: DUP3 0000048a: ADD 0000048b: SWAP3 0000048c: SWAP1 0000048d: SWAP3 0000048e: MSTORE 0000048f: DUP1 00000490: MLOAD 00000491: DUP1 00000492: DUP4 00000493: SUB 00000494: DUP3 00000495: ADD 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x60 0000049a: SWAP1 0000049b: SWAP3 0000049c: ADD 0000049d: SWAP1 0000049e: MSTORE 0000049f: DUP1 000004a0: MLOAD 000004a1: SWAP2 000004a2: ADD 000004a3: KECCAK256 000004a4: SWAP1 000004a5: JUMP 000004a6: JUMPDEST 000004a7: CALLVALUE 000004a8: DUP1 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: POP 000004b4: PUSH1 0x00 000004b6: SLOAD 000004b7: PUSH2 0x04c6 000004ba: SWAP1 000004bb: PUSH1 0x01 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: SHL 000004c2: SUB 000004c3: AND 000004c4: DUP2 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: SWAP1 000004d3: SWAP2 000004d4: AND 000004d5: DUP2 000004d6: MSTORE 000004d7: PUSH1 0x20 000004d9: ADD 000004da: PUSH2 0x02b8 000004dd: JUMP 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x02ed 000004ef: PUSH2 0x0b1f 000004f2: JUMP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: PUSH2 0x02d6 00000504: PUSH2 0x050e 00000507: CALLDATASIZE 00000508: PUSH1 0x04 0000050a: PUSH2 0x0fad 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH2 0x0b2c 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x02d6 00000524: PUSH2 0x052e 00000527: CALLDATASIZE 00000528: PUSH1 0x04 0000052a: PUSH2 0x109d 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH2 0x0b9f 00000532: JUMP 00000533: JUMPDEST 00000534: CALLVALUE 00000535: DUP1 00000536: ISZERO 00000537: PUSH2 0x053f 0000053a: JUMPI 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: REVERT 0000053f: JUMPDEST 00000540: POP 00000541: PUSH2 0x031a 00000544: PUSH2 0x054e 00000547: CALLDATASIZE 00000548: PUSH1 0x04 0000054a: PUSH2 0x1037 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH2 0x0beb 00000552: JUMP 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x02d6 00000564: PUSH2 0x0c69 00000567: JUMP 00000568: JUMPDEST 00000569: CALLVALUE 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: PUSH1 0x06 00000578: SLOAD 00000579: PUSH2 0x0587 0000057c: SWAP1 0000057d: PUSH2 0x0100 00000580: SWAP1 00000581: DIV 00000582: PUSH1 0xff 00000584: AND 00000585: DUP2 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: PUSH2 0x02b8 0000058e: SWAP2 0000058f: SWAP1 00000590: PUSH2 0x10e1 00000593: JUMP 00000594: JUMPDEST 00000595: CALLVALUE 00000596: DUP1 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: POP 000005a2: PUSH2 0x0353 000005a5: PUSH3 0x01fa40 000005a9: DUP2 000005aa: JUMP 000005ab: JUMPDEST 000005ac: CALLVALUE 000005ad: DUP1 000005ae: ISZERO 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: POP 000005b9: PUSH2 0x0353 000005bc: PUSH1 0x07 000005be: SLOAD 000005bf: DUP2 000005c0: JUMP 000005c1: JUMPDEST 000005c2: CALLVALUE 000005c3: DUP1 000005c4: ISZERO 000005c5: PUSH2 0x05cd 000005c8: JUMPI 000005c9: PUSH1 0x00 000005cb: DUP1 000005cc: REVERT 000005cd: JUMPDEST 000005ce: POP 000005cf: PUSH2 0x0353 000005d2: PUSH2 0xa8c0 000005d5: DUP2 000005d6: JUMP 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH2 0x0353 000005e8: PUSH2 0x05f2 000005eb: CALLDATASIZE 000005ec: PUSH1 0x04 000005ee: PUSH2 0x1109 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x03 000005f5: PUSH1 0x20 000005f7: SWAP1 000005f8: DUP2 000005f9: MSTORE 000005fa: PUSH1 0x00 000005fc: SWAP3 000005fd: DUP4 000005fe: MSTORE 000005ff: PUSH1 0x40 00000601: DUP1 00000602: DUP5 00000603: KECCAK256 00000604: SWAP1 00000605: SWAP2 00000606: MSTORE 00000607: SWAP1 00000608: DUP3 00000609: MSTORE 0000060a: SWAP1 0000060b: KECCAK256 0000060c: SLOAD 0000060d: DUP2 0000060e: JUMP 0000060f: JUMPDEST 00000610: CALLVALUE 00000611: DUP1 00000612: ISZERO 00000613: PUSH2 0x061b 00000616: JUMPI 00000617: PUSH1 0x00 00000619: DUP1 0000061a: REVERT 0000061b: JUMPDEST 0000061c: POP 0000061d: PUSH2 0x02d6 00000620: PUSH2 0x0d17 00000623: JUMP 00000624: JUMPDEST 00000625: CALLVALUE 00000626: DUP1 00000627: ISZERO 00000628: PUSH2 0x0630 0000062b: JUMPI 0000062c: PUSH1 0x00 0000062e: DUP1 0000062f: REVERT 00000630: JUMPDEST 00000631: POP 00000632: PUSH2 0x02d6 00000635: PUSH2 0x0d69 00000638: JUMP 00000639: JUMPDEST 0000063a: CALLVALUE 0000063b: DUP1 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: POP 00000647: PUSH2 0x0353 0000064a: PUSH1 0x0b 0000064c: SLOAD 0000064d: DUP2 0000064e: JUMP 0000064f: JUMPDEST 00000650: CALLVALUE 00000651: DUP1 00000652: ISZERO 00000653: PUSH2 0x065b 00000656: JUMPI 00000657: PUSH1 0x00 00000659: DUP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: POP 0000065d: PUSH2 0x02d6 00000660: PUSH2 0x066a 00000663: CALLDATASIZE 00000664: PUSH1 0x04 00000666: PUSH2 0x113c 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH2 0x0e14 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH1 0x0c 00000672: DUP2 00000673: DUP2 00000674: SLOAD 00000675: DUP2 00000676: LT 00000677: PUSH2 0x067f 0000067a: JUMPI 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: PUSH1 0x00 00000682: SWAP2 00000683: DUP3 00000684: MSTORE 00000685: PUSH1 0x20 00000687: SWAP1 00000688: SWAP2 00000689: KECCAK256 0000068a: PUSH1 0x04 0000068c: SWAP1 0000068d: SWAP2 0000068e: MUL 0000068f: ADD 00000690: DUP1 00000691: SLOAD 00000692: PUSH1 0x01 00000694: DUP3 00000695: ADD 00000696: SLOAD 00000697: PUSH1 0x02 00000699: DUP4 0000069a: ADD 0000069b: SLOAD 0000069c: PUSH1 0x03 0000069e: SWAP1 0000069f: SWAP4 000006a0: ADD 000006a1: SLOAD 000006a2: PUSH1 0x01 000006a4: PUSH1 0x01 000006a6: PUSH1 0xa0 000006a8: SHL 000006a9: SUB 000006aa: SWAP1 000006ab: SWAP3 000006ac: AND 000006ad: SWAP4 000006ae: POP 000006af: SWAP2 000006b0: SWAP1 000006b1: DUP5 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x02 000006b6: PUSH1 0x06 000006b8: SLOAD 000006b9: PUSH2 0x0100 000006bc: SWAP1 000006bd: DIV 000006be: PUSH1 0xff 000006c0: AND 000006c1: PUSH1 0x02 000006c3: DUP2 000006c4: GT 000006c5: ISZERO 000006c6: PUSH2 0x06d1 000006c9: JUMPI 000006ca: PUSH2 0x06d1 000006cd: PUSH2 0x0f69 000006d0: JUMP 000006d1: JUMPDEST 000006d2: EQ 000006d3: PUSH2 0x06db 000006d6: JUMPI 000006d7: PUSH1 0x00 000006d9: DUP1 000006da: REVERT 000006db: JUMPDEST 000006dc: PUSH3 0x83d600 000006e0: PUSH1 0x07 000006e2: SLOAD 000006e3: PUSH2 0x06ec 000006e6: SWAP2 000006e7: SWAP1 000006e8: PUSH2 0x0f95 000006eb: JUMP 000006ec: JUMPDEST 000006ed: TIMESTAMP 000006ee: LT 000006ef: ISZERO 000006f0: PUSH2 0x06f8 000006f3: JUMPI 000006f4: PUSH1 0x00 000006f6: DUP1 000006f7: REVERT 000006f8: JUMPDEST 000006f9: PUSH1 0x09 000006fb: SLOAD 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: PUSH1 0x06 00000708: DUP1 00000709: SLOAD 0000070a: PUSH2 0xff00 0000070d: NOT 0000070e: AND 0000070f: PUSH2 0x0100 00000712: OR 00000713: SWAP1 00000714: SSTORE 00000715: TIMESTAMP 00000716: PUSH1 0x08 00000718: SSTORE 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x04 0000071d: DUP1 0000071e: SLOAD 0000071f: PUSH2 0x0727 00000722: SWAP1 00000723: PUSH2 0x1168 00000726: JUMP 00000727: JUMPDEST 00000728: DUP1 00000729: PUSH1 0x1f 0000072b: ADD 0000072c: PUSH1 0x20 0000072e: DUP1 0000072f: SWAP2 00000730: DIV 00000731: MUL 00000732: PUSH1 0x20 00000734: ADD 00000735: PUSH1 0x40 00000737: MLOAD 00000738: SWAP1 00000739: DUP2 0000073a: ADD 0000073b: PUSH1 0x40 0000073d: MSTORE 0000073e: DUP1 0000073f: SWAP3 00000740: SWAP2 00000741: SWAP1 00000742: DUP2 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x20 00000747: ADD 00000748: DUP3 00000749: DUP1 0000074a: SLOAD 0000074b: PUSH2 0x0753 0000074e: SWAP1 0000074f: PUSH2 0x1168 00000752: JUMP 00000753: JUMPDEST 00000754: DUP1 00000755: ISZERO 00000756: PUSH2 0x07a0 00000759: JUMPI 0000075a: DUP1 0000075b: PUSH1 0x1f 0000075d: LT 0000075e: PUSH2 0x0775 00000761: JUMPI 00000762: PUSH2 0x0100 00000765: DUP1 00000766: DUP4 00000767: SLOAD 00000768: DIV 00000769: MUL 0000076a: DUP4 0000076b: MSTORE 0000076c: SWAP2 0000076d: PUSH1 0x20 0000076f: ADD 00000770: SWAP2 00000771: PUSH2 0x07a0 00000774: JUMP 00000775: JUMPDEST 00000776: DUP3 00000777: ADD 00000778: SWAP2 00000779: SWAP1 0000077a: PUSH1 0x00 0000077c: MSTORE 0000077d: PUSH1 0x20 0000077f: PUSH1 0x00 00000781: KECCAK256 00000782: SWAP1 00000783: JUMPDEST 00000784: DUP2 00000785: SLOAD 00000786: DUP2 00000787: MSTORE 00000788: SWAP1 00000789: PUSH1 0x01 0000078b: ADD 0000078c: SWAP1 0000078d: PUSH1 0x20 0000078f: ADD 00000790: DUP1 00000791: DUP4 00000792: GT 00000793: PUSH2 0x0783 00000796: JUMPI 00000797: DUP3 00000798: SWAP1 00000799: SUB 0000079a: PUSH1 0x1f 0000079c: AND 0000079d: DUP3 0000079e: ADD 0000079f: SWAP2 000007a0: JUMPDEST 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: DUP2 000007a7: JUMP 000007a8: JUMPDEST 000007a9: CALLER 000007aa: PUSH1 0x00 000007ac: DUP2 000007ad: DUP2 000007ae: MSTORE 000007af: PUSH1 0x03 000007b1: PUSH1 0x20 000007b3: SWAP1 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x40 000007b8: DUP1 000007b9: DUP4 000007ba: KECCAK256 000007bb: PUSH1 0x01 000007bd: PUSH1 0x01 000007bf: PUSH1 0xa0 000007c1: SHL 000007c2: SUB 000007c3: DUP8 000007c4: AND 000007c5: DUP1 000007c6: DUP6 000007c7: MSTORE 000007c8: SWAP3 000007c9: MSTORE 000007ca: DUP1 000007cb: DUP4 000007cc: KECCAK256 000007cd: DUP6 000007ce: SWAP1 000007cf: SSTORE 000007d0: MLOAD 000007d1: SWAP2 000007d2: SWAP3 000007d3: SWAP1 000007d4: SWAP2 000007d5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000007f6: SWAP1 000007f7: PUSH2 0x0803 000007fa: SWAP1 000007fb: DUP7 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: SWAP1 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x40 00000806: MLOAD 00000807: DUP1 00000808: SWAP2 00000809: SUB 0000080a: SWAP1 0000080b: LOG3 0000080c: POP 0000080d: PUSH1 0x01 0000080f: SWAP3 00000810: SWAP2 00000811: POP 00000812: POP 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x00 00000817: PUSH1 0x06 00000819: SLOAD 0000081a: PUSH2 0x0100 0000081d: SWAP1 0000081e: DIV 0000081f: PUSH1 0xff 00000821: AND 00000822: PUSH1 0x02 00000824: DUP2 00000825: GT 00000826: ISZERO 00000827: PUSH2 0x0832 0000082a: JUMPI 0000082b: PUSH2 0x0832 0000082e: PUSH2 0x0f69 00000831: JUMP 00000832: JUMPDEST 00000833: EQ 00000834: PUSH2 0x083c 00000837: JUMPI 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: REVERT 0000083c: JUMPDEST 0000083d: PUSH1 0x40 0000083f: DUP1 00000840: MLOAD 00000841: PUSH1 0x80 00000843: DUP2 00000844: ADD 00000845: DUP3 00000846: MSTORE 00000847: CALLER 00000848: DUP1 00000849: DUP3 0000084a: MSTORE 0000084b: CALLVALUE 0000084c: PUSH1 0x20 0000084e: DUP1 0000084f: DUP5 00000850: ADD 00000851: DUP3 00000852: DUP2 00000853: MSTORE 00000854: TIMESTAMP 00000855: DUP6 00000856: DUP8 00000857: ADD 00000858: SWAP1 00000859: DUP2 0000085a: MSTORE 0000085b: PUSH1 0x60 0000085d: DUP7 0000085e: ADD 0000085f: DUP9 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x0c 00000864: DUP1 00000865: SLOAD 00000866: PUSH1 0x01 00000868: DUP2 00000869: ADD 0000086a: DUP3 0000086b: SSTORE 0000086c: PUSH1 0x00 0000086e: SWAP2 0000086f: DUP3 00000870: MSTORE 00000871: SWAP8 00000872: MLOAD 00000873: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7 00000894: PUSH1 0x04 00000896: SWAP1 00000897: SWAP10 00000898: MUL 00000899: SWAP9 0000089a: DUP10 0000089b: ADD 0000089c: DUP1 0000089d: SLOAD 0000089e: PUSH1 0x01 000008a0: PUSH1 0x01 000008a2: PUSH1 0xa0 000008a4: SHL 000008a5: SUB 000008a6: NOT 000008a7: AND 000008a8: PUSH1 0x01 000008aa: PUSH1 0x01 000008ac: PUSH1 0xa0 000008ae: SHL 000008af: SUB 000008b0: SWAP1 000008b1: SWAP3 000008b2: AND 000008b3: SWAP2 000008b4: SWAP1 000008b5: SWAP2 000008b6: OR 000008b7: SWAP1 000008b8: SSTORE 000008b9: SWAP3 000008ba: MLOAD 000008bb: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c8 000008dc: DUP9 000008dd: ADD 000008de: SSTORE 000008df: SWAP1 000008e0: MLOAD 000008e1: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c9 00000902: DUP8 00000903: ADD 00000904: SSTORE 00000905: MLOAD 00000906: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8ca 00000927: SWAP1 00000928: SWAP6 00000929: ADD 0000092a: SWAP5 0000092b: SWAP1 0000092c: SWAP5 0000092d: SSTORE 0000092e: SWAP2 0000092f: DUP4 00000930: MSTORE 00000931: PUSH1 0x02 00000933: SWAP1 00000934: SWAP2 00000935: MSTORE 00000936: SWAP2 00000937: DUP2 00000938: KECCAK256 00000939: DUP1 0000093a: SLOAD 0000093b: SWAP1 0000093c: SWAP2 0000093d: SWAP1 0000093e: PUSH2 0x0948 00000941: SWAP1 00000942: DUP5 00000943: SWAP1 00000944: PUSH2 0x0f95 00000947: JUMP 00000948: JUMPDEST 00000949: SWAP3 0000094a: POP 0000094b: POP 0000094c: DUP2 0000094d: SWAP1 0000094e: SSTORE 0000094f: POP 00000950: CALLVALUE 00000951: PUSH1 0x01 00000953: PUSH1 0x00 00000955: DUP3 00000956: DUP3 00000957: SLOAD 00000958: PUSH2 0x0961 0000095b: SWAP2 0000095c: SWAP1 0000095d: PUSH2 0x0f95 00000960: JUMP 00000961: JUMPDEST 00000962: SWAP1 00000963: SWAP2 00000964: SSTORE 00000965: POP 00000966: POP 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: CALLVALUE 0000096b: DUP2 0000096c: MSTORE 0000096d: CALLER 0000096e: SWAP1 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: PUSH1 0x00 00000974: DUP1 00000975: MLOAD 00000976: PUSH1 0x20 00000978: PUSH2 0x123e 0000097b: DUP4 0000097c: CODECOPY 0000097d: DUP2 0000097e: MLOAD 0000097f: SWAP2 00000980: MSTORE 00000981: SWAP1 00000982: PUSH1 0x20 00000984: ADD 00000985: PUSH1 0x40 00000987: MLOAD 00000988: DUP1 00000989: SWAP2 0000098a: SUB 0000098b: SWAP1 0000098c: LOG3 0000098d: POP 0000098e: JUMP 0000098f: JUMPDEST 00000990: PUSH1 0x01 00000992: PUSH1 0x01 00000994: PUSH1 0xa0 00000996: SHL 00000997: SUB 00000998: DUP4 00000999: AND 0000099a: PUSH1 0x00 0000099c: SWAP1 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x03 000009a1: PUSH1 0x20 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x40 000009a8: DUP1 000009a9: DUP4 000009aa: KECCAK256 000009ab: CALLER 000009ac: DUP5 000009ad: MSTORE 000009ae: SWAP1 000009af: SWAP2 000009b0: MSTORE 000009b1: DUP2 000009b2: KECCAK256 000009b3: DUP1 000009b4: SLOAD 000009b5: DUP4 000009b6: SWAP2 000009b7: SWAP1 000009b8: DUP4 000009b9: SWAP1 000009ba: PUSH2 0x09c4 000009bd: SWAP1 000009be: DUP5 000009bf: SWAP1 000009c0: PUSH2 0x11a2 000009c3: JUMP 000009c4: JUMPDEST 000009c5: SWAP1 000009c6: SWAP2 000009c7: SSTORE 000009c8: POP 000009c9: POP 000009ca: PUSH1 0x01 000009cc: PUSH1 0x01 000009ce: PUSH1 0xa0 000009d0: SHL 000009d1: SUB 000009d2: DUP5 000009d3: AND 000009d4: PUSH1 0x00 000009d6: SWAP1 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x02 000009db: PUSH1 0x20 000009dd: MSTORE 000009de: PUSH1 0x40 000009e0: DUP2 000009e1: KECCAK256 000009e2: DUP1 000009e3: SLOAD 000009e4: DUP5 000009e5: SWAP3 000009e6: SWAP1 000009e7: PUSH2 0x09f1 000009ea: SWAP1 000009eb: DUP5 000009ec: SWAP1 000009ed: PUSH2 0x11a2 000009f0: JUMP 000009f1: JUMPDEST 000009f2: SWAP1 000009f3: SWAP2 000009f4: SSTORE 000009f5: POP 000009f6: POP 000009f7: PUSH1 0x01 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: SHL 000009fe: SUB 000009ff: DUP4 00000a00: AND 00000a01: PUSH1 0x00 00000a03: SWAP1 00000a04: DUP2 00000a05: MSTORE 00000a06: PUSH1 0x02 00000a08: PUSH1 0x20 00000a0a: MSTORE 00000a0b: PUSH1 0x40 00000a0d: DUP2 00000a0e: KECCAK256 00000a0f: DUP1 00000a10: SLOAD 00000a11: DUP5 00000a12: SWAP3 00000a13: SWAP1 00000a14: PUSH2 0x0a1e 00000a17: SWAP1 00000a18: DUP5 00000a19: SWAP1 00000a1a: PUSH2 0x0f95 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: SWAP3 00000a20: POP 00000a21: POP 00000a22: DUP2 00000a23: SWAP1 00000a24: SSTORE 00000a25: POP 00000a26: DUP3 00000a27: PUSH1 0x01 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: SHL 00000a2e: SUB 00000a2f: AND 00000a30: DUP5 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: AND 00000a3a: PUSH1 0x00 00000a3c: DUP1 00000a3d: MLOAD 00000a3e: PUSH1 0x20 00000a40: PUSH2 0x123e 00000a43: DUP4 00000a44: CODECOPY 00000a45: DUP2 00000a46: MLOAD 00000a47: SWAP2 00000a48: MSTORE 00000a49: DUP5 00000a4a: PUSH1 0x40 00000a4c: MLOAD 00000a4d: PUSH2 0x0a58 00000a50: SWAP2 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x20 00000a55: ADD 00000a56: SWAP1 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH1 0x40 00000a5b: MLOAD 00000a5c: DUP1 00000a5d: SWAP2 00000a5e: SUB 00000a5f: SWAP1 00000a60: LOG3 00000a61: POP 00000a62: PUSH1 0x01 00000a64: SWAP4 00000a65: SWAP3 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH1 0x02 00000a6d: PUSH1 0x06 00000a6f: SLOAD 00000a70: PUSH2 0x0100 00000a73: SWAP1 00000a74: DIV 00000a75: PUSH1 0xff 00000a77: AND 00000a78: PUSH1 0x02 00000a7a: DUP2 00000a7b: GT 00000a7c: ISZERO 00000a7d: PUSH2 0x0a88 00000a80: JUMPI 00000a81: PUSH2 0x0a88 00000a84: PUSH2 0x0f69 00000a87: JUMP 00000a88: JUMPDEST 00000a89: EQ 00000a8a: PUSH2 0x0a92 00000a8d: JUMPI 00000a8e: PUSH1 0x00 00000a90: DUP1 00000a91: REVERT 00000a92: JUMPDEST 00000a93: PUSH3 0x83d600 00000a97: PUSH1 0x07 00000a99: SLOAD 00000a9a: PUSH2 0x0aa3 00000a9d: SWAP2 00000a9e: SWAP1 00000a9f: PUSH2 0x0f95 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: TIMESTAMP 00000aa5: LT 00000aa6: ISZERO 00000aa7: PUSH2 0x0aaf 00000aaa: JUMPI 00000aab: PUSH1 0x00 00000aad: DUP1 00000aae: REVERT 00000aaf: JUMPDEST 00000ab0: PUSH1 0x09 00000ab2: SLOAD 00000ab3: PUSH1 0x0b 00000ab5: SLOAD 00000ab6: CALLER 00000ab7: PUSH1 0x00 00000ab9: SWAP1 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x0a 00000abe: PUSH1 0x20 00000ac0: MSTORE 00000ac1: PUSH1 0x40 00000ac3: DUP2 00000ac4: KECCAK256 00000ac5: SLOAD 00000ac6: SWAP1 00000ac7: SWAP3 00000ac8: SWAP2 00000ac9: PUSH2 0x0ad1 00000acc: SWAP2 00000acd: PUSH2 0x11b9 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH2 0x0adb 00000ad5: SWAP2 00000ad6: SWAP1 00000ad7: PUSH2 0x11d8 00000ada: JUMP 00000adb: JUMPDEST 00000adc: CALLER 00000add: PUSH1 0x00 00000adf: DUP2 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x0a 00000ae4: PUSH1 0x20 00000ae6: MSTORE 00000ae7: PUSH1 0x40 00000ae9: DUP1 00000aea: DUP3 00000aeb: KECCAK256 00000aec: DUP3 00000aed: SWAP1 00000aee: SSTORE 00000aef: MLOAD 00000af0: SWAP3 00000af1: SWAP4 00000af2: POP 00000af3: SWAP1 00000af4: SWAP2 00000af5: DUP4 00000af6: ISZERO 00000af7: PUSH2 0x08fc 00000afa: MUL 00000afb: SWAP2 00000afc: DUP5 00000afd: SWAP2 00000afe: SWAP1 00000aff: DUP2 00000b00: DUP2 00000b01: DUP2 00000b02: DUP6 00000b03: DUP9 00000b04: DUP9 00000b05: CALL 00000b06: SWAP4 00000b07: POP 00000b08: POP 00000b09: POP 00000b0a: POP 00000b0b: ISZERO 00000b0c: DUP1 00000b0d: ISZERO 00000b0e: PUSH2 0x0b1b 00000b11: JUMPI 00000b12: RETURNDATASIZE 00000b13: PUSH1 0x00 00000b15: DUP1 00000b16: RETURNDATACOPY 00000b17: RETURNDATASIZE 00000b18: PUSH1 0x00 00000b1a: REVERT 00000b1b: JUMPDEST 00000b1c: POP 00000b1d: POP 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x05 00000b22: DUP1 00000b23: SLOAD 00000b24: PUSH2 0x0727 00000b27: SWAP1 00000b28: PUSH2 0x1168 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x00 00000b2f: SLOAD 00000b30: PUSH1 0x01 00000b32: PUSH1 0x01 00000b34: PUSH1 0xa0 00000b36: SHL 00000b37: SUB 00000b38: AND 00000b39: CALLER 00000b3a: EQ 00000b3b: PUSH2 0x0b5f 00000b3e: JUMPI 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: PUSH3 0x461bcd 00000b46: PUSH1 0xe5 00000b48: SHL 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x04 00000b4d: ADD 00000b4e: PUSH2 0x0b56 00000b51: SWAP1 00000b52: PUSH2 0x11fa 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: DUP1 00000b5b: SWAP2 00000b5c: SUB 00000b5d: SWAP1 00000b5e: REVERT 00000b5f: JUMPDEST 00000b60: PUSH1 0x00 00000b62: PUSH1 0x06 00000b64: SLOAD 00000b65: PUSH2 0x0100 00000b68: SWAP1 00000b69: DIV 00000b6a: PUSH1 0xff 00000b6c: AND 00000b6d: PUSH1 0x02 00000b6f: DUP2 00000b70: GT 00000b71: ISZERO 00000b72: PUSH2 0x0b7d 00000b75: JUMPI 00000b76: PUSH2 0x0b7d 00000b79: PUSH2 0x0f69 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: EQ 00000b7f: PUSH2 0x0b87 00000b82: JUMPI 00000b83: PUSH1 0x00 00000b85: DUP1 00000b86: REVERT 00000b87: JUMPDEST 00000b88: PUSH1 0x06 00000b8a: DUP1 00000b8b: SLOAD 00000b8c: PUSH2 0xff00 00000b8f: NOT 00000b90: AND 00000b91: PUSH2 0x0200 00000b94: OR 00000b95: SWAP1 00000b96: SSTORE 00000b97: PUSH1 0x07 00000b99: SSTORE 00000b9a: SELFBALANCE 00000b9b: PUSH1 0x0b 00000b9d: SSTORE 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x00 00000ba2: SLOAD 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0x01 00000ba7: PUSH1 0xa0 00000ba9: SHL 00000baa: SUB 00000bab: AND 00000bac: CALLER 00000bad: EQ 00000bae: PUSH2 0x0bc9 00000bb1: JUMPI 00000bb2: PUSH1 0x40 00000bb4: MLOAD 00000bb5: PUSH3 0x461bcd 00000bb9: PUSH1 0xe5 00000bbb: SHL 00000bbc: DUP2 00000bbd: MSTORE 00000bbe: PUSH1 0x04 00000bc0: ADD 00000bc1: PUSH2 0x0b56 00000bc4: SWAP1 00000bc5: PUSH2 0x11fa 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: SLOAD 00000bce: PUSH1 0x01 00000bd0: PUSH1 0x01 00000bd2: PUSH1 0xa0 00000bd4: SHL 00000bd5: SUB 00000bd6: NOT 00000bd7: AND 00000bd8: PUSH1 0x01 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: SHL 00000bdf: SUB 00000be0: SWAP3 00000be1: SWAP1 00000be2: SWAP3 00000be3: AND 00000be4: SWAP2 00000be5: SWAP1 00000be6: SWAP2 00000be7: OR 00000be8: SWAP1 00000be9: SSTORE 00000bea: JUMP 00000beb: JUMPDEST 00000bec: CALLER 00000bed: PUSH1 0x00 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x02 00000bf4: PUSH1 0x20 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: DUP2 00000bfa: KECCAK256 00000bfb: DUP1 00000bfc: SLOAD 00000bfd: DUP4 00000bfe: SWAP2 00000bff: SWAP1 00000c00: DUP4 00000c01: SWAP1 00000c02: PUSH2 0x0c0c 00000c05: SWAP1 00000c06: DUP5 00000c07: SWAP1 00000c08: PUSH2 0x11a2 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: SWAP1 00000c0e: SWAP2 00000c0f: SSTORE 00000c10: POP 00000c11: POP 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP4 00000c1b: AND 00000c1c: PUSH1 0x00 00000c1e: SWAP1 00000c1f: DUP2 00000c20: MSTORE 00000c21: PUSH1 0x02 00000c23: PUSH1 0x20 00000c25: MSTORE 00000c26: PUSH1 0x40 00000c28: DUP2 00000c29: KECCAK256 00000c2a: DUP1 00000c2b: SLOAD 00000c2c: DUP5 00000c2d: SWAP3 00000c2e: SWAP1 00000c2f: PUSH2 0x0c39 00000c32: SWAP1 00000c33: DUP5 00000c34: SWAP1 00000c35: PUSH2 0x0f95 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: SWAP1 00000c3b: SWAP2 00000c3c: SSTORE 00000c3d: POP 00000c3e: POP 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: DUP3 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: DUP5 00000c4e: AND 00000c4f: SWAP1 00000c50: CALLER 00000c51: SWAP1 00000c52: PUSH1 0x00 00000c54: DUP1 00000c55: MLOAD 00000c56: PUSH1 0x20 00000c58: PUSH2 0x123e 00000c5b: DUP4 00000c5c: CODECOPY 00000c5d: DUP2 00000c5e: MLOAD 00000c5f: SWAP2 00000c60: MSTORE 00000c61: SWAP1 00000c62: PUSH1 0x20 00000c64: ADD 00000c65: PUSH2 0x0803 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x01 00000c6c: PUSH1 0x06 00000c6e: SLOAD 00000c6f: PUSH2 0x0100 00000c72: SWAP1 00000c73: DIV 00000c74: PUSH1 0xff 00000c76: AND 00000c77: PUSH1 0x02 00000c79: DUP2 00000c7a: GT 00000c7b: ISZERO 00000c7c: PUSH2 0x0c87 00000c7f: JUMPI 00000c80: PUSH2 0x0c87 00000c83: PUSH2 0x0f69 00000c86: JUMP 00000c87: JUMPDEST 00000c88: EQ 00000c89: PUSH2 0x0c91 00000c8c: JUMPI 00000c8d: PUSH1 0x00 00000c8f: DUP1 00000c90: REVERT 00000c91: JUMPDEST 00000c92: CALLER 00000c93: PUSH1 0x00 00000c95: DUP2 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x02 00000c9a: PUSH1 0x20 00000c9c: SWAP1 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x40 00000ca1: DUP1 00000ca2: DUP4 00000ca3: KECCAK256 00000ca4: SLOAD 00000ca5: SWAP1 00000ca6: MLOAD 00000ca7: DUP2 00000ca8: DUP2 00000ca9: MSTORE 00000caa: SWAP1 00000cab: SWAP4 00000cac: SWAP2 00000cad: PUSH1 0x00 00000caf: DUP1 00000cb0: MLOAD 00000cb1: PUSH1 0x20 00000cb3: PUSH2 0x123e 00000cb6: DUP4 00000cb7: CODECOPY 00000cb8: DUP2 00000cb9: MLOAD 00000cba: SWAP2 00000cbb: MSTORE 00000cbc: SWAP2 00000cbd: ADD 00000cbe: PUSH1 0x40 00000cc0: MLOAD 00000cc1: DUP1 00000cc2: SWAP2 00000cc3: SUB 00000cc4: SWAP1 00000cc5: LOG3 00000cc6: DUP1 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0x00 00000ccb: DUP3 00000ccc: DUP3 00000ccd: SLOAD 00000cce: PUSH2 0x0cd7 00000cd1: SWAP2 00000cd2: SWAP1 00000cd3: PUSH2 0x11a2 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: SWAP1 00000cd9: SWAP2 00000cda: SSTORE 00000cdb: POP 00000cdc: POP 00000cdd: CALLER 00000cde: PUSH1 0x00 00000ce0: DUP2 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x02 00000ce5: PUSH1 0x20 00000ce7: MSTORE 00000ce8: PUSH1 0x40 00000cea: DUP1 00000ceb: DUP3 00000cec: KECCAK256 00000ced: DUP3 00000cee: SWAP1 00000cef: SSTORE 00000cf0: MLOAD 00000cf1: DUP4 00000cf2: ISZERO 00000cf3: PUSH2 0x08fc 00000cf6: MUL 00000cf7: SWAP2 00000cf8: DUP5 00000cf9: SWAP2 00000cfa: SWAP1 00000cfb: DUP2 00000cfc: DUP2 00000cfd: DUP2 00000cfe: DUP6 00000cff: DUP9 00000d00: DUP9 00000d01: CALL 00000d02: SWAP4 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: ISZERO 00000d08: DUP1 00000d09: ISZERO 00000d0a: PUSH2 0x0b1b 00000d0d: JUMPI 00000d0e: RETURNDATASIZE 00000d0f: PUSH1 0x00 00000d11: DUP1 00000d12: RETURNDATACOPY 00000d13: RETURNDATASIZE 00000d14: PUSH1 0x00 00000d16: REVERT 00000d17: JUMPDEST 00000d18: PUSH1 0x00 00000d1a: SLOAD 00000d1b: PUSH1 0x01 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0xa0 00000d21: SHL 00000d22: SUB 00000d23: AND 00000d24: CALLER 00000d25: EQ 00000d26: PUSH2 0x0d41 00000d29: JUMPI 00000d2a: PUSH1 0x40 00000d2c: MLOAD 00000d2d: PUSH3 0x461bcd 00000d31: PUSH1 0xe5 00000d33: SHL 00000d34: DUP2 00000d35: MSTORE 00000d36: PUSH1 0x04 00000d38: ADD 00000d39: PUSH2 0x0b56 00000d3c: SWAP1 00000d3d: PUSH2 0x11fa 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: PUSH1 0x06 00000d46: SLOAD 00000d47: PUSH2 0x0100 00000d4a: SWAP1 00000d4b: DIV 00000d4c: PUSH1 0xff 00000d4e: AND 00000d4f: PUSH1 0x02 00000d51: DUP2 00000d52: GT 00000d53: ISZERO 00000d54: PUSH2 0x0d5f 00000d57: JUMPI 00000d58: PUSH2 0x0d5f 00000d5b: PUSH2 0x0f69 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: EQ 00000d61: PUSH2 0x0705 00000d64: JUMPI 00000d65: PUSH1 0x00 00000d67: DUP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: PUSH1 0x00 00000d6c: SLOAD 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0x01 00000d71: PUSH1 0xa0 00000d73: SHL 00000d74: SUB 00000d75: AND 00000d76: CALLER 00000d77: EQ 00000d78: PUSH2 0x0d93 00000d7b: JUMPI 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: PUSH3 0x461bcd 00000d83: PUSH1 0xe5 00000d85: SHL 00000d86: DUP2 00000d87: MSTORE 00000d88: PUSH1 0x04 00000d8a: ADD 00000d8b: PUSH2 0x0b56 00000d8e: SWAP1 00000d8f: PUSH2 0x11fa 00000d92: JUMP 00000d93: JUMPDEST 00000d94: PUSH1 0x01 00000d96: PUSH1 0x06 00000d98: SLOAD 00000d99: PUSH2 0x0100 00000d9c: SWAP1 00000d9d: DIV 00000d9e: PUSH1 0xff 00000da0: AND 00000da1: PUSH1 0x02 00000da3: DUP2 00000da4: GT 00000da5: ISZERO 00000da6: PUSH2 0x0db1 00000da9: JUMPI 00000daa: PUSH2 0x0db1 00000dad: PUSH2 0x0f69 00000db0: JUMP 00000db1: JUMPDEST 00000db2: EQ 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: PUSH3 0x83d600 00000dc0: PUSH1 0x08 00000dc2: SLOAD 00000dc3: PUSH2 0x0dcc 00000dc6: SWAP2 00000dc7: SWAP1 00000dc8: PUSH2 0x0f95 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: TIMESTAMP 00000dce: GT 00000dcf: PUSH2 0x0dd7 00000dd2: JUMPI 00000dd3: PUSH1 0x00 00000dd5: DUP1 00000dd6: REVERT 00000dd7: JUMPDEST 00000dd8: PUSH1 0x00 00000dda: DUP1 00000ddb: SLOAD 00000ddc: PUSH1 0x40 00000dde: MLOAD 00000ddf: PUSH1 0x01 00000de1: PUSH1 0x01 00000de3: PUSH1 0xa0 00000de5: SHL 00000de6: SUB 00000de7: SWAP1 00000de8: SWAP2 00000de9: AND 00000dea: SWAP2 00000deb: SELFBALANCE 00000dec: DUP1 00000ded: ISZERO 00000dee: PUSH2 0x08fc 00000df1: MUL 00000df2: SWAP3 00000df3: SWAP1 00000df4: SWAP2 00000df5: DUP2 00000df6: DUP2 00000df7: DUP2 00000df8: DUP6 00000df9: DUP9 00000dfa: DUP9 00000dfb: CALL 00000dfc: SWAP4 00000dfd: POP 00000dfe: POP 00000dff: POP 00000e00: POP 00000e01: ISZERO 00000e02: DUP1 00000e03: ISZERO 00000e04: PUSH2 0x0e11 00000e07: JUMPI 00000e08: RETURNDATASIZE 00000e09: PUSH1 0x00 00000e0b: DUP1 00000e0c: RETURNDATACOPY 00000e0d: RETURNDATASIZE 00000e0e: PUSH1 0x00 00000e10: REVERT 00000e11: JUMPDEST 00000e12: POP 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH1 0x00 00000e17: PUSH1 0x0c 00000e19: DUP5 00000e1a: DUP2 00000e1b: SLOAD 00000e1c: DUP2 00000e1d: LT 00000e1e: PUSH2 0x0e29 00000e21: JUMPI 00000e22: PUSH2 0x0e29 00000e25: PUSH2 0x1227 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: PUSH1 0x00 00000e2c: SWAP2 00000e2d: DUP3 00000e2e: MSTORE 00000e2f: PUSH1 0x20 00000e31: SWAP1 00000e32: SWAP2 00000e33: KECCAK256 00000e34: PUSH1 0x04 00000e36: SWAP1 00000e37: SWAP2 00000e38: MUL 00000e39: ADD 00000e3a: SWAP1 00000e3b: POP 00000e3c: PUSH1 0x02 00000e3e: PUSH1 0x06 00000e40: SLOAD 00000e41: PUSH2 0x0100 00000e44: SWAP1 00000e45: DIV 00000e46: PUSH1 0xff 00000e48: AND 00000e49: PUSH1 0x02 00000e4b: DUP2 00000e4c: GT 00000e4d: ISZERO 00000e4e: PUSH2 0x0e59 00000e51: JUMPI 00000e52: PUSH2 0x0e59 00000e55: PUSH2 0x0f69 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: EQ 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: PUSH3 0x83d600 00000e68: PUSH1 0x07 00000e6a: SLOAD 00000e6b: PUSH2 0x0e74 00000e6e: SWAP2 00000e6f: SWAP1 00000e70: PUSH2 0x0f95 00000e73: JUMP 00000e74: JUMPDEST 00000e75: TIMESTAMP 00000e76: LT 00000e77: PUSH2 0x0e7f 00000e7a: JUMPI 00000e7b: PUSH1 0x00 00000e7d: DUP1 00000e7e: REVERT 00000e7f: JUMPDEST 00000e80: PUSH1 0x03 00000e82: DUP2 00000e83: ADD 00000e84: SLOAD 00000e85: PUSH1 0x40 00000e87: DUP1 00000e88: MLOAD 00000e89: PUSH1 0x20 00000e8b: DUP2 00000e8c: ADD 00000e8d: DUP7 00000e8e: SWAP1 00000e8f: MSTORE 00000e90: SWAP1 00000e91: DUP2 00000e92: ADD 00000e93: DUP5 00000e94: SWAP1 00000e95: MSTORE 00000e96: PUSH1 0x60 00000e98: ADD 00000e99: PUSH1 0x40 00000e9b: MLOAD 00000e9c: PUSH1 0x20 00000e9e: DUP2 00000e9f: DUP4 00000ea0: SUB 00000ea1: SUB 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: SWAP1 00000ea5: PUSH1 0x40 00000ea7: MSTORE 00000ea8: DUP1 00000ea9: MLOAD 00000eaa: SWAP1 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: KECCAK256 00000eaf: EQ 00000eb0: PUSH2 0x0eb8 00000eb3: JUMPI 00000eb4: PUSH1 0x00 00000eb6: DUP1 00000eb7: REVERT 00000eb8: JUMPDEST 00000eb9: PUSH2 0xa8c0 00000ebc: PUSH1 0x07 00000ebe: SLOAD 00000ebf: PUSH2 0x0ec8 00000ec2: SWAP2 00000ec3: SWAP1 00000ec4: PUSH2 0x11a2 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: DUP2 00000eca: PUSH1 0x02 00000ecc: ADD 00000ecd: SLOAD 00000ece: LT 00000ecf: PUSH2 0x0ed7 00000ed2: JUMPI 00000ed3: PUSH1 0x00 00000ed5: DUP1 00000ed6: REVERT 00000ed7: JUMPDEST 00000ed8: PUSH3 0x01fa40 00000edc: PUSH1 0x07 00000ede: SLOAD 00000edf: PUSH2 0x0ee8 00000ee2: SWAP2 00000ee3: SWAP1 00000ee4: PUSH2 0x11a2 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: DUP4 00000eea: GT 00000eeb: DUP1 00000eec: ISZERO 00000eed: PUSH2 0x0f05 00000ef0: JUMPI 00000ef1: POP 00000ef2: PUSH3 0x01fa40 00000ef6: PUSH1 0x07 00000ef8: SLOAD 00000ef9: PUSH2 0x0f02 00000efc: SWAP2 00000efd: SWAP1 00000efe: PUSH2 0x0f95 00000f01: JUMP 00000f02: JUMPDEST 00000f03: DUP4 00000f04: LT 00000f05: JUMPDEST 00000f06: PUSH2 0x0f0e 00000f09: JUMPI 00000f0a: PUSH1 0x00 00000f0c: DUP1 00000f0d: REVERT 00000f0e: JUMPDEST 00000f0f: DUP1 00000f10: PUSH1 0x01 00000f12: ADD 00000f13: SLOAD 00000f14: PUSH1 0x09 00000f16: PUSH1 0x00 00000f18: DUP3 00000f19: DUP3 00000f1a: SLOAD 00000f1b: PUSH2 0x0f24 00000f1e: SWAP2 00000f1f: SWAP1 00000f20: PUSH2 0x0f95 00000f23: JUMP 00000f24: JUMPDEST 00000f25: SWAP1 00000f26: SWAP2 00000f27: SSTORE 00000f28: POP 00000f29: POP 00000f2a: PUSH1 0x01 00000f2c: DUP2 00000f2d: ADD 00000f2e: SLOAD 00000f2f: DUP2 00000f30: SLOAD 00000f31: PUSH1 0x01 00000f33: PUSH1 0x01 00000f35: PUSH1 0xa0 00000f37: SHL 00000f38: SUB 00000f39: AND 00000f3a: PUSH1 0x00 00000f3c: SWAP1 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x0a 00000f41: PUSH1 0x20 00000f43: MSTORE 00000f44: PUSH1 0x40 00000f46: DUP2 00000f47: KECCAK256 00000f48: DUP1 00000f49: SLOAD 00000f4a: SWAP1 00000f4b: SWAP2 00000f4c: SWAP1 00000f4d: PUSH2 0x0f57 00000f50: SWAP1 00000f51: DUP5 00000f52: SWAP1 00000f53: PUSH2 0x0f95 00000f56: JUMP 00000f57: JUMPDEST 00000f58: SWAP1 00000f59: SWAP2 00000f5a: SSTORE 00000f5b: POP 00000f5c: POP 00000f5d: PUSH1 0x00 00000f5f: PUSH1 0x01 00000f61: SWAP1 00000f62: SWAP2 00000f63: ADD 00000f64: SSTORE 00000f65: POP 00000f66: POP 00000f67: POP 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH4 0x4e487b71 00000f6f: PUSH1 0xe0 00000f71: SHL 00000f72: PUSH1 0x00 00000f74: MSTORE 00000f75: PUSH1 0x21 00000f77: PUSH1 0x04 00000f79: MSTORE 00000f7a: PUSH1 0x24 00000f7c: PUSH1 0x00 00000f7e: REVERT 00000f7f: JUMPDEST 00000f80: PUSH4 0x4e487b71 00000f85: PUSH1 0xe0 00000f87: SHL 00000f88: PUSH1 0x00 00000f8a: MSTORE 00000f8b: PUSH1 0x11 00000f8d: PUSH1 0x04 00000f8f: MSTORE 00000f90: PUSH1 0x24 00000f92: PUSH1 0x00 00000f94: REVERT 00000f95: JUMPDEST 00000f96: PUSH1 0x00 00000f98: DUP3 00000f99: NOT 00000f9a: DUP3 00000f9b: GT 00000f9c: ISZERO 00000f9d: PUSH2 0x0fa8 00000fa0: JUMPI 00000fa1: PUSH2 0x0fa8 00000fa4: PUSH2 0x0f7f 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: POP 00000faa: ADD 00000fab: SWAP1 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x00 00000fb0: PUSH1 0x20 00000fb2: DUP3 00000fb3: DUP5 00000fb4: SUB 00000fb5: SLT 00000fb6: ISZERO 00000fb7: PUSH2 0x0fbf 00000fba: JUMPI 00000fbb: PUSH1 0x00 00000fbd: DUP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: POP 00000fc1: CALLDATALOAD 00000fc2: SWAP2 00000fc3: SWAP1 00000fc4: POP 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x00 00000fc9: PUSH1 0x20 00000fcb: DUP1 00000fcc: DUP4 00000fcd: MSTORE 00000fce: DUP4 00000fcf: MLOAD 00000fd0: DUP1 00000fd1: DUP3 00000fd2: DUP6 00000fd3: ADD 00000fd4: MSTORE 00000fd5: PUSH1 0x00 00000fd7: JUMPDEST 00000fd8: DUP2 00000fd9: DUP2 00000fda: LT 00000fdb: ISZERO 00000fdc: PUSH2 0x0ff3 00000fdf: JUMPI 00000fe0: DUP6 00000fe1: DUP2 00000fe2: ADD 00000fe3: DUP4 00000fe4: ADD 00000fe5: MLOAD 00000fe6: DUP6 00000fe7: DUP3 00000fe8: ADD 00000fe9: PUSH1 0x40 00000feb: ADD 00000fec: MSTORE 00000fed: DUP3 00000fee: ADD 00000fef: PUSH2 0x0fd7 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: DUP2 00000ff5: DUP2 00000ff6: GT 00000ff7: ISZERO 00000ff8: PUSH2 0x1005 00000ffb: JUMPI 00000ffc: PUSH1 0x00 00000ffe: PUSH1 0x40 00001000: DUP4 00001001: DUP8 00001002: ADD 00001003: ADD 00001004: MSTORE 00001005: JUMPDEST 00001006: POP 00001007: PUSH1 0x1f 00001009: ADD 0000100a: PUSH1 0x1f 0000100c: NOT 0000100d: AND 0000100e: SWAP3 0000100f: SWAP1 00001010: SWAP3 00001011: ADD 00001012: PUSH1 0x40 00001014: ADD 00001015: SWAP4 00001016: SWAP3 00001017: POP 00001018: POP 00001019: POP 0000101a: JUMP 0000101b: JUMPDEST 0000101c: DUP1 0000101d: CALLDATALOAD 0000101e: PUSH1 0x01 00001020: PUSH1 0x01 00001022: PUSH1 0xa0 00001024: SHL 00001025: SUB 00001026: DUP2 00001027: AND 00001028: DUP2 00001029: EQ 0000102a: PUSH2 0x1032 0000102d: JUMPI 0000102e: PUSH1 0x00 00001030: DUP1 00001031: REVERT 00001032: JUMPDEST 00001033: SWAP2 00001034: SWAP1 00001035: POP 00001036: JUMP 00001037: JUMPDEST 00001038: PUSH1 0x00 0000103a: DUP1 0000103b: PUSH1 0x40 0000103d: DUP4 0000103e: DUP6 0000103f: SUB 00001040: SLT 00001041: ISZERO 00001042: PUSH2 0x104a 00001045: JUMPI 00001046: PUSH1 0x00 00001048: DUP1 00001049: REVERT 0000104a: JUMPDEST 0000104b: PUSH2 0x1053 0000104e: DUP4 0000104f: PUSH2 0x101b 00001052: JUMP 00001053: JUMPDEST 00001054: SWAP5 00001055: PUSH1 0x20 00001057: SWAP4 00001058: SWAP1 00001059: SWAP4 0000105a: ADD 0000105b: CALLDATALOAD 0000105c: SWAP4 0000105d: POP 0000105e: POP 0000105f: POP 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH1 0x00 00001064: DUP1 00001065: PUSH1 0x00 00001067: PUSH1 0x60 00001069: DUP5 0000106a: DUP7 0000106b: SUB 0000106c: SLT 0000106d: ISZERO 0000106e: PUSH2 0x1076 00001071: JUMPI 00001072: PUSH1 0x00 00001074: DUP1 00001075: REVERT 00001076: JUMPDEST 00001077: PUSH2 0x107f 0000107a: DUP5 0000107b: PUSH2 0x101b 0000107e: JUMP 0000107f: JUMPDEST 00001080: SWAP3 00001081: POP 00001082: PUSH2 0x108d 00001085: PUSH1 0x20 00001087: DUP6 00001088: ADD 00001089: PUSH2 0x101b 0000108c: JUMP 0000108d: JUMPDEST 0000108e: SWAP2 0000108f: POP 00001090: PUSH1 0x40 00001092: DUP5 00001093: ADD 00001094: CALLDATALOAD 00001095: SWAP1 00001096: POP 00001097: SWAP3 00001098: POP 00001099: SWAP3 0000109a: POP 0000109b: SWAP3 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH1 0x00 000010a0: PUSH1 0x20 000010a2: DUP3 000010a3: DUP5 000010a4: SUB 000010a5: SLT 000010a6: ISZERO 000010a7: PUSH2 0x10af 000010aa: JUMPI 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: REVERT 000010af: JUMPDEST 000010b0: PUSH2 0x10b8 000010b3: DUP3 000010b4: PUSH2 0x101b 000010b7: JUMP 000010b8: JUMPDEST 000010b9: SWAP4 000010ba: SWAP3 000010bb: POP 000010bc: POP 000010bd: POP 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH1 0x00 000010c2: DUP1 000010c3: PUSH1 0x40 000010c5: DUP4 000010c6: DUP6 000010c7: SUB 000010c8: SLT 000010c9: ISZERO 000010ca: PUSH2 0x10d2 000010cd: JUMPI 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: REVERT 000010d2: JUMPDEST 000010d3: POP 000010d4: POP 000010d5: DUP1 000010d6: CALLDATALOAD 000010d7: SWAP3 000010d8: PUSH1 0x20 000010da: SWAP1 000010db: SWAP2 000010dc: ADD 000010dd: CALLDATALOAD 000010de: SWAP2 000010df: POP 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH1 0x20 000010e4: DUP2 000010e5: ADD 000010e6: PUSH1 0x03 000010e8: DUP4 000010e9: LT 000010ea: PUSH2 0x1103 000010ed: JUMPI 000010ee: PUSH4 0x4e487b71 000010f3: PUSH1 0xe0 000010f5: SHL 000010f6: PUSH1 0x00 000010f8: MSTORE 000010f9: PUSH1 0x21 000010fb: PUSH1 0x04 000010fd: MSTORE 000010fe: PUSH1 0x24 00001100: PUSH1 0x00 00001102: REVERT 00001103: JUMPDEST 00001104: SWAP2 00001105: SWAP1 00001106: MSTORE 00001107: SWAP1 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH1 0x00 0000110c: DUP1 0000110d: PUSH1 0x40 0000110f: DUP4 00001110: DUP6 00001111: SUB 00001112: SLT 00001113: ISZERO 00001114: PUSH2 0x111c 00001117: JUMPI 00001118: PUSH1 0x00 0000111a: DUP1 0000111b: REVERT 0000111c: JUMPDEST 0000111d: PUSH2 0x1125 00001120: DUP4 00001121: PUSH2 0x101b 00001124: JUMP 00001125: JUMPDEST 00001126: SWAP2 00001127: POP 00001128: PUSH2 0x1133 0000112b: PUSH1 0x20 0000112d: DUP5 0000112e: ADD 0000112f: PUSH2 0x101b 00001132: JUMP 00001133: JUMPDEST 00001134: SWAP1 00001135: POP 00001136: SWAP3 00001137: POP 00001138: SWAP3 00001139: SWAP1 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x00 0000113f: DUP1 00001140: PUSH1 0x00 00001142: PUSH1 0x60 00001144: DUP5 00001145: DUP7 00001146: SUB 00001147: SLT 00001148: ISZERO 00001149: PUSH2 0x1151 0000114c: JUMPI 0000114d: PUSH1 0x00 0000114f: DUP1 00001150: REVERT 00001151: JUMPDEST 00001152: POP 00001153: POP 00001154: DUP2 00001155: CALLDATALOAD 00001156: SWAP4 00001157: PUSH1 0x20 00001159: DUP4 0000115a: ADD 0000115b: CALLDATALOAD 0000115c: SWAP4 0000115d: POP 0000115e: PUSH1 0x40 00001160: SWAP1 00001161: SWAP3 00001162: ADD 00001163: CALLDATALOAD 00001164: SWAP2 00001165: SWAP1 00001166: POP 00001167: JUMP 00001168: JUMPDEST 00001169: PUSH1 0x01 0000116b: DUP2 0000116c: DUP2 0000116d: SHR 0000116e: SWAP1 0000116f: DUP3 00001170: AND 00001171: DUP1 00001172: PUSH2 0x117c 00001175: JUMPI 00001176: PUSH1 0x7f 00001178: DUP3 00001179: AND 0000117a: SWAP2 0000117b: POP 0000117c: JUMPDEST 0000117d: PUSH1 0x20 0000117f: DUP3 00001180: LT 00001181: DUP2 00001182: SUB 00001183: PUSH2 0x119c 00001186: JUMPI 00001187: PUSH4 0x4e487b71 0000118c: PUSH1 0xe0 0000118e: SHL 0000118f: PUSH1 0x00 00001191: MSTORE 00001192: PUSH1 0x22 00001194: PUSH1 0x04 00001196: MSTORE 00001197: PUSH1 0x24 00001199: PUSH1 0x00 0000119b: REVERT 0000119c: JUMPDEST 0000119d: POP 0000119e: SWAP2 0000119f: SWAP1 000011a0: POP 000011a1: JUMP 000011a2: JUMPDEST 000011a3: PUSH1 0x00 000011a5: DUP3 000011a6: DUP3 000011a7: LT 000011a8: ISZERO 000011a9: PUSH2 0x11b4 000011ac: JUMPI 000011ad: PUSH2 0x11b4 000011b0: PUSH2 0x0f7f 000011b3: JUMP 000011b4: JUMPDEST 000011b5: POP 000011b6: SUB 000011b7: SWAP1 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x00 000011bc: DUP2 000011bd: PUSH1 0x00 000011bf: NOT 000011c0: DIV 000011c1: DUP4 000011c2: GT 000011c3: DUP3 000011c4: ISZERO 000011c5: ISZERO 000011c6: AND 000011c7: ISZERO 000011c8: PUSH2 0x11d3 000011cb: JUMPI 000011cc: PUSH2 0x11d3 000011cf: PUSH2 0x0f7f 000011d2: JUMP 000011d3: JUMPDEST 000011d4: POP 000011d5: MUL 000011d6: SWAP1 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: DUP3 000011dc: PUSH2 0x11f5 000011df: JUMPI 000011e0: PUSH4 0x4e487b71 000011e5: PUSH1 0xe0 000011e7: SHL 000011e8: PUSH1 0x00 000011ea: MSTORE 000011eb: PUSH1 0x12 000011ed: PUSH1 0x04 000011ef: MSTORE 000011f0: PUSH1 0x24 000011f2: PUSH1 0x00 000011f4: REVERT 000011f5: JUMPDEST 000011f6: POP 000011f7: DIV 000011f8: SWAP1 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH1 0x20 000011fd: DUP1 000011fe: DUP3 000011ff: MSTORE 00001200: PUSH1 0x13 00001202: SWAP1 00001203: DUP3 00001204: ADD 00001205: MSTORE 00001206: PUSH19 0x21b0b63632b91034b9903737ba1037bbb732b9 0000121a: PUSH1 0x69 0000121c: SHL 0000121d: PUSH1 0x40 0000121f: DUP3 00001220: ADD 00001221: MSTORE 00001222: PUSH1 0x60 00001224: ADD 00001225: SWAP1 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH4 0x4e487b71 0000122d: PUSH1 0xe0 0000122f: SHL 00001230: PUSH1 0x00 00001232: MSTORE 00001233: PUSH1 0x32 00001235: PUSH1 0x04 00001237: MSTORE 00001238: PUSH1 0x24 0000123a: PUSH1 0x00 0000123c: REVERT 0000123d: INVALID 0000123e: UNKNOWN(0xDD) 0000123f: CALLCODE 00001240: MSTORE 00001241: UNKNOWN(0xAD) 00001242: SHL 00001243: UNKNOWN(0xE2) 00001244: UNKNOWN(0xC8) 00001245: SWAP12 00001246: PUSH10 0xc2b068fc378daa952ba7 00001251: CALL 00001252: PUSH4 0xc4a11628 00001257: CREATE2 00001258: GAS 00001259: UNKNOWN(0x4D) 0000125a: CREATE2 0000125b: UNKNOWN(0x23) 0000125c: UNKNOWN(0xB3) 0000125d: UNKNOWN(0xEF) 0000125e: LOG2 0000125f: PUSH5 0x6970667358 00001265: UNKNOWN(0x22) 00001266: SLT 00001267: KECCAK256 00001268: CALLDATACOPY 00001269: JUMPDEST 0000126a: UNKNOWN(0x4C) 0000126b: UNKNOWN(0xB3) 0000126c: UNKNOWN(0xBC) 0000126d: LOG0 0000126e: UNKNOWN(0x4B) 0000126f: UNKNOWN(0xB7) 00001270: EXTCODEHASH 00001271: UNKNOWN(0x29) 00001272: PUSH3 0xdb189d 00001276: EXTCODECOPY 00001277: MLOAD 00001278: DUP9 00001279: UNKNOWN(0xA6) 0000127a: UNKNOWN(0xD8) 0000127b: CODECOPY 0000127c: UNKNOWN(0xE3) 0000127d: MSTORE8 0000127e: UNKNOWN(0xA9) 0000127f: UNKNOWN(0xD3) 00001280: DUP10 00001281: DUP5 00001282: SWAP8 00001283: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336
call_targets:
0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99"
],
"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": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2821,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336
call_targets:
0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99"
],
"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": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2821,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x0ed1f6c82becccf617b683b5557714b098c3e7abd186ff5bfc0cb03b0875d11f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x0ed1f6c82becccf617b683b5557714b098c3e7abd186ff5bfc0cb03b0875d11f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 2
}
|