How will the funds from the TGE be allocated?