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