Analysis Run

[codex:822082] OpenAI Codex v0.77.0 (research preview)
[codex:822082] --------
[codex:822082] workdir: /tmp/codex-multi-2hz30adq
[codex:822082] model: gpt-5.2-codex
[codex:822082] provider: openai
[codex:822082] approval: never
[codex:822082] sandbox: read-only
[codex:822082] reasoning effort: xhigh
[codex:822082] reasoning summaries: auto
[codex:822082] session id: 019b8cca-9d27-7af0-9589-80d70d8e342c
[codex:822082] --------
[codex:822082] user
[codex:822082] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:822082] 
[codex:822082] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:822082] 
[codex:822082] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:822082] - Gas inefficiency, code quality, naming, or best practices
[codex:822082] - Theoretical vulnerabilities without a clear extraction path
[codex:822082] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:822082] - Front-running unless it enables theft beyond MEV
[codex:822082] - DoS, griefing, or issues that don't result in attacker profit
[codex:822082] - Missing events, view function issues, or informational findings
[codex:822082] 
[codex:822082] HIGH-VALUE PATTERNS TO HUNT:
[codex:822082] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:822082] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:822082] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:822082] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:822082] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:822082] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:822082] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:822082] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:822082] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:822082] 
[codex:822082] For each finding, you MUST provide:
[codex:822082] 1. Exact file and line numbers of vulnerable code
[codex:822082] 2. Step-by-step exploit transaction sequence
[codex:822082] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:822082] 
[codex:822082] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:822082] 
[codex:822082] Output MUST be valid JSON matching the provided schema.
[codex:822082] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:822082] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:822082] mcp startup: no servers
[codex:822082] 
[codex:822082] thinking
[codex:822082] **Preparing to read AUDIT_BUNDLE.txt**
[codex:822082] exec
[codex:822082] /bin/bash -lc ls in /tmp/codex-multi-2hz30adq succeeded in 6ms:
[codex:822082] AUDIT_BUNDLE.txt
[codex:822082] codex-output-schema.json
[codex:822082] contracts
[codex:822082] exec
[codex:822082] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-2hz30adq succeeded in 6ms:
[codex:822082] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:822082] 
[codex:822082] ================================================================================
[codex:822082] FILE: contracts/Contract.sol
[codex:822082] ================================================================================
[codex:822082] // SPDX-License-Identifier: MIT
[codex:822082] 
[codex:822082] // libs/GNSPS/solidity-bytes-utils@0.8.0/contracts/BytesLib.sol
[codex:822082] 
[codex:822082] /*
[codex:822082]  * @title Solidity Bytes Arrays Utils
[codex:822082]  * @author Gonçalo Sá <goncalo.sa@consensys.net>
[codex:822082]  *
[codex:822082]  * @dev Bytes tightly packed arrays utility library for ethereum contracts written in Solidity.
[codex:822082]  *      The library lets you concatenate, slice and type cast bytes arrays both in memory and storage.
[codex:822082]  */
[codex:822082] 
[codex:822082] library BytesLib {
[codex:822082]     function concat(
[codex:822082]         bytes memory _preBytes,
[codex:822082] 
[codex:822082] thinking
[codex:822082] **Summarizing exploit analysis results**
[codex:822082] 
[codex:822082] I've carefully reviewed the RewardPool contract and its related libraries for any exploitable profit paths, considering access controls, reentrancy protections, reward calculations, and state updates. Everything points to solid defenses, and no concrete vulnerabilities were found that would allow unauthorized profit extraction. I'll generate a compliant JSON output reflecting no findings and a concise summary.
[codex:822082] codex
[codex:822082] {"no_findings":true,"summary":"No concrete exploitable profit path found in the bundled contracts.","findings":[]}
[codex:822082] tokens used
[codex:822082] 17,030
[codex:822082] {"no_findings":true,"summary":"No concrete exploitable profit path found in the bundled contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T06:14:41.087504+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploitable profit path found in the bundled contracts.",
    "raw_final": {
        "summary": "No concrete exploitable profit path found in the bundled contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0185
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5c975abb
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa217fddf
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd547741f
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd547741f
0000003a: EQ
0000003b: PUSH2 0x0491
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe43a4954
00000045: EQ
00000046: PUSH2 0x04b1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe63ab1e9
00000050: EQ
00000051: PUSH2 0x04c7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xec87621c
0000005b: EQ
0000005c: PUSH2 0x04e9
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa217fddf
0000006b: EQ
0000006c: PUSH2 0x0447
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xac9a5f56
00000076: EQ
00000077: PUSH2 0x045c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb8f932f6
00000081: EQ
00000082: PUSH2 0x047c
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x5c975abb
00000091: EQ
00000092: PUSH2 0x03a5
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x755d7dd3
0000009c: EQ
0000009d: PUSH2 0x03bd
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8129fc1c
000000a7: EQ
000000a8: PUSH2 0x03dd
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8456cb59
000000b2: EQ
000000b3: PUSH2 0x03f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x91d14854
000000bd: EQ
000000be: PUSH2 0x0407
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9a99b4f0
000000c8: EQ
000000c9: PUSH2 0x0427
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x2a17c7e5
000000d8: GT
000000d9: PUSH2 0x013e
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x36568abe
000000e3: GT
000000e4: PUSH2 0x0118
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x36568abe
000000ee: EQ
000000ef: PUSH2 0x033b
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x3f06cd66
000000f9: EQ
000000fa: PUSH2 0x035b
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x3f4ba83a
00000104: EQ
00000105: PUSH2 0x0370
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x4df9d6ba
0000010f: EQ
00000110: PUSH2 0x0385
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x2a17c7e5
0000011f: EQ
00000120: PUSH2 0x02e5
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x2f2ff15d
0000012a: EQ
0000012b: PUSH2 0x0305
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x33e5761f
00000135: EQ
00000136: PUSH2 0x0325
00000139: JUMPI
0000013a: PUSH1 0x00
0000013c: DUP1
0000013d: REVERT
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x01ffc9a7
00000145: EQ
00000146: PUSH2 0x0191
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x07e2cea5
00000150: EQ
00000151: PUSH2 0x01c6
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x092c5b3b
0000015b: EQ
0000015c: PUSH2 0x0208
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x1959a002
00000166: EQ
00000167: PUSH2 0x023c
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x1ac6d19d
00000171: EQ
00000172: PUSH2 0x0293
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x248a9ca3
0000017c: EQ
0000017d: PUSH2 0x02b5
00000180: JUMPI
00000181: PUSH1 0x00
00000183: DUP1
00000184: REVERT
00000185: JUMPDEST
00000186: CALLDATASIZE
00000187: PUSH2 0x018c
0000018a: JUMPI
0000018b: STOP
0000018c: JUMPDEST
0000018d: PUSH1 0x00
0000018f: DUP1
00000190: REVERT
00000191: JUMPDEST
00000192: CALLVALUE
00000193: DUP1
00000194: ISZERO
00000195: PUSH2 0x019d
00000198: JUMPI
00000199: PUSH1 0x00
0000019b: DUP1
0000019c: REVERT
0000019d: JUMPDEST
0000019e: POP
0000019f: PUSH2 0x01b1
000001a2: PUSH2 0x01ac
000001a5: CALLDATASIZE
000001a6: PUSH1 0x04
000001a8: PUSH2 0x16ae
000001ab: JUMP
000001ac: JUMPDEST
000001ad: PUSH2 0x051d
000001b0: JUMP
000001b1: JUMPDEST
000001b2: PUSH1 0x40
000001b4: MLOAD
000001b5: SWAP1
000001b6: ISZERO
000001b7: ISZERO
000001b8: DUP2
000001b9: MSTORE
000001ba: PUSH1 0x20
000001bc: ADD
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: DUP1
000001c2: SWAP2
000001c3: SUB
000001c4: SWAP1
000001c5: RETURN
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01fa
000001d7: PUSH32 0x68e79a7bf1e0bc45d0a330c573bc367f9cf464fd326078812f301165fbda4ef1
000001f8: DUP2
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: SWAP1
000001ff: DUP2
00000200: MSTORE
00000201: PUSH1 0x20
00000203: ADD
00000204: PUSH2 0x01bd
00000207: JUMP
00000208: JUMPDEST
00000209: CALLVALUE
0000020a: DUP1
0000020b: ISZERO
0000020c: PUSH2 0x0214
0000020f: JUMPI
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: POP
00000216: PUSH2 0x01fa
00000219: PUSH32 0x7b765e0e932d348852a6f810bfa1ab891e259123f02db8cdcde614c570223357
0000023a: DUP2
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: DUP1
0000023f: ISZERO
00000240: PUSH2 0x0248
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: POP
0000024a: PUSH2 0x0278
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x16f4
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0xff
0000025a: PUSH1 0x20
0000025c: MSTORE
0000025d: PUSH1 0x00
0000025f: SWAP1
00000260: DUP2
00000261: MSTORE
00000262: PUSH1 0x40
00000264: SWAP1
00000265: KECCAK256
00000266: DUP1
00000267: SLOAD
00000268: PUSH1 0x01
0000026a: DUP3
0000026b: ADD
0000026c: SLOAD
0000026d: PUSH1 0x02
0000026f: SWAP1
00000270: SWAP3
00000271: ADD
00000272: SLOAD
00000273: SWAP1
00000274: SWAP2
00000275: SWAP1
00000276: DUP4
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: DUP1
0000027c: MLOAD
0000027d: SWAP4
0000027e: DUP5
0000027f: MSTORE
00000280: PUSH1 0x20
00000282: DUP5
00000283: ADD
00000284: SWAP3
00000285: SWAP1
00000286: SWAP3
00000287: MSTORE
00000288: SWAP1
00000289: DUP3
0000028a: ADD
0000028b: MSTORE
0000028c: PUSH1 0x60
0000028e: ADD
0000028f: PUSH2 0x01bd
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02b3
000002a4: PUSH2 0x02ae
000002a7: CALLDATASIZE
000002a8: PUSH1 0x04
000002aa: PUSH2 0x16f4
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH2 0x0554
000002b2: JUMP
000002b3: JUMPDEST
000002b4: STOP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH2 0x01fa
000002c6: PUSH2 0x02d0
000002c9: CALLDATASIZE
000002ca: PUSH1 0x04
000002cc: PUSH2 0x170f
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x00
000002d3: SWAP1
000002d4: DUP2
000002d5: MSTORE
000002d6: PUSH1 0x97
000002d8: PUSH1 0x20
000002da: MSTORE
000002db: PUSH1 0x40
000002dd: SWAP1
000002de: KECCAK256
000002df: PUSH1 0x01
000002e1: ADD
000002e2: SLOAD
000002e3: SWAP1
000002e4: JUMP
000002e5: JUMPDEST
000002e6: CALLVALUE
000002e7: DUP1
000002e8: ISZERO
000002e9: PUSH2 0x02f1
000002ec: JUMPI
000002ed: PUSH1 0x00
000002ef: DUP1
000002f0: REVERT
000002f1: JUMPDEST
000002f2: POP
000002f3: PUSH2 0x02b3
000002f6: PUSH2 0x0300
000002f9: CALLDATASIZE
000002fa: PUSH1 0x04
000002fc: PUSH2 0x1774
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x067e
00000304: JUMP
00000305: JUMPDEST
00000306: CALLVALUE
00000307: DUP1
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH2 0x02b3
00000316: PUSH2 0x0320
00000319: CALLDATASIZE
0000031a: PUSH1 0x04
0000031c: PUSH2 0x17e0
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x0949
00000324: JUMP
00000325: JUMPDEST
00000326: CALLVALUE
00000327: DUP1
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: POP
00000333: PUSH2 0x0100
00000336: SLOAD
00000337: PUSH2 0x01fa
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x02b3
0000034c: PUSH2 0x0356
0000034f: CALLDATASIZE
00000350: PUSH1 0x04
00000352: PUSH2 0x17e0
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x0973
0000035a: JUMP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: DUP1
0000035e: ISZERO
0000035f: PUSH2 0x0367
00000362: JUMPI
00000363: PUSH1 0x00
00000365: DUP1
00000366: REVERT
00000367: JUMPDEST
00000368: POP
00000369: PUSH1 0xfd
0000036b: SLOAD
0000036c: PUSH2 0x01fa
0000036f: JUMP
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x02b3
00000381: PUSH2 0x09f1
00000384: JUMP
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH2 0x01fa
00000396: PUSH2 0x03a0
00000399: CALLDATASIZE
0000039a: PUSH1 0x04
0000039c: PUSH2 0x16f4
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH2 0x0a11
000003a4: JUMP
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH1 0x33
000003b5: SLOAD
000003b6: PUSH1 0xff
000003b8: AND
000003b9: PUSH2 0x01b1
000003bc: JUMP
000003bd: JUMPDEST
000003be: CALLVALUE
000003bf: DUP1
000003c0: ISZERO
000003c1: PUSH2 0x03c9
000003c4: JUMPI
000003c5: PUSH1 0x00
000003c7: DUP1
000003c8: REVERT
000003c9: JUMPDEST
000003ca: POP
000003cb: PUSH2 0x02b3
000003ce: PUSH2 0x03d8
000003d1: CALLDATASIZE
000003d2: PUSH1 0x04
000003d4: PUSH2 0x170f
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH2 0x0a82
000003dc: JUMP
000003dd: JUMPDEST
000003de: CALLVALUE
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: POP
000003eb: PUSH2 0x02b3
000003ee: PUSH2 0x0b10
000003f1: JUMP
000003f2: JUMPDEST
000003f3: CALLVALUE
000003f4: DUP1
000003f5: ISZERO
000003f6: PUSH2 0x03fe
000003f9: JUMPI
000003fa: PUSH1 0x00
000003fc: DUP1
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH2 0x02b3
00000403: PUSH2 0x0cac
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x01b1
00000418: PUSH2 0x0422
0000041b: CALLDATASIZE
0000041c: PUSH1 0x04
0000041e: PUSH2 0x17e0
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH2 0x0ccc
00000426: JUMP
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x02b3
00000438: PUSH2 0x0442
0000043b: CALLDATASIZE
0000043c: PUSH1 0x04
0000043e: PUSH2 0x180c
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH2 0x0cf7
00000446: JUMP
00000447: JUMPDEST
00000448: CALLVALUE
00000449: DUP1
0000044a: ISZERO
0000044b: PUSH2 0x0453
0000044e: JUMPI
0000044f: PUSH1 0x00
00000451: DUP1
00000452: REVERT
00000453: JUMPDEST
00000454: POP
00000455: PUSH2 0x01fa
00000458: PUSH1 0x00
0000045a: DUP2
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x02b3
0000046d: PUSH2 0x0477
00000470: CALLDATASIZE
00000471: PUSH1 0x04
00000473: PUSH2 0x17e0
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH2 0x0e33
0000047b: JUMP
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH1 0xfc
0000048c: SLOAD
0000048d: PUSH2 0x01fa
00000490: JUMP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: DUP1
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: POP
0000049f: PUSH2 0x02b3
000004a2: PUSH2 0x04ac
000004a5: CALLDATASIZE
000004a6: PUSH1 0x04
000004a8: PUSH2 0x17e0
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH2 0x0f33
000004b0: JUMP
000004b1: JUMPDEST
000004b2: CALLVALUE
000004b3: DUP1
000004b4: ISZERO
000004b5: PUSH2 0x04bd
000004b8: JUMPI
000004b9: PUSH1 0x00
000004bb: DUP1
000004bc: REVERT
000004bd: JUMPDEST
000004be: POP
000004bf: PUSH2 0x01fa
000004c2: PUSH1 0xfb
000004c4: SLOAD
000004c5: DUP2
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x01fa
000004d8: PUSH1 0x00
000004da: DUP1
000004db: MLOAD
000004dc: PUSH1 0x20
000004de: PUSH2 0x1ade
000004e1: DUP4
000004e2: CODECOPY
000004e3: DUP2
000004e4: MLOAD
000004e5: SWAP2
000004e6: MSTORE
000004e7: DUP2
000004e8: JUMP
000004e9: JUMPDEST
000004ea: CALLVALUE
000004eb: DUP1
000004ec: ISZERO
000004ed: PUSH2 0x04f5
000004f0: JUMPI
000004f1: PUSH1 0x00
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH2 0x01fa
000004fa: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
0000051b: DUP2
0000051c: JUMP
0000051d: JUMPDEST
0000051e: PUSH1 0x00
00000520: PUSH1 0x01
00000522: PUSH1 0x01
00000524: PUSH1 0xe0
00000526: SHL
00000527: SUB
00000528: NOT
00000529: DUP3
0000052a: AND
0000052b: PUSH4 0x7965db0b
00000530: PUSH1 0xe0
00000532: SHL
00000533: EQ
00000534: DUP1
00000535: PUSH2 0x054e
00000538: JUMPI
00000539: POP
0000053a: PUSH4 0x01ffc9a7
0000053f: PUSH1 0xe0
00000541: SHL
00000542: PUSH1 0x01
00000544: PUSH1 0x01
00000546: PUSH1 0xe0
00000548: SHL
00000549: SUB
0000054a: NOT
0000054b: DUP4
0000054c: AND
0000054d: EQ
0000054e: JUMPDEST
0000054f: SWAP3
00000550: SWAP2
00000551: POP
00000552: POP
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH2 0x055c
00000558: PUSH2 0x0f58
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH2 0x0564
00000560: PUSH2 0x0fb2
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH32 0x7b765e0e932d348852a6f810bfa1ab891e259123f02db8cdcde614c570223357
00000586: PUSH2 0x058e
00000589: DUP2
0000058a: PUSH2 0x0ffa
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH1 0x01
00000591: PUSH1 0x01
00000593: PUSH1 0xa0
00000595: SHL
00000596: SUB
00000597: DUP3
00000598: AND
00000599: PUSH1 0x00
0000059b: SWAP1
0000059c: DUP2
0000059d: MSTORE
0000059e: PUSH1 0xff
000005a0: PUSH1 0x20
000005a2: MSTORE
000005a3: PUSH1 0x40
000005a5: SWAP1
000005a6: KECCAK256
000005a7: PUSH1 0x01
000005a9: DUP2
000005aa: ADD
000005ab: SLOAD
000005ac: DUP2
000005ad: SLOAD
000005ae: PUSH1 0xfe
000005b0: SLOAD
000005b1: PUSH8 0x0de0b6b3a7640000
000005ba: SWAP3
000005bb: SWAP2
000005bc: PUSH2 0x05c4
000005bf: SWAP2
000005c0: PUSH2 0x184c
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH2 0x05ce
000005c8: SWAP2
000005c9: SWAP1
000005ca: PUSH2 0x1863
000005cd: JUMP
000005ce: JUMPDEST
000005cf: PUSH2 0x05d8
000005d2: SWAP2
000005d3: SWAP1
000005d4: PUSH2 0x1882
000005d7: JUMP
000005d8: JUMPDEST
000005d9: DUP2
000005da: PUSH1 0x02
000005dc: ADD
000005dd: PUSH1 0x00
000005df: DUP3
000005e0: DUP3
000005e1: SLOAD
000005e2: PUSH2 0x05eb
000005e5: SWAP2
000005e6: SWAP1
000005e7: PUSH2 0x18a4
000005ea: JUMP
000005eb: JUMPDEST
000005ec: SWAP1
000005ed: SWAP2
000005ee: SSTORE
000005ef: POP
000005f0: POP
000005f1: PUSH1 0xfe
000005f3: SLOAD
000005f4: DUP2
000005f5: SSTORE
000005f6: PUSH1 0x02
000005f8: DUP2
000005f9: ADD
000005fa: DUP1
000005fb: SLOAD
000005fc: SWAP1
000005fd: DUP2
000005fe: SWAP1
000005ff: PUSH1 0x00
00000601: PUSH2 0x060a
00000604: DUP4
00000605: DUP1
00000606: PUSH2 0x184c
00000609: JUMP
0000060a: JUMPDEST
0000060b: SWAP1
0000060c: SWAP2
0000060d: SSTORE
0000060e: POP
0000060f: PUSH2 0x0619
00000612: SWAP1
00000613: POP
00000614: DUP2
00000615: PUSH2 0x1004
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x062c
0000061d: PUSH1 0x01
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: SHL
00000624: SUB
00000625: DUP6
00000626: AND
00000627: DUP3
00000628: PUSH2 0x101f
0000062b: JUMP
0000062c: JUMPDEST
0000062d: PUSH1 0x40
0000062f: DUP1
00000630: MLOAD
00000631: PUSH1 0x01
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: SHL
00000638: SUB
00000639: DUP7
0000063a: AND
0000063b: DUP2
0000063c: MSTORE
0000063d: PUSH1 0x20
0000063f: DUP2
00000640: ADD
00000641: DUP4
00000642: SWAP1
00000643: MSTORE
00000644: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
00000665: SWAP2
00000666: ADD
00000667: PUSH1 0x40
00000669: MLOAD
0000066a: DUP1
0000066b: SWAP2
0000066c: SUB
0000066d: SWAP1
0000066e: LOG1
0000066f: POP
00000670: POP
00000671: POP
00000672: PUSH2 0x067b
00000675: PUSH1 0x01
00000677: PUSH1 0xc9
00000679: SSTORE
0000067a: JUMP
0000067b: JUMPDEST
0000067c: POP
0000067d: JUMP
0000067e: JUMPDEST
0000067f: PUSH32 0x68e79a7bf1e0bc45d0a330c573bc367f9cf464fd326078812f301165fbda4ef1
000006a0: PUSH2 0x06a8
000006a3: DUP2
000006a4: PUSH2 0x0ffa
000006a7: JUMP
000006a8: JUMPDEST
000006a9: DUP4
000006aa: DUP3
000006ab: EQ
000006ac: PUSH2 0x06e5
000006af: JUMPI
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: PUSH3 0x461bcd
000006b7: PUSH1 0xe5
000006b9: SHL
000006ba: DUP2
000006bb: MSTORE
000006bc: PUSH1 0x20
000006be: PUSH1 0x04
000006c0: DUP3
000006c1: ADD
000006c2: MSTORE
000006c3: PUSH1 0x06
000006c5: PUSH1 0x24
000006c7: DUP3
000006c8: ADD
000006c9: MSTORE
000006ca: PUSH6 0x1554d48c0c0d
000006d1: PUSH1 0xd2
000006d3: SHL
000006d4: PUSH1 0x44
000006d6: DUP3
000006d7: ADD
000006d8: MSTORE
000006d9: PUSH1 0x64
000006db: ADD
000006dc: JUMPDEST
000006dd: PUSH1 0x40
000006df: MLOAD
000006e0: DUP1
000006e1: SWAP2
000006e2: SUB
000006e3: SWAP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: PUSH2 0x06ed
000006e9: PUSH2 0x113f
000006ec: JUMP
000006ed: JUMPDEST
000006ee: DUP4
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH2 0x0942
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x00
000006fa: JUMPDEST
000006fb: DUP5
000006fc: DUP2
000006fd: LT
000006fe: ISZERO
000006ff: PUSH2 0x0903
00000702: JUMPI
00000703: PUSH1 0x00
00000705: DUP7
00000706: DUP7
00000707: DUP4
00000708: DUP2
00000709: DUP2
0000070a: LT
0000070b: PUSH2 0x0716
0000070e: JUMPI
0000070f: PUSH2 0x0716
00000712: PUSH2 0x18bc
00000715: JUMP
00000716: JUMPDEST
00000717: SWAP1
00000718: POP
00000719: PUSH1 0x20
0000071b: MUL
0000071c: ADD
0000071d: PUSH1 0x20
0000071f: DUP2
00000720: ADD
00000721: SWAP1
00000722: PUSH2 0x072b
00000725: SWAP2
00000726: SWAP1
00000727: PUSH2 0x16f4
0000072a: JUMP
0000072b: JUMPDEST
0000072c: SWAP1
0000072d: POP
0000072e: PUSH1 0x00
00000730: DUP6
00000731: DUP6
00000732: DUP5
00000733: DUP2
00000734: DUP2
00000735: LT
00000736: PUSH2 0x0741
00000739: JUMPI
0000073a: PUSH2 0x0741
0000073d: PUSH2 0x18bc
00000740: JUMP
00000741: JUMPDEST
00000742: SWAP1
00000743: POP
00000744: PUSH1 0x20
00000746: MUL
00000747: ADD
00000748: CALLDATALOAD
00000749: SWAP1
0000074a: POP
0000074b: PUSH1 0x00
0000074d: DUP2
0000074e: SGT
0000074f: ISZERO
00000750: PUSH2 0x07f6
00000753: JUMPI
00000754: PUSH1 0x01
00000756: PUSH1 0x01
00000758: PUSH1 0xa0
0000075a: SHL
0000075b: SUB
0000075c: DUP3
0000075d: AND
0000075e: PUSH1 0x00
00000760: SWAP1
00000761: DUP2
00000762: MSTORE
00000763: PUSH1 0xff
00000765: PUSH1 0x20
00000767: MSTORE
00000768: PUSH1 0x40
0000076a: SWAP1
0000076b: KECCAK256
0000076c: PUSH1 0x01
0000076e: DUP2
0000076f: ADD
00000770: SLOAD
00000771: DUP2
00000772: SLOAD
00000773: PUSH1 0xfe
00000775: SLOAD
00000776: PUSH8 0x0de0b6b3a7640000
0000077f: SWAP3
00000780: SWAP2
00000781: PUSH2 0x0789
00000784: SWAP2
00000785: PUSH2 0x184c
00000788: JUMP
00000789: JUMPDEST
0000078a: PUSH2 0x0793
0000078d: SWAP2
0000078e: SWAP1
0000078f: PUSH2 0x1863
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH2 0x079d
00000797: SWAP2
00000798: SWAP1
00000799: PUSH2 0x1882
0000079c: JUMP
0000079d: JUMPDEST
0000079e: DUP2
0000079f: PUSH1 0x02
000007a1: ADD
000007a2: PUSH1 0x00
000007a4: DUP3
000007a5: DUP3
000007a6: SLOAD
000007a7: PUSH2 0x07b0
000007aa: SWAP2
000007ab: SWAP1
000007ac: PUSH2 0x18a4
000007af: JUMP
000007b0: JUMPDEST
000007b1: SWAP3
000007b2: POP
000007b3: POP
000007b4: DUP2
000007b5: SWAP1
000007b6: SSTORE
000007b7: POP
000007b8: DUP2
000007b9: DUP2
000007ba: PUSH1 0x01
000007bc: ADD
000007bd: PUSH1 0x00
000007bf: DUP3
000007c0: DUP3
000007c1: SLOAD
000007c2: PUSH2 0x07cb
000007c5: SWAP2
000007c6: SWAP1
000007c7: PUSH2 0x18a4
000007ca: JUMP
000007cb: JUMPDEST
000007cc: SWAP1
000007cd: SWAP2
000007ce: SSTORE
000007cf: POP
000007d0: POP
000007d1: PUSH1 0xfe
000007d3: SLOAD
000007d4: DUP2
000007d5: SSTORE
000007d6: PUSH1 0xfd
000007d8: DUP1
000007d9: SLOAD
000007da: DUP4
000007db: SWAP2
000007dc: SWAP1
000007dd: PUSH1 0x00
000007df: SWAP1
000007e0: PUSH2 0x07ea
000007e3: SWAP1
000007e4: DUP5
000007e5: SWAP1
000007e6: PUSH2 0x18a4
000007e9: JUMP
000007ea: JUMPDEST
000007eb: SWAP1
000007ec: SWAP2
000007ed: SSTORE
000007ee: POP
000007ef: PUSH2 0x08ee
000007f2: SWAP2
000007f3: POP
000007f4: POP
000007f5: JUMP
000007f6: JUMPDEST
000007f7: PUSH1 0x00
000007f9: DUP2
000007fa: SLT
000007fb: ISZERO
000007fc: PUSH2 0x08ee
000007ff: JUMPI
00000800: PUSH1 0x01
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: SHL
00000807: SUB
00000808: DUP3
00000809: AND
0000080a: PUSH1 0x00
0000080c: SWAP1
0000080d: DUP2
0000080e: MSTORE
0000080f: PUSH1 0xff
00000811: PUSH1 0x20
00000813: MSTORE
00000814: PUSH1 0x40
00000816: SWAP1
00000817: KECCAK256
00000818: PUSH2 0x0820
0000081b: DUP3
0000081c: PUSH2 0x18d2
0000081f: JUMP
00000820: JUMPDEST
00000821: DUP2
00000822: PUSH1 0x01
00000824: ADD
00000825: SLOAD
00000826: LT
00000827: ISZERO
00000828: PUSH2 0x085c
0000082b: JUMPI
0000082c: PUSH1 0x40
0000082e: MLOAD
0000082f: PUSH3 0x461bcd
00000833: PUSH1 0xe5
00000835: SHL
00000836: DUP2
00000837: MSTORE
00000838: PUSH1 0x20
0000083a: PUSH1 0x04
0000083c: DUP3
0000083d: ADD
0000083e: MSTORE
0000083f: PUSH1 0x06
00000841: PUSH1 0x24
00000843: DUP3
00000844: ADD
00000845: MSTORE
00000846: PUSH6 0x555352303133
0000084d: PUSH1 0xd0
0000084f: SHL
00000850: PUSH1 0x44
00000852: DUP3
00000853: ADD
00000854: MSTORE
00000855: PUSH1 0x64
00000857: ADD
00000858: PUSH2 0x06dc
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH1 0x01
0000085f: DUP2
00000860: ADD
00000861: SLOAD
00000862: DUP2
00000863: SLOAD
00000864: PUSH1 0xfe
00000866: SLOAD
00000867: PUSH8 0x0de0b6b3a7640000
00000870: SWAP3
00000871: SWAP2
00000872: PUSH2 0x087a
00000875: SWAP2
00000876: PUSH2 0x184c
00000879: JUMP
0000087a: JUMPDEST
0000087b: PUSH2 0x0884
0000087e: SWAP2
0000087f: SWAP1
00000880: PUSH2 0x1863
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH2 0x088e
00000888: SWAP2
00000889: SWAP1
0000088a: PUSH2 0x1882
0000088d: JUMP
0000088e: JUMPDEST
0000088f: DUP2
00000890: PUSH1 0x02
00000892: ADD
00000893: PUSH1 0x00
00000895: DUP3
00000896: DUP3
00000897: SLOAD
00000898: PUSH2 0x08a1
0000089b: SWAP2
0000089c: SWAP1
0000089d: PUSH2 0x18a4
000008a0: JUMP
000008a1: JUMPDEST
000008a2: SWAP1
000008a3: SWAP2
000008a4: SSTORE
000008a5: POP
000008a6: PUSH2 0x08b0
000008a9: SWAP1
000008aa: POP
000008ab: DUP3
000008ac: PUSH2 0x18d2
000008af: JUMP
000008b0: JUMPDEST
000008b1: DUP2
000008b2: PUSH1 0x01
000008b4: ADD
000008b5: PUSH1 0x00
000008b7: DUP3
000008b8: DUP3
000008b9: SLOAD
000008ba: PUSH2 0x08c3
000008bd: SWAP2
000008be: SWAP1
000008bf: PUSH2 0x184c
000008c2: JUMP
000008c3: JUMPDEST
000008c4: SWAP1
000008c5: SWAP2
000008c6: SSTORE
000008c7: POP
000008c8: POP
000008c9: PUSH1 0xfe
000008cb: SLOAD
000008cc: DUP2
000008cd: SSTORE
000008ce: PUSH2 0x08d6
000008d1: DUP3
000008d2: PUSH2 0x18d2
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0xfd
000008d9: PUSH1 0x00
000008db: DUP3
000008dc: DUP3
000008dd: SLOAD
000008de: PUSH2 0x08e7
000008e1: SWAP2
000008e2: SWAP1
000008e3: PUSH2 0x184c
000008e6: JUMP
000008e7: JUMPDEST
000008e8: SWAP1
000008e9: SWAP2
000008ea: SSTORE
000008eb: POP
000008ec: POP
000008ed: POP
000008ee: JUMPDEST
000008ef: POP
000008f0: POP
000008f1: DUP1
000008f2: DUP1
000008f3: PUSH2 0x08fb
000008f6: SWAP1
000008f7: PUSH2 0x18ef
000008fa: JUMP
000008fb: JUMPDEST
000008fc: SWAP2
000008fd: POP
000008fe: POP
000008ff: PUSH2 0x06fa
00000902: JUMP
00000903: JUMPDEST
00000904: POP
00000905: PUSH32 0x2d12baed952e32deda21166272a112c0347541bb1ba77c3d58389be6ec3bfcff
00000926: DUP6
00000927: DUP6
00000928: DUP6
00000929: DUP6
0000092a: PUSH1 0x40
0000092c: MLOAD
0000092d: PUSH2 0x0939
00000930: SWAP5
00000931: SWAP4
00000932: SWAP3
00000933: SWAP2
00000934: SWAP1
00000935: PUSH2 0x190a
00000938: JUMP
00000939: JUMPDEST
0000093a: PUSH1 0x40
0000093c: MLOAD
0000093d: DUP1
0000093e: SWAP2
0000093f: SUB
00000940: SWAP1
00000941: LOG1
00000942: JUMPDEST
00000943: POP
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: JUMP
00000949: JUMPDEST
0000094a: PUSH1 0x00
0000094c: DUP3
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x97
00000951: PUSH1 0x20
00000953: MSTORE
00000954: PUSH1 0x40
00000956: SWAP1
00000957: KECCAK256
00000958: PUSH1 0x01
0000095a: ADD
0000095b: SLOAD
0000095c: PUSH2 0x0964
0000095f: DUP2
00000960: PUSH2 0x0ffa
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH2 0x096e
00000968: DUP4
00000969: DUP4
0000096a: PUSH2 0x11bf
0000096d: JUMP
0000096e: JUMPDEST
0000096f: POP
00000970: POP
00000971: POP
00000972: JUMP
00000973: JUMPDEST
00000974: PUSH1 0x01
00000976: PUSH1 0x01
00000978: PUSH1 0xa0
0000097a: SHL
0000097b: SUB
0000097c: DUP2
0000097d: AND
0000097e: CALLER
0000097f: EQ
00000980: PUSH2 0x09e3
00000983: JUMPI
00000984: PUSH1 0x40
00000986: MLOAD
00000987: PUSH3 0x461bcd
0000098b: PUSH1 0xe5
0000098d: SHL
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x20
00000992: PUSH1 0x04
00000994: DUP3
00000995: ADD
00000996: MSTORE
00000997: PUSH1 0x2f
00000999: PUSH1 0x24
0000099b: DUP3
0000099c: ADD
0000099d: MSTORE
0000099e: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
000009bf: PUSH1 0x44
000009c1: DUP3
000009c2: ADD
000009c3: MSTORE
000009c4: PUSH15 0x103937b632b9903337b91039b2b633
000009d4: PUSH1 0x89
000009d6: SHL
000009d7: PUSH1 0x64
000009d9: DUP3
000009da: ADD
000009db: MSTORE
000009dc: PUSH1 0x84
000009de: ADD
000009df: PUSH2 0x06dc
000009e2: JUMP
000009e3: JUMPDEST
000009e4: PUSH2 0x09ed
000009e7: DUP3
000009e8: DUP3
000009e9: PUSH2 0x1245
000009ec: JUMP
000009ed: JUMPDEST
000009ee: POP
000009ef: POP
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH1 0x00
000009f4: DUP1
000009f5: MLOAD
000009f6: PUSH1 0x20
000009f8: PUSH2 0x1ade
000009fb: DUP4
000009fc: CODECOPY
000009fd: DUP2
000009fe: MLOAD
000009ff: SWAP2
00000a00: MSTORE
00000a01: PUSH2 0x0a09
00000a04: DUP2
00000a05: PUSH2 0x0ffa
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH2 0x067b
00000a0d: PUSH2 0x12ac
00000a10: JUMP
00000a11: JUMPDEST
00000a12: PUSH1 0x01
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: SHL
00000a19: SUB
00000a1a: DUP2
00000a1b: AND
00000a1c: PUSH1 0x00
00000a1e: SWAP1
00000a1f: DUP2
00000a20: MSTORE
00000a21: PUSH1 0xff
00000a23: PUSH1 0x20
00000a25: MSTORE
00000a26: PUSH1 0x40
00000a28: DUP2
00000a29: KECCAK256
00000a2a: PUSH1 0xfd
00000a2c: SLOAD
00000a2d: PUSH2 0x0a3a
00000a30: JUMPI
00000a31: PUSH1 0x02
00000a33: ADD
00000a34: SLOAD
00000a35: SWAP3
00000a36: SWAP2
00000a37: POP
00000a38: POP
00000a39: JUMP
00000a3a: JUMPDEST
00000a3b: PUSH1 0x01
00000a3d: DUP2
00000a3e: ADD
00000a3f: SLOAD
00000a40: DUP2
00000a41: SLOAD
00000a42: PUSH1 0xfe
00000a44: SLOAD
00000a45: PUSH8 0x0de0b6b3a7640000
00000a4e: SWAP3
00000a4f: SWAP2
00000a50: PUSH2 0x0a58
00000a53: SWAP2
00000a54: PUSH2 0x184c
00000a57: JUMP
00000a58: JUMPDEST
00000a59: PUSH2 0x0a62
00000a5c: SWAP2
00000a5d: SWAP1
00000a5e: PUSH2 0x1863
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH2 0x0a6c
00000a66: SWAP2
00000a67: SWAP1
00000a68: PUSH2 0x1882
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: DUP2
00000a6e: PUSH1 0x02
00000a70: ADD
00000a71: SLOAD
00000a72: PUSH2 0x0a7b
00000a75: SWAP2
00000a76: SWAP1
00000a77: PUSH2 0x18a4
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: SWAP4
00000a7d: SWAP3
00000a7e: POP
00000a7f: POP
00000a80: POP
00000a81: JUMP
00000a82: JUMPDEST
00000a83: PUSH1 0x00
00000a85: PUSH2 0x0a8d
00000a88: DUP2
00000a89: PUSH2 0x0ffa
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: PUSH2 0x03e8
00000a91: DUP3
00000a92: GT
00000a93: ISZERO
00000a94: PUSH2 0x0ad4
00000a97: JUMPI
00000a98: PUSH1 0x40
00000a9a: MLOAD
00000a9b: PUSH3 0x461bcd
00000a9f: PUSH1 0xe5
00000aa1: SHL
00000aa2: DUP2
00000aa3: MSTORE
00000aa4: PUSH1 0x20
00000aa6: PUSH1 0x04
00000aa8: DUP3
00000aa9: ADD
00000aaa: MSTORE
00000aab: PUSH1 0x12
00000aad: PUSH1 0x24
00000aaf: DUP3
00000ab0: ADD
00000ab1: MSTORE
00000ab2: PUSH18 0x53484152455f4f55545f4f465f52414e4745
00000ac5: PUSH1 0x70
00000ac7: SHL
00000ac8: PUSH1 0x44
00000aca: DUP3
00000acb: ADD
00000acc: MSTORE
00000acd: PUSH1 0x64
00000acf: ADD
00000ad0: PUSH2 0x06dc
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: PUSH1 0xfb
00000ad7: DUP3
00000ad8: SWAP1
00000ad9: SSTORE
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP3
00000ade: DUP2
00000adf: MSTORE
00000ae0: PUSH32 0x4de90ec86e1bc56c192e2399bacbd10bdaba720caca606354d66c5cb33d6802b
00000b01: SWAP1
00000b02: PUSH1 0x20
00000b04: ADD
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: DUP1
00000b09: SWAP2
00000b0a: SUB
00000b0b: SWAP1
00000b0c: LOG1
00000b0d: POP
00000b0e: POP
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: PUSH1 0x00
00000b13: SLOAD
00000b14: PUSH2 0x0100
00000b17: SWAP1
00000b18: DIV
00000b19: PUSH1 0xff
00000b1b: AND
00000b1c: ISZERO
00000b1d: DUP1
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x0b30
00000b23: JUMPI
00000b24: POP
00000b25: PUSH1 0x00
00000b27: SLOAD
00000b28: PUSH1 0x01
00000b2a: PUSH1 0xff
00000b2c: SWAP1
00000b2d: SWAP2
00000b2e: AND
00000b2f: LT
00000b30: JUMPDEST
00000b31: DUP1
00000b32: PUSH2 0x0b4a
00000b35: JUMPI
00000b36: POP
00000b37: ADDRESS
00000b38: EXTCODESIZE
00000b39: ISZERO
00000b3a: DUP1
00000b3b: ISZERO
00000b3c: PUSH2 0x0b4a
00000b3f: JUMPI
00000b40: POP
00000b41: PUSH1 0x00
00000b43: SLOAD
00000b44: PUSH1 0xff
00000b46: AND
00000b47: PUSH1 0x01
00000b49: EQ
00000b4a: JUMPDEST
00000b4b: PUSH2 0x0bad
00000b4e: JUMPI
00000b4f: PUSH1 0x40
00000b51: MLOAD
00000b52: PUSH3 0x461bcd
00000b56: PUSH1 0xe5
00000b58: SHL
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: PUSH1 0x04
00000b5f: DUP3
00000b60: ADD
00000b61: MSTORE
00000b62: PUSH1 0x2e
00000b64: PUSH1 0x24
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000b8a: PUSH1 0x44
00000b8c: DUP3
00000b8d: ADD
00000b8e: MSTORE
00000b8f: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00000b9e: PUSH1 0x92
00000ba0: SHL
00000ba1: PUSH1 0x64
00000ba3: DUP3
00000ba4: ADD
00000ba5: MSTORE
00000ba6: PUSH1 0x84
00000ba8: ADD
00000ba9: PUSH2 0x06dc
00000bac: JUMP
00000bad: JUMPDEST
00000bae: PUSH1 0x00
00000bb0: DUP1
00000bb1: SLOAD
00000bb2: PUSH1 0xff
00000bb4: NOT
00000bb5: AND
00000bb6: PUSH1 0x01
00000bb8: OR
00000bb9: SWAP1
00000bba: SSTORE
00000bbb: DUP1
00000bbc: ISZERO
00000bbd: PUSH2 0x0bd0
00000bc0: JUMPI
00000bc1: PUSH1 0x00
00000bc3: DUP1
00000bc4: SLOAD
00000bc5: PUSH2 0xff00
00000bc8: NOT
00000bc9: AND
00000bca: PUSH2 0x0100
00000bcd: OR
00000bce: SWAP1
00000bcf: SSTORE
00000bd0: JUMPDEST
00000bd1: PUSH2 0x0bd8
00000bd4: PUSH2 0x12fe
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: PUSH2 0x0be0
00000bdc: PUSH2 0x132d
00000bdf: JUMP
00000be0: JUMPDEST
00000be1: PUSH2 0x0be8
00000be4: PUSH2 0x1354
00000be7: JUMP
00000be8: JUMPDEST
00000be9: PUSH1 0xc8
00000beb: PUSH1 0xfb
00000bed: SSTORE
00000bee: PUSH2 0x0bf8
00000bf1: PUSH1 0x00
00000bf3: CALLER
00000bf4: PUSH2 0x11bf
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH2 0x0c22
00000bfc: PUSH32 0x7b765e0e932d348852a6f810bfa1ab891e259123f02db8cdcde614c570223357
00000c1d: CALLER
00000c1e: PUSH2 0x11bf
00000c21: JUMP
00000c22: JUMPDEST
00000c23: PUSH2 0x0c3a
00000c26: PUSH1 0x00
00000c28: DUP1
00000c29: MLOAD
00000c2a: PUSH1 0x20
00000c2c: PUSH2 0x1ade
00000c2f: DUP4
00000c30: CODECOPY
00000c31: DUP2
00000c32: MLOAD
00000c33: SWAP2
00000c34: MSTORE
00000c35: CALLER
00000c36: PUSH2 0x11bf
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH2 0x0c64
00000c3e: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
00000c5f: CALLER
00000c60: PUSH2 0x11bf
00000c63: JUMP
00000c64: JUMPDEST
00000c65: DUP1
00000c66: ISZERO
00000c67: PUSH2 0x067b
00000c6a: JUMPI
00000c6b: PUSH1 0x00
00000c6d: DUP1
00000c6e: SLOAD
00000c6f: PUSH2 0xff00
00000c72: NOT
00000c73: AND
00000c74: SWAP1
00000c75: SSTORE
00000c76: PUSH1 0x40
00000c78: MLOAD
00000c79: PUSH1 0x01
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000c9e: SWAP1
00000c9f: PUSH1 0x20
00000ca1: ADD
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: DUP1
00000ca6: SWAP2
00000ca7: SUB
00000ca8: SWAP1
00000ca9: LOG1
00000caa: POP
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH1 0x00
00000caf: DUP1
00000cb0: MLOAD
00000cb1: PUSH1 0x20
00000cb3: PUSH2 0x1ade
00000cb6: DUP4
00000cb7: CODECOPY
00000cb8: DUP2
00000cb9: MLOAD
00000cba: SWAP2
00000cbb: MSTORE
00000cbc: PUSH2 0x0cc4
00000cbf: DUP2
00000cc0: PUSH2 0x0ffa
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: PUSH2 0x067b
00000cc8: PUSH2 0x1383
00000ccb: JUMP
00000ccc: JUMPDEST
00000ccd: PUSH1 0x00
00000ccf: SWAP2
00000cd0: DUP3
00000cd1: MSTORE
00000cd2: PUSH1 0x97
00000cd4: PUSH1 0x20
00000cd6: SWAP1
00000cd7: DUP2
00000cd8: MSTORE
00000cd9: PUSH1 0x40
00000cdb: DUP1
00000cdc: DUP5
00000cdd: KECCAK256
00000cde: PUSH1 0x01
00000ce0: PUSH1 0x01
00000ce2: PUSH1 0xa0
00000ce4: SHL
00000ce5: SUB
00000ce6: SWAP4
00000ce7: SWAP1
00000ce8: SWAP4
00000ce9: AND
00000cea: DUP5
00000ceb: MSTORE
00000cec: SWAP2
00000ced: SWAP1
00000cee: MSTORE
00000cef: SWAP1
00000cf0: KECCAK256
00000cf1: SLOAD
00000cf2: PUSH1 0xff
00000cf4: AND
00000cf5: SWAP1
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH2 0x0cff
00000cfb: PUSH2 0x0f58
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH2 0x0d07
00000d03: PUSH2 0x0fb2
00000d06: JUMP
00000d07: JUMPDEST
00000d08: CALLER
00000d09: PUSH1 0x00
00000d0b: SWAP1
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0xff
00000d10: PUSH1 0x20
00000d12: MSTORE
00000d13: PUSH1 0x40
00000d15: SWAP1
00000d16: KECCAK256
00000d17: PUSH1 0x01
00000d19: DUP2
00000d1a: ADD
00000d1b: SLOAD
00000d1c: DUP2
00000d1d: SLOAD
00000d1e: PUSH1 0xfe
00000d20: SLOAD
00000d21: PUSH8 0x0de0b6b3a7640000
00000d2a: SWAP3
00000d2b: SWAP2
00000d2c: PUSH2 0x0d34
00000d2f: SWAP2
00000d30: PUSH2 0x184c
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH2 0x0d3e
00000d38: SWAP2
00000d39: SWAP1
00000d3a: PUSH2 0x1863
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH2 0x0d48
00000d42: SWAP2
00000d43: SWAP1
00000d44: PUSH2 0x1882
00000d47: JUMP
00000d48: JUMPDEST
00000d49: DUP2
00000d4a: PUSH1 0x02
00000d4c: ADD
00000d4d: PUSH1 0x00
00000d4f: DUP3
00000d50: DUP3
00000d51: SLOAD
00000d52: PUSH2 0x0d5b
00000d55: SWAP2
00000d56: SWAP1
00000d57: PUSH2 0x18a4
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: SWAP1
00000d5d: SWAP2
00000d5e: SSTORE
00000d5f: POP
00000d60: POP
00000d61: PUSH1 0xfe
00000d63: SLOAD
00000d64: DUP2
00000d65: SSTORE
00000d66: PUSH1 0x02
00000d68: DUP2
00000d69: ADD
00000d6a: SLOAD
00000d6b: DUP3
00000d6c: GT
00000d6d: ISZERO
00000d6e: PUSH2 0x0daf
00000d71: JUMPI
00000d72: PUSH1 0x40
00000d74: MLOAD
00000d75: PUSH3 0x461bcd
00000d79: PUSH1 0xe5
00000d7b: SHL
00000d7c: DUP2
00000d7d: MSTORE
00000d7e: PUSH1 0x20
00000d80: PUSH1 0x04
00000d82: DUP3
00000d83: ADD
00000d84: MSTORE
00000d85: PUSH1 0x13
00000d87: PUSH1 0x24
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH19 0x125394d551919250d251539517d49155d05491
00000da0: PUSH1 0x6a
00000da2: SHL
00000da3: PUSH1 0x44
00000da5: DUP3
00000da6: ADD
00000da7: MSTORE
00000da8: PUSH1 0x64
00000daa: ADD
00000dab: PUSH2 0x06dc
00000dae: JUMP
00000daf: JUMPDEST
00000db0: DUP2
00000db1: DUP2
00000db2: PUSH1 0x02
00000db4: ADD
00000db5: PUSH1 0x00
00000db7: DUP3
00000db8: DUP3
00000db9: SLOAD
00000dba: PUSH2 0x0dc3
00000dbd: SWAP2
00000dbe: SWAP1
00000dbf: PUSH2 0x184c
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: SWAP1
00000dc5: SWAP2
00000dc6: SSTORE
00000dc7: POP
00000dc8: PUSH2 0x0dd2
00000dcb: SWAP1
00000dcc: POP
00000dcd: DUP3
00000dce: PUSH2 0x1004
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH2 0x0de5
00000dd6: PUSH1 0x01
00000dd8: PUSH1 0x01
00000dda: PUSH1 0xa0
00000ddc: SHL
00000ddd: SUB
00000dde: DUP5
00000ddf: AND
00000de0: DUP4
00000de1: PUSH2 0x101f
00000de4: JUMP
00000de5: JUMPDEST
00000de6: PUSH1 0x40
00000de8: DUP1
00000de9: MLOAD
00000dea: PUSH1 0x01
00000dec: PUSH1 0x01
00000dee: PUSH1 0xa0
00000df0: SHL
00000df1: SUB
00000df2: DUP6
00000df3: AND
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: DUP2
00000df9: ADD
00000dfa: DUP5
00000dfb: SWAP1
00000dfc: MSTORE
00000dfd: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a
00000e1e: SWAP2
00000e1f: ADD
00000e20: JUMPDEST
00000e21: PUSH1 0x40
00000e23: MLOAD
00000e24: DUP1
00000e25: SWAP2
00000e26: SUB
00000e27: SWAP1
00000e28: LOG1
00000e29: POP
00000e2a: PUSH2 0x09ed
00000e2d: PUSH1 0x01
00000e2f: PUSH1 0xc9
00000e31: SSTORE
00000e32: JUMP
00000e33: JUMPDEST
00000e34: PUSH2 0x0e3b
00000e37: PUSH2 0x0f58
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH32 0x241ecf16d79d0f8dbfb92cbc07fe17840425976cf0667f022fe9877caa831b08
00000e5d: PUSH2 0x0e65
00000e60: DUP2
00000e61: PUSH2 0x0ffa
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0xfc
00000e68: SLOAD
00000e69: DUP4
00000e6a: GT
00000e6b: ISZERO
00000e6c: PUSH2 0x0ec1
00000e6f: JUMPI
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: PUSH3 0x461bcd
00000e77: PUSH1 0xe5
00000e79: SHL
00000e7a: DUP2
00000e7b: MSTORE
00000e7c: PUSH1 0x20
00000e7e: PUSH1 0x04
00000e80: DUP3
00000e81: ADD
00000e82: MSTORE
00000e83: PUSH1 0x21
00000e85: PUSH1 0x24
00000e87: DUP3
00000e88: ADD
00000e89: MSTORE
00000e8a: PUSH32 0x57495448445241575f45584345454445445f4d414e414745525f524556454e55
00000eab: PUSH1 0x44
00000ead: DUP3
00000eae: ADD
00000eaf: MSTORE
00000eb0: PUSH1 0x45
00000eb2: PUSH1 0xf8
00000eb4: SHL
00000eb5: PUSH1 0x64
00000eb7: DUP3
00000eb8: ADD
00000eb9: MSTORE
00000eba: PUSH1 0x84
00000ebc: ADD
00000ebd: PUSH2 0x06dc
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: PUSH2 0x0eca
00000ec5: DUP4
00000ec6: PUSH2 0x1004
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: DUP3
00000ecc: PUSH1 0xfc
00000ece: PUSH1 0x00
00000ed0: DUP3
00000ed1: DUP3
00000ed2: SLOAD
00000ed3: PUSH2 0x0edc
00000ed6: SWAP2
00000ed7: SWAP1
00000ed8: PUSH2 0x184c
00000edb: JUMP
00000edc: JUMPDEST
00000edd: SWAP1
00000ede: SWAP2
00000edf: SSTORE
00000ee0: POP
00000ee1: PUSH2 0x0ef5
00000ee4: SWAP1
00000ee5: POP
00000ee6: PUSH1 0x01
00000ee8: PUSH1 0x01
00000eea: PUSH1 0xa0
00000eec: SHL
00000eed: SUB
00000eee: DUP4
00000eef: AND
00000ef0: DUP5
00000ef1: PUSH2 0x101f
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0x40
00000ef8: DUP1
00000ef9: MLOAD
00000efa: DUP5
00000efb: DUP2
00000efc: MSTORE
00000efd: PUSH1 0x01
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: SHL
00000f04: SUB
00000f05: DUP5
00000f06: AND
00000f07: PUSH1 0x20
00000f09: DUP3
00000f0a: ADD
00000f0b: MSTORE
00000f0c: PUSH32 0x2425aa1fadefc5c570850aa9c9e3dfa4fc6b43ccd1c05b47db38dd6518a743b3
00000f2d: SWAP2
00000f2e: ADD
00000f2f: PUSH2 0x0e20
00000f32: JUMP
00000f33: JUMPDEST
00000f34: PUSH1 0x00
00000f36: DUP3
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x97
00000f3b: PUSH1 0x20
00000f3d: MSTORE
00000f3e: PUSH1 0x40
00000f40: SWAP1
00000f41: KECCAK256
00000f42: PUSH1 0x01
00000f44: ADD
00000f45: SLOAD
00000f46: PUSH2 0x0f4e
00000f49: DUP2
00000f4a: PUSH2 0x0ffa
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH2 0x096e
00000f52: DUP4
00000f53: DUP4
00000f54: PUSH2 0x1245
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0x02
00000f5b: PUSH1 0xc9
00000f5d: SLOAD
00000f5e: EQ
00000f5f: ISZERO
00000f60: PUSH2 0x0fab
00000f63: JUMPI
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: PUSH3 0x461bcd
00000f6b: PUSH1 0xe5
00000f6d: SHL
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x20
00000f72: PUSH1 0x04
00000f74: DUP3
00000f75: ADD
00000f76: MSTORE
00000f77: PUSH1 0x1f
00000f79: PUSH1 0x24
00000f7b: DUP3
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000f9f: PUSH1 0x44
00000fa1: DUP3
00000fa2: ADD
00000fa3: MSTORE
00000fa4: PUSH1 0x64
00000fa6: ADD
00000fa7: PUSH2 0x06dc
00000faa: JUMP
00000fab: JUMPDEST
00000fac: PUSH1 0x02
00000fae: PUSH1 0xc9
00000fb0: SSTORE
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: PUSH1 0x33
00000fb5: SLOAD
00000fb6: PUSH1 0xff
00000fb8: AND
00000fb9: ISZERO
00000fba: PUSH2 0x0ff8
00000fbd: JUMPI
00000fbe: PUSH1 0x40
00000fc0: MLOAD
00000fc1: PUSH3 0x461bcd
00000fc5: PUSH1 0xe5
00000fc7: SHL
00000fc8: DUP2
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: PUSH1 0x04
00000fce: DUP3
00000fcf: ADD
00000fd0: MSTORE
00000fd1: PUSH1 0x10
00000fd3: PUSH1 0x24
00000fd5: DUP3
00000fd6: ADD
00000fd7: MSTORE
00000fd8: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00000fe9: PUSH1 0x82
00000feb: SHL
00000fec: PUSH1 0x44
00000fee: DUP3
00000fef: ADD
00000ff0: MSTORE
00000ff1: PUSH1 0x64
00000ff3: ADD
00000ff4: PUSH2 0x06dc
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH2 0x067b
00000ffe: DUP2
00000fff: CALLER
00001000: PUSH2 0x13c0
00001003: JUMP
00001004: JUMPDEST
00001005: DUP1
00001006: PUSH2 0x0100
00001009: PUSH1 0x00
0000100b: DUP3
0000100c: DUP3
0000100d: SLOAD
0000100e: PUSH2 0x1017
00001011: SWAP2
00001012: SWAP1
00001013: PUSH2 0x184c
00001016: JUMP
00001017: JUMPDEST
00001018: SWAP1
00001019: SWAP2
0000101a: SSTORE
0000101b: POP
0000101c: POP
0000101d: POP
0000101e: JUMP
0000101f: JUMPDEST
00001020: DUP1
00001021: SELFBALANCE
00001022: LT
00001023: ISZERO
00001024: PUSH2 0x106f
00001027: JUMPI
00001028: PUSH1 0x40
0000102a: MLOAD
0000102b: PUSH3 0x461bcd
0000102f: PUSH1 0xe5
00001031: SHL
00001032: DUP2
00001033: MSTORE
00001034: PUSH1 0x20
00001036: PUSH1 0x04
00001038: DUP3
00001039: ADD
0000103a: MSTORE
0000103b: PUSH1 0x1d
0000103d: PUSH1 0x24
0000103f: DUP3
00001040: ADD
00001041: MSTORE
00001042: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
00001063: PUSH1 0x44
00001065: DUP3
00001066: ADD
00001067: MSTORE
00001068: PUSH1 0x64
0000106a: ADD
0000106b: PUSH2 0x06dc
0000106e: JUMP
0000106f: JUMPDEST
00001070: PUSH1 0x00
00001072: DUP3
00001073: PUSH1 0x01
00001075: PUSH1 0x01
00001077: PUSH1 0xa0
00001079: SHL
0000107a: SUB
0000107b: AND
0000107c: DUP3
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: PUSH1 0x00
00001082: PUSH1 0x40
00001084: MLOAD
00001085: DUP1
00001086: DUP4
00001087: SUB
00001088: DUP2
00001089: DUP6
0000108a: DUP8
0000108b: GAS
0000108c: CALL
0000108d: SWAP3
0000108e: POP
0000108f: POP
00001090: POP
00001091: RETURNDATASIZE
00001092: DUP1
00001093: PUSH1 0x00
00001095: DUP2
00001096: EQ
00001097: PUSH2 0x10bc
0000109a: JUMPI
0000109b: PUSH1 0x40
0000109d: MLOAD
0000109e: SWAP2
0000109f: POP
000010a0: PUSH1 0x1f
000010a2: NOT
000010a3: PUSH1 0x3f
000010a5: RETURNDATASIZE
000010a6: ADD
000010a7: AND
000010a8: DUP3
000010a9: ADD
000010aa: PUSH1 0x40
000010ac: MSTORE
000010ad: RETURNDATASIZE
000010ae: DUP3
000010af: MSTORE
000010b0: RETURNDATASIZE
000010b1: PUSH1 0x00
000010b3: PUSH1 0x20
000010b5: DUP5
000010b6: ADD
000010b7: RETURNDATACOPY
000010b8: PUSH2 0x10c1
000010bb: JUMP
000010bc: JUMPDEST
000010bd: PUSH1 0x60
000010bf: SWAP2
000010c0: POP
000010c1: JUMPDEST
000010c2: POP
000010c3: POP
000010c4: SWAP1
000010c5: POP
000010c6: DUP1
000010c7: PUSH2 0x096e
000010ca: JUMPI
000010cb: PUSH1 0x40
000010cd: MLOAD
000010ce: PUSH3 0x461bcd
000010d2: PUSH1 0xe5
000010d4: SHL
000010d5: DUP2
000010d6: MSTORE
000010d7: PUSH1 0x20
000010d9: PUSH1 0x04
000010db: DUP3
000010dc: ADD
000010dd: MSTORE
000010de: PUSH1 0x3a
000010e0: PUSH1 0x24
000010e2: DUP3
000010e3: ADD
000010e4: MSTORE
000010e5: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001106: PUSH1 0x44
00001108: DUP3
00001109: ADD
0000110a: MSTORE
0000110b: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
0000112c: PUSH1 0x64
0000112e: DUP3
0000112f: ADD
00001130: MSTORE
00001131: PUSH1 0x84
00001133: ADD
00001134: PUSH2 0x06dc
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH1 0x01
0000113b: PUSH1 0xc9
0000113d: SSTORE
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH2 0x0100
00001143: SLOAD
00001144: SELFBALANCE
00001145: GT
00001146: DUP1
00001147: ISZERO
00001148: PUSH2 0x1153
0000114b: JUMPI
0000114c: POP
0000114d: PUSH1 0x00
0000114f: PUSH1 0xfd
00001151: SLOAD
00001152: GT
00001153: JUMPDEST
00001154: ISZERO
00001155: PUSH2 0x0ff8
00001158: JUMPI
00001159: PUSH1 0x00
0000115b: DUP1
0000115c: PUSH2 0x1163
0000115f: PUSH2 0x1419
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0xfd
00001166: SLOAD
00001167: SWAP2
00001168: SWAP4
00001169: POP
0000116a: SWAP2
0000116b: POP
0000116c: PUSH2 0x117d
0000116f: PUSH8 0x0de0b6b3a7640000
00001178: DUP4
00001179: PUSH2 0x1863
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH2 0x1187
00001181: SWAP2
00001182: SWAP1
00001183: PUSH2 0x1882
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH1 0xfe
0000118a: PUSH1 0x00
0000118c: DUP3
0000118d: DUP3
0000118e: SLOAD
0000118f: PUSH2 0x1198
00001192: SWAP2
00001193: SWAP1
00001194: PUSH2 0x18a4
00001197: JUMP
00001198: JUMPDEST
00001199: SWAP3
0000119a: POP
0000119b: POP
0000119c: DUP2
0000119d: SWAP1
0000119e: SSTORE
0000119f: POP
000011a0: DUP2
000011a1: PUSH1 0xfc
000011a3: PUSH1 0x00
000011a5: DUP3
000011a6: DUP3
000011a7: SLOAD
000011a8: PUSH2 0x11b1
000011ab: SWAP2
000011ac: SWAP1
000011ad: PUSH2 0x18a4
000011b0: JUMP
000011b1: JUMPDEST
000011b2: SWAP1
000011b3: SWAP2
000011b4: SSTORE
000011b5: POP
000011b6: POP
000011b7: SELFBALANCE
000011b8: PUSH2 0x0100
000011bb: SSTORE
000011bc: POP
000011bd: POP
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH2 0x11c9
000011c3: DUP3
000011c4: DUP3
000011c5: PUSH2 0x0ccc
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH2 0x09ed
000011cd: JUMPI
000011ce: PUSH1 0x00
000011d0: DUP3
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x97
000011d5: PUSH1 0x20
000011d7: SWAP1
000011d8: DUP2
000011d9: MSTORE
000011da: PUSH1 0x40
000011dc: DUP1
000011dd: DUP4
000011de: KECCAK256
000011df: PUSH1 0x01
000011e1: PUSH1 0x01
000011e3: PUSH1 0xa0
000011e5: SHL
000011e6: SUB
000011e7: DUP6
000011e8: AND
000011e9: DUP5
000011ea: MSTORE
000011eb: SWAP1
000011ec: SWAP2
000011ed: MSTORE
000011ee: SWAP1
000011ef: KECCAK256
000011f0: DUP1
000011f1: SLOAD
000011f2: PUSH1 0xff
000011f4: NOT
000011f5: AND
000011f6: PUSH1 0x01
000011f8: OR
000011f9: SWAP1
000011fa: SSTORE
000011fb: PUSH2 0x1201
000011fe: CALLER
000011ff: SWAP1
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x01
00001204: PUSH1 0x01
00001206: PUSH1 0xa0
00001208: SHL
00001209: SUB
0000120a: AND
0000120b: DUP2
0000120c: PUSH1 0x01
0000120e: PUSH1 0x01
00001210: PUSH1 0xa0
00001212: SHL
00001213: SUB
00001214: AND
00001215: DUP4
00001216: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001237: PUSH1 0x40
00001239: MLOAD
0000123a: PUSH1 0x40
0000123c: MLOAD
0000123d: DUP1
0000123e: SWAP2
0000123f: SUB
00001240: SWAP1
00001241: LOG4
00001242: POP
00001243: POP
00001244: JUMP
00001245: JUMPDEST
00001246: PUSH2 0x124f
00001249: DUP3
0000124a: DUP3
0000124b: PUSH2 0x0ccc
0000124e: JUMP
0000124f: JUMPDEST
00001250: ISZERO
00001251: PUSH2 0x09ed
00001254: JUMPI
00001255: PUSH1 0x00
00001257: DUP3
00001258: DUP2
00001259: MSTORE
0000125a: PUSH1 0x97
0000125c: PUSH1 0x20
0000125e: SWAP1
0000125f: DUP2
00001260: MSTORE
00001261: PUSH1 0x40
00001263: DUP1
00001264: DUP4
00001265: KECCAK256
00001266: PUSH1 0x01
00001268: PUSH1 0x01
0000126a: PUSH1 0xa0
0000126c: SHL
0000126d: SUB
0000126e: DUP6
0000126f: AND
00001270: DUP1
00001271: DUP6
00001272: MSTORE
00001273: SWAP3
00001274: MSTORE
00001275: DUP1
00001276: DUP4
00001277: KECCAK256
00001278: DUP1
00001279: SLOAD
0000127a: PUSH1 0xff
0000127c: NOT
0000127d: AND
0000127e: SWAP1
0000127f: SSTORE
00001280: MLOAD
00001281: CALLER
00001282: SWAP3
00001283: DUP6
00001284: SWAP2
00001285: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
000012a6: SWAP2
000012a7: SWAP1
000012a8: LOG4
000012a9: POP
000012aa: POP
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH2 0x12b4
000012b0: PUSH2 0x145d
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH1 0x33
000012b7: DUP1
000012b8: SLOAD
000012b9: PUSH1 0xff
000012bb: NOT
000012bc: AND
000012bd: SWAP1
000012be: SSTORE
000012bf: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
000012e0: CALLER
000012e1: JUMPDEST
000012e2: PUSH1 0x40
000012e4: MLOAD
000012e5: PUSH1 0x01
000012e7: PUSH1 0x01
000012e9: PUSH1 0xa0
000012eb: SHL
000012ec: SUB
000012ed: SWAP1
000012ee: SWAP2
000012ef: AND
000012f0: DUP2
000012f1: MSTORE
000012f2: PUSH1 0x20
000012f4: ADD
000012f5: PUSH1 0x40
000012f7: MLOAD
000012f8: DUP1
000012f9: SWAP2
000012fa: SUB
000012fb: SWAP1
000012fc: LOG1
000012fd: JUMP
000012fe: JUMPDEST
000012ff: PUSH1 0x00
00001301: SLOAD
00001302: PUSH2 0x0100
00001305: SWAP1
00001306: DIV
00001307: PUSH1 0xff
00001309: AND
0000130a: PUSH2 0x1325
0000130d: JUMPI
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: PUSH3 0x461bcd
00001315: PUSH1 0xe5
00001317: SHL
00001318: DUP2
00001319: MSTORE
0000131a: PUSH1 0x04
0000131c: ADD
0000131d: PUSH2 0x06dc
00001320: SWAP1
00001321: PUSH2 0x198d
00001324: JUMP
00001325: JUMPDEST
00001326: PUSH2 0x0ff8
00001329: PUSH2 0x14a6
0000132c: JUMP
0000132d: JUMPDEST
0000132e: PUSH1 0x00
00001330: SLOAD
00001331: PUSH2 0x0100
00001334: SWAP1
00001335: DIV
00001336: PUSH1 0xff
00001338: AND
00001339: PUSH2 0x0ff8
0000133c: JUMPI
0000133d: PUSH1 0x40
0000133f: MLOAD
00001340: PUSH3 0x461bcd
00001344: PUSH1 0xe5
00001346: SHL
00001347: DUP2
00001348: MSTORE
00001349: PUSH1 0x04
0000134b: ADD
0000134c: PUSH2 0x06dc
0000134f: SWAP1
00001350: PUSH2 0x198d
00001353: JUMP
00001354: JUMPDEST
00001355: PUSH1 0x00
00001357: SLOAD
00001358: PUSH2 0x0100
0000135b: SWAP1
0000135c: DIV
0000135d: PUSH1 0xff
0000135f: AND
00001360: PUSH2 0x137b
00001363: JUMPI
00001364: PUSH1 0x40
00001366: MLOAD
00001367: PUSH3 0x461bcd
0000136b: PUSH1 0xe5
0000136d: SHL
0000136e: DUP2
0000136f: MSTORE
00001370: PUSH1 0x04
00001372: ADD
00001373: PUSH2 0x06dc
00001376: SWAP1
00001377: PUSH2 0x198d
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH2 0x0ff8
0000137f: PUSH2 0x14d9
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH2 0x138b
00001387: PUSH2 0x0fb2
0000138a: JUMP
0000138b: JUMPDEST
0000138c: PUSH1 0x33
0000138e: DUP1
0000138f: SLOAD
00001390: PUSH1 0xff
00001392: NOT
00001393: AND
00001394: PUSH1 0x01
00001396: OR
00001397: SWAP1
00001398: SSTORE
00001399: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000013ba: PUSH2 0x12e1
000013bd: CALLER
000013be: SWAP1
000013bf: JUMP
000013c0: JUMPDEST
000013c1: PUSH2 0x13ca
000013c4: DUP3
000013c5: DUP3
000013c6: PUSH2 0x0ccc
000013c9: JUMP
000013ca: JUMPDEST
000013cb: PUSH2 0x09ed
000013ce: JUMPI
000013cf: PUSH2 0x13d7
000013d2: DUP2
000013d3: PUSH2 0x1500
000013d6: JUMP
000013d7: JUMPDEST
000013d8: PUSH2 0x13e2
000013db: DUP4
000013dc: PUSH1 0x20
000013de: PUSH2 0x1512
000013e1: JUMP
000013e2: JUMPDEST
000013e3: PUSH1 0x40
000013e5: MLOAD
000013e6: PUSH1 0x20
000013e8: ADD
000013e9: PUSH2 0x13f3
000013ec: SWAP3
000013ed: SWAP2
000013ee: SWAP1
000013ef: PUSH2 0x1a08
000013f2: JUMP
000013f3: JUMPDEST
000013f4: PUSH1 0x40
000013f6: DUP1
000013f7: MLOAD
000013f8: PUSH1 0x1f
000013fa: NOT
000013fb: DUP2
000013fc: DUP5
000013fd: SUB
000013fe: ADD
000013ff: DUP2
00001400: MSTORE
00001401: SWAP1
00001402: DUP3
00001403: SWAP1
00001404: MSTORE
00001405: PUSH3 0x461bcd
00001409: PUSH1 0xe5
0000140b: SHL
0000140c: DUP3
0000140d: MSTORE
0000140e: PUSH2 0x06dc
00001411: SWAP2
00001412: PUSH1 0x04
00001414: ADD
00001415: PUSH2 0x1a7d
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x00
0000141c: DUP1
0000141d: PUSH1 0x00
0000141f: PUSH2 0x0100
00001422: SLOAD
00001423: SELFBALANCE
00001424: PUSH2 0x142d
00001427: SWAP2
00001428: SWAP1
00001429: PUSH2 0x184c
0000142c: JUMP
0000142d: JUMPDEST
0000142e: SWAP1
0000142f: POP
00001430: PUSH2 0x03e8
00001433: PUSH1 0xfb
00001435: SLOAD
00001436: DUP3
00001437: PUSH2 0x1440
0000143a: SWAP2
0000143b: SWAP1
0000143c: PUSH2 0x1863
0000143f: JUMP
00001440: JUMPDEST
00001441: PUSH2 0x144a
00001444: SWAP2
00001445: SWAP1
00001446: PUSH2 0x1882
00001449: JUMP
0000144a: JUMPDEST
0000144b: SWAP3
0000144c: POP
0000144d: PUSH2 0x1456
00001450: DUP4
00001451: DUP3
00001452: PUSH2 0x184c
00001455: JUMP
00001456: JUMPDEST
00001457: SWAP2
00001458: POP
00001459: POP
0000145a: SWAP1
0000145b: SWAP2
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x33
00001460: SLOAD
00001461: PUSH1 0xff
00001463: AND
00001464: PUSH2 0x0ff8
00001467: JUMPI
00001468: PUSH1 0x40
0000146a: MLOAD
0000146b: PUSH3 0x461bcd
0000146f: PUSH1 0xe5
00001471: SHL
00001472: DUP2
00001473: MSTORE
00001474: PUSH1 0x20
00001476: PUSH1 0x04
00001478: DUP3
00001479: ADD
0000147a: MSTORE
0000147b: PUSH1 0x14
0000147d: PUSH1 0x24
0000147f: DUP3
00001480: ADD
00001481: MSTORE
00001482: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001497: PUSH1 0x62
00001499: SHL
0000149a: PUSH1 0x44
0000149c: DUP3
0000149d: ADD
0000149e: MSTORE
0000149f: PUSH1 0x64
000014a1: ADD
000014a2: PUSH2 0x06dc
000014a5: JUMP
000014a6: JUMPDEST
000014a7: PUSH1 0x00
000014a9: SLOAD
000014aa: PUSH2 0x0100
000014ad: SWAP1
000014ae: DIV
000014af: PUSH1 0xff
000014b1: AND
000014b2: PUSH2 0x14cd
000014b5: JUMPI
000014b6: PUSH1 0x40
000014b8: MLOAD
000014b9: PUSH3 0x461bcd
000014bd: PUSH1 0xe5
000014bf: SHL
000014c0: DUP2
000014c1: MSTORE
000014c2: PUSH1 0x04
000014c4: ADD
000014c5: PUSH2 0x06dc
000014c8: SWAP1
000014c9: PUSH2 0x198d
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x33
000014d0: DUP1
000014d1: SLOAD
000014d2: PUSH1 0xff
000014d4: NOT
000014d5: AND
000014d6: SWAP1
000014d7: SSTORE
000014d8: JUMP
000014d9: JUMPDEST
000014da: PUSH1 0x00
000014dc: SLOAD
000014dd: PUSH2 0x0100
000014e0: SWAP1
000014e1: DIV
000014e2: PUSH1 0xff
000014e4: AND
000014e5: PUSH2 0x1138
000014e8: JUMPI
000014e9: PUSH1 0x40
000014eb: MLOAD
000014ec: PUSH3 0x461bcd
000014f0: PUSH1 0xe5
000014f2: SHL
000014f3: DUP2
000014f4: MSTORE
000014f5: PUSH1 0x04
000014f7: ADD
000014f8: PUSH2 0x06dc
000014fb: SWAP1
000014fc: PUSH2 0x198d
000014ff: JUMP
00001500: JUMPDEST
00001501: PUSH1 0x60
00001503: PUSH2 0x054e
00001506: PUSH1 0x01
00001508: PUSH1 0x01
0000150a: PUSH1 0xa0
0000150c: SHL
0000150d: SUB
0000150e: DUP4
0000150f: AND
00001510: PUSH1 0x14
00001512: JUMPDEST
00001513: PUSH1 0x60
00001515: PUSH1 0x00
00001517: PUSH2 0x1521
0000151a: DUP4
0000151b: PUSH1 0x02
0000151d: PUSH2 0x1863
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH2 0x152c
00001525: SWAP1
00001526: PUSH1 0x02
00001528: PUSH2 0x18a4
0000152b: JUMP
0000152c: JUMPDEST
0000152d: PUSH8 0xffffffffffffffff
00001536: DUP2
00001537: GT
00001538: ISZERO
00001539: PUSH2 0x1544
0000153c: JUMPI
0000153d: PUSH2 0x1544
00001540: PUSH2 0x1ab0
00001543: JUMP
00001544: JUMPDEST
00001545: PUSH1 0x40
00001547: MLOAD
00001548: SWAP1
00001549: DUP1
0000154a: DUP3
0000154b: MSTORE
0000154c: DUP1
0000154d: PUSH1 0x1f
0000154f: ADD
00001550: PUSH1 0x1f
00001552: NOT
00001553: AND
00001554: PUSH1 0x20
00001556: ADD
00001557: DUP3
00001558: ADD
00001559: PUSH1 0x40
0000155b: MSTORE
0000155c: DUP1
0000155d: ISZERO
0000155e: PUSH2 0x156e
00001561: JUMPI
00001562: PUSH1 0x20
00001564: DUP3
00001565: ADD
00001566: DUP2
00001567: DUP1
00001568: CALLDATASIZE
00001569: DUP4
0000156a: CALLDATACOPY
0000156b: ADD
0000156c: SWAP1
0000156d: POP
0000156e: JUMPDEST
0000156f: POP
00001570: SWAP1
00001571: POP
00001572: PUSH1 0x03
00001574: PUSH1 0xfc
00001576: SHL
00001577: DUP2
00001578: PUSH1 0x00
0000157a: DUP2
0000157b: MLOAD
0000157c: DUP2
0000157d: LT
0000157e: PUSH2 0x1589
00001581: JUMPI
00001582: PUSH2 0x1589
00001585: PUSH2 0x18bc
00001588: JUMP
00001589: JUMPDEST
0000158a: PUSH1 0x20
0000158c: ADD
0000158d: ADD
0000158e: SWAP1
0000158f: PUSH1 0x01
00001591: PUSH1 0x01
00001593: PUSH1 0xf8
00001595: SHL
00001596: SUB
00001597: NOT
00001598: AND
00001599: SWAP1
0000159a: DUP2
0000159b: PUSH1 0x00
0000159d: BYTE
0000159e: SWAP1
0000159f: MSTORE8
000015a0: POP
000015a1: PUSH1 0x0f
000015a3: PUSH1 0xfb
000015a5: SHL
000015a6: DUP2
000015a7: PUSH1 0x01
000015a9: DUP2
000015aa: MLOAD
000015ab: DUP2
000015ac: LT
000015ad: PUSH2 0x15b8
000015b0: JUMPI
000015b1: PUSH2 0x15b8
000015b4: PUSH2 0x18bc
000015b7: JUMP
000015b8: JUMPDEST
000015b9: PUSH1 0x20
000015bb: ADD
000015bc: ADD
000015bd: SWAP1
000015be: PUSH1 0x01
000015c0: PUSH1 0x01
000015c2: PUSH1 0xf8
000015c4: SHL
000015c5: SUB
000015c6: NOT
000015c7: AND
000015c8: SWAP1
000015c9: DUP2
000015ca: PUSH1 0x00
000015cc: BYTE
000015cd: SWAP1
000015ce: MSTORE8
000015cf: POP
000015d0: PUSH1 0x00
000015d2: PUSH2 0x15dc
000015d5: DUP5
000015d6: PUSH1 0x02
000015d8: PUSH2 0x1863
000015db: JUMP
000015dc: JUMPDEST
000015dd: PUSH2 0x15e7
000015e0: SWAP1
000015e1: PUSH1 0x01
000015e3: PUSH2 0x18a4
000015e6: JUMP
000015e7: JUMPDEST
000015e8: SWAP1
000015e9: POP
000015ea: JUMPDEST
000015eb: PUSH1 0x01
000015ed: DUP2
000015ee: GT
000015ef: ISZERO
000015f0: PUSH2 0x165f
000015f3: JUMPI
000015f4: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3
00001605: PUSH1 0x81
00001607: SHL
00001608: DUP6
00001609: PUSH1 0x0f
0000160b: AND
0000160c: PUSH1 0x10
0000160e: DUP2
0000160f: LT
00001610: PUSH2 0x161b
00001613: JUMPI
00001614: PUSH2 0x161b
00001617: PUSH2 0x18bc
0000161a: JUMP
0000161b: JUMPDEST
0000161c: BYTE
0000161d: PUSH1 0xf8
0000161f: SHL
00001620: DUP3
00001621: DUP3
00001622: DUP2
00001623: MLOAD
00001624: DUP2
00001625: LT
00001626: PUSH2 0x1631
00001629: JUMPI
0000162a: PUSH2 0x1631
0000162d: PUSH2 0x18bc
00001630: JUMP
00001631: JUMPDEST
00001632: PUSH1 0x20
00001634: ADD
00001635: ADD
00001636: SWAP1
00001637: PUSH1 0x01
00001639: PUSH1 0x01
0000163b: PUSH1 0xf8
0000163d: SHL
0000163e: SUB
0000163f: NOT
00001640: AND
00001641: SWAP1
00001642: DUP2
00001643: PUSH1 0x00
00001645: BYTE
00001646: SWAP1
00001647: MSTORE8
00001648: POP
00001649: PUSH1 0x04
0000164b: SWAP5
0000164c: SWAP1
0000164d: SWAP5
0000164e: SHR
0000164f: SWAP4
00001650: PUSH2 0x1658
00001653: DUP2
00001654: PUSH2 0x1ac6
00001657: JUMP
00001658: JUMPDEST
00001659: SWAP1
0000165a: POP
0000165b: PUSH2 0x15ea
0000165e: JUMP
0000165f: JUMPDEST
00001660: POP
00001661: DUP4
00001662: ISZERO
00001663: PUSH2 0x0a7b
00001666: JUMPI
00001667: PUSH1 0x40
00001669: MLOAD
0000166a: PUSH3 0x461bcd
0000166e: PUSH1 0xe5
00001670: SHL
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x20
00001675: PUSH1 0x04
00001677: DUP3
00001678: ADD
00001679: DUP2
0000167a: SWAP1
0000167b: MSTORE
0000167c: PUSH1 0x24
0000167e: DUP3
0000167f: ADD
00001680: MSTORE
00001681: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
000016a2: PUSH1 0x44
000016a4: DUP3
000016a5: ADD
000016a6: MSTORE
000016a7: PUSH1 0x64
000016a9: ADD
000016aa: PUSH2 0x06dc
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH1 0x00
000016b1: PUSH1 0x20
000016b3: DUP3
000016b4: DUP5
000016b5: SUB
000016b6: SLT
000016b7: ISZERO
000016b8: PUSH2 0x16c0
000016bb: JUMPI
000016bc: PUSH1 0x00
000016be: DUP1
000016bf: REVERT
000016c0: JUMPDEST
000016c1: DUP2
000016c2: CALLDATALOAD
000016c3: PUSH1 0x01
000016c5: PUSH1 0x01
000016c7: PUSH1 0xe0
000016c9: SHL
000016ca: SUB
000016cb: NOT
000016cc: DUP2
000016cd: AND
000016ce: DUP2
000016cf: EQ
000016d0: PUSH2 0x0a7b
000016d3: JUMPI
000016d4: PUSH1 0x00
000016d6: DUP1
000016d7: REVERT
000016d8: JUMPDEST
000016d9: DUP1
000016da: CALLDATALOAD
000016db: PUSH1 0x01
000016dd: PUSH1 0x01
000016df: PUSH1 0xa0
000016e1: SHL
000016e2: SUB
000016e3: DUP2
000016e4: AND
000016e5: DUP2
000016e6: EQ
000016e7: PUSH2 0x16ef
000016ea: JUMPI
000016eb: PUSH1 0x00
000016ed: DUP1
000016ee: REVERT
000016ef: JUMPDEST
000016f0: SWAP2
000016f1: SWAP1
000016f2: POP
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH1 0x00
000016f7: PUSH1 0x20
000016f9: DUP3
000016fa: DUP5
000016fb: SUB
000016fc: SLT
000016fd: ISZERO
000016fe: PUSH2 0x1706
00001701: JUMPI
00001702: PUSH1 0x00
00001704: DUP1
00001705: REVERT
00001706: JUMPDEST
00001707: PUSH2 0x0a7b
0000170a: DUP3
0000170b: PUSH2 0x16d8
0000170e: JUMP
0000170f: JUMPDEST
00001710: PUSH1 0x00
00001712: PUSH1 0x20
00001714: DUP3
00001715: DUP5
00001716: SUB
00001717: SLT
00001718: ISZERO
00001719: PUSH2 0x1721
0000171c: JUMPI
0000171d: PUSH1 0x00
0000171f: DUP1
00001720: REVERT
00001721: JUMPDEST
00001722: POP
00001723: CALLDATALOAD
00001724: SWAP2
00001725: SWAP1
00001726: POP
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH1 0x00
0000172b: DUP1
0000172c: DUP4
0000172d: PUSH1 0x1f
0000172f: DUP5
00001730: ADD
00001731: SLT
00001732: PUSH2 0x173a
00001735: JUMPI
00001736: PUSH1 0x00
00001738: DUP1
00001739: REVERT
0000173a: JUMPDEST
0000173b: POP
0000173c: DUP2
0000173d: CALLDATALOAD
0000173e: PUSH8 0xffffffffffffffff
00001747: DUP2
00001748: GT
00001749: ISZERO
0000174a: PUSH2 0x1752
0000174d: JUMPI
0000174e: PUSH1 0x00
00001750: DUP1
00001751: REVERT
00001752: JUMPDEST
00001753: PUSH1 0x20
00001755: DUP4
00001756: ADD
00001757: SWAP2
00001758: POP
00001759: DUP4
0000175a: PUSH1 0x20
0000175c: DUP3
0000175d: PUSH1 0x05
0000175f: SHL
00001760: DUP6
00001761: ADD
00001762: ADD
00001763: GT
00001764: ISZERO
00001765: PUSH2 0x176d
00001768: JUMPI
00001769: PUSH1 0x00
0000176b: DUP1
0000176c: REVERT
0000176d: JUMPDEST
0000176e: SWAP3
0000176f: POP
00001770: SWAP3
00001771: SWAP1
00001772: POP
00001773: JUMP
00001774: JUMPDEST
00001775: PUSH1 0x00
00001777: DUP1
00001778: PUSH1 0x00
0000177a: DUP1
0000177b: PUSH1 0x40
0000177d: DUP6
0000177e: DUP8
0000177f: SUB
00001780: SLT
00001781: ISZERO
00001782: PUSH2 0x178a
00001785: JUMPI
00001786: PUSH1 0x00
00001788: DUP1
00001789: REVERT
0000178a: JUMPDEST
0000178b: DUP5
0000178c: CALLDATALOAD
0000178d: PUSH8 0xffffffffffffffff
00001796: DUP1
00001797: DUP3
00001798: GT
00001799: ISZERO
0000179a: PUSH2 0x17a2
0000179d: JUMPI
0000179e: PUSH1 0x00
000017a0: DUP1
000017a1: REVERT
000017a2: JUMPDEST
000017a3: PUSH2 0x17ae
000017a6: DUP9
000017a7: DUP4
000017a8: DUP10
000017a9: ADD
000017aa: PUSH2 0x1728
000017ad: JUMP
000017ae: JUMPDEST
000017af: SWAP1
000017b0: SWAP7
000017b1: POP
000017b2: SWAP5
000017b3: POP
000017b4: PUSH1 0x20
000017b6: DUP8
000017b7: ADD
000017b8: CALLDATALOAD
000017b9: SWAP2
000017ba: POP
000017bb: DUP1
000017bc: DUP3
000017bd: GT
000017be: ISZERO
000017bf: PUSH2 0x17c7
000017c2: JUMPI
000017c3: PUSH1 0x00
000017c5: DUP1
000017c6: REVERT
000017c7: JUMPDEST
000017c8: POP
000017c9: PUSH2 0x17d4
000017cc: DUP8
000017cd: DUP3
000017ce: DUP9
000017cf: ADD
000017d0: PUSH2 0x1728
000017d3: JUMP
000017d4: JUMPDEST
000017d5: SWAP6
000017d6: SWAP9
000017d7: SWAP5
000017d8: SWAP8
000017d9: POP
000017da: SWAP6
000017db: POP
000017dc: POP
000017dd: POP
000017de: POP
000017df: JUMP
000017e0: JUMPDEST
000017e1: PUSH1 0x00
000017e3: DUP1
000017e4: PUSH1 0x40
000017e6: DUP4
000017e7: DUP6
000017e8: SUB
000017e9: SLT
000017ea: ISZERO
000017eb: PUSH2 0x17f3
000017ee: JUMPI
000017ef: PUSH1 0x00
000017f1: DUP1
000017f2: REVERT
000017f3: JUMPDEST
000017f4: DUP3
000017f5: CALLDATALOAD
000017f6: SWAP2
000017f7: POP
000017f8: PUSH2 0x1803
000017fb: PUSH1 0x20
000017fd: DUP5
000017fe: ADD
000017ff: PUSH2 0x16d8
00001802: JUMP
00001803: JUMPDEST
00001804: SWAP1
00001805: POP
00001806: SWAP3
00001807: POP
00001808: SWAP3
00001809: SWAP1
0000180a: POP
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: PUSH1 0x40
00001812: DUP4
00001813: DUP6
00001814: SUB
00001815: SLT
00001816: ISZERO
00001817: PUSH2 0x181f
0000181a: JUMPI
0000181b: PUSH1 0x00
0000181d: DUP1
0000181e: REVERT
0000181f: JUMPDEST
00001820: PUSH2 0x1828
00001823: DUP4
00001824: PUSH2 0x16d8
00001827: JUMP
00001828: JUMPDEST
00001829: SWAP5
0000182a: PUSH1 0x20
0000182c: SWAP4
0000182d: SWAP1
0000182e: SWAP4
0000182f: ADD
00001830: CALLDATALOAD
00001831: SWAP4
00001832: POP
00001833: POP
00001834: POP
00001835: JUMP
00001836: JUMPDEST
00001837: PUSH4 0x4e487b71
0000183c: PUSH1 0xe0
0000183e: SHL
0000183f: PUSH1 0x00
00001841: MSTORE
00001842: PUSH1 0x11
00001844: PUSH1 0x04
00001846: MSTORE
00001847: PUSH1 0x24
00001849: PUSH1 0x00
0000184b: REVERT
0000184c: JUMPDEST
0000184d: PUSH1 0x00
0000184f: DUP3
00001850: DUP3
00001851: LT
00001852: ISZERO
00001853: PUSH2 0x185e
00001856: JUMPI
00001857: PUSH2 0x185e
0000185a: PUSH2 0x1836
0000185d: JUMP
0000185e: JUMPDEST
0000185f: POP
00001860: SUB
00001861: SWAP1
00001862: JUMP
00001863: JUMPDEST
00001864: PUSH1 0x00
00001866: DUP2
00001867: PUSH1 0x00
00001869: NOT
0000186a: DIV
0000186b: DUP4
0000186c: GT
0000186d: DUP3
0000186e: ISZERO
0000186f: ISZERO
00001870: AND
00001871: ISZERO
00001872: PUSH2 0x187d
00001875: JUMPI
00001876: PUSH2 0x187d
00001879: PUSH2 0x1836
0000187c: JUMP
0000187d: JUMPDEST
0000187e: POP
0000187f: MUL
00001880: SWAP1
00001881: JUMP
00001882: JUMPDEST
00001883: PUSH1 0x00
00001885: DUP3
00001886: PUSH2 0x189f
00001889: JUMPI
0000188a: PUSH4 0x4e487b71
0000188f: PUSH1 0xe0
00001891: SHL
00001892: PUSH1 0x00
00001894: MSTORE
00001895: PUSH1 0x12
00001897: PUSH1 0x04
00001899: MSTORE
0000189a: PUSH1 0x24
0000189c: PUSH1 0x00
0000189e: REVERT
0000189f: JUMPDEST
000018a0: POP
000018a1: DIV
000018a2: SWAP1
000018a3: JUMP
000018a4: JUMPDEST
000018a5: PUSH1 0x00
000018a7: DUP3
000018a8: NOT
000018a9: DUP3
000018aa: GT
000018ab: ISZERO
000018ac: PUSH2 0x18b7
000018af: JUMPI
000018b0: PUSH2 0x18b7
000018b3: PUSH2 0x1836
000018b6: JUMP
000018b7: JUMPDEST
000018b8: POP
000018b9: ADD
000018ba: SWAP1
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH4 0x4e487b71
000018c2: PUSH1 0xe0
000018c4: SHL
000018c5: PUSH1 0x00
000018c7: MSTORE
000018c8: PUSH1 0x32
000018ca: PUSH1 0x04
000018cc: MSTORE
000018cd: PUSH1 0x24
000018cf: PUSH1 0x00
000018d1: REVERT
000018d2: JUMPDEST
000018d3: PUSH1 0x00
000018d5: PUSH1 0x01
000018d7: PUSH1 0xff
000018d9: SHL
000018da: DUP3
000018db: EQ
000018dc: ISZERO
000018dd: PUSH2 0x18e8
000018e0: JUMPI
000018e1: PUSH2 0x18e8
000018e4: PUSH2 0x1836
000018e7: JUMP
000018e8: JUMPDEST
000018e9: POP
000018ea: PUSH1 0x00
000018ec: SUB
000018ed: SWAP1
000018ee: JUMP
000018ef: JUMPDEST
000018f0: PUSH1 0x00
000018f2: PUSH1 0x00
000018f4: NOT
000018f5: DUP3
000018f6: EQ
000018f7: ISZERO
000018f8: PUSH2 0x1903
000018fb: JUMPI
000018fc: PUSH2 0x1903
000018ff: PUSH2 0x1836
00001902: JUMP
00001903: JUMPDEST
00001904: POP
00001905: PUSH1 0x01
00001907: ADD
00001908: SWAP1
00001909: JUMP
0000190a: JUMPDEST
0000190b: PUSH1 0x40
0000190d: DUP1
0000190e: DUP3
0000190f: MSTORE
00001910: DUP2
00001911: ADD
00001912: DUP5
00001913: SWAP1
00001914: MSTORE
00001915: PUSH1 0x00
00001917: DUP6
00001918: PUSH1 0x60
0000191a: DUP4
0000191b: ADD
0000191c: DUP3
0000191d: JUMPDEST
0000191e: DUP8
0000191f: DUP2
00001920: LT
00001921: ISZERO
00001922: PUSH2 0x194b
00001925: JUMPI
00001926: PUSH1 0x01
00001928: PUSH1 0x01
0000192a: PUSH1 0xa0
0000192c: SHL
0000192d: SUB
0000192e: PUSH2 0x1936
00001931: DUP5
00001932: PUSH2 0x16d8
00001935: JUMP
00001936: JUMPDEST
00001937: AND
00001938: DUP3
00001939: MSTORE
0000193a: PUSH1 0x20
0000193c: SWAP3
0000193d: DUP4
0000193e: ADD
0000193f: SWAP3
00001940: SWAP1
00001941: SWAP2
00001942: ADD
00001943: SWAP1
00001944: PUSH1 0x01
00001946: ADD
00001947: PUSH2 0x191d
0000194a: JUMP
0000194b: JUMPDEST
0000194c: POP
0000194d: DUP4
0000194e: DUP2
0000194f: SUB
00001950: PUSH1 0x20
00001952: DUP6
00001953: DUP2
00001954: ADD
00001955: SWAP2
00001956: SWAP1
00001957: SWAP2
00001958: MSTORE
00001959: DUP6
0000195a: DUP3
0000195b: MSTORE
0000195c: SWAP2
0000195d: POP
0000195e: DUP6
0000195f: SWAP1
00001960: DUP3
00001961: ADD
00001962: PUSH1 0x00
00001964: JUMPDEST
00001965: DUP7
00001966: DUP2
00001967: LT
00001968: ISZERO
00001969: PUSH2 0x1980
0000196c: JUMPI
0000196d: DUP3
0000196e: CALLDATALOAD
0000196f: DUP3
00001970: MSTORE
00001971: SWAP2
00001972: DUP4
00001973: ADD
00001974: SWAP2
00001975: SWAP1
00001976: DUP4
00001977: ADD
00001978: SWAP1
00001979: PUSH1 0x01
0000197b: ADD
0000197c: PUSH2 0x1964
0000197f: JUMP
00001980: JUMPDEST
00001981: POP
00001982: SWAP9
00001983: SWAP8
00001984: POP
00001985: POP
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: POP
0000198b: POP
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x20
00001990: DUP1
00001991: DUP3
00001992: MSTORE
00001993: PUSH1 0x2b
00001995: SWAP1
00001996: DUP3
00001997: ADD
00001998: MSTORE
00001999: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000019ba: PUSH1 0x40
000019bc: DUP3
000019bd: ADD
000019be: MSTORE
000019bf: PUSH11 0x6e697469616c697a696e67
000019cb: PUSH1 0xa8
000019cd: SHL
000019ce: PUSH1 0x60
000019d0: DUP3
000019d1: ADD
000019d2: MSTORE
000019d3: PUSH1 0x80
000019d5: ADD
000019d6: SWAP1
000019d7: JUMP
000019d8: JUMPDEST
000019d9: PUSH1 0x00
000019db: JUMPDEST
000019dc: DUP4
000019dd: DUP2
000019de: LT
000019df: ISZERO
000019e0: PUSH2 0x19f3
000019e3: JUMPI
000019e4: DUP2
000019e5: DUP2
000019e6: ADD
000019e7: MLOAD
000019e8: DUP4
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH1 0x20
000019ee: ADD
000019ef: PUSH2 0x19db
000019f2: JUMP
000019f3: JUMPDEST
000019f4: DUP4
000019f5: DUP2
000019f6: GT
000019f7: ISZERO
000019f8: PUSH2 0x1a02
000019fb: JUMPI
000019fc: PUSH1 0x00
000019fe: DUP5
000019ff: DUP5
00001a00: ADD
00001a01: MSTORE
00001a02: JUMPDEST
00001a03: POP
00001a04: POP
00001a05: POP
00001a06: POP
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
00001a2a: DUP2
00001a2b: MSTORE
00001a2c: PUSH1 0x00
00001a2e: DUP4
00001a2f: MLOAD
00001a30: PUSH2 0x1a40
00001a33: DUP2
00001a34: PUSH1 0x17
00001a36: DUP6
00001a37: ADD
00001a38: PUSH1 0x20
00001a3a: DUP9
00001a3b: ADD
00001a3c: PUSH2 0x19d8
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: PUSH17 0x01034b99036b4b9b9b4b733903937b6329
00001a53: PUSH1 0x7d
00001a55: SHL
00001a56: PUSH1 0x17
00001a58: SWAP2
00001a59: DUP5
00001a5a: ADD
00001a5b: SWAP2
00001a5c: DUP3
00001a5d: ADD
00001a5e: MSTORE
00001a5f: DUP4
00001a60: MLOAD
00001a61: PUSH2 0x1a71
00001a64: DUP2
00001a65: PUSH1 0x28
00001a67: DUP5
00001a68: ADD
00001a69: PUSH1 0x20
00001a6b: DUP9
00001a6c: ADD
00001a6d: PUSH2 0x19d8
00001a70: JUMP
00001a71: JUMPDEST
00001a72: ADD
00001a73: PUSH1 0x28
00001a75: ADD
00001a76: SWAP5
00001a77: SWAP4
00001a78: POP
00001a79: POP
00001a7a: POP
00001a7b: POP
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH1 0x20
00001a80: DUP2
00001a81: MSTORE
00001a82: PUSH1 0x00
00001a84: DUP3
00001a85: MLOAD
00001a86: DUP1
00001a87: PUSH1 0x20
00001a89: DUP5
00001a8a: ADD
00001a8b: MSTORE
00001a8c: PUSH2 0x1a9c
00001a8f: DUP2
00001a90: PUSH1 0x40
00001a92: DUP6
00001a93: ADD
00001a94: PUSH1 0x20
00001a96: DUP8
00001a97: ADD
00001a98: PUSH2 0x19d8
00001a9b: JUMP
00001a9c: JUMPDEST
00001a9d: PUSH1 0x1f
00001a9f: ADD
00001aa0: PUSH1 0x1f
00001aa2: NOT
00001aa3: AND
00001aa4: SWAP2
00001aa5: SWAP1
00001aa6: SWAP2
00001aa7: ADD
00001aa8: PUSH1 0x40
00001aaa: ADD
00001aab: SWAP3
00001aac: SWAP2
00001aad: POP
00001aae: POP
00001aaf: JUMP
00001ab0: JUMPDEST
00001ab1: PUSH4 0x4e487b71
00001ab6: PUSH1 0xe0
00001ab8: SHL
00001ab9: PUSH1 0x00
00001abb: MSTORE
00001abc: PUSH1 0x41
00001abe: PUSH1 0x04
00001ac0: MSTORE
00001ac1: PUSH1 0x24
00001ac3: PUSH1 0x00
00001ac5: REVERT
00001ac6: JUMPDEST
00001ac7: PUSH1 0x00
00001ac9: DUP2
00001aca: PUSH2 0x1ad5
00001acd: JUMPI
00001ace: PUSH2 0x1ad5
00001ad1: PUSH2 0x1836
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: POP
00001ad7: PUSH1 0x00
00001ad9: NOT
00001ada: ADD
00001adb: SWAP1
00001adc: JUMP
00001add: INVALID
00001ade: PUSH6 0xd7a28e3265b3
00001ae5: PUSH27 0x6474929f336521b332c1681b933f6cb9f3376673440d862aa26469
00001b01: PUSH17 0x667358221220ca6d7a3cb4bcf16563b888
00001b13: SLT
00001b14: PUSH0
00001b15: UNKNOWN(0xDE)
00001b16: SWAP12
00001b17: UNKNOWN(0xDE)
00001b18: UNKNOWN(0x23)
00001b19: UNKNOWN(0xDE)
00001b1a: KECCAK256
00001b1b: STOP
00001b1c: SWAP2
00001b1d: STATICCALL
00001b1e: SAR
00001b1f: MLOAD
00001b20: UNKNOWN(0xC6)
00001b21: LOG3
00001b22: UNKNOWN(0xD5)
00001b23: DUP16
00001b24: UNKNOWN(0xC8)
00001b25: PUSH20