K 10
svn:ignore
V 8
cudd.bad
END
