I would do it one by one. You can lump some similar names together if you want to sell quicker, but I think you'd get the most by selling individually.
You have some decent .pro names (I see one TM issue :hehe: )
I would advise to sort them by quality (some names may be better than others) and by TLD (.pro, .com,...).
Try to sell by small bunches. I want to have a look at your names