public static boolean verifyVE(In in){
        int V = in.readInt();
        int E = in.readInt();
        in.readLine();  // consume the remain chars of line E
        
        int v = 0;
        int e = 0;
        
        while(in.hasNextLine()){
            String line = in.readLine().trim();
            if(0 == line.length()){
                continue;
            }
            
            e++;
            
            String[] nums = line.split(" ");
            for(String num : nums){
                int n = Integer.parseInt(num);
                if(n > v) v = n;            
            }
            
        }
        v++;    // V equals max v + 1

        boolean isOK = V == v && E == e;
        
        StdOut.println("    declared\tactual");
        StdOut.println("V:  " + V + "\t" + v);
        StdOut.println("E:  " + E + "\t" + e);
        StdOut.println(isOK);
        StdOut.println();
        
        return isOK;
    }