d1fe1c1e3dc9b8a9d01d6cf7381e03152ecd293c
[YACASL2.git] / test / integration / COMET2 / cpa1 / 0.txt
1 ../../../../comet2 cpa1.o