double number of rewriting sets (half numeric, half symbolic)