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