int G (int x, int c)
{
	for the first i belong to E[x]
		return G (i, c + 1);
	return c;
}
if (G (t, 1) == scc_cnt)
        cout << "Yes" << endl;
else
	cout << "No" << endl;