s 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 76 79 82 85 88
t 1 4 5 8 14 19 21 24 27 31 32 35 39 43 44 47 51 53 57 59 63 66 73 74 78 80 84 86
a YES
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 76 79 82 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 79 82 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 76 82 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 76 79 85 88
a 4 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 76 79 80 85 88
a 4 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 74 79 80 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 38 41 45 49 50 53 56 59 64 65 70 73 74 79 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 41 45 49 50 53 56 59 64 65 70 73 74 79 80 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 41 45 49 50 53 56 59 63 65 70 73 74 79 80 85 88
a 4 5 8 11 14 19 21 23 28 29 33 34 41 45 49 50 53 56 59 63 65 70 73 74 79 80 85 86
a 4 5 8 11 14 19 21 23 28 29 33 35 41 45 49 50 53 56 59 63 65 70 73 74 79 80 85 86
a 4 5 8 11 14 19 21 23 28 29 33 35 41 43 45 49 53 56 59 63 65 70 73 74 79 80 85 86
a 4 5 8 11 14 19 21 23 28 29 33 35 41 43 45 49 53 56 59 63 65 70 73 74 78 80 85 86
a 4 5 8 11 14 19 21 24 28 29 33 35 41 43 45 49 53 56 59 63 65 70 73 74 78 80 85 86
a 4 5 8 11 14 19 21 24 28 29 33 35 41 43 45 49 53 57 59 63 65 70 73 74 78 80 85 86
a 4 5 8 11 14 19 21 24 28 29 33 35 39 41 43 45 49 53 57 59 63 65 73 74 78 80 85 86
a 4 5 8 11 14 19 21 24 27 29 33 35 39 41 43 45 49 53 57 59 63 65 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 29 33 35 39 41 43 45 49 53 57 59 63 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 29 33 35 39 43 45 49 51 53 57 59 63 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 29 33 35 39 43 45 47 51 53 57 59 63 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 33 35 39 43 45 47 51 53 57 59 63 66 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 31 35 39 43 45 47 51 53 57 59 63 66 73 74 78 80 85 86
a 1 4 5 8 11 14 19 21 24 27 31 35 39 43 45 47 51 53 57 59 63 66 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 39 43 45 47 51 53 57 59 63 66 73 74 78 80 84 86
a 1 4 5 8 14 19 21 24 27 31 32 35 39 43 44 47 51 53 57 59 63 66 73 74 78 80 84 86