# Pastebin BHUpkr3t
———— Errors ————————————————————————————————————————————————
Failed to solve the following constraints:
  _4 := just x :? _A_3 x y
  _6 := just y :? _A_3 x y