Inversion sequences avoiding 012 (001) and another pattern of length four | Synapse