Mary lost her ticket. She didn’t go to the concert

If Mary hadn’t lost her ticket, she would go to the concert.

Hadn’t Mary lost her ticket, she would have gone to the concert.

If Mary had lost her ticket, she would have gone to the concert.

Had Mary not lost her ticket, she would have gone to the concert.