initial import
[ICEs.git] / 137062 /
drwxr-xr-x   ..
-rw-r--r-- 1162469 ice.ii
-rwxr-xr-x 228 reduce-ice