NO
(44, 16, 16)

NO
(75, 0, 18)

NO
(66, 2, 4)

NO
(22, 1, 16)

NO
(57, 15, 9)

NO
(3, 0, 1)

NO
(38, 3, 9)

NO
(30, 12, 3)

NO
(101, 61, 22)

NO
(16, 0, 4)

NO
(69, 31, 32)

NO
(40, 38, 2)

NO
(63, 0, 60)

NO
(4, 0, 1)

NO
(22, 9, 8)

NO
(39, 10, 18)

NO
(12, 0, 0)

NO
(65, 43, 21)

NO
(101, 50, 43)

NO
(39, 0, 14)

NO
(90, 17, 48)

NO
(20, 10, 4)

NO
(101, 28, 73)

NO
(40, 3, 20)

NO
(81, 34, 4)

NO
(14, 4, 3)

NO
(58, 34, 1)

NO
(42, 31, 3)

NO
(98, 20, 58)

NO
(99, 31, 12)

NO
(71, 9, 37)

YES
[9, 17, 16, 15, 14, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13]
[9, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17]
(17, 4, 12)

NO
(2, 0, 0)

NO
(52, 10, 4)

NO
(98, 14, 73)

NO
(48, 28, 4)

NO
(43, 11, 17)

NO
(44, 24, 2)

NO
(95, 80, 1)

NO
(90, 44, 13)

NO
(13, 0, 4)

NO
(41, 13, 15)

NO
(59, 47, 6)

NO
(42, 3, 23)

NO
(41, 20, 18)

NO
(82, 48, 18)

NO
(42, 15, 14)

NO
(67, 64, 1)

NO
(22, 1, 6)

NO
(8, 0, 0)

NO
(42, 9, 16)

NO
(74, 12, 58)

NO
(32, 10, 5)

NO
(28, 7, 13)

NO
(18, 11, 3)

NO
(86, 12, 4)

NO
(66, 3, 35)

NO
(20, 6, 9)

NO
(35, 11, 3)

NO
(41, 8, 19)

NO
(78, 30, 3)

NO
(74, 3, 59)

NO
(25, 5, 18)

YES
[37, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48]
[37, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73]
(73, 25, 47)

NO
(88, 54, 23)

NO
(13, 9, 4)

NO
(10, 3, 1)

NO
(17, 5, 9)

NO
(100, 22, 9)

NO
(85, 8, 46)

NO
(90, 6, 54)

NO
(78, 54, 23)

YES
[5, 9, 1, 2, 3, 4, 6, 7, 8]
[5, 1, 2, 3, 4, 6, 7, 8, 9]
(9, 1, 7)

NO
(47, 9, 30)

NO
(82, 8, 8)

NO
(52, 13, 7)

NO
(89, 18, 61)

NO
(52, 2, 9)

NO
(69, 20, 37)

NO
(70, 22, 16)

NO
(7, 6, 0)

NO
(77, 2, 43)

NO
(65, 20, 1)

NO
(66, 3, 3)

NO
(40, 12, 19)

NO
(60, 11, 37)

NO
(53, 4, 14)

NO
(15, 9, 6)

NO
(70, 6, 60)

NO
(1, 1, 0)

NO
(12, 0, 2)

NO
(50, 21, 16)

NO
(44, 19, 19)

NO
(78, 3, 41)

NO
(78, 10, 68)

NO
(78, 24, 6)

NO
(3, 0, 2)

NO
(42, 23, 4)

NO
(68, 37, 23)

NO
(25, 0, 3)

NO
(10, 4, 0)

NO
(42, 8, 2)

NO
(60, 22, 27)

NO
(72, 6, 40)

NO
(94, 21, 40)

NO
(36, 4, 23)

NO
(16, 10, 6)

NO
(22, 7, 4)

NO
(35, 17, 7)

NO
(66, 20, 44)

NO
(76, 40, 33)

NO
(79, 11, 28)

NO
(49, 20, 27)

NO
(85, 21, 45)

NO
(59, 42, 2)

NO
(83, 12, 24)

NO
(7, 7, 0)

NO
(27, 11, 0)

NO
(47, 18, 27)

NO
(33, 0, 17)

NO
(37, 7, 26)

NO
(47, 5, 12)

NO
(54, 11, 3)

NO
(89, 59, 7)

NO
(11, 8, 0)

NO
(18, 9, 7)

NO
(87, 34, 12)

NO
(93, 10, 52)

