[//quantity:12//] heads in [//quantity:45//] coin tosses