Analysis Run

'forge clean' running (wd: /tmp/slither-d_wm9y88)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-d_wm9y88)
crytic-compile returned an empty AST. If you are trying to analyze a contract from etherscan or similar make sure it has source code available.
No contracts were found in None, check the correct compilation

solc-0.4.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity
No contract was analyzed
. analyzed (0 contracts with 100 detectors), 1 result(s) found

{
    "solc": {
        "status": "ok",
        "use_rc": 0,
        "version": "0.4.11",
        "strategy": "solc-select",
        "solc_path": "/var/www/tripwire/.venv/bin/solc",
        "install_rc": 0,
        "use_stderr": null,
        "use_stdout": "Switched global version to 0.4.11",
        "install_stderr": null,
        "install_stdout": "Version '0.4.11' is already installed, skipping..."
    },
    "solc_args": "--base-path /tmp/slither-d_wm9y88 --allow-paths /tmp/slither-d_wm9y88,/tmp/slither-d_wm9y88/lib,/tmp/slither-d_wm9y88/src",
    "remappings": [],
    "source_files": [
        "contracts/Contract.sol"
    ],
    "contract_count": 0,
    "contract_names": [],
    "detector_count": 1,
    "workspace_hash": "bff12b6cdca28bb1f1350ee5b35a45aa21e20b80713fabf85d95f15de157bdf7",
    "duration_seconds": 0.47730207443237305,
    "solc_version_requested": "0.4.11"
}

