((0.5)^42)mm