prism: Extract sort 0 partition size valmari output

This currently only works for MDPs, but those are the most important.