Issue399.err

Unsolved metas at the following locations:
  Issue399.agda:15,20-21
  Issue399.agda:16,30-33
  Issue399.agda:17,30-33
  Issue399.agda:17,36-39
  Issue399.agda:38,32-37
  Issue399.agda:39,37-49
  Issue399.agda:40,38-50