What if the first network is no bigger than 172.16.0.0/25?