原题来自：ZJOI 2007
一个有向图 称为半连通的 (Semi-Connected)，如果满足：，满足 或 ，即对于图中任意两点 ，存在一条 到 的有向路径或者从 到 的有向路径。
若 满足， 是 中所有和 有关的边，则称 是 的一个导出子图。若 是 的导出子图，且 半连通，则称 为 的半连通子图。若 是 所有半连通子图中包含节点数最多的，则称 是 的最大半连通子图。
给定一个有向图 ，请求出 的最大半连通子图拥有的节点数 ，以及不同的最大半连通子图的数目 。由于 可能比较大，仅要求输出 对 的余数。