Index of /demodb

	Name	Last modified	Size	Description
	Parent Directory		-
	archive/	2024-02-15 09:36	-
	DIVERSE.zip	2023-10-24 11:27	365K
	LASVEGAS_G1.zip	2023-10-24 11:27	1.7M
	SAARBRUECKEN_ENISO.zip	2024-02-02 15:51	25M
	BERLIN_SEP3.zip	2023-10-24 11:27	48M