4926 7200
1 64 
1 64 

1 1 62 5234 INV
1 1 63 5235 INV
1 1 5235 5213 INV
1 1 60 5239 INV
1 1 61 5240 INV
1 1 58 5247 INV
1 1 59 5248 INV
1 1 56 5252 INV
1 1 57 5253 INV
1 1 54 5263 INV
1 1 55 5264 INV
1 1 52 5268 INV
1 1 53 5269 INV
1 1 50 5276 INV
1 1 51 5277 INV
1 1 48 5281 INV
1 1 49 5282 INV
1 1 46 5295 INV
1 1 47 5296 INV
1 1 44 5300 INV
1 1 45 5301 INV
1 1 42 5308 INV
1 1 43 5309 INV
1 1 40 5313 INV
1 1 41 5314 INV
1 1 38 5324 INV
1 1 39 5325 INV
1 1 36 5329 INV
1 1 37 5330 INV
1 1 34 5337 INV
1 1 35 5338 INV
1 1 32 5342 INV
1 1 33 5343 INV
1 1 30 5359 INV
1 1 31 5360 INV
1 1 28 5364 INV
1 1 29 5365 INV
1 1 26 5372 INV
1 1 27 5373 INV
1 1 24 5377 INV
1 1 25 5378 INV
1 1 22 5388 INV
1 1 23 5389 INV
1 1 20 5393 INV
1 1 21 5394 INV
1 1 18 5401 INV
1 1 19 5402 INV
1 1 16 5406 INV
1 1 17 5407 INV
1 1 14 5420 INV
1 1 15 5421 INV
1 1 12 5425 INV
1 1 13 5426 INV
1 1 10 5433 INV
1 1 11 5434 INV
1 1 8 5438 INV
1 1 9 5439 INV
1 1 6 5449 INV
1 1 7 5450 INV
1 1 4 5454 INV
1 1 5 5455 INV
1 1 2 5462 INV
1 1 3 5463 INV
1 1 0 5467 INV
1 1 1 5468 INV
2 1 5467 5468 668 XOR
2 1 668 1 669 XOR
68 34 5213 5234 5239 5247 5252 5263 5268 5276 5281 5295 5300 5308 5313 5324 5329 5337 5342 5359 5364 5372 5377 5388 5393 5401 5406 5420 5425 5433 5438 5449 5454 5462 5235 5467 5234 5235 5240 5248 5253 5264 5269 5277 5282 5296 5301 5309 5314 5325 5330 5338 5343 5360 5365 5373 5378 5389 5394 5402 5407 5421 5426 5434 5439 5450 5455 5463 669 5468 5214 5236 5241 5249 5254 5265 5270 5278 5283 5297 5302 5310 5315 5326 5331 5339 5344 5361 5366 5374 5379 5390 5395 5403 5408 5422 5427 5435 5440 5451 5456 5464 670 5469 MAND
1 1 5297 5298 INV
1 1 5298 5299 INV
1 1 5302 5303 INV
1 1 5303 5304 INV
1 1 5310 5311 INV
1 1 5311 5312 INV
1 1 5249 5250 INV
1 1 5250 5251 INV
1 1 5315 5316 INV
1 1 5316 5317 INV
1 1 5236 5237 INV
1 1 5237 5238 INV
1 1 5326 5327 INV
1 1 5327 5328 INV
1 1 5254 5255 INV
1 1 5331 5332 INV
1 1 5332 5333 INV
1 1 5255 5256 INV
1 1 5339 5340 INV
1 1 5340 5341 INV
1 1 5344 5345 INV
1 1 5345 5346 INV
1 1 5361 5362 INV
1 1 5362 5363 INV
1 1 5366 5367 INV
1 1 5367 5368 INV
1 1 5374 5375 INV
1 1 5375 5376 INV
1 1 5214 5215 INV
1 1 5215 5216 INV
1 1 5379 5380 INV
1 1 5380 5381 INV
1 1 5265 5266 INV
1 1 5390 5391 INV
1 1 5391 5392 INV
1 1 5266 5267 INV
1 1 5395 5396 INV
1 1 5396 5397 INV
1 1 5241 5242 INV
1 1 5403 5404 INV
1 1 5404 5405 INV
1 1 5270 5271 INV
1 1 5271 5272 INV
1 1 5408 5409 INV
1 1 5409 5410 INV
1 1 5422 5423 INV
1 1 5423 5424 INV
1 1 5242 5243 INV
1 1 5427 5428 INV
1 1 5428 5429 INV
1 1 5435 5436 INV
1 1 5436 5437 INV
1 1 5278 5279 INV
1 1 5279 5280 INV
1 1 5440 5441 INV
1 1 5441 5442 INV
1 1 5451 5452 INV
1 1 5452 5453 INV
1 1 5283 5284 INV
1 1 5456 5457 INV
1 1 5457 5458 INV
1 1 5284 5285 INV
1 1 5464 5465 INV
1 1 5465 5466 INV
2 1 668 670 671 XOR
2 1 671 0 1223 XOR
2 1 5469 5462 683 XOR
2 1 683 2 684 XOR
1 1 5469 5470 INV
1 1 5470 5471 INV
38 19 5216 5238 5251 5267 5280 5299 5312 5328 5341 5363 5376 5392 5405 5424 5437 5453 5235 5469 5466 5243 5243 5256 5272 5285 5304 5317 5333 5346 5368 5381 5397 5410 5429 5442 5458 684 5462 5471 5217 5244 5257 5273 5286 5305 5318 5334 5347 5369 5382 5398 5411 5430 5443 5459 685 64 5472 MAND
1 1 5244 5245 INV
1 1 5369 5370 INV
1 1 5370 5371 INV
1 1 5318 5319 INV
1 1 5319 5320 INV
1 1 5382 5383 INV
1 1 5383 5384 INV
1 1 5245 5246 INV
1 1 5398 5399 INV
1 1 5399 5400 INV
1 1 5411 5412 INV
1 1 5412 5413 INV
1 1 5273 5274 INV
1 1 5334 5335 INV
1 1 5274 5275 INV
1 1 5335 5336 INV
1 1 5305 5306 INV
1 1 5430 5431 INV
1 1 5431 5432 INV
1 1 5306 5307 INV
1 1 5257 5258 INV
1 1 5258 5259 INV
1 1 5443 5444 INV
1 1 5444 5445 INV
1 1 5217 5218 INV
1 1 5218 5219 INV
1 1 5347 5348 INV
1 1 5348 5349 INV
1 1 5459 5460 INV
1 1 5460 5461 INV
1 1 5286 5287 INV
1 1 5287 5288 INV
2 1 683 685 686 XOR
2 1 671 686 853 XOR
2 1 64 5463 699 XOR
2 1 699 3 700 XOR
1 1 5472 5473 INV
1 1 5473 5474 INV
22 11 5219 5246 5275 5307 5336 5371 5400 5432 5235 64 5461 5259 5259 5288 5320 5349 5384 5413 5445 700 5463 5474 5220 5260 5289 5321 5350 5385 5414 5446 701 65 5475 MAND
1 1 5414 5415 INV
1 1 5415 5416 INV
1 1 5260 5261 INV
1 1 5261 5262 INV
1 1 5220 5221 INV
1 1 5221 5222 INV
1 1 5446 5447 INV
1 1 5447 5448 INV
1 1 5385 5386 INV
1 1 5350 5351 INV
1 1 5351 5352 INV
1 1 5386 5387 INV
1 1 5289 5290 INV
1 1 5290 5291 INV
1 1 5321 5322 INV
1 1 5322 5323 INV
2 1 699 701 702 XOR
2 1 65 5454 714 XOR
2 1 714 4 715 XOR
2 1 686 702 1220 XOR
1 1 5475 5476 INV
1 1 5476 5477 INV
14 7 5222 5262 5323 5387 65 5235 5448 5291 5291 5352 5416 5454 715 5477 5223 5292 5353 5417 66 716 5478 MAND
1 1 5417 5418 INV
1 1 5418 5419 INV
1 1 5292 5293 INV
1 1 5293 5294 INV
1 1 5353 5354 INV
1 1 5354 5355 INV
2 1 66 5455 730 XOR
2 1 730 5 731 XOR
2 1 714 716 717 XOR
2 1 702 717 824 XOR
1 1 5223 5224 INV
1 1 5224 5225 INV
1 1 5478 5479 INV
1 1 5479 5480 INV
10 5 5225 5294 66 5235 5419 5355 5355 5455 731 5480 5226 5356 67 732 5481 MAND
1 1 5356 5357 INV
1 1 5357 5358 INV
2 1 67 5449 745 XOR
2 1 745 6 746 XOR
2 1 730 732 733 XOR
2 1 717 733 1211 XOR
1 1 5481 5482 INV
1 1 5482 5483 INV
1 1 5226 5227 INV
1 1 5227 5228 INV
8 4 67 5235 5228 5358 5449 746 5483 5483 68 747 5229 5484 MAND
2 1 68 5450 761 XOR
2 1 761 7 762 XOR
4 2 5235 68 762 5450 763 69 MAND
2 1 761 763 764 XOR
2 1 69 5438 554 XOR
2 1 554 8 555 XOR
4 2 5235 69 555 5438 556 70 MAND
2 1 554 556 557 XOR
2 1 557 764 796 XOR
2 1 70 5439 620 XOR
2 1 620 9 621 XOR
4 2 70 5235 5439 621 71 622 MAND
2 1 5433 71 72 XOR
2 1 72 10 73 XOR
4 2 5433 5235 71 73 76 74 MAND
2 1 76 5434 604 XOR
2 1 604 11 605 XOR
4 2 76 5235 5434 605 77 606 MAND
2 1 77 5425 594 XOR
2 1 594 12 595 XOR
4 2 77 5235 5425 595 78 596 MAND
2 1 78 5426 584 XOR
2 1 584 13 585 XOR
4 2 78 5235 5426 585 79 586 MAND
2 1 79 5420 574 XOR
2 1 574 14 575 XOR
4 2 5235 79 575 5420 576 80 MAND
2 1 574 576 577 XOR
2 1 80 5421 564 XOR
2 1 564 15 565 XOR
4 2 80 5235 5421 565 81 566 MAND
2 1 81 5406 486 XOR
2 1 486 16 487 XOR
4 2 81 5235 5406 487 82 488 MAND
2 1 82 5407 479 XOR
2 1 564 566 567 XOR
2 1 486 488 489 XOR
2 1 567 577 1318 XOR
2 1 489 567 1338 XOR
2 1 479 17 480 XOR
4 2 5235 82 480 5407 481 83 MAND
2 1 479 481 482 XOR
2 1 482 489 1362 XOR
2 1 83 5401 472 XOR
2 1 472 18 473 XOR
4 2 5235 83 473 5401 474 84 MAND
2 1 472 474 475 XOR
2 1 475 482 1394 XOR
2 1 84 5402 465 XOR
2 1 465 19 466 XOR
4 2 5235 84 466 5402 467 85 MAND
2 1 465 467 468 XOR
2 1 468 475 1413 XOR
2 1 85 5393 458 XOR
2 1 458 20 459 XOR
4 2 5235 85 459 5393 460 86 MAND
2 1 458 460 461 XOR
2 1 461 468 1433 XOR
2 1 86 5394 451 XOR
2 1 451 21 452 XOR
4 2 5235 86 452 5394 453 87 MAND
2 1 451 453 454 XOR
2 1 454 461 1452 XOR
2 1 87 5388 444 XOR
2 1 444 22 445 XOR
4 2 5235 87 445 5388 446 88 MAND
2 1 444 446 447 XOR
2 1 447 454 1475 XOR
2 1 88 5389 437 XOR
2 1 437 23 438 XOR
4 2 5235 88 438 5389 439 89 MAND
2 1 437 439 440 XOR
2 1 440 447 1494 XOR
2 1 89 5377 381 XOR
2 1 381 24 382 XOR
4 2 89 5235 5377 382 90 383 MAND
2 1 90 5378 430 XOR
2 1 430 25 431 XOR
4 2 90 5235 5378 431 91 432 MAND
2 1 91 5372 423 XOR
2 1 423 26 424 XOR
4 2 5235 91 424 5372 425 92 MAND
2 1 423 425 426 XOR
2 1 430 432 433 XOR
2 1 426 433 1565 XOR
2 1 72 74 75 XOR
2 1 381 383 384 XOR
2 1 384 440 1514 XOR
2 1 384 433 1534 XOR
2 1 584 586 587 XOR
2 1 577 587 1299 XOR
2 1 594 596 597 XOR
2 1 604 606 607 XOR
2 1 75 607 1199 XOR
2 1 620 622 623 XOR
2 1 75 623 776 XOR
2 1 745 747 748 XOR
2 1 733 748 821 XOR
2 1 557 623 1202 XOR
2 1 748 764 1208 XOR
2 1 597 607 1240 XOR
2 1 587 597 1267 XOR
2 1 92 5373 416 XOR
2 1 416 27 417 XOR
4 2 92 5235 5373 417 93 418 MAND
2 1 93 5364 409 XOR
2 1 409 28 410 XOR
4 2 5235 93 410 5364 411 94 MAND
2 1 409 411 412 XOR
2 1 94 5365 402 XOR
2 1 402 29 403 XOR
4 2 94 5235 5365 403 95 404 MAND
2 1 95 5359 395 XOR
2 1 395 30 396 XOR
4 2 95 5235 5359 396 96 397 MAND
2 1 96 5360 388 XOR
2 1 388 31 389 XOR
4 2 96 5235 5360 389 97 390 MAND
2 1 97 5342 253 XOR
2 1 253 32 254 XOR
4 2 5235 97 254 5342 255 98 MAND
2 1 253 255 256 XOR
2 1 256 0 659 XOR
1 1 256 257 INV
2 1 98 5343 249 XOR
2 1 249 33 250 XOR
4 2 98 5235 5343 250 99 251 MAND
2 1 99 5337 245 XOR
2 1 245 34 246 XOR
2 1 388 390 391 XOR
2 1 256 391 1673 XOR
2 1 395 397 398 XOR
2 1 391 398 1655 XOR
2 1 249 251 252 XOR
2 1 252 256 1693 XOR
6 3 5235 99 1693 246 5337 257 247 100 258 MAND
2 1 245 247 248 XOR
2 1 100 5338 241 XOR
2 1 241 35 242 XOR
2 1 248 686 687 XOR
2 1 258 256 259 XOR
1 1 259 261 INV
2 1 248 259 260 XOR
6 3 100 5235 260 5338 242 261 101 243 262 MAND
2 1 101 5329 237 XOR
2 1 237 36 238 XOR
2 1 241 243 244 XOR
2 1 244 702 703 XOR
2 1 244 248 1740 XOR
2 1 262 259 263 XOR
2 1 244 263 264 XOR
1 1 263 265 INV
6 3 101 5235 264 5329 238 265 102 239 266 MAND
2 1 102 5330 233 XOR
2 1 233 37 234 XOR
2 1 237 239 240 XOR
2 1 240 717 718 XOR
2 1 240 244 1761 XOR
2 1 266 263 267 XOR
2 1 240 267 268 XOR
1 1 267 269 INV
6 3 102 5235 268 5330 234 269 103 235 270 MAND
2 1 103 5324 229 XOR
2 1 229 38 230 XOR
2 1 233 235 236 XOR
2 1 236 733 734 XOR
2 1 236 240 1781 XOR
2 1 270 267 271 XOR
2 1 236 271 272 XOR
1 1 271 273 INV
6 3 103 5235 272 5324 230 273 104 231 274 MAND
2 1 104 5325 225 XOR
2 1 225 39 226 XOR
2 1 229 231 232 XOR
2 1 232 748 749 XOR
2 1 232 236 1805 XOR
2 1 274 271 275 XOR
1 1 275 277 INV
2 1 232 275 276 XOR
6 3 104 5235 276 5325 226 277 105 227 278 MAND
2 1 105 5313 221 XOR
2 1 221 40 222 XOR
2 1 225 227 228 XOR
2 1 228 764 765 XOR
2 1 228 232 1825 XOR
2 1 278 275 279 XOR
2 1 228 279 280 XOR
1 1 279 281 INV
6 3 105 5235 280 5313 222 281 106 223 282 MAND
2 1 106 5314 217 XOR
2 1 217 41 218 XOR
2 1 221 223 224 XOR
2 1 224 557 558 XOR
2 1 224 228 1846 XOR
2 1 282 279 283 XOR
2 1 224 283 284 XOR
1 1 283 285 INV
6 3 106 5235 284 5314 218 285 107 219 286 MAND
2 1 107 5308 213 XOR
2 1 213 42 214 XOR
2 1 217 219 220 XOR
2 1 220 623 624 XOR
2 1 220 224 1866 XOR
2 1 286 283 287 XOR
1 1 287 289 INV
2 1 220 287 288 XOR
6 3 107 5235 288 5308 214 289 108 215 290 MAND
2 1 108 5309 209 XOR
2 1 209 43 210 XOR
2 1 290 287 291 XOR
1 1 291 293 INV
2 1 402 404 405 XOR
2 1 405 412 1617 XOR
2 1 248 252 1720 XOR
2 1 252 671 672 XOR
2 1 398 405 1638 XOR
2 1 213 215 216 XOR
2 1 216 291 292 XOR
6 3 108 5235 292 5309 210 293 109 211 294 MAND
2 1 109 5300 205 XOR
2 1 205 44 206 XOR
2 1 209 211 212 XOR
2 1 212 607 608 XOR
2 1 212 216 1918 XOR
2 1 75 216 614 XOR
2 1 216 220 1900 XOR
2 1 294 291 295 XOR
1 1 295 297 INV
2 1 212 295 296 XOR
6 3 109 5235 296 5300 206 297 110 207 298 MAND
2 1 110 5301 201 XOR
2 1 201 45 202 XOR
2 1 205 207 208 XOR
2 1 208 212 1937 XOR
2 1 208 597 598 XOR
2 1 298 295 299 XOR
2 1 208 299 300 XOR
1 1 299 301 INV
6 3 110 5235 300 5301 202 301 111 203 302 MAND
2 1 201 203 204 XOR
2 1 204 587 588 XOR
2 1 111 5295 197 XOR
2 1 197 46 198 XOR
2 1 204 208 1955 XOR
2 1 302 299 303 XOR
1 1 303 305 INV
2 1 204 303 304 XOR
6 3 111 5235 304 5295 198 305 112 199 306 MAND
2 1 197 199 200 XOR
2 1 200 577 578 XOR
2 1 200 204 1977 XOR
2 1 112 5296 193 XOR
2 1 193 47 194 XOR
2 1 306 303 307 XOR
1 1 307 309 INV
2 1 200 307 308 XOR
6 3 112 5235 308 5296 194 309 113 195 310 MAND
2 1 193 195 196 XOR
2 1 196 567 568 XOR
2 1 196 200 1995 XOR
2 1 113 5281 189 XOR
2 1 189 48 190 XOR
2 1 310 307 311 XOR
1 1 311 313 INV
2 1 196 311 312 XOR
6 3 5235 113 312 190 5281 313 191 114 314 MAND
2 1 189 191 192 XOR
2 1 192 489 490 XOR
2 1 114 5282 185 XOR
2 1 185 49 186 XOR
2 1 192 196 2014 XOR
2 1 314 311 315 XOR
1 1 315 317 INV
2 1 192 315 316 XOR
6 3 5235 114 316 186 5282 317 187 115 318 MAND
2 1 115 5276 181 XOR
2 1 181 50 182 XOR
2 1 185 187 188 XOR
2 1 188 192 2032 XOR
2 1 188 482 483 XOR
2 1 318 315 319 XOR
1 1 319 321 INV
2 1 188 319 320 XOR
6 3 5235 115 320 182 5276 321 183 116 322 MAND
2 1 181 183 184 XOR
2 1 184 475 476 XOR
2 1 184 188 2057 XOR
2 1 116 5277 177 XOR
2 1 177 51 178 XOR
2 1 322 319 323 XOR
2 1 184 323 324 XOR
1 1 323 325 INV
6 3 5235 116 324 178 5277 325 179 117 326 MAND
2 1 117 5268 173 XOR
2 1 173 52 174 XOR
2 1 177 179 180 XOR
2 1 180 468 469 XOR
2 1 180 184 2075 XOR
2 1 326 323 327 XOR
2 1 180 327 328 XOR
1 1 327 329 INV
6 3 117 5235 328 5268 174 329 118 175 330 MAND
2 1 118 5269 169 XOR
2 1 169 53 170 XOR
2 1 173 175 176 XOR
2 1 176 180 2094 XOR
2 1 176 461 462 XOR
2 1 330 327 331 XOR
2 1 176 331 332 XOR
1 1 331 333 INV
6 3 118 5235 332 5269 170 333 119 171 334 MAND
2 1 169 171 172 XOR
2 1 172 176 2112 XOR
2 1 172 454 455 XOR
2 1 119 5263 165 XOR
2 1 165 54 166 XOR
2 1 334 331 335 XOR
1 1 335 337 INV
2 1 172 335 336 XOR
6 3 119 5235 336 5263 166 337 120 167 338 MAND
2 1 120 5264 161 XOR
2 1 161 55 162 XOR
2 1 165 167 168 XOR
2 1 168 447 448 XOR
2 1 168 172 2134 XOR
2 1 338 335 339 XOR
1 1 339 341 INV
2 1 168 339 340 XOR
6 3 120 5235 340 5264 162 341 121 163 342 MAND
2 1 5252 121 122 XOR
2 1 122 56 123 XOR
2 1 161 163 164 XOR
2 1 164 440 441 XOR
2 1 164 168 2152 XOR
2 1 342 339 343 XOR
2 1 164 343 344 XOR
1 1 343 345 INV
6 3 5235 5252 344 123 121 345 124 126 346 MAND
2 1 122 124 125 XOR
2 1 125 384 385 XOR
2 1 126 5253 157 XOR
2 1 157 57 158 XOR
2 1 125 164 2171 XOR
2 1 346 343 347 XOR
2 1 125 347 348 XOR
1 1 347 349 INV
6 3 126 5235 348 5253 158 349 127 159 350 MAND
2 1 157 159 160 XOR
2 1 160 433 434 XOR
2 1 125 160 2189 XOR
2 1 127 5247 153 XOR
2 1 153 58 154 XOR
2 1 350 347 351 XOR
1 1 351 353 INV
2 1 160 351 352 XOR
6 3 127 5235 352 5247 154 353 128 155 354 MAND
2 1 153 155 156 XOR
2 1 156 160 2217 XOR
2 1 128 5248 149 XOR
2 1 149 59 150 XOR
2 1 156 426 427 XOR
2 1 354 351 355 XOR
2 1 156 355 356 XOR
1 1 355 357 INV
6 3 128 5235 356 5248 150 357 129 151 358 MAND
2 1 129 5239 145 XOR
2 1 145 60 146 XOR
2 1 149 151 152 XOR
2 1 152 156 2235 XOR
2 1 358 355 359 XOR
1 1 359 361 INV
2 1 152 359 360 XOR
6 3 129 5235 360 5239 146 361 130 147 362 MAND
2 1 145 147 148 XOR
2 1 148 412 413 XOR
2 1 148 152 2254 XOR
2 1 130 5240 141 XOR
2 1 141 61 142 XOR
2 1 362 359 363 XOR
1 1 363 365 INV
2 1 148 363 364 XOR
6 3 130 5235 364 5240 142 365 131 143 366 MAND
2 1 141 143 144 XOR
2 1 144 405 406 XOR
2 1 144 148 2272 XOR
2 1 131 5234 137 XOR
2 1 137 62 138 XOR
2 1 366 363 367 XOR
2 1 144 367 368 XOR
1 1 367 369 INV
6 3 131 5235 368 5234 138 369 132 139 370 MAND
2 1 5235 132 133 XOR
2 1 133 63 134 XOR
2 1 137 139 140 XOR
2 1 140 144 2294 XOR
2 1 140 398 399 XOR
2 1 370 367 371 XOR
1 1 371 373 INV
2 1 140 371 372 XOR
4 2 5235 372 134 373 135 374 MAND
2 1 374 371 375 XOR
1 1 375 377 INV
2 1 416 418 419 XOR
2 1 419 426 1582 XOR
2 1 412 419 1600 XOR
2 1 152 419 420 XOR
2 1 133 135 136 XOR
2 1 136 140 2312 XOR
2 1 136 391 392 XOR
2 1 136 375 376 XOR
2 1 376 377 378 AND
2 1 378 375 379 XOR
1 1 379 380 INV
64 32 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 380 420 765 598 703 385 469 718 427 734 448 399 568 578 608 462 659 672 392 406 558 490 413 588 614 624 434 441 455 687 749 476 483 421 766 599 704 386 470 719 428 735 449 400 569 579 609 463 660 673 393 407 559 491 414 589 615 625 435 442 456 688 750 477 484 MAND
2 1 152 421 422 XOR
2 1 228 766 767 XOR
2 1 236 735 736 XOR
2 1 140 400 401 XOR
2 1 196 569 570 XOR
2 1 200 579 580 XOR
2 1 401 580 581 XOR
2 1 212 609 610 XOR
2 1 422 610 611 XOR
2 1 256 660 661 XOR
2 1 252 673 674 XOR
2 1 125 386 387 XOR
2 1 136 393 394 XOR
2 1 394 570 571 XOR
2 1 224 559 560 XOR
2 1 387 560 561 XOR
2 1 144 407 408 XOR
2 1 192 491 492 XOR
1 1 492 494 INV
2 1 492 661 662 XOR
2 1 148 414 415 XOR
2 1 204 589 590 XOR
2 1 408 590 591 XOR
2 1 208 599 600 XOR
2 1 415 600 601 XOR
2 1 156 428 429 XOR
2 1 216 615 616 XOR
2 1 429 616 617 XOR
2 1 220 625 626 XOR
2 1 160 435 436 XOR
2 1 436 626 627 XOR
2 1 164 442 443 XOR
2 1 443 767 768 XOR
2 1 168 449 450 XOR
2 1 244 704 705 XOR
2 1 172 456 457 XOR
2 1 176 463 464 XOR
2 1 240 719 720 XOR
2 1 464 720 721 XOR
2 1 457 736 737 XOR
2 1 180 470 471 XOR
2 1 232 750 751 XOR
2 1 450 751 752 XOR
2 1 471 705 706 XOR
2 1 184 477 478 XOR
2 1 248 688 689 XOR
2 1 478 689 690 XOR
2 1 188 484 485 XOR
2 1 485 492 493 XOR
2 1 485 674 675 XOR
2 1 493 494 495 AND
2 1 495 492 496 XOR
1 1 496 498 INV
2 1 478 496 497 XOR
2 1 497 498 499 AND
2 1 499 496 500 XOR
2 1 471 500 501 XOR
1 1 500 502 INV
2 1 501 502 503 AND
2 1 503 500 504 XOR
2 1 464 504 505 XOR
1 1 504 506 INV
2 1 505 506 507 AND
2 1 507 504 508 XOR
2 1 457 508 509 XOR
1 1 508 510 INV
2 1 509 510 511 AND
2 1 511 508 512 XOR
2 1 450 512 513 XOR
1 1 512 514 INV
2 1 513 514 515 AND
2 1 515 512 516 XOR
2 1 443 516 517 XOR
1 1 516 518 INV
2 1 517 518 519 AND
2 1 519 516 520 XOR
2 1 387 520 521 XOR
1 1 520 522 INV
2 1 521 522 523 AND
2 1 523 520 524 XOR
2 1 436 524 525 XOR
1 1 524 526 INV
2 1 525 526 527 AND
2 1 527 524 528 XOR
2 1 429 528 529 XOR
1 1 528 530 INV
2 1 529 530 531 AND
2 1 531 528 532 XOR
2 1 422 532 533 XOR
1 1 532 534 INV
2 1 533 534 535 AND
2 1 535 532 536 XOR
2 1 415 536 537 XOR
1 1 536 538 INV
2 1 537 538 539 AND
2 1 539 536 540 XOR
2 1 408 540 541 XOR
1 1 540 542 INV
2 1 541 542 543 AND
2 1 543 540 544 XOR
2 1 401 544 545 XOR
1 1 544 546 INV
2 1 545 546 547 AND
2 1 547 544 548 XOR
2 1 394 548 549 XOR
1 1 548 550 INV
2 1 549 550 551 AND
2 1 551 548 552 XOR
1 1 552 553 INV
32 16 553 553 553 553 553 553 553 553 553 553 553 553 553 553 553 553 675 706 617 591 571 662 690 601 752 737 627 768 611 561 581 721 676 707 618 592 572 663 691 602 753 738 628 769 612 562 582 722 MAND
2 1 471 707 708 XOR
2 1 429 618 619 XOR
2 1 408 592 593 XOR
2 1 394 572 573 XOR
2 1 492 663 664 XOR
2 1 485 676 677 XOR
2 1 478 691 692 XOR
2 1 619 692 693 XOR
2 1 457 738 739 XOR
2 1 436 628 629 XOR
2 1 443 769 770 XOR
2 1 573 770 771 XOR
2 1 415 602 603 XOR
2 1 629 677 678 XOR
2 1 593 739 740 XOR
2 1 450 753 754 XOR
2 1 422 612 613 XOR
2 1 613 708 709 XOR
2 1 387 562 563 XOR
2 1 563 629 630 XOR
2 1 563 664 665 XOR
1 1 563 631 INV
2 1 630 631 632 AND
2 1 563 632 633 XOR
2 1 619 633 634 XOR
1 1 633 635 INV
2 1 634 635 636 AND
2 1 636 633 637 XOR
1 1 637 639 INV
2 1 613 637 638 XOR
2 1 638 639 640 AND
2 1 640 637 641 XOR
2 1 603 641 642 XOR
1 1 641 643 INV
2 1 642 643 644 AND
2 1 644 641 645 XOR
1 1 645 647 INV
2 1 593 645 646 XOR
2 1 646 647 648 AND
2 1 648 645 649 XOR
1 1 649 651 INV
2 1 401 582 583 XOR
2 1 583 754 755 XOR
2 1 583 649 650 XOR
2 1 650 651 652 AND
2 1 652 649 653 XOR
2 1 573 653 654 XOR
1 1 653 655 INV
2 1 654 655 656 AND
2 1 656 653 657 XOR
1 1 657 658 INV
2 1 464 722 723 XOR
2 1 603 723 724 XOR
16 8 658 658 658 658 658 658 658 658 755 771 678 709 740 665 693 724 756 772 679 710 741 666 694 725 MAND
2 1 573 772 773 XOR
2 1 629 679 680 XOR
2 1 613 710 711 XOR
2 1 563 666 667 XOR
1 1 667 779 INV
4 2 680 667 779 680 833 681 MAND
2 1 667 833 802 XOR
1 1 802 803 INV
2 1 667 681 682 XOR
1 1 682 696 INV
2 1 619 694 695 XOR
2 1 583 756 757 XOR
2 1 593 741 742 XOR
2 1 603 725 726 XOR
2 1 779 833 834 XOR
8 4 695 695 695 695 802 803 696 834 780 804 697 835 MAND
2 1 802 780 781 XOR
2 1 802 804 805 XOR
1 1 805 806 INV
2 1 682 697 698 XOR
2 1 834 835 836 XOR
8 4 711 711 698 711 781 806 711 836 782 807 712 837 MAND
2 1 781 782 783 XOR
1 1 783 784 INV
2 1 805 807 808 XOR
2 1 698 712 713 XOR
1 1 713 727 INV
2 1 836 837 838 XOR
8 4 726 726 726 726 727 808 784 838 728 809 785 839 MAND
2 1 713 728 729 XOR
2 1 808 809 810 XOR
2 1 783 785 786 XOR
1 1 786 787 INV
2 1 838 839 840 XOR
8 4 729 742 742 742 742 810 787 840 743 811 788 841 MAND
2 1 729 743 744 XOR
2 1 810 811 812 XOR
1 1 744 758 INV
2 1 786 788 789 XOR
2 1 840 841 842 XOR
8 4 757 757 757 757 812 758 789 842 813 759 790 843 MAND
2 1 812 813 814 XOR
2 1 744 759 760 XOR
2 1 789 790 791 XOR
2 1 842 843 844 XOR
8 4 773 760 773 773 814 773 791 844 815 774 792 845 MAND
2 1 814 815 816 XOR
2 1 760 774 775 XOR
1 1 775 5027 INV
1 1 5027 2449 INV
2 1 791 792 793 XOR
2 1 775 793 794 XOR
2 1 775 794 893 XOR
1 1 893 5028 INV
2 1 775 5028 1239 XOR
1 1 1239 3428 INV
2 1 775 3428 3429 XOR
2 1 5027 893 941 XOR
1 1 794 795 INV
2 1 844 845 846 XOR
144 72 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 5027 2449 775 5027 775 775 775 5027 658 1977 1761 1781 1995 1433 1600 853 2294 1825 0 796 1638 2057 1211 2112 2134 1805 1918 1617 1565 1534 1937 1866 1338 2235 2171 2189 1846 2254 2312 2075 824 1900 1720 776 1494 1514 1452 1475 1582 1740 2152 2032 2094 2217 2272 1955 821 1199 1202 1240 1208 1220 1223 1267 1299 1318 2014 1362 1394 1413 1655 1673 1693 3428 3428 5028 5028 893 941 794 846 1978 1762 1782 1996 1434 1601 854 2295 1826 856 797 1639 2058 1212 2113 2135 1806 1919 1618 1566 1535 1938 1867 1339 2236 2172 2190 1847 2255 2313 2076 825 1901 1721 777 1495 1515 1453 1476 1583 1741 2153 2033 2095 2218 2273 1956 822 1200 1203 1241 1209 1221 1224 1268 1300 1319 2015 1363 1395 1414 1656 1674 1694 2450 3437 5029 1039 894 942 817 866 MAND
2 1 240 1762 1763 XOR
2 1 200 1978 1979 XOR
2 1 412 1601 1602 XOR
2 1 196 1996 1997 XOR
2 1 686 854 855 XOR
2 1 856 0 857 XOR
2 1 398 1639 1640 XOR
2 1 1602 1640 1641 XOR
2 1 168 2135 2136 XOR
2 1 236 1782 1783 XOR
2 1 232 1806 1807 XOR
2 1 1763 1807 1808 XOR
2 1 405 1618 1619 XOR
2 1 433 1535 1536 XOR
2 1 426 1566 1567 XOR
2 1 1567 1602 1603 XOR
2 1 140 2295 2296 XOR
2 1 125 2172 2173 XOR
2 1 2136 2173 2174 XOR
2 1 160 2190 2191 XOR
2 1 228 1826 1827 XOR
2 1 1783 1827 1828 XOR
2 1 152 2236 2237 XOR
2 1 224 1847 1848 XOR
2 1 1807 1848 1849 XOR
2 1 2191 2237 2238 XOR
2 1 136 2313 2314 XOR
2 1 220 1867 1868 XOR
2 1 184 2058 2059 XOR
2 1 1827 1868 1869 XOR
2 1 148 2255 2256 XOR
2 1 2256 2296 2297 XOR
2 1 216 1901 1902 XOR
2 1 1848 1902 1903 XOR
2 1 717 825 826 XOR
2 1 826 855 1252 XOR
2 1 855 857 858 XOR
2 1 75 777 778 XOR
2 1 248 1721 1722 XOR
2 1 1722 1763 1764 XOR
2 1 557 797 798 XOR
2 1 440 1495 1496 XOR
2 1 489 1339 1340 XOR
2 1 461 1434 1435 XOR
2 1 454 1453 1454 XOR
2 1 1454 1496 1497 XOR
2 1 447 1476 1477 XOR
2 1 1435 1477 1478 XOR
2 1 384 1515 1516 XOR
2 1 1477 1516 1517 XOR
2 1 1516 1567 1568 XOR
2 1 1496 1536 1537 XOR
2 1 419 1583 1584 XOR
2 1 1536 1584 1585 XOR
2 1 1584 1619 1620 XOR
2 1 244 1741 1742 XOR
2 1 1742 1783 1784 XOR
2 1 212 1919 1920 XOR
2 1 1868 1920 1921 XOR
2 1 164 2153 2154 XOR
2 1 208 1938 1939 XOR
2 1 188 2033 2034 XOR
2 1 1997 2034 2035 XOR
2 1 180 2076 2077 XOR
2 1 2034 2077 2078 XOR
2 1 176 2095 2096 XOR
2 1 2059 2096 2097 XOR
2 1 172 2113 2114 XOR
2 1 2077 2114 2115 XOR
2 1 2114 2154 2155 XOR
2 1 2154 2191 2192 XOR
2 1 156 2218 2219 XOR
2 1 2173 2219 2220 XOR
2 1 2219 2256 2257 XOR
2 1 144 2273 2274 XOR
2 1 2274 2314 2315 XOR
2 1 2237 2274 2275 XOR
2 1 1902 1939 1940 XOR
2 1 204 1956 1957 XOR
2 1 1957 1997 1998 XOR
2 1 778 798 799 XOR
2 1 607 1200 1201 XOR
2 1 623 1203 1204 XOR
2 1 1201 1204 1205 XOR
2 1 764 1209 1210 XOR
2 1 1204 1210 1273 XOR
2 1 733 1212 1213 XOR
2 1 1210 1213 1214 XOR
2 1 702 1221 1222 XOR
2 1 671 1224 1225 XOR
2 1 1222 1225 1226 XOR
2 1 1920 1957 1958 XOR
2 1 597 1241 1242 XOR
2 1 778 1242 1243 XOR
2 1 587 1268 1269 XOR
2 1 1201 1269 1270 XOR
2 1 1213 1222 1279 XOR
2 1 577 1300 1301 XOR
2 1 1939 1979 1980 XOR
2 1 1242 1301 1302 XOR
2 1 192 2015 2016 XOR
2 1 1979 2016 2017 XOR
2 1 2016 2059 2060 XOR
2 1 2096 2136 2137 XOR
2 1 567 1319 1320 XOR
2 1 1269 1320 1321 XOR
2 1 1301 1340 1341 XOR
2 1 482 1363 1364 XOR
2 1 1320 1364 1365 XOR
2 1 475 1395 1396 XOR
2 1 1396 1435 1436 XOR
2 1 1340 1396 1397 XOR
2 1 468 1414 1415 XOR
2 1 1364 1415 1416 XOR
2 1 1415 1454 1455 XOR
2 1 391 1656 1657 XOR
2 1 1619 1657 1658 XOR
2 1 256 1674 1675 XOR
2 1 1675 1722 1723 XOR
2 1 1640 1675 1676 XOR
2 1 252 1694 1695 XOR
2 1 1657 1695 1696 XOR
2 1 1695 1742 1743 XOR
2 1 748 822 823 XOR
2 1 823 826 827 XOR
2 1 798 823 1246 XOR
1 1 2450 2451 INV
1 1 2451 2452 INV
1 1 5029 5030 INV
1 1 5030 5031 INV
2 1 775 894 895 XOR
1 1 895 896 INV
2 1 5027 942 943 XOR
2 1 775 817 818 XOR
2 1 816 818 819 XOR
2 1 819 895 897 XOR
2 1 897 1039 1298 XOR
1 1 1298 3436 INV
2 1 3436 3437 3438 XOR
1 1 897 5022 INV
2 1 893 5022 4807 XOR
2 1 5022 943 944 XOR
1 1 818 848 INV
1 1 819 820 INV
2 1 658 846 847 XOR
2 1 553 866 867 XOR
142 71 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 795 3436 893 897 896 944 819 795 795 795 795 795 795 867 1226 1784 1808 1828 1849 1869 1903 1243 1921 1246 1940 1958 1252 857 1980 1998 2017 2035 2060 2078 1270 2097 1273 2115 2137 1279 1225 2155 2174 2192 2220 2238 2257 2275 2297 1302 2315 1365 1397 1497 1478 1436 827 1341 858 799 1321 1416 1455 1676 1696 1723 1743 1764 1214 1620 1641 1658 3437 4807 1039 897 943 848 1517 1537 1568 1585 1603 1205 866 1227 1785 1809 1829 1850 1870 1904 1244 1922 1247 1941 1959 1253 1255 1981 1999 2018 2036 2061 2079 1271 2098 1274 2116 2138 1280 1282 2156 2175 2193 2221 2239 2258 2276 2298 1303 2316 1366 1398 1498 1479 1437 828 1342 859 800 1322 1417 1456 1677 1697 1724 1744 1765 1215 1621 1642 1659 3452 4808 1040 898 945 849 1518 1538 1569 1586 1604 1206 875 MAND
2 1 1222 1227 1228 XOR
2 1 1783 1785 1786 XOR
2 1 1807 1809 1810 XOR
2 1 1827 1829 1830 XOR
2 1 1848 1850 1851 XOR
2 1 1868 1870 1871 XOR
2 1 1786 1871 1872 XOR
2 1 1902 1904 1905 XOR
2 1 1810 1905 1906 XOR
2 1 1242 1244 1245 XOR
2 1 1920 1922 1923 XOR
2 1 1830 1923 1924 XOR
2 1 798 1247 1248 XOR
2 1 1245 1248 1249 XOR
2 1 1939 1941 1942 XOR
2 1 1851 1942 1943 XOR
2 1 1957 1959 1960 XOR
2 1 1871 1960 1961 XOR
2 1 826 1253 1254 XOR
2 1 1979 1981 1982 XOR
2 1 1905 1982 1983 XOR
2 1 857 1255 1256 XOR
2 1 1254 1256 1257 XOR
2 1 1997 1999 2000 XOR
2 1 1923 2000 2001 XOR
2 1 2016 2018 2019 XOR
2 1 1942 2019 2020 XOR
2 1 2034 2036 2037 XOR
2 1 1960 2037 2038 XOR
2 1 2059 2061 2062 XOR
2 1 1982 2062 2063 XOR
2 1 2077 2079 2080 XOR
2 1 2000 2080 2081 XOR
2 1 1269 1271 1272 XOR
2 1 2096 2098 2099 XOR
2 1 2019 2099 2100 XOR
2 1 1204 1274 1275 XOR
2 1 1272 1275 1276 XOR
2 1 2114 2116 2117 XOR
2 1 2037 2117 2118 XOR
2 1 2136 2138 2139 XOR
2 1 2062 2139 2140 XOR
2 1 1213 1280 1281 XOR
2 1 2154 2156 2157 XOR
2 1 2080 2157 2158 XOR
2 1 1225 1282 1283 XOR
2 1 1281 1283 1284 XOR
2 1 2173 2175 2176 XOR
2 1 2099 2176 2177 XOR
2 1 2191 2193 2194 XOR
2 1 2117 2194 2195 XOR
2 1 1248 1254 1347 XOR
2 1 2219 2221 2222 XOR
2 1 2139 2222 2223 XOR
2 1 2237 2239 2240 XOR
2 1 2157 2240 2241 XOR
2 1 2256 2258 2259 XOR
2 1 2176 2259 2260 XOR
2 1 2274 2276 2277 XOR
2 1 2194 2277 2278 XOR
2 1 2296 2298 2299 XOR
2 1 2222 2299 2300 XOR
2 1 1301 1303 1304 XOR
2 1 2314 2316 2317 XOR
2 1 2240 2317 2318 XOR
2 1 1364 1366 1367 XOR
2 1 1496 1498 1499 XOR
2 1 1272 1367 1368 XOR
2 1 1396 1398 1399 XOR
2 1 1304 1399 1400 XOR
2 1 1477 1479 1480 XOR
2 1 1399 1480 1481 XOR
2 1 1435 1437 1438 XOR
2 1 1275 1281 1371 XOR
2 1 823 828 829 XOR
2 1 1340 1342 1343 XOR
2 1 1343 1438 1439 XOR
2 1 855 859 860 XOR
2 1 829 860 1308 XOR
2 1 1245 1343 1344 XOR
2 1 778 800 801 XOR
2 1 801 1304 1305 XOR
2 1 801 829 830 XOR
2 1 1320 1322 1323 XOR
2 1 1415 1417 1418 XOR
2 1 1323 1418 1419 XOR
2 1 1418 1499 1500 XOR
2 1 1454 1456 1457 XOR
2 1 1367 1457 1458 XOR
2 1 1695 1697 1698 XOR
2 1 1698 1786 1787 XOR
2 1 1722 1724 1725 XOR
2 1 1725 1810 1811 XOR
2 1 1742 1744 1745 XOR
2 1 1745 1830 1831 XOR
2 1 1675 1677 1678 XOR
2 1 1763 1765 1766 XOR
2 1 1766 1851 1852 XOR
2 1 1678 1766 1767 XOR
2 1 1210 1215 1216 XOR
2 1 1216 1228 1327 XOR
2 1 1619 1621 1622 XOR
2 1 1622 1698 1699 XOR
2 1 893 4808 4809 XOR
2 1 898 895 899 XOR
1 1 899 900 INV
2 1 945 943 946 XOR
2 1 818 849 850 XOR
1 1 850 868 INV
2 1 1516 1518 1519 XOR
2 1 1438 1519 1520 XOR
2 1 1536 1538 1539 XOR
2 1 1457 1539 1540 XOR
2 1 1567 1569 1570 XOR
2 1 1480 1570 1571 XOR
2 1 1584 1586 1587 XOR
2 1 1499 1587 1588 XOR
2 1 1602 1604 1605 XOR
2 1 1605 1678 1679 XOR
2 1 1519 1605 1606 XOR
2 1 1539 1622 1623 XOR
2 1 1201 1206 1207 XOR
2 1 1207 1323 1324 XOR
2 1 1207 1216 1217 XOR
2 1 1640 1642 1643 XOR
2 1 1643 1725 1726 XOR
2 1 1570 1643 1644 XOR
2 1 1657 1659 1660 XOR
2 1 1660 1745 1746 XOR
2 1 1587 1660 1661 XOR
2 1 866 875 876 XOR
2 1 380 876 877 XOR
2 1 847 850 851 XOR
2 1 851 899 901 XOR
2 1 901 1040 1393 XOR
1 1 1393 3451 INV
2 1 3451 3452 3453 XOR
1 1 901 5023 INV
2 1 5023 4809 4810 XOR
2 1 5023 946 947 XOR
146 73 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 820 380 901 3436 3451 4810 5022 900 947 851 2140 1924 2158 1811 1284 2177 1943 2195 1249 2223 2241 1228 1961 2260 2278 1831 2300 1983 2318 1257 1368 2001 1481 1400 1371 2081 1852 1439 2020 1308 860 1344 1347 1256 1283 1305 830 2038 1419 1500 1458 1327 1787 1699 2063 1906 1872 2118 1767 2100 1276 1520 1540 1571 1588 1679 1606 1623 1324 1217 1726 1644 1746 1661 876 1040 3451 3452 4809 5023 901 946 868 2141 1925 2159 1812 1285 2178 1944 2196 1250 2224 2242 1229 1962 2261 2279 1832 2301 1984 2319 1258 1369 2002 1482 1401 1372 2082 1853 1440 2021 1309 861 1345 1348 1353 1377 1306 831 2039 1420 1501 1459 1328 1788 1700 2064 1907 1873 2119 1768 2101 1277 1521 1541 1572 1589 1680 1607 1624 1325 1218 1727 1645 1747 1662 889 1041 2446 3479 4811 5024 902 948 869 MAND
2 1 2139 2141 2142 XOR
2 1 1923 1925 1926 XOR
2 1 2157 2159 2160 XOR
2 1 1810 1812 1813 XOR
2 1 2176 2178 2179 XOR
2 1 1281 1285 1286 XOR
2 1 1942 1944 1945 XOR
2 1 2194 2196 2197 XOR
2 1 2222 2224 2225 XOR
2 1 1245 1250 1251 XOR
2 1 2240 2242 2243 XOR
2 1 1960 1962 1963 XOR
2 1 2259 2261 2262 XOR
2 1 2277 2279 2280 XOR
2 1 2299 2301 2302 XOR
2 1 2142 2302 2303 XOR
2 1 1830 1832 1833 XOR
2 1 1982 1984 1985 XOR
2 1 1985 2142 2143 XOR
2 1 2317 2319 2320 XOR
2 1 2160 2320 2321 XOR
2 1 1813 1985 1986 XOR
2 1 2000 2002 2003 XOR
2 1 2003 2160 2161 XOR
2 1 1833 2003 2004 XOR
2 1 1480 1482 1483 XOR
2 1 1399 1401 1402 XOR
2 1 1367 1369 1370 XOR
2 1 1254 1258 1259 XOR
2 1 1251 1259 1260 XOR
2 1 1438 1440 1441 XOR
2 1 1251 1441 1442 XOR
2 1 1851 1853 1854 XOR
2 1 2019 2021 2022 XOR
2 1 2022 2179 2180 XOR
2 1 829 1309 1310 XOR
2 1 860 861 862 XOR
2 1 1854 2022 2023 XOR
2 1 1343 1345 1346 XOR
2 1 1248 1348 1349 XOR
2 1 1346 1349 1350 XOR
2 1 1256 1353 1354 XOR
2 1 1349 1354 1526 XOR
2 1 1275 1372 1373 XOR
2 1 1370 1373 1374 XOR
2 1 1283 1377 1378 XOR
2 1 1373 1378 1546 XOR
2 1 1304 1306 1307 XOR
2 1 1307 1483 1484 XOR
2 1 801 831 832 XOR
2 1 832 862 863 XOR
2 1 832 1402 1403 XOR
2 1 1307 1310 1311 XOR
2 1 2037 2039 2040 XOR
2 1 2040 2197 2198 XOR
2 1 1418 1420 1421 XOR
2 1 1499 1501 1502 XOR
2 1 1457 1459 1460 XOR
2 1 1216 1328 1329 XOR
2 1 1786 1788 1789 XOR
2 1 1789 1963 1964 XOR
2 1 1698 1700 1701 XOR
2 1 2062 2064 2065 XOR
2 1 2065 2225 2226 XOR
2 1 1905 1907 1908 XOR
2 1 1908 2065 2066 XOR
2 1 2117 2119 2120 XOR
2 1 2120 2280 2281 XOR
2 1 1871 1873 1874 XOR
2 1 1874 2040 2041 XOR
2 1 1701 1874 1875 XOR
2 1 2080 2082 2083 XOR
2 1 2083 2243 2244 XOR
2 1 1963 2120 2121 XOR
2 1 1926 2083 2084 XOR
2 1 1228 1229 1230 XOR
2 1 1766 1768 1769 XOR
2 1 1769 1945 1946 XOR
2 1 2099 2101 2102 XOR
2 1 2102 2262 2263 XOR
2 1 1945 2102 2103 XOR
2 1 1272 1277 1278 XOR
2 1 1278 1460 1461 XOR
2 1 1278 1286 1287 XOR
2 1 1519 1521 1522 XOR
2 1 1346 1522 1523 XOR
2 1 1539 1541 1542 XOR
2 1 1542 1701 1702 XOR
2 1 1370 1542 1543 XOR
2 1 1570 1572 1573 XOR
2 1 1402 1573 1574 XOR
2 1 1587 1589 1590 XOR
2 1 1421 1590 1591 XOR
2 1 1678 1680 1681 XOR
2 1 1522 1681 1682 XOR
2 1 1681 1854 1855 XOR
2 1 1605 1607 1608 XOR
2 1 1608 1769 1770 XOR
2 1 1441 1608 1609 XOR
2 1 1622 1624 1625 XOR
2 1 1460 1625 1626 XOR
2 1 1625 1789 1790 XOR
2 1 1323 1325 1326 XOR
2 1 1326 1502 1503 XOR
2 1 1326 1329 1330 XOR
2 1 1207 1218 1219 XOR
2 1 1219 1421 1422 XOR
2 1 1219 1230 1231 XOR
2 1 1725 1727 1728 XOR
2 1 1728 1908 1909 XOR
2 1 1573 1728 1729 XOR
2 1 1643 1645 1646 XOR
2 1 1483 1646 1647 XOR
2 1 1646 1813 1814 XOR
2 1 1745 1747 1748 XOR
2 1 1748 1926 1927 XOR
2 1 1590 1748 1749 XOR
2 1 1660 1662 1663 XOR
2 1 1502 1663 1664 XOR
2 1 1663 1833 1834 XOR
1 1 2446 2447 INV
1 1 2447 2448 INV
2 1 4811 4809 4812 XOR
1 1 5024 5025 INV
1 1 5025 5026 INV
2 1 902 899 903 XOR
1 1 903 904 INV
2 1 948 946 949 XOR
1 1 851 852 INV
1 1 5229 5230 INV
1 1 5230 5231 INV
2 1 850 869 870 XOR
2 1 867 870 871 XOR
1 1 871 872 INV
1 1 870 878 INV
2 1 871 903 905 XOR
2 1 905 1041 1564 XOR
1 1 1564 3478 INV
2 1 3478 3479 3480 XOR
1 1 905 5014 INV
2 1 5014 949 950 XOR
2 1 5014 4812 4813 XOR
144 72 2448 5026 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 852 871 905 904 3478 4813 950 852 852 2452 5031 862 1523 2161 1350 2244 1526 1354 1374 1546 1378 2023 2143 1484 2263 1403 1311 863 1286 1729 1855 1964 2004 1422 1230 1591 1647 1664 1259 2180 2041 2281 1626 1461 1702 1287 1543 1503 1329 1330 1260 2226 1790 1814 1927 1770 2198 1682 2066 2103 2303 1909 1834 1442 1310 2321 2084 1609 1875 2121 1231 1946 1986 878 1041 905 3479 4812 949 1574 1749 2453 5032 1406 1524 2162 1351 2245 1527 1355 1375 1547 1379 2024 2144 1485 2264 1404 1312 864 1464 1730 1856 1965 2005 1423 1425 1592 1648 1665 1445 2181 2042 2282 1627 1462 1703 1288 1544 1504 1506 1331 1261 2227 1791 1815 1928 1771 2199 1683 2067 2104 2304 1910 1835 1443 1487 2322 2085 1610 1876 2122 1232 1947 1987 879 1042 906 3530 4814 951 1575 1750 MAND
1 1 2453 2454 INV
1 1 2454 2455 INV
1 1 5032 5033 INV
1 1 5033 5034 INV
2 1 862 1406 1407 XOR
2 1 1522 1524 1525 XOR
2 1 1346 1351 1352 XOR
2 1 2160 2162 2163 XOR
2 1 1349 1527 1528 XOR
2 1 1525 1528 1529 XOR
2 1 1354 1355 1356 XOR
2 1 1352 1356 1357 XOR
2 1 2243 2245 2246 XOR
2 1 1370 1375 1376 XOR
2 1 1373 1547 1548 XOR
2 1 1378 1379 1380 XOR
2 1 1376 1380 1381 XOR
2 1 2022 2024 2025 XOR
2 1 1483 1485 1486 XOR
2 1 2142 2144 2145 XOR
2 1 2262 2264 2265 XOR
2 1 1402 1404 1405 XOR
2 1 1405 1407 1408 XOR
2 1 1307 1312 1313 XOR
2 1 832 864 865 XOR
2 1 1854 1856 1857 XOR
2 1 1525 1857 1858 XOR
2 1 1963 1965 1966 XOR
2 1 1590 1592 1593 XOR
2 1 1421 1423 1424 XOR
2 1 1663 1665 1666 XOR
2 1 1259 1445 1446 XOR
2 1 2040 2042 2043 XOR
2 1 1625 1627 1628 XOR
2 1 1628 1966 1967 XOR
2 1 1701 1703 1704 XOR
2 1 1704 2043 2044 XOR
2 1 1376 1704 1705 XOR
2 1 1460 1462 1463 XOR
2 1 1542 1544 1545 XOR
2 1 1545 1548 1549 XOR
2 1 1728 1730 1731 XOR
2 1 1405 1731 1732 XOR
2 1 1502 1504 1505 XOR
2 1 2280 2282 2283 XOR
2 1 1966 2283 2284 XOR
2 1 1329 1506 1507 XOR
2 1 1505 1507 1508 XOR
2 1 1326 1331 1332 XOR
2 1 1332 1666 1667 XOR
2 1 1251 1261 1262 XOR
2 1 2003 2005 2006 XOR
2 1 1666 2006 2007 XOR
2 1 1278 1288 1289 XOR
2 1 1289 1628 1629 XOR
2 1 1769 1771 1772 XOR
2 1 2197 2199 2200 XOR
2 1 1813 1815 1816 XOR
2 1 1486 1816 1817 XOR
2 1 1816 2145 2146 XOR
2 1 2065 2067 2068 XOR
2 1 1731 2068 2069 XOR
2 1 2102 2104 2105 XOR
2 1 1772 2105 2106 XOR
2 1 2302 2304 2305 XOR
2 1 1681 1683 1684 XOR
2 1 1352 1684 1685 XOR
2 1 1908 1910 1911 XOR
2 1 1926 1928 1929 XOR
2 1 1593 1929 1930 XOR
2 1 1929 2246 2247 XOR
2 1 1441 1443 1444 XOR
2 1 1444 1446 1447 XOR
2 1 1444 1772 1773 XOR
2 1 2225 2227 2228 XOR
2 1 1911 2228 2229 XOR
2 1 1310 1487 1488 XOR
2 1 1486 1488 1489 XOR
2 1 2179 2181 2182 XOR
2 1 1857 2182 2183 XOR
2 1 2083 2085 2086 XOR
2 1 1833 1835 1836 XOR
2 1 1836 2163 2164 XOR
2 1 1505 1836 1837 XOR
2 1 1874 1876 1877 XOR
2 1 1545 1877 1878 XOR
2 1 1877 2200 2201 XOR
2 1 1789 1791 1792 XOR
2 1 1463 1792 1793 XOR
2 1 2320 2322 2323 XOR
2 1 2120 2122 2123 XOR
2 1 2006 2323 2324 XOR
2 1 1945 1947 1948 XOR
2 1 1948 2265 2266 XOR
2 1 1985 1987 1988 XOR
2 1 1988 2305 2306 XOR
2 1 1608 1610 1611 XOR
2 1 1611 1948 1949 XOR
2 1 1262 1611 1612 XOR
2 1 1792 2123 2124 XOR
2 1 870 879 880 XOR
2 1 877 880 881 XOR
1 1 881 882 INV
1 1 880 885 INV
2 1 906 903 907 XOR
2 1 881 907 909 XOR
1 1 909 5015 INV
2 1 909 1042 1899 XOR
2 1 4814 4812 4815 XOR
2 1 5015 4815 4816 XOR
1 1 907 908 INV
1 1 1899 3529 INV
2 1 3529 3530 3531 XOR
2 1 951 949 952 XOR
2 1 5015 952 953 XOR
2 1 1748 1750 1751 XOR
2 1 1424 1751 1752 XOR
2 1 1219 1232 1233 XOR
2 1 1233 1593 1594 XOR
2 1 1230 1425 1426 XOR
2 1 1424 1426 1427 XOR
2 1 1286 1464 1465 XOR
2 1 1463 1465 1466 XOR
2 1 1684 2025 2026 XOR
2 1 1751 2086 2087 XOR
2 1 1646 1648 1649 XOR
2 1 1313 1649 1650 XOR
2 1 1649 1988 1989 XOR
2 1 1573 1575 1576 XOR
2 1 865 1576 1577 XOR
2 1 1576 1911 1912 XOR
142 71 872 872 872 872 872 872 872 872 872 865 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 881 872 872 872 872 872 872 872 872 872 872 872 872 872 872 909 4816 3478 5014 953 908 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 872 1548 2164 1817 1262 1685 1408 1732 1313 1528 872 1489 2266 1529 1930 2007 1446 1447 1356 1967 1629 2044 1705 1793 1549 1878 1858 2069 1837 1357 1507 1508 1667 1332 1289 885 2201 2284 1773 2247 1407 1381 2106 2306 1949 1380 2324 1488 2183 2146 1042 4815 3529 5015 952 909 1612 2124 2229 1752 1594 1233 1426 1427 1466 1465 2087 2026 1650 1989 1577 1912 1881 2165 1818 1263 1686 1409 1733 1314 1861 873 1490 2267 1530 1931 2008 1776 1448 1688 1968 1630 2045 1706 1794 1550 1879 1859 2070 1838 1358 1840 1509 1668 1333 1290 886 2202 2285 1774 2248 1735 1382 2107 2307 1950 1708 2325 1820 2184 2147 1043 4817 2440 5016 954 910 1613 2125 2230 1753 1595 1234 1755 1428 1467 1796 2088 2027 1651 1990 1578 1913 MAND
2 1 1548 1881 1882 XOR
2 1 2163 2165 2166 XOR
2 1 1816 1818 1819 XOR
2 1 1684 1686 1687 XOR
2 1 1405 1409 1410 XOR
2 1 1731 1733 1734 XOR
2 1 1313 1314 1315 XOR
2 1 865 873 874 XOR
2 1 1486 1490 1491 XOR
2 1 1262 1263 1264 XOR
2 1 1528 1861 1862 XOR
2 1 2265 2267 2268 XOR
2 1 1525 1530 1531 XOR
2 1 1929 1931 1932 XOR
2 1 2006 2008 2009 XOR
2 1 1446 1776 1777 XOR
2 1 1444 1448 1449 XOR
2 1 1356 1688 1689 XOR
2 1 1687 1689 1690 XOR
2 1 1966 1968 1969 XOR
2 1 1628 1630 1631 XOR
2 1 2043 2045 2046 XOR
2 1 1704 1706 1707 XOR
2 1 1792 1794 1795 XOR
2 1 1877 1879 1880 XOR
2 1 1880 1882 1883 XOR
2 1 1545 1550 1551 XOR
2 1 1857 1859 1860 XOR
2 1 1860 1862 1863 XOR
2 1 1836 1838 1839 XOR
2 1 1507 1840 1841 XOR
2 1 1505 1509 1510 XOR
2 1 1510 2166 2167 XOR
2 1 1839 1841 1842 XOR
2 1 2068 2070 2071 XOR
2 1 1410 2071 2072 XOR
2 1 1352 1358 1359 XOR
2 1 1666 1668 1669 XOR
2 1 1332 1333 1334 XOR
2 1 1334 2009 2010 XOR
2 1 880 886 887 XOR
1 1 887 888 INV
2 1 887 889 890 XOR
2 1 1289 1290 1291 XOR
2 1 1291 1969 1970 XOR
2 1 2283 2285 2286 XOR
2 1 1631 2286 2287 XOR
2 1 2200 2202 2203 XOR
2 1 1551 2203 2204 XOR
2 1 1772 1774 1775 XOR
2 1 1775 1777 1778 XOR
2 1 2246 2248 2249 XOR
2 1 1407 1735 1736 XOR
2 1 1734 1736 1737 XOR
2 1 1376 1382 1383 XOR
2 1 1383 2046 2047 XOR
2 1 2105 2107 2108 XOR
2 1 1449 2108 2109 XOR
2 1 2305 2307 2308 XOR
2 1 1948 1950 1951 XOR
2 1 1264 1951 1952 XOR
2 1 1380 1708 1709 XOR
2 1 1707 1709 1710 XOR
2 1 1488 1820 1821 XOR
2 1 1819 1821 1822 XOR
2 1 2182 2184 2185 XOR
2 1 1531 2185 2186 XOR
2 1 2145 2147 2148 XOR
2 1 1491 2148 2149 XOR
1 1 2440 2441 INV
1 1 2441 2442 INV
2 1 4817 4815 4818 XOR
1 1 5016 5017 INV
1 1 5017 5018 INV
2 1 954 952 955 XOR
2 1 910 907 911 XOR
2 1 890 911 912 XOR
1 1 912 1044 INV
1 1 1044 5009 INV
2 1 912 955 956 XOR
2 1 912 4818 4819 XOR
2 1 1043 1044 1098 XOR
1 1 1098 2436 INV
2 1 2323 2325 2326 XOR
2 1 1669 2326 2327 XOR
2 1 1611 1613 1614 XOR
2 1 2123 2125 2126 XOR
2 1 1614 2268 2269 XOR
2 1 2228 2230 2231 XOR
2 1 1751 1753 1754 XOR
2 1 1593 1595 1596 XOR
2 1 1596 2249 2250 XOR
2 1 1233 1234 1235 XOR
2 1 1235 1932 1933 XOR
2 1 1426 1755 1756 XOR
2 1 1754 1756 1757 XOR
2 1 1424 1428 1429 XOR
2 1 1463 1467 1468 XOR
2 1 1468 2126 2127 XOR
2 1 1465 1796 1797 XOR
2 1 1795 1797 1798 XOR
2 1 2086 2088 2089 XOR
2 1 1429 2089 2090 XOR
2 1 2025 2027 2028 XOR
2 1 1359 2028 2029 XOR
2 1 1649 1651 1652 XOR
2 1 1652 2308 2309 XOR
2 1 1988 1990 1991 XOR
2 1 1315 1991 1992 XOR
2 1 1576 1578 1579 XOR
2 1 1579 2231 2232 XOR
2 1 1911 1913 1914 XOR
2 1 874 1914 1915 XOR
138 69 882 874 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 888 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 1043 956 4819 911 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 882 1315 882 1491 1863 1882 1531 1777 1449 1690 1689 1631 1883 1551 2072 1841 1510 1410 2167 1842 1359 1669 2010 1334 1264 890 1970 1291 2287 2204 1862 1778 1736 1737 2047 1383 2109 1952 1709 1710 1822 1821 2186 2149 1044 955 4818 912 2327 1614 2269 1596 2250 1933 1235 1757 1756 1429 2127 1468 1798 1797 2090 2029 2309 1992 1652 2232 1579 1915 1316 883 1492 1864 2474 1532 2928 1450 1691 3142 1632 1884 1552 2073 2701 1511 1411 2168 1843 1360 1670 2011 1335 1265 891 1971 1292 2288 2205 2601 1779 3057 1738 2048 1384 2110 1953 3101 1711 1823 2803 2187 2150 1045 957 4820 913 2328 1615 2270 1597 2251 1934 1236 1758 2995 1430 2128 1469 1799 2867 2091 2030 2310 1993 1653 2233 1580 1916 MAND
2 1 1315 1316 1317 XOR
1 1 1317 3330 INV
2 1 874 883 884 XOR
1 1 884 3343 INV
2 1 1491 1492 1493 XOR
1 1 1493 3298 INV
2 1 1860 1864 1865 XOR
2 1 1882 2474 2475 XOR
2 1 884 2475 5044 XOR
1 1 1865 3223 INV
1 1 2475 3348 INV
2 1 1531 1532 1533 XOR
1 1 1533 3287 INV
2 1 1777 2928 2929 XOR
1 1 2929 3365 INV
2 1 1449 1450 1451 XOR
1 1 1451 3303 INV
2 1 1689 3142 3143 XOR
2 1 1631 1632 1633 XOR
1 1 1633 3275 INV
1 1 3143 3378 INV
2 1 1880 1884 1885 XOR
1 1 1885 3224 INV
2 1 1865 1885 3493 XOR
2 1 1551 1552 1553 XOR
1 1 1553 3288 INV
2 1 1533 1553 3544 XOR
2 1 1687 1691 1692 XOR
1 1 1692 3252 INV
2 1 1841 2701 2702 XOR
1 1 2702 3359 INV
2 1 2071 2073 2074 XOR
1 1 2074 3186 INV
2 1 1410 1411 1412 XOR
1 1 1412 3311 INV
2 1 2166 2168 2169 XOR
1 1 2169 3174 INV
2 1 1839 1843 1844 XOR
1 1 1844 3235 INV
2 1 1844 1865 3686 XOR
2 1 1510 1511 1512 XOR
1 1 1512 3299 INV
2 1 1493 1512 3553 XOR
2 1 1512 1533 3734 XOR
2 1 1359 1360 1361 XOR
2 1 1669 1670 1671 XOR
2 1 1671 1692 3707 XOR
1 1 1671 3270 INV
2 1 2009 2011 2012 XOR
1 1 2012 3206 INV
2 1 1334 1335 1336 XOR
2 1 1317 1336 3577 XOR
2 1 1336 1361 3755 XOR
1 1 1336 3331 INV
2 1 891 887 892 XOR
1 1 1361 3316 INV
2 1 1969 1971 1972 XOR
1 1 1972 3211 INV
2 1 2286 2288 2289 XOR
1 1 2289 3150 INV
2 1 1291 1292 1293 XOR
2 1 1293 1317 3767 XOR
2 1 2203 2205 2206 XOR
1 1 2206 3163 INV
2 1 1862 2601 2602 XOR
2 1 2475 2602 3589 XOR
2 1 2602 2702 3778 XOR
1 1 2602 3349 INV
2 1 1264 1265 1266 XOR
2 1 1775 1779 1780 XOR
1 1 1780 3239 INV
2 1 1266 1293 3580 XOR
2 1 1736 3057 3058 XOR
1 1 3058 3373 INV
2 1 1734 1738 1739 XOR
1 1 1739 3247 INV
2 1 2046 2048 2049 XOR
1 1 2049 3192 INV
2 1 2049 2074 3659 XOR
2 1 2108 2110 2111 XOR
1 1 2111 3178 INV
2 1 1383 1384 1385 XOR
2 1 1385 1412 3752 XOR
1 1 1385 3317 INV
2 1 1361 1385 3565 XOR
2 1 1707 1711 1712 XOR
1 1 1712 3253 INV
2 1 1692 1712 3514 XOR
2 1 1712 1739 3704 XOR
2 1 1709 3101 3102 XOR
2 1 3102 3143 3610 XOR
1 1 3102 3377 INV
2 1 1951 1953 1954 XOR
2 1 1954 1972 3484 XOR
1 1 1954 3210 INV
2 1 1819 1823 1824 XOR
1 1 1824 3234 INV
2 1 1824 1844 3502 XOR
2 1 2185 2187 2188 XOR
2 1 2188 2206 3442 XOR
2 1 2169 2188 3641 XOR
1 1 2188 3162 INV
2 1 2148 2150 2151 XOR
2 1 2151 2169 3454 XOR
1 1 2151 3173 INV
2 1 1821 2803 2804 XOR
2 1 2702 2804 3598 XOR
1 1 2804 3360 INV
2 1 3058 3102 3796 XOR
2 1 957 955 958 XOR
2 1 4820 4818 4821 XOR
2 1 913 911 914 XOR
2 1 892 914 915 XOR
2 1 915 4821 4822 XOR
2 1 915 958 959 XOR
2 1 2326 2328 2329 XOR
1 1 2329 3145 INV
2 1 1614 1615 1616 XOR
1 1 1616 3274 INV
2 1 1616 1633 3535 XOR
2 1 2268 2270 2271 XOR
2 1 2271 2289 3430 XOR
1 1 2271 3149 INV
1 1 915 1046 INV
1 1 1046 5010 INV
2 1 1045 1046 1097 XOR
1 1 1097 2435 INV
2 1 1097 1098 1099 XOR
1 1 1266 3335 INV
1 1 1293 3336 INV
2 1 1596 1597 1598 XOR
1 1 1598 3283 INV
2 1 1598 1616 3725 XOR
2 1 2249 2251 2252 XOR
2 1 2252 2271 3632 XOR
1 1 2252 3158 INV
2 1 1932 1934 1935 XOR
1 1 1935 3219 INV
2 1 1935 1954 3677 XOR
2 1 1235 1236 1237 XOR
2 1 884 1237 3586 XOR
1 1 1237 3344 INV
2 1 1237 1266 3770 XOR
2 1 1754 1758 1759 XOR
1 1 1759 3248 INV
2 1 1759 1780 3698 XOR
2 1 1739 1759 3511 XOR
2 1 1429 1430 1431 XOR
2 1 1412 1431 3562 XOR
1 1 1431 3312 INV
2 1 1756 2995 2996 XOR
2 1 2996 3058 3607 XOR
1 1 2996 3372 INV
2 1 2929 2996 3790 XOR
2 1 1431 1451 3746 XOR
2 1 2126 2128 2129 XOR
1 1 2129 3179 INV
2 1 2111 2129 3457 XOR
2 1 2129 2151 3650 XOR
2 1 1468 1469 1470 XOR
2 1 1470 1493 3743 XOR
2 1 1451 1470 3556 XOR
1 1 1470 3304 INV
2 1 1795 1799 1800 XOR
1 1 1800 3240 INV
2 1 1780 1800 3505 XOR
2 1 1800 1824 3695 XOR
2 1 1797 2867 2868 XOR
2 1 2868 2929 3601 XOR
2 1 2804 2868 3787 XOR
1 1 2868 3364 INV
2 1 2089 2091 2092 XOR
2 1 2092 2111 3653 XOR
2 1 2074 2092 3463 XOR
1 1 2092 3187 INV
2 1 2028 2030 2031 XOR
2 1 2031 2049 3466 XOR
2 1 2012 2031 3662 XOR
1 1 2031 3191 INV
2 1 2308 2310 2311 XOR
1 1 2311 3144 INV
2 1 2311 2329 3425 XOR
2 1 1991 1993 1994 XOR
2 1 1994 2012 3481 XOR
2 1 1972 1994 3674 XOR
2 1 2289 2311 3629 XOR
1 1 1994 3205 INV
2 1 1652 1653 1654 XOR
1 1 1654 3269 INV
2 1 1654 1671 3532 XOR
2 1 1633 1654 3722 XOR
2 1 1579 1580 1581 XOR
2 1 1581 1598 3541 XOR
2 1 1553 1581 3731 XOR
1 1 1581 3282 INV
2 1 2231 2233 2234 XOR
2 1 2206 2234 3638 XOR
2 1 2234 2252 3439 XOR
1 1 2234 3157 INV
2 1 1914 1916 1917 XOR
1 1 1917 3218 INV
2 1 1917 1935 3490 XOR
1 1 5484 5485 INV
1 1 5485 5486 INV
2 1 1885 1917 3683 XOR
210 105 5027 2475 5027 3223 5027 3287 5027 5027 3298 5027 5027 5027 3330 5027 5027 5027 5027 5027 3348 5027 5027 3316 5027 3252 5027 5027 5027 3377 5027 3210 3234 5027 5027 5027 3162 5027 3173 5027 3359 5027 914 5027 5027 959 3274 5027 5027 3149 4822 5009 2435 1045 1099 3335 5027 5027 5027 5027 3343 5027 3247 5027 5027 3311 5027 3372 5027 5027 5027 3178 5027 5027 5027 5027 3303 3239 5027 5027 5027 5027 3364 5027 5027 3186 5027 5027 3191 3144 5027 5027 5027 5027 3205 5027 5027 3269 5027 5027 5027 5027 3157 3282 3218 5027 5027 5044 5044 3143 3224 3493 3288 3544 3686 3299 3734 3553 3707 3331 3577 3755 3767 3589 3778 3349 3659 3752 3317 3565 3253 3704 3514 3610 3378 3484 3211 3235 3502 3442 3641 3163 3454 3174 3598 3360 3796 915 3580 2329 958 3275 3535 3430 3150 4821 5010 2436 1046 2436 3336 3725 3677 3632 3586 3344 3770 3248 3698 3511 3312 3607 3373 3790 3746 3562 3179 3457 3650 3743 3556 3304 3240 3505 3695 3601 3787 3365 3463 3653 3187 3466 3662 3192 3145 3425 3481 3674 3629 3206 3532 3722 3270 3731 3541 3638 3439 3158 3283 3219 3490 3683 3776 5045 3799 3225 3494 3289 3545 3687 3300 3735 3554 3708 3332 3578 3756 3768 3590 3779 3350 3660 3753 3318 3566 3254 3705 3515 3611 3379 3485 3212 3236 3503 3443 3642 3164 3455 3175 3599 3361 3797 916 3581 2572 960 3276 3536 3431 3151 4823 5011 2437 1047 1100 3337 3726 3678 3633 3587 3345 3771 3249 3699 3512 3313 3608 3374 3791 3747 3563 3180 3458 3651 3744 3557 3305 3241 3506 3696 3602 3788 3366 3464 3654 3188 3467 3663 3193 3146 3426 3482 3675 3630 3207 3533 3723 3271 3732 3542 3639 3440 3159 3284 3220 3491 3684 MAND
2 1 2475 3776 2476 XOR
2 1 884 3776 3777 XOR
2 1 2475 5045 5046 XOR
2 1 3143 3799 3800 XOR
1 1 3225 3226 INV
1 1 3226 3227 INV
2 1 1865 3494 1886 XOR
2 1 1885 3494 3495 XOR
1 1 3289 3290 INV
1 1 3290 3291 INV
2 1 1553 3545 3546 XOR
2 1 1533 3545 1554 XOR
2 1 1865 3687 3688 XOR
2 1 1844 3687 2524 XOR
1 1 3300 3301 INV
1 1 3301 3302 INV
2 1 1533 3735 3736 XOR
2 1 1512 3735 2495 XOR
2 1 1512 3554 3555 XOR
2 1 3546 3555 3868 XOR
2 1 1493 3554 1513 XOR
2 1 1513 1554 1555 XOR
2 1 1692 3708 3709 XOR
2 1 1671 3708 2511 XOR
1 1 3332 3333 INV
1 1 3333 3334 INV
2 1 1336 3578 3579 XOR
2 1 1317 3578 1337 XOR
2 1 1361 3756 3757 XOR
2 1 1336 3756 2482 XOR
2 1 1293 3768 2481 XOR
2 1 1317 3768 3769 XOR
2 1 3757 3769 3970 XOR
2 1 2481 2482 2483 XOR
2 1 2602 3590 2603 XOR
2 1 2475 3590 3591 XOR
2 1 2602 3779 3780 XOR
2 1 3777 3780 3781 XOR
2 1 2702 3779 2703 XOR
2 1 2476 2703 2704 XOR
1 1 3350 3351 INV
1 1 3351 3352 INV
2 1 2049 3660 2550 XOR
2 1 2074 3660 3661 XOR
2 1 1385 3753 2489 XOR
2 1 1412 3753 3754 XOR
2 1 3754 3757 3758 XOR
2 1 2482 2489 2713 XOR
1 1 3318 3319 INV
1 1 3319 3320 INV
2 1 1361 3566 1386 XOR
2 1 1337 1386 1387 XOR
2 1 1385 3566 3567 XOR
2 1 3567 3579 3877 XOR
1 1 3254 3255 INV
1 1 3255 3256 INV
2 1 1739 3705 3706 XOR
2 1 1712 3705 2518 XOR
2 1 1712 3515 3516 XOR
2 1 1692 3515 1713 XOR
2 1 3706 3709 3710 XOR
2 1 2511 2518 2734 XOR
1 1 3379 3380 INV
2 1 1954 3485 1973 XOR
2 1 1972 3485 3486 XOR
1 1 3212 3213 INV
1 1 3213 3214 INV
1 1 3380 3381 INV
1 1 3236 3237 INV
1 1 3237 3238 INV
2 1 1824 3503 1845 XOR
2 1 1845 1886 1887 XOR
2 1 1844 3503 3504 XOR
2 1 3495 3504 3844 XOR
2 1 3143 3611 3396 XOR
2 1 2206 3443 3444 XOR
2 1 2188 3443 2207 XOR
2 1 2188 3642 3643 XOR
2 1 2169 3642 2556 XOR
1 1 3164 3165 INV
1 1 3165 3166 INV
2 1 2169 3455 3456 XOR
2 1 3444 3456 3823 XOR
2 1 2151 3455 2170 XOR
2 1 2170 2207 2208 XOR
1 1 3175 3176 INV
1 1 3176 3177 INV
2 1 2804 3599 2805 XOR
2 1 2603 2805 2806 XOR
2 1 2702 3599 3600 XOR
2 1 3591 3600 3889 XOR
1 1 3361 3362 INV
1 1 3362 3363 INV
2 1 3102 3611 3612 XOR
2 1 3058 3797 3798 XOR
2 1 3102 3797 3103 XOR
2 1 3798 3800 3801 XOR
2 1 916 914 917 XOR
2 1 892 917 918 XOR
1 1 918 1048 INV
1 1 1048 4998 INV
2 1 2329 2572 2573 XOR
1 1 3276 3277 INV
1 1 3277 3278 INV
2 1 1633 3536 3537 XOR
2 1 1616 3536 1634 XOR
2 1 2271 3431 2290 XOR
2 1 2289 3431 3432 XOR
1 1 3151 3152 INV
1 1 3152 3153 INV
2 1 960 958 961 XOR
2 1 918 961 962 XOR
2 1 4823 4821 4824 XOR
2 1 918 4824 4825 XOR
1 1 5011 5012 INV
1 1 5012 5013 INV
1 1 2437 2438 INV
1 1 2438 2439 INV
2 1 1047 1048 1096 XOR
1 1 1096 2425 INV
2 1 1100 1098 1101 XOR
2 1 1096 1101 1102 XOR
1 1 1101 1103 INV
1 1 3337 3338 INV
1 1 3338 3339 INV
2 1 1616 3726 3727 XOR
2 1 1598 3726 2506 XOR
2 1 1935 3678 2538 XOR
2 1 1954 3678 3679 XOR
2 1 2252 3633 2567 XOR
2 1 2271 3633 3634 XOR
2 1 884 3587 1238 XOR
2 1 1238 2603 2604 XOR
2 1 1237 3587 3588 XOR
2 1 3588 3591 3592 XOR
2 1 1237 5046 5047 XOR
1 1 3345 3346 INV
1 1 3346 3347 INV
2 1 1293 3581 3582 XOR
2 1 3579 3582 3583 XOR
2 1 3582 3588 3886 XOR
2 1 1266 3771 3772 XOR
2 1 3772 3777 3979 XOR
2 1 3769 3772 3773 XOR
2 1 1237 3771 2477 XOR
2 1 2477 2481 2707 XOR
2 1 2476 2477 2478 XOR
1 1 3249 3250 INV
2 1 1780 3699 3700 XOR
2 1 1759 3699 2519 XOR
2 1 3700 3706 3943 XOR
1 1 3250 3251 INV
2 1 1759 3512 3513 XOR
2 1 1739 3512 1760 XOR
2 1 3513 3516 3517 XOR
2 1 2518 2519 2520 XOR
2 1 3058 3608 3059 XOR
2 1 2996 3608 3609 XOR
2 1 3059 3396 3397 XOR
1 1 3374 3375 INV
1 1 3375 3376 INV
2 1 2996 3791 2997 XOR
2 1 2997 3103 3104 XOR
2 1 2929 3791 3792 XOR
2 1 3792 3798 3988 XOR
2 1 1451 3747 3748 XOR
2 1 3748 3754 3967 XOR
2 1 1431 3747 2490 XOR
2 1 2489 2490 2491 XOR
1 1 3313 3314 INV
1 1 3314 3315 INV
2 1 3609 3612 3613 XOR
2 1 1713 1760 2634 XOR
2 1 1412 3563 1432 XOR
2 1 1431 3563 3564 XOR
2 1 3564 3567 3568 XOR
2 1 1386 1432 2613 XOR
1 1 3180 3181 INV
1 1 3181 3182 INV
2 1 2111 3458 2130 XOR
2 1 2130 2170 2661 XOR
2 1 2129 3458 3459 XOR
2 1 3456 3459 3460 XOR
2 1 2151 3651 3652 XOR
2 1 3643 3652 3916 XOR
2 1 2129 3651 2555 XOR
2 1 2555 2556 2557 XOR
2 1 1470 3744 2494 XOR
2 1 2490 2494 2716 XOR
2 1 1493 3744 3745 XOR
2 1 3745 3748 3749 XOR
2 1 3736 3745 3961 XOR
2 1 2494 2495 2496 XOR
2 1 1451 3557 1471 XOR
2 1 1471 1513 2616 XOR
2 1 1432 1471 1472 XOR
1 1 3305 3306 INV
1 1 3306 3307 INV
2 1 1470 3557 3558 XOR
2 1 3555 3558 3559 XOR
2 1 3558 3564 3874 XOR
1 1 3241 3242 INV
1 1 3242 3243 INV
2 1 1800 3506 3507 XOR
2 1 3504 3507 3508 XOR
2 1 3507 3513 3850 XOR
2 1 1780 3506 1801 XOR
2 1 1824 3696 3697 XOR
2 1 3697 3700 3701 XOR
2 1 1800 3696 2523 XOR
2 1 2519 2523 2737 XOR
2 1 1760 1801 1802 XOR
2 1 1801 1845 2637 XOR
2 1 3688 3697 3937 XOR
2 1 2523 2524 2525 XOR
2 1 2929 3602 2930 XOR
2 1 2805 2930 2931 XOR
2 1 2930 3059 3060 XOR
2 1 2868 3788 2869 XOR
2 1 2869 2997 2998 XOR
2 1 2703 2869 2870 XOR
2 1 2804 3788 3789 XOR
2 1 3780 3789 3982 XOR
2 1 3789 3792 3793 XOR
2 1 2868 3602 3603 XOR
2 1 3603 3609 3895 XOR
2 1 3600 3603 3604 XOR
1 1 3366 3367 INV
1 1 3367 3368 INV
2 1 1266 3581 1294 XOR
2 1 1294 1337 2607 XOR
2 1 1238 1294 1295 XOR
2 1 2092 3464 3465 XOR
2 1 2092 3654 2551 XOR
2 1 2551 2555 2761 XOR
2 1 2550 2551 2552 XOR
2 1 2111 3654 3655 XOR
2 1 3652 3655 3656 XOR
2 1 3655 3661 3922 XOR
2 1 3459 3465 3829 XOR
1 1 3188 3189 INV
1 1 3189 3190 INV
2 1 2074 3464 2093 XOR
2 1 2093 2130 2131 XOR
2 1 2049 3467 3468 XOR
2 1 3465 3468 3469 XOR
2 1 2031 3467 2050 XOR
2 1 2050 2093 2658 XOR
2 1 2012 3663 2543 XOR
2 1 2543 2550 2758 XOR
2 1 2031 3663 3664 XOR
2 1 3661 3664 3665 XOR
1 1 3193 3194 INV
1 1 3194 3195 INV
1 1 3146 3147 INV
1 1 3147 3148 INV
2 1 2311 3426 2330 XOR
2 1 2290 2330 2673 XOR
2 1 2329 3426 3427 XOR
2 1 3427 3432 3433 XOR
2 1 1994 3482 2013 XOR
2 1 1973 2013 2652 XOR
2 1 2013 2050 2051 XOR
2 1 2012 3482 3483 XOR
2 1 3468 3483 3832 XOR
2 1 3483 3486 3487 XOR
2 1 1994 3675 3676 XOR
2 1 3664 3676 3925 XOR
2 1 3676 3679 3680 XOR
2 1 1972 3675 2542 XOR
2 1 2542 2543 2544 XOR
2 1 2538 2542 2752 XOR
2 1 2311 3630 3631 XOR
2 1 3631 3634 3635 XOR
2 1 2289 3630 2571 XOR
2 1 2571 2573 2574 XOR
2 1 2567 2571 2773 XOR
1 1 3207 3208 INV
1 1 3208 3209 INV
2 1 1654 3533 1672 XOR
2 1 1634 1672 2628 XOR
2 1 1672 1713 1714 XOR
2 1 1671 3533 3534 XOR
2 1 3516 3534 3853 XOR
2 1 1654 3723 3724 XOR
2 1 3724 3727 3728 XOR
2 1 3709 3724 3946 XOR
2 1 1633 3723 2510 XOR
2 1 2510 2511 2512 XOR
2 1 2506 2510 2728 XOR
2 1 3534 3537 3538 XOR
1 1 3271 3272 INV
1 1 3272 3273 INV
2 1 1581 3732 3733 XOR
2 1 3733 3736 3737 XOR
2 1 1553 3732 2505 XOR
2 1 2505 2506 2507 XOR
2 1 3727 3733 3958 XOR
2 1 1598 3542 3543 XOR
2 1 3543 3546 3547 XOR
2 1 1581 3542 1599 XOR
2 1 1599 1634 1635 XOR
2 1 1554 1599 2625 XOR
2 1 2495 2505 2725 XOR
2 1 2234 3639 3640 XOR
2 1 3634 3640 3913 XOR
2 1 2206 3639 2566 XOR
2 1 2566 2567 2568 XOR
2 1 3640 3643 3644 XOR
2 1 2556 2566 2770 XOR
2 1 2252 3440 3441 XOR
2 1 2234 3440 2253 XOR
2 1 3441 3444 3445 XOR
2 1 2207 2253 2670 XOR
2 1 2253 2290 2291 XOR
2 1 3432 3441 3820 XOR
1 1 3159 3160 INV
1 1 3160 3161 INV
2 1 3537 3543 3865 XOR
1 1 3284 3285 INV
1 1 3285 3286 INV
1 1 3220 3221 INV
1 1 3221 3222 INV
2 1 1917 3491 1936 XOR
2 1 1886 1936 2649 XOR
2 1 1936 1973 1974 XOR
2 1 1935 3491 3492 XOR
2 1 3486 3492 3841 XOR
2 1 3492 3495 3496 XOR
2 1 1885 3684 2537 XOR
2 1 2524 2537 2749 XOR
2 1 2537 2538 2539 XOR
2 1 1917 3684 3685 XOR
2 1 3685 3688 3689 XOR
2 1 3679 3685 3934 XOR
304 152 3429 3429 1239 3429 1239 3429 1239 3429 1239 1239 3429 3429 1239 1239 3429 3429 1239 1239 3429 3429 3429 917 1239 962 4825 5013 2439 1047 1102 3334 1239 3429 5046 3347 3429 3429 3429 3429 1239 1239 1239 3376 3429 1239 3315 3429 1239 3429 3429 1239 3429 3251 1239 3429 1239 3177 1239 3429 3429 1239 3429 1239 1239 1239 1239 3429 3302 3429 3429 3429 3429 3429 1239 1239 1239 3429 1239 1239 1239 1239 1239 3429 3429 3238 3429 3429 3363 1239 1239 1239 1239 3429 3429 3429 1239 3429 1239 1239 3429 3190 3148 1239 1239 3429 1239 1239 3429 3429 3429 3429 1239 1239 3429 1239 1239 3209 1239 1239 3429 3429 3429 1239 3429 1239 3273 3429 1239 3429 3429 1239 1239 1239 3429 1239 3429 1239 3429 1239 1239 3429 3161 3429 3286 3222 1239 1239 3429 3429 1239 1239 3429 3429 3800 3868 1555 3970 2483 3781 2704 3758 2713 1387 3877 3710 2734 1887 3844 3823 2208 2806 3889 3801 3612 918 2573 961 4824 5018 2442 1048 1103 3339 2604 3592 5047 3352 3583 3886 3979 3773 2707 2478 3104 3381 3967 2491 3320 3517 3397 3943 3613 2634 3568 3256 2613 3988 2520 3182 2661 3460 3916 2557 3749 2716 2496 1472 2616 3961 3307 3559 3874 3508 3850 3701 2737 1802 2637 3937 2525 2931 3060 2998 2870 3982 3793 3243 3604 3895 3368 2607 1295 2761 2552 3656 3922 3829 2131 3469 2658 2758 3665 3195 3153 2673 2330 3433 2652 2051 3832 3487 3925 3680 2544 2752 3635 2574 2773 3214 2628 1714 3853 3946 3728 2728 3538 2512 3278 3737 2507 3958 3547 1635 2625 2725 3913 2568 3644 2770 3445 2670 2291 3820 3166 3865 3291 3227 2649 1974 3841 3496 2749 2539 3689 3934 3991 3869 1556 3971 2484 3782 2705 3759 2714 1388 3878 3711 2735 1888 3845 3824 2209 2807 3890 3802 3898 919 2779 963 4826 5019 2443 1049 1104 3340 2605 3593 5048 3353 3584 3887 3980 3774 2708 2479 3105 3382 3968 2492 3321 3518 3398 3944 3614 2635 3569 3257 2614 3989 2521 3183 2662 3461 3917 2558 3750 2717 2497 1473 2617 3962 3308 3560 3875 3509 3851 3702 2738 1803 2638 3938 2526 2932 3061 2999 2871 3983 3794 3244 3605 3896 3369 2608 1296 2762 2553 3657 3923 3830 2132 3470 2659 2759 3666 3196 3154 2674 2331 3434 2653 2052 3833 3488 3926 3681 2545 2753 3636 2575 2774 3215 2629 1715 3854 3947 3729 2729 3539 2513 3279 3738 2508 3959 3548 1636 2626 2726 3914 2569 3645 2771 3446 2671 2292 3821 3167 3866 3292 3228 2650 1975 3842 3497 2750 2540 3690 3935 MAND
2 1 3757 3971 3972 XOR
2 1 2481 2484 2485 XOR
2 1 3777 3782 3783 XOR
2 1 2703 2705 2706 XOR
2 1 3754 3759 3760 XOR
2 1 2482 2714 2715 XOR
2 1 1337 1388 1389 XOR
2 1 3567 3878 3879 XOR
2 1 3706 3711 3712 XOR
2 1 2511 2735 2736 XOR
2 1 1845 1888 1889 XOR
2 1 3495 3845 3846 XOR
2 1 3444 3824 3825 XOR
2 1 2170 2209 2210 XOR
2 1 2805 2807 2808 XOR
2 1 3591 3890 3891 XOR
2 1 3798 3802 3803 XOR
2 1 3612 3898 3899 XOR
2 1 919 917 920 XOR
2 1 892 920 921 XOR
1 1 921 1050 INV
1 1 1050 4999 INV
2 1 2573 2779 2780 XOR
2 1 963 961 964 XOR
2 1 921 964 965 XOR
2 1 4826 4824 4827 XOR
2 1 921 4827 4828 XOR
1 1 5019 5020 INV
1 1 5020 5021 INV
1 1 2443 2444 INV
1 1 2444 2445 INV
2 1 1049 1050 1095 XOR
1 1 1095 2424 INV
2 1 1104 1101 1105 XOR
1 1 1105 1107 INV
2 1 1095 1105 1106 XOR
1 1 3340 3341 INV
1 1 3341 3342 INV
2 1 2603 2605 2606 XOR
2 1 3588 3593 3594 XOR
2 1 5048 5046 5049 XOR
2 1 1266 5049 5050 XOR
1 1 3353 3354 INV
1 1 3354 3355 INV
2 1 3579 3584 3585 XOR
2 1 3585 3594 3595 XOR
2 1 3582 3887 3888 XOR
2 1 3879 3888 4129 XOR
2 1 3888 3891 3892 XOR
2 1 3772 3980 3981 XOR
2 1 3972 3981 4174 XOR
2 1 3769 3774 3775 XOR
2 1 3760 3775 4081 XOR
2 1 3775 3783 3784 XOR
2 1 2477 2708 2709 XOR
2 1 2709 2715 3004 XOR
2 1 2706 2709 2710 XOR
2 1 2476 2479 2480 XOR
2 1 2480 2485 2486 XOR
2 1 3103 3105 3106 XOR
1 1 3382 3383 INV
1 1 3383 3384 INV
2 1 3748 3968 3969 XOR
2 1 3969 3972 3973 XOR
2 1 2489 2492 2493 XOR
2 1 2485 2493 2876 XOR
1 1 3321 3322 INV
1 1 3322 3323 INV
2 1 3700 3944 3945 XOR
2 1 3396 3398 3399 XOR
2 1 3609 3614 3615 XOR
2 1 1713 2635 2636 XOR
2 1 3564 3569 3570 XOR
2 1 3570 3585 4036 XOR
1 1 3257 3258 INV
1 1 3258 3259 INV
2 1 1386 2614 2615 XOR
2 1 3792 3989 3990 XOR
2 1 3513 3518 3519 XOR
2 1 2518 2521 2522 XOR
1 1 3183 3184 INV
1 1 3184 3185 INV
2 1 2130 2662 2663 XOR
2 1 3456 3461 3462 XOR
2 1 3643 3917 3918 XOR
2 1 2555 2558 2559 XOR
2 1 3745 3750 3751 XOR
2 1 3751 3760 3761 XOR
2 1 2490 2717 2718 XOR
2 1 2715 2718 2719 XOR
2 1 2494 2497 2498 XOR
2 1 2493 2498 2499 XOR
2 1 1432 1473 1474 XOR
2 1 1389 1474 2812 XOR
2 1 1471 2617 2618 XOR
2 1 2615 2618 2619 XOR
2 1 3736 3962 3963 XOR
2 1 3963 3969 4171 XOR
1 1 3308 3309 INV
1 1 3309 3310 INV
2 1 3555 3560 3561 XOR
2 1 3558 3875 3876 XOR
2 1 3876 3879 3880 XOR
2 1 3561 3570 3571 XOR
2 1 3504 3509 3510 XOR
2 1 3507 3851 3852 XOR
2 1 3697 3702 3703 XOR
2 1 3703 3712 3713 XOR
2 1 2519 2738 2739 XOR
2 1 3510 3519 3520 XOR
2 1 1760 1803 1804 XOR
2 1 1804 1889 1890 XOR
2 1 1801 2638 2639 XOR
2 1 2636 2639 2640 XOR
2 1 3688 3938 3939 XOR
2 1 2736 2739 2740 XOR
2 1 3846 3852 4114 XOR
2 1 3939 3945 4159 XOR
2 1 2523 2526 2527 XOR
2 1 2522 2527 2528 XOR
2 1 2930 2932 2933 XOR
2 1 2933 3399 3400 XOR
2 1 3059 3061 3062 XOR
2 1 2808 3062 3063 XOR
2 1 2869 2871 2872 XOR
2 1 2872 3106 3107 XOR
2 1 2480 2872 2873 XOR
2 1 2997 2999 3000 XOR
2 1 2706 3000 3001 XOR
2 1 3780 3983 3984 XOR
2 1 3981 3984 3985 XOR
2 1 3984 3990 4180 XOR
2 1 3789 3794 3795 XOR
2 1 3783 3795 4087 XOR
2 1 3795 3803 3804 XOR
1 1 3244 3245 INV
1 1 3245 3246 INV
2 1 3600 3605 3606 XOR
2 1 3606 3615 3616 XOR
2 1 3594 3606 4042 XOR
2 1 3603 3896 3897 XOR
2 1 3891 3897 4135 XOR
2 1 3897 3899 3900 XOR
2 1 2606 2933 2934 XOR
1 1 3369 3370 INV
1 1 3370 3371 INV
2 1 1294 2608 2609 XOR
2 1 2609 2615 2937 XOR
2 1 2606 2609 2610 XOR
2 1 1238 1296 1297 XOR
2 1 1297 1389 1390 XOR
2 1 1297 2808 2809 XOR
2 1 2550 2553 2554 XOR
2 1 3655 3923 3924 XOR
2 1 2554 2559 2560 XOR
2 1 3918 3924 4150 XOR
2 1 3459 3830 3831 XOR
2 1 3825 3831 4105 XOR
2 1 2093 2132 2133 XOR
2 1 2133 2210 2211 XOR
2 1 2551 2762 2763 XOR
2 1 3652 3657 3658 XOR
2 1 3465 3470 3471 XOR
2 1 2050 2659 2660 XOR
2 1 3462 3471 3472 XOR
2 1 2660 2663 2664 XOR
2 1 3800 3991 3992 XOR
2 1 3990 3992 3993 XOR
2 1 2543 2759 2760 XOR
2 1 2760 2763 2764 XOR
2 1 3661 3666 3667 XOR
2 1 3658 3667 3668 XOR
1 1 3196 3197 INV
1 1 3197 3198 INV
1 1 3154 3155 INV
1 1 3155 3156 INV
2 1 2290 2674 2675 XOR
2 1 2330 2331 2332 XOR
2 1 1973 2653 2654 XOR
2 1 2654 2660 2958 XOR
2 1 2013 2052 2053 XOR
2 1 2053 2133 2833 XOR
2 1 3468 3833 3834 XOR
2 1 3831 3834 3835 XOR
2 1 3483 3488 3489 XOR
2 1 3471 3489 4015 XOR
2 1 3427 3434 3435 XOR
2 1 3676 3681 3682 XOR
2 1 3667 3682 4060 XOR
2 1 2542 2545 2546 XOR
2 1 2546 2554 2897 XOR
2 1 2538 2753 2754 XOR
2 1 2754 2760 3025 XOR
2 1 3631 3636 3637 XOR
2 1 2571 2575 2576 XOR
2 1 2567 2774 2775 XOR
2 1 2775 2780 3034 XOR
1 1 3215 3216 INV
1 1 3216 3217 INV
2 1 1634 2629 2630 XOR
2 1 2630 2636 2946 XOR
2 1 1672 1715 1716 XOR
2 1 1716 1804 2821 XOR
2 1 3516 3854 3855 XOR
2 1 3852 3855 3856 XOR
2 1 3724 3729 3730 XOR
2 1 3712 3730 4069 XOR
2 1 2506 2729 2730 XOR
2 1 2730 2736 3013 XOR
2 1 3709 3947 3948 XOR
2 1 3945 3948 3949 XOR
2 1 3534 3539 3540 XOR
2 1 3519 3540 4024 XOR
2 1 2510 2513 2514 XOR
2 1 2514 2522 2885 XOR
1 1 3279 3280 INV
1 1 3280 3281 INV
2 1 3664 3926 3927 XOR
2 1 3924 3927 3928 XOR
2 1 3733 3738 3739 XOR
2 1 2505 2508 2509 XOR
2 1 2498 2509 2882 XOR
2 1 3727 3959 3960 XOR
2 1 3543 3548 3549 XOR
2 1 3540 3549 3550 XOR
2 1 3948 3960 4162 XOR
2 1 3960 3963 3964 XOR
2 1 2509 2514 2515 XOR
2 1 3739 3751 4078 XOR
2 1 1599 1636 1637 XOR
2 1 1554 2626 2627 XOR
2 1 2627 2630 2631 XOR
2 1 2618 2627 2943 XOR
2 1 1637 1716 1717 XOR
2 1 2495 2726 2727 XOR
2 1 2727 2730 2731 XOR
2 1 2718 2727 3010 XOR
2 1 3549 3561 4033 XOR
2 1 3634 3914 3915 XOR
2 1 2566 2569 2570 XOR
2 1 2559 2570 2903 XOR
2 1 3640 3645 3646 XOR
2 1 3637 3646 3647 XOR
2 1 2556 2771 2772 XOR
2 1 2772 2775 2776 XOR
2 1 3915 3918 3919 XOR
2 1 3646 3658 4057 XOR
2 1 2763 2772 3031 XOR
2 1 3546 3869 3870 XOR
2 1 3870 3876 4126 XOR
2 1 3441 3446 3447 XOR
2 1 2207 2671 2672 XOR
2 1 3447 3462 4012 XOR
2 1 2663 2672 2964 XOR
2 1 1513 1556 1557 XOR
2 1 1474 1557 1558 XOR
2 1 1557 1637 2818 XOR
2 1 2672 2675 2676 XOR
2 1 3435 3447 3448 XOR
2 1 2253 2292 2293 XOR
2 1 2210 2293 2839 XOR
2 1 2293 2332 2333 XOR
2 1 3432 3821 3822 XOR
2 1 3822 3825 3826 XOR
1 1 3167 3168 INV
1 1 3168 3169 INV
2 1 3537 3866 3867 XOR
2 1 3867 3870 3871 XOR
2 1 3855 3867 4117 XOR
2 1 3730 3739 3740 XOR
2 1 2570 2576 2577 XOR
1 1 3292 3293 INV
1 1 3293 3294 INV
1 1 3228 3229 INV
1 1 3229 3230 INV
2 1 1886 2650 2651 XOR
2 1 2639 2651 2955 XOR
2 1 1936 1975 1976 XOR
2 1 3486 3842 3843 XOR
2 1 3834 3843 4108 XOR
2 1 3492 3497 3498 XOR
2 1 3498 3510 4021 XOR
2 1 1976 2053 2054 XOR
2 1 2651 2654 2655 XOR
2 1 3489 3498 3499 XOR
2 1 3843 3846 3847 XOR
2 1 1889 1976 2830 XOR
2 1 2524 2750 2751 XOR
2 1 2751 2754 2755 XOR
2 1 2739 2751 3022 XOR
2 1 2537 2540 2541 XOR
2 1 2541 2546 2547 XOR
2 1 2527 2541 2894 XOR
2 1 3685 3690 3691 XOR
2 1 3682 3691 3692 XOR
2 1 3691 3703 4066 XOR
2 1 3679 3935 3936 XOR
2 1 3927 3936 4153 XOR
2 1 3936 3939 3940 XOR
292 146 3438 3438 4998 920 1298 3438 965 4828 5021 2445 2424 1049 1106 5049 3342 3438 3438 3438 3438 3438 3438 1298 1298 1298 3438 1298 3438 3438 3438 3438 1298 1298 1298 1298 3438 1298 3310 3438 3438 3438 3438 1298 1298 3438 3438 1298 1298 1298 3438 1298 1298 1298 3438 3438 3438 3438 1298 3246 3438 3438 3438 3438 1298 3371 1298 1298 1298 1298 1298 3438 3438 1298 3438 1298 1298 3438 3185 1298 1298 1298 3438 3438 1298 3438 1298 1298 1298 1298 1298 1298 3438 3438 3438 3438 1298 1298 3438 1298 3438 3438 3438 1298 1298 1298 1298 3438 1298 1298 1298 3438 1298 3438 3438 1298 3438 1298 1298 3438 1298 1298 3438 3156 3438 3438 1298 3438 3438 1298 3281 1298 3438 3438 1298 3438 1298 3438 1298 1298 1298 3438 3438 3438 3438 3217 1298 1298 3992 3899 4999 921 2780 3803 964 4827 5034 2455 2425 1050 1107 5050 3355 3595 4129 3892 4174 4081 3784 3004 2710 2486 3973 2876 3615 4036 3993 3761 2719 1558 2812 2619 4171 2499 3323 3880 4126 3571 3520 1890 2640 4114 4159 2528 3400 3063 3713 3107 2873 3001 3985 4180 4087 3804 2740 3259 3616 4042 4135 3900 2934 3384 2610 2937 1390 2809 2560 4150 4105 2211 3472 2664 2764 3668 3198 2675 2958 2833 3835 4015 2332 4060 2897 3025 2576 3034 2946 2821 3856 4069 3949 4024 2885 3013 3928 2882 3550 4162 3964 2515 2631 2943 3010 4033 1717 2818 2903 3647 2776 3919 4057 3031 4012 2964 2676 3448 2839 2333 3826 3169 3871 4117 2731 4078 3740 2577 3294 2955 4108 4021 2054 3847 2830 3499 2655 2755 3022 3692 4066 3940 4153 3230 2894 2547 4183 4138 5000 922 2781 4090 966 4829 5035 2456 2426 1051 1108 5051 3356 3596 4130 3893 4175 4082 3785 3005 2711 2487 3974 2877 4045 4037 3994 3762 2720 1559 2813 2620 4172 2500 3324 3881 4127 3572 3521 1891 2641 4115 4160 2529 3401 3064 3714 3108 2874 3002 3986 4181 4088 3805 2741 3260 3617 4043 4136 3901 2935 3385 2611 2938 1391 2810 2561 4151 4106 2212 3473 2665 2765 3669 3199 2967 2959 2834 3836 4016 2842 4061 2898 3026 2906 3035 2947 2822 3857 4070 3950 4025 2886 3014 3929 2883 3551 4163 3965 2516 2632 2944 3011 4034 1718 2819 2904 3648 2777 3920 4058 3032 4013 2965 2677 3449 2840 2334 3827 3170 3872 4118 2732 4079 3741 2578 3295 2956 4109 4022 2055 3848 2831 3500 2656 2756 3023 3693 4067 3941 4154 3231 2895 2548 MAND
1 1 5000 5001 INV
1 1 5001 5002 INV
2 1 922 920 923 XOR
1 1 923 924 INV
2 1 892 923 925 XOR
1 1 925 4993 INV
2 1 2780 2781 2782 XOR
2 1 3803 4090 4091 XOR
2 1 3899 4138 4139 XOR
2 1 966 964 967 XOR
2 1 4993 967 968 XOR
2 1 2527 2895 2896 XOR
2 1 4829 4827 4830 XOR
2 1 4993 4830 4831 XOR
1 1 5035 5036 INV
1 1 5036 5037 INV
1 1 2456 2457 INV
1 1 2457 2458 INV
1 1 2426 2427 INV
1 1 2427 2428 INV
2 1 925 1051 1094 XOR
1 1 1094 2420 INV
1 1 3231 3232 INV
2 1 1108 1105 1109 XOR
1 1 1109 1111 INV
2 1 1094 1109 1110 XOR
2 1 5051 5049 5052 XOR
2 1 1293 5052 5053 XOR
2 1 3682 3693 3694 XOR
1 1 3356 3357 INV
1 1 3357 3358 INV
2 1 3585 3596 3597 XOR
2 1 3879 4130 4131 XOR
2 1 3888 3893 3894 XOR
2 1 3972 4175 4176 XOR
2 1 3760 4082 4083 XOR
2 1 3775 3785 3786 XOR
2 1 2709 3005 3006 XOR
2 1 2706 2711 2712 XOR
2 1 2480 2487 2488 XOR
2 1 3969 3974 3975 XOR
2 1 2485 2877 2878 XOR
2 1 3570 4037 4038 XOR
2 1 3615 4045 4046 XOR
2 1 3990 3994 3995 XOR
2 1 3751 3762 3763 XOR
2 1 3763 3786 4234 XOR
2 1 2715 2720 2721 XOR
2 1 2712 2721 2722 XOR
2 1 1474 1559 1560 XOR
2 1 1389 2813 2814 XOR
2 1 2615 2620 2621 XOR
2 1 3963 4172 4173 XOR
2 1 4173 4176 4177 XOR
2 1 2493 2500 2501 XOR
2 1 2488 2501 2502 XOR
1 1 3324 3325 INV
1 1 3325 3326 INV
2 1 3876 3881 3882 XOR
2 1 3882 3894 4258 XOR
2 1 3870 4127 4128 XOR
2 1 4128 4131 4132 XOR
2 1 3561 3572 3573 XOR
2 1 3573 3597 4213 XOR
2 1 2541 2548 2549 XOR
2 1 3510 3521 3522 XOR
2 1 1804 1891 1892 XOR
2 1 2636 2641 2642 XOR
2 1 3846 4115 4116 XOR
2 1 3939 4160 4161 XOR
2 1 2522 2529 2530 XOR
2 1 3399 3401 3402 XOR
2 1 3062 3064 3065 XOR
2 1 3703 3714 3715 XOR
2 1 3106 3108 3109 XOR
2 1 2488 3109 3110 XOR
2 1 2872 2874 2875 XOR
2 1 2875 2878 2879 XOR
2 1 3000 3002 3003 XOR
2 1 3003 3006 3007 XOR
2 1 3981 3986 3987 XOR
2 1 3975 3987 4279 XOR
2 1 3987 3995 3996 XOR
2 1 3984 4181 4182 XOR
2 1 4176 4182 4372 XOR
2 1 3489 3500 3501 XOR
2 1 3501 3522 3523 XOR
2 1 3783 4088 4089 XOR
2 1 4083 4089 4327 XOR
2 1 4089 4091 4092 XOR
2 1 3795 3805 3806 XOR
2 1 3786 3806 3807 XOR
2 1 2736 2741 2742 XOR
1 1 3260 3261 INV
1 1 3261 3262 INV
2 1 3606 3617 3618 XOR
2 1 3597 3618 3619 XOR
2 1 3594 4043 4044 XOR
2 1 4038 4044 4306 XOR
2 1 4044 4046 4047 XOR
2 1 3891 4136 4137 XOR
2 1 4131 4137 4351 XOR
2 1 4137 4139 4140 XOR
2 1 3897 3901 3902 XOR
2 1 3894 3902 3903 XOR
2 1 2933 2935 2936 XOR
1 1 3385 3386 INV
1 1 3386 3387 INV
2 1 2606 2611 2612 XOR
2 1 2612 2621 2622 XOR
2 1 2609 2938 2939 XOR
2 1 2936 2939 2940 XOR
2 1 2612 3402 3403 XOR
2 1 1297 1391 1392 XOR
2 1 1392 3065 3066 XOR
2 1 1392 1560 1561 XOR
2 1 2808 2810 2811 XOR
2 1 2811 2814 2815 XOR
2 1 2554 2561 2562 XOR
2 1 2549 2562 2563 XOR
2 1 2530 2549 3119 XOR
2 1 3918 4151 4152 XOR
2 1 3825 4106 4107 XOR
2 1 2133 2212 2213 XOR
2 1 3462 3473 3474 XOR
2 1 3474 3501 4204 XOR
2 1 2660 2665 2666 XOR
2 1 2760 2765 2766 XOR
2 1 3992 4183 4184 XOR
2 1 4182 4184 4185 XOR
2 1 3658 3669 3670 XOR
2 1 3670 3694 4225 XOR
1 1 3199 3200 INV
1 1 3200 3201 INV
2 1 3927 4154 4155 XOR
2 1 4152 4155 4156 XOR
2 1 2675 2967 2968 XOR
2 1 2654 2959 2960 XOR
2 1 2053 2834 2835 XOR
2 1 3831 3836 3837 XOR
2 1 3471 4016 4017 XOR
2 1 2332 2842 2843 XOR
2 1 3667 4061 4062 XOR
2 1 2546 2898 2899 XOR
2 1 2754 3026 3027 XOR
1 1 3232 3233 INV
2 1 2576 2906 2907 XOR
2 1 2775 3035 3036 XOR
2 1 2896 2899 2900 XOR
2 1 2630 2947 2948 XOR
2 1 1716 2822 2823 XOR
2 1 3852 3857 3858 XOR
2 1 3712 4070 4071 XOR
2 1 3945 3950 3951 XOR
2 1 3519 4025 4026 XOR
2 1 2514 2886 2887 XOR
2 1 2887 2896 5567 XOR
2 1 2730 3014 3015 XOR
2 1 3924 3929 3930 XOR
2 1 4155 4161 4363 XOR
2 1 3540 3551 3552 XOR
2 1 3552 3573 3574 XOR
2 1 3522 3552 4207 XOR
2 1 3948 4163 4164 XOR
2 1 4161 4164 4165 XOR
2 1 3694 3715 3716 XOR
2 1 3960 3965 3966 XOR
2 1 3966 3975 3976 XOR
2 1 3951 3966 4273 XOR
2 1 2509 2516 2517 XOR
2 1 4164 4173 4366 XOR
2 1 2627 2632 2633 XOR
2 1 2621 2633 3406 XOR
2 1 2633 2642 2643 XOR
2 1 2618 2944 2945 XOR
2 1 2939 2945 5526 XOR
2 1 2945 2948 2949 XOR
2 1 2718 3011 3012 XOR
2 1 2501 2517 3113 XOR
2 1 3549 4034 4035 XOR
2 1 4026 4035 4300 XOR
2 1 4035 4038 4039 XOR
2 1 2498 2883 2884 XOR
2 1 2878 2884 5564 XOR
2 1 2884 2887 2888 XOR
2 1 1637 1718 1719 XOR
2 1 1560 1719 3069 XOR
2 1 1719 1892 1893 XOR
2 1 1557 2819 2820 XOR
2 1 2814 2820 5602 XOR
2 1 2820 2823 2824 XOR
2 1 2559 2904 2905 XOR
2 1 2899 2905 5573 XOR
2 1 2905 2907 2908 XOR
2 1 3637 3648 3649 XOR
2 1 2772 2777 2778 XOR
2 1 2766 2778 5649 XOR
2 1 2778 2782 2783 XOR
2 1 3915 3920 3921 XOR
2 1 3646 4058 4059 XOR
2 1 2763 3032 3033 XOR
2 1 3027 3033 5497 XOR
2 1 4059 4062 4063 XOR
2 1 3033 3036 3037 XOR
2 1 3921 3930 3931 XOR
2 1 3447 4013 4014 XOR
2 1 4014 4017 4018 XOR
2 1 2663 2965 2966 XOR
2 1 2960 2966 5535 XOR
2 1 2966 2968 2969 XOR
2 1 3435 3449 3450 XOR
2 1 3450 3474 3475 XOR
2 1 2672 2677 2678 XOR
2 1 2210 2840 2841 XOR
2 1 2835 2841 5611 XOR
2 1 2841 2843 2844 XOR
2 1 2293 2334 2335 XOR
2 1 2213 2335 3078 XOR
2 1 2666 2678 3415 XOR
2 1 3822 3827 3828 XOR
2 1 3828 3837 3838 XOR
1 1 3170 3171 INV
2 1 3867 3872 3873 XOR
2 1 3873 3882 3883 XOR
2 1 3858 3873 4252 XOR
2 1 3855 4118 4119 XOR
2 1 4119 4128 4345 XOR
2 1 4116 4119 4120 XOR
2 1 3649 3670 3671 XOR
2 1 2727 2732 2733 XOR
2 1 2721 2733 5640 XOR
2 1 2733 2742 2743 XOR
2 1 3936 3941 3942 XOR
2 1 3930 3942 4270 XOR
2 1 3942 3951 3952 XOR
1 1 3171 3172 INV
2 1 2517 2530 2531 XOR
2 1 3730 3741 3742 XOR
2 1 3715 3742 4228 XOR
2 1 3742 3763 3764 XOR
2 1 3739 4079 4080 XOR
2 1 4071 4080 4321 XOR
2 1 4080 4083 4084 XOR
2 1 3006 3012 5488 XOR
2 1 2570 2578 2579 XOR
2 1 2562 2579 3122 XOR
2 1 3012 3015 3016 XOR
1 1 3295 3296 INV
1 1 3296 3297 INV
2 1 2639 2956 2957 XOR
2 1 2948 2957 5529 XOR
2 1 3834 4109 4110 XOR
2 1 4107 4110 4111 XOR
2 1 4110 4116 4342 XOR
2 1 3498 4022 4023 XOR
2 1 4023 4026 4027 XOR
2 1 4017 4023 4297 XOR
2 1 1976 2055 2056 XOR
2 1 1892 2056 3075 XOR
2 1 2056 2213 2214 XOR
2 1 3843 3848 3849 XOR
2 1 3837 3849 4249 XOR
2 1 1889 2831 2832 XOR
2 1 2823 2832 5605 XOR
2 1 3849 3858 3859 XOR
2 1 2957 2960 2961 XOR
2 1 2651 2656 2657 XOR
2 1 2657 2666 2667 XOR
2 1 2642 2657 3412 XOR
2 1 2832 2835 2836 XOR
2 1 2751 2756 2757 XOR
2 1 2742 2757 5643 XOR
2 1 2739 3023 3024 XOR
2 1 3015 3024 5491 XOR
2 1 3024 3027 3028 XOR
2 1 2757 2766 2767 XOR
2 1 3691 4067 4068 XOR
2 1 4062 4068 4318 XOR
2 1 4068 4071 4072 XOR
276 138 3453 924 3453 3453 968 4831 925 1110 5052 3453 3453 3453 1393 3453 1393 3453 3453 3453 1393 1393 1393 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3453 3358 1393 1393 1393 1393 1393 1393 3453 3453 3453 3453 3453 1393 1393 1393 1393 3453 3453 1393 1393 1393 1393 1393 3453 3453 1393 1393 3453 1393 3453 1393 1393 1393 1393 1393 3453 3453 3453 3453 3453 3453 3453 1393 3172 1393 3453 3453 3453 3453 1393 1393 1393 3297 3453 3453 3453 1393 1393 3453 3453 1393 1393 1393 1393 1393 3453 3233 3453 1393 1393 3453 3453 1393 1393 3453 3453 3453 3453 3453 3453 3453 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 1393 4184 925 4091 4139 967 4830 1051 1111 5053 4046 3995 4234 2722 4177 2502 4258 4132 4213 3110 2879 3007 4279 3996 4372 4185 4327 4092 3807 3806 3619 4306 4047 3618 4351 4140 3903 3902 3387 2622 2940 3403 3066 1561 2815 3574 4207 4165 3976 4366 3406 2643 2949 3113 4300 4039 2888 3069 1893 2824 2908 4063 3931 3037 2783 4018 2969 3475 2678 2844 2335 3078 3415 3838 3883 4345 4252 4120 3671 4273 2743 3201 2531 4228 3764 4084 4321 3122 2579 3016 3326 4111 4342 4297 3075 2214 4249 3859 2961 2667 3412 3028 2767 4156 3262 4072 2900 3119 3952 4027 2563 2836 4270 3716 4225 4363 4318 3523 4204 5488 5491 5497 3036 5526 5529 5535 2968 5564 5567 5573 2907 5602 5605 5611 2843 5640 5643 5649 2782 4375 926 4330 4354 969 4832 1052 1112 5054 4309 4282 4235 2723 4178 2503 4259 4133 4214 3111 2880 3008 4280 3997 4373 4186 4328 4093 3808 4237 3620 4307 4048 4216 4352 4141 3904 4261 3388 2623 2941 3404 3067 1562 2816 3575 4208 4166 3977 4367 3407 2644 2950 3114 4301 4040 2889 3070 1894 2825 2909 4064 3932 3038 2784 4019 2970 3476 2679 2845 2336 3079 3416 3839 3884 4346 4253 4121 3672 4274 2744 3202 2532 4229 3765 4085 4322 3123 2580 3017 3327 4112 4343 4298 3076 2215 4250 3860 2962 2668 3413 3029 2768 4157 3263 4073 2901 3120 3953 4028 2564 2837 4271 3717 4226 4364 4319 3524 4205 5489 5492 5498 5500 5527 5530 5536 5538 5565 5568 5574 5576 5603 5606 5612 5614 5641 5644 5650 5652 MAND
2 1 2843 5614 5615 XOR
2 1 2782 5652 5653 XOR
2 1 2721 5641 5642 XOR
2 1 2835 5612 5613 XOR
2 1 2814 5603 5604 XOR
2 1 2899 5574 5575 XOR
2 1 2887 5568 5569 XOR
2 1 1112 1109 1113 XOR
1 1 1113 1115 INV
2 1 2766 5650 5651 XOR
2 1 5651 5653 5654 XOR
2 1 4155 4364 4365 XOR
2 1 5054 5052 5055 XOR
2 1 1317 5055 5056 XOR
2 1 926 923 927 XOR
2 1 892 927 928 XOR
1 1 928 4994 INV
2 1 1052 4994 1093 XOR
1 1 1093 2419 INV
2 1 1093 1113 1114 XOR
2 1 2960 5536 5537 XOR
2 1 2530 3120 3121 XOR
2 1 3474 4205 4206 XOR
2 1 3670 4226 4227 XOR
2 1 3501 3524 3525 XOR
2 1 4046 4309 4310 XOR
2 1 3995 4282 4283 XOR
2 1 3694 3717 3718 XOR
2 1 4068 4073 4074 XOR
2 1 2823 5606 5607 XOR
2 1 5604 5607 5608 XOR
2 1 2549 2564 2565 XOR
2 1 3763 4235 4236 XOR
2 1 4023 4028 4029 XOR
2 1 2712 2723 2724 XOR
2 1 4173 4178 4179 XOR
2 1 2488 2503 2504 XOR
2 1 3882 4259 4260 XOR
2 1 4128 4133 4134 XOR
2 1 3573 4214 4215 XOR
2 1 4152 4157 4158 XOR
2 1 2742 5644 5645 XOR
2 1 3930 4271 4272 XOR
2 1 3109 3111 3112 XOR
2 1 2875 2880 2881 XOR
2 1 3003 3008 3009 XOR
2 1 3975 4280 4281 XOR
2 1 4281 4283 4284 XOR
2 1 3987 3997 3998 XOR
2 1 4176 4373 4374 XOR
2 1 4182 4186 4187 XOR
2 1 4179 4187 4188 XOR
2 1 4083 4328 4329 XOR
2 1 4089 4093 4094 XOR
2 1 3786 3808 3809 XOR
2 1 3806 4237 4238 XOR
2 1 4236 4238 4239 XOR
2 1 3597 3620 3621 XOR
2 1 4038 4307 4308 XOR
2 1 4308 4310 4311 XOR
2 1 4044 4048 4049 XOR
2 1 3618 4216 4217 XOR
2 1 4215 4217 4218 XOR
2 1 4131 4352 4353 XOR
2 1 5613 5615 5616 XOR
2 1 4137 4141 4142 XOR
2 1 4134 4142 4143 XOR
2 1 3894 3904 3905 XOR
2 1 3902 4261 4262 XOR
2 1 4260 4262 4263 XOR
1 1 3388 3389 INV
1 1 3389 3390 INV
2 1 2612 2623 2624 XOR
2 1 2936 2941 2942 XOR
2 1 3402 3404 3405 XOR
2 1 3065 3067 3068 XOR
2 1 1392 1562 1563 XOR
2 1 2811 2816 2817 XOR
2 1 3036 5500 5501 XOR
1 1 3263 3264 INV
1 1 3264 3265 INV
2 1 4184 4375 4376 XOR
2 1 4374 4376 4377 XOR
2 1 5569 5575 6016 XOR
2 1 2948 5530 5531 XOR
2 1 5531 5537 5990 XOR
2 1 5642 5645 5646 XOR
2 1 3027 5498 5499 XOR
2 1 5499 5501 5502 XOR
2 1 2907 5576 5577 XOR
2 1 2968 5538 5539 XOR
2 1 2939 5527 5528 XOR
2 1 3522 4208 4209 XOR
2 1 4206 4209 4210 XOR
2 1 4209 4215 4489 XOR
2 1 4161 4166 4167 XOR
2 1 4158 4167 4168 XOR
2 1 4167 4179 4471 XOR
2 1 3966 3977 3978 XOR
2 1 3978 3998 3999 XOR
2 1 2896 2901 2902 XOR
2 1 4164 4367 4368 XOR
2 1 4368 4374 4564 XOR
2 1 2621 3407 3408 XOR
2 1 3405 3408 3409 XOR
2 1 2633 2644 2645 XOR
2 1 2624 2645 2646 XOR
2 1 2945 2950 2951 XOR
2 1 2942 2951 2952 XOR
2 1 2501 3114 3115 XOR
2 1 3112 3115 3116 XOR
2 1 4026 4301 4302 XOR
2 1 4035 4040 4041 XOR
2 1 4029 4041 4441 XOR
2 1 4041 4049 4050 XOR
2 1 4302 4308 4534 XOR
2 1 3552 3575 3576 XOR
2 1 3525 3576 4396 XOR
2 1 2884 2889 2890 XOR
2 1 2890 2902 5808 XOR
2 1 2881 2890 2891 XOR
2 1 3015 5492 5493 XOR
2 1 5493 5499 5964 XOR
2 1 5575 5577 5578 XOR
2 1 1560 3070 3071 XOR
2 1 3068 3071 3072 XOR
2 1 5645 5651 6068 XOR
2 1 1719 1894 1895 XOR
2 1 1563 1895 1896 XOR
2 1 2820 2825 2826 XOR
2 1 2817 2826 2827 XOR
2 1 2905 2909 2910 XOR
2 1 2902 2910 2911 XOR
2 1 4091 4330 4331 XOR
2 1 4329 4331 4332 XOR
2 1 4059 4064 4065 XOR
2 1 4065 4074 4075 XOR
2 1 4139 4354 4355 XOR
2 1 4353 4355 4356 XOR
2 1 3921 3932 3933 XOR
2 1 3033 3038 3039 XOR
2 1 2778 2784 2785 XOR
2 1 5528 5531 5532 XOR
2 1 4014 4019 4020 XOR
2 1 4020 4029 4030 XOR
2 1 3450 3476 3477 XOR
2 1 2678 2679 2680 XOR
2 1 4062 4319 4320 XOR
2 1 2841 2845 2846 XOR
2 1 2213 3079 3080 XOR
2 1 2335 2336 2337 XOR
2 1 2666 3416 3417 XOR
2 1 5537 5539 5540 XOR
2 1 3828 3839 3840 XOR
2 1 4365 4368 4369 XOR
2 1 3873 3884 3885 XOR
2 1 3885 3905 3906 XOR
2 1 3858 4253 4254 XOR
2 1 4254 4260 4510 XOR
2 1 3006 5489 5490 XOR
2 1 5490 5493 5494 XOR
2 1 2878 5565 5566 XOR
2 1 5566 5569 5570 XOR
2 1 3649 3672 3673 XOR
2 1 3673 3718 3719 XOR
2 1 3951 4274 4275 XOR
2 1 4272 4275 4276 XOR
2 1 4275 4281 4519 XOR
2 1 2733 2744 2745 XOR
2 1 2724 2745 2746 XOR
2 1 4119 4346 4347 XOR
2 1 3576 3621 3622 XOR
2 1 4832 4830 4833 XOR
2 1 928 4833 4834 XOR
2 1 2966 2970 2971 XOR
2 1 4116 4121 4122 XOR
2 1 4122 4134 4462 XOR
2 1 4347 4353 4555 XOR
2 1 2832 2837 2838 XOR
2 1 2826 2838 5834 XOR
2 1 2838 2846 2847 XOR
1 1 3202 3203 INV
1 1 3203 3204 INV
2 1 2517 2532 2533 XOR
2 1 2504 2533 2534 XOR
2 1 3715 4229 4230 XOR
2 1 4227 4230 4231 XOR
2 1 4230 4236 4498 XOR
2 1 3742 3765 3766 XOR
2 1 3718 3766 4405 XOR
2 1 3766 3809 3810 XOR
2 1 3115 3121 5704 XOR
2 1 5607 5613 6042 XOR
2 1 4080 4085 4086 XOR
2 1 4074 4086 4450 XOR
2 1 4086 4094 4095 XOR
2 1 4071 4322 4323 XOR
2 1 4320 4323 4324 XOR
2 1 4323 4329 4543 XOR
2 1 2579 2580 2581 XOR
2 1 2565 2581 2582 XOR
2 1 2562 3123 3124 XOR
2 1 969 967 970 XOR
2 1 3012 3017 3018 XOR
2 1 3009 3018 3019 XOR
1 1 970 972 INV
2 1 928 970 971 XOR
1 1 3327 3328 INV
1 1 3328 3329 INV
2 1 4107 4112 4113 XOR
2 1 4113 4122 4123 XOR
2 1 4110 4343 4344 XOR
2 1 4344 4347 4348 XOR
2 1 4017 4298 4299 XOR
2 1 1892 3076 3077 XOR
2 1 3071 3077 5730 XOR
2 1 3077 3080 3081 XOR
2 1 2056 2215 2216 XOR
2 1 2216 2337 2338 XOR
2 1 1895 2216 5938 XOR
2 1 3837 4250 4251 XOR
2 1 4251 4254 4255 XOR
2 1 4299 4302 4303 XOR
2 1 3849 3860 3861 XOR
2 1 3861 3885 4417 XOR
2 1 2957 2962 2963 XOR
2 1 2951 2963 5782 XOR
2 1 2963 2971 2972 XOR
2 1 3840 3861 3862 XOR
2 1 3121 3124 3125 XOR
2 1 2657 2668 2669 XOR
2 1 2669 2680 2681 XOR
2 1 2642 3413 3414 XOR
2 1 3408 3414 5678 XOR
2 1 3414 3417 3418 XOR
2 1 2757 2768 2769 XOR
2 1 2745 2769 5860 XOR
2 1 3024 3029 3030 XOR
2 1 3018 3030 5756 XOR
2 1 3030 3039 3040 XOR
2 1 2645 2669 5886 XOR
2 1 3477 3525 3526 XOR
2 1 2769 2785 2786 XOR
2 1 2533 2565 5912 XOR
2 1 3942 3953 3954 XOR
2 1 3954 3978 4426 XOR
2 1 3933 3954 3955 XOR
1 1 4833 4835 INV
276 138 3480 4993 927 3480 3480 971 4834 2419 1052 1114 5055 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 1564 3480 1564 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 3480 1564 1564 1564 1564 1564 3480 3480 1564 1564 1564 1564 1564 3480 1564 3480 1564 3480 1564 3480 3480 3480 1564 1564 3480 1564 3480 3480 3480 1564 3329 3480 3480 1564 3480 3480 3480 1564 3480 1564 1564 1564 1564 1564 1564 3480 3480 1564 1564 3480 1564 3480 3480 3204 1564 1564 3480 1564 1564 3480 3480 3480 3480 3480 3480 3480 3480 3480 1564 3480 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 1564 4376 4994 928 4331 4355 972 4835 2420 4994 1115 5056 4283 4310 4284 4377 4188 3998 4332 3809 4238 4239 4094 4187 3621 4311 4218 5501 4049 5964 4356 4143 3905 4263 4262 4142 4217 4489 4471 3999 4564 3409 2646 2952 3116 5653 4050 4534 2891 6068 3072 1896 2827 4510 2337 3906 5938 4519 2746 3622 4462 4555 5615 2534 4498 6042 3810 4095 4543 3019 3390 4123 4348 3081 4255 4303 4417 2972 3862 2681 3040 2581 2786 5912 2338 4450 4075 2911 3125 4426 5577 4441 4030 3265 3418 2582 3955 6016 2847 4276 4231 4405 4168 4369 3719 4324 4210 4396 2680 3526 5886 5494 5502 5532 5540 5570 5578 5608 5616 5539 5646 5990 5654 5678 3417 5704 3124 5730 3080 5756 3039 5782 2971 5808 2910 2785 5834 5860 2846 4567 4995 929 4546 4558 973 4836 2421 1053 1116 5057 4522 4537 4285 4378 4189 4429 4333 4408 4501 4240 4453 4474 4399 4312 4219 5967 4444 5965 4357 4144 4420 4264 4513 4465 4492 4490 4472 4000 4565 3410 2647 2953 3117 6071 4051 4535 2892 6069 3073 1897 2828 4511 5941 3907 5939 4520 2747 3623 4463 4556 6045 2535 4499 6043 3811 4096 4544 3020 3391 4124 4349 3082 4256 4304 4418 2973 3863 2682 3041 5915 2787 5913 2339 4451 4076 2912 3126 4427 6019 4442 4031 3266 3419 2583 3956 6017 2848 4277 4232 4406 4169 4370 3720 4325 4211 4397 5889 3527 5887 5495 5503 5533 5541 5571 5579 5609 5617 5993 5647 5991 5655 5679 5681 5705 5707 5731 5733 5757 5759 5783 5785 5809 5811 5863 5835 5861 5837 MAND
2 1 1116 1113 1117 XOR
1 1 1117 1119 INV
2 1 2826 5835 5836 XOR
2 1 2645 5887 5888 XOR
2 1 5613 5617 5618 XOR
2 1 3071 5731 5732 XOR
2 1 4206 4211 4212 XOR
2 1 5537 5541 5542 XOR
2 1 2680 5889 5890 XOR
2 1 5057 5055 5058 XOR
2 1 1336 5058 5059 XOR
1 1 4995 4996 INV
1 1 4996 4997 INV
2 1 3080 5733 5734 XOR
2 1 929 927 930 XOR
2 1 3018 5757 5758 XOR
2 1 5531 5991 5992 XOR
1 1 3266 3267 INV
2 1 4365 4370 4371 XOR
2 1 892 930 931 XOR
1 1 931 4985 INV
2 1 1053 4985 1092 XOR
2 1 1092 1117 1118 XOR
2 1 4283 4522 4523 XOR
2 1 4310 4537 4538 XOR
2 1 2902 2912 2913 XOR
2 1 3039 5759 5760 XOR
2 1 4227 4232 4233 XOR
2 1 5732 5734 5735 XOR
2 1 4020 4031 4032 XOR
2 1 5604 5609 5610 XOR
2 1 4281 4285 4286 XOR
2 1 4374 4378 4379 XOR
2 1 4179 4189 4190 XOR
2 1 3998 4429 4430 XOR
2 1 2846 5837 5838 XOR
2 1 4329 4333 4334 XOR
2 1 3809 4408 4409 XOR
2 1 5499 5503 5504 XOR
2 1 4236 4240 4241 XOR
2 1 4238 4501 4502 XOR
2 1 4094 4453 4454 XOR
2 1 4187 4474 4475 XOR
2 1 3621 4399 4400 XOR
2 1 2910 5811 5812 XOR
2 1 2745 5861 5862 XOR
2 1 5501 5967 5968 XOR
2 1 4308 4312 4313 XOR
2 1 2890 5809 5810 XOR
2 1 5810 5812 5813 XOR
2 1 5493 5965 5966 XOR
2 1 5966 5968 5969 XOR
2 1 4215 4219 4220 XOR
2 1 4212 4220 4221 XOR
2 1 2785 5863 5864 XOR
2 1 4353 4357 4358 XOR
2 1 4134 4144 4145 XOR
2 1 3905 4420 4421 XOR
2 1 4260 4264 4265 XOR
2 1 4262 4513 4514 XOR
2 1 4049 4444 4445 XOR
2 1 4142 4465 4466 XOR
2 1 4217 4492 4493 XOR
2 1 3417 5681 5682 XOR
2 1 3408 5679 5680 XOR
2 1 5680 5682 5683 XOR
2 1 4331 4546 4547 XOR
2 1 5528 5533 5534 XOR
2 1 3933 3956 3957 XOR
2 1 4233 4241 4242 XOR
2 1 3414 3419 3420 XOR
2 1 5569 6017 6018 XOR
2 1 4158 4169 4170 XOR
2 1 4170 4190 4191 XOR
2 1 5577 6019 6020 XOR
2 1 6018 6020 6021 XOR
2 1 3121 3126 3127 XOR
2 1 973 970 974 XOR
2 1 5534 5542 5543 XOR
2 1 3954 4427 4428 XOR
2 1 4428 4430 4431 XOR
1 1 3267 3268 INV
2 1 4320 4325 4326 XOR
2 1 4326 4334 4335 XOR
2 1 4209 4490 4491 XOR
2 1 4491 4493 4494 XOR
2 1 4167 4472 4473 XOR
2 1 4473 4475 4476 XOR
2 1 5651 5655 5656 XOR
2 1 3978 4000 4001 XOR
2 1 3957 4001 4002 XOR
2 1 5888 5890 5891 XOR
2 1 4368 4565 4566 XOR
2 1 5490 5495 5496 XOR
2 1 5496 5504 5505 XOR
2 1 3405 3410 3411 XOR
2 1 3411 3420 3421 XOR
2 1 2624 2647 2648 XOR
2 1 4376 4567 4568 XOR
2 1 4566 4568 4569 XOR
2 1 2942 2953 2954 XOR
2 1 4074 4451 4452 XOR
2 1 4452 4454 4455 XOR
2 1 3112 3117 3118 XOR
2 1 3118 3127 3128 XOR
2 1 5653 6071 6072 XOR
2 1 4041 4051 4052 XOR
2 1 4032 4052 4053 XOR
2 1 4302 4535 4536 XOR
2 1 4536 4538 4539 XOR
2 1 5645 6069 6070 XOR
2 1 6070 6072 6073 XOR
2 1 2881 2892 2893 XOR
2 1 2893 2913 2914 XOR
2 1 3068 3073 3074 XOR
2 1 3673 3720 3721 XOR
1 1 2421 2422 INV
2 1 1563 1897 1898 XOR
1 1 2422 2423 INV
2 1 5836 5838 5839 XOR
2 1 2337 5941 5942 XOR
2 1 2817 2828 2829 XOR
2 1 5758 5760 5761 XOR
1 1 1092 2412 INV
2 1 3718 4406 4407 XOR
2 1 4407 4409 4410 XOR
2 1 4065 4076 4077 XOR
2 1 2971 5785 5786 XOR
2 1 4371 4379 4380 XOR
2 1 4355 4558 4559 XOR
2 1 2838 2848 2849 XOR
2 1 2829 2849 2850 XOR
2 1 4836 4833 4837 XOR
2 1 4272 4277 4278 XOR
2 1 4278 4286 4287 XOR
2 1 2216 2339 2340 XOR
2 1 1898 2340 2341 XOR
2 1 931 4837 4838 XOR
2 1 3525 4397 4398 XOR
2 1 4398 4400 4401 XOR
2 1 5539 5993 5994 XOR
2 1 1895 5939 5940 XOR
2 1 5940 5942 5943 XOR
2 1 4254 4511 4512 XOR
2 1 4512 4514 4515 XOR
2 1 5862 5864 5865 XOR
2 1 3885 3907 3908 XOR
2 1 2951 5783 5784 XOR
2 1 5784 5786 5787 XOR
2 1 3124 5707 5708 XOR
2 1 5566 5571 5572 XOR
2 1 5610 5618 5619 XOR
2 1 4275 4520 4521 XOR
2 1 4521 4523 4524 XOR
2 1 2724 2747 2748 XOR
2 1 5992 5994 5995 XOR
1 1 4837 4839 INV
2 1 3576 3623 3624 XOR
2 1 4122 4463 4464 XOR
2 1 4464 4466 4467 XOR
2 1 3115 5705 5706 XOR
2 1 5706 5708 5709 XOR
2 1 4347 4556 4557 XOR
2 1 4557 4559 4560 XOR
2 1 5615 6045 6046 XOR
2 1 2565 2583 2584 XOR
2 1 2504 2535 2536 XOR
2 1 2536 2584 2585 XOR
2 1 5607 6043 6044 XOR
2 1 6044 6046 6047 XOR
2 1 4230 4499 4500 XOR
2 1 3766 3811 3812 XOR
2 1 3721 3812 3813 XOR
2 1 4500 4502 4503 XOR
2 1 4086 4096 4097 XOR
2 1 4077 4097 4098 XOR
2 1 5642 5647 5648 XOR
2 1 5648 5656 5657 XOR
2 1 4323 4544 4545 XOR
2 1 4545 4547 4548 XOR
2 1 4029 4442 4443 XOR
2 1 4443 4445 4446 XOR
2 1 5575 5579 5580 XOR
2 1 5572 5580 5581 XOR
2 1 3009 3020 3021 XOR
1 1 3391 3392 INV
1 1 3392 3393 INV
1 1 974 976 INV
2 1 931 974 975 XOR
2 1 4113 4124 4125 XOR
2 1 4125 4145 4146 XOR
2 1 3077 3082 3083 XOR
2 1 3074 3083 3084 XOR
2 1 4344 4349 4350 XOR
2 1 4350 4358 4359 XOR
2 1 4251 4256 4257 XOR
2 1 4257 4265 4266 XOR
2 1 4299 4304 4305 XOR
2 1 4305 4313 4314 XOR
2 1 3861 4418 4419 XOR
2 1 4419 4421 4422 XOR
2 1 2963 2973 2974 XOR
2 1 2954 2974 2975 XOR
2 1 3840 3863 3864 XOR
2 1 3864 3908 3909 XOR
2 1 2581 5915 5916 XOR
2 1 2669 2682 2683 XOR
2 1 2648 2683 2684 XOR
2 1 3477 3527 3528 XOR
2 1 3528 3624 3625 XOR
2 1 2533 5913 5914 XOR
2 1 5914 5916 5917 XOR
2 1 3030 3041 3042 XOR
2 1 3021 3042 3043 XOR
2 1 2769 2787 2788 XOR
2 1 2748 2788 2789 XOR
274 137 1899 1899 1899 1899 1899 1899 1899 1899 1899 1899 1899 1899 3531 4997 930 3531 3531 975 1899 4838 2423 1899 1053 1899 1118 1899 5058 1899 1899 1899 3531 3531 1899 1899 1899 1899 1899 3531 3531 3531 3531 3531 3531 3531 1899 3531 3531 3531 1899 3531 1899 3531 3531 3531 3531 3531 3531 3531 3531 3531 3531 1899 1899 1899 1899 1899 3531 3531 3531 1899 3531 3531 3531 1899 1899 1899 1899 3531 3531 1899 1899 3531 3531 3531 3531 3531 3531 3531 3531 3531 1899 1899 3531 3531 1899 3531 1899 1899 1899 3531 3531 3531 1899 1899 1899 1899 3531 3531 3531 3531 3268 1899 1899 1899 3531 1899 1899 3531 3531 3531 3531 3531 1899 3531 3531 3531 3531 3531 1899 1899 1899 1899 1899 1899 1899 1899 1899 6046 6072 6020 5994 5968 5942 5864 5786 5916 5838 5656 5760 4568 5002 931 4547 4559 976 2683 4839 2428 5839 4985 5734 1119 5618 5059 3127 5580 2788 4523 4538 5812 5708 5890 5542 2849 4286 4379 4190 4430 4334 4241 4502 5969 4475 4409 4454 5813 4400 3420 4313 4220 4358 4145 4421 4265 4514 4466 4493 4445 2913 5504 2340 5682 2974 4494 4476 4569 6073 4001 4052 4539 5943 3042 5787 2584 4515 3908 6047 5865 4524 3624 4467 4560 3812 4503 4097 4548 4146 3084 3083 4266 4422 5917 3909 2684 3043 2789 4314 4098 4455 5761 6021 2914 3128 4431 4446 4053 4359 3393 2975 2341 3421 4002 2850 2585 4287 4242 4410 4191 4380 5891 3813 4335 4221 4401 3625 5505 5735 5543 5581 5995 5619 5657 5683 5709 6713 6699 6674 6654 6634 6614 6554 6494 6594 6534 6394 6474 4759 5003 932 4750 4756 977 6254 4840 2429 5840 1054 6454 1120 6374 5060 6114 6354 6234 4738 4747 6514 6434 6574 6334 6214 4645 4666 4621 4693 4657 4636 4729 5970 4714 4684 4705 5814 4681 6094 4654 4633 4663 4618 4690 4642 4735 4711 4726 4702 6194 6314 6294 6414 6174 4495 4477 4570 6074 4600 4609 4540 5944 6154 5788 6274 4516 4597 6048 5866 4525 4588 4468 4561 4591 4504 4612 4549 4147 3085 6134 4267 4423 5918 3910 2685 3044 2790 4315 4099 4456 5762 6022 2915 3129 4432 4447 4054 4360 3394 2976 2342 3422 4003 2851 2586 4288 4243 4411 4192 4381 5892 3814 4336 4222 4402 3626 5506 5736 5544 5582 5996 5620 5658 5684 5710 MAND
2 1 4398 4402 4403 XOR
1 1 5003 5004 INV
1 1 5004 5005 INV
2 1 5968 6634 6635 XOR
2 1 5812 6514 6515 XOR
2 1 5942 6614 6615 XOR
2 1 5888 5892 5893 XOR
2 1 2788 6234 6235 XOR
2 1 5580 6354 6355 XOR
2 1 932 930 933 XOR
2 1 892 933 934 XOR
2 1 4523 4738 4739 XOR
1 1 4739 4740 INV
2 1 4538 4747 4748 XOR
1 1 4748 4749 INV
2 1 5680 5684 5685 XOR
2 1 5890 6574 6575 XOR
2 1 5708 6434 6435 XOR
1 1 934 4986 INV
2 1 5838 6534 6535 XOR
2 1 5610 5620 5621 XOR
2 1 3864 3910 3911 XOR
2 1 5496 5506 5507 XOR
2 1 3957 4003 4004 XOR
1 1 4004 4005 INV
2 1 5542 6334 6335 XOR
2 1 5916 6594 6595 XOR
2 1 4443 4447 4448 XOR
1 1 4448 4449 INV
2 1 1120 1117 1121 XOR
2 1 2849 6214 6215 XOR
1 1 3394 3395 INV
2 1 5656 6394 6395 XOR
1 1 1121 1123 INV
2 1 5060 5058 5061 XOR
2 1 4286 4645 4646 XOR
1 1 4646 4647 INV
2 1 4379 4666 4667 XOR
1 1 4667 4668 INV
2 1 4190 4621 4622 XOR
1 1 4622 4623 INV
2 1 4430 4693 4694 XOR
2 1 4334 4657 4658 XOR
1 1 4658 4659 INV
2 1 2954 2976 2977 XOR
2 1 1898 2342 2343 XOR
2 1 4241 4636 4637 XOR
1 1 4637 4638 INV
2 1 4502 4729 4730 XOR
1 1 4730 4731 INV
2 1 5966 5970 5971 XOR
2 1 4475 4714 4715 XOR
1 1 4715 4716 INV
2 1 5810 5814 5815 XOR
2 1 4409 4684 4685 XOR
1 1 4685 4686 INV
1 1 4694 4695 INV
2 1 4454 4705 4706 XOR
1 1 4706 4707 INV
2 1 3420 6094 6095 XOR
2 1 4400 4681 4682 XOR
1 1 4682 4683 INV
2 1 4313 4654 4655 XOR
1 1 4655 4656 INV
2 1 4220 4633 4634 XOR
1 1 4634 4635 INV
2 1 4358 4663 4664 XOR
1 1 4664 4665 INV
2 1 4145 4618 4619 XOR
1 1 4619 4620 INV
2 1 4421 4690 4691 XOR
1 1 4691 4692 INV
2 1 4265 4642 4643 XOR
1 1 4643 4644 INV
2 1 6046 6713 6714 XOR
2 1 4514 4735 4736 XOR
1 1 4736 4737 INV
2 1 4466 4711 4712 XOR
1 1 4712 4713 INV
2 1 4212 4222 4223 XOR
2 1 4493 4726 4727 XOR
1 1 4727 4728 INV
2 1 5706 5710 5711 XOR
2 1 4445 4702 4703 XOR
1 1 4703 4704 INV
2 1 5992 5996 5997 XOR
2 1 2913 6194 6195 XOR
2 1 5504 6314 6315 XOR
2 1 5534 5544 5545 XOR
2 1 6072 6699 6700 XOR
2 1 4452 4456 4457 XOR
1 1 4457 4458 INV
2 1 5760 6474 6475 XOR
2 1 3118 3129 3130 XOR
2 1 2829 2851 2852 XOR
2 1 4326 4336 4337 XOR
1 1 4337 4338 INV
2 1 5572 5582 5583 XOR
2 1 4233 4243 4244 XOR
2 1 5994 6654 6655 XOR
2 1 5864 6554 6555 XOR
2 1 2340 6294 6295 XOR
2 1 5682 6414 6415 XOR
2 1 2974 6174 6175 XOR
2 1 4032 4054 4055 XOR
2 1 4559 4756 4757 XOR
2 1 4491 4495 4496 XOR
1 1 4496 4497 INV
2 1 4473 4477 4478 XOR
1 1 4478 4479 INV
2 1 2536 2586 2587 XOR
2 1 4566 4570 4571 XOR
1 1 4571 4572 INV
2 1 6070 6074 6075 XOR
2 1 4001 4600 4601 XOR
1 1 4601 4602 INV
2 1 5786 6494 6495 XOR
2 1 5862 5866 5867 XOR
2 1 5734 6454 6455 XOR
2 1 4536 4540 4541 XOR
2 1 4077 4099 4100 XOR
2 1 5940 5944 5945 XOR
2 1 5784 5788 5789 XOR
2 1 2893 2915 2916 XOR
1 1 2429 2430 INV
1 1 2430 2431 INV
1 1 4403 4404 INV
2 1 3042 6154 6155 XOR
2 1 4547 4750 4751 XOR
1 1 4751 4752 INV
2 1 1054 4986 1091 XOR
2 1 1091 1121 1122 XOR
2 1 2584 6274 6275 XOR
1 1 4757 4758 INV
2 1 4512 4516 4517 XOR
1 1 4517 4518 INV
1 1 3911 3912 INV
2 1 3908 4597 4598 XOR
1 1 4598 4599 INV
2 1 6044 6048 6049 XOR
2 1 5758 5762 5763 XOR
2 1 4521 4525 4526 XOR
1 1 4526 4527 INV
2 1 5836 5840 5841 XOR
2 1 5618 6374 6375 XOR
2 1 4464 4468 4469 XOR
1 1 4469 4470 INV
1 1 4541 4542 INV
2 1 4407 4411 4412 XOR
2 1 4557 4561 4562 XOR
1 1 4562 4563 INV
2 1 4052 4609 4610 XOR
1 1 4610 4611 INV
1 1 4223 4224 INV
2 1 3721 3814 3815 XOR
1 1 3815 3816 INV
2 1 3624 4588 4589 XOR
1 1 4589 4590 INV
2 1 4278 4288 4289 XOR
2 1 3127 6114 6115 XOR
2 1 3812 4591 4592 XOR
1 1 4592 4593 INV
2 1 4500 4504 4505 XOR
1 1 4505 4506 INV
2 1 2683 6254 6255 XOR
2 1 4097 4612 4613 XOR
1 1 4613 4614 INV
1 1 4412 4413 INV
2 1 1361 5061 5062 XOR
2 1 4545 4549 4550 XOR
1 1 4550 4551 INV
2 1 5648 5658 5659 XOR
2 1 4305 4315 4316 XOR
1 1 4316 4317 INV
2 1 4840 4837 4841 XOR
1 1 4841 4843 INV
2 1 934 4841 4842 XOR
2 1 6020 6674 6675 XOR
2 1 4371 4381 4382 XOR
1 1 4055 4056 INV
2 1 4170 4192 4193 XOR
1 1 4193 4194 INV
2 1 4568 4759 4760 XOR
1 1 4760 4761 INV
2 1 977 974 978 XOR
2 1 934 978 979 XOR
1 1 978 980 INV
1 1 4244 4245 INV
2 1 4125 4147 4148 XOR
1 1 4148 4149 INV
2 1 3083 6134 6135 XOR
2 1 3528 3626 3627 XOR
1 1 3627 3628 INV
2 1 3074 3085 3086 XOR
2 1 5732 5736 5737 XOR
2 1 4350 4360 4361 XOR
1 1 4361 4362 INV
1 1 4382 4383 INV
2 1 4257 4267 4268 XOR
1 1 4268 4269 INV
2 1 5914 5918 5919 XOR
2 1 4419 4423 4424 XOR
1 1 4424 4425 INV
1 1 4289 4290 INV
2 1 4428 4432 4433 XOR
1 1 4433 4434 INV
1 1 1091 2411 INV
2 1 3411 3422 3423 XOR
1 1 3423 3424 INV
2 1 2648 2685 2686 XOR
2 1 6018 6022 6023 XOR
2 1 3021 3044 3045 XOR
2 1 2748 2790 2791 XOR
1 1 4100 4101 INV
80 40 4985 933 4758 979 4842 1054 2411 1122 5061 4749 4683 4656 4635 4665 4620 4644 4737 4713 4728 4692 4704 4599 4518 4470 4563 4590 4497 4611 4542 4056 4449 3912 4425 4269 4149 4362 4317 4404 4224 3628 4986 934 4761 980 4843 4986 2412 1123 5062 4752 4686 4659 4638 4668 4623 4647 4740 4716 4731 4695 4707 4602 4527 4479 4572 4593 4506 4614 4551 4101 4458 4005 4434 4290 4194 4383 4338 4413 4245 3816 4987 935 4762 981 4844 1055 2413 1124 5063 4753 4687 4660 4639 4669 4624 4648 4741 4717 4732 4696 4708 4603 4528 4480 4573 4594 4507 4615 4552 4102 4459 4006 4435 4291 4195 4384 4339 4414 4246 3817 MAND
1 1 4987 4988 INV
1 1 4988 4989 INV
1 1 4246 4247 INV
1 1 4247 4248 INV
2 1 935 933 936 XOR
2 1 892 936 937 XOR
1 1 937 4981 INV
1 1 4291 4292 INV
2 1 1124 1121 1125 XOR
1 1 1125 1127 INV
2 1 4844 4841 4845 XOR
1 1 4687 4688 INV
1 1 4688 4689 INV
1 1 4660 4661 INV
1 1 4661 4662 INV
1 1 4639 4640 INV
1 1 4640 4641 INV
1 1 4669 4670 INV
1 1 4670 4671 INV
1 1 4624 4625 INV
1 1 4625 4626 INV
1 1 4459 4460 INV
1 1 4460 4461 INV
1 1 4648 4649 INV
1 1 4649 4650 INV
1 1 4741 4742 INV
1 1 4742 4743 INV
1 1 4717 4718 INV
1 1 4718 4719 INV
1 1 4732 4733 INV
1 1 4733 4734 INV
1 1 4696 4697 INV
1 1 4697 4698 INV
1 1 4708 4709 INV
1 1 4709 4710 INV
1 1 4339 4340 INV
1 1 4340 4341 INV
1 1 4006 4007 INV
2 1 1055 4981 1090 XOR
2 1 1090 1125 1126 XOR
1 1 1090 2407 INV
1 1 4762 4763 INV
1 1 4763 4764 INV
1 1 3817 3818 INV
1 1 3818 3819 INV
1 1 4603 4604 INV
1 1 4604 4605 INV
1 1 4528 4529 INV
1 1 4529 4530 INV
2 1 937 4845 4846 XOR
1 1 4480 4481 INV
1 1 4481 4482 INV
1 1 4573 4574 INV
1 1 4574 4575 INV
1 1 4753 4754 INV
1 1 4754 4755 INV
1 1 4594 4595 INV
1 1 4595 4596 INV
1 1 4507 4508 INV
1 1 4508 4509 INV
1 1 4615 4616 INV
1 1 4616 4617 INV
2 1 5063 5061 5064 XOR
2 1 1385 5064 5065 XOR
1 1 4552 4553 INV
1 1 4553 4554 INV
1 1 4384 4385 INV
1 1 4385 4386 INV
1 1 4435 4436 INV
1 1 4436 4437 INV
2 1 981 978 982 XOR
1 1 4414 4415 INV
1 1 4415 4416 INV
2 1 937 982 983 XOR
1 1 982 984 INV
1 1 2413 2414 INV
1 1 2414 2415 INV
1 1 4007 4008 INV
1 1 4292 4293 INV
1 1 4845 4847 INV
1 1 4102 4103 INV
1 1 4103 4104 INV
1 1 4195 4196 INV
1 1 4196 4197 INV
44 22 936 983 4846 1055 1126 5064 4755 4662 4641 4734 4689 4710 4596 4509 4617 4554 4461 4104 4341 4416 4248 3819 937 984 4847 4981 1127 5065 4764 4671 4650 4743 4698 4719 4605 4530 4626 4575 4482 4197 4386 4437 4293 4008 938 985 4848 1056 1128 5066 4765 4672 4651 4744 4699 4720 4606 4531 4627 4576 4483 4198 4387 4438 4294 4009 MAND
2 1 1128 1125 1129 XOR
1 1 4387 4388 INV
1 1 4388 4389 INV
1 1 1129 1131 INV
1 1 4483 4484 INV
1 1 4484 4485 INV
1 1 4672 4673 INV
1 1 4673 4674 INV
1 1 4651 4652 INV
1 1 4652 4653 INV
1 1 4744 4745 INV
1 1 4745 4746 INV
1 1 4699 4700 INV
1 1 4700 4701 INV
1 1 4720 4721 INV
1 1 4721 4722 INV
1 1 4438 4439 INV
1 1 4439 4440 INV
1 1 4294 4295 INV
1 1 4295 4296 INV
1 1 4009 4010 INV
1 1 4010 4011 INV
2 1 5066 5064 5067 XOR
2 1 938 936 939 XOR
2 1 892 939 940 XOR
2 1 4848 4845 4849 XOR
1 1 4765 4766 INV
1 1 4766 4767 INV
1 1 4606 4607 INV
1 1 4607 4608 INV
1 1 4531 4532 INV
1 1 4532 4533 INV
1 1 4627 4628 INV
1 1 4628 4629 INV
1 1 940 4980 INV
2 1 1056 4980 1089 XOR
2 1 1089 1129 1130 XOR
1 1 1089 2406 INV
1 1 4576 4577 INV
1 1 4577 4578 INV
2 1 1412 5067 5068 XOR
2 1 940 4849 4850 XOR
1 1 4849 4851 INV
2 1 985 982 986 XOR
1 1 986 988 INV
2 1 940 986 987 XOR
1 1 4198 4199 INV
1 1 4199 4200 INV
32 16 4980 940 987 4850 2406 1056 1130 5067 4653 4746 4701 4608 4533 4440 4296 4011 4981 939 988 4851 2407 4980 1131 5068 4674 4767 4722 4629 4578 4485 4389 4200 4982 991 989 4852 2408 1057 1132 5069 4675 4768 4723 4630 4579 4486 4390 4201 MAND
2 1 939 991 992 XOR
2 1 892 992 993 XOR
1 1 993 4966 INV
2 1 1132 1129 1133 XOR
1 1 1133 1135 INV
1 1 4675 4676 INV
1 1 4676 4677 INV
1 1 4768 4769 INV
1 1 4769 4770 INV
1 1 4723 4724 INV
1 1 4724 4725 INV
1 1 4486 4487 INV
1 1 4201 4202 INV
1 1 4202 4203 INV
2 1 4852 4849 4853 XOR
2 1 993 4853 4854 XOR
1 1 2408 2409 INV
1 1 2409 2410 INV
2 1 1057 4966 1088 XOR
2 1 1088 1133 1134 XOR
1 1 1088 2393 INV
1 1 4487 4488 INV
1 1 4853 4855 INV
1 1 4630 4631 INV
1 1 4631 4632 INV
1 1 4579 4580 INV
1 1 4580 4581 INV
2 1 5069 5067 5070 XOR
2 1 1431 5070 5071 XOR
2 1 989 986 990 XOR
1 1 4982 4983 INV
1 1 4983 4984 INV
1 1 4390 4391 INV
1 1 4391 4392 INV
22 11 4984 992 4854 1057 2410 1134 5070 4725 4632 4488 4203 4989 993 4855 4966 2415 1135 5071 4770 4677 4581 4392 4990 994 4856 1058 2416 1136 5072 4771 4678 4582 4393 MAND
2 1 4856 4853 4857 XOR
1 1 4857 4859 INV
2 1 994 992 995 XOR
2 1 5072 5070 5073 XOR
2 1 1451 5073 5074 XOR
2 1 1136 1133 1137 XOR
1 1 1137 1139 INV
1 1 4771 4772 INV
1 1 4772 4773 INV
1 1 4393 4394 INV
1 1 4394 4395 INV
2 1 892 995 996 XOR
1 1 996 4967 INV
2 1 996 4857 4858 XOR
2 1 1058 4967 1087 XOR
2 1 1087 1137 1138 XOR
1 1 1087 2392 INV
1 1 4678 4679 INV
1 1 4679 4680 INV
1 1 2416 2417 INV
1 1 2417 2418 INV
1 1 4582 4583 INV
1 1 4583 4584 INV
1 1 4990 4991 INV
1 1 4991 4992 INV
22 11 4992 4966 995 4858 2392 1058 2418 1138 5073 4680 4395 5005 4967 996 4859 2393 4967 2431 1139 5074 4773 4584 5006 4968 997 4860 2394 1059 2432 1140 5075 4774 4585 MAND
2 1 997 995 998 XOR
2 1 892 998 999 XOR
1 1 999 4961 INV
1 1 4585 4586 INV
1 1 4586 4587 INV
2 1 5075 5073 5076 XOR
2 1 1140 1137 1141 XOR
1 1 1141 1143 INV
1 1 4968 4969 INV
2 1 1059 4961 1086 XOR
2 1 1086 1141 1142 XOR
1 1 2394 2395 INV
1 1 2395 2396 INV
2 1 4860 4857 4861 XOR
1 1 1086 2388 INV
1 1 4861 4863 INV
1 1 5006 5007 INV
2 1 999 4861 4862 XOR
1 1 4969 4970 INV
1 1 4774 4775 INV
1 1 4775 4776 INV
1 1 5007 5008 INV
2 1 1470 5076 5077 XOR
1 1 2432 2433 INV
1 1 2433 2434 INV
16 8 998 4862 5008 1059 2434 1142 5076 4587 999 4863 5037 4961 2458 1143 5077 4776 1000 4864 5038 1060 2459 1144 5078 4777 MAND
2 1 1144 1141 1145 XOR
1 1 5038 5039 INV
1 1 5039 5040 INV
1 1 4777 4778 INV
1 1 4778 4779 INV
2 1 1000 998 1001 XOR
2 1 892 1001 1002 XOR
1 1 1002 4962 INV
2 1 1060 4962 1085 XOR
2 1 1085 1145 1146 XOR
1 1 1085 2387 INV
2 1 5078 5076 5079 XOR
2 1 1493 5079 5080 XOR
1 1 1145 1147 INV
1 1 2459 2460 INV
2 1 4864 4861 4865 XOR
1 1 4865 4867 INV
2 1 1002 4865 4866 XOR
16 8 4961 1001 4866 1060 2387 1146 5079 3424 4962 1002 4867 4962 2388 1147 5080 4779 4963 1003 4868 1061 2389 1148 5081 4780 MAND
2 1 1003 1001 1004 XOR
2 1 892 1004 1005 XOR
1 1 1005 4953 INV
2 1 4868 4865 4869 XOR
2 1 1148 1145 1149 XOR
2 1 1005 4869 4870 XOR
1 1 1149 1151 INV
2 1 1061 4953 1084 XOR
2 1 1084 1149 1150 XOR
1 1 1084 2380 INV
1 1 2389 2390 INV
1 1 4869 4871 INV
1 1 2390 2391 INV
1 1 4780 4781 INV
2 1 3395 4781 4782 XOR
1 1 4963 4964 INV
1 1 4964 4965 INV
2 1 5081 5079 5082 XOR
2 1 1512 5082 5083 XOR
14 7 4965 1004 4870 1061 2391 1150 5082 4970 1005 4871 4953 2396 1151 5083 4971 1006 4872 1062 2397 1152 5084 MAND
2 1 1006 1004 1007 XOR
2 1 892 1007 1008 XOR
1 1 1008 4954 INV
2 1 1152 1149 1153 XOR
1 1 1153 1155 INV
2 1 1062 4954 1083 XOR
2 1 1083 1153 1154 XOR
1 1 1083 2379 INV
1 1 2397 2398 INV
1 1 4971 4972 INV
1 1 4972 4973 INV
1 1 2398 2399 INV
2 1 5084 5082 5085 XOR
2 1 1533 5085 5086 XOR
1 1 2460 2461 INV
2 1 4872 4869 4873 XOR
1 1 4873 4875 INV
2 1 1008 4873 4874 XOR
14 7 4953 1007 4874 2379 1062 1154 5085 4954 1008 4875 2380 4954 1155 5086 4955 1009 4876 2381 1063 1156 5087 MAND
2 1 4876 4873 4877 XOR
1 1 4955 4956 INV
1 1 4956 4957 INV
2 1 1009 1007 1010 XOR
2 1 892 1010 1011 XOR
2 1 1011 4877 4878 XOR
2 1 1156 1153 1157 XOR
1 1 1157 1159 INV
1 1 1011 4948 INV
1 1 4877 4879 INV
2 1 1063 4948 1082 XOR
2 1 1082 1157 1158 XOR
1 1 1082 2375 INV
2 1 5087 5085 5088 XOR
2 1 1553 5088 5089 XOR
10 5 1010 4878 1063 1158 5088 1011 4879 4948 1159 5089 1012 4880 1064 1160 5090 MAND
2 1 1012 1010 1013 XOR
2 1 892 1013 1014 XOR
1 1 1014 4949 INV
2 1 1160 1157 1161 XOR
1 1 1161 1163 INV
2 1 1064 4949 1081 XOR
2 1 1081 1161 1162 XOR
2 1 4880 4877 4881 XOR
1 1 4881 4883 INV
2 1 1014 4881 4882 XOR
1 1 1081 2374 INV
1 1 2381 2382 INV
1 1 2382 2383 INV
2 1 5090 5088 5091 XOR
2 1 1581 5091 5092 XOR
14 7 1013 4948 4882 1064 2374 1162 5091 1014 4949 4883 4949 2375 1163 5092 1015 4950 4884 1065 2376 1164 5093 MAND
1 1 4950 4951 INV
1 1 4951 4952 INV
2 1 1015 1013 1016 XOR
2 1 892 1016 1017 XOR
1 1 1017 4937 INV
2 1 1164 1161 1165 XOR
1 1 1165 1167 INV
2 1 5093 5091 5094 XOR
2 1 4884 4881 4885 XOR
2 1 1598 5094 5095 XOR
2 1 1017 4885 4886 XOR
2 1 1065 4937 1080 XOR
1 1 1080 2364 INV
1 1 2376 2377 INV
1 1 2377 2378 INV
2 1 1080 1165 1166 XOR
1 1 4885 4887 INV
14 7 4952 1016 4886 1065 2378 1166 5094 4957 1017 4887 4937 2383 1167 5095 4958 1018 4888 1066 2384 1168 5096 MAND
2 1 4888 4885 4889 XOR
1 1 4958 4959 INV
1 1 4959 4960 INV
2 1 1018 1016 1019 XOR
2 1 892 1019 1020 XOR
1 1 1020 4938 INV
1 1 2384 2385 INV
2 1 1168 1165 1169 XOR
1 1 1169 1171 INV
1 1 2385 2386 INV
2 1 5096 5094 5097 XOR
2 1 1616 5097 5098 XOR
2 1 1020 4889 4890 XOR
1 1 4889 4891 INV
2 1 1066 4938 1079 XOR
2 1 1079 1169 1170 XOR
1 1 1079 2363 INV
18 9 4960 4937 1019 4890 1066 2363 2386 1170 5097 4973 4938 1020 4891 4938 2364 2399 1171 5098 4974 4939 1021 4892 1067 2365 2400 1172 5099 MAND
1 1 2400 2401 INV
1 1 4974 4975 INV
2 1 4892 4889 4893 XOR
1 1 4893 4895 INV
1 1 4939 4940 INV
2 1 5099 5097 5100 XOR
2 1 1633 5100 5101 XOR
2 1 1172 1169 1173 XOR
1 1 1173 1175 INV
1 1 4940 4941 INV
1 1 2401 2402 INV
1 1 2365 2366 INV
1 1 2366 2367 INV
1 1 4975 4976 INV
2 1 1021 1019 1022 XOR
2 1 892 1022 1023 XOR
1 1 1023 4932 INV
2 1 1067 4932 1078 XOR
2 1 1078 1173 1174 XOR
1 1 1078 2359 INV
2 1 1023 4893 4894 XOR
10 5 1022 4894 1067 1174 5100 1023 4895 4932 1175 5101 1024 4896 1068 1176 5102 MAND
2 1 1024 1022 1025 XOR
2 1 892 1025 1026 XOR
1 1 1026 4933 INV
2 1 1176 1173 1177 XOR
1 1 1177 1179 INV
2 1 5102 5100 5103 XOR
2 1 1654 5103 5104 XOR
2 1 1068 4933 1077 XOR
2 1 1077 1177 1178 XOR
2 1 4896 4893 4897 XOR
2 1 1026 4897 4898 XOR
1 1 4897 4899 INV
1 1 1077 2358 INV
14 7 4932 1025 4898 2358 1068 1178 5103 4933 1026 4899 2359 4933 1179 5104 4934 1027 4900 2360 1069 1180 5105 MAND
1 1 4934 4935 INV
1 1 4935 4936 INV
2 1 1027 1025 1028 XOR
2 1 892 1028 1029 XOR
2 1 1180 1177 1181 XOR
1 1 1181 1183 INV
1 1 2360 2361 INV
1 1 1029 4924 INV
2 1 4900 4897 4901 XOR
2 1 1029 4901 4902 XOR
1 1 4901 4903 INV
2 1 5105 5103 5106 XOR
2 1 1671 5106 5107 XOR
1 1 2361 2362 INV
2 1 1069 4924 1076 XOR
1 1 1076 2351 INV
2 1 1076 1181 1182 XOR
14 7 4936 1028 4902 2362 1069 1182 5106 4941 1029 4903 2367 4924 1183 5107 4942 1030 4904 2368 1070 1184 5108 MAND
1 1 4942 4943 INV
1 1 4943 4944 INV
2 1 1030 1028 1031 XOR
2 1 892 1031 1032 XOR
1 1 1032 4925 INV
2 1 1184 1181 1185 XOR
1 1 1185 1187 INV
1 1 2368 2369 INV
2 1 5108 5106 5109 XOR
2 1 1692 5109 5110 XOR
2 1 4904 4901 4905 XOR
2 1 1032 4905 4906 XOR
1 1 4905 4907 INV
2 1 1070 4925 1075 XOR
1 1 1075 2350 INV
1 1 2369 2370 INV
2 1 1075 1185 1186 XOR
14 7 1031 4924 4906 2350 1070 1186 5109 1032 4925 4907 2351 4925 1187 5110 1033 4926 4908 2352 1071 1188 5111 MAND
2 1 4908 4905 4909 XOR
1 1 4909 4911 INV
2 1 1033 1031 1034 XOR
2 1 892 1034 1035 XOR
2 1 1035 4909 4910 XOR
1 1 1035 4920 INV
1 1 4926 4927 INV
1 1 4927 4928 INV
2 1 5111 5109 5112 XOR
2 1 1712 5112 5113 XOR
1 1 2352 2353 INV
1 1 2353 2354 INV
2 1 1071 4920 1074 XOR
1 1 1074 2346 INV
2 1 1188 1185 1189 XOR
2 1 1074 1189 1190 XOR
1 1 1189 1191 INV
10 5 1034 4910 1071 1190 5112 1035 4911 4920 1191 5113 1036 4912 1072 1192 5114 MAND
2 1 4912 4909 4913 XOR
1 1 4913 4915 INV
2 1 1036 1034 1037 XOR
2 1 892 1037 1038 XOR
2 1 1038 4913 4914 XOR
1 1 1038 4919 INV
2 1 1192 1189 1193 XOR
1 1 1193 1195 INV
2 1 5114 5112 5115 XOR
2 1 1739 5115 5116 XOR
2 1 4919 1072 1073 XOR
1 1 1073 2345 INV
2 1 1073 1193 1194 XOR
34 17 921 4993 928 918 915 5015 5014 912 5023 5022 893 5027 4919 4914 2345 1194 5115 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 4920 4915 2346 1195 5116 7084 7100 7117 7068 7052 7019 7002 7036 6985 6968 6951 6694 4921 4916 2347 1196 5117 MAND
2 1 918 7068 7069 XOR
2 1 893 6951 6952 XOR
2 1 928 7117 7118 XOR
2 1 4916 4913 4917 XOR
2 1 915 7052 7053 XOR
2 1 5027 6694 6695 XOR
2 1 5027 6695 6696 XOR
2 1 5023 6985 6986 XOR
2 1 5023 6986 6987 XOR
1 1 4921 4922 INV
1 1 4922 4923 INV
2 1 893 6952 6953 XOR
2 1 928 7118 7119 XOR
2 1 5014 7002 7003 XOR
2 1 5014 7003 7004 XOR
2 1 5022 6968 6969 XOR
2 1 912 7036 7037 XOR
2 1 4993 7100 7101 XOR
2 1 4993 7101 7102 XOR
2 1 5117 5115 5118 XOR
2 1 1759 5118 5119 XOR
2 1 5015 7019 7020 XOR
2 1 5022 6969 6970 XOR
2 1 912 7037 7038 XOR
2 1 918 7069 7070 XOR
2 1 5015 7020 7021 XOR
1 1 2347 2348 INV
1 1 2348 2349 INV
2 1 915 7053 7054 XOR
2 1 921 7084 7085 XOR
2 1 921 7085 7086 XOR
2 1 1196 1193 1197 XOR
2 1 2345 1197 1198 XOR
158 79 990 990 1198 990 990 990 990 990 990 990 990 990 1198 1198 990 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 4923 1198 1198 1198 1198 2349 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 5118 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 1198 7102 7119 5545 7086 7070 7054 7038 7021 7004 6987 6970 6953 6714 6700 6696 6675 6655 6615 6555 6495 6595 6535 6395 6475 5621 4928 6255 5841 6455 5997 2354 6115 6635 6375 5685 6515 6575 6235 6355 6435 6335 5507 6215 6095 5971 5815 5711 6195 6315 6295 6415 6175 6075 5789 5945 5583 6275 6155 6049 5119 5659 6135 3086 5919 2686 3045 2791 6023 5763 2916 3130 5867 2343 2977 2852 2587 5893 5737 4782 7103 7120 5546 7087 7071 7055 7039 7022 7005 6988 6971 6954 6715 6701 6697 6676 6656 6616 6556 6496 6596 6536 6396 6476 5622 4929 6256 5842 6456 5998 2355 6116 6636 6376 5686 6516 6576 6236 6356 6436 6336 5508 6216 6096 5972 5816 5712 6196 6316 6296 6416 6176 6076 5790 5946 5584 6276 6156 6050 5120 5660 6136 3087 5920 2687 3046 2792 6024 5764 2917 3131 5868 2344 2978 2853 2588 5894 5738 4783 MAND
2 1 1800 6196 6197 XOR
2 1 2129 6516 6517 XOR
2 1 1935 6316 6317 XOR
2 1 2092 6476 6477 XOR
2 1 5027 6697 6698 XOR
2 1 3395 4783 4784 XOR
2 1 915 7055 7056 XOR
2 1 2188 6576 6577 XOR
2 1 2169 6556 6557 XOR
2 1 2271 6656 6657 XOR
2 1 918 7071 7072 XOR
2 1 5014 7005 7006 XOR
2 1 1844 6236 6237 XOR
2 1 1633 6024 6025 XOR
2 1 2031 6416 6417 XOR
2 1 1917 6296 6297 XOR
2 1 2311 6715 6716 XOR
2 1 2804 2853 2854 XOR
2 1 2234 6616 6617 XOR
2 1 1598 5972 5973 XOR
2 1 5023 6988 6989 XOR
2 1 1780 6176 6177 XOR
2 1 2475 2588 2589 XOR
2 1 1293 5584 5585 XOR
2 1 3102 3131 3132 XOR
2 1 1336 5660 5661 XOR
2 1 884 2344 2465 XOR
2 1 2329 6701 6702 XOR
2 1 4993 7103 7104 XOR
2 1 2111 6496 6497 XOR
2 1 2868 2917 2918 XOR
2 1 1512 5868 5869 XOR
1 1 4929 4930 INV
1 1 4930 4931 INV
2 1 1671 6076 6077 XOR
2 1 5022 6971 6972 XOR
2 1 921 7087 7088 XOR
2 1 1451 5790 5791 XOR
2 1 1581 5946 5947 XOR
2 1 2206 6596 6597 XOR
2 1 928 7120 7121 XOR
2 1 1712 6116 6117 XOR
2 1 1972 6356 6357 XOR
2 1 1865 6256 6257 XOR
2 1 1994 6376 6377 XOR
2 1 2289 6676 6677 XOR
2 1 1885 6276 6277 XOR
2 1 1759 6156 6157 XOR
2 1 2012 6396 6397 XOR
2 1 1470 5816 5817 XOR
2 1 1654 6050 6051 XOR
2 1 1412 5738 5739 XOR
2 1 893 6954 6955 XOR
2 1 3143 4784 4785 XOR
2 1 1266 5546 5547 XOR
2 1 5120 5118 5121 XOR
2 1 1780 5121 5122 XOR
2 1 1361 5686 5687 XOR
2 1 5015 7022 7023 XOR
2 1 912 7039 7040 XOR
2 1 1954 6336 6337 XOR
2 1 2929 2978 2979 XOR
2 1 1616 5998 5999 XOR
2 1 1824 6216 6217 XOR
2 1 2049 6436 6437 XOR
2 1 1739 6136 6137 XOR
2 1 1692 6096 6097 XOR
2 1 1493 5842 5843 XOR
2 1 1237 5508 5509 XOR
2 1 3058 3087 3088 XOR
2 1 2151 6536 6537 XOR
1 1 2355 2356 INV
1 1 2356 2357 INV
6 3 4931 2357 5121 4944 2370 5122 4945 2371 5123 MAND
1 1 4945 4946 INV
1 1 4946 4947 INV
2 1 5123 5121 5124 XOR
2 1 1800 5124 5125 XOR
2 1 1553 5920 5921 XOR
1 1 2371 2372 INV
2 1 1317 5622 5623 XOR
1 1 2372 2373 INV
6 3 4947 2373 5124 4976 2402 5125 4977 2403 5126 MAND
1 1 4977 4978 INV
1 1 4978 4979 INV
2 1 5126 5124 5127 XOR
2 1 1824 5127 5128 XOR
2 1 4919 4917 4918 XOR
2 1 2074 6456 6457 XOR
2 1 2602 2687 2688 XOR
1 1 2403 2404 INV
1 1 2404 2405 INV
6 3 4979 2405 5127 5040 2461 5128 5041 2462 5129 MAND
1 1 2462 2463 INV
1 1 2463 2464 INV
1 1 5041 5042 INV
1 1 5042 5043 INV
2 1 5129 5127 5130 XOR
2 1 1844 5130 5131 XOR
2 1 1385 5712 5713 XOR
2 1 2252 6636 6637 XOR
2 1 2996 3046 3047 XOR
2 1 1431 5764 5765 XOR
2 1 2702 2792 2793 XOR
2 1 1533 5894 5895 XOR
130 65 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 5130 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 2464 6716 6677 6657 6702 6617 6557 6497 6597 6537 6397 6477 6637 6257 5843 6457 6117 5687 5869 5585 5999 6377 5547 6577 6517 4785 6237 6357 5509 6437 5623 6337 6217 6097 5973 5817 5713 5661 6197 6317 6417 6297 6177 6077 5791 5947 6277 6157 6051 5131 6137 5921 3088 2688 6025 5765 3047 2793 2918 3132 2465 2979 2854 2589 5895 5739 6717 6678 6658 6703 6618 6558 6498 6598 6538 6398 6478 6638 6258 5844 6458 6118 5688 5870 5586 6000 6378 5548 6578 6518 4786 6238 6358 5510 6438 5624 6338 6218 6098 5974 5818 5714 5662 6198 6318 6418 6298 6178 6078 5792 5948 6278 6158 6052 5132 6138 5922 3089 2689 6026 5766 3048 2794 2919 3133 2466 2980 2855 2590 5896 5740 MAND
2 1 6256 6258 6259 XOR
2 1 5622 5624 5625 XOR
2 1 6236 6238 6239 XOR
2 1 6196 6198 6199 XOR
2 1 6416 6418 6419 XOR
2 1 2031 6419 6420 XOR
2 1 5894 5896 5897 XOR
2 1 6496 6498 6499 XOR
2 1 2111 6499 6500 XOR
2 1 6296 6298 6299 XOR
2 1 1917 6299 6300 XOR
2 1 6176 6178 6179 XOR
2 1 1780 6179 6180 XOR
2 1 5816 5818 5819 XOR
2 1 4784 4786 4787 XOR
2 1 2853 2855 2856 XOR
2 1 6216 6218 6219 XOR
2 1 1824 6219 6220 XOR
2 1 6076 6078 6079 XOR
2 1 1671 6079 6080 XOR
2 1 6656 6658 6659 XOR
2 1 5584 5586 5587 XOR
2 1 6356 6358 6359 XOR
2 1 1972 6359 6360 XOR
2 1 6676 6678 6679 XOR
2 1 2289 6679 6680 XOR
2 1 6596 6598 6599 XOR
2 1 2206 6599 6600 XOR
2 1 5790 5792 5793 XOR
2 1 1451 5793 5794 XOR
2 1 2344 2466 2467 XOR
2 1 5508 5510 5511 XOR
2 1 3143 4787 4788 XOR
2 1 5946 5948 5949 XOR
2 1 1581 5949 5950 XOR
2 1 6436 6438 6439 XOR
2 1 6336 6338 6339 XOR
2 1 6376 6378 6379 XOR
2 1 1994 6379 6380 XOR
2 1 6701 6703 6704 XOR
2 1 1293 5587 5588 XOR
2 1 6156 6158 6159 XOR
2 1 1759 6159 6160 XOR
2 1 6276 6278 6279 XOR
2 1 1885 6279 6280 XOR
2 1 6516 6518 6519 XOR
2 1 5842 5844 5845 XOR
2 1 1493 5845 5846 XOR
2 1 1470 5819 5820 XOR
2 1 6536 6538 6539 XOR
2 1 2151 6539 6540 XOR
2 1 6576 6578 6579 XOR
2 1 2188 6579 6580 XOR
2 1 2129 6519 6520 XOR
2 1 6316 6318 6319 XOR
2 1 1935 6319 6320 XOR
2 1 6636 6638 6639 XOR
2 1 2252 6639 6640 XOR
2 1 6050 6052 6053 XOR
2 1 1654 6053 6054 XOR
2 1 6396 6398 6399 XOR
2 1 2012 6399 6400 XOR
2 1 1533 5897 5898 XOR
2 1 1800 6199 6200 XOR
2 1 5660 5662 5663 XOR
2 1 6096 6098 6099 XOR
2 1 2271 6659 6660 XOR
2 1 1317 5625 5626 XOR
2 1 5868 5870 5871 XOR
2 1 5686 5688 5689 XOR
2 1 5738 5740 5741 XOR
2 1 1412 5741 5742 XOR
2 1 6456 6458 6459 XOR
2 1 2074 6459 6460 XOR
2 1 5132 5130 5133 XOR
2 1 1865 5133 5134 XOR
2 1 2804 2856 2857 XOR
2 1 1512 5871 5872 XOR
2 1 1692 6099 6100 XOR
2 1 1844 6239 6240 XOR
2 1 2049 6439 6440 XOR
2 1 2917 2919 2920 XOR
2 1 5972 5974 5975 XOR
2 1 5712 5714 5715 XOR
2 1 1385 5715 5716 XOR
2 1 1336 5663 5664 XOR
2 1 6116 6118 6119 XOR
2 1 1712 6119 6120 XOR
2 1 6136 6138 6139 XOR
2 1 1739 6139 6140 XOR
2 1 6476 6478 6479 XOR
2 1 2092 6479 6480 XOR
2 1 1237 5511 5512 XOR
2 1 884 2467 2468 XOR
2 1 5998 6000 6001 XOR
2 1 1616 6001 6002 XOR
2 1 3131 3133 3134 XOR
2 1 3102 3134 3135 XOR
2 1 5920 5922 5923 XOR
2 1 1553 5923 5924 XOR
2 1 1598 5975 5976 XOR
2 1 5546 5548 5549 XOR
2 1 1954 6339 6340 XOR
2 1 3087 3089 3090 XOR
2 1 3058 3090 3091 XOR
2 1 1361 5689 5690 XOR
2 1 6556 6558 6559 XOR
2 1 2169 6559 6560 XOR
2 1 2868 2920 2921 XOR
2 1 2978 2980 2981 XOR
2 1 2929 2981 2982 XOR
2 1 6715 6717 6718 XOR
2 1 2311 6718 6719 XOR
2 1 1266 5549 5550 XOR
2 1 5764 5766 5767 XOR
2 1 1431 5767 5768 XOR
2 1 2329 6704 6705 XOR
2 1 2687 2689 2690 XOR
2 1 2602 2690 2691 XOR
2 1 1865 6259 6260 XOR
2 1 2588 2590 2591 XOR
2 1 2475 2591 2593 XOR
2 1 6024 6026 6027 XOR
2 1 1633 6027 6028 XOR
2 1 6616 6618 6619 XOR
2 1 2234 6619 6620 XOR
2 1 3046 3048 3049 XOR
2 1 2996 3049 3050 XOR
2 1 2792 2794 2795 XOR
2 1 2702 2795 2796 XOR
130 65 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 5133 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 1038 6002 6719 6705 6680 6660 6620 6560 6500 6600 6400 6540 6480 6640 5846 5550 6120 6460 6580 6380 5626 4788 5664 5588 6520 6240 5512 6440 6360 6340 6220 6100 5976 5820 5716 5872 6200 6320 6420 6300 6180 6080 5794 6280 5950 6160 6054 5690 5134 6140 5924 3091 5768 6028 2691 3050 2796 6260 2921 3135 2468 2982 5898 2857 2593 5742 6003 6720 6706 6681 6661 6621 6561 6501 6601 6401 6541 6481 6641 5847 5551 6121 6461 6581 6381 5627 4789 5665 5589 6521 6241 5513 6441 6361 6341 6221 6101 5977 5821 5717 5873 6201 6321 6421 6301 6181 6081 5795 6281 5951 6161 6055 5691 5135 6141 5925 3092 5769 6029 2692 3051 2797 6261 2922 3136 2469 2983 5899 2858 2594 5743 MAND
2 1 1266 5551 5552 XOR
2 1 1780 6181 6182 XOR
2 1 2271 6661 6662 XOR
2 1 2206 6601 6602 XOR
2 1 1361 5691 5692 XOR
2 1 1671 6081 6082 XOR
2 1 1671 6082 6083 XOR
2 1 1451 5795 5796 XOR
2 1 1451 5796 5797 XOR
2 1 1972 6361 6362 XOR
2 1 1972 6362 6363 XOR
2 1 2111 6501 6502 XOR
2 1 2475 2594 2595 XOR
2 1 2311 6720 6721 XOR
2 1 1317 5627 5628 XOR
2 1 1885 6281 6282 XOR
2 1 1885 6282 6283 XOR
2 1 1581 5951 5952 XOR
2 1 1581 5952 5953 XOR
2 1 1759 6161 6162 XOR
2 1 1759 6162 6163 XOR
2 1 1266 5552 5553 XOR
2 1 2475 2595 2596 XOR
2 1 1533 5899 5900 XOR
2 1 1598 5977 5978 XOR
2 1 1616 6003 6004 XOR
2 1 1616 6004 6005 XOR
2 1 2188 6581 6582 XOR
2 1 2188 6582 6583 XOR
2 1 1336 5665 5666 XOR
2 1 1336 5666 5667 XOR
2 1 2074 6461 6462 XOR
2 1 2074 6462 6463 XOR
2 1 1654 6055 6056 XOR
2 1 1654 6056 6057 XOR
2 1 2252 6641 6642 XOR
2 1 2252 6642 6643 XOR
2 1 2129 6521 6522 XOR
2 1 2129 6522 6523 XOR
2 1 2169 6561 6562 XOR
2 1 2169 6562 6563 XOR
2 1 3102 3136 3137 XOR
2 1 2049 6441 6442 XOR
2 1 1598 5978 5979 XOR
2 1 1844 6241 6242 XOR
2 1 1844 6242 6243 XOR
2 1 5135 5133 5136 XOR
2 1 1739 6141 6142 XOR
2 1 1739 6142 6143 XOR
2 1 1885 5136 5137 XOR
2 1 2111 6502 6503 XOR
2 1 1361 5692 5693 XOR
2 1 2804 2858 2859 XOR
2 1 2151 6541 6542 XOR
2 1 2012 6401 6402 XOR
2 1 2012 6402 6403 XOR
2 1 2271 6662 6663 XOR
2 1 884 2469 2470 XOR
2 1 1712 6121 6122 XOR
2 1 2234 6621 6622 XOR
2 1 2234 6622 6623 XOR
2 1 1512 5873 5874 XOR
2 1 1512 5874 5875 XOR
2 1 2151 6542 6543 XOR
2 1 1780 6182 6183 XOR
2 1 2049 6442 6443 XOR
2 1 1954 6341 6342 XOR
2 1 1954 6342 6343 XOR
2 1 1692 6101 6102 XOR
2 1 1692 6102 6103 XOR
2 1 2929 2983 2984 XOR
2 1 2929 2984 2985 XOR
2 1 1824 6221 6222 XOR
2 1 1824 6222 6223 XOR
2 1 2206 6602 6603 XOR
2 1 1237 5513 5514 XOR
2 1 1237 5514 5515 XOR
2 1 3143 4789 4790 XOR
2 1 3143 4790 4791 XOR
2 1 1553 5925 5926 XOR
2 1 1553 5926 5927 XOR
2 1 1917 6301 6302 XOR
2 1 1917 6302 6303 XOR
2 1 1493 5847 5848 XOR
2 1 1493 5848 5849 XOR
2 1 2804 2859 2860 XOR
2 1 884 2470 2471 XOR
2 1 2868 2922 2923 XOR
2 1 2868 2923 2924 XOR
2 1 2031 6421 6422 XOR
2 1 1533 5900 5901 XOR
2 1 3102 3137 3138 XOR
2 1 1317 5628 5629 XOR
2 1 3058 3092 3093 XOR
2 1 3058 3093 3094 XOR
2 1 2329 6706 6707 XOR
2 1 2329 6707 6708 XOR
2 1 1412 5743 5744 XOR
2 1 1412 5744 5745 XOR
2 1 2311 6721 6722 XOR
2 1 1800 6201 6202 XOR
2 1 1935 6321 6322 XOR
2 1 1935 6322 6323 XOR
2 1 1431 5769 5770 XOR
2 1 1431 5770 5771 XOR
2 1 1633 6029 6030 XOR
2 1 1633 6030 6031 XOR
2 1 2289 6681 6682 XOR
2 1 2289 6682 6683 XOR
2 1 1800 6202 6203 XOR
2 1 2602 2692 2693 XOR
2 1 2602 2693 2694 XOR
2 1 1994 6381 6382 XOR
2 1 1994 6382 6383 XOR
2 1 1712 6122 6123 XOR
2 1 1470 5821 5822 XOR
2 1 1470 5822 5823 XOR
2 1 1385 5717 5718 XOR
2 1 1385 5718 5719 XOR
2 1 2996 3051 3052 XOR
2 1 2996 3052 3053 XOR
2 1 2092 6481 6482 XOR
2 1 2092 6482 6483 XOR
2 1 2702 2797 2798 XOR
2 1 2702 2798 2799 XOR
2 1 1865 6261 6262 XOR
2 1 1865 6262 6263 XOR
2 1 2031 6422 6423 XOR
2 1 1293 5589 5590 XOR
2 1 1293 5590 5591 XOR
130 65 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 5136 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 990 5553 6722 6708 6683 6663 6643 6623 6603 6563 6403 6543 6005 6483 5849 6583 6523 6463 6383 5667 4791 5591 5875 5515 6243 6443 6363 5979 5719 6343 6223 6103 5823 5629 6323 6203 6083 6423 5693 6303 6183 5797 6283 5953 6163 6057 6143 5137 5927 6503 3094 5771 6031 2694 6263 3053 2799 6123 2924 3138 2471 5901 2985 2860 2596 5745 5554 6723 6709 6684 6664 6644 6624 6604 6564 6404 6544 6006 6484 5850 6584 6524 6464 6384 5668 4792 5592 5876 5516 6244 6444 6364 5980 5720 6344 6224 6104 5824 5630 6324 6204 6084 6424 5694 6304 6184 5798 6284 5954 6164 6058 6144 5138 5928 6504 3095 5772 6032 2695 6264 3054 2800 6124 2925 3139 2472 5902 2986 2861 2597 5746 MAND
2 1 2804 2861 2862 XOR
2 1 1581 5954 5955 XOR
2 1 1759 6164 6165 XOR
2 1 1470 5824 5825 XOR
2 1 2169 6564 6565 XOR
2 1 2074 6464 6465 XOR
2 1 1712 6124 6125 XOR
2 1 2271 6664 6665 XOR
2 1 2092 6484 6485 XOR
2 1 2234 6624 6625 XOR
2 1 2129 6524 6525 XOR
2 1 2329 6709 6710 XOR
2 1 2868 2925 2926 XOR
2 1 3143 4792 4793 XOR
2 1 1954 6344 6345 XOR
2 1 884 2472 2473 XOR
1 1 2862 2863 INV
2 1 1654 6058 6059 XOR
2 1 3102 3139 3140 XOR
1 1 3140 3141 INV
2 1 1739 6144 6145 XOR
2 1 2289 6684 6685 XOR
2 1 1917 6304 6305 XOR
2 1 2929 2986 2987 XOR
1 1 2987 2988 INV
2 1 1972 6364 6365 XOR
2 1 1780 6184 6185 XOR
2 1 5138 5136 5139 XOR
2 1 1293 5592 5593 XOR
2 1 1598 5980 5981 XOR
2 1 1800 6204 6205 XOR
2 1 2475 2597 2598 XOR
1 1 2598 2599 INV
1 1 2599 2600 INV
2 1 2473 2598 2592 XOR
2 1 2049 6444 6445 XOR
2 1 1553 5928 5929 XOR
2 1 1266 5554 5555 XOR
2 1 1493 5850 5851 XOR
1 1 2926 2927 INV
2 1 1385 5720 5721 XOR
2 1 2111 6504 6505 XOR
2 1 1616 6006 6007 XOR
2 1 1917 5139 5140 XOR
2 1 1865 6264 6265 XOR
2 1 2206 6604 6605 XOR
2 1 1412 5746 5747 XOR
2 1 1431 5772 5773 XOR
2 1 1885 6284 6285 XOR
2 1 2031 6424 6425 XOR
2 1 1533 5902 5903 XOR
2 1 1512 5876 5877 XOR
2 1 1361 5694 5695 XOR
2 1 3058 3095 3096 XOR
1 1 3096 3097 INV
2 1 1633 6032 6033 XOR
2 1 1671 6084 6085 XOR
2 1 2188 6584 6585 XOR
2 1 1317 5630 5631 XOR
2 1 2151 6544 6545 XOR
2 1 1336 5668 5669 XOR
2 1 1237 5516 5517 XOR
2 1 2252 6644 6645 XOR
2 1 1844 6244 6245 XOR
2 1 2602 2695 2696 XOR
1 1 2696 2697 INV
2 1 2012 6404 6405 XOR
2 1 2311 6723 6724 XOR
2 1 1692 6104 6105 XOR
2 1 1994 6384 6385 XOR
2 1 2996 3054 3055 XOR
1 1 3055 3056 INV
2 1 1935 6324 6325 XOR
2 1 1824 6224 6225 XOR
2 1 2702 2800 2801 XOR
1 1 2801 2802 INV
2 1 1451 5798 5799 XOR
1 1 4793 4794 INV
14 7 3141 2592 5139 3056 2927 2802 2600 4794 2598 5140 3097 2988 2863 2697 4795 5518 5141 3098 2989 2864 2698 MAND
1 1 2989 2990 INV
1 1 4795 4796 INV
1 1 2698 2699 INV
1 1 2699 2700 INV
2 1 2598 5518 5519 XOR
2 1 5517 5519 5520 XOR
1 1 5520 6923 INV
1 1 2990 2991 INV
2 1 5141 5139 5142 XOR
2 1 1935 5142 5143 XOR
1 1 2864 2865 INV
1 1 2865 2866 INV
1 1 4796 4797 INV
1 1 3098 3099 INV
1 1 3099 3100 INV
8 4 5520 3100 2866 5142 5519 4797 2991 5143 5556 4798 2992 5144 MAND
1 1 2992 2993 INV
1 1 2993 2994 INV
1 1 4798 4799 INV
1 1 4799 4800 INV
2 1 5519 5556 5557 XOR
2 1 5555 5557 5558 XOR
1 1 5558 6917 INV
2 1 5144 5142 5145 XOR
2 1 1954 5145 5146 XOR
6 3 2994 5558 5145 4800 5557 5146 4801 5594 5147 MAND
1 1 4801 4802 INV
2 1 5147 5145 5148 XOR
2 1 1972 5148 5149 XOR
1 1 4802 4803 INV
2 1 5557 5594 5595 XOR
2 1 5593 5595 5596 XOR
1 1 5596 6918 INV
8 4 6917 2700 5596 5148 6918 4803 5595 5149 6919 4804 5632 5150 MAND
2 1 5150 5148 5151 XOR
1 1 6919 6920 INV
1 1 4804 4805 INV
2 1 1994 5151 5152 XOR
1 1 6920 6921 INV
2 1 5595 5632 5633 XOR
2 1 5631 5633 5634 XOR
1 1 5634 6909 INV
6 3 2592 5634 5151 4805 5633 5152 4806 5670 5153 MAND
2 1 5633 5670 5671 XOR
1 1 4806 6922 INV
2 1 5669 5671 5672 XOR
2 1 5153 5151 5154 XOR
2 1 2012 5154 5155 XOR
1 1 5672 6910 INV
8 4 6922 6909 5154 5672 6923 6910 5155 5671 6924 6911 5156 5696 MAND
2 1 5156 5154 5157 XOR
2 1 2031 5157 5158 XOR
1 1 6924 6925 INV
1 1 6911 6912 INV
1 1 6912 6913 INV
1 1 6925 6926 INV
2 1 5671 5696 5697 XOR
2 1 5695 5697 5698 XOR
1 1 5698 6904 INV
6 3 6921 5157 5698 6926 5158 5697 6927 5159 5722 MAND
2 1 5159 5157 5160 XOR
1 1 6927 6928 INV
1 1 6928 6929 INV
2 1 2049 5160 5161 XOR
2 1 5697 5722 5723 XOR
2 1 5721 5723 5724 XOR
1 1 5724 6905 INV
6 3 6904 5160 5724 6905 5161 5723 6906 5162 5748 MAND
2 1 5162 5160 5163 XOR
2 1 2074 5163 5164 XOR
2 1 5723 5748 5749 XOR
2 1 5747 5749 5750 XOR
1 1 5750 6893 INV
1 1 6906 6907 INV
1 1 6907 6908 INV
6 3 6908 5163 5750 6913 5164 5749 6914 5165 5774 MAND
2 1 5165 5163 5166 XOR
2 1 5749 5774 5775 XOR
2 1 5773 5775 5776 XOR
1 1 5776 6894 INV
2 1 2092 5166 5167 XOR
1 1 6914 6915 INV
1 1 6915 6916 INV
8 4 6916 6893 5166 5776 6929 6894 5167 5775 6930 6895 5168 5800 MAND
1 1 6930 6931 INV
2 1 5168 5166 5169 XOR
1 1 6931 6932 INV
1 1 6895 6896 INV
1 1 6896 6897 INV
2 1 5775 5800 5801 XOR
2 1 2111 5169 5170 XOR
2 1 5799 5801 5802 XOR
4 2 5169 5802 5170 5801 5171 5826 MAND
2 1 5801 5826 5827 XOR
2 1 5825 5827 5828 XOR
1 1 5828 6889 INV
2 1 5171 5169 5172 XOR
2 1 2129 5172 5173 XOR
1 1 5802 6888 INV
6 3 6888 5172 5828 6889 5173 5827 6890 5174 5852 MAND
1 1 6890 6891 INV
1 1 6891 6892 INV
2 1 5827 5852 5853 XOR
2 1 5851 5853 5854 XOR
1 1 5854 6880 INV
2 1 5174 5172 5175 XOR
2 1 2151 5175 5176 XOR
6 3 6892 5175 5854 6897 5176 5853 6898 5177 5878 MAND
1 1 6898 6899 INV
1 1 6899 6900 INV
2 1 5853 5878 5879 XOR
2 1 5877 5879 5880 XOR
1 1 5880 6881 INV
2 1 5177 5175 5178 XOR
2 1 2169 5178 5179 XOR
6 3 6880 5880 5178 6881 5879 5179 6882 5904 5180 MAND
2 1 5180 5178 5181 XOR
2 1 2188 5181 5182 XOR
2 1 5879 5904 5905 XOR
2 1 5903 5905 5906 XOR
4 2 5906 5181 5905 5182 5930 5183 MAND
2 1 5183 5181 5184 XOR
2 1 2206 5184 5185 XOR
2 1 5905 5930 5931 XOR
2 1 5929 5931 5932 XOR
1 1 5906 6875 INV
1 1 6882 6883 INV
1 1 6883 6884 INV
1 1 5932 6876 INV
6 3 6875 5932 5184 6876 5931 5185 6877 5956 5186 MAND
1 1 6877 6878 INV
1 1 6878 6879 INV
2 1 5931 5956 5957 XOR
2 1 5955 5957 5958 XOR
1 1 5958 6861 INV
2 1 5186 5184 5187 XOR
2 1 2234 5187 5188 XOR
6 3 6879 5958 5187 6884 5957 5188 6885 5982 5189 MAND
2 1 5957 5982 5983 XOR
2 1 5981 5983 5984 XOR
1 1 6885 6886 INV
1 1 5984 6862 INV
2 1 5189 5187 5190 XOR
2 1 2252 5190 5191 XOR
1 1 6886 6887 INV
8 4 6887 6861 5984 5190 6900 6862 5983 5191 6901 6863 6008 5192 MAND
1 1 6901 6902 INV
1 1 6863 6864 INV
1 1 6864 6865 INV
1 1 6902 6903 INV
2 1 5192 5190 5193 XOR
2 1 2271 5193 5194 XOR
2 1 5983 6008 6009 XOR
2 1 6007 6009 6010 XOR
1 1 6010 6856 INV
6 3 6903 5193 6010 6932 5194 6009 6933 5195 6034 MAND
2 1 5195 5193 5196 XOR
2 1 2289 5196 5197 XOR
1 1 6933 6934 INV
2 1 6009 6034 6035 XOR
2 1 6033 6035 6036 XOR
1 1 6036 6857 INV
6 3 6856 6036 5196 6857 6035 5197 6858 6060 5198 MAND
2 1 5198 5196 5199 XOR
2 1 6035 6060 6061 XOR
2 1 2311 5199 5200 XOR
1 1 6858 6859 INV
1 1 6859 6860 INV
1 1 6934 6935 INV
2 1 6059 6061 6062 XOR
1 1 6062 6848 INV
6 3 6860 6062 5199 6865 6061 5200 6866 6086 5201 MAND
2 1 5201 5199 5202 XOR
1 1 6866 6867 INV
2 1 6061 6086 6087 XOR
2 1 6085 6087 6088 XOR
1 1 6088 6849 INV
2 1 2329 5202 5203 XOR
1 1 5203 5204 INV
1 1 5204 5205 INV
6 3 6848 6088 5043 6849 6087 5205 6850 6106 5206 MAND
2 1 6087 6106 6107 XOR
1 1 6850 6851 INV
1 1 6851 6852 INV
1 1 5206 5207 INV
2 1 6105 6107 6108 XOR
1 1 6108 6843 INV
4 2 4918 6108 5207 6107 5208 6126 MAND
1 1 5208 5209 INV
1 1 6867 6868 INV
2 1 6107 6126 6127 XOR
2 1 6125 6127 6128 XOR
1 1 6128 6844 INV
6 3 6843 990 6128 6844 5209 6127 6845 5210 6146 MAND
2 1 6127 6146 6147 XOR
2 1 6145 6147 6148 XOR
1 1 6148 6832 INV
1 1 6845 6846 INV
1 1 6846 6847 INV
54 27 5210 6847 4806 5210 5210 5210 5210 5210 5210 5210 5210 5210 5210 5210 5210 5210 5210 6148 5210 5210 5210 5210 5210 5210 5210 5210 5210 5558 6852 5210 5854 5672 5520 5724 5634 5984 5596 5880 5828 6010 6108 6088 5958 5802 6147 6062 6148 5932 5776 6036 6128 5906 5750 5698 5559 6853 5211 5855 5673 5521 5725 5635 5985 5597 5881 5829 6011 6109 6089 5959 5803 6166 6063 6149 5933 5777 6037 6129 5907 5751 5699 MAND
2 1 4806 5211 5212 XOR
2 1 5750 5751 5752 XOR
2 1 5854 5855 5856 XOR
2 1 5932 5933 5934 XOR
2 1 6062 6063 6064 XOR
2 1 5828 5829 5830 XOR
2 1 6108 6109 6110 XOR
2 1 5776 5777 5778 XOR
1 1 6853 6854 INV
2 1 5520 5521 5522 XOR
2 1 5880 5881 5882 XOR
2 1 5634 5635 5636 XOR
2 1 6036 6037 6038 XOR
2 1 5802 5803 5804 XOR
2 1 5958 5959 5960 XOR
2 1 5558 5559 5560 XOR
2 1 5724 5725 5726 XOR
2 1 5672 5673 5674 XOR
2 1 6088 6089 6090 XOR
2 1 5984 5985 5986 XOR
2 1 5698 5699 5700 XOR
2 1 5906 5907 5908 XOR
2 1 6128 6129 6130 XOR
2 1 6010 6011 6012 XOR
2 1 6148 6149 6150 XOR
2 1 6147 6166 6167 XOR
2 1 6165 6167 6168 XOR
1 1 6168 6833 INV
1 1 6854 6855 INV
2 1 5596 5597 5598 XOR
58 29 5231 5231 6855 6832 5231 5231 5231 5231 5231 5231 5231 5231 5231 5231 5231 6168 5210 5231 5231 5231 5231 5231 5231 5231 5231 5212 5231 5231 5231 5560 5882 6868 6833 5856 5522 5726 5986 5598 5830 6110 6090 5960 5636 5804 6167 6168 6064 6150 6012 5934 5778 6038 5674 6130 5231 5908 5700 5752 5561 5883 6869 6834 5857 5523 5727 5987 5599 5831 6111 6091 5961 5637 5805 6186 6169 6065 6151 6013 5935 5779 6039 5675 6131 5232 5909 5701 5753 MAND
2 1 5598 5599 5600 XOR
2 1 5934 5935 5936 XOR
2 1 5778 5779 5780 XOR
2 1 5674 5675 5676 XOR
2 1 6150 6151 6152 XOR
2 1 6012 6013 6014 XOR
2 1 5986 5987 5988 XOR
2 1 6090 6091 6092 XOR
2 1 5882 5883 5884 XOR
2 1 6168 6169 6170 XOR
2 1 5636 5637 5638 XOR
2 1 5726 5727 5728 XOR
2 1 5700 5701 5702 XOR
2 1 5560 5561 5562 XOR
2 1 6038 6039 6040 XOR
2 1 5908 5909 5910 XOR
2 1 6064 6065 6066 XOR
2 1 5960 5961 5962 XOR
2 1 5804 5805 5806 XOR
2 1 6130 6131 6132 XOR
2 1 5522 5523 5524 XOR
1 1 6834 6835 INV
1 1 6835 6836 INV
1 1 6869 6870 INV
1 1 6870 6871 INV
2 1 6110 6111 6112 XOR
2 1 5212 5232 5233 XOR
2 1 5752 5753 5754 XOR
2 1 5830 5831 5832 XOR
2 1 5856 5857 5858 XOR
2 1 6167 6186 6187 XOR
2 1 6185 6187 6188 XOR
1 1 6188 6827 INV
56 28 5486 5486 5486 5486 5486 5486 5486 5486 5486 6188 5486 5486 5486 5486 5210 5231 5486 5486 5486 5486 5486 5486 5486 5486 5233 5486 5486 5486 5858 5524 6014 5600 5988 5638 5832 6112 5884 6187 6092 5962 5806 5728 6188 6170 6066 6152 5562 5936 5780 5702 5676 6040 5486 6132 5910 5754 5859 5525 6015 5601 5989 5639 5833 6113 5885 6206 6093 5963 5807 5729 6189 6171 6067 6153 5563 5937 5781 5703 5677 6041 5487 6133 5911 5755 MAND
2 1 5806 5807 7146 XOR
2 1 6170 6171 6172 XOR
2 1 6152 6153 7160 XOR
2 1 5702 5703 7142 XOR
2 1 6092 6093 7157 XOR
2 1 5676 5677 7141 XOR
2 1 5936 5937 7151 XOR
2 1 6040 6041 7155 XOR
2 1 5728 5729 7143 XOR
2 1 5910 5911 7150 XOR
2 1 5780 5781 7145 XOR
2 1 6014 6015 7154 XOR
2 1 6112 6113 7158 XOR
2 1 5884 5885 7149 XOR
2 1 5600 5601 7139 XOR
2 1 5638 5639 7140 XOR
2 1 5233 5487 7136 XOR
2 1 5988 5989 7153 XOR
2 1 5858 5859 7148 XOR
2 1 6132 6133 7159 XOR
2 1 5754 5755 7144 XOR
2 1 5562 5563 7138 XOR
2 1 6066 6067 7156 XOR
2 1 6187 6206 6207 XOR
2 1 6205 6207 6208 XOR
1 1 6208 6828 INV
2 1 5832 5833 7147 XOR
2 1 6188 6189 6190 XOR
2 1 5962 5963 7152 XOR
2 1 5524 5525 7137 XOR
10 5 6827 6208 5210 5231 5486 6828 6207 6208 6190 6172 6829 6226 6209 6191 6173 MAND
2 1 6207 6226 6227 XOR
2 1 6208 6209 6210 XOR
2 1 6225 6227 6228 XOR
1 1 6228 6819 INV
2 1 6190 6191 6192 XOR
1 1 6829 6830 INV
1 1 6830 6831 INV
10 5 6831 6228 5210 5231 5486 6836 6227 6228 6210 6192 6837 6246 6229 6211 6193 MAND
1 1 6837 6838 INV
2 1 6192 6193 7162 XOR
2 1 6228 6229 6230 XOR
2 1 6210 6211 6212 XOR
2 1 6227 6246 6247 XOR
2 1 6245 6247 6248 XOR
1 1 6838 6839 INV
1 1 6248 6820 INV
10 5 6819 5210 5231 5486 6248 6820 6248 6230 6212 6247 6821 6249 6231 6213 6266 MAND
2 1 6230 6231 6232 XOR
2 1 6212 6213 7163 XOR
2 1 6247 6266 6267 XOR
2 1 6265 6267 6268 XOR
1 1 6821 6822 INV
1 1 6822 6823 INV
1 1 6268 6814 INV
2 1 6248 6249 6250 XOR
8 4 5231 5486 6268 5210 6250 6232 6267 6268 6251 6233 6286 6269 MAND
2 1 6267 6286 6287 XOR
2 1 6268 6269 6270 XOR
2 1 6232 6233 7164 XOR
2 1 6285 6287 6288 XOR
2 1 6250 6251 6252 XOR
1 1 6288 6815 INV
10 5 6814 5486 6288 5210 5231 6815 6252 6287 6288 6270 6816 6253 6306 6289 6271 MAND
2 1 6270 6271 6272 XOR
2 1 6288 6289 6290 XOR
2 1 6287 6306 6307 XOR
2 1 6252 6253 7165 XOR
1 1 6816 6817 INV
1 1 6817 6818 INV
2 1 6305 6307 6308 XOR
1 1 6308 6797 INV
10 5 6818 6308 5210 5231 5486 6823 6307 6308 6290 6272 6824 6326 6309 6291 6273 MAND
2 1 6308 6309 6310 XOR
2 1 6272 6273 7166 XOR
2 1 6290 6291 6292 XOR
1 1 6824 6825 INV
2 1 6307 6326 6327 XOR
2 1 6325 6327 6328 XOR
1 1 6328 6798 INV
1 1 6825 6826 INV
12 6 6826 6797 6328 5210 5231 5486 6839 6798 6327 6328 6310 6292 6840 6799 6346 6329 6311 6293 MAND
2 1 6327 6346 6347 XOR
2 1 6345 6347 6348 XOR
1 1 6799 6800 INV
1 1 6800 6801 INV
2 1 6328 6329 6330 XOR
2 1 6292 6293 7167 XOR
2 1 6310 6311 6312 XOR
1 1 6348 6792 INV
2 1 6172 6173 7161 XOR
1 1 6840 6841 INV
1 1 6841 6842 INV
10 5 6842 6348 5210 5231 5486 6871 6347 6348 6330 6312 6872 6366 6349 6331 6313 MAND
2 1 6330 6331 6332 XOR
2 1 6347 6366 6367 XOR
2 1 6365 6367 6368 XOR
1 1 6368 6793 INV
2 1 6348 6349 6350 XOR
2 1 6312 6313 7168 XOR
1 1 6872 6873 INV
1 1 6873 6874 INV
12 6 6874 6792 6368 5210 5231 5486 6935 6793 6367 6368 6350 6332 6936 6794 6386 6369 6351 6333 MAND
1 1 6936 6937 INV
2 1 6350 6351 6352 XOR
2 1 6332 6333 7169 XOR
2 1 6367 6386 6387 XOR
1 1 6794 6795 INV
1 1 6795 6796 INV
2 1 6368 6369 6370 XOR
2 1 6385 6387 6388 XOR
10 5 6796 5210 5231 5486 6388 6801 6388 6370 6352 6387 6802 6389 6371 6353 6406 MAND
2 1 6387 6406 6407 XOR
2 1 6388 6389 6390 XOR
1 1 6388 6784 INV
2 1 6370 6371 6372 XOR
1 1 6802 6803 INV
2 1 6405 6407 6408 XOR
1 1 6408 6785 INV
10 5 6784 5231 5486 6408 5210 6785 6390 6372 6407 6408 6786 6391 6373 6426 6409 MAND
2 1 6390 6391 6392 XOR
2 1 6372 6373 7171 XOR
2 1 6408 6409 6410 XOR
2 1 6407 6426 6427 XOR
2 1 6425 6427 6428 XOR
1 1 6428 6779 INV
8 4 5486 6428 5210 5231 6392 6427 6428 6410 6393 6446 6429 6411 MAND
2 1 6427 6446 6447 XOR
2 1 6392 6393 7172 XOR
2 1 6410 6411 6412 XOR
2 1 6428 6429 6430 XOR
2 1 6445 6447 6448 XOR
1 1 6448 6780 INV
10 5 6779 6448 5210 5231 5486 6780 6447 6448 6430 6412 6781 6466 6449 6431 6413 MAND
2 1 6430 6431 6432 XOR
2 1 6412 6413 7173 XOR
2 1 6448 6449 6450 XOR
2 1 6447 6466 6467 XOR
2 1 6465 6467 6468 XOR
1 1 6781 6782 INV
1 1 6782 6783 INV
1 1 6786 6787 INV
1 1 6787 6788 INV
1 1 6803 6804 INV
10 5 6783 6468 5210 5231 5486 6788 6467 6468 6450 6432 6789 6486 6469 6451 6433 MAND
2 1 6450 6451 6452 XOR
2 1 6467 6486 6487 XOR
2 1 6485 6487 6488 XOR
2 1 6432 6433 7174 XOR
1 1 6789 6790 INV
1 1 6790 6791 INV
2 1 6468 6469 6470 XOR
1 1 6488 6769 INV
1 1 6937 6938 INV
2 1 6352 6353 7170 XOR
1 1 6468 6768 INV
12 6 6791 6768 5210 5231 5486 6488 6804 6769 6488 6470 6452 6487 6805 6770 6489 6471 6453 6506 MAND
2 1 6452 6453 7175 XOR
2 1 6487 6506 6507 XOR
2 1 6505 6507 6508 XOR
1 1 6770 6771 INV
2 1 6488 6489 6490 XOR
1 1 6771 6772 INV
1 1 6508 6763 INV
1 1 6805 6806 INV
1 1 6806 6807 INV
2 1 6470 6471 6472 XOR
8 4 5231 5486 6508 5210 6490 6472 6507 6508 6491 6473 6526 6509 MAND
2 1 6472 6473 7176 XOR
2 1 6508 6509 6510 XOR
2 1 6490 6491 6492 XOR
2 1 6507 6526 6527 XOR
2 1 6525 6527 6528 XOR
1 1 6528 6764 INV
10 5 6763 5486 6528 5210 5231 6764 6492 6527 6528 6510 6765 6493 6546 6529 6511 MAND
2 1 6527 6546 6547 XOR
2 1 6545 6547 6548 XOR
1 1 6765 6766 INV
1 1 6766 6767 INV
1 1 6548 6755 INV
2 1 6528 6529 6530 XOR
2 1 6492 6493 7177 XOR
2 1 6510 6511 6512 XOR
10 5 6767 6548 5210 5231 5486 6772 6547 6548 6530 6512 6773 6566 6549 6531 6513 MAND
2 1 6547 6566 6567 XOR
2 1 6512 6513 7178 XOR
2 1 6548 6549 6550 XOR
2 1 6565 6567 6568 XOR
1 1 6568 6756 INV
1 1 6773 6774 INV
1 1 6774 6775 INV
2 1 6530 6531 6532 XOR
10 5 6755 5231 5486 6568 5210 6756 6550 6532 6567 6568 6757 6551 6533 6586 6569 MAND
2 1 6567 6586 6587 XOR
2 1 6585 6587 6588 XOR
1 1 6588 6750 INV
1 1 6757 6758 INV
1 1 6758 6759 INV
2 1 6550 6551 6552 XOR
2 1 6568 6569 6570 XOR
8 4 6588 5486 5210 5231 6587 6552 6588 6570 6606 6553 6589 6571 MAND
2 1 6588 6589 6590 XOR
2 1 6552 6553 7180 XOR
2 1 6587 6606 6607 XOR
2 1 6605 6607 6608 XOR
2 1 6570 6571 6572 XOR
1 1 6608 6751 INV
10 5 6750 6608 5210 5231 5486 6751 6607 6608 6590 6572 6752 6626 6609 6591 6573 MAND
2 1 6608 6609 6610 XOR
1 1 6752 6753 INV
2 1 6572 6573 7181 XOR
2 1 6590 6591 6592 XOR
2 1 6607 6626 6627 XOR
2 1 6625 6627 6628 XOR
1 1 6628 6739 INV
2 1 6532 6533 7179 XOR
1 1 6753 6754 INV
10 5 6754 6628 5210 5231 5486 6759 6627 6628 6610 6592 6760 6646 6629 6611 6593 MAND
1 1 6760 6761 INV
2 1 6627 6646 6647 XOR
2 1 6645 6647 6648 XOR
1 1 6648 6740 INV
1 1 6761 6762 INV
2 1 6610 6611 6612 XOR
2 1 6628 6629 6630 XOR
12 6 6739 6762 6648 5210 5231 5486 6740 6775 6647 6648 6630 6612 6741 6776 6666 6649 6631 6613 MAND
1 1 6776 6777 INV
2 1 6647 6666 6667 XOR
2 1 6665 6667 6668 XOR
1 1 6668 6734 INV
1 1 6777 6778 INV
1 1 6741 6742 INV
2 1 6630 6631 6632 XOR
1 1 6742 6743 INV
2 1 6648 6649 6650 XOR
10 5 6778 6668 5210 5231 5486 6807 6667 6668 6650 6632 6808 6686 6669 6651 6633 MAND
2 1 6650 6651 6652 XOR
2 1 6632 6633 7184 XOR
2 1 6667 6686 6687 XOR
2 1 6668 6669 6670 XOR
1 1 6808 6809 INV
1 1 6809 6810 INV
2 1 6685 6687 6688 XOR
1 1 6688 6735 INV
2 1 6612 6613 7183 XOR
2 1 6592 6593 7182 XOR
10 5 6734 6688 5210 5231 5486 6735 6687 6688 6670 6652 6736 6711 6689 6671 6653 MAND
2 1 6688 6689 6690 XOR
2 1 6687 6711 6712 XOR
2 1 6712 6724 6725 XOR
1 1 6725 6730 INV
2 1 6670 6671 6672 XOR
1 1 6736 6737 INV
1 1 6737 6738 INV
8 4 6738 6712 5231 5486 6743 6725 6690 6672 6744 6726 6691 6673 MAND
2 1 6726 6712 6727 XOR
2 1 6690 6691 6692 XOR
2 1 6710 6727 6728 XOR
1 1 6728 6729 INV
4 2 6729 5486 6730 6692 6731 6693 MAND
1 1 6731 6732 INV
1 1 6732 6733 INV
2 1 6692 6693 7187 XOR
2 1 6652 6653 7185 XOR
1 1 6744 6745 INV
1 1 6745 6746 INV
2 1 6733 6746 6747 AND
1 1 6747 6748 INV
1 1 6748 6749 INV
2 1 6749 6810 6811 AND
1 1 6811 6812 INV
1 1 6812 6813 INV
2 1 6813 6938 6939 AND
1 1 6939 6940 INV
1 1 6940 6941 INV
24 12 6941 6941 6941 6941 6941 6941 6941 6941 6941 6941 6698 6941 7104 7121 7088 7056 7040 7023 7006 6989 6972 6955 6941 7072 7105 7122 7089 7057 7041 7024 7007 6990 6973 6956 6942 7073 MAND
2 1 7006 7007 7008 XOR
2 1 7104 7105 7106 XOR
2 1 6698 6942 6943 XOR
2 1 7072 7073 7074 XOR
2 1 7088 7089 7090 XOR
2 1 6989 6990 6991 XOR
2 1 6955 6956 6957 XOR
2 1 7023 7024 7025 XOR
2 1 6972 6973 6974 XOR
2 1 7056 7057 7058 XOR
2 1 7121 7122 7123 XOR
2 1 7123 63 7124 XOR
2 1 6943 6725 6944 XOR
1 1 6944 6945 INV
4 2 6943 5210 6725 6945 6958 6946 MAND
2 1 6957 6958 6975 XOR
2 1 6728 6958 6959 XOR
2 1 6957 6959 6960 XOR
2 1 6944 6946 6947 XOR
1 1 6960 6961 INV
6 3 6959 5210 5231 6975 6961 6947 6976 6962 6948 MAND
2 1 6960 6962 6963 XOR
1 1 6963 6964 INV
2 1 6947 6948 6949 XOR
2 1 6958 6976 6977 XOR
2 1 6974 6977 6992 XOR
1 1 6992 6978 INV
8 4 6977 5210 5231 5486 6992 6978 6964 6949 6993 6979 6965 6950 MAND
2 1 6963 6965 6966 XOR
2 1 6992 6979 6980 XOR
1 1 6980 6981 INV
2 1 6977 6993 6994 XOR
2 1 6991 6994 7009 XOR
2 1 6949 6950 7188 XOR
1 1 7009 6995 INV
8 4 6994 5231 5210 5486 7009 6981 6995 6966 7010 6982 6996 6967 MAND
2 1 7009 6996 6997 XOR
2 1 6980 6982 6983 XOR
2 1 6994 7010 7011 XOR
2 1 7008 7011 7026 XOR
1 1 7026 7012 INV
2 1 6966 6967 7189 XOR
2 1 7040 7041 7042 XOR
1 1 6997 6998 INV
8 4 5486 5231 7011 5210 6983 6998 7026 7012 6984 6999 7027 7013 MAND
2 1 6983 6984 7190 XOR
2 1 7011 7027 7028 XOR
2 1 6997 6999 7000 XOR
2 1 7026 7013 7014 XOR
1 1 7014 7015 INV
2 1 6672 6673 7186 XOR
2 1 7025 7028 7043 XOR
1 1 7043 7029 INV
8 4 5486 5231 7028 5210 7000 7015 7043 7029 7001 7016 7044 7030 MAND
2 1 7028 7044 7045 XOR
2 1 7000 7001 7191 XOR
2 1 7043 7030 7031 XOR
1 1 7031 7032 INV
2 1 7014 7016 7017 XOR
2 1 7042 7045 7059 XOR
1 1 7059 7046 INV
8 4 5210 7045 5231 5486 7046 7059 7032 7017 7047 7060 7033 7018 MAND
2 1 7059 7047 7048 XOR
2 1 7031 7033 7034 XOR
2 1 7045 7060 7061 XOR
2 1 7017 7018 7192 XOR
2 1 7058 7061 7075 XOR
1 1 7075 7062 INV
8 4 7061 5231 5210 5486 7075 7048 7062 7034 7076 7049 7063 7035 MAND
2 1 7075 7063 7064 XOR
2 1 7061 7076 7077 XOR
2 1 7074 7077 7091 XOR
1 1 7091 7078 INV
2 1 7048 7049 7050 XOR
8 4 5210 5231 7077 5486 7078 7064 7091 7050 7079 7065 7092 7051 MAND
2 1 7064 7065 7066 XOR
2 1 7077 7092 7093 XOR
2 1 7090 7093 7107 XOR
1 1 7107 7094 INV
2 1 7091 7079 7080 XOR
8 4 5210 7093 5486 5231 7094 7107 7066 7080 7095 7108 7067 7081 MAND
2 1 7080 7081 7082 XOR
2 1 7107 7095 7096 XOR
2 1 7066 7067 7195 XOR
2 1 7093 7108 7109 XOR
2 1 7106 7109 7125 XOR
1 1 7125 7110 INV
8 4 5231 7109 5210 5486 7096 7125 7110 7082 7097 7126 7111 7083 MAND
2 1 7125 7111 7112 XOR
2 1 7096 7097 7098 XOR
2 1 7109 7126 7127 XOR
2 1 7124 7127 7128 XOR
2 1 7128 63 7129 XOR
2 1 7082 7083 7196 XOR
1 1 7112 7113 INV
2 1 7050 7051 7194 XOR
6 3 5210 5231 5486 7129 7113 7098 7130 7114 7099 MAND
2 1 7098 7099 7197 XOR
2 1 7112 7114 7115 XOR
2 1 7128 7130 7131 XOR
1 1 7131 7132 INV
4 2 5231 5486 7132 7115 7133 7116 MAND
2 1 7115 7116 7198 XOR
2 1 7131 7133 7134 XOR
2 1 5486 7134 7135 AND
2 1 7134 7135 7199 XOR
2 1 7034 7035 7193 XOR