これってdatは圧縮した方が良いよ。転送時間も短くなるし、データが生き残る確率も上がる。
データが一杯になったら消されてしまう可能性が高いが、1/5になれば5倍は消されない。