4c72b26ea59cceb8c37c0d3f8bf2a37ed95b1c78
[YACASL2.git] / test / integration / COMET2 / and1 / 0.txt
1 ../../../../comet2 and1.o