rights or
he amount of ticket output needs to be related to both the amount of money staked by the user and
