CYK.thy 42.9 KB