These were all dug up and streamlined from the actual ... Details are in the post, though, if you want to read it. Beyond Halo maps, the developers have provided assets for modders to play around ...