Rename p13nums.txt to pe/p13.txt