from typing import Any, Literal

rmul = ...

def canonicalize_naive(g, dummies, sym, *v) -> list[Any] | Literal[0]: ...
def graph_certificate(gr) -> list[Any] | Literal[0]: ...