2 5 6 < input/adt.55
3 5 9 < input/add.316
1 2 3 4 < input/ad.1
1 -3 1 < input/zt.11
2 3 1 < input/ct.31
