Vranov nad Topľou District

Vranov nad Topľou District (Slovak: okres Vranov nad Topľou) is a district in the Prešov Region of eastern Slovakia. Until 1918, the district was mostly part of the county of Kingdom of Hungary of Zemplén, apart from an area around Hanušovce nad Topľou which formed part of the county of Sáros.

Vranov nad Topľou District
CountrySlovakia
Region (kraj)Prešov Region
Area
  Total769 km2 (297 sq mi)
Population
 (2001)
  Total76,504
  Density99/km2 (260/sq mi)
Time zoneUTC+01:00 (CET)
  Summer (DST)UTC+02:00 (CEST)

Municipalities



gollark: No, it has it in a separate module.
gollark: It also ships a "fuse filter" thing, which is apparently based on similar principles but mildly more compact, except construction can fail, and according to their empirical testing it needs over 100000 keys to have a decent chance of not failing, and the only explanation is a link to an incomprehensible paper on properties of hypergraphs.
gollark: I found a crate for it.
gollark: Also, I'm wondering if I *should* actually make it store the full text of stuff, for highlighting the relevant bits.
gollark: As of now the search is just limited to ANDing all the bitmaps; it doesn't do ranking, nearness, multiple boolean operators, sort of thing.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.