Las dos listas siguientes representan una instancia del problema de correspondencia de Post: