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