K 25
svn:wc:ra_dav:version-url
V 72
/repos/AIG-RESEARCH-PROJECTS/!svn/ver/1271/c3-conformant/minisat/include
END