NO
(61, 4, 18)

NO
(46, 30, 16)

NO
(43, 13, 16)

NO
(15, 5, 4)

NO
(5, 3, 2)

NO
(40, 8, 13)

NO
(99, 39, 35)

NO
(86, 24, 26)

NO
(84, 32, 5)

NO
(16, 3, 7)

NO
(19, 4, 11)

NO
(60, 34, 13)

NO
(61, 4, 43)

NO
(50, 23, 11)

NO
(47, 9, 3)

NO
(74, 0, 11)

NO
(65, 26, 3)

YES
[18, 36, 35, 34, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33]
[18, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36]
(36, 3, 32)

NO
(49, 6, 23)

NO
(59, 13, 40)

NO
(54, 12, 9)

NO
(84, 73, 3)

NO
(59, 46, 6)

NO
(43, 0, 10)

NO
(22, 3, 16)

NO
(3, 2, 1)

NO
(11, 0, 6)

NO
(43, 2, 21)

NO
(71, 16, 0)

NO
(19, 7, 6)

NO
(30, 12, 12)

NO
(23, 20, 3)

NO
(56, 28, 3)

NO
(60, 17, 34)

NO
(27, 18, 8)

NO
(25, 5, 16)

NO
(94, 90, 3)

NO
(15, 2, 10)

NO
(59, 24, 27)

NO
(2, 1, 0)

NO
(25, 11, 12)

NO
(37, 7, 8)

NO
(14, 12, 0)

NO
(20, 2, 1)

NO
(82, 66, 9)

NO
(87, 64, 19)

NO
(101, 3, 67)

NO
(63, 13, 18)

NO
(4, 2, 2)

NO
(37, 5, 13)

NO
(79, 1, 27)

NO
(99, 11, 68)

NO
(7, 3, 0)

NO
(93, 43, 23)

NO
(94, 38, 16)

NO
(31, 24, 7)

NO
(42, 15, 20)

NO
(26, 5, 6)

NO
(5, 1, 2)

NO
(13, 0, 13)

NO
(34, 16, 2)

NO
(49, 9, 21)

NO
(96, 28, 15)

NO
(47, 12, 29)

NO
(26, 2, 3)

NO
(45, 18, 13)

NO
(79, 10, 26)

NO
(90, 19, 59)

NO
(92, 58, 29)

NO
(25, 2, 14)

NO
(79, 43, 34)

NO
(6, 0, 6)

NO
(78, 21, 11)

NO
(87, 7, 24)

NO
(22, 6, 1)

NO
(92, 18, 26)

NO
(43, 11, 27)

NO
(39, 8, 2)

NO
(73, 24, 43)

NO
(48, 8, 12)

NO
(12, 4, 2)

NO
(52, 37, 10)

NO
(88, 18, 64)

NO
(32, 3, 10)

NO
(80, 30, 50)

NO
(28, 8, 17)

NO
(75, 6, 32)

NO
(99, 8, 9)

NO
(16, 4, 1)

NO
(21, 12, 4)

NO
(45, 2, 13)

NO
(75, 38, 36)

NO
(80, 43, 16)

NO
(5, 2, 0)

NO
(65, 14, 8)

NO
(93, 7, 71)

NO
(46, 11, 18)

NO
(46, 0, 9)

NO
(10, 4, 0)

NO
(88, 13, 58)

NO
(87, 6, 54)

NO
(49, 11, 9)

YES
[5, 9, 8, 7, 6, 1, 2, 3, 4]
[5, 1, 2, 3, 4, 6, 7, 8, 9]
(9, 4, 4)

NO
(58, 31, 12)

NO
(99, 0, 84)

NO
(11, 7, 2)

NO
(25, 9, 13)

NO
(84, 37, 9)

NO
(28, 16, 9)

NO
(46, 1, 20)

YES
[2, 3, 1]
[2, 1, 3]
(3, 1, 1)

NO
(75, 59, 15)

NO
(76, 50, 15)

NO
(90, 19, 50)

NO
(23, 0, 19)

NO
(13, 2, 6)

NO
(63, 5, 55)

NO
(92, 45, 2)

NO
(55, 6, 42)

NO
(99, 60, 34)

NO
(38, 9, 3)

NO
(34, 14, 7)

NO
(48, 3, 32)

NO
(100, 27, 49)

NO
(50, 35, 9)

NO
(40, 11, 21)

NO
(2, 2, 0)

NO
(18, 5, 5)

