added AustrianLotto problem and generalized specs