Sorry too lazy to go research it (actually just a very slow internet connection) but I suspect the x_42 probably just indicates the mask.
ASDZ is actually the broadcast code, (BCC) but obviously the .bin is typically labeled with that, and the broadcast code was specific enough that you won't see the same broadcast code with different masks. (at least that I know of)