initial acid-state and ixset