Analysis Run

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

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

{
    "solc": {
        "status": "ok",
        "use_rc": 0,
        "version": "0.4.11",
        "strategy": "solc-select",
        "solc_path": "/var/www/tripwire/.venv/bin/solc",
        "install_rc": 0,
        "use_stderr": null,
        "use_stdout": "Switched global version to 0.4.11",
        "install_stderr": null,
        "install_stdout": "Installing solc '0.4.11'...\nVersion '0.4.11' installed."
    },
    "solc_args": "--base-path /tmp/slither-3ubh7tau --allow-paths /tmp/slither-3ubh7tau,/tmp/slither-3ubh7tau/lib,/tmp/slither-3ubh7tau/src",
    "remappings": [],
    "source_files": [
        "contracts/Contract.sol"
    ],
    "contract_count": 0,
    "contract_names": [],
    "detector_count": 1,
    "workspace_hash": "13c80367c4f69f32f7c831fe0cd099da5a614d133ef7a3e86067abf5e780dfec",
    "duration_seconds": 0.7658977508544922,
    "solc_version_requested": "0.4.11"
}

{"no_findings":false,"summary":"Found 2 issues: failed Oraclize query creation can lock bets, and token reward transfers are unchecked.","findings":[{"severity":"medium","category":"oracle","title":"Oraclize query failures (queryId == 0) can lock player funds and overwrite state","exploit_scenario":"If Oraclize pricing spikes (or the tx uses a low gas price), `oraclize_query` returns `0` instead of creating a query. The fallback still records the bet under `playerAddress[0]`/`playerAmount[0]`. No callback will ever arrive for queryId 0, so the user’s ETH stays locked and can be overwritten by later failed bets, effectively losing track of earlier deposits.","recommendation":"Require `queryId != 0` in the fallback and revert/refund when query creation fails. Alternatively, pre‑check `oraclize_getPrice` and abort if it exceeds a safe threshold.","evidence":"`oraclize_query` returns 0 on high price, but the fallback stores player state without checking queryId.","locations":["contracts/Contract.sol:180","contracts/Contract.sol:186","contracts/Contract.sol:1094","contracts/Contract.sol:1101"]},{"severity":"low","category":"other","title":"Unchecked ERC20 transfer results can silently fail, causing missing rewards","exploit_scenario":"If any reward token follows the ERC20 pattern of returning `false` on failure (instead of reverting), the contract will emit win events and clear player state even though the reward transfer did not succeed. Players may not receive rewards and there is no on-chain indication of failure.","recommendation":"Use a SafeERC20 wrapper or require that token transfers return true. Consider restricting to tokens that revert on failure.","evidence":"Token transfers are invoked without checking return values.","locations":["contracts/Contract.sol:1123","contracts/Contract.sol:1127","contracts/Contract.sol:1131","contracts/Contract.sol:1157"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-mo0cdwsf
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb520-cfb5-7ab1-96e6-95726c6cddd4
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

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

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Reading AUDIT_BUNDLE file**
exec
/bin/bash -lc ls in /tmp/codex-mo0cdwsf succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
exec
/bin/bash -lc 'cat /tmp/codex-mo0cdwsf/AUDIT_BUNDLE.txt' in /tmp/codex-mo0cdwsf succeeded in 6ms:
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
================================================================================
// <ORACLIZE_API>
/*
Copyright (c) 2015-2016 Oraclize SRL
Copyright (c) 2016 Oraclize LTD



Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:


thinking
**Analyzing reentrancy and access control risks**

I'm carefully auditing a single Solidity file integrating Oraclize and EtherFlipGold, focusing on potential reentrancy vulnerabilities around external token transfers and the use of transfers that forward limited gas. I'm also zeroing in on access controls, especially how the oraclize callback address is set, since improper setup there could let attackers call sensitive functions like __callback. I'll check the complete file or use line searches to verify the oraclize_cbAddress setup and confirm the protections on the callback mechanism.
exec
/bin/bash -lc 'rg -n "oraclize_cbAddress|callback" /tmp/codex-mo0cdwsf/contracts/Contract.sol' in /tmp/codex-mo0cdwsf succeeded in 9ms:
118:    function __callback(bytes32 myid, string result) {
119:        __callback(myid, result, new bytes(0));
121:    function __callback(bytes32 myid, string result, bytes proof) {
512:    function oraclize_cbAddress() oraclizeAPI internal returns (address){
1052:        if (msg.sender != oraclize_cbAddress()) throw;
1076:    uint public callbackGas = 250000;
1101:            bytes32 queryId = oraclize_newRandomDSQuery(delay, numberOfBytes, callbackGas); 
1107:    function __callback(bytes32 _queryId, string _result, bytes _proof) oraclizeAction { 
1165:        callbackGas = newGas;
exec
/bin/bash -lc "sed -n '480,540p' /tmp/codex-mo0cdwsf/contracts/Contract.sol" in /tmp/codex-mo0cdwsf succeeded in 24ms:
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[5] args) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];
        return oraclize_query(timestamp, datasource, dynargs);
    }
    function oraclize_query(uint timestamp, string datasource, bytes[5] args, uint gaslimit) oraclizeAPI internal returns (bytes32 id) {
        bytes[] memory dynargs = new bytes[](5);
        dynargs[0] = args[0];
        dynargs[1] = args[1];
        dynargs[2] = args[2];
        dynargs[3] = args[3];
        dynargs[4] = args[4];

thinking
**Analyzing potential contract vulnerabilities**

This is a detailed security review of the contract, focusing on unchecked token transfers, possible integer overflows without SafeMath, risks from oraclize query failures returning zero queryIds that could lock funds, owner-controlled parameters affecting payouts, and potential denial-of-service scenarios if callbacks revert repeatedly. I’m also considering reentrancy risks with token transfers, the absence of return value checks, no maximum pending queries limit, and the consequences of unrestricted owner updates. I’ll gather line numbers from `contracts/Contract.sol` for precise findings to include in the final JSON report.
exec
/bin/bash -lc "nl -ba /tmp/codex-mo0cdwsf/contracts/Contract.sol | sed -n '1030,1145p'" in /tmp/codex-mo0cdwsf succeeded in 6ms:
  1030	
  1031	        if (v != 27 && v != 28)
  1032	            return (false, 0);
  1033	
  1034	        return safer_ecrecover(hash, v, r, s);
  1035	    }
  1036	        
  1037	}
  1038	// </ORACLIZE_API>
  1039	
  1040	// EtherFlipGold
  1041	
  1042	contract token { function transfer(address receiver, uint amount){ receiver; amount; } }
  1043	
  1044	contract EtherFlipGold is usingOraclize {
  1045	    
  1046	    modifier ownerAction {
  1047	         if (msg.sender != owner) throw;
  1048	         _;
  1049	    }

thinking
**Tracking oraclize_query line numbers**
exec
/bin/bash -lc "nl -ba /tmp/codex-mo0cdwsf/contracts/Contract.sol | sed -n '180,260p'" in /tmp/codex-mo0cdwsf succeeded in 6ms:
   180	        uint price = oraclize.getPrice(datasource);
   181	        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
   182	        bytes memory args = stra2cbor(argN);
   183	        return oraclize.queryN.value(price)(0, datasource, args);
   184	    }
   185	    function oraclize_query(uint timestamp, string datasource, string[] argN) oraclizeAPI internal returns (bytes32 id){
   186	        uint price = oraclize.getPrice(datasource);
   187	        if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
   188	        bytes memory args = stra2cbor(argN);
   189	        return oraclize.queryN.value(price)(timestamp, datasource, args);
   190	    }
   191	    function oraclize_query(uint timestamp, string datasource, string[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
   192	        uint price = oraclize.getPrice(datasource, gaslimit);
   193	        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
   194	        bytes memory args = stra2cbor(argN);
   195	        return oraclize.queryN_withGasLimit.value(price)(timestamp, datasource, args, gaslimit);
   196	    }
   197	    function oraclize_query(string datasource, string[] argN, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
   198	        uint price = oraclize.getPrice(datasource, gaslimit);
   199	        if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price

thinking
**Summarizing security audit findings**

I'm gathering key vulnerabilities including the Oraclize queryId 0 causing locked bets without refunds, unchecked token transfer outcomes risking silent failures, and related code lines supporting these issues. I’m framing findings with severity, categories, exploit scenarios, and recommendations to provide a clear, concise audit summary.
codex
{"no_findings":false,"summary":"Found 2 issues: failed Oraclize query creation can lock bets, and token reward transfers are unchecked.","findings":[{"severity":"medium","category":"oracle","title":"Oraclize query failures (queryId == 0) can lock player funds and overwrite state","exploit_scenario":"If Oraclize pricing spikes (or the tx uses a low gas price), `oraclize_query` returns `0` instead of creating a query. The fallback still records the bet under `playerAddress[0]`/`playerAmount[0]`. No callback will ever arrive for queryId 0, so the user’s ETH stays locked and can be overwritten by later failed bets, effectively losing track of earlier deposits.","recommendation":"Require `queryId != 0` in the fallback and revert/refund when query creation fails. Alternatively, pre‑check `oraclize_getPrice` and abort if it exceeds a safe threshold.","evidence":"`oraclize_query` returns 0 on high price, but the fallback stores player state without checking queryId.","locations":["contracts/Contract.sol:180","contracts/Contract.sol:186","contracts/Contract.sol:1094","contracts/Contract.sol:1101"]},{"severity":"low","category":"other","title":"Unchecked ERC20 transfer results can silently fail, causing missing rewards","exploit_scenario":"If any reward token follows the ERC20 pattern of returning `false` on failure (instead of reverting), the contract will emit win events and clear player state even though the reward transfer did not succeed. Players may not receive rewards and there is no on-chain indication of failure.","recommendation":"Use a SafeERC20 wrapper or require that token transfers return true. Consider restricting to tokens that revert on failure.","evidence":"Token transfers are invoked without checking return values.","locations":["contracts/Contract.sol:1123","contracts/Contract.sol:1127","contracts/Contract.sol:1131","contracts/Contract.sol:1157"]}]}
tokens used
27,638

{
    "codex": {
        "ran_at": "2026-01-13T02:15:17.045616+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 1,
        "import_count": 0,
        "first_party_contracts_count": 1
    },
    "summary": "Found 2 issues: failed Oraclize query creation can lock bets, and token reward transfers are unchecked.",
    "raw_final": {
        "summary": "Found 2 issues: failed Oraclize query creation can lock bets, and token reward transfers are unchecked.",
        "findings": [
            {
                "title": "Oraclize query failures (queryId == 0) can lock player funds and overwrite state",
                "category": "oracle",
                "evidence": "`oraclize_query` returns 0 on high price, but the fallback stores player state without checking queryId.",
                "severity": "medium",
                "locations": [
                    "contracts/Contract.sol:180",
                    "contracts/Contract.sol:186",
                    "contracts/Contract.sol:1094",
                    "contracts/Contract.sol:1101"
                ],
                "recommendation": "Require `queryId != 0` in the fallback and revert/refund when query creation fails. Alternatively, pre\u2011check `oraclize_getPrice` and abort if it exceeds a safe threshold.",
                "exploit_scenario": "If Oraclize pricing spikes (or the tx uses a low gas price), `oraclize_query` returns `0` instead of creating a query. The fallback still records the bet under `playerAddress[0]`/`playerAmount[0]`. No callback will ever arrive for queryId 0, so the user\u2019s ETH stays locked and can be overwritten by later failed bets, effectively losing track of earlier deposits."
            },
            {
                "title": "Unchecked ERC20 transfer results can silently fail, causing missing rewards",
                "category": "other",
                "evidence": "Token transfers are invoked without checking return values.",
                "severity": "low",
                "locations": [
                    "contracts/Contract.sol:1123",
                    "contracts/Contract.sol:1127",
                    "contracts/Contract.sol:1131",
                    "contracts/Contract.sol:1157"
                ],
                "recommendation": "Use a SafeERC20 wrapper or require that token transfers return true. Consider restricting to tokens that revert on failure.",
                "exploit_scenario": "If any reward token follows the ERC20 pattern of returning `false` on failure (instead of reverting), the contract will emit win events and clear player state even though the reward transfer did not succeed. Players may not receive rewards and there is no on-chain indication of failure."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0138
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x1b3ed722
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x01f2
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x1b87d58a
0000002b: EQ
0000002c: PUSH2 0x0214
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x23d32d6a
00000036: EQ
00000037: PUSH2 0x0236
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x27dc297e
00000041: EQ
00000042: PUSH2 0x0258
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x2e5b2168
0000004c: EQ
0000004d: PUSH2 0x02b1
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x2e6b2662
00000057: EQ
00000058: PUSH2 0x02d3
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x38bbfa50
00000062: EQ
00000063: PUSH2 0x02f5
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x3b5e5376
0000006d: EQ
0000006e: PUSH2 0x038b
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x3e4b20cf
00000078: EQ
00000079: PUSH2 0x03ad
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x41d4a1ab
00000083: EQ
00000084: PUSH2 0x03c5
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x6e66f6e9
0000008e: EQ
0000008f: PUSH2 0x03f1
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7aba86d2
00000099: EQ
0000009a: PUSH2 0x041d
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x880cdc31
000000a4: EQ
000000a5: PUSH2 0x043f
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x8da5cb5b
000000af: EQ
000000b0: PUSH2 0x045d
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x9619367d
000000ba: EQ
000000bb: PUSH2 0x0489
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xa10132ad
000000c5: EQ
000000c6: PUSH2 0x04ab
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xa824e636
000000d0: EQ
000000d1: PUSH2 0x04cd
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xabadaf9a
000000db: EQ
000000dc: PUSH2 0x04f5
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0xb65b4c9a
000000e6: EQ
000000e7: PUSH2 0x0517
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0xba82c897
000000f1: EQ
000000f2: PUSH2 0x0539
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xc8d52ee3
000000fc: EQ
000000fd: PUSH2 0x055a
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xcbd5131b
00000107: EQ
00000108: PUSH2 0x057b
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0xe0f8da97
00000112: EQ
00000113: PUSH2 0x059d
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xe2e9e6e8
0000011d: EQ
0000011e: PUSH2 0x05c9
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xf7b2a7be
00000128: EQ
00000129: PUSH2 0x05e4
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xff3af97f
00000133: EQ
00000134: PUSH2 0x0606
00000137: JUMPI
00000138: JUMPDEST
00000139: PUSH2 0x01f0
0000013c: JUMPDEST
0000013d: PUSH1 0x08
0000013f: SLOAD
00000140: PUSH1 0x00
00000142: SWAP1
00000143: DUP2
00000144: SWAP1
00000145: DUP2
00000146: SWAP1
00000147: CALLER
00000148: PUSH1 0x01
0000014a: PUSH1 0xa0
0000014c: PUSH1 0x02
0000014e: EXP
0000014f: SUB
00000150: SWAP1
00000151: DUP2
00000152: AND
00000153: SWAP2
00000154: AND
00000155: EQ
00000156: PUSH2 0x01ea
00000159: JUMPI
0000015a: PUSH1 0x0b
0000015c: SLOAD
0000015d: CALLVALUE
0000015e: GT
0000015f: DUP1
00000160: PUSH2 0x016a
00000163: JUMPI
00000164: POP
00000165: PUSH1 0x0c
00000167: SLOAD
00000168: CALLVALUE
00000169: LT
0000016a: JUMPDEST
0000016b: ISZERO
0000016c: PUSH2 0x0175
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: PUSH1 0x00
00000174: REVERT
00000175: JUMPDEST
00000176: PUSH2 0x019e
00000179: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
0000019a: PUSH2 0x063f
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH1 0x02
000001a1: SWAP3
000001a2: POP
000001a3: PUSH1 0x00
000001a5: SWAP2
000001a6: POP
000001a7: PUSH2 0x01b3
000001aa: DUP3
000001ab: DUP5
000001ac: PUSH1 0x10
000001ae: SLOAD
000001af: PUSH2 0x0790
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x00
000001b6: DUP2
000001b7: DUP2
000001b8: MSTORE
000001b9: PUSH1 0x16
000001bb: PUSH1 0x20
000001bd: SWAP1
000001be: DUP2
000001bf: MSTORE
000001c0: PUSH1 0x40
000001c2: DUP1
000001c3: DUP4
000001c4: KECCAK256
000001c5: DUP1
000001c6: SLOAD
000001c7: PUSH1 0x01
000001c9: PUSH1 0xa0
000001cb: PUSH1 0x02
000001cd: EXP
000001ce: SUB
000001cf: NOT
000001d0: AND
000001d1: CALLER
000001d2: PUSH1 0x01
000001d4: PUSH1 0xa0
000001d6: PUSH1 0x02
000001d8: EXP
000001d9: SUB
000001da: AND
000001db: OR
000001dc: SWAP1
000001dd: SSTORE
000001de: PUSH1 0x17
000001e0: SWAP1
000001e1: SWAP2
000001e2: MSTORE
000001e3: SWAP1
000001e4: KECCAK256
000001e5: CALLVALUE
000001e6: SWAP1
000001e7: SSTORE
000001e8: SWAP1
000001e9: POP
000001ea: JUMPDEST
000001eb: JUMPDEST
000001ec: POP
000001ed: POP
000001ee: POP
000001ef: JUMP
000001f0: JUMPDEST
000001f1: STOP
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: ISZERO
000001f5: PUSH2 0x01fa
000001f8: JUMPI
000001f9: INVALID
000001fa: JUMPDEST
000001fb: PUSH2 0x0202
000001fe: PUSH2 0x0aa1
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x40
00000205: DUP1
00000206: MLOAD
00000207: SWAP2
00000208: DUP3
00000209: MSTORE
0000020a: MLOAD
0000020b: SWAP1
0000020c: DUP2
0000020d: SWAP1
0000020e: SUB
0000020f: PUSH1 0x20
00000211: ADD
00000212: SWAP1
00000213: RETURN
00000214: JUMPDEST
00000215: CALLVALUE
00000216: ISZERO
00000217: PUSH2 0x021c
0000021a: JUMPI
0000021b: INVALID
0000021c: JUMPDEST
0000021d: PUSH2 0x0202
00000220: PUSH2 0x0aa7
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: DUP1
00000228: MLOAD
00000229: SWAP2
0000022a: DUP3
0000022b: MSTORE
0000022c: MLOAD
0000022d: SWAP1
0000022e: DUP2
0000022f: SWAP1
00000230: SUB
00000231: PUSH1 0x20
00000233: ADD
00000234: SWAP1
00000235: RETURN
00000236: JUMPDEST
00000237: CALLVALUE
00000238: ISZERO
00000239: PUSH2 0x023e
0000023c: JUMPI
0000023d: INVALID
0000023e: JUMPDEST
0000023f: PUSH2 0x0202
00000242: PUSH2 0x0aad
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH1 0x40
00000249: DUP1
0000024a: MLOAD
0000024b: SWAP2
0000024c: DUP3
0000024d: MSTORE
0000024e: MLOAD
0000024f: SWAP1
00000250: DUP2
00000251: SWAP1
00000252: SUB
00000253: PUSH1 0x20
00000255: ADD
00000256: SWAP1
00000257: RETURN
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: ISZERO
0000025b: PUSH2 0x0260
0000025e: JUMPI
0000025f: INVALID
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: DUP1
00000264: MLOAD
00000265: PUSH1 0x20
00000267: PUSH1 0x04
00000269: PUSH1 0x24
0000026b: DUP1
0000026c: CALLDATALOAD
0000026d: DUP3
0000026e: DUP2
0000026f: ADD
00000270: CALLDATALOAD
00000271: PUSH1 0x1f
00000273: DUP2
00000274: ADD
00000275: DUP6
00000276: SWAP1
00000277: DIV
00000278: DUP6
00000279: MUL
0000027a: DUP7
0000027b: ADD
0000027c: DUP6
0000027d: ADD
0000027e: SWAP1
0000027f: SWAP7
00000280: MSTORE
00000281: DUP6
00000282: DUP6
00000283: MSTORE
00000284: PUSH2 0x01f0
00000287: SWAP6
00000288: DUP4
00000289: CALLDATALOAD
0000028a: SWAP6
0000028b: SWAP4
0000028c: SWAP5
0000028d: PUSH1 0x44
0000028f: SWAP5
00000290: SWAP4
00000291: SWAP3
00000292: SWAP1
00000293: SWAP3
00000294: ADD
00000295: SWAP2
00000296: DUP2
00000297: SWAP1
00000298: DUP5
00000299: ADD
0000029a: DUP4
0000029b: DUP3
0000029c: DUP1
0000029d: DUP3
0000029e: DUP5
0000029f: CALLDATACOPY
000002a0: POP
000002a1: SWAP5
000002a2: SWAP7
000002a3: POP
000002a4: PUSH2 0x0ab3
000002a7: SWAP6
000002a8: POP
000002a9: POP
000002aa: POP
000002ab: POP
000002ac: POP
000002ad: POP
000002ae: JUMP
000002af: JUMPDEST
000002b0: STOP
000002b1: JUMPDEST
000002b2: CALLVALUE
000002b3: ISZERO
000002b4: PUSH2 0x02b9
000002b7: JUMPI
000002b8: INVALID
000002b9: JUMPDEST
000002ba: PUSH2 0x0202
000002bd: PUSH2 0x0ae3
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH1 0x40
000002c4: DUP1
000002c5: MLOAD
000002c6: SWAP2
000002c7: DUP3
000002c8: MSTORE
000002c9: MLOAD
000002ca: SWAP1
000002cb: DUP2
000002cc: SWAP1
000002cd: SUB
000002ce: PUSH1 0x20
000002d0: ADD
000002d1: SWAP1
000002d2: RETURN
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: ISZERO
000002d6: PUSH2 0x02db
000002d9: JUMPI
000002da: INVALID
000002db: JUMPDEST
000002dc: PUSH2 0x0202
000002df: PUSH2 0x0ae9
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: DUP1
000002e7: MLOAD
000002e8: SWAP2
000002e9: DUP3
000002ea: MSTORE
000002eb: MLOAD
000002ec: SWAP1
000002ed: DUP2
000002ee: SWAP1
000002ef: SUB
000002f0: PUSH1 0x20
000002f2: ADD
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: ISZERO
000002f8: PUSH2 0x02fd
000002fb: JUMPI
000002fc: INVALID
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: DUP1
00000301: MLOAD
00000302: PUSH1 0x20
00000304: PUSH1 0x04
00000306: PUSH1 0x24
00000308: DUP1
00000309: CALLDATALOAD
0000030a: DUP3
0000030b: DUP2
0000030c: ADD
0000030d: CALLDATALOAD
0000030e: PUSH1 0x1f
00000310: DUP2
00000311: ADD
00000312: DUP6
00000313: SWAP1
00000314: DIV
00000315: DUP6
00000316: MUL
00000317: DUP7
00000318: ADD
00000319: DUP6
0000031a: ADD
0000031b: SWAP1
0000031c: SWAP7
0000031d: MSTORE
0000031e: DUP6
0000031f: DUP6
00000320: MSTORE
00000321: PUSH2 0x01f0
00000324: SWAP6
00000325: DUP4
00000326: CALLDATALOAD
00000327: SWAP6
00000328: SWAP4
00000329: SWAP5
0000032a: PUSH1 0x44
0000032c: SWAP5
0000032d: SWAP4
0000032e: SWAP3
0000032f: SWAP1
00000330: SWAP3
00000331: ADD
00000332: SWAP2
00000333: DUP2
00000334: SWAP1
00000335: DUP5
00000336: ADD
00000337: DUP4
00000338: DUP3
00000339: DUP1
0000033a: DUP3
0000033b: DUP5
0000033c: CALLDATACOPY
0000033d: POP
0000033e: POP
0000033f: PUSH1 0x40
00000341: DUP1
00000342: MLOAD
00000343: PUSH1 0x20
00000345: PUSH1 0x1f
00000347: DUP10
00000348: CALLDATALOAD
00000349: DUP12
0000034a: ADD
0000034b: DUP1
0000034c: CALLDATALOAD
0000034d: SWAP2
0000034e: DUP3
0000034f: ADD
00000350: DUP4
00000351: SWAP1
00000352: DIV
00000353: DUP4
00000354: MUL
00000355: DUP5
00000356: ADD
00000357: DUP4
00000358: ADD
00000359: SWAP1
0000035a: SWAP5
0000035b: MSTORE
0000035c: DUP1
0000035d: DUP4
0000035e: MSTORE
0000035f: SWAP8
00000360: SWAP10
00000361: SWAP9
00000362: DUP2
00000363: ADD
00000364: SWAP8
00000365: SWAP2
00000366: SWAP7
00000367: POP
00000368: SWAP2
00000369: DUP3
0000036a: ADD
0000036b: SWAP5
0000036c: POP
0000036d: SWAP3
0000036e: POP
0000036f: DUP3
00000370: SWAP2
00000371: POP
00000372: DUP5
00000373: ADD
00000374: DUP4
00000375: DUP3
00000376: DUP1
00000377: DUP3
00000378: DUP5
00000379: CALLDATACOPY
0000037a: POP
0000037b: SWAP5
0000037c: SWAP7
0000037d: POP
0000037e: PUSH2 0x0aef
00000381: SWAP6
00000382: POP
00000383: POP
00000384: POP
00000385: POP
00000386: POP
00000387: POP
00000388: JUMP
00000389: JUMPDEST
0000038a: STOP
0000038b: JUMPDEST
0000038c: CALLVALUE
0000038d: ISZERO
0000038e: PUSH2 0x0393
00000391: JUMPI
00000392: INVALID
00000393: JUMPDEST
00000394: PUSH2 0x0202
00000397: PUSH2 0x0f22
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: DUP1
0000039f: MLOAD
000003a0: SWAP2
000003a1: DUP3
000003a2: MSTORE
000003a3: MLOAD
000003a4: SWAP1
000003a5: DUP2
000003a6: SWAP1
000003a7: SUB
000003a8: PUSH1 0x20
000003aa: ADD
000003ab: SWAP1
000003ac: RETURN
000003ad: JUMPDEST
000003ae: CALLVALUE
000003af: ISZERO
000003b0: PUSH2 0x03b5
000003b3: JUMPI
000003b4: INVALID
000003b5: JUMPDEST
000003b6: PUSH2 0x01f0
000003b9: PUSH1 0x04
000003bb: CALLDATALOAD
000003bc: PUSH1 0x24
000003be: CALLDATALOAD
000003bf: PUSH2 0x0f28
000003c2: JUMP
000003c3: JUMPDEST
000003c4: STOP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: ISZERO
000003c8: PUSH2 0x03cd
000003cb: JUMPI
000003cc: INVALID
000003cd: JUMPDEST
000003ce: PUSH2 0x03d5
000003d1: PUSH2 0x0f54
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x40
000003d8: DUP1
000003d9: MLOAD
000003da: PUSH1 0x01
000003dc: PUSH1 0xa0
000003de: PUSH1 0x02
000003e0: EXP
000003e1: SUB
000003e2: SWAP1
000003e3: SWAP3
000003e4: AND
000003e5: DUP3
000003e6: MSTORE
000003e7: MLOAD
000003e8: SWAP1
000003e9: DUP2
000003ea: SWAP1
000003eb: SUB
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: SWAP1
000003f0: RETURN
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: ISZERO
000003f4: PUSH2 0x03f9
000003f7: JUMPI
000003f8: INVALID
000003f9: JUMPDEST
000003fa: PUSH2 0x03d5
000003fd: PUSH2 0x0f63
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH1 0x40
00000404: DUP1
00000405: MLOAD
00000406: PUSH1 0x01
00000408: PUSH1 0xa0
0000040a: PUSH1 0x02
0000040c: EXP
0000040d: SUB
0000040e: SWAP1
0000040f: SWAP3
00000410: AND
00000411: DUP3
00000412: MSTORE
00000413: MLOAD
00000414: SWAP1
00000415: DUP2
00000416: SWAP1
00000417: SUB
00000418: PUSH1 0x20
0000041a: ADD
0000041b: SWAP1
0000041c: RETURN
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: ISZERO
00000420: PUSH2 0x0425
00000423: JUMPI
00000424: INVALID
00000425: JUMPDEST
00000426: PUSH2 0x0202
00000429: PUSH2 0x0f72
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH1 0x40
00000430: DUP1
00000431: MLOAD
00000432: SWAP2
00000433: DUP3
00000434: MSTORE
00000435: MLOAD
00000436: SWAP1
00000437: DUP2
00000438: SWAP1
00000439: SUB
0000043a: PUSH1 0x20
0000043c: ADD
0000043d: SWAP1
0000043e: RETURN
0000043f: JUMPDEST
00000440: CALLVALUE
00000441: ISZERO
00000442: PUSH2 0x0447
00000445: JUMPI
00000446: INVALID
00000447: JUMPDEST
00000448: PUSH2 0x01f0
0000044b: PUSH1 0x01
0000044d: PUSH1 0xa0
0000044f: PUSH1 0x02
00000451: EXP
00000452: SUB
00000453: PUSH1 0x04
00000455: CALLDATALOAD
00000456: AND
00000457: PUSH2 0x0f78
0000045a: JUMP
0000045b: JUMPDEST
0000045c: STOP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: ISZERO
00000460: PUSH2 0x0465
00000463: JUMPI
00000464: INVALID
00000465: JUMPDEST
00000466: PUSH2 0x03d5
00000469: PUSH2 0x0fb4
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH1 0x40
00000470: DUP1
00000471: MLOAD
00000472: PUSH1 0x01
00000474: PUSH1 0xa0
00000476: PUSH1 0x02
00000478: EXP
00000479: SUB
0000047a: SWAP1
0000047b: SWAP3
0000047c: AND
0000047d: DUP3
0000047e: MSTORE
0000047f: MLOAD
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: SUB
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: ISZERO
0000048c: PUSH2 0x0491
0000048f: JUMPI
00000490: INVALID
00000491: JUMPDEST
00000492: PUSH2 0x0202
00000495: PUSH2 0x0fc3
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH1 0x40
0000049c: DUP1
0000049d: MLOAD
0000049e: SWAP2
0000049f: DUP3
000004a0: MSTORE
000004a1: MLOAD
000004a2: SWAP1
000004a3: DUP2
000004a4: SWAP1
000004a5: SUB
000004a6: PUSH1 0x20
000004a8: ADD
000004a9: SWAP1
000004aa: RETURN
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: ISZERO
000004ae: PUSH2 0x04b3
000004b1: JUMPI
000004b2: INVALID
000004b3: JUMPDEST
000004b4: PUSH2 0x0202
000004b7: PUSH2 0x0fc9
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH1 0x40
000004be: DUP1
000004bf: MLOAD
000004c0: SWAP2
000004c1: DUP3
000004c2: MSTORE
000004c3: MLOAD
000004c4: SWAP1
000004c5: DUP2
000004c6: SWAP1
000004c7: SUB
000004c8: PUSH1 0x20
000004ca: ADD
000004cb: SWAP1
000004cc: RETURN
000004cd: JUMPDEST
000004ce: CALLVALUE
000004cf: ISZERO
000004d0: PUSH2 0x04d5
000004d3: JUMPI
000004d4: INVALID
000004d5: JUMPDEST
000004d6: PUSH2 0x01f0
000004d9: PUSH1 0x01
000004db: PUSH1 0xa0
000004dd: PUSH1 0x02
000004df: EXP
000004e0: SUB
000004e1: PUSH1 0x04
000004e3: CALLDATALOAD
000004e4: DUP2
000004e5: AND
000004e6: SWAP1
000004e7: PUSH1 0x24
000004e9: CALLDATALOAD
000004ea: SWAP1
000004eb: PUSH1 0x44
000004ed: CALLDATALOAD
000004ee: AND
000004ef: PUSH2 0x0fcf
000004f2: JUMP
000004f3: JUMPDEST
000004f4: STOP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: ISZERO
000004f8: PUSH2 0x04fd
000004fb: JUMPI
000004fc: INVALID
000004fd: JUMPDEST
000004fe: PUSH2 0x0202
00000501: PUSH2 0x1059
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH1 0x40
00000508: DUP1
00000509: MLOAD
0000050a: SWAP2
0000050b: DUP3
0000050c: MSTORE
0000050d: MLOAD
0000050e: SWAP1
0000050f: DUP2
00000510: SWAP1
00000511: SUB
00000512: PUSH1 0x20
00000514: ADD
00000515: SWAP1
00000516: RETURN
00000517: JUMPDEST
00000518: CALLVALUE
00000519: ISZERO
0000051a: PUSH2 0x051f
0000051d: JUMPI
0000051e: INVALID
0000051f: JUMPDEST
00000520: PUSH2 0x0202
00000523: PUSH2 0x105f
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x40
0000052a: DUP1
0000052b: MLOAD
0000052c: SWAP2
0000052d: DUP3
0000052e: MSTORE
0000052f: MLOAD
00000530: SWAP1
00000531: DUP2
00000532: SWAP1
00000533: SUB
00000534: PUSH1 0x20
00000536: ADD
00000537: SWAP1
00000538: RETURN
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: ISZERO
0000053c: PUSH2 0x0541
0000053f: JUMPI
00000540: INVALID
00000541: JUMPDEST
00000542: PUSH2 0x01f0
00000545: PUSH1 0x01
00000547: PUSH1 0xa0
00000549: PUSH1 0x02
0000054b: EXP
0000054c: SUB
0000054d: PUSH1 0x04
0000054f: CALLDATALOAD
00000550: AND
00000551: PUSH1 0x24
00000553: CALLDATALOAD
00000554: PUSH2 0x1065
00000557: JUMP
00000558: JUMPDEST
00000559: STOP
0000055a: JUMPDEST
0000055b: CALLVALUE
0000055c: ISZERO
0000055d: PUSH2 0x0562
00000560: JUMPI
00000561: INVALID
00000562: JUMPDEST
00000563: PUSH2 0x01f0
00000566: PUSH1 0x01
00000568: PUSH1 0xa0
0000056a: PUSH1 0x02
0000056c: EXP
0000056d: SUB
0000056e: PUSH1 0x04
00000570: CALLDATALOAD
00000571: AND
00000572: PUSH1 0x24
00000574: CALLDATALOAD
00000575: PUSH2 0x10a7
00000578: JUMP
00000579: JUMPDEST
0000057a: STOP
0000057b: JUMPDEST
0000057c: CALLVALUE
0000057d: ISZERO
0000057e: PUSH2 0x0583
00000581: JUMPI
00000582: INVALID
00000583: JUMPDEST
00000584: PUSH2 0x0202
00000587: PUSH2 0x10f6
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH1 0x40
0000058e: DUP1
0000058f: MLOAD
00000590: SWAP2
00000591: DUP3
00000592: MSTORE
00000593: MLOAD
00000594: SWAP1
00000595: DUP2
00000596: SWAP1
00000597: SUB
00000598: PUSH1 0x20
0000059a: ADD
0000059b: SWAP1
0000059c: RETURN
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: ISZERO
000005a0: PUSH2 0x05a5
000005a3: JUMPI
000005a4: INVALID
000005a5: JUMPDEST
000005a6: PUSH2 0x03d5
000005a9: PUSH2 0x10fc
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x40
000005b0: DUP1
000005b1: MLOAD
000005b2: PUSH1 0x01
000005b4: PUSH1 0xa0
000005b6: PUSH1 0x02
000005b8: EXP
000005b9: SUB
000005ba: SWAP1
000005bb: SWAP3
000005bc: AND
000005bd: DUP3
000005be: MSTORE
000005bf: MLOAD
000005c0: SWAP1
000005c1: DUP2
000005c2: SWAP1
000005c3: SUB
000005c4: PUSH1 0x20
000005c6: ADD
000005c7: SWAP1
000005c8: RETURN
000005c9: JUMPDEST
000005ca: CALLVALUE
000005cb: ISZERO
000005cc: PUSH2 0x05d1
000005cf: JUMPI
000005d0: INVALID
000005d1: JUMPDEST
000005d2: PUSH2 0x01f0
000005d5: PUSH1 0x04
000005d7: CALLDATALOAD
000005d8: PUSH1 0x24
000005da: CALLDATALOAD
000005db: PUSH1 0x44
000005dd: CALLDATALOAD
000005de: PUSH2 0x110b
000005e1: JUMP
000005e2: JUMPDEST
000005e3: STOP
000005e4: JUMPDEST
000005e5: CALLVALUE
000005e6: ISZERO
000005e7: PUSH2 0x05ec
000005ea: JUMPI
000005eb: INVALID
000005ec: JUMPDEST
000005ed: PUSH2 0x0202
000005f0: PUSH2 0x113d
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x40
000005f7: DUP1
000005f8: MLOAD
000005f9: SWAP2
000005fa: DUP3
000005fb: MSTORE
000005fc: MLOAD
000005fd: SWAP1
000005fe: DUP2
000005ff: SWAP1
00000600: SUB
00000601: PUSH1 0x20
00000603: ADD
00000604: SWAP1
00000605: RETURN
00000606: JUMPDEST
00000607: CALLVALUE
00000608: ISZERO
00000609: PUSH2 0x060e
0000060c: JUMPI
0000060d: INVALID
0000060e: JUMPDEST
0000060f: PUSH2 0x01f0
00000612: PUSH1 0x01
00000614: PUSH1 0xa0
00000616: PUSH1 0x02
00000618: EXP
00000619: SUB
0000061a: PUSH1 0x04
0000061c: CALLDATALOAD
0000061d: DUP2
0000061e: AND
0000061f: SWAP1
00000620: PUSH1 0x24
00000622: CALLDATALOAD
00000623: SWAP1
00000624: PUSH1 0x44
00000626: CALLDATALOAD
00000627: SWAP1
00000628: PUSH1 0x64
0000062a: CALLDATALOAD
0000062b: SWAP1
0000062c: PUSH1 0x84
0000062e: CALLDATALOAD
0000062f: AND
00000630: PUSH1 0xa4
00000632: CALLDATALOAD
00000633: PUSH1 0xc4
00000635: CALLDATALOAD
00000636: PUSH1 0xe4
00000638: CALLDATALOAD
00000639: PUSH2 0x1143
0000063c: JUMP
0000063d: JUMPDEST
0000063e: STOP
0000063f: JUMPDEST
00000640: PUSH1 0x00
00000642: SLOAD
00000643: PUSH1 0x01
00000645: PUSH1 0xa0
00000647: PUSH1 0x02
00000649: EXP
0000064a: SUB
0000064b: AND
0000064c: ISZERO
0000064d: DUP1
0000064e: PUSH2 0x0669
00000651: JUMPI
00000652: POP
00000653: PUSH1 0x00
00000655: SLOAD
00000656: PUSH2 0x0667
00000659: SWAP1
0000065a: PUSH1 0x01
0000065c: PUSH1 0xa0
0000065e: PUSH1 0x02
00000660: EXP
00000661: SUB
00000662: AND
00000663: PUSH2 0x11b9
00000666: JUMP
00000667: JUMPDEST
00000668: ISZERO
00000669: JUMPDEST
0000066a: ISZERO
0000066b: PUSH2 0x0678
0000066e: JUMPI
0000066f: PUSH2 0x0676
00000672: PUSH2 0x11c1
00000675: JUMP
00000676: JUMPDEST
00000677: POP
00000678: JUMPDEST
00000679: PUSH1 0x00
0000067b: PUSH1 0x00
0000067d: SWAP1
0000067e: SLOAD
0000067f: SWAP1
00000680: PUSH2 0x0100
00000683: EXP
00000684: SWAP1
00000685: DIV
00000686: PUSH1 0x01
00000688: PUSH1 0xa0
0000068a: PUSH1 0x02
0000068c: EXP
0000068d: SUB
0000068e: AND
0000068f: PUSH1 0x01
00000691: PUSH1 0xa0
00000693: PUSH1 0x02
00000695: EXP
00000696: SUB
00000697: AND
00000698: PUSH4 0x38cc4831
0000069d: PUSH1 0x00
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: MSTORE
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: DUP2
000006aa: PUSH4 0xffffffff
000006af: AND
000006b0: PUSH1 0xe0
000006b2: PUSH1 0x02
000006b4: EXP
000006b5: MUL
000006b6: DUP2
000006b7: MSTORE
000006b8: PUSH1 0x04
000006ba: ADD
000006bb: DUP1
000006bc: SWAP1
000006bd: POP
000006be: PUSH1 0x20
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: DUP1
000006c4: DUP4
000006c5: SUB
000006c6: DUP2
000006c7: PUSH1 0x00
000006c9: DUP8
000006ca: DUP1
000006cb: EXTCODESIZE
000006cc: ISZERO
000006cd: ISZERO
000006ce: PUSH2 0x06d3
000006d1: JUMPI
000006d2: INVALID
000006d3: JUMPDEST
000006d4: PUSH2 0x02c6
000006d7: GAS
000006d8: SUB
000006d9: CALL
000006da: ISZERO
000006db: ISZERO
000006dc: PUSH2 0x06e1
000006df: JUMPI
000006e0: INVALID
000006e1: JUMPDEST
000006e2: POP
000006e3: POP
000006e4: PUSH1 0x40
000006e6: DUP1
000006e7: MLOAD
000006e8: DUP1
000006e9: MLOAD
000006ea: PUSH1 0x01
000006ec: DUP1
000006ed: SLOAD
000006ee: PUSH1 0x01
000006f0: PUSH1 0xa0
000006f2: PUSH1 0x02
000006f4: EXP
000006f5: SUB
000006f6: NOT
000006f7: AND
000006f8: PUSH1 0x01
000006fa: PUSH1 0xa0
000006fc: PUSH1 0x02
000006fe: EXP
000006ff: SUB
00000700: SWAP3
00000701: DUP4
00000702: AND
00000703: OR
00000704: SWAP1
00000705: DUP2
00000706: SWAP1
00000707: SSTORE
00000708: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000
00000729: DUP4
0000072a: MSTORE
0000072b: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
0000074c: DUP7
0000074d: AND
0000074e: PUSH1 0x04
00000750: DUP5
00000751: ADD
00000752: MSTORE
00000753: SWAP3
00000754: MLOAD
00000755: SWAP3
00000756: AND
00000757: SWAP3
00000758: POP
00000759: PUSH4 0x688dcfd7
0000075e: SWAP2
0000075f: PUSH1 0x24
00000761: DUP1
00000762: DUP4
00000763: ADD
00000764: SWAP3
00000765: PUSH1 0x00
00000767: SWAP3
00000768: SWAP2
00000769: SWAP1
0000076a: DUP3
0000076b: SWAP1
0000076c: SUB
0000076d: ADD
0000076e: DUP2
0000076f: DUP4
00000770: DUP8
00000771: DUP1
00000772: EXTCODESIZE
00000773: ISZERO
00000774: ISZERO
00000775: PUSH2 0x077a
00000778: JUMPI
00000779: INVALID
0000077a: JUMPDEST
0000077b: PUSH2 0x02c6
0000077e: GAS
0000077f: SUB
00000780: CALL
00000781: ISZERO
00000782: ISZERO
00000783: PUSH2 0x0788
00000786: JUMPI
00000787: INVALID
00000788: JUMPDEST
00000789: POP
0000078a: POP
0000078b: POP
0000078c: JUMPDEST
0000078d: JUMPDEST
0000078e: POP
0000078f: JUMP
00000790: JUMPDEST
00000791: PUSH1 0x00
00000793: PUSH2 0x079a
00000796: PUSH2 0x2ea1
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x2ea1
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH2 0x07aa
000007a6: PUSH2 0x2ea1
000007a9: JUMP
000007aa: JUMPDEST
000007ab: PUSH1 0x00
000007ad: PUSH2 0x07b4
000007b0: PUSH2 0x2eb3
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH1 0x00
000007b7: DUP9
000007b8: ISZERO
000007b9: DUP1
000007ba: PUSH2 0x07c3
000007bd: JUMPI
000007be: POP
000007bf: PUSH1 0x20
000007c1: DUP10
000007c2: GT
000007c3: JUMPDEST
000007c4: ISZERO
000007c5: PUSH2 0x07ce
000007c8: JUMPI
000007c9: PUSH1 0x00
000007cb: PUSH1 0x00
000007cd: REVERT
000007ce: JUMPDEST
000007cf: PUSH1 0x01
000007d1: PUSH1 0x40
000007d3: MLOAD
000007d4: DUP1
000007d5: MSIZE
000007d6: LT
000007d7: PUSH2 0x07dd
000007da: JUMPI
000007db: POP
000007dc: MSIZE
000007dd: JUMPDEST
000007de: SWAP1
000007df: DUP1
000007e0: DUP3
000007e1: MSTORE
000007e2: DUP1
000007e3: PUSH1 0x20
000007e5: MUL
000007e6: PUSH1 0x20
000007e8: ADD
000007e9: DUP3
000007ea: ADD
000007eb: PUSH1 0x40
000007ed: MSTORE
000007ee: JUMPDEST
000007ef: POP
000007f0: SWAP6
000007f1: POP
000007f2: DUP9
000007f3: PUSH1 0xf8
000007f5: PUSH1 0x02
000007f7: EXP
000007f8: MUL
000007f9: DUP7
000007fa: PUSH1 0x00
000007fc: DUP2
000007fd: MLOAD
000007fe: DUP2
000007ff: LT
00000800: ISZERO
00000801: ISZERO
00000802: PUSH2 0x0807
00000805: JUMPI
00000806: INVALID
00000807: JUMPDEST
00000808: SWAP1
00000809: PUSH1 0x20
0000080b: ADD
0000080c: ADD
0000080d: SWAP1
0000080e: PUSH1 0x01
00000810: PUSH1 0xf8
00000812: PUSH1 0x02
00000814: EXP
00000815: SUB
00000816: NOT
00000817: AND
00000818: SWAP1
00000819: DUP2
0000081a: PUSH1 0x00
0000081c: BYTE
0000081d: SWAP1
0000081e: MSTORE8
0000081f: POP
00000820: PUSH1 0x20
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP1
00000826: MSIZE
00000827: LT
00000828: PUSH2 0x082e
0000082b: JUMPI
0000082c: POP
0000082d: MSIZE
0000082e: JUMPDEST
0000082f: SWAP1
00000830: DUP1
00000831: DUP3
00000832: MSTORE
00000833: DUP1
00000834: PUSH1 0x20
00000836: MUL
00000837: PUSH1 0x20
00000839: ADD
0000083a: DUP3
0000083b: ADD
0000083c: PUSH1 0x40
0000083e: MSTORE
0000083f: JUMPDEST
00000840: POP
00000841: SWAP5
00000842: POP
00000843: PUSH1 0x20
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: MSIZE
0000084a: LT
0000084b: PUSH2 0x0851
0000084e: JUMPI
0000084f: POP
00000850: MSIZE
00000851: JUMPDEST
00000852: SWAP1
00000853: DUP1
00000854: DUP3
00000855: MSTORE
00000856: DUP1
00000857: PUSH1 0x20
00000859: MUL
0000085a: PUSH1 0x20
0000085c: ADD
0000085d: DUP3
0000085e: ADD
0000085f: PUSH1 0x40
00000861: MSTORE
00000862: JUMPDEST
00000863: POP
00000864: SWAP4
00000865: POP
00000866: PUSH2 0x086d
00000869: PUSH2 0x1503
0000086c: JUMP
0000086d: JUMPDEST
0000086e: SWAP3
0000086f: POP
00000870: PUSH1 0x20
00000872: DUP6
00000873: MSTORE
00000874: TIMESTAMP
00000875: COINBASE
00000876: XOR
00000877: PUSH1 0x01
00000879: NUMBER
0000087a: SUB
0000087b: BLOCKHASH
0000087c: XOR
0000087d: PUSH1 0x20
0000087f: DUP7
00000880: ADD
00000881: MSTORE
00000882: PUSH1 0x20
00000884: DUP5
00000885: MSTORE
00000886: DUP3
00000887: PUSH1 0x20
00000889: DUP6
0000088a: ADD
0000088b: MSTORE
0000088c: PUSH1 0x60
0000088e: PUSH1 0x40
00000890: MLOAD
00000891: SWAP1
00000892: DUP2
00000893: ADD
00000894: PUSH1 0x40
00000896: MSTORE
00000897: DUP1
00000898: DUP7
00000899: DUP2
0000089a: MSTORE
0000089b: PUSH1 0x20
0000089d: ADD
0000089e: DUP8
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: DUP6
000008a5: DUP2
000008a6: MSTORE
000008a7: POP
000008a8: SWAP2
000008a9: POP
000008aa: PUSH2 0x08eb
000008ad: DUP11
000008ae: PUSH1 0x40
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: SWAP1
000008b4: DUP2
000008b5: ADD
000008b6: PUSH1 0x40
000008b8: MSTORE
000008b9: DUP1
000008ba: PUSH1 0x06
000008bc: DUP2
000008bd: MSTORE
000008be: PUSH1 0x20
000008c0: ADD
000008c1: PUSH32 0x72616e646f6d0000000000000000000000000000000000000000000000000000
000008e2: DUP2
000008e3: MSTORE
000008e4: POP
000008e5: DUP5
000008e6: DUP12
000008e7: PUSH2 0x163f
000008ea: JUMP
000008eb: JUMPDEST
000008ec: SWAP1
000008ed: POP
000008ee: PUSH2 0x0a90
000008f1: DUP2
000008f2: PUSH25 0x01000000000000000000000000000000000000000000000000
0000090c: DUP13
0000090d: MUL
0000090e: DUP5
0000090f: PUSH1 0x01
00000911: JUMPDEST
00000912: PUSH1 0x20
00000914: MUL
00000915: ADD
00000916: MLOAD
00000917: PUSH1 0x02
00000919: DUP7
0000091a: PUSH1 0x00
0000091c: JUMPDEST
0000091d: PUSH1 0x20
0000091f: MUL
00000920: ADD
00000921: MLOAD
00000922: PUSH1 0x00
00000924: PUSH1 0x40
00000926: MLOAD
00000927: PUSH1 0x20
00000929: ADD
0000092a: MSTORE
0000092b: PUSH1 0x40
0000092d: MLOAD
0000092e: DUP1
0000092f: DUP3
00000930: DUP1
00000931: MLOAD
00000932: SWAP1
00000933: PUSH1 0x20
00000935: ADD
00000936: SWAP1
00000937: DUP1
00000938: DUP4
00000939: DUP4
0000093a: JUMPDEST
0000093b: PUSH1 0x20
0000093d: DUP4
0000093e: LT
0000093f: PUSH2 0x0959
00000942: JUMPI
00000943: DUP1
00000944: MLOAD
00000945: DUP3
00000946: MSTORE
00000947: PUSH1 0x1f
00000949: NOT
0000094a: SWAP1
0000094b: SWAP3
0000094c: ADD
0000094d: SWAP2
0000094e: PUSH1 0x20
00000950: SWAP2
00000951: DUP3
00000952: ADD
00000953: SWAP2
00000954: ADD
00000955: PUSH2 0x093a
00000958: JUMP
00000959: JUMPDEST
0000095a: MLOAD
0000095b: DUP2
0000095c: MLOAD
0000095d: PUSH1 0x20
0000095f: SWAP4
00000960: DUP5
00000961: SUB
00000962: PUSH2 0x0100
00000965: EXP
00000966: PUSH1 0x00
00000968: NOT
00000969: ADD
0000096a: DUP1
0000096b: NOT
0000096c: SWAP1
0000096d: SWAP3
0000096e: AND
0000096f: SWAP2
00000970: AND
00000971: OR
00000972: SWAP1
00000973: MSTORE
00000974: PUSH1 0x40
00000976: MLOAD
00000977: SWAP2
00000978: SWAP1
00000979: SWAP4
0000097a: ADD
0000097b: SWAP5
0000097c: POP
0000097d: SWAP2
0000097e: SWAP3
0000097f: POP
00000980: POP
00000981: DUP1
00000982: DUP4
00000983: SUB
00000984: DUP2
00000985: PUSH1 0x00
00000987: DUP7
00000988: PUSH2 0x646e
0000098b: GAS
0000098c: SUB
0000098d: CALL
0000098e: ISZERO
0000098f: ISZERO
00000990: PUSH2 0x0995
00000993: JUMPI
00000994: INVALID
00000995: JUMPDEST
00000996: POP
00000997: POP
00000998: PUSH1 0x40
0000099a: MLOAD
0000099b: MLOAD
0000099c: DUP7
0000099d: PUSH1 0x02
0000099f: JUMPDEST
000009a0: PUSH1 0x20
000009a2: MUL
000009a3: ADD
000009a4: MLOAD
000009a5: PUSH1 0x40
000009a7: MLOAD
000009a8: DUP1
000009a9: DUP6
000009aa: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
000009c3: NOT
000009c4: AND
000009c5: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
000009de: NOT
000009df: AND
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x08
000009e4: ADD
000009e5: DUP5
000009e6: DUP1
000009e7: MLOAD
000009e8: SWAP1
000009e9: PUSH1 0x20
000009eb: ADD
000009ec: SWAP1
000009ed: DUP1
000009ee: DUP4
000009ef: DUP4
000009f0: JUMPDEST
000009f1: PUSH1 0x20
000009f3: DUP4
000009f4: LT
000009f5: PUSH2 0x0a0f
000009f8: JUMPI
000009f9: DUP1
000009fa: MLOAD
000009fb: DUP3
000009fc: MSTORE
000009fd: PUSH1 0x1f
000009ff: NOT
00000a00: SWAP1
00000a01: SWAP3
00000a02: ADD
00000a03: SWAP2
00000a04: PUSH1 0x20
00000a06: SWAP2
00000a07: DUP3
00000a08: ADD
00000a09: SWAP2
00000a0a: ADD
00000a0b: PUSH2 0x09f0
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: MLOAD
00000a11: DUP2
00000a12: MLOAD
00000a13: PUSH1 0x20
00000a15: SWAP4
00000a16: DUP5
00000a17: SUB
00000a18: PUSH2 0x0100
00000a1b: EXP
00000a1c: PUSH1 0x00
00000a1e: NOT
00000a1f: ADD
00000a20: DUP1
00000a21: NOT
00000a22: SWAP1
00000a23: SWAP3
00000a24: AND
00000a25: SWAP2
00000a26: AND
00000a27: OR
00000a28: SWAP1
00000a29: MSTORE
00000a2a: SWAP3
00000a2b: ADD
00000a2c: DUP6
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: DUP5
00000a30: MLOAD
00000a31: SWAP1
00000a32: DUP4
00000a33: ADD
00000a34: SWAP3
00000a35: DUP6
00000a36: ADD
00000a37: SWAP2
00000a38: POP
00000a39: DUP1
00000a3a: DUP4
00000a3b: DUP4
00000a3c: JUMPDEST
00000a3d: PUSH1 0x20
00000a3f: DUP4
00000a40: LT
00000a41: PUSH2 0x0a5b
00000a44: JUMPI
00000a45: DUP1
00000a46: MLOAD
00000a47: DUP3
00000a48: MSTORE
00000a49: PUSH1 0x1f
00000a4b: NOT
00000a4c: SWAP1
00000a4d: SWAP3
00000a4e: ADD
00000a4f: SWAP2
00000a50: PUSH1 0x20
00000a52: SWAP2
00000a53: DUP3
00000a54: ADD
00000a55: SWAP2
00000a56: ADD
00000a57: PUSH2 0x0a3c
00000a5a: JUMP
00000a5b: JUMPDEST
00000a5c: PUSH1 0x01
00000a5e: DUP4
00000a5f: PUSH1 0x20
00000a61: SUB
00000a62: PUSH2 0x0100
00000a65: EXP
00000a66: SUB
00000a67: DUP1
00000a68: NOT
00000a69: DUP3
00000a6a: MLOAD
00000a6b: AND
00000a6c: DUP2
00000a6d: DUP5
00000a6e: MLOAD
00000a6f: AND
00000a70: DUP1
00000a71: DUP3
00000a72: OR
00000a73: DUP6
00000a74: MSTORE
00000a75: POP
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: SWAP1
00000a7c: POP
00000a7d: ADD
00000a7e: SWAP5
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: DUP1
00000a88: SWAP2
00000a89: SUB
00000a8a: SWAP1
00000a8b: KECCAK256
00000a8c: PUSH2 0x17d7
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: DUP1
00000a92: SWAP7
00000a93: POP
00000a94: JUMPDEST
00000a95: POP
00000a96: POP
00000a97: POP
00000a98: POP
00000a99: POP
00000a9a: POP
00000a9b: SWAP4
00000a9c: SWAP3
00000a9d: POP
00000a9e: POP
00000a9f: POP
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH1 0x0a
00000aa4: SLOAD
00000aa5: DUP2
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH1 0x12
00000aaa: SLOAD
00000aab: DUP2
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x09
00000ab0: SLOAD
00000ab1: DUP2
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: PUSH2 0x0ade
00000ab7: DUP3
00000ab8: DUP3
00000ab9: PUSH1 0x00
00000abb: PUSH1 0x40
00000abd: MLOAD
00000abe: DUP1
00000abf: MSIZE
00000ac0: LT
00000ac1: PUSH2 0x0ac7
00000ac4: JUMPI
00000ac5: POP
00000ac6: MSIZE
00000ac7: JUMPDEST
00000ac8: SWAP1
00000ac9: DUP1
00000aca: DUP3
00000acb: MSTORE
00000acc: DUP1
00000acd: PUSH1 0x20
00000acf: MUL
00000ad0: PUSH1 0x20
00000ad2: ADD
00000ad3: DUP3
00000ad4: ADD
00000ad5: PUSH1 0x40
00000ad7: MSTORE
00000ad8: JUMPDEST
00000ad9: POP
00000ada: PUSH2 0x0aef
00000add: JUMP
00000ade: JUMPDEST
00000adf: JUMPDEST
00000ae0: POP
00000ae1: POP
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: PUSH1 0x0b
00000ae6: SLOAD
00000ae7: DUP2
00000ae8: JUMP
00000ae9: JUMPDEST
00000aea: PUSH1 0x14
00000aec: SLOAD
00000aed: DUP2
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x00
00000af2: PUSH2 0x0af9
00000af5: PUSH2 0x17ed
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x01
00000afc: PUSH1 0xa0
00000afe: PUSH1 0x02
00000b00: EXP
00000b01: SUB
00000b02: AND
00000b03: CALLER
00000b04: PUSH1 0x01
00000b06: PUSH1 0xa0
00000b08: PUSH1 0x02
00000b0a: EXP
00000b0b: SUB
00000b0c: AND
00000b0d: EQ
00000b0e: ISZERO
00000b0f: ISZERO
00000b10: PUSH2 0x0b19
00000b13: JUMPI
00000b14: PUSH1 0x00
00000b16: PUSH1 0x00
00000b18: REVERT
00000b19: JUMPDEST
00000b1a: POP
00000b1b: PUSH1 0x00
00000b1d: DUP4
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x17
00000b22: PUSH1 0x20
00000b24: MSTORE
00000b25: PUSH1 0x40
00000b27: SWAP1
00000b28: KECCAK256
00000b29: SLOAD
00000b2a: PUSH2 0x0b34
00000b2d: DUP5
00000b2e: DUP5
00000b2f: DUP5
00000b30: PUSH2 0x1929
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH1 0xff
00000b37: AND
00000b38: ISZERO
00000b39: ISZERO
00000b3a: DUP1
00000b3b: PUSH2 0x0b43
00000b3e: JUMPI
00000b3f: POP
00000b40: DUP2
00000b41: MLOAD
00000b42: ISZERO
00000b43: JUMPDEST
00000b44: ISZERO
00000b45: PUSH2 0x0c09
00000b48: JUMPI
00000b49: PUSH1 0x00
00000b4b: DUP5
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x16
00000b50: PUSH1 0x20
00000b52: SWAP1
00000b53: DUP2
00000b54: MSTORE
00000b55: PUSH1 0x40
00000b57: SWAP2
00000b58: DUP3
00000b59: SWAP1
00000b5a: KECCAK256
00000b5b: SLOAD
00000b5c: DUP3
00000b5d: MLOAD
00000b5e: PUSH1 0x01
00000b60: PUSH1 0xa0
00000b62: PUSH1 0x02
00000b64: EXP
00000b65: SUB
00000b66: SWAP1
00000b67: SWAP2
00000b68: AND
00000b69: DUP2
00000b6a: MSTORE
00000b6b: SWAP1
00000b6c: DUP2
00000b6d: ADD
00000b6e: DUP4
00000b6f: SWAP1
00000b70: MSTORE
00000b71: PUSH1 0x01
00000b73: DUP2
00000b74: DUP4
00000b75: ADD
00000b76: MSTORE
00000b77: SWAP1
00000b78: MLOAD
00000b79: PUSH32 0xab61787a93a28d94fd000833bfd75dfa8a6ef7765fc99e6276ca8630acd68dc7
00000b9a: SWAP2
00000b9b: DUP2
00000b9c: SWAP1
00000b9d: SUB
00000b9e: PUSH1 0x60
00000ba0: ADD
00000ba1: SWAP1
00000ba2: LOG1
00000ba3: PUSH1 0x00
00000ba5: DUP5
00000ba6: DUP2
00000ba7: MSTORE
00000ba8: PUSH1 0x16
00000baa: PUSH1 0x20
00000bac: MSTORE
00000bad: PUSH1 0x40
00000baf: DUP1
00000bb0: DUP3
00000bb1: KECCAK256
00000bb2: SLOAD
00000bb3: SWAP1
00000bb4: MLOAD
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0xa0
00000bb9: PUSH1 0x02
00000bbb: EXP
00000bbc: SUB
00000bbd: SWAP1
00000bbe: SWAP2
00000bbf: AND
00000bc0: SWAP2
00000bc1: DUP4
00000bc2: ISZERO
00000bc3: PUSH2 0x08fc
00000bc6: MUL
00000bc7: SWAP2
00000bc8: DUP5
00000bc9: SWAP2
00000bca: DUP2
00000bcb: DUP2
00000bcc: DUP2
00000bcd: DUP6
00000bce: DUP9
00000bcf: DUP9
00000bd0: CALL
00000bd1: SWAP4
00000bd2: POP
00000bd3: POP
00000bd4: POP
00000bd5: POP
00000bd6: ISZERO
00000bd7: ISZERO
00000bd8: PUSH2 0x0bdd
00000bdb: JUMPI
00000bdc: INVALID
00000bdd: JUMPDEST
00000bde: PUSH1 0x00
00000be0: DUP5
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x16
00000be5: PUSH1 0x20
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x40
00000bec: DUP1
00000bed: DUP4
00000bee: KECCAK256
00000bef: DUP1
00000bf0: SLOAD
00000bf1: PUSH1 0x01
00000bf3: PUSH1 0xa0
00000bf5: PUSH1 0x02
00000bf7: EXP
00000bf8: SUB
00000bf9: NOT
00000bfa: AND
00000bfb: SWAP1
00000bfc: SSTORE
00000bfd: PUSH1 0x17
00000bff: SWAP1
00000c00: SWAP2
00000c01: MSTORE
00000c02: DUP2
00000c03: KECCAK256
00000c04: SSTORE
00000c05: PUSH2 0x0788
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH3 0x010000
00000c0e: DUP4
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: DUP1
00000c13: DUP3
00000c14: DUP1
00000c15: MLOAD
00000c16: SWAP1
00000c17: PUSH1 0x20
00000c19: ADD
00000c1a: SWAP1
00000c1b: DUP1
00000c1c: DUP4
00000c1d: DUP4
00000c1e: JUMPDEST
00000c1f: PUSH1 0x20
00000c21: DUP4
00000c22: LT
00000c23: PUSH2 0x0c3d
00000c26: JUMPI
00000c27: DUP1
00000c28: MLOAD
00000c29: DUP3
00000c2a: MSTORE
00000c2b: PUSH1 0x1f
00000c2d: NOT
00000c2e: SWAP1
00000c2f: SWAP3
00000c30: ADD
00000c31: SWAP2
00000c32: PUSH1 0x20
00000c34: SWAP2
00000c35: DUP3
00000c36: ADD
00000c37: SWAP2
00000c38: ADD
00000c39: PUSH2 0x0c1e
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: MLOAD
00000c3f: DUP2
00000c40: MLOAD
00000c41: PUSH1 0x20
00000c43: SWAP4
00000c44: SWAP1
00000c45: SWAP4
00000c46: SUB
00000c47: PUSH2 0x0100
00000c4a: EXP
00000c4b: PUSH1 0x00
00000c4d: NOT
00000c4e: ADD
00000c4f: DUP1
00000c50: NOT
00000c51: SWAP1
00000c52: SWAP2
00000c53: AND
00000c54: SWAP3
00000c55: AND
00000c56: SWAP2
00000c57: SWAP1
00000c58: SWAP2
00000c59: OR
00000c5a: SWAP1
00000c5b: MSTORE
00000c5c: PUSH1 0x40
00000c5e: MLOAD
00000c5f: SWAP3
00000c60: ADD
00000c61: DUP3
00000c62: SWAP1
00000c63: SUB
00000c64: SWAP1
00000c65: SWAP2
00000c66: KECCAK256
00000c67: SWAP3
00000c68: POP
00000c69: POP
00000c6a: POP
00000c6b: DUP2
00000c6c: ISZERO
00000c6d: ISZERO
00000c6e: PUSH2 0x0c73
00000c71: JUMPI
00000c72: INVALID
00000c73: JUMPDEST
00000c74: MOD
00000c75: PUSH1 0x09
00000c77: DUP2
00000c78: SWAP1
00000c79: SSTORE
00000c7a: PUSH1 0x00
00000c7c: DUP6
00000c7d: DUP2
00000c7e: MSTORE
00000c7f: PUSH1 0x16
00000c81: PUSH1 0x20
00000c83: SWAP1
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH1 0x40
00000c88: SWAP2
00000c89: DUP3
00000c8a: SWAP1
00000c8b: KECCAK256
00000c8c: SLOAD
00000c8d: DUP3
00000c8e: MLOAD
00000c8f: SWAP4
00000c90: DUP5
00000c91: MSTORE
00000c92: PUSH1 0x01
00000c94: PUSH1 0xa0
00000c96: PUSH1 0x02
00000c98: EXP
00000c99: SUB
00000c9a: AND
00000c9b: SWAP1
00000c9c: DUP4
00000c9d: ADD
00000c9e: MSTORE
00000c9f: DUP2
00000ca0: DUP2
00000ca1: ADD
00000ca2: DUP4
00000ca3: SWAP1
00000ca4: MSTORE
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0x60
00000ca9: DUP4
00000caa: ADD
00000cab: MSTORE
00000cac: MLOAD
00000cad: PUSH32 0x18476db4762558939327c1cf9f6d85c3228e226f14aeb8ab602154ce22dddec1
00000cce: SWAP2
00000ccf: DUP2
00000cd0: SWAP1
00000cd1: SUB
00000cd2: PUSH1 0x80
00000cd4: ADD
00000cd5: SWAP1
00000cd6: LOG1
00000cd7: PUSH1 0x11
00000cd9: SLOAD
00000cda: PUSH1 0x09
00000cdc: SLOAD
00000cdd: GT
00000cde: ISZERO
00000cdf: PUSH2 0x0d24
00000ce2: JUMPI
00000ce3: PUSH1 0x00
00000ce5: DUP5
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x16
00000cea: PUSH1 0x20
00000cec: MSTORE
00000ced: PUSH1 0x40
00000cef: DUP1
00000cf0: DUP3
00000cf1: KECCAK256
00000cf2: SLOAD
00000cf3: PUSH1 0x0a
00000cf5: SLOAD
00000cf6: SWAP2
00000cf7: MLOAD
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: PUSH1 0x02
00000cfe: EXP
00000cff: SUB
00000d00: SWAP1
00000d01: SWAP2
00000d02: AND
00000d03: SWAP3
00000d04: SWAP2
00000d05: DUP5
00000d06: MUL
00000d07: DUP1
00000d08: ISZERO
00000d09: PUSH2 0x08fc
00000d0c: MUL
00000d0d: SWAP3
00000d0e: SWAP1
00000d0f: SWAP2
00000d10: SWAP1
00000d11: DUP2
00000d12: DUP2
00000d13: DUP2
00000d14: DUP6
00000d15: DUP9
00000d16: DUP9
00000d17: CALL
00000d18: SWAP4
00000d19: POP
00000d1a: POP
00000d1b: POP
00000d1c: POP
00000d1d: ISZERO
00000d1e: ISZERO
00000d1f: PUSH2 0x0d24
00000d22: JUMPI
00000d23: INVALID
00000d24: JUMPDEST
00000d25: JUMPDEST
00000d26: PUSH1 0x11
00000d28: SLOAD
00000d29: PUSH1 0x09
00000d2b: SLOAD
00000d2c: GT
00000d2d: ISZERO
00000d2e: DUP1
00000d2f: ISZERO
00000d30: PUSH2 0x0d3b
00000d33: JUMPI
00000d34: POP
00000d35: PUSH1 0x00
00000d37: PUSH1 0x0d
00000d39: SLOAD
00000d3a: GT
00000d3b: JUMPDEST
00000d3c: ISZERO
00000d3d: PUSH2 0x0db4
00000d40: JUMPI
00000d41: PUSH1 0x05
00000d43: SLOAD
00000d44: PUSH1 0x00
00000d46: DUP6
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x16
00000d4b: PUSH1 0x20
00000d4d: MSTORE
00000d4e: PUSH1 0x40
00000d50: DUP1
00000d51: DUP3
00000d52: KECCAK256
00000d53: SLOAD
00000d54: PUSH1 0x0d
00000d56: SLOAD
00000d57: DUP3
00000d58: MLOAD
00000d59: PUSH1 0xe0
00000d5b: PUSH1 0x02
00000d5d: EXP
00000d5e: PUSH4 0xa9059cbb
00000d63: MUL
00000d64: DUP2
00000d65: MSTORE
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: PUSH1 0x02
00000d6c: EXP
00000d6d: SUB
00000d6e: SWAP3
00000d6f: DUP4
00000d70: AND
00000d71: PUSH1 0x04
00000d73: DUP3
00000d74: ADD
00000d75: MSTORE
00000d76: PUSH1 0x24
00000d78: DUP2
00000d79: ADD
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: SWAP2
00000d7d: MSTORE
00000d7e: SWAP2
00000d7f: MLOAD
00000d80: SWAP4
00000d81: AND
00000d82: SWAP3
00000d83: PUSH4 0xa9059cbb
00000d88: SWAP3
00000d89: PUSH1 0x44
00000d8b: DUP1
00000d8c: DUP5
00000d8d: ADD
00000d8e: SWAP4
00000d8f: SWAP2
00000d90: SWAP3
00000d91: SWAP2
00000d92: DUP3
00000d93: SWAP1
00000d94: SUB
00000d95: ADD
00000d96: DUP2
00000d97: DUP4
00000d98: DUP8
00000d99: DUP1
00000d9a: EXTCODESIZE
00000d9b: ISZERO
00000d9c: ISZERO
00000d9d: PUSH2 0x0da2
00000da0: JUMPI
00000da1: INVALID
00000da2: JUMPDEST
00000da3: PUSH2 0x02c6
00000da6: GAS
00000da7: SUB
00000da8: CALL
00000da9: ISZERO
00000daa: ISZERO
00000dab: PUSH2 0x0db0
00000dae: JUMPI
00000daf: INVALID
00000db0: JUMPDEST
00000db1: POP
00000db2: POP
00000db3: POP
00000db4: JUMPDEST
00000db5: PUSH1 0x12
00000db7: SLOAD
00000db8: PUSH1 0x09
00000dba: SLOAD
00000dbb: LT
00000dbc: ISZERO
00000dbd: DUP1
00000dbe: ISZERO
00000dbf: PUSH2 0x0dcc
00000dc2: JUMPI
00000dc3: POP
00000dc4: PUSH1 0x13
00000dc6: SLOAD
00000dc7: PUSH1 0x09
00000dc9: SLOAD
00000dca: GT
00000dcb: ISZERO
00000dcc: JUMPDEST
00000dcd: DUP1
00000dce: ISZERO
00000dcf: PUSH2 0x0dda
00000dd2: JUMPI
00000dd3: POP
00000dd4: PUSH1 0x00
00000dd6: PUSH1 0x0e
00000dd8: SLOAD
00000dd9: GT
00000dda: JUMPDEST
00000ddb: ISZERO
00000ddc: PUSH2 0x0e53
00000ddf: JUMPI
00000de0: PUSH1 0x06
00000de2: SLOAD
00000de3: PUSH1 0x00
00000de5: DUP6
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x16
00000dea: PUSH1 0x20
00000dec: MSTORE
00000ded: PUSH1 0x40
00000def: DUP1
00000df0: DUP3
00000df1: KECCAK256
00000df2: SLOAD
00000df3: PUSH1 0x0e
00000df5: SLOAD
00000df6: DUP3
00000df7: MLOAD
00000df8: PUSH1 0xe0
00000dfa: PUSH1 0x02
00000dfc: EXP
00000dfd: PUSH4 0xa9059cbb
00000e02: MUL
00000e03: DUP2
00000e04: MSTORE
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: PUSH1 0x02
00000e0b: EXP
00000e0c: SUB
00000e0d: SWAP3
00000e0e: DUP4
00000e0f: AND
00000e10: PUSH1 0x04
00000e12: DUP3
00000e13: ADD
00000e14: MSTORE
00000e15: PUSH1 0x24
00000e17: DUP2
00000e18: ADD
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: SWAP2
00000e1c: MSTORE
00000e1d: SWAP2
00000e1e: MLOAD
00000e1f: SWAP4
00000e20: AND
00000e21: SWAP3
00000e22: PUSH4 0xa9059cbb
00000e27: SWAP3
00000e28: PUSH1 0x44
00000e2a: DUP1
00000e2b: DUP5
00000e2c: ADD
00000e2d: SWAP4
00000e2e: SWAP2
00000e2f: SWAP3
00000e30: SWAP2
00000e31: DUP3
00000e32: SWAP1
00000e33: SUB
00000e34: ADD
00000e35: DUP2
00000e36: DUP4
00000e37: DUP8
00000e38: DUP1
00000e39: EXTCODESIZE
00000e3a: ISZERO
00000e3b: ISZERO
00000e3c: PUSH2 0x0e41
00000e3f: JUMPI
00000e40: INVALID
00000e41: JUMPDEST
00000e42: PUSH2 0x02c6
00000e45: GAS
00000e46: SUB
00000e47: CALL
00000e48: ISZERO
00000e49: ISZERO
00000e4a: PUSH2 0x0e4f
00000e4d: JUMPI
00000e4e: INVALID
00000e4f: JUMPDEST
00000e50: POP
00000e51: POP
00000e52: POP
00000e53: JUMPDEST
00000e54: PUSH1 0x14
00000e56: SLOAD
00000e57: PUSH1 0x09
00000e59: SLOAD
00000e5a: LT
00000e5b: ISZERO
00000e5c: DUP1
00000e5d: ISZERO
00000e5e: PUSH2 0x0e6b
00000e61: JUMPI
00000e62: POP
00000e63: PUSH1 0x15
00000e65: SLOAD
00000e66: PUSH1 0x09
00000e68: SLOAD
00000e69: GT
00000e6a: ISZERO
00000e6b: JUMPDEST
00000e6c: DUP1
00000e6d: ISZERO
00000e6e: PUSH2 0x0e79
00000e71: JUMPI
00000e72: POP
00000e73: PUSH1 0x00
00000e75: PUSH1 0x0f
00000e77: SLOAD
00000e78: GT
00000e79: JUMPDEST
00000e7a: ISZERO
00000e7b: PUSH2 0x0ef2
00000e7e: JUMPI
00000e7f: PUSH1 0x07
00000e81: SLOAD
00000e82: PUSH1 0x00
00000e84: DUP6
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x16
00000e89: PUSH1 0x20
00000e8b: MSTORE
00000e8c: PUSH1 0x40
00000e8e: DUP1
00000e8f: DUP3
00000e90: KECCAK256
00000e91: SLOAD
00000e92: PUSH1 0x0f
00000e94: SLOAD
00000e95: DUP3
00000e96: MLOAD
00000e97: PUSH1 0xe0
00000e99: PUSH1 0x02
00000e9b: EXP
00000e9c: PUSH4 0xa9059cbb
00000ea1: MUL
00000ea2: DUP2
00000ea3: MSTORE
00000ea4: PUSH1 0x01
00000ea6: PUSH1 0xa0
00000ea8: PUSH1 0x02
00000eaa: EXP
00000eab: SUB
00000eac: SWAP3
00000ead: DUP4
00000eae: AND
00000eaf: PUSH1 0x04
00000eb1: DUP3
00000eb2: ADD
00000eb3: MSTORE
00000eb4: PUSH1 0x24
00000eb6: DUP2
00000eb7: ADD
00000eb8: SWAP2
00000eb9: SWAP1
00000eba: SWAP2
00000ebb: MSTORE
00000ebc: SWAP2
00000ebd: MLOAD
00000ebe: SWAP4
00000ebf: AND
00000ec0: SWAP3
00000ec1: PUSH4 0xa9059cbb
00000ec6: SWAP3
00000ec7: PUSH1 0x44
00000ec9: DUP1
00000eca: DUP5
00000ecb: ADD
00000ecc: SWAP4
00000ecd: SWAP2
00000ece: SWAP3
00000ecf: SWAP2
00000ed0: DUP3
00000ed1: SWAP1
00000ed2: SUB
00000ed3: ADD
00000ed4: DUP2
00000ed5: DUP4
00000ed6: DUP8
00000ed7: DUP1
00000ed8: EXTCODESIZE
00000ed9: ISZERO
00000eda: ISZERO
00000edb: PUSH2 0x0ee0
00000ede: JUMPI
00000edf: INVALID
00000ee0: JUMPDEST
00000ee1: PUSH2 0x02c6
00000ee4: GAS
00000ee5: SUB
00000ee6: CALL
00000ee7: ISZERO
00000ee8: ISZERO
00000ee9: PUSH2 0x0eee
00000eec: JUMPI
00000eed: INVALID
00000eee: JUMPDEST
00000eef: POP
00000ef0: POP
00000ef1: POP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x00
00000ef5: DUP5
00000ef6: DUP2
00000ef7: MSTORE
00000ef8: PUSH1 0x16
00000efa: PUSH1 0x20
00000efc: SWAP1
00000efd: DUP2
00000efe: MSTORE
00000eff: PUSH1 0x40
00000f01: DUP1
00000f02: DUP4
00000f03: KECCAK256
00000f04: DUP1
00000f05: SLOAD
00000f06: PUSH1 0x01
00000f08: PUSH1 0xa0
00000f0a: PUSH1 0x02
00000f0c: EXP
00000f0d: SUB
00000f0e: NOT
00000f0f: AND
00000f10: SWAP1
00000f11: SSTORE
00000f12: PUSH1 0x17
00000f14: SWAP1
00000f15: SWAP2
00000f16: MSTORE
00000f17: DUP2
00000f18: KECCAK256
00000f19: SSTORE
00000f1a: JUMPDEST
00000f1b: JUMPDEST
00000f1c: JUMPDEST
00000f1d: POP
00000f1e: POP
00000f1f: POP
00000f20: POP
00000f21: JUMP
00000f22: JUMPDEST
00000f23: PUSH1 0x11
00000f25: SLOAD
00000f26: DUP2
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x08
00000f2b: SLOAD
00000f2c: CALLER
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0xa0
00000f31: PUSH1 0x02
00000f33: EXP
00000f34: SUB
00000f35: SWAP1
00000f36: DUP2
00000f37: AND
00000f38: SWAP2
00000f39: AND
00000f3a: EQ
00000f3b: PUSH2 0x0f44
00000f3e: JUMPI
00000f3f: PUSH1 0x00
00000f41: PUSH1 0x00
00000f43: REVERT
00000f44: JUMPDEST
00000f45: PUSH1 0x10
00000f47: DUP3
00000f48: SWAP1
00000f49: SSTORE
00000f4a: PUSH1 0x0a
00000f4c: DUP2
00000f4d: SWAP1
00000f4e: SSTORE
00000f4f: JUMPDEST
00000f50: JUMPDEST
00000f51: POP
00000f52: POP
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x06
00000f57: SLOAD
00000f58: PUSH1 0x01
00000f5a: PUSH1 0xa0
00000f5c: PUSH1 0x02
00000f5e: EXP
00000f5f: SUB
00000f60: AND
00000f61: DUP2
00000f62: JUMP
00000f63: JUMPDEST
00000f64: PUSH1 0x05
00000f66: SLOAD
00000f67: PUSH1 0x01
00000f69: PUSH1 0xa0
00000f6b: PUSH1 0x02
00000f6d: EXP
00000f6e: SUB
00000f6f: AND
00000f70: DUP2
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x13
00000f75: SLOAD
00000f76: DUP2
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x08
00000f7b: SLOAD
00000f7c: CALLER
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0xa0
00000f81: PUSH1 0x02
00000f83: EXP
00000f84: SUB
00000f85: SWAP1
00000f86: DUP2
00000f87: AND
00000f88: SWAP2
00000f89: AND
00000f8a: EQ
00000f8b: PUSH2 0x0f94
00000f8e: JUMPI
00000f8f: PUSH1 0x00
00000f91: PUSH1 0x00
00000f93: REVERT
00000f94: JUMPDEST
00000f95: PUSH1 0x08
00000f97: DUP1
00000f98: SLOAD
00000f99: PUSH1 0x01
00000f9b: PUSH1 0xa0
00000f9d: PUSH1 0x02
00000f9f: EXP
00000fa0: SUB
00000fa1: NOT
00000fa2: AND
00000fa3: PUSH1 0x01
00000fa5: PUSH1 0xa0
00000fa7: PUSH1 0x02
00000fa9: EXP
00000faa: SUB
00000fab: DUP4
00000fac: AND
00000fad: OR
00000fae: SWAP1
00000faf: SSTORE
00000fb0: JUMPDEST
00000fb1: JUMPDEST
00000fb2: POP
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: PUSH1 0x08
00000fb7: SLOAD
00000fb8: PUSH1 0x01
00000fba: PUSH1 0xa0
00000fbc: PUSH1 0x02
00000fbe: EXP
00000fbf: SUB
00000fc0: AND
00000fc1: DUP2
00000fc2: JUMP
00000fc3: JUMPDEST
00000fc4: PUSH1 0x0c
00000fc6: SLOAD
00000fc7: DUP2
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: PUSH1 0x10
00000fcc: SLOAD
00000fcd: DUP2
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x08
00000fd2: SLOAD
00000fd3: PUSH1 0x00
00000fd5: SWAP1
00000fd6: CALLER
00000fd7: PUSH1 0x01
00000fd9: PUSH1 0xa0
00000fdb: PUSH1 0x02
00000fdd: EXP
00000fde: SUB
00000fdf: SWAP1
00000fe0: DUP2
00000fe1: AND
00000fe2: SWAP2
00000fe3: AND
00000fe4: EQ
00000fe5: PUSH2 0x0fee
00000fe8: JUMPI
00000fe9: PUSH1 0x00
00000feb: PUSH1 0x00
00000fed: REVERT
00000fee: JUMPDEST
00000fef: POP
00000ff0: PUSH1 0x40
00000ff2: DUP1
00000ff3: MLOAD
00000ff4: PUSH1 0xe0
00000ff6: PUSH1 0x02
00000ff8: EXP
00000ff9: PUSH4 0xa9059cbb
00000ffe: MUL
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x01
00001003: PUSH1 0xa0
00001005: PUSH1 0x02
00001007: EXP
00001008: SUB
00001009: DUP4
0000100a: DUP2
0000100b: AND
0000100c: PUSH1 0x04
0000100e: DUP4
0000100f: ADD
00001010: MSTORE
00001011: PUSH1 0x24
00001013: DUP3
00001014: ADD
00001015: DUP6
00001016: SWAP1
00001017: MSTORE
00001018: SWAP2
00001019: MLOAD
0000101a: DUP6
0000101b: SWAP3
0000101c: DUP4
0000101d: AND
0000101e: SWAP2
0000101f: PUSH4 0xa9059cbb
00001024: SWAP2
00001025: PUSH1 0x44
00001027: DUP1
00001028: DUP4
00001029: ADD
0000102a: SWAP3
0000102b: PUSH1 0x00
0000102d: SWAP3
0000102e: SWAP2
0000102f: SWAP1
00001030: DUP3
00001031: SWAP1
00001032: SUB
00001033: ADD
00001034: DUP2
00001035: DUP4
00001036: DUP8
00001037: DUP1
00001038: EXTCODESIZE
00001039: ISZERO
0000103a: ISZERO
0000103b: PUSH2 0x1040
0000103e: JUMPI
0000103f: INVALID
00001040: JUMPDEST
00001041: PUSH2 0x02c6
00001044: GAS
00001045: SUB
00001046: CALL
00001047: ISZERO
00001048: ISZERO
00001049: PUSH2 0x104e
0000104c: JUMPI
0000104d: INVALID
0000104e: JUMPDEST
0000104f: POP
00001050: POP
00001051: POP
00001052: JUMPDEST
00001053: JUMPDEST
00001054: POP
00001055: POP
00001056: POP
00001057: POP
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x0e
0000105c: SLOAD
0000105d: DUP2
0000105e: JUMP
0000105f: JUMPDEST
00001060: PUSH1 0x15
00001062: SLOAD
00001063: DUP2
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH1 0x08
00001068: SLOAD
00001069: CALLER
0000106a: PUSH1 0x01
0000106c: PUSH1 0xa0
0000106e: PUSH1 0x02
00001070: EXP
00001071: SUB
00001072: SWAP1
00001073: DUP2
00001074: AND
00001075: SWAP2
00001076: AND
00001077: EQ
00001078: PUSH2 0x1081
0000107b: JUMPI
0000107c: PUSH1 0x00
0000107e: PUSH1 0x00
00001080: REVERT
00001081: JUMPDEST
00001082: PUSH1 0x05
00001084: DUP1
00001085: SLOAD
00001086: PUSH1 0x01
00001088: PUSH1 0xa0
0000108a: PUSH1 0x02
0000108c: EXP
0000108d: SUB
0000108e: NOT
0000108f: AND
00001090: PUSH1 0x01
00001092: PUSH1 0xa0
00001094: PUSH1 0x02
00001096: EXP
00001097: SUB
00001098: DUP5
00001099: AND
0000109a: OR
0000109b: SWAP1
0000109c: SSTORE
0000109d: PUSH1 0x0d
0000109f: DUP2
000010a0: SWAP1
000010a1: SSTORE
000010a2: JUMPDEST
000010a3: JUMPDEST
000010a4: POP
000010a5: POP
000010a6: JUMP
000010a7: JUMPDEST
000010a8: PUSH1 0x08
000010aa: SLOAD
000010ab: CALLER
000010ac: PUSH1 0x01
000010ae: PUSH1 0xa0
000010b0: PUSH1 0x02
000010b2: EXP
000010b3: SUB
000010b4: SWAP1
000010b5: DUP2
000010b6: AND
000010b7: SWAP2
000010b8: AND
000010b9: EQ
000010ba: PUSH2 0x10c3
000010bd: JUMPI
000010be: PUSH1 0x00
000010c0: PUSH1 0x00
000010c2: REVERT
000010c3: JUMPDEST
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: PUSH1 0x01
000010c9: PUSH1 0xa0
000010cb: PUSH1 0x02
000010cd: EXP
000010ce: SUB
000010cf: DUP4
000010d0: AND
000010d1: SWAP1
000010d2: DUP3
000010d3: ISZERO
000010d4: PUSH2 0x08fc
000010d7: MUL
000010d8: SWAP1
000010d9: DUP4
000010da: SWAP1
000010db: PUSH1 0x00
000010dd: DUP2
000010de: DUP2
000010df: DUP2
000010e0: DUP6
000010e1: DUP9
000010e2: DUP9
000010e3: CALL
000010e4: SWAP4
000010e5: POP
000010e6: POP
000010e7: POP
000010e8: POP
000010e9: ISZERO
000010ea: ISZERO
000010eb: PUSH2 0x0ade
000010ee: JUMPI
000010ef: INVALID
000010f0: JUMPDEST
000010f1: JUMPDEST
000010f2: JUMPDEST
000010f3: POP
000010f4: POP
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH1 0x0f
000010f9: SLOAD
000010fa: DUP2
000010fb: JUMP
000010fc: JUMPDEST
000010fd: PUSH1 0x07
000010ff: SLOAD
00001100: PUSH1 0x01
00001102: PUSH1 0xa0
00001104: PUSH1 0x02
00001106: EXP
00001107: SUB
00001108: AND
00001109: DUP2
0000110a: JUMP
0000110b: JUMPDEST
0000110c: PUSH1 0x08
0000110e: SLOAD
0000110f: CALLER
00001110: PUSH1 0x01
00001112: PUSH1 0xa0
00001114: PUSH1 0x02
00001116: EXP
00001117: SUB
00001118: SWAP1
00001119: DUP2
0000111a: AND
0000111b: SWAP2
0000111c: AND
0000111d: EQ
0000111e: PUSH2 0x1127
00001121: JUMPI
00001122: PUSH1 0x00
00001124: PUSH1 0x00
00001126: REVERT
00001127: JUMPDEST
00001128: PUSH1 0x0b
0000112a: DUP4
0000112b: SWAP1
0000112c: SSTORE
0000112d: PUSH1 0x0c
0000112f: DUP3
00001130: SWAP1
00001131: SSTORE
00001132: PUSH1 0x11
00001134: DUP2
00001135: SWAP1
00001136: SSTORE
00001137: JUMPDEST
00001138: JUMPDEST
00001139: POP
0000113a: POP
0000113b: POP
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH1 0x0d
00001140: SLOAD
00001141: DUP2
00001142: JUMP
00001143: JUMPDEST
00001144: PUSH1 0x08
00001146: SLOAD
00001147: CALLER
00001148: PUSH1 0x01
0000114a: PUSH1 0xa0
0000114c: PUSH1 0x02
0000114e: EXP
0000114f: SUB
00001150: SWAP1
00001151: DUP2
00001152: AND
00001153: SWAP2
00001154: AND
00001155: EQ
00001156: PUSH2 0x115f
00001159: JUMPI
0000115a: PUSH1 0x00
0000115c: PUSH1 0x00
0000115e: REVERT
0000115f: JUMPDEST
00001160: PUSH1 0x06
00001162: DUP1
00001163: SLOAD
00001164: PUSH1 0x01
00001166: PUSH1 0xa0
00001168: PUSH1 0x02
0000116a: EXP
0000116b: SUB
0000116c: DUP1
0000116d: DUP12
0000116e: AND
0000116f: PUSH1 0x01
00001171: PUSH1 0xa0
00001173: PUSH1 0x02
00001175: EXP
00001176: SUB
00001177: NOT
00001178: SWAP3
00001179: DUP4
0000117a: AND
0000117b: OR
0000117c: SWAP1
0000117d: SWAP3
0000117e: SSTORE
0000117f: PUSH1 0x0e
00001181: DUP10
00001182: SWAP1
00001183: SSTORE
00001184: PUSH1 0x12
00001186: DUP9
00001187: SWAP1
00001188: SSTORE
00001189: PUSH1 0x13
0000118b: DUP8
0000118c: SWAP1
0000118d: SSTORE
0000118e: PUSH1 0x07
00001190: DUP1
00001191: SLOAD
00001192: SWAP3
00001193: DUP8
00001194: AND
00001195: SWAP3
00001196: SWAP1
00001197: SWAP2
00001198: AND
00001199: SWAP2
0000119a: SWAP1
0000119b: SWAP2
0000119c: OR
0000119d: SWAP1
0000119e: SSTORE
0000119f: PUSH1 0x0f
000011a1: DUP4
000011a2: SWAP1
000011a3: SSTORE
000011a4: PUSH1 0x14
000011a6: DUP3
000011a7: SWAP1
000011a8: SSTORE
000011a9: PUSH1 0x15
000011ab: DUP2
000011ac: SWAP1
000011ad: SSTORE
000011ae: JUMPDEST
000011af: JUMPDEST
000011b0: POP
000011b1: POP
000011b2: POP
000011b3: POP
000011b4: POP
000011b5: POP
000011b6: POP
000011b7: POP
000011b8: JUMP
000011b9: JUMPDEST
000011ba: DUP1
000011bb: EXTCODESIZE
000011bc: JUMPDEST
000011bd: SWAP2
000011be: SWAP1
000011bf: POP
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH1 0x00
000011c4: PUSH1 0x00
000011c6: PUSH2 0x11e2
000011c9: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
000011de: PUSH2 0x11b9
000011e1: JUMP
000011e2: JUMPDEST
000011e3: GT
000011e4: ISZERO
000011e5: PUSH2 0x1253
000011e8: JUMPI
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: SLOAD
000011ed: PUSH1 0x01
000011ef: PUSH1 0xa0
000011f1: PUSH1 0x02
000011f3: EXP
000011f4: SUB
000011f5: NOT
000011f6: AND
000011f7: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
0000120c: OR
0000120d: SWAP1
0000120e: SSTORE
0000120f: PUSH1 0x40
00001211: DUP1
00001212: MLOAD
00001213: DUP1
00001214: DUP3
00001215: ADD
00001216: SWAP1
00001217: SWAP2
00001218: MSTORE
00001219: PUSH1 0x0b
0000121b: DUP2
0000121c: MSTORE
0000121d: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000
0000123e: PUSH1 0x20
00001240: DUP3
00001241: ADD
00001242: MSTORE
00001243: PUSH2 0x124b
00001246: SWAP1
00001247: PUSH2 0x1a5c
0000124a: JUMP
0000124b: JUMPDEST
0000124c: POP
0000124d: PUSH1 0x01
0000124f: PUSH2 0x1500
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x00
00001256: PUSH2 0x1272
00001259: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
0000126e: PUSH2 0x11b9
00001271: JUMP
00001272: JUMPDEST
00001273: GT
00001274: ISZERO
00001275: PUSH2 0x12e3
00001278: JUMPI
00001279: PUSH1 0x00
0000127b: DUP1
0000127c: SLOAD
0000127d: PUSH1 0x01
0000127f: PUSH1 0xa0
00001281: PUSH1 0x02
00001283: EXP
00001284: SUB
00001285: NOT
00001286: AND
00001287: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
0000129c: OR
0000129d: SWAP1
0000129e: SSTORE
0000129f: PUSH1 0x40
000012a1: DUP1
000012a2: MLOAD
000012a3: DUP1
000012a4: DUP3
000012a5: ADD
000012a6: SWAP1
000012a7: SWAP2
000012a8: MSTORE
000012a9: PUSH1 0x0c
000012ab: DUP2
000012ac: MSTORE
000012ad: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000
000012ce: PUSH1 0x20
000012d0: DUP3
000012d1: ADD
000012d2: MSTORE
000012d3: PUSH2 0x124b
000012d6: SWAP1
000012d7: PUSH2 0x1a5c
000012da: JUMP
000012db: JUMPDEST
000012dc: POP
000012dd: PUSH1 0x01
000012df: PUSH2 0x1500
000012e2: JUMP
000012e3: JUMPDEST
000012e4: PUSH1 0x00
000012e6: PUSH2 0x1302
000012e9: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
000012fe: PUSH2 0x11b9
00001301: JUMP
00001302: JUMPDEST
00001303: GT
00001304: ISZERO
00001305: PUSH2 0x1373
00001308: JUMPI
00001309: PUSH1 0x00
0000130b: DUP1
0000130c: SLOAD
0000130d: PUSH1 0x01
0000130f: PUSH1 0xa0
00001311: PUSH1 0x02
00001313: EXP
00001314: SUB
00001315: NOT
00001316: AND
00001317: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
0000132c: OR
0000132d: SWAP1
0000132e: SSTORE
0000132f: PUSH1 0x40
00001331: DUP1
00001332: MLOAD
00001333: DUP1
00001334: DUP3
00001335: ADD
00001336: SWAP1
00001337: SWAP2
00001338: MSTORE
00001339: PUSH1 0x09
0000133b: DUP2
0000133c: MSTORE
0000133d: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000
0000135e: PUSH1 0x20
00001360: DUP3
00001361: ADD
00001362: MSTORE
00001363: PUSH2 0x124b
00001366: SWAP1
00001367: PUSH2 0x1a5c
0000136a: JUMP
0000136b: JUMPDEST
0000136c: POP
0000136d: PUSH1 0x01
0000136f: PUSH2 0x1500
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x00
00001376: PUSH2 0x1392
00001379: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
0000138e: PUSH2 0x11b9
00001391: JUMP
00001392: JUMPDEST
00001393: GT
00001394: ISZERO
00001395: PUSH2 0x1403
00001398: JUMPI
00001399: PUSH1 0x00
0000139b: DUP1
0000139c: SLOAD
0000139d: PUSH1 0x01
0000139f: PUSH1 0xa0
000013a1: PUSH1 0x02
000013a3: EXP
000013a4: SUB
000013a5: NOT
000013a6: AND
000013a7: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
000013bc: OR
000013bd: SWAP1
000013be: SSTORE
000013bf: PUSH1 0x40
000013c1: DUP1
000013c2: MLOAD
000013c3: DUP1
000013c4: DUP3
000013c5: ADD
000013c6: SWAP1
000013c7: SWAP2
000013c8: MSTORE
000013c9: PUSH1 0x0b
000013cb: DUP2
000013cc: MSTORE
000013cd: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000
000013ee: PUSH1 0x20
000013f0: DUP3
000013f1: ADD
000013f2: MSTORE
000013f3: PUSH2 0x124b
000013f6: SWAP1
000013f7: PUSH2 0x1a5c
000013fa: JUMP
000013fb: JUMPDEST
000013fc: POP
000013fd: PUSH1 0x01
000013ff: PUSH2 0x1500
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH1 0x00
00001406: PUSH2 0x1422
00001409: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
0000141e: PUSH2 0x11b9
00001421: JUMP
00001422: JUMPDEST
00001423: GT
00001424: ISZERO
00001425: PUSH2 0x1456
00001428: JUMPI
00001429: POP
0000142a: PUSH1 0x00
0000142c: DUP1
0000142d: SLOAD
0000142e: PUSH1 0x01
00001430: PUSH1 0xa0
00001432: PUSH1 0x02
00001434: EXP
00001435: SUB
00001436: NOT
00001437: AND
00001438: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
0000144d: OR
0000144e: SWAP1
0000144f: SSTORE
00001450: PUSH1 0x01
00001452: PUSH2 0x1500
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH1 0x00
00001459: PUSH2 0x1475
0000145c: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00001471: PUSH2 0x11b9
00001474: JUMP
00001475: JUMPDEST
00001476: GT
00001477: ISZERO
00001478: PUSH2 0x14a9
0000147b: JUMPI
0000147c: POP
0000147d: PUSH1 0x00
0000147f: DUP1
00001480: SLOAD
00001481: PUSH1 0x01
00001483: PUSH1 0xa0
00001485: PUSH1 0x02
00001487: EXP
00001488: SUB
00001489: NOT
0000148a: AND
0000148b: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
000014a0: OR
000014a1: SWAP1
000014a2: SSTORE
000014a3: PUSH1 0x01
000014a5: PUSH2 0x1500
000014a8: JUMP
000014a9: JUMPDEST
000014aa: PUSH1 0x00
000014ac: PUSH2 0x14c8
000014af: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
000014c4: PUSH2 0x11b9
000014c7: JUMP
000014c8: JUMPDEST
000014c9: GT
000014ca: ISZERO
000014cb: PUSH2 0x14fc
000014ce: JUMPI
000014cf: POP
000014d0: PUSH1 0x00
000014d2: DUP1
000014d3: SLOAD
000014d4: PUSH1 0x01
000014d6: PUSH1 0xa0
000014d8: PUSH1 0x02
000014da: EXP
000014db: SUB
000014dc: NOT
000014dd: AND
000014de: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
000014f3: OR
000014f4: SWAP1
000014f5: SSTORE
000014f6: PUSH1 0x01
000014f8: PUSH2 0x1500
000014fb: JUMP
000014fc: JUMPDEST
000014fd: POP
000014fe: PUSH1 0x00
00001500: JUMPDEST
00001501: SWAP1
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x00
00001506: DUP1
00001507: SLOAD
00001508: PUSH1 0x01
0000150a: PUSH1 0xa0
0000150c: PUSH1 0x02
0000150e: EXP
0000150f: SUB
00001510: AND
00001511: ISZERO
00001512: DUP1
00001513: PUSH2 0x152e
00001516: JUMPI
00001517: POP
00001518: PUSH1 0x00
0000151a: SLOAD
0000151b: PUSH2 0x152c
0000151e: SWAP1
0000151f: PUSH1 0x01
00001521: PUSH1 0xa0
00001523: PUSH1 0x02
00001525: EXP
00001526: SUB
00001527: AND
00001528: PUSH2 0x11b9
0000152b: JUMP
0000152c: JUMPDEST
0000152d: ISZERO
0000152e: JUMPDEST
0000152f: ISZERO
00001530: PUSH2 0x153d
00001533: JUMPI
00001534: PUSH2 0x153b
00001537: PUSH2 0x11c1
0000153a: JUMP
0000153b: JUMPDEST
0000153c: POP
0000153d: JUMPDEST
0000153e: PUSH1 0x00
00001540: PUSH1 0x00
00001542: SWAP1
00001543: SLOAD
00001544: SWAP1
00001545: PUSH2 0x0100
00001548: EXP
00001549: SWAP1
0000154a: DIV
0000154b: PUSH1 0x01
0000154d: PUSH1 0xa0
0000154f: PUSH1 0x02
00001551: EXP
00001552: SUB
00001553: AND
00001554: PUSH1 0x01
00001556: PUSH1 0xa0
00001558: PUSH1 0x02
0000155a: EXP
0000155b: SUB
0000155c: AND
0000155d: PUSH4 0x38cc4831
00001562: PUSH1 0x00
00001564: PUSH1 0x40
00001566: MLOAD
00001567: PUSH1 0x20
00001569: ADD
0000156a: MSTORE
0000156b: PUSH1 0x40
0000156d: MLOAD
0000156e: DUP2
0000156f: PUSH4 0xffffffff
00001574: AND
00001575: PUSH1 0xe0
00001577: PUSH1 0x02
00001579: EXP
0000157a: MUL
0000157b: DUP2
0000157c: MSTORE
0000157d: PUSH1 0x04
0000157f: ADD
00001580: DUP1
00001581: SWAP1
00001582: POP
00001583: PUSH1 0x20
00001585: PUSH1 0x40
00001587: MLOAD
00001588: DUP1
00001589: DUP4
0000158a: SUB
0000158b: DUP2
0000158c: PUSH1 0x00
0000158e: DUP8
0000158f: DUP1
00001590: EXTCODESIZE
00001591: ISZERO
00001592: ISZERO
00001593: PUSH2 0x1598
00001596: JUMPI
00001597: INVALID
00001598: JUMPDEST
00001599: PUSH2 0x02c6
0000159c: GAS
0000159d: SUB
0000159e: CALL
0000159f: ISZERO
000015a0: ISZERO
000015a1: PUSH2 0x15a6
000015a4: JUMPI
000015a5: INVALID
000015a6: JUMPDEST
000015a7: POP
000015a8: POP
000015a9: PUSH1 0x40
000015ab: DUP1
000015ac: MLOAD
000015ad: DUP1
000015ae: MLOAD
000015af: PUSH1 0x01
000015b1: DUP1
000015b2: SLOAD
000015b3: PUSH1 0x01
000015b5: PUSH1 0xa0
000015b7: PUSH1 0x02
000015b9: EXP
000015ba: SUB
000015bb: NOT
000015bc: AND
000015bd: PUSH1 0x01
000015bf: PUSH1 0xa0
000015c1: PUSH1 0x02
000015c3: EXP
000015c4: SUB
000015c5: SWAP3
000015c6: DUP4
000015c7: AND
000015c8: OR
000015c9: SWAP1
000015ca: DUP2
000015cb: SWAP1
000015cc: SSTORE
000015cd: PUSH1 0x00
000015cf: PUSH1 0x20
000015d1: SWAP4
000015d2: DUP5
000015d3: ADD
000015d4: DUP2
000015d5: SWAP1
000015d6: MSTORE
000015d7: DUP5
000015d8: MLOAD
000015d9: PUSH32 0xabaa5f3e00000000000000000000000000000000000000000000000000000000
000015fa: DUP2
000015fb: MSTORE
000015fc: SWAP5
000015fd: MLOAD
000015fe: SWAP2
000015ff: SWAP1
00001600: SWAP3
00001601: AND
00001602: SWAP5
00001603: POP
00001604: PUSH4 0xabaa5f3e
00001609: SWAP4
0000160a: PUSH1 0x04
0000160c: DUP1
0000160d: DUP3
0000160e: ADD
0000160f: SWAP5
00001610: SWAP4
00001611: SWAP2
00001612: DUP4
00001613: SWAP1
00001614: SUB
00001615: ADD
00001616: SWAP1
00001617: DUP3
00001618: SWAP1
00001619: DUP8
0000161a: DUP1
0000161b: EXTCODESIZE
0000161c: ISZERO
0000161d: ISZERO
0000161e: PUSH2 0x1623
00001621: JUMPI
00001622: INVALID
00001623: JUMPDEST
00001624: PUSH2 0x02c6
00001627: GAS
00001628: SUB
00001629: CALL
0000162a: ISZERO
0000162b: ISZERO
0000162c: PUSH2 0x1631
0000162f: JUMPI
00001630: INVALID
00001631: JUMPDEST
00001632: POP
00001633: POP
00001634: PUSH1 0x40
00001636: MLOAD
00001637: MLOAD
00001638: SWAP2
00001639: POP
0000163a: POP
0000163b: JUMPDEST
0000163c: JUMPDEST
0000163d: SWAP1
0000163e: JUMP
0000163f: JUMPDEST
00001640: PUSH1 0x00
00001642: PUSH2 0x1649
00001645: PUSH2 0x2ea1
00001648: JUMP
00001649: JUMPDEST
0000164a: PUSH1 0x00
0000164c: SLOAD
0000164d: PUSH1 0x01
0000164f: PUSH1 0xa0
00001651: PUSH1 0x02
00001653: EXP
00001654: SUB
00001655: AND
00001656: ISZERO
00001657: DUP1
00001658: PUSH2 0x1673
0000165b: JUMPI
0000165c: POP
0000165d: PUSH1 0x00
0000165f: SLOAD
00001660: PUSH2 0x1671
00001663: SWAP1
00001664: PUSH1 0x01
00001666: PUSH1 0xa0
00001668: PUSH1 0x02
0000166a: EXP
0000166b: SUB
0000166c: AND
0000166d: PUSH2 0x11b9
00001670: JUMP
00001671: JUMPDEST
00001672: ISZERO
00001673: JUMPDEST
00001674: ISZERO
00001675: PUSH2 0x1682
00001678: JUMPI
00001679: PUSH2 0x1680
0000167c: PUSH2 0x11c1
0000167f: JUMP
00001680: JUMPDEST
00001681: POP
00001682: JUMPDEST
00001683: PUSH1 0x00
00001685: PUSH1 0x00
00001687: SWAP1
00001688: SLOAD
00001689: SWAP1
0000168a: PUSH2 0x0100
0000168d: EXP
0000168e: SWAP1
0000168f: DIV
00001690: PUSH1 0x01
00001692: PUSH1 0xa0
00001694: PUSH1 0x02
00001696: EXP
00001697: SUB
00001698: AND
00001699: PUSH1 0x01
0000169b: PUSH1 0xa0
0000169d: PUSH1 0x02
0000169f: EXP
000016a0: SUB
000016a1: AND
000016a2: PUSH4 0x38cc4831
000016a7: PUSH1 0x00
000016a9: PUSH1 0x40
000016ab: MLOAD
000016ac: PUSH1 0x20
000016ae: ADD
000016af: MSTORE
000016b0: PUSH1 0x40
000016b2: MLOAD
000016b3: DUP2
000016b4: PUSH4 0xffffffff
000016b9: AND
000016ba: PUSH1 0xe0
000016bc: PUSH1 0x02
000016be: EXP
000016bf: MUL
000016c0: DUP2
000016c1: MSTORE
000016c2: PUSH1 0x04
000016c4: ADD
000016c5: DUP1
000016c6: SWAP1
000016c7: POP
000016c8: PUSH1 0x20
000016ca: PUSH1 0x40
000016cc: MLOAD
000016cd: DUP1
000016ce: DUP4
000016cf: SUB
000016d0: DUP2
000016d1: PUSH1 0x00
000016d3: DUP8
000016d4: DUP1
000016d5: EXTCODESIZE
000016d6: ISZERO
000016d7: ISZERO
000016d8: PUSH2 0x16dd
000016db: JUMPI
000016dc: INVALID
000016dd: JUMPDEST
000016de: PUSH2 0x02c6
000016e1: GAS
000016e2: SUB
000016e3: CALL
000016e4: ISZERO
000016e5: ISZERO
000016e6: PUSH2 0x16eb
000016e9: JUMPI
000016ea: INVALID
000016eb: JUMPDEST
000016ec: POP
000016ed: POP
000016ee: PUSH1 0x40
000016f0: MLOAD
000016f1: DUP1
000016f2: MLOAD
000016f3: PUSH1 0x01
000016f5: DUP1
000016f6: SLOAD
000016f7: PUSH1 0x01
000016f9: PUSH1 0xa0
000016fb: PUSH1 0x02
000016fd: EXP
000016fe: SUB
000016ff: NOT
00001700: AND
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: PUSH1 0x02
00001707: EXP
00001708: SUB
00001709: SWAP1
0000170a: SWAP3
0000170b: AND
0000170c: SWAP2
0000170d: SWAP1
0000170e: SWAP2
0000170f: OR
00001710: SWAP1
00001711: SSTORE
00001712: PUSH1 0x03
00001714: SWAP2
00001715: POP
00001716: DUP1
00001717: MSIZE
00001718: LT
00001719: PUSH2 0x171f
0000171c: JUMPI
0000171d: POP
0000171e: MSIZE
0000171f: JUMPDEST
00001720: SWAP1
00001721: DUP1
00001722: DUP3
00001723: MSTORE
00001724: DUP1
00001725: PUSH1 0x20
00001727: MUL
00001728: PUSH1 0x20
0000172a: ADD
0000172b: DUP3
0000172c: ADD
0000172d: PUSH1 0x40
0000172f: MSTORE
00001730: DUP1
00001731: ISZERO
00001732: PUSH2 0x1755
00001735: JUMPI
00001736: DUP2
00001737: PUSH1 0x20
00001739: ADD
0000173a: JUMPDEST
0000173b: PUSH2 0x1742
0000173e: PUSH2 0x2ea1
00001741: JUMP
00001742: JUMPDEST
00001743: DUP2
00001744: MSTORE
00001745: PUSH1 0x20
00001747: ADD
00001748: SWAP1
00001749: PUSH1 0x01
0000174b: SWAP1
0000174c: SUB
0000174d: SWAP1
0000174e: DUP2
0000174f: PUSH2 0x173a
00001752: JUMPI
00001753: SWAP1
00001754: POP
00001755: JUMPDEST
00001756: POP
00001757: SWAP1
00001758: POP
00001759: DUP4
0000175a: PUSH1 0x00
0000175c: JUMPDEST
0000175d: PUSH1 0x20
0000175f: MUL
00001760: ADD
00001761: MLOAD
00001762: DUP2
00001763: PUSH1 0x00
00001765: DUP2
00001766: MLOAD
00001767: DUP2
00001768: LT
00001769: ISZERO
0000176a: ISZERO
0000176b: PUSH2 0x1770
0000176e: JUMPI
0000176f: INVALID
00001770: JUMPDEST
00001771: PUSH1 0x20
00001773: SWAP1
00001774: DUP2
00001775: MUL
00001776: SWAP1
00001777: SWAP2
00001778: ADD
00001779: ADD
0000177a: MSTORE
0000177b: DUP4
0000177c: PUSH1 0x01
0000177e: JUMPDEST
0000177f: PUSH1 0x20
00001781: MUL
00001782: ADD
00001783: MLOAD
00001784: DUP2
00001785: PUSH1 0x01
00001787: DUP2
00001788: MLOAD
00001789: DUP2
0000178a: LT
0000178b: ISZERO
0000178c: ISZERO
0000178d: PUSH2 0x1792
00001790: JUMPI
00001791: INVALID
00001792: JUMPDEST
00001793: PUSH1 0x20
00001795: SWAP1
00001796: DUP2
00001797: MUL
00001798: SWAP1
00001799: SWAP2
0000179a: ADD
0000179b: ADD
0000179c: MSTORE
0000179d: DUP4
0000179e: PUSH1 0x02
000017a0: JUMPDEST
000017a1: PUSH1 0x20
000017a3: MUL
000017a4: ADD
000017a5: MLOAD
000017a6: DUP2
000017a7: PUSH1 0x02
000017a9: DUP2
000017aa: MLOAD
000017ab: DUP2
000017ac: LT
000017ad: ISZERO
000017ae: ISZERO
000017af: PUSH2 0x17b4
000017b2: JUMPI
000017b3: INVALID
000017b4: JUMPDEST
000017b5: PUSH1 0x20
000017b7: SWAP1
000017b8: DUP2
000017b9: MUL
000017ba: SWAP1
000017bb: SWAP2
000017bc: ADD
000017bd: ADD
000017be: MSTORE
000017bf: PUSH2 0x17ca
000017c2: DUP7
000017c3: DUP7
000017c4: DUP4
000017c5: DUP7
000017c6: PUSH2 0x1a74
000017c9: JUMP
000017ca: JUMPDEST
000017cb: SWAP2
000017cc: POP
000017cd: JUMPDEST
000017ce: JUMPDEST
000017cf: POP
000017d0: SWAP5
000017d1: SWAP4
000017d2: POP
000017d3: POP
000017d4: POP
000017d5: POP
000017d6: JUMP
000017d7: JUMPDEST
000017d8: PUSH1 0x00
000017da: DUP3
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x03
000017df: PUSH1 0x20
000017e1: MSTORE
000017e2: PUSH1 0x40
000017e4: SWAP1
000017e5: KECCAK256
000017e6: DUP2
000017e7: SWAP1
000017e8: SSTORE
000017e9: JUMPDEST
000017ea: POP
000017eb: POP
000017ec: JUMP
000017ed: JUMPDEST
000017ee: PUSH1 0x00
000017f0: DUP1
000017f1: SLOAD
000017f2: PUSH1 0x01
000017f4: PUSH1 0xa0
000017f6: PUSH1 0x02
000017f8: EXP
000017f9: SUB
000017fa: AND
000017fb: ISZERO
000017fc: DUP1
000017fd: PUSH2 0x1818
00001800: JUMPI
00001801: POP
00001802: PUSH1 0x00
00001804: SLOAD
00001805: PUSH2 0x1816
00001808: SWAP1
00001809: PUSH1 0x01
0000180b: PUSH1 0xa0
0000180d: PUSH1 0x02
0000180f: EXP
00001810: SUB
00001811: AND
00001812: PUSH2 0x11b9
00001815: JUMP
00001816: JUMPDEST
00001817: ISZERO
00001818: JUMPDEST
00001819: ISZERO
0000181a: PUSH2 0x1827
0000181d: JUMPI
0000181e: PUSH2 0x1825
00001821: PUSH2 0x11c1
00001824: JUMP
00001825: JUMPDEST
00001826: POP
00001827: JUMPDEST
00001828: PUSH1 0x00
0000182a: PUSH1 0x00
0000182c: SWAP1
0000182d: SLOAD
0000182e: SWAP1
0000182f: PUSH2 0x0100
00001832: EXP
00001833: SWAP1
00001834: DIV
00001835: PUSH1 0x01
00001837: PUSH1 0xa0
00001839: PUSH1 0x02
0000183b: EXP
0000183c: SUB
0000183d: AND
0000183e: PUSH1 0x01
00001840: PUSH1 0xa0
00001842: PUSH1 0x02
00001844: EXP
00001845: SUB
00001846: AND
00001847: PUSH4 0x38cc4831
0000184c: PUSH1 0x00
0000184e: PUSH1 0x40
00001850: MLOAD
00001851: PUSH1 0x20
00001853: ADD
00001854: MSTORE
00001855: PUSH1 0x40
00001857: MLOAD
00001858: DUP2
00001859: PUSH4 0xffffffff
0000185e: AND
0000185f: PUSH1 0xe0
00001861: PUSH1 0x02
00001863: EXP
00001864: MUL
00001865: DUP2
00001866: MSTORE
00001867: PUSH1 0x04
00001869: ADD
0000186a: DUP1
0000186b: SWAP1
0000186c: POP
0000186d: PUSH1 0x20
0000186f: PUSH1 0x40
00001871: MLOAD
00001872: DUP1
00001873: DUP4
00001874: SUB
00001875: DUP2
00001876: PUSH1 0x00
00001878: DUP8
00001879: DUP1
0000187a: EXTCODESIZE
0000187b: ISZERO
0000187c: ISZERO
0000187d: PUSH2 0x1882
00001880: JUMPI
00001881: INVALID
00001882: JUMPDEST
00001883: PUSH2 0x02c6
00001886: GAS
00001887: SUB
00001888: CALL
00001889: ISZERO
0000188a: ISZERO
0000188b: PUSH2 0x1890
0000188e: JUMPI
0000188f: INVALID
00001890: JUMPDEST
00001891: POP
00001892: POP
00001893: PUSH1 0x40
00001895: DUP1
00001896: MLOAD
00001897: DUP1
00001898: MLOAD
00001899: PUSH1 0x01
0000189b: DUP1
0000189c: SLOAD
0000189d: PUSH1 0x01
0000189f: PUSH1 0xa0
000018a1: PUSH1 0x02
000018a3: EXP
000018a4: SUB
000018a5: NOT
000018a6: AND
000018a7: PUSH1 0x01
000018a9: PUSH1 0xa0
000018ab: PUSH1 0x02
000018ad: EXP
000018ae: SUB
000018af: SWAP3
000018b0: DUP4
000018b1: AND
000018b2: OR
000018b3: SWAP1
000018b4: DUP2
000018b5: SWAP1
000018b6: SSTORE
000018b7: PUSH1 0x00
000018b9: PUSH1 0x20
000018bb: SWAP4
000018bc: DUP5
000018bd: ADD
000018be: DUP2
000018bf: SWAP1
000018c0: MSTORE
000018c1: DUP5
000018c2: MLOAD
000018c3: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000
000018e4: DUP2
000018e5: MSTORE
000018e6: SWAP5
000018e7: MLOAD
000018e8: SWAP2
000018e9: SWAP1
000018ea: SWAP3
000018eb: AND
000018ec: SWAP5
000018ed: POP
000018ee: PUSH4 0xc281d19e
000018f3: SWAP4
000018f4: PUSH1 0x04
000018f6: DUP1
000018f7: DUP3
000018f8: ADD
000018f9: SWAP5
000018fa: SWAP4
000018fb: SWAP2
000018fc: DUP4
000018fd: SWAP1
000018fe: SUB
000018ff: ADD
00001900: SWAP1
00001901: DUP3
00001902: SWAP1
00001903: DUP8
00001904: DUP1
00001905: EXTCODESIZE
00001906: ISZERO
00001907: ISZERO
00001908: PUSH2 0x1623
0000190b: JUMPI
0000190c: INVALID
0000190d: JUMPDEST
0000190e: PUSH2 0x02c6
00001911: GAS
00001912: SUB
00001913: CALL
00001914: ISZERO
00001915: ISZERO
00001916: PUSH2 0x1631
00001919: JUMPI
0000191a: INVALID
0000191b: JUMPDEST
0000191c: POP
0000191d: POP
0000191e: PUSH1 0x40
00001920: MLOAD
00001921: MLOAD
00001922: SWAP2
00001923: POP
00001924: POP
00001925: JUMPDEST
00001926: JUMPDEST
00001927: SWAP1
00001928: JUMP
00001929: JUMPDEST
0000192a: PUSH1 0x00
0000192c: PUSH1 0x00
0000192e: DUP3
0000192f: PUSH1 0x00
00001931: DUP2
00001932: MLOAD
00001933: DUP2
00001934: LT
00001935: ISZERO
00001936: ISZERO
00001937: PUSH2 0x193c
0000193a: JUMPI
0000193b: INVALID
0000193c: JUMPDEST
0000193d: SWAP1
0000193e: PUSH1 0x20
00001940: ADD
00001941: ADD
00001942: MLOAD
00001943: PUSH1 0xf8
00001945: PUSH1 0x02
00001947: EXP
00001948: SWAP1
00001949: DIV
0000194a: PUSH1 0xf8
0000194c: PUSH1 0x02
0000194e: EXP
0000194f: MUL
00001950: PUSH1 0x01
00001952: PUSH1 0xf8
00001954: PUSH1 0x02
00001956: EXP
00001957: SUB
00001958: NOT
00001959: AND
0000195a: PUSH32 0x4c00000000000000000000000000000000000000000000000000000000000000
0000197b: EQ
0000197c: ISZERO
0000197d: DUP1
0000197e: PUSH2 0x19d2
00001981: JUMPI
00001982: POP
00001983: DUP3
00001984: PUSH1 0x01
00001986: DUP2
00001987: MLOAD
00001988: DUP2
00001989: LT
0000198a: ISZERO
0000198b: ISZERO
0000198c: PUSH2 0x1991
0000198f: JUMPI
00001990: INVALID
00001991: JUMPDEST
00001992: SWAP1
00001993: PUSH1 0x20
00001995: ADD
00001996: ADD
00001997: MLOAD
00001998: PUSH1 0xf8
0000199a: PUSH1 0x02
0000199c: EXP
0000199d: SWAP1
0000199e: DIV
0000199f: PUSH1 0xf8
000019a1: PUSH1 0x02
000019a3: EXP
000019a4: MUL
000019a5: PUSH1 0x01
000019a7: PUSH1 0xf8
000019a9: PUSH1 0x02
000019ab: EXP
000019ac: SUB
000019ad: NOT
000019ae: AND
000019af: PUSH32 0x5000000000000000000000000000000000000000000000000000000000000000
000019d0: EQ
000019d1: ISZERO
000019d2: JUMPDEST
000019d3: DUP1
000019d4: PUSH2 0x1a1c
000019d7: JUMPI
000019d8: POP
000019d9: DUP3
000019da: PUSH1 0x02
000019dc: DUP2
000019dd: MLOAD
000019de: DUP2
000019df: LT
000019e0: ISZERO
000019e1: ISZERO
000019e2: PUSH2 0x19e7
000019e5: JUMPI
000019e6: INVALID
000019e7: JUMPDEST
000019e8: ADD
000019e9: PUSH1 0x20
000019eb: ADD
000019ec: MLOAD
000019ed: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001a0e: PUSH1 0xf8
00001a10: PUSH1 0x02
00001a12: EXP
00001a13: SWAP2
00001a14: DUP3
00001a15: SWAP1
00001a16: DIV
00001a17: DUP3
00001a18: MUL
00001a19: AND
00001a1a: EQ
00001a1b: ISZERO
00001a1c: JUMPDEST
00001a1d: ISZERO
00001a1e: PUSH2 0x1a2a
00001a21: JUMPI
00001a22: PUSH1 0x01
00001a24: SWAP2
00001a25: POP
00001a26: PUSH2 0x1a54
00001a29: JUMP
00001a2a: JUMPDEST
00001a2b: PUSH2 0x1a3d
00001a2e: DUP4
00001a2f: DUP7
00001a30: DUP7
00001a31: PUSH2 0x1a38
00001a34: PUSH2 0x1dd0
00001a37: JUMP
00001a38: JUMPDEST
00001a39: PUSH2 0x1e66
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: SWAP1
00001a3f: POP
00001a40: DUP1
00001a41: ISZERO
00001a42: ISZERO
00001a43: PUSH2 0x1a4f
00001a46: JUMPI
00001a47: PUSH1 0x02
00001a49: SWAP2
00001a4a: POP
00001a4b: PUSH2 0x1a54
00001a4e: JUMP
00001a4f: JUMPDEST
00001a50: PUSH1 0x00
00001a52: SWAP2
00001a53: POP
00001a54: JUMPDEST
00001a55: POP
00001a56: SWAP4
00001a57: SWAP3
00001a58: POP
00001a59: POP
00001a5a: POP
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: DUP1
00001a5e: MLOAD
00001a5f: PUSH2 0x0ade
00001a62: SWAP1
00001a63: PUSH1 0x02
00001a65: SWAP1
00001a66: PUSH1 0x20
00001a68: DUP5
00001a69: ADD
00001a6a: SWAP1
00001a6b: PUSH2 0x2f05
00001a6e: JUMP
00001a6f: JUMPDEST
00001a70: POP
00001a71: JUMPDEST
00001a72: POP
00001a73: JUMP
00001a74: JUMPDEST
00001a75: PUSH1 0x00
00001a77: PUSH1 0x00
00001a79: PUSH2 0x1a80
00001a7c: PUSH2 0x2ea1
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: PUSH1 0x00
00001a83: SLOAD
00001a84: PUSH1 0x01
00001a86: PUSH1 0xa0
00001a88: PUSH1 0x02
00001a8a: EXP
00001a8b: SUB
00001a8c: AND
00001a8d: ISZERO
00001a8e: DUP1
00001a8f: PUSH2 0x1aaa
00001a92: JUMPI
00001a93: POP
00001a94: PUSH1 0x00
00001a96: SLOAD
00001a97: PUSH2 0x1aa8
00001a9a: SWAP1
00001a9b: PUSH1 0x01
00001a9d: PUSH1 0xa0
00001a9f: PUSH1 0x02
00001aa1: EXP
00001aa2: SUB
00001aa3: AND
00001aa4: PUSH2 0x11b9
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: ISZERO
00001aaa: JUMPDEST
00001aab: ISZERO
00001aac: PUSH2 0x1ab9
00001aaf: JUMPI
00001ab0: PUSH2 0x1ab7
00001ab3: PUSH2 0x11c1
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: POP
00001ab9: JUMPDEST
00001aba: PUSH1 0x00
00001abc: PUSH1 0x00
00001abe: SWAP1
00001abf: SLOAD
00001ac0: SWAP1
00001ac1: PUSH2 0x0100
00001ac4: EXP
00001ac5: SWAP1
00001ac6: DIV
00001ac7: PUSH1 0x01
00001ac9: PUSH1 0xa0
00001acb: PUSH1 0x02
00001acd: EXP
00001ace: SUB
00001acf: AND
00001ad0: PUSH1 0x01
00001ad2: PUSH1 0xa0
00001ad4: PUSH1 0x02
00001ad6: EXP
00001ad7: SUB
00001ad8: AND
00001ad9: PUSH4 0x38cc4831
00001ade: PUSH1 0x00
00001ae0: PUSH1 0x40
00001ae2: MLOAD
00001ae3: PUSH1 0x20
00001ae5: ADD
00001ae6: MSTORE
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: DUP2
00001aeb: PUSH4 0xffffffff
00001af0: AND
00001af1: PUSH1 0xe0
00001af3: PUSH1 0x02
00001af5: EXP
00001af6: MUL
00001af7: DUP2
00001af8: MSTORE
00001af9: PUSH1 0x04
00001afb: ADD
00001afc: DUP1
00001afd: SWAP1
00001afe: POP
00001aff: PUSH1 0x20
00001b01: PUSH1 0x40
00001b03: MLOAD
00001b04: DUP1
00001b05: DUP4
00001b06: SUB
00001b07: DUP2
00001b08: PUSH1 0x00
00001b0a: DUP8
00001b0b: DUP1
00001b0c: EXTCODESIZE
00001b0d: ISZERO
00001b0e: ISZERO
00001b0f: PUSH2 0x1b14
00001b12: JUMPI
00001b13: INVALID
00001b14: JUMPDEST
00001b15: PUSH2 0x02c6
00001b18: GAS
00001b19: SUB
00001b1a: CALL
00001b1b: ISZERO
00001b1c: ISZERO
00001b1d: PUSH2 0x1b22
00001b20: JUMPI
00001b21: INVALID
00001b22: JUMPDEST
00001b23: POP
00001b24: POP
00001b25: PUSH1 0x40
00001b27: DUP1
00001b28: MLOAD
00001b29: DUP1
00001b2a: MLOAD
00001b2b: PUSH1 0x01
00001b2d: DUP1
00001b2e: SLOAD
00001b2f: PUSH1 0x01
00001b31: PUSH1 0xa0
00001b33: PUSH1 0x02
00001b35: EXP
00001b36: SUB
00001b37: NOT
00001b38: AND
00001b39: PUSH1 0x01
00001b3b: PUSH1 0xa0
00001b3d: PUSH1 0x02
00001b3f: EXP
00001b40: SUB
00001b41: SWAP3
00001b42: DUP4
00001b43: AND
00001b44: OR
00001b45: SWAP1
00001b46: DUP2
00001b47: SWAP1
00001b48: SSTORE
00001b49: PUSH1 0x00
00001b4b: PUSH1 0x20
00001b4d: SWAP4
00001b4e: DUP5
00001b4f: ADD
00001b50: MSTORE
00001b51: DUP4
00001b52: MLOAD
00001b53: PUSH32 0x2ef3accc00000000000000000000000000000000000000000000000000000000
00001b74: DUP2
00001b75: MSTORE
00001b76: PUSH1 0x24
00001b78: DUP2
00001b79: ADD
00001b7a: DUP11
00001b7b: SWAP1
00001b7c: MSTORE
00001b7d: PUSH1 0x04
00001b7f: DUP2
00001b80: ADD
00001b81: SWAP5
00001b82: DUP6
00001b83: MSTORE
00001b84: DUP12
00001b85: MLOAD
00001b86: PUSH1 0x44
00001b88: DUP3
00001b89: ADD
00001b8a: MSTORE
00001b8b: DUP12
00001b8c: MLOAD
00001b8d: SWAP2
00001b8e: SWAP1
00001b8f: SWAP3
00001b90: AND
00001b91: SWAP5
00001b92: POP
00001b93: PUSH4 0x2ef3accc
00001b98: SWAP4
00001b99: DUP12
00001b9a: SWAP4
00001b9b: DUP11
00001b9c: SWAP4
00001b9d: SWAP2
00001b9e: SWAP3
00001b9f: DUP4
00001ba0: SWAP3
00001ba1: PUSH1 0x64
00001ba3: ADD
00001ba4: SWAP2
00001ba5: DUP7
00001ba6: ADD
00001ba7: SWAP1
00001ba8: DUP1
00001ba9: DUP4
00001baa: DUP4
00001bab: DUP3
00001bac: ISZERO
00001bad: PUSH2 0x1bd1
00001bb0: JUMPI
00001bb1: JUMPDEST
00001bb2: DUP1
00001bb3: MLOAD
00001bb4: DUP3
00001bb5: MSTORE
00001bb6: PUSH1 0x20
00001bb8: DUP4
00001bb9: GT
00001bba: ISZERO
00001bbb: PUSH2 0x1bd1
00001bbe: JUMPI
00001bbf: PUSH1 0x1f
00001bc1: NOT
00001bc2: SWAP1
00001bc3: SWAP3
00001bc4: ADD
00001bc5: SWAP2
00001bc6: PUSH1 0x20
00001bc8: SWAP2
00001bc9: DUP3
00001bca: ADD
00001bcb: SWAP2
00001bcc: ADD
00001bcd: PUSH2 0x1bb1
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: POP
00001bd3: POP
00001bd4: POP
00001bd5: SWAP1
00001bd6: POP
00001bd7: SWAP1
00001bd8: DUP2
00001bd9: ADD
00001bda: SWAP1
00001bdb: PUSH1 0x1f
00001bdd: AND
00001bde: DUP1
00001bdf: ISZERO
00001be0: PUSH2 0x1bfd
00001be3: JUMPI
00001be4: DUP1
00001be5: DUP3
00001be6: SUB
00001be7: DUP1
00001be8: MLOAD
00001be9: PUSH1 0x01
00001beb: DUP4
00001bec: PUSH1 0x20
00001bee: SUB
00001bef: PUSH2 0x0100
00001bf2: EXP
00001bf3: SUB
00001bf4: NOT
00001bf5: AND
00001bf6: DUP2
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: ADD
00001bfb: SWAP2
00001bfc: POP
00001bfd: JUMPDEST
00001bfe: POP
00001bff: SWAP4
00001c00: POP
00001c01: POP
00001c02: POP
00001c03: POP
00001c04: PUSH1 0x20
00001c06: PUSH1 0x40
00001c08: MLOAD
00001c09: DUP1
00001c0a: DUP4
00001c0b: SUB
00001c0c: DUP2
00001c0d: PUSH1 0x00
00001c0f: DUP8
00001c10: DUP1
00001c11: EXTCODESIZE
00001c12: ISZERO
00001c13: ISZERO
00001c14: PUSH2 0x1c19
00001c17: JUMPI
00001c18: INVALID
00001c19: JUMPDEST
00001c1a: PUSH2 0x02c6
00001c1d: GAS
00001c1e: SUB
00001c1f: CALL
00001c20: ISZERO
00001c21: ISZERO
00001c22: PUSH2 0x1c27
00001c25: JUMPI
00001c26: INVALID
00001c27: JUMPDEST
00001c28: POP
00001c29: POP
00001c2a: PUSH1 0x40
00001c2c: MLOAD
00001c2d: MLOAD
00001c2e: SWAP3
00001c2f: POP
00001c30: POP
00001c31: PUSH8 0x0de0b6b3a7640000
00001c3a: GASPRICE
00001c3b: DUP6
00001c3c: MUL
00001c3d: ADD
00001c3e: DUP3
00001c3f: GT
00001c40: ISZERO
00001c41: PUSH2 0x1c4d
00001c44: JUMPI
00001c45: PUSH1 0x00
00001c47: SWAP3
00001c48: POP
00001c49: PUSH2 0x1dc5
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH2 0x1c56
00001c51: DUP6
00001c52: PUSH2 0x23d6
00001c55: JUMP
00001c56: JUMPDEST
00001c57: SWAP1
00001c58: POP
00001c59: PUSH1 0x01
00001c5b: PUSH1 0x00
00001c5d: SWAP1
00001c5e: SLOAD
00001c5f: SWAP1
00001c60: PUSH2 0x0100
00001c63: EXP
00001c64: SWAP1
00001c65: DIV
00001c66: PUSH1 0x01
00001c68: PUSH1 0xa0
00001c6a: PUSH1 0x02
00001c6c: EXP
00001c6d: SUB
00001c6e: AND
00001c6f: PUSH1 0x01
00001c71: PUSH1 0xa0
00001c73: PUSH1 0x02
00001c75: EXP
00001c76: SUB
00001c77: AND
00001c78: PUSH4 0xc55c1cb6
00001c7d: DUP4
00001c7e: DUP10
00001c7f: DUP10
00001c80: DUP6
00001c81: DUP10
00001c82: PUSH1 0x00
00001c84: PUSH1 0x40
00001c86: MLOAD
00001c87: PUSH1 0x20
00001c89: ADD
00001c8a: MSTORE
00001c8b: PUSH1 0x40
00001c8d: MLOAD
00001c8e: DUP7
00001c8f: PUSH4 0xffffffff
00001c94: AND
00001c95: PUSH1 0xe0
00001c97: PUSH1 0x02
00001c99: EXP
00001c9a: MUL
00001c9b: DUP2
00001c9c: MSTORE
00001c9d: PUSH1 0x04
00001c9f: ADD
00001ca0: DUP1
00001ca1: DUP6
00001ca2: DUP2
00001ca3: MSTORE
00001ca4: PUSH1 0x20
00001ca6: ADD
00001ca7: DUP1
00001ca8: PUSH1 0x20
00001caa: ADD
00001cab: DUP1
00001cac: PUSH1 0x20
00001cae: ADD
00001caf: DUP5
00001cb0: DUP2
00001cb1: MSTORE
00001cb2: PUSH1 0x20
00001cb4: ADD
00001cb5: DUP4
00001cb6: DUP2
00001cb7: SUB
00001cb8: DUP4
00001cb9: MSTORE
00001cba: DUP7
00001cbb: DUP2
00001cbc: DUP2
00001cbd: MLOAD
00001cbe: DUP2
00001cbf: MSTORE
00001cc0: PUSH1 0x20
00001cc2: ADD
00001cc3: SWAP2
00001cc4: POP
00001cc5: DUP1
00001cc6: MLOAD
00001cc7: SWAP1
00001cc8: PUSH1 0x20
00001cca: ADD
00001ccb: SWAP1
00001ccc: DUP1
00001ccd: DUP4
00001cce: DUP4
00001ccf: PUSH1 0x00
00001cd1: DUP4
00001cd2: EQ
00001cd3: PUSH2 0x1cf7
00001cd6: JUMPI
00001cd7: JUMPDEST
00001cd8: DUP1
00001cd9: MLOAD
00001cda: DUP3
00001cdb: MSTORE
00001cdc: PUSH1 0x20
00001cde: DUP4
00001cdf: GT
00001ce0: ISZERO
00001ce1: PUSH2 0x1cf7
00001ce4: JUMPI
00001ce5: PUSH1 0x1f
00001ce7: NOT
00001ce8: SWAP1
00001ce9: SWAP3
00001cea: ADD
00001ceb: SWAP2
00001cec: PUSH1 0x20
00001cee: SWAP2
00001cef: DUP3
00001cf0: ADD
00001cf1: SWAP2
00001cf2: ADD
00001cf3: PUSH2 0x1cd7
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: POP
00001cf9: POP
00001cfa: POP
00001cfb: SWAP1
00001cfc: POP
00001cfd: SWAP1
00001cfe: DUP2
00001cff: ADD
00001d00: SWAP1
00001d01: PUSH1 0x1f
00001d03: AND
00001d04: DUP1
00001d05: ISZERO
00001d06: PUSH2 0x1d23
00001d09: JUMPI
00001d0a: DUP1
00001d0b: DUP3
00001d0c: SUB
00001d0d: DUP1
00001d0e: MLOAD
00001d0f: PUSH1 0x01
00001d11: DUP4
00001d12: PUSH1 0x20
00001d14: SUB
00001d15: PUSH2 0x0100
00001d18: EXP
00001d19: SUB
00001d1a: NOT
00001d1b: AND
00001d1c: DUP2
00001d1d: MSTORE
00001d1e: PUSH1 0x20
00001d20: ADD
00001d21: SWAP2
00001d22: POP
00001d23: JUMPDEST
00001d24: POP
00001d25: DUP4
00001d26: DUP2
00001d27: SUB
00001d28: DUP3
00001d29: MSTORE
00001d2a: DUP6
00001d2b: MLOAD
00001d2c: DUP2
00001d2d: MSTORE
00001d2e: DUP6
00001d2f: MLOAD
00001d30: PUSH1 0x20
00001d32: SWAP2
00001d33: DUP3
00001d34: ADD
00001d35: SWAP2
00001d36: DUP8
00001d37: ADD
00001d38: SWAP1
00001d39: DUP1
00001d3a: DUP4
00001d3b: DUP4
00001d3c: DUP3
00001d3d: ISZERO
00001d3e: PUSH2 0x1d62
00001d41: JUMPI
00001d42: JUMPDEST
00001d43: DUP1
00001d44: MLOAD
00001d45: DUP3
00001d46: MSTORE
00001d47: PUSH1 0x20
00001d49: DUP4
00001d4a: GT
00001d4b: ISZERO
00001d4c: PUSH2 0x1d62
00001d4f: JUMPI
00001d50: PUSH1 0x1f
00001d52: NOT
00001d53: SWAP1
00001d54: SWAP3
00001d55: ADD
00001d56: SWAP2
00001d57: PUSH1 0x20
00001d59: SWAP2
00001d5a: DUP3
00001d5b: ADD
00001d5c: SWAP2
00001d5d: ADD
00001d5e: PUSH2 0x1d42
00001d61: JUMP
00001d62: JUMPDEST
00001d63: POP
00001d64: POP
00001d65: POP
00001d66: SWAP1
00001d67: POP
00001d68: SWAP1
00001d69: DUP2
00001d6a: ADD
00001d6b: SWAP1
00001d6c: PUSH1 0x1f
00001d6e: AND
00001d6f: DUP1
00001d70: ISZERO
00001d71: PUSH2 0x1d8e
00001d74: JUMPI
00001d75: DUP1
00001d76: DUP3
00001d77: SUB
00001d78: DUP1
00001d79: MLOAD
00001d7a: PUSH1 0x01
00001d7c: DUP4
00001d7d: PUSH1 0x20
00001d7f: SUB
00001d80: PUSH2 0x0100
00001d83: EXP
00001d84: SUB
00001d85: NOT
00001d86: AND
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x20
00001d8b: ADD
00001d8c: SWAP2
00001d8d: POP
00001d8e: JUMPDEST
00001d8f: POP
00001d90: SWAP7
00001d91: POP
00001d92: POP
00001d93: POP
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: POP
00001d98: PUSH1 0x20
00001d9a: PUSH1 0x40
00001d9c: MLOAD
00001d9d: DUP1
00001d9e: DUP4
00001d9f: SUB
00001da0: DUP2
00001da1: DUP6
00001da2: DUP9
00001da3: DUP1
00001da4: EXTCODESIZE
00001da5: ISZERO
00001da6: ISZERO
00001da7: PUSH2 0x1dac
00001daa: JUMPI
00001dab: INVALID
00001dac: JUMPDEST
00001dad: PUSH2 0x25ee
00001db0: GAS
00001db1: SUB
00001db2: CALL
00001db3: ISZERO
00001db4: ISZERO
00001db5: PUSH2 0x1dba
00001db8: JUMPI
00001db9: INVALID
00001dba: JUMPDEST
00001dbb: POP
00001dbc: POP
00001dbd: PUSH1 0x40
00001dbf: MLOAD
00001dc0: MLOAD
00001dc1: SWAP5
00001dc2: POP
00001dc3: POP
00001dc4: POP
00001dc5: JUMPDEST
00001dc6: JUMPDEST
00001dc7: POP
00001dc8: POP
00001dc9: SWAP5
00001dca: SWAP4
00001dcb: POP
00001dcc: POP
00001dcd: POP
00001dce: POP
00001dcf: JUMP
00001dd0: JUMPDEST
00001dd1: PUSH2 0x1dd8
00001dd4: PUSH2 0x2ea1
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: PUSH1 0x02
00001ddb: DUP1
00001ddc: SLOAD
00001ddd: PUSH1 0x40
00001ddf: DUP1
00001de0: MLOAD
00001de1: PUSH1 0x20
00001de3: PUSH1 0x01
00001de5: DUP5
00001de6: AND
00001de7: ISZERO
00001de8: PUSH2 0x0100
00001deb: MUL
00001dec: PUSH1 0x00
00001dee: NOT
00001def: ADD
00001df0: SWAP1
00001df1: SWAP4
00001df2: AND
00001df3: DUP5
00001df4: SWAP1
00001df5: DIV
00001df6: PUSH1 0x1f
00001df8: DUP2
00001df9: ADD
00001dfa: DUP5
00001dfb: SWAP1
00001dfc: DIV
00001dfd: DUP5
00001dfe: MUL
00001dff: DUP3
00001e00: ADD
00001e01: DUP5
00001e02: ADD
00001e03: SWAP1
00001e04: SWAP3
00001e05: MSTORE
00001e06: DUP2
00001e07: DUP2
00001e08: MSTORE
00001e09: SWAP3
00001e0a: SWAP2
00001e0b: DUP4
00001e0c: ADD
00001e0d: DUP3
00001e0e: DUP3
00001e0f: DUP1
00001e10: ISZERO
00001e11: PUSH2 0x1e5b
00001e14: JUMPI
00001e15: DUP1
00001e16: PUSH1 0x1f
00001e18: LT
00001e19: PUSH2 0x1e30
00001e1c: JUMPI
00001e1d: PUSH2 0x0100
00001e20: DUP1
00001e21: DUP4
00001e22: SLOAD
00001e23: DIV
00001e24: MUL
00001e25: DUP4
00001e26: MSTORE
00001e27: SWAP2
00001e28: PUSH1 0x20
00001e2a: ADD
00001e2b: SWAP2
00001e2c: PUSH2 0x1e5b
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: DUP3
00001e32: ADD
00001e33: SWAP2
00001e34: SWAP1
00001e35: PUSH1 0x00
00001e37: MSTORE
00001e38: PUSH1 0x20
00001e3a: PUSH1 0x00
00001e3c: KECCAK256
00001e3d: SWAP1
00001e3e: JUMPDEST
00001e3f: DUP2
00001e40: SLOAD
00001e41: DUP2
00001e42: MSTORE
00001e43: SWAP1
00001e44: PUSH1 0x01
00001e46: ADD
00001e47: SWAP1
00001e48: PUSH1 0x20
00001e4a: ADD
00001e4b: DUP1
00001e4c: DUP4
00001e4d: GT
00001e4e: PUSH2 0x1e3e
00001e51: JUMPI
00001e52: DUP3
00001e53: SWAP1
00001e54: SUB
00001e55: PUSH1 0x1f
00001e57: AND
00001e58: DUP3
00001e59: ADD
00001e5a: SWAP2
00001e5b: JUMPDEST
00001e5c: POP
00001e5d: POP
00001e5e: POP
00001e5f: POP
00001e60: POP
00001e61: SWAP1
00001e62: POP
00001e63: JUMPDEST
00001e64: SWAP1
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x00
00001e69: PUSH1 0x00
00001e6b: PUSH1 0x00
00001e6d: PUSH2 0x1e74
00001e70: PUSH2 0x2ea1
00001e73: JUMP
00001e74: JUMPDEST
00001e75: PUSH2 0x1e7c
00001e78: PUSH2 0x2ea1
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH2 0x1e84
00001e80: PUSH2 0x2ea1
00001e83: JUMP
00001e84: JUMPDEST
00001e85: PUSH2 0x1e8c
00001e88: PUSH2 0x2ea1
00001e8b: JUMP
00001e8c: JUMPDEST
00001e8d: PUSH1 0x00
00001e8f: PUSH1 0x00
00001e91: PUSH2 0x1e98
00001e94: PUSH2 0x2ea1
00001e97: JUMP
00001e98: JUMPDEST
00001e99: DUP14
00001e9a: PUSH1 0x45
00001e9c: DUP2
00001e9d: MLOAD
00001e9e: DUP2
00001e9f: LT
00001ea0: ISZERO
00001ea1: ISZERO
00001ea2: PUSH2 0x1ea7
00001ea5: JUMPI
00001ea6: INVALID
00001ea7: JUMPDEST
00001ea8: SWAP1
00001ea9: PUSH1 0x20
00001eab: ADD
00001eac: ADD
00001ead: MLOAD
00001eae: PUSH1 0xf8
00001eb0: PUSH1 0x02
00001eb2: EXP
00001eb3: SWAP1
00001eb4: DIV
00001eb5: PUSH1 0xf8
00001eb7: PUSH1 0x02
00001eb9: EXP
00001eba: MUL
00001ebb: PUSH1 0xf8
00001ebd: PUSH1 0x02
00001ebf: EXP
00001ec0: SWAP1
00001ec1: DIV
00001ec2: PUSH1 0x02
00001ec4: ADD
00001ec5: PUSH1 0x44
00001ec7: ADD
00001ec8: PUSH1 0x20
00001eca: ADD
00001ecb: SWAP8
00001ecc: POP
00001ecd: PUSH1 0x20
00001ecf: PUSH1 0x40
00001ed1: MLOAD
00001ed2: DUP1
00001ed3: MSIZE
00001ed4: LT
00001ed5: PUSH2 0x1edb
00001ed8: JUMPI
00001ed9: POP
00001eda: MSIZE
00001edb: JUMPDEST
00001edc: SWAP1
00001edd: DUP1
00001ede: DUP3
00001edf: MSTORE
00001ee0: DUP1
00001ee1: PUSH1 0x20
00001ee3: MUL
00001ee4: PUSH1 0x20
00001ee6: ADD
00001ee7: DUP3
00001ee8: ADD
00001ee9: PUSH1 0x40
00001eeb: MSTORE
00001eec: JUMPDEST
00001eed: POP
00001eee: SWAP7
00001eef: POP
00001ef0: PUSH2 0x1efe
00001ef3: DUP15
00001ef4: DUP10
00001ef5: PUSH1 0x20
00001ef7: DUP11
00001ef8: PUSH1 0x00
00001efa: PUSH2 0x277b
00001efd: JUMP
00001efe: JUMPDEST
00001eff: POP
00001f00: PUSH1 0x02
00001f02: DUP12
00001f03: DUP15
00001f04: PUSH1 0x00
00001f06: PUSH1 0x40
00001f08: MLOAD
00001f09: PUSH1 0x20
00001f0b: ADD
00001f0c: MSTORE
00001f0d: PUSH1 0x40
00001f0f: MLOAD
00001f10: DUP1
00001f11: DUP4
00001f12: DUP1
00001f13: MLOAD
00001f14: SWAP1
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: SWAP1
00001f19: DUP1
00001f1a: DUP4
00001f1b: DUP4
00001f1c: JUMPDEST
00001f1d: PUSH1 0x20
00001f1f: DUP4
00001f20: LT
00001f21: PUSH2 0x1f3b
00001f24: JUMPI
00001f25: DUP1
00001f26: MLOAD
00001f27: DUP3
00001f28: MSTORE
00001f29: PUSH1 0x1f
00001f2b: NOT
00001f2c: SWAP1
00001f2d: SWAP3
00001f2e: ADD
00001f2f: SWAP2
00001f30: PUSH1 0x20
00001f32: SWAP2
00001f33: DUP3
00001f34: ADD
00001f35: SWAP2
00001f36: ADD
00001f37: PUSH2 0x1f1c
00001f3a: JUMP
00001f3b: JUMPDEST
00001f3c: MLOAD
00001f3d: DUP2
00001f3e: MLOAD
00001f3f: PUSH1 0x20
00001f41: SWAP4
00001f42: DUP5
00001f43: SUB
00001f44: PUSH2 0x0100
00001f47: EXP
00001f48: PUSH1 0x00
00001f4a: NOT
00001f4b: ADD
00001f4c: DUP1
00001f4d: NOT
00001f4e: SWAP1
00001f4f: SWAP3
00001f50: AND
00001f51: SWAP2
00001f52: AND
00001f53: OR
00001f54: SWAP1
00001f55: MSTORE
00001f56: SWAP3
00001f57: ADD
00001f58: SWAP4
00001f59: DUP5
00001f5a: MSTORE
00001f5b: POP
00001f5c: PUSH1 0x40
00001f5e: MLOAD
00001f5f: DUP4
00001f60: DUP3
00001f61: ADD
00001f62: SWAP5
00001f63: POP
00001f64: SWAP1
00001f65: SWAP3
00001f66: SWAP1
00001f67: SWAP2
00001f68: POP
00001f69: DUP2
00001f6a: SWAP1
00001f6b: SUB
00001f6c: DUP3
00001f6d: ADD
00001f6e: DUP2
00001f6f: PUSH1 0x00
00001f71: DUP7
00001f72: PUSH2 0x646e
00001f75: GAS
00001f76: SUB
00001f77: CALL
00001f78: ISZERO
00001f79: ISZERO
00001f7a: PUSH2 0x1f7f
00001f7d: JUMPI
00001f7e: INVALID
00001f7f: JUMPDEST
00001f80: POP
00001f81: POP
00001f82: PUSH1 0x40
00001f84: MLOAD
00001f85: PUSH1 0x20
00001f87: DUP1
00001f88: DUP3
00001f89: KECCAK256
00001f8a: DUP10
00001f8b: MLOAD
00001f8c: SWAP1
00001f8d: SWAP3
00001f8e: DUP11
00001f8f: SWAP3
00001f90: SWAP1
00001f91: SWAP2
00001f92: DUP3
00001f93: SWAP2
00001f94: DUP5
00001f95: ADD
00001f96: SWAP1
00001f97: DUP1
00001f98: DUP4
00001f99: DUP4
00001f9a: JUMPDEST
00001f9b: PUSH1 0x20
00001f9d: DUP4
00001f9e: LT
00001f9f: PUSH2 0x1fb9
00001fa2: JUMPI
00001fa3: DUP1
00001fa4: MLOAD
00001fa5: DUP3
00001fa6: MSTORE
00001fa7: PUSH1 0x1f
00001fa9: NOT
00001faa: SWAP1
00001fab: SWAP3
00001fac: ADD
00001fad: SWAP2
00001fae: PUSH1 0x20
00001fb0: SWAP2
00001fb1: DUP3
00001fb2: ADD
00001fb3: SWAP2
00001fb4: ADD
00001fb5: PUSH2 0x1f9a
00001fb8: JUMP
00001fb9: JUMPDEST
00001fba: MLOAD
00001fbb: DUP2
00001fbc: MLOAD
00001fbd: PUSH1 0x20
00001fbf: SWAP4
00001fc0: SWAP1
00001fc1: SWAP4
00001fc2: SUB
00001fc3: PUSH2 0x0100
00001fc6: EXP
00001fc7: PUSH1 0x00
00001fc9: NOT
00001fca: ADD
00001fcb: DUP1
00001fcc: NOT
00001fcd: SWAP1
00001fce: SWAP2
00001fcf: AND
00001fd0: SWAP3
00001fd1: AND
00001fd2: SWAP2
00001fd3: SWAP1
00001fd4: SWAP2
00001fd5: OR
00001fd6: SWAP1
00001fd7: MSTORE
00001fd8: PUSH1 0x40
00001fda: MLOAD
00001fdb: SWAP3
00001fdc: ADD
00001fdd: DUP3
00001fde: SWAP1
00001fdf: SUB
00001fe0: SWAP1
00001fe1: SWAP2
00001fe2: KECCAK256
00001fe3: SWAP4
00001fe4: SWAP1
00001fe5: SWAP4
00001fe6: EQ
00001fe7: SWAP12
00001fe8: POP
00001fe9: DUP12
00001fea: SWAP3
00001feb: POP
00001fec: PUSH2 0x1ffb
00001fef: SWAP2
00001ff0: POP
00001ff1: POP
00001ff2: JUMPI
00001ff3: PUSH1 0x00
00001ff5: SWAP10
00001ff6: POP
00001ff7: PUSH2 0x23c5
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: DUP14
00001ffd: MLOAD
00001ffe: DUP15
00001fff: SWAP1
00002000: PUSH1 0x4a
00002002: DUP11
00002003: ADD
00002004: SWAP1
00002005: DUP2
00002006: LT
00002007: PUSH2 0x200c
0000200a: JUMPI
0000200b: INVALID
0000200c: JUMPDEST
0000200d: SWAP1
0000200e: PUSH1 0x20
00002010: ADD
00002011: ADD
00002012: MLOAD
00002013: PUSH1 0xf8
00002015: PUSH1 0x02
00002017: EXP
00002018: SWAP1
00002019: DIV
0000201a: PUSH1 0xf8
0000201c: PUSH1 0x02
0000201e: EXP
0000201f: MUL
00002020: PUSH1 0xf8
00002022: PUSH1 0x02
00002024: EXP
00002025: SWAP1
00002026: DIV
00002027: PUSH1 0x02
00002029: ADD
0000202a: PUSH1 0x40
0000202c: MLOAD
0000202d: DUP1
0000202e: MSIZE
0000202f: LT
00002030: PUSH2 0x2036
00002033: JUMPI
00002034: POP
00002035: MSIZE
00002036: JUMPDEST
00002037: SWAP1
00002038: DUP1
00002039: DUP3
0000203a: MSTORE
0000203b: DUP1
0000203c: PUSH1 0x20
0000203e: MUL
0000203f: PUSH1 0x20
00002041: ADD
00002042: DUP3
00002043: ADD
00002044: PUSH1 0x40
00002046: MSTORE
00002047: JUMPDEST
00002048: POP
00002049: SWAP6
0000204a: POP
0000204b: PUSH2 0x205c
0000204e: DUP15
0000204f: DUP10
00002050: PUSH1 0x49
00002052: ADD
00002053: DUP9
00002054: MLOAD
00002055: DUP10
00002056: PUSH1 0x00
00002058: PUSH2 0x277b
0000205b: JUMP
0000205c: JUMPDEST
0000205d: POP
0000205e: PUSH2 0x20e3
00002061: PUSH1 0x02
00002063: DUP8
00002064: PUSH1 0x00
00002066: PUSH1 0x40
00002068: MLOAD
00002069: PUSH1 0x20
0000206b: ADD
0000206c: MSTORE
0000206d: PUSH1 0x40
0000206f: MLOAD
00002070: DUP1
00002071: DUP3
00002072: DUP1
00002073: MLOAD
00002074: SWAP1
00002075: PUSH1 0x20
00002077: ADD
00002078: SWAP1
00002079: DUP1
0000207a: DUP4
0000207b: DUP4
0000207c: JUMPDEST
0000207d: PUSH1 0x20
0000207f: DUP4
00002080: LT
00002081: PUSH2 0x209b
00002084: JUMPI
00002085: DUP1
00002086: MLOAD
00002087: DUP3
00002088: MSTORE
00002089: PUSH1 0x1f
0000208b: NOT
0000208c: SWAP1
0000208d: SWAP3
0000208e: ADD
0000208f: SWAP2
00002090: PUSH1 0x20
00002092: SWAP2
00002093: DUP3
00002094: ADD
00002095: SWAP2
00002096: ADD
00002097: PUSH2 0x207c
0000209a: JUMP
0000209b: JUMPDEST
0000209c: MLOAD
0000209d: DUP2
0000209e: MLOAD
0000209f: PUSH1 0x20
000020a1: SWAP4
000020a2: DUP5
000020a3: SUB
000020a4: PUSH2 0x0100
000020a7: EXP
000020a8: PUSH1 0x00
000020aa: NOT
000020ab: ADD
000020ac: DUP1
000020ad: NOT
000020ae: SWAP1
000020af: SWAP3
000020b0: AND
000020b1: SWAP2
000020b2: AND
000020b3: OR
000020b4: SWAP1
000020b5: MSTORE
000020b6: PUSH1 0x40
000020b8: MLOAD
000020b9: SWAP2
000020ba: SWAP1
000020bb: SWAP4
000020bc: ADD
000020bd: SWAP5
000020be: POP
000020bf: SWAP2
000020c0: SWAP3
000020c1: POP
000020c2: POP
000020c3: DUP1
000020c4: DUP4
000020c5: SUB
000020c6: DUP2
000020c7: PUSH1 0x00
000020c9: DUP7
000020ca: PUSH2 0x646e
000020cd: GAS
000020ce: SUB
000020cf: CALL
000020d0: ISZERO
000020d1: ISZERO
000020d2: PUSH2 0x20d7
000020d5: JUMPI
000020d6: INVALID
000020d7: JUMPDEST
000020d8: POP
000020d9: POP
000020da: PUSH1 0x40
000020dc: MLOAD
000020dd: MLOAD
000020de: DUP14
000020df: PUSH2 0x27d9
000020e2: JUMP
000020e3: JUMPDEST
000020e4: SWAP9
000020e5: POP
000020e6: DUP9
000020e7: ISZERO
000020e8: ISZERO
000020e9: PUSH2 0x20f5
000020ec: JUMPI
000020ed: PUSH1 0x00
000020ef: SWAP10
000020f0: POP
000020f1: PUSH2 0x23c5
000020f4: JUMP
000020f5: JUMPDEST
000020f6: PUSH1 0x29
000020f8: PUSH1 0x40
000020fa: MLOAD
000020fb: DUP1
000020fc: MSIZE
000020fd: LT
000020fe: PUSH2 0x2104
00002101: JUMPI
00002102: POP
00002103: MSIZE
00002104: JUMPDEST
00002105: SWAP1
00002106: DUP1
00002107: DUP3
00002108: MSTORE
00002109: DUP1
0000210a: PUSH1 0x20
0000210c: MUL
0000210d: PUSH1 0x20
0000210f: ADD
00002110: DUP3
00002111: ADD
00002112: PUSH1 0x40
00002114: MSTORE
00002115: JUMPDEST
00002116: POP
00002117: SWAP5
00002118: POP
00002119: PUSH2 0x212a
0000211c: DUP15
0000211d: DUP10
0000211e: PUSH1 0x20
00002120: ADD
00002121: PUSH1 0x29
00002123: DUP9
00002124: PUSH1 0x00
00002126: PUSH2 0x277b
00002129: JUMP
0000212a: JUMPDEST
0000212b: POP
0000212c: PUSH1 0x40
0000212e: PUSH1 0x40
00002130: MLOAD
00002131: DUP1
00002132: MSIZE
00002133: LT
00002134: PUSH2 0x213a
00002137: JUMPI
00002138: POP
00002139: MSIZE
0000213a: JUMPDEST
0000213b: SWAP1
0000213c: DUP1
0000213d: DUP3
0000213e: MSTORE
0000213f: DUP1
00002140: PUSH1 0x20
00002142: MUL
00002143: PUSH1 0x20
00002145: ADD
00002146: DUP3
00002147: ADD
00002148: PUSH1 0x40
0000214a: MSTORE
0000214b: JUMPDEST
0000214c: POP
0000214d: SWAP4
0000214e: POP
0000214f: DUP6
00002150: MLOAD
00002151: DUP9
00002152: PUSH1 0x20
00002154: ADD
00002155: PUSH1 0x29
00002157: ADD
00002158: ADD
00002159: PUSH1 0x41
0000215b: ADD
0000215c: SWAP3
0000215d: POP
0000215e: PUSH2 0x216f
00002161: DUP15
00002162: PUSH1 0x40
00002164: DUP6
00002165: SUB
00002166: PUSH1 0x40
00002168: DUP8
00002169: PUSH1 0x00
0000216b: PUSH2 0x277b
0000216e: JUMP
0000216f: JUMPDEST
00002170: POP
00002171: PUSH1 0x02
00002173: DUP5
00002174: PUSH1 0x00
00002176: PUSH1 0x40
00002178: MLOAD
00002179: PUSH1 0x20
0000217b: ADD
0000217c: MSTORE
0000217d: PUSH1 0x40
0000217f: MLOAD
00002180: DUP1
00002181: DUP3
00002182: DUP1
00002183: MLOAD
00002184: SWAP1
00002185: PUSH1 0x20
00002187: ADD
00002188: SWAP1
00002189: DUP1
0000218a: DUP4
0000218b: DUP4
0000218c: JUMPDEST
0000218d: PUSH1 0x20
0000218f: DUP4
00002190: LT
00002191: PUSH2 0x21ab
00002194: JUMPI
00002195: DUP1
00002196: MLOAD
00002197: DUP3
00002198: MSTORE
00002199: PUSH1 0x1f
0000219b: NOT
0000219c: SWAP1
0000219d: SWAP3
0000219e: ADD
0000219f: SWAP2
000021a0: PUSH1 0x20
000021a2: SWAP2
000021a3: DUP3
000021a4: ADD
000021a5: SWAP2
000021a6: ADD
000021a7: PUSH2 0x218c
000021aa: JUMP
000021ab: JUMPDEST
000021ac: MLOAD
000021ad: DUP2
000021ae: MLOAD
000021af: PUSH1 0x20
000021b1: SWAP4
000021b2: DUP5
000021b3: SUB
000021b4: PUSH2 0x0100
000021b7: EXP
000021b8: PUSH1 0x00
000021ba: NOT
000021bb: ADD
000021bc: DUP1
000021bd: NOT
000021be: SWAP1
000021bf: SWAP3
000021c0: AND
000021c1: SWAP2
000021c2: AND
000021c3: OR
000021c4: SWAP1
000021c5: MSTORE
000021c6: PUSH1 0x40
000021c8: MLOAD
000021c9: SWAP2
000021ca: SWAP1
000021cb: SWAP4
000021cc: ADD
000021cd: SWAP5
000021ce: POP
000021cf: SWAP2
000021d0: SWAP3
000021d1: POP
000021d2: POP
000021d3: DUP1
000021d4: DUP4
000021d5: SUB
000021d6: DUP2
000021d7: PUSH1 0x00
000021d9: DUP7
000021da: PUSH2 0x646e
000021dd: GAS
000021de: SUB
000021df: CALL
000021e0: ISZERO
000021e1: ISZERO
000021e2: PUSH2 0x21e7
000021e5: JUMPI
000021e6: INVALID
000021e7: JUMPDEST
000021e8: POP
000021e9: POP
000021ea: PUSH1 0x40
000021ec: MLOAD
000021ed: DUP1
000021ee: MLOAD
000021ef: DUP7
000021f0: MLOAD
000021f1: SWAP1
000021f2: SWAP4
000021f3: POP
000021f4: DUP7
000021f5: SWAP2
000021f6: DUP5
000021f7: SWAP2
000021f8: DUP2
000021f9: SWAP1
000021fa: PUSH1 0x20
000021fc: DUP6
000021fd: ADD
000021fe: SWAP1
000021ff: DUP1
00002200: DUP4
00002201: DUP4
00002202: JUMPDEST
00002203: PUSH1 0x20
00002205: DUP4
00002206: LT
00002207: PUSH2 0x2221
0000220a: JUMPI
0000220b: DUP1
0000220c: MLOAD
0000220d: DUP3
0000220e: MSTORE
0000220f: PUSH1 0x1f
00002211: NOT
00002212: SWAP1
00002213: SWAP3
00002214: ADD
00002215: SWAP2
00002216: PUSH1 0x20
00002218: SWAP2
00002219: DUP3
0000221a: ADD
0000221b: SWAP2
0000221c: ADD
0000221d: PUSH2 0x2202
00002220: JUMP
00002221: JUMPDEST
00002222: PUSH1 0x01
00002224: DUP4
00002225: PUSH1 0x20
00002227: SUB
00002228: PUSH2 0x0100
0000222b: EXP
0000222c: SUB
0000222d: DUP1
0000222e: NOT
0000222f: DUP3
00002230: MLOAD
00002231: AND
00002232: DUP2
00002233: DUP5
00002234: MLOAD
00002235: AND
00002236: DUP1
00002237: DUP3
00002238: OR
00002239: DUP6
0000223a: MSTORE
0000223b: POP
0000223c: POP
0000223d: POP
0000223e: POP
0000223f: POP
00002240: POP
00002241: SWAP1
00002242: POP
00002243: ADD
00002244: DUP3
00002245: PUSH1 0x00
00002247: NOT
00002248: AND
00002249: PUSH1 0x00
0000224b: NOT
0000224c: AND
0000224d: DUP2
0000224e: MSTORE
0000224f: PUSH1 0x20
00002251: ADD
00002252: SWAP3
00002253: POP
00002254: POP
00002255: POP
00002256: PUSH1 0x40
00002258: MLOAD
00002259: DUP1
0000225a: SWAP2
0000225b: SUB
0000225c: SWAP1
0000225d: KECCAK256
0000225e: PUSH1 0x00
00002260: NOT
00002261: AND
00002262: PUSH1 0x03
00002264: PUSH1 0x00
00002266: DUP16
00002267: PUSH1 0x00
00002269: NOT
0000226a: AND
0000226b: PUSH1 0x00
0000226d: NOT
0000226e: AND
0000226f: DUP2
00002270: MSTORE
00002271: PUSH1 0x20
00002273: ADD
00002274: SWAP1
00002275: DUP2
00002276: MSTORE
00002277: PUSH1 0x20
00002279: ADD
0000227a: PUSH1 0x00
0000227c: KECCAK256
0000227d: SLOAD
0000227e: PUSH1 0x00
00002280: NOT
00002281: AND
00002282: EQ
00002283: ISZERO
00002284: PUSH2 0x229b
00002287: JUMPI
00002288: PUSH1 0x00
0000228a: DUP14
0000228b: DUP2
0000228c: MSTORE
0000228d: PUSH1 0x03
0000228f: PUSH1 0x20
00002291: MSTORE
00002292: PUSH1 0x40
00002294: DUP2
00002295: KECCAK256
00002296: SSTORE
00002297: PUSH2 0x22a4
0000229a: JUMP
0000229b: JUMPDEST
0000229c: PUSH1 0x00
0000229e: SWAP10
0000229f: POP
000022a0: PUSH2 0x23c5
000022a3: JUMP
000022a4: JUMPDEST
000022a5: PUSH1 0x49
000022a7: PUSH1 0x40
000022a9: MLOAD
000022aa: DUP1
000022ab: MSIZE
000022ac: LT
000022ad: PUSH2 0x22b3
000022b0: JUMPI
000022b1: POP
000022b2: MSIZE
000022b3: JUMPDEST
000022b4: SWAP1
000022b5: DUP1
000022b6: DUP3
000022b7: MSTORE
000022b8: DUP1
000022b9: PUSH1 0x20
000022bb: MUL
000022bc: PUSH1 0x20
000022be: ADD
000022bf: DUP3
000022c0: ADD
000022c1: PUSH1 0x40
000022c3: MSTORE
000022c4: JUMPDEST
000022c5: POP
000022c6: SWAP1
000022c7: POP
000022c8: PUSH2 0x22d6
000022cb: DUP15
000022cc: DUP10
000022cd: PUSH1 0x49
000022cf: DUP5
000022d0: PUSH1 0x00
000022d2: PUSH2 0x277b
000022d5: JUMP
000022d6: JUMPDEST
000022d7: POP
000022d8: PUSH2 0x235e
000022db: PUSH1 0x02
000022dd: DUP3
000022de: PUSH1 0x00
000022e0: PUSH1 0x40
000022e2: MLOAD
000022e3: PUSH1 0x20
000022e5: ADD
000022e6: MSTORE
000022e7: PUSH1 0x40
000022e9: MLOAD
000022ea: DUP1
000022eb: DUP3
000022ec: DUP1
000022ed: MLOAD
000022ee: SWAP1
000022ef: PUSH1 0x20
000022f1: ADD
000022f2: SWAP1
000022f3: DUP1
000022f4: DUP4
000022f5: DUP4
000022f6: JUMPDEST
000022f7: PUSH1 0x20
000022f9: DUP4
000022fa: LT
000022fb: PUSH2 0x2315
000022fe: JUMPI
000022ff: DUP1
00002300: MLOAD
00002301: DUP3
00002302: MSTORE
00002303: PUSH1 0x1f
00002305: NOT
00002306: SWAP1
00002307: SWAP3
00002308: ADD
00002309: SWAP2
0000230a: PUSH1 0x20
0000230c: SWAP2
0000230d: DUP3
0000230e: ADD
0000230f: SWAP2
00002310: ADD
00002311: PUSH2 0x22f6
00002314: JUMP
00002315: JUMPDEST
00002316: MLOAD
00002317: DUP2
00002318: MLOAD
00002319: PUSH1 0x20
0000231b: SWAP4
0000231c: DUP5
0000231d: SUB
0000231e: PUSH2 0x0100
00002321: EXP
00002322: PUSH1 0x00
00002324: NOT
00002325: ADD
00002326: DUP1
00002327: NOT
00002328: SWAP1
00002329: SWAP3
0000232a: AND
0000232b: SWAP2
0000232c: AND
0000232d: OR
0000232e: SWAP1
0000232f: MSTORE
00002330: PUSH1 0x40
00002332: MLOAD
00002333: SWAP2
00002334: SWAP1
00002335: SWAP4
00002336: ADD
00002337: SWAP5
00002338: POP
00002339: SWAP2
0000233a: SWAP3
0000233b: POP
0000233c: POP
0000233d: DUP1
0000233e: DUP4
0000233f: SUB
00002340: DUP2
00002341: PUSH1 0x00
00002343: DUP7
00002344: PUSH2 0x646e
00002347: GAS
00002348: SUB
00002349: CALL
0000234a: ISZERO
0000234b: ISZERO
0000234c: PUSH2 0x2351
0000234f: JUMPI
00002350: INVALID
00002351: JUMPDEST
00002352: POP
00002353: POP
00002354: PUSH1 0x40
00002356: MLOAD
00002357: MLOAD
00002358: DUP8
00002359: DUP7
0000235a: PUSH2 0x285c
0000235d: JUMP
0000235e: JUMPDEST
0000235f: SWAP9
00002360: POP
00002361: DUP9
00002362: ISZERO
00002363: ISZERO
00002364: PUSH2 0x2370
00002367: JUMPI
00002368: PUSH1 0x00
0000236a: SWAP10
0000236b: POP
0000236c: PUSH2 0x23c5
0000236f: JUMP
00002370: JUMPDEST
00002371: PUSH1 0x00
00002373: DUP3
00002374: DUP2
00002375: MSTORE
00002376: PUSH1 0x04
00002378: PUSH1 0x20
0000237a: MSTORE
0000237b: PUSH1 0x40
0000237d: SWAP1
0000237e: KECCAK256
0000237f: SLOAD
00002380: PUSH1 0xff
00002382: AND
00002383: ISZERO
00002384: ISZERO
00002385: PUSH2 0x23b0
00002388: JUMPI
00002389: PUSH2 0x2392
0000238c: DUP15
0000238d: DUP5
0000238e: PUSH2 0x2a88
00002391: JUMP
00002392: JUMPDEST
00002393: PUSH1 0x00
00002395: DUP4
00002396: DUP2
00002397: MSTORE
00002398: PUSH1 0x04
0000239a: PUSH1 0x20
0000239c: MSTORE
0000239d: PUSH1 0x40
0000239f: SWAP1
000023a0: KECCAK256
000023a1: DUP1
000023a2: SLOAD
000023a3: PUSH1 0xff
000023a5: NOT
000023a6: AND
000023a7: SWAP2
000023a8: ISZERO
000023a9: ISZERO
000023aa: SWAP2
000023ab: SWAP1
000023ac: SWAP2
000023ad: OR
000023ae: SWAP1
000023af: SSTORE
000023b0: JUMPDEST
000023b1: PUSH1 0x00
000023b3: DUP3
000023b4: DUP2
000023b5: MSTORE
000023b6: PUSH1 0x04
000023b8: PUSH1 0x20
000023ba: MSTORE
000023bb: PUSH1 0x40
000023bd: SWAP1
000023be: KECCAK256
000023bf: SLOAD
000023c0: PUSH1 0xff
000023c2: AND
000023c3: SWAP10
000023c4: POP
000023c5: JUMPDEST
000023c6: POP
000023c7: POP
000023c8: POP
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: SWAP5
000023d0: SWAP4
000023d1: POP
000023d2: POP
000023d3: POP
000023d4: POP
000023d5: JUMP
000023d6: JUMPDEST
000023d7: PUSH2 0x23de
000023da: PUSH2 0x2ea1
000023dd: JUMP
000023de: JUMPDEST
000023df: PUSH1 0x00
000023e1: PUSH1 0x00
000023e3: PUSH2 0x23ea
000023e6: PUSH2 0x2ea1
000023e9: JUMP
000023ea: JUMPDEST
000023eb: PUSH1 0x00
000023ed: PUSH1 0x00
000023ef: PUSH1 0x00
000023f1: PUSH2 0x23f8
000023f4: PUSH2 0x2ea1
000023f7: JUMP
000023f8: JUMPDEST
000023f9: PUSH1 0x00
000023fb: PUSH1 0x00
000023fd: PUSH1 0x00
000023ff: DUP12
00002400: MLOAD
00002401: SWAP10
00002402: POP
00002403: PUSH1 0x00
00002405: SWAP9
00002406: POP
00002407: DUP10
00002408: PUSH1 0x40
0000240a: MLOAD
0000240b: DUP1
0000240c: MSIZE
0000240d: LT
0000240e: PUSH2 0x2414
00002411: JUMPI
00002412: POP
00002413: MSIZE
00002414: JUMPDEST
00002415: SWAP1
00002416: DUP1
00002417: DUP3
00002418: MSTORE
00002419: DUP1
0000241a: PUSH1 0x20
0000241c: MUL
0000241d: PUSH1 0x20
0000241f: ADD
00002420: DUP3
00002421: ADD
00002422: PUSH1 0x40
00002424: MSTORE
00002425: DUP1
00002426: ISZERO
00002427: PUSH2 0x244a
0000242a: JUMPI
0000242b: DUP2
0000242c: PUSH1 0x20
0000242e: ADD
0000242f: JUMPDEST
00002430: PUSH2 0x2437
00002433: PUSH2 0x2ea1
00002436: JUMP
00002437: JUMPDEST
00002438: DUP2
00002439: MSTORE
0000243a: PUSH1 0x20
0000243c: ADD
0000243d: SWAP1
0000243e: PUSH1 0x01
00002440: SWAP1
00002441: SUB
00002442: SWAP1
00002443: DUP2
00002444: PUSH2 0x242f
00002447: JUMPI
00002448: SWAP1
00002449: POP
0000244a: JUMPDEST
0000244b: POP
0000244c: SWAP8
0000244d: POP
0000244e: PUSH1 0x00
00002450: SWAP7
00002451: POP
00002452: JUMPDEST
00002453: DUP10
00002454: DUP8
00002455: LT
00002456: ISZERO
00002457: PUSH2 0x24e2
0000245a: JUMPI
0000245b: DUP12
0000245c: DUP8
0000245d: DUP2
0000245e: MLOAD
0000245f: DUP2
00002460: LT
00002461: ISZERO
00002462: ISZERO
00002463: PUSH2 0x2468
00002466: JUMPI
00002467: INVALID
00002468: JUMPDEST
00002469: SWAP1
0000246a: PUSH1 0x20
0000246c: ADD
0000246d: SWAP1
0000246e: PUSH1 0x20
00002470: MUL
00002471: ADD
00002472: MLOAD
00002473: DUP9
00002474: DUP9
00002475: DUP2
00002476: MLOAD
00002477: DUP2
00002478: LT
00002479: ISZERO
0000247a: ISZERO
0000247b: PUSH2 0x2480
0000247e: JUMPI
0000247f: INVALID
00002480: JUMPDEST
00002481: SWAP1
00002482: PUSH1 0x20
00002484: ADD
00002485: SWAP1
00002486: PUSH1 0x20
00002488: MUL
00002489: ADD
0000248a: DUP2
0000248b: SWAP1
0000248c: MSTORE
0000248d: POP
0000248e: PUSH1 0x17
00002490: PUSH1 0x01
00002492: DUP10
00002493: DUP10
00002494: DUP2
00002495: MLOAD
00002496: DUP2
00002497: LT
00002498: ISZERO
00002499: ISZERO
0000249a: PUSH2 0x249f
0000249d: JUMPI
0000249e: INVALID
0000249f: JUMPDEST
000024a0: SWAP1
000024a1: PUSH1 0x20
000024a3: ADD
000024a4: SWAP1
000024a5: PUSH1 0x20
000024a7: MUL
000024a8: ADD
000024a9: MLOAD
000024aa: MLOAD
000024ab: SUB
000024ac: DUP2
000024ad: ISZERO
000024ae: ISZERO
000024af: PUSH2 0x24b4
000024b2: JUMPI
000024b3: INVALID
000024b4: JUMPDEST
000024b5: DIV
000024b6: DUP9
000024b7: DUP9
000024b8: DUP2
000024b9: MLOAD
000024ba: DUP2
000024bb: LT
000024bc: ISZERO
000024bd: ISZERO
000024be: PUSH2 0x24c3
000024c1: JUMPI
000024c2: INVALID
000024c3: JUMPDEST
000024c4: SWAP1
000024c5: PUSH1 0x20
000024c7: ADD
000024c8: SWAP1
000024c9: PUSH1 0x20
000024cb: MUL
000024cc: ADD
000024cd: MLOAD
000024ce: MLOAD
000024cf: ADD
000024d0: PUSH1 0x03
000024d2: ADD
000024d3: DUP10
000024d4: ADD
000024d5: SWAP9
000024d6: POP
000024d7: JUMPDEST
000024d8: PUSH1 0x01
000024da: SWAP1
000024db: SWAP7
000024dc: ADD
000024dd: SWAP6
000024de: PUSH2 0x2452
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH1 0x00
000024e5: SWAP6
000024e6: POP
000024e7: DUP10
000024e8: PUSH1 0x80
000024ea: ADD
000024eb: SWAP5
000024ec: POP
000024ed: PUSH1 0x01
000024ef: PUSH1 0xff
000024f1: AND
000024f2: DUP10
000024f3: ADD
000024f4: SWAP9
000024f5: POP
000024f6: DUP9
000024f7: PUSH1 0x40
000024f9: MLOAD
000024fa: DUP1
000024fb: MSIZE
000024fc: LT
000024fd: PUSH2 0x2503
00002500: JUMPI
00002501: POP
00002502: MSIZE
00002503: JUMPDEST
00002504: SWAP1
00002505: DUP1
00002506: DUP3
00002507: MSTORE
00002508: DUP1
00002509: PUSH1 0x20
0000250b: MUL
0000250c: PUSH1 0x20
0000250e: ADD
0000250f: DUP3
00002510: ADD
00002511: PUSH1 0x40
00002513: MSTORE
00002514: JUMPDEST
00002515: POP
00002516: SWAP4
00002517: POP
00002518: JUMPDEST
00002519: PUSH1 0x01
0000251b: DUP7
0000251c: SWAP1
0000251d: GT
0000251e: ISZERO
0000251f: PUSH2 0x256c
00002522: JUMPI
00002523: PUSH1 0xf8
00002525: PUSH1 0x02
00002527: EXP
00002528: DUP6
00002529: MUL
0000252a: DUP7
0000252b: PUSH1 0x01
0000252d: DUP2
0000252e: LT
0000252f: PUSH2 0x2534
00002532: JUMPI
00002533: INVALID
00002534: JUMPDEST
00002535: BYTE
00002536: PUSH1 0xf8
00002538: PUSH1 0x02
0000253a: EXP
0000253b: MUL
0000253c: DUP5
0000253d: DUP8
0000253e: DUP2
0000253f: MLOAD
00002540: DUP2
00002541: LT
00002542: ISZERO
00002543: ISZERO
00002544: PUSH2 0x2549
00002547: JUMPI
00002548: INVALID
00002549: JUMPDEST
0000254a: SWAP1
0000254b: PUSH1 0x20
0000254d: ADD
0000254e: ADD
0000254f: SWAP1
00002550: PUSH1 0x01
00002552: PUSH1 0xf8
00002554: PUSH1 0x02
00002556: EXP
00002557: SUB
00002558: NOT
00002559: AND
0000255a: SWAP1
0000255b: DUP2
0000255c: PUSH1 0x00
0000255e: BYTE
0000255f: SWAP1
00002560: MSTORE8
00002561: POP
00002562: PUSH1 0x01
00002564: SWAP1
00002565: SWAP6
00002566: ADD
00002567: SWAP5
00002568: PUSH2 0x2518
0000256b: JUMP
0000256c: JUMPDEST
0000256d: PUSH1 0x00
0000256f: SWAP7
00002570: POP
00002571: JUMPDEST
00002572: DUP10
00002573: DUP8
00002574: LT
00002575: ISZERO
00002576: PUSH2 0x2768
00002579: JUMPI
0000257a: DUP4
0000257b: MLOAD
0000257c: PUSH32 0x5f00000000000000000000000000000000000000000000000000000000000000
0000259d: SWAP1
0000259e: DUP6
0000259f: SWAP1
000025a0: DUP9
000025a1: SWAP1
000025a2: DUP2
000025a3: LT
000025a4: PUSH2 0x25a9
000025a7: JUMPI
000025a8: INVALID
000025a9: JUMPDEST
000025aa: SWAP1
000025ab: PUSH1 0x20
000025ad: ADD
000025ae: ADD
000025af: SWAP1
000025b0: PUSH1 0x01
000025b2: PUSH1 0xf8
000025b4: PUSH1 0x02
000025b6: EXP
000025b7: SUB
000025b8: NOT
000025b9: AND
000025ba: SWAP1
000025bb: DUP2
000025bc: PUSH1 0x00
000025be: BYTE
000025bf: SWAP1
000025c0: MSTORE8
000025c1: POP
000025c2: PUSH1 0x01
000025c4: SWAP1
000025c5: SWAP6
000025c6: ADD
000025c7: SWAP5
000025c8: PUSH1 0x00
000025ca: SWAP3
000025cb: POP
000025cc: JUMPDEST
000025cd: DUP8
000025ce: DUP8
000025cf: DUP2
000025d0: MLOAD
000025d1: DUP2
000025d2: LT
000025d3: ISZERO
000025d4: ISZERO
000025d5: PUSH2 0x25da
000025d8: JUMPI
000025d9: INVALID
000025da: JUMPDEST
000025db: SWAP1
000025dc: PUSH1 0x20
000025de: ADD
000025df: SWAP1
000025e0: PUSH1 0x20
000025e2: MUL
000025e3: ADD
000025e4: MLOAD
000025e5: MLOAD
000025e6: DUP4
000025e7: LT
000025e8: ISZERO
000025e9: PUSH2 0x270e
000025ec: JUMPI
000025ed: PUSH1 0x17
000025ef: DUP4
000025f0: JUMPDEST
000025f1: MOD
000025f2: ISZERO
000025f3: ISZERO
000025f4: PUSH2 0x269d
000025f7: JUMPI
000025f8: PUSH1 0x18
000025fa: DUP4
000025fb: DUP10
000025fc: DUP10
000025fd: DUP2
000025fe: MLOAD
000025ff: DUP2
00002600: LT
00002601: ISZERO
00002602: ISZERO
00002603: PUSH2 0x2608
00002606: JUMPI
00002607: INVALID
00002608: JUMPDEST
00002609: SWAP1
0000260a: PUSH1 0x20
0000260c: ADD
0000260d: SWAP1
0000260e: PUSH1 0x20
00002610: MUL
00002611: ADD
00002612: MLOAD
00002613: MLOAD
00002614: SUB
00002615: LT
00002616: ISZERO
00002617: PUSH2 0x263a
0000261a: JUMPI
0000261b: DUP3
0000261c: DUP9
0000261d: DUP9
0000261e: DUP2
0000261f: MLOAD
00002620: DUP2
00002621: LT
00002622: ISZERO
00002623: ISZERO
00002624: PUSH2 0x2629
00002627: JUMPI
00002628: INVALID
00002629: JUMPDEST
0000262a: SWAP1
0000262b: PUSH1 0x20
0000262d: ADD
0000262e: SWAP1
0000262f: PUSH1 0x20
00002631: MUL
00002632: ADD
00002633: MLOAD
00002634: MLOAD
00002635: SUB
00002636: PUSH2 0x263d
00002639: JUMP
0000263a: JUMPDEST
0000263b: PUSH1 0x17
0000263d: JUMPDEST
0000263e: PUSH1 0x40
00002640: ADD
00002641: SWAP2
00002642: POP
00002643: DUP6
00002644: SWAP1
00002645: POP
00002646: JUMPDEST
00002647: DUP1
00002648: DUP7
00002649: SUB
0000264a: PUSH1 0x01
0000264c: GT
0000264d: ISZERO
0000264e: PUSH2 0x269d
00002651: JUMPI
00002652: PUSH1 0xf8
00002654: PUSH1 0x02
00002656: EXP
00002657: DUP3
00002658: MUL
00002659: DUP2
0000265a: DUP8
0000265b: SUB
0000265c: PUSH1 0x01
0000265e: DUP2
0000265f: LT
00002660: PUSH2 0x2665
00002663: JUMPI
00002664: INVALID
00002665: JUMPDEST
00002666: BYTE
00002667: PUSH1 0xf8
00002669: PUSH1 0x02
0000266b: EXP
0000266c: MUL
0000266d: DUP5
0000266e: DUP8
0000266f: DUP2
00002670: MLOAD
00002671: DUP2
00002672: LT
00002673: ISZERO
00002674: ISZERO
00002675: PUSH2 0x267a
00002678: JUMPI
00002679: INVALID
0000267a: JUMPDEST
0000267b: SWAP1
0000267c: PUSH1 0x20
0000267e: ADD
0000267f: ADD
00002680: SWAP1
00002681: PUSH1 0x01
00002683: PUSH1 0xf8
00002685: PUSH1 0x02
00002687: EXP
00002688: SUB
00002689: NOT
0000268a: AND
0000268b: SWAP1
0000268c: DUP2
0000268d: PUSH1 0x00
0000268f: BYTE
00002690: SWAP1
00002691: MSTORE8
00002692: POP
00002693: PUSH1 0x01
00002695: SWAP1
00002696: SWAP6
00002697: ADD
00002698: SWAP5
00002699: PUSH2 0x2646
0000269c: JUMP
0000269d: JUMPDEST
0000269e: JUMPDEST
0000269f: DUP8
000026a0: DUP8
000026a1: DUP2
000026a2: MLOAD
000026a3: DUP2
000026a4: LT
000026a5: ISZERO
000026a6: ISZERO
000026a7: PUSH2 0x26ac
000026aa: JUMPI
000026ab: INVALID
000026ac: JUMPDEST
000026ad: SWAP1
000026ae: PUSH1 0x20
000026b0: ADD
000026b1: SWAP1
000026b2: PUSH1 0x20
000026b4: MUL
000026b5: ADD
000026b6: MLOAD
000026b7: DUP4
000026b8: DUP2
000026b9: MLOAD
000026ba: DUP2
000026bb: LT
000026bc: ISZERO
000026bd: ISZERO
000026be: PUSH2 0x26c3
000026c1: JUMPI
000026c2: INVALID
000026c3: JUMPDEST
000026c4: SWAP1
000026c5: PUSH1 0x20
000026c7: ADD
000026c8: ADD
000026c9: MLOAD
000026ca: PUSH1 0xf8
000026cc: PUSH1 0x02
000026ce: EXP
000026cf: SWAP1
000026d0: DIV
000026d1: PUSH1 0xf8
000026d3: PUSH1 0x02
000026d5: EXP
000026d6: MUL
000026d7: DUP5
000026d8: DUP8
000026d9: DUP2
000026da: MLOAD
000026db: DUP2
000026dc: LT
000026dd: ISZERO
000026de: ISZERO
000026df: PUSH2 0x26e4
000026e2: JUMPI
000026e3: INVALID
000026e4: JUMPDEST
000026e5: SWAP1
000026e6: PUSH1 0x20
000026e8: ADD
000026e9: ADD
000026ea: SWAP1
000026eb: PUSH1 0x01
000026ed: PUSH1 0xf8
000026ef: PUSH1 0x02
000026f1: EXP
000026f2: SUB
000026f3: NOT
000026f4: AND
000026f5: SWAP1
000026f6: DUP2
000026f7: PUSH1 0x00
000026f9: BYTE
000026fa: SWAP1
000026fb: MSTORE8
000026fc: POP
000026fd: PUSH1 0x01
000026ff: SWAP1
00002700: SWAP6
00002701: ADD
00002702: SWAP5
00002703: JUMPDEST
00002704: PUSH1 0x01
00002706: SWAP1
00002707: SWAP3
00002708: ADD
00002709: SWAP2
0000270a: PUSH2 0x25cc
0000270d: JUMP
0000270e: JUMPDEST
0000270f: DUP4
00002710: MLOAD
00002711: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00002732: SWAP1
00002733: DUP6
00002734: SWAP1
00002735: DUP9
00002736: SWAP1
00002737: DUP2
00002738: LT
00002739: PUSH2 0x273e
0000273c: JUMPI
0000273d: INVALID
0000273e: JUMPDEST
0000273f: SWAP1
00002740: PUSH1 0x20
00002742: ADD
00002743: ADD
00002744: SWAP1
00002745: PUSH1 0x01
00002747: PUSH1 0xf8
00002749: PUSH1 0x02
0000274b: EXP
0000274c: SUB
0000274d: NOT
0000274e: AND
0000274f: SWAP1
00002750: DUP2
00002751: PUSH1 0x00
00002753: BYTE
00002754: SWAP1
00002755: MSTORE8
00002756: POP
00002757: PUSH1 0x01
00002759: SWAP1
0000275a: SWAP6
0000275b: ADD
0000275c: SWAP5
0000275d: JUMPDEST
0000275e: PUSH1 0x01
00002760: SWAP1
00002761: SWAP7
00002762: ADD
00002763: SWAP6
00002764: PUSH2 0x2571
00002767: JUMP
00002768: JUMPDEST
00002769: DUP4
0000276a: SWAP11
0000276b: POP
0000276c: JUMPDEST
0000276d: POP
0000276e: POP
0000276f: POP
00002770: POP
00002771: POP
00002772: POP
00002773: POP
00002774: POP
00002775: POP
00002776: POP
00002777: SWAP2
00002778: SWAP1
00002779: POP
0000277a: JUMP
0000277b: JUMPDEST
0000277c: PUSH2 0x2783
0000277f: PUSH2 0x2ea1
00002782: JUMP
00002783: JUMPDEST
00002784: PUSH1 0x00
00002786: PUSH1 0x00
00002788: PUSH1 0x00
0000278a: DUP5
0000278b: DUP8
0000278c: ADD
0000278d: SWAP3
0000278e: POP
0000278f: DUP3
00002790: DUP7
00002791: MLOAD
00002792: LT
00002793: ISZERO
00002794: PUSH2 0x279d
00002797: JUMPI
00002798: PUSH1 0x00
0000279a: PUSH1 0x00
0000279c: REVERT
0000279d: JUMPDEST
0000279e: POP
0000279f: POP
000027a0: PUSH1 0x20
000027a2: DUP1
000027a3: DUP8
000027a4: ADD
000027a5: SWAP1
000027a6: DUP5
000027a7: ADD
000027a8: JUMPDEST
000027a9: DUP7
000027aa: DUP9
000027ab: PUSH1 0x20
000027ad: ADD
000027ae: ADD
000027af: DUP3
000027b0: LT
000027b1: ISZERO
000027b2: PUSH2 0x27c9
000027b5: JUMPI
000027b6: DUP9
000027b7: DUP3
000027b8: ADD
000027b9: MLOAD
000027ba: DUP7
000027bb: DUP3
000027bc: ADD
000027bd: MSTORE
000027be: PUSH1 0x20
000027c0: SWAP2
000027c1: DUP3
000027c2: ADD
000027c3: SWAP2
000027c4: ADD
000027c5: PUSH2 0x27a8
000027c8: JUMP
000027c9: JUMPDEST
000027ca: DUP6
000027cb: SWAP4
000027cc: POP
000027cd: JUMPDEST
000027ce: POP
000027cf: POP
000027d0: POP
000027d1: SWAP6
000027d2: SWAP5
000027d3: POP
000027d4: POP
000027d5: POP
000027d6: POP
000027d7: POP
000027d8: JUMP
000027d9: JUMPDEST
000027da: PUSH1 0x00
000027dc: PUSH1 0x01
000027de: DUP2
000027df: JUMPDEST
000027e0: DUP4
000027e1: MLOAD
000027e2: DUP2
000027e3: PUSH1 0xff
000027e5: AND
000027e6: LT
000027e7: ISZERO
000027e8: PUSH2 0x2850
000027eb: JUMPI
000027ec: DUP4
000027ed: DUP2
000027ee: PUSH1 0xff
000027f0: AND
000027f1: DUP2
000027f2: MLOAD
000027f3: DUP2
000027f4: LT
000027f5: ISZERO
000027f6: ISZERO
000027f7: PUSH2 0x27fc
000027fa: JUMPI
000027fb: INVALID
000027fc: JUMPDEST
000027fd: SWAP1
000027fe: PUSH1 0x20
00002800: ADD
00002801: ADD
00002802: MLOAD
00002803: PUSH1 0xf8
00002805: PUSH1 0x02
00002807: EXP
00002808: SWAP1
00002809: DIV
0000280a: PUSH1 0xf8
0000280c: PUSH1 0x02
0000280e: EXP
0000280f: MUL
00002810: PUSH1 0x01
00002812: PUSH1 0xf8
00002814: PUSH1 0x02
00002816: EXP
00002817: SUB
00002818: NOT
00002819: AND
0000281a: DUP6
0000281b: DUP3
0000281c: PUSH1 0xff
0000281e: AND
0000281f: PUSH1 0x20
00002821: DUP2
00002822: LT
00002823: ISZERO
00002824: ISZERO
00002825: PUSH2 0x282a
00002828: JUMPI
00002829: INVALID
0000282a: JUMPDEST
0000282b: BYTE
0000282c: PUSH1 0xf8
0000282e: PUSH1 0x02
00002830: EXP
00002831: MUL
00002832: PUSH1 0x01
00002834: PUSH1 0xf8
00002836: PUSH1 0x02
00002838: EXP
00002839: SUB
0000283a: NOT
0000283b: AND
0000283c: EQ
0000283d: ISZERO
0000283e: ISZERO
0000283f: PUSH2 0x2847
00002842: JUMPI
00002843: PUSH1 0x00
00002845: SWAP2
00002846: POP
00002847: JUMPDEST
00002848: JUMPDEST
00002849: PUSH1 0x01
0000284b: ADD
0000284c: PUSH2 0x27df
0000284f: JUMP
00002850: JUMPDEST
00002851: DUP2
00002852: SWAP3
00002853: POP
00002854: JUMPDEST
00002855: POP
00002856: POP
00002857: SWAP3
00002858: SWAP2
00002859: POP
0000285a: POP
0000285b: JUMP
0000285c: JUMPDEST
0000285d: PUSH1 0x00
0000285f: PUSH1 0x00
00002861: PUSH1 0x00
00002863: PUSH1 0x00
00002865: PUSH1 0x00
00002867: PUSH2 0x286e
0000286a: PUSH2 0x2ea1
0000286d: JUMP
0000286e: JUMPDEST
0000286f: PUSH1 0x00
00002871: PUSH2 0x2878
00002874: PUSH2 0x2ea1
00002877: JUMP
00002878: JUMPDEST
00002879: PUSH1 0x20
0000287b: PUSH1 0x40
0000287d: MLOAD
0000287e: DUP1
0000287f: MSIZE
00002880: LT
00002881: PUSH2 0x2887
00002884: JUMPI
00002885: POP
00002886: MSIZE
00002887: JUMPDEST
00002888: SWAP1
00002889: DUP1
0000288a: DUP3
0000288b: MSTORE
0000288c: DUP1
0000288d: PUSH1 0x20
0000288f: MUL
00002890: PUSH1 0x20
00002892: ADD
00002893: DUP3
00002894: ADD
00002895: PUSH1 0x40
00002897: MSTORE
00002898: JUMPDEST
00002899: POP
0000289a: SWAP3
0000289b: POP
0000289c: PUSH1 0x20
0000289e: DUP11
0000289f: PUSH1 0x03
000028a1: DUP2
000028a2: MLOAD
000028a3: DUP2
000028a4: LT
000028a5: ISZERO
000028a6: ISZERO
000028a7: PUSH2 0x28ac
000028aa: JUMPI
000028ab: INVALID
000028ac: JUMPDEST
000028ad: SWAP1
000028ae: PUSH1 0x20
000028b0: ADD
000028b1: ADD
000028b2: MLOAD
000028b3: PUSH1 0xf8
000028b5: PUSH1 0x02
000028b7: EXP
000028b8: SWAP1
000028b9: DIV
000028ba: PUSH1 0xf8
000028bc: PUSH1 0x02
000028be: EXP
000028bf: MUL
000028c0: PUSH1 0xf8
000028c2: PUSH1 0x02
000028c4: EXP
000028c5: SWAP1
000028c6: DIV
000028c7: SUB
000028c8: PUSH1 0x04
000028ca: ADD
000028cb: SWAP2
000028cc: POP
000028cd: PUSH2 0x28db
000028d0: DUP11
000028d1: DUP4
000028d2: PUSH1 0x20
000028d4: DUP7
000028d5: PUSH1 0x00
000028d7: PUSH2 0x277b
000028da: JUMP
000028db: JUMPDEST
000028dc: SWAP3
000028dd: POP
000028de: PUSH1 0x20
000028e0: PUSH1 0x40
000028e2: MLOAD
000028e3: DUP1
000028e4: MSIZE
000028e5: LT
000028e6: PUSH2 0x28ec
000028e9: JUMPI
000028ea: POP
000028eb: MSIZE
000028ec: JUMPDEST
000028ed: SWAP1
000028ee: DUP1
000028ef: DUP3
000028f0: MSTORE
000028f1: DUP1
000028f2: PUSH1 0x20
000028f4: MUL
000028f5: PUSH1 0x20
000028f7: ADD
000028f8: DUP3
000028f9: ADD
000028fa: PUSH1 0x40
000028fc: MSTORE
000028fd: JUMPDEST
000028fe: POP
000028ff: SWAP1
00002900: POP
00002901: PUSH1 0x22
00002903: DUP3
00002904: ADD
00002905: SWAP2
00002906: POP
00002907: PUSH2 0x2944
0000290a: DUP11
0000290b: PUSH1 0x20
0000290d: DUP13
0000290e: PUSH1 0x01
00002910: DUP7
00002911: SUB
00002912: DUP2
00002913: MLOAD
00002914: DUP2
00002915: LT
00002916: ISZERO
00002917: ISZERO
00002918: PUSH2 0x291d
0000291b: JUMPI
0000291c: INVALID
0000291d: JUMPDEST
0000291e: SWAP1
0000291f: PUSH1 0x20
00002921: ADD
00002922: ADD
00002923: MLOAD
00002924: PUSH1 0xf8
00002926: PUSH1 0x02
00002928: EXP
00002929: SWAP1
0000292a: DIV
0000292b: PUSH1 0xf8
0000292d: PUSH1 0x02
0000292f: EXP
00002930: MUL
00002931: PUSH1 0xf8
00002933: PUSH1 0x02
00002935: EXP
00002936: SWAP1
00002937: DIV
00002938: SUB
00002939: DUP5
0000293a: ADD
0000293b: PUSH1 0x20
0000293d: DUP5
0000293e: PUSH1 0x00
00002940: PUSH2 0x277b
00002943: JUMP
00002944: JUMPDEST
00002945: SWAP1
00002946: POP
00002947: PUSH1 0x20
00002949: DUP4
0000294a: ADD
0000294b: MLOAD
0000294c: SWAP5
0000294d: POP
0000294e: PUSH1 0x20
00002950: DUP2
00002951: ADD
00002952: MLOAD
00002953: SWAP4
00002954: POP
00002955: PUSH2 0x2961
00002958: DUP12
00002959: PUSH1 0x1b
0000295b: DUP8
0000295c: DUP8
0000295d: PUSH2 0x2e5a
00002960: JUMP
00002961: JUMPDEST
00002962: DUP1
00002963: SWAP8
00002964: POP
00002965: DUP2
00002966: SWAP9
00002967: POP
00002968: POP
00002969: POP
0000296a: DUP6
0000296b: PUSH1 0x01
0000296d: PUSH1 0xa0
0000296f: PUSH1 0x02
00002971: EXP
00002972: SUB
00002973: AND
00002974: DUP10
00002975: PUSH1 0x40
00002977: MLOAD
00002978: DUP1
00002979: DUP3
0000297a: DUP1
0000297b: MLOAD
0000297c: SWAP1
0000297d: PUSH1 0x20
0000297f: ADD
00002980: SWAP1
00002981: DUP1
00002982: DUP4
00002983: DUP4
00002984: JUMPDEST
00002985: PUSH1 0x20
00002987: DUP4
00002988: LT
00002989: PUSH2 0x29a3
0000298c: JUMPI
0000298d: DUP1
0000298e: MLOAD
0000298f: DUP3
00002990: MSTORE
00002991: PUSH1 0x1f
00002993: NOT
00002994: SWAP1
00002995: SWAP3
00002996: ADD
00002997: SWAP2
00002998: PUSH1 0x20
0000299a: SWAP2
0000299b: DUP3
0000299c: ADD
0000299d: SWAP2
0000299e: ADD
0000299f: PUSH2 0x2984
000029a2: JUMP
000029a3: JUMPDEST
000029a4: PUSH1 0x01
000029a6: DUP4
000029a7: PUSH1 0x20
000029a9: SUB
000029aa: PUSH2 0x0100
000029ad: EXP
000029ae: SUB
000029af: DUP1
000029b0: NOT
000029b1: DUP3
000029b2: MLOAD
000029b3: AND
000029b4: DUP2
000029b5: DUP5
000029b6: MLOAD
000029b7: AND
000029b8: DUP1
000029b9: DUP3
000029ba: OR
000029bb: DUP6
000029bc: MSTORE
000029bd: POP
000029be: POP
000029bf: POP
000029c0: POP
000029c1: POP
000029c2: POP
000029c3: SWAP1
000029c4: POP
000029c5: ADD
000029c6: SWAP2
000029c7: POP
000029c8: POP
000029c9: PUSH1 0x40
000029cb: MLOAD
000029cc: DUP1
000029cd: SWAP2
000029ce: SUB
000029cf: SWAP1
000029d0: KECCAK256
000029d1: PUSH1 0x01
000029d3: SWAP1
000029d4: DIV
000029d5: PUSH1 0x01
000029d7: PUSH1 0xa0
000029d9: PUSH1 0x02
000029db: EXP
000029dc: SUB
000029dd: AND
000029de: EQ
000029df: ISZERO
000029e0: PUSH2 0x29ec
000029e3: JUMPI
000029e4: PUSH1 0x01
000029e6: SWAP8
000029e7: POP
000029e8: PUSH2 0x2a79
000029eb: JUMP
000029ec: JUMPDEST
000029ed: PUSH2 0x29f9
000029f0: DUP12
000029f1: PUSH1 0x1c
000029f3: DUP8
000029f4: DUP8
000029f5: PUSH2 0x2e5a
000029f8: JUMP
000029f9: JUMPDEST
000029fa: DUP1
000029fb: SWAP8
000029fc: POP
000029fd: DUP2
000029fe: SWAP9
000029ff: POP
00002a00: POP
00002a01: POP
00002a02: DUP6
00002a03: PUSH1 0x01
00002a05: PUSH1 0xa0
00002a07: PUSH1 0x02
00002a09: EXP
00002a0a: SUB
00002a0b: AND
00002a0c: DUP10
00002a0d: PUSH1 0x40
00002a0f: MLOAD
00002a10: DUP1
00002a11: DUP3
00002a12: DUP1
00002a13: MLOAD
00002a14: SWAP1
00002a15: PUSH1 0x20
00002a17: ADD
00002a18: SWAP1
00002a19: DUP1
00002a1a: DUP4
00002a1b: DUP4
00002a1c: JUMPDEST
00002a1d: PUSH1 0x20
00002a1f: DUP4
00002a20: LT
00002a21: PUSH2 0x2a3b
00002a24: JUMPI
00002a25: DUP1
00002a26: MLOAD
00002a27: DUP3
00002a28: MSTORE
00002a29: PUSH1 0x1f
00002a2b: NOT
00002a2c: SWAP1
00002a2d: SWAP3
00002a2e: ADD
00002a2f: SWAP2
00002a30: PUSH1 0x20
00002a32: SWAP2
00002a33: DUP3
00002a34: ADD
00002a35: SWAP2
00002a36: ADD
00002a37: PUSH2 0x2a1c
00002a3a: JUMP
00002a3b: JUMPDEST
00002a3c: PUSH1 0x01
00002a3e: DUP4
00002a3f: PUSH1 0x20
00002a41: SUB
00002a42: PUSH2 0x0100
00002a45: EXP
00002a46: SUB
00002a47: DUP1
00002a48: NOT
00002a49: DUP3
00002a4a: MLOAD
00002a4b: AND
00002a4c: DUP2
00002a4d: DUP5
00002a4e: MLOAD
00002a4f: AND
00002a50: DUP1
00002a51: DUP3
00002a52: OR
00002a53: DUP6
00002a54: MSTORE
00002a55: POP
00002a56: POP
00002a57: POP
00002a58: POP
00002a59: POP
00002a5a: POP
00002a5b: SWAP1
00002a5c: POP
00002a5d: ADD
00002a5e: SWAP2
00002a5f: POP
00002a60: POP
00002a61: PUSH1 0x40
00002a63: MLOAD
00002a64: DUP1
00002a65: SWAP2
00002a66: SUB
00002a67: SWAP1
00002a68: KECCAK256
00002a69: PUSH1 0x01
00002a6b: SWAP1
00002a6c: DIV
00002a6d: PUSH1 0x01
00002a6f: PUSH1 0xa0
00002a71: PUSH1 0x02
00002a73: EXP
00002a74: SUB
00002a75: AND
00002a76: EQ
00002a77: SWAP8
00002a78: POP
00002a79: JUMPDEST
00002a7a: JUMPDEST
00002a7b: POP
00002a7c: POP
00002a7d: POP
00002a7e: POP
00002a7f: POP
00002a80: POP
00002a81: POP
00002a82: SWAP4
00002a83: SWAP3
00002a84: POP
00002a85: POP
00002a86: POP
00002a87: JUMP
00002a88: JUMPDEST
00002a89: PUSH1 0x00
00002a8b: PUSH1 0x00
00002a8d: PUSH2 0x2a94
00002a90: PUSH2 0x2ea1
00002a93: JUMP
00002a94: JUMPDEST
00002a95: PUSH2 0x2a9c
00002a98: PUSH2 0x2ea1
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: PUSH2 0x2aa4
00002aa0: PUSH2 0x2ea1
00002aa3: JUMP
00002aa4: JUMPDEST
00002aa5: PUSH2 0x2aac
00002aa8: PUSH2 0x2ea1
00002aab: JUMP
00002aac: JUMPDEST
00002aad: PUSH2 0x2ab4
00002ab0: PUSH2 0x2ea1
00002ab3: JUMP
00002ab4: JUMPDEST
00002ab5: PUSH2 0x2abc
00002ab8: PUSH2 0x2ea1
00002abb: JUMP
00002abc: JUMPDEST
00002abd: PUSH2 0x2ac4
00002ac0: PUSH2 0x2ea1
00002ac3: JUMP
00002ac4: JUMPDEST
00002ac5: DUP11
00002ac6: DUP11
00002ac7: PUSH1 0x01
00002ac9: ADD
00002aca: DUP2
00002acb: MLOAD
00002acc: DUP2
00002acd: LT
00002ace: ISZERO
00002acf: ISZERO
00002ad0: PUSH2 0x2ad5
00002ad3: JUMPI
00002ad4: INVALID
00002ad5: JUMPDEST
00002ad6: SWAP1
00002ad7: PUSH1 0x20
00002ad9: ADD
00002ada: ADD
00002adb: MLOAD
00002adc: PUSH1 0xf8
00002ade: PUSH1 0x02
00002ae0: EXP
00002ae1: SWAP1
00002ae2: DIV
00002ae3: PUSH1 0xf8
00002ae5: PUSH1 0x02
00002ae7: EXP
00002ae8: MUL
00002ae9: PUSH1 0xf8
00002aeb: PUSH1 0x02
00002aed: EXP
00002aee: SWAP1
00002aef: DIV
00002af0: PUSH1 0x02
00002af2: ADD
00002af3: PUSH1 0x40
00002af5: MLOAD
00002af6: DUP1
00002af7: MSIZE
00002af8: LT
00002af9: PUSH2 0x2aff
00002afc: JUMPI
00002afd: POP
00002afe: MSIZE
00002aff: JUMPDEST
00002b00: SWAP1
00002b01: DUP1
00002b02: DUP3
00002b03: MSTORE
00002b04: DUP1
00002b05: PUSH1 0x20
00002b07: MUL
00002b08: PUSH1 0x20
00002b0a: ADD
00002b0b: DUP3
00002b0c: ADD
00002b0d: PUSH1 0x40
00002b0f: MSTORE
00002b10: JUMPDEST
00002b11: POP
00002b12: SWAP7
00002b13: POP
00002b14: PUSH2 0x2b22
00002b17: DUP12
00002b18: DUP12
00002b19: DUP10
00002b1a: MLOAD
00002b1b: DUP11
00002b1c: PUSH1 0x00
00002b1e: PUSH2 0x277b
00002b21: JUMP
00002b22: JUMPDEST
00002b23: POP
00002b24: PUSH1 0x40
00002b26: PUSH1 0x40
00002b28: MLOAD
00002b29: DUP1
00002b2a: MSIZE
00002b2b: LT
00002b2c: PUSH2 0x2b32
00002b2f: JUMPI
00002b30: POP
00002b31: MSIZE
00002b32: JUMPDEST
00002b33: SWAP1
00002b34: DUP1
00002b35: DUP3
00002b36: MSTORE
00002b37: DUP1
00002b38: PUSH1 0x20
00002b3a: MUL
00002b3b: PUSH1 0x20
00002b3d: ADD
00002b3e: DUP3
00002b3f: ADD
00002b40: PUSH1 0x40
00002b42: MSTORE
00002b43: JUMPDEST
00002b44: POP
00002b45: SWAP6
00002b46: POP
00002b47: PUSH2 0x2b56
00002b4a: DUP12
00002b4b: PUSH1 0x04
00002b4d: PUSH1 0x40
00002b4f: DUP10
00002b50: PUSH1 0x00
00002b52: PUSH2 0x277b
00002b55: JUMP
00002b56: JUMPDEST
00002b57: POP
00002b58: PUSH1 0x62
00002b5a: PUSH1 0x40
00002b5c: MLOAD
00002b5d: DUP1
00002b5e: MSIZE
00002b5f: LT
00002b60: PUSH2 0x2b66
00002b63: JUMPI
00002b64: POP
00002b65: MSIZE
00002b66: JUMPDEST
00002b67: SWAP1
00002b68: DUP1
00002b69: DUP3
00002b6a: MSTORE
00002b6b: DUP1
00002b6c: PUSH1 0x20
00002b6e: MUL
00002b6f: PUSH1 0x20
00002b71: ADD
00002b72: DUP3
00002b73: ADD
00002b74: PUSH1 0x40
00002b76: MSTORE
00002b77: JUMPDEST
00002b78: POP
00002b79: SWAP5
00002b7a: POP
00002b7b: PUSH1 0x01
00002b7d: PUSH1 0xf8
00002b7f: PUSH1 0x02
00002b81: EXP
00002b82: MUL
00002b83: DUP6
00002b84: PUSH1 0x00
00002b86: DUP2
00002b87: MLOAD
00002b88: DUP2
00002b89: LT
00002b8a: ISZERO
00002b8b: ISZERO
00002b8c: PUSH2 0x2b91
00002b8f: JUMPI
00002b90: INVALID
00002b91: JUMPDEST
00002b92: SWAP1
00002b93: PUSH1 0x20
00002b95: ADD
00002b96: ADD
00002b97: SWAP1
00002b98: PUSH1 0x01
00002b9a: PUSH1 0xf8
00002b9c: PUSH1 0x02
00002b9e: EXP
00002b9f: SUB
00002ba0: NOT
00002ba1: AND
00002ba2: SWAP1
00002ba3: DUP2
00002ba4: PUSH1 0x00
00002ba6: BYTE
00002ba7: SWAP1
00002ba8: MSTORE8
00002ba9: POP
00002baa: PUSH2 0x2bbb
00002bad: DUP12
00002bae: PUSH1 0x41
00002bb0: DUP13
00002bb1: SUB
00002bb2: PUSH1 0x41
00002bb4: DUP9
00002bb5: PUSH1 0x01
00002bb7: PUSH2 0x277b
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: POP
00002bbd: PUSH1 0x40
00002bbf: PUSH1 0x40
00002bc1: MLOAD
00002bc2: SWAP1
00002bc3: DUP2
00002bc4: ADD
00002bc5: PUSH1 0x40
00002bc7: MSTORE
00002bc8: DUP1
00002bc9: PUSH1 0x20
00002bcb: DUP2
00002bcc: MSTORE
00002bcd: PUSH1 0x20
00002bcf: ADD
00002bd0: PUSH32 0xfd94fa71bc0ba10d39d464d0d8f465efeef0a2764e3887fcc9df41ded20f505c
00002bf1: DUP2
00002bf2: MSTORE
00002bf3: POP
00002bf4: SWAP4
00002bf5: POP
00002bf6: PUSH2 0x2c05
00002bf9: DUP5
00002bfa: PUSH1 0x00
00002bfc: PUSH1 0x20
00002bfe: DUP9
00002bff: PUSH1 0x42
00002c01: PUSH2 0x277b
00002c04: JUMP
00002c05: JUMPDEST
00002c06: POP
00002c07: PUSH2 0x2c8d
00002c0a: PUSH1 0x02
00002c0c: DUP7
00002c0d: PUSH1 0x00
00002c0f: PUSH1 0x40
00002c11: MLOAD
00002c12: PUSH1 0x20
00002c14: ADD
00002c15: MSTORE
00002c16: PUSH1 0x40
00002c18: MLOAD
00002c19: DUP1
00002c1a: DUP3
00002c1b: DUP1
00002c1c: MLOAD
00002c1d: SWAP1
00002c1e: PUSH1 0x20
00002c20: ADD
00002c21: SWAP1
00002c22: DUP1
00002c23: DUP4
00002c24: DUP4
00002c25: JUMPDEST
00002c26: PUSH1 0x20
00002c28: DUP4
00002c29: LT
00002c2a: PUSH2 0x2c44
00002c2d: JUMPI
00002c2e: DUP1
00002c2f: MLOAD
00002c30: DUP3
00002c31: MSTORE
00002c32: PUSH1 0x1f
00002c34: NOT
00002c35: SWAP1
00002c36: SWAP3
00002c37: ADD
00002c38: SWAP2
00002c39: PUSH1 0x20
00002c3b: SWAP2
00002c3c: DUP3
00002c3d: ADD
00002c3e: SWAP2
00002c3f: ADD
00002c40: PUSH2 0x2c25
00002c43: JUMP
00002c44: JUMPDEST
00002c45: MLOAD
00002c46: DUP2
00002c47: MLOAD
00002c48: PUSH1 0x20
00002c4a: SWAP4
00002c4b: DUP5
00002c4c: SUB
00002c4d: PUSH2 0x0100
00002c50: EXP
00002c51: PUSH1 0x00
00002c53: NOT
00002c54: ADD
00002c55: DUP1
00002c56: NOT
00002c57: SWAP1
00002c58: SWAP3
00002c59: AND
00002c5a: SWAP2
00002c5b: AND
00002c5c: OR
00002c5d: SWAP1
00002c5e: MSTORE
00002c5f: PUSH1 0x40
00002c61: MLOAD
00002c62: SWAP2
00002c63: SWAP1
00002c64: SWAP4
00002c65: ADD
00002c66: SWAP5
00002c67: POP
00002c68: SWAP2
00002c69: SWAP3
00002c6a: POP
00002c6b: POP
00002c6c: DUP1
00002c6d: DUP4
00002c6e: SUB
00002c6f: DUP2
00002c70: PUSH1 0x00
00002c72: DUP7
00002c73: PUSH2 0x646e
00002c76: GAS
00002c77: SUB
00002c78: CALL
00002c79: ISZERO
00002c7a: ISZERO
00002c7b: PUSH2 0x2c80
00002c7e: JUMPI
00002c7f: INVALID
00002c80: JUMPDEST
00002c81: POP
00002c82: POP
00002c83: PUSH1 0x40
00002c85: MLOAD
00002c86: MLOAD
00002c87: DUP9
00002c88: DUP9
00002c89: PUSH2 0x285c
00002c8c: JUMP
00002c8d: JUMPDEST
00002c8e: SWAP8
00002c8f: POP
00002c90: DUP8
00002c91: ISZERO
00002c92: ISZERO
00002c93: PUSH2 0x2c9f
00002c96: JUMPI
00002c97: PUSH1 0x00
00002c99: SWAP9
00002c9a: POP
00002c9b: PUSH2 0x2e4c
00002c9e: JUMP
00002c9f: JUMPDEST
00002ca0: PUSH1 0x60
00002ca2: PUSH1 0x40
00002ca4: MLOAD
00002ca5: SWAP1
00002ca6: DUP2
00002ca7: ADD
00002ca8: PUSH1 0x40
00002caa: MSTORE
00002cab: DUP1
00002cac: PUSH1 0x40
00002cae: DUP2
00002caf: MSTORE
00002cb0: PUSH1 0x20
00002cb2: ADD
00002cb3: PUSH32 0x7fb956469c5c9b89840d55b43537e66a98dd4811ea0a27224272c2e5622911e8
00002cd4: DUP2
00002cd5: MSTORE
00002cd6: PUSH1 0x20
00002cd8: ADD
00002cd9: PUSH32 0x537a2f8e86a46baec82864e98dd01e9ccc2f8bc5dfc9cbe5a91a290498dd96e4
00002cfa: DUP2
00002cfb: MSTORE
00002cfc: POP
00002cfd: SWAP3
00002cfe: POP
00002cff: PUSH1 0x42
00002d01: PUSH1 0x40
00002d03: MLOAD
00002d04: DUP1
00002d05: MSIZE
00002d06: LT
00002d07: PUSH2 0x2d0d
00002d0a: JUMPI
00002d0b: POP
00002d0c: MSIZE
00002d0d: JUMPDEST
00002d0e: SWAP1
00002d0f: DUP1
00002d10: DUP3
00002d11: MSTORE
00002d12: DUP1
00002d13: PUSH1 0x20
00002d15: MUL
00002d16: PUSH1 0x20
00002d18: ADD
00002d19: DUP3
00002d1a: ADD
00002d1b: PUSH1 0x40
00002d1d: MSTORE
00002d1e: JUMPDEST
00002d1f: POP
00002d20: SWAP2
00002d21: POP
00002d22: PUSH1 0xfe
00002d24: PUSH1 0xf8
00002d26: PUSH1 0x02
00002d28: EXP
00002d29: MUL
00002d2a: DUP3
00002d2b: PUSH1 0x00
00002d2d: DUP2
00002d2e: MLOAD
00002d2f: DUP2
00002d30: LT
00002d31: ISZERO
00002d32: ISZERO
00002d33: PUSH2 0x2d38
00002d36: JUMPI
00002d37: INVALID
00002d38: JUMPDEST
00002d39: SWAP1
00002d3a: PUSH1 0x20
00002d3c: ADD
00002d3d: ADD
00002d3e: SWAP1
00002d3f: PUSH1 0x01
00002d41: PUSH1 0xf8
00002d43: PUSH1 0x02
00002d45: EXP
00002d46: SUB
00002d47: NOT
00002d48: AND
00002d49: SWAP1
00002d4a: DUP2
00002d4b: PUSH1 0x00
00002d4d: BYTE
00002d4e: SWAP1
00002d4f: MSTORE8
00002d50: POP
00002d51: PUSH2 0x2d60
00002d54: DUP12
00002d55: PUSH1 0x03
00002d57: PUSH1 0x41
00002d59: DUP6
00002d5a: PUSH1 0x01
00002d5c: PUSH2 0x277b
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: POP
00002d62: DUP11
00002d63: PUSH1 0x45
00002d65: DUP2
00002d66: MLOAD
00002d67: DUP2
00002d68: LT
00002d69: ISZERO
00002d6a: ISZERO
00002d6b: PUSH2 0x2d70
00002d6e: JUMPI
00002d6f: INVALID
00002d70: JUMPDEST
00002d71: SWAP1
00002d72: PUSH1 0x20
00002d74: ADD
00002d75: ADD
00002d76: MLOAD
00002d77: PUSH1 0xf8
00002d79: PUSH1 0x02
00002d7b: EXP
00002d7c: SWAP1
00002d7d: DIV
00002d7e: PUSH1 0xf8
00002d80: PUSH1 0x02
00002d82: EXP
00002d83: MUL
00002d84: PUSH1 0xf8
00002d86: PUSH1 0x02
00002d88: EXP
00002d89: SWAP1
00002d8a: DIV
00002d8b: PUSH1 0x02
00002d8d: ADD
00002d8e: PUSH1 0x40
00002d90: MLOAD
00002d91: DUP1
00002d92: MSIZE
00002d93: LT
00002d94: PUSH2 0x2d9a
00002d97: JUMPI
00002d98: POP
00002d99: MSIZE
00002d9a: JUMPDEST
00002d9b: SWAP1
00002d9c: DUP1
00002d9d: DUP3
00002d9e: MSTORE
00002d9f: DUP1
00002da0: PUSH1 0x20
00002da2: MUL
00002da3: PUSH1 0x20
00002da5: ADD
00002da6: DUP3
00002da7: ADD
00002da8: PUSH1 0x40
00002daa: MSTORE
00002dab: JUMPDEST
00002dac: POP
00002dad: SWAP1
00002dae: POP
00002daf: PUSH2 0x2dbe
00002db2: DUP12
00002db3: PUSH1 0x44
00002db5: DUP4
00002db6: MLOAD
00002db7: DUP5
00002db8: PUSH1 0x00
00002dba: PUSH2 0x277b
00002dbd: JUMP
00002dbe: JUMPDEST
00002dbf: POP
00002dc0: PUSH2 0x2e46
00002dc3: PUSH1 0x02
00002dc5: DUP4
00002dc6: PUSH1 0x00
00002dc8: PUSH1 0x40
00002dca: MLOAD
00002dcb: PUSH1 0x20
00002dcd: ADD
00002dce: MSTORE
00002dcf: PUSH1 0x40
00002dd1: MLOAD
00002dd2: DUP1
00002dd3: DUP3
00002dd4: DUP1
00002dd5: MLOAD
00002dd6: SWAP1
00002dd7: PUSH1 0x20
00002dd9: ADD
00002dda: SWAP1
00002ddb: DUP1
00002ddc: DUP4
00002ddd: DUP4
00002dde: JUMPDEST
00002ddf: PUSH1 0x20
00002de1: DUP4
00002de2: LT
00002de3: PUSH2 0x2dfd
00002de6: JUMPI
00002de7: DUP1
00002de8: MLOAD
00002de9: DUP3
00002dea: MSTORE
00002deb: PUSH1 0x1f
00002ded: NOT
00002dee: SWAP1
00002def: SWAP3
00002df0: ADD
00002df1: SWAP2
00002df2: PUSH1 0x20
00002df4: SWAP2
00002df5: DUP3
00002df6: ADD
00002df7: SWAP2
00002df8: ADD
00002df9: PUSH2 0x2dde
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: MLOAD
00002dff: DUP2
00002e00: MLOAD
00002e01: PUSH1 0x20
00002e03: SWAP4
00002e04: DUP5
00002e05: SUB
00002e06: PUSH2 0x0100
00002e09: EXP
00002e0a: PUSH1 0x00
00002e0c: NOT
00002e0d: ADD
00002e0e: DUP1
00002e0f: NOT
00002e10: SWAP1
00002e11: SWAP3
00002e12: AND
00002e13: SWAP2
00002e14: AND
00002e15: OR
00002e16: SWAP1
00002e17: MSTORE
00002e18: PUSH1 0x40
00002e1a: MLOAD
00002e1b: SWAP2
00002e1c: SWAP1
00002e1d: SWAP4
00002e1e: ADD
00002e1f: SWAP5
00002e20: POP
00002e21: SWAP2
00002e22: SWAP3
00002e23: POP
00002e24: POP
00002e25: DUP1
00002e26: DUP4
00002e27: SUB
00002e28: DUP2
00002e29: PUSH1 0x00
00002e2b: DUP7
00002e2c: PUSH2 0x646e
00002e2f: GAS
00002e30: SUB
00002e31: CALL
00002e32: ISZERO
00002e33: ISZERO
00002e34: PUSH2 0x2e39
00002e37: JUMPI
00002e38: INVALID
00002e39: JUMPDEST
00002e3a: POP
00002e3b: POP
00002e3c: PUSH1 0x40
00002e3e: MLOAD
00002e3f: MLOAD
00002e40: DUP3
00002e41: DUP6
00002e42: PUSH2 0x285c
00002e45: JUMP
00002e46: JUMPDEST
00002e47: SWAP8
00002e48: POP
00002e49: DUP8
00002e4a: SWAP9
00002e4b: POP
00002e4c: JUMPDEST
00002e4d: POP
00002e4e: POP
00002e4f: POP
00002e50: POP
00002e51: POP
00002e52: POP
00002e53: POP
00002e54: POP
00002e55: SWAP3
00002e56: SWAP2
00002e57: POP
00002e58: POP
00002e59: JUMP
00002e5a: JUMPDEST
00002e5b: PUSH1 0x00
00002e5d: PUSH1 0x00
00002e5f: PUSH1 0x00
00002e61: PUSH1 0x00
00002e63: PUSH1 0x40
00002e65: MLOAD
00002e66: DUP9
00002e67: DUP2
00002e68: MSTORE
00002e69: DUP8
00002e6a: PUSH1 0x20
00002e6c: DUP3
00002e6d: ADD
00002e6e: MSTORE
00002e6f: DUP7
00002e70: PUSH1 0x40
00002e72: DUP3
00002e73: ADD
00002e74: MSTORE
00002e75: DUP6
00002e76: PUSH1 0x60
00002e78: DUP3
00002e79: ADD
00002e7a: MSTORE
00002e7b: PUSH1 0x20
00002e7d: DUP2
00002e7e: PUSH1 0x80
00002e80: DUP4
00002e81: PUSH1 0x00
00002e83: PUSH1 0x01
00002e85: PUSH2 0x0bb8
00002e88: CALL
00002e89: SWAP3
00002e8a: POP
00002e8b: DUP1
00002e8c: MLOAD
00002e8d: SWAP2
00002e8e: POP
00002e8f: POP
00002e90: DUP2
00002e91: DUP2
00002e92: SWAP4
00002e93: POP
00002e94: SWAP4
00002e95: POP
00002e96: JUMPDEST
00002e97: POP
00002e98: POP
00002e99: SWAP5
00002e9a: POP
00002e9b: SWAP5
00002e9c: SWAP3
00002e9d: POP
00002e9e: POP
00002e9f: POP
00002ea0: JUMP
00002ea1: JUMPDEST
00002ea2: PUSH1 0x40
00002ea4: DUP1
00002ea5: MLOAD
00002ea6: PUSH1 0x20
00002ea8: DUP2
00002ea9: ADD
00002eaa: SWAP1
00002eab: SWAP2
00002eac: MSTORE
00002ead: PUSH1 0x00
00002eaf: DUP2
00002eb0: MSTORE
00002eb1: SWAP1
00002eb2: JUMP
00002eb3: JUMPDEST
00002eb4: PUSH1 0x60
00002eb6: PUSH1 0x40
00002eb8: MLOAD
00002eb9: SWAP1
00002eba: DUP2
00002ebb: ADD
00002ebc: PUSH1 0x40
00002ebe: MSTORE
00002ebf: DUP1
00002ec0: PUSH1 0x03
00002ec2: SWAP1
00002ec3: JUMPDEST
00002ec4: PUSH2 0x2ecb
00002ec7: PUSH2 0x2ea1
00002eca: JUMP
00002ecb: JUMPDEST
00002ecc: DUP2
00002ecd: MSTORE
00002ece: PUSH1 0x20
00002ed0: ADD
00002ed1: SWAP1
00002ed2: PUSH1 0x01
00002ed4: SWAP1
00002ed5: SUB
00002ed6: SWAP1
00002ed7: DUP2
00002ed8: PUSH2 0x2ec3
00002edb: JUMPI
00002edc: SWAP1
00002edd: POP
00002ede: POP
00002edf: SWAP1
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: PUSH1 0x40
00002ee4: DUP1
00002ee5: MLOAD
00002ee6: PUSH1 0x20
00002ee8: DUP2
00002ee9: ADD
00002eea: SWAP1
00002eeb: SWAP2
00002eec: MSTORE
00002eed: PUSH1 0x00
00002eef: DUP2
00002ef0: MSTORE
00002ef1: SWAP1
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH1 0x40
00002ef6: DUP1
00002ef7: MLOAD
00002ef8: PUSH1 0x20
00002efa: DUP2
00002efb: ADD
00002efc: SWAP1
00002efd: SWAP2
00002efe: MSTORE
00002eff: PUSH1 0x00
00002f01: DUP2
00002f02: MSTORE
00002f03: SWAP1
00002f04: JUMP
00002f05: JUMPDEST
00002f06: DUP3
00002f07: DUP1
00002f08: SLOAD
00002f09: PUSH1 0x01
00002f0b: DUP2
00002f0c: PUSH1 0x01
00002f0e: AND
00002f0f: ISZERO
00002f10: PUSH2 0x0100
00002f13: MUL
00002f14: SUB
00002f15: AND
00002f16: PUSH1 0x02
00002f18: SWAP1
00002f19: DIV
00002f1a: SWAP1
00002f1b: PUSH1 0x00
00002f1d: MSTORE
00002f1e: PUSH1 0x20
00002f20: PUSH1 0x00
00002f22: KECCAK256
00002f23: SWAP1
00002f24: PUSH1 0x1f
00002f26: ADD
00002f27: PUSH1 0x20
00002f29: SWAP1
00002f2a: DIV
00002f2b: DUP2
00002f2c: ADD
00002f2d: SWAP3
00002f2e: DUP3
00002f2f: PUSH1 0x1f
00002f31: LT
00002f32: PUSH2 0x2f46
00002f35: JUMPI
00002f36: DUP1
00002f37: MLOAD
00002f38: PUSH1 0xff
00002f3a: NOT
00002f3b: AND
00002f3c: DUP4
00002f3d: DUP1
00002f3e: ADD
00002f3f: OR
00002f40: DUP6
00002f41: SSTORE
00002f42: PUSH2 0x2f73
00002f45: JUMP
00002f46: JUMPDEST
00002f47: DUP3
00002f48: DUP1
00002f49: ADD
00002f4a: PUSH1 0x01
00002f4c: ADD
00002f4d: DUP6
00002f4e: SSTORE
00002f4f: DUP3
00002f50: ISZERO
00002f51: PUSH2 0x2f73
00002f54: JUMPI
00002f55: SWAP2
00002f56: DUP3
00002f57: ADD
00002f58: JUMPDEST
00002f59: DUP3
00002f5a: DUP2
00002f5b: GT
00002f5c: ISZERO
00002f5d: PUSH2 0x2f73
00002f60: JUMPI
00002f61: DUP3
00002f62: MLOAD
00002f63: DUP3
00002f64: SSTORE
00002f65: SWAP2
00002f66: PUSH1 0x20
00002f68: ADD
00002f69: SWAP2
00002f6a: SWAP1
00002f6b: PUSH1 0x01
00002f6d: ADD
00002f6e: SWAP1
00002f6f: PUSH2 0x2f58
00002f72: JUMP
00002f73: JUMPDEST
00002f74: JUMPDEST
00002f75: POP
00002f76: PUSH2 0x2f80
00002f79: SWAP3
00002f7a: SWAP2
00002f7b: POP
00002f7c: PUSH2 0x2f96
00002f7f: JUMP
00002f80: JUMPDEST
00002f81: POP
00002f82: SWAP1
00002f83: JUMP
00002f84: JUMPDEST
00002f85: PUSH1 0x40
00002f87: DUP1
00002f88: MLOAD
00002f89: PUSH1 0x20
00002f8b: DUP2
00002f8c: ADD
00002f8d: SWAP1
00002f8e: SWAP2
00002f8f: MSTORE
00002f90: PUSH1 0x00
00002f92: DUP2
00002f93: MSTORE
00002f94: SWAP1
00002f95: JUMP
00002f96: JUMPDEST
00002f97: PUSH2 0x1500
00002f9a: SWAP2
00002f9b: SWAP1
00002f9c: JUMPDEST
00002f9d: DUP1
00002f9e: DUP3
00002f9f: GT
00002fa0: ISZERO
00002fa1: PUSH2 0x2f80
00002fa4: JUMPI
00002fa5: PUSH1 0x00
00002fa7: DUP2
00002fa8: SSTORE
00002fa9: PUSH1 0x01
00002fab: ADD
00002fac: PUSH2 0x2f9c
00002faf: JUMP
00002fb0: JUMPDEST
00002fb1: POP
00002fb2: SWAP1
00002fb3: JUMP
00002fb4: JUMPDEST
00002fb5: SWAP1
00002fb6: JUMP
00002fb7: STOP
00002fb8: LOG1
00002fb9: PUSH6 0x627a7a723058
00002fc0: KECCAK256
00002fc1: PUSH19 0x15d7f8be776f269395e5e0da0d02ac35bdafd8
00002fd5: PUSH2 0x7fb5
00002fd8: UNKNOWN(0xED)
00002fd9: MSTORE
00002fda: UNKNOWN(0xA7)
00002fdb: EXTCODEHASH
00002fdc: PUSH10