Lotto: fix testcases