Analysis Run

[codex:671032] OpenAI Codex v0.77.0 (research preview)
[codex:671032] --------
[codex:671032] workdir: /tmp/codex-multi-pp2q3225
[codex:671032] model: gpt-5.2-codex
[codex:671032] provider: openai
[codex:671032] approval: never
[codex:671032] sandbox: read-only
[codex:671032] reasoning effort: xhigh
[codex:671032] reasoning summaries: auto
[codex:671032] session id: 019b7aa3-3d54-7610-bce0-d75e614c40a7
[codex:671032] --------
[codex:671032] user
[codex:671032] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:671032] 
[codex:671032] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:671032] 
[codex:671032] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:671032] - Gas inefficiency, code quality, naming, or best practices
[codex:671032] - Theoretical vulnerabilities without a clear extraction path
[codex:671032] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:671032] - Front-running unless it enables theft beyond MEV
[codex:671032] - DoS, griefing, or issues that don't result in attacker profit
[codex:671032] - Missing events, view function issues, or informational findings
[codex:671032] 
[codex:671032] HIGH-VALUE PATTERNS TO HUNT:
[codex:671032] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:671032] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:671032] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:671032] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:671032] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:671032] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:671032] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:671032] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:671032] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:671032] 
[codex:671032] For each finding, you MUST provide:
[codex:671032] 1. Exact file and line numbers of vulnerable code
[codex:671032] 2. Step-by-step exploit transaction sequence
[codex:671032] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:671032] 
[codex:671032] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:671032] 
[codex:671032] Output MUST be valid JSON matching the provided schema.
[codex:671032] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:671032] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:671032] mcp startup: no servers
[codex:671032] 
[codex:671032] thinking
[codex:671032] **Preparing to read AUDIT_BUNDLE.txt**
[codex:671032] exec
[codex:671032] /bin/bash -lc ls in /tmp/codex-multi-pp2q3225 succeeded in 5ms:
[codex:671032] AUDIT_BUNDLE.txt
[codex:671032] codex-output-schema.json
[codex:671032] contracts
[codex:671032] 
[codex:671032] thinking
[codex:671032] **Reading AUDIT_BUNDLE.txt**
[codex:671032] exec
[codex:671032] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-pp2q3225 succeeded in 5ms:
[codex:671032] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:671032] 
[codex:671032] ================================================================================
[codex:671032] FILE: contracts/Contract.sol
[codex:671032] ================================================================================
[codex:671032] // File: @openzeppelin/contracts/utils/Strings.sol
[codex:671032] 
[codex:671032] 
[codex:671032] // OpenZeppelin Contracts v4.4.1 (utils/Strings.sol)
[codex:671032] 
[codex:671032] pragma solidity ^0.8.0;
[codex:671032] 
[codex:671032] /**
[codex:671032]  * @dev String operations.
[codex:671032]  */
[codex:671032] library Strings {
[codex:671032]     bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";
[codex:671032] 
[codex:671032]     /**
[codex:671032]      * @dev Converts a `uint256` to its ASCII `string` decimal representation.
[codex:671032] 
[codex:671032] 
[codex:671032] 
[codex:671032] 
[codex:671032] 
[codex:671032] thinking
[codex:671032] **Analyzing auction contract for exploits**
[codex:671032] 
[codex:671032] I'm carefully examining the auction contract's bid, refund, and withdrawal logic to uncover reentrancy or logic bugs that could let an attacker extract profit or cause denial of service. I'm scrutinizing state updates versus external calls, refund computations, and access controls to spot vulnerabilities that could be exploited.
[codex:671032] thinking
[codex:671032] **Evaluating refund discount and reentrancy edge cases**
[codex:671032] 
[codex:671032] I’m exploring tricky scenarios around the mint pass discount potentially exceeding final prices, which might let some bidders profit beyond their payment if parameters align unfavorably. I’m also checking for subtle reentrancy or logic gaps that could let bidders manipulate refunds, bids with zero amount impacting auction state, or mismatch between refund tracking and bid counts that might cause fund locking or denial-of-service effects.
[codex:671032] thinking
[codex:671032] **Analyzing refund processing and emergency withdrawal interactions**
[codex:671032] 
[codex:671032] I’m examining how zero-amount bids might let attackers inflate processing indices, potentially letting the owner claim funds prematurely, and exploring whether bidders can exploit refund delays or revert failures to keep NFTs while withdrawing payments via emergencyWithdraw after three days. There’s an interesting possibility that malicious bidders causing refund call failures could block refund processing for others, leading to a scenario where attackers profit by receiving NFTs and refunds simultaneously.
[codex:671032] thinking
[codex:671032] **Evaluating refund revert exploitation and bid zero calls**
[codex:671032] 
[codex:671032] I'm uncovering a concrete exploit path where a bidder using a contract rejecting ETH refunds can block refund processing, forcing emergencyWithdraw after 3 days to get full refund while keeping their NFT, effectively profiting. Additionally, calling bid with amount zero allows bidders to trigger incremental refunds as prices drop without increasing bids, enabling early reimbursement of overpayments but not necessarily profit beyond that. Overall, this shows nuanced interplay between refunds, bids, and withdrawal logic that can be exploited under specific conditions.
[codex:671032] thinking
[codex:671032] **Confirming no exploitable profit paths**
[codex:671032] 
[codex:671032] I'm concluding there are no clear, concrete exploitable paths to profit from this contract based on the analysis, as most potential issues depend on external factors or do not yield direct gains. I’ll prepare an output marking no findings with a concise summary.
[codex:671032] exec
[codex:671032] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-pp2q3225 succeeded in 6ms:
[codex:671032] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:671032] 
[codex:671032] thinking
[codex:671032] **Preparing final JSON output**
[codex:671032] codex
[codex:671032] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the provided sources.","findings":[]}
[codex:671032] tokens used
[codex:671032] 23,675
[codex:671032] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T17:43:37.875220+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were found in the provided sources.",
        "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 0x01c6
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8e1764f4
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc7446565
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdea9b646
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdea9b646
0000003a: EQ
0000003b: PUSH2 0x0697
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe6c0e6d5
00000045: EQ
00000046: PUSH2 0x06b3
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x06e7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf5eebfc7
0000005b: EQ
0000005c: PUSH2 0x0707
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xc7446565
0000006b: EQ
0000006c: PUSH2 0x05ed
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd6fbf202
00000076: EQ
00000077: PUSH2 0x0621
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdb002061
00000081: EQ
00000082: PUSH2 0x0655
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdb2e21bc
0000008c: EQ
0000008d: PUSH2 0x0682
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0xa7ccabdf
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa7ccabdf
000000a7: EQ
000000a8: PUSH2 0x04b1
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa8feda51
000000b2: EQ
000000b3: PUSH2 0x04d1
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb4f055be
000000bd: EQ
000000be: PUSH2 0x04e6
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xba8834fd
000000c8: EQ
000000c9: PUSH2 0x05d7
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x8e1764f4
000000d8: EQ
000000d9: PUSH2 0x0459
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x98d5fdca
000000e3: EQ
000000e4: PUSH2 0x046e
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x9f235ccd
000000ee: EQ
000000ef: PUSH2 0x049b
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x715018a6
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x8622a689
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x8622a689
00000114: EQ
00000115: PUSH2 0x03ef
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x8a4e3ee1
0000011f: EQ
00000120: PUSH2 0x0405
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x8b034136
0000012a: EQ
0000012b: PUSH2 0x0425
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x8da5cb5b
00000135: EQ
00000136: PUSH2 0x043b
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x715018a6
00000145: EQ
00000146: PUSH2 0x0362
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x7f593d9e
00000150: EQ
00000151: PUSH2 0x0377
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x80d0feaa
0000015b: EQ
0000015c: PUSH2 0x03b7
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x3294cd0b
0000016b: GT
0000016c: PUSH2 0x01a0
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x3294cd0b
00000176: EQ
00000177: PUSH2 0x030b
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x33500e26
00000181: EQ
00000182: PUSH2 0x0321
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x4e9e1ec6
0000018c: EQ
0000018d: PUSH2 0x0336
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x61f04c10
00000197: EQ
00000198: PUSH2 0x034c
0000019b: JUMPI
0000019c: PUSH1 0x00
0000019e: DUP1
0000019f: REVERT
000001a0: JUMPDEST
000001a1: DUP1
000001a2: PUSH4 0x072c1ba5
000001a7: EQ
000001a8: PUSH2 0x021d
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x106587c2
000001b2: EQ
000001b3: PUSH2 0x025d
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x2fb5eac2
000001bd: EQ
000001be: PUSH2 0x0273
000001c1: JUMPI
000001c2: PUSH1 0x00
000001c4: DUP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: CALLDATASIZE
000001c8: PUSH2 0x0218
000001cb: JUMPI
000001cc: PUSH1 0x40
000001ce: MLOAD
000001cf: PUSH3 0x461bcd
000001d3: PUSH1 0xe5
000001d5: SHL
000001d6: DUP2
000001d7: MSTORE
000001d8: PUSH1 0x20
000001da: PUSH1 0x04
000001dc: DUP3
000001dd: ADD
000001de: MSTORE
000001df: PUSH1 0x1b
000001e1: PUSH1 0x24
000001e3: DUP3
000001e4: ADD
000001e5: MSTORE
000001e6: PUSH32 0x506c656173652075736520746865206269642066756e6374696f6e0000000000
00000207: PUSH1 0x44
00000209: DUP3
0000020a: ADD
0000020b: MSTORE
0000020c: PUSH1 0x64
0000020e: ADD
0000020f: JUMPDEST
00000210: PUSH1 0x40
00000212: MLOAD
00000213: DUP1
00000214: SWAP2
00000215: SUB
00000216: SWAP1
00000217: REVERT
00000218: JUMPDEST
00000219: PUSH1 0x00
0000021b: DUP1
0000021c: REVERT
0000021d: JUMPDEST
0000021e: CALLVALUE
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x0229
00000224: JUMPI
00000225: PUSH1 0x00
00000227: DUP1
00000228: REVERT
00000229: JUMPDEST
0000022a: POP
0000022b: PUSH2 0x024a
0000022e: PUSH2 0x0238
00000231: CALLDATASIZE
00000232: PUSH1 0x04
00000234: PUSH2 0x166d
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH1 0x04
0000023b: PUSH1 0x20
0000023d: MSTORE
0000023e: PUSH1 0x00
00000240: SWAP1
00000241: DUP2
00000242: MSTORE
00000243: PUSH1 0x40
00000245: SWAP1
00000246: KECCAK256
00000247: SLOAD
00000248: DUP2
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: SWAP1
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: MLOAD
00000258: DUP1
00000259: SWAP2
0000025a: SUB
0000025b: SWAP1
0000025c: RETURN
0000025d: JUMPDEST
0000025e: CALLVALUE
0000025f: DUP1
00000260: ISZERO
00000261: PUSH2 0x0269
00000264: JUMPI
00000265: PUSH1 0x00
00000267: DUP1
00000268: REVERT
00000269: JUMPDEST
0000026a: POP
0000026b: PUSH2 0x024a
0000026e: PUSH1 0x09
00000270: SLOAD
00000271: DUP2
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x02d0
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x169d
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x06
00000291: PUSH1 0x20
00000293: MSTORE
00000294: PUSH1 0x00
00000296: SWAP1
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x40
0000029b: SWAP1
0000029c: KECCAK256
0000029d: SLOAD
0000029e: PUSH1 0x01
000002a0: PUSH1 0x01
000002a2: PUSH1 0xa0
000002a4: SHL
000002a5: SUB
000002a6: DUP2
000002a7: AND
000002a8: SWAP1
000002a9: PUSH1 0x01
000002ab: PUSH1 0x01
000002ad: PUSH1 0x50
000002af: SHL
000002b0: SUB
000002b1: PUSH1 0x01
000002b3: PUSH1 0xa0
000002b5: SHL
000002b6: DUP3
000002b7: DIV
000002b8: AND
000002b9: SWAP1
000002ba: PUSH1 0xff
000002bc: PUSH1 0x01
000002be: PUSH1 0xf0
000002c0: SHL
000002c1: DUP3
000002c2: DIV
000002c3: DUP2
000002c4: AND
000002c5: SWAP2
000002c6: PUSH1 0x01
000002c8: PUSH1 0xf8
000002ca: SHL
000002cb: SWAP1
000002cc: DIV
000002cd: AND
000002ce: DUP5
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x40
000002d3: DUP1
000002d4: MLOAD
000002d5: PUSH1 0x01
000002d7: PUSH1 0x01
000002d9: PUSH1 0xa0
000002db: SHL
000002dc: SUB
000002dd: SWAP1
000002de: SWAP6
000002df: AND
000002e0: DUP6
000002e1: MSTORE
000002e2: PUSH1 0x01
000002e4: PUSH1 0x01
000002e6: PUSH1 0x50
000002e8: SHL
000002e9: SUB
000002ea: SWAP1
000002eb: SWAP4
000002ec: AND
000002ed: PUSH1 0x20
000002ef: DUP6
000002f0: ADD
000002f1: MSTORE
000002f2: PUSH1 0xff
000002f4: SWAP2
000002f5: DUP3
000002f6: AND
000002f7: SWAP3
000002f8: DUP5
000002f9: ADD
000002fa: SWAP3
000002fb: SWAP1
000002fc: SWAP3
000002fd: MSTORE
000002fe: AND
000002ff: PUSH1 0x60
00000301: DUP3
00000302: ADD
00000303: MSTORE
00000304: PUSH1 0x80
00000306: ADD
00000307: PUSH2 0x0254
0000030a: JUMP
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x024a
0000031c: PUSH1 0x02
0000031e: SLOAD
0000031f: DUP2
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH2 0x0334
00000325: PUSH2 0x032f
00000328: CALLDATASIZE
00000329: PUSH1 0x04
0000032b: PUSH2 0x16b6
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH2 0x0754
00000333: JUMP
00000334: JUMPDEST
00000335: STOP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x024a
00000347: PUSH1 0x01
00000349: SLOAD
0000034a: DUP2
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x024a
0000035d: PUSH1 0x07
0000035f: SLOAD
00000360: DUP2
00000361: JUMP
00000362: JUMPDEST
00000363: CALLVALUE
00000364: DUP1
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: POP
00000370: PUSH2 0x0334
00000373: PUSH2 0x0761
00000376: JUMP
00000377: JUMPDEST
00000378: CALLVALUE
00000379: DUP1
0000037a: ISZERO
0000037b: PUSH2 0x0383
0000037e: JUMPI
0000037f: PUSH1 0x00
00000381: DUP1
00000382: REVERT
00000383: JUMPDEST
00000384: POP
00000385: PUSH2 0x0397
00000388: PUSH2 0x0392
0000038b: CALLDATASIZE
0000038c: PUSH1 0x04
0000038e: PUSH2 0x166d
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH2 0x0797
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: DUP1
0000039b: MLOAD
0000039c: SWAP5
0000039d: DUP6
0000039e: MSTORE
0000039f: PUSH1 0x20
000003a1: DUP6
000003a2: ADD
000003a3: SWAP4
000003a4: SWAP1
000003a5: SWAP4
000003a6: MSTORE
000003a7: SWAP2
000003a8: DUP4
000003a9: ADD
000003aa: MSTORE
000003ab: PUSH1 0x60
000003ad: DUP3
000003ae: ADD
000003af: MSTORE
000003b0: PUSH1 0x80
000003b2: ADD
000003b3: PUSH2 0x0254
000003b6: JUMP
000003b7: JUMPDEST
000003b8: CALLVALUE
000003b9: DUP1
000003ba: ISZERO
000003bb: PUSH2 0x03c3
000003be: JUMPI
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: PUSH1 0x0c
000003c7: SLOAD
000003c8: PUSH2 0x03d7
000003cb: SWAP1
000003cc: PUSH1 0x01
000003ce: PUSH1 0x01
000003d0: PUSH1 0xa0
000003d2: SHL
000003d3: SUB
000003d4: AND
000003d5: DUP2
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH1 0x40
000003da: MLOAD
000003db: PUSH1 0x01
000003dd: PUSH1 0x01
000003df: PUSH1 0xa0
000003e1: SHL
000003e2: SUB
000003e3: SWAP1
000003e4: SWAP2
000003e5: AND
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: PUSH2 0x0254
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x024a
00000400: PUSH1 0x03
00000402: SLOAD
00000403: DUP2
00000404: JUMP
00000405: JUMPDEST
00000406: CALLVALUE
00000407: DUP1
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: POP
00000413: PUSH2 0x0334
00000416: PUSH2 0x0420
00000419: CALLDATASIZE
0000041a: PUSH1 0x04
0000041c: PUSH2 0x1725
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x080f
00000424: JUMP
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x024a
00000436: PUSH1 0x08
00000438: SLOAD
00000439: DUP2
0000043a: JUMP
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH1 0x00
0000044b: SLOAD
0000044c: PUSH1 0x01
0000044e: PUSH1 0x01
00000450: PUSH1 0xa0
00000452: SHL
00000453: SUB
00000454: AND
00000455: PUSH2 0x03d7
00000458: JUMP
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x0334
0000046a: PUSH2 0x08bb
0000046d: JUMP
0000046e: JUMPDEST
0000046f: CALLVALUE
00000470: DUP1
00000471: ISZERO
00000472: PUSH2 0x047a
00000475: JUMPI
00000476: PUSH1 0x00
00000478: DUP1
00000479: REVERT
0000047a: JUMPDEST
0000047b: POP
0000047c: PUSH2 0x0483
0000047f: PUSH2 0x0afd
00000482: JUMP
00000483: JUMPDEST
00000484: PUSH1 0x40
00000486: MLOAD
00000487: PUSH1 0x01
00000489: PUSH1 0x01
0000048b: PUSH1 0x50
0000048d: SHL
0000048e: SUB
0000048f: SWAP1
00000490: SWAP2
00000491: AND
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: PUSH2 0x0254
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x024a
000004ac: PUSH1 0x0a
000004ae: SLOAD
000004af: DUP2
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH2 0x0334
000004c2: PUSH2 0x04cc
000004c5: CALLDATASIZE
000004c6: PUSH1 0x04
000004c8: PUSH2 0x166d
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH2 0x0bac
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: DUP1
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: POP
000004df: PUSH2 0x0334
000004e2: PUSH2 0x0bf8
000004e5: JUMP
000004e6: JUMPDEST
000004e7: CALLVALUE
000004e8: DUP1
000004e9: ISZERO
000004ea: PUSH2 0x04f2
000004ed: JUMPI
000004ee: PUSH1 0x00
000004f0: DUP1
000004f1: REVERT
000004f2: JUMPDEST
000004f3: POP
000004f4: PUSH2 0x058b
000004f7: PUSH2 0x0501
000004fa: CALLDATASIZE
000004fb: PUSH1 0x04
000004fd: PUSH2 0x166d
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x40
00000504: DUP1
00000505: MLOAD
00000506: PUSH1 0x80
00000508: DUP1
00000509: DUP3
0000050a: ADD
0000050b: DUP4
0000050c: MSTORE
0000050d: PUSH1 0x00
0000050f: DUP1
00000510: DUP4
00000511: MSTORE
00000512: PUSH1 0x20
00000514: DUP1
00000515: DUP5
00000516: ADD
00000517: DUP3
00000518: SWAP1
00000519: MSTORE
0000051a: DUP4
0000051b: DUP6
0000051c: ADD
0000051d: DUP3
0000051e: SWAP1
0000051f: MSTORE
00000520: PUSH1 0x60
00000522: SWAP4
00000523: DUP5
00000524: ADD
00000525: DUP3
00000526: SWAP1
00000527: MSTORE
00000528: PUSH1 0x01
0000052a: PUSH1 0x01
0000052c: PUSH1 0xa0
0000052e: SHL
0000052f: SUB
00000530: SWAP6
00000531: DUP7
00000532: AND
00000533: DUP3
00000534: MSTORE
00000535: PUSH1 0x05
00000537: DUP2
00000538: MSTORE
00000539: DUP5
0000053a: DUP3
0000053b: KECCAK256
0000053c: SLOAD
0000053d: DUP3
0000053e: MSTORE
0000053f: PUSH1 0x06
00000541: DUP2
00000542: MSTORE
00000543: SWAP1
00000544: DUP5
00000545: SWAP1
00000546: KECCAK256
00000547: DUP5
00000548: MLOAD
00000549: SWAP3
0000054a: DUP4
0000054b: ADD
0000054c: DUP6
0000054d: MSTORE
0000054e: SLOAD
0000054f: SWAP5
00000550: DUP6
00000551: AND
00000552: DUP3
00000553: MSTORE
00000554: PUSH1 0x01
00000556: PUSH1 0x01
00000558: PUSH1 0x50
0000055a: SHL
0000055b: SUB
0000055c: PUSH1 0x01
0000055e: PUSH1 0xa0
00000560: SHL
00000561: DUP7
00000562: DIV
00000563: AND
00000564: SWAP1
00000565: DUP3
00000566: ADD
00000567: MSTORE
00000568: PUSH1 0xff
0000056a: PUSH1 0x01
0000056c: PUSH1 0xf0
0000056e: SHL
0000056f: DUP6
00000570: DIV
00000571: DUP2
00000572: AND
00000573: SWAP4
00000574: DUP3
00000575: ADD
00000576: SWAP4
00000577: SWAP1
00000578: SWAP4
00000579: MSTORE
0000057a: PUSH1 0x01
0000057c: PUSH1 0xf8
0000057e: SHL
0000057f: SWAP1
00000580: SWAP4
00000581: DIV
00000582: SWAP1
00000583: SWAP2
00000584: AND
00000585: SWAP1
00000586: DUP3
00000587: ADD
00000588: MSTORE
00000589: SWAP1
0000058a: JUMP
0000058b: JUMPDEST
0000058c: PUSH1 0x40
0000058e: DUP1
0000058f: MLOAD
00000590: DUP3
00000591: MLOAD
00000592: PUSH1 0x01
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: SHL
00000599: SUB
0000059a: AND
0000059b: DUP2
0000059c: MSTORE
0000059d: PUSH1 0x20
0000059f: DUP1
000005a0: DUP5
000005a1: ADD
000005a2: MLOAD
000005a3: PUSH1 0x01
000005a5: PUSH1 0x01
000005a7: PUSH1 0x50
000005a9: SHL
000005aa: SUB
000005ab: AND
000005ac: SWAP1
000005ad: DUP3
000005ae: ADD
000005af: MSTORE
000005b0: DUP3
000005b1: DUP3
000005b2: ADD
000005b3: MLOAD
000005b4: PUSH1 0xff
000005b6: SWAP1
000005b7: DUP2
000005b8: AND
000005b9: SWAP3
000005ba: DUP3
000005bb: ADD
000005bc: SWAP3
000005bd: SWAP1
000005be: SWAP3
000005bf: MSTORE
000005c0: PUSH1 0x60
000005c2: SWAP3
000005c3: DUP4
000005c4: ADD
000005c5: MLOAD
000005c6: SWAP1
000005c7: SWAP2
000005c8: AND
000005c9: SWAP2
000005ca: DUP2
000005cb: ADD
000005cc: SWAP2
000005cd: SWAP1
000005ce: SWAP2
000005cf: MSTORE
000005d0: PUSH1 0x80
000005d2: ADD
000005d3: PUSH2 0x0254
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x024a
000005e8: PUSH1 0x0b
000005ea: SLOAD
000005eb: DUP2
000005ec: JUMP
000005ed: JUMPDEST
000005ee: CALLVALUE
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x024a
000005fe: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180
0000061f: DUP2
00000620: JUMP
00000621: JUMPDEST
00000622: CALLVALUE
00000623: DUP1
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: PUSH2 0x024a
00000632: PUSH32 0x00000000000000000000000000000000000000000000000030927f74c9de0000
00000653: DUP2
00000654: JUMP
00000655: JUMPDEST
00000656: CALLVALUE
00000657: DUP1
00000658: ISZERO
00000659: PUSH2 0x0661
0000065c: JUMPI
0000065d: PUSH1 0x00
0000065f: DUP1
00000660: REVERT
00000661: JUMPDEST
00000662: POP
00000663: PUSH2 0x024a
00000666: PUSH2 0x0670
00000669: CALLDATASIZE
0000066a: PUSH1 0x04
0000066c: PUSH2 0x166d
0000066f: JUMP
00000670: JUMPDEST
00000671: PUSH1 0x05
00000673: PUSH1 0x20
00000675: MSTORE
00000676: PUSH1 0x00
00000678: SWAP1
00000679: DUP2
0000067a: MSTORE
0000067b: PUSH1 0x40
0000067d: SWAP1
0000067e: KECCAK256
0000067f: SLOAD
00000680: DUP2
00000681: JUMP
00000682: JUMPDEST
00000683: CALLVALUE
00000684: DUP1
00000685: ISZERO
00000686: PUSH2 0x068e
00000689: JUMPI
0000068a: PUSH1 0x00
0000068c: DUP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: POP
00000690: PUSH2 0x0334
00000693: PUSH2 0x0ea6
00000696: JUMP
00000697: JUMPDEST
00000698: CALLVALUE
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: PUSH2 0x024a
000006a8: PUSH8 0x06f05b59d3b20000
000006b1: DUP2
000006b2: JUMP
000006b3: JUMPDEST
000006b4: CALLVALUE
000006b5: DUP1
000006b6: ISZERO
000006b7: PUSH2 0x06bf
000006ba: JUMPI
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: REVERT
000006bf: JUMPDEST
000006c0: POP
000006c1: PUSH2 0x024a
000006c4: PUSH32 0x000000000000000000000000000000000000000000000000016345785d8a0000
000006e5: DUP2
000006e6: JUMP
000006e7: JUMPDEST
000006e8: CALLVALUE
000006e9: DUP1
000006ea: ISZERO
000006eb: PUSH2 0x06f3
000006ee: JUMPI
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: REVERT
000006f3: JUMPDEST
000006f4: POP
000006f5: PUSH2 0x0334
000006f8: PUSH2 0x0702
000006fb: CALLDATASIZE
000006fc: PUSH1 0x04
000006fe: PUSH2 0x166d
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH2 0x10c9
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x024a
00000718: PUSH2 0x0722
0000071b: CALLDATASIZE
0000071c: PUSH1 0x04
0000071e: PUSH2 0x166d
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x01
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: SHL
0000072a: SUB
0000072b: AND
0000072c: PUSH1 0x00
0000072e: SWAP1
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x05
00000733: PUSH1 0x20
00000735: SWAP1
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x40
0000073a: DUP1
0000073b: DUP4
0000073c: KECCAK256
0000073d: SLOAD
0000073e: DUP4
0000073f: MSTORE
00000740: PUSH1 0x06
00000742: SWAP1
00000743: SWAP2
00000744: MSTORE
00000745: SWAP1
00000746: KECCAK256
00000747: SLOAD
00000748: PUSH1 0x01
0000074a: PUSH1 0xf0
0000074c: SHL
0000074d: SWAP1
0000074e: DIV
0000074f: PUSH1 0xff
00000751: AND
00000752: SWAP1
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH2 0x075e
00000758: DUP2
00000759: CALLVALUE
0000075a: PUSH2 0x1161
0000075d: JUMP
0000075e: JUMPDEST
0000075f: POP
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x00
00000764: SLOAD
00000765: PUSH1 0x01
00000767: PUSH1 0x01
00000769: PUSH1 0xa0
0000076b: SHL
0000076c: SUB
0000076d: AND
0000076e: CALLER
0000076f: EQ
00000770: PUSH2 0x078b
00000773: JUMPI
00000774: PUSH1 0x40
00000776: MLOAD
00000777: PUSH3 0x461bcd
0000077b: PUSH1 0xe5
0000077d: SHL
0000077e: DUP2
0000077f: MSTORE
00000780: PUSH1 0x04
00000782: ADD
00000783: PUSH2 0x020f
00000786: SWAP1
00000787: PUSH2 0x1791
0000078a: JUMP
0000078b: JUMPDEST
0000078c: PUSH2 0x0795
0000078f: PUSH1 0x00
00000791: PUSH2 0x161d
00000794: JUMP
00000795: JUMPDEST
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0x00
0000079a: DUP1
0000079b: PUSH1 0x00
0000079d: DUP1
0000079e: PUSH1 0x08
000007a0: SLOAD
000007a1: PUSH1 0x02
000007a3: SLOAD
000007a4: PUSH2 0x07ad
000007a7: SWAP2
000007a8: SWAP1
000007a9: PUSH2 0x17dc
000007ac: JUMP
000007ad: JUMPDEST
000007ae: SWAP4
000007af: POP
000007b0: PUSH1 0x03
000007b2: SLOAD
000007b3: SWAP3
000007b4: POP
000007b5: PUSH2 0x07bc
000007b8: PUSH2 0x0afd
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x01
000007bf: PUSH1 0x01
000007c1: PUSH1 0x50
000007c3: SHL
000007c4: SUB
000007c5: AND
000007c6: SWAP2
000007c7: POP
000007c8: PUSH1 0x01
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: SHL
000007cf: SUB
000007d0: DUP6
000007d1: AND
000007d2: ISZERO
000007d3: PUSH2 0x0808
000007d6: JUMPI
000007d7: POP
000007d8: PUSH1 0x01
000007da: PUSH1 0x01
000007dc: PUSH1 0xa0
000007de: SHL
000007df: SUB
000007e0: DUP5
000007e1: AND
000007e2: PUSH1 0x00
000007e4: SWAP1
000007e5: DUP2
000007e6: MSTORE
000007e7: PUSH1 0x05
000007e9: PUSH1 0x20
000007eb: SWAP1
000007ec: DUP2
000007ed: MSTORE
000007ee: PUSH1 0x40
000007f0: DUP1
000007f1: DUP4
000007f2: KECCAK256
000007f3: SLOAD
000007f4: DUP4
000007f5: MSTORE
000007f6: PUSH1 0x06
000007f8: SWAP1
000007f9: SWAP2
000007fa: MSTORE
000007fb: SWAP1
000007fc: KECCAK256
000007fd: SLOAD
000007fe: PUSH1 0x01
00000800: PUSH1 0xf0
00000802: SHL
00000803: SWAP1
00000804: DIV
00000805: PUSH1 0xff
00000807: AND
00000808: JUMPDEST
00000809: SWAP2
0000080a: SWAP4
0000080b: POP
0000080c: SWAP2
0000080d: SWAP4
0000080e: JUMP
0000080f: JUMPDEST
00000810: PUSH1 0x00
00000812: SLOAD
00000813: PUSH1 0x01
00000815: PUSH1 0x01
00000817: PUSH1 0xa0
00000819: SHL
0000081a: SUB
0000081b: AND
0000081c: CALLER
0000081d: EQ
0000081e: PUSH2 0x0839
00000821: JUMPI
00000822: PUSH1 0x40
00000824: MLOAD
00000825: PUSH3 0x461bcd
00000829: PUSH1 0xe5
0000082b: SHL
0000082c: DUP2
0000082d: MSTORE
0000082e: PUSH1 0x04
00000830: ADD
00000831: PUSH2 0x020f
00000834: SWAP1
00000835: PUSH2 0x1791
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH1 0x00
0000083c: JUMPDEST
0000083d: DUP4
0000083e: DUP2
0000083f: LT
00000840: ISZERO
00000841: PUSH2 0x08b4
00000844: JUMPI
00000845: DUP3
00000846: DUP3
00000847: DUP3
00000848: DUP2
00000849: DUP2
0000084a: LT
0000084b: PUSH2 0x0856
0000084e: JUMPI
0000084f: PUSH2 0x0856
00000852: PUSH2 0x17f3
00000855: JUMP
00000856: JUMPDEST
00000857: SWAP1
00000858: POP
00000859: PUSH1 0x20
0000085b: MUL
0000085c: ADD
0000085d: CALLDATALOAD
0000085e: PUSH1 0x04
00000860: PUSH1 0x00
00000862: DUP8
00000863: DUP8
00000864: DUP6
00000865: DUP2
00000866: DUP2
00000867: LT
00000868: PUSH2 0x0873
0000086b: JUMPI
0000086c: PUSH2 0x0873
0000086f: PUSH2 0x17f3
00000872: JUMP
00000873: JUMPDEST
00000874: SWAP1
00000875: POP
00000876: PUSH1 0x20
00000878: MUL
00000879: ADD
0000087a: PUSH1 0x20
0000087c: DUP2
0000087d: ADD
0000087e: SWAP1
0000087f: PUSH2 0x0888
00000882: SWAP2
00000883: SWAP1
00000884: PUSH2 0x166d
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x01
0000088b: PUSH1 0x01
0000088d: PUSH1 0xa0
0000088f: SHL
00000890: SUB
00000891: AND
00000892: DUP2
00000893: MSTORE
00000894: PUSH1 0x20
00000896: DUP2
00000897: ADD
00000898: SWAP2
00000899: SWAP1
0000089a: SWAP2
0000089b: MSTORE
0000089c: PUSH1 0x40
0000089e: ADD
0000089f: PUSH1 0x00
000008a1: KECCAK256
000008a2: SSTORE
000008a3: DUP1
000008a4: PUSH2 0x08ac
000008a7: DUP2
000008a8: PUSH2 0x1809
000008ab: JUMP
000008ac: JUMPDEST
000008ad: SWAP2
000008ae: POP
000008af: POP
000008b0: PUSH2 0x083c
000008b3: JUMP
000008b4: JUMPDEST
000008b5: POP
000008b6: POP
000008b7: POP
000008b8: POP
000008b9: POP
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH1 0x00
000008be: SLOAD
000008bf: PUSH1 0x01
000008c1: PUSH1 0x01
000008c3: PUSH1 0xa0
000008c5: SHL
000008c6: SUB
000008c7: AND
000008c8: CALLER
000008c9: EQ
000008ca: PUSH2 0x08e5
000008cd: JUMPI
000008ce: PUSH1 0x40
000008d0: MLOAD
000008d1: PUSH3 0x461bcd
000008d5: PUSH1 0xe5
000008d7: SHL
000008d8: DUP2
000008d9: MSTORE
000008da: PUSH1 0x04
000008dc: ADD
000008dd: PUSH2 0x020f
000008e0: SWAP1
000008e1: PUSH2 0x1791
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x03
000008e8: SLOAD
000008e9: TIMESTAMP
000008ea: GT
000008eb: PUSH2 0x0932
000008ee: JUMPI
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: PUSH3 0x461bcd
000008f6: PUSH1 0xe5
000008f8: SHL
000008f9: DUP2
000008fa: MSTORE
000008fb: PUSH1 0x20
000008fd: PUSH1 0x04
000008ff: DUP3
00000900: ADD
00000901: MSTORE
00000902: PUSH1 0x19
00000904: PUSH1 0x24
00000906: DUP3
00000907: ADD
00000908: MSTORE
00000909: PUSH25 0x41756374696f6e207374696c6c20696e2070726f6772657373
00000923: PUSH1 0x38
00000925: SHL
00000926: PUSH1 0x44
00000928: DUP3
00000929: ADD
0000092a: MSTORE
0000092b: PUSH1 0x64
0000092d: ADD
0000092e: PUSH2 0x020f
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x08
00000935: SLOAD
00000936: PUSH1 0x0b
00000938: SLOAD
00000939: LT
0000093a: ISZERO
0000093b: PUSH2 0x0986
0000093e: JUMPI
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: PUSH3 0x461bcd
00000946: PUSH1 0xe5
00000948: SHL
00000949: DUP2
0000094a: MSTORE
0000094b: PUSH1 0x20
0000094d: PUSH1 0x04
0000094f: DUP3
00000950: ADD
00000951: MSTORE
00000952: PUSH1 0x19
00000954: PUSH1 0x24
00000956: DUP3
00000957: ADD
00000958: MSTORE
00000959: PUSH32 0x526566756e6473206e6f74207965742070726f63657373656400000000000000
0000097a: PUSH1 0x44
0000097c: DUP3
0000097d: ADD
0000097e: MSTORE
0000097f: PUSH1 0x64
00000981: ADD
00000982: PUSH2 0x020f
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH1 0x08
00000989: SLOAD
0000098a: PUSH1 0x0c
0000098c: PUSH1 0x00
0000098e: SWAP1
0000098f: SLOAD
00000990: SWAP1
00000991: PUSH2 0x0100
00000994: EXP
00000995: SWAP1
00000996: DIV
00000997: PUSH1 0x01
00000999: PUSH1 0x01
0000099b: PUSH1 0xa0
0000099d: SHL
0000099e: SUB
0000099f: AND
000009a0: PUSH1 0x01
000009a2: PUSH1 0x01
000009a4: PUSH1 0xa0
000009a6: SHL
000009a7: SUB
000009a8: AND
000009a9: PUSH4 0x32063f52
000009ae: PUSH1 0x40
000009b0: MLOAD
000009b1: DUP2
000009b2: PUSH4 0xffffffff
000009b7: AND
000009b8: PUSH1 0xe0
000009ba: SHL
000009bb: DUP2
000009bc: MSTORE
000009bd: PUSH1 0x04
000009bf: ADD
000009c0: PUSH1 0x20
000009c2: PUSH1 0x40
000009c4: MLOAD
000009c5: DUP1
000009c6: DUP4
000009c7: SUB
000009c8: DUP2
000009c9: DUP7
000009ca: GAS
000009cb: STATICCALL
000009cc: ISZERO
000009cd: DUP1
000009ce: ISZERO
000009cf: PUSH2 0x09dc
000009d2: JUMPI
000009d3: RETURNDATASIZE
000009d4: PUSH1 0x00
000009d6: DUP1
000009d7: RETURNDATACOPY
000009d8: RETURNDATASIZE
000009d9: PUSH1 0x00
000009db: REVERT
000009dc: JUMPDEST
000009dd: POP
000009de: POP
000009df: POP
000009e0: POP
000009e1: PUSH1 0x40
000009e3: MLOAD
000009e4: RETURNDATASIZE
000009e5: PUSH1 0x1f
000009e7: NOT
000009e8: PUSH1 0x1f
000009ea: DUP3
000009eb: ADD
000009ec: AND
000009ed: DUP3
000009ee: ADD
000009ef: DUP1
000009f0: PUSH1 0x40
000009f2: MSTORE
000009f3: POP
000009f4: DUP2
000009f5: ADD
000009f6: SWAP1
000009f7: PUSH2 0x0a00
000009fa: SWAP2
000009fb: SWAP1
000009fc: PUSH2 0x1822
000009ff: JUMP
00000a00: JUMPDEST
00000a01: LT
00000a02: ISZERO
00000a03: PUSH2 0x0a45
00000a06: JUMPI
00000a07: PUSH1 0x40
00000a09: MLOAD
00000a0a: PUSH3 0x461bcd
00000a0e: PUSH1 0xe5
00000a10: SHL
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x20
00000a15: PUSH1 0x04
00000a17: DUP3
00000a18: ADD
00000a19: MSTORE
00000a1a: PUSH1 0x14
00000a1c: PUSH1 0x24
00000a1e: DUP3
00000a1f: ADD
00000a20: MSTORE
00000a21: PUSH20 0x41697264726f70206e6f7420636f6d706c657465
00000a36: PUSH1 0x60
00000a38: SHL
00000a39: PUSH1 0x44
00000a3b: DUP3
00000a3c: ADD
00000a3d: MSTORE
00000a3e: PUSH1 0x64
00000a40: ADD
00000a41: PUSH2 0x020f
00000a44: JUMP
00000a45: JUMPDEST
00000a46: PUSH1 0x00
00000a48: PUSH32 0x000000000000000000000000cc0ecd808ce4fed81f0552b3889656b28aa2bae9
00000a69: PUSH1 0x01
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0xa0
00000a6f: SHL
00000a70: SUB
00000a71: AND
00000a72: SELFBALANCE
00000a73: PUSH1 0x40
00000a75: MLOAD
00000a76: PUSH1 0x00
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: DUP1
00000a7c: DUP4
00000a7d: SUB
00000a7e: DUP2
00000a7f: DUP6
00000a80: DUP8
00000a81: GAS
00000a82: CALL
00000a83: SWAP3
00000a84: POP
00000a85: POP
00000a86: POP
00000a87: RETURNDATASIZE
00000a88: DUP1
00000a89: PUSH1 0x00
00000a8b: DUP2
00000a8c: EQ
00000a8d: PUSH2 0x0ab2
00000a90: JUMPI
00000a91: PUSH1 0x40
00000a93: MLOAD
00000a94: SWAP2
00000a95: POP
00000a96: PUSH1 0x1f
00000a98: NOT
00000a99: PUSH1 0x3f
00000a9b: RETURNDATASIZE
00000a9c: ADD
00000a9d: AND
00000a9e: DUP3
00000a9f: ADD
00000aa0: PUSH1 0x40
00000aa2: MSTORE
00000aa3: RETURNDATASIZE
00000aa4: DUP3
00000aa5: MSTORE
00000aa6: RETURNDATASIZE
00000aa7: PUSH1 0x00
00000aa9: PUSH1 0x20
00000aab: DUP5
00000aac: ADD
00000aad: RETURNDATACOPY
00000aae: PUSH2 0x0ab7
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: PUSH1 0x60
00000ab5: SWAP2
00000ab6: POP
00000ab7: JUMPDEST
00000ab8: POP
00000ab9: POP
00000aba: SWAP1
00000abb: POP
00000abc: DUP1
00000abd: PUSH2 0x075e
00000ac0: JUMPI
00000ac1: PUSH1 0x40
00000ac3: MLOAD
00000ac4: PUSH3 0x461bcd
00000ac8: PUSH1 0xe5
00000aca: SHL
00000acb: DUP2
00000acc: MSTORE
00000acd: PUSH1 0x20
00000acf: PUSH1 0x04
00000ad1: DUP3
00000ad2: ADD
00000ad3: MSTORE
00000ad4: PUSH1 0x12
00000ad6: PUSH1 0x24
00000ad8: DUP3
00000ad9: ADD
00000ada: MSTORE
00000adb: PUSH18 0x4661696c656420746f207769746864726177
00000aee: PUSH1 0x70
00000af0: SHL
00000af1: PUSH1 0x44
00000af3: DUP3
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH1 0x64
00000af8: ADD
00000af9: PUSH2 0x020f
00000afc: JUMP
00000afd: JUMPDEST
00000afe: PUSH1 0x03
00000b00: SLOAD
00000b01: PUSH1 0x00
00000b03: SWAP1
00000b04: TIMESTAMP
00000b05: SWAP1
00000b06: DUP2
00000b07: GT
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: POP
00000b0e: PUSH1 0x03
00000b10: SLOAD
00000b11: JUMPDEST
00000b12: PUSH1 0x00
00000b14: PUSH2 0x0168
00000b17: PUSH2 0x0b40
00000b1a: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180
00000b3b: DUP5
00000b3c: PUSH2 0x17dc
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH2 0x0b4a
00000b44: SWAP2
00000b45: SWAP1
00000b46: PUSH2 0x183b
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: SWAP1
00000b4c: POP
00000b4d: PUSH1 0x00
00000b4f: PUSH2 0x0b78
00000b52: DUP3
00000b53: PUSH32 0x000000000000000000000000000000000000000000000000016345785d8a0000
00000b74: PUSH2 0x185d
00000b77: JUMP
00000b78: JUMPDEST
00000b79: SWAP1
00000b7a: POP
00000b7b: PUSH2 0x0ba4
00000b7e: DUP2
00000b7f: PUSH32 0x00000000000000000000000000000000000000000000000030927f74c9de0000
00000ba0: PUSH2 0x17dc
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: SWAP4
00000ba6: POP
00000ba7: POP
00000ba8: POP
00000ba9: POP
00000baa: SWAP1
00000bab: JUMP
00000bac: JUMPDEST
00000bad: PUSH1 0x00
00000baf: SLOAD
00000bb0: PUSH1 0x01
00000bb2: PUSH1 0x01
00000bb4: PUSH1 0xa0
00000bb6: SHL
00000bb7: SUB
00000bb8: AND
00000bb9: CALLER
00000bba: EQ
00000bbb: PUSH2 0x0bd6
00000bbe: JUMPI
00000bbf: PUSH1 0x40
00000bc1: MLOAD
00000bc2: PUSH3 0x461bcd
00000bc6: PUSH1 0xe5
00000bc8: SHL
00000bc9: DUP2
00000bca: MSTORE
00000bcb: PUSH1 0x04
00000bcd: ADD
00000bce: PUSH2 0x020f
00000bd1: SWAP1
00000bd2: PUSH2 0x1791
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH1 0x0c
00000bd9: DUP1
00000bda: SLOAD
00000bdb: PUSH1 0x01
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0xa0
00000be1: SHL
00000be2: SUB
00000be3: NOT
00000be4: AND
00000be5: PUSH1 0x01
00000be7: PUSH1 0x01
00000be9: PUSH1 0xa0
00000beb: SHL
00000bec: SUB
00000bed: SWAP3
00000bee: SWAP1
00000bef: SWAP3
00000bf0: AND
00000bf1: SWAP2
00000bf2: SWAP1
00000bf3: SWAP2
00000bf4: OR
00000bf5: SWAP1
00000bf6: SSTORE
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x03
00000bfb: SLOAD
00000bfc: TIMESTAMP
00000bfd: GT
00000bfe: PUSH2 0x0c45
00000c01: JUMPI
00000c02: PUSH1 0x40
00000c04: MLOAD
00000c05: PUSH3 0x461bcd
00000c09: PUSH1 0xe5
00000c0b: SHL
00000c0c: DUP2
00000c0d: MSTORE
00000c0e: PUSH1 0x20
00000c10: PUSH1 0x04
00000c12: DUP3
00000c13: ADD
00000c14: MSTORE
00000c15: PUSH1 0x19
00000c17: PUSH1 0x24
00000c19: DUP3
00000c1a: ADD
00000c1b: MSTORE
00000c1c: PUSH25 0x41756374696f6e207374696c6c20696e2070726f6772657373
00000c36: PUSH1 0x38
00000c38: SHL
00000c39: PUSH1 0x44
00000c3b: DUP3
00000c3c: ADD
00000c3d: MSTORE
00000c3e: PUSH1 0x64
00000c40: ADD
00000c41: PUSH2 0x020f
00000c44: JUMP
00000c45: JUMPDEST
00000c46: PUSH1 0x0b
00000c48: SLOAD
00000c49: PUSH1 0x07
00000c4b: SLOAD
00000c4c: DUP1
00000c4d: DUP3
00000c4e: LT
00000c4f: PUSH2 0x0c9a
00000c52: JUMPI
00000c53: PUSH1 0x40
00000c55: MLOAD
00000c56: PUSH3 0x461bcd
00000c5a: PUSH1 0xe5
00000c5c: SHL
00000c5d: DUP2
00000c5e: MSTORE
00000c5f: PUSH1 0x20
00000c61: PUSH1 0x04
00000c63: DUP3
00000c64: ADD
00000c65: MSTORE
00000c66: PUSH1 0x19
00000c68: PUSH1 0x24
00000c6a: DUP3
00000c6b: ADD
00000c6c: MSTORE
00000c6d: PUSH32 0x526566756e647320616c72656164792070726f63657373656400000000000000
00000c8e: PUSH1 0x44
00000c90: DUP3
00000c91: ADD
00000c92: MSTORE
00000c93: PUSH1 0x64
00000c95: ADD
00000c96: PUSH2 0x020f
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH1 0x00
00000c9d: DUP1
00000c9e: GAS
00000c9f: SWAP1
00000ca0: POP
00000ca1: PUSH1 0x00
00000ca3: PUSH2 0x0caa
00000ca6: PUSH2 0x0afd
00000ca9: JUMP
00000caa: JUMPDEST
00000cab: PUSH1 0x01
00000cad: PUSH1 0x01
00000caf: PUSH1 0x50
00000cb1: SHL
00000cb2: SUB
00000cb3: AND
00000cb4: SWAP1
00000cb5: POP
00000cb6: DUP5
00000cb7: JUMPDEST
00000cb8: PUSH3 0x4c4b40
00000cbc: DUP5
00000cbd: LT
00000cbe: DUP1
00000cbf: ISZERO
00000cc0: PUSH2 0x0cc8
00000cc3: JUMPI
00000cc4: POP
00000cc5: DUP5
00000cc6: DUP2
00000cc7: LT
00000cc8: JUMPDEST
00000cc9: ISZERO
00000cca: PUSH2 0x0e99
00000ccd: JUMPI
00000cce: PUSH1 0x00
00000cd0: DUP2
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: PUSH1 0x06
00000cd5: PUSH1 0x20
00000cd7: SWAP1
00000cd8: DUP2
00000cd9: MSTORE
00000cda: PUSH1 0x40
00000cdc: DUP1
00000cdd: DUP4
00000cde: KECCAK256
00000cdf: DUP2
00000ce0: MLOAD
00000ce1: PUSH1 0x80
00000ce3: DUP2
00000ce4: ADD
00000ce5: DUP4
00000ce6: MSTORE
00000ce7: SWAP1
00000ce8: SLOAD
00000ce9: PUSH1 0x01
00000ceb: PUSH1 0x01
00000ced: PUSH1 0xa0
00000cef: SHL
00000cf0: SUB
00000cf1: DUP2
00000cf2: AND
00000cf3: DUP3
00000cf4: MSTORE
00000cf5: PUSH1 0x01
00000cf7: PUSH1 0x01
00000cf9: PUSH1 0x50
00000cfb: SHL
00000cfc: SUB
00000cfd: PUSH1 0x01
00000cff: PUSH1 0xa0
00000d01: SHL
00000d02: DUP3
00000d03: DIV
00000d04: AND
00000d05: SWAP4
00000d06: DUP3
00000d07: ADD
00000d08: SWAP4
00000d09: SWAP1
00000d0a: SWAP4
00000d0b: MSTORE
00000d0c: PUSH1 0xff
00000d0e: PUSH1 0x01
00000d10: PUSH1 0xf0
00000d12: SHL
00000d13: DUP5
00000d14: DIV
00000d15: DUP2
00000d16: AND
00000d17: SWAP3
00000d18: DUP3
00000d19: ADD
00000d1a: SWAP3
00000d1b: SWAP1
00000d1c: SWAP3
00000d1d: MSTORE
00000d1e: PUSH1 0x01
00000d20: PUSH1 0xf8
00000d22: SHL
00000d23: SWAP1
00000d24: SWAP3
00000d25: DIV
00000d26: AND
00000d27: PUSH1 0x60
00000d29: DUP3
00000d2a: ADD
00000d2b: DUP2
00000d2c: SWAP1
00000d2d: MSTORE
00000d2e: SWAP1
00000d2f: SWAP2
00000d30: SUB
00000d31: PUSH2 0x0e5e
00000d34: JUMPI
00000d35: PUSH1 0x00
00000d37: DUP2
00000d38: PUSH1 0x40
00000d3a: ADD
00000d3b: MLOAD
00000d3c: PUSH1 0xff
00000d3e: AND
00000d3f: DUP5
00000d40: DUP4
00000d41: PUSH1 0x20
00000d43: ADD
00000d44: MLOAD
00000d45: PUSH1 0x01
00000d47: PUSH1 0x01
00000d49: PUSH1 0x50
00000d4b: SHL
00000d4c: SUB
00000d4d: AND
00000d4e: PUSH2 0x0d57
00000d51: SWAP2
00000d52: SWAP1
00000d53: PUSH2 0x17dc
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH2 0x0d61
00000d5b: SWAP2
00000d5c: SWAP1
00000d5d: PUSH2 0x185d
00000d60: JUMP
00000d61: JUMPDEST
00000d62: DUP3
00000d63: MLOAD
00000d64: PUSH1 0x01
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: SHL
00000d6b: SUB
00000d6c: AND
00000d6d: PUSH1 0x00
00000d6f: SWAP1
00000d70: DUP2
00000d71: MSTORE
00000d72: PUSH1 0x04
00000d74: PUSH1 0x20
00000d76: MSTORE
00000d77: PUSH1 0x40
00000d79: SWAP1
00000d7a: KECCAK256
00000d7b: SLOAD
00000d7c: SWAP1
00000d7d: SWAP2
00000d7e: POP
00000d7f: DUP1
00000d80: ISZERO
00000d81: PUSH2 0x0dc0
00000d84: JUMPI
00000d85: DUP1
00000d86: DUP4
00000d87: PUSH1 0x40
00000d89: ADD
00000d8a: MLOAD
00000d8b: PUSH1 0xff
00000d8d: AND
00000d8e: LT
00000d8f: PUSH2 0x0d98
00000d92: JUMPI
00000d93: DUP1
00000d94: PUSH2 0x0da1
00000d97: JUMP
00000d98: JUMPDEST
00000d99: DUP3
00000d9a: PUSH1 0x40
00000d9c: ADD
00000d9d: MLOAD
00000d9e: PUSH1 0xff
00000da0: AND
00000da1: JUMPDEST
00000da2: PUSH2 0x0db3
00000da5: SWAP1
00000da6: PUSH8 0x06f05b59d3b20000
00000daf: PUSH2 0x185d
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH2 0x0dbd
00000db7: SWAP1
00000db8: DUP4
00000db9: PUSH2 0x187c
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: SWAP2
00000dbf: POP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x00
00000dc3: DUP5
00000dc4: DUP2
00000dc5: MSTORE
00000dc6: PUSH1 0x06
00000dc8: PUSH1 0x20
00000dca: MSTORE
00000dcb: PUSH1 0x40
00000dcd: SWAP1
00000dce: KECCAK256
00000dcf: DUP1
00000dd0: SLOAD
00000dd1: PUSH1 0x01
00000dd3: PUSH1 0x01
00000dd5: PUSH1 0xf8
00000dd7: SHL
00000dd8: SUB
00000dd9: AND
00000dda: PUSH1 0x01
00000ddc: PUSH1 0xf8
00000dde: SHL
00000ddf: OR
00000de0: SWAP1
00000de1: SSTORE
00000de2: DUP2
00000de3: ISZERO
00000de4: PUSH2 0x0e5b
00000de7: JUMPI
00000de8: DUP3
00000de9: MLOAD
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: PUSH1 0x00
00000def: SWAP2
00000df0: PUSH1 0x01
00000df2: PUSH1 0x01
00000df4: PUSH1 0xa0
00000df6: SHL
00000df7: SUB
00000df8: AND
00000df9: SWAP1
00000dfa: DUP5
00000dfb: SWAP1
00000dfc: DUP4
00000dfd: DUP2
00000dfe: DUP2
00000dff: DUP2
00000e00: DUP6
00000e01: DUP8
00000e02: GAS
00000e03: CALL
00000e04: SWAP3
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: RETURNDATASIZE
00000e09: DUP1
00000e0a: PUSH1 0x00
00000e0c: DUP2
00000e0d: EQ
00000e0e: PUSH2 0x0e33
00000e11: JUMPI
00000e12: PUSH1 0x40
00000e14: MLOAD
00000e15: SWAP2
00000e16: POP
00000e17: PUSH1 0x1f
00000e19: NOT
00000e1a: PUSH1 0x3f
00000e1c: RETURNDATASIZE
00000e1d: ADD
00000e1e: AND
00000e1f: DUP3
00000e20: ADD
00000e21: PUSH1 0x40
00000e23: MSTORE
00000e24: RETURNDATASIZE
00000e25: DUP3
00000e26: MSTORE
00000e27: RETURNDATASIZE
00000e28: PUSH1 0x00
00000e2a: PUSH1 0x20
00000e2c: DUP5
00000e2d: ADD
00000e2e: RETURNDATACOPY
00000e2f: PUSH2 0x0e38
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH1 0x60
00000e36: SWAP2
00000e37: POP
00000e38: JUMPDEST
00000e39: POP
00000e3a: POP
00000e3b: SWAP1
00000e3c: POP
00000e3d: DUP1
00000e3e: PUSH2 0x0e59
00000e41: JUMPI
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: PUSH3 0x461bcd
00000e49: PUSH1 0xe5
00000e4b: SHL
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: PUSH1 0x04
00000e50: ADD
00000e51: PUSH2 0x020f
00000e54: SWAP1
00000e55: PUSH2 0x1894
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: POP
00000e5b: JUMPDEST
00000e5c: POP
00000e5d: POP
00000e5e: JUMPDEST
00000e5f: GAS
00000e60: PUSH2 0x0e69
00000e63: SWAP1
00000e64: DUP6
00000e65: PUSH2 0x17dc
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: PUSH2 0x0e73
00000e6d: SWAP1
00000e6e: DUP7
00000e6f: PUSH2 0x187c
00000e72: JUMP
00000e73: JUMPDEST
00000e74: SWAP5
00000e75: POP
00000e76: GAS
00000e77: SWAP4
00000e78: POP
00000e79: DUP7
00000e7a: PUSH2 0x0e82
00000e7d: DUP2
00000e7e: PUSH2 0x1809
00000e81: JUMP
00000e82: JUMPDEST
00000e83: SWAP8
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: DUP1
00000e88: DUP1
00000e89: PUSH2 0x0e91
00000e8c: SWAP1
00000e8d: PUSH2 0x1809
00000e90: JUMP
00000e91: JUMPDEST
00000e92: SWAP2
00000e93: POP
00000e94: POP
00000e95: PUSH2 0x0cb7
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: PUSH1 0x0b
00000e9f: SWAP3
00000ea0: SWAP1
00000ea1: SWAP3
00000ea2: SSTORE
00000ea3: POP
00000ea4: POP
00000ea5: JUMP
00000ea6: JUMPDEST
00000ea7: PUSH1 0x03
00000ea9: SLOAD
00000eaa: PUSH2 0x0eb6
00000ead: SWAP1
00000eae: PUSH3 0x03f480
00000eb2: PUSH2 0x187c
00000eb5: JUMP
00000eb6: JUMPDEST
00000eb7: TIMESTAMP
00000eb8: GT
00000eb9: PUSH2 0x0f04
00000ebc: JUMPI
00000ebd: PUSH1 0x40
00000ebf: MLOAD
00000ec0: PUSH3 0x461bcd
00000ec4: PUSH1 0xe5
00000ec6: SHL
00000ec7: DUP2
00000ec8: MSTORE
00000ec9: PUSH1 0x20
00000ecb: PUSH1 0x04
00000ecd: DUP3
00000ece: ADD
00000ecf: MSTORE
00000ed0: PUSH1 0x1f
00000ed2: PUSH1 0x24
00000ed4: DUP3
00000ed5: ADD
00000ed6: MSTORE
00000ed7: PUSH32 0x506c65617365207761697420666f722061697264726f7020706572696f642e00
00000ef8: PUSH1 0x44
00000efa: DUP3
00000efb: ADD
00000efc: MSTORE
00000efd: PUSH1 0x64
00000eff: ADD
00000f00: PUSH2 0x020f
00000f03: JUMP
00000f04: JUMPDEST
00000f05: CALLER
00000f06: PUSH1 0x00
00000f08: SWAP1
00000f09: DUP2
00000f0a: MSTORE
00000f0b: PUSH1 0x05
00000f0d: PUSH1 0x20
00000f0f: SWAP1
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x40
00000f14: DUP1
00000f15: DUP4
00000f16: KECCAK256
00000f17: SLOAD
00000f18: DUP4
00000f19: MSTORE
00000f1a: PUSH1 0x06
00000f1c: DUP3
00000f1d: MSTORE
00000f1e: SWAP2
00000f1f: DUP3
00000f20: SWAP1
00000f21: KECCAK256
00000f22: DUP3
00000f23: MLOAD
00000f24: PUSH1 0x80
00000f26: DUP2
00000f27: ADD
00000f28: DUP5
00000f29: MSTORE
00000f2a: SWAP1
00000f2b: SLOAD
00000f2c: PUSH1 0x01
00000f2e: PUSH1 0x01
00000f30: PUSH1 0xa0
00000f32: SHL
00000f33: SUB
00000f34: DUP2
00000f35: AND
00000f36: DUP3
00000f37: MSTORE
00000f38: PUSH1 0x01
00000f3a: PUSH1 0x01
00000f3c: PUSH1 0x50
00000f3e: SHL
00000f3f: SUB
00000f40: PUSH1 0x01
00000f42: PUSH1 0xa0
00000f44: SHL
00000f45: DUP3
00000f46: DIV
00000f47: AND
00000f48: SWAP3
00000f49: DUP3
00000f4a: ADD
00000f4b: SWAP3
00000f4c: SWAP1
00000f4d: SWAP3
00000f4e: MSTORE
00000f4f: PUSH1 0xff
00000f51: PUSH1 0x01
00000f53: PUSH1 0xf0
00000f55: SHL
00000f56: DUP4
00000f57: DIV
00000f58: DUP2
00000f59: AND
00000f5a: SWAP4
00000f5b: DUP3
00000f5c: ADD
00000f5d: DUP5
00000f5e: SWAP1
00000f5f: MSTORE
00000f60: PUSH1 0x01
00000f62: PUSH1 0xf8
00000f64: SHL
00000f65: SWAP1
00000f66: SWAP3
00000f67: DIV
00000f68: SWAP1
00000f69: SWAP2
00000f6a: AND
00000f6b: PUSH1 0x60
00000f6d: DUP3
00000f6e: ADD
00000f6f: MSTORE
00000f70: SWAP1
00000f71: PUSH2 0x0fad
00000f74: JUMPI
00000f75: PUSH1 0x40
00000f77: MLOAD
00000f78: PUSH3 0x461bcd
00000f7c: PUSH1 0xe5
00000f7e: SHL
00000f7f: DUP2
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: PUSH1 0x04
00000f85: DUP3
00000f86: ADD
00000f87: MSTORE
00000f88: PUSH1 0x0e
00000f8a: PUSH1 0x24
00000f8c: DUP3
00000f8d: ADD
00000f8e: MSTORE
00000f8f: PUSH14 0x139bc8189a591cc81c1b1858d959
00000f9e: PUSH1 0x92
00000fa0: SHL
00000fa1: PUSH1 0x44
00000fa3: DUP3
00000fa4: ADD
00000fa5: MSTORE
00000fa6: PUSH1 0x64
00000fa8: ADD
00000fa9: PUSH2 0x020f
00000fac: JUMP
00000fad: JUMPDEST
00000fae: PUSH1 0x60
00000fb0: DUP2
00000fb1: ADD
00000fb2: MLOAD
00000fb3: PUSH1 0xff
00000fb5: AND
00000fb6: ISZERO
00000fb7: PUSH2 0x1002
00000fba: JUMPI
00000fbb: PUSH1 0x40
00000fbd: MLOAD
00000fbe: PUSH3 0x461bcd
00000fc2: PUSH1 0xe5
00000fc4: SHL
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: PUSH1 0x04
00000fcb: DUP3
00000fcc: ADD
00000fcd: MSTORE
00000fce: PUSH1 0x18
00000fd0: PUSH1 0x24
00000fd2: DUP3
00000fd3: ADD
00000fd4: MSTORE
00000fd5: PUSH32 0x526566756e6420616c72656164792070726f6365737365640000000000000000
00000ff6: PUSH1 0x44
00000ff8: DUP3
00000ff9: ADD
00000ffa: MSTORE
00000ffb: PUSH1 0x64
00000ffd: ADD
00000ffe: PUSH2 0x020f
00001001: JUMP
00001002: JUMPDEST
00001003: CALLER
00001004: PUSH1 0x00
00001006: SWAP1
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x05
0000100b: PUSH1 0x20
0000100d: SWAP1
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x40
00001012: DUP1
00001013: DUP4
00001014: KECCAK256
00001015: SLOAD
00001016: DUP4
00001017: MSTORE
00001018: PUSH1 0x06
0000101a: DUP3
0000101b: MSTORE
0000101c: DUP1
0000101d: DUP4
0000101e: KECCAK256
0000101f: DUP1
00001020: SLOAD
00001021: PUSH1 0x01
00001023: PUSH1 0x01
00001025: PUSH1 0xf8
00001027: SHL
00001028: SUB
00001029: AND
0000102a: PUSH1 0x01
0000102c: PUSH1 0xf9
0000102e: SHL
0000102f: OR
00001030: SWAP1
00001031: SSTORE
00001032: DUP4
00001033: MLOAD
00001034: SWAP1
00001035: DUP5
00001036: ADD
00001037: MLOAD
00001038: SWAP2
00001039: DUP5
0000103a: ADD
0000103b: MLOAD
0000103c: PUSH1 0x01
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: SHL
00001043: SUB
00001044: SWAP1
00001045: SWAP2
00001046: AND
00001047: SWAP2
00001048: PUSH2 0x1056
0000104b: SWAP2
0000104c: PUSH1 0xff
0000104e: SWAP1
0000104f: SWAP2
00001050: AND
00001051: SWAP1
00001052: PUSH2 0x18cb
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x01
00001059: PUSH1 0x01
0000105b: PUSH1 0x50
0000105d: SHL
0000105e: SUB
0000105f: AND
00001060: PUSH1 0x40
00001062: MLOAD
00001063: PUSH1 0x00
00001065: PUSH1 0x40
00001067: MLOAD
00001068: DUP1
00001069: DUP4
0000106a: SUB
0000106b: DUP2
0000106c: DUP6
0000106d: DUP8
0000106e: GAS
0000106f: CALL
00001070: SWAP3
00001071: POP
00001072: POP
00001073: POP
00001074: RETURNDATASIZE
00001075: DUP1
00001076: PUSH1 0x00
00001078: DUP2
00001079: EQ
0000107a: PUSH2 0x109f
0000107d: JUMPI
0000107e: PUSH1 0x40
00001080: MLOAD
00001081: SWAP2
00001082: POP
00001083: PUSH1 0x1f
00001085: NOT
00001086: PUSH1 0x3f
00001088: RETURNDATASIZE
00001089: ADD
0000108a: AND
0000108b: DUP3
0000108c: ADD
0000108d: PUSH1 0x40
0000108f: MSTORE
00001090: RETURNDATASIZE
00001091: DUP3
00001092: MSTORE
00001093: RETURNDATASIZE
00001094: PUSH1 0x00
00001096: PUSH1 0x20
00001098: DUP5
00001099: ADD
0000109a: RETURNDATACOPY
0000109b: PUSH2 0x10a4
0000109e: JUMP
0000109f: JUMPDEST
000010a0: PUSH1 0x60
000010a2: SWAP2
000010a3: POP
000010a4: JUMPDEST
000010a5: POP
000010a6: POP
000010a7: SWAP1
000010a8: POP
000010a9: DUP1
000010aa: PUSH2 0x10c5
000010ad: JUMPI
000010ae: PUSH1 0x40
000010b0: MLOAD
000010b1: PUSH3 0x461bcd
000010b5: PUSH1 0xe5
000010b7: SHL
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x04
000010bc: ADD
000010bd: PUSH2 0x020f
000010c0: SWAP1
000010c1: PUSH2 0x1894
000010c4: JUMP
000010c5: JUMPDEST
000010c6: POP
000010c7: POP
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH1 0x00
000010cc: SLOAD
000010cd: PUSH1 0x01
000010cf: PUSH1 0x01
000010d1: PUSH1 0xa0
000010d3: SHL
000010d4: SUB
000010d5: AND
000010d6: CALLER
000010d7: EQ
000010d8: PUSH2 0x10f3
000010db: JUMPI
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: PUSH3 0x461bcd
000010e3: PUSH1 0xe5
000010e5: SHL
000010e6: DUP2
000010e7: MSTORE
000010e8: PUSH1 0x04
000010ea: ADD
000010eb: PUSH2 0x020f
000010ee: SWAP1
000010ef: PUSH2 0x1791
000010f2: JUMP
000010f3: JUMPDEST
000010f4: PUSH1 0x01
000010f6: PUSH1 0x01
000010f8: PUSH1 0xa0
000010fa: SHL
000010fb: SUB
000010fc: DUP2
000010fd: AND
000010fe: PUSH2 0x1158
00001101: JUMPI
00001102: PUSH1 0x40
00001104: MLOAD
00001105: PUSH3 0x461bcd
00001109: PUSH1 0xe5
0000110b: SHL
0000110c: DUP2
0000110d: MSTORE
0000110e: PUSH1 0x20
00001110: PUSH1 0x04
00001112: DUP3
00001113: ADD
00001114: MSTORE
00001115: PUSH1 0x26
00001117: PUSH1 0x24
00001119: DUP3
0000111a: ADD
0000111b: MSTORE
0000111c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000113d: PUSH1 0x44
0000113f: DUP3
00001140: ADD
00001141: MSTORE
00001142: PUSH6 0x646472657373
00001149: PUSH1 0xd0
0000114b: SHL
0000114c: PUSH1 0x64
0000114e: DUP3
0000114f: ADD
00001150: MSTORE
00001151: PUSH1 0x84
00001153: ADD
00001154: PUSH2 0x020f
00001157: JUMP
00001158: JUMPDEST
00001159: PUSH2 0x075e
0000115c: DUP2
0000115d: PUSH2 0x161d
00001160: JUMP
00001161: JUMPDEST
00001162: PUSH32 0x0000000000000000000000000000000000000000000000000000000062631180
00001183: TIMESTAMP
00001184: GT
00001185: PUSH2 0x11d0
00001188: JUMPI
00001189: PUSH1 0x40
0000118b: MLOAD
0000118c: PUSH3 0x461bcd
00001190: PUSH1 0xe5
00001192: SHL
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x20
00001197: PUSH1 0x04
00001199: DUP3
0000119a: ADD
0000119b: MSTORE
0000119c: PUSH1 0x17
0000119e: PUSH1 0x24
000011a0: DUP3
000011a1: ADD
000011a2: MSTORE
000011a3: PUSH32 0x41756374696f6e206e6f74207374617274656420796574000000000000000000
000011c4: PUSH1 0x44
000011c6: DUP3
000011c7: ADD
000011c8: MSTORE
000011c9: PUSH1 0x64
000011cb: ADD
000011cc: PUSH2 0x020f
000011cf: JUMP
000011d0: JUMPDEST
000011d1: PUSH1 0x03
000011d3: SLOAD
000011d4: TIMESTAMP
000011d5: LT
000011d6: PUSH2 0x1213
000011d9: JUMPI
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: PUSH3 0x461bcd
000011e1: PUSH1 0xe5
000011e3: SHL
000011e4: DUP2
000011e5: MSTORE
000011e6: PUSH1 0x20
000011e8: PUSH1 0x04
000011ea: DUP3
000011eb: ADD
000011ec: MSTORE
000011ed: PUSH1 0x0f
000011ef: PUSH1 0x24
000011f1: DUP3
000011f2: ADD
000011f3: MSTORE
000011f4: PUSH15 0x105d58dd1a5bdb88195e1c1a5c9959
00001204: PUSH1 0x8a
00001206: SHL
00001207: PUSH1 0x44
00001209: DUP3
0000120a: ADD
0000120b: MSTORE
0000120c: PUSH1 0x64
0000120e: ADD
0000120f: PUSH2 0x020f
00001212: JUMP
00001213: JUMPDEST
00001214: PUSH1 0x00
00001216: PUSH2 0x121d
00001219: PUSH2 0x0afd
0000121c: JUMP
0000121d: JUMPDEST
0000121e: SWAP1
0000121f: POP
00001220: PUSH1 0x00
00001222: PUSH2 0x122e
00001225: PUSH1 0xff
00001227: DUP6
00001228: AND
00001229: DUP4
0000122a: PUSH2 0x18cb
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH1 0x01
00001231: PUSH1 0x01
00001233: PUSH1 0x50
00001235: SHL
00001236: SUB
00001237: AND
00001238: SWAP1
00001239: POP
0000123a: DUP1
0000123b: DUP4
0000123c: LT
0000123d: ISZERO
0000123e: PUSH2 0x127f
00001241: JUMPI
00001242: PUSH1 0x40
00001244: MLOAD
00001245: PUSH3 0x461bcd
00001249: PUSH1 0xe5
0000124b: SHL
0000124c: DUP2
0000124d: MSTORE
0000124e: PUSH1 0x20
00001250: PUSH1 0x04
00001252: DUP3
00001253: ADD
00001254: MSTORE
00001255: PUSH1 0x13
00001257: PUSH1 0x24
00001259: DUP3
0000125a: ADD
0000125b: MSTORE
0000125c: PUSH19 0x084d2c840dcdee840d0d2ced040cadcdeeaced
00001270: PUSH1 0x6b
00001272: SHL
00001273: PUSH1 0x44
00001275: DUP3
00001276: ADD
00001277: MSTORE
00001278: PUSH1 0x64
0000127a: ADD
0000127b: PUSH2 0x020f
0000127e: JUMP
0000127f: JUMPDEST
00001280: CALLER
00001281: PUSH1 0x00
00001283: SWAP1
00001284: DUP2
00001285: MSTORE
00001286: PUSH1 0x05
00001288: PUSH1 0x20
0000128a: MSTORE
0000128b: PUSH1 0x40
0000128d: SWAP1
0000128e: KECCAK256
0000128f: SLOAD
00001290: PUSH2 0x12b9
00001293: PUSH1 0x40
00001295: DUP1
00001296: MLOAD
00001297: PUSH1 0x80
00001299: DUP2
0000129a: ADD
0000129b: DUP3
0000129c: MSTORE
0000129d: PUSH1 0x00
0000129f: DUP1
000012a0: DUP3
000012a1: MSTORE
000012a2: PUSH1 0x20
000012a4: DUP3
000012a5: ADD
000012a6: DUP2
000012a7: SWAP1
000012a8: MSTORE
000012a9: SWAP2
000012aa: DUP2
000012ab: ADD
000012ac: DUP3
000012ad: SWAP1
000012ae: MSTORE
000012af: PUSH1 0x60
000012b1: DUP2
000012b2: ADD
000012b3: SWAP2
000012b4: SWAP1
000012b5: SWAP2
000012b6: MSTORE
000012b7: SWAP1
000012b8: JUMP
000012b9: JUMPDEST
000012ba: PUSH1 0x00
000012bc: DUP3
000012bd: ISZERO
000012be: PUSH2 0x134c
000012c1: JUMPI
000012c2: PUSH1 0x00
000012c4: DUP4
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x06
000012c9: PUSH1 0x20
000012cb: SWAP1
000012cc: DUP2
000012cd: MSTORE
000012ce: PUSH1 0x40
000012d0: SWAP2
000012d1: DUP3
000012d2: SWAP1
000012d3: KECCAK256
000012d4: DUP3
000012d5: MLOAD
000012d6: PUSH1 0x80
000012d8: DUP2
000012d9: ADD
000012da: DUP5
000012db: MSTORE
000012dc: SWAP1
000012dd: SLOAD
000012de: PUSH1 0x01
000012e0: PUSH1 0x01
000012e2: PUSH1 0xa0
000012e4: SHL
000012e5: SUB
000012e6: DUP2
000012e7: AND
000012e8: DUP3
000012e9: MSTORE
000012ea: PUSH1 0x01
000012ec: PUSH1 0x01
000012ee: PUSH1 0x50
000012f0: SHL
000012f1: SUB
000012f2: PUSH1 0x01
000012f4: PUSH1 0xa0
000012f6: SHL
000012f7: DUP3
000012f8: DIV
000012f9: AND
000012fa: SWAP3
000012fb: DUP3
000012fc: ADD
000012fd: DUP4
000012fe: SWAP1
000012ff: MSTORE
00001300: PUSH1 0xff
00001302: PUSH1 0x01
00001304: PUSH1 0xf0
00001306: SHL
00001307: DUP3
00001308: DIV
00001309: DUP2
0000130a: AND
0000130b: SWAP5
0000130c: DUP4
0000130d: ADD
0000130e: SWAP5
0000130f: SWAP1
00001310: SWAP5
00001311: MSTORE
00001312: PUSH1 0x01
00001314: PUSH1 0xf8
00001316: SHL
00001317: SWAP1
00001318: DIV
00001319: SWAP1
0000131a: SWAP3
0000131b: AND
0000131c: PUSH1 0x60
0000131e: DUP4
0000131f: ADD
00001320: MSTORE
00001321: SWAP1
00001322: SWAP3
00001323: POP
00001324: PUSH2 0x132e
00001327: SWAP1
00001328: DUP7
00001329: SWAP1
0000132a: PUSH2 0x18fa
0000132d: JUMP
0000132e: JUMPDEST
0000132f: DUP3
00001330: PUSH1 0x40
00001332: ADD
00001333: MLOAD
00001334: PUSH1 0xff
00001336: AND
00001337: PUSH2 0x1340
0000133a: SWAP2
0000133b: SWAP1
0000133c: PUSH2 0x18cb
0000133f: JUMP
00001340: JUMPDEST
00001341: PUSH1 0x01
00001343: PUSH1 0x01
00001345: PUSH1 0x50
00001347: SHL
00001348: SUB
00001349: AND
0000134a: SWAP1
0000134b: POP
0000134c: JUMPDEST
0000134d: PUSH1 0x00
0000134f: DUP8
00001350: PUSH1 0xff
00001352: AND
00001353: PUSH1 0x08
00001355: SLOAD
00001356: PUSH2 0x135f
00001359: SWAP2
0000135a: SWAP1
0000135b: PUSH2 0x187c
0000135e: JUMP
0000135f: JUMPDEST
00001360: SWAP1
00001361: POP
00001362: DUP8
00001363: DUP4
00001364: PUSH1 0x40
00001366: ADD
00001367: DUP2
00001368: DUP2
00001369: MLOAD
0000136a: PUSH2 0x1373
0000136d: SWAP2
0000136e: SWAP1
0000136f: PUSH2 0x1922
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0xff
00001376: SWAP1
00001377: DUP2
00001378: AND
00001379: SWAP1
0000137a: SWAP2
0000137b: MSTORE
0000137c: PUSH1 0x0a
0000137e: SLOAD
0000137f: PUSH1 0x40
00001381: DUP7
00001382: ADD
00001383: MLOAD
00001384: SWAP1
00001385: SWAP2
00001386: AND
00001387: GT
00001388: ISZERO
00001389: SWAP1
0000138a: POP
0000138b: PUSH2 0x13d6
0000138e: JUMPI
0000138f: PUSH1 0x40
00001391: MLOAD
00001392: PUSH3 0x461bcd
00001396: PUSH1 0xe5
00001398: SHL
00001399: DUP2
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: PUSH1 0x04
0000139f: DUP3
000013a0: ADD
000013a1: MSTORE
000013a2: PUSH1 0x17
000013a4: PUSH1 0x24
000013a6: DUP3
000013a7: ADD
000013a8: MSTORE
000013a9: PUSH32 0x42696464696e67206c696d697473206578636565646564000000000000000000
000013ca: PUSH1 0x44
000013cc: DUP3
000013cd: ADD
000013ce: MSTORE
000013cf: PUSH1 0x64
000013d1: ADD
000013d2: PUSH2 0x020f
000013d5: JUMP
000013d6: JUMPDEST
000013d7: PUSH1 0x02
000013d9: SLOAD
000013da: DUP2
000013db: GT
000013dc: ISZERO
000013dd: PUSH2 0x1417
000013e0: JUMPI
000013e1: PUSH1 0x40
000013e3: MLOAD
000013e4: PUSH3 0x461bcd
000013e8: PUSH1 0xe5
000013ea: SHL
000013eb: DUP2
000013ec: MSTORE
000013ed: PUSH1 0x20
000013ef: PUSH1 0x04
000013f1: DUP3
000013f2: ADD
000013f3: MSTORE
000013f4: PUSH1 0x0c
000013f6: PUSH1 0x24
000013f8: DUP3
000013f9: ADD
000013fa: MSTORE
000013fb: PUSH12 0x105d58dd1a5bdb88119d5b1b
00001408: PUSH1 0xa2
0000140a: SHL
0000140b: PUSH1 0x44
0000140d: DUP3
0000140e: ADD
0000140f: MSTORE
00001410: PUSH1 0x64
00001412: ADD
00001413: PUSH2 0x020f
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x02
0000141a: SLOAD
0000141b: DUP2
0000141c: SUB
0000141d: PUSH2 0x1425
00001420: JUMPI
00001421: TIMESTAMP
00001422: PUSH1 0x03
00001424: SSTORE
00001425: JUMPDEST
00001426: PUSH1 0x01
00001428: PUSH1 0x01
0000142a: PUSH1 0x50
0000142c: SHL
0000142d: SUB
0000142e: DUP7
0000142f: AND
00001430: PUSH1 0x20
00001432: DUP5
00001433: ADD
00001434: MSTORE
00001435: DUP4
00001436: ISZERO
00001437: PUSH2 0x14c3
0000143a: JUMPI
0000143b: PUSH1 0x00
0000143d: DUP5
0000143e: DUP2
0000143f: MSTORE
00001440: PUSH1 0x06
00001442: PUSH1 0x20
00001444: SWAP1
00001445: DUP2
00001446: MSTORE
00001447: PUSH1 0x40
00001449: SWAP2
0000144a: DUP3
0000144b: SWAP1
0000144c: KECCAK256
0000144d: DUP6
0000144e: MLOAD
0000144f: DUP2
00001450: SLOAD
00001451: SWAP3
00001452: DUP8
00001453: ADD
00001454: MLOAD
00001455: SWAP4
00001456: DUP8
00001457: ADD
00001458: MLOAD
00001459: PUSH1 0x60
0000145b: DUP9
0000145c: ADD
0000145d: MLOAD
0000145e: PUSH1 0xff
00001460: SWAP1
00001461: DUP2
00001462: AND
00001463: PUSH1 0x01
00001465: PUSH1 0xf8
00001467: SHL
00001468: MUL
00001469: PUSH1 0x01
0000146b: PUSH1 0x01
0000146d: PUSH1 0xf8
0000146f: SHL
00001470: SUB
00001471: SWAP2
00001472: SWAP1
00001473: SWAP3
00001474: AND
00001475: PUSH1 0x01
00001477: PUSH1 0xf0
00001479: SHL
0000147a: MUL
0000147b: AND
0000147c: PUSH1 0x01
0000147e: PUSH1 0x01
00001480: PUSH1 0xf0
00001482: SHL
00001483: SUB
00001484: PUSH1 0x01
00001486: PUSH1 0x01
00001488: PUSH1 0x50
0000148a: SHL
0000148b: SUB
0000148c: SWAP1
0000148d: SWAP7
0000148e: AND
0000148f: PUSH1 0x01
00001491: PUSH1 0xa0
00001493: SHL
00001494: MUL
00001495: PUSH1 0x01
00001497: PUSH1 0x01
00001499: PUSH1 0xf0
0000149b: SHL
0000149c: SUB
0000149d: NOT
0000149e: SWAP1
0000149f: SWAP6
000014a0: AND
000014a1: PUSH1 0x01
000014a3: PUSH1 0x01
000014a5: PUSH1 0xa0
000014a7: SHL
000014a8: SUB
000014a9: SWAP1
000014aa: SWAP4
000014ab: AND
000014ac: SWAP3
000014ad: SWAP1
000014ae: SWAP3
000014af: OR
000014b0: SWAP4
000014b1: SWAP1
000014b2: SWAP4
000014b3: OR
000014b4: SWAP4
000014b5: SWAP1
000014b6: SWAP4
000014b7: AND
000014b8: SWAP3
000014b9: SWAP1
000014ba: SWAP3
000014bb: OR
000014bc: OR
000014bd: SWAP1
000014be: SSTORE
000014bf: PUSH2 0x156e
000014c2: JUMP
000014c3: JUMPDEST
000014c4: CALLER
000014c5: DUP1
000014c6: DUP5
000014c7: MSTORE
000014c8: PUSH1 0x07
000014ca: DUP1
000014cb: SLOAD
000014cc: PUSH1 0x00
000014ce: SWAP3
000014cf: DUP4
000014d0: MSTORE
000014d1: PUSH1 0x05
000014d3: PUSH1 0x20
000014d5: SWAP1
000014d6: DUP2
000014d7: MSTORE
000014d8: PUSH1 0x40
000014da: DUP1
000014db: DUP6
000014dc: KECCAK256
000014dd: DUP4
000014de: SWAP1
000014df: SSTORE
000014e0: SWAP2
000014e1: DUP5
000014e2: MSTORE
000014e3: PUSH1 0x06
000014e5: DUP2
000014e6: MSTORE
000014e7: DUP2
000014e8: DUP5
000014e9: KECCAK256
000014ea: DUP8
000014eb: MLOAD
000014ec: DUP2
000014ed: SLOAD
000014ee: SWAP3
000014ef: DUP10
000014f0: ADD
000014f1: MLOAD
000014f2: SWAP4
000014f3: DUP10
000014f4: ADD
000014f5: MLOAD
000014f6: PUSH1 0x60
000014f8: DUP11
000014f9: ADD
000014fa: MLOAD
000014fb: PUSH1 0xff
000014fd: SWAP1
000014fe: DUP2
000014ff: AND
00001500: PUSH1 0x01
00001502: PUSH1 0xf8
00001504: SHL
00001505: MUL
00001506: PUSH1 0x01
00001508: PUSH1 0x01
0000150a: PUSH1 0xf8
0000150c: SHL
0000150d: SUB
0000150e: SWAP2
0000150f: SWAP1
00001510: SWAP3
00001511: AND
00001512: PUSH1 0x01
00001514: PUSH1 0xf0
00001516: SHL
00001517: MUL
00001518: AND
00001519: PUSH1 0x01
0000151b: PUSH1 0x01
0000151d: PUSH1 0xf0
0000151f: SHL
00001520: SUB
00001521: PUSH1 0x01
00001523: PUSH1 0x01
00001525: PUSH1 0x50
00001527: SHL
00001528: SUB
00001529: SWAP1
0000152a: SWAP7
0000152b: AND
0000152c: PUSH1 0x01
0000152e: PUSH1 0xa0
00001530: SHL
00001531: MUL
00001532: PUSH1 0x01
00001534: PUSH1 0x01
00001536: PUSH1 0xf0
00001538: SHL
00001539: SUB
0000153a: NOT
0000153b: SWAP1
0000153c: SWAP6
0000153d: AND
0000153e: PUSH1 0x01
00001540: PUSH1 0x01
00001542: PUSH1 0xa0
00001544: SHL
00001545: SUB
00001546: SWAP4
00001547: SWAP1
00001548: SWAP4
00001549: AND
0000154a: SWAP3
0000154b: SWAP1
0000154c: SWAP3
0000154d: OR
0000154e: SWAP4
0000154f: SWAP1
00001550: SWAP4
00001551: OR
00001552: SWAP4
00001553: SWAP1
00001554: SWAP4
00001555: AND
00001556: SWAP3
00001557: SWAP1
00001558: SWAP3
00001559: OR
0000155a: OR
0000155b: SWAP1
0000155c: SSTORE
0000155d: DUP1
0000155e: SLOAD
0000155f: SWAP2
00001560: PUSH2 0x1568
00001563: DUP4
00001564: PUSH2 0x1809
00001567: JUMP
00001568: JUMPDEST
00001569: SWAP2
0000156a: SWAP1
0000156b: POP
0000156c: SSTORE
0000156d: POP
0000156e: JUMPDEST
0000156f: DUP1
00001570: PUSH1 0x08
00001572: DUP2
00001573: SWAP1
00001574: SSTORE
00001575: POP
00001576: DUP5
00001577: PUSH1 0x09
00001579: PUSH1 0x00
0000157b: DUP3
0000157c: DUP3
0000157d: SLOAD
0000157e: PUSH2 0x1587
00001581: SWAP2
00001582: SWAP1
00001583: PUSH2 0x187c
00001586: JUMP
00001587: JUMPDEST
00001588: SWAP1
00001589: SWAP2
0000158a: SSTORE
0000158b: POP
0000158c: PUSH2 0x1597
0000158f: SWAP1
00001590: POP
00001591: DUP6
00001592: DUP9
00001593: PUSH2 0x17dc
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH2 0x15a1
0000159b: SWAP1
0000159c: DUP4
0000159d: PUSH2 0x187c
000015a0: JUMP
000015a1: JUMPDEST
000015a2: SWAP2
000015a3: POP
000015a4: DUP2
000015a5: ISZERO
000015a6: PUSH2 0x1613
000015a9: JUMPI
000015aa: PUSH1 0x40
000015ac: MLOAD
000015ad: PUSH1 0x00
000015af: SWAP1
000015b0: CALLER
000015b1: SWAP1
000015b2: DUP5
000015b3: SWAP1
000015b4: DUP4
000015b5: DUP2
000015b6: DUP2
000015b7: DUP2
000015b8: DUP6
000015b9: DUP8
000015ba: GAS
000015bb: CALL
000015bc: SWAP3
000015bd: POP
000015be: POP
000015bf: POP
000015c0: RETURNDATASIZE
000015c1: DUP1
000015c2: PUSH1 0x00
000015c4: DUP2
000015c5: EQ
000015c6: PUSH2 0x15eb
000015c9: JUMPI
000015ca: PUSH1 0x40
000015cc: MLOAD
000015cd: SWAP2
000015ce: POP
000015cf: PUSH1 0x1f
000015d1: NOT
000015d2: PUSH1 0x3f
000015d4: RETURNDATASIZE
000015d5: ADD
000015d6: AND
000015d7: DUP3
000015d8: ADD
000015d9: PUSH1 0x40
000015db: MSTORE
000015dc: RETURNDATASIZE
000015dd: DUP3
000015de: MSTORE
000015df: RETURNDATASIZE
000015e0: PUSH1 0x00
000015e2: PUSH1 0x20
000015e4: DUP5
000015e5: ADD
000015e6: RETURNDATACOPY
000015e7: PUSH2 0x15f0
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH1 0x60
000015ee: SWAP2
000015ef: POP
000015f0: JUMPDEST
000015f1: POP
000015f2: POP
000015f3: SWAP1
000015f4: POP
000015f5: DUP1
000015f6: PUSH2 0x1611
000015f9: JUMPI
000015fa: PUSH1 0x40
000015fc: MLOAD
000015fd: PUSH3 0x461bcd
00001601: PUSH1 0xe5
00001603: SHL
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x04
00001608: ADD
00001609: PUSH2 0x020f
0000160c: SWAP1
0000160d: PUSH2 0x1894
00001610: JUMP
00001611: JUMPDEST
00001612: POP
00001613: JUMPDEST
00001614: POP
00001615: POP
00001616: POP
00001617: POP
00001618: POP
00001619: POP
0000161a: POP
0000161b: POP
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH1 0x00
00001620: DUP1
00001621: SLOAD
00001622: PUSH1 0x01
00001624: PUSH1 0x01
00001626: PUSH1 0xa0
00001628: SHL
00001629: SUB
0000162a: DUP4
0000162b: DUP2
0000162c: AND
0000162d: PUSH1 0x01
0000162f: PUSH1 0x01
00001631: PUSH1 0xa0
00001633: SHL
00001634: SUB
00001635: NOT
00001636: DUP4
00001637: AND
00001638: DUP2
00001639: OR
0000163a: DUP5
0000163b: SSTORE
0000163c: PUSH1 0x40
0000163e: MLOAD
0000163f: SWAP2
00001640: SWAP1
00001641: SWAP3
00001642: AND
00001643: SWAP3
00001644: DUP4
00001645: SWAP2
00001646: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001667: SWAP2
00001668: SWAP1
00001669: LOG3
0000166a: POP
0000166b: POP
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH1 0x00
00001670: PUSH1 0x20
00001672: DUP3
00001673: DUP5
00001674: SUB
00001675: SLT
00001676: ISZERO
00001677: PUSH2 0x167f
0000167a: JUMPI
0000167b: PUSH1 0x00
0000167d: DUP1
0000167e: REVERT
0000167f: JUMPDEST
00001680: DUP2
00001681: CALLDATALOAD
00001682: PUSH1 0x01
00001684: PUSH1 0x01
00001686: PUSH1 0xa0
00001688: SHL
00001689: SUB
0000168a: DUP2
0000168b: AND
0000168c: DUP2
0000168d: EQ
0000168e: PUSH2 0x1696
00001691: JUMPI
00001692: PUSH1 0x00
00001694: DUP1
00001695: REVERT
00001696: JUMPDEST
00001697: SWAP4
00001698: SWAP3
00001699: POP
0000169a: POP
0000169b: POP
0000169c: JUMP
0000169d: JUMPDEST
0000169e: PUSH1 0x00
000016a0: PUSH1 0x20
000016a2: DUP3
000016a3: DUP5
000016a4: SUB
000016a5: SLT
000016a6: ISZERO
000016a7: PUSH2 0x16af
000016aa: JUMPI
000016ab: PUSH1 0x00
000016ad: DUP1
000016ae: REVERT
000016af: JUMPDEST
000016b0: POP
000016b1: CALLDATALOAD
000016b2: SWAP2
000016b3: SWAP1
000016b4: POP
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH1 0x00
000016b9: PUSH1 0x20
000016bb: DUP3
000016bc: DUP5
000016bd: SUB
000016be: SLT
000016bf: ISZERO
000016c0: PUSH2 0x16c8
000016c3: JUMPI
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: REVERT
000016c8: JUMPDEST
000016c9: DUP2
000016ca: CALLDATALOAD
000016cb: PUSH1 0xff
000016cd: DUP2
000016ce: AND
000016cf: DUP2
000016d0: EQ
000016d1: PUSH2 0x1696
000016d4: JUMPI
000016d5: PUSH1 0x00
000016d7: DUP1
000016d8: REVERT
000016d9: JUMPDEST
000016da: PUSH1 0x00
000016dc: DUP1
000016dd: DUP4
000016de: PUSH1 0x1f
000016e0: DUP5
000016e1: ADD
000016e2: SLT
000016e3: PUSH2 0x16eb
000016e6: JUMPI
000016e7: PUSH1 0x00
000016e9: DUP1
000016ea: REVERT
000016eb: JUMPDEST
000016ec: POP
000016ed: DUP2
000016ee: CALLDATALOAD
000016ef: PUSH8 0xffffffffffffffff
000016f8: DUP2
000016f9: GT
000016fa: ISZERO
000016fb: PUSH2 0x1703
000016fe: JUMPI
000016ff: PUSH1 0x00
00001701: DUP1
00001702: REVERT
00001703: JUMPDEST
00001704: PUSH1 0x20
00001706: DUP4
00001707: ADD
00001708: SWAP2
00001709: POP
0000170a: DUP4
0000170b: PUSH1 0x20
0000170d: DUP3
0000170e: PUSH1 0x05
00001710: SHL
00001711: DUP6
00001712: ADD
00001713: ADD
00001714: GT
00001715: ISZERO
00001716: PUSH2 0x171e
00001719: JUMPI
0000171a: PUSH1 0x00
0000171c: DUP1
0000171d: REVERT
0000171e: JUMPDEST
0000171f: SWAP3
00001720: POP
00001721: SWAP3
00001722: SWAP1
00001723: POP
00001724: JUMP
00001725: JUMPDEST
00001726: PUSH1 0x00
00001728: DUP1
00001729: PUSH1 0x00
0000172b: DUP1
0000172c: PUSH1 0x40
0000172e: DUP6
0000172f: DUP8
00001730: SUB
00001731: SLT
00001732: ISZERO
00001733: PUSH2 0x173b
00001736: JUMPI
00001737: PUSH1 0x00
00001739: DUP1
0000173a: REVERT
0000173b: JUMPDEST
0000173c: DUP5
0000173d: CALLDATALOAD
0000173e: PUSH8 0xffffffffffffffff
00001747: DUP1
00001748: DUP3
00001749: GT
0000174a: ISZERO
0000174b: PUSH2 0x1753
0000174e: JUMPI
0000174f: PUSH1 0x00
00001751: DUP1
00001752: REVERT
00001753: JUMPDEST
00001754: PUSH2 0x175f
00001757: DUP9
00001758: DUP4
00001759: DUP10
0000175a: ADD
0000175b: PUSH2 0x16d9
0000175e: JUMP
0000175f: JUMPDEST
00001760: SWAP1
00001761: SWAP7
00001762: POP
00001763: SWAP5
00001764: POP
00001765: PUSH1 0x20
00001767: DUP8
00001768: ADD
00001769: CALLDATALOAD
0000176a: SWAP2
0000176b: POP
0000176c: DUP1
0000176d: DUP3
0000176e: GT
0000176f: ISZERO
00001770: PUSH2 0x1778
00001773: JUMPI
00001774: PUSH1 0x00
00001776: DUP1
00001777: REVERT
00001778: JUMPDEST
00001779: POP
0000177a: PUSH2 0x1785
0000177d: DUP8
0000177e: DUP3
0000177f: DUP9
00001780: ADD
00001781: PUSH2 0x16d9
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP6
00001787: SWAP9
00001788: SWAP5
00001789: SWAP8
0000178a: POP
0000178b: SWAP6
0000178c: POP
0000178d: POP
0000178e: POP
0000178f: POP
00001790: JUMP
00001791: JUMPDEST
00001792: PUSH1 0x20
00001794: DUP1
00001795: DUP3
00001796: MSTORE
00001797: DUP2
00001798: DUP2
00001799: ADD
0000179a: MSTORE
0000179b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000017bc: PUSH1 0x40
000017be: DUP3
000017bf: ADD
000017c0: MSTORE
000017c1: PUSH1 0x60
000017c3: ADD
000017c4: SWAP1
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH4 0x4e487b71
000017cc: PUSH1 0xe0
000017ce: SHL
000017cf: PUSH1 0x00
000017d1: MSTORE
000017d2: PUSH1 0x11
000017d4: PUSH1 0x04
000017d6: MSTORE
000017d7: PUSH1 0x24
000017d9: PUSH1 0x00
000017db: REVERT
000017dc: JUMPDEST
000017dd: PUSH1 0x00
000017df: DUP3
000017e0: DUP3
000017e1: LT
000017e2: ISZERO
000017e3: PUSH2 0x17ee
000017e6: JUMPI
000017e7: PUSH2 0x17ee
000017ea: PUSH2 0x17c6
000017ed: JUMP
000017ee: JUMPDEST
000017ef: POP
000017f0: SUB
000017f1: SWAP1
000017f2: JUMP
000017f3: JUMPDEST
000017f4: PUSH4 0x4e487b71
000017f9: PUSH1 0xe0
000017fb: SHL
000017fc: PUSH1 0x00
000017fe: MSTORE
000017ff: PUSH1 0x32
00001801: PUSH1 0x04
00001803: MSTORE
00001804: PUSH1 0x24
00001806: PUSH1 0x00
00001808: REVERT
00001809: JUMPDEST
0000180a: PUSH1 0x00
0000180c: PUSH1 0x01
0000180e: DUP3
0000180f: ADD
00001810: PUSH2 0x181b
00001813: JUMPI
00001814: PUSH2 0x181b
00001817: PUSH2 0x17c6
0000181a: JUMP
0000181b: JUMPDEST
0000181c: POP
0000181d: PUSH1 0x01
0000181f: ADD
00001820: SWAP1
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0x00
00001825: PUSH1 0x20
00001827: DUP3
00001828: DUP5
00001829: SUB
0000182a: SLT
0000182b: ISZERO
0000182c: PUSH2 0x1834
0000182f: JUMPI
00001830: PUSH1 0x00
00001832: DUP1
00001833: REVERT
00001834: JUMPDEST
00001835: POP
00001836: MLOAD
00001837: SWAP2
00001838: SWAP1
00001839: POP
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH1 0x00
0000183e: DUP3
0000183f: PUSH2 0x1858
00001842: JUMPI
00001843: PUSH4 0x4e487b71
00001848: PUSH1 0xe0
0000184a: SHL
0000184b: PUSH1 0x00
0000184d: MSTORE
0000184e: PUSH1 0x12
00001850: PUSH1 0x04
00001852: MSTORE
00001853: PUSH1 0x24
00001855: PUSH1 0x00
00001857: REVERT
00001858: JUMPDEST
00001859: POP
0000185a: DIV
0000185b: SWAP1
0000185c: JUMP
0000185d: JUMPDEST
0000185e: PUSH1 0x00
00001860: DUP2
00001861: PUSH1 0x00
00001863: NOT
00001864: DIV
00001865: DUP4
00001866: GT
00001867: DUP3
00001868: ISZERO
00001869: ISZERO
0000186a: AND
0000186b: ISZERO
0000186c: PUSH2 0x1877
0000186f: JUMPI
00001870: PUSH2 0x1877
00001873: PUSH2 0x17c6
00001876: JUMP
00001877: JUMPDEST
00001878: POP
00001879: MUL
0000187a: SWAP1
0000187b: JUMP
0000187c: JUMPDEST
0000187d: PUSH1 0x00
0000187f: DUP3
00001880: NOT
00001881: DUP3
00001882: GT
00001883: ISZERO
00001884: PUSH2 0x188f
00001887: JUMPI
00001888: PUSH2 0x188f
0000188b: PUSH2 0x17c6
0000188e: JUMP
0000188f: JUMPDEST
00001890: POP
00001891: ADD
00001892: SWAP1
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x20
00001897: DUP1
00001898: DUP3
00001899: MSTORE
0000189a: PUSH1 0x17
0000189c: SWAP1
0000189d: DUP3
0000189e: ADD
0000189f: MSTORE
000018a0: PUSH32 0x4661696c656420746f20726566756e6420626964646572000000000000000000
000018c1: PUSH1 0x40
000018c3: DUP3
000018c4: ADD
000018c5: MSTORE
000018c6: PUSH1 0x60
000018c8: ADD
000018c9: SWAP1
000018ca: JUMP
000018cb: JUMPDEST
000018cc: PUSH1 0x00
000018ce: PUSH1 0x01
000018d0: PUSH1 0x01
000018d2: PUSH1 0x50
000018d4: SHL
000018d5: SUB
000018d6: DUP1
000018d7: DUP4
000018d8: AND
000018d9: DUP2
000018da: DUP6
000018db: AND
000018dc: DUP2
000018dd: DUP4
000018de: DIV
000018df: DUP2
000018e0: GT
000018e1: DUP3
000018e2: ISZERO
000018e3: ISZERO
000018e4: AND
000018e5: ISZERO
000018e6: PUSH2 0x18f1
000018e9: JUMPI
000018ea: PUSH2 0x18f1
000018ed: PUSH2 0x17c6
000018f0: JUMP
000018f1: JUMPDEST
000018f2: MUL
000018f3: SWAP5
000018f4: SWAP4
000018f5: POP
000018f6: POP
000018f7: POP
000018f8: POP
000018f9: JUMP
000018fa: JUMPDEST
000018fb: PUSH1 0x00
000018fd: PUSH1 0x01
000018ff: PUSH1 0x01
00001901: PUSH1 0x50
00001903: SHL
00001904: SUB
00001905: DUP4
00001906: DUP2
00001907: AND
00001908: SWAP1
00001909: DUP4
0000190a: AND
0000190b: DUP2
0000190c: DUP2
0000190d: LT
0000190e: ISZERO
0000190f: PUSH2 0x191a
00001912: JUMPI
00001913: PUSH2 0x191a
00001916: PUSH2 0x17c6
00001919: JUMP
0000191a: JUMPDEST
0000191b: SUB
0000191c: SWAP4
0000191d: SWAP3
0000191e: POP
0000191f: POP
00001920: POP
00001921: JUMP
00001922: JUMPDEST
00001923: PUSH1 0x00
00001925: PUSH1 0xff
00001927: DUP3
00001928: AND
00001929: PUSH1 0xff
0000192b: DUP5
0000192c: AND
0000192d: DUP1
0000192e: PUSH1 0xff
00001930: SUB
00001931: DUP3
00001932: GT
00001933: ISZERO
00001934: PUSH2 0x193f
00001937: JUMPI
00001938: PUSH2 0x193f
0000193b: PUSH2 0x17c6
0000193e: JUMP
0000193f: JUMPDEST
00001940: ADD
00001941: SWAP4
00001942: SWAP3
00001943: POP
00001944: POP
00001945: POP
00001946: JUMP
00001947: INVALID
00001948: LOG2
00001949: PUSH5 0x6970667358
0000194f: UNKNOWN(0x22)
00001950: SLT
00001951: KECCAK256
00001952: UNKNOWN(0xD6)
00001953: UNKNOWN(0xDD)
00001954: PUSH28 0xf6fd6036d6e1f56bedc38948dedcdd794e7fb736fd98677ff32c9a6b
00001971: STATICCALL
00001972: PUSH5 0x736f6c6343
00001978: STOP
00001979: ADDMOD
0000197a: UNKNOWN(0x0D)
0000197b: STOP
0000197c: CALLER