import adversary
import random
import sys
n = int(sys.argv[1])
prover = adversary.Prover(
"= (ham x) k", "= (ham y) (+ k 1)", "= ham (^ x y) p").hint_symmetric()
k = random.randint(0, n)
p = random.randint(0, n)
bounds = prover.find_bounds(n, k, p)