Add fin notations

In my own project, I need fin notation up to 32, but I added them up to 50 here. I put the Python script in a comment so that people can tweak it and re-run it for a larger number if needed.

EDIT: Now support all numbers using Coq's Number Notation