Archivo · PHP to CUP