cards are read from file