Thank you very much for the list, very useful. Would you happen to have one available for .cc domains as well?
I'll add a rep point after I've posted.
Edit: Are you sure they are all available? If so, where might I be able to check/register them? I currently use ipqd.com to check the names, but none of them turn up as available.