read `GenPileGames.txt`: PaperSOS1kRS(3,p,m,f); quit: