## inputs 12
## outputs 9
## latches 26
## initial 00000000011111111000000000 


 
.model MinMax9b
.inputs 1 2 3 4 5 6 7 8 9 10 
.inputs 11 12 
.outputs 39 40 41 42 43 44 45 46 47 
.latch 48 13  0
.latch 49 14  0
.latch 50 15  0
.latch 51 16  0
.latch 52 17  0
.latch 53 18  0
.latch 54 19  0
.latch 55 20  0
.latch 56 21  0
.latch 57 22  1
.latch 58 23  1
.latch 59 24  1
.latch 60 25  1
.latch 61 26  1
.latch 62 27  1
.latch 63 28  1
.latch 64 29  1
.latch 65 30  0
.latch 66 31  0
.latch 67 32  0
.latch 68 33  0
.latch 69 34  0
.latch 70 35  0
.latch 71 36  0
.latch 72 37  0
.latch 73 38  0
.names 75 74
0 1

.names 1 75
1 1

.names 77 76
0 1

.names 2 77
0 1

.names 79 78
0 1

.names 3 79
1 1

.names 81 80
0 1

.names 404 406 81
11 1

.names 83 82
0 1

.names 407 408 83
11 1

.names 85 84
0 1

.names 12 409 85
10 1
01 1

.names 87 86
0 1

.names 11 410 87
10 1
01 1

.names 89 88
0 1

.names 10 411 89
10 1
01 1

.names 91 90
0 1

.names 9 412 91
10 1
01 1

.names 93 92
0 1

.names 8 413 93
10 1
01 1

.names 95 94
0 1

.names 7 414 95
10 1
01 1

.names 97 96
0 1

.names 6 415 97
10 1
01 1

.names 99 98
0 1

.names 5 416 99
10 1
01 1

.names 101 100
0 1

.names 4 417 101
10 1
01 1

.names 103 102
0 1

.names 418 103
1 1

.names 105 104
0 1

.names 12 419 105
10 1
01 1

.names 107 106
0 1

.names 11 420 107
10 1
01 1

.names 109 108
0 1

.names 10 421 109
10 1
01 1

.names 111 110
0 1

.names 9 422 111
10 1
01 1

.names 113 112
0 1

.names 8 423 113
10 1
01 1

.names 115 114
0 1

.names 7 424 115
10 1
01 1

.names 117 116
0 1

.names 6 425 117
10 1
01 1

.names 119 118
0 1

.names 5 426 119
10 1
01 1

.names 121 120
0 1

.names 4 427 121
10 1
01 1

.names 123 122
0 1

.names 428 123
1 1

.names 125 124
0 1

.names 12 125
0 1

.names 126

.names 127

.names 128

.names 129

.names 130

.names 131

.names 132

.names 133

.names 134

.names 135

.names 136

.names 137

.names 138

.names 139

.names 140

.names 141

.names 142

.names 143

.names 144

.names 4 145
1 1

.names 5 146
1 1

.names 6 147
1 1

.names 7 148
1 1

.names 8 149
1 1

.names 9 150
1 1

.names 10 151
1 1

.names 11 152
1 1

.names 12 153
1 1

.names 13 154
1 1

.names 14 155
1 1

.names 15 156
1 1

.names 16 157
1 1

.names 17 158
1 1

.names 18 159
1 1

.names 19 160
1 1

.names 20 161
1 1

.names 21 162
1 1

.names 1 163
- 1

.names 1 164
- 1

.names 1 165
- 1

.names 1 166
- 1

.names 1 167
- 1

.names 1 168
- 1

.names 1 169
- 1

.names 1 170
- 1

.names 171

.names 172

.names 173

.names 174

.names 175

.names 176

.names 177

.names 178

.names 179

.names 21 180
1 1

.names 4 181
1 1

.names 5 182
1 1

.names 6 183
1 1

.names 7 184
1 1

.names 8 185
1 1

.names 9 186
1 1

.names 10 187
1 1

.names 11 188
1 1

