s 10 15 26 28 30 32 33 36 37 42 44 45 46 48 53 54 59 61 63 64 65 66 67 68 69 70 74 t 7 10 14 15 16 21 26 27 28 30 32 33 36 37 42 45 46 47 48 50 53 54 61 63 66 69 74 c UNKNOWN a YES a 10 15 26 28 30 32 33 36 37 42 44 45 46 48 53 54 59 61 63 64 65 66 67 68 69 70 74 a 10 15 26 27 28 30 32 33 36 37 42 44 45 46 48 53 54 59 61 63 64 65 66 67 69 70 74 a 10 15 26 27 28 30 32 33 36 37 39 42 44 45 46 48 53 54 59 61 63 65 66 67 69 70 74 a 10 15 26 27 28 30 32 33 36 37 39 40 42 44 45 46 48 53 54 61 63 65 66 67 69 70 74 a 10 15 26 28 30 32 33 36 37 39 40 42 44 45 46 48 53 54 56 61 63 65 66 67 69 70 74 a 10 15 26 28 3 30 32 33 36 37 39 40 42 44 45 46 48 54 56 61 63 65 66 67 69 70 74 a 10 15 26 28 3 30 32 33 36 37 39 40 42 45 46 48 54 56 61 63 65 66 67 69 70 74 8 a 10 15 26 28 3 30 32 33 36 37 39 40 42 45 46 54 56 58 61 63 65 66 67 69 70 74 8 a 10 15 26 28 3 30 32 33 36 37 40 42 45 46 54 56 58 61 63 64 65 66 67 69 70 74 8 a 10 15 26 28 3 30 32 33 36 37 42 45 46 54 56 58 59 61 63 64 65 66 67 69 70 74 8 a 10 15 26 28 30 32 33 36 37 42 45 46 53 54 56 58 59 61 63 64 65 66 67 69 70 74 8 a 10 15 26 28 30 31 32 33 36 37 42 45 46 53 54 56 58 59 61 63 64 65 66 67 69 70 74 a 10 15 21 26 28 30 31 32 33 36 37 42 45 46 53 54 56 58 59 61 63 65 66 67 69 70 74 a 10 15 21 26 28 30 31 32 33 36 37 42 45 46 51 53 54 56 58 59 61 63 65 66 67 69 70 a 10 15 21 26 28 29 30 31 32 33 36 37 42 45 46 51 53 54 56 58 61 63 65 66 67 69 70 a 10 15 21 26 28 29 30 32 33 36 37 42 45 46 51 53 54 56 58 61 63 65 66 67 69 70 8 a 10 15 21 24 26 28 29 30 32 33 36 37 45 46 51 53 54 56 58 61 63 65 66 67 69 70 8 a 10 14 15 21 24 26 28 29 30 32 33 36 37 45 46 51 53 54 56 58 61 63 65 66 67 69 70 a 10 14 15 21 24 26 28 29 30 32 33 36 37 45 46 51 53 54 58 61 63 65 66 67 68 69 70 a 10 14 15 24 26 28 29 30 32 33 34 36 37 45 46 51 53 54 58 61 63 65 66 67 68 69 70 a 10 14 15 24 26 28 29 3 30 32 33 34 36 37 45 46 51 54 58 61 63 65 66 67 68 69 70 a 10 14 15 19 24 26 28 29 3 30 32 33 34 36 37 45 46 51 54 58 61 63 65 66 67 69 70 a 10 15 19 24 26 28 29 3 30 32 33 34 36 37 38 45 46 51 54 58 61 63 65 66 67 69 70 a 10 15 19 24 26 28 29 3 30 32 33 34 36 37 38 45 46 48 51 54 61 63 65 66 67 69 70 a 10 15 19 24 26 28 29 3 30 32 33 34 36 37 45 46 48 51 54 61 63 65 66 67 69 70 8 a 10 15 24 26 28 29 3 30 32 33 34 36 37 45 46 48 51 54 61 63 65 66 67 68 69 70 8 a 10 15 24 26 28 29 3 30 32 33 34 36 37 45 46 48 51 54 61 63 65 66 67 68 69 7 8 a 10 15 16 24 26 28 29 3 30 32 33 34 36 37 45 46 48 51 54 61 63 66 67 68 69 7 8 a 10 15 16 24 26 28 29 3 30 32 33 34 36 37 38 45 46 48 51 54 61 63 66 67 68 69 7 a 10 14 15 16 24 26 28 29 3 30 32 33 34 36 37 45 46 48 51 54 61 63 66 67 68 69 7 a 10 14 15 16 24 26 28 29 3 30 32 33 34 35 36 37 45 46 51 54 61 63 66 67 68 69 7 a 10 14 15 16 26 28 29 3 30 32 33 34 35 36 37 42 45 46 51 54 61 63 66 67 68 69 7 a 10 14 15 16 26 28 29 3 30 32 33 34 36 37 42 45 46 51 54 58 61 63 66 67 68 69 7 a 10 14 15 16 26 28 29 3 30 32 33 36 37 42 45 46 51 54 58 6 61 63 66 67 68 69 7 a 10 14 15 16 26 28 29 3 30 32 33 36 37 42 45 46 47 51 54 58 6 61 63 66 68 69 7 a 10 14 15 16 26 28 29 3 30 32 33 35 36 37 42 45 46 47 51 54 6 61 63 66 68 69 7 a 10 14 15 16 26 28 29 30 32 33 35 36 37 42 45 46 47 51 53 54 6 61 63 66 68 69 7 a 10 15 16 26 28 29 30 32 33 35 36 37 42 45 46 47 51 53 54 6 61 63 66 68 69 7 8 a 10 15 16 26 28 29 30 32 33 36 37 42 45 46 47 48 51 53 54 6 61 63 66 68 69 7 8 a 10 15 16 26 28 29 30 32 33 36 37 42 45 46 48 51 53 54 6 61 63 66 67 68 69 7 8 a 10 15 16 26 28 29 30 32 33 36 37 42 45 46 48 51 53 54 61 63 64 66 67 68 69 7 8 a 10 12 15 16 26 28 29 30 32 33 36 37 42 45 46 48 51 53 54 61 63 64 66 68 69 7 8 a 10 12 15 16 26 28 30 32 33 36 37 42 45 46 48 50 51 53 54 61 63 64 66 68 69 7 8 a 10 12 15 16 26 28 3 30 32 33 36 37 42 45 46 48 50 51 54 61 63 64 66 68 69 7 8 a 10 15 16 26 28 3 30 32 33 36 37 42 45 46 47 48 50 51 54 61 63 64 66 68 69 7 8 a 10 15 16 26 28 3 30 32 33 36 37 42 45 46 47 48 50 54 61 63 64 66 68 69 7 74 8 a 10 15 16 26 28 30 32 33 36 37 42 45 46 47 48 50 53 54 61 63 64 66 68 69 7 74 8 a 10 15 16 26 28 30 32 33 36 37 42 45 46 47 48 50 51 53 54 61 63 64 66 68 69 7 8 a 10 15 16 18 26 28 30 32 33 36 37 42 45 46 47 48 50 51 53 54 61 63 64 66 68 69 7 a 10 15 16 18 26 28 30 32 33 36 37 39 42 45 46 47 48 50 51 53 54 61 63 66 68 69 7 a 10 15 16 18 26 28 30 32 33 34 36 37 42 45 46 47 48 50 51 53 54 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 34 36 37 42 45 46 47 48 50 51 53 54 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 34 36 37 40 42 45 46 47 48 51 53 54 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 34 36 37 40 42 45 46 47 48 51 53 54 56 61 63 66 69 7 a 10 15 16 26 28 30 31 32 33 34 35 36 37 40 42 45 46 47 51 53 54 56 61 63 66 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 40 42 45 46 47 51 53 54 56 6 61 63 66 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 42 45 46 47 50 51 53 54 56 6 61 63 66 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 42 45 46 47 50 51 53 54 6 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 42 45 46 47 5 51 53 54 6 61 63 66 68 69 7 a 10 15 16 25 26 28 30 31 32 33 35 36 37 42 45 46 47 51 53 54 6 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 42 45 46 47 51 53 54 59 6 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 40 42 45 46 47 51 53 54 6 61 63 66 68 69 7 a 10 15 16 26 28 30 31 32 33 35 36 37 40 42 45 46 47 51 53 54 6 61 63 66 68 69 70 a 10 15 16 26 28 30 31 32 33 35 36 37 42 45 46 47 51 53 54 59 6 61 63 66 68 69 70 a 10 15 16 26 28 30 31 32 33 36 37 42 45 46 47 51 53 54 58 59 6 61 63 66 68 69 70 a 10 15 16 26 28 30 31 32 33 36 37 42 45 46 51 53 54 58 59 6 61 63 66 67 68 69 70 a 10 15 16 26 28 30 32 33 36 37 38 42 45 46 51 53 54 58 59 6 61 63 66 67 68 69 70 a 10 15 26 28 30 32 33 36 37 38 42 45 46 51 53 54 58 59 6 61 63 65 66 67 68 69 70 a 10 15 26 28 30 32 33 36 37 38 42 45 46 53 54 58 59 6 61 63 65 66 67 68 69 70 74 a 10 13 15 26 28 30 32 33 36 37 38 42 45 46 53 54 58 6 61 63 65 66 67 68 69 70 74 a 10 13 15 26 28 30 32 33 34 36 37 38 42 45 46 53 54 58 61 63 65 66 67 68 69 70 74 a 10 13 15 26 28 30 32 33 34 35 36 37 38 42 45 46 53 54 61 63 65 66 67 68 69 70 74 a 10 13 15 26 28 30 32 33 34 35 36 37 42 45 46 53 54 61 63 65 66 67 68 69 70 74 8 a 10 13 15 26 28 30 32 33 34 36 37 42 45 46 53 54 58 61 63 65 66 67 68 69 70 74 8 a 10 13 15 26 28 30 32 33 34 36 37 42 45 46 53 54 58 61 63 65 66 67 68 69 7 74 8 a 10 13 15 26 28 30 32 33 34 36 37 42 45 46 53 54 56 58 61 63 65 66 67 69 7 74 8 a 10 13 15 26 28 30 32 33 36 37 42 45 46 53 54 56 58 6 61 63 65 66 67 69 7 74 8 a 10 15 26 28 30 32 33 36 37 40 42 45 46 53 54 56 58 6 61 63 65 66 67 69 7 74 8 a 10 15 24 26 28 30 32 33 36 37 40 45 46 53 54 56 58 6 61 63 65 66 67 69 7 74 8 a 10 15 16 24 26 28 30 32 33 36 37 40 45 46 53 54 56 58 6 61 63 66 67 69 7 74 8 a 10 15 16 24 26 28 30 32 33 36 37 40 44 45 46 53 54 56 58 6 61 63 66 67 69 7 74 a 10 15 16 24 26 28 30 32 33 36 37 44 45 46 50 53 54 56 58 6 61 63 66 67 69 7 74 a 10 15 16 24 26 28 30 32 33 36 37 44 45 46 48 50 53 54 56 6 61 63 66 67 69 7 74 a 10 15 16 24 26 28 30 32 33 36 37 44 45 46 48 53 54 56 59 6 61 63 66 67 69 7 74 a 10 15 16 24 26 28 30 32 33 36 37 44 45 46 48 53 54 56 59 6 61 63 66 67 69 70 74 a 10 15 16 24 26 28 30 32 33 36 37 39 44 45 46 48 53 54 56 59 61 63 66 67 69 70 74 a 10 15 16 26 28 30 32 33 36 37 39 42 44 45 46 48 53 54 56 59 61 63 66 67 69 70 74 a 10 15 16 26 28 3 30 32 33 36 37 39 42 44 45 46 48 54 56 59 61 63 66 67 69 70 74 a 10 15 16 26 28 3 30 32 33 36 37 42 44 45 46 48 54 56 59 61 63 64 66 67 69 70 74 a 10 15 26 28 3 30 32 33 36 37 42 44 45 46 48 54 56 59 61 63 64 65 66 67 69 70 74 a 10 15 18 26 28 3 30 32 33 36 37 42 45 46 48 54 56 59 61 63 64 65 66 67 69 70 74 a 10 15 18 26 28 3 30 32 33 36 37 42 45 46 48 51 54 56 59 61 63 64 65 66 67 69 70 a 10 15 18 26 28 3 30 32 33 36 37 42 45 46 48 51 54 59 61 63 64 65 66 67 68 69 70 a 10 15 18 26 28 3 30 32 33 35 36 37 42 45 46 51 54 59 61 63 64 65 66 67 68 69 70 a 10 15 18 26 28 3 30 32 33 35 36 37 42 45 46 51 54 56 59 61 63 64 65 66 67 69 70 a 10 14 15 26 28 3 30 32 33 35 36 37 42 45 46 51 54 56 59 61 63 64 65 66 67 69 70 a 10 14 15 20 26 28 3 30 32 33 35 36 37 42 45 46 51 54 56 59 61 63 65 66 67 69 70 a 10 14 15 20 26 28 3 30 32 33 35 36 37 42 45 46 5 51 54 56 61 63 65 66 67 69 70 a 10 14 15 20 24 26 28 3 30 32 33 35 36 37 45 46 5 51 54 56 61 63 65 66 67 69 70 a 10 14 15 20 24 26 28 3 30 32 33 36 37 45 46 48 5 51 54 56 61 63 65 66 67 69 70 a 10 11 14 15 20 24 26 28 3 30 32 33 36 37 45 46 48 51 54 56 61 63 65 66 67 69 70 a 10 11 14 15 20 24 26 28 30 32 33 36 37 45 46 48 51 53 54 56 61 63 65 66 67 69 70 a 10 11 12 14 15 20 24 26 28 30 32 33 36 37 45 46 48 51 53 54 56 61 63 65 66 69 70 a 10 11 12 14 15 20 24 26 28 30 32 33 36 37 45 46 48 53 54 56 61 63 65 66 69 70 74 a 10 11 12 14 15 20 24 26 28 30 32 33 36 37 45 46 48 53 54 61 63 65 66 68 69 70 74 a 10 11 12 14 15 24 26 28 30 32 33 36 37 45 46 48 53 54 61 63 64 65 66 68 69 70 74 a 10 11 12 14 15 24 26 28 30 32 33 35 36 37 45 46 53 54 61 63 64 65 66 68 69 70 74 a 10 11 14 15 24 26 28 30 32 33 35 36 37 45 46 53 54 61 63 64 65 66 67 68 69 70 74 a 10 11 14 15 26 28 30 32 33 35 36 37 42 45 46 53 54 61 63 64 65 66 67 68 69 70 74 a 10 13 14 15 26 28 30 32 33 35 36 37 42 45 46 53 54 61 63 64 65 66 67 68 69 70 74 a 10 13 15 26 28 30 31 32 33 35 36 37 42 45 46 53 54 61 63 64 65 66 67 68 69 70 74 a 10 13 15 26 28 30 31 32 33 34 35 36 37 42 45 46 53 54 61 63 65 66 67 68 69 70 74 a 10 13 15 26 28 30 31 32 33 34 35 36 37 42 45 46 51 53 54 61 63 65 66 67 68 69 70 a 10 12 13 15 26 28 30 31 32 33 34 35 36 37 42 45 46 51 53 54 61 63 65 66 68 69 70 a 10 12 13 15 19 26 28 30 31 32 33 34 35 36 37 42 45 46 51 53 54 61 63 65 66 69 70 a 10 12 13 15 19 26 28 30 31 32 33 35 36 37 42 45 46 51 53 54 61 63 64 65 66 69 70 a 10 12 13 14 15 19 26 28 30 32 33 35 36 37 42 45 46 51 53 54 61 63 64 65 66 69 70 a 10 13 14 15 19 26 28 30 32 33 35 36 37 42 45 46 51 53 54 61 63 64 65 66 67 69 70 a 10 14 15 19 26 28 30 32 33 35 36 37 42 45 46 51 53 54 59 61 63 64 65 66 67 69 70 a 10 14 15 19 26 28 30 32 33 35 36 37 39 42 45 46 51 53 54 59 61 63 65 66 67 69 70 a 10 14 15 19 26 28 30 32 33 36 37 39 42 45 46 51 53 54 58 59 61 63 65 66 67 69 70 a 10 14 15 19 26 28 30 32 33 36 37 42 45 46 51 53 54 58 59 61 63 64 65 66 67 69 70 a 10 14 15 19 26 28 3 30 32 33 36 37 42 45 46 51 54 58 59 61 63 64 65 66 67 69 70 a 10 12 14 15 19 26 28 3 30 32 33 36 37 42 45 46 51 54 58 59 61 63 64 65 66 69 70 a 10 12 14 15 19 24 26 28 3 30 32 33 36 37 45 46 51 54 58 59 61 63 64 65 66 69 70 a 10 12 14 15 19 24 26 28 3 30 32 33 34 36 37 45 46 51 54 58 59 61 63 65 66 69 70 a 10 12 15 19 24 26 28 3 30 32 33 34 36 37 45 46 51 54 58 59 61 63 65 66 69 70 8 a 10 12 15 24 26 28 3 30 32 33 34 36 37 45 46 51 54 58 59 61 63 65 66 68 69 70 8 a 10 12 15 24 26 28 3 30 32 33 34 36 37 45 46 51 54 58 59 61 63 65 66 68 69 7 8 a 10 12 15 24 26 28 30 32 33 34 36 37 45 46 51 53 54 58 59 61 63 65 66 68 69 7 8 a 10 15 24 26 28 30 32 33 34 36 37 45 46 47 51 53 54 58 59 61 63 65 66 68 69 7 8 a 10 15 24 26 28 30 32 33 36 37 45 46 47 51 53 54 58 59 61 63 64 65 66 68 69 7 8 a 10 15 24 26 28 30 32 33 36 37 44 45 46 47 51 53 54 58 59 61 63 64 65 66 68 69 7 a 10 15 24 26 27 28 30 32 33 36 37 44 45 46 47 51 53 54 58 59 61 63 64 65 66 69 7 a 10 12 15 24 26 27 28 30 32 33 36 37 44 45 46 51 53 54 58 59 61 63 64 65 66 69 7 a 10 12 15 24 26 27 28 3 30 32 33 36 37 44 45 46 51 54 58 59 61 63 64 65 66 69 7 a 10 12 15 24 26 28 3 30 32 33 36 37 44 45 46 51 54 58 59 61 63 64 65 66 68 69 7 a 10 12 15 21 24 26 28 3 30 32 33 36 37 44 45 46 51 54 58 59 61 63 65 66 68 69 7 a 10 15 21 24 26 28 3 30 32 33 36 37 44 45 46 51 54 58 59 61 63 65 66 67 68 69 7 a 10 14 15 21 24 26 28 3 30 32 33 36 37 45 46 51 54 58 59 61 63 65 66 67 68 69 7 a 10 14 15 24 26 28 3 30 32 33 36 37 45 46 51 54 58 59 6 61 63 65 66 67 68 69 7 a 10 14 15 24 26 28 3 30 32 33 36 37 39 45 46 51 54 58 59 61 63 65 66 67 68 69 7 a 10 15 24 26 28 3 30 32 33 36 37 39 44 45 46 51 54 58 59 61 63 65 66 67 68 69 7 a 10 15 24 26 28 3 30 32 33 36 37 39 44 45 46 51 54 58 59 61 63 65 66 67 68 69 70 a 10 11 15 24 26 28 3 30 32 33 36 37 39 44 45 46 51 54 58 61 63 65 66 67 68 69 70 a 10 11 15 24 26 28 3 30 32 33 36 37 39 44 45 46 48 51 54 61 63 65 66 67 68 69 70 a 10 11 15 24 26 28 30 32 33 36 37 39 44 45 46 48 51 53 54 61 63 65 66 67 68 69 70 a 10 11 15 24 26 28 30 32 33 36 37 39 44 45 46 51 53 54 58 61 63 65 66 67 68 69 70 a 10 11 15 26 28 30 32 33 36 37 39 42 44 45 46 51 53 54 58 61 63 65 66 67 68 69 70 a 10 15 26 28 30 32 33 36 37 39 42 44 45 46 50 51 53 54 58 61 63 65 66 67 68 69 70 a 10 15 26 28 30 32 33 36 37 39 42 44 45 46 50 53 54 58 61 63 65 66 67 68 69 70 74 a 10 15 26 28 30 32 33 36 37 42 44 45 46 50 53 54 58 61 63 64 65 66 67 68 69 70 74 a 10 14 15 26 28 30 32 33 36 37 42 45 46 50 53 54 58 61 63 64 65 66 67 68 69 70 74 a 10 12 14 15 26 28 30 32 33 36 37 42 45 46 50 53 54 58 61 63 64 65 66 68 69 70 74 a 10 12 14 15 26 27 28 30 32 33 36 37 42 45 46 50 53 54 58 61 63 64 65 66 69 70 74 a 10 12 14 15 20 26 27 28 30 32 33 36 37 42 45 46 50 53 54 58 61 63 65 66 69 70 74 a 10 12 14 15 20 26 27 28 30 32 33 36 37 42 45 46 48 50 53 54 61 63 65 66 69 70 74 a 10 12 14 15 20 26 27 28 30 32 33 36 37 42 45 46 48 50 51 53 54 61 63 65 66 69 70 a 10 12 14 15 20 26 28 30 32 33 36 37 42 45 46 48 50 51 53 54 56 61 63 65 66 69 70 a 10 12 14 15 20 26 28 30 32 33 36 37 42 45 46 50 51 53 54 56 58 61 63 65 66 69 70 a 10 12 14 15 20 24 26 28 30 32 33 36 37 45 46 50 51 53 54 56 58 61 63 65 66 69 70 a 10 12 14 15 24 26 28 30 32 33 36 37 39 45 46 50 51 53 54 56 58 61 63 65 66 69 70 a 10 12 14 15 24 26 28 30 32 33 36 37 39 45 46 50 51 53 54 58 61 63 65 66 68 69 70 a 10 12 14 15 20 24 26 28 30 32 33 36 37 45 46 50 51 53 54 58 61 63 65 66 68 69 70 a 10 11 12 14 15 20 24 26 28 30 32 33 36 37 45 46 51 53 54 58 61 63 65 66 68 69 70 a 10 11 12 14 15 20 26 28 30 32 33 36 37 42 45 46 51 53 54 58 61 63 65 66 68 69 70 a 10 12 14 15 20 26 28 30 32 33 36 37 42 45 46 51 53 54 58 59 61 63 65 66 68 69 70 a 10 12 14 15 20 26 28 30 32 33 36 37 42 45 46 51 53 54 58 59 61 63 65 66 68 69 7 a 10 12 14 15 26 28 30 32 33 36 37 42 45 46 51 53 54 58 59 6 61 63 65 66 68 69 7 a 10 12 14 15 26 28 30 32 33 36 37 42 45 46 48 51 53 54 59 6 61 63 65 66 68 69 7 a 10 12 13 14 15 26 28 30 32 33 36 37 42 45 46 48 51 53 54 6 61 63 65 66 68 69 7 a 10 12 13 14 15 26 28 30 32 33 36 37 42 45 46 48 51 53 54 61 63 64 65 66 68 69 7 a 10 12 13 14 15 26 28 30 32 33 36 37 42 45 46 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 13 14 15 24 26 28 30 32 33 36 37 45 46 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 14 15 24 25 26 28 30 32 33 36 37 45 46 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 15 24 25 26 28 30 32 33 36 37 44 45 46 51 53 54 58 61 63 64 65 66 68 69 7 a 10 15 24 25 26 28 30 32 33 36 37 44 45 46 47 51 53 54 58 61 63 64 65 66 68 69 7 a 10 15 24 26 28 30 32 33 36 37 44 45 46 47 50 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 15 24 26 28 30 32 33 36 37 44 45 46 50 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 14 15 24 26 28 30 32 33 36 37 45 46 50 51 53 54 58 61 63 64 65 66 68 69 7 a 10 12 14 15 24 26 28 30 32 33 36 37 39 45 46 50 51 53 54 58 61 63 65 66 68 69 7 a 10 12 14 15 24 26 28 30 32 33 36 37 39 45 46 50 51 53 54 56 58 61 63 65 66 69 7 a 10 12 14 15 24 26 28 30 32 33 36 37 45 46 50 51 53 54 56 58 61 63 64 65 66 69 7 a 10 12 14 15 21 24 26 28 30 32 33 36 37 45 46 50 51 53 54 56 58 61 63 65 66 69 7 a 10 12 14 15 16 21 24 26 28 30 32 33 36 37 45 46 50 51 53 54 56 58 61 63 66 69 7 a 10 12 14 15 16 24 26 28 30 32 33 36 37 39 45 46 50 51 53 54 56 58 61 63 66 69 7 a 10 12 14 15 16 24 26 27 28 30 32 33 36 37 39 45 46 50 51 53 54 58 61 63 66 69 7 a 10 12 14 15 16 24 26 27 28 30 32 33 36 37 39 45 46 50 53 54 58 61 63 66 69 7 74 a 10 14 15 16 24 26 27 28 30 32 33 36 37 39 45 46 47 50 53 54 58 61 63 66 69 7 74 a 10 14 15 16 21 24 26 27 28 30 32 33 36 37 45 46 47 50 53 54 58 61 63 66 69 7 74 a 10 14 15 16 21 24 26 27 28 30 32 33 36 37 45 46 47 48 50 53 54 61 63 66 69 7 74 a 10 14 15 16 21 26 27 28 30 32 33 36 37 42 45 46 47 48 50 53 54 61 63 66 69 7 74 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/huck.lp ../../benchmark/3rd-benchmark/asp/huck_01.lp -c core_max=276479" User time (seconds): 10788.12 System time (seconds): 19.93 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:09 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): 22215576 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8397695 Voluntary context switches: 79 Involuntary context switches: 20467 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