3 heads in 72 coin tosses