Load (*.refl) datafile: