circuits/compare-lt-32-bit-unsigned-old.txt

300 364
2 32 32
1 1
1 1 59 341 INV
1 1 17 359 INV
1 1 28 349 INV
1 1 16 321 INV
1 1 49 360 INV
1 1 51 355 INV
1 1 14 362 INV
1 1 23 330 INV
1 1 1 358 INV
1 1 25 356 INV
1 1 46 226 INV
1 1 29 346 INV
1 1 40 261 INV
1 1 31 347 INV
1 1 34 342 INV
1 1 11 343 INV
1 1 30 333 INV
1 1 63 326 INV
1 1 2 334 INV
1 1 42 241 INV
1 1 58 246 INV
1 1 36 202 INV
1 1 15 323 INV
1 1 33 322 INV
1 1 7 357 INV
1 1 9 354 INV
1 1 12 340 INV
1 1 22 328 INV
1 1 55 345 INV
1 1 13 324 INV
1 1 52 238 INV
1 1 48 250 INV
1 1 44 167 INV
1 1 10 350 INV
1 1 5 337 INV
1 1 54 253 INV
1 1 43 352 INV
1 1 19 351 INV
1 1 37 200 INV
1 1 18 325 INV
1 1 38 248 INV
1 1 62 222 INV
1 1 61 339 INV
1 1 57 204 INV
1 1 60 224 INV
1 1 6 353 INV
1 1 21 338 INV
1 1 20 344 INV
1 1 56 198 INV
1 1 45 206 INV
1 1 26 336 INV
1 1 3 332 INV
1 1 27 361 INV
1 1 47 335 INV
1 1 50 243 INV
1 1 41 348 INV
1 1 0 275 INV
1 1 35 329 INV
1 1 53 331 INV
1 1 39 327 INV
2 1 321 48 280 AND
2 1 322 1 281 AND
2 1 323 47 283 AND
2 1 324 45 285 AND
2 1 325 50 307 AND
2 1 326 31 316 AND
2 1 327 7 308 AND
2 1 328 54 282 AND
2 1 329 3 314 AND
2 1 330 55 320 AND
2 1 331 21 284 AND
2 1 332 35 319 AND
2 1 333 62 287 AND
2 1 334 34 318 AND
2 1 335 15 288 AND
2 1 336 58 289 AND
2 1 337 37 290 AND
2 1 338 53 291 AND
2 1 339 29 292 AND
2 1 340 44 293 AND
2 1 341 27 294 AND
2 1 342 2 295 AND
2 1 343 43 296 AND
2 1 344 52 297 AND
2 1 345 23 313 AND
2 1 346 61 298 AND
2 1 347 63 302 AND
2 1 348 9 230 AND
2 1 349 60 299 AND
2 1 350 42 300 AND
2 1 351 51 301 AND
2 1 352 11 303 AND
2 1 353 38 312 AND
2 1 354 41 304 AND
2 1 355 19 305 AND
2 1 356 57 306 AND
2 1 357 39 309 AND
2 1 358 33 310 AND
2 1 359 49 311 AND
2 1 360 17 315 AND
2 1 361 59 317 AND
2 1 362 46 286 AND
1 1 280 78 INV
1 1 281 274 INV
1 1 282 277 INV
1 1 283 278 INV
1 1 284 188 INV
1 1 285 239 INV
1 1 286 279 INV
1 1 287 269 INV
1 1 288 139 INV
1 1 289 255 INV
1 1 290 251 INV
1 1 291 256 INV
1 1 292 186 INV
1 1 293 86 INV
1 1 294 141 INV
1 1 295 271 INV
1 1 296 258 INV
1 1 297 257 INV
1 1 298 262 INV
1 1 299 263 INV
1 1 300 259 INV
1 1 301 264 INV
1 1 302 268 INV
1 1 303 157 INV
1 1 304 260 INV
1 1 305 128 INV
1 1 306 244 INV
1 1 307 265 INV
1 1 308 180 INV
1 1 309 266 INV
1 1 310 272 INV
1 1 311 74 INV
1 1 312 267 INV
1 1 313 184 INV
1 1 314 270 INV
1 1 315 182 INV
1 1 316 130 INV
1 1 317 254 INV
1 1 318 273 INV
1 1 319 132 INV
1 1 320 276 INV
2 1 254 255 235 AND
2 1 256 257 227 AND
2 1 258 259 229 AND
2 1 260 261 231 AND
2 1 262 263 228 AND
2 1 264 265 76 AND
2 1 266 267 233 AND
2 1 268 269 148 AND
2 1 270 271 146 AND
2 1 272 273 191 AND
2 1 274 275 234 AND
2 1 276 277 150 AND
2 1 278 279 236 AND
2 1 256 20 237 AND
2 1 258 10 240 AND
2 1 264 18 242 AND
2 1 260 8 232 AND
2 1 266 6 247 AND
2 1 74 16 249 AND
2 1 268 30 221 AND
2 1 262 28 223 AND
2 1 276 22 252 AND
2 1 254 26 245 AND
2 1 278 14 225 AND
2 1 221 222 208 AND
2 1 223 224 209 AND
2 1 225 226 210 AND
2 1 150 227 72 AND
2 1 148 228 113 AND
2 1 229 230 211 AND
2 1 229 231 207 AND
2 1 229 232 212 AND
2 1 233 5 199 AND
2 1 234 32 213 AND
2 1 235 25 203 AND
2 1 236 13 205 AND
2 1 237 238 214 AND
2 1 236 239 84 AND
2 1 240 241 215 AND
2 1 242 243 216 AND
2 1 235 244 197 AND
2 1 245 246 217 AND
2 1 247 248 218 AND
2 1 249 250 219 AND
2 1 233 251 201 AND
2 1 252 253 220 AND
2 1 197 198 168 AND
2 1 199 200 189 AND
2 1 201 202 169 AND
2 1 203 204 192 AND
2 1 205 206 193 AND
2 1 84 12 166 AND
2 1 207 8 194 AND
2 1 197 24 195 AND
2 1 201 4 196 AND
1 1 208 119 INV
1 1 209 185 INV
1 1 210 165 INV
1 1 211 175 INV
1 1 207 177 INV
1 1 212 178 INV
1 1 213 190 INV
1 1 214 187 INV
1 1 215 176 INV
1 1 216 116 INV
1 1 217 159 INV
1 1 218 179 INV
1 1 219 181 INV
1 1 220 183 INV
2 1 166 167 153 AND
2 1 168 24 154 AND
2 1 169 4 155 AND
2 1 175 176 143 AND
2 1 177 178 170 AND
2 1 179 180 102 AND
2 1 181 182 171 AND
2 1 183 184 99 AND
2 1 185 186 172 AND
2 1 187 188 173 AND
1 1 168 160 INV
1 1 189 107 INV
1 1 169 162 INV
2 1 190 191 174 AND
1 1 192 158 INV
1 1 193 164 INV
1 1 194 156 INV
1 1 195 161 INV
1 1 196 163 INV
1 1 153 138 INV
1 1 154 140 INV
1 1 155 111 INV
2 1 156 157 142 AND
2 1 158 159 124 AND
2 1 160 161 151 AND
2 1 162 163 152 AND
2 1 164 165 126 AND
1 1 170 96 INV
1 1 171 144 INV
1 1 172 147 INV
1 1 173 149 INV
1 1 174 145 INV
2 1 138 139 125 AND
2 1 140 141 123 AND
2 1 142 143 91 AND
2 1 144 76 134 AND
2 1 145 146 135 AND
2 1 147 148 136 AND
2 1 149 150 137 AND
1 1 151 133 INV
1 1 152 131 INV
2 1 123 124 122 AND
2 1 125 126 81 AND
2 1 131 132 120 AND
2 1 133 113 70 AND
1 1 134 127 INV
1 1 135 121 INV
1 1 136 129 INV
1 1 137 104 INV
2 1 120 121 117 AND
1 1 122 112 INV
2 1 127 128 115 AND
2 1 129 130 118 AND
2 1 112 113 109 AND
2 1 115 116 114 AND
1 1 117 110 INV
2 1 118 119 67 AND
1 1 109 88 INV
2 1 110 111 106 AND
1 1 114 108 INV
2 1 106 107 101 AND
2 1 108 72 105 AND
2 1 101 102 100 AND
1 1 105 103 INV
1 1 100 95 INV
2 1 103 104 98 AND
2 1 95 96 94 AND
2 1 98 99 97 AND
1 1 94 90 INV
1 1 97 93 INV
2 1 90 91 89 AND
2 1 93 70 92 AND
1 1 89 85 INV
1 1 92 87 INV
2 1 85 86 83 AND
2 1 87 88 65 AND
2 1 83 84 82 AND
1 1 82 80 INV
2 1 80 81 79 AND
1 1 79 77 INV
2 1 77 78 75 AND
2 1 75 76 73 AND
2 1 73 74 71 AND
2 1 71 72 69 AND
2 1 69 70 68 AND
1 1 68 66 INV
2 1 66 67 64 AND
2 1 64 65 363 AND