Dataset {
    String district[district = 30];
    Byte dist_name[district = 30][10];
} districtquery;