Is this "factory green"?
In Polish factories it was a very popular pigment and it's called
zieleń trwała, so that would be
permanent green, however I can't find it under that name, it looks quite different.
It's a mix of emerald green and yellow (baryte yellow, or cadmium yellow). Hope that helps.