NO
(76, 49, 3)

NO
(70, 24, 40)

NO
(72, 1, 60)

NO
(6, 0, 4)

NO
(46, 5, 33)

NO
(33, 11, 9)

NO
(2, 2, 0)

NO
(10, 0, 7)

NO
(58, 15, 4)

NO
(56, 34, 10)

NO
(81, 40, 22)

NO
(42, 21, 20)

NO
(28, 23, 0)

NO
(2, 0, 2)

NO
(23, 7, 2)

NO
(79, 39, 9)

NO
(86, 3, 44)

NO
(7, 4, 0)

NO
(97, 46, 25)

NO
(14, 9, 5)

NO
(29, 4, 15)

NO
(95, 7, 57)

NO
(32, 7, 4)

NO
(11, 0, 1)

NO
(35, 2, 4)

YES
[2, 3, 1]
[2, 1, 3]
(3, 1, 1)

NO
(30, 4, 0)

NO
(54, 0, 38)

NO
(96, 48, 13)

NO
(31, 4, 16)

NO
(38, 1, 21)

NO
(69, 10, 6)

NO
(13, 5, 5)

NO
(91, 20, 62)

NO
(86, 28, 58)

NO
(57, 11, 21)

NO
(53, 38, 9)

NO
(84, 79, 5)

NO
(25, 10, 12)

NO
(15, 9, 1)

NO
(43, 13, 23)

NO
(40, 17, 2)

NO
(62, 42, 5)

NO
(100, 16, 39)

NO
(51, 44, 3)

NO
(1, 0, 1)

NO
(4, 1, 0)

NO
(72, 36, 31)

NO
(30, 14, 3)

NO
(46, 16, 3)

NO
(1, 1, 0)

NO
(42, 18, 8)

NO
(51, 27, 22)

NO
(50, 32, 3)

NO
(65, 49, 13)

NO
(2, 1, 1)

NO
(63, 12, 8)

NO
(98, 21, 4)

NO
(28, 8, 2)

NO
(70, 4, 34)

NO
(27, 5, 10)

YES
[1]
[1]
(1, 0, 0)

NO
(73, 32, 25)

NO
(87, 42, 18)

NO
(62, 30, 25)

NO
(92, 36, 49)

NO
(55, 8, 16)

NO
(52, 31, 2)

NO
(75, 35, 38)

NO
(27, 2, 25)

NO
(74, 52, 3)

NO
(55, 0, 43)

NO
(70, 11, 42)

NO
(16, 6, 8)

NO
(10, 5, 3)

NO
(9, 2, 0)

NO
(41, 4, 0)

NO
(85, 31, 2)

NO
(23, 10, 5)

NO
(39, 30, 1)

NO
(25, 17, 6)

NO
(46, 32, 8)

NO
(69, 59, 8)

NO
(24, 2, 13)

NO
(68, 22, 21)

NO
(83, 14, 57)

NO
(42, 32, 0)

NO
(63, 4, 53)

YES
[10, 19, 18, 17, 16, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]
[10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19]
(19, 4, 14)

NO
(22, 18, 4)

NO
(6, 3, 3)

NO
(25, 18, 1)

NO
(87, 47, 1)

NO
(86, 23, 54)

NO
(23, 18, 2)

NO
(73, 5, 46)

NO
(23, 2, 15)

NO
(37, 36, 1)

NO
(83, 13, 70)

NO
(27, 15, 7)

NO
(68, 3, 28)

NO
(7, 3, 1)

NO
(23, 20, 3)

NO
(77, 11, 35)

NO
(98, 57, 32)

NO
(56, 21, 7)

NO
(33, 5, 2)

NO
(26, 11, 1)

NO
(40, 16, 4)

NO
(52, 2, 31)

NO
(4, 1, 1)

NO
(5, 0, 1)

NO
(56, 6, 2)

NO
(70, 26, 7)

NO
(49, 16, 10)

NO
(82, 15, 20)

NO
(17, 1, 9)

NO
(89, 4, 70)

NO
(10, 6, 1)

NO
(79, 46, 30)

NO
(82, 33, 31)

NO
(12, 0, 9)

NO
(41, 15, 21)

NO
(2, 0, 1)

NO
(11, 1, 0)

NO
(32, 11, 19)

NO
(67, 24, 14)

NO
(55, 3, 24)

NO
(93, 24, 5)

NO
(70, 25, 36)

NO
(66, 5, 30)

NO
(69, 12, 48)

