ejercicio 34

Problema SincronizarR (r,r’: Reproductor) = result: Reproductor (llave rara que no encuentro en mi teclado)
asegura mismos (listas(result), UnionListas(listas(r),listas(r’)));
asegura etiquetas(archivos(result)) == UnionEtiquetas(etiquetas(archivos(r),etiquetas(archivos(r’));
asegura mismos (temas(archivos(result))), UnionListas(temas(archivos(r)),temas(archivos(r’)));
asegura prm (estado(result)) == 0;
asegura (V l<-- listas(result))cantRepLista(result) = = cantRepLista(l,r)+cantRepLista(l,r');
asegura (V t<-- temas(archivos(result)))cantRepTema(result) = = cantRepTema(t,r)+cantRepTema(t,r');
(fin llave rara q no tengo en mi teclado)