.names 12 189
1 1

.names 190

.names 191

.names 192

.names 193

.names 194

.names 195

.names 196

.names 197

.names 12 198
1 1

.names 1 199
- 1

.names 1 200
- 1

.names 1 201
- 1

.names 1 202
- 1

.names 1 203
- 1

.names 1 204
- 1

.names 1 205
- 1

.names 1 206
- 1

.names 1 207
- 1

.names 208

.names 209

.names 210

.names 211

.names 212

.names 213

.names 214

.names 215

.names 13 216
1 1

.names 14 217
1 1

.names 15 218
1 1

.names 16 219
1 1

.names 17 220
1 1

.names 18 221
1 1

.names 19 222
1 1

.names 20 223
1 1

.names 21 224
1 1

.names 1 225
- 1

.names 1 226
- 1

.names 1 227
- 1

.names 1 228
- 1

.names 1 229
- 1

.names 1 230
- 1

.names 1 231
- 1

.names 1 232
- 1

.names 38 21 233
11 1

.names 1 234
- 1

.names 1 235
- 1

.names 1 236
- 1

.names 1 237
- 1

.names 1 238
- 1

.names 1 239
- 1

.names 1 240
- 1

.names 1 241
- 1

.names 1 242
- 1

.names 22 243
1 1

.names 23 244
1 1

.names 24 245
1 1

.names 25 246
1 1

.names 26 247
1 1

.names 27 248
1 1

.names 28 249
1 1

.names 29 250
1 1

.names 251

.names 252

.names 253

.names 254

.names 255

.names 256

.names 257

.names 258

.names 259

.names 38 21 260
1- 1
-1 1

.names 30 261
1 1

.names 31 262
1 1

.names 32 263
1 1

.names 33 264
1 1

.names 34 265
1 1

.names 35 266
1 1

.names 36 267
1 1

.names 37 268
1 1

.names 12 269
1 1

.names 11 270
1 1

.names 10 271
1 1

.names 9 272
1 1

.names 8 273
1 1

.names 7 274
1 1

.names 6 275
1 1

.names 5 276
1 1

.names 277

.names 4 278
1 1

.names 417 279
1 1

.names 416 280
1 1

.names 415 281
1 1

.names 414 282
1 1

.names 413 283
1 1

.names 412 284
1 1

.names 411 285
1 1

.names 410 286
1 1

.names 409 287
1 1

.names 4 288
1 1

.names 5 289
1 1

.names 6 290
1 1

.names 7 291
1 1

.names 8 292
1 1

.names 9 293
1 1

.names 10 294
1 1

.names 11 295
1 1

.names 12 296
1 1

.names 12 297
1 1

.names 11 298
1 1

.names 10 299
1 1

.names 9 300
1 1

.names 8 301
1 1

.names 7 302
1 1

.names 6 303
1 1

.names 5 304
1 1

.names 305

.names 4 306
1 1

.names 4 307
1 1

.names 5 308
1 1

.names 6 309
1 1

.names 7 310
1 1

.names 8 311
1 1

.names 9 312
1 1

.names 10 313
1 1

.names 11 314
1 1

.names 12 315
1 1

.names 427 316
1 1

.names 426 317
1 1

.names 425 318
1 1

.names 424 319
1 1

.names 423 320
1 1

.names 422 321
1 1

.names 421 322
1 1

.names 420 323
1 1

.names 419 324
1 1

.names 453 454 455 325
1-1 1
-11 1
11- 1

.names 432 433 434 326
100 1
001 1
010 1
111 1

.names 435 436 437 327
100 1
001 1
010 1
111 1

.names 438 439 440 328
100 1
001 1
010 1
111 1

.names 441 442 443 329
100 1
001 1
010 1
111 1

.names 444 445 446 330
100 1
001 1
010 1
111 1

.names 447 448 449 331
100 1
001 1
010 1
111 1

.names 450 451 452 332
100 1
001 1
010 1
111 1

.names 453 454 455 333
100 1
001 1
010 1
111 1

