let config_of s = (s.eqs, s.p)