(although we do have about 10% of time spent in

file.read

, which should be parallelizable)