How does F4 ticket distribution work?