vti_encoding:SR|utf8-nl vti_timelastmodified:TR|10 Oct 2005 18:11:16 -0000 vti_extenderversion:SR|5.0.2.6790 vti_title:SR|Juris Hartmanis vti_lineageid:SR|{D6B24D02-6ED4-4993-8D96-140CF49A5F7A} vti_backlinkinfo:VX| vti_cacheddtm:TX|10 Oct 2005 18:11:16 -0000 vti_filesize:IR|4896 vti_cachedtitle:SR|Juris Hartmanis vti_cachedbodystyle:SR| vti_cachedlinkinfo:VX|H|/Info/People/jh/jh.gif S|/Info/People/jh/jh-thumb.gif S|/Icons/redball.gif H|/Info/Department/Annual96/Home-Page/home.html S|/Icons/redball.gif H|http://www.cs.cornell.edu/ H|mailto:www@cs.cornell.edu vti_cachedsvcrellinks:VX|NHUS|/Info/People/jh/jh.gif NSUS|/Info/People/jh/jh-thumb.gif NSUS|/Icons/redball.gif NHUS|/Info/Department/Annual96/Home-Page/home.html NSUS|/Icons/redball.gif NHHS|http://www.cs.cornell.edu/ NHUS|mailto:www@cs.cornell.edu vti_cachedneedsrewrite:BR|false vti_cachedhasbots:BR|false vti_cachedhastheme:BR|false vti_cachedhasborder:BR|false vti_charset:SR|windows-1252