Analysis Run

019b477e-a720-7188-b967-c0c46d4e89c0

complete

Chain ID

1

Address

0x55b9a11c2e8351b4ffc7b11561148bfac9977855

Block Number

—

Created

Mon, Dec 22, 2025 7:17 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 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20203	artifact.fetch	complete	1 / 3	3 months ago
20204	tool.cast_disasm	complete	1 / 3	3 months ago
63446	analysis.bundle	complete	1 / 3	1 week ago
63447	capability.graph	complete	1 / 3	1 week ago
63448	detector.run	complete	1 / 3	1 week ago
63449	validation.fork	complete	1 / 3	1 week ago
113457	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-htyvggpc
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c94-a0cc-7d90-b75b-bcfcced93531
--------
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:38:59.260032+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 13542,
        "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

2

CALL-family (heavy)

25

EXT*/BALANCE

0

Total opcodes

4415

Flags

create_opcodes_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x01f8
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x012beac9
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x01fa
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0627f5a9
00000025: EQ
00000026: PUSH2 0x026e
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x095ea7b3
00000030: EQ
00000031: PUSH2 0x027f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x0e666e49
0000003b: EQ
0000003c: PUSH2 0x02f6
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x13af4035
00000046: EQ
00000047: PUSH2 0x031f
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x17a950ac
00000051: EQ
00000052: PUSH2 0x0353
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x037b
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x23b872dd
00000067: EQ
00000068: PUSH2 0x0384
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x24d7806c
00000072: EQ
00000073: PUSH2 0x03af
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x28b2362f
0000007d: EQ
0000007e: PUSH2 0x0412
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x35c80c8c
00000088: EQ
00000089: PUSH2 0x0489
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x377141d9
00000093: EQ
00000094: PUSH2 0x0499
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3ec27341
0000009e: EQ
0000009f: PUSH2 0x04ab
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x458f5815
000000a9: EQ
000000aa: PUSH2 0x04be
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x46396e18
000000b4: EQ
000000b5: PUSH2 0x0538
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x49b90557
000000bf: EQ
000000c0: PUSH2 0x05a8
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x4a619fa6
000000ca: EQ
000000cb: PUSH2 0x05b8
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x4e03ab49
000000d5: EQ
000000d6: PUSH2 0x0629
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x4e0fb2a4
000000e0: EQ
000000e1: PUSH2 0x069f
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x64e1721c
000000eb: EQ
000000ec: PUSH2 0x06b8
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x65448a76
000000f6: EQ
000000f7: PUSH2 0x06d4
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x694d98e5
00000101: EQ
00000102: PUSH2 0x0746
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x6d786740
0000010c: EQ
0000010d: PUSH2 0x07ba
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x70a08231
00000117: EQ
00000118: PUSH2 0x0835
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x79502c55
00000122: EQ
00000123: PUSH2 0x0855
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x7d92f6be
0000012d: EQ
0000012e: PUSH2 0x0867
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x82e717f7
00000138: EQ
00000139: PUSH2 0x08d9
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x893d20e8
00000143: EQ
00000144: PUSH2 0x0953
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x8da5cb5b
0000014e: EQ
0000014f: PUSH2 0x0967
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x8facfa01
00000159: EQ
0000015a: PUSH2 0x0979
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0x92f00233
00000164: EQ
00000165: PUSH2 0x0990
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0x9dec628b
0000016f: EQ
00000170: PUSH2 0x0a04
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xa9059cbb
0000017a: EQ
0000017b: PUSH2 0x0a1b
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xc1a27089
00000185: EQ
00000186: PUSH2 0x0a43
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xc8028bee
00000190: EQ
00000191: PUSH2 0x0ab9
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xcf820461
0000019b: EQ
0000019c: PUSH2 0x0b2e
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xd104a136
000001a6: EQ
000001a7: PUSH2 0x0ba1
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xd3dd22da
000001b1: EQ
000001b2: PUSH2 0x0c13
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xd60f66de
000001bc: EQ
000001bd: PUSH2 0x0c89
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xdd62ed3e
000001c7: EQ
000001c8: PUSH2 0x0cae
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xec1d9bf4
000001d2: EQ
000001d3: PUSH2 0x0ce5
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xee54d54f
000001dd: EQ
000001de: PUSH2 0x0d00
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xfae9d06d
000001e8: EQ
000001e9: PUSH2 0x0d10
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xfd6e248e
000001f3: EQ
000001f4: PUSH2 0x0d26
000001f7: JUMPI
000001f8: JUMPDEST
000001f9: STOP
000001fa: JUMPDEST
000001fb: PUSH2 0x0d36
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: DUP1
00000202: MLOAD
00000203: PUSH1 0x00
00000205: DUP1
00000206: SLOAD
00000207: PUSH1 0xe0
00000209: PUSH1 0x02
0000020b: EXP
0000020c: PUSH4 0x4cb44f8d
00000211: MUL
00000212: DUP4
00000213: MSTORE
00000214: PUSH1 0x89
00000216: PUSH1 0x02
00000218: EXP
00000219: PUSH15 0x3932b3b4b9ba393c97bb32b73237b9
00000229: MUL
0000022a: PUSH1 0x04
0000022c: DUP5
0000022d: ADD
0000022e: MSTORE
0000022f: SWAP3
00000230: MLOAD
00000231: SWAP1
00000232: SWAP3
00000233: PUSH1 0x01
00000235: PUSH1 0xa0
00000237: PUSH1 0x02
00000239: EXP
0000023a: SUB
0000023b: AND
0000023c: SWAP2
0000023d: PUSH4 0x4cb44f8d
00000242: SWAP2
00000243: PUSH1 0x24
00000245: DUP3
00000246: DUP2
00000247: ADD
00000248: SWAP3
00000249: PUSH1 0x20
0000024b: SWAP3
0000024c: SWAP2
0000024d: SWAP1
0000024e: DUP3
0000024f: SWAP1
00000250: SUB
00000251: ADD
00000252: DUP2
00000253: DUP8
00000254: DUP8
00000255: PUSH2 0x61da
00000258: GAS
00000259: SUB
0000025a: CALL
0000025b: ISZERO
0000025c: PUSH2 0x0002
0000025f: JUMPI
00000260: POP
00000261: POP
00000262: PUSH1 0x40
00000264: MLOAD
00000265: MLOAD
00000266: SWAP2
00000267: POP
00000268: PUSH2 0x04bb
0000026b: SWAP1
0000026c: POP
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH2 0x0d53
00000272: PUSH1 0x04
00000274: CALLDATALOAD
00000275: JUMPDEST
00000276: PUSH1 0x00
00000278: PUSH2 0x1474
0000027b: PUSH2 0x07be
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH2 0x0d53
00000283: PUSH1 0x04
00000285: CALLDATALOAD
00000286: PUSH1 0x24
00000288: CALLDATALOAD
00000289: CALLER
0000028a: PUSH1 0x01
0000028c: PUSH1 0xa0
0000028e: PUSH1 0x02
00000290: EXP
00000291: SUB
00000292: SWAP1
00000293: DUP2
00000294: AND
00000295: PUSH1 0x00
00000297: DUP2
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x03
0000029c: PUSH1 0x20
0000029e: DUP2
0000029f: DUP2
000002a0: MSTORE
000002a1: PUSH1 0x40
000002a3: DUP1
000002a4: DUP5
000002a5: KECCAK256
000002a6: SWAP6
000002a7: DUP9
000002a8: AND
000002a9: DUP1
000002aa: DUP6
000002ab: MSTORE
000002ac: SWAP6
000002ad: SWAP1
000002ae: SWAP3
000002af: ADD
000002b0: DUP2
000002b1: MSTORE
000002b2: DUP2
000002b3: DUP4
000002b4: KECCAK256
000002b5: DUP7
000002b6: SWAP1
000002b7: SSTORE
000002b8: DUP2
000002b9: MLOAD
000002ba: DUP7
000002bb: DUP2
000002bc: MSTORE
000002bd: SWAP2
000002be: MLOAD
000002bf: SWAP3
000002c0: SWAP5
000002c1: SWAP4
000002c2: SWAP3
000002c3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000002e4: SWAP3
000002e5: DUP2
000002e6: SWAP1
000002e7: SUB
000002e8: SWAP1
000002e9: SWAP2
000002ea: ADD
000002eb: SWAP1
000002ec: LOG3
000002ed: POP
000002ee: PUSH1 0x01
000002f0: JUMPDEST
000002f1: SWAP3
000002f2: SWAP2
000002f3: POP
000002f4: POP
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH2 0x0d53
000002fa: PUSH1 0x04
000002fc: CALLDATALOAD
000002fd: JUMPDEST
000002fe: PUSH1 0x01
00000300: PUSH1 0xa0
00000302: PUSH1 0x02
00000304: EXP
00000305: SUB
00000306: DUP2
00000307: AND
00000308: PUSH1 0x00
0000030a: SWAP1
0000030b: DUP2
0000030c: MSTORE
0000030d: PUSH1 0x03
0000030f: PUSH1 0x20
00000311: MSTORE
00000312: PUSH1 0x40
00000314: SWAP1
00000315: KECCAK256
00000316: SLOAD
00000317: PUSH1 0xff
00000319: AND
0000031a: JUMPDEST
0000031b: SWAP2
0000031c: SWAP1
0000031d: POP
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH2 0x01f8
00000323: PUSH1 0x04
00000325: CALLDATALOAD
00000326: PUSH1 0x01
00000328: SLOAD
00000329: PUSH1 0x01
0000032b: PUSH1 0xa0
0000032d: PUSH1 0x02
0000032f: EXP
00000330: SUB
00000331: SWAP1
00000332: DUP2
00000333: AND
00000334: CALLER
00000335: SWAP1
00000336: SWAP2
00000337: AND
00000338: EQ
00000339: ISZERO
0000033a: PUSH2 0x0350
0000033d: JUMPI
0000033e: PUSH1 0x01
00000340: DUP1
00000341: SLOAD
00000342: PUSH1 0x01
00000344: PUSH1 0xa0
00000346: PUSH1 0x02
00000348: EXP
00000349: SUB
0000034a: NOT
0000034b: AND
0000034c: DUP3
0000034d: OR
0000034e: SWAP1
0000034f: SSTORE
00000350: JUMPDEST
00000351: POP
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH2 0x0d53
00000357: PUSH1 0x04
00000359: CALLDATALOAD
0000035a: JUMPDEST
0000035b: PUSH1 0x01
0000035d: PUSH1 0xa0
0000035f: PUSH1 0x02
00000361: EXP
00000362: SUB
00000363: DUP2
00000364: AND
00000365: PUSH1 0x00
00000367: SWAP1
00000368: DUP2
00000369: MSTORE
0000036a: PUSH1 0x03
0000036c: PUSH1 0x20
0000036e: MSTORE
0000036f: PUSH1 0x40
00000371: SWAP1
00000372: KECCAK256
00000373: PUSH1 0x01
00000375: ADD
00000376: SLOAD
00000377: PUSH2 0x031a
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH2 0x0d53
0000037f: PUSH1 0x02
00000381: SLOAD
00000382: DUP2
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH2 0x0d53
00000388: PUSH1 0x04
0000038a: CALLDATALOAD
0000038b: PUSH1 0x24
0000038d: CALLDATALOAD
0000038e: PUSH1 0x44
00000390: CALLDATALOAD
00000391: PUSH1 0x00
00000393: PUSH1 0x00
00000395: PUSH1 0x00
00000397: PUSH1 0x00
00000399: DUP6
0000039a: PUSH1 0x01
0000039c: PUSH1 0xa0
0000039e: PUSH1 0x02
000003a0: EXP
000003a1: SUB
000003a2: AND
000003a3: PUSH1 0x00
000003a5: EQ
000003a6: ISZERO
000003a7: PUSH2 0x1863
000003aa: JUMPI
000003ab: PUSH2 0x1859
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x0d53
000003b3: PUSH1 0x04
000003b5: CALLDATALOAD
000003b6: PUSH1 0x40
000003b8: DUP1
000003b9: MLOAD
000003ba: PUSH1 0x00
000003bc: DUP1
000003bd: SLOAD
000003be: PUSH1 0xe2
000003c0: PUSH1 0x02
000003c2: EXP
000003c3: PUSH4 0x0935e01b
000003c8: MUL
000003c9: DUP4
000003ca: MSTORE
000003cb: PUSH1 0x01
000003cd: PUSH1 0xa0
000003cf: PUSH1 0x02
000003d1: EXP
000003d2: SUB
000003d3: DUP6
000003d4: DUP2
000003d5: AND
000003d6: PUSH1 0x04
000003d8: DUP6
000003d9: ADD
000003da: MSTORE
000003db: SWAP4
000003dc: MLOAD
000003dd: SWAP2
000003de: SWAP4
000003df: AND
000003e0: SWAP2
000003e1: PUSH4 0x24d7806c
000003e6: SWAP2
000003e7: PUSH1 0x24
000003e9: DUP3
000003ea: DUP2
000003eb: ADD
000003ec: SWAP3
000003ed: PUSH1 0x20
000003ef: SWAP3
000003f0: SWAP2
000003f1: SWAP1
000003f2: DUP3
000003f3: SWAP1
000003f4: SUB
000003f5: ADD
000003f6: DUP2
000003f7: DUP8
000003f8: DUP8
000003f9: PUSH2 0x61da
000003fc: GAS
000003fd: SUB
000003fe: CALL
000003ff: ISZERO
00000400: PUSH2 0x0002
00000403: JUMPI
00000404: POP
00000405: POP
00000406: PUSH1 0x40
00000408: MLOAD
00000409: MLOAD
0000040a: SWAP2
0000040b: POP
0000040c: PUSH2 0x031a
0000040f: SWAP1
00000410: POP
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH2 0x0d36
00000416: JUMPDEST
00000417: PUSH1 0x40
00000419: DUP1
0000041a: MLOAD
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: SLOAD
0000041f: PUSH1 0xe0
00000421: PUSH1 0x02
00000423: EXP
00000424: PUSH4 0x4cb44f8d
00000429: MUL
0000042a: DUP4
0000042b: MSTORE
0000042c: PUSH1 0x71
0000042e: PUSH1 0x02
00000430: EXP
00000431: PUSH18 0x3932b3b4b9ba393c97b1bab9ba37b234b0b7
00000444: MUL
00000445: PUSH1 0x04
00000447: DUP5
00000448: ADD
00000449: MSTORE
0000044a: SWAP3
0000044b: MLOAD
0000044c: SWAP1
0000044d: SWAP3
0000044e: PUSH1 0x01
00000450: PUSH1 0xa0
00000452: PUSH1 0x02
00000454: EXP
00000455: SUB
00000456: AND
00000457: SWAP2
00000458: PUSH4 0x4cb44f8d
0000045d: SWAP2
0000045e: PUSH1 0x24
00000460: DUP3
00000461: DUP2
00000462: ADD
00000463: SWAP3
00000464: PUSH1 0x20
00000466: SWAP3
00000467: SWAP2
00000468: SWAP1
00000469: DUP3
0000046a: SWAP1
0000046b: SUB
0000046c: ADD
0000046d: DUP2
0000046e: DUP8
0000046f: DUP8
00000470: PUSH2 0x61da
00000473: GAS
00000474: SUB
00000475: CALL
00000476: ISZERO
00000477: PUSH2 0x0002
0000047a: JUMPI
0000047b: POP
0000047c: POP
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: MLOAD
00000481: SWAP2
00000482: POP
00000483: PUSH2 0x04bb
00000486: SWAP1
00000487: POP
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH2 0x0d53
0000048d: PUSH1 0x04
0000048f: CALLDATALOAD
00000490: PUSH1 0x00
00000492: PUSH2 0x0d76
00000495: PUSH2 0x0416
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH2 0x0d53
0000049d: PUSH1 0x04
0000049f: CALLDATALOAD
000004a0: JUMPDEST
000004a1: PUSH1 0x00
000004a3: PUSH2 0x1134
000004a6: DUP3
000004a7: PUSH2 0x035a
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH2 0x0d36
000004af: PUSH1 0x00
000004b1: SLOAD
000004b2: PUSH1 0x01
000004b4: PUSH1 0xa0
000004b6: PUSH1 0x02
000004b8: EXP
000004b9: SUB
000004ba: AND
000004bb: JUMPDEST
000004bc: SWAP1
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x0d53
000004c2: PUSH1 0x40
000004c4: DUP1
000004c5: MLOAD
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: SLOAD
000004ca: PUSH1 0xe0
000004cc: PUSH1 0x02
000004ce: EXP
000004cf: PUSH4 0x855fe6ed
000004d4: MUL
000004d5: DUP4
000004d6: MSTORE
000004d7: PUSH1 0x50
000004d9: PUSH1 0x02
000004db: EXP
000004dc: PUSH22 0x73657474696e67732f726564656d7074696f6e666565
000004f3: MUL
000004f4: PUSH1 0x04
000004f6: DUP5
000004f7: ADD
000004f8: MSTORE
000004f9: SWAP3
000004fa: MLOAD
000004fb: SWAP1
000004fc: SWAP3
000004fd: PUSH1 0x01
000004ff: PUSH1 0xa0
00000501: PUSH1 0x02
00000503: EXP
00000504: SUB
00000505: AND
00000506: SWAP2
00000507: PUSH4 0x855fe6ed
0000050c: SWAP2
0000050d: PUSH1 0x24
0000050f: DUP3
00000510: DUP2
00000511: ADD
00000512: SWAP3
00000513: PUSH1 0x20
00000515: SWAP3
00000516: SWAP2
00000517: SWAP1
00000518: DUP3
00000519: SWAP1
0000051a: SUB
0000051b: ADD
0000051c: DUP2
0000051d: DUP8
0000051e: DUP8
0000051f: PUSH2 0x61da
00000522: GAS
00000523: SUB
00000524: CALL
00000525: ISZERO
00000526: PUSH2 0x0002
00000529: JUMPI
0000052a: POP
0000052b: POP
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: MLOAD
00000530: SWAP2
00000531: POP
00000532: PUSH2 0x04bb
00000535: SWAP1
00000536: POP
00000537: JUMP
00000538: JUMPDEST
00000539: PUSH2 0x0d36
0000053c: PUSH1 0x40
0000053e: DUP1
0000053f: MLOAD
00000540: PUSH1 0x00
00000542: DUP1
00000543: SLOAD
00000544: PUSH1 0xe0
00000546: PUSH1 0x02
00000548: EXP
00000549: PUSH4 0x4cb44f8d
0000054e: MUL
0000054f: DUP4
00000550: MSTORE
00000551: PUSH1 0xa1
00000553: PUSH1 0x02
00000555: EXP
00000556: PUSH12 0x3632b233b2b917ba37b5b2b7
00000563: MUL
00000564: PUSH1 0x04
00000566: DUP5
00000567: ADD
00000568: MSTORE
00000569: SWAP3
0000056a: MLOAD
0000056b: SWAP1
0000056c: SWAP3
0000056d: PUSH1 0x01
0000056f: PUSH1 0xa0
00000571: PUSH1 0x02
00000573: EXP
00000574: SUB
00000575: AND
00000576: SWAP2
00000577: PUSH4 0x4cb44f8d
0000057c: SWAP2
0000057d: PUSH1 0x24
0000057f: DUP3
00000580: DUP2
00000581: ADD
00000582: SWAP3
00000583: PUSH1 0x20
00000585: SWAP3
00000586: SWAP2
00000587: SWAP1
00000588: DUP3
00000589: SWAP1
0000058a: SUB
0000058b: ADD
0000058c: DUP2
0000058d: DUP8
0000058e: DUP8
0000058f: PUSH2 0x61da
00000592: GAS
00000593: SUB
00000594: CALL
00000595: ISZERO
00000596: PUSH2 0x0002
00000599: JUMPI
0000059a: POP
0000059b: POP
0000059c: PUSH1 0x40
0000059e: MLOAD
0000059f: MLOAD
000005a0: SWAP2
000005a1: POP
000005a2: PUSH2 0x04bb
000005a5: SWAP1
000005a6: POP
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH2 0x0d53
000005ac: PUSH1 0x04
000005ae: CALLDATALOAD
000005af: PUSH1 0x00
000005b1: PUSH2 0x0dcd
000005b4: PUSH2 0x0abd
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH2 0x0d36
000005bc: JUMPDEST
000005bd: PUSH1 0x40
000005bf: DUP1
000005c0: MLOAD
000005c1: PUSH1 0x00
000005c3: DUP1
000005c4: SLOAD
000005c5: PUSH1 0xe0
000005c7: PUSH1 0x02
000005c9: EXP
000005ca: PUSH4 0x4cb44f8d
000005cf: MUL
000005d0: DUP4
000005d1: MSTORE
000005d2: PUSH1 0xa0
000005d4: PUSH1 0x02
000005d6: EXP
000005d7: PUSH12 0x77616c6c65742f7478666565
000005e4: MUL
000005e5: PUSH1 0x04
000005e7: DUP5
000005e8: ADD
000005e9: MSTORE
000005ea: SWAP3
000005eb: MLOAD
000005ec: SWAP1
000005ed: SWAP3
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: PUSH1 0x02
000005f4: EXP
000005f5: SUB
000005f6: AND
000005f7: SWAP2
000005f8: PUSH4 0x4cb44f8d
000005fd: SWAP2
000005fe: PUSH1 0x24
00000600: DUP3
00000601: DUP2
00000602: ADD
00000603: SWAP3
00000604: PUSH1 0x20
00000606: SWAP3
00000607: SWAP2
00000608: SWAP1
00000609: DUP3
0000060a: SWAP1
0000060b: SUB
0000060c: ADD
0000060d: DUP2
0000060e: DUP8
0000060f: DUP8
00000610: PUSH2 0x61da
00000613: GAS
00000614: SUB
00000615: CALL
00000616: ISZERO
00000617: PUSH2 0x0002
0000061a: JUMPI
0000061b: POP
0000061c: POP
0000061d: PUSH1 0x40
0000061f: MLOAD
00000620: MLOAD
00000621: SWAP2
00000622: POP
00000623: PUSH2 0x04bb
00000626: SWAP1
00000627: POP
00000628: JUMP
00000629: JUMPDEST
0000062a: PUSH2 0x0d36
0000062d: JUMPDEST
0000062e: PUSH1 0x40
00000630: DUP1
00000631: MLOAD
00000632: PUSH1 0x00
00000634: DUP1
00000635: SLOAD
00000636: PUSH1 0xe0
00000638: PUSH1 0x02
0000063a: EXP
0000063b: PUSH4 0x4cb44f8d
00000640: MUL
00000641: DUP4
00000642: MSTORE
00000643: PUSH1 0x78
00000645: PUSH1 0x02
00000647: EXP
00000648: PUSH17 0x77616c6c65742f6163636f756e74696e67
0000065a: MUL
0000065b: PUSH1 0x04
0000065d: DUP5
0000065e: ADD
0000065f: MSTORE
00000660: SWAP3
00000661: MLOAD
00000662: SWAP1
00000663: SWAP3
00000664: PUSH1 0x01
00000666: PUSH1 0xa0
00000668: PUSH1 0x02
0000066a: EXP
0000066b: SUB
0000066c: AND
0000066d: SWAP2
0000066e: PUSH4 0x4cb44f8d
00000673: SWAP2
00000674: PUSH1 0x24
00000676: DUP3
00000677: DUP2
00000678: ADD
00000679: SWAP3
0000067a: PUSH1 0x20
0000067c: SWAP3
0000067d: SWAP2
0000067e: SWAP1
0000067f: DUP3
00000680: SWAP1
00000681: SUB
00000682: ADD
00000683: DUP2
00000684: DUP8
00000685: DUP8
00000686: PUSH2 0x61da
00000689: GAS
0000068a: SUB
0000068b: CALL
0000068c: ISZERO
0000068d: PUSH2 0x0002
00000690: JUMPI
00000691: POP
00000692: POP
00000693: PUSH1 0x40
00000695: MLOAD
00000696: MLOAD
00000697: SWAP2
00000698: POP
00000699: PUSH2 0x04bb
0000069c: SWAP1
0000069d: POP
0000069e: JUMP
0000069f: JUMPDEST
000006a0: PUSH2 0x0d53
000006a3: PUSH1 0x00
000006a5: PUSH1 0x00
000006a7: CALLER
000006a8: PUSH1 0x01
000006aa: PUSH1 0xa0
000006ac: PUSH1 0x02
000006ae: EXP
000006af: SUB
000006b0: AND
000006b1: PUSH2 0x0ea8
000006b4: PUSH2 0x05bc
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x0d53
000006bc: PUSH1 0x04
000006be: CALLDATALOAD
000006bf: PUSH1 0x24
000006c1: CALLDATALOAD
000006c2: PUSH1 0x44
000006c4: CALLDATALOAD
000006c5: PUSH1 0x64
000006c7: CALLDATALOAD
000006c8: PUSH1 0x00
000006ca: PUSH1 0x00
000006cc: PUSH2 0x1646
000006cf: CALLER
000006d0: PUSH2 0x0cec
000006d3: JUMP
000006d4: JUMPDEST
000006d5: PUSH2 0x0d53
000006d8: JUMPDEST
000006d9: PUSH1 0x40
000006db: DUP1
000006dc: MLOAD
000006dd: PUSH1 0x00
000006df: DUP1
000006e0: SLOAD
000006e1: PUSH1 0xe0
000006e3: PUSH1 0x02
000006e5: EXP
000006e6: PUSH4 0x855fe6ed
000006eb: MUL
000006ec: DUP4
000006ed: MSTORE
000006ee: PUSH1 0x98
000006f0: PUSH1 0x02
000006f2: EXP
000006f3: PUSH13 0x73657474696e67732f72617465
00000701: MUL
00000702: PUSH1 0x04
00000704: DUP5
00000705: ADD
00000706: MSTORE
00000707: SWAP3
00000708: MLOAD
00000709: SWAP1
0000070a: SWAP3
0000070b: PUSH1 0x01
0000070d: PUSH1 0xa0
0000070f: PUSH1 0x02
00000711: EXP
00000712: SUB
00000713: AND
00000714: SWAP2
00000715: PUSH4 0x855fe6ed
0000071a: SWAP2
0000071b: PUSH1 0x24
0000071d: DUP3
0000071e: DUP2
0000071f: ADD
00000720: SWAP3
00000721: PUSH1 0x20
00000723: SWAP3
00000724: SWAP2
00000725: SWAP1
00000726: DUP3
00000727: SWAP1
00000728: SUB
00000729: ADD
0000072a: DUP2
0000072b: DUP8
0000072c: DUP8
0000072d: PUSH2 0x61da
00000730: GAS
00000731: SUB
00000732: CALL
00000733: ISZERO
00000734: PUSH2 0x0002
00000737: JUMPI
00000738: POP
00000739: POP
0000073a: PUSH1 0x40
0000073c: MLOAD
0000073d: MLOAD
0000073e: SWAP2
0000073f: POP
00000740: PUSH2 0x04bb
00000743: SWAP1
00000744: POP
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH2 0x0d36
0000074a: JUMPDEST
0000074b: PUSH1 0x40
0000074d: DUP1
0000074e: MLOAD
0000074f: PUSH1 0x00
00000751: DUP1
00000752: SLOAD
00000753: PUSH1 0xe0
00000755: PUSH1 0x02
00000757: EXP
00000758: PUSH4 0x4cb44f8d
0000075d: MUL
0000075e: DUP4
0000075f: MSTORE
00000760: PUSH1 0x8a
00000762: PUSH1 0x02
00000764: EXP
00000765: PUSH15 0x18dbdb9d1c9858dd0bdc9958d85cdd
00000775: MUL
00000776: PUSH1 0x04
00000778: DUP5
00000779: ADD
0000077a: MSTORE
0000077b: SWAP3
0000077c: MLOAD
0000077d: SWAP1
0000077e: SWAP3
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: PUSH1 0x02
00000785: EXP
00000786: SUB
00000787: AND
00000788: SWAP2
00000789: PUSH4 0x4cb44f8d
0000078e: SWAP2
0000078f: PUSH1 0x24
00000791: DUP3
00000792: DUP2
00000793: ADD
00000794: SWAP3
00000795: PUSH1 0x20
00000797: SWAP3
00000798: SWAP2
00000799: SWAP1
0000079a: DUP3
0000079b: SWAP1
0000079c: SUB
0000079d: ADD
0000079e: DUP2
0000079f: DUP8
000007a0: DUP8
000007a1: PUSH2 0x61da
000007a4: GAS
000007a5: SUB
000007a6: CALL
000007a7: ISZERO
000007a8: PUSH2 0x0002
000007ab: JUMPI
000007ac: POP
000007ad: POP
000007ae: PUSH1 0x40
000007b0: MLOAD
000007b1: MLOAD
000007b2: SWAP2
000007b3: POP
000007b4: PUSH2 0x04bb
000007b7: SWAP1
000007b8: POP
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH2 0x0d53
000007be: JUMPDEST
000007bf: PUSH1 0x40
000007c1: DUP1
000007c2: MLOAD
000007c3: PUSH1 0x00
000007c5: DUP1
000007c6: SLOAD
000007c7: PUSH1 0xe0
000007c9: PUSH1 0x02
000007cb: EXP
000007cc: PUSH4 0x855fe6ed
000007d1: MUL
000007d2: DUP4
000007d3: MSTORE
000007d4: PUSH1 0x52
000007d6: PUSH1 0x02
000007d8: EXP
000007d9: PUSH22 0x1cd95d1d1a5b99dccbd89a5b1b1a5b99dc195c9a5bd9
000007f0: MUL
000007f1: PUSH1 0x04
000007f3: DUP5
000007f4: ADD
000007f5: MSTORE
000007f6: SWAP3
000007f7: MLOAD
000007f8: SWAP1
000007f9: SWAP3
000007fa: PUSH1 0x01
000007fc: PUSH1 0xa0
000007fe: PUSH1 0x02
00000800: EXP
00000801: SUB
00000802: AND
00000803: SWAP2
00000804: PUSH4 0x855fe6ed
00000809: SWAP2
0000080a: PUSH1 0x24
0000080c: DUP3
0000080d: DUP2
0000080e: ADD
0000080f: SWAP3
00000810: PUSH1 0x20
00000812: SWAP3
00000813: SWAP2
00000814: SWAP1
00000815: DUP3
00000816: SWAP1
00000817: SUB
00000818: ADD
00000819: DUP2
0000081a: DUP8
0000081b: DUP8
0000081c: PUSH2 0x61da
0000081f: GAS
00000820: SUB
00000821: CALL
00000822: ISZERO
00000823: PUSH2 0x0002
00000826: JUMPI
00000827: POP
00000828: POP
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: MLOAD
0000082d: SWAP2
0000082e: POP
0000082f: PUSH2 0x04bb
00000832: SWAP1
00000833: POP
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH2 0x0d53
00000839: PUSH1 0x04
0000083b: CALLDATALOAD
0000083c: JUMPDEST
0000083d: PUSH1 0x00
0000083f: DUP2
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: PUSH1 0x02
00000846: EXP
00000847: SUB
00000848: AND
00000849: PUSH1 0x00
0000084b: EQ
0000084c: ISZERO
0000084d: PUSH2 0x11fa
00000850: JUMPI
00000851: PUSH2 0x031a
00000854: JUMP
00000855: JUMPDEST
00000856: PUSH2 0x0d36
00000859: PUSH1 0x00
0000085b: SLOAD
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: PUSH1 0x02
00000862: EXP
00000863: SUB
00000864: AND
00000865: DUP2
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH2 0x0d36
0000086b: JUMPDEST
0000086c: PUSH1 0x40
0000086e: DUP1
0000086f: MLOAD
00000870: PUSH1 0x00
00000872: DUP1
00000873: SLOAD
00000874: PUSH1 0xe0
00000876: PUSH1 0x02
00000878: EXP
00000879: PUSH4 0x4cb44f8d
0000087e: MUL
0000087f: DUP4
00000880: MSTORE
00000881: PUSH1 0x9a
00000883: PUSH1 0x02
00000885: EXP
00000886: PUSH13 0x1c9959da5cdd1c9e4bd9dbdb19
00000894: MUL
00000895: PUSH1 0x04
00000897: DUP5
00000898: ADD
00000899: MSTORE
0000089a: SWAP3
0000089b: MLOAD
0000089c: SWAP1
0000089d: SWAP3
0000089e: PUSH1 0x01
000008a0: PUSH1 0xa0
000008a2: PUSH1 0x02
000008a4: EXP
000008a5: SUB
000008a6: AND
000008a7: SWAP2
000008a8: PUSH4 0x4cb44f8d
000008ad: SWAP2
000008ae: PUSH1 0x24
000008b0: DUP3
000008b1: DUP2
000008b2: ADD
000008b3: SWAP3
000008b4: PUSH1 0x20
000008b6: SWAP3
000008b7: SWAP2
000008b8: SWAP1
000008b9: DUP3
000008ba: SWAP1
000008bb: SUB
000008bc: ADD
000008bd: DUP2
000008be: DUP8
000008bf: DUP8
000008c0: PUSH2 0x61da
000008c3: GAS
000008c4: SUB
000008c5: CALL
000008c6: ISZERO
000008c7: PUSH2 0x0002
000008ca: JUMPI
000008cb: POP
000008cc: POP
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: MLOAD
000008d1: SWAP2
000008d2: POP
000008d3: PUSH2 0x04bb
000008d6: SWAP1
000008d7: POP
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH2 0x0d53
000008dd: PUSH1 0x40
000008df: DUP1
000008e0: MLOAD
000008e1: PUSH1 0x00
000008e3: DUP1
000008e4: SLOAD
000008e5: PUSH1 0xe0
000008e7: PUSH1 0x02
000008e9: EXP
000008ea: PUSH4 0x855fe6ed
000008ef: MUL
000008f0: DUP4
000008f1: MSTORE
000008f2: PUSH1 0x50
000008f4: PUSH1 0x02
000008f6: EXP
000008f7: PUSH22 0x73657474696e67732f636f6e6669726d6174696f6e73
0000090e: MUL
0000090f: PUSH1 0x04
00000911: DUP5
00000912: ADD
00000913: MSTORE
00000914: SWAP3
00000915: MLOAD
00000916: SWAP1
00000917: SWAP3
00000918: PUSH1 0x01
0000091a: PUSH1 0xa0
0000091c: PUSH1 0x02
0000091e: EXP
0000091f: SUB
00000920: AND
00000921: SWAP2
00000922: PUSH4 0x855fe6ed
00000927: SWAP2
00000928: PUSH1 0x24
0000092a: DUP3
0000092b: DUP2
0000092c: ADD
0000092d: SWAP3
0000092e: PUSH1 0x20
00000930: SWAP3
00000931: SWAP2
00000932: SWAP1
00000933: DUP3
00000934: SWAP1
00000935: SUB
00000936: ADD
00000937: DUP2
00000938: DUP8
00000939: DUP8
0000093a: PUSH2 0x61da
0000093d: GAS
0000093e: SUB
0000093f: CALL
00000940: ISZERO
00000941: PUSH2 0x0002
00000944: JUMPI
00000945: POP
00000946: POP
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: MLOAD
0000094b: SWAP2
0000094c: POP
0000094d: PUSH2 0x04bb
00000950: SWAP1
00000951: POP
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH2 0x0d36
00000957: PUSH1 0x01
00000959: SLOAD
0000095a: PUSH1 0x01
0000095c: PUSH1 0xa0
0000095e: PUSH1 0x02
00000960: EXP
00000961: SUB
00000962: AND
00000963: PUSH2 0x04bb
00000966: JUMP
00000967: JUMPDEST
00000968: PUSH2 0x0d36
0000096b: PUSH1 0x01
0000096d: SLOAD
0000096e: PUSH1 0x01
00000970: PUSH1 0xa0
00000972: PUSH1 0x02
00000974: EXP
00000975: SUB
00000976: AND
00000977: DUP2
00000978: JUMP
00000979: JUMPDEST
0000097a: PUSH2 0x0d53
0000097d: PUSH1 0x04
0000097f: CALLDATALOAD
00000980: JUMPDEST
00000981: PUSH1 0x00
00000983: PUSH1 0x00
00000985: PUSH1 0x00
00000987: PUSH1 0x00
00000989: PUSH2 0x1321
0000098c: PUSH2 0x062d
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH2 0x0d36
00000994: JUMPDEST
00000995: PUSH1 0x40
00000997: DUP1
00000998: MLOAD
00000999: PUSH1 0x00
0000099b: DUP1
0000099c: SLOAD
0000099d: PUSH1 0xe0
0000099f: PUSH1 0x02
000009a1: EXP
000009a2: PUSH4 0x4cb44f8d
000009a7: MUL
000009a8: DUP4
000009a9: MSTORE
000009aa: PUSH1 0x89
000009ac: PUSH1 0x02
000009ae: EXP
000009af: PUSH15 0x31b7b73a3930b1ba17b6b4b73a32b9
000009bf: MUL
000009c0: PUSH1 0x04
000009c2: DUP5
000009c3: ADD
000009c4: MSTORE
000009c5: SWAP3
000009c6: MLOAD
000009c7: SWAP1
000009c8: SWAP3
000009c9: PUSH1 0x01
000009cb: PUSH1 0xa0
000009cd: PUSH1 0x02
000009cf: EXP
000009d0: SUB
000009d1: AND
000009d2: SWAP2
000009d3: PUSH4 0x4cb44f8d
000009d8: SWAP2
000009d9: PUSH1 0x24
000009db: DUP3
000009dc: DUP2
000009dd: ADD
000009de: SWAP3
000009df: PUSH1 0x20
000009e1: SWAP3
000009e2: SWAP2
000009e3: SWAP1
000009e4: DUP3
000009e5: SWAP1
000009e6: SUB
000009e7: ADD
000009e8: DUP2
000009e9: DUP8
000009ea: DUP8
000009eb: PUSH2 0x61da
000009ee: GAS
000009ef: SUB
000009f0: CALL
000009f1: ISZERO
000009f2: PUSH2 0x0002
000009f5: JUMPI
000009f6: POP
000009f7: POP
000009f8: PUSH1 0x40
000009fa: MLOAD
000009fb: MLOAD
000009fc: SWAP2
000009fd: POP
000009fe: PUSH2 0x04bb
00000a01: SWAP1
00000a02: POP
00000a03: JUMP
00000a04: JUMPDEST
00000a05: PUSH2 0x0d53
00000a08: PUSH1 0x04
00000a0a: CALLDATALOAD
00000a0b: PUSH1 0x24
00000a0d: CALLDATALOAD
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: PUSH1 0x00
00000a13: DUP3
00000a14: PUSH2 0x11e4
00000a17: PUSH2 0x06d8
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH2 0x0d53
00000a1f: PUSH1 0x04
00000a21: CALLDATALOAD
00000a22: PUSH1 0x24
00000a24: CALLDATALOAD
00000a25: PUSH1 0x00
00000a27: PUSH1 0x00
00000a29: PUSH1 0x00
00000a2b: PUSH1 0x00
00000a2d: DUP6
00000a2e: PUSH1 0x01
00000a30: PUSH1 0xa0
00000a32: PUSH1 0x02
00000a34: EXP
00000a35: SUB
00000a36: AND
00000a37: PUSH1 0x00
00000a39: EQ
00000a3a: ISZERO
00000a3b: PUSH2 0x0f52
00000a3e: JUMPI
00000a3f: PUSH2 0x0f49
00000a42: JUMP
00000a43: JUMPDEST
00000a44: PUSH2 0x0d53
00000a47: PUSH1 0x40
00000a49: DUP1
00000a4a: MLOAD
00000a4b: PUSH1 0x00
00000a4d: DUP1
00000a4e: SLOAD
00000a4f: PUSH1 0xe0
00000a51: PUSH1 0x02
00000a53: EXP
00000a54: PUSH4 0x855fe6ed
00000a59: MUL
00000a5a: DUP4
00000a5b: MSTORE
00000a5c: PUSH1 0x70
00000a5e: PUSH1 0x02
00000a60: EXP
00000a61: PUSH18 0x73657474696e67732f726563617374666565
00000a74: MUL
00000a75: PUSH1 0x04
00000a77: DUP5
00000a78: ADD
00000a79: MSTORE
00000a7a: SWAP3
00000a7b: MLOAD
00000a7c: SWAP1
00000a7d: SWAP3
00000a7e: PUSH1 0x01
00000a80: PUSH1 0xa0
00000a82: PUSH1 0x02
00000a84: EXP
00000a85: SUB
00000a86: AND
00000a87: SWAP2
00000a88: PUSH4 0x855fe6ed
00000a8d: SWAP2
00000a8e: PUSH1 0x24
00000a90: DUP3
00000a91: DUP2
00000a92: ADD
00000a93: SWAP3
00000a94: PUSH1 0x20
00000a96: SWAP3
00000a97: SWAP2
00000a98: SWAP1
00000a99: DUP3
00000a9a: SWAP1
00000a9b: SUB
00000a9c: ADD
00000a9d: DUP2
00000a9e: DUP8
00000a9f: DUP8
00000aa0: PUSH2 0x61da
00000aa3: GAS
00000aa4: SUB
00000aa5: CALL
00000aa6: ISZERO
00000aa7: PUSH2 0x0002
00000aaa: JUMPI
00000aab: POP
00000aac: POP
00000aad: PUSH1 0x40
00000aaf: MLOAD
00000ab0: MLOAD
00000ab1: SWAP2
00000ab2: POP
00000ab3: PUSH2 0x04bb
00000ab6: SWAP1
00000ab7: POP
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH2 0x0d36
00000abd: JUMPDEST
00000abe: PUSH1 0x40
00000ac0: DUP1
00000ac1: MLOAD
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: SLOAD
00000ac6: PUSH1 0xe0
00000ac8: PUSH1 0x02
00000aca: EXP
00000acb: PUSH4 0x4cb44f8d
00000ad0: MUL
00000ad1: DUP4
00000ad2: MSTORE
00000ad3: PUSH1 0x81
00000ad5: PUSH1 0x02
00000ad7: EXP
00000ad8: PUSH16 0x3932b3b4b9ba393c97b0bab234ba37b9
00000ae9: MUL
00000aea: PUSH1 0x04
00000aec: DUP5
00000aed: ADD
00000aee: MSTORE
00000aef: SWAP3
00000af0: MLOAD
00000af1: SWAP1
00000af2: SWAP3
00000af3: PUSH1 0x01
00000af5: PUSH1 0xa0
00000af7: PUSH1 0x02
00000af9: EXP
00000afa: SUB
00000afb: AND
00000afc: SWAP2
00000afd: PUSH4 0x4cb44f8d
00000b02: SWAP2
00000b03: PUSH1 0x24
00000b05: DUP3
00000b06: DUP2
00000b07: ADD
00000b08: SWAP3
00000b09: PUSH1 0x20
00000b0b: SWAP3
00000b0c: SWAP2
00000b0d: SWAP1
00000b0e: DUP3
00000b0f: SWAP1
00000b10: SUB
00000b11: ADD
00000b12: DUP2
00000b13: DUP8
00000b14: DUP8
00000b15: PUSH2 0x61da
00000b18: GAS
00000b19: SUB
00000b1a: CALL
00000b1b: ISZERO
00000b1c: PUSH2 0x0002
00000b1f: JUMPI
00000b20: POP
00000b21: POP
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: MLOAD
00000b26: SWAP2
00000b27: POP
00000b28: PUSH2 0x04bb
00000b2b: SWAP1
00000b2c: POP
00000b2d: JUMP
00000b2e: JUMPDEST
00000b2f: PUSH2 0x0d53
00000b32: JUMPDEST
00000b33: PUSH1 0x40
00000b35: DUP1
00000b36: MLOAD
00000b37: PUSH1 0x00
00000b39: DUP1
00000b3a: SLOAD
00000b3b: PUSH1 0xe0
00000b3d: PUSH1 0x02
00000b3f: EXP
00000b40: PUSH4 0x855fe6ed
00000b45: MUL
00000b46: DUP4
00000b47: MSTORE
00000b48: PUSH1 0x90
00000b4a: PUSH1 0x02
00000b4c: EXP
00000b4d: PUSH14 0x73657474696e67732f7478666565
00000b5c: MUL
00000b5d: PUSH1 0x04
00000b5f: DUP5
00000b60: ADD
00000b61: MSTORE
00000b62: SWAP3
00000b63: MLOAD
00000b64: SWAP1
00000b65: SWAP3
00000b66: PUSH1 0x01
00000b68: PUSH1 0xa0
00000b6a: PUSH1 0x02
00000b6c: EXP
00000b6d: SUB
00000b6e: AND
00000b6f: SWAP2
00000b70: PUSH4 0x855fe6ed
00000b75: SWAP2
00000b76: PUSH1 0x24
00000b78: DUP3
00000b79: DUP2
00000b7a: ADD
00000b7b: SWAP3
00000b7c: PUSH1 0x20
00000b7e: SWAP3
00000b7f: SWAP2
00000b80: SWAP1
00000b81: DUP3
00000b82: SWAP1
00000b83: SUB
00000b84: ADD
00000b85: DUP2
00000b86: DUP8
00000b87: DUP8
00000b88: PUSH2 0x61da
00000b8b: GAS
00000b8c: SUB
00000b8d: CALL
00000b8e: ISZERO
00000b8f: PUSH2 0x0002
00000b92: JUMPI
00000b93: POP
00000b94: POP
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: MLOAD
00000b99: SWAP2
00000b9a: POP
00000b9b: PUSH2 0x04bb
00000b9e: SWAP1
00000b9f: POP
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: PUSH2 0x0d53
00000ba5: JUMPDEST
00000ba6: PUSH1 0x40
00000ba8: DUP1
00000ba9: MLOAD
00000baa: PUSH1 0x00
00000bac: DUP1
00000bad: SLOAD
00000bae: PUSH1 0xe0
00000bb0: PUSH1 0x02
00000bb2: EXP
00000bb3: PUSH4 0x855fe6ed
00000bb8: MUL
00000bb9: DUP4
00000bba: MSTORE
00000bbb: PUSH1 0x98
00000bbd: PUSH1 0x02
00000bbf: EXP
00000bc0: PUSH13 0x73657474696e67732f62617365
00000bce: MUL
00000bcf: PUSH1 0x04
00000bd1: DUP5
00000bd2: ADD
00000bd3: MSTORE
00000bd4: SWAP3
00000bd5: MLOAD
00000bd6: SWAP1
00000bd7: SWAP3
00000bd8: PUSH1 0x01
00000bda: PUSH1 0xa0
00000bdc: PUSH1 0x02
00000bde: EXP
00000bdf: SUB
00000be0: AND
00000be1: SWAP2
00000be2: PUSH4 0x855fe6ed
00000be7: SWAP2
00000be8: PUSH1 0x24
00000bea: DUP3
00000beb: DUP2
00000bec: ADD
00000bed: SWAP3
00000bee: PUSH1 0x20
00000bf0: SWAP3
00000bf1: SWAP2
00000bf2: SWAP1
00000bf3: DUP3
00000bf4: SWAP1
00000bf5: SUB
00000bf6: ADD
00000bf7: DUP2
00000bf8: DUP8
00000bf9: DUP8
00000bfa: PUSH2 0x61da
00000bfd: GAS
00000bfe: SUB
00000bff: CALL
00000c00: ISZERO
00000c01: PUSH2 0x0002
00000c04: JUMPI
00000c05: POP
00000c06: POP
00000c07: PUSH1 0x40
00000c09: MLOAD
00000c0a: MLOAD
00000c0b: SWAP2
00000c0c: POP
00000c0d: PUSH2 0x04bb
00000c10: SWAP1
00000c11: POP
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH2 0x0d53
00000c17: JUMPDEST
00000c18: PUSH1 0x40
00000c1a: DUP1
00000c1b: MLOAD
00000c1c: PUSH1 0x00
00000c1e: DUP1
00000c1f: SLOAD
00000c20: PUSH1 0xe0
00000c22: PUSH1 0x02
00000c24: EXP
00000c25: PUSH4 0x855fe6ed
00000c2a: MUL
00000c2b: DUP4
00000c2c: MSTORE
00000c2d: PUSH1 0x7b
00000c2f: PUSH1 0x02
00000c31: EXP
00000c32: PUSH17 0x0e6cae8e8d2dccee65ee8f0cccacadac2f
00000c44: MUL
00000c45: PUSH1 0x04
00000c47: DUP5
00000c48: ADD
00000c49: MSTORE
00000c4a: SWAP3
00000c4b: MLOAD
00000c4c: SWAP1
00000c4d: SWAP3
00000c4e: PUSH1 0x01
00000c50: PUSH1 0xa0
00000c52: PUSH1 0x02
00000c54: EXP
00000c55: SUB
00000c56: AND
00000c57: SWAP2
00000c58: PUSH4 0x855fe6ed
00000c5d: SWAP2
00000c5e: PUSH1 0x24
00000c60: DUP3
00000c61: DUP2
00000c62: ADD
00000c63: SWAP3
00000c64: PUSH1 0x20
00000c66: SWAP3
00000c67: SWAP2
00000c68: SWAP1
00000c69: DUP3
00000c6a: SWAP1
00000c6b: SUB
00000c6c: ADD
00000c6d: DUP2
00000c6e: DUP8
00000c6f: DUP8
00000c70: PUSH2 0x61da
00000c73: GAS
00000c74: SUB
00000c75: CALL
00000c76: ISZERO
00000c77: PUSH2 0x0002
00000c7a: JUMPI
00000c7b: POP
00000c7c: POP
00000c7d: PUSH1 0x40
00000c7f: MLOAD
00000c80: MLOAD
00000c81: SWAP2
00000c82: POP
00000c83: PUSH2 0x04bb
00000c86: SWAP1
00000c87: POP
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH2 0x0d53
00000c8d: PUSH1 0x04
00000c8f: CALLDATALOAD
00000c90: PUSH1 0x24
00000c92: CALLDATALOAD
00000c93: PUSH1 0x44
00000c95: CALLDATALOAD
00000c96: PUSH1 0x64
00000c98: CALLDATALOAD
00000c99: PUSH1 0x00
00000c9b: PUSH1 0x00
00000c9d: CALLER
00000c9e: PUSH1 0x01
00000ca0: PUSH1 0xa0
00000ca2: PUSH1 0x02
00000ca4: EXP
00000ca5: SUB
00000ca6: AND
00000ca7: PUSH2 0x171a
00000caa: PUSH2 0x074a
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH2 0x0d53
00000cb2: PUSH1 0x04
00000cb4: CALLDATALOAD
00000cb5: PUSH1 0x24
00000cb7: CALLDATALOAD
00000cb8: PUSH1 0x01
00000cba: PUSH1 0xa0
00000cbc: PUSH1 0x02
00000cbe: EXP
00000cbf: SUB
00000cc0: DUP3
00000cc1: DUP2
00000cc2: AND
00000cc3: PUSH1 0x00
00000cc5: SWAP1
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x03
00000cca: PUSH1 0x20
00000ccc: DUP2
00000ccd: DUP2
00000cce: MSTORE
00000ccf: PUSH1 0x40
00000cd1: DUP1
00000cd2: DUP5
00000cd3: KECCAK256
00000cd4: SWAP5
00000cd5: DUP7
00000cd6: AND
00000cd7: DUP5
00000cd8: MSTORE
00000cd9: SWAP4
00000cda: SWAP1
00000cdb: SWAP2
00000cdc: ADD
00000cdd: SWAP1
00000cde: MSTORE
00000cdf: KECCAK256
00000ce0: SLOAD
00000ce1: PUSH2 0x02f0
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH2 0x0d53
00000ce9: PUSH1 0x04
00000ceb: CALLDATALOAD
00000cec: JUMPDEST
00000ced: PUSH1 0x00
00000cef: DUP2
00000cf0: PUSH1 0x01
00000cf2: PUSH1 0xa0
00000cf4: PUSH1 0x02
00000cf6: EXP
00000cf7: SUB
00000cf8: AND
00000cf9: PUSH2 0x0d65
00000cfc: PUSH2 0x086b
00000cff: JUMP
00000d00: JUMPDEST
00000d01: PUSH2 0x0d53
00000d04: PUSH1 0x04
00000d06: CALLDATALOAD
00000d07: PUSH1 0x00
00000d09: PUSH2 0x0e24
00000d0c: PUSH2 0x01fe
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH2 0x0d53
00000d14: PUSH1 0x04
00000d16: CALLDATALOAD
00000d17: PUSH1 0x24
00000d19: CALLDATALOAD
00000d1a: JUMPDEST
00000d1b: PUSH1 0x00
00000d1d: PUSH1 0x00
00000d1f: PUSH2 0x10b5
00000d22: PUSH2 0x062d
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH2 0x01f8
00000d2a: PUSH1 0x04
00000d2c: CALLDATALOAD
00000d2d: PUSH1 0x00
00000d2f: PUSH2 0x14c4
00000d32: PUSH2 0x086b
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x40
00000d39: DUP1
00000d3a: MLOAD
00000d3b: PUSH1 0x01
00000d3d: PUSH1 0xa0
00000d3f: PUSH1 0x02
00000d41: EXP
00000d42: SUB
00000d43: SWAP3
00000d44: SWAP1
00000d45: SWAP3
00000d46: AND
00000d47: DUP3
00000d48: MSTORE
00000d49: MLOAD
00000d4a: SWAP1
00000d4b: DUP2
00000d4c: SWAP1
00000d4d: SUB
00000d4e: PUSH1 0x20
00000d50: ADD
00000d51: SWAP1
00000d52: RETURN
00000d53: JUMPDEST
00000d54: PUSH1 0x40
00000d56: DUP1
00000d57: MLOAD
00000d58: SWAP2
00000d59: DUP3
00000d5a: MSTORE
00000d5b: MLOAD
00000d5c: SWAP1
00000d5d: DUP2
00000d5e: SWAP1
00000d5f: SUB
00000d60: PUSH1 0x20
00000d62: ADD
00000d63: SWAP1
00000d64: RETURN
00000d65: JUMPDEST
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: PUSH1 0x02
00000d6c: EXP
00000d6d: SUB
00000d6e: AND
00000d6f: EQ
00000d70: SWAP1
00000d71: POP
00000d72: PUSH2 0x031a
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x01
00000d79: PUSH1 0xa0
00000d7b: PUSH1 0x02
00000d7d: EXP
00000d7e: SUB
00000d7f: AND
00000d80: PUSH4 0x35c80c8c
00000d85: DUP4
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: DUP3
00000d8a: PUSH1 0xe0
00000d8c: PUSH1 0x02
00000d8e: EXP
00000d8f: MUL
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x04
00000d94: ADD
00000d95: DUP1
00000d96: DUP3
00000d97: PUSH1 0x01
00000d99: PUSH1 0xa0
00000d9b: PUSH1 0x02
00000d9d: EXP
00000d9e: SUB
00000d9f: AND
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x20
00000da4: ADD
00000da5: SWAP2
00000da6: POP
00000da7: POP
00000da8: PUSH1 0x20
00000daa: PUSH1 0x40
00000dac: MLOAD
00000dad: DUP1
00000dae: DUP4
00000daf: SUB
00000db0: DUP2
00000db1: PUSH1 0x00
00000db3: DUP8
00000db4: PUSH2 0x61da
00000db7: GAS
00000db8: SUB
00000db9: CALL
00000dba: ISZERO
00000dbb: PUSH2 0x0002
00000dbe: JUMPI
00000dbf: POP
00000dc0: POP
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: MLOAD
00000dc5: SWAP2
00000dc6: POP
00000dc7: PUSH2 0x031a
00000dca: SWAP1
00000dcb: POP
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: PUSH1 0x01
00000dd0: PUSH1 0xa0
00000dd2: PUSH1 0x02
00000dd4: EXP
00000dd5: SUB
00000dd6: AND
00000dd7: PUSH4 0x49b90557
00000ddc: DUP4
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: DUP3
00000de1: PUSH1 0xe0
00000de3: PUSH1 0x02
00000de5: EXP
00000de6: MUL
00000de7: DUP2
00000de8: MSTORE
00000de9: PUSH1 0x04
00000deb: ADD
00000dec: DUP1
00000ded: DUP3
00000dee: PUSH1 0x01
00000df0: PUSH1 0xa0
00000df2: PUSH1 0x02
00000df4: EXP
00000df5: SUB
00000df6: AND
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: SWAP2
00000dfd: POP
00000dfe: POP
00000dff: PUSH1 0x20
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: DUP1
00000e05: DUP4
00000e06: SUB
00000e07: DUP2
00000e08: PUSH1 0x00
00000e0a: DUP8
00000e0b: PUSH2 0x61da
00000e0e: GAS
00000e0f: SUB
00000e10: CALL
00000e11: ISZERO
00000e12: PUSH2 0x0002
00000e15: JUMPI
00000e16: POP
00000e17: POP
00000e18: PUSH1 0x40
00000e1a: MLOAD
00000e1b: MLOAD
00000e1c: SWAP2
00000e1d: POP
00000e1e: PUSH2 0x031a
00000e21: SWAP1
00000e22: POP
00000e23: JUMP
00000e24: JUMPDEST
00000e25: PUSH1 0x01
00000e27: PUSH1 0xa0
00000e29: PUSH1 0x02
00000e2b: EXP
00000e2c: SUB
00000e2d: AND
00000e2e: PUSH4 0xee54d54f
00000e33: DUP4
00000e34: PUSH1 0x40
00000e36: MLOAD
00000e37: DUP3
00000e38: PUSH1 0xe0
00000e3a: PUSH1 0x02
00000e3c: EXP
00000e3d: MUL
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x04
00000e42: ADD
00000e43: DUP1
00000e44: DUP3
00000e45: PUSH1 0x01
00000e47: PUSH1 0xa0
00000e49: PUSH1 0x02
00000e4b: EXP
00000e4c: SUB
00000e4d: AND
00000e4e: DUP2
00000e4f: MSTORE
00000e50: PUSH1 0x20
00000e52: ADD
00000e53: SWAP2
00000e54: POP
00000e55: POP
00000e56: PUSH1 0x20
00000e58: PUSH1 0x40
00000e5a: MLOAD
00000e5b: DUP1
00000e5c: DUP4
00000e5d: SUB
00000e5e: DUP2
00000e5f: PUSH1 0x00
00000e61: DUP8
00000e62: PUSH2 0x61da
00000e65: GAS
00000e66: SUB
00000e67: CALL
00000e68: ISZERO
00000e69: PUSH2 0x0002
00000e6c: JUMPI
00000e6d: POP
00000e6e: POP
00000e6f: PUSH1 0x40
00000e71: MLOAD
00000e72: MLOAD
00000e73: SWAP2
00000e74: POP
00000e75: PUSH2 0x031a
00000e78: SWAP1
00000e79: POP
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH1 0x01
00000e7e: PUSH1 0xa0
00000e80: PUSH1 0x02
00000e82: EXP
00000e83: SUB
00000e84: AND
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: DUP2
00000e8a: ADD
00000e8b: SWAP2
00000e8c: SWAP1
00000e8d: SWAP2
00000e8e: MSTORE
00000e8f: PUSH1 0x40
00000e91: ADD
00000e92: PUSH1 0x00
00000e94: KECCAK256
00000e95: PUSH1 0x01
00000e97: SWAP1
00000e98: DUP2
00000e99: ADD
00000e9a: DUP1
00000e9b: SLOAD
00000e9c: SWAP1
00000e9d: SWAP3
00000e9e: ADD
00000e9f: SWAP1
00000ea0: SWAP2
00000ea1: SSTORE
00000ea2: SWAP2
00000ea3: POP
00000ea4: JUMPDEST
00000ea5: POP
00000ea6: SWAP1
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: PUSH1 0x01
00000eab: PUSH1 0xa0
00000ead: PUSH1 0x02
00000eaf: EXP
00000eb0: SUB
00000eb1: AND
00000eb2: EQ
00000eb3: ISZERO
00000eb4: PUSH2 0x0ea4
00000eb7: JUMPI
00000eb8: PUSH1 0x03
00000eba: PUSH1 0x00
00000ebc: PUSH2 0x0ec3
00000ebf: PUSH2 0x05bc
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: PUSH1 0x02
00000eca: EXP
00000ecb: SUB
00000ecc: AND
00000ecd: DUP2
00000ece: MSTORE
00000ecf: PUSH1 0x20
00000ed1: DUP2
00000ed2: ADD
00000ed3: SWAP2
00000ed4: SWAP1
00000ed5: SWAP2
00000ed6: MSTORE
00000ed7: PUSH1 0x40
00000ed9: ADD
00000eda: PUSH1 0x00
00000edc: SWAP1
00000edd: DUP2
00000ede: KECCAK256
00000edf: PUSH1 0x01
00000ee1: ADD
00000ee2: SLOAD
00000ee3: SWAP2
00000ee4: POP
00000ee5: PUSH1 0x03
00000ee7: DUP2
00000ee8: PUSH2 0x0eef
00000eeb: PUSH2 0x05bc
00000eee: JUMP
00000eef: JUMPDEST
00000ef0: PUSH1 0x01
00000ef2: PUSH1 0xa0
00000ef4: PUSH1 0x02
00000ef6: EXP
00000ef7: SUB
00000ef8: AND
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: DUP2
00000efe: ADD
00000eff: SWAP2
00000f00: SWAP1
00000f01: SWAP2
00000f02: MSTORE
00000f03: PUSH1 0x40
00000f05: ADD
00000f06: PUSH1 0x00
00000f08: SWAP1
00000f09: DUP2
00000f0a: KECCAK256
00000f0b: PUSH1 0x01
00000f0d: ADD
00000f0e: SWAP2
00000f0f: SWAP1
00000f10: SWAP2
00000f11: SSTORE
00000f12: DUP2
00000f13: SWAP1
00000f14: PUSH1 0x03
00000f16: SWAP1
00000f17: PUSH2 0x0e7b
00000f1a: PUSH2 0x062d
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH1 0x40
00000f21: MLOAD
00000f22: PUSH1 0x01
00000f24: PUSH1 0xa0
00000f26: PUSH1 0x02
00000f28: EXP
00000f29: SUB
00000f2a: SWAP2
00000f2b: DUP3
00000f2c: AND
00000f2d: SWAP2
00000f2e: CALLER
00000f2f: AND
00000f30: SWAP1
00000f31: PUSH1 0x00
00000f33: DUP1
00000f34: MLOAD
00000f35: PUSH1 0x20
00000f37: PUSH2 0x1a52
00000f3a: DUP4
00000f3b: CODECOPY
00000f3c: DUP2
00000f3d: MLOAD
00000f3e: SWAP2
00000f3f: MSTORE
00000f40: SWAP1
00000f41: PUSH1 0x00
00000f43: SWAP1
00000f44: LOG4
00000f45: PUSH1 0x01
00000f47: SWAP4
00000f48: POP
00000f49: JUMPDEST
00000f4a: POP
00000f4b: POP
00000f4c: POP
00000f4d: SWAP3
00000f4e: SWAP2
00000f4f: POP
00000f50: POP
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH2 0x0f5b
00000f56: DUP7
00000f57: PUSH2 0x02fd
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: ISZERO
00000f5d: ISZERO
00000f5e: PUSH2 0x0f6f
00000f61: JUMPI
00000f62: PUSH2 0x0f6f
00000f65: DUP7
00000f66: JUMPDEST
00000f67: PUSH2 0x1a48
00000f6a: DUP2
00000f6b: PUSH2 0x02fd
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: PUSH2 0x0f79
00000f73: DUP6
00000f74: CALLER
00000f75: PUSH2 0x0d1a
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: SWAP3
00000f7b: POP
00000f7c: PUSH2 0x0f83
00000f7f: PUSH2 0x062d
00000f82: JUMP
00000f83: JUMPDEST
00000f84: PUSH1 0x01
00000f86: PUSH1 0xa0
00000f88: PUSH1 0x02
00000f8a: EXP
00000f8b: SUB
00000f8c: AND
00000f8d: CALLER
00000f8e: PUSH1 0x01
00000f90: PUSH1 0xa0
00000f92: PUSH1 0x02
00000f94: EXP
00000f95: SUB
00000f96: AND
00000f97: EQ
00000f98: ISZERO
00000f99: PUSH2 0x0fa1
00000f9c: JUMPI
00000f9d: PUSH1 0x00
00000f9f: SWAP3
00000fa0: POP
00000fa1: JUMPDEST
00000fa2: PUSH2 0x0fa9
00000fa5: PUSH2 0x05bc
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: PUSH1 0x01
00000fac: PUSH1 0xa0
00000fae: PUSH1 0x02
00000fb0: EXP
00000fb1: SUB
00000fb2: AND
00000fb3: CALLER
00000fb4: PUSH1 0x01
00000fb6: PUSH1 0xa0
00000fb8: PUSH1 0x02
00000fba: EXP
00000fbb: SUB
00000fbc: AND
00000fbd: EQ
00000fbe: ISZERO
00000fbf: PUSH2 0x0fc7
00000fc2: JUMPI
00000fc3: PUSH1 0x00
00000fc5: SWAP3
00000fc6: POP
00000fc7: JUMPDEST
00000fc8: DUP5
00000fc9: DUP4
00000fca: ADD
00000fcb: SWAP2
00000fcc: POP
00000fcd: DUP2
00000fce: PUSH2 0x0fd6
00000fd1: CALLER
00000fd2: PUSH2 0x083c
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: LT
00000fd8: ISZERO
00000fd9: PUSH2 0x0fe5
00000fdc: JUMPI
00000fdd: PUSH1 0x00
00000fdf: SWAP4
00000fe0: POP
00000fe1: PUSH2 0x0f49
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: PUSH2 0x0fee
00000fe9: CALLER
00000fea: PUSH2 0x0980
00000fed: JUMP
00000fee: JUMPDEST
00000fef: ISZERO
00000ff0: ISZERO
00000ff1: PUSH2 0x0ffd
00000ff4: JUMPI
00000ff5: PUSH1 0x00
00000ff7: SWAP4
00000ff8: POP
00000ff9: PUSH2 0x0f49
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH2 0x1006
00001001: DUP7
00001002: PUSH2 0x0980
00001005: JUMP
00001006: JUMPDEST
00001007: ISZERO
00001008: ISZERO
00001009: PUSH2 0x1015
0000100c: JUMPI
0000100d: PUSH1 0x00
0000100f: SWAP4
00001010: POP
00001011: PUSH2 0x0f49
00001014: JUMP
00001015: JUMPDEST
00001016: POP
00001017: CALLER
00001018: PUSH1 0x01
0000101a: PUSH1 0xa0
0000101c: PUSH1 0x02
0000101e: EXP
0000101f: SUB
00001020: SWAP1
00001021: DUP2
00001022: AND
00001023: PUSH1 0x00
00001025: SWAP1
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x03
0000102a: PUSH1 0x20
0000102c: DUP2
0000102d: SWAP1
0000102e: MSTORE
0000102f: PUSH1 0x40
00001031: DUP1
00001032: DUP4
00001033: KECCAK256
00001034: PUSH1 0x01
00001036: SWAP1
00001037: DUP2
00001038: ADD
00001039: DUP1
0000103a: SLOAD
0000103b: DUP8
0000103c: SWAP1
0000103d: SUB
0000103e: SWAP1
0000103f: SSTORE
00001040: SWAP4
00001041: DUP10
00001042: AND
00001043: DUP4
00001044: MSTORE
00001045: DUP3
00001046: KECCAK256
00001047: SWAP1
00001048: SWAP3
00001049: ADD
0000104a: DUP1
0000104b: SLOAD
0000104c: DUP8
0000104d: ADD
0000104e: SWAP1
0000104f: SSTORE
00001050: TIMESTAMP
00001051: SWAP2
00001052: DUP5
00001053: SWAP2
00001054: PUSH2 0x105b
00001057: PUSH2 0x05bc
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH1 0x01
0000105e: PUSH1 0xa0
00001060: PUSH1 0x02
00001062: EXP
00001063: SUB
00001064: SWAP1
00001065: DUP2
00001066: AND
00001067: DUP3
00001068: MSTORE
00001069: PUSH1 0x20
0000106b: DUP3
0000106c: ADD
0000106d: SWAP3
0000106e: SWAP1
0000106f: SWAP3
00001070: MSTORE
00001071: PUSH1 0x40
00001073: SWAP1
00001074: DUP2
00001075: ADD
00001076: PUSH1 0x00
00001078: SWAP1
00001079: DUP2
0000107a: KECCAK256
0000107b: PUSH1 0x01
0000107d: ADD
0000107e: DUP1
0000107f: SLOAD
00001080: SWAP1
00001081: SWAP5
00001082: ADD
00001083: SWAP1
00001084: SWAP4
00001085: SSTORE
00001086: MLOAD
00001087: DUP8
00001088: SWAP3
00001089: DUP10
0000108a: DUP4
0000108b: AND
0000108c: SWAP3
0000108d: CALLER
0000108e: AND
0000108f: SWAP2
00001090: PUSH1 0x00
00001092: DUP1
00001093: MLOAD
00001094: PUSH1 0x20
00001096: PUSH2 0x1a52
00001099: DUP4
0000109a: CODECOPY
0000109b: DUP2
0000109c: MLOAD
0000109d: SWAP2
0000109e: MSTORE
0000109f: SWAP2
000010a0: SWAP1
000010a1: LOG4
000010a2: DUP3
000010a3: PUSH2 0x0f1e
000010a6: PUSH2 0x05bc
000010a9: JUMP
000010aa: JUMPDEST
000010ab: DUP1
000010ac: SWAP2
000010ad: POP
000010ae: JUMPDEST
000010af: POP
000010b0: SWAP3
000010b1: SWAP2
000010b2: POP
000010b3: POP
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x01
000010b8: PUSH1 0xa0
000010ba: PUSH1 0x02
000010bc: EXP
000010bd: SUB
000010be: AND
000010bf: DUP4
000010c0: PUSH1 0x01
000010c2: PUSH1 0xa0
000010c4: PUSH1 0x02
000010c6: EXP
000010c7: SUB
000010c8: AND
000010c9: EQ
000010ca: ISZERO
000010cb: PUSH2 0x10d7
000010ce: JUMPI
000010cf: PUSH1 0x00
000010d1: SWAP2
000010d2: POP
000010d3: PUSH2 0x10ae
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH2 0x10df
000010db: PUSH2 0x05bc
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: PUSH1 0x02
000010e6: EXP
000010e7: SUB
000010e8: AND
000010e9: DUP4
000010ea: PUSH1 0x01
000010ec: PUSH1 0xa0
000010ee: PUSH1 0x02
000010f0: EXP
000010f1: SUB
000010f2: AND
000010f3: EQ
000010f4: ISZERO
000010f5: PUSH2 0x1101
000010f8: JUMPI
000010f9: PUSH1 0x00
000010fb: SWAP2
000010fc: POP
000010fd: PUSH2 0x10ae
00001100: JUMP
00001101: JUMPDEST
00001102: PUSH2 0x1109
00001105: PUSH2 0x0ba5
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH2 0x1111
0000110d: PUSH2 0x0b32
00001110: JUMP
00001111: JUMPDEST
00001112: DUP6
00001113: MUL
00001114: DIV
00001115: SWAP1
00001116: POP
00001117: PUSH2 0x111e
0000111a: PUSH2 0x0c17
0000111d: JUMP
0000111e: JUMPDEST
0000111f: DUP2
00001120: GT
00001121: ISZERO
00001122: PUSH2 0x10aa
00001125: JUMPI
00001126: PUSH2 0x112d
00001129: PUSH2 0x0c17
0000112c: JUMP
0000112d: JUMPDEST
0000112e: SWAP2
0000112f: POP
00001130: PUSH2 0x10ae
00001133: JUMP
00001134: JUMPDEST
00001135: PUSH1 0x00
00001137: EQ
00001138: ISZERO
00001139: PUSH2 0x1144
0000113c: JUMPI
0000113d: POP
0000113e: PUSH1 0x00
00001140: PUSH2 0x031a
00001143: JUMP
00001144: JUMPDEST
00001145: PUSH2 0x114c
00001148: PUSH2 0x062d
0000114b: JUMP
0000114c: JUMPDEST
0000114d: PUSH1 0x01
0000114f: PUSH1 0xa0
00001151: PUSH1 0x02
00001153: EXP
00001154: SUB
00001155: AND
00001156: DUP3
00001157: PUSH1 0x01
00001159: PUSH1 0xa0
0000115b: PUSH1 0x02
0000115d: EXP
0000115e: SUB
0000115f: AND
00001160: EQ
00001161: ISZERO
00001162: PUSH2 0x116d
00001165: JUMPI
00001166: POP
00001167: PUSH1 0x00
00001169: PUSH2 0x031a
0000116c: JUMP
0000116d: JUMPDEST
0000116e: PUSH2 0x1175
00001171: PUSH2 0x05bc
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH1 0x01
00001178: PUSH1 0xa0
0000117a: PUSH1 0x02
0000117c: EXP
0000117d: SUB
0000117e: AND
0000117f: DUP3
00001180: PUSH1 0x01
00001182: PUSH1 0xa0
00001184: PUSH1 0x02
00001186: EXP
00001187: SUB
00001188: AND
00001189: EQ
0000118a: ISZERO
0000118b: PUSH2 0x1196
0000118e: JUMPI
0000118f: POP
00001190: PUSH1 0x00
00001192: PUSH2 0x031a
00001195: JUMP
00001196: JUMPDEST
00001197: PUSH2 0x119f
0000119a: DUP3
0000119b: PUSH2 0x0275
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH1 0x00
000011a2: EQ
000011a3: ISZERO
000011a4: PUSH2 0x11af
000011a7: JUMPI
000011a8: POP
000011a9: PUSH1 0x00
000011ab: PUSH2 0x031a
000011ae: JUMP
000011af: JUMPDEST
000011b0: PUSH1 0x01
000011b2: PUSH1 0xa0
000011b4: PUSH1 0x02
000011b6: EXP
000011b7: SUB
000011b8: DUP3
000011b9: AND
000011ba: PUSH1 0x00
000011bc: SWAP1
000011bd: DUP2
000011be: MSTORE
000011bf: PUSH1 0x03
000011c1: PUSH1 0x20
000011c3: MSTORE
000011c4: PUSH1 0x40
000011c6: SWAP1
000011c7: KECCAK256
000011c8: PUSH1 0x01
000011ca: ADD
000011cb: SLOAD
000011cc: PUSH2 0x11d8
000011cf: SWAP1
000011d0: PUSH2 0x11df
000011d3: DUP5
000011d4: PUSH2 0x0275
000011d7: JUMP
000011d8: JUMPDEST
000011d9: SWAP1
000011da: POP
000011db: PUSH2 0x031a
000011de: JUMP
000011df: JUMPDEST
000011e0: PUSH2 0x0a0e
000011e3: JUMP
000011e4: JUMPDEST
000011e5: MUL
000011e6: SWAP1
000011e7: POP
000011e8: PUSH2 0x11ef
000011eb: PUSH2 0x0ba5
000011ee: JUMP
000011ef: JUMPDEST
000011f0: DUP2
000011f1: DUP6
000011f2: MUL
000011f3: DIV
000011f4: SWAP2
000011f5: POP
000011f6: PUSH2 0x10ae
000011f9: JUMP
000011fa: JUMPDEST
000011fb: PUSH2 0x1202
000011fe: PUSH2 0x062d
00001201: JUMP
00001202: JUMPDEST
00001203: PUSH1 0x01
00001205: PUSH1 0xa0
00001207: PUSH1 0x02
00001209: EXP
0000120a: SUB
0000120b: AND
0000120c: DUP3
0000120d: PUSH1 0x01
0000120f: PUSH1 0xa0
00001211: PUSH1 0x02
00001213: EXP
00001214: SUB
00001215: AND
00001216: EQ
00001217: ISZERO
00001218: PUSH2 0x1227
0000121b: JUMPI
0000121c: PUSH1 0x03
0000121e: PUSH1 0x00
00001220: PUSH2 0x122f
00001223: PUSH2 0x062d
00001226: JUMP
00001227: JUMPDEST
00001228: PUSH2 0x1253
0000122b: PUSH2 0x05bc
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH1 0x01
00001232: PUSH1 0xa0
00001234: PUSH1 0x02
00001236: EXP
00001237: SUB
00001238: AND
00001239: DUP2
0000123a: MSTORE
0000123b: PUSH1 0x20
0000123d: DUP2
0000123e: ADD
0000123f: SWAP2
00001240: SWAP1
00001241: SWAP2
00001242: MSTORE
00001243: PUSH1 0x40
00001245: ADD
00001246: PUSH1 0x00
00001248: KECCAK256
00001249: PUSH1 0x01
0000124b: ADD
0000124c: SLOAD
0000124d: SWAP1
0000124e: POP
0000124f: PUSH2 0x031a
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x01
00001256: PUSH1 0xa0
00001258: PUSH1 0x02
0000125a: EXP
0000125b: SUB
0000125c: AND
0000125d: DUP3
0000125e: PUSH1 0x01
00001260: PUSH1 0xa0
00001262: PUSH1 0x02
00001264: EXP
00001265: SUB
00001266: AND
00001267: EQ
00001268: ISZERO
00001269: PUSH2 0x1278
0000126c: JUMPI
0000126d: PUSH1 0x03
0000126f: PUSH1 0x00
00001271: PUSH2 0x122f
00001274: PUSH2 0x05bc
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH1 0x01
0000127b: PUSH1 0xa0
0000127d: PUSH1 0x02
0000127f: EXP
00001280: SUB
00001281: DUP3
00001282: AND
00001283: PUSH1 0x00
00001285: SWAP1
00001286: DUP2
00001287: MSTORE
00001288: PUSH1 0x03
0000128a: PUSH1 0x20
0000128c: MSTORE
0000128d: PUSH1 0x40
0000128f: DUP2
00001290: KECCAK256
00001291: PUSH1 0x01
00001293: ADD
00001294: SLOAD
00001295: EQ
00001296: ISZERO
00001297: PUSH2 0x12a2
0000129a: JUMPI
0000129b: POP
0000129c: PUSH1 0x00
0000129e: PUSH2 0x031a
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x00
000012a5: PUSH2 0x12ad
000012a8: DUP4
000012a9: PUSH2 0x0275
000012ac: JUMP
000012ad: JUMPDEST
000012ae: GT
000012af: PUSH2 0x12d4
000012b2: JUMPI
000012b3: POP
000012b4: PUSH1 0x01
000012b6: PUSH1 0xa0
000012b8: PUSH1 0x02
000012ba: EXP
000012bb: SUB
000012bc: DUP2
000012bd: AND
000012be: PUSH1 0x00
000012c0: SWAP1
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x03
000012c5: PUSH1 0x20
000012c7: MSTORE
000012c8: PUSH1 0x40
000012ca: SWAP1
000012cb: KECCAK256
000012cc: PUSH1 0x01
000012ce: ADD
000012cf: SLOAD
000012d0: PUSH2 0x031a
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH2 0x12dd
000012d8: DUP3
000012d9: PUSH2 0x04a0
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH2 0x12e6
000012e1: DUP4
000012e2: PUSH2 0x035a
000012e5: JUMP
000012e6: JUMPDEST
000012e7: SUB
000012e8: SWAP1
000012e9: POP
000012ea: PUSH2 0x031a
000012ed: JUMP
000012ee: JUMPDEST
000012ef: PUSH1 0x40
000012f1: MLOAD
000012f2: PUSH1 0x01
000012f4: PUSH1 0xa0
000012f6: PUSH1 0x02
000012f8: EXP
000012f9: SUB
000012fa: SWAP2
000012fb: DUP3
000012fc: AND
000012fd: SWAP2
000012fe: DUP9
000012ff: AND
00001300: SWAP1
00001301: PUSH1 0x00
00001303: DUP1
00001304: MLOAD
00001305: PUSH1 0x20
00001307: PUSH2 0x1a52
0000130a: DUP4
0000130b: CODECOPY
0000130c: DUP2
0000130d: MLOAD
0000130e: SWAP2
0000130f: MSTORE
00001310: SWAP1
00001311: PUSH1 0x00
00001313: SWAP1
00001314: LOG4
00001315: PUSH1 0x01
00001317: SWAP4
00001318: POP
00001319: JUMPDEST
0000131a: POP
0000131b: POP
0000131c: POP
0000131d: SWAP2
0000131e: SWAP1
0000131f: POP
00001320: JUMP
00001321: JUMPDEST
00001322: PUSH1 0x01
00001324: PUSH1 0xa0
00001326: PUSH1 0x02
00001328: EXP
00001329: SUB
0000132a: AND
0000132b: DUP6
0000132c: PUSH1 0x01
0000132e: PUSH1 0xa0
00001330: PUSH1 0x02
00001332: EXP
00001333: SUB
00001334: AND
00001335: EQ
00001336: ISZERO
00001337: PUSH2 0x1343
0000133a: JUMPI
0000133b: PUSH1 0x01
0000133d: SWAP4
0000133e: POP
0000133f: PUSH2 0x1319
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH2 0x134b
00001347: PUSH2 0x05bc
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH1 0x01
0000134e: PUSH1 0xa0
00001350: PUSH1 0x02
00001352: EXP
00001353: SUB
00001354: AND
00001355: DUP6
00001356: PUSH1 0x01
00001358: PUSH1 0xa0
0000135a: PUSH1 0x02
0000135c: EXP
0000135d: SUB
0000135e: AND
0000135f: EQ
00001360: ISZERO
00001361: PUSH2 0x136d
00001364: JUMPI
00001365: PUSH1 0x01
00001367: SWAP4
00001368: POP
00001369: PUSH2 0x1319
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH2 0x1376
00001371: DUP6
00001372: PUSH2 0x035a
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x00
00001379: EQ
0000137a: ISZERO
0000137b: PUSH2 0x13a6
0000137e: JUMPI
0000137f: PUSH1 0x01
00001381: PUSH1 0xa0
00001383: PUSH1 0x02
00001385: EXP
00001386: SUB
00001387: DUP6
00001388: AND
00001389: PUSH1 0x00
0000138b: SWAP1
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x03
00001390: PUSH1 0x20
00001392: MSTORE
00001393: PUSH1 0x40
00001395: SWAP1
00001396: KECCAK256
00001397: TIMESTAMP
00001398: PUSH1 0x02
0000139a: SWAP1
0000139b: SWAP2
0000139c: ADD
0000139d: SSTORE
0000139e: PUSH1 0x01
000013a0: SWAP4
000013a1: POP
000013a2: PUSH2 0x1319
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH2 0x13af
000013aa: DUP6
000013ab: PUSH2 0x0275
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH1 0x00
000013b2: EQ
000013b3: ISZERO
000013b4: PUSH2 0x13c0
000013b7: JUMPI
000013b8: PUSH1 0x01
000013ba: SWAP4
000013bb: POP
000013bc: PUSH2 0x1319
000013bf: JUMP
000013c0: JUMPDEST
000013c1: PUSH2 0x13c9
000013c4: DUP6
000013c5: PUSH2 0x04a0
000013c8: JUMP
000013c9: JUMPDEST
000013ca: SWAP3
000013cb: POP
000013cc: PUSH2 0x13d4
000013cf: DUP6
000013d0: PUSH2 0x035a
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x01
000013d7: PUSH1 0xa0
000013d9: PUSH1 0x02
000013db: EXP
000013dc: SUB
000013dd: DUP7
000013de: AND
000013df: PUSH1 0x00
000013e1: SWAP1
000013e2: DUP2
000013e3: MSTORE
000013e4: PUSH1 0x03
000013e6: PUSH1 0x20
000013e8: DUP2
000013e9: SWAP1
000013ea: MSTORE
000013eb: PUSH1 0x40
000013ed: DUP3
000013ee: KECCAK256
000013ef: PUSH1 0x01
000013f1: ADD
000013f2: DUP1
000013f3: SLOAD
000013f4: DUP8
000013f5: SWAP1
000013f6: SUB
000013f7: SWAP1
000013f8: SSTORE
000013f9: SWAP2
000013fa: SWAP4
000013fb: POP
000013fc: DUP5
000013fd: SWAP2
000013fe: SWAP1
000013ff: PUSH2 0x1406
00001402: PUSH2 0x05bc
00001405: JUMP
00001406: JUMPDEST
00001407: PUSH1 0x01
00001409: PUSH1 0xa0
0000140b: PUSH1 0x02
0000140d: EXP
0000140e: SUB
0000140f: AND
00001410: DUP2
00001411: MSTORE
00001412: PUSH1 0x20
00001414: DUP2
00001415: ADD
00001416: SWAP2
00001417: SWAP1
00001418: SWAP2
00001419: MSTORE
0000141a: PUSH1 0x40
0000141c: ADD
0000141d: PUSH1 0x00
0000141f: KECCAK256
00001420: PUSH1 0x01
00001422: ADD
00001423: DUP1
00001424: SLOAD
00001425: SWAP1
00001426: SWAP2
00001427: ADD
00001428: SWAP1
00001429: SSTORE
0000142a: PUSH2 0x1431
0000142d: PUSH2 0x07be
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH2 0x143a
00001435: DUP7
00001436: PUSH2 0x0275
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH1 0x01
0000143d: PUSH1 0xa0
0000143f: PUSH1 0x02
00001441: EXP
00001442: SUB
00001443: DUP8
00001444: AND
00001445: PUSH1 0x00
00001447: SWAP1
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x03
0000144c: PUSH1 0x20
0000144e: MSTORE
0000144f: PUSH1 0x40
00001451: SWAP1
00001452: KECCAK256
00001453: PUSH1 0x02
00001455: ADD
00001456: DUP1
00001457: SLOAD
00001458: SWAP3
00001459: SWAP1
0000145a: SWAP2
0000145b: MUL
0000145c: SWAP1
0000145d: SWAP2
0000145e: ADD
0000145f: TIMESTAMP
00001460: SWAP1
00001461: DUP2
00001462: SUB
00001463: SWAP1
00001464: DUP2
00001465: SWAP1
00001466: SUB
00001467: SWAP1
00001468: SWAP2
00001469: SSTORE
0000146a: SWAP1
0000146b: POP
0000146c: DUP3
0000146d: PUSH2 0x12ee
00001470: PUSH2 0x05bc
00001473: JUMP
00001474: JUMPDEST
00001475: PUSH1 0x01
00001477: PUSH1 0xa0
00001479: PUSH1 0x02
0000147b: EXP
0000147c: SUB
0000147d: DUP4
0000147e: AND
0000147f: PUSH1 0x00
00001481: SWAP1
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x03
00001486: PUSH1 0x20
00001488: MSTORE
00001489: PUSH1 0x40
0000148b: SWAP1
0000148c: KECCAK256
0000148d: PUSH1 0x02
0000148f: ADD
00001490: SLOAD
00001491: TIMESTAMP
00001492: SUB
00001493: DIV
00001494: SWAP1
00001495: POP
00001496: PUSH2 0x031a
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x40
0000149d: MLOAD
0000149e: PUSH1 0x01
000014a0: PUSH1 0xa0
000014a2: PUSH1 0x02
000014a4: EXP
000014a5: SUB
000014a6: SWAP2
000014a7: DUP3
000014a8: AND
000014a9: SWAP2
000014aa: ORIGIN
000014ab: AND
000014ac: SWAP1
000014ad: PUSH1 0x00
000014af: DUP1
000014b0: MLOAD
000014b1: PUSH1 0x20
000014b3: PUSH2 0x1a52
000014b6: DUP4
000014b7: CODECOPY
000014b8: DUP2
000014b9: MLOAD
000014ba: SWAP2
000014bb: MSTORE
000014bc: SWAP1
000014bd: PUSH1 0x00
000014bf: SWAP1
000014c0: LOG4
000014c1: POP
000014c2: POP
000014c3: JUMP
000014c4: JUMPDEST
000014c5: PUSH1 0x01
000014c7: PUSH1 0xa0
000014c9: PUSH1 0x02
000014cb: EXP
000014cc: SUB
000014cd: AND
000014ce: PUSH4 0xb88c9148
000014d3: DUP4
000014d4: PUSH1 0x40
000014d6: MLOAD
000014d7: DUP3
000014d8: PUSH1 0xe0
000014da: PUSH1 0x02
000014dc: EXP
000014dd: MUL
000014de: DUP2
000014df: MSTORE
000014e0: PUSH1 0x04
000014e2: ADD
000014e3: DUP1
000014e4: DUP3
000014e5: PUSH1 0x01
000014e7: PUSH1 0xa0
000014e9: PUSH1 0x02
000014eb: EXP
000014ec: SUB
000014ed: AND
000014ee: DUP2
000014ef: MSTORE
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: SWAP2
000014f4: POP
000014f5: POP
000014f6: PUSH1 0x20
000014f8: PUSH1 0x40
000014fa: MLOAD
000014fb: DUP1
000014fc: DUP4
000014fd: SUB
000014fe: DUP2
000014ff: PUSH1 0x00
00001501: DUP8
00001502: PUSH2 0x61da
00001505: GAS
00001506: SUB
00001507: CALL
00001508: ISZERO
00001509: PUSH2 0x0002
0000150c: JUMPI
0000150d: POP
0000150e: POP
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: MLOAD
00001513: SWAP2
00001514: POP
00001515: PUSH2 0x151f
00001518: SWAP1
00001519: POP
0000151a: ORIGIN
0000151b: PUSH2 0x02fd
0000151e: JUMP
0000151f: JUMPDEST
00001520: ISZERO
00001521: ISZERO
00001522: PUSH2 0x152e
00001525: JUMPI
00001526: PUSH2 0x152e
00001529: ORIGIN
0000152a: PUSH2 0x0f66
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH2 0x1537
00001532: ORIGIN
00001533: PUSH2 0x0980
00001536: JUMP
00001537: JUMPDEST
00001538: ISZERO
00001539: ISZERO
0000153a: PUSH2 0x1542
0000153d: JUMPI
0000153e: PUSH2 0x0002
00001541: JUMP
00001542: JUMPDEST
00001543: DUP1
00001544: PUSH2 0x154c
00001547: ORIGIN
00001548: PUSH2 0x083c
0000154b: JUMP
0000154c: JUMPDEST
0000154d: LT
0000154e: ISZERO
0000154f: PUSH2 0x1557
00001552: JUMPI
00001553: PUSH2 0x0002
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH2 0x155f
0000155b: PUSH2 0x086b
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x01
00001562: PUSH1 0xa0
00001564: PUSH1 0x02
00001566: EXP
00001567: SUB
00001568: AND
00001569: PUSH4 0x65afd0ed
0000156e: DUP4
0000156f: PUSH1 0x40
00001571: MLOAD
00001572: DUP3
00001573: PUSH1 0xe0
00001575: PUSH1 0x02
00001577: EXP
00001578: MUL
00001579: DUP2
0000157a: MSTORE
0000157b: PUSH1 0x04
0000157d: ADD
0000157e: DUP1
0000157f: DUP3
00001580: PUSH1 0x01
00001582: PUSH1 0xa0
00001584: PUSH1 0x02
00001586: EXP
00001587: SUB
00001588: AND
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x20
0000158d: ADD
0000158e: SWAP2
0000158f: POP
00001590: POP
00001591: PUSH1 0x20
00001593: PUSH1 0x40
00001595: MLOAD
00001596: DUP1
00001597: DUP4
00001598: SUB
00001599: DUP2
0000159a: PUSH1 0x00
0000159c: DUP8
0000159d: PUSH2 0x61da
000015a0: GAS
000015a1: SUB
000015a2: CALL
000015a3: ISZERO
000015a4: PUSH2 0x0002
000015a7: JUMPI
000015a8: POP
000015a9: POP
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: MLOAD
000015ae: ISZERO
000015af: ISZERO
000015b0: SWAP1
000015b1: POP
000015b2: PUSH2 0x15ba
000015b5: JUMPI
000015b6: PUSH2 0x0002
000015b9: JUMP
000015ba: JUMPDEST
000015bb: ORIGIN
000015bc: PUSH1 0x01
000015be: PUSH1 0xa0
000015c0: PUSH1 0x02
000015c2: EXP
000015c3: SUB
000015c4: AND
000015c5: PUSH1 0x00
000015c7: SWAP1
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x03
000015cc: PUSH1 0x20
000015ce: DUP2
000015cf: SWAP1
000015d0: MSTORE
000015d1: PUSH1 0x40
000015d3: DUP3
000015d4: KECCAK256
000015d5: PUSH1 0x01
000015d7: ADD
000015d8: DUP1
000015d9: SLOAD
000015da: DUP5
000015db: SWAP1
000015dc: SUB
000015dd: SWAP1
000015de: SSTORE
000015df: DUP3
000015e0: SWAP2
000015e1: PUSH2 0x15e8
000015e4: PUSH2 0x062d
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x01
000015eb: PUSH1 0xa0
000015ed: PUSH1 0x02
000015ef: EXP
000015f0: SUB
000015f1: AND
000015f2: DUP2
000015f3: MSTORE
000015f4: PUSH1 0x20
000015f6: DUP2
000015f7: ADD
000015f8: SWAP2
000015f9: SWAP1
000015fa: SWAP2
000015fb: MSTORE
000015fc: PUSH1 0x40
000015fe: ADD
000015ff: PUSH1 0x00
00001601: KECCAK256
00001602: PUSH1 0x01
00001604: ADD
00001605: DUP1
00001606: SLOAD
00001607: SWAP1
00001608: SWAP2
00001609: ADD
0000160a: SWAP1
0000160b: SSTORE
0000160c: DUP1
0000160d: PUSH2 0x149a
00001610: PUSH2 0x062d
00001613: JUMP
00001614: JUMPDEST
00001615: PUSH1 0x40
00001617: MLOAD
00001618: PUSH1 0x01
0000161a: PUSH1 0xa0
0000161c: PUSH1 0x02
0000161e: EXP
0000161f: SUB
00001620: SWAP2
00001621: SWAP1
00001622: SWAP2
00001623: AND
00001624: SWAP1
00001625: PUSH1 0x00
00001627: DUP1
00001628: MLOAD
00001629: PUSH1 0x20
0000162b: PUSH2 0x1a52
0000162e: DUP4
0000162f: CODECOPY
00001630: DUP2
00001631: MLOAD
00001632: SWAP2
00001633: MSTORE
00001634: SWAP1
00001635: PUSH1 0x00
00001637: SWAP1
00001638: LOG4
00001639: PUSH1 0x01
0000163b: SWAP2
0000163c: POP
0000163d: JUMPDEST
0000163e: POP
0000163f: SWAP5
00001640: SWAP4
00001641: POP
00001642: POP
00001643: POP
00001644: POP
00001645: JUMP
00001646: JUMPDEST
00001647: ISZERO
00001648: PUSH2 0x163d
0000164b: JUMPI
0000164c: PUSH2 0x1654
0000164f: DUP6
00001650: PUSH2 0x02fd
00001653: JUMP
00001654: JUMPDEST
00001655: ISZERO
00001656: ISZERO
00001657: PUSH2 0x1663
0000165a: JUMPI
0000165b: PUSH2 0x1663
0000165e: DUP6
0000165f: PUSH2 0x0f66
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH2 0x166c
00001667: DUP6
00001668: PUSH2 0x0980
0000166b: JUMP
0000166c: JUMPDEST
0000166d: ISZERO
0000166e: ISZERO
0000166f: PUSH2 0x167b
00001672: JUMPI
00001673: PUSH1 0x00
00001675: SWAP2
00001676: POP
00001677: PUSH2 0x163d
0000167a: JUMP
0000167b: JUMPDEST
0000167c: DUP3
0000167d: PUSH1 0x03
0000167f: PUSH1 0x00
00001681: PUSH2 0x1688
00001684: PUSH2 0x062d
00001687: JUMP
00001688: JUMPDEST
00001689: PUSH1 0x01
0000168b: PUSH1 0xa0
0000168d: PUSH1 0x02
0000168f: EXP
00001690: SUB
00001691: AND
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x20
00001696: DUP2
00001697: ADD
00001698: SWAP2
00001699: SWAP1
0000169a: SWAP2
0000169b: MSTORE
0000169c: PUSH1 0x40
0000169e: ADD
0000169f: PUSH1 0x00
000016a1: KECCAK256
000016a2: PUSH1 0x01
000016a4: ADD
000016a5: DUP1
000016a6: SLOAD
000016a7: SWAP1
000016a8: SWAP2
000016a9: ADD
000016aa: SWAP1
000016ab: SSTORE
000016ac: DUP3
000016ad: PUSH2 0x16b4
000016b0: PUSH2 0x062d
000016b3: JUMP
000016b4: JUMPDEST
000016b5: PUSH1 0x40
000016b7: MLOAD
000016b8: PUSH1 0x01
000016ba: PUSH1 0xa0
000016bc: PUSH1 0x02
000016be: EXP
000016bf: SUB
000016c0: SWAP2
000016c1: DUP3
000016c2: AND
000016c3: SWAP2
000016c4: ORIGIN
000016c5: AND
000016c6: SWAP1
000016c7: PUSH1 0x00
000016c9: DUP1
000016ca: MLOAD
000016cb: PUSH1 0x20
000016cd: PUSH2 0x1a52
000016d0: DUP4
000016d1: CODECOPY
000016d2: DUP2
000016d3: MLOAD
000016d4: SWAP2
000016d5: MSTORE
000016d6: SWAP1
000016d7: PUSH1 0x00
000016d9: SWAP1
000016da: LOG4
000016db: POP
000016dc: PUSH1 0x01
000016de: PUSH1 0xa0
000016e0: PUSH1 0x02
000016e2: EXP
000016e3: SUB
000016e4: DUP5
000016e5: DUP2
000016e6: AND
000016e7: PUSH1 0x00
000016e9: SWAP1
000016ea: DUP2
000016eb: MSTORE
000016ec: PUSH1 0x03
000016ee: PUSH1 0x20
000016f0: MSTORE
000016f1: PUSH1 0x40
000016f3: SWAP1
000016f4: KECCAK256
000016f5: PUSH1 0x01
000016f7: ADD
000016f8: DUP1
000016f9: SLOAD
000016fa: DUP5
000016fb: DUP7
000016fc: SUB
000016fd: SWAP1
000016fe: DUP2
000016ff: ADD
00001700: SWAP1
00001701: SWAP2
00001702: SSTORE
00001703: PUSH1 0x02
00001705: DUP1
00001706: SLOAD
00001707: DUP6
00001708: DUP8
00001709: ADD
0000170a: SWAP1
0000170b: DUP2
0000170c: ADD
0000170d: SWAP1
0000170e: SWAP2
0000170f: SSTORE
00001710: SWAP2
00001711: ORIGIN
00001712: AND
00001713: PUSH2 0x1614
00001716: PUSH2 0x0994
00001719: JUMP
0000171a: JUMPDEST
0000171b: PUSH1 0x01
0000171d: PUSH1 0xa0
0000171f: PUSH1 0x02
00001721: EXP
00001722: SUB
00001723: AND
00001724: EQ
00001725: ISZERO
00001726: PUSH2 0x163d
00001729: JUMPI
0000172a: PUSH2 0x1732
0000172d: DUP6
0000172e: PUSH2 0x02fd
00001731: JUMP
00001732: JUMPDEST
00001733: ISZERO
00001734: ISZERO
00001735: PUSH2 0x1741
00001738: JUMPI
00001739: PUSH2 0x1741
0000173c: DUP6
0000173d: PUSH2 0x0f66
00001740: JUMP
00001741: JUMPDEST
00001742: POP
00001743: DUP3
00001744: DUP3
00001745: ADD
00001746: DUP1
00001747: PUSH2 0x174f
0000174a: DUP7
0000174b: PUSH2 0x083c
0000174e: JUMP
0000174f: JUMPDEST
00001750: LT
00001751: ISZERO
00001752: PUSH2 0x175e
00001755: JUMPI
00001756: PUSH1 0x00
00001758: SWAP2
00001759: POP
0000175a: PUSH2 0x163d
0000175d: JUMP
0000175e: JUMPDEST
0000175f: PUSH2 0x1767
00001762: DUP6
00001763: PUSH2 0x0980
00001766: JUMP
00001767: JUMPDEST
00001768: ISZERO
00001769: ISZERO
0000176a: PUSH2 0x1776
0000176d: JUMPI
0000176e: PUSH1 0x00
00001770: SWAP2
00001771: POP
00001772: PUSH2 0x163d
00001775: JUMP
00001776: JUMPDEST
00001777: PUSH1 0x01
00001779: PUSH1 0xa0
0000177b: PUSH1 0x02
0000177d: EXP
0000177e: SUB
0000177f: DUP6
00001780: AND
00001781: PUSH1 0x00
00001783: SWAP1
00001784: DUP2
00001785: MSTORE
00001786: PUSH1 0x03
00001788: PUSH1 0x20
0000178a: DUP2
0000178b: SWAP1
0000178c: MSTORE
0000178d: PUSH1 0x40
0000178f: DUP3
00001790: KECCAK256
00001791: PUSH1 0x01
00001793: ADD
00001794: DUP1
00001795: SLOAD
00001796: DUP5
00001797: SWAP1
00001798: SUB
00001799: SWAP1
0000179a: SSTORE
0000179b: DUP5
0000179c: SWAP2
0000179d: PUSH2 0x17a4
000017a0: PUSH2 0x062d
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH1 0x01
000017a7: PUSH1 0xa0
000017a9: PUSH1 0x02
000017ab: EXP
000017ac: SUB
000017ad: AND
000017ae: DUP2
000017af: MSTORE
000017b0: PUSH1 0x20
000017b2: DUP2
000017b3: ADD
000017b4: SWAP2
000017b5: SWAP1
000017b6: SWAP2
000017b7: MSTORE
000017b8: PUSH1 0x40
000017ba: ADD
000017bb: PUSH1 0x00
000017bd: KECCAK256
000017be: PUSH1 0x01
000017c0: ADD
000017c1: DUP1
000017c2: SLOAD
000017c3: SWAP1
000017c4: SWAP2
000017c5: ADD
000017c6: SWAP1
000017c7: SSTORE
000017c8: PUSH1 0x02
000017ca: DUP1
000017cb: SLOAD
000017cc: DUP6
000017cd: SWAP1
000017ce: SUB
000017cf: SWAP1
000017d0: SSTORE
000017d1: DUP3
000017d2: PUSH2 0x17d9
000017d5: PUSH2 0x062d
000017d8: JUMP
000017d9: JUMPDEST
000017da: PUSH1 0x40
000017dc: MLOAD
000017dd: PUSH1 0x01
000017df: PUSH1 0xa0
000017e1: PUSH1 0x02
000017e3: EXP
000017e4: SUB
000017e5: SWAP2
000017e6: DUP3
000017e7: AND
000017e8: SWAP2
000017e9: ORIGIN
000017ea: AND
000017eb: SWAP1
000017ec: PUSH1 0x00
000017ee: DUP1
000017ef: MLOAD
000017f0: PUSH1 0x20
000017f2: PUSH2 0x1a52
000017f5: DUP4
000017f6: CODECOPY
000017f7: DUP2
000017f8: MLOAD
000017f9: SWAP2
000017fa: MSTORE
000017fb: SWAP1
000017fc: PUSH1 0x00
000017fe: SWAP1
000017ff: LOG4
00001800: PUSH1 0x40
00001802: MLOAD
00001803: DUP5
00001804: SWAP1
00001805: PUSH1 0x00
00001807: SWAP1
00001808: ORIGIN
00001809: PUSH1 0x01
0000180b: PUSH1 0xa0
0000180d: PUSH1 0x02
0000180f: EXP
00001810: SUB
00001811: AND
00001812: SWAP1
00001813: PUSH1 0x00
00001815: DUP1
00001816: MLOAD
00001817: PUSH1 0x20
00001819: PUSH2 0x1a52
0000181c: DUP4
0000181d: CODECOPY
0000181e: DUP2
0000181f: MLOAD
00001820: SWAP2
00001821: MSTORE
00001822: SWAP1
00001823: DUP4
00001824: SWAP1
00001825: LOG4
00001826: PUSH1 0x01
00001828: SWAP2
00001829: POP
0000182a: PUSH2 0x163d
0000182d: JUMP
0000182e: JUMPDEST
0000182f: PUSH1 0x40
00001831: MLOAD
00001832: PUSH1 0x01
00001834: PUSH1 0xa0
00001836: PUSH1 0x02
00001838: EXP
00001839: SUB
0000183a: SWAP2
0000183b: DUP3
0000183c: AND
0000183d: SWAP2
0000183e: CALLER
0000183f: AND
00001840: SWAP1
00001841: PUSH1 0x00
00001843: DUP1
00001844: MLOAD
00001845: PUSH1 0x20
00001847: PUSH2 0x1a52
0000184a: DUP4
0000184b: CODECOPY
0000184c: DUP2
0000184d: MLOAD
0000184e: SWAP2
0000184f: MSTORE
00001850: SWAP1
00001851: PUSH1 0x00
00001853: SWAP1
00001854: LOG4
00001855: PUSH1 0x01
00001857: SWAP4
00001858: POP
00001859: JUMPDEST
0000185a: POP
0000185b: POP
0000185c: POP
0000185d: SWAP4
0000185e: SWAP3
0000185f: POP
00001860: POP
00001861: POP
00001862: JUMP
00001863: JUMPDEST
00001864: PUSH2 0x186c
00001867: DUP7
00001868: PUSH2 0x02fd
0000186b: JUMP
0000186c: JUMPDEST
0000186d: ISZERO
0000186e: ISZERO
0000186f: PUSH2 0x187b
00001872: JUMPI
00001873: PUSH2 0x187b
00001876: DUP7
00001877: PUSH2 0x0f66
0000187a: JUMP
0000187b: JUMPDEST
0000187c: PUSH2 0x1885
0000187f: DUP6
00001880: DUP9
00001881: PUSH2 0x0d1a
00001884: JUMP
00001885: JUMPDEST
00001886: SWAP3
00001887: POP
00001888: PUSH2 0x188f
0000188b: PUSH2 0x062d
0000188e: JUMP
0000188f: JUMPDEST
00001890: PUSH1 0x01
00001892: PUSH1 0xa0
00001894: PUSH1 0x02
00001896: EXP
00001897: SUB
00001898: AND
00001899: DUP8
0000189a: PUSH1 0x01
0000189c: PUSH1 0xa0
0000189e: PUSH1 0x02
000018a0: EXP
000018a1: SUB
000018a2: AND
000018a3: EQ
000018a4: ISZERO
000018a5: PUSH2 0x18ad
000018a8: JUMPI
000018a9: PUSH1 0x00
000018ab: SWAP3
000018ac: POP
000018ad: JUMPDEST
000018ae: PUSH2 0x18b5
000018b1: PUSH2 0x05bc
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH1 0x01
000018b8: PUSH1 0xa0
000018ba: PUSH1 0x02
000018bc: EXP
000018bd: SUB
000018be: AND
000018bf: DUP8
000018c0: PUSH1 0x01
000018c2: PUSH1 0xa0
000018c4: PUSH1 0x02
000018c6: EXP
000018c7: SUB
000018c8: AND
000018c9: EQ
000018ca: ISZERO
000018cb: PUSH2 0x18d3
000018ce: JUMPI
000018cf: PUSH1 0x00
000018d1: SWAP3
000018d2: POP
000018d3: JUMPDEST
000018d4: PUSH1 0x01
000018d6: PUSH1 0xa0
000018d8: PUSH1 0x02
000018da: EXP
000018db: SUB
000018dc: DUP8
000018dd: DUP2
000018de: AND
000018df: PUSH1 0x00
000018e1: SWAP1
000018e2: DUP2
000018e3: MSTORE
000018e4: PUSH1 0x03
000018e6: PUSH1 0x20
000018e8: DUP2
000018e9: DUP2
000018ea: MSTORE
000018eb: PUSH1 0x40
000018ed: DUP1
000018ee: DUP5
000018ef: KECCAK256
000018f0: CALLER
000018f1: SWAP1
000018f2: SWAP6
000018f3: AND
000018f4: DUP5
000018f5: MSTORE
000018f6: SWAP4
000018f7: SWAP1
000018f8: SWAP2
000018f9: ADD
000018fa: SWAP1
000018fb: MSTORE
000018fc: KECCAK256
000018fd: SLOAD
000018fe: DUP6
000018ff: DUP5
00001900: ADD
00001901: SWAP3
00001902: POP
00001903: DUP3
00001904: SWAP1
00001905: LT
00001906: ISZERO
00001907: PUSH2 0x1913
0000190a: JUMPI
0000190b: PUSH1 0x00
0000190d: SWAP4
0000190e: POP
0000190f: PUSH2 0x1859
00001912: JUMP
00001913: JUMPDEST
00001914: DUP2
00001915: PUSH2 0x191d
00001918: DUP9
00001919: PUSH2 0x083c
0000191c: JUMP
0000191d: JUMPDEST
0000191e: LT
0000191f: ISZERO
00001920: PUSH2 0x192c
00001923: JUMPI
00001924: PUSH1 0x00
00001926: SWAP4
00001927: POP
00001928: PUSH2 0x1859
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH2 0x1935
00001930: DUP8
00001931: PUSH2 0x0980
00001934: JUMP
00001935: JUMPDEST
00001936: ISZERO
00001937: ISZERO
00001938: PUSH2 0x1944
0000193b: JUMPI
0000193c: PUSH1 0x00
0000193e: SWAP4
0000193f: POP
00001940: PUSH2 0x1859
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH2 0x194d
00001948: DUP7
00001949: PUSH2 0x0980
0000194c: JUMP
0000194d: JUMPDEST
0000194e: ISZERO
0000194f: ISZERO
00001950: PUSH2 0x195c
00001953: JUMPI
00001954: PUSH1 0x00
00001956: SWAP4
00001957: POP
00001958: PUSH2 0x1859
0000195b: JUMP
0000195c: JUMPDEST
0000195d: POP
0000195e: PUSH1 0x01
00001960: PUSH1 0xa0
00001962: PUSH1 0x02
00001964: EXP
00001965: SUB
00001966: DUP7
00001967: DUP2
00001968: AND
00001969: PUSH1 0x00
0000196b: SWAP1
0000196c: DUP2
0000196d: MSTORE
0000196e: PUSH1 0x03
00001970: PUSH1 0x20
00001972: DUP2
00001973: SWAP1
00001974: MSTORE
00001975: PUSH1 0x40
00001977: DUP1
00001978: DUP4
00001979: KECCAK256
0000197a: PUSH1 0x01
0000197c: SWAP1
0000197d: DUP2
0000197e: ADD
0000197f: DUP1
00001980: SLOAD
00001981: DUP8
00001982: SWAP1
00001983: SUB
00001984: SWAP1
00001985: SSTORE
00001986: SWAP4
00001987: DUP10
00001988: AND
00001989: DUP4
0000198a: MSTORE
0000198b: DUP3
0000198c: KECCAK256
0000198d: SWAP1
0000198e: SWAP3
0000198f: ADD
00001990: DUP1
00001991: SLOAD
00001992: DUP8
00001993: ADD
00001994: SWAP1
00001995: SSTORE
00001996: TIMESTAMP
00001997: SWAP2
00001998: DUP5
00001999: SWAP2
0000199a: PUSH2 0x19a1
0000199d: PUSH2 0x05bc
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH1 0x01
000019a4: PUSH1 0xa0
000019a6: PUSH1 0x02
000019a8: EXP
000019a9: SUB
000019aa: SWAP1
000019ab: DUP2
000019ac: AND
000019ad: DUP3
000019ae: MSTORE
000019af: PUSH1 0x20
000019b1: DUP3
000019b2: ADD
000019b3: SWAP3
000019b4: SWAP1
000019b5: SWAP3
000019b6: MSTORE
000019b7: PUSH1 0x40
000019b9: SWAP1
000019ba: DUP2
000019bb: ADD
000019bc: PUSH1 0x00
000019be: SWAP1
000019bf: DUP2
000019c0: KECCAK256
000019c1: PUSH1 0x01
000019c3: ADD
000019c4: DUP1
000019c5: SLOAD
000019c6: SWAP1
000019c7: SWAP5
000019c8: ADD
000019c9: SWAP1
000019ca: SWAP4
000019cb: SSTORE
000019cc: MLOAD
000019cd: DUP8
000019ce: SWAP3
000019cf: DUP10
000019d0: DUP4
000019d1: AND
000019d2: SWAP3
000019d3: CALLER
000019d4: AND
000019d5: SWAP2
000019d6: PUSH1 0x00
000019d8: DUP1
000019d9: MLOAD
000019da: PUSH1 0x20
000019dc: PUSH2 0x1a52
000019df: DUP4
000019e0: CODECOPY
000019e1: DUP2
000019e2: MLOAD
000019e3: SWAP2
000019e4: MSTORE
000019e5: SWAP2
000019e6: SWAP1
000019e7: LOG4
000019e8: DUP3
000019e9: PUSH2 0x182e
000019ec: PUSH2 0x05bc
000019ef: JUMP
000019f0: JUMPDEST
000019f1: PUSH1 0x01
000019f3: PUSH1 0xa0
000019f5: PUSH1 0x02
000019f7: EXP
000019f8: SUB
000019f9: DUP2
000019fa: AND
000019fb: PUSH1 0x00
000019fd: DUP2
000019fe: DUP2
000019ff: MSTORE
00001a00: PUSH1 0x03
00001a02: PUSH1 0x20
00001a04: MSTORE
00001a05: PUSH1 0x40
00001a07: DUP1
00001a08: DUP3
00001a09: KECCAK256
00001a0a: PUSH1 0x01
00001a0c: DUP2
00001a0d: DUP2
00001a0e: ADD
00001a0f: DUP5
00001a10: SWAP1
00001a11: SSTORE
00001a12: TIMESTAMP
00001a13: PUSH1 0x02
00001a15: DUP4
00001a16: ADD
00001a17: SSTORE
00001a18: DUP2
00001a19: SLOAD
00001a1a: PUSH1 0xff
00001a1c: NOT
00001a1d: AND
00001a1e: OR
00001a1f: SWAP1
00001a20: SSTORE
00001a21: MLOAD
00001a22: PUSH32 0xef4ab4f35cd2027fcc6364f430a86765b6bbd24462cd31f5a6d09bb74241aaf1
00001a43: SWAP2
00001a44: SWAP1
00001a45: LOG2
00001a46: POP
00001a47: JUMP
00001a48: JUMPDEST
00001a49: ISZERO
00001a4a: PUSH2 0x19f0
00001a4d: JUMPI
00001a4e: PUSH2 0x0350
00001a51: JUMP
00001a52: UNKNOWN(0xDD)
00001a53: CALLCODE
00001a54: MSTORE
00001a55: UNKNOWN(0xAD)
00001a56: SHL
00001a57: UNKNOWN(0xE2)
00001a58: UNKNOWN(0xC8)
00001a59: SWAP12
00001a5a: PUSH10 0xc2b068fc378daa952ba7
00001a65: CALL
00001a66: PUSH4 0xc4a11628
00001a6b: CREATE2
00001a6c: GAS
00001a6d: UNKNOWN(0x4D)
00001a6e: CREATE2
00001a6f: UNKNOWN(0x23)
00001a70: UNKNOWN(0xB3)
00001a71: UNKNOWN(0xEF)

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x012beac9", "selector": "0x012beac9", "calldata_variants": [ "0x012beac9", "0x012beac90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0627f5a9", "selector": "0x0627f5a9", "calldata_variants": [ "0x0627f5a9", "0x0627f5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e666e49", "selector": "0x0e666e49", "calldata_variants": [ "0x0e666e49", "0x0e666e490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a950ac", "selector": "0x17a950ac", "calldata_variants": [ "0x17a950ac", "0x17a950ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 5290, "type": "tx_origin_used" }, { "pc": 5402, "type": "tx_origin_used" }, { "pc": 5417, "type": "tx_origin_used" }, { "pc": 5426, "type": "tx_origin_used" }, { "pc": 5447, "type": "tx_origin_used" }, { "pc": 5563, "type": "tx_origin_used" }, { "pc": 5828, "type": "tx_origin_used" }, { "pc": 5905, "type": "tx_origin_used" }, { "pc": 6121, "type": "tx_origin_used" }, { "pc": 6152, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	yes	yes	view trace_id: 0x5af6dfc551947cb4b161224e31e6607f206972df2da862d75d493df416706bf4 call_targets: 0x55b9a11c2e8351b4ffc7b11561148bfac9977855, 0x8568f930a560e4b84147d291342655a75d4f69a9 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0x5af6dfc551947cb4b161224e31e6607f206972df2da862d75d493df416706bf4", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x55b9a11c2e8351b4ffc7b11561148bfac9977855", "0x8568f930a560e4b84147d291342655a75d4f69a9" ], "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": "0x012beac9", "selector": "0x012beac9", "calldata_variants": [ "0x012beac9", "0x012beac90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0627f5a9", "selector": "0x0627f5a9", "calldata_variants": [ "0x0627f5a9", "0x0627f5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e666e49", "selector": "0x0e666e49", "calldata_variants": [ "0x0e666e49", "0x0e666e490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a950ac", "selector": "0x17a950ac", "calldata_variants": [ "0x17a950ac", "0x17a950ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 602, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1022, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1141, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 25, "guards_detected": [ { "pc": 5290, "type": "tx_origin_used" }, { "pc": 5402, "type": "tx_origin_used" }, { "pc": 5417, "type": "tx_origin_used" }, { "pc": 5426, "type": "tx_origin_used" }, { "pc": 5447, "type": "tx_origin_used" }, { "pc": 5563, "type": "tx_origin_used" }, { "pc": 5828, "type": "tx_origin_used" }, { "pc": 5905, "type": "tx_origin_used" }, { "pc": 6121, "type": "tx_origin_used" }, { "pc": 6152, "type": "tx_origin_used" } ], "untrusted_call_count": 25 }
medium	other	detector	ETH value transfer possible	40	yes	yes	view trace_id: 0x5af6dfc551947cb4b161224e31e6607f206972df2da862d75d493df416706bf4 call_targets: 0x55b9a11c2e8351b4ffc7b11561148bfac9977855, 0x8568f930a560e4b84147d291342655a75d4f69a9 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0x5af6dfc551947cb4b161224e31e6607f206972df2da862d75d493df416706bf4", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x55b9a11c2e8351b4ffc7b11561148bfac9977855", "0x8568f930a560e4b84147d291342655a75d4f69a9" ], "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": "0x012beac9", "selector": "0x012beac9", "calldata_variants": [ "0x012beac9", "0x012beac90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0627f5a9", "selector": "0x0627f5a9", "calldata_variants": [ "0x0627f5a9", "0x0627f5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e666e49", "selector": "0x0e666e49", "calldata_variants": [ "0x0e666e49", "0x0e666e490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a950ac", "selector": "0x17a950ac", "calldata_variants": [ "0x17a950ac", "0x17a950ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 602, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1022, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1141, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 25, "guards_detected": [ { "pc": 5290, "type": "tx_origin_used" }, { "pc": 5402, "type": "tx_origin_used" }, { "pc": 5417, "type": "tx_origin_used" }, { "pc": 5426, "type": "tx_origin_used" }, { "pc": 5447, "type": "tx_origin_used" }, { "pc": 5563, "type": "tx_origin_used" }, { "pc": 5828, "type": "tx_origin_used" }, { "pc": 5905, "type": "tx_origin_used" }, { "pc": 6121, "type": "tx_origin_used" }, { "pc": 6152, "type": "tx_origin_used" } ] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x400ab33b8b7e8e155e81b78faa1d3b9fac7b66108fb7e590854864260c9dc22f validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x400ab33b8b7e8e155e81b78faa1d3b9fac7b66108fb7e590854864260c9dc22f", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x012beac9", "selector": "0x012beac9", "calldata_variants": [ "0x012beac9", "0x012beac90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0627f5a9", "selector": "0x0627f5a9", "calldata_variants": [ "0x0627f5a9", "0x0627f5a90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0e666e49", "selector": "0x0e666e49", "calldata_variants": [ "0x0e666e49", "0x0e666e490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x13af4035", "selector": "0x13af4035", "calldata_variants": [ "0x13af4035", "0x13af40350000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a950ac", "selector": "0x17a950ac", "calldata_variants": [ "0x17a950ac", "0x17a950ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }