sorry for not to answering for a long time
the traffic lights were made by me
I just extracted them from the originals and made complete traffic lights library for myself
they are just unique, nobody else has them
I don't share them with others, it was a really hard work I needed much time for it