VI S	a	b		VI S	a	b
1	3	2		1	0	0
2	2	3		2	1	1
3	3	5		3	0	0
4	5	6		4	0	0
5	2	1		5	1	1
6	1	2		6	0	0
stato iniziale	1