Analysis Run

019b3836-542d-73a8-aa79-e41864c04397

complete

Chain ID

1

Address

0x61dc3506fcec16aec5c501d6a0d55f55eb51e867

Block Number

—

Created

Fri, Dec 19, 2025 8:04 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

2

Validated

2

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 2 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
8121	artifact.fetch	complete	1 / 3	3 months ago
8122	tool.cast_disasm	complete	1 / 3	3 months ago
51348	analysis.bundle	complete	1 / 3	1 week ago
51349	capability.graph	complete	1 / 3	1 week ago
51350	detector.run	complete	1 / 3	1 week ago
51351	validation.fork	complete	1 / 3	1 week ago
113358	report.consolidate	complete	1 / 6	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

—

View stderr

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-c8azcvzm
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c91-3d1d-7b11-a369-fb230bd7e5e3
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

Metadata

{
    "codex": {
        "ran_at": "2026-04-05T07:35:17.142077+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 14242,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

27

EXT*/BALANCE

1

Total opcodes

5046

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x01c1
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x029a8bf7
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x01c3
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x107556fd
00000025: EQ
00000026: PUSH2 0x01d9
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x149b4bc1
00000030: EQ
00000031: PUSH2 0x01fa
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x15070401
0000003b: EQ
0000003c: PUSH2 0x0223
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x16318a6e
00000046: EQ
00000047: PUSH2 0x0244
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x1aaeebe3
00000051: EQ
00000052: PUSH2 0x0271
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1e52dec8
0000005c: EQ
0000005d: PUSH2 0x0284
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x274a6c2b
00000067: EQ
00000068: PUSH2 0x02b1
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x387309ce
00000072: EQ
00000073: PUSH2 0x02e7
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x3dd7f552
0000007d: EQ
0000007e: PUSH2 0x02ef
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4592cd1d
00000088: EQ
00000089: PUSH2 0x0366
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4ba79dfe
00000093: EQ
00000094: PUSH2 0x03a9
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x54a77049
0000009e: EQ
0000009f: PUSH2 0x03e6
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x557f4bc9
000000a9: EQ
000000aa: PUSH2 0x042a
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x57a12ae5
000000b4: EQ
000000b5: PUSH2 0x0445
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x5aa77d3c
000000bf: EQ
000000c0: PUSH2 0x048b
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x5d68c8f5
000000ca: EQ
000000cb: PUSH2 0x049d
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x6effec50
000000d5: EQ
000000d6: PUSH2 0x04b9
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x6fae3d76
000000e0: EQ
000000e1: PUSH2 0x05af
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x70a08231
000000eb: EQ
000000ec: PUSH2 0x05c7
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x733480b7
000000f6: EQ
000000f7: PUSH2 0x05de
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x77fe38a4
00000101: EQ
00000102: PUSH2 0x0607
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x78e97925
0000010c: EQ
0000010d: PUSH2 0x0664
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x7e7c0c20
00000117: EQ
00000118: PUSH2 0x066d
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x84691767
00000122: EQ
00000123: PUSH2 0x06e8
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x8af07bfa
0000012d: EQ
0000012e: PUSH2 0x0715
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x8d2ffdc9
00000138: EQ
00000139: PUSH2 0x0799
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x95d89b41
00000143: EQ
00000144: PUSH2 0x07aa
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x9fb2f43b
0000014e: EQ
0000014f: PUSH2 0x07b7
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x9fda5b66
00000159: EQ
0000015a: PUSH2 0x07c0
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa9059cbb
00000164: EQ
00000165: PUSH2 0x080c
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xac35caee
0000016f: EQ
00000170: PUSH2 0x0835
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xb214faa5
0000017a: EQ
0000017b: PUSH2 0x089e
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xce606ee0
00000185: EQ
00000186: PUSH2 0x094e
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xd0e30db0
00000190: EQ
00000191: PUSH2 0x0960
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xd2e646d2
0000019b: EQ
0000019c: PUSH2 0x097d
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xdae04fa2
000001a6: EQ
000001a7: PUSH2 0x0998
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xf0149751
000001b1: EQ
000001b2: PUSH2 0x09dc
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xf89005e7
000001bc: EQ
000001bd: PUSH2 0x09f7
000001c0: JUMPI
000001c1: JUMPDEST
000001c2: STOP
000001c3: JUMPDEST
000001c4: PUSH2 0x0af6
000001c7: PUSH1 0x00
000001c9: PUSH2 0x0b94
000001cc: JUMPDEST
000001cd: PUSH1 0x00
000001cf: PUSH1 0x02
000001d1: DUP2
000001d2: PUSH2 0x19f2
000001d5: PUSH2 0x0227
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH2 0x0b13
000001dd: PUSH1 0x04
000001df: CALLDATALOAD
000001e0: PUSH1 0x24
000001e2: CALLDATALOAD
000001e3: PUSH1 0x44
000001e5: CALLDATALOAD
000001e6: PUSH1 0x64
000001e8: CALLDATALOAD
000001e9: JUMPDEST
000001ea: PUSH1 0x00
000001ec: PUSH1 0x00
000001ee: PUSH1 0x00
000001f0: PUSH2 0x0b9b
000001f3: DUP7
000001f4: DUP7
000001f5: DUP7
000001f6: PUSH2 0x09a5
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH2 0x0b13
000001fe: PUSH1 0x04
00000200: CALLDATALOAD
00000201: PUSH1 0x24
00000203: CALLDATALOAD
00000204: PUSH1 0x00
00000206: PUSH2 0x0bb2
00000209: DUP4
0000020a: DUP4
0000020b: PUSH1 0x20
0000020d: PUSH1 0x40
0000020f: MLOAD
00000210: SWAP1
00000211: DUP2
00000212: ADD
00000213: PUSH1 0x40
00000215: MSTORE
00000216: DUP1
00000217: PUSH1 0x00
00000219: DUP2
0000021a: MSTORE
0000021b: PUSH1 0x20
0000021d: ADD
0000021e: POP
0000021f: PUSH2 0x033c
00000222: JUMP
00000223: JUMPDEST
00000224: PUSH2 0x0b27
00000227: JUMPDEST
00000228: PUSH1 0x01
0000022a: PUSH1 0xa0
0000022c: PUSH1 0x02
0000022e: EXP
0000022f: SUB
00000230: CALLER
00000231: AND
00000232: PUSH1 0x00
00000234: SWAP1
00000235: DUP2
00000236: MSTORE
00000237: PUSH1 0x04
00000239: PUSH1 0x20
0000023b: MSTORE
0000023c: PUSH1 0x40
0000023e: SWAP1
0000023f: KECCAK256
00000240: SLOAD
00000241: JUMPDEST
00000242: SWAP1
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH2 0x0b27
00000248: PUSH1 0x04
0000024a: CALLDATALOAD
0000024b: PUSH1 0x24
0000024d: CALLDATALOAD
0000024e: PUSH1 0x00
00000250: DUP2
00000251: DUP2
00000252: MSTORE
00000253: PUSH1 0x02
00000255: PUSH1 0x20
00000257: SWAP1
00000258: DUP2
00000259: MSTORE
0000025a: PUSH1 0x40
0000025c: DUP1
0000025d: DUP4
0000025e: KECCAK256
0000025f: DUP6
00000260: DUP5
00000261: MSTORE
00000262: PUSH1 0x04
00000264: ADD
00000265: SWAP1
00000266: SWAP2
00000267: MSTORE
00000268: SWAP1
00000269: KECCAK256
0000026a: SLOAD
0000026b: JUMPDEST
0000026c: SWAP3
0000026d: SWAP2
0000026e: POP
0000026f: POP
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH2 0x0b27
00000275: PUSH1 0x04
00000277: CALLDATALOAD
00000278: PUSH1 0x00
0000027a: PUSH1 0x00
0000027c: PUSH2 0x0bb9
0000027f: DUP4
00000280: PUSH2 0x09e3
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH2 0x0b13
00000288: PUSH1 0x04
0000028a: CALLDATALOAD
0000028b: PUSH1 0x24
0000028d: CALLDATALOAD
0000028e: PUSH1 0x44
00000290: CALLDATALOAD
00000291: PUSH1 0x00
00000293: PUSH2 0x0bc1
00000296: DUP5
00000297: DUP5
00000298: DUP5
00000299: PUSH1 0x20
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: SWAP1
0000029f: DUP2
000002a0: ADD
000002a1: PUSH1 0x40
000002a3: MSTORE
000002a4: DUP1
000002a5: PUSH1 0x00
000002a7: DUP2
000002a8: MSTORE
000002a9: PUSH1 0x20
000002ab: ADD
000002ac: POP
000002ad: PUSH2 0x0763
000002b0: JUMP
000002b1: JUMPDEST
000002b2: PUSH2 0x0b13
000002b5: PUSH1 0x04
000002b7: CALLDATALOAD
000002b8: PUSH1 0x24
000002ba: CALLDATALOAD
000002bb: PUSH1 0x44
000002bd: CALLDATALOAD
000002be: PUSH1 0x64
000002c0: CALLDATALOAD
000002c1: JUMPDEST
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: SLOAD
000002c6: DUP2
000002c7: SWAP1
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: PUSH1 0x02
000002ce: EXP
000002cf: SUB
000002d0: SWAP1
000002d1: DUP2
000002d2: AND
000002d3: CALLER
000002d4: SWAP2
000002d5: SWAP1
000002d6: SWAP2
000002d7: AND
000002d8: EQ
000002d9: ISZERO
000002da: PUSH2 0x0bf4
000002dd: JUMPI
000002de: PUSH2 0x0bcb
000002e1: DUP6
000002e2: DUP6
000002e3: PUSH2 0x0987
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH2 0x0b27
000002eb: PUSH1 0x0c
000002ed: DUP2
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x40
000002f2: DUP1
000002f3: MLOAD
000002f4: PUSH1 0x20
000002f6: PUSH1 0x44
000002f8: CALLDATALOAD
000002f9: PUSH1 0x04
000002fb: DUP2
000002fc: DUP2
000002fd: ADD
000002fe: CALLDATALOAD
000002ff: PUSH1 0x1f
00000301: DUP2
00000302: ADD
00000303: DUP5
00000304: SWAP1
00000305: DIV
00000306: DUP5
00000307: MUL
00000308: DUP6
00000309: ADD
0000030a: DUP5
0000030b: ADD
0000030c: SWAP1
0000030d: SWAP6
0000030e: MSTORE
0000030f: DUP5
00000310: DUP5
00000311: MSTORE
00000312: PUSH2 0x0b13
00000315: SWAP5
00000316: DUP2
00000317: CALLDATALOAD
00000318: SWAP5
00000319: PUSH1 0x24
0000031b: DUP1
0000031c: CALLDATALOAD
0000031d: SWAP6
0000031e: SWAP4
0000031f: SWAP5
00000320: PUSH1 0x64
00000322: SWAP5
00000323: SWAP3
00000324: SWAP4
00000325: SWAP2
00000326: ADD
00000327: SWAP2
00000328: DUP2
00000329: SWAP1
0000032a: DUP5
0000032b: ADD
0000032c: DUP4
0000032d: DUP3
0000032e: DUP1
0000032f: DUP3
00000330: DUP5
00000331: CALLDATACOPY
00000332: POP
00000333: SWAP5
00000334: SWAP7
00000335: POP
00000336: POP
00000337: POP
00000338: POP
00000339: POP
0000033a: POP
0000033b: POP
0000033c: JUMPDEST
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: SLOAD
00000341: DUP2
00000342: SWAP1
00000343: DUP2
00000344: SWAP1
00000345: PUSH1 0x01
00000347: PUSH1 0xa0
00000349: PUSH1 0x02
0000034b: EXP
0000034c: SUB
0000034d: SWAP1
0000034e: DUP2
0000034f: AND
00000350: CALLER
00000351: SWAP2
00000352: SWAP1
00000353: SWAP2
00000354: AND
00000355: EQ
00000356: ISZERO
00000357: PUSH2 0x0ca8
0000035a: JUMPI
0000035b: PUSH1 0x02
0000035d: DUP2
0000035e: PUSH2 0x0cb1
00000361: DUP9
00000362: PUSH2 0x07a0
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH2 0x0b13
0000036a: PUSH1 0x00
0000036c: PUSH1 0x00
0000036e: CALLVALUE
0000036f: GT
00000370: ISZERO
00000371: PUSH2 0x0e27
00000374: JUMPI
00000375: PUSH2 0x0e27
00000378: CALLER
00000379: CALLVALUE
0000037a: JUMPDEST
0000037b: PUSH2 0x1a6e
0000037e: DUP3
0000037f: DUP3
00000380: PUSH1 0x40
00000382: MLOAD
00000383: PUSH1 0x00
00000385: SWAP1
00000386: PUSH1 0x01
00000388: PUSH1 0xa0
0000038a: PUSH1 0x02
0000038c: EXP
0000038d: SUB
0000038e: DUP5
0000038f: AND
00000390: SWAP1
00000391: DUP4
00000392: SWAP1
00000393: DUP4
00000394: DUP2
00000395: DUP2
00000396: DUP2
00000397: DUP6
00000398: DUP8
00000399: PUSH2 0x8502
0000039c: GAS
0000039d: SUB
0000039e: CALL
0000039f: SWAP3
000003a0: POP
000003a1: POP
000003a2: POP
000003a3: SWAP1
000003a4: POP
000003a5: PUSH2 0x026b
000003a8: JUMP
000003a9: JUMPDEST
000003aa: PUSH2 0x0b13
000003ad: PUSH1 0x04
000003af: CALLDATALOAD
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: SLOAD
000003b4: PUSH1 0x01
000003b6: PUSH1 0xa0
000003b8: PUSH1 0x02
000003ba: EXP
000003bb: SUB
000003bc: SWAP1
000003bd: DUP2
000003be: AND
000003bf: CALLER
000003c0: SWAP2
000003c1: SWAP1
000003c2: SWAP2
000003c3: AND
000003c4: EQ
000003c5: ISZERO
000003c6: PUSH2 0x0e77
000003c9: JUMPI
000003ca: PUSH1 0x01
000003cc: PUSH1 0xa0
000003ce: PUSH1 0x02
000003d0: EXP
000003d1: SUB
000003d2: DUP3
000003d3: AND
000003d4: DUP2
000003d5: MSTORE
000003d6: PUSH1 0x04
000003d8: PUSH1 0x20
000003da: MSTORE
000003db: PUSH1 0x40
000003dd: DUP2
000003de: KECCAK256
000003df: SSTORE
000003e0: PUSH1 0x01
000003e2: PUSH2 0x0e77
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x0b27
000003ea: PUSH1 0x04
000003ec: CALLDATALOAD
000003ed: PUSH1 0x24
000003ef: CALLDATALOAD
000003f0: PUSH1 0x44
000003f2: CALLDATALOAD
000003f3: PUSH1 0x64
000003f5: CALLDATALOAD
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: SLOAD
000003fa: PUSH1 0x01
000003fc: PUSH1 0xa0
000003fe: PUSH1 0x02
00000400: EXP
00000401: SUB
00000402: SWAP1
00000403: DUP2
00000404: AND
00000405: CALLER
00000406: SWAP2
00000407: SWAP1
00000408: SWAP2
00000409: AND
0000040a: EQ
0000040b: ISZERO
0000040c: PUSH2 0x0e7f
0000040f: JUMPI
00000410: DUP2
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x02
00000415: PUSH1 0x20
00000417: MSTORE
00000418: PUSH1 0x40
0000041a: DUP2
0000041b: KECCAK256
0000041c: PUSH2 0x0e7c
0000041f: SWAP1
00000420: DUP7
00000421: SWAP1
00000422: DUP7
00000423: SWAP1
00000424: DUP7
00000425: SWAP1
00000426: PUSH2 0x0e94
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH2 0x0b13
0000042e: PUSH1 0x04
00000430: CALLDATALOAD
00000431: PUSH1 0x00
00000433: PUSH1 0x00
00000435: CALLVALUE
00000436: GT
00000437: ISZERO
00000438: PUSH2 0x0eac
0000043b: JUMPI
0000043c: PUSH2 0x0eac
0000043f: CALLER
00000440: CALLVALUE
00000441: PUSH2 0x037a
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x0b13
00000449: PUSH1 0x04
0000044b: CALLDATALOAD
0000044c: PUSH1 0x24
0000044e: CALLDATALOAD
0000044f: PUSH1 0x00
00000451: DUP1
00000452: SLOAD
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: PUSH1 0x02
00000459: EXP
0000045a: SUB
0000045b: SWAP1
0000045c: DUP2
0000045d: AND
0000045e: CALLER
0000045f: SWAP2
00000460: SWAP1
00000461: SWAP2
00000462: AND
00000463: EQ
00000464: ISZERO
00000465: PUSH2 0x026b
00000468: JUMPI
00000469: DUP2
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x02
0000046e: PUSH1 0x20
00000470: MSTORE
00000471: PUSH1 0x40
00000473: DUP2
00000474: KECCAK256
00000475: PUSH1 0x06
00000477: ADD
00000478: SLOAD
00000479: PUSH2 0x0100
0000047c: SWAP1
0000047d: DIV
0000047e: PUSH1 0xff
00000480: AND
00000481: ISZERO
00000482: ISZERO
00000483: PUSH2 0x0edd
00000486: JUMPI
00000487: PUSH2 0x026b
0000048a: JUMP
0000048b: JUMPDEST
0000048c: PUSH2 0x0af6
0000048f: PUSH1 0x01
00000491: SLOAD
00000492: PUSH1 0x01
00000494: PUSH1 0xa0
00000496: PUSH1 0x02
00000498: EXP
00000499: SUB
0000049a: AND
0000049b: DUP2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH2 0x0b13
000004a1: PUSH1 0x04
000004a3: CALLDATALOAD
000004a4: PUSH1 0x24
000004a6: CALLDATALOAD
000004a7: PUSH1 0x00
000004a9: PUSH2 0x0bb2
000004ac: DUP4
000004ad: TIMESTAMP
000004ae: PUSH1 0x03
000004b0: PUSH1 0x00
000004b2: POP
000004b3: SLOAD
000004b4: DUP6
000004b5: PUSH2 0x02c1
000004b8: JUMP
000004b9: JUMPDEST
000004ba: PUSH1 0x40
000004bc: DUP1
000004bd: MLOAD
000004be: PUSH1 0x20
000004c0: PUSH1 0x44
000004c2: CALLDATALOAD
000004c3: PUSH1 0x04
000004c5: DUP2
000004c6: DUP2
000004c7: ADD
000004c8: CALLDATALOAD
000004c9: PUSH1 0x1f
000004cb: DUP2
000004cc: ADD
000004cd: DUP5
000004ce: SWAP1
000004cf: DIV
000004d0: DUP5
000004d1: MUL
000004d2: DUP6
000004d3: ADD
000004d4: DUP5
000004d5: ADD
000004d6: SWAP1
000004d7: SWAP6
000004d8: MSTORE
000004d9: DUP5
000004da: DUP5
000004db: MSTORE
000004dc: PUSH2 0x0b13
000004df: SWAP5
000004e0: DUP2
000004e1: CALLDATALOAD
000004e2: SWAP5
000004e3: PUSH1 0x24
000004e5: DUP1
000004e6: CALLDATALOAD
000004e7: SWAP6
000004e8: SWAP4
000004e9: SWAP5
000004ea: PUSH1 0x64
000004ec: SWAP5
000004ed: SWAP3
000004ee: SWAP4
000004ef: SWAP2
000004f0: ADD
000004f1: SWAP2
000004f2: DUP2
000004f3: SWAP1
000004f4: DUP5
000004f5: ADD
000004f6: DUP4
000004f7: DUP3
000004f8: DUP1
000004f9: DUP3
000004fa: DUP5
000004fb: CALLDATACOPY
000004fc: POP
000004fd: SWAP5
000004fe: SWAP7
000004ff: POP
00000500: POP
00000501: POP
00000502: POP
00000503: POP
00000504: POP
00000505: POP
00000506: PUSH1 0x00
00000508: DUP1
00000509: SLOAD
0000050a: PUSH1 0x01
0000050c: PUSH1 0xa0
0000050e: PUSH1 0x02
00000510: EXP
00000511: SUB
00000512: SWAP1
00000513: DUP2
00000514: AND
00000515: CALLER
00000516: SWAP2
00000517: SWAP1
00000518: SWAP2
00000519: AND
0000051a: EQ
0000051b: ISZERO
0000051c: PUSH2 0x0bc4
0000051f: JUMPI
00000520: DUP4
00000521: PUSH1 0x01
00000523: PUSH1 0xa0
00000525: PUSH1 0x02
00000527: EXP
00000528: SUB
00000529: AND
0000052a: DUP4
0000052b: DUP4
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: DUP1
00000530: DUP3
00000531: DUP1
00000532: MLOAD
00000533: SWAP1
00000534: PUSH1 0x20
00000536: ADD
00000537: SWAP1
00000538: DUP1
00000539: DUP4
0000053a: DUP4
0000053b: DUP3
0000053c: SWAP1
0000053d: PUSH1 0x00
0000053f: PUSH1 0x04
00000541: PUSH1 0x20
00000543: DUP5
00000544: PUSH1 0x1f
00000546: ADD
00000547: DIV
00000548: PUSH1 0x0f
0000054a: MUL
0000054b: PUSH1 0x03
0000054d: ADD
0000054e: CALL
0000054f: POP
00000550: SWAP1
00000551: POP
00000552: SWAP1
00000553: DUP2
00000554: ADD
00000555: SWAP1
00000556: PUSH1 0x1f
00000558: AND
00000559: DUP1
0000055a: ISZERO
0000055b: PUSH2 0x0578
0000055e: JUMPI
0000055f: DUP1
00000560: DUP3
00000561: SUB
00000562: DUP1
00000563: MLOAD
00000564: PUSH1 0x01
00000566: DUP4
00000567: PUSH1 0x20
00000569: SUB
0000056a: PUSH2 0x0100
0000056d: EXP
0000056e: SUB
0000056f: NOT
00000570: AND
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x20
00000575: ADD
00000576: SWAP2
00000577: POP
00000578: JUMPDEST
00000579: POP
0000057a: SWAP2
0000057b: POP
0000057c: POP
0000057d: PUSH1 0x00
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: DUP1
00000583: DUP4
00000584: SUB
00000585: DUP2
00000586: DUP6
00000587: DUP8
00000588: PUSH2 0x8502
0000058b: GAS
0000058c: SUB
0000058d: CALL
0000058e: SWAP3
0000058f: POP
00000590: POP
00000591: POP
00000592: ISZERO
00000593: ISZERO
00000594: PUSH2 0x0f00
00000597: JUMPI
00000598: PUSH2 0x0bc1
0000059b: PUSH1 0x00
0000059d: PUSH1 0x00
0000059f: CALLVALUE
000005a0: GT
000005a1: ISZERO
000005a2: PUSH2 0x1bc8
000005a5: JUMPI
000005a6: PUSH2 0x1bc8
000005a9: CALLER
000005aa: CALLVALUE
000005ab: PUSH2 0x037a
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH2 0x0b27
000005b3: PUSH1 0x04
000005b5: CALLDATALOAD
000005b6: PUSH1 0x04
000005b8: PUSH1 0x20
000005ba: MSTORE
000005bb: PUSH1 0x00
000005bd: SWAP1
000005be: DUP2
000005bf: MSTORE
000005c0: PUSH1 0x40
000005c2: SWAP1
000005c3: KECCAK256
000005c4: SLOAD
000005c5: DUP2
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x0b27
000005cb: PUSH1 0x04
000005cd: CALLDATALOAD
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: DUP1
000005d2: DUP1
000005d3: DUP1
000005d4: PUSH1 0x02
000005d6: DUP2
000005d7: PUSH2 0x0f15
000005da: PUSH2 0x0227
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x0b13
000005e2: PUSH1 0x04
000005e4: CALLDATALOAD
000005e5: PUSH1 0x24
000005e7: CALLDATALOAD
000005e8: PUSH1 0x00
000005ea: PUSH2 0x0bb2
000005ed: DUP4
000005ee: DUP4
000005ef: PUSH1 0x20
000005f1: PUSH1 0x40
000005f3: MLOAD
000005f4: SWAP1
000005f5: DUP2
000005f6: ADD
000005f7: PUSH1 0x40
000005f9: MSTORE
000005fa: DUP1
000005fb: PUSH1 0x00
000005fd: DUP2
000005fe: MSTORE
000005ff: PUSH1 0x20
00000601: ADD
00000602: POP
00000603: PUSH2 0x0654
00000606: JUMP
00000607: JUMPDEST
00000608: PUSH1 0x40
0000060a: DUP1
0000060b: MLOAD
0000060c: PUSH1 0x20
0000060e: PUSH1 0x44
00000610: CALLDATALOAD
00000611: PUSH1 0x04
00000613: DUP2
00000614: DUP2
00000615: ADD
00000616: CALLDATALOAD
00000617: PUSH1 0x1f
00000619: DUP2
0000061a: ADD
0000061b: DUP5
0000061c: SWAP1
0000061d: DIV
0000061e: DUP5
0000061f: MUL
00000620: DUP6
00000621: ADD
00000622: DUP5
00000623: ADD
00000624: SWAP1
00000625: SWAP6
00000626: MSTORE
00000627: DUP5
00000628: DUP5
00000629: MSTORE
0000062a: PUSH2 0x0b13
0000062d: SWAP5
0000062e: DUP2
0000062f: CALLDATALOAD
00000630: SWAP5
00000631: PUSH1 0x24
00000633: DUP1
00000634: CALLDATALOAD
00000635: SWAP6
00000636: SWAP4
00000637: SWAP5
00000638: PUSH1 0x64
0000063a: SWAP5
0000063b: SWAP3
0000063c: SWAP4
0000063d: SWAP2
0000063e: ADD
0000063f: SWAP2
00000640: DUP2
00000641: SWAP1
00000642: DUP5
00000643: ADD
00000644: DUP4
00000645: DUP3
00000646: DUP1
00000647: DUP3
00000648: DUP5
00000649: CALLDATACOPY
0000064a: POP
0000064b: SWAP5
0000064c: SWAP7
0000064d: POP
0000064e: POP
0000064f: POP
00000650: POP
00000651: POP
00000652: POP
00000653: POP
00000654: JUMPDEST
00000655: PUSH1 0x00
00000657: PUSH1 0x00
00000659: PUSH1 0x00
0000065b: DUP6
0000065c: PUSH2 0x0fdc
0000065f: DUP2
00000660: PUSH2 0x07a0
00000663: JUMP
00000664: JUMPDEST
00000665: PUSH2 0x0b27
00000668: PUSH1 0x03
0000066a: SLOAD
0000066b: DUP2
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH2 0x0b13
00000671: PUSH1 0x04
00000673: CALLDATALOAD
00000674: PUSH1 0x24
00000676: CALLDATALOAD
00000677: PUSH1 0x44
00000679: CALLDATALOAD
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: SLOAD
0000067e: DUP2
0000067f: SWAP1
00000680: DUP2
00000681: SWAP1
00000682: PUSH1 0x01
00000684: PUSH1 0xa0
00000686: PUSH1 0x02
00000688: EXP
00000689: SUB
0000068a: SWAP1
0000068b: DUP2
0000068c: AND
0000068d: CALLER
0000068e: SWAP2
0000068f: SWAP1
00000690: SWAP2
00000691: AND
00000692: EQ
00000693: ISZERO
00000694: PUSH2 0x0ca8
00000697: JUMPI
00000698: DUP6
00000699: SWAP2
0000069a: POP
0000069b: DUP2
0000069c: PUSH1 0x01
0000069e: PUSH1 0xa0
000006a0: PUSH1 0x02
000006a2: EXP
000006a3: SUB
000006a4: AND
000006a5: PUSH4 0x95d89b41
000006aa: PUSH1 0x40
000006ac: MLOAD
000006ad: DUP2
000006ae: PUSH1 0xe0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: MUL
000006b4: DUP2
000006b5: MSTORE
000006b6: PUSH1 0x04
000006b8: ADD
000006b9: DUP1
000006ba: SWAP1
000006bb: POP
000006bc: PUSH1 0x20
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: DUP1
000006c2: DUP4
000006c3: SUB
000006c4: DUP2
000006c5: PUSH1 0x00
000006c7: DUP8
000006c8: PUSH2 0x61da
000006cb: GAS
000006cc: SUB
000006cd: CALL
000006ce: ISZERO
000006cf: PUSH2 0x0002
000006d2: JUMPI
000006d3: POP
000006d4: POP
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: MLOAD
000006d9: SWAP2
000006da: POP
000006db: POP
000006dc: DUP1
000006dd: DUP4
000006de: EQ
000006df: ISZERO
000006e0: PUSH2 0x11c6
000006e3: JUMPI
000006e4: PUSH2 0x0ca8
000006e7: JUMP
000006e8: JUMPDEST
000006e9: PUSH2 0x0b13
000006ec: PUSH1 0x04
000006ee: CALLDATALOAD
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: SLOAD
000006f3: PUSH1 0x01
000006f5: PUSH1 0xa0
000006f7: PUSH1 0x02
000006f9: EXP
000006fa: SUB
000006fb: SWAP1
000006fc: DUP2
000006fd: AND
000006fe: CALLER
000006ff: SWAP2
00000700: SWAP1
00000701: SWAP2
00000702: AND
00000703: EQ
00000704: ISZERO
00000705: PUSH2 0x0e77
00000708: JUMPI
00000709: POP
0000070a: PUSH1 0x03
0000070c: DUP2
0000070d: SWAP1
0000070e: SSTORE
0000070f: PUSH1 0x01
00000711: PUSH2 0x0e77
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x40
00000718: DUP1
00000719: MLOAD
0000071a: PUSH1 0x20
0000071c: PUSH1 0x64
0000071e: CALLDATALOAD
0000071f: PUSH1 0x04
00000721: DUP2
00000722: DUP2
00000723: ADD
00000724: CALLDATALOAD
00000725: PUSH1 0x1f
00000727: DUP2
00000728: ADD
00000729: DUP5
0000072a: SWAP1
0000072b: DIV
0000072c: DUP5
0000072d: MUL
0000072e: DUP6
0000072f: ADD
00000730: DUP5
00000731: ADD
00000732: SWAP1
00000733: SWAP6
00000734: MSTORE
00000735: DUP5
00000736: DUP5
00000737: MSTORE
00000738: PUSH2 0x0b13
0000073b: SWAP5
0000073c: DUP2
0000073d: CALLDATALOAD
0000073e: SWAP5
0000073f: PUSH1 0x24
00000741: DUP1
00000742: CALLDATALOAD
00000743: SWAP6
00000744: PUSH1 0x44
00000746: CALLDATALOAD
00000747: SWAP6
00000748: PUSH1 0x84
0000074a: SWAP5
0000074b: SWAP3
0000074c: ADD
0000074d: SWAP2
0000074e: SWAP1
0000074f: DUP2
00000750: SWAP1
00000751: DUP5
00000752: ADD
00000753: DUP4
00000754: DUP3
00000755: DUP1
00000756: DUP3
00000757: DUP5
00000758: CALLDATACOPY
00000759: POP
0000075a: SWAP5
0000075b: SWAP7
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: POP
00000760: POP
00000761: POP
00000762: POP
00000763: JUMPDEST
00000764: PUSH1 0x00
00000766: DUP1
00000767: SLOAD
00000768: DUP2
00000769: SWAP1
0000076a: DUP2
0000076b: SWAP1
0000076c: PUSH1 0x01
0000076e: PUSH1 0xa0
00000770: PUSH1 0x02
00000772: EXP
00000773: SUB
00000774: SWAP1
00000775: DUP2
00000776: AND
00000777: CALLER
00000778: SWAP2
00000779: SWAP1
0000077a: SWAP2
0000077b: AND
0000077c: EQ
0000077d: ISZERO
0000077e: PUSH2 0x0ba8
00000781: JUMPI
00000782: DUP5
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x02
00000787: PUSH1 0x20
00000789: MSTORE
0000078a: PUSH1 0x40
0000078c: DUP2
0000078d: KECCAK256
0000078e: SWAP2
0000078f: POP
00000790: PUSH2 0x144e
00000793: DUP3
00000794: DUP8
00000795: PUSH2 0x0cc9
00000798: JUMP
00000799: JUMPDEST
0000079a: PUSH2 0x0b27
0000079d: PUSH1 0x04
0000079f: CALLDATALOAD
000007a0: JUMPDEST
000007a1: PUSH1 0x00
000007a3: PUSH2 0x15ea
000007a6: PUSH2 0x01cc
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH2 0x0b27
000007ae: PUSH1 0x00
000007b0: PUSH2 0x0b94
000007b3: PUSH2 0x0227
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x0b27
000007bb: PUSH2 0x1c20
000007be: DUP2
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH2 0x0b39
000007c4: PUSH1 0x04
000007c6: CALLDATALOAD
000007c7: PUSH1 0x02
000007c9: PUSH1 0x20
000007cb: DUP2
000007cc: SWAP1
000007cd: MSTORE
000007ce: PUSH1 0x00
000007d0: SWAP2
000007d1: DUP3
000007d2: MSTORE
000007d3: PUSH1 0x40
000007d5: SWAP1
000007d6: SWAP2
000007d7: KECCAK256
000007d8: PUSH1 0x06
000007da: DUP2
000007db: ADD
000007dc: SLOAD
000007dd: DUP2
000007de: SLOAD
000007df: PUSH1 0x01
000007e1: DUP4
000007e2: ADD
000007e3: SLOAD
000007e4: SWAP4
000007e5: DUP4
000007e6: ADD
000007e7: SLOAD
000007e8: PUSH1 0x03
000007ea: SWAP4
000007eb: SWAP1
000007ec: SWAP4
000007ed: ADD
000007ee: SLOAD
000007ef: PUSH1 0x01
000007f1: PUSH1 0xa0
000007f3: PUSH1 0x02
000007f5: EXP
000007f6: SUB
000007f7: SWAP2
000007f8: SWAP1
000007f9: SWAP2
000007fa: AND
000007fb: SWAP4
000007fc: SWAP3
000007fd: SWAP2
000007fe: PUSH1 0xff
00000800: DUP2
00000801: DUP2
00000802: AND
00000803: SWAP2
00000804: PUSH2 0x0100
00000807: SWAP1
00000808: DIV
00000809: AND
0000080a: DUP7
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH2 0x0b13
00000810: PUSH1 0x04
00000812: CALLDATALOAD
00000813: PUSH1 0x24
00000815: CALLDATALOAD
00000816: PUSH1 0x00
00000818: PUSH2 0x0bb2
0000081b: DUP4
0000081c: DUP4
0000081d: PUSH1 0x20
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: SWAP1
00000823: DUP2
00000824: ADD
00000825: PUSH1 0x40
00000827: MSTORE
00000828: DUP1
00000829: PUSH1 0x00
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x20
0000082f: ADD
00000830: POP
00000831: PUSH2 0x0882
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH1 0x40
00000838: DUP1
00000839: MLOAD
0000083a: PUSH1 0x20
0000083c: PUSH1 0x44
0000083e: CALLDATALOAD
0000083f: PUSH1 0x04
00000841: DUP2
00000842: DUP2
00000843: ADD
00000844: CALLDATALOAD
00000845: PUSH1 0x1f
00000847: DUP2
00000848: ADD
00000849: DUP5
0000084a: SWAP1
0000084b: DIV
0000084c: DUP5
0000084d: MUL
0000084e: DUP6
0000084f: ADD
00000850: DUP5
00000851: ADD
00000852: SWAP1
00000853: SWAP6
00000854: MSTORE
00000855: DUP5
00000856: DUP5
00000857: MSTORE
00000858: PUSH2 0x0b13
0000085b: SWAP5
0000085c: DUP2
0000085d: CALLDATALOAD
0000085e: SWAP5
0000085f: PUSH1 0x24
00000861: DUP1
00000862: CALLDATALOAD
00000863: SWAP6
00000864: SWAP4
00000865: SWAP5
00000866: PUSH1 0x64
00000868: SWAP5
00000869: SWAP3
0000086a: SWAP4
0000086b: SWAP2
0000086c: ADD
0000086d: SWAP2
0000086e: DUP2
0000086f: SWAP1
00000870: DUP5
00000871: ADD
00000872: DUP4
00000873: DUP3
00000874: DUP1
00000875: DUP3
00000876: DUP5
00000877: CALLDATACOPY
00000878: POP
00000879: SWAP5
0000087a: SWAP7
0000087b: POP
0000087c: POP
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: POP
00000882: JUMPDEST
00000883: PUSH1 0x00
00000885: PUSH1 0x00
00000887: PUSH1 0x00
00000889: PUSH1 0x00
0000088b: DUP6
0000088c: PUSH2 0x16f6
0000088f: DUP2
00000890: TIMESTAMP
00000891: PUSH1 0x03
00000893: PUSH1 0x00
00000895: POP
00000896: SLOAD
00000897: PUSH2 0x101c
0000089a: PUSH2 0x0227
0000089d: JUMP
0000089e: JUMPDEST
0000089f: PUSH2 0x0b13
000008a2: PUSH1 0x04
000008a4: CALLDATALOAD
000008a5: PUSH1 0x00
000008a7: PUSH1 0x00
000008a9: CALLVALUE
000008aa: GT
000008ab: ISZERO
000008ac: PUSH2 0x0e73
000008af: JUMPI
000008b0: PUSH1 0x40
000008b2: DUP1
000008b3: MLOAD
000008b4: CALLVALUE
000008b5: DUP2
000008b6: MSTORE
000008b7: SWAP1
000008b8: MLOAD
000008b9: DUP4
000008ba: SWAP2
000008bb: PUSH1 0x01
000008bd: PUSH1 0xa0
000008bf: PUSH1 0x02
000008c1: EXP
000008c2: SUB
000008c3: CALLER
000008c4: AND
000008c5: SWAP2
000008c6: PUSH32 0x14fb04f02b94c58559a5a817c703263bedac3a5f640d8386b4e318975e7880b5
000008e7: SWAP2
000008e8: DUP2
000008e9: SWAP1
000008ea: SUB
000008eb: PUSH1 0x20
000008ed: ADD
000008ee: SWAP1
000008ef: LOG3
000008f0: ADDRESS
000008f1: PUSH1 0x01
000008f3: PUSH1 0xa0
000008f5: PUSH1 0x02
000008f7: EXP
000008f8: SUB
000008f9: AND
000008fa: CALLER
000008fb: PUSH1 0x01
000008fd: PUSH1 0xa0
000008ff: PUSH1 0x02
00000901: EXP
00000902: SUB
00000903: AND
00000904: PUSH32 0x7a0322de07440fac938691c6b8a3a204bc0f15d7314c89f21a8014a32ea4923e
00000925: DUP5
00000926: CALLVALUE
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: DUP1
0000092b: DUP4
0000092c: PUSH1 0x00
0000092e: NOT
0000092f: AND
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x20
00000934: ADD
00000935: DUP3
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x20
0000093a: ADD
0000093b: SWAP3
0000093c: POP
0000093d: POP
0000093e: POP
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: DUP1
00000943: SWAP2
00000944: SUB
00000945: SWAP1
00000946: LOG3
00000947: POP
00000948: PUSH1 0x01
0000094a: PUSH2 0x0e77
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH2 0x0af6
00000952: PUSH1 0x00
00000954: SLOAD
00000955: PUSH1 0x01
00000957: PUSH1 0xa0
00000959: PUSH1 0x02
0000095b: EXP
0000095c: SUB
0000095d: AND
0000095e: DUP2
0000095f: JUMP
00000960: JUMPDEST
00000961: PUSH2 0x0b13
00000964: PUSH1 0x40
00000966: DUP1
00000967: MLOAD
00000968: PUSH1 0x20
0000096a: DUP2
0000096b: ADD
0000096c: SWAP1
0000096d: SWAP2
0000096e: MSTORE
0000096f: PUSH1 0x00
00000971: DUP1
00000972: DUP3
00000973: MSTORE
00000974: SWAP1
00000975: PUSH2 0x0b94
00000978: SWAP1
00000979: PUSH2 0x0a42
0000097c: JUMP
0000097d: JUMPDEST
0000097e: PUSH2 0x0b27
00000981: PUSH1 0x04
00000983: CALLDATALOAD
00000984: PUSH1 0x24
00000986: CALLDATALOAD
00000987: JUMPDEST
00000988: PUSH2 0x1c20
0000098b: PUSH3 0x015180
0000098f: DUP3
00000990: DUP5
00000991: SUB
00000992: MOD
00000993: DIV
00000994: PUSH2 0x026b
00000997: JUMP
00000998: JUMPDEST
00000999: PUSH2 0x0b7b
0000099c: PUSH1 0x04
0000099e: CALLDATALOAD
0000099f: PUSH1 0x24
000009a1: CALLDATALOAD
000009a2: PUSH1 0x44
000009a4: CALLDATALOAD
000009a5: JUMPDEST
000009a6: PUSH1 0x00
000009a8: DUP2
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x02
000009ad: PUSH1 0x20
000009af: MSTORE
000009b0: PUSH1 0x40
000009b2: DUP2
000009b3: KECCAK256
000009b4: PUSH1 0x06
000009b6: DUP2
000009b7: ADD
000009b8: SLOAD
000009b9: DUP3
000009ba: SWAP2
000009bb: SWAP1
000009bc: DUP3
000009bd: SWAP1
000009be: DUP2
000009bf: SWAP1
000009c0: DUP2
000009c1: SWAP1
000009c2: DUP2
000009c3: SWAP1
000009c4: DUP2
000009c5: SWAP1
000009c6: DUP2
000009c7: SWAP1
000009c8: DUP2
000009c9: SWAP1
000009ca: PUSH2 0x0100
000009cd: SWAP1
000009ce: DIV
000009cf: PUSH1 0xff
000009d1: AND
000009d2: ISZERO
000009d3: ISZERO
000009d4: PUSH2 0x18e7
000009d7: JUMPI
000009d8: PUSH2 0x18d7
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH2 0x0b7b
000009e0: PUSH1 0x04
000009e2: CALLDATALOAD
000009e3: JUMPDEST
000009e4: PUSH1 0x00
000009e6: PUSH1 0x00
000009e8: PUSH2 0x19e9
000009eb: TIMESTAMP
000009ec: PUSH1 0x03
000009ee: PUSH1 0x00
000009f0: POP
000009f1: SLOAD
000009f2: DUP6
000009f3: PUSH2 0x09a5
000009f6: JUMP
000009f7: JUMPDEST
000009f8: PUSH2 0x0b13
000009fb: PUSH1 0x04
000009fd: DUP1
000009fe: DUP1
000009ff: CALLDATALOAD
00000a00: SWAP1
00000a01: PUSH1 0x20
00000a03: ADD
00000a04: SWAP1
00000a05: DUP3
00000a06: ADD
00000a07: DUP1
00000a08: CALLDATALOAD
00000a09: SWAP1
00000a0a: PUSH1 0x20
00000a0c: ADD
00000a0d: SWAP2
00000a0e: SWAP2
00000a0f: SWAP1
00000a10: DUP1
00000a11: DUP1
00000a12: PUSH1 0x1f
00000a14: ADD
00000a15: PUSH1 0x20
00000a17: DUP1
00000a18: SWAP2
00000a19: DIV
00000a1a: MUL
00000a1b: PUSH1 0x20
00000a1d: ADD
00000a1e: PUSH1 0x40
00000a20: MLOAD
00000a21: SWAP1
00000a22: DUP2
00000a23: ADD
00000a24: PUSH1 0x40
00000a26: MSTORE
00000a27: DUP1
00000a28: SWAP4
00000a29: SWAP3
00000a2a: SWAP2
00000a2b: SWAP1
00000a2c: DUP2
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: PUSH1 0x20
00000a31: ADD
00000a32: DUP4
00000a33: DUP4
00000a34: DUP1
00000a35: DUP3
00000a36: DUP5
00000a37: CALLDATACOPY
00000a38: POP
00000a39: SWAP5
00000a3a: SWAP7
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: POP
00000a3f: POP
00000a40: POP
00000a41: POP
00000a42: JUMPDEST
00000a43: PUSH1 0x00
00000a45: PUSH1 0x00
00000a47: CALLVALUE
00000a48: GT
00000a49: ISZERO
00000a4a: PUSH2 0x0e73
00000a4d: JUMPI
00000a4e: CALLER
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: PUSH1 0x02
00000a55: EXP
00000a56: SUB
00000a57: AND
00000a58: PUSH32 0x643e927b32d5bfd08eccd2fcbd97057ad413850f857a2359639114e8e8dd3d7b
00000a79: CALLVALUE
00000a7a: DUP5
00000a7b: PUSH1 0x40
00000a7d: MLOAD
00000a7e: DUP1
00000a7f: DUP4
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: DUP1
00000a86: PUSH1 0x20
00000a88: ADD
00000a89: DUP3
00000a8a: DUP2
00000a8b: SUB
00000a8c: DUP3
00000a8d: MSTORE
00000a8e: DUP4
00000a8f: DUP2
00000a90: DUP2
00000a91: MLOAD
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: ADD
00000a97: SWAP2
00000a98: POP
00000a99: DUP1
00000a9a: MLOAD
00000a9b: SWAP1
00000a9c: PUSH1 0x20
00000a9e: ADD
00000a9f: SWAP1
00000aa0: DUP1
00000aa1: DUP4
00000aa2: DUP4
00000aa3: DUP3
00000aa4: SWAP1
00000aa5: PUSH1 0x00
00000aa7: PUSH1 0x04
00000aa9: PUSH1 0x20
00000aab: DUP5
00000aac: PUSH1 0x1f
00000aae: ADD
00000aaf: DIV
00000ab0: PUSH1 0x0f
00000ab2: MUL
00000ab3: PUSH1 0x03
00000ab5: ADD
00000ab6: CALL
00000ab7: POP
00000ab8: SWAP1
00000ab9: POP
00000aba: SWAP1
00000abb: DUP2
00000abc: ADD
00000abd: SWAP1
00000abe: PUSH1 0x1f
00000ac0: AND
00000ac1: DUP1
00000ac2: ISZERO
00000ac3: PUSH2 0x0ae0
00000ac6: JUMPI
00000ac7: DUP1
00000ac8: DUP3
00000ac9: SUB
00000aca: DUP1
00000acb: MLOAD
00000acc: PUSH1 0x01
00000ace: DUP4
00000acf: PUSH1 0x20
00000ad1: SUB
00000ad2: PUSH2 0x0100
00000ad5: EXP
00000ad6: SUB
00000ad7: NOT
00000ad8: AND
00000ad9: DUP2
00000ada: MSTORE
00000adb: PUSH1 0x20
00000add: ADD
00000ade: SWAP2
00000adf: POP
00000ae0: JUMPDEST
00000ae1: POP
00000ae2: SWAP4
00000ae3: POP
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: PUSH1 0x40
00000ae9: MLOAD
00000aea: DUP1
00000aeb: SWAP2
00000aec: SUB
00000aed: SWAP1
00000aee: LOG2
00000aef: POP
00000af0: PUSH1 0x01
00000af2: PUSH2 0x0e77
00000af5: JUMP
00000af6: JUMPDEST
00000af7: PUSH1 0x40
00000af9: DUP1
00000afa: MLOAD
00000afb: PUSH1 0x01
00000afd: PUSH1 0xa0
00000aff: PUSH1 0x02
00000b01: EXP
00000b02: SUB
00000b03: SWAP3
00000b04: SWAP1
00000b05: SWAP3
00000b06: AND
00000b07: DUP3
00000b08: MSTORE
00000b09: MLOAD
00000b0a: SWAP1
00000b0b: DUP2
00000b0c: SWAP1
00000b0d: SUB
00000b0e: PUSH1 0x20
00000b10: ADD
00000b11: SWAP1
00000b12: RETURN
00000b13: JUMPDEST
00000b14: PUSH1 0x40
00000b16: DUP1
00000b17: MLOAD
00000b18: SWAP2
00000b19: ISZERO
00000b1a: ISZERO
00000b1b: DUP3
00000b1c: MSTORE
00000b1d: MLOAD
00000b1e: SWAP1
00000b1f: DUP2
00000b20: SWAP1
00000b21: SUB
00000b22: PUSH1 0x20
00000b24: ADD
00000b25: SWAP1
00000b26: RETURN
00000b27: JUMPDEST
00000b28: PUSH1 0x40
00000b2a: DUP1
00000b2b: MLOAD
00000b2c: SWAP2
00000b2d: DUP3
00000b2e: MSTORE
00000b2f: MLOAD
00000b30: SWAP1
00000b31: DUP2
00000b32: SWAP1
00000b33: SUB
00000b34: PUSH1 0x20
00000b36: ADD
00000b37: SWAP1
00000b38: RETURN
00000b39: JUMPDEST
00000b3a: PUSH1 0x40
00000b3c: DUP1
00000b3d: MLOAD
00000b3e: PUSH1 0x01
00000b40: PUSH1 0xa0
00000b42: PUSH1 0x02
00000b44: EXP
00000b45: SUB
00000b46: SWAP8
00000b47: SWAP1
00000b48: SWAP8
00000b49: AND
00000b4a: DUP8
00000b4b: MSTORE
00000b4c: PUSH1 0x20
00000b4e: DUP8
00000b4f: ADD
00000b50: SWAP6
00000b51: SWAP1
00000b52: SWAP6
00000b53: MSTORE
00000b54: DUP6
00000b55: DUP6
00000b56: ADD
00000b57: SWAP4
00000b58: SWAP1
00000b59: SWAP4
00000b5a: MSTORE
00000b5b: PUSH1 0x60
00000b5d: DUP6
00000b5e: ADD
00000b5f: SWAP2
00000b60: SWAP1
00000b61: SWAP2
00000b62: MSTORE
00000b63: ISZERO
00000b64: ISZERO
00000b65: PUSH1 0x80
00000b67: DUP5
00000b68: ADD
00000b69: MSTORE
00000b6a: ISZERO
00000b6b: ISZERO
00000b6c: PUSH1 0xa0
00000b6e: DUP4
00000b6f: ADD
00000b70: MSTORE
00000b71: MLOAD
00000b72: SWAP1
00000b73: DUP2
00000b74: SWAP1
00000b75: SUB
00000b76: PUSH1 0xc0
00000b78: ADD
00000b79: SWAP1
00000b7a: RETURN
00000b7b: JUMPDEST
00000b7c: PUSH1 0x40
00000b7e: DUP1
00000b7f: MLOAD
00000b80: SWAP3
00000b81: DUP4
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: DUP4
00000b86: ADD
00000b87: SWAP2
00000b88: SWAP1
00000b89: SWAP2
00000b8a: MSTORE
00000b8b: DUP1
00000b8c: MLOAD
00000b8d: SWAP2
00000b8e: DUP3
00000b8f: SWAP1
00000b90: SUB
00000b91: ADD
00000b92: SWAP1
00000b93: RETURN
00000b94: JUMPDEST
00000b95: SWAP1
00000b96: POP
00000b97: PUSH2 0x0241
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: SWAP2
00000b9d: POP
00000b9e: SWAP2
00000b9f: POP
00000ba0: DUP7
00000ba1: DUP3
00000ba2: ADD
00000ba3: DUP2
00000ba4: LT
00000ba5: ISZERO
00000ba6: SWAP3
00000ba7: POP
00000ba8: JUMPDEST
00000ba9: POP
00000baa: POP
00000bab: SWAP5
00000bac: SWAP4
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: SWAP1
00000bb4: POP
00000bb5: PUSH2 0x026b
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: POP
00000bbb: SWAP4
00000bbc: SWAP3
00000bbd: POP
00000bbe: POP
00000bbf: POP
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: SWAP1
00000bc3: POP
00000bc4: JUMPDEST
00000bc5: SWAP4
00000bc6: SWAP3
00000bc7: POP
00000bc8: POP
00000bc9: POP
00000bca: JUMP
00000bcb: JUMPDEST
00000bcc: PUSH1 0x00
00000bce: DUP5
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x02
00000bd3: PUSH1 0x20
00000bd5: SWAP1
00000bd6: DUP2
00000bd7: MSTORE
00000bd8: PUSH1 0x40
00000bda: DUP1
00000bdb: DUP4
00000bdc: KECCAK256
00000bdd: DUP5
00000bde: DUP5
00000bdf: MSTORE
00000be0: PUSH1 0x05
00000be2: ADD
00000be3: SWAP1
00000be4: SWAP2
00000be5: MSTORE
00000be6: SWAP1
00000be7: KECCAK256
00000be8: DUP1
00000be9: SLOAD
00000bea: DUP9
00000beb: ADD
00000bec: SWAP1
00000bed: SSTORE
00000bee: PUSH1 0x01
00000bf0: SWAP3
00000bf1: POP
00000bf2: SWAP1
00000bf3: POP
00000bf4: JUMPDEST
00000bf5: POP
00000bf6: SWAP5
00000bf7: SWAP4
00000bf8: POP
00000bf9: POP
00000bfa: POP
00000bfb: POP
00000bfc: JUMP
00000bfd: JUMPDEST
00000bfe: DUP6
00000bff: PUSH1 0x00
00000c01: NOT
00000c02: AND
00000c03: CALLER
00000c04: PUSH1 0x01
00000c06: PUSH1 0xa0
00000c08: PUSH1 0x02
00000c0a: EXP
00000c0b: SUB
00000c0c: AND
00000c0d: PUSH32 0x73d7feb5c7ccfd265c4fd77cd6c3fb3f492a9fd14fc7b46587d2f5869c462751
00000c2e: DUP8
00000c2f: DUP8
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: DUP1
00000c34: DUP4
00000c35: DUP2
00000c36: MSTORE
00000c37: PUSH1 0x20
00000c39: ADD
00000c3a: DUP1
00000c3b: PUSH1 0x20
00000c3d: ADD
00000c3e: DUP3
00000c3f: DUP2
00000c40: SUB
00000c41: DUP3
00000c42: MSTORE
00000c43: DUP4
00000c44: DUP2
00000c45: DUP2
00000c46: MLOAD
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x20
00000c4b: ADD
00000c4c: SWAP2
00000c4d: POP
00000c4e: DUP1
00000c4f: MLOAD
00000c50: SWAP1
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: SWAP1
00000c55: DUP1
00000c56: DUP4
00000c57: DUP4
00000c58: DUP3
00000c59: SWAP1
00000c5a: PUSH1 0x00
00000c5c: PUSH1 0x04
00000c5e: PUSH1 0x20
00000c60: DUP5
00000c61: PUSH1 0x1f
00000c63: ADD
00000c64: DIV
00000c65: PUSH1 0x0f
00000c67: MUL
00000c68: PUSH1 0x03
00000c6a: ADD
00000c6b: CALL
00000c6c: POP
00000c6d: SWAP1
00000c6e: POP
00000c6f: SWAP1
00000c70: DUP2
00000c71: ADD
00000c72: SWAP1
00000c73: PUSH1 0x1f
00000c75: AND
00000c76: DUP1
00000c77: ISZERO
00000c78: PUSH2 0x0c95
00000c7b: JUMPI
00000c7c: DUP1
00000c7d: DUP3
00000c7e: SUB
00000c7f: DUP1
00000c80: MLOAD
00000c81: PUSH1 0x01
00000c83: DUP4
00000c84: PUSH1 0x20
00000c86: SUB
00000c87: PUSH2 0x0100
00000c8a: EXP
00000c8b: SUB
00000c8c: NOT
00000c8d: AND
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x20
00000c92: ADD
00000c93: SWAP2
00000c94: POP
00000c95: JUMPDEST
00000c96: POP
00000c97: SWAP4
00000c98: POP
00000c99: POP
00000c9a: POP
00000c9b: POP
00000c9c: PUSH1 0x40
00000c9e: MLOAD
00000c9f: DUP1
00000ca0: SWAP2
00000ca1: SUB
00000ca2: SWAP1
00000ca3: LOG3
00000ca4: PUSH1 0x01
00000ca6: SWAP3
00000ca7: POP
00000ca8: JUMPDEST
00000ca9: POP
00000caa: POP
00000cab: SWAP4
00000cac: SWAP3
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: DUP2
00000cb7: ADD
00000cb8: SWAP2
00000cb9: SWAP1
00000cba: SWAP2
00000cbb: MSTORE
00000cbc: PUSH1 0x40
00000cbe: ADD
00000cbf: PUSH1 0x00
00000cc1: KECCAK256
00000cc2: SWAP2
00000cc3: POP
00000cc4: PUSH2 0x0d52
00000cc7: DUP3
00000cc8: DUP7
00000cc9: JUMPDEST
00000cca: PUSH1 0x06
00000ccc: DUP3
00000ccd: ADD
00000cce: SLOAD
00000ccf: PUSH1 0x00
00000cd1: SWAP1
00000cd2: DUP2
00000cd3: SWAP1
00000cd4: PUSH1 0xff
00000cd6: AND
00000cd7: DUP1
00000cd8: ISZERO
00000cd9: PUSH2 0x0d3a
00000cdc: JUMPI
00000cdd: POP
00000cde: PUSH1 0x40
00000ce0: DUP1
00000ce1: MLOAD
00000ce2: DUP6
00000ce3: SLOAD
00000ce4: PUSH1 0xe0
00000ce6: PUSH1 0x02
00000ce8: EXP
00000ce9: PUSH4 0x70a08231
00000cee: MUL
00000cef: DUP3
00000cf0: MSTORE
00000cf1: ADDRESS
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0xa0
00000cf6: PUSH1 0x02
00000cf8: EXP
00000cf9: SUB
00000cfa: SWAP1
00000cfb: DUP2
00000cfc: AND
00000cfd: PUSH1 0x04
00000cff: DUP5
00000d00: ADD
00000d01: MSTORE
00000d02: SWAP3
00000d03: MLOAD
00000d04: DUP7
00000d05: SWAP4
00000d06: SWAP2
00000d07: SWAP1
00000d08: SWAP2
00000d09: AND
00000d0a: SWAP2
00000d0b: PUSH4 0x70a08231
00000d10: SWAP2
00000d11: PUSH1 0x24
00000d13: DUP3
00000d14: DUP2
00000d15: ADD
00000d16: SWAP3
00000d17: PUSH1 0x20
00000d19: SWAP3
00000d1a: SWAP2
00000d1b: SWAP1
00000d1c: DUP3
00000d1d: SWAP1
00000d1e: SUB
00000d1f: ADD
00000d20: DUP2
00000d21: DUP9
00000d22: DUP8
00000d23: PUSH2 0x61da
00000d26: GAS
00000d27: SUB
00000d28: CALL
00000d29: ISZERO
00000d2a: PUSH2 0x0002
00000d2d: JUMPI
00000d2e: POP
00000d2f: POP
00000d30: PUSH1 0x40
00000d32: MLOAD
00000d33: MLOAD
00000d34: SWAP2
00000d35: SWAP1
00000d36: SWAP2
00000d37: LT
00000d38: SWAP1
00000d39: POP
00000d3a: JUMPDEST
00000d3b: ISZERO
00000d3c: PUSH2 0x0bc4
00000d3f: JUMPI
00000d40: POP
00000d41: ADDRESS
00000d42: PUSH1 0x01
00000d44: PUSH1 0xa0
00000d46: PUSH1 0x02
00000d48: EXP
00000d49: SUB
00000d4a: AND
00000d4b: BALANCE
00000d4c: SWAP4
00000d4d: SWAP3
00000d4e: POP
00000d4f: POP
00000d50: POP
00000d51: JUMP
00000d52: JUMPDEST
00000d53: PUSH1 0x40
00000d55: MLOAD
00000d56: DUP4
00000d57: SLOAD
00000d58: PUSH1 0xe2
00000d5a: PUSH1 0x02
00000d5c: EXP
00000d5d: PUSH4 0x1dff8e29
00000d62: MUL
00000d63: DUP3
00000d64: MSTORE
00000d65: PUSH1 0x04
00000d67: DUP3
00000d68: DUP2
00000d69: ADD
00000d6a: DUP11
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x24
00000d6f: DUP5
00000d70: ADD
00000d71: DUP11
00000d72: SWAP1
00000d73: MSTORE
00000d74: PUSH1 0x60
00000d76: PUSH1 0x44
00000d78: DUP6
00000d79: ADD
00000d7a: SWAP1
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: DUP10
00000d7e: MLOAD
00000d7f: PUSH1 0x64
00000d81: DUP7
00000d82: ADD
00000d83: MSTORE
00000d84: DUP10
00000d85: MLOAD
00000d86: SWAP6
00000d87: SWAP7
00000d88: POP
00000d89: PUSH1 0x01
00000d8b: PUSH1 0xa0
00000d8d: PUSH1 0x02
00000d8f: EXP
00000d90: SUB
00000d91: SWAP4
00000d92: SWAP1
00000d93: SWAP4
00000d94: AND
00000d95: SWAP5
00000d96: PUSH4 0x77fe38a4
00000d9b: SWAP5
00000d9c: DUP8
00000d9d: SWAP5
00000d9e: DUP14
00000d9f: SWAP5
00000da0: DUP14
00000da1: SWAP5
00000da2: DUP14
00000da3: SWAP5
00000da4: SWAP1
00000da5: SWAP4
00000da6: PUSH1 0x84
00000da8: ADD
00000da9: SWAP2
00000daa: PUSH1 0x20
00000dac: DUP7
00000dad: DUP2
00000dae: ADD
00000daf: SWAP3
00000db0: SWAP2
00000db1: DUP3
00000db2: SWAP2
00000db3: DUP6
00000db4: SWAP2
00000db5: DUP4
00000db6: SWAP2
00000db7: DUP7
00000db8: SWAP2
00000db9: PUSH1 0x00
00000dbb: SWAP2
00000dbc: PUSH1 0x1f
00000dbe: DUP6
00000dbf: ADD
00000dc0: DIV
00000dc1: PUSH1 0x0f
00000dc3: MUL
00000dc4: PUSH1 0x03
00000dc6: ADD
00000dc7: CALL
00000dc8: POP
00000dc9: SWAP1
00000dca: POP
00000dcb: SWAP1
00000dcc: DUP2
00000dcd: ADD
00000dce: SWAP1
00000dcf: PUSH1 0x1f
00000dd1: AND
00000dd2: DUP1
00000dd3: ISZERO
00000dd4: PUSH2 0x0df1
00000dd7: JUMPI
00000dd8: DUP1
00000dd9: DUP3
00000dda: SUB
00000ddb: DUP1
00000ddc: MLOAD
00000ddd: PUSH1 0x01
00000ddf: DUP4
00000de0: PUSH1 0x20
00000de2: SUB
00000de3: PUSH2 0x0100
00000de6: EXP
00000de7: SUB
00000de8: NOT
00000de9: AND
00000dea: DUP2
00000deb: MSTORE
00000dec: PUSH1 0x20
00000dee: ADD
00000def: SWAP2
00000df0: POP
00000df1: JUMPDEST
00000df2: POP
00000df3: SWAP5
00000df4: POP
00000df5: POP
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: PUSH1 0x20
00000dfb: PUSH1 0x40
00000dfd: MLOAD
00000dfe: DUP1
00000dff: DUP4
00000e00: SUB
00000e01: DUP2
00000e02: DUP6
00000e03: DUP9
00000e04: PUSH2 0x8502
00000e07: GAS
00000e08: SUB
00000e09: CALL
00000e0a: ISZERO
00000e0b: PUSH2 0x0002
00000e0e: JUMPI
00000e0f: POP
00000e10: POP
00000e11: PUSH1 0x40
00000e13: MLOAD
00000e14: MLOAD
00000e15: ISZERO
00000e16: ISZERO
00000e17: SWAP2
00000e18: POP
00000e19: PUSH2 0x0bfd
00000e1c: SWAP1
00000e1d: POP
00000e1e: JUMPI
00000e1f: PUSH1 0x00
00000e21: SWAP3
00000e22: POP
00000e23: PUSH2 0x0ca8
00000e26: JUMP
00000e27: JUMPDEST
00000e28: PUSH1 0x01
00000e2a: SLOAD
00000e2b: PUSH1 0x01
00000e2d: PUSH1 0xa0
00000e2f: PUSH1 0x02
00000e31: EXP
00000e32: SUB
00000e33: SWAP1
00000e34: DUP2
00000e35: AND
00000e36: CALLER
00000e37: SWAP2
00000e38: SWAP1
00000e39: SWAP2
00000e3a: AND
00000e3b: EQ
00000e3c: PUSH2 0x0e47
00000e3f: JUMPI
00000e40: POP
00000e41: PUSH1 0x00
00000e43: PUSH2 0x0241
00000e46: JUMP
00000e47: JUMPDEST
00000e48: POP
00000e49: PUSH1 0x00
00000e4b: DUP1
00000e4c: SLOAD
00000e4d: PUSH1 0x01
00000e4f: DUP1
00000e50: SLOAD
00000e51: PUSH1 0x01
00000e53: PUSH1 0xa0
00000e55: PUSH1 0x02
00000e57: EXP
00000e58: SUB
00000e59: NOT
00000e5a: SWAP3
00000e5b: DUP4
00000e5c: AND
00000e5d: PUSH1 0x01
00000e5f: PUSH1 0xa0
00000e61: PUSH1 0x02
00000e63: EXP
00000e64: SUB
00000e65: DUP3
00000e66: AND
00000e67: OR
00000e68: SWAP1
00000e69: SWAP4
00000e6a: SSTORE
00000e6b: SWAP2
00000e6c: AND
00000e6d: DUP2
00000e6e: SSTORE
00000e6f: PUSH2 0x0241
00000e72: JUMP
00000e73: JUMPDEST
00000e74: POP
00000e75: PUSH1 0x00
00000e77: JUMPDEST
00000e78: SWAP2
00000e79: SWAP1
00000e7a: POP
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: SWAP1
00000e7e: POP
00000e7f: JUMPDEST
00000e80: SWAP5
00000e81: SWAP4
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: JUMP
00000e87: JUMPDEST
00000e88: PUSH2 0x1114
00000e8b: DUP8
00000e8c: TIMESTAMP
00000e8d: PUSH1 0x03
00000e8f: PUSH1 0x00
00000e91: POP
00000e92: SLOAD
00000e93: DUP8
00000e94: JUMPDEST
00000e95: PUSH1 0x00
00000e97: PUSH1 0x00
00000e99: PUSH1 0x00
00000e9b: PUSH1 0x00
00000e9d: PUSH1 0x00
00000e9f: PUSH1 0x00
00000ea1: PUSH1 0x00
00000ea3: PUSH2 0x1a7d
00000ea6: DUP11
00000ea7: DUP11
00000ea8: PUSH2 0x0987
00000eab: JUMP
00000eac: JUMPDEST
00000ead: PUSH1 0x00
00000eaf: SLOAD
00000eb0: PUSH1 0x01
00000eb2: PUSH1 0xa0
00000eb4: PUSH1 0x02
00000eb6: EXP
00000eb7: SUB
00000eb8: SWAP1
00000eb9: DUP2
00000eba: AND
00000ebb: CALLER
00000ebc: SWAP2
00000ebd: SWAP1
00000ebe: SWAP2
00000ebf: AND
00000ec0: EQ
00000ec1: ISZERO
00000ec2: PUSH2 0x0e77
00000ec5: JUMPI
00000ec6: POP
00000ec7: PUSH1 0x01
00000ec9: DUP1
00000eca: SLOAD
00000ecb: PUSH1 0x01
00000ecd: PUSH1 0xa0
00000ecf: PUSH1 0x02
00000ed1: EXP
00000ed2: SUB
00000ed3: NOT
00000ed4: AND
00000ed5: DUP3
00000ed6: OR
00000ed7: DUP2
00000ed8: SSTORE
00000ed9: PUSH2 0x0e77
00000edc: JUMP
00000edd: JUMPDEST
00000ede: POP
00000edf: PUSH1 0x01
00000ee1: PUSH1 0xa0
00000ee3: PUSH1 0x02
00000ee5: EXP
00000ee6: SUB
00000ee7: DUP3
00000ee8: AND
00000ee9: PUSH1 0x00
00000eeb: SWAP1
00000eec: DUP2
00000eed: MSTORE
00000eee: PUSH1 0x04
00000ef0: PUSH1 0x20
00000ef2: MSTORE
00000ef3: PUSH1 0x40
00000ef5: SWAP1
00000ef6: KECCAK256
00000ef7: DUP2
00000ef8: SWAP1
00000ef9: SSTORE
00000efa: PUSH1 0x01
00000efc: PUSH2 0x026b
00000eff: JUMP
00000f00: JUMPDEST
00000f01: POP
00000f02: PUSH1 0x01
00000f04: PUSH2 0x0bc4
00000f07: JUMP
00000f08: JUMPDEST
00000f09: DUP1
00000f0a: SWAP5
00000f0b: POP
00000f0c: JUMPDEST
00000f0d: POP
00000f0e: POP
00000f0f: POP
00000f10: POP
00000f11: SWAP2
00000f12: SWAP1
00000f13: POP
00000f14: JUMP
00000f15: JUMPDEST
00000f16: DUP2
00000f17: MSTORE
00000f18: PUSH1 0x20
00000f1a: DUP2
00000f1b: DUP2
00000f1c: ADD
00000f1d: SWAP3
00000f1e: SWAP1
00000f1f: SWAP3
00000f20: MSTORE
00000f21: PUSH1 0x40
00000f23: SWAP1
00000f24: DUP2
00000f25: ADD
00000f26: PUSH1 0x00
00000f28: SWAP1
00000f29: DUP2
00000f2a: KECCAK256
00000f2b: SLOAD
00000f2c: DUP3
00000f2d: MLOAD
00000f2e: PUSH1 0xe0
00000f30: PUSH1 0x02
00000f32: EXP
00000f33: PUSH4 0x70a08231
00000f38: MUL
00000f39: DUP2
00000f3a: MSTORE
00000f3b: ADDRESS
00000f3c: PUSH1 0x01
00000f3e: PUSH1 0xa0
00000f40: PUSH1 0x02
00000f42: EXP
00000f43: SUB
00000f44: SWAP1
00000f45: DUP2
00000f46: AND
00000f47: PUSH1 0x04
00000f49: DUP4
00000f4a: ADD
00000f4b: MSTORE
00000f4c: SWAP4
00000f4d: MLOAD
00000f4e: SWAP2
00000f4f: SWAP1
00000f50: SWAP4
00000f51: AND
00000f52: SWAP4
00000f53: PUSH4 0x70a08231
00000f58: SWAP4
00000f59: PUSH1 0x24
00000f5b: DUP2
00000f5c: DUP2
00000f5d: ADD
00000f5e: SWAP5
00000f5f: SWAP3
00000f60: SWAP4
00000f61: SWAP3
00000f62: SWAP2
00000f63: DUP4
00000f64: SWAP1
00000f65: SUB
00000f66: ADD
00000f67: SWAP1
00000f68: DUP3
00000f69: SWAP1
00000f6a: DUP8
00000f6b: PUSH2 0x61da
00000f6e: GAS
00000f6f: SUB
00000f70: CALL
00000f71: ISZERO
00000f72: PUSH2 0x0002
00000f75: JUMPI
00000f76: POP
00000f77: POP
00000f78: PUSH1 0x40
00000f7a: DUP1
00000f7b: MLOAD
00000f7c: MLOAD
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0xa0
00000f81: PUSH1 0x02
00000f83: EXP
00000f84: SUB
00000f85: DUP10
00000f86: AND
00000f87: PUSH1 0x00
00000f89: SWAP1
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x04
00000f8e: PUSH1 0x20
00000f90: MSTORE
00000f91: SWAP2
00000f92: SWAP1
00000f93: SWAP2
00000f94: KECCAK256
00000f95: SLOAD
00000f96: SWAP1
00000f97: SWAP6
00000f98: POP
00000f99: PUSH2 0x0fa2
00000f9c: SWAP2
00000f9d: POP
00000f9e: PUSH2 0x09e3
00000fa1: JUMP
00000fa2: JUMPDEST
00000fa3: SWAP3
00000fa4: POP
00000fa5: SWAP3
00000fa6: POP
00000fa7: DUP4
00000fa8: PUSH1 0x00
00000faa: EQ
00000fab: ISZERO
00000fac: PUSH2 0x0fb8
00000faf: JUMPI
00000fb0: PUSH1 0x00
00000fb2: SWAP5
00000fb3: POP
00000fb4: PUSH2 0x0f0c
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: DUP3
00000fba: DUP3
00000fbb: LT
00000fbc: ISZERO
00000fbd: PUSH2 0x0fc9
00000fc0: JUMPI
00000fc1: PUSH1 0x00
00000fc3: SWAP5
00000fc4: POP
00000fc5: PUSH2 0x0f0c
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: POP
00000fcb: DUP2
00000fcc: DUP2
00000fcd: SUB
00000fce: DUP4
00000fcf: DUP2
00000fd0: LT
00000fd1: PUSH2 0x0f08
00000fd4: JUMPI
00000fd5: DUP4
00000fd6: SWAP5
00000fd7: POP
00000fd8: PUSH2 0x0f0c
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH2 0x0fe4
00000fe0: PUSH2 0x0227
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: EQ
00000fe6: ISZERO
00000fe7: PUSH2 0x1000
00000fea: JUMPI
00000feb: DUP6
00000fec: PUSH2 0x100a
00000fef: DUP2
00000ff0: TIMESTAMP
00000ff1: PUSH1 0x03
00000ff3: PUSH1 0x00
00000ff5: POP
00000ff6: SLOAD
00000ff7: PUSH2 0x101c
00000ffa: PUSH2 0x0227
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: POP
00001000: JUMPDEST
00001001: POP
00001002: POP
00001003: POP
00001004: SWAP4
00001005: SWAP3
00001006: POP
00001007: POP
00001008: POP
00001009: JUMP
0000100a: JUMPDEST
0000100b: ISZERO
0000100c: PUSH2 0x0ffe
0000100f: JUMPI
00001010: PUSH1 0x02
00001012: PUSH1 0x00
00001014: PUSH2 0x1021
00001017: DUP11
00001018: PUSH2 0x07a0
0000101b: JUMP
0000101c: JUMPDEST
0000101d: PUSH2 0x01e9
00001020: JUMP
00001021: JUMPDEST
00001022: DUP2
00001023: MSTORE
00001024: PUSH1 0x20
00001026: DUP2
00001027: ADD
00001028: SWAP2
00001029: SWAP1
0000102a: SWAP2
0000102b: MSTORE
0000102c: PUSH1 0x40
0000102e: ADD
0000102f: PUSH1 0x00
00001031: KECCAK256
00001032: SWAP4
00001033: POP
00001034: PUSH2 0x103d
00001037: DUP5
00001038: DUP9
00001039: PUSH2 0x0cc9
0000103c: JUMP
0000103d: JUMPDEST
0000103e: PUSH1 0x40
00001040: MLOAD
00001041: DUP6
00001042: SLOAD
00001043: PUSH1 0xe2
00001045: PUSH1 0x02
00001047: EXP
00001048: PUSH4 0x1dff8e29
0000104d: MUL
0000104e: DUP3
0000104f: MSTORE
00001050: PUSH1 0x04
00001052: DUP3
00001053: DUP2
00001054: ADD
00001055: DUP13
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x24
0000105a: DUP5
0000105b: ADD
0000105c: DUP13
0000105d: SWAP1
0000105e: MSTORE
0000105f: PUSH1 0x60
00001061: PUSH1 0x44
00001063: DUP6
00001064: ADD
00001065: SWAP1
00001066: DUP2
00001067: MSTORE
00001068: DUP12
00001069: MLOAD
0000106a: PUSH1 0x64
0000106c: DUP7
0000106d: ADD
0000106e: MSTORE
0000106f: DUP12
00001070: MLOAD
00001071: SWAP6
00001072: SWAP9
00001073: POP
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: PUSH1 0x02
0000107a: EXP
0000107b: SUB
0000107c: SWAP4
0000107d: SWAP1
0000107e: SWAP4
0000107f: AND
00001080: SWAP5
00001081: PUSH4 0x77fe38a4
00001086: SWAP5
00001087: DUP10
00001088: SWAP5
00001089: DUP16
0000108a: SWAP5
0000108b: DUP16
0000108c: SWAP5
0000108d: DUP16
0000108e: SWAP5
0000108f: SWAP1
00001090: SWAP4
00001091: PUSH1 0x84
00001093: ADD
00001094: SWAP2
00001095: PUSH1 0x20
00001097: DUP7
00001098: DUP2
00001099: ADD
0000109a: SWAP3
0000109b: SWAP2
0000109c: DUP3
0000109d: SWAP2
0000109e: DUP6
0000109f: SWAP2
000010a0: DUP4
000010a1: SWAP2
000010a2: DUP7
000010a3: SWAP2
000010a4: PUSH1 0x00
000010a6: SWAP2
000010a7: PUSH1 0x1f
000010a9: DUP6
000010aa: ADD
000010ab: DIV
000010ac: PUSH1 0x0f
000010ae: MUL
000010af: PUSH1 0x03
000010b1: ADD
000010b2: CALL
000010b3: POP
000010b4: SWAP1
000010b5: POP
000010b6: SWAP1
000010b7: DUP2
000010b8: ADD
000010b9: SWAP1
000010ba: PUSH1 0x1f
000010bc: AND
000010bd: DUP1
000010be: ISZERO
000010bf: PUSH2 0x10dc
000010c2: JUMPI
000010c3: DUP1
000010c4: DUP3
000010c5: SUB
000010c6: DUP1
000010c7: MLOAD
000010c8: PUSH1 0x01
000010ca: DUP4
000010cb: PUSH1 0x20
000010cd: SUB
000010ce: PUSH2 0x0100
000010d1: EXP
000010d2: SUB
000010d3: NOT
000010d4: AND
000010d5: DUP2
000010d6: MSTORE
000010d7: PUSH1 0x20
000010d9: ADD
000010da: SWAP2
000010db: POP
000010dc: JUMPDEST
000010dd: POP
000010de: SWAP5
000010df: POP
000010e0: POP
000010e1: POP
000010e2: POP
000010e3: POP
000010e4: PUSH1 0x20
000010e6: PUSH1 0x40
000010e8: MLOAD
000010e9: DUP1
000010ea: DUP4
000010eb: SUB
000010ec: DUP2
000010ed: DUP6
000010ee: DUP9
000010ef: PUSH2 0x8502
000010f2: GAS
000010f3: SUB
000010f4: CALL
000010f5: ISZERO
000010f6: PUSH2 0x0002
000010f9: JUMPI
000010fa: POP
000010fb: POP
000010fc: PUSH1 0x40
000010fe: MLOAD
000010ff: MLOAD
00001100: ISZERO
00001101: ISZERO
00001102: SWAP2
00001103: POP
00001104: PUSH2 0x0e87
00001107: SWAP1
00001108: POP
00001109: JUMPI
0000110a: PUSH1 0x00
0000110c: SWAP5
0000110d: POP
0000110e: POP
0000110f: POP
00001110: PUSH2 0x0ca8
00001113: JUMP
00001114: JUMPDEST
00001115: POP
00001116: DUP8
00001117: PUSH1 0x00
00001119: NOT
0000111a: AND
0000111b: CALLER
0000111c: PUSH1 0x01
0000111e: PUSH1 0xa0
00001120: PUSH1 0x02
00001122: EXP
00001123: SUB
00001124: AND
00001125: PUSH32 0x73d7feb5c7ccfd265c4fd77cd6c3fb3f492a9fd14fc7b46587d2f5869c462751
00001146: DUP10
00001147: DUP10
00001148: PUSH1 0x40
0000114a: MLOAD
0000114b: DUP1
0000114c: DUP4
0000114d: DUP2
0000114e: MSTORE
0000114f: PUSH1 0x20
00001151: ADD
00001152: DUP1
00001153: PUSH1 0x20
00001155: ADD
00001156: DUP3
00001157: DUP2
00001158: SUB
00001159: DUP3
0000115a: MSTORE
0000115b: DUP4
0000115c: DUP2
0000115d: DUP2
0000115e: MLOAD
0000115f: DUP2
00001160: MSTORE
00001161: PUSH1 0x20
00001163: ADD
00001164: SWAP2
00001165: POP
00001166: DUP1
00001167: MLOAD
00001168: SWAP1
00001169: PUSH1 0x20
0000116b: ADD
0000116c: SWAP1
0000116d: DUP1
0000116e: DUP4
0000116f: DUP4
00001170: DUP3
00001171: SWAP1
00001172: PUSH1 0x00
00001174: PUSH1 0x04
00001176: PUSH1 0x20
00001178: DUP5
00001179: PUSH1 0x1f
0000117b: ADD
0000117c: DIV
0000117d: PUSH1 0x0f
0000117f: MUL
00001180: PUSH1 0x03
00001182: ADD
00001183: CALL
00001184: POP
00001185: SWAP1
00001186: POP
00001187: SWAP1
00001188: DUP2
00001189: ADD
0000118a: SWAP1
0000118b: PUSH1 0x1f
0000118d: AND
0000118e: DUP1
0000118f: ISZERO
00001190: PUSH2 0x11ad
00001193: JUMPI
00001194: DUP1
00001195: DUP3
00001196: SUB
00001197: DUP1
00001198: MLOAD
00001199: PUSH1 0x01
0000119b: DUP4
0000119c: PUSH1 0x20
0000119e: SUB
0000119f: PUSH2 0x0100
000011a2: EXP
000011a3: SUB
000011a4: NOT
000011a5: AND
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: ADD
000011ab: SWAP2
000011ac: POP
000011ad: JUMPDEST
000011ae: POP
000011af: SWAP4
000011b0: POP
000011b1: POP
000011b2: POP
000011b3: POP
000011b4: PUSH1 0x40
000011b6: MLOAD
000011b7: DUP1
000011b8: SWAP2
000011b9: SUB
000011ba: SWAP1
000011bb: LOG3
000011bc: PUSH1 0x01
000011be: SWAP5
000011bf: POP
000011c0: POP
000011c1: POP
000011c2: PUSH2 0x0ca8
000011c5: JUMP
000011c6: JUMPDEST
000011c7: DUP2
000011c8: PUSH1 0x01
000011ca: PUSH1 0xa0
000011cc: PUSH1 0x02
000011ce: EXP
000011cf: SUB
000011d0: AND
000011d1: PUSH4 0x029a8bf7
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: DUP2
000011da: PUSH1 0xe0
000011dc: PUSH1 0x02
000011de: EXP
000011df: MUL
000011e0: DUP2
000011e1: MSTORE
000011e2: PUSH1 0x04
000011e4: ADD
000011e5: DUP1
000011e6: SWAP1
000011e7: POP
000011e8: PUSH1 0x20
000011ea: PUSH1 0x40
000011ec: MLOAD
000011ed: DUP1
000011ee: DUP4
000011ef: SUB
000011f0: DUP2
000011f1: PUSH1 0x00
000011f3: DUP8
000011f4: PUSH2 0x61da
000011f7: GAS
000011f8: SUB
000011f9: CALL
000011fa: ISZERO
000011fb: PUSH2 0x0002
000011fe: JUMPI
000011ff: POP
00001200: POP
00001201: PUSH1 0x40
00001203: MLOAD
00001204: MLOAD
00001205: PUSH1 0x01
00001207: PUSH1 0xa0
00001209: PUSH1 0x02
0000120b: EXP
0000120c: SUB
0000120d: AND
0000120e: PUSH1 0x00
00001210: EQ
00001211: ISZERO
00001212: SWAP1
00001213: POP
00001214: PUSH2 0x1220
00001217: JUMPI
00001218: PUSH1 0x00
0000121a: SWAP3
0000121b: POP
0000121c: PUSH2 0x0ca8
0000121f: JUMP
00001220: JUMPDEST
00001221: DUP2
00001222: PUSH1 0x01
00001224: PUSH1 0xa0
00001226: PUSH1 0x02
00001228: EXP
00001229: SUB
0000122a: AND
0000122b: PUSH4 0x029a8bf7
00001230: PUSH1 0x40
00001232: MLOAD
00001233: DUP2
00001234: PUSH1 0xe0
00001236: PUSH1 0x02
00001238: EXP
00001239: MUL
0000123a: DUP2
0000123b: MSTORE
0000123c: PUSH1 0x04
0000123e: ADD
0000123f: DUP1
00001240: SWAP1
00001241: POP
00001242: PUSH1 0x20
00001244: PUSH1 0x40
00001246: MLOAD
00001247: DUP1
00001248: DUP4
00001249: SUB
0000124a: DUP2
0000124b: PUSH1 0x00
0000124d: DUP8
0000124e: PUSH2 0x61da
00001251: GAS
00001252: SUB
00001253: CALL
00001254: ISZERO
00001255: PUSH2 0x0002
00001258: JUMPI
00001259: POP
0000125a: POP
0000125b: PUSH1 0x40
0000125d: DUP1
0000125e: MLOAD
0000125f: DUP1
00001260: MLOAD
00001261: PUSH32 0x2f553d3100000000000000000000000000000000000000000000000000000000
00001282: DUP3
00001283: MSTORE
00001284: PUSH1 0x04
00001286: DUP3
00001287: ADD
00001288: DUP6
00001289: SWAP1
0000128a: MSTORE
0000128b: SWAP2
0000128c: MLOAD
0000128d: PUSH1 0x01
0000128f: PUSH1 0xa0
00001291: PUSH1 0x02
00001293: EXP
00001294: SUB
00001295: SWAP3
00001296: SWAP1
00001297: SWAP3
00001298: AND
00001299: SWAP3
0000129a: POP
0000129b: PUSH4 0x2f553d31
000012a0: SWAP2
000012a1: PUSH1 0x24
000012a3: DUP3
000012a4: DUP2
000012a5: ADD
000012a6: SWAP3
000012a7: PUSH1 0x20
000012a9: SWAP3
000012aa: SWAP2
000012ab: SWAP1
000012ac: DUP3
000012ad: SWAP1
000012ae: SUB
000012af: ADD
000012b0: DUP2
000012b1: PUSH1 0x00
000012b3: DUP8
000012b4: PUSH2 0x61da
000012b7: GAS
000012b8: SUB
000012b9: CALL
000012ba: ISZERO
000012bb: PUSH2 0x0002
000012be: JUMPI
000012bf: POP
000012c0: POP
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: MLOAD
000012c5: ISZERO
000012c6: ISZERO
000012c7: SWAP1
000012c8: POP
000012c9: PUSH2 0x12d5
000012cc: JUMPI
000012cd: PUSH1 0x00
000012cf: SWAP3
000012d0: POP
000012d1: PUSH2 0x0ca8
000012d4: JUMP
000012d5: JUMPDEST
000012d6: DUP2
000012d7: PUSH1 0x01
000012d9: PUSH1 0xa0
000012db: PUSH1 0x02
000012dd: EXP
000012de: SUB
000012df: AND
000012e0: PUSH4 0x029a8bf7
000012e5: PUSH1 0x40
000012e7: MLOAD
000012e8: DUP2
000012e9: PUSH1 0xe0
000012eb: PUSH1 0x02
000012ed: EXP
000012ee: MUL
000012ef: DUP2
000012f0: MSTORE
000012f1: PUSH1 0x04
000012f3: ADD
000012f4: DUP1
000012f5: SWAP1
000012f6: POP
000012f7: PUSH1 0x20
000012f9: PUSH1 0x40
000012fb: MLOAD
000012fc: DUP1
000012fd: DUP4
000012fe: SUB
000012ff: DUP2
00001300: PUSH1 0x00
00001302: DUP8
00001303: PUSH2 0x61da
00001306: GAS
00001307: SUB
00001308: CALL
00001309: ISZERO
0000130a: PUSH2 0x0002
0000130d: JUMPI
0000130e: POP
0000130f: POP
00001310: PUSH1 0x40
00001312: DUP1
00001313: MLOAD
00001314: DUP1
00001315: MLOAD
00001316: PUSH32 0x8180f2fc00000000000000000000000000000000000000000000000000000000
00001337: DUP3
00001338: MSTORE
00001339: PUSH1 0x01
0000133b: PUSH1 0xa0
0000133d: PUSH1 0x02
0000133f: EXP
00001340: SUB
00001341: DUP11
00001342: DUP2
00001343: AND
00001344: PUSH1 0x04
00001346: DUP5
00001347: ADD
00001348: MSTORE
00001349: PUSH1 0x00
0000134b: NOT
0000134c: PUSH1 0x24
0000134e: DUP5
0000134f: ADD
00001350: MSTORE
00001351: PUSH1 0x44
00001353: DUP4
00001354: ADD
00001355: DUP7
00001356: SWAP1
00001357: MSTORE
00001358: SWAP3
00001359: MLOAD
0000135a: SWAP3
0000135b: AND
0000135c: SWAP3
0000135d: POP
0000135e: PUSH4 0x8180f2fc
00001363: SWAP2
00001364: PUSH1 0x64
00001366: DUP3
00001367: DUP2
00001368: ADD
00001369: SWAP3
0000136a: PUSH1 0x20
0000136c: SWAP3
0000136d: SWAP2
0000136e: SWAP1
0000136f: DUP3
00001370: SWAP1
00001371: SUB
00001372: ADD
00001373: DUP2
00001374: PUSH1 0x00
00001376: DUP8
00001377: PUSH2 0x61da
0000137a: GAS
0000137b: SUB
0000137c: CALL
0000137d: ISZERO
0000137e: PUSH2 0x0002
00001381: JUMPI
00001382: POP
00001383: POP
00001384: PUSH1 0x40
00001386: MLOAD
00001387: MLOAD
00001388: ISZERO
00001389: ISZERO
0000138a: SWAP1
0000138b: POP
0000138c: PUSH2 0x1398
0000138f: JUMPI
00001390: PUSH1 0x00
00001392: SWAP3
00001393: POP
00001394: PUSH2 0x0ca8
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0xc0
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: SWAP1
0000139f: DUP2
000013a0: ADD
000013a1: PUSH1 0x40
000013a3: MSTORE
000013a4: DUP1
000013a5: DUP4
000013a6: DUP2
000013a7: MSTORE
000013a8: PUSH1 0x20
000013aa: ADD
000013ab: DUP7
000013ac: DUP2
000013ad: MSTORE
000013ae: PUSH1 0x20
000013b0: ADD
000013b1: PUSH2 0x13bf
000013b4: TIMESTAMP
000013b5: PUSH1 0x03
000013b7: PUSH1 0x00
000013b9: POP
000013ba: SLOAD
000013bb: PUSH2 0x0987
000013be: JUMP
000013bf: JUMPDEST
000013c0: DUP2
000013c1: MSTORE
000013c2: TIMESTAMP
000013c3: PUSH1 0x20
000013c5: DUP3
000013c6: DUP2
000013c7: ADD
000013c8: SWAP2
000013c9: SWAP1
000013ca: SWAP2
000013cb: MSTORE
000013cc: PUSH1 0x40
000013ce: DUP3
000013cf: DUP2
000013d0: ADD
000013d1: DUP9
000013d2: SWAP1
000013d3: MSTORE
000013d4: PUSH1 0x01
000013d6: PUSH1 0x60
000013d8: SWAP4
000013d9: DUP5
000013da: ADD
000013db: DUP2
000013dc: SWAP1
000013dd: MSTORE
000013de: PUSH1 0x00
000013e0: DUP7
000013e1: DUP2
000013e2: MSTORE
000013e3: PUSH1 0x02
000013e5: DUP1
000013e6: DUP6
000013e7: MSTORE
000013e8: SWAP1
000013e9: DUP4
000013ea: SWAP1
000013eb: KECCAK256
000013ec: DUP1
000013ed: SLOAD
000013ee: DUP8
000013ef: MLOAD
000013f0: PUSH1 0x01
000013f2: PUSH1 0xa0
000013f4: PUSH1 0x02
000013f6: EXP
000013f7: SUB
000013f8: NOT
000013f9: SWAP1
000013fa: SWAP2
000013fb: AND
000013fc: OR
000013fd: DUP2
000013fe: SSTORE
000013ff: SWAP4
00001400: DUP7
00001401: ADD
00001402: MLOAD
00001403: DUP5
00001404: DUP4
00001405: ADD
00001406: SSTORE
00001407: SWAP2
00001408: DUP6
00001409: ADD
0000140a: MLOAD
0000140b: SWAP2
0000140c: DUP4
0000140d: ADD
0000140e: SWAP2
0000140f: SWAP1
00001410: SWAP2
00001411: SSTORE
00001412: SWAP2
00001413: DUP4
00001414: ADD
00001415: MLOAD
00001416: PUSH1 0x03
00001418: DUP3
00001419: ADD
0000141a: SSTORE
0000141b: PUSH1 0x80
0000141d: DUP4
0000141e: ADD
0000141f: MLOAD
00001420: PUSH1 0x06
00001422: SWAP2
00001423: SWAP1
00001424: SWAP2
00001425: ADD
00001426: DUP1
00001427: SLOAD
00001428: PUSH1 0xa0
0000142a: SWAP5
0000142b: SWAP1
0000142c: SWAP5
0000142d: ADD
0000142e: MLOAD
0000142f: PUSH2 0x0100
00001432: MUL
00001433: PUSH2 0xff00
00001436: NOT
00001437: PUSH1 0xff
00001439: NOT
0000143a: SWAP1
0000143b: SWAP6
0000143c: AND
0000143d: SWAP1
0000143e: SWAP3
0000143f: OR
00001440: SWAP4
00001441: SWAP1
00001442: SWAP4
00001443: AND
00001444: OR
00001445: SWAP1
00001446: SWAP2
00001447: SSTORE
00001448: SWAP3
00001449: POP
0000144a: PUSH2 0x0ca8
0000144d: JUMP
0000144e: JUMPDEST
0000144f: SWAP1
00001450: POP
00001451: DUP2
00001452: PUSH1 0x00
00001454: ADD
00001455: PUSH1 0x00
00001457: SWAP1
00001458: SLOAD
00001459: SWAP1
0000145a: PUSH2 0x0100
0000145d: EXP
0000145e: SWAP1
0000145f: DIV
00001460: PUSH1 0x01
00001462: PUSH1 0xa0
00001464: PUSH1 0x02
00001466: EXP
00001467: SUB
00001468: AND
00001469: PUSH1 0x01
0000146b: PUSH1 0xa0
0000146d: PUSH1 0x02
0000146f: EXP
00001470: SUB
00001471: AND
00001472: PUSH4 0xac35caee
00001477: DUP3
00001478: DUP10
00001479: DUP10
0000147a: DUP9
0000147b: PUSH1 0x40
0000147d: MLOAD
0000147e: DUP6
0000147f: PUSH1 0xe0
00001481: PUSH1 0x02
00001483: EXP
00001484: MUL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x04
00001489: ADD
0000148a: DUP1
0000148b: DUP5
0000148c: PUSH1 0x01
0000148e: PUSH1 0xa0
00001490: PUSH1 0x02
00001492: EXP
00001493: SUB
00001494: AND
00001495: DUP2
00001496: MSTORE
00001497: PUSH1 0x20
00001499: ADD
0000149a: DUP4
0000149b: DUP2
0000149c: MSTORE
0000149d: PUSH1 0x20
0000149f: ADD
000014a0: DUP1
000014a1: PUSH1 0x20
000014a3: ADD
000014a4: DUP3
000014a5: DUP2
000014a6: SUB
000014a7: DUP3
000014a8: MSTORE
000014a9: DUP4
000014aa: DUP2
000014ab: DUP2
000014ac: MLOAD
000014ad: DUP2
000014ae: MSTORE
000014af: PUSH1 0x20
000014b1: ADD
000014b2: SWAP2
000014b3: POP
000014b4: DUP1
000014b5: MLOAD
000014b6: SWAP1
000014b7: PUSH1 0x20
000014b9: ADD
000014ba: SWAP1
000014bb: DUP1
000014bc: DUP4
000014bd: DUP4
000014be: DUP3
000014bf: SWAP1
000014c0: PUSH1 0x00
000014c2: PUSH1 0x04
000014c4: PUSH1 0x20
000014c6: DUP5
000014c7: PUSH1 0x1f
000014c9: ADD
000014ca: DIV
000014cb: PUSH1 0x0f
000014cd: MUL
000014ce: PUSH1 0x03
000014d0: ADD
000014d1: CALL
000014d2: POP
000014d3: SWAP1
000014d4: POP
000014d5: SWAP1
000014d6: DUP2
000014d7: ADD
000014d8: SWAP1
000014d9: PUSH1 0x1f
000014db: AND
000014dc: DUP1
000014dd: ISZERO
000014de: PUSH2 0x14fb
000014e1: JUMPI
000014e2: DUP1
000014e3: DUP3
000014e4: SUB
000014e5: DUP1
000014e6: MLOAD
000014e7: PUSH1 0x01
000014e9: DUP4
000014ea: PUSH1 0x20
000014ec: SUB
000014ed: PUSH2 0x0100
000014f0: EXP
000014f1: SUB
000014f2: NOT
000014f3: AND
000014f4: DUP2
000014f5: MSTORE
000014f6: PUSH1 0x20
000014f8: ADD
000014f9: SWAP2
000014fa: POP
000014fb: JUMPDEST
000014fc: POP
000014fd: SWAP5
000014fe: POP
000014ff: POP
00001500: POP
00001501: POP
00001502: POP
00001503: PUSH1 0x20
00001505: PUSH1 0x40
00001507: MLOAD
00001508: DUP1
00001509: DUP4
0000150a: SUB
0000150b: DUP2
0000150c: DUP6
0000150d: DUP9
0000150e: PUSH2 0x8502
00001511: GAS
00001512: SUB
00001513: CALL
00001514: ISZERO
00001515: PUSH2 0x0002
00001518: JUMPI
00001519: POP
0000151a: POP
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: MLOAD
0000151f: ISZERO
00001520: ISZERO
00001521: SWAP2
00001522: POP
00001523: PUSH2 0x1531
00001526: SWAP1
00001527: POP
00001528: JUMPI
00001529: PUSH1 0x00
0000152b: SWAP3
0000152c: POP
0000152d: PUSH2 0x0ba8
00001530: JUMP
00001531: JUMPDEST
00001532: DUP5
00001533: PUSH1 0x00
00001535: NOT
00001536: AND
00001537: DUP8
00001538: PUSH1 0x01
0000153a: PUSH1 0xa0
0000153c: PUSH1 0x02
0000153e: EXP
0000153f: SUB
00001540: AND
00001541: CALLER
00001542: PUSH1 0x01
00001544: PUSH1 0xa0
00001546: PUSH1 0x02
00001548: EXP
00001549: SUB
0000154a: AND
0000154b: PUSH32 0xae7443ddaf98d964198bed69ffecbbdeea67363d04c21a72f94bcb1a10fae229
0000156c: DUP10
0000156d: DUP9
0000156e: PUSH1 0x40
00001570: MLOAD
00001571: DUP1
00001572: DUP4
00001573: DUP2
00001574: MSTORE
00001575: PUSH1 0x20
00001577: ADD
00001578: DUP1
00001579: PUSH1 0x20
0000157b: ADD
0000157c: DUP3
0000157d: DUP2
0000157e: SUB
0000157f: DUP3
00001580: MSTORE
00001581: DUP4
00001582: DUP2
00001583: DUP2
00001584: MLOAD
00001585: DUP2
00001586: MSTORE
00001587: PUSH1 0x20
00001589: ADD
0000158a: SWAP2
0000158b: POP
0000158c: DUP1
0000158d: MLOAD
0000158e: SWAP1
0000158f: PUSH1 0x20
00001591: ADD
00001592: SWAP1
00001593: DUP1
00001594: DUP4
00001595: DUP4
00001596: DUP3
00001597: SWAP1
00001598: PUSH1 0x00
0000159a: PUSH1 0x04
0000159c: PUSH1 0x20
0000159e: DUP5
0000159f: PUSH1 0x1f
000015a1: ADD
000015a2: DIV
000015a3: PUSH1 0x0f
000015a5: MUL
000015a6: PUSH1 0x03
000015a8: ADD
000015a9: CALL
000015aa: POP
000015ab: SWAP1
000015ac: POP
000015ad: SWAP1
000015ae: DUP2
000015af: ADD
000015b0: SWAP1
000015b1: PUSH1 0x1f
000015b3: AND
000015b4: DUP1
000015b5: ISZERO
000015b6: PUSH2 0x15d3
000015b9: JUMPI
000015ba: DUP1
000015bb: DUP3
000015bc: SUB
000015bd: DUP1
000015be: MLOAD
000015bf: PUSH1 0x01
000015c1: DUP4
000015c2: PUSH1 0x20
000015c4: SUB
000015c5: PUSH2 0x0100
000015c8: EXP
000015c9: SUB
000015ca: NOT
000015cb: AND
000015cc: DUP2
000015cd: MSTORE
000015ce: PUSH1 0x20
000015d0: ADD
000015d1: SWAP2
000015d2: POP
000015d3: JUMPDEST
000015d4: POP
000015d5: SWAP4
000015d6: POP
000015d7: POP
000015d8: POP
000015d9: POP
000015da: PUSH1 0x40
000015dc: MLOAD
000015dd: DUP1
000015de: SWAP2
000015df: SUB
000015e0: SWAP1
000015e1: LOG4
000015e2: PUSH1 0x01
000015e4: SWAP3
000015e5: POP
000015e6: PUSH2 0x0ba8
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x01
000015ed: PUSH1 0xa0
000015ef: PUSH1 0x02
000015f1: EXP
000015f2: SUB
000015f3: AND
000015f4: PUSH4 0xa0f15b87
000015f9: PUSH1 0x40
000015fb: MLOAD
000015fc: DUP2
000015fd: PUSH1 0xe0
000015ff: PUSH1 0x02
00001601: EXP
00001602: MUL
00001603: DUP2
00001604: MSTORE
00001605: PUSH1 0x04
00001607: ADD
00001608: DUP1
00001609: SWAP1
0000160a: POP
0000160b: PUSH1 0x20
0000160d: PUSH1 0x40
0000160f: MLOAD
00001610: DUP1
00001611: DUP4
00001612: SUB
00001613: DUP2
00001614: PUSH1 0x00
00001616: DUP8
00001617: PUSH2 0x61da
0000161a: GAS
0000161b: SUB
0000161c: CALL
0000161d: ISZERO
0000161e: PUSH2 0x0002
00001621: JUMPI
00001622: POP
00001623: POP
00001624: PUSH1 0x40
00001626: MLOAD
00001627: MLOAD
00001628: PUSH1 0x01
0000162a: PUSH1 0xa0
0000162c: PUSH1 0x02
0000162e: EXP
0000162f: SUB
00001630: AND
00001631: SWAP1
00001632: POP
00001633: PUSH4 0x9fda5b66
00001638: DUP4
00001639: PUSH1 0x04
0000163b: PUSH1 0xf8
0000163d: PUSH1 0x02
0000163f: EXP
00001640: SWAP2
00001641: SWAP1
00001642: BYTE
00001643: MUL
00001644: DUP5
00001645: PUSH1 0x05
00001647: BYTE
00001648: PUSH1 0xf8
0000164a: PUSH1 0x02
0000164c: EXP
0000164d: MUL
0000164e: DUP6
0000164f: PUSH1 0x06
00001651: PUSH1 0x40
00001653: DUP1
00001654: MLOAD
00001655: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001676: SWAP6
00001677: DUP7
00001678: AND
00001679: DUP2
0000167a: MSTORE
0000167b: SWAP4
0000167c: DUP6
0000167d: AND
0000167e: PUSH1 0x01
00001680: DUP6
00001681: ADD
00001682: MSTORE
00001683: SWAP2
00001684: SWAP1
00001685: BYTE
00001686: PUSH1 0xf8
00001688: PUSH1 0x02
0000168a: EXP
0000168b: MUL
0000168c: SWAP3
0000168d: SWAP1
0000168e: SWAP3
0000168f: AND
00001690: PUSH1 0x02
00001692: DUP3
00001693: ADD
00001694: MSTORE
00001695: DUP2
00001696: MLOAD
00001697: SWAP1
00001698: DUP2
00001699: SWAP1
0000169a: SUB
0000169b: PUSH1 0x03
0000169d: ADD
0000169e: DUP2
0000169f: KECCAK256
000016a0: PUSH32 0x9fda5b6600000000000000000000000000000000000000000000000000000000
000016c1: DUP3
000016c2: MSTORE
000016c3: PUSH1 0x04
000016c5: DUP3
000016c6: ADD
000016c7: MSTORE
000016c8: SWAP1
000016c9: MLOAD
000016ca: PUSH1 0x24
000016cc: DUP3
000016cd: DUP2
000016ce: ADD
000016cf: SWAP3
000016d0: PUSH1 0x20
000016d2: SWAP3
000016d3: SWAP2
000016d4: SWAP1
000016d5: DUP3
000016d6: SWAP1
000016d7: SUB
000016d8: ADD
000016d9: DUP2
000016da: PUSH1 0x00
000016dc: DUP8
000016dd: PUSH2 0x61da
000016e0: GAS
000016e1: SUB
000016e2: CALL
000016e3: ISZERO
000016e4: PUSH2 0x0002
000016e7: JUMPI
000016e8: POP
000016e9: POP
000016ea: PUSH1 0x40
000016ec: MLOAD
000016ed: MLOAD
000016ee: SWAP2
000016ef: POP
000016f0: PUSH2 0x0e77
000016f3: SWAP1
000016f4: POP
000016f5: JUMP
000016f6: JUMPDEST
000016f7: ISZERO
000016f8: PUSH2 0x0ffe
000016fb: JUMPI
000016fc: PUSH2 0x1703
000016ff: PUSH2 0x0227
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH1 0x00
00001706: DUP2
00001707: DUP2
00001708: MSTORE
00001709: PUSH1 0x02
0000170b: PUSH1 0x20
0000170d: MSTORE
0000170e: PUSH1 0x40
00001710: SWAP1
00001711: KECCAK256
00001712: SWAP1
00001713: SWAP5
00001714: POP
00001715: SWAP3
00001716: POP
00001717: PUSH2 0x1720
0000171a: DUP4
0000171b: DUP9
0000171c: PUSH2 0x0cc9
0000171f: JUMP
00001720: JUMPDEST
00001721: SWAP2
00001722: POP
00001723: DUP3
00001724: PUSH1 0x00
00001726: ADD
00001727: PUSH1 0x00
00001729: SWAP1
0000172a: SLOAD
0000172b: SWAP1
0000172c: PUSH2 0x0100
0000172f: EXP
00001730: SWAP1
00001731: DIV
00001732: PUSH1 0x01
00001734: PUSH1 0xa0
00001736: PUSH1 0x02
00001738: EXP
00001739: SUB
0000173a: AND
0000173b: PUSH1 0x01
0000173d: PUSH1 0xa0
0000173f: PUSH1 0x02
00001741: EXP
00001742: SUB
00001743: AND
00001744: PUSH4 0xac35caee
00001749: DUP4
0000174a: DUP11
0000174b: DUP11
0000174c: DUP11
0000174d: PUSH1 0x40
0000174f: MLOAD
00001750: DUP6
00001751: PUSH1 0xe0
00001753: PUSH1 0x02
00001755: EXP
00001756: MUL
00001757: DUP2
00001758: MSTORE
00001759: PUSH1 0x04
0000175b: ADD
0000175c: DUP1
0000175d: DUP5
0000175e: PUSH1 0x01
00001760: PUSH1 0xa0
00001762: PUSH1 0x02
00001764: EXP
00001765: SUB
00001766: AND
00001767: DUP2
00001768: MSTORE
00001769: PUSH1 0x20
0000176b: ADD
0000176c: DUP4
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: ADD
00001772: DUP1
00001773: PUSH1 0x20
00001775: ADD
00001776: DUP3
00001777: DUP2
00001778: SUB
00001779: DUP3
0000177a: MSTORE
0000177b: DUP4
0000177c: DUP2
0000177d: DUP2
0000177e: MLOAD
0000177f: DUP2
00001780: MSTORE
00001781: PUSH1 0x20
00001783: ADD
00001784: SWAP2
00001785: POP
00001786: DUP1
00001787: MLOAD
00001788: SWAP1
00001789: PUSH1 0x20
0000178b: ADD
0000178c: SWAP1
0000178d: DUP1
0000178e: DUP4
0000178f: DUP4
00001790: DUP3
00001791: SWAP1
00001792: PUSH1 0x00
00001794: PUSH1 0x04
00001796: PUSH1 0x20
00001798: DUP5
00001799: PUSH1 0x1f
0000179b: ADD
0000179c: DIV
0000179d: PUSH1 0x0f
0000179f: MUL
000017a0: PUSH1 0x03
000017a2: ADD
000017a3: CALL
000017a4: POP
000017a5: SWAP1
000017a6: POP
000017a7: SWAP1
000017a8: DUP2
000017a9: ADD
000017aa: SWAP1
000017ab: PUSH1 0x1f
000017ad: AND
000017ae: DUP1
000017af: ISZERO
000017b0: PUSH2 0x17cd
000017b3: JUMPI
000017b4: DUP1
000017b5: DUP3
000017b6: SUB
000017b7: DUP1
000017b8: MLOAD
000017b9: PUSH1 0x01
000017bb: DUP4
000017bc: PUSH1 0x20
000017be: SUB
000017bf: PUSH2 0x0100
000017c2: EXP
000017c3: SUB
000017c4: NOT
000017c5: AND
000017c6: DUP2
000017c7: MSTORE
000017c8: PUSH1 0x20
000017ca: ADD
000017cb: SWAP2
000017cc: POP
000017cd: JUMPDEST
000017ce: POP
000017cf: SWAP5
000017d0: POP
000017d1: POP
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: PUSH1 0x20
000017d7: PUSH1 0x40
000017d9: MLOAD
000017da: DUP1
000017db: DUP4
000017dc: SUB
000017dd: DUP2
000017de: DUP6
000017df: DUP9
000017e0: PUSH2 0x8502
000017e3: GAS
000017e4: SUB
000017e5: CALL
000017e6: ISZERO
000017e7: PUSH2 0x0002
000017ea: JUMPI
000017eb: POP
000017ec: POP
000017ed: PUSH1 0x40
000017ef: MLOAD
000017f0: MLOAD
000017f1: ISZERO
000017f2: ISZERO
000017f3: SWAP2
000017f4: POP
000017f5: PUSH2 0x1804
000017f8: SWAP1
000017f9: POP
000017fa: JUMPI
000017fb: PUSH1 0x00
000017fd: SWAP5
000017fe: POP
000017ff: POP
00001800: PUSH2 0x1000
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH2 0x1815
00001808: DUP8
00001809: TIMESTAMP
0000180a: PUSH1 0x03
0000180c: PUSH1 0x00
0000180e: POP
0000180f: SLOAD
00001810: DUP7
00001811: PUSH2 0x0e94
00001814: JUMP
00001815: JUMPDEST
00001816: POP
00001817: DUP4
00001818: PUSH1 0x00
0000181a: NOT
0000181b: AND
0000181c: DUP9
0000181d: PUSH1 0x01
0000181f: PUSH1 0xa0
00001821: PUSH1 0x02
00001823: EXP
00001824: SUB
00001825: AND
00001826: CALLER
00001827: PUSH1 0x01
00001829: PUSH1 0xa0
0000182b: PUSH1 0x02
0000182d: EXP
0000182e: SUB
0000182f: AND
00001830: PUSH32 0xae7443ddaf98d964198bed69ffecbbdeea67363d04c21a72f94bcb1a10fae229
00001851: DUP11
00001852: DUP11
00001853: PUSH1 0x40
00001855: MLOAD
00001856: DUP1
00001857: DUP4
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: DUP1
0000185e: PUSH1 0x20
00001860: ADD
00001861: DUP3
00001862: DUP2
00001863: SUB
00001864: DUP3
00001865: MSTORE
00001866: DUP4
00001867: DUP2
00001868: DUP2
00001869: MLOAD
0000186a: DUP2
0000186b: MSTORE
0000186c: PUSH1 0x20
0000186e: ADD
0000186f: SWAP2
00001870: POP
00001871: DUP1
00001872: MLOAD
00001873: SWAP1
00001874: PUSH1 0x20
00001876: ADD
00001877: SWAP1
00001878: DUP1
00001879: DUP4
0000187a: DUP4
0000187b: DUP3
0000187c: SWAP1
0000187d: PUSH1 0x00
0000187f: PUSH1 0x04
00001881: PUSH1 0x20
00001883: DUP5
00001884: PUSH1 0x1f
00001886: ADD
00001887: DIV
00001888: PUSH1 0x0f
0000188a: MUL
0000188b: PUSH1 0x03
0000188d: ADD
0000188e: CALL
0000188f: POP
00001890: SWAP1
00001891: POP
00001892: SWAP1
00001893: DUP2
00001894: ADD
00001895: SWAP1
00001896: PUSH1 0x1f
00001898: AND
00001899: DUP1
0000189a: ISZERO
0000189b: PUSH2 0x18b8
0000189e: JUMPI
0000189f: DUP1
000018a0: DUP3
000018a1: SUB
000018a2: DUP1
000018a3: MLOAD
000018a4: PUSH1 0x01
000018a6: DUP4
000018a7: PUSH1 0x20
000018a9: SUB
000018aa: PUSH2 0x0100
000018ad: EXP
000018ae: SUB
000018af: NOT
000018b0: AND
000018b1: DUP2
000018b2: MSTORE
000018b3: PUSH1 0x20
000018b5: ADD
000018b6: SWAP2
000018b7: POP
000018b8: JUMPDEST
000018b9: POP
000018ba: SWAP4
000018bb: POP
000018bc: POP
000018bd: POP
000018be: POP
000018bf: PUSH1 0x40
000018c1: MLOAD
000018c2: DUP1
000018c3: SWAP2
000018c4: SUB
000018c5: SWAP1
000018c6: LOG4
000018c7: PUSH1 0x01
000018c9: SWAP5
000018ca: POP
000018cb: POP
000018cc: PUSH2 0x1000
000018cf: JUMP
000018d0: JUMPDEST
000018d1: DUP7
000018d2: DUP7
000018d3: SWAP10
000018d4: POP
000018d5: SWAP10
000018d6: POP
000018d7: JUMPDEST
000018d8: POP
000018d9: POP
000018da: POP
000018db: POP
000018dc: POP
000018dd: POP
000018de: POP
000018df: POP
000018e0: SWAP4
000018e1: POP
000018e2: SWAP4
000018e3: SWAP2
000018e4: POP
000018e5: POP
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH1 0x01
000018ea: DUP9
000018eb: ADD
000018ec: SLOAD
000018ed: PUSH1 0x03
000018ef: DUP10
000018f0: ADD
000018f1: SLOAD
000018f2: PUSH1 0x00
000018f4: SWAP9
000018f5: POP
000018f6: SWAP1
000018f7: SWAP7
000018f8: POP
000018f9: PUSH3 0x013560
000018fd: SWAP1
000018fe: DUP15
000018ff: SUB
00001900: GT
00001901: ISZERO
00001902: PUSH2 0x1910
00001905: JUMPI
00001906: DUP7
00001907: DUP7
00001908: SWAP10
00001909: POP
0000190a: SWAP10
0000190b: POP
0000190c: PUSH2 0x18d7
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH2 0x191a
00001914: DUP14
00001915: DUP14
00001916: PUSH2 0x0987
00001919: JUMP
0000191a: JUMPDEST
0000191b: PUSH1 0x02
0000191d: DUP10
0000191e: ADD
0000191f: SLOAD
00001920: SWAP1
00001921: SWAP6
00001922: POP
00001923: SWAP4
00001924: POP
00001925: DUP5
00001926: DUP5
00001927: GT
00001928: ISZERO
00001929: PUSH2 0x196d
0000192c: JUMPI
0000192d: DUP5
0000192e: PUSH1 0x01
00001930: ADD
00001931: SWAP3
00001932: POP
00001933: JUMPDEST
00001934: DUP4
00001935: DUP4
00001936: GT
00001937: PUSH2 0x18d0
0000193a: JUMPI
0000193b: PUSH1 0x00
0000193d: DUP4
0000193e: DUP2
0000193f: MSTORE
00001940: PUSH1 0x04
00001942: DUP10
00001943: ADD
00001944: PUSH1 0x20
00001946: SWAP1
00001947: DUP2
00001948: MSTORE
00001949: PUSH1 0x40
0000194b: DUP1
0000194c: DUP4
0000194d: KECCAK256
0000194e: SLOAD
0000194f: PUSH1 0x05
00001951: DUP13
00001952: ADD
00001953: SWAP1
00001954: SWAP3
00001955: MSTORE
00001956: SWAP1
00001957: SWAP2
00001958: KECCAK256
00001959: SLOAD
0000195a: SWAP8
0000195b: ADD
0000195c: SWAP7
0000195d: SWAP6
0000195e: SWAP1
0000195f: SWAP6
00001960: ADD
00001961: SWAP5
00001962: PUSH1 0x01
00001964: SWAP3
00001965: SWAP1
00001966: SWAP3
00001967: ADD
00001968: SWAP2
00001969: PUSH2 0x1933
0000196c: JUMP
0000196d: JUMPDEST
0000196e: DUP5
0000196f: PUSH1 0x01
00001971: ADD
00001972: SWAP2
00001973: POP
00001974: JUMPDEST
00001975: PUSH1 0x0c
00001977: DUP3
00001978: LT
00001979: ISZERO
0000197a: PUSH2 0x19b0
0000197d: JUMPI
0000197e: PUSH1 0x00
00001980: DUP3
00001981: DUP2
00001982: MSTORE
00001983: PUSH1 0x04
00001985: DUP10
00001986: ADD
00001987: PUSH1 0x20
00001989: SWAP1
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH1 0x40
0000198e: DUP1
0000198f: DUP4
00001990: KECCAK256
00001991: SLOAD
00001992: PUSH1 0x05
00001994: DUP13
00001995: ADD
00001996: SWAP1
00001997: SWAP3
00001998: MSTORE
00001999: SWAP1
0000199a: SWAP2
0000199b: KECCAK256
0000199c: SLOAD
0000199d: SWAP8
0000199e: ADD
0000199f: SWAP7
000019a0: SWAP6
000019a1: SWAP1
000019a2: SWAP6
000019a3: ADD
000019a4: SWAP5
000019a5: PUSH1 0x01
000019a7: SWAP2
000019a8: SWAP1
000019a9: SWAP2
000019aa: ADD
000019ab: SWAP1
000019ac: PUSH2 0x1974
000019af: JUMP
000019b0: JUMPDEST
000019b1: POP
000019b2: PUSH1 0x00
000019b4: JUMPDEST
000019b5: DUP4
000019b6: DUP2
000019b7: GT
000019b8: PUSH2 0x18d0
000019bb: JUMPI
000019bc: PUSH1 0x00
000019be: DUP2
000019bf: DUP2
000019c0: MSTORE
000019c1: PUSH1 0x04
000019c3: DUP10
000019c4: ADD
000019c5: PUSH1 0x20
000019c7: SWAP1
000019c8: DUP2
000019c9: MSTORE
000019ca: PUSH1 0x40
000019cc: DUP1
000019cd: DUP4
000019ce: KECCAK256
000019cf: SLOAD
000019d0: PUSH1 0x05
000019d2: DUP13
000019d3: ADD
000019d4: SWAP1
000019d5: SWAP3
000019d6: MSTORE
000019d7: SWAP1
000019d8: SWAP2
000019d9: KECCAK256
000019da: SLOAD
000019db: SWAP8
000019dc: ADD
000019dd: SWAP7
000019de: SWAP1
000019df: SWAP6
000019e0: ADD
000019e1: SWAP5
000019e2: PUSH1 0x01
000019e4: ADD
000019e5: PUSH2 0x19b4
000019e8: JUMP
000019e9: JUMPDEST
000019ea: SWAP2
000019eb: POP
000019ec: SWAP2
000019ed: POP
000019ee: SWAP2
000019ef: POP
000019f0: SWAP2
000019f1: JUMP
000019f2: JUMPDEST
000019f3: DUP2
000019f4: MSTORE
000019f5: PUSH1 0x20
000019f7: DUP2
000019f8: DUP2
000019f9: ADD
000019fa: SWAP3
000019fb: SWAP1
000019fc: SWAP3
000019fd: MSTORE
000019fe: PUSH1 0x40
00001a00: SWAP1
00001a01: DUP2
00001a02: ADD
00001a03: PUSH1 0x00
00001a05: SWAP1
00001a06: DUP2
00001a07: KECCAK256
00001a08: SLOAD
00001a09: DUP3
00001a0a: MLOAD
00001a0b: PUSH32 0x029a8bf700000000000000000000000000000000000000000000000000000000
00001a2c: DUP2
00001a2d: MSTORE
00001a2e: SWAP3
00001a2f: MLOAD
00001a30: PUSH1 0x01
00001a32: PUSH1 0xa0
00001a34: PUSH1 0x02
00001a36: EXP
00001a37: SUB
00001a38: SWAP2
00001a39: SWAP1
00001a3a: SWAP2
00001a3b: AND
00001a3c: SWAP4
00001a3d: PUSH4 0x029a8bf7
00001a42: SWAP4
00001a43: PUSH1 0x04
00001a45: DUP2
00001a46: DUP2
00001a47: ADD
00001a48: SWAP5
00001a49: SWAP3
00001a4a: SWAP4
00001a4b: SWAP3
00001a4c: SWAP2
00001a4d: DUP4
00001a4e: SWAP1
00001a4f: SUB
00001a50: ADD
00001a51: SWAP1
00001a52: DUP3
00001a53: SWAP1
00001a54: DUP8
00001a55: PUSH2 0x61da
00001a58: GAS
00001a59: SUB
00001a5a: CALL
00001a5b: ISZERO
00001a5c: PUSH2 0x0002
00001a5f: JUMPI
00001a60: POP
00001a61: POP
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: MLOAD
00001a66: SWAP2
00001a67: POP
00001a68: PUSH2 0x0241
00001a6b: SWAP1
00001a6c: POP
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: ISZERO
00001a70: ISZERO
00001a71: PUSH2 0x1a79
00001a74: JUMPI
00001a75: PUSH2 0x0002
00001a78: JUMP
00001a79: JUMPDEST
00001a7a: POP
00001a7b: POP
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH1 0x02
00001a80: DUP10
00001a81: ADD
00001a82: SLOAD
00001a83: PUSH1 0x03
00001a85: DUP11
00001a86: ADD
00001a87: SLOAD
00001a88: SWAP2
00001a89: SWAP8
00001a8a: POP
00001a8b: SWAP6
00001a8c: POP
00001a8d: PUSH3 0x013560
00001a91: SWAP1
00001a92: DUP12
00001a93: SUB
00001a94: GT
00001a95: ISZERO
00001a96: PUSH2 0x1ada
00001a99: JUMPI
00001a9a: PUSH1 0x00
00001a9c: SWAP4
00001a9d: POP
00001a9e: JUMPDEST
00001a9f: PUSH1 0x0c
00001aa1: DUP5
00001aa2: PUSH1 0xff
00001aa4: AND
00001aa5: LT
00001aa6: ISZERO
00001aa7: PUSH2 0x1b1c
00001aaa: JUMPI
00001aab: PUSH1 0xff
00001aad: DUP5
00001aae: AND
00001aaf: PUSH1 0x00
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: MSTORE
00001ab4: PUSH1 0x04
00001ab6: DUP10
00001ab7: ADD
00001ab8: PUSH1 0x20
00001aba: SWAP1
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x40
00001abf: DUP1
00001ac0: DUP4
00001ac1: KECCAK256
00001ac2: DUP4
00001ac3: SWAP1
00001ac4: SSTORE
00001ac5: PUSH1 0x05
00001ac7: DUP12
00001ac8: ADD
00001ac9: SWAP1
00001aca: SWAP2
00001acb: MSTORE
00001acc: DUP2
00001acd: KECCAK256
00001ace: SSTORE
00001acf: PUSH1 0x01
00001ad1: SWAP4
00001ad2: SWAP1
00001ad3: SWAP4
00001ad4: ADD
00001ad5: SWAP3
00001ad6: PUSH2 0x1a9e
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: DUP6
00001adc: DUP6
00001add: LT
00001ade: ISZERO
00001adf: PUSH2 0x1b4d
00001ae2: JUMPI
00001ae3: DUP5
00001ae4: PUSH1 0x01
00001ae6: ADD
00001ae7: SWAP3
00001ae8: POP
00001ae9: JUMPDEST
00001aea: DUP6
00001aeb: DUP4
00001aec: GT
00001aed: PUSH2 0x1b4d
00001af0: JUMPI
00001af1: PUSH1 0x00
00001af3: DUP4
00001af4: DUP2
00001af5: MSTORE
00001af6: PUSH1 0x04
00001af8: DUP10
00001af9: ADD
00001afa: PUSH1 0x20
00001afc: SWAP1
00001afd: DUP2
00001afe: MSTORE
00001aff: PUSH1 0x40
00001b01: DUP1
00001b02: DUP4
00001b03: KECCAK256
00001b04: DUP4
00001b05: SWAP1
00001b06: SSTORE
00001b07: PUSH1 0x05
00001b09: DUP12
00001b0a: ADD
00001b0b: SWAP1
00001b0c: SWAP2
00001b0d: MSTORE
00001b0e: DUP2
00001b0f: KECCAK256
00001b10: SSTORE
00001b11: PUSH1 0x01
00001b13: SWAP3
00001b14: SWAP1
00001b15: SWAP3
00001b16: ADD
00001b17: SWAP2
00001b18: PUSH2 0x1ae9
00001b1b: JUMP
00001b1c: JUMPDEST
00001b1d: POP
00001b1e: POP
00001b1f: POP
00001b20: POP
00001b21: POP
00001b22: PUSH1 0x02
00001b24: DUP4
00001b25: ADD
00001b26: DUP2
00001b27: SWAP1
00001b28: SSTORE
00001b29: PUSH1 0x00
00001b2b: DUP2
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: PUSH1 0x04
00001b30: DUP5
00001b31: ADD
00001b32: PUSH1 0x20
00001b34: MSTORE
00001b35: PUSH1 0x40
00001b37: SWAP1
00001b38: KECCAK256
00001b39: DUP1
00001b3a: SLOAD
00001b3b: SWAP7
00001b3c: SWAP1
00001b3d: SWAP7
00001b3e: ADD
00001b3f: SWAP1
00001b40: SWAP6
00001b41: SSTORE
00001b42: POP
00001b43: PUSH1 0x03
00001b45: ADD
00001b46: SWAP2
00001b47: SWAP1
00001b48: SWAP2
00001b49: SSTORE
00001b4a: POP
00001b4b: SWAP1
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: DUP6
00001b4f: DUP6
00001b50: GT
00001b51: ISZERO
00001b52: PUSH2 0x1b1c
00001b55: JUMPI
00001b56: PUSH1 0x00
00001b58: SWAP2
00001b59: POP
00001b5a: JUMPDEST
00001b5b: DUP6
00001b5c: DUP3
00001b5d: GT
00001b5e: PUSH2 0x1b8d
00001b61: JUMPI
00001b62: PUSH1 0x00
00001b64: DUP3
00001b65: DUP2
00001b66: MSTORE
00001b67: PUSH1 0x04
00001b69: DUP10
00001b6a: ADD
00001b6b: PUSH1 0x20
00001b6d: SWAP1
00001b6e: DUP2
00001b6f: MSTORE
00001b70: PUSH1 0x40
00001b72: DUP1
00001b73: DUP4
00001b74: KECCAK256
00001b75: DUP4
00001b76: SWAP1
00001b77: SSTORE
00001b78: PUSH1 0x05
00001b7a: DUP12
00001b7b: ADD
00001b7c: SWAP1
00001b7d: SWAP2
00001b7e: MSTORE
00001b7f: DUP2
00001b80: KECCAK256
00001b81: SSTORE
00001b82: PUSH1 0x01
00001b84: SWAP2
00001b85: SWAP1
00001b86: SWAP2
00001b87: ADD
00001b88: SWAP1
00001b89: PUSH2 0x1b5a
00001b8c: JUMP
00001b8d: JUMPDEST
00001b8e: POP
00001b8f: PUSH1 0x01
00001b91: DUP5
00001b92: ADD
00001b93: JUMPDEST
00001b94: PUSH1 0x0c
00001b96: DUP2
00001b97: LT
00001b98: ISZERO
00001b99: PUSH2 0x1b1c
00001b9c: JUMPI
00001b9d: PUSH1 0x00
00001b9f: DUP2
00001ba0: DUP2
00001ba1: MSTORE
00001ba2: PUSH1 0x04
00001ba4: DUP10
00001ba5: ADD
00001ba6: PUSH1 0x20
00001ba8: SWAP1
00001ba9: DUP2
00001baa: MSTORE
00001bab: PUSH1 0x40
00001bad: DUP1
00001bae: DUP4
00001baf: KECCAK256
00001bb0: DUP4
00001bb1: SWAP1
00001bb2: SSTORE
00001bb3: PUSH1 0x05
00001bb5: DUP12
00001bb6: ADD
00001bb7: SWAP1
00001bb8: SWAP2
00001bb9: MSTORE
00001bba: DUP2
00001bbb: KECCAK256
00001bbc: SSTORE
00001bbd: PUSH1 0x01
00001bbf: SWAP2
00001bc0: SWAP1
00001bc1: SWAP2
00001bc2: ADD
00001bc3: SWAP1
00001bc4: PUSH2 0x1b93
00001bc7: JUMP
00001bc8: JUMPDEST
00001bc9: POP
00001bca: PUSH1 0x00
00001bcc: PUSH2 0x0241
00001bcf: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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	yes	yes	view trace_id: 0xb7011362e4ceb9e0ef77de11bad79e850aa114297971da1dc0eeda5be5d55366 call_targets: 0x0000000000000000000000000000000000000000, 0x61dc3506fcec16aec5c501d6a0d55f55eb51e867 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xb7011362e4ceb9e0ef77de11bad79e850aa114297971da1dc0eeda5be5d55366", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000000000000000000000000000000", "0x61dc3506fcec16aec5c501d6a0d55f55eb51e867" ], "matched_probe": null, "target_varies": true, "classification": "target_varies" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x029a8bf7", "selector": "0x029a8bf7", "calldata_variants": [ "0x029a8bf7", "0x029a8bf70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x107556fd", "selector": "0x107556fd", "calldata_variants": [ "0x107556fd", "0x107556fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x149b4bc1", "selector": "0x149b4bc1", "calldata_variants": [ "0x149b4bc1", "0x149b4bc10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x15070401", "selector": "0x15070401", "calldata_variants": [ "0x15070401", "0x150704010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16318a6e", "selector": "0x16318a6e", "calldata_variants": [ "0x16318a6e", "0x16318a6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1aaeebe3", "selector": "0x1aaeebe3", "calldata_variants": [ "0x1aaeebe3", "0x1aaeebe30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1e52dec8", "selector": "0x1e52dec8", "calldata_variants": [ "0x1e52dec8", "0x1e52dec80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x274a6c2b", "selector": "0x274a6c2b", "calldata_variants": [ "0x274a6c2b", "0x274a6c2b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 926, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1358, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1421, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 27, "guards_detected": [], "untrusted_call_count": 27 }
high	other	detector	ETH value transfer possible	55	yes	yes	view trace_id: 0xb7011362e4ceb9e0ef77de11bad79e850aa114297971da1dc0eeda5be5d55366 call_targets: 0x0000000000000000000000000000000000000000, 0x61dc3506fcec16aec5c501d6a0d55f55eb51e867 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xb7011362e4ceb9e0ef77de11bad79e850aa114297971da1dc0eeda5be5d55366", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000000000000000000000000000000", "0x61dc3506fcec16aec5c501d6a0d55f55eb51e867" ], "matched_probe": null, "target_varies": true, "classification": "target_varies" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x029a8bf7", "selector": "0x029a8bf7", "calldata_variants": [ "0x029a8bf7", "0x029a8bf70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x107556fd", "selector": "0x107556fd", "calldata_variants": [ "0x107556fd", "0x107556fd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x149b4bc1", "selector": "0x149b4bc1", "calldata_variants": [ "0x149b4bc1", "0x149b4bc10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x15070401", "selector": "0x15070401", "calldata_variants": [ "0x15070401", "0x150704010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x16318a6e", "selector": "0x16318a6e", "calldata_variants": [ "0x16318a6e", "0x16318a6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1aaeebe3", "selector": "0x1aaeebe3", "calldata_variants": [ "0x1aaeebe3", "0x1aaeebe30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1e52dec8", "selector": "0x1e52dec8", "calldata_variants": [ "0x1e52dec8", "0x1e52dec80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x274a6c2b", "selector": "0x274a6c2b", "calldata_variants": [ "0x274a6c2b", "0x274a6c2b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 926, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1358, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1421, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 27, "guards_detected": [] }

Severity