TEXAS PERMANENT SCHOOL FUND CORP | 13F Holdings | BadatCrypto