I checked the L4 points for each planet, looking for the materials caches that Verne’s notes said he’d left for us. Sure enough, a couple of million tons of various elements, bundled up with radio beacons attached, all ready and available for manufacturing. Awesome.