1PRE_INCLUDES = ../formalize 2INCLUDES = ../ho_prover ../subtypes ../../RSA ../useful 3OPTIONS = QUIT_ON_FAILURE 4