Even full recovery of the frozen funds would leave roughly 17.19 BTC for the community pool to replace.