019be3d6-846c-719a-925b-75105823bfc2
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 41051 | artifact.fetch | complete | 1 / 3 | 2 months ago |
| 41052 | proxy.resolve | complete | 1 / 3 | 2 months ago |
| 41053 | tool.cast_disasm | complete | 1 / 3 | 2 months ago |
| 41054 | analysis.bundle | complete | 1 / 3 | 2 months ago |
| 41055 | capability.graph | complete | 1 / 3 | 2 months ago |
| 41056 | detector.run | complete | 1 / 3 | 2 months ago |
| 41057 | validation.fork | complete | 1 / 3 | 2 months ago |
| 41413 | report.consolidate | complete | 1 / 6 | 2 months ago |
| 41414 | tool.slither | failed | 2 / 2 | 2 months ago |
{
"status": "not_proxy"
}
Traceback (most recent call last):
File "/var/www/tripwire/worker/worker.py", line 198, in main
payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 1056, in run
solc_path, solc_meta = _prepare_solc(chosen_version, workspace)
~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 190, in _prepare_solc
raise RuntimeError(f"solc version {default_version} is too old for supported toolchain")
RuntimeError: solc version 0.4.0 is too old for supported toolchain
{"no_findings":false,"summary":"2 issues found: a reentrancy/ accounting risk if safeSend gas is increased, and unchecked Oraclize query IDs that can lock bets.","findings":[{"severity":"medium","category":"reentrancy","title":"Configurable safeSend gas enables reentrancy before accounting updates","exploit_scenario":"If the owner raises `safeGas` above the 2,300 stipend, a malicious player contract can reenter during `safeSend` in `isWinningBet`/`isLosingBet` (e.g., via its fallback) and call `divest()` or `increaseInvestment()` before `investorsLosses`/`investorsProfit` are updated. This lets the player (especially if also an investor) exit or rebalance using stale profit/loss values, shifting losses to remaining investors or skewing payout accounting.","recommendation":"Keep `safeGas` fixed at 2,300 or cap it to a non-reentrant stipend; alternatively, move all accounting updates before external calls and/or adopt a pull-payment pattern with a reentrancy guard.","evidence":"`safeSend` performs `addr.call.gas(safeGas).value(value)()` and `safeGas` is owner-adjustable; payouts in `isWinningBet`/`isLosingBet` happen before profit/loss accounting updates.","locations":["contracts/Contract.sol:632","contracts/Contract.sol:645","contracts/Contract.sol:744","contracts/Contract.sol:748","contracts/Contract.sol:758","contracts/Contract.sol:761","contracts/Contract.sol:766","contracts/Contract.sol:775","contracts/Contract.sol:915","contracts/Contract.sol:919"]},{"severity":"low","category":"other","title":"Unchecked Oraclize query ID can lock bets when price is unexpectedly high","exploit_scenario":"`oraclize_query` returns `0` if the datasource price exceeds a threshold. `bet()` does not validate the returned ID and will store the bet under key `0` even though no callback will be delivered. This traps the bettor’s funds and can overwrite previous `bets[0]` entries if repeated.","recommendation":"Check `myid != 0` after `oraclize_query`; if `0`, refund the bet and revert or skip recording the bet.","evidence":"`oraclize_query` returns `0` on high price, while `bet()` unconditionally records `bets[myid]` and `betsKeys.push(myid)`.","locations":["contracts/Contract.sol:122","contracts/Contract.sol:124","contracts/Contract.sol:142","contracts/Contract.sol:144","contracts/Contract.sol:707","contracts/Contract.sol:716","contracts/Contract.sol:722","contracts/Contract.sol:723"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-x6c84m2s
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be47c-5e80-7cc1-a3c0-d4f6a933381b
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers
thinking
**Reading audit bundle**
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-x6c84m2s succeeded in 7ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.
================================================================================
FILE: contracts/Contract.sol
================================================================================
pragma solidity ^0.4.0;
// <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
thinking
**Identifying reentrancy risks from adjustable gas limit**
Noticed that owner-controlled gas limit in external calls can enable reentrancy if set high, as safeSend uses call with customizable gas; this allows reentrant calls before state updates in some functions, posing a potential vulnerability if owner acts maliciously.
thinking
**Detailing reentrancy and oracle query issues**
Confirmed adjustable gas limit enables reentrancy before state updates, risking profit manipulation and exit with stale data if owner sets gas high. Also found unchecked oraclize_query return can store bet under zero key, possibly locking funds with no callback or refund.
thinking
**Summarizing confirmed vulnerabilities and classifications**
Finalized main findings: medium-severity reentrancy via owner-controlled gas in external calls allowing state manipulation before updates, and low-severity unchecked oraclize_query return causing locked bets under zero key. Also noted minor mislogging of address changes and oracle proof non-validation without clear exploitability.
exec
/bin/bash -lc 'rg --files' in /tmp/codex-x6c84m2s succeeded in 13ms:
codex-output-schema.json
AUDIT_BUNDLE.txt
contracts/Contract.sol
thinking
**Considering natural language processing**
exec
/bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '330,520p'" in /tmp/codex-x6c84m2s succeeded in 6ms:
330 address playerAddress;
331 uint amountBet;
332 uint numberRolled;
333 }
334
335 struct WithdrawalProposal {
336 address toAddress;
337 uint atTime;
338 }
339
340 //Starting at 1
341 mapping(address => uint) public investorIDs;
342 mapping(uint => Investor) public investors;
343 uint public numInvestors = 0;
344
345 uint public invested = 0;
346
347 address public owner;
348 address public houseAddress;
349 bool public isStopped;
thinking
**Preparing to extract key functions**
I'm setting up commands to retrieve lines containing safeSend, isWinningBet, isLosingBet, and bet to understand their implementations.
exec
/bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '620,840p'" in /tmp/codex-x6c84m2s succeeded in 20ms:
620 if (_proofType == 0x00) throw;
621 oraclize_setProof( _proofType | proofStorage_IPFS );
622 }
623
624 function changeOraclizeConfig(bytes32 _config)
625 onlyOwner {
626
627 oraclize_setConfig(_config);
628 }
629
630 // PRIVATE HELPERS FUNCTION
631
632 function safeSend(address addr, uint value)
633 private {
634
635 if (value == 0) {
636 LOG_ZeroSend();
637 return;
638 }
639
exec
/bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '900,1040p'" in /tmp/codex-x6c84m2s succeeded in 6ms:
900 onlyOwner {
901
902 if (newHouse == address(0x0)) throw; //changed based on audit feedback
903 houseAddress = newHouse;
904 LOG_HouseAddressChanged(houseAddress, newHouse);
905 }
906
907 function changeOwnerAddress(address newOwner)
908 onlyOwner {
909
910 if (newOwner == address(0x0)) throw;
911 owner = newOwner;
912 LOG_OwnerAddressChanged(owner, newOwner);
913 }
914
915 function changeGasLimitOfSafeSend(uint newGasLimit)
916 onlyOwner
917 onlyIfValidGas(newGasLimit) {
918
919 safeGas = newGasLimit;
thinking
**Locating oraclize_query definitions**
I'm gathering line numbers around the oraclize_query function definitions in usingOraclize to verify if oraclize_query returns 0 anywhere.
exec
/bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '120,250p'" in /tmp/codex-x6c84m2s succeeded in 6ms:
120 return oraclize.query_withGasLimit.value(price)(timestamp, datasource, arg, gaslimit);
121 }
122 function oraclize_query(string datasource, string arg, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
123 uint price = oraclize.getPrice(datasource, gaslimit);
124 if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
125 return oraclize.query_withGasLimit.value(price)(0, datasource, arg, gaslimit);
126 }
127 function oraclize_query(string datasource, string arg1, string arg2) oraclizeAPI internal returns (bytes32 id){
128 uint price = oraclize.getPrice(datasource);
129 if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
130 return oraclize.query2.value(price)(0, datasource, arg1, arg2);
131 }
132 function oraclize_query(uint timestamp, string datasource, string arg1, string arg2) oraclizeAPI internal returns (bytes32 id){
133 uint price = oraclize.getPrice(datasource);
134 if (price > 1 ether + tx.gasprice*200000) return 0; // unexpectedly high price
135 return oraclize.query2.value(price)(timestamp, datasource, arg1, arg2);
136 }
137 function oraclize_query(uint timestamp, string datasource, string arg1, string arg2, uint gaslimit) oraclizeAPI internal returns (bytes32 id){
138 uint price = oraclize.getPrice(datasource, gaslimit);
139 if (price > 1 ether + tx.gasprice*gaslimit) return 0; // unexpectedly high price
thinking
**Crafting detailed findings**
I'm framing two main findings: a medium-severity reentrancy risk via configurable gas in safeSend with an exploit scenario and relevant code references, plus a low-severity unchecked oracle query return issue causing stuck bets with refund recommendations and code pointers, while skipping a non-vulnerability admin issue. Next, I'll produce the structured JSON output.
thinking
**Preparing concise JSON summary**
I'm assembling a JSON object with a brief summary highlighting two findings, each detailed with severity, category, title, exploit scenarios, recommendations, evidence, and precise source code locations formatted as file paths with line numbers.
codex
{"no_findings":false,"summary":"2 issues found: a reentrancy/ accounting risk if safeSend gas is increased, and unchecked Oraclize query IDs that can lock bets.","findings":[{"severity":"medium","category":"reentrancy","title":"Configurable safeSend gas enables reentrancy before accounting updates","exploit_scenario":"If the owner raises `safeGas` above the 2,300 stipend, a malicious player contract can reenter during `safeSend` in `isWinningBet`/`isLosingBet` (e.g., via its fallback) and call `divest()` or `increaseInvestment()` before `investorsLosses`/`investorsProfit` are updated. This lets the player (especially if also an investor) exit or rebalance using stale profit/loss values, shifting losses to remaining investors or skewing payout accounting.","recommendation":"Keep `safeGas` fixed at 2,300 or cap it to a non-reentrant stipend; alternatively, move all accounting updates before external calls and/or adopt a pull-payment pattern with a reentrancy guard.","evidence":"`safeSend` performs `addr.call.gas(safeGas).value(value)()` and `safeGas` is owner-adjustable; payouts in `isWinningBet`/`isLosingBet` happen before profit/loss accounting updates.","locations":["contracts/Contract.sol:632","contracts/Contract.sol:645","contracts/Contract.sol:744","contracts/Contract.sol:748","contracts/Contract.sol:758","contracts/Contract.sol:761","contracts/Contract.sol:766","contracts/Contract.sol:775","contracts/Contract.sol:915","contracts/Contract.sol:919"]},{"severity":"low","category":"other","title":"Unchecked Oraclize query ID can lock bets when price is unexpectedly high","exploit_scenario":"`oraclize_query` returns `0` if the datasource price exceeds a threshold. `bet()` does not validate the returned ID and will store the bet under key `0` even though no callback will be delivered. This traps the bettor’s funds and can overwrite previous `bets[0]` entries if repeated.","recommendation":"Check `myid != 0` after `oraclize_query`; if `0`, refund the bet and revert or skip recording the bet.","evidence":"`oraclize_query` returns `0` on high price, while `bet()` unconditionally records `bets[myid]` and `betsKeys.push(myid)`.","locations":["contracts/Contract.sol:122","contracts/Contract.sol:124","contracts/Contract.sol:142","contracts/Contract.sol:144","contracts/Contract.sol:707","contracts/Contract.sol:716","contracts/Contract.sol:722","contracts/Contract.sol:723"]}]}
tokens used
29,061
{
"codex": {
"ran_at": "2026-01-22T06:58:01.315774+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 1,
"import_count": 0,
"first_party_contracts_count": 1
},
"summary": "2 issues found: a reentrancy/ accounting risk if safeSend gas is increased, and unchecked Oraclize query IDs that can lock bets.",
"raw_final": {
"summary": "2 issues found: a reentrancy/ accounting risk if safeSend gas is increased, and unchecked Oraclize query IDs that can lock bets.",
"findings": [
{
"title": "Configurable safeSend gas enables reentrancy before accounting updates",
"category": "reentrancy",
"evidence": "`safeSend` performs `addr.call.gas(safeGas).value(value)()` and `safeGas` is owner-adjustable; payouts in `isWinningBet`/`isLosingBet` happen before profit/loss accounting updates.",
"severity": "medium",
"locations": [
"contracts/Contract.sol:632",
"contracts/Contract.sol:645",
"contracts/Contract.sol:744",
"contracts/Contract.sol:748",
"contracts/Contract.sol:758",
"contracts/Contract.sol:761",
"contracts/Contract.sol:766",
"contracts/Contract.sol:775",
"contracts/Contract.sol:915",
"contracts/Contract.sol:919"
],
"recommendation": "Keep `safeGas` fixed at 2,300 or cap it to a non-reentrant stipend; alternatively, move all accounting updates before external calls and/or adopt a pull-payment pattern with a reentrancy guard.",
"exploit_scenario": "If the owner raises `safeGas` above the 2,300 stipend, a malicious player contract can reenter during `safeSend` in `isWinningBet`/`isLosingBet` (e.g., via its fallback) and call `divest()` or `increaseInvestment()` before `investorsLosses`/`investorsProfit` are updated. This lets the player (especially if also an investor) exit or rebalance using stale profit/loss values, shifting losses to remaining investors or skewing payout accounting."
},
{
"title": "Unchecked Oraclize query ID can lock bets when price is unexpectedly high",
"category": "other",
"evidence": "`oraclize_query` returns `0` on high price, while `bet()` unconditionally records `bets[myid]` and `betsKeys.push(myid)`.",
"severity": "low",
"locations": [
"contracts/Contract.sol:122",
"contracts/Contract.sol:124",
"contracts/Contract.sol:142",
"contracts/Contract.sol:144",
"contracts/Contract.sol:707",
"contracts/Contract.sol:716",
"contracts/Contract.sol:722",
"contracts/Contract.sol:723"
],
"recommendation": "Check `myid != 0` after `oraclize_query`; if `0`, refund the bet and revert or skip recording the bet.",
"exploit_scenario": "`oraclize_query` returns `0` if the datasource price exceeds a threshold. `bet()` does not validate the returned ID and will store the bet under key `0` even though no callback will be delivered. This traps the bettor\u2019s funds and can overwrite previous `bets[0]` entries if repeated."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x01d7 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x058aace1 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x01e8 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x061e494f 00000025: EQ 00000026: PUSH2 0x01f7 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x0d1fce42 00000030: EQ 00000031: PUSH2 0x022f 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x11610c25 0000003b: EQ 0000003c: PUSH2 0x024e 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x116c6eab 00000046: EQ 00000047: PUSH2 0x0258 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x12253a6c 00000051: EQ 00000052: PUSH2 0x027a 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x132ae5e9 0000005c: EQ 0000005d: PUSH2 0x0289 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x1514ea54 00000067: EQ 00000068: PUSH2 0x02a8 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x187a62d5 00000072: EQ 00000073: PUSH2 0x02ca 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x1efb17ee 0000007d: EQ 0000007e: PUSH2 0x02dc 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x232523e8 00000088: EQ 00000089: PUSH2 0x02ee 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x27dc297e 00000093: EQ 00000094: PUSH2 0x02fd 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x38bbfa50 0000009e: EQ 0000009f: PUSH2 0x0353 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x3f683b6a 000000a9: EQ 000000aa: PUSH2 0x03e6 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x3feb5f2b 000000b4: EQ 000000b5: PUSH2 0x0407 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x40a49a96 000000bf: EQ 000000c0: PUSH2 0x0441 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x4671e65e 000000ca: EQ 000000cb: PUSH2 0x0460 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x4e69d560 000000d5: EQ 000000d6: PUSH2 0x0472 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x5125796a 000000e0: EQ 000000e1: PUSH2 0x04c0 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x51404cbe 000000eb: EQ 000000ec: PUSH2 0x04d2 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x518496b2 000000f6: EQ 000000f7: PUSH2 0x04e4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x550ed1f0 00000101: EQ 00000102: PUSH2 0x0514 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x6128a4f3 0000010c: EQ 0000010d: PUSH2 0x0533 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x66aee0fc 00000117: EQ 00000118: PUSH2 0x0552 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x6be80de7 00000122: EQ 00000123: PUSH2 0x0571 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x71d0ed05 0000012d: EQ 0000012e: PUSH2 0x0593 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0x724ae9d0 00000138: EQ 00000139: PUSH2 0x05b5 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0x82a5285d 00000143: EQ 00000144: PUSH2 0x05d4 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0x85eac05f 0000014e: EQ 0000014f: PUSH2 0x05f3 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0x8da5cb5b 00000159: EQ 0000015a: PUSH2 0x0605 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xa4beffa7 00000164: EQ 00000165: PUSH2 0x062e 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xc4bc5da5 0000016f: EQ 00000170: PUSH2 0x0638 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xc902c3ae 0000017a: EQ 0000017b: PUSH2 0x0647 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xcafb2202 00000185: EQ 00000186: PUSH2 0x067f 00000189: JUMPI 0000018a: DUP1 0000018b: PUSH4 0xd21d7950 00000190: EQ 00000191: PUSH2 0x069e 00000194: JUMPI 00000195: DUP1 00000196: PUSH4 0xd7cee31e 0000019b: EQ 0000019c: PUSH2 0x06b0 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0xda0bba7b 000001a6: EQ 000001a7: PUSH2 0x06d9 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0xdf06f906 000001b1: EQ 000001b2: PUSH2 0x06eb 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0xf4993bbd 000001bc: EQ 000001bd: PUSH2 0x070a 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0xf8b2cb4f 000001c7: EQ 000001c8: PUSH2 0x0719 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0xfb099c84 000001d2: EQ 000001d3: PUSH2 0x073b 000001d6: JUMPI 000001d7: JUMPDEST 000001d8: PUSH2 0x01e6 000001db: JUMPDEST 000001dc: PUSH2 0x01e3 000001df: PUSH2 0x0745 000001e2: JUMP 000001e3: JUMPDEST 000001e4: JUMPDEST 000001e5: JUMP 000001e6: JUMPDEST 000001e7: STOP 000001e8: JUMPDEST 000001e9: CALLVALUE 000001ea: PUSH2 0x0000 000001ed: JUMPI 000001ee: PUSH2 0x01e6 000001f1: PUSH2 0x0a08 000001f4: JUMP 000001f5: JUMPDEST 000001f6: STOP 000001f7: JUMPDEST 000001f8: CALLVALUE 000001f9: PUSH2 0x0000 000001fc: JUMPI 000001fd: PUSH2 0x0207 00000200: PUSH1 0x04 00000202: CALLDATALOAD 00000203: PUSH2 0x0a39 00000206: JUMP 00000207: JUMPDEST 00000208: PUSH1 0x40 0000020a: DUP1 0000020b: MLOAD 0000020c: PUSH1 0x01 0000020e: PUSH1 0xa0 00000210: PUSH1 0x02 00000212: EXP 00000213: SUB 00000214: SWAP1 00000215: SWAP5 00000216: AND 00000217: DUP5 00000218: MSTORE 00000219: PUSH1 0x20 0000021b: DUP5 0000021c: ADD 0000021d: SWAP3 0000021e: SWAP1 0000021f: SWAP3 00000220: MSTORE 00000221: DUP3 00000222: DUP3 00000223: ADD 00000224: MSTORE 00000225: MLOAD 00000226: SWAP1 00000227: DUP2 00000228: SWAP1 00000229: SUB 0000022a: PUSH1 0x60 0000022c: ADD 0000022d: SWAP1 0000022e: RETURN 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: PUSH2 0x0000 00000234: JUMPI 00000235: PUSH2 0x023c 00000238: PUSH2 0x0aa3 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: DUP1 00000240: MLOAD 00000241: SWAP2 00000242: DUP3 00000243: MSTORE 00000244: MLOAD 00000245: SWAP1 00000246: DUP2 00000247: SWAP1 00000248: SUB 00000249: PUSH1 0x20 0000024b: ADD 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: PUSH2 0x01e6 00000252: PUSH2 0x0745 00000255: JUMP 00000256: JUMPDEST 00000257: STOP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: PUSH2 0x0000 0000025d: JUMPI 0000025e: PUSH2 0x023c 00000261: PUSH1 0x04 00000263: CALLDATALOAD 00000264: PUSH2 0x0af0 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: DUP1 0000026c: MLOAD 0000026d: SWAP2 0000026e: DUP3 0000026f: MSTORE 00000270: MLOAD 00000271: SWAP1 00000272: DUP2 00000273: SWAP1 00000274: SUB 00000275: PUSH1 0x20 00000277: ADD 00000278: SWAP1 00000279: RETURN 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: PUSH2 0x0000 0000027f: JUMPI 00000280: PUSH2 0x01e6 00000283: PUSH2 0x0b32 00000286: JUMP 00000287: JUMPDEST 00000288: STOP 00000289: JUMPDEST 0000028a: CALLVALUE 0000028b: PUSH2 0x0000 0000028e: JUMPI 0000028f: PUSH2 0x023c 00000292: PUSH2 0x0b90 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH1 0x40 00000299: DUP1 0000029a: MLOAD 0000029b: SWAP2 0000029c: DUP3 0000029d: MSTORE 0000029e: MLOAD 0000029f: SWAP1 000002a0: DUP2 000002a1: SWAP1 000002a2: SUB 000002a3: PUSH1 0x20 000002a5: ADD 000002a6: SWAP1 000002a7: RETURN 000002a8: JUMPDEST 000002a9: CALLVALUE 000002aa: PUSH2 0x0000 000002ad: JUMPI 000002ae: PUSH2 0x023c 000002b1: PUSH1 0x04 000002b3: CALLDATALOAD 000002b4: PUSH2 0x0b96 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: DUP1 000002bc: MLOAD 000002bd: SWAP2 000002be: DUP3 000002bf: MSTORE 000002c0: MLOAD 000002c1: SWAP1 000002c2: DUP2 000002c3: SWAP1 000002c4: SUB 000002c5: PUSH1 0x20 000002c7: ADD 000002c8: SWAP1 000002c9: RETURN 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: PUSH2 0x0000 000002cf: JUMPI 000002d0: PUSH2 0x01e6 000002d3: PUSH1 0x04 000002d5: CALLDATALOAD 000002d6: PUSH2 0x0bd8 000002d9: JUMP 000002da: JUMPDEST 000002db: STOP 000002dc: JUMPDEST 000002dd: CALLVALUE 000002de: PUSH2 0x0000 000002e1: JUMPI 000002e2: PUSH2 0x01e6 000002e5: PUSH1 0x04 000002e7: CALLDATALOAD 000002e8: PUSH2 0x0ca5 000002eb: JUMP 000002ec: JUMPDEST 000002ed: STOP 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: PUSH2 0x0000 000002f3: JUMPI 000002f4: PUSH2 0x01e6 000002f7: PUSH2 0x0d3b 000002fa: JUMP 000002fb: JUMPDEST 000002fc: STOP 000002fd: JUMPDEST 000002fe: CALLVALUE 000002ff: PUSH2 0x0000 00000302: JUMPI 00000303: PUSH1 0x40 00000305: DUP1 00000306: MLOAD 00000307: PUSH1 0x20 00000309: PUSH1 0x04 0000030b: PUSH1 0x24 0000030d: DUP1 0000030e: CALLDATALOAD 0000030f: DUP3 00000310: DUP2 00000311: ADD 00000312: CALLDATALOAD 00000313: PUSH1 0x1f 00000315: DUP2 00000316: ADD 00000317: DUP6 00000318: SWAP1 00000319: DIV 0000031a: DUP6 0000031b: MUL 0000031c: DUP7 0000031d: ADD 0000031e: DUP6 0000031f: ADD 00000320: SWAP1 00000321: SWAP7 00000322: MSTORE 00000323: DUP6 00000324: DUP6 00000325: MSTORE 00000326: PUSH2 0x01e6 00000329: SWAP6 0000032a: DUP4 0000032b: CALLDATALOAD 0000032c: SWAP6 0000032d: SWAP4 0000032e: SWAP5 0000032f: PUSH1 0x44 00000331: SWAP5 00000332: SWAP4 00000333: SWAP3 00000334: SWAP1 00000335: SWAP3 00000336: ADD 00000337: SWAP2 00000338: DUP2 00000339: SWAP1 0000033a: DUP5 0000033b: ADD 0000033c: DUP4 0000033d: DUP3 0000033e: DUP1 0000033f: DUP3 00000340: DUP5 00000341: CALLDATACOPY 00000342: POP 00000343: SWAP5 00000344: SWAP7 00000345: POP 00000346: PUSH2 0x0db7 00000349: SWAP6 0000034a: POP 0000034b: POP 0000034c: POP 0000034d: POP 0000034e: POP 0000034f: POP 00000350: JUMP 00000351: JUMPDEST 00000352: STOP 00000353: JUMPDEST 00000354: CALLVALUE 00000355: PUSH2 0x0000 00000358: JUMPI 00000359: PUSH1 0x40 0000035b: DUP1 0000035c: MLOAD 0000035d: PUSH1 0x20 0000035f: PUSH1 0x04 00000361: PUSH1 0x24 00000363: DUP1 00000364: CALLDATALOAD 00000365: DUP3 00000366: DUP2 00000367: ADD 00000368: CALLDATALOAD 00000369: PUSH1 0x1f 0000036b: DUP2 0000036c: ADD 0000036d: DUP6 0000036e: SWAP1 0000036f: DIV 00000370: DUP6 00000371: MUL 00000372: DUP7 00000373: ADD 00000374: DUP6 00000375: ADD 00000376: SWAP1 00000377: SWAP7 00000378: MSTORE 00000379: DUP6 0000037a: DUP6 0000037b: MSTORE 0000037c: PUSH2 0x01e6 0000037f: SWAP6 00000380: DUP4 00000381: CALLDATALOAD 00000382: SWAP6 00000383: SWAP4 00000384: SWAP5 00000385: PUSH1 0x44 00000387: SWAP5 00000388: SWAP4 00000389: SWAP3 0000038a: SWAP1 0000038b: SWAP3 0000038c: ADD 0000038d: SWAP2 0000038e: DUP2 0000038f: SWAP1 00000390: DUP5 00000391: ADD 00000392: DUP4 00000393: DUP3 00000394: DUP1 00000395: DUP3 00000396: DUP5 00000397: CALLDATACOPY 00000398: POP 00000399: POP 0000039a: PUSH1 0x40 0000039c: DUP1 0000039d: MLOAD 0000039e: PUSH1 0x20 000003a0: PUSH1 0x1f 000003a2: DUP10 000003a3: CALLDATALOAD 000003a4: DUP12 000003a5: ADD 000003a6: DUP1 000003a7: CALLDATALOAD 000003a8: SWAP2 000003a9: DUP3 000003aa: ADD 000003ab: DUP4 000003ac: SWAP1 000003ad: DIV 000003ae: DUP4 000003af: MUL 000003b0: DUP5 000003b1: ADD 000003b2: DUP4 000003b3: ADD 000003b4: SWAP1 000003b5: SWAP5 000003b6: MSTORE 000003b7: DUP1 000003b8: DUP4 000003b9: MSTORE 000003ba: SWAP8 000003bb: SWAP10 000003bc: SWAP9 000003bd: DUP2 000003be: ADD 000003bf: SWAP8 000003c0: SWAP2 000003c1: SWAP7 000003c2: POP 000003c3: SWAP2 000003c4: DUP3 000003c5: ADD 000003c6: SWAP5 000003c7: POP 000003c8: SWAP3 000003c9: POP 000003ca: DUP3 000003cb: SWAP2 000003cc: POP 000003cd: DUP5 000003ce: ADD 000003cf: DUP4 000003d0: DUP3 000003d1: DUP1 000003d2: DUP3 000003d3: DUP5 000003d4: CALLDATACOPY 000003d5: POP 000003d6: SWAP5 000003d7: SWAP7 000003d8: POP 000003d9: PUSH2 0x0de6 000003dc: SWAP6 000003dd: POP 000003de: POP 000003df: POP 000003e0: POP 000003e1: POP 000003e2: POP 000003e3: JUMP 000003e4: JUMPDEST 000003e5: STOP 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: PUSH2 0x0000 000003eb: JUMPI 000003ec: PUSH2 0x03f3 000003ef: PUSH2 0x101e 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x40 000003f6: DUP1 000003f7: MLOAD 000003f8: SWAP2 000003f9: ISZERO 000003fa: ISZERO 000003fb: DUP3 000003fc: MSTORE 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: SWAP1 00000401: SUB 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP1 00000406: RETURN 00000407: JUMPDEST 00000408: CALLVALUE 00000409: PUSH2 0x0000 0000040c: JUMPI 0000040d: PUSH2 0x0417 00000410: PUSH1 0x04 00000412: CALLDATALOAD 00000413: PUSH2 0x102e 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x40 0000041a: DUP1 0000041b: MLOAD 0000041c: PUSH1 0x01 0000041e: PUSH1 0xa0 00000420: PUSH1 0x02 00000422: EXP 00000423: SUB 00000424: SWAP1 00000425: SWAP5 00000426: AND 00000427: DUP5 00000428: MSTORE 00000429: PUSH1 0x20 0000042b: DUP5 0000042c: ADD 0000042d: SWAP3 0000042e: SWAP1 0000042f: SWAP3 00000430: MSTORE 00000431: ISZERO 00000432: ISZERO 00000433: DUP3 00000434: DUP3 00000435: ADD 00000436: MSTORE 00000437: MLOAD 00000438: SWAP1 00000439: DUP2 0000043a: SWAP1 0000043b: SUB 0000043c: PUSH1 0x60 0000043e: ADD 0000043f: SWAP1 00000440: RETURN 00000441: JUMPDEST 00000442: CALLVALUE 00000443: PUSH2 0x0000 00000446: JUMPI 00000447: PUSH2 0x023c 0000044a: PUSH2 0x105c 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x40 00000451: DUP1 00000452: MLOAD 00000453: SWAP2 00000454: DUP3 00000455: MSTORE 00000456: MLOAD 00000457: SWAP1 00000458: DUP2 00000459: SWAP1 0000045a: SUB 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: SWAP1 0000045f: RETURN 00000460: JUMPDEST 00000461: CALLVALUE 00000462: PUSH2 0x0000 00000465: JUMPI 00000466: PUSH2 0x01e6 00000469: PUSH1 0x04 0000046b: CALLDATALOAD 0000046c: PUSH2 0x10c9 0000046f: JUMP 00000470: JUMPDEST 00000471: STOP 00000472: JUMPDEST 00000473: CALLVALUE 00000474: PUSH2 0x0000 00000477: JUMPI 00000478: PUSH2 0x047f 0000047b: PUSH2 0x118e 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH1 0x40 00000482: DUP1 00000483: MLOAD 00000484: SWAP9 00000485: DUP10 00000486: MSTORE 00000487: PUSH1 0x20 00000489: DUP10 0000048a: ADD 0000048b: SWAP8 0000048c: SWAP1 0000048d: SWAP8 0000048e: MSTORE 0000048f: DUP8 00000490: DUP8 00000491: ADD 00000492: SWAP6 00000493: SWAP1 00000494: SWAP6 00000495: MSTORE 00000496: PUSH1 0x60 00000498: DUP8 00000499: ADD 0000049a: SWAP4 0000049b: SWAP1 0000049c: SWAP4 0000049d: MSTORE 0000049e: PUSH1 0x80 000004a0: DUP7 000004a1: ADD 000004a2: SWAP2 000004a3: SWAP1 000004a4: SWAP2 000004a5: MSTORE 000004a6: PUSH1 0xa0 000004a8: DUP6 000004a9: ADD 000004aa: MSTORE 000004ab: PUSH1 0xc0 000004ad: DUP5 000004ae: ADD 000004af: MSTORE 000004b0: PUSH1 0xe0 000004b2: DUP4 000004b3: ADD 000004b4: MSTORE 000004b5: MLOAD 000004b6: SWAP1 000004b7: DUP2 000004b8: SWAP1 000004b9: SUB 000004ba: PUSH2 0x0100 000004bd: ADD 000004be: SWAP1 000004bf: RETURN 000004c0: JUMPDEST 000004c1: CALLVALUE 000004c2: PUSH2 0x0000 000004c5: JUMPI 000004c6: PUSH2 0x01e6 000004c9: PUSH1 0x04 000004cb: CALLDATALOAD 000004cc: PUSH2 0x11f1 000004cf: JUMP 000004d0: JUMPDEST 000004d1: STOP 000004d2: JUMPDEST 000004d3: CALLVALUE 000004d4: PUSH2 0x0000 000004d7: JUMPI 000004d8: PUSH2 0x01e6 000004db: PUSH1 0x04 000004dd: CALLDATALOAD 000004de: PUSH2 0x1236 000004e1: JUMP 000004e2: JUMPDEST 000004e3: STOP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: PUSH2 0x0000 000004e9: JUMPI 000004ea: PUSH2 0x04f1 000004ed: PUSH2 0x128d 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH1 0x40 000004f4: DUP1 000004f5: MLOAD 000004f6: PUSH1 0x01 000004f8: PUSH1 0xa0 000004fa: PUSH1 0x02 000004fc: EXP 000004fd: SUB 000004fe: SWAP1 000004ff: SWAP4 00000500: AND 00000501: DUP4 00000502: MSTORE 00000503: PUSH1 0x20 00000505: DUP4 00000506: ADD 00000507: SWAP2 00000508: SWAP1 00000509: SWAP2 0000050a: MSTORE 0000050b: DUP1 0000050c: MLOAD 0000050d: SWAP2 0000050e: DUP3 0000050f: SWAP1 00000510: SUB 00000511: ADD 00000512: SWAP1 00000513: RETURN 00000514: JUMPDEST 00000515: CALLVALUE 00000516: PUSH2 0x0000 00000519: JUMPI 0000051a: PUSH2 0x023c 0000051d: PUSH2 0x12a2 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x40 00000524: DUP1 00000525: MLOAD 00000526: SWAP2 00000527: DUP3 00000528: MSTORE 00000529: MLOAD 0000052a: SWAP1 0000052b: DUP2 0000052c: SWAP1 0000052d: SUB 0000052e: PUSH1 0x20 00000530: ADD 00000531: SWAP1 00000532: RETURN 00000533: JUMPDEST 00000534: CALLVALUE 00000535: PUSH2 0x0000 00000538: JUMPI 00000539: PUSH2 0x023c 0000053c: PUSH2 0x13ac 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH1 0x40 00000543: DUP1 00000544: MLOAD 00000545: SWAP2 00000546: DUP3 00000547: MSTORE 00000548: MLOAD 00000549: SWAP1 0000054a: DUP2 0000054b: SWAP1 0000054c: SUB 0000054d: PUSH1 0x20 0000054f: ADD 00000550: SWAP1 00000551: RETURN 00000552: JUMPDEST 00000553: CALLVALUE 00000554: PUSH2 0x0000 00000557: JUMPI 00000558: PUSH2 0x023c 0000055b: PUSH2 0x13b2 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x40 00000562: DUP1 00000563: MLOAD 00000564: SWAP2 00000565: DUP3 00000566: MSTORE 00000567: MLOAD 00000568: SWAP1 00000569: DUP2 0000056a: SWAP1 0000056b: SUB 0000056c: PUSH1 0x20 0000056e: ADD 0000056f: SWAP1 00000570: RETURN 00000571: JUMPDEST 00000572: CALLVALUE 00000573: PUSH2 0x0000 00000576: JUMPI 00000577: PUSH2 0x023c 0000057a: PUSH1 0x04 0000057c: CALLDATALOAD 0000057d: PUSH2 0x13b8 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH1 0x40 00000584: DUP1 00000585: MLOAD 00000586: SWAP2 00000587: DUP3 00000588: MSTORE 00000589: MLOAD 0000058a: SWAP1 0000058b: DUP2 0000058c: SWAP1 0000058d: SUB 0000058e: PUSH1 0x20 00000590: ADD 00000591: SWAP1 00000592: RETURN 00000593: JUMPDEST 00000594: CALLVALUE 00000595: PUSH2 0x0000 00000598: JUMPI 00000599: PUSH2 0x023c 0000059c: PUSH1 0x04 0000059e: CALLDATALOAD 0000059f: PUSH2 0x13ca 000005a2: JUMP 000005a3: JUMPDEST 000005a4: PUSH1 0x40 000005a6: DUP1 000005a7: MLOAD 000005a8: SWAP2 000005a9: DUP3 000005aa: MSTORE 000005ab: MLOAD 000005ac: SWAP1 000005ad: DUP2 000005ae: SWAP1 000005af: SUB 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: SWAP1 000005b4: RETURN 000005b5: JUMPDEST 000005b6: CALLVALUE 000005b7: PUSH2 0x0000 000005ba: JUMPI 000005bb: PUSH2 0x023c 000005be: PUSH2 0x13eb 000005c1: JUMP 000005c2: JUMPDEST 000005c3: PUSH1 0x40 000005c5: DUP1 000005c6: MLOAD 000005c7: SWAP2 000005c8: DUP3 000005c9: MSTORE 000005ca: MLOAD 000005cb: SWAP1 000005cc: DUP2 000005cd: SWAP1 000005ce: SUB 000005cf: PUSH1 0x20 000005d1: ADD 000005d2: SWAP1 000005d3: RETURN 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: PUSH2 0x0000 000005d9: JUMPI 000005da: PUSH2 0x023c 000005dd: PUSH2 0x143f 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x40 000005e4: DUP1 000005e5: MLOAD 000005e6: SWAP2 000005e7: DUP3 000005e8: MSTORE 000005e9: MLOAD 000005ea: SWAP1 000005eb: DUP2 000005ec: SWAP1 000005ed: SUB 000005ee: PUSH1 0x20 000005f0: ADD 000005f1: SWAP1 000005f2: RETURN 000005f3: JUMPDEST 000005f4: CALLVALUE 000005f5: PUSH2 0x0000 000005f8: JUMPI 000005f9: PUSH2 0x01e6 000005fc: PUSH1 0x04 000005fe: CALLDATALOAD 000005ff: PUSH2 0x1530 00000602: JUMP 00000603: JUMPDEST 00000604: STOP 00000605: JUMPDEST 00000606: CALLVALUE 00000607: PUSH2 0x0000 0000060a: JUMPI 0000060b: PUSH2 0x0612 0000060e: PUSH2 0x15c6 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x40 00000615: DUP1 00000616: MLOAD 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: PUSH1 0x02 0000061d: EXP 0000061e: SUB 0000061f: SWAP1 00000620: SWAP3 00000621: AND 00000622: DUP3 00000623: MSTORE 00000624: MLOAD 00000625: SWAP1 00000626: DUP2 00000627: SWAP1 00000628: SUB 00000629: PUSH1 0x20 0000062b: ADD 0000062c: SWAP1 0000062d: RETURN 0000062e: JUMPDEST 0000062f: PUSH2 0x01e6 00000632: PUSH2 0x15d5 00000635: JUMP 00000636: JUMPDEST 00000637: STOP 00000638: JUMPDEST 00000639: CALLVALUE 0000063a: PUSH2 0x0000 0000063d: JUMPI 0000063e: PUSH2 0x01e6 00000641: PUSH2 0x1664 00000644: JUMP 00000645: JUMPDEST 00000646: STOP 00000647: JUMPDEST 00000648: CALLVALUE 00000649: PUSH2 0x0000 0000064c: JUMPI 0000064d: PUSH2 0x0207 00000650: PUSH1 0x04 00000652: CALLDATALOAD 00000653: PUSH2 0x16bc 00000656: JUMP 00000657: JUMPDEST 00000658: PUSH1 0x40 0000065a: DUP1 0000065b: MLOAD 0000065c: PUSH1 0x01 0000065e: PUSH1 0xa0 00000660: PUSH1 0x02 00000662: EXP 00000663: SUB 00000664: SWAP1 00000665: SWAP5 00000666: AND 00000667: DUP5 00000668: MSTORE 00000669: PUSH1 0x20 0000066b: DUP5 0000066c: ADD 0000066d: SWAP3 0000066e: SWAP1 0000066f: SWAP3 00000670: MSTORE 00000671: DUP3 00000672: DUP3 00000673: ADD 00000674: MSTORE 00000675: MLOAD 00000676: SWAP1 00000677: DUP2 00000678: SWAP1 00000679: SUB 0000067a: PUSH1 0x60 0000067c: ADD 0000067d: SWAP1 0000067e: RETURN 0000067f: JUMPDEST 00000680: CALLVALUE 00000681: PUSH2 0x0000 00000684: JUMPI 00000685: PUSH2 0x023c 00000688: PUSH2 0x16e7 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x40 0000068f: DUP1 00000690: MLOAD 00000691: SWAP2 00000692: DUP3 00000693: MSTORE 00000694: MLOAD 00000695: SWAP1 00000696: DUP2 00000697: SWAP1 00000698: SUB 00000699: PUSH1 0x20 0000069b: ADD 0000069c: SWAP1 0000069d: RETURN 0000069e: JUMPDEST 0000069f: CALLVALUE 000006a0: PUSH2 0x0000 000006a3: JUMPI 000006a4: PUSH2 0x01e6 000006a7: PUSH1 0x04 000006a9: CALLDATALOAD 000006aa: PUSH2 0x16ed 000006ad: JUMP 000006ae: JUMPDEST 000006af: STOP 000006b0: JUMPDEST 000006b1: CALLVALUE 000006b2: PUSH2 0x0000 000006b5: JUMPI 000006b6: PUSH2 0x0612 000006b9: PUSH2 0x1774 000006bc: JUMP 000006bd: JUMPDEST 000006be: PUSH1 0x40 000006c0: DUP1 000006c1: MLOAD 000006c2: PUSH1 0x01 000006c4: PUSH1 0xa0 000006c6: PUSH1 0x02 000006c8: EXP 000006c9: SUB 000006ca: SWAP1 000006cb: SWAP3 000006cc: AND 000006cd: DUP3 000006ce: MSTORE 000006cf: MLOAD 000006d0: SWAP1 000006d1: DUP2 000006d2: SWAP1 000006d3: SUB 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: SWAP1 000006d8: RETURN 000006d9: JUMPDEST 000006da: CALLVALUE 000006db: PUSH2 0x0000 000006de: JUMPI 000006df: PUSH2 0x01e6 000006e2: PUSH1 0x04 000006e4: CALLDATALOAD 000006e5: PUSH2 0x1783 000006e8: JUMP 000006e9: JUMPDEST 000006ea: STOP 000006eb: JUMPDEST 000006ec: CALLVALUE 000006ed: PUSH2 0x0000 000006f0: JUMPI 000006f1: PUSH2 0x023c 000006f4: PUSH2 0x17ac 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x40 000006fb: DUP1 000006fc: MLOAD 000006fd: SWAP2 000006fe: DUP3 000006ff: MSTORE 00000700: MLOAD 00000701: SWAP1 00000702: DUP2 00000703: SWAP1 00000704: SUB 00000705: PUSH1 0x20 00000707: ADD 00000708: SWAP1 00000709: RETURN 0000070a: JUMPDEST 0000070b: CALLVALUE 0000070c: PUSH2 0x0000 0000070f: JUMPI 00000710: PUSH2 0x01e6 00000713: PUSH2 0x17b3 00000716: JUMP 00000717: JUMPDEST 00000718: STOP 00000719: JUMPDEST 0000071a: CALLVALUE 0000071b: PUSH2 0x0000 0000071e: JUMPI 0000071f: PUSH2 0x023c 00000722: PUSH1 0x04 00000724: CALLDATALOAD 00000725: PUSH2 0x195b 00000728: JUMP 00000729: JUMPDEST 0000072a: PUSH1 0x40 0000072c: DUP1 0000072d: MLOAD 0000072e: SWAP2 0000072f: DUP3 00000730: MSTORE 00000731: MLOAD 00000732: SWAP1 00000733: DUP2 00000734: SWAP1 00000735: SUB 00000736: PUSH1 0x20 00000738: ADD 00000739: SWAP1 0000073a: RETURN 0000073b: JUMPDEST 0000073c: PUSH2 0x01e6 0000073f: PUSH2 0x19dc 00000742: JUMP 00000743: JUMPDEST 00000744: STOP 00000745: JUMPDEST 00000746: PUSH1 0x00 00000748: PUSH1 0x00 0000074a: PUSH1 0x00 0000074c: PUSH1 0x08 0000074e: PUSH1 0x14 00000750: SWAP1 00000751: SLOAD 00000752: SWAP1 00000753: PUSH2 0x0100 00000756: EXP 00000757: SWAP1 00000758: DIV 00000759: PUSH1 0xff 0000075b: AND 0000075c: ISZERO 0000075d: PUSH2 0x0765 00000760: JUMPI 00000761: PUSH2 0x0000 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x00 00000768: PUSH1 0x00 0000076a: SWAP1 0000076b: SLOAD 0000076c: SWAP1 0000076d: PUSH2 0x0100 00000770: EXP 00000771: SWAP1 00000772: DIV 00000773: PUSH1 0x01 00000775: PUSH1 0xa0 00000777: PUSH1 0x02 00000779: EXP 0000077a: SUB 0000077b: AND 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: PUSH1 0x02 00000782: EXP 00000783: SUB 00000784: AND 00000785: PUSH4 0x38cc4831 0000078a: PUSH1 0x00 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: PUSH1 0x20 00000791: ADD 00000792: MSTORE 00000793: PUSH1 0x40 00000795: MLOAD 00000796: DUP2 00000797: PUSH1 0xe0 00000799: PUSH1 0x02 0000079b: EXP 0000079c: MUL 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x04 000007a1: ADD 000007a2: DUP1 000007a3: SWAP1 000007a4: POP 000007a5: PUSH1 0x20 000007a7: PUSH1 0x40 000007a9: MLOAD 000007aa: DUP1 000007ab: DUP4 000007ac: SUB 000007ad: DUP2 000007ae: PUSH1 0x00 000007b0: DUP8 000007b1: DUP1 000007b2: EXTCODESIZE 000007b3: ISZERO 000007b4: PUSH2 0x0000 000007b7: JUMPI 000007b8: PUSH1 0x32 000007ba: GAS 000007bb: SUB 000007bc: CALL 000007bd: ISZERO 000007be: PUSH2 0x0000 000007c1: JUMPI 000007c2: POP 000007c3: POP 000007c4: PUSH1 0x40 000007c6: DUP1 000007c7: MLOAD 000007c8: DUP1 000007c9: MLOAD 000007ca: PUSH1 0x02 000007cc: SLOAD 000007cd: PUSH1 0x00 000007cf: PUSH1 0x20 000007d1: SWAP4 000007d2: DUP5 000007d3: ADD 000007d4: DUP2 000007d5: SWAP1 000007d6: MSTORE 000007d7: DUP5 000007d8: MLOAD 000007d9: PUSH1 0xe2 000007db: PUSH1 0x02 000007dd: EXP 000007de: PUSH4 0x0bbceb33 000007e3: MUL 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH3 0x02ab98 000007ea: SWAP1 000007eb: SWAP3 000007ec: ADD 000007ed: PUSH1 0x24 000007ef: DUP4 000007f0: ADD 000007f1: MSTORE 000007f2: PUSH1 0x04 000007f4: DUP3 000007f5: ADD 000007f6: DUP6 000007f7: SWAP1 000007f8: MSTORE 000007f9: PUSH1 0x03 000007fb: PUSH1 0x44 000007fd: DUP4 000007fe: ADD 000007ff: MSTORE 00000800: PUSH1 0xea 00000802: PUSH1 0x02 00000804: EXP 00000805: PUSH3 0x155493 00000809: MUL 0000080a: PUSH1 0x64 0000080c: DUP4 0000080d: ADD 0000080e: MSTORE 0000080f: SWAP4 00000810: MLOAD 00000811: PUSH1 0x01 00000813: PUSH1 0xa0 00000815: PUSH1 0x02 00000817: EXP 00000818: SUB 00000819: SWAP1 0000081a: SWAP3 0000081b: AND 0000081c: SWAP5 0000081d: POP 0000081e: PUSH4 0x2ef3accc 00000823: SWAP4 00000824: PUSH1 0x84 00000826: DUP1 00000827: DUP4 00000828: ADD 00000829: SWAP5 0000082a: SWAP4 0000082b: SWAP3 0000082c: DUP4 0000082d: SWAP1 0000082e: SUB 0000082f: ADD 00000830: SWAP1 00000831: DUP3 00000832: SWAP1 00000833: DUP8 00000834: DUP1 00000835: EXTCODESIZE 00000836: ISZERO 00000837: PUSH2 0x0000 0000083a: JUMPI 0000083b: PUSH1 0x32 0000083d: GAS 0000083e: SUB 0000083f: CALL 00000840: ISZERO 00000841: PUSH2 0x0000 00000844: JUMPI 00000845: POP 00000846: POP 00000847: PUSH1 0x40 00000849: MLOAD 0000084a: MLOAD 0000084b: SWAP4 0000084c: POP 0000084d: POP 0000084e: CALLVALUE 0000084f: DUP4 00000850: LT 00000851: PUSH2 0x0859 00000854: JUMPI 00000855: PUSH2 0x0000 00000858: JUMP 00000859: JUMPDEST 0000085a: DUP3 0000085b: CALLVALUE 0000085c: SUB 0000085d: SWAP2 0000085e: POP 0000085f: PUSH2 0x2710 00000862: PUSH2 0x0869 00000865: PUSH2 0x0aa3 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x64 0000086c: MUL 0000086d: DUP2 0000086e: ISZERO 0000086f: PUSH2 0x0000 00000872: JUMPI 00000873: DIV 00000874: PUSH2 0x03e8 00000877: PUSH2 0x226a 0000087a: DUP5 0000087b: MUL 0000087c: DIV 0000087d: GT 0000087e: ISZERO 0000087f: DUP1 00000880: ISZERO 00000881: PUSH2 0x0892 00000884: JUMPI 00000885: POP 00000886: PUSH8 0x02c68af0bb140000 0000088f: DUP3 00000890: LT 00000891: ISZERO 00000892: JUMPDEST 00000893: ISZERO 00000894: PUSH2 0x09fc 00000897: JUMPI 00000898: PUSH1 0x40 0000089a: DUP1 0000089b: MLOAD 0000089c: PUSH1 0x01 0000089e: PUSH1 0xa0 000008a0: PUSH1 0x02 000008a2: EXP 000008a3: SUB 000008a4: CALLER 000008a5: AND 000008a6: DUP2 000008a7: MSTORE 000008a8: PUSH1 0x20 000008aa: DUP2 000008ab: ADD 000008ac: DUP5 000008ad: SWAP1 000008ae: MSTORE 000008af: DUP2 000008b0: MLOAD 000008b1: PUSH32 0xa39417f926ed806b475d2cd74083819551616e7fdb3f5bb7abf8e893eae244b4 000008d2: SWAP3 000008d3: SWAP2 000008d4: DUP2 000008d5: SWAP1 000008d6: SUB 000008d7: SWAP1 000008d8: SWAP2 000008d9: ADD 000008da: SWAP1 000008db: LOG1 000008dc: PUSH2 0x0942 000008df: PUSH1 0x40 000008e1: PUSH1 0x40 000008e3: MLOAD 000008e4: SWAP1 000008e5: DUP2 000008e6: ADD 000008e7: PUSH1 0x40 000008e9: MSTORE 000008ea: DUP1 000008eb: PUSH1 0x06 000008ed: DUP2 000008ee: MSTORE 000008ef: PUSH1 0x20 000008f1: ADD 000008f2: PUSH32 0x6e65737465640000000000000000000000000000000000000000000000000000 00000913: DUP2 00000914: MSTORE 00000915: PUSH1 0x20 00000917: ADD 00000918: POP 00000919: PUSH2 0x01c0 0000091c: PUSH1 0x40 0000091e: MLOAD 0000091f: SWAP1 00000920: DUP2 00000921: ADD 00000922: PUSH1 0x40 00000924: MSTORE 00000925: DUP1 00000926: PUSH2 0x0189 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: PUSH2 0x2ae3 00000931: PUSH2 0x0189 00000934: SWAP2 00000935: CODECOPY 00000936: PUSH1 0x02 00000938: SLOAD 00000939: PUSH3 0x02ab98 0000093d: ADD 0000093e: PUSH2 0x1aa5 00000941: JUMP 00000942: JUMPDEST 00000943: PUSH1 0x40 00000945: DUP1 00000946: MLOAD 00000947: PUSH1 0x60 00000949: DUP2 0000094a: ADD 0000094b: DUP3 0000094c: MSTORE 0000094d: CALLER 0000094e: DUP2 0000094f: MSTORE 00000950: PUSH1 0x20 00000952: DUP1 00000953: DUP3 00000954: ADD 00000955: DUP7 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x00 0000095a: DUP4 0000095b: DUP6 0000095c: ADD 0000095d: DUP2 0000095e: DUP2 0000095f: MSTORE 00000960: DUP7 00000961: DUP3 00000962: MSTORE 00000963: PUSH1 0x0b 00000965: SWAP1 00000966: SWAP4 00000967: MSTORE 00000968: SWAP4 00000969: SWAP1 0000096a: SWAP4 0000096b: KECCAK256 0000096c: SWAP2 0000096d: MLOAD 0000096e: DUP3 0000096f: SLOAD 00000970: PUSH1 0x01 00000972: PUSH1 0xa0 00000974: PUSH1 0x02 00000976: EXP 00000977: SUB 00000978: NOT 00000979: AND 0000097a: PUSH1 0x60 0000097c: PUSH1 0x02 0000097e: EXP 0000097f: SWAP2 00000980: DUP3 00000981: MUL 00000982: SWAP2 00000983: SWAP1 00000984: SWAP2 00000985: DIV 00000986: OR 00000987: DUP3 00000988: SSTORE 00000989: SWAP2 0000098a: MLOAD 0000098b: PUSH1 0x01 0000098d: DUP1 0000098e: DUP4 0000098f: ADD 00000990: SWAP2 00000991: SWAP1 00000992: SWAP2 00000993: SSTORE 00000994: SWAP2 00000995: MLOAD 00000996: PUSH1 0x02 00000998: SWAP1 00000999: SWAP2 0000099a: ADD 0000099b: SSTORE 0000099c: PUSH1 0x0c 0000099e: DUP1 0000099f: SLOAD 000009a0: SWAP2 000009a1: DUP3 000009a2: ADD 000009a3: DUP1 000009a4: DUP3 000009a5: SSTORE 000009a6: SWAP3 000009a7: SWAP4 000009a8: POP 000009a9: SWAP2 000009aa: DUP3 000009ab: DUP2 000009ac: DUP4 000009ad: DUP1 000009ae: ISZERO 000009af: DUP3 000009b0: SWAP1 000009b1: GT 000009b2: PUSH2 0x09e0 000009b5: JUMPI 000009b6: PUSH1 0x00 000009b8: DUP4 000009b9: DUP2 000009ba: MSTORE 000009bb: PUSH1 0x20 000009bd: SWAP1 000009be: KECCAK256 000009bf: PUSH2 0x09e0 000009c2: SWAP2 000009c3: DUP2 000009c4: ADD 000009c5: SWAP1 000009c6: DUP4 000009c7: ADD 000009c8: JUMPDEST 000009c9: DUP1 000009ca: DUP3 000009cb: GT 000009cc: ISZERO 000009cd: PUSH2 0x09dc 000009d0: JUMPI 000009d1: PUSH1 0x00 000009d3: DUP2 000009d4: SSTORE 000009d5: PUSH1 0x01 000009d7: ADD 000009d8: PUSH2 0x09c8 000009db: JUMP 000009dc: JUMPDEST 000009dd: POP 000009de: SWAP1 000009df: JUMP 000009e0: JUMPDEST 000009e1: JUMPDEST 000009e2: POP 000009e3: POP 000009e4: POP 000009e5: SWAP2 000009e6: PUSH1 0x00 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: PUSH1 0x00 000009ed: KECCAK256 000009ee: SWAP1 000009ef: ADD 000009f0: PUSH1 0x00 000009f2: JUMPDEST 000009f3: POP 000009f4: DUP3 000009f5: SWAP1 000009f6: SSTORE 000009f7: POP 000009f8: PUSH2 0x0a01 000009fb: JUMP 000009fc: JUMPDEST 000009fd: PUSH2 0x0000 00000a00: JUMP 00000a01: JUMPDEST 00000a02: JUMPDEST 00000a03: JUMPDEST 00000a04: POP 00000a05: POP 00000a06: POP 00000a07: JUMP 00000a08: JUMPDEST 00000a09: PUSH1 0x01 00000a0b: PUSH1 0xa0 00000a0d: PUSH1 0x02 00000a0f: EXP 00000a10: SUB 00000a11: CALLER 00000a12: AND 00000a13: PUSH1 0x00 00000a15: SWAP1 00000a16: DUP2 00000a17: MSTORE 00000a18: PUSH1 0x03 00000a1a: PUSH1 0x20 00000a1c: MSTORE 00000a1d: PUSH1 0x40 00000a1f: SWAP1 00000a20: KECCAK256 00000a21: SLOAD 00000a22: ISZERO 00000a23: ISZERO 00000a24: PUSH2 0x0a2c 00000a27: JUMPI 00000a28: PUSH2 0x0000 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH2 0x01e3 00000a30: CALLER 00000a31: PUSH2 0x1d81 00000a34: JUMP 00000a35: JUMPDEST 00000a36: JUMPDEST 00000a37: JUMPDEST 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH1 0x00 00000a3c: PUSH1 0x00 00000a3e: PUSH1 0x00 00000a40: PUSH1 0x00 00000a42: PUSH1 0x0c 00000a44: DUP1 00000a45: SLOAD 00000a46: SWAP1 00000a47: POP 00000a48: DUP6 00000a49: LT 00000a4a: ISZERO 00000a4b: PUSH2 0x0a9a 00000a4e: JUMPI 00000a4f: PUSH1 0x0c 00000a51: DUP6 00000a52: DUP2 00000a53: SLOAD 00000a54: DUP2 00000a55: LT 00000a56: ISZERO 00000a57: PUSH2 0x0000 00000a5a: JUMPI 00000a5b: SWAP1 00000a5c: PUSH1 0x00 00000a5e: MSTORE 00000a5f: PUSH1 0x20 00000a61: PUSH1 0x00 00000a63: KECCAK256 00000a64: SWAP1 00000a65: ADD 00000a66: PUSH1 0x00 00000a68: JUMPDEST 00000a69: POP 00000a6a: SLOAD 00000a6b: PUSH1 0x00 00000a6d: DUP2 00000a6e: DUP2 00000a6f: MSTORE 00000a70: PUSH1 0x0b 00000a72: PUSH1 0x20 00000a74: MSTORE 00000a75: PUSH1 0x40 00000a77: SWAP1 00000a78: KECCAK256 00000a79: DUP1 00000a7a: SLOAD 00000a7b: PUSH1 0x01 00000a7d: DUP3 00000a7e: ADD 00000a7f: SLOAD 00000a80: PUSH1 0x02 00000a82: SWAP1 00000a83: SWAP3 00000a84: ADD 00000a85: SLOAD 00000a86: PUSH1 0x01 00000a88: PUSH1 0xa0 00000a8a: PUSH1 0x02 00000a8c: EXP 00000a8d: SUB 00000a8e: SWAP1 00000a8f: SWAP2 00000a90: AND 00000a91: SWAP7 00000a92: POP 00000a93: SWAP1 00000a94: SWAP5 00000a95: POP 00000a96: SWAP3 00000a97: POP 00000a98: SWAP1 00000a99: POP 00000a9a: JUMPDEST 00000a9b: JUMPDEST 00000a9c: POP 00000a9d: SWAP2 00000a9e: SWAP4 00000a9f: SWAP1 00000aa0: SWAP3 00000aa1: POP 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH1 0x00 00000aa6: PUSH1 0x0d 00000aa8: SLOAD 00000aa9: PUSH1 0x06 00000aab: SLOAD 00000aac: LT 00000aad: DUP1 00000aae: PUSH2 0x0abc 00000ab1: JUMPI 00000ab2: POP 00000ab3: PUSH1 0x06 00000ab5: SLOAD 00000ab6: PUSH1 0x0d 00000ab8: SLOAD 00000ab9: DUP2 00000aba: ADD 00000abb: LT 00000abc: JUMPDEST 00000abd: DUP1 00000abe: PUSH2 0x0ace 00000ac1: JUMPI 00000ac2: POP 00000ac3: PUSH1 0x0e 00000ac5: SLOAD 00000ac6: PUSH1 0x0d 00000ac8: SLOAD 00000ac9: PUSH1 0x06 00000acb: SLOAD 00000acc: ADD 00000acd: LT 00000ace: JUMPDEST 00000acf: ISZERO 00000ad0: PUSH2 0x0adf 00000ad3: JUMPI 00000ad4: POP 00000ad5: PUSH1 0x00 00000ad7: PUSH2 0x0aec 00000ada: JUMP 00000adb: PUSH2 0x0aec 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: POP 00000ae1: PUSH1 0x0e 00000ae3: SLOAD 00000ae4: PUSH1 0x0d 00000ae6: SLOAD 00000ae7: PUSH1 0x06 00000ae9: SLOAD 00000aea: ADD 00000aeb: SUB 00000aec: JUMPDEST 00000aed: JUMPDEST 00000aee: SWAP1 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH1 0x06 00000af3: SLOAD 00000af4: PUSH1 0x0d 00000af6: SLOAD 00000af7: PUSH1 0x01 00000af9: PUSH1 0xa0 00000afb: PUSH1 0x02 00000afd: EXP 00000afe: SUB 00000aff: DUP4 00000b00: AND 00000b01: PUSH1 0x00 00000b03: SWAP1 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x03 00000b08: PUSH1 0x20 00000b0a: SWAP1 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x40 00000b0f: DUP1 00000b10: DUP4 00000b11: KECCAK256 00000b12: SLOAD 00000b13: DUP4 00000b14: MSTORE 00000b15: PUSH1 0x04 00000b17: SWAP1 00000b18: SWAP2 00000b19: MSTORE 00000b1a: DUP2 00000b1b: KECCAK256 00000b1c: PUSH1 0x01 00000b1e: ADD 00000b1f: SLOAD 00000b20: SWAP1 00000b21: SWAP3 00000b22: SWAP2 00000b23: MUL 00000b24: DUP2 00000b25: ISZERO 00000b26: PUSH2 0x0000 00000b29: JUMPI 00000b2a: DIV 00000b2b: SWAP1 00000b2c: POP 00000b2d: JUMPDEST 00000b2e: SWAP2 00000b2f: SWAP1 00000b30: POP 00000b31: JUMP 00000b32: JUMPDEST 00000b33: PUSH1 0x07 00000b35: SLOAD 00000b36: CALLER 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: PUSH1 0x02 00000b3d: EXP 00000b3e: SUB 00000b3f: SWAP1 00000b40: DUP2 00000b41: AND 00000b42: SWAP2 00000b43: AND 00000b44: EQ 00000b45: PUSH2 0x0b4d 00000b48: JUMPI 00000b49: PUSH2 0x0000 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH1 0x08 00000b50: DUP1 00000b51: SLOAD 00000b52: PUSH1 0xa0 00000b54: PUSH1 0x02 00000b56: EXP 00000b57: PUSH1 0xff 00000b59: MUL 00000b5a: NOT 00000b5b: AND 00000b5c: PUSH1 0xa0 00000b5e: PUSH1 0x02 00000b60: EXP 00000b61: OR 00000b62: SWAP1 00000b63: SSTORE 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: PUSH32 0x3bb54b4ced112fe0d4fa7efd42b29a0a9036fde6e206de4290c4ff02d2dc2c5c 00000b88: SWAP1 00000b89: PUSH1 0x00 00000b8b: SWAP1 00000b8c: LOG1 00000b8d: JUMPDEST 00000b8e: JUMPDEST 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x05 00000b93: SLOAD 00000b94: DUP2 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH1 0x06 00000b99: SLOAD 00000b9a: PUSH1 0x0e 00000b9c: SLOAD 00000b9d: PUSH1 0x01 00000b9f: PUSH1 0xa0 00000ba1: PUSH1 0x02 00000ba3: EXP 00000ba4: SUB 00000ba5: DUP4 00000ba6: AND 00000ba7: PUSH1 0x00 00000ba9: SWAP1 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x03 00000bae: PUSH1 0x20 00000bb0: SWAP1 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x40 00000bb5: DUP1 00000bb6: DUP4 00000bb7: KECCAK256 00000bb8: SLOAD 00000bb9: DUP4 00000bba: MSTORE 00000bbb: PUSH1 0x04 00000bbd: SWAP1 00000bbe: SWAP2 00000bbf: MSTORE 00000bc0: DUP2 00000bc1: KECCAK256 00000bc2: PUSH1 0x01 00000bc4: ADD 00000bc5: SLOAD 00000bc6: SWAP1 00000bc7: SWAP3 00000bc8: SWAP2 00000bc9: MUL 00000bca: DUP2 00000bcb: ISZERO 00000bcc: PUSH2 0x0000 00000bcf: JUMPI 00000bd0: DIV 00000bd1: SWAP1 00000bd2: POP 00000bd3: JUMPDEST 00000bd4: SWAP2 00000bd5: SWAP1 00000bd6: POP 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: PUSH1 0x01 00000bdb: PUSH1 0xa0 00000bdd: PUSH1 0x02 00000bdf: EXP 00000be0: SUB 00000be1: CALLER 00000be2: AND 00000be3: PUSH1 0x00 00000be5: SWAP1 00000be6: DUP2 00000be7: MSTORE 00000be8: PUSH1 0x03 00000bea: PUSH1 0x20 00000bec: MSTORE 00000bed: PUSH1 0x40 00000bef: SWAP1 00000bf0: KECCAK256 00000bf1: SLOAD 00000bf2: ISZERO 00000bf3: ISZERO 00000bf4: PUSH2 0x0bfc 00000bf7: JUMPI 00000bf8: PUSH2 0x0000 00000bfb: JUMP 00000bfc: JUMPDEST 00000bfd: PUSH1 0x09 00000bff: SLOAD 00000c00: PUSH1 0x01 00000c02: PUSH1 0xa0 00000c04: PUSH1 0x02 00000c06: EXP 00000c07: SUB 00000c08: AND 00000c09: ISZERO 00000c0a: ISZERO 00000c0b: PUSH2 0x0c13 00000c0e: JUMPI 00000c0f: PUSH2 0x0000 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x08 00000c16: SLOAD 00000c17: PUSH1 0xa0 00000c19: PUSH1 0x02 00000c1b: EXP 00000c1c: SWAP1 00000c1d: DIV 00000c1e: PUSH1 0xff 00000c20: AND 00000c21: ISZERO 00000c22: ISZERO 00000c23: PUSH2 0x0c2b 00000c26: JUMPI 00000c27: PUSH2 0x0000 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: CALLER 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0xa0 00000c31: PUSH1 0x02 00000c33: EXP 00000c34: SUB 00000c35: AND 00000c36: PUSH1 0x00 00000c38: DUP2 00000c39: DUP2 00000c3a: MSTORE 00000c3b: PUSH1 0x03 00000c3d: PUSH1 0x20 00000c3f: SWAP1 00000c40: DUP2 00000c41: MSTORE 00000c42: PUSH1 0x40 00000c44: DUP1 00000c45: DUP4 00000c46: KECCAK256 00000c47: SLOAD 00000c48: DUP4 00000c49: MSTORE 00000c4a: PUSH1 0x04 00000c4c: DUP3 00000c4d: MSTORE 00000c4e: SWAP2 00000c4f: DUP3 00000c50: SWAP1 00000c51: KECCAK256 00000c52: PUSH1 0x02 00000c54: ADD 00000c55: DUP1 00000c56: SLOAD 00000c57: PUSH1 0xff 00000c59: NOT 00000c5a: AND 00000c5b: PUSH1 0xf8 00000c5d: PUSH1 0x02 00000c5f: EXP 00000c60: DUP7 00000c61: DUP2 00000c62: MUL 00000c63: DIV 00000c64: OR 00000c65: SWAP1 00000c66: SSTORE 00000c67: DUP2 00000c68: MLOAD 00000c69: SWAP3 00000c6a: DUP4 00000c6b: MSTORE 00000c6c: DUP4 00000c6d: ISZERO 00000c6e: ISZERO 00000c6f: SWAP1 00000c70: DUP4 00000c71: ADD 00000c72: MSTORE 00000c73: DUP1 00000c74: MLOAD 00000c75: PUSH32 0xea22ee15de9c385abeff072b23d6e0de5ebda8c59098f5585f45e82b9faa5762 00000c96: SWAP3 00000c97: DUP2 00000c98: SWAP1 00000c99: SUB 00000c9a: SWAP1 00000c9b: SWAP2 00000c9c: ADD 00000c9d: SWAP1 00000c9e: LOG1 00000c9f: JUMPDEST 00000ca0: JUMPDEST 00000ca1: JUMPDEST 00000ca2: JUMPDEST 00000ca3: POP 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: PUSH1 0x07 00000ca8: SLOAD 00000ca9: CALLER 00000caa: PUSH1 0x01 00000cac: PUSH1 0xa0 00000cae: PUSH1 0x02 00000cb0: EXP 00000cb1: SUB 00000cb2: SWAP1 00000cb3: DUP2 00000cb4: AND 00000cb5: SWAP2 00000cb6: AND 00000cb7: EQ 00000cb8: PUSH2 0x0cc0 00000cbb: JUMPI 00000cbc: PUSH2 0x0000 00000cbf: JUMP 00000cc0: JUMPDEST 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0xa0 00000cc5: PUSH1 0x02 00000cc7: EXP 00000cc8: SUB 00000cc9: DUP2 00000cca: AND 00000ccb: ISZERO 00000ccc: ISZERO 00000ccd: PUSH2 0x0cd5 00000cd0: JUMPI 00000cd1: PUSH2 0x0000 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH1 0x08 00000cd8: DUP1 00000cd9: SLOAD 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: NOT 00000ce3: AND 00000ce4: PUSH1 0x60 00000ce6: PUSH1 0x02 00000ce8: EXP 00000ce9: DUP4 00000cea: DUP2 00000ceb: MUL 00000cec: DIV 00000ced: OR 00000cee: SWAP1 00000cef: DUP2 00000cf0: SWAP1 00000cf1: SSTORE 00000cf2: PUSH1 0x40 00000cf4: DUP1 00000cf5: MLOAD 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: PUSH1 0x02 00000cfc: EXP 00000cfd: SUB 00000cfe: SWAP3 00000cff: DUP4 00000d00: AND 00000d01: DUP2 00000d02: MSTORE 00000d03: SWAP2 00000d04: DUP4 00000d05: AND 00000d06: PUSH1 0x20 00000d08: DUP4 00000d09: ADD 00000d0a: MSTORE 00000d0b: DUP1 00000d0c: MLOAD 00000d0d: PUSH32 0xb750ac854b12114073b8c76dcfe5fb889b30db5d3d60e07abc8ae66c349d7a68 00000d2e: SWAP3 00000d2f: DUP2 00000d30: SWAP1 00000d31: SUB 00000d32: SWAP1 00000d33: SWAP2 00000d34: ADD 00000d35: SWAP1 00000d36: LOG1 00000d37: JUMPDEST 00000d38: JUMPDEST 00000d39: POP 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x07 00000d3e: SLOAD 00000d3f: PUSH1 0x00 00000d41: SWAP1 00000d42: DUP2 00000d43: SWAP1 00000d44: CALLER 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: PUSH1 0x02 00000d4b: EXP 00000d4c: SUB 00000d4d: SWAP1 00000d4e: DUP2 00000d4f: AND 00000d50: SWAP2 00000d51: AND 00000d52: EQ 00000d53: PUSH2 0x0d5b 00000d56: JUMPI 00000d57: PUSH2 0x0000 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: POP 00000d5d: POP 00000d5e: PUSH1 0x05 00000d60: SLOAD 00000d61: PUSH1 0x01 00000d63: JUMPDEST 00000d64: DUP2 00000d65: DUP2 00000d66: GT 00000d67: PUSH2 0x0db1 00000d6a: JUMPI 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0x00 00000d6f: MSTORE 00000d70: PUSH1 0x04 00000d72: PUSH1 0x20 00000d74: MSTORE 00000d75: PUSH32 0xabd6e7cb50984ff9c2f3e18a2660c3353dadf4e3291deeb275dae2cd1e44fe05 00000d96: SLOAD 00000d97: PUSH2 0x0da8 00000d9a: SWAP1 00000d9b: PUSH1 0x01 00000d9d: PUSH1 0xa0 00000d9f: PUSH1 0x02 00000da1: EXP 00000da2: SUB 00000da3: AND 00000da4: PUSH2 0x1d81 00000da7: JUMP 00000da8: JUMPDEST 00000da9: JUMPDEST 00000daa: PUSH1 0x01 00000dac: ADD 00000dad: PUSH2 0x0d63 00000db0: JUMP 00000db1: JUMPDEST 00000db2: JUMPDEST 00000db3: JUMPDEST 00000db4: POP 00000db5: POP 00000db6: JUMP 00000db7: JUMPDEST 00000db8: PUSH2 0x0db1 00000dbb: DUP3 00000dbc: DUP3 00000dbd: PUSH1 0x00 00000dbf: PUSH1 0x40 00000dc1: MLOAD 00000dc2: DUP1 00000dc3: MSIZE 00000dc4: LT 00000dc5: PUSH2 0x0dcb 00000dc8: JUMPI 00000dc9: POP 00000dca: MSIZE 00000dcb: JUMPDEST 00000dcc: DUP2 00000dcd: DUP2 00000dce: MSTORE 00000dcf: PUSH1 0x20 00000dd1: DUP1 00000dd2: DUP4 00000dd3: MUL 00000dd4: DUP3 00000dd5: ADD 00000dd6: ADD 00000dd7: PUSH1 0x40 00000dd9: MSTORE 00000dda: SWAP1 00000ddb: JUMPDEST 00000ddc: POP 00000ddd: PUSH2 0x0de6 00000de0: JUMP 00000de1: JUMPDEST 00000de2: JUMPDEST 00000de3: POP 00000de4: POP 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH1 0x00 00000de9: PUSH2 0x0df0 00000dec: PUSH2 0x1fad 00000def: JUMP 00000df0: JUMPDEST 00000df1: PUSH1 0x01 00000df3: PUSH1 0xa0 00000df5: PUSH1 0x02 00000df7: EXP 00000df8: SUB 00000df9: AND 00000dfa: CALLER 00000dfb: PUSH1 0x01 00000dfd: PUSH1 0xa0 00000dff: PUSH1 0x02 00000e01: EXP 00000e02: SUB 00000e03: AND 00000e04: EQ 00000e05: ISZERO 00000e06: ISZERO 00000e07: PUSH2 0x0e0f 00000e0a: JUMPI 00000e0b: PUSH2 0x0000 00000e0e: JUMP 00000e0f: JUMPDEST 00000e10: PUSH1 0x00 00000e12: DUP5 00000e13: DUP2 00000e14: MSTORE 00000e15: PUSH1 0x0b 00000e17: PUSH1 0x20 00000e19: MSTORE 00000e1a: PUSH1 0x40 00000e1c: SWAP1 00000e1d: KECCAK256 00000e1e: SLOAD 00000e1f: DUP5 00000e20: SWAP1 00000e21: PUSH1 0x01 00000e23: PUSH1 0xa0 00000e25: PUSH1 0x02 00000e27: EXP 00000e28: SUB 00000e29: AND 00000e2a: ISZERO 00000e2b: ISZERO 00000e2c: PUSH2 0x0e34 00000e2f: JUMPI 00000e30: PUSH2 0x0000 00000e33: JUMP 00000e34: JUMPDEST 00000e35: PUSH1 0x00 00000e37: DUP6 00000e38: DUP2 00000e39: MSTORE 00000e3a: PUSH1 0x0b 00000e3c: PUSH1 0x20 00000e3e: MSTORE 00000e3f: PUSH1 0x40 00000e41: DUP2 00000e42: KECCAK256 00000e43: PUSH1 0x02 00000e45: ADD 00000e46: SLOAD 00000e47: DUP7 00000e48: SWAP2 00000e49: SWAP1 00000e4a: GT 00000e4b: ISZERO 00000e4c: PUSH2 0x0e54 00000e4f: JUMPI 00000e50: PUSH2 0x0000 00000e53: JUMP 00000e54: JUMPDEST 00000e55: DUP6 00000e56: DUP6 00000e57: PUSH1 0x00 00000e59: PUSH2 0x0e61 00000e5c: DUP3 00000e5d: PUSH2 0x20c6 00000e60: JUMP 00000e61: JUMPDEST 00000e62: SWAP1 00000e63: POP 00000e64: PUSH1 0x01 00000e66: DUP2 00000e67: LT 00000e68: DUP1 00000e69: PUSH2 0x0e73 00000e6c: JUMPI 00000e6d: POP 00000e6e: PUSH2 0x2710 00000e71: DUP2 00000e72: GT 00000e73: JUMPDEST 00000e74: DUP1 00000e75: ISZERO 00000e76: PUSH2 0x0e8e 00000e79: JUMPI 00000e7a: POP 00000e7b: PUSH1 0x00 00000e7d: DUP4 00000e7e: DUP2 00000e7f: MSTORE 00000e80: PUSH1 0x0b 00000e82: PUSH1 0x20 00000e84: MSTORE 00000e85: PUSH1 0x40 00000e87: SWAP1 00000e88: KECCAK256 00000e89: PUSH1 0x02 00000e8b: ADD 00000e8c: SLOAD 00000e8d: ISZERO 00000e8e: JUMPDEST 00000e8f: ISZERO 00000e90: PUSH2 0x0eca 00000e93: JUMPI 00000e94: PUSH1 0x00 00000e96: DUP4 00000e97: DUP2 00000e98: MSTORE 00000e99: PUSH1 0x0b 00000e9b: PUSH1 0x20 00000e9d: MSTORE 00000e9e: PUSH1 0x40 00000ea0: SWAP1 00000ea1: KECCAK256 00000ea2: PUSH3 0x01869f 00000ea6: PUSH1 0x02 00000ea8: DUP3 00000ea9: ADD 00000eaa: SSTORE 00000eab: DUP1 00000eac: SLOAD 00000ead: PUSH1 0x01 00000eaf: SWAP1 00000eb0: SWAP2 00000eb1: ADD 00000eb2: SLOAD 00000eb3: PUSH2 0x0ec5 00000eb6: SWAP2 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0xa0 00000ebb: PUSH1 0x02 00000ebd: EXP 00000ebe: SUB 00000ebf: AND 00000ec0: SWAP1 00000ec1: PUSH2 0x20db 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH2 0x1010 00000ec9: JUMP 00000eca: JUMPDEST 00000ecb: DUP9 00000ecc: PUSH2 0x2710 00000ecf: PUSH2 0x0ed6 00000ed2: PUSH2 0x0aa3 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0x64 00000ed9: MUL 00000eda: DUP2 00000edb: ISZERO 00000edc: PUSH2 0x0000 00000edf: JUMPI 00000ee0: PUSH1 0x00 00000ee2: DUP4 00000ee3: DUP2 00000ee4: MSTORE 00000ee5: PUSH1 0x0b 00000ee7: PUSH1 0x20 00000ee9: MSTORE 00000eea: PUSH1 0x40 00000eec: SWAP1 00000eed: KECCAK256 00000eee: PUSH1 0x01 00000ef0: ADD 00000ef1: SLOAD 00000ef2: SWAP2 00000ef3: SWAP1 00000ef4: DIV 00000ef5: SWAP1 00000ef6: PUSH2 0x03e8 00000ef9: SWAP1 00000efa: PUSH2 0x226a 00000efd: MUL 00000efe: DIV 00000eff: GT 00000f00: ISZERO 00000f01: DUP1 00000f02: ISZERO 00000f03: PUSH2 0x0f26 00000f06: JUMPI 00000f07: POP 00000f08: PUSH1 0x00 00000f0a: DUP2 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x0b 00000f0f: PUSH1 0x20 00000f11: MSTORE 00000f12: PUSH1 0x40 00000f14: SWAP1 00000f15: KECCAK256 00000f16: PUSH1 0x01 00000f18: ADD 00000f19: SLOAD 00000f1a: PUSH8 0x02c68af0bb140000 00000f23: SWAP1 00000f24: LT 00000f25: ISZERO 00000f26: JUMPDEST 00000f27: ISZERO 00000f28: PUSH2 0x0fda 00000f2b: JUMPI 00000f2c: PUSH2 0x0f34 00000f2f: DUP10 00000f30: PUSH2 0x20c6 00000f33: JUMP 00000f34: JUMPDEST 00000f35: PUSH1 0x00 00000f37: DUP12 00000f38: DUP2 00000f39: MSTORE 00000f3a: PUSH1 0x0b 00000f3c: PUSH1 0x20 00000f3e: SWAP1 00000f3f: DUP2 00000f40: MSTORE 00000f41: PUSH1 0x40 00000f43: SWAP2 00000f44: DUP3 00000f45: SWAP1 00000f46: KECCAK256 00000f47: PUSH1 0x02 00000f49: DUP2 00000f4a: ADD 00000f4b: DUP5 00000f4c: SWAP1 00000f4d: SSTORE 00000f4e: DUP3 00000f4f: MLOAD 00000f50: PUSH1 0x60 00000f52: DUP2 00000f53: ADD 00000f54: DUP5 00000f55: MSTORE 00000f56: DUP2 00000f57: SLOAD 00000f58: PUSH1 0x01 00000f5a: PUSH1 0xa0 00000f5c: PUSH1 0x02 00000f5e: EXP 00000f5f: SUB 00000f60: AND 00000f61: DUP2 00000f62: MSTORE 00000f63: PUSH1 0x01 00000f65: SWAP1 00000f66: SWAP2 00000f67: ADD 00000f68: SLOAD 00000f69: SWAP2 00000f6a: DUP2 00000f6b: ADD 00000f6c: SWAP2 00000f6d: SWAP1 00000f6e: SWAP2 00000f6f: MSTORE 00000f70: SWAP1 00000f71: DUP2 00000f72: ADD 00000f73: DUP3 00000f74: SWAP1 00000f75: MSTORE 00000f76: SWAP1 00000f77: SWAP8 00000f78: POP 00000f79: PUSH2 0x0f82 00000f7c: SWAP1 00000f7d: DUP9 00000f7e: PUSH2 0x228f 00000f81: JUMP 00000f82: JUMPDEST 00000f83: PUSH1 0x00 00000f85: DUP11 00000f86: DUP2 00000f87: MSTORE 00000f88: PUSH1 0x0b 00000f8a: PUSH1 0x20 00000f8c: SWAP1 00000f8d: DUP2 00000f8e: MSTORE 00000f8f: PUSH1 0x40 00000f91: SWAP2 00000f92: DUP3 00000f93: SWAP1 00000f94: KECCAK256 00000f95: DUP3 00000f96: MLOAD 00000f97: PUSH1 0x60 00000f99: DUP2 00000f9a: ADD 00000f9b: DUP5 00000f9c: MSTORE 00000f9d: DUP2 00000f9e: SLOAD 00000f9f: PUSH1 0x01 00000fa1: PUSH1 0xa0 00000fa3: PUSH1 0x02 00000fa5: EXP 00000fa6: SUB 00000fa7: AND 00000fa8: DUP2 00000fa9: MSTORE 00000faa: PUSH1 0x01 00000fac: DUP3 00000fad: ADD 00000fae: SLOAD 00000faf: SWAP3 00000fb0: DUP2 00000fb1: ADD 00000fb2: SWAP3 00000fb3: SWAP1 00000fb4: SWAP3 00000fb5: MSTORE 00000fb6: PUSH1 0x02 00000fb8: ADD 00000fb9: SLOAD 00000fba: SWAP2 00000fbb: DUP2 00000fbc: ADD 00000fbd: SWAP2 00000fbe: SWAP1 00000fbf: SWAP2 00000fc0: MSTORE 00000fc1: PUSH2 0x0fca 00000fc4: SWAP1 00000fc5: DUP9 00000fc6: PUSH2 0x234c 00000fc9: JUMP 00000fca: JUMPDEST 00000fcb: PUSH1 0x0f 00000fcd: DUP1 00000fce: SLOAD 00000fcf: PUSH1 0xff 00000fd1: NOT 00000fd2: AND 00000fd3: SWAP1 00000fd4: SSTORE 00000fd5: JUMPDEST 00000fd6: PUSH2 0x100c 00000fd9: JUMP 00000fda: JUMPDEST 00000fdb: PUSH1 0x00 00000fdd: DUP2 00000fde: DUP2 00000fdf: MSTORE 00000fe0: PUSH1 0x0b 00000fe2: PUSH1 0x20 00000fe4: MSTORE 00000fe5: PUSH1 0x40 00000fe7: SWAP1 00000fe8: KECCAK256 00000fe9: PUSH3 0x01869f 00000fed: PUSH1 0x02 00000fef: DUP3 00000ff0: ADD 00000ff1: SSTORE 00000ff2: DUP1 00000ff3: SLOAD 00000ff4: PUSH1 0x01 00000ff6: SWAP1 00000ff7: SWAP2 00000ff8: ADD 00000ff9: SLOAD 00000ffa: PUSH2 0x0fd5 00000ffd: SWAP2 00000ffe: PUSH1 0x01 00001000: PUSH1 0xa0 00001002: PUSH1 0x02 00001004: EXP 00001005: SUB 00001006: AND 00001007: SWAP1 00001008: PUSH2 0x20db 0000100b: JUMP 0000100c: JUMPDEST 0000100d: JUMPDEST 0000100e: JUMPDEST 0000100f: POP 00001010: JUMPDEST 00001011: POP 00001012: POP 00001013: POP 00001014: JUMPDEST 00001015: POP 00001016: JUMPDEST 00001017: POP 00001018: JUMPDEST 00001019: POP 0000101a: POP 0000101b: POP 0000101c: POP 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x08 00001021: SLOAD 00001022: PUSH1 0xa0 00001024: PUSH1 0x02 00001026: EXP 00001027: SWAP1 00001028: DIV 00001029: PUSH1 0xff 0000102b: AND 0000102c: DUP2 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x04 00001031: PUSH1 0x20 00001033: MSTORE 00001034: PUSH1 0x00 00001036: SWAP1 00001037: DUP2 00001038: MSTORE 00001039: PUSH1 0x40 0000103b: SWAP1 0000103c: KECCAK256 0000103d: DUP1 0000103e: SLOAD 0000103f: PUSH1 0x01 00001041: DUP3 00001042: ADD 00001043: SLOAD 00001044: PUSH1 0x02 00001046: SWAP1 00001047: SWAP3 00001048: ADD 00001049: SLOAD 0000104a: PUSH1 0x01 0000104c: PUSH1 0xa0 0000104e: PUSH1 0x02 00001050: EXP 00001051: SUB 00001052: SWAP1 00001053: SWAP2 00001054: AND 00001055: SWAP2 00001056: SWAP1 00001057: PUSH1 0xff 00001059: AND 0000105a: DUP4 0000105b: JUMP 0000105c: JUMPDEST 0000105d: PUSH1 0x00 0000105f: PUSH1 0x01 00001061: DUP1 00001062: JUMPDEST 00001063: PUSH1 0x05 00001065: SLOAD 00001066: DUP2 00001067: GT 00001068: PUSH2 0x10c0 0000106b: JUMPI 0000106c: PUSH1 0x00 0000106e: DUP3 0000106f: DUP2 00001070: MSTORE 00001071: PUSH1 0x04 00001073: PUSH1 0x20 00001075: MSTORE 00001076: PUSH1 0x40 00001078: SWAP1 00001079: KECCAK256 0000107a: SLOAD 0000107b: PUSH2 0x108c 0000107e: SWAP1 0000107f: PUSH1 0x01 00001081: PUSH1 0xa0 00001083: PUSH1 0x02 00001085: EXP 00001086: SUB 00001087: AND 00001088: PUSH2 0x195b 0000108b: JUMP 0000108c: JUMPDEST 0000108d: PUSH1 0x00 0000108f: DUP3 00001090: DUP2 00001091: MSTORE 00001092: PUSH1 0x04 00001094: PUSH1 0x20 00001096: MSTORE 00001097: PUSH1 0x40 00001099: SWAP1 0000109a: KECCAK256 0000109b: SLOAD 0000109c: PUSH2 0x10ad 0000109f: SWAP1 000010a0: PUSH1 0x01 000010a2: PUSH1 0xa0 000010a4: PUSH1 0x02 000010a6: EXP 000010a7: SUB 000010a8: AND 000010a9: PUSH2 0x195b 000010ac: JUMP 000010ad: JUMPDEST 000010ae: LT 000010af: ISZERO 000010b0: PUSH2 0x10b7 000010b3: JUMPI 000010b4: DUP1 000010b5: SWAP2 000010b6: POP 000010b7: JUMPDEST 000010b8: JUMPDEST 000010b9: PUSH1 0x01 000010bb: ADD 000010bc: PUSH2 0x1062 000010bf: JUMP 000010c0: JUMPDEST 000010c1: DUP2 000010c2: SWAP3 000010c3: POP 000010c4: JUMPDEST 000010c5: POP 000010c6: POP 000010c7: SWAP1 000010c8: JUMP 000010c9: JUMPDEST 000010ca: PUSH1 0x08 000010cc: SLOAD 000010cd: PUSH1 0x00 000010cf: SWAP1 000010d0: PUSH1 0xa0 000010d2: PUSH1 0x02 000010d4: EXP 000010d5: SWAP1 000010d6: DIV 000010d7: PUSH1 0xff 000010d9: AND 000010da: ISZERO 000010db: ISZERO 000010dc: PUSH2 0x10e4 000010df: JUMPI 000010e0: PUSH2 0x0000 000010e3: JUMP 000010e4: JUMPDEST 000010e5: PUSH1 0x07 000010e7: SLOAD 000010e8: CALLER 000010e9: PUSH1 0x01 000010eb: PUSH1 0xa0 000010ed: PUSH1 0x02 000010ef: EXP 000010f0: SUB 000010f1: SWAP1 000010f2: DUP2 000010f3: AND 000010f4: SWAP2 000010f5: AND 000010f6: EQ 000010f7: PUSH2 0x10ff 000010fa: JUMPI 000010fb: PUSH2 0x0000 000010fe: JUMP 000010ff: JUMPDEST 00001100: POP 00001101: PUSH1 0x01 00001103: JUMPDEST 00001104: PUSH1 0x05 00001106: SLOAD 00001107: DUP2 00001108: GT 00001109: PUSH2 0x112e 0000110c: JUMPI 0000110d: PUSH1 0x00 0000110f: DUP2 00001110: DUP2 00001111: MSTORE 00001112: PUSH1 0x04 00001114: PUSH1 0x20 00001116: MSTORE 00001117: PUSH1 0x40 00001119: SWAP1 0000111a: KECCAK256 0000111b: PUSH1 0x02 0000111d: ADD 0000111e: DUP1 0000111f: SLOAD 00001120: PUSH1 0xff 00001122: NOT 00001123: AND 00001124: SWAP1 00001125: SSTORE 00001126: JUMPDEST 00001127: PUSH1 0x01 00001129: ADD 0000112a: PUSH2 0x1103 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH1 0x40 00001131: DUP1 00001132: MLOAD 00001133: DUP1 00001134: DUP3 00001135: ADD 00001136: DUP3 00001137: MSTORE 00001138: DUP4 00001139: DUP2 0000113a: MSTORE 0000113b: TIMESTAMP 0000113c: PUSH1 0x20 0000113e: SWAP1 0000113f: SWAP2 00001140: ADD 00001141: DUP2 00001142: SWAP1 00001143: MSTORE 00001144: PUSH1 0x09 00001146: DUP1 00001147: SLOAD 00001148: PUSH1 0x01 0000114a: PUSH1 0xa0 0000114c: PUSH1 0x02 0000114e: EXP 0000114f: SUB 00001150: NOT 00001151: AND 00001152: PUSH1 0x60 00001154: PUSH1 0x02 00001156: EXP 00001157: DUP1 00001158: DUP8 00001159: MUL 0000115a: DIV 0000115b: OR 0000115c: SWAP1 0000115d: SSTORE 0000115e: PUSH1 0x0a 00001160: SSTORE 00001161: MLOAD 00001162: PUSH32 0x6c0eb56f121418f16eaebbe01cb2694897b8578b3b1c549e634a1b7753ed2d8b 00001183: SWAP1 00001184: PUSH1 0x00 00001186: SWAP1 00001187: LOG1 00001188: JUMPDEST 00001189: JUMPDEST 0000118a: JUMPDEST 0000118b: POP 0000118c: POP 0000118d: JUMP 0000118e: JUMPDEST 0000118f: PUSH1 0x00 00001191: PUSH1 0x00 00001193: PUSH1 0x00 00001195: PUSH1 0x00 00001197: PUSH1 0x00 00001199: PUSH1 0x00 0000119b: PUSH1 0x00 0000119d: PUSH1 0x00 0000119f: PUSH1 0x00 000011a1: PUSH1 0x00 000011a3: PUSH2 0x11aa 000011a6: PUSH2 0x0aa3 000011a9: JUMP 000011aa: JUMPDEST 000011ab: SWAP2 000011ac: POP 000011ad: PUSH2 0x11b4 000011b0: PUSH2 0x13eb 000011b3: JUMP 000011b4: JUMPDEST 000011b5: PUSH1 0x0e 000011b7: SLOAD 000011b8: PUSH1 0x0d 000011ba: SLOAD 000011bb: PUSH1 0x0c 000011bd: SLOAD 000011be: SWAP5 000011bf: SWAP13 000011c0: POP 000011c1: PUSH2 0x03e8 000011c4: SWAP12 000011c5: POP 000011c6: PUSH1 0xbe 000011c8: SWAP11 000011c9: POP 000011ca: PUSH1 0x64 000011cc: SWAP10 000011cd: POP 000011ce: PUSH8 0x02c68af0bb140000 000011d7: SWAP9 000011d8: POP 000011d9: SUB 000011da: SWAP6 000011db: POP 000011dc: SWAP4 000011dd: POP 000011de: SWAP1 000011df: SWAP2 000011e0: POP 000011e1: DUP9 000011e2: SWAP1 000011e3: POP 000011e4: DUP3 000011e5: JUMPDEST 000011e6: POP 000011e7: POP 000011e8: SWAP1 000011e9: SWAP2 000011ea: SWAP3 000011eb: SWAP4 000011ec: SWAP5 000011ed: SWAP6 000011ee: SWAP7 000011ef: SWAP8 000011f0: JUMP 000011f1: JUMPDEST 000011f2: PUSH1 0x07 000011f4: SLOAD 000011f5: CALLER 000011f6: PUSH1 0x01 000011f8: PUSH1 0xa0 000011fa: PUSH1 0x02 000011fc: EXP 000011fd: SUB 000011fe: SWAP1 000011ff: DUP2 00001200: AND 00001201: SWAP2 00001202: AND 00001203: EQ 00001204: PUSH2 0x120c 00001207: JUMPI 00001208: PUSH2 0x0000 0000120b: JUMP 0000120c: JUMPDEST 0000120d: PUSH1 0x01 0000120f: PUSH1 0xf8 00001211: PUSH1 0x02 00001213: EXP 00001214: SUB 00001215: NOT 00001216: DUP2 00001217: AND 00001218: ISZERO 00001219: ISZERO 0000121a: PUSH2 0x1222 0000121d: JUMPI 0000121e: PUSH2 0x0000 00001221: JUMP 00001222: JUMPDEST 00001223: PUSH2 0x0c9f 00001226: PUSH1 0xf8 00001228: PUSH1 0x02 0000122a: EXP 0000122b: DUP3 0000122c: OR 0000122d: PUSH2 0x2437 00001230: JUMP 00001231: JUMPDEST 00001232: JUMPDEST 00001233: JUMPDEST 00001234: POP 00001235: JUMP 00001236: JUMPDEST 00001237: PUSH1 0x07 00001239: SLOAD 0000123a: CALLER 0000123b: PUSH1 0x01 0000123d: PUSH1 0xa0 0000123f: PUSH1 0x02 00001241: EXP 00001242: SUB 00001243: SWAP1 00001244: DUP2 00001245: AND 00001246: SWAP2 00001247: AND 00001248: EQ 00001249: PUSH2 0x1251 0000124c: JUMPI 0000124d: PUSH2 0x0000 00001250: JUMP 00001251: JUMPDEST 00001252: PUSH1 0x08 00001254: SLOAD 00001255: PUSH1 0xa0 00001257: PUSH1 0x02 00001259: EXP 0000125a: SWAP1 0000125b: DIV 0000125c: PUSH1 0xff 0000125e: AND 0000125f: ISZERO 00001260: ISZERO 00001261: PUSH2 0x1269 00001264: JUMPI 00001265: PUSH2 0x0000 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH2 0x1272 0000126d: DUP2 0000126e: PUSH2 0x1d81 00001271: JUMP 00001272: JUMPDEST 00001273: PUSH1 0x09 00001275: DUP1 00001276: SLOAD 00001277: PUSH1 0x01 00001279: PUSH1 0xa0 0000127b: PUSH1 0x02 0000127d: EXP 0000127e: SUB 0000127f: NOT 00001280: AND 00001281: SWAP1 00001282: SSTORE 00001283: PUSH1 0x00 00001285: PUSH1 0x0a 00001287: SSTORE 00001288: JUMPDEST 00001289: JUMPDEST 0000128a: JUMPDEST 0000128b: POP 0000128c: JUMP 0000128d: JUMPDEST 0000128e: PUSH1 0x09 00001290: SLOAD 00001291: PUSH1 0x0a 00001293: SLOAD 00001294: PUSH1 0x01 00001296: PUSH1 0xa0 00001298: PUSH1 0x02 0000129a: EXP 0000129b: SUB 0000129c: SWAP1 0000129d: SWAP2 0000129e: AND 0000129f: SWAP1 000012a0: DUP3 000012a1: JUMP 000012a2: JUMPDEST 000012a3: PUSH1 0x00 000012a5: DUP1 000012a6: SLOAD 000012a7: PUSH1 0x40 000012a9: DUP1 000012aa: MLOAD 000012ab: PUSH1 0x20 000012ad: SWAP1 000012ae: DUP2 000012af: ADD 000012b0: DUP5 000012b1: SWAP1 000012b2: MSTORE 000012b3: DUP2 000012b4: MLOAD 000012b5: PUSH1 0xe0 000012b7: PUSH1 0x02 000012b9: EXP 000012ba: PUSH4 0x38cc4831 000012bf: MUL 000012c0: DUP2 000012c1: MSTORE 000012c2: SWAP2 000012c3: MLOAD 000012c4: DUP5 000012c5: SWAP4 000012c6: DUP5 000012c7: SWAP4 000012c8: PUSH1 0x01 000012ca: PUSH1 0xa0 000012cc: PUSH1 0x02 000012ce: EXP 000012cf: SUB 000012d0: SWAP1 000012d1: SWAP2 000012d2: AND 000012d3: SWAP3 000012d4: PUSH4 0x38cc4831 000012d9: SWAP3 000012da: PUSH1 0x04 000012dc: DUP1 000012dd: DUP5 000012de: ADD 000012df: SWAP4 000012e0: DUP3 000012e1: SWAP1 000012e2: SUB 000012e3: ADD 000012e4: DUP2 000012e5: DUP8 000012e6: DUP8 000012e7: DUP1 000012e8: EXTCODESIZE 000012e9: ISZERO 000012ea: PUSH2 0x0000 000012ed: JUMPI 000012ee: PUSH1 0x32 000012f0: GAS 000012f1: SUB 000012f2: CALL 000012f3: ISZERO 000012f4: PUSH2 0x0000 000012f7: JUMPI 000012f8: POP 000012f9: POP 000012fa: PUSH1 0x40 000012fc: DUP1 000012fd: MLOAD 000012fe: DUP1 000012ff: MLOAD 00001300: PUSH1 0x02 00001302: SLOAD 00001303: PUSH1 0x00 00001305: PUSH1 0x20 00001307: SWAP4 00001308: DUP5 00001309: ADD 0000130a: DUP2 0000130b: SWAP1 0000130c: MSTORE 0000130d: DUP5 0000130e: MLOAD 0000130f: PUSH1 0xe2 00001311: PUSH1 0x02 00001313: EXP 00001314: PUSH4 0x0bbceb33 00001319: MUL 0000131a: DUP2 0000131b: MSTORE 0000131c: PUSH3 0x02ab98 00001320: SWAP1 00001321: SWAP3 00001322: ADD 00001323: PUSH1 0x24 00001325: DUP4 00001326: ADD 00001327: MSTORE 00001328: PUSH1 0x04 0000132a: DUP3 0000132b: ADD 0000132c: DUP6 0000132d: SWAP1 0000132e: MSTORE 0000132f: PUSH1 0x03 00001331: PUSH1 0x44 00001333: DUP4 00001334: ADD 00001335: MSTORE 00001336: PUSH1 0xea 00001338: PUSH1 0x02 0000133a: EXP 0000133b: PUSH3 0x155493 0000133f: MUL 00001340: PUSH1 0x64 00001342: DUP4 00001343: ADD 00001344: MSTORE 00001345: SWAP4 00001346: MLOAD 00001347: PUSH1 0x01 00001349: PUSH1 0xa0 0000134b: PUSH1 0x02 0000134d: EXP 0000134e: SUB 0000134f: SWAP1 00001350: SWAP3 00001351: AND 00001352: SWAP5 00001353: POP 00001354: PUSH4 0x2ef3accc 00001359: SWAP4 0000135a: PUSH1 0x84 0000135c: DUP1 0000135d: DUP4 0000135e: ADD 0000135f: SWAP5 00001360: SWAP4 00001361: SWAP3 00001362: DUP4 00001363: SWAP1 00001364: SUB 00001365: ADD 00001366: SWAP1 00001367: DUP3 00001368: SWAP1 00001369: DUP8 0000136a: DUP1 0000136b: EXTCODESIZE 0000136c: ISZERO 0000136d: PUSH2 0x0000 00001370: JUMPI 00001371: PUSH1 0x32 00001373: GAS 00001374: SUB 00001375: CALL 00001376: ISZERO 00001377: PUSH2 0x0000 0000137a: JUMPI 0000137b: POP 0000137c: POP 0000137d: PUSH1 0x40 0000137f: MLOAD 00001380: MLOAD 00001381: SWAP3 00001382: POP 00001383: PUSH4 0x05404ca0 00001388: SWAP1 00001389: POP 0000138a: PUSH2 0x03e8 0000138d: PUSH2 0x1394 00001390: PUSH2 0x0aa3 00001393: JUMP 00001394: JUMPDEST 00001395: PUSH1 0x64 00001397: MUL 00001398: MUL 00001399: DUP2 0000139a: ISZERO 0000139b: PUSH2 0x0000 0000139e: JUMPI 0000139f: DIV 000013a0: SWAP1 000013a1: POP 000013a2: DUP2 000013a3: DUP2 000013a4: ADD 000013a5: SWAP3 000013a6: POP 000013a7: JUMPDEST 000013a8: POP 000013a9: POP 000013aa: SWAP1 000013ab: JUMP 000013ac: JUMPDEST 000013ad: PUSH1 0x0e 000013af: SLOAD 000013b0: DUP2 000013b1: JUMP 000013b2: JUMPDEST 000013b3: PUSH1 0x0d 000013b5: SLOAD 000013b6: DUP2 000013b7: JUMP 000013b8: JUMPDEST 000013b9: PUSH1 0x03 000013bb: PUSH1 0x20 000013bd: MSTORE 000013be: PUSH1 0x00 000013c0: SWAP1 000013c1: DUP2 000013c2: MSTORE 000013c3: PUSH1 0x40 000013c5: SWAP1 000013c6: KECCAK256 000013c7: SLOAD 000013c8: DUP2 000013c9: JUMP 000013ca: JUMPDEST 000013cb: PUSH1 0x0c 000013cd: DUP2 000013ce: DUP2 000013cf: SLOAD 000013d0: DUP2 000013d1: LT 000013d2: ISZERO 000013d3: PUSH2 0x0000 000013d6: JUMPI 000013d7: SWAP1 000013d8: PUSH1 0x00 000013da: MSTORE 000013db: PUSH1 0x20 000013dd: PUSH1 0x00 000013df: KECCAK256 000013e0: SWAP1 000013e1: ADD 000013e2: PUSH1 0x00 000013e4: JUMPDEST 000013e5: POP 000013e6: SLOAD 000013e7: SWAP1 000013e8: POP 000013e9: DUP2 000013ea: JUMP 000013eb: JUMPDEST 000013ec: PUSH1 0x00 000013ee: PUSH1 0x00 000013f0: PUSH1 0x0a 000013f2: PUSH1 0x05 000013f4: SLOAD 000013f5: EQ 000013f6: ISZERO 000013f7: PUSH2 0x1431 000013fa: JUMPI 000013fb: PUSH2 0x1402 000013fe: PUSH2 0x105c 00001401: JUMP 00001402: JUMPDEST 00001403: PUSH1 0x00 00001405: DUP2 00001406: DUP2 00001407: MSTORE 00001408: PUSH1 0x04 0000140a: PUSH1 0x20 0000140c: MSTORE 0000140d: PUSH1 0x40 0000140f: SWAP1 00001410: KECCAK256 00001411: SLOAD 00001412: SWAP1 00001413: SWAP2 00001414: POP 00001415: PUSH2 0x1426 00001418: SWAP1 00001419: PUSH1 0x01 0000141b: PUSH1 0xa0 0000141d: PUSH1 0x02 0000141f: EXP 00001420: SUB 00001421: AND 00001422: PUSH2 0x195b 00001425: JUMP 00001426: JUMPDEST 00001427: SWAP2 00001428: POP 00001429: PUSH2 0x09dc 0000142c: JUMP 0000142d: PUSH2 0x09dc 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x00 00001434: SWAP2 00001435: POP 00001436: PUSH2 0x09dc 00001439: JUMP 0000143a: JUMPDEST 0000143b: JUMPDEST 0000143c: POP 0000143d: SWAP1 0000143e: JUMP 0000143f: JUMPDEST 00001440: PUSH1 0x00 00001442: DUP1 00001443: SLOAD 00001444: PUSH1 0x40 00001446: DUP1 00001447: MLOAD 00001448: PUSH1 0x20 0000144a: SWAP1 0000144b: DUP2 0000144c: ADD 0000144d: DUP5 0000144e: SWAP1 0000144f: MSTORE 00001450: DUP2 00001451: MLOAD 00001452: PUSH1 0xe0 00001454: PUSH1 0x02 00001456: EXP 00001457: PUSH4 0x38cc4831 0000145c: MUL 0000145d: DUP2 0000145e: MSTORE 0000145f: SWAP2 00001460: MLOAD 00001461: DUP5 00001462: SWAP4 00001463: PUSH1 0x01 00001465: PUSH1 0xa0 00001467: PUSH1 0x02 00001469: EXP 0000146a: SUB 0000146b: AND 0000146c: SWAP3 0000146d: PUSH4 0x38cc4831 00001472: SWAP3 00001473: PUSH1 0x04 00001475: DUP1 00001476: DUP4 00001477: ADD 00001478: SWAP4 00001479: SWAP2 0000147a: SWAP3 0000147b: DUP3 0000147c: SWAP1 0000147d: SUB 0000147e: ADD 0000147f: DUP2 00001480: DUP8 00001481: DUP8 00001482: DUP1 00001483: EXTCODESIZE 00001484: ISZERO 00001485: PUSH2 0x0000 00001488: JUMPI 00001489: PUSH1 0x32 0000148b: GAS 0000148c: SUB 0000148d: CALL 0000148e: ISZERO 0000148f: PUSH2 0x0000 00001492: JUMPI 00001493: POP 00001494: POP 00001495: PUSH1 0x40 00001497: DUP1 00001498: MLOAD 00001499: DUP1 0000149a: MLOAD 0000149b: PUSH1 0x02 0000149d: SLOAD 0000149e: PUSH1 0x00 000014a0: PUSH1 0x20 000014a2: SWAP4 000014a3: DUP5 000014a4: ADD 000014a5: DUP2 000014a6: SWAP1 000014a7: MSTORE 000014a8: DUP5 000014a9: MLOAD 000014aa: PUSH1 0xe2 000014ac: PUSH1 0x02 000014ae: EXP 000014af: PUSH4 0x0bbceb33 000014b4: MUL 000014b5: DUP2 000014b6: MSTORE 000014b7: PUSH3 0x02ab98 000014bb: SWAP1 000014bc: SWAP3 000014bd: ADD 000014be: PUSH1 0x24 000014c0: DUP4 000014c1: ADD 000014c2: MSTORE 000014c3: PUSH1 0x04 000014c5: DUP3 000014c6: ADD 000014c7: DUP6 000014c8: SWAP1 000014c9: MSTORE 000014ca: PUSH1 0x03 000014cc: PUSH1 0x44 000014ce: DUP4 000014cf: ADD 000014d0: MSTORE 000014d1: PUSH1 0xea 000014d3: PUSH1 0x02 000014d5: EXP 000014d6: PUSH3 0x155493 000014da: MUL 000014db: PUSH1 0x64 000014dd: DUP4 000014de: ADD 000014df: MSTORE 000014e0: SWAP4 000014e1: MLOAD 000014e2: PUSH1 0x01 000014e4: PUSH1 0xa0 000014e6: PUSH1 0x02 000014e8: EXP 000014e9: SUB 000014ea: SWAP1 000014eb: SWAP3 000014ec: AND 000014ed: SWAP5 000014ee: POP 000014ef: PUSH4 0x2ef3accc 000014f4: SWAP4 000014f5: PUSH1 0x84 000014f7: DUP1 000014f8: DUP4 000014f9: ADD 000014fa: SWAP5 000014fb: SWAP4 000014fc: SWAP3 000014fd: DUP4 000014fe: SWAP1 000014ff: SUB 00001500: ADD 00001501: SWAP1 00001502: DUP3 00001503: SWAP1 00001504: DUP8 00001505: DUP1 00001506: EXTCODESIZE 00001507: ISZERO 00001508: PUSH2 0x0000 0000150b: JUMPI 0000150c: PUSH1 0x32 0000150e: GAS 0000150f: SUB 00001510: CALL 00001511: ISZERO 00001512: PUSH2 0x0000 00001515: JUMPI 00001516: POP 00001517: POP 00001518: PUSH1 0x40 0000151a: MLOAD 0000151b: MLOAD 0000151c: PUSH8 0x02c68af0bb140000 00001525: DUP2 00001526: ADD 00001527: SWAP4 00001528: POP 00001529: SWAP2 0000152a: POP 0000152b: POP 0000152c: JUMPDEST 0000152d: POP 0000152e: SWAP1 0000152f: JUMP 00001530: JUMPDEST 00001531: PUSH1 0x07 00001533: SLOAD 00001534: CALLER 00001535: PUSH1 0x01 00001537: PUSH1 0xa0 00001539: PUSH1 0x02 0000153b: EXP 0000153c: SUB 0000153d: SWAP1 0000153e: DUP2 0000153f: AND 00001540: SWAP2 00001541: AND 00001542: EQ 00001543: PUSH2 0x154b 00001546: JUMPI 00001547: PUSH2 0x0000 0000154a: JUMP 0000154b: JUMPDEST 0000154c: PUSH1 0x01 0000154e: PUSH1 0xa0 00001550: PUSH1 0x02 00001552: EXP 00001553: SUB 00001554: DUP2 00001555: AND 00001556: ISZERO 00001557: ISZERO 00001558: PUSH2 0x1560 0000155b: JUMPI 0000155c: PUSH2 0x0000 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x07 00001563: DUP1 00001564: SLOAD 00001565: PUSH1 0x01 00001567: PUSH1 0xa0 00001569: PUSH1 0x02 0000156b: EXP 0000156c: SUB 0000156d: NOT 0000156e: AND 0000156f: PUSH1 0x60 00001571: PUSH1 0x02 00001573: EXP 00001574: DUP4 00001575: DUP2 00001576: MUL 00001577: DIV 00001578: OR 00001579: SWAP1 0000157a: DUP2 0000157b: SWAP1 0000157c: SSTORE 0000157d: PUSH1 0x40 0000157f: DUP1 00001580: MLOAD 00001581: PUSH1 0x01 00001583: PUSH1 0xa0 00001585: PUSH1 0x02 00001587: EXP 00001588: SUB 00001589: SWAP3 0000158a: DUP4 0000158b: AND 0000158c: DUP2 0000158d: MSTORE 0000158e: SWAP2 0000158f: DUP4 00001590: AND 00001591: PUSH1 0x20 00001593: DUP4 00001594: ADD 00001595: MSTORE 00001596: DUP1 00001597: MLOAD 00001598: PUSH32 0x4f67fe223bca69f22bf24552638f3c95bfb9e9763c4a33a3aa67a46484d81c2b 000015b9: SWAP3 000015ba: DUP2 000015bb: SWAP1 000015bc: SUB 000015bd: SWAP1 000015be: SWAP2 000015bf: ADD 000015c0: SWAP1 000015c1: LOG1 000015c2: JUMPDEST 000015c3: JUMPDEST 000015c4: POP 000015c5: JUMP 000015c6: JUMPDEST 000015c7: PUSH1 0x07 000015c9: SLOAD 000015ca: PUSH1 0x01 000015cc: PUSH1 0xa0 000015ce: PUSH1 0x02 000015d0: EXP 000015d1: SUB 000015d2: AND 000015d3: DUP2 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x08 000015d8: SLOAD 000015d9: PUSH1 0xa0 000015db: PUSH1 0x02 000015dd: EXP 000015de: SWAP1 000015df: DIV 000015e0: PUSH1 0xff 000015e2: AND 000015e3: ISZERO 000015e4: PUSH2 0x15ec 000015e7: JUMPI 000015e8: PUSH2 0x0000 000015eb: JUMP 000015ec: JUMPDEST 000015ed: CALLVALUE 000015ee: ISZERO 000015ef: ISZERO 000015f0: PUSH2 0x15f8 000015f3: JUMPI 000015f4: PUSH2 0x0000 000015f7: JUMP 000015f8: JUMPDEST 000015f9: PUSH1 0x01 000015fb: PUSH1 0xa0 000015fd: PUSH1 0x02 000015ff: EXP 00001600: SUB 00001601: CALLER 00001602: AND 00001603: PUSH1 0x00 00001605: SWAP1 00001606: DUP2 00001607: MSTORE 00001608: PUSH1 0x03 0000160a: PUSH1 0x20 0000160c: MSTORE 0000160d: PUSH1 0x40 0000160f: SWAP1 00001610: KECCAK256 00001611: SLOAD 00001612: ISZERO 00001613: ISZERO 00001614: PUSH2 0x161c 00001617: JUMPI 00001618: PUSH2 0x0000 0000161b: JUMP 0000161c: JUMPDEST 0000161d: PUSH2 0x1624 00001620: PUSH2 0x254e 00001623: JUMP 00001624: JUMPDEST 00001625: PUSH1 0x01 00001627: PUSH1 0xa0 00001629: PUSH1 0x02 0000162b: EXP 0000162c: SUB 0000162d: CALLER 0000162e: AND 0000162f: PUSH1 0x00 00001631: SWAP1 00001632: DUP2 00001633: MSTORE 00001634: PUSH1 0x03 00001636: PUSH1 0x20 00001638: SWAP1 00001639: DUP2 0000163a: MSTORE 0000163b: PUSH1 0x40 0000163d: DUP1 0000163e: DUP4 0000163f: KECCAK256 00001640: SLOAD 00001641: DUP4 00001642: MSTORE 00001643: PUSH1 0x04 00001645: SWAP1 00001646: SWAP2 00001647: MSTORE 00001648: SWAP1 00001649: KECCAK256 0000164a: PUSH1 0x01 0000164c: ADD 0000164d: DUP1 0000164e: SLOAD 0000164f: CALLVALUE 00001650: SWAP1 00001651: DUP2 00001652: ADD 00001653: SWAP1 00001654: SWAP2 00001655: SSTORE 00001656: PUSH1 0x06 00001658: DUP1 00001659: SLOAD 0000165a: SWAP1 0000165b: SWAP2 0000165c: ADD 0000165d: SWAP1 0000165e: SSTORE 0000165f: JUMPDEST 00001660: JUMPDEST 00001661: JUMPDEST 00001662: JUMPDEST 00001663: JUMP 00001664: JUMPDEST 00001665: PUSH1 0x07 00001667: SLOAD 00001668: CALLER 00001669: PUSH1 0x01 0000166b: PUSH1 0xa0 0000166d: PUSH1 0x02 0000166f: EXP 00001670: SUB 00001671: SWAP1 00001672: DUP2 00001673: AND 00001674: SWAP2 00001675: AND 00001676: EQ 00001677: PUSH2 0x167f 0000167a: JUMPI 0000167b: PUSH2 0x0000 0000167e: JUMP 0000167f: JUMPDEST 00001680: PUSH1 0x08 00001682: DUP1 00001683: SLOAD 00001684: PUSH1 0xa0 00001686: PUSH1 0x02 00001688: EXP 00001689: PUSH1 0xff 0000168b: MUL 0000168c: NOT 0000168d: AND 0000168e: SWAP1 0000168f: SSTORE 00001690: PUSH1 0x40 00001692: MLOAD 00001693: PUSH32 0xadf8f79dd508a8e1881e3cca67a5af02a21f971925c3a6a6cb8fc165d07e3463 000016b4: SWAP1 000016b5: PUSH1 0x00 000016b7: SWAP1 000016b8: LOG1 000016b9: JUMPDEST 000016ba: JUMPDEST 000016bb: JUMP 000016bc: JUMPDEST 000016bd: PUSH1 0x0b 000016bf: PUSH1 0x20 000016c1: MSTORE 000016c2: PUSH1 0x00 000016c4: SWAP1 000016c5: DUP2 000016c6: MSTORE 000016c7: PUSH1 0x40 000016c9: SWAP1 000016ca: KECCAK256 000016cb: DUP1 000016cc: SLOAD 000016cd: PUSH1 0x01 000016cf: DUP3 000016d0: ADD 000016d1: SLOAD 000016d2: PUSH1 0x02 000016d4: SWAP1 000016d5: SWAP3 000016d6: ADD 000016d7: SLOAD 000016d8: PUSH1 0x01 000016da: PUSH1 0xa0 000016dc: PUSH1 0x02 000016de: EXP 000016df: SUB 000016e0: SWAP1 000016e1: SWAP2 000016e2: AND 000016e3: SWAP2 000016e4: SWAP1 000016e5: DUP4 000016e6: JUMP 000016e7: JUMPDEST 000016e8: PUSH1 0x06 000016ea: SLOAD 000016eb: DUP2 000016ec: JUMP 000016ed: JUMPDEST 000016ee: PUSH1 0x07 000016f0: SLOAD 000016f1: CALLER 000016f2: PUSH1 0x01 000016f4: PUSH1 0xa0 000016f6: PUSH1 0x02 000016f8: EXP 000016f9: SUB 000016fa: SWAP1 000016fb: DUP2 000016fc: AND 000016fd: SWAP2 000016fe: AND 000016ff: EQ 00001700: PUSH2 0x1708 00001703: JUMPI 00001704: PUSH2 0x0000 00001707: JUMP 00001708: JUMPDEST 00001709: DUP1 0000170a: PUSH3 0x02ab98 0000170e: DUP2 0000170f: PUSH3 0x02ab98 00001713: ADD 00001714: LT 00001715: ISZERO 00001716: PUSH2 0x171e 00001719: JUMPI 0000171a: PUSH2 0x0000 0000171d: JUMP 0000171e: JUMPDEST 0000171f: PUSH2 0x61a8 00001722: DUP2 00001723: LT 00001724: ISZERO 00001725: PUSH2 0x172d 00001728: JUMPI 00001729: PUSH2 0x0000 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH1 0x02 00001730: DUP3 00001731: SWAP1 00001732: SSTORE 00001733: PUSH1 0x40 00001735: DUP1 00001736: MLOAD 00001737: DUP4 00001738: DUP2 00001739: MSTORE 0000173a: PUSH1 0x20 0000173c: DUP2 0000173d: ADD 0000173e: DUP5 0000173f: SWAP1 00001740: MSTORE 00001741: DUP2 00001742: MLOAD 00001743: PUSH32 0xb5e4ece1f96cc168fddcead7ee209f969a93607238c585767ea80fad5fe884b2 00001764: SWAP3 00001765: SWAP2 00001766: DUP2 00001767: SWAP1 00001768: SUB 00001769: SWAP1 0000176a: SWAP2 0000176b: ADD 0000176c: SWAP1 0000176d: LOG1 0000176e: JUMPDEST 0000176f: JUMPDEST 00001770: POP 00001771: JUMPDEST 00001772: POP 00001773: JUMP 00001774: JUMPDEST 00001775: PUSH1 0x08 00001777: SLOAD 00001778: PUSH1 0x01 0000177a: PUSH1 0xa0 0000177c: PUSH1 0x02 0000177e: EXP 0000177f: SUB 00001780: AND 00001781: DUP2 00001782: JUMP 00001783: JUMPDEST 00001784: PUSH1 0x07 00001786: SLOAD 00001787: CALLER 00001788: PUSH1 0x01 0000178a: PUSH1 0xa0 0000178c: PUSH1 0x02 0000178e: EXP 0000178f: SUB 00001790: SWAP1 00001791: DUP2 00001792: AND 00001793: SWAP2 00001794: AND 00001795: EQ 00001796: PUSH2 0x179e 00001799: JUMPI 0000179a: PUSH2 0x0000 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH2 0x0c9f 000017a2: DUP2 000017a3: PUSH2 0x26e9 000017a6: JUMP 000017a7: JUMPDEST 000017a8: JUMPDEST 000017a9: JUMPDEST 000017aa: POP 000017ab: JUMP 000017ac: JUMPDEST 000017ad: PUSH1 0x0c 000017af: SLOAD 000017b0: JUMPDEST 000017b1: SWAP1 000017b2: JUMP 000017b3: JUMPDEST 000017b4: PUSH1 0x07 000017b6: SLOAD 000017b7: PUSH1 0x00 000017b9: SWAP1 000017ba: DUP2 000017bb: SWAP1 000017bc: DUP2 000017bd: SWAP1 000017be: CALLER 000017bf: PUSH1 0x01 000017c1: PUSH1 0xa0 000017c3: PUSH1 0x02 000017c5: EXP 000017c6: SUB 000017c7: SWAP1 000017c8: DUP2 000017c9: AND 000017ca: SWAP2 000017cb: AND 000017cc: EQ 000017cd: PUSH2 0x17d5 000017d0: JUMPI 000017d1: PUSH2 0x0000 000017d4: JUMP 000017d5: JUMPDEST 000017d6: PUSH1 0x09 000017d8: SLOAD 000017d9: PUSH1 0x01 000017db: PUSH1 0xa0 000017dd: PUSH1 0x02 000017df: EXP 000017e0: SUB 000017e1: AND 000017e2: ISZERO 000017e3: ISZERO 000017e4: PUSH2 0x17ec 000017e7: JUMPI 000017e8: PUSH2 0x0000 000017eb: JUMP 000017ec: JUMPDEST 000017ed: PUSH1 0x08 000017ef: SLOAD 000017f0: PUSH1 0xa0 000017f2: PUSH1 0x02 000017f4: EXP 000017f5: SWAP1 000017f6: DIV 000017f7: PUSH1 0xff 000017f9: AND 000017fa: ISZERO 000017fb: ISZERO 000017fc: PUSH2 0x1804 000017ff: JUMPI 00001800: PUSH2 0x0000 00001803: JUMP 00001804: JUMPDEST 00001805: TIMESTAMP 00001806: PUSH3 0x03f480 0000180a: PUSH1 0x09 0000180c: PUSH1 0x01 0000180e: ADD 0000180f: SLOAD 00001810: ADD 00001811: GT 00001812: ISZERO 00001813: PUSH2 0x181b 00001816: JUMPI 00001817: PUSH2 0x0000 0000181a: JUMP 0000181b: JUMPDEST 0000181c: POP 0000181d: POP 0000181e: PUSH1 0x01 00001820: PUSH1 0xa0 00001822: PUSH1 0x02 00001824: EXP 00001825: SUB 00001826: ADDRESS 00001827: AND 00001828: BALANCE 00001829: PUSH1 0x01 0000182b: JUMPDEST 0000182c: PUSH1 0x05 0000182e: SLOAD 0000182f: DUP2 00001830: GT 00001831: PUSH2 0x187c 00001834: JUMPI 00001835: PUSH1 0x00 00001837: DUP2 00001838: DUP2 00001839: MSTORE 0000183a: PUSH1 0x04 0000183c: PUSH1 0x20 0000183e: MSTORE 0000183f: PUSH1 0x40 00001841: SWAP1 00001842: KECCAK256 00001843: PUSH1 0x02 00001845: ADD 00001846: SLOAD 00001847: PUSH1 0xff 00001849: AND 0000184a: ISZERO 0000184b: ISZERO 0000184c: PUSH1 0x01 0000184e: EQ 0000184f: ISZERO 00001850: PUSH2 0x1873 00001853: JUMPI 00001854: PUSH1 0x00 00001856: DUP2 00001857: DUP2 00001858: MSTORE 00001859: PUSH1 0x04 0000185b: PUSH1 0x20 0000185d: MSTORE 0000185e: PUSH1 0x40 00001860: SWAP1 00001861: KECCAK256 00001862: PUSH1 0x02 00001864: ADD 00001865: DUP1 00001866: SLOAD 00001867: PUSH1 0xff 00001869: NOT 0000186a: AND 0000186b: SWAP1 0000186c: SSTORE 0000186d: PUSH1 0x01 0000186f: SWAP1 00001870: SWAP3 00001871: ADD 00001872: SWAP2 00001873: JUMPDEST 00001874: JUMPDEST 00001875: PUSH1 0x01 00001877: ADD 00001878: PUSH2 0x182b 0000187b: JUMP 0000187c: JUMPDEST 0000187d: PUSH1 0x05 0000187f: SLOAD 00001880: PUSH1 0x64 00001882: SWAP1 00001883: PUSH1 0x0a 00001885: MUL 00001886: DIV 00001887: DUP4 00001888: LT 00001889: PUSH2 0x09fc 0000188c: JUMPI 0000188d: PUSH1 0x09 0000188f: SLOAD 00001890: PUSH1 0x40 00001892: MLOAD 00001893: PUSH1 0x01 00001895: PUSH1 0xa0 00001897: PUSH1 0x02 00001899: EXP 0000189a: SUB 0000189b: SWAP1 0000189c: SWAP2 0000189d: AND 0000189e: SWAP1 0000189f: DUP4 000018a0: ISZERO 000018a1: PUSH2 0x08fc 000018a4: MUL 000018a5: SWAP1 000018a6: DUP5 000018a7: SWAP1 000018a8: PUSH1 0x00 000018aa: DUP2 000018ab: DUP2 000018ac: DUP2 000018ad: DUP6 000018ae: DUP9 000018af: DUP9 000018b0: CALL 000018b1: SWAP4 000018b2: POP 000018b3: POP 000018b4: POP 000018b5: POP 000018b6: ISZERO 000018b7: ISZERO 000018b8: PUSH2 0x18ff 000018bb: JUMPI 000018bc: PUSH1 0x09 000018be: SLOAD 000018bf: PUSH1 0x40 000018c1: DUP1 000018c2: MLOAD 000018c3: PUSH1 0x01 000018c5: PUSH1 0xa0 000018c7: PUSH1 0x02 000018c9: EXP 000018ca: SUB 000018cb: SWAP1 000018cc: SWAP3 000018cd: AND 000018ce: DUP3 000018cf: MSTORE 000018d0: MLOAD 000018d1: PUSH32 0x0fd1ed783bf9505e3fc2545a18e022b8bd048d240d98a3c959646ccebd569b39 000018f2: SWAP2 000018f3: DUP2 000018f4: SWAP1 000018f5: SUB 000018f6: PUSH1 0x20 000018f8: ADD 000018f9: SWAP1 000018fa: LOG1 000018fb: PUSH2 0x1947 000018fe: JUMP 000018ff: JUMPDEST 00001900: PUSH1 0x09 00001902: SLOAD 00001903: PUSH1 0x40 00001905: DUP1 00001906: MLOAD 00001907: PUSH1 0x01 00001909: PUSH1 0xa0 0000190b: PUSH1 0x02 0000190d: EXP 0000190e: SUB 0000190f: SWAP1 00001910: SWAP3 00001911: AND 00001912: DUP3 00001913: MSTORE 00001914: PUSH1 0x20 00001916: DUP3 00001917: ADD 00001918: DUP5 00001919: SWAP1 0000191a: MSTORE 0000191b: DUP1 0000191c: MLOAD 0000191d: PUSH32 0xe0376e740df28d6cbdef46880b37136bc75e027766e3295d4af8a44c557ae732 0000193e: SWAP3 0000193f: DUP2 00001940: SWAP1 00001941: SUB 00001942: SWAP1 00001943: SWAP2 00001944: ADD 00001945: SWAP1 00001946: LOG1 00001947: JUMPDEST 00001948: PUSH2 0x0a01 0000194b: JUMP 0000194c: JUMPDEST 0000194d: PUSH2 0x0000 00001950: JUMP 00001951: JUMPDEST 00001952: JUMPDEST 00001953: JUMPDEST 00001954: JUMPDEST 00001955: JUMPDEST 00001956: JUMPDEST 00001957: POP 00001958: POP 00001959: POP 0000195a: JUMP 0000195b: JUMPDEST 0000195c: PUSH1 0x01 0000195e: PUSH1 0xa0 00001960: PUSH1 0x02 00001962: EXP 00001963: SUB 00001964: DUP2 00001965: AND 00001966: PUSH1 0x00 00001968: SWAP1 00001969: DUP2 0000196a: MSTORE 0000196b: PUSH1 0x03 0000196d: PUSH1 0x20 0000196f: SWAP1 00001970: DUP2 00001971: MSTORE 00001972: PUSH1 0x40 00001974: DUP1 00001975: DUP4 00001976: KECCAK256 00001977: SLOAD 00001978: DUP4 00001979: MSTORE 0000197a: PUSH1 0x04 0000197c: SWAP1 0000197d: SWAP2 0000197e: MSTORE 0000197f: DUP2 00001980: KECCAK256 00001981: PUSH1 0x01 00001983: ADD 00001984: SLOAD 00001985: DUP2 00001986: DUP1 00001987: PUSH2 0x198f 0000198a: DUP6 0000198b: PUSH2 0x0af0 0000198e: JUMP 0000198f: JUMPDEST 00001990: SWAP2 00001991: POP 00001992: PUSH2 0x199a 00001995: DUP6 00001996: PUSH2 0x0b96 00001999: JUMP 0000199a: JUMPDEST 0000199b: SWAP1 0000199c: POP 0000199d: DUP2 0000199e: DUP3 0000199f: DUP5 000019a0: ADD 000019a1: LT 000019a2: DUP1 000019a3: PUSH2 0x19ad 000019a6: JUMPI 000019a7: POP 000019a8: DUP3 000019a9: DUP3 000019aa: DUP5 000019ab: ADD 000019ac: LT 000019ad: JUMPDEST 000019ae: DUP1 000019af: PUSH2 0x19b9 000019b2: JUMPI 000019b3: POP 000019b4: DUP1 000019b5: DUP3 000019b6: DUP5 000019b7: ADD 000019b8: LT 000019b9: JUMPDEST 000019ba: ISZERO 000019bb: PUSH2 0x19cb 000019be: JUMPI 000019bf: PUSH1 0x00 000019c1: SWAP4 000019c2: POP 000019c3: PUSH2 0x19d3 000019c6: JUMP 000019c7: PUSH2 0x19d3 000019ca: JUMP 000019cb: JUMPDEST 000019cc: DUP1 000019cd: DUP3 000019ce: DUP5 000019cf: ADD 000019d0: SUB 000019d1: SWAP4 000019d2: POP 000019d3: JUMPDEST 000019d4: JUMPDEST 000019d5: POP 000019d6: POP 000019d7: POP 000019d8: SWAP2 000019d9: SWAP1 000019da: POP 000019db: JUMP 000019dc: JUMPDEST 000019dd: PUSH1 0x08 000019df: SLOAD 000019e0: PUSH1 0x00 000019e2: SWAP1 000019e3: PUSH1 0xa0 000019e5: PUSH1 0x02 000019e7: EXP 000019e8: SWAP1 000019e9: DIV 000019ea: PUSH1 0xff 000019ec: AND 000019ed: ISZERO 000019ee: PUSH2 0x19f6 000019f1: JUMPI 000019f2: PUSH2 0x0000 000019f5: JUMP 000019f6: JUMPDEST 000019f7: CALLVALUE 000019f8: ISZERO 000019f9: ISZERO 000019fa: PUSH2 0x1a02 000019fd: JUMPI 000019fe: PUSH2 0x0000 00001a01: JUMP 00001a02: JUMPDEST 00001a03: PUSH1 0x01 00001a05: PUSH1 0xa0 00001a07: PUSH1 0x02 00001a09: EXP 00001a0a: SUB 00001a0b: CALLER 00001a0c: AND 00001a0d: PUSH1 0x00 00001a0f: SWAP1 00001a10: DUP2 00001a11: MSTORE 00001a12: PUSH1 0x03 00001a14: PUSH1 0x20 00001a16: MSTORE 00001a17: PUSH1 0x40 00001a19: SWAP1 00001a1a: KECCAK256 00001a1b: SLOAD 00001a1c: ISZERO 00001a1d: PUSH2 0x1a25 00001a20: JUMPI 00001a21: PUSH2 0x0000 00001a24: JUMP 00001a25: JUMPDEST 00001a26: PUSH2 0x1a2d 00001a29: PUSH2 0x13eb 00001a2c: JUMP 00001a2d: JUMPDEST 00001a2e: CALLVALUE 00001a2f: GT 00001a30: PUSH2 0x1a38 00001a33: JUMPI 00001a34: PUSH2 0x0000 00001a37: JUMP 00001a38: JUMPDEST 00001a39: PUSH2 0x1a40 00001a3c: PUSH2 0x254e 00001a3f: JUMP 00001a40: JUMPDEST 00001a41: PUSH1 0x0a 00001a43: PUSH1 0x05 00001a45: SLOAD 00001a46: EQ 00001a47: ISZERO 00001a48: PUSH2 0x1a77 00001a4b: JUMPI 00001a4c: PUSH2 0x1a53 00001a4f: PUSH2 0x105c 00001a52: JUMP 00001a53: JUMPDEST 00001a54: PUSH1 0x00 00001a56: DUP2 00001a57: DUP2 00001a58: MSTORE 00001a59: PUSH1 0x04 00001a5b: PUSH1 0x20 00001a5d: MSTORE 00001a5e: PUSH1 0x40 00001a60: SWAP1 00001a61: KECCAK256 00001a62: SLOAD 00001a63: SWAP1 00001a64: SWAP2 00001a65: POP 00001a66: PUSH2 0x1a77 00001a69: SWAP1 00001a6a: PUSH1 0x01 00001a6c: PUSH1 0xa0 00001a6e: PUSH1 0x02 00001a70: EXP 00001a71: SUB 00001a72: AND 00001a73: PUSH2 0x1d81 00001a76: JUMP 00001a77: JUMPDEST 00001a78: JUMPDEST 00001a79: PUSH1 0x05 00001a7b: DUP1 00001a7c: SLOAD 00001a7d: PUSH1 0x01 00001a7f: ADD 00001a80: SWAP1 00001a81: DUP2 00001a82: SWAP1 00001a83: SSTORE 00001a84: PUSH2 0x1a8c 00001a87: SWAP1 00001a88: PUSH2 0x27f7 00001a8b: JUMP 00001a8c: JUMPDEST 00001a8d: JUMPDEST 00001a8e: PUSH1 0x0a 00001a90: PUSH1 0x05 00001a92: SLOAD 00001a93: GT 00001a94: ISZERO 00001a95: PUSH2 0x0c9f 00001a98: JUMPI 00001a99: PUSH2 0x0000 00001a9c: JUMP 00001a9d: JUMPDEST 00001a9e: JUMPDEST 00001a9f: JUMPDEST 00001aa0: JUMPDEST 00001aa1: JUMPDEST 00001aa2: JUMPDEST 00001aa3: POP 00001aa4: JUMP 00001aa5: JUMPDEST 00001aa6: PUSH1 0x00 00001aa8: DUP1 00001aa9: SLOAD 00001aaa: DUP2 00001aab: SWAP1 00001aac: PUSH1 0x01 00001aae: PUSH1 0xa0 00001ab0: PUSH1 0x02 00001ab2: EXP 00001ab3: SUB 00001ab4: AND 00001ab5: ISZERO 00001ab6: ISZERO 00001ab7: PUSH2 0x1ac6 00001aba: JUMPI 00001abb: PUSH2 0x1ac4 00001abe: PUSH1 0x00 00001ac0: PUSH2 0x288c 00001ac3: JUMP 00001ac4: JUMPDEST 00001ac5: POP 00001ac6: JUMPDEST 00001ac7: PUSH1 0x00 00001ac9: PUSH1 0x00 00001acb: SWAP1 00001acc: SLOAD 00001acd: SWAP1 00001ace: PUSH2 0x0100 00001ad1: EXP 00001ad2: SWAP1 00001ad3: DIV 00001ad4: PUSH1 0x01 00001ad6: PUSH1 0xa0 00001ad8: PUSH1 0x02 00001ada: EXP 00001adb: SUB 00001adc: AND 00001add: PUSH1 0x01 00001adf: PUSH1 0xa0 00001ae1: PUSH1 0x02 00001ae3: EXP 00001ae4: SUB 00001ae5: AND 00001ae6: PUSH4 0x38cc4831 00001aeb: PUSH1 0x00 00001aed: PUSH1 0x40 00001aef: MLOAD 00001af0: PUSH1 0x20 00001af2: ADD 00001af3: MSTORE 00001af4: PUSH1 0x40 00001af6: MLOAD 00001af7: DUP2 00001af8: PUSH1 0xe0 00001afa: PUSH1 0x02 00001afc: EXP 00001afd: MUL 00001afe: DUP2 00001aff: MSTORE 00001b00: PUSH1 0x04 00001b02: ADD 00001b03: DUP1 00001b04: SWAP1 00001b05: POP 00001b06: PUSH1 0x20 00001b08: PUSH1 0x40 00001b0a: MLOAD 00001b0b: DUP1 00001b0c: DUP4 00001b0d: SUB 00001b0e: DUP2 00001b0f: PUSH1 0x00 00001b11: DUP8 00001b12: DUP1 00001b13: EXTCODESIZE 00001b14: ISZERO 00001b15: PUSH2 0x0000 00001b18: JUMPI 00001b19: PUSH1 0x32 00001b1b: GAS 00001b1c: SUB 00001b1d: CALL 00001b1e: ISZERO 00001b1f: PUSH2 0x0000 00001b22: JUMPI 00001b23: POP 00001b24: POP 00001b25: POP 00001b26: PUSH1 0x40 00001b28: MLOAD 00001b29: DUP1 00001b2a: MLOAD 00001b2b: SWAP1 00001b2c: PUSH1 0x20 00001b2e: ADD 00001b2f: POP 00001b30: PUSH1 0x01 00001b32: PUSH1 0x00 00001b34: PUSH2 0x0100 00001b37: EXP 00001b38: DUP2 00001b39: SLOAD 00001b3a: DUP2 00001b3b: PUSH1 0x01 00001b3d: PUSH1 0xa0 00001b3f: PUSH1 0x02 00001b41: EXP 00001b42: SUB 00001b43: MUL 00001b44: NOT 00001b45: AND 00001b46: SWAP1 00001b47: DUP4 00001b48: PUSH1 0x60 00001b4a: PUSH1 0x02 00001b4c: EXP 00001b4d: SWAP1 00001b4e: DUP2 00001b4f: MUL 00001b50: DIV 00001b51: MUL 00001b52: OR 00001b53: SWAP1 00001b54: SSTORE 00001b55: POP 00001b56: PUSH1 0x01 00001b58: PUSH1 0x00 00001b5a: SWAP1 00001b5b: SLOAD 00001b5c: SWAP1 00001b5d: PUSH2 0x0100 00001b60: EXP 00001b61: SWAP1 00001b62: DIV 00001b63: PUSH1 0x01 00001b65: PUSH1 0xa0 00001b67: PUSH1 0x02 00001b69: EXP 00001b6a: SUB 00001b6b: AND 00001b6c: PUSH1 0x01 00001b6e: PUSH1 0xa0 00001b70: PUSH1 0x02 00001b72: EXP 00001b73: SUB 00001b74: AND 00001b75: PUSH4 0x2ef3accc 00001b7a: DUP7 00001b7b: DUP6 00001b7c: PUSH1 0x00 00001b7e: PUSH1 0x40 00001b80: MLOAD 00001b81: PUSH1 0x20 00001b83: ADD 00001b84: MSTORE 00001b85: PUSH1 0x40 00001b87: MLOAD 00001b88: DUP4 00001b89: PUSH1 0xe0 00001b8b: PUSH1 0x02 00001b8d: EXP 00001b8e: MUL 00001b8f: DUP2 00001b90: MSTORE 00001b91: PUSH1 0x04 00001b93: ADD 00001b94: DUP1 00001b95: DUP1 00001b96: PUSH1 0x20 00001b98: ADD 00001b99: DUP4 00001b9a: DUP2 00001b9b: MSTORE 00001b9c: PUSH1 0x20 00001b9e: ADD 00001b9f: DUP3 00001ba0: DUP2 00001ba1: SUB 00001ba2: DUP3 00001ba3: MSTORE 00001ba4: DUP5 00001ba5: DUP2 00001ba6: DUP2 00001ba7: MLOAD 00001ba8: DUP2 00001ba9: MSTORE 00001baa: PUSH1 0x20 00001bac: ADD 00001bad: SWAP2 00001bae: POP 00001baf: DUP1 00001bb0: MLOAD 00001bb1: SWAP1 00001bb2: PUSH1 0x20 00001bb4: ADD 00001bb5: SWAP1 00001bb6: DUP1 00001bb7: DUP4 00001bb8: DUP4 00001bb9: DUP3 00001bba: SWAP1 00001bbb: PUSH1 0x00 00001bbd: PUSH1 0x04 00001bbf: PUSH1 0x20 00001bc1: DUP5 00001bc2: PUSH1 0x1f 00001bc4: ADD 00001bc5: DIV 00001bc6: PUSH1 0x03 00001bc8: MUL 00001bc9: PUSH1 0x0f 00001bcb: ADD 00001bcc: CALL 00001bcd: POP 00001bce: SWAP1 00001bcf: POP 00001bd0: SWAP1 00001bd1: DUP2 00001bd2: ADD 00001bd3: SWAP1 00001bd4: PUSH1 0x1f 00001bd6: AND 00001bd7: DUP1 00001bd8: ISZERO 00001bd9: PUSH2 0x1bf6 00001bdc: JUMPI 00001bdd: DUP1 00001bde: DUP3 00001bdf: SUB 00001be0: DUP1 00001be1: MLOAD 00001be2: PUSH1 0x01 00001be4: DUP4 00001be5: PUSH1 0x20 00001be7: SUB 00001be8: PUSH2 0x0100 00001beb: EXP 00001bec: SUB 00001bed: NOT 00001bee: AND 00001bef: DUP2 00001bf0: MSTORE 00001bf1: PUSH1 0x20 00001bf3: ADD 00001bf4: SWAP2 00001bf5: POP 00001bf6: JUMPDEST 00001bf7: POP 00001bf8: SWAP4 00001bf9: POP 00001bfa: POP 00001bfb: POP 00001bfc: POP 00001bfd: PUSH1 0x20 00001bff: PUSH1 0x40 00001c01: MLOAD 00001c02: DUP1 00001c03: DUP4 00001c04: SUB 00001c05: DUP2 00001c06: PUSH1 0x00 00001c08: DUP8 00001c09: DUP1 00001c0a: EXTCODESIZE 00001c0b: ISZERO 00001c0c: PUSH2 0x0000 00001c0f: JUMPI 00001c10: PUSH1 0x32 00001c12: GAS 00001c13: SUB 00001c14: CALL 00001c15: ISZERO 00001c16: PUSH2 0x0000 00001c19: JUMPI 00001c1a: POP 00001c1b: POP 00001c1c: PUSH1 0x40 00001c1e: MLOAD 00001c1f: MLOAD 00001c20: SWAP2 00001c21: POP 00001c22: POP 00001c23: PUSH8 0x0de0b6b3a7640000 00001c2c: GASPRICE 00001c2d: DUP5 00001c2e: MUL 00001c2f: ADD 00001c30: DUP2 00001c31: GT 00001c32: ISZERO 00001c33: PUSH2 0x1c3f 00001c36: JUMPI 00001c37: PUSH1 0x00 00001c39: SWAP2 00001c3a: POP 00001c3b: PUSH2 0x1d78 00001c3e: JUMP 00001c3f: JUMPDEST 00001c40: PUSH1 0x01 00001c42: PUSH1 0x00 00001c44: SWAP1 00001c45: SLOAD 00001c46: SWAP1 00001c47: PUSH2 0x0100 00001c4a: EXP 00001c4b: SWAP1 00001c4c: DIV 00001c4d: PUSH1 0x01 00001c4f: PUSH1 0xa0 00001c51: PUSH1 0x02 00001c53: EXP 00001c54: SUB 00001c55: AND 00001c56: PUSH1 0x01 00001c58: PUSH1 0xa0 00001c5a: PUSH1 0x02 00001c5c: EXP 00001c5d: SUB 00001c5e: AND 00001c5f: PUSH4 0xc51be90f 00001c64: DUP3 00001c65: PUSH1 0x00 00001c67: DUP9 00001c68: DUP9 00001c69: DUP9 00001c6a: PUSH1 0x00 00001c6c: PUSH1 0x40 00001c6e: MLOAD 00001c6f: PUSH1 0x20 00001c71: ADD 00001c72: MSTORE 00001c73: PUSH1 0x40 00001c75: MLOAD 00001c76: DUP7 00001c77: PUSH1 0xe0 00001c79: PUSH1 0x02 00001c7b: EXP 00001c7c: MUL 00001c7d: DUP2 00001c7e: MSTORE 00001c7f: PUSH1 0x04 00001c81: ADD 00001c82: DUP1 00001c83: DUP6 00001c84: DUP2 00001c85: MSTORE 00001c86: PUSH1 0x20 00001c88: ADD 00001c89: DUP1 00001c8a: PUSH1 0x20 00001c8c: ADD 00001c8d: DUP1 00001c8e: PUSH1 0x20 00001c90: ADD 00001c91: DUP5 00001c92: DUP2 00001c93: MSTORE 00001c94: PUSH1 0x20 00001c96: ADD 00001c97: DUP4 00001c98: DUP2 00001c99: SUB 00001c9a: DUP4 00001c9b: MSTORE 00001c9c: DUP7 00001c9d: DUP2 00001c9e: DUP2 00001c9f: MLOAD 00001ca0: DUP2 00001ca1: MSTORE 00001ca2: PUSH1 0x20 00001ca4: ADD 00001ca5: SWAP2 00001ca6: POP 00001ca7: DUP1 00001ca8: MLOAD 00001ca9: SWAP1 00001caa: PUSH1 0x20 00001cac: ADD 00001cad: SWAP1 00001cae: DUP1 00001caf: DUP4 00001cb0: DUP4 00001cb1: DUP3 00001cb2: SWAP1 00001cb3: PUSH1 0x00 00001cb5: PUSH1 0x04 00001cb7: PUSH1 0x20 00001cb9: DUP5 00001cba: PUSH1 0x1f 00001cbc: ADD 00001cbd: DIV 00001cbe: PUSH1 0x03 00001cc0: MUL 00001cc1: PUSH1 0x0f 00001cc3: ADD 00001cc4: CALL 00001cc5: POP 00001cc6: SWAP1 00001cc7: POP 00001cc8: SWAP1 00001cc9: DUP2 00001cca: ADD 00001ccb: SWAP1 00001ccc: PUSH1 0x1f 00001cce: AND 00001ccf: DUP1 00001cd0: ISZERO 00001cd1: PUSH2 0x1cee 00001cd4: JUMPI 00001cd5: DUP1 00001cd6: DUP3 00001cd7: SUB 00001cd8: DUP1 00001cd9: MLOAD 00001cda: PUSH1 0x01 00001cdc: DUP4 00001cdd: PUSH1 0x20 00001cdf: SUB 00001ce0: PUSH2 0x0100 00001ce3: EXP 00001ce4: SUB 00001ce5: NOT 00001ce6: AND 00001ce7: DUP2 00001ce8: MSTORE 00001ce9: PUSH1 0x20 00001ceb: ADD 00001cec: SWAP2 00001ced: POP 00001cee: JUMPDEST 00001cef: POP 00001cf0: DUP4 00001cf1: DUP2 00001cf2: SUB 00001cf3: DUP3 00001cf4: MSTORE 00001cf5: DUP6 00001cf6: DUP2 00001cf7: DUP2 00001cf8: MLOAD 00001cf9: DUP2 00001cfa: MSTORE 00001cfb: PUSH1 0x20 00001cfd: ADD 00001cfe: SWAP2 00001cff: POP 00001d00: DUP1 00001d01: MLOAD 00001d02: SWAP1 00001d03: PUSH1 0x20 00001d05: ADD 00001d06: SWAP1 00001d07: DUP1 00001d08: DUP4 00001d09: DUP4 00001d0a: DUP3 00001d0b: SWAP1 00001d0c: PUSH1 0x00 00001d0e: PUSH1 0x04 00001d10: PUSH1 0x20 00001d12: DUP5 00001d13: PUSH1 0x1f 00001d15: ADD 00001d16: DIV 00001d17: PUSH1 0x03 00001d19: MUL 00001d1a: PUSH1 0x0f 00001d1c: ADD 00001d1d: CALL 00001d1e: POP 00001d1f: SWAP1 00001d20: POP 00001d21: SWAP1 00001d22: DUP2 00001d23: ADD 00001d24: SWAP1 00001d25: PUSH1 0x1f 00001d27: AND 00001d28: DUP1 00001d29: ISZERO 00001d2a: PUSH2 0x1d47 00001d2d: JUMPI 00001d2e: DUP1 00001d2f: DUP3 00001d30: SUB 00001d31: DUP1 00001d32: MLOAD 00001d33: PUSH1 0x01 00001d35: DUP4 00001d36: PUSH1 0x20 00001d38: SUB 00001d39: PUSH2 0x0100 00001d3c: EXP 00001d3d: SUB 00001d3e: NOT 00001d3f: AND 00001d40: DUP2 00001d41: MSTORE 00001d42: PUSH1 0x20 00001d44: ADD 00001d45: SWAP2 00001d46: POP 00001d47: JUMPDEST 00001d48: POP 00001d49: SWAP7 00001d4a: POP 00001d4b: POP 00001d4c: POP 00001d4d: POP 00001d4e: POP 00001d4f: POP 00001d50: POP 00001d51: PUSH1 0x20 00001d53: PUSH1 0x40 00001d55: MLOAD 00001d56: DUP1 00001d57: DUP4 00001d58: SUB 00001d59: DUP2 00001d5a: DUP6 00001d5b: DUP9 00001d5c: DUP1 00001d5d: EXTCODESIZE 00001d5e: ISZERO 00001d5f: PUSH2 0x0000 00001d62: JUMPI 00001d63: PUSH2 0x235a 00001d66: GAS 00001d67: SUB 00001d68: CALL 00001d69: ISZERO 00001d6a: PUSH2 0x0000 00001d6d: JUMPI 00001d6e: POP 00001d6f: POP 00001d70: PUSH1 0x40 00001d72: MLOAD 00001d73: MLOAD 00001d74: SWAP4 00001d75: POP 00001d76: POP 00001d77: POP 00001d78: JUMPDEST 00001d79: JUMPDEST 00001d7a: POP 00001d7b: SWAP4 00001d7c: SWAP3 00001d7d: POP 00001d7e: POP 00001d7f: POP 00001d80: JUMP 00001d81: JUMPDEST 00001d82: PUSH1 0x00 00001d84: PUSH1 0x00 00001d86: PUSH1 0x00 00001d88: PUSH1 0x00 00001d8a: PUSH2 0x1d91 00001d8d: PUSH2 0x254e 00001d90: JUMP 00001d91: JUMPDEST 00001d92: PUSH1 0x01 00001d94: PUSH1 0xa0 00001d96: PUSH1 0x02 00001d98: EXP 00001d99: SUB 00001d9a: DUP6 00001d9b: AND 00001d9c: PUSH1 0x00 00001d9e: SWAP1 00001d9f: DUP2 00001da0: MSTORE 00001da1: PUSH1 0x03 00001da3: PUSH1 0x20 00001da5: MSTORE 00001da6: PUSH1 0x40 00001da8: SWAP1 00001da9: KECCAK256 00001daa: SLOAD 00001dab: SWAP4 00001dac: POP 00001dad: PUSH2 0x1db5 00001db0: DUP6 00001db1: PUSH2 0x195b 00001db4: JUMP 00001db5: JUMPDEST 00001db6: PUSH1 0x00 00001db8: DUP6 00001db9: DUP2 00001dba: MSTORE 00001dbb: PUSH1 0x04 00001dbd: PUSH1 0x20 00001dbf: MSTORE 00001dc0: PUSH1 0x40 00001dc2: SWAP1 00001dc3: KECCAK256 00001dc4: PUSH1 0x01 00001dc6: ADD 00001dc7: SLOAD 00001dc8: PUSH1 0x06 00001dca: SLOAD 00001dcb: SWAP2 00001dcc: SWAP5 00001dcd: POP 00001dce: SWAP1 00001dcf: LT 00001dd0: PUSH2 0x1f54 00001dd3: JUMPI 00001dd4: PUSH1 0x00 00001dd6: DUP5 00001dd7: DUP2 00001dd8: MSTORE 00001dd9: PUSH1 0x04 00001ddb: PUSH1 0x20 00001ddd: SWAP1 00001dde: DUP2 00001ddf: MSTORE 00001de0: PUSH1 0x40 00001de2: DUP1 00001de3: DUP4 00001de4: KECCAK256 00001de5: PUSH1 0x01 00001de7: DUP2 00001de8: ADD 00001de9: DUP1 00001dea: SLOAD 00001deb: PUSH1 0x06 00001ded: DUP1 00001dee: SLOAD 00001def: SWAP2 00001df0: SWAP1 00001df1: SWAP2 00001df2: SUB 00001df3: SWAP1 00001df4: SSTORE 00001df5: DUP2 00001df6: SLOAD 00001df7: PUSH1 0x01 00001df9: PUSH1 0xa0 00001dfb: PUSH1 0x02 00001dfd: EXP 00001dfe: SUB 00001dff: NOT 00001e00: AND 00001e01: DUP3 00001e02: SSTORE 00001e03: DUP5 00001e04: SWAP1 00001e05: SSTORE 00001e06: PUSH1 0x02 00001e08: ADD 00001e09: DUP1 00001e0a: SLOAD 00001e0b: PUSH1 0xff 00001e0d: NOT 00001e0e: AND 00001e0f: SWAP1 00001e10: SSTORE 00001e11: PUSH1 0x01 00001e13: PUSH1 0xa0 00001e15: PUSH1 0x02 00001e17: EXP 00001e18: SUB 00001e19: DUP9 00001e1a: AND 00001e1b: DUP4 00001e1c: MSTORE 00001e1d: PUSH1 0x03 00001e1f: SWAP1 00001e20: SWAP2 00001e21: MSTORE 00001e22: DUP2 00001e23: KECCAK256 00001e24: SSTORE 00001e25: PUSH1 0x05 00001e27: SLOAD 00001e28: PUSH2 0x2710 00001e2b: PUSH1 0x32 00001e2d: DUP6 00001e2e: MUL 00001e2f: DIV 00001e30: SWAP4 00001e31: DUP5 00001e32: SWAP1 00001e33: SUB 00001e34: SWAP4 00001e35: SWAP3 00001e36: POP 00001e37: DUP5 00001e38: EQ 00001e39: PUSH2 0x1ee1 00001e3c: JUMPI 00001e3d: POP 00001e3e: PUSH1 0x05 00001e40: DUP1 00001e41: SLOAD 00001e42: PUSH1 0x00 00001e44: SWAP1 00001e45: DUP2 00001e46: MSTORE 00001e47: PUSH1 0x04 00001e49: PUSH1 0x20 00001e4b: DUP2 00001e4c: DUP2 00001e4d: MSTORE 00001e4e: PUSH1 0x40 00001e50: DUP1 00001e51: DUP5 00001e52: KECCAK256 00001e53: DUP1 00001e54: SLOAD 00001e55: PUSH1 0x01 00001e57: PUSH1 0xa0 00001e59: PUSH1 0x02 00001e5b: EXP 00001e5c: SUB 00001e5d: SWAP1 00001e5e: DUP2 00001e5f: AND 00001e60: DUP7 00001e61: MSTORE 00001e62: PUSH1 0x03 00001e64: DUP5 00001e65: MSTORE 00001e66: DUP3 00001e67: DUP7 00001e68: KECCAK256 00001e69: DUP11 00001e6a: SWAP1 00001e6b: SSTORE 00001e6c: DUP10 00001e6d: DUP7 00001e6e: MSTORE 00001e6f: SWAP4 00001e70: SWAP1 00001e71: SWAP3 00001e72: MSTORE 00001e73: DUP1 00001e74: DUP5 00001e75: KECCAK256 00001e76: DUP3 00001e77: SLOAD 00001e78: DUP2 00001e79: SLOAD 00001e7a: PUSH1 0x60 00001e7c: PUSH1 0x02 00001e7e: EXP 00001e7f: SWAP2 00001e80: SWAP1 00001e81: SWAP6 00001e82: AND 00001e83: DUP2 00001e84: MUL 00001e85: DIV 00001e86: PUSH1 0x01 00001e88: PUSH1 0xa0 00001e8a: PUSH1 0x02 00001e8c: EXP 00001e8d: SUB 00001e8e: NOT 00001e8f: SWAP5 00001e90: DUP6 00001e91: AND 00001e92: OR 00001e93: DUP2 00001e94: SSTORE 00001e95: PUSH1 0x01 00001e97: DUP1 00001e98: DUP5 00001e99: ADD 00001e9a: SLOAD 00001e9b: DUP3 00001e9c: DUP3 00001e9d: ADD 00001e9e: SSTORE 00001e9f: PUSH1 0x02 00001ea1: DUP1 00001ea2: DUP6 00001ea3: ADD 00001ea4: SLOAD 00001ea5: SWAP3 00001ea6: DUP2 00001ea7: ADD 00001ea8: DUP1 00001ea9: SLOAD 00001eaa: PUSH1 0xf8 00001eac: PUSH1 0x02 00001eae: EXP 00001eaf: PUSH1 0xff 00001eb1: SWAP1 00001eb2: SWAP6 00001eb3: AND 00001eb4: DUP6 00001eb5: MUL 00001eb6: SWAP5 00001eb7: SWAP1 00001eb8: SWAP5 00001eb9: DIV 00001eba: PUSH1 0xff 00001ebc: NOT 00001ebd: SWAP5 00001ebe: DUP6 00001ebf: AND 00001ec0: OR 00001ec1: SWAP1 00001ec2: SSTORE 00001ec3: SWAP7 00001ec4: SLOAD 00001ec5: DUP7 00001ec6: MSTORE 00001ec7: SWAP2 00001ec8: DUP6 00001ec9: KECCAK256 00001eca: DUP1 00001ecb: SLOAD 00001ecc: SWAP1 00001ecd: SWAP5 00001ece: AND 00001ecf: DUP5 00001ed0: SSTORE 00001ed1: SWAP1 00001ed2: DUP4 00001ed3: ADD 00001ed4: SWAP4 00001ed5: SWAP1 00001ed6: SWAP4 00001ed7: SSTORE 00001ed8: SWAP3 00001ed9: ADD 00001eda: DUP1 00001edb: SLOAD 00001edc: SWAP1 00001edd: SWAP2 00001ede: AND 00001edf: SWAP1 00001ee0: SSTORE 00001ee1: JUMPDEST 00001ee2: PUSH1 0x05 00001ee4: DUP1 00001ee5: SLOAD 00001ee6: PUSH1 0x00 00001ee8: NOT 00001ee9: ADD 00001eea: SWAP1 00001eeb: SSTORE 00001eec: PUSH2 0x1ef5 00001eef: DUP6 00001ef0: DUP5 00001ef1: PUSH2 0x20db 00001ef4: JUMP 00001ef5: JUMPDEST 00001ef6: PUSH1 0x08 00001ef8: SLOAD 00001ef9: PUSH2 0x1f0b 00001efc: SWAP1 00001efd: PUSH1 0x01 00001eff: PUSH1 0xa0 00001f01: PUSH1 0x02 00001f03: EXP 00001f04: SUB 00001f05: AND 00001f06: DUP4 00001f07: PUSH2 0x20db 00001f0a: JUMP 00001f0b: JUMPDEST 00001f0c: PUSH1 0x40 00001f0e: DUP1 00001f0f: MLOAD 00001f10: PUSH1 0x01 00001f12: PUSH1 0xa0 00001f14: PUSH1 0x02 00001f16: EXP 00001f17: SUB 00001f18: DUP8 00001f19: AND 00001f1a: DUP2 00001f1b: MSTORE 00001f1c: PUSH1 0x20 00001f1e: DUP2 00001f1f: ADD 00001f20: DUP6 00001f21: SWAP1 00001f22: MSTORE 00001f23: DUP2 00001f24: MLOAD 00001f25: PUSH32 0x3026a12843449d7e7377f8932a40bdb5d1b1125efbfbe147132016f8beac0f34 00001f46: SWAP3 00001f47: SWAP2 00001f48: DUP2 00001f49: SWAP1 00001f4a: SUB 00001f4b: SWAP1 00001f4c: SWAP2 00001f4d: ADD 00001f4e: SWAP1 00001f4f: LOG1 00001f50: PUSH2 0x1f94 00001f53: JUMP 00001f54: JUMPDEST 00001f55: PUSH1 0x08 00001f57: DUP1 00001f58: SLOAD 00001f59: PUSH1 0xa0 00001f5b: PUSH1 0x02 00001f5d: EXP 00001f5e: PUSH1 0xff 00001f60: MUL 00001f61: NOT 00001f62: AND 00001f63: PUSH1 0xa0 00001f65: PUSH1 0x02 00001f67: EXP 00001f68: OR 00001f69: SWAP1 00001f6a: SSTORE 00001f6b: PUSH1 0x40 00001f6d: MLOAD 00001f6e: PUSH32 0x52e578ad17dc8fe0ff456fdf1f81516f7d29eb85fff301475a3a29d0e84bb31a 00001f8f: SWAP1 00001f90: PUSH1 0x00 00001f92: SWAP1 00001f93: LOG1 00001f94: JUMPDEST 00001f95: JUMPDEST 00001f96: PUSH1 0x0a 00001f98: PUSH1 0x05 00001f9a: SLOAD 00001f9b: GT 00001f9c: ISZERO 00001f9d: PUSH2 0x1016 00001fa0: JUMPI 00001fa1: PUSH2 0x0000 00001fa4: JUMP 00001fa5: JUMPDEST 00001fa6: JUMPDEST 00001fa7: POP 00001fa8: POP 00001fa9: POP 00001faa: POP 00001fab: POP 00001fac: JUMP 00001fad: JUMPDEST 00001fae: PUSH1 0x00 00001fb0: DUP1 00001fb1: SLOAD 00001fb2: PUSH1 0x01 00001fb4: PUSH1 0xa0 00001fb6: PUSH1 0x02 00001fb8: EXP 00001fb9: SUB 00001fba: AND 00001fbb: ISZERO 00001fbc: ISZERO 00001fbd: PUSH2 0x1fcc 00001fc0: JUMPI 00001fc1: PUSH2 0x1fca 00001fc4: PUSH1 0x00 00001fc6: PUSH2 0x288c 00001fc9: JUMP 00001fca: JUMPDEST 00001fcb: POP 00001fcc: JUMPDEST 00001fcd: PUSH1 0x00 00001fcf: PUSH1 0x00 00001fd1: SWAP1 00001fd2: SLOAD 00001fd3: SWAP1 00001fd4: PUSH2 0x0100 00001fd7: EXP 00001fd8: SWAP1 00001fd9: DIV 00001fda: PUSH1 0x01 00001fdc: PUSH1 0xa0 00001fde: PUSH1 0x02 00001fe0: EXP 00001fe1: SUB 00001fe2: AND 00001fe3: PUSH1 0x01 00001fe5: PUSH1 0xa0 00001fe7: PUSH1 0x02 00001fe9: EXP 00001fea: SUB 00001feb: AND 00001fec: PUSH4 0x38cc4831 00001ff1: PUSH1 0x00 00001ff3: PUSH1 0x40 00001ff5: MLOAD 00001ff6: PUSH1 0x20 00001ff8: ADD 00001ff9: MSTORE 00001ffa: PUSH1 0x40 00001ffc: MLOAD 00001ffd: DUP2 00001ffe: PUSH1 0xe0 00002000: PUSH1 0x02 00002002: EXP 00002003: MUL 00002004: DUP2 00002005: MSTORE 00002006: PUSH1 0x04 00002008: ADD 00002009: DUP1 0000200a: SWAP1 0000200b: POP 0000200c: PUSH1 0x20 0000200e: PUSH1 0x40 00002010: MLOAD 00002011: DUP1 00002012: DUP4 00002013: SUB 00002014: DUP2 00002015: PUSH1 0x00 00002017: DUP8 00002018: DUP1 00002019: EXTCODESIZE 0000201a: ISZERO 0000201b: PUSH2 0x0000 0000201e: JUMPI 0000201f: PUSH1 0x32 00002021: GAS 00002022: SUB 00002023: CALL 00002024: ISZERO 00002025: PUSH2 0x0000 00002028: JUMPI 00002029: POP 0000202a: POP 0000202b: PUSH1 0x40 0000202d: DUP1 0000202e: MLOAD 0000202f: DUP1 00002030: MLOAD 00002031: PUSH1 0x01 00002033: DUP1 00002034: SLOAD 00002035: PUSH1 0x01 00002037: PUSH1 0xa0 00002039: PUSH1 0x02 0000203b: EXP 0000203c: SUB 0000203d: NOT 0000203e: AND 0000203f: PUSH1 0x60 00002041: PUSH1 0x02 00002043: EXP 00002044: SWAP3 00002045: DUP4 00002046: MUL 00002047: SWAP3 00002048: SWAP1 00002049: SWAP3 0000204a: DIV 0000204b: SWAP2 0000204c: SWAP1 0000204d: SWAP2 0000204e: OR 0000204f: SWAP1 00002050: DUP2 00002051: SWAP1 00002052: SSTORE 00002053: PUSH1 0x00 00002055: PUSH1 0x20 00002057: SWAP3 00002058: DUP4 00002059: ADD 0000205a: DUP2 0000205b: SWAP1 0000205c: MSTORE 0000205d: DUP4 0000205e: MLOAD 0000205f: PUSH32 0xc281d19e00000000000000000000000000000000000000000000000000000000 00002080: DUP2 00002081: MSTORE 00002082: SWAP4 00002083: MLOAD 00002084: PUSH1 0x01 00002086: PUSH1 0xa0 00002088: PUSH1 0x02 0000208a: EXP 0000208b: SUB 0000208c: SWAP1 0000208d: SWAP3 0000208e: AND 0000208f: SWAP5 00002090: POP 00002091: PUSH4 0xc281d19e 00002096: SWAP4 00002097: PUSH1 0x04 00002099: DUP1 0000209a: DUP3 0000209b: ADD 0000209c: SWAP5 0000209d: SWAP4 0000209e: SWAP3 0000209f: SWAP2 000020a0: DUP4 000020a1: SWAP1 000020a2: SUB 000020a3: ADD 000020a4: SWAP1 000020a5: DUP3 000020a6: SWAP1 000020a7: DUP8 000020a8: DUP1 000020a9: EXTCODESIZE 000020aa: ISZERO 000020ab: PUSH2 0x0000 000020ae: JUMPI 000020af: PUSH1 0x32 000020b1: GAS 000020b2: SUB 000020b3: CALL 000020b4: ISZERO 000020b5: PUSH2 0x0000 000020b8: JUMPI 000020b9: POP 000020ba: POP 000020bb: PUSH1 0x40 000020bd: MLOAD 000020be: MLOAD 000020bf: SWAP2 000020c0: POP 000020c1: POP 000020c2: JUMPDEST 000020c3: JUMPDEST 000020c4: SWAP1 000020c5: JUMP 000020c6: JUMPDEST 000020c7: PUSH1 0x00 000020c9: PUSH2 0x20d3 000020cc: DUP3 000020cd: PUSH1 0x00 000020cf: PUSH2 0x2990 000020d2: JUMP 000020d3: JUMPDEST 000020d4: SWAP1 000020d5: POP 000020d6: JUMPDEST 000020d7: SWAP2 000020d8: SWAP1 000020d9: POP 000020da: JUMP 000020db: JUMPDEST 000020dc: DUP1 000020dd: ISZERO 000020de: ISZERO 000020df: PUSH2 0x2110 000020e2: JUMPI 000020e3: PUSH1 0x40 000020e5: MLOAD 000020e6: PUSH32 0x4763e3feef50167ae1957a20ba2b75b5f4093062392e81d5e351b709b1d8261f 00002107: SWAP1 00002108: PUSH1 0x00 0000210a: SWAP1 0000210b: LOG1 0000210c: PUSH2 0x0db1 0000210f: JUMP 00002110: JUMPDEST 00002111: DUP1 00002112: ADDRESS 00002113: PUSH1 0x01 00002115: PUSH1 0xa0 00002117: PUSH1 0x02 00002119: EXP 0000211a: SUB 0000211b: AND 0000211c: BALANCE 0000211d: LT 0000211e: ISZERO 0000211f: PUSH2 0x2150 00002122: JUMPI 00002123: PUSH1 0x40 00002125: MLOAD 00002126: PUSH32 0x504b0ae89b95779262e99243870eb936180a8c33b444f17f01807c40a20c7aa7 00002147: SWAP1 00002148: PUSH1 0x00 0000214a: SWAP1 0000214b: LOG1 0000214c: PUSH2 0x0db1 0000214f: JUMP 00002150: JUMPDEST 00002151: PUSH1 0x02 00002153: SLOAD 00002154: PUSH1 0x40 00002156: MLOAD 00002157: PUSH1 0x01 00002159: PUSH1 0xa0 0000215b: PUSH1 0x02 0000215d: EXP 0000215e: SUB 0000215f: DUP5 00002160: AND 00002161: SWAP2 00002162: SWAP1 00002163: DUP4 00002164: SWAP1 00002165: PUSH1 0x00 00002167: DUP2 00002168: DUP2 00002169: DUP2 0000216a: DUP6 0000216b: DUP9 0000216c: DUP9 0000216d: CALL 0000216e: SWAP4 0000216f: POP 00002170: POP 00002171: POP 00002172: POP 00002173: ISZERO 00002174: ISZERO 00002175: PUSH2 0x2244 00002178: JUMPI 00002179: PUSH1 0x40 0000217b: DUP1 0000217c: MLOAD 0000217d: PUSH1 0x01 0000217f: PUSH1 0xa0 00002181: PUSH1 0x02 00002183: EXP 00002184: SUB 00002185: DUP5 00002186: AND 00002187: DUP2 00002188: MSTORE 00002189: PUSH1 0x20 0000218b: DUP2 0000218c: ADD 0000218d: DUP4 0000218e: SWAP1 0000218f: MSTORE 00002190: DUP2 00002191: MLOAD 00002192: PUSH32 0x949201d78c50a6b453f7068ed19a5c7d74aaa07c12cadfd3855357a0b0f47405 000021b3: SWAP3 000021b4: SWAP2 000021b5: DUP2 000021b6: SWAP1 000021b7: SUB 000021b8: SWAP1 000021b9: SWAP2 000021ba: ADD 000021bb: SWAP1 000021bc: LOG1 000021bd: PUSH1 0x08 000021bf: SLOAD 000021c0: PUSH1 0x01 000021c2: PUSH1 0xa0 000021c4: PUSH1 0x02 000021c6: EXP 000021c7: SUB 000021c8: DUP4 000021c9: DUP2 000021ca: AND 000021cb: SWAP2 000021cc: AND 000021cd: EQ 000021ce: PUSH2 0x2244 000021d1: JUMPI 000021d2: PUSH1 0x08 000021d4: SLOAD 000021d5: PUSH1 0x02 000021d7: SLOAD 000021d8: PUSH1 0x40 000021da: MLOAD 000021db: PUSH1 0x01 000021dd: PUSH1 0xa0 000021df: PUSH1 0x02 000021e1: EXP 000021e2: SUB 000021e3: SWAP1 000021e4: SWAP3 000021e5: AND 000021e6: SWAP2 000021e7: DUP4 000021e8: SWAP1 000021e9: PUSH1 0x00 000021eb: DUP2 000021ec: DUP2 000021ed: DUP2 000021ee: DUP6 000021ef: DUP9 000021f0: DUP9 000021f1: CALL 000021f2: SWAP4 000021f3: POP 000021f4: POP 000021f5: POP 000021f6: POP 000021f7: ISZERO 000021f8: ISZERO 000021f9: PUSH2 0x2244 000021fc: JUMPI 000021fd: PUSH1 0x08 000021ff: SLOAD 00002200: PUSH1 0x40 00002202: DUP1 00002203: MLOAD 00002204: PUSH1 0x01 00002206: PUSH1 0xa0 00002208: PUSH1 0x02 0000220a: EXP 0000220b: SUB 0000220c: SWAP1 0000220d: SWAP3 0000220e: AND 0000220f: DUP3 00002210: MSTORE 00002211: PUSH1 0x20 00002213: DUP3 00002214: ADD 00002215: DUP4 00002216: SWAP1 00002217: MSTORE 00002218: DUP1 00002219: MLOAD 0000221a: PUSH32 0x949201d78c50a6b453f7068ed19a5c7d74aaa07c12cadfd3855357a0b0f47405 0000223b: SWAP3 0000223c: DUP2 0000223d: SWAP1 0000223e: SUB 0000223f: SWAP1 00002240: SWAP2 00002241: ADD 00002242: SWAP1 00002243: LOG1 00002244: JUMPDEST 00002245: JUMPDEST 00002246: JUMPDEST 00002247: PUSH1 0x40 00002249: DUP1 0000224a: MLOAD 0000224b: PUSH1 0x01 0000224d: PUSH1 0xa0 0000224f: PUSH1 0x02 00002251: EXP 00002252: SUB 00002253: DUP5 00002254: AND 00002255: DUP2 00002256: MSTORE 00002257: PUSH1 0x20 00002259: DUP2 0000225a: ADD 0000225b: DUP4 0000225c: SWAP1 0000225d: MSTORE 0000225e: DUP2 0000225f: MLOAD 00002260: PUSH32 0xc7e416c5685d8971558840f05c5e63e02575b29997d8da6b9ba44dc10da6a370 00002281: SWAP3 00002282: SWAP2 00002283: DUP2 00002284: SWAP1 00002285: SUB 00002286: SWAP1 00002287: SWAP2 00002288: ADD 00002289: SWAP1 0000228a: LOG1 0000228b: JUMPDEST 0000228c: POP 0000228d: POP 0000228e: JUMP 0000228f: JUMPDEST 00002290: PUSH1 0x00 00002292: DUP2 00002293: PUSH2 0x03e8 00002296: PUSH1 0x01 00002298: DUP3 00002299: SUB 0000229a: LT 0000229b: ISZERO 0000229c: PUSH2 0x1018 0000229f: JUMPI 000022a0: PUSH1 0x20 000022a2: DUP5 000022a3: ADD 000022a4: MLOAD 000022a5: PUSH2 0x03e8 000022a8: SWAP1 000022a9: PUSH2 0x2652 000022ac: MUL 000022ad: DIV 000022ae: SWAP2 000022af: POP 000022b0: PUSH32 0xa5acb022726d980b249ddc212f4992ad87f28c093550232fcc48bd8af803f2d5 000022d1: DUP5 000022d2: PUSH1 0x00 000022d4: ADD 000022d5: MLOAD 000022d6: DUP5 000022d7: DUP5 000022d8: PUSH1 0x40 000022da: MLOAD 000022db: DUP1 000022dc: DUP5 000022dd: PUSH1 0x01 000022df: PUSH1 0xa0 000022e1: PUSH1 0x02 000022e3: EXP 000022e4: SUB 000022e5: AND 000022e6: DUP2 000022e7: MSTORE 000022e8: PUSH1 0x20 000022ea: ADD 000022eb: DUP4 000022ec: DUP2 000022ed: MSTORE 000022ee: PUSH1 0x20 000022f0: ADD 000022f1: DUP3 000022f2: DUP2 000022f3: MSTORE 000022f4: PUSH1 0x20 000022f6: ADD 000022f7: SWAP4 000022f8: POP 000022f9: POP 000022fa: POP 000022fb: POP 000022fc: PUSH1 0x40 000022fe: MLOAD 000022ff: DUP1 00002300: SWAP2 00002301: SUB 00002302: SWAP1 00002303: LOG1 00002304: DUP4 00002305: MLOAD 00002306: PUSH2 0x230f 00002309: SWAP1 0000230a: DUP4 0000230b: PUSH2 0x20db 0000230e: JUMP 0000230f: JUMPDEST 00002310: PUSH1 0x0e 00002312: SLOAD 00002313: DUP3 00002314: DUP2 00002315: ADD 00002316: LT 00002317: DUP1 00002318: PUSH2 0x2328 0000231b: JUMPI 0000231c: POP 0000231d: DUP4 0000231e: PUSH1 0x20 00002320: ADD 00002321: MLOAD 00002322: DUP3 00002323: PUSH1 0x0e 00002325: SLOAD 00002326: ADD 00002327: LT 00002328: JUMPDEST 00002329: ISZERO 0000232a: PUSH2 0x2332 0000232d: JUMPI 0000232e: PUSH2 0x0000 00002331: JUMP 00002332: JUMPDEST 00002333: PUSH1 0x20 00002335: DUP5 00002336: ADD 00002337: MLOAD 00002338: PUSH1 0x0e 0000233a: DUP1 0000233b: SLOAD 0000233c: SWAP2 0000233d: DUP5 0000233e: SUB 0000233f: SWAP1 00002340: SWAP2 00002341: ADD 00002342: SWAP1 00002343: SSTORE 00002344: JUMPDEST 00002345: JUMPDEST 00002346: JUMPDEST 00002347: POP 00002348: POP 00002349: POP 0000234a: POP 0000234b: JUMP 0000234c: JUMPDEST 0000234d: PUSH1 0x00 0000234f: DUP1 00002350: DUP3 00002351: PUSH2 0x03e8 00002354: PUSH1 0x00 00002356: NOT 00002357: DUP3 00002358: ADD 00002359: LT 0000235a: PUSH2 0x1016 0000235d: JUMPI 0000235e: DUP5 0000235f: MLOAD 00002360: PUSH1 0x40 00002362: DUP1 00002363: MLOAD 00002364: PUSH1 0x01 00002366: PUSH1 0xa0 00002368: PUSH1 0x02 0000236a: EXP 0000236b: SUB 0000236c: SWAP1 0000236d: SWAP3 0000236e: AND 0000236f: DUP3 00002370: MSTORE 00002371: PUSH1 0x20 00002373: DUP3 00002374: ADD 00002375: DUP7 00002376: SWAP1 00002377: MSTORE 00002378: DUP1 00002379: MLOAD 0000237a: PUSH32 0xf6db2bace4ac8277384553ad9603d045220a91fb2448ab6130d7a6f044f9a8cf 0000239b: SWAP3 0000239c: DUP2 0000239d: SWAP1 0000239e: SUB 0000239f: SWAP1 000023a0: SWAP2 000023a1: ADD 000023a2: SWAP1 000023a3: LOG1 000023a4: DUP5 000023a5: MLOAD 000023a6: PUSH2 0x23b0 000023a9: SWAP1 000023aa: PUSH1 0x01 000023ac: PUSH2 0x20db 000023af: JUMP 000023b0: JUMPDEST 000023b1: PUSH1 0x0d 000023b3: SLOAD 000023b4: PUSH1 0x20 000023b6: DUP7 000023b7: ADD 000023b8: MLOAD 000023b9: DUP2 000023ba: ADD 000023bb: LT 000023bc: DUP1 000023bd: PUSH2 0x23cd 000023c0: JUMPI 000023c1: POP 000023c2: PUSH1 0x20 000023c4: DUP6 000023c5: ADD 000023c6: MLOAD 000023c7: PUSH1 0x0d 000023c9: SLOAD 000023ca: DUP2 000023cb: ADD 000023cc: LT 000023cd: JUMPDEST 000023ce: DUP1 000023cf: PUSH2 0x23dc 000023d2: JUMPI 000023d3: POP 000023d4: DUP5 000023d5: PUSH1 0x20 000023d7: ADD 000023d8: MLOAD 000023d9: PUSH1 0x01 000023db: EQ 000023dc: JUMPDEST 000023dd: ISZERO 000023de: PUSH2 0x23e6 000023e1: JUMPI 000023e2: PUSH2 0x0000 000023e5: JUMP 000023e6: JUMPDEST 000023e7: PUSH1 0x20 000023e9: DUP6 000023ea: ADD 000023eb: MLOAD 000023ec: PUSH1 0x0d 000023ee: SLOAD 000023ef: DUP2 000023f0: ADD 000023f1: PUSH1 0x00 000023f3: NOT 000023f4: SWAP1 000023f5: DUP2 000023f6: ADD 000023f7: SWAP5 000023f8: POP 000023f9: PUSH2 0x2710 000023fc: SWAP2 000023fd: PUSH2 0x26b6 00002400: SWAP2 00002401: ADD 00002402: MUL 00002403: PUSH1 0x0d 00002405: DUP1 00002406: SLOAD 00002407: SWAP3 00002408: SWAP1 00002409: SWAP2 0000240a: DIV 0000240b: SWAP2 0000240c: SWAP1 0000240d: SWAP2 0000240e: ADD 0000240f: SWAP1 00002410: DUP2 00002411: SWAP1 00002412: SSTORE 00002413: PUSH1 0x08 00002415: SLOAD 00002416: SWAP1 00002417: DUP5 00002418: SUB 00002419: SWAP3 0000241a: POP 0000241b: PUSH2 0x1016 0000241e: SWAP1 0000241f: PUSH1 0x01 00002421: PUSH1 0xa0 00002423: PUSH1 0x02 00002425: EXP 00002426: SUB 00002427: AND 00002428: DUP4 00002429: PUSH2 0x20db 0000242c: JUMP 0000242d: JUMPDEST 0000242e: JUMPDEST 0000242f: JUMPDEST 00002430: JUMPDEST 00002431: POP 00002432: POP 00002433: POP 00002434: POP 00002435: POP 00002436: JUMP 00002437: JUMPDEST 00002438: PUSH1 0x00 0000243a: SLOAD 0000243b: PUSH1 0x01 0000243d: PUSH1 0xa0 0000243f: PUSH1 0x02 00002441: EXP 00002442: SUB 00002443: AND 00002444: ISZERO 00002445: ISZERO 00002446: PUSH2 0x2455 00002449: JUMPI 0000244a: PUSH2 0x2453 0000244d: PUSH1 0x00 0000244f: PUSH2 0x288c 00002452: JUMP 00002453: JUMPDEST 00002454: POP 00002455: JUMPDEST 00002456: PUSH1 0x00 00002458: PUSH1 0x00 0000245a: SWAP1 0000245b: SLOAD 0000245c: SWAP1 0000245d: PUSH2 0x0100 00002460: EXP 00002461: SWAP1 00002462: DIV 00002463: PUSH1 0x01 00002465: PUSH1 0xa0 00002467: PUSH1 0x02 00002469: EXP 0000246a: SUB 0000246b: AND 0000246c: PUSH1 0x01 0000246e: PUSH1 0xa0 00002470: PUSH1 0x02 00002472: EXP 00002473: SUB 00002474: AND 00002475: PUSH4 0x38cc4831 0000247a: PUSH1 0x00 0000247c: PUSH1 0x40 0000247e: MLOAD 0000247f: PUSH1 0x20 00002481: ADD 00002482: MSTORE 00002483: PUSH1 0x40 00002485: MLOAD 00002486: DUP2 00002487: PUSH1 0xe0 00002489: PUSH1 0x02 0000248b: EXP 0000248c: MUL 0000248d: DUP2 0000248e: MSTORE 0000248f: PUSH1 0x04 00002491: ADD 00002492: DUP1 00002493: SWAP1 00002494: POP 00002495: PUSH1 0x20 00002497: PUSH1 0x40 00002499: MLOAD 0000249a: DUP1 0000249b: DUP4 0000249c: SUB 0000249d: DUP2 0000249e: PUSH1 0x00 000024a0: DUP8 000024a1: DUP1 000024a2: EXTCODESIZE 000024a3: ISZERO 000024a4: PUSH2 0x0000 000024a7: JUMPI 000024a8: PUSH1 0x32 000024aa: GAS 000024ab: SUB 000024ac: CALL 000024ad: ISZERO 000024ae: PUSH2 0x0000 000024b1: JUMPI 000024b2: POP 000024b3: POP 000024b4: PUSH1 0x40 000024b6: DUP1 000024b7: MLOAD 000024b8: DUP1 000024b9: MLOAD 000024ba: PUSH1 0x01 000024bc: DUP1 000024bd: SLOAD 000024be: PUSH1 0x01 000024c0: PUSH1 0xa0 000024c2: PUSH1 0x02 000024c4: EXP 000024c5: SUB 000024c6: NOT 000024c7: AND 000024c8: PUSH1 0x60 000024ca: PUSH1 0x02 000024cc: EXP 000024cd: SWAP3 000024ce: DUP4 000024cf: MUL 000024d0: SWAP3 000024d1: SWAP1 000024d2: SWAP3 000024d3: DIV 000024d4: SWAP2 000024d5: SWAP1 000024d6: SWAP2 000024d7: OR 000024d8: SWAP1 000024d9: DUP2 000024da: SWAP1 000024db: SSTORE 000024dc: PUSH32 0x688dcfd700000000000000000000000000000000000000000000000000000000 000024fd: DUP3 000024fe: MSTORE 000024ff: PUSH1 0x01 00002501: PUSH1 0xf8 00002503: PUSH1 0x02 00002505: EXP 00002506: SUB 00002507: NOT 00002508: DUP6 00002509: AND 0000250a: PUSH1 0x04 0000250c: DUP4 0000250d: ADD 0000250e: MSTORE 0000250f: SWAP2 00002510: MLOAD 00002511: PUSH1 0x01 00002513: PUSH1 0xa0 00002515: PUSH1 0x02 00002517: EXP 00002518: SUB 00002519: SWAP1 0000251a: SWAP3 0000251b: AND 0000251c: SWAP3 0000251d: POP 0000251e: PUSH4 0x688dcfd7 00002523: SWAP2 00002524: PUSH1 0x24 00002526: DUP1 00002527: DUP4 00002528: ADD 00002529: SWAP3 0000252a: PUSH1 0x00 0000252c: SWAP3 0000252d: SWAP2 0000252e: SWAP1 0000252f: DUP3 00002530: SWAP1 00002531: SUB 00002532: ADD 00002533: DUP2 00002534: DUP4 00002535: DUP8 00002536: DUP1 00002537: EXTCODESIZE 00002538: ISZERO 00002539: PUSH2 0x0000 0000253c: JUMPI 0000253d: PUSH1 0x32 0000253f: GAS 00002540: SUB 00002541: CALL 00002542: ISZERO 00002543: PUSH2 0x0000 00002546: JUMPI 00002547: POP 00002548: POP 00002549: POP 0000254a: JUMPDEST 0000254b: JUMPDEST 0000254c: POP 0000254d: JUMP 0000254e: JUMPDEST 0000254f: PUSH1 0x0f 00002551: SLOAD 00002552: PUSH1 0x00 00002554: SWAP1 00002555: DUP2 00002556: SWAP1 00002557: DUP2 00002558: SWAP1 00002559: DUP2 0000255a: SWAP1 0000255b: DUP2 0000255c: SWAP1 0000255d: PUSH1 0xff 0000255f: AND 00002560: ISZERO 00002561: ISZERO 00002562: PUSH2 0x1016 00002565: JUMPI 00002566: PUSH1 0x01 00002568: SWAP4 00002569: POP 0000256a: JUMPDEST 0000256b: PUSH1 0x05 0000256d: SLOAD 0000256e: DUP5 0000256f: GT 00002570: PUSH2 0x26c3 00002573: JUMPI 00002574: PUSH1 0x00 00002576: DUP5 00002577: DUP2 00002578: MSTORE 00002579: PUSH1 0x04 0000257b: PUSH1 0x20 0000257d: MSTORE 0000257e: PUSH1 0x40 00002580: SWAP1 00002581: KECCAK256 00002582: SLOAD 00002583: PUSH1 0x01 00002585: PUSH1 0xa0 00002587: PUSH1 0x02 00002589: EXP 0000258a: SUB 0000258b: AND 0000258c: SWAP3 0000258d: POP 0000258e: PUSH2 0x2596 00002591: DUP4 00002592: PUSH2 0x0af0 00002595: JUMP 00002596: JUMPDEST 00002597: SWAP2 00002598: POP 00002599: PUSH2 0x25a1 0000259c: DUP4 0000259d: PUSH2 0x0b96 000025a0: JUMP 000025a1: JUMPDEST 000025a2: PUSH1 0x00 000025a4: DUP6 000025a5: DUP2 000025a6: MSTORE 000025a7: PUSH1 0x04 000025a9: PUSH1 0x20 000025ab: MSTORE 000025ac: PUSH1 0x40 000025ae: SWAP1 000025af: KECCAK256 000025b0: PUSH1 0x01 000025b2: ADD 000025b3: SLOAD 000025b4: SWAP1 000025b5: SWAP2 000025b6: POP 000025b7: DUP3 000025b8: DUP2 000025b9: ADD 000025ba: LT 000025bb: DUP1 000025bc: ISZERO 000025bd: SWAP1 000025be: PUSH2 0x25db 000025c1: JUMPI 000025c2: POP 000025c3: PUSH1 0x00 000025c5: DUP5 000025c6: DUP2 000025c7: MSTORE 000025c8: PUSH1 0x04 000025ca: PUSH1 0x20 000025cc: MSTORE 000025cd: PUSH1 0x40 000025cf: SWAP1 000025d0: KECCAK256 000025d1: PUSH1 0x01 000025d3: ADD 000025d4: SLOAD 000025d5: DUP3 000025d6: ADD 000025d7: DUP2 000025d8: SWAP1 000025d9: LT 000025da: ISZERO 000025db: JUMPDEST 000025dc: ISZERO 000025dd: PUSH2 0x2644 000025e0: JUMPI 000025e1: PUSH1 0x00 000025e3: DUP5 000025e4: DUP2 000025e5: MSTORE 000025e6: PUSH1 0x04 000025e8: PUSH1 0x20 000025ea: SWAP1 000025eb: DUP2 000025ec: MSTORE 000025ed: PUSH1 0x40 000025ef: SWAP2 000025f0: DUP3 000025f1: SWAP1 000025f2: KECCAK256 000025f3: PUSH1 0x01 000025f5: ADD 000025f6: DUP1 000025f7: SLOAD 000025f8: DUP5 000025f9: DUP7 000025fa: SUB 000025fb: SWAP1 000025fc: DUP2 000025fd: ADD 000025fe: SWAP1 000025ff: SWAP2 00002600: SSTORE 00002601: DUP3 00002602: MLOAD 00002603: PUSH1 0x01 00002605: PUSH1 0xa0 00002607: PUSH1 0x02 00002609: EXP 0000260a: SUB 0000260b: DUP8 0000260c: AND 0000260d: DUP2 0000260e: MSTORE 0000260f: SWAP2 00002610: DUP3 00002611: ADD 00002612: MSTORE 00002613: DUP2 00002614: MLOAD 00002615: PUSH32 0x8ff49347da9034aab52b79ac6b2ba8cf17d221516834af5e5fa04bef1df4d7cd 00002636: SWAP3 00002637: SWAP2 00002638: DUP2 00002639: SWAP1 0000263a: SUB 0000263b: SWAP1 0000263c: SWAP2 0000263d: ADD 0000263e: SWAP1 0000263f: LOG1 00002640: PUSH2 0x2684 00002643: JUMP 00002644: JUMPDEST 00002645: PUSH1 0x08 00002647: DUP1 00002648: SLOAD 00002649: PUSH1 0xa0 0000264b: PUSH1 0x02 0000264d: EXP 0000264e: PUSH1 0xff 00002650: MUL 00002651: NOT 00002652: AND 00002653: PUSH1 0xa0 00002655: PUSH1 0x02 00002657: EXP 00002658: OR 00002659: SWAP1 0000265a: SSTORE 0000265b: PUSH1 0x40 0000265d: MLOAD 0000265e: PUSH32 0x52e578ad17dc8fe0ff456fdf1f81516f7d29eb85fff301475a3a29d0e84bb31a 0000267f: SWAP1 00002680: PUSH1 0x00 00002682: SWAP1 00002683: LOG1 00002684: JUMPDEST 00002685: PUSH1 0x00 00002687: DUP5 00002688: DUP2 00002689: MSTORE 0000268a: PUSH1 0x04 0000268c: PUSH1 0x20 0000268e: MSTORE 0000268f: PUSH1 0x40 00002691: SWAP1 00002692: KECCAK256 00002693: PUSH1 0x01 00002695: ADD 00002696: SLOAD 00002697: DUP6 00002698: ADD 00002699: DUP6 0000269a: SWAP1 0000269b: LT 0000269c: PUSH2 0x26b7 0000269f: JUMPI 000026a0: PUSH1 0x00 000026a2: DUP5 000026a3: DUP2 000026a4: MSTORE 000026a5: PUSH1 0x04 000026a7: PUSH1 0x20 000026a9: MSTORE 000026aa: PUSH1 0x40 000026ac: SWAP1 000026ad: KECCAK256 000026ae: PUSH1 0x01 000026b0: ADD 000026b1: SLOAD 000026b2: SWAP5 000026b3: SWAP1 000026b4: SWAP5 000026b5: ADD 000026b6: SWAP4 000026b7: JUMPDEST 000026b8: JUMPDEST 000026b9: PUSH1 0x01 000026bb: SWAP1 000026bc: SWAP4 000026bd: ADD 000026be: SWAP3 000026bf: PUSH2 0x256a 000026c2: JUMP 000026c3: JUMPDEST 000026c4: PUSH1 0x00 000026c6: PUSH1 0x0d 000026c8: DUP2 000026c9: SWAP1 000026ca: SSTORE 000026cb: PUSH1 0x0e 000026cd: SSTORE 000026ce: PUSH1 0x06 000026d0: DUP6 000026d1: SWAP1 000026d2: SSTORE 000026d3: PUSH1 0x0f 000026d5: DUP1 000026d6: SLOAD 000026d7: PUSH1 0xff 000026d9: NOT 000026da: AND 000026db: PUSH1 0x01 000026dd: OR 000026de: SWAP1 000026df: SSTORE 000026e0: JUMPDEST 000026e1: JUMPDEST 000026e2: JUMPDEST 000026e3: POP 000026e4: POP 000026e5: POP 000026e6: POP 000026e7: POP 000026e8: JUMP 000026e9: JUMPDEST 000026ea: PUSH1 0x00 000026ec: SLOAD 000026ed: PUSH1 0x01 000026ef: PUSH1 0xa0 000026f1: PUSH1 0x02 000026f3: EXP 000026f4: SUB 000026f5: AND 000026f6: ISZERO 000026f7: ISZERO 000026f8: PUSH2 0x2707 000026fb: JUMPI 000026fc: PUSH2 0x2705 000026ff: PUSH1 0x00 00002701: PUSH2 0x288c 00002704: JUMP 00002705: JUMPDEST 00002706: POP 00002707: JUMPDEST 00002708: PUSH1 0x00 0000270a: PUSH1 0x00 0000270c: SWAP1 0000270d: SLOAD 0000270e: SWAP1 0000270f: PUSH2 0x0100 00002712: EXP 00002713: SWAP1 00002714: DIV 00002715: PUSH1 0x01 00002717: PUSH1 0xa0 00002719: PUSH1 0x02 0000271b: EXP 0000271c: SUB 0000271d: AND 0000271e: PUSH1 0x01 00002720: PUSH1 0xa0 00002722: PUSH1 0x02 00002724: EXP 00002725: SUB 00002726: AND 00002727: PUSH4 0x38cc4831 0000272c: PUSH1 0x00 0000272e: PUSH1 0x40 00002730: MLOAD 00002731: PUSH1 0x20 00002733: ADD 00002734: MSTORE 00002735: PUSH1 0x40 00002737: MLOAD 00002738: DUP2 00002739: PUSH1 0xe0 0000273b: PUSH1 0x02 0000273d: EXP 0000273e: MUL 0000273f: DUP2 00002740: MSTORE 00002741: PUSH1 0x04 00002743: ADD 00002744: DUP1 00002745: SWAP1 00002746: POP 00002747: PUSH1 0x20 00002749: PUSH1 0x40 0000274b: MLOAD 0000274c: DUP1 0000274d: DUP4 0000274e: SUB 0000274f: DUP2 00002750: PUSH1 0x00 00002752: DUP8 00002753: DUP1 00002754: EXTCODESIZE 00002755: ISZERO 00002756: PUSH2 0x0000 00002759: JUMPI 0000275a: PUSH1 0x32 0000275c: GAS 0000275d: SUB 0000275e: CALL 0000275f: ISZERO 00002760: PUSH2 0x0000 00002763: JUMPI 00002764: POP 00002765: POP 00002766: PUSH1 0x40 00002768: DUP1 00002769: MLOAD 0000276a: DUP1 0000276b: MLOAD 0000276c: PUSH1 0x01 0000276e: DUP1 0000276f: SLOAD 00002770: PUSH1 0x01 00002772: PUSH1 0xa0 00002774: PUSH1 0x02 00002776: EXP 00002777: SUB 00002778: NOT 00002779: AND 0000277a: PUSH1 0x60 0000277c: PUSH1 0x02 0000277e: EXP 0000277f: SWAP3 00002780: DUP4 00002781: MUL 00002782: SWAP3 00002783: SWAP1 00002784: SWAP3 00002785: DIV 00002786: SWAP2 00002787: SWAP1 00002788: SWAP2 00002789: OR 0000278a: SWAP1 0000278b: DUP2 0000278c: SWAP1 0000278d: SSTORE 0000278e: PUSH32 0xe8a5282d00000000000000000000000000000000000000000000000000000000 000027af: DUP3 000027b0: MSTORE 000027b1: PUSH1 0x04 000027b3: DUP3 000027b4: ADD 000027b5: DUP6 000027b6: SWAP1 000027b7: MSTORE 000027b8: SWAP2 000027b9: MLOAD 000027ba: PUSH1 0x01 000027bc: PUSH1 0xa0 000027be: PUSH1 0x02 000027c0: EXP 000027c1: SUB 000027c2: SWAP1 000027c3: SWAP3 000027c4: AND 000027c5: SWAP3 000027c6: POP 000027c7: PUSH4 0xe8a5282d 000027cc: SWAP2 000027cd: PUSH1 0x24 000027cf: DUP1 000027d0: DUP4 000027d1: ADD 000027d2: SWAP3 000027d3: PUSH1 0x00 000027d5: SWAP3 000027d6: SWAP2 000027d7: SWAP1 000027d8: DUP3 000027d9: SWAP1 000027da: SUB 000027db: ADD 000027dc: DUP2 000027dd: DUP4 000027de: DUP8 000027df: DUP1 000027e0: EXTCODESIZE 000027e1: ISZERO 000027e2: PUSH2 0x0000 000027e5: JUMPI 000027e6: PUSH1 0x32 000027e8: GAS 000027e9: SUB 000027ea: CALL 000027eb: ISZERO 000027ec: PUSH2 0x0000 000027ef: JUMPI 000027f0: POP 000027f1: POP 000027f2: POP 000027f3: JUMPDEST 000027f4: JUMPDEST 000027f5: POP 000027f6: JUMP 000027f7: JUMPDEST 000027f8: CALLER 000027f9: PUSH1 0x01 000027fb: PUSH1 0xa0 000027fd: PUSH1 0x02 000027ff: EXP 00002800: SUB 00002801: DUP2 00002802: AND 00002803: PUSH1 0x00 00002805: DUP2 00002806: DUP2 00002807: MSTORE 00002808: PUSH1 0x03 0000280a: PUSH1 0x20 0000280c: SWAP1 0000280d: DUP2 0000280e: MSTORE 0000280f: PUSH1 0x40 00002811: DUP1 00002812: DUP4 00002813: KECCAK256 00002814: DUP7 00002815: SWAP1 00002816: SSTORE 00002817: DUP6 00002818: DUP4 00002819: MSTORE 0000281a: PUSH1 0x04 0000281c: DUP3 0000281d: MSTORE 0000281e: SWAP2 0000281f: DUP3 00002820: SWAP1 00002821: KECCAK256 00002822: DUP1 00002823: SLOAD 00002824: PUSH1 0x01 00002826: PUSH1 0xa0 00002828: PUSH1 0x02 0000282a: EXP 0000282b: SUB 0000282c: NOT 0000282d: AND 0000282e: PUSH1 0x60 00002830: PUSH1 0x02 00002832: EXP 00002833: SWAP6 00002834: DUP7 00002835: MUL 00002836: SWAP6 00002837: SWAP1 00002838: SWAP6 00002839: DIV 0000283a: SWAP5 0000283b: SWAP1 0000283c: SWAP5 0000283d: OR 0000283e: DUP5 0000283f: SSTORE 00002840: CALLVALUE 00002841: PUSH1 0x01 00002843: SWAP1 00002844: SWAP5 00002845: ADD 00002846: DUP5 00002847: SWAP1 00002848: SSTORE 00002849: PUSH1 0x06 0000284b: DUP1 0000284c: SLOAD 0000284d: DUP6 0000284e: ADD 0000284f: SWAP1 00002850: SSTORE 00002851: DUP2 00002852: MLOAD 00002853: SWAP3 00002854: DUP4 00002855: MSTORE 00002856: DUP3 00002857: ADD 00002858: SWAP3 00002859: SWAP1 0000285a: SWAP3 0000285b: MSTORE 0000285c: DUP2 0000285d: MLOAD 0000285e: PUSH32 0xa4a46f45c9996c78320ae470714f930acba653b022fddec1735c1400209780e4 0000287f: SWAP3 00002880: SWAP2 00002881: DUP2 00002882: SWAP1 00002883: SUB 00002884: SWAP1 00002885: SWAP2 00002886: ADD 00002887: SWAP1 00002888: LOG1 00002889: JUMPDEST 0000288a: POP 0000288b: JUMP 0000288c: JUMPDEST 0000288d: PUSH1 0x00 0000288f: PUSH1 0x00 00002891: PUSH2 0x28ad 00002894: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000028a9: PUSH2 0x2adb 000028ac: JUMP 000028ad: JUMPDEST 000028ae: GT 000028af: ISZERO 000028b0: PUSH2 0x28e1 000028b3: JUMPI 000028b4: POP 000028b5: PUSH1 0x00 000028b7: DUP1 000028b8: SLOAD 000028b9: PUSH1 0x01 000028bb: PUSH1 0xa0 000028bd: PUSH1 0x02 000028bf: EXP 000028c0: SUB 000028c1: NOT 000028c2: AND 000028c3: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000028d8: OR 000028d9: SWAP1 000028da: SSTORE 000028db: PUSH1 0x01 000028dd: PUSH2 0x0b2d 000028e0: JUMP 000028e1: JUMPDEST 000028e2: PUSH1 0x00 000028e4: PUSH2 0x2900 000028e7: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1 000028fc: PUSH2 0x2adb 000028ff: JUMP 00002900: JUMPDEST 00002901: GT 00002902: ISZERO 00002903: PUSH2 0x2934 00002906: JUMPI 00002907: POP 00002908: PUSH1 0x00 0000290a: DUP1 0000290b: SLOAD 0000290c: PUSH1 0x01 0000290e: PUSH1 0xa0 00002910: PUSH1 0x02 00002912: EXP 00002913: SUB 00002914: NOT 00002915: AND 00002916: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1 0000292b: OR 0000292c: SWAP1 0000292d: SSTORE 0000292e: PUSH1 0x01 00002930: PUSH2 0x0b2d 00002933: JUMP 00002934: JUMPDEST 00002935: PUSH1 0x00 00002937: PUSH2 0x2953 0000293a: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa 0000294f: PUSH2 0x2adb 00002952: JUMP 00002953: JUMPDEST 00002954: GT 00002955: ISZERO 00002956: PUSH2 0x2987 00002959: JUMPI 0000295a: POP 0000295b: PUSH1 0x00 0000295d: DUP1 0000295e: SLOAD 0000295f: PUSH1 0x01 00002961: PUSH1 0xa0 00002963: PUSH1 0x02 00002965: EXP 00002966: SUB 00002967: NOT 00002968: AND 00002969: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa 0000297e: OR 0000297f: SWAP1 00002980: SSTORE 00002981: PUSH1 0x01 00002983: PUSH2 0x0b2d 00002986: JUMP 00002987: JUMPDEST 00002988: POP 00002989: PUSH1 0x00 0000298b: JUMPDEST 0000298c: SWAP2 0000298d: SWAP1 0000298e: POP 0000298f: JUMP 00002990: JUMPDEST 00002991: PUSH1 0x40 00002993: DUP1 00002994: MLOAD 00002995: PUSH1 0x20 00002997: DUP2 00002998: ADD 00002999: SWAP1 0000299a: SWAP2 0000299b: MSTORE 0000299c: PUSH1 0x00 0000299e: SWAP1 0000299f: DUP2 000029a0: SWAP1 000029a1: MSTORE 000029a2: DUP3 000029a3: DUP2 000029a4: DUP1 000029a5: DUP1 000029a6: JUMPDEST 000029a7: DUP4 000029a8: MLOAD 000029a9: DUP2 000029aa: LT 000029ab: ISZERO 000029ac: PUSH2 0x2abb 000029af: JUMPI 000029b0: PUSH1 0x30 000029b2: PUSH1 0xf8 000029b4: PUSH1 0x02 000029b6: EXP 000029b7: MUL 000029b8: DUP5 000029b9: DUP3 000029ba: DUP2 000029bb: MLOAD 000029bc: DUP2 000029bd: LT 000029be: ISZERO 000029bf: PUSH2 0x0000 000029c2: JUMPI 000029c3: SWAP1 000029c4: PUSH1 0x20 000029c6: ADD 000029c7: ADD 000029c8: MLOAD 000029c9: PUSH1 0xf8 000029cb: PUSH1 0x02 000029cd: EXP 000029ce: SWAP1 000029cf: DIV 000029d0: PUSH1 0xf8 000029d2: PUSH1 0x02 000029d4: EXP 000029d5: MUL 000029d6: PUSH1 0x01 000029d8: PUSH1 0xf8 000029da: PUSH1 0x02 000029dc: EXP 000029dd: SUB 000029de: NOT 000029df: AND 000029e0: LT 000029e1: ISZERO 000029e2: DUP1 000029e3: ISZERO 000029e4: PUSH2 0x2a1b 000029e7: JUMPI 000029e8: POP 000029e9: PUSH1 0x39 000029eb: PUSH1 0xf8 000029ed: PUSH1 0x02 000029ef: EXP 000029f0: MUL 000029f1: DUP5 000029f2: DUP3 000029f3: DUP2 000029f4: MLOAD 000029f5: DUP2 000029f6: LT 000029f7: ISZERO 000029f8: PUSH2 0x0000 000029fb: JUMPI 000029fc: SWAP1 000029fd: PUSH1 0x20 000029ff: ADD 00002a00: ADD 00002a01: MLOAD 00002a02: PUSH1 0xf8 00002a04: PUSH1 0x02 00002a06: EXP 00002a07: SWAP1 00002a08: DIV 00002a09: PUSH1 0xf8 00002a0b: PUSH1 0x02 00002a0d: EXP 00002a0e: MUL 00002a0f: PUSH1 0x01 00002a11: PUSH1 0xf8 00002a13: PUSH1 0x02 00002a15: EXP 00002a16: SUB 00002a17: NOT 00002a18: AND 00002a19: GT 00002a1a: ISZERO 00002a1b: JUMPDEST 00002a1c: ISZERO 00002a1d: PUSH2 0x2a76 00002a20: JUMPI 00002a21: DUP2 00002a22: ISZERO 00002a23: PUSH2 0x2a3e 00002a26: JUMPI 00002a27: DUP6 00002a28: ISZERO 00002a29: ISZERO 00002a2a: PUSH2 0x2a36 00002a2d: JUMPI 00002a2e: PUSH2 0x2abb 00002a31: JUMP 00002a32: PUSH2 0x2a3e 00002a35: JUMP 00002a36: JUMPDEST 00002a37: PUSH1 0x00 00002a39: NOT 00002a3a: SWAP1 00002a3b: SWAP6 00002a3c: ADD 00002a3d: SWAP5 00002a3e: JUMPDEST 00002a3f: JUMPDEST 00002a40: PUSH1 0x0a 00002a42: DUP4 00002a43: MUL 00002a44: SWAP3 00002a45: POP 00002a46: PUSH1 0x30 00002a48: DUP5 00002a49: DUP3 00002a4a: DUP2 00002a4b: MLOAD 00002a4c: DUP2 00002a4d: LT 00002a4e: ISZERO 00002a4f: PUSH2 0x0000 00002a52: JUMPI 00002a53: SWAP1 00002a54: PUSH1 0x20 00002a56: ADD 00002a57: ADD 00002a58: MLOAD 00002a59: PUSH1 0xf8 00002a5b: PUSH1 0x02 00002a5d: EXP 00002a5e: SWAP1 00002a5f: DIV 00002a60: PUSH1 0xf8 00002a62: PUSH1 0x02 00002a64: EXP 00002a65: MUL 00002a66: PUSH1 0xf8 00002a68: PUSH1 0x02 00002a6a: EXP 00002a6b: SWAP1 00002a6c: DIV 00002a6d: SUB 00002a6e: DUP4 00002a6f: ADD 00002a70: SWAP3 00002a71: POP 00002a72: PUSH2 0x2ab1 00002a75: JUMP 00002a76: JUMPDEST 00002a77: DUP4 00002a78: DUP2 00002a79: DUP2 00002a7a: MLOAD 00002a7b: DUP2 00002a7c: LT 00002a7d: ISZERO 00002a7e: PUSH2 0x0000 00002a81: JUMPI 00002a82: SWAP1 00002a83: PUSH1 0x20 00002a85: ADD 00002a86: ADD 00002a87: MLOAD 00002a88: PUSH1 0xf8 00002a8a: PUSH1 0x02 00002a8c: EXP 00002a8d: SWAP1 00002a8e: DIV 00002a8f: PUSH1 0xf8 00002a91: PUSH1 0x02 00002a93: EXP 00002a94: MUL 00002a95: PUSH1 0x01 00002a97: PUSH1 0xf8 00002a99: PUSH1 0x02 00002a9b: EXP 00002a9c: SUB 00002a9d: NOT 00002a9e: AND 00002a9f: PUSH1 0x2e 00002aa1: PUSH1 0xf8 00002aa3: PUSH1 0x02 00002aa5: EXP 00002aa6: MUL 00002aa7: EQ 00002aa8: ISZERO 00002aa9: PUSH2 0x2ab1 00002aac: JUMPI 00002aad: PUSH1 0x01 00002aaf: SWAP2 00002ab0: POP 00002ab1: JUMPDEST 00002ab2: JUMPDEST 00002ab3: JUMPDEST 00002ab4: PUSH1 0x01 00002ab6: ADD 00002ab7: PUSH2 0x29a6 00002aba: JUMP 00002abb: JUMPDEST 00002abc: PUSH1 0x00 00002abe: DUP7 00002abf: GT 00002ac0: ISZERO 00002ac1: PUSH2 0x2acd 00002ac4: JUMPI 00002ac5: DUP6 00002ac6: PUSH1 0x0a 00002ac8: EXP 00002ac9: DUP4 00002aca: MUL 00002acb: SWAP3 00002acc: POP 00002acd: JUMPDEST 00002ace: DUP3 00002acf: SWAP5 00002ad0: POP 00002ad1: JUMPDEST 00002ad2: POP 00002ad3: POP 00002ad4: POP 00002ad5: POP 00002ad6: SWAP3 00002ad7: SWAP2 00002ad8: POP 00002ad9: POP 00002ada: JUMP 00002adb: JUMPDEST 00002adc: DUP1 00002add: EXTCODESIZE 00002ade: JUMPDEST 00002adf: SWAP2 00002ae0: SWAP1 00002ae1: POP 00002ae2: JUMP 00002ae3: JUMPDEST 00002ae4: SSTORE 00002ae5: MSTORE 00002ae6: UNKNOWN(0x4C) 00002ae7: TSTORE 00002ae8: KECCAK256 00002ae9: JUMPDEST 00002aea: UNKNOWN(0x27) 00002aeb: PUSH11 0x736f6e2868747470733a2f 00002af7: UNKNOWN(0x2F) 00002af8: PUSH2 0x7069 00002afb: UNKNOWN(0x2E) 00002afc: PUSH19 0x616e646f6d2e6f72672f6a736f6e2d7270632f 00002b10: BALANCE 00002b11: UNKNOWN(0x2F) 00002b12: PUSH10 0x6e766f6b65292e726573 00002b1d: PUSH22 0x6c742e72616e646f6d2e646174612e30272c20275c6e 00002b34: PUSH28 0x226a736f6e727063223a22322e30222c226d6574686f64223a226765 00002b51: PUSH15 0x65726174655369676e6564496e7465 00002b61: PUSH8 0x657273222c227061 00002b6a: PUSH19 0x616d73223a7b226170694b6579223a247b5b64 00002b7e: PUSH6 0x63727970745d 00002b85: KECCAK256 00002b86: TIMESTAMP 00002b87: BLOBBASEFEE 00002b88: CALLDATALOAD 00002b89: PUSH2 0x3379 00002b8c: MSIZE 00002b8d: CODECOPY 00002b8e: JUMPI 00002b8f: CALLER 00002b90: MLOAD 00002b91: PUSH20 0x72546e2f43684d77524a4274742b493553346145 00002ba6: UNKNOWN(0x4D) 00002ba7: CALLDATASIZE 00002ba8: MSTORE 00002ba9: JUMP 00002baa: GASLIMIT 00002bab: UNKNOWN(0x4C) 00002bac: SSTORE 00002bad: PUSH26 0x646c32746c71456a5949486f6957466e61617449554151373670 00002bc8: PUSH19 0x677a31756f5749345a70646a30674e4d535333 00002bdc: PUSH15 0x2f766e37627236534d79397a704c5a 00002bec: NUMBER 00002bed: MSTORE 00002bee: JUMP 00002bef: PUSH18 0x50533754496359484d4a644c416e3941757a 00002c02: PUSH23 0x7351762f687444544b304731416e5963567070427a492b 00002c1a: GAS 00002c1b: PUSH19 0x69693734686b3745773d7d2c226e223a312c22 00002c2f: PUSH14 0x696e223a312c226d6178223a3130 00002c3e: ADDRESS 00002c3f: ADDRESS 00002c40: ADDRESS 00002c41: UNKNOWN(0x24) 00002c42: PUSH28 0x5b6964656e746974795d20227d227d2c226964223a31247b5b696465 00002c5f: PUSH15
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x19dd8f3a365c444f76563c21c4e75df33ef990178b2becd4a3bef97bd5a6142e
call_targets:
0xe8a51be86ad96447d45ddeddc55013f25157688c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19dd8f3a365c444f76563c21c4e75df33ef990178b2becd4a3bef97bd5a6142e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe8a51be86ad96447d45ddeddc55013f25157688c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x061e494f",
"selector": "0x061e494f",
"calldata_variants": [
"0x061e494f",
"0x061e494f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x116c6eab",
"selector": "0x116c6eab",
"calldata_variants": [
"0x116c6eab",
"0x116c6eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12253a6c",
"selector": "0x12253a6c",
"calldata_variants": [
"0x12253a6c",
"0x12253a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1514ea54",
"selector": "0x1514ea54",
"calldata_variants": [
"0x1514ea54",
"0x1514ea540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4850,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 21,
"guards_detected": [],
"untrusted_call_count": 21
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x19dd8f3a365c444f76563c21c4e75df33ef990178b2becd4a3bef97bd5a6142e
call_targets:
0xe8a51be86ad96447d45ddeddc55013f25157688c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19dd8f3a365c444f76563c21c4e75df33ef990178b2becd4a3bef97bd5a6142e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe8a51be86ad96447d45ddeddc55013f25157688c"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x058aace1",
"selector": "0x058aace1",
"calldata_variants": [
"0x058aace1",
"0x058aace10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x061e494f",
"selector": "0x061e494f",
"calldata_variants": [
"0x061e494f",
"0x061e494f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d1fce42",
"selector": "0x0d1fce42",
"calldata_variants": [
"0x0d1fce42",
"0x0d1fce420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x11610c25",
"selector": "0x11610c25",
"calldata_variants": [
"0x11610c25",
"0x11610c250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x116c6eab",
"selector": "0x116c6eab",
"calldata_variants": [
"0x116c6eab",
"0x116c6eab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x12253a6c",
"selector": "0x12253a6c",
"calldata_variants": [
"0x12253a6c",
"0x12253a6c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x132ae5e9",
"selector": "0x132ae5e9",
"calldata_variants": [
"0x132ae5e9",
"0x132ae5e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1514ea54",
"selector": "0x1514ea54",
"calldata_variants": [
"0x1514ea54",
"0x1514ea540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1980,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2111,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4850,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 21,
"guards_detected": []
}
|
| medium | reentrancy | codex | Configurable safeSend gas enables reentrancy before accounting updates | 75 | no | — |
viewevidence_json{
"evidence": "`safeSend` performs `addr.call.gas(safeGas).value(value)()` and `safeGas` is owner-adjustable; payouts in `isWinningBet`/`isLosingBet` happen before profit/loss accounting updates.",
"locations": [
"contracts/Contract.sol:632",
"contracts/Contract.sol:645",
"contracts/Contract.sol:744",
"contracts/Contract.sol:748",
"contracts/Contract.sol:758",
"contracts/Contract.sol:761",
"contracts/Contract.sol:766",
"contracts/Contract.sol:775",
"contracts/Contract.sol:915",
"contracts/Contract.sol:919"
],
"recommendation": "Keep `safeGas` fixed at 2,300 or cap it to a non-reentrant stipend; alternatively, move all accounting updates before external calls and/or adopt a pull-payment pattern with a reentrancy guard.",
"exploit_scenario": "If the owner raises `safeGas` above the 2,300 stipend, a malicious player contract can reenter during `safeSend` in `isWinningBet`/`isLosingBet` (e.g., via its fallback) and call `divest()` or `increaseInvestment()` before `investorsLosses`/`investorsProfit` are updated. This lets the player (especially if also an investor) exit or rebalance using stale profit/loss values, shifting losses to remaining investors or skewing payout accounting."
}
|
| low | other | codex | Unchecked Oraclize query ID can lock bets when price is unexpectedly high | 65 | no | — |
viewevidence_json{
"evidence": "`oraclize_query` returns `0` on high price, while `bet()` unconditionally records `bets[myid]` and `betsKeys.push(myid)`.",
"locations": [
"contracts/Contract.sol:122",
"contracts/Contract.sol:124",
"contracts/Contract.sol:142",
"contracts/Contract.sol:144",
"contracts/Contract.sol:707",
"contracts/Contract.sol:716",
"contracts/Contract.sol:722",
"contracts/Contract.sol:723"
],
"recommendation": "Check `myid != 0` after `oraclize_query`; if `0`, refund the bet and revert or skip recording the bet.",
"exploit_scenario": "`oraclize_query` returns `0` if the datasource price exceeds a threshold. `bet()` does not validate the returned ID and will store the bet under key `0` even though no callback will be delivered. This traps the bettor\u2019s funds and can overwrite previous `bets[0]` entries if repeated."
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 21
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 19
}
|