Not from the hours of research I did yesterday to try to find out what is what with chains. Everything I found says the 415 is also a #42.
If anyone is doubtful, I ordered a length of #42 yesterday and should have it within a week. I'll install it and let you know what imperical testing shows.