discard """
  matrix: "--mm:refc; --mm:arc"
  joinable: false
"""

import m24844

u()

type E = distinct int
discard p[E]()