なるほど、200万トンというのはそういう理由なのか。
半径800ｍの外周を覆う地殻の部分かもだけど、1000万トンは多すぎない？

レゴリス5ｍで地球大気と同等の遮蔽効果らしいから、これを外周5000
メートル、幅200メートルにわたって設置したとして500万立方メートル。
レゴリスの密度が1.5グラム/立方センチぐらいだから換算するとだいた
い1.5トン/立方メートル、500万立方メートルでは750万トン……

遮蔽用のレゴリスだけで750万……建材を含めたら、少なくても1000万
トン必要になるな……疑ってすまん。