Analysis Run

[codex:609290] OpenAI Codex v0.77.0 (research preview)
[codex:609290] --------
[codex:609290] workdir: /tmp/codex-multi-r6sp63ys
[codex:609290] model: gpt-5.2-codex
[codex:609290] provider: openai
[codex:609290] approval: never
[codex:609290] sandbox: read-only
[codex:609290] reasoning effort: xhigh
[codex:609290] reasoning summaries: auto
[codex:609290] session id: 019b80a6-0a60-7160-8c37-c9b4016ff6ff
[codex:609290] --------
[codex:609290] user
[codex:609290] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:609290] 
[codex:609290] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:609290] 
[codex:609290] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:609290] - Gas inefficiency, code quality, naming, or best practices
[codex:609290] - Theoretical vulnerabilities without a clear extraction path
[codex:609290] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:609290] - Front-running unless it enables theft beyond MEV
[codex:609290] - DoS, griefing, or issues that don't result in attacker profit
[codex:609290] - Missing events, view function issues, or informational findings
[codex:609290] 
[codex:609290] HIGH-VALUE PATTERNS TO HUNT:
[codex:609290] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:609290] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:609290] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:609290] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:609290] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:609290] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:609290] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:609290] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:609290] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:609290] 
[codex:609290] For each finding, you MUST provide:
[codex:609290] 1. Exact file and line numbers of vulnerable code
[codex:609290] 2. Step-by-step exploit transaction sequence
[codex:609290] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:609290] 
[codex:609290] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:609290] 
[codex:609290] Output MUST be valid JSON matching the provided schema.
[codex:609290] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:609290] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:609290] mcp startup: no servers
[codex:609290] 
[codex:609290] thinking
[codex:609290] **Reading AUDIT_BUNDLE.txt**
[codex:609290] exec
[codex:609290] /bin/bash -lc ls in /tmp/codex-multi-r6sp63ys succeeded in 5ms:
[codex:609290] AUDIT_BUNDLE.txt
[codex:609290] codex-output-schema.json
[codex:609290] contracts
[codex:609290] exec
[codex:609290] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-r6sp63ys succeeded in 9ms:
[codex:609290] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:609290] 
[codex:609290] ================================================================================
[codex:609290] FILE: contracts/@chainlink/contracts/src/v0.8/interfaces/AggregatorV3Interface.sol
[codex:609290] ================================================================================
[codex:609290] // SPDX-License-Identifier: MIT
[codex:609290] pragma solidity ^0.8.0;
[codex:609290] 
[codex:609290] interface AggregatorV3Interface {
[codex:609290] 
[codex:609290]   function decimals()
[codex:609290]     external
[codex:609290]     view
[codex:609290]     returns (
[codex:609290]       uint8
[codex:609290]     );
[codex:609290] 
[codex:609290]   function description()
[codex:609290]     external
[codex:609290]     view
[codex:609290] 
[codex:609290] 
[codex:609290] thinking
[codex:609290] **Analyzing potential profit exploits**
[codex:609290] 
[codex:609290] I'm carefully examining the XifraICO2 contract for real ways an attacker could extract value, focusing on reentrancy, token transfer logic, price calculations, and access controls. I'm testing assumptions about token decimals, Chainlink feeds, and withdrawal limits to identify any gaps that could lead to concrete profit for an attacker.
[codex:609290] thinking
[codex:609290] **Confirming no exploitable profit vulnerabilities**
[codex:609290] 
[codex:609290] I've cross-checked all key functions, access controls, and token interactions for any concrete profit exploits, including chainlink price handling, reentrancy, arithmetic, and token decimals. Despite thorough analysis, I find no feasible path for an attacker to extract value from the contract, so I’m marking no exploitable vulnerabilities here.
[codex:609290] codex
[codex:609290] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:609290] tokens used
[codex:609290] 15,222
[codex:609290] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T21:40:47.982060+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths 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 0x00dd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa3ca17b2
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xf6933c7d
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf6933c7d
0000002f: EQ
00000030: PUSH2 0x0220
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xfa70f538
0000003a: EQ
0000003b: PUSH2 0x0245
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xfd20345b
00000045: EQ
00000046: PUSH2 0x0265
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfe745748
00000050: EQ
00000051: PUSH2 0x027a
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa3ca17b2
00000060: EQ
00000061: PUSH2 0x01b6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc2cc9aa5
0000006b: EQ
0000006c: PUSH2 0x01cb
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd33a1c2f
00000076: EQ
00000077: PUSH2 0x0200
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x5a22fe5d
00000086: GT
00000087: PUSH2 0x00bb
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x5a22fe5d
00000091: EQ
00000092: PUSH2 0x0138
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x6e61e52a
0000009c: EQ
0000009d: PUSH2 0x016e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x7deb6025
000000a7: EQ
000000a8: PUSH2 0x018e
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x88f572a8
000000b2: EQ
000000b3: PUSH2 0x01a1
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x041a4aba
000000c2: EQ
000000c3: PUSH2 0x00e2
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x2428cd1e
000000cd: EQ
000000ce: PUSH2 0x010b
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x2bf57fca
000000d8: EQ
000000d9: PUSH2 0x0121
000000dc: JUMPI
000000dd: JUMPDEST
000000de: PUSH1 0x00
000000e0: DUP1
000000e1: REVERT
000000e2: JUMPDEST
000000e3: CALLVALUE
000000e4: DUP1
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: POP
000000f0: PUSH2 0x00f8
000000f3: PUSH1 0x01
000000f5: SLOAD
000000f6: DUP2
000000f7: JUMP
000000f8: JUMPDEST
000000f9: PUSH1 0x40
000000fb: MLOAD
000000fc: SWAP1
000000fd: DUP2
000000fe: MSTORE
000000ff: PUSH1 0x20
00000101: ADD
00000102: JUMPDEST
00000103: PUSH1 0x40
00000105: MLOAD
00000106: DUP1
00000107: SWAP2
00000108: SUB
00000109: SWAP1
0000010a: RETURN
0000010b: JUMPDEST
0000010c: CALLVALUE
0000010d: DUP1
0000010e: ISZERO
0000010f: PUSH2 0x0117
00000112: JUMPI
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: POP
00000119: PUSH2 0x00f8
0000011c: PUSH1 0x00
0000011e: SLOAD
0000011f: DUP2
00000120: JUMP
00000121: JUMPDEST
00000122: CALLVALUE
00000123: DUP1
00000124: ISZERO
00000125: PUSH2 0x012d
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: POP
0000012f: PUSH2 0x0136
00000132: PUSH2 0x02b0
00000135: JUMP
00000136: JUMPDEST
00000137: STOP
00000138: JUMPDEST
00000139: CALLVALUE
0000013a: DUP1
0000013b: ISZERO
0000013c: PUSH2 0x0144
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: POP
00000146: PUSH2 0x00f8
00000149: PUSH2 0x0153
0000014c: CALLDATASIZE
0000014d: PUSH1 0x04
0000014f: PUSH2 0x1456
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH1 0x01
00000156: PUSH1 0x01
00000158: PUSH1 0xa0
0000015a: SHL
0000015b: SUB
0000015c: AND
0000015d: PUSH1 0x00
0000015f: SWAP1
00000160: DUP2
00000161: MSTORE
00000162: PUSH1 0x02
00000164: PUSH1 0x20
00000166: MSTORE
00000167: PUSH1 0x40
00000169: SWAP1
0000016a: KECCAK256
0000016b: SLOAD
0000016c: SWAP1
0000016d: JUMP
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x0136
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1493
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x066f
0000018d: JUMP
0000018e: JUMPDEST
0000018f: PUSH2 0x0136
00000192: PUSH2 0x019c
00000195: CALLDATASIZE
00000196: PUSH1 0x04
00000198: PUSH2 0x14c5
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH2 0x071a
000001a0: JUMP
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH2 0x0136
000001b2: PUSH2 0x0b40
000001b5: JUMP
000001b6: JUMPDEST
000001b7: CALLVALUE
000001b8: DUP1
000001b9: ISZERO
000001ba: PUSH2 0x01c2
000001bd: JUMPI
000001be: PUSH1 0x00
000001c0: DUP1
000001c1: REVERT
000001c2: JUMPDEST
000001c3: POP
000001c4: PUSH2 0x00f8
000001c7: PUSH2 0x0ee9
000001ca: JUMP
000001cb: JUMPDEST
000001cc: CALLVALUE
000001cd: DUP1
000001ce: ISZERO
000001cf: PUSH2 0x01d7
000001d2: JUMPI
000001d3: PUSH1 0x00
000001d5: DUP1
000001d6: REVERT
000001d7: JUMPDEST
000001d8: POP
000001d9: PUSH2 0x01e0
000001dc: PUSH2 0x0ef8
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: DUP1
000001e4: MLOAD
000001e5: SWAP5
000001e6: DUP6
000001e7: MSTORE
000001e8: PUSH1 0x20
000001ea: DUP6
000001eb: ADD
000001ec: SWAP4
000001ed: SWAP1
000001ee: SWAP4
000001ef: MSTORE
000001f0: SWAP2
000001f1: DUP4
000001f2: ADD
000001f3: MSTORE
000001f4: PUSH1 0x60
000001f6: DUP3
000001f7: ADD
000001f8: MSTORE
000001f9: PUSH1 0x80
000001fb: ADD
000001fc: PUSH2 0x0102
000001ff: JUMP
00000200: JUMPDEST
00000201: CALLVALUE
00000202: DUP1
00000203: ISZERO
00000204: PUSH2 0x020c
00000207: JUMPI
00000208: PUSH1 0x00
0000020a: DUP1
0000020b: REVERT
0000020c: JUMPDEST
0000020d: POP
0000020e: PUSH2 0x00f8
00000211: PUSH2 0x021b
00000214: CALLDATASIZE
00000215: PUSH1 0x04
00000217: PUSH2 0x1493
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH2 0x10d7
0000021f: JUMP
00000220: JUMPDEST
00000221: CALLVALUE
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x022c
00000227: JUMPI
00000228: PUSH1 0x00
0000022a: DUP1
0000022b: REVERT
0000022c: JUMPDEST
0000022d: POP
0000022e: PUSH2 0x0235
00000231: PUSH2 0x113d
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: SWAP1
0000023a: ISZERO
0000023b: ISZERO
0000023c: DUP2
0000023d: MSTORE
0000023e: PUSH1 0x20
00000240: ADD
00000241: PUSH2 0x0102
00000244: JUMP
00000245: JUMPDEST
00000246: CALLVALUE
00000247: DUP1
00000248: ISZERO
00000249: PUSH2 0x0251
0000024c: JUMPI
0000024d: PUSH1 0x00
0000024f: DUP1
00000250: REVERT
00000251: JUMPDEST
00000252: POP
00000253: PUSH2 0x00f8
00000256: PUSH2 0x0260
00000259: CALLDATASIZE
0000025a: PUSH1 0x04
0000025c: PUSH2 0x1493
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x1147
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x0136
00000276: PUSH2 0x1178
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x00f8
0000028b: PUSH2 0x0295
0000028e: CALLDATASIZE
0000028f: PUSH1 0x04
00000291: PUSH2 0x1456
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH1 0x01
00000298: PUSH1 0x01
0000029a: PUSH1 0xa0
0000029c: SHL
0000029d: SUB
0000029e: AND
0000029f: PUSH1 0x00
000002a1: SWAP1
000002a2: DUP2
000002a3: MSTORE
000002a4: PUSH1 0x03
000002a6: PUSH1 0x20
000002a8: MSTORE
000002a9: PUSH1 0x40
000002ab: SWAP1
000002ac: KECCAK256
000002ad: SLOAD
000002ae: SWAP1
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH2 0x02b8
000002b4: PUSH2 0x1302
000002b7: JUMP
000002b8: JUMPDEST
000002b9: ISZERO
000002ba: PUSH2 0x02fb
000002bd: JUMPI
000002be: PUSH1 0x40
000002c0: MLOAD
000002c1: PUSH3 0x461bcd
000002c5: PUSH1 0xe5
000002c7: SHL
000002c8: DUP2
000002c9: MSTORE
000002ca: PUSH1 0x20
000002cc: PUSH1 0x04
000002ce: DUP3
000002cf: ADD
000002d0: MSTORE
000002d1: PUSH1 0x0e
000002d3: PUSH1 0x24
000002d5: DUP3
000002d6: ADD
000002d7: MSTORE
000002d8: PUSH14 0x49434f5374696c6c416374697665
000002e7: PUSH1 0x90
000002e9: SHL
000002ea: PUSH1 0x44
000002ec: DUP3
000002ed: ADD
000002ee: MSTORE
000002ef: PUSH1 0x64
000002f1: ADD
000002f2: JUMPDEST
000002f3: PUSH1 0x40
000002f5: MLOAD
000002f6: DUP1
000002f7: SWAP2
000002f8: SUB
000002f9: SWAP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: PUSH4 0x70a08231
00000304: PUSH1 0xe0
00000306: SHL
00000307: DUP2
00000308: MSTORE
00000309: ADDRESS
0000030a: PUSH1 0x04
0000030c: DUP3
0000030d: ADD
0000030e: MSTORE
0000030f: PUSH1 0x00
00000311: SWAP1
00000312: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
00000333: PUSH1 0x01
00000335: PUSH1 0x01
00000337: PUSH1 0xa0
00000339: SHL
0000033a: SUB
0000033b: AND
0000033c: SWAP1
0000033d: PUSH4 0x70a08231
00000342: SWAP1
00000343: PUSH1 0x24
00000345: ADD
00000346: PUSH1 0x20
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: DUP1
0000034c: DUP4
0000034d: SUB
0000034e: DUP2
0000034f: DUP7
00000350: DUP1
00000351: EXTCODESIZE
00000352: ISZERO
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: GAS
00000360: STATICCALL
00000361: ISZERO
00000362: DUP1
00000363: ISZERO
00000364: PUSH2 0x0371
00000367: JUMPI
00000368: RETURNDATASIZE
00000369: PUSH1 0x00
0000036b: DUP1
0000036c: RETURNDATACOPY
0000036d: RETURNDATASIZE
0000036e: PUSH1 0x00
00000370: REVERT
00000371: JUMPDEST
00000372: POP
00000373: POP
00000374: POP
00000375: POP
00000376: PUSH1 0x40
00000378: MLOAD
00000379: RETURNDATASIZE
0000037a: PUSH1 0x1f
0000037c: NOT
0000037d: PUSH1 0x1f
0000037f: DUP3
00000380: ADD
00000381: AND
00000382: DUP3
00000383: ADD
00000384: DUP1
00000385: PUSH1 0x40
00000387: MSTORE
00000388: POP
00000389: DUP2
0000038a: ADD
0000038b: SWAP1
0000038c: PUSH2 0x0395
0000038f: SWAP2
00000390: SWAP1
00000391: PUSH2 0x14ac
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x40
00000398: MLOAD
00000399: PUSH4 0xa9059cbb
0000039e: PUSH1 0xe0
000003a0: SHL
000003a1: DUP2
000003a2: MSTORE
000003a3: PUSH1 0x01
000003a5: PUSH1 0x01
000003a7: PUSH1 0xa0
000003a9: SHL
000003aa: SUB
000003ab: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
000003cc: DUP2
000003cd: AND
000003ce: PUSH1 0x04
000003d0: DUP4
000003d1: ADD
000003d2: MSTORE
000003d3: PUSH1 0x24
000003d5: DUP3
000003d6: ADD
000003d7: DUP4
000003d8: SWAP1
000003d9: MSTORE
000003da: SWAP2
000003db: SWAP3
000003dc: POP
000003dd: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
000003fe: SWAP1
000003ff: SWAP2
00000400: AND
00000401: SWAP1
00000402: PUSH4 0xa9059cbb
00000407: SWAP1
00000408: PUSH1 0x44
0000040a: ADD
0000040b: PUSH1 0x20
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: DUP1
00000411: DUP4
00000412: SUB
00000413: DUP2
00000414: PUSH1 0x00
00000416: DUP8
00000417: DUP1
00000418: EXTCODESIZE
00000419: ISZERO
0000041a: DUP1
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: POP
00000426: GAS
00000427: CALL
00000428: ISZERO
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0438
0000042e: JUMPI
0000042f: RETURNDATASIZE
00000430: PUSH1 0x00
00000432: DUP1
00000433: RETURNDATACOPY
00000434: RETURNDATASIZE
00000435: PUSH1 0x00
00000437: REVERT
00000438: JUMPDEST
00000439: POP
0000043a: POP
0000043b: POP
0000043c: POP
0000043d: PUSH1 0x40
0000043f: MLOAD
00000440: RETURNDATASIZE
00000441: PUSH1 0x1f
00000443: NOT
00000444: PUSH1 0x1f
00000446: DUP3
00000447: ADD
00000448: AND
00000449: DUP3
0000044a: ADD
0000044b: DUP1
0000044c: PUSH1 0x40
0000044e: MSTORE
0000044f: POP
00000450: DUP2
00000451: ADD
00000452: SWAP1
00000453: PUSH2 0x045c
00000456: SWAP2
00000457: SWAP1
00000458: PUSH2 0x1471
0000045b: JUMP
0000045c: JUMPDEST
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: PUSH1 0x40
00000468: MLOAD
00000469: PUSH4 0x70a08231
0000046e: PUSH1 0xe0
00000470: SHL
00000471: DUP2
00000472: MSTORE
00000473: ADDRESS
00000474: PUSH1 0x04
00000476: DUP3
00000477: ADD
00000478: MSTORE
00000479: PUSH1 0x00
0000047b: SWAP1
0000047c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000049d: PUSH1 0x01
0000049f: PUSH1 0x01
000004a1: PUSH1 0xa0
000004a3: SHL
000004a4: SUB
000004a5: AND
000004a6: SWAP1
000004a7: PUSH4 0x70a08231
000004ac: SWAP1
000004ad: PUSH1 0x24
000004af: ADD
000004b0: PUSH1 0x20
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: DUP1
000004b6: DUP4
000004b7: SUB
000004b8: DUP2
000004b9: DUP7
000004ba: DUP1
000004bb: EXTCODESIZE
000004bc: ISZERO
000004bd: DUP1
000004be: ISZERO
000004bf: PUSH2 0x04c7
000004c2: JUMPI
000004c3: PUSH1 0x00
000004c5: DUP1
000004c6: REVERT
000004c7: JUMPDEST
000004c8: POP
000004c9: GAS
000004ca: STATICCALL
000004cb: ISZERO
000004cc: DUP1
000004cd: ISZERO
000004ce: PUSH2 0x04db
000004d1: JUMPI
000004d2: RETURNDATASIZE
000004d3: PUSH1 0x00
000004d5: DUP1
000004d6: RETURNDATACOPY
000004d7: RETURNDATASIZE
000004d8: PUSH1 0x00
000004da: REVERT
000004db: JUMPDEST
000004dc: POP
000004dd: POP
000004de: POP
000004df: POP
000004e0: PUSH1 0x40
000004e2: MLOAD
000004e3: RETURNDATASIZE
000004e4: PUSH1 0x1f
000004e6: NOT
000004e7: PUSH1 0x1f
000004e9: DUP3
000004ea: ADD
000004eb: AND
000004ec: DUP3
000004ed: ADD
000004ee: DUP1
000004ef: PUSH1 0x40
000004f1: MSTORE
000004f2: POP
000004f3: DUP2
000004f4: ADD
000004f5: SWAP1
000004f6: PUSH2 0x04ff
000004f9: SWAP2
000004fa: SWAP1
000004fb: PUSH2 0x14ac
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH1 0x40
00000502: MLOAD
00000503: PUSH4 0xa9059cbb
00000508: PUSH1 0xe0
0000050a: SHL
0000050b: DUP2
0000050c: MSTORE
0000050d: PUSH1 0x01
0000050f: PUSH1 0x01
00000511: PUSH1 0xa0
00000513: SHL
00000514: SUB
00000515: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
00000536: DUP2
00000537: AND
00000538: PUSH1 0x04
0000053a: DUP4
0000053b: ADD
0000053c: MSTORE
0000053d: PUSH1 0x24
0000053f: DUP3
00000540: ADD
00000541: DUP4
00000542: SWAP1
00000543: MSTORE
00000544: SWAP2
00000545: SWAP3
00000546: POP
00000547: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000568: SWAP1
00000569: SWAP2
0000056a: AND
0000056b: SWAP1
0000056c: PUSH4 0xa9059cbb
00000571: SWAP1
00000572: PUSH1 0x44
00000574: ADD
00000575: PUSH1 0x20
00000577: PUSH1 0x40
00000579: MLOAD
0000057a: DUP1
0000057b: DUP4
0000057c: SUB
0000057d: DUP2
0000057e: PUSH1 0x00
00000580: DUP8
00000581: DUP1
00000582: EXTCODESIZE
00000583: ISZERO
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: POP
00000590: GAS
00000591: CALL
00000592: ISZERO
00000593: DUP1
00000594: ISZERO
00000595: PUSH2 0x05a2
00000598: JUMPI
00000599: RETURNDATASIZE
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: RETURNDATACOPY
0000059e: RETURNDATASIZE
0000059f: PUSH1 0x00
000005a1: REVERT
000005a2: JUMPDEST
000005a3: POP
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: RETURNDATASIZE
000005ab: PUSH1 0x1f
000005ad: NOT
000005ae: PUSH1 0x1f
000005b0: DUP3
000005b1: ADD
000005b2: AND
000005b3: DUP3
000005b4: ADD
000005b5: DUP1
000005b6: PUSH1 0x40
000005b8: MSTORE
000005b9: POP
000005ba: DUP2
000005bb: ADD
000005bc: SWAP1
000005bd: PUSH2 0x05c6
000005c0: SWAP2
000005c1: SWAP1
000005c2: PUSH2 0x1471
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: PUSH1 0x40
000005d2: MLOAD
000005d3: SELFBALANCE
000005d4: SWAP1
000005d5: PUSH1 0x01
000005d7: PUSH1 0x01
000005d9: PUSH1 0xa0
000005db: SHL
000005dc: SUB
000005dd: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
000005fe: AND
000005ff: SWAP1
00000600: DUP3
00000601: ISZERO
00000602: PUSH2 0x08fc
00000605: MUL
00000606: SWAP1
00000607: DUP4
00000608: SWAP1
00000609: PUSH1 0x00
0000060b: DUP2
0000060c: DUP2
0000060d: DUP2
0000060e: DUP6
0000060f: DUP9
00000610: DUP9
00000611: CALL
00000612: SWAP4
00000613: POP
00000614: POP
00000615: POP
00000616: POP
00000617: ISZERO
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0627
0000061d: JUMPI
0000061e: RETURNDATASIZE
0000061f: PUSH1 0x00
00000621: DUP1
00000622: RETURNDATACOPY
00000623: RETURNDATASIZE
00000624: PUSH1 0x00
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: PUSH1 0x40
0000062b: DUP1
0000062c: MLOAD
0000062d: DUP5
0000062e: DUP2
0000062f: MSTORE
00000630: PUSH1 0x20
00000632: DUP2
00000633: ADD
00000634: DUP5
00000635: SWAP1
00000636: MSTORE
00000637: SWAP1
00000638: DUP2
00000639: ADD
0000063a: DUP3
0000063b: SWAP1
0000063c: MSTORE
0000063d: PUSH32 0xb1027820623cdfd8e923f8b0b56300f62373885b33a5ab6b46087056248efe48
0000065e: SWAP1
0000065f: PUSH1 0x60
00000661: ADD
00000662: JUMPDEST
00000663: PUSH1 0x40
00000665: MLOAD
00000666: DUP1
00000667: SWAP2
00000668: SUB
00000669: SWAP1
0000066a: LOG1
0000066b: POP
0000066c: POP
0000066d: POP
0000066e: JUMP
0000066f: JUMPDEST
00000670: CALLER
00000671: PUSH1 0x01
00000673: PUSH1 0x01
00000675: PUSH1 0xa0
00000677: SHL
00000678: SUB
00000679: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
0000069a: AND
0000069b: EQ
0000069c: PUSH2 0x06d2
0000069f: JUMPI
000006a0: PUSH1 0x40
000006a2: MLOAD
000006a3: PUSH3 0x461bcd
000006a7: PUSH1 0xe5
000006a9: SHL
000006aa: DUP2
000006ab: MSTORE
000006ac: PUSH1 0x20
000006ae: PUSH1 0x04
000006b0: DUP3
000006b1: ADD
000006b2: MSTORE
000006b3: PUSH1 0x08
000006b5: PUSH1 0x24
000006b7: DUP3
000006b8: ADD
000006b9: MSTORE
000006ba: PUSH8 0x2130b227bbb732b9
000006c3: PUSH1 0xc1
000006c5: SHL
000006c6: PUSH1 0x44
000006c8: DUP3
000006c9: ADD
000006ca: MSTORE
000006cb: PUSH1 0x64
000006cd: ADD
000006ce: PUSH2 0x02f2
000006d1: JUMP
000006d2: JUMPDEST
000006d3: PUSH1 0x01
000006d5: SLOAD
000006d6: TIMESTAMP
000006d7: GT
000006d8: ISZERO
000006d9: PUSH2 0x0715
000006dc: JUMPI
000006dd: PUSH1 0x40
000006df: MLOAD
000006e0: PUSH3 0x461bcd
000006e4: PUSH1 0xe5
000006e6: SHL
000006e7: DUP2
000006e8: MSTORE
000006e9: PUSH1 0x20
000006eb: PUSH1 0x04
000006ed: DUP3
000006ee: ADD
000006ef: MSTORE
000006f0: PUSH1 0x0e
000006f2: PUSH1 0x24
000006f4: DUP3
000006f5: ADD
000006f6: MSTORE
000006f7: PUSH14 0x151bdad95b931a5cdd195916595d
00000706: PUSH1 0x92
00000708: SHL
00000709: PUSH1 0x44
0000070b: DUP3
0000070c: ADD
0000070d: MSTORE
0000070e: PUSH1 0x64
00000710: ADD
00000711: PUSH2 0x02f2
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x01
00000718: SSTORE
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH2 0x0722
0000071e: PUSH2 0x1302
00000721: JUMP
00000722: JUMPDEST
00000723: ISZERO
00000724: ISZERO
00000725: PUSH1 0x01
00000727: EQ
00000728: PUSH2 0x0743
0000072b: JUMPI
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: PUSH3 0x461bcd
00000733: PUSH1 0xe5
00000735: SHL
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x04
0000073a: ADD
0000073b: PUSH2 0x02f2
0000073e: SWAP1
0000073f: PUSH2 0x1541
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH1 0x00
00000746: CALLVALUE
00000747: PUSH2 0x08e7
0000074a: JUMPI
0000074b: PUSH1 0x00
0000074d: DUP4
0000074e: GT
0000074f: PUSH2 0x0787
00000752: JUMPI
00000753: PUSH1 0x40
00000755: MLOAD
00000756: PUSH3 0x461bcd
0000075a: PUSH1 0xe5
0000075c: SHL
0000075d: DUP2
0000075e: MSTORE
0000075f: PUSH1 0x20
00000761: PUSH1 0x04
00000763: DUP3
00000764: ADD
00000765: MSTORE
00000766: PUSH1 0x0a
00000768: PUSH1 0x24
0000076a: DUP3
0000076b: ADD
0000076c: MSTORE
0000076d: PUSH10 0x10985914185e5b595b9d
00000778: PUSH1 0xb2
0000077a: SHL
0000077b: PUSH1 0x44
0000077d: DUP3
0000077e: ADD
0000077f: MSTORE
00000780: PUSH1 0x64
00000782: ADD
00000783: PUSH2 0x02f2
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
000007a9: PUSH1 0x01
000007ab: PUSH1 0x01
000007ad: PUSH1 0xa0
000007af: SHL
000007b0: SUB
000007b1: AND
000007b2: DUP3
000007b3: PUSH1 0x01
000007b5: PUSH1 0x01
000007b7: PUSH1 0xa0
000007b9: SHL
000007ba: SUB
000007bb: AND
000007bc: EQ
000007bd: DUP1
000007be: PUSH2 0x07f8
000007c1: JUMPI
000007c2: POP
000007c3: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000007e4: PUSH1 0x01
000007e6: PUSH1 0x01
000007e8: PUSH1 0xa0
000007ea: SHL
000007eb: SUB
000007ec: AND
000007ed: DUP3
000007ee: PUSH1 0x01
000007f0: PUSH1 0x01
000007f2: PUSH1 0xa0
000007f4: SHL
000007f5: SUB
000007f6: AND
000007f7: EQ
000007f8: JUMPDEST
000007f9: PUSH2 0x0838
000007fc: JUMPI
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: PUSH3 0x461bcd
00000804: PUSH1 0xe5
00000806: SHL
00000807: DUP2
00000808: MSTORE
00000809: PUSH1 0x20
0000080b: PUSH1 0x04
0000080d: DUP3
0000080e: ADD
0000080f: MSTORE
00000810: PUSH1 0x11
00000812: PUSH1 0x24
00000814: DUP3
00000815: ADD
00000816: MSTORE
00000817: PUSH17 0x151bdad95b939bdd14dd5c1c1bdc9d1959
00000829: PUSH1 0x7a
0000082b: SHL
0000082c: PUSH1 0x44
0000082e: DUP3
0000082f: ADD
00000830: MSTORE
00000831: PUSH1 0x64
00000833: ADD
00000834: PUSH2 0x02f2
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: PUSH4 0x23b872dd
00000841: PUSH1 0xe0
00000843: SHL
00000844: DUP2
00000845: MSTORE
00000846: CALLER
00000847: PUSH1 0x04
00000849: DUP3
0000084a: ADD
0000084b: MSTORE
0000084c: ADDRESS
0000084d: PUSH1 0x24
0000084f: DUP3
00000850: ADD
00000851: MSTORE
00000852: PUSH1 0x44
00000854: DUP2
00000855: ADD
00000856: DUP5
00000857: SWAP1
00000858: MSTORE
00000859: PUSH1 0x01
0000085b: PUSH1 0x01
0000085d: PUSH1 0xa0
0000085f: SHL
00000860: SUB
00000861: DUP4
00000862: AND
00000863: SWAP1
00000864: PUSH4 0x23b872dd
00000869: SWAP1
0000086a: PUSH1 0x64
0000086c: ADD
0000086d: PUSH1 0x20
0000086f: PUSH1 0x40
00000871: MLOAD
00000872: DUP1
00000873: DUP4
00000874: SUB
00000875: DUP2
00000876: PUSH1 0x00
00000878: DUP8
00000879: DUP1
0000087a: EXTCODESIZE
0000087b: ISZERO
0000087c: DUP1
0000087d: ISZERO
0000087e: PUSH2 0x0886
00000881: JUMPI
00000882: PUSH1 0x00
00000884: DUP1
00000885: REVERT
00000886: JUMPDEST
00000887: POP
00000888: GAS
00000889: CALL
0000088a: ISZERO
0000088b: DUP1
0000088c: ISZERO
0000088d: PUSH2 0x089a
00000890: JUMPI
00000891: RETURNDATASIZE
00000892: PUSH1 0x00
00000894: DUP1
00000895: RETURNDATACOPY
00000896: RETURNDATASIZE
00000897: PUSH1 0x00
00000899: REVERT
0000089a: JUMPDEST
0000089b: POP
0000089c: POP
0000089d: POP
0000089e: POP
0000089f: PUSH1 0x40
000008a1: MLOAD
000008a2: RETURNDATASIZE
000008a3: PUSH1 0x1f
000008a5: NOT
000008a6: PUSH1 0x1f
000008a8: DUP3
000008a9: ADD
000008aa: AND
000008ab: DUP3
000008ac: ADD
000008ad: DUP1
000008ae: PUSH1 0x40
000008b0: MSTORE
000008b1: POP
000008b2: DUP2
000008b3: ADD
000008b4: SWAP1
000008b5: PUSH2 0x08be
000008b8: SWAP2
000008b9: SWAP1
000008ba: PUSH2 0x1471
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH2 0x08c7
000008c2: JUMPI
000008c3: PUSH1 0x00
000008c5: DUP1
000008c6: REVERT
000008c7: JUMPDEST
000008c8: PUSH2 0x01a9
000008cb: PUSH2 0x08d6
000008ce: DUP5
000008cf: PUSH2 0x03e8
000008d2: PUSH2 0x1626
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH2 0x08e0
000008da: SWAP2
000008db: SWAP1
000008dc: PUSH2 0x157f
000008df: JUMP
000008e0: JUMPDEST
000008e1: SWAP1
000008e2: POP
000008e3: PUSH2 0x0932
000008e6: JUMP
000008e7: JUMPDEST
000008e8: PUSH1 0x00
000008ea: PUSH2 0x08f1
000008ed: PUSH2 0x1374
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP1
000008f3: POP
000008f4: PUSH1 0x00
000008f6: PUSH8 0x0de0b6b3a7640000
000008ff: PUSH2 0x0908
00000902: DUP4
00000903: CALLVALUE
00000904: PUSH2 0x1626
00000907: JUMP
00000908: JUMPDEST
00000909: PUSH2 0x0912
0000090c: SWAP2
0000090d: SWAP1
0000090e: PUSH2 0x157f
00000911: JUMP
00000912: JUMPDEST
00000913: SWAP1
00000914: POP
00000915: PUSH2 0x01a9
00000918: PUSH2 0x0923
0000091b: DUP3
0000091c: PUSH2 0x03e8
0000091f: PUSH2 0x1626
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH2 0x092d
00000927: SWAP2
00000928: SWAP1
00000929: PUSH2 0x157f
0000092c: JUMP
0000092d: JUMPDEST
0000092e: SWAP3
0000092f: POP
00000930: POP
00000931: POP
00000932: JUMPDEST
00000933: PUSH32 0x00000000000000000000000000000000000000000000001b1ae4d6e2ef500000
00000954: PUSH2 0x0965
00000957: DUP3
00000958: PUSH8 0x0de0b6b3a7640000
00000961: PUSH2 0x1567
00000964: JUMP
00000965: JUMPDEST
00000966: LT
00000967: ISZERO
00000968: PUSH2 0x09a7
0000096b: JUMPI
0000096c: PUSH1 0x40
0000096e: MLOAD
0000096f: PUSH3 0x461bcd
00000973: PUSH1 0xe5
00000975: SHL
00000976: DUP2
00000977: MSTORE
00000978: PUSH1 0x20
0000097a: PUSH1 0x04
0000097c: DUP3
0000097d: ADD
0000097e: MSTORE
0000097f: PUSH1 0x11
00000981: PUSH1 0x24
00000983: DUP3
00000984: ADD
00000985: MSTORE
00000986: PUSH17 0x426164546f6b656e735175616e74697479
00000998: PUSH1 0x78
0000099a: SHL
0000099b: PUSH1 0x44
0000099d: DUP3
0000099e: ADD
0000099f: MSTORE
000009a0: PUSH1 0x64
000009a2: ADD
000009a3: PUSH2 0x02f2
000009a6: JUMP
000009a7: JUMPDEST
000009a8: DUP1
000009a9: PUSH1 0x00
000009ab: SLOAD
000009ac: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000
000009cd: PUSH2 0x09d6
000009d0: SWAP2
000009d1: SWAP1
000009d2: PUSH2 0x1645
000009d5: JUMP
000009d6: JUMPDEST
000009d7: LT
000009d8: ISZERO
000009d9: PUSH2 0x0a1a
000009dc: JUMPI
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: PUSH3 0x461bcd
000009e4: PUSH1 0xe5
000009e6: SHL
000009e7: DUP2
000009e8: MSTORE
000009e9: PUSH1 0x20
000009eb: PUSH1 0x04
000009ed: DUP3
000009ee: ADD
000009ef: MSTORE
000009f0: PUSH1 0x13
000009f2: PUSH1 0x24
000009f4: DUP3
000009f5: ADD
000009f6: MSTORE
000009f7: PUSH19 0x4e6f456e6f756768546f6b656e73496e49434f
00000a0b: PUSH1 0x68
00000a0d: SHL
00000a0e: PUSH1 0x44
00000a10: DUP3
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH1 0x64
00000a15: ADD
00000a16: PUSH2 0x02f2
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: CALLER
00000a1c: PUSH1 0x00
00000a1e: SWAP1
00000a1f: DUP2
00000a20: MSTORE
00000a21: PUSH1 0x02
00000a23: PUSH1 0x20
00000a25: MSTORE
00000a26: PUSH1 0x40
00000a28: DUP2
00000a29: KECCAK256
00000a2a: DUP1
00000a2b: SLOAD
00000a2c: DUP4
00000a2d: SWAP3
00000a2e: SWAP1
00000a2f: PUSH2 0x0a39
00000a32: SWAP1
00000a33: DUP5
00000a34: SWAP1
00000a35: PUSH2 0x1567
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: SWAP3
00000a3b: POP
00000a3c: POP
00000a3d: DUP2
00000a3e: SWAP1
00000a3f: SSTORE
00000a40: POP
00000a41: DUP1
00000a42: PUSH1 0x00
00000a44: DUP1
00000a45: DUP3
00000a46: DUP3
00000a47: SLOAD
00000a48: PUSH2 0x0a51
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: PUSH2 0x1567
00000a50: JUMP
00000a51: JUMPDEST
00000a52: SWAP1
00000a53: SWAP2
00000a54: SSTORE
00000a55: POP
00000a56: POP
00000a57: PUSH1 0x00
00000a59: SLOAD
00000a5a: PUSH32 0x00000000000000000000000000000000000000000000001b1ae4d6e2ef500000
00000a7b: SWAP1
00000a7c: PUSH2 0x0aa5
00000a7f: SWAP1
00000a80: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000
00000aa1: PUSH2 0x1645
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: LT
00000aa7: ISZERO
00000aa8: PUSH2 0x0af3
00000aab: JUMPI
00000aac: PUSH1 0x04
00000aae: DUP1
00000aaf: SLOAD
00000ab0: PUSH1 0xff
00000ab2: NOT
00000ab3: AND
00000ab4: PUSH1 0x01
00000ab6: OR
00000ab7: SWAP1
00000ab8: SSTORE
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: PUSH32 0x1439ad43a1f644074e66ea5958c5618b9209af5a58099c4103aaa0ef63ea6638
00000add: SWAP1
00000ade: PUSH2 0x0aea
00000ae1: SWAP1
00000ae2: TIMESTAMP
00000ae3: DUP2
00000ae4: MSTORE
00000ae5: PUSH1 0x20
00000ae7: ADD
00000ae8: SWAP1
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x40
00000aed: MLOAD
00000aee: DUP1
00000aef: SWAP2
00000af0: SUB
00000af1: SWAP1
00000af2: LOG1
00000af3: JUMPDEST
00000af4: PUSH1 0x40
00000af6: DUP1
00000af7: MLOAD
00000af8: CALLER
00000af9: DUP2
00000afa: MSTORE
00000afb: PUSH1 0x20
00000afd: DUP2
00000afe: ADD
00000aff: DUP4
00000b00: SWAP1
00000b01: MSTORE
00000b02: SWAP1
00000b03: DUP2
00000b04: ADD
00000b05: DUP5
00000b06: SWAP1
00000b07: MSTORE
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0xa0
00000b0e: SHL
00000b0f: SUB
00000b10: DUP4
00000b11: AND
00000b12: PUSH1 0x60
00000b14: DUP3
00000b15: ADD
00000b16: MSTORE
00000b17: PUSH32 0xe51a4086d5fcb63bdece3b1f2cf69db1dd7ddc78814512a2c677e4fc7ca1b17f
00000b38: SWAP1
00000b39: PUSH1 0x80
00000b3b: ADD
00000b3c: PUSH2 0x0662
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH2 0x0b48
00000b44: PUSH2 0x1302
00000b47: JUMP
00000b48: JUMPDEST
00000b49: ISZERO
00000b4a: PUSH2 0x0b65
00000b4d: JUMPI
00000b4e: PUSH1 0x40
00000b50: MLOAD
00000b51: PUSH3 0x461bcd
00000b55: PUSH1 0xe5
00000b57: SHL
00000b58: DUP2
00000b59: MSTORE
00000b5a: PUSH1 0x04
00000b5c: ADD
00000b5d: PUSH2 0x02f2
00000b60: SWAP1
00000b61: PUSH2 0x1541
00000b64: JUMP
00000b65: JUMPDEST
00000b66: CALLER
00000b67: PUSH1 0x00
00000b69: SWAP1
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x02
00000b6e: PUSH1 0x20
00000b70: MSTORE
00000b71: PUSH1 0x40
00000b73: SWAP1
00000b74: KECCAK256
00000b75: SLOAD
00000b76: PUSH2 0x0bad
00000b79: JUMPI
00000b7a: PUSH1 0x40
00000b7c: MLOAD
00000b7d: PUSH3 0x461bcd
00000b81: PUSH1 0xe5
00000b83: SHL
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: PUSH1 0x04
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH1 0x09
00000b8f: PUSH1 0x24
00000b91: DUP3
00000b92: ADD
00000b93: MSTORE
00000b94: PUSH9 0x4e6f42616c616e6365
00000b9e: PUSH1 0xb8
00000ba0: SHL
00000ba1: PUSH1 0x44
00000ba3: DUP3
00000ba4: ADD
00000ba5: MSTORE
00000ba6: PUSH1 0x64
00000ba8: ADD
00000ba9: PUSH2 0x02f2
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH1 0x01
00000bb0: SLOAD
00000bb1: TIMESTAMP
00000bb2: LT
00000bb3: ISZERO
00000bb4: PUSH2 0x0bf2
00000bb7: JUMPI
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: PUSH3 0x461bcd
00000bbf: PUSH1 0xe5
00000bc1: SHL
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x20
00000bc6: PUSH1 0x04
00000bc8: DUP3
00000bc9: ADD
00000bca: MSTORE
00000bcb: PUSH1 0x10
00000bcd: PUSH1 0x24
00000bcf: DUP3
00000bd0: ADD
00000bd1: MSTORE
00000bd2: PUSH16 0x151bdad95b939bd31a5cdd195916595d
00000be3: PUSH1 0x82
00000be5: SHL
00000be6: PUSH1 0x44
00000be8: DUP3
00000be9: ADD
00000bea: MSTORE
00000beb: PUSH1 0x64
00000bed: ADD
00000bee: PUSH2 0x02f2
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: CALLER
00000bf4: PUSH1 0x00
00000bf6: SWAP1
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x02
00000bfb: PUSH1 0x20
00000bfd: MSTORE
00000bfe: PUSH1 0x40
00000c00: DUP2
00000c01: KECCAK256
00000c02: SLOAD
00000c03: PUSH1 0x01
00000c05: SLOAD
00000c06: SWAP1
00000c07: SWAP2
00000c08: SWAP1
00000c09: TIMESTAMP
00000c0a: LT
00000c0b: DUP1
00000c0c: ISZERO
00000c0d: SWAP1
00000c0e: PUSH2 0x0c25
00000c11: JUMPI
00000c12: POP
00000c13: PUSH1 0x01
00000c15: SLOAD
00000c16: PUSH2 0x0c22
00000c19: SWAP1
00000c1a: PUSH3 0x76a700
00000c1e: PUSH2 0x1567
00000c21: JUMP
00000c22: JUMPDEST
00000c23: TIMESTAMP
00000c24: LT
00000c25: JUMPDEST
00000c26: ISZERO
00000c27: PUSH2 0x0c99
00000c2a: JUMPI
00000c2b: PUSH10 0x04fb9058dcb78d680000
00000c36: DUP3
00000c37: GT
00000c38: PUSH2 0x0c5c
00000c3b: JUMPI
00000c3c: CALLER
00000c3d: PUSH1 0x00
00000c3f: SWAP1
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x03
00000c44: PUSH1 0x20
00000c46: MSTORE
00000c47: PUSH1 0x40
00000c49: SWAP1
00000c4a: KECCAK256
00000c4b: SLOAD
00000c4c: PUSH2 0x0c55
00000c4f: SWAP1
00000c50: DUP4
00000c51: PUSH2 0x1645
00000c54: JUMP
00000c55: JUMPDEST
00000c56: SWAP1
00000c57: POP
00000c58: PUSH2 0x0d9a
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x00
00000c5f: PUSH1 0x64
00000c61: PUSH2 0x0c6b
00000c64: DUP5
00000c65: PUSH1 0x19
00000c67: PUSH2 0x1626
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: PUSH2 0x0c75
00000c6f: SWAP2
00000c70: SWAP1
00000c71: PUSH2 0x157f
00000c74: JUMP
00000c75: JUMPDEST
00000c76: CALLER
00000c77: PUSH1 0x00
00000c79: SWAP1
00000c7a: DUP2
00000c7b: MSTORE
00000c7c: PUSH1 0x03
00000c7e: PUSH1 0x20
00000c80: MSTORE
00000c81: PUSH1 0x40
00000c83: SWAP1
00000c84: KECCAK256
00000c85: SLOAD
00000c86: SWAP1
00000c87: SWAP2
00000c88: POP
00000c89: DUP2
00000c8a: GT
00000c8b: ISZERO
00000c8c: PUSH2 0x0c93
00000c8f: JUMPI
00000c90: DUP1
00000c91: SWAP2
00000c92: POP
00000c93: JUMPDEST
00000c94: POP
00000c95: PUSH2 0x0d9a
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: PUSH1 0x01
00000c9c: SLOAD
00000c9d: PUSH2 0x0ca9
00000ca0: SWAP1
00000ca1: PUSH3 0x76a700
00000ca5: PUSH2 0x1567
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: TIMESTAMP
00000cab: LT
00000cac: ISZERO
00000cad: DUP1
00000cae: ISZERO
00000caf: PUSH2 0x0cc6
00000cb2: JUMPI
00000cb3: POP
00000cb4: PUSH1 0x01
00000cb6: SLOAD
00000cb7: PUSH2 0x0cc3
00000cba: SWAP1
00000cbb: PUSH3 0xed4e00
00000cbf: PUSH2 0x1567
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: TIMESTAMP
00000cc5: LT
00000cc6: JUMPDEST
00000cc7: ISZERO
00000cc8: PUSH2 0x0d20
00000ccb: JUMPI
00000ccc: PUSH1 0x00
00000cce: PUSH1 0x64
00000cd0: PUSH2 0x0cda
00000cd3: DUP5
00000cd4: PUSH1 0x32
00000cd6: PUSH2 0x1626
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH2 0x0ce4
00000cde: SWAP2
00000cdf: SWAP1
00000ce0: PUSH2 0x157f
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: CALLER
00000ce6: PUSH1 0x00
00000ce8: SWAP1
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x03
00000ced: PUSH1 0x20
00000cef: MSTORE
00000cf0: PUSH1 0x40
00000cf2: SWAP1
00000cf3: KECCAK256
00000cf4: SLOAD
00000cf5: SWAP1
00000cf6: SWAP2
00000cf7: POP
00000cf8: DUP2
00000cf9: GT
00000cfa: ISZERO
00000cfb: PUSH2 0x0c93
00000cfe: JUMPI
00000cff: CALLER
00000d00: PUSH1 0x00
00000d02: SWAP1
00000d03: DUP2
00000d04: MSTORE
00000d05: PUSH1 0x03
00000d07: PUSH1 0x20
00000d09: MSTORE
00000d0a: PUSH1 0x40
00000d0c: SWAP1
00000d0d: KECCAK256
00000d0e: SLOAD
00000d0f: PUSH2 0x0d18
00000d12: SWAP1
00000d13: DUP3
00000d14: PUSH2 0x1645
00000d17: JUMP
00000d18: JUMPDEST
00000d19: SWAP2
00000d1a: POP
00000d1b: POP
00000d1c: PUSH2 0x0d9a
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: PUSH1 0x01
00000d23: SLOAD
00000d24: PUSH2 0x0d30
00000d27: SWAP1
00000d28: PUSH3 0xed4e00
00000d2c: PUSH2 0x1567
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: TIMESTAMP
00000d32: LT
00000d33: ISZERO
00000d34: DUP1
00000d35: ISZERO
00000d36: PUSH2 0x0d4e
00000d39: JUMPI
00000d3a: POP
00000d3b: PUSH1 0x01
00000d3d: SLOAD
00000d3e: PUSH2 0x0d4b
00000d41: SWAP1
00000d42: PUSH4 0x0163f500
00000d47: PUSH2 0x1567
00000d4a: JUMP
00000d4b: JUMPDEST
00000d4c: TIMESTAMP
00000d4d: LT
00000d4e: JUMPDEST
00000d4f: ISZERO
00000d50: PUSH2 0x0d62
00000d53: JUMPI
00000d54: PUSH1 0x00
00000d56: PUSH1 0x64
00000d58: PUSH2 0x0cda
00000d5b: DUP5
00000d5c: PUSH1 0x4b
00000d5e: PUSH2 0x1626
00000d61: JUMP
00000d62: JUMPDEST
00000d63: CALLER
00000d64: PUSH1 0x00
00000d66: SWAP1
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x03
00000d6b: PUSH1 0x20
00000d6d: MSTORE
00000d6e: PUSH1 0x40
00000d70: SWAP1
00000d71: KECCAK256
00000d72: SLOAD
00000d73: DUP3
00000d74: SWAP1
00000d75: DUP2
00000d76: GT
00000d77: ISZERO
00000d78: PUSH2 0x0d98
00000d7b: JUMPI
00000d7c: CALLER
00000d7d: PUSH1 0x00
00000d7f: SWAP1
00000d80: DUP2
00000d81: MSTORE
00000d82: PUSH1 0x03
00000d84: PUSH1 0x20
00000d86: MSTORE
00000d87: PUSH1 0x40
00000d89: SWAP1
00000d8a: KECCAK256
00000d8b: SLOAD
00000d8c: PUSH2 0x0d95
00000d8f: SWAP1
00000d90: DUP3
00000d91: PUSH2 0x1645
00000d94: JUMP
00000d95: JUMPDEST
00000d96: SWAP2
00000d97: POP
00000d98: JUMPDEST
00000d99: POP
00000d9a: JUMPDEST
00000d9b: PUSH1 0x00
00000d9d: DUP2
00000d9e: GT
00000d9f: PUSH2 0x0ddf
00000da2: JUMPI
00000da3: PUSH1 0x40
00000da5: MLOAD
00000da6: PUSH3 0x461bcd
00000daa: PUSH1 0xe5
00000dac: SHL
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: PUSH1 0x04
00000db3: DUP3
00000db4: ADD
00000db5: MSTORE
00000db6: PUSH1 0x12
00000db8: PUSH1 0x24
00000dba: DUP3
00000dbb: ADD
00000dbc: MSTORE
00000dbd: PUSH18 0x4e6f546f6b656e73546f5769746864726177
00000dd0: PUSH1 0x70
00000dd2: SHL
00000dd3: PUSH1 0x44
00000dd5: DUP3
00000dd6: ADD
00000dd7: MSTORE
00000dd8: PUSH1 0x64
00000dda: ADD
00000ddb: PUSH2 0x02f2
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: CALLER
00000de1: PUSH1 0x00
00000de3: SWAP1
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x03
00000de8: PUSH1 0x20
00000dea: MSTORE
00000deb: PUSH1 0x40
00000ded: DUP2
00000dee: KECCAK256
00000def: DUP1
00000df0: SLOAD
00000df1: DUP4
00000df2: SWAP3
00000df3: SWAP1
00000df4: PUSH2 0x0dfe
00000df7: SWAP1
00000df8: DUP5
00000df9: SWAP1
00000dfa: PUSH2 0x1567
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: SWAP1
00000e00: SWAP2
00000e01: SSTORE
00000e02: POP
00000e03: POP
00000e04: PUSH1 0x40
00000e06: MLOAD
00000e07: PUSH4 0xa9059cbb
00000e0c: PUSH1 0xe0
00000e0e: SHL
00000e0f: DUP2
00000e10: MSTORE
00000e11: CALLER
00000e12: PUSH1 0x04
00000e14: DUP3
00000e15: ADD
00000e16: MSTORE
00000e17: PUSH1 0x24
00000e19: DUP2
00000e1a: ADD
00000e1b: DUP3
00000e1c: SWAP1
00000e1d: MSTORE
00000e1e: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a
00000e3f: PUSH1 0x01
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: SHL
00000e46: SUB
00000e47: AND
00000e48: SWAP1
00000e49: PUSH4 0xa9059cbb
00000e4e: SWAP1
00000e4f: PUSH1 0x44
00000e51: ADD
00000e52: PUSH1 0x20
00000e54: PUSH1 0x40
00000e56: MLOAD
00000e57: DUP1
00000e58: DUP4
00000e59: SUB
00000e5a: DUP2
00000e5b: PUSH1 0x00
00000e5d: DUP8
00000e5e: DUP1
00000e5f: EXTCODESIZE
00000e60: ISZERO
00000e61: DUP1
00000e62: ISZERO
00000e63: PUSH2 0x0e6b
00000e66: JUMPI
00000e67: PUSH1 0x00
00000e69: DUP1
00000e6a: REVERT
00000e6b: JUMPDEST
00000e6c: POP
00000e6d: GAS
00000e6e: CALL
00000e6f: ISZERO
00000e70: DUP1
00000e71: ISZERO
00000e72: PUSH2 0x0e7f
00000e75: JUMPI
00000e76: RETURNDATASIZE
00000e77: PUSH1 0x00
00000e79: DUP1
00000e7a: RETURNDATACOPY
00000e7b: RETURNDATASIZE
00000e7c: PUSH1 0x00
00000e7e: REVERT
00000e7f: JUMPDEST
00000e80: POP
00000e81: POP
00000e82: POP
00000e83: POP
00000e84: PUSH1 0x40
00000e86: MLOAD
00000e87: RETURNDATASIZE
00000e88: PUSH1 0x1f
00000e8a: NOT
00000e8b: PUSH1 0x1f
00000e8d: DUP3
00000e8e: ADD
00000e8f: AND
00000e90: DUP3
00000e91: ADD
00000e92: DUP1
00000e93: PUSH1 0x40
00000e95: MSTORE
00000e96: POP
00000e97: DUP2
00000e98: ADD
00000e99: SWAP1
00000e9a: PUSH2 0x0ea3
00000e9d: SWAP2
00000e9e: SWAP1
00000e9f: PUSH2 0x1471
00000ea2: JUMP
00000ea3: JUMPDEST
00000ea4: PUSH2 0x0eac
00000ea7: JUMPI
00000ea8: PUSH1 0x00
00000eaa: DUP1
00000eab: REVERT
00000eac: JUMPDEST
00000ead: PUSH1 0x40
00000eaf: DUP1
00000eb0: MLOAD
00000eb1: CALLER
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: PUSH1 0x20
00000eb6: DUP2
00000eb7: ADD
00000eb8: DUP4
00000eb9: SWAP1
00000eba: MSTORE
00000ebb: PUSH32 0xe6d97b7230b7533250b019a2d66bad1597ba7927b43c4fb1c9475fe5096b625d
00000edc: SWAP2
00000edd: ADD
00000ede: PUSH1 0x40
00000ee0: MLOAD
00000ee1: DUP1
00000ee2: SWAP2
00000ee3: SUB
00000ee4: SWAP1
00000ee5: LOG1
00000ee6: POP
00000ee7: POP
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: PUSH1 0x00
00000eec: PUSH2 0x0ef3
00000eef: PUSH2 0x1374
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: SWAP1
00000ef5: POP
00000ef6: SWAP1
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: PUSH4 0x70a08231
00000f01: PUSH1 0xe0
00000f03: SHL
00000f04: DUP2
00000f05: MSTORE
00000f06: ADDRESS
00000f07: PUSH1 0x04
00000f09: DUP3
00000f0a: ADD
00000f0b: MSTORE
00000f0c: PUSH1 0x00
00000f0e: SWAP1
00000f0f: DUP2
00000f10: SWAP1
00000f11: DUP2
00000f12: SWAP1
00000f13: DUP2
00000f14: SWAP1
00000f15: PUSH1 0x01
00000f17: PUSH1 0x01
00000f19: PUSH1 0xa0
00000f1b: SHL
00000f1c: SUB
00000f1d: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a
00000f3e: AND
00000f3f: SWAP1
00000f40: PUSH4 0x70a08231
00000f45: SWAP1
00000f46: PUSH1 0x24
00000f48: ADD
00000f49: PUSH1 0x20
00000f4b: PUSH1 0x40
00000f4d: MLOAD
00000f4e: DUP1
00000f4f: DUP4
00000f50: SUB
00000f51: DUP2
00000f52: DUP7
00000f53: DUP1
00000f54: EXTCODESIZE
00000f55: ISZERO
00000f56: DUP1
00000f57: ISZERO
00000f58: PUSH2 0x0f60
00000f5b: JUMPI
00000f5c: PUSH1 0x00
00000f5e: DUP1
00000f5f: REVERT
00000f60: JUMPDEST
00000f61: POP
00000f62: GAS
00000f63: STATICCALL
00000f64: ISZERO
00000f65: DUP1
00000f66: ISZERO
00000f67: PUSH2 0x0f74
00000f6a: JUMPI
00000f6b: RETURNDATASIZE
00000f6c: PUSH1 0x00
00000f6e: DUP1
00000f6f: RETURNDATACOPY
00000f70: RETURNDATASIZE
00000f71: PUSH1 0x00
00000f73: REVERT
00000f74: JUMPDEST
00000f75: POP
00000f76: POP
00000f77: POP
00000f78: POP
00000f79: PUSH1 0x40
00000f7b: MLOAD
00000f7c: RETURNDATASIZE
00000f7d: PUSH1 0x1f
00000f7f: NOT
00000f80: PUSH1 0x1f
00000f82: DUP3
00000f83: ADD
00000f84: AND
00000f85: DUP3
00000f86: ADD
00000f87: DUP1
00000f88: PUSH1 0x40
00000f8a: MSTORE
00000f8b: POP
00000f8c: DUP2
00000f8d: ADD
00000f8e: SWAP1
00000f8f: PUSH2 0x0f98
00000f92: SWAP2
00000f93: SWAP1
00000f94: PUSH2 0x14ac
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH1 0x40
00000f9b: MLOAD
00000f9c: PUSH4 0x70a08231
00000fa1: PUSH1 0xe0
00000fa3: SHL
00000fa4: DUP2
00000fa5: MSTORE
00000fa6: ADDRESS
00000fa7: PUSH1 0x04
00000fa9: DUP3
00000faa: ADD
00000fab: MSTORE
00000fac: SWAP1
00000fad: SWAP5
00000fae: POP
00000faf: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0x01
00000fd4: PUSH1 0xa0
00000fd6: SHL
00000fd7: SUB
00000fd8: AND
00000fd9: SWAP1
00000fda: PUSH4 0x70a08231
00000fdf: SWAP1
00000fe0: PUSH1 0x24
00000fe2: ADD
00000fe3: PUSH1 0x20
00000fe5: PUSH1 0x40
00000fe7: MLOAD
00000fe8: DUP1
00000fe9: DUP4
00000fea: SUB
00000feb: DUP2
00000fec: DUP7
00000fed: DUP1
00000fee: EXTCODESIZE
00000fef: ISZERO
00000ff0: DUP1
00000ff1: ISZERO
00000ff2: PUSH2 0x0ffa
00000ff5: JUMPI
00000ff6: PUSH1 0x00
00000ff8: DUP1
00000ff9: REVERT
00000ffa: JUMPDEST
00000ffb: POP
00000ffc: GAS
00000ffd: STATICCALL
00000ffe: ISZERO
00000fff: DUP1
00001000: ISZERO
00001001: PUSH2 0x100e
00001004: JUMPI
00001005: RETURNDATASIZE
00001006: PUSH1 0x00
00001008: DUP1
00001009: RETURNDATACOPY
0000100a: RETURNDATASIZE
0000100b: PUSH1 0x00
0000100d: REVERT
0000100e: JUMPDEST
0000100f: POP
00001010: POP
00001011: POP
00001012: POP
00001013: PUSH1 0x40
00001015: MLOAD
00001016: RETURNDATASIZE
00001017: PUSH1 0x1f
00001019: NOT
0000101a: PUSH1 0x1f
0000101c: DUP3
0000101d: ADD
0000101e: AND
0000101f: DUP3
00001020: ADD
00001021: DUP1
00001022: PUSH1 0x40
00001024: MSTORE
00001025: POP
00001026: DUP2
00001027: ADD
00001028: SWAP1
00001029: PUSH2 0x1032
0000102c: SWAP2
0000102d: SWAP1
0000102e: PUSH2 0x14ac
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x40
00001035: MLOAD
00001036: PUSH4 0x70a08231
0000103b: PUSH1 0xe0
0000103d: SHL
0000103e: DUP2
0000103f: MSTORE
00001040: ADDRESS
00001041: PUSH1 0x04
00001043: DUP3
00001044: ADD
00001045: MSTORE
00001046: SWAP1
00001047: SWAP3
00001048: POP
00001049: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000106a: PUSH1 0x01
0000106c: PUSH1 0x01
0000106e: PUSH1 0xa0
00001070: SHL
00001071: SUB
00001072: AND
00001073: SWAP1
00001074: PUSH4 0x70a08231
00001079: SWAP1
0000107a: PUSH1 0x24
0000107c: ADD
0000107d: PUSH1 0x20
0000107f: PUSH1 0x40
00001081: MLOAD
00001082: DUP1
00001083: DUP4
00001084: SUB
00001085: DUP2
00001086: DUP7
00001087: DUP1
00001088: EXTCODESIZE
00001089: ISZERO
0000108a: DUP1
0000108b: ISZERO
0000108c: PUSH2 0x1094
0000108f: JUMPI
00001090: PUSH1 0x00
00001092: DUP1
00001093: REVERT
00001094: JUMPDEST
00001095: POP
00001096: GAS
00001097: STATICCALL
00001098: ISZERO
00001099: DUP1
0000109a: ISZERO
0000109b: PUSH2 0x10a8
0000109e: JUMPI
0000109f: RETURNDATASIZE
000010a0: PUSH1 0x00
000010a2: DUP1
000010a3: RETURNDATACOPY
000010a4: RETURNDATASIZE
000010a5: PUSH1 0x00
000010a7: REVERT
000010a8: JUMPDEST
000010a9: POP
000010aa: POP
000010ab: POP
000010ac: POP
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: RETURNDATASIZE
000010b1: PUSH1 0x1f
000010b3: NOT
000010b4: PUSH1 0x1f
000010b6: DUP3
000010b7: ADD
000010b8: AND
000010b9: DUP3
000010ba: ADD
000010bb: DUP1
000010bc: PUSH1 0x40
000010be: MSTORE
000010bf: POP
000010c0: DUP2
000010c1: ADD
000010c2: SWAP1
000010c3: PUSH2 0x10cc
000010c6: SWAP2
000010c7: SWAP1
000010c8: PUSH2 0x14ac
000010cb: JUMP
000010cc: JUMPDEST
000010cd: SWAP1
000010ce: POP
000010cf: SELFBALANCE
000010d0: SWAP3
000010d1: POP
000010d2: SWAP1
000010d3: SWAP2
000010d4: SWAP3
000010d5: SWAP4
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH1 0x00
000010da: DUP2
000010db: PUSH2 0x10e6
000010de: JUMPI
000010df: POP
000010e0: POP
000010e1: PUSH1 0x01
000010e3: SLOAD
000010e4: SWAP1
000010e5: JUMP
000010e6: JUMPDEST
000010e7: DUP2
000010e8: PUSH1 0x01
000010ea: EQ
000010eb: ISZERO
000010ec: PUSH2 0x1105
000010ef: JUMPI
000010f0: PUSH1 0x01
000010f2: SLOAD
000010f3: PUSH2 0x10ff
000010f6: SWAP1
000010f7: PUSH3 0x76a700
000010fb: PUSH2 0x1567
000010fe: JUMP
000010ff: JUMPDEST
00001100: SWAP3
00001101: SWAP2
00001102: POP
00001103: POP
00001104: JUMP
00001105: JUMPDEST
00001106: DUP2
00001107: PUSH1 0x02
00001109: EQ
0000110a: ISZERO
0000110b: PUSH2 0x111e
0000110e: JUMPI
0000110f: PUSH1 0x01
00001111: SLOAD
00001112: PUSH2 0x10ff
00001115: SWAP1
00001116: PUSH3 0xed4e00
0000111a: PUSH2 0x1567
0000111d: JUMP
0000111e: JUMPDEST
0000111f: DUP2
00001120: PUSH1 0x03
00001122: EQ
00001123: ISZERO
00001124: PUSH2 0x1138
00001127: JUMPI
00001128: PUSH1 0x01
0000112a: SLOAD
0000112b: PUSH2 0x10ff
0000112e: SWAP1
0000112f: PUSH4 0x0163f500
00001134: PUSH2 0x1567
00001137: JUMP
00001138: JUMPDEST
00001139: SWAP2
0000113a: SWAP1
0000113b: POP
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH1 0x00
00001140: PUSH2 0x0ef3
00001143: PUSH2 0x1302
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH1 0x00
0000114a: DUP1
0000114b: PUSH2 0x1152
0000114e: PUSH2 0x1374
00001151: JUMP
00001152: JUMPDEST
00001153: SWAP1
00001154: POP
00001155: DUP1
00001156: PUSH2 0x1167
00001159: DUP5
0000115a: PUSH8 0x0de0b6b3a7640000
00001163: PUSH2 0x1626
00001166: JUMP
00001167: JUMPDEST
00001168: PUSH2 0x1171
0000116b: SWAP2
0000116c: SWAP1
0000116d: PUSH2 0x157f
00001170: JUMP
00001171: JUMPDEST
00001172: SWAP4
00001173: SWAP3
00001174: POP
00001175: POP
00001176: POP
00001177: JUMP
00001178: JUMPDEST
00001179: PUSH2 0x1180
0000117c: PUSH2 0x1302
0000117f: JUMP
00001180: JUMPDEST
00001181: ISZERO
00001182: PUSH2 0x119d
00001185: JUMPI
00001186: PUSH1 0x40
00001188: MLOAD
00001189: PUSH3 0x461bcd
0000118d: PUSH1 0xe5
0000118f: SHL
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x04
00001194: ADD
00001195: PUSH2 0x02f2
00001198: SWAP1
00001199: PUSH2 0x1541
0000119c: JUMP
0000119d: JUMPDEST
0000119e: CALLER
0000119f: PUSH1 0x01
000011a1: PUSH1 0x01
000011a3: PUSH1 0xa0
000011a5: SHL
000011a6: SUB
000011a7: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
000011c8: AND
000011c9: EQ
000011ca: PUSH2 0x1201
000011cd: JUMPI
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: PUSH3 0x461bcd
000011d5: PUSH1 0xe5
000011d7: SHL
000011d8: DUP2
000011d9: MSTORE
000011da: PUSH1 0x20
000011dc: PUSH1 0x04
000011de: DUP3
000011df: ADD
000011e0: MSTORE
000011e1: PUSH1 0x09
000011e3: PUSH1 0x24
000011e5: DUP3
000011e6: ADD
000011e7: MSTORE
000011e8: PUSH9 0x4f6e6c795869667261
000011f2: PUSH1 0xb8
000011f4: SHL
000011f5: PUSH1 0x44
000011f7: DUP3
000011f8: ADD
000011f9: MSTORE
000011fa: PUSH1 0x64
000011fc: ADD
000011fd: PUSH2 0x02f2
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x00
00001204: DUP1
00001205: SLOAD
00001206: PUSH2 0x122f
00001209: SWAP1
0000120a: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000
0000122b: PUSH2 0x1645
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH1 0x40
00001232: MLOAD
00001233: PUSH4 0xa9059cbb
00001238: PUSH1 0xe0
0000123a: SHL
0000123b: DUP2
0000123c: MSTORE
0000123d: PUSH1 0x01
0000123f: PUSH1 0x01
00001241: PUSH1 0xa0
00001243: SHL
00001244: SUB
00001245: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18
00001266: DUP2
00001267: AND
00001268: PUSH1 0x04
0000126a: DUP4
0000126b: ADD
0000126c: MSTORE
0000126d: PUSH1 0x24
0000126f: DUP3
00001270: ADD
00001271: DUP4
00001272: SWAP1
00001273: MSTORE
00001274: SWAP2
00001275: SWAP3
00001276: POP
00001277: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a
00001298: SWAP1
00001299: SWAP2
0000129a: AND
0000129b: SWAP1
0000129c: PUSH4 0xa9059cbb
000012a1: SWAP1
000012a2: PUSH1 0x44
000012a4: ADD
000012a5: PUSH1 0x20
000012a7: PUSH1 0x40
000012a9: MLOAD
000012aa: DUP1
000012ab: DUP4
000012ac: SUB
000012ad: DUP2
000012ae: PUSH1 0x00
000012b0: DUP8
000012b1: DUP1
000012b2: EXTCODESIZE
000012b3: ISZERO
000012b4: DUP1
000012b5: ISZERO
000012b6: PUSH2 0x12be
000012b9: JUMPI
000012ba: PUSH1 0x00
000012bc: DUP1
000012bd: REVERT
000012be: JUMPDEST
000012bf: POP
000012c0: GAS
000012c1: CALL
000012c2: ISZERO
000012c3: DUP1
000012c4: ISZERO
000012c5: PUSH2 0x12d2
000012c8: JUMPI
000012c9: RETURNDATASIZE
000012ca: PUSH1 0x00
000012cc: DUP1
000012cd: RETURNDATACOPY
000012ce: RETURNDATASIZE
000012cf: PUSH1 0x00
000012d1: REVERT
000012d2: JUMPDEST
000012d3: POP
000012d4: POP
000012d5: POP
000012d6: POP
000012d7: PUSH1 0x40
000012d9: MLOAD
000012da: RETURNDATASIZE
000012db: PUSH1 0x1f
000012dd: NOT
000012de: PUSH1 0x1f
000012e0: DUP3
000012e1: ADD
000012e2: AND
000012e3: DUP3
000012e4: ADD
000012e5: DUP1
000012e6: PUSH1 0x40
000012e8: MSTORE
000012e9: POP
000012ea: DUP2
000012eb: ADD
000012ec: SWAP1
000012ed: PUSH2 0x12f6
000012f0: SWAP2
000012f1: SWAP1
000012f2: PUSH2 0x1471
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH2 0x12ff
000012fa: JUMPI
000012fb: PUSH1 0x00
000012fd: DUP1
000012fe: REVERT
000012ff: JUMPDEST
00001300: POP
00001301: JUMP
00001302: JUMPDEST
00001303: PUSH1 0x00
00001305: PUSH32 0x000000000000000000000000000000000000000000000000000000006192f480
00001326: TIMESTAMP
00001327: LT
00001328: DUP1
00001329: PUSH2 0x1351
0000132c: JUMPI
0000132d: POP
0000132e: PUSH32 0x0000000000000000000000000000000000000000000000000000000061d78280
0000134f: TIMESTAMP
00001350: GT
00001351: JUMPDEST
00001352: DUP1
00001353: PUSH2 0x1363
00001356: JUMPI
00001357: POP
00001358: PUSH1 0x04
0000135a: SLOAD
0000135b: PUSH1 0xff
0000135d: AND
0000135e: ISZERO
0000135f: ISZERO
00001360: PUSH1 0x01
00001362: EQ
00001363: JUMPDEST
00001364: ISZERO
00001365: PUSH2 0x136e
00001368: JUMPI
00001369: POP
0000136a: PUSH1 0x00
0000136c: SWAP1
0000136d: JUMP
0000136e: JUMPDEST
0000136f: POP
00001370: PUSH1 0x01
00001372: SWAP1
00001373: JUMP
00001374: JUMPDEST
00001375: PUSH1 0x00
00001377: DUP1
00001378: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419
00001399: PUSH1 0x01
0000139b: PUSH1 0x01
0000139d: PUSH1 0xa0
0000139f: SHL
000013a0: SUB
000013a1: AND
000013a2: PUSH4 0xfeaf968c
000013a7: PUSH1 0x40
000013a9: MLOAD
000013aa: DUP2
000013ab: PUSH4 0xffffffff
000013b0: AND
000013b1: PUSH1 0xe0
000013b3: SHL
000013b4: DUP2
000013b5: MSTORE
000013b6: PUSH1 0x04
000013b8: ADD
000013b9: PUSH1 0xa0
000013bb: PUSH1 0x40
000013bd: MLOAD
000013be: DUP1
000013bf: DUP4
000013c0: SUB
000013c1: DUP2
000013c2: DUP7
000013c3: DUP1
000013c4: EXTCODESIZE
000013c5: ISZERO
000013c6: DUP1
000013c7: ISZERO
000013c8: PUSH2 0x13d0
000013cb: JUMPI
000013cc: PUSH1 0x00
000013ce: DUP1
000013cf: REVERT
000013d0: JUMPDEST
000013d1: POP
000013d2: GAS
000013d3: STATICCALL
000013d4: ISZERO
000013d5: DUP1
000013d6: ISZERO
000013d7: PUSH2 0x13e4
000013da: JUMPI
000013db: RETURNDATASIZE
000013dc: PUSH1 0x00
000013de: DUP1
000013df: RETURNDATACOPY
000013e0: RETURNDATASIZE
000013e1: PUSH1 0x00
000013e3: REVERT
000013e4: JUMPDEST
000013e5: POP
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: RETURNDATASIZE
000013ed: PUSH1 0x1f
000013ef: NOT
000013f0: PUSH1 0x1f
000013f2: DUP3
000013f3: ADD
000013f4: AND
000013f5: DUP3
000013f6: ADD
000013f7: DUP1
000013f8: PUSH1 0x40
000013fa: MSTORE
000013fb: POP
000013fc: DUP2
000013fd: ADD
000013fe: SWAP1
000013ff: PUSH2 0x1408
00001402: SWAP2
00001403: SWAP1
00001404: PUSH2 0x14f1
00001407: JUMP
00001408: JUMPDEST
00001409: POP
0000140a: POP
0000140b: POP
0000140c: SWAP2
0000140d: POP
0000140e: POP
0000140f: DUP1
00001410: PUSH5 0x02540be400
00001416: PUSH2 0x141f
00001419: SWAP2
0000141a: SWAP1
0000141b: PUSH2 0x15a1
0000141e: JUMP
0000141f: JUMPDEST
00001420: SWAP2
00001421: POP
00001422: POP
00001423: SWAP1
00001424: JUMP
00001425: JUMPDEST
00001426: DUP1
00001427: CALLDATALOAD
00001428: PUSH1 0x01
0000142a: PUSH1 0x01
0000142c: PUSH1 0xa0
0000142e: SHL
0000142f: SUB
00001430: DUP2
00001431: AND
00001432: DUP2
00001433: EQ
00001434: PUSH2 0x1138
00001437: JUMPI
00001438: PUSH1 0x00
0000143a: DUP1
0000143b: REVERT
0000143c: JUMPDEST
0000143d: DUP1
0000143e: MLOAD
0000143f: PUSH10 0xffffffffffffffffffff
0000144a: DUP2
0000144b: AND
0000144c: DUP2
0000144d: EQ
0000144e: PUSH2 0x1138
00001451: JUMPI
00001452: PUSH1 0x00
00001454: DUP1
00001455: REVERT
00001456: JUMPDEST
00001457: PUSH1 0x00
00001459: PUSH1 0x20
0000145b: DUP3
0000145c: DUP5
0000145d: SUB
0000145e: SLT
0000145f: ISZERO
00001460: PUSH2 0x1468
00001463: JUMPI
00001464: PUSH1 0x00
00001466: DUP1
00001467: REVERT
00001468: JUMPDEST
00001469: PUSH2 0x1171
0000146c: DUP3
0000146d: PUSH2 0x1425
00001470: JUMP
00001471: JUMPDEST
00001472: PUSH1 0x00
00001474: PUSH1 0x20
00001476: DUP3
00001477: DUP5
00001478: SUB
00001479: SLT
0000147a: ISZERO
0000147b: PUSH2 0x1483
0000147e: JUMPI
0000147f: PUSH1 0x00
00001481: DUP1
00001482: REVERT
00001483: JUMPDEST
00001484: DUP2
00001485: MLOAD
00001486: DUP1
00001487: ISZERO
00001488: ISZERO
00001489: DUP2
0000148a: EQ
0000148b: PUSH2 0x1171
0000148e: JUMPI
0000148f: PUSH1 0x00
00001491: DUP1
00001492: REVERT
00001493: JUMPDEST
00001494: PUSH1 0x00
00001496: PUSH1 0x20
00001498: DUP3
00001499: DUP5
0000149a: SUB
0000149b: SLT
0000149c: ISZERO
0000149d: PUSH2 0x14a5
000014a0: JUMPI
000014a1: PUSH1 0x00
000014a3: DUP1
000014a4: REVERT
000014a5: JUMPDEST
000014a6: POP
000014a7: CALLDATALOAD
000014a8: SWAP2
000014a9: SWAP1
000014aa: POP
000014ab: JUMP
000014ac: JUMPDEST
000014ad: PUSH1 0x00
000014af: PUSH1 0x20
000014b1: DUP3
000014b2: DUP5
000014b3: SUB
000014b4: SLT
000014b5: ISZERO
000014b6: PUSH2 0x14be
000014b9: JUMPI
000014ba: PUSH1 0x00
000014bc: DUP1
000014bd: REVERT
000014be: JUMPDEST
000014bf: POP
000014c0: MLOAD
000014c1: SWAP2
000014c2: SWAP1
000014c3: POP
000014c4: JUMP
000014c5: JUMPDEST
000014c6: PUSH1 0x00
000014c8: DUP1
000014c9: PUSH1 0x40
000014cb: DUP4
000014cc: DUP6
000014cd: SUB
000014ce: SLT
000014cf: ISZERO
000014d0: PUSH2 0x14d8
000014d3: JUMPI
000014d4: PUSH1 0x00
000014d6: DUP1
000014d7: REVERT
000014d8: JUMPDEST
000014d9: DUP3
000014da: CALLDATALOAD
000014db: SWAP2
000014dc: POP
000014dd: PUSH2 0x14e8
000014e0: PUSH1 0x20
000014e2: DUP5
000014e3: ADD
000014e4: PUSH2 0x1425
000014e7: JUMP
000014e8: JUMPDEST
000014e9: SWAP1
000014ea: POP
000014eb: SWAP3
000014ec: POP
000014ed: SWAP3
000014ee: SWAP1
000014ef: POP
000014f0: JUMP
000014f1: JUMPDEST
000014f2: PUSH1 0x00
000014f4: DUP1
000014f5: PUSH1 0x00
000014f7: DUP1
000014f8: PUSH1 0x00
000014fa: PUSH1 0xa0
000014fc: DUP7
000014fd: DUP9
000014fe: SUB
000014ff: SLT
00001500: ISZERO
00001501: PUSH2 0x1509
00001504: JUMPI
00001505: PUSH1 0x00
00001507: DUP1
00001508: REVERT
00001509: JUMPDEST
0000150a: PUSH2 0x1512
0000150d: DUP7
0000150e: PUSH2 0x143c
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP5
00001514: POP
00001515: PUSH1 0x20
00001517: DUP7
00001518: ADD
00001519: MLOAD
0000151a: SWAP4
0000151b: POP
0000151c: PUSH1 0x40
0000151e: DUP7
0000151f: ADD
00001520: MLOAD
00001521: SWAP3
00001522: POP
00001523: PUSH1 0x60
00001525: DUP7
00001526: ADD
00001527: MLOAD
00001528: SWAP2
00001529: POP
0000152a: PUSH2 0x1535
0000152d: PUSH1 0x80
0000152f: DUP8
00001530: ADD
00001531: PUSH2 0x143c
00001534: JUMP
00001535: JUMPDEST
00001536: SWAP1
00001537: POP
00001538: SWAP3
00001539: SWAP6
0000153a: POP
0000153b: SWAP3
0000153c: SWAP6
0000153d: SWAP1
0000153e: SWAP4
0000153f: POP
00001540: JUMP
00001541: JUMPDEST
00001542: PUSH1 0x20
00001544: DUP1
00001545: DUP3
00001546: MSTORE
00001547: PUSH1 0x0c
00001549: SWAP1
0000154a: DUP3
0000154b: ADD
0000154c: MSTORE
0000154d: PUSH12 0x49434f4e6f74416374697665
0000155a: PUSH1 0xa0
0000155c: SHL
0000155d: PUSH1 0x40
0000155f: DUP3
00001560: ADD
00001561: MSTORE
00001562: PUSH1 0x60
00001564: ADD
00001565: SWAP1
00001566: JUMP
00001567: JUMPDEST
00001568: PUSH1 0x00
0000156a: DUP3
0000156b: NOT
0000156c: DUP3
0000156d: GT
0000156e: ISZERO
0000156f: PUSH2 0x157a
00001572: JUMPI
00001573: PUSH2 0x157a
00001576: PUSH2 0x165c
00001579: JUMP
0000157a: JUMPDEST
0000157b: POP
0000157c: ADD
0000157d: SWAP1
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH1 0x00
00001582: DUP3
00001583: PUSH2 0x159c
00001586: JUMPI
00001587: PUSH4 0x4e487b71
0000158c: PUSH1 0xe0
0000158e: SHL
0000158f: PUSH1 0x00
00001591: MSTORE
00001592: PUSH1 0x12
00001594: PUSH1 0x04
00001596: MSTORE
00001597: PUSH1 0x24
00001599: PUSH1 0x00
0000159b: REVERT
0000159c: JUMPDEST
0000159d: POP
0000159e: DIV
0000159f: SWAP1
000015a0: JUMP
000015a1: JUMPDEST
000015a2: PUSH1 0x00
000015a4: PUSH1 0x01
000015a6: PUSH1 0x01
000015a8: PUSH1 0xff
000015aa: SHL
000015ab: SUB
000015ac: DUP2
000015ad: DUP5
000015ae: SGT
000015af: DUP3
000015b0: DUP5
000015b1: SGT
000015b2: DUP1
000015b3: DUP3
000015b4: AND
000015b5: DUP7
000015b6: DUP5
000015b7: DIV
000015b8: DUP7
000015b9: GT
000015ba: AND
000015bb: ISZERO
000015bc: PUSH2 0x15c7
000015bf: JUMPI
000015c0: PUSH2 0x15c7
000015c3: PUSH2 0x165c
000015c6: JUMP
000015c7: JUMPDEST
000015c8: PUSH1 0x01
000015ca: PUSH1 0xff
000015cc: SHL
000015cd: PUSH1 0x00
000015cf: DUP8
000015d0: SLT
000015d1: DUP3
000015d2: DUP2
000015d3: AND
000015d4: DUP8
000015d5: DUP4
000015d6: SDIV
000015d7: DUP10
000015d8: SLT
000015d9: AND
000015da: ISZERO
000015db: PUSH2 0x15e6
000015de: JUMPI
000015df: PUSH2 0x15e6
000015e2: PUSH2 0x165c
000015e5: JUMP
000015e6: JUMPDEST
000015e7: PUSH1 0x00
000015e9: DUP8
000015ea: SLT
000015eb: SWAP3
000015ec: POP
000015ed: DUP8
000015ee: DUP3
000015ef: SDIV
000015f0: DUP8
000015f1: SLT
000015f2: DUP5
000015f3: DUP5
000015f4: AND
000015f5: AND
000015f6: ISZERO
000015f7: PUSH2 0x1602
000015fa: JUMPI
000015fb: PUSH2 0x1602
000015fe: PUSH2 0x165c
00001601: JUMP
00001602: JUMPDEST
00001603: DUP8
00001604: DUP6
00001605: SDIV
00001606: DUP8
00001607: SLT
00001608: DUP2
00001609: DUP5
0000160a: AND
0000160b: AND
0000160c: ISZERO
0000160d: PUSH2 0x1618
00001610: JUMPI
00001611: PUSH2 0x1618
00001614: PUSH2 0x165c
00001617: JUMP
00001618: JUMPDEST
00001619: POP
0000161a: POP
0000161b: POP
0000161c: SWAP3
0000161d: SWAP1
0000161e: SWAP4
0000161f: MUL
00001620: SWAP4
00001621: SWAP3
00001622: POP
00001623: POP
00001624: POP
00001625: JUMP
00001626: JUMPDEST
00001627: PUSH1 0x00
00001629: DUP2
0000162a: PUSH1 0x00
0000162c: NOT
0000162d: DIV
0000162e: DUP4
0000162f: GT
00001630: DUP3
00001631: ISZERO
00001632: ISZERO
00001633: AND
00001634: ISZERO
00001635: PUSH2 0x1640
00001638: JUMPI
00001639: PUSH2 0x1640
0000163c: PUSH2 0x165c
0000163f: JUMP
00001640: JUMPDEST
00001641: POP
00001642: MUL
00001643: SWAP1
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x00
00001648: DUP3
00001649: DUP3
0000164a: LT
0000164b: ISZERO
0000164c: PUSH2 0x1657
0000164f: JUMPI
00001650: PUSH2 0x1657
00001653: PUSH2 0x165c
00001656: JUMP
00001657: JUMPDEST
00001658: POP
00001659: SUB
0000165a: SWAP1
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH4 0x4e487b71
00001662: PUSH1 0xe0
00001664: SHL
00001665: PUSH1 0x00
00001667: MSTORE
00001668: PUSH1 0x11
0000166a: PUSH1 0x04
0000166c: MSTORE
0000166d: PUSH1 0x24
0000166f: PUSH1 0x00
00001671: REVERT
00001672: INVALID
00001673: LOG2
00001674: PUSH5 0x6970667358
0000167a: UNKNOWN(0x22)
0000167b: SLT
0000167c: KECCAK256
0000167d: UNKNOWN(0xB6)
0000167e: UNKNOWN(0xC6)
0000167f: ADDMOD
00001680: ADD
00001681: LOG4
00001682: UNKNOWN(0xD4)
00001683: SLT
00001684: SUB
00001685: UNKNOWN(0xE2)
00001686: MLOAD
00001687: STOP
00001688: UNKNOWN(0x21)
00001689: UNKNOWN(0xE6)
0000168a: PUSH2 0xcc99
0000168d: UNKNOWN(0xCC)
0000168e: RETURNDATASIZE
0000168f: UNKNOWN(0xCB)
00001690: PUSH5 0x6d8ab536e7
00001696: UNKNOWN(0xB1)
00001697: UNKNOWN(0x25)
00001698: PUSH23