Name Last modified Size DescriptionApache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443
Parent Directory - ExcerptsTimeAnnotations1000JSON.txt 2016-08-14 19:27 33M ScoredExcerptsText1000PubDateJSON.txt 2016-08-14 19:27 786M Queries.txt 2016-08-14 19:22 34K