s 3 15 27 34 40 46 62 77 t 8 15 21 36 43 46 65 77 a YES a 15 27 3 34 40 46 62 77 a 15 27 3 34 40 46 71 77 a 15 2 27 34 40 46 71 77 a 15 2 27 34 40 46 57 71 a 2 27 34 40 46 57 71 78 a 13 2 27 34 46 57 71 78 a 13 2 34 45 46 57 71 78 a 13 20 34 45 46 57 71 78 a 13 20 32 45 46 57 71 78 a 13 20 32 45 46 57 7 71 a 13 20 32 45 46 7 71 75 a 20 32 45 46 58 7 71 75 a 20 33 45 46 58 7 71 75 a 14 20 33 45 58 7 71 75 a 14 20 33 45 52 58 71 75 a 14 19 33 45 52 58 71 75 a 14 19 33 45 58 7 71 75 a 14 19 2 33 45 58 71 75 a 14 19 33 45 47 58 71 75 a 16 19 33 45 47 58 71 75 a 16 19 33 4 45 47 71 75 a 16 19 4 45 47 60 71 75 a 19 32 4 45 47 60 71 75 a 13 19 32 45 47 60 71 75 a 13 19 32 45 60 7 71 75 a 13 19 32 54 60 7 71 75 a 13 19 38 54 60 7 71 75 a 13 19 32 38 54 60 7 75 a 13 26 32 38 54 60 7 75 a 1 13 26 32 38 54 60 75 a 1 13 25 32 38 54 60 75 a 13 25 32 38 54 60 71 75 a 13 32 38 54 60 7 71 75 a 19 32 38 54 60 7 71 75 a 13 19 32 38 54 60 71 75 a 13 19 32 38 60 7 71 75 a 13 19 32 38 60 71 75 9 a 13 19 34 38 60 71 75 9 a 13 19 34 38 60 71 77 9 a 13 19 34 48 60 71 77 9 a 13 19 2 34 48 60 71 77 a 13 2 27 34 48 60 71 77 a 13 2 27 34 48 55 71 77 a 13 27 34 48 55 6 71 77 a 13 20 34 48 55 6 71 77 a 13 20 34 48 55 71 77 9 a 13 20 42 48 55 71 77 9 a 13 20 36 42 48 55 71 77 a 13 25 36 42 48 55 71 77 a 25 36 4 42 48 55 71 77 a 11 25 36 4 42 48 55 77 a 11 36 4 42 48 55 70 77 a 17 36 4 42 48 55 70 77 a 17 29 4 42 48 55 70 77 a 27 29 4 42 48 55 70 77 a 11 27 4 42 48 55 70 77 a 11 35 4 42 48 55 70 77 a 11 35 42 48 55 70 77 9 a 11 22 35 48 55 70 77 9 a 11 22 44 48 55 70 77 9 a 11 22 33 44 48 55 70 77 a 18 22 33 44 48 55 70 77 a 18 2 33 44 48 55 70 77 a 2 27 33 44 48 55 70 77 a 11 27 33 44 48 55 70 77 a 11 27 44 48 55 6 70 77 a 27 29 44 48 55 6 70 77 a 18 29 44 48 55 6 70 77 a 18 22 29 44 48 55 70 77 a 22 29 44 48 55 70 77 9 a 15 22 29 44 48 70 77 9 a 1 15 22 29 44 48 70 77 a 1 15 22 29 44 63 70 77 a 1 15 22 44 48 63 70 77 a 1 15 29 44 48 63 70 77 a 1 22 29 44 48 63 70 77 a 15 22 29 44 48 63 70 77 a 1 15 22 29 48 63 70 77 a 1 17 22 29 48 63 70 77 a 1 17 29 42 48 63 70 77 a 17 29 4 42 48 63 70 77 a 17 29 4 42 46 63 70 77 a 17 21 4 42 46 63 70 77 a 21 35 4 42 46 63 70 77 a 11 35 4 42 46 63 70 77 a 11 35 4 42 48 63 70 77 a 19 35 4 42 48 63 70 77 a 17 19 4 42 48 63 70 77 a 17 19 31 42 48 63 70 77 a 17 19 2 31 48 63 70 77 a 17 19 31 48 6 63 70 77 a 19 31 44 48 6 63 70 77 a 19 2 31 44 48 63 70 77 a 18 19 2 31 44 48 70 77 a 18 19 31 44 48 6 70 77 a 18 19 31 44 56 6 70 77 a 12 19 31 44 56 6 70 77 a 12 19 31 44 56 70 77 9 a 12 19 44 51 56 70 77 9 a 13 19 44 51 56 70 77 9 a 13 28 44 51 56 70 77 9 a 22 28 44 51 56 70 77 9 a 22 28 3 44 51 56 70 77 a 18 22 28 44 51 56 70 77 a 18 22 28 3 51 56 70 77 a 18 22 28 39 51 56 70 77 a 22 28 39 51 56 70 77 9 a 17 22 28 39 51 56 70 77 a 17 22 28 3 51 56 70 77 a 17 22 28 3 45 51 56 70 a 17 22 28 3 45 51 70 74 a 17 22 28 3 45 59 70 74 a 17 24 28 3 45 59 70 74 a 17 24 28 3 45 52 59 74 a 17 24 3 31 45 52 59 74 a 10 24 3 31 45 52 59 74 a 10 24 3 45 52 59 71 74 a 24 28 3 45 52 59 71 74 a 13 24 28 45 52 59 71 74 a 13 24 28 52 59 71 74 9 a 13 24 28 39 52 71 74 9 a 13 24 28 39 52 71 77 9 a 13 28 39 52 56 71 77 9 a 13 28 39 52 56 6 71 77 a 27 28 39 52 56 6 71 77 a 13 27 28 39 52 56 71 77 a 13 27 39 52 56 6 71 77 a 10 27 39 52 56 6 71 77 a 10 27 39 4 52 56 71 77 a 10 27 33 39 4 52 56 77 a 10 26 33 39 4 52 56 77 a 10 26 33 39 4 56 72 77 a 10 26 39 4 51 56 72 77 a 10 25 39 4 51 56 72 77 a 10 25 36 39 4 51 56 77 a 10 25 36 39 4 56 71 77 a 10 25 36 4 42 56 71 77 a 10 25 3 36 42 56 71 77 a 10 25 3 42 54 56 71 77 a 25 28 3 42 54 56 71 77 a 13 25 28 42 54 56 71 77 a 13 25 30 42 54 56 71 77 a 13 30 42 54 56 7 71 77 a 19 30 42 54 56 7 71 77 a 13 19 30 42 54 56 71 77 a 13 19 30 42 56 7 71 77 a 13 19 30 42 56 71 77 9 a 13 19 30 52 56 71 77 9 a 15 19 30 52 56 71 77 9 a 15 19 30 4 52 56 71 77 a 18 19 30 4 52 56 71 77 a 18 19 33 4 52 56 71 77 a 18 33 39 4 52 56 71 77 a 10 33 39 4 52 56 71 77 a 27 33 39 4 52 56 71 77 a 10 27 33 39 52 56 71 77 a 10 27 33 39 4 52 71 77 a 10 27 33 39 52 58 71 77 a 10 27 39 52 58 6 71 77 a 10 27 29 52 58 6 71 77 a 10 27 29 3 52 58 71 77 a 10 24 29 3 52 58 71 77 a 10 24 29 52 58 71 77 9 a 10 24 29 52 58 71 75 9 a 10 23 29 52 58 71 75 9 a 10 23 29 52 58 6 71 75 a 10 23 45 52 58 6 71 75 a 23 29 45 52 58 6 71 75 a 10 23 29 45 52 58 71 75 a 10 29 45 52 58 6 71 75 a 10 24 29 45 52 58 71 75 a 10 24 29 45 58 7 71 75 a 24 29 45 46 58 7 71 75 a 12 24 29 45 46 58 7 71 a 12 24 29 46 58 7 71 77 a 12 24 29 46 58 71 77 9 a 12 24 43 46 58 71 77 9 a 12 24 36 43 46 58 71 77 a 2 24 36 43 46 58 71 77 a 15 2 36 43 46 58 71 77 a 15 20 36 43 46 58 71 77 a 15 20 43 46 58 71 77 9 a 15 29 43 46 58 71 77 9 a 12 29 43 46 58 71 77 9 a 24 29 43 46 58 71 77 9 a 12 24 29 43 46 58 71 77 a 12 24 29 43 46 58 71 9 a 12 24 29 43 46 58 80 9 a 12 24 29 43 46 68 80 9 a 12 24 29 46 61 68 80 9 a 12 24 29 46 61 67 80 9 a 12 23 29 46 61 67 80 9 a 23 29 42 46 61 67 80 9 a 23 29 42 48 61 67 80 9 a 14 29 42 48 61 67 80 9 a 14 19 42 48 61 67 80 9 a 14 19 36 42 48 61 67 80 a 19 36 42 48 5 61 67 80 a 17 19 36 42 48 5 61 67 a 17 20 36 42 48 5 61 67 a 20 36 42 48 5 61 67 73 a 14 20 36 42 48 61 67 73 a 14 20 3 36 42 61 67 73 a 14 20 36 42 61 67 73 8 a 14 20 36 39 61 67 73 8 a 14 20 36 39 61 67 78 8 a 20 36 39 46 61 67 78 8 a 20 36 39 46 5 61 67 78 a 17 20 36 39 46 61 67 78 a 17 20 39 46 5 61 67 78 a 18 20 39 46 5 61 67 78 a 18 20 32 39 46 61 67 78 a 17 20 32 39 46 61 67 78 a 20 32 39 46 61 67 78 9 a 20 32 44 46 61 67 78 9 a 20 3 32 44 46 61 67 78 a 18 20 32 44 46 61 67 78 a 18 20 3 32 44 46 67 78 a 18 20 32 44 46 67 7 78 a 20 32 44 46 63 67 7 78 a 11 32 44 46 63 67 7 78 a 21 32 44 46 63 67 7 78 a 10 21 32 44 63 67 7 78 a 10 21 32 44 49 63 7 78 a 10 21 32 44 63 65 7 78 a 21 32 44 46 63 65 7 78 a 18 21 32 44 46 65 7 78 a 18 21 44 46 59 65 7 78 a 18 21 40 46 59 65 7 78 a 21 36 40 46 59 65 7 78 a 12 36 40 46 59 65 7 78 a 12 26 40 46 59 65 7 78 a 12 26 40 46 59 65 7 81 a 12 26 33 40 46 59 7 81 a 12 26 33 40 46 68 7 81 a 12 26 29 40 46 68 7 81 a 26 29 40 46 57 68 7 81 a 15 26 29 40 46 57 68 81 a 15 2 26 40 46 57 68 81 a 15 2 34 40 46 57 68 81 a 15 19 2 34 40 57 68 81 a 15 19 2 34 53 57 68 81 a 15 19 2 40 53 57 68 81 a 15 2 34 40 53 57 68 81 a 15 19 34 40 53 57 68 81 a 19 2 34 40 53 57 68 81 a 19 34 40 53 57 6 68 81 a 12 19 34 40 53 6 68 81 a 12 34 40 53 55 6 68 81 a 12 25 40 53 55 6 68 81 a 12 29 40 53 55 6 68 81 a 25 29 40 53 55 6 68 81 a 12 25 29 40 53 55 68 81 a 12 25 29 40 53 55 6 68 a 12 27 29 40 53 55 6 68 a 12 27 40 53 55 6 68 74 a 12 25 40 53 55 6 68 74 a 12 25 40 54 55 6 68 74 a 12 35 40 54 55 6 68 74 a 21 35 40 54 55 6 68 74 a 17 21 40 54 55 6 68 74 a 17 21 43 54 55 6 68 74 a 17 21 32 43 54 55 6 74 a 17 21 32 43 54 55 69 74 a 17 21 32 4 43 55 69 74 a 17 21 36 4 43 55 69 74 a 17 36 4 43 48 55 69 74 a 17 36 43 48 5 55 69 74 a 22 36 43 48 5 55 69 74 a 17 22 36 43 48 55 69 74 a 17 22 36 43 48 5 55 74 a 17 22 36 48 5 55 70 74 a 17 22 36 5 51 55 70 74 a 17 22 3 36 51 55 70 74 a 17 22 3 45 51 55 70 74 a 17 3 32 45 51 55 70 74 a 17 32 4 45 51 55 70 74 a 17 21 32 4 45 55 70 74 a 17 21 32 45 55 6 70 74 a 21 32 45 49 55 6 70 74 a 21 32 44 49 55 6 70 74 a 27 32 44 49 55 6 70 74 a 27 3 32 44 49 55 70 74 a 15 27 3 32 44 49 70 74 a 1 15 27 32 44 49 70 74 a 1 15 32 44 49 63 70 74 a 15 21 32 44 49 63 70 74 a 21 32 44 49 6 63 70 74 a 21 28 44 49 6 63 70 74 a 15 21 28 44 49 63 70 74 a 15 2 21 28 44 49 63 70 a 15 2 28 44 49 63 70 75 a 15 2 26 28 49 63 70 75 a 14 2 26 28 49 63 70 75 a 14 2 26 28 45 49 70 75 a 14 26 28 45 49 56 70 75 a 1 14 26 45 49 56 70 75 a 1 14 26 33 45 56 70 75 a 1 14 26 33 45 47 70 75 a 1 14 33 45 47 58 70 75 a 14 33 45 47 58 70 75 8 a 19 33 45 47 58 70 75 8 a 14 19 33 45 47 58 70 75 a 14 19 33 47 58 70 75 8 a 14 19 36 47 58 70 75 8 a 19 36 41 47 58 70 75 8 a 15 19 36 41 58 70 75 8 a 15 19 2 36 41 58 70 75 a 15 19 2 41 53 58 70 75 a 15 2 36 41 53 58 70 75 a 19 2 36 41 53 58 70 75 a 15 19 36 41 53 58 70 75 a 15 19 2 36 53 58 70 75 a 15 2 36 37 53 58 70 75 a 14 2 36 37 53 58 70 75 a 2 24 36 37 53 58 70 75 a 11 24 36 37 53 58 70 75 a 11 24 36 5 53 58 70 75 a 11 24 36 46 5 58 70 75 a 17 24 36 46 5 58 70 75 a 17 2 24 36 46 58 70 75 a 2 24 36 41 46 58 70 75 a 15 2 36 41 46 58 70 75 a 15 36 41 46 58 70 75 8 a 15 29 41 46 58 70 75 8 a 15 29 41 46 58 72 75 8 a 15 20 41 46 58 72 75 8 a 15 20 34 41 46 72 75 8 a 13 20 34 41 46 72 75 8 a 13 34 41 46 60 72 75 8 a 13 19 34 41 60 72 75 8 a 13 19 34 38 60 72 75 8 a 13 19 34 47 60 72 75 8 a 13 34 41 47 60 72 75 8 a 19 34 41 47 60 72 75 8 a 13 19 34 41 47 60 72 75 a 13 19 41 47 60 72 75 8 a 13 28 41 47 60 72 75 8 a 13 26 28 41 47 60 72 75 a 13 26 28 41 60 7 72 75 a 13 26 41 46 60 7 72 75 a 26 29 41 46 60 7 72 75 a 26 29 4 41 46 60 72 75 a 16 29 4 41 46 60 72 75 a 16 29 4 41 53 60 72 75 a 16 19 4 41 53 60 72 75 a 16 19 4 41 47 60 72 75 a 16 19 35 4 41 47 60 72 a 16 19 35 4 41 47 72 78 a 16 19 30 4 41 47 72 78 a 16 19 30 4 41 47 63 78 a 16 19 35 4 41 47 63 78 a 16 19 35 4 41 47 66 78 a 16 19 35 4 47 63 66 78 a 16 19 4 41 47 63 66 78 a 16 35 4 41 47 63 66 78 a 16 22 35 41 47 63 66 78 a 10 22 35 41 47 63 66 78 a 10 35 4 41 47 63 66 78 a 19 35 4 41 47 63 66 78 a 16 19 35 41 47 63 66 78 a 16 19 2 35 41 63 66 78 a 16 19 35 4 41 63 66 78 a 19 35 4 41 52 63 66 78 a 10 35 4 41 52 63 66 78 a 10 29 4 41 52 63 66 78 a 10 29 41 52 63 66 78 8 a 10 29 41 52 63 67 78 8 a 10 26 29 41 52 63 67 78 a 10 26 29 3 41 52 67 78 a 10 26 3 41 52 56 67 78 a 10 26 3 45 52 56 67 78 a 14 26 3 45 52 56 67 78 a 1 14 26 45 52 56 67 78 a 1 14 26 39 52 56 67 78 a 14 26 39 52 56 67 78 9 a 10 26 39 52 56 67 78 9 a 10 26 39 5 52 56 67 78 a 10 26 39 5 52 63 67 78 a 11 26 39 5 52 63 67 78 a 11 26 39 46 5 63 67 78 a 11 26 32 39 46 63 67 78 a 11 25 32 39 46 63 67 78 a 11 25 39 46 63 67 78 8 a 11 34 39 46 63 67 78 8 a 11 34 39 46 5 63 67 78 a 17 34 39 46 5 63 67 78 a 17 2 34 39 46 63 67 78 a 17 20 34 39 46 63 67 78 a 20 34 39 46 5 63 67 78 a 20 34 39 46 63 67 78 8 a 20 34 41 46 63 67 78 8 a 12 34 41 46 63 67 78 8 a 12 29 41 46 63 67 78 8 a 12 29 41 46 63 67 7 78 a 26 29 41 46 63 67 7 78 a 12 26 29 41 46 63 67 78 a 12 26 29 46 63 67 7 78 a 12 29 44 46 63 67 7 78 a 12 25 29 44 46 63 67 78 a 12 25 29 46 63 67 78 8 a 12 25 29 50 63 67 78 8 a 1 12 25 29 50 63 67 78 a 1 12 25 44 50 63 67 78 a 1 25 29 44 50 63 67 78 a 12 25 29 44 50 63 67 78 a 12 29 44 50 63 67 7 78 a 1 12 29 44 50 63 67 78 a 1 16 29 44 50 63 67 78 a 1 16 22 29 44 50 63 78 a 1 16 22 44 50 63 65 78 a 1 16 22 35 50 63 65 78 a 1 16 22 39 50 63 65 78 a 1 22 35 39 50 63 65 78 a 16 22 35 39 50 63 65 78 a 1 16 35 39 50 63 65 78 a 16 35 39 4 50 63 65 78 a 16 21 35 4 50 63 65 78 a 16 19 35 4 50 63 65 78 a 16 35 37 4 50 63 65 78 a 16 22 35 37 50 63 65 78 a 22 35 37 50 63 65 7 78 a 11 22 35 37 50 63 7 78 a 11 22 35 37 63 66 7 78 a 11 35 37 49 63 66 7 78 a 14 35 37 49 63 66 7 78 a 14 2 35 37 49 63 66 78 a 16 2 35 37 49 63 66 78 a 16 20 35 37 49 63 66 78 a 20 35 37 49 63 66 7 78 a 14 20 35 37 49 63 66 78 a 14 20 37 49 63 66 78 8 a 14 20 37 49 63 66 7 78 a 20 32 37 49 63 66 7 78 a 11 32 37 49 63 66 7 78 a 11 32 44 49 63 66 7 78 a 10 32 44 49 63 66 7 78 a 20 32 44 49 63 66 7 78 a 1 20 32 44 49 63 66 78 a 1 16 20 44 49 63 66 78 a 16 20 44 49 5 63 66 78 a 16 20 31 44 5 63 66 78 a 16 19 31 44 5 63 66 78 a 16 19 2 31 44 63 66 78 a 16 19 2 31 44 63 66 77 a 16 19 2 44 51 63 66 77 a 16 2 28 44 51 63 66 77 a 2 25 28 44 51 63 66 77 a 2 25 28 40 51 63 66 77 a 17 2 28 40 51 63 66 77 a 17 19 2 40 51 63 66 77 a 17 19 2 36 40 51 66 77 a 17 2 36 40 51 55 66 77 a 2 25 36 40 51 55 66 77 a 13 2 25 36 51 55 66 77 a 13 25 36 51 55 66 77 8 a 13 25 38 51 55 66 77 8 a 13 36 38 51 55 66 77 8 a 25 36 38 51 55 66 77 8 a 25 36 38 4 51 55 66 77 a 13 25 36 38 51 55 66 77 a 13 25 36 38 51 55 66 8 a 13 36 38 51 55 66 79 8 a 13 20 36 51 55 66 79 8 a 14 20 36 51 55 66 79 8 a 14 20 36 37 51 66 79 8 a 14 20 36 37 51 62 66 79 a 14 20 37 51 62 66 79 9 a 14 20 31 37 62 66 79 9 a 14 20 31 37 53 66 79 9 a 14 31 37 53 60 66 79 9 a 14 2 31 37 53 60 66 79 a 2 27 31 37 53 60 66 79 a 14 27 31 37 53 60 66 79 a 14 2 27 31 53 60 66 79 a 14 2 27 28 53 60 66 79 a 2 27 28 41 53 60 66 79 a 15 2 27 28 41 53 66 79 a 15 2 27 28 40 53 66 79 a 14 2 27 28 40 53 66 79 a 14 2 27 40 53 55 66 79 a 14 2 36 40 53 55 66 79 a 14 2 36 40 51 55 66 79 a 17 2 36 40 51 55 66 79 a 17 36 40 5 51 55 66 79 a 17 22 36 5 51 55 66 79 a 17 20 36 5 51 55 66 79 a 17 36 38 5 51 55 66 79 a 17 36 38 4 51 55 66 79 a 17 32 38 4 51 55 66 79 a 17 32 4 45 51 55 66 79 a 17 20 32 45 51 55 66 79 a 13 20 32 45 51 55 66 79 a 13 20 32 51 55 66 79 9 a 13 20 44 51 55 66 79 9 a 13 32 44 51 55 66 79 9 a 20 32 44 51 55 66 79 9 a 13 20 32 44 51 55 66 79 a 13 20 32 44 51 55 66 9 a 13 20 44 51 55 66 77 9 a 16 20 44 51 55 66 77 9 a 16 29 44 51 55 66 77 9 a 22 29 44 51 55 66 77 9 a 16 22 29 44 51 55 66 77 a 16 22 29 44 51 66 77 9 a 10 22 29 44 51 66 77 9 a 10 22 29 44 51 66 7 77 a 10 22 29 44 63 66 7 77 a 10 22 29 51 63 66 7 77 a 10 22 44 51 63 66 7 77 a 22 28 44 51 63 66 7 77 a 16 22 28 44 51 63 66 77 a 16 22 29 44 51 63 66 77 a 22 29 44 51 63 66 7 77 a 10 22 29 44 51 63 66 77 a 10 29 44 51 63 66 7 77 a 10 25 29 44 51 63 66 77 a 10 25 29 51 63 66 77 8 a 10 25 29 4 51 63 66 77 a 10 25 38 4 51 63 66 77 a 10 25 38 51 63 66 77 8 a 10 25 31 38 63 66 77 8 a 10 31 38 52 63 66 77 8 a 10 24 31 38 52 63 66 77 a 17 24 31 38 52 63 66 77 a 17 19 31 38 52 63 66 77 a 19 31 38 52 63 66 77 8 a 15 19 38 52 63 66 77 8 a 15 19 38 4 52 63 66 77 a 19 35 38 4 52 63 66 77 a 10 35 38 4 52 63 66 77 a 10 24 35 38 52 63 66 77 a 1 24 35 38 52 63 66 77 a 1 13 24 35 38 52 66 77 a 13 24 35 38 52 66 77 9 a 13 24 35 38 55 66 77 9 a 13 24 38 52 55 66 77 9 a 13 35 38 52 55 66 77 9 a 24 35 38 52 55 66 77 9 a 13 24 35 38 52 55 66 77 a 13 24 35 52 55 66 77 9 a 11 24 35 52 55 66 77 9 a 11 35 40 52 55 66 77 9 a 11 35 40 52 55 6 66 77 a 11 35 40 54 55 6 66 77 a 11 25 40 54 55 6 66 77 a 25 29 40 54 55 6 66 77 a 17 29 40 54 55 6 66 77 a 17 29 40 52 55 6 66 77 a 27 29 40 52 55 6 66 77 a 11 27 40 52 55 6 66 77 a 11 27 33 40 52 55 66 77 a 11 27 33 40 5 52 55 66 a 11 27 40 5 52 55 66 78 a 11 27 40 5 53 55 66 78 a 11 36 40 5 53 55 66 78 a 11 25 36 40 53 55 66 78 a 2 25 36 40 53 55 66 78 a 14 25 36 40 53 55 66 78 a 1 14 25 36 40 53 66 78 a 14 2 25 36 40 53 66 78 a 2 25 36 40 53 59 66 78 a 1 25 36 40 53 59 66 78 a 11 25 36 40 53 59 66 78 a 11 25 36 4 53 59 66 78 a 11 25 37 4 53 59 66 78 a 25 36 37 4 53 59 66 78 a 2 25 36 37 53 59 66 78 a 11 25 36 37 53 59 66 78 a 11 36 37 4 53 59 66 78 a 11 36 37 53 59 66 7 78 a 22 36 37 53 59 66 7 78 a 11 22 36 37 53 59 66 78 a 11 22 36 37 53 59 7 78 a 11 22 36 53 59 64 7 78 a 11 22 36 53 57 64 7 78 a 11 22 36 5 53 57 64 78 a 11 22 36 43 5 57 64 78 a 11 22 36 43 50 57 64 78 a 11 22 36 50 57 64 7 78 a 11 22 35 50 57 64 7 78 a 11 22 45 50 57 64 7 78 a 22 29 45 50 57 64 7 78 a 22 29 45 50 57 7 71 78 a 16 22 29 45 50 57 71 78 a 1 16 22 29 45 50 57 78 a 1 16 22 29 44 50 57 78 a 1 16 29 44 50 57 72 78 a 1 16 23 29 44 57 72 78 a 16 23 29 44 46 57 72 78 a 16 23 29 4 46 57 72 78 a 16 23 35 4 46 57 72 78 a 11 23 35 4 46 57 72 78 a 11 23 35 40 46 57 72 78 a 11 23 34 40 46 57 72 78 a 11 34 40 46 5 57 72 78 a 11 26 40 46 5 57 72 78 a 11 26 40 46 57 7 72 78 a 26 29 40 46 57 7 72 78 a 14 26 29 40 57 7 72 78 a 1 14 26 29 40 57 72 78 a 1 14 29 40 53 57 72 78 a 14 29 40 53 57 7 72 78 a 14 19 40 53 57 7 72 78 a 14 19 35 40 57 7 72 78 a 14 19 35 40 57 7 72 74 a 14 19 40 53 57 7 72 74 a 14 28 40 53 57 7 72 74 a 14 28 40 51 57 7 72 74 a 14 19 40 51 57 7 72 74 a 14 19 36 40 51 57 7 74 a 14 19 36 40 57 7 71 74 a 14 19 36 40 57 7 71 78 a 14 19 2 36 40 57 71 78 a 14 19 2 36 40 53 57 78 a 14 19 36 40 53 57 7 78 a 14 19 36 40 53 65 7 78 a 12 19 36 40 53 65 7 78 a 12 19 36 40 5 53 65 78 a 12 19 34 40 5 53 65 78 a 12 27 34 40 5 53 65 78 a 1 12 27 34 40 53 65 78 a 1 12 34 40 53 59 65 78 a 1 12 36 40 53 59 65 78 a 12 36 40 53 59 65 7 78 a 21 36 40 53 59 65 7 78 a 18 21 40 53 59 65 7 78 a 18 21 28 40 53 59 65 7 a 18 21 28 40 53 59 6 65 a 18 21 28 40 53 6 65 79 a 18 21 28 40 6 62 65 79 a 18 23 28 40 6 62 65 79 a 18 23 28 40 51 62 65 79 a 18 28 40 5 51 62 65 79 a 18 28 3 40 51 62 65 79 a 14 28 3 40 51 62 65 79 a 14 28 3 45 51 62 65 79 a 14 26 28 3 45 51 65 79 a 14 26 28 3 45 60 65 79 a 14 26 3 31 45 60 65 79 a 26 3 31 45 46 60 65 79 a 12 26 31 45 46 60 65 79 a 12 31 45 46 60 65 79 8 a 12 27 31 46 60 65 79 8 a 12 27 31 46 5 60 65 79 a 12 27 31 5 53 60 65 79 a 12 27 31 37 53 60 65 79 a 14 27 31 37 53 60 65 79 a 14 2 27 31 37 53 60 79 a 14 2 27 31 37 48 60 79 a 14 2 26 31 37 48 60 79 a 14 26 31 37 48 60 72 79 a 14 26 3 31 37 60 72 79 a 14 26 3 31 37 56 72 79 a 14 26 3 37 51 56 72 79 a 14 26 28 3 51 56 72 79 a 14 26 28 3 45 51 56 79 a 14 26 28 3 45 56 67 79 a 14 26 28 3 45 60 67 79 a 14 2 26 28 45 60 67 79 a 14 2 26 45 48 60 67 79 a 1 14 26 45 48 60 67 79 a 1 14 26 45 48 60 65 79 a 14 26 31 45 48 60 65 79 a 14 26 31 37 48 60 65 79 a 14 27 31 37 48 60 65 79 a 14 27 31 37 60 65 79 8 a 14 27 3 31 37 60 65 79 a 14 27 3 31 37 62 65 79 a 14 27 31 37 48 62 65 79 a 27 31 37 48 6 62 65 79 a 27 31 37 50 6 62 65 79 a 27 3 31 37 50 62 65 79 a 15 27 3 37 50 62 65 79 a 15 27 37 4 50 62 65 79 a 15 27 30 37 4 62 65 79 a 15 27 37 4 48 62 65 79 a 15 36 37 4 48 62 65 79 a 23 36 37 4 48 62 65 79 a 18 23 37 4 48 62 65 79 a 18 23 37 48 6 62 65 79 a 18 23 35 37 48 6 65 79 a 18 23 35 37 4 48 65 79 a 18 23 37 4 48 60 65 79 a 18 23 35 4 48 60 65 79 a 1 18 23 35 48 60 65 79 a 1 18 22 35 48 60 65 79 a 18 22 35 37 48 60 65 79 a 18 35 37 4 48 60 65 79 a 23 35 37 4 48 60 65 79 a 18 23 35 37 48 60 65 79 a 18 23 35 37 4 60 65 79 a 18 23 35 4 46 60 65 79 a 18 21 35 4 46 60 65 79 a 18 21 32 4 46 60 65 79 a 21 32 4 45 46 60 65 79 a 26 32 4 45 46 60 65 79 a 26 3 32 45 46 60 65 79 a 13 26 32 45 46 60 65 79 a 1 13 26 32 45 60 65 79 a 1 13 26 32 54 60 65 79 a 1 13 26 32 39 54 60 65 a 1 13 26 39 54 60 65 77 a 13 26 28 39 54 60 65 77 a 13 28 39 54 60 65 77 8 a 22 28 39 54 60 65 77 8 a 16 22 28 39 54 60 65 77 a 1 16 22 39 54 60 65 77 a 1 16 35 39 54 60 65 77 a 1 13 35 39 54 60 65 77 a 1 22 35 39 54 60 65 77 a 16 22 35 39 54 60 65 77 a 1 16 22 35 39 54 60 65 a 1 16 22 35 39 54 60 74 a 1 16 22 35 39 54 68 74 a 1 16 22 35 54 57 68 74 a 1 16 22 35 54 57 69 74 a 1 16 23 35 54 57 69 74 a 1 23 35 40 54 57 69 74 a 1 23 35 40 52 57 69 74 a 1 14 35 40 52 57 69 74 a 1 14 35 40 52 63 69 74 a 14 21 35 40 52 63 69 74 a 14 21 28 40 52 63 69 74 a 17 21 28 40 52 63 69 74 a 17 28 40 5 52 63 69 74 a 17 28 40 5 52 63 69 75 a 11 28 40 5 52 63 69 75 a 11 26 28 40 52 63 69 75 a 26 28 40 5 52 63 69 75 a 14 26 28 40 52 63 69 75 a 1 14 26 40 52 63 69 75 a 1 14 26 40 47 63 69 75 a 1 14 25 40 47 63 69 75 a 14 25 28 40 47 63 69 75 a 14 26 28 40 47 63 69 75 a 26 28 40 47 5 63 69 75 a 17 28 40 47 5 63 69 75 a 17 34 40 47 5 63 69 75 a 1 17 34 40 47 63 69 75 a 1 17 22 34 47 63 69 75 a 17 22 34 47 5 63 69 75 a 17 22 34 47 5 63 64 75 a 17 22 34 47 5 60 64 75 a 17 22 34 45 47 60 64 75 a 1 17 22 34 45 47 60 75 a 1 17 22 34 45 47 68 75 a 1 17 22 34 47 63 68 75 a 1 17 34 40 47 63 68 75 a 17 34 40 47 6 63 68 75 a 19 34 40 47 6 63 68 75 a 17 19 34 40 47 63 68 75 a 17 19 34 40 6 63 68 75 a 17 19 2 34 40 63 68 75 a 17 2 34 40 46 63 68 75 a 15 2 34 40 46 63 68 75 a 15 2 21 34 40 46 63 68 a 17 2 21 34 40 46 63 68 a 17 2 21 34 40 46 63 77 a 15 2 21 34 40 46 63 77 a 15 21 34 40 46 63 65 77 a 15 21 34 40 46 62 65 77 a 15 3 34 40 46 62 65 77 a 27 3 34 40 46 62 65 77 a 15 27 34 40 46 62 65 77 a 15 27 3 40 46 62 65 77 a 15 3 36 40 46 62 65 77 a 15 21 36 40 46 62 65 77 a 21 36 40 46 62 65 7 77 a 18 21 40 46 62 65 7 77 a 18 21 35 40 46 65 7 77 a 18 21 35 46 60 65 7 77 a 18 21 35 4 46 60 65 77 a 18 35 39 4 46 60 65 77 a 16 35 39 4 46 60 65 77 a 16 35 39 4 46 63 65 77 a 16 21 35 4 46 63 65 77 a 16 21 4 42 46 63 65 77 a 16 35 4 42 46 63 65 77 a 16 21 35 42 46 63 65 77 a 21 35 4 42 46 63 65 77 a 21 35 42 46 63 65 7 77 a 21 35 40 46 63 65 7 77 a 12 35 40 46 63 65 7 77 a 12 24 35 46 63 65 7 77 a 12 24 35 46 58 65 7 77 a 12 24 36 46 58 65 7 77 a 12 24 36 43 46 58 65 77 a 12 36 43 46 58 65 77 8 a 21 36 43 46 58 65 77 8 a 15 21 36 43 46 58 65 77 a 15 21 36 4 43 46 65 77 a 15 21 36 43 46 65 77 8 Command being timed: "python3 /SOLVER/longest/run.py submission sas split /BENCHMARKS/benchmark/color04/queen9_9.col /BENCHMARKS/benchmark/color04/queen9_9_02.dat" User time (seconds): 0.27 System time (seconds): 0.05 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:00 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 17908 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13339 Voluntary context switches: 967 Involuntary context switches: 42 Swaps: 0 File system inputs: 32 File system outputs: 144 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0