s 2 5 9 15 21 27 29 50 64 73 79 81 87 89 94 98 102 103 109 110 115
t 4 5 6 9 16 20 22 29 43 46 54 59 64 68 73 75 78 93 98 110 115
a YES
a 2 5 9 15 21 27 29 50 64 73 79 81 87 89 94 98 102 103 109 110 115
a 5 9 15 21 27 29 50 54 64 73 79 81 87 89 94 98 102 103 109 110 115
a 5 9 15 21 27 29 50 54 64 68 73 79 81 87 89 94 98 102 103 110 115
a 5 9 15 21 27 29 50 54 64 68 73 79 81 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 64 68 73 79 81 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 68 73 79 81 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 79 81 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 81 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 79 89 93 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 79 81 89 94 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 79 81 89 93 98 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 79 81 89 93 94 102 103 110 115
a 5 6 9 15 21 27 29 50 54 64 68 73 79 81 89 93 94 98 103 110 115
a 5 6 9 15 21 22 27 29 50 54 64 68 73 79 81 89 93 94 98 110 115
a 5 6 9 15 21 22 27 29 50 54 64 68 73 79 81 89 93 94 98 102 115
a 5 6 9 15 21 22 27 29 50 54 64 68 73 79 81 89 93 94 98 102 110
a 5 6 9 15 21 22 27 29 50 54 64 68 73 79 81 93 94 98 102 110 115
a 5 6 9 21 22 27 29 50 54 59 64 68 73 79 81 93 94 98 102 110 115
a 5 6 9 20 21 22 27 29 50 54 59 64 68 73 79 81 93 98 102 110 115
a 4 5 6 9 20 21 22 27 29 54 59 64 68 73 79 81 93 98 102 110 115
a 4 5 6 9 16 20 21 22 29 54 59 64 68 73 79 81 93 98 102 110 115
a 4 5 6 9 16 20 21 22 29 43 54 59 64 68 73 79 81 93 98 110 115
a 4 5 6 9 16 20 21 22 29 43 46 54 59 64 68 73 79 93 98 110 115
a 4 5 6 9 16 20 21 22 29 43 46 54 59 64 68 73 78 93 98 110 115
a 4 5 6 9 16 20 22 29 43 46 54 59 64 68 73 75 78 93 98 110 115