# TODO:
-  Use GMP for numbers (to allow for really big numbers)
-  Make disproving mode
-  Make no print mode (for speed, implement after disproving mode)