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

Analysis Run

019be3d6-82c8-710e-9648-447f5f9e0a29

failed
Chain ID
1
Address
Block Number
Created
Thu, Jan 22, 2026 3:54 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
40722 artifact.fetch complete 1 / 3 2 months ago
40723 proxy.resolve complete 1 / 3 2 months ago
40724 tool.cast_disasm complete 1 / 3 2 months ago
40725 analysis.bundle complete 1 / 3 2 months ago
40726 capability.graph complete 1 / 3 2 months ago
40727 detector.run complete 1 / 3 2 months ago
40728 validation.fork complete 1 / 3 2 months ago
41290 report.consolidate complete 1 / 6 2 months ago
41291 tool.slither failed 2 / 2 2 months ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no not_proxy
Implementation:
Verified Source: yes
Proxy evidence
{
    "status": "not_proxy"
}

Slither

tool.slither
Status
failed 500 Server Error: Internal Server Error for url: https://tripwire.topgun.bot/internal/jobs/41291/complete
Attempts
2 / 2
Findings
0
Solc
View stderr
Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 199, in main
    laravel_client.complete_job(job_id, payload if payload else None)
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/laravel_client.py", line 27, in complete_job
    return self._post(f"/internal/jobs/{job_id}/complete", payload=payload)
           ~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/laravel_client.py", line 17, in _post
    response.raise_for_status()
    ~~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/requests/models.py", line 1026, in raise_for_status
    raise HTTPError(http_error_msg, response=self)
