Tamari_lattice loading ...