NO
(9, 6, 2)

NO
(88, 73, 15)

NO
(30, 6, 10)

NO
(46, 21, 7)

NO
(36, 10, 10)

NO
(57, 29, 2)

NO
(101, 9, 15)

NO
(12, 8, 4)

NO
(9, 7, 0)

NO
(52, 21, 28)

NO
(101, 38, 32)

NO
(90, 33, 15)

NO
(47, 6, 22)

NO
(81, 11, 56)

NO
(4, 2, 2)

NO
(61, 21, 15)

NO
(69, 46, 18)

NO
(2, 0, 0)

NO
(6, 3, 0)

NO
(40, 34, 2)

NO
(33, 23, 5)

NO
(12, 2, 10)

NO
(27, 2, 8)

NO
(23, 1, 14)

NO
(44, 3, 3)

NO
(92, 19, 71)

NO
(67, 7, 19)

NO
(79, 16, 43)

NO
(20, 0, 19)

NO
(7, 3, 2)

NO
(82, 50, 20)

NO
(45, 3, 34)

NO
(26, 9, 15)

NO
(83, 57, 9)

NO
(73, 3, 49)

NO
(9, 2, 7)

NO
(11, 2, 7)

NO
(36, 18, 11)

NO
(10, 3, 5)

NO
(1, 1, 0)

NO
(56, 28, 19)

NO
(27, 0, 24)

NO
(48, 26, 11)

NO
(10, 8, 1)

NO
(33, 3, 27)

NO
(32, 28, 3)

NO
(82, 22, 16)

NO
(9, 1, 5)

NO
(37, 15, 17)

NO
(5, 0, 3)

NO
(101, 4, 12)

NO
(91, 29, 25)

NO
(63, 6, 21)

NO
(54, 33, 10)

NO
(55, 22, 19)

NO
(89, 5, 31)

NO
(3, 0, 1)

NO
(76, 60, 6)

NO
(26, 21, 4)

NO
(10, 0, 3)

NO
(30, 15, 7)

YES
[10, 19, 18, 17, 16, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]
[10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19]
(19, 4, 14)

NO
(43, 26, 6)

NO
(11, 3, 2)

NO
(20, 3, 11)

NO
(64, 7, 38)

NO
(12, 9, 3)

NO
(74, 28, 34)

NO
(74, 13, 20)

NO
(88, 31, 41)

NO
(53, 27, 26)

NO
(93, 8, 14)

NO
(20, 2, 8)

NO
(17, 4, 0)

NO
(4, 0, 1)

NO
(75, 8, 43)

NO
(34, 3, 2)

NO
(60, 29, 8)

NO
(98, 30, 46)

NO
(57, 0, 51)

NO
(79, 40, 0)

NO
(67, 8, 45)

NO
(60, 16, 34)

NO
(27, 5, 8)

NO
(52, 8, 2)

NO
(8, 0, 5)

NO
(42, 1, 28)

NO
(47, 12, 29)

NO
(46, 8, 18)

NO
(50, 39, 0)

NO
(30, 9, 7)

NO
(82, 14, 53)

NO
(51, 14, 17)

YES
[37, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 63, 62, 61, 60, 59, 58, 57, 56, 55, 54, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53]
[37, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74]
(74, 21, 52)

YES
[1]
[1]
(1, 0, 0)

NO
(5, 1, 1)

NO
(34, 7, 4)

NO
(81, 0, 52)

NO
(94, 78, 16)

NO
(31, 4, 27)

NO
(92, 5, 42)

NO
(53, 10, 31)

NO
(36, 6, 15)

NO
(5, 1, 0)

NO
(95, 27, 19)

NO
(99, 3, 78)

NO
(99, 41, 5)

NO
(3, 0, 3)

NO
(71, 15, 28)

NO
(37, 23, 6)

NO
(32, 10, 16)

NO
(95, 5, 20)

NO
(27, 18, 2)

NO
(25, 2, 2)

NO
(15, 8, 7)

NO
(60, 17, 28)

NO
(40, 9, 13)

NO
(16, 12, 4)

NO
(45, 9, 30)

NO
(40, 11, 4)

NO
(64, 17, 14)

NO
(97, 59, 28)

NO
(95, 34, 23)

NO
(41, 38, 3)

NO
(44, 18, 24)

NO
(98, 47, 18)

NO
(51, 13, 31)

NO
(13, 0, 12)

NO
(50, 31, 16)

