Dataset {
    String first_code[first_code = 131];
    Byte first_dist[first_code = 131][30];
    Byte first_pro[first_code = 131][2];
    Byte first_prov[first_code = 131][13];
    Sequence { Sequence { Sequence { Float64 ordinate; Float64 abscissa; } ring; } polygon; } the_geom[first_code = 131];
} districts_pakistan;