Dataset {
    String district[district = 58];
    Byte dist_na[district = 58][12];
} districtquery;