$Empty	0
$Node($Empty, 1, $Empty)	1
$Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))	2
$Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))	3
$Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))	4
$Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))	5
$Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))	6
$Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))))	7
$Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))))	8
$Node($Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))))), 9, $Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))))))	9
$Node($Node($Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))))), 9, $Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))))), 10, $Node($Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))))), 9, $Node($Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))), 8, $Node($Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))))), 7, $Node($Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))), 6, $Node($Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)))), 5, $Node($Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))), 4, $Node($Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty)), 3, $Node($Node($Empty, 1, $Empty), 2, $Node($Empty, 1, $Empty))))))))))	10
