how many tokens are allocated for the campaign?