About the Irish Lotto game