NO
(72, 9, 10)

NO
(74, 31, 29)

NO
(66, 18, 8)

NO
(84, 36, 16)

NO
(94, 36, 22)

NO
(98, 41, 1)

NO
(30, 2, 22)

NO
(73, 11, 53)

NO
(57, 25, 9)

NO
(79, 0, 44)

NO
(65, 3, 45)

NO
(28, 12, 14)

NO
(1, 0, 1)

NO
(98, 33, 56)

NO
(79, 23, 1)

NO
(89, 65, 12)

NO
(42, 15, 27)

NO
(55, 0, 16)

NO
(34, 18, 14)

NO
(90, 55, 12)

NO
(89, 14, 37)

NO
(90, 25, 23)

NO
(53, 8, 10)

NO
(89, 28, 50)

NO
(66, 4, 26)

NO
(75, 20, 13)

NO
(90, 75, 7)

YES
[3, 5, 1, 2, 4]
[3, 1, 2, 4, 5]
(5, 1, 3)

NO
(14, 2, 1)

NO
(62, 10, 27)

NO
(26, 17, 6)

NO
(71, 5, 24)

NO
(39, 8, 17)

NO
(43, 28, 3)

NO
(48, 9, 6)

NO
(82, 17, 51)

NO
(100, 32, 37)

NO
(78, 35, 3)

NO
(31, 15, 8)

NO
(93, 5, 58)

NO
(42, 32, 3)

NO
(29, 10, 15)

NO
(100, 49, 36)

NO
(43, 27, 12)

NO
(84, 70, 11)

NO
(75, 25, 1)

NO
(91, 25, 58)

YES
[5, 10, 1, 2, 3, 4, 6, 7, 8, 9]
[5, 1, 2, 3, 4, 6, 7, 8, 9, 10]
(10, 1, 8)

NO
(38, 24, 8)

NO
(37, 2, 16)

NO
(72, 2, 1)

NO
(97, 15, 80)

NO
(21, 8, 1)

NO
(89, 0, 3)

NO
(19, 3, 16)

NO
(95, 29, 17)

NO
(83, 36, 18)

NO
(56, 41, 2)

NO
(33, 31, 1)

NO
(33, 7, 4)

NO
(9, 2, 0)

NO
(60, 2, 50)

NO
(21, 0, 14)

NO
(49, 5, 2)

NO
(40, 13, 13)

NO
(77, 61, 9)

NO
(32, 15, 13)

NO
(42, 2, 9)

NO
(42, 2, 16)

NO
(62, 34, 19)

NO
(37, 20, 11)

NO
(15, 4, 5)

NO
(56, 23, 20)

YES
[10, 19, 18, 17, 16, 15, 14, 13, 12, 11, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19]
(19, 9, 9)

NO
(42, 8, 24)

NO
(50, 25, 1)

NO
(23, 6, 9)

NO
(82, 48, 12)

NO
(87, 44, 33)

NO
(29, 11, 18)

NO
(73, 16, 36)

NO
(42, 11, 14)

NO
(35, 18, 14)

NO
(67, 34, 31)

NO
(24, 0, 6)

NO
(88, 9, 19)

NO
(44, 14, 4)

NO
(57, 23, 1)

NO
(82, 51, 9)

NO
(57, 25, 30)

NO
(90, 2, 10)

NO
(61, 35, 8)

NO
(89, 41, 35)

NO
(90, 28, 2)

NO
(93, 53, 30)

NO
(97, 81, 3)

NO
(90, 51, 35)

NO
(56, 47, 4)

NO
(74, 4, 36)

NO
(99, 1, 93)

NO
(22, 6, 0)

NO
(30, 3, 0)

NO
(86, 26, 37)

NO
(26, 3, 9)

NO
(92, 56, 3)

NO
(52, 5, 45)

NO
(36, 13, 12)

NO
(19, 11, 3)

NO
(15, 1, 2)

NO
(25, 1, 16)

NO
(26, 5, 4)

NO
(43, 0, 3)

NO
(77, 32, 4)

NO
(14, 12, 0)

NO
(59, 11, 42)

YES
[44, 88, 87, 86, 85, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84]
[44, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88]
(88, 4, 83)

NO
(42, 35, 6)

NO
(52, 0, 9)

NO
(57, 9, 9)

NO
(49, 27, 9)

NO
(43, 26, 0)

NO
(96, 10, 11)

NO
(36, 4, 26)

NO
(34, 3, 28)

