river/runtime/data/1000/data42.in