Task: Translation
Input (Spanish): Todos los ejemplos figuran en la resolución que está ante nosotros.
Output (English): The examples are all quoted in a resolution which lies before us.