n1 = Node(1,Leaf(),Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n2 = Node(1,n1,Leaf())
n1 = Node(1,n2,Leaf())
n3 = Node(0,Leaf(),Leaf())
n4 = Node(1,n1,n3)
r = dfSearch(n4,0)
print(r.str())