.names 325 334
1 1

.names 326 335
1 1

.names 327 336
1 1

.names 328 337
1 1

.names 329 338
1 1

.names 330 339
1 1

.names 331 340
1 1

.names 332 341
1 1

.names 333 342
1 1

.names 430 343
1 1

.names 433 344
1 1

.names 436 345
1 1

.names 439 346
1 1

.names 442 347
1 1

.names 445 348
1 1

.names 448 349
1 1

.names 451 350
1 1

.names 431 351
1 1

.names 434 352
1 1

.names 437 353
1 1

.names 440 354
1 1

.names 443 355
1 1

.names 446 356
1 1

.names 449 357
1 1

.names 452 358
1 1

.names 455 359
1 1

.names 454 360
1 1

.names 361

.names 37 361 362
00 1
11 1

.names 363

.names 36 363 364
00 1
11 1

.names 362 364 365
11 1

.names 366

.names 35 366 367
00 1
11 1

.names 365 367 368
11 1

.names 369

.names 34 369 370
00 1
11 1

.names 368 370 371
11 1

.names 372

.names 33 372 373
00 1
11 1

.names 371 373 374
11 1

.names 375

.names 32 375 376
00 1
11 1

.names 374 376 377
11 1

.names 378

.names 31 378 379
00 1
11 1

.names 377 379 380
11 1

.names 381

.names 30 381 382
00 1
11 1

.names 380 382 383
11 1

.names 1 384
- 1

.names 29 384 385
00 1
11 1

.names 383 385 386
11 1

.names 1 387
- 1

.names 28 387 388
00 1
11 1

.names 386 388 389
11 1

.names 1 390
- 1

.names 27 390 391
00 1
11 1

.names 389 391 392
11 1

.names 1 393
- 1

.names 26 393 394
00 1
11 1

.names 392 394 395
11 1

.names 1 396
- 1

.names 25 396 397
00 1
11 1

.names 395 397 398
11 1

.names 1 399
- 1

.names 24 399 400
00 1
11 1

.names 398 400 401
11 1

.names 1 402
- 1

.names 23 402 403
00 1
11 1

.names 401 403 404
11 1

.names 1 405
- 1

.names 22 405 406
00 1
11 1

.names 38 21 407
00 1
11 1

.names 952 954 408
11 1

.names 947 949 409
11 1

.names 942 944 410
11 1

.names 937 939 411
11 1

.names 932 934 412
11 1

.names 927 929 413
11 1

.names 922 924 414
11 1

.names 917 919 415
11 1

.names 912 914 416
11 1

.names 907 909 417
11 1

.names 902 904 418
11 1

.names 873 875 419
11 1

.names 868 870 420
11 1

.names 863 865 421
11 1

.names 858 860 422
11 1

.names 853 855 423
11 1

.names 848 850 424
11 1

.names 843 845 425
11 1

.names 838 840 426
11 1

.names 833 835 427
11 1

.names 828 830 428
11 1

.names 429

.names 799 801 430
11 1

.names 794 796 431
11 1

.names 429 430 431 432
1-1 1
-11 1
11- 1

.names 789 791 433
11 1

.names 784 786 434
11 1

.names 432 433 434 435
1-1 1
-11 1
11- 1

.names 779 781 436
11 1

.names 774 776 437
11 1

.names 435 436 437 438
1-1 1
-11 1
11- 1

.names 769 771 439
11 1

.names 764 766 440
11 1

.names 438 439 440 441
1-1 1
-11 1
11- 1

.names 759 761 442
11 1

.names 754 756 443
11 1

.names 441 442 443 444
1-1 1
-11 1
11- 1

.names 749 751 445
11 1

.names 744 746 446
11 1

.names 444 445 446 447
1-1 1
-11 1
11- 1

.names 739 741 448
11 1

.names 734 736 449
11 1

.names 447 448 449 450
1-1 1
-11 1
11- 1

.names 729 731 451
11 1

.names 724 726 452
11 1

.names 450 451 452 453
1-1 1
-11 1
11- 1

.names 719 721 454
11 1

.names 714 716 455
11 1

.names 462 463 39
-1 1
1- 1

.names 470 471 40
-1 1
1- 1

.names 478 479 41
-1 1
1- 1

.names 486 487 42
-1 1
1- 1

.names 494 495 43
-1 1
1- 1

.names 502 503 44
-1 1
1- 1

.names 510 511 45
-1 1
1- 1

.names 518 519 46
-1 1
1- 1

.names 526 527 47
-1 1
1- 1

.names 531 532 48
-1 1
1- 1

.names 536 537 49
-1 1
1- 1

.names 541 542 50
-1 1
1- 1

.names 546 547 51
-1 1
1- 1

.names 551 552 52
-1 1
1- 1

.names 556 557 53
-1 1
1- 1

.names 561 562 54
-1 1
1- 1

.names 566 567 55
-1 1
1- 1

.names 571 572 56
-1 1
1- 1

.names 579 580 57
-1 1
1- 1

.names 587 588 58
-1 1
1- 1

.names 595 596 59
-1 1
1- 1

.names 603 604 60
-1 1
1- 1

.names 611 612 61
-1 1
1- 1

.names 619 620 62
-1 1
1- 1

.names 627 628 63
-1 1
1- 1

.names 635 636 64
-1 1
1- 1

.names 643 644 65
-1 1
1- 1

.names 651 652 66
-1 1
1- 1

.names 659 660 67
-1 1
1- 1

.names 667 668 68
-1 1
1- 1

.names 675 676 69
-1 1
1- 1

.names 683 684 70
-1 1
1- 1

.names 691 692 71
-1 1
1- 1

.names 699 700 72
-1 1
1- 1

.names 710 711 73
-1 1
1- 1

.names 78 335 456
11 1

.names 79 181 457
11 1

.names 456 457 458
-1 1
1- 1

.names 76 458 459
11 1

.names 77 154 460
11 1

.names 459 460 461
-1 1
1- 1

.names 74 461 462
11 1

.names 75 127 463
11 1

.names 78 336 464
11 1

.names 79 182 465
11 1

.names 464 465 466
-1 1
1- 1

.names 76 466 467
11 1

.names 77 155 468
11 1

.names 467 468 469
-1 1
1- 1

.names 74 469 470
11 1

.names 75 128 471
11 1

.names 78 337 472
11 1

.names 79 183 473
11 1

.names 472 473 474
-1 1
1- 1

.names 76 474 475
11 1

.names 77 156 476
11 1

.names 475 476 477
-1 1
1- 1

.names 74 477 478
11 1

.names 75 129 479
11 1

.names 78 338 480
11 1

.names 79 184 481
11 1

.names 480 481 482
-1 1
1- 1

.names 76 482 483
11 1

.names 77 157 484
11 1

.names 483 484 485
-1 1
1- 1

.names 74 485 486
11 1

.names 75 130 487
11 1

.names 78 339 488
11 1

.names 79 185 489
11 1

.names 488 489 490
-1 1
1- 1

.names 76 490 491
11 1

.names 77 158 492
11 1

.names 491 492 493
-1 1
1- 1

.names 74 493 494
11 1

.names 75 131 495
11 1

.names 78 340 496
11 1

.names 79 186 497
11 1

.names 496 497 498
-1 1
1- 1

.names 76 498 499
11 1

.names 77 159 500
11 1

.names 499 500 501
-1 1
1- 1

.names 74 501 502
11 1

.names 75 132 503
11 1

.names 78 341 504
11 1

.names 79 187 505
11 1

.names 504 505 506
-1 1
1- 1

.names 76 506 507
11 1

.names 77 160 508
11 1

.names 507 508 509
-1 1
1- 1

.names 74 509 510
11 1

.names 75 133 511
11 1

.names 78 342 512
11 1

.names 79 188 513
11 1

.names 512 513 514
-1 1
1- 1

.names 76 514 515
11 1

.names 77 161 516
11 1

.names 515 516 517
-1 1
1- 1

.names 74 517 518
11 1

.names 75 134 519
11 1

.names 78 334 520
11 1

.names 79 189 521
11 1

.names 520 521 522
-1 1
1- 1

.names 76 522 523
11 1

.names 77 162 524
11 1

.names 523 524 525
-1 1
1- 1

.names 74 525 526
11 1

.names 75 135 527
11 1

.names 76 145 528
11 1

.names 77 216 529
11 1

.names 528 529 530
-1 1
1- 1

.names 74 530 531
11 1

.names 75 136 532
11 1

.names 76 146 533
11 1

.names 77 217 534
11 1

.names 533 534 535
-1 1
1- 1

.names 74 535 536
11 1

.names 75 137 537
11 1

.names 76 147 538
11 1

.names 77 218 539
11 1

.names 538 539 540
-1 1
1- 1

.names 74 540 541
11 1

.names 75 138 542
11 1

.names 76 148 543
11 1

.names 77 219 544
11 1

.names 543 544 545
-1 1
1- 1

.names 74 545 546
11 1

.names 75 139 547
11 1

.names 76 149 548
11 1

.names 77 220 549
11 1

.names 548 549 550
-1 1
1- 1

.names 74 550 551
11 1

.names 75 140 552
11 1

.names 76 150 553
11 1

.names 77 221 554
11 1

.names 553 554 555
-1 1
1- 1

.names 74 555 556
11 1

.names 75 141 557
11 1

.names 76 151 558
11 1

.names 77 222 559
11 1

.names 558 559 560
-1 1
1- 1

.names 74 560 561
11 1

.names 75 142 562
11 1

.names 76 152 563
11 1

.names 77 223 564
11 1

.names 563 564 565
-1 1
1- 1

.names 74 565 566
11 1

.names 75 143 567
11 1

.names 76 153 568
11 1

.names 77 224 569
11 1

.names 568 569 570
-1 1
1- 1

.names 74 570 571
11 1

.names 75 144 572
11 1

.names 78 351 573
11 1

.names 79 225 574
11 1

.names 573 574 575
-1 1
1- 1

.names 76 575 576
11 1

.names 77 199 577
11 1

.names 576 577 578
-1 1
1- 1

.names 74 578 579
11 1

.names 75 163 580
11 1

.names 78 352 581
11 1

.names 79 226 582
11 1

.names 581 582 583
-1 1
1- 1

.names 76 583 584
11 1

.names 77 200 585
11 1

.names 584 585 586
-1 1
1- 1

.names 74 586 587
11 1

.names 75 164 588
11 1

.names 78 353 589
11 1

.names 79 227 590
11 1

.names 589 590 591
-1 1
1- 1

.names 76 591 592
11 1

.names 77 201 593
11 1

.names 592 593 594
-1 1
1- 1

.names 74 594 595
11 1

.names 75 165 596
11 1

.names 78 354 597
11 1

.names 79 228 598
11 1

.names 597 598 599
-1 1
1- 1

.names 76 599 600
11 1

.names 77 202 601
11 1

.names 600 601 602
-1 1
1- 1

.names 74 602 603
11 1

.names 75 166 604
11 1

.names 78 355 605
11 1

.names 79 229 606
11 1

.names 605 606 607
-1 1
1- 1

.names 76 607 608
11 1

.names 77 203 609
11 1

.names 608 609 610
-1 1
1- 1

.names 74 610 611
11 1

.names 75 167 612
11 1

.names 78 356 613
11 1

.names 79 230 614
11 1

.names 613 614 615
-1 1
1- 1

.names 76 615 616
11 1

.names 77 204 617
11 1

.names 616 617 618
-1 1
1- 1

.names 74 618 619
11 1

.names 75 168 620
11 1

.names 78 357 621
11 1

.names 79 231 622
11 1

.names 621 622 623
-1 1
1- 1

.names 76 623 624
11 1

.names 77 205 625
11 1

.names 624 625 626
-1 1
1- 1

.names 74 626 627
11 1

.names 75 169 628
11 1

.names 78 358 629
11 1

.names 79 232 630
11 1

.names 629 630 631
-1 1
1- 1

.names 76 631 632
11 1

.names 77 206 633
11 1

.names 632 633 634
-1 1
1- 1

.names 74 634 635
11 1

.names 75 170 636
11 1

.names 78 343 637
11 1

.names 79 208 638
11 1

.names 637 638 639
-1 1
1- 1

.names 76 639 640
11 1

.names 77 190 641
11 1

.names 640 641 642
-1 1
1- 1

.names 74 642 643
11 1

.names 75 171 644
11 1

.names 78 344 645
11 1

.names 79 209 646
11 1

.names 645 646 647
-1 1
1- 1

.names 76 647 648
11 1

.names 77 191 649
11 1

.names 648 649 650
-1 1
1- 1

.names 74 650 651
11 1

.names 75 172 652
11 1

.names 78 345 653
11 1

.names 79 210 654
11 1

.names 653 654 655
-1 1
1- 1

.names 76 655 656
11 1

.names 77 192 657
11 1

.names 656 657 658
-1 1
1- 1

.names 74 658 659
11 1

.names 75 173 660
11 1

.names 78 346 661
11 1

.names 79 211 662
11 1

.names 661 662 663
-1 1
1- 1

.names 76 663 664
11 1

.names 77 193 665
11 1

.names 664 665 666
-1 1
1- 1

.names 74 666 667
11 1

.names 75 174 668
11 1

.names 78 347 669
11 1

.names 79 212 670
11 1

.names 669 670 671
-1 1
1- 1

.names 76 671 672
11 1

.names 77 194 673
11 1

.names 672 673 674
-1 1
1- 1

.names 74 674 675
11 1

.names 75 175 676
11 1

.names 78 348 677
11 1

.names 79 213 678
11 1

.names 677 678 679
-1 1
1- 1

.names 76 679 680
11 1

.names 77 195 681
11 1

.names 680 681 682
-1 1
1- 1

.names 74 682 683
11 1

.names 75 176 684
11 1

.names 78 349 685
11 1

.names 79 214 686
11 1

.names 685 686 687
-1 1
1- 1

.names 76 687 688
11 1

.names 77 196 689
11 1

.names 688 689 690
-1 1
1- 1

.names 74 690 691
11 1

.names 75 177 692
11 1

.names 78 350 693
11 1

.names 79 215 694
11 1

.names 693 694 695
-1 1
1- 1

.names 76 695 696
11 1

.names 77 197 697
11 1

.names 696 697 698
-1 1
1- 1

.names 74 698 699
11 1

.names 75 178 700
11 1

.names 124 359 701
11 1

.names 125 360 702
11 1

.names 701 702 703
-1 1
1- 1

.names 78 703 704
11 1

.names 79 198 705
11 1

.names 704 705 706
-1 1
1- 1

.names 76 706 707
11 1

.names 77 180 708
11 1

.names 707 708 709
-1 1
1- 1

.names 74 709 710
11 1

.names 75 179 711
11 1

.names 122 315 712
11 1

.names 123 324 713
11 1

.names 712 713 714
-1 1
1- 1

.names 76 78 715
11 1

.names 74 715 716
11 1

.names 102 287 717
11 1

.names 103 296 718
11 1

.names 717 718 719
-1 1
1- 1

.names 76 78 720
11 1

.names 74 720 721
11 1

.names 122 314 722
11 1

.names 123 323 723
11 1

.names 722 723 724
-1 1
1- 1

.names 76 78 725
11 1

.names 74 725 726
11 1

.names 102 286 727
11 1

.names 103 295 728
11 1

.names 727 728 729
-1 1
1- 1

.names 76 78 730
11 1

.names 74 730 731
11 1

.names 122 313 732
11 1

.names 123 322 733
11 1

.names 732 733 734
-1 1
1- 1

