s 4 7 9 12 15 16 18 22 25 27 37 40 43 46 49 50 55 58 61 64 67 68 73 76 79 80 85 88 91 94 97 100 t 1 5 9 11 15 16 17 22 23 28 32 37 39 43 45 47 52 53 56 61 63 67 69 71 76 81 85 87 89 92 97 99 c UNKNOWN a YES a 100 12 15 16 18 22 25 27 37 4 40 43 46 49 50 55 58 61 64 67 68 7 73 76 79 80 85 88 9 91 94 97 a 100 12 15 16 18 22 25 27 34 37 4 43 46 49 50 55 58 61 64 67 68 7 73 76 79 80 85 88 9 91 94 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 46 49 50 55 58 61 64 67 68 7 73 79 80 85 88 9 91 94 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 46 49 50 55 58 61 64 67 68 7 73 75 79 80 85 88 9 94 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 46 49 50 55 58 61 64 66 67 68 7 73 75 79 80 85 9 94 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 45 49 50 55 58 61 64 66 67 68 7 73 75 79 80 85 9 94 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 45 49 50 55 58 61 64 66 67 68 7 73 75 79 80 85 9 93 97 a 100 12 15 16 18 22 25 27 34 37 4 40 43 45 49 50 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 97 a 12 15 16 18 22 24 25 27 34 37 4 40 43 45 49 50 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 97 a 12 15 16 18 22 24 25 27 34 37 4 40 43 45 49 50 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 96 a 12 15 16 18 22 24 25 27 34 37 4 40 43 45 49 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 96 98 a 12 15 16 18 22 24 25 27 34 37 4 40 43 46 49 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 96 98 a 12 15 16 18 22 24 25 27 34 37 4 40 43 46 48 55 56 61 64 66 67 68 7 73 75 79 80 85 9 93 96 98 a 12 15 16 18 22 24 25 27 34 37 4 40 43 46 48 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 12 15 16 18 22 24 25 27 34 37 4 40 46 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 12 15 16 18 22 24 25 27 34 37 4 40 43 46 48 54 56 61 64 66 67 68 7 75 79 80 85 9 91 93 96 98 a 12 15 16 18 22 25 27 34 37 4 40 43 46 48 54 56 61 64 66 67 68 7 71 75 79 80 85 9 91 93 96 98 a 12 15 16 18 22 25 27 34 37 4 40 43 46 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 12 15 16 18 22 24 25 27 34 37 40 43 46 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 11 12 15 16 22 24 25 27 34 37 40 43 46 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 1 11 15 16 22 24 25 27 34 37 40 43 46 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 1 11 15 16 22 24 25 27 31 34 37 40 43 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 1 11 15 16 22 24 25 27 31 34 37 39 43 48 54 56 61 64 66 67 68 7 73 75 79 80 85 9 91 93 96 98 a 1 11 15 16 22 24 25 27 31 34 37 39 43 48 54 56 61 64 67 68 7 73 75 79 80 85 87 9 91 93 96 98 a 1 11 15 16 22 24 25 27 31 34 37 39 43 48 50 54 56 61 64 67 68 7 73 75 79 80 85 87 9 91 93 96 a 1 11 15 16 22 24 25 27 31 34 37 39 43 48 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 93 96 a 1 11 15 16 22 24 25 27 31 34 37 39 43 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 93 96 a 1 11 15 16 22 24 25 27 31 34 37 39 42 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 93 96 a 1 11 15 16 22 24 25 27 31 34 37 39 42 47 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 96 a 1 15 16 18 22 24 25 27 31 34 37 39 42 47 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 96 a 1 15 16 18 21 24 25 27 31 34 37 39 42 47 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 91 96 a 1 15 16 18 21 24 25 27 31 34 37 39 42 47 5 50 54 56 61 64 67 68 7 71 75 79 80 85 87 9 90 96 a 1 15 16 18 21 24 25 27 3 31 34 37 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 96 a 1 15 16 18 21 24 25 27 3 31 34 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 96 a 1 16 18 21 24 25 27 3 31 34 36 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 96 a 15 16 18 21 24 25 27 3 31 34 36 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 96 a 12 16 18 21 24 25 27 3 31 34 36 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 96 a 12 16 18 21 24 25 27 3 31 34 36 39 42 47 5 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 97 a 12 16 18 21 24 25 27 3 31 34 36 39 4 42 47 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 97 a 12 16 18 21 24 25 27 3 34 36 39 4 42 45 47 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 97 a 12 16 18 21 24 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 71 75 79 80 85 87 9 90 92 97 a 12 16 18 21 24 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 80 85 87 9 90 92 97 a 12 16 18 21 24 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 80 85 87 9 90 94 97 a 12 16 18 21 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 80 85 87 9 90 94 97 99 a 12 15 16 18 21 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 16 18 20 25 27 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 18 20 25 27 29 3 34 36 39 4 42 45 49 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 18 20 25 27 29 3 34 36 39 4 42 46 49 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 36 39 4 42 46 49 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 36 39 4 42 46 48 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 36 39 4 43 46 48 50 54 56 61 64 67 68 72 75 79 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 36 39 4 43 46 48 50 54 56 61 67 68 72 75 79 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 37 39 4 43 46 48 50 54 56 61 67 68 72 75 79 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 34 37 39 4 43 46 49 50 54 56 61 67 68 72 75 79 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 33 37 39 4 43 46 49 50 54 56 61 67 68 72 75 79 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 33 37 39 4 43 46 49 50 54 56 61 67 68 71 75 79 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 33 37 39 4 43 46 49 50 54 56 61 63 67 68 71 75 80 85 87 9 90 94 97 99 a 12 15 19 20 25 27 29 3 33 37 39 4 43 46 49 50 54 56 61 63 67 68 71 75 77 85 87 9 90 94 97 99 a 12 15 19 20 24 25 27 29 3 33 37 39 4 43 46 49 50 54 56 61 63 67 68 71 75 77 85 87 9 90 94 97 a 12 15 19 20 24 25 27 29 3 33 37 39 4 43 45 49 50 54 56 61 63 67 68 71 75 77 85 87 9 90 94 97 a 12 15 19 20 24 25 27 29 3 33 37 39 4 43 45 49 50 54 56 61 63 67 68 71 75 77 84 87 9 90 94 97 a 12 15 19 20 24 25 27 29 3 33 39 4 43 45 49 50 54 56 61 63 67 68 71 75 77 80 84 87 9 90 94 97 a 12 15 19 20 24 25 27 29 3 33 36 39 4 43 45 49 50 54 56 61 63 67 68 71 75 77 80 84 87 9 94 97 a 12 15 19 20 24 25 27 29 3 33 36 39 4 43 45 49 50 54 56 61 63 67 68 71 75 77 80 87 9 91 94 97 a 12 15 19 20 24 25 27 29 3 33 36 4 43 45 49 50 54 56 61 62 63 67 68 71 75 77 80 87 9 91 94 97 a 12 15 19 20 24 25 27 29 3 33 36 4 43 45 49 50 54 56 61 62 63 67 68 71 76 77 80 87 9 91 94 97 a 12 15 19 20 24 25 27 29 3 33 36 4 40 43 45 49 50 54 56 61 62 63 68 71 76 77 80 87 9 91 94 97 a 12 13 19 20 24 25 27 29 3 33 36 4 40 43 45 49 50 54 56 61 62 63 68 71 76 77 80 87 9 91 94 97 a 12 13 19 20 24 25 27 29 3 33 35 36 4 43 45 49 50 54 56 61 62 63 68 71 76 77 80 87 9 91 94 97 a 12 13 19 20 25 27 29 3 33 35 36 4 43 45 49 50 54 56 61 62 63 68 71 76 77 80 87 9 91 94 97 99 a 12 13 19 20 25 27 29 3 33 35 36 4 43 45 49 54 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 99 a 12 13 19 20 25 27 29 3 33 35 36 38 4 45 49 54 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 99 a 12 13 19 20 25 27 29 3 33 35 36 38 4 45 49 54 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 98 a 12 13 19 20 25 27 29 3 33 35 36 4 43 45 49 54 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 4 43 45 49 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 4 42 45 49 56 61 62 63 65 68 71 76 77 80 87 9 91 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 4 42 45 49 53 56 61 62 63 65 68 71 76 77 80 87 9 94 97 98 a 12 13 19 20 24 25 27 29 3 33 36 39 4 42 45 49 53 56 61 62 63 65 68 71 76 77 80 87 9 94 97 98 a 12 13 19 20 24 25 27 29 3 33 36 39 4 42 45 49 53 56 61 62 65 68 71 76 77 80 83 87 9 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 4 42 45 49 53 56 61 62 65 68 71 76 77 80 83 87 9 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 38 4 45 49 53 56 61 62 65 68 71 76 77 80 83 87 9 94 97 98 a 12 13 19 20 24 25 27 29 3 33 35 36 38 4 45 49 53 56 61 62 65 68 71 76 77 80 83 87 9 94 96 98 a 12 13 19 20 24 25 27 29 3 33 35 36 38 4 45 49 56 61 62 65 68 71 76 77 80 83 87 9 91 94 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 45 49 56 61 62 65 68 71 76 77 80 83 87 9 91 94 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 56 61 62 65 68 71 76 77 80 83 87 9 91 94 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 56 61 62 65 68 71 76 77 80 83 86 9 91 94 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 56 61 62 65 68 71 76 77 80 83 86 9 91 93 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 58 61 62 65 68 71 76 77 80 83 86 9 91 93 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 58 61 64 65 68 71 76 77 80 83 86 9 91 93 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 54 58 61 64 65 68 71 76 80 83 86 9 91 93 96 98 a 12 13 18 20 24 25 27 29 3 33 35 36 38 4 44 49 54 58 6 61 64 65 68 71 76 80 83 86 91 93 96 98 a 12 13 18 20 24 27 29 3 33 35 36 38 4 44 49 51 54 58 6 61 64 65 68 71 76 80 83 86 91 93 96 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 61 64 65 68 71 76 80 83 86 91 93 96 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 61 64 65 68 71 76 80 83 88 91 93 96 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 64 65 68 71 76 79 80 83 88 91 93 96 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 64 65 68 71 76 79 80 83 88 91 93 95 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 64 65 68 71 76 79 80 83 88 91 92 95 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 64 65 68 71 76 79 80 83 88 91 94 95 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 58 6 64 65 68 71 76 79 80 83 86 91 94 95 98 a 12 13 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 71 76 79 80 83 86 91 94 95 98 a 12 13 14 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 71 76 79 80 83 86 91 95 98 a 12 13 14 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 71 76 79 80 84 86 91 95 98 a 12 13 14 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 6 64 65 68 71 76 79 80 84 86 91 92 95 98 a 12 13 14 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 71 76 79 84 86 91 92 95 98 a 12 13 14 18 20 24 27 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 73 76 79 84 86 91 92 95 98 a 12 13 14 18 20 24 26 3 31 33 35 36 38 4 44 49 51 54 57 6 64 65 68 73 76 79 84 86 91 92 95 98 a 13 14 18 20 24 26 3 31 33 35 36 38 4 44 49 51 54 57 59 6 64 65 68 73 76 79 84 86 91 92 95 98 a 13 14 18 20 24 26 3 31 34 35 36 38 4 44 49 51 54 57 59 6 64 65 68 73 76 79 84 86 91 92 95 98 a 13 14 18 20 24 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 76 79 84 86 91 92 95 98 a 13 14 18 20 24 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 79 81 84 86 91 92 95 98 a 13 14 18 20 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 74 79 81 84 86 91 92 95 98 a 13 14 18 20 23 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 79 81 84 86 91 92 95 98 a 100 13 14 18 20 23 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 79 81 84 86 91 92 95 a 100 13 14 18 20 23 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 73 76 79 81 84 86 91 92 95 a 13 14 18 20 23 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 76 79 81 84 86 91 92 95 a 13 14 19 20 23 26 3 31 34 35 36 38 4 44 49 52 54 57 59 6 64 65 68 73 76 79 81 84 86 91 92 95 a 13 14 19 20 23 26 3 31 34 35 36 38 4 44 49 52 54 56 57 59 6 64 65 68 73 76 79 81 84 86 91 92 a 100 13 14 19 20 23 26 3 31 34 35 36 38 4 44 49 52 54 56 57 59 6 64 65 68 73 76 79 81 84 86 91 a 100 13 14 19 20 23 26 3 31 34 35 36 38 4 44 49 52 54 56 57 59 6 64 65 68 73 76 79 81 85 86 91 a 100 13 14 19 20 23 26 3 31 34 35 36 38 4 44 49 52 54 56 57 59 64 65 68 73 76 79 81 85 86 9 91 a 100 13 14 18 20 23 26 3 31 34 35 36 38 4 44 49 52 54 56 57 59 64 65 68 73 76 79 81 85 86 9 91 a 100 13 14 18 20 23 26 31 34 35 36 38 4 44 49 52 54 56 57 59 64 65 68 7 73 76 79 81 85 86 9 91 a 100 13 14 18 20 23 26 31 34 35 36 38 4 44 49 52 54 56 59 64 65 68 7 73 76 79 81 85 86 9 91 97 a 100 13 14 18 20 23 26 31 34 35 36 38 4 44 49 52 54 56 59 64 66 68 7 73 76 79 81 85 86 9 91 97 a 100 13 14 18 20 23 26 31 34 35 36 38 4 44 49 52 54 56 59 64 66 68 7 76 79 81 85 86 9 91 93 97 a 100 13 14 18 20 23 26 31 34 35 36 38 4 44 49 52 54 56 59 64 66 68 7 72 76 81 85 86 9 91 93 97 a 100 13 14 18 20 23 26 31 35 36 38 4 44 49 52 54 56 59 64 66 68 7 72 76 77 81 85 86 9 91 93 97 a 100 13 14 18 20 23 26 31 33 35 36 38 4 44 49 52 54 56 59 64 66 68 7 72 76 77 81 85 9 91 93 97 a 100 13 14 18 23 26 31 33 35 36 38 4 44 49 52 54 56 59 64 66 67 68 7 72 76 77 81 85 9 91 93 97 a 100 13 14 18 23 26 31 33 35 36 38 4 44 49 52 54 56 59 64 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 13 14 18 23 26 31 33 35 36 38 4 44 48 52 54 56 59 64 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 18 22 23 26 31 33 35 36 38 4 44 48 52 54 56 59 64 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 18 22 23 26 31 33 35 36 38 4 44 48 52 54 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 18 22 23 26 31 33 35 36 38 4 44 48 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 18 22 23 26 31 33 35 36 38 4 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 17 22 23 26 31 33 35 36 38 4 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 17 22 23 26 31 33 35 36 4 43 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 17 22 23 26 31 32 35 36 4 43 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 14 17 22 23 26 31 32 36 39 4 43 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 100 11 14 17 22 23 26 31 32 36 39 43 44 49 52 55 56 59 63 67 68 7 72 76 77 81 85 87 9 91 93 97 a 1 100 11 14 17 22 23 26 31 32 36 39 43 44 49 52 55 56 59 63 67 68 7 72 76 77 85 87 9 91 93 97 a 1 100 11 16 17 22 23 26 31 32 36 39 43 44 49 52 55 56 59 63 67 68 7 72 76 77 85 87 9 91 93 97 a 1 100 11 16 17 22 23 26 31 32 36 39 43 44 49 52 55 56 61 63 67 68 7 72 76 77 85 87 9 91 93 97 a 1 100 11 16 17 22 23 26 31 32 37 39 43 44 49 52 55 56 61 63 67 68 7 72 76 77 85 87 9 91 93 97 a 1 100 11 15 16 17 22 23 26 31 32 37 39 43 49 52 55 56 61 63 67 68 7 72 76 77 85 87 9 91 93 97 a 1 100 11 15 16 17 22 23 26 31 32 37 39 43 49 52 55 56 61 63 67 68 7 72 76 77 85 87 89 9 93 97 a 1 100 11 15 16 17 22 23 26 32 37 39 43 45 49 52 55 56 61 63 67 68 7 72 76 77 85 87 89 9 93 97 a 1 100 11 15 16 17 22 23 26 32 37 39 43 45 49 52 53 56 61 63 67 68 7 72 76 77 85 87 89 9 93 97 a 1 100 11 15 16 17 22 23 26 32 37 39 43 45 5 52 53 56 61 63 67 68 7 72 76 77 85 87 89 9 93 97 a 1 11 15 16 17 22 23 26 32 37 39 43 45 5 52 53 56 61 63 67 68 7 72 76 77 85 87 89 9 93 97 99 a 1 11 15 16 17 22 23 26 32 37 39 43 45 47 5 52 53 56 61 63 67 68 7 72 76 77 85 87 89 9 97 99 a 1 11 15 16 17 22 23 32 37 39 43 45 47 5 52 53 56 61 63 67 68 7 72 76 77 81 85 87 89 9 97 99 a 1 11 15 16 17 22 23 32 37 39 43 45 47 5 52 53 56 61 63 67 68 72 76 77 81 85 87 89 9 92 97 99 a 1 11 15 16 17 22 23 32 37 39 43 45 47 5 52 53 56 61 63 67 68 71 76 77 81 85 87 89 9 92 97 99 a 1 11 15 16 17 22 23 28 32 37 39 43 45 47 5 52 53 56 61 63 67 68 71 76 81 85 87 89 9 92 97 99 a 1 11 15 16 17 22 23 28 32 37 39 43 45 47 5 52 53 56 61 63 67 69 71 76 81 85 87 89 9 92 97 99 Command exited with non-zero status 65 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp -c core_stop="UNKNOWN" --stats --quiet=1,0 --time-limit=10800 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/3rd-benchmark/asp/mug100_25.lp ../../benchmark/3rd-benchmark/asp/mug100_25_02.lp" User time (seconds): 10791.05 System time (seconds): 16.93 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:08 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): 21004500 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7267413 Voluntary context switches: 18 Involuntary context switches: 11109 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 1 Page size (bytes): 4096 Exit status: 65