Much, much, much faster maotree algorithm [mao.py]
merge