/prolog/problems/trees/mirrorbt