User blog comment:Alemagno12/A well-ordering of graphs/@comment-1605058-20171015081410/@comment-25601061-20171015193943

o-[o-[o,o],o,o] = ε0. It is the first 4-entry tree.