Analysis Run

[codex:790092] OpenAI Codex v0.77.0 (research preview)
[codex:790092] --------
[codex:790092] workdir: /tmp/codex-multi-xkcss_vw
[codex:790092] model: gpt-5.2-codex
[codex:790092] provider: openai
[codex:790092] approval: never
[codex:790092] sandbox: read-only
[codex:790092] reasoning effort: xhigh
[codex:790092] reasoning summaries: auto
[codex:790092] session id: 019b8691-815a-7a73-baf9-779717512ea4
[codex:790092] --------
[codex:790092] user
[codex:790092] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:790092] 
[codex:790092] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:790092] 
[codex:790092] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:790092] - Gas inefficiency, code quality, naming, or best practices
[codex:790092] - Theoretical vulnerabilities without a clear extraction path
[codex:790092] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:790092] - Front-running unless it enables theft beyond MEV
[codex:790092] - DoS, griefing, or issues that don't result in attacker profit
[codex:790092] - Missing events, view function issues, or informational findings
[codex:790092] 
[codex:790092] HIGH-VALUE PATTERNS TO HUNT:
[codex:790092] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:790092] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:790092] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:790092] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:790092] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:790092] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:790092] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:790092] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:790092] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:790092] 
[codex:790092] For each finding, you MUST provide:
[codex:790092] 1. Exact file and line numbers of vulnerable code
[codex:790092] 2. Step-by-step exploit transaction sequence
[codex:790092] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:790092] 
[codex:790092] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:790092] 
[codex:790092] Output MUST be valid JSON matching the provided schema.
[codex:790092] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:790092] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:790092] mcp startup: no servers
[codex:790092] 
[codex:790092] thinking
[codex:790092] **Auditing by reading file**
[codex:790092] exec
[codex:790092] /bin/bash -lc ls in /tmp/codex-multi-xkcss_vw succeeded in 7ms:
[codex:790092] AUDIT_BUNDLE.txt
[codex:790092] codex-output-schema.json
[codex:790092] contracts
[codex:790092] exec
[codex:790092] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-xkcss_vw succeeded in 6ms:
[codex:790092] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:790092] 
[codex:790092] ================================================================================
[codex:790092] FILE: contracts/IERC20.sol
[codex:790092] ================================================================================
[codex:790092] pragma solidity ^0.4.23;
[codex:790092] 
[codex:790092] contract IERC20 {
[codex:790092]   function totalSupply() public constant returns (uint);
[codex:790092]   function balanceOf(address tokenOwner) public constant returns (uint balance);
[codex:790092]   function allowance(address tokenOwner, address spender) public constant returns (uint remaining);
[codex:790092]   function transfer(address to, uint tokens) public returns (bool success);
[codex:790092]   function approve(address spender, uint tokens) public returns (bool success);
[codex:790092]   function transferFrom(address from, address to, uint tokens) public returns (bool success);
[codex:790092] 
[codex:790092]   event Transfer(address indexed from, address indexed to, uint tokens);
[codex:790092]   event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
[codex:790092] }
[codex:790092] 
[codex:790092] ================================================================================
[codex:790092] exec
[codex:790092] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-xkcss_vw succeeded in 7ms:
[codex:790092] 
[codex:790092]         address(_token).call(
[codex:790092]             abi.encodeWithSignature("transferFrom(address,address,uint256)", _from, _to, _value)
[codex:790092]         );
[codex:790092] 
[codex:790092]         // Fail if the new balance its not equal than previous balance sub _value
[codex:790092]         return prevBalance - _value == _token.balanceOf(_from);
[codex:790092]     }
[codex:790092] 
[codex:790092]    /**
[codex:790092]    * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
[codex:790092]    *
[codex:790092]    * Beware that changing an allowance with this method brings the risk that someone may use both the old
[codex:790092]    * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
[codex:790092]    * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
[codex:790092]    * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
[codex:790092]    *
[codex:790092]    * @param _token erc20 The address of the ERC20 contract
[codex:790092]    * @param _spender The address which will spend the funds.
[codex:790092]    * @param _value The amount of tokens to be spent.
[codex:790092] 
[codex:790092] thinking
[codex:790092] **Analyzing potential vulnerabilities**
[codex:790092] codex
[codex:790092] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable on-chain profit paths found under the stated threat model.","findings":[]}
[codex:790092] tokens used
[codex:790092] 6,611
[codex:790092] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable on-chain profit paths found under the stated threat model.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T01:14:33.727653+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable on-chain profit paths found under the stated threat model.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable on-chain profit paths found under the stated threat model.",
        "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 0x0099
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x0b089821
0000003c: EQ
0000003d: PUSH2 0x009e
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x51cff8d9
00000047: EQ
00000048: PUSH2 0x015c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x6c19e783
00000052: EQ
00000053: PUSH2 0x019f
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x704b6c02
0000005d: EQ
0000005e: PUSH2 0x01e2
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x8da5cb5b
00000068: EQ
00000069: PUSH2 0x0225
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x98a89c1b
00000073: EQ
00000074: PUSH2 0x027c
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0xb6b4af05
0000007e: EQ
0000007f: PUSH2 0x033a
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0xf413bdb3
00000089: EQ
0000008a: PUSH2 0x03d3
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0xfeef6640
00000094: EQ
00000095: PUSH2 0x042a
00000098: JUMPI
00000099: JUMPDEST
0000009a: PUSH1 0x00
0000009c: DUP1
0000009d: REVERT
0000009e: JUMPDEST
0000009f: CALLVALUE
000000a0: DUP1
000000a1: ISZERO
000000a2: PUSH2 0x00aa
000000a5: JUMPI
000000a6: PUSH1 0x00
000000a8: DUP1
000000a9: REVERT
000000aa: JUMPDEST
000000ab: POP
000000ac: PUSH2 0x0142
000000af: PUSH1 0x04
000000b1: DUP1
000000b2: CALLDATASIZE
000000b3: SUB
000000b4: DUP2
000000b5: ADD
000000b6: SWAP1
000000b7: DUP1
000000b8: DUP1
000000b9: CALLDATALOAD
000000ba: SWAP1
000000bb: PUSH1 0x20
000000bd: ADD
000000be: SWAP1
000000bf: SWAP3
000000c0: SWAP2
000000c1: SWAP1
000000c2: DUP1
000000c3: CALLDATALOAD
000000c4: SWAP1
000000c5: PUSH1 0x20
000000c7: ADD
000000c8: SWAP1
000000c9: SWAP3
000000ca: SWAP2
000000cb: SWAP1
000000cc: DUP1
000000cd: CALLDATALOAD
000000ce: SWAP1
000000cf: PUSH1 0x20
000000d1: ADD
000000d2: SWAP1
000000d3: SWAP3
000000d4: SWAP2
000000d5: SWAP1
000000d6: DUP1
000000d7: CALLDATALOAD
000000d8: PUSH1 0x00
000000da: NOT
000000db: AND
000000dc: SWAP1
000000dd: PUSH1 0x20
000000df: ADD
000000e0: SWAP1
000000e1: SWAP3
000000e2: SWAP2
000000e3: SWAP1
000000e4: DUP1
000000e5: CALLDATALOAD
000000e6: PUSH1 0x00
000000e8: NOT
000000e9: AND
000000ea: SWAP1
000000eb: PUSH1 0x20
000000ed: ADD
000000ee: SWAP1
000000ef: SWAP3
000000f0: SWAP2
000000f1: SWAP1
000000f2: DUP1
000000f3: CALLDATALOAD
000000f4: PUSH1 0xff
000000f6: AND
000000f7: SWAP1
000000f8: PUSH1 0x20
000000fa: ADD
000000fb: SWAP1
000000fc: SWAP3
000000fd: SWAP2
000000fe: SWAP1
000000ff: DUP1
00000100: CALLDATALOAD
00000101: PUSH1 0x00
00000103: NOT
00000104: AND
00000105: SWAP1
00000106: PUSH1 0x20
00000108: ADD
00000109: SWAP1
0000010a: SWAP3
0000010b: SWAP2
0000010c: SWAP1
0000010d: DUP1
0000010e: CALLDATALOAD
0000010f: PUSH1 0x00
00000111: NOT
00000112: AND
00000113: SWAP1
00000114: PUSH1 0x20
00000116: ADD
00000117: SWAP1
00000118: SWAP3
00000119: SWAP2
0000011a: SWAP1
0000011b: DUP1
0000011c: CALLDATALOAD
0000011d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000132: AND
00000133: SWAP1
00000134: PUSH1 0x20
00000136: ADD
00000137: SWAP1
00000138: SWAP3
00000139: SWAP2
0000013a: SWAP1
0000013b: POP
0000013c: POP
0000013d: POP
0000013e: PUSH2 0x0473
00000141: JUMP
00000142: JUMPDEST
00000143: PUSH1 0x40
00000145: MLOAD
00000146: DUP1
00000147: DUP3
00000148: ISZERO
00000149: ISZERO
0000014a: ISZERO
0000014b: ISZERO
0000014c: DUP2
0000014d: MSTORE
0000014e: PUSH1 0x20
00000150: ADD
00000151: SWAP2
00000152: POP
00000153: POP
00000154: PUSH1 0x40
00000156: MLOAD
00000157: DUP1
00000158: SWAP2
00000159: SUB
0000015a: SWAP1
0000015b: RETURN
0000015c: JUMPDEST
0000015d: CALLVALUE
0000015e: DUP1
0000015f: ISZERO
00000160: PUSH2 0x0168
00000163: JUMPI
00000164: PUSH1 0x00
00000166: DUP1
00000167: REVERT
00000168: JUMPDEST
00000169: POP
0000016a: PUSH2 0x019d
0000016d: PUSH1 0x04
0000016f: DUP1
00000170: CALLDATASIZE
00000171: SUB
00000172: DUP2
00000173: ADD
00000174: SWAP1
00000175: DUP1
00000176: DUP1
00000177: CALLDATALOAD
00000178: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018d: AND
0000018e: SWAP1
0000018f: PUSH1 0x20
00000191: ADD
00000192: SWAP1
00000193: SWAP3
00000194: SWAP2
00000195: SWAP1
00000196: POP
00000197: POP
00000198: POP
00000199: PUSH2 0x096e
0000019c: JUMP
0000019d: JUMPDEST
0000019e: STOP
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01ab
000001a6: JUMPI
000001a7: PUSH1 0x00
000001a9: DUP1
000001aa: REVERT
000001ab: JUMPDEST
000001ac: POP
000001ad: PUSH2 0x01e0
000001b0: PUSH1 0x04
000001b2: DUP1
000001b3: CALLDATASIZE
000001b4: SUB
000001b5: DUP2
000001b6: ADD
000001b7: SWAP1
000001b8: DUP1
000001b9: DUP1
000001ba: CALLDATALOAD
000001bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d0: AND
000001d1: SWAP1
000001d2: PUSH1 0x20
000001d4: ADD
000001d5: SWAP1
000001d6: SWAP3
000001d7: SWAP2
000001d8: SWAP1
000001d9: POP
000001da: POP
000001db: POP
000001dc: PUSH2 0x0c79
000001df: JUMP
000001e0: JUMPDEST
000001e1: STOP
000001e2: JUMPDEST
000001e3: CALLVALUE
000001e4: DUP1
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: POP
000001f0: PUSH2 0x0223
000001f3: PUSH1 0x04
000001f5: DUP1
000001f6: CALLDATASIZE
000001f7: SUB
000001f8: DUP2
000001f9: ADD
000001fa: SWAP1
000001fb: DUP1
000001fc: DUP1
000001fd: CALLDATALOAD
000001fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000213: AND
00000214: SWAP1
00000215: PUSH1 0x20
00000217: ADD
00000218: SWAP1
00000219: SWAP3
0000021a: SWAP2
0000021b: SWAP1
0000021c: POP
0000021d: POP
0000021e: POP
0000021f: PUSH2 0x0d81
00000222: JUMP
00000223: JUMPDEST
00000224: STOP
00000225: JUMPDEST
00000226: CALLVALUE
00000227: DUP1
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: POP
00000233: PUSH2 0x023a
00000236: PUSH2 0x0e88
00000239: JUMP
0000023a: JUMPDEST
0000023b: PUSH1 0x40
0000023d: MLOAD
0000023e: DUP1
0000023f: DUP3
00000240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000255: AND
00000256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026b: AND
0000026c: DUP2
0000026d: MSTORE
0000026e: PUSH1 0x20
00000270: ADD
00000271: SWAP2
00000272: POP
00000273: POP
00000274: PUSH1 0x40
00000276: MLOAD
00000277: DUP1
00000278: SWAP2
00000279: SUB
0000027a: SWAP1
0000027b: RETURN
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x0320
0000028d: PUSH1 0x04
0000028f: DUP1
00000290: CALLDATASIZE
00000291: SUB
00000292: DUP2
00000293: ADD
00000294: SWAP1
00000295: DUP1
00000296: DUP1
00000297: CALLDATALOAD
00000298: SWAP1
00000299: PUSH1 0x20
0000029b: ADD
0000029c: SWAP1
0000029d: SWAP3
0000029e: SWAP2
0000029f: SWAP1
000002a0: DUP1
000002a1: CALLDATALOAD
000002a2: SWAP1
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: SWAP1
000002a7: SWAP3
000002a8: SWAP2
000002a9: SWAP1
000002aa: DUP1
000002ab: CALLDATALOAD
000002ac: SWAP1
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP1
000002b1: SWAP3
000002b2: SWAP2
000002b3: SWAP1
000002b4: DUP1
000002b5: CALLDATALOAD
000002b6: PUSH1 0x00
000002b8: NOT
000002b9: AND
000002ba: SWAP1
000002bb: PUSH1 0x20
000002bd: ADD
000002be: SWAP1
000002bf: SWAP3
000002c0: SWAP2
000002c1: SWAP1
000002c2: DUP1
000002c3: CALLDATALOAD
000002c4: PUSH1 0x00
000002c6: NOT
000002c7: AND
000002c8: SWAP1
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: SWAP1
000002cd: SWAP3
000002ce: SWAP2
000002cf: SWAP1
000002d0: DUP1
000002d1: CALLDATALOAD
000002d2: PUSH1 0xff
000002d4: AND
000002d5: SWAP1
000002d6: PUSH1 0x20
000002d8: ADD
000002d9: SWAP1
000002da: SWAP3
000002db: SWAP2
000002dc: SWAP1
000002dd: DUP1
000002de: CALLDATALOAD
000002df: PUSH1 0x00
000002e1: NOT
000002e2: AND
000002e3: SWAP1
000002e4: PUSH1 0x20
000002e6: ADD
000002e7: SWAP1
000002e8: SWAP3
000002e9: SWAP2
000002ea: SWAP1
000002eb: DUP1
000002ec: CALLDATALOAD
000002ed: PUSH1 0x00
000002ef: NOT
000002f0: AND
000002f1: SWAP1
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: SWAP1
000002f6: SWAP3
000002f7: SWAP2
000002f8: SWAP1
000002f9: DUP1
000002fa: CALLDATALOAD
000002fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000310: AND
00000311: SWAP1
00000312: PUSH1 0x20
00000314: ADD
00000315: SWAP1
00000316: SWAP3
00000317: SWAP2
00000318: SWAP1
00000319: POP
0000031a: POP
0000031b: POP
0000031c: PUSH2 0x0ead
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: DUP1
00000325: DUP3
00000326: ISZERO
00000327: ISZERO
00000328: ISZERO
00000329: ISZERO
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: POP
00000331: POP
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: SWAP2
00000337: SUB
00000338: SWAP1
00000339: RETURN
0000033a: JUMPDEST
0000033b: PUSH2 0x03d1
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: DUP2
00000344: ADD
00000345: SWAP1
00000346: DUP1
00000347: DUP1
00000348: CALLDATALOAD
00000349: SWAP1
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: SWAP1
0000034e: SWAP3
0000034f: SWAP2
00000350: SWAP1
00000351: DUP1
00000352: CALLDATALOAD
00000353: SWAP1
00000354: PUSH1 0x20
00000356: ADD
00000357: SWAP1
00000358: SWAP3
00000359: SWAP2
0000035a: SWAP1
0000035b: DUP1
0000035c: CALLDATALOAD
0000035d: SWAP1
0000035e: PUSH1 0x20
00000360: ADD
00000361: SWAP1
00000362: SWAP3
00000363: SWAP2
00000364: SWAP1
00000365: DUP1
00000366: CALLDATALOAD
00000367: PUSH1 0x00
00000369: NOT
0000036a: AND
0000036b: SWAP1
0000036c: PUSH1 0x20
0000036e: ADD
0000036f: SWAP1
00000370: SWAP3
00000371: SWAP2
00000372: SWAP1
00000373: DUP1
00000374: CALLDATALOAD
00000375: PUSH1 0x00
00000377: NOT
00000378: AND
00000379: SWAP1
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: SWAP1
0000037e: SWAP3
0000037f: SWAP2
00000380: SWAP1
00000381: DUP1
00000382: CALLDATALOAD
00000383: PUSH1 0xff
00000385: AND
00000386: SWAP1
00000387: PUSH1 0x20
00000389: ADD
0000038a: SWAP1
0000038b: SWAP3
0000038c: SWAP2
0000038d: SWAP1
0000038e: DUP1
0000038f: CALLDATALOAD
00000390: PUSH1 0x00
00000392: NOT
00000393: AND
00000394: SWAP1
00000395: PUSH1 0x20
00000397: ADD
00000398: SWAP1
00000399: SWAP3
0000039a: SWAP2
0000039b: SWAP1
0000039c: DUP1
0000039d: CALLDATALOAD
0000039e: PUSH1 0x00
000003a0: NOT
000003a1: AND
000003a2: SWAP1
000003a3: PUSH1 0x20
000003a5: ADD
000003a6: SWAP1
000003a7: SWAP3
000003a8: SWAP2
000003a9: SWAP1
000003aa: DUP1
000003ab: CALLDATALOAD
000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c1: AND
000003c2: SWAP1
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: SWAP1
000003c7: SWAP3
000003c8: SWAP2
000003c9: SWAP1
000003ca: POP
000003cb: POP
000003cc: POP
000003cd: PUSH2 0x11f6
000003d0: JUMP
000003d1: JUMPDEST
000003d2: STOP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x15e6
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: DUP1
000003ed: DUP3
000003ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000403: AND
00000404: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000419: AND
0000041a: DUP2
0000041b: MSTORE
0000041c: PUSH1 0x20
0000041e: ADD
0000041f: SWAP2
00000420: POP
00000421: POP
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: SWAP2
00000427: SUB
00000428: SWAP1
00000429: RETURN
0000042a: JUMPDEST
0000042b: CALLVALUE
0000042c: DUP1
0000042d: ISZERO
0000042e: PUSH2 0x0436
00000431: JUMPI
00000432: PUSH1 0x00
00000434: DUP1
00000435: REVERT
00000436: JUMPDEST
00000437: POP
00000438: PUSH2 0x0459
0000043b: PUSH1 0x04
0000043d: DUP1
0000043e: CALLDATASIZE
0000043f: SUB
00000440: DUP2
00000441: ADD
00000442: SWAP1
00000443: DUP1
00000444: DUP1
00000445: CALLDATALOAD
00000446: PUSH1 0x00
00000448: NOT
00000449: AND
0000044a: SWAP1
0000044b: PUSH1 0x20
0000044d: ADD
0000044e: SWAP1
0000044f: SWAP3
00000450: SWAP2
00000451: SWAP1
00000452: POP
00000453: POP
00000454: POP
00000455: PUSH2 0x160c
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP3
0000045f: ISZERO
00000460: ISZERO
00000461: ISZERO
00000462: ISZERO
00000463: DUP2
00000464: MSTORE
00000465: PUSH1 0x20
00000467: ADD
00000468: SWAP2
00000469: POP
0000046a: POP
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: DUP1
0000046f: SWAP2
00000470: SUB
00000471: SWAP1
00000472: RETURN
00000473: JUMPDEST
00000474: PUSH1 0x00
00000476: PUSH1 0x60
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: PUSH1 0x00
0000047d: ISZERO
0000047e: ISZERO
0000047f: PUSH1 0x02
00000481: PUSH1 0x00
00000483: DUP13
00000484: PUSH1 0x00
00000486: NOT
00000487: AND
00000488: PUSH1 0x00
0000048a: NOT
0000048b: AND
0000048c: DUP2
0000048d: MSTORE
0000048e: PUSH1 0x20
00000490: ADD
00000491: SWAP1
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: PUSH1 0x00
00000499: KECCAK256
0000049a: PUSH1 0x00
0000049c: SWAP1
0000049d: SLOAD
0000049e: SWAP1
0000049f: PUSH2 0x0100
000004a2: EXP
000004a3: SWAP1
000004a4: DIV
000004a5: PUSH1 0xff
000004a7: AND
000004a8: ISZERO
000004a9: ISZERO
000004aa: EQ
000004ab: ISZERO
000004ac: ISZERO
000004ad: PUSH2 0x051e
000004b0: JUMPI
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004d5: DUP2
000004d6: MSTORE
000004d7: PUSH1 0x04
000004d9: ADD
000004da: DUP1
000004db: DUP1
000004dc: PUSH1 0x20
000004de: ADD
000004df: DUP3
000004e0: DUP2
000004e1: SUB
000004e2: DUP3
000004e3: MSTORE
000004e4: PUSH1 0x11
000004e6: DUP2
000004e7: MSTORE
000004e8: PUSH1 0x20
000004ea: ADD
000004eb: DUP1
000004ec: PUSH32 0x416c7265616479206265656e2070616964000000000000000000000000000000
0000050d: DUP2
0000050e: MSTORE
0000050f: POP
00000510: PUSH1 0x20
00000512: ADD
00000513: SWAP2
00000514: POP
00000515: POP
00000516: PUSH1 0x40
00000518: MLOAD
00000519: DUP1
0000051a: SWAP2
0000051b: SUB
0000051c: SWAP1
0000051d: REVERT
0000051e: JUMPDEST
0000051f: DUP11
00000520: TIMESTAMP
00000521: GT
00000522: ISZERO
00000523: ISZERO
00000524: ISZERO
00000525: PUSH2 0x0596
00000528: JUMPI
00000529: PUSH1 0x40
0000052b: MLOAD
0000052c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000054d: DUP2
0000054e: MSTORE
0000054f: PUSH1 0x04
00000551: ADD
00000552: DUP1
00000553: DUP1
00000554: PUSH1 0x20
00000556: ADD
00000557: DUP3
00000558: DUP2
00000559: SUB
0000055a: DUP3
0000055b: MSTORE
0000055c: PUSH1 0x0f
0000055e: DUP2
0000055f: MSTORE
00000560: PUSH1 0x20
00000562: ADD
00000563: DUP1
00000564: PUSH32 0x5061796d656e74206973206c6174650000000000000000000000000000000000
00000585: DUP2
00000586: MSTORE
00000587: POP
00000588: PUSH1 0x20
0000058a: ADD
0000058b: SWAP2
0000058c: POP
0000058d: POP
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: DUP1
00000592: SWAP2
00000593: SUB
00000594: SWAP1
00000595: REVERT
00000596: JUMPDEST
00000597: PUSH1 0x40
00000599: DUP1
0000059a: MLOAD
0000059b: SWAP1
0000059c: DUP2
0000059d: ADD
0000059e: PUSH1 0x40
000005a0: MSTORE
000005a1: DUP1
000005a2: PUSH1 0x1c
000005a4: DUP2
000005a5: MSTORE
000005a6: PUSH1 0x20
000005a8: ADD
000005a9: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
000005ca: DUP2
000005cb: MSTORE
000005cc: POP
000005cd: SWAP3
000005ce: POP
000005cf: DUP13
000005d0: DUP13
000005d1: DUP13
000005d2: DUP13
000005d3: DUP9
000005d4: PUSH1 0x40
000005d6: MLOAD
000005d7: PUSH1 0x20
000005d9: ADD
000005da: DUP1
000005db: DUP7
000005dc: DUP2
000005dd: MSTORE
000005de: PUSH1 0x20
000005e0: ADD
000005e1: DUP6
000005e2: DUP2
000005e3: MSTORE
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: DUP5
000005e8: DUP2
000005e9: MSTORE
000005ea: PUSH1 0x20
000005ec: ADD
000005ed: DUP4
000005ee: PUSH1 0x00
000005f0: NOT
000005f1: AND
000005f2: PUSH1 0x00
000005f4: NOT
000005f5: AND
000005f6: DUP2
000005f7: MSTORE
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: DUP3
000005fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000611: AND
00000612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000627: AND
00000628: PUSH13 0x01000000000000000000000000
00000636: MUL
00000637: DUP2
00000638: MSTORE
00000639: PUSH1 0x14
0000063b: ADD
0000063c: SWAP6
0000063d: POP
0000063e: POP
0000063f: POP
00000640: POP
00000641: POP
00000642: POP
00000643: PUSH1 0x40
00000645: MLOAD
00000646: PUSH1 0x20
00000648: DUP2
00000649: DUP4
0000064a: SUB
0000064b: SUB
0000064c: DUP2
0000064d: MSTORE
0000064e: SWAP1
0000064f: PUSH1 0x40
00000651: MSTORE
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: DUP3
00000657: DUP1
00000658: MLOAD
00000659: SWAP1
0000065a: PUSH1 0x20
0000065c: ADD
0000065d: SWAP1
0000065e: DUP1
0000065f: DUP4
00000660: DUP4
00000661: JUMPDEST
00000662: PUSH1 0x20
00000664: DUP4
00000665: LT
00000666: ISZERO
00000667: ISZERO
00000668: PUSH2 0x0686
0000066b: JUMPI
0000066c: DUP1
0000066d: MLOAD
0000066e: DUP3
0000066f: MSTORE
00000670: PUSH1 0x20
00000672: DUP3
00000673: ADD
00000674: SWAP2
00000675: POP
00000676: PUSH1 0x20
00000678: DUP2
00000679: ADD
0000067a: SWAP1
0000067b: POP
0000067c: PUSH1 0x20
0000067e: DUP4
0000067f: SUB
00000680: SWAP3
00000681: POP
00000682: PUSH2 0x0661
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x01
00000689: DUP4
0000068a: PUSH1 0x20
0000068c: SUB
0000068d: PUSH2 0x0100
00000690: EXP
00000691: SUB
00000692: DUP1
00000693: NOT
00000694: DUP3
00000695: MLOAD
00000696: AND
00000697: DUP2
00000698: DUP5
00000699: MLOAD
0000069a: AND
0000069b: DUP1
0000069c: DUP3
0000069d: OR
0000069e: DUP6
0000069f: MSTORE
000006a0: POP
000006a1: POP
000006a2: POP
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: SWAP1
000006a7: POP
000006a8: ADD
000006a9: SWAP2
000006aa: POP
000006ab: POP
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: KECCAK256
000006b4: SWAP2
000006b5: POP
000006b6: DUP3
000006b7: DUP3
000006b8: PUSH1 0x40
000006ba: MLOAD
000006bb: PUSH1 0x20
000006bd: ADD
000006be: DUP1
000006bf: DUP4
000006c0: DUP1
000006c1: MLOAD
000006c2: SWAP1
000006c3: PUSH1 0x20
000006c5: ADD
000006c6: SWAP1
000006c7: DUP1
000006c8: DUP4
000006c9: DUP4
000006ca: JUMPDEST
000006cb: PUSH1 0x20
000006cd: DUP4
000006ce: LT
000006cf: ISZERO
000006d0: ISZERO
000006d1: PUSH2 0x06ef
000006d4: JUMPI
000006d5: DUP1
000006d6: MLOAD
000006d7: DUP3
000006d8: MSTORE
000006d9: PUSH1 0x20
000006db: DUP3
000006dc: ADD
000006dd: SWAP2
000006de: POP
000006df: PUSH1 0x20
000006e1: DUP2
000006e2: ADD
000006e3: SWAP1
000006e4: POP
000006e5: PUSH1 0x20
000006e7: DUP4
000006e8: SUB
000006e9: SWAP3
000006ea: POP
000006eb: PUSH2 0x06ca
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH1 0x01
000006f2: DUP4
000006f3: PUSH1 0x20
000006f5: SUB
000006f6: PUSH2 0x0100
000006f9: EXP
000006fa: SUB
000006fb: DUP1
000006fc: NOT
000006fd: DUP3
000006fe: MLOAD
000006ff: AND
00000700: DUP2
00000701: DUP5
00000702: MLOAD
00000703: AND
00000704: DUP1
00000705: DUP3
00000706: OR
00000707: DUP6
00000708: MSTORE
00000709: POP
0000070a: POP
0000070b: POP
0000070c: POP
0000070d: POP
0000070e: POP
0000070f: SWAP1
00000710: POP
00000711: ADD
00000712: DUP3
00000713: PUSH1 0x00
00000715: NOT
00000716: AND
00000717: PUSH1 0x00
00000719: NOT
0000071a: AND
0000071b: DUP2
0000071c: MSTORE
0000071d: PUSH1 0x20
0000071f: ADD
00000720: SWAP3
00000721: POP
00000722: POP
00000723: POP
00000724: PUSH1 0x40
00000726: MLOAD
00000727: PUSH1 0x20
00000729: DUP2
0000072a: DUP4
0000072b: SUB
0000072c: SUB
0000072d: DUP2
0000072e: MSTORE
0000072f: SWAP1
00000730: PUSH1 0x40
00000732: MSTORE
00000733: PUSH1 0x40
00000735: MLOAD
00000736: DUP1
00000737: DUP3
00000738: DUP1
00000739: MLOAD
0000073a: SWAP1
0000073b: PUSH1 0x20
0000073d: ADD
0000073e: SWAP1
0000073f: DUP1
00000740: DUP4
00000741: DUP4
00000742: JUMPDEST
00000743: PUSH1 0x20
00000745: DUP4
00000746: LT
00000747: ISZERO
00000748: ISZERO
00000749: PUSH2 0x0767
0000074c: JUMPI
0000074d: DUP1
0000074e: MLOAD
0000074f: DUP3
00000750: MSTORE
00000751: PUSH1 0x20
00000753: DUP3
00000754: ADD
00000755: SWAP2
00000756: POP
00000757: PUSH1 0x20
00000759: DUP2
0000075a: ADD
0000075b: SWAP1
0000075c: POP
0000075d: PUSH1 0x20
0000075f: DUP4
00000760: SUB
00000761: SWAP3
00000762: POP
00000763: PUSH2 0x0742
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH1 0x01
0000076a: DUP4
0000076b: PUSH1 0x20
0000076d: SUB
0000076e: PUSH2 0x0100
00000771: EXP
00000772: SUB
00000773: DUP1
00000774: NOT
00000775: DUP3
00000776: MLOAD
00000777: AND
00000778: DUP2
00000779: DUP5
0000077a: MLOAD
0000077b: AND
0000077c: DUP1
0000077d: DUP3
0000077e: OR
0000077f: DUP6
00000780: MSTORE
00000781: POP
00000782: POP
00000783: POP
00000784: POP
00000785: POP
00000786: POP
00000787: SWAP1
00000788: POP
00000789: ADD
0000078a: SWAP2
0000078b: POP
0000078c: POP
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: DUP1
00000791: SWAP2
00000792: SUB
00000793: SWAP1
00000794: KECCAK256
00000795: SWAP1
00000796: POP
00000797: DUP9
00000798: PUSH1 0x00
0000079a: NOT
0000079b: AND
0000079c: DUP3
0000079d: PUSH1 0x00
0000079f: NOT
000007a0: AND
000007a1: EQ
000007a2: ISZERO
000007a3: ISZERO
000007a4: PUSH2 0x0815
000007a7: JUMPI
000007a8: PUSH1 0x40
000007aa: MLOAD
000007ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007cc: DUP2
000007cd: MSTORE
000007ce: PUSH1 0x04
000007d0: ADD
000007d1: DUP1
000007d2: DUP1
000007d3: PUSH1 0x20
000007d5: ADD
000007d6: DUP3
000007d7: DUP2
000007d8: SUB
000007d9: DUP3
000007da: MSTORE
000007db: PUSH1 0x0d
000007dd: DUP2
000007de: MSTORE
000007df: PUSH1 0x20
000007e1: ADD
000007e2: DUP1
000007e3: PUSH32 0x48617368206d69736d6174636800000000000000000000000000000000000000
00000804: DUP2
00000805: MSTORE
00000806: POP
00000807: PUSH1 0x20
00000809: ADD
0000080a: SWAP2
0000080b: POP
0000080c: POP
0000080d: PUSH1 0x40
0000080f: MLOAD
00000810: DUP1
00000811: SWAP2
00000812: SUB
00000813: SWAP1
00000814: REVERT
00000815: JUMPDEST
00000816: PUSH1 0x01
00000818: PUSH1 0x00
0000081a: SWAP1
0000081b: SLOAD
0000081c: SWAP1
0000081d: PUSH2 0x0100
00000820: EXP
00000821: SWAP1
00000822: DIV
00000823: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000838: AND
00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084e: AND
0000084f: PUSH1 0x01
00000851: DUP3
00000852: DUP11
00000853: DUP11
00000854: DUP11
00000855: PUSH1 0x40
00000857: MLOAD
00000858: PUSH1 0x00
0000085a: DUP2
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: ADD
0000085f: PUSH1 0x40
00000861: MSTORE
00000862: PUSH1 0x40
00000864: MLOAD
00000865: DUP1
00000866: DUP6
00000867: PUSH1 0x00
00000869: NOT
0000086a: AND
0000086b: PUSH1 0x00
0000086d: NOT
0000086e: AND
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: ADD
00000874: DUP5
00000875: PUSH1 0xff
00000877: AND
00000878: PUSH1 0xff
0000087a: AND
0000087b: DUP2
0000087c: MSTORE
0000087d: PUSH1 0x20
0000087f: ADD
00000880: DUP4
00000881: PUSH1 0x00
00000883: NOT
00000884: AND
00000885: PUSH1 0x00
00000887: NOT
00000888: AND
00000889: DUP2
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: DUP3
0000088f: PUSH1 0x00
00000891: NOT
00000892: AND
00000893: PUSH1 0x00
00000895: NOT
00000896: AND
00000897: DUP2
00000898: MSTORE
00000899: PUSH1 0x20
0000089b: ADD
0000089c: SWAP5
0000089d: POP
0000089e: POP
0000089f: POP
000008a0: POP
000008a1: POP
000008a2: PUSH1 0x20
000008a4: PUSH1 0x40
000008a6: MLOAD
000008a7: PUSH1 0x20
000008a9: DUP2
000008aa: SUB
000008ab: SWAP1
000008ac: DUP1
000008ad: DUP5
000008ae: SUB
000008af: SWAP1
000008b0: PUSH1 0x00
000008b2: DUP7
000008b3: GAS
000008b4: CALL
000008b5: ISZERO
000008b6: DUP1
000008b7: ISZERO
000008b8: PUSH2 0x08c5
000008bb: JUMPI
000008bc: RETURNDATASIZE
000008bd: PUSH1 0x00
000008bf: DUP1
000008c0: RETURNDATACOPY
000008c1: RETURNDATASIZE
000008c2: PUSH1 0x00
000008c4: REVERT
000008c5: JUMPDEST
000008c6: POP
000008c7: POP
000008c8: POP
000008c9: PUSH1 0x20
000008cb: PUSH1 0x40
000008cd: MLOAD
000008ce: SUB
000008cf: MLOAD
000008d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e5: AND
000008e6: EQ
000008e7: ISZERO
000008e8: ISZERO
000008e9: PUSH2 0x095a
000008ec: JUMPI
000008ed: PUSH1 0x40
000008ef: MLOAD
000008f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000911: DUP2
00000912: MSTORE
00000913: PUSH1 0x04
00000915: ADD
00000916: DUP1
00000917: DUP1
00000918: PUSH1 0x20
0000091a: ADD
0000091b: DUP3
0000091c: DUP2
0000091d: SUB
0000091e: DUP3
0000091f: MSTORE
00000920: PUSH1 0x1c
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: ADD
00000927: DUP1
00000928: PUSH32 0x5369676e6174757265206d69736d6174636820666f722071756f746500000000
00000949: DUP2
0000094a: MSTORE
0000094b: POP
0000094c: PUSH1 0x20
0000094e: ADD
0000094f: SWAP2
00000950: POP
00000951: POP
00000952: PUSH1 0x40
00000954: MLOAD
00000955: DUP1
00000956: SWAP2
00000957: SUB
00000958: SWAP1
00000959: REVERT
0000095a: JUMPDEST
0000095b: PUSH1 0x01
0000095d: SWAP4
0000095e: POP
0000095f: POP
00000960: POP
00000961: POP
00000962: SWAP10
00000963: SWAP9
00000964: POP
00000965: POP
00000966: POP
00000967: POP
00000968: POP
00000969: POP
0000096a: POP
0000096b: POP
0000096c: POP
0000096d: JUMP
0000096e: JUMPDEST
0000096f: PUSH1 0x00
00000971: DUP1
00000972: PUSH1 0x00
00000974: DUP1
00000975: SWAP1
00000976: SLOAD
00000977: SWAP1
00000978: PUSH2 0x0100
0000097b: EXP
0000097c: SWAP1
0000097d: DIV
0000097e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000993: AND
00000994: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a9: AND
000009aa: CALLER
000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c0: AND
000009c1: EQ
000009c2: ISZERO
000009c3: ISZERO
000009c4: PUSH2 0x0a35
000009c7: JUMPI
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ec: DUP2
000009ed: MSTORE
000009ee: PUSH1 0x04
000009f0: ADD
000009f1: DUP1
000009f2: DUP1
000009f3: PUSH1 0x20
000009f5: ADD
000009f6: DUP3
000009f7: DUP2
000009f8: SUB
000009f9: DUP3
000009fa: MSTORE
000009fb: PUSH1 0x1a
000009fd: DUP2
000009fe: MSTORE
000009ff: PUSH1 0x20
00000a01: ADD
00000a02: DUP1
00000a03: PUSH32 0x4d7573742062652074686520636f6e7472616374206f776e6572000000000000
00000a24: DUP2
00000a25: MSTORE
00000a26: POP
00000a27: PUSH1 0x20
00000a29: ADD
00000a2a: SWAP2
00000a2b: POP
00000a2c: POP
00000a2d: PUSH1 0x40
00000a2f: MLOAD
00000a30: DUP1
00000a31: SWAP2
00000a32: SUB
00000a33: SWAP1
00000a34: REVERT
00000a35: JUMPDEST
00000a36: PUSH1 0x00
00000a38: DUP4
00000a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4e: AND
00000a4f: EQ
00000a50: ISZERO
00000a51: PUSH2 0x0ad8
00000a54: JUMPI
00000a55: PUSH1 0x00
00000a57: DUP1
00000a58: SWAP1
00000a59: SLOAD
00000a5a: SWAP1
00000a5b: PUSH2 0x0100
00000a5e: EXP
00000a5f: SWAP1
00000a60: DIV
00000a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a76: AND
00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8c: AND
00000a8d: PUSH2 0x08fc
00000a90: ADDRESS
00000a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa6: AND
00000aa7: BALANCE
00000aa8: SWAP1
00000aa9: DUP2
00000aaa: ISZERO
00000aab: MUL
00000aac: SWAP1
00000aad: PUSH1 0x40
00000aaf: MLOAD
00000ab0: PUSH1 0x00
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: DUP1
00000ab6: DUP4
00000ab7: SUB
00000ab8: DUP2
00000ab9: DUP6
00000aba: DUP9
00000abb: DUP9
00000abc: CALL
00000abd: SWAP4
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: POP
00000ac2: ISZERO
00000ac3: DUP1
00000ac4: ISZERO
00000ac5: PUSH2 0x0ad2
00000ac8: JUMPI
00000ac9: RETURNDATASIZE
00000aca: PUSH1 0x00
00000acc: DUP1
00000acd: RETURNDATACOPY
00000ace: RETURNDATASIZE
00000acf: PUSH1 0x00
00000ad1: REVERT
00000ad2: JUMPDEST
00000ad3: POP
00000ad4: PUSH2 0x0c74
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: DUP3
00000ada: SWAP2
00000adb: POP
00000adc: DUP2
00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af2: AND
00000af3: PUSH4 0x70a08231
00000af8: ADDRESS
00000af9: PUSH1 0x40
00000afb: MLOAD
00000afc: DUP3
00000afd: PUSH4 0xffffffff
00000b02: AND
00000b03: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b21: MUL
00000b22: DUP2
00000b23: MSTORE
00000b24: PUSH1 0x04
00000b26: ADD
00000b27: DUP1
00000b28: DUP3
00000b29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3e: AND
00000b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b54: AND
00000b55: DUP2
00000b56: MSTORE
00000b57: PUSH1 0x20
00000b59: ADD
00000b5a: SWAP2
00000b5b: POP
00000b5c: POP
00000b5d: PUSH1 0x20
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: DUP4
00000b64: SUB
00000b65: DUP2
00000b66: PUSH1 0x00
00000b68: DUP8
00000b69: DUP1
00000b6a: EXTCODESIZE
00000b6b: ISZERO
00000b6c: DUP1
00000b6d: ISZERO
00000b6e: PUSH2 0x0b76
00000b71: JUMPI
00000b72: PUSH1 0x00
00000b74: DUP1
00000b75: REVERT
00000b76: JUMPDEST
00000b77: POP
00000b78: GAS
00000b79: CALL
00000b7a: ISZERO
00000b7b: DUP1
00000b7c: ISZERO
00000b7d: PUSH2 0x0b8a
00000b80: JUMPI
00000b81: RETURNDATASIZE
00000b82: PUSH1 0x00
00000b84: DUP1
00000b85: RETURNDATACOPY
00000b86: RETURNDATASIZE
00000b87: PUSH1 0x00
00000b89: REVERT
00000b8a: JUMPDEST
00000b8b: POP
00000b8c: POP
00000b8d: POP
00000b8e: POP
00000b8f: PUSH1 0x40
00000b91: MLOAD
00000b92: RETURNDATASIZE
00000b93: PUSH1 0x20
00000b95: DUP2
00000b96: LT
00000b97: ISZERO
00000b98: PUSH2 0x0ba0
00000b9b: JUMPI
00000b9c: PUSH1 0x00
00000b9e: DUP1
00000b9f: REVERT
00000ba0: JUMPDEST
00000ba1: DUP2
00000ba2: ADD
00000ba3: SWAP1
00000ba4: DUP1
00000ba5: DUP1
00000ba6: MLOAD
00000ba7: SWAP1
00000ba8: PUSH1 0x20
00000baa: ADD
00000bab: SWAP1
00000bac: SWAP3
00000bad: SWAP2
00000bae: SWAP1
00000baf: POP
00000bb0: POP
00000bb1: POP
00000bb2: SWAP1
00000bb3: POP
00000bb4: PUSH2 0x0bff
00000bb7: PUSH1 0x00
00000bb9: DUP1
00000bba: SWAP1
00000bbb: SLOAD
00000bbc: SWAP1
00000bbd: PUSH2 0x0100
00000bc0: EXP
00000bc1: SWAP1
00000bc2: DIV
00000bc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd8: AND
00000bd9: DUP3
00000bda: DUP5
00000bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf0: AND
00000bf1: PUSH2 0x162c
00000bf4: SWAP1
00000bf5: SWAP3
00000bf6: SWAP2
00000bf7: SWAP1
00000bf8: PUSH4 0xffffffff
00000bfd: AND
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: ISZERO
00000c01: ISZERO
00000c02: PUSH2 0x0c73
00000c05: JUMPI
00000c06: PUSH1 0x40
00000c08: MLOAD
00000c09: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c2a: DUP2
00000c2b: MSTORE
00000c2c: PUSH1 0x04
00000c2e: ADD
00000c2f: DUP1
00000c30: DUP1
00000c31: PUSH1 0x20
00000c33: ADD
00000c34: DUP3
00000c35: DUP2
00000c36: SUB
00000c37: DUP3
00000c38: MSTORE
00000c39: PUSH1 0x1f
00000c3b: DUP2
00000c3c: MSTORE
00000c3d: PUSH1 0x20
00000c3f: ADD
00000c40: DUP1
00000c41: PUSH32 0x4d7573742073756363656564207769746864726177696e6720746f6b656e7300
00000c62: DUP2
00000c63: MSTORE
00000c64: POP
00000c65: PUSH1 0x20
00000c67: ADD
00000c68: SWAP2
00000c69: POP
00000c6a: POP
00000c6b: PUSH1 0x40
00000c6d: MLOAD
00000c6e: DUP1
00000c6f: SWAP2
00000c70: SUB
00000c71: SWAP1
00000c72: REVERT
00000c73: JUMPDEST
00000c74: JUMPDEST
00000c75: POP
00000c76: POP
00000c77: POP
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: PUSH1 0x00
00000c7c: DUP1
00000c7d: SWAP1
00000c7e: SLOAD
00000c7f: SWAP1
00000c80: PUSH2 0x0100
00000c83: EXP
00000c84: SWAP1
00000c85: DIV
00000c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9b: AND
00000c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb1: AND
00000cb2: CALLER
00000cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc8: AND
00000cc9: EQ
00000cca: ISZERO
00000ccb: ISZERO
00000ccc: PUSH2 0x0d3d
00000ccf: JUMPI
00000cd0: PUSH1 0x40
00000cd2: MLOAD
00000cd3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cf4: DUP2
00000cf5: MSTORE
00000cf6: PUSH1 0x04
00000cf8: ADD
00000cf9: DUP1
00000cfa: DUP1
00000cfb: PUSH1 0x20
00000cfd: ADD
00000cfe: DUP3
00000cff: DUP2
00000d00: SUB
00000d01: DUP3
00000d02: MSTORE
00000d03: PUSH1 0x1a
00000d05: DUP2
00000d06: MSTORE
00000d07: PUSH1 0x20
00000d09: ADD
00000d0a: DUP1
00000d0b: PUSH32 0x4d7573742062652074686520636f6e7472616374206f776e6572000000000000
00000d2c: DUP2
00000d2d: MSTORE
00000d2e: POP
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: SWAP2
00000d33: POP
00000d34: POP
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: DUP1
00000d39: SWAP2
00000d3a: SUB
00000d3b: SWAP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: DUP1
00000d3f: PUSH1 0x01
00000d41: PUSH1 0x00
00000d43: PUSH2 0x0100
00000d46: EXP
00000d47: DUP2
00000d48: SLOAD
00000d49: DUP2
00000d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5f: MUL
00000d60: NOT
00000d61: AND
00000d62: SWAP1
00000d63: DUP4
00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d79: AND
00000d7a: MUL
00000d7b: OR
00000d7c: SWAP1
00000d7d: SSTORE
00000d7e: POP
00000d7f: POP
00000d80: JUMP
00000d81: JUMPDEST
00000d82: PUSH1 0x00
00000d84: DUP1
00000d85: SWAP1
00000d86: SLOAD
00000d87: SWAP1
00000d88: PUSH2 0x0100
00000d8b: EXP
00000d8c: SWAP1
00000d8d: DIV
00000d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da3: AND
00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db9: AND
00000dba: CALLER
00000dbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd0: AND
00000dd1: EQ
00000dd2: ISZERO
00000dd3: ISZERO
00000dd4: PUSH2 0x0e45
00000dd7: JUMPI
00000dd8: PUSH1 0x40
00000dda: MLOAD
00000ddb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x04
00000e00: ADD
00000e01: DUP1
00000e02: DUP1
00000e03: PUSH1 0x20
00000e05: ADD
00000e06: DUP3
00000e07: DUP2
00000e08: SUB
00000e09: DUP3
00000e0a: MSTORE
00000e0b: PUSH1 0x1a
00000e0d: DUP2
00000e0e: MSTORE
00000e0f: PUSH1 0x20
00000e11: ADD
00000e12: DUP1
00000e13: PUSH32 0x4d7573742062652074686520636f6e7472616374206f776e6572000000000000
00000e34: DUP2
00000e35: MSTORE
00000e36: POP
00000e37: PUSH1 0x20
00000e39: ADD
00000e3a: SWAP2
00000e3b: POP
00000e3c: POP
00000e3d: PUSH1 0x40
00000e3f: MLOAD
00000e40: DUP1
00000e41: SWAP2
00000e42: SUB
00000e43: SWAP1
00000e44: REVERT
00000e45: JUMPDEST
00000e46: DUP1
00000e47: PUSH1 0x00
00000e49: DUP1
00000e4a: PUSH2 0x0100
00000e4d: EXP
00000e4e: DUP2
00000e4f: SLOAD
00000e50: DUP2
00000e51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e66: MUL
00000e67: NOT
00000e68: AND
00000e69: SWAP1
00000e6a: DUP4
00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e80: AND
00000e81: MUL
00000e82: OR
00000e83: SWAP1
00000e84: SSTORE
00000e85: POP
00000e86: POP
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: DUP1
00000e8c: SWAP1
00000e8d: SLOAD
00000e8e: SWAP1
00000e8f: PUSH2 0x0100
00000e92: EXP
00000e93: SWAP1
00000e94: DIV
00000e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eaa: AND
00000eab: DUP2
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH1 0x00
00000eb0: DUP1
00000eb1: PUSH1 0x60
00000eb3: PUSH1 0x00
00000eb5: DUP1
00000eb6: PUSH1 0x02
00000eb8: PUSH1 0x00
00000eba: DUP13
00000ebb: PUSH1 0x00
00000ebd: NOT
00000ebe: AND
00000ebf: PUSH1 0x00
00000ec1: NOT
00000ec2: AND
00000ec3: DUP2
00000ec4: MSTORE
00000ec5: PUSH1 0x20
00000ec7: ADD
00000ec8: SWAP1
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x20
00000ecd: ADD
00000ece: PUSH1 0x00
00000ed0: KECCAK256
00000ed1: PUSH1 0x00
00000ed3: SWAP1
00000ed4: SLOAD
00000ed5: SWAP1
00000ed6: PUSH2 0x0100
00000ed9: EXP
00000eda: SWAP1
00000edb: DIV
00000edc: PUSH1 0xff
00000ede: AND
00000edf: ISZERO
00000ee0: SWAP4
00000ee1: POP
00000ee2: DUP4
00000ee3: DUP1
00000ee4: ISZERO
00000ee5: PUSH2 0x0eee
00000ee8: JUMPI
00000ee9: POP
00000eea: DUP12
00000eeb: TIMESTAMP
00000eec: GT
00000eed: ISZERO
00000eee: JUMPDEST
00000eef: SWAP4
00000ef0: POP
00000ef1: PUSH1 0x40
00000ef3: DUP1
00000ef4: MLOAD
00000ef5: SWAP1
00000ef6: DUP2
00000ef7: ADD
00000ef8: PUSH1 0x40
00000efa: MSTORE
00000efb: DUP1
00000efc: PUSH1 0x1c
00000efe: DUP2
00000eff: MSTORE
00000f00: PUSH1 0x20
00000f02: ADD
00000f03: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000f24: DUP2
00000f25: MSTORE
00000f26: POP
00000f27: SWAP3
00000f28: POP
00000f29: DUP14
00000f2a: DUP14
00000f2b: DUP14
00000f2c: DUP14
00000f2d: DUP10
00000f2e: PUSH1 0x40
00000f30: MLOAD
00000f31: PUSH1 0x20
00000f33: ADD
00000f34: DUP1
00000f35: DUP7
00000f36: DUP2
00000f37: MSTORE
00000f38: PUSH1 0x20
00000f3a: ADD
00000f3b: DUP6
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: ADD
00000f41: DUP5
00000f42: DUP2
00000f43: MSTORE
00000f44: PUSH1 0x20
00000f46: ADD
00000f47: DUP4
00000f48: PUSH1 0x00
00000f4a: NOT
00000f4b: AND
00000f4c: PUSH1 0x00
00000f4e: NOT
00000f4f: AND
00000f50: DUP2
00000f51: MSTORE
00000f52: PUSH1 0x20
00000f54: ADD
00000f55: DUP3
00000f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6b: AND
00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f81: AND
00000f82: PUSH13 0x01000000000000000000000000
00000f90: MUL
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x14
00000f95: ADD
00000f96: SWAP6
00000f97: POP
00000f98: POP
00000f99: POP
00000f9a: POP
00000f9b: POP
00000f9c: POP
00000f9d: PUSH1 0x40
00000f9f: MLOAD
00000fa0: PUSH1 0x20
00000fa2: DUP2
00000fa3: DUP4
00000fa4: SUB
00000fa5: SUB
00000fa6: DUP2
00000fa7: MSTORE
00000fa8: SWAP1
00000fa9: PUSH1 0x40
00000fab: MSTORE
00000fac: PUSH1 0x40
00000fae: MLOAD
00000faf: DUP1
00000fb0: DUP3
00000fb1: DUP1
00000fb2: MLOAD
00000fb3: SWAP1
00000fb4: PUSH1 0x20
00000fb6: ADD
00000fb7: SWAP1
00000fb8: DUP1
00000fb9: DUP4
00000fba: DUP4
00000fbb: JUMPDEST
00000fbc: PUSH1 0x20
00000fbe: DUP4
00000fbf: LT
00000fc0: ISZERO
00000fc1: ISZERO
00000fc2: PUSH2 0x0fe0
00000fc5: JUMPI
00000fc6: DUP1
00000fc7: MLOAD
00000fc8: DUP3
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: DUP3
00000fcd: ADD
00000fce: SWAP2
00000fcf: POP
00000fd0: PUSH1 0x20
00000fd2: DUP2
00000fd3: ADD
00000fd4: SWAP1
00000fd5: POP
00000fd6: PUSH1 0x20
00000fd8: DUP4
00000fd9: SUB
00000fda: SWAP3
00000fdb: POP
00000fdc: PUSH2 0x0fbb
00000fdf: JUMP
00000fe0: JUMPDEST
00000fe1: PUSH1 0x01
00000fe3: DUP4
00000fe4: PUSH1 0x20
00000fe6: SUB
00000fe7: PUSH2 0x0100
00000fea: EXP
00000feb: SUB
00000fec: DUP1
00000fed: NOT
00000fee: DUP3
00000fef: MLOAD
00000ff0: AND
00000ff1: DUP2
00000ff2: DUP5
00000ff3: MLOAD
00000ff4: AND
00000ff5: DUP1
00000ff6: DUP3
00000ff7: OR
00000ff8: DUP6
00000ff9: MSTORE
00000ffa: POP
00000ffb: POP
00000ffc: POP
00000ffd: POP
00000ffe: POP
00000fff: POP
00001000: SWAP1
00001001: POP
00001002: ADD
00001003: SWAP2
00001004: POP
00001005: POP
00001006: PUSH1 0x40
00001008: MLOAD
00001009: DUP1
0000100a: SWAP2
0000100b: SUB
0000100c: SWAP1
0000100d: KECCAK256
0000100e: SWAP2
0000100f: POP
00001010: DUP3
00001011: DUP3
00001012: PUSH1 0x40
00001014: MLOAD
00001015: PUSH1 0x20
00001017: ADD
00001018: DUP1
00001019: DUP4
0000101a: DUP1
0000101b: MLOAD
0000101c: SWAP1
0000101d: PUSH1 0x20
0000101f: ADD
00001020: SWAP1
00001021: DUP1
00001022: DUP4
00001023: DUP4
00001024: JUMPDEST
00001025: PUSH1 0x20
00001027: DUP4
00001028: LT
00001029: ISZERO
0000102a: ISZERO
0000102b: PUSH2 0x1049
0000102e: JUMPI
0000102f: DUP1
00001030: MLOAD
00001031: DUP3
00001032: MSTORE
00001033: PUSH1 0x20
00001035: DUP3
00001036: ADD
00001037: SWAP2
00001038: POP
00001039: PUSH1 0x20
0000103b: DUP2
0000103c: ADD
0000103d: SWAP1
0000103e: POP
0000103f: PUSH1 0x20
00001041: DUP4
00001042: SUB
00001043: SWAP3
00001044: POP
00001045: PUSH2 0x1024
00001048: JUMP
00001049: JUMPDEST
0000104a: PUSH1 0x01
0000104c: DUP4
0000104d: PUSH1 0x20
0000104f: SUB
00001050: PUSH2 0x0100
00001053: EXP
00001054: SUB
00001055: DUP1
00001056: NOT
00001057: DUP3
00001058: MLOAD
00001059: AND
0000105a: DUP2
0000105b: DUP5
0000105c: MLOAD
0000105d: AND
0000105e: DUP1
0000105f: DUP3
00001060: OR
00001061: DUP6
00001062: MSTORE
00001063: POP
00001064: POP
00001065: POP
00001066: POP
00001067: POP
00001068: POP
00001069: SWAP1
0000106a: POP
0000106b: ADD
0000106c: DUP3
0000106d: PUSH1 0x00
0000106f: NOT
00001070: AND
00001071: PUSH1 0x00
00001073: NOT
00001074: AND
00001075: DUP2
00001076: MSTORE
00001077: PUSH1 0x20
00001079: ADD
0000107a: SWAP3
0000107b: POP
0000107c: POP
0000107d: POP
0000107e: PUSH1 0x40
00001080: MLOAD
00001081: PUSH1 0x20
00001083: DUP2
00001084: DUP4
00001085: SUB
00001086: SUB
00001087: DUP2
00001088: MSTORE
00001089: SWAP1
0000108a: PUSH1 0x40
0000108c: MSTORE
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: DUP1
00001091: DUP3
00001092: DUP1
00001093: MLOAD
00001094: SWAP1
00001095: PUSH1 0x20
00001097: ADD
00001098: SWAP1
00001099: DUP1
0000109a: DUP4
0000109b: DUP4
0000109c: JUMPDEST
0000109d: PUSH1 0x20
0000109f: DUP4
000010a0: LT
000010a1: ISZERO
000010a2: ISZERO
000010a3: PUSH2 0x10c1
000010a6: JUMPI
000010a7: DUP1
000010a8: MLOAD
000010a9: DUP3
000010aa: MSTORE
000010ab: PUSH1 0x20
000010ad: DUP3
000010ae: ADD
000010af: SWAP2
000010b0: POP
000010b1: PUSH1 0x20
000010b3: DUP2
000010b4: ADD
000010b5: SWAP1
000010b6: POP
000010b7: PUSH1 0x20
000010b9: DUP4
000010ba: SUB
000010bb: SWAP3
000010bc: POP
000010bd: PUSH2 0x109c
000010c0: JUMP
000010c1: JUMPDEST
000010c2: PUSH1 0x01
000010c4: DUP4
000010c5: PUSH1 0x20
000010c7: SUB
000010c8: PUSH2 0x0100
000010cb: EXP
000010cc: SUB
000010cd: DUP1
000010ce: NOT
000010cf: DUP3
000010d0: MLOAD
000010d1: AND
000010d2: DUP2
000010d3: DUP5
000010d4: MLOAD
000010d5: AND
000010d6: DUP1
000010d7: DUP3
000010d8: OR
000010d9: DUP6
000010da: MSTORE
000010db: POP
000010dc: POP
000010dd: POP
000010de: POP
000010df: POP
000010e0: POP
000010e1: SWAP1
000010e2: POP
000010e3: ADD
000010e4: SWAP2
000010e5: POP
000010e6: POP
000010e7: PUSH1 0x40
000010e9: MLOAD
000010ea: DUP1
000010eb: SWAP2
000010ec: SUB
000010ed: SWAP1
000010ee: KECCAK256
000010ef: SWAP1
000010f0: POP
000010f1: DUP4
000010f2: DUP1
000010f3: ISZERO
000010f4: PUSH2 0x1104
000010f7: JUMPI
000010f8: POP
000010f9: DUP10
000010fa: PUSH1 0x00
000010fc: NOT
000010fd: AND
000010fe: DUP3
000010ff: PUSH1 0x00
00001101: NOT
00001102: AND
00001103: EQ
00001104: JUMPDEST
00001105: SWAP4
00001106: POP
00001107: DUP4
00001108: DUP1
00001109: ISZERO
0000110a: PUSH2 0x11e0
0000110d: JUMPI
0000110e: POP
0000110f: PUSH1 0x01
00001111: PUSH1 0x00
00001113: SWAP1
00001114: SLOAD
00001115: SWAP1
00001116: PUSH2 0x0100
00001119: EXP
0000111a: SWAP1
0000111b: DIV
0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001131: AND
00001132: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001147: AND
00001148: PUSH1 0x01
0000114a: DUP3
0000114b: DUP12
0000114c: DUP12
0000114d: DUP12
0000114e: PUSH1 0x40
00001150: MLOAD
00001151: PUSH1 0x00
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x20
00001157: ADD
00001158: PUSH1 0x40
0000115a: MSTORE
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: DUP1
0000115f: DUP6
00001160: PUSH1 0x00
00001162: NOT
00001163: AND
00001164: PUSH1 0x00
00001166: NOT
00001167: AND
00001168: DUP2
00001169: MSTORE
0000116a: PUSH1 0x20
0000116c: ADD
0000116d: DUP5
0000116e: PUSH1 0xff
00001170: AND
00001171: PUSH1 0xff
00001173: AND
00001174: DUP2
00001175: MSTORE
00001176: PUSH1 0x20
00001178: ADD
00001179: DUP4
0000117a: PUSH1 0x00
0000117c: NOT
0000117d: AND
0000117e: PUSH1 0x00
00001180: NOT
00001181: AND
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x20
00001186: ADD
00001187: DUP3
00001188: PUSH1 0x00
0000118a: NOT
0000118b: AND
0000118c: PUSH1 0x00
0000118e: NOT
0000118f: AND
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x20
00001194: ADD
00001195: SWAP5
00001196: POP
00001197: POP
00001198: POP
00001199: POP
0000119a: POP
0000119b: PUSH1 0x20
0000119d: PUSH1 0x40
0000119f: MLOAD
000011a0: PUSH1 0x20
000011a2: DUP2
000011a3: SUB
000011a4: SWAP1
000011a5: DUP1
000011a6: DUP5
000011a7: SUB
000011a8: SWAP1
000011a9: PUSH1 0x00
000011ab: DUP7
000011ac: GAS
000011ad: CALL
000011ae: ISZERO
000011af: DUP1
000011b0: ISZERO
000011b1: PUSH2 0x11be
000011b4: JUMPI
000011b5: RETURNDATASIZE
000011b6: PUSH1 0x00
000011b8: DUP1
000011b9: RETURNDATACOPY
000011ba: RETURNDATASIZE
000011bb: PUSH1 0x00
000011bd: REVERT
000011be: JUMPDEST
000011bf: POP
000011c0: POP
000011c1: POP
000011c2: PUSH1 0x20
000011c4: PUSH1 0x40
000011c6: MLOAD
000011c7: SUB
000011c8: MLOAD
000011c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011de: AND
000011df: EQ
000011e0: JUMPDEST
000011e1: SWAP4
000011e2: POP
000011e3: DUP4
000011e4: SWAP5
000011e5: POP
000011e6: POP
000011e7: POP
000011e8: POP
000011e9: POP
000011ea: SWAP10
000011eb: SWAP9
000011ec: POP
000011ed: POP
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: POP
000011f3: POP
000011f4: POP
000011f5: JUMP
000011f6: JUMPDEST
000011f7: PUSH1 0x00
000011f9: DUP1
000011fa: DUP3
000011fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001210: AND
00001211: EQ
00001212: ISZERO
00001213: PUSH2 0x12a0
00001216: JUMPI
00001217: PUSH2 0x1227
0000121a: CALLVALUE
0000121b: DUP11
0000121c: DUP11
0000121d: DUP11
0000121e: DUP11
0000121f: DUP11
00001220: DUP11
00001221: DUP11
00001222: DUP11
00001223: PUSH2 0x0473
00001226: JUMP
00001227: JUMPDEST
00001228: ISZERO
00001229: ISZERO
0000122a: PUSH2 0x129b
0000122d: JUMPI
0000122e: PUSH1 0x40
00001230: MLOAD
00001231: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001252: DUP2
00001253: MSTORE
00001254: PUSH1 0x04
00001256: ADD
00001257: DUP1
00001258: DUP1
00001259: PUSH1 0x20
0000125b: ADD
0000125c: DUP3
0000125d: DUP2
0000125e: SUB
0000125f: DUP3
00001260: MSTORE
00001261: PUSH1 0x1a
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x20
00001267: ADD
00001268: DUP1
00001269: PUSH32 0x4f6e6c79206163636570742076616c6964207061796d656e7473000000000000
0000128a: DUP2
0000128b: MSTORE
0000128c: POP
0000128d: PUSH1 0x20
0000128f: ADD
00001290: SWAP2
00001291: POP
00001292: POP
00001293: PUSH1 0x40
00001295: MLOAD
00001296: DUP1
00001297: SWAP2
00001298: SUB
00001299: SWAP1
0000129a: REVERT
0000129b: JUMPDEST
0000129c: PUSH2 0x154b
0000129f: JUMP
000012a0: JUMPDEST
000012a1: DUP2
000012a2: SWAP1
000012a3: POP
000012a4: DUP10
000012a5: DUP2
000012a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012bb: AND
000012bc: PUSH4 0xdd62ed3e
000012c1: CALLER
000012c2: ADDRESS
000012c3: PUSH1 0x40
000012c5: MLOAD
000012c6: DUP4
000012c7: PUSH4 0xffffffff
000012cc: AND
000012cd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000012eb: MUL
000012ec: DUP2
000012ed: MSTORE
000012ee: PUSH1 0x04
000012f0: ADD
000012f1: DUP1
000012f2: DUP4
000012f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001308: AND
00001309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131e: AND
0000131f: DUP2
00001320: MSTORE
00001321: PUSH1 0x20
00001323: ADD
00001324: DUP3
00001325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133a: AND
0000133b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001350: AND
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: ADD
00001356: SWAP3
00001357: POP
00001358: POP
00001359: POP
0000135a: PUSH1 0x20
0000135c: PUSH1 0x40
0000135e: MLOAD
0000135f: DUP1
00001360: DUP4
00001361: SUB
00001362: DUP2
00001363: PUSH1 0x00
00001365: DUP8
00001366: DUP1
00001367: EXTCODESIZE
00001368: ISZERO
00001369: DUP1
0000136a: ISZERO
0000136b: PUSH2 0x1373
0000136e: JUMPI
0000136f: PUSH1 0x00
00001371: DUP1
00001372: REVERT
00001373: JUMPDEST
00001374: POP
00001375: GAS
00001376: CALL
00001377: ISZERO
00001378: DUP1
00001379: ISZERO
0000137a: PUSH2 0x1387
0000137d: JUMPI
0000137e: RETURNDATASIZE
0000137f: PUSH1 0x00
00001381: DUP1
00001382: RETURNDATACOPY
00001383: RETURNDATASIZE
00001384: PUSH1 0x00
00001386: REVERT
00001387: JUMPDEST
00001388: POP
00001389: POP
0000138a: POP
0000138b: POP
0000138c: PUSH1 0x40
0000138e: MLOAD
0000138f: RETURNDATASIZE
00001390: PUSH1 0x20
00001392: DUP2
00001393: LT
00001394: ISZERO
00001395: PUSH2 0x139d
00001398: JUMPI
00001399: PUSH1 0x00
0000139b: DUP1
0000139c: REVERT
0000139d: JUMPDEST
0000139e: DUP2
0000139f: ADD
000013a0: SWAP1
000013a1: DUP1
000013a2: DUP1
000013a3: MLOAD
000013a4: SWAP1
000013a5: PUSH1 0x20
000013a7: ADD
000013a8: SWAP1
000013a9: SWAP3
000013aa: SWAP2
000013ab: SWAP1
000013ac: POP
000013ad: POP
000013ae: POP
000013af: LT
000013b0: ISZERO
000013b1: ISZERO
000013b2: ISZERO
000013b3: PUSH2 0x1424
000013b6: JUMPI
000013b7: PUSH1 0x40
000013b9: MLOAD
000013ba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013db: DUP2
000013dc: MSTORE
000013dd: PUSH1 0x04
000013df: ADD
000013e0: DUP1
000013e1: DUP1
000013e2: PUSH1 0x20
000013e4: ADD
000013e5: DUP3
000013e6: DUP2
000013e7: SUB
000013e8: DUP3
000013e9: MSTORE
000013ea: PUSH1 0x1e
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: DUP1
000013f2: PUSH32 0x4d757374206861766520656e6f75676820746f6b656e7320746f207061790000
00001413: DUP2
00001414: MSTORE
00001415: POP
00001416: PUSH1 0x20
00001418: ADD
00001419: SWAP2
0000141a: POP
0000141b: POP
0000141c: PUSH1 0x40
0000141e: MLOAD
0000141f: DUP1
00001420: SWAP2
00001421: SUB
00001422: SWAP1
00001423: REVERT
00001424: JUMPDEST
00001425: PUSH2 0x1435
00001428: DUP11
00001429: DUP11
0000142a: DUP11
0000142b: DUP11
0000142c: DUP11
0000142d: DUP11
0000142e: DUP11
0000142f: DUP11
00001430: DUP11
00001431: PUSH2 0x0473
00001434: JUMP
00001435: JUMPDEST
00001436: ISZERO
00001437: ISZERO
00001438: PUSH2 0x14a9
0000143b: JUMPI
0000143c: PUSH1 0x40
0000143e: MLOAD
0000143f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001460: DUP2
00001461: MSTORE
00001462: PUSH1 0x04
00001464: ADD
00001465: DUP1
00001466: DUP1
00001467: PUSH1 0x20
00001469: ADD
0000146a: DUP3
0000146b: DUP2
0000146c: SUB
0000146d: DUP3
0000146e: MSTORE
0000146f: PUSH1 0x1a
00001471: DUP2
00001472: MSTORE
00001473: PUSH1 0x20
00001475: ADD
00001476: DUP1
00001477: PUSH32 0x4f6e6c79206163636570742076616c6964207061796d656e7473000000000000
00001498: DUP2
00001499: MSTORE
0000149a: POP
0000149b: PUSH1 0x20
0000149d: ADD
0000149e: SWAP2
0000149f: POP
000014a0: POP
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: DUP1
000014a5: SWAP2
000014a6: SUB
000014a7: SWAP1
000014a8: REVERT
000014a9: JUMPDEST
000014aa: PUSH2 0x14d6
000014ad: CALLER
000014ae: ADDRESS
000014af: DUP13
000014b0: DUP5
000014b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c6: AND
000014c7: PUSH2 0x1946
000014ca: SWAP1
000014cb: SWAP4
000014cc: SWAP3
000014cd: SWAP2
000014ce: SWAP1
000014cf: PUSH4 0xffffffff
000014d4: AND
000014d5: JUMP
000014d6: JUMPDEST
000014d7: ISZERO
000014d8: ISZERO
000014d9: PUSH2 0x154a
000014dc: JUMPI
000014dd: PUSH1 0x40
000014df: MLOAD
000014e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001501: DUP2
00001502: MSTORE
00001503: PUSH1 0x04
00001505: ADD
00001506: DUP1
00001507: DUP1
00001508: PUSH1 0x20
0000150a: ADD
0000150b: DUP3
0000150c: DUP2
0000150d: SUB
0000150e: DUP3
0000150f: MSTORE
00001510: PUSH1 0x15
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x20
00001516: ADD
00001517: DUP1
00001518: PUSH32 0x5472616e73666572206d75737420737563636565640000000000000000000000
00001539: DUP2
0000153a: MSTORE
0000153b: POP
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: SWAP2
00001540: POP
00001541: POP
00001542: PUSH1 0x40
00001544: MLOAD
00001545: DUP1
00001546: SWAP2
00001547: SUB
00001548: SWAP1
00001549: REVERT
0000154a: JUMPDEST
0000154b: JUMPDEST
0000154c: PUSH1 0x01
0000154e: PUSH1 0x02
00001550: PUSH1 0x00
00001552: DUP10
00001553: PUSH1 0x00
00001555: NOT
00001556: AND
00001557: PUSH1 0x00
00001559: NOT
0000155a: AND
0000155b: DUP2
0000155c: MSTORE
0000155d: PUSH1 0x20
0000155f: ADD
00001560: SWAP1
00001561: DUP2
00001562: MSTORE
00001563: PUSH1 0x20
00001565: ADD
00001566: PUSH1 0x00
00001568: KECCAK256
00001569: PUSH1 0x00
0000156b: PUSH2 0x0100
0000156e: EXP
0000156f: DUP2
00001570: SLOAD
00001571: DUP2
00001572: PUSH1 0xff
00001574: MUL
00001575: NOT
00001576: AND
00001577: SWAP1
00001578: DUP4
00001579: ISZERO
0000157a: ISZERO
0000157b: MUL
0000157c: OR
0000157d: SWAP1
0000157e: SSTORE
0000157f: POP
00001580: DUP2
00001581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001596: AND
00001597: DUP7
00001598: PUSH1 0x00
0000159a: NOT
0000159b: AND
0000159c: PUSH32 0x826e7792f434a28ba302e6767da85b4b8e56b83a5e028687f30e848e32667f95
000015bd: TIMESTAMP
000015be: DUP14
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: DUP1
000015c3: DUP4
000015c4: DUP2
000015c5: MSTORE
000015c6: PUSH1 0x20
000015c8: ADD
000015c9: DUP3
000015ca: DUP2
000015cb: MSTORE
000015cc: PUSH1 0x20
000015ce: ADD
000015cf: SWAP3
000015d0: POP
000015d1: POP
000015d2: POP
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: SWAP2
000015d8: SUB
000015d9: SWAP1
000015da: LOG3
000015db: POP
000015dc: POP
000015dd: POP
000015de: POP
000015df: POP
000015e0: POP
000015e1: POP
000015e2: POP
000015e3: POP
000015e4: POP
000015e5: JUMP
000015e6: JUMPDEST
000015e7: PUSH1 0x01
000015e9: PUSH1 0x00
000015eb: SWAP1
000015ec: SLOAD
000015ed: SWAP1
000015ee: PUSH2 0x0100
000015f1: EXP
000015f2: SWAP1
000015f3: DIV
000015f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001609: AND
0000160a: DUP2
0000160b: JUMP
0000160c: JUMPDEST
0000160d: PUSH1 0x02
0000160f: PUSH1 0x20
00001611: MSTORE
00001612: DUP1
00001613: PUSH1 0x00
00001615: MSTORE
00001616: PUSH1 0x40
00001618: PUSH1 0x00
0000161a: KECCAK256
0000161b: PUSH1 0x00
0000161d: SWAP2
0000161e: POP
0000161f: SLOAD
00001620: SWAP1
00001621: PUSH2 0x0100
00001624: EXP
00001625: SWAP1
00001626: DIV
00001627: PUSH1 0xff
00001629: AND
0000162a: DUP2
0000162b: JUMP
0000162c: JUMPDEST
0000162d: PUSH1 0x00
0000162f: DUP1
00001630: DUP5
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: PUSH4 0x70a08231
0000164c: ADDRESS
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: DUP3
00001651: PUSH4 0xffffffff
00001656: AND
00001657: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001675: MUL
00001676: DUP2
00001677: MSTORE
00001678: PUSH1 0x04
0000167a: ADD
0000167b: DUP1
0000167c: DUP3
0000167d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001692: AND
00001693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a8: AND
000016a9: DUP2
000016aa: MSTORE
000016ab: PUSH1 0x20
000016ad: ADD
000016ae: SWAP2
000016af: POP
000016b0: POP
000016b1: PUSH1 0x20
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: DUP1
000016b7: DUP4
000016b8: SUB
000016b9: DUP2
000016ba: PUSH1 0x00
000016bc: DUP8
000016bd: DUP1
000016be: EXTCODESIZE
000016bf: ISZERO
000016c0: DUP1
000016c1: ISZERO
000016c2: PUSH2 0x16ca
000016c5: JUMPI
000016c6: PUSH1 0x00
000016c8: DUP1
000016c9: REVERT
000016ca: JUMPDEST
000016cb: POP
000016cc: GAS
000016cd: CALL
000016ce: ISZERO
000016cf: DUP1
000016d0: ISZERO
000016d1: PUSH2 0x16de
000016d4: JUMPI
000016d5: RETURNDATASIZE
000016d6: PUSH1 0x00
000016d8: DUP1
000016d9: RETURNDATACOPY
000016da: RETURNDATASIZE
000016db: PUSH1 0x00
000016dd: REVERT
000016de: JUMPDEST
000016df: POP
000016e0: POP
000016e1: POP
000016e2: POP
000016e3: PUSH1 0x40
000016e5: MLOAD
000016e6: RETURNDATASIZE
000016e7: PUSH1 0x20
000016e9: DUP2
000016ea: LT
000016eb: ISZERO
000016ec: PUSH2 0x16f4
000016ef: JUMPI
000016f0: PUSH1 0x00
000016f2: DUP1
000016f3: REVERT
000016f4: JUMPDEST
000016f5: DUP2
000016f6: ADD
000016f7: SWAP1
000016f8: DUP1
000016f9: DUP1
000016fa: MLOAD
000016fb: SWAP1
000016fc: PUSH1 0x20
000016fe: ADD
000016ff: SWAP1
00001700: SWAP3
00001701: SWAP2
00001702: SWAP1
00001703: POP
00001704: POP
00001705: POP
00001706: SWAP1
00001707: POP
00001708: DUP3
00001709: DUP2
0000170a: LT
0000170b: ISZERO
0000170c: PUSH2 0x1718
0000170f: JUMPI
00001710: PUSH1 0x00
00001712: SWAP2
00001713: POP
00001714: PUSH2 0x193e
00001717: JUMP
00001718: JUMPDEST
00001719: DUP5
0000171a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172f: AND
00001730: DUP5
00001731: DUP5
00001732: PUSH1 0x40
00001734: MLOAD
00001735: PUSH1 0x24
00001737: ADD
00001738: DUP1
00001739: DUP4
0000173a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174f: AND
00001750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001765: AND
00001766: DUP2
00001767: MSTORE
00001768: PUSH1 0x20
0000176a: ADD
0000176b: DUP3
0000176c: DUP2
0000176d: MSTORE
0000176e: PUSH1 0x20
00001770: ADD
00001771: SWAP3
00001772: POP
00001773: POP
00001774: POP
00001775: PUSH1 0x40
00001777: MLOAD
00001778: PUSH1 0x20
0000177a: DUP2
0000177b: DUP4
0000177c: SUB
0000177d: SUB
0000177e: DUP2
0000177f: MSTORE
00001780: SWAP1
00001781: PUSH1 0x40
00001783: MSTORE
00001784: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000017a5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000017c2: NOT
000017c3: AND
000017c4: PUSH1 0x20
000017c6: DUP3
000017c7: ADD
000017c8: DUP1
000017c9: MLOAD
000017ca: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000017e7: DUP4
000017e8: DUP2
000017e9: DUP4
000017ea: AND
000017eb: OR
000017ec: DUP4
000017ed: MSTORE
000017ee: POP
000017ef: POP
000017f0: POP
000017f1: POP
000017f2: PUSH1 0x40
000017f4: MLOAD
000017f5: DUP1
000017f6: DUP3
000017f7: DUP1
000017f8: MLOAD
000017f9: SWAP1
000017fa: PUSH1 0x20
000017fc: ADD
000017fd: SWAP1
000017fe: DUP1
000017ff: DUP4
00001800: DUP4
00001801: PUSH1 0x00
00001803: JUMPDEST
00001804: DUP4
00001805: DUP2
00001806: LT
00001807: ISZERO
00001808: PUSH2 0x181e
0000180b: JUMPI
0000180c: DUP1
0000180d: DUP3
0000180e: ADD
0000180f: MLOAD
00001810: DUP2
00001811: DUP5
00001812: ADD
00001813: MSTORE
00001814: PUSH1 0x20
00001816: DUP2
00001817: ADD
00001818: SWAP1
00001819: POP
0000181a: PUSH2 0x1803
0000181d: JUMP
0000181e: JUMPDEST
0000181f: POP
00001820: POP
00001821: POP
00001822: POP
00001823: SWAP1
00001824: POP
00001825: SWAP1
00001826: DUP2
00001827: ADD
00001828: SWAP1
00001829: PUSH1 0x1f
0000182b: AND
0000182c: DUP1
0000182d: ISZERO
0000182e: PUSH2 0x184b
00001831: JUMPI
00001832: DUP1
00001833: DUP3
00001834: SUB
00001835: DUP1
00001836: MLOAD
00001837: PUSH1 0x01
00001839: DUP4
0000183a: PUSH1 0x20
0000183c: SUB
0000183d: PUSH2 0x0100
00001840: EXP
00001841: SUB
00001842: NOT
00001843: AND
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x20
00001848: ADD
00001849: SWAP2
0000184a: POP
0000184b: JUMPDEST
0000184c: POP
0000184d: SWAP2
0000184e: POP
0000184f: POP
00001850: PUSH1 0x00
00001852: PUSH1 0x40
00001854: MLOAD
00001855: DUP1
00001856: DUP4
00001857: SUB
00001858: DUP2
00001859: PUSH1 0x00
0000185b: DUP7
0000185c: GAS
0000185d: CALL
0000185e: SWAP2
0000185f: POP
00001860: POP
00001861: POP
00001862: DUP5
00001863: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001878: AND
00001879: PUSH4 0x70a08231
0000187e: ADDRESS
0000187f: PUSH1 0x40
00001881: MLOAD
00001882: DUP3
00001883: PUSH4 0xffffffff
00001888: AND
00001889: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000018a7: MUL
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x04
000018ac: ADD
000018ad: DUP1
000018ae: DUP3
000018af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c4: AND
000018c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018da: AND
000018db: DUP2
000018dc: MSTORE
000018dd: PUSH1 0x20
000018df: ADD
000018e0: SWAP2
000018e1: POP
000018e2: POP
000018e3: PUSH1 0x20
000018e5: PUSH1 0x40
000018e7: MLOAD
000018e8: DUP1
000018e9: DUP4
000018ea: SUB
000018eb: DUP2
000018ec: PUSH1 0x00
000018ee: DUP8
000018ef: DUP1
000018f0: EXTCODESIZE
000018f1: ISZERO
000018f2: DUP1
000018f3: ISZERO
000018f4: PUSH2 0x18fc
000018f7: JUMPI
000018f8: PUSH1 0x00
000018fa: DUP1
000018fb: REVERT
000018fc: JUMPDEST
000018fd: POP
000018fe: GAS
000018ff: CALL
00001900: ISZERO
00001901: DUP1
00001902: ISZERO
00001903: PUSH2 0x1910
00001906: JUMPI
00001907: RETURNDATASIZE
00001908: PUSH1 0x00
0000190a: DUP1
0000190b: RETURNDATACOPY
0000190c: RETURNDATASIZE
0000190d: PUSH1 0x00
0000190f: REVERT
00001910: JUMPDEST
00001911: POP
00001912: POP
00001913: POP
00001914: POP
00001915: PUSH1 0x40
00001917: MLOAD
00001918: RETURNDATASIZE
00001919: PUSH1 0x20
0000191b: DUP2
0000191c: LT
0000191d: ISZERO
0000191e: PUSH2 0x1926
00001921: JUMPI
00001922: PUSH1 0x00
00001924: DUP1
00001925: REVERT
00001926: JUMPDEST
00001927: DUP2
00001928: ADD
00001929: SWAP1
0000192a: DUP1
0000192b: DUP1
0000192c: MLOAD
0000192d: SWAP1
0000192e: PUSH1 0x20
00001930: ADD
00001931: SWAP1
00001932: SWAP3
00001933: SWAP2
00001934: SWAP1
00001935: POP
00001936: POP
00001937: POP
00001938: DUP4
00001939: DUP3
0000193a: SUB
0000193b: EQ
0000193c: SWAP2
0000193d: POP
0000193e: JUMPDEST
0000193f: POP
00001940: SWAP4
00001941: SWAP3
00001942: POP
00001943: POP
00001944: POP
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH1 0x00
00001949: DUP1
0000194a: DUP6
0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001960: AND
00001961: PUSH4 0x70a08231
00001966: DUP7
00001967: PUSH1 0x40
00001969: MLOAD
0000196a: DUP3
0000196b: PUSH4 0xffffffff
00001970: AND
00001971: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000198f: MUL
00001990: DUP2
00001991: MSTORE
00001992: PUSH1 0x04
00001994: ADD
00001995: DUP1
00001996: DUP3
00001997: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ac: AND
000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c2: AND
000019c3: DUP2
000019c4: MSTORE
000019c5: PUSH1 0x20
000019c7: ADD
000019c8: SWAP2
000019c9: POP
000019ca: POP
000019cb: PUSH1 0x20
000019cd: PUSH1 0x40
000019cf: MLOAD
000019d0: DUP1
000019d1: DUP4
000019d2: SUB
000019d3: DUP2
000019d4: PUSH1 0x00
000019d6: DUP8
000019d7: DUP1
000019d8: EXTCODESIZE
000019d9: ISZERO
000019da: DUP1
000019db: ISZERO
000019dc: PUSH2 0x19e4
000019df: JUMPI
000019e0: PUSH1 0x00
000019e2: DUP1
000019e3: REVERT
000019e4: JUMPDEST
000019e5: POP
000019e6: GAS
000019e7: CALL
000019e8: ISZERO
000019e9: DUP1
000019ea: ISZERO
000019eb: PUSH2 0x19f8
000019ee: JUMPI
000019ef: RETURNDATASIZE
000019f0: PUSH1 0x00
000019f2: DUP1
000019f3: RETURNDATACOPY
000019f4: RETURNDATASIZE
000019f5: PUSH1 0x00
000019f7: REVERT
000019f8: JUMPDEST
000019f9: POP
000019fa: POP
000019fb: POP
000019fc: POP
000019fd: PUSH1 0x40
000019ff: MLOAD
00001a00: RETURNDATASIZE
00001a01: PUSH1 0x20
00001a03: DUP2
00001a04: LT
00001a05: ISZERO
00001a06: PUSH2 0x1a0e
00001a09: JUMPI
00001a0a: PUSH1 0x00
00001a0c: DUP1
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: DUP2
00001a10: ADD
00001a11: SWAP1
00001a12: DUP1
00001a13: DUP1
00001a14: MLOAD
00001a15: SWAP1
00001a16: PUSH1 0x20
00001a18: ADD
00001a19: SWAP1
00001a1a: SWAP3
00001a1b: SWAP2
00001a1c: SWAP1
00001a1d: POP
00001a1e: POP
00001a1f: POP
00001a20: SWAP1
00001a21: POP
00001a22: DUP3
00001a23: DUP2
00001a24: LT
00001a25: DUP1
00001a26: PUSH2 0x1b37
00001a29: JUMPI
00001a2a: POP
00001a2b: DUP3
00001a2c: DUP7
00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a42: AND
00001a43: PUSH4 0xdd62ed3e
00001a48: DUP8
00001a49: ADDRESS
00001a4a: PUSH1 0x40
00001a4c: MLOAD
00001a4d: DUP4
00001a4e: PUSH4 0xffffffff
00001a53: AND
00001a54: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001a72: MUL
00001a73: DUP2
00001a74: MSTORE
00001a75: PUSH1 0x04
00001a77: ADD
00001a78: DUP1
00001a79: DUP4
00001a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8f: AND
00001a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa5: AND
00001aa6: DUP2
00001aa7: MSTORE
00001aa8: PUSH1 0x20
00001aaa: ADD
00001aab: DUP3
00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac1: AND
00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad7: AND
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: SWAP3
00001ade: POP
00001adf: POP
00001ae0: POP
00001ae1: PUSH1 0x20
00001ae3: PUSH1 0x40
00001ae5: MLOAD
00001ae6: DUP1
00001ae7: DUP4
00001ae8: SUB
00001ae9: DUP2
00001aea: PUSH1 0x00
00001aec: DUP8
00001aed: DUP1
00001aee: EXTCODESIZE
00001aef: ISZERO
00001af0: DUP1
00001af1: ISZERO
00001af2: PUSH2 0x1afa
00001af5: JUMPI
00001af6: PUSH1 0x00
00001af8: DUP1
00001af9: REVERT
00001afa: JUMPDEST
00001afb: POP
00001afc: GAS
00001afd: CALL
00001afe: ISZERO
00001aff: DUP1
00001b00: ISZERO
00001b01: PUSH2 0x1b0e
00001b04: JUMPI
00001b05: RETURNDATASIZE
00001b06: PUSH1 0x00
00001b08: DUP1
00001b09: RETURNDATACOPY
00001b0a: RETURNDATASIZE
00001b0b: PUSH1 0x00
00001b0d: REVERT
00001b0e: JUMPDEST
00001b0f: POP
00001b10: POP
00001b11: POP
00001b12: POP
00001b13: PUSH1 0x40
00001b15: MLOAD
00001b16: RETURNDATASIZE
00001b17: PUSH1 0x20
00001b19: DUP2
00001b1a: LT
00001b1b: ISZERO
00001b1c: PUSH2 0x1b24
00001b1f: JUMPI
00001b20: PUSH1 0x00
00001b22: DUP1
00001b23: REVERT
00001b24: JUMPDEST
00001b25: DUP2
00001b26: ADD
00001b27: SWAP1
00001b28: DUP1
00001b29: DUP1
00001b2a: MLOAD
00001b2b: SWAP1
00001b2c: PUSH1 0x20
00001b2e: ADD
00001b2f: SWAP1
00001b30: SWAP3
00001b31: SWAP2
00001b32: SWAP1
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: LT
00001b37: JUMPDEST
00001b38: ISZERO
00001b39: PUSH2 0x1b45
00001b3c: JUMPI
00001b3d: PUSH1 0x00
00001b3f: SWAP2
00001b40: POP
00001b41: PUSH2 0x1d9f
00001b44: JUMP
00001b45: JUMPDEST
00001b46: DUP6
00001b47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5c: AND
00001b5d: DUP6
00001b5e: DUP6
00001b5f: DUP6
00001b60: PUSH1 0x40
00001b62: MLOAD
00001b63: PUSH1 0x24
00001b65: ADD
00001b66: DUP1
00001b67: DUP5
00001b68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7d: AND
00001b7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b93: AND
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x20
00001b98: ADD
00001b99: DUP4
00001b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001baf: AND
00001bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc5: AND
00001bc6: DUP2
00001bc7: MSTORE
00001bc8: PUSH1 0x20
00001bca: ADD
00001bcb: DUP3
00001bcc: DUP2
00001bcd: MSTORE
00001bce: PUSH1 0x20
00001bd0: ADD
00001bd1: SWAP4
00001bd2: POP
00001bd3: POP
00001bd4: POP
00001bd5: POP
00001bd6: PUSH1 0x40
00001bd8: MLOAD
00001bd9: PUSH1 0x20
00001bdb: DUP2
00001bdc: DUP4
00001bdd: SUB
00001bde: SUB
00001bdf: DUP2
00001be0: MSTORE
00001be1: SWAP1
00001be2: PUSH1 0x40
00001be4: MSTORE
00001be5: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001c06: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c23: NOT
00001c24: AND
00001c25: PUSH1 0x20
00001c27: DUP3
00001c28: ADD
00001c29: DUP1
00001c2a: MLOAD
00001c2b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c48: DUP4
00001c49: DUP2
00001c4a: DUP4
00001c4b: AND
00001c4c: OR
00001c4d: DUP4
00001c4e: MSTORE
00001c4f: POP
00001c50: POP
00001c51: POP
00001c52: POP
00001c53: PUSH1 0x40
00001c55: MLOAD
00001c56: DUP1
00001c57: DUP3
00001c58: DUP1
00001c59: MLOAD
00001c5a: SWAP1
00001c5b: PUSH1 0x20
00001c5d: ADD
00001c5e: SWAP1
00001c5f: DUP1
00001c60: DUP4
00001c61: DUP4
00001c62: PUSH1 0x00
00001c64: JUMPDEST
00001c65: DUP4
00001c66: DUP2
00001c67: LT
00001c68: ISZERO
00001c69: PUSH2 0x1c7f
00001c6c: JUMPI
00001c6d: DUP1
00001c6e: DUP3
00001c6f: ADD
00001c70: MLOAD
00001c71: DUP2
00001c72: DUP5
00001c73: ADD
00001c74: MSTORE
00001c75: PUSH1 0x20
00001c77: DUP2
00001c78: ADD
00001c79: SWAP1
00001c7a: POP
00001c7b: PUSH2 0x1c64
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: POP
00001c81: POP
00001c82: POP
00001c83: POP
00001c84: SWAP1
00001c85: POP
00001c86: SWAP1
00001c87: DUP2
00001c88: ADD
00001c89: SWAP1
00001c8a: PUSH1 0x1f
00001c8c: AND
00001c8d: DUP1
00001c8e: ISZERO
00001c8f: PUSH2 0x1cac
00001c92: JUMPI
00001c93: DUP1
00001c94: DUP3
00001c95: SUB
00001c96: DUP1
00001c97: MLOAD
00001c98: PUSH1 0x01
00001c9a: DUP4
00001c9b: PUSH1 0x20
00001c9d: SUB
00001c9e: PUSH2 0x0100
00001ca1: EXP
00001ca2: SUB
00001ca3: NOT
00001ca4: AND
00001ca5: DUP2
00001ca6: MSTORE
00001ca7: PUSH1 0x20
00001ca9: ADD
00001caa: SWAP2
00001cab: POP
00001cac: JUMPDEST
00001cad: POP
00001cae: SWAP2
00001caf: POP
00001cb0: POP
00001cb1: PUSH1 0x00
00001cb3: PUSH1 0x40
00001cb5: MLOAD
00001cb6: DUP1
00001cb7: DUP4
00001cb8: SUB
00001cb9: DUP2
00001cba: PUSH1 0x00
00001cbc: DUP7
00001cbd: GAS
00001cbe: CALL
00001cbf: SWAP2
00001cc0: POP
00001cc1: POP
00001cc2: POP
00001cc3: DUP6
00001cc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd9: AND
00001cda: PUSH4 0x70a08231
00001cdf: DUP7
00001ce0: PUSH1 0x40
00001ce2: MLOAD
00001ce3: DUP3
00001ce4: PUSH4 0xffffffff
00001ce9: AND
00001cea: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001d08: MUL
00001d09: DUP2
00001d0a: MSTORE
00001d0b: PUSH1 0x04
00001d0d: ADD
00001d0e: DUP1
00001d0f: DUP3
00001d10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d25: AND
00001d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3b: AND
00001d3c: DUP2
00001d3d: MSTORE
00001d3e: PUSH1 0x20
00001d40: ADD
00001d41: SWAP2
00001d42: POP
00001d43: POP
00001d44: PUSH1 0x20
00001d46: PUSH1 0x40
00001d48: MLOAD
00001d49: DUP1
00001d4a: DUP4
00001d4b: SUB
00001d4c: DUP2
00001d4d: PUSH1 0x00
00001d4f: DUP8
00001d50: DUP1
00001d51: EXTCODESIZE
00001d52: ISZERO
00001d53: DUP1
00001d54: ISZERO
00001d55: PUSH2 0x1d5d
00001d58: JUMPI
00001d59: PUSH1 0x00
00001d5b: DUP1
00001d5c: REVERT
00001d5d: JUMPDEST
00001d5e: POP
00001d5f: GAS
00001d60: CALL
00001d61: ISZERO
00001d62: DUP1
00001d63: ISZERO
00001d64: PUSH2 0x1d71
00001d67: JUMPI
00001d68: RETURNDATASIZE
00001d69: PUSH1 0x00
00001d6b: DUP1
00001d6c: RETURNDATACOPY
00001d6d: RETURNDATASIZE
00001d6e: PUSH1 0x00
00001d70: REVERT
00001d71: JUMPDEST
00001d72: POP
00001d73: POP
00001d74: POP
00001d75: POP
00001d76: PUSH1 0x40
00001d78: MLOAD
00001d79: RETURNDATASIZE
00001d7a: PUSH1 0x20
00001d7c: DUP2
00001d7d: LT
00001d7e: ISZERO
00001d7f: PUSH2 0x1d87
00001d82: JUMPI
00001d83: PUSH1 0x00
00001d85: DUP1
00001d86: REVERT
00001d87: JUMPDEST
00001d88: DUP2
00001d89: ADD
00001d8a: SWAP1
00001d8b: DUP1
00001d8c: DUP1
00001d8d: MLOAD
00001d8e: SWAP1
00001d8f: PUSH1 0x20
00001d91: ADD
00001d92: SWAP1
00001d93: SWAP3
00001d94: SWAP2
00001d95: SWAP1
00001d96: POP
00001d97: POP
00001d98: POP
00001d99: DUP4
00001d9a: DUP3
00001d9b: SUB
00001d9c: EQ
00001d9d: SWAP2
00001d9e: POP
00001d9f: JUMPDEST
00001da0: POP
00001da1: SWAP5
00001da2: SWAP4
00001da3: POP
00001da4: POP
00001da5: POP
00001da6: POP
00001da7: JUMP
00001da8: STOP
00001da9: LOG1
00001daa: PUSH6 0x627a7a723058
00001db1: KECCAK256
00001db2: DUP5
00001db3: UNKNOWN(0xEA)
00001db4: DUP12
00001db5: UNKNOWN(0x0F)
00001db6: UNKNOWN(0xC7)
00001db7: ADDMOD
00001db8: UNKNOWN(0xD3)
00001db9: DUP5
00001dba: AND
00001dbb: EXTCODESIZE
00001dbc: UNKNOWN(0x21)
00001dbd: PUSH28