Nine bet withdrawal requirements. Taberu Japanese restaurant. 54 mod 5 formula example multiplication. Tremblay et al 2017.