Could anyone tell me if I have the correct ID #s for the Golden Gate 25 cent chips below?

left to right: N3112 N1712 and N7142

My thanks to anyone who can help.