I think 3 have 13K ips all over Europe. They really don't need that much to operate NAT port base for 224K users.
Each Ip can have (simultaneously) 64K~ ports, 64K users can share the same ip.
I don't think 17 is the correct number (I see my country that arounf 1000 ip (4 subnet) can serve area...