s 1 3 4 7 15 20 23 24 27 28 34 39 40 43 54 59 60 61 65 67 86 87 89 90 100 101 104 107 108 109 114 117 121 t 1 4 7 11 15 20 23 24 27 28 33 34 39 40 46 54 59 60 61 65 68 78 87 89 90 100 101 104 107 108 109 114 117 a YES a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 43 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 43 46 54 59 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 27 28 3 39 4 40 43 46 54 59 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 27 28 3 39 4 40 43 46 54 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 24 27 3 39 4 40 43 46 54 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 24 27 3 39 4 40 43 46 54 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 24 27 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 24 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 18 19 20 23 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 18 19 20 23 25 27 39 4 40 43 54 56 59 65 67 73 86 87 89 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 18 19 20 23 25 27 4 40 43 54 56 59 63 65 67 73 86 87 89 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 18 19 20 21 23 25 27 4 40 43 54 56 59 63 67 73 86 87 89 91 95 a 1 100 101 104 107 108 109 121 125 15 17 18 19 20 21 23 25 26 27 4 40 43 54 56 59 63 67 73 86 87 89 91 95 a 1 100 101 104 107 108 109 121 125 15 17 19 20 21 23 25 26 27 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 121 125 15 17 19 20 21 23 25 26 27 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 117 121 125 15 17 19 20 21 23 25 27 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 117 121 125 15 17 19 20 21 23 25 27 39 4 40 43 54 56 59 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 117 121 125 17 19 20 21 23 25 27 30 39 4 40 43 54 56 59 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 125 17 20 21 23 25 27 30 39 4 40 43 54 56 59 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 125 15 17 20 21 23 25 27 39 4 40 43 54 56 59 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 125 15 17 20 21 23 25 27 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 125 15 20 21 23 25 27 28 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 15 20 21 23 25 27 28 34 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 114 117 121 15 17 20 21 23 25 27 34 4 40 43 54 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 21 23 25 27 34 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 15 17 19 20 21 23 25 27 34 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 15 17 19 20 23 25 27 34 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 15 17 19 20 23 25 27 34 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 17 19 20 23 25 27 30 34 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 17 19 20 23 25 27 30 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 17 19 20 23 24 25 27 30 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 117 121 15 17 19 20 23 24 25 27 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 24 25 27 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 24 25 27 34 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 24 25 27 30 34 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 24 27 30 34 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 24 27 34 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 24 27 34 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 24 27 30 34 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 24 25 27 30 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 25 27 30 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 25 27 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 21 23 25 27 34 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 17 20 21 23 25 27 30 34 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 17 20 23 25 27 30 34 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 25 27 34 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 17 20 23 25 27 34 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 25 27 28 34 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 25 27 28 34 4 40 43 54 56 59 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 25 27 28 34 4 40 43 54 59 60 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 4 40 43 54 59 60 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 4 40 43 54 56 59 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 56 59 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 56 59 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 39 4 40 43 54 56 59 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 39 4 40 43 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 38 39 40 43 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 38 39 40 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 25 27 28 34 39 4 40 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 20 23 24 27 3 30 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 20 23 24 27 3 30 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 23 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 20 23 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 43 54 59 60 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 59 60 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 38 39 40 43 54 59 60 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 38 39 40 43 59 60 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 39 4 40 43 59 60 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 4 40 43 59 60 61 63 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 4 40 43 56 59 61 63 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 39 4 40 43 56 59 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 39 4 40 43 56 59 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 56 59 61 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 39 4 40 43 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 4 40 43 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 4 40 43 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 4 40 43 56 59 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 4 40 43 59 60 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 59 60 61 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 21 23 25 27 28 34 38 39 40 43 59 60 61 67 73 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 15 20 21 23 25 27 28 34 38 39 40 43 59 60 61 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 59 60 61 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 15 20 21 23 25 27 28 34 4 40 43 59 60 61 63 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 15 20 21 23 25 27 28 34 4 40 43 56 59 61 63 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 15 20 21 23 25 27 28 34 39 4 40 43 56 59 61 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 56 59 61 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 112 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 56 59 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 112 114 117 121 125 15 20 21 23 25 27 28 4 40 43 56 59 63 67 73 75 86 87 89 90 91 95 a 1 100 101 104 107 108 112 114 117 121 125 15 20 21 23 25 27 28 4 40 43 56 59 61 63 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 114 117 121 125 15 20 21 23 25 27 28 4 40 43 54 56 59 61 63 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 54 56 59 61 67 73 75 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 54 56 59 61 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 125 15 20 21 23 25 27 28 4 40 43 54 56 59 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 125 15 20 21 23 25 27 28 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 21 23 25 27 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 21 23 25 27 4 40 43 54 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 21 23 25 27 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 17 19 20 21 23 25 27 30 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 17 19 20 23 25 27 30 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 25 27 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 25 27 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 117 121 125 15 17 19 20 23 25 27 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 117 12 121 125 15 17 19 20 23 25 27 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 15 17 20 23 25 27 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 25 27 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 15 20 23 25 27 28 4 40 43 54 56 59 63 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 15 17 20 23 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 17 20 23 25 27 30 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 114 117 12 121 125 17 20 23 24 25 27 30 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 101 104 107 108 109 114 117 12 121 125 15 17 20 23 24 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 24 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 25 27 28 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 25 27 28 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 24 25 27 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 24 25 27 30 39 4 40 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 24 27 30 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 24 27 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 27 28 39 4 40 46 54 56 59 65 67 7 78 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 24 27 28 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 24 27 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 24 27 30 39 4 40 43 46 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 24 25 27 30 39 4 40 43 54 56 59 65 67 7 86 87 89 90 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 25 27 30 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 25 27 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 21 23 25 27 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 21 23 25 27 30 39 4 40 43 54 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 17 20 23 25 27 30 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 25 27 39 4 40 43 54 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 17 20 23 25 27 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 4 40 43 54 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 4 40 43 54 56 59 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 61 65 67 7 86 87 89 90 91 a 1 101 104 107 108 109 114 117 12 121 125 15 20 23 25 27 28 39 4 40 43 54 56 59 61 65 67 7 86 87 89 90 91 a 1 101 104 107 108 109 112 114 117 12 121 125 15 20 23 25 27 28 39 4 40 43 56 59 61 65 67 7 86 87 89 90 91 a 1 101 104 107 108 109 112 114 117 12 121 125 15 20 23 25 27 28 4 40 43 56 59 61 63 65 67 7 86 87 89 90 91 a 1 101 104 107 108 109 112 114 117 12 121 125 15 20 23 25 27 28 4 40 43 56 59 63 65 67 7 86 87 89 90 91 95 a 1 101 104 107 108 109 112 114 117 12 121 125 15 20 23 25 27 28 39 4 40 43 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 39 4 40 43 56 59 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 4 40 43 56 59 63 65 67 7 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 4 40 43 56 59 61 63 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 39 4 40 43 56 59 61 65 67 7 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 39 4 40 43 56 59 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 56 59 61 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 21 23 25 27 28 4 40 43 56 59 61 63 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 21 23 25 27 28 4 40 43 56 59 63 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 21 23 25 27 28 39 4 40 43 56 59 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 39 4 40 43 56 59 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 4 40 43 56 59 63 65 67 73 86 87 89 90 91 95 a 1 100 101 104 107 108 109 112 114 117 121 125 15 20 23 25 27 28 4 40 43 56 59 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 4 40 43 56 59 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 4 40 43 59 60 61 63 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 39 4 40 43 59 60 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 112 114 117 121 15 20 23 25 27 28 34 38 39 40 43 59 60 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 38 39 40 43 54 59 60 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 25 27 28 34 39 4 40 43 54 59 60 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 43 54 59 60 61 65 67 73 86 87 89 90 91 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 73 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 27 28 3 34 39 4 40 43 46 54 59 60 61 67 73 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 21 23 27 28 3 34 39 4 40 46 54 59 60 61 67 73 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 46 54 59 60 61 65 67 73 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 38 39 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 38 39 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 100 101 104 107 108 109 114 117 121 123 15 20 24 27 28 3 34 39 4 40 43 46 54 59 60 61 65 67 7 86 87 89 90 a 100 101 104 107 108 109 114 117 121 123 15 20 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 7 78 86 87 89 90 a 100 101 104 107 108 109 114 117 121 123 15 20 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 4 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 3 34 39 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 121 15 20 23 24 27 28 34 38 39 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 114 117 15 20 23 24 27 28 33 34 38 39 40 46 54 59 60 61 65 67 68 7 78 87 89 90 a 1 100 101 104 107 108 109 11 114 117 15 20 23 24 27 28 33 34 38 39 40 46 54 59 60 61 65 68 7 78 87 89 90 a 1 100 101 104 107 108 109 11 114 117 15 20 23 24 27 28 3 33 34 39 40 46 54 59 60 61 65 68 7 78 87 89 90 a 100 101 104 107 108 109 11 114 117 15 20 23 24 27 28 3 33 34 39 4 40 46 54 59 60 61 65 68 7 78 87 89 90 a 1 100 101 104 107 108 109 11 114 117 15 20 23 24 27 28 33 34 39 4 40 46 54 59 60 61 65 68 7 78 87 89 90 Command being timed: "python3 /SOLVER/longest/run.py submission sas split /BENCHMARKS/benchmark/color04/DSJC125.1.col /BENCHMARKS/benchmark/color04/DSJC125.1_02.dat" User time (seconds): 0.17 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): 17596 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8614 Voluntary context switches: 280 Involuntary context switches: 25 Swaps: 0 File system inputs: 0 File system outputs: 168 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0