idk but it seems like it from here.

Some app or site probably exists to run the numbers. I don’t care enough to look it up though