Compact tree of Johan Christoffersen