User-agent: *
Crawl-delay: 10
Allow: /
Disallow: /SearchDet.html
Disallow: /SearchDDet.html
Disallow: /SearchD.html
Disallow: /Search.html
Disallow: /DocTableExpo.html
Disallow: /DocTableBook.html
Disallow: /DocTableCo.html
Disallow: /TeamReE.html
Disallow: /TeamReD.html
Disallow: /TeamPaD.html
Disallow: /TeamBeD.html
Disallow: /TeamBeE.html
Disallow: /LinkERes.html
Disallow: /LinkDRes.html
Disallow: /LinkDBib.html
Disallow: /LinkENet.html
Disallow: /LinkDNet.html
Disallow: /entry.html
Disallow: /SearchJobs.html
Disallow: /SearchDJob.html
Disallow: /MailTeE.html
Disallow: /MailTeD.html
Disallow: /TeamPaE.html
Disallow: /MailD.html
Disallow: /InfoI.html
Disallow: /InfoF.html
Disallow: /MailE.html
Disallow: /templateE.html
Disallow: /templateD.html
Disallow: /TeamAdrD.html
Disallow: /TeamAdrE.html
Disallow: /TeamInfE.html
Disallow: /TeamInfD.html
Disallow: /DocNavE.html
Disallow: /DocNavD.html
Disallow: /SearchStip.html
Disallow: /SearchDStip.html
Disallow: /SearchDConf.html
Disallow: /SearchDCfp.html
Disallow: /SearchConf.html
Disallow: /SearchCFP.html
Disallow: /regproblemE.html
Disallow: /regproblemD.html
Disallow: /registrationI.html
Disallow: /registrationF.html
Disallow: /registrationE.html
Disallow: /registration.html
Disallow: /registered.html
Disallow: /problem.html
Disallow: /PrintInfoE.html
Disallow: /PrintInfoD.html
Disallow: /Presse.html
Disallow: /notregistered.html
Disallow: /nodb.html
Disallow: /LinkEOth.html
Disallow: /LinkEIns.html
Disallow: /LinkEBib.html
Disallow: /LinkDOth.html
Disallow: /LinkDIns.html
Disallow: /DocExpoHeadE.html
Disallow: /DocExpoHeadD.html
Disallow: /DocExpoE.html
Disallow: /DocExpoD.html
Disallow: /DocCoHeadE.html
Disallow: /DocCoHeadD.html
Disallow: /DocCoE.html
Disallow: /DocCoD.html
Disallow: /DocBookHeadE.html
Disallow: /DocBookHeadD.html
Disallow: /DocBookE.html
Disallow: /DocBookD.html