TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

52a24675-f172-4bc4-95d4-f87d1f7eeddf

failed
Chain ID
1
Address
0x9abb7bddc43fa67c76a62d8c016513827f59be1b
Block Number
—
Created
Sun, Jan 4, 2026 1:42 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31513 report.consolidate complete 1 / 1 3 months ago
77704 artifact.fetch failed 1 / 3 2 weeks ago
77705 tool.cast_disasm complete 1 / 3 2 weeks ago
77706 analysis.bundle complete 1 / 3 2 weeks ago
77707 capability.graph complete 1 / 3 2 weeks ago
77708 detector.run complete 1 / 3 2 weeks ago
77709 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable path to extract ETH/tokens/NFTs found in `contracts/Contract.sol` based on the provided bundle and constraints.
View stderr 
[codex:538973] OpenAI Codex v0.77.0 (research preview)
[codex:538973] --------
[codex:538973] workdir: /tmp/codex-multi-ux4ga04v
[codex:538973] model: gpt-5.2-codex
[codex:538973] provider: openai
[codex:538973] approval: never
[codex:538973] sandbox: read-only
[codex:538973] reasoning effort: xhigh
[codex:538973] reasoning summaries: auto
[codex:538973] session id: 019b86a8-8244-74b2-bd9d-60c533cbdfcd
[codex:538973] --------
[codex:538973] user
[codex:538973] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:538973] 
[codex:538973] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:538973] 
[codex:538973] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:538973] - Gas inefficiency, code quality, naming, or best practices
[codex:538973] - Theoretical vulnerabilities without a clear extraction path
[codex:538973] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:538973] - Front-running unless it enables theft beyond MEV
[codex:538973] - DoS, griefing, or issues that don't result in attacker profit
[codex:538973] - Missing events, view function issues, or informational findings
[codex:538973] 
[codex:538973] HIGH-VALUE PATTERNS TO HUNT:
[codex:538973] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:538973] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:538973] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:538973] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:538973] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:538973] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:538973] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:538973] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:538973] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:538973] 
[codex:538973] For each finding, you MUST provide:
[codex:538973] 1. Exact file and line numbers of vulnerable code
[codex:538973] 2. Step-by-step exploit transaction sequence
[codex:538973] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:538973] 
[codex:538973] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:538973] 
[codex:538973] Output MUST be valid JSON matching the provided schema.
[codex:538973] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:538973] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:538973] mcp startup: no servers
[codex:538973] 
[codex:538973] thinking
[codex:538973] **Checking for skill instructions**
[codex:538973] exec
[codex:538973] /bin/bash -lc ls in /tmp/codex-multi-ux4ga04v succeeded in 5ms:
[codex:538973] AUDIT_BUNDLE.txt
[codex:538973] codex-output-schema.json
[codex:538973] contracts
[codex:538973] exec
[codex:538973] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ux4ga04v succeeded in 5ms:
[codex:538973] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:538973] 
[codex:538973] ================================================================================
[codex:538973] FILE: contracts/Contract.sol
[codex:538973] ================================================================================
[codex:538973] // SPDX-License-Identifier: This smart contract is guarded by an angry ghost
[codex:538973] pragma solidity ^0.8.0;
[codex:538973] 
[codex:538973] 
[codex:538973] contract POWNFTv3{
[codex:538973] 
[codex:538973]     //v2 Variables
[codex:538973]     uint public UNMIGRATED = 0;
[codex:538973]     uint public V2_TOTAL = 0;
[codex:538973]     bytes32 public PREV_CHAIN_LAST_HASH;
[codex:538973]     POWNFTv2 CONTRACT_V2;
[codex:538973] 
[codex:538973]     constructor(address contract_v2){
[codex:538973]         supportedInterfaces[0x80ac58cd] = true; //ERC721
[codex:538973]         supportedInterfaces[0x5b5e139f] = true; //ERC721Metadata
[codex:538973] 
[codex:538973] 
[codex:538973] 
[codex:538973] thinking
[codex:538973] **Evaluating withdrawal and mining for exploits**
[codex:538973] 
[codex:538973] I'm carefully analyzing the contract’s withdrawal and mining logic to find any profit exploits, especially around token ownership, reentrancy, token ID calculations, and overflow protections. I’m checking if transfers, migrations, or withdrawals offer any gaps that let an attacker extract ETH unfairly, but so far the contract’s safeguards and token ID management look solid against such exploits.
[codex:538973] thinking
[codex:538973] **Assessing mining costs and token generation impacts**
[codex:538973] 
[codex:538973] I'm exploring how the mining cost formula and token generation influence the ability to mine for free or cheaply, especially focusing on generation 0 tokens and scenarios with zero pre-existing tokens. I’m verifying the economic design to see if mining or withdrawing ETH could yield unintended profit, but so far it looks balanced and secure against such shortcuts.
[codex:538973] thinking
[codex:538973] **Summarizing audit findings and JSON report preparation**
[codex:538973] 
[codex:538973] I'm carefully reviewing for subtle vulnerabilities, especially reentrancy via external contract calls and edge cases like tokenId zero or mapping inconsistencies. After thorough analysis, I conclude no concrete, exploitable profit path exists and will prepare the final JSON report indicating no findings.
[codex:538973] codex
[codex:538973] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in `contracts/Contract.sol` based on the provided bundle and constraints.","findings":[]}
[codex:538973] tokens used
[codex:538973] 19,729
[codex:538973] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs found in `contracts/Contract.sol` based on the provided bundle and constraints.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T01:42:27.178778+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in `contracts/Contract.sol` based on the provided bundle and constraints.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs found in `contracts/Contract.sol` based on the provided bundle and constraints.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
4
Total opcodes
7847
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0166
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4f6ccce7
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9d110530
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb1ac1347
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb1ac1347
0000003a: EQ
0000003b: PUSH2 0x0551
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb88d4fde
00000045: EQ
00000046: PUSH2 0x057c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xc87b56dd
00000050: EQ
00000051: PUSH2 0x05a5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x05e2
0000005f: JUMPI
00000060: PUSH2 0x0166
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9d110530
0000006b: EQ
0000006c: PUSH2 0x04d4
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa22cb465
00000076: EQ
00000077: PUSH2 0x04fd
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xaf88d599
00000081: EQ
00000082: PUSH2 0x0526
00000085: JUMPI
00000086: PUSH2 0x0166
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x4f6ccce7
00000091: EQ
00000092: PUSH2 0x038a
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x6352211e
0000009c: EQ
0000009d: PUSH2 0x03c7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x70a08231
000000a7: EQ
000000a8: PUSH2 0x0404
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x73dfd221
000000b2: EQ
000000b3: PUSH2 0x0441
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7e551b75
000000bd: EQ
000000be: PUSH2 0x046c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x04a9
000000cc: JUMPI
000000cd: PUSH2 0x0166
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x23b872dd
000000d8: GT
000000d9: PUSH2 0x0123
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x23b872dd
000000e3: EQ
000000e4: PUSH2 0x028d
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x2f745c59
000000ee: EQ
000000ef: PUSH2 0x02b6
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x3e54bacb
000000f9: EQ
000000fa: PUSH2 0x02f3
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x42842e0e
00000104: EQ
00000105: PUSH2 0x031c
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x441a3e70
0000010f: EQ
00000110: PUSH2 0x0345
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x4d474898
0000011a: EQ
0000011b: PUSH2 0x036e
0000011e: JUMPI
0000011f: PUSH2 0x0166
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x01ffc9a7
0000012a: EQ
0000012b: PUSH2 0x016b
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x06fdde03
00000135: EQ
00000136: PUSH2 0x01a8
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x081812fc
00000140: EQ
00000141: PUSH2 0x01d3
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x095ea7b3
0000014b: EQ
0000014c: PUSH2 0x0210
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x0fdd2ec8
00000156: EQ
00000157: PUSH2 0x0239
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x18160ddd
00000161: EQ
00000162: PUSH2 0x0262
00000165: JUMPI
00000166: JUMPDEST
00000167: PUSH1 0x00
00000169: DUP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: DUP1
0000016e: ISZERO
0000016f: PUSH2 0x0177
00000172: JUMPI
00000173: PUSH1 0x00
00000175: DUP1
00000176: REVERT
00000177: JUMPDEST
00000178: POP
00000179: PUSH2 0x0192
0000017c: PUSH1 0x04
0000017e: DUP1
0000017f: CALLDATASIZE
00000180: SUB
00000181: DUP2
00000182: ADD
00000183: SWAP1
00000184: PUSH2 0x018d
00000187: SWAP2
00000188: SWAP1
00000189: PUSH2 0x2a33
0000018c: JUMP
0000018d: JUMPDEST
0000018e: PUSH2 0x061f
00000191: JUMP
00000192: JUMPDEST
00000193: PUSH1 0x40
00000195: MLOAD
00000196: PUSH2 0x019f
00000199: SWAP2
0000019a: SWAP1
0000019b: PUSH2 0x3101
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: SWAP2
000001a5: SUB
000001a6: SWAP1
000001a7: RETURN
000001a8: JUMPDEST
000001a9: CALLVALUE
000001aa: DUP1
000001ab: ISZERO
000001ac: PUSH2 0x01b4
000001af: JUMPI
000001b0: PUSH1 0x00
000001b2: DUP1
000001b3: REVERT
000001b4: JUMPDEST
000001b5: POP
000001b6: PUSH2 0x01bd
000001b9: PUSH2 0x0687
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: PUSH2 0x01ca
000001c4: SWAP2
000001c5: SWAP1
000001c6: PUSH2 0x3137
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x40
000001cd: MLOAD
000001ce: DUP1
000001cf: SWAP2
000001d0: SUB
000001d1: SWAP1
000001d2: RETURN
000001d3: JUMPDEST
000001d4: CALLVALUE
000001d5: DUP1
000001d6: ISZERO
000001d7: PUSH2 0x01df
000001da: JUMPI
000001db: PUSH1 0x00
000001dd: DUP1
000001de: REVERT
000001df: JUMPDEST
000001e0: POP
000001e1: PUSH2 0x01fa
000001e4: PUSH1 0x04
000001e6: DUP1
000001e7: CALLDATASIZE
000001e8: SUB
000001e9: DUP2
000001ea: ADD
000001eb: SWAP1
000001ec: PUSH2 0x01f5
000001ef: SWAP2
000001f0: SWAP1
000001f1: PUSH2 0x2a85
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH2 0x0719
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: PUSH2 0x0207
00000201: SWAP2
00000202: SWAP1
00000203: PUSH2 0x309a
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: SWAP2
0000020d: SUB
0000020e: SWAP1
0000020f: RETURN
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x0237
00000221: PUSH1 0x04
00000223: DUP1
00000224: CALLDATASIZE
00000225: SUB
00000226: DUP2
00000227: ADD
00000228: SWAP1
00000229: PUSH2 0x0232
0000022c: SWAP2
0000022d: SWAP1
0000022e: PUSH2 0x2959
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH2 0x079e
00000236: JUMP
00000237: JUMPDEST
00000238: STOP
00000239: JUMPDEST
0000023a: CALLVALUE
0000023b: DUP1
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: POP
00000247: PUSH2 0x0260
0000024a: PUSH1 0x04
0000024c: DUP1
0000024d: CALLDATASIZE
0000024e: SUB
0000024f: DUP2
00000250: ADD
00000251: SWAP1
00000252: PUSH2 0x025b
00000255: SWAP2
00000256: SWAP1
00000257: PUSH2 0x2995
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH2 0x095c
0000025f: JUMP
00000260: JUMPDEST
00000261: STOP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x0277
00000273: PUSH2 0x09d8
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: PUSH2 0x0284
0000027e: SWAP2
0000027f: SWAP1
00000280: PUSH2 0x3319
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: SWAP2
0000028a: SUB
0000028b: SWAP1
0000028c: RETURN
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x02b4
0000029e: PUSH1 0x04
000002a0: DUP1
000002a1: CALLDATASIZE
000002a2: SUB
000002a3: DUP2
000002a4: ADD
000002a5: SWAP1
000002a6: PUSH2 0x02af
000002a9: SWAP2
000002aa: SWAP1
000002ab: PUSH2 0x2853
000002ae: JUMP
000002af: JUMPDEST
000002b0: PUSH2 0x09e5
000002b3: JUMP
000002b4: JUMPDEST
000002b5: STOP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: DUP1
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: POP
000002c4: PUSH2 0x02dd
000002c7: PUSH1 0x04
000002c9: DUP1
000002ca: CALLDATASIZE
000002cb: SUB
000002cc: DUP2
000002cd: ADD
000002ce: SWAP1
000002cf: PUSH2 0x02d8
000002d2: SWAP2
000002d3: SWAP1
000002d4: PUSH2 0x2959
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x11db
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: PUSH2 0x02ea
000002e4: SWAP2
000002e5: SWAP1
000002e6: PUSH2 0x3319
000002e9: JUMP
000002ea: JUMPDEST
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: DUP1
000002ef: SWAP2
000002f0: SUB
000002f1: SWAP1
000002f2: RETURN
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02ff
000002fa: JUMPI
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x031a
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: DUP2
0000030a: ADD
0000030b: SWAP1
0000030c: PUSH2 0x0315
0000030f: SWAP2
00000310: SWAP1
00000311: PUSH2 0x2aae
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x12e8
00000319: JUMP
0000031a: JUMPDEST
0000031b: STOP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x0343
0000032d: PUSH1 0x04
0000032f: DUP1
00000330: CALLDATASIZE
00000331: SUB
00000332: DUP2
00000333: ADD
00000334: SWAP1
00000335: PUSH2 0x033e
00000338: SWAP2
00000339: SWAP1
0000033a: PUSH2 0x2853
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH2 0x1309
00000342: JUMP
00000343: JUMPDEST
00000344: STOP
00000345: JUMPDEST
00000346: CALLVALUE
00000347: DUP1
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: POP
00000353: PUSH2 0x036c
00000356: PUSH1 0x04
00000358: DUP1
00000359: CALLDATASIZE
0000035a: SUB
0000035b: DUP2
0000035c: ADD
0000035d: SWAP1
0000035e: PUSH2 0x0367
00000361: SWAP2
00000362: SWAP1
00000363: PUSH2 0x2aae
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x1329
0000036b: JUMP
0000036c: JUMPDEST
0000036d: STOP
0000036e: JUMPDEST
0000036f: PUSH2 0x0388
00000372: PUSH1 0x04
00000374: DUP1
00000375: CALLDATASIZE
00000376: SUB
00000377: DUP2
00000378: ADD
00000379: SWAP1
0000037a: PUSH2 0x0383
0000037d: SWAP2
0000037e: SWAP1
0000037f: PUSH2 0x2a85
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x137d
00000387: JUMP
00000388: JUMPDEST
00000389: STOP
0000038a: JUMPDEST
0000038b: CALLVALUE
0000038c: DUP1
0000038d: ISZERO
0000038e: PUSH2 0x0396
00000391: JUMPI
00000392: PUSH1 0x00
00000394: DUP1
00000395: REVERT
00000396: JUMPDEST
00000397: POP
00000398: PUSH2 0x03b1
0000039b: PUSH1 0x04
0000039d: DUP1
0000039e: CALLDATASIZE
0000039f: SUB
000003a0: DUP2
000003a1: ADD
000003a2: SWAP1
000003a3: PUSH2 0x03ac
000003a6: SWAP2
000003a7: SWAP1
000003a8: PUSH2 0x2a85
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x1605
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: PUSH2 0x03be
000003b8: SWAP2
000003b9: SWAP1
000003ba: PUSH2 0x3319
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: DUP1
000003c3: SWAP2
000003c4: SUB
000003c5: SWAP1
000003c6: RETURN
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x03ee
000003d8: PUSH1 0x04
000003da: DUP1
000003db: CALLDATASIZE
000003dc: SUB
000003dd: DUP2
000003de: ADD
000003df: SWAP1
000003e0: PUSH2 0x03e9
000003e3: SWAP2
000003e4: SWAP1
000003e5: PUSH2 0x2a85
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x1669
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: PUSH2 0x03fb
000003f5: SWAP2
000003f6: SWAP1
000003f7: PUSH2 0x309a
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH1 0x40
000003fe: MLOAD
000003ff: DUP1
00000400: SWAP2
00000401: SUB
00000402: SWAP1
00000403: RETURN
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x042b
00000415: PUSH1 0x04
00000417: DUP1
00000418: CALLDATASIZE
00000419: SUB
0000041a: DUP2
0000041b: ADD
0000041c: SWAP1
0000041d: PUSH2 0x0426
00000420: SWAP2
00000421: SWAP1
00000422: PUSH2 0x27c5
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH2 0x16ee
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: PUSH2 0x0438
00000432: SWAP2
00000433: SWAP1
00000434: PUSH2 0x3319
00000437: JUMP
00000438: JUMPDEST
00000439: PUSH1 0x40
0000043b: MLOAD
0000043c: DUP1
0000043d: SWAP2
0000043e: SUB
0000043f: SWAP1
00000440: RETURN
00000441: JUMPDEST
00000442: CALLVALUE
00000443: DUP1
00000444: ISZERO
00000445: PUSH2 0x044d
00000448: JUMPI
00000449: PUSH1 0x00
0000044b: DUP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: POP
0000044f: PUSH2 0x0456
00000452: PUSH2 0x1737
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: PUSH2 0x0463
0000045d: SWAP2
0000045e: SWAP1
0000045f: PUSH2 0x3319
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH1 0x40
00000466: MLOAD
00000467: DUP1
00000468: SWAP2
00000469: SUB
0000046a: SWAP1
0000046b: RETURN
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH2 0x0493
0000047d: PUSH1 0x04
0000047f: DUP1
00000480: CALLDATASIZE
00000481: SUB
00000482: DUP2
00000483: ADD
00000484: SWAP1
00000485: PUSH2 0x048e
00000488: SWAP2
00000489: SWAP1
0000048a: PUSH2 0x2a85
0000048d: JUMP
0000048e: JUMPDEST
0000048f: PUSH2 0x173d
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x40
00000496: MLOAD
00000497: PUSH2 0x04a0
0000049a: SWAP2
0000049b: SWAP1
0000049c: PUSH2 0x311c
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: DUP1
000004a5: SWAP2
000004a6: SUB
000004a7: SWAP1
000004a8: RETURN
000004a9: JUMPDEST
000004aa: CALLVALUE
000004ab: DUP1
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: POP
000004b7: PUSH2 0x04be
000004ba: PUSH2 0x17e6
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH1 0x40
000004c1: MLOAD
000004c2: PUSH2 0x04cb
000004c5: SWAP2
000004c6: SWAP1
000004c7: PUSH2 0x3137
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: DUP1
000004d0: SWAP2
000004d1: SUB
000004d2: SWAP1
000004d3: RETURN
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: DUP1
000004d7: ISZERO
000004d8: PUSH2 0x04e0
000004db: JUMPI
000004dc: PUSH1 0x00
000004de: DUP1
000004df: REVERT
000004e0: JUMPDEST
000004e1: POP
000004e2: PUSH2 0x04fb
000004e5: PUSH1 0x04
000004e7: DUP1
000004e8: CALLDATASIZE
000004e9: SUB
000004ea: DUP2
000004eb: ADD
000004ec: SWAP1
000004ed: PUSH2 0x04f6
000004f0: SWAP2
000004f1: SWAP1
000004f2: PUSH2 0x2995
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x1878
000004fa: JUMP
000004fb: JUMPDEST
000004fc: STOP
000004fd: JUMPDEST
000004fe: CALLVALUE
000004ff: DUP1
00000500: ISZERO
00000501: PUSH2 0x0509
00000504: JUMPI
00000505: PUSH1 0x00
00000507: DUP1
00000508: REVERT
00000509: JUMPDEST
0000050a: POP
0000050b: PUSH2 0x0524
0000050e: PUSH1 0x04
00000510: DUP1
00000511: CALLDATASIZE
00000512: SUB
00000513: DUP2
00000514: ADD
00000515: SWAP1
00000516: PUSH2 0x051f
00000519: SWAP2
0000051a: SWAP1
0000051b: PUSH2 0x291d
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH2 0x19c7
00000523: JUMP
00000524: JUMPDEST
00000525: STOP
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x053b
00000537: PUSH2 0x1ac4
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: PUSH2 0x0548
00000542: SWAP2
00000543: SWAP1
00000544: PUSH2 0x3319
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: DUP1
0000054d: SWAP2
0000054e: SUB
0000054f: SWAP1
00000550: RETURN
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x0566
00000562: PUSH2 0x1aca
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH1 0x40
00000569: MLOAD
0000056a: PUSH2 0x0573
0000056d: SWAP2
0000056e: SWAP1
0000056f: PUSH2 0x311c
00000572: JUMP
00000573: JUMPDEST
00000574: PUSH1 0x40
00000576: MLOAD
00000577: DUP1
00000578: SWAP2
00000579: SUB
0000057a: SWAP1
0000057b: RETURN
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x05a3
0000058d: PUSH1 0x04
0000058f: DUP1
00000590: CALLDATASIZE
00000591: SUB
00000592: DUP2
00000593: ADD
00000594: SWAP1
00000595: PUSH2 0x059e
00000598: SWAP2
00000599: SWAP1
0000059a: PUSH2 0x28a2
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH2 0x1ad0
000005a2: JUMP
000005a3: JUMPDEST
000005a4: STOP
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH2 0x05cc
000005b6: PUSH1 0x04
000005b8: DUP1
000005b9: CALLDATASIZE
000005ba: SUB
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH2 0x05c7
000005c1: SWAP2
000005c2: SWAP1
000005c3: PUSH2 0x2a85
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x1c2e
000005cb: JUMP
000005cc: JUMPDEST
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: PUSH2 0x05d9
000005d3: SWAP2
000005d4: SWAP1
000005d5: PUSH2 0x3137
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: DUP1
000005de: SWAP2
000005df: SUB
000005e0: SWAP1
000005e1: RETURN
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: DUP1
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH2 0x0609
000005f3: PUSH1 0x04
000005f5: DUP1
000005f6: CALLDATASIZE
000005f7: SUB
000005f8: DUP2
000005f9: ADD
000005fa: SWAP1
000005fb: PUSH2 0x0604
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH2 0x2817
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH2 0x1e2c
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: PUSH2 0x0616
00000610: SWAP2
00000611: SWAP1
00000612: PUSH2 0x3101
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: DUP1
0000061b: SWAP2
0000061c: SUB
0000061d: SWAP1
0000061e: RETURN
0000061f: JUMPDEST
00000620: PUSH1 0x00
00000622: PUSH1 0x14
00000624: PUSH1 0x00
00000626: DUP4
00000627: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000644: NOT
00000645: AND
00000646: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000663: NOT
00000664: AND
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x20
00000669: ADD
0000066a: SWAP1
0000066b: DUP2
0000066c: MSTORE
0000066d: PUSH1 0x20
0000066f: ADD
00000670: PUSH1 0x00
00000672: KECCAK256
00000673: PUSH1 0x00
00000675: SWAP1
00000676: SLOAD
00000677: SWAP1
00000678: PUSH2 0x0100
0000067b: EXP
0000067c: SWAP1
0000067d: DIV
0000067e: PUSH1 0xff
00000680: AND
00000681: SWAP1
00000682: POP
00000683: SWAP2
00000684: SWAP1
00000685: POP
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH1 0x60
0000068a: PUSH1 0x09
0000068c: DUP1
0000068d: SLOAD
0000068e: PUSH2 0x0696
00000691: SWAP1
00000692: PUSH2 0x37a1
00000695: JUMP
00000696: JUMPDEST
00000697: DUP1
00000698: PUSH1 0x1f
0000069a: ADD
0000069b: PUSH1 0x20
0000069d: DUP1
0000069e: SWAP2
0000069f: DIV
000006a0: MUL
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: SWAP1
000006a8: DUP2
000006a9: ADD
000006aa: PUSH1 0x40
000006ac: MSTORE
000006ad: DUP1
000006ae: SWAP3
000006af: SWAP2
000006b0: SWAP1
000006b1: DUP2
000006b2: DUP2
000006b3: MSTORE
000006b4: PUSH1 0x20
000006b6: ADD
000006b7: DUP3
000006b8: DUP1
000006b9: SLOAD
000006ba: PUSH2 0x06c2
000006bd: SWAP1
000006be: PUSH2 0x37a1
000006c1: JUMP
000006c2: JUMPDEST
000006c3: DUP1
000006c4: ISZERO
000006c5: PUSH2 0x070f
000006c8: JUMPI
000006c9: DUP1
000006ca: PUSH1 0x1f
000006cc: LT
000006cd: PUSH2 0x06e4
000006d0: JUMPI
000006d1: PUSH2 0x0100
000006d4: DUP1
000006d5: DUP4
000006d6: SLOAD
000006d7: DIV
000006d8: MUL
000006d9: DUP4
000006da: MSTORE
000006db: SWAP2
000006dc: PUSH1 0x20
000006de: ADD
000006df: SWAP2
000006e0: PUSH2 0x070f
000006e3: JUMP
000006e4: JUMPDEST
000006e5: DUP3
000006e6: ADD
000006e7: SWAP2
000006e8: SWAP1
000006e9: PUSH1 0x00
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: PUSH1 0x00
000006f0: KECCAK256
000006f1: SWAP1
000006f2: JUMPDEST
000006f3: DUP2
000006f4: SLOAD
000006f5: DUP2
000006f6: MSTORE
000006f7: SWAP1
000006f8: PUSH1 0x01
000006fa: ADD
000006fb: SWAP1
000006fc: PUSH1 0x20
000006fe: ADD
000006ff: DUP1
00000700: DUP4
00000701: GT
00000702: PUSH2 0x06f2
00000705: JUMPI
00000706: DUP3
00000707: SWAP1
00000708: SUB
00000709: PUSH1 0x1f
0000070b: AND
0000070c: DUP3
0000070d: ADD
0000070e: SWAP2
0000070f: JUMPDEST
00000710: POP
00000711: POP
00000712: POP
00000713: POP
00000714: POP
00000715: SWAP1
00000716: POP
00000717: SWAP1
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH1 0x00
0000071c: PUSH2 0x0724
0000071f: DUP3
00000720: PUSH2 0x1ec0
00000723: JUMP
00000724: JUMPDEST
00000725: PUSH2 0x0763
00000728: JUMPI
00000729: PUSH1 0x40
0000072b: MLOAD
0000072c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000074d: DUP2
0000074e: MSTORE
0000074f: PUSH1 0x04
00000751: ADD
00000752: PUSH2 0x075a
00000755: SWAP1
00000756: PUSH2 0x32f9
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: DUP1
0000075f: SWAP2
00000760: SUB
00000761: SWAP1
00000762: REVERT
00000763: JUMPDEST
00000764: PUSH1 0x05
00000766: PUSH1 0x00
00000768: DUP4
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x20
0000076d: ADD
0000076e: SWAP1
0000076f: DUP2
00000770: MSTORE
00000771: PUSH1 0x20
00000773: ADD
00000774: PUSH1 0x00
00000776: KECCAK256
00000777: PUSH1 0x00
00000779: SWAP1
0000077a: SLOAD
0000077b: SWAP1
0000077c: PUSH2 0x0100
0000077f: EXP
00000780: SWAP1
00000781: DIV
00000782: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000797: AND
00000798: SWAP1
00000799: POP
0000079a: SWAP2
0000079b: SWAP1
0000079c: POP
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x00
000007a1: PUSH2 0x07a9
000007a4: DUP3
000007a5: PUSH2 0x1669
000007a8: JUMP
000007a9: JUMPDEST
000007aa: SWAP1
000007ab: POP
000007ac: CALLER
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: AND
000007c3: DUP2
000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d9: AND
000007da: EQ
000007db: DUP1
000007dc: PUSH2 0x086b
000007df: JUMPI
000007e0: POP
000007e1: PUSH1 0x06
000007e3: PUSH1 0x00
000007e5: DUP3
000007e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fb: AND
000007fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000811: AND
00000812: DUP2
00000813: MSTORE
00000814: PUSH1 0x20
00000816: ADD
00000817: SWAP1
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: PUSH1 0x00
0000081f: KECCAK256
00000820: PUSH1 0x00
00000822: CALLER
00000823: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000838: AND
00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084e: AND
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x20
00000853: ADD
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x20
00000859: ADD
0000085a: PUSH1 0x00
0000085c: KECCAK256
0000085d: PUSH1 0x00
0000085f: SWAP1
00000860: SLOAD
00000861: SWAP1
00000862: PUSH2 0x0100
00000865: EXP
00000866: SWAP1
00000867: DIV
00000868: PUSH1 0xff
0000086a: AND
0000086b: JUMPDEST
0000086c: PUSH2 0x08aa
0000086f: JUMPI
00000870: PUSH1 0x40
00000872: MLOAD
00000873: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x04
00000898: ADD
00000899: PUSH2 0x08a1
0000089c: SWAP1
0000089d: PUSH2 0x31b9
000008a0: JUMP
000008a1: JUMPDEST
000008a2: PUSH1 0x40
000008a4: MLOAD
000008a5: DUP1
000008a6: SWAP2
000008a7: SUB
000008a8: SWAP1
000008a9: REVERT
000008aa: JUMPDEST
000008ab: DUP2
000008ac: DUP4
000008ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c2: AND
000008c3: DUP3
000008c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d9: AND
000008da: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000008fb: PUSH1 0x40
000008fd: MLOAD
000008fe: PUSH1 0x40
00000900: MLOAD
00000901: DUP1
00000902: SWAP2
00000903: SUB
00000904: SWAP1
00000905: LOG4
00000906: DUP3
00000907: PUSH1 0x05
00000909: PUSH1 0x00
0000090b: DUP5
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x20
00000910: ADD
00000911: SWAP1
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x20
00000916: ADD
00000917: PUSH1 0x00
00000919: KECCAK256
0000091a: PUSH1 0x00
0000091c: PUSH2 0x0100
0000091f: EXP
00000920: DUP2
00000921: SLOAD
00000922: DUP2
00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000938: MUL
00000939: NOT
0000093a: AND
0000093b: SWAP1
0000093c: DUP4
0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000952: AND
00000953: MUL
00000954: OR
00000955: SWAP1
00000956: SSTORE
00000957: POP
00000958: POP
00000959: POP
0000095a: POP
0000095b: JUMP
0000095c: JUMPDEST
0000095d: PUSH1 0x00
0000095f: JUMPDEST
00000960: DUP5
00000961: DUP5
00000962: SWAP1
00000963: POP
00000964: DUP2
00000965: LT
00000966: ISZERO
00000967: PUSH2 0x09c5
0000096a: JUMPI
0000096b: PUSH2 0x09b2
0000096e: DUP6
0000096f: DUP6
00000970: DUP4
00000971: DUP2
00000972: DUP2
00000973: LT
00000974: PUSH2 0x09a6
00000977: JUMPI
00000978: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000999: PUSH1 0x00
0000099b: MSTORE
0000099c: PUSH1 0x32
0000099e: PUSH1 0x04
000009a0: MSTORE
000009a1: PUSH1 0x24
000009a3: PUSH1 0x00
000009a5: REVERT
000009a6: JUMPDEST
000009a7: SWAP1
000009a8: POP
000009a9: PUSH1 0x20
000009ab: MUL
000009ac: ADD
000009ad: CALLDATALOAD
000009ae: PUSH2 0x1f2c
000009b1: JUMP
000009b2: JUMPDEST
000009b3: DUP1
000009b4: DUP1
000009b5: PUSH2 0x09bd
000009b8: SWAP1
000009b9: PUSH2 0x37d3
000009bc: JUMP
000009bd: JUMPDEST
000009be: SWAP2
000009bf: POP
000009c0: POP
000009c1: PUSH2 0x095f
000009c4: JUMP
000009c5: JUMPDEST
000009c6: POP
000009c7: PUSH2 0x09d2
000009ca: DUP5
000009cb: DUP5
000009cc: DUP5
000009cd: DUP5
000009ce: PUSH2 0x1878
000009d1: JUMP
000009d2: JUMPDEST
000009d3: POP
000009d4: POP
000009d5: POP
000009d6: POP
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH1 0x00
000009db: PUSH1 0x07
000009dd: DUP1
000009de: SLOAD
000009df: SWAP1
000009e0: POP
000009e1: SWAP1
000009e2: POP
000009e3: SWAP1
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH1 0x00
000009e8: PUSH2 0x09f0
000009eb: DUP3
000009ec: PUSH2 0x1669
000009ef: JUMP
000009f0: JUMPDEST
000009f1: SWAP1
000009f2: POP
000009f3: CALLER
000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a09: AND
00000a0a: DUP2
00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a20: AND
00000a21: EQ
00000a22: DUP1
00000a23: PUSH2 0x0a8a
00000a26: JUMPI
00000a27: POP
00000a28: CALLER
00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3e: AND
00000a3f: PUSH1 0x05
00000a41: PUSH1 0x00
00000a43: DUP5
00000a44: DUP2
00000a45: MSTORE
00000a46: PUSH1 0x20
00000a48: ADD
00000a49: SWAP1
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x20
00000a4e: ADD
00000a4f: PUSH1 0x00
00000a51: KECCAK256
00000a52: PUSH1 0x00
00000a54: SWAP1
00000a55: SLOAD
00000a56: SWAP1
00000a57: PUSH2 0x0100
00000a5a: EXP
00000a5b: SWAP1
00000a5c: DIV
00000a5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a72: AND
00000a73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a88: AND
00000a89: EQ
00000a8a: JUMPDEST
00000a8b: DUP1
00000a8c: PUSH2 0x0b1b
00000a8f: JUMPI
00000a90: POP
00000a91: PUSH1 0x06
00000a93: PUSH1 0x00
00000a95: DUP3
00000a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aab: AND
00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac1: AND
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: SWAP1
00000ac8: DUP2
00000ac9: MSTORE
00000aca: PUSH1 0x20
00000acc: ADD
00000acd: PUSH1 0x00
00000acf: KECCAK256
00000ad0: PUSH1 0x00
00000ad2: CALLER
00000ad3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae8: AND
00000ae9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afe: AND
00000aff: DUP2
00000b00: MSTORE
00000b01: PUSH1 0x20
00000b03: ADD
00000b04: SWAP1
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: PUSH1 0x00
00000b0c: KECCAK256
00000b0d: PUSH1 0x00
00000b0f: SWAP1
00000b10: SLOAD
00000b11: SWAP1
00000b12: PUSH2 0x0100
00000b15: EXP
00000b16: SWAP1
00000b17: DIV
00000b18: PUSH1 0xff
00000b1a: AND
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0b5a
00000b1f: JUMPI
00000b20: PUSH1 0x40
00000b22: MLOAD
00000b23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b44: DUP2
00000b45: MSTORE
00000b46: PUSH1 0x04
00000b48: ADD
00000b49: PUSH2 0x0b51
00000b4c: SWAP1
00000b4d: PUSH2 0x31b9
00000b50: JUMP
00000b51: JUMPDEST
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: SWAP2
00000b57: SUB
00000b58: SWAP1
00000b59: REVERT
00000b5a: JUMPDEST
00000b5b: DUP4
00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b71: AND
00000b72: DUP2
00000b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: EQ
00000b8a: PUSH2 0x0bc8
00000b8d: JUMPI
00000b8e: PUSH1 0x40
00000b90: MLOAD
00000b91: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x04
00000bb6: ADD
00000bb7: PUSH2 0x0bbf
00000bba: SWAP1
00000bbb: PUSH2 0x3159
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x40
00000bc2: MLOAD
00000bc3: DUP1
00000bc4: SWAP2
00000bc5: SUB
00000bc6: SWAP1
00000bc7: REVERT
00000bc8: JUMPDEST
00000bc9: PUSH1 0x00
00000bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be0: AND
00000be1: DUP4
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: EQ
00000bf9: ISZERO
00000bfa: PUSH2 0x0c38
00000bfd: JUMPI
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x04
00000c26: ADD
00000c27: PUSH2 0x0c2f
00000c2a: SWAP1
00000c2b: PUSH2 0x3199
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: DUP1
00000c34: SWAP2
00000c35: SUB
00000c36: SWAP1
00000c37: REVERT
00000c38: JUMPDEST
00000c39: DUP2
00000c3a: DUP4
00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c50: AND
00000c51: DUP6
00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c67: AND
00000c68: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000c89: PUSH1 0x40
00000c8b: MLOAD
00000c8c: PUSH1 0x40
00000c8e: MLOAD
00000c8f: DUP1
00000c90: SWAP2
00000c91: SUB
00000c92: SWAP1
00000c93: LOG4
00000c94: DUP3
00000c95: PUSH1 0x08
00000c97: PUSH1 0x00
00000c99: DUP5
00000c9a: DUP2
00000c9b: MSTORE
00000c9c: PUSH1 0x20
00000c9e: ADD
00000c9f: SWAP1
00000ca0: DUP2
00000ca1: MSTORE
00000ca2: PUSH1 0x20
00000ca4: ADD
00000ca5: PUSH1 0x00
00000ca7: KECCAK256
00000ca8: PUSH1 0x00
00000caa: PUSH2 0x0100
00000cad: EXP
00000cae: DUP2
00000caf: SLOAD
00000cb0: DUP2
00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc6: MUL
00000cc7: NOT
00000cc8: AND
00000cc9: SWAP1
00000cca: DUP4
00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce0: AND
00000ce1: MUL
00000ce2: OR
00000ce3: SWAP1
00000ce4: SSTORE
00000ce5: POP
00000ce6: PUSH1 0x04
00000ce8: PUSH1 0x00
00000cea: DUP6
00000ceb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d00: AND
00000d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d16: AND
00000d17: DUP2
00000d18: MSTORE
00000d19: PUSH1 0x20
00000d1b: ADD
00000d1c: SWAP1
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: PUSH1 0x20
00000d21: ADD
00000d22: PUSH1 0x00
00000d24: KECCAK256
00000d25: PUSH1 0x00
00000d27: DUP2
00000d28: SLOAD
00000d29: DUP1
00000d2a: SWAP3
00000d2b: SWAP2
00000d2c: SWAP1
00000d2d: PUSH2 0x0d35
00000d30: SWAP1
00000d31: PUSH2 0x3777
00000d34: JUMP
00000d35: JUMPDEST
00000d36: SWAP2
00000d37: SWAP1
00000d38: POP
00000d39: SSTORE
00000d3a: POP
00000d3b: PUSH1 0x04
00000d3d: PUSH1 0x00
00000d3f: DUP5
00000d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d55: AND
00000d56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6b: AND
00000d6c: DUP2
00000d6d: MSTORE
00000d6e: PUSH1 0x20
00000d70: ADD
00000d71: SWAP1
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: ADD
00000d77: PUSH1 0x00
00000d79: KECCAK256
00000d7a: PUSH1 0x00
00000d7c: DUP2
00000d7d: SLOAD
00000d7e: DUP1
00000d7f: SWAP3
00000d80: SWAP2
00000d81: SWAP1
00000d82: PUSH2 0x0d8a
00000d85: SWAP1
00000d86: PUSH2 0x37d3
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: SWAP2
00000d8c: SWAP1
00000d8d: POP
00000d8e: SSTORE
00000d8f: POP
00000d90: PUSH1 0x00
00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da7: AND
00000da8: PUSH1 0x05
00000daa: PUSH1 0x00
00000dac: DUP5
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: SWAP1
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x20
00000db7: ADD
00000db8: PUSH1 0x00
00000dba: KECCAK256
00000dbb: PUSH1 0x00
00000dbd: SWAP1
00000dbe: SLOAD
00000dbf: SWAP1
00000dc0: PUSH2 0x0100
00000dc3: EXP
00000dc4: SWAP1
00000dc5: DIV
00000dc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddb: AND
00000ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df1: AND
00000df2: EQ
00000df3: PUSH2 0x0e2d
00000df6: JUMPI
00000df7: PUSH1 0x05
00000df9: PUSH1 0x00
00000dfb: DUP4
00000dfc: DUP2
00000dfd: MSTORE
00000dfe: PUSH1 0x20
00000e00: ADD
00000e01: SWAP1
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: PUSH1 0x00
00000e09: KECCAK256
00000e0a: PUSH1 0x00
00000e0c: PUSH2 0x0100
00000e0f: EXP
00000e10: DUP2
00000e11: SLOAD
00000e12: SWAP1
00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e28: MUL
00000e29: NOT
00000e2a: AND
00000e2b: SWAP1
00000e2c: SSTORE
00000e2d: JUMPDEST
00000e2e: PUSH1 0x00
00000e30: PUSH1 0x0d
00000e32: PUSH1 0x00
00000e34: DUP5
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: ADD
00000e3a: SWAP1
00000e3b: DUP2
00000e3c: MSTORE
00000e3d: PUSH1 0x20
00000e3f: ADD
00000e40: PUSH1 0x00
00000e42: KECCAK256
00000e43: SLOAD
00000e44: SWAP1
00000e45: POP
00000e46: PUSH1 0x01
00000e48: PUSH1 0x0c
00000e4a: PUSH1 0x00
00000e4c: DUP8
00000e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e62: AND
00000e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e78: AND
00000e79: DUP2
00000e7a: MSTORE
00000e7b: PUSH1 0x20
00000e7d: ADD
00000e7e: SWAP1
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x20
00000e83: ADD
00000e84: PUSH1 0x00
00000e86: KECCAK256
00000e87: DUP1
00000e88: SLOAD
00000e89: SWAP1
00000e8a: POP
00000e8b: PUSH2 0x0e94
00000e8e: SWAP2
00000e8f: SWAP1
00000e90: PUSH2 0x3676
00000e93: JUMP
00000e94: JUMPDEST
00000e95: DUP2
00000e96: EQ
00000e97: PUSH2 0x1089
00000e9a: JUMPI
00000e9b: PUSH1 0x0c
00000e9d: PUSH1 0x00
00000e9f: DUP7
00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb5: AND
00000eb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecb: AND
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x20
00000ed0: ADD
00000ed1: SWAP1
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x20
00000ed6: ADD
00000ed7: PUSH1 0x00
00000ed9: KECCAK256
00000eda: PUSH1 0x01
00000edc: PUSH1 0x0c
00000ede: PUSH1 0x00
00000ee0: DUP9
00000ee1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef6: AND
00000ef7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0c: AND
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: ADD
00000f12: SWAP1
00000f13: DUP2
00000f14: MSTORE
00000f15: PUSH1 0x20
00000f17: ADD
00000f18: PUSH1 0x00
00000f1a: KECCAK256
00000f1b: DUP1
00000f1c: SLOAD
00000f1d: SWAP1
00000f1e: POP
00000f1f: PUSH2 0x0f28
00000f22: SWAP2
00000f23: SWAP1
00000f24: PUSH2 0x3676
00000f27: JUMP
00000f28: JUMPDEST
00000f29: DUP2
00000f2a: SLOAD
00000f2b: DUP2
00000f2c: LT
00000f2d: PUSH2 0x0f5f
00000f30: JUMPI
00000f31: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000f52: PUSH1 0x00
00000f54: MSTORE
00000f55: PUSH1 0x32
00000f57: PUSH1 0x04
00000f59: MSTORE
00000f5a: PUSH1 0x24
00000f5c: PUSH1 0x00
00000f5e: REVERT
00000f5f: JUMPDEST
00000f60: SWAP1
00000f61: PUSH1 0x00
00000f63: MSTORE
00000f64: PUSH1 0x20
00000f66: PUSH1 0x00
00000f68: KECCAK256
00000f69: ADD
00000f6a: SLOAD
00000f6b: PUSH1 0x0c
00000f6d: PUSH1 0x00
00000f6f: DUP8
00000f70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f85: AND
00000f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f9b: AND
00000f9c: DUP2
00000f9d: MSTORE
00000f9e: PUSH1 0x20
00000fa0: ADD
00000fa1: SWAP1
00000fa2: DUP2
00000fa3: MSTORE
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: PUSH1 0x00
00000fa9: KECCAK256
00000faa: DUP3
00000fab: DUP2
00000fac: SLOAD
00000fad: DUP2
00000fae: LT
00000faf: PUSH2 0x0fe1
00000fb2: JUMPI
00000fb3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000fd4: PUSH1 0x00
00000fd6: MSTORE
00000fd7: PUSH1 0x32
00000fd9: PUSH1 0x04
00000fdb: MSTORE
00000fdc: PUSH1 0x24
00000fde: PUSH1 0x00
00000fe0: REVERT
00000fe1: JUMPDEST
00000fe2: SWAP1
00000fe3: PUSH1 0x00
00000fe5: MSTORE
00000fe6: PUSH1 0x20
00000fe8: PUSH1 0x00
00000fea: KECCAK256
00000feb: ADD
00000fec: DUP2
00000fed: SWAP1
00000fee: SSTORE
00000fef: POP
00000ff0: DUP1
00000ff1: PUSH1 0x0d
00000ff3: PUSH1 0x00
00000ff5: PUSH1 0x0c
00000ff7: PUSH1 0x00
00000ff9: DUP10
00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100f: AND
00001010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001025: AND
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x20
0000102a: ADD
0000102b: SWAP1
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x20
00001030: ADD
00001031: PUSH1 0x00
00001033: KECCAK256
00001034: DUP5
00001035: DUP2
00001036: SLOAD
00001037: DUP2
00001038: LT
00001039: PUSH2 0x106b
0000103c: JUMPI
0000103d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000105e: PUSH1 0x00
00001060: MSTORE
00001061: PUSH1 0x32
00001063: PUSH1 0x04
00001065: MSTORE
00001066: PUSH1 0x24
00001068: PUSH1 0x00
0000106a: REVERT
0000106b: JUMPDEST
0000106c: SWAP1
0000106d: PUSH1 0x00
0000106f: MSTORE
00001070: PUSH1 0x20
00001072: PUSH1 0x00
00001074: KECCAK256
00001075: ADD
00001076: SLOAD
00001077: DUP2
00001078: MSTORE
00001079: PUSH1 0x20
0000107b: ADD
0000107c: SWAP1
0000107d: DUP2
0000107e: MSTORE
0000107f: PUSH1 0x20
00001081: ADD
00001082: PUSH1 0x00
00001084: KECCAK256
00001085: DUP2
00001086: SWAP1
00001087: SSTORE
00001088: POP
00001089: JUMPDEST
0000108a: PUSH1 0x0c
0000108c: PUSH1 0x00
0000108e: DUP7
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ba: AND
000010bb: DUP2
000010bc: MSTORE
000010bd: PUSH1 0x20
000010bf: ADD
000010c0: SWAP1
000010c1: DUP2
000010c2: MSTORE
000010c3: PUSH1 0x20
000010c5: ADD
000010c6: PUSH1 0x00
000010c8: KECCAK256
000010c9: DUP1
000010ca: SLOAD
000010cb: DUP1
000010cc: PUSH2 0x10fe
000010cf: JUMPI
000010d0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000010f1: PUSH1 0x00
000010f3: MSTORE
000010f4: PUSH1 0x31
000010f6: PUSH1 0x04
000010f8: MSTORE
000010f9: PUSH1 0x24
000010fb: PUSH1 0x00
000010fd: REVERT
000010fe: JUMPDEST
000010ff: PUSH1 0x01
00001101: SWAP1
00001102: SUB
00001103: DUP2
00001104: DUP2
00001105: SWAP1
00001106: PUSH1 0x00
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: PUSH1 0x00
0000110d: KECCAK256
0000110e: ADD
0000110f: PUSH1 0x00
00001111: SWAP1
00001112: SSTORE
00001113: SWAP1
00001114: SSTORE
00001115: PUSH1 0x0c
00001117: PUSH1 0x00
00001119: DUP6
0000111a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112f: AND
00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001145: AND
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: SWAP1
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: ADD
00001151: PUSH1 0x00
00001153: KECCAK256
00001154: DUP1
00001155: SLOAD
00001156: SWAP1
00001157: POP
00001158: PUSH1 0x0d
0000115a: PUSH1 0x00
0000115c: DUP6
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: ADD
00001162: SWAP1
00001163: DUP2
00001164: MSTORE
00001165: PUSH1 0x20
00001167: ADD
00001168: PUSH1 0x00
0000116a: KECCAK256
0000116b: DUP2
0000116c: SWAP1
0000116d: SSTORE
0000116e: POP
0000116f: PUSH1 0x0c
00001171: PUSH1 0x00
00001173: DUP6
00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001189: AND
0000118a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119f: AND
000011a0: DUP2
000011a1: MSTORE
000011a2: PUSH1 0x20
000011a4: ADD
000011a5: SWAP1
000011a6: DUP2
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: ADD
000011ab: PUSH1 0x00
000011ad: KECCAK256
000011ae: DUP4
000011af: SWAP1
000011b0: DUP1
000011b1: PUSH1 0x01
000011b3: DUP2
000011b4: SLOAD
000011b5: ADD
000011b6: DUP1
000011b7: DUP3
000011b8: SSTORE
000011b9: DUP1
000011ba: SWAP2
000011bb: POP
000011bc: POP
000011bd: PUSH1 0x01
000011bf: SWAP1
000011c0: SUB
000011c1: SWAP1
000011c2: PUSH1 0x00
000011c4: MSTORE
000011c5: PUSH1 0x20
000011c7: PUSH1 0x00
000011c9: KECCAK256
000011ca: ADD
000011cb: PUSH1 0x00
000011cd: SWAP1
000011ce: SWAP2
000011cf: SWAP1
000011d0: SWAP2
000011d1: SWAP1
000011d2: SWAP2
000011d3: POP
000011d4: SSTORE
000011d5: POP
000011d6: POP
000011d7: POP
000011d8: POP
000011d9: POP
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x00
000011de: PUSH1 0x04
000011e0: PUSH1 0x00
000011e2: DUP5
000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f8: AND
000011f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120e: AND
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x20
00001213: ADD
00001214: SWAP1
00001215: DUP2
00001216: MSTORE
00001217: PUSH1 0x20
00001219: ADD
0000121a: PUSH1 0x00
0000121c: KECCAK256
0000121d: SLOAD
0000121e: DUP3
0000121f: LT
00001220: PUSH2 0x125e
00001223: JUMPI
00001224: PUSH1 0x40
00001226: MLOAD
00001227: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001248: DUP2
00001249: MSTORE
0000124a: PUSH1 0x04
0000124c: ADD
0000124d: PUSH2 0x1255
00001250: SWAP1
00001251: PUSH2 0x3259
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH1 0x40
00001258: MLOAD
00001259: DUP1
0000125a: SWAP2
0000125b: SUB
0000125c: SWAP1
0000125d: REVERT
0000125e: JUMPDEST
0000125f: PUSH1 0x0c
00001261: PUSH1 0x00
00001263: DUP5
00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001279: AND
0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128f: AND
00001290: DUP2
00001291: MSTORE
00001292: PUSH1 0x20
00001294: ADD
00001295: SWAP1
00001296: DUP2
00001297: MSTORE
00001298: PUSH1 0x20
0000129a: ADD
0000129b: PUSH1 0x00
0000129d: KECCAK256
0000129e: DUP3
0000129f: DUP2
000012a0: SLOAD
000012a1: DUP2
000012a2: LT
000012a3: PUSH2 0x12d5
000012a6: JUMPI
000012a7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000012c8: PUSH1 0x00
000012ca: MSTORE
000012cb: PUSH1 0x32
000012cd: PUSH1 0x04
000012cf: MSTORE
000012d0: PUSH1 0x24
000012d2: PUSH1 0x00
000012d4: REVERT
000012d5: JUMPDEST
000012d6: SWAP1
000012d7: PUSH1 0x00
000012d9: MSTORE
000012da: PUSH1 0x20
000012dc: PUSH1 0x00
000012de: KECCAK256
000012df: ADD
000012e0: SLOAD
000012e1: SWAP1
000012e2: POP
000012e3: SWAP3
000012e4: SWAP2
000012e5: POP
000012e6: POP
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH2 0x12f1
000012ec: DUP3
000012ed: PUSH2 0x1f2c
000012f0: JUMP
000012f1: JUMPDEST
000012f2: PUSH1 0x00
000012f4: DUP2
000012f5: GT
000012f6: ISZERO
000012f7: PUSH2 0x1305
000012fa: JUMPI
000012fb: PUSH2 0x1304
000012fe: DUP3
000012ff: DUP3
00001300: PUSH2 0x1329
00001303: JUMP
00001304: JUMPDEST
00001305: JUMPDEST
00001306: POP
00001307: POP
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH2 0x1324
0000130d: DUP4
0000130e: DUP4
0000130f: DUP4
00001310: PUSH1 0x40
00001312: MLOAD
00001313: DUP1
00001314: PUSH1 0x20
00001316: ADD
00001317: PUSH1 0x40
00001319: MSTORE
0000131a: DUP1
0000131b: PUSH1 0x00
0000131d: DUP2
0000131e: MSTORE
0000131f: POP
00001320: PUSH2 0x1ad0
00001323: JUMP
00001324: JUMPDEST
00001325: POP
00001326: POP
00001327: POP
00001328: JUMP
00001329: JUMPDEST
0000132a: CALLER
0000132b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001340: AND
00001341: PUSH2 0x08fc
00001344: PUSH2 0x134d
00001347: DUP5
00001348: DUP5
00001349: PUSH2 0x21cd
0000134c: JUMP
0000134d: JUMPDEST
0000134e: SWAP1
0000134f: DUP2
00001350: ISZERO
00001351: MUL
00001352: SWAP1
00001353: PUSH1 0x40
00001355: MLOAD
00001356: PUSH1 0x00
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: DUP1
0000135c: DUP4
0000135d: SUB
0000135e: DUP2
0000135f: DUP6
00001360: DUP9
00001361: DUP9
00001362: CALL
00001363: SWAP4
00001364: POP
00001365: POP
00001366: POP
00001367: POP
00001368: ISZERO
00001369: DUP1
0000136a: ISZERO
0000136b: PUSH2 0x1378
0000136e: JUMPI
0000136f: RETURNDATASIZE
00001370: PUSH1 0x00
00001372: DUP1
00001373: RETURNDATACOPY
00001374: RETURNDATASIZE
00001375: PUSH1 0x00
00001377: REVERT
00001378: JUMPDEST
00001379: POP
0000137a: POP
0000137b: POP
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x00
00001380: PUSH1 0x01
00001382: PUSH1 0x07
00001384: DUP1
00001385: SLOAD
00001386: SWAP1
00001387: POP
00001388: PUSH1 0x00
0000138a: SLOAD
0000138b: PUSH2 0x1394
0000138e: SWAP2
0000138f: SWAP1
00001390: PUSH2 0x33ed
00001393: JUMP
00001394: JUMPDEST
00001395: PUSH2 0x139e
00001398: SWAP2
00001399: SWAP1
0000139a: PUSH2 0x33ed
0000139d: JUMP
0000139e: JUMPDEST
0000139f: SWAP1
000013a0: POP
000013a1: PUSH1 0x00
000013a3: PUSH2 0x13ab
000013a6: DUP3
000013a7: PUSH2 0x2414
000013aa: JUMP
000013ab: JUMPDEST
000013ac: SWAP1
000013ad: POP
000013ae: PUSH1 0x00
000013b0: DUP2
000013b1: PUSH1 0x13
000013b3: SLOAD
000013b4: PUSH2 0x13bd
000013b7: SWAP2
000013b8: SWAP1
000013b9: PUSH2 0x34fe
000013bc: JUMP
000013bd: JUMPDEST
000013be: PUSH1 0x12
000013c0: SLOAD
000013c1: PUSH2 0x13ca
000013c4: SWAP2
000013c5: SWAP1
000013c6: PUSH2 0x347a
000013c9: JUMP
000013ca: JUMPDEST
000013cb: SWAP1
000013cc: POP
000013cd: PUSH1 0x0d
000013cf: DUP3
000013d0: GT
000013d1: ISZERO
000013d2: PUSH2 0x13fd
000013d5: JUMPI
000013d6: PUSH1 0x01
000013d8: PUSH2 0x4000
000013db: DUP5
000013dc: PUSH2 0x13e5
000013df: SWAP2
000013e0: SWAP1
000013e1: PUSH2 0x3676
000013e4: JUMP
000013e5: JUMPDEST
000013e6: PUSH2 0x13ef
000013e9: SWAP2
000013ea: SWAP1
000013eb: PUSH2 0x33ed
000013ee: JUMP
000013ef: JUMPDEST
000013f0: DUP2
000013f1: PUSH2 0x13fa
000013f4: SWAP2
000013f5: SWAP1
000013f6: PUSH2 0x347a
000013f9: JUMP
000013fa: JUMPDEST
000013fb: SWAP1
000013fc: POP
000013fd: JUMPDEST
000013fe: PUSH1 0x00
00001400: PUSH1 0x11
00001402: SLOAD
00001403: PUSH1 0x01
00001405: DUP5
00001406: PUSH1 0x02
00001408: PUSH2 0x1411
0000140b: SWAP2
0000140c: SWAP1
0000140d: PUSH2 0x34fe
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH2 0x141b
00001415: SWAP2
00001416: SWAP1
00001417: PUSH2 0x3676
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH2 0x1425
0000141f: SWAP2
00001420: SWAP1
00001421: PUSH2 0x361c
00001424: JUMP
00001425: JUMPDEST
00001426: SWAP1
00001427: POP
00001428: PUSH1 0x00
0000142a: PUSH1 0x07
0000142c: DUP1
0000142d: SLOAD
0000142e: SWAP1
0000142f: POP
00001430: PUSH1 0x00
00001432: SLOAD
00001433: PUSH1 0x01
00001435: SLOAD
00001436: PUSH2 0x143f
00001439: SWAP2
0000143a: SWAP1
0000143b: PUSH2 0x3676
0000143e: JUMP
0000143f: JUMPDEST
00001440: EQ
00001441: PUSH2 0x14d9
00001444: JUMPI
00001445: CALLER
00001446: PUSH1 0x07
00001448: PUSH1 0x0e
0000144a: PUSH1 0x00
0000144c: PUSH1 0x01
0000144e: DUP10
0000144f: PUSH2 0x1458
00001452: SWAP2
00001453: SWAP1
00001454: PUSH2 0x3676
00001457: JUMP
00001458: JUMPDEST
00001459: DUP2
0000145a: MSTORE
0000145b: PUSH1 0x20
0000145d: ADD
0000145e: SWAP1
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x20
00001463: ADD
00001464: PUSH1 0x00
00001466: KECCAK256
00001467: SLOAD
00001468: DUP2
00001469: SLOAD
0000146a: DUP2
0000146b: LT
0000146c: PUSH2 0x149e
0000146f: JUMPI
00001470: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001491: PUSH1 0x00
00001493: MSTORE
00001494: PUSH1 0x32
00001496: PUSH1 0x04
00001498: MSTORE
00001499: PUSH1 0x24
0000149b: PUSH1 0x00
0000149d: REVERT
0000149e: JUMPDEST
0000149f: SWAP1
000014a0: PUSH1 0x00
000014a2: MSTORE
000014a3: PUSH1 0x20
000014a5: PUSH1 0x00
000014a7: KECCAK256
000014a8: ADD
000014a9: SLOAD
000014aa: DUP8
000014ab: PUSH1 0x40
000014ad: MLOAD
000014ae: PUSH1 0x20
000014b0: ADD
000014b1: PUSH2 0x14bc
000014b4: SWAP4
000014b5: SWAP3
000014b6: SWAP2
000014b7: SWAP1
000014b8: PUSH2 0x300d
000014bb: JUMP
000014bc: JUMPDEST
000014bd: PUSH1 0x40
000014bf: MLOAD
000014c0: PUSH1 0x20
000014c2: DUP2
000014c3: DUP4
000014c4: SUB
000014c5: SUB
000014c6: DUP2
000014c7: MSTORE
000014c8: SWAP1
000014c9: PUSH1 0x40
000014cb: MSTORE
000014cc: DUP1
000014cd: MLOAD
000014ce: SWAP1
000014cf: PUSH1 0x20
000014d1: ADD
000014d2: KECCAK256
000014d3: SWAP1
000014d4: POP
000014d5: PUSH2 0x1509
000014d8: JUMP
000014d9: JUMPDEST
000014da: CALLER
000014db: PUSH1 0x02
000014dd: SLOAD
000014de: DUP8
000014df: PUSH1 0x40
000014e1: MLOAD
000014e2: PUSH1 0x20
000014e4: ADD
000014e5: PUSH2 0x14f0
000014e8: SWAP4
000014e9: SWAP3
000014ea: SWAP2
000014eb: SWAP1
000014ec: PUSH2 0x300d
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: PUSH1 0x20
000014f6: DUP2
000014f7: DUP4
000014f8: SUB
000014f9: SUB
000014fa: DUP2
000014fb: MSTORE
000014fc: SWAP1
000014fd: PUSH1 0x40
000014ff: MSTORE
00001500: DUP1
00001501: MLOAD
00001502: SWAP1
00001503: PUSH1 0x20
00001505: ADD
00001506: KECCAK256
00001507: SWAP1
00001508: POP
00001509: JUMPDEST
0000150a: DUP3
0000150b: DUP2
0000150c: PUSH1 0x00
0000150e: SHR
0000150f: LT
00001510: PUSH2 0x154e
00001513: JUMPI
00001514: PUSH1 0x40
00001516: MLOAD
00001517: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001538: DUP2
00001539: MSTORE
0000153a: PUSH1 0x04
0000153c: ADD
0000153d: PUSH2 0x1545
00001540: SWAP1
00001541: PUSH2 0x3299
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH1 0x40
00001548: MLOAD
00001549: DUP1
0000154a: SWAP2
0000154b: SUB
0000154c: SWAP1
0000154d: REVERT
0000154e: JUMPDEST
0000154f: DUP2
00001550: CALLVALUE
00001551: EQ
00001552: PUSH2 0x1590
00001555: JUMPI
00001556: PUSH1 0x40
00001558: MLOAD
00001559: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000157a: DUP2
0000157b: MSTORE
0000157c: PUSH1 0x04
0000157e: ADD
0000157f: PUSH2 0x1587
00001582: SWAP1
00001583: PUSH2 0x3239
00001586: JUMP
00001587: JUMPDEST
00001588: PUSH1 0x40
0000158a: MLOAD
0000158b: DUP1
0000158c: SWAP2
0000158d: SUB
0000158e: SWAP1
0000158f: REVERT
00001590: JUMPDEST
00001591: DUP1
00001592: TIMESTAMP
00001593: PUSH1 0x40
00001595: MLOAD
00001596: PUSH1 0x20
00001598: ADD
00001599: PUSH2 0x15a3
0000159c: SWAP3
0000159d: SWAP2
0000159e: SWAP1
0000159f: PUSH2 0x304a
000015a2: JUMP
000015a3: JUMPDEST
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH1 0x20
000015a9: DUP2
000015aa: DUP4
000015ab: SUB
000015ac: SUB
000015ad: DUP2
000015ae: MSTORE
000015af: SWAP1
000015b0: PUSH1 0x40
000015b2: MSTORE
000015b3: DUP1
000015b4: MLOAD
000015b5: SWAP1
000015b6: PUSH1 0x20
000015b8: ADD
000015b9: KECCAK256
000015ba: SWAP1
000015bb: POP
000015bc: PUSH2 0x15c5
000015bf: DUP6
000015c0: DUP3
000015c1: PUSH2 0x2456
000015c4: JUMP
000015c5: JUMPDEST
000015c6: DUP5
000015c7: PUSH32 0x5570ed3da2dab8635dcc918badc12e05d60cbc9185347ef0065ab7335568cdae
000015e8: DUP3
000015e9: PUSH1 0x40
000015eb: MLOAD
000015ec: PUSH2 0x15f5
000015ef: SWAP2
000015f0: SWAP1
000015f1: PUSH2 0x311c
000015f4: JUMP
000015f5: JUMPDEST
000015f6: PUSH1 0x40
000015f8: MLOAD
000015f9: DUP1
000015fa: SWAP2
000015fb: SUB
000015fc: SWAP1
000015fd: LOG2
000015fe: POP
000015ff: POP
00001600: POP
00001601: POP
00001602: POP
00001603: POP
00001604: JUMP
00001605: JUMPDEST
00001606: PUSH1 0x00
00001608: PUSH1 0x07
0000160a: DUP1
0000160b: SLOAD
0000160c: SWAP1
0000160d: POP
0000160e: DUP3
0000160f: LT
00001610: PUSH2 0x164e
00001613: JUMPI
00001614: PUSH1 0x40
00001616: MLOAD
00001617: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001638: DUP2
00001639: MSTORE
0000163a: PUSH1 0x04
0000163c: ADD
0000163d: PUSH2 0x1645
00001640: SWAP1
00001641: PUSH2 0x3259
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x40
00001648: MLOAD
00001649: DUP1
0000164a: SWAP2
0000164b: SUB
0000164c: SWAP1
0000164d: REVERT
0000164e: JUMPDEST
0000164f: PUSH1 0x0f
00001651: PUSH1 0x00
00001653: DUP4
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: ADD
00001659: SWAP1
0000165a: DUP2
0000165b: MSTORE
0000165c: PUSH1 0x20
0000165e: ADD
0000165f: PUSH1 0x00
00001661: KECCAK256
00001662: SLOAD
00001663: SWAP1
00001664: POP
00001665: SWAP2
00001666: SWAP1
00001667: POP
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x00
0000166c: PUSH2 0x1674
0000166f: DUP3
00001670: PUSH2 0x1ec0
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH2 0x16b3
00001678: JUMPI
00001679: PUSH1 0x40
0000167b: MLOAD
0000167c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000169d: DUP2
0000169e: MSTORE
0000169f: PUSH1 0x04
000016a1: ADD
000016a2: PUSH2 0x16aa
000016a5: SWAP1
000016a6: PUSH2 0x32f9
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH1 0x40
000016ad: MLOAD
000016ae: DUP1
000016af: SWAP2
000016b0: SUB
000016b1: SWAP1
000016b2: REVERT
000016b3: JUMPDEST
000016b4: PUSH1 0x08
000016b6: PUSH1 0x00
000016b8: DUP4
000016b9: DUP2
000016ba: MSTORE
000016bb: PUSH1 0x20
000016bd: ADD
000016be: SWAP1
000016bf: DUP2
000016c0: MSTORE
000016c1: PUSH1 0x20
000016c3: ADD
000016c4: PUSH1 0x00
000016c6: KECCAK256
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: SLOAD
000016cb: SWAP1
000016cc: PUSH2 0x0100
000016cf: EXP
000016d0: SWAP1
000016d1: DIV
000016d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e7: AND
000016e8: SWAP1
000016e9: POP
000016ea: SWAP2
000016eb: SWAP1
000016ec: POP
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH1 0x00
000016f1: PUSH1 0x04
000016f3: PUSH1 0x00
000016f5: DUP4
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001721: AND
00001722: DUP2
00001723: MSTORE
00001724: PUSH1 0x20
00001726: ADD
00001727: SWAP1
00001728: DUP2
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: ADD
0000172d: PUSH1 0x00
0000172f: KECCAK256
00001730: SLOAD
00001731: SWAP1
00001732: POP
00001733: SWAP2
00001734: SWAP1
00001735: POP
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH1 0x01
0000173a: SLOAD
0000173b: DUP2
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x00
00001740: PUSH2 0x1748
00001743: DUP3
00001744: PUSH2 0x1ec0
00001747: JUMP
00001748: JUMPDEST
00001749: PUSH2 0x1787
0000174c: JUMPI
0000174d: PUSH1 0x40
0000174f: MLOAD
00001750: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001771: DUP2
00001772: MSTORE
00001773: PUSH1 0x04
00001775: ADD
00001776: PUSH2 0x177e
00001779: SWAP1
0000177a: PUSH2 0x32f9
0000177d: JUMP
0000177e: JUMPDEST
0000177f: PUSH1 0x40
00001781: MLOAD
00001782: DUP1
00001783: SWAP2
00001784: SUB
00001785: SWAP1
00001786: REVERT
00001787: JUMPDEST
00001788: PUSH1 0x07
0000178a: PUSH1 0x0e
0000178c: PUSH1 0x00
0000178e: DUP5
0000178f: DUP2
00001790: MSTORE
00001791: PUSH1 0x20
00001793: ADD
00001794: SWAP1
00001795: DUP2
00001796: MSTORE
00001797: PUSH1 0x20
00001799: ADD
0000179a: PUSH1 0x00
0000179c: KECCAK256
0000179d: SLOAD
0000179e: DUP2
0000179f: SLOAD
000017a0: DUP2
000017a1: LT
000017a2: PUSH2 0x17d4
000017a5: JUMPI
000017a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000017c7: PUSH1 0x00
000017c9: MSTORE
000017ca: PUSH1 0x32
000017cc: PUSH1 0x04
000017ce: MSTORE
000017cf: PUSH1 0x24
000017d1: PUSH1 0x00
000017d3: REVERT
000017d4: JUMPDEST
000017d5: SWAP1
000017d6: PUSH1 0x00
000017d8: MSTORE
000017d9: PUSH1 0x20
000017db: PUSH1 0x00
000017dd: KECCAK256
000017de: ADD
000017df: SLOAD
000017e0: SWAP1
000017e1: POP
000017e2: SWAP2
000017e3: SWAP1
000017e4: POP
000017e5: JUMP
000017e6: JUMPDEST
000017e7: PUSH1 0x60
000017e9: PUSH1 0x0a
000017eb: DUP1
000017ec: SLOAD
000017ed: PUSH2 0x17f5
000017f0: SWAP1
000017f1: PUSH2 0x37a1
000017f4: JUMP
000017f5: JUMPDEST
000017f6: DUP1
000017f7: PUSH1 0x1f
000017f9: ADD
000017fa: PUSH1 0x20
000017fc: DUP1
000017fd: SWAP2
000017fe: DIV
000017ff: MUL
00001800: PUSH1 0x20
00001802: ADD
00001803: PUSH1 0x40
00001805: MLOAD
00001806: SWAP1
00001807: DUP2
00001808: ADD
00001809: PUSH1 0x40
0000180b: MSTORE
0000180c: DUP1
0000180d: SWAP3
0000180e: SWAP2
0000180f: SWAP1
00001810: DUP2
00001811: DUP2
00001812: MSTORE
00001813: PUSH1 0x20
00001815: ADD
00001816: DUP3
00001817: DUP1
00001818: SLOAD
00001819: PUSH2 0x1821
0000181c: SWAP1
0000181d: PUSH2 0x37a1
00001820: JUMP
00001821: JUMPDEST
00001822: DUP1
00001823: ISZERO
00001824: PUSH2 0x186e
00001827: JUMPI
00001828: DUP1
00001829: PUSH1 0x1f
0000182b: LT
0000182c: PUSH2 0x1843
0000182f: JUMPI
00001830: PUSH2 0x0100
00001833: DUP1
00001834: DUP4
00001835: SLOAD
00001836: DIV
00001837: MUL
00001838: DUP4
00001839: MSTORE
0000183a: SWAP2
0000183b: PUSH1 0x20
0000183d: ADD
0000183e: SWAP2
0000183f: PUSH2 0x186e
00001842: JUMP
00001843: JUMPDEST
00001844: DUP3
00001845: ADD
00001846: SWAP2
00001847: SWAP1
00001848: PUSH1 0x00
0000184a: MSTORE
0000184b: PUSH1 0x20
0000184d: PUSH1 0x00
0000184f: KECCAK256
00001850: SWAP1
00001851: JUMPDEST
00001852: DUP2
00001853: SLOAD
00001854: DUP2
00001855: MSTORE
00001856: SWAP1
00001857: PUSH1 0x01
00001859: ADD
0000185a: SWAP1
0000185b: PUSH1 0x20
0000185d: ADD
0000185e: DUP1
0000185f: DUP4
00001860: GT
00001861: PUSH2 0x1851
00001864: JUMPI
00001865: DUP3
00001866: SWAP1
00001867: SUB
00001868: PUSH1 0x1f
0000186a: AND
0000186b: DUP3
0000186c: ADD
0000186d: SWAP2
0000186e: JUMPDEST
0000186f: POP
00001870: POP
00001871: POP
00001872: POP
00001873: POP
00001874: SWAP1
00001875: POP
00001876: SWAP1
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH1 0x00
0000187b: DUP1
0000187c: JUMPDEST
0000187d: DUP6
0000187e: DUP6
0000187f: SWAP1
00001880: POP
00001881: DUP2
00001882: LT
00001883: ISZERO
00001884: PUSH2 0x1978
00001887: JUMPI
00001888: PUSH1 0x00
0000188a: DUP5
0000188b: DUP5
0000188c: DUP4
0000188d: DUP2
0000188e: DUP2
0000188f: LT
00001890: PUSH2 0x18c2
00001893: JUMPI
00001894: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018b5: PUSH1 0x00
000018b7: MSTORE
000018b8: PUSH1 0x32
000018ba: PUSH1 0x04
000018bc: MSTORE
000018bd: PUSH1 0x24
000018bf: PUSH1 0x00
000018c1: REVERT
000018c2: JUMPDEST
000018c3: SWAP1
000018c4: POP
000018c5: PUSH1 0x20
000018c7: MUL
000018c8: ADD
000018c9: CALLDATALOAD
000018ca: GT
000018cb: ISZERO
000018cc: PUSH2 0x1965
000018cf: JUMPI
000018d0: PUSH2 0x1957
000018d3: DUP7
000018d4: DUP7
000018d5: DUP4
000018d6: DUP2
000018d7: DUP2
000018d8: LT
000018d9: PUSH2 0x190b
000018dc: JUMPI
000018dd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018fe: PUSH1 0x00
00001900: MSTORE
00001901: PUSH1 0x32
00001903: PUSH1 0x04
00001905: MSTORE
00001906: PUSH1 0x24
00001908: PUSH1 0x00
0000190a: REVERT
0000190b: JUMPDEST
0000190c: SWAP1
0000190d: POP
0000190e: PUSH1 0x20
00001910: MUL
00001911: ADD
00001912: CALLDATALOAD
00001913: DUP6
00001914: DUP6
00001915: DUP5
00001916: DUP2
00001917: DUP2
00001918: LT
00001919: PUSH2 0x194b
0000191c: JUMPI
0000191d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000193e: PUSH1 0x00
00001940: MSTORE
00001941: PUSH1 0x32
00001943: PUSH1 0x04
00001945: MSTORE
00001946: PUSH1 0x24
00001948: PUSH1 0x00
0000194a: REVERT
0000194b: JUMPDEST
0000194c: SWAP1
0000194d: POP
0000194e: PUSH1 0x20
00001950: MUL
00001951: ADD
00001952: CALLDATALOAD
00001953: PUSH2 0x21cd
00001956: JUMP
00001957: JUMPDEST
00001958: DUP3
00001959: PUSH2 0x1962
0000195c: SWAP2
0000195d: SWAP1
0000195e: PUSH2 0x33ed
00001961: JUMP
00001962: JUMPDEST
00001963: SWAP2
00001964: POP
00001965: JUMPDEST
00001966: DUP1
00001967: DUP1
00001968: PUSH2 0x1970
0000196b: SWAP1
0000196c: PUSH2 0x37d3
0000196f: JUMP
00001970: JUMPDEST
00001971: SWAP2
00001972: POP
00001973: POP
00001974: PUSH2 0x187c
00001977: JUMP
00001978: JUMPDEST
00001979: POP
0000197a: CALLER
0000197b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001990: AND
00001991: PUSH2 0x08fc
00001994: DUP3
00001995: SWAP1
00001996: DUP2
00001997: ISZERO
00001998: MUL
00001999: SWAP1
0000199a: PUSH1 0x40
0000199c: MLOAD
0000199d: PUSH1 0x00
0000199f: PUSH1 0x40
000019a1: MLOAD
000019a2: DUP1
000019a3: DUP4
000019a4: SUB
000019a5: DUP2
000019a6: DUP6
000019a7: DUP9
000019a8: DUP9
000019a9: CALL
000019aa: SWAP4
000019ab: POP
000019ac: POP
000019ad: POP
000019ae: POP
000019af: ISZERO
000019b0: DUP1
000019b1: ISZERO
000019b2: PUSH2 0x19bf
000019b5: JUMPI
000019b6: RETURNDATASIZE
000019b7: PUSH1 0x00
000019b9: DUP1
000019ba: RETURNDATACOPY
000019bb: RETURNDATASIZE
000019bc: PUSH1 0x00
000019be: REVERT
000019bf: JUMPDEST
000019c0: POP
000019c1: POP
000019c2: POP
000019c3: POP
000019c4: POP
000019c5: POP
000019c6: JUMP
000019c7: JUMPDEST
000019c8: DUP2
000019c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019de: AND
000019df: CALLER
000019e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f5: AND
000019f6: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001a17: DUP4
00001a18: PUSH1 0x40
00001a1a: MLOAD
00001a1b: PUSH2 0x1a24
00001a1e: SWAP2
00001a1f: SWAP1
00001a20: PUSH2 0x3101
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH1 0x40
00001a27: MLOAD
00001a28: DUP1
00001a29: SWAP2
00001a2a: SUB
00001a2b: SWAP1
00001a2c: LOG3
00001a2d: DUP1
00001a2e: PUSH1 0x06
00001a30: PUSH1 0x00
00001a32: CALLER
00001a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a48: AND
00001a49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5e: AND
00001a5f: DUP2
00001a60: MSTORE
00001a61: PUSH1 0x20
00001a63: ADD
00001a64: SWAP1
00001a65: DUP2
00001a66: MSTORE
00001a67: PUSH1 0x20
00001a69: ADD
00001a6a: PUSH1 0x00
00001a6c: KECCAK256
00001a6d: PUSH1 0x00
00001a6f: DUP5
00001a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a85: AND
00001a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9b: AND
00001a9c: DUP2
00001a9d: MSTORE
00001a9e: PUSH1 0x20
00001aa0: ADD
00001aa1: SWAP1
00001aa2: DUP2
00001aa3: MSTORE
00001aa4: PUSH1 0x20
00001aa6: ADD
00001aa7: PUSH1 0x00
00001aa9: KECCAK256
00001aaa: PUSH1 0x00
00001aac: PUSH2 0x0100
00001aaf: EXP
00001ab0: DUP2
00001ab1: SLOAD
00001ab2: DUP2
00001ab3: PUSH1 0xff
00001ab5: MUL
00001ab6: NOT
00001ab7: AND
00001ab8: SWAP1
00001ab9: DUP4
00001aba: ISZERO
00001abb: ISZERO
00001abc: MUL
00001abd: OR
00001abe: SWAP1
00001abf: SSTORE
00001ac0: POP
00001ac1: POP
00001ac2: POP
00001ac3: JUMP
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: SLOAD
00001ac8: DUP2
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x02
00001acd: SLOAD
00001ace: DUP2
00001acf: JUMP
00001ad0: JUMPDEST
00001ad1: PUSH2 0x1adb
00001ad4: DUP5
00001ad5: DUP5
00001ad6: DUP5
00001ad7: PUSH2 0x09e5
00001ada: JUMP
00001adb: JUMPDEST
00001adc: PUSH1 0x00
00001ade: DUP4
00001adf: EXTCODESIZE
00001ae0: SWAP1
00001ae1: POP
00001ae2: PUSH1 0x00
00001ae4: DUP2
00001ae5: PUSH4 0xffffffff
00001aea: AND
00001aeb: GT
00001aec: ISZERO
00001aed: PUSH2 0x1c27
00001af0: JUMPI
00001af1: PUSH1 0x00
00001af3: DUP5
00001af4: SWAP1
00001af5: POP
00001af6: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f
00001b17: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b34: NOT
00001b35: AND
00001b36: DUP2
00001b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4c: AND
00001b4d: PUSH4 0x150b7a02
00001b52: CALLER
00001b53: DUP10
00001b54: DUP9
00001b55: DUP9
00001b56: PUSH1 0x40
00001b58: MLOAD
00001b59: DUP6
00001b5a: PUSH4 0xffffffff
00001b5f: AND
00001b60: PUSH1 0xe0
00001b62: SHL
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x04
00001b67: ADD
00001b68: PUSH2 0x1b74
00001b6b: SWAP5
00001b6c: SWAP4
00001b6d: SWAP3
00001b6e: SWAP2
00001b6f: SWAP1
00001b70: PUSH2 0x30b5
00001b73: JUMP
00001b74: JUMPDEST
00001b75: PUSH1 0x20
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: DUP1
00001b7b: DUP4
00001b7c: SUB
00001b7d: DUP2
00001b7e: PUSH1 0x00
00001b80: DUP8
00001b81: DUP1
00001b82: EXTCODESIZE
00001b83: ISZERO
00001b84: DUP1
00001b85: ISZERO
00001b86: PUSH2 0x1b8e
00001b89: JUMPI
00001b8a: PUSH1 0x00
00001b8c: DUP1
00001b8d: REVERT
00001b8e: JUMPDEST
00001b8f: POP
00001b90: GAS
00001b91: CALL
00001b92: ISZERO
00001b93: DUP1
00001b94: ISZERO
00001b95: PUSH2 0x1ba2
00001b98: JUMPI
00001b99: RETURNDATASIZE
00001b9a: PUSH1 0x00
00001b9c: DUP1
00001b9d: RETURNDATACOPY
00001b9e: RETURNDATASIZE
00001b9f: PUSH1 0x00
00001ba1: REVERT
00001ba2: JUMPDEST
00001ba3: POP
00001ba4: POP
00001ba5: POP
00001ba6: POP
00001ba7: PUSH1 0x40
00001ba9: MLOAD
00001baa: RETURNDATASIZE
00001bab: PUSH1 0x1f
00001bad: NOT
00001bae: PUSH1 0x1f
00001bb0: DUP3
00001bb1: ADD
00001bb2: AND
00001bb3: DUP3
00001bb4: ADD
00001bb5: DUP1
00001bb6: PUSH1 0x40
00001bb8: MSTORE
00001bb9: POP
00001bba: DUP2
00001bbb: ADD
00001bbc: SWAP1
00001bbd: PUSH2 0x1bc6
00001bc0: SWAP2
00001bc1: SWAP1
00001bc2: PUSH2 0x2a5c
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001be4: NOT
00001be5: AND
00001be6: EQ
00001be7: PUSH2 0x1c25
00001bea: JUMPI
00001beb: PUSH1 0x40
00001bed: MLOAD
00001bee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x04
00001c13: ADD
00001c14: PUSH2 0x1c1c
00001c17: SWAP1
00001c18: PUSH2 0x31f9
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: PUSH1 0x40
00001c1f: MLOAD
00001c20: DUP1
00001c21: SWAP2
00001c22: SUB
00001c23: SWAP1
00001c24: REVERT
00001c25: JUMPDEST
00001c26: POP
00001c27: JUMPDEST
00001c28: POP
00001c29: POP
00001c2a: POP
00001c2b: POP
00001c2c: POP
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: PUSH1 0x60
00001c31: PUSH2 0x1c39
00001c34: DUP3
00001c35: PUSH2 0x1ec0
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH2 0x1c78
00001c3d: JUMPI
00001c3e: PUSH1 0x40
00001c40: MLOAD
00001c41: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x04
00001c66: ADD
00001c67: PUSH2 0x1c6f
00001c6a: SWAP1
00001c6b: PUSH2 0x31d9
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x40
00001c72: MLOAD
00001c73: DUP1
00001c74: SWAP2
00001c75: SUB
00001c76: SWAP1
00001c77: REVERT
00001c78: JUMPDEST
00001c79: PUSH1 0x00
00001c7b: DUP3
00001c7c: SWAP1
00001c7d: POP
00001c7e: PUSH1 0x00
00001c80: DUP2
00001c81: SWAP1
00001c82: POP
00001c83: PUSH1 0x00
00001c85: JUMPDEST
00001c86: PUSH1 0x00
00001c88: DUP3
00001c89: EQ
00001c8a: PUSH2 0x1caf
00001c8d: JUMPI
00001c8e: DUP1
00001c8f: DUP1
00001c90: PUSH2 0x1c98
00001c93: SWAP1
00001c94: PUSH2 0x37d3
00001c97: JUMP
00001c98: JUMPDEST
00001c99: SWAP2
00001c9a: POP
00001c9b: POP
00001c9c: PUSH1 0x0a
00001c9e: DUP3
00001c9f: PUSH2 0x1ca8
00001ca2: SWAP2
00001ca3: SWAP1
00001ca4: PUSH2 0x347a
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: SWAP2
00001caa: POP
00001cab: PUSH2 0x1c85
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH1 0x00
00001cb2: DUP2
00001cb3: PUSH8 0xffffffffffffffff
00001cbc: DUP2
00001cbd: GT
00001cbe: ISZERO
00001cbf: PUSH2 0x1cf1
00001cc2: JUMPI
00001cc3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001ce4: PUSH1 0x00
00001ce6: MSTORE
00001ce7: PUSH1 0x41
00001ce9: PUSH1 0x04
00001ceb: MSTORE
00001cec: PUSH1 0x24
00001cee: PUSH1 0x00
00001cf0: REVERT
00001cf1: JUMPDEST
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: SWAP1
00001cf6: DUP1
00001cf7: DUP3
00001cf8: MSTORE
00001cf9: DUP1
00001cfa: PUSH1 0x1f
00001cfc: ADD
00001cfd: PUSH1 0x1f
00001cff: NOT
00001d00: AND
00001d01: PUSH1 0x20
00001d03: ADD
00001d04: DUP3
00001d05: ADD
00001d06: PUSH1 0x40
00001d08: MSTORE
00001d09: DUP1
00001d0a: ISZERO
00001d0b: PUSH2 0x1d23
00001d0e: JUMPI
00001d0f: DUP2
00001d10: PUSH1 0x20
00001d12: ADD
00001d13: PUSH1 0x01
00001d15: DUP3
00001d16: MUL
00001d17: DUP1
00001d18: CALLDATASIZE
00001d19: DUP4
00001d1a: CALLDATACOPY
00001d1b: DUP1
00001d1c: DUP3
00001d1d: ADD
00001d1e: SWAP2
00001d1f: POP
00001d20: POP
00001d21: SWAP1
00001d22: POP
00001d23: JUMPDEST
00001d24: POP
00001d25: SWAP1
00001d26: POP
00001d27: PUSH1 0x00
00001d29: DUP3
00001d2a: SWAP1
00001d2b: POP
00001d2c: JUMPDEST
00001d2d: PUSH1 0x00
00001d2f: DUP6
00001d30: EQ
00001d31: PUSH2 0x1dfd
00001d34: JUMPI
00001d35: PUSH1 0x01
00001d37: DUP2
00001d38: PUSH2 0x1d41
00001d3b: SWAP2
00001d3c: SWAP1
00001d3d: PUSH2 0x3676
00001d40: JUMP
00001d41: JUMPDEST
00001d42: SWAP1
00001d43: POP
00001d44: PUSH1 0x00
00001d46: PUSH1 0x0a
00001d48: DUP1
00001d49: DUP8
00001d4a: PUSH2 0x1d53
00001d4d: SWAP2
00001d4e: SWAP1
00001d4f: PUSH2 0x347a
00001d52: JUMP
00001d53: JUMPDEST
00001d54: PUSH2 0x1d5d
00001d57: SWAP2
00001d58: SWAP1
00001d59: PUSH2 0x361c
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: DUP7
00001d5f: PUSH2 0x1d68
00001d62: SWAP2
00001d63: SWAP1
00001d64: PUSH2 0x3676
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x30
00001d6b: PUSH2 0x1d74
00001d6e: SWAP2
00001d6f: SWAP1
00001d70: PUSH2 0x3443
00001d73: JUMP
00001d74: JUMPDEST
00001d75: SWAP1
00001d76: POP
00001d77: PUSH1 0x00
00001d79: DUP2
00001d7a: PUSH1 0xf8
00001d7c: SHL
00001d7d: SWAP1
00001d7e: POP
00001d7f: DUP1
00001d80: DUP5
00001d81: DUP5
00001d82: DUP2
00001d83: MLOAD
00001d84: DUP2
00001d85: LT
00001d86: PUSH2 0x1db8
00001d89: JUMPI
00001d8a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001dab: PUSH1 0x00
00001dad: MSTORE
00001dae: PUSH1 0x32
00001db0: PUSH1 0x04
00001db2: MSTORE
00001db3: PUSH1 0x24
00001db5: PUSH1 0x00
00001db7: REVERT
00001db8: JUMPDEST
00001db9: PUSH1 0x20
00001dbb: ADD
00001dbc: ADD
00001dbd: SWAP1
00001dbe: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dde: NOT
00001ddf: AND
00001de0: SWAP1
00001de1: DUP2
00001de2: PUSH1 0x00
00001de4: BYTE
00001de5: SWAP1
00001de6: MSTORE8
00001de7: POP
00001de8: PUSH1 0x0a
00001dea: DUP8
00001deb: PUSH2 0x1df4
00001dee: SWAP2
00001def: SWAP1
00001df0: PUSH2 0x347a
00001df3: JUMP
00001df4: JUMPDEST
00001df5: SWAP7
00001df6: POP
00001df7: POP
00001df8: POP
00001df9: PUSH2 0x1d2c
00001dfc: JUMP
00001dfd: JUMPDEST
00001dfe: PUSH1 0x0b
00001e00: DUP3
00001e01: PUSH1 0x40
00001e03: MLOAD
00001e04: PUSH1 0x20
00001e06: ADD
00001e07: PUSH2 0x1e11
00001e0a: SWAP3
00001e0b: SWAP2
00001e0c: SWAP1
00001e0d: PUSH2 0x3076
00001e10: JUMP
00001e11: JUMPDEST
00001e12: PUSH1 0x40
00001e14: MLOAD
00001e15: PUSH1 0x20
00001e17: DUP2
00001e18: DUP4
00001e19: SUB
00001e1a: SUB
00001e1b: DUP2
00001e1c: MSTORE
00001e1d: SWAP1
00001e1e: PUSH1 0x40
00001e20: MSTORE
00001e21: SWAP6
00001e22: POP
00001e23: POP
00001e24: POP
00001e25: POP
00001e26: POP
00001e27: POP
00001e28: SWAP2
00001e29: SWAP1
00001e2a: POP
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: PUSH1 0x00
00001e2f: PUSH1 0x06
00001e31: PUSH1 0x00
00001e33: DUP5
00001e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e49: AND
00001e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5f: AND
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: SWAP1
00001e66: DUP2
00001e67: MSTORE
00001e68: PUSH1 0x20
00001e6a: ADD
00001e6b: PUSH1 0x00
00001e6d: KECCAK256
00001e6e: PUSH1 0x00
00001e70: DUP4
00001e71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e86: AND
00001e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9c: AND
00001e9d: DUP2
00001e9e: MSTORE
00001e9f: PUSH1 0x20
00001ea1: ADD
00001ea2: SWAP1
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x20
00001ea7: ADD
00001ea8: PUSH1 0x00
00001eaa: KECCAK256
00001eab: PUSH1 0x00
00001ead: SWAP1
00001eae: SLOAD
00001eaf: SWAP1
00001eb0: PUSH2 0x0100
00001eb3: EXP
00001eb4: SWAP1
00001eb5: DIV
00001eb6: PUSH1 0xff
00001eb8: AND
00001eb9: SWAP1
00001eba: POP
00001ebb: SWAP3
00001ebc: SWAP2
00001ebd: POP
00001ebe: POP
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: PUSH1 0x00
00001ec3: DUP1
00001ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed9: AND
00001eda: PUSH1 0x08
00001edc: PUSH1 0x00
00001ede: DUP5
00001edf: DUP2
00001ee0: MSTORE
00001ee1: PUSH1 0x20
00001ee3: ADD
00001ee4: SWAP1
00001ee5: DUP2
00001ee6: MSTORE
00001ee7: PUSH1 0x20
00001ee9: ADD
00001eea: PUSH1 0x00
00001eec: KECCAK256
00001eed: PUSH1 0x00
00001eef: SWAP1
00001ef0: SLOAD
00001ef1: SWAP1
00001ef2: PUSH2 0x0100
00001ef5: EXP
00001ef6: SWAP1
00001ef7: DIV
00001ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0d: AND
00001f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f23: AND
00001f24: EQ
00001f25: ISZERO
00001f26: SWAP1
00001f27: POP
00001f28: SWAP2
00001f29: SWAP1
00001f2a: POP
00001f2b: JUMP
00001f2c: JUMPDEST
00001f2d: PUSH2 0x1f35
00001f30: DUP2
00001f31: PUSH2 0x1ec0
00001f34: JUMP
00001f35: JUMPDEST
00001f36: ISZERO
00001f37: PUSH2 0x1f75
00001f3a: JUMPI
00001f3b: PUSH1 0x40
00001f3d: MLOAD
00001f3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f5f: DUP2
00001f60: MSTORE
00001f61: PUSH1 0x04
00001f63: ADD
00001f64: PUSH2 0x1f6c
00001f67: SWAP1
00001f68: PUSH2 0x32d9
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: DUP1
00001f71: SWAP2
00001f72: SUB
00001f73: SWAP1
00001f74: REVERT
00001f75: JUMPDEST
00001f76: PUSH1 0x01
00001f78: SLOAD
00001f79: DUP2
00001f7a: GT
00001f7b: ISZERO
00001f7c: PUSH2 0x1fba
00001f7f: JUMPI
00001f80: PUSH1 0x40
00001f82: MLOAD
00001f83: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fa4: DUP2
00001fa5: MSTORE
00001fa6: PUSH1 0x04
00001fa8: ADD
00001fa9: PUSH2 0x1fb1
00001fac: SWAP1
00001fad: PUSH2 0x3219
00001fb0: JUMP
00001fb1: JUMPDEST
00001fb2: PUSH1 0x40
00001fb4: MLOAD
00001fb5: DUP1
00001fb6: SWAP2
00001fb7: SUB
00001fb8: SWAP1
00001fb9: REVERT
00001fba: JUMPDEST
00001fbb: CALLER
00001fbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd1: AND
00001fd2: PUSH1 0x03
00001fd4: PUSH1 0x00
00001fd6: SWAP1
00001fd7: SLOAD
00001fd8: SWAP1
00001fd9: PUSH2 0x0100
00001fdc: EXP
00001fdd: SWAP1
00001fde: DIV
00001fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff4: AND
00001ff5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200a: AND
0000200b: PUSH4 0x6352211e
00002010: DUP4
00002011: PUSH1 0x40
00002013: MLOAD
00002014: DUP3
00002015: PUSH4 0xffffffff
0000201a: AND
0000201b: PUSH1 0xe0
0000201d: SHL
0000201e: DUP2
0000201f: MSTORE
00002020: PUSH1 0x04
00002022: ADD
00002023: PUSH2 0x202c
00002026: SWAP2
00002027: SWAP1
00002028: PUSH2 0x3319
0000202b: JUMP
0000202c: JUMPDEST
0000202d: PUSH1 0x20
0000202f: PUSH1 0x40
00002031: MLOAD
00002032: DUP1
00002033: DUP4
00002034: SUB
00002035: DUP2
00002036: DUP7
00002037: DUP1
00002038: EXTCODESIZE
00002039: ISZERO
0000203a: DUP1
0000203b: ISZERO
0000203c: PUSH2 0x2044
0000203f: JUMPI
00002040: PUSH1 0x00
00002042: DUP1
00002043: REVERT
00002044: JUMPDEST
00002045: POP
00002046: GAS
00002047: STATICCALL
00002048: ISZERO
00002049: DUP1
0000204a: ISZERO
0000204b: PUSH2 0x2058
0000204e: JUMPI
0000204f: RETURNDATASIZE
00002050: PUSH1 0x00
00002052: DUP1
00002053: RETURNDATACOPY
00002054: RETURNDATASIZE
00002055: PUSH1 0x00
00002057: REVERT
00002058: JUMPDEST
00002059: POP
0000205a: POP
0000205b: POP
0000205c: POP
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: RETURNDATASIZE
00002061: PUSH1 0x1f
00002063: NOT
00002064: PUSH1 0x1f
00002066: DUP3
00002067: ADD
00002068: AND
00002069: DUP3
0000206a: ADD
0000206b: DUP1
0000206c: PUSH1 0x40
0000206e: MSTORE
0000206f: POP
00002070: DUP2
00002071: ADD
00002072: SWAP1
00002073: PUSH2 0x207c
00002076: SWAP2
00002077: SWAP1
00002078: PUSH2 0x27ee
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002092: AND
00002093: EQ
00002094: PUSH2 0x20d2
00002097: JUMPI
00002098: PUSH1 0x40
0000209a: MLOAD
0000209b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020bc: DUP2
000020bd: MSTORE
000020be: PUSH1 0x04
000020c0: ADD
000020c1: PUSH2 0x20c9
000020c4: SWAP1
000020c5: PUSH2 0x3159
000020c8: JUMP
000020c9: JUMPDEST
000020ca: PUSH1 0x40
000020cc: MLOAD
000020cd: DUP1
000020ce: SWAP2
000020cf: SUB
000020d0: SWAP1
000020d1: REVERT
000020d2: JUMPDEST
000020d3: PUSH1 0x00
000020d5: DUP1
000020d6: DUP2
000020d7: SLOAD
000020d8: DUP1
000020d9: SWAP3
000020da: SWAP2
000020db: SWAP1
000020dc: PUSH2 0x20e4
000020df: SWAP1
000020e0: PUSH2 0x3777
000020e3: JUMP
000020e4: JUMPDEST
000020e5: SWAP2
000020e6: SWAP1
000020e7: POP
000020e8: SSTORE
000020e9: POP
000020ea: PUSH2 0x219d
000020ed: DUP2
000020ee: PUSH1 0x03
000020f0: PUSH1 0x00
000020f2: SWAP1
000020f3: SLOAD
000020f4: SWAP1
000020f5: PUSH2 0x0100
000020f8: EXP
000020f9: SWAP1
000020fa: DIV
000020fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002110: AND
00002111: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002126: AND
00002127: PUSH4 0x7e551b75
0000212c: DUP5
0000212d: PUSH1 0x40
0000212f: MLOAD
00002130: DUP3
00002131: PUSH4 0xffffffff
00002136: AND
00002137: PUSH1 0xe0
00002139: SHL
0000213a: DUP2
0000213b: MSTORE
0000213c: PUSH1 0x04
0000213e: ADD
0000213f: PUSH2 0x2148
00002142: SWAP2
00002143: SWAP1
00002144: PUSH2 0x3319
00002147: JUMP
00002148: JUMPDEST
00002149: PUSH1 0x20
0000214b: PUSH1 0x40
0000214d: MLOAD
0000214e: DUP1
0000214f: DUP4
00002150: SUB
00002151: DUP2
00002152: DUP7
00002153: DUP1
00002154: EXTCODESIZE
00002155: ISZERO
00002156: DUP1
00002157: ISZERO
00002158: PUSH2 0x2160
0000215b: JUMPI
0000215c: PUSH1 0x00
0000215e: DUP1
0000215f: REVERT
00002160: JUMPDEST
00002161: POP
00002162: GAS
00002163: STATICCALL
00002164: ISZERO
00002165: DUP1
00002166: ISZERO
00002167: PUSH2 0x2174
0000216a: JUMPI
0000216b: RETURNDATASIZE
0000216c: PUSH1 0x00
0000216e: DUP1
0000216f: RETURNDATACOPY
00002170: RETURNDATASIZE
00002171: PUSH1 0x00
00002173: REVERT
00002174: JUMPDEST
00002175: POP
00002176: POP
00002177: POP
00002178: POP
00002179: PUSH1 0x40
0000217b: MLOAD
0000217c: RETURNDATASIZE
0000217d: PUSH1 0x1f
0000217f: NOT
00002180: PUSH1 0x1f
00002182: DUP3
00002183: ADD
00002184: AND
00002185: DUP3
00002186: ADD
00002187: DUP1
00002188: PUSH1 0x40
0000218a: MSTORE
0000218b: POP
0000218c: DUP2
0000218d: ADD
0000218e: SWAP1
0000218f: PUSH2 0x2198
00002192: SWAP2
00002193: SWAP1
00002194: PUSH2 0x2a0a
00002197: JUMP
00002198: JUMPDEST
00002199: PUSH2 0x2456
0000219c: JUMP
0000219d: JUMPDEST
0000219e: DUP1
0000219f: PUSH32 0xd5837b673ffaac69230366d3f7eb7cb2ba2b9fd8f2d4e9d0f5e92d3756b1d546
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: PUSH1 0x40
000021c5: MLOAD
000021c6: DUP1
000021c7: SWAP2
000021c8: SUB
000021c9: SWAP1
000021ca: LOG2
000021cb: POP
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x00
000021d0: PUSH2 0x21d8
000021d3: DUP3
000021d4: PUSH2 0x1ec0
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH2 0x2217
000021dc: JUMPI
000021dd: PUSH1 0x40
000021df: MLOAD
000021e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002201: DUP2
00002202: MSTORE
00002203: PUSH1 0x04
00002205: ADD
00002206: PUSH2 0x220e
00002209: SWAP1
0000220a: PUSH2 0x3279
0000220d: JUMP
0000220e: JUMPDEST
0000220f: PUSH1 0x40
00002211: MLOAD
00002212: DUP1
00002213: SWAP2
00002214: SUB
00002215: SWAP1
00002216: REVERT
00002217: JUMPDEST
00002218: CALLER
00002219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222e: AND
0000222f: PUSH2 0x2237
00002232: DUP5
00002233: PUSH2 0x1669
00002236: JUMP
00002237: JUMPDEST
00002238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224d: AND
0000224e: EQ
0000224f: PUSH2 0x228d
00002252: JUMPI
00002253: PUSH1 0x40
00002255: MLOAD
00002256: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002277: DUP2
00002278: MSTORE
00002279: PUSH1 0x04
0000227b: ADD
0000227c: PUSH2 0x2284
0000227f: SWAP1
00002280: PUSH2 0x3159
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x40
00002287: MLOAD
00002288: DUP1
00002289: SWAP2
0000228a: SUB
0000228b: SWAP1
0000228c: REVERT
0000228d: JUMPDEST
0000228e: PUSH1 0x10
00002290: PUSH1 0x00
00002292: DUP5
00002293: DUP2
00002294: MSTORE
00002295: PUSH1 0x20
00002297: ADD
00002298: SWAP1
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: PUSH1 0x00
000022a0: KECCAK256
000022a1: SLOAD
000022a2: DUP3
000022a3: GT
000022a4: PUSH2 0x22e2
000022a7: JUMPI
000022a8: PUSH1 0x40
000022aa: MLOAD
000022ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022cc: DUP2
000022cd: MSTORE
000022ce: PUSH1 0x04
000022d0: ADD
000022d1: PUSH2 0x22d9
000022d4: SWAP1
000022d5: PUSH2 0x32b9
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH1 0x40
000022dc: MLOAD
000022dd: DUP1
000022de: SWAP2
000022df: SUB
000022e0: SWAP1
000022e1: REVERT
000022e2: JUMPDEST
000022e3: PUSH1 0x00
000022e5: PUSH2 0x22ed
000022e8: DUP5
000022e9: PUSH2 0x2414
000022ec: JUMP
000022ed: JUMPDEST
000022ee: SWAP1
000022ef: POP
000022f0: PUSH1 0x00
000022f2: PUSH1 0x01
000022f4: DUP3
000022f5: PUSH2 0x22fe
000022f8: SWAP2
000022f9: SWAP1
000022fa: PUSH2 0x33ed
000022fd: JUMP
000022fe: JUMPDEST
000022ff: PUSH1 0x02
00002301: PUSH2 0x230a
00002304: SWAP2
00002305: SWAP1
00002306: PUSH2 0x34fe
00002309: JUMP
0000230a: JUMPDEST
0000230b: SWAP1
0000230c: POP
0000230d: PUSH1 0x00
0000230f: PUSH1 0x10
00002311: PUSH1 0x00
00002313: DUP8
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x20
00002318: ADD
00002319: SWAP1
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: ADD
0000231f: PUSH1 0x00
00002321: KECCAK256
00002322: SLOAD
00002323: SWAP1
00002324: POP
00002325: DUP6
00002326: DUP2
00002327: LT
00002328: ISZERO
00002329: PUSH2 0x2358
0000232c: JUMPI
0000232d: DUP6
0000232e: SWAP1
0000232f: POP
00002330: PUSH1 0x01
00002332: SLOAD
00002333: DUP2
00002334: LT
00002335: ISZERO
00002336: PUSH2 0x233f
00002339: JUMPI
0000233a: PUSH1 0x01
0000233c: SLOAD
0000233d: SWAP1
0000233e: POP
0000233f: JUMPDEST
00002340: DUP2
00002341: DUP2
00002342: LT
00002343: ISZERO
00002344: PUSH2 0x2357
00002347: JUMPI
00002348: PUSH1 0x01
0000234a: DUP3
0000234b: PUSH2 0x2354
0000234e: SWAP2
0000234f: SWAP1
00002350: PUSH2 0x3676
00002353: JUMP
00002354: JUMPDEST
00002355: SWAP1
00002356: POP
00002357: JUMPDEST
00002358: JUMPDEST
00002359: DUP1
0000235a: DUP6
0000235b: GT
0000235c: PUSH2 0x239a
0000235f: JUMPI
00002360: PUSH1 0x40
00002362: MLOAD
00002363: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002384: DUP2
00002385: MSTORE
00002386: PUSH1 0x04
00002388: ADD
00002389: PUSH2 0x2391
0000238c: SWAP1
0000238d: PUSH2 0x3179
00002390: JUMP
00002391: JUMPDEST
00002392: PUSH1 0x40
00002394: MLOAD
00002395: DUP1
00002396: SWAP2
00002397: SUB
00002398: SWAP1
00002399: REVERT
0000239a: JUMPDEST
0000239b: PUSH1 0x00
0000239d: DUP2
0000239e: DUP7
0000239f: PUSH2 0x23a8
000023a2: SWAP2
000023a3: SWAP1
000023a4: PUSH2 0x3676
000023a7: JUMP
000023a8: JUMPDEST
000023a9: PUSH1 0x11
000023ab: SLOAD
000023ac: PUSH2 0x23b5
000023af: SWAP2
000023b0: SWAP1
000023b1: PUSH2 0x361c
000023b4: JUMP
000023b5: JUMPDEST
000023b6: SWAP1
000023b7: POP
000023b8: DUP6
000023b9: PUSH1 0x10
000023bb: PUSH1 0x00
000023bd: DUP10
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x20
000023c2: ADD
000023c3: SWAP1
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: PUSH1 0x00
000023cb: KECCAK256
000023cc: DUP2
000023cd: SWAP1
000023ce: SSTORE
000023cf: POP
000023d0: DUP7
000023d1: PUSH32 0x56ca301a9219608c91e7bcee90e083c19671d2cdcc96752c7af291cee5f9c8c8
000023f2: DUP3
000023f3: PUSH1 0x40
000023f5: MLOAD
000023f6: PUSH2 0x23ff
000023f9: SWAP2
000023fa: SWAP1
000023fb: PUSH2 0x3319
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH1 0x40
00002402: MLOAD
00002403: DUP1
00002404: SWAP2
00002405: SUB
00002406: SWAP1
00002407: LOG2
00002408: DUP1
00002409: SWAP5
0000240a: POP
0000240b: POP
0000240c: POP
0000240d: POP
0000240e: POP
0000240f: SWAP3
00002410: SWAP2
00002411: POP
00002412: POP
00002413: JUMP
00002414: JUMPDEST
00002415: PUSH1 0x00
00002417: JUMPDEST
00002418: PUSH1 0x00
0000241a: DUP3
0000241b: GT
0000241c: ISZERO
0000241d: PUSH2 0x2442
00002420: JUMPI
00002421: PUSH1 0x02
00002423: DUP3
00002424: PUSH2 0x242d
00002427: SWAP2
00002428: SWAP1
00002429: PUSH2 0x347a
0000242c: JUMP
0000242d: JUMPDEST
0000242e: SWAP2
0000242f: POP
00002430: DUP1
00002431: DUP1
00002432: PUSH2 0x243a
00002435: SWAP1
00002436: PUSH2 0x37d3
00002439: JUMP
0000243a: JUMPDEST
0000243b: SWAP2
0000243c: POP
0000243d: POP
0000243e: PUSH2 0x2417
00002441: JUMP
00002442: JUMPDEST
00002443: PUSH1 0x01
00002445: DUP2
00002446: PUSH2 0x244f
00002449: SWAP2
0000244a: SWAP1
0000244b: PUSH2 0x3676
0000244e: JUMP
0000244f: JUMPDEST
00002450: SWAP1
00002451: POP
00002452: SWAP2
00002453: SWAP1
00002454: POP
00002455: JUMP
00002456: JUMPDEST
00002457: CALLER
00002458: PUSH1 0x08
0000245a: PUSH1 0x00
0000245c: DUP5
0000245d: DUP2
0000245e: MSTORE
0000245f: PUSH1 0x20
00002461: ADD
00002462: SWAP1
00002463: DUP2
00002464: MSTORE
00002465: PUSH1 0x20
00002467: ADD
00002468: PUSH1 0x00
0000246a: KECCAK256
0000246b: PUSH1 0x00
0000246d: PUSH2 0x0100
00002470: EXP
00002471: DUP2
00002472: SLOAD
00002473: DUP2
00002474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002489: MUL
0000248a: NOT
0000248b: AND
0000248c: SWAP1
0000248d: DUP4
0000248e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a3: AND
000024a4: MUL
000024a5: OR
000024a6: SWAP1
000024a7: SSTORE
000024a8: POP
000024a9: PUSH1 0x04
000024ab: PUSH1 0x00
000024ad: CALLER
000024ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c3: AND
000024c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d9: AND
000024da: DUP2
000024db: MSTORE
000024dc: PUSH1 0x20
000024de: ADD
000024df: SWAP1
000024e0: DUP2
000024e1: MSTORE
000024e2: PUSH1 0x20
000024e4: ADD
000024e5: PUSH1 0x00
000024e7: KECCAK256
000024e8: PUSH1 0x00
000024ea: DUP2
000024eb: SLOAD
000024ec: DUP1
000024ed: SWAP3
000024ee: SWAP2
000024ef: SWAP1
000024f0: PUSH2 0x24f8
000024f3: SWAP1
000024f4: PUSH2 0x37d3
000024f7: JUMP
000024f8: JUMPDEST
000024f9: SWAP2
000024fa: SWAP1
000024fb: POP
000024fc: SSTORE
000024fd: POP
000024fe: PUSH1 0x0c
00002500: PUSH1 0x00
00002502: CALLER
00002503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002518: AND
00002519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000252e: AND
0000252f: DUP2
00002530: MSTORE
00002531: PUSH1 0x20
00002533: ADD
00002534: SWAP1
00002535: DUP2
00002536: MSTORE
00002537: PUSH1 0x20
00002539: ADD
0000253a: PUSH1 0x00
0000253c: KECCAK256
0000253d: DUP1
0000253e: SLOAD
0000253f: SWAP1
00002540: POP
00002541: PUSH1 0x0d
00002543: PUSH1 0x00
00002545: DUP5
00002546: DUP2
00002547: MSTORE
00002548: PUSH1 0x20
0000254a: ADD
0000254b: SWAP1
0000254c: DUP2
0000254d: MSTORE
0000254e: PUSH1 0x20
00002550: ADD
00002551: PUSH1 0x00
00002553: KECCAK256
00002554: DUP2
00002555: SWAP1
00002556: SSTORE
00002557: POP
00002558: PUSH1 0x0c
0000255a: PUSH1 0x00
0000255c: CALLER
0000255d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002572: AND
00002573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002588: AND
00002589: DUP2
0000258a: MSTORE
0000258b: PUSH1 0x20
0000258d: ADD
0000258e: SWAP1
0000258f: DUP2
00002590: MSTORE
00002591: PUSH1 0x20
00002593: ADD
00002594: PUSH1 0x00
00002596: KECCAK256
00002597: DUP3
00002598: SWAP1
00002599: DUP1
0000259a: PUSH1 0x01
0000259c: DUP2
0000259d: SLOAD
0000259e: ADD
0000259f: DUP1
000025a0: DUP3
000025a1: SSTORE
000025a2: DUP1
000025a3: SWAP2
000025a4: POP
000025a5: POP
000025a6: PUSH1 0x01
000025a8: SWAP1
000025a9: SUB
000025aa: SWAP1
000025ab: PUSH1 0x00
000025ad: MSTORE
000025ae: PUSH1 0x20
000025b0: PUSH1 0x00
000025b2: KECCAK256
000025b3: ADD
000025b4: PUSH1 0x00
000025b6: SWAP1
000025b7: SWAP2
000025b8: SWAP1
000025b9: SWAP2
000025ba: SWAP1
000025bb: SWAP2
000025bc: POP
000025bd: SSTORE
000025be: PUSH1 0x07
000025c0: DUP1
000025c1: SLOAD
000025c2: SWAP1
000025c3: POP
000025c4: PUSH1 0x0e
000025c6: PUSH1 0x00
000025c8: DUP5
000025c9: DUP2
000025ca: MSTORE
000025cb: PUSH1 0x20
000025cd: ADD
000025ce: SWAP1
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: ADD
000025d4: PUSH1 0x00
000025d6: KECCAK256
000025d7: DUP2
000025d8: SWAP1
000025d9: SSTORE
000025da: POP
000025db: DUP2
000025dc: PUSH1 0x0f
000025de: PUSH1 0x00
000025e0: PUSH1 0x07
000025e2: DUP1
000025e3: SLOAD
000025e4: SWAP1
000025e5: POP
000025e6: DUP2
000025e7: MSTORE
000025e8: PUSH1 0x20
000025ea: ADD
000025eb: SWAP1
000025ec: DUP2
000025ed: MSTORE
000025ee: PUSH1 0x20
000025f0: ADD
000025f1: PUSH1 0x00
000025f3: KECCAK256
000025f4: DUP2
000025f5: SWAP1
000025f6: SSTORE
000025f7: POP
000025f8: PUSH1 0x07
000025fa: DUP2
000025fb: SWAP1
000025fc: DUP1
000025fd: PUSH1 0x01
000025ff: DUP2
00002600: SLOAD
00002601: ADD
00002602: DUP1
00002603: DUP3
00002604: SSTORE
00002605: DUP1
00002606: SWAP2
00002607: POP
00002608: POP
00002609: PUSH1 0x01
0000260b: SWAP1
0000260c: SUB
0000260d: SWAP1
0000260e: PUSH1 0x00
00002610: MSTORE
00002611: PUSH1 0x20
00002613: PUSH1 0x00
00002615: KECCAK256
00002616: ADD
00002617: PUSH1 0x00
00002619: SWAP1
0000261a: SWAP2
0000261b: SWAP1
0000261c: SWAP2
0000261d: SWAP1
0000261e: SWAP2
0000261f: POP
00002620: SSTORE
00002621: DUP2
00002622: CALLER
00002623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002638: AND
00002639: PUSH1 0x00
0000263b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002650: AND
00002651: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002672: PUSH1 0x40
00002674: MLOAD
00002675: PUSH1 0x40
00002677: MLOAD
00002678: DUP1
00002679: SWAP2
0000267a: SUB
0000267b: SWAP1
0000267c: LOG4
0000267d: POP
0000267e: POP
0000267f: JUMP
00002680: JUMPDEST
00002681: PUSH1 0x00
00002683: PUSH2 0x2693
00002686: PUSH2 0x268e
00002689: DUP5
0000268a: PUSH2 0x3365
0000268d: JUMP
0000268e: JUMPDEST
0000268f: PUSH2 0x3334
00002692: JUMP
00002693: JUMPDEST
00002694: SWAP1
00002695: POP
00002696: DUP3
00002697: DUP2
00002698: MSTORE
00002699: PUSH1 0x20
0000269b: DUP2
0000269c: ADD
0000269d: DUP5
0000269e: DUP5
0000269f: DUP5
000026a0: ADD
000026a1: GT
000026a2: ISZERO
000026a3: PUSH2 0x26ab
000026a6: JUMPI
000026a7: PUSH1 0x00
000026a9: DUP1
000026aa: REVERT
000026ab: JUMPDEST
000026ac: PUSH2 0x26b6
000026af: DUP5
000026b0: DUP3
000026b1: DUP6
000026b2: PUSH2 0x3735
000026b5: JUMP
000026b6: JUMPDEST
000026b7: POP
000026b8: SWAP4
000026b9: SWAP3
000026ba: POP
000026bb: POP
000026bc: POP
000026bd: JUMP
000026be: JUMPDEST
000026bf: PUSH1 0x00
000026c1: DUP2
000026c2: CALLDATALOAD
000026c3: SWAP1
000026c4: POP
000026c5: PUSH2 0x26cd
000026c8: DUP2
000026c9: PUSH2 0x393b
000026cc: JUMP
000026cd: JUMPDEST
000026ce: SWAP3
000026cf: SWAP2
000026d0: POP
000026d1: POP
000026d2: JUMP
000026d3: JUMPDEST
000026d4: PUSH1 0x00
000026d6: DUP2
000026d7: MLOAD
000026d8: SWAP1
000026d9: POP
000026da: PUSH2 0x26e2
000026dd: DUP2
000026de: PUSH2 0x393b
000026e1: JUMP
000026e2: JUMPDEST
000026e3: SWAP3
000026e4: SWAP2
000026e5: POP
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: DUP1
000026ec: DUP4
000026ed: PUSH1 0x1f
000026ef: DUP5
000026f0: ADD
000026f1: SLT
000026f2: PUSH2 0x26fa
000026f5: JUMPI
000026f6: PUSH1 0x00
000026f8: DUP1
000026f9: REVERT
000026fa: JUMPDEST
000026fb: DUP3
000026fc: CALLDATALOAD
000026fd: SWAP1
000026fe: POP
000026ff: PUSH8 0xffffffffffffffff
00002708: DUP2
00002709: GT
0000270a: ISZERO
0000270b: PUSH2 0x2713
0000270e: JUMPI
0000270f: PUSH1 0x00
00002711: DUP1
00002712: REVERT
00002713: JUMPDEST
00002714: PUSH1 0x20
00002716: DUP4
00002717: ADD
00002718: SWAP2
00002719: POP
0000271a: DUP4
0000271b: PUSH1 0x20
0000271d: DUP3
0000271e: MUL
0000271f: DUP4
00002720: ADD
00002721: GT
00002722: ISZERO
00002723: PUSH2 0x272b
00002726: JUMPI
00002727: PUSH1 0x00
00002729: DUP1
0000272a: REVERT
0000272b: JUMPDEST
0000272c: SWAP3
0000272d: POP
0000272e: SWAP3
0000272f: SWAP1
00002730: POP
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH1 0x00
00002735: DUP2
00002736: CALLDATALOAD
00002737: SWAP1
00002738: POP
00002739: PUSH2 0x2741
0000273c: DUP2
0000273d: PUSH2 0x3952
00002740: JUMP
00002741: JUMPDEST
00002742: SWAP3
00002743: SWAP2
00002744: POP
00002745: POP
00002746: JUMP
00002747: JUMPDEST
00002748: PUSH1 0x00
0000274a: DUP2
0000274b: MLOAD
0000274c: SWAP1
0000274d: POP
0000274e: PUSH2 0x2756
00002751: DUP2
00002752: PUSH2 0x3969
00002755: JUMP
00002756: JUMPDEST
00002757: SWAP3
00002758: SWAP2
00002759: POP
0000275a: POP
0000275b: JUMP
0000275c: JUMPDEST
0000275d: PUSH1 0x00
0000275f: DUP2
00002760: CALLDATALOAD
00002761: SWAP1
00002762: POP
00002763: PUSH2 0x276b
00002766: DUP2
00002767: PUSH2 0x3980
0000276a: JUMP
0000276b: JUMPDEST
0000276c: SWAP3
0000276d: SWAP2
0000276e: POP
0000276f: POP
00002770: JUMP
00002771: JUMPDEST
00002772: PUSH1 0x00
00002774: DUP2
00002775: MLOAD
00002776: SWAP1
00002777: POP
00002778: PUSH2 0x2780
0000277b: DUP2
0000277c: PUSH2 0x3980
0000277f: JUMP
00002780: JUMPDEST
00002781: SWAP3
00002782: SWAP2
00002783: POP
00002784: POP
00002785: JUMP
00002786: JUMPDEST
00002787: PUSH1 0x00
00002789: DUP3
0000278a: PUSH1 0x1f
0000278c: DUP4
0000278d: ADD
0000278e: SLT
0000278f: PUSH2 0x2797
00002792: JUMPI
00002793: PUSH1 0x00
00002795: DUP1
00002796: REVERT
00002797: JUMPDEST
00002798: DUP2
00002799: CALLDATALOAD
0000279a: PUSH2 0x27a7
0000279d: DUP5
0000279e: DUP3
0000279f: PUSH1 0x20
000027a1: DUP7
000027a2: ADD
000027a3: PUSH2 0x2680
000027a6: JUMP
000027a7: JUMPDEST
000027a8: SWAP2
000027a9: POP
000027aa: POP
000027ab: SWAP3
000027ac: SWAP2
000027ad: POP
000027ae: POP
000027af: JUMP
000027b0: JUMPDEST
000027b1: PUSH1 0x00
000027b3: DUP2
000027b4: CALLDATALOAD
000027b5: SWAP1
000027b6: POP
000027b7: PUSH2 0x27bf
000027ba: DUP2
000027bb: PUSH2 0x3997
000027be: JUMP
000027bf: JUMPDEST
000027c0: SWAP3
000027c1: SWAP2
000027c2: POP
000027c3: POP
000027c4: JUMP
000027c5: JUMPDEST
000027c6: PUSH1 0x00
000027c8: PUSH1 0x20
000027ca: DUP3
000027cb: DUP5
000027cc: SUB
000027cd: SLT
000027ce: ISZERO
000027cf: PUSH2 0x27d7
000027d2: JUMPI
000027d3: PUSH1 0x00
000027d5: DUP1
000027d6: REVERT
000027d7: JUMPDEST
000027d8: PUSH1 0x00
000027da: PUSH2 0x27e5
000027dd: DUP5
000027de: DUP3
000027df: DUP6
000027e0: ADD
000027e1: PUSH2 0x26be
000027e4: JUMP
000027e5: JUMPDEST
000027e6: SWAP2
000027e7: POP
000027e8: POP
000027e9: SWAP3
000027ea: SWAP2
000027eb: POP
000027ec: POP
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x00
000027f1: PUSH1 0x20
000027f3: DUP3
000027f4: DUP5
000027f5: SUB
000027f6: SLT
000027f7: ISZERO
000027f8: PUSH2 0x2800
000027fb: JUMPI
000027fc: PUSH1 0x00
000027fe: DUP1
000027ff: REVERT
00002800: JUMPDEST
00002801: PUSH1 0x00
00002803: PUSH2 0x280e
00002806: DUP5
00002807: DUP3
00002808: DUP6
00002809: ADD
0000280a: PUSH2 0x26d3
0000280d: JUMP
0000280e: JUMPDEST
0000280f: SWAP2
00002810: POP
00002811: POP
00002812: SWAP3
00002813: SWAP2
00002814: POP
00002815: POP
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x00
0000281a: DUP1
0000281b: PUSH1 0x40
0000281d: DUP4
0000281e: DUP6
0000281f: SUB
00002820: SLT
00002821: ISZERO
00002822: PUSH2 0x282a
00002825: JUMPI
00002826: PUSH1 0x00
00002828: DUP1
00002829: REVERT
0000282a: JUMPDEST
0000282b: PUSH1 0x00
0000282d: PUSH2 0x2838
00002830: DUP6
00002831: DUP3
00002832: DUP7
00002833: ADD
00002834: PUSH2 0x26be
00002837: JUMP
00002838: JUMPDEST
00002839: SWAP3
0000283a: POP
0000283b: POP
0000283c: PUSH1 0x20
0000283e: PUSH2 0x2849
00002841: DUP6
00002842: DUP3
00002843: DUP7
00002844: ADD
00002845: PUSH2 0x26be
00002848: JUMP
00002849: JUMPDEST
0000284a: SWAP2
0000284b: POP
0000284c: POP
0000284d: SWAP3
0000284e: POP
0000284f: SWAP3
00002850: SWAP1
00002851: POP
00002852: JUMP
00002853: JUMPDEST
00002854: PUSH1 0x00
00002856: DUP1
00002857: PUSH1 0x00
00002859: PUSH1 0x60
0000285b: DUP5
0000285c: DUP7
0000285d: SUB
0000285e: SLT
0000285f: ISZERO
00002860: PUSH2 0x2868
00002863: JUMPI
00002864: PUSH1 0x00
00002866: DUP1
00002867: REVERT
00002868: JUMPDEST
00002869: PUSH1 0x00
0000286b: PUSH2 0x2876
0000286e: DUP7
0000286f: DUP3
00002870: DUP8
00002871: ADD
00002872: PUSH2 0x26be
00002875: JUMP
00002876: JUMPDEST
00002877: SWAP4
00002878: POP
00002879: POP
0000287a: PUSH1 0x20
0000287c: PUSH2 0x2887
0000287f: DUP7
00002880: DUP3
00002881: DUP8
00002882: ADD
00002883: PUSH2 0x26be
00002886: JUMP
00002887: JUMPDEST
00002888: SWAP3
00002889: POP
0000288a: POP
0000288b: PUSH1 0x40
0000288d: PUSH2 0x2898
00002890: DUP7
00002891: DUP3
00002892: DUP8
00002893: ADD
00002894: PUSH2 0x27b0
00002897: JUMP
00002898: JUMPDEST
00002899: SWAP2
0000289a: POP
0000289b: POP
0000289c: SWAP3
0000289d: POP
0000289e: SWAP3
0000289f: POP
000028a0: SWAP3
000028a1: JUMP
000028a2: JUMPDEST
000028a3: PUSH1 0x00
000028a5: DUP1
000028a6: PUSH1 0x00
000028a8: DUP1
000028a9: PUSH1 0x80
000028ab: DUP6
000028ac: DUP8
000028ad: SUB
000028ae: SLT
000028af: ISZERO
000028b0: PUSH2 0x28b8
000028b3: JUMPI
000028b4: PUSH1 0x00
000028b6: DUP1
000028b7: REVERT
000028b8: JUMPDEST
000028b9: PUSH1 0x00
000028bb: PUSH2 0x28c6
000028be: DUP8
000028bf: DUP3
000028c0: DUP9
000028c1: ADD
000028c2: PUSH2 0x26be
000028c5: JUMP
000028c6: JUMPDEST
000028c7: SWAP5
000028c8: POP
000028c9: POP
000028ca: PUSH1 0x20
000028cc: PUSH2 0x28d7
000028cf: DUP8
000028d0: DUP3
000028d1: DUP9
000028d2: ADD
000028d3: PUSH2 0x26be
000028d6: JUMP
000028d7: JUMPDEST
000028d8: SWAP4
000028d9: POP
000028da: POP
000028db: PUSH1 0x40
000028dd: PUSH2 0x28e8
000028e0: DUP8
000028e1: DUP3
000028e2: DUP9
000028e3: ADD
000028e4: PUSH2 0x27b0
000028e7: JUMP
000028e8: JUMPDEST
000028e9: SWAP3
000028ea: POP
000028eb: POP
000028ec: PUSH1 0x60
000028ee: DUP6
000028ef: ADD
000028f0: CALLDATALOAD
000028f1: PUSH8 0xffffffffffffffff
000028fa: DUP2
000028fb: GT
000028fc: ISZERO
000028fd: PUSH2 0x2905
00002900: JUMPI
00002901: PUSH1 0x00
00002903: DUP1
00002904: REVERT
00002905: JUMPDEST
00002906: PUSH2 0x2911
00002909: DUP8
0000290a: DUP3
0000290b: DUP9
0000290c: ADD
0000290d: PUSH2 0x2786
00002910: JUMP
00002911: JUMPDEST
00002912: SWAP2
00002913: POP
00002914: POP
00002915: SWAP3
00002916: SWAP6
00002917: SWAP2
00002918: SWAP5
00002919: POP
0000291a: SWAP3
0000291b: POP
0000291c: JUMP
0000291d: JUMPDEST
0000291e: PUSH1 0x00
00002920: DUP1
00002921: PUSH1 0x40
00002923: DUP4
00002924: DUP6
00002925: SUB
00002926: SLT
00002927: ISZERO
00002928: PUSH2 0x2930
0000292b: JUMPI
0000292c: PUSH1 0x00
0000292e: DUP1
0000292f: REVERT
00002930: JUMPDEST
00002931: PUSH1 0x00
00002933: PUSH2 0x293e
00002936: DUP6
00002937: DUP3
00002938: DUP7
00002939: ADD
0000293a: PUSH2 0x26be
0000293d: JUMP
0000293e: JUMPDEST
0000293f: SWAP3
00002940: POP
00002941: POP
00002942: PUSH1 0x20
00002944: PUSH2 0x294f
00002947: DUP6
00002948: DUP3
00002949: DUP7
0000294a: ADD
0000294b: PUSH2 0x2732
0000294e: JUMP
0000294f: JUMPDEST
00002950: SWAP2
00002951: POP
00002952: POP
00002953: SWAP3
00002954: POP
00002955: SWAP3
00002956: SWAP1
00002957: POP
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH1 0x00
0000295c: DUP1
0000295d: PUSH1 0x40
0000295f: DUP4
00002960: DUP6
00002961: SUB
00002962: SLT
00002963: ISZERO
00002964: PUSH2 0x296c
00002967: JUMPI
00002968: PUSH1 0x00
0000296a: DUP1
0000296b: REVERT
0000296c: JUMPDEST
0000296d: PUSH1 0x00
0000296f: PUSH2 0x297a
00002972: DUP6
00002973: DUP3
00002974: DUP7
00002975: ADD
00002976: PUSH2 0x26be
00002979: JUMP
0000297a: JUMPDEST
0000297b: SWAP3
0000297c: POP
0000297d: POP
0000297e: PUSH1 0x20
00002980: PUSH2 0x298b
00002983: DUP6
00002984: DUP3
00002985: DUP7
00002986: ADD
00002987: PUSH2 0x27b0
0000298a: JUMP
0000298b: JUMPDEST
0000298c: SWAP2
0000298d: POP
0000298e: POP
0000298f: SWAP3
00002990: POP
00002991: SWAP3
00002992: SWAP1
00002993: POP
00002994: JUMP
00002995: JUMPDEST
00002996: PUSH1 0x00
00002998: DUP1
00002999: PUSH1 0x00
0000299b: DUP1
0000299c: PUSH1 0x40
0000299e: DUP6
0000299f: DUP8
000029a0: SUB
000029a1: SLT
000029a2: ISZERO
000029a3: PUSH2 0x29ab
000029a6: JUMPI
000029a7: PUSH1 0x00
000029a9: DUP1
000029aa: REVERT
000029ab: JUMPDEST
000029ac: PUSH1 0x00
000029ae: DUP6
000029af: ADD
000029b0: CALLDATALOAD
000029b1: PUSH8 0xffffffffffffffff
000029ba: DUP2
000029bb: GT
000029bc: ISZERO
000029bd: PUSH2 0x29c5
000029c0: JUMPI
000029c1: PUSH1 0x00
000029c3: DUP1
000029c4: REVERT
000029c5: JUMPDEST
000029c6: PUSH2 0x29d1
000029c9: DUP8
000029ca: DUP3
000029cb: DUP9
000029cc: ADD
000029cd: PUSH2 0x26e8
000029d0: JUMP
000029d1: JUMPDEST
000029d2: SWAP5
000029d3: POP
000029d4: SWAP5
000029d5: POP
000029d6: POP
000029d7: PUSH1 0x20
000029d9: DUP6
000029da: ADD
000029db: CALLDATALOAD
000029dc: PUSH8 0xffffffffffffffff
000029e5: DUP2
000029e6: GT
000029e7: ISZERO
000029e8: PUSH2 0x29f0
000029eb: JUMPI
000029ec: PUSH1 0x00
000029ee: DUP1
000029ef: REVERT
000029f0: JUMPDEST
000029f1: PUSH2 0x29fc
000029f4: DUP8
000029f5: DUP3
000029f6: DUP9
000029f7: ADD
000029f8: PUSH2 0x26e8
000029fb: JUMP
000029fc: JUMPDEST
000029fd: SWAP3
000029fe: POP
000029ff: SWAP3
00002a00: POP
00002a01: POP
00002a02: SWAP3
00002a03: SWAP6
00002a04: SWAP2
00002a05: SWAP5
00002a06: POP
00002a07: SWAP3
00002a08: POP
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH1 0x00
00002a0d: PUSH1 0x20
00002a0f: DUP3
00002a10: DUP5
00002a11: SUB
00002a12: SLT
00002a13: ISZERO
00002a14: PUSH2 0x2a1c
00002a17: JUMPI
00002a18: PUSH1 0x00
00002a1a: DUP1
00002a1b: REVERT
00002a1c: JUMPDEST
00002a1d: PUSH1 0x00
00002a1f: PUSH2 0x2a2a
00002a22: DUP5
00002a23: DUP3
00002a24: DUP6
00002a25: ADD
00002a26: PUSH2 0x2747
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: SWAP2
00002a2c: POP
00002a2d: POP
00002a2e: SWAP3
00002a2f: SWAP2
00002a30: POP
00002a31: POP
00002a32: JUMP
00002a33: JUMPDEST
00002a34: PUSH1 0x00
00002a36: PUSH1 0x20
00002a38: DUP3
00002a39: DUP5
00002a3a: SUB
00002a3b: SLT
00002a3c: ISZERO
00002a3d: PUSH2 0x2a45
00002a40: JUMPI
00002a41: PUSH1 0x00
00002a43: DUP1
00002a44: REVERT
00002a45: JUMPDEST
00002a46: PUSH1 0x00
00002a48: PUSH2 0x2a53
00002a4b: DUP5
00002a4c: DUP3
00002a4d: DUP6
00002a4e: ADD
00002a4f: PUSH2 0x275c
00002a52: JUMP
00002a53: JUMPDEST
00002a54: SWAP2
00002a55: POP
00002a56: POP
00002a57: SWAP3
00002a58: SWAP2
00002a59: POP
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x00
00002a5f: PUSH1 0x20
00002a61: DUP3
00002a62: DUP5
00002a63: SUB
00002a64: SLT
00002a65: ISZERO
00002a66: PUSH2 0x2a6e
00002a69: JUMPI
00002a6a: PUSH1 0x00
00002a6c: DUP1
00002a6d: REVERT
00002a6e: JUMPDEST
00002a6f: PUSH1 0x00
00002a71: PUSH2 0x2a7c
00002a74: DUP5
00002a75: DUP3
00002a76: DUP6
00002a77: ADD
00002a78: PUSH2 0x2771
00002a7b: JUMP
00002a7c: JUMPDEST
00002a7d: SWAP2
00002a7e: POP
00002a7f: POP
00002a80: SWAP3
00002a81: SWAP2
00002a82: POP
00002a83: POP
00002a84: JUMP
00002a85: JUMPDEST
00002a86: PUSH1 0x00
00002a88: PUSH1 0x20
00002a8a: DUP3
00002a8b: DUP5
00002a8c: SUB
00002a8d: SLT
00002a8e: ISZERO
00002a8f: PUSH2 0x2a97
00002a92: JUMPI
00002a93: PUSH1 0x00
00002a95: DUP1
00002a96: REVERT
00002a97: JUMPDEST
00002a98: PUSH1 0x00
00002a9a: PUSH2 0x2aa5
00002a9d: DUP5
00002a9e: DUP3
00002a9f: DUP6
00002aa0: ADD
00002aa1: PUSH2 0x27b0
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: SWAP2
00002aa7: POP
00002aa8: POP
00002aa9: SWAP3
00002aaa: SWAP2
00002aab: POP
00002aac: POP
00002aad: JUMP
00002aae: JUMPDEST
00002aaf: PUSH1 0x00
00002ab1: DUP1
00002ab2: PUSH1 0x40
00002ab4: DUP4
00002ab5: DUP6
00002ab6: SUB
00002ab7: SLT
00002ab8: ISZERO
00002ab9: PUSH2 0x2ac1
00002abc: JUMPI
00002abd: PUSH1 0x00
00002abf: DUP1
00002ac0: REVERT
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: PUSH2 0x2acf
00002ac7: DUP6
00002ac8: DUP3
00002ac9: DUP7
00002aca: ADD
00002acb: PUSH2 0x27b0
00002ace: JUMP
00002acf: JUMPDEST
00002ad0: SWAP3
00002ad1: POP
00002ad2: POP
00002ad3: PUSH1 0x20
00002ad5: PUSH2 0x2ae0
00002ad8: DUP6
00002ad9: DUP3
00002ada: DUP7
00002adb: ADD
00002adc: PUSH2 0x27b0
00002adf: JUMP
00002ae0: JUMPDEST
00002ae1: SWAP2
00002ae2: POP
00002ae3: POP
00002ae4: SWAP3
00002ae5: POP
00002ae6: SWAP3
00002ae7: SWAP1
00002ae8: POP
00002ae9: JUMP
00002aea: JUMPDEST
00002aeb: PUSH2 0x2af3
00002aee: DUP2
00002aef: PUSH2 0x36aa
00002af2: JUMP
00002af3: JUMPDEST
00002af4: DUP3
00002af5: MSTORE
00002af6: POP
00002af7: POP
00002af8: JUMP
00002af9: JUMPDEST
00002afa: PUSH2 0x2b0a
00002afd: PUSH2 0x2b05
00002b00: DUP3
00002b01: PUSH2 0x36aa
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH2 0x381c
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: DUP3
00002b0c: MSTORE
00002b0d: POP
00002b0e: POP
00002b0f: JUMP
00002b10: JUMPDEST
00002b11: PUSH2 0x2b19
00002b14: DUP2
00002b15: PUSH2 0x36bc
00002b18: JUMP
00002b19: JUMPDEST
00002b1a: DUP3
00002b1b: MSTORE
00002b1c: POP
00002b1d: POP
00002b1e: JUMP
00002b1f: JUMPDEST
00002b20: PUSH2 0x2b28
00002b23: DUP2
00002b24: PUSH2 0x36c8
00002b27: JUMP
00002b28: JUMPDEST
00002b29: DUP3
00002b2a: MSTORE
00002b2b: POP
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH2 0x2b3f
00002b32: PUSH2 0x2b3a
00002b35: DUP3
00002b36: PUSH2 0x36c8
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: PUSH2 0x382e
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: DUP3
00002b41: MSTORE
00002b42: POP
00002b43: POP
00002b44: JUMP
00002b45: JUMPDEST
00002b46: PUSH1 0x00
00002b48: PUSH2 0x2b50
00002b4b: DUP3
00002b4c: PUSH2 0x33aa
00002b4f: JUMP
00002b50: JUMPDEST
00002b51: PUSH2 0x2b5a
00002b54: DUP2
00002b55: DUP6
00002b56: PUSH2 0x33c0
00002b59: JUMP
00002b5a: JUMPDEST
00002b5b: SWAP4
00002b5c: POP
00002b5d: PUSH2 0x2b6a
00002b60: DUP2
00002b61: DUP6
00002b62: PUSH1 0x20
00002b64: DUP7
00002b65: ADD
00002b66: PUSH2 0x3744
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: PUSH2 0x2b73
00002b6e: DUP2
00002b6f: PUSH2 0x3910
00002b72: JUMP
00002b73: JUMPDEST
00002b74: DUP5
00002b75: ADD
00002b76: SWAP2
00002b77: POP
00002b78: POP
00002b79: SWAP3
00002b7a: SWAP2
00002b7b: POP
00002b7c: POP
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: PUSH1 0x00
00002b81: PUSH2 0x2b89
00002b84: DUP3
00002b85: PUSH2 0x33aa
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: PUSH2 0x2b93
00002b8d: DUP2
00002b8e: DUP6
00002b8f: PUSH2 0x33d1
00002b92: JUMP
00002b93: JUMPDEST
00002b94: SWAP4
00002b95: POP
00002b96: PUSH2 0x2ba3
00002b99: DUP2
00002b9a: DUP6
00002b9b: PUSH1 0x20
00002b9d: DUP7
00002b9e: ADD
00002b9f: PUSH2 0x3744
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: DUP1
00002ba5: DUP5
00002ba6: ADD
00002ba7: SWAP2
00002ba8: POP
00002ba9: POP
00002baa: SWAP3
00002bab: SWAP2
00002bac: POP
00002bad: POP
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: PUSH1 0x00
00002bb2: DUP2
00002bb3: SLOAD
00002bb4: PUSH2 0x2bbc
00002bb7: DUP2
00002bb8: PUSH2 0x37a1
00002bbb: JUMP
00002bbc: JUMPDEST
00002bbd: PUSH2 0x2bc6
00002bc0: DUP2
00002bc1: DUP7
00002bc2: PUSH2 0x33d1
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP5
00002bc8: POP
00002bc9: PUSH1 0x01
00002bcb: DUP3
00002bcc: AND
00002bcd: PUSH1 0x00
00002bcf: DUP2
00002bd0: EQ
00002bd1: PUSH2 0x2be1
00002bd4: JUMPI
00002bd5: PUSH1 0x01
00002bd7: DUP2
00002bd8: EQ
00002bd9: PUSH2 0x2bf2
00002bdc: JUMPI
00002bdd: PUSH2 0x2c25
00002be0: JUMP
00002be1: JUMPDEST
00002be2: PUSH1 0xff
00002be4: NOT
00002be5: DUP4
00002be6: AND
00002be7: DUP7
00002be8: MSTORE
00002be9: DUP2
00002bea: DUP7
00002beb: ADD
00002bec: SWAP4
00002bed: POP
00002bee: PUSH2 0x2c25
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: PUSH2 0x2bfb
00002bf6: DUP6
00002bf7: PUSH2 0x3395
00002bfa: JUMP
00002bfb: JUMPDEST
00002bfc: PUSH1 0x00
00002bfe: JUMPDEST
00002bff: DUP4
00002c00: DUP2
00002c01: LT
00002c02: ISZERO
00002c03: PUSH2 0x2c1d
00002c06: JUMPI
00002c07: DUP2
00002c08: SLOAD
00002c09: DUP2
00002c0a: DUP10
00002c0b: ADD
00002c0c: MSTORE
00002c0d: PUSH1 0x01
00002c0f: DUP3
00002c10: ADD
00002c11: SWAP2
00002c12: POP
00002c13: PUSH1 0x20
00002c15: DUP2
00002c16: ADD
00002c17: SWAP1
00002c18: POP
00002c19: PUSH2 0x2bfe
00002c1c: JUMP
00002c1d: JUMPDEST
00002c1e: DUP4
00002c1f: DUP9
00002c20: ADD
00002c21: SWAP6
00002c22: POP
00002c23: POP
00002c24: POP
00002c25: JUMPDEST
00002c26: POP
00002c27: POP
00002c28: POP
00002c29: SWAP3
00002c2a: SWAP2
00002c2b: POP
00002c2c: POP
00002c2d: JUMP
00002c2e: JUMPDEST
00002c2f: PUSH1 0x00
00002c31: PUSH2 0x2c39
00002c34: DUP3
00002c35: PUSH2 0x33b5
00002c38: JUMP
00002c39: JUMPDEST
00002c3a: PUSH2 0x2c43
00002c3d: DUP2
00002c3e: DUP6
00002c3f: PUSH2 0x33dc
00002c42: JUMP
00002c43: JUMPDEST
00002c44: SWAP4
00002c45: POP
00002c46: PUSH2 0x2c53
00002c49: DUP2
00002c4a: DUP6
00002c4b: PUSH1 0x20
00002c4d: DUP7
00002c4e: ADD
00002c4f: PUSH2 0x3744
00002c52: JUMP
00002c53: JUMPDEST
00002c54: PUSH2 0x2c5c
00002c57: DUP2
00002c58: PUSH2 0x3910
00002c5b: JUMP
00002c5c: JUMPDEST
00002c5d: DUP5
00002c5e: ADD
00002c5f: SWAP2
00002c60: POP
00002c61: POP
00002c62: SWAP3
00002c63: SWAP2
00002c64: POP
00002c65: POP
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH1 0x00
00002c6a: PUSH2 0x2c74
00002c6d: PUSH1 0x05
00002c6f: DUP4
00002c70: PUSH2 0x33dc
00002c73: JUMP
00002c74: JUMPDEST
00002c75: SWAP2
00002c76: POP
00002c77: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00002c98: PUSH1 0x00
00002c9a: DUP4
00002c9b: ADD
00002c9c: MSTORE
00002c9d: PUSH1 0x20
00002c9f: DUP3
00002ca0: ADD
00002ca1: SWAP1
00002ca2: POP
00002ca3: SWAP2
00002ca4: SWAP1
00002ca5: POP
00002ca6: JUMP
00002ca7: JUMPDEST
00002ca8: PUSH1 0x00
00002caa: PUSH2 0x2cb4
00002cad: PUSH1 0x09
00002caf: DUP4
00002cb0: PUSH2 0x33dc
00002cb3: JUMP
00002cb4: JUMPDEST
00002cb5: SWAP2
00002cb6: POP
00002cb7: PUSH32 0x756e646572666c6f770000000000000000000000000000000000000000000000
00002cd8: PUSH1 0x00
00002cda: DUP4
00002cdb: ADD
00002cdc: MSTORE
00002cdd: PUSH1 0x20
00002cdf: DUP3
00002ce0: ADD
00002ce1: SWAP1
00002ce2: POP
00002ce3: SWAP2
00002ce4: SWAP1
00002ce5: POP
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH1 0x00
00002cea: PUSH2 0x2cf4
00002ced: PUSH1 0x04
00002cef: DUP4
00002cf0: PUSH2 0x33dc
00002cf3: JUMP
00002cf4: JUMPDEST
00002cf5: SWAP2
00002cf6: POP
00002cf7: PUSH32 0x7a65726f00000000000000000000000000000000000000000000000000000000
00002d18: PUSH1 0x00
00002d1a: DUP4
00002d1b: ADD
00002d1c: MSTORE
00002d1d: PUSH1 0x20
00002d1f: DUP3
00002d20: ADD
00002d21: SWAP1
00002d22: POP
00002d23: SWAP2
00002d24: SWAP1
00002d25: POP
00002d26: JUMP
00002d27: JUMPDEST
00002d28: PUSH1 0x00
00002d2a: PUSH2 0x2d34
00002d2d: PUSH1 0x0a
00002d2f: DUP4
00002d30: PUSH2 0x33dc
00002d33: JUMP
00002d34: JUMPDEST
00002d35: SWAP2
00002d36: POP
00002d37: PUSH32 0x7065726d697373696f6e00000000000000000000000000000000000000000000
00002d58: PUSH1 0x00
00002d5a: DUP4
00002d5b: ADD
00002d5c: MSTORE
00002d5d: PUSH1 0x20
00002d5f: DUP3
00002d60: ADD
00002d61: SWAP1
00002d62: POP
00002d63: SWAP2
00002d64: SWAP1
00002d65: POP
00002d66: JUMP
00002d67: JUMPDEST
00002d68: PUSH1 0x00
00002d6a: PUSH2 0x2d74
00002d6d: PUSH1 0x07
00002d6f: DUP4
00002d70: PUSH2 0x33dc
00002d73: JUMP
00002d74: JUMPDEST
00002d75: SWAP2
00002d76: POP
00002d77: PUSH32 0x746f6b656e496400000000000000000000000000000000000000000000000000
00002d98: PUSH1 0x00
00002d9a: DUP4
00002d9b: ADD
00002d9c: MSTORE
00002d9d: PUSH1 0x20
00002d9f: DUP3
00002da0: ADD
00002da1: SWAP1
00002da2: POP
00002da3: SWAP2
00002da4: SWAP1
00002da5: POP
00002da6: JUMP
00002da7: JUMPDEST
00002da8: PUSH1 0x00
00002daa: PUSH2 0x2db4
00002dad: PUSH1 0x08
00002daf: DUP4
00002db0: PUSH2 0x33dc
00002db3: JUMP
00002db4: JUMPDEST
00002db5: SWAP2
00002db6: POP
00002db7: PUSH32 0x7265636569766572000000000000000000000000000000000000000000000000
00002dd8: PUSH1 0x00
00002dda: DUP4
00002ddb: ADD
00002ddc: MSTORE
00002ddd: PUSH1 0x20
00002ddf: DUP3
00002de0: ADD
00002de1: SWAP1
00002de2: POP
00002de3: SWAP2
00002de4: SWAP1
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH1 0x00
00002dea: PUSH2 0x2df4
00002ded: PUSH1 0x07
00002def: DUP4
00002df0: PUSH2 0x33dc
00002df3: JUMP
00002df4: JUMPDEST
00002df5: SWAP2
00002df6: POP
00002df7: PUSH32 0x666f726765727900000000000000000000000000000000000000000000000000
00002e18: PUSH1 0x00
00002e1a: DUP4
00002e1b: ADD
00002e1c: MSTORE
00002e1d: PUSH1 0x20
00002e1f: DUP3
00002e20: ADD
00002e21: SWAP1
00002e22: POP
00002e23: SWAP2
00002e24: SWAP1
00002e25: POP
00002e26: JUMP
00002e27: JUMPDEST
00002e28: PUSH1 0x00
00002e2a: PUSH2 0x2e34
00002e2d: PUSH1 0x04
00002e2f: DUP4
00002e30: PUSH2 0x33dc
00002e33: JUMP
00002e34: JUMPDEST
00002e35: SWAP2
00002e36: POP
00002e37: PUSH32 0x636f737400000000000000000000000000000000000000000000000000000000
00002e58: PUSH1 0x00
00002e5a: DUP4
00002e5b: ADD
00002e5c: MSTORE
00002e5d: PUSH1 0x20
00002e5f: DUP3
00002e60: ADD
00002e61: SWAP1
00002e62: POP
00002e63: SWAP2
00002e64: SWAP1
00002e65: POP
00002e66: JUMP
00002e67: JUMPDEST
00002e68: PUSH1 0x00
00002e6a: PUSH2 0x2e74
00002e6d: PUSH1 0x05
00002e6f: DUP4
00002e70: PUSH2 0x33dc
00002e73: JUMP
00002e74: JUMPDEST
00002e75: SWAP2
00002e76: POP
00002e77: PUSH32 0x696e646578000000000000000000000000000000000000000000000000000000
00002e98: PUSH1 0x00
00002e9a: DUP4
00002e9b: ADD
00002e9c: MSTORE
00002e9d: PUSH1 0x20
00002e9f: DUP3
00002ea0: ADD
00002ea1: SWAP1
00002ea2: POP
00002ea3: SWAP2
00002ea4: SWAP1
00002ea5: POP
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: PUSH1 0x00
00002eaa: PUSH2 0x2eb4
00002ead: PUSH1 0x13
00002eaf: DUP4
00002eb0: PUSH2 0x33dc
00002eb3: JUMP
00002eb4: JUMPDEST
00002eb5: SWAP2
00002eb6: POP
00002eb7: PUSH32 0x7769746864726177556e74696c5f657869737400000000000000000000000000
00002ed8: PUSH1 0x00
00002eda: DUP4
00002edb: ADD
00002edc: MSTORE
00002edd: PUSH1 0x20
00002edf: DUP3
00002ee0: ADD
00002ee1: SWAP1
00002ee2: POP
00002ee3: SWAP2
00002ee4: SWAP1
00002ee5: POP
00002ee6: JUMP
00002ee7: JUMPDEST
00002ee8: PUSH1 0x00
00002eea: PUSH2 0x2ef4
00002eed: PUSH1 0x0a
00002eef: DUP4
00002ef0: PUSH2 0x33dc
00002ef3: JUMP
00002ef4: JUMPDEST
00002ef5: SWAP2
00002ef6: POP
00002ef7: PUSH32 0x646966666963756c747900000000000000000000000000000000000000000000
00002f18: PUSH1 0x00
00002f1a: DUP4
00002f1b: ADD
00002f1c: MSTORE
00002f1d: PUSH1 0x20
00002f1f: DUP3
00002f20: ADD
00002f21: SWAP1
00002f22: POP
00002f23: SWAP2
00002f24: SWAP1
00002f25: POP
00002f26: JUMP
00002f27: JUMPDEST
00002f28: PUSH1 0x00
00002f2a: PUSH2 0x2f34
00002f2d: PUSH1 0x09
00002f2f: DUP4
00002f30: PUSH2 0x33dc
00002f33: JUMP
00002f34: JUMPDEST
00002f35: SWAP2
00002f36: POP
00002f37: PUSH32 0x77697468647261776e0000000000000000000000000000000000000000000000
00002f58: PUSH1 0x00
00002f5a: DUP4
00002f5b: ADD
00002f5c: MSTORE
00002f5d: PUSH1 0x20
00002f5f: DUP3
00002f60: ADD
00002f61: SWAP1
00002f62: POP
00002f63: SWAP2
00002f64: SWAP1
00002f65: POP
00002f66: JUMP
00002f67: JUMPDEST
00002f68: PUSH1 0x00
00002f6a: PUSH2 0x2f74
00002f6d: PUSH1 0x0b
00002f6f: DUP4
00002f70: PUSH2 0x33dc
00002f73: JUMP
00002f74: JUMPDEST
00002f75: SWAP2
00002f76: POP
00002f77: PUSH32 0x69735f6d69677261746564000000000000000000000000000000000000000000
00002f98: PUSH1 0x00
00002f9a: DUP4
00002f9b: ADD
00002f9c: MSTORE
00002f9d: PUSH1 0x20
00002f9f: DUP3
00002fa0: ADD
00002fa1: SWAP1
00002fa2: POP
00002fa3: SWAP2
00002fa4: SWAP1
00002fa5: POP
00002fa6: JUMP
00002fa7: JUMPDEST
00002fa8: PUSH1 0x00
00002faa: PUSH2 0x2fb4
00002fad: PUSH1 0x07
00002faf: DUP4
00002fb0: PUSH2 0x33dc
00002fb3: JUMP
00002fb4: JUMPDEST
00002fb5: SWAP2
00002fb6: POP
00002fb7: PUSH32 0x696e76616c696400000000000000000000000000000000000000000000000000
00002fd8: PUSH1 0x00
00002fda: DUP4
00002fdb: ADD
00002fdc: MSTORE
00002fdd: PUSH1 0x20
00002fdf: DUP3
00002fe0: ADD
00002fe1: SWAP1
00002fe2: POP
00002fe3: SWAP2
00002fe4: SWAP1
00002fe5: POP
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: PUSH2 0x2ff0
00002feb: DUP2
00002fec: PUSH2 0x371e
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: DUP3
00002ff2: MSTORE
00002ff3: POP
00002ff4: POP
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: PUSH2 0x3007
00002ffa: PUSH2 0x3002
00002ffd: DUP3
00002ffe: PUSH2 0x371e
00003001: JUMP
00003002: JUMPDEST
00003003: PUSH2 0x384a
00003006: JUMP
00003007: JUMPDEST
00003008: DUP3
00003009: MSTORE
0000300a: POP
0000300b: POP
0000300c: JUMP
0000300d: JUMPDEST
0000300e: PUSH1 0x00
00003010: PUSH2 0x3019
00003013: DUP3
00003014: DUP7
00003015: PUSH2 0x2af9
00003018: JUMP
00003019: JUMPDEST
0000301a: PUSH1 0x14
0000301c: DUP3
0000301d: ADD
0000301e: SWAP2
0000301f: POP
00003020: PUSH2 0x3029
00003023: DUP3
00003024: DUP6
00003025: PUSH2 0x2b2e
00003028: JUMP
00003029: JUMPDEST
0000302a: PUSH1 0x20
0000302c: DUP3
0000302d: ADD
0000302e: SWAP2
0000302f: POP
00003030: PUSH2 0x3039
00003033: DUP3
00003034: DUP5
00003035: PUSH2 0x2ff6
00003038: JUMP
00003039: JUMPDEST
0000303a: PUSH1 0x20
0000303c: DUP3
0000303d: ADD
0000303e: SWAP2
0000303f: POP
00003040: DUP2
00003041: SWAP1
00003042: POP
00003043: SWAP5
00003044: SWAP4
00003045: POP
00003046: POP
00003047: POP
00003048: POP
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH1 0x00
0000304d: PUSH2 0x3056
00003050: DUP3
00003051: DUP6
00003052: PUSH2 0x2b2e
00003055: JUMP
00003056: JUMPDEST
00003057: PUSH1 0x20
00003059: DUP3
0000305a: ADD
0000305b: SWAP2
0000305c: POP
0000305d: PUSH2 0x3066
00003060: DUP3
00003061: DUP5
00003062: PUSH2 0x2ff6
00003065: JUMP
00003066: JUMPDEST
00003067: PUSH1 0x20
00003069: DUP3
0000306a: ADD
0000306b: SWAP2
0000306c: POP
0000306d: DUP2
0000306e: SWAP1
0000306f: POP
00003070: SWAP4
00003071: SWAP3
00003072: POP
00003073: POP
00003074: POP
00003075: JUMP
00003076: JUMPDEST
00003077: PUSH1 0x00
00003079: PUSH2 0x3082
0000307c: DUP3
0000307d: DUP6
0000307e: PUSH2 0x2baf
00003081: JUMP
00003082: JUMPDEST
00003083: SWAP2
00003084: POP
00003085: PUSH2 0x308e
00003088: DUP3
00003089: DUP5
0000308a: PUSH2 0x2b7e
0000308d: JUMP
0000308e: JUMPDEST
0000308f: SWAP2
00003090: POP
00003091: DUP2
00003092: SWAP1
00003093: POP
00003094: SWAP4
00003095: SWAP3
00003096: POP
00003097: POP
00003098: POP
00003099: JUMP
0000309a: JUMPDEST
0000309b: PUSH1 0x00
0000309d: PUSH1 0x20
0000309f: DUP3
000030a0: ADD
000030a1: SWAP1
000030a2: POP
000030a3: PUSH2 0x30af
000030a6: PUSH1 0x00
000030a8: DUP4
000030a9: ADD
000030aa: DUP5
000030ab: PUSH2 0x2aea
000030ae: JUMP
000030af: JUMPDEST
000030b0: SWAP3
000030b1: SWAP2
000030b2: POP
000030b3: POP
000030b4: JUMP
000030b5: JUMPDEST
000030b6: PUSH1 0x00
000030b8: PUSH1 0x80
000030ba: DUP3
000030bb: ADD
000030bc: SWAP1
000030bd: POP
000030be: PUSH2 0x30ca
000030c1: PUSH1 0x00
000030c3: DUP4
000030c4: ADD
000030c5: DUP8
000030c6: PUSH2 0x2aea
000030c9: JUMP
000030ca: JUMPDEST
000030cb: PUSH2 0x30d7
000030ce: PUSH1 0x20
000030d0: DUP4
000030d1: ADD
000030d2: DUP7
000030d3: PUSH2 0x2aea
000030d6: JUMP
000030d7: JUMPDEST
000030d8: PUSH2 0x30e4
000030db: PUSH1 0x40
000030dd: DUP4
000030de: ADD
000030df: DUP6
000030e0: PUSH2 0x2fe7
000030e3: JUMP
000030e4: JUMPDEST
000030e5: DUP2
000030e6: DUP2
000030e7: SUB
000030e8: PUSH1 0x60
000030ea: DUP4
000030eb: ADD
000030ec: MSTORE
000030ed: PUSH2 0x30f6
000030f0: DUP2
000030f1: DUP5
000030f2: PUSH2 0x2b45
000030f5: JUMP
000030f6: JUMPDEST
000030f7: SWAP1
000030f8: POP
000030f9: SWAP6
000030fa: SWAP5
000030fb: POP
000030fc: POP
000030fd: POP
000030fe: POP
000030ff: POP
00003100: JUMP
00003101: JUMPDEST
00003102: PUSH1 0x00
00003104: PUSH1 0x20
00003106: DUP3
00003107: ADD
00003108: SWAP1
00003109: POP
0000310a: PUSH2 0x3116
0000310d: PUSH1 0x00
0000310f: DUP4
00003110: ADD
00003111: DUP5
00003112: PUSH2 0x2b10
00003115: JUMP
00003116: JUMPDEST
00003117: SWAP3
00003118: SWAP2
00003119: POP
0000311a: POP
0000311b: JUMP
0000311c: JUMPDEST
0000311d: PUSH1 0x00
0000311f: PUSH1 0x20
00003121: DUP3
00003122: ADD
00003123: SWAP1
00003124: POP
00003125: PUSH2 0x3131
00003128: PUSH1 0x00
0000312a: DUP4
0000312b: ADD
0000312c: DUP5
0000312d: PUSH2 0x2b1f
00003130: JUMP
00003131: JUMPDEST
00003132: SWAP3
00003133: SWAP2
00003134: POP
00003135: POP
00003136: JUMP
00003137: JUMPDEST
00003138: PUSH1 0x00
0000313a: PUSH1 0x20
0000313c: DUP3
0000313d: ADD
0000313e: SWAP1
0000313f: POP
00003140: DUP2
00003141: DUP2
00003142: SUB
00003143: PUSH1 0x00
00003145: DUP4
00003146: ADD
00003147: MSTORE
00003148: PUSH2 0x3151
0000314b: DUP2
0000314c: DUP5
0000314d: PUSH2 0x2c2e
00003150: JUMP
00003151: JUMPDEST
00003152: SWAP1
00003153: POP
00003154: SWAP3
00003155: SWAP2
00003156: POP
00003157: POP
00003158: JUMP
00003159: JUMPDEST
0000315a: PUSH1 0x00
0000315c: PUSH1 0x20
0000315e: DUP3
0000315f: ADD
00003160: SWAP1
00003161: POP
00003162: DUP2
00003163: DUP2
00003164: SUB
00003165: PUSH1 0x00
00003167: DUP4
00003168: ADD
00003169: MSTORE
0000316a: PUSH2 0x3172
0000316d: DUP2
0000316e: PUSH2 0x2c67
00003171: JUMP
00003172: JUMPDEST
00003173: SWAP1
00003174: POP
00003175: SWAP2
00003176: SWAP1
00003177: POP
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH1 0x00
0000317c: PUSH1 0x20
0000317e: DUP3
0000317f: ADD
00003180: SWAP1
00003181: POP
00003182: DUP2
00003183: DUP2
00003184: SUB
00003185: PUSH1 0x00
00003187: DUP4
00003188: ADD
00003189: MSTORE
0000318a: PUSH2 0x3192
0000318d: DUP2
0000318e: PUSH2 0x2ca7
00003191: JUMP
00003192: JUMPDEST
00003193: SWAP1
00003194: POP
00003195: SWAP2
00003196: SWAP1
00003197: POP
00003198: JUMP
00003199: JUMPDEST
0000319a: PUSH1 0x00
0000319c: PUSH1 0x20
0000319e: DUP3
0000319f: ADD
000031a0: SWAP1
000031a1: POP
000031a2: DUP2
000031a3: DUP2
000031a4: SUB
000031a5: PUSH1 0x00
000031a7: DUP4
000031a8: ADD
000031a9: MSTORE
000031aa: PUSH2 0x31b2
000031ad: DUP2
000031ae: PUSH2 0x2ce7
000031b1: JUMP
000031b2: JUMPDEST
000031b3: SWAP1
000031b4: POP
000031b5: SWAP2
000031b6: SWAP1
000031b7: POP
000031b8: JUMP
000031b9: JUMPDEST
000031ba: PUSH1 0x00
000031bc: PUSH1 0x20
000031be: DUP3
000031bf: ADD
000031c0: SWAP1
000031c1: POP
000031c2: DUP2
000031c3: DUP2
000031c4: SUB
000031c5: PUSH1 0x00
000031c7: DUP4
000031c8: ADD
000031c9: MSTORE
000031ca: PUSH2 0x31d2
000031cd: DUP2
000031ce: PUSH2 0x2d27
000031d1: JUMP
000031d2: JUMPDEST
000031d3: SWAP1
000031d4: POP
000031d5: SWAP2
000031d6: SWAP1
000031d7: POP
000031d8: JUMP
000031d9: JUMPDEST
000031da: PUSH1 0x00
000031dc: PUSH1 0x20
000031de: DUP3
000031df: ADD
000031e0: SWAP1
000031e1: POP
000031e2: DUP2
000031e3: DUP2
000031e4: SUB
000031e5: PUSH1 0x00
000031e7: DUP4
000031e8: ADD
000031e9: MSTORE
000031ea: PUSH2 0x31f2
000031ed: DUP2
000031ee: PUSH2 0x2d67
000031f1: JUMP
000031f2: JUMPDEST
000031f3: SWAP1
000031f4: POP
000031f5: SWAP2
000031f6: SWAP1
000031f7: POP
000031f8: JUMP
000031f9: JUMPDEST
000031fa: PUSH1 0x00
000031fc: PUSH1 0x20
000031fe: DUP3
000031ff: ADD
00003200: SWAP1
00003201: POP
00003202: DUP2
00003203: DUP2
00003204: SUB
00003205: PUSH1 0x00
00003207: DUP4
00003208: ADD
00003209: MSTORE
0000320a: PUSH2 0x3212
0000320d: DUP2
0000320e: PUSH2 0x2da7
00003211: JUMP
00003212: JUMPDEST
00003213: SWAP1
00003214: POP
00003215: SWAP2
00003216: SWAP1
00003217: POP
00003218: JUMP
00003219: JUMPDEST
0000321a: PUSH1 0x00
0000321c: PUSH1 0x20
0000321e: DUP3
0000321f: ADD
00003220: SWAP1
00003221: POP
00003222: DUP2
00003223: DUP2
00003224: SUB
00003225: PUSH1 0x00
00003227: DUP4
00003228: ADD
00003229: MSTORE
0000322a: PUSH2 0x3232
0000322d: DUP2
0000322e: PUSH2 0x2de7
00003231: JUMP
00003232: JUMPDEST
00003233: SWAP1
00003234: POP
00003235: SWAP2
00003236: SWAP1
00003237: POP
00003238: JUMP
00003239: JUMPDEST
0000323a: PUSH1 0x00
0000323c: PUSH1 0x20
0000323e: DUP3
0000323f: ADD
00003240: SWAP1
00003241: POP
00003242: DUP2
00003243: DUP2
00003244: SUB
00003245: PUSH1 0x00
00003247: DUP4
00003248: ADD
00003249: MSTORE
0000324a: PUSH2 0x3252
0000324d: DUP2
0000324e: PUSH2 0x2e27
00003251: JUMP
00003252: JUMPDEST
00003253: SWAP1
00003254: POP
00003255: SWAP2
00003256: SWAP1
00003257: POP
00003258: JUMP
00003259: JUMPDEST
0000325a: PUSH1 0x00
0000325c: PUSH1 0x20
0000325e: DUP3
0000325f: ADD
00003260: SWAP1
00003261: POP
00003262: DUP2
00003263: DUP2
00003264: SUB
00003265: PUSH1 0x00
00003267: DUP4
00003268: ADD
00003269: MSTORE
0000326a: PUSH2 0x3272
0000326d: DUP2
0000326e: PUSH2 0x2e67
00003271: JUMP
00003272: JUMPDEST
00003273: SWAP1
00003274: POP
00003275: SWAP2
00003276: SWAP1
00003277: POP
00003278: JUMP
00003279: JUMPDEST
0000327a: PUSH1 0x00
0000327c: PUSH1 0x20
0000327e: DUP3
0000327f: ADD
00003280: SWAP1
00003281: POP
00003282: DUP2
00003283: DUP2
00003284: SUB
00003285: PUSH1 0x00
00003287: DUP4
00003288: ADD
00003289: MSTORE
0000328a: PUSH2 0x3292
0000328d: DUP2
0000328e: PUSH2 0x2ea7
00003291: JUMP
00003292: JUMPDEST
00003293: SWAP1
00003294: POP
00003295: SWAP2
00003296: SWAP1
00003297: POP
00003298: JUMP
00003299: JUMPDEST
0000329a: PUSH1 0x00
0000329c: PUSH1 0x20
0000329e: DUP3
0000329f: ADD
000032a0: SWAP1
000032a1: POP
000032a2: DUP2
000032a3: DUP2
000032a4: SUB
000032a5: PUSH1 0x00
000032a7: DUP4
000032a8: ADD
000032a9: MSTORE
000032aa: PUSH2 0x32b2
000032ad: DUP2
000032ae: PUSH2 0x2ee7
000032b1: JUMP
000032b2: JUMPDEST
000032b3: SWAP1
000032b4: POP
000032b5: SWAP2
000032b6: SWAP1
000032b7: POP
000032b8: JUMP
000032b9: JUMPDEST
000032ba: PUSH1 0x00
000032bc: PUSH1 0x20
000032be: DUP3
000032bf: ADD
000032c0: SWAP1
000032c1: POP
000032c2: DUP2
000032c3: DUP2
000032c4: SUB
000032c5: PUSH1 0x00
000032c7: DUP4
000032c8: ADD
000032c9: MSTORE
000032ca: PUSH2 0x32d2
000032cd: DUP2
000032ce: PUSH2 0x2f27
000032d1: JUMP
000032d2: JUMPDEST
000032d3: SWAP1
000032d4: POP
000032d5: SWAP2
000032d6: SWAP1
000032d7: POP
000032d8: JUMP
000032d9: JUMPDEST
000032da: PUSH1 0x00
000032dc: PUSH1 0x20
000032de: DUP3
000032df: ADD
000032e0: SWAP1
000032e1: POP
000032e2: DUP2
000032e3: DUP2
000032e4: SUB
000032e5: PUSH1 0x00
000032e7: DUP4
000032e8: ADD
000032e9: MSTORE
000032ea: PUSH2 0x32f2
000032ed: DUP2
000032ee: PUSH2 0x2f67
000032f1: JUMP
000032f2: JUMPDEST
000032f3: SWAP1
000032f4: POP
000032f5: SWAP2
000032f6: SWAP1
000032f7: POP
000032f8: JUMP
000032f9: JUMPDEST
000032fa: PUSH1 0x00
000032fc: PUSH1 0x20
000032fe: DUP3
000032ff: ADD
00003300: SWAP1
00003301: POP
00003302: DUP2
00003303: DUP2
00003304: SUB
00003305: PUSH1 0x00
00003307: DUP4
00003308: ADD
00003309: MSTORE
0000330a: PUSH2 0x3312
0000330d: DUP2
0000330e: PUSH2 0x2fa7
00003311: JUMP
00003312: JUMPDEST
00003313: SWAP1
00003314: POP
00003315: SWAP2
00003316: SWAP1
00003317: POP
00003318: JUMP
00003319: JUMPDEST
0000331a: PUSH1 0x00
0000331c: PUSH1 0x20
0000331e: DUP3
0000331f: ADD
00003320: SWAP1
00003321: POP
00003322: PUSH2 0x332e
00003325: PUSH1 0x00
00003327: DUP4
00003328: ADD
00003329: DUP5
0000332a: PUSH2 0x2fe7
0000332d: JUMP
0000332e: JUMPDEST
0000332f: SWAP3
00003330: SWAP2
00003331: POP
00003332: POP
00003333: JUMP
00003334: JUMPDEST
00003335: PUSH1 0x00
00003337: PUSH1 0x40
00003339: MLOAD
0000333a: SWAP1
0000333b: POP
0000333c: DUP2
0000333d: DUP2
0000333e: ADD
0000333f: DUP2
00003340: DUP2
00003341: LT
00003342: PUSH8 0xffffffffffffffff
0000334b: DUP3
0000334c: GT
0000334d: OR
0000334e: ISZERO
0000334f: PUSH2 0x335b
00003352: JUMPI
00003353: PUSH2 0x335a
00003356: PUSH2 0x38e1
00003359: JUMP
0000335a: JUMPDEST
0000335b: JUMPDEST
0000335c: DUP1
0000335d: PUSH1 0x40
0000335f: MSTORE
00003360: POP
00003361: SWAP2
00003362: SWAP1
00003363: POP
00003364: JUMP
00003365: JUMPDEST
00003366: PUSH1 0x00
00003368: PUSH8 0xffffffffffffffff
00003371: DUP3
00003372: GT
00003373: ISZERO
00003374: PUSH2 0x3380
00003377: JUMPI
00003378: PUSH2 0x337f
0000337b: PUSH2 0x38e1
0000337e: JUMP
0000337f: JUMPDEST
00003380: JUMPDEST
00003381: PUSH1 0x1f
00003383: NOT
00003384: PUSH1 0x1f
00003386: DUP4
00003387: ADD
00003388: AND
00003389: SWAP1
0000338a: POP
0000338b: PUSH1 0x20
0000338d: DUP2
0000338e: ADD
0000338f: SWAP1
00003390: POP
00003391: SWAP2
00003392: SWAP1
00003393: POP
00003394: JUMP
00003395: JUMPDEST
00003396: PUSH1 0x00
00003398: DUP2
00003399: SWAP1
0000339a: POP
0000339b: DUP2
0000339c: PUSH1 0x00
0000339e: MSTORE
0000339f: PUSH1 0x20
000033a1: PUSH1 0x00
000033a3: KECCAK256
000033a4: SWAP1
000033a5: POP
000033a6: SWAP2
000033a7: SWAP1
000033a8: POP
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x00
000033ad: DUP2
000033ae: MLOAD
000033af: SWAP1
000033b0: POP
000033b1: SWAP2
000033b2: SWAP1
000033b3: POP
000033b4: JUMP
000033b5: JUMPDEST
000033b6: PUSH1 0x00
000033b8: DUP2
000033b9: MLOAD
000033ba: SWAP1
000033bb: POP
000033bc: SWAP2
000033bd: SWAP1
000033be: POP
000033bf: JUMP
000033c0: JUMPDEST
000033c1: PUSH1 0x00
000033c3: DUP3
000033c4: DUP3
000033c5: MSTORE
000033c6: PUSH1 0x20
000033c8: DUP3
000033c9: ADD
000033ca: SWAP1
000033cb: POP
000033cc: SWAP3
000033cd: SWAP2
000033ce: POP
000033cf: POP
000033d0: JUMP
000033d1: JUMPDEST
000033d2: PUSH1 0x00
000033d4: DUP2
000033d5: SWAP1
000033d6: POP
000033d7: SWAP3
000033d8: SWAP2
000033d9: POP
000033da: POP
000033db: JUMP
000033dc: JUMPDEST
000033dd: PUSH1 0x00
000033df: DUP3
000033e0: DUP3
000033e1: MSTORE
000033e2: PUSH1 0x20
000033e4: DUP3
000033e5: ADD
000033e6: SWAP1
000033e7: POP
000033e8: SWAP3
000033e9: SWAP2
000033ea: POP
000033eb: POP
000033ec: JUMP
000033ed: JUMPDEST
000033ee: PUSH1 0x00
000033f0: PUSH2 0x33f8
000033f3: DUP3
000033f4: PUSH2 0x371e
000033f7: JUMP
000033f8: JUMPDEST
000033f9: SWAP2
000033fa: POP
000033fb: PUSH2 0x3403
000033fe: DUP4
000033ff: PUSH2 0x371e
00003402: JUMP
00003403: JUMPDEST
00003404: SWAP3
00003405: POP
00003406: DUP3
00003407: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003428: SUB
00003429: DUP3
0000342a: GT
0000342b: ISZERO
0000342c: PUSH2 0x3438
0000342f: JUMPI
00003430: PUSH2 0x3437
00003433: PUSH2 0x3854
00003436: JUMP
00003437: JUMPDEST
00003438: JUMPDEST
00003439: DUP3
0000343a: DUP3
0000343b: ADD
0000343c: SWAP1
0000343d: POP
0000343e: SWAP3
0000343f: SWAP2
00003440: POP
00003441: POP
00003442: JUMP
00003443: JUMPDEST
00003444: PUSH1 0x00
00003446: PUSH2 0x344e
00003449: DUP3
0000344a: PUSH2 0x3728
0000344d: JUMP
0000344e: JUMPDEST
0000344f: SWAP2
00003450: POP
00003451: PUSH2 0x3459
00003454: DUP4
00003455: PUSH2 0x3728
00003458: JUMP
00003459: JUMPDEST
0000345a: SWAP3
0000345b: POP
0000345c: DUP3
0000345d: PUSH1 0xff
0000345f: SUB
00003460: DUP3
00003461: GT
00003462: ISZERO
00003463: PUSH2 0x346f
00003466: JUMPI
00003467: PUSH2 0x346e
0000346a: PUSH2 0x3854
0000346d: JUMP
0000346e: JUMPDEST
0000346f: JUMPDEST
00003470: DUP3
00003471: DUP3
00003472: ADD
00003473: SWAP1
00003474: POP
00003475: SWAP3
00003476: SWAP2
00003477: POP
00003478: POP
00003479: JUMP
0000347a: JUMPDEST
0000347b: PUSH1 0x00
0000347d: PUSH2 0x3485
00003480: DUP3
00003481: PUSH2 0x371e
00003484: JUMP
00003485: JUMPDEST
00003486: SWAP2
00003487: POP
00003488: PUSH2 0x3490
0000348b: DUP4
0000348c: PUSH2 0x371e
0000348f: JUMP
00003490: JUMPDEST
00003491: SWAP3
00003492: POP
00003493: DUP3
00003494: PUSH2 0x34a0
00003497: JUMPI
00003498: PUSH2 0x349f
0000349b: PUSH2 0x3883
0000349e: JUMP
0000349f: JUMPDEST
000034a0: JUMPDEST
000034a1: DUP3
000034a2: DUP3
000034a3: DIV
000034a4: SWAP1
000034a5: POP
000034a6: SWAP3
000034a7: SWAP2
000034a8: POP
000034a9: POP
000034aa: JUMP
000034ab: JUMPDEST
000034ac: PUSH1 0x00
000034ae: DUP1
000034af: DUP3
000034b0: SWAP2
000034b1: POP
000034b2: DUP4
000034b3: SWAP1
000034b4: POP
000034b5: JUMPDEST
000034b6: PUSH1 0x01
000034b8: DUP6
000034b9: GT
000034ba: ISZERO
000034bb: PUSH2 0x34f5
000034be: JUMPI
000034bf: DUP1
000034c0: DUP7
000034c1: DIV
000034c2: DUP2
000034c3: GT
000034c4: ISZERO
000034c5: PUSH2 0x34d1
000034c8: JUMPI
000034c9: PUSH2 0x34d0
000034cc: PUSH2 0x3854
000034cf: JUMP
000034d0: JUMPDEST
000034d1: JUMPDEST
000034d2: PUSH1 0x01
000034d4: DUP6
000034d5: AND
000034d6: ISZERO
000034d7: PUSH2 0x34e0
000034da: JUMPI
000034db: DUP1
000034dc: DUP3
000034dd: MUL
000034de: SWAP2
000034df: POP
000034e0: JUMPDEST
000034e1: DUP1
000034e2: DUP2
000034e3: MUL
000034e4: SWAP1
000034e5: POP
000034e6: PUSH2 0x34ee
000034e9: DUP6
000034ea: PUSH2 0x392e
000034ed: JUMP
000034ee: JUMPDEST
000034ef: SWAP5
000034f0: POP
000034f1: PUSH2 0x34b5
000034f4: JUMP
000034f5: JUMPDEST
000034f6: SWAP5
000034f7: POP
000034f8: SWAP5
000034f9: SWAP3
000034fa: POP
000034fb: POP
000034fc: POP
000034fd: JUMP
000034fe: JUMPDEST
000034ff: PUSH1 0x00
00003501: PUSH2 0x3509
00003504: DUP3
00003505: PUSH2 0x371e
00003508: JUMP
00003509: JUMPDEST
0000350a: SWAP2
0000350b: POP
0000350c: PUSH2 0x3514
0000350f: DUP4
00003510: PUSH2 0x371e
00003513: JUMP
00003514: JUMPDEST
00003515: SWAP3
00003516: POP
00003517: PUSH2 0x3541
0000351a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000353b: DUP5
0000353c: DUP5
0000353d: PUSH2 0x3549
00003540: JUMP
00003541: JUMPDEST
00003542: SWAP1
00003543: POP
00003544: SWAP3
00003545: SWAP2
00003546: POP
00003547: POP
00003548: JUMP
00003549: JUMPDEST
0000354a: PUSH1 0x00
0000354c: DUP3
0000354d: PUSH2 0x3559
00003550: JUMPI
00003551: PUSH1 0x01
00003553: SWAP1
00003554: POP
00003555: PUSH2 0x3615
00003558: JUMP
00003559: JUMPDEST
0000355a: DUP2
0000355b: PUSH2 0x3567
0000355e: JUMPI
0000355f: PUSH1 0x00
00003561: SWAP1
00003562: POP
00003563: PUSH2 0x3615
00003566: JUMP
00003567: JUMPDEST
00003568: DUP2
00003569: PUSH1 0x01
0000356b: DUP2
0000356c: EQ
0000356d: PUSH2 0x357d
00003570: JUMPI
00003571: PUSH1 0x02
00003573: DUP2
00003574: EQ
00003575: PUSH2 0x3587
00003578: JUMPI
00003579: PUSH2 0x35b6
0000357c: JUMP
0000357d: JUMPDEST
0000357e: PUSH1 0x01
00003580: SWAP2
00003581: POP
00003582: POP
00003583: PUSH2 0x3615
00003586: JUMP
00003587: JUMPDEST
00003588: PUSH1 0xff
0000358a: DUP5
0000358b: GT
0000358c: ISZERO
0000358d: PUSH2 0x3599
00003590: JUMPI
00003591: PUSH2 0x3598
00003594: PUSH2 0x3854
00003597: JUMP
00003598: JUMPDEST
00003599: JUMPDEST
0000359a: DUP4
0000359b: PUSH1 0x02
0000359d: EXP
0000359e: SWAP2
0000359f: POP
000035a0: DUP5
000035a1: DUP3
000035a2: GT
000035a3: ISZERO
000035a4: PUSH2 0x35b0
000035a7: JUMPI
000035a8: PUSH2 0x35af
000035ab: PUSH2 0x3854
000035ae: JUMP
000035af: JUMPDEST
000035b0: JUMPDEST
000035b1: POP
000035b2: PUSH2 0x3615
000035b5: JUMP
000035b6: JUMPDEST
000035b7: POP
000035b8: PUSH1 0x20
000035ba: DUP4
000035bb: LT
000035bc: PUSH2 0x0133
000035bf: DUP4
000035c0: LT
000035c1: AND
000035c2: PUSH1 0x4e
000035c4: DUP5
000035c5: LT
000035c6: PUSH1 0x0b
000035c8: DUP5
000035c9: LT
000035ca: AND
000035cb: OR
000035cc: ISZERO
000035cd: PUSH2 0x35eb
000035d0: JUMPI
000035d1: DUP3
000035d2: DUP3
000035d3: EXP
000035d4: SWAP1
000035d5: POP
000035d6: DUP4
000035d7: DUP2
000035d8: GT
000035d9: ISZERO
000035da: PUSH2 0x35e6
000035dd: JUMPI
000035de: PUSH2 0x35e5
000035e1: PUSH2 0x3854
000035e4: JUMP
000035e5: JUMPDEST
000035e6: JUMPDEST
000035e7: PUSH2 0x3615
000035ea: JUMP
000035eb: JUMPDEST
000035ec: PUSH2 0x35f8
000035ef: DUP5
000035f0: DUP5
000035f1: DUP5
000035f2: PUSH1 0x01
000035f4: PUSH2 0x34ab
000035f7: JUMP
000035f8: JUMPDEST
000035f9: SWAP3
000035fa: POP
000035fb: SWAP1
000035fc: POP
000035fd: DUP2
000035fe: DUP5
000035ff: DIV
00003600: DUP2
00003601: GT
00003602: ISZERO
00003603: PUSH2 0x360f
00003606: JUMPI
00003607: PUSH2 0x360e
0000360a: PUSH2 0x3854
0000360d: JUMP
0000360e: JUMPDEST
0000360f: JUMPDEST
00003610: DUP2
00003611: DUP2
00003612: MUL
00003613: SWAP1
00003614: POP
00003615: JUMPDEST
00003616: SWAP4
00003617: SWAP3
00003618: POP
00003619: POP
0000361a: POP
0000361b: JUMP
0000361c: JUMPDEST
0000361d: PUSH1 0x00
0000361f: PUSH2 0x3627
00003622: DUP3
00003623: PUSH2 0x371e
00003626: JUMP
00003627: JUMPDEST
00003628: SWAP2
00003629: POP
0000362a: PUSH2 0x3632
0000362d: DUP4
0000362e: PUSH2 0x371e
00003631: JUMP
00003632: JUMPDEST
00003633: SWAP3
00003634: POP
00003635: DUP2
00003636: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003657: DIV
00003658: DUP4
00003659: GT
0000365a: DUP3
0000365b: ISZERO
0000365c: ISZERO
0000365d: AND
0000365e: ISZERO
0000365f: PUSH2 0x366b
00003662: JUMPI
00003663: PUSH2 0x366a
00003666: PUSH2 0x3854
00003669: JUMP
0000366a: JUMPDEST
0000366b: JUMPDEST
0000366c: DUP3
0000366d: DUP3
0000366e: MUL
0000366f: SWAP1
00003670: POP
00003671: SWAP3
00003672: SWAP2
00003673: POP
00003674: POP
00003675: JUMP
00003676: JUMPDEST
00003677: PUSH1 0x00
00003679: PUSH2 0x3681
0000367c: DUP3
0000367d: PUSH2 0x371e
00003680: JUMP
00003681: JUMPDEST
00003682: SWAP2
00003683: POP
00003684: PUSH2 0x368c
00003687: DUP4
00003688: PUSH2 0x371e
0000368b: JUMP
0000368c: JUMPDEST
0000368d: SWAP3
0000368e: POP
0000368f: DUP3
00003690: DUP3
00003691: LT
00003692: ISZERO
00003693: PUSH2 0x369f
00003696: JUMPI
00003697: PUSH2 0x369e
0000369a: PUSH2 0x3854
0000369d: JUMP
0000369e: JUMPDEST
0000369f: JUMPDEST
000036a0: DUP3
000036a1: DUP3
000036a2: SUB
000036a3: SWAP1
000036a4: POP
000036a5: SWAP3
000036a6: SWAP2
000036a7: POP
000036a8: POP
000036a9: JUMP
000036aa: JUMPDEST
000036ab: PUSH1 0x00
000036ad: PUSH2 0x36b5
000036b0: DUP3
000036b1: PUSH2 0x36fe
000036b4: JUMP
000036b5: JUMPDEST
000036b6: SWAP1
000036b7: POP
000036b8: SWAP2
000036b9: SWAP1
000036ba: POP
000036bb: JUMP
000036bc: JUMPDEST
000036bd: PUSH1 0x00
000036bf: DUP2
000036c0: ISZERO
000036c1: ISZERO
000036c2: SWAP1
000036c3: POP
000036c4: SWAP2
000036c5: SWAP1
000036c6: POP
000036c7: JUMP
000036c8: JUMPDEST
000036c9: PUSH1 0x00
000036cb: DUP2
000036cc: SWAP1
000036cd: POP
000036ce: SWAP2
000036cf: SWAP1
000036d0: POP
000036d1: JUMP
000036d2: JUMPDEST
000036d3: PUSH1 0x00
000036d5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000036f6: DUP3
000036f7: AND
000036f8: SWAP1
000036f9: POP
000036fa: SWAP2
000036fb: SWAP1
000036fc: POP
000036fd: JUMP
000036fe: JUMPDEST
000036ff: PUSH1 0x00
00003701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003716: DUP3
00003717: AND
00003718: SWAP1
00003719: POP
0000371a: SWAP2
0000371b: SWAP1
0000371c: POP
0000371d: JUMP
0000371e: JUMPDEST
0000371f: PUSH1 0x00
00003721: DUP2
00003722: SWAP1
00003723: POP
00003724: SWAP2
00003725: SWAP1
00003726: POP
00003727: JUMP
00003728: JUMPDEST
00003729: PUSH1 0x00
0000372b: PUSH1 0xff
0000372d: DUP3
0000372e: AND
0000372f: SWAP1
00003730: POP
00003731: SWAP2
00003732: SWAP1
00003733: POP
00003734: JUMP
00003735: JUMPDEST
00003736: DUP3
00003737: DUP2
00003738: DUP4
00003739: CALLDATACOPY
0000373a: PUSH1 0x00
0000373c: DUP4
0000373d: DUP4
0000373e: ADD
0000373f: MSTORE
00003740: POP
00003741: POP
00003742: POP
00003743: JUMP
00003744: JUMPDEST
00003745: PUSH1 0x00
00003747: JUMPDEST
00003748: DUP4
00003749: DUP2
0000374a: LT
0000374b: ISZERO
0000374c: PUSH2 0x3762
0000374f: JUMPI
00003750: DUP1
00003751: DUP3
00003752: ADD
00003753: MLOAD
00003754: DUP2
00003755: DUP5
00003756: ADD
00003757: MSTORE
00003758: PUSH1 0x20
0000375a: DUP2
0000375b: ADD
0000375c: SWAP1
0000375d: POP
0000375e: PUSH2 0x3747
00003761: JUMP
00003762: JUMPDEST
00003763: DUP4
00003764: DUP2
00003765: GT
00003766: ISZERO
00003767: PUSH2 0x3771
0000376a: JUMPI
0000376b: PUSH1 0x00
0000376d: DUP5
0000376e: DUP5
0000376f: ADD
00003770: MSTORE
00003771: JUMPDEST
00003772: POP
00003773: POP
00003774: POP
00003775: POP
00003776: JUMP
00003777: JUMPDEST
00003778: PUSH1 0x00
0000377a: PUSH2 0x3782
0000377d: DUP3
0000377e: PUSH2 0x371e
00003781: JUMP
00003782: JUMPDEST
00003783: SWAP2
00003784: POP
00003785: PUSH1 0x00
00003787: DUP3
00003788: EQ
00003789: ISZERO
0000378a: PUSH2 0x3796
0000378d: JUMPI
0000378e: PUSH2 0x3795
00003791: PUSH2 0x3854
00003794: JUMP
00003795: JUMPDEST
00003796: JUMPDEST
00003797: PUSH1 0x01
00003799: DUP3
0000379a: SUB
0000379b: SWAP1
0000379c: POP
0000379d: SWAP2
0000379e: SWAP1
0000379f: POP
000037a0: JUMP
000037a1: JUMPDEST
000037a2: PUSH1 0x00
000037a4: PUSH1 0x02
000037a6: DUP3
000037a7: DIV
000037a8: SWAP1
000037a9: POP
000037aa: PUSH1 0x01
000037ac: DUP3
000037ad: AND
000037ae: DUP1
000037af: PUSH2 0x37b9
000037b2: JUMPI
000037b3: PUSH1 0x7f
000037b5: DUP3
000037b6: AND
000037b7: SWAP2
000037b8: POP
000037b9: JUMPDEST
000037ba: PUSH1 0x20
000037bc: DUP3
000037bd: LT
000037be: DUP2
000037bf: EQ
000037c0: ISZERO
000037c1: PUSH2 0x37cd
000037c4: JUMPI
000037c5: PUSH2 0x37cc
000037c8: PUSH2 0x38b2
000037cb: JUMP
000037cc: JUMPDEST
000037cd: JUMPDEST
000037ce: POP
000037cf: SWAP2
000037d0: SWAP1
000037d1: POP
000037d2: JUMP
000037d3: JUMPDEST
000037d4: PUSH1 0x00
000037d6: PUSH2 0x37de
000037d9: DUP3
000037da: PUSH2 0x371e
000037dd: JUMP
000037de: JUMPDEST
000037df: SWAP2
000037e0: POP
000037e1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003802: DUP3
00003803: EQ
00003804: ISZERO
00003805: PUSH2 0x3811
00003808: JUMPI
00003809: PUSH2 0x3810
0000380c: PUSH2 0x3854
0000380f: JUMP
00003810: JUMPDEST
00003811: JUMPDEST
00003812: PUSH1 0x01
00003814: DUP3
00003815: ADD
00003816: SWAP1
00003817: POP
00003818: SWAP2
00003819: SWAP1
0000381a: POP
0000381b: JUMP
0000381c: JUMPDEST
0000381d: PUSH1 0x00
0000381f: PUSH2 0x3827
00003822: DUP3
00003823: PUSH2 0x3838
00003826: JUMP
00003827: JUMPDEST
00003828: SWAP1
00003829: POP
0000382a: SWAP2
0000382b: SWAP1
0000382c: POP
0000382d: JUMP
0000382e: JUMPDEST
0000382f: PUSH1 0x00
00003831: DUP2
00003832: SWAP1
00003833: POP
00003834: SWAP2
00003835: SWAP1
00003836: POP
00003837: JUMP
00003838: JUMPDEST
00003839: PUSH1 0x00
0000383b: PUSH2 0x3843
0000383e: DUP3
0000383f: PUSH2 0x3921
00003842: JUMP
00003843: JUMPDEST
00003844: SWAP1
00003845: POP
00003846: SWAP2
00003847: SWAP1
00003848: POP
00003849: JUMP
0000384a: JUMPDEST
0000384b: PUSH1 0x00
0000384d: DUP2
0000384e: SWAP1
0000384f: POP
00003850: SWAP2
00003851: SWAP1
00003852: POP
00003853: JUMP
00003854: JUMPDEST
00003855: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003876: PUSH1 0x00
00003878: MSTORE
00003879: PUSH1 0x11
0000387b: PUSH1 0x04
0000387d: MSTORE
0000387e: PUSH1 0x24
00003880: PUSH1 0x00
00003882: REVERT
00003883: JUMPDEST
00003884: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000038a5: PUSH1 0x00
000038a7: MSTORE
000038a8: PUSH1 0x12
000038aa: PUSH1 0x04
000038ac: MSTORE
000038ad: PUSH1 0x24
000038af: PUSH1 0x00
000038b1: REVERT
000038b2: JUMPDEST
000038b3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000038d4: PUSH1 0x00
000038d6: MSTORE
000038d7: PUSH1 0x22
000038d9: PUSH1 0x04
000038db: MSTORE
000038dc: PUSH1 0x24
000038de: PUSH1 0x00
000038e0: REVERT
000038e1: JUMPDEST
000038e2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003903: PUSH1 0x00
00003905: MSTORE
00003906: PUSH1 0x41
00003908: PUSH1 0x04
0000390a: MSTORE
0000390b: PUSH1 0x24
0000390d: PUSH1 0x00
0000390f: REVERT
00003910: JUMPDEST
00003911: PUSH1 0x00
00003913: PUSH1 0x1f
00003915: NOT
00003916: PUSH1 0x1f
00003918: DUP4
00003919: ADD
0000391a: AND
0000391b: SWAP1
0000391c: POP
0000391d: SWAP2
0000391e: SWAP1
0000391f: POP
00003920: JUMP
00003921: JUMPDEST
00003922: PUSH1 0x00
00003924: DUP2
00003925: PUSH1 0x60
00003927: SHL
00003928: SWAP1
00003929: POP
0000392a: SWAP2
0000392b: SWAP1
0000392c: POP
0000392d: JUMP
0000392e: JUMPDEST
0000392f: PUSH1 0x00
00003931: DUP2
00003932: PUSH1 0x01
00003934: SHR
00003935: SWAP1
00003936: POP
00003937: SWAP2
00003938: SWAP1
00003939: POP
0000393a: JUMP
0000393b: JUMPDEST
0000393c: PUSH2 0x3944
0000393f: DUP2
00003940: PUSH2 0x36aa
00003943: JUMP
00003944: JUMPDEST
00003945: DUP2
00003946: EQ
00003947: PUSH2 0x394f
0000394a: JUMPI
0000394b: PUSH1 0x00
0000394d: DUP1
0000394e: REVERT
0000394f: JUMPDEST
00003950: POP
00003951: JUMP
00003952: JUMPDEST
00003953: PUSH2 0x395b
00003956: DUP2
00003957: PUSH2 0x36bc
0000395a: JUMP
0000395b: JUMPDEST
0000395c: DUP2
0000395d: EQ
0000395e: PUSH2 0x3966
00003961: JUMPI
00003962: PUSH1 0x00
00003964: DUP1
00003965: REVERT
00003966: JUMPDEST
00003967: POP
00003968: JUMP
00003969: JUMPDEST
0000396a: PUSH2 0x3972
0000396d: DUP2
0000396e: PUSH2 0x36c8
00003971: JUMP
00003972: JUMPDEST
00003973: DUP2
00003974: EQ
00003975: PUSH2 0x397d
00003978: JUMPI
00003979: PUSH1 0x00
0000397b: DUP1
0000397c: REVERT
0000397d: JUMPDEST
0000397e: POP
0000397f: JUMP
00003980: JUMPDEST
00003981: PUSH2 0x3989
00003984: DUP2
00003985: PUSH2 0x36d2
00003988: JUMP
00003989: JUMPDEST
0000398a: DUP2
0000398b: EQ
0000398c: PUSH2 0x3994
0000398f: JUMPI
00003990: PUSH1 0x00
00003992: DUP1
00003993: REVERT
00003994: JUMPDEST
00003995: POP
00003996: JUMP
00003997: JUMPDEST
00003998: PUSH2 0x39a0
0000399b: DUP2
0000399c: PUSH2 0x371e
0000399f: JUMP
000039a0: JUMPDEST
000039a1: DUP2
000039a2: EQ
000039a3: PUSH2 0x39ab
000039a6: JUMPI
000039a7: PUSH1 0x00
000039a9: DUP1
000039aa: REVERT
000039ab: JUMPDEST
000039ac: POP
000039ad: JUMP
000039ae: INVALID
000039af: LOG2
000039b0: PUSH5 0x6970667358
000039b6: UNKNOWN(0x22)
000039b7: SLT
000039b8: KECCAK256
000039b9: STATICCALL
000039ba: UNKNOWN(0xD6)
000039bb: LOG4
000039bc: UNKNOWN(0x0F)
000039bd: PUSH5 0xa0d12643ea
000039c3: UNKNOWN(0xCE)
000039c4: UNKNOWN(0x2C)
000039c5: UNKNOWN(0xDE)
000039c6: UNKNOWN(0x0C)
000039c7: UNKNOWN(0xE5)
000039c8: SMOD
000039c9: PUSH2 0x56d9
000039cc: SWAP11
000039cd: UNKNOWN(0xF8)
000039ce: LOG4
000039cf: PUSH20 0xf28b73b315818f585564736f6c63430008000033

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b
call_targets: 0x9abb7bddc43fa67c76a62d8c016513827f59be1b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9abb7bddc43fa67c76a62d8c016513827f59be1b"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xb1ac1347",
            "selector": "0xb1ac1347",
            "calldata_variants": [
                "0xb1ac1347",
                "0xb1ac13470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d110530",
            "selector": "0x9d110530",
            "calldata_variants": [
                "0x9d110530",
                "0x9d1105300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf88d599",
            "selector": "0xaf88d599",
            "calldata_variants": [
                "0xaf88d599",
                "0xaf88d5990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6ccce7",
            "selector": "0x4f6ccce7",
            "calldata_variants": [
                "0x4f6ccce7",
                "0x4f6ccce70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6569,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b
call_targets: 0x9abb7bddc43fa67c76a62d8c016513827f59be1b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7af7411fc2867cae5a617fa097ab3e25e1cfe99670cbb305396de4b877e0952b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9abb7bddc43fa67c76a62d8c016513827f59be1b"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xb1ac1347",
            "selector": "0xb1ac1347",
            "calldata_variants": [
                "0xb1ac1347",
                "0xb1ac13470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d110530",
            "selector": "0x9d110530",
            "calldata_variants": [
                "0x9d110530",
                "0x9d1105300000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaf88d599",
            "selector": "0xaf88d599",
            "calldata_variants": [
                "0xaf88d599",
                "0xaf88d5990000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4f6ccce7",
            "selector": "0x4f6ccce7",
            "calldata_variants": [
                "0x4f6ccce7",
                "0x4f6ccce70000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6569,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}