NO
(79, 8, 9)

NO
(41, 11, 22)

NO
(69, 0, 4)

NO
(58, 17, 21)

NO
(79, 5, 59)

NO
(38, 15, 17)

NO
(37, 3, 30)

NO
(49, 41, 4)

NO
(19, 0, 8)

NO
(90, 14, 30)

NO
(82, 49, 23)

NO
(53, 24, 11)

NO
(83, 32, 15)

NO
(57, 48, 6)

NO
(64, 4, 17)

NO
(6, 0, 0)

NO
(84, 52, 30)

NO
(39, 5, 1)

NO
(15, 1, 10)

NO
(43, 12, 12)

NO
(31, 15, 4)

NO
(43, 29, 5)

NO
(22, 2, 8)

NO
(5, 4, 0)

NO
(51, 10, 37)

NO
(6, 4, 2)

NO
(33, 17, 8)

NO
(98, 40, 41)

NO
(55, 0, 7)

NO
(66, 22, 34)

NO
(58, 7, 2)

NO
(42, 5, 24)

NO
(35, 10, 2)

NO
(20, 8, 8)

NO
(26, 1, 0)

NO
(97, 1, 82)

NO
(92, 35, 37)

NO
(70, 18, 37)

NO
(27, 6, 16)

NO
(51, 19, 4)

NO
(80, 72, 1)

NO
(32, 10, 4)

NO
(9, 9, 0)

NO
(95, 66, 17)

NO
(83, 27, 48)

NO
(96, 12, 25)

NO
(2, 2, 0)

NO
(40, 10, 7)

NO
(59, 1, 14)

NO
(56, 9, 6)

NO
(54, 14, 28)

NO
(19, 6, 10)

NO
(51, 0, 35)

NO
(65, 36, 13)

NO
(101, 8, 50)

NO
(47, 16, 5)

NO
(93, 0, 4)

NO
(48, 41, 6)

NO
(11, 1, 7)

NO
(46, 9, 13)

NO
(49, 5, 39)

NO
(44, 2, 22)

NO
(36, 10, 3)

NO
(86, 5, 50)

YES
[3, 6, 1, 2, 4, 5]
[3, 1, 2, 4, 5, 6]
(6, 1, 4)

NO
(54, 12, 0)

YES
[31, 62, 61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50]
[31, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62]
(62, 12, 49)

NO
(29, 17, 6)

NO
(88, 74, 6)

NO
(76, 6, 29)

NO
(2, 1, 1)

NO
(73, 34, 26)

NO
(41, 5, 32)

NO
(54, 27, 15)

NO
(9, 0, 7)

NO
(73, 53, 1)

NO
(66, 4, 12)

NO
(89, 56, 0)

NO
(63, 7, 41)

NO
(7, 2, 0)

NO
(90, 37, 36)

NO
(40, 7, 27)

NO
(48, 24, 3)

NO
(41, 24, 12)

NO
(74, 18, 1)

NO
(58, 25, 33)

NO
(6, 1, 0)

NO
(42, 33, 7)

NO
(60, 42, 18)

NO
(89, 49, 0)

NO
(14, 9, 3)

NO
(17, 1, 4)

NO
(20, 10, 5)

NO
(21, 2, 5)

NO
(55, 1, 46)

NO
(101, 0, 80)

NO
(88, 52, 33)

NO
(42, 1, 24)

NO
(83, 51, 5)

NO
(91, 66, 0)

NO
(91, 14, 64)

NO
(45, 36, 9)

NO
(4, 2, 2)

NO
(72, 51, 2)

NO
(26, 7, 2)

NO
(97, 27, 56)

NO
(90, 40, 9)

NO
(48, 32, 16)

NO
(72, 12, 20)

NO
(58, 36, 7)

NO
(6, 4, 1)

NO
(6, 0, 4)

NO
(54, 9, 39)

NO
(5, 1, 0)

NO
(79, 34, 4)

NO
(82, 9, 40)

NO
(94, 10, 66)

NO
(7, 3, 4)

NO
(51, 9, 22)

NO
(66, 0, 1)

NO
(48, 14, 17)

NO
(15, 6, 9)

NO
(71, 13, 31)

NO
(19, 13, 2)

NO
(97, 38, 11)

NO
(26, 1, 12)

NO
(88, 47, 15)

NO
(76, 16, 41)

NO
(67, 32, 7)

NO
(84, 20, 53)

NO
(87, 14, 16)

