Try to register through Gandi. They give you options that decrease in price all the way down to ~$16 -- that's the "get it when it GAs" price. If someone scoops it up before you, you're refunded. Otherwise, it's yours.
I managed to get <lastname>.dev, and it's a somewhat common last name, for $133.50 on the "GA" pricing. I expect someone will grab it before then. But if not...
Unfortunately, 'mauricio' is on the global domain reserve list administered by ICANN, so it cannot be registered on any ngTLD. I believe it's Mauritius in another language?
Oh, interesting, yes this is "mauritius" in Spanish a not so common name. I didn't know this, thank you for pointing it out. I guess that list is recent as mauricio.com and mauricio.co belongs to regular people and are currently working.
Do you happen to have a link to said list? A quick googling returned nothing relevant for me.
.com is a legacy gTLD, which existed long before these restrictions were codified in 2012 for the new gTLD program. .co is a ccTLD (it's for Colombia), and ccTLDs also predate the gTLD program and are not subject to the gTLD program restrictions besides.
I managed to get <lastname>.dev, and it's a somewhat common last name, for $133.50 on the "GA" pricing. I expect someone will grab it before then. But if not...