(declare-const var_34497 Bool)
(assert (! :interpolation-group ))