6 main(int argc, char* argv[])
8 std::ifstream f(argv[1]);
10 int size, nodes, depth, parsing_time;
11 int size1, nodes1, depth1, validating_time;
13 while (std::cin >> size) {
16 std::cin >> parsing_time;
23 assert(size == size1);
24 assert(nodes == nodes1);
25 assert(depth == depth1);
26 std::cout << size << " " << nodes << " " << depth << " " << (validating_time - parsing_time) << std::endl;