/usr/share/doc/tkgate-data/examples/verga/ndassign2.out

2: a=1 b=2
3: a=2 b=1
4: a=2 b=1
5: a=2 b=1
6: a=1 b=1
7: a=1 b=2

8: a=1 c=1
9: a=3 c=2
10: a=3 c=2

Generated by dwww version 1.15 on Mon Jun 24 15:12:13 CEST 2024.