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