vti_encoding:SR|utf8-nl
vti_backlinkinfo:VX|dimacs99-evocomp-talk/index.htm
vti_timelastmodified:TR|15 Jan 1999 23:29:18 -0500