Nearly, but they didn't register them, they just had their network announce routes for them (which is just telling other networks "hi, if you have traffic for this IP range I can send it on", the registration is unrelated to that)