hp exit 0
tangent_test exit 0
lemmaM_test exit 0
iso_mono exit 0
eps_convex exit 0
hex_up_indep exit 0
identity_euler exit 0
chain_indep exit 0
bf_phi exit 0
bf_torus2 exit 0
bf_trueF2 exit 143
