Issue526.err

Unsolved metas at the following locations:
  Issue526.agda:11,8-9
  Issue526.agda:11,8-13
  Issue526.agda:14,16-17
  Issue526.agda:14,9-17
  Issue526.agda:14,9-22
  Issue526.agda:20,11-12
  Issue526.agda:22,9-10