[console_scripts]
theproofistrivial = theproofistrivial:__main__.main

