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