Lotto: init definition of betting rule.
Lotto: betting rule src file