Tree1	(tx7,((((tx1,tx2),tx3),(tx4,tx5)),tx6));
Tree2	(((((tx1,tx2),tx3),(tx4,tx5)),tx6),tx7);