.names 76 78 735
11 1

.names 74 735 736
11 1

.names 102 285 737
11 1

.names 103 294 738
11 1

.names 737 738 739
-1 1
1- 1

.names 76 78 740
11 1

.names 74 740 741
11 1

.names 122 312 742
11 1

.names 123 321 743
11 1

.names 742 743 744
-1 1
1- 1

.names 76 78 745
11 1

.names 74 745 746
11 1

.names 102 284 747
11 1

.names 103 293 748
11 1

.names 747 748 749
-1 1
1- 1

.names 76 78 750
11 1

.names 74 750 751
11 1

.names 122 311 752
11 1

.names 123 320 753
11 1

.names 752 753 754
-1 1
1- 1

.names 76 78 755
11 1

.names 74 755 756
11 1

.names 102 283 757
11 1

.names 103 292 758
11 1

.names 757 758 759
-1 1
1- 1

.names 76 78 760
11 1

.names 74 760 761
11 1

.names 122 310 762
11 1

.names 123 319 763
11 1

.names 762 763 764
-1 1
1- 1

.names 76 78 765
11 1

.names 74 765 766
11 1

.names 102 282 767
11 1

.names 103 291 768
11 1

.names 767 768 769
-1 1
1- 1

.names 76 78 770
11 1

.names 74 770 771
11 1

.names 122 309 772
11 1

.names 123 318 773
11 1

.names 772 773 774
-1 1
1- 1

.names 76 78 775
11 1

.names 74 775 776
11 1

.names 102 281 777
11 1

.names 103 290 778
11 1

.names 777 778 779
-1 1
1- 1

.names 76 78 780
11 1

.names 74 780 781
11 1

.names 122 308 782
11 1

.names 123 317 783
11 1

.names 782 783 784
-1 1
1- 1

.names 76 78 785
11 1

.names 74 785 786
11 1

.names 102 280 787
11 1

.names 103 289 788
11 1

.names 787 788 789
-1 1
1- 1

.names 76 78 790
11 1

.names 74 790 791
11 1

.names 122 307 792
11 1

.names 123 316 793
11 1

.names 792 793 794
-1 1
1- 1

.names 76 78 795
11 1

.names 74 795 796
11 1

.names 102 279 797
11 1

.names 103 288 798
11 1

.names 797 798 799
-1 1
1- 1

.names 76 78 800
11 1

.names 74 800 801
11 1

.names 120 305 802
11 1

.names 121 306 803
11 1

.names 802 803 804
-1 1
1- 1

.names 118 804 805
11 1

.names 119 304 806
11 1

.names 805 806 807
-1 1
1- 1

.names 116 807 808
11 1

.names 117 303 809
11 1

.names 808 809 810
-1 1
1- 1

.names 114 810 811
11 1

.names 115 302 812
11 1

.names 811 812 813
-1 1
1- 1

.names 112 813 814
11 1

.names 113 301 815
11 1

.names 814 815 816
-1 1
1- 1

.names 110 816 817
11 1

.names 111 300 818
11 1

.names 817 818 819
-1 1
1- 1

.names 108 819 820
11 1

.names 109 299 821
11 1

.names 820 821 822
-1 1
1- 1

.names 106 822 823
11 1

.names 107 298 824
11 1

.names 823 824 825
-1 1
1- 1

.names 104 825 826
11 1

.names 105 297 827
11 1

.names 826 827 828
-1 1
1- 1

.names 76 78 829
11 1

.names 74 829 830
11 1

.names 82 243 831
11 1

.names 83 234 832
11 1

.names 831 832 833
-1 1
1- 1

.names 76 78 834
11 1

.names 74 834 835
11 1

.names 82 244 836
11 1

.names 83 235 837
11 1

.names 836 837 838
-1 1
1- 1

.names 76 78 839
11 1

.names 74 839 840
11 1

.names 82 245 841
11 1

.names 83 236 842
11 1

.names 841 842 843
-1 1
1- 1

.names 76 78 844
11 1

