[gambit-list] Reading data from mixed ASCII/binary files