private static boolean VerifySCC(File f){
        Digraph G = new Digraph(new In(f));
        TransitiveClosure tc = new TransitiveClosure(G);
        
        In in_scc = new In(f.getAbsolutePath() + ".scc");
        while(in_scc.hasNextLine()){
            String[] nums = in_scc.readLine().split(" ");   // split(): Trailing empty strings are therefore not included in the resulting array. 
            for(int i = 0; i < nums.length; i++){
                for(int j = 0; j < nums.length; j++){
                    int v = Integer.parseInt(nums[i]);
                    int w = Integer.parseInt(nums[j]);
                    if (!tc.reachable(v, w)){
                        StdOut.println("Error");
                        return false;
                    }
                }
            }
        }
        
        return true;
    }