#grep Safe src/*.litmus | egrep -v -e 'AC' -e 'BC' | awk -F: '{ print $1 '}
safe036.litmus
safe037.litmus
safe038.litmus
safe040.litmus
safe045.litmus
safe046.litmus
safe048.litmus
safe069.litmus
safe070.litmus
safe072.litmus
safe077.litmus
safe135.litmus
safe136.litmus
safe138.litmus
safe158.litmus
safe160.litmus
safe165.litmus
safe358.litmus
safe359.litmus
safe360.litmus