Analysis Run

[codex:1073352] OpenAI Codex v0.77.0 (research preview)
[codex:1073352] --------
[codex:1073352] workdir: /tmp/codex-multi-hyd95k88
[codex:1073352] model: gpt-5.2-codex
[codex:1073352] provider: openai
[codex:1073352] approval: never
[codex:1073352] sandbox: read-only
[codex:1073352] reasoning effort: xhigh
[codex:1073352] reasoning summaries: auto
[codex:1073352] session id: 019b76e7-bab2-7fc1-bc89-2d3690027ef6
[codex:1073352] --------
[codex:1073352] user
[codex:1073352] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1073352] 
[codex:1073352] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1073352] 
[codex:1073352] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1073352] - Gas inefficiency, code quality, naming, or best practices
[codex:1073352] - Theoretical vulnerabilities without a clear extraction path
[codex:1073352] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1073352] - Front-running unless it enables theft beyond MEV
[codex:1073352] - DoS, griefing, or issues that don't result in attacker profit
[codex:1073352] - Missing events, view function issues, or informational findings
[codex:1073352] 
[codex:1073352] HIGH-VALUE PATTERNS TO HUNT:
[codex:1073352] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1073352] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1073352] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1073352] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1073352] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1073352] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1073352] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1073352] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1073352] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1073352] 
[codex:1073352] For each finding, you MUST provide:
[codex:1073352] 1. Exact file and line numbers of vulnerable code
[codex:1073352] 2. Step-by-step exploit transaction sequence
[codex:1073352] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1073352] 
[codex:1073352] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1073352] 
[codex:1073352] Output MUST be valid JSON matching the provided schema.
[codex:1073352] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1073352] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1073352] mcp startup: no servers
[codex:1073352] 
[codex:1073352] thinking
[codex:1073352] **Searching for AUDIT_BUNDLE file**
[codex:1073352] exec
[codex:1073352] /bin/bash -lc ls in /tmp/codex-multi-hyd95k88 succeeded in 6ms:
[codex:1073352] AUDIT_BUNDLE.txt
[codex:1073352] codex-output-schema.json
[codex:1073352] contracts
[codex:1073352] 
[codex:1073352] thinking
[codex:1073352] **Opening AUDIT_BUNDLE.txt**
[codex:1073352] exec
[codex:1073352] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-hyd95k88 succeeded in 5ms:
[codex:1073352] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1073352] 
[codex:1073352] ================================================================================
[codex:1073352] FILE: contracts/src/modules/vesting/VestingSimple.sol
[codex:1073352] ================================================================================
[codex:1073352] // SPDX-License-Identifier: Apache-2.0
[codex:1073352] pragma solidity 0.8.21;
[codex:1073352] 
[codex:1073352] import { EnumerableSet } from "@openzeppelin/contracts/utils/structs/EnumerableSet.sol";
[codex:1073352] import { SafeTransferLib } from "@solmate/utils/SafeTransferLib.sol";
[codex:1073352] import { ERC20 } from "@solmate/tokens/ERC20.sol";
[codex:1073352] import { Math } from "src/utils/Math.sol";
[codex:1073352] 
[codex:1073352] /**
[codex:1073352]  * @title Cellar Vesting Timelock
[codex:1073352]  * @author Kevin Kennis
[codex:1073352]  * @notice A contract set as a position in a Sommelier cellar, with an adapter,
[codex:1073352]  *         that linearly releases deposited tokens in order to smooth
[codex:1073352]  *         out sudden TVL increases.
[codex:1073352]  */
[codex:1073352] 
[codex:1073352] thinking
[codex:1073352] **Analyzing vesting contract for exploits**
[codex:1073352] 
[codex:1073352] I'm carefully reviewing the vesting contract's deposit and withdrawal logic to find any exploitable profit paths, focusing on possible reentrancy or arithmetic issues. The state updates precede asset transfers, minimizing reentrancy risk, and rounding checks suggest no over-vesting or underflow bugs. After thorough analysis, I find no concrete exploit paths to profit and will summarize this clean audit outcome accordingly.
[codex:1073352] codex
[codex:1073352] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:1073352] tokens used
[codex:1073352] 9,516
[codex:1073352] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T00:15:16.936878+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: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x000f
0000000b: JUMPI
0000000c: PUSH0
0000000d: DUP1
0000000e: REVERT
0000000f: JUMPDEST
00000010: POP
00000011: PUSH1 0x04
00000013: CALLDATASIZE
00000014: LT
00000015: PUSH2 0x00fb
00000018: JUMPI
00000019: PUSH0
0000001a: CALLDATALOAD
0000001b: PUSH1 0xe0
0000001d: SHR
0000001e: DUP1
0000001f: PUSH4 0x6e553f65
00000024: GT
00000025: PUSH2 0x0093
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x84a86e6d
0000002f: GT
00000030: PUSH2 0x0063
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x84a86e6d
0000003a: EQ
0000003b: PUSH2 0x02e2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x853828b6
00000045: EQ
00000046: PUSH2 0x032d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xa14c6e16
00000050: EQ
00000051: PUSH2 0x0335
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xcd542563
0000005b: EQ
0000005c: PUSH2 0x0355
0000005f: JUMPI
00000060: PUSH0
00000061: DUP1
00000062: REVERT
00000063: JUMPDEST
00000064: DUP1
00000065: PUSH4 0x6e553f65
0000006a: EQ
0000006b: PUSH2 0x028c
0000006e: JUMPI
0000006f: DUP1
00000070: PUSH4 0x7313ee5a
00000075: EQ
00000076: PUSH2 0x029f
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x78c51689
00000080: EQ
00000081: PUSH2 0x02c6
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x7d882097
0000008b: EQ
0000008c: PUSH2 0x02d9
0000008f: JUMPI
00000090: PUSH0
00000091: DUP1
00000092: REVERT
00000093: JUMPDEST
00000094: DUP1
00000095: PUSH4 0x441a3e70
0000009a: GT
0000009b: PUSH2 0x00ce
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x441a3e70
000000a5: EQ
000000a6: PUSH2 0x0196
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x4b0ee02a
000000b0: EQ
000000b1: PUSH2 0x01a9
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x636bfbab
000000bb: EQ
000000bc: PUSH2 0x01bc
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x6ce73df7
000000c6: EQ
000000c7: PUSH2 0x01e3
000000ca: JUMPI
000000cb: PUSH0
000000cc: DUP1
000000cd: REVERT
000000ce: JUMPDEST
000000cf: DUP1
000000d0: PUSH4 0x0e2d1a2a
000000d5: EQ
000000d6: PUSH2 0x00ff
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x2299b8fa
000000e0: EQ
000000e1: PUSH2 0x0125
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x38d52e0f
000000eb: EQ
000000ec: PUSH2 0x0144
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x4089d6d2
000000f6: EQ
000000f7: PUSH2 0x0183
000000fa: JUMPI
000000fb: JUMPDEST
000000fc: PUSH0
000000fd: DUP1
000000fe: REVERT
000000ff: JUMPDEST
00000100: PUSH2 0x0112
00000103: PUSH2 0x010d
00000106: CALLDATASIZE
00000107: PUSH1 0x04
00000109: PUSH2 0x13d0
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH2 0x035e
00000111: JUMP
00000112: JUMPDEST
00000113: PUSH1 0x40
00000115: MLOAD
00000116: SWAP1
00000117: DUP2
00000118: MSTORE
00000119: PUSH1 0x20
0000011b: ADD
0000011c: JUMPDEST
0000011d: PUSH1 0x40
0000011f: MLOAD
00000120: DUP1
00000121: SWAP2
00000122: SUB
00000123: SWAP1
00000124: RETURN
00000125: JUMPDEST
00000126: PUSH2 0x0112
00000129: PUSH2 0x0133
0000012c: CALLDATASIZE
0000012d: PUSH1 0x04
0000012f: PUSH2 0x13d0
00000132: JUMP
00000133: JUMPDEST
00000134: PUSH1 0x02
00000136: PUSH1 0x20
00000138: MSTORE
00000139: PUSH0
0000013a: SWAP1
0000013b: DUP2
0000013c: MSTORE
0000013d: PUSH1 0x40
0000013f: SWAP1
00000140: KECCAK256
00000141: SLOAD
00000142: DUP2
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH2 0x016b
00000148: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000169: DUP2
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: PUSH1 0x01
00000171: PUSH1 0x01
00000173: PUSH1 0xa0
00000175: SHL
00000176: SUB
00000177: SWAP1
00000178: SWAP2
00000179: AND
0000017a: DUP2
0000017b: MSTORE
0000017c: PUSH1 0x20
0000017e: ADD
0000017f: PUSH2 0x011c
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH2 0x0112
00000187: PUSH2 0x0191
0000018a: CALLDATASIZE
0000018b: PUSH1 0x04
0000018d: PUSH2 0x13e9
00000190: JUMP
00000191: JUMPDEST
00000192: PUSH2 0x04b5
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH2 0x0112
0000019a: PUSH2 0x01a4
0000019d: CALLDATASIZE
0000019e: PUSH1 0x04
000001a0: PUSH2 0x1411
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH2 0x0588
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x0112
000001ad: PUSH2 0x01b7
000001b0: CALLDATASIZE
000001b1: PUSH1 0x04
000001b3: PUSH2 0x13d0
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH2 0x0722
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH2 0x0112
000001c0: PUSH32 0x000000000000000000000000000000000000000000000000002386f26fc10000
000001e1: DUP2
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH2 0x025c
000001e7: PUSH2 0x01f1
000001ea: CALLDATASIZE
000001eb: PUSH1 0x04
000001ed: PUSH2 0x13e9
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH1 0x01
000001f4: PUSH1 0x01
000001f6: PUSH1 0xa0
000001f8: SHL
000001f9: SUB
000001fa: SWAP2
000001fb: SWAP1
000001fc: SWAP2
000001fd: AND
000001fe: PUSH0
000001ff: SWAP1
00000200: DUP2
00000201: MSTORE
00000202: PUSH1 0x20
00000204: DUP2
00000205: DUP2
00000206: MSTORE
00000207: PUSH1 0x40
00000209: DUP1
0000020a: DUP4
0000020b: KECCAK256
0000020c: SWAP4
0000020d: DUP4
0000020e: MSTORE
0000020f: SWAP3
00000210: DUP2
00000211: MSTORE
00000212: SWAP1
00000213: DUP3
00000214: SWAP1
00000215: KECCAK256
00000216: DUP3
00000217: MLOAD
00000218: PUSH1 0x80
0000021a: DUP2
0000021b: ADD
0000021c: DUP5
0000021d: MSTORE
0000021e: DUP2
0000021f: SLOAD
00000220: DUP1
00000221: DUP3
00000222: MSTORE
00000223: PUSH1 0x01
00000225: DUP4
00000226: ADD
00000227: SLOAD
00000228: PUSH1 0x01
0000022a: PUSH1 0x01
0000022c: PUSH1 0x80
0000022e: SHL
0000022f: SUB
00000230: DUP1
00000231: DUP3
00000232: AND
00000233: SWAP6
00000234: DUP5
00000235: ADD
00000236: DUP7
00000237: SWAP1
00000238: MSTORE
00000239: PUSH1 0x01
0000023b: PUSH1 0x80
0000023d: SHL
0000023e: SWAP1
0000023f: SWAP2
00000240: DIV
00000241: AND
00000242: SWAP5
00000243: DUP3
00000244: ADD
00000245: DUP6
00000246: SWAP1
00000247: MSTORE
00000248: PUSH1 0x02
0000024a: SWAP1
0000024b: SWAP3
0000024c: ADD
0000024d: SLOAD
0000024e: PUSH1 0x60
00000250: SWAP1
00000251: SWAP2
00000252: ADD
00000253: DUP2
00000254: SWAP1
00000255: MSTORE
00000256: SWAP1
00000257: SWAP4
00000258: SWAP2
00000259: SWAP3
0000025a: SWAP2
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: PUSH2 0x011c
00000263: SWAP5
00000264: SWAP4
00000265: SWAP3
00000266: SWAP2
00000267: SWAP1
00000268: SWAP4
00000269: DUP5
0000026a: MSTORE
0000026b: PUSH1 0x01
0000026d: PUSH1 0x01
0000026f: PUSH1 0x80
00000271: SHL
00000272: SUB
00000273: SWAP3
00000274: DUP4
00000275: AND
00000276: PUSH1 0x20
00000278: DUP6
00000279: ADD
0000027a: MSTORE
0000027b: SWAP2
0000027c: AND
0000027d: PUSH1 0x40
0000027f: DUP4
00000280: ADD
00000281: MSTORE
00000282: PUSH1 0x60
00000284: DUP3
00000285: ADD
00000286: MSTORE
00000287: PUSH1 0x80
00000289: ADD
0000028a: SWAP1
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH2 0x0112
00000290: PUSH2 0x029a
00000293: CALLDATASIZE
00000294: PUSH1 0x04
00000296: PUSH2 0x1431
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH2 0x08d5
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH2 0x0112
000002a3: PUSH32 0x0000000000000000000000000000000000000000000000000000000000093a80
000002c4: DUP2
000002c5: JUMP
000002c6: JUMPDEST
000002c7: PUSH2 0x0112
000002ca: PUSH2 0x02d4
000002cd: CALLDATASIZE
000002ce: PUSH1 0x04
000002d0: PUSH2 0x1431
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH2 0x0af4
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x0112
000002dd: PUSH1 0x03
000002df: SLOAD
000002e0: DUP2
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH2 0x025c
000002e6: PUSH2 0x02f0
000002e9: CALLDATASIZE
000002ea: PUSH1 0x04
000002ec: PUSH2 0x13e9
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH0
000002f2: PUSH1 0x20
000002f4: DUP2
000002f5: DUP2
000002f6: MSTORE
000002f7: SWAP3
000002f8: DUP2
000002f9: MSTORE
000002fa: PUSH1 0x40
000002fc: DUP1
000002fd: DUP3
000002fe: KECCAK256
000002ff: SWAP1
00000300: SWAP4
00000301: MSTORE
00000302: SWAP1
00000303: DUP2
00000304: MSTORE
00000305: KECCAK256
00000306: DUP1
00000307: SLOAD
00000308: PUSH1 0x01
0000030a: DUP3
0000030b: ADD
0000030c: SLOAD
0000030d: PUSH1 0x02
0000030f: SWAP1
00000310: SWAP3
00000311: ADD
00000312: SLOAD
00000313: SWAP1
00000314: SWAP2
00000315: PUSH1 0x01
00000317: PUSH1 0x01
00000319: PUSH1 0x80
0000031b: SHL
0000031c: SUB
0000031d: DUP1
0000031e: DUP3
0000031f: AND
00000320: SWAP3
00000321: PUSH1 0x01
00000323: PUSH1 0x80
00000325: SHL
00000326: SWAP1
00000327: SWAP3
00000328: DIV
00000329: AND
0000032a: SWAP1
0000032b: DUP5
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH2 0x0112
00000331: PUSH2 0x0d71
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH2 0x0348
00000339: PUSH2 0x0343
0000033c: CALLDATASIZE
0000033d: PUSH1 0x04
0000033f: PUSH2 0x13d0
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH2 0x0f3c
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH1 0x40
0000034b: MLOAD
0000034c: PUSH2 0x011c
0000034f: SWAP2
00000350: SWAP1
00000351: PUSH2 0x145b
00000354: JUMP
00000355: JUMPDEST
00000356: PUSH2 0x0112
00000359: PUSH1 0x04
0000035b: SLOAD
0000035c: DUP2
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x01
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: SHL
00000366: SUB
00000367: DUP2
00000368: AND
00000369: PUSH0
0000036a: SWAP1
0000036b: DUP2
0000036c: MSTORE
0000036d: PUSH1 0x01
0000036f: PUSH1 0x20
00000371: MSTORE
00000372: PUSH1 0x40
00000374: DUP2
00000375: KECCAK256
00000376: DUP2
00000377: SWAP1
00000378: PUSH2 0x0380
0000037b: SWAP1
0000037c: PUSH2 0x0f5b
0000037f: JUMP
00000380: JUMPDEST
00000381: DUP1
00000382: MLOAD
00000383: SWAP1
00000384: SWAP2
00000385: POP
00000386: PUSH0
00000387: JUMPDEST
00000388: DUP2
00000389: DUP2
0000038a: LT
0000038b: ISZERO
0000038c: PUSH2 0x04ad
0000038f: JUMPI
00000390: PUSH1 0x01
00000392: PUSH1 0x01
00000394: PUSH1 0xa0
00000396: SHL
00000397: SUB
00000398: DUP6
00000399: AND
0000039a: PUSH0
0000039b: SWAP1
0000039c: DUP2
0000039d: MSTORE
0000039e: PUSH1 0x20
000003a0: DUP2
000003a1: SWAP1
000003a2: MSTORE
000003a3: PUSH1 0x40
000003a5: DUP2
000003a6: KECCAK256
000003a7: DUP5
000003a8: MLOAD
000003a9: DUP3
000003aa: SWAP1
000003ab: DUP7
000003ac: SWAP1
000003ad: DUP6
000003ae: SWAP1
000003af: DUP2
000003b0: LT
000003b1: PUSH2 0x03bc
000003b4: JUMPI
000003b5: PUSH2 0x03bc
000003b8: PUSH2 0x149e
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH1 0x20
000003bf: MUL
000003c0: PUSH1 0x20
000003c2: ADD
000003c3: ADD
000003c4: MLOAD
000003c5: DUP2
000003c6: MSTORE
000003c7: PUSH1 0x20
000003c9: ADD
000003ca: SWAP1
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: ADD
000003d0: PUSH0
000003d1: KECCAK256
000003d2: SWAP1
000003d3: POP
000003d4: PUSH0
000003d5: DUP2
000003d6: PUSH0
000003d7: ADD
000003d8: SLOAD
000003d9: GT
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x0408
000003df: JUMPI
000003e0: POP
000003e1: PUSH0
000003e2: DUP2
000003e3: PUSH1 0x02
000003e5: ADD
000003e6: SLOAD
000003e7: GT
000003e8: DUP1
000003e9: PUSH2 0x0408
000003ec: JUMPI
000003ed: POP
000003ee: PUSH1 0x01
000003f0: DUP2
000003f1: ADD
000003f2: SLOAD
000003f3: PUSH1 0x01
000003f5: PUSH1 0x01
000003f7: PUSH1 0x80
000003f9: SHL
000003fa: SUB
000003fb: DUP1
000003fc: DUP3
000003fd: AND
000003fe: PUSH1 0x01
00000400: PUSH1 0x80
00000402: SHL
00000403: SWAP1
00000404: SWAP3
00000405: DIV
00000406: AND
00000407: LT
00000408: JUMPDEST
00000409: ISZERO
0000040a: PUSH2 0x049a
0000040d: JUMPI
0000040e: PUSH1 0x01
00000410: DUP2
00000411: ADD
00000412: SLOAD
00000413: PUSH0
00000414: SWAP1
00000415: PUSH1 0x01
00000417: PUSH1 0x01
00000419: PUSH1 0x80
0000041b: SHL
0000041c: SUB
0000041d: AND
0000041e: TIMESTAMP
0000041f: GT
00000420: ISZERO
00000421: PUSH2 0x0437
00000424: JUMPI
00000425: PUSH1 0x01
00000427: DUP3
00000428: ADD
00000429: SLOAD
0000042a: PUSH1 0x01
0000042c: PUSH1 0x01
0000042e: PUSH1 0x80
00000430: SHL
00000431: SUB
00000432: AND
00000433: PUSH2 0x0439
00000436: JUMP
00000437: JUMPDEST
00000438: TIMESTAMP
00000439: JUMPDEST
0000043a: PUSH1 0x01
0000043c: DUP4
0000043d: ADD
0000043e: SLOAD
0000043f: SWAP1
00000440: SWAP2
00000441: POP
00000442: PUSH0
00000443: SWAP1
00000444: PUSH2 0x045d
00000447: SWAP1
00000448: PUSH1 0x01
0000044a: PUSH1 0x80
0000044c: SHL
0000044d: SWAP1
0000044e: DIV
0000044f: PUSH1 0x01
00000451: PUSH1 0x01
00000453: PUSH1 0x80
00000455: SHL
00000456: SUB
00000457: AND
00000458: DUP4
00000459: PUSH2 0x14c6
0000045c: JUMP
0000045d: JUMPDEST
0000045e: DUP4
0000045f: SLOAD
00000460: SWAP1
00000461: SWAP2
00000462: POP
00000463: PUSH0
00000464: SWAP1
00000465: PUSH2 0x0478
00000468: SWAP1
00000469: DUP4
0000046a: SWAP1
0000046b: PUSH8 0x0de0b6b3a7640000
00000474: PUSH2 0x0f6e
00000477: JUMP
00000478: JUMPDEST
00000479: SWAP1
0000047a: POP
0000047b: DUP1
0000047c: DUP5
0000047d: PUSH1 0x02
0000047f: ADD
00000480: SLOAD
00000481: PUSH2 0x048a
00000484: SWAP2
00000485: SWAP1
00000486: PUSH2 0x14d9
00000489: JUMP
0000048a: JUMPDEST
0000048b: PUSH2 0x0494
0000048e: SWAP1
0000048f: DUP10
00000490: PUSH2 0x14d9
00000493: JUMP
00000494: JUMPDEST
00000495: SWAP8
00000496: POP
00000497: POP
00000498: POP
00000499: POP
0000049a: JUMPDEST
0000049b: POP
0000049c: DUP1
0000049d: PUSH2 0x04a5
000004a0: DUP2
000004a1: PUSH2 0x14ec
000004a4: JUMP
000004a5: JUMPDEST
000004a6: SWAP2
000004a7: POP
000004a8: POP
000004a9: PUSH2 0x0387
000004ac: JUMP
000004ad: JUMPDEST
000004ae: POP
000004af: POP
000004b0: POP
000004b1: SWAP2
000004b2: SWAP1
000004b3: POP
000004b4: JUMP
000004b5: JUMPDEST
000004b6: PUSH1 0x01
000004b8: PUSH1 0x01
000004ba: PUSH1 0xa0
000004bc: SHL
000004bd: SUB
000004be: DUP3
000004bf: AND
000004c0: PUSH0
000004c1: SWAP1
000004c2: DUP2
000004c3: MSTORE
000004c4: PUSH1 0x20
000004c6: DUP2
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x40
000004cb: DUP1
000004cc: DUP4
000004cd: KECCAK256
000004ce: DUP5
000004cf: DUP5
000004d0: MSTORE
000004d1: SWAP1
000004d2: SWAP2
000004d3: MSTORE
000004d4: DUP2
000004d5: KECCAK256
000004d6: DUP1
000004d7: SLOAD
000004d8: DUP3
000004d9: SUB
000004da: PUSH2 0x04fe
000004dd: JUMPI
000004de: PUSH1 0x40
000004e0: MLOAD
000004e1: PUSH4 0xa1632d2b
000004e6: PUSH1 0xe0
000004e8: SHL
000004e9: DUP2
000004ea: MSTORE
000004eb: PUSH1 0x04
000004ed: DUP2
000004ee: ADD
000004ef: DUP5
000004f0: SWAP1
000004f1: MSTORE
000004f2: PUSH1 0x24
000004f4: ADD
000004f5: JUMPDEST
000004f6: PUSH1 0x40
000004f8: MLOAD
000004f9: DUP1
000004fa: SWAP2
000004fb: SUB
000004fc: SWAP1
000004fd: REVERT
000004fe: JUMPDEST
000004ff: PUSH1 0x01
00000501: DUP2
00000502: ADD
00000503: SLOAD
00000504: PUSH0
00000505: SWAP1
00000506: PUSH1 0x01
00000508: PUSH1 0x01
0000050a: PUSH1 0x80
0000050c: SHL
0000050d: SUB
0000050e: AND
0000050f: TIMESTAMP
00000510: GT
00000511: ISZERO
00000512: PUSH2 0x0528
00000515: JUMPI
00000516: PUSH1 0x01
00000518: DUP3
00000519: ADD
0000051a: SLOAD
0000051b: PUSH1 0x01
0000051d: PUSH1 0x01
0000051f: PUSH1 0x80
00000521: SHL
00000522: SUB
00000523: AND
00000524: PUSH2 0x052a
00000527: JUMP
00000528: JUMPDEST
00000529: TIMESTAMP
0000052a: JUMPDEST
0000052b: PUSH1 0x01
0000052d: DUP4
0000052e: ADD
0000052f: SLOAD
00000530: SWAP1
00000531: SWAP2
00000532: POP
00000533: PUSH0
00000534: SWAP1
00000535: PUSH2 0x054e
00000538: SWAP1
00000539: PUSH1 0x01
0000053b: PUSH1 0x80
0000053d: SHL
0000053e: SWAP1
0000053f: DIV
00000540: PUSH1 0x01
00000542: PUSH1 0x01
00000544: PUSH1 0x80
00000546: SHL
00000547: SUB
00000548: AND
00000549: DUP4
0000054a: PUSH2 0x14c6
0000054d: JUMP
0000054e: JUMPDEST
0000054f: DUP4
00000550: SLOAD
00000551: SWAP1
00000552: SWAP2
00000553: POP
00000554: PUSH0
00000555: SWAP1
00000556: PUSH2 0x0569
00000559: SWAP1
0000055a: DUP4
0000055b: SWAP1
0000055c: PUSH8 0x0de0b6b3a7640000
00000565: PUSH2 0x0f6e
00000568: JUMP
00000569: JUMPDEST
0000056a: SWAP1
0000056b: POP
0000056c: DUP1
0000056d: DUP5
0000056e: PUSH1 0x02
00000570: ADD
00000571: SLOAD
00000572: PUSH2 0x057b
00000575: SWAP2
00000576: SWAP1
00000577: PUSH2 0x14d9
0000057a: JUMP
0000057b: JUMPDEST
0000057c: SWAP5
0000057d: POP
0000057e: POP
0000057f: POP
00000580: POP
00000581: POP
00000582: JUMPDEST
00000583: SWAP3
00000584: SWAP2
00000585: POP
00000586: POP
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH0
0000058a: DUP2
0000058b: PUSH0
0000058c: SUB
0000058d: PUSH2 0x05a9
00000590: JUMPI
00000591: PUSH1 0x40
00000593: MLOAD
00000594: PUSH4 0x0672e93f
00000599: PUSH1 0xe0
0000059b: SHL
0000059c: DUP2
0000059d: MSTORE
0000059e: PUSH1 0x04
000005a0: ADD
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: DUP1
000005a5: SWAP2
000005a6: SUB
000005a7: SWAP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: CALLER
000005ac: PUSH0
000005ad: DUP2
000005ae: DUP2
000005af: MSTORE
000005b0: PUSH1 0x20
000005b2: DUP2
000005b3: DUP2
000005b4: MSTORE
000005b5: PUSH1 0x40
000005b7: DUP1
000005b8: DUP4
000005b9: KECCAK256
000005ba: DUP7
000005bb: DUP5
000005bc: MSTORE
000005bd: SWAP1
000005be: SWAP2
000005bf: MSTORE
000005c0: DUP2
000005c1: KECCAK256
000005c2: DUP4
000005c3: SWAP3
000005c4: SWAP1
000005c5: SWAP2
000005c6: SWAP1
000005c7: PUSH2 0x05d0
000005ca: SWAP1
000005cb: DUP7
000005cc: PUSH2 0x0f8c
000005cf: JUMP
000005d0: JUMPDEST
000005d1: SWAP1
000005d2: POP
000005d3: DUP1
000005d4: ISZERO
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05e2
000005da: JUMPI
000005db: POP
000005dc: PUSH1 0x02
000005de: DUP3
000005df: ADD
000005e0: SLOAD
000005e1: ISZERO
000005e2: JUMPDEST
000005e3: ISZERO
000005e4: PUSH2 0x0603
000005e7: JUMPI
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: PUSH4 0x2f8d18dd
000005f0: PUSH1 0xe2
000005f2: SHL
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x04
000005f7: DUP2
000005f8: ADD
000005f9: DUP7
000005fa: SWAP1
000005fb: MSTORE
000005fc: PUSH1 0x24
000005fe: ADD
000005ff: PUSH2 0x04f5
00000602: JUMP
00000603: JUMPDEST
00000604: DUP2
00000605: PUSH1 0x02
00000607: ADD
00000608: SLOAD
00000609: DUP5
0000060a: GT
0000060b: ISZERO
0000060c: PUSH2 0x0638
0000060f: JUMPI
00000610: PUSH1 0x02
00000612: DUP3
00000613: ADD
00000614: SLOAD
00000615: PUSH1 0x40
00000617: MLOAD
00000618: PUSH4 0x724e5515
0000061d: PUSH1 0xe0
0000061f: SHL
00000620: DUP2
00000621: MSTORE
00000622: PUSH2 0x04f5
00000625: SWAP2
00000626: DUP8
00000627: SWAP2
00000628: PUSH1 0x04
0000062a: ADD
0000062b: SWAP2
0000062c: DUP3
0000062d: MSTORE
0000062e: PUSH1 0x20
00000630: DUP3
00000631: ADD
00000632: MSTORE
00000633: PUSH1 0x40
00000635: ADD
00000636: SWAP1
00000637: JUMP
00000638: JUMPDEST
00000639: DUP4
0000063a: DUP3
0000063b: PUSH1 0x02
0000063d: ADD
0000063e: PUSH0
0000063f: DUP3
00000640: DUP3
00000641: SLOAD
00000642: PUSH2 0x064b
00000645: SWAP2
00000646: SWAP1
00000647: PUSH2 0x14c6
0000064a: JUMP
0000064b: JUMPDEST
0000064c: SWAP3
0000064d: POP
0000064e: POP
0000064f: DUP2
00000650: SWAP1
00000651: SSTORE
00000652: POP
00000653: DUP4
00000654: PUSH1 0x03
00000656: PUSH0
00000657: DUP3
00000658: DUP3
00000659: SLOAD
0000065a: PUSH2 0x0663
0000065d: SWAP2
0000065e: SWAP1
0000065f: PUSH2 0x14c6
00000662: JUMP
00000663: JUMPDEST
00000664: SWAP1
00000665: SWAP2
00000666: SSTORE
00000667: POP
00000668: POP
00000669: PUSH1 0x02
0000066b: DUP3
0000066c: ADD
0000066d: SLOAD
0000066e: PUSH1 0x01
00000670: LT
00000671: DUP1
00000672: ISZERO
00000673: SWAP1
00000674: PUSH2 0x068a
00000677: JUMPI
00000678: POP
00000679: PUSH1 0x01
0000067b: DUP3
0000067c: ADD
0000067d: SLOAD
0000067e: PUSH1 0x01
00000680: PUSH1 0x01
00000682: PUSH1 0x80
00000684: SHL
00000685: SUB
00000686: AND
00000687: TIMESTAMP
00000688: LT
00000689: ISZERO
0000068a: JUMPDEST
0000068b: ISZERO
0000068c: PUSH2 0x06a9
0000068f: JUMPI
00000690: CALLER
00000691: PUSH0
00000692: SWAP1
00000693: DUP2
00000694: MSTORE
00000695: PUSH1 0x01
00000697: PUSH1 0x20
00000699: MSTORE
0000069a: PUSH1 0x40
0000069c: SWAP1
0000069d: KECCAK256
0000069e: PUSH2 0x06a7
000006a1: SWAP1
000006a2: DUP7
000006a3: PUSH2 0x10ea
000006a6: JUMP
000006a7: JUMPDEST
000006a8: POP
000006a9: JUMPDEST
000006aa: PUSH1 0x40
000006ac: DUP1
000006ad: MLOAD
000006ae: DUP7
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: DUP2
000006b4: ADD
000006b5: DUP7
000006b6: SWAP1
000006b7: MSTORE
000006b8: CALLER
000006b9: SWAP2
000006ba: DUP3
000006bb: SWAP2
000006bc: PUSH32 0x8f7d9ca2df6db2956b58e8476c3d797b62eacd55fe9df5d1cb12aab498333243
000006dd: SWAP2
000006de: ADD
000006df: PUSH1 0x40
000006e1: MLOAD
000006e2: DUP1
000006e3: SWAP2
000006e4: SUB
000006e5: SWAP1
000006e6: LOG3
000006e7: PUSH2 0x071a
000006ea: PUSH1 0x01
000006ec: PUSH1 0x01
000006ee: PUSH1 0xa0
000006f0: SHL
000006f1: SUB
000006f2: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000713: AND
00000714: CALLER
00000715: DUP7
00000716: PUSH2 0x10f5
00000719: JUMP
0000071a: JUMPDEST
0000071b: POP
0000071c: POP
0000071d: SWAP3
0000071e: SWAP2
0000071f: POP
00000720: POP
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x01
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: SHL
0000072a: SUB
0000072b: DUP2
0000072c: AND
0000072d: PUSH0
0000072e: SWAP1
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x01
00000733: PUSH1 0x20
00000735: MSTORE
00000736: PUSH1 0x40
00000738: DUP2
00000739: KECCAK256
0000073a: DUP2
0000073b: SWAP1
0000073c: PUSH2 0x0744
0000073f: SWAP1
00000740: PUSH2 0x0f5b
00000743: JUMP
00000744: JUMPDEST
00000745: DUP1
00000746: MLOAD
00000747: SWAP1
00000748: SWAP2
00000749: POP
0000074a: PUSH0
0000074b: JUMPDEST
0000074c: DUP2
0000074d: DUP2
0000074e: LT
0000074f: ISZERO
00000750: PUSH2 0x04ad
00000753: JUMPI
00000754: PUSH1 0x01
00000756: PUSH1 0x01
00000758: PUSH1 0xa0
0000075a: SHL
0000075b: SUB
0000075c: DUP6
0000075d: AND
0000075e: PUSH0
0000075f: SWAP1
00000760: DUP2
00000761: MSTORE
00000762: PUSH1 0x20
00000764: DUP2
00000765: SWAP1
00000766: MSTORE
00000767: PUSH1 0x40
00000769: DUP2
0000076a: KECCAK256
0000076b: DUP5
0000076c: MLOAD
0000076d: DUP3
0000076e: SWAP1
0000076f: DUP7
00000770: SWAP1
00000771: DUP6
00000772: SWAP1
00000773: DUP2
00000774: LT
00000775: PUSH2 0x0780
00000778: JUMPI
00000779: PUSH2 0x0780
0000077c: PUSH2 0x149e
0000077f: JUMP
00000780: JUMPDEST
00000781: PUSH1 0x20
00000783: MUL
00000784: PUSH1 0x20
00000786: ADD
00000787: ADD
00000788: MLOAD
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH1 0x20
0000078d: ADD
0000078e: SWAP1
0000078f: DUP2
00000790: MSTORE
00000791: PUSH1 0x20
00000793: ADD
00000794: PUSH0
00000795: KECCAK256
00000796: SWAP1
00000797: POP
00000798: PUSH0
00000799: DUP2
0000079a: PUSH0
0000079b: ADD
0000079c: SLOAD
0000079d: GT
0000079e: DUP1
0000079f: ISZERO
000007a0: PUSH2 0x07cc
000007a3: JUMPI
000007a4: POP
000007a5: PUSH0
000007a6: DUP2
000007a7: PUSH1 0x02
000007a9: ADD
000007aa: SLOAD
000007ab: GT
000007ac: DUP1
000007ad: PUSH2 0x07cc
000007b0: JUMPI
000007b1: POP
000007b2: PUSH1 0x01
000007b4: DUP2
000007b5: ADD
000007b6: SLOAD
000007b7: PUSH1 0x01
000007b9: PUSH1 0x01
000007bb: PUSH1 0x80
000007bd: SHL
000007be: SUB
000007bf: DUP1
000007c0: DUP3
000007c1: AND
000007c2: PUSH1 0x01
000007c4: PUSH1 0x80
000007c6: SHL
000007c7: SWAP1
000007c8: SWAP3
000007c9: DIV
000007ca: AND
000007cb: LT
000007cc: JUMPDEST
000007cd: ISZERO
000007ce: PUSH2 0x08c2
000007d1: JUMPI
000007d2: PUSH1 0x01
000007d4: DUP2
000007d5: ADD
000007d6: SLOAD
000007d7: PUSH0
000007d8: SWAP1
000007d9: PUSH2 0x080c
000007dc: SWAP1
000007dd: PUSH32 0x0000000000000000000000000000000000000000000000000000000000093a80
000007fe: SWAP1
000007ff: PUSH1 0x01
00000801: PUSH1 0x01
00000803: PUSH1 0x80
00000805: SHL
00000806: SUB
00000807: AND
00000808: PUSH2 0x14c6
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH1 0x01
0000080f: DUP4
00000810: ADD
00000811: SLOAD
00000812: SWAP1
00000813: SWAP2
00000814: POP
00000815: PUSH0
00000816: SWAP1
00000817: PUSH2 0x0831
0000081a: SWAP1
0000081b: DUP4
0000081c: SWAP1
0000081d: PUSH1 0x01
0000081f: PUSH1 0x80
00000821: SHL
00000822: SWAP1
00000823: DIV
00000824: PUSH1 0x01
00000826: PUSH1 0x01
00000828: PUSH1 0x80
0000082a: SHL
0000082b: SUB
0000082c: AND
0000082d: PUSH2 0x14c6
00000830: JUMP
00000831: JUMPDEST
00000832: SWAP1
00000833: POP
00000834: PUSH0
00000835: PUSH8 0x0de0b6b3a7640000
0000083e: PUSH32 0x0000000000000000000000000000000000000000000000000000000000093a80
0000085f: DUP6
00000860: PUSH0
00000861: ADD
00000862: SLOAD
00000863: PUSH2 0x086c
00000866: SWAP2
00000867: SWAP1
00000868: PUSH2 0x1504
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH2 0x0876
00000870: SWAP2
00000871: SWAP1
00000872: PUSH2 0x151b
00000875: JUMP
00000876: JUMPDEST
00000877: DUP5
00000878: SLOAD
00000879: SWAP1
0000087a: SWAP2
0000087b: POP
0000087c: PUSH0
0000087d: SWAP1
0000087e: PUSH2 0x0891
00000881: SWAP1
00000882: DUP5
00000883: SWAP1
00000884: PUSH8 0x0de0b6b3a7640000
0000088d: PUSH2 0x0f6e
00000890: JUMP
00000891: JUMPDEST
00000892: SWAP1
00000893: POP
00000894: PUSH0
00000895: DUP6
00000896: PUSH1 0x02
00000898: ADD
00000899: SLOAD
0000089a: DUP3
0000089b: PUSH2 0x08a4
0000089e: SWAP2
0000089f: SWAP1
000008a0: PUSH2 0x14c6
000008a3: JUMP
000008a4: JUMPDEST
000008a5: SWAP1
000008a6: POP
000008a7: PUSH2 0x08b0
000008aa: DUP2
000008ab: DUP5
000008ac: PUSH2 0x14c6
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH2 0x08ba
000008b4: SWAP1
000008b5: DUP12
000008b6: PUSH2 0x14d9
000008b9: JUMP
000008ba: JUMPDEST
000008bb: SWAP10
000008bc: POP
000008bd: POP
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: JUMPDEST
000008c3: POP
000008c4: DUP1
000008c5: PUSH2 0x08cd
000008c8: DUP2
000008c9: PUSH2 0x14ec
000008cc: JUMP
000008cd: JUMPDEST
000008ce: SWAP2
000008cf: POP
000008d0: POP
000008d1: PUSH2 0x074b
000008d4: JUMP
000008d5: JUMPDEST
000008d6: PUSH0
000008d7: DUP3
000008d8: PUSH0
000008d9: SUB
000008da: PUSH2 0x08f6
000008dd: JUMPI
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: PUSH4 0x31ac19c3
000008e6: PUSH1 0xe1
000008e8: SHL
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x04
000008ed: ADD
000008ee: PUSH1 0x40
000008f0: MLOAD
000008f1: DUP1
000008f2: SWAP2
000008f3: SUB
000008f4: SWAP1
000008f5: REVERT
000008f6: JUMPDEST
000008f7: PUSH32 0x000000000000000000000000000000000000000000000000002386f26fc10000
00000918: DUP4
00000919: LT
0000091a: ISZERO
0000091b: PUSH2 0x0959
0000091e: JUMPI
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: PUSH4 0x3e32c46f
00000927: PUSH1 0xe0
00000929: SHL
0000092a: DUP2
0000092b: MSTORE
0000092c: PUSH32 0x000000000000000000000000000000000000000000000000002386f26fc10000
0000094d: PUSH1 0x04
0000094f: DUP3
00000950: ADD
00000951: MSTORE
00000952: PUSH1 0x24
00000954: ADD
00000955: PUSH2 0x04f5
00000958: JUMP
00000959: JUMPDEST
0000095a: POP
0000095b: PUSH1 0x01
0000095d: PUSH1 0x01
0000095f: PUSH1 0xa0
00000961: SHL
00000962: SUB
00000963: DUP2
00000964: AND
00000965: PUSH0
00000966: SWAP1
00000967: DUP2
00000968: MSTORE
00000969: PUSH1 0x02
0000096b: PUSH1 0x20
0000096d: MSTORE
0000096e: PUSH1 0x40
00000970: DUP2
00000971: KECCAK256
00000972: DUP1
00000973: SLOAD
00000974: DUP5
00000975: SWAP3
00000976: SWAP2
00000977: SWAP1
00000978: DUP3
00000979: SWAP1
0000097a: PUSH2 0x0982
0000097d: SWAP1
0000097e: PUSH2 0x14ec
00000981: JUMP
00000982: JUMPDEST
00000983: SWAP2
00000984: DUP3
00000985: SWAP1
00000986: SSTORE
00000987: POP
00000988: PUSH1 0x01
0000098a: PUSH1 0x01
0000098c: PUSH1 0xa0
0000098e: SHL
0000098f: SUB
00000990: DUP5
00000991: AND
00000992: PUSH0
00000993: SWAP1
00000994: DUP2
00000995: MSTORE
00000996: PUSH1 0x01
00000998: PUSH1 0x20
0000099a: MSTORE
0000099b: PUSH1 0x40
0000099d: SWAP1
0000099e: KECCAK256
0000099f: SWAP1
000009a0: SWAP2
000009a1: POP
000009a2: PUSH2 0x09ab
000009a5: SWAP1
000009a6: DUP3
000009a7: PUSH2 0x116f
000009aa: JUMP
000009ab: JUMPDEST
000009ac: POP
000009ad: PUSH1 0x01
000009af: PUSH1 0x01
000009b1: PUSH1 0xa0
000009b3: SHL
000009b4: SUB
000009b5: DUP4
000009b6: AND
000009b7: PUSH0
000009b8: SWAP1
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x20
000009bd: DUP2
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x40
000009c2: DUP1
000009c3: DUP4
000009c4: KECCAK256
000009c5: DUP5
000009c6: DUP5
000009c7: MSTORE
000009c8: SWAP1
000009c9: SWAP2
000009ca: MSTORE
000009cb: SWAP1
000009cc: KECCAK256
000009cd: PUSH2 0x09ff
000009d0: DUP6
000009d1: PUSH8 0x0de0b6b3a7640000
000009da: PUSH32 0x0000000000000000000000000000000000000000000000000000000000093a80
000009fb: PUSH2 0x0f6e
000009fe: JUMP
000009ff: JUMPDEST
00000a00: DUP2
00000a01: SSTORE
00000a02: PUSH2 0x0a2b
00000a05: PUSH32 0x0000000000000000000000000000000000000000000000000000000000093a80
00000a26: TIMESTAMP
00000a27: PUSH2 0x14d9
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: TIMESTAMP
00000a2d: PUSH1 0x01
00000a2f: PUSH1 0x01
00000a31: PUSH1 0x80
00000a33: SHL
00000a34: SUB
00000a35: SWAP1
00000a36: DUP2
00000a37: AND
00000a38: PUSH1 0x01
00000a3a: PUSH1 0x80
00000a3c: SHL
00000a3d: MUL
00000a3e: SWAP2
00000a3f: AND
00000a40: OR
00000a41: PUSH1 0x01
00000a43: DUP3
00000a44: ADD
00000a45: SSTORE
00000a46: PUSH1 0x03
00000a48: DUP1
00000a49: SLOAD
00000a4a: DUP7
00000a4b: SWAP2
00000a4c: SWAP1
00000a4d: PUSH0
00000a4e: SWAP1
00000a4f: PUSH2 0x0a59
00000a52: SWAP1
00000a53: DUP5
00000a54: SWAP1
00000a55: PUSH2 0x14d9
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: SWAP3
00000a5b: POP
00000a5c: POP
00000a5d: DUP2
00000a5e: SWAP1
00000a5f: SSTORE
00000a60: POP
00000a61: DUP5
00000a62: PUSH1 0x04
00000a64: PUSH0
00000a65: DUP3
00000a66: DUP3
00000a67: SLOAD
00000a68: PUSH2 0x0a71
00000a6b: SWAP2
00000a6c: SWAP1
00000a6d: PUSH2 0x14d9
00000a70: JUMP
00000a71: JUMPDEST
00000a72: SWAP1
00000a73: SWAP2
00000a74: SSTORE
00000a75: POP
00000a76: PUSH2 0x0aac
00000a79: SWAP1
00000a7a: POP
00000a7b: PUSH1 0x01
00000a7d: PUSH1 0x01
00000a7f: PUSH1 0xa0
00000a81: SHL
00000a82: SUB
00000a83: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000aa4: AND
00000aa5: CALLER
00000aa6: ADDRESS
00000aa7: DUP9
00000aa8: PUSH2 0x117a
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH1 0x40
00000aaf: MLOAD
00000ab0: DUP6
00000ab1: DUP2
00000ab2: MSTORE
00000ab3: PUSH1 0x01
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0xa0
00000ab9: SHL
00000aba: SUB
00000abb: DUP6
00000abc: AND
00000abd: SWAP1
00000abe: CALLER
00000abf: SWAP1
00000ac0: PUSH32 0x4a73c8b9b5a1c76f8a33e65d5155ab65d9a96b0ae8d7ec834a5678536cebeda7
00000ae1: SWAP1
00000ae2: PUSH1 0x20
00000ae4: ADD
00000ae5: PUSH1 0x40
00000ae7: MLOAD
00000ae8: DUP1
00000ae9: SWAP2
00000aea: SUB
00000aeb: SWAP1
00000aec: LOG3
00000aed: POP
00000aee: POP
00000aef: SWAP3
00000af0: SWAP2
00000af1: POP
00000af2: POP
00000af3: JUMP
00000af4: JUMPDEST
00000af5: CALLER
00000af6: PUSH0
00000af7: SWAP1
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH1 0x01
00000afc: PUSH1 0x20
00000afe: MSTORE
00000aff: PUSH1 0x40
00000b01: DUP2
00000b02: KECCAK256
00000b03: DUP2
00000b04: SWAP1
00000b05: PUSH2 0x0b0d
00000b08: SWAP1
00000b09: PUSH2 0x0f5b
00000b0c: JUMP
00000b0d: JUMPDEST
00000b0e: DUP1
00000b0f: MLOAD
00000b10: DUP6
00000b11: SWAP4
00000b12: POP
00000b13: SWAP1
00000b14: SWAP2
00000b15: POP
00000b16: PUSH0
00000b17: JUMPDEST
00000b18: PUSH0
00000b19: DUP7
00000b1a: GT
00000b1b: DUP1
00000b1c: ISZERO
00000b1d: PUSH2 0x0b25
00000b20: JUMPI
00000b21: POP
00000b22: DUP2
00000b23: DUP2
00000b24: LT
00000b25: JUMPDEST
00000b26: ISZERO
00000b27: PUSH2 0x0cf9
00000b2a: JUMPI
00000b2b: CALLER
00000b2c: PUSH0
00000b2d: SWAP1
00000b2e: DUP2
00000b2f: MSTORE
00000b30: PUSH1 0x20
00000b32: DUP2
00000b33: SWAP1
00000b34: MSTORE
00000b35: PUSH1 0x40
00000b37: DUP2
00000b38: KECCAK256
00000b39: DUP5
00000b3a: MLOAD
00000b3b: DUP3
00000b3c: SWAP1
00000b3d: DUP7
00000b3e: SWAP1
00000b3f: DUP6
00000b40: SWAP1
00000b41: DUP2
00000b42: LT
00000b43: PUSH2 0x0b4e
00000b46: JUMPI
00000b47: PUSH2 0x0b4e
00000b4a: PUSH2 0x149e
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH1 0x20
00000b51: MUL
00000b52: PUSH1 0x20
00000b54: ADD
00000b55: ADD
00000b56: MLOAD
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP1
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: ADD
00000b62: PUSH0
00000b63: KECCAK256
00000b64: SWAP1
00000b65: POP
00000b66: PUSH0
00000b67: DUP2
00000b68: PUSH0
00000b69: ADD
00000b6a: SLOAD
00000b6b: GT
00000b6c: DUP1
00000b6d: ISZERO
00000b6e: PUSH2 0x0b9a
00000b71: JUMPI
00000b72: POP
00000b73: PUSH0
00000b74: DUP2
00000b75: PUSH1 0x02
00000b77: ADD
00000b78: SLOAD
00000b79: GT
00000b7a: DUP1
00000b7b: PUSH2 0x0b9a
00000b7e: JUMPI
00000b7f: POP
00000b80: PUSH1 0x01
00000b82: DUP2
00000b83: ADD
00000b84: SLOAD
00000b85: PUSH1 0x01
00000b87: PUSH1 0x01
00000b89: PUSH1 0x80
00000b8b: SHL
00000b8c: SUB
00000b8d: DUP1
00000b8e: DUP3
00000b8f: AND
00000b90: PUSH1 0x01
00000b92: PUSH1 0x80
00000b94: SHL
00000b95: SWAP1
00000b96: SWAP3
00000b97: DIV
00000b98: AND
00000b99: LT
00000b9a: JUMPDEST
00000b9b: ISZERO
00000b9c: PUSH2 0x0ce6
00000b9f: JUMPI
00000ba0: PUSH2 0x0bc2
00000ba3: CALLER
00000ba4: DUP6
00000ba5: DUP5
00000ba6: DUP2
00000ba7: MLOAD
00000ba8: DUP2
00000ba9: LT
00000baa: PUSH2 0x0bb5
00000bad: JUMPI
00000bae: PUSH2 0x0bb5
00000bb1: PUSH2 0x149e
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x20
00000bb8: MUL
00000bb9: PUSH1 0x20
00000bbb: ADD
00000bbc: ADD
00000bbd: MLOAD
00000bbe: PUSH2 0x0f8c
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: POP
00000bc4: PUSH0
00000bc5: DUP8
00000bc6: DUP3
00000bc7: PUSH1 0x02
00000bc9: ADD
00000bca: SLOAD
00000bcb: LT
00000bcc: ISZERO
00000bcd: PUSH2 0x0bda
00000bd0: JUMPI
00000bd1: DUP2
00000bd2: PUSH1 0x02
00000bd4: ADD
00000bd5: SLOAD
00000bd6: PUSH2 0x0bdc
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: DUP8
00000bdc: JUMPDEST
00000bdd: SWAP1
00000bde: POP
00000bdf: DUP8
00000be0: DUP2
00000be1: SUB
00000be2: PUSH2 0x0c06
00000be5: JUMPI
00000be6: DUP1
00000be7: DUP3
00000be8: PUSH1 0x02
00000bea: ADD
00000beb: PUSH0
00000bec: DUP3
00000bed: DUP3
00000bee: SLOAD
00000bef: PUSH2 0x0bf8
00000bf2: SWAP2
00000bf3: SWAP1
00000bf4: PUSH2 0x14c6
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: SWAP1
00000bfa: SWAP2
00000bfb: SSTORE
00000bfc: POP
00000bfd: PUSH0
00000bfe: SWAP9
00000bff: POP
00000c00: PUSH2 0x0c19
00000c03: SWAP1
00000c04: POP
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH2 0x0c10
00000c0a: DUP2
00000c0b: DUP10
00000c0c: PUSH2 0x14c6
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH0
00000c12: PUSH1 0x02
00000c14: DUP5
00000c15: ADD
00000c16: SSTORE
00000c17: SWAP8
00000c18: POP
00000c19: JUMPDEST
00000c1a: DUP7
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0xa0
00000c21: SHL
00000c22: SUB
00000c23: AND
00000c24: CALLER
00000c25: PUSH1 0x01
00000c27: PUSH1 0x01
00000c29: PUSH1 0xa0
00000c2b: SHL
00000c2c: SUB
00000c2d: AND
00000c2e: PUSH32 0x8f7d9ca2df6db2956b58e8476c3d797b62eacd55fe9df5d1cb12aab498333243
00000c4f: DUP8
00000c50: DUP7
00000c51: DUP2
00000c52: MLOAD
00000c53: DUP2
00000c54: LT
00000c55: PUSH2 0x0c60
00000c58: JUMPI
00000c59: PUSH2 0x0c60
00000c5c: PUSH2 0x149e
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH1 0x20
00000c63: MUL
00000c64: PUSH1 0x20
00000c66: ADD
00000c67: ADD
00000c68: MLOAD
00000c69: DUP5
00000c6a: PUSH1 0x40
00000c6c: MLOAD
00000c6d: PUSH2 0x0c80
00000c70: SWAP3
00000c71: SWAP2
00000c72: SWAP1
00000c73: SWAP2
00000c74: DUP3
00000c75: MSTORE
00000c76: PUSH1 0x20
00000c78: DUP3
00000c79: ADD
00000c7a: MSTORE
00000c7b: PUSH1 0x40
00000c7d: ADD
00000c7e: SWAP1
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x40
00000c83: MLOAD
00000c84: DUP1
00000c85: SWAP2
00000c86: SUB
00000c87: SWAP1
00000c88: LOG3
00000c89: PUSH1 0x02
00000c8b: DUP3
00000c8c: ADD
00000c8d: SLOAD
00000c8e: ISZERO
00000c8f: DUP1
00000c90: ISZERO
00000c91: PUSH2 0x0ca7
00000c94: JUMPI
00000c95: POP
00000c96: PUSH1 0x01
00000c98: DUP3
00000c99: ADD
00000c9a: SLOAD
00000c9b: PUSH1 0x01
00000c9d: PUSH1 0x01
00000c9f: PUSH1 0x80
00000ca1: SHL
00000ca2: SUB
00000ca3: AND
00000ca4: TIMESTAMP
00000ca5: LT
00000ca6: ISZERO
00000ca7: JUMPDEST
00000ca8: ISZERO
00000ca9: PUSH2 0x0ce4
00000cac: JUMPI
00000cad: PUSH2 0x0ce2
00000cb0: DUP6
00000cb1: DUP5
00000cb2: DUP2
00000cb3: MLOAD
00000cb4: DUP2
00000cb5: LT
00000cb6: PUSH2 0x0cc1
00000cb9: JUMPI
00000cba: PUSH2 0x0cc1
00000cbd: PUSH2 0x149e
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x20
00000cc4: SWAP1
00000cc5: DUP2
00000cc6: MUL
00000cc7: SWAP2
00000cc8: SWAP1
00000cc9: SWAP2
00000cca: ADD
00000ccb: DUP2
00000ccc: ADD
00000ccd: MLOAD
00000cce: CALLER
00000ccf: PUSH0
00000cd0: SWAP1
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: PUSH1 0x01
00000cd5: SWAP1
00000cd6: SWAP3
00000cd7: MSTORE
00000cd8: PUSH1 0x40
00000cda: SWAP1
00000cdb: SWAP2
00000cdc: KECCAK256
00000cdd: SWAP1
00000cde: PUSH2 0x10ea
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: POP
00000ce4: JUMPDEST
00000ce5: POP
00000ce6: JUMPDEST
00000ce7: POP
00000ce8: DUP1
00000ce9: PUSH2 0x0cf1
00000cec: DUP2
00000ced: PUSH2 0x14ec
00000cf0: JUMP
00000cf1: JUMPDEST
00000cf2: SWAP2
00000cf3: POP
00000cf4: POP
00000cf5: PUSH2 0x0b17
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: POP
00000cfb: DUP5
00000cfc: ISZERO
00000cfd: PUSH2 0x0d26
00000d00: JUMPI
00000d01: PUSH2 0x0d0a
00000d04: DUP6
00000d05: DUP5
00000d06: PUSH2 0x14c6
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: PUSH4 0x03c64f59
00000d13: PUSH1 0xe5
00000d15: SHL
00000d16: DUP2
00000d17: MSTORE
00000d18: PUSH1 0x04
00000d1a: ADD
00000d1b: PUSH2 0x04f5
00000d1e: SWAP2
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x20
00000d23: ADD
00000d24: SWAP1
00000d25: JUMP
00000d26: JUMPDEST
00000d27: DUP3
00000d28: PUSH1 0x03
00000d2a: PUSH0
00000d2b: DUP3
00000d2c: DUP3
00000d2d: SLOAD
00000d2e: PUSH2 0x0d37
00000d31: SWAP2
00000d32: SWAP1
00000d33: PUSH2 0x14c6
00000d36: JUMP
00000d37: JUMPDEST
00000d38: SWAP1
00000d39: SWAP2
00000d3a: SSTORE
00000d3b: POP
00000d3c: PUSH2 0x071a
00000d3f: SWAP1
00000d40: POP
00000d41: PUSH1 0x01
00000d43: PUSH1 0x01
00000d45: PUSH1 0xa0
00000d47: SHL
00000d48: SUB
00000d49: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000d6a: AND
00000d6b: DUP6
00000d6c: DUP6
00000d6d: PUSH2 0x10f5
00000d70: JUMP
00000d71: JUMPDEST
00000d72: CALLER
00000d73: PUSH0
00000d74: SWAP1
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x01
00000d79: PUSH1 0x20
00000d7b: MSTORE
00000d7c: PUSH1 0x40
00000d7e: DUP2
00000d7f: KECCAK256
00000d80: DUP2
00000d81: SWAP1
00000d82: PUSH2 0x0d8a
00000d85: SWAP1
00000d86: PUSH2 0x0f5b
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: DUP1
00000d8c: MLOAD
00000d8d: SWAP1
00000d8e: SWAP2
00000d8f: POP
00000d90: PUSH0
00000d91: JUMPDEST
00000d92: DUP2
00000d93: DUP2
00000d94: LT
00000d95: ISZERO
00000d96: PUSH2 0x0eeb
00000d99: JUMPI
00000d9a: CALLER
00000d9b: PUSH0
00000d9c: SWAP1
00000d9d: DUP2
00000d9e: MSTORE
00000d9f: PUSH1 0x20
00000da1: DUP2
00000da2: SWAP1
00000da3: MSTORE
00000da4: PUSH1 0x40
00000da6: DUP2
00000da7: KECCAK256
00000da8: DUP5
00000da9: MLOAD
00000daa: DUP3
00000dab: SWAP1
00000dac: DUP7
00000dad: SWAP1
00000dae: DUP6
00000daf: SWAP1
00000db0: DUP2
00000db1: LT
00000db2: PUSH2 0x0dbd
00000db5: JUMPI
00000db6: PUSH2 0x0dbd
00000db9: PUSH2 0x149e
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH1 0x20
00000dc0: MUL
00000dc1: PUSH1 0x20
00000dc3: ADD
00000dc4: ADD
00000dc5: MLOAD
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x20
00000dca: ADD
00000dcb: SWAP1
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x20
00000dd0: ADD
00000dd1: PUSH0
00000dd2: KECCAK256
00000dd3: SWAP1
00000dd4: POP
00000dd5: PUSH0
00000dd6: DUP2
00000dd7: PUSH0
00000dd8: ADD
00000dd9: SLOAD
00000dda: GT
00000ddb: DUP1
00000ddc: ISZERO
00000ddd: PUSH2 0x0e09
00000de0: JUMPI
00000de1: POP
00000de2: PUSH0
00000de3: DUP2
00000de4: PUSH1 0x02
00000de6: ADD
00000de7: SLOAD
00000de8: GT
00000de9: DUP1
00000dea: PUSH2 0x0e09
00000ded: JUMPI
00000dee: POP
00000def: PUSH1 0x01
00000df1: DUP2
00000df2: ADD
00000df3: SLOAD
00000df4: PUSH1 0x01
00000df6: PUSH1 0x01
00000df8: PUSH1 0x80
00000dfa: SHL
00000dfb: SUB
00000dfc: DUP1
00000dfd: DUP3
00000dfe: AND
00000dff: PUSH1 0x01
00000e01: PUSH1 0x80
00000e03: SHL
00000e04: SWAP1
00000e05: SWAP3
00000e06: DIV
00000e07: AND
00000e08: LT
00000e09: JUMPDEST
00000e0a: ISZERO
00000e0b: PUSH2 0x0ed8
00000e0e: JUMPI
00000e0f: PUSH2 0x0e24
00000e12: CALLER
00000e13: DUP6
00000e14: DUP5
00000e15: DUP2
00000e16: MLOAD
00000e17: DUP2
00000e18: LT
00000e19: PUSH2 0x0bb5
00000e1c: JUMPI
00000e1d: PUSH2 0x0bb5
00000e20: PUSH2 0x149e
00000e23: JUMP
00000e24: JUMPDEST
00000e25: POP
00000e26: PUSH1 0x02
00000e28: DUP2
00000e29: ADD
00000e2a: SLOAD
00000e2b: PUSH2 0x0e34
00000e2e: DUP2
00000e2f: DUP8
00000e30: PUSH2 0x14d9
00000e33: JUMP
00000e34: JUMPDEST
00000e35: PUSH0
00000e36: PUSH1 0x02
00000e38: DUP5
00000e39: ADD
00000e3a: SSTORE
00000e3b: SWAP6
00000e3c: POP
00000e3d: PUSH1 0x01
00000e3f: DUP3
00000e40: ADD
00000e41: SLOAD
00000e42: PUSH1 0x01
00000e44: PUSH1 0x01
00000e46: PUSH1 0x80
00000e48: SHL
00000e49: SUB
00000e4a: AND
00000e4b: TIMESTAMP
00000e4c: LT
00000e4d: PUSH2 0x0e67
00000e50: JUMPI
00000e51: PUSH2 0x0e65
00000e54: DUP6
00000e55: DUP5
00000e56: DUP2
00000e57: MLOAD
00000e58: DUP2
00000e59: LT
00000e5a: PUSH2 0x0cc1
00000e5d: JUMPI
00000e5e: PUSH2 0x0cc1
00000e61: PUSH2 0x149e
00000e64: JUMP
00000e65: JUMPDEST
00000e66: POP
00000e67: JUMPDEST
00000e68: CALLER
00000e69: PUSH1 0x01
00000e6b: PUSH1 0x01
00000e6d: PUSH1 0xa0
00000e6f: SHL
00000e70: SUB
00000e71: AND
00000e72: CALLER
00000e73: PUSH1 0x01
00000e75: PUSH1 0x01
00000e77: PUSH1 0xa0
00000e79: SHL
00000e7a: SUB
00000e7b: AND
00000e7c: PUSH32 0x8f7d9ca2df6db2956b58e8476c3d797b62eacd55fe9df5d1cb12aab498333243
00000e9d: DUP8
00000e9e: DUP7
00000e9f: DUP2
00000ea0: MLOAD
00000ea1: DUP2
00000ea2: LT
00000ea3: PUSH2 0x0eae
00000ea6: JUMPI
00000ea7: PUSH2 0x0eae
00000eaa: PUSH2 0x149e
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: PUSH1 0x20
00000eb1: MUL
00000eb2: PUSH1 0x20
00000eb4: ADD
00000eb5: ADD
00000eb6: MLOAD
00000eb7: DUP5
00000eb8: PUSH1 0x40
00000eba: MLOAD
00000ebb: PUSH2 0x0ece
00000ebe: SWAP3
00000ebf: SWAP2
00000ec0: SWAP1
00000ec1: SWAP2
00000ec2: DUP3
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: DUP3
00000ec7: ADD
00000ec8: MSTORE
00000ec9: PUSH1 0x40
00000ecb: ADD
00000ecc: SWAP1
00000ecd: JUMP
00000ece: JUMPDEST
00000ecf: PUSH1 0x40
00000ed1: MLOAD
00000ed2: DUP1
00000ed3: SWAP2
00000ed4: SUB
00000ed5: SWAP1
00000ed6: LOG3
00000ed7: POP
00000ed8: JUMPDEST
00000ed9: POP
00000eda: DUP1
00000edb: PUSH2 0x0ee3
00000ede: DUP2
00000edf: PUSH2 0x14ec
00000ee2: JUMP
00000ee3: JUMPDEST
00000ee4: SWAP2
00000ee5: POP
00000ee6: POP
00000ee7: PUSH2 0x0d91
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: POP
00000eed: DUP3
00000eee: PUSH1 0x03
00000ef0: PUSH0
00000ef1: DUP3
00000ef2: DUP3
00000ef3: SLOAD
00000ef4: PUSH2 0x0efd
00000ef7: SWAP2
00000ef8: SWAP1
00000ef9: PUSH2 0x14c6
00000efc: JUMP
00000efd: JUMPDEST
00000efe: SWAP1
00000eff: SWAP2
00000f00: SSTORE
00000f01: POP
00000f02: PUSH2 0x0f37
00000f05: SWAP1
00000f06: POP
00000f07: PUSH1 0x01
00000f09: PUSH1 0x01
00000f0b: PUSH1 0xa0
00000f0d: SHL
00000f0e: SUB
00000f0f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00000f30: AND
00000f31: CALLER
00000f32: DUP6
00000f33: PUSH2 0x10f5
00000f36: JUMP
00000f37: JUMPDEST
00000f38: POP
00000f39: POP
00000f3a: SWAP1
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: PUSH1 0x01
00000f3f: PUSH1 0x01
00000f41: PUSH1 0xa0
00000f43: SHL
00000f44: SUB
00000f45: DUP2
00000f46: AND
00000f47: PUSH0
00000f48: SWAP1
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0x20
00000f4f: MSTORE
00000f50: PUSH1 0x40
00000f52: SWAP1
00000f53: KECCAK256
00000f54: PUSH1 0x60
00000f56: SWAP1
00000f57: PUSH2 0x0582
00000f5a: SWAP1
00000f5b: JUMPDEST
00000f5c: PUSH1 0x60
00000f5e: PUSH0
00000f5f: PUSH2 0x0f67
00000f62: DUP4
00000f63: PUSH2 0x1200
00000f66: JUMP
00000f67: JUMPDEST
00000f68: SWAP4
00000f69: SWAP3
00000f6a: POP
00000f6b: POP
00000f6c: POP
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: DUP3
00000f70: DUP3
00000f71: MUL
00000f72: DUP2
00000f73: ISZERO
00000f74: ISZERO
00000f75: DUP5
00000f76: ISZERO
00000f77: DUP6
00000f78: DUP4
00000f79: DIV
00000f7a: DUP6
00000f7b: EQ
00000f7c: OR
00000f7d: AND
00000f7e: PUSH2 0x0f85
00000f81: JUMPI
00000f82: PUSH0
00000f83: DUP1
00000f84: REVERT
00000f85: JUMPDEST
00000f86: DIV
00000f87: SWAP3
00000f88: SWAP2
00000f89: POP
00000f8a: POP
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: PUSH1 0x01
00000f8f: PUSH1 0x01
00000f91: PUSH1 0xa0
00000f93: SHL
00000f94: SUB
00000f95: DUP3
00000f96: AND
00000f97: PUSH0
00000f98: SWAP1
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: DUP2
00000f9e: DUP2
00000f9f: MSTORE
00000fa0: PUSH1 0x40
00000fa2: DUP1
00000fa3: DUP4
00000fa4: KECCAK256
00000fa5: DUP5
00000fa6: DUP5
00000fa7: MSTORE
00000fa8: SWAP1
00000fa9: SWAP2
00000faa: MSTORE
00000fab: DUP2
00000fac: KECCAK256
00000fad: DUP1
00000fae: SLOAD
00000faf: DUP3
00000fb0: SUB
00000fb1: PUSH2 0x0fd0
00000fb4: JUMPI
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: PUSH4 0xa1632d2b
00000fbd: PUSH1 0xe0
00000fbf: SHL
00000fc0: DUP2
00000fc1: MSTORE
00000fc2: PUSH1 0x04
00000fc4: DUP2
00000fc5: ADD
00000fc6: DUP5
00000fc7: SWAP1
00000fc8: MSTORE
00000fc9: PUSH1 0x24
00000fcb: ADD
00000fcc: PUSH2 0x04f5
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH1 0x01
00000fd3: DUP2
00000fd4: ADD
00000fd5: SLOAD
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0x01
00000fda: PUSH1 0x80
00000fdc: SHL
00000fdd: SUB
00000fde: DUP1
00000fdf: DUP3
00000fe0: AND
00000fe1: PUSH1 0x01
00000fe3: PUSH1 0x80
00000fe5: SHL
00000fe6: SWAP1
00000fe7: SWAP3
00000fe8: DIV
00000fe9: AND
00000fea: LT
00000feb: PUSH2 0x0ff7
00000fee: JUMPI
00000fef: PUSH0
00000ff0: SWAP2
00000ff1: POP
00000ff2: POP
00000ff3: PUSH2 0x0582
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: PUSH1 0x01
00000ffa: DUP2
00000ffb: ADD
00000ffc: SLOAD
00000ffd: PUSH0
00000ffe: SWAP1
00000fff: PUSH1 0x01
00001001: PUSH1 0x01
00001003: PUSH1 0x80
00001005: SHL
00001006: SUB
00001007: AND
00001008: TIMESTAMP
00001009: GT
0000100a: ISZERO
0000100b: PUSH2 0x1021
0000100e: JUMPI
0000100f: PUSH1 0x01
00001011: DUP3
00001012: ADD
00001013: SLOAD
00001014: PUSH1 0x01
00001016: PUSH1 0x01
00001018: PUSH1 0x80
0000101a: SHL
0000101b: SUB
0000101c: AND
0000101d: PUSH2 0x1023
00001020: JUMP
00001021: JUMPDEST
00001022: TIMESTAMP
00001023: JUMPDEST
00001024: PUSH1 0x01
00001026: DUP4
00001027: ADD
00001028: SLOAD
00001029: SWAP1
0000102a: SWAP2
0000102b: POP
0000102c: PUSH0
0000102d: SWAP1
0000102e: PUSH2 0x1047
00001031: SWAP1
00001032: PUSH1 0x01
00001034: PUSH1 0x80
00001036: SHL
00001037: SWAP1
00001038: DIV
00001039: PUSH1 0x01
0000103b: PUSH1 0x01
0000103d: PUSH1 0x80
0000103f: SHL
00001040: SUB
00001041: AND
00001042: DUP4
00001043: PUSH2 0x14c6
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH1 0x01
0000104a: DUP5
0000104b: ADD
0000104c: SLOAD
0000104d: SWAP1
0000104e: SWAP2
0000104f: POP
00001050: PUSH1 0x01
00001052: PUSH1 0x01
00001054: PUSH1 0x80
00001056: SHL
00001057: SUB
00001058: AND
00001059: DUP3
0000105a: SUB
0000105b: PUSH2 0x107b
0000105e: JUMPI
0000105f: DUP3
00001060: SLOAD
00001061: PUSH2 0x1074
00001064: SWAP1
00001065: DUP3
00001066: SWAP1
00001067: PUSH8 0x0de0b6b3a7640000
00001070: PUSH2 0x1259
00001073: JUMP
00001074: JUMPDEST
00001075: SWAP4
00001076: POP
00001077: PUSH2 0x1094
0000107a: JUMP
0000107b: JUMPDEST
0000107c: DUP3
0000107d: SLOAD
0000107e: PUSH2 0x1091
00001081: SWAP1
00001082: DUP3
00001083: SWAP1
00001084: PUSH8 0x0de0b6b3a7640000
0000108d: PUSH2 0x0f6e
00001090: JUMP
00001091: JUMPDEST
00001092: SWAP4
00001093: POP
00001094: JUMPDEST
00001095: DUP4
00001096: DUP4
00001097: PUSH1 0x02
00001099: ADD
0000109a: PUSH0
0000109b: DUP3
0000109c: DUP3
0000109d: SLOAD
0000109e: PUSH2 0x10a7
000010a1: SWAP2
000010a2: SWAP1
000010a3: PUSH2 0x14d9
000010a6: JUMP
000010a7: JUMPDEST
000010a8: SWAP1
000010a9: SWAP2
000010aa: SSTORE
000010ab: POP
000010ac: POP
000010ad: PUSH1 0x01
000010af: DUP4
000010b0: ADD
000010b1: DUP1
000010b2: SLOAD
000010b3: PUSH1 0x01
000010b5: PUSH1 0x01
000010b7: PUSH1 0x80
000010b9: SHL
000010ba: SUB
000010bb: DUP1
000010bc: DUP6
000010bd: AND
000010be: PUSH1 0x01
000010c0: PUSH1 0x80
000010c2: SHL
000010c3: MUL
000010c4: SWAP2
000010c5: AND
000010c6: OR
000010c7: SWAP1
000010c8: SSTORE
000010c9: PUSH1 0x04
000010cb: DUP1
000010cc: SLOAD
000010cd: DUP6
000010ce: SWAP2
000010cf: SWAP1
000010d0: PUSH0
000010d1: SWAP1
000010d2: PUSH2 0x10dc
000010d5: SWAP1
000010d6: DUP5
000010d7: SWAP1
000010d8: PUSH2 0x14c6
000010db: JUMP
000010dc: JUMPDEST
000010dd: SWAP1
000010de: SWAP2
000010df: SSTORE
000010e0: POP
000010e1: POP
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: SWAP3
000010e6: SWAP2
000010e7: POP
000010e8: POP
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH0
000010ec: PUSH2 0x0f67
000010ef: DUP4
000010f0: DUP4
000010f1: PUSH2 0x1286
000010f4: JUMP
000010f5: JUMPDEST
000010f6: PUSH0
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: PUSH4 0xa9059cbb
000010ff: PUSH1 0xe0
00001101: SHL
00001102: DUP2
00001103: MSTORE
00001104: DUP4
00001105: PUSH1 0x04
00001107: DUP3
00001108: ADD
00001109: MSTORE
0000110a: DUP3
0000110b: PUSH1 0x24
0000110d: DUP3
0000110e: ADD
0000110f: MSTORE
00001110: PUSH1 0x20
00001112: PUSH0
00001113: PUSH1 0x44
00001115: DUP4
00001116: PUSH0
00001117: DUP10
00001118: GAS
00001119: CALL
0000111a: RETURNDATASIZE
0000111b: ISZERO
0000111c: PUSH1 0x1f
0000111e: RETURNDATASIZE
0000111f: GT
00001120: PUSH1 0x01
00001122: PUSH0
00001123: MLOAD
00001124: EQ
00001125: AND
00001126: OR
00001127: AND
00001128: SWAP2
00001129: POP
0000112a: POP
0000112b: DUP1
0000112c: PUSH2 0x1169
0000112f: JUMPI
00001130: PUSH1 0x40
00001132: MLOAD
00001133: PUSH3 0x461bcd
00001137: PUSH1 0xe5
00001139: SHL
0000113a: DUP2
0000113b: MSTORE
0000113c: PUSH1 0x20
0000113e: PUSH1 0x04
00001140: DUP3
00001141: ADD
00001142: MSTORE
00001143: PUSH1 0x0f
00001145: PUSH1 0x24
00001147: DUP3
00001148: ADD
00001149: MSTORE
0000114a: PUSH15 0x1514905394d1915497d19052531151
0000115a: PUSH1 0x8a
0000115c: SHL
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: PUSH1 0x64
00001164: ADD
00001165: PUSH2 0x04f5
00001168: JUMP
00001169: JUMPDEST
0000116a: POP
0000116b: POP
0000116c: POP
0000116d: POP
0000116e: JUMP
0000116f: JUMPDEST
00001170: PUSH0
00001171: PUSH2 0x0f67
00001174: DUP4
00001175: DUP4
00001176: PUSH2 0x1369
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH0
0000117c: PUSH1 0x40
0000117e: MLOAD
0000117f: PUSH4 0x23b872dd
00001184: PUSH1 0xe0
00001186: SHL
00001187: DUP2
00001188: MSTORE
00001189: DUP5
0000118a: PUSH1 0x04
0000118c: DUP3
0000118d: ADD
0000118e: MSTORE
0000118f: DUP4
00001190: PUSH1 0x24
00001192: DUP3
00001193: ADD
00001194: MSTORE
00001195: DUP3
00001196: PUSH1 0x44
00001198: DUP3
00001199: ADD
0000119a: MSTORE
0000119b: PUSH1 0x20
0000119d: PUSH0
0000119e: PUSH1 0x64
000011a0: DUP4
000011a1: PUSH0
000011a2: DUP11
000011a3: GAS
000011a4: CALL
000011a5: RETURNDATASIZE
000011a6: ISZERO
000011a7: PUSH1 0x1f
000011a9: RETURNDATASIZE
000011aa: GT
000011ab: PUSH1 0x01
000011ad: PUSH0
000011ae: MLOAD
000011af: EQ
000011b0: AND
000011b1: OR
000011b2: AND
000011b3: SWAP2
000011b4: POP
000011b5: POP
000011b6: DUP1
000011b7: PUSH2 0x11f9
000011ba: JUMPI
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: PUSH3 0x461bcd
000011c2: PUSH1 0xe5
000011c4: SHL
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x20
000011c9: PUSH1 0x04
000011cb: DUP3
000011cc: ADD
000011cd: MSTORE
000011ce: PUSH1 0x14
000011d0: PUSH1 0x24
000011d2: DUP3
000011d3: ADD
000011d4: MSTORE
000011d5: PUSH20 0x1514905394d1915497d19493d357d19052531151
000011ea: PUSH1 0x62
000011ec: SHL
000011ed: PUSH1 0x44
000011ef: DUP3
000011f0: ADD
000011f1: MSTORE
000011f2: PUSH1 0x64
000011f4: ADD
000011f5: PUSH2 0x04f5
000011f8: JUMP
000011f9: JUMPDEST
000011fa: POP
000011fb: POP
000011fc: POP
000011fd: POP
000011fe: POP
000011ff: JUMP
00001200: JUMPDEST
00001201: PUSH1 0x60
00001203: DUP2
00001204: PUSH0
00001205: ADD
00001206: DUP1
00001207: SLOAD
00001208: DUP1
00001209: PUSH1 0x20
0000120b: MUL
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: SWAP1
00001213: DUP2
00001214: ADD
00001215: PUSH1 0x40
00001217: MSTORE
00001218: DUP1
00001219: SWAP3
0000121a: SWAP2
0000121b: SWAP1
0000121c: DUP2
0000121d: DUP2
0000121e: MSTORE
0000121f: PUSH1 0x20
00001221: ADD
00001222: DUP3
00001223: DUP1
00001224: SLOAD
00001225: DUP1
00001226: ISZERO
00001227: PUSH2 0x124d
0000122a: JUMPI
0000122b: PUSH1 0x20
0000122d: MUL
0000122e: DUP3
0000122f: ADD
00001230: SWAP2
00001231: SWAP1
00001232: PUSH0
00001233: MSTORE
00001234: PUSH1 0x20
00001236: PUSH0
00001237: KECCAK256
00001238: SWAP1
00001239: JUMPDEST
0000123a: DUP2
0000123b: SLOAD
0000123c: DUP2
0000123d: MSTORE
0000123e: PUSH1 0x20
00001240: ADD
00001241: SWAP1
00001242: PUSH1 0x01
00001244: ADD
00001245: SWAP1
00001246: DUP1
00001247: DUP4
00001248: GT
00001249: PUSH2 0x1239
0000124c: JUMPI
0000124d: JUMPDEST
0000124e: POP
0000124f: POP
00001250: POP
00001251: POP
00001252: POP
00001253: SWAP1
00001254: POP
00001255: SWAP2
00001256: SWAP1
00001257: POP
00001258: JUMP
00001259: JUMPDEST
0000125a: DUP3
0000125b: DUP3
0000125c: MUL
0000125d: DUP2
0000125e: ISZERO
0000125f: ISZERO
00001260: DUP5
00001261: ISZERO
00001262: DUP6
00001263: DUP4
00001264: DIV
00001265: DUP6
00001266: EQ
00001267: OR
00001268: AND
00001269: PUSH2 0x1270
0000126c: JUMPI
0000126d: PUSH0
0000126e: DUP1
0000126f: REVERT
00001270: JUMPDEST
00001271: PUSH1 0x01
00001273: DUP3
00001274: PUSH1 0x01
00001276: DUP4
00001277: SUB
00001278: DIV
00001279: ADD
0000127a: DUP2
0000127b: ISZERO
0000127c: ISZERO
0000127d: MUL
0000127e: SWAP1
0000127f: POP
00001280: SWAP4
00001281: SWAP3
00001282: POP
00001283: POP
00001284: POP
00001285: JUMP
00001286: JUMPDEST
00001287: PUSH0
00001288: DUP2
00001289: DUP2
0000128a: MSTORE
0000128b: PUSH1 0x01
0000128d: DUP4
0000128e: ADD
0000128f: PUSH1 0x20
00001291: MSTORE
00001292: PUSH1 0x40
00001294: DUP2
00001295: KECCAK256
00001296: SLOAD
00001297: DUP1
00001298: ISZERO
00001299: PUSH2 0x1360
0000129c: JUMPI
0000129d: PUSH0
0000129e: PUSH2 0x12a8
000012a1: PUSH1 0x01
000012a3: DUP4
000012a4: PUSH2 0x14c6
000012a7: JUMP
000012a8: JUMPDEST
000012a9: DUP6
000012aa: SLOAD
000012ab: SWAP1
000012ac: SWAP2
000012ad: POP
000012ae: PUSH0
000012af: SWAP1
000012b0: PUSH2 0x12bb
000012b3: SWAP1
000012b4: PUSH1 0x01
000012b6: SWAP1
000012b7: PUSH2 0x14c6
000012ba: JUMP
000012bb: JUMPDEST
000012bc: SWAP1
000012bd: POP
000012be: DUP2
000012bf: DUP2
000012c0: EQ
000012c1: PUSH2 0x131a
000012c4: JUMPI
000012c5: PUSH0
000012c6: DUP7
000012c7: PUSH0
000012c8: ADD
000012c9: DUP3
000012ca: DUP2
000012cb: SLOAD
000012cc: DUP2
000012cd: LT
000012ce: PUSH2 0x12d9
000012d1: JUMPI
000012d2: PUSH2 0x12d9
000012d5: PUSH2 0x149e
000012d8: JUMP
000012d9: JUMPDEST
000012da: SWAP1
000012db: PUSH0
000012dc: MSTORE
000012dd: PUSH1 0x20
000012df: PUSH0
000012e0: KECCAK256
000012e1: ADD
000012e2: SLOAD
000012e3: SWAP1
000012e4: POP
000012e5: DUP1
000012e6: DUP8
000012e7: PUSH0
000012e8: ADD
000012e9: DUP5
000012ea: DUP2
000012eb: SLOAD
000012ec: DUP2
000012ed: LT
000012ee: PUSH2 0x12f9
000012f1: JUMPI
000012f2: PUSH2 0x12f9
000012f5: PUSH2 0x149e
000012f8: JUMP
000012f9: JUMPDEST
000012fa: PUSH0
000012fb: SWAP2
000012fc: DUP3
000012fd: MSTORE
000012fe: PUSH1 0x20
00001300: DUP1
00001301: DUP4
00001302: KECCAK256
00001303: SWAP1
00001304: SWAP2
00001305: ADD
00001306: SWAP3
00001307: SWAP1
00001308: SWAP3
00001309: SSTORE
0000130a: SWAP2
0000130b: DUP3
0000130c: MSTORE
0000130d: PUSH1 0x01
0000130f: DUP9
00001310: ADD
00001311: SWAP1
00001312: MSTORE
00001313: PUSH1 0x40
00001315: SWAP1
00001316: KECCAK256
00001317: DUP4
00001318: SWAP1
00001319: SSTORE
0000131a: JUMPDEST
0000131b: DUP6
0000131c: SLOAD
0000131d: DUP7
0000131e: SWAP1
0000131f: DUP1
00001320: PUSH2 0x132b
00001323: JUMPI
00001324: PUSH2 0x132b
00001327: PUSH2 0x153a
0000132a: JUMP
0000132b: JUMPDEST
0000132c: PUSH1 0x01
0000132e: SWAP1
0000132f: SUB
00001330: DUP2
00001331: DUP2
00001332: SWAP1
00001333: PUSH0
00001334: MSTORE
00001335: PUSH1 0x20
00001337: PUSH0
00001338: KECCAK256
00001339: ADD
0000133a: PUSH0
0000133b: SWAP1
0000133c: SSTORE
0000133d: SWAP1
0000133e: SSTORE
0000133f: DUP6
00001340: PUSH1 0x01
00001342: ADD
00001343: PUSH0
00001344: DUP7
00001345: DUP2
00001346: MSTORE
00001347: PUSH1 0x20
00001349: ADD
0000134a: SWAP1
0000134b: DUP2
0000134c: MSTORE
0000134d: PUSH1 0x20
0000134f: ADD
00001350: PUSH0
00001351: KECCAK256
00001352: PUSH0
00001353: SWAP1
00001354: SSTORE
00001355: PUSH1 0x01
00001357: SWAP4
00001358: POP
00001359: POP
0000135a: POP
0000135b: POP
0000135c: PUSH2 0x0582
0000135f: JUMP
00001360: JUMPDEST
00001361: PUSH0
00001362: SWAP2
00001363: POP
00001364: POP
00001365: PUSH2 0x0582
00001368: JUMP
00001369: JUMPDEST
0000136a: PUSH0
0000136b: DUP2
0000136c: DUP2
0000136d: MSTORE
0000136e: PUSH1 0x01
00001370: DUP4
00001371: ADD
00001372: PUSH1 0x20
00001374: MSTORE
00001375: PUSH1 0x40
00001377: DUP2
00001378: KECCAK256
00001379: SLOAD
0000137a: PUSH2 0x13ae
0000137d: JUMPI
0000137e: POP
0000137f: DUP2
00001380: SLOAD
00001381: PUSH1 0x01
00001383: DUP2
00001384: DUP2
00001385: ADD
00001386: DUP5
00001387: SSTORE
00001388: PUSH0
00001389: DUP5
0000138a: DUP2
0000138b: MSTORE
0000138c: PUSH1 0x20
0000138e: DUP1
0000138f: DUP3
00001390: KECCAK256
00001391: SWAP1
00001392: SWAP4
00001393: ADD
00001394: DUP5
00001395: SWAP1
00001396: SSTORE
00001397: DUP5
00001398: SLOAD
00001399: DUP5
0000139a: DUP3
0000139b: MSTORE
0000139c: DUP3
0000139d: DUP7
0000139e: ADD
0000139f: SWAP1
000013a0: SWAP4
000013a1: MSTORE
000013a2: PUSH1 0x40
000013a4: SWAP1
000013a5: KECCAK256
000013a6: SWAP2
000013a7: SWAP1
000013a8: SWAP2
000013a9: SSTORE
000013aa: PUSH2 0x0582
000013ad: JUMP
000013ae: JUMPDEST
000013af: POP
000013b0: PUSH0
000013b1: PUSH2 0x0582
000013b4: JUMP
000013b5: JUMPDEST
000013b6: DUP1
000013b7: CALLDATALOAD
000013b8: PUSH1 0x01
000013ba: PUSH1 0x01
000013bc: PUSH1 0xa0
000013be: SHL
000013bf: SUB
000013c0: DUP2
000013c1: AND
000013c2: DUP2
000013c3: EQ
000013c4: PUSH2 0x13cb
000013c7: JUMPI
000013c8: PUSH0
000013c9: DUP1
000013ca: REVERT
000013cb: JUMPDEST
000013cc: SWAP2
000013cd: SWAP1
000013ce: POP
000013cf: JUMP
000013d0: JUMPDEST
000013d1: PUSH0
000013d2: PUSH1 0x20
000013d4: DUP3
000013d5: DUP5
000013d6: SUB
000013d7: SLT
000013d8: ISZERO
000013d9: PUSH2 0x13e0
000013dc: JUMPI
000013dd: PUSH0
000013de: DUP1
000013df: REVERT
000013e0: JUMPDEST
000013e1: PUSH2 0x0f67
000013e4: DUP3
000013e5: PUSH2 0x13b5
000013e8: JUMP
000013e9: JUMPDEST
000013ea: PUSH0
000013eb: DUP1
000013ec: PUSH1 0x40
000013ee: DUP4
000013ef: DUP6
000013f0: SUB
000013f1: SLT
000013f2: ISZERO
000013f3: PUSH2 0x13fa
000013f6: JUMPI
000013f7: PUSH0
000013f8: DUP1
000013f9: REVERT
000013fa: JUMPDEST
000013fb: PUSH2 0x1403
000013fe: DUP4
000013ff: PUSH2 0x13b5
00001402: JUMP
00001403: JUMPDEST
00001404: SWAP5
00001405: PUSH1 0x20
00001407: SWAP4
00001408: SWAP1
00001409: SWAP4
0000140a: ADD
0000140b: CALLDATALOAD
0000140c: SWAP4
0000140d: POP
0000140e: POP
0000140f: POP
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH0
00001413: DUP1
00001414: PUSH1 0x40
00001416: DUP4
00001417: DUP6
00001418: SUB
00001419: SLT
0000141a: ISZERO
0000141b: PUSH2 0x1422
0000141e: JUMPI
0000141f: PUSH0
00001420: DUP1
00001421: REVERT
00001422: JUMPDEST
00001423: POP
00001424: POP
00001425: DUP1
00001426: CALLDATALOAD
00001427: SWAP3
00001428: PUSH1 0x20
0000142a: SWAP1
0000142b: SWAP2
0000142c: ADD
0000142d: CALLDATALOAD
0000142e: SWAP2
0000142f: POP
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH0
00001433: DUP1
00001434: PUSH1 0x40
00001436: DUP4
00001437: DUP6
00001438: SUB
00001439: SLT
0000143a: ISZERO
0000143b: PUSH2 0x1442
0000143e: JUMPI
0000143f: PUSH0
00001440: DUP1
00001441: REVERT
00001442: JUMPDEST
00001443: DUP3
00001444: CALLDATALOAD
00001445: SWAP2
00001446: POP
00001447: PUSH2 0x1452
0000144a: PUSH1 0x20
0000144c: DUP5
0000144d: ADD
0000144e: PUSH2 0x13b5
00001451: JUMP
00001452: JUMPDEST
00001453: SWAP1
00001454: POP
00001455: SWAP3
00001456: POP
00001457: SWAP3
00001458: SWAP1
00001459: POP
0000145a: JUMP
0000145b: JUMPDEST
0000145c: PUSH1 0x20
0000145e: DUP1
0000145f: DUP3
00001460: MSTORE
00001461: DUP3
00001462: MLOAD
00001463: DUP3
00001464: DUP3
00001465: ADD
00001466: DUP2
00001467: SWAP1
00001468: MSTORE
00001469: PUSH0
0000146a: SWAP2
0000146b: SWAP1
0000146c: DUP5
0000146d: DUP3
0000146e: ADD
0000146f: SWAP1
00001470: PUSH1 0x40
00001472: DUP6
00001473: ADD
00001474: SWAP1
00001475: DUP5
00001476: JUMPDEST
00001477: DUP2
00001478: DUP2
00001479: LT
0000147a: ISZERO
0000147b: PUSH2 0x1492
0000147e: JUMPI
0000147f: DUP4
00001480: MLOAD
00001481: DUP4
00001482: MSTORE
00001483: SWAP3
00001484: DUP5
00001485: ADD
00001486: SWAP3
00001487: SWAP2
00001488: DUP5
00001489: ADD
0000148a: SWAP2
0000148b: PUSH1 0x01
0000148d: ADD
0000148e: PUSH2 0x1476
00001491: JUMP
00001492: JUMPDEST
00001493: POP
00001494: SWAP1
00001495: SWAP7
00001496: SWAP6
00001497: POP
00001498: POP
00001499: POP
0000149a: POP
0000149b: POP
0000149c: POP
0000149d: JUMP
0000149e: JUMPDEST
0000149f: PUSH4 0x4e487b71
000014a4: PUSH1 0xe0
000014a6: SHL
000014a7: PUSH0
000014a8: MSTORE
000014a9: PUSH1 0x32
000014ab: PUSH1 0x04
000014ad: MSTORE
000014ae: PUSH1 0x24
000014b0: PUSH0
000014b1: REVERT
000014b2: JUMPDEST
000014b3: PUSH4 0x4e487b71
000014b8: PUSH1 0xe0
000014ba: SHL
000014bb: PUSH0
000014bc: MSTORE
000014bd: PUSH1 0x11
000014bf: PUSH1 0x04
000014c1: MSTORE
000014c2: PUSH1 0x24
000014c4: PUSH0
000014c5: REVERT
000014c6: JUMPDEST
000014c7: DUP2
000014c8: DUP2
000014c9: SUB
000014ca: DUP2
000014cb: DUP2
000014cc: GT
000014cd: ISZERO
000014ce: PUSH2 0x0582
000014d1: JUMPI
000014d2: PUSH2 0x0582
000014d5: PUSH2 0x14b2
000014d8: JUMP
000014d9: JUMPDEST
000014da: DUP1
000014db: DUP3
000014dc: ADD
000014dd: DUP1
000014de: DUP3
000014df: GT
000014e0: ISZERO
000014e1: PUSH2 0x0582
000014e4: JUMPI
000014e5: PUSH2 0x0582
000014e8: PUSH2 0x14b2
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH0
000014ee: PUSH1 0x01
000014f0: DUP3
000014f1: ADD
000014f2: PUSH2 0x14fd
000014f5: JUMPI
000014f6: PUSH2 0x14fd
000014f9: PUSH2 0x14b2
000014fc: JUMP
000014fd: JUMPDEST
000014fe: POP
000014ff: PUSH1 0x01
00001501: ADD
00001502: SWAP1
00001503: JUMP
00001504: JUMPDEST
00001505: DUP1
00001506: DUP3
00001507: MUL
00001508: DUP2
00001509: ISZERO
0000150a: DUP3
0000150b: DUP3
0000150c: DIV
0000150d: DUP5
0000150e: EQ
0000150f: OR
00001510: PUSH2 0x0582
00001513: JUMPI
00001514: PUSH2 0x0582
00001517: PUSH2 0x14b2
0000151a: JUMP
0000151b: JUMPDEST
0000151c: PUSH0
0000151d: DUP3
0000151e: PUSH2 0x1535
00001521: JUMPI
00001522: PUSH4 0x4e487b71
00001527: PUSH1 0xe0
00001529: SHL
0000152a: PUSH0
0000152b: MSTORE
0000152c: PUSH1 0x12
0000152e: PUSH1 0x04
00001530: MSTORE
00001531: PUSH1 0x24
00001533: PUSH0
00001534: REVERT
00001535: JUMPDEST
00001536: POP
00001537: DIV
00001538: SWAP1
00001539: JUMP
0000153a: JUMPDEST
0000153b: PUSH4 0x4e487b71
00001540: PUSH1 0xe0
00001542: SHL
00001543: PUSH0
00001544: MSTORE
00001545: PUSH1 0x31
00001547: PUSH1 0x04
00001549: MSTORE
0000154a: PUSH1 0x24
0000154c: PUSH0
0000154d: REVERT
0000154e: INVALID
0000154f: LOG2
00001550: PUSH5 0x6970667358
00001556: UNKNOWN(0x22)
00001557: SLT
00001558: KECCAK256
00001559: PC
0000155a: UNKNOWN(0x21)
0000155b: SAR
0000155c: UNKNOWN(0xE2)
0000155d: UNKNOWN(0xCD)
0000155e: KECCAK256
0000155f: UNKNOWN(0xB0)
00001560: PUSH27 0x68fe0fac8002492e910688cc452e787709b89f56b7c9fc0564736f
0000157c: PUSH13