Analysis Run

[codex:451790] OpenAI Codex v0.77.0 (research preview)
[codex:451790] --------
[codex:451790] workdir: /tmp/codex-multi-ui7kabvg
[codex:451790] model: gpt-5.2-codex
[codex:451790] provider: openai
[codex:451790] approval: never
[codex:451790] sandbox: read-only
[codex:451790] reasoning effort: xhigh
[codex:451790] reasoning summaries: auto
[codex:451790] session id: 019b8fdc-f7eb-7fc1-838a-37a7e4de0098
[codex:451790] --------
[codex:451790] user
[codex:451790] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:451790] 
[codex:451790] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:451790] 
[codex:451790] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:451790] - Gas inefficiency, code quality, naming, or best practices
[codex:451790] - Theoretical vulnerabilities without a clear extraction path
[codex:451790] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:451790] - Front-running unless it enables theft beyond MEV
[codex:451790] - DoS, griefing, or issues that don't result in attacker profit
[codex:451790] - Missing events, view function issues, or informational findings
[codex:451790] 
[codex:451790] HIGH-VALUE PATTERNS TO HUNT:
[codex:451790] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:451790] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:451790] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:451790] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:451790] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:451790] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:451790] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:451790] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:451790] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:451790] 
[codex:451790] For each finding, you MUST provide:
[codex:451790] 1. Exact file and line numbers of vulnerable code
[codex:451790] 2. Step-by-step exploit transaction sequence
[codex:451790] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:451790] 
[codex:451790] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:451790] 
[codex:451790] Output MUST be valid JSON matching the provided schema.
[codex:451790] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:451790] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:451790] mcp startup: no servers
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Examining AGENTS and audit bundle**
[codex:451790] exec
[codex:451790] /bin/bash -lc ls in /tmp/codex-multi-ui7kabvg succeeded in 5ms:
[codex:451790] AUDIT_BUNDLE.txt
[codex:451790] codex-output-schema.json
[codex:451790] contracts
[codex:451790] exec
[codex:451790] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ui7kabvg succeeded in 5ms:
[codex:451790] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:451790] 
[codex:451790] ================================================================================
[codex:451790] FILE: contracts/Contract.sol
[codex:451790] ================================================================================
[codex:451790] // File: @openzeppelin/contracts/math/SafeMath.sol
[codex:451790] 
[codex:451790] pragma solidity ^0.6.0;
[codex:451790] 
[codex:451790] /**
[codex:451790]  * @dev Wrappers over Solidity's arithmetic operations with added overflow
[codex:451790]  * checks.
[codex:451790]  *
[codex:451790]  * Arithmetic operations in Solidity wrap on overflow. This can easily result
[codex:451790]  * in bugs, because programmers usually assume that an overflow raises an
[codex:451790]  * error, which is the standard behavior in high level programming languages.
[codex:451790]  * `SafeMath` restores this intuition by reverting the transaction when an
[codex:451790]  * operation overflows.
[codex:451790]  *
[codex:451790]  * Using this library instead of the unchecked operations eliminates an entire
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Analyzing AUDIT_BUNDLE for vulnerabilities**
[codex:451790] exec
[codex:451790] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-ui7kabvg succeeded in 16ms:
[codex:451790] 4:FILE: contracts/Contract.sol
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Inspecting multiple contracts in one file**
[codex:451790] exec
[codex:451790] /bin/bash -lc 'rg -n "contract " AUDIT_BUNDLE.txt' in /tmp/codex-multi-ui7kabvg succeeded in 8ms:
[codex:451790] 257:     *  - a contract in construction
[codex:451790] 258:     *  - an address where a contract will be created
[codex:451790] 259:     *  - an address where a contract lived, but was destroyed
[codex:451790] 306: * contract returns false). Tokens that return no value (and instead revert or
[codex:451790] 356:        //  1. The target address is checked to verify it contains contract code
[codex:451790] 809:abstract contract MultiRole {
[codex:451790] 1003: * @title Base contract that allows a specific role to withdraw any ETH and/or ERC20 tokens that the contract holds.
[codex:451790] 1005:abstract contract Withdrawable is MultiRole {
[codex:451790] 1029:     * @dev Either this method or `_setWithdrawRole` must be called by the derived class for this contract to function
[codex:451790] 1047:     * called by the derived class for this contract to function properly.
[codex:451790] 1061: * @title Universal store of current contract time for testing environments.
[codex:451790] 1063:contract Timer {
[codex:451790] 1097:abstract contract Testable {
[codex:451790] 1098:    // If the contract is being run on the test network, then `timerAddress` will be the 0x0.
[codex:451790] 1169:     * @notice Computes the regular oracle fees that a contract should pay for a period.
[codex:451790] 1173:     * token sponsor could extract from the contract through corrupting the price feed in their favor.
[codex:451790] 1184:     * @notice Computes the final oracle fees that a contract should pay at settlement.
[codex:451790] 1200:contract Store is StoreInterface, Withdrawable, Testable {
[codex:451790] 1265:     * @notice Computes the regular oracle fees that a contract should pay for a period.
[codex:451790] 1275:     * token sponsor could extract from the contract through corrupting the price feed in their favor.
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Reviewing contracts for vulnerabilities**
[codex:451790] exec
[codex:451790] /bin/bash -lc "sed -n '760,980p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ui7kabvg succeeded in 6ms:
[codex:451790] 
[codex:451790]     function isMember(RoleMembership storage roleMembership, address memberToCheck) internal view returns (bool) {
[codex:451790]         return roleMembership.member == memberToCheck;
[codex:451790]     }
[codex:451790] 
[codex:451790]     function resetMember(RoleMembership storage roleMembership, address newMember) internal {
[codex:451790]         require(newMember != address(0x0), "Cannot set an exclusive role to 0x0");
[codex:451790]         roleMembership.member = newMember;
[codex:451790]     }
[codex:451790] 
[codex:451790]     function getMember(RoleMembership storage roleMembership) internal view returns (address) {
[codex:451790]         return roleMembership.member;
[codex:451790]     }
[codex:451790] 
[codex:451790]     function init(RoleMembership storage roleMembership, address initialMember) internal {
[codex:451790]         resetMember(roleMembership, initialMember);
[codex:451790]     }
[codex:451790] }
[codex:451790] 
[codex:451790] 
[codex:451790] exec
[codex:451790] /bin/bash -lc "sed -n '980,1140p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ui7kabvg succeeded in 5ms:
[codex:451790]         address initialMember
[codex:451790]     ) internal onlyInvalidRole(roleId) {
[codex:451790]         Role storage role = roles[roleId];
[codex:451790]         role.roleType = RoleType.Exclusive;
[codex:451790]         role.managingRole = managingRoleId;
[codex:451790]         role.exclusiveRoleMembership.init(initialMember);
[codex:451790]         require(
[codex:451790]             roles[managingRoleId].roleType != RoleType.Invalid,
[codex:451790]             "Attempted to use an invalid role to manage an exclusive role"
[codex:451790]         );
[codex:451790]     }
[codex:451790] }
[codex:451790] 
[codex:451790] // File: contracts/common/implementation/Withdrawable.sol
[codex:451790] 
[codex:451790] /**
[codex:451790]  * Withdrawable contract.
[codex:451790]  */
[codex:451790] 
[codex:451790] pragma solidity ^0.6.0;
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Analyzing role-based access and timer vulnerability**
[codex:451790] 
[codex:451790] I'm reviewing how withdraw roles are managed with strict owner control to prevent unauthorized withdrawals and scrutinizing a public timer function that could affect fee calculations if misconfigured, which might indirectly reduce fees without enabling direct profit extraction. To be thorough, I’ll keep inspecting the entire contract file, including earlier utilities and later sections, to spot any overlooked issues or components.
[codex:451790] exec
[codex:451790] /bin/bash -lc "sed -n '1140,1356p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ui7kabvg succeeded in 5ms:
[codex:451790] }
[codex:451790] 
[codex:451790] // File: contracts/oracle/interfaces/StoreInterface.sol
[codex:451790] 
[codex:451790] pragma solidity ^0.6.0;
[codex:451790] pragma experimental ABIEncoderV2;
[codex:451790] 
[codex:451790] 
[codex:451790] 
[codex:451790] 
[codex:451790] /**
[codex:451790]  * @title Interface that allows financial contracts to pay oracle fees for their use of the system.
[codex:451790]  */
[codex:451790] interface StoreInterface {
[codex:451790]     /**
[codex:451790]      * @notice Pays Oracle fees in ETH to the store.
[codex:451790]      * @dev To be used by contracts whose margin currency is ETH.
[codex:451790]      */
[codex:451790]     function payOracleFees() external payable;
[codex:451790] 
[codex:451790] 
[codex:451790] thinking
[codex:451790] **Analyzing potential time manipulation exploits**
[codex:451790] codex
[codex:451790] {"no_findings":true,"summary":"No concrete, exploitable profit-extraction paths found in the provided contracts.","findings":[]}
[codex:451790] tokens used
[codex:451790] 42,067
[codex:451790] {"no_findings":true,"summary":"No concrete, exploitable profit-extraction paths found in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T20:34:05.977432+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit-extraction paths found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit-extraction paths found in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0135
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d69dfdb
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xab3545e5
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xab3545e5
0000002f: EQ
00000030: PUSH2 0x0350
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xacb6f6cb
0000003a: EQ
0000003b: PUSH2 0x0370
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb187487d
00000045: EQ
00000046: PUSH2 0x0390
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xbd1f4b52
00000050: EQ
00000051: PUSH2 0x03b0
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xcd3a9b24
0000005b: EQ
0000005c: PUSH2 0x03d0
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xd97c05be
00000066: EQ
00000067: PUSH2 0x03d8
0000006a: JUMPI
0000006b: PUSH2 0x0135
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x7d69dfdb
00000076: EQ
00000077: PUSH2 0x02c6
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x7e7e591d
00000081: EQ
00000082: PUSH2 0x02db
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x84ae2a74
0000008c: EQ
0000008d: PUSH2 0x02fb
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8659d232
00000097: EQ
00000098: PUSH2 0x0310
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xaaa14ca3
000000a2: EQ
000000a3: PUSH2 0x0330
000000a6: JUMPI
000000a7: PUSH2 0x0135
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x5b97aadd
000000b2: GT
000000b3: PUSH2 0x00fd
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x5b97aadd
000000bd: EQ
000000be: PUSH2 0x01de
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x6be7658b
000000c8: EQ
000000c9: PUSH2 0x020b
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x6f356f4a
000000d3: EQ
000000d4: PUSH2 0x022b
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x74201feb
000000de: EQ
000000df: PUSH2 0x024b
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x74d0a676
000000e9: EQ
000000ea: PUSH2 0x0279
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x7cdc1cb9
000000f4: EQ
000000f5: PUSH2 0x0299
000000f8: JUMPI
000000f9: PUSH2 0x0135
000000fc: JUMP
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x1c39c38d
00000104: EQ
00000105: PUSH2 0x013a
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x22f8e566
0000010f: EQ
00000110: PUSH2 0x0165
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x29cb924d
0000011a: EQ
0000011b: PUSH2 0x0187
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x2e1a7d4d
00000125: EQ
00000126: PUSH2 0x01a9
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x2fee2098
00000130: EQ
00000131: PUSH2 0x01c9
00000134: JUMPI
00000135: JUMPDEST
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: CALLVALUE
0000013c: DUP1
0000013d: ISZERO
0000013e: PUSH2 0x0146
00000141: JUMPI
00000142: PUSH1 0x00
00000144: DUP1
00000145: REVERT
00000146: JUMPDEST
00000147: POP
00000148: PUSH2 0x014f
0000014b: PUSH2 0x03f8
0000014e: JUMP
0000014f: JUMPDEST
00000150: PUSH1 0x40
00000152: MLOAD
00000153: PUSH2 0x015c
00000156: SWAP2
00000157: SWAP1
00000158: PUSH2 0x1462
0000015b: JUMP
0000015c: JUMPDEST
0000015d: PUSH1 0x40
0000015f: MLOAD
00000160: DUP1
00000161: SWAP2
00000162: SUB
00000163: SWAP1
00000164: RETURN
00000165: JUMPDEST
00000166: CALLVALUE
00000167: DUP1
00000168: ISZERO
00000169: PUSH2 0x0171
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: POP
00000173: PUSH2 0x0185
00000176: PUSH2 0x0180
00000179: CALLDATASIZE
0000017a: PUSH1 0x04
0000017c: PUSH2 0x13be
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH2 0x0407
00000184: JUMP
00000185: JUMPDEST
00000186: STOP
00000187: JUMPDEST
00000188: CALLVALUE
00000189: DUP1
0000018a: ISZERO
0000018b: PUSH2 0x0193
0000018e: JUMPI
0000018f: PUSH1 0x00
00000191: DUP1
00000192: REVERT
00000193: JUMPDEST
00000194: POP
00000195: PUSH2 0x019c
00000198: PUSH2 0x0481
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x40
0000019f: MLOAD
000001a0: PUSH2 0x015c
000001a3: SWAP2
000001a4: SWAP1
000001a5: PUSH2 0x1935
000001a8: JUMP
000001a9: JUMPDEST
000001aa: CALLVALUE
000001ab: DUP1
000001ac: ISZERO
000001ad: PUSH2 0x01b5
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: POP
000001b7: PUSH2 0x0185
000001ba: PUSH2 0x01c4
000001bd: CALLDATASIZE
000001be: PUSH1 0x04
000001c0: PUSH2 0x13be
000001c3: JUMP
000001c4: JUMPDEST
000001c5: PUSH2 0x0528
000001c8: JUMP
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d5
000001d0: JUMPI
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: REVERT
000001d5: JUMPDEST
000001d6: POP
000001d7: PUSH2 0x019c
000001da: PUSH2 0x0568
000001dd: JUMP
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01ea
000001e5: JUMPI
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: POP
000001ec: PUSH2 0x01fe
000001ef: PUSH2 0x01f9
000001f2: CALLDATASIZE
000001f3: PUSH1 0x04
000001f5: PUSH2 0x12d3
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH2 0x056e
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: PUSH2 0x015c
00000205: SWAP2
00000206: SWAP1
00000207: PUSH2 0x191b
0000020a: JUMP
0000020b: JUMPDEST
0000020c: CALLVALUE
0000020d: DUP1
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: POP
00000219: PUSH2 0x0185
0000021c: PUSH2 0x0226
0000021f: CALLDATASIZE
00000220: PUSH1 0x04
00000222: PUSH2 0x13ee
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH2 0x05a1
0000022a: JUMP
0000022b: JUMPDEST
0000022c: CALLVALUE
0000022d: DUP1
0000022e: ISZERO
0000022f: PUSH2 0x0237
00000232: JUMPI
00000233: PUSH1 0x00
00000235: DUP1
00000236: REVERT
00000237: JUMPDEST
00000238: POP
00000239: PUSH2 0x019c
0000023c: PUSH2 0x0246
0000023f: CALLDATASIZE
00000240: PUSH1 0x04
00000242: PUSH2 0x12d3
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH2 0x0677
0000024a: JUMP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x026b
0000025c: PUSH2 0x0266
0000025f: CALLDATASIZE
00000260: PUSH1 0x04
00000262: PUSH2 0x1411
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH2 0x0689
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH1 0x40
0000026e: MLOAD
0000026f: PUSH2 0x015c
00000272: SWAP3
00000273: SWAP2
00000274: SWAP1
00000275: PUSH2 0x1925
00000278: JUMP
00000279: JUMPDEST
0000027a: CALLVALUE
0000027b: DUP1
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x0185
0000028a: PUSH2 0x0294
0000028d: CALLDATASIZE
0000028e: PUSH1 0x04
00000290: PUSH2 0x13ee
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x076b
00000298: JUMP
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x02b9
000002aa: PUSH2 0x02b4
000002ad: CALLDATASIZE
000002ae: PUSH1 0x04
000002b0: PUSH2 0x13ee
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH2 0x0841
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: PUSH2 0x015c
000002c0: SWAP2
000002c1: SWAP1
000002c2: PUSH2 0x14b3
000002c5: JUMP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x019c
000002d7: PUSH2 0x08d0
000002da: JUMP
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: DUP1
000002de: ISZERO
000002df: PUSH2 0x02e7
000002e2: JUMPI
000002e3: PUSH1 0x00
000002e5: DUP1
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x0185
000002ec: PUSH2 0x02f6
000002ef: CALLDATASIZE
000002f0: PUSH1 0x04
000002f2: PUSH2 0x1322
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH2 0x08d6
000002fa: JUMP
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: DUP1
000002fe: ISZERO
000002ff: PUSH2 0x0307
00000302: JUMPI
00000303: PUSH1 0x00
00000305: DUP1
00000306: REVERT
00000307: JUMPDEST
00000308: POP
00000309: PUSH2 0x019c
0000030c: PUSH2 0x0957
0000030f: JUMP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0185
00000321: PUSH2 0x032b
00000324: CALLDATASIZE
00000325: PUSH1 0x04
00000327: PUSH2 0x12ee
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH2 0x095e
0000032f: JUMP
00000330: JUMPDEST
00000331: CALLVALUE
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH2 0x0185
00000341: PUSH2 0x034b
00000344: CALLDATASIZE
00000345: PUSH1 0x04
00000347: PUSH2 0x13be
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x09bc
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x014f
00000361: PUSH2 0x036b
00000364: CALLDATASIZE
00000365: PUSH1 0x04
00000367: PUSH2 0x13be
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0a78
0000036f: JUMP
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0185
00000381: PUSH2 0x038b
00000384: CALLDATASIZE
00000385: PUSH1 0x04
00000387: PUSH2 0x13a3
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x0adb
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x0185
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x13a3
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x0b70
000003af: JUMP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x0185
000003c1: PUSH2 0x03cb
000003c4: CALLDATASIZE
000003c5: PUSH1 0x04
000003c7: PUSH2 0x1359
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0bfa
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x0185
000003d4: PUSH2 0x0c44
000003d7: JUMP
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0185
000003e9: PUSH2 0x03f3
000003ec: CALLDATASIZE
000003ed: PUSH1 0x04
000003ef: PUSH2 0x13ee
000003f2: JUMP
000003f3: JUMPDEST
000003f4: PUSH2 0x0c66
000003f7: JUMP
000003f8: JUMPDEST
000003f9: PUSH1 0x02
000003fb: SLOAD
000003fc: PUSH1 0x01
000003fe: PUSH1 0x01
00000400: PUSH1 0xa0
00000402: SHL
00000403: SUB
00000404: AND
00000405: DUP2
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH1 0x02
0000040a: SLOAD
0000040b: PUSH1 0x01
0000040d: PUSH1 0x01
0000040f: PUSH1 0xa0
00000411: SHL
00000412: SUB
00000413: AND
00000414: PUSH2 0x041c
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: PUSH1 0x02
0000041f: SLOAD
00000420: PUSH1 0x40
00000422: MLOAD
00000423: PUSH4 0x117c72b3
00000428: PUSH1 0xe1
0000042a: SHL
0000042b: DUP2
0000042c: MSTORE
0000042d: PUSH1 0x01
0000042f: PUSH1 0x01
00000431: PUSH1 0xa0
00000433: SHL
00000434: SUB
00000435: SWAP1
00000436: SWAP2
00000437: AND
00000438: SWAP1
00000439: PUSH4 0x22f8e566
0000043e: SWAP1
0000043f: PUSH2 0x044c
00000442: SWAP1
00000443: DUP5
00000444: SWAP1
00000445: PUSH1 0x04
00000447: ADD
00000448: PUSH2 0x1935
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x00
0000044f: PUSH1 0x40
00000451: MLOAD
00000452: DUP1
00000453: DUP4
00000454: SUB
00000455: DUP2
00000456: PUSH1 0x00
00000458: DUP8
00000459: DUP1
0000045a: EXTCODESIZE
0000045b: ISZERO
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: GAS
00000469: CALL
0000046a: ISZERO
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x047a
00000470: JUMPI
00000471: RETURNDATASIZE
00000472: PUSH1 0x00
00000474: DUP1
00000475: RETURNDATACOPY
00000476: RETURNDATASIZE
00000477: PUSH1 0x00
00000479: REVERT
0000047a: JUMPDEST
0000047b: POP
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: POP
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x02
00000484: SLOAD
00000485: PUSH1 0x00
00000487: SWAP1
00000488: PUSH1 0x01
0000048a: PUSH1 0x01
0000048c: PUSH1 0xa0
0000048e: SHL
0000048f: SUB
00000490: AND
00000491: ISZERO
00000492: PUSH2 0x0522
00000495: JUMPI
00000496: PUSH1 0x02
00000498: PUSH1 0x00
0000049a: SWAP1
0000049b: SLOAD
0000049c: SWAP1
0000049d: PUSH2 0x0100
000004a0: EXP
000004a1: SWAP1
000004a2: DIV
000004a3: PUSH1 0x01
000004a5: PUSH1 0x01
000004a7: PUSH1 0xa0
000004a9: SHL
000004aa: SUB
000004ab: AND
000004ac: PUSH1 0x01
000004ae: PUSH1 0x01
000004b0: PUSH1 0xa0
000004b2: SHL
000004b3: SUB
000004b4: AND
000004b5: PUSH4 0x29cb924d
000004ba: PUSH1 0x40
000004bc: MLOAD
000004bd: DUP2
000004be: PUSH4 0xffffffff
000004c3: AND
000004c4: PUSH1 0xe0
000004c6: SHL
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x04
000004cb: ADD
000004cc: PUSH1 0x20
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: DUP4
000004d3: SUB
000004d4: DUP2
000004d5: DUP7
000004d6: DUP1
000004d7: EXTCODESIZE
000004d8: ISZERO
000004d9: DUP1
000004da: ISZERO
000004db: PUSH2 0x04e3
000004de: JUMPI
000004df: PUSH1 0x00
000004e1: DUP1
000004e2: REVERT
000004e3: JUMPDEST
000004e4: POP
000004e5: GAS
000004e6: STATICCALL
000004e7: ISZERO
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f7
000004ed: JUMPI
000004ee: RETURNDATASIZE
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: RETURNDATACOPY
000004f3: RETURNDATASIZE
000004f4: PUSH1 0x00
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: POP
000004fa: POP
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: RETURNDATASIZE
00000500: PUSH1 0x1f
00000502: NOT
00000503: PUSH1 0x1f
00000505: DUP3
00000506: ADD
00000507: AND
00000508: DUP3
00000509: ADD
0000050a: DUP1
0000050b: PUSH1 0x40
0000050d: MSTORE
0000050e: POP
0000050f: DUP2
00000510: ADD
00000511: SWAP1
00000512: PUSH2 0x051b
00000515: SWAP2
00000516: SWAP1
00000517: PUSH2 0x13d6
0000051a: JUMP
0000051b: JUMPDEST
0000051c: SWAP1
0000051d: POP
0000051e: PUSH2 0x0525
00000521: JUMP
00000522: JUMPDEST
00000523: POP
00000524: TIMESTAMP
00000525: JUMPDEST
00000526: SWAP1
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH1 0x01
0000052b: SLOAD
0000052c: PUSH2 0x0535
0000052f: DUP2
00000530: CALLER
00000531: PUSH2 0x0841
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH2 0x055a
00000539: JUMPI
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: PUSH3 0x461bcd
00000541: PUSH1 0xe5
00000543: SHL
00000544: DUP2
00000545: MSTORE
00000546: PUSH1 0x04
00000548: ADD
00000549: PUSH2 0x0551
0000054c: SWAP1
0000054d: PUSH2 0x16fa
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x40
00000554: MLOAD
00000555: DUP1
00000556: SWAP2
00000557: SUB
00000558: SWAP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: PUSH2 0x0564
0000055e: CALLER
0000055f: DUP4
00000560: PUSH2 0x0d3c
00000563: JUMP
00000564: JUMPDEST
00000565: POP
00000566: POP
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH1 0x03
0000056b: SLOAD
0000056c: DUP2
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH2 0x0576
00000572: PUSH2 0x1255
00000575: JUMP
00000576: JUMPDEST
00000577: POP
00000578: PUSH1 0x01
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: SHL
0000057f: SUB
00000580: AND
00000581: PUSH1 0x00
00000583: SWAP1
00000584: DUP2
00000585: MSTORE
00000586: PUSH1 0x05
00000588: PUSH1 0x20
0000058a: SWAP1
0000058b: DUP2
0000058c: MSTORE
0000058d: PUSH1 0x40
0000058f: SWAP2
00000590: DUP3
00000591: SWAP1
00000592: KECCAK256
00000593: DUP3
00000594: MLOAD
00000595: SWAP2
00000596: DUP3
00000597: ADD
00000598: SWAP1
00000599: SWAP3
0000059a: MSTORE
0000059b: SWAP1
0000059c: SLOAD
0000059d: DUP2
0000059e: MSTORE
0000059f: SWAP1
000005a0: JUMP
000005a1: JUMPDEST
000005a2: DUP2
000005a3: PUSH1 0x02
000005a5: PUSH1 0x00
000005a7: DUP3
000005a8: DUP2
000005a9: MSTORE
000005aa: PUSH1 0x20
000005ac: DUP2
000005ad: SWAP1
000005ae: MSTORE
000005af: PUSH1 0x40
000005b1: SWAP1
000005b2: KECCAK256
000005b3: PUSH1 0x01
000005b5: ADD
000005b6: SLOAD
000005b7: PUSH1 0xff
000005b9: AND
000005ba: PUSH1 0x02
000005bc: DUP2
000005bd: GT
000005be: ISZERO
000005bf: PUSH2 0x05c4
000005c2: JUMPI
000005c3: INVALID
000005c4: JUMPDEST
000005c5: EQ
000005c6: PUSH2 0x05e1
000005c9: JUMPI
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: PUSH3 0x461bcd
000005d1: PUSH1 0xe5
000005d3: SHL
000005d4: DUP2
000005d5: MSTORE
000005d6: PUSH1 0x04
000005d8: ADD
000005d9: PUSH2 0x0551
000005dc: SWAP1
000005dd: PUSH2 0x16ae
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x00
000005e4: DUP4
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x20
000005e9: DUP2
000005ea: SWAP1
000005eb: MSTORE
000005ec: PUSH1 0x40
000005ee: SWAP1
000005ef: KECCAK256
000005f0: SLOAD
000005f1: DUP4
000005f2: SWAP1
000005f3: PUSH2 0x05fc
000005f6: SWAP1
000005f7: CALLER
000005f8: PUSH2 0x0841
000005fb: JUMP
000005fc: JUMPDEST
000005fd: PUSH2 0x0618
00000600: JUMPI
00000601: PUSH1 0x40
00000603: MLOAD
00000604: PUSH3 0x461bcd
00000608: PUSH1 0xe5
0000060a: SHL
0000060b: DUP2
0000060c: MSTORE
0000060d: PUSH1 0x04
0000060f: ADD
00000610: PUSH2 0x0551
00000613: SWAP1
00000614: PUSH2 0x17c0
00000617: JUMP
00000618: JUMPDEST
00000619: PUSH1 0x00
0000061b: DUP5
0000061c: DUP2
0000061d: MSTORE
0000061e: PUSH1 0x20
00000620: DUP2
00000621: SWAP1
00000622: MSTORE
00000623: PUSH1 0x40
00000625: SWAP1
00000626: KECCAK256
00000627: PUSH2 0x0639
0000062a: SWAP1
0000062b: PUSH1 0x03
0000062d: ADD
0000062e: DUP5
0000062f: PUSH4 0xffffffff
00000634: PUSH2 0x0dd8
00000637: AND
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH1 0x40
0000063c: MLOAD
0000063d: CALLER
0000063e: SWAP1
0000063f: PUSH1 0x01
00000641: PUSH1 0x01
00000643: PUSH1 0xa0
00000645: SHL
00000646: SUB
00000647: DUP6
00000648: AND
00000649: SWAP1
0000064a: DUP7
0000064b: SWAP1
0000064c: PUSH32 0xeb3e33034c392e69263b04ec0fa376dc12784a41b6676c7f31b936cbc0fbb5af
0000066d: SWAP1
0000066e: PUSH1 0x00
00000670: SWAP1
00000671: LOG4
00000672: POP
00000673: POP
00000674: POP
00000675: POP
00000676: JUMP
00000677: JUMPDEST
00000678: PUSH1 0x05
0000067a: PUSH1 0x20
0000067c: MSTORE
0000067d: PUSH1 0x00
0000067f: SWAP1
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x40
00000684: SWAP1
00000685: KECCAK256
00000686: SLOAD
00000687: DUP2
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH2 0x0691
0000068d: PUSH2 0x1255
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH2 0x0699
00000695: PUSH2 0x1255
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH1 0x00
0000069c: PUSH2 0x06ab
0000069f: DUP6
000006a0: DUP8
000006a1: PUSH4 0xffffffff
000006a6: PUSH2 0x0dfa
000006a9: AND
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x40
000006ae: DUP1
000006af: MLOAD
000006b0: PUSH1 0x20
000006b2: DUP2
000006b3: ADD
000006b4: SWAP1
000006b5: SWAP2
000006b6: MSTORE
000006b7: PUSH1 0x03
000006b9: SLOAD
000006ba: DUP2
000006bb: MSTORE
000006bc: SWAP1
000006bd: SWAP2
000006be: POP
000006bf: PUSH2 0x06ed
000006c2: SWAP1
000006c3: PUSH2 0x06e1
000006c6: DUP4
000006c7: PUSH2 0x06d5
000006ca: CALLDATASIZE
000006cb: DUP10
000006cc: SWAP1
000006cd: SUB
000006ce: DUP10
000006cf: ADD
000006d0: DUP10
000006d1: PUSH2 0x13a3
000006d4: JUMP
000006d5: JUMPDEST
000006d6: SWAP1
000006d7: PUSH4 0xffffffff
000006dc: PUSH2 0x0e3c
000006df: AND
000006e0: JUMP
000006e1: JUMPDEST
000006e2: SWAP1
000006e3: PUSH4 0xffffffff
000006e8: PUSH2 0x0e6c
000006eb: AND
000006ec: JUMP
000006ed: JUMPDEST
000006ee: SWAP3
000006ef: POP
000006f0: PUSH1 0x00
000006f2: PUSH2 0x0709
000006f5: DUP8
000006f6: PUSH2 0x06fd
000006f9: PUSH2 0x0481
000006fc: JUMP
000006fd: JUMPDEST
000006fe: SWAP1
000006ff: PUSH4 0xffffffff
00000704: PUSH2 0x0dfa
00000707: AND
00000708: JUMP
00000709: JUMPDEST
0000070a: SWAP1
0000070b: POP
0000070c: PUSH2 0x0713
0000070f: PUSH2 0x1255
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x0745
00000717: PUSH2 0x0729
0000071a: DUP4
0000071b: PUSH3 0x093a80
0000071f: PUSH4 0xffffffff
00000724: PUSH2 0x0eaf
00000727: AND
00000728: JUMP
00000729: JUMPDEST
0000072a: PUSH1 0x40
0000072c: DUP1
0000072d: MLOAD
0000072e: PUSH1 0x20
00000730: DUP2
00000731: ADD
00000732: SWAP1
00000733: SWAP2
00000734: MSTORE
00000735: PUSH1 0x04
00000737: SLOAD
00000738: DUP2
00000739: MSTORE
0000073a: SWAP1
0000073b: PUSH4 0xffffffff
00000740: PUSH2 0x0e3c
00000743: AND
00000744: JUMP
00000745: JUMPDEST
00000746: SWAP1
00000747: POP
00000748: PUSH2 0x075e
0000074b: DUP2
0000074c: PUSH2 0x06e1
0000074f: DUP6
00000750: PUSH2 0x06d5
00000753: CALLDATASIZE
00000754: DUP12
00000755: SWAP1
00000756: SUB
00000757: DUP12
00000758: ADD
00000759: DUP12
0000075a: PUSH2 0x13a3
0000075d: JUMP
0000075e: JUMPDEST
0000075f: SWAP4
00000760: POP
00000761: POP
00000762: POP
00000763: POP
00000764: SWAP4
00000765: POP
00000766: SWAP4
00000767: SWAP2
00000768: POP
00000769: POP
0000076a: JUMP
0000076b: JUMPDEST
0000076c: DUP2
0000076d: PUSH1 0x02
0000076f: PUSH1 0x00
00000771: DUP3
00000772: DUP2
00000773: MSTORE
00000774: PUSH1 0x20
00000776: DUP2
00000777: SWAP1
00000778: MSTORE
00000779: PUSH1 0x40
0000077b: SWAP1
0000077c: KECCAK256
0000077d: PUSH1 0x01
0000077f: ADD
00000780: SLOAD
00000781: PUSH1 0xff
00000783: AND
00000784: PUSH1 0x02
00000786: DUP2
00000787: GT
00000788: ISZERO
00000789: PUSH2 0x078e
0000078c: JUMPI
0000078d: INVALID
0000078e: JUMPDEST
0000078f: EQ
00000790: PUSH2 0x07ab
00000793: JUMPI
00000794: PUSH1 0x40
00000796: MLOAD
00000797: PUSH3 0x461bcd
0000079b: PUSH1 0xe5
0000079d: SHL
0000079e: DUP2
0000079f: MSTORE
000007a0: PUSH1 0x04
000007a2: ADD
000007a3: PUSH2 0x0551
000007a6: SWAP1
000007a7: PUSH2 0x16ae
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x00
000007ae: DUP4
000007af: DUP2
000007b0: MSTORE
000007b1: PUSH1 0x20
000007b3: DUP2
000007b4: SWAP1
000007b5: MSTORE
000007b6: PUSH1 0x40
000007b8: SWAP1
000007b9: KECCAK256
000007ba: SLOAD
000007bb: DUP4
000007bc: SWAP1
000007bd: PUSH2 0x07c6
000007c0: SWAP1
000007c1: CALLER
000007c2: PUSH2 0x0841
000007c5: JUMP
000007c6: JUMPDEST
000007c7: PUSH2 0x07e2
000007ca: JUMPI
000007cb: PUSH1 0x40
000007cd: MLOAD
000007ce: PUSH3 0x461bcd
000007d2: PUSH1 0xe5
000007d4: SHL
000007d5: DUP2
000007d6: MSTORE
000007d7: PUSH1 0x04
000007d9: ADD
000007da: PUSH2 0x0551
000007dd: SWAP1
000007de: PUSH2 0x17c0
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x00
000007e5: DUP5
000007e6: DUP2
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: DUP2
000007eb: SWAP1
000007ec: MSTORE
000007ed: PUSH1 0x40
000007ef: SWAP1
000007f0: KECCAK256
000007f1: PUSH2 0x0803
000007f4: SWAP1
000007f5: PUSH1 0x03
000007f7: ADD
000007f8: DUP5
000007f9: PUSH4 0xffffffff
000007fe: PUSH2 0x0ef1
00000801: AND
00000802: JUMP
00000803: JUMPDEST
00000804: PUSH1 0x40
00000806: MLOAD
00000807: CALLER
00000808: SWAP1
00000809: PUSH1 0x01
0000080b: PUSH1 0x01
0000080d: PUSH1 0xa0
0000080f: SHL
00000810: SUB
00000811: DUP6
00000812: AND
00000813: SWAP1
00000814: DUP7
00000815: SWAP1
00000816: PUSH32 0x63502af7324ff6db91ab38f8236a648727d9385ea6c782073dd4882d8a61a48f
00000837: SWAP1
00000838: PUSH1 0x00
0000083a: SWAP1
0000083b: LOG4
0000083c: POP
0000083d: POP
0000083e: POP
0000083f: POP
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x00
00000844: DUP3
00000845: DUP2
00000846: MSTORE
00000847: PUSH1 0x20
00000849: DUP2
0000084a: SWAP1
0000084b: MSTORE
0000084c: PUSH1 0x40
0000084e: DUP2
0000084f: KECCAK256
00000850: PUSH1 0x01
00000852: DUP1
00000853: DUP3
00000854: ADD
00000855: SLOAD
00000856: PUSH1 0xff
00000858: AND
00000859: PUSH1 0x02
0000085b: DUP2
0000085c: GT
0000085d: ISZERO
0000085e: PUSH2 0x0863
00000861: JUMPI
00000862: INVALID
00000863: JUMPDEST
00000864: EQ
00000865: ISZERO
00000866: PUSH2 0x0884
00000869: JUMPI
0000086a: PUSH2 0x087c
0000086d: PUSH1 0x02
0000086f: DUP3
00000870: ADD
00000871: DUP5
00000872: PUSH4 0xffffffff
00000877: PUSH2 0x0f3c
0000087a: AND
0000087b: JUMP
0000087c: JUMPDEST
0000087d: SWAP2
0000087e: POP
0000087f: POP
00000880: PUSH2 0x08ca
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH1 0x02
00000887: PUSH1 0x01
00000889: DUP3
0000088a: ADD
0000088b: SLOAD
0000088c: PUSH1 0xff
0000088e: AND
0000088f: PUSH1 0x02
00000891: DUP2
00000892: GT
00000893: ISZERO
00000894: PUSH2 0x0899
00000897: JUMPI
00000898: INVALID
00000899: JUMPDEST
0000089a: EQ
0000089b: ISZERO
0000089c: PUSH2 0x08b2
0000089f: JUMPI
000008a0: PUSH2 0x087c
000008a3: PUSH1 0x03
000008a5: DUP3
000008a6: ADD
000008a7: DUP5
000008a8: PUSH4 0xffffffff
000008ad: PUSH2 0x0f4f
000008b0: AND
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x40
000008b5: MLOAD
000008b6: PUSH3 0x461bcd
000008ba: PUSH1 0xe5
000008bc: SHL
000008bd: DUP2
000008be: MSTORE
000008bf: PUSH1 0x04
000008c1: ADD
000008c2: PUSH2 0x0551
000008c5: SWAP1
000008c6: PUSH2 0x1804
000008c9: JUMP
000008ca: JUMPDEST
000008cb: SWAP3
000008cc: SWAP2
000008cd: POP
000008ce: POP
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x04
000008d3: SLOAD
000008d4: DUP2
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x00
000008d9: PUSH2 0x08e2
000008dc: DUP2
000008dd: CALLER
000008de: PUSH2 0x0841
000008e1: JUMP
000008e2: JUMPDEST
000008e3: PUSH2 0x08fe
000008e6: JUMPI
000008e7: PUSH1 0x40
000008e9: MLOAD
000008ea: PUSH3 0x461bcd
000008ee: PUSH1 0xe5
000008f0: SHL
000008f1: DUP2
000008f2: MSTORE
000008f3: PUSH1 0x04
000008f5: ADD
000008f6: PUSH2 0x0551
000008f9: SWAP1
000008fa: PUSH2 0x16fa
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH1 0x01
00000901: PUSH1 0x01
00000903: PUSH1 0xa0
00000905: SHL
00000906: SUB
00000907: DUP4
00000908: AND
00000909: PUSH1 0x00
0000090b: SWAP1
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x05
00000910: PUSH1 0x20
00000912: MSTORE
00000913: PUSH1 0x40
00000915: SWAP1
00000916: DUP2
00000917: SWAP1
00000918: KECCAK256
00000919: DUP4
0000091a: MLOAD
0000091b: SWAP1
0000091c: SSTORE
0000091d: MLOAD
0000091e: PUSH32 0x98c807f575ae6584ff8200eaf3205f3f20abf9c954fff030c152f5e7c5446d6e
0000093f: SWAP1
00000940: PUSH2 0x094a
00000943: SWAP1
00000944: DUP5
00000945: SWAP1
00000946: PUSH2 0x191b
00000949: JUMP
0000094a: JUMPDEST
0000094b: PUSH1 0x40
0000094d: MLOAD
0000094e: DUP1
0000094f: SWAP2
00000950: SUB
00000951: SWAP1
00000952: LOG1
00000953: POP
00000954: POP
00000955: POP
00000956: JUMP
00000957: JUMPDEST
00000958: PUSH3 0x093a80
0000095c: DUP2
0000095d: JUMP
0000095e: JUMPDEST
0000095f: DUP2
00000960: PUSH2 0x097f
00000963: PUSH1 0x00
00000965: PUSH2 0x0973
00000968: CALLDATASIZE
00000969: DUP6
0000096a: SWAP1
0000096b: SUB
0000096c: DUP6
0000096d: ADD
0000096e: DUP6
0000096f: PUSH2 0x13a3
00000972: JUMP
00000973: JUMPDEST
00000974: SWAP1
00000975: PUSH4 0xffffffff
0000097a: PUSH2 0x0f6e
0000097d: AND
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH2 0x099b
00000983: JUMPI
00000984: PUSH1 0x40
00000986: MLOAD
00000987: PUSH3 0x461bcd
0000098b: PUSH1 0xe5
0000098d: SHL
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x04
00000992: ADD
00000993: PUSH2 0x0551
00000996: SWAP1
00000997: PUSH2 0x1876
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH2 0x09b7
0000099f: PUSH1 0x01
000009a1: PUSH1 0x01
000009a3: PUSH1 0xa0
000009a5: SHL
000009a6: SUB
000009a7: DUP3
000009a8: AND
000009a9: CALLER
000009aa: ADDRESS
000009ab: DUP6
000009ac: CALLDATALOAD
000009ad: PUSH4 0xffffffff
000009b2: PUSH2 0x0f85
000009b5: AND
000009b6: JUMP
000009b7: JUMPDEST
000009b8: POP
000009b9: POP
000009ba: POP
000009bb: JUMP
000009bc: JUMPDEST
000009bd: DUP1
000009be: PUSH1 0x02
000009c0: PUSH1 0x00
000009c2: DUP3
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x20
000009c7: DUP2
000009c8: SWAP1
000009c9: MSTORE
000009ca: PUSH1 0x40
000009cc: SWAP1
000009cd: KECCAK256
000009ce: PUSH1 0x01
000009d0: ADD
000009d1: SLOAD
000009d2: PUSH1 0xff
000009d4: AND
000009d5: PUSH1 0x02
000009d7: DUP2
000009d8: GT
000009d9: ISZERO
000009da: PUSH2 0x09df
000009dd: JUMPI
000009de: INVALID
000009df: JUMPDEST
000009e0: EQ
000009e1: PUSH2 0x09fc
000009e4: JUMPI
000009e5: PUSH1 0x40
000009e7: MLOAD
000009e8: PUSH3 0x461bcd
000009ec: PUSH1 0xe5
000009ee: SHL
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x04
000009f3: ADD
000009f4: PUSH2 0x0551
000009f7: SWAP1
000009f8: PUSH2 0x16ae
000009fb: JUMP
000009fc: JUMPDEST
000009fd: DUP2
000009fe: PUSH2 0x0a07
00000a01: DUP2
00000a02: CALLER
00000a03: PUSH2 0x0841
00000a06: JUMP
00000a07: JUMPDEST
00000a08: PUSH2 0x0a23
00000a0b: JUMPI
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: PUSH3 0x461bcd
00000a13: PUSH1 0xe5
00000a15: SHL
00000a16: DUP2
00000a17: MSTORE
00000a18: PUSH1 0x04
00000a1a: ADD
00000a1b: PUSH2 0x0551
00000a1e: SWAP1
00000a1f: PUSH2 0x16fa
00000a22: JUMP
00000a23: JUMPDEST
00000a24: PUSH1 0x00
00000a26: DUP4
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x20
00000a2b: DUP2
00000a2c: SWAP1
00000a2d: MSTORE
00000a2e: PUSH1 0x40
00000a30: SWAP1
00000a31: KECCAK256
00000a32: PUSH2 0x0a44
00000a35: SWAP1
00000a36: PUSH1 0x03
00000a38: ADD
00000a39: CALLER
00000a3a: PUSH4 0xffffffff
00000a3f: PUSH2 0x0dd8
00000a42: AND
00000a43: JUMP
00000a44: JUMPDEST
00000a45: PUSH1 0x40
00000a47: MLOAD
00000a48: CALLER
00000a49: SWAP1
00000a4a: DUP2
00000a4b: SWAP1
00000a4c: DUP6
00000a4d: SWAP1
00000a4e: PUSH32 0xeb3e33034c392e69263b04ec0fa376dc12784a41b6676c7f31b936cbc0fbb5af
00000a6f: SWAP1
00000a70: PUSH1 0x00
00000a72: SWAP1
00000a73: LOG4
00000a74: POP
00000a75: POP
00000a76: POP
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x00
00000a7b: DUP2
00000a7c: PUSH1 0x01
00000a7e: PUSH1 0x00
00000a80: DUP3
00000a81: DUP2
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: DUP2
00000a86: SWAP1
00000a87: MSTORE
00000a88: PUSH1 0x40
00000a8a: SWAP1
00000a8b: KECCAK256
00000a8c: PUSH1 0x01
00000a8e: ADD
00000a8f: SLOAD
00000a90: PUSH1 0xff
00000a92: AND
00000a93: PUSH1 0x02
00000a95: DUP2
00000a96: GT
00000a97: ISZERO
00000a98: PUSH2 0x0a9d
00000a9b: JUMPI
00000a9c: INVALID
00000a9d: JUMPDEST
00000a9e: EQ
00000a9f: PUSH2 0x0aba
00000aa2: JUMPI
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: PUSH3 0x461bcd
00000aaa: PUSH1 0xe5
00000aac: SHL
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x04
00000ab1: ADD
00000ab2: PUSH2 0x0551
00000ab5: SWAP1
00000ab6: PUSH2 0x1596
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: PUSH1 0x00
00000abd: DUP4
00000abe: DUP2
00000abf: MSTORE
00000ac0: PUSH1 0x20
00000ac2: DUP2
00000ac3: SWAP1
00000ac4: MSTORE
00000ac5: PUSH1 0x40
00000ac7: SWAP1
00000ac8: KECCAK256
00000ac9: PUSH2 0x0ad4
00000acc: SWAP1
00000acd: PUSH1 0x02
00000acf: ADD
00000ad0: PUSH2 0x0fdd
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: SWAP4
00000ad6: SWAP3
00000ad7: POP
00000ad8: POP
00000ad9: POP
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH1 0x00
00000ade: PUSH2 0x0ae7
00000ae1: DUP2
00000ae2: CALLER
00000ae3: PUSH2 0x0841
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH2 0x0b03
00000aeb: JUMPI
00000aec: PUSH1 0x40
00000aee: MLOAD
00000aef: PUSH3 0x461bcd
00000af3: PUSH1 0xe5
00000af5: SHL
00000af6: DUP2
00000af7: MSTORE
00000af8: PUSH1 0x04
00000afa: ADD
00000afb: PUSH2 0x0551
00000afe: SWAP1
00000aff: PUSH2 0x16fa
00000b02: JUMP
00000b03: JUMPDEST
00000b04: PUSH2 0x0b14
00000b07: DUP3
00000b08: PUSH1 0x01
00000b0a: PUSH4 0xffffffff
00000b0f: PUSH2 0x0fea
00000b12: AND
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH2 0x0b30
00000b18: JUMPI
00000b19: PUSH1 0x40
00000b1b: MLOAD
00000b1c: PUSH3 0x461bcd
00000b20: PUSH1 0xe5
00000b22: SHL
00000b23: DUP2
00000b24: MSTORE
00000b25: PUSH1 0x04
00000b27: ADD
00000b28: PUSH2 0x0551
00000b2b: SWAP1
00000b2c: PUSH2 0x1528
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: DUP2
00000b32: MLOAD
00000b33: PUSH1 0x03
00000b35: SSTORE
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: PUSH31 0x41cf46cedaae9927def5c0647b190fd958c8ab8cde4219dad74319bc05d3d9
00000b59: SWAP1
00000b5a: PUSH2 0x0b64
00000b5d: SWAP1
00000b5e: DUP5
00000b5f: SWAP1
00000b60: PUSH2 0x191b
00000b63: JUMP
00000b64: JUMPDEST
00000b65: PUSH1 0x40
00000b67: MLOAD
00000b68: DUP1
00000b69: SWAP2
00000b6a: SUB
00000b6b: SWAP1
00000b6c: LOG1
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH1 0x00
00000b73: PUSH2 0x0b7c
00000b76: DUP2
00000b77: CALLER
00000b78: PUSH2 0x0841
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH2 0x0b98
00000b80: JUMPI
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: PUSH3 0x461bcd
00000b88: PUSH1 0xe5
00000b8a: SHL
00000b8b: DUP2
00000b8c: MSTORE
00000b8d: PUSH1 0x04
00000b8f: ADD
00000b90: PUSH2 0x0551
00000b93: SWAP1
00000b94: PUSH2 0x16fa
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH2 0x0ba9
00000b9c: DUP3
00000b9d: PUSH1 0x01
00000b9f: PUSH4 0xffffffff
00000ba4: PUSH2 0x0fea
00000ba7: AND
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: PUSH2 0x0bc5
00000bad: JUMPI
00000bae: PUSH1 0x40
00000bb0: MLOAD
00000bb1: PUSH3 0x461bcd
00000bb5: PUSH1 0xe5
00000bb7: SHL
00000bb8: DUP2
00000bb9: MSTORE
00000bba: PUSH1 0x04
00000bbc: ADD
00000bbd: PUSH2 0x0551
00000bc0: SWAP1
00000bc1: PUSH2 0x155f
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: DUP2
00000bc7: MLOAD
00000bc8: PUSH1 0x04
00000bca: SSTORE
00000bcb: PUSH1 0x40
00000bcd: MLOAD
00000bce: PUSH32 0x2e6cd3e6f7808568620c647ac0e652b0e95bef2494692adbc118fbbd02a8e82e
00000bef: SWAP1
00000bf0: PUSH2 0x0b64
00000bf3: SWAP1
00000bf4: DUP5
00000bf5: SWAP1
00000bf6: PUSH2 0x191b
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x01
00000bfd: SLOAD
00000bfe: PUSH2 0x0c07
00000c01: DUP2
00000c02: CALLER
00000c03: PUSH2 0x0841
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH2 0x0c23
00000c0b: JUMPI
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: PUSH3 0x461bcd
00000c13: PUSH1 0xe5
00000c15: SHL
00000c16: DUP2
00000c17: MSTORE
00000c18: PUSH1 0x04
00000c1a: ADD
00000c1b: PUSH2 0x0551
00000c1e: SWAP1
00000c1f: PUSH2 0x16fa
00000c22: JUMP
00000c23: JUMPDEST
00000c24: DUP3
00000c25: PUSH2 0x0c3e
00000c28: PUSH1 0x01
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0xa0
00000c2e: SHL
00000c2f: SUB
00000c30: DUP3
00000c31: AND
00000c32: CALLER
00000c33: DUP6
00000c34: PUSH4 0xffffffff
00000c39: PUSH2 0x1001
00000c3c: AND
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: POP
00000c40: POP
00000c41: POP
00000c42: POP
00000c43: JUMP
00000c44: JUMPDEST
00000c45: PUSH1 0x00
00000c47: CALLVALUE
00000c48: GT
00000c49: PUSH2 0x0c64
00000c4c: JUMPI
00000c4d: PUSH1 0x40
00000c4f: MLOAD
00000c50: PUSH3 0x461bcd
00000c54: PUSH1 0xe5
00000c56: SHL
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x04
00000c5b: ADD
00000c5c: PUSH2 0x0551
00000c5f: SWAP1
00000c60: PUSH2 0x18e4
00000c63: JUMP
00000c64: JUMPDEST
00000c65: JUMP
00000c66: JUMPDEST
00000c67: DUP2
00000c68: PUSH1 0x01
00000c6a: PUSH1 0x00
00000c6c: DUP3
00000c6d: DUP2
00000c6e: MSTORE
00000c6f: PUSH1 0x20
00000c71: DUP2
00000c72: SWAP1
00000c73: MSTORE
00000c74: PUSH1 0x40
00000c76: SWAP1
00000c77: KECCAK256
00000c78: PUSH1 0x01
00000c7a: ADD
00000c7b: SLOAD
00000c7c: PUSH1 0xff
00000c7e: AND
00000c7f: PUSH1 0x02
00000c81: DUP2
00000c82: GT
00000c83: ISZERO
00000c84: PUSH2 0x0c89
00000c87: JUMPI
00000c88: INVALID
00000c89: JUMPDEST
00000c8a: EQ
00000c8b: PUSH2 0x0ca6
00000c8e: JUMPI
00000c8f: PUSH1 0x40
00000c91: MLOAD
00000c92: PUSH3 0x461bcd
00000c96: PUSH1 0xe5
00000c98: SHL
00000c99: DUP2
00000c9a: MSTORE
00000c9b: PUSH1 0x04
00000c9d: ADD
00000c9e: PUSH2 0x0551
00000ca1: SWAP1
00000ca2: PUSH2 0x1596
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: PUSH1 0x00
00000ca9: DUP4
00000caa: DUP2
00000cab: MSTORE
00000cac: PUSH1 0x20
00000cae: DUP2
00000caf: SWAP1
00000cb0: MSTORE
00000cb1: PUSH1 0x40
00000cb3: SWAP1
00000cb4: KECCAK256
00000cb5: SLOAD
00000cb6: DUP4
00000cb7: SWAP1
00000cb8: PUSH2 0x0cc1
00000cbb: SWAP1
00000cbc: CALLER
00000cbd: PUSH2 0x0841
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH2 0x0cdd
00000cc5: JUMPI
00000cc6: PUSH1 0x40
00000cc8: MLOAD
00000cc9: PUSH3 0x461bcd
00000ccd: PUSH1 0xe5
00000ccf: SHL
00000cd0: DUP2
00000cd1: MSTORE
00000cd2: PUSH1 0x04
00000cd4: ADD
00000cd5: PUSH2 0x0551
00000cd8: SWAP1
00000cd9: PUSH2 0x17c0
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x00
00000ce0: DUP5
00000ce1: DUP2
00000ce2: MSTORE
00000ce3: PUSH1 0x20
00000ce5: DUP2
00000ce6: SWAP1
00000ce7: MSTORE
00000ce8: PUSH1 0x40
00000cea: SWAP1
00000ceb: KECCAK256
00000cec: PUSH2 0x0cfe
00000cef: SWAP1
00000cf0: PUSH1 0x02
00000cf2: ADD
00000cf3: DUP5
00000cf4: PUSH4 0xffffffff
00000cf9: PUSH2 0x1020
00000cfc: AND
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x40
00000d01: MLOAD
00000d02: CALLER
00000d03: SWAP1
00000d04: PUSH1 0x01
00000d06: PUSH1 0x01
00000d08: PUSH1 0xa0
00000d0a: SHL
00000d0b: SUB
00000d0c: DUP6
00000d0d: AND
00000d0e: SWAP1
00000d0f: DUP7
00000d10: SWAP1
00000d11: PUSH32 0x3b855c56b409b671c7112789d022675eb639d0bcb8896f1b6197c132f799e746
00000d32: SWAP1
00000d33: PUSH1 0x00
00000d35: SWAP1
00000d36: LOG4
00000d37: POP
00000d38: POP
00000d39: POP
00000d3a: POP
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: DUP1
00000d3e: SELFBALANCE
00000d3f: LT
00000d40: ISZERO
00000d41: PUSH2 0x0d5c
00000d44: JUMPI
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: PUSH3 0x461bcd
00000d4c: PUSH1 0xe5
00000d4e: SHL
00000d4f: DUP2
00000d50: MSTORE
00000d51: PUSH1 0x04
00000d53: ADD
00000d54: PUSH2 0x0551
00000d57: SWAP1
00000d58: PUSH2 0x1677
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x00
00000d5f: DUP3
00000d60: PUSH1 0x01
00000d62: PUSH1 0x01
00000d64: PUSH1 0xa0
00000d66: SHL
00000d67: SUB
00000d68: AND
00000d69: DUP3
00000d6a: PUSH1 0x40
00000d6c: MLOAD
00000d6d: PUSH2 0x0d75
00000d70: SWAP1
00000d71: PUSH2 0x0525
00000d74: JUMP
00000d75: JUMPDEST
00000d76: PUSH1 0x00
00000d78: PUSH1 0x40
00000d7a: MLOAD
00000d7b: DUP1
00000d7c: DUP4
00000d7d: SUB
00000d7e: DUP2
00000d7f: DUP6
00000d80: DUP8
00000d81: GAS
00000d82: CALL
00000d83: SWAP3
00000d84: POP
00000d85: POP
00000d86: POP
00000d87: RETURNDATASIZE
00000d88: DUP1
00000d89: PUSH1 0x00
00000d8b: DUP2
00000d8c: EQ
00000d8d: PUSH2 0x0db2
00000d90: JUMPI
00000d91: PUSH1 0x40
00000d93: MLOAD
00000d94: SWAP2
00000d95: POP
00000d96: PUSH1 0x1f
00000d98: NOT
00000d99: PUSH1 0x3f
00000d9b: RETURNDATASIZE
00000d9c: ADD
00000d9d: AND
00000d9e: DUP3
00000d9f: ADD
00000da0: PUSH1 0x40
00000da2: MSTORE
00000da3: RETURNDATASIZE
00000da4: DUP3
00000da5: MSTORE
00000da6: RETURNDATASIZE
00000da7: PUSH1 0x00
00000da9: PUSH1 0x20
00000dab: DUP5
00000dac: ADD
00000dad: RETURNDATACOPY
00000dae: PUSH2 0x0db7
00000db1: JUMP
00000db2: JUMPDEST
00000db3: PUSH1 0x60
00000db5: SWAP2
00000db6: POP
00000db7: JUMPDEST
00000db8: POP
00000db9: POP
00000dba: SWAP1
00000dbb: POP
00000dbc: DUP1
00000dbd: PUSH2 0x09b7
00000dc0: JUMPI
00000dc1: PUSH1 0x40
00000dc3: MLOAD
00000dc4: PUSH3 0x461bcd
00000dc8: PUSH1 0xe5
00000dca: SHL
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x04
00000dcf: ADD
00000dd0: PUSH2 0x0551
00000dd3: SWAP1
00000dd4: PUSH2 0x161a
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: PUSH1 0x01
00000ddb: PUSH1 0x01
00000ddd: PUSH1 0xa0
00000ddf: SHL
00000de0: SUB
00000de1: AND
00000de2: PUSH1 0x00
00000de4: SWAP1
00000de5: DUP2
00000de6: MSTORE
00000de7: PUSH1 0x20
00000de9: SWAP2
00000dea: SWAP1
00000deb: SWAP2
00000dec: MSTORE
00000ded: PUSH1 0x40
00000def: SWAP1
00000df0: KECCAK256
00000df1: DUP1
00000df2: SLOAD
00000df3: PUSH1 0xff
00000df5: NOT
00000df6: AND
00000df7: SWAP1
00000df8: SSTORE
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH1 0x00
00000dfd: PUSH2 0x0ad4
00000e00: DUP4
00000e01: DUP4
00000e02: PUSH1 0x40
00000e04: MLOAD
00000e05: DUP1
00000e06: PUSH1 0x40
00000e08: ADD
00000e09: PUSH1 0x40
00000e0b: MSTORE
00000e0c: DUP1
00000e0d: PUSH1 0x1e
00000e0f: DUP2
00000e10: MSTORE
00000e11: PUSH1 0x20
00000e13: ADD
00000e14: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00000e35: DUP2
00000e36: MSTORE
00000e37: POP
00000e38: PUSH2 0x1063
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH2 0x0e44
00000e40: PUSH2 0x1255
00000e43: JUMP
00000e44: JUMPDEST
00000e45: PUSH1 0x40
00000e47: DUP1
00000e48: MLOAD
00000e49: PUSH1 0x20
00000e4b: DUP2
00000e4c: ADD
00000e4d: SWAP1
00000e4e: SWAP2
00000e4f: MSTORE
00000e50: DUP4
00000e51: MLOAD
00000e52: DUP2
00000e53: SWAP1
00000e54: PUSH2 0x0e63
00000e57: SWAP1
00000e58: DUP6
00000e59: PUSH4 0xffffffff
00000e5e: PUSH2 0x108f
00000e61: AND
00000e62: JUMP
00000e63: JUMPDEST
00000e64: SWAP1
00000e65: MSTORE
00000e66: SWAP4
00000e67: SWAP3
00000e68: POP
00000e69: POP
00000e6a: POP
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH2 0x0e74
00000e70: PUSH2 0x1255
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH1 0x40
00000e77: DUP1
00000e78: MLOAD
00000e79: PUSH1 0x20
00000e7b: DUP2
00000e7c: ADD
00000e7d: SWAP1
00000e7e: SWAP2
00000e7f: MSTORE
00000e80: DUP3
00000e81: MLOAD
00000e82: DUP5
00000e83: MLOAD
00000e84: DUP3
00000e85: SWAP2
00000e86: PUSH8 0x0de0b6b3a7640000
00000e8f: SWAP2
00000e90: PUSH2 0x0e9e
00000e93: SWAP2
00000e94: PUSH4 0xffffffff
00000e99: PUSH2 0x108f
00000e9c: AND
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: DUP2
00000ea0: PUSH2 0x0ea5
00000ea3: JUMPI
00000ea4: INVALID
00000ea5: JUMPDEST
00000ea6: DIV
00000ea7: SWAP1
00000ea8: MSTORE
00000ea9: SWAP4
00000eaa: SWAP3
00000eab: POP
00000eac: POP
00000ead: POP
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: PUSH1 0x00
00000eb2: PUSH2 0x0ad4
00000eb5: DUP4
00000eb6: DUP4
00000eb7: PUSH1 0x40
00000eb9: MLOAD
00000eba: DUP1
00000ebb: PUSH1 0x40
00000ebd: ADD
00000ebe: PUSH1 0x40
00000ec0: MSTORE
00000ec1: DUP1
00000ec2: PUSH1 0x1a
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x20
00000ec8: ADD
00000ec9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00000eea: DUP2
00000eeb: MSTORE
00000eec: POP
00000eed: PUSH2 0x10c9
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH1 0x01
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0xa0
00000ef8: SHL
00000ef9: SUB
00000efa: DUP2
00000efb: AND
00000efc: PUSH2 0x0f17
00000eff: JUMPI
00000f00: PUSH1 0x40
00000f02: MLOAD
00000f03: PUSH3 0x461bcd
00000f07: PUSH1 0xe5
00000f09: SHL
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: PUSH1 0x04
00000f0e: ADD
00000f0f: PUSH2 0x0551
00000f12: SWAP1
00000f13: PUSH2 0x14f1
00000f16: JUMP
00000f17: JUMPDEST
00000f18: PUSH1 0x01
00000f1a: PUSH1 0x01
00000f1c: PUSH1 0xa0
00000f1e: SHL
00000f1f: SUB
00000f20: AND
00000f21: PUSH1 0x00
00000f23: SWAP1
00000f24: DUP2
00000f25: MSTORE
00000f26: PUSH1 0x20
00000f28: SWAP2
00000f29: SWAP1
00000f2a: SWAP2
00000f2b: MSTORE
00000f2c: PUSH1 0x40
00000f2e: SWAP1
00000f2f: KECCAK256
00000f30: DUP1
00000f31: SLOAD
00000f32: PUSH1 0xff
00000f34: NOT
00000f35: AND
00000f36: PUSH1 0x01
00000f38: OR
00000f39: SWAP1
00000f3a: SSTORE
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: SWAP1
00000f3e: SLOAD
00000f3f: PUSH1 0x01
00000f41: PUSH1 0x01
00000f43: PUSH1 0xa0
00000f45: SHL
00000f46: SUB
00000f47: SWAP2
00000f48: DUP3
00000f49: AND
00000f4a: SWAP2
00000f4b: AND
00000f4c: EQ
00000f4d: SWAP1
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH1 0x01
00000f52: PUSH1 0x01
00000f54: PUSH1 0xa0
00000f56: SHL
00000f57: SUB
00000f58: AND
00000f59: PUSH1 0x00
00000f5b: SWAP1
00000f5c: DUP2
00000f5d: MSTORE
00000f5e: PUSH1 0x20
00000f60: SWAP2
00000f61: SWAP1
00000f62: SWAP2
00000f63: MSTORE
00000f64: PUSH1 0x40
00000f66: SWAP1
00000f67: KECCAK256
00000f68: SLOAD
00000f69: PUSH1 0xff
00000f6b: AND
00000f6c: SWAP1
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: PUSH1 0x00
00000f71: PUSH2 0x0f79
00000f74: DUP3
00000f75: PUSH2 0x1100
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: MLOAD
00000f7b: DUP4
00000f7c: MLOAD
00000f7d: GT
00000f7e: SWAP1
00000f7f: POP
00000f80: SWAP3
00000f81: SWAP2
00000f82: POP
00000f83: POP
00000f84: JUMP
00000f85: JUMPDEST
00000f86: PUSH2 0x0c3e
00000f89: DUP5
00000f8a: PUSH4 0x23b872dd
00000f8f: PUSH1 0xe0
00000f91: SHL
00000f92: DUP6
00000f93: DUP6
00000f94: DUP6
00000f95: PUSH1 0x40
00000f97: MLOAD
00000f98: PUSH1 0x24
00000f9a: ADD
00000f9b: PUSH2 0x0fa6
00000f9e: SWAP4
00000f9f: SWAP3
00000fa0: SWAP2
00000fa1: SWAP1
00000fa2: PUSH2 0x1476
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: PUSH1 0x40
00000fa9: DUP1
00000faa: MLOAD
00000fab: PUSH1 0x1f
00000fad: NOT
00000fae: DUP2
00000faf: DUP5
00000fb0: SUB
00000fb1: ADD
00000fb2: DUP2
00000fb3: MSTORE
00000fb4: SWAP2
00000fb5: SWAP1
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: DUP2
00000fba: ADD
00000fbb: DUP1
00000fbc: MLOAD
00000fbd: PUSH1 0x01
00000fbf: PUSH1 0x01
00000fc1: PUSH1 0xe0
00000fc3: SHL
00000fc4: SUB
00000fc5: AND
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xe0
00000fcc: SHL
00000fcd: SUB
00000fce: NOT
00000fcf: SWAP1
00000fd0: SWAP4
00000fd1: AND
00000fd2: SWAP3
00000fd3: SWAP1
00000fd4: SWAP3
00000fd5: OR
00000fd6: SWAP1
00000fd7: SWAP2
00000fd8: MSTORE
00000fd9: PUSH2 0x1134
00000fdc: JUMP
00000fdd: JUMPDEST
00000fde: SLOAD
00000fdf: PUSH1 0x01
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0xa0
00000fe5: SHL
00000fe6: SUB
00000fe7: AND
00000fe8: SWAP1
00000fe9: JUMP
00000fea: JUMPDEST
00000feb: PUSH1 0x00
00000fed: PUSH2 0x0ff5
00000ff0: DUP3
00000ff1: PUSH2 0x1100
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: MLOAD
00000ff7: DUP4
00000ff8: MLOAD
00000ff9: LT
00000ffa: SWAP1
00000ffb: POP
00000ffc: SWAP3
00000ffd: SWAP2
00000ffe: POP
00000fff: POP
00001000: JUMP
00001001: JUMPDEST
00001002: PUSH2 0x09b7
00001005: DUP4
00001006: PUSH4 0xa9059cbb
0000100b: PUSH1 0xe0
0000100d: SHL
0000100e: DUP5
0000100f: DUP5
00001010: PUSH1 0x40
00001012: MLOAD
00001013: PUSH1 0x24
00001015: ADD
00001016: PUSH2 0x0fa6
00001019: SWAP3
0000101a: SWAP2
0000101b: SWAP1
0000101c: PUSH2 0x149a
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH1 0x01
00001023: PUSH1 0x01
00001025: PUSH1 0xa0
00001027: SHL
00001028: SUB
00001029: DUP2
0000102a: AND
0000102b: PUSH2 0x1046
0000102e: JUMPI
0000102f: PUSH1 0x40
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x04
0000103d: ADD
0000103e: PUSH2 0x0551
00001041: SWAP1
00001042: PUSH2 0x177d
00001045: JUMP
00001046: JUMPDEST
00001047: DUP2
00001048: SLOAD
00001049: PUSH1 0x01
0000104b: PUSH1 0x01
0000104d: PUSH1 0xa0
0000104f: SHL
00001050: SUB
00001051: NOT
00001052: AND
00001053: PUSH1 0x01
00001055: PUSH1 0x01
00001057: PUSH1 0xa0
00001059: SHL
0000105a: SUB
0000105b: SWAP2
0000105c: SWAP1
0000105d: SWAP2
0000105e: AND
0000105f: OR
00001060: SWAP1
00001061: SSTORE
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH1 0x00
00001066: DUP2
00001067: DUP5
00001068: DUP5
00001069: GT
0000106a: ISZERO
0000106b: PUSH2 0x1087
0000106e: JUMPI
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: PUSH3 0x461bcd
00001076: PUSH1 0xe5
00001078: SHL
00001079: DUP2
0000107a: MSTORE
0000107b: PUSH1 0x04
0000107d: ADD
0000107e: PUSH2 0x0551
00001081: SWAP2
00001082: SWAP1
00001083: PUSH2 0x14be
00001086: JUMP
00001087: JUMPDEST
00001088: POP
00001089: POP
0000108a: POP
0000108b: SWAP1
0000108c: SUB
0000108d: SWAP1
0000108e: JUMP
0000108f: JUMPDEST
00001090: PUSH1 0x00
00001092: DUP3
00001093: PUSH2 0x109e
00001096: JUMPI
00001097: POP
00001098: PUSH1 0x00
0000109a: PUSH2 0x08ca
0000109d: JUMP
0000109e: JUMPDEST
0000109f: DUP3
000010a0: DUP3
000010a1: MUL
000010a2: DUP3
000010a3: DUP5
000010a4: DUP3
000010a5: DUP2
000010a6: PUSH2 0x10ab
000010a9: JUMPI
000010aa: INVALID
000010ab: JUMPDEST
000010ac: DIV
000010ad: EQ
000010ae: PUSH2 0x0ad4
000010b1: JUMPI
000010b2: PUSH1 0x40
000010b4: MLOAD
000010b5: PUSH3 0x461bcd
000010b9: PUSH1 0xe5
000010bb: SHL
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x04
000010c0: ADD
000010c1: PUSH2 0x0551
000010c4: SWAP1
000010c5: PUSH2 0x173c
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH1 0x00
000010cc: DUP2
000010cd: DUP4
000010ce: PUSH2 0x10ea
000010d1: JUMPI
000010d2: PUSH1 0x40
000010d4: MLOAD
000010d5: PUSH3 0x461bcd
000010d9: PUSH1 0xe5
000010db: SHL
000010dc: DUP2
000010dd: MSTORE
000010de: PUSH1 0x04
000010e0: ADD
000010e1: PUSH2 0x0551
000010e4: SWAP2
000010e5: SWAP1
000010e6: PUSH2 0x14be
000010e9: JUMP
000010ea: JUMPDEST
000010eb: POP
000010ec: PUSH1 0x00
000010ee: DUP4
000010ef: DUP6
000010f0: DUP2
000010f1: PUSH2 0x10f6
000010f4: JUMPI
000010f5: INVALID
000010f6: JUMPDEST
000010f7: DIV
000010f8: SWAP6
000010f9: SWAP5
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: POP
000010fe: POP
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH2 0x1108
00001104: PUSH2 0x1255
00001107: JUMP
00001108: JUMPDEST
00001109: PUSH1 0x40
0000110b: DUP1
0000110c: MLOAD
0000110d: PUSH1 0x20
0000110f: DUP2
00001110: ADD
00001111: SWAP1
00001112: SWAP2
00001113: MSTORE
00001114: DUP1
00001115: PUSH2 0x112c
00001118: DUP5
00001119: PUSH8 0x0de0b6b3a7640000
00001122: PUSH4 0xffffffff
00001127: PUSH2 0x108f
0000112a: AND
0000112b: JUMP
0000112c: JUMPDEST
0000112d: SWAP1
0000112e: MSTORE
0000112f: SWAP3
00001130: SWAP2
00001131: POP
00001132: POP
00001133: JUMP
00001134: JUMPDEST
00001135: PUSH2 0x1146
00001138: DUP3
00001139: PUSH1 0x01
0000113b: PUSH1 0x01
0000113d: PUSH1 0xa0
0000113f: SHL
00001140: SUB
00001141: AND
00001142: PUSH2 0x1219
00001145: JUMP
00001146: JUMPDEST
00001147: PUSH2 0x1162
0000114a: JUMPI
0000114b: PUSH1 0x40
0000114d: MLOAD
0000114e: PUSH3 0x461bcd
00001152: PUSH1 0xe5
00001154: SHL
00001155: DUP2
00001156: MSTORE
00001157: PUSH1 0x04
00001159: ADD
0000115a: PUSH2 0x0551
0000115d: SWAP1
0000115e: PUSH2 0x18ad
00001161: JUMP
00001162: JUMPDEST
00001163: PUSH1 0x00
00001165: PUSH1 0x60
00001167: DUP4
00001168: PUSH1 0x01
0000116a: PUSH1 0x01
0000116c: PUSH1 0xa0
0000116e: SHL
0000116f: SUB
00001170: AND
00001171: DUP4
00001172: PUSH1 0x40
00001174: MLOAD
00001175: PUSH2 0x117e
00001178: SWAP2
00001179: SWAP1
0000117a: PUSH2 0x1446
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x00
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: DUP4
00001186: SUB
00001187: DUP2
00001188: PUSH1 0x00
0000118a: DUP7
0000118b: GAS
0000118c: CALL
0000118d: SWAP2
0000118e: POP
0000118f: POP
00001190: RETURNDATASIZE
00001191: DUP1
00001192: PUSH1 0x00
00001194: DUP2
00001195: EQ
00001196: PUSH2 0x11bb
00001199: JUMPI
0000119a: PUSH1 0x40
0000119c: MLOAD
0000119d: SWAP2
0000119e: POP
0000119f: PUSH1 0x1f
000011a1: NOT
000011a2: PUSH1 0x3f
000011a4: RETURNDATASIZE
000011a5: ADD
000011a6: AND
000011a7: DUP3
000011a8: ADD
000011a9: PUSH1 0x40
000011ab: MSTORE
000011ac: RETURNDATASIZE
000011ad: DUP3
000011ae: MSTORE
000011af: RETURNDATASIZE
000011b0: PUSH1 0x00
000011b2: PUSH1 0x20
000011b4: DUP5
000011b5: ADD
000011b6: RETURNDATACOPY
000011b7: PUSH2 0x11c0
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH1 0x60
000011be: SWAP2
000011bf: POP
000011c0: JUMPDEST
000011c1: POP
000011c2: SWAP2
000011c3: POP
000011c4: SWAP2
000011c5: POP
000011c6: DUP2
000011c7: PUSH2 0x11e2
000011ca: JUMPI
000011cb: PUSH1 0x40
000011cd: MLOAD
000011ce: PUSH3 0x461bcd
000011d2: PUSH1 0xe5
000011d4: SHL
000011d5: DUP2
000011d6: MSTORE
000011d7: PUSH1 0x04
000011d9: ADD
000011da: PUSH2 0x0551
000011dd: SWAP1
000011de: PUSH2 0x15e5
000011e1: JUMP
000011e2: JUMPDEST
000011e3: DUP1
000011e4: MLOAD
000011e5: ISZERO
000011e6: PUSH2 0x0c3e
000011e9: JUMPI
000011ea: DUP1
000011eb: DUP1
000011ec: PUSH1 0x20
000011ee: ADD
000011ef: SWAP1
000011f0: MLOAD
000011f1: DUP2
000011f2: ADD
000011f3: SWAP1
000011f4: PUSH2 0x11fd
000011f7: SWAP2
000011f8: SWAP1
000011f9: PUSH2 0x1383
000011fc: JUMP
000011fd: JUMPDEST
000011fe: PUSH2 0x0c3e
00001201: JUMPI
00001202: PUSH1 0x40
00001204: MLOAD
00001205: PUSH3 0x461bcd
00001209: PUSH1 0xe5
0000120b: SHL
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x04
00001210: ADD
00001211: PUSH2 0x0551
00001214: SWAP1
00001215: PUSH2 0x182c
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH1 0x00
0000121c: DUP2
0000121d: EXTCODEHASH
0000121e: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
0000123f: DUP2
00001240: DUP2
00001241: EQ
00001242: DUP1
00001243: ISZERO
00001244: SWAP1
00001245: PUSH2 0x124d
00001248: JUMPI
00001249: POP
0000124a: DUP2
0000124b: ISZERO
0000124c: ISZERO
0000124d: JUMPDEST
0000124e: SWAP5
0000124f: SWAP4
00001250: POP
00001251: POP
00001252: POP
00001253: POP
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH1 0x40
00001258: MLOAD
00001259: DUP1
0000125a: PUSH1 0x20
0000125c: ADD
0000125d: PUSH1 0x40
0000125f: MSTORE
00001260: DUP1
00001261: PUSH1 0x00
00001263: DUP2
00001264: MSTORE
00001265: POP
00001266: SWAP1
00001267: JUMP
00001268: JUMPDEST
00001269: DUP1
0000126a: CALLDATALOAD
0000126b: PUSH1 0x01
0000126d: PUSH1 0x01
0000126f: PUSH1 0xa0
00001271: SHL
00001272: SUB
00001273: DUP2
00001274: AND
00001275: DUP2
00001276: EQ
00001277: PUSH2 0x08ca
0000127a: JUMPI
0000127b: PUSH1 0x00
0000127d: DUP1
0000127e: REVERT
0000127f: JUMPDEST
00001280: PUSH1 0x00
00001282: PUSH1 0x20
00001284: DUP3
00001285: DUP5
00001286: SUB
00001287: SLT
00001288: ISZERO
00001289: PUSH2 0x1290
0000128c: JUMPI
0000128d: DUP1
0000128e: DUP2
0000128f: REVERT
00001290: JUMPDEST
00001291: POP
00001292: SWAP2
00001293: SWAP1
00001294: POP
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x00
00001299: PUSH1 0x20
0000129b: DUP3
0000129c: DUP5
0000129d: SUB
0000129e: SLT
0000129f: ISZERO
000012a0: PUSH2 0x12a7
000012a3: JUMPI
000012a4: DUP1
000012a5: DUP2
000012a6: REVERT
000012a7: JUMPDEST
000012a8: PUSH1 0x40
000012aa: MLOAD
000012ab: PUSH1 0x20
000012ad: DUP2
000012ae: ADD
000012af: DUP2
000012b0: DUP2
000012b1: LT
000012b2: PUSH8 0xffffffffffffffff
000012bb: DUP3
000012bc: GT
000012bd: OR
000012be: ISZERO
000012bf: PUSH2 0x12c6
000012c2: JUMPI
000012c3: DUP3
000012c4: DUP4
000012c5: REVERT
000012c6: JUMPDEST
000012c7: PUSH1 0x40
000012c9: MSTORE
000012ca: SWAP2
000012cb: CALLDATALOAD
000012cc: DUP3
000012cd: MSTORE
000012ce: POP
000012cf: SWAP2
000012d0: SWAP1
000012d1: POP
000012d2: JUMP
000012d3: JUMPDEST
000012d4: PUSH1 0x00
000012d6: PUSH1 0x20
000012d8: DUP3
000012d9: DUP5
000012da: SUB
000012db: SLT
000012dc: ISZERO
000012dd: PUSH2 0x12e4
000012e0: JUMPI
000012e1: DUP1
000012e2: DUP2
000012e3: REVERT
000012e4: JUMPDEST
000012e5: PUSH2 0x0ad4
000012e8: DUP4
000012e9: DUP4
000012ea: PUSH2 0x1268
000012ed: JUMP
000012ee: JUMPDEST
000012ef: PUSH1 0x00
000012f1: DUP1
000012f2: PUSH1 0x40
000012f4: DUP4
000012f5: DUP6
000012f6: SUB
000012f7: SLT
000012f8: ISZERO
000012f9: PUSH2 0x1300
000012fc: JUMPI
000012fd: DUP1
000012fe: DUP2
000012ff: REVERT
00001300: JUMPDEST
00001301: PUSH2 0x130a
00001304: DUP5
00001305: DUP5
00001306: PUSH2 0x1268
00001309: JUMP
0000130a: JUMPDEST
0000130b: SWAP2
0000130c: POP
0000130d: PUSH2 0x1319
00001310: DUP5
00001311: PUSH1 0x20
00001313: DUP6
00001314: ADD
00001315: PUSH2 0x127f
00001318: JUMP
00001319: JUMPDEST
0000131a: SWAP1
0000131b: POP
0000131c: SWAP3
0000131d: POP
0000131e: SWAP3
0000131f: SWAP1
00001320: POP
00001321: JUMP
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: DUP1
00001326: PUSH1 0x40
00001328: DUP4
00001329: DUP6
0000132a: SUB
0000132b: SLT
0000132c: ISZERO
0000132d: PUSH2 0x1334
00001330: JUMPI
00001331: DUP2
00001332: DUP3
00001333: REVERT
00001334: JUMPDEST
00001335: DUP3
00001336: CALLDATALOAD
00001337: PUSH1 0x01
00001339: PUSH1 0x01
0000133b: PUSH1 0xa0
0000133d: SHL
0000133e: SUB
0000133f: DUP2
00001340: AND
00001341: DUP2
00001342: EQ
00001343: PUSH2 0x134a
00001346: JUMPI
00001347: DUP3
00001348: DUP4
00001349: REVERT
0000134a: JUMPDEST
0000134b: SWAP2
0000134c: POP
0000134d: PUSH2 0x1319
00001350: DUP5
00001351: PUSH1 0x20
00001353: DUP6
00001354: ADD
00001355: PUSH2 0x1296
00001358: JUMP
00001359: JUMPDEST
0000135a: PUSH1 0x00
0000135c: DUP1
0000135d: PUSH1 0x40
0000135f: DUP4
00001360: DUP6
00001361: SUB
00001362: SLT
00001363: ISZERO
00001364: PUSH2 0x136b
00001367: JUMPI
00001368: DUP2
00001369: DUP3
0000136a: REVERT
0000136b: JUMPDEST
0000136c: PUSH2 0x1375
0000136f: DUP5
00001370: DUP5
00001371: PUSH2 0x1268
00001374: JUMP
00001375: JUMPDEST
00001376: SWAP5
00001377: PUSH1 0x20
00001379: SWAP4
0000137a: SWAP1
0000137b: SWAP4
0000137c: ADD
0000137d: CALLDATALOAD
0000137e: SWAP4
0000137f: POP
00001380: POP
00001381: POP
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH1 0x00
00001386: PUSH1 0x20
00001388: DUP3
00001389: DUP5
0000138a: SUB
0000138b: SLT
0000138c: ISZERO
0000138d: PUSH2 0x1394
00001390: JUMPI
00001391: DUP1
00001392: DUP2
00001393: REVERT
00001394: JUMPDEST
00001395: DUP2
00001396: MLOAD
00001397: DUP1
00001398: ISZERO
00001399: ISZERO
0000139a: DUP2
0000139b: EQ
0000139c: PUSH2 0x0ad4
0000139f: JUMPI
000013a0: DUP2
000013a1: DUP3
000013a2: REVERT
000013a3: JUMPDEST
000013a4: PUSH1 0x00
000013a6: PUSH1 0x20
000013a8: DUP3
000013a9: DUP5
000013aa: SUB
000013ab: SLT
000013ac: ISZERO
000013ad: PUSH2 0x13b4
000013b0: JUMPI
000013b1: DUP1
000013b2: DUP2
000013b3: REVERT
000013b4: JUMPDEST
000013b5: PUSH2 0x0ad4
000013b8: DUP4
000013b9: DUP4
000013ba: PUSH2 0x1296
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH1 0x00
000013c1: PUSH1 0x20
000013c3: DUP3
000013c4: DUP5
000013c5: SUB
000013c6: SLT
000013c7: ISZERO
000013c8: PUSH2 0x13cf
000013cb: JUMPI
000013cc: DUP1
000013cd: DUP2
000013ce: REVERT
000013cf: JUMPDEST
000013d0: POP
000013d1: CALLDATALOAD
000013d2: SWAP2
000013d3: SWAP1
000013d4: POP
000013d5: JUMP
000013d6: JUMPDEST
000013d7: PUSH1 0x00
000013d9: PUSH1 0x20
000013db: DUP3
000013dc: DUP5
000013dd: SUB
000013de: SLT
000013df: ISZERO
000013e0: PUSH2 0x13e7
000013e3: JUMPI
000013e4: DUP1
000013e5: DUP2
000013e6: REVERT
000013e7: JUMPDEST
000013e8: POP
000013e9: MLOAD
000013ea: SWAP2
000013eb: SWAP1
000013ec: POP
000013ed: JUMP
000013ee: JUMPDEST
000013ef: PUSH1 0x00
000013f1: DUP1
000013f2: PUSH1 0x40
000013f4: DUP4
000013f5: DUP6
000013f6: SUB
000013f7: SLT
000013f8: ISZERO
000013f9: PUSH2 0x1400
000013fc: JUMPI
000013fd: DUP2
000013fe: DUP3
000013ff: REVERT
00001400: JUMPDEST
00001401: DUP3
00001402: CALLDATALOAD
00001403: SWAP2
00001404: POP
00001405: PUSH2 0x1319
00001408: DUP5
00001409: PUSH1 0x20
0000140b: DUP6
0000140c: ADD
0000140d: PUSH2 0x1268
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH1 0x00
00001414: DUP1
00001415: PUSH1 0x00
00001417: PUSH1 0x60
00001419: DUP5
0000141a: DUP7
0000141b: SUB
0000141c: SLT
0000141d: ISZERO
0000141e: PUSH2 0x1425
00001421: JUMPI
00001422: DUP1
00001423: DUP2
00001424: REVERT
00001425: JUMPDEST
00001426: DUP4
00001427: CALLDATALOAD
00001428: SWAP3
00001429: POP
0000142a: PUSH1 0x20
0000142c: DUP5
0000142d: ADD
0000142e: CALLDATALOAD
0000142f: SWAP2
00001430: POP
00001431: PUSH2 0x143d
00001434: DUP6
00001435: PUSH1 0x40
00001437: DUP7
00001438: ADD
00001439: PUSH2 0x127f
0000143c: JUMP
0000143d: JUMPDEST
0000143e: SWAP1
0000143f: POP
00001440: SWAP3
00001441: POP
00001442: SWAP3
00001443: POP
00001444: SWAP3
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH1 0x00
00001449: DUP3
0000144a: MLOAD
0000144b: PUSH2 0x1458
0000144e: DUP2
0000144f: DUP5
00001450: PUSH1 0x20
00001452: DUP8
00001453: ADD
00001454: PUSH2 0x193e
00001457: JUMP
00001458: JUMPDEST
00001459: SWAP2
0000145a: SWAP1
0000145b: SWAP2
0000145c: ADD
0000145d: SWAP3
0000145e: SWAP2
0000145f: POP
00001460: POP
00001461: JUMP
00001462: JUMPDEST
00001463: PUSH1 0x01
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: SHL
0000146a: SUB
0000146b: SWAP2
0000146c: SWAP1
0000146d: SWAP2
0000146e: AND
0000146f: DUP2
00001470: MSTORE
00001471: PUSH1 0x20
00001473: ADD
00001474: SWAP1
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH1 0x01
00001479: PUSH1 0x01
0000147b: PUSH1 0xa0
0000147d: SHL
0000147e: SUB
0000147f: SWAP4
00001480: DUP5
00001481: AND
00001482: DUP2
00001483: MSTORE
00001484: SWAP2
00001485: SWAP1
00001486: SWAP3
00001487: AND
00001488: PUSH1 0x20
0000148a: DUP3
0000148b: ADD
0000148c: MSTORE
0000148d: PUSH1 0x40
0000148f: DUP2
00001490: ADD
00001491: SWAP2
00001492: SWAP1
00001493: SWAP2
00001494: MSTORE
00001495: PUSH1 0x60
00001497: ADD
00001498: SWAP1
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x01
0000149d: PUSH1 0x01
0000149f: PUSH1 0xa0
000014a1: SHL
000014a2: SUB
000014a3: SWAP3
000014a4: SWAP1
000014a5: SWAP3
000014a6: AND
000014a7: DUP3
000014a8: MSTORE
000014a9: PUSH1 0x20
000014ab: DUP3
000014ac: ADD
000014ad: MSTORE
000014ae: PUSH1 0x40
000014b0: ADD
000014b1: SWAP1
000014b2: JUMP
000014b3: JUMPDEST
000014b4: SWAP1
000014b5: ISZERO
000014b6: ISZERO
000014b7: DUP2
000014b8: MSTORE
000014b9: PUSH1 0x20
000014bb: ADD
000014bc: SWAP1
000014bd: JUMP
000014be: JUMPDEST
000014bf: PUSH1 0x00
000014c1: PUSH1 0x20
000014c3: DUP3
000014c4: MSTORE
000014c5: DUP3
000014c6: MLOAD
000014c7: DUP1
000014c8: PUSH1 0x20
000014ca: DUP5
000014cb: ADD
000014cc: MSTORE
000014cd: PUSH2 0x14dd
000014d0: DUP2
000014d1: PUSH1 0x40
000014d3: DUP6
000014d4: ADD
000014d5: PUSH1 0x20
000014d7: DUP8
000014d8: ADD
000014d9: PUSH2 0x193e
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH1 0x1f
000014e0: ADD
000014e1: PUSH1 0x1f
000014e3: NOT
000014e4: AND
000014e5: SWAP2
000014e6: SWAP1
000014e7: SWAP2
000014e8: ADD
000014e9: PUSH1 0x40
000014eb: ADD
000014ec: SWAP3
000014ed: SWAP2
000014ee: POP
000014ef: POP
000014f0: JUMP
000014f1: JUMPDEST
000014f2: PUSH1 0x20
000014f4: DUP1
000014f5: DUP3
000014f6: MSTORE
000014f7: PUSH1 0x1f
000014f9: SWAP1
000014fa: DUP3
000014fb: ADD
000014fc: MSTORE
000014fd: PUSH32 0x43616e6e6f74206164642030783020746f20612073686172656420726f6c6500
0000151e: PUSH1 0x40
00001520: DUP3
00001521: ADD
00001522: MSTORE
00001523: PUSH1 0x60
00001525: ADD
00001526: SWAP1
00001527: JUMP
00001528: JUMPDEST
00001529: PUSH1 0x20
0000152b: DUP1
0000152c: DUP3
0000152d: MSTORE
0000152e: PUSH1 0x1e
00001530: SWAP1
00001531: DUP3
00001532: ADD
00001533: MSTORE
00001534: PUSH32 0x466565206d757374206265203c203130302520706572207365636f6e642e0000
00001555: PUSH1 0x40
00001557: DUP3
00001558: ADD
00001559: MSTORE
0000155a: PUSH1 0x60
0000155c: ADD
0000155d: SWAP1
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x20
00001562: DUP1
00001563: DUP3
00001564: MSTORE
00001565: PUSH1 0x1f
00001567: SWAP1
00001568: DUP3
00001569: ADD
0000156a: MSTORE
0000156b: PUSH32 0x7765656b6c792064656c617920666565206d757374206265203c203130302500
0000158c: PUSH1 0x40
0000158e: DUP3
0000158f: ADD
00001590: MSTORE
00001591: PUSH1 0x60
00001593: ADD
00001594: SWAP1
00001595: JUMP
00001596: JUMPDEST
00001597: PUSH1 0x20
00001599: DUP1
0000159a: DUP3
0000159b: MSTORE
0000159c: PUSH1 0x2f
0000159e: SWAP1
0000159f: DUP3
000015a0: ADD
000015a1: MSTORE
000015a2: PUSH32 0x4d7573742062652063616c6c6564206f6e20616e20696e697469616c697a6564
000015c3: PUSH1 0x40
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH15 0x204578636c757369766520726f6c65
000015d8: PUSH1 0x88
000015da: SHL
000015db: PUSH1 0x60
000015dd: DUP3
000015de: ADD
000015df: MSTORE
000015e0: PUSH1 0x80
000015e2: ADD
000015e3: SWAP1
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x20
000015e8: DUP1
000015e9: DUP3
000015ea: MSTORE
000015eb: DUP2
000015ec: DUP2
000015ed: ADD
000015ee: MSTORE
000015ef: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001610: PUSH1 0x40
00001612: DUP3
00001613: ADD
00001614: MSTORE
00001615: PUSH1 0x60
00001617: ADD
00001618: SWAP1
00001619: JUMP
0000161a: JUMPDEST
0000161b: PUSH1 0x20
0000161d: DUP1
0000161e: DUP3
0000161f: MSTORE
00001620: PUSH1 0x3a
00001622: SWAP1
00001623: DUP3
00001624: ADD
00001625: MSTORE
00001626: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001647: PUSH1 0x40
00001649: DUP3
0000164a: ADD
0000164b: MSTORE
0000164c: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
0000166d: PUSH1 0x60
0000166f: DUP3
00001670: ADD
00001671: MSTORE
00001672: PUSH1 0x80
00001674: ADD
00001675: SWAP1
00001676: JUMP
00001677: JUMPDEST
00001678: PUSH1 0x20
0000167a: DUP1
0000167b: DUP3
0000167c: MSTORE
0000167d: PUSH1 0x1d
0000167f: SWAP1
00001680: DUP3
00001681: ADD
00001682: MSTORE
00001683: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000016a4: PUSH1 0x40
000016a6: DUP3
000016a7: ADD
000016a8: MSTORE
000016a9: PUSH1 0x60
000016ab: ADD
000016ac: SWAP1
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH1 0x20
000016b1: DUP1
000016b2: DUP3
000016b3: MSTORE
000016b4: PUSH1 0x2c
000016b6: SWAP1
000016b7: DUP3
000016b8: ADD
000016b9: MSTORE
000016ba: PUSH32 0x4d7573742062652063616c6c6564206f6e20616e20696e697469616c697a6564
000016db: PUSH1 0x40
000016dd: DUP3
000016de: ADD
000016df: MSTORE
000016e0: PUSH12 0x2053686172656420726f6c65
000016ed: PUSH1 0xa0
000016ef: SHL
000016f0: PUSH1 0x60
000016f2: DUP3
000016f3: ADD
000016f4: MSTORE
000016f5: PUSH1 0x80
000016f7: ADD
000016f8: SWAP1
000016f9: JUMP
000016fa: JUMPDEST
000016fb: PUSH1 0x20
000016fd: DUP1
000016fe: DUP3
000016ff: MSTORE
00001700: PUSH1 0x22
00001702: SWAP1
00001703: DUP3
00001704: ADD
00001705: MSTORE
00001706: PUSH32 0x53656e64657220646f6573206e6f7420686f6c6420726571756972656420726f
00001727: PUSH1 0x40
00001729: DUP3
0000172a: ADD
0000172b: MSTORE
0000172c: PUSH2 0x6c65
0000172f: PUSH1 0xf0
00001731: SHL
00001732: PUSH1 0x60
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: PUSH1 0x80
00001739: ADD
0000173a: SWAP1
0000173b: JUMP
0000173c: JUMPDEST
0000173d: PUSH1 0x20
0000173f: DUP1
00001740: DUP3
00001741: MSTORE
00001742: PUSH1 0x21
00001744: SWAP1
00001745: DUP3
00001746: ADD
00001747: MSTORE
00001748: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00001769: PUSH1 0x40
0000176b: DUP3
0000176c: ADD
0000176d: MSTORE
0000176e: PUSH1 0x77
00001770: PUSH1 0xf8
00001772: SHL
00001773: PUSH1 0x60
00001775: DUP3
00001776: ADD
00001777: MSTORE
00001778: PUSH1 0x80
0000177a: ADD
0000177b: SWAP1
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH1 0x20
00001780: DUP1
00001781: DUP3
00001782: MSTORE
00001783: PUSH1 0x23
00001785: SWAP1
00001786: DUP3
00001787: ADD
00001788: MSTORE
00001789: PUSH32 0x43616e6e6f742073657420616e206578636c757369766520726f6c6520746f20
000017aa: PUSH1 0x40
000017ac: DUP3
000017ad: ADD
000017ae: MSTORE
000017af: PUSH3 0x030783
000017b3: PUSH1 0xec
000017b5: SHL
000017b6: PUSH1 0x60
000017b8: DUP3
000017b9: ADD
000017ba: MSTORE
000017bb: PUSH1 0x80
000017bd: ADD
000017be: SWAP1
000017bf: JUMP
000017c0: JUMPDEST
000017c1: PUSH1 0x20
000017c3: DUP1
000017c4: DUP3
000017c5: MSTORE
000017c6: PUSH1 0x24
000017c8: SWAP1
000017c9: DUP3
000017ca: ADD
000017cb: MSTORE
000017cc: PUSH32 0x43616e206f6e6c792062652063616c6c6564206279206120726f6c65206d616e
000017ed: PUSH1 0x40
000017ef: DUP3
000017f0: ADD
000017f1: MSTORE
000017f2: PUSH4 0x30b3b2b9
000017f7: PUSH1 0xe1
000017f9: SHL
000017fa: PUSH1 0x60
000017fc: DUP3
000017fd: ADD
000017fe: MSTORE
000017ff: PUSH1 0x80
00001801: ADD
00001802: SWAP1
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x20
00001807: DUP1
00001808: DUP3
00001809: MSTORE
0000180a: PUSH1 0x0e
0000180c: SWAP1
0000180d: DUP3
0000180e: ADD
0000180f: MSTORE
00001810: PUSH14 0x125b9d985b1a59081c9bdb195259
0000181f: PUSH1 0x92
00001821: SHL
00001822: PUSH1 0x40
00001824: DUP3
00001825: ADD
00001826: MSTORE
00001827: PUSH1 0x60
00001829: ADD
0000182a: SWAP1
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH1 0x20
0000182f: DUP1
00001830: DUP3
00001831: MSTORE
00001832: PUSH1 0x2a
00001834: SWAP1
00001835: DUP3
00001836: ADD
00001837: MSTORE
00001838: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001859: PUSH1 0x40
0000185b: DUP3
0000185c: ADD
0000185d: MSTORE
0000185e: PUSH10 0x1bdd081cdd58d8d95959
00001869: PUSH1 0xb2
0000186b: SHL
0000186c: PUSH1 0x60
0000186e: DUP3
0000186f: ADD
00001870: MSTORE
00001871: PUSH1 0x80
00001873: ADD
00001874: SWAP1
00001875: JUMP
00001876: JUMPDEST
00001877: PUSH1 0x20
00001879: DUP1
0000187a: DUP3
0000187b: MSTORE
0000187c: PUSH1 0x19
0000187e: SWAP1
0000187f: DUP3
00001880: ADD
00001881: MSTORE
00001882: PUSH32 0x416d6f756e742073656e742063616e2774206265207a65726f00000000000000
000018a3: PUSH1 0x40
000018a5: DUP3
000018a6: ADD
000018a7: MSTORE
000018a8: PUSH1 0x60
000018aa: ADD
000018ab: SWAP1
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH1 0x20
000018b0: DUP1
000018b1: DUP3
000018b2: MSTORE
000018b3: PUSH1 0x1f
000018b5: SWAP1
000018b6: DUP3
000018b7: ADD
000018b8: MSTORE
000018b9: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000018da: PUSH1 0x40
000018dc: DUP3
000018dd: ADD
000018de: MSTORE
000018df: PUSH1 0x60
000018e1: ADD
000018e2: SWAP1
000018e3: JUMP
000018e4: JUMPDEST
000018e5: PUSH1 0x20
000018e7: DUP1
000018e8: DUP3
000018e9: MSTORE
000018ea: PUSH1 0x18
000018ec: SWAP1
000018ed: DUP3
000018ee: ADD
000018ef: MSTORE
000018f0: PUSH32 0x56616c75652073656e742063616e2774206265207a65726f0000000000000000
00001911: PUSH1 0x40
00001913: DUP3
00001914: ADD
00001915: MSTORE
00001916: PUSH1 0x60
00001918: ADD
00001919: SWAP1
0000191a: JUMP
0000191b: JUMPDEST
0000191c: SWAP1
0000191d: MLOAD
0000191e: DUP2
0000191f: MSTORE
00001920: PUSH1 0x20
00001922: ADD
00001923: SWAP1
00001924: JUMP
00001925: JUMPDEST
00001926: SWAP2
00001927: MLOAD
00001928: DUP3
00001929: MSTORE
0000192a: MLOAD
0000192b: PUSH1 0x20
0000192d: DUP3
0000192e: ADD
0000192f: MSTORE
00001930: PUSH1 0x40
00001932: ADD
00001933: SWAP1
00001934: JUMP
00001935: JUMPDEST
00001936: SWAP1
00001937: DUP2
00001938: MSTORE
00001939: PUSH1 0x20
0000193b: ADD
0000193c: SWAP1
0000193d: JUMP
0000193e: JUMPDEST
0000193f: PUSH1 0x00
00001941: JUMPDEST
00001942: DUP4
00001943: DUP2
00001944: LT
00001945: ISZERO
00001946: PUSH2 0x1959
00001949: JUMPI
0000194a: DUP2
0000194b: DUP2
0000194c: ADD
0000194d: MLOAD
0000194e: DUP4
0000194f: DUP3
00001950: ADD
00001951: MSTORE
00001952: PUSH1 0x20
00001954: ADD
00001955: PUSH2 0x1941
00001958: JUMP
00001959: JUMPDEST
0000195a: DUP4
0000195b: DUP2
0000195c: GT
0000195d: ISZERO
0000195e: PUSH2 0x0c3e
00001961: JUMPI
00001962: POP
00001963: POP
00001964: PUSH1 0x00
00001966: SWAP2
00001967: ADD
00001968: MSTORE
00001969: JUMP
0000196a: JUMPDEST
0000196b: PUSH2 0x0564
0000196e: DUP3
0000196f: DUP3
00001970: PUSH2 0x1020
00001973: JUMP
00001974: INVALID
00001975: LOG2
00001976: PUSH5 0x6970667358
0000197c: UNKNOWN(0x22)
0000197d: SLT
0000197e: KECCAK256
0000197f: UNKNOWN(0xF9)
00001980: PUSH21 0xbeca201b19450df2c17ff4b940833eedd16785e35f
00001996: RETURN
00001997: CALLVALUE
00001998: EXTCODECOPY
00001999: TLOAD
0000199a: NUMBER
0000199b: SSTORE
0000199c: DUP16
0000199d: JUMP
0000199e: GASLIMIT
0000199f: PUSH5 0x736f6c6343
000019a5: STOP
000019a6: MOD
000019a7: MOD
000019a8: STOP
000019a9: CALLER