../ big.wkt 29-Nov-1973 21:33 474956 parse.rs 29-Nov-1973 21:33 1132 small.wkt 29-Nov-1973 21:33 76 write.rs 29-Nov-1973 21:33 2066