G777 Casino – Discover G777 ???????? Towards Formal Program