ARTIFACTS (Explicit)

LEAN/x/2 (Explicit)