Hmm, yeah maybe he has a way to compress the four 17 symbols into the deck. Pretty impressive though and it leaves a lot of room for error on the unveiling.
Looking at it again, how would he be able to have variations for all 17 symbols? He shows the cards a lot and it seems only a few have...