Given a tree T1 with millions of nodes and a tree T2 with hundreds of nodes check if T2 is a subtree of T1.