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