File:Dyck_lattice_D4.svg loading ...