1536 1664
2 64 64 
1 64 

2 1 62 126 128 XOR
1 1 128 129 INV
2 1 63 127 130 XOR
1 1 130 131 INV
2 1 129 131 132 AND
1 1 132 133 INV
1 1 133 134 INV
2 1 61 125 135 XOR
1 1 135 136 INV
2 1 60 124 137 XOR
1 1 137 138 INV
2 1 136 138 139 AND
1 1 139 140 INV
1 1 140 141 INV
2 1 134 141 142 AND
1 1 142 143 INV
1 1 143 144 INV
2 1 59 123 145 XOR
1 1 145 146 INV
2 1 58 122 147 XOR
1 1 147 148 INV
2 1 146 148 149 AND
1 1 149 150 INV
1 1 150 151 INV
2 1 57 121 152 XOR
1 1 152 153 INV
2 1 56 120 154 XOR
1 1 154 155 INV
2 1 153 155 156 AND
1 1 156 157 INV
1 1 157 158 INV
2 1 151 158 159 AND
1 1 159 160 INV
1 1 160 161 INV
2 1 144 161 162 AND
1 1 162 163 INV
1 1 163 164 INV
2 1 55 119 165 XOR
1 1 165 166 INV
2 1 54 118 167 XOR
1 1 167 168 INV
2 1 166 168 169 AND
1 1 169 170 INV
1 1 170 171 INV
2 1 53 117 172 XOR
1 1 172 173 INV
2 1 52 116 174 XOR
1 1 174 175 INV
2 1 173 175 176 AND
1 1 176 177 INV
1 1 177 178 INV
2 1 171 178 179 AND
1 1 179 180 INV
1 1 180 181 INV
2 1 51 115 182 XOR
1 1 182 183 INV
2 1 50 114 184 XOR
1 1 184 185 INV
2 1 183 185 186 AND
1 1 186 187 INV
1 1 187 188 INV
2 1 49 113 189 XOR
1 1 189 190 INV
2 1 48 112 191 XOR
1 1 191 192 INV
2 1 190 192 193 AND
1 1 193 194 INV
1 1 194 195 INV
2 1 188 195 196 AND
1 1 196 197 INV
1 1 197 198 INV
2 1 181 198 199 AND
1 1 199 200 INV
1 1 200 201 INV
2 1 164 201 202 AND
1 1 202 203 INV
1 1 203 204 INV
2 1 47 111 205 XOR
1 1 205 206 INV
2 1 46 110 207 XOR
1 1 207 208 INV
2 1 206 208 209 AND
1 1 209 210 INV
1 1 210 211 INV
2 1 45 109 212 XOR
1 1 212 213 INV
2 1 44 108 214 XOR
1 1 214 215 INV
2 1 213 215 216 AND
1 1 216 217 INV
1 1 217 218 INV
2 1 211 218 219 AND
1 1 219 220 INV
1 1 220 221 INV
2 1 43 107 222 XOR
1 1 222 223 INV
2 1 42 106 224 XOR
1 1 224 225 INV
2 1 223 225 226 AND
1 1 226 227 INV
1 1 227 228 INV
2 1 41 105 229 XOR
1 1 229 230 INV
2 1 40 104 231 XOR
1 1 231 232 INV
2 1 230 232 233 AND
1 1 233 234 INV
1 1 234 235 INV
2 1 228 235 236 AND
1 1 236 237 INV
1 1 237 238 INV
2 1 221 238 239 AND
1 1 239 240 INV
1 1 240 241 INV
2 1 39 103 242 XOR
1 1 242 243 INV
2 1 38 102 244 XOR
1 1 244 245 INV
2 1 243 245 246 AND
1 1 246 247 INV
1 1 247 248 INV
2 1 37 101 249 XOR
1 1 249 250 INV
2 1 36 100 251 XOR
1 1 251 252 INV
2 1 250 252 253 AND
1 1 253 254 INV
1 1 254 255 INV
2 1 248 255 256 AND
1 1 256 257 INV
1 1 257 258 INV
2 1 35 99 259 XOR
1 1 259 260 INV
2 1 34 98 261 XOR
1 1 261 262 INV
2 1 260 262 263 AND
1 1 263 264 INV
1 1 264 265 INV
2 1 33 97 266 XOR
1 1 266 267 INV
2 1 32 96 268 XOR
1 1 268 269 INV
2 1 267 269 270 AND
1 1 270 271 INV
1 1 271 272 INV
2 1 265 272 273 AND
1 1 273 274 INV
1 1 274 275 INV
2 1 258 275 276 AND
1 1 276 277 INV
1 1 277 278 INV
2 1 241 278 279 AND
1 1 279 280 INV
1 1 280 281 INV
2 1 204 281 282 AND
1 1 282 283 INV
1 1 283 284 INV
2 1 31 95 285 XOR
1 1 285 286 INV
2 1 30 94 287 XOR
1 1 287 288 INV
2 1 286 288 289 AND
1 1 289 290 INV
1 1 290 291 INV
2 1 29 93 292 XOR
1 1 292 293 INV
2 1 28 92 294 XOR
1 1 294 295 INV
2 1 293 295 296 AND
1 1 296 297 INV
1 1 297 298 INV
2 1 291 298 299 AND
1 1 299 300 INV
1 1 300 301 INV
2 1 27 91 302 XOR
1 1 302 303 INV
2 1 26 90 304 XOR
1 1 304 305 INV
2 1 303 305 306 AND
1 1 306 307 INV
1 1 307 308 INV
2 1 25 89 309 XOR
1 1 309 310 INV
2 1 24 88 311 XOR
1 1 311 312 INV
2 1 310 312 313 AND
1 1 313 314 INV
1 1 314 315 INV
2 1 308 315 316 AND
1 1 316 317 INV
1 1 317 318 INV
2 1 301 318 319 AND
1 1 319 320 INV
1 1 320 321 INV
2 1 23 87 322 XOR
1 1 322 323 INV
2 1 22 86 324 XOR
1 1 324 325 INV
2 1 323 325 326 AND
1 1 326 327 INV
1 1 327 328 INV
2 1 21 85 329 XOR
1 1 329 330 INV
2 1 20 84 331 XOR
1 1 331 332 INV
2 1 330 332 333 AND
1 1 333 334 INV
1 1 334 335 INV
2 1 328 335 336 AND
1 1 336 337 INV
1 1 337 338 INV
2 1 19 83 339 XOR
1 1 339 340 INV
2 1 18 82 341 XOR
1 1 341 342 INV
2 1 340 342 343 AND
1 1 343 344 INV
1 1 344 345 INV
2 1 17 81 346 XOR
1 1 346 347 INV
2 1 16 80 348 XOR
1 1 348 349 INV
2 1 347 349 350 AND
1 1 350 351 INV
1 1 351 352 INV
2 1 345 352 353 AND
1 1 353 354 INV
1 1 354 355 INV
2 1 338 355 356 AND
1 1 356 357 INV
1 1 357 358 INV
2 1 321 358 359 AND
1 1 359 360 INV
1 1 360 361 INV
2 1 15 79 362 XOR
1 1 362 363 INV
2 1 14 78 364 XOR
1 1 364 365 INV
2 1 363 365 366 AND
1 1 366 367 INV
1 1 367 368 INV
2 1 13 77 369 XOR
1 1 369 370 INV
2 1 12 76 371 XOR
1 1 371 372 INV
2 1 370 372 373 AND
1 1 373 374 INV
1 1 374 375 INV
2 1 368 375 376 AND
1 1 376 377 INV
1 1 377 378 INV
2 1 11 75 379 XOR
1 1 379 380 INV
2 1 10 74 381 XOR
1 1 381 382 INV
2 1 380 382 383 AND
1 1 383 384 INV
1 1 384 385 INV
2 1 9 73 386 XOR
1 1 386 387 INV
2 1 8 72 388 XOR
1 1 388 389 INV
2 1 387 389 390 AND
1 1 390 391 INV
1 1 391 392 INV
2 1 385 392 393 AND
1 1 393 394 INV
1 1 394 395 INV
2 1 378 395 396 AND
1 1 396 397 INV
1 1 397 398 INV
2 1 7 71 399 XOR
1 1 399 400 INV
2 1 6 70 401 XOR
1 1 401 402 INV
2 1 400 402 403 AND
1 1 403 404 INV
1 1 404 405 INV
2 1 5 69 406 XOR
1 1 406 407 INV
2 1 4 68 408 XOR
1 1 408 409 INV
2 1 407 409 410 AND
1 1 410 411 INV
1 1 411 412 INV
2 1 405 412 413 AND
1 1 413 414 INV
1 1 414 415 INV
2 1 3 67 416 XOR
1 1 416 417 INV
2 1 2 66 418 XOR
1 1 418 419 INV
2 1 417 419 420 AND
1 1 420 421 INV
1 1 421 422 INV
2 1 1 65 423 XOR
1 1 423 424 INV
2 1 0 64 425 XOR
1 1 425 426 INV
2 1 424 426 427 AND
1 1 427 428 INV
1 1 428 429 INV
2 1 422 429 430 AND
1 1 430 431 INV
1 1 431 432 INV
2 1 415 432 433 AND
1 1 433 434 INV
1 1 434 435 INV
2 1 398 435 436 AND
1 1 436 437 INV
1 1 437 438 INV
2 1 361 438 439 AND
1 1 439 440 INV
1 1 440 441 INV
2 1 284 441 442 AND
1 1 442 443 INV
1 1 62 763 INV
1 1 126 764 INV
2 1 763 764 765 AND
1 1 765 766 INV
1 1 766 767 INV
1 1 61 768 INV
1 1 125 769 INV
2 1 768 769 770 AND
1 1 770 771 INV
1 1 771 772 INV
2 1 767 772 773 AND
1 1 773 774 INV
1 1 774 775 INV
1 1 60 776 INV
1 1 124 777 INV
2 1 776 777 778 AND
1 1 778 779 INV
1 1 779 780 INV
1 1 59 781 INV
1 1 123 782 INV
2 1 781 782 783 AND
1 1 783 784 INV
1 1 784 785 INV
2 1 780 785 786 AND
1 1 786 787 INV
1 1 787 788 INV
2 1 775 788 789 AND
1 1 789 790 INV
1 1 790 791 INV
1 1 58 792 INV
1 1 122 793 INV
2 1 792 793 794 AND
1 1 794 795 INV
1 1 795 796 INV
1 1 57 797 INV
1 1 121 798 INV
2 1 797 798 799 AND
1 1 799 800 INV
1 1 800 801 INV
2 1 796 801 802 AND
1 1 802 803 INV
1 1 803 804 INV
1 1 56 805 INV
1 1 120 806 INV
2 1 805 806 807 AND
1 1 807 808 INV
1 1 808 809 INV
1 1 55 810 INV
1 1 119 811 INV
2 1 810 811 812 AND
1 1 812 813 INV
1 1 813 814 INV
2 1 809 814 815 AND
1 1 815 816 INV
1 1 816 817 INV
2 1 804 817 818 AND
1 1 818 819 INV
1 1 819 820 INV
2 1 791 820 821 AND
1 1 821 822 INV
1 1 822 823 INV
1 1 54 824 INV
1 1 118 825 INV
2 1 824 825 826 AND
1 1 826 827 INV
1 1 827 828 INV
1 1 53 829 INV
1 1 117 830 INV
2 1 829 830 831 AND
1 1 831 832 INV
1 1 832 833 INV
2 1 828 833 834 AND
1 1 834 835 INV
1 1 835 836 INV
1 1 52 837 INV
1 1 116 838 INV
2 1 837 838 839 AND
1 1 839 840 INV
1 1 840 841 INV
1 1 50 1163 INV
1 1 51 1164 INV
2 1 1163 1164 1165 AND
1 1 1165 1166 INV
1 1 1166 1167 INV
1 1 48 1168 INV
1 1 49 1169 INV
2 1 1168 1169 1170 AND
1 1 1170 1171 INV
1 1 1171 1172 INV
2 1 1167 1172 1173 AND
1 1 1173 1174 INV
1 1 1174 1175 INV
1 1 46 1176 INV
1 1 47 1177 INV
2 1 1176 1177 1178 AND
1 1 1178 1179 INV
1 1 1179 1180 INV
1 1 44 1181 INV
1 1 45 1182 INV
2 1 1181 1182 1183 AND
1 1 1183 1184 INV
1 1 1184 1185 INV
2 1 1180 1185 1186 AND
1 1 1186 1187 INV
1 1 1187 1188 INV
1 1 42 1189 INV
1 1 43 1190 INV
2 1 1189 1190 1191 AND
1 1 1191 1192 INV
1 1 1192 1193 INV
1 1 40 1194 INV
1 1 41 1195 INV
2 1 1194 1195 1196 AND
1 1 1196 1197 INV
1 1 1197 1198 INV
2 1 1193 1198 1199 AND
1 1 1199 1200 INV
1 1 1200 1201 INV
2 1 1188 1201 1202 AND
1 1 1202 1203 INV
1 1 1203 1204 INV
1 1 38 1205 INV
1 1 39 1206 INV
2 1 1205 1206 1207 AND
1 1 1207 1208 INV
1 1 1208 1209 INV
1 1 36 1210 INV
1 1 37 1211 INV
2 1 1210 1211 1212 AND
1 1 1212 1213 INV
1 1 1213 1214 INV
2 1 1209 1214 1215 AND
1 1 1215 1216 INV
1 1 1216 1217 INV
1 1 34 1218 INV
1 1 35 1219 INV
2 1 1218 1219 1220 AND
1 1 1220 1221 INV
1 1 1221 1222 INV
1 1 32 1223 INV
1 1 33 1224 INV
2 1 1223 1224 1225 AND
1 1 1225 1226 INV
1 1 1226 1227 INV
2 1 1222 1227 1228 AND
1 1 1228 1229 INV
1 1 1229 1230 INV
2 1 1217 1230 1231 AND
1 1 1231 1232 INV
1 1 1232 1233 INV
2 1 1204 1233 1234 AND
1 1 1234 1235 INV
1 1 1235 1236 INV
2 1 1175 1236 1237 AND
1 1 1237 1238 INV
1 1 1238 1239 INV
1 1 30 1240 INV
1 1 31 1241 INV
2 1 1240 1241 1242 AND
1 1 1242 1243 INV
1 1 1243 1244 INV
1 1 28 1245 INV
1 1 29 1246 INV
2 1 1245 1246 1247 AND
1 1 1247 1248 INV
1 1 1248 1249 INV
2 1 1244 1249 1250 AND
1 1 1250 1251 INV
1 1 1251 1252 INV
1 1 26 1253 INV
1 1 27 1254 INV
2 1 1253 1254 1255 AND
1 1 1255 1256 INV
1 1 1256 1257 INV
1 1 24 1258 INV
1 1 25 1259 INV
2 1 1258 1259 1260 AND
1 1 1260 1261 INV
1 1 1261 1262 INV
2 1 1257 1262 1263 AND
1 1 1263 1264 INV
1 1 1264 1265 INV
2 1 1252 1265 1266 AND
1 1 1266 1267 INV
1 1 1267 1268 INV
1 1 22 1269 INV
1 1 23 1270 INV
2 1 1269 1270 1271 AND
1 1 1271 1272 INV
1 1 1272 1273 INV
1 1 20 1274 INV
1 1 21 1275 INV
2 1 1274 1275 1276 AND
1 1 1276 1277 INV
1 1 1277 1278 INV
2 1 1273 1278 1279 AND
1 1 1279 1280 INV
1 1 1280 1281 INV
1 1 18 1282 INV
1 1 19 1283 INV
2 1 1282 1283 1284 AND
1 1 1284 1285 INV
1 1 1285 1286 INV
1 1 16 1287 INV
1 1 17 1288 INV
2 1 1287 1288 1289 AND
1 1 1289 1290 INV
1 1 1290 1291 INV
2 1 1286 1291 1292 AND
1 1 1292 1293 INV
1 1 1293 1294 INV
2 1 1281 1294 1295 AND
1 1 1295 1296 INV
1 1 1296 1297 INV
2 1 1268 1297 1298 AND
1 1 1298 1299 INV
1 1 1299 1300 INV
1 1 14 1301 INV
1 1 15 1302 INV
2 1 1301 1302 1303 AND
1 1 1303 1304 INV
1 1 1304 1305 INV
1 1 12 1306 INV
1 1 13 1307 INV
2 1 1306 1307 1308 AND
1 1 1308 1309 INV
1 1 1309 1310 INV
2 1 1305 1310 1311 AND
1 1 1311 1312 INV
1 1 1312 1313 INV
1 1 10 1314 INV
1 1 11 1315 INV
2 1 1314 1315 1316 AND
1 1 1316 1317 INV
1 1 1317 1318 INV
1 1 8 1319 INV
1 1 9 1320 INV
2 1 1319 1320 1321 AND
1 1 1321 1322 INV
1 1 1322 1323 INV
2 1 1318 1323 1324 AND
1 1 1324 1325 INV
1 1 1325 1326 INV
2 1 1313 1326 1327 AND
1 1 1327 1328 INV
1 1 1328 1329 INV
1 1 6 1330 INV
1 1 7 1331 INV
2 1 1330 1331 1332 AND
1 1 1332 1333 INV
1 1 1333 1334 INV
1 1 4 1335 INV
1 1 5 1336 INV
2 1 1335 1336 1337 AND
1 1 1337 1338 INV
1 1 1338 1339 INV
2 1 1334 1339 1340 AND
1 1 1340 1341 INV
1 1 1341 1342 INV
1 1 2 1343 INV
1 1 3 1344 INV
2 1 1343 1344 1345 AND
1 1 1345 1346 INV
1 1 1346 1347 INV
1 1 0 1348 INV
2 1 1348 64 444 AND
1 1 444 445 INV
2 1 445 1 446 XOR
2 1 444 65 447 XOR
2 1 446 447 448 AND
2 1 448 445 449 XOR
2 1 449 2 450 XOR
2 1 449 66 451 XOR
1 1 451 452 INV
2 1 450 452 453 AND
2 1 453 449 454 XOR
2 1 454 3 455 XOR
2 1 454 67 456 XOR
1 1 456 457 INV
2 1 455 457 458 AND
2 1 458 454 459 XOR
2 1 459 4 460 XOR
2 1 459 68 461 XOR
1 1 461 462 INV
2 1 460 462 463 AND
2 1 463 459 464 XOR
2 1 464 5 465 XOR
2 1 464 69 466 XOR
1 1 466 467 INV
2 1 465 467 468 AND
2 1 468 464 469 XOR
2 1 469 6 470 XOR
2 1 469 70 471 XOR
1 1 471 472 INV
2 1 470 472 473 AND
2 1 473 469 474 XOR
2 1 474 7 475 XOR
2 1 474 71 476 XOR
1 1 476 477 INV
2 1 475 477 478 AND
2 1 478 474 479 XOR
2 1 479 8 480 XOR
2 1 479 72 481 XOR
1 1 481 482 INV
2 1 480 482 483 AND
2 1 483 479 484 XOR
2 1 484 9 485 XOR
2 1 484 73 486 XOR
1 1 486 487 INV
2 1 485 487 488 AND
2 1 488 484 489 XOR
2 1 489 10 490 XOR
2 1 489 74 491 XOR
1 1 491 492 INV
2 1 490 492 493 AND
2 1 493 489 494 XOR
2 1 494 11 495 XOR
2 1 494 75 496 XOR
1 1 496 497 INV
2 1 495 497 498 AND
2 1 498 494 499 XOR
2 1 499 12 500 XOR
2 1 499 76 501 XOR
1 1 501 502 INV
2 1 500 502 503 AND
2 1 503 499 504 XOR
2 1 504 13 505 XOR
2 1 504 77 506 XOR
1 1 506 507 INV
2 1 505 507 508 AND
2 1 508 504 509 XOR
2 1 509 14 510 XOR
2 1 509 78 511 XOR
1 1 511 512 INV
2 1 510 512 513 AND
2 1 513 509 514 XOR
2 1 514 15 515 XOR
2 1 514 79 516 XOR
1 1 516 517 INV
2 1 515 517 518 AND
2 1 518 514 519 XOR
2 1 519 16 520 XOR
2 1 519 80 521 XOR
1 1 521 522 INV
2 1 520 522 523 AND
2 1 523 519 524 XOR
2 1 524 17 525 XOR
2 1 524 81 526 XOR
1 1 526 527 INV
2 1 525 527 528 AND
2 1 528 524 529 XOR
2 1 529 18 530 XOR
2 1 529 82 531 XOR
1 1 531 532 INV
2 1 530 532 533 AND
2 1 533 529 534 XOR
2 1 534 19 535 XOR
2 1 534 83 536 XOR
1 1 536 537 INV
2 1 535 537 538 AND
2 1 538 534 539 XOR
2 1 539 20 540 XOR
2 1 539 84 541 XOR
1 1 541 542 INV
2 1 540 542 543 AND
2 1 543 539 544 XOR
2 1 544 21 545 XOR
2 1 544 85 546 XOR
1 1 546 547 INV
2 1 545 547 548 AND
2 1 548 544 549 XOR
2 1 549 22 550 XOR
2 1 549 86 551 XOR
1 1 551 552 INV
2 1 550 552 553 AND
2 1 553 549 554 XOR
2 1 554 23 555 XOR
2 1 554 87 556 XOR
1 1 556 557 INV
2 1 555 557 558 AND
2 1 558 554 559 XOR
2 1 559 24 560 XOR
2 1 559 88 561 XOR
1 1 561 562 INV
2 1 560 562 563 AND
2 1 563 559 564 XOR
2 1 564 25 565 XOR
2 1 564 89 566 XOR
1 1 566 567 INV
2 1 565 567 568 AND
2 1 568 564 569 XOR
2 1 569 26 570 XOR
2 1 569 90 571 XOR
1 1 571 572 INV
2 1 570 572 573 AND
2 1 573 569 574 XOR
2 1 574 27 575 XOR
2 1 574 91 576 XOR
1 1 576 577 INV
2 1 575 577 578 AND
2 1 578 574 579 XOR
2 1 579 28 580 XOR
2 1 579 92 581 XOR
1 1 581 582 INV
2 1 580 582 583 AND
2 1 583 579 584 XOR
2 1 584 29 585 XOR
2 1 584 93 586 XOR
1 1 586 587 INV
2 1 585 587 588 AND
2 1 588 584 589 XOR
2 1 589 30 590 XOR
2 1 589 94 591 XOR
1 1 591 592 INV
2 1 590 592 593 AND
2 1 593 589 594 XOR
2 1 594 31 595 XOR
2 1 594 95 596 XOR
1 1 596 597 INV
2 1 595 597 598 AND
2 1 598 594 599 XOR
2 1 599 32 600 XOR
2 1 599 96 601 XOR
1 1 601 602 INV
2 1 600 602 603 AND
2 1 603 599 604 XOR
2 1 604 33 605 XOR
2 1 604 97 606 XOR
1 1 606 607 INV
2 1 605 607 608 AND
2 1 608 604 609 XOR
2 1 609 34 610 XOR
2 1 609 98 611 XOR
1 1 611 612 INV
2 1 610 612 613 AND
2 1 613 609 614 XOR
2 1 614 35 615 XOR
2 1 614 99 616 XOR
1 1 616 617 INV
2 1 615 617 618 AND
2 1 618 614 619 XOR
2 1 619 36 620 XOR
2 1 619 100 621 XOR
1 1 621 622 INV
2 1 620 622 623 AND
2 1 623 619 624 XOR
2 1 624 37 625 XOR
2 1 624 101 626 XOR
1 1 626 627 INV
2 1 625 627 628 AND
2 1 628 624 629 XOR
2 1 629 38 630 XOR
2 1 629 102 631 XOR
1 1 631 632 INV
2 1 630 632 633 AND
2 1 633 629 634 XOR
2 1 634 39 635 XOR
2 1 634 103 636 XOR
1 1 636 637 INV
2 1 635 637 638 AND
2 1 638 634 639 XOR
2 1 639 40 640 XOR
2 1 639 104 641 XOR
1 1 641 642 INV
2 1 640 642 643 AND
2 1 643 639 644 XOR
2 1 644 41 645 XOR
2 1 644 105 646 XOR
1 1 646 647 INV
2 1 645 647 648 AND
2 1 648 644 649 XOR
2 1 649 42 650 XOR
2 1 649 106 651 XOR
1 1 651 652 INV
2 1 650 652 653 AND
2 1 653 649 654 XOR
2 1 654 43 655 XOR
2 1 654 107 656 XOR
1 1 656 657 INV
2 1 655 657 658 AND
2 1 658 654 659 XOR
2 1 659 44 660 XOR
2 1 659 108 661 XOR
1 1 661 662 INV
2 1 660 662 663 AND
2 1 663 659 664 XOR
2 1 664 45 665 XOR
2 1 664 109 666 XOR
1 1 666 667 INV
2 1 665 667 668 AND
2 1 668 664 669 XOR
2 1 669 46 670 XOR
2 1 669 110 671 XOR
1 1 671 672 INV
2 1 670 672 673 AND
2 1 673 669 674 XOR
2 1 674 47 675 XOR
2 1 674 111 676 XOR
1 1 676 677 INV
2 1 675 677 678 AND
2 1 678 674 679 XOR
2 1 679 48 680 XOR
2 1 679 112 681 XOR
1 1 681 682 INV
2 1 680 682 683 AND
2 1 683 679 684 XOR
2 1 684 113 686 XOR
1 1 686 687 INV
2 1 684 49 685 XOR
2 1 685 687 688 AND
2 1 688 684 689 XOR
2 1 689 114 691 XOR
1 1 691 692 INV
2 1 689 50 690 XOR
2 1 690 692 693 AND
2 1 693 689 694 XOR
2 1 694 115 696 XOR
1 1 696 697 INV
2 1 694 51 695 XOR
2 1 695 697 698 AND
2 1 698 694 699 XOR
2 1 699 116 701 XOR
1 1 701 702 INV
2 1 699 52 700 XOR
2 1 700 702 703 AND
2 1 703 699 704 XOR
2 1 704 117 706 XOR
1 1 706 707 INV
2 1 704 53 705 XOR
2 1 705 707 708 AND
2 1 708 704 709 XOR
2 1 709 118 711 XOR
1 1 711 712 INV
2 1 709 54 710 XOR
2 1 710 712 713 AND
2 1 713 709 714 XOR
2 1 714 119 716 XOR
1 1 716 717 INV
2 1 714 55 715 XOR
2 1 715 717 718 AND
2 1 718 714 719 XOR
2 1 719 120 721 XOR
1 1 721 722 INV
2 1 719 56 720 XOR
2 1 720 722 723 AND
2 1 723 719 724 XOR
2 1 724 121 726 XOR
1 1 726 727 INV
2 1 724 57 725 XOR
2 1 725 727 728 AND
2 1 728 724 729 XOR
2 1 729 122 731 XOR
1 1 731 732 INV
2 1 729 58 730 XOR
2 1 730 732 733 AND
2 1 733 729 734 XOR
2 1 734 59 735 XOR
2 1 734 123 736 XOR
1 1 736 737 INV
2 1 735 737 738 AND
2 1 738 734 739 XOR
2 1 739 124 741 XOR
1 1 741 742 INV
2 1 739 60 740 XOR
2 1 740 742 743 AND
2 1 743 739 744 XOR
2 1 744 125 746 XOR
1 1 746 747 INV
2 1 744 61 745 XOR
2 1 745 747 748 AND
2 1 748 744 749 XOR
2 1 749 126 751 XOR
1 1 751 752 INV
2 1 749 62 750 XOR
2 1 750 752 753 AND
2 1 753 749 754 XOR
2 1 754 127 756 XOR
1 1 756 757 INV
2 1 754 63 755 XOR
2 1 755 757 758 AND
2 1 758 754 759 XOR
2 1 759 63 760 XOR
1 1 760 761 INV
2 1 443 761 762 AND
1 1 1 1349 INV
2 1 1348 1349 1350 AND
1 1 1350 1351 INV
1 1 1351 1352 INV
2 1 1347 1352 1353 AND
1 1 1353 1354 INV
1 1 1354 1355 INV
2 1 1342 1355 1356 AND
1 1 1356 1357 INV
1 1 1357 1358 INV
2 1 1329 1358 1359 AND
1 1 1359 1360 INV
1 1 1360 1361 INV
2 1 1300 1361 1362 AND
1 1 1362 1363 INV
1 1 1363 1364 INV
2 1 1239 1364 1365 AND
1 1 1365 1366 INV
2 1 60 61 1367 AND
2 1 1367 62 1368 AND
2 1 58 59 1369 AND
2 1 56 57 1370 AND
2 1 1369 1370 1371 AND
2 1 52 53 1372 AND
2 1 54 55 1373 AND
2 1 1372 1373 1374 AND
2 1 1371 1374 1375 AND
2 1 1368 1375 1376 AND
2 1 1366 1376 1377 AND
1 1 1377 1378 INV
1 1 114 1379 INV
2 1 1163 1379 851 AND
1 1 851 852 INV
1 1 852 853 INV
1 1 115 1380 INV
2 1 1164 1380 842 AND
1 1 842 843 INV
1 1 843 844 INV
2 1 841 844 845 AND
1 1 845 846 INV
1 1 846 847 INV
2 1 836 847 848 AND
1 1 848 849 INV
1 1 849 850 INV
2 1 1379 1380 1381 AND
1 1 1381 1382 INV
1 1 1382 1383 INV
1 1 112 1384 INV
2 1 1168 1384 860 AND
1 1 860 861 INV
1 1 861 862 INV
1 1 113 1385 INV
2 1 1169 1385 854 AND
1 1 854 855 INV
1 1 855 856 INV
2 1 853 856 857 AND
1 1 857 858 INV
1 1 858 859 INV
2 1 1384 1385 1386 AND
1 1 1386 1387 INV
1 1 1387 1388 INV
2 1 1383 1388 1389 AND
1 1 1389 1390 INV
1 1 1390 1391 INV
1 1 110 1392 INV
2 1 1176 1392 878 AND
1 1 878 879 INV
1 1 879 880 INV
1 1 111 1393 INV
2 1 1177 1393 863 AND
1 1 863 864 INV
1 1 864 865 INV
2 1 862 865 866 AND
1 1 866 867 INV
1 1 867 868 INV
2 1 859 868 869 AND
1 1 869 870 INV
1 1 870 871 INV
2 1 850 871 872 AND
1 1 872 873 INV
1 1 873 874 INV
2 1 823 874 875 AND
1 1 875 876 INV
1 1 876 877 INV
2 1 1392 1393 1394 AND
1 1 1394 1395 INV
1 1 1395 1396 INV
1 1 108 1397 INV
2 1 1181 1397 887 AND
1 1 887 888 INV
1 1 888 889 INV
1 1 109 1398 INV
2 1 1182 1398 881 AND
1 1 881 882 INV
1 1 882 883 INV
2 1 880 883 884 AND
1 1 884 885 INV
1 1 885 886 INV
2 1 1397 1398 1399 AND
1 1 1399 1400 INV
1 1 1400 1401 INV
2 1 1396 1401 1402 AND
1 1 1402 1403 INV
1 1 1403 1404 INV
1 1 106 1405 INV
2 1 1189 1405 899 AND
1 1 899 900 INV
1 1 900 901 INV
1 1 107 1406 INV
2 1 1190 1406 890 AND
1 1 890 891 INV
1 1 891 892 INV
2 1 889 892 893 AND
1 1 893 894 INV
1 1 894 895 INV
2 1 886 895 896 AND
1 1 896 897 INV
1 1 897 898 INV
2 1 1405 1406 1407 AND
1 1 1407 1408 INV
1 1 1408 1409 INV
1 1 104 1410 INV
2 1 1194 1410 908 AND
1 1 908 909 INV
1 1 909 910 INV
1 1 105 1411 INV
2 1 1195 1411 902 AND
1 1 902 903 INV
1 1 903 904 INV
2 1 901 904 905 AND
1 1 905 906 INV
1 1 906 907 INV
2 1 1410 1411 1412 AND
1 1 1412 1413 INV
1 1 1413 1414 INV
2 1 1409 1414 1415 AND
1 1 1415 1416 INV
1 1 1416 1417 INV
2 1 1404 1417 1418 AND
1 1 1418 1419 INV
1 1 1419 1420 INV
1 1 102 1421 INV
2 1 1205 1421 923 AND
1 1 923 924 INV
1 1 924 925 INV
1 1 103 1422 INV
2 1 1206 1422 911 AND
1 1 911 912 INV
1 1 912 913 INV
2 1 910 913 914 AND
1 1 914 915 INV
1 1 915 916 INV
2 1 907 916 917 AND
1 1 917 918 INV
1 1 918 919 INV
2 1 898 919 920 AND
1 1 920 921 INV
1 1 921 922 INV
2 1 1421 1422 1423 AND
1 1 1423 1424 INV
1 1 1424 1425 INV
1 1 100 1426 INV
2 1 1210 1426 932 AND
1 1 932 933 INV
1 1 933 934 INV
1 1 101 1427 INV
2 1 1211 1427 926 AND
1 1 926 927 INV
1 1 927 928 INV
2 1 925 928 929 AND
1 1 929 930 INV
1 1 930 931 INV
2 1 1426 1427 1428 AND
1 1 1428 1429 INV
1 1 1429 1430 INV
2 1 1425 1430 1431 AND
1 1 1431 1432 INV
1 1 1432 1433 INV
1 1 98 1434 INV
2 1 1218 1434 944 AND
1 1 944 945 INV
1 1 945 946 INV
1 1 99 1435 INV
2 1 1219 1435 935 AND
1 1 935 936 INV
1 1 936 937 INV
2 1 934 937 938 AND
1 1 938 939 INV
1 1 939 940 INV
2 1 931 940 941 AND
1 1 941 942 INV
1 1 942 943 INV
2 1 1434 1435 1436 AND
1 1 1436 1437 INV
1 1 1437 1438 INV
1 1 96 1439 INV
2 1 1223 1439 953 AND
1 1 953 954 INV
1 1 954 955 INV
1 1 97 1440 INV
2 1 1224 1440 947 AND
1 1 947 948 INV
1 1 948 949 INV
2 1 946 949 950 AND
1 1 950 951 INV
1 1 951 952 INV
2 1 1439 1440 1441 AND
1 1 1441 1442 INV
1 1 1442 1443 INV
2 1 1438 1443 1444 AND
1 1 1444 1445 INV
1 1 1445 1446 INV
2 1 1433 1446 1447 AND
1 1 1447 1448 INV
1 1 1448 1449 INV
2 1 1420 1449 1450 AND
1 1 1450 1451 INV
1 1 1451 1452 INV
2 1 1391 1452 1453 AND
1 1 1453 1454 INV
1 1 1454 1455 INV
1 1 94 1456 INV
2 1 1240 1456 974 AND
1 1 974 975 INV
1 1 975 976 INV
1 1 95 1457 INV
2 1 1241 1457 956 AND
1 1 956 957 INV
1 1 957 958 INV
2 1 955 958 959 AND
1 1 959 960 INV
1 1 960 961 INV
2 1 952 961 962 AND
1 1 962 963 INV
1 1 963 964 INV
2 1 943 964 965 AND
1 1 965 966 INV
1 1 966 967 INV
2 1 922 967 968 AND
1 1 968 969 INV
1 1 969 970 INV
2 1 877 970 971 AND
1 1 971 972 INV
1 1 972 973 INV
2 1 1456 1457 1458 AND
1 1 1458 1459 INV
1 1 1459 1460 INV
1 1 92 1461 INV
2 1 1245 1461 983 AND
1 1 983 984 INV
1 1 984 985 INV
1 1 93 1462 INV
2 1 1246 1462 977 AND
1 1 977 978 INV
1 1 978 979 INV
2 1 976 979 980 AND
1 1 980 981 INV
1 1 981 982 INV
2 1 1461 1462 1463 AND
1 1 1463 1464 INV
1 1 1464 1465 INV
2 1 1460 1465 1466 AND
1 1 1466 1467 INV
1 1 1467 1468 INV
1 1 90 1469 INV
2 1 1253 1469 995 AND
1 1 995 996 INV
1 1 996 997 INV
1 1 91 1470 INV
2 1 1254 1470 986 AND
1 1 986 987 INV
1 1 987 988 INV
2 1 985 988 989 AND
1 1 989 990 INV
1 1 990 991 INV
2 1 982 991 992 AND
1 1 992 993 INV
1 1 993 994 INV
2 1 1469 1470 1471 AND
1 1 1471 1472 INV
1 1 1472 1473 INV
1 1 88 1474 INV
2 1 1258 1474 1004 AND
1 1 1004 1005 INV
1 1 1005 1006 INV
1 1 89 1475 INV
2 1 1259 1475 998 AND
1 1 998 999 INV
1 1 999 1000 INV
2 1 997 1000 1001 AND
1 1 1001 1002 INV
1 1 1002 1003 INV
2 1 1474 1475 1476 AND
1 1 1476 1477 INV
1 1 1477 1478 INV
2 1 1473 1478 1479 AND
1 1 1479 1480 INV
1 1 1480 1481 INV
2 1 1468 1481 1482 AND
1 1 1482 1483 INV
1 1 1483 1484 INV
1 1 86 1485 INV
2 1 1269 1485 1019 AND
1 1 1019 1020 INV
1 1 1020 1021 INV
1 1 87 1486 INV
2 1 1270 1486 1007 AND
1 1 1007 1008 INV
1 1 1008 1009 INV
2 1 1006 1009 1010 AND
1 1 1010 1011 INV
1 1 1011 1012 INV
2 1 1003 1012 1013 AND
1 1 1013 1014 INV
1 1 1014 1015 INV
2 1 994 1015 1016 AND
1 1 1016 1017 INV
1 1 1017 1018 INV
2 1 1485 1486 1487 AND
1 1 1487 1488 INV
1 1 1488 1489 INV
1 1 84 1490 INV
2 1 1274 1490 1028 AND
1 1 1028 1029 INV
1 1 1029 1030 INV
1 1 85 1491 INV
2 1 1275 1491 1022 AND
1 1 1022 1023 INV
1 1 1023 1024 INV
2 1 1021 1024 1025 AND
1 1 1025 1026 INV
1 1 1026 1027 INV
2 1 1490 1491 1492 AND
1 1 1492 1493 INV
1 1 1493 1494 INV
2 1 1489 1494 1495 AND
1 1 1495 1496 INV
1 1 1496 1497 INV
1 1 82 1498 INV
2 1 1282 1498 1040 AND
1 1 1040 1041 INV
1 1 1041 1042 INV
1 1 83 1499 INV
2 1 1283 1499 1031 AND
1 1 1031 1032 INV
1 1 1032 1033 INV
2 1 1030 1033 1034 AND
1 1 1034 1035 INV
1 1 1035 1036 INV
2 1 1027 1036 1037 AND
1 1 1037 1038 INV
1 1 1038 1039 INV
2 1 1498 1499 1500 AND
1 1 1500 1501 INV
1 1 1501 1502 INV
1 1 80 1503 INV
2 1 1287 1503 1049 AND
1 1 1049 1050 INV
1 1 1050 1051 INV
1 1 81 1504 INV
2 1 1288 1504 1043 AND
1 1 1043 1044 INV
1 1 1044 1045 INV
2 1 1042 1045 1046 AND
1 1 1046 1047 INV
1 1 1047 1048 INV
2 1 1503 1504 1505 AND
1 1 1505 1506 INV
1 1 1506 1507 INV
2 1 1502 1507 1508 AND
1 1 1508 1509 INV
1 1 1509 1510 INV
2 1 1497 1510 1511 AND
1 1 1511 1512 INV
1 1 1512 1513 INV
2 1 1484 1513 1514 AND
1 1 1514 1515 INV
1 1 1515 1516 INV
1 1 78 1517 INV
2 1 1301 1517 1067 AND
1 1 1067 1068 INV
1 1 1068 1069 INV
1 1 79 1518 INV
2 1 1302 1518 1052 AND
1 1 1052 1053 INV
1 1 1053 1054 INV
2 1 1051 1054 1055 AND
1 1 1055 1056 INV
1 1 1056 1057 INV
2 1 1048 1057 1058 AND
1 1 1058 1059 INV
1 1 1059 1060 INV
2 1 1039 1060 1061 AND
1 1 1061 1062 INV
1 1 1062 1063 INV
2 1 1018 1063 1064 AND
1 1 1064 1065 INV
1 1 1065 1066 INV
2 1 1517 1518 1519 AND
1 1 1519 1520 INV
1 1 1520 1521 INV
1 1 76 1522 INV
2 1 1306 1522 1076 AND
1 1 1076 1077 INV
1 1 1077 1078 INV
1 1 77 1523 INV
2 1 1307 1523 1070 AND
1 1 1070 1071 INV
1 1 1071 1072 INV
2 1 1069 1072 1073 AND
1 1 1073 1074 INV
1 1 1074 1075 INV
2 1 1522 1523 1524 AND
1 1 1524 1525 INV
1 1 1525 1526 INV
2 1 1521 1526 1527 AND
1 1 1527 1528 INV
1 1 1528 1529 INV
1 1 74 1530 INV
2 1 1314 1530 1088 AND
1 1 1088 1089 INV
1 1 1089 1090 INV
1 1 75 1531 INV
2 1 1315 1531 1079 AND
1 1 1079 1080 INV
1 1 1080 1081 INV
2 1 1078 1081 1082 AND
1 1 1082 1083 INV
1 1 1083 1084 INV
2 1 1075 1084 1085 AND
1 1 1085 1086 INV
1 1 1086 1087 INV
2 1 1530 1531 1532 AND
1 1 1532 1533 INV
1 1 1533 1534 INV
1 1 72 1535 INV
2 1 1319 1535 1097 AND
1 1 1097 1098 INV
1 1 1098 1099 INV
1 1 73 1536 INV
2 1 1320 1536 1091 AND
1 1 1091 1092 INV
1 1 1092 1093 INV
2 1 1090 1093 1094 AND
1 1 1094 1095 INV
1 1 1095 1096 INV
2 1 1535 1536 1537 AND
1 1 1537 1538 INV
1 1 1538 1539 INV
2 1 1534 1539 1540 AND
1 1 1540 1541 INV
1 1 1541 1542 INV
2 1 1529 1542 1543 AND
1 1 1543 1544 INV
1 1 1544 1545 INV
1 1 70 1546 INV
2 1 1330 1546 1112 AND
1 1 1112 1113 INV
1 1 1113 1114 INV
1 1 71 1547 INV
2 1 1331 1547 1100 AND
1 1 1100 1101 INV
1 1 1101 1102 INV
2 1 1099 1102 1103 AND
1 1 1103 1104 INV
1 1 1104 1105 INV
2 1 1096 1105 1106 AND
1 1 1106 1107 INV
1 1 1107 1108 INV
2 1 1087 1108 1109 AND
1 1 1109 1110 INV
1 1 1110 1111 INV
2 1 1546 1547 1548 AND
1 1 1548 1549 INV
1 1 1549 1550 INV
1 1 68 1551 INV
2 1 1335 1551 1121 AND
1 1 1121 1122 INV
1 1 1122 1123 INV
1 1 69 1552 INV
2 1 1336 1552 1115 AND
1 1 1115 1116 INV
1 1 1116 1117 INV
2 1 1114 1117 1118 AND
1 1 1118 1119 INV
1 1 1119 1120 INV
2 1 1551 1552 1553 AND
1 1 1553 1554 INV
1 1 1554 1555 INV
2 1 1550 1555 1556 AND
1 1 1556 1557 INV
1 1 1557 1558 INV
1 1 66 1559 INV
2 1 1343 1559 1133 AND
1 1 1133 1134 INV
1 1 1134 1135 INV
1 1 67 1560 INV
2 1 1344 1560 1124 AND
1 1 1124 1125 INV
1 1 1125 1126 INV
2 1 1123 1126 1127 AND
1 1 1127 1128 INV
1 1 1128 1129 INV
2 1 1120 1129 1130 AND
1 1 1130 1131 INV
1 1 1131 1132 INV
2 1 1559 1560 1561 AND
1 1 1561 1562 INV
1 1 1562 1563 INV
1 1 64 1564 INV
2 1 1348 1564 1142 AND
1 1 1142 1143 INV
1 1 1143 1144 INV
1 1 65 1565 INV
2 1 1349 1565 1136 AND
1 1 1136 1137 INV
1 1 1137 1138 INV
2 1 1135 1138 1139 AND
1 1 1139 1140 INV
1 1 1140 1141 INV
2 1 1141 1144 1145 AND
1 1 1145 1146 INV
1 1 1146 1147 INV
2 1 1132 1147 1148 AND
1 1 1148 1149 INV
1 1 1149 1150 INV
2 1 1111 1150 1151 AND
1 1 1151 1152 INV
1 1 1152 1153 INV
2 1 1066 1153 1154 AND
1 1 1154 1155 INV
1 1 1155 1156 INV
2 1 973 1156 1157 AND
1 1 1157 1158 INV
2 1 1158 63 1159 AND
2 1 762 1159 1160 XOR
2 1 130 1160 1161 AND
2 1 762 1161 1162 XOR
2 1 1564 1565 1566 AND
1 1 1566 1567 INV
1 1 1567 1568 INV
2 1 1563 1568 1569 AND
1 1 1569 1570 INV
1 1 1570 1571 INV
2 1 1558 1571 1572 AND
1 1 1572 1573 INV
1 1 1573 1574 INV
2 1 1545 1574 1575 AND
1 1 1575 1576 INV
1 1 1576 1577 INV
2 1 1516 1577 1578 AND
1 1 1578 1579 INV
1 1 1579 1580 INV
2 1 1455 1580 1581 AND
1 1 1581 1582 INV
2 1 124 125 1583 AND
2 1 1583 126 1584 AND
2 1 122 123 1585 AND
2 1 120 121 1586 AND
2 1 1585 1586 1587 AND
2 1 118 119 1588 AND
2 1 116 117 1589 AND
2 1 1588 1589 1590 AND
2 1 1587 1590 1591 AND
2 1 1584 1591 1592 AND
2 1 1582 1592 1593 AND
1 1 1593 1594 INV
2 1 1378 1594 1595 AND
1 1 1595 1596 INV
1 1 1596 1597 INV
2 1 1162 1597 1600 AND
2 1 0 0 1599 XOR
1 1 1599 1598 INV
1 1 1598 1601 INV
1 1 1598 1602 INV
1 1 1598 1603 INV
1 1 1598 1604 INV
1 1 1598 1605 INV
1 1 1598 1606 INV
1 1 1598 1607 INV
1 1 1598 1608 INV
1 1 1598 1609 INV
1 1 1598 1610 INV
1 1 1598 1611 INV
1 1 1598 1612 INV
1 1 1598 1613 INV
1 1 1598 1614 INV
1 1 1598 1615 INV
1 1 1598 1616 INV
1 1 1598 1617 INV
1 1 1598 1618 INV
1 1 1598 1619 INV
1 1 1598 1620 INV
1 1 1598 1621 INV
1 1 1598 1622 INV
1 1 1598 1623 INV
1 1 1598 1624 INV
1 1 1598 1625 INV
1 1 1598 1626 INV
1 1 1598 1627 INV
1 1 1598 1628 INV
1 1 1598 1629 INV
1 1 1598 1630 INV
1 1 1598 1631 INV
1 1 1598 1632 INV
1 1 1598 1633 INV
1 1 1598 1634 INV
1 1 1598 1635 INV
1 1 1598 1636 INV
1 1 1598 1637 INV
1 1 1598 1638 INV
1 1 1598 1639 INV
1 1 1598 1640 INV
1 1 1598 1641 INV
1 1 1598 1642 INV
1 1 1598 1643 INV
1 1 1598 1644 INV
1 1 1598 1645 INV
1 1 1598 1646 INV
1 1 1598 1647 INV
1 1 1598 1648 INV
1 1 1598 1649 INV
1 1 1598 1650 INV
1 1 1598 1651 INV
1 1 1598 1652 INV
1 1 1598 1653 INV
1 1 1598 1654 INV
1 1 1598 1655 INV
1 1 1598 1656 INV
1 1 1598 1657 INV
1 1 1598 1658 INV
1 1 1598 1659 INV
1 1 1598 1660 INV
1 1 1598 1661 INV
1 1 1598 1662 INV
1 1 1598 1663 INV