Analysis Run

[codex:774760] OpenAI Codex v0.77.0 (research preview)
[codex:774760] --------
[codex:774760] workdir: /tmp/codex-multi-vtb1nqtd
[codex:774760] model: gpt-5.2-codex
[codex:774760] provider: openai
[codex:774760] approval: never
[codex:774760] sandbox: read-only
[codex:774760] reasoning effort: xhigh
[codex:774760] reasoning summaries: auto
[codex:774760] session id: 019b76e7-0a1f-7d61-85c9-5b453c8f798d
[codex:774760] --------
[codex:774760] user
[codex:774760] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:774760] 
[codex:774760] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:774760] 
[codex:774760] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:774760] - Gas inefficiency, code quality, naming, or best practices
[codex:774760] - Theoretical vulnerabilities without a clear extraction path
[codex:774760] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:774760] - Front-running unless it enables theft beyond MEV
[codex:774760] - DoS, griefing, or issues that don't result in attacker profit
[codex:774760] - Missing events, view function issues, or informational findings
[codex:774760] 
[codex:774760] HIGH-VALUE PATTERNS TO HUNT:
[codex:774760] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:774760] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:774760] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:774760] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:774760] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:774760] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:774760] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:774760] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:774760] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:774760] 
[codex:774760] For each finding, you MUST provide:
[codex:774760] 1. Exact file and line numbers of vulnerable code
[codex:774760] 2. Step-by-step exploit transaction sequence
[codex:774760] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:774760] 
[codex:774760] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:774760] 
[codex:774760] Output MUST be valid JSON matching the provided schema.
[codex:774760] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:774760] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:774760] mcp startup: no servers
[codex:774760] 
[codex:774760] thinking
[codex:774760] **Reading AUDIT_BUNDLE file**
[codex:774760] exec
[codex:774760] /bin/bash -lc ls in /tmp/codex-multi-vtb1nqtd succeeded in 6ms:
[codex:774760] AUDIT_BUNDLE.txt
[codex:774760] codex-output-schema.json
[codex:774760] contracts
[codex:774760] exec
[codex:774760] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-vtb1nqtd succeeded in 5ms:
[codex:774760] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:774760] 
[codex:774760] ================================================================================
[codex:774760] FILE: contracts/src/AllowanceTransfer.sol
[codex:774760] ================================================================================
[codex:774760] // SPDX-License-Identifier: MIT
[codex:774760] pragma solidity 0.8.17;
[codex:774760] 
[codex:774760] import {ERC20} from "solmate/tokens/ERC20.sol";
[codex:774760] import {SafeTransferLib} from "solmate/utils/SafeTransferLib.sol";
[codex:774760] import {PermitHash} from "./libraries/PermitHash.sol";
[codex:774760] import {SignatureVerification} from "./libraries/SignatureVerification.sol";
[codex:774760] import {EIP712} from "./EIP712.sol";
[codex:774760] import {IAllowanceTransfer} from "../src/interfaces/IAllowanceTransfer.sol";
[codex:774760] import {SignatureExpired, InvalidNonce} from "./PermitErrors.sol";
[codex:774760] import {Allowance} from "./libraries/Allowance.sol";
[codex:774760] 
[codex:774760] contract AllowanceTransfer is IAllowanceTransfer, EIP712 {
[codex:774760]     using SignatureVerification for bytes;
[codex:774760]     using SafeTransferLib for ERC20;
[codex:774760] 
[codex:774760] thinking
[codex:774760] **Continuing to read AUDIT_BUNDLE**
[codex:774760] exec
[codex:774760] /bin/bash -lc 'rg -n "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-vtb1nqtd succeeded in 6ms:
[codex:774760] 4:FILE: contracts/src/AllowanceTransfer.sol
[codex:774760] 151:FILE: contracts/src/EIP712.sol
[codex:774760] 194:FILE: contracts/src/Permit2.sol
[codex:774760] 209:FILE: contracts/src/PermitErrors.sol
[codex:774760] 224:FILE: contracts/src/SignatureTransfer.sol
[codex:774760] 387:FILE: contracts/src/interfaces/IAllowanceTransfer.sol
[codex:774760] 551:FILE: contracts/src/interfaces/IERC1271.sol
[codex:774760] 565:FILE: contracts/src/interfaces/ISignatureTransfer.sol
[codex:774760] 701:FILE: contracts/src/libraries/Allowance.sol
[codex:774760] 753:FILE: contracts/src/libraries/PermitHash.sol
[codex:774760] 891:FILE: contracts/src/libraries/SignatureVerification.sol
[codex:774760] 
[codex:774760] thinking
[codex:774760] **Analyzing Permit2 for vulnerabilities**
[codex:774760] exec
[codex:774760] /bin/bash -lc "sed -n '430,520p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-vtb1nqtd succeeded in 6ms:
[codex:774760]     /// @notice The permit data for a token
[codex:774760]     struct PermitDetails {
[codex:774760]         // ERC20 token address
[codex:774760]         address token;
[codex:774760]         // the maximum amount allowed to spend
[codex:774760]         uint160 amount;
[codex:774760]         // timestamp at which a spender's token allowances become invalid
[codex:774760]         uint48 expiration;
[codex:774760]         // an incrementing value indexed per owner,token,and spender for each signature
[codex:774760]         uint48 nonce;
[codex:774760]     }
[codex:774760] 
[codex:774760]     /// @notice The permit message signed for a single token allownce
[codex:774760]     struct PermitSingle {
[codex:774760]         // the permit data for a single token alownce
[codex:774760]         PermitDetails details;
[codex:774760]         // address permissioned on the allowed tokens
[codex:774760]         address spender;
[codex:774760]         // deadline on the permit signature
[codex:774760]         uint256 sigDeadline;
[codex:774760] 
[codex:774760] thinking
[codex:774760] **Analyzing signature and permit vulnerabilities**
[codex:774760] 
[codex:774760] I'm carefully reviewing signature verification, nonce handling, ERC20 transfers, and permit hashing for any exploitable scenarios. After reasoning through malleability, nonce usage, expiration, and trusted libraries, I find no concrete vulnerabilities or profit paths, so I'll prepare a JSON output indicating no findings with a concise summary.
[codex:774760] codex
[codex:774760] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
[codex:774760] tokens used
[codex:774760] 17,770
[codex:774760] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T00:14:14.161145+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x40
00000002: PUSH1 0x80
00000004: DUP2
00000005: MSTORE
00000006: PUSH1 0x04
00000008: SWAP1
00000009: DUP2
0000000a: CALLDATASIZE
0000000b: LT
0000000c: ISZERO
0000000d: PUSH2 0x0015
00000010: JUMPI
00000011: PUSH1 0x00
00000013: DUP1
00000014: REVERT
00000015: JUMPDEST
00000016: PUSH1 0x00
00000018: SWAP1
00000019: DUP2
0000001a: CALLDATALOAD
0000001b: PUSH1 0xe0
0000001d: SHR
0000001e: DUP1
0000001f: PUSH4 0x0d58b1db
00000024: EQ
00000025: PUSH2 0x126c
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x137c29fe
0000002f: EQ
00000030: PUSH2 0x1075
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x2a2d80d1
0000003a: EQ
0000003b: PUSH2 0x0db7
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x2b67b570
00000045: EQ
00000046: PUSH2 0x0bde
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x30f28b7a
00000050: EQ
00000051: PUSH2 0x0ade
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x3644e515
0000005b: EQ
0000005c: PUSH2 0x0a9d
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x36c78516
00000066: EQ
00000067: PUSH2 0x0a28
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x3ff9dcb1
00000071: EQ
00000072: PUSH2 0x09a8
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x4fe02b44
0000007c: EQ
0000007d: PUSH2 0x093f
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x65d9723c
00000087: EQ
00000088: PUSH2 0x07ac
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x87517c45
00000092: EQ
00000093: PUSH2 0x067a
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x927da105
0000009d: EQ
0000009e: PUSH2 0x05c3
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xcc53287f
000000a8: EQ
000000a9: PUSH2 0x04a3
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xedd9444b
000000b3: EQ
000000b4: PUSH2 0x033a
000000b7: JUMPI
000000b8: PUSH4 0xfe8ec1a7
000000bd: EQ
000000be: PUSH2 0x00c6
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: CALLVALUE
000000c8: PUSH2 0x0336
000000cb: JUMPI
000000cc: PUSH1 0xc0
000000ce: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000000ef: CALLDATASIZE
000000f0: ADD
000000f1: SLT
000000f2: PUSH2 0x0336
000000f5: JUMPI
000000f6: PUSH8 0xffffffffffffffff
000000ff: DUP4
00000100: CALLDATALOAD
00000101: DUP2
00000102: DUP2
00000103: GT
00000104: PUSH2 0x0332
00000107: JUMPI
00000108: PUSH2 0x0114
0000010b: SWAP1
0000010c: CALLDATASIZE
0000010d: SWAP1
0000010e: DUP7
0000010f: ADD
00000110: PUSH2 0x164b
00000113: JUMP
00000114: JUMPDEST
00000115: PUSH1 0x24
00000117: CALLDATALOAD
00000118: DUP3
00000119: DUP2
0000011a: GT
0000011b: PUSH2 0x032e
0000011e: JUMPI
0000011f: PUSH2 0x012b
00000122: SWAP1
00000123: CALLDATASIZE
00000124: SWAP1
00000125: DUP8
00000126: ADD
00000127: PUSH2 0x161a
0000012a: JUMP
0000012b: JUMPDEST
0000012c: PUSH2 0x0133
0000012f: PUSH2 0x14e6
00000132: JUMP
00000133: JUMPDEST
00000134: SWAP2
00000135: PUSH1 0x84
00000137: CALLDATALOAD
00000138: DUP6
00000139: DUP2
0000013a: GT
0000013b: PUSH2 0x032a
0000013e: JUMPI
0000013f: PUSH2 0x014b
00000142: SWAP1
00000143: CALLDATASIZE
00000144: SWAP1
00000145: DUP11
00000146: ADD
00000147: PUSH2 0x15c1
0000014a: JUMP
0000014b: JUMPDEST
0000014c: SWAP9
0000014d: SWAP1
0000014e: SWAP6
0000014f: PUSH1 0xa4
00000151: CALLDATALOAD
00000152: SWAP1
00000153: DUP2
00000154: GT
00000155: PUSH2 0x0326
00000158: JUMPI
00000159: PUSH2 0x0164
0000015c: SWAP2
0000015d: CALLDATASIZE
0000015e: SWAP2
0000015f: ADD
00000160: PUSH2 0x15c1
00000163: JUMP
00000164: JUMPDEST
00000165: SWAP7
00000166: SWAP1
00000167: SWAP6
00000168: DUP2
00000169: MLOAD
0000016a: SWAP1
0000016b: PUSH2 0x0173
0000016e: DUP3
0000016f: PUSH2 0x13ff
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH1 0x6b
00000176: DUP3
00000177: MSTORE
00000178: PUSH32 0x5065726d697442617463685769746e6573735472616e7366657246726f6d2854
00000199: PUSH1 0x20
0000019b: DUP4
0000019c: ADD
0000019d: MSTORE
0000019e: PUSH32 0x6f6b656e5065726d697373696f6e735b5d207065726d69747465642c61646472
000001bf: DUP4
000001c0: DUP4
000001c1: ADD
000001c2: MSTORE
000001c3: PUSH32 0x657373207370656e6465722c75696e74323536206e6f6e63652c75696e743235
000001e4: PUSH1 0x60
000001e6: DUP4
000001e7: ADD
000001e8: MSTORE
000001e9: PUSH32 0x3620646561646c696e652c000000000000000000000000000000000000000000
0000020a: PUSH1 0x80
0000020c: DUP4
0000020d: ADD
0000020e: MSTORE
0000020f: DUP3
00000210: MLOAD
00000211: SWAP11
00000212: DUP12
00000213: SWAP2
00000214: DUP2
00000215: PUSH2 0x0222
00000218: PUSH1 0x20
0000021a: DUP6
0000021b: ADD
0000021c: DUP1
0000021d: SWAP7
0000021e: PUSH2 0x1f93
00000221: JUMP
00000222: JUMPDEST
00000223: SWAP2
00000224: DUP3
00000225: CALLDATACOPY
00000226: ADD
00000227: DUP11
00000228: DUP2
00000229: MSTORE
0000022a: SUB
0000022b: SWAP10
0000022c: PUSH2 0x025b
0000022f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000250: SWAP12
00000251: DUP13
00000252: DUP2
00000253: ADD
00000254: DUP4
00000255: MSTORE
00000256: DUP3
00000257: PUSH2 0x1437
0000025a: JUMP
0000025b: JUMPDEST
0000025c: MLOAD
0000025d: SWAP1
0000025e: KECCAK256
0000025f: SWAP1
00000260: DUP6
00000261: MLOAD
00000262: MLOAD
00000263: PUSH2 0x026b
00000266: DUP2
00000267: PUSH2 0x1ebb
0000026a: JUMP
0000026b: JUMPDEST
0000026c: SWAP1
0000026d: DUP11
0000026e: JUMPDEST
0000026f: DUP2
00000270: DUP2
00000271: LT
00000272: PUSH2 0x02f9
00000275: JUMPI
00000276: POP
00000277: POP
00000278: PUSH2 0x02f6
0000027b: SWAP10
0000027c: SWAP11
0000027d: PUSH2 0x02ed
00000280: SWAP2
00000281: DUP4
00000282: MLOAD
00000283: PUSH2 0x02a0
00000286: DUP2
00000287: PUSH2 0x0294
0000028a: PUSH1 0x20
0000028c: DUP3
0000028d: ADD
0000028e: DUP1
0000028f: SWAP6
00000290: PUSH2 0x1f66
00000293: JUMP
00000294: JUMPDEST
00000295: SUB
00000296: DUP5
00000297: DUP2
00000298: ADD
00000299: DUP4
0000029a: MSTORE
0000029b: DUP3
0000029c: PUSH2 0x1437
0000029f: JUMP
000002a0: JUMPDEST
000002a1: MLOAD
000002a2: SWAP1
000002a3: KECCAK256
000002a4: PUSH1 0x20
000002a6: DUP10
000002a7: DUP2
000002a8: ADD
000002a9: MLOAD
000002aa: DUP6
000002ab: DUP12
000002ac: ADD
000002ad: MLOAD
000002ae: SWAP6
000002af: MLOAD
000002b0: SWAP2
000002b1: DUP3
000002b2: ADD
000002b3: SWAP7
000002b4: DUP8
000002b5: MSTORE
000002b6: PUSH1 0x40
000002b8: DUP3
000002b9: ADD
000002ba: SWAP3
000002bb: SWAP1
000002bc: SWAP3
000002bd: MSTORE
000002be: CALLER
000002bf: PUSH1 0x60
000002c1: DUP3
000002c2: ADD
000002c3: MSTORE
000002c4: PUSH1 0x80
000002c6: DUP2
000002c7: ADD
000002c8: SWAP2
000002c9: SWAP1
000002ca: SWAP2
000002cb: MSTORE
000002cc: PUSH1 0xa0
000002ce: DUP2
000002cf: ADD
000002d0: SWAP4
000002d1: SWAP1
000002d2: SWAP4
000002d3: MSTORE
000002d4: PUSH1 0x64
000002d6: CALLDATALOAD
000002d7: PUSH1 0xc0
000002d9: DUP5
000002da: ADD
000002db: MSTORE
000002dc: DUP3
000002dd: PUSH1 0xe0
000002df: DUP2
000002e0: ADD
000002e1: JUMPDEST
000002e2: SUB
000002e3: SWAP1
000002e4: DUP2
000002e5: ADD
000002e6: DUP4
000002e7: MSTORE
000002e8: DUP3
000002e9: PUSH2 0x1437
000002ec: JUMP
000002ed: JUMPDEST
000002ee: MLOAD
000002ef: SWAP1
000002f0: KECCAK256
000002f1: SWAP4
000002f2: PUSH2 0x1cf7
000002f5: JUMP
000002f6: JUMPDEST
000002f7: DUP1
000002f8: RETURN
000002f9: JUMPDEST
000002fa: DUP1
000002fb: PUSH2 0x0311
000002fe: PUSH2 0x030b
00000301: PUSH2 0x0321
00000304: SWAP4
00000305: DUP13
00000306: MLOAD
00000307: PUSH2 0x175e
0000030a: JUMP
0000030b: JUMPDEST
0000030c: MLOAD
0000030d: PUSH2 0x2054
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x031b
00000315: DUP3
00000316: DUP7
00000317: PUSH2 0x175e
0000031a: JUMP
0000031b: JUMPDEST
0000031c: MSTORE
0000031d: PUSH2 0x1f0a
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH2 0x026e
00000325: JUMP
00000326: JUMPDEST
00000327: DUP9
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: DUP8
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: DUP5
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: DUP4
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: SWAP2
0000033d: CALLVALUE
0000033e: PUSH2 0x0336
00000341: JUMPI
00000342: PUSH1 0x80
00000344: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000365: CALLDATASIZE
00000366: ADD
00000367: SLT
00000368: PUSH2 0x0336
0000036b: JUMPI
0000036c: PUSH8 0xffffffffffffffff
00000375: SWAP1
00000376: DUP1
00000377: CALLDATALOAD
00000378: DUP3
00000379: DUP2
0000037a: GT
0000037b: PUSH2 0x0332
0000037e: JUMPI
0000037f: PUSH2 0x038b
00000382: SWAP1
00000383: CALLDATASIZE
00000384: SWAP1
00000385: DUP4
00000386: ADD
00000387: PUSH2 0x164b
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH1 0x24
0000038e: CALLDATALOAD
0000038f: DUP4
00000390: DUP2
00000391: GT
00000392: PUSH2 0x032e
00000395: JUMPI
00000396: PUSH2 0x03a2
00000399: SWAP1
0000039a: CALLDATASIZE
0000039b: SWAP1
0000039c: DUP5
0000039d: ADD
0000039e: PUSH2 0x161a
000003a1: JUMP
000003a2: JUMPDEST
000003a3: SWAP4
000003a4: SWAP1
000003a5: SWAP3
000003a6: PUSH2 0x03ad
000003a9: PUSH2 0x14e6
000003ac: JUMP
000003ad: JUMPDEST
000003ae: SWAP2
000003af: PUSH1 0x64
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: DUP2
000003b4: GT
000003b5: PUSH2 0x049f
000003b8: JUMPI
000003b9: PUSH2 0x03c4
000003bc: SWAP2
000003bd: CALLDATASIZE
000003be: SWAP2
000003bf: ADD
000003c0: PUSH2 0x15c1
000003c3: JUMP
000003c4: JUMPDEST
000003c5: SWAP5
000003c6: SWAP1
000003c7: SWAP4
000003c8: DUP4
000003c9: MLOAD
000003ca: MLOAD
000003cb: SWAP8
000003cc: PUSH2 0x03d4
000003cf: DUP10
000003d0: PUSH2 0x1ebb
000003d3: JUMP
000003d4: JUMPDEST
000003d5: SWAP9
000003d6: DUP9
000003d7: JUMPDEST
000003d8: DUP2
000003d9: DUP2
000003da: LT
000003db: PUSH2 0x047d
000003de: JUMPI
000003df: POP
000003e0: POP
000003e1: PUSH2 0x02f6
000003e4: SWAP8
000003e5: SWAP9
000003e6: DUP2
000003e7: MLOAD
000003e8: PUSH2 0x0425
000003eb: DUP2
000003ec: PUSH2 0x03f9
000003ef: PUSH1 0x20
000003f1: DUP3
000003f2: ADD
000003f3: DUP1
000003f4: SWAP6
000003f5: PUSH2 0x1f66
000003f8: JUMP
000003f9: JUMPDEST
000003fa: SUB
000003fb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000041c: DUP2
0000041d: ADD
0000041e: DUP4
0000041f: MSTORE
00000420: DUP3
00000421: PUSH2 0x1437
00000424: JUMP
00000425: JUMPDEST
00000426: MLOAD
00000427: SWAP1
00000428: KECCAK256
00000429: PUSH1 0x20
0000042b: DUP7
0000042c: ADD
0000042d: MLOAD
0000042e: DUP3
0000042f: DUP8
00000430: ADD
00000431: MLOAD
00000432: SWAP1
00000433: DUP4
00000434: MLOAD
00000435: SWAP3
00000436: PUSH1 0x20
00000438: DUP5
00000439: ADD
0000043a: SWAP5
0000043b: PUSH32 0xfcf35f5ac6a2c28868dc44c302166470266239195f02b0ee408334829333b766
0000045c: DUP7
0000045d: MSTORE
0000045e: DUP5
0000045f: ADD
00000460: MSTORE
00000461: CALLER
00000462: PUSH1 0x60
00000464: DUP5
00000465: ADD
00000466: MSTORE
00000467: PUSH1 0x80
00000469: DUP4
0000046a: ADD
0000046b: MSTORE
0000046c: PUSH1 0xa0
0000046e: DUP3
0000046f: ADD
00000470: MSTORE
00000471: PUSH1 0xa0
00000473: DUP2
00000474: MSTORE
00000475: PUSH2 0x02ed
00000478: DUP2
00000479: PUSH2 0x141b
0000047c: JUMP
0000047d: JUMPDEST
0000047e: DUP1
0000047f: DUP12
00000480: PUSH2 0x031b
00000483: DUP3
00000484: PUSH2 0x0494
00000487: PUSH2 0x030b
0000048a: PUSH2 0x049a
0000048d: SWAP7
0000048e: DUP14
0000048f: MLOAD
00000490: PUSH2 0x175e
00000493: JUMP
00000494: JUMPDEST
00000495: SWAP3
00000496: PUSH2 0x175e
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x03d7
0000049e: JUMP
0000049f: JUMPDEST
000004a0: DUP7
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: DUP3
000004a6: CALLVALUE
000004a7: PUSH2 0x05bf
000004aa: JUMPI
000004ab: PUSH1 0x20
000004ad: SWAP1
000004ae: DUP2
000004af: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000004d0: CALLDATASIZE
000004d1: ADD
000004d2: SLT
000004d3: PUSH2 0x0332
000004d6: JUMPI
000004d7: DUP1
000004d8: CALLDATALOAD
000004d9: SWAP1
000004da: PUSH8 0xffffffffffffffff
000004e3: DUP3
000004e4: GT
000004e5: PUSH2 0x032e
000004e8: JUMPI
000004e9: PUSH2 0x04f4
000004ec: SWAP2
000004ed: CALLDATASIZE
000004ee: SWAP2
000004ef: ADD
000004f0: PUSH2 0x161a
000004f3: JUMP
000004f4: JUMPDEST
000004f5: SWAP3
000004f6: SWAP1
000004f7: SWAP2
000004f8: DUP5
000004f9: JUMPDEST
000004fa: DUP5
000004fb: DUP2
000004fc: LT
000004fd: PUSH2 0x0504
00000500: JUMPI
00000501: DUP6
00000502: DUP1
00000503: RETURN
00000504: JUMPDEST
00000505: DUP1
00000506: PUSH2 0x051a
00000509: PUSH2 0x0515
0000050c: PUSH1 0x01
0000050e: SWAP4
0000050f: DUP9
00000510: DUP9
00000511: PUSH2 0x196c
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH2 0x197c
00000519: JUMP
0000051a: JUMPDEST
0000051b: PUSH2 0x052f
0000051e: DUP5
0000051f: PUSH2 0x0529
00000522: DUP5
00000523: DUP11
00000524: DUP11
00000525: PUSH2 0x196c
00000528: JUMP
00000529: JUMPDEST
0000052a: ADD
0000052b: PUSH2 0x197c
0000052e: JUMP
0000052f: JUMPDEST
00000530: CALLER
00000531: DUP10
00000532: MSTORE
00000533: DUP4
00000534: DUP6
00000535: MSTORE
00000536: DUP6
00000537: DUP10
00000538: KECCAK256
00000539: SWAP2
0000053a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000054f: DUP1
00000550: SWAP2
00000551: AND
00000552: SWAP3
00000553: DUP4
00000554: DUP12
00000555: MSTORE
00000556: DUP7
00000557: MSTORE
00000558: DUP7
00000559: DUP11
0000055a: KECCAK256
0000055b: SWAP2
0000055c: AND
0000055d: SWAP1
0000055e: DUP2
0000055f: DUP11
00000560: MSTORE
00000561: DUP6
00000562: MSTORE
00000563: DUP6
00000564: DUP10
00000565: KECCAK256
00000566: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000587: DUP2
00000588: SLOAD
00000589: AND
0000058a: SWAP1
0000058b: SSTORE
0000058c: DUP6
0000058d: MLOAD
0000058e: SWAP2
0000058f: DUP3
00000590: MSTORE
00000591: DUP5
00000592: DUP3
00000593: ADD
00000594: MSTORE
00000595: PUSH32 0x89b1add15eff56b3dfe299ad94e01f2b52fbcb80ae1a3baea6ae8c04cb2b98a4
000005b6: DUP6
000005b7: CALLER
000005b8: SWAP3
000005b9: LOG2
000005ba: ADD
000005bb: PUSH2 0x04f9
000005be: JUMP
000005bf: JUMPDEST
000005c0: DUP3
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: CALLVALUE
000005c6: PUSH2 0x0336
000005c9: JUMPI
000005ca: PUSH1 0x60
000005cc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000005ed: CALLDATASIZE
000005ee: ADD
000005ef: SLT
000005f0: PUSH2 0x0336
000005f3: JUMPI
000005f4: PUSH2 0x0676
000005f7: DUP2
000005f8: PUSH2 0x05ff
000005fb: PUSH2 0x14a0
000005fe: JUMP
000005ff: JUMPDEST
00000600: SWAP4
00000601: PUSH2 0x0608
00000604: PUSH2 0x14c3
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH2 0x0610
0000060c: PUSH2 0x14e6
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000626: SWAP7
00000627: DUP8
00000628: AND
00000629: DUP4
0000062a: MSTORE
0000062b: PUSH1 0x01
0000062d: PUSH1 0x20
0000062f: SWAP1
00000630: DUP2
00000631: MSTORE
00000632: DUP5
00000633: DUP5
00000634: KECCAK256
00000635: SWAP3
00000636: DUP9
00000637: AND
00000638: DUP5
00000639: MSTORE
0000063a: SWAP2
0000063b: DUP3
0000063c: MSTORE
0000063d: DUP4
0000063e: DUP4
0000063f: KECCAK256
00000640: SWAP1
00000641: DUP8
00000642: AND
00000643: DUP4
00000644: MSTORE
00000645: DUP2
00000646: MSTORE
00000647: SWAP2
00000648: SWAP1
00000649: KECCAK256
0000064a: SLOAD
0000064b: SWAP3
0000064c: MLOAD
0000064d: SWAP4
0000064e: DUP4
0000064f: AND
00000650: DUP5
00000651: MSTORE
00000652: PUSH1 0xa0
00000654: DUP4
00000655: SWAP1
00000656: SHR
00000657: PUSH6 0xffffffffffff
0000065e: AND
0000065f: SWAP1
00000660: DUP5
00000661: ADD
00000662: MSTORE
00000663: PUSH1 0xd0
00000665: SWAP2
00000666: SWAP1
00000667: SWAP2
00000668: SHR
00000669: PUSH1 0x40
0000066b: DUP4
0000066c: ADD
0000066d: MSTORE
0000066e: DUP2
0000066f: SWAP1
00000670: PUSH1 0x60
00000672: DUP3
00000673: ADD
00000674: SWAP1
00000675: JUMP
00000676: JUMPDEST
00000677: SUB
00000678: SWAP1
00000679: RETURN
0000067a: JUMPDEST
0000067b: POP
0000067c: CALLVALUE
0000067d: PUSH2 0x0336
00000680: JUMPI
00000681: PUSH1 0x80
00000683: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000006a4: CALLDATASIZE
000006a5: ADD
000006a6: SLT
000006a7: PUSH2 0x0336
000006aa: JUMPI
000006ab: PUSH2 0x06b2
000006ae: PUSH2 0x14a0
000006b1: JUMP
000006b2: JUMPDEST
000006b3: SWAP1
000006b4: PUSH2 0x06bb
000006b7: PUSH2 0x14c3
000006ba: JUMP
000006bb: JUMPDEST
000006bc: SWAP2
000006bd: PUSH2 0x06c4
000006c0: PUSH2 0x14e6
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH6 0xffffffffffff
000006cc: SWAP3
000006cd: PUSH1 0x64
000006cf: CALLDATALOAD
000006d0: DUP5
000006d1: DUP2
000006d2: AND
000006d3: SWAP1
000006d4: DUP2
000006d5: DUP2
000006d6: SUB
000006d7: PUSH2 0x032a
000006da: JUMPI
000006db: PUSH26 0xffffffffffff0000000000000000000000000000000000000000
000006f6: SWAP5
000006f7: PUSH32 0xda9fa7c1b00402c17d0161b249b1ab8bbec047c5a52207b9c112deffd817036b
00000718: SWAP5
00000719: CALLER
0000071a: DUP11
0000071b: MSTORE
0000071c: PUSH1 0x01
0000071e: PUSH1 0x20
00000720: MSTORE
00000721: PUSH32 0xffffffffffff0000000000000000000000000000000000000000000000000000
00000742: DUP6
00000743: DUP12
00000744: KECCAK256
00000745: SWAP9
00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000075b: DUP1
0000075c: SWAP5
0000075d: AND
0000075e: SWAP10
0000075f: DUP11
00000760: DUP14
00000761: MSTORE
00000762: PUSH1 0x20
00000764: MSTORE
00000765: DUP4
00000766: DUP8
00000767: DUP14
00000768: KECCAK256
00000769: SWAP12
0000076a: AND
0000076b: SWAP11
0000076c: DUP12
0000076d: DUP14
0000076e: MSTORE
0000076f: PUSH1 0x20
00000771: MSTORE
00000772: DUP7
00000773: DUP13
00000774: KECCAK256
00000775: SWAP5
00000776: DUP7
00000777: ISZERO
00000778: PUSH1 0x00
0000077a: EQ
0000077b: PUSH2 0x07a4
0000077e: JUMPI
0000077f: POP
00000780: TIMESTAMP
00000781: AND
00000782: SWAP3
00000783: JUMPDEST
00000784: DUP5
00000785: SLOAD
00000786: SWAP3
00000787: AND
00000788: SWAP8
00000789: DUP9
0000078a: SWAP4
0000078b: PUSH1 0xa0
0000078d: SHL
0000078e: AND
0000078f: SWAP2
00000790: AND
00000791: OR
00000792: OR
00000793: SWAP1
00000794: SSTORE
00000795: DUP2
00000796: MLOAD
00000797: SWAP4
00000798: DUP5
00000799: MSTORE
0000079a: PUSH1 0x20
0000079c: DUP5
0000079d: ADD
0000079e: MSTORE
0000079f: CALLER
000007a0: SWAP3
000007a1: LOG4
000007a2: DUP1
000007a3: RETURN
000007a4: JUMPDEST
000007a5: SWAP1
000007a6: POP
000007a7: SWAP3
000007a8: PUSH2 0x0783
000007ab: JUMP
000007ac: JUMPDEST
000007ad: POP
000007ae: DUP3
000007af: CALLVALUE
000007b0: PUSH2 0x05bf
000007b3: JUMPI
000007b4: PUSH1 0x60
000007b6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007d7: CALLDATASIZE
000007d8: ADD
000007d9: SLT
000007da: PUSH2 0x05bf
000007dd: JUMPI
000007de: PUSH2 0x07e5
000007e1: PUSH2 0x14a0
000007e4: JUMP
000007e5: JUMPDEST
000007e6: SWAP1
000007e7: PUSH2 0x07ee
000007ea: PUSH2 0x14c3
000007ed: JUMP
000007ee: JUMPDEST
000007ef: SWAP3
000007f0: PUSH6 0xffffffffffff
000007f7: PUSH1 0x44
000007f9: CALLDATALOAD
000007fa: DUP2
000007fb: DUP2
000007fc: AND
000007fd: SWAP4
000007fe: SWAP1
000007ff: DUP5
00000800: DUP2
00000801: SUB
00000802: PUSH2 0x032a
00000805: JUMPI
00000806: CALLER
00000807: DUP9
00000808: MSTORE
00000809: PUSH1 0x20
0000080b: SWAP2
0000080c: PUSH1 0x01
0000080e: DUP4
0000080f: MSTORE
00000810: DUP5
00000811: DUP10
00000812: KECCAK256
00000813: SWAP7
00000814: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000829: DUP1
0000082a: SWAP2
0000082b: AND
0000082c: SWAP8
0000082d: DUP9
0000082e: DUP12
0000082f: MSTORE
00000830: DUP5
00000831: MSTORE
00000832: DUP6
00000833: DUP11
00000834: KECCAK256
00000835: SWAP9
00000836: AND
00000837: SWAP8
00000838: DUP9
00000839: DUP11
0000083a: MSTORE
0000083b: DUP4
0000083c: MSTORE
0000083d: DUP5
0000083e: DUP10
0000083f: KECCAK256
00000840: SLOAD
00000841: PUSH1 0xd0
00000843: SHR
00000844: SWAP4
00000845: DUP5
00000846: DUP8
00000847: GT
00000848: ISZERO
00000849: PUSH2 0x0917
0000084c: JUMPI
0000084d: PUSH2 0xffff
00000850: SWAP1
00000851: DUP6
00000852: DUP5
00000853: SUB
00000854: AND
00000855: GT
00000856: PUSH2 0x08f0
00000859: JUMPI
0000085a: POP
0000085b: SWAP1
0000085c: PUSH32 0x55eb90d810e1700b35a8e7e25395ff7f2b2259abd7415ca2284dfb1c246418f3
0000087d: SWAP4
0000087e: SWAP3
0000087f: SWAP2
00000880: CALLER
00000881: DUP10
00000882: MSTORE
00000883: PUSH1 0x01
00000885: DUP3
00000886: MSTORE
00000887: DUP4
00000888: DUP10
00000889: KECCAK256
0000088a: DUP8
0000088b: DUP11
0000088c: MSTORE
0000088d: DUP3
0000088e: MSTORE
0000088f: DUP4
00000890: DUP10
00000891: KECCAK256
00000892: DUP9
00000893: DUP11
00000894: MSTORE
00000895: DUP3
00000896: MSTORE
00000897: DUP4
00000898: DUP10
00000899: KECCAK256
0000089a: SWAP1
0000089b: PUSH26 0xffffffffffffffffffffffffffffffffffffffffffffffffffff
000008b6: PUSH32 0xffffffffffff0000000000000000000000000000000000000000000000000000
000008d7: DUP4
000008d8: SLOAD
000008d9: SWAP3
000008da: PUSH1 0xd0
000008dc: SHL
000008dd: AND
000008de: SWAP2
000008df: AND
000008e0: OR
000008e1: SWAP1
000008e2: SSTORE
000008e3: DUP3
000008e4: MLOAD
000008e5: SWAP5
000008e6: DUP6
000008e7: MSTORE
000008e8: DUP5
000008e9: ADD
000008ea: MSTORE
000008eb: CALLER
000008ec: SWAP3
000008ed: LOG4
000008ee: DUP1
000008ef: RETURN
000008f0: JUMPDEST
000008f1: DUP5
000008f2: MLOAD
000008f3: PUSH32 0x24d35a2600000000000000000000000000000000000000000000000000000000
00000914: DUP2
00000915: MSTORE
00000916: REVERT
00000917: JUMPDEST
00000918: POP
00000919: DUP5
0000091a: MLOAD
0000091b: PUSH32 0x756688fe00000000000000000000000000000000000000000000000000000000
0000093c: DUP2
0000093d: MSTORE
0000093e: REVERT
0000093f: JUMPDEST
00000940: POP
00000941: CALLVALUE
00000942: PUSH2 0x0336
00000945: JUMPI
00000946: DUP1
00000947: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000968: CALLDATASIZE
00000969: ADD
0000096a: SLT
0000096b: PUSH2 0x0336
0000096e: JUMPI
0000096f: DUP1
00000970: PUSH1 0x20
00000972: SWAP3
00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000988: PUSH2 0x098f
0000098b: PUSH2 0x14a0
0000098e: JUMP
0000098f: JUMPDEST
00000990: AND
00000991: DUP2
00000992: MSTORE
00000993: DUP1
00000994: DUP5
00000995: MSTORE
00000996: DUP2
00000997: DUP2
00000998: KECCAK256
00000999: PUSH1 0x24
0000099b: CALLDATALOAD
0000099c: DUP3
0000099d: MSTORE
0000099e: DUP5
0000099f: MSTORE
000009a0: KECCAK256
000009a1: SLOAD
000009a2: SWAP1
000009a3: MLOAD
000009a4: SWAP1
000009a5: DUP2
000009a6: MSTORE
000009a7: RETURN
000009a8: JUMPDEST
000009a9: POP
000009aa: DUP3
000009ab: CALLVALUE
000009ac: PUSH2 0x05bf
000009af: JUMPI
000009b0: DUP2
000009b1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000009d2: CALLDATASIZE
000009d3: ADD
000009d4: SLT
000009d5: PUSH2 0x05bf
000009d8: JUMPI
000009d9: PUSH32 0x3704902f963766a4e561bbaab6e6cdc1b1dd12f6e9e99648da8843b3f46b918d
000009fa: SWAP1
000009fb: CALLDATALOAD
000009fc: SWAP2
000009fd: PUSH1 0x24
000009ff: CALLDATALOAD
00000a00: CALLER
00000a01: DUP6
00000a02: MSTORE
00000a03: DUP5
00000a04: PUSH1 0x20
00000a06: MSTORE
00000a07: DUP2
00000a08: DUP6
00000a09: KECCAK256
00000a0a: DUP5
00000a0b: DUP7
00000a0c: MSTORE
00000a0d: PUSH1 0x20
00000a0f: MSTORE
00000a10: DUP2
00000a11: DUP6
00000a12: KECCAK256
00000a13: DUP2
00000a14: DUP2
00000a15: SLOAD
00000a16: OR
00000a17: SWAP1
00000a18: SSTORE
00000a19: DUP2
00000a1a: MLOAD
00000a1b: SWAP4
00000a1c: DUP5
00000a1d: MSTORE
00000a1e: PUSH1 0x20
00000a20: DUP5
00000a21: ADD
00000a22: MSTORE
00000a23: CALLER
00000a24: SWAP3
00000a25: LOG2
00000a26: DUP1
00000a27: RETURN
00000a28: JUMPDEST
00000a29: DUP3
00000a2a: CALLVALUE
00000a2b: PUSH2 0x0a9a
00000a2e: JUMPI
00000a2f: PUSH1 0x80
00000a31: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a52: CALLDATASIZE
00000a53: ADD
00000a54: SLT
00000a55: PUSH2 0x0a9a
00000a58: JUMPI
00000a59: PUSH2 0x0a60
00000a5c: PUSH2 0x14a0
00000a5f: JUMP
00000a60: JUMPDEST
00000a61: PUSH2 0x0a68
00000a64: PUSH2 0x14c3
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH2 0x0a70
00000a6c: PUSH2 0x14e6
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: PUSH1 0x64
00000a73: CALLDATALOAD
00000a74: SWAP2
00000a75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8a: DUP4
00000a8b: AND
00000a8c: DUP4
00000a8d: SUB
00000a8e: PUSH2 0x032e
00000a91: JUMPI
00000a92: PUSH2 0x02f6
00000a95: SWAP4
00000a96: PUSH2 0x17a1
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: DUP1
00000a9c: REVERT
00000a9d: JUMPDEST
00000a9e: POP
00000a9f: CALLVALUE
00000aa0: PUSH2 0x0336
00000aa3: JUMPI
00000aa4: DUP2
00000aa5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ac6: CALLDATASIZE
00000ac7: ADD
00000ac8: SLT
00000ac9: PUSH2 0x0336
00000acc: JUMPI
00000acd: PUSH1 0x20
00000acf: SWAP1
00000ad0: PUSH2 0x0ad7
00000ad3: PUSH2 0x1b1e
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: SWAP1
00000ad9: MLOAD
00000ada: SWAP1
00000adb: DUP2
00000adc: MSTORE
00000add: RETURN
00000ade: JUMPDEST
00000adf: POP
00000ae0: DUP3
00000ae1: SWAP1
00000ae2: CALLVALUE
00000ae3: PUSH2 0x05bf
00000ae6: JUMPI
00000ae7: PUSH2 0x0100
00000aea: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000b0b: CALLDATASIZE
00000b0c: ADD
00000b0d: SLT
00000b0e: PUSH2 0x05bf
00000b11: JUMPI
00000b12: PUSH2 0x0b1a
00000b15: CALLDATASIZE
00000b16: PUSH2 0x152a
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: SWAP1
00000b1c: DUP1
00000b1d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7c
00000b3e: CALLDATASIZE
00000b3f: ADD
00000b40: SLT
00000b41: PUSH2 0x0332
00000b44: JUMPI
00000b45: PUSH2 0x0b4c
00000b48: PUSH2 0x1478
00000b4b: JUMP
00000b4c: JUMPDEST
00000b4d: SWAP2
00000b4e: PUSH1 0xe4
00000b50: CALLDATALOAD
00000b51: PUSH8 0xffffffffffffffff
00000b5a: DUP2
00000b5b: GT
00000b5c: PUSH2 0x0bda
00000b5f: JUMPI
00000b60: PUSH2 0x02f6
00000b63: SWAP5
00000b64: PUSH2 0x0b6f
00000b67: SWAP2
00000b68: CALLDATASIZE
00000b69: SWAP2
00000b6a: ADD
00000b6b: PUSH2 0x15c1
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: SWAP4
00000b71: SWAP1
00000b72: SWAP3
00000b73: PUSH2 0x0b7c
00000b76: DUP4
00000b77: MLOAD
00000b78: PUSH2 0x2054
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x20
00000b7f: DUP5
00000b80: ADD
00000b81: MLOAD
00000b82: DUP3
00000b83: DUP6
00000b84: ADD
00000b85: MLOAD
00000b86: SWAP1
00000b87: DUP4
00000b88: MLOAD
00000b89: SWAP3
00000b8a: PUSH1 0x20
00000b8c: DUP5
00000b8d: ADD
00000b8e: SWAP5
00000b8f: PUSH32 0x939c21a48a8dbe3a9a2404a1d46691e4d39f6583d6ec6b35714604c986d80106
00000bb0: DUP7
00000bb1: MSTORE
00000bb2: DUP5
00000bb3: ADD
00000bb4: MSTORE
00000bb5: CALLER
00000bb6: PUSH1 0x60
00000bb8: DUP5
00000bb9: ADD
00000bba: MSTORE
00000bbb: PUSH1 0x80
00000bbd: DUP4
00000bbe: ADD
00000bbf: MSTORE
00000bc0: PUSH1 0xa0
00000bc2: DUP3
00000bc3: ADD
00000bc4: MSTORE
00000bc5: PUSH1 0xa0
00000bc7: DUP2
00000bc8: MSTORE
00000bc9: PUSH2 0x0bd1
00000bcc: DUP2
00000bcd: PUSH2 0x141b
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: MLOAD
00000bd3: SWAP1
00000bd4: KECCAK256
00000bd5: SWAP2
00000bd6: PUSH2 0x1c25
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: DUP6
00000bdc: DUP1
00000bdd: REVERT
00000bde: JUMPDEST
00000bdf: POP
00000be0: SWAP2
00000be1: CALLVALUE
00000be2: PUSH2 0x0336
00000be5: JUMPI
00000be6: PUSH2 0x0100
00000be9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c0a: CALLDATASIZE
00000c0b: ADD
00000c0c: SLT
00000c0d: PUSH2 0x0336
00000c10: JUMPI
00000c11: PUSH2 0x0c18
00000c14: PUSH2 0x14a0
00000c17: JUMP
00000c18: JUMPDEST
00000c19: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00000c3a: CALLDATASIZE
00000c3b: ADD
00000c3c: PUSH1 0xc0
00000c3e: DUP2
00000c3f: SLT
00000c40: PUSH2 0x0332
00000c43: JUMPI
00000c44: PUSH1 0x80
00000c46: DUP6
00000c47: MLOAD
00000c48: SWAP2
00000c49: PUSH2 0x0c51
00000c4c: DUP4
00000c4d: PUSH2 0x13e3
00000c50: JUMP
00000c51: JUMPDEST
00000c52: SLT
00000c53: PUSH2 0x0332
00000c56: JUMPI
00000c57: DUP5
00000c58: MLOAD
00000c59: SWAP1
00000c5a: PUSH2 0x0c62
00000c5d: DUP3
00000c5e: PUSH2 0x1398
00000c61: JUMP
00000c62: JUMPDEST
00000c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c78: SWAP2
00000c79: PUSH1 0x24
00000c7b: CALLDATALOAD
00000c7c: DUP4
00000c7d: DUP2
00000c7e: AND
00000c7f: DUP2
00000c80: SUB
00000c81: PUSH2 0x049f
00000c84: JUMPI
00000c85: DUP2
00000c86: MSTORE
00000c87: PUSH1 0x44
00000c89: CALLDATALOAD
00000c8a: DUP4
00000c8b: DUP2
00000c8c: AND
00000c8d: DUP2
00000c8e: SUB
00000c8f: PUSH2 0x049f
00000c92: JUMPI
00000c93: PUSH1 0x20
00000c95: DUP3
00000c96: ADD
00000c97: MSTORE
00000c98: PUSH6 0xffffffffffff
00000c9f: PUSH1 0x64
00000ca1: CALLDATALOAD
00000ca2: DUP2
00000ca3: DUP2
00000ca4: AND
00000ca5: DUP2
00000ca6: SUB
00000ca7: PUSH2 0x032a
00000caa: JUMPI
00000cab: DUP9
00000cac: DUP4
00000cad: ADD
00000cae: MSTORE
00000caf: PUSH1 0x84
00000cb1: CALLDATALOAD
00000cb2: SWAP1
00000cb3: DUP2
00000cb4: AND
00000cb5: DUP2
00000cb6: SUB
00000cb7: PUSH2 0x049f
00000cba: JUMPI
00000cbb: PUSH1 0x60
00000cbd: DUP3
00000cbe: ADD
00000cbf: MSTORE
00000cc0: DUP2
00000cc1: MSTORE
00000cc2: PUSH1 0xa4
00000cc4: CALLDATALOAD
00000cc5: SWAP4
00000cc6: DUP3
00000cc7: DUP6
00000cc8: AND
00000cc9: DUP6
00000cca: SUB
00000ccb: PUSH2 0x0bda
00000cce: JUMPI
00000ccf: PUSH1 0x20
00000cd1: DUP3
00000cd2: ADD
00000cd3: SWAP5
00000cd4: DUP6
00000cd5: MSTORE
00000cd6: PUSH1 0xc4
00000cd8: CALLDATALOAD
00000cd9: SWAP1
00000cda: DUP8
00000cdb: DUP4
00000cdc: ADD
00000cdd: DUP3
00000cde: DUP2
00000cdf: MSTORE
00000ce0: PUSH1 0xe4
00000ce2: CALLDATALOAD
00000ce3: PUSH8 0xffffffffffffffff
00000cec: DUP2
00000ced: GT
00000cee: PUSH2 0x0326
00000cf1: JUMPI
00000cf2: PUSH2 0x0cfe
00000cf5: SWAP1
00000cf6: CALLDATASIZE
00000cf7: SWAP1
00000cf8: DUP5
00000cf9: ADD
00000cfa: PUSH2 0x15c1
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: SWAP3
00000d00: SWAP1
00000d01: SWAP4
00000d02: DUP1
00000d03: TIMESTAMP
00000d04: GT
00000d05: PUSH2 0x0d88
00000d08: JUMPI
00000d09: POP
00000d0a: POP
00000d0b: SWAP2
00000d0c: DUP6
00000d0d: SWAP2
00000d0e: PUSH2 0x0d78
00000d11: PUSH2 0x02f6
00000d14: SWAP10
00000d15: SWAP11
00000d16: PUSH2 0x0d7e
00000d19: SWAP6
00000d1a: PUSH2 0x0d23
00000d1d: DUP9
00000d1e: MLOAD
00000d1f: PUSH2 0x1fbe
00000d22: JUMP
00000d23: JUMPDEST
00000d24: SWAP1
00000d25: DUP10
00000d26: DUP13
00000d27: MLOAD
00000d28: AND
00000d29: SWAP1
00000d2a: MLOAD
00000d2b: SWAP1
00000d2c: DUP4
00000d2d: MLOAD
00000d2e: SWAP3
00000d2f: PUSH1 0x20
00000d31: DUP5
00000d32: ADD
00000d33: SWAP5
00000d34: PUSH32 0xf3841cd1ff0085026a6327b620b67997ce40f282c88a8e905a7a5626e310f3d0
00000d55: DUP7
00000d56: MSTORE
00000d57: DUP5
00000d58: ADD
00000d59: MSTORE
00000d5a: PUSH1 0x60
00000d5c: DUP4
00000d5d: ADD
00000d5e: MSTORE
00000d5f: PUSH1 0x80
00000d61: DUP3
00000d62: ADD
00000d63: MSTORE
00000d64: PUSH1 0x80
00000d66: DUP2
00000d67: MSTORE
00000d68: PUSH2 0x0d70
00000d6b: DUP2
00000d6c: PUSH2 0x13ff
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: MLOAD
00000d72: SWAP1
00000d73: KECCAK256
00000d74: PUSH2 0x1bd9
00000d77: JUMP
00000d78: JUMPDEST
00000d79: SWAP2
00000d7a: PUSH2 0x20c7
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: MLOAD
00000d80: SWAP3
00000d81: MLOAD
00000d82: AND
00000d83: SWAP2
00000d84: PUSH2 0x199d
00000d87: JUMP
00000d88: JUMPDEST
00000d89: PUSH1 0x24
00000d8b: SWAP3
00000d8c: POP
00000d8d: DUP11
00000d8e: MLOAD
00000d8f: SWAP2
00000d90: PUSH32 0xcd21db4f00000000000000000000000000000000000000000000000000000000
00000db1: DUP4
00000db2: MSTORE
00000db3: DUP3
00000db4: ADD
00000db5: MSTORE
00000db6: REVERT
00000db7: JUMPDEST
00000db8: POP
00000db9: SWAP2
00000dba: CALLVALUE
00000dbb: PUSH2 0x0336
00000dbe: JUMPI
00000dbf: PUSH1 0x60
00000dc1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000de2: SWAP4
00000de3: DUP2
00000de4: DUP6
00000de5: CALLDATASIZE
00000de6: ADD
00000de7: SLT
00000de8: PUSH2 0x0332
00000deb: JUMPI
00000dec: PUSH2 0x0df3
00000def: PUSH2 0x14a0
00000df2: JUMP
00000df3: JUMPDEST
00000df4: SWAP3
00000df5: PUSH1 0x24
00000df7: SWAP1
00000df8: DUP2
00000df9: CALLDATALOAD
00000dfa: SWAP3
00000dfb: PUSH8 0xffffffffffffffff
00000e04: SWAP8
00000e05: DUP9
00000e06: DUP6
00000e07: GT
00000e08: PUSH2 0x032a
00000e0b: JUMPI
00000e0c: DUP6
00000e0d: SWAP1
00000e0e: DUP6
00000e0f: CALLDATASIZE
00000e10: SUB
00000e11: ADD
00000e12: SLT
00000e13: PUSH2 0x049f
00000e16: JUMPI
00000e17: DUP1
00000e18: MLOAD
00000e19: SWAP8
00000e1a: DUP6
00000e1b: DUP10
00000e1c: ADD
00000e1d: DUP10
00000e1e: DUP2
00000e1f: LT
00000e20: DUP3
00000e21: DUP3
00000e22: GT
00000e23: OR
00000e24: PUSH2 0x104a
00000e27: JUMPI
00000e28: DUP3
00000e29: MSTORE
00000e2a: DUP5
00000e2b: DUP4
00000e2c: ADD
00000e2d: CALLDATALOAD
00000e2e: DUP2
00000e2f: DUP2
00000e30: GT
00000e31: PUSH2 0x0326
00000e34: JUMPI
00000e35: DUP6
00000e36: ADD
00000e37: SWAP1
00000e38: CALLDATASIZE
00000e39: PUSH1 0x23
00000e3b: DUP4
00000e3c: ADD
00000e3d: SLT
00000e3e: ISZERO
00000e3f: PUSH2 0x0326
00000e42: JUMPI
00000e43: DUP4
00000e44: DUP3
00000e45: ADD
00000e46: CALLDATALOAD
00000e47: SWAP2
00000e48: PUSH2 0x0e50
00000e4b: DUP4
00000e4c: PUSH2 0x15ef
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: SWAP1
00000e52: PUSH2 0x0e5d
00000e55: DUP6
00000e56: MLOAD
00000e57: SWAP3
00000e58: DUP4
00000e59: PUSH2 0x1437
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: DUP4
00000e5f: DUP3
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: SWAP4
00000e64: DUP8
00000e65: DUP6
00000e66: DUP5
00000e67: ADD
00000e68: SWAP2
00000e69: PUSH1 0x07
00000e6b: SHL
00000e6c: DUP4
00000e6d: ADD
00000e6e: ADD
00000e6f: SWAP2
00000e70: CALLDATASIZE
00000e71: DUP4
00000e72: GT
00000e73: PUSH2 0x1046
00000e76: JUMPI
00000e77: DUP9
00000e78: ADD
00000e79: SWAP1
00000e7a: JUMPDEST
00000e7b: DUP3
00000e7c: DUP3
00000e7d: LT
00000e7e: PUSH2 0x0fe9
00000e81: JUMPI
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: DUP11
00000e86: MSTORE
00000e87: PUSH1 0x44
00000e89: PUSH2 0x0e93
00000e8c: DUP7
00000e8d: DUP9
00000e8e: ADD
00000e8f: PUSH2 0x1509
00000e92: JUMP
00000e93: JUMPDEST
00000e94: SWAP7
00000e95: DUP4
00000e96: DUP13
00000e97: ADD
00000e98: SWAP8
00000e99: DUP9
00000e9a: MSTORE
00000e9b: ADD
00000e9c: CALLDATALOAD
00000e9d: SWAP5
00000e9e: DUP4
00000e9f: DUP12
00000ea0: ADD
00000ea1: SWAP2
00000ea2: DUP7
00000ea3: DUP4
00000ea4: MSTORE
00000ea5: PUSH1 0x44
00000ea7: CALLDATALOAD
00000ea8: SWAP1
00000ea9: DUP2
00000eaa: GT
00000eab: PUSH2 0x0fe5
00000eae: JUMPI
00000eaf: PUSH2 0x0ebb
00000eb2: SWAP1
00000eb3: CALLDATASIZE
00000eb4: SWAP1
00000eb5: DUP8
00000eb6: ADD
00000eb7: PUSH2 0x15c1
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: SWAP6
00000ebd: SWAP1
00000ebe: SWAP7
00000ebf: DUP1
00000ec0: TIMESTAMP
00000ec1: GT
00000ec2: PUSH2 0x0fba
00000ec5: JUMPI
00000ec6: POP
00000ec7: POP
00000ec8: POP
00000ec9: DUP10
00000eca: SWAP9
00000ecb: SWAP10
00000ecc: MLOAD
00000ecd: MLOAD
00000ece: PUSH2 0x0ed6
00000ed1: DUP2
00000ed2: PUSH2 0x1ebb
00000ed5: JUMP
00000ed6: JUMPDEST
00000ed7: SWAP1
00000ed8: DUP12
00000ed9: JUMPDEST
00000eda: DUP2
00000edb: DUP2
00000edc: LT
00000edd: PUSH2 0x0f97
00000ee0: JUMPI
00000ee1: POP
00000ee2: POP
00000ee3: SWAP3
00000ee4: DUP9
00000ee5: SWAP5
00000ee6: SWAP3
00000ee7: PUSH2 0x0d78
00000eea: SWAP3
00000eeb: PUSH2 0x0f64
00000eee: SWAP8
00000eef: SWAP6
00000ef0: DUP4
00000ef1: MLOAD
00000ef2: PUSH2 0x0f02
00000ef5: DUP2
00000ef6: PUSH2 0x03f9
00000ef9: DUP7
00000efa: DUP3
00000efb: ADD
00000efc: DUP1
00000efd: SWAP6
00000efe: PUSH2 0x1f66
00000f01: JUMP
00000f02: JUMPDEST
00000f03: MLOAD
00000f04: SWAP1
00000f05: KECCAK256
00000f06: SWAP1
00000f07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1c: SWAP11
00000f1d: DUP12
00000f1e: DUP12
00000f1f: MLOAD
00000f20: AND
00000f21: SWAP2
00000f22: MLOAD
00000f23: SWAP3
00000f24: DUP6
00000f25: MLOAD
00000f26: SWAP5
00000f27: DUP6
00000f28: ADD
00000f29: SWAP6
00000f2a: PUSH32 0xaf1b0d30d2cab0380e68f0689007e3254993c596f2fdd0aaa7f4d04f79440863
00000f4b: DUP8
00000f4c: MSTORE
00000f4d: DUP6
00000f4e: ADD
00000f4f: MSTORE
00000f50: DUP4
00000f51: ADD
00000f52: MSTORE
00000f53: PUSH1 0x80
00000f55: DUP3
00000f56: ADD
00000f57: MSTORE
00000f58: PUSH1 0x80
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH2 0x0d70
00000f5f: DUP2
00000f60: PUSH2 0x13ff
00000f63: JUMP
00000f64: JUMPDEST
00000f65: MLOAD
00000f66: AND
00000f67: SWAP1
00000f68: DUP3
00000f69: MLOAD
00000f6a: MLOAD
00000f6b: SWAP3
00000f6c: DUP5
00000f6d: JUMPDEST
00000f6e: DUP5
00000f6f: DUP2
00000f70: LT
00000f71: PUSH2 0x0f78
00000f74: JUMPI
00000f75: DUP6
00000f76: DUP1
00000f77: RETURN
00000f78: JUMPDEST
00000f79: DUP1
00000f7a: PUSH2 0x0f91
00000f7d: DUP6
00000f7e: DUP6
00000f7f: PUSH2 0x0f8b
00000f82: PUSH1 0x01
00000f84: SWAP6
00000f85: DUP8
00000f86: MLOAD
00000f87: PUSH2 0x175e
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: MLOAD
00000f8d: PUSH2 0x199d
00000f90: JUMP
00000f91: JUMPDEST
00000f92: ADD
00000f93: PUSH2 0x0f6d
00000f96: JUMP
00000f97: JUMPDEST
00000f98: DUP1
00000f99: PUSH2 0x0311
00000f9c: PUSH2 0x0fac
00000f9f: DUP15
00000fa0: SWAP16
00000fa1: SWAP15
00000fa2: SWAP4
00000fa3: PUSH2 0x0fb2
00000fa6: SWAP5
00000fa7: MLOAD
00000fa8: PUSH2 0x175e
00000fab: JUMP
00000fac: JUMPDEST
00000fad: MLOAD
00000fae: PUSH2 0x1fbe
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: SWAP12
00000fb4: SWAP11
00000fb5: SWAP12
00000fb6: PUSH2 0x0ed9
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: DUP6
00000fbc: MLOAD
00000fbd: SWAP2
00000fbe: PUSH32 0xcd21db4f00000000000000000000000000000000000000000000000000000000
00000fdf: DUP4
00000fe0: MSTORE
00000fe1: DUP3
00000fe2: ADD
00000fe3: MSTORE
00000fe4: REVERT
00000fe5: JUMPDEST
00000fe6: DUP11
00000fe7: DUP1
00000fe8: REVERT
00000fe9: JUMPDEST
00000fea: PUSH1 0x80
00000fec: DUP3
00000fed: CALLDATASIZE
00000fee: SUB
00000fef: SLT
00000ff0: PUSH2 0x1046
00000ff3: JUMPI
00000ff4: DUP6
00000ff5: PUSH1 0x80
00000ff7: SWAP2
00000ff8: DUP9
00000ff9: MLOAD
00000ffa: PUSH2 0x1002
00000ffd: DUP2
00000ffe: PUSH2 0x1398
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH2 0x100b
00001006: DUP6
00001007: PUSH2 0x1509
0000100a: JUMP
0000100b: JUMPDEST
0000100c: DUP2
0000100d: MSTORE
0000100e: PUSH2 0x1018
00001011: DUP4
00001012: DUP7
00001013: ADD
00001014: PUSH2 0x1509
00001017: JUMP
00001018: JUMPDEST
00001019: DUP4
0000101a: DUP3
0000101b: ADD
0000101c: MSTORE
0000101d: PUSH2 0x1027
00001020: DUP11
00001021: DUP7
00001022: ADD
00001023: PUSH2 0x1607
00001026: JUMP
00001027: JUMPDEST
00001028: DUP11
00001029: DUP3
0000102a: ADD
0000102b: MSTORE
0000102c: DUP14
0000102d: PUSH2 0x1037
00001030: DUP2
00001031: DUP8
00001032: ADD
00001033: PUSH2 0x1607
00001036: JUMP
00001037: JUMPDEST
00001038: SWAP1
00001039: DUP3
0000103a: ADD
0000103b: MSTORE
0000103c: DUP2
0000103d: MSTORE
0000103e: ADD
0000103f: SWAP2
00001040: ADD
00001041: SWAP1
00001042: PUSH2 0x0e7a
00001045: JUMP
00001046: JUMPDEST
00001047: DUP13
00001048: DUP1
00001049: REVERT
0000104a: JUMPDEST
0000104b: DUP5
0000104c: DUP10
0000104d: PUSH1 0x41
0000104f: DUP7
00001050: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001071: DUP4
00001072: MSTORE
00001073: MSTORE
00001074: REVERT
00001075: JUMPDEST
00001076: POP
00001077: DUP3
00001078: CALLVALUE
00001079: PUSH2 0x05bf
0000107c: JUMPI
0000107d: PUSH2 0x0140
00001080: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000010a1: CALLDATASIZE
000010a2: ADD
000010a3: SLT
000010a4: PUSH2 0x05bf
000010a7: JUMPI
000010a8: PUSH2 0x10b0
000010ab: CALLDATASIZE
000010ac: PUSH2 0x152a
000010af: JUMP
000010b0: JUMPDEST
000010b1: SWAP2
000010b2: DUP1
000010b3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7c
000010d4: CALLDATASIZE
000010d5: ADD
000010d6: SLT
000010d7: PUSH2 0x0332
000010da: JUMPI
000010db: PUSH2 0x10e2
000010de: PUSH2 0x1478
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH8 0xffffffffffffffff
000010ec: SWAP4
000010ed: SWAP1
000010ee: PUSH2 0x0104
000010f1: CALLDATALOAD
000010f2: DUP6
000010f3: DUP2
000010f4: GT
000010f5: PUSH2 0x049f
000010f8: JUMPI
000010f9: PUSH2 0x1105
000010fc: SWAP1
000010fd: CALLDATASIZE
000010fe: SWAP1
000010ff: DUP7
00001100: ADD
00001101: PUSH2 0x15c1
00001104: JUMP
00001105: JUMPDEST
00001106: SWAP1
00001107: SWAP4
00001108: PUSH2 0x0124
0000110b: CALLDATALOAD
0000110c: SWAP7
0000110d: DUP8
0000110e: GT
0000110f: PUSH2 0x032a
00001112: JUMPI
00001113: PUSH2 0x1125
00001116: PUSH2 0x0bd1
00001119: SWAP7
0000111a: PUSH2 0x02f6
0000111d: SWAP9
0000111e: CALLDATASIZE
0000111f: SWAP2
00001120: ADD
00001121: PUSH2 0x15c1
00001124: JUMP
00001125: JUMPDEST
00001126: SWAP7
00001127: SWAP1
00001128: SWAP6
00001129: DUP3
0000112a: MLOAD
0000112b: SWAP1
0000112c: PUSH2 0x1134
0000112f: DUP3
00001130: PUSH2 0x13ff
00001133: JUMP
00001134: JUMPDEST
00001135: PUSH1 0x64
00001137: DUP3
00001138: MSTORE
00001139: PUSH32 0x5065726d69745769746e6573735472616e7366657246726f6d28546f6b656e50
0000115a: PUSH1 0x20
0000115c: DUP4
0000115d: ADD
0000115e: MSTORE
0000115f: PUSH32 0x65726d697373696f6e73207065726d69747465642c6164647265737320737065
00001180: DUP5
00001181: DUP4
00001182: ADD
00001183: MSTORE
00001184: PUSH32 0x6e6465722c75696e74323536206e6f6e63652c75696e7432353620646561646c
000011a5: PUSH1 0x60
000011a7: DUP4
000011a8: ADD
000011a9: MSTORE
000011aa: PUSH32 0x696e652c00000000000000000000000000000000000000000000000000000000
000011cb: PUSH1 0x80
000011cd: DUP4
000011ce: ADD
000011cf: MSTORE
000011d0: DUP4
000011d1: MLOAD
000011d2: SWAP5
000011d3: DUP6
000011d4: SWAP2
000011d5: DUP2
000011d6: PUSH2 0x11e3
000011d9: PUSH1 0x20
000011db: DUP6
000011dc: ADD
000011dd: DUP1
000011de: SWAP7
000011df: PUSH2 0x1f93
000011e2: JUMP
000011e3: JUMPDEST
000011e4: SWAP2
000011e5: DUP3
000011e6: CALLDATACOPY
000011e7: ADD
000011e8: DUP12
000011e9: DUP2
000011ea: MSTORE
000011eb: SUB
000011ec: SWAP4
000011ed: PUSH2 0x121c
000011f0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001211: SWAP6
00001212: DUP7
00001213: DUP2
00001214: ADD
00001215: DUP4
00001216: MSTORE
00001217: DUP3
00001218: PUSH2 0x1437
0000121b: JUMP
0000121c: JUMPDEST
0000121d: MLOAD
0000121e: SWAP1
0000121f: KECCAK256
00001220: SWAP3
00001221: PUSH2 0x122a
00001224: DUP7
00001225: MLOAD
00001226: PUSH2 0x2054
00001229: JUMP
0000122a: JUMPDEST
0000122b: PUSH1 0x20
0000122d: DUP8
0000122e: DUP2
0000122f: ADD
00001230: MLOAD
00001231: DUP6
00001232: DUP10
00001233: ADD
00001234: MLOAD
00001235: SWAP6
00001236: MLOAD
00001237: SWAP2
00001238: DUP3
00001239: ADD
0000123a: SWAP7
0000123b: DUP8
0000123c: MSTORE
0000123d: PUSH1 0x40
0000123f: DUP3
00001240: ADD
00001241: SWAP3
00001242: SWAP1
00001243: SWAP3
00001244: MSTORE
00001245: CALLER
00001246: PUSH1 0x60
00001248: DUP3
00001249: ADD
0000124a: MSTORE
0000124b: PUSH1 0x80
0000124d: DUP2
0000124e: ADD
0000124f: SWAP2
00001250: SWAP1
00001251: SWAP2
00001252: MSTORE
00001253: PUSH1 0xa0
00001255: DUP2
00001256: ADD
00001257: SWAP4
00001258: SWAP1
00001259: SWAP4
0000125a: MSTORE
0000125b: PUSH1 0xe4
0000125d: CALLDATALOAD
0000125e: PUSH1 0xc0
00001260: DUP5
00001261: ADD
00001262: MSTORE
00001263: DUP3
00001264: PUSH1 0xe0
00001266: DUP2
00001267: ADD
00001268: PUSH2 0x02e1
0000126b: JUMP
0000126c: JUMPDEST
0000126d: POP
0000126e: DUP3
0000126f: CALLVALUE
00001270: PUSH2 0x05bf
00001273: JUMPI
00001274: PUSH1 0x20
00001276: DUP1
00001277: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001298: CALLDATASIZE
00001299: ADD
0000129a: SLT
0000129b: PUSH2 0x0332
0000129e: JUMPI
0000129f: DUP2
000012a0: CALLDATALOAD
000012a1: PUSH8 0xffffffffffffffff
000012aa: SWAP3
000012ab: DUP4
000012ac: DUP3
000012ad: GT
000012ae: PUSH2 0x0bda
000012b1: JUMPI
000012b2: CALLDATASIZE
000012b3: PUSH1 0x23
000012b5: DUP4
000012b6: ADD
000012b7: SLT
000012b8: ISZERO
000012b9: PUSH2 0x0bda
000012bc: JUMPI
000012bd: DUP2
000012be: ADD
000012bf: CALLDATALOAD
000012c0: SWAP3
000012c1: DUP4
000012c2: GT
000012c3: PUSH2 0x032e
000012c6: JUMPI
000012c7: PUSH1 0x24
000012c9: SWAP1
000012ca: PUSH1 0x07
000012cc: CALLDATASIZE
000012cd: DUP4
000012ce: DUP7
000012cf: DUP4
000012d0: SHL
000012d1: DUP5
000012d2: ADD
000012d3: ADD
000012d4: GT
000012d5: PUSH2 0x049f
000012d8: JUMPI
000012d9: DUP7
000012da: JUMPDEST
000012db: DUP6
000012dc: DUP2
000012dd: LT
000012de: PUSH2 0x12e5
000012e1: JUMPI
000012e2: DUP8
000012e3: DUP1
000012e4: RETURN
000012e5: JUMPDEST
000012e6: DUP1
000012e7: DUP3
000012e8: SHL
000012e9: DUP4
000012ea: ADD
000012eb: SWAP1
000012ec: PUSH1 0x80
000012ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
0000130f: DUP4
00001310: CALLDATASIZE
00001311: SUB
00001312: ADD
00001313: SLT
00001314: PUSH2 0x0326
00001317: JUMPI
00001318: PUSH2 0x1392
0000131b: DUP9
0000131c: DUP8
0000131d: PUSH1 0x01
0000131f: SWAP5
00001320: PUSH1 0x60
00001322: DUP4
00001323: MLOAD
00001324: PUSH2 0x132c
00001327: DUP2
00001328: PUSH2 0x1398
0000132b: JUMP
0000132c: JUMPDEST
0000132d: PUSH2 0x1368
00001330: PUSH1 0x84
00001332: PUSH2 0x133c
00001335: DUP14
00001336: DUP7
00001337: ADD
00001338: PUSH2 0x1509
0000133b: JUMP
0000133c: JUMPDEST
0000133d: SWAP5
0000133e: DUP6
0000133f: DUP5
00001340: MSTORE
00001341: PUSH2 0x134c
00001344: PUSH1 0x44
00001346: DUP3
00001347: ADD
00001348: PUSH2 0x1509
0000134b: JUMP
0000134c: JUMPDEST
0000134d: DUP1
0000134e: SWAP8
0000134f: DUP6
00001350: ADD
00001351: MSTORE
00001352: PUSH2 0x135d
00001355: PUSH1 0x64
00001357: DUP3
00001358: ADD
00001359: PUSH2 0x1509
0000135c: JUMP
0000135d: JUMPDEST
0000135e: DUP1
0000135f: SWAP9
00001360: DUP6
00001361: ADD
00001362: MSTORE
00001363: ADD
00001364: PUSH2 0x1509
00001367: JUMP
00001368: JUMPDEST
00001369: SWAP2
0000136a: DUP3
0000136b: SWAP2
0000136c: ADD
0000136d: MSTORE
0000136e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001383: DUP1
00001384: DUP1
00001385: DUP1
00001386: SWAP4
00001387: AND
00001388: SWAP6
00001389: AND
0000138a: SWAP4
0000138b: AND
0000138c: SWAP2
0000138d: AND
0000138e: PUSH2 0x17a1
00001391: JUMP
00001392: JUMPDEST
00001393: ADD
00001394: PUSH2 0x12da
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x80
0000139b: DUP2
0000139c: ADD
0000139d: SWAP1
0000139e: DUP2
0000139f: LT
000013a0: PUSH8 0xffffffffffffffff
000013a9: DUP3
000013aa: GT
000013ab: OR
000013ac: PUSH2 0x13b4
000013af: JUMPI
000013b0: PUSH1 0x40
000013b2: MSTORE
000013b3: JUMP
000013b4: JUMPDEST
000013b5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000013d6: PUSH1 0x00
000013d8: MSTORE
000013d9: PUSH1 0x41
000013db: PUSH1 0x04
000013dd: MSTORE
000013de: PUSH1 0x24
000013e0: PUSH1 0x00
000013e2: REVERT
000013e3: JUMPDEST
000013e4: PUSH1 0x60
000013e6: DUP2
000013e7: ADD
000013e8: SWAP1
000013e9: DUP2
000013ea: LT
000013eb: PUSH8 0xffffffffffffffff
000013f4: DUP3
000013f5: GT
000013f6: OR
000013f7: PUSH2 0x13b4
000013fa: JUMPI
000013fb: PUSH1 0x40
000013fd: MSTORE
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH1 0xa0
00001402: DUP2
00001403: ADD
00001404: SWAP1
00001405: DUP2
00001406: LT
00001407: PUSH8 0xffffffffffffffff
00001410: DUP3
00001411: GT
00001412: OR
00001413: PUSH2 0x13b4
00001416: JUMPI
00001417: PUSH1 0x40
00001419: MSTORE
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH1 0xc0
0000141e: DUP2
0000141f: ADD
00001420: SWAP1
00001421: DUP2
00001422: LT
00001423: PUSH8 0xffffffffffffffff
0000142c: DUP3
0000142d: GT
0000142e: OR
0000142f: PUSH2 0x13b4
00001432: JUMPI
00001433: PUSH1 0x40
00001435: MSTORE
00001436: JUMP
00001437: JUMPDEST
00001438: SWAP1
00001439: PUSH1 0x1f
0000143b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000145c: SWAP2
0000145d: ADD
0000145e: AND
0000145f: DUP2
00001460: ADD
00001461: SWAP1
00001462: DUP2
00001463: LT
00001464: PUSH8 0xffffffffffffffff
0000146d: DUP3
0000146e: GT
0000146f: OR
00001470: PUSH2 0x13b4
00001473: JUMPI
00001474: PUSH1 0x40
00001476: MSTORE
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH1 0xc4
0000147b: CALLDATALOAD
0000147c: SWAP1
0000147d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001492: DUP3
00001493: AND
00001494: DUP3
00001495: SUB
00001496: PUSH2 0x149b
00001499: JUMPI
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH1 0x00
0000149e: DUP1
0000149f: REVERT
000014a0: JUMPDEST
000014a1: PUSH1 0x04
000014a3: CALLDATALOAD
000014a4: SWAP1
000014a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ba: DUP3
000014bb: AND
000014bc: DUP3
000014bd: SUB
000014be: PUSH2 0x149b
000014c1: JUMPI
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x24
000014c6: CALLDATALOAD
000014c7: SWAP1
000014c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014dd: DUP3
000014de: AND
000014df: DUP3
000014e0: SUB
000014e1: PUSH2 0x149b
000014e4: JUMPI
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH1 0x44
000014e9: CALLDATALOAD
000014ea: SWAP1
000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001500: DUP3
00001501: AND
00001502: DUP3
00001503: SUB
00001504: PUSH2 0x149b
00001507: JUMPI
00001508: JUMP
00001509: JUMPDEST
0000150a: CALLDATALOAD
0000150b: SWAP1
0000150c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001521: DUP3
00001522: AND
00001523: DUP3
00001524: SUB
00001525: PUSH2 0x149b
00001528: JUMPI
00001529: JUMP
0000152a: JUMPDEST
0000152b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000154c: ADD
0000154d: SWAP1
0000154e: PUSH1 0x80
00001550: DUP3
00001551: SLT
00001552: PUSH2 0x149b
00001555: JUMPI
00001556: PUSH1 0x40
00001558: DUP1
00001559: MLOAD
0000155a: SWAP1
0000155b: PUSH2 0x1563
0000155e: DUP3
0000155f: PUSH2 0x13e3
00001562: JUMP
00001563: JUMPDEST
00001564: DUP1
00001565: DUP3
00001566: SWAP5
00001567: SLT
00001568: PUSH2 0x149b
0000156b: JUMPI
0000156c: DUP1
0000156d: MLOAD
0000156e: DUP2
0000156f: DUP2
00001570: ADD
00001571: DUP2
00001572: DUP2
00001573: LT
00001574: PUSH8 0xffffffffffffffff
0000157d: DUP3
0000157e: GT
0000157f: OR
00001580: PUSH2 0x13b4
00001583: JUMPI
00001584: DUP3
00001585: MSTORE
00001586: PUSH1 0x04
00001588: CALLDATALOAD
00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159e: DUP2
0000159f: AND
000015a0: DUP2
000015a1: SUB
000015a2: PUSH2 0x149b
000015a5: JUMPI
000015a6: DUP2
000015a7: MSTORE
000015a8: PUSH1 0x24
000015aa: CALLDATALOAD
000015ab: PUSH1 0x20
000015ad: DUP3
000015ae: ADD
000015af: MSTORE
000015b0: DUP3
000015b1: MSTORE
000015b2: PUSH1 0x44
000015b4: CALLDATALOAD
000015b5: PUSH1 0x20
000015b7: DUP4
000015b8: ADD
000015b9: MSTORE
000015ba: PUSH1 0x64
000015bc: CALLDATALOAD
000015bd: SWAP2
000015be: ADD
000015bf: MSTORE
000015c0: JUMP
000015c1: JUMPDEST
000015c2: SWAP2
000015c3: DUP2
000015c4: PUSH1 0x1f
000015c6: DUP5
000015c7: ADD
000015c8: SLT
000015c9: ISZERO
000015ca: PUSH2 0x149b
000015cd: JUMPI
000015ce: DUP3
000015cf: CALLDATALOAD
000015d0: SWAP2
000015d1: PUSH8 0xffffffffffffffff
000015da: DUP4
000015db: GT
000015dc: PUSH2 0x149b
000015df: JUMPI
000015e0: PUSH1 0x20
000015e2: DUP4
000015e3: DUP2
000015e4: DUP7
000015e5: ADD
000015e6: SWAP6
000015e7: ADD
000015e8: ADD
000015e9: GT
000015ea: PUSH2 0x149b
000015ed: JUMPI
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH8 0xffffffffffffffff
000015f9: DUP2
000015fa: GT
000015fb: PUSH2 0x13b4
000015fe: JUMPI
000015ff: PUSH1 0x05
00001601: SHL
00001602: PUSH1 0x20
00001604: ADD
00001605: SWAP1
00001606: JUMP
00001607: JUMPDEST
00001608: CALLDATALOAD
00001609: SWAP1
0000160a: PUSH6 0xffffffffffff
00001611: DUP3
00001612: AND
00001613: DUP3
00001614: SUB
00001615: PUSH2 0x149b
00001618: JUMPI
00001619: JUMP
0000161a: JUMPDEST
0000161b: SWAP2
0000161c: DUP2
0000161d: PUSH1 0x1f
0000161f: DUP5
00001620: ADD
00001621: SLT
00001622: ISZERO
00001623: PUSH2 0x149b
00001626: JUMPI
00001627: DUP3
00001628: CALLDATALOAD
00001629: SWAP2
0000162a: PUSH8 0xffffffffffffffff
00001633: DUP4
00001634: GT
00001635: PUSH2 0x149b
00001638: JUMPI
00001639: PUSH1 0x20
0000163b: DUP1
0000163c: DUP6
0000163d: ADD
0000163e: SWAP5
0000163f: DUP5
00001640: PUSH1 0x06
00001642: SHL
00001643: ADD
00001644: ADD
00001645: GT
00001646: PUSH2 0x149b
00001649: JUMPI
0000164a: JUMP
0000164b: JUMPDEST
0000164c: SWAP2
0000164d: SWAP1
0000164e: SWAP2
0000164f: PUSH1 0x60
00001651: DUP2
00001652: DUP5
00001653: SUB
00001654: SLT
00001655: PUSH2 0x149b
00001658: JUMPI
00001659: PUSH1 0x40
0000165b: DUP1
0000165c: MLOAD
0000165d: SWAP2
0000165e: PUSH2 0x1666
00001661: DUP4
00001662: PUSH2 0x13e3
00001665: JUMP
00001666: JUMPDEST
00001667: DUP3
00001668: SWAP5
00001669: DUP2
0000166a: CALLDATALOAD
0000166b: PUSH8 0xffffffffffffffff
00001674: SWAP1
00001675: DUP2
00001676: DUP2
00001677: GT
00001678: PUSH2 0x149b
0000167b: JUMPI
0000167c: DUP4
0000167d: ADD
0000167e: DUP3
0000167f: PUSH1 0x1f
00001681: DUP3
00001682: ADD
00001683: SLT
00001684: ISZERO
00001685: PUSH2 0x149b
00001688: JUMPI
00001689: DUP1
0000168a: CALLDATALOAD
0000168b: PUSH2 0x1693
0000168e: DUP2
0000168f: PUSH2 0x15ef
00001692: JUMP
00001693: JUMPDEST
00001694: SWAP3
00001695: PUSH2 0x16a0
00001698: DUP8
00001699: MLOAD
0000169a: SWAP5
0000169b: DUP6
0000169c: PUSH2 0x1437
0000169f: JUMP
000016a0: JUMPDEST
000016a1: DUP2
000016a2: DUP5
000016a3: MSTORE
000016a4: PUSH1 0x20
000016a6: SWAP5
000016a7: DUP6
000016a8: DUP1
000016a9: DUP7
000016aa: ADD
000016ab: SWAP4
000016ac: PUSH1 0x06
000016ae: SHL
000016af: DUP6
000016b0: ADD
000016b1: ADD
000016b2: SWAP4
000016b3: DUP2
000016b4: DUP6
000016b5: GT
000016b6: PUSH2 0x149b
000016b9: JUMPI
000016ba: SWAP1
000016bb: DUP7
000016bc: DUP10
000016bd: SWAP9
000016be: SWAP8
000016bf: SWAP7
000016c0: SWAP6
000016c1: SWAP5
000016c2: SWAP4
000016c3: SWAP3
000016c4: ADD
000016c5: SWAP3
000016c6: JUMPDEST
000016c7: DUP5
000016c8: DUP5
000016c9: LT
000016ca: PUSH2 0x16e3
000016cd: JUMPI
000016ce: POP
000016cf: POP
000016d0: POP
000016d1: POP
000016d2: POP
000016d3: DUP6
000016d4: MSTORE
000016d5: DUP1
000016d6: DUP3
000016d7: ADD
000016d8: CALLDATALOAD
000016d9: SWAP1
000016da: DUP6
000016db: ADD
000016dc: MSTORE
000016dd: ADD
000016de: CALLDATALOAD
000016df: SWAP2
000016e0: ADD
000016e1: MSTORE
000016e2: JUMP
000016e3: JUMPDEST
000016e4: SWAP1
000016e5: SWAP2
000016e6: SWAP3
000016e7: SWAP4
000016e8: SWAP5
000016e9: SWAP6
000016ea: SWAP7
000016eb: SWAP8
000016ec: DUP5
000016ed: DUP4
000016ee: SUB
000016ef: SLT
000016f0: PUSH2 0x149b
000016f3: JUMPI
000016f4: DUP9
000016f5: MLOAD
000016f6: SWAP1
000016f7: DUP10
000016f8: DUP3
000016f9: ADD
000016fa: SWAP1
000016fb: DUP3
000016fc: DUP3
000016fd: LT
000016fe: DUP6
000016ff: DUP4
00001700: GT
00001701: OR
00001702: PUSH2 0x1730
00001705: JUMPI
00001706: DUP11
00001707: SWAP3
00001708: DUP10
00001709: SWAP3
0000170a: DUP5
0000170b: MSTORE
0000170c: PUSH2 0x1714
0000170f: DUP8
00001710: PUSH2 0x1509
00001713: JUMP
00001714: JUMPDEST
00001715: DUP2
00001716: MSTORE
00001717: DUP3
00001718: DUP8
00001719: ADD
0000171a: CALLDATALOAD
0000171b: DUP4
0000171c: DUP3
0000171d: ADD
0000171e: MSTORE
0000171f: DUP2
00001720: MSTORE
00001721: ADD
00001722: SWAP4
00001723: ADD
00001724: SWAP2
00001725: SWAP1
00001726: DUP9
00001727: SWAP8
00001728: SWAP7
00001729: SWAP6
0000172a: SWAP5
0000172b: SWAP4
0000172c: PUSH2 0x16c6
0000172f: JUMP
00001730: JUMPDEST
00001731: PUSH1 0x24
00001733: PUSH1 0x00
00001735: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001756: DUP2
00001757: MSTORE
00001758: PUSH1 0x41
0000175a: PUSH1 0x04
0000175c: MSTORE
0000175d: REVERT
0000175e: JUMPDEST
0000175f: DUP1
00001760: MLOAD
00001761: DUP3
00001762: LT
00001763: ISZERO
00001764: PUSH2 0x1772
00001767: JUMPI
00001768: PUSH1 0x20
0000176a: SWAP2
0000176b: PUSH1 0x05
0000176d: SHL
0000176e: ADD
0000176f: ADD
00001770: SWAP1
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001794: PUSH1 0x00
00001796: MSTORE
00001797: PUSH1 0x32
00001799: PUSH1 0x04
0000179b: MSTORE
0000179c: PUSH1 0x24
0000179e: PUSH1 0x00
000017a0: REVERT
000017a1: JUMPDEST
000017a2: SWAP3
000017a3: SWAP2
000017a4: SWAP3
000017a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ba: PUSH1 0x40
000017bc: PUSH1 0x00
000017be: DUP3
000017bf: DUP5
000017c0: AND
000017c1: DUP2
000017c2: MSTORE
000017c3: PUSH1 0x01
000017c5: PUSH1 0x20
000017c7: MSTORE
000017c8: DUP3
000017c9: DUP3
000017ca: DUP3
000017cb: KECCAK256
000017cc: SWAP7
000017cd: AND
000017ce: SWAP6
000017cf: DUP7
000017d0: DUP3
000017d1: MSTORE
000017d2: PUSH1 0x20
000017d4: MSTORE
000017d5: DUP2
000017d6: DUP2
000017d7: KECCAK256
000017d8: CALLER
000017d9: DUP3
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: MSTORE
000017de: KECCAK256
000017df: SWAP5
000017e0: DUP6
000017e1: SLOAD
000017e2: SWAP6
000017e3: PUSH6 0xffffffffffff
000017ea: DUP8
000017eb: PUSH1 0xa0
000017ed: SHR
000017ee: AND
000017ef: DUP1
000017f0: TIMESTAMP
000017f1: GT
000017f2: PUSH2 0x1884
000017f5: JUMPI
000017f6: POP
000017f7: DUP3
000017f8: DUP8
000017f9: AND
000017fa: SWAP7
000017fb: DUP4
000017fc: DUP9
000017fd: SUB
000017fe: PUSH2 0x1812
00001801: JUMPI
00001802: JUMPDEST
00001803: POP
00001804: POP
00001805: PUSH2 0x1810
00001808: SWAP6
00001809: POP
0000180a: AND
0000180b: SWAP3
0000180c: PUSH2 0x18b5
0000180f: JUMP
00001810: JUMPDEST
00001811: JUMP
00001812: JUMPDEST
00001813: DUP8
00001814: DUP5
00001815: DUP5
00001816: AND
00001817: GT
00001818: PUSH1 0x00
0000181a: EQ
0000181b: PUSH2 0x184f
0000181e: JUMPI
0000181f: PUSH1 0x24
00001821: DUP9
00001822: PUSH1 0x40
00001824: MLOAD
00001825: SWAP1
00001826: PUSH32 0xf96fb07100000000000000000000000000000000000000000000000000000000
00001847: DUP3
00001848: MSTORE
00001849: PUSH1 0x04
0000184b: DUP3
0000184c: ADD
0000184d: MSTORE
0000184e: REVERT
0000184f: JUMPDEST
00001850: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001871: DUP5
00001872: DUP5
00001873: PUSH2 0x1810
00001876: SWAP11
00001877: SUB
00001878: AND
00001879: SWAP2
0000187a: AND
0000187b: OR
0000187c: SWAP1
0000187d: SSTORE
0000187e: CODESIZE
0000187f: DUP1
00001880: PUSH2 0x1802
00001883: JUMP
00001884: JUMPDEST
00001885: PUSH1 0x24
00001887: SWAP1
00001888: PUSH1 0x40
0000188a: MLOAD
0000188b: SWAP1
0000188c: PUSH32 0xd81b2f2e00000000000000000000000000000000000000000000000000000000
000018ad: DUP3
000018ae: MSTORE
000018af: PUSH1 0x04
000018b1: DUP3
000018b2: ADD
000018b3: MSTORE
000018b4: REVERT
000018b5: JUMPDEST
000018b6: SWAP1
000018b7: PUSH1 0x00
000018b9: PUSH1 0x64
000018bb: SWAP3
000018bc: PUSH1 0x20
000018be: SWAP6
000018bf: DUP3
000018c0: SWAP6
000018c1: PUSH1 0x40
000018c3: MLOAD
000018c4: SWAP5
000018c5: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000018e6: DUP7
000018e7: MSTORE
000018e8: PUSH1 0x04
000018ea: DUP7
000018eb: ADD
000018ec: MSTORE
000018ed: PUSH1 0x24
000018ef: DUP6
000018f0: ADD
000018f1: MSTORE
000018f2: PUSH1 0x44
000018f4: DUP5
000018f5: ADD
000018f6: MSTORE
000018f7: GAS
000018f8: CALL
000018f9: RETURNDATASIZE
000018fa: ISZERO
000018fb: PUSH1 0x1f
000018fd: RETURNDATASIZE
000018fe: GT
000018ff: PUSH1 0x01
00001901: PUSH1 0x00
00001903: MLOAD
00001904: EQ
00001905: AND
00001906: OR
00001907: AND
00001908: ISZERO
00001909: PUSH2 0x190e
0000190c: JUMPI
0000190d: JUMP
0000190e: JUMPDEST
0000190f: PUSH1 0x64
00001911: PUSH1 0x40
00001913: MLOAD
00001914: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x20
00001939: PUSH1 0x04
0000193b: DUP3
0000193c: ADD
0000193d: MSTORE
0000193e: PUSH1 0x14
00001940: PUSH1 0x24
00001942: DUP3
00001943: ADD
00001944: MSTORE
00001945: PUSH32 0x5452414e534645525f46524f4d5f4641494c4544000000000000000000000000
00001966: PUSH1 0x44
00001968: DUP3
00001969: ADD
0000196a: MSTORE
0000196b: REVERT
0000196c: JUMPDEST
0000196d: SWAP2
0000196e: SWAP1
0000196f: DUP2
00001970: LT
00001971: ISZERO
00001972: PUSH2 0x1772
00001975: JUMPI
00001976: PUSH1 0x06
00001978: SHL
00001979: ADD
0000197a: SWAP1
0000197b: JUMP
0000197c: JUMPDEST
0000197d: CALLDATALOAD
0000197e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001993: DUP2
00001994: AND
00001995: DUP2
00001996: SUB
00001997: PUSH2 0x149b
0000199a: JUMPI
0000199b: SWAP1
0000199c: JUMP
0000199d: JUMPDEST
0000199e: SWAP1
0000199f: PUSH6 0xffffffffffff
000019a6: SWAP1
000019a7: DUP2
000019a8: PUSH1 0x60
000019aa: DUP5
000019ab: ADD
000019ac: MLOAD
000019ad: AND
000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c3: SWAP1
000019c4: DUP2
000019c5: DUP6
000019c6: MLOAD
000019c7: AND
000019c8: SWAP5
000019c9: DUP3
000019ca: PUSH1 0x20
000019cc: DUP3
000019cd: ADD
000019ce: MLOAD
000019cf: AND
000019d0: SWAP3
000019d1: DUP1
000019d2: DUP7
000019d3: PUSH1 0x40
000019d5: DUP1
000019d6: SWAP5
000019d7: ADD
000019d8: MLOAD
000019d9: AND
000019da: SWAP6
000019db: AND
000019dc: SWAP6
000019dd: PUSH1 0x00
000019df: SWAP2
000019e0: DUP8
000019e1: DUP4
000019e2: MSTORE
000019e3: PUSH1 0x01
000019e5: PUSH1 0x20
000019e7: MSTORE
000019e8: DUP4
000019e9: DUP4
000019ea: KECCAK256
000019eb: DUP10
000019ec: DUP5
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: MSTORE
000019f1: DUP4
000019f2: DUP4
000019f3: KECCAK256
000019f4: SWAP10
000019f5: AND
000019f6: SWAP9
000019f7: DUP10
000019f8: DUP4
000019f9: MSTORE
000019fa: PUSH1 0x20
000019fc: MSTORE
000019fd: DUP3
000019fe: DUP3
000019ff: KECCAK256
00001a00: SWAP2
00001a01: DUP5
00001a02: DUP4
00001a03: SLOAD
00001a04: PUSH1 0xd0
00001a06: SHR
00001a07: SUB
00001a08: PUSH2 0x1af5
00001a0b: JUMPI
00001a0c: SWAP2
00001a0d: DUP6
00001a0e: PUSH2 0x1ace
00001a11: SWAP5
00001a12: SWAP3
00001a13: PUSH32 0xc6a377bfc4eb120024a8ac08eef205be16b817020812c73223e81d1bdb9708ec
00001a34: SWAP9
00001a35: SWAP8
00001a36: SWAP7
00001a37: SWAP5
00001a38: POP
00001a39: DUP8
00001a3a: ISZERO
00001a3b: PUSH1 0x00
00001a3d: EQ
00001a3e: PUSH2 0x1ad3
00001a41: JUMPI
00001a42: PUSH26 0xffffffffffff0000000000000000000000000000000000000000
00001a5d: SWAP1
00001a5e: TIMESTAMP
00001a5f: AND
00001a60: JUMPDEST
00001a61: PUSH1 0xa0
00001a63: SHL
00001a64: AND
00001a65: PUSH32 0xffffffffffff0000000000000000000000000000000000000000000000000000
00001a86: PUSH1 0x01
00001a88: DUP7
00001a89: ADD
00001a8a: PUSH1 0xd0
00001a8c: SHL
00001a8d: AND
00001a8e: OR
00001a8f: OR
00001a90: SWAP1
00001a91: SSTORE
00001a92: MLOAD
00001a93: SWAP4
00001a94: DUP5
00001a95: SWAP4
00001a96: DUP5
00001a97: SWAP2
00001a98: PUSH1 0x40
00001a9a: SWAP2
00001a9b: SWAP5
00001a9c: SWAP4
00001a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab2: PUSH1 0x60
00001ab4: DUP6
00001ab5: ADD
00001ab6: SWAP7
00001ab7: AND
00001ab8: DUP5
00001ab9: MSTORE
00001aba: PUSH6 0xffffffffffff
00001ac1: DUP1
00001ac2: SWAP3
00001ac3: AND
00001ac4: PUSH1 0x20
00001ac6: DUP6
00001ac7: ADD
00001ac8: MSTORE
00001ac9: AND
00001aca: SWAP2
00001acb: ADD
00001acc: MSTORE
00001acd: JUMP
00001ace: JUMPDEST
00001acf: SUB
00001ad0: SWAP1
00001ad1: LOG4
00001ad2: JUMP
00001ad3: JUMPDEST
00001ad4: POP
00001ad5: PUSH26 0xffffffffffff0000000000000000000000000000000000000000
00001af0: DUP8
00001af1: PUSH2 0x1a60
00001af4: JUMP
00001af5: JUMPDEST
00001af6: PUSH1 0x04
00001af8: DUP5
00001af9: MLOAD
00001afa: PUSH32 0x756688fe00000000000000000000000000000000000000000000000000000000
00001b1b: DUP2
00001b1c: MSTORE
00001b1d: REVERT
00001b1e: JUMPDEST
00001b1f: CHAINID
00001b20: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00001b41: SUB
00001b42: PUSH2 0x1b69
00001b45: JUMPI
00001b46: PUSH32 0x866a5aba21966af95d6c7ab78eb2b2fc913915c28be3b9aa07cc04ff903e3f28
00001b67: SWAP1
00001b68: JUMP
00001b69: JUMPDEST
00001b6a: PUSH1 0x40
00001b6c: MLOAD
00001b6d: PUSH1 0x20
00001b6f: DUP2
00001b70: ADD
00001b71: SWAP1
00001b72: PUSH32 0x8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a866
00001b93: DUP3
00001b94: MSTORE
00001b95: PUSH32 0x9ac997416e8ff9d2ff6bebeb7149f65cdae5e32e2b90440b566bb3044041d36a
00001bb6: PUSH1 0x40
00001bb8: DUP3
00001bb9: ADD
00001bba: MSTORE
00001bbb: CHAINID
00001bbc: PUSH1 0x60
00001bbe: DUP3
00001bbf: ADD
00001bc0: MSTORE
00001bc1: ADDRESS
00001bc2: PUSH1 0x80
00001bc4: DUP3
00001bc5: ADD
00001bc6: MSTORE
00001bc7: PUSH1 0x80
00001bc9: DUP2
00001bca: MSTORE
00001bcb: PUSH2 0x1bd3
00001bce: DUP2
00001bcf: PUSH2 0x13ff
00001bd2: JUMP
00001bd3: JUMPDEST
00001bd4: MLOAD
00001bd5: SWAP1
00001bd6: KECCAK256
00001bd7: SWAP1
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: PUSH2 0x1be1
00001bdd: PUSH2 0x1b1e
00001be0: JUMP
00001be1: JUMPDEST
00001be2: SWAP1
00001be3: PUSH1 0x40
00001be5: MLOAD
00001be6: SWAP1
00001be7: PUSH1 0x20
00001be9: DUP3
00001bea: ADD
00001beb: SWAP3
00001bec: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00001c0d: DUP5
00001c0e: MSTORE
00001c0f: PUSH1 0x22
00001c11: DUP4
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH1 0x42
00001c16: DUP3
00001c17: ADD
00001c18: MSTORE
00001c19: PUSH1 0x42
00001c1b: DUP2
00001c1c: MSTORE
00001c1d: PUSH2 0x1bd3
00001c20: DUP2
00001c21: PUSH2 0x1398
00001c24: JUMP
00001c25: JUMPDEST
00001c26: SWAP2
00001c27: SWAP3
00001c28: SWAP1
00001c29: SWAP4
00001c2a: PUSH1 0xa4
00001c2c: CALLDATALOAD
00001c2d: SWAP4
00001c2e: PUSH1 0x40
00001c30: DUP5
00001c31: ADD
00001c32: MLOAD
00001c33: DUP1
00001c34: TIMESTAMP
00001c35: GT
00001c36: PUSH2 0x1cc6
00001c39: JUMPI
00001c3a: POP
00001c3b: PUSH1 0x20
00001c3d: DUP5
00001c3e: MLOAD
00001c3f: ADD
00001c40: MLOAD
00001c41: DUP1
00001c42: DUP7
00001c43: GT
00001c44: PUSH2 0x1c95
00001c47: JUMPI
00001c48: POP
00001c49: SWAP2
00001c4a: DUP6
00001c4b: SWAP2
00001c4c: PUSH2 0x0d78
00001c4f: PUSH2 0x1c65
00001c52: SWAP5
00001c53: PUSH2 0x1c60
00001c56: PUSH1 0x20
00001c58: DUP9
00001c59: ADD
00001c5a: MLOAD
00001c5b: DUP7
00001c5c: PUSH2 0x1e47
00001c5f: JUMP
00001c60: JUMPDEST
00001c61: PUSH2 0x1bd9
00001c64: JUMP
00001c65: JUMPDEST
00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7b: DUP1
00001c7c: SWAP2
00001c7d: MLOAD
00001c7e: MLOAD
00001c7f: AND
00001c80: SWAP3
00001c81: PUSH1 0x84
00001c83: CALLDATALOAD
00001c84: SWAP2
00001c85: DUP3
00001c86: AND
00001c87: DUP3
00001c88: SUB
00001c89: PUSH2 0x149b
00001c8c: JUMPI
00001c8d: PUSH2 0x1810
00001c90: SWAP4
00001c91: PUSH2 0x18b5
00001c94: JUMP
00001c95: JUMPDEST
00001c96: PUSH1 0x24
00001c98: SWAP1
00001c99: PUSH1 0x40
00001c9b: MLOAD
00001c9c: SWAP1
00001c9d: PUSH32 0x3728b83d00000000000000000000000000000000000000000000000000000000
00001cbe: DUP3
00001cbf: MSTORE
00001cc0: PUSH1 0x04
00001cc2: DUP3
00001cc3: ADD
00001cc4: MSTORE
00001cc5: REVERT
00001cc6: JUMPDEST
00001cc7: PUSH1 0x24
00001cc9: SWAP1
00001cca: PUSH1 0x40
00001ccc: MLOAD
00001ccd: SWAP1
00001cce: PUSH32 0xcd21db4f00000000000000000000000000000000000000000000000000000000
00001cef: DUP3
00001cf0: MSTORE
00001cf1: PUSH1 0x04
00001cf3: DUP3
00001cf4: ADD
00001cf5: MSTORE
00001cf6: REVERT
00001cf7: JUMPDEST
00001cf8: SWAP6
00001cf9: SWAP1
00001cfa: SWAP4
00001cfb: SWAP6
00001cfc: DUP1
00001cfd: MLOAD
00001cfe: MLOAD
00001cff: SWAP6
00001d00: PUSH1 0x40
00001d02: SWAP3
00001d03: DUP4
00001d04: DUP4
00001d05: ADD
00001d06: MLOAD
00001d07: DUP1
00001d08: TIMESTAMP
00001d09: GT
00001d0a: PUSH2 0x1e17
00001d0d: JUMPI
00001d0e: POP
00001d0f: DUP5
00001d10: DUP9
00001d11: SUB
00001d12: PUSH2 0x1dee
00001d15: JUMPI
00001d16: PUSH2 0x1d2e
00001d19: SWAP2
00001d1a: DUP7
00001d1b: SWAP2
00001d1c: PUSH2 0x0d78
00001d1f: PUSH1 0x20
00001d21: SWAP12
00001d22: PUSH2 0x1c60
00001d25: DUP14
00001d26: DUP9
00001d27: ADD
00001d28: MLOAD
00001d29: DUP7
00001d2a: PUSH2 0x1e47
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: PUSH1 0x00
00001d31: JUMPDEST
00001d32: DUP7
00001d33: DUP2
00001d34: LT
00001d35: PUSH2 0x1d42
00001d38: JUMPI
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: POP
00001d40: POP
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH2 0x1d4d
00001d46: DUP2
00001d47: DUP4
00001d48: MLOAD
00001d49: PUSH2 0x175e
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: MLOAD
00001d4f: DUP9
00001d50: PUSH2 0x1d5a
00001d53: DUP4
00001d54: DUP8
00001d55: DUP11
00001d56: PUSH2 0x196c
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: ADD
00001d5c: CALLDATALOAD
00001d5d: SWAP1
00001d5e: DUP10
00001d5f: DUP2
00001d60: ADD
00001d61: MLOAD
00001d62: DUP1
00001d63: DUP4
00001d64: GT
00001d65: PUSH2 0x1dbe
00001d68: JUMPI
00001d69: POP
00001d6a: SWAP2
00001d6b: DUP2
00001d6c: DUP9
00001d6d: DUP9
00001d6e: DUP9
00001d6f: PUSH1 0x01
00001d71: SWAP7
00001d72: DUP6
00001d73: SWAP7
00001d74: PUSH2 0x1d84
00001d77: JUMPI
00001d78: JUMPDEST
00001d79: POP
00001d7a: POP
00001d7b: POP
00001d7c: POP
00001d7d: POP
00001d7e: POP
00001d7f: ADD
00001d80: PUSH2 0x1d31
00001d83: JUMP
00001d84: JUMPDEST
00001d85: PUSH2 0x1db3
00001d88: SWAP6
00001d89: PUSH2 0x1dad
00001d8c: SWAP3
00001d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da2: PUSH2 0x0515
00001da5: SWAP4
00001da6: MLOAD
00001da7: AND
00001da8: SWAP6
00001da9: PUSH2 0x196c
00001dac: JUMP
00001dad: JUMPDEST
00001dae: SWAP2
00001daf: PUSH2 0x18b5
00001db2: JUMP
00001db3: JUMPDEST
00001db4: DUP1
00001db5: CODESIZE
00001db6: DUP9
00001db7: DUP9
00001db8: DUP9
00001db9: DUP4
00001dba: PUSH2 0x1d78
00001dbd: JUMP
00001dbe: JUMPDEST
00001dbf: PUSH1 0x24
00001dc1: SWAP1
00001dc2: DUP7
00001dc3: MLOAD
00001dc4: SWAP1
00001dc5: PUSH32 0x3728b83d00000000000000000000000000000000000000000000000000000000
00001de6: DUP3
00001de7: MSTORE
00001de8: PUSH1 0x04
00001dea: DUP3
00001deb: ADD
00001dec: MSTORE
00001ded: REVERT
00001dee: JUMPDEST
00001def: PUSH1 0x04
00001df1: DUP5
00001df2: MLOAD
00001df3: PUSH32 0xff633a3800000000000000000000000000000000000000000000000000000000
00001e14: DUP2
00001e15: MSTORE
00001e16: REVERT
00001e17: JUMPDEST
00001e18: PUSH1 0x24
00001e1a: SWAP1
00001e1b: DUP6
00001e1c: MLOAD
00001e1d: SWAP1
00001e1e: PUSH32 0xcd21db4f00000000000000000000000000000000000000000000000000000000
00001e3f: DUP3
00001e40: MSTORE
00001e41: PUSH1 0x04
00001e43: DUP3
00001e44: ADD
00001e45: MSTORE
00001e46: REVERT
00001e47: JUMPDEST
00001e48: SWAP1
00001e49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5e: PUSH1 0x01
00001e60: PUSH1 0xff
00001e62: DUP4
00001e63: AND
00001e64: SHL
00001e65: SWAP3
00001e66: AND
00001e67: PUSH1 0x00
00001e69: MSTORE
00001e6a: PUSH1 0x00
00001e6c: PUSH1 0x20
00001e6e: MSTORE
00001e6f: PUSH1 0x40
00001e71: PUSH1 0x00
00001e73: KECCAK256
00001e74: SWAP1
00001e75: PUSH1 0x08
00001e77: SHR
00001e78: PUSH1 0x00
00001e7a: MSTORE
00001e7b: PUSH1 0x20
00001e7d: MSTORE
00001e7e: PUSH1 0x40
00001e80: PUSH1 0x00
00001e82: KECCAK256
00001e83: DUP2
00001e84: DUP2
00001e85: SLOAD
00001e86: XOR
00001e87: DUP1
00001e88: SWAP2
00001e89: SSTORE
00001e8a: AND
00001e8b: ISZERO
00001e8c: PUSH2 0x1e91
00001e8f: JUMPI
00001e90: JUMP
00001e91: JUMPDEST
00001e92: PUSH1 0x04
00001e94: PUSH1 0x40
00001e96: MLOAD
00001e97: PUSH32 0x756688fe00000000000000000000000000000000000000000000000000000000
00001eb8: DUP2
00001eb9: MSTORE
00001eba: REVERT
00001ebb: JUMPDEST
00001ebc: SWAP1
00001ebd: PUSH2 0x1ec5
00001ec0: DUP3
00001ec1: PUSH2 0x15ef
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: PUSH2 0x1ed2
00001ec9: PUSH1 0x40
00001ecb: MLOAD
00001ecc: SWAP2
00001ecd: DUP3
00001ece: PUSH2 0x1437
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: DUP3
00001ed4: DUP2
00001ed5: MSTORE
00001ed6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001ef7: PUSH2 0x1f00
00001efa: DUP3
00001efb: SWAP5
00001efc: PUSH2 0x15ef
00001eff: JUMP
00001f00: JUMPDEST
00001f01: ADD
00001f02: SWAP1
00001f03: PUSH1 0x20
00001f05: CALLDATASIZE
00001f06: SWAP2
00001f07: ADD
00001f08: CALLDATACOPY
00001f09: JUMP
00001f0a: JUMPDEST
00001f0b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f2c: DUP2
00001f2d: EQ
00001f2e: PUSH2 0x1f37
00001f31: JUMPI
00001f32: PUSH1 0x01
00001f34: ADD
00001f35: SWAP1
00001f36: JUMP
00001f37: JUMPDEST
00001f38: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001f59: PUSH1 0x00
00001f5b: MSTORE
00001f5c: PUSH1 0x11
00001f5e: PUSH1 0x04
00001f60: MSTORE
00001f61: PUSH1 0x24
00001f63: PUSH1 0x00
00001f65: REVERT
00001f66: JUMPDEST
00001f67: DUP1
00001f68: MLOAD
00001f69: PUSH1 0x20
00001f6b: DUP1
00001f6c: SWAP3
00001f6d: ADD
00001f6e: SWAP2
00001f6f: PUSH1 0x00
00001f71: JUMPDEST
00001f72: DUP3
00001f73: DUP2
00001f74: LT
00001f75: PUSH2 0x1f7f
00001f78: JUMPI
00001f79: POP
00001f7a: POP
00001f7b: POP
00001f7c: POP
00001f7d: SWAP1
00001f7e: JUMP
00001f7f: JUMPDEST
00001f80: DUP4
00001f81: MLOAD
00001f82: DUP6
00001f83: MSTORE
00001f84: SWAP4
00001f85: DUP2
00001f86: ADD
00001f87: SWAP4
00001f88: SWAP3
00001f89: DUP2
00001f8a: ADD
00001f8b: SWAP3
00001f8c: PUSH1 0x01
00001f8e: ADD
00001f8f: PUSH2 0x1f71
00001f92: JUMP
00001f93: JUMPDEST
00001f94: SWAP1
00001f95: DUP2
00001f96: MLOAD
00001f97: SWAP2
00001f98: PUSH1 0x00
00001f9a: JUMPDEST
00001f9b: DUP4
00001f9c: DUP2
00001f9d: LT
00001f9e: PUSH2 0x1fab
00001fa1: JUMPI
00001fa2: POP
00001fa3: POP
00001fa4: ADD
00001fa5: PUSH1 0x00
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: SWAP1
00001faa: JUMP
00001fab: JUMPDEST
00001fac: DUP1
00001fad: PUSH1 0x20
00001faf: DUP1
00001fb0: SWAP3
00001fb1: DUP5
00001fb2: ADD
00001fb3: ADD
00001fb4: MLOAD
00001fb5: DUP2
00001fb6: DUP6
00001fb7: ADD
00001fb8: MSTORE
00001fb9: ADD
00001fba: PUSH2 0x1f9a
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: PUSH1 0x40
00001fc1: MLOAD
00001fc2: PUSH1 0x20
00001fc4: DUP2
00001fc5: ADD
00001fc6: SWAP2
00001fc7: PUSH32 0x65626cad6cb96493bf6f5ebea28756c966f023ab9e8a83a7101849d5573b3678
00001fe8: DUP4
00001fe9: MSTORE
00001fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fff: DUP1
00002000: DUP3
00002001: MLOAD
00002002: AND
00002003: PUSH1 0x40
00002005: DUP5
00002006: ADD
00002007: MSTORE
00002008: PUSH1 0x20
0000200a: DUP3
0000200b: ADD
0000200c: MLOAD
0000200d: AND
0000200e: PUSH1 0x60
00002010: DUP4
00002011: ADD
00002012: MSTORE
00002013: PUSH1 0x60
00002015: PUSH6 0xffffffffffff
0000201c: SWAP2
0000201d: DUP3
0000201e: PUSH1 0x40
00002020: DUP3
00002021: ADD
00002022: MLOAD
00002023: AND
00002024: PUSH1 0x80
00002026: DUP6
00002027: ADD
00002028: MSTORE
00002029: ADD
0000202a: MLOAD
0000202b: AND
0000202c: PUSH1 0xa0
0000202e: DUP3
0000202f: ADD
00002030: MSTORE
00002031: PUSH1 0xa0
00002033: DUP2
00002034: MSTORE
00002035: PUSH1 0xc0
00002037: DUP2
00002038: ADD
00002039: DUP2
0000203a: DUP2
0000203b: LT
0000203c: PUSH8 0xffffffffffffffff
00002045: DUP3
00002046: GT
00002047: OR
00002048: PUSH2 0x13b4
0000204b: JUMPI
0000204c: PUSH1 0x40
0000204e: MSTORE
0000204f: MLOAD
00002050: SWAP1
00002051: KECCAK256
00002052: SWAP1
00002053: JUMP
00002054: JUMPDEST
00002055: PUSH1 0x40
00002057: MLOAD
00002058: PUSH1 0x20
0000205a: DUP1
0000205b: DUP3
0000205c: ADD
0000205d: SWAP3
0000205e: PUSH32 0x618358ac3db8dc274f0cd8829da7e234bd48cd73c4a740aede1adec9846d06a1
0000207f: DUP5
00002080: MSTORE
00002081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002096: DUP2
00002097: MLOAD
00002098: AND
00002099: PUSH1 0x40
0000209b: DUP5
0000209c: ADD
0000209d: MSTORE
0000209e: ADD
0000209f: MLOAD
000020a0: PUSH1 0x60
000020a2: DUP3
000020a3: ADD
000020a4: MSTORE
000020a5: PUSH1 0x60
000020a7: DUP2
000020a8: MSTORE
000020a9: PUSH2 0x1bd3
000020ac: DUP2
000020ad: PUSH2 0x1398
000020b0: JUMP
000020b1: JUMPDEST
000020b2: SWAP2
000020b3: SWAP1
000020b4: DUP3
000020b5: PUSH1 0x40
000020b7: SWAP2
000020b8: SUB
000020b9: SLT
000020ba: PUSH2 0x149b
000020bd: JUMPI
000020be: PUSH1 0x20
000020c0: DUP3
000020c1: CALLDATALOAD
000020c2: SWAP3
000020c3: ADD
000020c4: CALLDATALOAD
000020c5: SWAP1
000020c6: JUMP
000020c7: JUMPDEST
000020c8: PUSH1 0x00
000020ca: DUP5
000020cb: EXTCODESIZE
000020cc: PUSH2 0x222e
000020cf: JUMPI
000020d0: POP
000020d1: PUSH1 0x41
000020d3: DUP3
000020d4: SUB
000020d5: PUSH2 0x21ac
000020d8: JUMPI
000020d9: PUSH2 0x20e4
000020dc: DUP3
000020dd: DUP3
000020de: ADD
000020df: DUP3
000020e0: PUSH2 0x20b1
000020e3: JUMP
000020e4: JUMPDEST
000020e5: SWAP4
000020e6: SWAP1
000020e7: SWAP3
000020e8: PUSH1 0x40
000020ea: LT
000020eb: ISZERO
000020ec: PUSH2 0x1772
000020ef: JUMPI
000020f0: PUSH1 0x20
000020f2: SWAP4
000020f3: PUSH1 0x00
000020f5: SWAP4
000020f6: PUSH1 0xff
000020f8: PUSH1 0x40
000020fa: PUSH1 0x80
000020fc: SWAP6
000020fd: ADD
000020fe: CALLDATALOAD
000020ff: PUSH1 0xf8
00002101: SHR
00002102: JUMPDEST
00002103: PUSH1 0x40
00002105: MLOAD
00002106: SWAP5
00002107: DUP6
00002108: MSTORE
00002109: AND
0000210a: DUP7
0000210b: DUP5
0000210c: ADD
0000210d: MSTORE
0000210e: PUSH1 0x40
00002110: DUP4
00002111: ADD
00002112: MSTORE
00002113: PUSH1 0x60
00002115: DUP3
00002116: ADD
00002117: MSTORE
00002118: DUP3
00002119: DUP1
0000211a: MSTORE
0000211b: PUSH1 0x01
0000211d: GAS
0000211e: STATICCALL
0000211f: ISZERO
00002120: PUSH2 0x21a0
00002123: JUMPI
00002124: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002139: DUP1
0000213a: PUSH1 0x00
0000213c: MLOAD
0000213d: AND
0000213e: SWAP2
0000213f: DUP3
00002140: ISZERO
00002141: PUSH2 0x2176
00002144: JUMPI
00002145: AND
00002146: SUB
00002147: PUSH2 0x214c
0000214a: JUMPI
0000214b: JUMP
0000214c: JUMPDEST
0000214d: PUSH1 0x04
0000214f: PUSH1 0x40
00002151: MLOAD
00002152: PUSH32 0x815e1d6400000000000000000000000000000000000000000000000000000000
00002173: DUP2
00002174: MSTORE
00002175: REVERT
00002176: JUMPDEST
00002177: PUSH1 0x04
00002179: PUSH1 0x40
0000217b: MLOAD
0000217c: PUSH32 0x8baa579f00000000000000000000000000000000000000000000000000000000
0000219d: DUP2
0000219e: MSTORE
0000219f: REVERT
000021a0: JUMPDEST
000021a1: PUSH1 0x40
000021a3: MLOAD
000021a4: RETURNDATASIZE
000021a5: PUSH1 0x00
000021a7: DUP3
000021a8: RETURNDATACOPY
000021a9: RETURNDATASIZE
000021aa: SWAP1
000021ab: REVERT
000021ac: JUMPDEST
000021ad: PUSH1 0x40
000021af: DUP3
000021b0: SUB
000021b1: PUSH2 0x2204
000021b4: JUMPI
000021b5: PUSH2 0x21c0
000021b8: SWAP2
000021b9: DUP2
000021ba: ADD
000021bb: SWAP1
000021bc: PUSH2 0x20b1
000021bf: JUMP
000021c0: JUMPDEST
000021c1: SWAP2
000021c2: PUSH1 0x1b
000021c4: PUSH32 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000021e5: DUP5
000021e6: AND
000021e7: SWAP4
000021e8: PUSH1 0xff
000021ea: SHR
000021eb: ADD
000021ec: SWAP1
000021ed: PUSH1 0xff
000021ef: DUP3
000021f0: GT
000021f1: PUSH2 0x1f37
000021f4: JUMPI
000021f5: PUSH1 0x20
000021f7: SWAP4
000021f8: PUSH1 0x00
000021fa: SWAP4
000021fb: PUSH1 0xff
000021fd: PUSH1 0x80
000021ff: SWAP5
00002200: PUSH2 0x2102
00002203: JUMP
00002204: JUMPDEST
00002205: PUSH1 0x04
00002207: PUSH1 0x40
00002209: MLOAD
0000220a: PUSH32 0x4be6321b00000000000000000000000000000000000000000000000000000000
0000222b: DUP2
0000222c: MSTORE
0000222d: REVERT
0000222e: JUMPDEST
0000222f: SWAP3
00002230: SWAP4
00002231: SWAP2
00002232: PUSH1 0x1f
00002234: SWAP3
00002235: DUP2
00002236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224b: PUSH1 0x64
0000224d: PUSH1 0x20
0000224f: SWAP6
00002250: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002271: PUSH1 0x40
00002273: MLOAD
00002274: SWAP9
00002275: DUP10
00002276: SWAP8
00002277: DUP9
00002278: SWAP7
00002279: DUP8
0000227a: SWAP5
0000227b: PUSH32 0x1626ba7e00000000000000000000000000000000000000000000000000000000
0000229c: SWAP15
0000229d: DUP16
0000229e: DUP8
0000229f: MSTORE
000022a0: PUSH1 0x04
000022a2: DUP8
000022a3: ADD
000022a4: MSTORE
000022a5: PUSH1 0x40
000022a7: PUSH1 0x24
000022a9: DUP8
000022aa: ADD
000022ab: MSTORE
000022ac: DUP2
000022ad: PUSH1 0x44
000022af: DUP8
000022b0: ADD
000022b1: MSTORE
000022b2: DUP7
000022b3: DUP7
000022b4: ADD
000022b5: CALLDATACOPY
000022b6: DUP12
000022b7: DUP6
000022b8: DUP3
000022b9: DUP7
000022ba: ADD
000022bb: ADD
000022bc: MSTORE
000022bd: ADD
000022be: AND
000022bf: DUP2
000022c0: ADD
000022c1: SUB
000022c2: ADD
000022c3: SWAP3
000022c4: AND
000022c5: GAS
000022c6: STATICCALL
000022c7: SWAP1
000022c8: DUP2
000022c9: ISZERO
000022ca: PUSH2 0x23a8
000022cd: JUMPI
000022ce: DUP3
000022cf: SWAP2
000022d0: PUSH2 0x232a
000022d3: JUMPI
000022d4: JUMPDEST
000022d5: POP
000022d6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000022f7: SWAP2
000022f8: POP
000022f9: AND
000022fa: SUB
000022fb: PUSH2 0x2300
000022fe: JUMPI
000022ff: JUMP
00002300: JUMPDEST
00002301: PUSH1 0x04
00002303: PUSH1 0x40
00002305: MLOAD
00002306: PUSH32 0xb0669cbc00000000000000000000000000000000000000000000000000000000
00002327: DUP2
00002328: MSTORE
00002329: REVERT
0000232a: JUMPDEST
0000232b: SWAP1
0000232c: POP
0000232d: PUSH1 0x20
0000232f: DUP2
00002330: RETURNDATASIZE
00002331: DUP3
00002332: GT
00002333: PUSH2 0x23a0
00002336: JUMPI
00002337: JUMPDEST
00002338: DUP2
00002339: PUSH2 0x2344
0000233c: PUSH1 0x20
0000233e: SWAP4
0000233f: DUP4
00002340: PUSH2 0x1437
00002343: JUMP
00002344: JUMPDEST
00002345: DUP2
00002346: ADD
00002347: SUB
00002348: SLT
00002349: PUSH2 0x0336
0000234c: JUMPI
0000234d: MLOAD
0000234e: SWAP1
0000234f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002370: DUP3
00002371: AND
00002372: DUP3
00002373: SUB
00002374: PUSH2 0x0a9a
00002377: JUMPI
00002378: POP
00002379: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000239a: SWAP1
0000239b: CODESIZE
0000239c: PUSH2 0x22d4
0000239f: JUMP
000023a0: JUMPDEST
000023a1: RETURNDATASIZE
000023a2: SWAP2
000023a3: POP
000023a4: PUSH2 0x2337
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH1 0x40
000023ab: MLOAD
000023ac: RETURNDATASIZE
000023ad: DUP5
000023ae: DUP3
000023af: RETURNDATACOPY
000023b0: RETURNDATASIZE
000023b1: SWAP1
000023b2: REVERT
000023b3: INVALID
000023b4: LOG1
000023b5: PUSH5 0x736f6c6343
000023bb: STOP
000023bc: ADDMOD
000023bd: GT
000023be: STOP
000023bf: EXP