Update REDE.f90