>>875
民間も含めた総額だと10兆円で収まったらラッキーレベルだと思う