Good question. The Protev has a crew complement of 500, so it couldn't be any more than that.
If we presume the Arcova's crew (75) is the bare minimum to operate the craft, then 425 represents the "colonizing" crew. Colonizing requires 90 antimatter, and total antimatter capacity is 225, so my best guess is 90*425/225 = 170 people.
I'm presuming this is just the initial force, and additional forces would arrive shortly afterwards (this would be abstract, in the same way that the game references ship supply chains that don't appear in-game. We just hand-wave it and pretend it's happening in the background).