#! /bin/csh -f

sed -e '1,$s/  1\.0000 0\.9500 0\.7000  0\.8000 0\.8000 0\.8000  /  0.9500 0.9500 0.9500  0.0000 0.0000 0.0000  /g'