y" > 1 (Y * 1 ):
S 3 = {(s 1 3 , s 2 1 ), (s 1 4 , s 2 2 ), (s 1 2 , s 2 3 ), (s 1 2 , s 2 11 ), (s 1 3 , s 2 11 ), (s 1 4 , s 2 4 ), (s 1 4 , s 2 5 ), (s 1 4 , s 2 6 ), (s 1 4 , s 2 7 ), (s 1 2 , s 2 8 ), (s 1 2 , s 2 9 ), (s 1 2 , s 2 10 ), (s 1 3 , s 2 10 )}, 1 (Y * 1
