redd0t.json is the whole thing; I also split it into 5 separate json files bc of size.