Those are all the games I own
Just out of personal interest, what were you looking to use the space for? If you can access grw0 it to use it then you could also use an sd2vita with up to 256GB of writeable space
I'm sure there's some use case I cant think of.