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