Analysis Run

Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1056, in run
    solc_path, solc_meta = _prepare_solc(chosen_version, workspace)
                           ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 190, in _prepare_solc
    raise RuntimeError(f"solc version {default_version} is too old for supported toolchain")
RuntimeError: solc version 0.4.2 is too old for supported toolchain

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-k67xz8_x
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9c-e06d-7f20-be2b-fba670f41430
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

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 and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
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.

{
    "codex": {
        "ran_at": "2026-04-05T07:47:59.722250+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00fb
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x06fdde03
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0106
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x0ff0a4df
00000025: EQ
00000026: PUSH2 0x0169
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x18160ddd
00000030: EQ
00000031: PUSH2 0x017f
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x291f3665
0000003b: EQ
0000003c: PUSH2 0x018d
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x313ce567
00000046: EQ
00000047: PUSH2 0x01b7
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4ef83a70
00000051: EQ
00000052: PUSH2 0x01c8
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x627749e6
0000005c: EQ
0000005d: PUSH2 0x01df
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x70a08231
00000067: EQ
00000068: PUSH2 0x01ed
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x751ce8fb
00000072: EQ
00000073: PUSH2 0x0216
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x78e97925
0000007d: EQ
0000007e: PUSH2 0x0240
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x7b8e8bdd
00000088: EQ
00000089: PUSH2 0x024e
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8da5cb5b
00000093: EQ
00000094: PUSH2 0x0275
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x95d89b41
0000009e: EQ
0000009f: PUSH2 0x028c
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa1155f5c
000000a9: EQ
000000aa: PUSH2 0x02ef
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa4de64c4
000000b4: EQ
000000b5: PUSH2 0x0316
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa9059cbb
000000bf: EQ
000000c0: PUSH2 0x032c
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xad5d638d
000000ca: EQ
000000cb: PUSH2 0x0343
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xb768cd5d
000000d5: EQ
000000d6: PUSH2 0x0351
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xced7d018
000000e0: EQ
000000e1: PUSH2 0x0378
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xe9d16224
000000eb: EQ
000000ec: PUSH2 0x0391
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xf5462105
000000f6: EQ
000000f7: PUSH2 0x039f
000000fa: JUMPI
000000fb: JUMPDEST
000000fc: PUSH2 0x03b0
000000ff: PUSH2 0x03b2
00000102: PUSH2 0x02f3
00000105: JUMP
00000106: JUMPDEST
00000107: CALLVALUE
00000108: PUSH2 0x0002
0000010b: JUMPI
0000010c: PUSH1 0x40
0000010e: DUP1
0000010f: MLOAD
00000110: PUSH1 0x03
00000112: DUP1
00000113: SLOAD
00000114: PUSH1 0x20
00000116: PUSH1 0x02
00000118: PUSH1 0x01
0000011a: DUP4
0000011b: AND
0000011c: ISZERO
0000011d: PUSH2 0x0100
00000120: MUL
00000121: PUSH1 0x00
00000123: NOT
00000124: ADD
00000125: SWAP1
00000126: SWAP3
00000127: AND
00000128: SWAP2
00000129: SWAP1
0000012a: SWAP2
0000012b: DIV
0000012c: PUSH1 0x1f
0000012e: DUP2
0000012f: ADD
00000130: DUP3
00000131: SWAP1
00000132: DIV
00000133: DUP3
00000134: MUL
00000135: DUP5
00000136: ADD
00000137: DUP3
00000138: ADD
00000139: SWAP1
0000013a: SWAP5
0000013b: MSTORE
0000013c: DUP4
0000013d: DUP4
0000013e: MSTORE
0000013f: PUSH2 0x03b5
00000142: SWAP4
00000143: SWAP1
00000144: DUP4
00000145: ADD
00000146: DUP3
00000147: DUP3
00000148: DUP1
00000149: ISZERO
0000014a: PUSH2 0x0613
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH1 0x1f
00000151: LT
00000152: PUSH2 0x05e8
00000155: JUMPI
00000156: PUSH2 0x0100
00000159: DUP1
0000015a: DUP4
0000015b: SLOAD
0000015c: DIV
0000015d: MUL
0000015e: DUP4
0000015f: MSTORE
00000160: SWAP2
00000161: PUSH1 0x20
00000163: ADD
00000164: SWAP2
00000165: PUSH2 0x0613
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH2 0x0423
0000016d: PUSH1 0x0a
0000016f: SLOAD
00000170: PUSH1 0x00
00000172: SWAP1
00000173: DUP2
00000174: SWAP1
00000175: TIMESTAMP
00000176: GT
00000177: PUSH2 0x061b
0000017a: JUMPI
0000017b: PUSH2 0x0002
0000017e: JUMP
0000017f: JUMPDEST
00000180: CALLVALUE
00000181: PUSH2 0x0002
00000184: JUMPI
00000185: PUSH2 0x0437
00000188: PUSH1 0x06
0000018a: SLOAD
0000018b: DUP2
0000018c: JUMP
0000018d: JUMPDEST
0000018e: CALLVALUE
0000018f: PUSH2 0x0002
00000192: JUMPI
00000193: PUSH2 0x0437
00000196: PUSH1 0x04
00000198: CALLDATALOAD
00000199: PUSH1 0x01
0000019b: PUSH1 0xa0
0000019d: PUSH1 0x02
0000019f: EXP
000001a0: SUB
000001a1: DUP2
000001a2: AND
000001a3: PUSH1 0x00
000001a5: SWAP1
000001a6: DUP2
000001a7: MSTORE
000001a8: PUSH1 0x01
000001aa: PUSH1 0x20
000001ac: MSTORE
000001ad: PUSH1 0x40
000001af: SWAP1
000001b0: KECCAK256
000001b1: SLOAD
000001b2: JUMPDEST
000001b3: SWAP2
000001b4: SWAP1
000001b5: POP
000001b6: JUMP
000001b7: JUMPDEST
000001b8: CALLVALUE
000001b9: PUSH2 0x0002
000001bc: JUMPI
000001bd: PUSH2 0x0449
000001c0: PUSH1 0x05
000001c2: SLOAD
000001c3: PUSH1 0xff
000001c5: AND
000001c6: DUP2
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH2 0x0423
000001cc: PUSH1 0x04
000001ce: CALLDATALOAD
000001cf: PUSH1 0x0a
000001d1: SLOAD
000001d2: PUSH1 0x00
000001d4: SWAP1
000001d5: TIMESTAMP
000001d6: GT
000001d7: PUSH2 0x06ea
000001da: JUMPI
000001db: PUSH2 0x0002
000001de: JUMP
000001df: JUMPDEST
000001e0: CALLVALUE
000001e1: PUSH2 0x0002
000001e4: JUMPI
000001e5: PUSH2 0x0437
000001e8: PUSH1 0x0a
000001ea: SLOAD
000001eb: DUP2
000001ec: JUMP
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: PUSH2 0x0002
000001f2: JUMPI
000001f3: PUSH2 0x0437
000001f6: PUSH1 0x04
000001f8: CALLDATALOAD
000001f9: PUSH1 0x01
000001fb: PUSH1 0xa0
000001fd: PUSH1 0x02
000001ff: EXP
00000200: SUB
00000201: DUP2
00000202: AND
00000203: PUSH1 0x00
00000205: SWAP1
00000206: DUP2
00000207: MSTORE
00000208: PUSH1 0x20
0000020a: DUP2
0000020b: SWAP1
0000020c: MSTORE
0000020d: PUSH1 0x40
0000020f: SWAP1
00000210: KECCAK256
00000211: SLOAD
00000212: PUSH2 0x01b2
00000215: JUMP
00000216: JUMPDEST
00000217: PUSH2 0x0423
0000021a: PUSH1 0x04
0000021c: CALLDATALOAD
0000021d: PUSH1 0x24
0000021f: CALLDATALOAD
00000220: PUSH1 0x02
00000222: SLOAD
00000223: PUSH1 0x00
00000225: SWAP1
00000226: DUP2
00000227: SWAP1
00000228: PUSH1 0x01
0000022a: PUSH1 0xa0
0000022c: PUSH1 0x02
0000022e: EXP
0000022f: SUB
00000230: SWAP1
00000231: DUP2
00000232: AND
00000233: CALLER
00000234: SWAP1
00000235: SWAP2
00000236: AND
00000237: EQ
00000238: PUSH2 0x076e
0000023b: JUMPI
0000023c: PUSH2 0x0002
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: PUSH2 0x0002
00000245: JUMPI
00000246: PUSH2 0x0437
00000249: PUSH1 0x0b
0000024b: SLOAD
0000024c: DUP2
0000024d: JUMP
0000024e: JUMPDEST
0000024f: CALLVALUE
00000250: PUSH2 0x0002
00000253: JUMPI
00000254: PUSH2 0x03b0
00000257: PUSH1 0x04
00000259: CALLDATALOAD
0000025a: PUSH1 0x02
0000025c: SLOAD
0000025d: PUSH1 0x01
0000025f: PUSH1 0xa0
00000261: PUSH1 0x02
00000263: EXP
00000264: SUB
00000265: SWAP1
00000266: DUP2
00000267: AND
00000268: CALLER
00000269: SWAP1
0000026a: SWAP2
0000026b: AND
0000026c: EQ
0000026d: PUSH2 0x082c
00000270: JUMPI
00000271: PUSH2 0x0002
00000274: JUMP
00000275: JUMPDEST
00000276: CALLVALUE
00000277: PUSH2 0x0002
0000027a: JUMPI
0000027b: PUSH2 0x0460
0000027e: PUSH1 0x02
00000280: SLOAD
00000281: PUSH1 0x01
00000283: PUSH1 0xa0
00000285: PUSH1 0x02
00000287: EXP
00000288: SUB
00000289: AND
0000028a: DUP2
0000028b: JUMP
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: PUSH2 0x0002
00000291: JUMPI
00000292: PUSH1 0x40
00000294: DUP1
00000295: MLOAD
00000296: PUSH1 0x04
00000298: DUP1
00000299: SLOAD
0000029a: PUSH1 0x20
0000029c: PUSH1 0x02
0000029e: PUSH1 0x01
000002a0: DUP4
000002a1: AND
000002a2: ISZERO
000002a3: PUSH2 0x0100
000002a6: MUL
000002a7: PUSH1 0x00
000002a9: NOT
000002aa: ADD
000002ab: SWAP1
000002ac: SWAP3
000002ad: AND
000002ae: SWAP2
000002af: SWAP1
000002b0: SWAP2
000002b1: DIV
000002b2: PUSH1 0x1f
000002b4: DUP2
000002b5: ADD
000002b6: DUP3
000002b7: SWAP1
000002b8: DIV
000002b9: DUP3
000002ba: MUL
000002bb: DUP5
000002bc: ADD
000002bd: DUP3
000002be: ADD
000002bf: SWAP1
000002c0: SWAP5
000002c1: MSTORE
000002c2: DUP4
000002c3: DUP4
000002c4: MSTORE
000002c5: PUSH2 0x03b5
000002c8: SWAP4
000002c9: SWAP1
000002ca: DUP4
000002cb: ADD
000002cc: DUP3
000002cd: DUP3
000002ce: DUP1
000002cf: ISZERO
000002d0: PUSH2 0x0613
000002d3: JUMPI
000002d4: DUP1
000002d5: PUSH1 0x1f
000002d7: LT
000002d8: PUSH2 0x05e8
000002db: JUMPI
000002dc: PUSH2 0x0100
000002df: DUP1
000002e0: DUP4
000002e1: SLOAD
000002e2: DIV
000002e3: MUL
000002e4: DUP4
000002e5: MSTORE
000002e6: SWAP2
000002e7: PUSH1 0x20
000002e9: ADD
000002ea: SWAP2
000002eb: PUSH2 0x0613
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH2 0x0423
000002f3: JUMPDEST
000002f4: PUSH1 0x02
000002f6: SLOAD
000002f7: PUSH1 0x00
000002f9: SWAP1
000002fa: DUP2
000002fb: SWAP1
000002fc: DUP2
000002fd: SWAP1
000002fe: CALLER
000002ff: PUSH1 0x01
00000301: PUSH1 0xa0
00000303: PUSH1 0x02
00000305: EXP
00000306: SUB
00000307: SWAP1
00000308: DUP2
00000309: AND
0000030a: SWAP2
0000030b: AND
0000030c: EQ
0000030d: ISZERO
0000030e: PUSH2 0x0531
00000311: JUMPI
00000312: PUSH2 0x0002
00000315: JUMP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: PUSH2 0x0002
0000031b: JUMPI
0000031c: PUSH2 0x0423
0000031f: PUSH1 0x09
00000321: SLOAD
00000322: PUSH2 0x0100
00000325: SWAP1
00000326: DIV
00000327: PUSH1 0xff
00000329: AND
0000032a: DUP2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH2 0x0423
00000330: PUSH1 0x04
00000332: CALLDATALOAD
00000333: PUSH1 0x24
00000335: CALLDATALOAD
00000336: PUSH1 0x00
00000338: DUP1
00000339: DUP3
0000033a: GT
0000033b: PUSH2 0x088e
0000033e: JUMPI
0000033f: PUSH2 0x0002
00000342: JUMP
00000343: JUMPDEST
00000344: CALLVALUE
00000345: PUSH2 0x0002
00000348: JUMPI
00000349: PUSH2 0x0437
0000034c: PUSH1 0x07
0000034e: SLOAD
0000034f: DUP2
00000350: JUMP
00000351: JUMPDEST
00000352: CALLVALUE
00000353: PUSH2 0x0002
00000356: JUMPI
00000357: PUSH2 0x03b0
0000035a: PUSH1 0x04
0000035c: CALLDATALOAD
0000035d: PUSH1 0x02
0000035f: SLOAD
00000360: PUSH1 0x01
00000362: PUSH1 0xa0
00000364: PUSH1 0x02
00000366: EXP
00000367: SUB
00000368: SWAP1
00000369: DUP2
0000036a: AND
0000036b: CALLER
0000036c: SWAP1
0000036d: SWAP2
0000036e: AND
0000036f: EQ
00000370: PUSH2 0x09a9
00000373: JUMPI
00000374: PUSH2 0x0002
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x0423
0000037c: PUSH1 0x04
0000037e: CALLDATALOAD
0000037f: PUSH1 0x0a
00000381: SLOAD
00000382: PUSH1 0x00
00000384: SWAP1
00000385: DUP2
00000386: SWAP1
00000387: TIMESTAMP
00000388: GT
00000389: PUSH2 0x09ae
0000038c: JUMPI
0000038d: PUSH2 0x0002
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: PUSH2 0x0002
00000396: JUMPI
00000397: PUSH2 0x0437
0000039a: PUSH1 0x08
0000039c: SLOAD
0000039d: DUP2
0000039e: JUMP
0000039f: JUMPDEST
000003a0: CALLVALUE
000003a1: PUSH2 0x0002
000003a4: JUMPI
000003a5: PUSH2 0x0423
000003a8: PUSH1 0x09
000003aa: SLOAD
000003ab: PUSH1 0xff
000003ad: AND
000003ae: DUP2
000003af: JUMP
000003b0: JUMPDEST
000003b1: STOP
000003b2: JUMPDEST
000003b3: POP
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x40
000003b8: MLOAD
000003b9: DUP1
000003ba: DUP1
000003bb: PUSH1 0x20
000003bd: ADD
000003be: DUP3
000003bf: DUP2
000003c0: SUB
000003c1: DUP3
000003c2: MSTORE
000003c3: DUP4
000003c4: DUP2
000003c5: DUP2
000003c6: MLOAD
000003c7: DUP2
000003c8: MSTORE
000003c9: PUSH1 0x20
000003cb: ADD
000003cc: SWAP2
000003cd: POP
000003ce: DUP1
000003cf: MLOAD
000003d0: SWAP1
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP1
000003d5: DUP1
000003d6: DUP4
000003d7: DUP4
000003d8: DUP3
000003d9: SWAP1
000003da: PUSH1 0x00
000003dc: PUSH1 0x04
000003de: PUSH1 0x20
000003e0: DUP5
000003e1: PUSH1 0x1f
000003e3: ADD
000003e4: DIV
000003e5: PUSH1 0x03
000003e7: MUL
000003e8: PUSH1 0x0f
000003ea: ADD
000003eb: CALL
000003ec: POP
000003ed: SWAP1
000003ee: POP
000003ef: SWAP1
000003f0: DUP2
000003f1: ADD
000003f2: SWAP1
000003f3: PUSH1 0x1f
000003f5: AND
000003f6: DUP1
000003f7: ISZERO
000003f8: PUSH2 0x0415
000003fb: JUMPI
000003fc: DUP1
000003fd: DUP3
000003fe: SUB
000003ff: DUP1
00000400: MLOAD
00000401: PUSH1 0x01
00000403: DUP4
00000404: PUSH1 0x20
00000406: SUB
00000407: PUSH2 0x0100
0000040a: EXP
0000040b: SUB
0000040c: NOT
0000040d: AND
0000040e: DUP2
0000040f: MSTORE
00000410: PUSH1 0x20
00000412: ADD
00000413: SWAP2
00000414: POP
00000415: JUMPDEST
00000416: POP
00000417: SWAP3
00000418: POP
00000419: POP
0000041a: POP
0000041b: PUSH1 0x40
0000041d: MLOAD
0000041e: DUP1
0000041f: SWAP2
00000420: SUB
00000421: SWAP1
00000422: RETURN
00000423: JUMPDEST
00000424: PUSH1 0x40
00000426: DUP1
00000427: MLOAD
00000428: SWAP2
00000429: ISZERO
0000042a: ISZERO
0000042b: DUP3
0000042c: MSTORE
0000042d: MLOAD
0000042e: SWAP1
0000042f: DUP2
00000430: SWAP1
00000431: SUB
00000432: PUSH1 0x20
00000434: ADD
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: PUSH1 0x40
0000043a: DUP1
0000043b: MLOAD
0000043c: SWAP2
0000043d: DUP3
0000043e: MSTORE
0000043f: MLOAD
00000440: SWAP1
00000441: DUP2
00000442: SWAP1
00000443: SUB
00000444: PUSH1 0x20
00000446: ADD
00000447: SWAP1
00000448: RETURN
00000449: JUMPDEST
0000044a: PUSH1 0x40
0000044c: DUP1
0000044d: MLOAD
0000044e: PUSH1 0xff
00000450: SWAP3
00000451: SWAP1
00000452: SWAP3
00000453: AND
00000454: DUP3
00000455: MSTORE
00000456: MLOAD
00000457: SWAP1
00000458: DUP2
00000459: SWAP1
0000045a: SUB
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: SWAP1
0000045f: RETURN
00000460: JUMPDEST
00000461: PUSH1 0x40
00000463: DUP1
00000464: MLOAD
00000465: PUSH1 0x01
00000467: PUSH1 0xa0
00000469: PUSH1 0x02
0000046b: EXP
0000046c: SUB
0000046d: SWAP3
0000046e: SWAP1
0000046f: SWAP3
00000470: AND
00000471: DUP3
00000472: MSTORE
00000473: MLOAD
00000474: SWAP1
00000475: DUP2
00000476: SWAP1
00000477: SUB
00000478: PUSH1 0x20
0000047a: ADD
0000047b: SWAP1
0000047c: RETURN
0000047d: JUMPDEST
0000047e: PUSH1 0x02
00000480: SLOAD
00000481: PUSH1 0x01
00000483: PUSH1 0xa0
00000485: PUSH1 0x02
00000487: EXP
00000488: SUB
00000489: SWAP1
0000048a: DUP2
0000048b: AND
0000048c: PUSH1 0x00
0000048e: SWAP1
0000048f: DUP2
00000490: MSTORE
00000491: PUSH1 0x20
00000493: DUP2
00000494: SWAP1
00000495: MSTORE
00000496: PUSH1 0x40
00000498: SWAP1
00000499: KECCAK256
0000049a: DUP1
0000049b: SLOAD
0000049c: DUP5
0000049d: SWAP1
0000049e: SUB
0000049f: SWAP1
000004a0: SSTORE
000004a1: PUSH1 0x07
000004a3: SLOAD
000004a4: ADDRESS
000004a5: SWAP1
000004a6: SWAP2
000004a7: AND
000004a8: BALANCE
000004a9: LT
000004aa: PUSH2 0x04bd
000004ad: JUMPI
000004ae: PUSH1 0x09
000004b0: DUP1
000004b1: SLOAD
000004b2: PUSH2 0xff00
000004b5: NOT
000004b6: AND
000004b7: PUSH2 0x0100
000004ba: OR
000004bb: SWAP1
000004bc: SSTORE
000004bd: JUMPDEST
000004be: PUSH1 0x08
000004c0: SLOAD
000004c1: ADDRESS
000004c2: PUSH1 0x01
000004c4: PUSH1 0xa0
000004c6: PUSH1 0x02
000004c8: EXP
000004c9: SUB
000004ca: AND
000004cb: BALANCE
000004cc: LT
000004cd: PUSH2 0x04de
000004d0: JUMPI
000004d1: PUSH1 0x09
000004d3: DUP1
000004d4: SLOAD
000004d5: PUSH1 0xff
000004d7: NOT
000004d8: AND
000004d9: PUSH1 0x01
000004db: OR
000004dc: SWAP1
000004dd: SSTORE
000004de: JUMPDEST
000004df: PUSH1 0x01
000004e1: PUSH1 0xa0
000004e3: PUSH1 0x02
000004e5: EXP
000004e6: SUB
000004e7: CALLER
000004e8: DUP2
000004e9: AND
000004ea: PUSH1 0x00
000004ec: DUP2
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH1 0x01
000004f1: PUSH1 0x20
000004f3: SWAP1
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x40
000004f8: SWAP2
000004f9: DUP3
000004fa: SWAP1
000004fb: KECCAK256
000004fc: DUP1
000004fd: SLOAD
000004fe: CALLVALUE
000004ff: ADD
00000500: SWAP1
00000501: SSTORE
00000502: PUSH1 0x02
00000504: SLOAD
00000505: DUP3
00000506: MLOAD
00000507: DUP8
00000508: DUP2
00000509: MSTORE
0000050a: SWAP3
0000050b: MLOAD
0000050c: SWAP4
0000050d: SWAP5
0000050e: AND
0000050f: SWAP3
00000510: PUSH1 0x00
00000512: DUP1
00000513: MLOAD
00000514: PUSH1 0x20
00000516: PUSH2 0x0a80
00000519: DUP4
0000051a: CODECOPY
0000051b: DUP2
0000051c: MLOAD
0000051d: SWAP2
0000051e: MSTORE
0000051f: SWAP3
00000520: DUP2
00000521: SWAP1
00000522: SUB
00000523: SWAP1
00000524: SWAP2
00000525: ADD
00000526: SWAP1
00000527: LOG3
00000528: PUSH1 0x01
0000052a: SWAP3
0000052b: POP
0000052c: JUMPDEST
0000052d: POP
0000052e: POP
0000052f: SWAP1
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH1 0x0a
00000534: SLOAD
00000535: TIMESTAMP
00000536: GT
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH2 0x0002
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x0b
00000543: SLOAD
00000544: TIMESTAMP
00000545: LT
00000546: ISZERO
00000547: PUSH2 0x054f
0000054a: JUMPI
0000054b: PUSH2 0x0002
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH1 0x09
00000552: SLOAD
00000553: PUSH1 0xff
00000555: AND
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH2 0x0002
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x00
00000562: SWAP2
00000563: POP
00000564: TIMESTAMP
00000565: PUSH3 0x127500
00000569: PUSH1 0x0a
0000056b: PUSH1 0x00
0000056d: POP
0000056e: SLOAD
0000056f: SUB
00000570: GT
00000571: ISZERO
00000572: PUSH2 0x05b4
00000575: JUMPI
00000576: CALLVALUE
00000577: SWAP2
00000578: POP
00000579: JUMPDEST
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: PUSH1 0x02
00000580: EXP
00000581: SUB
00000582: CALLER
00000583: DUP2
00000584: AND
00000585: PUSH1 0x00
00000587: SWAP1
00000588: DUP2
00000589: MSTORE
0000058a: PUSH1 0x20
0000058c: DUP2
0000058d: SWAP1
0000058e: MSTORE
0000058f: PUSH1 0x40
00000591: DUP1
00000592: DUP3
00000593: KECCAK256
00000594: DUP1
00000595: SLOAD
00000596: DUP7
00000597: ADD
00000598: SWAP1
00000599: SSTORE
0000059a: PUSH1 0x02
0000059c: SLOAD
0000059d: SWAP1
0000059e: SWAP3
0000059f: AND
000005a0: DUP2
000005a1: MSTORE
000005a2: KECCAK256
000005a3: SLOAD
000005a4: DUP3
000005a5: SWAP1
000005a6: LT
000005a7: ISZERO
000005a8: PUSH2 0x047d
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: SWAP3
000005af: POP
000005b0: PUSH2 0x052c
000005b3: JUMP
000005b4: JUMPDEST
000005b5: PUSH1 0x0a
000005b7: SLOAD
000005b8: PUSH3 0x02a300
000005bc: SWAP1
000005bd: TIMESTAMP
000005be: SUB
000005bf: PUSH3 0x127500
000005c3: ADD
000005c4: CALLVALUE
000005c5: SWAP4
000005c6: POP
000005c7: DIV
000005c8: PUSH1 0x01
000005ca: ADD
000005cb: SWAP1
000005cc: POP
000005cd: JUMPDEST
000005ce: PUSH1 0x00
000005d0: DUP2
000005d1: GT
000005d2: ISZERO
000005d3: PUSH2 0x0579
000005d6: JUMPI
000005d7: PUSH1 0x64
000005d9: PUSH1 0x5f
000005db: DUP4
000005dc: MUL
000005dd: DIV
000005de: SWAP2
000005df: POP
000005e0: PUSH1 0x00
000005e2: NOT
000005e3: ADD
000005e4: PUSH2 0x05cd
000005e7: JUMP
000005e8: JUMPDEST
000005e9: DUP3
000005ea: ADD
000005eb: SWAP2
000005ec: SWAP1
000005ed: PUSH1 0x00
000005ef: MSTORE
000005f0: PUSH1 0x20
000005f2: PUSH1 0x00
000005f4: KECCAK256
000005f5: SWAP1
000005f6: JUMPDEST
000005f7: DUP2
000005f8: SLOAD
000005f9: DUP2
000005fa: MSTORE
000005fb: SWAP1
000005fc: PUSH1 0x01
000005fe: ADD
000005ff: SWAP1
00000600: PUSH1 0x20
00000602: ADD
00000603: DUP1
00000604: DUP4
00000605: GT
00000606: PUSH2 0x05f6
00000609: JUMPI
0000060a: DUP3
0000060b: SWAP1
0000060c: SUB
0000060d: PUSH1 0x1f
0000060f: AND
00000610: DUP3
00000611: ADD
00000612: SWAP2
00000613: JUMPDEST
00000614: POP
00000615: POP
00000616: POP
00000617: POP
00000618: POP
00000619: DUP2
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x09
0000061e: SLOAD
0000061f: PUSH2 0x0100
00000622: SWAP1
00000623: DIV
00000624: PUSH1 0xff
00000626: AND
00000627: ISZERO
00000628: PUSH2 0x0630
0000062b: JUMPI
0000062c: PUSH2 0x0002
0000062f: JUMP
00000630: JUMPDEST
00000631: POP
00000632: CALLER
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: PUSH1 0x02
00000639: EXP
0000063a: SUB
0000063b: AND
0000063c: PUSH1 0x00
0000063e: SWAP1
0000063f: DUP2
00000640: MSTORE
00000641: PUSH1 0x01
00000643: PUSH1 0x20
00000645: MSTORE
00000646: PUSH1 0x40
00000648: DUP2
00000649: KECCAK256
0000064a: DUP1
0000064b: SLOAD
0000064c: SWAP1
0000064d: DUP3
0000064e: SWAP1
0000064f: SSTORE
00000650: SWAP1
00000651: DUP2
00000652: GT
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH2 0x0002
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: CALLER
00000660: PUSH1 0x01
00000662: PUSH1 0xa0
00000664: PUSH1 0x02
00000666: EXP
00000667: SUB
00000668: AND
00000669: SWAP1
0000066a: DUP3
0000066b: ISZERO
0000066c: PUSH2 0x08fc
0000066f: MUL
00000670: SWAP1
00000671: DUP4
00000672: SWAP1
00000673: PUSH1 0x00
00000675: DUP2
00000676: DUP2
00000677: DUP2
00000678: DUP6
00000679: DUP9
0000067a: DUP9
0000067b: CALL
0000067c: SWAP4
0000067d: POP
0000067e: POP
0000067f: POP
00000680: POP
00000681: ISZERO
00000682: ISZERO
00000683: PUSH2 0x068b
00000686: JUMPI
00000687: PUSH2 0x0002
0000068a: JUMP
0000068b: JUMPDEST
0000068c: PUSH1 0x01
0000068e: PUSH1 0xa0
00000690: PUSH1 0x02
00000692: EXP
00000693: SUB
00000694: CALLER
00000695: DUP2
00000696: AND
00000697: PUSH1 0x00
00000699: DUP2
0000069a: DUP2
0000069b: MSTORE
0000069c: PUSH1 0x20
0000069e: DUP2
0000069f: DUP2
000006a0: MSTORE
000006a1: PUSH1 0x40
000006a3: DUP1
000006a4: DUP4
000006a5: KECCAK256
000006a6: DUP1
000006a7: SLOAD
000006a8: PUSH1 0x02
000006aa: SLOAD
000006ab: DUP8
000006ac: AND
000006ad: DUP6
000006ae: MSTORE
000006af: DUP3
000006b0: DUP6
000006b1: KECCAK256
000006b2: DUP1
000006b3: SLOAD
000006b4: SWAP2
000006b5: SWAP1
000006b6: SWAP2
000006b7: ADD
000006b8: SWAP1
000006b9: SSTORE
000006ba: DUP5
000006bb: DUP5
000006bc: MSTORE
000006bd: DUP4
000006be: SWAP1
000006bf: SSTORE
000006c0: DUP1
000006c1: MLOAD
000006c2: SWAP3
000006c3: DUP4
000006c4: MSTORE
000006c5: MLOAD
000006c6: ADDRESS
000006c7: SWAP1
000006c8: SWAP5
000006c9: AND
000006ca: SWAP4
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: MLOAD
000006cf: PUSH1 0x20
000006d1: PUSH2 0x0a80
000006d4: DUP4
000006d5: CODECOPY
000006d6: DUP2
000006d7: MLOAD
000006d8: SWAP2
000006d9: MSTORE
000006da: SWAP3
000006db: DUP2
000006dc: SWAP1
000006dd: SUB
000006de: SWAP1
000006df: SWAP2
000006e0: ADD
000006e1: SWAP1
000006e2: LOG3
000006e3: PUSH1 0x01
000006e5: SWAP2
000006e6: POP
000006e7: POP
000006e8: SWAP1
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x09
000006ed: SLOAD
000006ee: PUSH2 0x0100
000006f1: SWAP1
000006f2: DIV
000006f3: PUSH1 0xff
000006f5: AND
000006f6: ISZERO
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH2 0x0002
000006ff: JUMP
00000700: JUMPDEST
00000701: DUP2
00000702: ADDRESS
00000703: PUSH1 0x01
00000705: PUSH1 0xa0
00000707: PUSH1 0x02
00000709: EXP
0000070a: SUB
0000070b: AND
0000070c: BALANCE
0000070d: LT
0000070e: ISZERO
0000070f: PUSH2 0x0717
00000712: JUMPI
00000713: PUSH2 0x0002
00000716: JUMP
00000717: JUMPDEST
00000718: PUSH1 0x02
0000071a: SLOAD
0000071b: PUSH1 0x01
0000071d: PUSH1 0xa0
0000071f: PUSH1 0x02
00000721: EXP
00000722: SUB
00000723: SWAP1
00000724: DUP2
00000725: AND
00000726: CALLER
00000727: SWAP1
00000728: SWAP2
00000729: AND
0000072a: EQ
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH2 0x0002
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH1 0x40
00000736: MLOAD
00000737: CALLER
00000738: PUSH1 0x01
0000073a: PUSH1 0xa0
0000073c: PUSH1 0x02
0000073e: EXP
0000073f: SUB
00000740: AND
00000741: SWAP1
00000742: DUP4
00000743: ISZERO
00000744: PUSH2 0x08fc
00000747: MUL
00000748: SWAP1
00000749: DUP5
0000074a: SWAP1
0000074b: PUSH1 0x00
0000074d: DUP2
0000074e: DUP2
0000074f: DUP2
00000750: DUP6
00000751: DUP9
00000752: DUP9
00000753: CALL
00000754: SWAP4
00000755: POP
00000756: POP
00000757: POP
00000758: POP
00000759: ISZERO
0000075a: ISZERO
0000075b: PUSH2 0x0766
0000075e: JUMPI
0000075f: POP
00000760: PUSH1 0x00
00000762: PUSH2 0x01b2
00000765: JUMP
00000766: JUMPDEST
00000767: POP
00000768: PUSH1 0x01
0000076a: PUSH2 0x01b2
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH1 0x0a
00000771: SLOAD
00000772: TIMESTAMP
00000773: GT
00000774: PUSH2 0x077c
00000777: JUMPI
00000778: PUSH2 0x0002
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH1 0x09
0000077f: SLOAD
00000780: PUSH2 0x0100
00000783: SWAP1
00000784: DIV
00000785: PUSH1 0xff
00000787: AND
00000788: ISZERO
00000789: ISZERO
0000078a: PUSH2 0x0792
0000078d: JUMPI
0000078e: PUSH2 0x0002
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH1 0x02
00000795: SLOAD
00000796: PUSH1 0x01
00000798: PUSH1 0xa0
0000079a: PUSH1 0x02
0000079c: EXP
0000079d: SUB
0000079e: AND
0000079f: PUSH1 0x00
000007a1: SWAP1
000007a2: DUP2
000007a3: MSTORE
000007a4: PUSH1 0x20
000007a6: DUP2
000007a7: SWAP1
000007a8: MSTORE
000007a9: PUSH1 0x40
000007ab: SWAP1
000007ac: KECCAK256
000007ad: SLOAD
000007ae: DUP4
000007af: SWAP1
000007b0: LT
000007b1: ISZERO
000007b2: PUSH2 0x07ba
000007b5: JUMPI
000007b6: PUSH2 0x0002
000007b9: JUMP
000007ba: JUMPDEST
000007bb: POP
000007bc: PUSH1 0x01
000007be: PUSH1 0xa0
000007c0: PUSH1 0x02
000007c2: EXP
000007c3: SUB
000007c4: DUP4
000007c5: DUP2
000007c6: AND
000007c7: PUSH1 0x00
000007c9: DUP2
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: DUP2
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x40
000007d3: DUP1
000007d4: DUP4
000007d5: KECCAK256
000007d6: DUP1
000007d7: SLOAD
000007d8: DUP9
000007d9: ADD
000007da: SWAP1
000007db: SSTORE
000007dc: PUSH1 0x02
000007de: DUP1
000007df: SLOAD
000007e0: DUP7
000007e1: AND
000007e2: DUP5
000007e3: MSTORE
000007e4: SWAP3
000007e5: DUP2
000007e6: SWAP1
000007e7: KECCAK256
000007e8: DUP1
000007e9: SLOAD
000007ea: DUP5
000007eb: DUP10
000007ec: DIV
000007ed: SWAP1
000007ee: DUP2
000007ef: SWAP1
000007f0: SUB
000007f1: SWAP1
000007f2: SWAP2
000007f3: SSTORE
000007f4: PUSH1 0x06
000007f6: DUP1
000007f7: SLOAD
000007f8: DUP3
000007f9: ADD
000007fa: SWAP1
000007fb: SSTORE
000007fc: DUP2
000007fd: MLOAD
000007fe: SWAP4
000007ff: SLOAD
00000800: DUP9
00000801: DUP6
00000802: MSTORE
00000803: SWAP2
00000804: MLOAD
00000805: SWAP1
00000806: SWAP6
00000807: SWAP2
00000808: SWAP1
00000809: SWAP2
0000080a: AND
0000080b: SWAP3
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: MLOAD
00000810: PUSH1 0x20
00000812: PUSH2 0x0a80
00000815: DUP4
00000816: CODECOPY
00000817: DUP2
00000818: MLOAD
00000819: SWAP2
0000081a: MSTORE
0000081b: SWAP3
0000081c: SWAP1
0000081d: DUP3
0000081e: SWAP1
0000081f: SUB
00000820: ADD
00000821: SWAP1
00000822: LOG3
00000823: POP
00000824: PUSH1 0x01
00000826: SWAP4
00000827: SWAP3
00000828: POP
00000829: POP
0000082a: POP
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x0a
0000082f: SSTORE
00000830: JUMP
00000831: JUMPDEST
00000832: PUSH1 0x01
00000834: PUSH1 0xa0
00000836: PUSH1 0x02
00000838: EXP
00000839: SUB
0000083a: CALLER
0000083b: DUP2
0000083c: AND
0000083d: PUSH1 0x00
0000083f: DUP2
00000840: DUP2
00000841: MSTORE
00000842: PUSH1 0x20
00000844: DUP2
00000845: DUP2
00000846: MSTORE
00000847: PUSH1 0x40
00000849: DUP1
0000084a: DUP4
0000084b: KECCAK256
0000084c: DUP1
0000084d: SLOAD
0000084e: DUP9
0000084f: SWAP1
00000850: SUB
00000851: SWAP1
00000852: SSTORE
00000853: SWAP4
00000854: DUP8
00000855: AND
00000856: DUP1
00000857: DUP4
00000858: MSTORE
00000859: SWAP2
0000085a: DUP5
0000085b: SWAP1
0000085c: KECCAK256
0000085d: DUP1
0000085e: SLOAD
0000085f: DUP8
00000860: ADD
00000861: SWAP1
00000862: SSTORE
00000863: DUP4
00000864: MLOAD
00000865: DUP7
00000866: DUP2
00000867: MSTORE
00000868: SWAP4
00000869: MLOAD
0000086a: SWAP2
0000086b: SWAP4
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: MLOAD
00000870: PUSH1 0x20
00000872: PUSH2 0x0a80
00000875: DUP4
00000876: CODECOPY
00000877: DUP2
00000878: MLOAD
00000879: SWAP2
0000087a: MSTORE
0000087b: SWAP3
0000087c: SWAP1
0000087d: DUP2
0000087e: SWAP1
0000087f: SUB
00000880: SWAP1
00000881: SWAP2
00000882: ADD
00000883: SWAP1
00000884: LOG3
00000885: POP
00000886: PUSH1 0x01
00000888: JUMPDEST
00000889: SWAP3
0000088a: SWAP2
0000088b: POP
0000088c: POP
0000088d: JUMP
0000088e: JUMPDEST
0000088f: CALLER
00000890: PUSH1 0x01
00000892: PUSH1 0xa0
00000894: PUSH1 0x02
00000896: EXP
00000897: SUB
00000898: AND
00000899: PUSH1 0x00
0000089b: SWAP1
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0x20
000008a0: DUP2
000008a1: SWAP1
000008a2: MSTORE
000008a3: PUSH1 0x40
000008a5: SWAP1
000008a6: KECCAK256
000008a7: SLOAD
000008a8: DUP3
000008a9: SWAP1
000008aa: LT
000008ab: ISZERO
000008ac: PUSH2 0x08b4
000008af: JUMPI
000008b0: PUSH2 0x0002
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x01
000008b7: PUSH1 0xa0
000008b9: PUSH1 0x02
000008bb: EXP
000008bc: SUB
000008bd: DUP4
000008be: AND
000008bf: PUSH1 0x00
000008c1: SWAP1
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: DUP2
000008c7: SWAP1
000008c8: MSTORE
000008c9: PUSH1 0x40
000008cb: SWAP1
000008cc: KECCAK256
000008cd: SLOAD
000008ce: DUP3
000008cf: DUP2
000008d0: ADD
000008d1: LT
000008d2: ISZERO
000008d3: PUSH2 0x08db
000008d6: JUMPI
000008d7: PUSH2 0x0002
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH1 0x0a
000008de: SLOAD
000008df: TIMESTAMP
000008e0: LT
000008e1: ISZERO
000008e2: PUSH2 0x0831
000008e5: JUMPI
000008e6: ADDRESS
000008e7: PUSH1 0x01
000008e9: PUSH1 0xa0
000008eb: PUSH1 0x02
000008ed: EXP
000008ee: SUB
000008ef: AND
000008f0: DUP4
000008f1: PUSH1 0x01
000008f3: PUSH1 0xa0
000008f5: PUSH1 0x02
000008f7: EXP
000008f8: SUB
000008f9: AND
000008fa: EQ
000008fb: ISZERO
000008fc: PUSH2 0x0831
000008ff: JUMPI
00000900: PUSH1 0x01
00000902: PUSH1 0xa0
00000904: PUSH1 0x02
00000906: EXP
00000907: SUB
00000908: CALLER
00000909: DUP2
0000090a: AND
0000090b: PUSH1 0x00
0000090d: DUP2
0000090e: DUP2
0000090f: MSTORE
00000910: PUSH1 0x01
00000912: PUSH1 0x20
00000914: SWAP1
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x40
00000919: DUP1
0000091a: DUP4
0000091b: KECCAK256
0000091c: DUP1
0000091d: SLOAD
0000091e: DUP9
0000091f: SWAP1
00000920: SUB
00000921: SWAP1
00000922: SSTORE
00000923: SWAP1
00000924: DUP3
00000925: SWAP1
00000926: MSTORE
00000927: DUP1
00000928: DUP3
00000929: KECCAK256
0000092a: DUP1
0000092b: SLOAD
0000092c: DUP8
0000092d: SWAP1
0000092e: SUB
0000092f: SWAP1
00000930: SSTORE
00000931: PUSH1 0x02
00000933: SLOAD
00000934: SWAP1
00000935: SWAP4
00000936: AND
00000937: DUP2
00000938: MSTORE
00000939: DUP3
0000093a: DUP2
0000093b: KECCAK256
0000093c: DUP1
0000093d: SLOAD
0000093e: DUP7
0000093f: ADD
00000940: SWAP1
00000941: SSTORE
00000942: SWAP2
00000943: MLOAD
00000944: SWAP1
00000945: SWAP2
00000946: DUP5
00000947: ISZERO
00000948: PUSH2 0x08fc
0000094b: MUL
0000094c: SWAP2
0000094d: DUP6
0000094e: SWAP2
0000094f: DUP2
00000950: DUP2
00000951: DUP2
00000952: DUP6
00000953: DUP9
00000954: DUP9
00000955: CALL
00000956: SWAP4
00000957: POP
00000958: POP
00000959: POP
0000095a: POP
0000095b: ISZERO
0000095c: ISZERO
0000095d: PUSH2 0x0968
00000960: JUMPI
00000961: POP
00000962: PUSH1 0x00
00000964: PUSH2 0x0888
00000967: JUMP
00000968: JUMPDEST
00000969: DUP3
0000096a: PUSH1 0x01
0000096c: PUSH1 0xa0
0000096e: PUSH1 0x02
00000970: EXP
00000971: SUB
00000972: AND
00000973: CALLER
00000974: PUSH1 0x01
00000976: PUSH1 0xa0
00000978: PUSH1 0x02
0000097a: EXP
0000097b: SUB
0000097c: AND
0000097d: PUSH1 0x00
0000097f: DUP1
00000980: MLOAD
00000981: PUSH1 0x20
00000983: PUSH2 0x0a80
00000986: DUP4
00000987: CODECOPY
00000988: DUP2
00000989: MLOAD
0000098a: SWAP2
0000098b: MSTORE
0000098c: DUP5
0000098d: PUSH1 0x40
0000098f: MLOAD
00000990: DUP1
00000991: DUP3
00000992: DUP2
00000993: MSTORE
00000994: PUSH1 0x20
00000996: ADD
00000997: SWAP2
00000998: POP
00000999: POP
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: DUP1
0000099e: SWAP2
0000099f: SUB
000009a0: SWAP1
000009a1: LOG3
000009a2: POP
000009a3: PUSH1 0x01
000009a5: PUSH2 0x0888
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x0b
000009ac: SSTORE
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x09
000009b1: SLOAD
000009b2: PUSH2 0x0100
000009b5: SWAP1
000009b6: DIV
000009b7: PUSH1 0xff
000009b9: AND
000009ba: ISZERO
000009bb: PUSH2 0x09c3
000009be: JUMPI
000009bf: PUSH2 0x0002
000009c2: JUMP
000009c3: JUMPDEST
000009c4: POP
000009c5: PUSH1 0x01
000009c7: PUSH1 0xa0
000009c9: PUSH1 0x02
000009cb: EXP
000009cc: SUB
000009cd: DUP3
000009ce: AND
000009cf: PUSH1 0x00
000009d1: SWAP1
000009d2: DUP2
000009d3: MSTORE
000009d4: PUSH1 0x01
000009d6: PUSH1 0x20
000009d8: MSTORE
000009d9: PUSH1 0x40
000009db: DUP2
000009dc: KECCAK256
000009dd: DUP1
000009de: SLOAD
000009df: SWAP1
000009e0: DUP3
000009e1: SWAP1
000009e2: SSTORE
000009e3: SWAP1
000009e4: DUP2
000009e5: GT
000009e6: PUSH2 0x09ee
000009e9: JUMPI
000009ea: PUSH2 0x0002
000009ed: JUMP
000009ee: JUMPDEST
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: PUSH1 0x01
000009f4: PUSH1 0xa0
000009f6: PUSH1 0x02
000009f8: EXP
000009f9: SUB
000009fa: DUP5
000009fb: AND
000009fc: SWAP1
000009fd: DUP3
000009fe: ISZERO
000009ff: PUSH2 0x08fc
00000a02: MUL
00000a03: SWAP1
00000a04: DUP4
00000a05: SWAP1
00000a06: PUSH1 0x00
00000a08: DUP2
00000a09: DUP2
00000a0a: DUP2
00000a0b: DUP6
00000a0c: DUP9
00000a0d: DUP9
00000a0e: CALL
00000a0f: SWAP4
00000a10: POP
00000a11: POP
00000a12: POP
00000a13: POP
00000a14: ISZERO
00000a15: ISZERO
00000a16: PUSH2 0x0a1e
00000a19: JUMPI
00000a1a: PUSH2 0x0002
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: PUSH1 0x01
00000a21: PUSH1 0xa0
00000a23: PUSH1 0x02
00000a25: EXP
00000a26: SUB
00000a27: DUP4
00000a28: DUP2
00000a29: AND
00000a2a: PUSH1 0x00
00000a2c: DUP2
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: PUSH1 0x20
00000a31: DUP2
00000a32: DUP2
00000a33: MSTORE
00000a34: PUSH1 0x40
00000a36: DUP1
00000a37: DUP4
00000a38: KECCAK256
00000a39: DUP1
00000a3a: SLOAD
00000a3b: PUSH1 0x02
00000a3d: SLOAD
00000a3e: DUP8
00000a3f: AND
00000a40: DUP6
00000a41: MSTORE
00000a42: DUP3
00000a43: DUP6
00000a44: KECCAK256
00000a45: DUP1
00000a46: SLOAD
00000a47: SWAP2
00000a48: SWAP1
00000a49: SWAP2
00000a4a: ADD
00000a4b: SWAP1
00000a4c: SSTORE
00000a4d: SWAP4
00000a4e: DUP4
00000a4f: MSTORE
00000a50: SWAP3
00000a51: DUP3
00000a52: SWAP1
00000a53: SSTORE
00000a54: DUP3
00000a55: MLOAD
00000a56: SWAP2
00000a57: DUP3
00000a58: MSTORE
00000a59: SWAP2
00000a5a: MLOAD
00000a5b: ADDRESS
00000a5c: DUP5
00000a5d: AND
00000a5e: SWAP4
00000a5f: CALLER
00000a60: AND
00000a61: SWAP3
00000a62: PUSH1 0x00
00000a64: DUP1
00000a65: MLOAD
00000a66: PUSH1 0x20
00000a68: PUSH2 0x0a80
00000a6b: DUP4
00000a6c: CODECOPY
00000a6d: DUP2
00000a6e: MLOAD
00000a6f: SWAP2
00000a70: MSTORE
00000a71: SWAP3
00000a72: DUP3
00000a73: SWAP1
00000a74: SUB
00000a75: ADD
00000a76: SWAP1
00000a77: LOG3
00000a78: POP
00000a79: PUSH1 0x01
00000a7b: SWAP3
00000a7c: SWAP2
00000a7d: POP
00000a7e: POP
00000a7f: JUMP
00000a80: UNKNOWN(0xDD)
00000a81: CALLCODE
00000a82: MSTORE
00000a83: UNKNOWN(0xAD)
00000a84: SHL
00000a85: UNKNOWN(0xE2)
00000a86: UNKNOWN(0xC8)
00000a87: SWAP12
00000a88: PUSH10 0xc2b068fc378daa952ba7
00000a93: CALL
00000a94: PUSH4 0xc4a11628
00000a99: CREATE2
00000a9a: GAS
00000a9b: UNKNOWN(0x4D)
00000a9c: CREATE2
00000a9d: UNKNOWN(0x23)
00000a9e: UNKNOWN(0xB3)
00000a9f: UNKNOWN(0xEF)