requests.exceptions.HTTPError: 500 Server Error: Internal Server Error for url: https://tripwire.topgun.bot/internal/jobs/41291/complete

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
2
No findings?
no
Summary
Multiple payout paths use `send` without handling failure, allowing payouts to be blocked and funds to accumulate, and arithmetic is unchecked under Solidity 0.5.11.
View stdout
{"no_findings":false,"summary":"Multiple payout paths use `send` without handling failure, allowing payouts to be blocked and funds to accumulate, and arithmetic is unchecked under Solidity 0.5.11.","findings":[{"severity":"medium","category":"other","title":"Payouts can be permanently blocked when recipient rejects ETH","exploit_scenario":"A pool recipient or referrer registers through a contract with a reverting/expensive fallback. When it becomes the current recipient, `send` returns false. The caller still joins the pool and funds remain in the contract, but `payment_received` and `poolXactiveUserID` do not advance, so subsequent entrants keep paying with no payouts, effectively locking funds and halting progression.","recommendation":"Use `call{value: amount}()` and require success (revert on failure) or implement a withdrawal pattern so recipients pull funds themselves. Ensure state transitions are consistent with payment success/failure.","evidence":"External payouts use `address(...).send(...)` and only update state on success, without reverting or alternative handling on failure.","locations":["contracts/Contract.sol:208","contracts/Contract.sol:218","contracts/Contract.sol:232","contracts/Contract.sol:340","contracts/Contract.sol:364","contracts/Contract.sol:404","contracts/Contract.sol:439","contracts/Contract.sol:475","contracts/Contract.sol:511","contracts/Contract.sol:546"]},{"severity":"low","category":"math","title":"Unchecked arithmetic can overflow IDs and accounting counters","exploit_scenario":"With enough registrations/pool entries, counters like `currUserID`, `poolXcurrUserID`, `payment_received`, and `totalEarned` can wrap around in Solidity 0.5.11, causing duplicate IDs, incorrect pool advancement, or broken accounting logic.","recommendation":"Use SafeMath for all arithmetic or upgrade to Solidity ^0.8.0 with checked arithmetic.","evidence":"Multiple unchecked increments/additions on `uint` values in Solidity 0.5.11.","locations":["contracts/Contract.sol:95","contracts/Contract.sol:189","contracts/Contract.sol:202","contracts/Contract.sol:350","contracts/Contract.sol:368","contracts/Contract.sol:407","contracts/Contract.sol:442","contracts/Contract.sol:478","contracts/Contract.sol:514","contracts/Contract.sol:548"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-ny9fld2p
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be423-5e12-7711-a45b-02fb29999d35
--------
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**
exec
/bin/bash -lc ls in /tmp/codex-ny9fld2p succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-ny9fld2p succeeded in 7ms:
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.5.11;

contract eeplus {


thinking
**Identifying unchecked send return risk**

The contract uses `send` to transfer ETH and checks its boolean return; if `send` fails, funds stay trapped and user state partially updates, enabling denial-of-service by blocking payout advancement without reverting or refunding.
thinking
**Summarizing key findings and categorizing risks**

The contract consistently checks but doesn't handle `send` failures, causing funds to get trapped and pool progression to halt—a medium-severity denial-of-service issue due to unchecked external call returns; also noted are low-severity overflow risks from missing SafeMath and a private unused function that may trap funds by design.
exec
/bin/bash -lc 'nl -ba contracts/Contract.sol' in /tmp/codex-ny9fld2p succeeded in 6ms:
     1	/*
     2	
     3	.########.........########..##.......##.....##..######.
     4	.##...............##.....##.##.......##.....##.##....##
     5	.##...............##.....##.##.......##.....##.##......
     6	.######...#######.########..##.......##.....##..######.
     7	.##...............##........##.......##.....##.......##
     8	.##...............##........##.......##.....##.##....##
     9	.########.........##........########..#######...######.
    10	
    11	*/
    12	pragma solidity 0.5.11;
    13	
    14	contract eeplus {
    15	     address public ownerWallet;
    16	      uint public currUserID = 0;
    17	      uint public pool1currUserID = 0;
    18	      uint public pool2currUserID = 0;
    19	      uint public pool3currUserID = 0;
    20	      uint public pool4currUserID = 0;


thinking
**Preparing structured security findings**

I'm outlining two JSON-format findings: a medium-severity DoS risk from failed sends blocking fund distributions, categorized as "other," with evidence from payment logic order; and a low-severity unchecked arithmetic overflow risk due to missing SafeMath usage.
thinking
**Drafting detailed JSON findings**

I'm preparing the JSON output with a concise summary, two detailed findings including severity, category, titles, scenarios, recommendations, and line-based evidence from relevant code regions for payment blocking and arithmetic overflow issues.
codex
{"no_findings":false,"summary":"Multiple payout paths use `send` without handling failure, allowing payouts to be blocked and funds to accumulate, and arithmetic is unchecked under Solidity 0.5.11.","findings":[{"severity":"medium","category":"other","title":"Payouts can be permanently blocked when recipient rejects ETH","exploit_scenario":"A pool recipient or referrer registers through a contract with a reverting/expensive fallback. When it becomes the current recipient, `send` returns false. The caller still joins the pool and funds remain in the contract, but `payment_received` and `poolXactiveUserID` do not advance, so subsequent entrants keep paying with no payouts, effectively locking funds and halting progression.","recommendation":"Use `call{value: amount}()` and require success (revert on failure) or implement a withdrawal pattern so recipients pull funds themselves. Ensure state transitions are consistent with payment success/failure.","evidence":"External payouts use `address(...).send(...)` and only update state on success, without reverting or alternative handling on failure.","locations":["contracts/Contract.sol:208","contracts/Contract.sol:218","contracts/Contract.sol:232","contracts/Contract.sol:340","contracts/Contract.sol:364","contracts/Contract.sol:404","contracts/Contract.sol:439","contracts/Contract.sol:475","contracts/Contract.sol:511","contracts/Contract.sol:546"]},{"severity":"low","category":"math","title":"Unchecked arithmetic can overflow IDs and accounting counters","exploit_scenario":"With enough registrations/pool entries, counters like `currUserID`, `poolXcurrUserID`, `payment_received`, and `totalEarned` can wrap around in Solidity 0.5.11, causing duplicate IDs, incorrect pool advancement, or broken accounting logic.","recommendation":"Use SafeMath for all arithmetic or upgrade to Solidity ^0.8.0 with checked arithmetic.","evidence":"Multiple unchecked increments/additions on `uint` values in Solidity 0.5.11.","locations":["contracts/Contract.sol:95","contracts/Contract.sol:189","contracts/Contract.sol:202","contracts/Contract.sol:350","contracts/Contract.sol:368","contracts/Contract.sol:407","contracts/Contract.sol:442","contracts/Contract.sol:478","contracts/Contract.sol:514","contracts/Contract.sol:548"]}]}
tokens used
14,508
Metadata
{
    "codex": {
        "ran_at": "2026-01-22T05:18:51.568523+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "Multiple payout paths use `send` without handling failure, allowing payouts to be blocked and funds to accumulate, and arithmetic is unchecked under Solidity 0.5.11.",
    "raw_final": {
        "summary": "Multiple payout paths use `send` without handling failure, allowing payouts to be blocked and funds to accumulate, and arithmetic is unchecked under Solidity 0.5.11.",
        "findings": [
            {
                "title": "Payouts can be permanently blocked when recipient rejects ETH",
                "category": "other",
                "evidence": "External payouts use `address(...).send(...)` and only update state on success, without reverting or alternative handling on failure.",
                "severity": "medium",
                "locations": [
                    "contracts/Contract.sol:208",
                    "contracts/Contract.sol:218",
                    "contracts/Contract.sol:232",
                    "contracts/Contract.sol:340",
                    "contracts/Contract.sol:364",
                    "contracts/Contract.sol:404",
                    "contracts/Contract.sol:439",
                    "contracts/Contract.sol:475",
                    "contracts/Contract.sol:511",
                    "contracts/Contract.sol:546"
                ],
                "recommendation": "Use `call{value: amount}()` and require success (revert on failure) or implement a withdrawal pattern so recipients pull funds themselves. Ensure state transitions are consistent with payment success/failure.",
                "exploit_scenario": "A pool recipient or referrer registers through a contract with a reverting/expensive fallback. When it becomes the current recipient, `send` returns false. The caller still joins the pool and funds remain in the contract, but `payment_received` and `poolXactiveUserID` do not advance, so subsequent entrants keep paying with no payouts, effectively locking funds and halting progression."
            },
            {
                "title": "Unchecked arithmetic can overflow IDs and accounting counters",
                "category": "math",
                "evidence": "Multiple unchecked increments/additions on `uint` values in Solidity 0.5.11.",
                "severity": "low",
                "locations": [
                    "contracts/Contract.sol:95",
                    "contracts/Contract.sol:189",
                    "contracts/Contract.sol:202",
                    "contracts/Contract.sol:350",
                    "contracts/Contract.sol:368",
                    "contracts/Contract.sol:407",
                    "contracts/Contract.sol:442",
                    "contracts/Contract.sol:478",
                    "contracts/Contract.sol:514",
                    "contracts/Contract.sol:548"
                ],
                "recommendation": "Use SafeMath for all arithmetic or upgrade to Solidity ^0.8.0 with checked arithmetic.",
                "exploit_scenario": "With enough registrations/pool entries, counters like `currUserID`, `poolXcurrUserID`, `payment_received`, and `totalEarned` can wrap around in Solidity 0.5.11, causing duplicate IDs, incorrect pool advancement, or broken accounting logic."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
8
EXT*/BALANCE
1
Total opcodes
6072
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0230
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7ff135cd
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa87430ba
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc6d79e9d
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc6d79e9d
0000003a: EQ
0000003b: PUSH2 0x06b8
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdea9095a
00000045: EQ
00000046: PUSH2 0x06e2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe592ac56
00000050: EQ
00000051: PUSH2 0x06f7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xed3bb9fa
0000005b: EQ
0000005c: PUSH2 0x070c
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xeecbdd94
00000066: EQ
00000067: PUSH2 0x0714
0000006a: JUMPI
0000006b: PUSH2 0x0230
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xa87430ba
00000076: EQ
00000077: PUSH2 0x064b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xae01d264
00000081: EQ
00000082: PUSH2 0x067e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xbdbefbf6
0000008c: EQ
0000008d: PUSH2 0x0686
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc3285de6
00000097: EQ
00000098: PUSH2 0x069b
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc5d8444d
000000a2: EQ
000000a3: PUSH2 0x06a3
000000a6: JUMPI
000000a7: PUSH2 0x0230
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x8853b53e
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x8853b53e
000000bd: EQ
000000be: PUSH2 0x05c5
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9335dcb7
000000c8: EQ
000000c9: PUSH2 0x05e2
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x9f01c016
000000d3: EQ
000000d4: PUSH2 0x05f7
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x9f4216e8
000000de: EQ
000000df: PUSH2 0x060c
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa4bb170d
000000e9: EQ
000000ea: PUSH2 0x0636
000000ed: JUMPI
000000ee: PUSH2 0x0230
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x7ff135cd
000000f9: EQ
000000fa: PUSH2 0x04b9
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x80085ec4
00000104: EQ
00000105: PUSH2 0x04e3
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x805b4954
0000010f: EQ
00000110: PUSH2 0x0516
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x81d12c58
0000011a: EQ
0000011b: PUSH2 0x0540
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x84abfa37
00000125: EQ
00000126: PUSH2 0x0592
00000129: JUMPI
0000012a: PUSH2 0x0230
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x435ea130
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6dfa8d99
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6dfa8d99
0000014b: EQ
0000014c: PUSH2 0x03ff
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x6e2fb91d
00000156: EQ
00000157: PUSH2 0x0414
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x70ed0ada
00000161: EQ
00000162: PUSH2 0x0447
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x78dffea7
0000016c: EQ
0000016d: PUSH2 0x045c
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x79378e30
00000177: EQ
00000178: PUSH2 0x048f
0000017b: JUMPI
0000017c: PUSH2 0x0230
0000017f: JUMP
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x435ea130
00000187: EQ
00000188: PUSH2 0x038e
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x460c3c07
00000192: EQ
00000193: PUSH2 0x03b8
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x5761a7ae
0000019d: EQ
0000019e: PUSH2 0x03cd
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x5a1cb2cd
000001a8: EQ
000001a9: PUSH2 0x03e2
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x6254a0ef
000001b3: EQ
000001b4: PUSH2 0x03f7
000001b7: JUMPI
000001b8: PUSH2 0x0230
000001bb: JUMP
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x0c851e3c
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x0c851e3c
000001ce: EQ
000001cf: PUSH2 0x02ff
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x36509f77
000001d9: EQ
000001da: PUSH2 0x0329
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x38f2f446
000001e4: EQ
000001e5: PUSH2 0x033e
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x38fc99bd
000001ef: EQ
000001f0: PUSH2 0x0371
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x3bddc951
000001fa: EQ
000001fb: PUSH2 0x0379
000001fe: JUMPI
000001ff: PUSH2 0x0230
00000202: JUMP
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x01073bf5
0000020a: EQ
0000020b: PUSH2 0x0235
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x080f775f
00000215: EQ
00000216: PUSH2 0x023f
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x09ea330a
00000220: EQ
00000221: PUSH2 0x0266
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x09fd01ba
0000022b: EQ
0000022c: PUSH2 0x02b9
0000022f: JUMPI
00000230: JUMPDEST
00000231: PUSH1 0x00
00000233: DUP1
00000234: REVERT
00000235: JUMPDEST
00000236: PUSH2 0x023d
00000239: PUSH2 0x0729
0000023c: JUMP
0000023d: JUMPDEST
0000023e: STOP
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0254
00000250: PUSH2 0x0991
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: SWAP2
0000025a: DUP3
0000025b: MSTORE
0000025c: MLOAD
0000025d: SWAP1
0000025e: DUP2
0000025f: SWAP1
00000260: SUB
00000261: PUSH1 0x20
00000263: ADD
00000264: SWAP1
00000265: RETURN
00000266: JUMPDEST
00000267: CALLVALUE
00000268: DUP1
00000269: ISZERO
0000026a: PUSH2 0x0272
0000026d: JUMPI
0000026e: PUSH1 0x00
00000270: DUP1
00000271: REVERT
00000272: JUMPDEST
00000273: POP
00000274: PUSH2 0x0299
00000277: PUSH1 0x04
00000279: DUP1
0000027a: CALLDATASIZE
0000027b: SUB
0000027c: PUSH1 0x20
0000027e: DUP2
0000027f: LT
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: POP
0000028b: CALLDATALOAD
0000028c: PUSH1 0x01
0000028e: PUSH1 0x01
00000290: PUSH1 0xa0
00000292: SHL
00000293: SUB
00000294: AND
00000295: PUSH2 0x0997
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: DUP1
0000029d: MLOAD
0000029e: SWAP4
0000029f: ISZERO
000002a0: ISZERO
000002a1: DUP5
000002a2: MSTORE
000002a3: PUSH1 0x20
000002a5: DUP5
000002a6: ADD
000002a7: SWAP3
000002a8: SWAP1
000002a9: SWAP3
000002aa: MSTORE
000002ab: DUP3
000002ac: DUP3
000002ad: ADD
000002ae: MSTORE
000002af: MLOAD
000002b0: SWAP1
000002b1: DUP2
000002b2: SWAP1
000002b3: SUB
000002b4: PUSH1 0x60
000002b6: ADD
000002b7: SWAP1
000002b8: RETURN
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: DUP1
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH2 0x02e3
000002ca: PUSH1 0x04
000002cc: DUP1
000002cd: CALLDATASIZE
000002ce: SUB
000002cf: PUSH1 0x20
000002d1: DUP2
000002d2: LT
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: CALLDATALOAD
000002df: PUSH2 0x09bc
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: DUP1
000002e7: MLOAD
000002e8: PUSH1 0x01
000002ea: PUSH1 0x01
000002ec: PUSH1 0xa0
000002ee: SHL
000002ef: SUB
000002f0: SWAP1
000002f1: SWAP3
000002f2: AND
000002f3: DUP3
000002f4: MSTORE
000002f5: MLOAD
000002f6: SWAP1
000002f7: DUP2
000002f8: SWAP1
000002f9: SUB
000002fa: PUSH1 0x20
000002fc: ADD
000002fd: SWAP1
000002fe: RETURN
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x02e3
00000310: PUSH1 0x04
00000312: DUP1
00000313: CALLDATASIZE
00000314: SUB
00000315: PUSH1 0x20
00000317: DUP2
00000318: LT
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: CALLDATALOAD
00000325: PUSH2 0x09d7
00000328: JUMP
00000329: JUMPDEST
0000032a: CALLVALUE
0000032b: DUP1
0000032c: ISZERO
0000032d: PUSH2 0x0335
00000330: JUMPI
00000331: PUSH1 0x00
00000333: DUP1
00000334: REVERT
00000335: JUMPDEST
00000336: POP
00000337: PUSH2 0x0254
0000033a: PUSH2 0x09f2
0000033d: JUMP
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: DUP1
00000341: ISZERO
00000342: PUSH2 0x034a
00000345: JUMPI
00000346: PUSH1 0x00
00000348: DUP1
00000349: REVERT
0000034a: JUMPDEST
0000034b: POP
0000034c: PUSH2 0x0299
0000034f: PUSH1 0x04
00000351: DUP1
00000352: CALLDATASIZE
00000353: SUB
00000354: PUSH1 0x20
00000356: DUP2
00000357: LT
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: CALLDATALOAD
00000364: PUSH1 0x01
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: SHL
0000036b: SUB
0000036c: AND
0000036d: PUSH2 0x09f8
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH2 0x023d
00000375: PUSH2 0x0a1d
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: DUP1
0000037c: ISZERO
0000037d: PUSH2 0x0385
00000380: JUMPI
00000381: PUSH1 0x00
00000383: DUP1
00000384: REVERT
00000385: JUMPDEST
00000386: POP
00000387: PUSH2 0x0254
0000038a: PUSH2 0x0c84
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x02e3
0000039f: PUSH1 0x04
000003a1: DUP1
000003a2: CALLDATASIZE
000003a3: SUB
000003a4: PUSH1 0x20
000003a6: DUP2
000003a7: LT
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: CALLDATALOAD
000003b4: PUSH2 0x0c8a
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x0254
000003c9: PUSH2 0x0ca5
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: DUP1
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: POP
000003db: PUSH2 0x0254
000003de: PUSH2 0x0cab
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x0254
000003f3: PUSH2 0x0cb1
000003f6: JUMP
000003f7: JUMPDEST
000003f8: PUSH2 0x023d
000003fb: PUSH2 0x0cb7
000003fe: JUMP
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: PUSH2 0x0254
00000410: PUSH2 0x0f1e
00000413: JUMP
00000414: JUMPDEST
00000415: CALLVALUE
00000416: DUP1
00000417: ISZERO
00000418: PUSH2 0x0420
0000041b: JUMPI
0000041c: PUSH1 0x00
0000041e: DUP1
0000041f: REVERT
00000420: JUMPDEST
00000421: POP
00000422: PUSH2 0x0299
00000425: PUSH1 0x04
00000427: DUP1
00000428: CALLDATASIZE
00000429: SUB
0000042a: PUSH1 0x20
0000042c: DUP2
0000042d: LT
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: POP
00000439: CALLDATALOAD
0000043a: PUSH1 0x01
0000043c: PUSH1 0x01
0000043e: PUSH1 0xa0
00000440: SHL
00000441: SUB
00000442: AND
00000443: PUSH2 0x0f24
00000446: JUMP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x0254
00000458: PUSH2 0x0f49
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x0299
0000046d: PUSH1 0x04
0000046f: DUP1
00000470: CALLDATASIZE
00000471: SUB
00000472: PUSH1 0x20
00000474: DUP2
00000475: LT
00000476: ISZERO
00000477: PUSH2 0x047f
0000047a: JUMPI
0000047b: PUSH1 0x00
0000047d: DUP1
0000047e: REVERT
0000047f: JUMPDEST
00000480: POP
00000481: CALLDATALOAD
00000482: PUSH1 0x01
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: SHL
00000489: SUB
0000048a: AND
0000048b: PUSH2 0x0f4e
0000048e: JUMP
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x0254
000004a0: PUSH1 0x04
000004a2: DUP1
000004a3: CALLDATASIZE
000004a4: SUB
000004a5: PUSH1 0x20
000004a7: DUP2
000004a8: LT
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: CALLDATALOAD
000004b5: PUSH2 0x0f73
000004b8: JUMP
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH2 0x02e3
000004ca: PUSH1 0x04
000004cc: DUP1
000004cd: CALLDATASIZE
000004ce: SUB
000004cf: PUSH1 0x20
000004d1: DUP2
000004d2: LT
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: POP
000004de: CALLDATALOAD
000004df: PUSH2 0x0f85
000004e2: JUMP
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x0299
000004f4: PUSH1 0x04
000004f6: DUP1
000004f7: CALLDATASIZE
000004f8: SUB
000004f9: PUSH1 0x20
000004fb: DUP2
000004fc: LT
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: CALLDATALOAD
00000509: PUSH1 0x01
0000050b: PUSH1 0x01
0000050d: PUSH1 0xa0
0000050f: SHL
00000510: SUB
00000511: AND
00000512: PUSH2 0x0fa0
00000515: JUMP
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x02e3
00000527: PUSH1 0x04
00000529: DUP1
0000052a: CALLDATASIZE
0000052b: SUB
0000052c: PUSH1 0x20
0000052e: DUP2
0000052f: LT
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: CALLDATALOAD
0000053c: PUSH2 0x0fc5
0000053f: JUMP
00000540: JUMPDEST
00000541: CALLVALUE
00000542: DUP1
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: PUSH2 0x056a
00000551: PUSH1 0x04
00000553: DUP1
00000554: CALLDATASIZE
00000555: SUB
00000556: PUSH1 0x20
00000558: DUP2
00000559: LT
0000055a: ISZERO
0000055b: PUSH2 0x0563
0000055e: JUMPI
0000055f: PUSH1 0x00
00000561: DUP1
00000562: REVERT
00000563: JUMPDEST
00000564: POP
00000565: CALLDATALOAD
00000566: PUSH2 0x0fe0
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH1 0x40
0000056d: DUP1
0000056e: MLOAD
0000056f: SWAP5
00000570: ISZERO
00000571: ISZERO
00000572: DUP6
00000573: MSTORE
00000574: PUSH1 0x20
00000576: DUP6
00000577: ADD
00000578: SWAP4
00000579: SWAP1
0000057a: SWAP4
0000057b: MSTORE
0000057c: DUP4
0000057d: DUP4
0000057e: ADD
0000057f: SWAP2
00000580: SWAP1
00000581: SWAP2
00000582: MSTORE
00000583: PUSH1 0x60
00000585: DUP4
00000586: ADD
00000587: MSTORE
00000588: MLOAD
00000589: SWAP1
0000058a: DUP2
0000058b: SWAP1
0000058c: SUB
0000058d: PUSH1 0x80
0000058f: ADD
00000590: SWAP1
00000591: RETURN
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x0299
000005a3: PUSH1 0x04
000005a5: DUP1
000005a6: CALLDATASIZE
000005a7: SUB
000005a8: PUSH1 0x20
000005aa: DUP2
000005ab: LT
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: CALLDATALOAD
000005b8: PUSH1 0x01
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: SHL
000005bf: SUB
000005c0: AND
000005c1: PUSH2 0x101b
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH2 0x023d
000005c9: PUSH1 0x04
000005cb: DUP1
000005cc: CALLDATASIZE
000005cd: SUB
000005ce: PUSH1 0x20
000005d0: DUP2
000005d1: LT
000005d2: ISZERO
000005d3: PUSH2 0x05db
000005d6: JUMPI
000005d7: PUSH1 0x00
000005d9: DUP1
000005da: REVERT
000005db: JUMPDEST
000005dc: POP
000005dd: CALLDATALOAD
000005de: PUSH2 0x1040
000005e1: JUMP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x02e3
000005f3: PUSH2 0x123b
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x0254
00000608: PUSH2 0x124a
0000060b: JUMP
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: DUP1
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: POP
0000061a: PUSH2 0x02e3
0000061d: PUSH1 0x04
0000061f: DUP1
00000620: CALLDATASIZE
00000621: SUB
00000622: PUSH1 0x20
00000624: DUP2
00000625: LT
00000626: ISZERO
00000627: PUSH2 0x062f
0000062a: JUMPI
0000062b: PUSH1 0x00
0000062d: DUP1
0000062e: REVERT
0000062f: JUMPDEST
00000630: POP
00000631: CALLDATALOAD
00000632: PUSH2 0x1250
00000635: JUMP
00000636: JUMPDEST
00000637: CALLVALUE
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0642
0000063d: JUMPI
0000063e: PUSH1 0x00
00000640: DUP1
00000641: REVERT
00000642: JUMPDEST
00000643: POP
00000644: PUSH2 0x0254
00000647: PUSH2 0x126b
0000064a: JUMP
0000064b: JUMPDEST
0000064c: CALLVALUE
0000064d: DUP1
0000064e: ISZERO
0000064f: PUSH2 0x0657
00000652: JUMPI
00000653: PUSH1 0x00
00000655: DUP1
00000656: REVERT
00000657: JUMPDEST
00000658: POP
00000659: PUSH2 0x056a
0000065c: PUSH1 0x04
0000065e: DUP1
0000065f: CALLDATASIZE
00000660: SUB
00000661: PUSH1 0x20
00000663: DUP2
00000664: LT
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: POP
00000670: CALLDATALOAD
00000671: PUSH1 0x01
00000673: PUSH1 0x01
00000675: PUSH1 0xa0
00000677: SHL
00000678: SUB
00000679: AND
0000067a: PUSH2 0x1271
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH2 0x023d
00000682: PUSH2 0x129c
00000685: JUMP
00000686: JUMPDEST
00000687: CALLVALUE
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: POP
00000694: PUSH2 0x0254
00000697: PUSH2 0x1503
0000069a: JUMP
0000069b: JUMPDEST
0000069c: PUSH2 0x023d
0000069f: PUSH2 0x1509
000006a2: JUMP
000006a3: JUMPDEST
000006a4: CALLVALUE
000006a5: DUP1
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: POP
000006b1: PUSH2 0x0254
000006b4: PUSH2 0x176d
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x02e3
000006c9: PUSH1 0x04
000006cb: DUP1
000006cc: CALLDATASIZE
000006cd: SUB
000006ce: PUSH1 0x20
000006d0: DUP2
000006d1: LT
000006d2: ISZERO
000006d3: PUSH2 0x06db
000006d6: JUMPI
000006d7: PUSH1 0x00
000006d9: DUP1
000006da: REVERT
000006db: JUMPDEST
000006dc: POP
000006dd: CALLDATALOAD
000006de: PUSH2 0x1773
000006e1: JUMP
000006e2: JUMPDEST
000006e3: CALLVALUE
000006e4: DUP1
000006e5: ISZERO
000006e6: PUSH2 0x06ee
000006e9: JUMPI
000006ea: PUSH1 0x00
000006ec: DUP1
000006ed: REVERT
000006ee: JUMPDEST
000006ef: POP
000006f0: PUSH2 0x0254
000006f3: PUSH2 0x178e
000006f6: JUMP
000006f7: JUMPDEST
000006f8: CALLVALUE
000006f9: DUP1
000006fa: ISZERO
000006fb: PUSH2 0x0703
000006fe: JUMPI
000006ff: PUSH1 0x00
00000701: DUP1
00000702: REVERT
00000703: JUMPDEST
00000704: POP
00000705: PUSH2 0x0254
00000708: PUSH2 0x1794
0000070b: JUMP
0000070c: JUMPDEST
0000070d: PUSH2 0x023d
00000710: PUSH2 0x179a
00000713: JUMP
00000714: JUMPDEST
00000715: CALLVALUE
00000716: DUP1
00000717: ISZERO
00000718: PUSH2 0x0720
0000071b: JUMPI
0000071c: PUSH1 0x00
0000071e: DUP1
0000071f: REVERT
00000720: JUMPDEST
00000721: POP
00000722: PUSH2 0x0254
00000725: PUSH2 0x1a01
00000728: JUMP
00000729: JUMPDEST
0000072a: CALLER
0000072b: PUSH1 0x00
0000072d: SWAP1
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x0e
00000732: PUSH1 0x20
00000734: MSTORE
00000735: PUSH1 0x40
00000737: SWAP1
00000738: KECCAK256
00000739: SLOAD
0000073a: PUSH1 0xff
0000073c: AND
0000073d: PUSH2 0x0783
00000740: JUMPI
00000741: PUSH1 0x40
00000743: DUP1
00000744: MLOAD
00000745: PUSH3 0x461bcd
00000749: PUSH1 0xe5
0000074b: SHL
0000074c: DUP2
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: PUSH1 0x04
00000752: DUP3
00000753: ADD
00000754: MSTORE
00000755: PUSH1 0x13
00000757: PUSH1 0x24
00000759: DUP3
0000075a: ADD
0000075b: MSTORE
0000075c: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
00000770: PUSH1 0x6a
00000772: SHL
00000773: PUSH1 0x44
00000775: DUP3
00000776: ADD
00000777: MSTORE
00000778: SWAP1
00000779: MLOAD
0000077a: SWAP1
0000077b: DUP2
0000077c: SWAP1
0000077d: SUB
0000077e: PUSH1 0x64
00000780: ADD
00000781: SWAP1
00000782: REVERT
00000783: JUMPDEST
00000784: CALLER
00000785: PUSH1 0x00
00000787: SWAP1
00000788: DUP2
00000789: MSTORE
0000078a: PUSH1 0x10
0000078c: PUSH1 0x20
0000078e: MSTORE
0000078f: PUSH1 0x40
00000791: SWAP1
00000792: KECCAK256
00000793: SLOAD
00000794: PUSH1 0xff
00000796: AND
00000797: ISZERO
00000798: PUSH2 0x07de
0000079b: JUMPI
0000079c: PUSH1 0x40
0000079e: DUP1
0000079f: MLOAD
000007a0: PUSH3 0x461bcd
000007a4: PUSH1 0xe5
000007a6: SHL
000007a7: DUP2
000007a8: MSTORE
000007a9: PUSH1 0x20
000007ab: PUSH1 0x04
000007ad: DUP3
000007ae: ADD
000007af: MSTORE
000007b0: PUSH1 0x13
000007b2: PUSH1 0x24
000007b4: DUP3
000007b5: ADD
000007b6: MSTORE
000007b7: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
000007cb: PUSH1 0x6a
000007cd: SHL
000007ce: PUSH1 0x44
000007d0: DUP3
000007d1: ADD
000007d2: MSTORE
000007d3: SWAP1
000007d4: MLOAD
000007d5: SWAP1
000007d6: DUP2
000007d7: SWAP1
000007d8: SUB
000007d9: PUSH1 0x64
000007db: ADD
000007dc: SWAP1
000007dd: REVERT
000007de: JUMPDEST
000007df: PUSH1 0x1e
000007e1: SLOAD
000007e2: CALLVALUE
000007e3: EQ
000007e4: PUSH2 0x0826
000007e7: JUMPI
000007e8: PUSH1 0x40
000007ea: DUP1
000007eb: MLOAD
000007ec: PUSH3 0x461bcd
000007f0: PUSH1 0xe5
000007f2: SHL
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x20
000007f7: PUSH1 0x04
000007f9: DUP3
000007fa: ADD
000007fb: MSTORE
000007fc: PUSH1 0x0f
000007fe: PUSH1 0x24
00000800: DUP3
00000801: ADD
00000802: MSTORE
00000803: PUSH15 0x496e636f72726563742056616c7565
00000813: PUSH1 0x88
00000815: SHL
00000816: PUSH1 0x44
00000818: DUP3
00000819: ADD
0000081a: MSTORE
0000081b: SWAP1
0000081c: MLOAD
0000081d: SWAP1
0000081e: DUP2
0000081f: SWAP1
00000820: SUB
00000821: PUSH1 0x64
00000823: ADD
00000824: SWAP1
00000825: REVERT
00000826: JUMPDEST
00000827: PUSH2 0x082e
0000082a: PUSH2 0x203f
0000082d: JUMP
0000082e: JUMPDEST
0000082f: POP
00000830: PUSH1 0x08
00000832: SLOAD
00000833: PUSH1 0x00
00000835: SWAP1
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0x11
0000083a: PUSH1 0x20
0000083c: DUP2
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x40
00000841: DUP1
00000842: DUP5
00000843: KECCAK256
00000844: SLOAD
00000845: PUSH1 0x02
00000847: DUP1
00000848: SLOAD
00000849: PUSH1 0x01
0000084b: SWAP1
0000084c: DUP2
0000084d: ADD
0000084e: DUP1
0000084f: DUP4
00000850: SSTORE
00000851: DUP5
00000852: MLOAD
00000853: PUSH1 0x60
00000855: DUP2
00000856: ADD
00000857: DUP7
00000858: MSTORE
00000859: DUP3
0000085a: DUP2
0000085b: MSTORE
0000085c: DUP1
0000085d: DUP8
0000085e: ADD
0000085f: SWAP2
00000860: DUP3
00000861: MSTORE
00000862: DUP1
00000863: DUP7
00000864: ADD
00000865: DUP10
00000866: DUP2
00000867: MSTORE
00000868: CALLER
00000869: DUP1
0000086a: DUP12
0000086b: MSTORE
0000086c: PUSH1 0x10
0000086e: DUP10
0000086f: MSTORE
00000870: DUP8
00000871: DUP12
00000872: KECCAK256
00000873: DUP4
00000874: MLOAD
00000875: DUP2
00000876: SLOAD
00000877: PUSH1 0xff
00000879: NOT
0000087a: AND
0000087b: SWAP1
0000087c: ISZERO
0000087d: ISZERO
0000087e: OR
0000087f: DUP2
00000880: SSTORE
00000881: SWAP4
00000882: MLOAD
00000883: SWAP5
00000884: DUP5
00000885: ADD
00000886: SWAP5
00000887: SWAP1
00000888: SWAP5
00000889: SSTORE
0000088a: MLOAD
0000088b: SWAP2
0000088c: DUP5
0000088d: ADD
0000088e: SWAP2
0000088f: SWAP1
00000890: SWAP2
00000891: SSTORE
00000892: SWAP2
00000893: SLOAD
00000894: DUP8
00000895: MSTORE
00000896: SWAP5
00000897: SWAP1
00000898: SWAP4
00000899: MSTORE
0000089a: DUP2
0000089b: DUP6
0000089c: KECCAK256
0000089d: DUP1
0000089e: SLOAD
0000089f: PUSH1 0x01
000008a1: PUSH1 0x01
000008a3: PUSH1 0xa0
000008a5: SHL
000008a6: SUB
000008a7: NOT
000008a8: AND
000008a9: SWAP1
000008aa: SWAP5
000008ab: OR
000008ac: SWAP1
000008ad: SWAP4
000008ae: SSTORE
000008af: PUSH1 0x1e
000008b1: SLOAD
000008b2: SWAP1
000008b3: MLOAD
000008b4: SWAP2
000008b5: SWAP4
000008b6: PUSH1 0x01
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: SHL
000008bd: SUB
000008be: SWAP1
000008bf: SWAP4
000008c0: AND
000008c1: SWAP3
000008c2: SWAP2
000008c3: DUP4
000008c4: SWAP1
000008c5: PUSH2 0x08fc
000008c8: DUP4
000008c9: ISZERO
000008ca: MUL
000008cb: SWAP1
000008cc: DUP4
000008cd: SWAP1
000008ce: DUP6
000008cf: DUP2
000008d0: DUP2
000008d1: DUP2
000008d2: DUP6
000008d3: DUP9
000008d4: DUP9
000008d5: CALL
000008d6: SWAP4
000008d7: POP
000008d8: POP
000008d9: POP
000008da: POP
000008db: SWAP2
000008dc: POP
000008dd: DUP2
000008de: ISZERO
000008df: PUSH2 0x0963
000008e2: JUMPI
000008e3: PUSH1 0x25
000008e5: DUP1
000008e6: SLOAD
000008e7: DUP3
000008e8: ADD
000008e9: SWAP1
000008ea: SSTORE
000008eb: PUSH1 0x01
000008ed: PUSH1 0x01
000008ef: PUSH1 0xa0
000008f1: SHL
000008f2: SUB
000008f3: DUP4
000008f4: AND
000008f5: PUSH1 0x00
000008f7: SWAP1
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x10
000008fc: PUSH1 0x20
000008fe: MSTORE
000008ff: PUSH1 0x40
00000901: SWAP1
00000902: KECCAK256
00000903: PUSH1 0x02
00000905: ADD
00000906: DUP1
00000907: SLOAD
00000908: PUSH1 0x01
0000090a: ADD
0000090b: SWAP1
0000090c: DUP2
0000090d: SWAP1
0000090e: SSTORE
0000090f: PUSH1 0x03
00000911: GT
00000912: PUSH2 0x092c
00000915: JUMPI
00000916: PUSH1 0x08
00000918: DUP1
00000919: SLOAD
0000091a: PUSH1 0x01
0000091c: SWAP1
0000091d: DUP2
0000091e: ADD
0000091f: SWAP1
00000920: SWAP2
00000921: SSTORE
00000922: PUSH2 0x092c
00000925: SWAP1
00000926: DUP5
00000927: SWAP1
00000928: PUSH2 0x1a07
0000092b: JUMP
0000092c: JUMPDEST
0000092d: PUSH1 0x40
0000092f: DUP1
00000930: MLOAD
00000931: PUSH1 0x01
00000933: DUP2
00000934: MSTORE
00000935: TIMESTAMP
00000936: PUSH1 0x20
00000938: DUP3
00000939: ADD
0000093a: MSTORE
0000093b: DUP2
0000093c: MLOAD
0000093d: PUSH1 0x01
0000093f: PUSH1 0x01
00000941: PUSH1 0xa0
00000943: SHL
00000944: SUB
00000945: DUP7
00000946: AND
00000947: SWAP3
00000948: CALLER
00000949: SWAP3
0000094a: PUSH1 0x00
0000094c: DUP1
0000094d: MLOAD
0000094e: PUSH1 0x20
00000950: PUSH2 0x20cd
00000953: DUP4
00000954: CODECOPY
00000955: DUP2
00000956: MLOAD
00000957: SWAP2
00000958: MSTORE
00000959: SWAP3
0000095a: SWAP1
0000095b: DUP2
0000095c: SWAP1
0000095d: SUB
0000095e: SWAP1
0000095f: SWAP2
00000960: ADD
00000961: SWAP1
00000962: LOG3
00000963: JUMPDEST
00000964: PUSH1 0x40
00000966: DUP1
00000967: MLOAD
00000968: PUSH1 0x01
0000096a: DUP2
0000096b: MSTORE
0000096c: TIMESTAMP
0000096d: PUSH1 0x20
0000096f: DUP3
00000970: ADD
00000971: MSTORE
00000972: DUP2
00000973: MLOAD
00000974: CALLER
00000975: SWAP3
00000976: PUSH1 0x00
00000978: DUP1
00000979: MLOAD
0000097a: PUSH1 0x20
0000097c: PUSH2 0x20ad
0000097f: DUP4
00000980: CODECOPY
00000981: DUP2
00000982: MLOAD
00000983: SWAP2
00000984: MSTORE
00000985: SWAP3
00000986: DUP3
00000987: SWAP1
00000988: SUB
00000989: ADD
0000098a: SWAP1
0000098b: LOG2
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: POP
00000990: JUMP
00000991: JUMPDEST
00000992: PUSH1 0x06
00000994: SLOAD
00000995: DUP2
00000996: JUMP
00000997: JUMPDEST
00000998: PUSH1 0x18
0000099a: PUSH1 0x20
0000099c: MSTORE
0000099d: PUSH1 0x00
0000099f: SWAP1
000009a0: DUP2
000009a1: MSTORE
000009a2: PUSH1 0x40
000009a4: SWAP1
000009a5: KECCAK256
000009a6: DUP1
000009a7: SLOAD
000009a8: PUSH1 0x01
000009aa: DUP3
000009ab: ADD
000009ac: SLOAD
000009ad: PUSH1 0x02
000009af: SWAP1
000009b0: SWAP3
000009b1: ADD
000009b2: SLOAD
000009b3: PUSH1 0xff
000009b5: SWAP1
000009b6: SWAP2
000009b7: AND
000009b8: SWAP2
000009b9: SWAP1
000009ba: DUP4
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x15
000009bf: PUSH1 0x20
000009c1: MSTORE
000009c2: PUSH1 0x00
000009c4: SWAP1
000009c5: DUP2
000009c6: MSTORE
000009c7: PUSH1 0x40
000009c9: SWAP1
000009ca: KECCAK256
000009cb: SLOAD
000009cc: PUSH1 0x01
000009ce: PUSH1 0x01
000009d0: PUSH1 0xa0
000009d2: SHL
000009d3: SUB
000009d4: AND
000009d5: DUP2
000009d6: JUMP
000009d7: JUMPDEST
000009d8: PUSH1 0x11
000009da: PUSH1 0x20
000009dc: MSTORE
000009dd: PUSH1 0x00
000009df: SWAP1
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x40
000009e4: SWAP1
000009e5: KECCAK256
000009e6: SLOAD
000009e7: PUSH1 0x01
000009e9: PUSH1 0x01
000009eb: PUSH1 0xa0
000009ed: SHL
000009ee: SUB
000009ef: AND
000009f0: DUP2
000009f1: JUMP
000009f2: JUMPDEST
000009f3: PUSH1 0x08
000009f5: SLOAD
000009f6: DUP2
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH1 0x10
000009fb: PUSH1 0x20
000009fd: MSTORE
000009fe: PUSH1 0x00
00000a00: SWAP1
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x40
00000a05: SWAP1
00000a06: KECCAK256
00000a07: DUP1
00000a08: SLOAD
00000a09: PUSH1 0x01
00000a0b: DUP3
00000a0c: ADD
00000a0d: SLOAD
00000a0e: PUSH1 0x02
00000a10: SWAP1
00000a11: SWAP3
00000a12: ADD
00000a13: SLOAD
00000a14: PUSH1 0xff
00000a16: SWAP1
00000a17: SWAP2
00000a18: AND
00000a19: SWAP2
00000a1a: SWAP1
00000a1b: DUP4
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: CALLER
00000a1f: PUSH1 0x00
00000a21: SWAP1
00000a22: DUP2
00000a23: MSTORE
00000a24: PUSH1 0x0e
00000a26: PUSH1 0x20
00000a28: MSTORE
00000a29: PUSH1 0x40
00000a2b: SWAP1
00000a2c: KECCAK256
00000a2d: SLOAD
00000a2e: PUSH1 0xff
00000a30: AND
00000a31: PUSH2 0x0a77
00000a34: JUMPI
00000a35: PUSH1 0x40
00000a37: DUP1
00000a38: MLOAD
00000a39: PUSH3 0x461bcd
00000a3d: PUSH1 0xe5
00000a3f: SHL
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x20
00000a44: PUSH1 0x04
00000a46: DUP3
00000a47: ADD
00000a48: MSTORE
00000a49: PUSH1 0x13
00000a4b: PUSH1 0x24
00000a4d: DUP3
00000a4e: ADD
00000a4f: MSTORE
00000a50: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
00000a64: PUSH1 0x6a
00000a66: SHL
00000a67: PUSH1 0x44
00000a69: DUP3
00000a6a: ADD
00000a6b: MSTORE
00000a6c: SWAP1
00000a6d: MLOAD
00000a6e: SWAP1
00000a6f: DUP2
00000a70: SWAP1
00000a71: SUB
00000a72: PUSH1 0x64
00000a74: ADD
00000a75: SWAP1
00000a76: REVERT
00000a77: JUMPDEST
00000a78: CALLER
00000a79: PUSH1 0x00
00000a7b: SWAP1
00000a7c: DUP2
00000a7d: MSTORE
00000a7e: PUSH1 0x16
00000a80: PUSH1 0x20
00000a82: MSTORE
00000a83: PUSH1 0x40
00000a85: SWAP1
00000a86: KECCAK256
00000a87: SLOAD
00000a88: PUSH1 0xff
00000a8a: AND
00000a8b: ISZERO
00000a8c: PUSH2 0x0ad2
00000a8f: JUMPI
00000a90: PUSH1 0x40
00000a92: DUP1
00000a93: MLOAD
00000a94: PUSH3 0x461bcd
00000a98: PUSH1 0xe5
00000a9a: SHL
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x20
00000a9f: PUSH1 0x04
00000aa1: DUP3
00000aa2: ADD
00000aa3: MSTORE
00000aa4: PUSH1 0x13
00000aa6: PUSH1 0x24
00000aa8: DUP3
00000aa9: ADD
00000aaa: MSTORE
00000aab: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
00000abf: PUSH1 0x6a
00000ac1: SHL
00000ac2: PUSH1 0x44
00000ac4: DUP3
00000ac5: ADD
00000ac6: MSTORE
00000ac7: SWAP1
00000ac8: MLOAD
00000ac9: SWAP1
00000aca: DUP2
00000acb: SWAP1
00000acc: SUB
00000acd: PUSH1 0x64
00000acf: ADD
00000ad0: SWAP1
00000ad1: REVERT
00000ad2: JUMPDEST
00000ad3: PUSH1 0x21
00000ad5: SLOAD
00000ad6: CALLVALUE
00000ad7: EQ
00000ad8: PUSH2 0x0b1a
00000adb: JUMPI
00000adc: PUSH1 0x40
00000ade: DUP1
00000adf: MLOAD
00000ae0: PUSH3 0x461bcd
00000ae4: PUSH1 0xe5
00000ae6: SHL
00000ae7: DUP2
00000ae8: MSTORE
00000ae9: PUSH1 0x20
00000aeb: PUSH1 0x04
00000aed: DUP3
00000aee: ADD
00000aef: MSTORE
00000af0: PUSH1 0x0f
00000af2: PUSH1 0x24
00000af4: DUP3
00000af5: ADD
00000af6: MSTORE
00000af7: PUSH15 0x496e636f72726563742056616c7565
00000b07: PUSH1 0x88
00000b09: SHL
00000b0a: PUSH1 0x44
00000b0c: DUP3
00000b0d: ADD
00000b0e: MSTORE
00000b0f: SWAP1
00000b10: MLOAD
00000b11: SWAP1
00000b12: DUP2
00000b13: SWAP1
00000b14: SUB
00000b15: PUSH1 0x64
00000b17: ADD
00000b18: SWAP1
00000b19: REVERT
00000b1a: JUMPDEST
00000b1b: PUSH2 0x0b22
00000b1e: PUSH2 0x203f
00000b21: JUMP
00000b22: JUMPDEST
00000b23: POP
00000b24: PUSH1 0x0b
00000b26: SLOAD
00000b27: PUSH1 0x00
00000b29: SWAP1
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x17
00000b2e: PUSH1 0x20
00000b30: DUP2
00000b31: DUP2
00000b32: MSTORE
00000b33: PUSH1 0x40
00000b35: DUP1
00000b36: DUP5
00000b37: KECCAK256
00000b38: SLOAD
00000b39: PUSH1 0x05
00000b3b: DUP1
00000b3c: SLOAD
00000b3d: PUSH1 0x01
00000b3f: SWAP1
00000b40: DUP2
00000b41: ADD
00000b42: DUP1
00000b43: DUP4
00000b44: SSTORE
00000b45: DUP5
00000b46: MLOAD
00000b47: PUSH1 0x60
00000b49: DUP2
00000b4a: ADD
00000b4b: DUP7
00000b4c: MSTORE
00000b4d: DUP3
00000b4e: DUP2
00000b4f: MSTORE
00000b50: DUP1
00000b51: DUP8
00000b52: ADD
00000b53: SWAP2
00000b54: DUP3
00000b55: MSTORE
00000b56: DUP1
00000b57: DUP7
00000b58: ADD
00000b59: DUP10
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: CALLER
00000b5d: DUP1
00000b5e: DUP12
00000b5f: MSTORE
00000b60: PUSH1 0x16
00000b62: DUP10
00000b63: MSTORE
00000b64: DUP8
00000b65: DUP12
00000b66: KECCAK256
00000b67: DUP4
00000b68: MLOAD
00000b69: DUP2
00000b6a: SLOAD
00000b6b: PUSH1 0xff
00000b6d: NOT
00000b6e: AND
00000b6f: SWAP1
00000b70: ISZERO
00000b71: ISZERO
00000b72: OR
00000b73: DUP2
00000b74: SSTORE
00000b75: SWAP4
00000b76: MLOAD
00000b77: SWAP5
00000b78: DUP5
00000b79: ADD
00000b7a: SWAP5
00000b7b: SWAP1
00000b7c: SWAP5
00000b7d: SSTORE
00000b7e: MLOAD
00000b7f: PUSH1 0x02
00000b81: SWAP1
00000b82: SWAP3
00000b83: ADD
00000b84: SWAP2
00000b85: SWAP1
00000b86: SWAP2
00000b87: SSTORE
00000b88: SWAP2
00000b89: SLOAD
00000b8a: DUP8
00000b8b: MSTORE
00000b8c: SWAP5
00000b8d: SWAP1
00000b8e: SWAP4
00000b8f: MSTORE
00000b90: DUP2
00000b91: DUP6
00000b92: KECCAK256
00000b93: DUP1
00000b94: SLOAD
00000b95: PUSH1 0x01
00000b97: PUSH1 0x01
00000b99: PUSH1 0xa0
00000b9b: SHL
00000b9c: SUB
00000b9d: NOT
00000b9e: AND
00000b9f: SWAP1
00000ba0: SWAP5
00000ba1: OR
00000ba2: SWAP1
00000ba3: SWAP4
00000ba4: SSTORE
00000ba5: PUSH1 0x21
00000ba7: SLOAD
00000ba8: SWAP1
00000ba9: MLOAD
00000baa: SWAP2
00000bab: SWAP4
00000bac: PUSH1 0x01
00000bae: PUSH1 0x01
00000bb0: PUSH1 0xa0
00000bb2: SHL
00000bb3: SUB
00000bb4: SWAP1
00000bb5: SWAP4
00000bb6: AND
00000bb7: SWAP3
00000bb8: SWAP2
00000bb9: DUP4
00000bba: SWAP1
00000bbb: PUSH2 0x08fc
00000bbe: DUP4
00000bbf: ISZERO
00000bc0: MUL
00000bc1: SWAP1
00000bc2: DUP4
00000bc3: SWAP1
00000bc4: DUP6
00000bc5: DUP2
00000bc6: DUP2
00000bc7: DUP2
00000bc8: DUP6
00000bc9: DUP9
00000bca: DUP9
00000bcb: CALL
00000bcc: SWAP4
00000bcd: POP
00000bce: POP
00000bcf: POP
00000bd0: POP
00000bd1: SWAP2
00000bd2: POP
00000bd3: DUP2
00000bd4: ISZERO
00000bd5: PUSH2 0x0c56
00000bd8: JUMPI
00000bd9: PUSH1 0x25
00000bdb: DUP1
00000bdc: SLOAD
00000bdd: DUP3
00000bde: ADD
00000bdf: SWAP1
00000be0: SSTORE
00000be1: PUSH1 0x01
00000be3: PUSH1 0x01
00000be5: PUSH1 0xa0
00000be7: SHL
00000be8: SUB
00000be9: DUP4
00000bea: AND
00000beb: PUSH1 0x00
00000bed: SWAP1
00000bee: DUP2
00000bef: MSTORE
00000bf0: PUSH1 0x16
00000bf2: PUSH1 0x20
00000bf4: MSTORE
00000bf5: PUSH1 0x40
00000bf7: SWAP1
00000bf8: KECCAK256
00000bf9: PUSH1 0x02
00000bfb: ADD
00000bfc: DUP1
00000bfd: SLOAD
00000bfe: PUSH1 0x01
00000c00: ADD
00000c01: SWAP1
00000c02: DUP2
00000c03: SWAP1
00000c04: SSTORE
00000c05: PUSH1 0x03
00000c07: GT
00000c08: PUSH2 0x0c1f
00000c0b: JUMPI
00000c0c: PUSH1 0x0b
00000c0e: DUP1
00000c0f: SLOAD
00000c10: PUSH1 0x01
00000c12: ADD
00000c13: SWAP1
00000c14: SSTORE
00000c15: PUSH2 0x0c1f
00000c18: DUP4
00000c19: PUSH1 0x04
00000c1b: PUSH2 0x1a07
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x40
00000c22: DUP1
00000c23: MLOAD
00000c24: PUSH1 0x04
00000c26: DUP2
00000c27: MSTORE
00000c28: TIMESTAMP
00000c29: PUSH1 0x20
00000c2b: DUP3
00000c2c: ADD
00000c2d: MSTORE
00000c2e: DUP2
00000c2f: MLOAD
00000c30: PUSH1 0x01
00000c32: PUSH1 0x01
00000c34: PUSH1 0xa0
00000c36: SHL
00000c37: SUB
00000c38: DUP7
00000c39: AND
00000c3a: SWAP3
00000c3b: CALLER
00000c3c: SWAP3
00000c3d: PUSH1 0x00
00000c3f: DUP1
00000c40: MLOAD
00000c41: PUSH1 0x20
00000c43: PUSH2 0x20cd
00000c46: DUP4
00000c47: CODECOPY
00000c48: DUP2
00000c49: MLOAD
00000c4a: SWAP2
00000c4b: MSTORE
00000c4c: SWAP3
00000c4d: SWAP1
00000c4e: DUP2
00000c4f: SWAP1
00000c50: SUB
00000c51: SWAP1
00000c52: SWAP2
00000c53: ADD
00000c54: SWAP1
00000c55: LOG3
00000c56: JUMPDEST
00000c57: PUSH1 0x40
00000c59: DUP1
00000c5a: MLOAD
00000c5b: PUSH1 0x04
00000c5d: DUP2
00000c5e: MSTORE
00000c5f: TIMESTAMP
00000c60: PUSH1 0x20
00000c62: DUP3
00000c63: ADD
00000c64: MSTORE
00000c65: DUP2
00000c66: MLOAD
00000c67: CALLER
00000c68: SWAP3
00000c69: PUSH1 0x00
00000c6b: DUP1
00000c6c: MLOAD
00000c6d: PUSH1 0x20
00000c6f: PUSH2 0x20ad
00000c72: DUP4
00000c73: CODECOPY
00000c74: DUP2
00000c75: MLOAD
00000c76: SWAP2
00000c77: MSTORE
00000c78: SWAP3
00000c79: DUP3
00000c7a: SWAP1
00000c7b: SUB
00000c7c: ADD
00000c7d: SWAP1
00000c7e: LOG2
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: POP
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x0c
00000c87: SLOAD
00000c88: DUP2
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x17
00000c8d: PUSH1 0x20
00000c8f: MSTORE
00000c90: PUSH1 0x00
00000c92: SWAP1
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x40
00000c97: SWAP1
00000c98: KECCAK256
00000c99: SLOAD
00000c9a: PUSH1 0x01
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0xa0
00000ca0: SHL
00000ca1: SUB
00000ca2: AND
00000ca3: DUP2
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x09
00000ca8: SLOAD
00000ca9: DUP2
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH1 0x02
00000cae: SLOAD
00000caf: DUP2
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH1 0x0b
00000cb4: SLOAD
00000cb5: DUP2
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: CALLER
00000cb9: PUSH1 0x00
00000cbb: SWAP1
00000cbc: DUP2
00000cbd: MSTORE
00000cbe: PUSH1 0x0e
00000cc0: PUSH1 0x20
00000cc2: MSTORE
00000cc3: PUSH1 0x40
00000cc5: SWAP1
00000cc6: KECCAK256
00000cc7: SLOAD
00000cc8: PUSH1 0xff
00000cca: AND
00000ccb: PUSH2 0x0d11
00000cce: JUMPI
00000ccf: PUSH1 0x40
00000cd1: DUP1
00000cd2: MLOAD
00000cd3: PUSH3 0x461bcd
00000cd7: PUSH1 0xe5
00000cd9: SHL
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x20
00000cde: PUSH1 0x04
00000ce0: DUP3
00000ce1: ADD
00000ce2: MSTORE
00000ce3: PUSH1 0x13
00000ce5: PUSH1 0x24
00000ce7: DUP3
00000ce8: ADD
00000ce9: MSTORE
00000cea: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
00000cfe: PUSH1 0x6a
00000d00: SHL
00000d01: PUSH1 0x44
00000d03: DUP3
00000d04: ADD
00000d05: MSTORE
00000d06: SWAP1
00000d07: MLOAD
00000d08: SWAP1
00000d09: DUP2
00000d0a: SWAP1
00000d0b: SUB
00000d0c: PUSH1 0x64
00000d0e: ADD
00000d0f: SWAP1
00000d10: REVERT
00000d11: JUMPDEST
00000d12: CALLER
00000d13: PUSH1 0x00
00000d15: SWAP1
00000d16: DUP2
00000d17: MSTORE
00000d18: PUSH1 0x12
00000d1a: PUSH1 0x20
00000d1c: MSTORE
00000d1d: PUSH1 0x40
00000d1f: SWAP1
00000d20: KECCAK256
00000d21: SLOAD
00000d22: PUSH1 0xff
00000d24: AND
00000d25: ISZERO
00000d26: PUSH2 0x0d6c
00000d29: JUMPI
00000d2a: PUSH1 0x40
00000d2c: DUP1
00000d2d: MLOAD
00000d2e: PUSH3 0x461bcd
00000d32: PUSH1 0xe5
00000d34: SHL
00000d35: DUP2
00000d36: MSTORE
00000d37: PUSH1 0x20
00000d39: PUSH1 0x04
00000d3b: DUP3
00000d3c: ADD
00000d3d: MSTORE
00000d3e: PUSH1 0x13
00000d40: PUSH1 0x24
00000d42: DUP3
00000d43: ADD
00000d44: MSTORE
00000d45: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
00000d59: PUSH1 0x6a
00000d5b: SHL
00000d5c: PUSH1 0x44
00000d5e: DUP3
00000d5f: ADD
00000d60: MSTORE
00000d61: SWAP1
00000d62: MLOAD
00000d63: SWAP1
00000d64: DUP2
00000d65: SWAP1
00000d66: SUB
00000d67: PUSH1 0x64
00000d69: ADD
00000d6a: SWAP1
00000d6b: REVERT
00000d6c: JUMPDEST
00000d6d: PUSH1 0x1f
00000d6f: SLOAD
00000d70: CALLVALUE
00000d71: EQ
00000d72: PUSH2 0x0db4
00000d75: JUMPI
00000d76: PUSH1 0x40
00000d78: DUP1
00000d79: MLOAD
00000d7a: PUSH3 0x461bcd
00000d7e: PUSH1 0xe5
00000d80: SHL
00000d81: DUP2
00000d82: MSTORE
00000d83: PUSH1 0x20
00000d85: PUSH1 0x04
00000d87: DUP3
00000d88: ADD
00000d89: MSTORE
00000d8a: PUSH1 0x0f
00000d8c: PUSH1 0x24
00000d8e: DUP3
00000d8f: ADD
00000d90: MSTORE
00000d91: PUSH15 0x496e636f72726563742056616c7565
00000da1: PUSH1 0x88
00000da3: SHL
00000da4: PUSH1 0x44
00000da6: DUP3
00000da7: ADD
00000da8: MSTORE
00000da9: SWAP1
00000daa: MLOAD
00000dab: SWAP1
00000dac: DUP2
00000dad: SWAP1
00000dae: SUB
00000daf: PUSH1 0x64
00000db1: ADD
00000db2: SWAP1
00000db3: REVERT
00000db4: JUMPDEST
00000db5: PUSH2 0x0dbc
00000db8: PUSH2 0x203f
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: POP
00000dbe: PUSH1 0x09
00000dc0: SLOAD
00000dc1: PUSH1 0x00
00000dc3: SWAP1
00000dc4: DUP2
00000dc5: MSTORE
00000dc6: PUSH1 0x13
00000dc8: PUSH1 0x20
00000dca: DUP2
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x40
00000dcf: DUP1
00000dd0: DUP5
00000dd1: KECCAK256
00000dd2: SLOAD
00000dd3: PUSH1 0x03
00000dd5: DUP1
00000dd6: SLOAD
00000dd7: PUSH1 0x01
00000dd9: SWAP1
00000dda: DUP2
00000ddb: ADD
00000ddc: DUP1
00000ddd: DUP4
00000dde: SSTORE
00000ddf: DUP5
00000de0: MLOAD
00000de1: PUSH1 0x60
00000de3: DUP2
00000de4: ADD
00000de5: DUP7
00000de6: MSTORE
00000de7: DUP3
00000de8: DUP2
00000de9: MSTORE
00000dea: DUP1
00000deb: DUP8
00000dec: ADD
00000ded: SWAP2
00000dee: DUP3
00000def: MSTORE
00000df0: DUP1
00000df1: DUP7
00000df2: ADD
00000df3: DUP10
00000df4: DUP2
00000df5: MSTORE
00000df6: CALLER
00000df7: DUP1
00000df8: DUP12
00000df9: MSTORE
00000dfa: PUSH1 0x12
00000dfc: DUP10
00000dfd: MSTORE
00000dfe: DUP8
00000dff: DUP12
00000e00: KECCAK256
00000e01: DUP4
00000e02: MLOAD
00000e03: DUP2
00000e04: SLOAD
00000e05: PUSH1 0xff
00000e07: NOT
00000e08: AND
00000e09: SWAP1
00000e0a: ISZERO
00000e0b: ISZERO
00000e0c: OR
00000e0d: DUP2
00000e0e: SSTORE
00000e0f: SWAP4
00000e10: MLOAD
00000e11: SWAP5
00000e12: DUP5
00000e13: ADD
00000e14: SWAP5
00000e15: SWAP1
00000e16: SWAP5
00000e17: SSTORE
00000e18: MLOAD
00000e19: PUSH1 0x02
00000e1b: SWAP1
00000e1c: SWAP3
00000e1d: ADD
00000e1e: SWAP2
00000e1f: SWAP1
00000e20: SWAP2
00000e21: SSTORE
00000e22: SWAP2
00000e23: SLOAD
00000e24: DUP8
00000e25: MSTORE
00000e26: SWAP5
00000e27: SWAP1
00000e28: SWAP4
00000e29: MSTORE
00000e2a: DUP2
00000e2b: DUP6
00000e2c: KECCAK256
00000e2d: DUP1
00000e2e: SLOAD
00000e2f: PUSH1 0x01
00000e31: PUSH1 0x01
00000e33: PUSH1 0xa0
00000e35: SHL
00000e36: SUB
00000e37: NOT
00000e38: AND
00000e39: SWAP1
00000e3a: SWAP5
00000e3b: OR
00000e3c: SWAP1
00000e3d: SWAP4
00000e3e: SSTORE
00000e3f: PUSH1 0x1f
00000e41: SLOAD
00000e42: SWAP1
00000e43: MLOAD
00000e44: SWAP2
00000e45: SWAP4
00000e46: PUSH1 0x01
00000e48: PUSH1 0x01
00000e4a: PUSH1 0xa0
00000e4c: SHL
00000e4d: SUB
00000e4e: SWAP1
00000e4f: SWAP4
00000e50: AND
00000e51: SWAP3
00000e52: SWAP2
00000e53: DUP4
00000e54: SWAP1
00000e55: PUSH2 0x08fc
00000e58: DUP4
00000e59: ISZERO
00000e5a: MUL
00000e5b: SWAP1
00000e5c: DUP4
00000e5d: SWAP1
00000e5e: DUP6
00000e5f: DUP2
00000e60: DUP2
00000e61: DUP2
00000e62: DUP6
00000e63: DUP9
00000e64: DUP9
00000e65: CALL
00000e66: SWAP4
00000e67: POP
00000e68: POP
00000e69: POP
00000e6a: POP
00000e6b: SWAP2
00000e6c: POP
00000e6d: DUP2
00000e6e: ISZERO
00000e6f: PUSH2 0x0ef0
00000e72: JUMPI
00000e73: PUSH1 0x25
00000e75: DUP1
00000e76: SLOAD
00000e77: DUP3
00000e78: ADD
00000e79: SWAP1
00000e7a: SSTORE
00000e7b: PUSH1 0x01
00000e7d: PUSH1 0x01
00000e7f: PUSH1 0xa0
00000e81: SHL
00000e82: SUB
00000e83: DUP4
00000e84: AND
00000e85: PUSH1 0x00
00000e87: SWAP1
00000e88: DUP2
00000e89: MSTORE
00000e8a: PUSH1 0x12
00000e8c: PUSH1 0x20
00000e8e: MSTORE
00000e8f: PUSH1 0x40
00000e91: SWAP1
00000e92: KECCAK256
00000e93: PUSH1 0x02
00000e95: ADD
00000e96: DUP1
00000e97: SLOAD
00000e98: PUSH1 0x01
00000e9a: ADD
00000e9b: SWAP1
00000e9c: DUP2
00000e9d: SWAP1
00000e9e: SSTORE
00000e9f: PUSH1 0x03
00000ea1: GT
00000ea2: PUSH2 0x0eb9
00000ea5: JUMPI
00000ea6: PUSH1 0x09
00000ea8: DUP1
00000ea9: SLOAD
00000eaa: PUSH1 0x01
00000eac: ADD
00000ead: SWAP1
00000eae: SSTORE
00000eaf: PUSH2 0x0eb9
00000eb2: DUP4
00000eb3: PUSH1 0x02
00000eb5: PUSH2 0x1a07
00000eb8: JUMP
00000eb9: JUMPDEST
00000eba: PUSH1 0x40
00000ebc: DUP1
00000ebd: MLOAD
00000ebe: PUSH1 0x02
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: TIMESTAMP
00000ec3: PUSH1 0x20
00000ec5: DUP3
00000ec6: ADD
00000ec7: MSTORE
00000ec8: DUP2
00000ec9: MLOAD
00000eca: PUSH1 0x01
00000ecc: PUSH1 0x01
00000ece: PUSH1 0xa0
00000ed0: SHL
00000ed1: SUB
00000ed2: DUP7
00000ed3: AND
00000ed4: SWAP3
00000ed5: CALLER
00000ed6: SWAP3
00000ed7: PUSH1 0x00
00000ed9: DUP1
00000eda: MLOAD
00000edb: PUSH1 0x20
00000edd: PUSH2 0x20cd
00000ee0: DUP4
00000ee1: CODECOPY
00000ee2: DUP2
00000ee3: MLOAD
00000ee4: SWAP2
00000ee5: MSTORE
00000ee6: SWAP3
00000ee7: SWAP1
00000ee8: DUP2
00000ee9: SWAP1
00000eea: SUB
00000eeb: SWAP1
00000eec: SWAP2
00000eed: ADD
00000eee: SWAP1
00000eef: LOG3
00000ef0: JUMPDEST
00000ef1: PUSH1 0x40
00000ef3: DUP1
00000ef4: MLOAD
00000ef5: PUSH1 0x02
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: TIMESTAMP
00000efa: PUSH1 0x20
00000efc: DUP3
00000efd: ADD
00000efe: MSTORE
00000eff: DUP2
00000f00: MLOAD
00000f01: CALLER
00000f02: SWAP3
00000f03: PUSH1 0x00
00000f05: DUP1
00000f06: MLOAD
00000f07: PUSH1 0x20
00000f09: PUSH2 0x20ad
00000f0c: DUP4
00000f0d: CODECOPY
00000f0e: DUP2
00000f0f: MLOAD
00000f10: SWAP2
00000f11: MSTORE
00000f12: SWAP3
00000f13: DUP3
00000f14: SWAP1
00000f15: SUB
00000f16: ADD
00000f17: SWAP1
00000f18: LOG2
00000f19: POP
00000f1a: POP
00000f1b: POP
00000f1c: POP
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: PUSH1 0x25
00000f21: SLOAD
00000f22: DUP2
00000f23: JUMP
00000f24: JUMPDEST
00000f25: PUSH1 0x1a
00000f27: PUSH1 0x20
00000f29: MSTORE
00000f2a: PUSH1 0x00
00000f2c: SWAP1
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x40
00000f31: SWAP1
00000f32: KECCAK256
00000f33: DUP1
00000f34: SLOAD
00000f35: PUSH1 0x01
00000f37: DUP3
00000f38: ADD
00000f39: SLOAD
00000f3a: PUSH1 0x02
00000f3c: SWAP1
00000f3d: SWAP3
00000f3e: ADD
00000f3f: SLOAD
00000f40: PUSH1 0xff
00000f42: SWAP1
00000f43: SWAP2
00000f44: AND
00000f45: SWAP2
00000f46: SWAP1
00000f47: DUP4
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: ADDRESS
00000f4b: BALANCE
00000f4c: SWAP1
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH1 0x14
00000f51: PUSH1 0x20
00000f53: MSTORE
00000f54: PUSH1 0x00
00000f56: SWAP1
00000f57: DUP2
00000f58: MSTORE
00000f59: PUSH1 0x40
00000f5b: SWAP1
00000f5c: KECCAK256
00000f5d: DUP1
00000f5e: SLOAD
00000f5f: PUSH1 0x01
00000f61: DUP3
00000f62: ADD
00000f63: SLOAD
00000f64: PUSH1 0x02
00000f66: SWAP1
00000f67: SWAP3
00000f68: ADD
00000f69: SLOAD
00000f6a: PUSH1 0xff
00000f6c: SWAP1
00000f6d: SWAP2
00000f6e: AND
00000f6f: SWAP2
00000f70: SWAP1
00000f71: DUP4
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x1c
00000f76: PUSH1 0x20
00000f78: MSTORE
00000f79: PUSH1 0x00
00000f7b: SWAP1
00000f7c: DUP2
00000f7d: MSTORE
00000f7e: PUSH1 0x40
00000f80: SWAP1
00000f81: KECCAK256
00000f82: SLOAD
00000f83: DUP2
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH1 0x13
00000f88: PUSH1 0x20
00000f8a: MSTORE
00000f8b: PUSH1 0x00
00000f8d: SWAP1
00000f8e: DUP2
00000f8f: MSTORE
00000f90: PUSH1 0x40
00000f92: SWAP1
00000f93: KECCAK256
00000f94: SLOAD
00000f95: PUSH1 0x01
00000f97: PUSH1 0x01
00000f99: PUSH1 0xa0
00000f9b: SHL
00000f9c: SUB
00000f9d: AND
00000f9e: DUP2
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x16
00000fa3: PUSH1 0x20
00000fa5: MSTORE
00000fa6: PUSH1 0x00
00000fa8: SWAP1
00000fa9: DUP2
00000faa: MSTORE
00000fab: PUSH1 0x40
00000fad: SWAP1
00000fae: KECCAK256
00000faf: DUP1
00000fb0: SLOAD
00000fb1: PUSH1 0x01
00000fb3: DUP3
00000fb4: ADD
00000fb5: SLOAD
00000fb6: PUSH1 0x02
00000fb8: SWAP1
00000fb9: SWAP3
00000fba: ADD
00000fbb: SLOAD
00000fbc: PUSH1 0xff
00000fbe: SWAP1
00000fbf: SWAP2
00000fc0: AND
00000fc1: SWAP2
00000fc2: SWAP1
00000fc3: DUP4
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: PUSH1 0x1b
00000fc8: PUSH1 0x20
00000fca: MSTORE
00000fcb: PUSH1 0x00
00000fcd: SWAP1
00000fce: DUP2
00000fcf: MSTORE
00000fd0: PUSH1 0x40
00000fd2: SWAP1
00000fd3: KECCAK256
00000fd4: SLOAD
00000fd5: PUSH1 0x01
00000fd7: PUSH1 0x01
00000fd9: PUSH1 0xa0
00000fdb: SHL
00000fdc: SUB
00000fdd: AND
00000fde: DUP2
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH1 0x24
00000fe3: DUP2
00000fe4: DUP2
00000fe5: SLOAD
00000fe6: DUP2
00000fe7: LT
00000fe8: PUSH2 0x0fed
00000feb: JUMPI
00000fec: INVALID
00000fed: JUMPDEST
00000fee: PUSH1 0x00
00000ff0: SWAP2
00000ff1: DUP3
00000ff2: MSTORE
00000ff3: PUSH1 0x20
00000ff5: SWAP1
00000ff6: SWAP2
00000ff7: KECCAK256
00000ff8: PUSH1 0x05
00000ffa: SWAP1
00000ffb: SWAP2
00000ffc: MUL
00000ffd: ADD
00000ffe: DUP1
00000fff: SLOAD
00001000: PUSH1 0x01
00001002: DUP3
00001003: ADD
00001004: SLOAD
00001005: PUSH1 0x02
00001007: DUP4
00001008: ADD
00001009: SLOAD
0000100a: PUSH1 0x03
0000100c: SWAP1
0000100d: SWAP4
0000100e: ADD
0000100f: SLOAD
00001010: PUSH1 0xff
00001012: SWAP1
00001013: SWAP3
00001014: AND
00001015: SWAP4
00001016: POP
00001017: SWAP2
00001018: SWAP1
00001019: DUP5
0000101a: JUMP
0000101b: JUMPDEST
0000101c: PUSH1 0x12
0000101e: PUSH1 0x20
00001020: MSTORE
00001021: PUSH1 0x00
00001023: SWAP1
00001024: DUP2
00001025: MSTORE
00001026: PUSH1 0x40
00001028: SWAP1
00001029: KECCAK256
0000102a: DUP1
0000102b: SLOAD
0000102c: PUSH1 0x01
0000102e: DUP3
0000102f: ADD
00001030: SLOAD
00001031: PUSH1 0x02
00001033: SWAP1
00001034: SWAP3
00001035: ADD
00001036: SLOAD
00001037: PUSH1 0xff
00001039: SWAP1
0000103a: SWAP2
0000103b: AND
0000103c: SWAP2
0000103d: SWAP1
0000103e: DUP4
0000103f: JUMP
00001040: JUMPDEST
00001041: CALLER
00001042: PUSH1 0x00
00001044: SWAP1
00001045: DUP2
00001046: MSTORE
00001047: PUSH1 0x0e
00001049: PUSH1 0x20
0000104b: MSTORE
0000104c: PUSH1 0x40
0000104e: SWAP1
0000104f: KECCAK256
00001050: SLOAD
00001051: PUSH1 0xff
00001053: AND
00001054: ISZERO
00001055: PUSH2 0x1093
00001058: JUMPI
00001059: PUSH1 0x40
0000105b: DUP1
0000105c: MLOAD
0000105d: PUSH3 0x461bcd
00001061: PUSH1 0xe5
00001063: SHL
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x20
00001068: PUSH1 0x04
0000106a: DUP3
0000106b: ADD
0000106c: MSTORE
0000106d: PUSH1 0x0b
0000106f: PUSH1 0x24
00001071: DUP3
00001072: ADD
00001073: MSTORE
00001074: PUSH11 0x5573657220457869737473
00001080: PUSH1 0xa8
00001082: SHL
00001083: PUSH1 0x44
00001085: DUP3
00001086: ADD
00001087: MSTORE
00001088: SWAP1
00001089: MLOAD
0000108a: SWAP1
0000108b: DUP2
0000108c: SWAP1
0000108d: SUB
0000108e: PUSH1 0x64
00001090: ADD
00001091: SWAP1
00001092: REVERT
00001093: JUMPDEST
00001094: PUSH1 0x00
00001096: DUP2
00001097: GT
00001098: DUP1
00001099: ISZERO
0000109a: PUSH2 0x10a5
0000109d: JUMPI
0000109e: POP
0000109f: PUSH1 0x01
000010a1: SLOAD
000010a2: DUP2
000010a3: GT
000010a4: ISZERO
000010a5: JUMPDEST
000010a6: PUSH2 0x10ee
000010a9: JUMPI
000010aa: PUSH1 0x40
000010ac: DUP1
000010ad: MLOAD
000010ae: PUSH3 0x461bcd
000010b2: PUSH1 0xe5
000010b4: SHL
000010b5: DUP2
000010b6: MSTORE
000010b7: PUSH1 0x20
000010b9: PUSH1 0x04
000010bb: DUP3
000010bc: ADD
000010bd: MSTORE
000010be: PUSH1 0x15
000010c0: PUSH1 0x24
000010c2: DUP3
000010c3: ADD
000010c4: MSTORE
000010c5: PUSH21 0x125b98dbdc9c9958dd081c9959995c9c985b081251
000010db: PUSH1 0x5a
000010dd: SHL
000010de: PUSH1 0x44
000010e0: DUP3
000010e1: ADD
000010e2: MSTORE
000010e3: SWAP1
000010e4: MLOAD
000010e5: SWAP1
000010e6: DUP2
000010e7: SWAP1
000010e8: SUB
000010e9: PUSH1 0x64
000010eb: ADD
000010ec: SWAP1
000010ed: REVERT
000010ee: JUMPDEST
000010ef: PUSH1 0x1d
000010f1: SLOAD
000010f2: CALLVALUE
000010f3: EQ
000010f4: PUSH2 0x1136
000010f7: JUMPI
000010f8: PUSH1 0x40
000010fa: DUP1
000010fb: MLOAD
000010fc: PUSH3 0x461bcd
00001100: PUSH1 0xe5
00001102: SHL
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x20
00001107: PUSH1 0x04
00001109: DUP3
0000110a: ADD
0000110b: MSTORE
0000110c: PUSH1 0x0f
0000110e: PUSH1 0x24
00001110: DUP3
00001111: ADD
00001112: MSTORE
00001113: PUSH15 0x496e636f72726563742056616c7565
00001123: PUSH1 0x88
00001125: SHL
00001126: PUSH1 0x44
00001128: DUP3
00001129: ADD
0000112a: MSTORE
0000112b: SWAP1
0000112c: MLOAD
0000112d: SWAP1
0000112e: DUP2
0000112f: SWAP1
00001130: SUB
00001131: PUSH1 0x64
00001133: ADD
00001134: SWAP1
00001135: REVERT
00001136: JUMPDEST
00001137: PUSH2 0x113e
0000113a: PUSH2 0x2062
0000113d: JUMP
0000113e: JUMPDEST
0000113f: POP
00001140: PUSH1 0x01
00001142: DUP1
00001143: SLOAD
00001144: DUP2
00001145: ADD
00001146: DUP1
00001147: DUP3
00001148: SSTORE
00001149: PUSH1 0x40
0000114b: DUP1
0000114c: MLOAD
0000114d: PUSH1 0x80
0000114f: DUP2
00001150: ADD
00001151: DUP3
00001152: MSTORE
00001153: DUP4
00001154: DUP2
00001155: MSTORE
00001156: PUSH1 0x20
00001158: DUP1
00001159: DUP3
0000115a: ADD
0000115b: SWAP4
0000115c: DUP5
0000115d: MSTORE
0000115e: DUP2
0000115f: DUP4
00001160: ADD
00001161: DUP7
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x00
00001166: PUSH1 0x60
00001168: DUP5
00001169: ADD
0000116a: DUP2
0000116b: DUP2
0000116c: MSTORE
0000116d: CALLER
0000116e: DUP1
0000116f: DUP4
00001170: MSTORE
00001171: PUSH1 0x0e
00001173: DUP1
00001174: DUP7
00001175: MSTORE
00001176: DUP8
00001177: DUP5
00001178: KECCAK256
00001179: DUP8
0000117a: MLOAD
0000117b: DUP2
0000117c: SLOAD
0000117d: PUSH1 0xff
0000117f: NOT
00001180: AND
00001181: SWAP1
00001182: ISZERO
00001183: ISZERO
00001184: OR
00001185: DUP2
00001186: SSTORE
00001187: SWAP9
00001188: MLOAD
00001189: DUP10
0000118a: DUP12
0000118b: ADD
0000118c: SSTORE
0000118d: SWAP4
0000118e: MLOAD
0000118f: PUSH1 0x02
00001191: DUP10
00001192: ADD
00001193: SWAP1
00001194: DUP2
00001195: SSTORE
00001196: SWAP2
00001197: MLOAD
00001198: PUSH1 0x03
0000119a: SWAP9
0000119b: DUP10
0000119c: ADD
0000119d: SSTORE
0000119e: DUP9
0000119f: SLOAD
000011a0: DUP4
000011a1: MSTORE
000011a2: PUSH1 0x0f
000011a4: DUP6
000011a5: MSTORE
000011a6: DUP7
000011a7: DUP4
000011a8: KECCAK256
000011a9: DUP1
000011aa: SLOAD
000011ab: PUSH1 0x01
000011ad: PUSH1 0x01
000011af: PUSH1 0xa0
000011b1: SHL
000011b2: SUB
000011b3: NOT
000011b4: AND
000011b5: DUP3
000011b6: OR
000011b7: SWAP1
000011b8: SSTORE
000011b9: SWAP1
000011ba: SLOAD
000011bb: DUP3
000011bc: MSTORE
000011bd: DUP6
000011be: DUP3
000011bf: KECCAK256
000011c0: SLOAD
000011c1: PUSH1 0x01
000011c3: PUSH1 0x01
000011c5: PUSH1 0xa0
000011c7: SHL
000011c8: SUB
000011c9: AND
000011ca: DUP3
000011cb: MSTORE
000011cc: SWAP2
000011cd: SWAP1
000011ce: SWAP3
000011cf: MSTORE
000011d0: SWAP3
000011d1: SWAP1
000011d2: KECCAK256
000011d3: SWAP1
000011d4: SWAP3
000011d5: ADD
000011d6: DUP1
000011d7: SLOAD
000011d8: DUP5
000011d9: ADD
000011da: SWAP1
000011db: SSTORE
000011dc: SWAP1
000011dd: SWAP2
000011de: PUSH2 0x11e6
000011e1: SWAP2
000011e2: PUSH2 0x1eeb
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: DUP3
000011ea: DUP2
000011eb: MSTORE
000011ec: PUSH1 0x0f
000011ee: PUSH1 0x20
000011f0: SWAP1
000011f1: DUP2
000011f2: MSTORE
000011f3: PUSH1 0x40
000011f5: SWAP2
000011f6: DUP3
000011f7: SWAP1
000011f8: KECCAK256
000011f9: SLOAD
000011fa: DUP3
000011fb: MLOAD
000011fc: TIMESTAMP
000011fd: DUP2
000011fe: MSTORE
000011ff: SWAP3
00001200: MLOAD
00001201: PUSH1 0x01
00001203: PUSH1 0x01
00001205: PUSH1 0xa0
00001207: SHL
00001208: SUB
00001209: SWAP1
0000120a: SWAP2
0000120b: AND
0000120c: SWAP3
0000120d: CALLER
0000120e: SWAP3
0000120f: PUSH32 0x788c06d2405ae89dd3f0528d38be7691289474d72176408bc2c2406dc5e342f1
00001230: SWAP3
00001231: SWAP2
00001232: DUP3
00001233: SWAP1
00001234: SUB
00001235: ADD
00001236: SWAP1
00001237: LOG3
00001238: POP
00001239: POP
0000123a: JUMP
0000123b: JUMPDEST
0000123c: PUSH1 0x00
0000123e: SLOAD
0000123f: PUSH1 0x01
00001241: PUSH1 0x01
00001243: PUSH1 0xa0
00001245: SHL
00001246: SUB
00001247: AND
00001248: DUP2
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x05
0000124d: SLOAD
0000124e: DUP2
0000124f: JUMP
00001250: JUMPDEST
00001251: PUSH1 0x0f
00001253: PUSH1 0x20
00001255: MSTORE
00001256: PUSH1 0x00
00001258: SWAP1
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x40
0000125d: SWAP1
0000125e: KECCAK256
0000125f: SLOAD
00001260: PUSH1 0x01
00001262: PUSH1 0x01
00001264: PUSH1 0xa0
00001266: SHL
00001267: SUB
00001268: AND
00001269: DUP2
0000126a: JUMP
0000126b: JUMPDEST
0000126c: PUSH1 0x01
0000126e: SLOAD
0000126f: DUP2
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x0e
00001274: PUSH1 0x20
00001276: MSTORE
00001277: PUSH1 0x00
00001279: SWAP1
0000127a: DUP2
0000127b: MSTORE
0000127c: PUSH1 0x40
0000127e: SWAP1
0000127f: KECCAK256
00001280: DUP1
00001281: SLOAD
00001282: PUSH1 0x01
00001284: DUP3
00001285: ADD
00001286: SLOAD
00001287: PUSH1 0x02
00001289: DUP4
0000128a: ADD
0000128b: SLOAD
0000128c: PUSH1 0x03
0000128e: SWAP1
0000128f: SWAP4
00001290: ADD
00001291: SLOAD
00001292: PUSH1 0xff
00001294: SWAP1
00001295: SWAP3
00001296: AND
00001297: SWAP3
00001298: SWAP1
00001299: SWAP2
0000129a: DUP5
0000129b: JUMP
0000129c: JUMPDEST
0000129d: CALLER
0000129e: PUSH1 0x00
000012a0: SWAP1
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x0e
000012a5: PUSH1 0x20
000012a7: MSTORE
000012a8: PUSH1 0x40
000012aa: SWAP1
000012ab: KECCAK256
000012ac: SLOAD
000012ad: PUSH1 0xff
000012af: AND
000012b0: PUSH2 0x12f6
000012b3: JUMPI
000012b4: PUSH1 0x40
000012b6: DUP1
000012b7: MLOAD
000012b8: PUSH3 0x461bcd
000012bc: PUSH1 0xe5
000012be: SHL
000012bf: DUP2
000012c0: MSTORE
000012c1: PUSH1 0x20
000012c3: PUSH1 0x04
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: PUSH1 0x13
000012ca: PUSH1 0x24
000012cc: DUP3
000012cd: ADD
000012ce: MSTORE
000012cf: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
000012e3: PUSH1 0x6a
000012e5: SHL
000012e6: PUSH1 0x44
000012e8: DUP3
000012e9: ADD
000012ea: MSTORE
000012eb: SWAP1
000012ec: MLOAD
000012ed: SWAP1
000012ee: DUP2
000012ef: SWAP1
000012f0: SUB
000012f1: PUSH1 0x64
000012f3: ADD
000012f4: SWAP1
000012f5: REVERT
000012f6: JUMPDEST
000012f7: CALLER
000012f8: PUSH1 0x00
000012fa: SWAP1
000012fb: DUP2
000012fc: MSTORE
000012fd: PUSH1 0x1a
000012ff: PUSH1 0x20
00001301: MSTORE
00001302: PUSH1 0x40
00001304: SWAP1
00001305: KECCAK256
00001306: SLOAD
00001307: PUSH1 0xff
00001309: AND
0000130a: ISZERO
0000130b: PUSH2 0x1351
0000130e: JUMPI
0000130f: PUSH1 0x40
00001311: DUP1
00001312: MLOAD
00001313: PUSH3 0x461bcd
00001317: PUSH1 0xe5
00001319: SHL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: MSTORE
00001323: PUSH1 0x13
00001325: PUSH1 0x24
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
0000133e: PUSH1 0x6a
00001340: SHL
00001341: PUSH1 0x44
00001343: DUP3
00001344: ADD
00001345: MSTORE
00001346: SWAP1
00001347: MLOAD
00001348: SWAP1
00001349: DUP2
0000134a: SWAP1
0000134b: SUB
0000134c: PUSH1 0x64
0000134e: ADD
0000134f: SWAP1
00001350: REVERT
00001351: JUMPDEST
00001352: PUSH1 0x23
00001354: SLOAD
00001355: CALLVALUE
00001356: EQ
00001357: PUSH2 0x1399
0000135a: JUMPI
0000135b: PUSH1 0x40
0000135d: DUP1
0000135e: MLOAD
0000135f: PUSH3 0x461bcd
00001363: PUSH1 0xe5
00001365: SHL
00001366: DUP2
00001367: MSTORE
00001368: PUSH1 0x20
0000136a: PUSH1 0x04
0000136c: DUP3
0000136d: ADD
0000136e: MSTORE
0000136f: PUSH1 0x0f
00001371: PUSH1 0x24
00001373: DUP3
00001374: ADD
00001375: MSTORE
00001376: PUSH15 0x496e636f72726563742056616c7565
00001386: PUSH1 0x88
00001388: SHL
00001389: PUSH1 0x44
0000138b: DUP3
0000138c: ADD
0000138d: MSTORE
0000138e: SWAP1
0000138f: MLOAD
00001390: SWAP1
00001391: DUP2
00001392: SWAP1
00001393: SUB
00001394: PUSH1 0x64
00001396: ADD
00001397: SWAP1
00001398: REVERT
00001399: JUMPDEST
0000139a: PUSH2 0x13a1
0000139d: PUSH2 0x203f
000013a0: JUMP
000013a1: JUMPDEST
000013a2: POP
000013a3: PUSH1 0x0d
000013a5: SLOAD
000013a6: PUSH1 0x00
000013a8: SWAP1
000013a9: DUP2
000013aa: MSTORE
000013ab: PUSH1 0x1b
000013ad: PUSH1 0x20
000013af: DUP2
000013b0: DUP2
000013b1: MSTORE
000013b2: PUSH1 0x40
000013b4: DUP1
000013b5: DUP5
000013b6: KECCAK256
000013b7: SLOAD
000013b8: PUSH1 0x07
000013ba: DUP1
000013bb: SLOAD
000013bc: PUSH1 0x01
000013be: SWAP1
000013bf: DUP2
000013c0: ADD
000013c1: DUP1
000013c2: DUP4
000013c3: SSTORE
000013c4: DUP5
000013c5: MLOAD
000013c6: PUSH1 0x60
000013c8: DUP2
000013c9: ADD
000013ca: DUP7
000013cb: MSTORE
000013cc: DUP3
000013cd: DUP2
000013ce: MSTORE
000013cf: DUP1
000013d0: DUP8
000013d1: ADD
000013d2: SWAP2
000013d3: DUP3
000013d4: MSTORE
000013d5: DUP1
000013d6: DUP7
000013d7: ADD
000013d8: DUP10
000013d9: DUP2
000013da: MSTORE
000013db: CALLER
000013dc: DUP1
000013dd: DUP12
000013de: MSTORE
000013df: PUSH1 0x1a
000013e1: DUP10
000013e2: MSTORE
000013e3: DUP8
000013e4: DUP12
000013e5: KECCAK256
000013e6: DUP4
000013e7: MLOAD
000013e8: DUP2
000013e9: SLOAD
000013ea: PUSH1 0xff
000013ec: NOT
000013ed: AND
000013ee: SWAP1
000013ef: ISZERO
000013f0: ISZERO
000013f1: OR
000013f2: DUP2
000013f3: SSTORE
000013f4: SWAP4
000013f5: MLOAD
000013f6: SWAP5
000013f7: DUP5
000013f8: ADD
000013f9: SWAP5
000013fa: SWAP1
000013fb: SWAP5
000013fc: SSTORE
000013fd: MLOAD
000013fe: PUSH1 0x02
00001400: SWAP1
00001401: SWAP3
00001402: ADD
00001403: SWAP2
00001404: SWAP1
00001405: SWAP2
00001406: SSTORE
00001407: SWAP2
00001408: SLOAD
00001409: DUP8
0000140a: MSTORE
0000140b: SWAP5
0000140c: SWAP1
0000140d: SWAP4
0000140e: MSTORE
0000140f: DUP2
00001410: DUP6
00001411: KECCAK256
00001412: DUP1
00001413: SLOAD
00001414: PUSH1 0x01
00001416: PUSH1 0x01
00001418: PUSH1 0xa0
0000141a: SHL
0000141b: SUB
0000141c: NOT
0000141d: AND
0000141e: SWAP1
0000141f: SWAP5
00001420: OR
00001421: SWAP1
00001422: SWAP4
00001423: SSTORE
00001424: PUSH1 0x23
00001426: SLOAD
00001427: SWAP1
00001428: MLOAD
00001429: SWAP2
0000142a: SWAP4
0000142b: PUSH1 0x01
0000142d: PUSH1 0x01
0000142f: PUSH1 0xa0
00001431: SHL
00001432: SUB
00001433: SWAP1
00001434: SWAP4
00001435: AND
00001436: SWAP3
00001437: SWAP2
00001438: DUP4
00001439: SWAP1
0000143a: PUSH2 0x08fc
0000143d: DUP4
0000143e: ISZERO
0000143f: MUL
00001440: SWAP1
00001441: DUP4
00001442: SWAP1
00001443: DUP6
00001444: DUP2
00001445: DUP2
00001446: DUP2
00001447: DUP6
00001448: DUP9
00001449: DUP9
0000144a: CALL
0000144b: SWAP4
0000144c: POP
0000144d: POP
0000144e: POP
0000144f: POP
00001450: SWAP2
00001451: POP
00001452: DUP2
00001453: ISZERO
00001454: PUSH2 0x14d5
00001457: JUMPI
00001458: PUSH1 0x25
0000145a: DUP1
0000145b: SLOAD
0000145c: DUP3
0000145d: ADD
0000145e: SWAP1
0000145f: SSTORE
00001460: PUSH1 0x01
00001462: PUSH1 0x01
00001464: PUSH1 0xa0
00001466: SHL
00001467: SUB
00001468: DUP4
00001469: AND
0000146a: PUSH1 0x00
0000146c: SWAP1
0000146d: DUP2
0000146e: MSTORE
0000146f: PUSH1 0x1a
00001471: PUSH1 0x20
00001473: MSTORE
00001474: PUSH1 0x40
00001476: SWAP1
00001477: KECCAK256
00001478: PUSH1 0x02
0000147a: ADD
0000147b: DUP1
0000147c: SLOAD
0000147d: PUSH1 0x01
0000147f: ADD
00001480: SWAP1
00001481: DUP2
00001482: SWAP1
00001483: SSTORE
00001484: PUSH1 0x03
00001486: GT
00001487: PUSH2 0x149e
0000148a: JUMPI
0000148b: PUSH1 0x0d
0000148d: DUP1
0000148e: SLOAD
0000148f: PUSH1 0x01
00001491: ADD
00001492: SWAP1
00001493: SSTORE
00001494: PUSH2 0x149e
00001497: DUP4
00001498: PUSH1 0x06
0000149a: PUSH2 0x1a07
0000149d: JUMP
0000149e: JUMPDEST
0000149f: PUSH1 0x40
000014a1: DUP1
000014a2: MLOAD
000014a3: PUSH1 0x06
000014a5: DUP2
000014a6: MSTORE
000014a7: TIMESTAMP
000014a8: PUSH1 0x20
000014aa: DUP3
000014ab: ADD
000014ac: MSTORE
000014ad: DUP2
000014ae: MLOAD
000014af: PUSH1 0x01
000014b1: PUSH1 0x01
000014b3: PUSH1 0xa0
000014b5: SHL
000014b6: SUB
000014b7: DUP7
000014b8: AND
000014b9: SWAP3
000014ba: CALLER
000014bb: SWAP3
000014bc: PUSH1 0x00
000014be: DUP1
000014bf: MLOAD
000014c0: PUSH1 0x20
000014c2: PUSH2 0x20cd
000014c5: DUP4
000014c6: CODECOPY
000014c7: DUP2
000014c8: MLOAD
000014c9: SWAP2
000014ca: MSTORE
000014cb: SWAP3
000014cc: SWAP1
000014cd: DUP2
000014ce: SWAP1
000014cf: SUB
000014d0: SWAP1
000014d1: SWAP2
000014d2: ADD
000014d3: SWAP1
000014d4: LOG3
000014d5: JUMPDEST
000014d6: PUSH1 0x40
000014d8: DUP1
000014d9: MLOAD
000014da: PUSH1 0x06
000014dc: DUP2
000014dd: MSTORE
000014de: TIMESTAMP
000014df: PUSH1 0x20
000014e1: DUP3
000014e2: ADD
000014e3: MSTORE
000014e4: DUP2
000014e5: MLOAD
000014e6: CALLER
000014e7: SWAP3
000014e8: PUSH1 0x00
000014ea: DUP1
000014eb: MLOAD
000014ec: PUSH1 0x20
000014ee: PUSH2 0x20ad
000014f1: DUP4
000014f2: CODECOPY
000014f3: DUP2
000014f4: MLOAD
000014f5: SWAP2
000014f6: MSTORE
000014f7: SWAP3
000014f8: DUP3
000014f9: SWAP1
000014fa: SUB
000014fb: ADD
000014fc: SWAP1
000014fd: LOG2
000014fe: POP
000014ff: POP
00001500: POP
00001501: POP
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x03
00001506: SLOAD
00001507: DUP2
00001508: JUMP
00001509: JUMPDEST
0000150a: CALLER
0000150b: PUSH1 0x00
0000150d: SWAP1
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x0e
00001512: PUSH1 0x20
00001514: MSTORE
00001515: PUSH1 0x40
00001517: SWAP1
00001518: KECCAK256
00001519: SLOAD
0000151a: PUSH1 0xff
0000151c: AND
0000151d: PUSH2 0x1563
00001520: JUMPI
00001521: PUSH1 0x40
00001523: DUP1
00001524: MLOAD
00001525: PUSH3 0x461bcd
00001529: PUSH1 0xe5
0000152b: SHL
0000152c: DUP2
0000152d: MSTORE
0000152e: PUSH1 0x20
00001530: PUSH1 0x04
00001532: DUP3
00001533: ADD
00001534: MSTORE
00001535: PUSH1 0x13
00001537: PUSH1 0x24
00001539: DUP3
0000153a: ADD
0000153b: MSTORE
0000153c: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
00001550: PUSH1 0x6a
00001552: SHL
00001553: PUSH1 0x44
00001555: DUP3
00001556: ADD
00001557: MSTORE
00001558: SWAP1
00001559: MLOAD
0000155a: SWAP1
0000155b: DUP2
0000155c: SWAP1
0000155d: SUB
0000155e: PUSH1 0x64
00001560: ADD
00001561: SWAP1
00001562: REVERT
00001563: JUMPDEST
00001564: CALLER
00001565: PUSH1 0x00
00001567: SWAP1
00001568: DUP2
00001569: MSTORE
0000156a: PUSH1 0x14
0000156c: PUSH1 0x20
0000156e: MSTORE
0000156f: PUSH1 0x40
00001571: SWAP1
00001572: KECCAK256
00001573: SLOAD
00001574: PUSH1 0xff
00001576: AND
00001577: ISZERO
00001578: PUSH2 0x15be
0000157b: JUMPI
0000157c: PUSH1 0x40
0000157e: DUP1
0000157f: MLOAD
00001580: PUSH3 0x461bcd
00001584: PUSH1 0xe5
00001586: SHL
00001587: DUP2
00001588: MSTORE
00001589: PUSH1 0x20
0000158b: PUSH1 0x04
0000158d: DUP3
0000158e: ADD
0000158f: MSTORE
00001590: PUSH1 0x13
00001592: PUSH1 0x24
00001594: DUP3
00001595: ADD
00001596: MSTORE
00001597: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
000015ab: PUSH1 0x6a
000015ad: SHL
000015ae: PUSH1 0x44
000015b0: DUP3
000015b1: ADD
000015b2: MSTORE
000015b3: SWAP1
000015b4: MLOAD
000015b5: SWAP1
000015b6: DUP2
000015b7: SWAP1
000015b8: SUB
000015b9: PUSH1 0x64
000015bb: ADD
000015bc: SWAP1
000015bd: REVERT
000015be: JUMPDEST
000015bf: PUSH1 0x20
000015c1: SLOAD
000015c2: CALLVALUE
000015c3: EQ
000015c4: PUSH2 0x1606
000015c7: JUMPI
000015c8: PUSH1 0x40
000015ca: DUP1
000015cb: MLOAD
000015cc: PUSH3 0x461bcd
000015d0: PUSH1 0xe5
000015d2: SHL
000015d3: DUP2
000015d4: MSTORE
000015d5: PUSH1 0x20
000015d7: PUSH1 0x04
000015d9: DUP3
000015da: ADD
000015db: MSTORE
000015dc: PUSH1 0x0f
000015de: PUSH1 0x24
000015e0: DUP3
000015e1: ADD
000015e2: MSTORE
000015e3: PUSH15 0x496e636f72726563742056616c7565
000015f3: PUSH1 0x88
000015f5: SHL
000015f6: PUSH1 0x44
000015f8: DUP3
000015f9: ADD
000015fa: MSTORE
000015fb: SWAP1
000015fc: MLOAD
000015fd: SWAP1
000015fe: DUP2
000015ff: SWAP1
00001600: SUB
00001601: PUSH1 0x64
00001603: ADD
00001604: SWAP1
00001605: REVERT
00001606: JUMPDEST
00001607: PUSH2 0x160e
0000160a: PUSH2 0x203f
0000160d: JUMP
0000160e: JUMPDEST
0000160f: POP
00001610: PUSH1 0x0a
00001612: SLOAD
00001613: PUSH1 0x00
00001615: SWAP1
00001616: DUP2
00001617: MSTORE
00001618: PUSH1 0x15
0000161a: PUSH1 0x20
0000161c: DUP2
0000161d: DUP2
0000161e: MSTORE
0000161f: PUSH1 0x40
00001621: DUP1
00001622: DUP5
00001623: KECCAK256
00001624: SLOAD
00001625: PUSH1 0x04
00001627: DUP1
00001628: SLOAD
00001629: PUSH1 0x01
0000162b: SWAP1
0000162c: DUP2
0000162d: ADD
0000162e: DUP1
0000162f: DUP4
00001630: SSTORE
00001631: DUP5
00001632: MLOAD
00001633: PUSH1 0x60
00001635: DUP2
00001636: ADD
00001637: DUP7
00001638: MSTORE
00001639: DUP3
0000163a: DUP2
0000163b: MSTORE
0000163c: DUP1
0000163d: DUP8
0000163e: ADD
0000163f: SWAP2
00001640: DUP3
00001641: MSTORE
00001642: DUP1
00001643: DUP7
00001644: ADD
00001645: DUP10
00001646: DUP2
00001647: MSTORE
00001648: CALLER
00001649: DUP1
0000164a: DUP12
0000164b: MSTORE
0000164c: PUSH1 0x14
0000164e: DUP10
0000164f: MSTORE
00001650: DUP8
00001651: DUP12
00001652: KECCAK256
00001653: DUP4
00001654: MLOAD
00001655: DUP2
00001656: SLOAD
00001657: PUSH1 0xff
00001659: NOT
0000165a: AND
0000165b: SWAP1
0000165c: ISZERO
0000165d: ISZERO
0000165e: OR
0000165f: DUP2
00001660: SSTORE
00001661: SWAP4
00001662: MLOAD
00001663: SWAP5
00001664: DUP5
00001665: ADD
00001666: SWAP5
00001667: SWAP1
00001668: SWAP5
00001669: SSTORE
0000166a: MLOAD
0000166b: PUSH1 0x02
0000166d: SWAP1
0000166e: SWAP3
0000166f: ADD
00001670: SWAP2
00001671: SWAP1
00001672: SWAP2
00001673: SSTORE
00001674: SWAP2
00001675: SLOAD
00001676: DUP8
00001677: MSTORE
00001678: SWAP5
00001679: DUP5
0000167a: MSTORE
0000167b: DUP3
0000167c: DUP7
0000167d: KECCAK256
0000167e: DUP1
0000167f: SLOAD
00001680: PUSH1 0x01
00001682: PUSH1 0x01
00001684: PUSH1 0xa0
00001686: SHL
00001687: SUB
00001688: NOT
00001689: AND
0000168a: SWAP1
0000168b: SWAP6
0000168c: OR
0000168d: SWAP1
0000168e: SWAP5
0000168f: SSTORE
00001690: SWAP2
00001691: SLOAD
00001692: SWAP1
00001693: MLOAD
00001694: SWAP3
00001695: SWAP4
00001696: PUSH1 0x01
00001698: PUSH1 0x01
0000169a: PUSH1 0xa0
0000169c: SHL
0000169d: SUB
0000169e: SWAP1
0000169f: SWAP3
000016a0: AND
000016a1: SWAP3
000016a2: DUP4
000016a3: SWAP1
000016a4: PUSH2 0x08fc
000016a7: DUP4
000016a8: ISZERO
000016a9: MUL
000016aa: SWAP1
000016ab: DUP4
000016ac: SWAP1
000016ad: DUP6
000016ae: DUP2
000016af: DUP2
000016b0: DUP2
000016b1: DUP6
000016b2: DUP9
000016b3: DUP9
000016b4: CALL
000016b5: SWAP4
000016b6: POP
000016b7: POP
000016b8: POP
000016b9: POP
000016ba: SWAP2
000016bb: POP
000016bc: DUP2
000016bd: ISZERO
000016be: PUSH2 0x173f
000016c1: JUMPI
000016c2: PUSH1 0x25
000016c4: DUP1
000016c5: SLOAD
000016c6: DUP3
000016c7: ADD
000016c8: SWAP1
000016c9: SSTORE
000016ca: PUSH1 0x01
000016cc: PUSH1 0x01
000016ce: PUSH1 0xa0
000016d0: SHL
000016d1: SUB
000016d2: DUP4
000016d3: AND
000016d4: PUSH1 0x00
000016d6: SWAP1
000016d7: DUP2
000016d8: MSTORE
000016d9: PUSH1 0x14
000016db: PUSH1 0x20
000016dd: MSTORE
000016de: PUSH1 0x40
000016e0: SWAP1
000016e1: KECCAK256
000016e2: PUSH1 0x02
000016e4: ADD
000016e5: DUP1
000016e6: SLOAD
000016e7: PUSH1 0x01
000016e9: ADD
000016ea: SWAP1
000016eb: DUP2
000016ec: SWAP1
000016ed: SSTORE
000016ee: PUSH1 0x03
000016f0: GT
000016f1: PUSH2 0x1708
000016f4: JUMPI
000016f5: PUSH1 0x0a
000016f7: DUP1
000016f8: SLOAD
000016f9: PUSH1 0x01
000016fb: ADD
000016fc: SWAP1
000016fd: SSTORE
000016fe: PUSH2 0x1708
00001701: DUP4
00001702: PUSH1 0x03
00001704: PUSH2 0x1a07
00001707: JUMP
00001708: JUMPDEST
00001709: PUSH1 0x40
0000170b: DUP1
0000170c: MLOAD
0000170d: PUSH1 0x03
0000170f: DUP2
00001710: MSTORE
00001711: TIMESTAMP
00001712: PUSH1 0x20
00001714: DUP3
00001715: ADD
00001716: MSTORE
00001717: DUP2
00001718: MLOAD
00001719: PUSH1 0x01
0000171b: PUSH1 0x01
0000171d: PUSH1 0xa0
0000171f: SHL
00001720: SUB
00001721: DUP7
00001722: AND
00001723: SWAP3
00001724: CALLER
00001725: SWAP3
00001726: PUSH1 0x00
00001728: DUP1
00001729: MLOAD
0000172a: PUSH1 0x20
0000172c: PUSH2 0x20cd
0000172f: DUP4
00001730: CODECOPY
00001731: DUP2
00001732: MLOAD
00001733: SWAP2
00001734: MSTORE
00001735: SWAP3
00001736: SWAP1
00001737: DUP2
00001738: SWAP1
00001739: SUB
0000173a: SWAP1
0000173b: SWAP2
0000173c: ADD
0000173d: SWAP1
0000173e: LOG3
0000173f: JUMPDEST
00001740: PUSH1 0x40
00001742: DUP1
00001743: MLOAD
00001744: PUSH1 0x03
00001746: DUP2
00001747: MSTORE
00001748: TIMESTAMP
00001749: PUSH1 0x20
0000174b: DUP3
0000174c: ADD
0000174d: MSTORE
0000174e: DUP2
0000174f: MLOAD
00001750: CALLER
00001751: SWAP3
00001752: PUSH1 0x00
00001754: DUP1
00001755: MLOAD
00001756: PUSH1 0x20
00001758: PUSH2 0x20ad
0000175b: DUP4
0000175c: CODECOPY
0000175d: DUP2
0000175e: MLOAD
0000175f: SWAP2
00001760: MSTORE
00001761: SWAP3
00001762: DUP3
00001763: SWAP1
00001764: SUB
00001765: ADD
00001766: SWAP1
00001767: LOG2
00001768: POP
00001769: POP
0000176a: POP
0000176b: POP
0000176c: JUMP
0000176d: JUMPDEST
0000176e: PUSH1 0x04
00001770: SLOAD
00001771: DUP2
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x19
00001776: PUSH1 0x20
00001778: MSTORE
00001779: PUSH1 0x00
0000177b: SWAP1
0000177c: DUP2
0000177d: MSTORE
0000177e: PUSH1 0x40
00001780: SWAP1
00001781: KECCAK256
00001782: SLOAD
00001783: PUSH1 0x01
00001785: PUSH1 0x01
00001787: PUSH1 0xa0
00001789: SHL
0000178a: SUB
0000178b: AND
0000178c: DUP2
0000178d: JUMP
0000178e: JUMPDEST
0000178f: PUSH1 0x0a
00001791: SLOAD
00001792: DUP2
00001793: JUMP
00001794: JUMPDEST
00001795: PUSH1 0x07
00001797: SLOAD
00001798: DUP2
00001799: JUMP
0000179a: JUMPDEST
0000179b: CALLER
0000179c: PUSH1 0x00
0000179e: SWAP1
0000179f: DUP2
000017a0: MSTORE
000017a1: PUSH1 0x0e
000017a3: PUSH1 0x20
000017a5: MSTORE
000017a6: PUSH1 0x40
000017a8: SWAP1
000017a9: KECCAK256
000017aa: SLOAD
000017ab: PUSH1 0xff
000017ad: AND
000017ae: PUSH2 0x17f4
000017b1: JUMPI
000017b2: PUSH1 0x40
000017b4: DUP1
000017b5: MLOAD
000017b6: PUSH3 0x461bcd
000017ba: PUSH1 0xe5
000017bc: SHL
000017bd: DUP2
000017be: MSTORE
000017bf: PUSH1 0x20
000017c1: PUSH1 0x04
000017c3: DUP3
000017c4: ADD
000017c5: MSTORE
000017c6: PUSH1 0x13
000017c8: PUSH1 0x24
000017ca: DUP3
000017cb: ADD
000017cc: MSTORE
000017cd: PUSH19 0x155cd95c88139bdd08149959da5cdd195c9959
000017e1: PUSH1 0x6a
000017e3: SHL
000017e4: PUSH1 0x44
000017e6: DUP3
000017e7: ADD
000017e8: MSTORE
000017e9: SWAP1
000017ea: MLOAD
000017eb: SWAP1
000017ec: DUP2
000017ed: SWAP1
000017ee: SUB
000017ef: PUSH1 0x64
000017f1: ADD
000017f2: SWAP1
000017f3: REVERT
000017f4: JUMPDEST
000017f5: CALLER
000017f6: PUSH1 0x00
000017f8: SWAP1
000017f9: DUP2
000017fa: MSTORE
000017fb: PUSH1 0x18
000017fd: PUSH1 0x20
000017ff: MSTORE
00001800: PUSH1 0x40
00001802: SWAP1
00001803: KECCAK256
00001804: SLOAD
00001805: PUSH1 0xff
00001807: AND
00001808: ISZERO
00001809: PUSH2 0x184f
0000180c: JUMPI
0000180d: PUSH1 0x40
0000180f: DUP1
00001810: MLOAD
00001811: PUSH3 0x461bcd
00001815: PUSH1 0xe5
00001817: SHL
00001818: DUP2
00001819: MSTORE
0000181a: PUSH1 0x20
0000181c: PUSH1 0x04
0000181e: DUP3
0000181f: ADD
00001820: MSTORE
00001821: PUSH1 0x13
00001823: PUSH1 0x24
00001825: DUP3
00001826: ADD
00001827: MSTORE
00001828: PUSH19 0x105b1c9958591e481a5b88105d5d1bd41bdbdb
0000183c: PUSH1 0x6a
0000183e: SHL
0000183f: PUSH1 0x44
00001841: DUP3
00001842: ADD
00001843: MSTORE
00001844: SWAP1
00001845: MLOAD
00001846: SWAP1
00001847: DUP2
00001848: SWAP1
00001849: SUB
0000184a: PUSH1 0x64
0000184c: ADD
0000184d: SWAP1
0000184e: REVERT
0000184f: JUMPDEST
00001850: PUSH1 0x22
00001852: SLOAD
00001853: CALLVALUE
00001854: EQ
00001855: PUSH2 0x1897
00001858: JUMPI
00001859: PUSH1 0x40
0000185b: DUP1
0000185c: MLOAD
0000185d: PUSH3 0x461bcd
00001861: PUSH1 0xe5
00001863: SHL
00001864: DUP2
00001865: MSTORE
00001866: PUSH1 0x20
00001868: PUSH1 0x04
0000186a: DUP3
0000186b: ADD
0000186c: MSTORE
0000186d: PUSH1 0x0f
0000186f: PUSH1 0x24
00001871: DUP3
00001872: ADD
00001873: MSTORE
00001874: PUSH15 0x496e636f72726563742056616c7565
00001884: PUSH1 0x88
00001886: SHL
00001887: PUSH1 0x44
00001889: DUP3
0000188a: ADD
0000188b: MSTORE
0000188c: SWAP1
0000188d: MLOAD
0000188e: SWAP1
0000188f: DUP2
00001890: SWAP1
00001891: SUB
00001892: PUSH1 0x64
00001894: ADD
00001895: SWAP1
00001896: REVERT
00001897: JUMPDEST
00001898: PUSH2 0x189f
0000189b: PUSH2 0x203f
0000189e: JUMP
0000189f: JUMPDEST
000018a0: POP
000018a1: PUSH1 0x0c
000018a3: SLOAD
000018a4: PUSH1 0x00
000018a6: SWAP1
000018a7: DUP2
000018a8: MSTORE
000018a9: PUSH1 0x19
000018ab: PUSH1 0x20
000018ad: DUP2
000018ae: DUP2
000018af: MSTORE
000018b0: PUSH1 0x40
000018b2: DUP1
000018b3: DUP5
000018b4: KECCAK256
000018b5: SLOAD
000018b6: PUSH1 0x06
000018b8: DUP1
000018b9: SLOAD
000018ba: PUSH1 0x01
000018bc: SWAP1
000018bd: DUP2
000018be: ADD
000018bf: DUP1
000018c0: DUP4
000018c1: SSTORE
000018c2: DUP5
000018c3: MLOAD
000018c4: PUSH1 0x60
000018c6: DUP2
000018c7: ADD
000018c8: DUP7
000018c9: MSTORE
000018ca: DUP3
000018cb: DUP2
000018cc: MSTORE
000018cd: DUP1
000018ce: DUP8
000018cf: ADD
000018d0: SWAP2
000018d1: DUP3
000018d2: MSTORE
000018d3: DUP1
000018d4: DUP7
000018d5: ADD
000018d6: DUP10
000018d7: DUP2
000018d8: MSTORE
000018d9: CALLER
000018da: DUP1
000018db: DUP12
000018dc: MSTORE
000018dd: PUSH1 0x18
000018df: DUP10
000018e0: MSTORE
000018e1: DUP8
000018e2: DUP12
000018e3: KECCAK256
000018e4: DUP4
000018e5: MLOAD
000018e6: DUP2
000018e7: SLOAD
000018e8: PUSH1 0xff
000018ea: NOT
000018eb: AND
000018ec: SWAP1
000018ed: ISZERO
000018ee: ISZERO
000018ef: OR
000018f0: DUP2
000018f1: SSTORE
000018f2: SWAP4
000018f3: MLOAD
000018f4: SWAP5
000018f5: DUP5
000018f6: ADD
000018f7: SWAP5
000018f8: SWAP1
000018f9: SWAP5
000018fa: SSTORE
000018fb: MLOAD
000018fc: PUSH1 0x02
000018fe: SWAP1
000018ff: SWAP3
00001900: ADD
00001901: SWAP2
00001902: SWAP1
00001903: SWAP2
00001904: SSTORE
00001905: SWAP2
00001906: SLOAD
00001907: DUP8
00001908: MSTORE
00001909: SWAP5
0000190a: SWAP1
0000190b: SWAP4
0000190c: MSTORE
0000190d: DUP2
0000190e: DUP6
0000190f: KECCAK256
00001910: DUP1
00001911: SLOAD
00001912: PUSH1 0x01
00001914: PUSH1 0x01
00001916: PUSH1 0xa0
00001918: SHL
00001919: SUB
0000191a: NOT
0000191b: AND
0000191c: SWAP1
0000191d: SWAP5
0000191e: OR
0000191f: SWAP1
00001920: SWAP4
00001921: SSTORE
00001922: PUSH1 0x22
00001924: SLOAD
00001925: SWAP1
00001926: MLOAD
00001927: SWAP2
00001928: SWAP4
00001929: PUSH1 0x01
0000192b: PUSH1 0x01
0000192d: PUSH1 0xa0
0000192f: SHL
00001930: SUB
00001931: SWAP1
00001932: SWAP4
00001933: AND
00001934: SWAP3
00001935: SWAP2
00001936: DUP4
00001937: SWAP1
00001938: PUSH2 0x08fc
0000193b: DUP4
0000193c: ISZERO
0000193d: MUL
0000193e: SWAP1
0000193f: DUP4
00001940: SWAP1
00001941: DUP6
00001942: DUP2
00001943: DUP2
00001944: DUP2
00001945: DUP6
00001946: DUP9
00001947: DUP9
00001948: CALL
00001949: SWAP4
0000194a: POP
0000194b: POP
0000194c: POP
0000194d: POP
0000194e: SWAP2
0000194f: POP
00001950: DUP2
00001951: ISZERO
00001952: PUSH2 0x19d3
00001955: JUMPI
00001956: PUSH1 0x25
00001958: DUP1
00001959: SLOAD
0000195a: DUP3
0000195b: ADD
0000195c: SWAP1
0000195d: SSTORE
0000195e: PUSH1 0x01
00001960: PUSH1 0x01
00001962: PUSH1 0xa0
00001964: SHL
00001965: SUB
00001966: DUP4
00001967: AND
00001968: PUSH1 0x00
0000196a: SWAP1
0000196b: DUP2
0000196c: MSTORE
0000196d: PUSH1 0x18
0000196f: PUSH1 0x20
00001971: MSTORE
00001972: PUSH1 0x40
00001974: SWAP1
00001975: KECCAK256
00001976: PUSH1 0x02
00001978: ADD
00001979: DUP1
0000197a: SLOAD
0000197b: PUSH1 0x01
0000197d: ADD
0000197e: SWAP1
0000197f: DUP2
00001980: SWAP1
00001981: SSTORE
00001982: PUSH1 0x03
00001984: GT
00001985: PUSH2 0x199c
00001988: JUMPI
00001989: PUSH1 0x0c
0000198b: DUP1
0000198c: SLOAD
0000198d: PUSH1 0x01
0000198f: ADD
00001990: SWAP1
00001991: SSTORE
00001992: PUSH2 0x199c
00001995: DUP4
00001996: PUSH1 0x05
00001998: PUSH2 0x1a07
0000199b: JUMP
0000199c: JUMPDEST
0000199d: PUSH1 0x40
0000199f: DUP1
000019a0: MLOAD
000019a1: PUSH1 0x05
000019a3: DUP2
000019a4: MSTORE
000019a5: TIMESTAMP
000019a6: PUSH1 0x20
000019a8: DUP3
000019a9: ADD
000019aa: MSTORE
000019ab: DUP2
000019ac: MLOAD
000019ad: PUSH1 0x01
000019af: PUSH1 0x01
000019b1: PUSH1 0xa0
000019b3: SHL
000019b4: SUB
000019b5: DUP7
000019b6: AND
000019b7: SWAP3
000019b8: CALLER
000019b9: SWAP3
000019ba: PUSH1 0x00
000019bc: DUP1
000019bd: MLOAD
000019be: PUSH1 0x20
000019c0: PUSH2 0x20cd
000019c3: DUP4
000019c4: CODECOPY
000019c5: DUP2
000019c6: MLOAD
000019c7: SWAP2
000019c8: MSTORE
000019c9: SWAP3
000019ca: SWAP1
000019cb: DUP2
000019cc: SWAP1
000019cd: SUB
000019ce: SWAP1
000019cf: SWAP2
000019d0: ADD
000019d1: SWAP1
000019d2: LOG3
000019d3: JUMPDEST
000019d4: PUSH1 0x40
000019d6: DUP1
000019d7: MLOAD
000019d8: PUSH1 0x05
000019da: DUP2
000019db: MSTORE
000019dc: TIMESTAMP
000019dd: PUSH1 0x20
000019df: DUP3
000019e0: ADD
000019e1: MSTORE
000019e2: DUP2
000019e3: MLOAD
000019e4: CALLER
000019e5: SWAP3
000019e6: PUSH1 0x00
000019e8: DUP1
000019e9: MLOAD
000019ea: PUSH1 0x20
000019ec: PUSH2 0x20ad
000019ef: DUP4
000019f0: CODECOPY
000019f1: DUP2
000019f2: MLOAD
000019f3: SWAP2
000019f4: MSTORE
000019f5: SWAP3
000019f6: DUP3
000019f7: SWAP1
000019f8: SUB
000019f9: ADD
000019fa: SWAP1
000019fb: LOG2
000019fc: POP
000019fd: POP
000019fe: POP
000019ff: POP
00001a00: JUMP
00001a01: JUMPDEST
00001a02: PUSH1 0x0d
00001a04: SLOAD
00001a05: DUP2
00001a06: JUMP
00001a07: JUMPDEST
00001a08: DUP1
00001a09: PUSH1 0x01
00001a0b: EQ
00001a0c: ISZERO
00001a0d: PUSH2 0x1ad6
00001a10: JUMPI
00001a11: PUSH2 0x1a18
00001a14: PUSH2 0x203f
00001a17: JUMP
00001a18: JUMPDEST
00001a19: POP
00001a1a: PUSH1 0x08
00001a1c: SLOAD
00001a1d: PUSH1 0x00
00001a1f: SWAP1
00001a20: DUP2
00001a21: MSTORE
00001a22: PUSH1 0x11
00001a24: PUSH1 0x20
00001a26: DUP2
00001a27: DUP2
00001a28: MSTORE
00001a29: PUSH1 0x40
00001a2b: DUP1
00001a2c: DUP5
00001a2d: KECCAK256
00001a2e: SLOAD
00001a2f: PUSH1 0x02
00001a31: DUP1
00001a32: SLOAD
00001a33: PUSH1 0x01
00001a35: SWAP1
00001a36: DUP2
00001a37: ADD
00001a38: DUP1
00001a39: DUP4
00001a3a: SSTORE
00001a3b: DUP5
00001a3c: MLOAD
00001a3d: PUSH1 0x60
00001a3f: DUP2
00001a40: ADD
00001a41: DUP7
00001a42: MSTORE
00001a43: DUP3
00001a44: DUP2
00001a45: MSTORE
00001a46: DUP1
00001a47: DUP8
00001a48: ADD
00001a49: SWAP2
00001a4a: DUP3
00001a4b: MSTORE
00001a4c: DUP1
00001a4d: DUP7
00001a4e: ADD
00001a4f: DUP10
00001a50: DUP2
00001a51: MSTORE
00001a52: PUSH1 0x01
00001a54: PUSH1 0x01
00001a56: PUSH1 0xa0
00001a58: SHL
00001a59: SUB
00001a5a: DUP13
00001a5b: DUP2
00001a5c: AND
00001a5d: DUP1
00001a5e: DUP13
00001a5f: MSTORE
00001a60: PUSH1 0x10
00001a62: DUP11
00001a63: MSTORE
00001a64: DUP9
00001a65: DUP13
00001a66: KECCAK256
00001a67: DUP5
00001a68: MLOAD
00001a69: DUP2
00001a6a: SLOAD
00001a6b: PUSH1 0xff
00001a6d: NOT
00001a6e: AND
00001a6f: SWAP1
00001a70: ISZERO
00001a71: ISZERO
00001a72: OR
00001a73: DUP2
00001a74: SSTORE
00001a75: SWAP5
00001a76: MLOAD
00001a77: SWAP6
00001a78: DUP6
00001a79: ADD
00001a7a: SWAP6
00001a7b: SWAP1
00001a7c: SWAP6
00001a7d: SSTORE
00001a7e: SWAP1
00001a7f: MLOAD
00001a80: SWAP3
00001a81: DUP6
00001a82: ADD
00001a83: SWAP3
00001a84: SWAP1
00001a85: SWAP3
00001a86: SSTORE
00001a87: SWAP3
00001a88: SLOAD
00001a89: DUP9
00001a8a: MSTORE
00001a8b: SWAP6
00001a8c: DUP6
00001a8d: MSTORE
00001a8e: SWAP6
00001a8f: DUP4
00001a90: SWAP1
00001a91: KECCAK256
00001a92: DUP1
00001a93: SLOAD
00001a94: PUSH1 0x01
00001a96: PUSH1 0x01
00001a98: PUSH1 0xa0
00001a9a: SHL
00001a9b: SUB
00001a9c: NOT
00001a9d: AND
00001a9e: DUP8
00001a9f: OR
00001aa0: SWAP1
00001aa1: SSTORE
00001aa2: DUP3
00001aa3: MLOAD
00001aa4: DUP8
00001aa5: DUP2
00001aa6: MSTORE
00001aa7: TIMESTAMP
00001aa8: SWAP5
00001aa9: DUP2
00001aaa: ADD
00001aab: SWAP5
00001aac: SWAP1
00001aad: SWAP5
00001aae: MSTORE
00001aaf: DUP3
00001ab0: MLOAD
00001ab1: SWAP1
00001ab2: SWAP6
00001ab3: SWAP5
00001ab4: SWAP1
00001ab5: SWAP2
00001ab6: AND
00001ab7: SWAP4
00001ab8: SWAP3
00001ab9: PUSH1 0x00
00001abb: DUP1
00001abc: MLOAD
00001abd: PUSH1 0x20
00001abf: PUSH2 0x208d
00001ac2: DUP4
00001ac3: CODECOPY
00001ac4: DUP2
00001ac5: MLOAD
00001ac6: SWAP2
00001ac7: MSTORE
00001ac8: SWAP3
00001ac9: SWAP1
00001aca: DUP3
00001acb: SWAP1
00001acc: SUB
00001acd: ADD
00001ace: SWAP1
00001acf: LOG2
00001ad0: POP
00001ad1: POP
00001ad2: PUSH2 0x1ee7
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: DUP1
00001ad8: PUSH1 0x02
00001ada: EQ
00001adb: ISZERO
00001adc: PUSH2 0x1ba7
00001adf: JUMPI
00001ae0: PUSH2 0x1ae7
00001ae3: PUSH2 0x203f
00001ae6: JUMP
00001ae7: JUMPDEST
00001ae8: POP
00001ae9: PUSH1 0x09
00001aeb: SLOAD
00001aec: PUSH1 0x00
00001aee: SWAP1
00001aef: DUP2
00001af0: MSTORE
00001af1: PUSH1 0x13
00001af3: PUSH1 0x20
00001af5: DUP2
00001af6: DUP2
00001af7: MSTORE
00001af8: PUSH1 0x40
00001afa: DUP1
00001afb: DUP5
00001afc: KECCAK256
00001afd: SLOAD
00001afe: PUSH1 0x03
00001b00: DUP1
00001b01: SLOAD
00001b02: PUSH1 0x01
00001b04: SWAP1
00001b05: DUP2
00001b06: ADD
00001b07: DUP1
00001b08: DUP4
00001b09: SSTORE
00001b0a: DUP5
00001b0b: MLOAD
00001b0c: PUSH1 0x60
00001b0e: DUP2
00001b0f: ADD
00001b10: DUP7
00001b11: MSTORE
00001b12: DUP3
00001b13: DUP2
00001b14: MSTORE
00001b15: DUP1
00001b16: DUP8
00001b17: ADD
00001b18: SWAP2
00001b19: DUP3
00001b1a: MSTORE
00001b1b: DUP1
00001b1c: DUP7
00001b1d: ADD
00001b1e: DUP10
00001b1f: DUP2
00001b20: MSTORE
00001b21: PUSH1 0x01
00001b23: PUSH1 0x01
00001b25: PUSH1 0xa0
00001b27: SHL
00001b28: SUB
00001b29: DUP13
00001b2a: DUP2
00001b2b: AND
00001b2c: DUP1
00001b2d: DUP13
00001b2e: MSTORE
00001b2f: PUSH1 0x12
00001b31: DUP11
00001b32: MSTORE
00001b33: DUP9
00001b34: DUP13
00001b35: KECCAK256
00001b36: DUP5
00001b37: MLOAD
00001b38: DUP2
00001b39: SLOAD
00001b3a: PUSH1 0xff
00001b3c: NOT
00001b3d: AND
00001b3e: SWAP1
00001b3f: ISZERO
00001b40: ISZERO
00001b41: OR
00001b42: DUP2
00001b43: SSTORE
00001b44: SWAP5
00001b45: MLOAD
00001b46: SWAP6
00001b47: DUP6
00001b48: ADD
00001b49: SWAP6
00001b4a: SWAP1
00001b4b: SWAP6
00001b4c: SSTORE
00001b4d: SWAP1
00001b4e: MLOAD
00001b4f: PUSH1 0x02
00001b51: SWAP1
00001b52: SWAP4
00001b53: ADD
00001b54: SWAP3
00001b55: SWAP1
00001b56: SWAP3
00001b57: SSTORE
00001b58: SWAP3
00001b59: SLOAD
00001b5a: DUP9
00001b5b: MSTORE
00001b5c: SWAP6
00001b5d: DUP6
00001b5e: MSTORE
00001b5f: SWAP6
00001b60: DUP4
00001b61: SWAP1
00001b62: KECCAK256
00001b63: DUP1
00001b64: SLOAD
00001b65: PUSH1 0x01
00001b67: PUSH1 0x01
00001b69: PUSH1 0xa0
00001b6b: SHL
00001b6c: SUB
00001b6d: NOT
00001b6e: AND
00001b6f: DUP8
00001b70: OR
00001b71: SWAP1
00001b72: SSTORE
00001b73: DUP3
00001b74: MLOAD
00001b75: DUP8
00001b76: DUP2
00001b77: MSTORE
00001b78: TIMESTAMP
00001b79: SWAP5
00001b7a: DUP2
00001b7b: ADD
00001b7c: SWAP5
00001b7d: SWAP1
00001b7e: SWAP5
00001b7f: MSTORE
00001b80: DUP3
00001b81: MLOAD
00001b82: SWAP1
00001b83: SWAP6
00001b84: SWAP5
00001b85: SWAP1
00001b86: SWAP2
00001b87: AND
00001b88: SWAP4
00001b89: SWAP3
00001b8a: PUSH1 0x00
00001b8c: DUP1
00001b8d: MLOAD
00001b8e: PUSH1 0x20
00001b90: PUSH2 0x208d
00001b93: DUP4
00001b94: CODECOPY
00001b95: DUP2
00001b96: MLOAD
00001b97: SWAP2
00001b98: MSTORE
00001b99: SWAP3
00001b9a: SWAP1
00001b9b: DUP3
00001b9c: SWAP1
00001b9d: SUB
00001b9e: ADD
00001b9f: SWAP1
00001ba0: LOG2
00001ba1: POP
00001ba2: POP
00001ba3: PUSH2 0x1ee7
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: DUP1
00001ba9: PUSH1 0x03
00001bab: EQ
00001bac: ISZERO
00001bad: PUSH2 0x1c78
00001bb0: JUMPI
00001bb1: PUSH2 0x1bb8
00001bb4: PUSH2 0x203f
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: POP
00001bba: PUSH1 0x0a
00001bbc: SLOAD
00001bbd: PUSH1 0x00
00001bbf: SWAP1
00001bc0: DUP2
00001bc1: MSTORE
00001bc2: PUSH1 0x15
00001bc4: PUSH1 0x20
00001bc6: DUP2
00001bc7: DUP2
00001bc8: MSTORE
00001bc9: PUSH1 0x40
00001bcb: DUP1
00001bcc: DUP5
00001bcd: KECCAK256
00001bce: SLOAD
00001bcf: PUSH1 0x04
00001bd1: DUP1
00001bd2: SLOAD
00001bd3: PUSH1 0x01
00001bd5: SWAP1
00001bd6: DUP2
00001bd7: ADD
00001bd8: DUP1
00001bd9: DUP4
00001bda: SSTORE
00001bdb: DUP5
00001bdc: MLOAD
00001bdd: PUSH1 0x60
00001bdf: DUP2
00001be0: ADD
00001be1: DUP7
00001be2: MSTORE
00001be3: DUP3
00001be4: DUP2
00001be5: MSTORE
00001be6: DUP1
00001be7: DUP8
00001be8: ADD
00001be9: SWAP2
00001bea: DUP3
00001beb: MSTORE
00001bec: DUP1
00001bed: DUP7
00001bee: ADD
00001bef: DUP10
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: PUSH1 0x01
00001bf4: PUSH1 0x01
00001bf6: PUSH1 0xa0
00001bf8: SHL
00001bf9: SUB
00001bfa: DUP13
00001bfb: DUP2
00001bfc: AND
00001bfd: DUP1
00001bfe: DUP13
00001bff: MSTORE
00001c00: PUSH1 0x14
00001c02: DUP11
00001c03: MSTORE
00001c04: DUP9
00001c05: DUP13
00001c06: KECCAK256
00001c07: DUP5
00001c08: MLOAD
00001c09: DUP2
00001c0a: SLOAD
00001c0b: PUSH1 0xff
00001c0d: NOT
00001c0e: AND
00001c0f: SWAP1
00001c10: ISZERO
00001c11: ISZERO
00001c12: OR
00001c13: DUP2
00001c14: SSTORE
00001c15: SWAP5
00001c16: MLOAD
00001c17: SWAP6
00001c18: DUP6
00001c19: ADD
00001c1a: SWAP6
00001c1b: SWAP1
00001c1c: SWAP6
00001c1d: SSTORE
00001c1e: SWAP1
00001c1f: MLOAD
00001c20: PUSH1 0x02
00001c22: SWAP1
00001c23: SWAP4
00001c24: ADD
00001c25: SWAP3
00001c26: SWAP1
00001c27: SWAP3
00001c28: SSTORE
00001c29: SWAP3
00001c2a: SLOAD
00001c2b: DUP9
00001c2c: MSTORE
00001c2d: SWAP6
00001c2e: DUP6
00001c2f: MSTORE
00001c30: SWAP6
00001c31: DUP4
00001c32: SWAP1
00001c33: KECCAK256
00001c34: DUP1
00001c35: SLOAD
00001c36: PUSH1 0x01
00001c38: PUSH1 0x01
00001c3a: PUSH1 0xa0
00001c3c: SHL
00001c3d: SUB
00001c3e: NOT
00001c3f: AND
00001c40: DUP8
00001c41: OR
00001c42: SWAP1
00001c43: SSTORE
00001c44: DUP3
00001c45: MLOAD
00001c46: DUP8
00001c47: DUP2
00001c48: MSTORE
00001c49: TIMESTAMP
00001c4a: SWAP5
00001c4b: DUP2
00001c4c: ADD
00001c4d: SWAP5
00001c4e: SWAP1
00001c4f: SWAP5
00001c50: MSTORE
00001c51: DUP3
00001c52: MLOAD
00001c53: SWAP1
00001c54: SWAP6
00001c55: SWAP5
00001c56: SWAP1
00001c57: SWAP2
00001c58: AND
00001c59: SWAP4
00001c5a: SWAP3
00001c5b: PUSH1 0x00
00001c5d: DUP1
00001c5e: MLOAD
00001c5f: PUSH1 0x20
00001c61: PUSH2 0x208d
00001c64: DUP4
00001c65: CODECOPY
00001c66: DUP2
00001c67: MLOAD
00001c68: SWAP2
00001c69: MSTORE
00001c6a: SWAP3
00001c6b: SWAP1
00001c6c: DUP3
00001c6d: SWAP1
00001c6e: SUB
00001c6f: ADD
00001c70: SWAP1
00001c71: LOG2
00001c72: POP
00001c73: POP
00001c74: PUSH2 0x1ee7
00001c77: JUMP
00001c78: JUMPDEST
00001c79: DUP1
00001c7a: PUSH1 0x04
00001c7c: EQ
00001c7d: ISZERO
00001c7e: PUSH2 0x1d49
00001c81: JUMPI
00001c82: PUSH2 0x1c89
00001c85: PUSH2 0x203f
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: POP
00001c8b: PUSH1 0x0b
00001c8d: SLOAD
00001c8e: PUSH1 0x00
00001c90: SWAP1
00001c91: DUP2
00001c92: MSTORE
00001c93: PUSH1 0x17
00001c95: PUSH1 0x20
00001c97: DUP2
00001c98: DUP2
00001c99: MSTORE
00001c9a: PUSH1 0x40
00001c9c: DUP1
00001c9d: DUP5
00001c9e: KECCAK256
00001c9f: SLOAD
00001ca0: PUSH1 0x05
00001ca2: DUP1
00001ca3: SLOAD
00001ca4: PUSH1 0x01
00001ca6: SWAP1
00001ca7: DUP2
00001ca8: ADD
00001ca9: DUP1
00001caa: DUP4
00001cab: SSTORE
00001cac: DUP5
00001cad: MLOAD
00001cae: PUSH1 0x60
00001cb0: DUP2
00001cb1: ADD
00001cb2: DUP7
00001cb3: MSTORE
00001cb4: DUP3
00001cb5: DUP2
00001cb6: MSTORE
00001cb7: DUP1
00001cb8: DUP8
00001cb9: ADD
00001cba: SWAP2
00001cbb: DUP3
00001cbc: MSTORE
00001cbd: DUP1
00001cbe: DUP7
00001cbf: ADD
00001cc0: DUP10
00001cc1: DUP2
00001cc2: MSTORE
00001cc3: PUSH1 0x01
00001cc5: PUSH1 0x01
00001cc7: PUSH1 0xa0
00001cc9: SHL
00001cca: SUB
00001ccb: DUP13
00001ccc: DUP2
00001ccd: AND
00001cce: DUP1
00001ccf: DUP13
00001cd0: MSTORE
00001cd1: PUSH1 0x16
00001cd3: DUP11
00001cd4: MSTORE
00001cd5: DUP9
00001cd6: DUP13
00001cd7: KECCAK256
00001cd8: DUP5
00001cd9: MLOAD
00001cda: DUP2
00001cdb: SLOAD
00001cdc: PUSH1 0xff
00001cde: NOT
00001cdf: AND
00001ce0: SWAP1
00001ce1: ISZERO
00001ce2: ISZERO
00001ce3: OR
00001ce4: DUP2
00001ce5: SSTORE
00001ce6: SWAP5
00001ce7: MLOAD
00001ce8: SWAP6
00001ce9: DUP6
00001cea: ADD
00001ceb: SWAP6
00001cec: SWAP1
00001ced: SWAP6
00001cee: SSTORE
00001cef: SWAP1
00001cf0: MLOAD
00001cf1: PUSH1 0x02
00001cf3: SWAP1
00001cf4: SWAP4
00001cf5: ADD
00001cf6: SWAP3
00001cf7: SWAP1
00001cf8: SWAP3
00001cf9: SSTORE
00001cfa: SWAP3
00001cfb: SLOAD
00001cfc: DUP9
00001cfd: MSTORE
00001cfe: SWAP6
00001cff: DUP6
00001d00: MSTORE
00001d01: SWAP6
00001d02: DUP4
00001d03: SWAP1
00001d04: KECCAK256
00001d05: DUP1
00001d06: SLOAD
00001d07: PUSH1 0x01
00001d09: PUSH1 0x01
00001d0b: PUSH1 0xa0
00001d0d: SHL
00001d0e: SUB
00001d0f: NOT
00001d10: AND
00001d11: DUP8
00001d12: OR
00001d13: SWAP1
00001d14: SSTORE
00001d15: DUP3
00001d16: MLOAD
00001d17: DUP8
00001d18: DUP2
00001d19: MSTORE
00001d1a: TIMESTAMP
00001d1b: SWAP5
00001d1c: DUP2
00001d1d: ADD
00001d1e: SWAP5
00001d1f: SWAP1
00001d20: SWAP5
00001d21: MSTORE
00001d22: DUP3
00001d23: MLOAD
00001d24: SWAP1
00001d25: SWAP6
00001d26: SWAP5
00001d27: SWAP1
00001d28: SWAP2
00001d29: AND
00001d2a: SWAP4
00001d2b: SWAP3
00001d2c: PUSH1 0x00
00001d2e: DUP1
00001d2f: MLOAD
00001d30: PUSH1 0x20
00001d32: PUSH2 0x208d
00001d35: DUP4
00001d36: CODECOPY
00001d37: DUP2
00001d38: MLOAD
00001d39: SWAP2
00001d3a: MSTORE
00001d3b: SWAP3
00001d3c: SWAP1
00001d3d: DUP3
00001d3e: SWAP1
00001d3f: SUB
00001d40: ADD
00001d41: SWAP1
00001d42: LOG2
00001d43: POP
00001d44: POP
00001d45: PUSH2 0x1ee7
00001d48: JUMP
00001d49: JUMPDEST
00001d4a: DUP1
00001d4b: PUSH1 0x05
00001d4d: EQ
00001d4e: ISZERO
00001d4f: PUSH2 0x1e1a
00001d52: JUMPI
00001d53: PUSH2 0x1d5a
00001d56: PUSH2 0x203f
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: POP
00001d5c: PUSH1 0x0c
00001d5e: SLOAD
00001d5f: PUSH1 0x00
00001d61: SWAP1
00001d62: DUP2
00001d63: MSTORE
00001d64: PUSH1 0x19
00001d66: PUSH1 0x20
00001d68: DUP2
00001d69: DUP2
00001d6a: MSTORE
00001d6b: PUSH1 0x40
00001d6d: DUP1
00001d6e: DUP5
00001d6f: KECCAK256
00001d70: SLOAD
00001d71: PUSH1 0x06
00001d73: DUP1
00001d74: SLOAD
00001d75: PUSH1 0x01
00001d77: SWAP1
00001d78: DUP2
00001d79: ADD
00001d7a: DUP1
00001d7b: DUP4
00001d7c: SSTORE
00001d7d: DUP5
00001d7e: MLOAD
00001d7f: PUSH1 0x60
00001d81: DUP2
00001d82: ADD
00001d83: DUP7
00001d84: MSTORE
00001d85: DUP3
00001d86: DUP2
00001d87: MSTORE
00001d88: DUP1
00001d89: DUP8
00001d8a: ADD
00001d8b: SWAP2
00001d8c: DUP3
00001d8d: MSTORE
00001d8e: DUP1
00001d8f: DUP7
00001d90: ADD
00001d91: DUP10
00001d92: DUP2
00001d93: MSTORE
00001d94: PUSH1 0x01
00001d96: PUSH1 0x01
00001d98: PUSH1 0xa0
00001d9a: SHL
00001d9b: SUB
00001d9c: DUP13
00001d9d: DUP2
00001d9e: AND
00001d9f: DUP1
00001da0: DUP13
00001da1: MSTORE
00001da2: PUSH1 0x18
00001da4: DUP11
00001da5: MSTORE
00001da6: DUP9
00001da7: DUP13
00001da8: KECCAK256
00001da9: DUP5
00001daa: MLOAD
00001dab: DUP2
00001dac: SLOAD
00001dad: PUSH1 0xff
00001daf: NOT
00001db0: AND
00001db1: SWAP1
00001db2: ISZERO
00001db3: ISZERO
00001db4: OR
00001db5: DUP2
00001db6: SSTORE
00001db7: SWAP5
00001db8: MLOAD
00001db9: SWAP6
00001dba: DUP6
00001dbb: ADD
00001dbc: SWAP6
00001dbd: SWAP1
00001dbe: SWAP6
00001dbf: SSTORE
00001dc0: SWAP1
00001dc1: MLOAD
00001dc2: PUSH1 0x02
00001dc4: SWAP1
00001dc5: SWAP4
00001dc6: ADD
00001dc7: SWAP3
00001dc8: SWAP1
00001dc9: SWAP3
00001dca: SSTORE
00001dcb: SWAP3
00001dcc: SLOAD
00001dcd: DUP9
00001dce: MSTORE
00001dcf: SWAP6
00001dd0: DUP6
00001dd1: MSTORE
00001dd2: SWAP6
00001dd3: DUP4
00001dd4: SWAP1
00001dd5: KECCAK256
00001dd6: DUP1
00001dd7: SLOAD
00001dd8: PUSH1 0x01
00001dda: PUSH1 0x01
00001ddc: PUSH1 0xa0
00001dde: SHL
00001ddf: SUB
00001de0: NOT
00001de1: AND
00001de2: DUP8
00001de3: OR
00001de4: SWAP1
00001de5: SSTORE
00001de6: DUP3
00001de7: MLOAD
00001de8: DUP8
00001de9: DUP2
00001dea: MSTORE
00001deb: TIMESTAMP
00001dec: SWAP5
00001ded: DUP2
00001dee: ADD
00001def: SWAP5
00001df0: SWAP1
00001df1: SWAP5
00001df2: MSTORE
00001df3: DUP3
00001df4: MLOAD
00001df5: SWAP1
00001df6: SWAP6
00001df7: SWAP5
00001df8: SWAP1
00001df9: SWAP2
00001dfa: AND
00001dfb: SWAP4
00001dfc: SWAP3
00001dfd: PUSH1 0x00
00001dff: DUP1
00001e00: MLOAD
00001e01: PUSH1 0x20
00001e03: PUSH2 0x208d
00001e06: DUP4
00001e07: CODECOPY
00001e08: DUP2
00001e09: MLOAD
00001e0a: SWAP2
00001e0b: MSTORE
00001e0c: SWAP3
00001e0d: SWAP1
00001e0e: DUP3
00001e0f: SWAP1
00001e10: SUB
00001e11: ADD
00001e12: SWAP1
00001e13: LOG2
00001e14: POP
00001e15: POP
00001e16: PUSH2 0x1ee7
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: DUP1
00001e1c: PUSH1 0x06
00001e1e: EQ
00001e1f: ISZERO
00001e20: PUSH2 0x1ee7
00001e23: JUMPI
00001e24: PUSH2 0x1e2b
00001e27: PUSH2 0x203f
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: POP
00001e2d: PUSH1 0x0d
00001e2f: SLOAD
00001e30: PUSH1 0x00
00001e32: SWAP1
00001e33: DUP2
00001e34: MSTORE
00001e35: PUSH1 0x1b
00001e37: PUSH1 0x20
00001e39: DUP2
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: PUSH1 0x40
00001e3e: DUP1
00001e3f: DUP5
00001e40: KECCAK256
00001e41: SLOAD
00001e42: PUSH1 0x07
00001e44: DUP1
00001e45: SLOAD
00001e46: PUSH1 0x01
00001e48: SWAP1
00001e49: DUP2
00001e4a: ADD
00001e4b: DUP1
00001e4c: DUP4
00001e4d: SSTORE
00001e4e: DUP5
00001e4f: MLOAD
00001e50: PUSH1 0x60
00001e52: DUP2
00001e53: ADD
00001e54: DUP7
00001e55: MSTORE
00001e56: DUP3
00001e57: DUP2
00001e58: MSTORE
00001e59: DUP1
00001e5a: DUP8
00001e5b: ADD
00001e5c: SWAP2
00001e5d: DUP3
00001e5e: MSTORE
00001e5f: DUP1
00001e60: DUP7
00001e61: ADD
00001e62: DUP10
00001e63: DUP2
00001e64: MSTORE
00001e65: PUSH1 0x01
00001e67: PUSH1 0x01
00001e69: PUSH1 0xa0
00001e6b: SHL
00001e6c: SUB
00001e6d: DUP13
00001e6e: DUP2
00001e6f: AND
00001e70: DUP1
00001e71: DUP13
00001e72: MSTORE
00001e73: PUSH1 0x1a
00001e75: DUP11
00001e76: MSTORE
00001e77: DUP9
00001e78: DUP13
00001e79: KECCAK256
00001e7a: DUP5
00001e7b: MLOAD
00001e7c: DUP2
00001e7d: SLOAD
00001e7e: PUSH1 0xff
00001e80: NOT
00001e81: AND
00001e82: SWAP1
00001e83: ISZERO
00001e84: ISZERO
00001e85: OR
00001e86: DUP2
00001e87: SSTORE
00001e88: SWAP5
00001e89: MLOAD
00001e8a: SWAP6
00001e8b: DUP6
00001e8c: ADD
00001e8d: SWAP6
00001e8e: SWAP1
00001e8f: SWAP6
00001e90: SSTORE
00001e91: SWAP1
00001e92: MLOAD
00001e93: PUSH1 0x02
00001e95: SWAP1
00001e96: SWAP4
00001e97: ADD
00001e98: SWAP3
00001e99: SWAP1
00001e9a: SWAP3
00001e9b: SSTORE
00001e9c: SWAP3
00001e9d: SLOAD
00001e9e: DUP9
00001e9f: MSTORE
00001ea0: SWAP6
00001ea1: DUP6
00001ea2: MSTORE
00001ea3: SWAP6
00001ea4: DUP4
00001ea5: SWAP1
00001ea6: KECCAK256
00001ea7: DUP1
00001ea8: SLOAD
00001ea9: PUSH1 0x01
00001eab: PUSH1 0x01
00001ead: PUSH1 0xa0
00001eaf: SHL
00001eb0: SUB
00001eb1: NOT
00001eb2: AND
00001eb3: DUP8
00001eb4: OR
00001eb5: SWAP1
00001eb6: SSTORE
00001eb7: DUP3
00001eb8: MLOAD
00001eb9: DUP8
00001eba: DUP2
00001ebb: MSTORE
00001ebc: TIMESTAMP
00001ebd: SWAP5
00001ebe: DUP2
00001ebf: ADD
00001ec0: SWAP5
00001ec1: SWAP1
00001ec2: SWAP5
00001ec3: MSTORE
00001ec4: DUP3
00001ec5: MLOAD
00001ec6: SWAP1
00001ec7: SWAP6
00001ec8: SWAP5
00001ec9: SWAP1
00001eca: SWAP2
00001ecb: AND
00001ecc: SWAP4
00001ecd: SWAP3
00001ece: PUSH1 0x00
00001ed0: DUP1
00001ed1: MLOAD
00001ed2: PUSH1 0x20
00001ed4: PUSH2 0x208d
00001ed7: DUP4
00001ed8: CODECOPY
00001ed9: DUP2
00001eda: MLOAD
00001edb: SWAP2
00001edc: MSTORE
00001edd: SWAP3
00001ede: SWAP1
00001edf: DUP3
00001ee0: SWAP1
00001ee1: SUB
00001ee2: ADD
00001ee3: SWAP1
00001ee4: LOG2
00001ee5: POP
00001ee6: POP
00001ee7: JUMPDEST
00001ee8: POP
00001ee9: POP
00001eea: JUMP
00001eeb: JUMPDEST
00001eec: PUSH1 0x01
00001eee: PUSH1 0x01
00001ef0: PUSH1 0xa0
00001ef2: SHL
00001ef3: SUB
00001ef4: DUP1
00001ef5: DUP3
00001ef6: AND
00001ef7: PUSH1 0x00
00001ef9: SWAP1
00001efa: DUP2
00001efb: MSTORE
00001efc: PUSH1 0x0e
00001efe: PUSH1 0x20
00001f00: DUP2
00001f01: DUP2
00001f02: MSTORE
00001f03: PUSH1 0x40
00001f05: DUP1
00001f06: DUP5
00001f07: KECCAK256
00001f08: PUSH1 0x02
00001f0a: ADD
00001f0b: SLOAD
00001f0c: DUP5
00001f0d: MSTORE
00001f0e: PUSH1 0x0f
00001f10: DUP3
00001f11: MSTORE
00001f12: DUP1
00001f13: DUP5
00001f14: KECCAK256
00001f15: SLOAD
00001f16: SWAP1
00001f17: SWAP5
00001f18: AND
00001f19: DUP1
00001f1a: DUP5
00001f1b: MSTORE
00001f1c: SWAP2
00001f1d: SWAP1
00001f1e: MSTORE
00001f1f: SWAP2
00001f20: DUP2
00001f21: KECCAK256
00001f22: PUSH1 0x03
00001f24: ADD
00001f25: SLOAD
00001f26: DUP2
00001f27: SWAP1
00001f28: PUSH1 0x04
00001f2a: SWAP1
00001f2b: MOD
00001f2c: PUSH2 0x1fb6
00001f2f: JUMPI
00001f30: POP
00001f31: PUSH1 0x40
00001f33: MLOAD
00001f34: PUSH7 0xb1a2bc2ec50000
00001f3c: SWAP1
00001f3d: PUSH1 0x01
00001f3f: PUSH1 0x01
00001f41: PUSH1 0xa0
00001f43: SHL
00001f44: SUB
00001f45: DUP5
00001f46: AND
00001f47: SWAP1
00001f48: PUSH1 0x00
00001f4a: SWAP1
00001f4b: DUP4
00001f4c: SWAP1
00001f4d: DUP3
00001f4e: DUP2
00001f4f: DUP2
00001f50: DUP2
00001f51: DUP6
00001f52: DUP9
00001f53: DUP4
00001f54: CALL
00001f55: SWAP4
00001f56: POP
00001f57: POP
00001f58: POP
00001f59: POP
00001f5a: SWAP2
00001f5b: POP
00001f5c: DUP2
00001f5d: ISZERO
00001f5e: PUSH2 0x1fb1
00001f61: JUMPI
00001f62: PUSH1 0x25
00001f64: DUP1
00001f65: SLOAD
00001f66: DUP3
00001f67: ADD
00001f68: SWAP1
00001f69: SSTORE
00001f6a: PUSH1 0x40
00001f6c: DUP1
00001f6d: MLOAD
00001f6e: DUP7
00001f6f: DUP2
00001f70: MSTORE
00001f71: TIMESTAMP
00001f72: PUSH1 0x20
00001f74: DUP3
00001f75: ADD
00001f76: MSTORE
00001f77: DUP2
00001f78: MLOAD
00001f79: CALLER
00001f7a: SWAP3
00001f7b: PUSH1 0x01
00001f7d: PUSH1 0x01
00001f7f: PUSH1 0xa0
00001f81: SHL
00001f82: SUB
00001f83: DUP8
00001f84: AND
00001f85: SWAP3
00001f86: PUSH32 0xeda7fcdb5b3fa540b957fe2288aeb597cabc5be52f68754afde888d2bfd5f72c
00001fa7: SWAP3
00001fa8: SWAP1
00001fa9: DUP2
00001faa: SWAP1
00001fab: SUB
00001fac: SWAP1
00001fad: SWAP2
00001fae: ADD
00001faf: SWAP1
00001fb0: LOG3
00001fb1: JUMPDEST
00001fb2: PUSH2 0x2038
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: POP
00001fb8: PUSH1 0x40
00001fba: MLOAD
00001fbb: PUSH7 0x58d15e17628000
00001fc3: SWAP1
00001fc4: PUSH1 0x01
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0xa0
00001fca: SHL
00001fcb: SUB
00001fcc: DUP5
00001fcd: AND
00001fce: SWAP1
00001fcf: PUSH1 0x00
00001fd1: SWAP1
00001fd2: DUP4
00001fd3: SWAP1
00001fd4: DUP3
00001fd5: DUP2
00001fd6: DUP2
00001fd7: DUP2
00001fd8: DUP6
00001fd9: DUP9
00001fda: DUP4
00001fdb: CALL
00001fdc: SWAP4
00001fdd: POP
00001fde: POP
00001fdf: POP
00001fe0: POP
00001fe1: SWAP2
00001fe2: POP
00001fe3: DUP2
00001fe4: ISZERO
00001fe5: PUSH2 0x2038
00001fe8: JUMPI
00001fe9: PUSH1 0x25
00001feb: DUP1
00001fec: SLOAD
00001fed: DUP3
00001fee: ADD
00001fef: SWAP1
00001ff0: SSTORE
00001ff1: PUSH1 0x40
00001ff3: DUP1
00001ff4: MLOAD
00001ff5: DUP7
00001ff6: DUP2
00001ff7: MSTORE
00001ff8: TIMESTAMP
00001ff9: PUSH1 0x20
00001ffb: DUP3
00001ffc: ADD
00001ffd: MSTORE
00001ffe: DUP2
00001fff: MLOAD
00002000: CALLER
00002001: SWAP3
00002002: PUSH1 0x01
00002004: PUSH1 0x01
00002006: PUSH1 0xa0
00002008: SHL
00002009: SUB
0000200a: DUP8
0000200b: AND
0000200c: SWAP3
0000200d: PUSH32 0xce7dc747411ac40191c5335943fcc79d8c2d8c01ca5ae83d9fed160409fa6120
0000202e: SWAP3
0000202f: SWAP1
00002030: DUP2
00002031: SWAP1
00002032: SUB
00002033: SWAP1
00002034: SWAP2
00002035: ADD
00002036: SWAP1
00002037: LOG3
00002038: JUMPDEST
00002039: POP
0000203a: POP
0000203b: POP
0000203c: POP
0000203d: POP
0000203e: JUMP
0000203f: JUMPDEST
00002040: PUSH1 0x40
00002042: MLOAD
00002043: DUP1
00002044: PUSH1 0x60
00002046: ADD
00002047: PUSH1 0x40
00002049: MSTORE
0000204a: DUP1
0000204b: PUSH1 0x00
0000204d: ISZERO
0000204e: ISZERO
0000204f: DUP2
00002050: MSTORE
00002051: PUSH1 0x20
00002053: ADD
00002054: PUSH1 0x00
00002056: DUP2
00002057: MSTORE
00002058: PUSH1 0x20
0000205a: ADD
0000205b: PUSH1 0x00
0000205d: DUP2
0000205e: MSTORE
0000205f: POP
00002060: SWAP1
00002061: JUMP
00002062: JUMPDEST
00002063: PUSH1 0x40
00002065: MLOAD
00002066: DUP1
00002067: PUSH1 0x80
00002069: ADD
0000206a: PUSH1 0x40
0000206c: MSTORE
0000206d: DUP1
0000206e: PUSH1 0x00
00002070: ISZERO
00002071: ISZERO
00002072: DUP2
00002073: MSTORE
00002074: PUSH1 0x20
00002076: ADD
00002077: PUSH1 0x00
00002079: DUP2
0000207a: MSTORE
0000207b: PUSH1 0x20
0000207d: ADD
0000207e: PUSH1 0x00
00002080: DUP2
00002081: MSTORE
00002082: PUSH1 0x20
00002084: ADD
00002085: PUSH1 0x00
00002087: DUP2
00002088: MSTORE
00002089: POP
0000208a: SWAP1
0000208b: JUMP
0000208c: INVALID
0000208d: SWAP11
0000208e: PC
0000208f: UNKNOWN(0xDF)
00002090: PUSH11 0xaac5472ee89302d9ba0e65
0000209c: PUSH20 0x1e439ed9115782c32b0034291ba63192cb072442
000020b1: PUSH1 0xcf
000020b3: SAR
000020b4: BLOBHASH
000020b5: UNKNOWN(0x4C)
000020b6: SSTORE
000020b7: PUSH27 0x355f7b7dd3663a109c736b84fdef66b8d839cfa2168481618b66a5
000020d3: UNKNOWN(0xBD)
000020d4: UNKNOWN(0xB9)
000020d5: UNKNOWN(0xDA)
000020d6: UNKNOWN(0xFC)
000020d7: CREATE2
000020d8: CODECOPY
000020d9: SWAP14
000020da: UNKNOWN(0xA7)
000020db: UNKNOWN(0xAF)
000020dc: GASLIMIT
000020dd: UNKNOWN(0xBC)
000020de: UNKNOWN(0xB1)
000020df: UNKNOWN(0x27)
000020e0: UNKNOWN(0xCA)
000020e1: PUSH24 0xa372a11bcc23dc52ce2033a265627a7a7231582029e0076d
000020fa: PUSH28 0x31b0161939d7eac0cc66afd977c8f456774ac9ad0335569baa979d64
00002117: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x20687ecf2abc20cb5f61b8a60f7db427bf59fae6da79dc0e21452793313af7fd
call_targets: 0x22e84cb17a55d618138911549e28310a84f888de
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x20687ecf2abc20cb5f61b8a60f7db427bf59fae6da79dc0e21452793313af7fd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22e84cb17a55d618138911549e28310a84f888de"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc6d79e9d",
            "selector": "0xc6d79e9d",
            "calldata_variants": [
                "0xc6d79e9d",
                "0xc6d79e9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdea9095a",
            "selector": "0xdea9095a",
            "calldata_variants": [
                "0xdea9095a",
                "0xdea9095a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe592ac56",
            "selector": "0xe592ac56",
            "calldata_variants": [
                "0xe592ac56",
                "0xe592ac560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xed3bb9fa",
            "selector": "0xed3bb9fa",
            "calldata_variants": [
                "0xed3bb9fa",
                "0xed3bb9fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeecbdd94",
            "selector": "0xeecbdd94",
            "calldata_variants": [
                "0xeecbdd94",
                "0xeecbdd940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa87430ba",
            "selector": "0xa87430ba",
            "calldata_variants": [
                "0xa87430ba",
                "0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae01d264",
            "selector": "0xae01d264",
            "calldata_variants": [
                "0xae01d264",
                "0xae01d2640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbdbefbf6",
            "selector": "0xbdbefbf6",
            "calldata_variants": [
                "0xbdbefbf6",
                "0xbdbefbf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2261,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3019,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3685,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x20687ecf2abc20cb5f61b8a60f7db427bf59fae6da79dc0e21452793313af7fd
call_targets: 0x22e84cb17a55d618138911549e28310a84f888de
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x20687ecf2abc20cb5f61b8a60f7db427bf59fae6da79dc0e21452793313af7fd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22e84cb17a55d618138911549e28310a84f888de"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc6d79e9d",
            "selector": "0xc6d79e9d",
            "calldata_variants": [
                "0xc6d79e9d",
                "0xc6d79e9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdea9095a",
            "selector": "0xdea9095a",
            "calldata_variants": [
                "0xdea9095a",
                "0xdea9095a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe592ac56",
            "selector": "0xe592ac56",
            "calldata_variants": [
                "0xe592ac56",
                "0xe592ac560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xed3bb9fa",
            "selector": "0xed3bb9fa",
            "calldata_variants": [
                "0xed3bb9fa",
                "0xed3bb9fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeecbdd94",
            "selector": "0xeecbdd94",
            "calldata_variants": [
                "0xeecbdd94",
                "0xeecbdd940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa87430ba",
            "selector": "0xa87430ba",
            "calldata_variants": [
                "0xa87430ba",
                "0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae01d264",
            "selector": "0xae01d264",
            "calldata_variants": [
                "0xae01d264",
                "0xae01d2640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbdbefbf6",
            "selector": "0xbdbefbf6",
            "calldata_variants": [
                "0xbdbefbf6",
                "0xbdbefbf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2261,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3019,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3685,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x43b72f275c47620e38b046a97c59134d82fe855a63eddef69a25fb4e78775aba
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x43b72f275c47620e38b046a97c59134d82fe855a63eddef69a25fb4e78775aba",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xc6d79e9d",
            "selector": "0xc6d79e9d",
            "calldata_variants": [
                "0xc6d79e9d",
                "0xc6d79e9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdea9095a",
            "selector": "0xdea9095a",
            "calldata_variants": [
                "0xdea9095a",
                "0xdea9095a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe592ac56",
            "selector": "0xe592ac56",
            "calldata_variants": [
                "0xe592ac56",
                "0xe592ac560000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xed3bb9fa",
            "selector": "0xed3bb9fa",
            "calldata_variants": [
                "0xed3bb9fa",
                "0xed3bb9fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeecbdd94",
            "selector": "0xeecbdd94",
            "calldata_variants": [
                "0xeecbdd94",
                "0xeecbdd940000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa87430ba",
            "selector": "0xa87430ba",
            "calldata_variants": [
                "0xa87430ba",
                "0xa87430ba0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xae01d264",
            "selector": "0xae01d264",
            "calldata_variants": [
                "0xae01d264",
                "0xae01d2640000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbdbefbf6",
            "selector": "0xbdbefbf6",
            "calldata_variants": [
                "0xbdbefbf6",
                "0xbdbefbf60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 1
}
medium other codex Payouts can be permanently blocked when recipient rejects ETH 75 no
view
evidence_json
{
    "evidence": "External payouts use `address(...).send(...)` and only update state on success, without reverting or alternative handling on failure.",
    "locations": [
        "contracts/Contract.sol:208",
        "contracts/Contract.sol:218",
        "contracts/Contract.sol:232",
        "contracts/Contract.sol:340",
        "contracts/Contract.sol:364",
        "contracts/Contract.sol:404",
        "contracts/Contract.sol:439",
        "contracts/Contract.sol:475",
        "contracts/Contract.sol:511",
        "contracts/Contract.sol:546"
    ],
    "recommendation": "Use `call{value: amount}()` and require success (revert on failure) or implement a withdrawal pattern so recipients pull funds themselves. Ensure state transitions are consistent with payment success/failure.",
    "exploit_scenario": "A pool recipient or referrer registers through a contract with a reverting/expensive fallback. When it becomes the current recipient, `send` returns false. The caller still joins the pool and funds remain in the contract, but `payment_received` and `poolXactiveUserID` do not advance, so subsequent entrants keep paying with no payouts, effectively locking funds and halting progression."
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 1
}
low math codex Unchecked arithmetic can overflow IDs and accounting counters 65 no
view
evidence_json
{
    "evidence": "Multiple unchecked increments/additions on `uint` values in Solidity 0.5.11.",
    "locations": [
        "contracts/Contract.sol:95",
        "contracts/Contract.sol:189",
        "contracts/Contract.sol:202",
        "contracts/Contract.sol:350",
        "contracts/Contract.sol:368",
        "contracts/Contract.sol:407",
        "contracts/Contract.sol:442",
        "contracts/Contract.sol:478",
        "contracts/Contract.sol:514",
        "contracts/Contract.sol:548"
    ],
    "recommendation": "Use SafeMath for all arithmetic or upgrade to Solidity ^0.8.0 with checked arithmetic.",
    "exploit_scenario": "With enough registrations/pool entries, counters like `currUserID`, `poolXcurrUserID`, `payment_received`, and `totalEarned` can wrap around in Solidity 0.5.11, causing duplicate IDs, incorrect pool advancement, or broken accounting logic."
}