NO
(54, 44, 5)

NO
(19, 10, 7)

NO
(37, 6, 13)

NO
(78, 2, 10)

NO
(55, 11, 9)

NO
(68, 2, 32)

NO
(33, 24, 6)

NO
(68, 52, 6)

NO
(58, 33, 16)

NO
(7, 0, 6)

NO
(87, 9, 34)

NO
(42, 10, 20)

NO
(61, 55, 3)

NO
(11, 1, 2)

NO
(66, 26, 32)

NO
(39, 10, 15)

NO
(92, 43, 3)

NO
(30, 8, 14)

NO
(38, 27, 2)

NO
(72, 38, 27)

NO
(91, 50, 34)

NO
(16, 0, 12)

NO
(14, 4, 2)

NO
(100, 79, 11)

NO
(88, 11, 9)

NO
(86, 64, 1)

NO
(87, 21, 23)

NO
(86, 37, 42)

NO
(6, 5, 1)

NO
(66, 17, 46)

NO
(39, 10, 13)

NO
(77, 35, 0)

NO
(89, 55, 15)

NO
(2, 1, 1)

NO
(48, 5, 8)

NO
(72, 31, 22)

NO
(92, 11, 61)

NO
(77, 31, 15)

NO
(90, 52, 5)

NO
(2, 1, 0)

NO
(77, 31, 2)

NO
(50, 10, 9)

NO
(75, 19, 10)

NO
(7, 3, 0)

NO
(54, 22, 9)

NO
(80, 9, 54)

NO
(72, 13, 59)

NO
(16, 0, 11)

NO
(65, 33, 26)

NO
(80, 42, 19)

YES
[44, 87, 86, 85, 84, 83, 82, 81, 80, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63]
[44, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87]
(87, 24, 62)

YES
[12, 23, 22, 21, 20, 19, 18, 17, 16, 15, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14]
[12, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23]
(23, 9, 13)

NO
(62, 6, 38)

NO
(80, 29, 48)

NO
(39, 3, 32)

NO
(15, 11, 1)

NO
(71, 31, 12)

NO
(39, 13, 10)

NO
(61, 37, 21)

NO
(52, 30, 8)

NO
(84, 12, 60)

NO
(29, 12, 1)

NO
(98, 1, 22)

YES
[8, 16, 15, 14, 13, 12, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11]
[8, 1, 2, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 16]
(16, 5, 10)

NO
(25, 2, 11)

NO
(62, 18, 17)

NO
(44, 10, 0)

NO
(85, 29, 23)

NO
(77, 45, 12)

NO
(39, 30, 4)

NO
(65, 29, 0)

NO
(48, 7, 21)

NO
(71, 29, 20)

NO
(46, 3, 26)

NO
(70, 63, 1)

NO
(21, 8, 3)

NO
(51, 20, 26)

NO
(34, 5, 14)

NO
(14, 2, 1)

NO
(31, 10, 6)

NO
(71, 13, 40)

NO
(54, 9, 3)

NO
(81, 31, 29)

NO
(14, 9, 1)

NO
(63, 20, 26)

NO
(76, 6, 26)

NO
(64, 8, 45)

NO
(77, 19, 11)

NO
(39, 12, 5)

NO
(82, 10, 33)

NO
(57, 0, 54)

NO
(20, 4, 7)

NO
(85, 28, 5)

NO
(81, 22, 48)

NO
(91, 2, 68)

NO
(3, 0, 3)

NO
(9, 3, 2)

NO
(95, 0, 1)

NO
(62, 39, 9)

NO
(38, 11, 16)

NO
(93, 80, 6)

NO
(74, 0, 44)

NO
(79, 5, 1)

NO
(65, 4, 28)

NO
(43, 14, 9)

YES
[2, 3, 1]
[2, 1, 3]
(3, 1, 1)

NO
(20, 1, 0)

NO
(53, 35, 6)

NO
(53, 43, 3)

NO
(25, 10, 11)

NO
(36, 19, 15)

NO
(40, 21, 14)

NO
(27, 26, 0)

NO
(61, 29, 20)

NO
(70, 21, 35)

NO
(44, 0, 43)

NO
(75, 20, 40)

NO
(70, 8, 11)

NO
(29, 12, 9)

NO
(62, 30, 29)

NO
(49, 6, 7)

NO
(95, 62, 14)

NO
(38, 30, 8)

NO
(55, 2, 35)

NO
(61, 27, 22)

