CF414E.Mashmokh's Designed Problem

After a lot of trying, Mashmokh designed a problem and it's your job to solve it.

You have a tree $T$ with $n$ vertices. Each vertex has a unique index from 1 to $n$ . The root of $T$ has index $1$ . For each vertex of this tree $v$ , you are given a list of its children in a specific order. You must perform three types of query on this tree:

1. find distance (the number of edges in the shortest path) between $u$ and $v$ ;
2. given $v$ and $h$ , disconnect $v$ from its father and connect it to its $h$ -th ancestor; more formally, let's denote the path from $v$ to the root by x_{1},x_{2},...,x_{l} (h<l) , so that $x_{1}=v$ and $x_{l}$ is root; disconnect $v$ from its father ( $x_{2}$ ) and connect it to $x_{h+1}$ ; vertex $v$ must be added to the end of the child-list of vertex $x_{h+1}$ ;
3. in the vertex sequence produced by calling function dfs(root) find the latest vertex that has distance $k$ from the root.

The pseudo-code of function dfs(v):

<br></br>// ls[v]: list of children of vertex v <br></br>// its i-th element is ls[v][i]<br></br>// its size is size(ls[v])<br></br>sequence result = empty sequence;<br></br>void dfs(vertex now)<br></br>{<br></br> add now to end of result;<br></br> for(int i = 1; i <= size(ls[v]); i = i + 1) //loop from i = 1 to i = size(ls[v])<br></br> dfs(ls[v][i]);<br></br>}<br></br>

The first line of input contains two space-separated integers $n,m (2<=n<=10^{5}; 1<=m<=10^{5})$ , the number of vertices of $T$ and number of queries to perform.

The $i$ -th of the following $n$ lines contains an integer $l_{i} (0<=l_{i}<=n)$ , number of $i$ -th vertex's children. Then $l_{i}$ space-separated integers follow, the $j$ -th of them is the index of $j$ -th child of $i$ -th vertex. Note that the order of these vertices is important.

Each of the following $m$ lines has one of the following format: " $1$ $v$ $u$ ", " $2$ $v$ $h$ ", or " $3$ $k$ ". The first number in the line is the type of query to perform according to the problem statement. The next numbers are description of the query.

It's guaranteed that all the queries are correct. For example, in the second-type query $h$ is at least 2 and at most distance of $v$ from root. Also in the third-type query there is at least one vertex with distance $k$ from the root at the time the query is given.

For each query of the first or third type output one line containing the result of the query.