{"no_findings":true,"summary":"Reviewed first-party MultiSigWallet implementation in `contracts/Contract.sol`; no exploitable issues found within the requested categories.","findings":[]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-sneedzvj
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be47a-ba49-7992-8587-2bfea3c2fa6f
--------
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.
mcp startup: no servers

thinking
**Reading audit bundle file**
exec
/bin/bash -lc ls in /tmp/codex-sneedzvj succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-sneedzvj succeeded in 5ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: contracts/Contract.sol
================================================================================
pragma solidity ^0.4.11;


/// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
/// @author Stefan George - <stefan.george@consensys.net>
contract MultiSigWallet {

    uint constant public MAX_OWNER_COUNT = 50;

    event Confirmation(address indexed _sender, uint indexed _transactionId);
    event Revocation(address indexed _sender, uint indexed _transactionId);
    event Submission(uint indexed _transactionId);
    event Execution(uint indexed _transactionId);
    event ExecutionFailure(uint indexed _transactionId);



thinking
**Identifying multisig reentrancy and loop edge risks**

I found potential reentrancy concerns with executeTransaction's external call but noted executed flags and ownership checks mitigate it by design. However, the removeOwner loop excludes the last owner index, risking failure if the removed owner sits there.
thinking
**Confirming classic multisig risks and limits**

I verified common issues: submitTransaction effectively restricts to owners via confirmTransaction revert on non-owners, and reentrancy is mitigated by executed flags and ownership checks. The main risk is allowing zero address as new owner in replaceOwner, which can disrupt confirmation logic but requires owner approval, thus not exploitable externally.
thinking
```json
{
  "no_findings": true,
  "summary": "Reviewed MultiSigWallet contract; no exploitable issues identified. External calls are low-level but protected by executed flags and ownership checks, with no unsafe access control or upgradeability patterns.",
  "findings": []
}
```
codex
{"no_findings":true,"summary":"Reviewed first-party MultiSigWallet implementation in `contracts/Contract.sol`; no exploitable issues found within the requested categories.","findings":[]}
tokens used
9,342

{
    "codex": {
        "ran_at": "2026-01-22T06:55:13.213162+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "Reviewed first-party MultiSigWallet implementation in `contracts/Contract.sol`; no exploitable issues found within the requested categories.",
    "raw_final": {
        "summary": "Reviewed first-party MultiSigWallet implementation in `contracts/Contract.sol`; no exploitable issues found within the requested categories.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x011a
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x00
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x025e7c27
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0x016c
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x173825d9
00000044: EQ
00000045: PUSH2 0x019b
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x20ea8d86
0000004f: EQ
00000050: PUSH2 0x01b9
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2f54bf6e
0000005a: EQ
0000005b: PUSH2 0x01ce
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x3411c81c
00000065: EQ
00000066: PUSH2 0x01fe
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x54741525
00000070: EQ
00000071: PUSH2 0x0231
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x7065cb48
0000007b: EQ
0000007c: PUSH2 0x025d
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x784547a7
00000086: EQ
00000087: PUSH2 0x027b
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8b51d13f
00000091: EQ
00000092: PUSH2 0x02a2
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x9ace38c2
0000009c: EQ
0000009d: PUSH2 0x02c7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa0e67e2b
000000a7: EQ
000000a8: PUSH2 0x0384
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa8abe69a
000000b2: EQ
000000b3: PUSH2 0x03ef
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb5dc40c3
000000bd: EQ
000000be: PUSH2 0x046a
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb77bf600
000000c8: EQ
000000c9: PUSH2 0x04d8
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xba51a6df
000000d3: EQ
000000d4: PUSH2 0x04fa
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xc01a8c84
000000de: EQ
000000df: PUSH2 0x050f
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xc6427474
000000e9: EQ
000000ea: PUSH2 0x0524
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xd74f8edd
000000f4: EQ
000000f5: PUSH2 0x0599
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xdc8452cd
000000ff: EQ
00000100: PUSH2 0x05bb
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xe20056e6
0000010a: EQ
0000010b: PUSH2 0x05dd
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xee22610b
00000115: EQ
00000116: PUSH2 0x0601
00000119: JUMPI
0000011a: JUMPDEST
0000011b: PUSH2 0x016a
0000011e: JUMPDEST
0000011f: PUSH1 0x00
00000121: CALLVALUE
00000122: GT
00000123: ISZERO
00000124: PUSH2 0x0167
00000127: JUMPI
00000128: PUSH1 0x40
0000012a: DUP1
0000012b: MLOAD
0000012c: CALLVALUE
0000012d: DUP2
0000012e: MSTORE
0000012f: SWAP1
00000130: MLOAD
00000131: PUSH1 0x01
00000133: PUSH1 0xa0
00000135: PUSH1 0x02
00000137: EXP
00000138: SUB
00000139: CALLER
0000013a: AND
0000013b: SWAP2
0000013c: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000015d: SWAP2
0000015e: SWAP1
0000015f: DUP2
00000160: SWAP1
00000161: SUB
00000162: PUSH1 0x20
00000164: ADD
00000165: SWAP1
00000166: LOG2
00000167: JUMPDEST
00000168: JUMPDEST
00000169: JUMP
0000016a: JUMPDEST
0000016b: STOP
0000016c: JUMPDEST
0000016d: CALLVALUE
0000016e: ISZERO
0000016f: PUSH2 0x0174
00000172: JUMPI
00000173: INVALID
00000174: JUMPDEST
00000175: PUSH2 0x017f
00000178: PUSH1 0x04
0000017a: CALLDATALOAD
0000017b: PUSH2 0x0616
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH1 0x40
00000182: DUP1
00000183: MLOAD
00000184: PUSH1 0x01
00000186: PUSH1 0xa0
00000188: PUSH1 0x02
0000018a: EXP
0000018b: SUB
0000018c: SWAP1
0000018d: SWAP3
0000018e: AND
0000018f: DUP3
00000190: MSTORE
00000191: MLOAD
00000192: SWAP1
00000193: DUP2
00000194: SWAP1
00000195: SUB
00000196: PUSH1 0x20
00000198: ADD
00000199: SWAP1
0000019a: RETURN
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: ISZERO
0000019e: PUSH2 0x01a3
000001a1: JUMPI
000001a2: INVALID
000001a3: JUMPDEST
000001a4: PUSH2 0x016a
000001a7: PUSH1 0x01
000001a9: PUSH1 0xa0
000001ab: PUSH1 0x02
000001ad: EXP
000001ae: SUB
000001af: PUSH1 0x04
000001b1: CALLDATALOAD
000001b2: AND
000001b3: PUSH2 0x0648
000001b6: JUMP
000001b7: JUMPDEST
000001b8: STOP
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: ISZERO
000001bc: PUSH2 0x01c1
000001bf: JUMPI
000001c0: INVALID
000001c1: JUMPDEST
000001c2: PUSH2 0x016a
000001c5: PUSH1 0x04
000001c7: CALLDATALOAD
000001c8: PUSH2 0x07f9
000001cb: JUMP
000001cc: JUMPDEST
000001cd: STOP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: ISZERO
000001d1: PUSH2 0x01d6
000001d4: JUMPI
000001d5: INVALID
000001d6: JUMPDEST
000001d7: PUSH2 0x01ea
000001da: PUSH1 0x01
000001dc: PUSH1 0xa0
000001de: PUSH1 0x02
000001e0: EXP
000001e1: SUB
000001e2: PUSH1 0x04
000001e4: CALLDATALOAD
000001e5: AND
000001e6: PUSH2 0x08d6
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x40
000001ed: DUP1
000001ee: MLOAD
000001ef: SWAP2
000001f0: ISZERO
000001f1: ISZERO
000001f2: DUP3
000001f3: MSTORE
000001f4: MLOAD
000001f5: SWAP1
000001f6: DUP2
000001f7: SWAP1
000001f8: SUB
000001f9: PUSH1 0x20
000001fb: ADD
000001fc: SWAP1
000001fd: RETURN
000001fe: JUMPDEST
000001ff: CALLVALUE
00000200: ISZERO
00000201: PUSH2 0x0206
00000204: JUMPI
00000205: INVALID
00000206: JUMPDEST
00000207: PUSH2 0x01ea
0000020a: PUSH1 0x04
0000020c: CALLDATALOAD
0000020d: PUSH1 0x01
0000020f: PUSH1 0xa0
00000211: PUSH1 0x02
00000213: EXP
00000214: SUB
00000215: PUSH1 0x24
00000217: CALLDATALOAD
00000218: AND
00000219: PUSH2 0x08eb
0000021c: JUMP
0000021d: JUMPDEST
0000021e: PUSH1 0x40
00000220: DUP1
00000221: MLOAD
00000222: SWAP2
00000223: ISZERO
00000224: ISZERO
00000225: DUP3
00000226: MSTORE
00000227: MLOAD
00000228: SWAP1
00000229: DUP2
0000022a: SWAP1
0000022b: SUB
0000022c: PUSH1 0x20
0000022e: ADD
0000022f: SWAP1
00000230: RETURN
00000231: JUMPDEST
00000232: CALLVALUE
00000233: ISZERO
00000234: PUSH2 0x0239
00000237: JUMPI
00000238: INVALID
00000239: JUMPDEST
0000023a: PUSH2 0x024b
0000023d: PUSH1 0x04
0000023f: CALLDATALOAD
00000240: ISZERO
00000241: ISZERO
00000242: PUSH1 0x24
00000244: CALLDATALOAD
00000245: ISZERO
00000246: ISZERO
00000247: PUSH2 0x090b
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH1 0x40
0000024e: DUP1
0000024f: MLOAD
00000250: SWAP2
00000251: DUP3
00000252: MSTORE
00000253: MLOAD
00000254: SWAP1
00000255: DUP2
00000256: SWAP1
00000257: SUB
00000258: PUSH1 0x20
0000025a: ADD
0000025b: SWAP1
0000025c: RETURN
0000025d: JUMPDEST
0000025e: CALLVALUE
0000025f: ISZERO
00000260: PUSH2 0x0265
00000263: JUMPI
00000264: INVALID
00000265: JUMPDEST
00000266: PUSH2 0x016a
00000269: PUSH1 0x01
0000026b: PUSH1 0xa0
0000026d: PUSH1 0x02
0000026f: EXP
00000270: SUB
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: AND
00000275: PUSH2 0x097a
00000278: JUMP
00000279: JUMPDEST
0000027a: STOP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: ISZERO
0000027e: PUSH2 0x0283
00000281: JUMPI
00000282: INVALID
00000283: JUMPDEST
00000284: PUSH2 0x01ea
00000287: PUSH1 0x04
00000289: CALLDATALOAD
0000028a: PUSH2 0x0ab1
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: DUP1
00000292: MLOAD
00000293: SWAP2
00000294: ISZERO
00000295: ISZERO
00000296: DUP3
00000297: MSTORE
00000298: MLOAD
00000299: SWAP1
0000029a: DUP2
0000029b: SWAP1
0000029c: SUB
0000029d: PUSH1 0x20
0000029f: ADD
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: ISZERO
000002a5: PUSH2 0x02aa
000002a8: JUMPI
000002a9: INVALID
000002aa: JUMPDEST
000002ab: PUSH2 0x024b
000002ae: PUSH1 0x04
000002b0: CALLDATALOAD
000002b1: PUSH2 0x0b45
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x40
000002b8: DUP1
000002b9: MLOAD
000002ba: SWAP2
000002bb: DUP3
000002bc: MSTORE
000002bd: MLOAD
000002be: SWAP1
000002bf: DUP2
000002c0: SWAP1
000002c1: SUB
000002c2: PUSH1 0x20
000002c4: ADD
000002c5: SWAP1
000002c6: RETURN
000002c7: JUMPDEST
000002c8: CALLVALUE
000002c9: ISZERO
000002ca: PUSH2 0x02cf
000002cd: JUMPI
000002ce: INVALID
000002cf: JUMPDEST
000002d0: PUSH2 0x02da
000002d3: PUSH1 0x04
000002d5: CALLDATALOAD
000002d6: PUSH2 0x0bc4
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH1 0x40
000002dd: DUP1
000002de: MLOAD
000002df: PUSH1 0x01
000002e1: PUSH1 0xa0
000002e3: PUSH1 0x02
000002e5: EXP
000002e6: SUB
000002e7: DUP7
000002e8: AND
000002e9: DUP2
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: DUP2
000002ee: ADD
000002ef: DUP6
000002f0: SWAP1
000002f1: MSTORE
000002f2: DUP3
000002f3: ISZERO
000002f4: ISZERO
000002f5: PUSH1 0x60
000002f7: DUP3
000002f8: ADD
000002f9: MSTORE
000002fa: PUSH1 0x80
000002fc: SWAP2
000002fd: DUP2
000002fe: ADD
000002ff: DUP3
00000300: DUP2
00000301: MSTORE
00000302: DUP5
00000303: SLOAD
00000304: PUSH1 0x02
00000306: PUSH1 0x00
00000308: NOT
00000309: PUSH2 0x0100
0000030c: PUSH1 0x01
0000030e: DUP5
0000030f: AND
00000310: ISZERO
00000311: MUL
00000312: ADD
00000313: SWAP1
00000314: SWAP2
00000315: AND
00000316: DIV
00000317: SWAP3
00000318: DUP3
00000319: ADD
0000031a: DUP4
0000031b: SWAP1
0000031c: MSTORE
0000031d: SWAP1
0000031e: SWAP2
0000031f: PUSH1 0xa0
00000321: DUP4
00000322: ADD
00000323: SWAP1
00000324: DUP6
00000325: SWAP1
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0372
0000032b: JUMPI
0000032c: DUP1
0000032d: PUSH1 0x1f
0000032f: LT
00000330: PUSH2 0x0347
00000333: JUMPI
00000334: PUSH2 0x0100
00000337: DUP1
00000338: DUP4
00000339: SLOAD
0000033a: DIV
0000033b: MUL
0000033c: DUP4
0000033d: MSTORE
0000033e: SWAP2
0000033f: PUSH1 0x20
00000341: ADD
00000342: SWAP2
00000343: PUSH2 0x0372
00000346: JUMP
00000347: JUMPDEST
00000348: DUP3
00000349: ADD
0000034a: SWAP2
0000034b: SWAP1
0000034c: PUSH1 0x00
0000034e: MSTORE
0000034f: PUSH1 0x20
00000351: PUSH1 0x00
00000353: KECCAK256
00000354: SWAP1
00000355: JUMPDEST
00000356: DUP2
00000357: SLOAD
00000358: DUP2
00000359: MSTORE
0000035a: SWAP1
0000035b: PUSH1 0x01
0000035d: ADD
0000035e: SWAP1
0000035f: PUSH1 0x20
00000361: ADD
00000362: DUP1
00000363: DUP4
00000364: GT
00000365: PUSH2 0x0355
00000368: JUMPI
00000369: DUP3
0000036a: SWAP1
0000036b: SUB
0000036c: PUSH1 0x1f
0000036e: AND
0000036f: DUP3
00000370: ADD
00000371: SWAP2
00000372: JUMPDEST
00000373: POP
00000374: POP
00000375: SWAP6
00000376: POP
00000377: POP
00000378: POP
00000379: POP
0000037a: POP
0000037b: POP
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: DUP1
00000380: SWAP2
00000381: SUB
00000382: SWAP1
00000383: RETURN
00000384: JUMPDEST
00000385: CALLVALUE
00000386: ISZERO
00000387: PUSH2 0x038c
0000038a: JUMPI
0000038b: INVALID
0000038c: JUMPDEST
0000038d: PUSH2 0x0394
00000390: PUSH2 0x0bf8
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x40
00000397: DUP1
00000398: MLOAD
00000399: PUSH1 0x20
0000039b: DUP1
0000039c: DUP3
0000039d: MSTORE
0000039e: DUP4
0000039f: MLOAD
000003a0: DUP2
000003a1: DUP4
000003a2: ADD
000003a3: MSTORE
000003a4: DUP4
000003a5: MLOAD
000003a6: SWAP2
000003a7: SWAP3
000003a8: DUP4
000003a9: SWAP3
000003aa: SWAP1
000003ab: DUP4
000003ac: ADD
000003ad: SWAP2
000003ae: DUP6
000003af: DUP2
000003b0: ADD
000003b1: SWAP2
000003b2: MUL
000003b3: DUP1
000003b4: DUP4
000003b5: DUP4
000003b6: DUP3
000003b7: ISZERO
000003b8: PUSH2 0x03dc
000003bb: JUMPI
000003bc: JUMPDEST
000003bd: DUP1
000003be: MLOAD
000003bf: DUP3
000003c0: MSTORE
000003c1: PUSH1 0x20
000003c3: DUP4
000003c4: GT
000003c5: ISZERO
000003c6: PUSH2 0x03dc
000003c9: JUMPI
000003ca: PUSH1 0x1f
000003cc: NOT
000003cd: SWAP1
000003ce: SWAP3
000003cf: ADD
000003d0: SWAP2
000003d1: PUSH1 0x20
000003d3: SWAP2
000003d4: DUP3
000003d5: ADD
000003d6: SWAP2
000003d7: ADD
000003d8: PUSH2 0x03bc
000003db: JUMP
000003dc: JUMPDEST
000003dd: POP
000003de: POP
000003df: POP
000003e0: SWAP1
000003e1: POP
000003e2: ADD
000003e3: SWAP3
000003e4: POP
000003e5: POP
000003e6: POP
000003e7: PUSH1 0x40
000003e9: MLOAD
000003ea: DUP1
000003eb: SWAP2
000003ec: SUB
000003ed: SWAP1
000003ee: RETURN
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: ISZERO
000003f2: PUSH2 0x03f7
000003f5: JUMPI
000003f6: INVALID
000003f7: JUMPDEST
000003f8: PUSH2 0x0394
000003fb: PUSH1 0x04
000003fd: CALLDATALOAD
000003fe: PUSH1 0x24
00000400: CALLDATALOAD
00000401: PUSH1 0x44
00000403: CALLDATALOAD
00000404: ISZERO
00000405: ISZERO
00000406: PUSH1 0x64
00000408: CALLDATALOAD
00000409: ISZERO
0000040a: ISZERO
0000040b: PUSH2 0x0c61
0000040e: JUMP
0000040f: JUMPDEST
00000410: PUSH1 0x40
00000412: DUP1
00000413: MLOAD
00000414: PUSH1 0x20
00000416: DUP1
00000417: DUP3
00000418: MSTORE
00000419: DUP4
0000041a: MLOAD
0000041b: DUP2
0000041c: DUP4
0000041d: ADD
0000041e: MSTORE
0000041f: DUP4
00000420: MLOAD
00000421: SWAP2
00000422: SWAP3
00000423: DUP4
00000424: SWAP3
00000425: SWAP1
00000426: DUP4
00000427: ADD
00000428: SWAP2
00000429: DUP6
0000042a: DUP2
0000042b: ADD
0000042c: SWAP2
0000042d: MUL
0000042e: DUP1
0000042f: DUP4
00000430: DUP4
00000431: DUP3
00000432: ISZERO
00000433: PUSH2 0x03dc
00000436: JUMPI
00000437: JUMPDEST
00000438: DUP1
00000439: MLOAD
0000043a: DUP3
0000043b: MSTORE
0000043c: PUSH1 0x20
0000043e: DUP4
0000043f: GT
00000440: ISZERO
00000441: PUSH2 0x03dc
00000444: JUMPI
00000445: PUSH1 0x1f
00000447: NOT
00000448: SWAP1
00000449: SWAP3
0000044a: ADD
0000044b: SWAP2
0000044c: PUSH1 0x20
0000044e: SWAP2
0000044f: DUP3
00000450: ADD
00000451: SWAP2
00000452: ADD
00000453: PUSH2 0x03bc
00000456: JUMP
00000457: JUMPDEST
00000458: POP
00000459: POP
0000045a: POP
0000045b: SWAP1
0000045c: POP
0000045d: ADD
0000045e: SWAP3
0000045f: POP
00000460: POP
00000461: POP
00000462: PUSH1 0x40
00000464: MLOAD
00000465: DUP1
00000466: SWAP2
00000467: SUB
00000468: SWAP1
00000469: RETURN
0000046a: JUMPDEST
0000046b: CALLVALUE
0000046c: ISZERO
0000046d: PUSH2 0x0472
00000470: JUMPI
00000471: INVALID
00000472: JUMPDEST
00000473: PUSH2 0x0394
00000476: PUSH1 0x04
00000478: CALLDATALOAD
00000479: PUSH2 0x0d96
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH1 0x40
00000480: DUP1
00000481: MLOAD
00000482: PUSH1 0x20
00000484: DUP1
00000485: DUP3
00000486: MSTORE
00000487: DUP4
00000488: MLOAD
00000489: DUP2
0000048a: DUP4
0000048b: ADD
0000048c: MSTORE
0000048d: DUP4
0000048e: MLOAD
0000048f: SWAP2
00000490: SWAP3
00000491: DUP4
00000492: SWAP3
00000493: SWAP1
00000494: DUP4
00000495: ADD
00000496: SWAP2
00000497: DUP6
00000498: DUP2
00000499: ADD
0000049a: SWAP2
0000049b: MUL
0000049c: DUP1
0000049d: DUP4
0000049e: DUP4
0000049f: DUP3
000004a0: ISZERO
000004a1: PUSH2 0x03dc
000004a4: JUMPI
000004a5: JUMPDEST
000004a6: DUP1
000004a7: MLOAD
000004a8: DUP3
000004a9: MSTORE
000004aa: PUSH1 0x20
000004ac: DUP4
000004ad: GT
000004ae: ISZERO
000004af: PUSH2 0x03dc
000004b2: JUMPI
000004b3: PUSH1 0x1f
000004b5: NOT
000004b6: SWAP1
000004b7: SWAP3
000004b8: ADD
000004b9: SWAP2
000004ba: PUSH1 0x20
000004bc: SWAP2
000004bd: DUP3
000004be: ADD
000004bf: SWAP2
000004c0: ADD
000004c1: PUSH2 0x03bc
000004c4: JUMP
000004c5: JUMPDEST
000004c6: POP
000004c7: POP
000004c8: POP
000004c9: SWAP1
000004ca: POP
000004cb: ADD
000004cc: SWAP3
000004cd: POP
000004ce: POP
000004cf: POP
000004d0: PUSH1 0x40
000004d2: MLOAD
000004d3: DUP1
000004d4: SWAP2
000004d5: SUB
000004d6: SWAP1
000004d7: RETURN
000004d8: JUMPDEST
000004d9: CALLVALUE
000004da: ISZERO
000004db: PUSH2 0x04e0
000004de: JUMPI
000004df: INVALID
000004e0: JUMPDEST
000004e1: PUSH2 0x024b
000004e4: PUSH2 0x0f1e
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH1 0x40
000004eb: DUP1
000004ec: MLOAD
000004ed: SWAP2
000004ee: DUP3
000004ef: MSTORE
000004f0: MLOAD
000004f1: SWAP1
000004f2: DUP2
000004f3: SWAP1
000004f4: SUB
000004f5: PUSH1 0x20
000004f7: ADD
000004f8: SWAP1
000004f9: RETURN
000004fa: JUMPDEST
000004fb: CALLVALUE
000004fc: ISZERO
000004fd: PUSH2 0x0502
00000500: JUMPI
00000501: INVALID
00000502: JUMPDEST
00000503: PUSH2 0x016a
00000506: PUSH1 0x04
00000508: CALLDATALOAD
00000509: PUSH2 0x0f24
0000050c: JUMP
0000050d: JUMPDEST
0000050e: STOP
0000050f: JUMPDEST
00000510: CALLVALUE
00000511: ISZERO
00000512: PUSH2 0x0517
00000515: JUMPI
00000516: INVALID
00000517: JUMPDEST
00000518: PUSH2 0x016a
0000051b: PUSH1 0x04
0000051d: CALLDATALOAD
0000051e: PUSH2 0x0fb4
00000521: JUMP
00000522: JUMPDEST
00000523: STOP
00000524: JUMPDEST
00000525: CALLVALUE
00000526: ISZERO
00000527: PUSH2 0x052c
0000052a: JUMPI
0000052b: INVALID
0000052c: JUMPDEST
0000052d: PUSH1 0x40
0000052f: DUP1
00000530: MLOAD
00000531: PUSH1 0x20
00000533: PUSH1 0x04
00000535: PUSH1 0x44
00000537: CALLDATALOAD
00000538: DUP2
00000539: DUP2
0000053a: ADD
0000053b: CALLDATALOAD
0000053c: PUSH1 0x1f
0000053e: DUP2
0000053f: ADD
00000540: DUP5
00000541: SWAP1
00000542: DIV
00000543: DUP5
00000544: MUL
00000545: DUP6
00000546: ADD
00000547: DUP5
00000548: ADD
00000549: SWAP1
0000054a: SWAP6
0000054b: MSTORE
0000054c: DUP5
0000054d: DUP5
0000054e: MSTORE
0000054f: PUSH2 0x024b
00000552: SWAP5
00000553: DUP3
00000554: CALLDATALOAD
00000555: PUSH1 0x01
00000557: PUSH1 0xa0
00000559: PUSH1 0x02
0000055b: EXP
0000055c: SUB
0000055d: AND
0000055e: SWAP5
0000055f: PUSH1 0x24
00000561: DUP1
00000562: CALLDATALOAD
00000563: SWAP6
00000564: PUSH1 0x64
00000566: SWAP5
00000567: SWAP3
00000568: SWAP4
00000569: SWAP2
0000056a: SWAP1
0000056b: SWAP3
0000056c: ADD
0000056d: SWAP2
0000056e: DUP2
0000056f: SWAP1
00000570: DUP5
00000571: ADD
00000572: DUP4
00000573: DUP3
00000574: DUP1
00000575: DUP3
00000576: DUP5
00000577: CALLDATACOPY
00000578: POP
00000579: SWAP5
0000057a: SWAP7
0000057b: POP
0000057c: PUSH2 0x10a2
0000057f: SWAP6
00000580: POP
00000581: POP
00000582: POP
00000583: POP
00000584: POP
00000585: POP
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x40
0000058a: DUP1
0000058b: MLOAD
0000058c: SWAP2
0000058d: DUP3
0000058e: MSTORE
0000058f: MLOAD
00000590: SWAP1
00000591: DUP2
00000592: SWAP1
00000593: SUB
00000594: PUSH1 0x20
00000596: ADD
00000597: SWAP1
00000598: RETURN
00000599: JUMPDEST
0000059a: CALLVALUE
0000059b: ISZERO
0000059c: PUSH2 0x05a1
0000059f: JUMPI
000005a0: INVALID
000005a1: JUMPDEST
000005a2: PUSH2 0x024b
000005a5: PUSH2 0x10c2
000005a8: JUMP
000005a9: JUMPDEST
000005aa: PUSH1 0x40
000005ac: DUP1
000005ad: MLOAD
000005ae: SWAP2
000005af: DUP3
000005b0: MSTORE
000005b1: MLOAD
000005b2: SWAP1
000005b3: DUP2
000005b4: SWAP1
000005b5: SUB
000005b6: PUSH1 0x20
000005b8: ADD
000005b9: SWAP1
000005ba: RETURN
000005bb: JUMPDEST
000005bc: CALLVALUE
000005bd: ISZERO
000005be: PUSH2 0x05c3
000005c1: JUMPI
000005c2: INVALID
000005c3: JUMPDEST
000005c4: PUSH2 0x024b
000005c7: PUSH2 0x10c7
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH1 0x40
000005ce: DUP1
000005cf: MLOAD
000005d0: SWAP2
000005d1: DUP3
000005d2: MSTORE
000005d3: MLOAD
000005d4: SWAP1
000005d5: DUP2
000005d6: SWAP1
000005d7: SUB
000005d8: PUSH1 0x20
000005da: ADD
000005db: SWAP1
000005dc: RETURN
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: ISZERO
000005e0: PUSH2 0x05e5
000005e3: JUMPI
000005e4: INVALID
000005e5: JUMPDEST
000005e6: PUSH2 0x016a
000005e9: PUSH1 0x01
000005eb: PUSH1 0xa0
000005ed: PUSH1 0x02
000005ef: EXP
000005f0: SUB
000005f1: PUSH1 0x04
000005f3: CALLDATALOAD
000005f4: DUP2
000005f5: AND
000005f6: SWAP1
000005f7: PUSH1 0x24
000005f9: CALLDATALOAD
000005fa: AND
000005fb: PUSH2 0x10cd
000005fe: JUMP
000005ff: JUMPDEST
00000600: STOP
00000601: JUMPDEST
00000602: CALLVALUE
00000603: ISZERO
00000604: PUSH2 0x0609
00000607: JUMPI
00000608: INVALID
00000609: JUMPDEST
0000060a: PUSH2 0x016a
0000060d: PUSH1 0x04
0000060f: CALLDATALOAD
00000610: PUSH2 0x1289
00000613: JUMP
00000614: JUMPDEST
00000615: STOP
00000616: JUMPDEST
00000617: PUSH1 0x03
00000619: DUP1
0000061a: SLOAD
0000061b: DUP3
0000061c: SWAP1
0000061d: DUP2
0000061e: LT
0000061f: PUSH2 0x0624
00000622: JUMPI
00000623: INVALID
00000624: JUMPDEST
00000625: SWAP1
00000626: PUSH1 0x00
00000628: MSTORE
00000629: PUSH1 0x20
0000062b: PUSH1 0x00
0000062d: KECCAK256
0000062e: SWAP1
0000062f: ADD
00000630: PUSH1 0x00
00000632: JUMPDEST
00000633: SWAP2
00000634: POP
00000635: SLOAD
00000636: SWAP1
00000637: PUSH2 0x0100
0000063a: EXP
0000063b: SWAP1
0000063c: DIV
0000063d: PUSH1 0x01
0000063f: PUSH1 0xa0
00000641: PUSH1 0x02
00000643: EXP
00000644: SUB
00000645: AND
00000646: DUP2
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH1 0x00
0000064b: ADDRESS
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: AND
00000655: CALLER
00000656: PUSH1 0x01
00000658: PUSH1 0xa0
0000065a: PUSH1 0x02
0000065c: EXP
0000065d: SUB
0000065e: AND
0000065f: EQ
00000660: ISZERO
00000661: ISZERO
00000662: PUSH2 0x066b
00000665: JUMPI
00000666: PUSH1 0x00
00000668: PUSH1 0x00
0000066a: REVERT
0000066b: JUMPDEST
0000066c: PUSH1 0x01
0000066e: PUSH1 0xa0
00000670: PUSH1 0x02
00000672: EXP
00000673: SUB
00000674: DUP3
00000675: AND
00000676: PUSH1 0x00
00000678: SWAP1
00000679: DUP2
0000067a: MSTORE
0000067b: PUSH1 0x02
0000067d: PUSH1 0x20
0000067f: MSTORE
00000680: PUSH1 0x40
00000682: SWAP1
00000683: KECCAK256
00000684: SLOAD
00000685: DUP3
00000686: SWAP1
00000687: PUSH1 0xff
00000689: AND
0000068a: ISZERO
0000068b: ISZERO
0000068c: PUSH2 0x0695
0000068f: JUMPI
00000690: PUSH1 0x00
00000692: PUSH1 0x00
00000694: REVERT
00000695: JUMPDEST
00000696: PUSH1 0x01
00000698: PUSH1 0xa0
0000069a: PUSH1 0x02
0000069c: EXP
0000069d: SUB
0000069e: DUP4
0000069f: AND
000006a0: PUSH1 0x00
000006a2: SWAP1
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x02
000006a7: PUSH1 0x20
000006a9: MSTORE
000006aa: PUSH1 0x40
000006ac: DUP2
000006ad: KECCAK256
000006ae: DUP1
000006af: SLOAD
000006b0: PUSH1 0xff
000006b2: NOT
000006b3: AND
000006b4: SWAP1
000006b5: SSTORE
000006b6: SWAP2
000006b7: POP
000006b8: JUMPDEST
000006b9: PUSH1 0x03
000006bb: SLOAD
000006bc: PUSH1 0x00
000006be: NOT
000006bf: ADD
000006c0: DUP3
000006c1: LT
000006c2: ISZERO
000006c3: PUSH2 0x0790
000006c6: JUMPI
000006c7: DUP3
000006c8: PUSH1 0x01
000006ca: PUSH1 0xa0
000006cc: PUSH1 0x02
000006ce: EXP
000006cf: SUB
000006d0: AND
000006d1: PUSH1 0x03
000006d3: DUP4
000006d4: DUP2
000006d5: SLOAD
000006d6: DUP2
000006d7: LT
000006d8: ISZERO
000006d9: ISZERO
000006da: PUSH2 0x06df
000006dd: JUMPI
000006de: INVALID
000006df: JUMPDEST
000006e0: SWAP1
000006e1: PUSH1 0x00
000006e3: MSTORE
000006e4: PUSH1 0x20
000006e6: PUSH1 0x00
000006e8: KECCAK256
000006e9: SWAP1
000006ea: ADD
000006eb: PUSH1 0x00
000006ed: JUMPDEST
000006ee: SWAP1
000006ef: SLOAD
000006f0: SWAP1
000006f1: PUSH2 0x0100
000006f4: EXP
000006f5: SWAP1
000006f6: DIV
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: PUSH1 0x02
000006fd: EXP
000006fe: SUB
000006ff: AND
00000700: PUSH1 0x01
00000702: PUSH1 0xa0
00000704: PUSH1 0x02
00000706: EXP
00000707: SUB
00000708: AND
00000709: EQ
0000070a: ISZERO
0000070b: PUSH2 0x0784
0000070e: JUMPI
0000070f: PUSH1 0x03
00000711: DUP1
00000712: SLOAD
00000713: PUSH1 0x00
00000715: NOT
00000716: DUP2
00000717: ADD
00000718: SWAP1
00000719: DUP2
0000071a: LT
0000071b: PUSH2 0x0720
0000071e: JUMPI
0000071f: INVALID
00000720: JUMPDEST
00000721: SWAP1
00000722: PUSH1 0x00
00000724: MSTORE
00000725: PUSH1 0x20
00000727: PUSH1 0x00
00000729: KECCAK256
0000072a: SWAP1
0000072b: ADD
0000072c: PUSH1 0x00
0000072e: JUMPDEST
0000072f: SWAP1
00000730: SLOAD
00000731: SWAP1
00000732: PUSH2 0x0100
00000735: EXP
00000736: SWAP1
00000737: DIV
00000738: PUSH1 0x01
0000073a: PUSH1 0xa0
0000073c: PUSH1 0x02
0000073e: EXP
0000073f: SUB
00000740: AND
00000741: PUSH1 0x03
00000743: DUP4
00000744: DUP2
00000745: SLOAD
00000746: DUP2
00000747: LT
00000748: ISZERO
00000749: ISZERO
0000074a: PUSH2 0x074f
0000074d: JUMPI
0000074e: INVALID
0000074f: JUMPDEST
00000750: SWAP1
00000751: PUSH1 0x00
00000753: MSTORE
00000754: PUSH1 0x20
00000756: PUSH1 0x00
00000758: KECCAK256
00000759: SWAP1
0000075a: ADD
0000075b: PUSH1 0x00
0000075d: JUMPDEST
0000075e: PUSH2 0x0100
00000761: EXP
00000762: DUP2
00000763: SLOAD
00000764: DUP2
00000765: PUSH1 0x01
00000767: PUSH1 0xa0
00000769: PUSH1 0x02
0000076b: EXP
0000076c: SUB
0000076d: MUL
0000076e: NOT
0000076f: AND
00000770: SWAP1
00000771: DUP4
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: PUSH1 0x02
00000778: EXP
00000779: SUB
0000077a: AND
0000077b: MUL
0000077c: OR
0000077d: SWAP1
0000077e: SSTORE
0000077f: POP
00000780: PUSH2 0x0790
00000783: JUMP
00000784: JUMPDEST
00000785: JUMPDEST
00000786: PUSH1 0x01
00000788: SWAP1
00000789: SWAP2
0000078a: ADD
0000078b: SWAP1
0000078c: PUSH2 0x06b8
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x03
00000793: DUP1
00000794: SLOAD
00000795: PUSH1 0x00
00000797: NOT
00000798: ADD
00000799: SWAP1
0000079a: PUSH2 0x07a3
0000079d: SWAP1
0000079e: DUP3
0000079f: PUSH2 0x14e4
000007a2: JUMP
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH1 0x03
000007a7: SLOAD
000007a8: PUSH1 0x04
000007aa: SLOAD
000007ab: GT
000007ac: ISZERO
000007ad: PUSH2 0x07bc
000007b0: JUMPI
000007b1: PUSH1 0x03
000007b3: SLOAD
000007b4: PUSH2 0x07bc
000007b7: SWAP1
000007b8: PUSH2 0x0f24
000007bb: JUMP
000007bc: JUMPDEST
000007bd: JUMPDEST
000007be: PUSH1 0x40
000007c0: MLOAD
000007c1: PUSH1 0x01
000007c3: PUSH1 0xa0
000007c5: PUSH1 0x02
000007c7: EXP
000007c8: SUB
000007c9: DUP5
000007ca: AND
000007cb: SWAP1
000007cc: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000007ed: SWAP1
000007ee: PUSH1 0x00
000007f0: SWAP1
000007f1: LOG2
000007f2: JUMPDEST
000007f3: JUMPDEST
000007f4: POP
000007f5: JUMPDEST
000007f6: POP
000007f7: POP
000007f8: JUMP
000007f9: JUMPDEST
000007fa: CALLER
000007fb: PUSH1 0x01
000007fd: PUSH1 0xa0
000007ff: PUSH1 0x02
00000801: EXP
00000802: SUB
00000803: DUP2
00000804: AND
00000805: PUSH1 0x00
00000807: SWAP1
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x02
0000080c: PUSH1 0x20
0000080e: MSTORE
0000080f: PUSH1 0x40
00000811: SWAP1
00000812: KECCAK256
00000813: SLOAD
00000814: PUSH1 0xff
00000816: AND
00000817: ISZERO
00000818: ISZERO
00000819: PUSH2 0x0822
0000081c: JUMPI
0000081d: PUSH1 0x00
0000081f: PUSH1 0x00
00000821: REVERT
00000822: JUMPDEST
00000823: PUSH1 0x00
00000825: DUP3
00000826: DUP2
00000827: MSTORE
00000828: PUSH1 0x01
0000082a: PUSH1 0x20
0000082c: SWAP1
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x40
00000831: DUP1
00000832: DUP4
00000833: KECCAK256
00000834: CALLER
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: PUSH1 0x02
0000083b: EXP
0000083c: SUB
0000083d: DUP2
0000083e: AND
0000083f: DUP6
00000840: MSTORE
00000841: SWAP3
00000842: MSTORE
00000843: SWAP1
00000844: SWAP2
00000845: KECCAK256
00000846: SLOAD
00000847: DUP4
00000848: SWAP2
00000849: SWAP1
0000084a: PUSH1 0xff
0000084c: AND
0000084d: ISZERO
0000084e: ISZERO
0000084f: PUSH2 0x0858
00000852: JUMPI
00000853: PUSH1 0x00
00000855: PUSH1 0x00
00000857: REVERT
00000858: JUMPDEST
00000859: PUSH1 0x00
0000085b: DUP5
0000085c: DUP2
0000085d: MSTORE
0000085e: PUSH1 0x20
00000860: DUP2
00000861: SWAP1
00000862: MSTORE
00000863: PUSH1 0x40
00000865: SWAP1
00000866: KECCAK256
00000867: PUSH1 0x03
00000869: ADD
0000086a: SLOAD
0000086b: DUP5
0000086c: SWAP1
0000086d: PUSH1 0xff
0000086f: AND
00000870: ISZERO
00000871: PUSH2 0x087a
00000874: JUMPI
00000875: PUSH1 0x00
00000877: PUSH1 0x00
00000879: REVERT
0000087a: JUMPDEST
0000087b: PUSH1 0x00
0000087d: DUP6
0000087e: DUP2
0000087f: MSTORE
00000880: PUSH1 0x01
00000882: PUSH1 0x20
00000884: SWAP1
00000885: DUP2
00000886: MSTORE
00000887: PUSH1 0x40
00000889: DUP1
0000088a: DUP4
0000088b: KECCAK256
0000088c: PUSH1 0x01
0000088e: PUSH1 0xa0
00000890: PUSH1 0x02
00000892: EXP
00000893: SUB
00000894: CALLER
00000895: AND
00000896: DUP1
00000897: DUP6
00000898: MSTORE
00000899: SWAP3
0000089a: MSTORE
0000089b: DUP1
0000089c: DUP4
0000089d: KECCAK256
0000089e: DUP1
0000089f: SLOAD
000008a0: PUSH1 0xff
000008a2: NOT
000008a3: AND
000008a4: SWAP1
000008a5: SSTORE
000008a6: MLOAD
000008a7: DUP8
000008a8: SWAP3
000008a9: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
000008ca: SWAP2
000008cb: LOG3
000008cc: JUMPDEST
000008cd: JUMPDEST
000008ce: POP
000008cf: JUMPDEST
000008d0: POP
000008d1: POP
000008d2: JUMPDEST
000008d3: POP
000008d4: POP
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x02
000008d9: PUSH1 0x20
000008db: MSTORE
000008dc: PUSH1 0x00
000008de: SWAP1
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x40
000008e3: SWAP1
000008e4: KECCAK256
000008e5: SLOAD
000008e6: PUSH1 0xff
000008e8: AND
000008e9: DUP2
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x01
000008ee: PUSH1 0x20
000008f0: SWAP1
000008f1: DUP2
000008f2: MSTORE
000008f3: PUSH1 0x00
000008f5: SWAP3
000008f6: DUP4
000008f7: MSTORE
000008f8: PUSH1 0x40
000008fa: DUP1
000008fb: DUP5
000008fc: KECCAK256
000008fd: SWAP1
000008fe: SWAP2
000008ff: MSTORE
00000900: SWAP1
00000901: DUP3
00000902: MSTORE
00000903: SWAP1
00000904: KECCAK256
00000905: SLOAD
00000906: PUSH1 0xff
00000908: AND
00000909: DUP2
0000090a: JUMP
0000090b: JUMPDEST
0000090c: PUSH1 0x00
0000090e: DUP1
0000090f: JUMPDEST
00000910: PUSH1 0x05
00000912: SLOAD
00000913: DUP2
00000914: LT
00000915: ISZERO
00000916: PUSH2 0x0972
00000919: JUMPI
0000091a: DUP4
0000091b: DUP1
0000091c: ISZERO
0000091d: PUSH2 0x0938
00000920: JUMPI
00000921: POP
00000922: PUSH1 0x00
00000924: DUP2
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x20
00000929: DUP2
0000092a: SWAP1
0000092b: MSTORE
0000092c: PUSH1 0x40
0000092e: SWAP1
0000092f: KECCAK256
00000930: PUSH1 0x03
00000932: ADD
00000933: SLOAD
00000934: PUSH1 0xff
00000936: AND
00000937: ISZERO
00000938: JUMPDEST
00000939: DUP1
0000093a: PUSH2 0x095c
0000093d: JUMPI
0000093e: POP
0000093f: DUP3
00000940: DUP1
00000941: ISZERO
00000942: PUSH2 0x095c
00000945: JUMPI
00000946: POP
00000947: PUSH1 0x00
00000949: DUP2
0000094a: DUP2
0000094b: MSTORE
0000094c: PUSH1 0x20
0000094e: DUP2
0000094f: SWAP1
00000950: MSTORE
00000951: PUSH1 0x40
00000953: SWAP1
00000954: KECCAK256
00000955: PUSH1 0x03
00000957: ADD
00000958: SLOAD
00000959: PUSH1 0xff
0000095b: AND
0000095c: JUMPDEST
0000095d: JUMPDEST
0000095e: ISZERO
0000095f: PUSH2 0x0969
00000962: JUMPI
00000963: PUSH1 0x01
00000965: DUP3
00000966: ADD
00000967: SWAP2
00000968: POP
00000969: JUMPDEST
0000096a: JUMPDEST
0000096b: PUSH1 0x01
0000096d: ADD
0000096e: PUSH2 0x090f
00000971: JUMP
00000972: JUMPDEST
00000973: JUMPDEST
00000974: POP
00000975: SWAP3
00000976: SWAP2
00000977: POP
00000978: POP
00000979: JUMP
0000097a: JUMPDEST
0000097b: ADDRESS
0000097c: PUSH1 0x01
0000097e: PUSH1 0xa0
00000980: PUSH1 0x02
00000982: EXP
00000983: SUB
00000984: AND
00000985: CALLER
00000986: PUSH1 0x01
00000988: PUSH1 0xa0
0000098a: PUSH1 0x02
0000098c: EXP
0000098d: SUB
0000098e: AND
0000098f: EQ
00000990: ISZERO
00000991: ISZERO
00000992: PUSH2 0x099b
00000995: JUMPI
00000996: PUSH1 0x00
00000998: PUSH1 0x00
0000099a: REVERT
0000099b: JUMPDEST
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: DUP2
000009a5: AND
000009a6: PUSH1 0x00
000009a8: SWAP1
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x02
000009ad: PUSH1 0x20
000009af: MSTORE
000009b0: PUSH1 0x40
000009b2: SWAP1
000009b3: KECCAK256
000009b4: SLOAD
000009b5: DUP2
000009b6: SWAP1
000009b7: PUSH1 0xff
000009b9: AND
000009ba: ISZERO
000009bb: PUSH2 0x09c4
000009be: JUMPI
000009bf: PUSH1 0x00
000009c1: PUSH1 0x00
000009c3: REVERT
000009c4: JUMPDEST
000009c5: DUP2
000009c6: PUSH1 0x01
000009c8: PUSH1 0xa0
000009ca: PUSH1 0x02
000009cc: EXP
000009cd: SUB
000009ce: DUP2
000009cf: AND
000009d0: ISZERO
000009d1: ISZERO
000009d2: PUSH2 0x09db
000009d5: JUMPI
000009d6: PUSH1 0x00
000009d8: PUSH1 0x00
000009da: REVERT
000009db: JUMPDEST
000009dc: PUSH1 0x03
000009de: DUP1
000009df: SLOAD
000009e0: SWAP1
000009e1: POP
000009e2: PUSH1 0x01
000009e4: ADD
000009e5: PUSH1 0x04
000009e7: SLOAD
000009e8: PUSH1 0x32
000009ea: DUP3
000009eb: GT
000009ec: DUP1
000009ed: PUSH2 0x09f5
000009f0: JUMPI
000009f1: POP
000009f2: DUP2
000009f3: DUP2
000009f4: GT
000009f5: JUMPDEST
000009f6: DUP1
000009f7: PUSH2 0x09fe
000009fa: JUMPI
000009fb: POP
000009fc: DUP1
000009fd: ISZERO
000009fe: JUMPDEST
000009ff: DUP1
00000a00: PUSH2 0x0a07
00000a03: JUMPI
00000a04: POP
00000a05: DUP2
00000a06: ISZERO
00000a07: JUMPDEST
00000a08: ISZERO
00000a09: PUSH2 0x0a12
00000a0c: JUMPI
00000a0d: PUSH1 0x00
00000a0f: PUSH1 0x00
00000a11: REVERT
00000a12: JUMPDEST
00000a13: PUSH1 0x01
00000a15: PUSH1 0xa0
00000a17: PUSH1 0x02
00000a19: EXP
00000a1a: SUB
00000a1b: DUP6
00000a1c: AND
00000a1d: PUSH1 0x00
00000a1f: SWAP1
00000a20: DUP2
00000a21: MSTORE
00000a22: PUSH1 0x02
00000a24: PUSH1 0x20
00000a26: MSTORE
00000a27: PUSH1 0x40
00000a29: SWAP1
00000a2a: KECCAK256
00000a2b: DUP1
00000a2c: SLOAD
00000a2d: PUSH1 0xff
00000a2f: NOT
00000a30: AND
00000a31: PUSH1 0x01
00000a33: SWAP1
00000a34: DUP2
00000a35: OR
00000a36: SWAP1
00000a37: SWAP2
00000a38: SSTORE
00000a39: PUSH1 0x03
00000a3b: DUP1
00000a3c: SLOAD
00000a3d: SWAP1
00000a3e: SWAP2
00000a3f: DUP2
00000a40: ADD
00000a41: PUSH2 0x0a4a
00000a44: DUP4
00000a45: DUP3
00000a46: PUSH2 0x14e4
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: SWAP2
00000a4c: PUSH1 0x00
00000a4e: MSTORE
00000a4f: PUSH1 0x20
00000a51: PUSH1 0x00
00000a53: KECCAK256
00000a54: SWAP1
00000a55: ADD
00000a56: PUSH1 0x00
00000a58: JUMPDEST
00000a59: DUP2
00000a5a: SLOAD
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0xa0
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: SUB
00000a63: DUP1
00000a64: DUP11
00000a65: AND
00000a66: PUSH2 0x0100
00000a69: SWAP4
00000a6a: SWAP1
00000a6b: SWAP4
00000a6c: EXP
00000a6d: DUP4
00000a6e: DUP2
00000a6f: MUL
00000a70: SWAP2
00000a71: MUL
00000a72: NOT
00000a73: SWAP1
00000a74: SWAP2
00000a75: AND
00000a76: OR
00000a77: SWAP1
00000a78: SWAP2
00000a79: SSTORE
00000a7a: PUSH1 0x40
00000a7c: MLOAD
00000a7d: SWAP1
00000a7e: SWAP2
00000a7f: POP
00000a80: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000aa1: SWAP1
00000aa2: PUSH1 0x00
00000aa4: SWAP1
00000aa5: LOG2
00000aa6: JUMPDEST
00000aa7: JUMPDEST
00000aa8: POP
00000aa9: POP
00000aaa: JUMPDEST
00000aab: POP
00000aac: JUMPDEST
00000aad: POP
00000aae: JUMPDEST
00000aaf: POP
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x00
00000ab4: DUP1
00000ab5: DUP1
00000ab6: JUMPDEST
00000ab7: PUSH1 0x03
00000ab9: SLOAD
00000aba: DUP2
00000abb: LT
00000abc: ISZERO
00000abd: PUSH2 0x0b3d
00000ac0: JUMPI
00000ac1: PUSH1 0x00
00000ac3: DUP5
00000ac4: DUP2
00000ac5: MSTORE
00000ac6: PUSH1 0x01
00000ac8: PUSH1 0x20
00000aca: MSTORE
00000acb: PUSH1 0x40
00000acd: DUP2
00000ace: KECCAK256
00000acf: PUSH1 0x03
00000ad1: DUP1
00000ad2: SLOAD
00000ad3: SWAP2
00000ad4: SWAP3
00000ad5: SWAP2
00000ad6: DUP5
00000ad7: SWAP1
00000ad8: DUP2
00000ad9: LT
00000ada: PUSH2 0x0adf
00000add: JUMPI
00000ade: INVALID
00000adf: JUMPDEST
00000ae0: SWAP1
00000ae1: PUSH1 0x00
00000ae3: MSTORE
00000ae4: PUSH1 0x20
00000ae6: PUSH1 0x00
00000ae8: KECCAK256
00000ae9: SWAP1
00000aea: ADD
00000aeb: PUSH1 0x00
00000aed: JUMPDEST
00000aee: SWAP1
00000aef: SLOAD
00000af0: PUSH1 0x01
00000af2: PUSH1 0xa0
00000af4: PUSH1 0x02
00000af6: EXP
00000af7: SUB
00000af8: PUSH2 0x0100
00000afb: SWAP3
00000afc: SWAP1
00000afd: SWAP3
00000afe: EXP
00000aff: SWAP1
00000b00: DIV
00000b01: AND
00000b02: DUP2
00000b03: MSTORE
00000b04: PUSH1 0x20
00000b06: DUP2
00000b07: ADD
00000b08: SWAP2
00000b09: SWAP1
00000b0a: SWAP2
00000b0b: MSTORE
00000b0c: PUSH1 0x40
00000b0e: ADD
00000b0f: PUSH1 0x00
00000b11: KECCAK256
00000b12: SLOAD
00000b13: PUSH1 0xff
00000b15: AND
00000b16: ISZERO
00000b17: PUSH2 0x0b21
00000b1a: JUMPI
00000b1b: PUSH1 0x01
00000b1d: DUP3
00000b1e: ADD
00000b1f: SWAP2
00000b20: POP
00000b21: JUMPDEST
00000b22: PUSH1 0x04
00000b24: SLOAD
00000b25: DUP3
00000b26: EQ
00000b27: ISZERO
00000b28: PUSH2 0x0b34
00000b2b: JUMPI
00000b2c: PUSH1 0x01
00000b2e: SWAP3
00000b2f: POP
00000b30: PUSH2 0x0b3d
00000b33: JUMP
00000b34: JUMPDEST
00000b35: JUMPDEST
00000b36: PUSH1 0x01
00000b38: ADD
00000b39: PUSH2 0x0ab6
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: JUMPDEST
00000b3f: POP
00000b40: POP
00000b41: SWAP2
00000b42: SWAP1
00000b43: POP
00000b44: JUMP
00000b45: JUMPDEST
00000b46: PUSH1 0x00
00000b48: DUP1
00000b49: JUMPDEST
00000b4a: PUSH1 0x03
00000b4c: SLOAD
00000b4d: DUP2
00000b4e: LT
00000b4f: ISZERO
00000b50: PUSH2 0x0bbd
00000b53: JUMPI
00000b54: PUSH1 0x00
00000b56: DUP4
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x01
00000b5b: PUSH1 0x20
00000b5d: MSTORE
00000b5e: PUSH1 0x40
00000b60: DUP2
00000b61: KECCAK256
00000b62: PUSH1 0x03
00000b64: DUP1
00000b65: SLOAD
00000b66: SWAP2
00000b67: SWAP3
00000b68: SWAP2
00000b69: DUP5
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: LT
00000b6d: PUSH2 0x0b72
00000b70: JUMPI
00000b71: INVALID
00000b72: JUMPDEST
00000b73: SWAP1
00000b74: PUSH1 0x00
00000b76: MSTORE
00000b77: PUSH1 0x20
00000b79: PUSH1 0x00
00000b7b: KECCAK256
00000b7c: SWAP1
00000b7d: ADD
00000b7e: PUSH1 0x00
00000b80: JUMPDEST
00000b81: SWAP1
00000b82: SLOAD
00000b83: PUSH1 0x01
00000b85: PUSH1 0xa0
00000b87: PUSH1 0x02
00000b89: EXP
00000b8a: SUB
00000b8b: PUSH2 0x0100
00000b8e: SWAP3
00000b8f: SWAP1
00000b90: SWAP3
00000b91: EXP
00000b92: SWAP1
00000b93: DIV
00000b94: AND
00000b95: DUP2
00000b96: MSTORE
00000b97: PUSH1 0x20
00000b99: DUP2
00000b9a: ADD
00000b9b: SWAP2
00000b9c: SWAP1
00000b9d: SWAP2
00000b9e: MSTORE
00000b9f: PUSH1 0x40
00000ba1: ADD
00000ba2: PUSH1 0x00
00000ba4: KECCAK256
00000ba5: SLOAD
00000ba6: PUSH1 0xff
00000ba8: AND
00000ba9: ISZERO
00000baa: PUSH2 0x0bb4
00000bad: JUMPI
00000bae: PUSH1 0x01
00000bb0: DUP3
00000bb1: ADD
00000bb2: SWAP2
00000bb3: POP
00000bb4: JUMPDEST
00000bb5: JUMPDEST
00000bb6: PUSH1 0x01
00000bb8: ADD
00000bb9: PUSH2 0x0b49
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: JUMPDEST
00000bbf: POP
00000bc0: SWAP2
00000bc1: SWAP1
00000bc2: POP
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: PUSH1 0x00
00000bc7: PUSH1 0x20
00000bc9: DUP2
00000bca: SWAP1
00000bcb: MSTORE
00000bcc: SWAP1
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x40
00000bd1: SWAP1
00000bd2: KECCAK256
00000bd3: DUP1
00000bd4: SLOAD
00000bd5: PUSH1 0x01
00000bd7: DUP3
00000bd8: ADD
00000bd9: SLOAD
00000bda: PUSH1 0x03
00000bdc: DUP4
00000bdd: ADD
00000bde: SLOAD
00000bdf: PUSH1 0x01
00000be1: PUSH1 0xa0
00000be3: PUSH1 0x02
00000be5: EXP
00000be6: SUB
00000be7: SWAP1
00000be8: SWAP3
00000be9: AND
00000bea: SWAP3
00000beb: SWAP1
00000bec: SWAP2
00000bed: PUSH1 0x02
00000bef: SWAP1
00000bf0: SWAP2
00000bf1: ADD
00000bf2: SWAP1
00000bf3: PUSH1 0xff
00000bf5: AND
00000bf6: DUP5
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH2 0x0c00
00000bfc: PUSH2 0x1538
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x03
00000c03: DUP1
00000c04: SLOAD
00000c05: DUP1
00000c06: PUSH1 0x20
00000c08: MUL
00000c09: PUSH1 0x20
00000c0b: ADD
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: SWAP1
00000c10: DUP2
00000c11: ADD
00000c12: PUSH1 0x40
00000c14: MSTORE
00000c15: DUP1
00000c16: SWAP3
00000c17: SWAP2
00000c18: SWAP1
00000c19: DUP2
00000c1a: DUP2
00000c1b: MSTORE
00000c1c: PUSH1 0x20
00000c1e: ADD
00000c1f: DUP3
00000c20: DUP1
00000c21: SLOAD
00000c22: DUP1
00000c23: ISZERO
00000c24: PUSH2 0x0c56
00000c27: JUMPI
00000c28: PUSH1 0x20
00000c2a: MUL
00000c2b: DUP3
00000c2c: ADD
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: PUSH1 0x00
00000c31: MSTORE
00000c32: PUSH1 0x20
00000c34: PUSH1 0x00
00000c36: KECCAK256
00000c37: SWAP1
00000c38: JUMPDEST
00000c39: DUP2
00000c3a: SLOAD
00000c3b: PUSH1 0x01
00000c3d: PUSH1 0xa0
00000c3f: PUSH1 0x02
00000c41: EXP
00000c42: SUB
00000c43: AND
00000c44: DUP2
00000c45: MSTORE
00000c46: PUSH1 0x01
00000c48: SWAP1
00000c49: SWAP2
00000c4a: ADD
00000c4b: SWAP1
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: DUP1
00000c50: DUP4
00000c51: GT
00000c52: PUSH2 0x0c38
00000c55: JUMPI
00000c56: JUMPDEST
00000c57: POP
00000c58: POP
00000c59: POP
00000c5a: POP
00000c5b: POP
00000c5c: SWAP1
00000c5d: POP
00000c5e: JUMPDEST
00000c5f: SWAP1
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH2 0x0c69
00000c65: PUSH2 0x1538
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: PUSH2 0x0c71
00000c6d: PUSH2 0x1538
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x00
00000c74: PUSH1 0x00
00000c76: PUSH1 0x05
00000c78: SLOAD
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: DUP1
00000c7d: MSIZE
00000c7e: LT
00000c7f: PUSH2 0x0c85
00000c82: JUMPI
00000c83: POP
00000c84: MSIZE
00000c85: JUMPDEST
00000c86: SWAP1
00000c87: DUP1
00000c88: DUP3
00000c89: MSTORE
00000c8a: DUP1
00000c8b: PUSH1 0x20
00000c8d: MUL
00000c8e: PUSH1 0x20
00000c90: ADD
00000c91: DUP3
00000c92: ADD
00000c93: PUSH1 0x40
00000c95: MSTORE
00000c96: JUMPDEST
00000c97: POP
00000c98: SWAP3
00000c99: POP
00000c9a: PUSH1 0x00
00000c9c: SWAP2
00000c9d: POP
00000c9e: PUSH1 0x00
00000ca0: SWAP1
00000ca1: POP
00000ca2: JUMPDEST
00000ca3: PUSH1 0x05
00000ca5: SLOAD
00000ca6: DUP2
00000ca7: LT
00000ca8: ISZERO
00000ca9: PUSH2 0x0d1f
00000cac: JUMPI
00000cad: DUP6
00000cae: DUP1
00000caf: ISZERO
00000cb0: PUSH2 0x0ccb
00000cb3: JUMPI
00000cb4: POP
00000cb5: PUSH1 0x00
00000cb7: DUP2
00000cb8: DUP2
00000cb9: MSTORE
00000cba: PUSH1 0x20
00000cbc: DUP2
00000cbd: SWAP1
00000cbe: MSTORE
00000cbf: PUSH1 0x40
00000cc1: SWAP1
00000cc2: KECCAK256
00000cc3: PUSH1 0x03
00000cc5: ADD
00000cc6: SLOAD
00000cc7: PUSH1 0xff
00000cc9: AND
00000cca: ISZERO
00000ccb: JUMPDEST
00000ccc: DUP1
00000ccd: PUSH2 0x0cef
00000cd0: JUMPI
00000cd1: POP
00000cd2: DUP5
00000cd3: DUP1
00000cd4: ISZERO
00000cd5: PUSH2 0x0cef
00000cd8: JUMPI
00000cd9: POP
00000cda: PUSH1 0x00
00000cdc: DUP2
00000cdd: DUP2
00000cde: MSTORE
00000cdf: PUSH1 0x20
00000ce1: DUP2
00000ce2: SWAP1
00000ce3: MSTORE
00000ce4: PUSH1 0x40
00000ce6: SWAP1
00000ce7: KECCAK256
00000ce8: PUSH1 0x03
00000cea: ADD
00000ceb: SLOAD
00000cec: PUSH1 0xff
00000cee: AND
00000cef: JUMPDEST
00000cf0: JUMPDEST
00000cf1: ISZERO
00000cf2: PUSH2 0x0d16
00000cf5: JUMPI
00000cf6: DUP1
00000cf7: DUP4
00000cf8: DUP4
00000cf9: DUP2
00000cfa: MLOAD
00000cfb: DUP2
00000cfc: LT
00000cfd: ISZERO
00000cfe: ISZERO
00000cff: PUSH2 0x0d04
00000d02: JUMPI
00000d03: INVALID
00000d04: JUMPDEST
00000d05: PUSH1 0x20
00000d07: SWAP1
00000d08: DUP2
00000d09: MUL
00000d0a: SWAP1
00000d0b: SWAP2
00000d0c: ADD
00000d0d: ADD
00000d0e: MSTORE
00000d0f: PUSH1 0x01
00000d11: SWAP2
00000d12: SWAP1
00000d13: SWAP2
00000d14: ADD
00000d15: SWAP1
00000d16: JUMPDEST
00000d17: JUMPDEST
00000d18: PUSH1 0x01
00000d1a: ADD
00000d1b: PUSH2 0x0ca2
00000d1e: JUMP
00000d1f: JUMPDEST
00000d20: DUP8
00000d21: DUP8
00000d22: SUB
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP1
00000d27: MSIZE
00000d28: LT
00000d29: PUSH2 0x0d2f
00000d2c: JUMPI
00000d2d: POP
00000d2e: MSIZE
00000d2f: JUMPDEST
00000d30: SWAP1
00000d31: DUP1
00000d32: DUP3
00000d33: MSTORE
00000d34: DUP1
00000d35: PUSH1 0x20
00000d37: MUL
00000d38: PUSH1 0x20
00000d3a: ADD
00000d3b: DUP3
00000d3c: ADD
00000d3d: PUSH1 0x40
00000d3f: MSTORE
00000d40: JUMPDEST
00000d41: POP
00000d42: SWAP4
00000d43: POP
00000d44: DUP8
00000d45: SWAP1
00000d46: POP
00000d47: JUMPDEST
00000d48: DUP7
00000d49: DUP2
00000d4a: LT
00000d4b: ISZERO
00000d4c: PUSH2 0x0d8a
00000d4f: JUMPI
00000d50: DUP3
00000d51: DUP2
00000d52: DUP2
00000d53: MLOAD
00000d54: DUP2
00000d55: LT
00000d56: ISZERO
00000d57: ISZERO
00000d58: PUSH2 0x0d5d
00000d5b: JUMPI
00000d5c: INVALID
00000d5d: JUMPDEST
00000d5e: SWAP1
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: SWAP1
00000d63: PUSH1 0x20
00000d65: MUL
00000d66: ADD
00000d67: MLOAD
00000d68: DUP5
00000d69: DUP10
00000d6a: DUP4
00000d6b: SUB
00000d6c: DUP2
00000d6d: MLOAD
00000d6e: DUP2
00000d6f: LT
00000d70: ISZERO
00000d71: ISZERO
00000d72: PUSH2 0x0d77
00000d75: JUMPI
00000d76: INVALID
00000d77: JUMPDEST
00000d78: PUSH1 0x20
00000d7a: SWAP1
00000d7b: DUP2
00000d7c: MUL
00000d7d: SWAP1
00000d7e: SWAP2
00000d7f: ADD
00000d80: ADD
00000d81: MSTORE
00000d82: JUMPDEST
00000d83: PUSH1 0x01
00000d85: ADD
00000d86: PUSH2 0x0d47
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: JUMPDEST
00000d8c: POP
00000d8d: POP
00000d8e: POP
00000d8f: SWAP5
00000d90: SWAP4
00000d91: POP
00000d92: POP
00000d93: POP
00000d94: POP
00000d95: JUMP
00000d96: JUMPDEST
00000d97: PUSH2 0x0d9e
00000d9a: PUSH2 0x1538
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: PUSH2 0x0da6
00000da2: PUSH2 0x1538
00000da5: JUMP
00000da6: JUMPDEST
00000da7: PUSH1 0x03
00000da9: SLOAD
00000daa: PUSH1 0x40
00000dac: MLOAD
00000dad: PUSH1 0x00
00000daf: SWAP2
00000db0: DUP3
00000db1: SWAP2
00000db2: DUP1
00000db3: MSIZE
00000db4: LT
00000db5: PUSH2 0x0dbb
00000db8: JUMPI
00000db9: POP
00000dba: MSIZE
00000dbb: JUMPDEST
00000dbc: SWAP1
00000dbd: DUP1
00000dbe: DUP3
00000dbf: MSTORE
00000dc0: DUP1
00000dc1: PUSH1 0x20
00000dc3: MUL
00000dc4: PUSH1 0x20
00000dc6: ADD
00000dc7: DUP3
00000dc8: ADD
00000dc9: PUSH1 0x40
00000dcb: MSTORE
00000dcc: JUMPDEST
00000dcd: POP
00000dce: SWAP3
00000dcf: POP
00000dd0: PUSH1 0x00
00000dd2: SWAP2
00000dd3: POP
00000dd4: PUSH1 0x00
00000dd6: SWAP1
00000dd7: POP
00000dd8: JUMPDEST
00000dd9: PUSH1 0x03
00000ddb: SLOAD
00000ddc: DUP2
00000ddd: LT
00000dde: ISZERO
00000ddf: PUSH2 0x0ea0
00000de2: JUMPI
00000de3: PUSH1 0x00
00000de5: DUP6
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x01
00000dea: PUSH1 0x20
00000dec: MSTORE
00000ded: PUSH1 0x40
00000def: DUP2
00000df0: KECCAK256
00000df1: PUSH1 0x03
00000df3: DUP1
00000df4: SLOAD
00000df5: SWAP2
00000df6: SWAP3
00000df7: SWAP2
00000df8: DUP5
00000df9: SWAP1
00000dfa: DUP2
00000dfb: LT
00000dfc: PUSH2 0x0e01
00000dff: JUMPI
00000e00: INVALID
00000e01: JUMPDEST
00000e02: SWAP1
00000e03: PUSH1 0x00
00000e05: MSTORE
00000e06: PUSH1 0x20
00000e08: PUSH1 0x00
00000e0a: KECCAK256
00000e0b: SWAP1
00000e0c: ADD
00000e0d: PUSH1 0x00
00000e0f: JUMPDEST
00000e10: SWAP1
00000e11: SLOAD
00000e12: PUSH1 0x01
00000e14: PUSH1 0xa0
00000e16: PUSH1 0x02
00000e18: EXP
00000e19: SUB
00000e1a: PUSH2 0x0100
00000e1d: SWAP3
00000e1e: SWAP1
00000e1f: SWAP3
00000e20: EXP
00000e21: SWAP1
00000e22: DIV
00000e23: AND
00000e24: DUP2
00000e25: MSTORE
00000e26: PUSH1 0x20
00000e28: DUP2
00000e29: ADD
00000e2a: SWAP2
00000e2b: SWAP1
00000e2c: SWAP2
00000e2d: MSTORE
00000e2e: PUSH1 0x40
00000e30: ADD
00000e31: PUSH1 0x00
00000e33: KECCAK256
00000e34: SLOAD
00000e35: PUSH1 0xff
00000e37: AND
00000e38: ISZERO
00000e39: PUSH2 0x0e97
00000e3c: JUMPI
00000e3d: PUSH1 0x03
00000e3f: DUP1
00000e40: SLOAD
00000e41: DUP3
00000e42: SWAP1
00000e43: DUP2
00000e44: LT
00000e45: PUSH2 0x0e4a
00000e48: JUMPI
00000e49: INVALID
00000e4a: JUMPDEST
00000e4b: SWAP1
00000e4c: PUSH1 0x00
00000e4e: MSTORE
00000e4f: PUSH1 0x20
00000e51: PUSH1 0x00
00000e53: KECCAK256
00000e54: SWAP1
00000e55: ADD
00000e56: PUSH1 0x00
00000e58: JUMPDEST
00000e59: SWAP1
00000e5a: SLOAD
00000e5b: SWAP1
00000e5c: PUSH2 0x0100
00000e5f: EXP
00000e60: SWAP1
00000e61: DIV
00000e62: PUSH1 0x01
00000e64: PUSH1 0xa0
00000e66: PUSH1 0x02
00000e68: EXP
00000e69: SUB
00000e6a: AND
00000e6b: DUP4
00000e6c: DUP4
00000e6d: DUP2
00000e6e: MLOAD
00000e6f: DUP2
00000e70: LT
00000e71: ISZERO
00000e72: ISZERO
00000e73: PUSH2 0x0e78
00000e76: JUMPI
00000e77: INVALID
00000e78: JUMPDEST
00000e79: PUSH1 0x01
00000e7b: PUSH1 0xa0
00000e7d: PUSH1 0x02
00000e7f: EXP
00000e80: SUB
00000e81: SWAP1
00000e82: SWAP3
00000e83: AND
00000e84: PUSH1 0x20
00000e86: SWAP3
00000e87: DUP4
00000e88: MUL
00000e89: SWAP1
00000e8a: SWAP2
00000e8b: ADD
00000e8c: SWAP1
00000e8d: SWAP2
00000e8e: ADD
00000e8f: MSTORE
00000e90: PUSH1 0x01
00000e92: SWAP2
00000e93: SWAP1
00000e94: SWAP2
00000e95: ADD
00000e96: SWAP1
00000e97: JUMPDEST
00000e98: JUMPDEST
00000e99: PUSH1 0x01
00000e9b: ADD
00000e9c: PUSH2 0x0dd8
00000e9f: JUMP
00000ea0: JUMPDEST
00000ea1: DUP2
00000ea2: PUSH1 0x40
00000ea4: MLOAD
00000ea5: DUP1
00000ea6: MSIZE
00000ea7: LT
00000ea8: PUSH2 0x0eae
00000eab: JUMPI
00000eac: POP
00000ead: MSIZE
00000eae: JUMPDEST
00000eaf: SWAP1
00000eb0: DUP1
00000eb1: DUP3
00000eb2: MSTORE
00000eb3: DUP1
00000eb4: PUSH1 0x20
00000eb6: MUL
00000eb7: PUSH1 0x20
00000eb9: ADD
00000eba: DUP3
00000ebb: ADD
00000ebc: PUSH1 0x40
00000ebe: MSTORE
00000ebf: JUMPDEST
00000ec0: POP
00000ec1: SWAP4
00000ec2: POP
00000ec3: PUSH1 0x00
00000ec5: SWAP1
00000ec6: POP
00000ec7: JUMPDEST
00000ec8: DUP2
00000ec9: DUP2
00000eca: LT
00000ecb: ISZERO
00000ecc: PUSH2 0x0f15
00000ecf: JUMPI
00000ed0: DUP3
00000ed1: DUP2
00000ed2: DUP2
00000ed3: MLOAD
00000ed4: DUP2
00000ed5: LT
00000ed6: ISZERO
00000ed7: ISZERO
00000ed8: PUSH2 0x0edd
00000edb: JUMPI
00000edc: INVALID
00000edd: JUMPDEST
00000ede: SWAP1
00000edf: PUSH1 0x20
00000ee1: ADD
00000ee2: SWAP1
00000ee3: PUSH1 0x20
00000ee5: MUL
00000ee6: ADD
00000ee7: MLOAD
00000ee8: DUP5
00000ee9: DUP3
00000eea: DUP2
00000eeb: MLOAD
00000eec: DUP2
00000eed: LT
00000eee: ISZERO
00000eef: ISZERO
00000ef0: PUSH2 0x0ef5
00000ef3: JUMPI
00000ef4: INVALID
00000ef5: JUMPDEST
00000ef6: PUSH1 0x01
00000ef8: PUSH1 0xa0
00000efa: PUSH1 0x02
00000efc: EXP
00000efd: SUB
00000efe: SWAP1
00000eff: SWAP3
00000f00: AND
00000f01: PUSH1 0x20
00000f03: SWAP3
00000f04: DUP4
00000f05: MUL
00000f06: SWAP1
00000f07: SWAP2
00000f08: ADD
00000f09: SWAP1
00000f0a: SWAP2
00000f0b: ADD
00000f0c: MSTORE
00000f0d: JUMPDEST
00000f0e: PUSH1 0x01
00000f10: ADD
00000f11: PUSH2 0x0ec7
00000f14: JUMP
00000f15: JUMPDEST
00000f16: JUMPDEST
00000f17: POP
00000f18: POP
00000f19: POP
00000f1a: SWAP2
00000f1b: SWAP1
00000f1c: POP
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH1 0x05
00000f21: SLOAD
00000f22: DUP2
00000f23: JUMP
00000f24: JUMPDEST
00000f25: ADDRESS
00000f26: PUSH1 0x01
00000f28: PUSH1 0xa0
00000f2a: PUSH1 0x02
00000f2c: EXP
00000f2d: SUB
00000f2e: AND
00000f2f: CALLER
00000f30: PUSH1 0x01
00000f32: PUSH1 0xa0
00000f34: PUSH1 0x02
00000f36: EXP
00000f37: SUB
00000f38: AND
00000f39: EQ
00000f3a: ISZERO
00000f3b: ISZERO
00000f3c: PUSH2 0x0f45
00000f3f: JUMPI
00000f40: PUSH1 0x00
00000f42: PUSH1 0x00
00000f44: REVERT
00000f45: JUMPDEST
00000f46: PUSH1 0x03
00000f48: SLOAD
00000f49: DUP2
00000f4a: PUSH1 0x32
00000f4c: DUP3
00000f4d: GT
00000f4e: DUP1
00000f4f: PUSH2 0x0f57
00000f52: JUMPI
00000f53: POP
00000f54: DUP2
00000f55: DUP2
00000f56: GT
00000f57: JUMPDEST
00000f58: DUP1
00000f59: PUSH2 0x0f60
00000f5c: JUMPI
00000f5d: POP
00000f5e: DUP1
00000f5f: ISZERO
00000f60: JUMPDEST
00000f61: DUP1
00000f62: PUSH2 0x0f69
00000f65: JUMPI
00000f66: POP
00000f67: DUP2
00000f68: ISZERO
00000f69: JUMPDEST
00000f6a: ISZERO
00000f6b: PUSH2 0x0f74
00000f6e: JUMPI
00000f6f: PUSH1 0x00
00000f71: PUSH1 0x00
00000f73: REVERT
00000f74: JUMPDEST
00000f75: PUSH1 0x04
00000f77: DUP4
00000f78: SWAP1
00000f79: SSTORE
00000f7a: PUSH1 0x40
00000f7c: DUP1
00000f7d: MLOAD
00000f7e: DUP5
00000f7f: DUP2
00000f80: MSTORE
00000f81: SWAP1
00000f82: MLOAD
00000f83: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00000fa4: SWAP2
00000fa5: DUP2
00000fa6: SWAP1
00000fa7: SUB
00000fa8: PUSH1 0x20
00000faa: ADD
00000fab: SWAP1
00000fac: LOG1
00000fad: JUMPDEST
00000fae: JUMPDEST
00000faf: POP
00000fb0: POP
00000fb1: JUMPDEST
00000fb2: POP
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: CALLER
00000fb6: PUSH1 0x01
00000fb8: PUSH1 0xa0
00000fba: PUSH1 0x02
00000fbc: EXP
00000fbd: SUB
00000fbe: DUP2
00000fbf: AND
00000fc0: PUSH1 0x00
00000fc2: SWAP1
00000fc3: DUP2
00000fc4: MSTORE
00000fc5: PUSH1 0x02
00000fc7: PUSH1 0x20
00000fc9: MSTORE
00000fca: PUSH1 0x40
00000fcc: SWAP1
00000fcd: KECCAK256
00000fce: SLOAD
00000fcf: PUSH1 0xff
00000fd1: AND
00000fd2: ISZERO
00000fd3: ISZERO
00000fd4: PUSH2 0x0fdd
00000fd7: JUMPI
00000fd8: PUSH1 0x00
00000fda: PUSH1 0x00
00000fdc: REVERT
00000fdd: JUMPDEST
00000fde: PUSH1 0x00
00000fe0: DUP3
00000fe1: DUP2
00000fe2: MSTORE
00000fe3: PUSH1 0x20
00000fe5: DUP2
00000fe6: SWAP1
00000fe7: MSTORE
00000fe8: PUSH1 0x40
00000fea: SWAP1
00000feb: KECCAK256
00000fec: SLOAD
00000fed: DUP3
00000fee: SWAP1
00000fef: PUSH1 0x01
00000ff1: PUSH1 0xa0
00000ff3: PUSH1 0x02
00000ff5: EXP
00000ff6: SUB
00000ff7: AND
00000ff8: ISZERO
00000ff9: ISZERO
00000ffa: PUSH2 0x1003
00000ffd: JUMPI
00000ffe: PUSH1 0x00
00001000: PUSH1 0x00
00001002: REVERT
00001003: JUMPDEST
00001004: PUSH1 0x00
00001006: DUP4
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x01
0000100b: PUSH1 0x20
0000100d: SWAP1
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x40
00001012: DUP1
00001013: DUP4
00001014: KECCAK256
00001015: CALLER
00001016: PUSH1 0x01
00001018: PUSH1 0xa0
0000101a: PUSH1 0x02
0000101c: EXP
0000101d: SUB
0000101e: DUP2
0000101f: AND
00001020: DUP6
00001021: MSTORE
00001022: SWAP3
00001023: MSTORE
00001024: SWAP1
00001025: SWAP2
00001026: KECCAK256
00001027: SLOAD
00001028: DUP5
00001029: SWAP2
0000102a: SWAP1
0000102b: PUSH1 0xff
0000102d: AND
0000102e: ISZERO
0000102f: PUSH2 0x1038
00001032: JUMPI
00001033: PUSH1 0x00
00001035: PUSH1 0x00
00001037: REVERT
00001038: JUMPDEST
00001039: PUSH1 0x00
0000103b: DUP6
0000103c: DUP2
0000103d: MSTORE
0000103e: PUSH1 0x01
00001040: PUSH1 0x20
00001042: DUP2
00001043: DUP2
00001044: MSTORE
00001045: PUSH1 0x40
00001047: DUP1
00001048: DUP5
00001049: KECCAK256
0000104a: PUSH1 0x01
0000104c: PUSH1 0xa0
0000104e: PUSH1 0x02
00001050: EXP
00001051: SUB
00001052: CALLER
00001053: AND
00001054: DUP1
00001055: DUP7
00001056: MSTORE
00001057: SWAP3
00001058: MSTORE
00001059: DUP1
0000105a: DUP5
0000105b: KECCAK256
0000105c: DUP1
0000105d: SLOAD
0000105e: PUSH1 0xff
00001060: NOT
00001061: AND
00001062: SWAP1
00001063: SWAP4
00001064: OR
00001065: SWAP1
00001066: SWAP3
00001067: SSTORE
00001068: SWAP1
00001069: MLOAD
0000106a: DUP8
0000106b: SWAP3
0000106c: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
0000108d: SWAP2
0000108e: LOG3
0000108f: PUSH2 0x08cc
00001092: DUP6
00001093: PUSH2 0x1289
00001096: JUMP
00001097: JUMPDEST
00001098: JUMPDEST
00001099: JUMPDEST
0000109a: POP
0000109b: POP
0000109c: JUMPDEST
0000109d: POP
0000109e: JUMPDEST
0000109f: POP
000010a0: POP
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x00
000010a5: PUSH2 0x10af
000010a8: DUP5
000010a9: DUP5
000010aa: DUP5
000010ab: PUSH2 0x13f1
000010ae: JUMP
000010af: JUMPDEST
000010b0: SWAP1
000010b1: POP
000010b2: PUSH2 0x10ba
000010b5: DUP2
000010b6: PUSH2 0x0fb4
000010b9: JUMP
000010ba: JUMPDEST
000010bb: JUMPDEST
000010bc: SWAP4
000010bd: SWAP3
000010be: POP
000010bf: POP
000010c0: POP
000010c1: JUMP
000010c2: JUMPDEST
000010c3: PUSH1 0x32
000010c5: DUP2
000010c6: JUMP
000010c7: JUMPDEST
000010c8: PUSH1 0x04
000010ca: SLOAD
000010cb: DUP2
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH1 0x00
000010d0: ADDRESS
000010d1: PUSH1 0x01
000010d3: PUSH1 0xa0
000010d5: PUSH1 0x02
000010d7: EXP
000010d8: SUB
000010d9: AND
000010da: CALLER
000010db: PUSH1 0x01
000010dd: PUSH1 0xa0
000010df: PUSH1 0x02
000010e1: EXP
000010e2: SUB
000010e3: AND
000010e4: EQ
000010e5: ISZERO
000010e6: ISZERO
000010e7: PUSH2 0x10f0
000010ea: JUMPI
000010eb: PUSH1 0x00
000010ed: PUSH1 0x00
000010ef: REVERT
000010f0: JUMPDEST
000010f1: PUSH1 0x01
000010f3: PUSH1 0xa0
000010f5: PUSH1 0x02
000010f7: EXP
000010f8: SUB
000010f9: DUP4
000010fa: AND
000010fb: PUSH1 0x00
000010fd: SWAP1
000010fe: DUP2
000010ff: MSTORE
00001100: PUSH1 0x02
00001102: PUSH1 0x20
00001104: MSTORE
00001105: PUSH1 0x40
00001107: SWAP1
00001108: KECCAK256
00001109: SLOAD
0000110a: DUP4
0000110b: SWAP1
0000110c: PUSH1 0xff
0000110e: AND
0000110f: ISZERO
00001110: ISZERO
00001111: PUSH2 0x111a
00001114: JUMPI
00001115: PUSH1 0x00
00001117: PUSH1 0x00
00001119: REVERT
0000111a: JUMPDEST
0000111b: PUSH1 0x01
0000111d: PUSH1 0xa0
0000111f: PUSH1 0x02
00001121: EXP
00001122: SUB
00001123: DUP4
00001124: AND
00001125: PUSH1 0x00
00001127: SWAP1
00001128: DUP2
00001129: MSTORE
0000112a: PUSH1 0x02
0000112c: PUSH1 0x20
0000112e: MSTORE
0000112f: PUSH1 0x40
00001131: SWAP1
00001132: KECCAK256
00001133: SLOAD
00001134: DUP4
00001135: SWAP1
00001136: PUSH1 0xff
00001138: AND
00001139: ISZERO
0000113a: PUSH2 0x1143
0000113d: JUMPI
0000113e: PUSH1 0x00
00001140: PUSH1 0x00
00001142: REVERT
00001143: JUMPDEST
00001144: PUSH1 0x00
00001146: SWAP3
00001147: POP
00001148: JUMPDEST
00001149: PUSH1 0x03
0000114b: SLOAD
0000114c: DUP4
0000114d: LT
0000114e: ISZERO
0000114f: PUSH2 0x11eb
00001152: JUMPI
00001153: DUP5
00001154: PUSH1 0x01
00001156: PUSH1 0xa0
00001158: PUSH1 0x02
0000115a: EXP
0000115b: SUB
0000115c: AND
0000115d: PUSH1 0x03
0000115f: DUP5
00001160: DUP2
00001161: SLOAD
00001162: DUP2
00001163: LT
00001164: ISZERO
00001165: ISZERO
00001166: PUSH2 0x116b
00001169: JUMPI
0000116a: INVALID
0000116b: JUMPDEST
0000116c: SWAP1
0000116d: PUSH1 0x00
0000116f: MSTORE
00001170: PUSH1 0x20
00001172: PUSH1 0x00
00001174: KECCAK256
00001175: SWAP1
00001176: ADD
00001177: PUSH1 0x00
00001179: JUMPDEST
0000117a: SWAP1
0000117b: SLOAD
0000117c: SWAP1
0000117d: PUSH2 0x0100
00001180: EXP
00001181: SWAP1
00001182: DIV
00001183: PUSH1 0x01
00001185: PUSH1 0xa0
00001187: PUSH1 0x02
00001189: EXP
0000118a: SUB
0000118b: AND
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: PUSH1 0x02
00001192: EXP
00001193: SUB
00001194: AND
00001195: EQ
00001196: ISZERO
00001197: PUSH2 0x11df
0000119a: JUMPI
0000119b: DUP4
0000119c: PUSH1 0x03
0000119e: DUP5
0000119f: DUP2
000011a0: SLOAD
000011a1: DUP2
000011a2: LT
000011a3: ISZERO
000011a4: ISZERO
000011a5: PUSH2 0x11aa
000011a8: JUMPI
000011a9: INVALID
000011aa: JUMPDEST
000011ab: SWAP1
000011ac: PUSH1 0x00
000011ae: MSTORE
000011af: PUSH1 0x20
000011b1: PUSH1 0x00
000011b3: KECCAK256
000011b4: SWAP1
000011b5: ADD
000011b6: PUSH1 0x00
000011b8: JUMPDEST
000011b9: PUSH2 0x0100
000011bc: EXP
000011bd: DUP2
000011be: SLOAD
000011bf: DUP2
000011c0: PUSH1 0x01
000011c2: PUSH1 0xa0
000011c4: PUSH1 0x02
000011c6: EXP
000011c7: SUB
000011c8: MUL
000011c9: NOT
000011ca: AND
000011cb: SWAP1
000011cc: DUP4
000011cd: PUSH1 0x01
000011cf: PUSH1 0xa0
000011d1: PUSH1 0x02
000011d3: EXP
000011d4: SUB
000011d5: AND
000011d6: MUL
000011d7: OR
000011d8: SWAP1
000011d9: SSTORE
000011da: POP
000011db: PUSH2 0x11eb
000011de: JUMP
000011df: JUMPDEST
000011e0: JUMPDEST
000011e1: PUSH1 0x01
000011e3: SWAP1
000011e4: SWAP3
000011e5: ADD
000011e6: SWAP2
000011e7: PUSH2 0x1148
000011ea: JUMP
000011eb: JUMPDEST
000011ec: PUSH1 0x01
000011ee: PUSH1 0xa0
000011f0: PUSH1 0x02
000011f2: EXP
000011f3: SUB
000011f4: DUP1
000011f5: DUP7
000011f6: AND
000011f7: PUSH1 0x00
000011f9: DUP2
000011fa: DUP2
000011fb: MSTORE
000011fc: PUSH1 0x02
000011fe: PUSH1 0x20
00001200: MSTORE
00001201: PUSH1 0x40
00001203: DUP1
00001204: DUP3
00001205: KECCAK256
00001206: DUP1
00001207: SLOAD
00001208: PUSH1 0xff
0000120a: NOT
0000120b: SWAP1
0000120c: DUP2
0000120d: AND
0000120e: SWAP1
0000120f: SWAP2
00001210: SSTORE
00001211: SWAP4
00001212: DUP9
00001213: AND
00001214: DUP3
00001215: MSTORE
00001216: DUP1
00001217: DUP3
00001218: KECCAK256
00001219: DUP1
0000121a: SLOAD
0000121b: SWAP1
0000121c: SWAP5
0000121d: AND
0000121e: PUSH1 0x01
00001220: OR
00001221: SWAP1
00001222: SWAP4
00001223: SSTORE
00001224: SWAP2
00001225: MLOAD
00001226: SWAP1
00001227: SWAP2
00001228: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00001249: SWAP2
0000124a: LOG2
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: PUSH1 0x01
00001250: PUSH1 0xa0
00001252: PUSH1 0x02
00001254: EXP
00001255: SUB
00001256: DUP6
00001257: AND
00001258: SWAP1
00001259: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
0000127a: SWAP1
0000127b: PUSH1 0x00
0000127d: SWAP1
0000127e: LOG2
0000127f: JUMPDEST
00001280: JUMPDEST
00001281: POP
00001282: JUMPDEST
00001283: POP
00001284: JUMPDEST
00001285: POP
00001286: POP
00001287: POP
00001288: JUMP
00001289: JUMPDEST
0000128a: PUSH1 0x00
0000128c: DUP2
0000128d: DUP2
0000128e: MSTORE
0000128f: PUSH1 0x20
00001291: DUP2
00001292: SWAP1
00001293: MSTORE
00001294: PUSH1 0x40
00001296: DUP2
00001297: KECCAK256
00001298: PUSH1 0x03
0000129a: ADD
0000129b: SLOAD
0000129c: DUP3
0000129d: SWAP1
0000129e: PUSH1 0xff
000012a0: AND
000012a1: ISZERO
000012a2: PUSH2 0x12ab
000012a5: JUMPI
000012a6: PUSH1 0x00
000012a8: PUSH1 0x00
000012aa: REVERT
000012ab: JUMPDEST
000012ac: PUSH2 0x12b4
000012af: DUP4
000012b0: PUSH2 0x0ab1
000012b3: JUMP
000012b4: JUMPDEST
000012b5: ISZERO
000012b6: PUSH2 0x07f2
000012b9: JUMPI
000012ba: PUSH1 0x00
000012bc: DUP4
000012bd: DUP2
000012be: MSTORE
000012bf: PUSH1 0x20
000012c1: DUP2
000012c2: SWAP1
000012c3: MSTORE
000012c4: PUSH1 0x40
000012c6: SWAP1
000012c7: DUP2
000012c8: SWAP1
000012c9: KECCAK256
000012ca: PUSH1 0x03
000012cc: DUP2
000012cd: ADD
000012ce: DUP1
000012cf: SLOAD
000012d0: PUSH1 0xff
000012d2: NOT
000012d3: AND
000012d4: PUSH1 0x01
000012d6: SWAP1
000012d7: DUP2
000012d8: OR
000012d9: SWAP1
000012da: SWAP2
000012db: SSTORE
000012dc: DUP2
000012dd: SLOAD
000012de: DUP2
000012df: DUP4
000012e0: ADD
000012e1: SLOAD
000012e2: SWAP4
000012e3: MLOAD
000012e4: PUSH1 0x02
000012e6: DUP1
000012e7: DUP6
000012e8: ADD
000012e9: DUP1
000012ea: SLOAD
000012eb: SWAP6
000012ec: SWAP9
000012ed: POP
000012ee: PUSH1 0x01
000012f0: PUSH1 0xa0
000012f2: PUSH1 0x02
000012f4: EXP
000012f5: SUB
000012f6: SWAP1
000012f7: SWAP4
000012f8: AND
000012f9: SWAP6
000012fa: SWAP5
000012fb: SWAP3
000012fc: SWAP4
000012fd: SWAP2
000012fe: SWAP3
000012ff: DUP4
00001300: SWAP3
00001301: DUP6
00001302: SWAP3
00001303: PUSH1 0x00
00001305: NOT
00001306: SWAP2
00001307: DUP4
00001308: AND
00001309: ISZERO
0000130a: PUSH2 0x0100
0000130d: MUL
0000130e: SWAP2
0000130f: SWAP1
00001310: SWAP2
00001311: ADD
00001312: SWAP1
00001313: SWAP2
00001314: AND
00001315: DIV
00001316: DUP1
00001317: ISZERO
00001318: PUSH2 0x1362
0000131b: JUMPI
0000131c: DUP1
0000131d: PUSH1 0x1f
0000131f: LT
00001320: PUSH2 0x1337
00001323: JUMPI
00001324: PUSH2 0x0100
00001327: DUP1
00001328: DUP4
00001329: SLOAD
0000132a: DIV
0000132b: MUL
0000132c: DUP4
0000132d: MSTORE
0000132e: SWAP2
0000132f: PUSH1 0x20
00001331: ADD
00001332: SWAP2
00001333: PUSH2 0x1362
00001336: JUMP
00001337: JUMPDEST
00001338: DUP3
00001339: ADD
0000133a: SWAP2
0000133b: SWAP1
0000133c: PUSH1 0x00
0000133e: MSTORE
0000133f: PUSH1 0x20
00001341: PUSH1 0x00
00001343: KECCAK256
00001344: SWAP1
00001345: JUMPDEST
00001346: DUP2
00001347: SLOAD
00001348: DUP2
00001349: MSTORE
0000134a: SWAP1
0000134b: PUSH1 0x01
0000134d: ADD
0000134e: SWAP1
0000134f: PUSH1 0x20
00001351: ADD
00001352: DUP1
00001353: DUP4
00001354: GT
00001355: PUSH2 0x1345
00001358: JUMPI
00001359: DUP3
0000135a: SWAP1
0000135b: SUB
0000135c: PUSH1 0x1f
0000135e: AND
0000135f: DUP3
00001360: ADD
00001361: SWAP2
00001362: JUMPDEST
00001363: POP
00001364: POP
00001365: SWAP2
00001366: POP
00001367: POP
00001368: PUSH1 0x00
0000136a: PUSH1 0x40
0000136c: MLOAD
0000136d: DUP1
0000136e: DUP4
0000136f: SUB
00001370: DUP2
00001371: DUP6
00001372: DUP8
00001373: PUSH2 0x8796
00001376: GAS
00001377: SUB
00001378: CALL
00001379: SWAP3
0000137a: POP
0000137b: POP
0000137c: POP
0000137d: ISZERO
0000137e: PUSH2 0x13b1
00001381: JUMPI
00001382: PUSH1 0x40
00001384: MLOAD
00001385: DUP4
00001386: SWAP1
00001387: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
000013a8: SWAP1
000013a9: PUSH1 0x00
000013ab: SWAP1
000013ac: LOG2
000013ad: PUSH2 0x07f2
000013b0: JUMP
000013b1: JUMPDEST
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: DUP4
000013b6: SWAP1
000013b7: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000013d8: SWAP1
000013d9: PUSH1 0x00
000013db: SWAP1
000013dc: LOG2
000013dd: PUSH1 0x03
000013df: DUP3
000013e0: ADD
000013e1: DUP1
000013e2: SLOAD
000013e3: PUSH1 0xff
000013e5: NOT
000013e6: AND
000013e7: SWAP1
000013e8: SSTORE
000013e9: JUMPDEST
000013ea: JUMPDEST
000013eb: JUMPDEST
000013ec: JUMPDEST
000013ed: POP
000013ee: POP
000013ef: POP
000013f0: JUMP
000013f1: JUMPDEST
000013f2: PUSH1 0x00
000013f4: DUP4
000013f5: PUSH1 0x01
000013f7: PUSH1 0xa0
000013f9: PUSH1 0x02
000013fb: EXP
000013fc: SUB
000013fd: DUP2
000013fe: AND
000013ff: ISZERO
00001400: ISZERO
00001401: PUSH2 0x140a
00001404: JUMPI
00001405: PUSH1 0x00
00001407: PUSH1 0x00
00001409: REVERT
0000140a: JUMPDEST
0000140b: PUSH1 0x05
0000140d: SLOAD
0000140e: PUSH1 0x40
00001410: DUP1
00001411: MLOAD
00001412: PUSH1 0x80
00001414: DUP2
00001415: ADD
00001416: DUP3
00001417: MSTORE
00001418: PUSH1 0x01
0000141a: PUSH1 0xa0
0000141c: PUSH1 0x02
0000141e: EXP
0000141f: SUB
00001420: DUP9
00001421: DUP2
00001422: AND
00001423: DUP3
00001424: MSTORE
00001425: PUSH1 0x20
00001427: DUP1
00001428: DUP4
00001429: ADD
0000142a: DUP10
0000142b: DUP2
0000142c: MSTORE
0000142d: DUP4
0000142e: DUP6
0000142f: ADD
00001430: DUP10
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x00
00001435: PUSH1 0x60
00001437: DUP7
00001438: ADD
00001439: DUP2
0000143a: SWAP1
0000143b: MSTORE
0000143c: DUP8
0000143d: DUP2
0000143e: MSTORE
0000143f: DUP1
00001440: DUP5
00001441: MSTORE
00001442: SWAP6
00001443: SWAP1
00001444: SWAP6
00001445: KECCAK256
00001446: DUP5
00001447: MLOAD
00001448: DUP2
00001449: SLOAD
0000144a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145f: NOT
00001460: AND
00001461: SWAP5
00001462: AND
00001463: SWAP4
00001464: SWAP1
00001465: SWAP4
00001466: OR
00001467: DUP4
00001468: SSTORE
00001469: MLOAD
0000146a: PUSH1 0x01
0000146c: DUP4
0000146d: ADD
0000146e: SSTORE
0000146f: SWAP3
00001470: MLOAD
00001471: DUP1
00001472: MLOAD
00001473: SWAP5
00001474: SWAP7
00001475: POP
00001476: SWAP2
00001477: SWAP4
00001478: SWAP1
00001479: SWAP3
0000147a: PUSH2 0x148a
0000147d: SWAP3
0000147e: PUSH1 0x02
00001480: DUP6
00001481: ADD
00001482: SWAP3
00001483: SWAP2
00001484: ADD
00001485: SWAP1
00001486: PUSH2 0x155c
00001489: JUMP
0000148a: JUMPDEST
0000148b: POP
0000148c: PUSH1 0x60
0000148e: SWAP2
0000148f: SWAP1
00001490: SWAP2
00001491: ADD
00001492: MLOAD
00001493: PUSH1 0x03
00001495: SWAP1
00001496: SWAP2
00001497: ADD
00001498: DUP1
00001499: SLOAD
0000149a: PUSH1 0xff
0000149c: NOT
0000149d: AND
0000149e: SWAP2
0000149f: ISZERO
000014a0: ISZERO
000014a1: SWAP2
000014a2: SWAP1
000014a3: SWAP2
000014a4: OR
000014a5: SWAP1
000014a6: SSTORE
000014a7: PUSH1 0x05
000014a9: DUP1
000014aa: SLOAD
000014ab: PUSH1 0x01
000014ad: ADD
000014ae: SWAP1
000014af: SSTORE
000014b0: PUSH1 0x40
000014b2: MLOAD
000014b3: DUP3
000014b4: SWAP1
000014b5: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
000014d6: SWAP1
000014d7: PUSH1 0x00
000014d9: SWAP1
000014da: LOG2
000014db: JUMPDEST
000014dc: JUMPDEST
000014dd: POP
000014de: SWAP4
000014df: SWAP3
000014e0: POP
000014e1: POP
000014e2: POP
000014e3: JUMP
000014e4: JUMPDEST
000014e5: DUP2
000014e6: SLOAD
000014e7: DUP2
000014e8: DUP4
000014e9: SSTORE
000014ea: DUP2
000014eb: DUP2
000014ec: ISZERO
000014ed: GT
000014ee: PUSH2 0x07f2
000014f1: JUMPI
000014f2: PUSH1 0x00
000014f4: DUP4
000014f5: DUP2
000014f6: MSTORE
000014f7: PUSH1 0x20
000014f9: SWAP1
000014fa: KECCAK256
000014fb: PUSH2 0x07f2
000014fe: SWAP2
000014ff: DUP2
00001500: ADD
00001501: SWAP1
00001502: DUP4
00001503: ADD
00001504: PUSH2 0x15db
00001507: JUMP
00001508: JUMPDEST
00001509: JUMPDEST
0000150a: POP
0000150b: POP
0000150c: POP
0000150d: JUMP
0000150e: JUMPDEST
0000150f: DUP2
00001510: SLOAD
00001511: DUP2
00001512: DUP4
00001513: SSTORE
00001514: DUP2
00001515: DUP2
00001516: ISZERO
00001517: GT
00001518: PUSH2 0x07f2
0000151b: JUMPI
0000151c: PUSH1 0x00
0000151e: DUP4
0000151f: DUP2
00001520: MSTORE
00001521: PUSH1 0x20
00001523: SWAP1
00001524: KECCAK256
00001525: PUSH2 0x07f2
00001528: SWAP2
00001529: DUP2
0000152a: ADD
0000152b: SWAP1
0000152c: DUP4
0000152d: ADD
0000152e: PUSH2 0x15db
00001531: JUMP
00001532: JUMPDEST
00001533: JUMPDEST
00001534: POP
00001535: POP
00001536: POP
00001537: JUMP
00001538: JUMPDEST
00001539: PUSH1 0x40
0000153b: DUP1
0000153c: MLOAD
0000153d: PUSH1 0x20
0000153f: DUP2
00001540: ADD
00001541: SWAP1
00001542: SWAP2
00001543: MSTORE
00001544: PUSH1 0x00
00001546: DUP2
00001547: MSTORE
00001548: SWAP1
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH1 0x40
0000154d: DUP1
0000154e: MLOAD
0000154f: PUSH1 0x20
00001551: DUP2
00001552: ADD
00001553: SWAP1
00001554: SWAP2
00001555: MSTORE
00001556: PUSH1 0x00
00001558: DUP2
00001559: MSTORE
0000155a: SWAP1
0000155b: JUMP
0000155c: JUMPDEST
0000155d: DUP3
0000155e: DUP1
0000155f: SLOAD
00001560: PUSH1 0x01
00001562: DUP2
00001563: PUSH1 0x01
00001565: AND
00001566: ISZERO
00001567: PUSH2 0x0100
0000156a: MUL
0000156b: SUB
0000156c: AND
0000156d: PUSH1 0x02
0000156f: SWAP1
00001570: DIV
00001571: SWAP1
00001572: PUSH1 0x00
00001574: MSTORE
00001575: PUSH1 0x20
00001577: PUSH1 0x00
00001579: KECCAK256
0000157a: SWAP1
0000157b: PUSH1 0x1f
0000157d: ADD
0000157e: PUSH1 0x20
00001580: SWAP1
00001581: DIV
00001582: DUP2
00001583: ADD
00001584: SWAP3
00001585: DUP3
00001586: PUSH1 0x1f
00001588: LT
00001589: PUSH2 0x159d
0000158c: JUMPI
0000158d: DUP1
0000158e: MLOAD
0000158f: PUSH1 0xff
00001591: NOT
00001592: AND
00001593: DUP4
00001594: DUP1
00001595: ADD
00001596: OR
00001597: DUP6
00001598: SSTORE
00001599: PUSH2 0x15ca
0000159c: JUMP
0000159d: JUMPDEST
0000159e: DUP3
0000159f: DUP1
000015a0: ADD
000015a1: PUSH1 0x01
000015a3: ADD
000015a4: DUP6
000015a5: SSTORE
000015a6: DUP3
000015a7: ISZERO
000015a8: PUSH2 0x15ca
000015ab: JUMPI
000015ac: SWAP2
000015ad: DUP3
000015ae: ADD
000015af: JUMPDEST
000015b0: DUP3
000015b1: DUP2
000015b2: GT
000015b3: ISZERO
000015b4: PUSH2 0x15ca
000015b7: JUMPI
000015b8: DUP3
000015b9: MLOAD
000015ba: DUP3
000015bb: SSTORE
000015bc: SWAP2
000015bd: PUSH1 0x20
000015bf: ADD
000015c0: SWAP2
000015c1: SWAP1
000015c2: PUSH1 0x01
000015c4: ADD
000015c5: SWAP1
000015c6: PUSH2 0x15af
000015c9: JUMP
000015ca: JUMPDEST
000015cb: JUMPDEST
000015cc: POP
000015cd: PUSH2 0x15d7
000015d0: SWAP3
000015d1: SWAP2
000015d2: POP
000015d3: PUSH2 0x15db
000015d6: JUMP
000015d7: JUMPDEST
000015d8: POP
000015d9: SWAP1
000015da: JUMP
000015db: JUMPDEST
000015dc: PUSH2 0x0c5e
000015df: SWAP2
000015e0: SWAP1
000015e1: JUMPDEST
000015e2: DUP1
000015e3: DUP3
000015e4: GT
000015e5: ISZERO
000015e6: PUSH2 0x15d7
000015e9: JUMPI
000015ea: PUSH1 0x00
000015ec: DUP2
000015ed: SSTORE
000015ee: PUSH1 0x01
000015f0: ADD
000015f1: PUSH2 0x15e1
000015f4: JUMP
000015f5: JUMPDEST
000015f6: POP
000015f7: SWAP1
000015f8: JUMP
000015f9: JUMPDEST
000015fa: SWAP1
000015fb: JUMP
000015fc: STOP
000015fd: LOG1
000015fe: PUSH6 0x627a7a723058
00001605: KECCAK256
00001606: SWAP12
00001607: PUSH27 0x6046761b80cb481a861919538a7666e0de2b784e0df94ce0f736a9
00001623: UNKNOWN(0xDB)
00001624: PUSH7