6locc 6a6y (Explicit)

Loaded Lean (Explicit)