p cnf 195 1285 -1 31 0 -31 32 0 -2 -31 33 0 -33 34 0 -3 -33 35 0 -35 36 0 -4 -35 37 0 -37 38 0 -5 -37 39 0 -39 40 0 -6 -39 41 0 -41 42 0 -7 -41 43 0 -43 44 0 -8 -43 0 -2 32 0 -32 45 0 -3 -32 34 0 -34 46 0 -4 -34 36 0 -36 47 0 -5 -36 38 0 -38 48 0 -6 -38 40 0 -40 49 0 -7 -40 42 0 -42 50 0 -8 -42 44 0 -44 51 0 -9 -44 0 -3 45 0 -45 52 0 -4 -45 46 0 -46 53 0 -5 -46 47 0 -47 54 0 -6 -47 48 0 -48 55 0 -7 -48 49 0 -49 56 0 -8 -49 50 0 -50 57 0 -9 -50 51 0 -51 58 0 -10 -51 0 -4 52 0 -52 59 0 -5 -52 53 0 -53 60 0 -6 -53 54 0 -54 61 0 -7 -54 55 0 -55 62 0 -8 -55 56 0 -56 63 0 -9 -56 57 0 -57 64 0 -10 -57 58 0 -58 65 0 -11 -58 0 -5 59 0 -59 66 0 -6 -59 60 0 -60 67 0 -7 -60 61 0 -61 68 0 -8 -61 62 0 -62 69 0 -9 -62 63 0 -63 70 0 -10 -63 64 0 -64 71 0 -11 -64 65 0 -65 72 0 -12 -65 0 -6 66 0 -66 73 0 -7 -66 67 0 -67 74 0 -8 -67 68 0 -68 75 0 -9 -68 69 0 -69 76 0 -10 -69 70 0 -70 77 0 -11 -70 71 0 -71 78 0 -12 -71 72 0 -72 79 0 -13 -72 0 -7 73 0 -73 80 0 -8 -73 74 0 -74 81 0 -9 -74 75 0 -75 82 0 -10 -75 76 0 -76 83 0 -11 -76 77 0 -77 84 0 -12 -77 78 0 -78 85 0 -13 -78 79 0 -79 86 0 -14 -79 0 -8 80 0 -80 87 0 -9 -80 81 0 -81 88 0 -10 -81 82 0 -82 89 0 -11 -82 83 0 -83 90 0 -12 -83 84 0 -84 91 0 -13 -84 85 0 -85 92 0 -14 -85 86 0 -86 93 0 -15 -86 0 -9 87 0 -87 94 0 -10 -87 88 0 -88 95 0 -11 -88 89 0 -89 96 0 -12 -89 90 0 -90 97 0 -13 -90 91 0 -91 98 0 -14 -91 92 0 -92 99 0 -15 -92 93 0 -93 100 0 -16 -93 0 -10 94 0 -94 101 0 -11 -94 95 0 -95 102 0 -12 -95 96 0 -96 103 0 -13 -96 97 0 -97 104 0 -14 -97 98 0 -98 105 0 -15 -98 99 0 -99 106 0 -16 -99 100 0 -100 107 0 -17 -100 0 -11 101 0 -101 108 0 -12 -101 102 0 -102 109 0 -13 -102 103 0 -103 110 0 -14 -103 104 0 -104 111 0 -15 -104 105 0 -105 112 0 -16 -105 106 0 -106 113 0 -17 -106 107 0 -107 114 0 -18 -107 0 -12 108 0 -108 115 0 -13 -108 109 0 -109 116 0 -14 -109 110 0 -110 117 0 -15 -110 111 0 -111 118 0 -16 -111 112 0 -112 119 0 -17 -112 113 0 -113 120 0 -18 -113 114 0 -114 121 0 -19 -114 0 -13 115 0 -115 122 0 -14 -115 116 0 -116 123 0 -15 -116 117 0 -117 124 0 -16 -117 118 0 -118 125 0 -17 -118 119 0 -119 126 0 -18 -119 120 0 -120 127 0 -19 -120 121 0 -121 128 0 -20 -121 0 -14 122 0 -122 129 0 -15 -122 123 0 -123 130 0 -16 -123 124 0 -124 131 0 -17 -124 125 0 -125 132 0 -18 -125 126 0 -126 133 0 -19 -126 127 0 -127 134 0 -20 -127 128 0 -128 135 0 -21 -128 0 -15 129 0 -129 136 0 -16 -129 130 0 -130 137 0 -17 -130 131 0 -131 138 0 -18 -131 132 0 -132 139 0 -19 -132 133 0 -133 140 0 -20 -133 134 0 -134 141 0 -21 -134 135 0 -135 142 0 -22 -135 0 -16 136 0 -136 143 0 -17 -136 137 0 -137 144 0 -18 -137 138 0 -138 145 0 -19 -138 139 0 -139 146 0 -20 -139 140 0 -140 147 0 -21 -140 141 0 -141 148 0 -22 -141 142 0 -142 149 0 -23 -142 0 -17 143 0 -143 150 0 -18 -143 144 0 -144 151 0 -19 -144 145 0 -145 152 0 -20 -145 146 0 -146 153 0 -21 -146 147 0 -147 154 0 -22 -147 148 0 -148 155 0 -23 -148 149 0 -149 156 0 -24 -149 0 -18 150 0 -150 157 0 -19 -150 151 0 -151 158 0 -20 -151 152 0 -152 159 0 -21 -152 153 0 -153 160 0 -22 -153 154 0 -154 161 0 -23 -154 155 0 -155 162 0 -24 -155 156 0 -156 163 0 -25 -156 0 -19 157 0 -157 164 0 -20 -157 158 0 -158 165 0 -21 -158 159 0 -159 166 0 -22 -159 160 0 -160 167 0 -23 -160 161 0 -161 168 0 -24 -161 162 0 -162 169 0 -25 -162 163 0 -163 170 0 -26 -163 0 -20 164 0 -164 171 0 -21 -164 165 0 -165 172 0 -22 -165 166 0 -166 173 0 -23 -166 167 0 -167 174 0 -24 -167 168 0 -168 175 0 -25 -168 169 0 -169 176 0 -26 -169 170 0 -170 177 0 -27 -170 0 -21 171 0 -171 178 0 -22 -171 172 0 -172 179 0 -23 -172 173 0 -173 180 0 -24 -173 174 0 -174 181 0 -25 -174 175 0 -175 182 0 -26 -175 176 0 -176 183 0 -27 -176 177 0 -177 184 0 -28 -177 0 -22 178 0 -178 185 0 -23 -178 179 0 -179 186 0 -24 -179 180 0 -180 187 0 -25 -180 181 0 -181 188 0 -26 -181 182 0 -182 189 0 -27 -182 183 0 -183 190 0 -28 -183 184 0 -184 191 0 -29 -184 0 -23 185 0 -24 -185 186 0 -25 -186 187 0 -26 -187 188 0 -27 -188 189 0 -28 -189 190 0 -29 -190 191 0 -30 -191 0 -192 1 0 -192 -16 0 -192 2 0 -192 15 0 -193 1 0 -193 -2 0 -193 15 0 -193 16 0 -194 16 0 -194 -1 0 -194 21 0 -194 26 0 -195 16 0 -195 -21 0 -195 1 0 -195 26 0 192 193 194 195 0 2 5 7 10 12 15 18 19 23 24 27 28 29 30 0 2 5 7 10 12 15 17 18 19 20 23 24 28 29 0 1 3 6 8 11 13 16 19 20 24 25 28 29 30 0 1 3 6 8 11 13 18 19 20 21 24 25 29 30 0 2 4 7 9 12 14 16 17 20 21 25 26 29 30 0 2 4 7 9 12 14 16 19 20 21 22 25 26 30 0 3 5 8 10 13 15 16 17 18 21 22 26 27 30 0 3 5 8 10 13 15 16 17 20 21 22 23 26 27 0 1 4 6 9 11 14 16 17 18 19 22 23 27 28 0 1 4 6 9 11 14 17 18 21 22 23 24 27 28 0 2 5 7 10 12 15 18 19 22 23 24 25 28 29 0 1 3 6 8 11 13 19 20 23 24 25 26 29 30 0 2 4 7 9 12 14 16 20 21 24 25 26 27 30 0 3 5 8 10 13 15 16 17 21 22 25 26 27 28 0 1 4 6 9 11 14 17 18 22 23 26 27 28 29 0 2 5 7 10 12 14 15 18 19 23 24 27 30 0 2 3 5 7 10 12 15 17 20 23 24 28 29 0 1 3 6 8 11 13 15 16 19 20 24 25 28 0 1 3 4 6 8 11 13 18 21 24 25 29 30 0 1 2 4 7 9 12 14 17 20 21 25 26 29 0 2 4 5 7 9 12 14 16 19 22 25 26 30 0 2 3 5 8 10 13 15 18 21 22 26 27 30 0 3 5 6 8 10 13 15 16 17 20 23 26 27 0 1 3 4 6 9 11 14 16 19 22 23 27 28 0 1 4 6 7 9 11 14 17 18 21 24 27 28 0 2 4 5 7 10 12 15 17 20 23 24 28 29 0 2 5 7 8 10 12 15 18 19 22 25 28 29 0 1 3 5 6 8 11 13 18 21 24 25 29 30 0 1 3 6 8 9 11 13 19 20 23 26 29 30 0 2 4 6 7 9 12 14 16 19 22 25 26 30 0 2 4 7 9 10 12 14 16 20 21 24 27 30 0 3 5 7 8 10 13 15 16 17 20 23 26 27 0 3 5 8 10 11 13 15 16 17 21 22 25 28 0 1 4 6 8 9 11 14 17 18 21 24 27 28 0 1 4 6 9 11 12 14 17 18 22 23 26 29 0 2 5 7 9 10 12 15 18 19 22 25 28 29 0 2 5 7 10 12 13 15 18 19 23 24 27 30 0 1 3 6 8 10 11 13 19 20 23 26 29 30 0 1 3 6 8 11 13 14 16 19 20 24 25 28 0 2 4 7 9 11 12 14 16 20 21 24 27 30 0 2 4 7 9 12 14 15 17 20 21 25 26 29 0 3 5 8 10 12 13 15 16 17 21 22 25 28 0 1 3 5 8 10 13 15 18 21 22 26 27 30 0 1 4 6 9 11 13 14 17 18 22 23 26 29 0 1 2 4 6 9 11 14 16 19 22 23 27 28 0 2 5 7 10 12 14 15 18 19 22 23 24 30 0 2 3 5 7 10 12 15 17 23 24 25 28 29 0 1 3 6 8 11 13 15 16 19 20 23 24 25 0 1 3 4 6 8 11 13 18 24 25 26 29 30 0 1 2 4 7 9 12 14 17 20 21 24 25 26 0 2 4 5 7 9 12 14 16 19 25 26 27 30 0 2 3 5 8 10 13 15 18 21 22 25 26 27 0 3 5 6 8 10 13 15 16 17 20 26 27 28 0 1 3 4 6 9 11 14 19 22 23 26 27 28 0 1 4 6 7 9 11 14 17 18 21 27 28 29 0 2 4 5 7 10 12 15 20 23 24 27 28 29 0 2 5 7 8 10 12 15 18 19 22 28 29 30 0 1 3 5 6 8 11 13 21 24 25 28 29 30 0 1 3 6 8 9 11 13 16 19 20 23 29 30 0 2 4 6 7 9 12 14 16 22 25 26 29 30 0 2 4 7 9 10 12 14 16 17 20 21 24 30 0 3 5 7 8 10 13 15 16 17 23 26 27 30 0 3 5 8 10 11 13 15 16 17 18 21 22 25 0 1 4 6 8 9 11 14 16 17 18 24 27 28 0 1 4 6 9 11 12 14 17 18 19 22 23 26 0 2 5 7 9 10 12 15 17 18 19 25 28 29 0 2 5 7 10 12 13 15 18 19 20 23 24 27 0 1 3 6 8 10 11 13 18 19 20 26 29 30 0 1 3 6 8 11 13 14 19 20 21 24 25 28 0 2 4 7 9 11 12 14 16 19 20 21 27 30 0 2 4 7 9 12 14 15 20 21 22 25 26 29 0 3 5 8 10 12 13 15 16 17 20 21 22 28 0 1 3 5 8 10 13 15 21 22 23 26 27 30 0 1 4 6 9 11 13 14 17 18 21 22 23 29 0 1 2 4 6 9 11 14 16 22 23 24 27 28 0 2 5 7 9 10 12 14 15 18 19 22 28 30 0 2 3 5 7 8 10 12 15 17 19 25 28 29 0 1 3 6 8 10 11 13 15 16 19 20 23 29 0 1 3 4 6 8 9 11 13 18 20 26 29 30 0 1 2 4 7 9 11 12 14 17 20 21 24 30 0 2 4 5 7 9 10 12 14 16 19 21 27 30 0 2 3 5 8 10 12 13 15 16 18 21 22 25 0 3 5 6 8 10 11 13 15 16 17 20 22 28 0 1 3 4 6 9 11 13 14 17 19 22 23 26 0 1 4 6 7 9 11 12 14 17 18 21 23 29 0 2 4 5 7 10 12 14 15 18 20 23 24 27 0 2 5 7 8 10 12 13 15 18 19 22 24 30 0 1 3 5 6 8 11 13 15 19 21 24 25 28 0 1 3 6 8 9 11 13 14 16 19 20 23 25 0 1 2 4 6 7 9 12 14 20 22 25 26 29 0 2 4 7 9 10 12 14 15 17 20 21 24 26 0 2 3 5 7 8 10 13 15 21 23 26 27 30 0 1 3 5 8 10 11 13 15 18 21 22 25 27 0 1 3 4 6 8 9 11 14 16 22 24 27 28 0 1 2 4 6 9 11 12 14 19 22 23 26 28 0 2 4 5 7 9 10 12 15 17 23 25 28 29 0 2 3 5 7 10 12 13 15 20 23 24 27 29 0 1 3 5 6 8 10 11 13 18 24 26 29 30 0 1 3 4 6 8 11 13 14 21 24 25 28 30 0 2 4 6 7 9 11 12 14 16 19 25 27 30 0 2 4 5 7 9 12 14 15 16 22 25 26 29 0 3 5 7 8 10 12 13 15 16 17 20 26 28 0 1 3 5 6 8 10 13 15 17 23 26 27 30 0 1 4 6 8 9 11 13 14 17 18 21 27 29 0 1 2 4 6 7 9 11 14 16 18 24 27 28 0 2 5 7 9 10 12 14 15 18 19 23 27 30 0 2 3 5 7 8 10 12 15 17 20 24 28 29 0 1 3 6 8 10 11 13 15 16 19 20 24 28 0 1 3 4 6 8 9 11 13 18 21 25 29 30 0 1 2 4 7 9 11 12 14 17 20 21 25 29 0 2 4 5 7 9 10 12 14 16 19 22 26 30 0 2 3 5 8 10 12 13 15 18 21 22 26 30 0 3 5 6 8 10 11 13 15 16 17 20 23 27 0 1 3 4 6 9 11 13 14 16 19 22 23 27 0 1 4 6 7 9 11 12 14 17 18 21 24 28 0 2 4 5 7 10 12 14 15 17 20 23 24 28 0 2 5 7 8 10 12 13 15 18 19 22 25 29 0 1 3 5 6 8 11 13 15 18 21 24 25 29 0 1 3 6 8 9 11 13 14 19 20 23 26 30 0 1 2 4 6 7 9 12 14 19 22 25 26 30 0 2 4 7 9 10 12 14 15 16 20 21 24 27 0 2 3 5 7 8 10 13 15 16 20 23 26 27 0 1 3 5 8 10 11 13 15 17 21 22 25 28 0 1 3 4 6 8 9 11 14 17 21 24 27 28 0 1 2 4 6 9 11 12 14 18 22 23 26 29 0 2 4 5 7 9 10 12 15 18 22 25 28 29 0 2 3 5 7 10 12 13 15 19 23 24 27 30 0 1 3 5 6 8 10 11 13 19 23 26 29 30 0 1 3 4 6 8 11 13 14 16 20 24 25 28 0 2 4 6 7 9 11 12 14 16 20 24 27 30 0 2 4 5 7 9 12 14 15 17 21 25 26 29 0 3 5 7 8 10 12 13 15 16 17 21 25 28 0 1 3 5 6 8 10 13 15 18 22 26 27 30 0 1 4 6 8 9 11 13 14 17 18 22 26 29 0 1 2 4 6 7 9 11 14 16 19 23 27 28 0 2 5 7 9 10 12 14 15 18 19 22 23 30 0 2 3 5 7 8 10 12 15 17 24 25 28 29 0 1 3 6 8 10 11 13 15 16 19 20 23 24 0 1 3 4 6 8 9 11 13 18 25 26 29 30 0 1 2 4 7 9 11 12 14 17 20 21 24 25 0 2 4 5 7 9 10 12 14 16 19 26 27 30 0 2 3 5 8 10 12 13 15 18 21 22 25 26 0 3 5 6 8 10 11 13 15 16 17 20 27 28 0 1 3 4 6 9 11 13 14 19 22 23 26 27 0 1 4 6 7 9 11 12 14 17 18 21 28 29 0 2 4 5 7 10 12 14 15 20 23 24 27 28 0 2 5 7 8 10 12 13 15 18 19 22 29 30 0 1 3 5 6 8 11 13 15 21 24 25 28 29 0 1 3 6 8 9 11 13 14 16 19 20 23 30 0 1 2 4 6 7 9 12 14 22 25 26 29 30 0 2 4 7 9 10 12 14 15 16 17 20 21 24 0 2 3 5 7 8 10 13 15 16 23 26 27 30 0 1 3 5 8 10 11 13 15 17 18 21 22 25 0 1 3 4 6 8 9 11 14 16 17 24 27 28 0 1 2 4 6 9 11 12 14 18 19 22 23 26 0 2 4 5 7 9 10 12 15 17 18 25 28 29 0 2 3 5 7 10 12 13 15 19 20 23 24 27 0 1 3 5 6 8 10 11 13 18 19 26 29 30 0 1 3 4 6 8 11 13 14 20 21 24 25 28 0 2 4 6 7 9 11 12 14 16 19 20 27 30 0 2 4 5 7 9 12 14 15 21 22 25 26 29 0 3 5 7 8 10 12 13 15 16 17 20 21 28 0 1 3 5 6 8 10 13 15 22 23 26 27 30 0 1 4 6 8 9 11 13 14 17 18 21 22 29 0 1 2 4 6 7 9 11 14 16 23 24 27 28 0 2 5 7 8 9 10 12 13 14 15 18 19 27 30 0 2 3 4 5 7 8 9 10 12 15 17 20 28 29 0 1 3 6 8 9 10 11 13 14 15 16 19 20 28 0 1 3 4 5 6 8 9 10 11 13 18 21 29 30 0 1 2 4 7 9 10 11 12 14 15 17 20 21 29 0 2 4 5 6 7 9 10 11 12 14 16 19 22 30 0 1 2 3 5 8 10 11 12 13 15 18 21 22 30 0 3 5 6 7 8 10 11 12 13 15 16 17 20 23 0 1 2 3 4 6 9 11 12 13 14 16 19 22 23 0 1 4 6 7 8 9 11 12 13 14 17 18 21 24 0 2 3 4 5 7 10 12 13 14 15 17 20 23 24 0 2 5 7 8 9 10 12 13 14 15 18 19 22 25 0 1 3 4 5 6 8 11 13 14 15 18 21 24 25 0 1 3 6 8 9 10 11 13 14 15 19 20 23 26 0 1 2 4 5 6 7 9 12 14 15 19 22 25 26 0 1 2 4 7 9 10 11 12 14 15 20 21 24 27 0 1 2 3 5 6 7 8 10 13 15 20 23 26 27 0 1 2 3 5 8 10 11 12 13 15 21 22 25 28 0 1 2 3 4 6 7 8 9 11 14 21 24 27 28 0 1 2 3 4 6 9 11 12 13 14 22 23 26 29 0 2 3 4 5 7 8 9 10 12 15 22 25 28 29 0 2 3 4 5 7 10 12 13 14 15 23 24 27 30 0 1 3 4 5 6 8 9 10 11 13 23 26 29 30 0 1 3 4 5 6 8 11 13 14 15 16 24 25 28 0 2 4 5 6 7 9 10 11 12 14 16 24 27 30 0 1 2 4 5 6 7 9 12 14 15 17 25 26 29 0 3 5 6 7 8 10 11 12 13 15 16 17 25 28 0 1 2 3 5 6 7 8 10 13 15 18 26 27 30 0 1 4 6 7 8 9 11 12 13 14 17 18 26 29 0 1 2 3 4 6 7 8 9 11 14 16 19 27 28 0 2 5 7 8 10 12 13 15 18 19 20 27 29 0 2 4 5 7 9 10 12 15 18 20 27 28 29 0 1 3 6 8 9 11 13 14 19 20 21 28 30 0 1 3 5 6 8 10 11 13 19 21 28 29 30 0 2 4 7 9 10 12 14 15 16 20 21 22 29 0 2 4 6 7 9 11 12 14 16 20 22 29 30 0 1 3 5 8 10 11 13 15 17 21 22 23 30 0 3 5 7 8 10 12 13 15 16 17 21 23 30 0 1 2 4 6 9 11 12 14 16 18 22 23 24 0 1 4 6 8 9 11 13 14 16 17 18 22 24 0 2 3 5 7 10 12 13 15 17 19 23 24 25 0 2 5 7 9 10 12 14 15 17 18 19 23 25 0 1 3 4 6 8 11 13 14 18 20 24 25 26 0 1 3 6 8 10 11 13 15 18 19 20 24 26 0 2 4 5 7 9 12 14 15 19 21 25 26 27 0 1 2 4 7 9 11 12 14 19 20 21 25 27 0 1 3 5 6 8 10 13 15 20 22 26 27 28 0 2 3 5 8 10 12 13 15 20 21 22 26 28 0 1 2 4 6 7 9 11 14 21 23 27 28 29 0 1 3 4 6 9 11 13 14 21 22 23 27 29 0 2 3 5 7 8 10 12 15 22 24 28 29 30 0 2 4 5 7 10 12 14 15 22 23 24 28 30 0 1 3 4 6 8 9 11 13 16 23 25 29 30 0 1 3 5 6 8 11 13 15 16 23 24 25 29 0 2 4 5 7 9 10 12 14 16 17 24 26 30 0 1 2 4 6 7 9 12 14 17 24 25 26 30 0 3 5 6 8 10 11 13 15 16 17 18 25 27 0 2 3 5 7 8 10 13 15 16 18 25 26 27 0 1 4 6 7 9 11 12 14 17 18 19 26 28 0 1 3 4 6 8 9 11 14 17 19 26 27 28 0 2 5 7 9 10 12 14 15 18 19 20 27 28 0 2 3 5 7 8 10 12 15 19 20 27 28 29 0 1 3 6 8 10 11 13 15 19 20 21 28 29 0 1 3 4 6 8 9 11 13 20 21 28 29 30 0 1 2 4 7 9 11 12 14 20 21 22 29 30 0 2 4 5 7 9 10 12 14 16 21 22 29 30 0 2 3 5 8 10 12 13 15 16 21 22 23 30 0 3 5 6 8 10 11 13 15 16 17 22 23 30 0 1 3 4 6 9 11 13 14 16 17 22 23 24 0 1 4 6 7 9 11 12 14 16 17 18 23 24 0 2 4 5 7 10 12 14 15 17 18 23 24 25 0 2 5 7 8 10 12 13 15 17 18 19 24 25 0 1 3 5 6 8 11 13 15 18 19 24 25 26 0 1 3 6 8 9 11 13 14 18 19 20 25 26 0 1 2 4 6 7 9 12 14 19 20 25 26 27 0 2 4 7 9 10 12 14 15 19 20 21 26 27 0 2 3 5 7 8 10 13 15 20 21 26 27 28 0 1 3 5 8 10 11 13 15 20 21 22 27 28 0 1 3 4 6 8 9 11 14 21 22 27 28 29 0 1 2 4 6 9 11 12 14 21 22 23 28 29 0 2 4 5 7 9 10 12 15 22 23 28 29 30 0 2 3 5 7 10 12 13 15 22 23 24 29 30 0 1 3 5 6 8 10 11 13 16 23 24 29 30 0 1 3 4 6 8 11 13 14 16 23 24 25 30 0 2 4 6 7 9 11 12 14 16 17 24 25 30 0 2 4 5 7 9 12 14 15 16 17 24 25 26 0 3 5 7 8 10 12 13 15 16 17 18 25 26 0 1 3 5 6 8 10 13 15 17 18 25 26 27 0 1 4 6 8 9 11 13 14 17 18 19 26 27 0 1 2 4 6 7 9 11 14 18 19 26 27 28 0 3 13 17 18 19 27 28 29 0 4 14 18 19 20 28 29 30 0 5 15 16 19 20 21 29 30 0 1 6 16 17 20 21 22 30 0 2 7 16 17 18 21 22 23 0 3 8 17 18 19 22 23 24 0 4 9 18 19 20 23 24 25 0 5 10 19 20 21 24 25 26 0 6 11 20 21 22 25 26 27 0 7 12 21 22 23 26 27 28 0 8 13 22 23 24 27 28 29 0 9 14 23 24 25 28 29 30 0 10 15 16 24 25 26 29 30 0 1 11 16 17 25 26 27 30 0 2 12 16 17 18 26 27 28 0 2 5 7 10 12 15 17 18 19 23 24 28 29 30 0 1 3 6 8 11 13 16 18 19 20 24 25 29 30 0 2 4 7 9 12 14 16 17 19 20 21 25 26 30 0 3 5 8 10 13 15 16 17 18 20 21 22 26 27 0 1 4 6 9 11 14 17 18 19 21 22 23 27 28 0 2 5 7 10 12 15 18 19 20 22 23 24 28 29 0 1 3 6 8 11 13 19 20 21 23 24 25 29 30 0 2 4 7 9 12 14 16 20 21 22 24 25 26 30 0 3 5 8 10 13 15 16 17 21 22 23 25 26 27 0 1 4 6 9 11 14 17 18 22 23 24 26 27 28 0 2 5 7 10 12 15 18 19 23 24 25 27 28 29 0 1 3 6 8 11 13 19 20 24 25 26 28 29 30 0 2 4 7 9 12 14 16 20 21 25 26 27 29 30 0 3 5 8 10 13 15 16 17 21 22 26 27 28 30 0 1 4 6 9 11 14 16 17 18 22 23 27 28 29 0 2 4 5 7 9 10 12 14 15 18 22 24 28 30 0 2 3 5 7 8 10 12 13 15 17 19 23 25 29 0 1 3 5 6 8 10 11 13 15 16 19 23 25 29 0 1 3 4 6 8 9 11 13 14 18 20 24 26 30 0 1 2 4 6 7 9 11 12 14 17 20 24 26 30 0 2 4 5 7 9 10 12 14 15 16 19 21 25 27 0 2 3 5 7 8 10 12 13 15 16 18 21 25 27 0 1 3 5 6 8 10 11 13 15 17 20 22 26 28 0 1 3 4 6 8 9 11 13 14 17 19 22 26 28 0 1 2 4 6 7 9 11 12 14 18 21 23 27 29 0 2 4 5 7 9 10 12 14 15 18 20 23 27 29 0 2 3 5 7 8 10 12 13 15 19 22 24 28 30 0 1 3 5 6 8 10 11 13 15 19 21 24 28 30 0 1 3 4 6 8 9 11 13 14 16 20 23 25 29 0 1 2 4 6 7 9 11 12 14 16 20 22 25 29 0 2 4 5 7 9 10 12 14 15 17 21 24 26 30 0 2 3 5 7 8 10 12 13 15 17 21 23 26 30 0 1 3 5 6 8 10 11 13 15 16 18 22 25 27 0 1 3 4 6 8 9 11 13 14 16 18 22 24 27 0 1 2 4 6 7 9 11 12 14 17 19 23 26 28 0 2 4 5 7 9 10 12 14 15 17 19 23 25 28 0 2 3 5 7 8 10 12 13 15 18 20 24 27 29 0 1 3 5 6 8 10 11 13 15 18 20 24 26 29 0 1 3 4 6 8 9 11 13 14 19 21 25 28 30 0 1 2 4 6 7 9 11 12 14 19 21 25 27 30 0 2 4 5 7 9 10 12 14 15 16 20 22 26 29 0 2 3 5 7 8 10 12 13 15 16 20 22 26 28 0 1 3 5 6 8 10 11 13 15 17 21 23 27 30 0 1 3 4 6 8 9 11 13 14 17 21 23 27 29 0 1 2 4 6 7 9 11 12 14 16 18 22 24 28 0 2 4 5 7 8 10 12 13 15 18 22 24 29 30 0 2 4 5 7 9 10 12 13 15 17 18 23 25 29 0 1 3 5 6 8 9 11 13 14 16 19 23 25 30 0 1 3 5 6 8 10 11 13 14 18 19 24 26 30 0 2 4 6 7 9 10 12 14 15 16 17 20 24 26 0 2 4 6 7 9 11 12 14 15 16 19 20 25 27 0 1 3 5 7 8 10 11 13 15 17 18 21 25 27 0 1 3 5 7 8 10 12 13 15 17 20 21 26 28 0 1 2 4 6 8 9 11 12 14 18 19 22 26 28 0 1 2 4 6 8 9 11 13 14 18 21 22 27 29 0 2 3 5 7 9 10 12 13 15 19 20 23 27 29 0 2 3 5 7 9 10 12 14 15 19 22 23 28 30 0 1 3 4 6 8 10 11 13 14 20 21 24 28 30 0 1 3 4 6 8 10 11 13 15 16 20 23 24 29 0 2 4 5 7 9 11 12 14 15 16 21 22 25 29 0 1 2 4 5 7 9 11 12 14 17 21 24 25 30 0 1 3 5 6 8 10 12 13 15 17 22 23 26 30 0 2 3 5 6 8 10 12 13 15 16 18 22 25 26 0 1 2 4 6 7 9 11 13 14 16 18 23 24 27 0 1 3 4 6 7 9 11 13 14 17 19 23 26 27 0 2 3 5 7 8 10 12 14 15 17 19 24 25 28 0 2 4 5 7 8 10 12 14 15 18 20 24 27 28 0 1 3 4 6 8 9 11 13 15 18 20 25 26 29 0 1 3 5 6 8 9 11 13 15 19 21 25 28 29 0 1 2 4 5 7 9 10 12 14 19 21 26 27 30 0 1 2 4 6 7 9 10 12 14 20 22 26 29 30 0 2 3 5 6 8 10 11 13 15 16 20 22 27 28 0 2 3 5 7 8 10 11 13 15 16 21 23 27 30 0 1 3 4 6 7 9 11 12 14 17 21 23 28 29 0 1 3 4 6 8 9 11 12 14 16 17 22 24 28 0 2 4 5 7 8 10 12 13 14 15 18 24 27 30 0 2 3 4 5 7 9 10 12 13 15 17 20 23 29 0 1 3 5 6 8 9 11 13 14 15 16 19 25 28 0 1 3 4 5 6 8 10 11 13 14 18 21 24 30 0 1 2 4 6 7 9 10 12 14 15 17 20 26 29 0 2 4 5 6 7 9 11 12 14 15 16 19 22 25 0 1 2 3 5 7 8 10 11 13 15 18 21 27 30 0 1 3 5 6 7 8 10 12 13 15 17 20 23 26 0 1 2 3 4 6 8 9 11 12 14 16 19 22 28 0 1 2 4 6 7 8 9 11 13 14 18 21 24 27 0 2 3 5 7 8 9 10 12 14 15 19 22 25 28 0 1 3 4 6 8 9 10 11 13 15 20 23 26 29 0 1 2 4 5 7 9 10 11 12 14 21 24 27 30 0 2 3 5 6 8 10 11 12 13 15 16 22 25 28 0 1 3 4 6 7 9 11 12 13 14 17 23 26 29 0 2 3 5 7 8 10 12 13 15 25 27 28 0 2 4 5 7 9 10 12 14 15 19 20 22 0 1 3 4 6 8 9 11 13 14 26 28 29 0 1 3 5 6 8 10 11 13 15 20 21 23 0 2 4 5 7 9 10 12 14 15 27 29 30 0 1 2 4 6 7 9 11 12 14 21 22 24 0 1 3 5 6 8 10 11 13 15 16 28 30 0 2 3 5 7 8 10 12 13 15 22 23 25 0 1 2 4 6 7 9 11 12 14 16 17 29 0 1 3 4 6 8 9 11 13 14 23 24 26 0 2 3 5 7 8 10 12 13 15 17 18 30 0 2 4 5 7 9 10 12 14 15 24 25 27 0 1 3 4 6 8 9 11 13 14 16 18 19 0 1 3 5 6 8 10 11 13 15 25 26 28 0 2 4 5 7 9 10 12 14 15 17 19 20 0 1 2 4 6 7 9 11 12 14 26 27 29 0 1 3 5 6 8 10 11 13 15 18 20 21 0 2 3 5 7 8 10 12 13 15 27 28 30 0 1 2 4 6 7 9 11 12 14 19 21 22 0 1 3 4 6 8 9 11 13 14 16 28 29 0 2 3 5 7 8 10 12 13 15 20 22 23 0 2 4 5 7 9 10 12 14 15 17 29 30 0 1 3 4 6 8 9 11 13 14 21 23 24 0 1 3 5 6 8 10 11 13 15 16 18 30 0 2 4 5 7 9 10 12 14 15 22 24 25 0 1 2 4 6 7 9 11 12 14 16 17 19 0 1 3 5 6 8 10 11 13 15 23 25 26 0 2 3 5 7 8 10 12 13 15 17 18 20 0 1 2 4 6 7 9 11 12 14 24 26 27 0 1 3 4 6 8 9 11 13 14 18 19 21 0 3 5 7 9 10 12 14 17 19 23 28 30 0 3 5 7 8 10 12 14 17 19 24 28 30 0 4 6 8 10 11 13 15 16 18 20 24 29 0 4 6 8 9 11 13 15 16 18 20 25 29 0 1 5 7 9 11 12 14 17 19 21 25 30 0 1 5 7 9 10 12 14 17 19 21 26 30 0 2 6 8 10 12 13 15 16 18 20 22 26 0 2 6 8 10 11 13 15 16 18 20 22 27 0 1 3 7 9 11 13 14 17 19 21 23 27 0 1 3 7 9 11 12 14 17 19 21 23 28 0 2 4 8 10 12 14 15 18 20 22 24 28 0 2 4 8 10 12 13 15 18 20 22 24 29 0 1 3 5 9 11 13 15 19 21 23 25 29 0 1 3 5 9 11 13 14 19 21 23 25 30 0 1 2 4 6 10 12 14 20 22 24 26 30 0 2 4 6 10 12 14 15 16 20 22 24 26 0 2 3 5 7 11 13 15 16 21 23 25 27 0 1 3 5 7 11 13 15 17 21 23 25 27 0 1 3 4 6 8 12 14 17 22 24 26 28 0 1 2 4 6 8 12 14 18 22 24 26 28 0 2 4 5 7 9 13 15 18 23 25 27 29 0 2 3 5 7 9 13 15 19 23 25 27 29 0 1 3 5 6 8 10 14 19 24 26 28 30 0 1 3 4 6 8 10 14 20 24 26 28 30 0 2 4 6 7 9 11 15 16 20 25 27 29 0 2 4 5 7 9 11 15 16 21 25 27 29 0 1 3 5 7 8 10 12 17 21 26 28 30 0 1 3 5 6 8 10 12 17 22 26 28 30 0 2 4 6 8 9 11 13 16 18 22 27 29 0 2 4 6 7 9 11 13 16 18 23 27 29 0 3 5 7 9 10 12 14 17 18 19 23 30 0 3 5 7 8 10 12 14 17 24 28 29 30 0 4 6 8 10 11 13 15 16 18 19 20 24 0 4 6 8 9 11 13 15 16 18 25 29 30 0 1 5 7 9 11 12 14 17 19 20 21 25 0 1 5 7 9 10 12 14 16 17 19 26 30 0 2 6 8 10 12 13 15 18 20 21 22 26 0 2 6 8 10 11 13 15 16 17 18 20 27 0 1 3 7 9 11 13 14 19 21 22 23 27 0 1 3 7 9 11 12 14 17 18 19 21 28 0 2 4 8 10 12 14 15 20 22 23 24 28 0 2 4 8 10 12 13 15 18 19 20 22 29 0 1 3 5 9 11 13 15 21 23 24 25 29 0 1 3 5 9 11 13 14 19 20 21 23 30 0 1 2 4 6 10 12 14 22 24 25 26 30 0 2 4 6 10 12 14 15 16 20 21 22 24 0 2 3 5 7 11 13 15 16 23 25 26 27 0 1 3 5 7 11 13 15 17 21 22 23 25 0 1 3 4 6 8 12 14 17 24 26 27 28 0 1 2 4 6 8 12 14 18 22 23 24 26 0 2 4 5 7 9 13 15 18 25 27 28 29 0 2 3 5 7 9 13 15 19 23 24 25 27 0 1 3 5 6 8 10 14 19 26 28 29 30 0 1 3 4 6 8 10 14 20 24 25 26 28 0 2 4 6 7 9 11 15 16 20 27 29 30 0 2 4 5 7 9 11 15 21 25 26 27 29 0 1 3 5 7 8 10 12 16 17 21 28 30 0 1 3 5 6 8 10 12 22 26 27 28 30 0 2 4 6 8 9 11 13 16 17 18 22 29 0 2 4 6 7 9 11 13 16 23 27 28 29 0 3 5 7 8 10 12 13 14 17 18 19 29 30 0 3 4 5 7 9 10 12 14 17 18 28 29 30 0 4 6 8 9 11 13 14 15 16 18 19 20 30 0 4 5 6 8 10 11 13 15 16 18 19 29 30 0 1 5 7 9 10 12 14 15 16 17 19 20 21 0 1 5 6 7 9 11 12 14 16 17 19 20 30 0 1 2 6 8 10 11 13 15 17 18 20 21 22 0 2 6 7 8 10 12 13 15 16 17 18 20 21 0 1 2 3 7 9 11 12 14 18 19 21 22 23 0 1 3 7 8 9 11 13 14 17 18 19 21 22 0 2 3 4 8 10 12 13 15 19 20 22 23 24 0 2 4 8 9 10 12 14 15 18 19 20 22 23 0 1 3 4 5 9 11 13 14 20 21 23 24 25 0 1 3 5 9 10 11 13 15 19 20 21 23 24 0 2 4 5 6 10 12 14 15 21 22 24 25 26 0 1 2 4 6 10 11 12 14 20 21 22 24 25 0 1 3 5 6 7 11 13 15 22 23 25 26 27 0 2 3 5 7 11 12 13 15 21 22 23 25 26 0 1 2 4 6 7 8 12 14 23 24 26 27 28 0 1 3 4 6 8 12 13 14 22 23 24 26 27 0 2 3 5 7 8 9 13 15 24 25 27 28 29 0 2 4 5 7 9 13 14 15 23 24 25 27 28 0 1 3 4 6 8 9 10 14 25 26 28 29 30 0 1 3 5 6 8 10 14 15 24 25 26 28 29 0 2 4 5 7 9 10 11 15 16 26 27 29 30 0 1 2 4 6 7 9 11 15 25 26 27 29 30 0 1 3 5 6 8 10 11 12 16 17 27 28 30 0 1 2 3 5 7 8 10 12 16 26 27 28 30 0 2 4 6 7 9 11 12 13 16 17 18 28 29 0 2 3 4 6 8 9 11 13 16 17 27 28 29 0 3 5 7 9 10 12 14 17 18 19 28 30 0 3 5 7 8 10 12 14 17 19 28 29 30 0 4 6 8 10 11 13 15 16 18 19 20 29 0 4 6 8 9 11 13 15 16 18 20 29 30 0 1 5 7 9 11 12 14 17 19 20 21 30 0 1 5 7 9 10 12 14 16 17 19 21 30 0 2 6 8 10 12 13 15 16 18 20 21 22 0 2 6 8 10 11 13 15 16 17 18 20 22 0 1 3 7 9 11 13 14 17 19 21 22 23 0 1 3 7 9 11 12 14 17 18 19 21 23 0 2 4 8 10 12 14 15 18 20 22 23 24 0 2 4 8 10 12 13 15 18 19 20 22 24 0 1 3 5 9 11 13 15 19 21 23 24 25 0 1 3 5 9 11 13 14 19 20 21 23 25 0 1 2 4 6 10 12 14 20 22 24 25 26 0 2 4 6 10 12 14 15 20 21 22 24 26 0 2 3 5 7 11 13 15 21 23 25 26 27 0 1 3 5 7 11 13 15 21 22 23 25 27 0 1 3 4 6 8 12 14 22 24 26 27 28 0 1 2 4 6 8 12 14 22 23 24 26 28 0 2 4 5 7 9 13 15 23 25 27 28 29 0 2 3 5 7 9 13 15 23 24 25 27 29 0 1 3 5 6 8 10 14 24 26 28 29 30 0 1 3 4 6 8 10 14 24 25 26 28 30 0 2 4 6 7 9 11 15 16 25 27 29 30 0 2 4 5 7 9 11 15 16 25 26 27 29 0 1 3 5 7 8 10 12 16 17 26 28 30 0 1 3 5 6 8 10 12 17 26 27 28 30 0 2 4 6 8 9 11 13 16 17 18 27 29 0 2 4 6 7 9 11 13 16 18 27 28 29 0 3 5 7 8 10 12 13 14 17 18 19 24 30 0 3 4 5 7 9 10 12 14 17 23 28 29 30 0 4 6 8 9 11 13 14 15 16 18 19 20 25 0 4 5 6 8 10 11 13 15 16 18 24 29 30 0 1 5 7 9 10 12 14 15 17 19 20 21 26 0 1 5 6 7 9 11 12 14 16 17 19 25 30 0 1 2 6 8 10 11 13 15 18 20 21 22 27 0 2 6 7 8 10 12 13 15 16 17 18 20 26 0 1 2 3 7 9 11 12 14 19 21 22 23 28 0 1 3 7 8 9 11 13 14 17 18 19 21 27 0 2 3 4 8 10 12 13 15 20 22 23 24 29 0 2 4 8 9 10 12 14 15 18 19 20 22 28 0 1 3 4 5 9 11 13 14 21 23 24 25 30 0 1 3 5 9 10 11 13 15 19 20 21 23 29 0 2 4 5 6 10 12 14 15 16 22 24 25 26 0 1 2 4 6 10 11 12 14 20 21 22 24 30 0 1 3 5 6 7 11 13 15 17 23 25 26 27 0 2 3 5 7 11 12 13 15 16 21 22 23 25 0 1 2 4 6 7 8 12 14 18 24 26 27 28 0 1 3 4 6 8 12 13 14 17 22 23 24 26 0 2 3 5 7 8 9 13 15 19 25 27 28 29 0 2 4 5 7 9 13 14 15 18 23 24 25 27 0 1 3 4 6 8 9 10 14 20 26 28 29 30 0 1 3 5 6 8 10 14 15 19 24 25 26 28 0 2 4 5 7 9 10 11 15 16 21 27 29 30 0 1 2 4 6 7 9 11 15 20 25 26 27 29 0 1 3 5 6 8 10 11 12 16 17 22 28 30 0 1 2 3 5 7 8 10 12 21 26 27 28 30 0 2 4 6 7 9 11 12 13 16 17 18 23 29 0 2 3 4 6 8 9 11 13 16 22 27 28 29 0 3 5 7 8 10 12 17 20 25 28 0 5 7 9 10 12 14 19 22 27 30 0 4 6 8 9 11 13 18 21 26 29 0 6 8 10 11 13 15 16 20 23 28 0 1 7 9 11 12 14 17 21 24 29 0 2 8 10 12 13 15 18 22 25 30 0 1 3 9 11 13 14 16 19 23 26 0 2 4 10 12 14 15 17 20 24 27 0 1 3 5 11 13 15 18 21 25 28 0 1 2 4 6 12 14 19 22 26 29 0 2 3 5 7 13 15 20 23 27 30 0 1 3 4 6 8 14 16 21 24 28 0 2 4 5 7 9 15 17 22 25 29 0 1 3 5 6 8 10 18 23 26 30 0 2 4 6 7 9 11 16 19 24 27 0 3 5 7 9 10 12 13 17 19 20 23 25 29 0 4 5 7 8 10 12 14 18 22 24 27 28 30 0 4 6 8 10 11 13 14 18 20 21 24 26 30 0 5 6 8 9 11 13 15 16 19 23 25 28 29 0 5 7 9 11 12 14 15 16 19 21 22 25 27 0 1 6 7 9 10 12 14 17 20 24 26 29 30 0 1 6 8 10 12 13 15 17 20 22 23 26 28 0 2 7 8 10 11 13 15 16 18 21 25 27 30 0 1 2 7 9 11 13 14 18 21 23 24 27 29 0 1 3 8 9 11 12 14 16 17 19 22 26 28 0 2 3 8 10 12 14 15 19 22 24 25 28 30 0 2 4 9 10 12 13 15 17 18 20 23 27 29 0 1 3 4 9 11 13 15 16 20 23 25 26 29 0 1 3 5 10 11 13 14 18 19 21 24 28 30 0 1 2 4 5 10 12 14 17 21 24 26 27 30 0 2 4 6 11 12 14 15 16 19 20 22 25 29 0 2 3 5 6 11 13 15 16 18 22 25 27 28 0 1 3 5 7 12 13 15 17 20 21 23 26 30 0 1 3 4 6 7 12 14 17 19 23 26 28 29 0 1 2 4 6 8 13 14 16 18 21 22 24 27 0 2 4 5 7 8 13 15 18 20 24 27 29 30 0 2 3 5 7 9 14 15 17 19 22 23 25 28 0 1 3 5 6 8 9 14 16 19 21 25 28 30 0 1 3 4 6 8 10 15 18 20 23 24 26 29 0 2 4 6 7 9 10 15 16 17 20 22 26 29 0 1 2 4 5 7 9 11 19 21 24 25 27 30 0 1 3 5 7 8 10 11 17 18 21 23 27 30 0 2 3 5 6 8 10 12 16 20 22 25 26 28 0 2 4 6 8 9 11 12 16 18 19 22 24 28 0 3 4 6 7 9 11 13 17 21 23 26 27 29 0 3 5 7 8 10 12 13 17 18 20 24 25 29 0 4 5 7 9 10 12 14 18 22 23 27 29 30 0 4 6 8 9 11 13 14 18 19 21 25 26 30 0 5 6 8 10 11 13 15 16 19 23 24 28 30 0 5 7 9 10 12 14 15 16 19 20 22 26 27 0 1 6 7 9 11 12 14 16 17 20 24 25 29 0 1 6 8 10 11 13 15 17 20 21 23 27 28 0 2 7 8 10 12 13 15 17 18 21 25 26 30 0 1 2 7 9 11 12 14 18 21 22 24 28 29 0 1 3 8 9 11 13 14 16 18 19 22 26 27 0 2 3 8 10 12 13 15 19 22 23 25 29 30 0 2 4 9 10 12 14 15 17 19 20 23 27 28 0 1 3 4 9 11 13 14 16 20 23 24 26 30 0 1 3 5 10 11 13 15 18 20 21 24 28 29 0 2 4 5 10 12 14 15 16 17 21 24 25 27 0 1 2 4 6 11 12 14 19 21 22 25 29 30 0 1 3 5 6 11 13 15 17 18 22 25 26 28 0 2 3 5 7 12 13 15 16 20 22 23 26 30 0 1 2 4 6 7 12 14 18 19 23 26 27 29 0 1 3 4 6 8 13 14 16 17 21 23 24 27 0 2 3 5 7 8 13 15 19 20 24 27 28 30 0 2 4 5 7 9 14 15 17 18 22 24 25 28 0 1 3 4 6 8 9 14 16 20 21 25 28 29 0 1 3 5 6 8 10 15 18 19 23 25 26 29 0 2 4 5 7 9 10 15 17 21 22 26 29 30 0 1 2 4 6 7 9 11 19 20 24 26 27 30 0 1 3 5 6 8 10 11 16 18 22 23 27 30 0 2 3 5 7 8 10 12 16 20 21 25 27 28 0 2 4 6 7 9 11 12 16 17 19 23 24 28 0 3 4 6 8 9 11 13 17 21 22 26 28 29 0 4 5 7 9 10 12 13 18 20 22 25 27 28 29 0 4 5 7 8 10 12 13 18 19 20 22 25 27 29 0 5 6 8 10 11 13 14 19 21 23 26 28 29 30 0 5 6 8 9 11 13 14 19 20 21 23 26 28 30 0 6 7 9 11 12 14 15 16 20 22 24 27 29 30 0 6 7 9 10 12 14 15 16 20 21 22 24 27 29 0 1 7 8 10 12 13 15 16 17 21 23 25 28 30 0 1 7 8 10 11 13 15 17 21 22 23 25 28 30 0 1 2 8 9 11 13 14 16 17 18 22 24 26 29 0 1 2 8 9 11 12 14 16 18 22 23 24 26 29 0 2 3 9 10 12 14 15 17 18 19 23 25 27 30 0 2 3 9 10 12 13 15 17 19 23 24 25 27 30 0 1 3 4 10 11 13 15 16 18 19 20 24 26 28 0 1 3 4 10 11 13 14 16 18 20 24 25 26 28 0 1 2 4 5 11 12 14 17 19 20 21 25 27 29 0 2 4 5 11 12 14 15 17 19 21 25 26 27 29 0 2 3 5 6 12 13 15 18 20 21 22 26 28 30 0 1 3 5 6 12 13 15 18 20 22 26 27 28 30 0 1 3 4 6 7 13 14 16 19 21 22 23 27 29 0 1 2 4 6 7 13 14 16 19 21 23 27 28 29 0 2 4 5 7 8 14 15 17 20 22 23 24 28 30 0 2 3 5 7 8 14 15 17 20 22 24 28 29 30 0 1 3 5 6 8 9 15 16 18 21 23 24 25 29 0 1 3 4 6 8 9 15 16 18 21 23 25 29 30 0 1 2 4 6 7 9 10 17 19 22 24 25 26 30 0 1 2 4 5 7 9 10 16 17 19 22 24 26 30 0 2 3 5 7 8 10 11 16 18 20 23 25 26 27 0 2 3 5 6 8 10 11 16 17 18 20 23 25 27 0 3 4 6 8 9 11 12 17 19 21 24 26 27 28 0 3 4 6 7 9 11 12 17 18 19 21 24 26 28 0 3 4 5 7 10 12 14 17 18 23 24 30 0 3 5 7 10 12 13 14 17 23 24 29 30 0 4 5 6 8 11 13 15 16 18 19 24 25 0 4 6 8 11 13 14 15 16 18 24 25 30 0 1 5 6 7 9 12 14 17 19 20 25 26 0 1 5 7 9 12 14 15 16 17 19 25 26 0 2 6 7 8 10 13 15 18 20 21 26 27 0 1 2 6 8 10 13 15 17 18 20 26 27 0 1 3 7 8 9 11 14 19 21 22 27 28 0 1 2 3 7 9 11 14 18 19 21 27 28 0 2 4 8 9 10 12 15 20 22 23 28 29 0 2 3 4 8 10 12 15 19 20 22 28 29 0 1 3 5 9 10 11 13 21 23 24 29 30 0 1 3 4 5 9 11 13 20 21 23 29 30 0 2 4 6 10 11 12 14 16 22 24 25 30 0 2 4 5 6 10 12 14 16 21 22 24 30 0 3 5 7 11 12 13 15 16 17 23 25 26 0 3 5 6 7 11 13 15 16 17 22 23 25 0 1 4 6 8 12 13 14 17 18 24 26 27 0 1 4 6 7 8 12 14 17 18 23 24 26 0 2 5 7 9 13 14 15 18 19 25 27 28 0 2 5 7 8 9 13 15 18 19 24 25 27 0 1 3 6 8 10 14 15 19 20 26 28 29 0 1 3 6 8 9 10 14 19 20 25 26 28 0 1 2 4 7 9 11 15 20 21 27 29 30 0 2 4 7 9 10 11 15 20 21 26 27 29 0 1 2 3 5 8 10 12 16 21 22 28 30 0 1 3 5 8 10 11 12 21 22 27 28 30 0 2 3 4 6 9 11 13 16 17 22 23 29 0 2 4 6 9 11 12 13 16 22 23 28 29 0 3 5 7 9 13 14 17 18 24 25 27 28 29 30 0 3 4 8 10 12 14 17 18 19 20 22 23 29 30 0 4 6 8 10 14 15 16 18 19 25 26 28 29 30 0 4 5 9 11 13 15 16 18 19 20 21 23 24 30 0 1 5 7 9 11 15 16 17 19 20 26 27 29 30 0 1 5 6 10 12 14 16 17 19 20 21 22 24 25 0 1 2 6 8 10 12 16 17 18 20 21 27 28 30 0 2 6 7 11 13 15 17 18 20 21 22 23 25 26 0 2 3 7 9 11 13 16 17 18 19 21 22 28 29 0 1 3 7 8 12 14 18 19 21 22 23 24 26 27 0 2 4 8 9 13 15 19 20 22 23 24 25 27 28 0 1 3 5 9 10 14 20 21 23 24 25 26 28 29 0 2 4 6 10 11 15 21 22 24 25 26 27 29 30 0 1 3 5 7 11 12 16 22 23 25 26 27 28 30 0 2 4 6 8 12 13 16 17 23 24 26 27 28 29 0 3 4 5 7 9 13 14 17 23 25 27 29 30 0 3 4 8 10 12 13 14 17 18 20 22 24 30 0 4 5 6 8 10 14 15 16 18 24 26 28 30 0 4 5 9 11 13 14 15 16 18 19 21 23 25 0 1 5 6 7 9 11 15 16 17 19 25 27 29 0 1 5 6 10 12 14 15 17 19 20 22 24 26 0 1 2 6 7 8 10 12 17 18 20 26 28 30 0 1 2 6 7 11 13 15 18 20 21 23 25 27 0 2 3 7 8 9 11 13 16 18 19 21 27 29 0 1 2 3 7 8 12 14 19 21 22 24 26 28 0 3 4 8 9 10 12 14 17 19 20 22 28 30 0 2 3 4 8 9 13 15 20 22 23 25 27 29 0 4 5 9 10 11 13 15 16 18 20 21 23 29 0 1 3 4 5 9 10 14 21 23 24 26 28 30 0 1 5 6 10 11 12 14 17 19 21 22 24 30 0 2 4 5 6 10 11 15 16 22 24 25 27 29 0 2 6 7 11 12 13 15 16 18 20 22 23 25 0 1 3 5 6 7 11 12 17 23 25 26 28 30 0 1 3 7 8 12 13 14 17 19 21 23 24 26 0 2 4 6 7 8 12 13 16 18 24 26 27 29 0 2 4 8 9 13 14 15 18 20 22 24 25 27 0 3 5 7 8 9 13 14 17 19 25 27 28 30 0 1 3 5 9 10 14 15 19 21 23 25 26 28 0 4 6 8 9 10 14 15 16 18 20 26 28 29 0 1 2 4 6 10 11 15 20 22 24 26 27 29 0 1 5 7 9 10 11 15 17 19 21 27 29 30 0 1 2 3 5 7 11 12 21 23 25 27 28 30 0 1 2 6 8 10 11 12 16 18 20 22 28 30 0 2 3 4 6 8 12 13 16 22 24 26 28 29 0 2 3 7 9 11 12 13 16 17 19 21 23 29 0 3 4 5 7 9 13 14 17 23 24 25 27 30 0 3 4 8 10 12 13 14 17 20 22 23 24 30 0 4 5 6 8 10 14 15 16 18 24 25 26 28 0 4 5 9 11 13 14 15 16 18 21 23 24 25 0 1 5 6 7 9 11 15 17 19 25 26 27 29 0 1 5 6 10 12 14 15 17 19 22 24 25 26 0 1 2 6 7 8 10 12 18 20 26 27 28 30 0 1 2 6 7 11 13 15 18 20 23 25 26 27 0 2 3 7 8 9 11 13 16 19 21 27 28 29 0 1 2 3 7 8 12 14 19 21 24 26 27 28 0 3 4 8 9 10 12 14 17 20 22 28 29 30 0 2 3 4 8 9 13 15 20 22 25 27 28 29 0 4 5 9 10 11 13 15 16 18 21 23 29 30 0 1 3 4 5 9 10 14 21 23 26 28 29 30 0 1 5 6 10 11 12 14 16 17 19 22 24 30 0 2 4 5 6 10 11 15 16 22 24 27 29 30 0 2 6 7 11 12 13 15 16 17 18 20 23 25 0 1 3 5 6 7 11 12 16 17 23 25 28 30 0 1 3 7 8 12 13 14 17 18 19 21 24 26 0 2 4 6 7 8 12 13 16 17 18 24 26 29 0 2 4 8 9 13 14 15 18 19 20 22 25 27 0 3 5 7 8 9 13 14 17 18 19 25 27 30 0 1 3 5 9 10 14 15 19 20 21 23 26 28 0 4 6 8 9 10 14 15 16 18 19 20 26 28 0 1 2 4 6 10 11 15 20 21 22 24 27 29 0 1 5 7 9 10 11 15 17 19 20 21 27 29 0 1 2 3 5 7 11 12 21 22 23 25 28 30 0 1 2 6 8 10 11 12 18 20 21 22 28 30 0 2 3 4 6 8 12 13 16 22 23 24 26 29 0 2 3 7 9 11 12 13 16 19 21 22 23 29 0 2 5 7 9 10 12 13 15 18 19 24 27 28 30 0 2 4 5 7 8 10 12 15 17 19 20 23 28 29 0 1 3 6 8 10 11 13 14 16 19 20 25 28 29 0 1 3 5 6 8 9 11 13 18 20 21 24 29 30 0 2 4 7 9 11 12 14 15 17 20 21 26 29 30 0 2 4 6 7 9 10 12 14 16 19 21 22 25 30 0 1 3 5 8 10 12 13 15 16 18 21 22 27 30 0 3 5 7 8 10 11 13 15 16 17 20 22 23 26 0 1 2 4 6 9 11 13 14 16 17 19 22 23 28 0 1 4 6 8 9 11 12 14 17 18 21 23 24 27 0 2 3 5 7 10 12 14 15 17 18 20 23 24 29 0 2 5 7 9 10 12 13 15 18 19 22 24 25 28 0 1 3 4 6 8 11 13 15 18 19 21 24 25 30 0 1 3 6 8 10 11 13 14 19 20 23 25 26 29 0 1 2 4 5 7 9 12 14 16 19 20 22 25 26 0 2 4 7 9 11 12 14 15 20 21 24 26 27 30 0 2 3 5 6 8 10 13 15 17 20 21 23 26 27 0 1 3 5 8 10 12 13 15 16 21 22 25 27 28 0 1 3 4 6 7 9 11 14 18 21 22 24 27 28 0 1 2 4 6 9 11 13 14 17 22 23 26 28 29 0 2 4 5 7 8 10 12 15 19 22 23 25 28 29 0 2 3 5 7 10 12 14 15 18 23 24 27 29 30 0 1 3 5 6 8 9 11 13 20 23 24 26 29 30 0 1 3 4 6 8 11 13 15 16 19 24 25 28 30 0 2 4 6 7 9 10 12 14 16 21 24 25 27 30 0 1 2 4 5 7 9 12 14 16 17 20 25 26 29 0 3 5 7 8 10 11 13 15 16 17 22 25 26 28 0 2 3 5 6 8 10 13 15 17 18 21 26 27 30 0 1 4 6 8 9 11 12 14 17 18 23 26 27 29 0 1 3 4 6 7 9 11 14 16 18 19 22 27 28 0 4 6 8 11 13 14 18 21 22 24 25 26 27 30 0 3 4 6 9 11 13 17 20 21 22 23 25 26 29 0 5 7 9 12 14 15 16 19 22 23 25 26 27 28 0 4 5 7 10 12 14 18 21 22 23 24 26 27 30 0 1 6 8 10 13 15 17 20 23 24 26 27 28 29 0 5 6 8 11 13 15 16 19 22 23 24 25 27 28 0 1 2 7 9 11 14 18 21 24 25 27 28 29 30 0 1 6 7 9 12 14 17 20 23 24 25 26 28 29 0 2 3 8 10 12 15 16 19 22 25 26 28 29 30 0 2 7 8 10 13 15 18 21 24 25 26 27 29 30 0 1 3 4 9 11 13 16 17 20 23 26 27 29 30 0 1 3 8 9 11 14 16 19 22 25 26 27 28 30 0 2 4 5 10 12 14 16 17 18 21 24 27 28 30 0 2 4 9 10 12 15 16 17 20 23 26 27 28 29 0 3 5 6 11 13 15 16 17 18 19 22 25 28 29 0 1 3 5 10 11 13 17 18 21 24 27 28 29 30 0 1 4 6 7 12 14 17 18 19 20 23 26 29 30 0 2 4 6 11 12 14 16 18 19 22 25 28 29 30 0 2 5 7 8 13 15 16 18 19 20 21 24 27 30 0 3 5 7 12 13 15 16 17 19 20 23 26 29 30 0 1 3 6 8 9 14 16 17 19 20 21 22 25 28 0 1 4 6 8 13 14 16 17 18 20 21 24 27 30 0 2 4 7 9 10 15 17 18 20 21 22 23 26 29 0 2 5 7 9 14 15 16 17 18 19 21 22 25 28 0 1 3 5 8 10 11 18 19 21 22 23 24 27 30 0 1 3 6 8 10 15 17 18 19 20 22 23 26 29 0 2 4 6 9 11 12 16 19 20 22 23 24 25 28 0 1 2 4 7 9 11 18 19 20 21 23 24 27 30 0 3 5 7 10 12 13 17 20 21 23 24 25 26 29 0 2 3 5 8 10 12 16 19 20 21 22 24 25 28 0 3 5 8 10 14 17 19 21 22 26 28 29 30 0 3 7 9 12 14 17 18 19 21 25 26 28 30 0 4 6 9 11 15 16 18 20 22 23 27 29 30 0 4 8 10 13 15 16 18 19 20 22 26 27 29 0 1 5 7 10 12 16 17 19 21 23 24 28 30 0 1 5 9 11 14 17 19 20 21 23 27 28 30 0 2 6 8 11 13 16 17 18 20 22 24 25 29 0 2 6 10 12 15 16 18 20 21 22 24 28 29 0 3 7 9 12 14 17 18 19 21 23 25 26 30 0 1 3 7 11 13 17 19 21 22 23 25 29 30 0 4 8 10 13 15 16 18 19 20 22 24 26 27 0 2 4 8 12 14 16 18 20 22 23 24 26 30 0 1 5 9 11 14 17 19 20 21 23 25 27 28 0 3 5 9 13 15 16 17 19 21 23 24 25 27 0 2 6 10 12 15 18 20 21 22 24 26 28 29 0 1 4 6 10 14 17 18 20 22 24 25 26 28 0 1 3 7 11 13 19 21 22 23 25 27 29 30 0 2 5 7 11 15 18 19 21 23 25 26 27 29 0 2 4 8 12 14 16 20 22 23 24 26 28 30 0 1 3 6 8 12 19 20 22 24 26 27 28 30 0 3 5 9 13 15 16 17 21 23 24 25 27 29 0 2 4 7 9 13 16 20 21 23 25 27 28 29 0 1 4 6 10 14 17 18 22 24 25 26 28 30 0 3 5 8 10 14 17 21 22 24 26 28 29 30 0 2 5 7 11 15 16 18 19 23 25 26 27 29 0 4 6 9 11 15 16 18 22 23 25 27 29 30 0 1 3 6 8 12 17 19 20 24 26 27 28 30 0 1 5 7 10 12 16 17 19 23 24 26 28 30 0 2 4 7 9 13 16 18 20 21 25 27 28 29 0 2 6 8 11 13 16 17 18 20 24 25 27 29 0 3 5 8 11 13 14 17 21 22 23 24 25 26 29 30 0 3 4 6 9 12 14 17 18 21 22 23 24 25 26 30 0 4 6 9 12 14 15 16 18 22 23 24 25 26 27 30 0 4 5 7 10 13 15 16 18 19 22 23 24 25 26 27 0 1 5 7 10 13 15 16 17 19 23 24 25 26 27 28 0 1 5 6 8 11 14 17 19 20 23 24 25 26 27 28 0 1 2 6 8 11 14 17 18 20 24 25 26 27 28 29 0 2 6 7 9 12 15 18 20 21 24 25 26 27 28 29 0 2 3 7 9 12 15 18 19 21 25 26 27 28 29 30 0 1 3 7 8 10 13 19 21 22 25 26 27 28 29 30 0 1 3 4 8 10 13 16 19 20 22 26 27 28 29 30 0 2 4 8 9 11 14 16 20 22 23 26 27 28 29 30 0 2 4 5 9 11 14 16 17 20 21 23 27 28 29 30 0 3 5 9 10 12 15 16 17 21 23 24 27 28 29 30 0 3 5 6 10 12 15 16 17 18 21 22 24 28 29 30 0 1 4 6 10 11 13 16 17 18 22 24 25 28 29 30 0 1 4 6 7 11 13 16 17 18 19 22 23 25 29 30 0 2 5 7 11 12 14 16 17 18 19 23 25 26 29 30 0 2 5 7 8 12 14 16 17 18 19 20 23 24 26 30 0 3 6 8 12 13 15 16 17 18 19 20 24 26 27 30 0 3 6 8 9 13 15 16 17 18 19 20 21 24 25 27 0 1 4 7 9 13 14 16 17 18 19 20 21 25 27 28 0 1 4 7 9 10 14 17 18 19 20 21 22 25 26 28 0 2 5 8 10 14 15 17 18 19 20 21 22 26 28 29 0 2 5 8 10 11 15 18 19 20 21 22 23 26 27 29 0 1 3 6 9 11 15 18 19 20 21 22 23 27 29 30 0 1 3 6 9 11 12 19 20 21 22 23 24 27 28 30 0 1 2 4 7 10 12 16 19 20 21 22 23 24 28 30 0 2 4 7 10 12 13 16 20 21 22 23 24 25 28 29 0 2 3 5 8 11 13 16 17 20 21 22 23 24 25 29 0 3 6 8 11 13 14 17 19 20 21 23 24 25 26 27 30 0 3 4 6 9 11 14 17 20 21 22 23 24 26 27 28 30 0 4 7 9 12 14 15 16 18 20 21 22 24 25 26 27 28 0 4 5 7 10 12 15 16 18 21 22 23 24 25 27 28 29 0 1 5 8 10 13 15 17 19 21 22 23 25 26 27 28 29 0 1 5 6 8 11 13 17 19 22 23 24 25 26 28 29 30 0 1 2 6 9 11 14 18 20 22 23 24 26 27 28 29 30 0 2 6 7 9 12 14 16 18 20 23 24 25 26 27 29 30 0 2 3 7 10 12 15 16 19 21 23 24 25 27 28 29 30 0 3 7 8 10 13 15 16 17 19 21 24 25 26 27 28 30 0 1 3 4 8 11 13 16 17 20 22 24 25 26 28 29 30 0 1 4 8 9 11 14 16 17 18 20 22 25 26 27 28 29 0 2 4 5 9 12 14 16 17 18 21 23 25 26 27 29 30 0 2 5 9 10 12 15 17 18 19 21 23 26 27 28 29 30 0 3 5 6 10 13 15 16 17 18 19 22 24 26 27 28 30 0 1 3 6 10 11 13 16 18 19 20 22 24 27 28 29 30 0 1 4 6 7 11 14 16 17 18 19 20 23 25 27 28 29 0 2 4 7 11 12 14 16 17 19 20 21 23 25 28 29 30 0 2 5 7 8 12 15 17 18 19 20 21 24 26 28 29 30 0 3 5 8 12 13 15 16 17 18 20 21 22 24 26 29 30 0 1 3 6 8 9 13 16 18 19 20 21 22 25 27 29 30 0 1 4 6 9 13 14 16 17 18 19 21 22 23 25 27 30 0 2 4 7 9 10 14 16 17 19 20 21 22 23 26 28 30 0 2 5 7 10 14 15 16 17 18 19 20 22 23 24 26 28 0 3 5 8 10 11 15 16 17 18 20 21 22 23 24 27 29 0 1 3 6 8 11 15 17 18 19 20 21 23 24 25 27 29 0 1 4 6 9 11 12 17 18 19 21 22 23 24 25 28 30 0 1 2 4 7 9 12 18 19 20 21 22 24 25 26 28 30 0 2 5 7 10 12 13 16 18 19 20 22 23 24 25 26 29 0 2 3 5 8 10 13 16 19 20 21 22 23 25 26 27 29 0 3 5 7 8 11 14 17 21 24 25 26 27 28 29 30 0 3 6 9 10 12 14 17 18 19 20 21 22 23 26 30 0 4 6 8 9 12 15 16 18 22 25 26 27 28 29 30 0 4 7 10 11 13 15 16 18 19 20 21 22 23 24 27 0 1 5 7 9 10 13 16 17 19 23 26 27 28 29 30 0 1 5 8 11 12 14 17 19 20 21 22 23 24 25 28 0 2 6 8 10 11 14 16 17 18 20 24 27 28 29 30 0 2 6 9 12 13 15 18 20 21 22 23 24 25 26 29 0 3 7 9 11 12 15 16 17 18 19 21 25 28 29 30 0 1 3 7 10 13 14 19 21 22 23 24 25 26 27 30 0 1 4 8 10 12 13 16 17 18 19 20 22 26 29 30 0 2 4 8 11 14 15 16 20 22 23 24 25 26 27 28 0 2 5 9 11 13 14 16 17 18 19 20 21 23 27 30 0 1 3 5 9 12 15 17 21 23 24 25 26 27 28 29 0 3 6 10 12 14 15 16 17 18 19 20 21 22 24 28 0 1 2 4 6 10 13 18 22 24 25 26 27 28 29 30 0 1 4 7 11 13 15 17 18 19 20 21 22 23 25 29 0 2 3 5 7 11 14 16 19 23 25 26 27 28 29 30 0 1 2 5 8 12 14 18 19 20 21 22 23 24 26 30 0 3 4 6 8 12 15 16 17 20 24 26 27 28 29 30 0 2 3 6 9 13 15 16 19 20 21 22 23 24 25 27 0 1 4 5 7 9 13 16 17 18 21 25 27 28 29 30 0 1 3 4 7 10 14 17 20 21 22 23 24 25 26 28 0 2 5 6 8 10 14 16 17 18 19 22 26 28 29 30 0 2 4 5 8 11 15 18 21 22 23 24 25 26 27 29 0 3 6 7 9 11 15 16 17 18 19 20 23 27 29 30 0 1 3 5 6 9 12 19 22 23 24 25 26 27 28 30 0 1 4 7 8 10 12 16 17 18 19 20 21 24 28 30 0 2 4 6 7 10 13 16 20 23 24 25 26 27 28 29 0 2 5 8 9 11 13 16 17 18 19 20 21 22 25 29 0