NO
(39, 3, 4)

NO
(12, 1, 11)

NO
(91, 18, 41)

YES
[1]
[1]
(1, 0, 0)

NO
(49, 4, 35)

NO
(88, 21, 28)

NO
(43, 13, 7)

NO
(89, 1, 69)

NO
(47, 5, 35)

NO
(50, 50, 0)

NO
(35, 12, 14)

NO
(24, 21, 2)

NO
(2, 0, 1)

NO
(48, 1, 35)

NO
(80, 13, 44)

NO
(75, 24, 41)

NO
(11, 6, 0)

NO
(22, 0, 14)

NO
(64, 12, 3)

NO
(93, 20, 26)

NO
(100, 59, 41)

NO
(46, 12, 30)

NO
(16, 6, 5)

NO
(77, 24, 53)

NO
(89, 6, 61)

NO
(20, 2, 2)

NO
(45, 24, 2)

NO
(76, 32, 38)

NO
(78, 24, 36)

NO
(36, 4, 24)

NO
(63, 17, 31)

NO
(90, 28, 53)

NO
(31, 21, 7)

NO
(33, 0, 16)

NO
(99, 36, 11)

NO
(92, 3, 87)

NO
(72, 16, 29)

NO
(81, 0, 0)

NO
(66, 13, 51)

NO
(53, 43, 9)

NO
(21, 11, 1)

NO
(54, 14, 15)

NO
(55, 5, 30)

NO
(60, 23, 10)

NO
(8, 2, 2)

NO
(67, 16, 7)

NO
(4, 2, 2)

NO
(59, 26, 18)

NO
(85, 3, 32)

NO
(39, 21, 7)

NO
(99, 34, 20)

NO
(86, 54, 30)

NO
(98, 19, 27)

NO
(74, 4, 54)

NO
(32, 5, 11)

NO
(88, 62, 15)

NO
(23, 9, 1)

NO
(18, 8, 2)

NO
(84, 11, 3)

NO
(9, 0, 1)

NO
(14, 5, 2)

NO
(43, 1, 1)

NO
(61, 5, 16)

NO
(54, 1, 51)

NO
(74, 12, 44)

NO
(98, 55, 36)

NO
(32, 18, 12)

NO
(5, 0, 3)

NO
(59, 40, 18)

NO
(10, 1, 7)

NO
(14, 6, 2)

NO
(42, 10, 23)

NO
(35, 0, 23)

NO
(67, 5, 34)

NO
(62, 1, 23)

NO
(28, 3, 4)

NO
(88, 24, 34)

NO
(71, 8, 14)

NO
(68, 14, 28)

NO
(54, 35, 3)

NO
(36, 21, 11)

NO
(8, 3, 5)

NO
(43, 13, 28)

NO
(51, 23, 14)

NO
(6, 3, 1)

NO
(26, 8, 13)

NO
(79, 11, 14)

NO
(9, 4, 2)

NO
(64, 5, 40)

NO
(52, 42, 4)

NO
(44, 3, 4)

NO
(78, 43, 16)

NO
(80, 21, 59)

NO
(12, 0, 11)

NO
(77, 12, 48)

NO
(32, 5, 13)

NO
(10, 1, 4)

NO
(64, 32, 27)

NO
(4, 0, 2)

NO
(38, 12, 13)

NO
(95, 8, 72)

NO
(37, 0, 0)

NO
(16, 4, 12)

         37345 function calls in 0.120 seconds

   Ordered by: standard name

   ncalls  tottime  percall  cumtime  percall filename:lineno(function)
        1    0.000    0.000    0.120    0.120 <string>:1(<module>)
     3213    0.015    0.000    0.015    0.000 code.py:21(<listcomp>)
     3213    0.011    0.000    0.011    0.000 code.py:22(<listcomp>)
     1000    0.047    0.000    0.075    0.000 code.py:3(generate_game)
        1    0.039    0.039    0.120    0.120 code.py:65(main)
     5000    0.006    0.000    0.006    0.000 utf_8.py:19(encode)
     5000    0.001    0.000    0.001    0.000 {built-in function _codecs.utf_8_encode}
        1    0.000    0.000    0.120    0.120 {built-in function exec}
     7215    0.001    0.000    0.001    0.000 {built-in function len}
        1    0.000    0.000    0.000    0.000 {method 'disable' of '_lsprof.Profiler' objects}
    12700    0.001    0.000    0.001    0.000 {method 'pop' of 'list' objects}