r10

add more player ships 2834, 3516, 11180,11365, 11371, 11373, 11375,
11379,
11381,11383, 11385, 11389, 11393, 11400, 12030, 12036, 12040, 12042,
12044, 25426, 32207, 2836, 3518, 11973, 11980,11982, 11991, 11993,
11997, 11999, 12003, 12005, 12007, 12009, 12011, 12015, 12019, 12023,
20067, 32209, 12729, 12731, 12733, 12735, 12743, 12745, 12747, 12753,
22426, 22432, 22434, 22438.