FileCoin ^{$ 5.8316 (0)}