Evry one of them. John is a big fan of alternate picking. You can always start out with Metropolis fast triplet run wich he plays along with keyboard somwhere in the middle of the song.