/test/regress/regress0/sets/jan28/
../
TalkingAboutSets.hs.fqout.3577minimized.smt2