ff921e9e74bcd9be0f83d142c1d984f8afc60848
[YACASL2.git] / test / integration / comet2 / ptn2 / 0.txt
1 ../../../../comet2 a.o
2 0000000000011111