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

Analysis Run

16d0a40b-f5cd-4450-91a7-95e14c8b68d9

failed
Chain ID
1
Address
0xbc4191167d4b0251cab5201a527daa8a7d3846b0
Block Number
—
Created
Sun, Jan 4, 2026 5:45 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
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31570 report.consolidate complete 1 / 1 3 months ago
78047 artifact.fetch failed 1 / 3 2 weeks ago
78048 tool.cast_disasm complete 1 / 3 2 weeks ago
78049 analysis.bundle complete 1 / 3 2 weeks ago
78050 capability.graph complete 1 / 3 2 weeks ago
78051 detector.run complete 1 / 3 2 weeks ago
78052 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable paths to extract ETH/tokens found in AUDIT_BUNDLE.txt.
View stderr 
[codex:308698] OpenAI Codex v0.77.0 (research preview)
[codex:308698] --------
[codex:308698] workdir: /tmp/codex-multi-84if6je4
[codex:308698] model: gpt-5.2-codex
[codex:308698] provider: openai
[codex:308698] approval: never
[codex:308698] sandbox: read-only
[codex:308698] reasoning effort: xhigh
[codex:308698] reasoning summaries: auto
[codex:308698] session id: 019b8784-e599-71e3-9f46-04964122c995
[codex:308698] --------
[codex:308698] user
[codex:308698] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:308698] 
[codex:308698] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:308698] 
[codex:308698] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:308698] - Gas inefficiency, code quality, naming, or best practices
[codex:308698] - Theoretical vulnerabilities without a clear extraction path
[codex:308698] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:308698] - Front-running unless it enables theft beyond MEV
[codex:308698] - DoS, griefing, or issues that don't result in attacker profit
[codex:308698] - Missing events, view function issues, or informational findings
[codex:308698] 
[codex:308698] HIGH-VALUE PATTERNS TO HUNT:
[codex:308698] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:308698] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:308698] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:308698] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:308698] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:308698] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:308698] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:308698] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:308698] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:308698] 
[codex:308698] For each finding, you MUST provide:
[codex:308698] 1. Exact file and line numbers of vulnerable code
[codex:308698] 2. Step-by-step exploit transaction sequence
[codex:308698] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:308698] 
[codex:308698] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:308698] 
[codex:308698] Output MUST be valid JSON matching the provided schema.
[codex:308698] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:308698] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:308698] mcp startup: no servers
[codex:308698] 
[codex:308698] thinking
[codex:308698] **Reading AUDIT_BUNDLE.txt contents**
[codex:308698] exec
[codex:308698] /bin/bash -lc ls in /tmp/codex-multi-84if6je4 succeeded in 5ms:
[codex:308698] AUDIT_BUNDLE.txt
[codex:308698] codex-output-schema.json
[codex:308698] contracts
[codex:308698] exec
[codex:308698] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-84if6je4 succeeded in 5ms:
[codex:308698] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:308698] 
[codex:308698] ================================================================================
[codex:308698] FILE: contracts/Contract.sol
[codex:308698] ================================================================================
[codex:308698] pragma solidity ^0.4.25;
[codex:308698] 
[codex:308698] /**
[codex:308698]  * @title SafeMath
[codex:308698]  * @dev Math operations with safety checks that revert on error
[codex:308698]  */
[codex:308698] library SafeMath {
[codex:308698] 
[codex:308698]   /**
[codex:308698]   * @dev Multiplies two numbers, reverts on overflow.
[codex:308698]   */
[codex:308698]   function mul(uint256 _a, uint256 _b) internal pure returns (uint256) {
[codex:308698]     // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
[codex:308698]     // benefit is lost if 'b' is also tested.
[codex:308698]     // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
[codex:308698] 
[codex:308698] 
[codex:308698] 
[codex:308698] 
[codex:308698] thinking
[codex:308698] **Analyzing dividend accounting vulnerability**
[codex:308698] thinking
[codex:308698] **Evaluating dividend calculation and reentrancy edge cases**
[codex:308698] 
[codex:308698] I’m analyzing whether the dividend system properly sets last dividend points to prevent claiming past payouts and checking risks like reentrancy from token transfers or fallback calls. While the accounting seems safe—updateAccount updates last points before adding to the list—I’m curious if subtle timing or external call behaviors could be exploited to claim extra dividends or cause transaction reverts by draining balances. Let’s continue exploring these nuanced possibilities!
[codex:308698] thinking
[codex:308698] **Examining token interactions and rounding nuances**
[codex:308698] 
[codex:308698] I’m digging into how token transfers without checked return values and potential reentrancy from token callbacks might affect dividends and withdrawals. There’s also interesting behavior with rounding in fee distributions, plus subtle impacts if the “randomAddr” for fees matches the sender, letting them recoup a bit more. These details might open minor edge cases or inefficiencies worth exploring further!
[codex:308698] thinking
[codex:308698] **Verifying fee calculations and list management consistency**
[codex:308698] 
[codex:308698] I’m carefully checking how deposit and withdrawal fees interact with the list membership flags and total contribution tracking. It looks like updateAccount is consistently called before contributions change, preventing dividend misallocations. The fee rounding and balance updates appear consistent, and no clear profit exploit emerges from multiple list additions or timing edge cases. It’s good to confirm the accounting holds up under various scenarios!
[codex:308698] exec
[codex:308698] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-84if6je4 succeeded in 15ms:
[codex:308698] contracts/Contract.sol
[codex:308698] 
[codex:308698] 
[codex:308698] thinking
[codex:308698] **Evaluating potential reentrancy and overflow risks**
[codex:308698] thinking
[codex:308698] **Preparing final JSON response**
[codex:308698] codex
[codex:308698] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens found in AUDIT_BUNDLE.txt.","findings":[]}
[codex:308698] tokens used
[codex:308698] 21,818
[codex:308698] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens found in AUDIT_BUNDLE.txt.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T05:45:03.306879+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens found in AUDIT_BUNDLE.txt.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens found in AUDIT_BUNDLE.txt.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
7
Total opcodes
4222
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0174
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x03e1001e
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x02ef
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0aa8bfe7
00000046: EQ
00000047: PUSH2 0x0322
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0bb4e6f4
00000051: EQ
00000052: PUSH2 0x0337
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1080b7b1
0000005c: EQ
0000005d: PUSH2 0x034c
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x10d979f6
00000067: EQ
00000068: PUSH2 0x036d
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x1288a8e9
00000072: EQ
00000073: PUSH2 0x038e
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x1703b7fd
0000007d: EQ
0000007e: PUSH2 0x03af
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x24e5dacd
00000088: EQ
00000089: PUSH2 0x03d0
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x2db78d93
00000093: EQ
00000094: PUSH2 0x03f1
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x4b1cdc2d
0000009e: EQ
0000009f: PUSH2 0x0412
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x4e52622b
000000a9: EQ
000000aa: PUSH2 0x0433
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x5c7ae6e3
000000b4: EQ
000000b5: PUSH2 0x0454
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x66168bd7
000000bf: EQ
000000c0: PUSH2 0x0475
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x740b4b60
000000ca: EQ
000000cb: PUSH2 0x049b
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x8a561f37
000000d5: EQ
000000d6: PUSH2 0x04d0
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8da5cb5b
000000e0: EQ
000000e1: PUSH2 0x04e5
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x942b765a
000000eb: EQ
000000ec: PUSH2 0x0516
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x9ddf840d
000000f6: EQ
000000f7: PUSH2 0x05c4
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xc04ae37f
00000101: EQ
00000102: PUSH2 0x05d9
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xc311d049
0000010c: EQ
0000010d: PUSH2 0x05ee
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xc69ea42f
00000117: EQ
00000118: PUSH2 0x0606
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xd59dd5d2
00000122: EQ
00000123: PUSH2 0x0627
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xdd93aa81
0000012d: EQ
0000012e: PUSH2 0x0648
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xe8836dcb
00000138: EQ
00000139: PUSH2 0x0669
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xedf26d9b
00000143: EQ
00000144: PUSH2 0x067e
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xf08b82e6
0000014e: EQ
0000014f: PUSH2 0x0696
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xf2fde38b
00000159: EQ
0000015a: PUSH2 0x06ab
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xf3f6f0d7
00000164: EQ
00000165: PUSH2 0x06cc
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xfecf9959
0000016f: EQ
00000170: PUSH2 0x06e1
00000173: JUMPI
00000174: JUMPDEST
00000175: CALLER
00000176: DUP1
00000177: EXTCODESIZE
00000178: PUSH1 0x00
0000017a: DUP1
0000017b: DUP1
0000017c: DUP1
0000017d: DUP1
0000017e: DUP6
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: CALLVALUE
0000018a: SWAP5
0000018b: POP
0000018c: PUSH2 0x0194
0000018f: DUP8
00000190: PUSH2 0x0708
00000193: JUMP
00000194: JUMPDEST
00000195: PUSH1 0x00
00000197: DUP6
00000198: GT
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: PUSH2 0x01c3
000001a5: PUSH1 0x64
000001a7: PUSH2 0x01b7
000001aa: DUP8
000001ab: PUSH1 0x59
000001ad: PUSH4 0xffffffff
000001b2: PUSH2 0x08bd
000001b5: AND
000001b6: JUMP
000001b7: JUMPDEST
000001b8: SWAP1
000001b9: PUSH4 0xffffffff
000001be: PUSH2 0x08f6
000001c1: AND
000001c2: JUMP
000001c3: JUMPDEST
000001c4: SWAP4
000001c5: POP
000001c6: PUSH2 0x01db
000001c9: PUSH1 0x64
000001cb: PUSH2 0x01b7
000001ce: DUP8
000001cf: PUSH1 0x06
000001d1: PUSH4 0xffffffff
000001d6: PUSH2 0x08bd
000001d9: AND
000001da: JUMP
000001db: JUMPDEST
000001dc: SWAP3
000001dd: POP
000001de: PUSH2 0x01f3
000001e1: PUSH1 0x64
000001e3: PUSH2 0x01b7
000001e6: DUP8
000001e7: PUSH1 0x04
000001e9: PUSH4 0xffffffff
000001ee: PUSH2 0x08bd
000001f1: AND
000001f2: JUMP
000001f3: JUMPDEST
000001f4: SWAP2
000001f5: POP
000001f6: PUSH2 0x020b
000001f9: PUSH1 0x64
000001fb: PUSH2 0x01b7
000001fe: DUP8
000001ff: PUSH1 0x01
00000201: PUSH4 0xffffffff
00000206: PUSH2 0x08bd
00000209: AND
0000020a: JUMP
0000020b: JUMPDEST
0000020c: SWAP1
0000020d: POP
0000020e: PUSH2 0x0217
00000211: DUP4
00000212: DUP4
00000213: PUSH2 0x0919
00000216: JUMP
00000217: JUMPDEST
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: SLOAD
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: PUSH1 0x01
00000221: PUSH1 0xa0
00000223: PUSH1 0x02
00000225: EXP
00000226: SUB
00000227: SWAP1
00000228: SWAP2
00000229: AND
0000022a: SWAP2
0000022b: DUP4
0000022c: ISZERO
0000022d: PUSH2 0x08fc
00000230: MUL
00000231: SWAP2
00000232: DUP5
00000233: SWAP2
00000234: DUP2
00000235: DUP2
00000236: DUP2
00000237: DUP6
00000238: DUP9
00000239: DUP9
0000023a: CALL
0000023b: SWAP4
0000023c: POP
0000023d: POP
0000023e: POP
0000023f: POP
00000240: ISZERO
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x0250
00000246: JUMPI
00000247: RETURNDATASIZE
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: RETURNDATACOPY
0000024c: RETURNDATASIZE
0000024d: PUSH1 0x00
0000024f: REVERT
00000250: JUMPDEST
00000251: POP
00000252: PUSH1 0x01
00000254: PUSH1 0xa0
00000256: PUSH1 0x02
00000258: EXP
00000259: SUB
0000025a: DUP8
0000025b: AND
0000025c: PUSH1 0x00
0000025e: SWAP1
0000025f: DUP2
00000260: MSTORE
00000261: PUSH1 0x02
00000263: PUSH1 0x20
00000265: MSTORE
00000266: PUSH1 0x40
00000268: SWAP1
00000269: KECCAK256
0000026a: SLOAD
0000026b: PUSH2 0x027a
0000026e: SWAP1
0000026f: DUP6
00000270: PUSH4 0xffffffff
00000275: PUSH2 0x09aa
00000278: AND
00000279: JUMP
0000027a: JUMPDEST
0000027b: PUSH1 0x01
0000027d: PUSH1 0xa0
0000027f: PUSH1 0x02
00000281: EXP
00000282: SUB
00000283: DUP9
00000284: AND
00000285: PUSH1 0x00
00000287: SWAP1
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x02
0000028c: PUSH1 0x20
0000028e: SWAP1
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x40
00000293: DUP1
00000294: DUP4
00000295: KECCAK256
00000296: SWAP4
00000297: SWAP1
00000298: SWAP4
00000299: SSTORE
0000029a: PUSH1 0x04
0000029c: SWAP1
0000029d: MSTORE
0000029e: SWAP1
0000029f: DUP2
000002a0: KECCAK256
000002a1: SLOAD
000002a2: GT
000002a3: ISZERO
000002a4: PUSH2 0x02be
000002a7: JUMPI
000002a8: PUSH1 0x09
000002aa: SLOAD
000002ab: PUSH2 0x02ba
000002ae: SWAP1
000002af: DUP6
000002b0: PUSH4 0xffffffff
000002b5: PUSH2 0x09aa
000002b8: AND
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x09
000002bd: SSTORE
000002be: JUMPDEST
000002bf: PUSH1 0x01
000002c1: PUSH1 0xa0
000002c3: PUSH1 0x02
000002c5: EXP
000002c6: SUB
000002c7: DUP8
000002c8: AND
000002c9: PUSH1 0x00
000002cb: SWAP1
000002cc: DUP2
000002cd: MSTORE
000002ce: PUSH1 0x03
000002d0: PUSH1 0x20
000002d2: MSTORE
000002d3: PUSH1 0x40
000002d5: DUP2
000002d6: KECCAK256
000002d7: SLOAD
000002d8: GT
000002d9: ISZERO
000002da: PUSH2 0x02e6
000002dd: JUMPI
000002de: PUSH2 0x02e6
000002e1: DUP8
000002e2: PUSH2 0x09bc
000002e5: JUMP
000002e6: JUMPDEST
000002e7: POP
000002e8: POP
000002e9: POP
000002ea: POP
000002eb: POP
000002ec: POP
000002ed: POP
000002ee: STOP
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: DUP1
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x0310
00000300: PUSH1 0x01
00000302: PUSH1 0xa0
00000304: PUSH1 0x02
00000306: EXP
00000307: SUB
00000308: PUSH1 0x04
0000030a: CALLDATALOAD
0000030b: AND
0000030c: PUSH2 0x0aa1
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH1 0x40
00000313: DUP1
00000314: MLOAD
00000315: SWAP2
00000316: DUP3
00000317: MSTORE
00000318: MLOAD
00000319: SWAP1
0000031a: DUP2
0000031b: SWAP1
0000031c: SUB
0000031d: PUSH1 0x20
0000031f: ADD
00000320: SWAP1
00000321: RETURN
00000322: JUMPDEST
00000323: CALLVALUE
00000324: DUP1
00000325: ISZERO
00000326: PUSH2 0x032e
00000329: JUMPI
0000032a: PUSH1 0x00
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: POP
00000330: PUSH2 0x0310
00000333: PUSH2 0x0ab3
00000336: JUMP
00000337: JUMPDEST
00000338: CALLVALUE
00000339: DUP1
0000033a: ISZERO
0000033b: PUSH2 0x0343
0000033e: JUMPI
0000033f: PUSH1 0x00
00000341: DUP1
00000342: REVERT
00000343: JUMPDEST
00000344: POP
00000345: PUSH2 0x0310
00000348: PUSH2 0x0ab9
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x0310
0000035d: PUSH1 0x01
0000035f: PUSH1 0xa0
00000361: PUSH1 0x02
00000363: EXP
00000364: SUB
00000365: PUSH1 0x04
00000367: CALLDATALOAD
00000368: AND
00000369: PUSH2 0x0abf
0000036c: JUMP
0000036d: JUMPDEST
0000036e: CALLVALUE
0000036f: DUP1
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: PUSH2 0x0310
0000037e: PUSH1 0x01
00000380: PUSH1 0xa0
00000382: PUSH1 0x02
00000384: EXP
00000385: SUB
00000386: PUSH1 0x04
00000388: CALLDATALOAD
00000389: AND
0000038a: PUSH2 0x0b53
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x0310
0000039f: PUSH1 0x01
000003a1: PUSH1 0xa0
000003a3: PUSH1 0x02
000003a5: EXP
000003a6: SUB
000003a7: PUSH1 0x04
000003a9: CALLDATALOAD
000003aa: AND
000003ab: PUSH2 0x0b7c
000003ae: JUMP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x0310
000003c0: PUSH1 0x01
000003c2: PUSH1 0xa0
000003c4: PUSH1 0x02
000003c6: EXP
000003c7: SUB
000003c8: PUSH1 0x04
000003ca: CALLDATALOAD
000003cb: AND
000003cc: PUSH2 0x0b8e
000003cf: JUMP
000003d0: JUMPDEST
000003d1: CALLVALUE
000003d2: DUP1
000003d3: ISZERO
000003d4: PUSH2 0x03dc
000003d7: JUMPI
000003d8: PUSH1 0x00
000003da: DUP1
000003db: REVERT
000003dc: JUMPDEST
000003dd: POP
000003de: PUSH2 0x0310
000003e1: PUSH1 0x01
000003e3: PUSH1 0xa0
000003e5: PUSH1 0x02
000003e7: EXP
000003e8: SUB
000003e9: PUSH1 0x04
000003eb: CALLDATALOAD
000003ec: AND
000003ed: PUSH2 0x0be6
000003f0: JUMP
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: DUP1
000003f4: ISZERO
000003f5: PUSH2 0x03fd
000003f8: JUMPI
000003f9: PUSH1 0x00
000003fb: DUP1
000003fc: REVERT
000003fd: JUMPDEST
000003fe: POP
000003ff: PUSH2 0x0310
00000402: PUSH1 0x01
00000404: PUSH1 0xa0
00000406: PUSH1 0x02
00000408: EXP
00000409: SUB
0000040a: PUSH1 0x04
0000040c: CALLDATALOAD
0000040d: AND
0000040e: PUSH2 0x0bf8
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0310
00000423: PUSH1 0x01
00000425: PUSH1 0xa0
00000427: PUSH1 0x02
00000429: EXP
0000042a: SUB
0000042b: PUSH1 0x04
0000042d: CALLDATALOAD
0000042e: AND
0000042f: PUSH2 0x0c0a
00000432: JUMP
00000433: JUMPDEST
00000434: CALLVALUE
00000435: DUP1
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x0310
00000444: PUSH1 0x01
00000446: PUSH1 0xa0
00000448: PUSH1 0x02
0000044a: EXP
0000044b: SUB
0000044c: PUSH1 0x04
0000044e: CALLDATALOAD
0000044f: AND
00000450: PUSH2 0x0c95
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x0310
00000465: PUSH1 0x01
00000467: PUSH1 0xa0
00000469: PUSH1 0x02
0000046b: EXP
0000046c: SUB
0000046d: PUSH1 0x04
0000046f: CALLDATALOAD
00000470: AND
00000471: PUSH2 0x0ced
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x0499
00000486: PUSH1 0x01
00000488: PUSH1 0xa0
0000048a: PUSH1 0x02
0000048c: EXP
0000048d: SUB
0000048e: PUSH1 0x04
00000490: CALLDATALOAD
00000491: AND
00000492: PUSH1 0x24
00000494: CALLDATALOAD
00000495: PUSH2 0x0d04
00000498: JUMP
00000499: JUMPDEST
0000049a: STOP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x04bc
000004ac: PUSH1 0x01
000004ae: PUSH1 0xa0
000004b0: PUSH1 0x02
000004b2: EXP
000004b3: SUB
000004b4: PUSH1 0x04
000004b6: CALLDATALOAD
000004b7: AND
000004b8: PUSH2 0x1043
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH1 0x40
000004bf: DUP1
000004c0: MLOAD
000004c1: SWAP2
000004c2: ISZERO
000004c3: ISZERO
000004c4: DUP3
000004c5: MSTORE
000004c6: MLOAD
000004c7: SWAP1
000004c8: DUP2
000004c9: SWAP1
000004ca: SUB
000004cb: PUSH1 0x20
000004cd: ADD
000004ce: SWAP1
000004cf: RETURN
000004d0: JUMPDEST
000004d1: CALLVALUE
000004d2: DUP1
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: PUSH2 0x0310
000004e1: PUSH2 0x1058
000004e4: JUMP
000004e5: JUMPDEST
000004e6: CALLVALUE
000004e7: DUP1
000004e8: ISZERO
000004e9: PUSH2 0x04f1
000004ec: JUMPI
000004ed: PUSH1 0x00
000004ef: DUP1
000004f0: REVERT
000004f1: JUMPDEST
000004f2: POP
000004f3: PUSH2 0x04fa
000004f6: PUSH2 0x105e
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x40
000004fd: DUP1
000004fe: MLOAD
000004ff: PUSH1 0x01
00000501: PUSH1 0xa0
00000503: PUSH1 0x02
00000505: EXP
00000506: SUB
00000507: SWAP1
00000508: SWAP3
00000509: AND
0000050a: DUP3
0000050b: MSTORE
0000050c: MLOAD
0000050d: SWAP1
0000050e: DUP2
0000050f: SWAP1
00000510: SUB
00000511: PUSH1 0x20
00000513: ADD
00000514: SWAP1
00000515: RETURN
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x052b
00000527: PUSH2 0x106d
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: DUP1
00000530: DUP1
00000531: PUSH1 0x20
00000533: ADD
00000534: DUP1
00000535: PUSH1 0x20
00000537: ADD
00000538: DUP4
00000539: DUP2
0000053a: SUB
0000053b: DUP4
0000053c: MSTORE
0000053d: DUP6
0000053e: DUP2
0000053f: DUP2
00000540: MLOAD
00000541: DUP2
00000542: MSTORE
00000543: PUSH1 0x20
00000545: ADD
00000546: SWAP2
00000547: POP
00000548: DUP1
00000549: MLOAD
0000054a: SWAP1
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP1
0000054f: PUSH1 0x20
00000551: MUL
00000552: DUP1
00000553: DUP4
00000554: DUP4
00000555: PUSH1 0x00
00000557: JUMPDEST
00000558: DUP4
00000559: DUP2
0000055a: LT
0000055b: ISZERO
0000055c: PUSH2 0x056f
0000055f: JUMPI
00000560: DUP2
00000561: DUP2
00000562: ADD
00000563: MLOAD
00000564: DUP4
00000565: DUP3
00000566: ADD
00000567: MSTORE
00000568: PUSH1 0x20
0000056a: ADD
0000056b: PUSH2 0x0557
0000056e: JUMP
0000056f: JUMPDEST
00000570: POP
00000571: POP
00000572: POP
00000573: POP
00000574: SWAP1
00000575: POP
00000576: ADD
00000577: DUP4
00000578: DUP2
00000579: SUB
0000057a: DUP3
0000057b: MSTORE
0000057c: DUP5
0000057d: DUP2
0000057e: DUP2
0000057f: MLOAD
00000580: DUP2
00000581: MSTORE
00000582: PUSH1 0x20
00000584: ADD
00000585: SWAP2
00000586: POP
00000587: DUP1
00000588: MLOAD
00000589: SWAP1
0000058a: PUSH1 0x20
0000058c: ADD
0000058d: SWAP1
0000058e: PUSH1 0x20
00000590: MUL
00000591: DUP1
00000592: DUP4
00000593: DUP4
00000594: PUSH1 0x00
00000596: JUMPDEST
00000597: DUP4
00000598: DUP2
00000599: LT
0000059a: ISZERO
0000059b: PUSH2 0x05ae
0000059e: JUMPI
0000059f: DUP2
000005a0: DUP2
000005a1: ADD
000005a2: MLOAD
000005a3: DUP4
000005a4: DUP3
000005a5: ADD
000005a6: MSTORE
000005a7: PUSH1 0x20
000005a9: ADD
000005aa: PUSH2 0x0596
000005ad: JUMP
000005ae: JUMPDEST
000005af: POP
000005b0: POP
000005b1: POP
000005b2: POP
000005b3: SWAP1
000005b4: POP
000005b5: ADD
000005b6: SWAP5
000005b7: POP
000005b8: POP
000005b9: POP
000005ba: POP
000005bb: POP
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: DUP1
000005c0: SWAP2
000005c1: SUB
000005c2: SWAP1
000005c3: RETURN
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: POP
000005d2: PUSH2 0x0499
000005d5: PUSH2 0x1170
000005d8: JUMP
000005d9: JUMPDEST
000005da: CALLVALUE
000005db: DUP1
000005dc: ISZERO
000005dd: PUSH2 0x05e5
000005e0: JUMPI
000005e1: PUSH1 0x00
000005e3: DUP1
000005e4: REVERT
000005e5: JUMPDEST
000005e6: POP
000005e7: PUSH2 0x0310
000005ea: PUSH2 0x117b
000005ed: JUMP
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: PUSH2 0x0499
000005ff: PUSH1 0x04
00000601: CALLDATALOAD
00000602: PUSH2 0x1181
00000605: JUMP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x0310
00000617: PUSH1 0x01
00000619: PUSH1 0xa0
0000061b: PUSH1 0x02
0000061d: EXP
0000061e: SUB
0000061f: PUSH1 0x04
00000621: CALLDATALOAD
00000622: AND
00000623: PUSH2 0x133b
00000626: JUMP
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x0310
00000638: PUSH1 0x01
0000063a: PUSH1 0xa0
0000063c: PUSH1 0x02
0000063e: EXP
0000063f: SUB
00000640: PUSH1 0x04
00000642: CALLDATALOAD
00000643: AND
00000644: PUSH2 0x134d
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x0310
00000659: PUSH1 0x01
0000065b: PUSH1 0xa0
0000065d: PUSH1 0x02
0000065f: EXP
00000660: SUB
00000661: PUSH1 0x04
00000663: CALLDATALOAD
00000664: AND
00000665: PUSH2 0x135f
00000668: JUMP
00000669: JUMPDEST
0000066a: CALLVALUE
0000066b: DUP1
0000066c: ISZERO
0000066d: PUSH2 0x0675
00000670: JUMPI
00000671: PUSH1 0x00
00000673: DUP1
00000674: REVERT
00000675: JUMPDEST
00000676: POP
00000677: PUSH2 0x0310
0000067a: PUSH2 0x1371
0000067d: JUMP
0000067e: JUMPDEST
0000067f: CALLVALUE
00000680: DUP1
00000681: ISZERO
00000682: PUSH2 0x068a
00000685: JUMPI
00000686: PUSH1 0x00
00000688: DUP1
00000689: REVERT
0000068a: JUMPDEST
0000068b: POP
0000068c: PUSH2 0x04fa
0000068f: PUSH1 0x04
00000691: CALLDATALOAD
00000692: PUSH2 0x1377
00000695: JUMP
00000696: JUMPDEST
00000697: CALLVALUE
00000698: DUP1
00000699: ISZERO
0000069a: PUSH2 0x06a2
0000069d: JUMPI
0000069e: PUSH1 0x00
000006a0: DUP1
000006a1: REVERT
000006a2: JUMPDEST
000006a3: POP
000006a4: PUSH2 0x0310
000006a7: PUSH2 0x1392
000006aa: JUMP
000006ab: JUMPDEST
000006ac: CALLVALUE
000006ad: DUP1
000006ae: ISZERO
000006af: PUSH2 0x06b7
000006b2: JUMPI
000006b3: PUSH1 0x00
000006b5: DUP1
000006b6: REVERT
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH2 0x0499
000006bc: PUSH1 0x01
000006be: PUSH1 0xa0
000006c0: PUSH1 0x02
000006c2: EXP
000006c3: SUB
000006c4: PUSH1 0x04
000006c6: CALLDATALOAD
000006c7: AND
000006c8: PUSH2 0x1398
000006cb: JUMP
000006cc: JUMPDEST
000006cd: CALLVALUE
000006ce: DUP1
000006cf: ISZERO
000006d0: PUSH2 0x06d8
000006d3: JUMPI
000006d4: PUSH1 0x00
000006d6: DUP1
000006d7: REVERT
000006d8: JUMPDEST
000006d9: POP
000006da: PUSH2 0x0310
000006dd: PUSH2 0x142c
000006e0: JUMP
000006e1: JUMPDEST
000006e2: CALLVALUE
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: POP
000006ef: PUSH2 0x0499
000006f2: PUSH1 0x04
000006f4: CALLDATALOAD
000006f5: PUSH1 0x01
000006f7: PUSH1 0xa0
000006f9: PUSH1 0x02
000006fb: EXP
000006fc: SUB
000006fd: PUSH1 0x24
000006ff: CALLDATALOAD
00000700: AND
00000701: PUSH1 0x44
00000703: CALLDATALOAD
00000704: PUSH2 0x1432
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x00
0000070b: DUP1
0000070c: PUSH1 0x00
0000070e: DUP1
0000070f: PUSH1 0x00
00000711: DUP1
00000712: PUSH2 0x071a
00000715: DUP8
00000716: PUSH2 0x0c95
00000719: JUMP
0000071a: JUMPDEST
0000071b: SWAP6
0000071c: POP
0000071d: PUSH2 0x0725
00000720: DUP8
00000721: PUSH2 0x0b8e
00000724: JUMP
00000725: JUMPDEST
00000726: SWAP5
00000727: POP
00000728: PUSH2 0x0737
0000072b: DUP6
0000072c: DUP8
0000072d: PUSH4 0xffffffff
00000732: PUSH2 0x09aa
00000735: AND
00000736: JUMP
00000737: JUMPDEST
00000738: SWAP4
00000739: POP
0000073a: PUSH2 0x0742
0000073d: DUP8
0000073e: PUSH2 0x0c0a
00000741: JUMP
00000742: JUMPDEST
00000743: SWAP3
00000744: POP
00000745: PUSH2 0x074d
00000748: DUP8
00000749: PUSH2 0x0abf
0000074c: JUMP
0000074d: JUMPDEST
0000074e: SWAP2
0000074f: POP
00000750: PUSH2 0x075f
00000753: DUP3
00000754: DUP5
00000755: PUSH4 0xffffffff
0000075a: PUSH2 0x09aa
0000075d: AND
0000075e: JUMP
0000075f: JUMPDEST
00000760: SWAP1
00000761: POP
00000762: PUSH1 0x00
00000764: DUP5
00000765: GT
00000766: ISZERO
00000767: PUSH2 0x07a2
0000076a: JUMPI
0000076b: PUSH1 0x40
0000076d: MLOAD
0000076e: PUSH1 0x01
00000770: PUSH1 0xa0
00000772: PUSH1 0x02
00000774: EXP
00000775: SUB
00000776: DUP9
00000777: AND
00000778: SWAP1
00000779: DUP6
0000077a: ISZERO
0000077b: PUSH2 0x08fc
0000077e: MUL
0000077f: SWAP1
00000780: DUP7
00000781: SWAP1
00000782: PUSH1 0x00
00000784: DUP2
00000785: DUP2
00000786: DUP2
00000787: DUP6
00000788: DUP9
00000789: DUP9
0000078a: CALL
0000078b: SWAP4
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: ISZERO
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x07a0
00000796: JUMPI
00000797: RETURNDATASIZE
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: RETURNDATACOPY
0000079c: RETURNDATASIZE
0000079d: PUSH1 0x00
0000079f: REVERT
000007a0: JUMPDEST
000007a1: POP
000007a2: JUMPDEST
000007a3: PUSH1 0x00
000007a5: DUP2
000007a6: GT
000007a7: ISZERO
000007a8: PUSH2 0x0831
000007ab: JUMPI
000007ac: PUSH1 0x01
000007ae: SLOAD
000007af: PUSH1 0x40
000007b1: DUP1
000007b2: MLOAD
000007b3: PUSH1 0xe0
000007b5: PUSH1 0x02
000007b7: EXP
000007b8: PUSH4 0xa9059cbb
000007bd: MUL
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: PUSH1 0x02
000007c6: EXP
000007c7: SUB
000007c8: DUP11
000007c9: DUP2
000007ca: AND
000007cb: PUSH1 0x04
000007cd: DUP4
000007ce: ADD
000007cf: MSTORE
000007d0: PUSH1 0x24
000007d2: DUP3
000007d3: ADD
000007d4: DUP6
000007d5: SWAP1
000007d6: MSTORE
000007d7: SWAP2
000007d8: MLOAD
000007d9: SWAP2
000007da: SWAP1
000007db: SWAP3
000007dc: AND
000007dd: SWAP2
000007de: PUSH4 0xa9059cbb
000007e3: SWAP2
000007e4: PUSH1 0x44
000007e6: DUP1
000007e7: DUP4
000007e8: ADD
000007e9: SWAP3
000007ea: PUSH1 0x20
000007ec: SWAP3
000007ed: SWAP2
000007ee: SWAP1
000007ef: DUP3
000007f0: SWAP1
000007f1: SUB
000007f2: ADD
000007f3: DUP2
000007f4: PUSH1 0x00
000007f6: DUP8
000007f7: DUP1
000007f8: EXTCODESIZE
000007f9: ISZERO
000007fa: DUP1
000007fb: ISZERO
000007fc: PUSH2 0x0804
000007ff: JUMPI
00000800: PUSH1 0x00
00000802: DUP1
00000803: REVERT
00000804: JUMPDEST
00000805: POP
00000806: GAS
00000807: CALL
00000808: ISZERO
00000809: DUP1
0000080a: ISZERO
0000080b: PUSH2 0x0818
0000080e: JUMPI
0000080f: RETURNDATASIZE
00000810: PUSH1 0x00
00000812: DUP1
00000813: RETURNDATACOPY
00000814: RETURNDATASIZE
00000815: PUSH1 0x00
00000817: REVERT
00000818: JUMPDEST
00000819: POP
0000081a: POP
0000081b: POP
0000081c: POP
0000081d: PUSH1 0x40
0000081f: MLOAD
00000820: RETURNDATASIZE
00000821: PUSH1 0x20
00000823: DUP2
00000824: LT
00000825: ISZERO
00000826: PUSH2 0x082e
00000829: JUMPI
0000082a: PUSH1 0x00
0000082c: DUP1
0000082d: REVERT
0000082e: JUMPDEST
0000082f: POP
00000830: POP
00000831: JUMPDEST
00000832: PUSH1 0x0c
00000834: SLOAD
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: PUSH1 0x02
0000083b: EXP
0000083c: SUB
0000083d: DUP9
0000083e: AND
0000083f: PUSH1 0x00
00000841: DUP2
00000842: DUP2
00000843: MSTORE
00000844: PUSH1 0x0b
00000846: PUSH1 0x20
00000848: SWAP1
00000849: DUP2
0000084a: MSTORE
0000084b: PUSH1 0x40
0000084d: DUP1
0000084e: DUP4
0000084f: KECCAK256
00000850: SWAP5
00000851: SWAP1
00000852: SWAP5
00000853: SSTORE
00000854: PUSH1 0x0e
00000856: SLOAD
00000857: PUSH1 0x0d
00000859: DUP3
0000085a: MSTORE
0000085b: DUP5
0000085c: DUP4
0000085d: KECCAK256
0000085e: SSTORE
0000085f: PUSH1 0x10
00000861: SLOAD
00000862: PUSH1 0x0f
00000864: DUP3
00000865: MSTORE
00000866: DUP5
00000867: DUP4
00000868: KECCAK256
00000869: SSTORE
0000086a: PUSH1 0x12
0000086c: SLOAD
0000086d: PUSH1 0x11
0000086f: DUP3
00000870: MSTORE
00000871: SWAP2
00000872: DUP5
00000873: SWAP1
00000874: KECCAK256
00000875: SWAP2
00000876: SWAP1
00000877: SWAP2
00000878: SSTORE
00000879: DUP3
0000087a: MLOAD
0000087b: SWAP2
0000087c: DUP3
0000087d: MSTORE
0000087e: DUP2
0000087f: ADD
00000880: DUP7
00000881: SWAP1
00000882: MSTORE
00000883: DUP1
00000884: DUP3
00000885: ADD
00000886: DUP4
00000887: SWAP1
00000888: MSTORE
00000889: SWAP1
0000088a: MLOAD
0000088b: PUSH32 0xdd6e13fa60b7ff497716fc07cf86f41f54c3f689473ea4517e9489eb1e50e9ed
000008ac: SWAP2
000008ad: DUP2
000008ae: SWAP1
000008af: SUB
000008b0: PUSH1 0x60
000008b2: ADD
000008b3: SWAP1
000008b4: LOG1
000008b5: POP
000008b6: POP
000008b7: POP
000008b8: POP
000008b9: POP
000008ba: POP
000008bb: POP
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: DUP4
000008c2: ISZERO
000008c3: ISZERO
000008c4: PUSH2 0x08d0
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: SWAP2
000008cb: POP
000008cc: PUSH2 0x08ef
000008cf: JUMP
000008d0: JUMPDEST
000008d1: POP
000008d2: DUP3
000008d3: DUP3
000008d4: MUL
000008d5: DUP3
000008d6: DUP5
000008d7: DUP3
000008d8: DUP2
000008d9: ISZERO
000008da: ISZERO
000008db: PUSH2 0x08e0
000008de: JUMPI
000008df: INVALID
000008e0: JUMPDEST
000008e1: DIV
000008e2: EQ
000008e3: PUSH2 0x08eb
000008e6: JUMPI
000008e7: PUSH1 0x00
000008e9: DUP1
000008ea: REVERT
000008eb: JUMPDEST
000008ec: DUP1
000008ed: SWAP2
000008ee: POP
000008ef: JUMPDEST
000008f0: POP
000008f1: SWAP3
000008f2: SWAP2
000008f3: POP
000008f4: POP
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH1 0x00
000008f9: DUP1
000008fa: DUP1
000008fb: DUP4
000008fc: GT
000008fd: PUSH2 0x0905
00000900: JUMPI
00000901: PUSH1 0x00
00000903: DUP1
00000904: REVERT
00000905: JUMPDEST
00000906: DUP3
00000907: DUP5
00000908: DUP2
00000909: ISZERO
0000090a: ISZERO
0000090b: PUSH2 0x0910
0000090e: JUMPI
0000090f: INVALID
00000910: JUMPDEST
00000911: DIV
00000912: SWAP5
00000913: SWAP4
00000914: POP
00000915: POP
00000916: POP
00000917: POP
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH1 0x00
0000091c: DUP1
0000091d: PUSH2 0x0924
00000920: PUSH2 0x1392
00000923: JUMP
00000924: JUMPDEST
00000925: SWAP2
00000926: POP
00000927: PUSH2 0x092e
0000092a: PUSH2 0x0ab9
0000092d: JUMP
0000092e: JUMPDEST
0000092f: SWAP1
00000930: POP
00000931: DUP1
00000932: ISZERO
00000933: DUP1
00000934: PUSH2 0x093b
00000937: JUMPI
00000938: POP
00000939: DUP2
0000093a: ISZERO
0000093b: JUMPDEST
0000093c: ISZERO
0000093d: PUSH2 0x0945
00000940: JUMPI
00000941: PUSH2 0x09a4
00000944: JUMP
00000945: JUMPDEST
00000946: PUSH2 0x0970
00000949: PUSH2 0x0961
0000094c: DUP3
0000094d: PUSH2 0x01b7
00000950: PUSH1 0x0a
00000952: SLOAD
00000953: DUP8
00000954: PUSH2 0x08bd
00000957: SWAP1
00000958: SWAP2
00000959: SWAP1
0000095a: PUSH4 0xffffffff
0000095f: AND
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x0e
00000964: SLOAD
00000965: SWAP1
00000966: PUSH4 0xffffffff
0000096b: PUSH2 0x09aa
0000096e: AND
0000096f: JUMP
00000970: JUMPDEST
00000971: PUSH1 0x0e
00000973: SSTORE
00000974: PUSH1 0x0a
00000976: SLOAD
00000977: PUSH2 0x09a0
0000097a: SWAP1
0000097b: PUSH2 0x0991
0000097e: SWAP1
0000097f: DUP5
00000980: SWAP1
00000981: PUSH2 0x01b7
00000984: SWAP1
00000985: DUP9
00000986: SWAP1
00000987: PUSH4 0xffffffff
0000098c: PUSH2 0x08bd
0000098f: AND
00000990: JUMP
00000991: JUMPDEST
00000992: PUSH1 0x0c
00000994: SLOAD
00000995: SWAP1
00000996: PUSH4 0xffffffff
0000099b: PUSH2 0x09aa
0000099e: AND
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x0c
000009a3: SSTORE
000009a4: JUMPDEST
000009a5: POP
000009a6: POP
000009a7: POP
000009a8: POP
000009a9: JUMP
000009aa: JUMPDEST
000009ab: PUSH1 0x00
000009ad: DUP3
000009ae: DUP3
000009af: ADD
000009b0: DUP4
000009b1: DUP2
000009b2: LT
000009b3: ISZERO
000009b4: PUSH2 0x08eb
000009b7: JUMPI
000009b8: PUSH1 0x00
000009ba: DUP1
000009bb: REVERT
000009bc: JUMPDEST
000009bd: PUSH1 0x01
000009bf: PUSH1 0xa0
000009c1: PUSH1 0x02
000009c3: EXP
000009c4: SUB
000009c5: DUP2
000009c6: AND
000009c7: PUSH1 0x00
000009c9: SWAP1
000009ca: DUP2
000009cb: MSTORE
000009cc: PUSH1 0x07
000009ce: PUSH1 0x20
000009d0: SWAP1
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x40
000009d5: DUP1
000009d6: DUP4
000009d7: KECCAK256
000009d8: DUP1
000009d9: SLOAD
000009da: PUSH1 0xff
000009dc: NOT
000009dd: AND
000009de: PUSH1 0x01
000009e0: OR
000009e1: SWAP1
000009e2: SSTORE
000009e3: PUSH1 0x04
000009e5: SWAP1
000009e6: SWAP2
000009e7: MSTORE
000009e8: SWAP1
000009e9: KECCAK256
000009ea: SLOAD
000009eb: ISZERO
000009ec: ISZERO
000009ed: PUSH2 0x0a9e
000009f0: JUMPI
000009f1: PUSH1 0x01
000009f3: PUSH1 0xa0
000009f5: PUSH1 0x02
000009f7: EXP
000009f8: SUB
000009f9: DUP2
000009fa: AND
000009fb: PUSH1 0x00
000009fd: SWAP1
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x03
00000a02: PUSH1 0x20
00000a04: MSTORE
00000a05: PUSH1 0x40
00000a07: SWAP1
00000a08: KECCAK256
00000a09: SLOAD
00000a0a: PUSH1 0x08
00000a0c: SLOAD
00000a0d: PUSH2 0x0a1b
00000a10: SWAP2
00000a11: PUSH4 0xffffffff
00000a16: PUSH2 0x09aa
00000a19: AND
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH1 0x08
00000a1e: SSTORE
00000a1f: PUSH1 0x01
00000a21: PUSH1 0xa0
00000a23: PUSH1 0x02
00000a25: EXP
00000a26: SUB
00000a27: DUP2
00000a28: AND
00000a29: PUSH1 0x00
00000a2b: SWAP1
00000a2c: DUP2
00000a2d: MSTORE
00000a2e: PUSH1 0x02
00000a30: PUSH1 0x20
00000a32: MSTORE
00000a33: PUSH1 0x40
00000a35: SWAP1
00000a36: KECCAK256
00000a37: SLOAD
00000a38: PUSH1 0x09
00000a3a: SLOAD
00000a3b: PUSH2 0x0a49
00000a3e: SWAP2
00000a3f: PUSH4 0xffffffff
00000a44: PUSH2 0x09aa
00000a47: AND
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: PUSH1 0x09
00000a4c: SSTORE
00000a4d: PUSH1 0x06
00000a4f: DUP1
00000a50: SLOAD
00000a51: PUSH1 0x01
00000a53: ADD
00000a54: DUP1
00000a55: DUP3
00000a56: SSTORE
00000a57: PUSH1 0x00
00000a59: SWAP1
00000a5a: DUP2
00000a5b: MSTORE
00000a5c: PUSH1 0x05
00000a5e: PUSH1 0x20
00000a60: SWAP1
00000a61: DUP2
00000a62: MSTORE
00000a63: PUSH1 0x40
00000a65: DUP1
00000a66: DUP4
00000a67: KECCAK256
00000a68: DUP1
00000a69: SLOAD
00000a6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7f: NOT
00000a80: AND
00000a81: PUSH1 0x01
00000a83: PUSH1 0xa0
00000a85: PUSH1 0x02
00000a87: EXP
00000a88: SUB
00000a89: DUP8
00000a8a: AND
00000a8b: SWAP1
00000a8c: DUP2
00000a8d: OR
00000a8e: SWAP1
00000a8f: SWAP2
00000a90: SSTORE
00000a91: SWAP4
00000a92: SLOAD
00000a93: SWAP4
00000a94: DUP4
00000a95: MSTORE
00000a96: PUSH1 0x04
00000a98: SWAP1
00000a99: SWAP2
00000a9a: MSTORE
00000a9b: SWAP1
00000a9c: KECCAK256
00000a9d: SSTORE
00000a9e: JUMPDEST
00000a9f: POP
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH1 0x0b
00000aa4: PUSH1 0x20
00000aa6: MSTORE
00000aa7: PUSH1 0x00
00000aa9: SWAP1
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x40
00000aae: SWAP1
00000aaf: KECCAK256
00000ab0: SLOAD
00000ab1: DUP2
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: PUSH1 0x0c
00000ab6: SLOAD
00000ab7: DUP2
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x09
00000abc: SLOAD
00000abd: SWAP1
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH1 0x01
00000ac2: PUSH1 0xa0
00000ac4: PUSH1 0x02
00000ac6: EXP
00000ac7: SUB
00000ac8: DUP2
00000ac9: AND
00000aca: PUSH1 0x00
00000acc: SWAP1
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x07
00000ad1: PUSH1 0x20
00000ad3: MSTORE
00000ad4: PUSH1 0x40
00000ad6: DUP2
00000ad7: KECCAK256
00000ad8: SLOAD
00000ad9: DUP2
00000ada: SWAP1
00000adb: PUSH1 0xff
00000add: AND
00000ade: ISZERO
00000adf: ISZERO
00000ae0: PUSH2 0x0aec
00000ae3: JUMPI
00000ae4: PUSH1 0x00
00000ae6: SWAP2
00000ae7: POP
00000ae8: PUSH2 0x0b4d
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: PUSH1 0x01
00000aef: PUSH1 0xa0
00000af1: PUSH1 0x02
00000af3: EXP
00000af4: SUB
00000af5: DUP4
00000af6: AND
00000af7: PUSH1 0x00
00000af9: SWAP1
00000afa: DUP2
00000afb: MSTORE
00000afc: PUSH1 0x11
00000afe: PUSH1 0x20
00000b00: MSTORE
00000b01: PUSH1 0x40
00000b03: SWAP1
00000b04: KECCAK256
00000b05: SLOAD
00000b06: PUSH1 0x12
00000b08: SLOAD
00000b09: PUSH2 0x0b17
00000b0c: SWAP2
00000b0d: PUSH4 0xffffffff
00000b12: PUSH2 0x16d2
00000b15: AND
00000b16: JUMP
00000b17: JUMPDEST
00000b18: PUSH1 0x0a
00000b1a: SLOAD
00000b1b: PUSH1 0x01
00000b1d: PUSH1 0xa0
00000b1f: PUSH1 0x02
00000b21: EXP
00000b22: SUB
00000b23: DUP6
00000b24: AND
00000b25: PUSH1 0x00
00000b27: SWAP1
00000b28: DUP2
00000b29: MSTORE
00000b2a: PUSH1 0x02
00000b2c: PUSH1 0x20
00000b2e: MSTORE
00000b2f: PUSH1 0x40
00000b31: SWAP1
00000b32: KECCAK256
00000b33: SLOAD
00000b34: SWAP2
00000b35: SWAP3
00000b36: POP
00000b37: PUSH2 0x0b4a
00000b3a: SWAP2
00000b3b: PUSH2 0x01b7
00000b3e: SWAP1
00000b3f: DUP5
00000b40: PUSH4 0xffffffff
00000b45: PUSH2 0x08bd
00000b48: AND
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: SWAP2
00000b4c: POP
00000b4d: JUMPDEST
00000b4e: POP
00000b4f: SWAP2
00000b50: SWAP1
00000b51: POP
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH1 0x00
00000b56: PUSH2 0x0b76
00000b59: PUSH2 0x0b61
00000b5c: DUP4
00000b5d: PUSH2 0x0c0a
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH2 0x0b6a
00000b65: DUP5
00000b66: PUSH2 0x0abf
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: SWAP1
00000b6c: PUSH4 0xffffffff
00000b71: PUSH2 0x09aa
00000b74: AND
00000b75: JUMP
00000b76: JUMPDEST
00000b77: SWAP3
00000b78: SWAP2
00000b79: POP
00000b7a: POP
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x03
00000b7f: PUSH1 0x20
00000b81: MSTORE
00000b82: PUSH1 0x00
00000b84: SWAP1
00000b85: DUP2
00000b86: MSTORE
00000b87: PUSH1 0x40
00000b89: SWAP1
00000b8a: KECCAK256
00000b8b: SLOAD
00000b8c: DUP2
00000b8d: JUMP
00000b8e: JUMPDEST
00000b8f: PUSH1 0x01
00000b91: PUSH1 0xa0
00000b93: PUSH1 0x02
00000b95: EXP
00000b96: SUB
00000b97: DUP2
00000b98: AND
00000b99: PUSH1 0x00
00000b9b: SWAP1
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x07
00000ba0: PUSH1 0x20
00000ba2: MSTORE
00000ba3: PUSH1 0x40
00000ba5: DUP2
00000ba6: KECCAK256
00000ba7: SLOAD
00000ba8: DUP2
00000ba9: SWAP1
00000baa: PUSH1 0xff
00000bac: AND
00000bad: ISZERO
00000bae: ISZERO
00000baf: PUSH2 0x0bbb
00000bb2: JUMPI
00000bb3: PUSH1 0x00
00000bb5: SWAP2
00000bb6: POP
00000bb7: PUSH2 0x0b4d
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: PUSH1 0x02
00000bc2: EXP
00000bc3: SUB
00000bc4: DUP4
00000bc5: AND
00000bc6: PUSH1 0x00
00000bc8: SWAP1
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x0d
00000bcd: PUSH1 0x20
00000bcf: MSTORE
00000bd0: PUSH1 0x40
00000bd2: SWAP1
00000bd3: KECCAK256
00000bd4: SLOAD
00000bd5: PUSH1 0x0e
00000bd7: SLOAD
00000bd8: PUSH2 0x0b17
00000bdb: SWAP2
00000bdc: PUSH4 0xffffffff
00000be1: PUSH2 0x16d2
00000be4: AND
00000be5: JUMP
00000be6: JUMPDEST
00000be7: PUSH1 0x0f
00000be9: PUSH1 0x20
00000beb: MSTORE
00000bec: PUSH1 0x00
00000bee: SWAP1
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x40
00000bf3: SWAP1
00000bf4: KECCAK256
00000bf5: SLOAD
00000bf6: DUP2
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x04
00000bfb: PUSH1 0x20
00000bfd: MSTORE
00000bfe: PUSH1 0x00
00000c00: SWAP1
00000c01: DUP2
00000c02: MSTORE
00000c03: PUSH1 0x40
00000c05: SWAP1
00000c06: KECCAK256
00000c07: SLOAD
00000c08: DUP2
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: PUSH1 0x01
00000c0d: PUSH1 0xa0
00000c0f: PUSH1 0x02
00000c11: EXP
00000c12: SUB
00000c13: DUP2
00000c14: AND
00000c15: PUSH1 0x00
00000c17: SWAP1
00000c18: DUP2
00000c19: MSTORE
00000c1a: PUSH1 0x07
00000c1c: PUSH1 0x20
00000c1e: MSTORE
00000c1f: PUSH1 0x40
00000c21: DUP2
00000c22: KECCAK256
00000c23: SLOAD
00000c24: DUP2
00000c25: SWAP1
00000c26: PUSH1 0xff
00000c28: AND
00000c29: ISZERO
00000c2a: ISZERO
00000c2b: PUSH2 0x0c37
00000c2e: JUMPI
00000c2f: PUSH1 0x00
00000c31: SWAP2
00000c32: POP
00000c33: PUSH2 0x0b4d
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x01
00000c3a: PUSH1 0xa0
00000c3c: PUSH1 0x02
00000c3e: EXP
00000c3f: SUB
00000c40: DUP4
00000c41: AND
00000c42: PUSH1 0x00
00000c44: SWAP1
00000c45: DUP2
00000c46: MSTORE
00000c47: PUSH1 0x0f
00000c49: PUSH1 0x20
00000c4b: MSTORE
00000c4c: PUSH1 0x40
00000c4e: SWAP1
00000c4f: KECCAK256
00000c50: SLOAD
00000c51: PUSH1 0x10
00000c53: SLOAD
00000c54: PUSH2 0x0c62
00000c57: SWAP2
00000c58: PUSH4 0xffffffff
00000c5d: PUSH2 0x16d2
00000c60: AND
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH1 0x0a
00000c65: SLOAD
00000c66: PUSH1 0x01
00000c68: PUSH1 0xa0
00000c6a: PUSH1 0x02
00000c6c: EXP
00000c6d: SUB
00000c6e: DUP6
00000c6f: AND
00000c70: PUSH1 0x00
00000c72: SWAP1
00000c73: DUP2
00000c74: MSTORE
00000c75: PUSH1 0x03
00000c77: PUSH1 0x20
00000c79: MSTORE
00000c7a: PUSH1 0x40
00000c7c: SWAP1
00000c7d: KECCAK256
00000c7e: SLOAD
00000c7f: SWAP2
00000c80: SWAP3
00000c81: POP
00000c82: PUSH2 0x0b4a
00000c85: SWAP2
00000c86: PUSH2 0x01b7
00000c89: SWAP1
00000c8a: DUP5
00000c8b: PUSH4 0xffffffff
00000c90: PUSH2 0x08bd
00000c93: AND
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH1 0x01
00000c98: PUSH1 0xa0
00000c9a: PUSH1 0x02
00000c9c: EXP
00000c9d: SUB
00000c9e: DUP2
00000c9f: AND
00000ca0: PUSH1 0x00
00000ca2: SWAP1
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x07
00000ca7: PUSH1 0x20
00000ca9: MSTORE
00000caa: PUSH1 0x40
00000cac: DUP2
00000cad: KECCAK256
00000cae: SLOAD
00000caf: DUP2
00000cb0: SWAP1
00000cb1: PUSH1 0xff
00000cb3: AND
00000cb4: ISZERO
00000cb5: ISZERO
00000cb6: PUSH2 0x0cc2
00000cb9: JUMPI
00000cba: PUSH1 0x00
00000cbc: SWAP2
00000cbd: POP
00000cbe: PUSH2 0x0b4d
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH1 0x01
00000cc5: PUSH1 0xa0
00000cc7: PUSH1 0x02
00000cc9: EXP
00000cca: SUB
00000ccb: DUP4
00000ccc: AND
00000ccd: PUSH1 0x00
00000ccf: SWAP1
00000cd0: DUP2
00000cd1: MSTORE
00000cd2: PUSH1 0x0b
00000cd4: PUSH1 0x20
00000cd6: MSTORE
00000cd7: PUSH1 0x40
00000cd9: SWAP1
00000cda: KECCAK256
00000cdb: SLOAD
00000cdc: PUSH1 0x0c
00000cde: SLOAD
00000cdf: PUSH2 0x0c62
00000ce2: SWAP2
00000ce3: PUSH4 0xffffffff
00000ce8: PUSH2 0x16d2
00000ceb: AND
00000cec: JUMP
00000ced: JUMPDEST
00000cee: PUSH1 0x00
00000cf0: PUSH2 0x0b76
00000cf3: PUSH2 0x0cfb
00000cf6: DUP4
00000cf7: PUSH2 0x0c95
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: PUSH2 0x0b6a
00000cff: DUP5
00000d00: PUSH2 0x0b8e
00000d03: JUMP
00000d04: JUMPDEST
00000d05: PUSH1 0x00
00000d07: DUP1
00000d08: PUSH1 0x00
00000d0a: DUP1
00000d0b: PUSH1 0x00
00000d0d: DUP1
00000d0e: PUSH2 0x0d16
00000d11: CALLER
00000d12: PUSH2 0x0708
00000d15: JUMP
00000d16: JUMPDEST
00000d17: PUSH1 0x01
00000d19: SLOAD
00000d1a: PUSH1 0x40
00000d1c: DUP1
00000d1d: MLOAD
00000d1e: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000
00000d3f: DUP2
00000d40: MSTORE
00000d41: CALLER
00000d42: PUSH1 0x04
00000d44: DUP3
00000d45: ADD
00000d46: DUP2
00000d47: SWAP1
00000d48: MSTORE
00000d49: ADDRESS
00000d4a: PUSH1 0x24
00000d4c: DUP4
00000d4d: ADD
00000d4e: MSTORE
00000d4f: SWAP2
00000d50: MLOAD
00000d51: SWAP2
00000d52: SWAP9
00000d53: POP
00000d54: PUSH1 0x01
00000d56: PUSH1 0xa0
00000d58: PUSH1 0x02
00000d5a: EXP
00000d5b: SUB
00000d5c: SWAP1
00000d5d: SWAP3
00000d5e: AND
00000d5f: SWAP2
00000d60: PUSH4 0xdd62ed3e
00000d65: SWAP2
00000d66: PUSH1 0x44
00000d68: DUP1
00000d69: DUP4
00000d6a: ADD
00000d6b: SWAP3
00000d6c: PUSH1 0x20
00000d6e: SWAP3
00000d6f: SWAP2
00000d70: SWAP1
00000d71: DUP3
00000d72: SWAP1
00000d73: SUB
00000d74: ADD
00000d75: DUP2
00000d76: PUSH1 0x00
00000d78: DUP8
00000d79: DUP1
00000d7a: EXTCODESIZE
00000d7b: ISZERO
00000d7c: DUP1
00000d7d: ISZERO
00000d7e: PUSH2 0x0d86
00000d81: JUMPI
00000d82: PUSH1 0x00
00000d84: DUP1
00000d85: REVERT
00000d86: JUMPDEST
00000d87: POP
00000d88: GAS
00000d89: CALL
00000d8a: ISZERO
00000d8b: DUP1
00000d8c: ISZERO
00000d8d: PUSH2 0x0d9a
00000d90: JUMPI
00000d91: RETURNDATASIZE
00000d92: PUSH1 0x00
00000d94: DUP1
00000d95: RETURNDATACOPY
00000d96: RETURNDATASIZE
00000d97: PUSH1 0x00
00000d99: REVERT
00000d9a: JUMPDEST
00000d9b: POP
00000d9c: POP
00000d9d: POP
00000d9e: POP
00000d9f: PUSH1 0x40
00000da1: MLOAD
00000da2: RETURNDATASIZE
00000da3: PUSH1 0x20
00000da5: DUP2
00000da6: LT
00000da7: ISZERO
00000da8: PUSH2 0x0db0
00000dab: JUMPI
00000dac: PUSH1 0x00
00000dae: DUP1
00000daf: REVERT
00000db0: JUMPDEST
00000db1: POP
00000db2: MLOAD
00000db3: SWAP5
00000db4: POP
00000db5: PUSH1 0x00
00000db7: DUP6
00000db8: GT
00000db9: DUP1
00000dba: ISZERO
00000dbb: PUSH2 0x0e61
00000dbe: JUMPI
00000dbf: POP
00000dc0: PUSH1 0x01
00000dc2: SLOAD
00000dc3: PUSH1 0x40
00000dc5: DUP1
00000dc6: MLOAD
00000dc7: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00000de8: DUP2
00000de9: MSTORE
00000dea: PUSH1 0x01
00000dec: PUSH1 0xa0
00000dee: PUSH1 0x02
00000df0: EXP
00000df1: SUB
00000df2: DUP10
00000df3: DUP2
00000df4: AND
00000df5: PUSH1 0x04
00000df7: DUP4
00000df8: ADD
00000df9: MSTORE
00000dfa: ADDRESS
00000dfb: PUSH1 0x24
00000dfd: DUP4
00000dfe: ADD
00000dff: MSTORE
00000e00: PUSH1 0x44
00000e02: DUP3
00000e03: ADD
00000e04: DUP10
00000e05: SWAP1
00000e06: MSTORE
00000e07: SWAP2
00000e08: MLOAD
00000e09: SWAP2
00000e0a: SWAP1
00000e0b: SWAP3
00000e0c: AND
00000e0d: SWAP2
00000e0e: PUSH4 0x23b872dd
00000e13: SWAP2
00000e14: PUSH1 0x64
00000e16: DUP1
00000e17: DUP4
00000e18: ADD
00000e19: SWAP3
00000e1a: PUSH1 0x20
00000e1c: SWAP3
00000e1d: SWAP2
00000e1e: SWAP1
00000e1f: DUP3
00000e20: SWAP1
00000e21: SUB
00000e22: ADD
00000e23: DUP2
00000e24: PUSH1 0x00
00000e26: DUP8
00000e27: DUP1
00000e28: EXTCODESIZE
00000e29: ISZERO
00000e2a: DUP1
00000e2b: ISZERO
00000e2c: PUSH2 0x0e34
00000e2f: JUMPI
00000e30: PUSH1 0x00
00000e32: DUP1
00000e33: REVERT
00000e34: JUMPDEST
00000e35: POP
00000e36: GAS
00000e37: CALL
00000e38: ISZERO
00000e39: DUP1
00000e3a: ISZERO
00000e3b: PUSH2 0x0e48
00000e3e: JUMPI
00000e3f: RETURNDATASIZE
00000e40: PUSH1 0x00
00000e42: DUP1
00000e43: RETURNDATACOPY
00000e44: RETURNDATASIZE
00000e45: PUSH1 0x00
00000e47: REVERT
00000e48: JUMPDEST
00000e49: POP
00000e4a: POP
00000e4b: POP
00000e4c: POP
00000e4d: PUSH1 0x40
00000e4f: MLOAD
00000e50: RETURNDATASIZE
00000e51: PUSH1 0x20
00000e53: DUP2
00000e54: LT
00000e55: ISZERO
00000e56: PUSH2 0x0e5e
00000e59: JUMPI
00000e5a: PUSH1 0x00
00000e5c: DUP1
00000e5d: REVERT
00000e5e: JUMPDEST
00000e5f: POP
00000e60: MLOAD
00000e61: JUMPDEST
00000e62: ISZERO
00000e63: ISZERO
00000e64: PUSH2 0x0e6c
00000e67: JUMPI
00000e68: PUSH1 0x00
00000e6a: DUP1
00000e6b: REVERT
00000e6c: JUMPDEST
00000e6d: PUSH2 0x0e82
00000e70: PUSH1 0x64
00000e72: PUSH2 0x01b7
00000e75: DUP8
00000e76: PUSH1 0x59
00000e78: PUSH4 0xffffffff
00000e7d: PUSH2 0x08bd
00000e80: AND
00000e81: JUMP
00000e82: JUMPDEST
00000e83: SWAP4
00000e84: POP
00000e85: PUSH2 0x0e9a
00000e88: PUSH1 0x64
00000e8a: PUSH2 0x01b7
00000e8d: DUP8
00000e8e: PUSH1 0x06
00000e90: PUSH4 0xffffffff
00000e95: PUSH2 0x08bd
00000e98: AND
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: SWAP3
00000e9c: POP
00000e9d: PUSH2 0x0eb2
00000ea0: PUSH1 0x64
00000ea2: PUSH2 0x01b7
00000ea5: DUP8
00000ea6: PUSH1 0x04
00000ea8: PUSH4 0xffffffff
00000ead: PUSH2 0x08bd
00000eb0: AND
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: SWAP2
00000eb4: POP
00000eb5: PUSH2 0x0eca
00000eb8: PUSH1 0x64
00000eba: PUSH2 0x01b7
00000ebd: DUP8
00000ebe: PUSH1 0x01
00000ec0: PUSH4 0xffffffff
00000ec5: PUSH2 0x08bd
00000ec8: AND
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: SWAP1
00000ecc: POP
00000ecd: PUSH2 0x0ed6
00000ed0: DUP4
00000ed1: DUP4
00000ed2: PUSH2 0x16e9
00000ed5: JUMP
00000ed6: JUMPDEST
00000ed7: PUSH1 0x01
00000ed9: SLOAD
00000eda: PUSH1 0x40
00000edc: DUP1
00000edd: MLOAD
00000ede: PUSH1 0xe0
00000ee0: PUSH1 0x02
00000ee2: EXP
00000ee3: PUSH4 0xa9059cbb
00000ee8: MUL
00000ee9: DUP2
00000eea: MSTORE
00000eeb: PUSH1 0x01
00000eed: PUSH1 0xa0
00000eef: PUSH1 0x02
00000ef1: EXP
00000ef2: SUB
00000ef3: DUP12
00000ef4: DUP2
00000ef5: AND
00000ef6: PUSH1 0x04
00000ef8: DUP4
00000ef9: ADD
00000efa: MSTORE
00000efb: PUSH1 0x24
00000efd: DUP3
00000efe: ADD
00000eff: DUP6
00000f00: SWAP1
00000f01: MSTORE
00000f02: SWAP2
00000f03: MLOAD
00000f04: SWAP2
00000f05: SWAP1
00000f06: SWAP3
00000f07: AND
00000f08: SWAP2
00000f09: PUSH4 0xa9059cbb
00000f0e: SWAP2
00000f0f: PUSH1 0x44
00000f11: DUP1
00000f12: DUP4
00000f13: ADD
00000f14: SWAP3
00000f15: PUSH1 0x20
00000f17: SWAP3
00000f18: SWAP2
00000f19: SWAP1
00000f1a: DUP3
00000f1b: SWAP1
00000f1c: SUB
00000f1d: ADD
00000f1e: DUP2
00000f1f: PUSH1 0x00
00000f21: DUP8
00000f22: DUP1
00000f23: EXTCODESIZE
00000f24: ISZERO
00000f25: DUP1
00000f26: ISZERO
00000f27: PUSH2 0x0f2f
00000f2a: JUMPI
00000f2b: PUSH1 0x00
00000f2d: DUP1
00000f2e: REVERT
00000f2f: JUMPDEST
00000f30: POP
00000f31: GAS
00000f32: CALL
00000f33: ISZERO
00000f34: DUP1
00000f35: ISZERO
00000f36: PUSH2 0x0f43
00000f39: JUMPI
00000f3a: RETURNDATASIZE
00000f3b: PUSH1 0x00
00000f3d: DUP1
00000f3e: RETURNDATACOPY
00000f3f: RETURNDATASIZE
00000f40: PUSH1 0x00
00000f42: REVERT
00000f43: JUMPDEST
00000f44: POP
00000f45: POP
00000f46: POP
00000f47: POP
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: RETURNDATASIZE
00000f4c: PUSH1 0x20
00000f4e: DUP2
00000f4f: LT
00000f50: ISZERO
00000f51: PUSH2 0x0f59
00000f54: JUMPI
00000f55: PUSH1 0x00
00000f57: DUP1
00000f58: REVERT
00000f59: JUMPDEST
00000f5a: POP
00000f5b: POP
00000f5c: PUSH1 0x40
00000f5e: DUP1
00000f5f: MLOAD
00000f60: PUSH1 0x01
00000f62: PUSH1 0xa0
00000f64: PUSH1 0x02
00000f66: EXP
00000f67: SUB
00000f68: DUP11
00000f69: AND
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x20
00000f6e: DUP2
00000f6f: ADD
00000f70: DUP4
00000f71: SWAP1
00000f72: MSTORE
00000f73: DUP1
00000f74: DUP3
00000f75: ADD
00000f76: DUP10
00000f77: SWAP1
00000f78: MSTORE
00000f79: SWAP1
00000f7a: MLOAD
00000f7b: PUSH32 0xc804beabd6deef69632486188d3b1a0fc6837d20bf348393884d368fa5bf10cd
00000f9c: SWAP2
00000f9d: DUP2
00000f9e: SWAP1
00000f9f: SUB
00000fa0: PUSH1 0x60
00000fa2: ADD
00000fa3: SWAP1
00000fa4: LOG1
00000fa5: PUSH1 0x01
00000fa7: PUSH1 0xa0
00000fa9: PUSH1 0x02
00000fab: EXP
00000fac: SUB
00000fad: DUP7
00000fae: AND
00000faf: PUSH1 0x00
00000fb1: SWAP1
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: PUSH1 0x03
00000fb6: PUSH1 0x20
00000fb8: MSTORE
00000fb9: PUSH1 0x40
00000fbb: SWAP1
00000fbc: KECCAK256
00000fbd: SLOAD
00000fbe: PUSH2 0x0fcd
00000fc1: SWAP1
00000fc2: DUP6
00000fc3: PUSH4 0xffffffff
00000fc8: PUSH2 0x09aa
00000fcb: AND
00000fcc: JUMP
00000fcd: JUMPDEST
00000fce: PUSH1 0x01
00000fd0: PUSH1 0xa0
00000fd2: PUSH1 0x02
00000fd4: EXP
00000fd5: SUB
00000fd6: DUP8
00000fd7: AND
00000fd8: PUSH1 0x00
00000fda: SWAP1
00000fdb: DUP2
00000fdc: MSTORE
00000fdd: PUSH1 0x03
00000fdf: PUSH1 0x20
00000fe1: SWAP1
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x40
00000fe6: DUP1
00000fe7: DUP4
00000fe8: KECCAK256
00000fe9: SWAP4
00000fea: SWAP1
00000feb: SWAP4
00000fec: SSTORE
00000fed: PUSH1 0x04
00000fef: SWAP1
00000ff0: MSTORE
00000ff1: SWAP1
00000ff2: DUP2
00000ff3: KECCAK256
00000ff4: SLOAD
00000ff5: GT
00000ff6: ISZERO
00000ff7: PUSH2 0x1011
00000ffa: JUMPI
00000ffb: PUSH1 0x08
00000ffd: SLOAD
00000ffe: PUSH2 0x100d
00001001: SWAP1
00001002: DUP6
00001003: PUSH4 0xffffffff
00001008: PUSH2 0x09aa
0000100b: AND
0000100c: JUMP
0000100d: JUMPDEST
0000100e: PUSH1 0x08
00001010: SSTORE
00001011: JUMPDEST
00001012: PUSH1 0x01
00001014: PUSH1 0xa0
00001016: PUSH1 0x02
00001018: EXP
00001019: SUB
0000101a: DUP7
0000101b: AND
0000101c: PUSH1 0x00
0000101e: SWAP1
0000101f: DUP2
00001020: MSTORE
00001021: PUSH1 0x02
00001023: PUSH1 0x20
00001025: MSTORE
00001026: PUSH1 0x40
00001028: DUP2
00001029: KECCAK256
0000102a: SLOAD
0000102b: GT
0000102c: ISZERO
0000102d: PUSH2 0x1039
00001030: JUMPI
00001031: PUSH2 0x1039
00001034: DUP7
00001035: PUSH2 0x09bc
00001038: JUMP
00001039: JUMPDEST
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: POP
0000103e: POP
0000103f: POP
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH1 0x07
00001046: PUSH1 0x20
00001048: MSTORE
00001049: PUSH1 0x00
0000104b: SWAP1
0000104c: DUP2
0000104d: MSTORE
0000104e: PUSH1 0x40
00001050: SWAP1
00001051: KECCAK256
00001052: SLOAD
00001053: PUSH1 0xff
00001055: AND
00001056: DUP2
00001057: JUMP
00001058: JUMPDEST
00001059: PUSH1 0x0e
0000105b: SLOAD
0000105c: DUP2
0000105d: JUMP
0000105e: JUMPDEST
0000105f: PUSH1 0x00
00001061: SLOAD
00001062: PUSH1 0x01
00001064: PUSH1 0xa0
00001066: PUSH1 0x02
00001068: EXP
00001069: SUB
0000106a: AND
0000106b: DUP2
0000106c: JUMP
0000106d: JUMPDEST
0000106e: PUSH1 0x60
00001070: DUP1
00001071: PUSH1 0x60
00001073: DUP1
00001074: PUSH1 0x00
00001076: PUSH1 0x06
00001078: SLOAD
00001079: PUSH1 0x40
0000107b: MLOAD
0000107c: SWAP1
0000107d: DUP1
0000107e: DUP3
0000107f: MSTORE
00001080: DUP1
00001081: PUSH1 0x20
00001083: MUL
00001084: PUSH1 0x20
00001086: ADD
00001087: DUP3
00001088: ADD
00001089: PUSH1 0x40
0000108b: MSTORE
0000108c: DUP1
0000108d: ISZERO
0000108e: PUSH2 0x10a1
00001091: JUMPI
00001092: DUP2
00001093: PUSH1 0x20
00001095: ADD
00001096: PUSH1 0x20
00001098: DUP3
00001099: MUL
0000109a: DUP1
0000109b: CODESIZE
0000109c: DUP4
0000109d: CODECOPY
0000109e: ADD
0000109f: SWAP1
000010a0: POP
000010a1: JUMPDEST
000010a2: POP
000010a3: SWAP3
000010a4: POP
000010a5: PUSH1 0x06
000010a7: SLOAD
000010a8: PUSH1 0x40
000010aa: MLOAD
000010ab: SWAP1
000010ac: DUP1
000010ad: DUP3
000010ae: MSTORE
000010af: DUP1
000010b0: PUSH1 0x20
000010b2: MUL
000010b3: PUSH1 0x20
000010b5: ADD
000010b6: DUP3
000010b7: ADD
000010b8: PUSH1 0x40
000010ba: MSTORE
000010bb: DUP1
000010bc: ISZERO
000010bd: PUSH2 0x10d0
000010c0: JUMPI
000010c1: DUP2
000010c2: PUSH1 0x20
000010c4: ADD
000010c5: PUSH1 0x20
000010c7: DUP3
000010c8: MUL
000010c9: DUP1
000010ca: CODESIZE
000010cb: DUP4
000010cc: CODECOPY
000010cd: ADD
000010ce: SWAP1
000010cf: POP
000010d0: JUMPDEST
000010d1: POP
000010d2: SWAP2
000010d3: POP
000010d4: PUSH1 0x01
000010d6: SWAP1
000010d7: POP
000010d8: JUMPDEST
000010d9: PUSH1 0x06
000010db: SLOAD
000010dc: DUP2
000010dd: GT
000010de: PUSH2 0x1166
000010e1: JUMPI
000010e2: PUSH1 0x00
000010e4: DUP2
000010e5: DUP2
000010e6: MSTORE
000010e7: PUSH1 0x05
000010e9: PUSH1 0x20
000010eb: MSTORE
000010ec: PUSH1 0x40
000010ee: SWAP1
000010ef: KECCAK256
000010f0: SLOAD
000010f1: DUP4
000010f2: MLOAD
000010f3: PUSH1 0x01
000010f5: PUSH1 0xa0
000010f7: PUSH1 0x02
000010f9: EXP
000010fa: SUB
000010fb: SWAP1
000010fc: SWAP2
000010fd: AND
000010fe: SWAP1
000010ff: DUP5
00001100: SWAP1
00001101: PUSH1 0x00
00001103: NOT
00001104: DUP5
00001105: ADD
00001106: SWAP1
00001107: DUP2
00001108: LT
00001109: PUSH2 0x110e
0000110c: JUMPI
0000110d: INVALID
0000110e: JUMPDEST
0000110f: PUSH1 0x01
00001111: PUSH1 0xa0
00001113: PUSH1 0x02
00001115: EXP
00001116: SUB
00001117: SWAP3
00001118: DUP4
00001119: AND
0000111a: PUSH1 0x20
0000111c: SWAP2
0000111d: DUP3
0000111e: MUL
0000111f: SWAP1
00001120: SWAP3
00001121: ADD
00001122: DUP2
00001123: ADD
00001124: SWAP2
00001125: SWAP1
00001126: SWAP2
00001127: MSTORE
00001128: PUSH1 0x00
0000112a: DUP4
0000112b: DUP2
0000112c: MSTORE
0000112d: PUSH1 0x05
0000112f: DUP3
00001130: MSTORE
00001131: PUSH1 0x40
00001133: DUP1
00001134: DUP3
00001135: KECCAK256
00001136: SLOAD
00001137: SWAP1
00001138: SWAP4
00001139: AND
0000113a: DUP2
0000113b: MSTORE
0000113c: PUSH1 0x03
0000113e: SWAP1
0000113f: SWAP2
00001140: MSTORE
00001141: KECCAK256
00001142: SLOAD
00001143: DUP3
00001144: MLOAD
00001145: DUP4
00001146: SWAP1
00001147: PUSH1 0x00
00001149: NOT
0000114a: DUP5
0000114b: ADD
0000114c: SWAP1
0000114d: DUP2
0000114e: LT
0000114f: PUSH2 0x1154
00001152: JUMPI
00001153: INVALID
00001154: JUMPDEST
00001155: PUSH1 0x20
00001157: SWAP1
00001158: DUP2
00001159: MUL
0000115a: SWAP1
0000115b: SWAP2
0000115c: ADD
0000115d: ADD
0000115e: MSTORE
0000115f: PUSH1 0x01
00001161: ADD
00001162: PUSH2 0x10d8
00001165: JUMP
00001166: JUMPDEST
00001167: POP
00001168: SWAP1
00001169: SWAP4
0000116a: SWAP1
0000116b: SWAP3
0000116c: POP
0000116d: SWAP1
0000116e: POP
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH2 0x1179
00001174: CALLER
00001175: PUSH2 0x0708
00001178: JUMP
00001179: JUMPDEST
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x12
0000117e: SLOAD
0000117f: DUP2
00001180: JUMP
00001181: JUMPDEST
00001182: CALLER
00001183: PUSH1 0x00
00001185: DUP1
00001186: DUP1
00001187: DUP1
00001188: DUP1
00001189: DUP7
0000118a: GT
0000118b: DUP1
0000118c: ISZERO
0000118d: PUSH2 0x11ae
00001190: JUMPI
00001191: POP
00001192: PUSH1 0x01
00001194: PUSH1 0xa0
00001196: PUSH1 0x02
00001198: EXP
00001199: SUB
0000119a: DUP6
0000119b: AND
0000119c: PUSH1 0x00
0000119e: SWAP1
0000119f: DUP2
000011a0: MSTORE
000011a1: PUSH1 0x02
000011a3: PUSH1 0x20
000011a5: MSTORE
000011a6: PUSH1 0x40
000011a8: SWAP1
000011a9: KECCAK256
000011aa: SLOAD
000011ab: DUP7
000011ac: GT
000011ad: ISZERO
000011ae: JUMPDEST
000011af: ISZERO
000011b0: ISZERO
000011b1: PUSH2 0x11b9
000011b4: JUMPI
000011b5: PUSH1 0x00
000011b7: DUP1
000011b8: REVERT
000011b9: JUMPDEST
000011ba: PUSH2 0x11c2
000011bd: DUP6
000011be: PUSH2 0x0708
000011c1: JUMP
000011c2: JUMPDEST
000011c3: PUSH2 0x11d8
000011c6: PUSH1 0x64
000011c8: PUSH2 0x01b7
000011cb: DUP9
000011cc: PUSH1 0x59
000011ce: PUSH4 0xffffffff
000011d3: PUSH2 0x08bd
000011d6: AND
000011d7: JUMP
000011d8: JUMPDEST
000011d9: SWAP4
000011da: POP
000011db: PUSH2 0x11f0
000011de: PUSH1 0x64
000011e0: PUSH2 0x01b7
000011e3: DUP9
000011e4: PUSH1 0x06
000011e6: PUSH4 0xffffffff
000011eb: PUSH2 0x08bd
000011ee: AND
000011ef: JUMP
000011f0: JUMPDEST
000011f1: SWAP3
000011f2: POP
000011f3: PUSH2 0x1208
000011f6: PUSH1 0x64
000011f8: PUSH2 0x01b7
000011fb: DUP9
000011fc: PUSH1 0x04
000011fe: PUSH4 0xffffffff
00001203: PUSH2 0x08bd
00001206: AND
00001207: JUMP
00001208: JUMPDEST
00001209: SWAP2
0000120a: POP
0000120b: PUSH2 0x1220
0000120e: PUSH1 0x64
00001210: PUSH2 0x01b7
00001213: DUP9
00001214: PUSH1 0x01
00001216: PUSH4 0xffffffff
0000121b: PUSH2 0x08bd
0000121e: AND
0000121f: JUMP
00001220: JUMPDEST
00001221: PUSH1 0x01
00001223: PUSH1 0xa0
00001225: PUSH1 0x02
00001227: EXP
00001228: SUB
00001229: DUP7
0000122a: AND
0000122b: PUSH1 0x00
0000122d: SWAP1
0000122e: DUP2
0000122f: MSTORE
00001230: PUSH1 0x02
00001232: PUSH1 0x20
00001234: MSTORE
00001235: PUSH1 0x40
00001237: SWAP1
00001238: KECCAK256
00001239: SLOAD
0000123a: SWAP1
0000123b: SWAP2
0000123c: POP
0000123d: PUSH2 0x124c
00001240: SWAP1
00001241: DUP8
00001242: PUSH4 0xffffffff
00001247: PUSH2 0x16d2
0000124a: AND
0000124b: JUMP
0000124c: JUMPDEST
0000124d: PUSH1 0x01
0000124f: PUSH1 0xa0
00001251: PUSH1 0x02
00001253: EXP
00001254: SUB
00001255: DUP7
00001256: AND
00001257: PUSH1 0x00
00001259: SWAP1
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x02
0000125e: PUSH1 0x20
00001260: SWAP1
00001261: DUP2
00001262: MSTORE
00001263: PUSH1 0x40
00001265: DUP1
00001266: DUP4
00001267: KECCAK256
00001268: SWAP4
00001269: SWAP1
0000126a: SWAP4
0000126b: SSTORE
0000126c: PUSH1 0x04
0000126e: SWAP1
0000126f: MSTORE
00001270: SWAP1
00001271: DUP2
00001272: KECCAK256
00001273: SLOAD
00001274: GT
00001275: ISZERO
00001276: PUSH2 0x1290
00001279: JUMPI
0000127a: PUSH1 0x09
0000127c: SLOAD
0000127d: PUSH2 0x128c
00001280: SWAP1
00001281: DUP8
00001282: PUSH4 0xffffffff
00001287: PUSH2 0x16d2
0000128a: AND
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0x09
0000128f: SSTORE
00001290: JUMPDEST
00001291: PUSH1 0x01
00001293: PUSH1 0xa0
00001295: PUSH1 0x02
00001297: EXP
00001298: SUB
00001299: DUP6
0000129a: AND
0000129b: PUSH1 0x00
0000129d: SWAP1
0000129e: DUP2
0000129f: MSTORE
000012a0: PUSH1 0x02
000012a2: PUSH1 0x20
000012a4: MSTORE
000012a5: PUSH1 0x40
000012a7: SWAP1
000012a8: KECCAK256
000012a9: SLOAD
000012aa: ISZERO
000012ab: ISZERO
000012ac: PUSH2 0x12b8
000012af: JUMPI
000012b0: PUSH2 0x12b8
000012b3: DUP6
000012b4: PUSH2 0x1779
000012b7: JUMP
000012b8: JUMPDEST
000012b9: PUSH1 0x40
000012bb: MLOAD
000012bc: PUSH1 0x01
000012be: PUSH1 0xa0
000012c0: PUSH1 0x02
000012c2: EXP
000012c3: SUB
000012c4: DUP7
000012c5: AND
000012c6: SWAP1
000012c7: DUP6
000012c8: ISZERO
000012c9: PUSH2 0x08fc
000012cc: MUL
000012cd: SWAP1
000012ce: DUP7
000012cf: SWAP1
000012d0: PUSH1 0x00
000012d2: DUP2
000012d3: DUP2
000012d4: DUP2
000012d5: DUP6
000012d6: DUP9
000012d7: DUP9
000012d8: CALL
000012d9: SWAP4
000012da: POP
000012db: POP
000012dc: POP
000012dd: POP
000012de: ISZERO
000012df: DUP1
000012e0: ISZERO
000012e1: PUSH2 0x12ee
000012e4: JUMPI
000012e5: RETURNDATASIZE
000012e6: PUSH1 0x00
000012e8: DUP1
000012e9: RETURNDATACOPY
000012ea: RETURNDATASIZE
000012eb: PUSH1 0x00
000012ed: REVERT
000012ee: JUMPDEST
000012ef: POP
000012f0: PUSH2 0x12f9
000012f3: DUP4
000012f4: DUP4
000012f5: PUSH2 0x0919
000012f8: JUMP
000012f9: JUMPDEST
000012fa: PUSH1 0x00
000012fc: DUP1
000012fd: SLOAD
000012fe: PUSH1 0x40
00001300: MLOAD
00001301: PUSH1 0x01
00001303: PUSH1 0xa0
00001305: PUSH1 0x02
00001307: EXP
00001308: SUB
00001309: SWAP1
0000130a: SWAP2
0000130b: AND
0000130c: SWAP2
0000130d: DUP4
0000130e: ISZERO
0000130f: PUSH2 0x08fc
00001312: MUL
00001313: SWAP2
00001314: DUP5
00001315: SWAP2
00001316: DUP2
00001317: DUP2
00001318: DUP2
00001319: DUP6
0000131a: DUP9
0000131b: DUP9
0000131c: CALL
0000131d: SWAP4
0000131e: POP
0000131f: POP
00001320: POP
00001321: POP
00001322: ISZERO
00001323: DUP1
00001324: ISZERO
00001325: PUSH2 0x1332
00001328: JUMPI
00001329: RETURNDATASIZE
0000132a: PUSH1 0x00
0000132c: DUP1
0000132d: RETURNDATACOPY
0000132e: RETURNDATASIZE
0000132f: PUSH1 0x00
00001331: REVERT
00001332: JUMPDEST
00001333: POP
00001334: POP
00001335: POP
00001336: POP
00001337: POP
00001338: POP
00001339: POP
0000133a: JUMP
0000133b: JUMPDEST
0000133c: PUSH1 0x02
0000133e: PUSH1 0x20
00001340: MSTORE
00001341: PUSH1 0x00
00001343: SWAP1
00001344: DUP2
00001345: MSTORE
00001346: PUSH1 0x40
00001348: SWAP1
00001349: KECCAK256
0000134a: SLOAD
0000134b: DUP2
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x0d
00001350: PUSH1 0x20
00001352: MSTORE
00001353: PUSH1 0x00
00001355: SWAP1
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x40
0000135a: SWAP1
0000135b: KECCAK256
0000135c: SLOAD
0000135d: DUP2
0000135e: JUMP
0000135f: JUMPDEST
00001360: PUSH1 0x11
00001362: PUSH1 0x20
00001364: MSTORE
00001365: PUSH1 0x00
00001367: SWAP1
00001368: DUP2
00001369: MSTORE
0000136a: PUSH1 0x40
0000136c: SWAP1
0000136d: KECCAK256
0000136e: SLOAD
0000136f: DUP2
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x10
00001374: SLOAD
00001375: DUP2
00001376: JUMP
00001377: JUMPDEST
00001378: PUSH1 0x05
0000137a: PUSH1 0x20
0000137c: MSTORE
0000137d: PUSH1 0x00
0000137f: SWAP1
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x40
00001384: SWAP1
00001385: KECCAK256
00001386: SLOAD
00001387: PUSH1 0x01
00001389: PUSH1 0xa0
0000138b: PUSH1 0x02
0000138d: EXP
0000138e: SUB
0000138f: AND
00001390: DUP2
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x08
00001395: SLOAD
00001396: SWAP1
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x00
0000139b: SLOAD
0000139c: PUSH1 0x01
0000139e: PUSH1 0xa0
000013a0: PUSH1 0x02
000013a2: EXP
000013a3: SUB
000013a4: AND
000013a5: CALLER
000013a6: EQ
000013a7: PUSH2 0x13af
000013aa: JUMPI
000013ab: PUSH1 0x00
000013ad: DUP1
000013ae: REVERT
000013af: JUMPDEST
000013b0: PUSH1 0x01
000013b2: PUSH1 0xa0
000013b4: PUSH1 0x02
000013b6: EXP
000013b7: SUB
000013b8: DUP2
000013b9: AND
000013ba: ISZERO
000013bb: ISZERO
000013bc: PUSH2 0x13c4
000013bf: JUMPI
000013c0: PUSH1 0x00
000013c2: DUP1
000013c3: REVERT
000013c4: JUMPDEST
000013c5: PUSH1 0x00
000013c7: DUP1
000013c8: SLOAD
000013c9: PUSH1 0x40
000013cb: MLOAD
000013cc: PUSH1 0x01
000013ce: PUSH1 0xa0
000013d0: PUSH1 0x02
000013d2: EXP
000013d3: SUB
000013d4: DUP1
000013d5: DUP6
000013d6: AND
000013d7: SWAP4
000013d8: SWAP3
000013d9: AND
000013da: SWAP2
000013db: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000013fc: SWAP2
000013fd: LOG3
000013fe: PUSH1 0x00
00001400: DUP1
00001401: SLOAD
00001402: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001417: NOT
00001418: AND
00001419: PUSH1 0x01
0000141b: PUSH1 0xa0
0000141d: PUSH1 0x02
0000141f: EXP
00001420: SUB
00001421: SWAP3
00001422: SWAP1
00001423: SWAP3
00001424: AND
00001425: SWAP2
00001426: SWAP1
00001427: SWAP2
00001428: OR
00001429: SWAP1
0000142a: SSTORE
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH1 0x06
0000142f: SLOAD
00001430: DUP2
00001431: JUMP
00001432: JUMPDEST
00001433: CALLER
00001434: PUSH1 0x00
00001436: DUP1
00001437: DUP1
00001438: DUP1
00001439: PUSH2 0x1441
0000143c: DUP6
0000143d: PUSH2 0x0708
00001440: JUMP
00001441: JUMPDEST
00001442: PUSH1 0x00
00001444: DUP9
00001445: GT
00001446: DUP1
00001447: ISZERO
00001448: PUSH2 0x1469
0000144b: JUMPI
0000144c: POP
0000144d: PUSH1 0x01
0000144f: PUSH1 0xa0
00001451: PUSH1 0x02
00001453: EXP
00001454: SUB
00001455: DUP6
00001456: AND
00001457: PUSH1 0x00
00001459: SWAP1
0000145a: DUP2
0000145b: MSTORE
0000145c: PUSH1 0x03
0000145e: PUSH1 0x20
00001460: MSTORE
00001461: PUSH1 0x40
00001463: SWAP1
00001464: KECCAK256
00001465: SLOAD
00001466: DUP9
00001467: GT
00001468: ISZERO
00001469: JUMPDEST
0000146a: ISZERO
0000146b: ISZERO
0000146c: PUSH2 0x1474
0000146f: JUMPI
00001470: PUSH1 0x00
00001472: DUP1
00001473: REVERT
00001474: JUMPDEST
00001475: PUSH2 0x148a
00001478: PUSH1 0x64
0000147a: PUSH2 0x01b7
0000147d: DUP11
0000147e: PUSH1 0x59
00001480: PUSH4 0xffffffff
00001485: PUSH2 0x08bd
00001488: AND
00001489: JUMP
0000148a: JUMPDEST
0000148b: SWAP4
0000148c: POP
0000148d: PUSH2 0x14a2
00001490: PUSH1 0x64
00001492: PUSH2 0x01b7
00001495: DUP11
00001496: PUSH1 0x06
00001498: PUSH4 0xffffffff
0000149d: PUSH2 0x08bd
000014a0: AND
000014a1: JUMP
000014a2: JUMPDEST
000014a3: SWAP3
000014a4: POP
000014a5: PUSH2 0x14ba
000014a8: PUSH1 0x64
000014aa: PUSH2 0x01b7
000014ad: DUP11
000014ae: PUSH1 0x04
000014b0: PUSH4 0xffffffff
000014b5: PUSH2 0x08bd
000014b8: AND
000014b9: JUMP
000014ba: JUMPDEST
000014bb: SWAP2
000014bc: POP
000014bd: PUSH2 0x14d2
000014c0: PUSH1 0x64
000014c2: PUSH2 0x01b7
000014c5: DUP11
000014c6: PUSH1 0x01
000014c8: PUSH4 0xffffffff
000014cd: PUSH2 0x08bd
000014d0: AND
000014d1: JUMP
000014d2: JUMPDEST
000014d3: PUSH1 0x01
000014d5: PUSH1 0xa0
000014d7: PUSH1 0x02
000014d9: EXP
000014da: SUB
000014db: DUP7
000014dc: AND
000014dd: PUSH1 0x00
000014df: SWAP1
000014e0: DUP2
000014e1: MSTORE
000014e2: PUSH1 0x03
000014e4: PUSH1 0x20
000014e6: MSTORE
000014e7: PUSH1 0x40
000014e9: SWAP1
000014ea: KECCAK256
000014eb: SLOAD
000014ec: SWAP1
000014ed: SWAP2
000014ee: POP
000014ef: PUSH2 0x14fe
000014f2: SWAP1
000014f3: DUP10
000014f4: PUSH4 0xffffffff
000014f9: PUSH2 0x16d2
000014fc: AND
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x01
00001501: PUSH1 0xa0
00001503: PUSH1 0x02
00001505: EXP
00001506: SUB
00001507: DUP7
00001508: AND
00001509: PUSH1 0x00
0000150b: SWAP1
0000150c: DUP2
0000150d: MSTORE
0000150e: PUSH1 0x03
00001510: PUSH1 0x20
00001512: SWAP1
00001513: DUP2
00001514: MSTORE
00001515: PUSH1 0x40
00001517: DUP1
00001518: DUP4
00001519: KECCAK256
0000151a: SWAP4
0000151b: SWAP1
0000151c: SWAP4
0000151d: SSTORE
0000151e: PUSH1 0x04
00001520: SWAP1
00001521: MSTORE
00001522: SWAP1
00001523: DUP2
00001524: KECCAK256
00001525: SLOAD
00001526: GT
00001527: ISZERO
00001528: PUSH2 0x1542
0000152b: JUMPI
0000152c: PUSH1 0x08
0000152e: SLOAD
0000152f: PUSH2 0x153e
00001532: SWAP1
00001533: DUP10
00001534: PUSH4 0xffffffff
00001539: PUSH2 0x16d2
0000153c: AND
0000153d: JUMP
0000153e: JUMPDEST
0000153f: PUSH1 0x08
00001541: SSTORE
00001542: JUMPDEST
00001543: PUSH1 0x01
00001545: PUSH1 0xa0
00001547: PUSH1 0x02
00001549: EXP
0000154a: SUB
0000154b: DUP6
0000154c: AND
0000154d: PUSH1 0x00
0000154f: SWAP1
00001550: DUP2
00001551: MSTORE
00001552: PUSH1 0x03
00001554: PUSH1 0x20
00001556: MSTORE
00001557: PUSH1 0x40
00001559: SWAP1
0000155a: KECCAK256
0000155b: SLOAD
0000155c: ISZERO
0000155d: ISZERO
0000155e: PUSH2 0x156a
00001561: JUMPI
00001562: PUSH2 0x156a
00001565: DUP6
00001566: PUSH2 0x1779
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x01
0000156d: SLOAD
0000156e: PUSH1 0x40
00001570: DUP1
00001571: MLOAD
00001572: PUSH1 0xe0
00001574: PUSH1 0x02
00001576: EXP
00001577: PUSH4 0xa9059cbb
0000157c: MUL
0000157d: DUP2
0000157e: MSTORE
0000157f: PUSH1 0x01
00001581: PUSH1 0xa0
00001583: PUSH1 0x02
00001585: EXP
00001586: SUB
00001587: DUP9
00001588: DUP2
00001589: AND
0000158a: PUSH1 0x04
0000158c: DUP4
0000158d: ADD
0000158e: MSTORE
0000158f: PUSH1 0x24
00001591: DUP3
00001592: ADD
00001593: DUP9
00001594: SWAP1
00001595: MSTORE
00001596: SWAP2
00001597: MLOAD
00001598: SWAP2
00001599: SWAP1
0000159a: SWAP3
0000159b: AND
0000159c: SWAP2
0000159d: PUSH4 0xa9059cbb
000015a2: SWAP2
000015a3: PUSH1 0x44
000015a5: DUP1
000015a6: DUP4
000015a7: ADD
000015a8: SWAP3
000015a9: PUSH1 0x20
000015ab: SWAP3
000015ac: SWAP2
000015ad: SWAP1
000015ae: DUP3
000015af: SWAP1
000015b0: SUB
000015b1: ADD
000015b2: DUP2
000015b3: PUSH1 0x00
000015b5: DUP8
000015b6: DUP1
000015b7: EXTCODESIZE
000015b8: ISZERO
000015b9: DUP1
000015ba: ISZERO
000015bb: PUSH2 0x15c3
000015be: JUMPI
000015bf: PUSH1 0x00
000015c1: DUP1
000015c2: REVERT
000015c3: JUMPDEST
000015c4: POP
000015c5: GAS
000015c6: CALL
000015c7: ISZERO
000015c8: DUP1
000015c9: ISZERO
000015ca: PUSH2 0x15d7
000015cd: JUMPI
000015ce: RETURNDATASIZE
000015cf: PUSH1 0x00
000015d1: DUP1
000015d2: RETURNDATACOPY
000015d3: RETURNDATASIZE
000015d4: PUSH1 0x00
000015d6: REVERT
000015d7: JUMPDEST
000015d8: POP
000015d9: POP
000015da: POP
000015db: POP
000015dc: PUSH1 0x40
000015de: MLOAD
000015df: RETURNDATASIZE
000015e0: PUSH1 0x20
000015e2: DUP2
000015e3: LT
000015e4: ISZERO
000015e5: PUSH2 0x15ed
000015e8: JUMPI
000015e9: PUSH1 0x00
000015eb: DUP1
000015ec: REVERT
000015ed: JUMPDEST
000015ee: POP
000015ef: PUSH2 0x15fa
000015f2: SWAP1
000015f3: POP
000015f4: DUP4
000015f5: DUP4
000015f6: PUSH2 0x16e9
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x01
000015fd: SLOAD
000015fe: PUSH1 0x40
00001600: DUP1
00001601: MLOAD
00001602: PUSH1 0xe0
00001604: PUSH1 0x02
00001606: EXP
00001607: PUSH4 0xa9059cbb
0000160c: MUL
0000160d: DUP2
0000160e: MSTORE
0000160f: PUSH1 0x01
00001611: PUSH1 0xa0
00001613: PUSH1 0x02
00001615: EXP
00001616: SUB
00001617: DUP11
00001618: DUP2
00001619: AND
0000161a: PUSH1 0x04
0000161c: DUP4
0000161d: ADD
0000161e: MSTORE
0000161f: PUSH1 0x24
00001621: DUP3
00001622: ADD
00001623: DUP6
00001624: SWAP1
00001625: MSTORE
00001626: SWAP2
00001627: MLOAD
00001628: SWAP2
00001629: SWAP1
0000162a: SWAP3
0000162b: AND
0000162c: SWAP2
0000162d: PUSH4 0xa9059cbb
00001632: SWAP2
00001633: PUSH1 0x44
00001635: DUP1
00001636: DUP4
00001637: ADD
00001638: SWAP3
00001639: PUSH1 0x20
0000163b: SWAP3
0000163c: SWAP2
0000163d: SWAP1
0000163e: DUP3
0000163f: SWAP1
00001640: SUB
00001641: ADD
00001642: DUP2
00001643: PUSH1 0x00
00001645: DUP8
00001646: DUP1
00001647: EXTCODESIZE
00001648: ISZERO
00001649: DUP1
0000164a: ISZERO
0000164b: PUSH2 0x1653
0000164e: JUMPI
0000164f: PUSH1 0x00
00001651: DUP1
00001652: REVERT
00001653: JUMPDEST
00001654: POP
00001655: GAS
00001656: CALL
00001657: ISZERO
00001658: DUP1
00001659: ISZERO
0000165a: PUSH2 0x1667
0000165d: JUMPI
0000165e: RETURNDATASIZE
0000165f: PUSH1 0x00
00001661: DUP1
00001662: RETURNDATACOPY
00001663: RETURNDATASIZE
00001664: PUSH1 0x00
00001666: REVERT
00001667: JUMPDEST
00001668: POP
00001669: POP
0000166a: POP
0000166b: POP
0000166c: PUSH1 0x40
0000166e: MLOAD
0000166f: RETURNDATASIZE
00001670: PUSH1 0x20
00001672: DUP2
00001673: LT
00001674: ISZERO
00001675: PUSH2 0x167d
00001678: JUMPI
00001679: PUSH1 0x00
0000167b: DUP1
0000167c: REVERT
0000167d: JUMPDEST
0000167e: POP
0000167f: POP
00001680: PUSH1 0x40
00001682: DUP1
00001683: MLOAD
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: PUSH1 0x02
0000168a: EXP
0000168b: SUB
0000168c: DUP10
0000168d: AND
0000168e: DUP2
0000168f: MSTORE
00001690: PUSH1 0x20
00001692: DUP2
00001693: ADD
00001694: DUP4
00001695: SWAP1
00001696: MSTORE
00001697: DUP1
00001698: DUP3
00001699: ADD
0000169a: DUP9
0000169b: SWAP1
0000169c: MSTORE
0000169d: SWAP1
0000169e: MLOAD
0000169f: PUSH32 0xc804beabd6deef69632486188d3b1a0fc6837d20bf348393884d368fa5bf10cd
000016c0: SWAP2
000016c1: DUP2
000016c2: SWAP1
000016c3: SUB
000016c4: PUSH1 0x60
000016c6: ADD
000016c7: SWAP1
000016c8: LOG1
000016c9: POP
000016ca: POP
000016cb: POP
000016cc: POP
000016cd: POP
000016ce: POP
000016cf: POP
000016d0: POP
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH1 0x00
000016d5: DUP1
000016d6: DUP4
000016d7: DUP4
000016d8: GT
000016d9: ISZERO
000016da: PUSH2 0x16e2
000016dd: JUMPI
000016de: PUSH1 0x00
000016e0: DUP1
000016e1: REVERT
000016e2: JUMPDEST
000016e3: POP
000016e4: POP
000016e5: SWAP1
000016e6: SUB
000016e7: SWAP1
000016e8: JUMP
000016e9: JUMPDEST
000016ea: PUSH1 0x00
000016ec: DUP1
000016ed: PUSH2 0x16f4
000016f0: PUSH2 0x1392
000016f3: JUMP
000016f4: JUMPDEST
000016f5: SWAP2
000016f6: POP
000016f7: PUSH2 0x16fe
000016fa: PUSH2 0x0ab9
000016fd: JUMP
000016fe: JUMPDEST
000016ff: SWAP1
00001700: POP
00001701: DUP1
00001702: ISZERO
00001703: DUP1
00001704: PUSH2 0x170b
00001707: JUMPI
00001708: POP
00001709: DUP2
0000170a: ISZERO
0000170b: JUMPDEST
0000170c: ISZERO
0000170d: PUSH2 0x1715
00001710: JUMPI
00001711: PUSH2 0x09a4
00001714: JUMP
00001715: JUMPDEST
00001716: PUSH2 0x1740
00001719: PUSH2 0x1731
0000171c: DUP3
0000171d: PUSH2 0x01b7
00001720: PUSH1 0x0a
00001722: SLOAD
00001723: DUP8
00001724: PUSH2 0x08bd
00001727: SWAP1
00001728: SWAP2
00001729: SWAP1
0000172a: PUSH4 0xffffffff
0000172f: AND
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x12
00001734: SLOAD
00001735: SWAP1
00001736: PUSH4 0xffffffff
0000173b: PUSH2 0x09aa
0000173e: AND
0000173f: JUMP
00001740: JUMPDEST
00001741: PUSH1 0x12
00001743: SSTORE
00001744: PUSH1 0x0a
00001746: SLOAD
00001747: PUSH2 0x1770
0000174a: SWAP1
0000174b: PUSH2 0x1761
0000174e: SWAP1
0000174f: DUP5
00001750: SWAP1
00001751: PUSH2 0x01b7
00001754: SWAP1
00001755: DUP9
00001756: SWAP1
00001757: PUSH4 0xffffffff
0000175c: PUSH2 0x08bd
0000175f: AND
00001760: JUMP
00001761: JUMPDEST
00001762: PUSH1 0x10
00001764: SLOAD
00001765: SWAP1
00001766: PUSH4 0xffffffff
0000176b: PUSH2 0x09aa
0000176e: AND
0000176f: JUMP
00001770: JUMPDEST
00001771: PUSH1 0x10
00001773: SSTORE
00001774: POP
00001775: POP
00001776: POP
00001777: POP
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH1 0x01
0000177c: PUSH1 0xa0
0000177e: PUSH1 0x02
00001780: EXP
00001781: SUB
00001782: DUP2
00001783: AND
00001784: PUSH1 0x00
00001786: SWAP1
00001787: DUP2
00001788: MSTORE
00001789: PUSH1 0x07
0000178b: PUSH1 0x20
0000178d: SWAP1
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x40
00001792: DUP1
00001793: DUP4
00001794: KECCAK256
00001795: DUP1
00001796: SLOAD
00001797: PUSH1 0xff
00001799: NOT
0000179a: AND
0000179b: SWAP1
0000179c: SSTORE
0000179d: PUSH1 0x04
0000179f: SWAP1
000017a0: SWAP2
000017a1: MSTORE
000017a2: DUP2
000017a3: KECCAK256
000017a4: SLOAD
000017a5: GT
000017a6: ISZERO
000017a7: PUSH2 0x0a9e
000017aa: JUMPI
000017ab: PUSH1 0x01
000017ad: PUSH1 0xa0
000017af: PUSH1 0x02
000017b1: EXP
000017b2: SUB
000017b3: DUP2
000017b4: AND
000017b5: PUSH1 0x00
000017b7: SWAP1
000017b8: DUP2
000017b9: MSTORE
000017ba: PUSH1 0x03
000017bc: PUSH1 0x20
000017be: MSTORE
000017bf: PUSH1 0x40
000017c1: SWAP1
000017c2: KECCAK256
000017c3: SLOAD
000017c4: PUSH1 0x08
000017c6: SLOAD
000017c7: PUSH2 0x17d5
000017ca: SWAP2
000017cb: PUSH4 0xffffffff
000017d0: PUSH2 0x16d2
000017d3: AND
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH1 0x08
000017d8: SSTORE
000017d9: PUSH1 0x01
000017db: PUSH1 0xa0
000017dd: PUSH1 0x02
000017df: EXP
000017e0: SUB
000017e1: DUP2
000017e2: AND
000017e3: PUSH1 0x00
000017e5: SWAP1
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x02
000017ea: PUSH1 0x20
000017ec: MSTORE
000017ed: PUSH1 0x40
000017ef: SWAP1
000017f0: KECCAK256
000017f1: SLOAD
000017f2: PUSH1 0x09
000017f4: SLOAD
000017f5: PUSH2 0x1803
000017f8: SWAP2
000017f9: PUSH4 0xffffffff
000017fe: PUSH2 0x16d2
00001801: AND
00001802: JUMP
00001803: JUMPDEST
00001804: PUSH1 0x09
00001806: SSTORE
00001807: PUSH1 0x06
00001809: DUP1
0000180a: SLOAD
0000180b: PUSH1 0x00
0000180d: SWAP1
0000180e: DUP2
0000180f: MSTORE
00001810: PUSH1 0x05
00001812: PUSH1 0x20
00001814: DUP2
00001815: DUP2
00001816: MSTORE
00001817: PUSH1 0x40
00001819: DUP1
0000181a: DUP5
0000181b: KECCAK256
0000181c: SLOAD
0000181d: PUSH1 0x01
0000181f: PUSH1 0xa0
00001821: PUSH1 0x02
00001823: EXP
00001824: SUB
00001825: SWAP7
00001826: DUP8
00001827: AND
00001828: DUP6
00001829: MSTORE
0000182a: PUSH1 0x04
0000182c: DUP1
0000182d: DUP5
0000182e: MSTORE
0000182f: DUP3
00001830: DUP7
00001831: KECCAK256
00001832: DUP1
00001833: SLOAD
00001834: DUP8
00001835: MSTORE
00001836: DUP6
00001837: DUP6
00001838: MSTORE
00001839: DUP4
0000183a: DUP8
0000183b: KECCAK256
0000183c: DUP1
0000183d: SLOAD
0000183e: SWAP4
0000183f: DUP11
00001840: AND
00001841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001856: NOT
00001857: SWAP5
00001858: DUP6
00001859: AND
0000185a: OR
0000185b: SWAP1
0000185c: SSTORE
0000185d: DUP1
0000185e: SLOAD
0000185f: DUP9
00001860: SLOAD
00001861: DUP9
00001862: MSTORE
00001863: DUP5
00001864: DUP9
00001865: KECCAK256
00001866: SLOAD
00001867: SWAP1
00001868: SWAP10
00001869: AND
0000186a: DUP8
0000186b: MSTORE
0000186c: SWAP1
0000186d: DUP5
0000186e: MSTORE
0000186f: DUP3
00001870: DUP7
00001871: KECCAK256
00001872: SWAP8
00001873: SWAP1
00001874: SWAP8
00001875: SSTORE
00001876: SWAP6
00001877: DUP5
00001878: SWAP1
00001879: SSTORE
0000187a: DUP5
0000187b: SLOAD
0000187c: DUP5
0000187d: MSTORE
0000187e: SWAP2
0000187f: SWAP1
00001880: MSTORE
00001881: SWAP1
00001882: KECCAK256
00001883: DUP1
00001884: SLOAD
00001885: SWAP1
00001886: SWAP3
00001887: AND
00001888: SWAP1
00001889: SWAP2
0000188a: SSTORE
0000188b: DUP1
0000188c: SLOAD
0000188d: PUSH1 0x00
0000188f: NOT
00001890: ADD
00001891: SWAP1
00001892: SSTORE
00001893: JUMP
00001894: STOP
00001895: LOG1
00001896: PUSH6 0x627a7a723058
0000189d: KECCAK256
0000189e: DUP1
0000189f: GT
000018a0: UNKNOWN(0xC7)
000018a1: UNKNOWN(0xA7)
000018a2: UNKNOWN(0xEE)
000018a3: UNKNOWN(0xC6)
000018a4: UNKNOWN(0xC9)
000018a5: UNKNOWN(0xCF)
000018a6: UNKNOWN(0xAE)
000018a7: LOG3
000018a8: UNKNOWN(0xBB)
000018a9: ISZERO
000018aa: UNKNOWN(0x2F)
000018ab: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0
call_targets: 0xbc4191167d4b0251cab5201a527daa8a7d3846b0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbc4191167d4b0251cab5201a527daa8a7d3846b0"
    ],
    "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": "0x03e1001e",
            "selector": "0x03e1001e",
            "calldata_variants": [
                "0x03e1001e",
                "0x03e1001e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0aa8bfe7",
            "selector": "0x0aa8bfe7",
            "calldata_variants": [
                "0x0aa8bfe7",
                "0x0aa8bfe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bb4e6f4",
            "selector": "0x0bb4e6f4",
            "calldata_variants": [
                "0x0bb4e6f4",
                "0x0bb4e6f40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1080b7b1",
            "selector": "0x1080b7b1",
            "calldata_variants": [
                "0x1080b7b1",
                "0x1080b7b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d979f6",
            "selector": "0x10d979f6",
            "calldata_variants": [
                "0x10d979f6",
                "0x10d979f60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1288a8e9",
            "selector": "0x1288a8e9",
            "calldata_variants": [
                "0x1288a8e9",
                "0x1288a8e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1703b7fd",
            "selector": "0x1703b7fd",
            "calldata_variants": [
                "0x1703b7fd",
                "0x1703b7fd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24e5dacd",
            "selector": "0x24e5dacd",
            "calldata_variants": [
                "0x24e5dacd",
                "0x24e5dacd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 570,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1930,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [],
    "untrusted_call_count": 10
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0
call_targets: 0xbc4191167d4b0251cab5201a527daa8a7d3846b0
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x91245b6541267ca61c7a526d7a46dc4a4d3f25e5d89f797b61c0a759339efbf0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbc4191167d4b0251cab5201a527daa8a7d3846b0"
    ],
    "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": "0x03e1001e",
            "selector": "0x03e1001e",
            "calldata_variants": [
                "0x03e1001e",
                "0x03e1001e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0aa8bfe7",
            "selector": "0x0aa8bfe7",
            "calldata_variants": [
                "0x0aa8bfe7",
                "0x0aa8bfe70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bb4e6f4",
            "selector": "0x0bb4e6f4",
            "calldata_variants": [
                "0x0bb4e6f4",
                "0x0bb4e6f40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1080b7b1",
            "selector": "0x1080b7b1",
            "calldata_variants": [
                "0x1080b7b1",
                "0x1080b7b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d979f6",
            "selector": "0x10d979f6",
            "calldata_variants": [
                "0x10d979f6",
                "0x10d979f60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1288a8e9",
            "selector": "0x1288a8e9",
            "calldata_variants": [
                "0x1288a8e9",
                "0x1288a8e90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1703b7fd",
            "selector": "0x1703b7fd",
            "calldata_variants": [
                "0x1703b7fd",
                "0x1703b7fd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24e5dacd",
            "selector": "0x24e5dacd",
            "calldata_variants": [
                "0x24e5dacd",
                "0x24e5dacd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 570,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1930,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2055,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 7
}