Snuke is playing a puzzle game.
In this game, you are given a rectangular board of dimensions R × C, filled with numbers. Each integer i from 1 through N is written twice, at the coordinates (x_{i,1},y_{i,1}) and (x_{i,2},y_{i,2}).
The objective is to draw a curve connecting the pair of points where the same integer is written, for every integer from 1 through N.
Here, the curves may not go outside the board or cross each other.
Determine whether this is possible.

-----Constraints-----
 - 1 ≤ R,C ≤ 10^8
 - 1 ≤ N ≤ 10^5
 - 0 ≤ x_{i,1},x_{i,2} ≤ R(1 ≤ i ≤ N)
 - 0 ≤ y_{i,1},y_{i,2} ≤ C(1 ≤ i ≤ N)
 - All given points are distinct.
 - All input values are integers.

-----Input-----
Input is given from Standard Input in the following format:
R C N
x_{1,1} y_{1,1} x_{1,2} y_{1,2}
:
x_{N,1} y_{N,1} x_{N,2} y_{N,2}

-----Output-----
Print YES if the objective is achievable; print NO otherwise.

-----Sample Input-----
4 2 3
0 1 3 1
1 1 4 1
2 0 2 2

-----Sample Output-----
YES


The above figure shows a possible solution.

```python

USER_FILENAME = "<user_code>"
import sys, json, builtins
import math, heapq, bisect, itertools, functools, collections, statistics, fractions, decimal, operator, array, random, re, string, os, pathlib
try:
    import resource as _res
except Exception:
    _res = None
from collections import Counter, defaultdict, deque, OrderedDict
from functools import lru_cache, reduce
from itertools import accumulate, permutations, combinations, product
from math import gcd, ceil, floor, sqrt
from decimal import Decimal
try:
    from typing import *
except Exception:
    pass
try:
    sys.setrecursionlimit(1_000_000)
except Exception:
    pass
try:
    import site as _site
    try:
        _sys_sites = _site.getsitepackages() if hasattr(_site, "getsitepackages") else []
        for _p in _sys_sites:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
    try:
        _usp = _site.getusersitepackages()
        if isinstance(_usp, str):
            _usp = [_usp]
        for _p in _usp:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
except Exception:
    pass

ns = {"__name__": "__main__"}
for _k, _v in list(globals().items()):
    if not _k.startswith("_"):
        ns[_k] = _v
_CODE = 'class BIT():\n    """区間加算、一点取得クエリをそれぞれO(logN)で答える\n    add: 区間[l, r)にvalを加える\n    get_val: i番目の値を求める\n    i, l, rは0-indexed\n    """\n    def __init__(self, n):\n        self.n = n\n        self.bit = [0] * (n + 1)\n\n    def _add(self, i, val):\n        while i > 0:\n            self.bit[i] += val\n            i -= i & -i\n\n    def get_val(self, i):\n        """i番目の値を求める"""\n        i = i + 1\n        s = 0\n        while i <= self.n:\n            s += self.bit[i]\n            i += i & -i\n        return s\n\n    def add(self, l, r, val):\n        """区間[l, r)にvalを加える"""\n        self._add(r, val)\n        self._add(l, -val)\n\n\nfrom operator import itemgetter\n\n\ndef compress(array):\n    """座標圧縮したリストを返す"""\n    set_ = set()\n    for num in array:\n        set_.add(num[0])\n        set_.add(num[1])\n    array2 = sorted(set_)\n    memo = {value: index for index, value in enumerate(array2)}\n    for i in range(len(array)):\n        array[i] = (memo[array[i][0]], memo[array[i][1]])\n    return array\n\ndef on_line(x, y):\n    return x == 0 or x == r or y == 0 or y == c\n\ndef val(x, y):\n    if y == 0:\n        return x\n    if x == r:\n        return r + y\n    if y == c:\n        return r + c + (r - x)\n    if x == 0:\n        return r + c + r + (c - y)\n\nr, c, n = list(map(int, input().split()))\ninfo = [list(map(int, input().split())) for i in range(n)]\n\nres = []\nfor i in range(n):\n    x1, y1, x2, y2 = info[i]\n    if on_line(x1, y1) and on_line(x2, y2):\n        left = val(x1, y1)\n        right = val(x2, y2)\n        if left > right:\n            left, right = right, left\n        res.append((left, right))\n\n\nres = sorted(res, key=itemgetter(1))\nres = compress(res)\n\nbit = BIT(2 * len(res))\nfor left, right in res:\n    if bit.get_val(left) != 0:\n        print("NO")\n        return\n    else:\n        bit.add(left, right + 1, 1)\nprint("YES")\n\n\n'
_co = compile(_CODE, USER_FILENAME, "exec")
exec(_co, ns, ns)

```

Measured memory_bytes: