| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: minisat+ 1.14 | SAT (TO) | 116514206638 | 1800.1 | 1800.41 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb |
| MD5SUM | 433b539d7c7c8ff139e6ea6f7acee573 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3860756214 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4026056741 |
| Optimality of the best value was proved | NO |
| Number of variables | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 1079902210 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 3040671454286 |
| Number of bits of the sum of numbers in the objective function | 42 |
| Biggest number in a constraint | 1079902210 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 3040671454286 |
| Number of bits of the biggest sum of numbers | 42 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.99/2.09 c Converting 825 PB-constraints to clauses... 1.99/2.09 c -- Unit propagations: (none) 1.99/2.09 c -- Detecting intervals from adjacent constraints: (none) 1.99/2.09 c -- Clauses(.)/Splits(s): ssssss.ssssssss.ss.s..sssss..sssssssssssssssssssssssssssssssssss.sssss.s..sssssssssssssssssssssssssssss.ssssssss.sssss..s.s.s.sssssssssssssssssss.ssss.sssssssssssssssssssss 2.99/3.07 c ---[ 976]---> BDD-cost: 3578 2.99/3.08 c ---[ 970]---> Adder-cost: 2336 maxlim: 26 bits: 6/5 3.09/3.14 c ---[ 953]---> BDD-cost: 4629 3.09/3.16 c ---[ 942]---> Adder-cost: 5853 maxlim: 28 bits: 6/5 3.29/3.31 c ---[ 931]---> BDD-cost: 1386 3.29/3.31 c ---[ 912]---> BDD-cost: 1551 3.29/3.32 c ---[ 910]---> Adder-cost: 1275 maxlim: 21 bits: 6/5 3.29/3.36 c ---[ 872]---> BDD-cost:10452 3.39/3.42 c ---[ 866]---> BDD-cost: 21 3.39/3.42 c ---[ 865]---> BDD-cost: 1846 3.39/3.43 c ---[ 863]---> BDD-cost: 45 3.39/3.43 c ---[ 862]---> BDD-cost: 35 3.39/3.43 c ---[ 861]---> BDD-cost: 39 3.39/3.43 c ---[ 860]---> BDD-cost: 35 3.39/3.43 c ---[ 859]---> BDD-cost: 39 3.39/3.43 c ---[ 858]---> BDD-cost: 35 3.39/3.43 c ---[ 857]---> BDD-cost: 39 3.39/3.43 c ---[ 856]---> BDD-cost: 39 3.39/3.43 c ---[ 855]---> BDD-cost: 35 3.39/3.43 c ---[ 854]---> BDD-cost: 35 3.39/3.43 c ---[ 852]---> BDD-cost: 39 3.39/3.43 c ---[ 851]---> BDD-cost: 45 3.39/3.43 c ---[ 850]---> BDD-cost: 45 3.39/3.43 c ---[ 849]---> BDD-cost: 35 3.39/3.43 c ---[ 848]---> BDD-cost: 35 3.39/3.43 c ---[ 847]---> BDD-cost: 35 3.39/3.43 c ---[ 846]---> BDD-cost: 39 3.39/3.43 c ---[ 845]---> BDD-cost: 35 3.39/3.43 c ---[ 844]---> BDD-cost: 39 3.39/3.43 c ---[ 843]---> BDD-cost: 45 3.39/3.43 c ---[ 841]---> BDD-cost: 21 3.39/3.43 c ---[ 840]---> BDD-cost: 35 3.39/3.43 c ---[ 839]---> BDD-cost: 35 3.39/3.43 c ---[ 838]---> BDD-cost: 35 3.39/3.43 c ---[ 837]---> BDD-cost: 39 3.39/3.43 c ---[ 836]---> BDD-cost: 23 3.39/3.43 c ---[ 835]---> BDD-cost: 11 3.39/3.43 c ---[ 834]---> BDD-cost: 13 3.39/3.43 c ---[ 833]---> BDD-cost: 35 3.39/3.43 c ---[ 832]---> BDD-cost: 39 3.39/3.43 c ---[ 831]---> Adder-cost: 7378 maxlim: 4 bits: 4/3 3.49/3.55 c ---[ 830]---> BDD-cost: 35 3.49/3.55 c ---[ 829]---> BDD-cost: 39 3.49/3.55 c ---[ 828]---> BDD-cost: 35 3.49/3.55 c ---[ 827]---> BDD-cost: 39 3.49/3.55 c ---[ 826]---> BDD-cost: 29 3.49/3.55 c ---[ 825]---> BDD-cost: 19 3.49/3.55 c ---[ 824]---> BDD-cost: 29 3.49/3.55 c ---[ 823]---> BDD-cost: 23 3.49/3.55 c ---[ 822]---> BDD-cost: 13 3.49/3.55 c ---[ 821]---> BDD-cost: 39 3.49/3.55 c ---[ 819]---> BDD-cost: 29 3.49/3.55 c ---[ 818]---> BDD-cost: 29 3.49/3.55 c ---[ 817]---> BDD-cost: 39 3.49/3.55 c ---[ 816]---> BDD-cost: 15 3.49/3.56 c ---[ 815]---> BDD-cost: 23 3.49/3.56 c ---[ 814]---> BDD-cost: 19 3.49/3.56 c ---[ 813]---> BDD-cost: 29 3.49/3.56 c ---[ 812]---> BDD-cost: 13 3.49/3.56 c ---[ 811]---> BDD-cost: 29 3.49/3.56 c ---[ 810]---> BDD-cost: 29 3.49/3.56 c ---[ 808]---> BDD-cost: 39 3.49/3.56 c ---[ 807]---> BDD-cost: 39 3.49/3.56 c ---[ 806]---> BDD-cost: 13 3.49/3.56 c ---[ 805]---> BDD-cost: 29 3.49/3.56 c ---[ 804]---> BDD-cost: 29 3.49/3.56 c ---[ 803]---> BDD-cost: 35 3.49/3.56 c ---[ 802]---> BDD-cost: 39 3.49/3.56 c ---[ 801]---> BDD-cost: 29 3.49/3.56 c ---[ 800]---> BDD-cost: 15 3.49/3.56 c ---[ 799]---> BDD-cost: 13 3.49/3.56 c ---[ 797]---> BDD-cost: 25 3.49/3.56 c ---[ 796]---> BDD-cost: 29 3.49/3.56 c ---[ 795]---> BDD-cost: 29 3.49/3.56 c ---[ 794]---> BDD-cost: 35 3.49/3.56 c ---[ 793]---> BDD-cost: 39 3.49/3.56 c ---[ 792]---> BDD-cost: 29 3.49/3.56 c ---[ 791]---> BDD-cost: 13 3.49/3.56 c ---[ 790]---> BDD-cost: 23 3.49/3.56 c ---[ 789]---> BDD-cost: 35 3.49/3.56 c ---[ 788]---> BDD-cost: 39 3.49/3.56 c ---[ 786]---> BDD-cost: 29 3.49/3.56 c ---[ 785]---> BDD-cost: 25 3.49/3.56 c ---[ 784]---> BDD-cost: 29 3.49/3.56 c ---[ 783]---> BDD-cost: 39 3.49/3.56 c ---[ 782]---> BDD-cost: 23 3.49/3.56 c ---[ 781]---> BDD-cost: 23 3.49/3.56 c ---[ 780]---> BDD-cost: 29 3.49/3.56 c ---[ 779]---> BDD-cost: 29 3.49/3.56 c ---[ 778]---> BDD-cost: 25 3.49/3.56 c ---[ 777]---> BDD-cost: 29 3.49/3.56 c ---[ 776]---> BDD-cost: 0 3.49/3.58 c ---[ 775]---> BDD-cost: 35 3.49/3.58 c ---[ 774]---> BDD-cost: 39 3.49/3.58 c ---[ 773]---> BDD-cost: 29 3.49/3.58 c ---[ 772]---> BDD-cost: 39 3.49/3.58 c ---[ 771]---> BDD-cost: 29 3.49/3.58 c ---[ 770]---> BDD-cost: 29 3.49/3.58 c ---[ 769]---> BDD-cost: 35 3.49/3.58 c ---[ 768]---> BDD-cost: 39 3.49/3.58 c ---[ 767]---> BDD-cost: 25 3.49/3.58 c ---[ 766]---> BDD-cost: 45 3.49/3.58 c ---[ 765]---> Adder-cost: 0 maxlim: 31 bits: 6/5 3.69/3.72 c ---[ 764]---> BDD-cost: 23 3.69/3.72 c ---[ 763]---> BDD-cost: 13 3.69/3.72 c ---[ 762]---> BDD-cost: 23 3.69/3.72 c ---[ 761]---> BDD-cost: 45 3.69/3.72 c ---[ 760]---> BDD-cost: 45 3.69/3.72 c ---[ 759]---> BDD-cost: 13 3.69/3.72 c ---[ 758]---> BDD-cost: 45 3.69/3.72 c ---[ 757]---> BDD-cost: 21 3.69/3.72 c ---[ 756]---> BDD-cost: 45 3.69/3.72 c ---[ 755]---> BDD-cost: 45 3.69/3.72 c ---[ 753]---> BDD-cost: 3225 3.69/3.74 c ---[ 752]---> BDD-cost: 13 3.69/3.74 c ---[ 751]---> BDD-cost: 23 3.69/3.74 c ---[ 750]---> BDD-cost: 35 3.69/3.74 c ---[ 749]---> BDD-cost: 39 3.69/3.74 c ---[ 748]---> BDD-cost: 29 3.69/3.74 c ---[ 747]---> BDD-cost: 13 3.69/3.74 c ---[ 746]---> BDD-cost: 25 3.69/3.74 c ---[ 745]---> BDD-cost: 29 3.69/3.74 c ---[ 744]---> BDD-cost: 39 3.69/3.74 c ---[ 743]---> BDD-cost: 23 3.69/3.74 c ---[ 742]---> BDD-cost: 1279 3.69/3.74 c ---[ 741]---> BDD-cost: 13 3.69/3.74 c ---[ 740]---> BDD-cost: 23 3.69/3.74 c ---[ 739]---> BDD-cost: 29 3.69/3.75 c ---[ 738]---> BDD-cost: 29 3.69/3.75 c ---[ 737]---> BDD-cost: 25 3.69/3.75 c ---[ 736]---> BDD-cost: 29 3.69/3.75 c ---[ 735]---> BDD-cost: 35 3.69/3.75 c ---[ 734]---> BDD-cost: 39 3.69/3.75 c ---[ 733]---> BDD-cost: 29 3.69/3.75 c ---[ 732]---> BDD-cost: 39 3.69/3.75 c ---[ 730]---> BDD-cost: 29 3.69/3.75 c ---[ 729]---> BDD-cost: 29 3.69/3.75 c ---[ 728]---> BDD-cost: 35 3.69/3.75 c ---[ 727]---> BDD-cost: 39 3.69/3.75 c ---[ 726]---> BDD-cost: 25 3.69/3.75 c ---[ 725]---> BDD-cost: 13 3.69/3.75 c ---[ 724]---> BDD-cost: 37 3.69/3.75 c ---[ 723]---> BDD-cost: 43 3.69/3.75 c ---[ 722]---> BDD-cost: 43 3.69/3.75 c ---[ 721]---> BDD-cost: 45 3.69/3.75 c ---[ 719]---> BDD-cost: 23 3.69/3.75 c ---[ 718]---> BDD-cost: 45 3.69/3.75 c ---[ 717]---> BDD-cost: 45 3.69/3.75 c ---[ 716]---> BDD-cost: 23 3.69/3.75 c ---[ 715]---> BDD-cost: 13 3.69/3.75 c ---[ 714]---> BDD-cost: 43 3.69/3.75 c ---[ 713]---> BDD-cost: 15 3.69/3.75 c ---[ 712]---> BDD-cost: 23 3.69/3.75 c ---[ 711]---> BDD-cost: 45 3.69/3.75 c ---[ 710]---> BDD-cost: 13 3.69/3.75 c ---[ 708]---> BDD-cost: 45 3.69/3.75 c ---[ 707]---> BDD-cost: 45 3.69/3.75 c ---[ 706]---> BDD-cost: 13 3.69/3.75 c ---[ 705]---> BDD-cost: 45 3.69/3.75 c ---[ 704]---> BDD-cost: 45 3.69/3.75 c ---[ 703]---> BDD-cost: 45 3.69/3.75 c ---[ 702]---> BDD-cost: 43 3.69/3.75 c ---[ 701]---> BDD-cost: 43 3.69/3.75 c ---[ 700]---> BDD-cost: 13 3.69/3.75 c ---[ 699]---> BDD-cost: 45 3.69/3.75 c ---[ 697]---> BDD-cost: 45 3.69/3.75 c ---[ 696]---> BDD-cost: 43 3.69/3.75 c ---[ 695]---> BDD-cost: 45 3.69/3.75 c ---[ 694]---> BDD-cost: 13 3.69/3.75 c ---[ 693]---> BDD-cost: 35 3.69/3.75 c ---[ 692]---> BDD-cost: 39 3.69/3.75 c ---[ 691]---> BDD-cost: 29 3.69/3.75 c ---[ 690]---> BDD-cost: 25 3.69/3.75 c ---[ 689]---> BDD-cost: 29 3.69/3.75 c ---[ 688]---> BDD-cost: 39 3.69/3.75 c ---[ 686]---> BDD-cost: 17 3.69/3.75 c ---[ 685]---> BDD-cost: 25 3.69/3.75 c ---[ 684]---> BDD-cost: 21 3.69/3.75 c ---[ 683]---> BDD-cost: 29 3.69/3.75 c ---[ 682]---> BDD-cost: 29 3.69/3.75 c ---[ 681]---> BDD-cost: 3 3.69/3.75 c ---[ 680]---> BDD-cost: 29 3.69/3.75 c ---[ 679]---> BDD-cost: 35 3.69/3.75 c ---[ 678]---> BDD-cost: 39 3.69/3.75 c ---[ 677]---> BDD-cost: 29 3.69/3.75 c ---[ 675]---> BDD-cost: 39 3.69/3.75 c ---[ 674]---> BDD-cost: 29 3.69/3.75 c ---[ 673]---> BDD-cost: 29 3.69/3.75 c ---[ 672]---> BDD-cost: 35 3.69/3.75 c ---[ 671]---> BDD-cost: 39 3.69/3.76 c ---[ 670]---> BDD-cost: 3 3.69/3.76 c ---[ 669]---> BDD-cost: 11 3.69/3.76 c ---[ 668]---> BDD-cost: 35 3.69/3.76 c ---[ 667]---> BDD-cost: 39 3.69/3.76 c ---[ 666]---> BDD-cost: 35 3.69/3.76 c ---[ 665]---> BDD-cost: 1030 3.69/3.76 c ---[ 664]---> BDD-cost: 39 3.69/3.76 c ---[ 663]---> BDD-cost: 39 3.69/3.76 c ---[ 662]---> BDD-cost: 35 3.69/3.76 c ---[ 661]---> BDD-cost: 39 3.69/3.76 c ---[ 660]---> BDD-cost: 19 3.69/3.76 c ---[ 659]---> BDD-cost: 35 3.69/3.76 c ---[ 658]---> BDD-cost: 39 3.69/3.76 c ---[ 657]---> BDD-cost: 19 3.69/3.76 c ---[ 656]---> BDD-cost: 35 3.69/3.76 c ---[ 655]---> BDD-cost: 39 3.69/3.76 c ---[ 654]---> Adder-cost: 1065 maxlim: 26 bits: 6/5 3.79/3.80 c ---[ 653]---> BDD-cost: 35 3.79/3.80 c ---[ 652]---> BDD-cost: 39 3.79/3.80 c ---[ 651]---> BDD-cost: 17 3.79/3.80 c ---[ 650]---> BDD-cost: 35 3.79/3.80 c ---[ 649]---> BDD-cost: 39 3.79/3.80 c ---[ 648]---> BDD-cost: 5 3.79/3.80 c ---[ 647]---> BDD-cost: 35 3.79/3.80 c ---[ 646]---> BDD-cost: 39 3.79/3.80 c ---[ 645]---> BDD-cost: 35 3.79/3.80 c ---[ 644]---> BDD-cost: 39 3.79/3.80 c ---[ 642]---> Adder-cost: 4843 maxlim: 4 bits: 4/3 3.79/3.87 c ---[ 641]---> BDD-cost: 39 3.79/3.87 c ---[ 640]---> BDD-cost: 35 3.79/3.87 c ---[ 639]---> BDD-cost: 39 3.79/3.87 c ---[ 638]---> BDD-cost: 35 3.79/3.87 c ---[ 637]---> BDD-cost: 35 3.79/3.87 c ---[ 636]---> BDD-cost: 35 3.79/3.87 c ---[ 635]---> BDD-cost: 39 3.79/3.87 c ---[ 634]---> BDD-cost: 35 3.79/3.87 c ---[ 633]---> BDD-cost: 35 3.79/3.87 c ---[ 632]---> BDD-cost: 39 3.79/3.87 c ---[ 630]---> BDD-cost: 35 3.79/3.87 c ---[ 629]---> BDD-cost: 35 3.79/3.87 c ---[ 628]---> BDD-cost: 39 3.79/3.87 c ---[ 627]---> BDD-cost: 35 3.79/3.87 c ---[ 625]---> BDD-cost: 35 3.79/3.87 c ---[ 624]---> BDD-cost: 39 3.79/3.87 c ---[ 623]---> BDD-cost: 17 3.79/3.87 c ---[ 622]---> BDD-cost: 35 3.79/3.87 c ---[ 621]---> BDD-cost: 39 3.79/3.87 c ---[ 619]---> BDD-cost: 35 3.79/3.87 c ---[ 618]---> BDD-cost: 39 3.79/3.87 c ---[ 617]---> BDD-cost: 11 3.79/3.87 c ---[ 616]---> BDD-cost: 35 3.79/3.87 c ---[ 615]---> BDD-cost: 39 3.79/3.87 c ---[ 614]---> BDD-cost: 35 3.79/3.87 c ---[ 613]---> BDD-cost: 39 3.79/3.87 c ---[ 612]---> BDD-cost: 35 3.79/3.87 c ---[ 611]---> BDD-cost: 39 3.79/3.87 c ---[ 610]---> BDD-cost: 13 3.79/3.87 c ---[ 608]---> BDD-cost: 35 3.79/3.87 c ---[ 607]---> BDD-cost: 39 3.79/3.87 c ---[ 606]---> BDD-cost: 19 3.79/3.87 c ---[ 605]---> BDD-cost: 35 3.79/3.87 c ---[ 604]---> BDD-cost: 35 3.79/3.87 c ---[ 603]---> BDD-cost: 43 3.79/3.87 c ---[ 602]---> BDD-cost: 35 3.79/3.87 c ---[ 601]---> BDD-cost: 39 3.79/3.87 c ---[ 600]---> BDD-cost: 19 3.79/3.87 c ---[ 599]---> BDD-cost: 35 3.79/3.87 c ---[ 597]---> BDD-cost: 35 3.79/3.87 c ---[ 596]---> BDD-cost: 39 3.79/3.87 c ---[ 595]---> BDD-cost: 19 3.79/3.87 c ---[ 594]---> BDD-cost: 43 3.79/3.87 c ---[ 593]---> BDD-cost: 19 3.79/3.87 c ---[ 592]---> BDD-cost: 35 3.79/3.87 c ---[ 591]---> BDD-cost: 17 3.79/3.87 c ---[ 590]---> BDD-cost: 7 3.79/3.87 c ---[ 589]---> BDD-cost: 19 3.79/3.87 c ---[ 588]---> BDD-cost: 35 3.79/3.87 c ---[ 586]---> BDD-cost: 39 3.79/3.87 c ---[ 585]---> BDD-cost: 29 3.79/3.87 c ---[ 584]---> BDD-cost: 29 3.79/3.87 c ---[ 583]---> BDD-cost: 39 3.79/3.87 c ---[ 582]---> BDD-cost: 27 3.79/3.87 c ---[ 581]---> BDD-cost: 45 3.79/3.87 c ---[ 580]---> BDD-cost: 29 3.79/3.87 c ---[ 579]---> BDD-cost: 45 3.79/3.87 c ---[ 578]---> BDD-cost: 25 3.79/3.87 c ---[ 577]---> BDD-cost: 19 3.79/3.87 c ---[ 575]---> BDD-cost: 29 3.79/3.87 c ---[ 574]---> BDD-cost: 25 3.79/3.88 c ---[ 573]---> BDD-cost: 35 3.79/3.88 c ---[ 572]---> BDD-cost: 27 3.79/3.88 c ---[ 571]---> BDD-cost: 27 3.79/3.88 c ---[ 570]---> BDD-cost: 35 3.79/3.88 c ---[ 569]---> BDD-cost: 29 3.79/3.88 c ---[ 568]---> BDD-cost: 29 3.79/3.88 c ---[ 567]---> BDD-cost: 3 3.79/3.88 c ---[ 566]---> BDD-cost: 25 3.79/3.88 c ---[ 564]---> BDD-cost: 29 3.79/3.88 c ---[ 563]---> BDD-cost: 39 3.79/3.88 c ---[ 562]---> BDD-cost: 23 3.79/3.88 c ---[ 561]---> BDD-cost: 3 3.79/3.88 c ---[ 560]---> BDD-cost: 23 3.79/3.88 c ---[ 559]---> BDD-cost: 29 3.79/3.88 c ---[ 558]---> BDD-cost: 29 3.79/3.88 c ---[ 557]---> BDD-cost: 25 3.79/3.88 c ---[ 556]---> BDD-cost: 29 3.79/3.88 c ---[ 555]---> BDD-cost: 35 3.79/3.88 c ---[ 553]---> BDD-cost: 39 3.79/3.88 c ---[ 552]---> BDD-cost: 29 3.79/3.88 c ---[ 551]---> BDD-cost: 39 3.79/3.88 c ---[ 550]---> BDD-cost: 29 3.79/3.88 c ---[ 549]---> BDD-cost: 29 3.79/3.88 c ---[ 548]---> BDD-cost: 35 3.79/3.88 c ---[ 547]---> BDD-cost: 39 3.79/3.88 c ---[ 546]---> BDD-cost: 25 3.79/3.88 c ---[ 545]---> BDD-cost: 35 3.79/3.88 c ---[ 544]---> BDD-cost: 39 3.79/3.88 c ---[ 542]---> BDD-cost: 45 3.79/3.88 c ---[ 541]---> BDD-cost: 45 3.79/3.88 c ---[ 540]---> BDD-cost: 35 3.79/3.88 c ---[ 539]---> BDD-cost: 35 3.79/3.88 c ---[ 538]---> BDD-cost: 35 3.79/3.88 c ---[ 537]---> BDD-cost: 39 3.79/3.88 c ---[ 536]---> BDD-cost: 35 3.79/3.88 c ---[ 535]---> BDD-cost: 39 3.79/3.88 c ---[ 534]---> BDD-cost: 35 3.79/3.88 c ---[ 533]---> BDD-cost: 39 3.79/3.88 c ---[ 532]---> BDD-cost:11348 3.89/3.92 c ---[ 531]---> BDD-cost: 6571 3.89/3.96 c ---[ 530]---> BDD-cost: 29 3.89/3.96 c ---[ 529]---> BDD-cost: 29 3.89/3.96 c ---[ 528]---> BDD-cost: 35 3.89/3.96 c ---[ 527]---> BDD-cost: 39 3.89/3.96 c ---[ 526]---> BDD-cost: 39 3.89/3.96 c ---[ 525]---> BDD-cost: 27 3.89/3.96 c ---[ 524]---> BDD-cost: 45 3.89/3.96 c ---[ 523]---> BDD-cost: 29 3.89/3.96 c ---[ 522]---> BDD-cost: 45 3.89/3.96 c ---[ 521]---> BDD-cost: 29 3.89/3.96 c ---[ 520]---> BDD-cost: 2592 3.89/3.97 c ---[ 519]---> BDD-cost: 19 3.89/3.97 c ---[ 518]---> BDD-cost: 43 3.89/3.97 c ---[ 517]---> BDD-cost: 29 3.89/3.98 c ---[ 516]---> BDD-cost: 19 3.89/3.98 c ---[ 515]---> BDD-cost: 35 3.89/3.98 c ---[ 514]---> BDD-cost: 27 3.89/3.98 c ---[ 513]---> BDD-cost: 45 3.89/3.98 c ---[ 512]---> BDD-cost: 45 3.89/3.98 c ---[ 511]---> BDD-cost: 19 3.89/3.98 c ---[ 510]---> BDD-cost: 21 3.89/3.98 c ---[ 508]---> BDD-cost: 9 3.89/3.98 c ---[ 507]---> BDD-cost: 35 3.89/3.98 c ---[ 506]---> BDD-cost: 29 3.89/3.98 c ---[ 505]---> BDD-cost: 25 3.89/3.98 c ---[ 504]---> BDD-cost: 39 3.89/3.98 c ---[ 503]---> BDD-cost: 29 3.89/3.98 c ---[ 502]---> BDD-cost: 29 3.89/3.98 c ---[ 501]---> BDD-cost: 39 3.89/3.98 c ---[ 500]---> BDD-cost: 23 3.89/3.98 c ---[ 499]---> BDD-cost: 23 3.89/3.98 c ---[ 497]---> BDD-cost: 29 3.89/3.98 c ---[ 496]---> BDD-cost: 25 3.89/3.98 c ---[ 495]---> BDD-cost: 29 3.89/3.98 c ---[ 494]---> BDD-cost: 29 3.89/3.98 c ---[ 493]---> BDD-cost: 39 3.89/3.98 c ---[ 492]---> BDD-cost: 39 3.89/3.98 c ---[ 491]---> BDD-cost: 25 3.89/3.98 c ---[ 490]---> BDD-cost: 29 3.89/3.98 c ---[ 489]---> BDD-cost: 29 3.89/3.98 c ---[ 488]---> BDD-cost: 35 3.89/3.98 c ---[ 486]---> BDD-cost: 39 3.89/3.98 c ---[ 485]---> BDD-cost: 29 3.89/3.98 c ---[ 484]---> BDD-cost: 39 3.89/3.98 c ---[ 483]---> BDD-cost: 23 3.89/3.98 c ---[ 482]---> BDD-cost: 25 3.89/3.98 c ---[ 481]---> BDD-cost: 25 3.89/3.98 c ---[ 480]---> BDD-cost: 29 3.89/3.98 c ---[ 479]---> BDD-cost: 29 3.89/3.98 c ---[ 478]---> BDD-cost: 29 3.89/3.98 c ---[ 477]---> BDD-cost: 35 3.89/3.98 c ---[ 475]---> BDD-cost: 39 3.89/3.98 c ---[ 474]---> BDD-cost: 29 3.89/3.98 c ---[ 473]---> BDD-cost: 25 3.89/3.98 c ---[ 472]---> BDD-cost: 39 3.89/3.98 c ---[ 471]---> BDD-cost: 29 3.89/3.98 c ---[ 470]---> BDD-cost: 29 3.89/3.98 c ---[ 469]---> BDD-cost: 39 3.89/3.98 c ---[ 468]---> BDD-cost: 17 3.89/3.98 c ---[ 467]---> BDD-cost: 25 3.89/3.98 c ---[ 466]---> BDD-cost: 21 3.89/3.98 c ---[ 465]---> BDD-cost:10772 3.99/4.03 c ---[ 464]---> BDD-cost: 29 3.99/4.03 c ---[ 463]---> BDD-cost: 5 3.99/4.03 c ---[ 462]---> BDD-cost: 29 3.99/4.03 c ---[ 461]---> BDD-cost: 29 3.99/4.03 c ---[ 460]---> BDD-cost: 39 3.99/4.03 c ---[ 459]---> BDD-cost: 39 3.99/4.03 c ---[ 458]---> BDD-cost: 5 3.99/4.03 c ---[ 457]---> BDD-cost: 29 3.99/4.03 c ---[ 456]---> BDD-cost: 29 3.99/4.03 c ---[ 455]---> BDD-cost: 35 3.99/4.04 c ---[ 453]---> BDD-cost: 39 3.99/4.04 c ---[ 452]---> BDD-cost: 29 3.99/4.04 c ---[ 451]---> BDD-cost: 39 3.99/4.04 c ---[ 450]---> BDD-cost: 17 3.99/4.04 c ---[ 449]---> BDD-cost: 13 3.99/4.04 c ---[ 448]---> BDD-cost: 25 3.99/4.04 c ---[ 447]---> BDD-cost: 29 3.99/4.04 c ---[ 446]---> BDD-cost: 29 3.99/4.04 c ---[ 445]---> BDD-cost: 29 3.99/4.04 c ---[ 444]---> BDD-cost: 35 3.99/4.04 c ---[ 442]---> BDD-cost: 39 3.99/4.04 c ---[ 441]---> BDD-cost: 29 3.99/4.04 c ---[ 440]---> BDD-cost: 5 3.99/4.04 c ---[ 439]---> BDD-cost: 39 3.99/4.04 c ---[ 438]---> BDD-cost: 29 3.99/4.04 c ---[ 437]---> BDD-cost: 35 3.99/4.04 c ---[ 436]---> BDD-cost: 39 3.99/4.04 c ---[ 435]---> BDD-cost: 39 3.99/4.04 c ---[ 434]---> BDD-cost: 27 3.99/4.04 c ---[ 433]---> BDD-cost: 39 3.99/4.04 c ---[ 431]---> BDD-cost: 29 3.99/4.04 c ---[ 430]---> BDD-cost: 35 3.99/4.04 c ---[ 429]---> BDD-cost: 39 3.99/4.04 c ---[ 428]---> BDD-cost: 39 3.99/4.04 c ---[ 427]---> BDD-cost: 35 3.99/4.04 c ---[ 426]---> BDD-cost: 35 3.99/4.04 c ---[ 425]---> BDD-cost: 39 3.99/4.04 c ---[ 424]---> BDD-cost: 19 3.99/4.04 c ---[ 423]---> BDD-cost: 35 3.99/4.04 c ---[ 422]---> BDD-cost: 39 3.99/4.04 c ---[ 419]---> BDD-cost: 35 3.99/4.04 c ---[ 418]---> BDD-cost: 39 3.99/4.04 c ---[ 417]---> BDD-cost: 29 3.99/4.04 c ---[ 416]---> BDD-cost: 29 3.99/4.04 c ---[ 415]---> BDD-cost: 39 3.99/4.04 c ---[ 414]---> BDD-cost: 39 3.99/4.04 c ---[ 413]---> BDD-cost: 27 3.99/4.04 c ---[ 412]---> BDD-cost: 29 3.99/4.04 c ---[ 411]---> BDD-cost: 39 3.99/4.04 c ---[ 410]---> BDD-cost: 39 3.99/4.04 c ---[ 408]---> BDD-cost: 29 3.99/4.04 c ---[ 407]---> BDD-cost: 27 3.99/4.04 c ---[ 406]---> BDD-cost: 39 3.99/4.04 c ---[ 405]---> BDD-cost: 29 3.99/4.04 c ---[ 404]---> BDD-cost: 39 3.99/4.04 c ---[ 403]---> BDD-cost: 39 3.99/4.04 c ---[ 402]---> BDD-cost: 29 3.99/4.04 c ---[ 401]---> BDD-cost: 35 3.99/4.04 c ---[ 400]---> BDD-cost: 39 3.99/4.04 c ---[ 399]---> BDD-cost: 39 3.99/4.04 c ---[ 397]---> BDD-cost: 29 3.99/4.04 c ---[ 396]---> BDD-cost: 39 3.99/4.04 c ---[ 395]---> BDD-cost: 39 3.99/4.04 c ---[ 394]---> BDD-cost: 29 3.99/4.04 c ---[ 393]---> BDD-cost: 7 3.99/4.04 c ---[ 392]---> BDD-cost: 39 3.99/4.04 c ---[ 391]---> BDD-cost: 27 3.99/4.04 c ---[ 390]---> BDD-cost: 39 3.99/4.04 c ---[ 389]---> BDD-cost: 39 3.99/4.04 c ---[ 388]---> BDD-cost: 29 3.99/4.04 c ---[ 386]---> BDD-cost: 29 3.99/4.04 c ---[ 385]---> BDD-cost: 39 3.99/4.05 c ---[ 384]---> BDD-cost: 23 3.99/4.05 c ---[ 383]---> BDD-cost: 45 3.99/4.05 c ---[ 382]---> BDD-cost: 17 3.99/4.05 c ---[ 381]---> BDD-cost: 45 3.99/4.05 c ---[ 380]---> BDD-cost: 45 3.99/4.05 c ---[ 379]---> BDD-cost: 17 3.99/4.05 c ---[ 378]---> BDD-cost: 45 3.99/4.05 c ---[ 377]---> BDD-cost: 45 3.99/4.05 c ---[ 375]---> BDD-cost: 45 3.99/4.05 c ---[ 374]---> BDD-cost: 45 3.99/4.05 c ---[ 373]---> BDD-cost: 45 3.99/4.05 c ---[ 372]---> BDD-cost: 45 3.99/4.05 c ---[ 371]---> BDD-cost: 45 3.99/4.05 c ---[ 370]---> BDD-cost: 17 3.99/4.05 c ---[ 369]---> BDD-cost: 23 3.99/4.05 c ---[ 368]---> BDD-cost: 29 3.99/4.05 c ---[ 367]---> BDD-cost: 25 3.99/4.05 c ---[ 366]---> BDD-cost: 29 3.99/4.05 c ---[ 365]---> BDD-cost:11754 4.09/4.11 c ---[ 364]---> BDD-cost: 29 4.09/4.11 c ---[ 363]---> BDD-cost: 39 4.09/4.11 c ---[ 362]---> BDD-cost: 39 4.09/4.11 c ---[ 361]---> BDD-cost: 25 4.09/4.11 c ---[ 360]---> BDD-cost: 29 4.09/4.11 c ---[ 359]---> BDD-cost: 29 4.09/4.11 c ---[ 358]---> BDD-cost: 35 4.09/4.11 c ---[ 357]---> BDD-cost: 39 4.09/4.11 c ---[ 356]---> BDD-cost: 29 4.09/4.11 c ---[ 355]---> BDD-cost: 39 4.09/4.11 c ---[ 353]---> BDD-cost: 23 4.09/4.11 c ---[ 352]---> BDD-cost: 25 4.09/4.11 c ---[ 351]---> BDD-cost: 25 4.09/4.11 c ---[ 350]---> BDD-cost: 29 4.09/4.11 c ---[ 349]---> BDD-cost: 29 4.09/4.11 c ---[ 348]---> BDD-cost: 29 4.09/4.11 c ---[ 347]---> BDD-cost: 35 4.09/4.11 c ---[ 346]---> BDD-cost: 39 4.09/4.11 c ---[ 345]---> BDD-cost: 29 4.09/4.11 c ---[ 344]---> BDD-cost: 25 4.09/4.11 c ---[ 342]---> BDD-cost: 45 4.09/4.12 c ---[ 341]---> BDD-cost: 21 4.09/4.12 c ---[ 340]---> BDD-cost: 45 4.09/4.12 c ---[ 339]---> BDD-cost: 45 4.09/4.12 c ---[ 338]---> BDD-cost: 21 4.09/4.12 c ---[ 337]---> BDD-cost: 45 4.09/4.12 c ---[ 336]---> BDD-cost: 45 4.09/4.12 c ---[ 335]---> BDD-cost: 45 4.09/4.12 c ---[ 334]---> BDD-cost: 45 4.09/4.12 c ---[ 333]---> BDD-cost: 45 4.09/4.12 c ---[ 331]---> BDD-cost: 45 4.09/4.12 c ---[ 330]---> BDD-cost: 45 4.09/4.12 c ---[ 329]---> BDD-cost: 21 4.09/4.12 c ---[ 328]---> BDD-cost: 21 4.09/4.12 c ---[ 327]---> BDD-cost: 29 4.09/4.12 c ---[ 326]---> BDD-cost: 21 4.09/4.12 c ---[ 325]---> BDD-cost: 35 4.09/4.12 c ---[ 324]---> BDD-cost: 27 4.09/4.12 c ---[ 323]---> BDD-cost: 23 4.09/4.12 c ---[ 322]---> BDD-cost: 35 4.09/4.12 c ---[ 320]---> BDD-cost: 29 4.09/4.12 c ---[ 319]---> BDD-cost: 29 4.09/4.12 c ---[ 318]---> BDD-cost: 29 4.09/4.12 c ---[ 317]---> BDD-cost: 29 4.09/4.12 c ---[ 316]---> BDD-cost: 35 4.09/4.12 c ---[ 315]---> BDD-cost: 39 4.09/4.12 c ---[ 314]---> BDD-cost: 29 4.09/4.12 c ---[ 313]---> BDD-cost: 39 4.09/4.12 c ---[ 312]---> BDD-cost: 29 4.09/4.12 c ---[ 311]---> BDD-cost: 29 4.09/4.12 c ---[ 310]---> BDD-cost: 7190 4.09/4.14 c ---[ 308]---> BDD-cost: 35 4.09/4.14 c ---[ 307]---> BDD-cost: 39 4.09/4.14 c ---[ 305]---> BDD-cost: 19 4.09/4.14 c ---[ 304]---> BDD-cost: 43 4.09/4.14 c ---[ 303]---> BDD-cost: 29 4.09/4.15 c ---[ 302]---> BDD-cost: 35 4.09/4.15 c ---[ 301]---> BDD-cost: 13 4.09/4.15 c ---[ 300]---> BDD-cost: 35 4.09/4.15 c ---[ 299]---> BDD-cost: 35 4.09/4.15 c ---[ 297]---> BDD-cost: 29 4.09/4.15 c ---[ 296]---> BDD-cost: 45 4.09/4.15 c ---[ 295]---> BDD-cost: 45 4.09/4.15 c ---[ 294]---> BDD-cost: 23 4.09/4.15 c ---[ 293]---> BDD-cost: 25 4.09/4.15 c ---[ 292]---> BDD-cost: 35 4.09/4.15 c ---[ 291]---> BDD-cost: 19 4.09/4.15 c ---[ 290]---> BDD-cost: 29 4.09/4.15 c ---[ 289]---> BDD-cost: 29 4.09/4.15 c ---[ 288]---> BDD-cost: 19 4.09/4.15 c ---[ 287]---> BDD-cost: 2951 4.09/4.16 c ---[ 286]---> BDD-cost: 19 4.09/4.16 c ---[ 285]---> BDD-cost: 35 4.09/4.16 c ---[ 284]---> BDD-cost: 27 4.09/4.16 c ---[ 283]---> BDD-cost: 39 4.09/4.16 c ---[ 282]---> BDD-cost: 45 4.09/4.16 c ---[ 281]---> BDD-cost: 45 4.09/4.16 c ---[ 280]---> BDD-cost: 19 4.09/4.16 c ---[ 279]---> BDD-cost: 19 4.09/4.16 c ---[ 278]---> BDD-cost: 35 4.09/4.16 c ---[ 277]---> BDD-cost: 19 4.09/4.16 c ---[ 275]---> BDD-cost: 29 4.09/4.16 c ---[ 274]---> BDD-cost: 39 4.09/4.16 c ---[ 273]---> BDD-cost: 39 4.09/4.16 c ---[ 272]---> BDD-cost: 43 4.09/4.17 c ---[ 271]---> BDD-cost: 43 4.09/4.17 c ---[ 270]---> BDD-cost: 43 4.09/4.17 c ---[ 269]---> BDD-cost: 43 4.09/4.17 c ---[ 268]---> BDD-cost: 39 4.09/4.17 c ---[ 267]---> BDD-cost: 39 4.09/4.17 c ---[ 266]---> BDD-cost: 29 4.09/4.17 c ---[ 264]---> BDD-cost: 29 4.09/4.17 c ---[ 263]---> BDD-cost: 35 4.09/4.17 c ---[ 262]---> BDD-cost: 39 4.09/4.17 c ---[ 261]---> BDD-cost: 29 4.09/4.17 c ---[ 260]---> BDD-cost: 39 4.09/4.17 c ---[ 259]---> BDD-cost: 17 4.09/4.17 c ---[ 258]---> BDD-cost: 13 4.09/4.17 c ---[ 257]---> BDD-cost: 25 4.09/4.17 c ---[ 256]---> BDD-cost: 29 4.09/4.17 c ---[ 255]---> BDD-cost: 29 4.09/4.17 c ---[ 253]---> BDD-cost: 29 4.09/4.17 c ---[ 252]---> BDD-cost: 35 4.09/4.17 c ---[ 251]---> BDD-cost: 39 4.09/4.17 c ---[ 250]---> BDD-cost: 29 4.09/4.17 c ---[ 248]---> BDD-cost: 35 4.09/4.17 c ---[ 247]---> BDD-cost: 35 4.09/4.17 c ---[ 246]---> BDD-cost: 35 4.09/4.17 c ---[ 245]---> BDD-cost: 29 4.09/4.17 c ---[ 244]---> BDD-cost: 45 4.09/4.17 c ---[ 242]---> BDD-cost: 45 4.09/4.17 c ---[ 241]---> BDD-cost: 23 4.09/4.17 c ---[ 240]---> BDD-cost: 25 4.09/4.17 c ---[ 239]---> BDD-cost: 35 4.09/4.17 c ---[ 238]---> BDD-cost: 19 4.09/4.17 c ---[ 237]---> BDD-cost: 29 4.09/4.17 c ---[ 236]---> BDD-cost: 35 4.09/4.17 c ---[ 235]---> BDD-cost: 35 4.09/4.17 c ---[ 234]---> BDD-cost: 39 4.09/4.17 c ---[ 233]---> BDD-cost: 35 4.09/4.17 c ---[ 231]---> BDD-cost: 39 4.09/4.17 c ---[ 230]---> BDD-cost: 45 4.09/4.17 c ---[ 229]---> BDD-cost: 45 4.09/4.17 c ---[ 228]---> BDD-cost: 35 4.09/4.17 c ---[ 227]---> BDD-cost: 35 4.09/4.17 c ---[ 226]---> BDD-cost: 35 4.09/4.17 c ---[ 225]---> BDD-cost: 35 4.09/4.17 c ---[ 224]---> BDD-cost: 39 4.09/4.17 c ---[ 223]---> BDD-cost: 35 4.09/4.17 c ---[ 222]---> BDD-cost: 29 4.09/4.17 c ---[ 220]---> BDD-cost: 23 4.09/4.17 c ---[ 219]---> BDD-cost: 25 4.09/4.17 c ---[ 218]---> BDD-cost: 35 4.09/4.17 c ---[ 217]---> BDD-cost: 29 4.09/4.17 c ---[ 216]---> BDD-cost: 35 4.09/4.17 c ---[ 215]---> BDD-cost: 43 4.09/4.17 c ---[ 214]---> BDD-cost: 35 4.09/4.17 c ---[ 213]---> BDD-cost: 35 4.09/4.17 c ---[ 212]---> BDD-cost: 39 4.09/4.17 c ---[ 211]---> BDD-cost: 5 4.09/4.17 c ---[ 209]---> BDD-cost: 35 4.09/4.17 c ---[ 208]---> BDD-cost: 39 4.09/4.17 c ---[ 207]---> BDD-cost: 43 4.09/4.17 c ---[ 206]---> BDD-cost: 35 4.09/4.17 c ---[ 205]---> BDD-cost: 29 4.09/4.17 c ---[ 204]---> BDD-cost: 11 4.09/4.18 c ---[ 203]---> BDD-cost: 35 4.09/4.18 c ---[ 202]---> BDD-cost: 27 4.09/4.18 c ---[ 201]---> BDD-cost: 35 4.09/4.18 c ---[ 200]---> BDD-cost: 35 4.09/4.18 c ---[ 199]---> BDD-cost: 7370 4.19/4.20 c ---[ 197]---> BDD-cost: 29 4.19/4.20 c ---[ 196]---> BDD-cost: 29 4.19/4.20 c ---[ 195]---> BDD-cost: 39 4.19/4.20 c ---[ 194]---> BDD-cost: 45 4.19/4.20 c ---[ 193]---> BDD-cost: 45 4.19/4.20 c ---[ 192]---> BDD-cost: 17 4.19/4.20 c ---[ 191]---> BDD-cost: 45 4.19/4.20 c ---[ 190]---> BDD-cost: 43 4.19/4.20 c ---[ 189]---> BDD-cost: 13 4.19/4.20 c ---[ 188]---> BDD-cost: 25 4.19/4.20 c ---[ 186]---> BDD-cost: 23 4.19/4.20 c ---[ 185]---> BDD-cost: 25 4.19/4.20 c ---[ 184]---> BDD-cost: 35 4.19/4.20 c ---[ 183]---> BDD-cost: 29 4.19/4.20 c ---[ 182]---> BDD-cost: 27 4.19/4.20 c ---[ 181]---> BDD-cost: 35 4.19/4.20 c ---[ 180]---> BDD-cost: 39 4.19/4.20 c ---[ 179]---> BDD-cost: 23 4.19/4.20 c ---[ 178]---> BDD-cost: 29 4.19/4.20 c ---[ 177]---> BDD-cost: 35 4.19/4.21 c ---[ 176]---> Adder-cost: 14905 maxlim: 25 bits: 6/5 4.58/4.60 c ---[ 175]---> BDD-cost: 25 4.58/4.60 c ---[ 174]---> BDD-cost: 29 4.58/4.60 c ---[ 173]---> BDD-cost: 35 4.58/4.60 c ---[ 172]---> BDD-cost: 35 4.58/4.60 c ---[ 171]---> BDD-cost: 39 4.58/4.60 c ---[ 170]---> BDD-cost: 29 4.58/4.60 c ---[ 169]---> Adder-cost: 4078 maxlim: 22 bits: 6/5 4.68/4.73 c ---[ 162]---> BDD-cost: 8628 4.68/4.76 c ---[ 155]---> Adder-cost: 6350 maxlim: 28 bits: 6/5 4.89/4.92 c ---[ 151]---> BDD-cost: 512 4.89/4.92 c ---[ 150]---> BDD-cost: 2589 4.89/4.93 c ---[ 149]---> Adder-cost: 3452 maxlim: 22 bits: 6/5 4.99/5.05 c ---[ 148]---> BDD-cost: 2014 4.99/5.06 c ---[ 147]---> Adder-cost: 7393 maxlim: 13 bits: 5/4 5.19/5.28 c ---[ 146]---> BDD-cost: 4198 5.19/5.29 c ---[ 145]---> BDD-cost: 7632 5.29/5.32 c ---[ 144]---> BDD-cost: 2670 5.29/5.33 c ---[ 143]---> BDD-cost: 218 5.29/5.33 c ---[ 142]---> BDD-cost: 267 5.29/5.33 c ---[ 141]---> BDD-cost: 172 5.29/5.33 c ---[ 140]---> BDD-cost: 156 5.29/5.33 c ---[ 139]---> BDD-cost: 906 5.29/5.33 c ---[ 138]---> BDD-cost: 2278 5.29/5.34 c ---[ 137]---> BDD-cost: 1528 5.29/5.35 c ---[ 136]---> BDD-cost: 5832 5.29/5.37 c ---[ 135]---> BDD-cost: 62 5.29/5.37 c ---[ 134]---> BDD-cost: 252 5.29/5.37 c ---[ 133]---> BDD-cost: 188 5.29/5.37 c ---[ 132]---> BDD-cost: 1184 5.29/5.37 c ---[ 131]---> BDD-cost: 718 5.29/5.37 c ---[ 130]---> BDD-cost: 1100 5.29/5.38 c ---[ 129]---> BDD-cost: 2508 5.29/5.39 c ---[ 128]---> BDD-cost: 1150 5.29/5.39 c ---[ 127]---> BDD-cost: 3936 5.40/5.40 c ---[ 126]---> BDD-cost: 42 5.40/5.40 c ---[ 125]---> BDD-cost: 84 5.40/5.40 c ---[ 124]---> BDD-cost: 260 5.40/5.40 c ---[ 123]---> BDD-cost: 3116 5.40/5.42 c ---[ 122]---> BDD-cost: 4948 5.40/5.43 c ---[ 121]---> BDD-cost: 677 5.40/5.43 c ---[ 120]---> BDD-cost: 6103 5.40/5.46 c ---[ 119]---> BDD-cost: 1076 5.40/5.46 c ---[ 118]---> BDD-cost: 877 5.40/5.46 c ---[ 117]---> BDD-cost: 925 5.40/5.47 c ---[ 116]---> BDD-cost: 5587 5.40/5.49 c ---[ 115]---> BDD-cost: 3737 5.40/5.50 c ---[ 114]---> BDD-cost: 6970 5.50/5.52 c ---[ 113]---> BDD-cost: 750 5.50/5.53 c ---[ 112]---> BDD-cost: 3897 5.50/5.54 c ---[ 111]---> BDD-cost: 516 5.50/5.54 c ---[ 110]---> BDD-cost: 1813 5.50/5.55 c ---[ 109]---> BDD-cost: 1320 5.50/5.55 c ---[ 108]---> BDD-cost: 2942 5.50/5.57 c ---[ 107]---> BDD-cost: 2610 5.50/5.58 c ---[ 106]---> BDD-cost: 795 5.50/5.58 c ---[ 105]---> BDD-cost: 4397 5.50/5.59 c ---[ 104]---> BDD-cost: 1303 5.59/5.60 c ---[ 103]---> BDD-cost: 4943 5.59/5.62 c ---[ 102]---> BDD-cost: 1194 5.59/5.63 c ---[ 101]---> BDD-cost: 4333 5.59/5.64 c ---[ 100]---> BDD-cost: 437 5.59/5.64 c ---[ 99]---> BDD-cost: 250 5.59/5.64 c ---[ 98]---> BDD-cost: 7832 5.59/5.70 c ---[ 97]---> Adder-cost: 12966 maxlim: 17 bits: 6/5 6.09/6.14 c ---[ 96]---> BDD-cost: 5415 6.09/6.18 c ---[ 95]---> Adder-cost: 2316 maxlim: 21 bits: 6/5 6.19/6.24 c ---[ 94]---> BDD-cost: 234 6.19/6.24 c ---[ 93]---> BDD-cost: 212 6.19/6.24 c ---[ 92]---> BDD-cost: 4374 6.19/6.26 c ---[ 91]---> BDD-cost: 732 6.19/6.26 c ---[ 90]---> BDD-cost: 2076 6.19/6.27 c ---[ 89]---> BDD-cost: 286 6.19/6.27 c ---[ 88]---> BDD-cost: 2622 6.19/6.28 c ---[ 87]---> BDD-cost: 382 6.19/6.28 c ---[ 86]---> BDD-cost: 2248 6.19/6.29 c ---[ 85]---> BDD-cost: 5404 6.29/6.31 c ---[ 84]---> BDD-cost: 854 6.29/6.32 c ---[ 83]---> BDD-cost: 7887 6.29/6.34 c ---[ 82]---> BDD-cost: 991 6.29/6.35 c ---[ 81]---> BDD-cost: 4578 6.29/6.36 c ---[ 80]---> BDD-cost: 607 6.29/6.37 c ---[ 79]---> BDD-cost: 217 6.29/6.37 c ---[ 78]---> BDD-cost: 1449 6.29/6.38 c ---[ 77]---> BDD-cost: 1048 6.29/6.38 c ---[ 76]---> BDD-cost: 862 6.29/6.39 c ---[ 75]---> BDD-cost: 1956 6.29/6.39 c ---[ 74]---> BDD-cost: 5181 6.39/6.41 c ---[ 73]---> BDD-cost: 458 6.39/6.41 c ---[ 72]---> BDD-cost: 98 6.39/6.41 c ---[ 71]---> BDD-cost: 3438 6.39/6.43 c ---[ 70]---> BDD-cost: 878 6.39/6.43 c ---[ 69]---> BDD-cost: 728 6.39/6.44 c ---[ 68]---> BDD-cost: 1368 6.39/6.44 c ---[ 67]---> BDD-cost: 4240 6.39/6.46 c ---[ 66]---> BDD-cost: 4764 6.39/6.49 c ---[ 65]---> BDD-cost: 2522 6.39/6.49 c ---[ 64]---> BDD-cost: 2730 6.49/6.50 c ---[ 63]---> BDD-cost: 1097 6.49/6.51 c ---[ 62]---> BDD-cost: 875 6.49/6.51 c ---[ 61]---> BDD-cost: 776 6.49/6.51 c ---[ 60]---> BDD-cost: 2126 6.49/6.52 c ---[ 59]---> BDD-cost: 1226 6.49/6.53 c ---[ 58]---> BDD-cost: 1144 6.49/6.53 c ---[ 57]---> BDD-cost: 334 6.49/6.53 c ---[ 56]---> BDD-cost: 750 6.49/6.54 c ---[ 55]---> BDD-cost: 146 6.49/6.54 c ---[ 54]---> BDD-cost: 206 6.49/6.54 c ---[ 53]---> BDD-cost: 2832 6.49/6.55 c ---[ 52]---> BDD-cost: 8880 6.59/6.61 c ---[ 51]---> BDD-cost: 192 6.59/6.61 c ---[ 50]---> BDD-cost: 2964 6.59/6.62 c ---[ 49]---> Adder-cost: 8882 maxlim: 20 bits: 6/5 6.78/6.85 c ---[ 48]---> BDD-cost: 1 6.78/6.85 c ---[ 47]---> Adder-cost: 7973 maxlim: 20 bits: 6/5 7.08/7.11 c ---[ 46]---> BDD-cost: 80 7.08/7.11 c ---[ 45]---> BDD-cost: 238 7.08/7.11 c ---[ 44]---> BDD-cost: 88 7.08/7.11 c ---[ 43]---> BDD-cost: 136 7.08/7.11 c ---[ 42]---> BDD-cost: 4262 7.08/7.12 c ---[ 41]---> BDD-cost:10085 7.08/7.18 c ---[ 40]---> BDD-cost: 968 7.08/7.18 c ---[ 39]---> BDD-cost: 921 7.08/7.19 c ---[ 38]---> BDD-cost: 2472 7.08/7.20 c ---[ 37]---> BDD-cost: 2262 7.18/7.21 c ---[ 36]---> BDD-cost: 1946 7.18/7.21 c ---[ 35]---> Adder-cost: 11313 maxlim: 17 bits: 6/5 7.48/7.58 c ---[ 34]---> BDD-cost: 1782 7.48/7.59 c ---[ 33]---> BDD-cost: 1032 7.48/7.60 c ---[ 32]---> BDD-cost: 1406 7.59/7.60 c ---[ 31]---> BDD-cost: 1286 7.59/7.61 c ---[ 30]---> BDD-cost: 1732 7.59/7.62 c ---[ 29]---> BDD-cost: 3506 7.59/7.63 c ---[ 28]---> BDD-cost: 4667 7.59/7.65 c ---[ 27]---> BDD-cost: 5492 7.59/7.67 c ---[ 26]---> BDD-cost:15264 7.69/7.75 c ---[ 25]---> BDD-cost: 692 7.69/7.76 c ---[ 24]---> BDD-cost: 1291 7.69/7.77 c ---[ 23]---> BDD-cost: 938 7.69/7.77 c ---[ 22]---> BDD-cost: 1436 7.69/7.77 c ---[ 21]---> BDD-cost: 1850 7.69/7.78 c ---[ 20]---> BDD-cost: 2446 7.69/7.79 c ---[ 19]---> BDD-cost: 1294 7.78/7.80 c ---[ 18]---> BDD-cost: 1740 7.78/7.81 c ---[ 17]---> BDD-cost: 4705 7.78/7.83 c ---[ 16]---> BDD-cost: 574 7.78/7.83 c ---[ 15]---> BDD-cost: 2972 7.78/7.84 c ---[ 14]---> BDD-cost: 1798 7.78/7.85 c ---[ 13]---> BDD-cost: 2110 7.78/7.86 c ---[ 12]---> BDD-cost: 4576 7.78/7.87 c ---[ 11]---> BDD-cost: 7893 7.88/7.91 c ---[ 10]---> BDD-cost: 964 7.88/7.91 c ---[ 9]---> BDD-cost: 888 7.88/7.92 c ---[ 8]---> Adder-cost: 3085 maxlim: 18 bits: 6/5 7.98/8.00 c ---[ 7]---> BDD-cost:10368 7.98/8.07 c ---[ 6]---> BDD-cost:13837 8.08/8.16 c ---[ 5]---> BDD-cost: 2093 8.08/8.17 c ---[ 4]---> BDD-cost: 5322 8.18/8.20 c ---[ 3]---> BDD-cost:15898 8.28/8.31 c ---[ 2]---> BDD-cost:10691 8.28/8.38 c ---[ 1]---> BDD-cost: 7120 8.38/8.42 c ---[ 0]---> BDD-cost: 6716 9.09/9.10 c ==================================[MINISAT+]================================== 9.09/9.10 c | Conflicts | Original | Learnt | Progress | 9.09/9.10 c | | Clauses Literals | Max Clauses Literals LPC | | 9.09/9.10 c ============================================================================== 9.09/9.10 c | 0 | 1612556 5358940 | 537518 0 0 nan | 0.000 % | 9.09/9.11 c | 100 | 1612556 5358940 | 591269 100 358 3.6 | 0.153 % | 9.19/9.20 c | 251 | 1612545 5358913 | 650396 249 1184 4.8 | 0.154 % | 9.59/9.69 c | 477 | 1612483 5358733 | 715436 425 1871 4.4 | 0.157 % | 10.09/10.19 c | 816 | 1612407 5358505 | 786980 673 3074 4.6 | 0.161 % | 10.19/10.28 c | 1330 | 1612401 5358493 | 865678 1186 5196 4.4 | 0.162 % | 11.09/11.15 c | 2089 | 1612261 5358079 | 952245 1814 8334 4.6 | 0.170 % | 13.88/13.91 c | 3228 | 1611909 5357029 | 1047470 2658 12229 4.6 | 0.185 % | 17.89/17.96 c | 4939 | 1611387 5355431 | 1152217 4193 21511 5.1 | 0.212 % | 29.19/29.22 c | 7501 | 1610810 5353702 | 1267439 6129 30616 5.0 | 0.243 % | 42.38/42.42 c | 11346 | 1610060 5351408 | 1394183 9611 49637 5.2 | 0.281 % | 48.68/48.75 c | 17113 | 1609854 5350770 | 1533601 15286 102328 6.7 | 0.290 % | 61.28/61.30 c | 25762 | 1609239 5348845 | 1686961 23709 187289 7.9 | 0.317 % | 78.58/78.66 c | 38736 | 1608577 5346827 | 1855657 36413 365690 10.0 | 0.351 % | 110.17/110.29 c | 58199 | 1607386 5342910 | 2041223 55516 546629 9.8 | 0.390 % | 154.85/154.91 c | 87393 | 1606181 5339015 | 2245346 84196 834494 9.9 | 0.437 % | 226.61/226.78 c | 131182 | 1605058 5335242 | 2469880 127512 1353441 10.6 | 0.471 % | 231.92/232.10 c ============================================================================== 231.92/232.10 c [1mFound solution: 116514206638[0m 231.92/232.10 o 116514206638 232.02/232.19 c ---[ 0]---> 1800.08/1800.40 c *** TERMINATED *** 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 v -x1 x2007 -x3118 -x4229 -x5340 -x6451 -x7562 -x8673 -x9784 -x2 -x1008 -x1119 -x1230 -x1341 -x1452 -x1563 -x1674 -x1785 -x1896 -x2008 -x2119 -x2230 -x2341 -x2452 -x2563 -x2674 -x2785 -x2896 -x3007 -x3119 -x3230 -x3341 -x3452 -x3563 -x3674 -x3785 -x3896 -x4007 -x4118 -x4230 -x4341 -x4452 -x4563 -x4674 -x4785 -x4896 -x5007 -x5118 -x5229 x5341 -x5452 -x5563 -x5674 -x5785 -x5896 -x6007 -x6118 -x6229 -x6340 -x6452 -x6563 -x6674 -x6785 -x6896 -x7007 -x7118 -x7229 -x7340 x7451 -x7563 -x7674 -x7785 -x7896 -x8007 -x8118 -x8229 -x8340 -x8451 -x8562 -x8674 -x8785 -x8896 -x9007 -x9118 -x9229 -x9340 -x9451 -x9562 -x9673 -x9785 -x9896 -x10007 -x10118 -x10229 -x10340 -x10451 -x10562 -x10673 -x10784 -x3 x114 -x225 -x336 -x447 -x558 -x669 -x780 -x891 -x997 -x1009 x1020 -x1031 -x1042 -x1053 -x1064 -x1075 -x1086 -x1097 -x1108 -x1120 -x1131 -x1142 -x1153 -x1164 -x1175 -x1186 -x1197 -x1208 -x1219 -x1231 -x1242 -x1253 -x1264 -x1275 -x1286 -x1297 -x1308 -x1319 -x1330 -x1342 -x1353 x1364 -x1375 -x1386 -x1397 -x1408 -x1419 -x1430 x1441 -x1453 -x1464 -x1475 -x1486 -x1497 -x1508 -x1519 -x1530 -x1541 -x1552 -x1564 -x1575 -x1586 -x1597 -x1608 -x1619 -x1630 -x1641 -x1652 -x1663 x1675 -x1686 -x1697 -x1708 -x1719 -x1730 -x1741 -x1752 -x1763 -x1774 -x1786 -x1797 -x1808 -x1819 -x1830 -x1841 -x1852 -x1863 -x1874 -x1885 -x1897 -x1908 -x1919 -x1930 -x1941 -x1952 -x1963 -x1974 -x1985 -x1996 -x2009 -x2020 -x2031 -x2042 -x2053 -x2064 -x2075 x2086 -x2097 -x2108 -x2120 -x2131 -x2142 -x2153 -x2164 -x2175 -x2186 -x2197 -x2208 -x2219 -x2231 -x2242 -x2253 -x2264 -x2275 -x2286 x2297 -x2308 -x2319 -x2330 -x2342 -x2353 -x2364 -x2375 -x2386 -x2397 -x2408 -x2419 -x2430 -x2441 -x2453 x2464 -x2475 -x2486 -x2497 -x2508 -x2519 -x2530 -x2541 x2552 -x2564 -x2575 -x2586 -x2597 -x2608 -x2619 -x2630 -x2641 -x2652 -x2663 -x2675 -x2686 -x2697 -x2708 -x2719 -x2730 -x2741 -x2752 -x2763 -x2774 -x2786 -x2797 -x2808 -x2819 -x2830 -x2841 -x2852 -x2863 -x2874 -x2885 -x2897 -x2908 -x2919 -x2930 -x2941 -x2952 -x2963 -x2974 -x2985 -x2996 -x3008 -x3019 -x3030 -x3041 -x3052 x3063 -x3074 -x3085 x3096 -x3107 -x3120 -x3131 -x3142 -x3153 -x3164 -x3175 -x3186 -x3197 -x3208 -x3219 -x3231 -x3242 -x3253 -x3264 -x3275 -x3286 -x3297 x3308 -x3319 -x3330 -x3342 -x3353 -x3364 -x3375 -x3386 -x3397 -x3408 -x3419 -x3430 -x3441 -x3453 -x3464 -x3475 -x3486 -x3497 -x3508 x3519 -x3530 -x3541 -x3552 -x3564 -x3575 -x3586 -x3597 -x3608 -x3619 -x3630 -x3641 -x3652 -x3663 -x3675 -x3686 -x3697 -x3708 -x3719 -x3730 -x3741 -x3752 -x3763 -x3774 -x3786 -x3797 -x3808 -x3819 -x3830 -x3841 -x3852 -x3863 -x3874 -x3885 -x3897 -x3908 -x3919 -x3930 -x3941 -x3952 -x3963 -x3974 -x3985 -x3996 -x4008 -x4019 -x4030 -x4041 -x4052 -x4063 -x4074 -x4085 -x4096 -x4107 -x4119 -x4130 -x4141 -x4152 -x4163 -x4174 -x4185 -x4196 -x4207 -x4218 -x4231 -x4242 -x4253 -x4264 -x4275 -x4286 -x4297 -x4308 -x4319 -x4330 -x4342 -x4353 -x4364 -x4375 x4386 -x4397 -x4408 x4419 -x4430 -x4441 -x4453 -x4464 -x4475 -x4486 -x4497 -x4508 -x4519 -x4530 -x4541 -x4552 -x4564 -x4575 -x4586 -x4597 -x4608 -x4619 -x4630 -x4641 -x4652 -x4663 -x4675 -x4686 -x4697 -x4708 -x4719 -x4730 -x4741 -x4752 -x4763 -x4774 -x4786 -x4797 -x4808 x4819 -x4830 -x4841 -x4852 -x4863 -x4874 -x4885 -x4897 -x4908 -x4919 -x4930 x4941 -x4952 -x4963 -x4974 -x4985 -x4996 -x5008 -x5019 -x5030 -x5041 -x5052 -x5063 -x5074 -x5085 -x5096 -x5107 -x5119 -x5130 -x5141 -x5152 -x5163 -x5174 -x5185 -x5196 -x5207 -x5218 -x5230 -x5241 -x5252 -x5263 -x5274 -x5285 -x5296 -x5307 -x5318 -x5329 -x5342 -x5353 -x5364 -x5375 -x5386 -x5397 -x5408 -x5419 -x5430 -x5441 -x5453 -x5464 -x5475 -x5486 -x5497 -x5508 -x5519 -x5530 x5541 -x5552 x5564 -x5575 -x5586 -x5597 -x5608 -x5619 -x5630 -x5641 -x5652 -x5663 -x5675 -x5686 -x5697 -x5708 -x5719 -x5730 -x5741 -x5752 -x5763 -x5774 -x5786 -x5797 x5808 -x5819 -x5830 -x5841 -x5852 -x5863 -x5874 -x5885 -x5897 -x5908 -x5919 -x5930 -x5941 -x5952 -x5963 x5974 -x5985 -x5996 -x6008 x6019 -x6030 -x6041 -x6052 -x6063 -x6074 -x6085 -x6096 x6107 -x6119 -x6130 -x6141 -x6152 -x6163 -x6174 -x6185 -x6196 -x6207 -x6218 -x6230 -x6241 -x6252 -x6263 -x6274 -x6285 -x6296 -x6307 -x6318 -x6329 -x6341 -x6352 -x6363 -x6374 -x6385 -x6396 -x6407 x6418 -x6429 -x6440 -x6453 -x6464 -x6475 -x6486 -x6497 -x6508 -x6519 -x6530 -x6541 x6552 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x6652 -x6663 -x6675 -x6686 -x6697 -x6708 -x6719 -x6730 -x6741 -x6752 -x6763 -x6774 -x6786 -x6797 -x6808 -x6819 -x6830 -x6841 -x6852 -x6863 -x6874 -x6885 -x6897 -x6908 -x6919 -x6930 -x6941 -x6952 x6963 -x6974 -x6985 -x6996 x7008 -x7019 -x7030 -x7041 -x7052 -x7063 -x7074 -x7085 -x7096 -x7107 -x7119 -x7130 -x7141 -x7152 -x7163 -x7174 -x7185 -x7196 -x7207 x7218 -x7230 -x7241 -x7252 -x7263 -x7274 -x7285 -x7296 -x7307 -x7318 -x7329 -x7341 -x7352 -x7363 -x7374 -x7385 -x7396 -x7407 -x7418 -x7429 x7440 -x7452 -x7463 -x7474 -x7485 -x7496 -x7507 -x7518 -x7529 -x7540 -x7551 -x7564 -x7575 -x7586 -x7597 -x7608 -x7619 x7630 -x7641 -x7652 -x7663 -x7675 -x7686 -x7697 -x7708 -x7719 -x7730 x7741 -x7752 -x7763 -x7774 -x7786 -x7797 -x7808 -x7819 -x7830 -x7841 -x7852 -x7863 -x7874 -x7885 -x7897 -x7908 -x7919 x7930 -x7941 -x7952 -x7963 -x7974 -x7985 -x7996 -x8008 -x8019 -x8030 -x8041 -x8052 x8063 -x8074 -x8085 -x8096 -x8107 -x8119 -x8130 -x8141 -x8152 x8163 -x8174 -x8185 -x8196 -x8207 -x8218 -x8230 -x8241 -x8252 -x8263 -x8274 -x8285 -x8296 -x8307 -x8318 -x8329 -x8341 -x8352 -x8363 -x8374 -x8385 -x8396 -x8407 -x8418 -x8429 -x8440 -x8452 -x8463 x8474 -x8485 -x8496 -x8507 -x8518 -x8529 -x8540 -x8551 -x8563 -x8574 -x8585 -x8596 -x8607 -x8618 -x8629 -x8640 x8651 -x8662 -x8675 -x8686 -x8697 -x8708 -x8719 -x8730 -x8741 -x8752 -x8763 -x8774 -x8786 -x8797 -x8808 -x8819 -x8830 -x8841 -x8852 -x8863 -x8874 -x8885 -x8897 -x8908 -x8919 -x8930 -x8941 -x8952 x8963 x8974 -x8985 -x8996 -x9008 -x9019 -x9030 -x9041 -x9052 -x9063 -x9074 -x9085 -x9096 -x9107 -x9119 -x9130 -x9141 -x9152 -x9163 -x9174 -x9185 -x9196 -x9207 -x9218 x9230 -x9241 -x9252 -x9263 -x9274 -x9285 -x9296 -x9307 -x9318 -x9329 x9341 -x9352 -x9363 -x9374 -x9385 -x9396 -x9407 -x9418 -x9429 -x9440 -x9452 -x9463 -x9474 -x9485 -x9496 -x9507 -x9518 -x9529 -x9540 -x9551 x9563 -x9574 -x9585 -x9596 -x9607 -x9618 -x9629 -x9640 -x9651 -x9662 -x9674 -x9685 -x9696 -x9707 -x9718 -x9729 -x9740 -x9751 -x9762 -x9773 -x9786 x9797 -x9808 -x9819 -x9830 -x9841 -x9852 -x9863 -x9874 -x9885 -x9897 -x9908 -x9919 -x9930 -x9941 -x9952 -x9963 x9974 -x9985 -x9996 -x10008 -x10019 -x10030 -x10041 -x10052 -x10063 -x10074 -x10085 -x10096 -x10107 -x10119 -x10130 -x10141 -x10152 -x10163 -x10174 -x10185 -x10196 x10207 -x10218 -x10230 -x10241 -x10252 -x10263 -x10274 -x10285 -x10296 -x10307 -x10318 -x10329 -x10341 -x10352 -x10363 -x10374 -x10385 -x10396 -x10407 -x10418 x10429 -x10440 -x10452 -x10463 -x10474 -x10485 -x10496 -x10507 -x10518 -x10529 -x10540 -x10551 -x10563 -x10574 -x10585 -x10596 -x10607 -x10618 -x10629 -x10640 -x10651 -x10662 -x10674 -x10685 -x10696 x10707 -x10718 -x10729 -x10740 -x10751 -x10762 -x10773 -x10785 -x10796 -x10807 -x10818 -x10829 -x10840 -x10851 -x10862 x10873 -x10884 -x4 -x15 -x26 -x37 -x48 -x59 -x70 -x81 -x92 -x103 -x115 -x126 -x137 -x148 -x159 -x170 -x181 -x192 x203 -x214 -x226 -x237 -x248 -x259 -x270 -x281 -x292 -x303 -x314 -x325 -x337 -x348 -x359 -x370 -x381 -x392 -x403 -x414 -x425 x436 -x448 -x459 -x470 -x481 -x492 -x503 -x514 -x525 -x536 -x547 -x559 -x570 -x581 -x592 x603 -x614 -x625 -x636 -x647 -x658 -x670 -x681 -x692 x703 -x714 -x725 -x736 -x747 -x758 -x769 -x781 -x792 -x803 -x814 -x825 -x836 -x847 -x858 -x869 -x880 -x892 -x903 -x914 x925 -x936 -x947 x958 -x969 -x980 -x991 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2853 -x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 x3406 -x3407 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 x3682 -x3683 -x3684 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3731 -x3732 -x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 x3995 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 x4028 -x4029 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4228 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4446 x4447 -x4448 -x4449 -x4450 -x4451 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4487 x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4565 x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4731 -x4732 -x4733 -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 x4784 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 x5029 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5064 x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 x5115 -x5116 -x5117 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 -x5151 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5297 -x5298 -x5299 x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 -x5382 -x5383 -x5384 -x5385 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5454 -x5455 -x5456 -x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 -x5483 -x5484 -x5485 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5565 -x5566 x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 x5607 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 x5640 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5709 -x5710 -x5711 -x5712 -x5713 x5714 -x5715 -x5716 -x5717 -x5718 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 -x5848 x5849 -x5850 -x5851 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x5950 -x5951 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6009 x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 x6083 -x6084 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 x6162 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 x6217 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6264 -x6265 -x6266 -x6267 x6268 x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 x6382 -x6383 -x6384 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 x6472 -x6473 -x6474 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6531 -x6532 -x6533 x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 x6560 -x6561 -x6562 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 -x6588 -x6589 x6590 -x6591 x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 x6617 -x6618 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 x6640 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 x6660 -x6661 -x6662 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6687 -x6688 x6689 -x6690 -x6691 -x6692 x6693 -x6694 -x6695 -x6696 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6720 -x6721 -x6722 x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6731 -x6732 x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6764 -x6765 -x6766 -x6767 -x6768 x6769 -x6770 -x6771 x6772 -x6773 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6831 -x6832 x6833 -x6834 -x6835 -x6836 -x6837 -x6838 x6839 -x6840 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 x6928 -x6929 -x6931 x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6964 -x6965 -x6966 x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 x7006 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7020 -x7021 -x7022 -x7023 -x7024 x7025 -x7026 -x7027 -x7028 -x7029 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7042 -x7043 -x7044 x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7131 -x7132 x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 x7173 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 -x7193 -x7194 -x7195 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 x7238 -x7239 -x7240 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 x7261 -x7262 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 x7293 -x7294 -x7295 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 x7316 -x7317 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7342 -x7343 -x7344 x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7464 -x7465 x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7508 -x7509 x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7519 -x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 -x7527 -x7528 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7552 -x7553 x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 x7639 -x7640 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7653 -x7654 -x7655 -x7656 x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 x7706 -x7707 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7742 -x7743 x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7798 x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7820 -x7821 -x7822 x7823 x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 x7848 -x7849 -x7850 -x7851 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7864 x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 x7926 -x7927 -x7928 -x7929 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 x8038 -x8039 -x8040 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 x8092 -x8093 -x8094 -x8095 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8153 -x8154 -x8155 x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 x8182 -x8183 -x8184 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 x8204 -x8205 -x8206 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 x8239 -x8240 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8264 -x8265 -x8266 -x8267 -x8268 x8269 -x8270 -x8271 -x8272 -x8273 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 x8294 -x8295 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 x8315 -x8316 -x8317 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8330 x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8353 -x8354 -x8355 -x8356 -x8357 x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 x8406 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 x8425 -x8426 -x8427 -x8428 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8475 -x8476 x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8508 x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 x8536 -x8537 -x8538 -x8539 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 x8595 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8652 x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8663 -x8664 -x8665 x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8775 -x8776 -x8777 -x8778 x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 x8822 -x8823 x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 x8850 -x8851 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8920 -x8921 -x8922 -x8923 x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8942 -x8943 -x8944 x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8997 -x8998 -x8999 -x9000 x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 x9039 -x9040 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9131 x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 x9172 -x9173 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9186 -x9187 x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9208 x9209 -x9210 x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 x9226 -x9227 -x9228 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9275 -x9276 -x9277 -x9278 x9279 -x9280 -x9281 -x9282 x9283 -x9284 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9342 -x9343 -x9344 -x9345 -x9346 x9347 -x9348 -x9349 -x9350 -x9351 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 x9370 -x9371 -x9372 -x9373 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 x9405 -x9406 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 x9504 -x9505 -x9506 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 x9514 -x9515 -x9516 -x9517 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9552 -x9553 -x9554 x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9564 x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9586 -x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 x9639 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9686 -x9687 x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 x9737 -x9738 -x9739 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9798 x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9820 -x9821 -x9822 -x9823 x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9853 -x9854 -x9855 -x9856 x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9875 -x9876 -x9877 x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9898 -x9899 x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 x9928 -x9929 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9953 -x9954 -x9955 x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 x9982 -x9983 -x9984 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10042 -x10043 -x10044 x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 x10084 -x10086 x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10131 -x10132 -x10133 -x10134 x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 x10151 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10197 x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10208 -x10209 x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 x10339 x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10353 x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10375 -x10376 -x10377 -x10378 -x10379 x10380 -x10381 -x10382 -x10383 -x10384 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 x10428 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 x10462 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10475 -x10476 -x10477 -x10478 x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10486 -x10487 -x10488 -x10489 x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 x10514 -x10515 -x10516 -x10517 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 x10549 -x10550 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10575 -x10576 -x10577 -x10578 -x10579 x10580 -x10581 -x10582 -x10583 -x10584 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 x10617 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10641 -x10642 -x10643 -x10644 -x10645 x10646 -x10647 -x10648 -x10649 -x10650 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 x10658 -x10659 -x10660 -x10661 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 x10675 -x10676 -x10677 -x10678 -x10679 -x10680 x10681 -x10682 -x10683 -x10684 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10697 -x10698 -x10699 x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10730 x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10752 -x10753 -x10754 x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10808 -x10809 -x10810 -x10811 x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 x10880 -x10881 -x10882 -x10883 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x504 -x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x992 -x993 -x994 -x995 -x996
OK 116514206638
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721330-1338554687/watcher-3721330-1338554687 -o /tmp/evaluation-result-3721330-1338554687/solver-3721330-1338554687 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721330-1338554687.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 1.81 3/176 12521 /proc/meminfo: memFree=30981020/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=1560 CPUtime=0 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 232 0 0 0 0 0 0 0 20 0 1 0 321594729 1597440 189 33554432000 134512640 135395479 4290570976 4290569944 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 390 194 67 216 0 172 0 [startup+0.0353359 s] /proc/loadavg: 2.00 2.01 1.81 3/176 12521 /proc/meminfo: memFree=30981020/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=3368 CPUtime=0.03 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 665 0 0 0 3 0 0 0 20 0 1 0 321594729 3448832 622 33554432000 134512640 135395479 4290570976 4290566812 134838067 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 842 622 74 216 0 624 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3368 [startup+0.100212 s] /proc/loadavg: 2.00 2.01 1.81 3/176 12521 /proc/meminfo: memFree=30981020/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=4292 CPUtime=0.09 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 908 0 0 0 9 0 0 0 20 0 1 0 321594729 4395008 865 33554432000 134512640 135395479 4290570976 4290566480 135012168 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 1073 865 74 216 0 855 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4292 [startup+0.300183 s] /proc/loadavg: 2.00 2.01 1.81 3/176 12521 /proc/meminfo: memFree=30981020/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=5904 CPUtime=0.29 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 1480 0 0 0 29 0 0 0 20 0 1 0 321594729 6045696 1273 33554432000 134512640 135395479 4290570976 4290567252 135012076 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 1476 1273 74 216 0 1258 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5904 [startup+0.700178 s] /proc/loadavg: 2.00 2.01 1.81 3/176 12521 /proc/meminfo: memFree=30981020/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=10464 CPUtime=0.69 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 2861 0 0 0 69 0 0 0 20 0 1 0 321594729 10715136 2411 33554432000 134512640 135395479 4290570976 4290568348 135005330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 2616 2411 74 216 0 2398 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10464 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 1.81 3/177 12522 /proc/meminfo: memFree=30969348/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=17816 CPUtime=1.49 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 5504 0 0 0 148 1 0 0 20 0 1 0 321594729 18243584 4236 33554432000 134512640 135395479 4290570976 4290566668 134808989 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 4454 4236 74 216 0 4236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17816 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 1.81 3/177 12522 /proc/meminfo: memFree=30955336/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=34132 CPUtime=3.09 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 10212 0 0 0 307 2 0 0 20 0 1 0 321594729 34951168 8332 33554432000 134512640 135395479 4290570976 4290431316 135003869 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 8533 8332 88 216 0 8315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34132 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 1.81 3/177 12522 /proc/meminfo: memFree=30920972/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=74720 CPUtime=6.29 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 22371 0 0 0 625 4 0 0 20 0 1 0 321594729 76513280 18129 33554432000 134512640 135395479 4290570976 4290543712 135003216 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 18680 18129 107 216 0 18462 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74720 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.81 3/177 12522 /proc/meminfo: memFree=30809168/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=179916 CPUtime=12.69 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 45201 0 0 0 1262 7 0 0 20 0 1 0 321594729 184233984 40386 33554432000 134512640 135395479 4290570976 4290569440 134588680 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 44979 40386 123 216 0 44761 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 179916 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.82 3/177 12522 /proc/meminfo: memFree=30791756/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=184044 CPUtime=25.49 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 46332 0 0 0 2541 8 0 0 20 0 1 0 321594729 188461056 41517 33554432000 134512640 135395479 4290570976 4290569328 134580711 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 46011 41517 123 216 0 45793 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 184044 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.82 3/176 12523 /proc/meminfo: memFree=30791564/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=186168 CPUtime=51.08 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 47046 0 0 0 5100 8 0 0 20 0 1 0 321594729 190636032 42231 33554432000 134512640 135395479 4290570976 4290569296 134572728 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 46542 42231 123 216 0 46324 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 186168 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.82 3/177 12524 /proc/meminfo: memFree=30787388/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=189388 CPUtime=102.28 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 47864 0 0 0 10220 8 0 0 20 0 1 0 321594729 193933312 43049 33554432000 134512640 135395479 4290570976 4290569296 134573660 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 47347 43049 123 216 0 47129 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 189388 [startup+162.3 s] /proc/loadavg: 2.11 2.03 1.84 3/177 12524 /proc/meminfo: memFree=30741164/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=192808 CPUtime=162.24 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 48827 0 0 0 16215 9 0 0 20 0 1 0 321594729 197435392 43985 33554432000 134512640 135395479 4290570976 4290569328 134569812 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 48202 43985 123 216 0 47984 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 192808 [startup+222.3 s] /proc/loadavg: 2.04 2.02 1.85 3/177 12524 /proc/meminfo: memFree=30722116/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=195628 CPUtime=222.21 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 49567 0 0 0 22211 10 0 0 20 0 1 0 321594729 200323072 45778 33554432000 134512640 135395479 4290570976 4290569328 134569812 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 48907 45778 123 216 0 48689 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 195628 [startup+282.3 s] /proc/loadavg: 2.01 2.02 1.85 3/177 12524 /proc/meminfo: memFree=30175264/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=282.2 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 28182 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290562604 134690976 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 745884 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.86 3/178 12527 /proc/meminfo: memFree=30150248/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=342.2 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 34182 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290563844 135003863 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 745884 [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.86 3/177 12528 /proc/meminfo: memFree=30142868/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=402.19 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 40181 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290563120 134691281 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 745884 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 12528 /proc/meminfo: memFree=30141984/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=462.18 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 46180 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290563108 135005286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 745884 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.88 3/177 12528 /proc/meminfo: memFree=30141904/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=522.17 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 52179 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290563088 134810621 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 745884 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.88 3/177 12528 /proc/meminfo: memFree=30141220/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=582.16 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190494 0 0 0 58178 38 0 0 20 0 1 0 321594729 763785216 182273 33554432000 134512640 135395479 4290570976 4290563144 134809142 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182273 123 216 0 186253 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 745884 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 12529 /proc/meminfo: memFree=30123720/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=822.12 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 82174 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563740 135005875 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 745884 [startup+882.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 12529 /proc/meminfo: memFree=30123596/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=882.11 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 88173 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563984 134679926 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 882.11 Current children cumulated vsize (KiB) 745884 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12532 /proc/meminfo: memFree=30123768/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=942.1 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 94172 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290562836 135005282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 745884 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12556 /proc/meminfo: memFree=30123332/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1002.09 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 100171 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563616 134811769 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 745884 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12556 /proc/meminfo: memFree=30123316/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1062.08 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 106170 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563028 135003874 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 745884 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12556 /proc/meminfo: memFree=30123320/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1122.08 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 112170 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563500 135005785 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 745884 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12556 /proc/meminfo: memFree=30123196/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1182.07 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 118169 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563804 134833856 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 745884 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12556 /proc/meminfo: memFree=30122700/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1242.06 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 124168 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563952 134530449 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 745884 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12557 /proc/meminfo: memFree=30123196/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1302.05 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 130167 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290564496 135012143 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 745884 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12557 /proc/meminfo: memFree=30123444/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1362.04 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 136166 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290564204 135012072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 745884 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12557 /proc/meminfo: memFree=30123444/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1422.04 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 142166 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563072 135012129 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 745884 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12557 /proc/meminfo: memFree=30086120/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1482.02 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 148164 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563952 134691048 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 745884 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 12560 /proc/meminfo: memFree=30077940/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1542.01 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 154163 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290564752 134530494 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 745884 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 12561 /proc/meminfo: memFree=30078072/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1602 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 160162 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290564240 134679628 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 745884 [startup+1662.3 s] /proc/loadavg: 1.92 1.98 1.90 2/175 12562 /proc/meminfo: memFree=30412344/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1661.99 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 166161 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563500 135005864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 745884 [startup+1722.3 s] /proc/loadavg: 1.97 1.98 1.91 3/177 12658 /proc/meminfo: memFree=30245660/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1721.98 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 172160 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290562876 134530444 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 745884 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.91 3/177 12658 /proc/meminfo: memFree=30242932/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1781.98 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 178160 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563344 135005894 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 745884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.99 1.98 1.91 3/177 12658 /proc/meminfo: memFree=30242684/32873648 swapFree=7628/7628 [pid=12521] ppid=12519 vsize=745884 CPUtime=1800.08 cores=1,3,5,7 /proc/12521/stat : 12521 (minisat+) R 12519 12521 12108 0 -1 4202496 190497 0 0 0 179970 38 0 0 20 0 1 0 321594729 763785216 182555 33554432000 134512640 135395479 4290570976 4290563284 135003889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/12521/statm: 186471 182555 123 216 0 186253 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 745884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.41 CPU time (s): 1800.1 CPU user time (s): 1799.71 CPU system time (s): 0.39094 CPU usage (%): 99.9824 Max. virtual memory (cumulated for all children) (KiB): 974424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.39094 maximum resident set size= 957548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 190500 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63 involuntary context switches= 1853 runsolver used 3.2515 second user time and 8.00378 second system time The end
Begin job on node122 at 2012-06-01 14:44:47 IDJOB=3721330 IDBENCH=2365 IDSOLVER=2306 FILE ID=node122/3721330-1338554687 RUNJOBID= node122-1338552605-12125 PBS_JOBID= 14635893 Free space on /tmp= 71308 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721330-1338554687/watcher-3721330-1338554687 -o /tmp/evaluation-result-3721330-1338554687/solver-3721330-1338554687 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721330-1338554687.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 433b539d7c7c8ff139e6ea6f7acee573 RANDOM SEED=1025609889 node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30982448 kB Buffers: 72508 kB Cached: 895520 kB SwapCached: 1824 kB Active: 302752 kB Inactive: 832460 kB Active(anon): 167384 kB Inactive(anon): 1928 kB Active(file): 135368 kB Inactive(file): 830532 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100084 kB Dirty: 5464 kB Writeback: 0 kB AnonPages: 172256 kB Mapped: 9208 kB Shmem: 0 kB Slab: 614432 kB SReclaimable: 58684 kB SUnreclaim: 555748 kB KernelStack: 1480 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 290276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721330-1338554687.opb Free space on /tmp at the end= 71304 MiB End job on node122 at 2012-06-01 15:14:50