../ 01.out 29-Nov-1973 21:33 164 01.rs 29-Nov-1973 21:33 949 02.out 29-Nov-1973 21:33 1042 02.rs 29-Nov-1973 21:33 2347 range.out 29-Nov-1973 21:33 1091 range.rs 29-Nov-1973 21:33 2040