A game on an undirected graph is played by two players, Mouse and Cat, who alternate turns.
The graph is given as follows: graph[a] is a list of all nodes b such that ab is an edge of the graph.
Mouse starts at node 1 and goes first, Cat starts at node 2 and goes second, and there is a Hole at node 0.
During each player's turn, they must travel along one edge of the graph that meets where they are.  For example, if the Mouse is at node 1, it must travel to any node in graph[1].
Additionally, it is not allowed for the Cat to travel to the Hole (node 0.)
Then, the game can end in 3 ways:

If ever the Cat occupies the same node as the Mouse, the Cat wins.
If ever the Mouse reaches the Hole, the Mouse wins.
If ever a position is repeated (ie. the players are in the same position as a previous turn, and it is the same player's turn to move), the game is a draw.

Given a graph, and assuming both players play optimally, return 1 if the game is won by Mouse, 2 if the game is won by Cat, and 0 if the game is a draw.
 



Example 1:
Input: [[2,5],[3],[0,4,5],[1,4,5],[2,3],[0,2,3]]
Output: 0
Explanation:
4---3---1
|   |
2---5
 \ /
  0

 
Note:

3 <= graph.length <= 50
It is guaranteed that graph[1] is non-empty.
It is guaranteed that graph[2] contains a non-zero element.

```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

def _disabled_input(*args, **kwargs):
    raise RuntimeError("input() is disabled in callable mode")
builtins.input = _disabled_input

ns = {"__name__": "__judge__"}  # prevent if __name__ == "__main__" blocks
for _k, _v in list(globals().items()):
    if not _k.startswith("_"):
        ns[_k] = _v
_CODE = "class Solution:\n    def catMouseGame(self, g: List[List[int]]) -> int:\n        # observations:\n        # we can represent the game state with the triplet (mouse cat turn).\n        # (_ 0 _) is illegal.\n        # (0 _ _) = 1 (mouse victory).\n        # (x x _) = 2 (cat victory).\n        # if any possible move leads to win, current state is win:\n        # * (m c c) = 1 => (m' c m) = 1 for m' in g[m].\n        # * (m c m) = 2 => (m c' c) = 2 for c' in g[c].\n        # if all possible moves lead to loss, current state is loss.\n        # * (m c m) = 1, for c' in g[c], if all((m c'' m) = 1 for c'' in g[c']) => (m c' c) = 1\n        # * (m c c) = 2, for m' in g[m], if all((m'' c c) = 2 for m'' in g[m']) => (m' c m) = 2\n        # return (1 2 m). return once we know its value.\n\n        MTURN, CTURN = 0, 1\n        ILLEGAL, UNKNOWN, MWIN, CWIN = -1, 0, 1, 2\n\n        n = len(g)\n        s = defaultdict(lambda: defaultdict(lambda: defaultdict(int)))\n        q = deque()\n\n        def sq(m, c, t, v):\n            if s[m][c][t] == UNKNOWN:\n                q.append((m, c, t))\n                s[m][c][t] = v\n\n        # set and enqueue initial known states.\n        for t in (MTURN, CTURN):\n            for x in range(n):\n                sq(x, 0, t, ILLEGAL)\n                sq(0, x, t, MWIN)\n                sq(x, x, t, CWIN)\n\n        while q:\n            m, c, t = state = q.popleft()\n\n            # apply production rules. for each unencountered resultant state, set and enqueue.\n            if t == CTURN and s[m][c][t] == MWIN:\n                for m_ in g[m]:\n                    sq(m_, c, MTURN, MWIN)\n\n            if t == MTURN and s[m][c][t] == CWIN:\n                for c_ in g[c]:\n                    sq(m, c_, CTURN, CWIN)\n\n            if t == MTURN and s[m][c][t] == MWIN:\n                for c_ in g[c]:\n                    if all(s[m][c__][MTURN] in (ILLEGAL, MWIN) for c__ in g[c_]):\n                        sq(m, c_, CTURN, MWIN)\n\n            if t == CTURN and s[m][c][t] == CWIN:\n                for m_ in g[m]:\n                    if all(s[m__][c][CTURN] in (ILLEGAL, CWIN) for m__ in g[m_]):\n                        sq(m_, c, MTURN, CWIN)\n\n            # once we know state[1,2,m], return it.\n            if s[1][2][MTURN]:\n                return s[1][2][MTURN]\n\n        # everything else is a draw.\n        return 0\n"
_co = compile(_CODE, USER_FILENAME, "exec")
exec(_co, ns, ns)

_target = None
_fn_name = 'catMouseGame'
if _fn_name:
    if "Solution" in ns:
        try:
            _obj = ns["Solution"]()
            if hasattr(_obj, _fn_name):
                _target = getattr(_obj, _fn_name)
        except Exception:
            _target = None
    if _target is None and _fn_name in ns and callable(ns[_fn_name]):
        _target = ns[_fn_name]
# Fallback: if there's exactly one user-defined function, use it
if _target is None:
    _cands = [v for k, v in ns.items() if callable(v) and getattr(v, "__module__", "") in ("__judge__", "__main__")]
    _user_funcs = [c for c in _cands if getattr(c, "__name__", "").startswith("_") is False]
    if len(_user_funcs) == 1:
        _target = _user_funcs[0]
if _target is None:
    raise RuntimeError(f"Could not resolve callable '{_fn_name}'")

_raw = sys.stdin.read().strip()
if _raw:
    _parsed = json.loads(_raw)
    if isinstance(_parsed, dict):
        _kwargs = _parsed.get("kwargs", {})
        _args = _parsed.get("args", [])
    else:
        _args, _kwargs = _parsed, {}
else:
    _args, _kwargs = [], {}
if not isinstance(_args, (list, tuple)):
    _args = [_args]
_res = _target(*_args, **_kwargs)
try:
    sys.stdout.write(repr(_res) + "\n")
except Exception:
    pass

```

Measured memory_bytes: 26922