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