example(1,a, 51).
example(2,a, 43).
example(3,b, 62).
example(4,b, 64).
example(5,a, 45).
example(6,a, 42).
example(7,a, 46).   % a -> b
example(8,a, 45).
example(9,a, 45).
example(10,b, 62).
example(11,a, 47).
example(12,a, 52).
example(13,b, 64).
example(14,a, 51).
example(15,b, 65).
example(16,a, 48).
example(17,a, 49).
example(18,a, 46).
example(19,b, 64).
example(20,a, 51).
example(21,a, 52).
example(22,b, 62).  % b -> a
example(23,a, 49).
example(24,a, 48).
example(25,b, 62).
example(26,a, 43).
example(27,a, 40).
example(28,a, 48).
example(29,b, 64).
example(30,a, 51).
example(31,b, 63).
example(32,a, 43).
example(33,b, 65).
example(34,b, 66).
example(35,b, 65).
example(36,a, 46).
example(37,a, 39).   % a -> b
example(38,b, 62).
example(39,b, 64).
example(40,a, 52).
example(41,b, 63).
example(42,b, 64).
example(43,a, 48).
example(44,b, 64).
example(45,a, 48).
example(46,a, 51).
example(47,a, 48).
example(48,b, 64).
example(49,a, 42).
example(50,a, 48).
example(51,a, 41).