Reads all the lines required for this law-change.

void read(
    std::istream& infile
);