.names 74 844 845
11 1

.names 82 246 846
11 1

.names 83 237 847
11 1

.names 846 847 848
-1 1
1- 1

.names 76 78 849
11 1

.names 74 849 850
11 1

.names 82 247 851
11 1

.names 83 238 852
11 1

.names 851 852 853
-1 1
1- 1

.names 76 78 854
11 1

.names 74 854 855
11 1

.names 82 248 856
11 1

.names 83 239 857
11 1

.names 856 857 858
-1 1
1- 1

.names 76 78 859
11 1

.names 74 859 860
11 1

.names 82 249 861
11 1

.names 83 240 862
11 1

.names 861 862 863
-1 1
1- 1

.names 76 78 864
11 1

.names 74 864 865
11 1

.names 82 250 866
11 1

.names 83 241 867
11 1

.names 866 867 868
-1 1
1- 1

.names 76 78 869
11 1

.names 74 869 870
11 1

.names 82 233 871
11 1

.names 83 242 872
11 1

.names 871 872 873
-1 1
1- 1

.names 76 78 874
11 1

.names 74 874 875
11 1

.names 100 277 876
11 1

.names 101 278 877
11 1

.names 876 877 878
-1 1
1- 1

.names 98 878 879
11 1

.names 99 276 880
11 1

.names 879 880 881
-1 1
1- 1

.names 96 881 882
11 1

.names 97 275 883
11 1

.names 882 883 884
-1 1
1- 1

.names 94 884 885
11 1

.names 95 274 886
11 1

.names 885 886 887
-1 1
1- 1

.names 92 887 888
11 1

.names 93 273 889
11 1

.names 888 889 890
-1 1
1- 1

.names 90 890 891
11 1

.names 91 272 892
11 1

.names 891 892 893
-1 1
1- 1

.names 88 893 894
11 1

.names 89 271 895
11 1

.names 894 895 896
-1 1
1- 1

.names 86 896 897
11 1

.names 87 270 898
11 1

.names 897 898 899
-1 1
1- 1

.names 84 899 900
11 1

.names 85 269 901
11 1

.names 900 901 902
-1 1
1- 1

.names 76 78 903
11 1

.names 74 903 904
11 1

.names 82 261 905
11 1

.names 83 251 906
11 1

.names 905 906 907
-1 1
1- 1

.names 76 78 908
11 1

.names 74 908 909
11 1

.names 82 262 910
11 1

.names 83 252 911
11 1

.names 910 911 912
-1 1
1- 1

.names 76 78 913
11 1

.names 74 913 914
11 1

.names 82 263 915
11 1

.names 83 253 916
11 1

.names 915 916 917
-1 1
1- 1

.names 76 78 918
11 1

.names 74 918 919
11 1

.names 82 264 920
11 1

.names 83 254 921
11 1

.names 920 921 922
-1 1
1- 1

.names 76 78 923
11 1

.names 74 923 924
11 1

.names 82 265 925
11 1

.names 83 255 926
11 1

.names 925 926 927
-1 1
1- 1

.names 76 78 928
11 1

.names 74 928 929
11 1

.names 82 266 930
11 1

.names 83 256 931
11 1

.names 930 931 932
-1 1
1- 1

.names 76 78 933
11 1

.names 74 933 934
11 1

.names 82 267 935
11 1

.names 83 257 936
11 1

.names 935 936 937
-1 1
1- 1

.names 76 78 938
11 1

.names 74 938 939
11 1

.names 82 268 940
11 1

.names 83 258 941
11 1

.names 940 941 942
-1 1
1- 1

.names 76 78 943
11 1

.names 74 943 944
11 1

.names 82 260 945
11 1

.names 83 259 946
11 1

.names 945 946 947
-1 1
1- 1

.names 76 78 948
11 1

.names 74 948 949
11 1

.names 80 126 950
11 1

.names 81 207 951
11 1

.names 950 951 952
-1 1
1- 1

.names 76 78 953
11 1

.names 74 953 954
11 1

.end