太陽系の惑星だけでは体積的に木星まで包めるような都市は作れないんじゃなかろうか。別の星系とかいろんなところから持ってきてるのかも