johnwoltman/py2formula archive