devset = top 5000 lines of JW300.src.shuffled!