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

Analysis Run

9b5afcf8-9781-44f5-b4c3-d463ecfbe8bc

failed
Chain ID
1
Address
0x38741a69785e84399fcf7c5ad61d572f7ecb1dab
Block Number
—
Created
Sun, Jan 4, 2026 5:00 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
31563 report.consolidate complete 1 / 1 3 months ago
78005 artifact.fetch failed 1 / 3 2 weeks ago
78006 tool.cast_disasm complete 1 / 3 2 weeks ago
78007 analysis.bundle complete 1 / 3 2 weeks ago
78008 capability.graph complete 1 / 3 2 weeks ago
78009 detector.run complete 1 / 3 2 weeks ago
78010 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 profit paths identified in the provided sources.
View stderr 
[codex:552144] OpenAI Codex v0.77.0 (research preview)
[codex:552144] --------
[codex:552144] workdir: /tmp/codex-multi-dfhvtqy3
[codex:552144] model: gpt-5.2-codex
[codex:552144] provider: openai
[codex:552144] approval: never
[codex:552144] sandbox: read-only
[codex:552144] reasoning effort: xhigh
[codex:552144] reasoning summaries: auto
[codex:552144] session id: 019b875d-e013-7c70-9f3e-965e97ac22b8
[codex:552144] --------
[codex:552144] user
[codex:552144] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:552144] 
[codex:552144] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:552144] 
[codex:552144] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:552144] - Gas inefficiency, code quality, naming, or best practices
[codex:552144] - Theoretical vulnerabilities without a clear extraction path
[codex:552144] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:552144] - Front-running unless it enables theft beyond MEV
[codex:552144] - DoS, griefing, or issues that don't result in attacker profit
[codex:552144] - Missing events, view function issues, or informational findings
[codex:552144] 
[codex:552144] HIGH-VALUE PATTERNS TO HUNT:
[codex:552144] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:552144] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:552144] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:552144] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:552144] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:552144] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:552144] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:552144] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:552144] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:552144] 
[codex:552144] For each finding, you MUST provide:
[codex:552144] 1. Exact file and line numbers of vulnerable code
[codex:552144] 2. Step-by-step exploit transaction sequence
[codex:552144] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:552144] 
[codex:552144] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:552144] 
[codex:552144] Output MUST be valid JSON matching the provided schema.
[codex:552144] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:552144] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:552144] mcp startup: no servers
[codex:552144] 
[codex:552144] thinking
[codex:552144] **Reading skill instructions and audit file**
[codex:552144] exec
[codex:552144] /bin/bash -lc ls in /tmp/codex-multi-dfhvtqy3 succeeded in 5ms:
[codex:552144] AUDIT_BUNDLE.txt
[codex:552144] codex-output-schema.json
[codex:552144] contracts
[codex:552144] 
[codex:552144] thinking
[codex:552144] **Preparing to read audit bundle file**
[codex:552144] exec
[codex:552144] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-dfhvtqy3 succeeded in 5ms:
[codex:552144] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:552144] 
[codex:552144] ================================================================================
[codex:552144] FILE: contracts/Contract.sol
[codex:552144] ================================================================================
[codex:552144] // SPDX-License-Identifier: MIT
[codex:552144] pragma solidity 0.8.3;
[codex:552144] pragma abicoder v2;
[codex:552144] 
[codex:552144] contract EverPay {
[codex:552144]     // Event
[codex:552144]     event Submission(
[codex:552144]         bytes32 indexed id,
[codex:552144]         uint256 indexed proposalID,
[codex:552144]         bytes32 indexed everHash,
[codex:552144]         address owner,
[codex:552144]         address to,
[codex:552144]         uint256 value,
[codex:552144]         bytes data
[codex:552144]     );
[codex:552144] 
[codex:552144] 
[codex:552144] 
[codex:552144] 
[codex:552144] thinking
[codex:552144] **Analyzing multisig contract vulnerabilities**
[codex:552144] 
[codex:552144] I'm digging into the multisig EverPay contract’s logic to spot possible profit exploits. There are interesting details like signature handling, owner duplicates potentially lowering required signatures, and a tricky case where including address(0) as owner could let attackers execute transactions if misconfigured. I'm curious about subtle config bugs since direct external exploits seem limited without owner collusion or missteps.
[codex:552144] thinking
[codex:552144] **Evaluating internal multisig logic and edge cases**
[codex:552144] 
[codex:552144] I’m carefully reviewing multisig functions for subtle internal quirks like duplicate owners lowering signature thresholds, reentrancy possibilities via contract calls to itself, and signature malleability effects. It seems external attackers can’t bypass signature checks, but owner misconfigurations or malicious insiders could misuse these quirks, so the risk is mostly governance-related rather than straightforward external exploits.
[codex:552144] thinking
[codex:552144] **Assessing ECDSA signature malleability and id uniqueness**
[codex:552144] 
[codex:552144] I’m examining the ECDSA signature’s dual recovery paths via different v values and verifying that signatures can’t be misused to impersonate other owners. I also confirm the uniqueness of transaction IDs despite encoding dynamic data and consider whether any subtle collisions or replay risks exist, concluding that no practical external exploit emerges beyond potential misconfigurations.
[codex:552144] thinking
[codex:552144] **Preparing final no-findings report**
[codex:552144] 
[codex:552144] I'm ready to output the final JSON indicating no exploitable profit paths were found in the contract, strictly following the required schema and instructions.
[codex:552144] codex
[codex:552144] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:552144] tokens used
[codex:552144] 18,571
[codex:552144] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T05:00:42.636661+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
0
Total opcodes
6645
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 0x0144
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x87c784b1
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xba51a6df
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xba51a6df
0000002f: EQ
00000030: PUSH2 0x050b
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdc8452cd
0000003a: EQ
0000003b: PUSH2 0x0534
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd2cbd0a
00000045: EQ
00000046: PUSH2 0x055f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe20056e6
00000050: EQ
00000051: PUSH2 0x057b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe7f43c68
0000005b: EQ
0000005c: PUSH2 0x05a4
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xffb91f58
00000066: EQ
00000067: PUSH2 0x05cf
0000006a: JUMPI
0000006b: PUSH2 0x01a2
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x87c784b1
00000076: EQ
00000077: PUSH2 0x03d4
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa0e67e2b
00000081: EQ
00000082: PUSH2 0x0412
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa9fcfb33
0000008c: EQ
0000008d: PUSH2 0x043d
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xac327f80
00000097: EQ
00000098: PUSH2 0x047a
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xadc879e9
000000a2: EQ
000000a3: PUSH2 0x04b7
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xb3ab15fb
000000ad: EQ
000000ae: PUSH2 0x04e2
000000b1: JUMPI
000000b2: PUSH2 0x01a2
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x48daddca
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x48daddca
000000c8: EQ
000000c9: PUSH2 0x02b0
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x570ca735
000000d3: EQ
000000d4: PUSH2 0x02ed
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x5c975abb
000000de: EQ
000000df: PUSH2 0x0318
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x6486aa51
000000e9: EQ
000000ea: PUSH2 0x0343
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x6805b84b
000000f4: EQ
000000f5: PUSH2 0x0380
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x7065cb48
000000ff: EQ
00000100: PUSH2 0x03ab
00000103: JUMPI
00000104: PUSH2 0x01a2
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x025e7c27
0000010f: EQ
00000110: PUSH2 0x01a7
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x0c4ecab4
0000011a: EQ
0000011b: PUSH2 0x01e4
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x16c38b3c
00000125: EQ
00000126: PUSH2 0x0221
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x173825d9
00000130: EQ
00000131: PUSH2 0x024a
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x2f54bf6e
0000013b: EQ
0000013c: PUSH2 0x0273
0000013f: JUMPI
00000140: PUSH2 0x01a2
00000143: JUMP
00000144: JUMPDEST
00000145: CALLDATASIZE
00000146: PUSH2 0x01a2
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: CALLVALUE
0000014d: EQ
0000014e: PUSH2 0x01a0
00000151: JUMPI
00000152: CALLER
00000153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000168: AND
00000169: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
0000018a: CALLVALUE
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: PUSH2 0x0197
00000191: SWAP2
00000192: SWAP1
00000193: PUSH2 0x2a4a
00000196: JUMP
00000197: JUMPDEST
00000198: PUSH1 0x40
0000019a: MLOAD
0000019b: DUP1
0000019c: SWAP2
0000019d: SUB
0000019e: SWAP1
0000019f: LOG2
000001a0: JUMPDEST
000001a1: STOP
000001a2: JUMPDEST
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: CALLVALUE
000001a9: DUP1
000001aa: ISZERO
000001ab: PUSH2 0x01b3
000001ae: JUMPI
000001af: PUSH1 0x00
000001b1: DUP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: POP
000001b5: PUSH2 0x01ce
000001b8: PUSH1 0x04
000001ba: DUP1
000001bb: CALLDATASIZE
000001bc: SUB
000001bd: DUP2
000001be: ADD
000001bf: SWAP1
000001c0: PUSH2 0x01c9
000001c3: SWAP2
000001c4: SWAP1
000001c5: PUSH2 0x2231
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH2 0x05fa
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: MLOAD
000001d2: PUSH2 0x01db
000001d5: SWAP2
000001d6: SWAP1
000001d7: PUSH2 0x277f
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: DUP1
000001e0: SWAP2
000001e1: SUB
000001e2: SWAP1
000001e3: RETURN
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01f0
000001eb: JUMPI
000001ec: PUSH1 0x00
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x020b
000001f5: PUSH1 0x04
000001f7: DUP1
000001f8: CALLDATASIZE
000001f9: SUB
000001fa: DUP2
000001fb: ADD
000001fc: SWAP1
000001fd: PUSH2 0x0206
00000200: SWAP2
00000201: SWAP1
00000202: PUSH2 0x21a1
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH2 0x0639
0000020a: JUMP
0000020b: JUMPDEST
0000020c: PUSH1 0x40
0000020e: MLOAD
0000020f: PUSH2 0x0218
00000212: SWAP2
00000213: SWAP1
00000214: PUSH2 0x2846
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: DUP1
0000021d: SWAP2
0000021e: SUB
0000021f: SWAP1
00000220: RETURN
00000221: JUMPDEST
00000222: CALLVALUE
00000223: DUP1
00000224: ISZERO
00000225: PUSH2 0x022d
00000228: JUMPI
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: REVERT
0000022d: JUMPDEST
0000022e: POP
0000022f: PUSH2 0x0248
00000232: PUSH1 0x04
00000234: DUP1
00000235: CALLDATASIZE
00000236: SUB
00000237: DUP2
00000238: ADD
00000239: SWAP1
0000023a: PUSH2 0x0243
0000023d: SWAP2
0000023e: SWAP1
0000023f: PUSH2 0x214f
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH2 0x0668
00000247: JUMP
00000248: JUMPDEST
00000249: STOP
0000024a: JUMPDEST
0000024b: CALLVALUE
0000024c: DUP1
0000024d: ISZERO
0000024e: PUSH2 0x0256
00000251: JUMPI
00000252: PUSH1 0x00
00000254: DUP1
00000255: REVERT
00000256: JUMPDEST
00000257: POP
00000258: PUSH2 0x0271
0000025b: PUSH1 0x04
0000025d: DUP1
0000025e: CALLDATASIZE
0000025f: SUB
00000260: DUP2
00000261: ADD
00000262: SWAP1
00000263: PUSH2 0x026c
00000266: SWAP2
00000267: SWAP1
00000268: PUSH2 0x2053
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x0759
00000270: JUMP
00000271: JUMPDEST
00000272: STOP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x029a
00000284: PUSH1 0x04
00000286: DUP1
00000287: CALLDATASIZE
00000288: SUB
00000289: DUP2
0000028a: ADD
0000028b: SWAP1
0000028c: PUSH2 0x0295
0000028f: SWAP2
00000290: SWAP1
00000291: PUSH2 0x2053
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH2 0x0b41
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: PUSH2 0x02a7
000002a1: SWAP2
000002a2: SWAP1
000002a3: PUSH2 0x2846
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: DUP1
000002ac: SWAP2
000002ad: SUB
000002ae: SWAP1
000002af: RETURN
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: DUP1
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: PUSH2 0x02d7
000002c1: PUSH1 0x04
000002c3: DUP1
000002c4: CALLDATASIZE
000002c5: SUB
000002c6: DUP2
000002c7: ADD
000002c8: SWAP1
000002c9: PUSH2 0x02d2
000002cc: SWAP2
000002cd: SWAP1
000002ce: PUSH2 0x225a
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH2 0x0b61
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: PUSH2 0x02e4
000002de: SWAP2
000002df: SWAP1
000002e0: PUSH2 0x2861
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: SWAP2
000002ea: SUB
000002eb: SWAP1
000002ec: RETURN
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: POP
000002fb: PUSH2 0x0302
000002fe: PUSH2 0x0ba2
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: MLOAD
00000306: PUSH2 0x030f
00000309: SWAP2
0000030a: SWAP1
0000030b: PUSH2 0x277f
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: DUP1
00000314: SWAP2
00000315: SUB
00000316: SWAP1
00000317: RETURN
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: PUSH2 0x032d
00000329: PUSH2 0x0bc6
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH1 0x40
00000330: MLOAD
00000331: PUSH2 0x033a
00000334: SWAP2
00000335: SWAP1
00000336: PUSH2 0x2846
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: DUP1
0000033f: SWAP2
00000340: SUB
00000341: SWAP1
00000342: RETURN
00000343: JUMPDEST
00000344: CALLVALUE
00000345: DUP1
00000346: ISZERO
00000347: PUSH2 0x034f
0000034a: JUMPI
0000034b: PUSH1 0x00
0000034d: DUP1
0000034e: REVERT
0000034f: JUMPDEST
00000350: POP
00000351: PUSH2 0x036a
00000354: PUSH1 0x04
00000356: DUP1
00000357: CALLDATASIZE
00000358: SUB
00000359: DUP2
0000035a: ADD
0000035b: SWAP1
0000035c: PUSH2 0x0365
0000035f: SWAP2
00000360: SWAP1
00000361: PUSH2 0x2178
00000364: JUMP
00000365: JUMPDEST
00000366: PUSH2 0x0bd9
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH2 0x0377
00000371: SWAP2
00000372: SWAP1
00000373: PUSH2 0x2846
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: DUP1
0000037c: SWAP2
0000037d: SUB
0000037e: SWAP1
0000037f: RETURN
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x0395
00000391: PUSH2 0x0cfa
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH1 0x40
00000398: MLOAD
00000399: PUSH2 0x03a2
0000039c: SWAP2
0000039d: SWAP1
0000039e: PUSH2 0x2846
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: DUP1
000003a7: SWAP2
000003a8: SUB
000003a9: SWAP1
000003aa: RETURN
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: POP
000003b9: PUSH2 0x03d2
000003bc: PUSH1 0x04
000003be: DUP1
000003bf: CALLDATASIZE
000003c0: SUB
000003c1: DUP2
000003c2: ADD
000003c3: SWAP1
000003c4: PUSH2 0x03cd
000003c7: SWAP2
000003c8: SWAP1
000003c9: PUSH2 0x2053
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH2 0x0d11
000003d1: JUMP
000003d2: JUMPDEST
000003d3: STOP
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03e0
000003db: JUMPI
000003dc: PUSH1 0x00
000003de: DUP1
000003df: REVERT
000003e0: JUMPDEST
000003e1: POP
000003e2: PUSH2 0x03fb
000003e5: PUSH1 0x04
000003e7: DUP1
000003e8: CALLDATASIZE
000003e9: SUB
000003ea: DUP2
000003eb: ADD
000003ec: SWAP1
000003ed: PUSH2 0x03f6
000003f0: SWAP2
000003f1: SWAP1
000003f2: PUSH2 0x22e9
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH2 0x0ef0
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH1 0x40
000003fe: MLOAD
000003ff: PUSH2 0x0409
00000402: SWAP3
00000403: SWAP2
00000404: SWAP1
00000405: PUSH2 0x287c
00000408: JUMP
00000409: JUMPDEST
0000040a: PUSH1 0x40
0000040c: MLOAD
0000040d: DUP1
0000040e: SWAP2
0000040f: SUB
00000410: SWAP1
00000411: RETURN
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0427
00000423: PUSH2 0x12b6
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH1 0x40
0000042a: MLOAD
0000042b: PUSH2 0x0434
0000042e: SWAP2
0000042f: SWAP1
00000430: PUSH2 0x2824
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x40
00000437: MLOAD
00000438: DUP1
00000439: SWAP2
0000043a: SUB
0000043b: SWAP1
0000043c: RETURN
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x0464
0000044e: PUSH1 0x04
00000450: DUP1
00000451: CALLDATASIZE
00000452: SUB
00000453: DUP2
00000454: ADD
00000455: SWAP1
00000456: PUSH2 0x045f
00000459: SWAP2
0000045a: SWAP1
0000045b: PUSH2 0x2178
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH2 0x1344
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH1 0x40
00000467: MLOAD
00000468: PUSH2 0x0471
0000046b: SWAP2
0000046c: SWAP1
0000046d: PUSH2 0x2846
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH1 0x40
00000474: MLOAD
00000475: DUP1
00000476: SWAP2
00000477: SUB
00000478: SWAP1
00000479: RETURN
0000047a: JUMPDEST
0000047b: CALLVALUE
0000047c: DUP1
0000047d: ISZERO
0000047e: PUSH2 0x0486
00000481: JUMPI
00000482: PUSH1 0x00
00000484: DUP1
00000485: REVERT
00000486: JUMPDEST
00000487: POP
00000488: PUSH2 0x04a1
0000048b: PUSH1 0x04
0000048d: DUP1
0000048e: CALLDATASIZE
0000048f: SUB
00000490: DUP2
00000491: ADD
00000492: SWAP1
00000493: PUSH2 0x049c
00000496: SWAP2
00000497: SWAP1
00000498: PUSH2 0x21dd
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH2 0x1364
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH1 0x40
000004a4: MLOAD
000004a5: PUSH2 0x04ae
000004a8: SWAP2
000004a9: SWAP1
000004aa: PUSH2 0x277f
000004ad: JUMP
000004ae: JUMPDEST
000004af: PUSH1 0x40
000004b1: MLOAD
000004b2: DUP1
000004b3: SWAP2
000004b4: SUB
000004b5: SWAP1
000004b6: RETURN
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: DUP1
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH2 0x04cc
000004c8: PUSH2 0x149b
000004cb: JUMP
000004cc: JUMPDEST
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: PUSH2 0x04d9
000004d3: SWAP2
000004d4: SWAP1
000004d5: PUSH2 0x2a4a
000004d8: JUMP
000004d9: JUMPDEST
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: DUP1
000004de: SWAP2
000004df: SUB
000004e0: SWAP1
000004e1: RETURN
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH2 0x0509
000004f3: PUSH1 0x04
000004f5: DUP1
000004f6: CALLDATASIZE
000004f7: SUB
000004f8: DUP2
000004f9: ADD
000004fa: SWAP1
000004fb: PUSH2 0x0504
000004fe: SWAP2
000004ff: SWAP1
00000500: PUSH2 0x2053
00000503: JUMP
00000504: JUMPDEST
00000505: PUSH2 0x14a1
00000508: JUMP
00000509: JUMPDEST
0000050a: STOP
0000050b: JUMPDEST
0000050c: CALLVALUE
0000050d: DUP1
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x0532
0000051c: PUSH1 0x04
0000051e: DUP1
0000051f: CALLDATASIZE
00000520: SUB
00000521: DUP2
00000522: ADD
00000523: SWAP1
00000524: PUSH2 0x052d
00000527: SWAP2
00000528: SWAP1
00000529: PUSH2 0x2231
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH2 0x1625
00000531: JUMP
00000532: JUMPDEST
00000533: STOP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x0549
00000545: PUSH2 0x173a
00000548: JUMP
00000549: JUMPDEST
0000054a: PUSH1 0x40
0000054c: MLOAD
0000054d: PUSH2 0x0556
00000550: SWAP2
00000551: SWAP1
00000552: PUSH2 0x2a4a
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH1 0x40
00000559: MLOAD
0000055a: DUP1
0000055b: SWAP2
0000055c: SUB
0000055d: SWAP1
0000055e: RETURN
0000055f: JUMPDEST
00000560: PUSH2 0x0579
00000563: PUSH1 0x04
00000565: DUP1
00000566: CALLDATASIZE
00000567: SUB
00000568: DUP2
00000569: ADD
0000056a: SWAP1
0000056b: PUSH2 0x0574
0000056e: SWAP2
0000056f: SWAP1
00000570: PUSH2 0x20b8
00000573: JUMP
00000574: JUMPDEST
00000575: PUSH2 0x1740
00000578: JUMP
00000579: JUMPDEST
0000057a: STOP
0000057b: JUMPDEST
0000057c: CALLVALUE
0000057d: DUP1
0000057e: ISZERO
0000057f: PUSH2 0x0587
00000582: JUMPI
00000583: PUSH1 0x00
00000585: DUP1
00000586: REVERT
00000587: JUMPDEST
00000588: POP
00000589: PUSH2 0x05a2
0000058c: PUSH1 0x04
0000058e: DUP1
0000058f: CALLDATASIZE
00000590: SUB
00000591: DUP2
00000592: ADD
00000593: SWAP1
00000594: PUSH2 0x059d
00000597: SWAP2
00000598: SWAP1
00000599: PUSH2 0x207c
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH2 0x19ca
000005a1: JUMP
000005a2: JUMPDEST
000005a3: STOP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x05b9
000005b5: PUSH2 0x1db2
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x40
000005bc: MLOAD
000005bd: PUSH2 0x05c6
000005c0: SWAP2
000005c1: SWAP1
000005c2: PUSH2 0x277f
000005c5: JUMP
000005c6: JUMPDEST
000005c7: PUSH1 0x40
000005c9: MLOAD
000005ca: DUP1
000005cb: SWAP2
000005cc: SUB
000005cd: SWAP1
000005ce: RETURN
000005cf: JUMPDEST
000005d0: CALLVALUE
000005d1: DUP1
000005d2: ISZERO
000005d3: PUSH2 0x05db
000005d6: JUMPI
000005d7: PUSH1 0x00
000005d9: DUP1
000005da: REVERT
000005db: JUMPDEST
000005dc: POP
000005dd: PUSH2 0x05e4
000005e0: PUSH2 0x1dda
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH1 0x40
000005e7: MLOAD
000005e8: PUSH2 0x05f1
000005eb: SWAP2
000005ec: SWAP1
000005ed: PUSH2 0x2a4a
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: DUP1
000005f6: SWAP2
000005f7: SUB
000005f8: SWAP1
000005f9: RETURN
000005fa: JUMPDEST
000005fb: PUSH1 0x03
000005fd: DUP2
000005fe: DUP2
000005ff: SLOAD
00000600: DUP2
00000601: LT
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: SWAP1
0000060c: PUSH1 0x00
0000060e: MSTORE
0000060f: PUSH1 0x20
00000611: PUSH1 0x00
00000613: KECCAK256
00000614: ADD
00000615: PUSH1 0x00
00000617: SWAP2
00000618: POP
00000619: SLOAD
0000061a: SWAP1
0000061b: PUSH2 0x0100
0000061e: EXP
0000061f: SWAP1
00000620: DIV
00000621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000636: AND
00000637: DUP2
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH1 0x06
0000063c: PUSH1 0x20
0000063e: MSTORE
0000063f: DUP2
00000640: PUSH1 0x00
00000642: MSTORE
00000643: PUSH1 0x40
00000645: PUSH1 0x00
00000647: KECCAK256
00000648: PUSH1 0x20
0000064a: MSTORE
0000064b: DUP1
0000064c: PUSH1 0x00
0000064e: MSTORE
0000064f: PUSH1 0x40
00000651: PUSH1 0x00
00000653: KECCAK256
00000654: PUSH1 0x00
00000656: SWAP2
00000657: POP
00000658: SWAP2
00000659: POP
0000065a: SWAP1
0000065b: SLOAD
0000065c: SWAP1
0000065d: PUSH2 0x0100
00000660: EXP
00000661: SWAP1
00000662: DIV
00000663: PUSH1 0xff
00000665: AND
00000666: DUP2
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH1 0x01
0000066b: DUP1
0000066c: SLOAD
0000066d: SWAP1
0000066e: PUSH2 0x0100
00000671: EXP
00000672: SWAP1
00000673: DIV
00000674: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000689: AND
0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069f: AND
000006a0: CALLER
000006a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b6: AND
000006b7: EQ
000006b8: PUSH2 0x06f6
000006bb: JUMPI
000006bc: PUSH1 0x40
000006be: MLOAD
000006bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006e0: DUP2
000006e1: MSTORE
000006e2: PUSH1 0x04
000006e4: ADD
000006e5: PUSH2 0x06ed
000006e8: SWAP1
000006e9: PUSH2 0x29aa
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: DUP1
000006f2: SWAP2
000006f3: SUB
000006f4: SWAP1
000006f5: REVERT
000006f6: JUMPDEST
000006f7: DUP1
000006f8: PUSH1 0x01
000006fa: PUSH1 0x00
000006fc: PUSH2 0x0100
000006ff: EXP
00000700: DUP2
00000701: SLOAD
00000702: DUP2
00000703: PUSH1 0xff
00000705: MUL
00000706: NOT
00000707: AND
00000708: SWAP1
00000709: DUP4
0000070a: ISZERO
0000070b: ISZERO
0000070c: MUL
0000070d: OR
0000070e: SWAP1
0000070f: SSTORE
00000710: POP
00000711: PUSH32 0x9f0feb12ec37d0bafce34391846a3029957f297df0cdab56f163ad02591b87f3
00000732: PUSH1 0x01
00000734: PUSH1 0x00
00000736: SWAP1
00000737: SLOAD
00000738: SWAP1
00000739: PUSH2 0x0100
0000073c: EXP
0000073d: SWAP1
0000073e: DIV
0000073f: PUSH1 0xff
00000741: AND
00000742: PUSH1 0x40
00000744: MLOAD
00000745: PUSH2 0x074e
00000748: SWAP2
00000749: SWAP1
0000074a: PUSH2 0x2846
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: DUP1
00000753: SWAP2
00000754: SUB
00000755: SWAP1
00000756: LOG1
00000757: POP
00000758: JUMP
00000759: JUMPDEST
0000075a: ADDRESS
0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000770: AND
00000771: CALLER
00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000787: AND
00000788: EQ
00000789: PUSH2 0x07c7
0000078c: JUMPI
0000078d: PUSH1 0x40
0000078f: MLOAD
00000790: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007b1: DUP2
000007b2: MSTORE
000007b3: PUSH1 0x04
000007b5: ADD
000007b6: PUSH2 0x07be
000007b9: SWAP1
000007ba: PUSH2 0x296a
000007bd: JUMP
000007be: JUMPDEST
000007bf: PUSH1 0x40
000007c1: MLOAD
000007c2: DUP1
000007c3: SWAP2
000007c4: SUB
000007c5: SWAP1
000007c6: REVERT
000007c7: JUMPDEST
000007c8: PUSH1 0x04
000007ca: PUSH1 0x00
000007cc: DUP3
000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e2: AND
000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f8: AND
000007f9: DUP2
000007fa: MSTORE
000007fb: PUSH1 0x20
000007fd: ADD
000007fe: SWAP1
000007ff: DUP2
00000800: MSTORE
00000801: PUSH1 0x20
00000803: ADD
00000804: PUSH1 0x00
00000806: KECCAK256
00000807: PUSH1 0x00
00000809: SWAP1
0000080a: SLOAD
0000080b: SWAP1
0000080c: PUSH2 0x0100
0000080f: EXP
00000810: SWAP1
00000811: DIV
00000812: PUSH1 0xff
00000814: AND
00000815: PUSH2 0x0853
00000818: JUMPI
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x04
00000841: ADD
00000842: PUSH2 0x084a
00000845: SWAP1
00000846: PUSH2 0x29ca
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: DUP1
0000084f: SWAP2
00000850: SUB
00000851: SWAP1
00000852: REVERT
00000853: JUMPDEST
00000854: PUSH1 0x00
00000856: PUSH1 0x04
00000858: PUSH1 0x00
0000085a: DUP4
0000085b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000870: AND
00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000886: AND
00000887: DUP2
00000888: MSTORE
00000889: PUSH1 0x20
0000088b: ADD
0000088c: SWAP1
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: ADD
00000892: PUSH1 0x00
00000894: KECCAK256
00000895: PUSH1 0x00
00000897: PUSH2 0x0100
0000089a: EXP
0000089b: DUP2
0000089c: SLOAD
0000089d: DUP2
0000089e: PUSH1 0xff
000008a0: MUL
000008a1: NOT
000008a2: AND
000008a3: SWAP1
000008a4: DUP4
000008a5: ISZERO
000008a6: ISZERO
000008a7: MUL
000008a8: OR
000008a9: SWAP1
000008aa: SSTORE
000008ab: POP
000008ac: PUSH1 0x00
000008ae: JUMPDEST
000008af: PUSH1 0x01
000008b1: PUSH1 0x03
000008b3: DUP1
000008b4: SLOAD
000008b5: SWAP1
000008b6: POP
000008b7: PUSH2 0x08c0
000008ba: SWAP2
000008bb: SWAP1
000008bc: PUSH2 0x2c11
000008bf: JUMP
000008c0: JUMPDEST
000008c1: DUP2
000008c2: LT
000008c3: ISZERO
000008c4: PUSH2 0x0a6f
000008c7: JUMPI
000008c8: DUP2
000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008de: AND
000008df: PUSH1 0x03
000008e1: DUP3
000008e2: DUP2
000008e3: SLOAD
000008e4: DUP2
000008e5: LT
000008e6: PUSH2 0x0918
000008e9: JUMPI
000008ea: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000090b: PUSH1 0x00
0000090d: MSTORE
0000090e: PUSH1 0x32
00000910: PUSH1 0x04
00000912: MSTORE
00000913: PUSH1 0x24
00000915: PUSH1 0x00
00000917: REVERT
00000918: JUMPDEST
00000919: SWAP1
0000091a: PUSH1 0x00
0000091c: MSTORE
0000091d: PUSH1 0x20
0000091f: PUSH1 0x00
00000921: KECCAK256
00000922: ADD
00000923: PUSH1 0x00
00000925: SWAP1
00000926: SLOAD
00000927: SWAP1
00000928: PUSH2 0x0100
0000092b: EXP
0000092c: SWAP1
0000092d: DIV
0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000943: AND
00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000959: AND
0000095a: EQ
0000095b: ISZERO
0000095c: PUSH2 0x0a5c
0000095f: JUMPI
00000960: PUSH1 0x03
00000962: PUSH1 0x01
00000964: PUSH1 0x03
00000966: DUP1
00000967: SLOAD
00000968: SWAP1
00000969: POP
0000096a: PUSH2 0x0973
0000096d: SWAP2
0000096e: SWAP1
0000096f: PUSH2 0x2c11
00000972: JUMP
00000973: JUMPDEST
00000974: DUP2
00000975: SLOAD
00000976: DUP2
00000977: LT
00000978: PUSH2 0x09aa
0000097b: JUMPI
0000097c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000099d: PUSH1 0x00
0000099f: MSTORE
000009a0: PUSH1 0x32
000009a2: PUSH1 0x04
000009a4: MSTORE
000009a5: PUSH1 0x24
000009a7: PUSH1 0x00
000009a9: REVERT
000009aa: JUMPDEST
000009ab: SWAP1
000009ac: PUSH1 0x00
000009ae: MSTORE
000009af: PUSH1 0x20
000009b1: PUSH1 0x00
000009b3: KECCAK256
000009b4: ADD
000009b5: PUSH1 0x00
000009b7: SWAP1
000009b8: SLOAD
000009b9: SWAP1
000009ba: PUSH2 0x0100
000009bd: EXP
000009be: SWAP1
000009bf: DIV
000009c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d5: AND
000009d6: PUSH1 0x03
000009d8: DUP3
000009d9: DUP2
000009da: SLOAD
000009db: DUP2
000009dc: LT
000009dd: PUSH2 0x0a0f
000009e0: JUMPI
000009e1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000a02: PUSH1 0x00
00000a04: MSTORE
00000a05: PUSH1 0x32
00000a07: PUSH1 0x04
00000a09: MSTORE
00000a0a: PUSH1 0x24
00000a0c: PUSH1 0x00
00000a0e: REVERT
00000a0f: JUMPDEST
00000a10: SWAP1
00000a11: PUSH1 0x00
00000a13: MSTORE
00000a14: PUSH1 0x20
00000a16: PUSH1 0x00
00000a18: KECCAK256
00000a19: ADD
00000a1a: PUSH1 0x00
00000a1c: PUSH2 0x0100
00000a1f: EXP
00000a20: DUP2
00000a21: SLOAD
00000a22: DUP2
00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a38: MUL
00000a39: NOT
00000a3a: AND
00000a3b: SWAP1
00000a3c: DUP4
00000a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a52: AND
00000a53: MUL
00000a54: OR
00000a55: SWAP1
00000a56: SSTORE
00000a57: POP
00000a58: PUSH2 0x0a6f
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: DUP1
00000a5e: DUP1
00000a5f: PUSH2 0x0a67
00000a62: SWAP1
00000a63: PUSH2 0x2d17
00000a66: JUMP
00000a67: JUMPDEST
00000a68: SWAP2
00000a69: POP
00000a6a: POP
00000a6b: PUSH2 0x08ae
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: POP
00000a71: PUSH1 0x03
00000a73: DUP1
00000a74: SLOAD
00000a75: DUP1
00000a76: PUSH2 0x0aa8
00000a79: JUMPI
00000a7a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000a9b: PUSH1 0x00
00000a9d: MSTORE
00000a9e: PUSH1 0x31
00000aa0: PUSH1 0x04
00000aa2: MSTORE
00000aa3: PUSH1 0x24
00000aa5: PUSH1 0x00
00000aa7: REVERT
00000aa8: JUMPDEST
00000aa9: PUSH1 0x01
00000aab: SWAP1
00000aac: SUB
00000aad: DUP2
00000aae: DUP2
00000aaf: SWAP1
00000ab0: PUSH1 0x00
00000ab2: MSTORE
00000ab3: PUSH1 0x20
00000ab5: PUSH1 0x00
00000ab7: KECCAK256
00000ab8: ADD
00000ab9: PUSH1 0x00
00000abb: PUSH2 0x0100
00000abe: EXP
00000abf: DUP2
00000ac0: SLOAD
00000ac1: SWAP1
00000ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad7: MUL
00000ad8: NOT
00000ad9: AND
00000ada: SWAP1
00000adb: SSTORE
00000adc: SWAP1
00000add: SSTORE
00000ade: PUSH1 0x03
00000ae0: DUP1
00000ae1: SLOAD
00000ae2: SWAP1
00000ae3: POP
00000ae4: PUSH1 0x02
00000ae6: SLOAD
00000ae7: GT
00000ae8: ISZERO
00000ae9: PUSH2 0x0afb
00000aec: JUMPI
00000aed: PUSH2 0x0afa
00000af0: PUSH1 0x03
00000af2: DUP1
00000af3: SLOAD
00000af4: SWAP1
00000af5: POP
00000af6: PUSH2 0x1625
00000af9: JUMP
00000afa: JUMPDEST
00000afb: JUMPDEST
00000afc: DUP1
00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b12: AND
00000b13: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00000b34: PUSH1 0x40
00000b36: MLOAD
00000b37: PUSH1 0x40
00000b39: MLOAD
00000b3a: DUP1
00000b3b: SWAP2
00000b3c: SUB
00000b3d: SWAP1
00000b3e: LOG2
00000b3f: POP
00000b40: JUMP
00000b41: JUMPDEST
00000b42: PUSH1 0x04
00000b44: PUSH1 0x20
00000b46: MSTORE
00000b47: DUP1
00000b48: PUSH1 0x00
00000b4a: MSTORE
00000b4b: PUSH1 0x40
00000b4d: PUSH1 0x00
00000b4f: KECCAK256
00000b50: PUSH1 0x00
00000b52: SWAP2
00000b53: POP
00000b54: SLOAD
00000b55: SWAP1
00000b56: PUSH2 0x0100
00000b59: EXP
00000b5a: SWAP1
00000b5b: DIV
00000b5c: PUSH1 0xff
00000b5e: AND
00000b5f: DUP2
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x00
00000b64: DUP1
00000b65: SLOAD
00000b66: ADDRESS
00000b67: DUP8
00000b68: DUP8
00000b69: DUP8
00000b6a: DUP8
00000b6b: DUP8
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: PUSH1 0x20
00000b71: ADD
00000b72: PUSH2 0x0b81
00000b75: SWAP8
00000b76: SWAP7
00000b77: SWAP6
00000b78: SWAP5
00000b79: SWAP4
00000b7a: SWAP3
00000b7b: SWAP2
00000b7c: SWAP1
00000b7d: PUSH2 0x2702
00000b80: JUMP
00000b81: JUMPDEST
00000b82: PUSH1 0x40
00000b84: MLOAD
00000b85: PUSH1 0x20
00000b87: DUP2
00000b88: DUP4
00000b89: SUB
00000b8a: SUB
00000b8b: DUP2
00000b8c: MSTORE
00000b8d: SWAP1
00000b8e: PUSH1 0x40
00000b90: MSTORE
00000b91: DUP1
00000b92: MLOAD
00000b93: SWAP1
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: KECCAK256
00000b98: SWAP1
00000b99: POP
00000b9a: SWAP6
00000b9b: SWAP5
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: POP
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: PUSH1 0x01
00000ba5: DUP1
00000ba6: SLOAD
00000ba7: SWAP1
00000ba8: PUSH2 0x0100
00000bab: EXP
00000bac: SWAP1
00000bad: DIV
00000bae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc3: AND
00000bc4: DUP2
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x01
00000bc9: PUSH1 0x00
00000bcb: SWAP1
00000bcc: SLOAD
00000bcd: SWAP1
00000bce: PUSH2 0x0100
00000bd1: EXP
00000bd2: SWAP1
00000bd3: DIV
00000bd4: PUSH1 0xff
00000bd6: AND
00000bd7: DUP2
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH1 0x00
00000bdc: DUP1
00000bdd: PUSH1 0x00
00000bdf: SWAP1
00000be0: POP
00000be1: PUSH1 0x00
00000be3: JUMPDEST
00000be4: PUSH1 0x03
00000be6: DUP1
00000be7: SLOAD
00000be8: SWAP1
00000be9: POP
00000bea: DUP2
00000beb: LT
00000bec: ISZERO
00000bed: PUSH2 0x0cee
00000bf0: JUMPI
00000bf1: PUSH1 0x06
00000bf3: PUSH1 0x00
00000bf5: DUP6
00000bf6: DUP2
00000bf7: MSTORE
00000bf8: PUSH1 0x20
00000bfa: ADD
00000bfb: SWAP1
00000bfc: DUP2
00000bfd: MSTORE
00000bfe: PUSH1 0x20
00000c00: ADD
00000c01: PUSH1 0x00
00000c03: KECCAK256
00000c04: PUSH1 0x00
00000c06: PUSH1 0x03
00000c08: DUP4
00000c09: DUP2
00000c0a: SLOAD
00000c0b: DUP2
00000c0c: LT
00000c0d: PUSH2 0x0c3f
00000c10: JUMPI
00000c11: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c32: PUSH1 0x00
00000c34: MSTORE
00000c35: PUSH1 0x32
00000c37: PUSH1 0x04
00000c39: MSTORE
00000c3a: PUSH1 0x24
00000c3c: PUSH1 0x00
00000c3e: REVERT
00000c3f: JUMPDEST
00000c40: SWAP1
00000c41: PUSH1 0x00
00000c43: MSTORE
00000c44: PUSH1 0x20
00000c46: PUSH1 0x00
00000c48: KECCAK256
00000c49: ADD
00000c4a: PUSH1 0x00
00000c4c: SWAP1
00000c4d: SLOAD
00000c4e: SWAP1
00000c4f: PUSH2 0x0100
00000c52: EXP
00000c53: SWAP1
00000c54: DIV
00000c55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6a: AND
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: AND
00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c96: AND
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: ADD
00000c9c: SWAP1
00000c9d: DUP2
00000c9e: MSTORE
00000c9f: PUSH1 0x20
00000ca1: ADD
00000ca2: PUSH1 0x00
00000ca4: KECCAK256
00000ca5: PUSH1 0x00
00000ca7: SWAP1
00000ca8: SLOAD
00000ca9: SWAP1
00000caa: PUSH2 0x0100
00000cad: EXP
00000cae: SWAP1
00000caf: DIV
00000cb0: PUSH1 0xff
00000cb2: AND
00000cb3: ISZERO
00000cb4: PUSH2 0x0cc7
00000cb7: JUMPI
00000cb8: PUSH1 0x01
00000cba: DUP3
00000cbb: PUSH2 0x0cc4
00000cbe: SWAP2
00000cbf: SWAP1
00000cc0: PUSH2 0x2bbb
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: SWAP2
00000cc6: POP
00000cc7: JUMPDEST
00000cc8: PUSH1 0x02
00000cca: SLOAD
00000ccb: DUP3
00000ccc: LT
00000ccd: PUSH2 0x0cdb
00000cd0: JUMPI
00000cd1: PUSH1 0x01
00000cd3: SWAP3
00000cd4: POP
00000cd5: POP
00000cd6: POP
00000cd7: PUSH2 0x0cf5
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: DUP1
00000cdd: DUP1
00000cde: PUSH2 0x0ce6
00000ce1: SWAP1
00000ce2: PUSH2 0x2d17
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: SWAP2
00000ce8: POP
00000ce9: POP
00000cea: PUSH2 0x0be3
00000ced: JUMP
00000cee: JUMPDEST
00000cef: POP
00000cf0: PUSH1 0x00
00000cf2: SWAP2
00000cf3: POP
00000cf4: POP
00000cf5: JUMPDEST
00000cf6: SWAP2
00000cf7: SWAP1
00000cf8: POP
00000cf9: JUMP
00000cfa: JUMPDEST
00000cfb: PUSH1 0x00
00000cfd: PUSH1 0x01
00000cff: PUSH1 0x00
00000d01: SWAP1
00000d02: SLOAD
00000d03: SWAP1
00000d04: PUSH2 0x0100
00000d07: EXP
00000d08: SWAP1
00000d09: DIV
00000d0a: PUSH1 0xff
00000d0c: AND
00000d0d: SWAP1
00000d0e: POP
00000d0f: SWAP1
00000d10: JUMP
00000d11: JUMPDEST
00000d12: ADDRESS
00000d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d28: AND
00000d29: CALLER
00000d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3f: AND
00000d40: EQ
00000d41: PUSH2 0x0d7f
00000d44: JUMPI
00000d45: PUSH1 0x40
00000d47: MLOAD
00000d48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d69: DUP2
00000d6a: MSTORE
00000d6b: PUSH1 0x04
00000d6d: ADD
00000d6e: PUSH2 0x0d76
00000d71: SWAP1
00000d72: PUSH2 0x296a
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: DUP1
00000d7b: SWAP2
00000d7c: SUB
00000d7d: SWAP1
00000d7e: REVERT
00000d7f: JUMPDEST
00000d80: PUSH1 0x00
00000d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d97: AND
00000d98: DUP2
00000d99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dae: AND
00000daf: EQ
00000db0: ISZERO
00000db1: PUSH2 0x0def
00000db4: JUMPI
00000db5: PUSH1 0x40
00000db7: MLOAD
00000db8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH1 0x04
00000ddd: ADD
00000dde: PUSH2 0x0de6
00000de1: SWAP1
00000de2: PUSH2 0x290a
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x40
00000de9: MLOAD
00000dea: DUP1
00000deb: SWAP2
00000dec: SUB
00000ded: SWAP1
00000dee: REVERT
00000def: JUMPDEST
00000df0: PUSH1 0x01
00000df2: PUSH1 0x04
00000df4: PUSH1 0x00
00000df6: DUP4
00000df7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0c: AND
00000e0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e22: AND
00000e23: DUP2
00000e24: MSTORE
00000e25: PUSH1 0x20
00000e27: ADD
00000e28: SWAP1
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: ADD
00000e2e: PUSH1 0x00
00000e30: KECCAK256
00000e31: PUSH1 0x00
00000e33: PUSH2 0x0100
00000e36: EXP
00000e37: DUP2
00000e38: SLOAD
00000e39: DUP2
00000e3a: PUSH1 0xff
00000e3c: MUL
00000e3d: NOT
00000e3e: AND
00000e3f: SWAP1
00000e40: DUP4
00000e41: ISZERO
00000e42: ISZERO
00000e43: MUL
00000e44: OR
00000e45: SWAP1
00000e46: SSTORE
00000e47: POP
00000e48: PUSH1 0x03
00000e4a: DUP2
00000e4b: SWAP1
00000e4c: DUP1
00000e4d: PUSH1 0x01
00000e4f: DUP2
00000e50: SLOAD
00000e51: ADD
00000e52: DUP1
00000e53: DUP3
00000e54: SSTORE
00000e55: DUP1
00000e56: SWAP2
00000e57: POP
00000e58: POP
00000e59: PUSH1 0x01
00000e5b: SWAP1
00000e5c: SUB
00000e5d: SWAP1
00000e5e: PUSH1 0x00
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: PUSH1 0x00
00000e65: KECCAK256
00000e66: ADD
00000e67: PUSH1 0x00
00000e69: SWAP1
00000e6a: SWAP2
00000e6b: SWAP1
00000e6c: SWAP2
00000e6d: SWAP1
00000e6e: SWAP2
00000e6f: PUSH2 0x0100
00000e72: EXP
00000e73: DUP2
00000e74: SLOAD
00000e75: DUP2
00000e76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8b: MUL
00000e8c: NOT
00000e8d: AND
00000e8e: SWAP1
00000e8f: DUP4
00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea5: AND
00000ea6: MUL
00000ea7: OR
00000ea8: SWAP1
00000ea9: SSTORE
00000eaa: POP
00000eab: DUP1
00000eac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec1: AND
00000ec2: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000ee3: PUSH1 0x40
00000ee5: MLOAD
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: DUP1
00000eea: SWAP2
00000eeb: SUB
00000eec: SWAP1
00000eed: LOG2
00000eee: POP
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH1 0x00
00000ef3: DUP1
00000ef4: PUSH1 0x01
00000ef6: PUSH1 0x00
00000ef8: SWAP1
00000ef9: SLOAD
00000efa: SWAP1
00000efb: PUSH2 0x0100
00000efe: EXP
00000eff: SWAP1
00000f00: DIV
00000f01: PUSH1 0xff
00000f03: AND
00000f04: ISZERO
00000f05: PUSH2 0x0f43
00000f08: JUMPI
00000f09: PUSH1 0x40
00000f0b: MLOAD
00000f0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x04
00000f31: ADD
00000f32: PUSH2 0x0f3a
00000f35: SWAP1
00000f36: PUSH2 0x2a2a
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: DUP1
00000f3f: SWAP2
00000f40: SUB
00000f41: SWAP1
00000f42: REVERT
00000f43: JUMPDEST
00000f44: PUSH1 0x00
00000f46: PUSH2 0x0f52
00000f49: DUP10
00000f4a: DUP10
00000f4b: DUP10
00000f4c: DUP10
00000f4d: DUP10
00000f4e: PUSH2 0x0b61
00000f51: JUMP
00000f52: JUMPDEST
00000f53: SWAP1
00000f54: POP
00000f55: PUSH1 0x05
00000f57: PUSH1 0x00
00000f59: DUP3
00000f5a: DUP2
00000f5b: MSTORE
00000f5c: PUSH1 0x20
00000f5e: ADD
00000f5f: SWAP1
00000f60: DUP2
00000f61: MSTORE
00000f62: PUSH1 0x20
00000f64: ADD
00000f65: PUSH1 0x00
00000f67: KECCAK256
00000f68: PUSH1 0x00
00000f6a: SWAP1
00000f6b: SLOAD
00000f6c: SWAP1
00000f6d: PUSH2 0x0100
00000f70: EXP
00000f71: SWAP1
00000f72: DIV
00000f73: PUSH1 0xff
00000f75: AND
00000f76: ISZERO
00000f77: PUSH2 0x0fb5
00000f7a: JUMPI
00000f7b: PUSH1 0x40
00000f7d: MLOAD
00000f7e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: PUSH1 0x04
00000fa3: ADD
00000fa4: PUSH2 0x0fac
00000fa7: SWAP1
00000fa8: PUSH2 0x298a
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH1 0x40
00000faf: MLOAD
00000fb0: DUP1
00000fb1: SWAP2
00000fb2: SUB
00000fb3: SWAP1
00000fb4: REVERT
00000fb5: JUMPDEST
00000fb6: PUSH1 0x00
00000fb8: JUMPDEST
00000fb9: DUP5
00000fba: MLOAD
00000fbb: DUP2
00000fbc: LT
00000fbd: ISZERO
00000fbe: PUSH2 0x1164
00000fc1: JUMPI
00000fc2: PUSH1 0x00
00000fc4: PUSH2 0x100d
00000fc7: DUP4
00000fc8: DUP8
00000fc9: DUP5
00000fca: DUP2
00000fcb: MLOAD
00000fcc: DUP2
00000fcd: LT
00000fce: PUSH2 0x1000
00000fd1: JUMPI
00000fd2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000ff3: PUSH1 0x00
00000ff5: MSTORE
00000ff6: PUSH1 0x32
00000ff8: PUSH1 0x04
00000ffa: MSTORE
00000ffb: PUSH1 0x24
00000ffd: PUSH1 0x00
00000fff: REVERT
00001000: JUMPDEST
00001001: PUSH1 0x20
00001003: MUL
00001004: PUSH1 0x20
00001006: ADD
00001007: ADD
00001008: MLOAD
00001009: PUSH2 0x1364
0000100c: JUMP
0000100d: JUMPDEST
0000100e: SWAP1
0000100f: POP
00001010: PUSH1 0x04
00001012: PUSH1 0x00
00001014: DUP3
00001015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102a: AND
0000102b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001040: AND
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: ADD
00001046: SWAP1
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x20
0000104b: ADD
0000104c: PUSH1 0x00
0000104e: KECCAK256
0000104f: PUSH1 0x00
00001051: SWAP1
00001052: SLOAD
00001053: SWAP1
00001054: PUSH2 0x0100
00001057: EXP
00001058: SWAP1
00001059: DIV
0000105a: PUSH1 0xff
0000105c: AND
0000105d: PUSH2 0x10a6
00001060: JUMPI
00001061: DUP10
00001062: DUP12
00001063: DUP5
00001064: PUSH32 0xf2aad78d860aa17fa950f0583184f1ad864ac081f7e9756e745889989c272272
00001085: DUP5
00001086: DUP14
00001087: DUP14
00001088: DUP14
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: PUSH2 0x1098
0000108f: SWAP5
00001090: SWAP4
00001091: SWAP3
00001092: SWAP2
00001093: SWAP1
00001094: PUSH2 0x279a
00001097: JUMP
00001098: JUMPDEST
00001099: PUSH1 0x40
0000109b: MLOAD
0000109c: DUP1
0000109d: SWAP2
0000109e: SUB
0000109f: SWAP1
000010a0: LOG4
000010a1: POP
000010a2: PUSH2 0x1151
000010a5: JUMP
000010a6: JUMPDEST
000010a7: PUSH1 0x01
000010a9: PUSH1 0x06
000010ab: PUSH1 0x00
000010ad: DUP6
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: SWAP1
000010b4: DUP2
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: ADD
000010b9: PUSH1 0x00
000010bb: KECCAK256
000010bc: PUSH1 0x00
000010be: DUP4
000010bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d4: AND
000010d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ea: AND
000010eb: DUP2
000010ec: MSTORE
000010ed: PUSH1 0x20
000010ef: ADD
000010f0: SWAP1
000010f1: DUP2
000010f2: MSTORE
000010f3: PUSH1 0x20
000010f5: ADD
000010f6: PUSH1 0x00
000010f8: KECCAK256
000010f9: PUSH1 0x00
000010fb: PUSH2 0x0100
000010fe: EXP
000010ff: DUP2
00001100: SLOAD
00001101: DUP2
00001102: PUSH1 0xff
00001104: MUL
00001105: NOT
00001106: AND
00001107: SWAP1
00001108: DUP4
00001109: ISZERO
0000110a: ISZERO
0000110b: MUL
0000110c: OR
0000110d: SWAP1
0000110e: SSTORE
0000110f: POP
00001110: DUP10
00001111: DUP12
00001112: DUP5
00001113: PUSH32 0x6b2ff102783b949a80c4ab627af2d78fcd002559f765cfdb1485818ec4490d62
00001134: DUP5
00001135: DUP14
00001136: DUP14
00001137: DUP14
00001138: PUSH1 0x40
0000113a: MLOAD
0000113b: PUSH2 0x1147
0000113e: SWAP5
0000113f: SWAP4
00001140: SWAP3
00001141: SWAP2
00001142: SWAP1
00001143: PUSH2 0x279a
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH1 0x40
0000114a: MLOAD
0000114b: DUP1
0000114c: SWAP2
0000114d: SUB
0000114e: SWAP1
0000114f: LOG4
00001150: POP
00001151: JUMPDEST
00001152: DUP1
00001153: DUP1
00001154: PUSH2 0x115c
00001157: SWAP1
00001158: PUSH2 0x2d17
0000115b: JUMP
0000115c: JUMPDEST
0000115d: SWAP2
0000115e: POP
0000115f: POP
00001160: PUSH2 0x0fb8
00001163: JUMP
00001164: JUMPDEST
00001165: POP
00001166: PUSH2 0x116e
00001169: DUP2
0000116a: PUSH2 0x0bd9
0000116d: JUMP
0000116e: JUMPDEST
0000116f: PUSH2 0x117f
00001172: JUMPI
00001173: DUP1
00001174: PUSH1 0x00
00001176: SWAP3
00001177: POP
00001178: SWAP3
00001179: POP
0000117a: POP
0000117b: PUSH2 0x12ab
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH1 0x01
00001182: PUSH1 0x05
00001184: PUSH1 0x00
00001186: DUP4
00001187: DUP2
00001188: MSTORE
00001189: PUSH1 0x20
0000118b: ADD
0000118c: SWAP1
0000118d: DUP2
0000118e: MSTORE
0000118f: PUSH1 0x20
00001191: ADD
00001192: PUSH1 0x00
00001194: KECCAK256
00001195: PUSH1 0x00
00001197: PUSH2 0x0100
0000119a: EXP
0000119b: DUP2
0000119c: SLOAD
0000119d: DUP2
0000119e: PUSH1 0xff
000011a0: MUL
000011a1: NOT
000011a2: AND
000011a3: SWAP1
000011a4: DUP4
000011a5: ISZERO
000011a6: ISZERO
000011a7: MUL
000011a8: OR
000011a9: SWAP1
000011aa: SSTORE
000011ab: POP
000011ac: PUSH1 0x00
000011ae: DUP8
000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c4: AND
000011c5: DUP8
000011c6: DUP8
000011c7: PUSH1 0x40
000011c9: MLOAD
000011ca: PUSH2 0x11d3
000011cd: SWAP2
000011ce: SWAP1
000011cf: PUSH2 0x26c5
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH1 0x00
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: DUP1
000011da: DUP4
000011db: SUB
000011dc: DUP2
000011dd: DUP6
000011de: DUP8
000011df: GAS
000011e0: CALL
000011e1: SWAP3
000011e2: POP
000011e3: POP
000011e4: POP
000011e5: RETURNDATASIZE
000011e6: DUP1
000011e7: PUSH1 0x00
000011e9: DUP2
000011ea: EQ
000011eb: PUSH2 0x1210
000011ee: JUMPI
000011ef: PUSH1 0x40
000011f1: MLOAD
000011f2: SWAP2
000011f3: POP
000011f4: PUSH1 0x1f
000011f6: NOT
000011f7: PUSH1 0x3f
000011f9: RETURNDATASIZE
000011fa: ADD
000011fb: AND
000011fc: DUP3
000011fd: ADD
000011fe: PUSH1 0x40
00001200: MSTORE
00001201: RETURNDATASIZE
00001202: DUP3
00001203: MSTORE
00001204: RETURNDATASIZE
00001205: PUSH1 0x00
00001207: PUSH1 0x20
00001209: DUP5
0000120a: ADD
0000120b: RETURNDATACOPY
0000120c: PUSH2 0x1215
0000120f: JUMP
00001210: JUMPDEST
00001211: PUSH1 0x60
00001213: SWAP2
00001214: POP
00001215: JUMPDEST
00001216: POP
00001217: POP
00001218: SWAP1
00001219: POP
0000121a: DUP1
0000121b: ISZERO
0000121c: PUSH2 0x1262
0000121f: JUMPI
00001220: DUP9
00001221: DUP11
00001222: DUP4
00001223: PUSH32 0xcb0138e3894e205a4f7f987e8e509b35c3c6867838e8e3631d7b29dd7e6a7625
00001244: DUP12
00001245: DUP12
00001246: DUP12
00001247: PUSH1 0x40
00001249: MLOAD
0000124a: PUSH2 0x1255
0000124d: SWAP4
0000124e: SWAP3
0000124f: SWAP2
00001250: SWAP1
00001251: PUSH2 0x27e6
00001254: JUMP
00001255: JUMPDEST
00001256: PUSH1 0x40
00001258: MLOAD
00001259: DUP1
0000125a: SWAP2
0000125b: SUB
0000125c: SWAP1
0000125d: LOG4
0000125e: PUSH2 0x12a1
00001261: JUMP
00001262: JUMPDEST
00001263: DUP9
00001264: DUP11
00001265: DUP4
00001266: PUSH32 0x6708b4f8ef3036e3069ad565c4e6ca9cca6891e5c1030ece4b6f994df59242fe
00001287: DUP12
00001288: DUP12
00001289: DUP12
0000128a: PUSH1 0x40
0000128c: MLOAD
0000128d: PUSH2 0x1298
00001290: SWAP4
00001291: SWAP3
00001292: SWAP2
00001293: SWAP1
00001294: PUSH2 0x27e6
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x40
0000129b: MLOAD
0000129c: DUP1
0000129d: SWAP2
0000129e: SUB
0000129f: SWAP1
000012a0: LOG4
000012a1: JUMPDEST
000012a2: DUP2
000012a3: PUSH1 0x01
000012a5: SWAP4
000012a6: POP
000012a7: SWAP4
000012a8: POP
000012a9: POP
000012aa: POP
000012ab: JUMPDEST
000012ac: SWAP7
000012ad: POP
000012ae: SWAP7
000012af: SWAP5
000012b0: POP
000012b1: POP
000012b2: POP
000012b3: POP
000012b4: POP
000012b5: JUMP
000012b6: JUMPDEST
000012b7: PUSH1 0x60
000012b9: PUSH1 0x03
000012bb: DUP1
000012bc: SLOAD
000012bd: DUP1
000012be: PUSH1 0x20
000012c0: MUL
000012c1: PUSH1 0x20
000012c3: ADD
000012c4: PUSH1 0x40
000012c6: MLOAD
000012c7: SWAP1
000012c8: DUP2
000012c9: ADD
000012ca: PUSH1 0x40
000012cc: MSTORE
000012cd: DUP1
000012ce: SWAP3
000012cf: SWAP2
000012d0: SWAP1
000012d1: DUP2
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x20
000012d6: ADD
000012d7: DUP3
000012d8: DUP1
000012d9: SLOAD
000012da: DUP1
000012db: ISZERO
000012dc: PUSH2 0x133a
000012df: JUMPI
000012e0: PUSH1 0x20
000012e2: MUL
000012e3: DUP3
000012e4: ADD
000012e5: SWAP2
000012e6: SWAP1
000012e7: PUSH1 0x00
000012e9: MSTORE
000012ea: PUSH1 0x20
000012ec: PUSH1 0x00
000012ee: KECCAK256
000012ef: SWAP1
000012f0: JUMPDEST
000012f1: DUP2
000012f2: PUSH1 0x00
000012f4: SWAP1
000012f5: SLOAD
000012f6: SWAP1
000012f7: PUSH2 0x0100
000012fa: EXP
000012fb: SWAP1
000012fc: DIV
000012fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001312: AND
00001313: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001328: AND
00001329: DUP2
0000132a: MSTORE
0000132b: PUSH1 0x20
0000132d: ADD
0000132e: SWAP1
0000132f: PUSH1 0x01
00001331: ADD
00001332: SWAP1
00001333: DUP1
00001334: DUP4
00001335: GT
00001336: PUSH2 0x12f0
00001339: JUMPI
0000133a: JUMPDEST
0000133b: POP
0000133c: POP
0000133d: POP
0000133e: POP
0000133f: POP
00001340: SWAP1
00001341: POP
00001342: SWAP1
00001343: JUMP
00001344: JUMPDEST
00001345: PUSH1 0x05
00001347: PUSH1 0x20
00001349: MSTORE
0000134a: DUP1
0000134b: PUSH1 0x00
0000134d: MSTORE
0000134e: PUSH1 0x40
00001350: PUSH1 0x00
00001352: KECCAK256
00001353: PUSH1 0x00
00001355: SWAP2
00001356: POP
00001357: SLOAD
00001358: SWAP1
00001359: PUSH2 0x0100
0000135c: EXP
0000135d: SWAP1
0000135e: DIV
0000135f: PUSH1 0xff
00001361: AND
00001362: DUP2
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH1 0x00
00001367: PUSH1 0x41
00001369: DUP3
0000136a: MLOAD
0000136b: EQ
0000136c: PUSH2 0x13aa
0000136f: JUMPI
00001370: PUSH1 0x40
00001372: MLOAD
00001373: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001394: DUP2
00001395: MSTORE
00001396: PUSH1 0x04
00001398: ADD
00001399: PUSH2 0x13a1
0000139c: SWAP1
0000139d: PUSH2 0x2a0a
000013a0: JUMP
000013a1: JUMPDEST
000013a2: PUSH1 0x40
000013a4: MLOAD
000013a5: DUP1
000013a6: SWAP2
000013a7: SUB
000013a8: SWAP1
000013a9: REVERT
000013aa: JUMPDEST
000013ab: PUSH1 0x00
000013ad: DUP1
000013ae: PUSH1 0x00
000013b0: PUSH1 0x20
000013b2: DUP6
000013b3: ADD
000013b4: MLOAD
000013b5: SWAP2
000013b6: POP
000013b7: PUSH1 0x40
000013b9: DUP6
000013ba: ADD
000013bb: MLOAD
000013bc: SWAP1
000013bd: POP
000013be: PUSH1 0x60
000013c0: DUP6
000013c1: ADD
000013c2: MLOAD
000013c3: PUSH1 0x00
000013c5: BYTE
000013c6: SWAP3
000013c7: POP
000013c8: PUSH1 0x1b
000013ca: DUP4
000013cb: PUSH1 0xff
000013cd: AND
000013ce: EQ
000013cf: DUP1
000013d0: PUSH2 0x13dc
000013d3: JUMPI
000013d4: POP
000013d5: PUSH1 0x1c
000013d7: DUP4
000013d8: PUSH1 0xff
000013da: AND
000013db: EQ
000013dc: JUMPDEST
000013dd: PUSH2 0x141b
000013e0: JUMPI
000013e1: PUSH1 0x40
000013e3: MLOAD
000013e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x04
00001409: ADD
0000140a: PUSH2 0x1412
0000140d: SWAP1
0000140e: PUSH2 0x28ea
00001411: JUMP
00001412: JUMPDEST
00001413: PUSH1 0x40
00001415: MLOAD
00001416: DUP1
00001417: SWAP2
00001418: SUB
00001419: SWAP1
0000141a: REVERT
0000141b: JUMPDEST
0000141c: PUSH1 0x01
0000141e: DUP7
0000141f: PUSH1 0x40
00001421: MLOAD
00001422: PUSH1 0x20
00001424: ADD
00001425: PUSH2 0x142e
00001428: SWAP2
00001429: SWAP1
0000142a: PUSH2 0x26dc
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x40
00001431: MLOAD
00001432: PUSH1 0x20
00001434: DUP2
00001435: DUP4
00001436: SUB
00001437: SUB
00001438: DUP2
00001439: MSTORE
0000143a: SWAP1
0000143b: PUSH1 0x40
0000143d: MSTORE
0000143e: DUP1
0000143f: MLOAD
00001440: SWAP1
00001441: PUSH1 0x20
00001443: ADD
00001444: KECCAK256
00001445: DUP5
00001446: DUP5
00001447: DUP5
00001448: PUSH1 0x40
0000144a: MLOAD
0000144b: PUSH1 0x00
0000144d: DUP2
0000144e: MSTORE
0000144f: PUSH1 0x20
00001451: ADD
00001452: PUSH1 0x40
00001454: MSTORE
00001455: PUSH1 0x40
00001457: MLOAD
00001458: PUSH2 0x1464
0000145b: SWAP5
0000145c: SWAP4
0000145d: SWAP3
0000145e: SWAP2
0000145f: SWAP1
00001460: PUSH2 0x28a5
00001463: JUMP
00001464: JUMPDEST
00001465: PUSH1 0x20
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: PUSH1 0x20
0000146c: DUP2
0000146d: SUB
0000146e: SWAP1
0000146f: DUP1
00001470: DUP5
00001471: SUB
00001472: SWAP1
00001473: DUP6
00001474: GAS
00001475: STATICCALL
00001476: ISZERO
00001477: DUP1
00001478: ISZERO
00001479: PUSH2 0x1486
0000147c: JUMPI
0000147d: RETURNDATASIZE
0000147e: PUSH1 0x00
00001480: DUP1
00001481: RETURNDATACOPY
00001482: RETURNDATASIZE
00001483: PUSH1 0x00
00001485: REVERT
00001486: JUMPDEST
00001487: POP
00001488: POP
00001489: POP
0000148a: PUSH1 0x20
0000148c: PUSH1 0x40
0000148e: MLOAD
0000148f: SUB
00001490: MLOAD
00001491: SWAP4
00001492: POP
00001493: POP
00001494: POP
00001495: POP
00001496: SWAP3
00001497: SWAP2
00001498: POP
00001499: POP
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH1 0x00
0000149e: SLOAD
0000149f: DUP2
000014a0: JUMP
000014a1: JUMPDEST
000014a2: ADDRESS
000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b8: AND
000014b9: CALLER
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: AND
000014d0: EQ
000014d1: PUSH2 0x150f
000014d4: JUMPI
000014d5: PUSH1 0x40
000014d7: MLOAD
000014d8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014f9: DUP2
000014fa: MSTORE
000014fb: PUSH1 0x04
000014fd: ADD
000014fe: PUSH2 0x1506
00001501: SWAP1
00001502: PUSH2 0x296a
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH1 0x40
00001509: MLOAD
0000150a: DUP1
0000150b: SWAP2
0000150c: SUB
0000150d: SWAP1
0000150e: REVERT
0000150f: JUMPDEST
00001510: PUSH1 0x00
00001512: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001527: AND
00001528: DUP2
00001529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153e: AND
0000153f: EQ
00001540: ISZERO
00001541: PUSH2 0x157f
00001544: JUMPI
00001545: PUSH1 0x40
00001547: MLOAD
00001548: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001569: DUP2
0000156a: MSTORE
0000156b: PUSH1 0x04
0000156d: ADD
0000156e: PUSH2 0x1576
00001571: SWAP1
00001572: PUSH2 0x290a
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x40
00001579: MLOAD
0000157a: DUP1
0000157b: SWAP2
0000157c: SUB
0000157d: SWAP1
0000157e: REVERT
0000157f: JUMPDEST
00001580: DUP1
00001581: PUSH1 0x01
00001583: DUP1
00001584: PUSH2 0x0100
00001587: EXP
00001588: DUP2
00001589: SLOAD
0000158a: DUP2
0000158b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a0: MUL
000015a1: NOT
000015a2: AND
000015a3: SWAP1
000015a4: DUP4
000015a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ba: AND
000015bb: MUL
000015bc: OR
000015bd: SWAP1
000015be: SSTORE
000015bf: POP
000015c0: PUSH1 0x01
000015c2: DUP1
000015c3: SLOAD
000015c4: SWAP1
000015c5: PUSH2 0x0100
000015c8: EXP
000015c9: SWAP1
000015ca: DIV
000015cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e0: AND
000015e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015f6: AND
000015f7: PUSH32 0xbd7710a03c180a8b183b40b7bb2253265dc19f8a293dc6ccc601be7ae540e554
00001618: PUSH1 0x40
0000161a: MLOAD
0000161b: PUSH1 0x40
0000161d: MLOAD
0000161e: DUP1
0000161f: SWAP2
00001620: SUB
00001621: SWAP1
00001622: LOG2
00001623: POP
00001624: JUMP
00001625: JUMPDEST
00001626: ADDRESS
00001627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163c: AND
0000163d: CALLER
0000163e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001653: AND
00001654: EQ
00001655: PUSH2 0x1693
00001658: JUMPI
00001659: PUSH1 0x40
0000165b: MLOAD
0000165c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000167d: DUP2
0000167e: MSTORE
0000167f: PUSH1 0x04
00001681: ADD
00001682: PUSH2 0x168a
00001685: SWAP1
00001686: PUSH2 0x296a
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH1 0x40
0000168d: MLOAD
0000168e: DUP1
0000168f: SWAP2
00001690: SUB
00001691: SWAP1
00001692: REVERT
00001693: JUMPDEST
00001694: PUSH1 0x03
00001696: DUP1
00001697: SLOAD
00001698: SWAP1
00001699: POP
0000169a: DUP2
0000169b: DUP1
0000169c: DUP3
0000169d: LT
0000169e: ISZERO
0000169f: DUP1
000016a0: ISZERO
000016a1: PUSH2 0x16ab
000016a4: JUMPI
000016a5: POP
000016a6: PUSH1 0x00
000016a8: DUP3
000016a9: EQ
000016aa: ISZERO
000016ab: JUMPDEST
000016ac: DUP1
000016ad: ISZERO
000016ae: PUSH2 0x16b8
000016b1: JUMPI
000016b2: POP
000016b3: PUSH1 0x00
000016b5: DUP2
000016b6: EQ
000016b7: ISZERO
000016b8: JUMPDEST
000016b9: PUSH2 0x16f7
000016bc: JUMPI
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016e1: DUP2
000016e2: MSTORE
000016e3: PUSH1 0x04
000016e5: ADD
000016e6: PUSH2 0x16ee
000016e9: SWAP1
000016ea: PUSH2 0x294a
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH1 0x40
000016f1: MLOAD
000016f2: DUP1
000016f3: SWAP2
000016f4: SUB
000016f5: SWAP1
000016f6: REVERT
000016f7: JUMPDEST
000016f8: DUP3
000016f9: PUSH1 0x02
000016fb: DUP2
000016fc: SWAP1
000016fd: SSTORE
000016fe: POP
000016ff: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
00001720: DUP4
00001721: PUSH1 0x40
00001723: MLOAD
00001724: PUSH2 0x172d
00001727: SWAP2
00001728: SWAP1
00001729: PUSH2 0x2a4a
0000172c: JUMP
0000172d: JUMPDEST
0000172e: PUSH1 0x40
00001730: MLOAD
00001731: DUP1
00001732: SWAP2
00001733: SUB
00001734: SWAP1
00001735: LOG1
00001736: POP
00001737: POP
00001738: POP
00001739: JUMP
0000173a: JUMPDEST
0000173b: PUSH1 0x02
0000173d: SLOAD
0000173e: DUP2
0000173f: JUMP
00001740: JUMPDEST
00001741: ADDRESS
00001742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001757: AND
00001758: CALLER
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: EQ
00001770: PUSH2 0x17ae
00001773: JUMPI
00001774: PUSH1 0x40
00001776: MLOAD
00001777: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x04
0000179c: ADD
0000179d: PUSH2 0x17a5
000017a0: SWAP1
000017a1: PUSH2 0x296a
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH1 0x40
000017a8: MLOAD
000017a9: DUP1
000017aa: SWAP2
000017ab: SUB
000017ac: SWAP1
000017ad: REVERT
000017ae: JUMPDEST
000017af: DUP2
000017b0: MLOAD
000017b1: DUP4
000017b2: MLOAD
000017b3: EQ
000017b4: PUSH2 0x17f2
000017b7: JUMPI
000017b8: PUSH1 0x40
000017ba: MLOAD
000017bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017dc: DUP2
000017dd: MSTORE
000017de: PUSH1 0x04
000017e0: ADD
000017e1: PUSH2 0x17e9
000017e4: SWAP1
000017e5: PUSH2 0x292a
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH1 0x40
000017ec: MLOAD
000017ed: DUP1
000017ee: SWAP2
000017ef: SUB
000017f0: SWAP1
000017f1: REVERT
000017f2: JUMPDEST
000017f3: DUP1
000017f4: MLOAD
000017f5: DUP4
000017f6: MLOAD
000017f7: EQ
000017f8: PUSH2 0x1836
000017fb: JUMPI
000017fc: PUSH1 0x40
000017fe: MLOAD
000017ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001820: DUP2
00001821: MSTORE
00001822: PUSH1 0x04
00001824: ADD
00001825: PUSH2 0x182d
00001828: SWAP1
00001829: PUSH2 0x292a
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH1 0x40
00001830: MLOAD
00001831: DUP1
00001832: SWAP2
00001833: SUB
00001834: SWAP1
00001835: REVERT
00001836: JUMPDEST
00001837: PUSH1 0x00
00001839: JUMPDEST
0000183a: DUP4
0000183b: MLOAD
0000183c: DUP2
0000183d: LT
0000183e: ISZERO
0000183f: PUSH2 0x19c4
00001842: JUMPI
00001843: PUSH1 0x00
00001845: DUP5
00001846: DUP3
00001847: DUP2
00001848: MLOAD
00001849: DUP2
0000184a: LT
0000184b: PUSH2 0x187d
0000184e: JUMPI
0000184f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001870: PUSH1 0x00
00001872: MSTORE
00001873: PUSH1 0x32
00001875: PUSH1 0x04
00001877: MSTORE
00001878: PUSH1 0x24
0000187a: PUSH1 0x00
0000187c: REVERT
0000187d: JUMPDEST
0000187e: PUSH1 0x20
00001880: MUL
00001881: PUSH1 0x20
00001883: ADD
00001884: ADD
00001885: MLOAD
00001886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189b: AND
0000189c: DUP5
0000189d: DUP4
0000189e: DUP2
0000189f: MLOAD
000018a0: DUP2
000018a1: LT
000018a2: PUSH2 0x18d4
000018a5: JUMPI
000018a6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000018c7: PUSH1 0x00
000018c9: MSTORE
000018ca: PUSH1 0x32
000018cc: PUSH1 0x04
000018ce: MSTORE
000018cf: PUSH1 0x24
000018d1: PUSH1 0x00
000018d3: REVERT
000018d4: JUMPDEST
000018d5: PUSH1 0x20
000018d7: MUL
000018d8: PUSH1 0x20
000018da: ADD
000018db: ADD
000018dc: MLOAD
000018dd: DUP5
000018de: DUP5
000018df: DUP2
000018e0: MLOAD
000018e1: DUP2
000018e2: LT
000018e3: PUSH2 0x1915
000018e6: JUMPI
000018e7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001908: PUSH1 0x00
0000190a: MSTORE
0000190b: PUSH1 0x32
0000190d: PUSH1 0x04
0000190f: MSTORE
00001910: PUSH1 0x24
00001912: PUSH1 0x00
00001914: REVERT
00001915: JUMPDEST
00001916: PUSH1 0x20
00001918: MUL
00001919: PUSH1 0x20
0000191b: ADD
0000191c: ADD
0000191d: MLOAD
0000191e: PUSH1 0x40
00001920: MLOAD
00001921: PUSH2 0x192a
00001924: SWAP2
00001925: SWAP1
00001926: PUSH2 0x26c5
00001929: JUMP
0000192a: JUMPDEST
0000192b: PUSH1 0x00
0000192d: PUSH1 0x40
0000192f: MLOAD
00001930: DUP1
00001931: DUP4
00001932: SUB
00001933: DUP2
00001934: DUP6
00001935: DUP8
00001936: GAS
00001937: CALL
00001938: SWAP3
00001939: POP
0000193a: POP
0000193b: POP
0000193c: RETURNDATASIZE
0000193d: DUP1
0000193e: PUSH1 0x00
00001940: DUP2
00001941: EQ
00001942: PUSH2 0x1967
00001945: JUMPI
00001946: PUSH1 0x40
00001948: MLOAD
00001949: SWAP2
0000194a: POP
0000194b: PUSH1 0x1f
0000194d: NOT
0000194e: PUSH1 0x3f
00001950: RETURNDATASIZE
00001951: ADD
00001952: AND
00001953: DUP3
00001954: ADD
00001955: PUSH1 0x40
00001957: MSTORE
00001958: RETURNDATASIZE
00001959: DUP3
0000195a: MSTORE
0000195b: RETURNDATASIZE
0000195c: PUSH1 0x00
0000195e: PUSH1 0x20
00001960: DUP5
00001961: ADD
00001962: RETURNDATACOPY
00001963: PUSH2 0x196c
00001966: JUMP
00001967: JUMPDEST
00001968: PUSH1 0x60
0000196a: SWAP2
0000196b: POP
0000196c: JUMPDEST
0000196d: POP
0000196e: POP
0000196f: SWAP1
00001970: POP
00001971: DUP1
00001972: PUSH2 0x19b0
00001975: JUMPI
00001976: PUSH1 0x40
00001978: MLOAD
00001979: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000199a: DUP2
0000199b: MSTORE
0000199c: PUSH1 0x04
0000199e: ADD
0000199f: PUSH2 0x19a7
000019a2: SWAP1
000019a3: PUSH2 0x29ea
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x40
000019aa: MLOAD
000019ab: DUP1
000019ac: SWAP2
000019ad: SUB
000019ae: SWAP1
000019af: REVERT
000019b0: JUMPDEST
000019b1: POP
000019b2: DUP1
000019b3: DUP1
000019b4: PUSH2 0x19bc
000019b7: SWAP1
000019b8: PUSH2 0x2d17
000019bb: JUMP
000019bc: JUMPDEST
000019bd: SWAP2
000019be: POP
000019bf: POP
000019c0: PUSH2 0x1839
000019c3: JUMP
000019c4: JUMPDEST
000019c5: POP
000019c6: POP
000019c7: POP
000019c8: POP
000019c9: JUMP
000019ca: JUMPDEST
000019cb: ADDRESS
000019cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e1: AND
000019e2: CALLER
000019e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f8: AND
000019f9: EQ
000019fa: PUSH2 0x1a38
000019fd: JUMPI
000019fe: PUSH1 0x40
00001a00: MLOAD
00001a01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a22: DUP2
00001a23: MSTORE
00001a24: PUSH1 0x04
00001a26: ADD
00001a27: PUSH2 0x1a2f
00001a2a: SWAP1
00001a2b: PUSH2 0x296a
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: PUSH1 0x40
00001a32: MLOAD
00001a33: DUP1
00001a34: SWAP2
00001a35: SUB
00001a36: SWAP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: PUSH1 0x04
00001a3b: PUSH1 0x00
00001a3d: DUP4
00001a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a53: AND
00001a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a69: AND
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: PUSH1 0x20
00001a6e: ADD
00001a6f: SWAP1
00001a70: DUP2
00001a71: MSTORE
00001a72: PUSH1 0x20
00001a74: ADD
00001a75: PUSH1 0x00
00001a77: KECCAK256
00001a78: PUSH1 0x00
00001a7a: SWAP1
00001a7b: SLOAD
00001a7c: SWAP1
00001a7d: PUSH2 0x0100
00001a80: EXP
00001a81: SWAP1
00001a82: DIV
00001a83: PUSH1 0xff
00001a85: AND
00001a86: PUSH2 0x1ac4
00001a89: JUMPI
00001a8a: PUSH1 0x40
00001a8c: MLOAD
00001a8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001aae: DUP2
00001aaf: MSTORE
00001ab0: PUSH1 0x04
00001ab2: ADD
00001ab3: PUSH2 0x1abb
00001ab6: SWAP1
00001ab7: PUSH2 0x29ca
00001aba: JUMP
00001abb: JUMPDEST
00001abc: PUSH1 0x40
00001abe: MLOAD
00001abf: DUP1
00001ac0: SWAP2
00001ac1: SUB
00001ac2: SWAP1
00001ac3: REVERT
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001adc: AND
00001add: DUP2
00001ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af3: AND
00001af4: EQ
00001af5: ISZERO
00001af6: PUSH2 0x1b34
00001af9: JUMPI
00001afa: PUSH1 0x40
00001afc: MLOAD
00001afd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b1e: DUP2
00001b1f: MSTORE
00001b20: PUSH1 0x04
00001b22: ADD
00001b23: PUSH2 0x1b2b
00001b26: SWAP1
00001b27: PUSH2 0x290a
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: PUSH1 0x40
00001b2e: MLOAD
00001b2f: DUP1
00001b30: SWAP2
00001b31: SUB
00001b32: SWAP1
00001b33: REVERT
00001b34: JUMPDEST
00001b35: PUSH1 0x00
00001b37: JUMPDEST
00001b38: PUSH1 0x03
00001b3a: DUP1
00001b3b: SLOAD
00001b3c: SWAP1
00001b3d: POP
00001b3e: DUP2
00001b3f: LT
00001b40: ISZERO
00001b41: PUSH2 0x1c77
00001b44: JUMPI
00001b45: DUP3
00001b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5b: AND
00001b5c: PUSH1 0x03
00001b5e: DUP3
00001b5f: DUP2
00001b60: SLOAD
00001b61: DUP2
00001b62: LT
00001b63: PUSH2 0x1b95
00001b66: JUMPI
00001b67: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b88: PUSH1 0x00
00001b8a: MSTORE
00001b8b: PUSH1 0x32
00001b8d: PUSH1 0x04
00001b8f: MSTORE
00001b90: PUSH1 0x24
00001b92: PUSH1 0x00
00001b94: REVERT
00001b95: JUMPDEST
00001b96: SWAP1
00001b97: PUSH1 0x00
00001b99: MSTORE
00001b9a: PUSH1 0x20
00001b9c: PUSH1 0x00
00001b9e: KECCAK256
00001b9f: ADD
00001ba0: PUSH1 0x00
00001ba2: SWAP1
00001ba3: SLOAD
00001ba4: SWAP1
00001ba5: PUSH2 0x0100
00001ba8: EXP
00001ba9: SWAP1
00001baa: DIV
00001bab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc0: AND
00001bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd6: AND
00001bd7: EQ
00001bd8: ISZERO
00001bd9: PUSH2 0x1c64
00001bdc: JUMPI
00001bdd: DUP2
00001bde: PUSH1 0x03
00001be0: DUP3
00001be1: DUP2
00001be2: SLOAD
00001be3: DUP2
00001be4: LT
00001be5: PUSH2 0x1c17
00001be8: JUMPI
00001be9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001c0a: PUSH1 0x00
00001c0c: MSTORE
00001c0d: PUSH1 0x32
00001c0f: PUSH1 0x04
00001c11: MSTORE
00001c12: PUSH1 0x24
00001c14: PUSH1 0x00
00001c16: REVERT
00001c17: JUMPDEST
00001c18: SWAP1
00001c19: PUSH1 0x00
00001c1b: MSTORE
00001c1c: PUSH1 0x20
00001c1e: PUSH1 0x00
00001c20: KECCAK256
00001c21: ADD
00001c22: PUSH1 0x00
00001c24: PUSH2 0x0100
00001c27: EXP
00001c28: DUP2
00001c29: SLOAD
00001c2a: DUP2
00001c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c40: MUL
00001c41: NOT
00001c42: AND
00001c43: SWAP1
00001c44: DUP4
00001c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5a: AND
00001c5b: MUL
00001c5c: OR
00001c5d: SWAP1
00001c5e: SSTORE
00001c5f: POP
00001c60: PUSH2 0x1c77
00001c63: JUMP
00001c64: JUMPDEST
00001c65: DUP1
00001c66: DUP1
00001c67: PUSH2 0x1c6f
00001c6a: SWAP1
00001c6b: PUSH2 0x2d17
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: SWAP2
00001c71: POP
00001c72: POP
00001c73: PUSH2 0x1b37
00001c76: JUMP
00001c77: JUMPDEST
00001c78: POP
00001c79: PUSH1 0x00
00001c7b: PUSH1 0x04
00001c7d: PUSH1 0x00
00001c7f: DUP5
00001c80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c95: AND
00001c96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cab: AND
00001cac: DUP2
00001cad: MSTORE
00001cae: PUSH1 0x20
00001cb0: ADD
00001cb1: SWAP1
00001cb2: DUP2
00001cb3: MSTORE
00001cb4: PUSH1 0x20
00001cb6: ADD
00001cb7: PUSH1 0x00
00001cb9: KECCAK256
00001cba: PUSH1 0x00
00001cbc: PUSH2 0x0100
00001cbf: EXP
00001cc0: DUP2
00001cc1: SLOAD
00001cc2: DUP2
00001cc3: PUSH1 0xff
00001cc5: MUL
00001cc6: NOT
00001cc7: AND
00001cc8: SWAP1
00001cc9: DUP4
00001cca: ISZERO
00001ccb: ISZERO
00001ccc: MUL
00001ccd: OR
00001cce: SWAP1
00001ccf: SSTORE
00001cd0: POP
00001cd1: PUSH1 0x01
00001cd3: PUSH1 0x04
00001cd5: PUSH1 0x00
00001cd7: DUP4
00001cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ced: AND
00001cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d03: AND
00001d04: DUP2
00001d05: MSTORE
00001d06: PUSH1 0x20
00001d08: ADD
00001d09: SWAP1
00001d0a: DUP2
00001d0b: MSTORE
00001d0c: PUSH1 0x20
00001d0e: ADD
00001d0f: PUSH1 0x00
00001d11: KECCAK256
00001d12: PUSH1 0x00
00001d14: PUSH2 0x0100
00001d17: EXP
00001d18: DUP2
00001d19: SLOAD
00001d1a: DUP2
00001d1b: PUSH1 0xff
00001d1d: MUL
00001d1e: NOT
00001d1f: AND
00001d20: SWAP1
00001d21: DUP4
00001d22: ISZERO
00001d23: ISZERO
00001d24: MUL
00001d25: OR
00001d26: SWAP1
00001d27: SSTORE
00001d28: POP
00001d29: DUP2
00001d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3f: AND
00001d40: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
00001d61: PUSH1 0x40
00001d63: MLOAD
00001d64: PUSH1 0x40
00001d66: MLOAD
00001d67: DUP1
00001d68: SWAP2
00001d69: SUB
00001d6a: SWAP1
00001d6b: LOG2
00001d6c: DUP1
00001d6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d82: AND
00001d83: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001da4: PUSH1 0x40
00001da6: MLOAD
00001da7: PUSH1 0x40
00001da9: MLOAD
00001daa: DUP1
00001dab: SWAP2
00001dac: SUB
00001dad: SWAP1
00001dae: LOG2
00001daf: POP
00001db0: POP
00001db1: JUMP
00001db2: JUMPDEST
00001db3: PUSH1 0x00
00001db5: PUSH1 0x01
00001db7: DUP1
00001db8: SLOAD
00001db9: SWAP1
00001dba: PUSH2 0x0100
00001dbd: EXP
00001dbe: SWAP1
00001dbf: DIV
00001dc0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd5: AND
00001dd6: SWAP1
00001dd7: POP
00001dd8: SWAP1
00001dd9: JUMP
00001dda: JUMPDEST
00001ddb: PUSH1 0x00
00001ddd: PUSH1 0x02
00001ddf: SLOAD
00001de0: SWAP1
00001de1: POP
00001de2: SWAP1
00001de3: JUMP
00001de4: JUMPDEST
00001de5: PUSH1 0x00
00001de7: PUSH2 0x1df7
00001dea: PUSH2 0x1df2
00001ded: DUP5
00001dee: PUSH2 0x2a8a
00001df1: JUMP
00001df2: JUMPDEST
00001df3: PUSH2 0x2a65
00001df6: JUMP
00001df7: JUMPDEST
00001df8: SWAP1
00001df9: POP
00001dfa: DUP1
00001dfb: DUP4
00001dfc: DUP3
00001dfd: MSTORE
00001dfe: PUSH1 0x20
00001e00: DUP3
00001e01: ADD
00001e02: SWAP1
00001e03: POP
00001e04: DUP3
00001e05: DUP6
00001e06: PUSH1 0x20
00001e08: DUP7
00001e09: MUL
00001e0a: DUP3
00001e0b: ADD
00001e0c: GT
00001e0d: ISZERO
00001e0e: PUSH2 0x1e16
00001e11: JUMPI
00001e12: PUSH1 0x00
00001e14: DUP1
00001e15: REVERT
00001e16: JUMPDEST
00001e17: PUSH1 0x00
00001e19: JUMPDEST
00001e1a: DUP6
00001e1b: DUP2
00001e1c: LT
00001e1d: ISZERO
00001e1e: PUSH2 0x1e46
00001e21: JUMPI
00001e22: DUP2
00001e23: PUSH2 0x1e2c
00001e26: DUP9
00001e27: DUP3
00001e28: PUSH2 0x1f57
00001e2b: JUMP
00001e2c: JUMPDEST
00001e2d: DUP5
00001e2e: MSTORE
00001e2f: PUSH1 0x20
00001e31: DUP5
00001e32: ADD
00001e33: SWAP4
00001e34: POP
00001e35: PUSH1 0x20
00001e37: DUP4
00001e38: ADD
00001e39: SWAP3
00001e3a: POP
00001e3b: POP
00001e3c: PUSH1 0x01
00001e3e: DUP2
00001e3f: ADD
00001e40: SWAP1
00001e41: POP
00001e42: PUSH2 0x1e19
00001e45: JUMP
00001e46: JUMPDEST
00001e47: POP
00001e48: POP
00001e49: POP
00001e4a: SWAP4
00001e4b: SWAP3
00001e4c: POP
00001e4d: POP
00001e4e: POP
00001e4f: JUMP
00001e50: JUMPDEST
00001e51: PUSH1 0x00
00001e53: PUSH2 0x1e63
00001e56: PUSH2 0x1e5e
00001e59: DUP5
00001e5a: PUSH2 0x2ab6
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: PUSH2 0x2a65
00001e62: JUMP
00001e63: JUMPDEST
00001e64: SWAP1
00001e65: POP
00001e66: DUP1
00001e67: DUP4
00001e68: DUP3
00001e69: MSTORE
00001e6a: PUSH1 0x20
00001e6c: DUP3
00001e6d: ADD
00001e6e: SWAP1
00001e6f: POP
00001e70: DUP3
00001e71: PUSH1 0x00
00001e73: JUMPDEST
00001e74: DUP6
00001e75: DUP2
00001e76: LT
00001e77: ISZERO
00001e78: PUSH2 0x1ea3
00001e7b: JUMPI
00001e7c: DUP2
00001e7d: CALLDATALOAD
00001e7e: DUP6
00001e7f: ADD
00001e80: PUSH2 0x1e89
00001e83: DUP9
00001e84: DUP3
00001e85: PUSH2 0x2014
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: DUP5
00001e8b: MSTORE
00001e8c: PUSH1 0x20
00001e8e: DUP5
00001e8f: ADD
00001e90: SWAP4
00001e91: POP
00001e92: PUSH1 0x20
00001e94: DUP4
00001e95: ADD
00001e96: SWAP3
00001e97: POP
00001e98: POP
00001e99: PUSH1 0x01
00001e9b: DUP2
00001e9c: ADD
00001e9d: SWAP1
00001e9e: POP
00001e9f: PUSH2 0x1e73
00001ea2: JUMP
00001ea3: JUMPDEST
00001ea4: POP
00001ea5: POP
00001ea6: POP
00001ea7: SWAP4
00001ea8: SWAP3
00001ea9: POP
00001eaa: POP
00001eab: POP
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH1 0x00
00001eb0: PUSH2 0x1ec0
00001eb3: PUSH2 0x1ebb
00001eb6: DUP5
00001eb7: PUSH2 0x2ae2
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: PUSH2 0x2a65
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: SWAP1
00001ec2: POP
00001ec3: DUP1
00001ec4: DUP4
00001ec5: DUP3
00001ec6: MSTORE
00001ec7: PUSH1 0x20
00001ec9: DUP3
00001eca: ADD
00001ecb: SWAP1
00001ecc: POP
00001ecd: DUP3
00001ece: DUP6
00001ecf: PUSH1 0x20
00001ed1: DUP7
00001ed2: MUL
00001ed3: DUP3
00001ed4: ADD
00001ed5: GT
00001ed6: ISZERO
00001ed7: PUSH2 0x1edf
00001eda: JUMPI
00001edb: PUSH1 0x00
00001edd: DUP1
00001ede: REVERT
00001edf: JUMPDEST
00001ee0: PUSH1 0x00
00001ee2: JUMPDEST
00001ee3: DUP6
00001ee4: DUP2
00001ee5: LT
00001ee6: ISZERO
00001ee7: PUSH2 0x1f0f
00001eea: JUMPI
00001eeb: DUP2
00001eec: PUSH2 0x1ef5
00001eef: DUP9
00001ef0: DUP3
00001ef1: PUSH2 0x203e
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: DUP5
00001ef7: MSTORE
00001ef8: PUSH1 0x20
00001efa: DUP5
00001efb: ADD
00001efc: SWAP4
00001efd: POP
00001efe: PUSH1 0x20
00001f00: DUP4
00001f01: ADD
00001f02: SWAP3
00001f03: POP
00001f04: POP
00001f05: PUSH1 0x01
00001f07: DUP2
00001f08: ADD
00001f09: SWAP1
00001f0a: POP
00001f0b: PUSH2 0x1ee2
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: POP
00001f11: POP
00001f12: POP
00001f13: SWAP4
00001f14: SWAP3
00001f15: POP
00001f16: POP
00001f17: POP
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: PUSH1 0x00
00001f1c: PUSH2 0x1f2c
00001f1f: PUSH2 0x1f27
00001f22: DUP5
00001f23: PUSH2 0x2b0e
00001f26: JUMP
00001f27: JUMPDEST
00001f28: PUSH2 0x2a65
00001f2b: JUMP
00001f2c: JUMPDEST
00001f2d: SWAP1
00001f2e: POP
00001f2f: DUP3
00001f30: DUP2
00001f31: MSTORE
00001f32: PUSH1 0x20
00001f34: DUP2
00001f35: ADD
00001f36: DUP5
00001f37: DUP5
00001f38: DUP5
00001f39: ADD
00001f3a: GT
00001f3b: ISZERO
00001f3c: PUSH2 0x1f44
00001f3f: JUMPI
00001f40: PUSH1 0x00
00001f42: DUP1
00001f43: REVERT
00001f44: JUMPDEST
00001f45: PUSH2 0x1f4f
00001f48: DUP5
00001f49: DUP3
00001f4a: DUP6
00001f4b: PUSH2 0x2ca4
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: POP
00001f51: SWAP4
00001f52: SWAP3
00001f53: POP
00001f54: POP
00001f55: POP
00001f56: JUMP
00001f57: JUMPDEST
00001f58: PUSH1 0x00
00001f5a: DUP2
00001f5b: CALLDATALOAD
00001f5c: SWAP1
00001f5d: POP
00001f5e: PUSH2 0x1f66
00001f61: DUP2
00001f62: PUSH2 0x3000
00001f65: JUMP
00001f66: JUMPDEST
00001f67: SWAP3
00001f68: SWAP2
00001f69: POP
00001f6a: POP
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH1 0x00
00001f6f: DUP3
00001f70: PUSH1 0x1f
00001f72: DUP4
00001f73: ADD
00001f74: SLT
00001f75: PUSH2 0x1f7d
00001f78: JUMPI
00001f79: PUSH1 0x00
00001f7b: DUP1
00001f7c: REVERT
00001f7d: JUMPDEST
00001f7e: DUP2
00001f7f: CALLDATALOAD
00001f80: PUSH2 0x1f8d
00001f83: DUP5
00001f84: DUP3
00001f85: PUSH1 0x20
00001f87: DUP7
00001f88: ADD
00001f89: PUSH2 0x1de4
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: SWAP2
00001f8f: POP
00001f90: POP
00001f91: SWAP3
00001f92: SWAP2
00001f93: POP
00001f94: POP
00001f95: JUMP
00001f96: JUMPDEST
00001f97: PUSH1 0x00
00001f99: DUP3
00001f9a: PUSH1 0x1f
00001f9c: DUP4
00001f9d: ADD
00001f9e: SLT
00001f9f: PUSH2 0x1fa7
00001fa2: JUMPI
00001fa3: PUSH1 0x00
00001fa5: DUP1
00001fa6: REVERT
00001fa7: JUMPDEST
00001fa8: DUP2
00001fa9: CALLDATALOAD
00001faa: PUSH2 0x1fb7
00001fad: DUP5
00001fae: DUP3
00001faf: PUSH1 0x20
00001fb1: DUP7
00001fb2: ADD
00001fb3: PUSH2 0x1e50
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: SWAP2
00001fb9: POP
00001fba: POP
00001fbb: SWAP3
00001fbc: SWAP2
00001fbd: POP
00001fbe: POP
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: PUSH1 0x00
00001fc3: DUP3
00001fc4: PUSH1 0x1f
00001fc6: DUP4
00001fc7: ADD
00001fc8: SLT
00001fc9: PUSH2 0x1fd1
00001fcc: JUMPI
00001fcd: PUSH1 0x00
00001fcf: DUP1
00001fd0: REVERT
00001fd1: JUMPDEST
00001fd2: DUP2
00001fd3: CALLDATALOAD
00001fd4: PUSH2 0x1fe1
00001fd7: DUP5
00001fd8: DUP3
00001fd9: PUSH1 0x20
00001fdb: DUP7
00001fdc: ADD
00001fdd: PUSH2 0x1ead
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: SWAP2
00001fe3: POP
00001fe4: POP
00001fe5: SWAP3
00001fe6: SWAP2
00001fe7: POP
00001fe8: POP
00001fe9: JUMP
00001fea: JUMPDEST
00001feb: PUSH1 0x00
00001fed: DUP2
00001fee: CALLDATALOAD
00001fef: SWAP1
00001ff0: POP
00001ff1: PUSH2 0x1ff9
00001ff4: DUP2
00001ff5: PUSH2 0x3017
00001ff8: JUMP
00001ff9: JUMPDEST
00001ffa: SWAP3
00001ffb: SWAP2
00001ffc: POP
00001ffd: POP
00001ffe: JUMP
00001fff: JUMPDEST
00002000: PUSH1 0x00
00002002: DUP2
00002003: CALLDATALOAD
00002004: SWAP1
00002005: POP
00002006: PUSH2 0x200e
00002009: DUP2
0000200a: PUSH2 0x302e
0000200d: JUMP
0000200e: JUMPDEST
0000200f: SWAP3
00002010: SWAP2
00002011: POP
00002012: POP
00002013: JUMP
00002014: JUMPDEST
00002015: PUSH1 0x00
00002017: DUP3
00002018: PUSH1 0x1f
0000201a: DUP4
0000201b: ADD
0000201c: SLT
0000201d: PUSH2 0x2025
00002020: JUMPI
00002021: PUSH1 0x00
00002023: DUP1
00002024: REVERT
00002025: JUMPDEST
00002026: DUP2
00002027: CALLDATALOAD
00002028: PUSH2 0x2035
0000202b: DUP5
0000202c: DUP3
0000202d: PUSH1 0x20
0000202f: DUP7
00002030: ADD
00002031: PUSH2 0x1f19
00002034: JUMP
00002035: JUMPDEST
00002036: SWAP2
00002037: POP
00002038: POP
00002039: SWAP3
0000203a: SWAP2
0000203b: POP
0000203c: POP
0000203d: JUMP
0000203e: JUMPDEST
0000203f: PUSH1 0x00
00002041: DUP2
00002042: CALLDATALOAD
00002043: SWAP1
00002044: POP
00002045: PUSH2 0x204d
00002048: DUP2
00002049: PUSH2 0x3045
0000204c: JUMP
0000204d: JUMPDEST
0000204e: SWAP3
0000204f: SWAP2
00002050: POP
00002051: POP
00002052: JUMP
00002053: JUMPDEST
00002054: PUSH1 0x00
00002056: PUSH1 0x20
00002058: DUP3
00002059: DUP5
0000205a: SUB
0000205b: SLT
0000205c: ISZERO
0000205d: PUSH2 0x2065
00002060: JUMPI
00002061: PUSH1 0x00
00002063: DUP1
00002064: REVERT
00002065: JUMPDEST
00002066: PUSH1 0x00
00002068: PUSH2 0x2073
0000206b: DUP5
0000206c: DUP3
0000206d: DUP6
0000206e: ADD
0000206f: PUSH2 0x1f57
00002072: JUMP
00002073: JUMPDEST
00002074: SWAP2
00002075: POP
00002076: POP
00002077: SWAP3
00002078: SWAP2
00002079: POP
0000207a: POP
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x00
0000207f: DUP1
00002080: PUSH1 0x40
00002082: DUP4
00002083: DUP6
00002084: SUB
00002085: SLT
00002086: ISZERO
00002087: PUSH2 0x208f
0000208a: JUMPI
0000208b: PUSH1 0x00
0000208d: DUP1
0000208e: REVERT
0000208f: JUMPDEST
00002090: PUSH1 0x00
00002092: PUSH2 0x209d
00002095: DUP6
00002096: DUP3
00002097: DUP7
00002098: ADD
00002099: PUSH2 0x1f57
0000209c: JUMP
0000209d: JUMPDEST
0000209e: SWAP3
0000209f: POP
000020a0: POP
000020a1: PUSH1 0x20
000020a3: PUSH2 0x20ae
000020a6: DUP6
000020a7: DUP3
000020a8: DUP7
000020a9: ADD
000020aa: PUSH2 0x1f57
000020ad: JUMP
000020ae: JUMPDEST
000020af: SWAP2
000020b0: POP
000020b1: POP
000020b2: SWAP3
000020b3: POP
000020b4: SWAP3
000020b5: SWAP1
000020b6: POP
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH1 0x00
000020bb: DUP1
000020bc: PUSH1 0x00
000020be: PUSH1 0x60
000020c0: DUP5
000020c1: DUP7
000020c2: SUB
000020c3: SLT
000020c4: ISZERO
000020c5: PUSH2 0x20cd
000020c8: JUMPI
000020c9: PUSH1 0x00
000020cb: DUP1
000020cc: REVERT
000020cd: JUMPDEST
000020ce: PUSH1 0x00
000020d0: DUP5
000020d1: ADD
000020d2: CALLDATALOAD
000020d3: PUSH8 0xffffffffffffffff
000020dc: DUP2
000020dd: GT
000020de: ISZERO
000020df: PUSH2 0x20e7
000020e2: JUMPI
000020e3: PUSH1 0x00
000020e5: DUP1
000020e6: REVERT
000020e7: JUMPDEST
000020e8: PUSH2 0x20f3
000020eb: DUP7
000020ec: DUP3
000020ed: DUP8
000020ee: ADD
000020ef: PUSH2 0x1f6c
000020f2: JUMP
000020f3: JUMPDEST
000020f4: SWAP4
000020f5: POP
000020f6: POP
000020f7: PUSH1 0x20
000020f9: DUP5
000020fa: ADD
000020fb: CALLDATALOAD
000020fc: PUSH8 0xffffffffffffffff
00002105: DUP2
00002106: GT
00002107: ISZERO
00002108: PUSH2 0x2110
0000210b: JUMPI
0000210c: PUSH1 0x00
0000210e: DUP1
0000210f: REVERT
00002110: JUMPDEST
00002111: PUSH2 0x211c
00002114: DUP7
00002115: DUP3
00002116: DUP8
00002117: ADD
00002118: PUSH2 0x1fc0
0000211b: JUMP
0000211c: JUMPDEST
0000211d: SWAP3
0000211e: POP
0000211f: POP
00002120: PUSH1 0x40
00002122: DUP5
00002123: ADD
00002124: CALLDATALOAD
00002125: PUSH8 0xffffffffffffffff
0000212e: DUP2
0000212f: GT
00002130: ISZERO
00002131: PUSH2 0x2139
00002134: JUMPI
00002135: PUSH1 0x00
00002137: DUP1
00002138: REVERT
00002139: JUMPDEST
0000213a: PUSH2 0x2145
0000213d: DUP7
0000213e: DUP3
0000213f: DUP8
00002140: ADD
00002141: PUSH2 0x1f96
00002144: JUMP
00002145: JUMPDEST
00002146: SWAP2
00002147: POP
00002148: POP
00002149: SWAP3
0000214a: POP
0000214b: SWAP3
0000214c: POP
0000214d: SWAP3
0000214e: JUMP
0000214f: JUMPDEST
00002150: PUSH1 0x00
00002152: PUSH1 0x20
00002154: DUP3
00002155: DUP5
00002156: SUB
00002157: SLT
00002158: ISZERO
00002159: PUSH2 0x2161
0000215c: JUMPI
0000215d: PUSH1 0x00
0000215f: DUP1
00002160: REVERT
00002161: JUMPDEST
00002162: PUSH1 0x00
00002164: PUSH2 0x216f
00002167: DUP5
00002168: DUP3
00002169: DUP6
0000216a: ADD
0000216b: PUSH2 0x1fea
0000216e: JUMP
0000216f: JUMPDEST
00002170: SWAP2
00002171: POP
00002172: POP
00002173: SWAP3
00002174: SWAP2
00002175: POP
00002176: POP
00002177: JUMP
00002178: JUMPDEST
00002179: PUSH1 0x00
0000217b: PUSH1 0x20
0000217d: DUP3
0000217e: DUP5
0000217f: SUB
00002180: SLT
00002181: ISZERO
00002182: PUSH2 0x218a
00002185: JUMPI
00002186: PUSH1 0x00
00002188: DUP1
00002189: REVERT
0000218a: JUMPDEST
0000218b: PUSH1 0x00
0000218d: PUSH2 0x2198
00002190: DUP5
00002191: DUP3
00002192: DUP6
00002193: ADD
00002194: PUSH2 0x1fff
00002197: JUMP
00002198: JUMPDEST
00002199: SWAP2
0000219a: POP
0000219b: POP
0000219c: SWAP3
0000219d: SWAP2
0000219e: POP
0000219f: POP
000021a0: JUMP
000021a1: JUMPDEST
000021a2: PUSH1 0x00
000021a4: DUP1
000021a5: PUSH1 0x40
000021a7: DUP4
000021a8: DUP6
000021a9: SUB
000021aa: SLT
000021ab: ISZERO
000021ac: PUSH2 0x21b4
000021af: JUMPI
000021b0: PUSH1 0x00
000021b2: DUP1
000021b3: REVERT
000021b4: JUMPDEST
000021b5: PUSH1 0x00
000021b7: PUSH2 0x21c2
000021ba: DUP6
000021bb: DUP3
000021bc: DUP7
000021bd: ADD
000021be: PUSH2 0x1fff
000021c1: JUMP
000021c2: JUMPDEST
000021c3: SWAP3
000021c4: POP
000021c5: POP
000021c6: PUSH1 0x20
000021c8: PUSH2 0x21d3
000021cb: DUP6
000021cc: DUP3
000021cd: DUP7
000021ce: ADD
000021cf: PUSH2 0x1f57
000021d2: JUMP
000021d3: JUMPDEST
000021d4: SWAP2
000021d5: POP
000021d6: POP
000021d7: SWAP3
000021d8: POP
000021d9: SWAP3
000021da: SWAP1
000021db: POP
000021dc: JUMP
000021dd: JUMPDEST
000021de: PUSH1 0x00
000021e0: DUP1
000021e1: PUSH1 0x40
000021e3: DUP4
000021e4: DUP6
000021e5: SUB
000021e6: SLT
000021e7: ISZERO
000021e8: PUSH2 0x21f0
000021eb: JUMPI
000021ec: PUSH1 0x00
000021ee: DUP1
000021ef: REVERT
000021f0: JUMPDEST
000021f1: PUSH1 0x00
000021f3: PUSH2 0x21fe
000021f6: DUP6
000021f7: DUP3
000021f8: DUP7
000021f9: ADD
000021fa: PUSH2 0x1fff
000021fd: JUMP
000021fe: JUMPDEST
000021ff: SWAP3
00002200: POP
00002201: POP
00002202: PUSH1 0x20
00002204: DUP4
00002205: ADD
00002206: CALLDATALOAD
00002207: PUSH8 0xffffffffffffffff
00002210: DUP2
00002211: GT
00002212: ISZERO
00002213: PUSH2 0x221b
00002216: JUMPI
00002217: PUSH1 0x00
00002219: DUP1
0000221a: REVERT
0000221b: JUMPDEST
0000221c: PUSH2 0x2227
0000221f: DUP6
00002220: DUP3
00002221: DUP7
00002222: ADD
00002223: PUSH2 0x2014
00002226: JUMP
00002227: JUMPDEST
00002228: SWAP2
00002229: POP
0000222a: POP
0000222b: SWAP3
0000222c: POP
0000222d: SWAP3
0000222e: SWAP1
0000222f: POP
00002230: JUMP
00002231: JUMPDEST
00002232: PUSH1 0x00
00002234: PUSH1 0x20
00002236: DUP3
00002237: DUP5
00002238: SUB
00002239: SLT
0000223a: ISZERO
0000223b: PUSH2 0x2243
0000223e: JUMPI
0000223f: PUSH1 0x00
00002241: DUP1
00002242: REVERT
00002243: JUMPDEST
00002244: PUSH1 0x00
00002246: PUSH2 0x2251
00002249: DUP5
0000224a: DUP3
0000224b: DUP6
0000224c: ADD
0000224d: PUSH2 0x203e
00002250: JUMP
00002251: JUMPDEST
00002252: SWAP2
00002253: POP
00002254: POP
00002255: SWAP3
00002256: SWAP2
00002257: POP
00002258: POP
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x00
0000225d: DUP1
0000225e: PUSH1 0x00
00002260: DUP1
00002261: PUSH1 0x00
00002263: PUSH1 0xa0
00002265: DUP7
00002266: DUP9
00002267: SUB
00002268: SLT
00002269: ISZERO
0000226a: PUSH2 0x2272
0000226d: JUMPI
0000226e: PUSH1 0x00
00002270: DUP1
00002271: REVERT
00002272: JUMPDEST
00002273: PUSH1 0x00
00002275: PUSH2 0x2280
00002278: DUP9
00002279: DUP3
0000227a: DUP10
0000227b: ADD
0000227c: PUSH2 0x203e
0000227f: JUMP
00002280: JUMPDEST
00002281: SWAP6
00002282: POP
00002283: POP
00002284: PUSH1 0x20
00002286: PUSH2 0x2291
00002289: DUP9
0000228a: DUP3
0000228b: DUP10
0000228c: ADD
0000228d: PUSH2 0x1fff
00002290: JUMP
00002291: JUMPDEST
00002292: SWAP5
00002293: POP
00002294: POP
00002295: PUSH1 0x40
00002297: PUSH2 0x22a2
0000229a: DUP9
0000229b: DUP3
0000229c: DUP10
0000229d: ADD
0000229e: PUSH2 0x1f57
000022a1: JUMP
000022a2: JUMPDEST
000022a3: SWAP4
000022a4: POP
000022a5: POP
000022a6: PUSH1 0x60
000022a8: PUSH2 0x22b3
000022ab: DUP9
000022ac: DUP3
000022ad: DUP10
000022ae: ADD
000022af: PUSH2 0x203e
000022b2: JUMP
000022b3: JUMPDEST
000022b4: SWAP3
000022b5: POP
000022b6: POP
000022b7: PUSH1 0x80
000022b9: DUP7
000022ba: ADD
000022bb: CALLDATALOAD
000022bc: PUSH8 0xffffffffffffffff
000022c5: DUP2
000022c6: GT
000022c7: ISZERO
000022c8: PUSH2 0x22d0
000022cb: JUMPI
000022cc: PUSH1 0x00
000022ce: DUP1
000022cf: REVERT
000022d0: JUMPDEST
000022d1: PUSH2 0x22dc
000022d4: DUP9
000022d5: DUP3
000022d6: DUP10
000022d7: ADD
000022d8: PUSH2 0x2014
000022db: JUMP
000022dc: JUMPDEST
000022dd: SWAP2
000022de: POP
000022df: POP
000022e0: SWAP3
000022e1: SWAP6
000022e2: POP
000022e3: SWAP3
000022e4: SWAP6
000022e5: SWAP1
000022e6: SWAP4
000022e7: POP
000022e8: JUMP
000022e9: JUMPDEST
000022ea: PUSH1 0x00
000022ec: DUP1
000022ed: PUSH1 0x00
000022ef: DUP1
000022f0: PUSH1 0x00
000022f2: DUP1
000022f3: PUSH1 0xc0
000022f5: DUP8
000022f6: DUP10
000022f7: SUB
000022f8: SLT
000022f9: ISZERO
000022fa: PUSH2 0x2302
000022fd: JUMPI
000022fe: PUSH1 0x00
00002300: DUP1
00002301: REVERT
00002302: JUMPDEST
00002303: PUSH1 0x00
00002305: PUSH2 0x2310
00002308: DUP10
00002309: DUP3
0000230a: DUP11
0000230b: ADD
0000230c: PUSH2 0x203e
0000230f: JUMP
00002310: JUMPDEST
00002311: SWAP7
00002312: POP
00002313: POP
00002314: PUSH1 0x20
00002316: PUSH2 0x2321
00002319: DUP10
0000231a: DUP3
0000231b: DUP11
0000231c: ADD
0000231d: PUSH2 0x1fff
00002320: JUMP
00002321: JUMPDEST
00002322: SWAP6
00002323: POP
00002324: POP
00002325: PUSH1 0x40
00002327: PUSH2 0x2332
0000232a: DUP10
0000232b: DUP3
0000232c: DUP11
0000232d: ADD
0000232e: PUSH2 0x1f57
00002331: JUMP
00002332: JUMPDEST
00002333: SWAP5
00002334: POP
00002335: POP
00002336: PUSH1 0x60
00002338: PUSH2 0x2343
0000233b: DUP10
0000233c: DUP3
0000233d: DUP11
0000233e: ADD
0000233f: PUSH2 0x203e
00002342: JUMP
00002343: JUMPDEST
00002344: SWAP4
00002345: POP
00002346: POP
00002347: PUSH1 0x80
00002349: DUP8
0000234a: ADD
0000234b: CALLDATALOAD
0000234c: PUSH8 0xffffffffffffffff
00002355: DUP2
00002356: GT
00002357: ISZERO
00002358: PUSH2 0x2360
0000235b: JUMPI
0000235c: PUSH1 0x00
0000235e: DUP1
0000235f: REVERT
00002360: JUMPDEST
00002361: PUSH2 0x236c
00002364: DUP10
00002365: DUP3
00002366: DUP11
00002367: ADD
00002368: PUSH2 0x2014
0000236b: JUMP
0000236c: JUMPDEST
0000236d: SWAP3
0000236e: POP
0000236f: POP
00002370: PUSH1 0xa0
00002372: DUP8
00002373: ADD
00002374: CALLDATALOAD
00002375: PUSH8 0xffffffffffffffff
0000237e: DUP2
0000237f: GT
00002380: ISZERO
00002381: PUSH2 0x2389
00002384: JUMPI
00002385: PUSH1 0x00
00002387: DUP1
00002388: REVERT
00002389: JUMPDEST
0000238a: PUSH2 0x2395
0000238d: DUP10
0000238e: DUP3
0000238f: DUP11
00002390: ADD
00002391: PUSH2 0x1f96
00002394: JUMP
00002395: JUMPDEST
00002396: SWAP2
00002397: POP
00002398: POP
00002399: SWAP3
0000239a: SWAP6
0000239b: POP
0000239c: SWAP3
0000239d: SWAP6
0000239e: POP
0000239f: SWAP3
000023a0: SWAP6
000023a1: JUMP
000023a2: JUMPDEST
000023a3: PUSH1 0x00
000023a5: PUSH2 0x23ae
000023a8: DUP4
000023a9: DUP4
000023aa: PUSH2 0x23ba
000023ad: JUMP
000023ae: JUMPDEST
000023af: PUSH1 0x20
000023b1: DUP4
000023b2: ADD
000023b3: SWAP1
000023b4: POP
000023b5: SWAP3
000023b6: SWAP2
000023b7: POP
000023b8: POP
000023b9: JUMP
000023ba: JUMPDEST
000023bb: PUSH2 0x23c3
000023be: DUP2
000023bf: PUSH2 0x2c45
000023c2: JUMP
000023c3: JUMPDEST
000023c4: DUP3
000023c5: MSTORE
000023c6: POP
000023c7: POP
000023c8: JUMP
000023c9: JUMPDEST
000023ca: PUSH2 0x23d2
000023cd: DUP2
000023ce: PUSH2 0x2c45
000023d1: JUMP
000023d2: JUMPDEST
000023d3: DUP3
000023d4: MSTORE
000023d5: POP
000023d6: POP
000023d7: JUMP
000023d8: JUMPDEST
000023d9: PUSH2 0x23e9
000023dc: PUSH2 0x23e4
000023df: DUP3
000023e0: PUSH2 0x2c45
000023e3: JUMP
000023e4: JUMPDEST
000023e5: PUSH2 0x2d60
000023e8: JUMP
000023e9: JUMPDEST
000023ea: DUP3
000023eb: MSTORE
000023ec: POP
000023ed: POP
000023ee: JUMP
000023ef: JUMPDEST
000023f0: PUSH1 0x00
000023f2: PUSH2 0x23fa
000023f5: DUP3
000023f6: PUSH2 0x2b4f
000023f9: JUMP
000023fa: JUMPDEST
000023fb: PUSH2 0x2404
000023fe: DUP2
000023ff: DUP6
00002400: PUSH2 0x2b72
00002403: JUMP
00002404: JUMPDEST
00002405: SWAP4
00002406: POP
00002407: PUSH2 0x240f
0000240a: DUP4
0000240b: PUSH2 0x2b3f
0000240e: JUMP
0000240f: JUMPDEST
00002410: DUP1
00002411: PUSH1 0x00
00002413: JUMPDEST
00002414: DUP4
00002415: DUP2
00002416: LT
00002417: ISZERO
00002418: PUSH2 0x2440
0000241b: JUMPI
0000241c: DUP2
0000241d: MLOAD
0000241e: PUSH2 0x2427
00002421: DUP9
00002422: DUP3
00002423: PUSH2 0x23a2
00002426: JUMP
00002427: JUMPDEST
00002428: SWAP8
00002429: POP
0000242a: PUSH2 0x2432
0000242d: DUP4
0000242e: PUSH2 0x2b65
00002431: JUMP
00002432: JUMPDEST
00002433: SWAP3
00002434: POP
00002435: POP
00002436: PUSH1 0x01
00002438: DUP2
00002439: ADD
0000243a: SWAP1
0000243b: POP
0000243c: PUSH2 0x2413
0000243f: JUMP
00002440: JUMPDEST
00002441: POP
00002442: DUP6
00002443: SWAP4
00002444: POP
00002445: POP
00002446: POP
00002447: POP
00002448: SWAP3
00002449: SWAP2
0000244a: POP
0000244b: POP
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH2 0x2456
00002451: DUP2
00002452: PUSH2 0x2c57
00002455: JUMP
00002456: JUMPDEST
00002457: DUP3
00002458: MSTORE
00002459: POP
0000245a: POP
0000245b: JUMP
0000245c: JUMPDEST
0000245d: PUSH2 0x2465
00002460: DUP2
00002461: PUSH2 0x2c63
00002464: JUMP
00002465: JUMPDEST
00002466: DUP3
00002467: MSTORE
00002468: POP
00002469: POP
0000246a: JUMP
0000246b: JUMPDEST
0000246c: PUSH2 0x247c
0000246f: PUSH2 0x2477
00002472: DUP3
00002473: PUSH2 0x2c63
00002476: JUMP
00002477: JUMPDEST
00002478: PUSH2 0x2d72
0000247b: JUMP
0000247c: JUMPDEST
0000247d: DUP3
0000247e: MSTORE
0000247f: POP
00002480: POP
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH1 0x00
00002485: PUSH2 0x248d
00002488: DUP3
00002489: PUSH2 0x2b5a
0000248c: JUMP
0000248d: JUMPDEST
0000248e: PUSH2 0x2497
00002491: DUP2
00002492: DUP6
00002493: PUSH2 0x2b83
00002496: JUMP
00002497: JUMPDEST
00002498: SWAP4
00002499: POP
0000249a: PUSH2 0x24a7
0000249d: DUP2
0000249e: DUP6
0000249f: PUSH1 0x20
000024a1: DUP7
000024a2: ADD
000024a3: PUSH2 0x2cb3
000024a6: JUMP
000024a7: JUMPDEST
000024a8: PUSH2 0x24b0
000024ab: DUP2
000024ac: PUSH2 0x2df6
000024af: JUMP
000024b0: JUMPDEST
000024b1: DUP5
000024b2: ADD
000024b3: SWAP2
000024b4: POP
000024b5: POP
000024b6: SWAP3
000024b7: SWAP2
000024b8: POP
000024b9: POP
000024ba: JUMP
000024bb: JUMPDEST
000024bc: PUSH1 0x00
000024be: PUSH2 0x24c6
000024c1: DUP3
000024c2: PUSH2 0x2b5a
000024c5: JUMP
000024c6: JUMPDEST
000024c7: PUSH2 0x24d0
000024ca: DUP2
000024cb: DUP6
000024cc: PUSH2 0x2b94
000024cf: JUMP
000024d0: JUMPDEST
000024d1: SWAP4
000024d2: POP
000024d3: PUSH2 0x24e0
000024d6: DUP2
000024d7: DUP6
000024d8: PUSH1 0x20
000024da: DUP7
000024db: ADD
000024dc: PUSH2 0x2cb3
000024df: JUMP
000024e0: JUMPDEST
000024e1: DUP1
000024e2: DUP5
000024e3: ADD
000024e4: SWAP2
000024e5: POP
000024e6: POP
000024e7: SWAP3
000024e8: SWAP2
000024e9: POP
000024ea: POP
000024eb: JUMP
000024ec: JUMPDEST
000024ed: PUSH1 0x00
000024ef: PUSH2 0x24f9
000024f2: PUSH1 0x1c
000024f4: DUP4
000024f5: PUSH2 0x2bb0
000024f8: JUMP
000024f9: JUMPDEST
000024fa: SWAP2
000024fb: POP
000024fc: PUSH2 0x2504
000024ff: DUP3
00002500: PUSH2 0x2e14
00002503: JUMP
00002504: JUMPDEST
00002505: PUSH1 0x1c
00002507: DUP3
00002508: ADD
00002509: SWAP1
0000250a: POP
0000250b: SWAP2
0000250c: SWAP1
0000250d: POP
0000250e: JUMP
0000250f: JUMPDEST
00002510: PUSH1 0x00
00002512: PUSH2 0x251c
00002515: PUSH1 0x0d
00002517: DUP4
00002518: PUSH2 0x2b9f
0000251b: JUMP
0000251c: JUMPDEST
0000251d: SWAP2
0000251e: POP
0000251f: PUSH2 0x2527
00002522: DUP3
00002523: PUSH2 0x2e3d
00002526: JUMP
00002527: JUMPDEST
00002528: PUSH1 0x20
0000252a: DUP3
0000252b: ADD
0000252c: SWAP1
0000252d: POP
0000252e: SWAP2
0000252f: SWAP1
00002530: POP
00002531: JUMP
00002532: JUMPDEST
00002533: PUSH1 0x00
00002535: PUSH2 0x253f
00002538: PUSH1 0x0c
0000253a: DUP4
0000253b: PUSH2 0x2b9f
0000253e: JUMP
0000253f: JUMPDEST
00002540: SWAP2
00002541: POP
00002542: PUSH2 0x254a
00002545: DUP3
00002546: PUSH2 0x2e66
00002549: JUMP
0000254a: JUMPDEST
0000254b: PUSH1 0x20
0000254d: DUP3
0000254e: ADD
0000254f: SWAP1
00002550: POP
00002551: SWAP2
00002552: SWAP1
00002553: POP
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x00
00002558: PUSH2 0x2562
0000255b: PUSH1 0x0e
0000255d: DUP4
0000255e: PUSH2 0x2b9f
00002561: JUMP
00002562: JUMPDEST
00002563: SWAP2
00002564: POP
00002565: PUSH2 0x256d
00002568: DUP3
00002569: PUSH2 0x2e8f
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH1 0x20
00002570: DUP3
00002571: ADD
00002572: SWAP1
00002573: POP
00002574: SWAP2
00002575: SWAP1
00002576: POP
00002577: JUMP
00002578: JUMPDEST
00002579: PUSH1 0x00
0000257b: PUSH2 0x2585
0000257e: PUSH1 0x10
00002580: DUP4
00002581: PUSH2 0x2b9f
00002584: JUMP
00002585: JUMPDEST
00002586: SWAP2
00002587: POP
00002588: PUSH2 0x2590
0000258b: DUP3
0000258c: PUSH2 0x2eb8
0000258f: JUMP
00002590: JUMPDEST
00002591: PUSH1 0x20
00002593: DUP3
00002594: ADD
00002595: SWAP1
00002596: POP
00002597: SWAP2
00002598: SWAP1
00002599: POP
0000259a: JUMP
0000259b: JUMPDEST
0000259c: PUSH1 0x00
0000259e: PUSH2 0x25a8
000025a1: PUSH1 0x0a
000025a3: DUP4
000025a4: PUSH2 0x2b9f
000025a7: JUMP
000025a8: JUMPDEST
000025a9: SWAP2
000025aa: POP
000025ab: PUSH2 0x25b3
000025ae: DUP3
000025af: PUSH2 0x2ee1
000025b2: JUMP
000025b3: JUMPDEST
000025b4: PUSH1 0x20
000025b6: DUP3
000025b7: ADD
000025b8: SWAP1
000025b9: POP
000025ba: SWAP2
000025bb: SWAP1
000025bc: POP
000025bd: JUMP
000025be: JUMPDEST
000025bf: PUSH1 0x00
000025c1: PUSH2 0x25cb
000025c4: PUSH1 0x0b
000025c6: DUP4
000025c7: PUSH2 0x2b9f
000025ca: JUMP
000025cb: JUMPDEST
000025cc: SWAP2
000025cd: POP
000025ce: PUSH2 0x25d6
000025d1: DUP3
000025d2: PUSH2 0x2f0a
000025d5: JUMP
000025d6: JUMPDEST
000025d7: PUSH1 0x20
000025d9: DUP3
000025da: ADD
000025db: SWAP1
000025dc: POP
000025dd: SWAP2
000025de: SWAP1
000025df: POP
000025e0: JUMP
000025e1: JUMPDEST
000025e2: PUSH1 0x00
000025e4: PUSH2 0x25ee
000025e7: PUSH1 0x0c
000025e9: DUP4
000025ea: PUSH2 0x2b9f
000025ed: JUMP
000025ee: JUMPDEST
000025ef: SWAP2
000025f0: POP
000025f1: PUSH2 0x25f9
000025f4: DUP3
000025f5: PUSH2 0x2f33
000025f8: JUMP
000025f9: JUMPDEST
000025fa: PUSH1 0x20
000025fc: DUP3
000025fd: ADD
000025fe: SWAP1
000025ff: POP
00002600: SWAP2
00002601: SWAP1
00002602: POP
00002603: JUMP
00002604: JUMPDEST
00002605: PUSH1 0x00
00002607: PUSH2 0x2611
0000260a: PUSH1 0x0e
0000260c: DUP4
0000260d: PUSH2 0x2b9f
00002610: JUMP
00002611: JUMPDEST
00002612: SWAP2
00002613: POP
00002614: PUSH2 0x261c
00002617: DUP3
00002618: PUSH2 0x2f5c
0000261b: JUMP
0000261c: JUMPDEST
0000261d: PUSH1 0x20
0000261f: DUP3
00002620: ADD
00002621: SWAP1
00002622: POP
00002623: SWAP2
00002624: SWAP1
00002625: POP
00002626: JUMP
00002627: JUMPDEST
00002628: PUSH1 0x00
0000262a: PUSH2 0x2634
0000262d: PUSH1 0x0f
0000262f: DUP4
00002630: PUSH2 0x2b9f
00002633: JUMP
00002634: JUMPDEST
00002635: SWAP2
00002636: POP
00002637: PUSH2 0x263f
0000263a: DUP3
0000263b: PUSH2 0x2f85
0000263e: JUMP
0000263f: JUMPDEST
00002640: PUSH1 0x20
00002642: DUP3
00002643: ADD
00002644: SWAP1
00002645: POP
00002646: SWAP2
00002647: SWAP1
00002648: POP
00002649: JUMP
0000264a: JUMPDEST
0000264b: PUSH1 0x00
0000264d: PUSH2 0x2657
00002650: PUSH1 0x0f
00002652: DUP4
00002653: PUSH2 0x2b9f
00002656: JUMP
00002657: JUMPDEST
00002658: SWAP2
00002659: POP
0000265a: PUSH2 0x2662
0000265d: DUP3
0000265e: PUSH2 0x2fae
00002661: JUMP
00002662: JUMPDEST
00002663: PUSH1 0x20
00002665: DUP3
00002666: ADD
00002667: SWAP1
00002668: POP
00002669: SWAP2
0000266a: SWAP1
0000266b: POP
0000266c: JUMP
0000266d: JUMPDEST
0000266e: PUSH1 0x00
00002670: PUSH2 0x267a
00002673: PUSH1 0x06
00002675: DUP4
00002676: PUSH2 0x2b9f
00002679: JUMP
0000267a: JUMPDEST
0000267b: SWAP2
0000267c: POP
0000267d: PUSH2 0x2685
00002680: DUP3
00002681: PUSH2 0x2fd7
00002684: JUMP
00002685: JUMPDEST
00002686: PUSH1 0x20
00002688: DUP3
00002689: ADD
0000268a: SWAP1
0000268b: POP
0000268c: SWAP2
0000268d: SWAP1
0000268e: POP
0000268f: JUMP
00002690: JUMPDEST
00002691: PUSH2 0x2699
00002694: DUP2
00002695: PUSH2 0x2c8d
00002698: JUMP
00002699: JUMPDEST
0000269a: DUP3
0000269b: MSTORE
0000269c: POP
0000269d: POP
0000269e: JUMP
0000269f: JUMPDEST
000026a0: PUSH2 0x26b0
000026a3: PUSH2 0x26ab
000026a6: DUP3
000026a7: PUSH2 0x2c8d
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH2 0x2d8e
000026af: JUMP
000026b0: JUMPDEST
000026b1: DUP3
000026b2: MSTORE
000026b3: POP
000026b4: POP
000026b5: JUMP
000026b6: JUMPDEST
000026b7: PUSH2 0x26bf
000026ba: DUP2
000026bb: PUSH2 0x2c97
000026be: JUMP
000026bf: JUMPDEST
000026c0: DUP3
000026c1: MSTORE
000026c2: POP
000026c3: POP
000026c4: JUMP
000026c5: JUMPDEST
000026c6: PUSH1 0x00
000026c8: PUSH2 0x26d1
000026cb: DUP3
000026cc: DUP5
000026cd: PUSH2 0x24bb
000026d0: JUMP
000026d1: JUMPDEST
000026d2: SWAP2
000026d3: POP
000026d4: DUP2
000026d5: SWAP1
000026d6: POP
000026d7: SWAP3
000026d8: SWAP2
000026d9: POP
000026da: POP
000026db: JUMP
000026dc: JUMPDEST
000026dd: PUSH1 0x00
000026df: PUSH2 0x26e7
000026e2: DUP3
000026e3: PUSH2 0x24ec
000026e6: JUMP
000026e7: JUMPDEST
000026e8: SWAP2
000026e9: POP
000026ea: PUSH2 0x26f3
000026ed: DUP3
000026ee: DUP5
000026ef: PUSH2 0x246b
000026f2: JUMP
000026f3: JUMPDEST
000026f4: PUSH1 0x20
000026f6: DUP3
000026f7: ADD
000026f8: SWAP2
000026f9: POP
000026fa: DUP2
000026fb: SWAP1
000026fc: POP
000026fd: SWAP3
000026fe: SWAP2
000026ff: POP
00002700: POP
00002701: JUMP
00002702: JUMPDEST
00002703: PUSH1 0x00
00002705: PUSH2 0x270e
00002708: DUP3
00002709: DUP11
0000270a: PUSH2 0x269f
0000270d: JUMP
0000270e: JUMPDEST
0000270f: PUSH1 0x20
00002711: DUP3
00002712: ADD
00002713: SWAP2
00002714: POP
00002715: PUSH2 0x271e
00002718: DUP3
00002719: DUP10
0000271a: PUSH2 0x23d8
0000271d: JUMP
0000271e: JUMPDEST
0000271f: PUSH1 0x14
00002721: DUP3
00002722: ADD
00002723: SWAP2
00002724: POP
00002725: PUSH2 0x272e
00002728: DUP3
00002729: DUP9
0000272a: PUSH2 0x269f
0000272d: JUMP
0000272e: JUMPDEST
0000272f: PUSH1 0x20
00002731: DUP3
00002732: ADD
00002733: SWAP2
00002734: POP
00002735: PUSH2 0x273e
00002738: DUP3
00002739: DUP8
0000273a: PUSH2 0x246b
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x20
00002741: DUP3
00002742: ADD
00002743: SWAP2
00002744: POP
00002745: PUSH2 0x274e
00002748: DUP3
00002749: DUP7
0000274a: PUSH2 0x23d8
0000274d: JUMP
0000274e: JUMPDEST
0000274f: PUSH1 0x14
00002751: DUP3
00002752: ADD
00002753: SWAP2
00002754: POP
00002755: PUSH2 0x275e
00002758: DUP3
00002759: DUP6
0000275a: PUSH2 0x269f
0000275d: JUMP
0000275e: JUMPDEST
0000275f: PUSH1 0x20
00002761: DUP3
00002762: ADD
00002763: SWAP2
00002764: POP
00002765: PUSH2 0x276e
00002768: DUP3
00002769: DUP5
0000276a: PUSH2 0x24bb
0000276d: JUMP
0000276e: JUMPDEST
0000276f: SWAP2
00002770: POP
00002771: DUP2
00002772: SWAP1
00002773: POP
00002774: SWAP9
00002775: SWAP8
00002776: POP
00002777: POP
00002778: POP
00002779: POP
0000277a: POP
0000277b: POP
0000277c: POP
0000277d: POP
0000277e: JUMP
0000277f: JUMPDEST
00002780: PUSH1 0x00
00002782: PUSH1 0x20
00002784: DUP3
00002785: ADD
00002786: SWAP1
00002787: POP
00002788: PUSH2 0x2794
0000278b: PUSH1 0x00
0000278d: DUP4
0000278e: ADD
0000278f: DUP5
00002790: PUSH2 0x23c9
00002793: JUMP
00002794: JUMPDEST
00002795: SWAP3
00002796: SWAP2
00002797: POP
00002798: POP
00002799: JUMP
0000279a: JUMPDEST
0000279b: PUSH1 0x00
0000279d: PUSH1 0x80
0000279f: DUP3
000027a0: ADD
000027a1: SWAP1
000027a2: POP
000027a3: PUSH2 0x27af
000027a6: PUSH1 0x00
000027a8: DUP4
000027a9: ADD
000027aa: DUP8
000027ab: PUSH2 0x23c9
000027ae: JUMP
000027af: JUMPDEST
000027b0: PUSH2 0x27bc
000027b3: PUSH1 0x20
000027b5: DUP4
000027b6: ADD
000027b7: DUP7
000027b8: PUSH2 0x23c9
000027bb: JUMP
000027bc: JUMPDEST
000027bd: PUSH2 0x27c9
000027c0: PUSH1 0x40
000027c2: DUP4
000027c3: ADD
000027c4: DUP6
000027c5: PUSH2 0x2690
000027c8: JUMP
000027c9: JUMPDEST
000027ca: DUP2
000027cb: DUP2
000027cc: SUB
000027cd: PUSH1 0x60
000027cf: DUP4
000027d0: ADD
000027d1: MSTORE
000027d2: PUSH2 0x27db
000027d5: DUP2
000027d6: DUP5
000027d7: PUSH2 0x2482
000027da: JUMP
000027db: JUMPDEST
000027dc: SWAP1
000027dd: POP
000027de: SWAP6
000027df: SWAP5
000027e0: POP
000027e1: POP
000027e2: POP
000027e3: POP
000027e4: POP
000027e5: JUMP
000027e6: JUMPDEST
000027e7: PUSH1 0x00
000027e9: PUSH1 0x60
000027eb: DUP3
000027ec: ADD
000027ed: SWAP1
000027ee: POP
000027ef: PUSH2 0x27fb
000027f2: PUSH1 0x00
000027f4: DUP4
000027f5: ADD
000027f6: DUP7
000027f7: PUSH2 0x23c9
000027fa: JUMP
000027fb: JUMPDEST
000027fc: PUSH2 0x2808
000027ff: PUSH1 0x20
00002801: DUP4
00002802: ADD
00002803: DUP6
00002804: PUSH2 0x2690
00002807: JUMP
00002808: JUMPDEST
00002809: DUP2
0000280a: DUP2
0000280b: SUB
0000280c: PUSH1 0x40
0000280e: DUP4
0000280f: ADD
00002810: MSTORE
00002811: PUSH2 0x281a
00002814: DUP2
00002815: DUP5
00002816: PUSH2 0x2482
00002819: JUMP
0000281a: JUMPDEST
0000281b: SWAP1
0000281c: POP
0000281d: SWAP5
0000281e: SWAP4
0000281f: POP
00002820: POP
00002821: POP
00002822: POP
00002823: JUMP
00002824: JUMPDEST
00002825: PUSH1 0x00
00002827: PUSH1 0x20
00002829: DUP3
0000282a: ADD
0000282b: SWAP1
0000282c: POP
0000282d: DUP2
0000282e: DUP2
0000282f: SUB
00002830: PUSH1 0x00
00002832: DUP4
00002833: ADD
00002834: MSTORE
00002835: PUSH2 0x283e
00002838: DUP2
00002839: DUP5
0000283a: PUSH2 0x23ef
0000283d: JUMP
0000283e: JUMPDEST
0000283f: SWAP1
00002840: POP
00002841: SWAP3
00002842: SWAP2
00002843: POP
00002844: POP
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH1 0x00
00002849: PUSH1 0x20
0000284b: DUP3
0000284c: ADD
0000284d: SWAP1
0000284e: POP
0000284f: PUSH2 0x285b
00002852: PUSH1 0x00
00002854: DUP4
00002855: ADD
00002856: DUP5
00002857: PUSH2 0x244d
0000285a: JUMP
0000285b: JUMPDEST
0000285c: SWAP3
0000285d: SWAP2
0000285e: POP
0000285f: POP
00002860: JUMP
00002861: JUMPDEST
00002862: PUSH1 0x00
00002864: PUSH1 0x20
00002866: DUP3
00002867: ADD
00002868: SWAP1
00002869: POP
0000286a: PUSH2 0x2876
0000286d: PUSH1 0x00
0000286f: DUP4
00002870: ADD
00002871: DUP5
00002872: PUSH2 0x245c
00002875: JUMP
00002876: JUMPDEST
00002877: SWAP3
00002878: SWAP2
00002879: POP
0000287a: POP
0000287b: JUMP
0000287c: JUMPDEST
0000287d: PUSH1 0x00
0000287f: PUSH1 0x40
00002881: DUP3
00002882: ADD
00002883: SWAP1
00002884: POP
00002885: PUSH2 0x2891
00002888: PUSH1 0x00
0000288a: DUP4
0000288b: ADD
0000288c: DUP6
0000288d: PUSH2 0x245c
00002890: JUMP
00002891: JUMPDEST
00002892: PUSH2 0x289e
00002895: PUSH1 0x20
00002897: DUP4
00002898: ADD
00002899: DUP5
0000289a: PUSH2 0x244d
0000289d: JUMP
0000289e: JUMPDEST
0000289f: SWAP4
000028a0: SWAP3
000028a1: POP
000028a2: POP
000028a3: POP
000028a4: JUMP
000028a5: JUMPDEST
000028a6: PUSH1 0x00
000028a8: PUSH1 0x80
000028aa: DUP3
000028ab: ADD
000028ac: SWAP1
000028ad: POP
000028ae: PUSH2 0x28ba
000028b1: PUSH1 0x00
000028b3: DUP4
000028b4: ADD
000028b5: DUP8
000028b6: PUSH2 0x245c
000028b9: JUMP
000028ba: JUMPDEST
000028bb: PUSH2 0x28c7
000028be: PUSH1 0x20
000028c0: DUP4
000028c1: ADD
000028c2: DUP7
000028c3: PUSH2 0x26b6
000028c6: JUMP
000028c7: JUMPDEST
000028c8: PUSH2 0x28d4
000028cb: PUSH1 0x40
000028cd: DUP4
000028ce: ADD
000028cf: DUP6
000028d0: PUSH2 0x245c
000028d3: JUMP
000028d4: JUMPDEST
000028d5: PUSH2 0x28e1
000028d8: PUSH1 0x60
000028da: DUP4
000028db: ADD
000028dc: DUP5
000028dd: PUSH2 0x245c
000028e0: JUMP
000028e1: JUMPDEST
000028e2: SWAP6
000028e3: SWAP5
000028e4: POP
000028e5: POP
000028e6: POP
000028e7: POP
000028e8: POP
000028e9: JUMP
000028ea: JUMPDEST
000028eb: PUSH1 0x00
000028ed: PUSH1 0x20
000028ef: DUP3
000028f0: ADD
000028f1: SWAP1
000028f2: POP
000028f3: DUP2
000028f4: DUP2
000028f5: SUB
000028f6: PUSH1 0x00
000028f8: DUP4
000028f9: ADD
000028fa: MSTORE
000028fb: PUSH2 0x2903
000028fe: DUP2
000028ff: PUSH2 0x250f
00002902: JUMP
00002903: JUMPDEST
00002904: SWAP1
00002905: POP
00002906: SWAP2
00002907: SWAP1
00002908: POP
00002909: JUMP
0000290a: JUMPDEST
0000290b: PUSH1 0x00
0000290d: PUSH1 0x20
0000290f: DUP3
00002910: ADD
00002911: SWAP1
00002912: POP
00002913: DUP2
00002914: DUP2
00002915: SUB
00002916: PUSH1 0x00
00002918: DUP4
00002919: ADD
0000291a: MSTORE
0000291b: PUSH2 0x2923
0000291e: DUP2
0000291f: PUSH2 0x2532
00002922: JUMP
00002923: JUMPDEST
00002924: SWAP1
00002925: POP
00002926: SWAP2
00002927: SWAP1
00002928: POP
00002929: JUMP
0000292a: JUMPDEST
0000292b: PUSH1 0x00
0000292d: PUSH1 0x20
0000292f: DUP3
00002930: ADD
00002931: SWAP1
00002932: POP
00002933: DUP2
00002934: DUP2
00002935: SUB
00002936: PUSH1 0x00
00002938: DUP4
00002939: ADD
0000293a: MSTORE
0000293b: PUSH2 0x2943
0000293e: DUP2
0000293f: PUSH2 0x2555
00002942: JUMP
00002943: JUMPDEST
00002944: SWAP1
00002945: POP
00002946: SWAP2
00002947: SWAP1
00002948: POP
00002949: JUMP
0000294a: JUMPDEST
0000294b: PUSH1 0x00
0000294d: PUSH1 0x20
0000294f: DUP3
00002950: ADD
00002951: SWAP1
00002952: POP
00002953: DUP2
00002954: DUP2
00002955: SUB
00002956: PUSH1 0x00
00002958: DUP4
00002959: ADD
0000295a: MSTORE
0000295b: PUSH2 0x2963
0000295e: DUP2
0000295f: PUSH2 0x2578
00002962: JUMP
00002963: JUMPDEST
00002964: SWAP1
00002965: POP
00002966: SWAP2
00002967: SWAP1
00002968: POP
00002969: JUMP
0000296a: JUMPDEST
0000296b: PUSH1 0x00
0000296d: PUSH1 0x20
0000296f: DUP3
00002970: ADD
00002971: SWAP1
00002972: POP
00002973: DUP2
00002974: DUP2
00002975: SUB
00002976: PUSH1 0x00
00002978: DUP4
00002979: ADD
0000297a: MSTORE
0000297b: PUSH2 0x2983
0000297e: DUP2
0000297f: PUSH2 0x259b
00002982: JUMP
00002983: JUMPDEST
00002984: SWAP1
00002985: POP
00002986: SWAP2
00002987: SWAP1
00002988: POP
00002989: JUMP
0000298a: JUMPDEST
0000298b: PUSH1 0x00
0000298d: PUSH1 0x20
0000298f: DUP3
00002990: ADD
00002991: SWAP1
00002992: POP
00002993: DUP2
00002994: DUP2
00002995: SUB
00002996: PUSH1 0x00
00002998: DUP4
00002999: ADD
0000299a: MSTORE
0000299b: PUSH2 0x29a3
0000299e: DUP2
0000299f: PUSH2 0x25be
000029a2: JUMP
000029a3: JUMPDEST
000029a4: SWAP1
000029a5: POP
000029a6: SWAP2
000029a7: SWAP1
000029a8: POP
000029a9: JUMP
000029aa: JUMPDEST
000029ab: PUSH1 0x00
000029ad: PUSH1 0x20
000029af: DUP3
000029b0: ADD
000029b1: SWAP1
000029b2: POP
000029b3: DUP2
000029b4: DUP2
000029b5: SUB
000029b6: PUSH1 0x00
000029b8: DUP4
000029b9: ADD
000029ba: MSTORE
000029bb: PUSH2 0x29c3
000029be: DUP2
000029bf: PUSH2 0x25e1
000029c2: JUMP
000029c3: JUMPDEST
000029c4: SWAP1
000029c5: POP
000029c6: SWAP2
000029c7: SWAP1
000029c8: POP
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x00
000029cd: PUSH1 0x20
000029cf: DUP3
000029d0: ADD
000029d1: SWAP1
000029d2: POP
000029d3: DUP2
000029d4: DUP2
000029d5: SUB
000029d6: PUSH1 0x00
000029d8: DUP4
000029d9: ADD
000029da: MSTORE
000029db: PUSH2 0x29e3
000029de: DUP2
000029df: PUSH2 0x2604
000029e2: JUMP
000029e3: JUMPDEST
000029e4: SWAP1
000029e5: POP
000029e6: SWAP2
000029e7: SWAP1
000029e8: POP
000029e9: JUMP
000029ea: JUMPDEST
000029eb: PUSH1 0x00
000029ed: PUSH1 0x20
000029ef: DUP3
000029f0: ADD
000029f1: SWAP1
000029f2: POP
000029f3: DUP2
000029f4: DUP2
000029f5: SUB
000029f6: PUSH1 0x00
000029f8: DUP4
000029f9: ADD
000029fa: MSTORE
000029fb: PUSH2 0x2a03
000029fe: DUP2
000029ff: PUSH2 0x2627
00002a02: JUMP
00002a03: JUMPDEST
00002a04: SWAP1
00002a05: POP
00002a06: SWAP2
00002a07: SWAP1
00002a08: POP
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH1 0x00
00002a0d: PUSH1 0x20
00002a0f: DUP3
00002a10: ADD
00002a11: SWAP1
00002a12: POP
00002a13: DUP2
00002a14: DUP2
00002a15: SUB
00002a16: PUSH1 0x00
00002a18: DUP4
00002a19: ADD
00002a1a: MSTORE
00002a1b: PUSH2 0x2a23
00002a1e: DUP2
00002a1f: PUSH2 0x264a
00002a22: JUMP
00002a23: JUMPDEST
00002a24: SWAP1
00002a25: POP
00002a26: SWAP2
00002a27: SWAP1
00002a28: POP
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: PUSH1 0x00
00002a2d: PUSH1 0x20
00002a2f: DUP3
00002a30: ADD
00002a31: SWAP1
00002a32: POP
00002a33: DUP2
00002a34: DUP2
00002a35: SUB
00002a36: PUSH1 0x00
00002a38: DUP4
00002a39: ADD
00002a3a: MSTORE
00002a3b: PUSH2 0x2a43
00002a3e: DUP2
00002a3f: PUSH2 0x266d
00002a42: JUMP
00002a43: JUMPDEST
00002a44: SWAP1
00002a45: POP
00002a46: SWAP2
00002a47: SWAP1
00002a48: POP
00002a49: JUMP
00002a4a: JUMPDEST
00002a4b: PUSH1 0x00
00002a4d: PUSH1 0x20
00002a4f: DUP3
00002a50: ADD
00002a51: SWAP1
00002a52: POP
00002a53: PUSH2 0x2a5f
00002a56: PUSH1 0x00
00002a58: DUP4
00002a59: ADD
00002a5a: DUP5
00002a5b: PUSH2 0x2690
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: SWAP3
00002a61: SWAP2
00002a62: POP
00002a63: POP
00002a64: JUMP
00002a65: JUMPDEST
00002a66: PUSH1 0x00
00002a68: PUSH2 0x2a6f
00002a6b: PUSH2 0x2a80
00002a6e: JUMP
00002a6f: JUMPDEST
00002a70: SWAP1
00002a71: POP
00002a72: PUSH2 0x2a7b
00002a75: DUP3
00002a76: DUP3
00002a77: PUSH2 0x2ce6
00002a7a: JUMP
00002a7b: JUMPDEST
00002a7c: SWAP2
00002a7d: SWAP1
00002a7e: POP
00002a7f: JUMP
00002a80: JUMPDEST
00002a81: PUSH1 0x00
00002a83: PUSH1 0x40
00002a85: MLOAD
00002a86: SWAP1
00002a87: POP
00002a88: SWAP1
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: PUSH1 0x00
00002a8d: PUSH8 0xffffffffffffffff
00002a96: DUP3
00002a97: GT
00002a98: ISZERO
00002a99: PUSH2 0x2aa5
00002a9c: JUMPI
00002a9d: PUSH2 0x2aa4
00002aa0: PUSH2 0x2dc7
00002aa3: JUMP
00002aa4: JUMPDEST
00002aa5: JUMPDEST
00002aa6: PUSH1 0x20
00002aa8: DUP3
00002aa9: MUL
00002aaa: SWAP1
00002aab: POP
00002aac: PUSH1 0x20
00002aae: DUP2
00002aaf: ADD
00002ab0: SWAP1
00002ab1: POP
00002ab2: SWAP2
00002ab3: SWAP1
00002ab4: POP
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: PUSH1 0x00
00002ab9: PUSH8 0xffffffffffffffff
00002ac2: DUP3
00002ac3: GT
00002ac4: ISZERO
00002ac5: PUSH2 0x2ad1
00002ac8: JUMPI
00002ac9: PUSH2 0x2ad0
00002acc: PUSH2 0x2dc7
00002acf: JUMP
00002ad0: JUMPDEST
00002ad1: JUMPDEST
00002ad2: PUSH1 0x20
00002ad4: DUP3
00002ad5: MUL
00002ad6: SWAP1
00002ad7: POP
00002ad8: PUSH1 0x20
00002ada: DUP2
00002adb: ADD
00002adc: SWAP1
00002add: POP
00002ade: SWAP2
00002adf: SWAP1
00002ae0: POP
00002ae1: JUMP
00002ae2: JUMPDEST
00002ae3: PUSH1 0x00
00002ae5: PUSH8 0xffffffffffffffff
00002aee: DUP3
00002aef: GT
00002af0: ISZERO
00002af1: PUSH2 0x2afd
00002af4: JUMPI
00002af5: PUSH2 0x2afc
00002af8: PUSH2 0x2dc7
00002afb: JUMP
00002afc: JUMPDEST
00002afd: JUMPDEST
00002afe: PUSH1 0x20
00002b00: DUP3
00002b01: MUL
00002b02: SWAP1
00002b03: POP
00002b04: PUSH1 0x20
00002b06: DUP2
00002b07: ADD
00002b08: SWAP1
00002b09: POP
00002b0a: SWAP2
00002b0b: SWAP1
00002b0c: POP
00002b0d: JUMP
00002b0e: JUMPDEST
00002b0f: PUSH1 0x00
00002b11: PUSH8 0xffffffffffffffff
00002b1a: DUP3
00002b1b: GT
00002b1c: ISZERO
00002b1d: PUSH2 0x2b29
00002b20: JUMPI
00002b21: PUSH2 0x2b28
00002b24: PUSH2 0x2dc7
00002b27: JUMP
00002b28: JUMPDEST
00002b29: JUMPDEST
00002b2a: PUSH2 0x2b32
00002b2d: DUP3
00002b2e: PUSH2 0x2df6
00002b31: JUMP
00002b32: JUMPDEST
00002b33: SWAP1
00002b34: POP
00002b35: PUSH1 0x20
00002b37: DUP2
00002b38: ADD
00002b39: SWAP1
00002b3a: POP
00002b3b: SWAP2
00002b3c: SWAP1
00002b3d: POP
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: PUSH1 0x00
00002b42: DUP2
00002b43: SWAP1
00002b44: POP
00002b45: PUSH1 0x20
00002b47: DUP3
00002b48: ADD
00002b49: SWAP1
00002b4a: POP
00002b4b: SWAP2
00002b4c: SWAP1
00002b4d: POP
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: PUSH1 0x00
00002b52: DUP2
00002b53: MLOAD
00002b54: SWAP1
00002b55: POP
00002b56: SWAP2
00002b57: SWAP1
00002b58: POP
00002b59: JUMP
00002b5a: JUMPDEST
00002b5b: PUSH1 0x00
00002b5d: DUP2
00002b5e: MLOAD
00002b5f: SWAP1
00002b60: POP
00002b61: SWAP2
00002b62: SWAP1
00002b63: POP
00002b64: JUMP
00002b65: JUMPDEST
00002b66: PUSH1 0x00
00002b68: PUSH1 0x20
00002b6a: DUP3
00002b6b: ADD
00002b6c: SWAP1
00002b6d: POP
00002b6e: SWAP2
00002b6f: SWAP1
00002b70: POP
00002b71: JUMP
00002b72: JUMPDEST
00002b73: PUSH1 0x00
00002b75: DUP3
00002b76: DUP3
00002b77: MSTORE
00002b78: PUSH1 0x20
00002b7a: DUP3
00002b7b: ADD
00002b7c: SWAP1
00002b7d: POP
00002b7e: SWAP3
00002b7f: SWAP2
00002b80: POP
00002b81: POP
00002b82: JUMP
00002b83: JUMPDEST
00002b84: PUSH1 0x00
00002b86: DUP3
00002b87: DUP3
00002b88: MSTORE
00002b89: PUSH1 0x20
00002b8b: DUP3
00002b8c: ADD
00002b8d: SWAP1
00002b8e: POP
00002b8f: SWAP3
00002b90: SWAP2
00002b91: POP
00002b92: POP
00002b93: JUMP
00002b94: JUMPDEST
00002b95: PUSH1 0x00
00002b97: DUP2
00002b98: SWAP1
00002b99: POP
00002b9a: SWAP3
00002b9b: SWAP2
00002b9c: POP
00002b9d: POP
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH1 0x00
00002ba2: DUP3
00002ba3: DUP3
00002ba4: MSTORE
00002ba5: PUSH1 0x20
00002ba7: DUP3
00002ba8: ADD
00002ba9: SWAP1
00002baa: POP
00002bab: SWAP3
00002bac: SWAP2
00002bad: POP
00002bae: POP
00002baf: JUMP
00002bb0: JUMPDEST
00002bb1: PUSH1 0x00
00002bb3: DUP2
00002bb4: SWAP1
00002bb5: POP
00002bb6: SWAP3
00002bb7: SWAP2
00002bb8: POP
00002bb9: POP
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: PUSH1 0x00
00002bbe: PUSH2 0x2bc6
00002bc1: DUP3
00002bc2: PUSH2 0x2c8d
00002bc5: JUMP
00002bc6: JUMPDEST
00002bc7: SWAP2
00002bc8: POP
00002bc9: PUSH2 0x2bd1
00002bcc: DUP4
00002bcd: PUSH2 0x2c8d
00002bd0: JUMP
00002bd1: JUMPDEST
00002bd2: SWAP3
00002bd3: POP
00002bd4: DUP3
00002bd5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bf6: SUB
00002bf7: DUP3
00002bf8: GT
00002bf9: ISZERO
00002bfa: PUSH2 0x2c06
00002bfd: JUMPI
00002bfe: PUSH2 0x2c05
00002c01: PUSH2 0x2d98
00002c04: JUMP
00002c05: JUMPDEST
00002c06: JUMPDEST
00002c07: DUP3
00002c08: DUP3
00002c09: ADD
00002c0a: SWAP1
00002c0b: POP
00002c0c: SWAP3
00002c0d: SWAP2
00002c0e: POP
00002c0f: POP
00002c10: JUMP
00002c11: JUMPDEST
00002c12: PUSH1 0x00
00002c14: PUSH2 0x2c1c
00002c17: DUP3
00002c18: PUSH2 0x2c8d
00002c1b: JUMP
00002c1c: JUMPDEST
00002c1d: SWAP2
00002c1e: POP
00002c1f: PUSH2 0x2c27
00002c22: DUP4
00002c23: PUSH2 0x2c8d
00002c26: JUMP
00002c27: JUMPDEST
00002c28: SWAP3
00002c29: POP
00002c2a: DUP3
00002c2b: DUP3
00002c2c: LT
00002c2d: ISZERO
00002c2e: PUSH2 0x2c3a
00002c31: JUMPI
00002c32: PUSH2 0x2c39
00002c35: PUSH2 0x2d98
00002c38: JUMP
00002c39: JUMPDEST
00002c3a: JUMPDEST
00002c3b: DUP3
00002c3c: DUP3
00002c3d: SUB
00002c3e: SWAP1
00002c3f: POP
00002c40: SWAP3
00002c41: SWAP2
00002c42: POP
00002c43: POP
00002c44: JUMP
00002c45: JUMPDEST
00002c46: PUSH1 0x00
00002c48: PUSH2 0x2c50
00002c4b: DUP3
00002c4c: PUSH2 0x2c6d
00002c4f: JUMP
00002c50: JUMPDEST
00002c51: SWAP1
00002c52: POP
00002c53: SWAP2
00002c54: SWAP1
00002c55: POP
00002c56: JUMP
00002c57: JUMPDEST
00002c58: PUSH1 0x00
00002c5a: DUP2
00002c5b: ISZERO
00002c5c: ISZERO
00002c5d: SWAP1
00002c5e: POP
00002c5f: SWAP2
00002c60: SWAP1
00002c61: POP
00002c62: JUMP
00002c63: JUMPDEST
00002c64: PUSH1 0x00
00002c66: DUP2
00002c67: SWAP1
00002c68: POP
00002c69: SWAP2
00002c6a: SWAP1
00002c6b: POP
00002c6c: JUMP
00002c6d: JUMPDEST
00002c6e: PUSH1 0x00
00002c70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c85: DUP3
00002c86: AND
00002c87: SWAP1
00002c88: POP
00002c89: SWAP2
00002c8a: SWAP1
00002c8b: POP
00002c8c: JUMP
00002c8d: JUMPDEST
00002c8e: PUSH1 0x00
00002c90: DUP2
00002c91: SWAP1
00002c92: POP
00002c93: SWAP2
00002c94: SWAP1
00002c95: POP
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH1 0x00
00002c9a: PUSH1 0xff
00002c9c: DUP3
00002c9d: AND
00002c9e: SWAP1
00002c9f: POP
00002ca0: SWAP2
00002ca1: SWAP1
00002ca2: POP
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: DUP3
00002ca6: DUP2
00002ca7: DUP4
00002ca8: CALLDATACOPY
00002ca9: PUSH1 0x00
00002cab: DUP4
00002cac: DUP4
00002cad: ADD
00002cae: MSTORE
00002caf: POP
00002cb0: POP
00002cb1: POP
00002cb2: JUMP
00002cb3: JUMPDEST
00002cb4: PUSH1 0x00
00002cb6: JUMPDEST
00002cb7: DUP4
00002cb8: DUP2
00002cb9: LT
00002cba: ISZERO
00002cbb: PUSH2 0x2cd1
00002cbe: JUMPI
00002cbf: DUP1
00002cc0: DUP3
00002cc1: ADD
00002cc2: MLOAD
00002cc3: DUP2
00002cc4: DUP5
00002cc5: ADD
00002cc6: MSTORE
00002cc7: PUSH1 0x20
00002cc9: DUP2
00002cca: ADD
00002ccb: SWAP1
00002ccc: POP
00002ccd: PUSH2 0x2cb6
00002cd0: JUMP
00002cd1: JUMPDEST
00002cd2: DUP4
00002cd3: DUP2
00002cd4: GT
00002cd5: ISZERO
00002cd6: PUSH2 0x2ce0
00002cd9: JUMPI
00002cda: PUSH1 0x00
00002cdc: DUP5
00002cdd: DUP5
00002cde: ADD
00002cdf: MSTORE
00002ce0: JUMPDEST
00002ce1: POP
00002ce2: POP
00002ce3: POP
00002ce4: POP
00002ce5: JUMP
00002ce6: JUMPDEST
00002ce7: PUSH2 0x2cef
00002cea: DUP3
00002ceb: PUSH2 0x2df6
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: DUP2
00002cf1: ADD
00002cf2: DUP2
00002cf3: DUP2
00002cf4: LT
00002cf5: PUSH8 0xffffffffffffffff
00002cfe: DUP3
00002cff: GT
00002d00: OR
00002d01: ISZERO
00002d02: PUSH2 0x2d0e
00002d05: JUMPI
00002d06: PUSH2 0x2d0d
00002d09: PUSH2 0x2dc7
00002d0c: JUMP
00002d0d: JUMPDEST
00002d0e: JUMPDEST
00002d0f: DUP1
00002d10: PUSH1 0x40
00002d12: MSTORE
00002d13: POP
00002d14: POP
00002d15: POP
00002d16: JUMP
00002d17: JUMPDEST
00002d18: PUSH1 0x00
00002d1a: PUSH2 0x2d22
00002d1d: DUP3
00002d1e: PUSH2 0x2c8d
00002d21: JUMP
00002d22: JUMPDEST
00002d23: SWAP2
00002d24: POP
00002d25: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002d46: DUP3
00002d47: EQ
00002d48: ISZERO
00002d49: PUSH2 0x2d55
00002d4c: JUMPI
00002d4d: PUSH2 0x2d54
00002d50: PUSH2 0x2d98
00002d53: JUMP
00002d54: JUMPDEST
00002d55: JUMPDEST
00002d56: PUSH1 0x01
00002d58: DUP3
00002d59: ADD
00002d5a: SWAP1
00002d5b: POP
00002d5c: SWAP2
00002d5d: SWAP1
00002d5e: POP
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: PUSH1 0x00
00002d63: PUSH2 0x2d6b
00002d66: DUP3
00002d67: PUSH2 0x2d7c
00002d6a: JUMP
00002d6b: JUMPDEST
00002d6c: SWAP1
00002d6d: POP
00002d6e: SWAP2
00002d6f: SWAP1
00002d70: POP
00002d71: JUMP
00002d72: JUMPDEST
00002d73: PUSH1 0x00
00002d75: DUP2
00002d76: SWAP1
00002d77: POP
00002d78: SWAP2
00002d79: SWAP1
00002d7a: POP
00002d7b: JUMP
00002d7c: JUMPDEST
00002d7d: PUSH1 0x00
00002d7f: PUSH2 0x2d87
00002d82: DUP3
00002d83: PUSH2 0x2e07
00002d86: JUMP
00002d87: JUMPDEST
00002d88: SWAP1
00002d89: POP
00002d8a: SWAP2
00002d8b: SWAP1
00002d8c: POP
00002d8d: JUMP
00002d8e: JUMPDEST
00002d8f: PUSH1 0x00
00002d91: DUP2
00002d92: SWAP1
00002d93: POP
00002d94: SWAP2
00002d95: SWAP1
00002d96: POP
00002d97: JUMP
00002d98: JUMPDEST
00002d99: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002dba: PUSH1 0x00
00002dbc: MSTORE
00002dbd: PUSH1 0x11
00002dbf: PUSH1 0x04
00002dc1: MSTORE
00002dc2: PUSH1 0x24
00002dc4: PUSH1 0x00
00002dc6: REVERT
00002dc7: JUMPDEST
00002dc8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002de9: PUSH1 0x00
00002deb: MSTORE
00002dec: PUSH1 0x41
00002dee: PUSH1 0x04
00002df0: MSTORE
00002df1: PUSH1 0x24
00002df3: PUSH1 0x00
00002df5: REVERT
00002df6: JUMPDEST
00002df7: PUSH1 0x00
00002df9: PUSH1 0x1f
00002dfb: NOT
00002dfc: PUSH1 0x1f
00002dfe: DUP4
00002dff: ADD
00002e00: AND
00002e01: SWAP1
00002e02: POP
00002e03: SWAP2
00002e04: SWAP1
00002e05: POP
00002e06: JUMP
00002e07: JUMPDEST
00002e08: PUSH1 0x00
00002e0a: DUP2
00002e0b: PUSH1 0x60
00002e0d: SHL
00002e0e: SWAP1
00002e0f: POP
00002e10: SWAP2
00002e11: SWAP1
00002e12: POP
00002e13: JUMP
00002e14: JUMPDEST
00002e15: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00002e36: PUSH1 0x00
00002e38: DUP3
00002e39: ADD
00002e3a: MSTORE
00002e3b: POP
00002e3c: JUMP
00002e3d: JUMPDEST
00002e3e: PUSH32 0x696e76616c69645f7369675f7600000000000000000000000000000000000000
00002e5f: PUSH1 0x00
00002e61: DUP3
00002e62: ADD
00002e63: MSTORE
00002e64: POP
00002e65: JUMP
00002e66: JUMPDEST
00002e67: PUSH32 0x6e756c6c5f616464726573730000000000000000000000000000000000000000
00002e88: PUSH1 0x00
00002e8a: DUP3
00002e8b: ADD
00002e8c: MSTORE
00002e8d: POP
00002e8e: JUMP
00002e8f: JUMPDEST
00002e90: PUSH32 0x696e76616c69645f6c656e677468000000000000000000000000000000000000
00002eb1: PUSH1 0x00
00002eb3: DUP3
00002eb4: ADD
00002eb5: MSTORE
00002eb6: POP
00002eb7: JUMP
00002eb8: JUMPDEST
00002eb9: PUSH32 0x696e76616c69645f726571756972656400000000000000000000000000000000
00002eda: PUSH1 0x00
00002edc: DUP3
00002edd: ADD
00002ede: MSTORE
00002edf: POP
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: PUSH32 0x6e6f745f77616c6c657400000000000000000000000000000000000000000000
00002f03: PUSH1 0x00
00002f05: DUP3
00002f06: ADD
00002f07: MSTORE
00002f08: POP
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: PUSH32 0x74785f6578656375746564000000000000000000000000000000000000000000
00002f2c: PUSH1 0x00
00002f2e: DUP3
00002f2f: ADD
00002f30: MSTORE
00002f31: POP
00002f32: JUMP
00002f33: JUMPDEST
00002f34: PUSH32 0x6e6f745f6f70657261746f720000000000000000000000000000000000000000
00002f55: PUSH1 0x00
00002f57: DUP3
00002f58: ADD
00002f59: MSTORE
00002f5a: POP
00002f5b: JUMP
00002f5c: JUMPDEST
00002f5d: PUSH32 0x6e6f5f6f776e65725f666f756e64000000000000000000000000000000000000
00002f7e: PUSH1 0x00
00002f80: DUP3
00002f81: ADD
00002f82: MSTORE
00002f83: POP
00002f84: JUMP
00002f85: JUMPDEST
00002f86: PUSH32 0x65786563757465645f66616c6965640000000000000000000000000000000000
00002fa7: PUSH1 0x00
00002fa9: DUP3
00002faa: ADD
00002fab: MSTORE
00002fac: POP
00002fad: JUMP
00002fae: JUMPDEST
00002faf: PUSH32 0x696e76616c69645f7369675f6c656e0000000000000000000000000000000000
00002fd0: PUSH1 0x00
00002fd2: DUP3
00002fd3: ADD
00002fd4: MSTORE
00002fd5: POP
00002fd6: JUMP
00002fd7: JUMPDEST
00002fd8: PUSH32 0x7061757365640000000000000000000000000000000000000000000000000000
00002ff9: PUSH1 0x00
00002ffb: DUP3
00002ffc: ADD
00002ffd: MSTORE
00002ffe: POP
00002fff: JUMP
00003000: JUMPDEST
00003001: PUSH2 0x3009
00003004: DUP2
00003005: PUSH2 0x2c45
00003008: JUMP
00003009: JUMPDEST
0000300a: DUP2
0000300b: EQ
0000300c: PUSH2 0x3014
0000300f: JUMPI
00003010: PUSH1 0x00
00003012: DUP1
00003013: REVERT
00003014: JUMPDEST
00003015: POP
00003016: JUMP
00003017: JUMPDEST
00003018: PUSH2 0x3020
0000301b: DUP2
0000301c: PUSH2 0x2c57
0000301f: JUMP
00003020: JUMPDEST
00003021: DUP2
00003022: EQ
00003023: PUSH2 0x302b
00003026: JUMPI
00003027: PUSH1 0x00
00003029: DUP1
0000302a: REVERT
0000302b: JUMPDEST
0000302c: POP
0000302d: JUMP
0000302e: JUMPDEST
0000302f: PUSH2 0x3037
00003032: DUP2
00003033: PUSH2 0x2c63
00003036: JUMP
00003037: JUMPDEST
00003038: DUP2
00003039: EQ
0000303a: PUSH2 0x3042
0000303d: JUMPI
0000303e: PUSH1 0x00
00003040: DUP1
00003041: REVERT
00003042: JUMPDEST
00003043: POP
00003044: JUMP
00003045: JUMPDEST
00003046: PUSH2 0x304e
00003049: DUP2
0000304a: PUSH2 0x2c8d
0000304d: JUMP
0000304e: JUMPDEST
0000304f: DUP2
00003050: EQ
00003051: PUSH2 0x3059
00003054: JUMPI
00003055: PUSH1 0x00
00003057: DUP1
00003058: REVERT
00003059: JUMPDEST
0000305a: POP
0000305b: JUMP
0000305c: INVALID
0000305d: LOG2
0000305e: PUSH5 0x6970667358
00003064: UNKNOWN(0x22)
00003065: SLT
00003066: KECCAK256
00003067: UNKNOWN(0xD2)
00003068: UNKNOWN(0xA5)
00003069: DUP4
0000306a: UNKNOWN(0xDE)
0000306b: UNKNOWN(0xD3)
0000306c: SDIV
0000306d: UNKNOWN(0x25)
0000306e: UNKNOWN(0xA8)
0000306f: CALLVALUE
00003070: TSTORE
00003071: SWAP12
00003072: UNKNOWN(0xAD)
00003073: UNKNOWN(0x2C)
00003074: UNKNOWN(0x4E)
00003075: POP
00003076: JUMP
00003077: ADD
00003078: PUSH9 0xc77000430733280f79
00003082: UNKNOWN(0xC8)
00003083: SWAP3
00003084: UNKNOWN(0x28)
00003085: MULMOD
00003086: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd773a3f0a9cb0db3631a77d283761b2f76331dd63f68fa724d9a683179040058
call_targets: 0x38741a69785e84399fcf7c5ad61d572f7ecb1dab
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd773a3f0a9cb0db3631a77d283761b2f76331dd63f68fa724d9a683179040058",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x38741a69785e84399fcf7c5ad61d572f7ecb1dab"
    ],
    "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": "0xba51a6df",
            "selector": "0xba51a6df",
            "calldata_variants": [
                "0xba51a6df",
                "0xba51a6df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc8452cd",
            "selector": "0xdc8452cd",
            "calldata_variants": [
                "0xdc8452cd",
                "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd2cbd0a",
            "selector": "0xdd2cbd0a",
            "calldata_variants": [
                "0xdd2cbd0a",
                "0xdd2cbd0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe20056e6",
            "selector": "0xe20056e6",
            "calldata_variants": [
                "0xe20056e6",
                "0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe7f43c68",
            "selector": "0xe7f43c68",
            "calldata_variants": [
                "0xe7f43c68",
                "0xe7f43c680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffb91f58",
            "selector": "0xffb91f58",
            "calldata_variants": [
                "0xffb91f58",
                "0xffb91f580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87c784b1",
            "selector": "0x87c784b1",
            "calldata_variants": [
                "0x87c784b1",
                "0x87c784b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa0e67e2b",
            "selector": "0xa0e67e2b",
            "calldata_variants": [
                "0xa0e67e2b",
                "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4576,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6455,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 1696,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3369,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5305,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5693,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5976,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6626,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd773a3f0a9cb0db3631a77d283761b2f76331dd63f68fa724d9a683179040058
call_targets: 0x38741a69785e84399fcf7c5ad61d572f7ecb1dab
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd773a3f0a9cb0db3631a77d283761b2f76331dd63f68fa724d9a683179040058",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x38741a69785e84399fcf7c5ad61d572f7ecb1dab"
    ],
    "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": "0xba51a6df",
            "selector": "0xba51a6df",
            "calldata_variants": [
                "0xba51a6df",
                "0xba51a6df0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc8452cd",
            "selector": "0xdc8452cd",
            "calldata_variants": [
                "0xdc8452cd",
                "0xdc8452cd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd2cbd0a",
            "selector": "0xdd2cbd0a",
            "calldata_variants": [
                "0xdd2cbd0a",
                "0xdd2cbd0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe20056e6",
            "selector": "0xe20056e6",
            "calldata_variants": [
                "0xe20056e6",
                "0xe20056e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe7f43c68",
            "selector": "0xe7f43c68",
            "calldata_variants": [
                "0xe7f43c68",
                "0xe7f43c680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffb91f58",
            "selector": "0xffb91f58",
            "calldata_variants": [
                "0xffb91f58",
                "0xffb91f580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87c784b1",
            "selector": "0x87c784b1",
            "calldata_variants": [
                "0x87c784b1",
                "0x87c784b10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa0e67e2b",
            "selector": "0xa0e67e2b",
            "calldata_variants": [
                "0xa0e67e2b",
                "0xa0e67e2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4576,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6455,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 1696,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1905,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3369,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5305,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5693,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5976,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6626,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}