#TIA は興味のないコインであることが証明されており、ただダンプが足りない。